Lowering pass test harness, and initial pass test suite

Signed-off-by: Mel <mel@rnrd.eu>

1 files changed, 34 insertions, 0 deletions

diff --git a/boot/tests/lower/while_loop.cskt b/boot/tests/lower/while_loop.cskt
new file mode 100644
index 0000000..b191df5
--- /dev/null
+++ b/boot/tests/lower/while_loop.cskt
@@ -0,0 +1,34 @@
+while loops are 1:1 with the intermediate representation's
+single loop kind.
+compound assignments desugar into a simple pair of a simple
+assignment and binary operation.
+
+<<<
+
+main = fun () {
+    var i int = 0
+    while i < 10 {
+        i++
+    }
+}
+
+>>>
+
+(unit
+	(types
+		(type 0 int primitive)
+		(type 1 uint primitive)
+		(type 2 bool primitive)
+		(type 3 string primitive)
+		(type 4 float primitive)
+		(type 5 byte primitive)
+		(type 6 ascii primitive)
+		(type 7 void primitive))
+	(functions
+		(function 0 main main (returns (ref void)) (block
+			(declaration i (ref int) (initializer (expr 0)))
+			(loop (condition (expr (binary < (expr (name i)) (expr 10)))) (block
+				(assign (expr (name i)) (expr (binary + (expr (name i)) (expr 1))))
+			))
+		)))
+	(emission_order 0 1 2 3 4 5 6 7))