From 6e8ea78de0336bcbe8f1e3ef053b41d90a022b17 Mon Sep 17 00:00:00 2001
From: Henry Gressmann <mail@henrygressmann.de>
Date: Wed, 13 Dec 2023 17:38:39 +0100
Subject: feat: new new instruction types for blocks/ends

Signed-off-by: Henry Gressmann <mail@henrygressmann.de>
---
 examples/wasm/loop.wat | 91 +++++++++++++++++++++++++++++++-------------------
 1 file changed, 57 insertions(+), 34 deletions(-)

(limited to 'examples/wasm/loop.wat')

diff --git a/examples/wasm/loop.wat b/examples/wasm/loop.wat
index ecdf136..6224ea0 100644
--- a/examples/wasm/loop.wat
+++ b/examples/wasm/loop.wat
@@ -1,37 +1,60 @@
+;; (module
+;;   (func $test (export "test") (result i32)
+;;     (local i32) ;; Local 0: Counter for the outer loop
+;;     (local i32) ;; Local 1: Counter for the inner loop
+;;     (local i32) ;; Local 2: Result variable
+
+;;     ;; Initialize variables
+;;     (local.set 0 (i32.const 0)) ;; Initialize outer loop counter
+;;     (local.set 1 (i32.const 0)) ;; Initialize inner loop counter
+;;     (local.set 2 (i32.const 0)) ;; Initialize result variable
+
+;;     (block $outer  ;; Outer loop label
+;;       (loop $outer_loop
+;;         (local.set 1 (i32.const 5)) ;; Reset inner loop counter for each iteration of the outer loop
+
+;;         (block $inner  ;; Inner loop label
+;;           (loop $inner_loop
+;;             (br_if $inner (i32.eqz (local.get 1))) ;; Break to $inner if inner loop counter is zero
+
+;;             ;; Computation: Adding product of counters to the result
+;;             (local.set 2 (i32.add (local.get 2) (i32.mul (local.get 0) (local.get 1))))
+
+;;             ;; Decrement inner loop counter
+;;             (local.set 1 (i32.sub (local.get 1) (i32.const 1)))
+;;           )
+;;         )
+
+;;         ;; Increment outer loop counter
+;;         (local.set 0 (i32.add (local.get 0) (i32.const 1)))
+
+;;         ;; Break condition for outer loop: break if outer loop counter >= 5
+;;         (br_if $outer (i32.ge_s (local.get 0) (i32.const 5))) 
+;;       )
+;;     )
+
+;;     ;; Return the result
+;;     (local.get 2)
+;;   )
+;; )
+
 (module
-  (func $loop (export "loop") (result i32)
-    (local i32)  ;; Declare a local i32 variable, let's call it 'i'
-    (i32.const 0)  ;; Initialize 'i' to 0
-    (local.set 0)
-
-    ;; (loop $test
-    ;;   (loop $test2
-    ;;     (local.get 0)
-    ;;     (i32.const 1)
-    ;;     (i32.add)
-    ;;     (local.set 0)
-    ;;     (br $test2)
-    ;;   )
-    ;; )
-
-
-    (loop $blockStart
-      (loop $blockStart2
-        (loop $loopStart  ;; Start of the loop
-          (local.get 0)  ;; Get the current value of 'i'
-          (i32.const 1)  ;; Push 1 onto the stack
-          (i32.add)      ;; Add 'i' and 1
-          (local.set 0)  ;; Update 'i' with the new value
-    
-          (local.get 0)  ;; Push the current value of 'i' to check the condition
-          (i32.const 10) ;; Push 10 onto the stack
-          (i32.lt_s)     ;; Check if 'i' is less than 10
-          (br_if $blockStart)  ;; If 'i' < 10, continue the loop
-        )
-      )
-    )
+  (func $loop_test (export "loop_test") (result i32)
+    (local i32) ;; Local 0: Counter
+
+    ;; Initialize the counter
+    (local.set 0 (i32.const 0))
 
-    (local.get 0)  ;; After the loop, get the value of 'i' to be returned
-    ;; The function will return the value of 'i' here
+    ;; Loop starts here
+    (loop $my_loop
+      ;; Increment the counter
+      (local.set 0 (i32.add (local.get 0) (i32.const 1)))
+
+      ;; Exit condition: break out of the loop if counter >= 10
+      (br_if $my_loop (i32.lt_s (local.get 0) (i32.const 10)))
+    )
+    
+    ;; Return the counter value
+    (local.get 0)
   )
-)
+)
\ No newline at end of file
-- 
cgit v1.3.1