From 952250b6d79063aa1066b0e945d58360bd70d09f Mon Sep 17 00:00:00 2001 From: Mel Date: Wed, 6 May 2026 18:49:26 +0200 Subject: Lowering pass test harness, and initial pass test suite Signed-off-by: Mel --- boot/tests/lower/while_loop.cskt | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 boot/tests/lower/while_loop.cskt (limited to 'boot/tests/lower/while_loop.cskt') 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)) -- cgit 1.4.1