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))