Automatic testing of examples

1 files changed, 0 insertions, 156 deletions

diff --git a/fibo.lisp b/fibo.lisp
deleted file mode 100644
index 3beae63..0000000
--- a/fibo.lisp
+++ /dev/null
@@ -1,156 +0,0 @@
-(define fibo1 (n)
-	(if (<= n 0) 0
-		(if (<= n 2) 1
-			(+ (fibo1 (- n 1)) (fibo1 (- n 2))))))
-
-; == main lambda ==
-; Params: 1
-; B0:
-;   t0 <- param 0
-;   t1 <- callf "<=" [t0 0]
-;   br t1 B1 B2
-; B1:
-;   t2 <- assign 0
-;   jmp B5
-; B2:
-;   t3 <- param 0
-;   t4 <- callf "<=" [t3 2]
-;   br t4 B3 B4
-; B3:
-;   t2 <- assign 1
-;   jmp B5
-; B4:
-;   t5 <- param 0
-;   t6 <- callf "-" [t5 1]
-;   t7 <- callf "fibo1" [t6]   ; patched up (statically known address, afterwards)
-;   t8 <- param 0
-;   t9 <- callf "-" [t8 2]
-;   t10 <- callf "fibo1" [t9]   ; patched up
-;   t2 <- callf "+" [t7 t10]
-;   jmp B5
-; B5:
-;   return t2
-
-
-(define fibo2help (a b n)
-	(if (<= n 0) b
-		(fibo2help b (+ a b) (- n 1))))
-
-(define fibo2 (n)
-	(if (<= n 0) 0
-		(if (<= n 2) 1
-			(fibo2help 1 1 (- n 2)))))
-
-
-(define fibo3 (n)
-	((lambda (helper)
-			(if (<= n 0) 0
-				(if (<= n 2) 1
-					(helper helper 1 1 (- n 2)))))
-		(lambda (recur a b n)
-			(if (<= n 0) b
-				(recur recur b (+ a b) (- n 1))))))
-
-; == L1 ==
-; Params: 1
-; Closure slots: 1
-; B0:
-;   t0 <- closure 0
-;   t1 <- callf "<=" [t0 0]
-;   br t1 B1 B2
-; B1:
-;   t2 <- assign 0
-;   jmp B5
-; B2:
-;   t3 <- closure 0
-;   t4 <- callf "<=" [t3 2]
-;   br t4 B3 B4
-; B3:
-;   t2 <- assign 1
-;   jmp B5
-; B4:
-;   t5 <- param 0
-;   t6 <- param 0
-;   t7 <- closure 0
-;   t8 <- callf "-" [t7 2]
-;   t2 <- callc t5 [t6 1 1 t8]
-;   jmp B5
-; B5:
-;   return t2
-; 
-; == L2 ==
-; Params: 4
-; B0:
-;   t0 <- param 3
-;   t1 <- callf "<=" [t0 0]
-;   br t1 B1 B2
-; B1:
-;   t2 <- param 2
-;   jmp B3
-; B2:
-;   t3 <- param 0
-;   t4 <- param 0
-;   t5 <- param 2
-;   t6 <- param 1
-;   t7 <- param 2
-;   t8 <- callf "+" [t6 t7]
-;   t9 <- param 3
-;   t10 <- callf "-" [t9 1]
-;   t2 <- callc t3 [t4 t5 t8 t10]
-;   jmp B3
-; B3:
-;   return t2
-; 
-; == main lambda ==
-; Params: 1
-; B0:
-;   t0 <- param 0
-;   t1 <- alloc-closure L1 [t0]
-;   t2 <- callc t1 [C(L2)]
-;   free-closure t1
-;   return t2
-
-
-(define for (start end f)
-	(if (<= start end)
-		(do (f start) (for (+ start 1) end f))
-		'()))
-
-; == main lambda ==
-; Params: 3
-; Data table:
-;   0: ()
-; B0:
-;   t0 <- param 0
-;   t1 <- param 1
-;   t2 <- callf "<=" [t0 t1]
-;   br t2 B1 B2
-; B1:
-;   t3 <- param 2
-;   t4 <- param 0
-;   _ <- callc t3 [t4]
-;   t5 <- param 0
-;   t6 <- callf "+" [t5 1]
-;   t7 <- param 1
-;   t8 <- param 2
-;   t9 <- callf "for" [t6 t7 t8]   ; patched up
-;   jmp B3
-; B2:
-;   t9 <- data 0
-;   jmp B3
-; B3:
-;   return t9
-
-(for 1 25 (lambda (n) (print (fibo3 n))))
-
-; == L1 ==
-; Params: 1
-; B0:
-;   t0 <- param 0
-;   t1 <- callf "fibo3" [t0]
-;   t2 <- callf "print" [t1]
-;   return t2
-; 
-; == global code ==
-; B0:
-;   _ <- callf "for" [1 25 C(L1)]