a few more wat files

yamt · Jun 1, 2023 · 6a02c7b · 6a02c7b
1 parent 0dcf073
commit 6a02c7b
Show file tree

Hide file tree

Showing 3 changed files with 45 additions and 0 deletions.
diff --git a/wat/empty_func.wat b/wat/empty_func.wat
@@ -0,0 +1,8 @@
+
+(module
+  (func $f)
+  (func (export "_start")
+    call $f
+  )
+  (memory (export "memory") 0)
+)
diff --git a/wat/infiniteloop.wat b/wat/infiniteloop.wat
@@ -0,0 +1,11 @@
+(module
+  (func (export "_start")
+    loop
+      br 0
+    end
+  )
+
+  ;; a dummy memory export to appease wamr.
+  ;; https://github.com/bytecodealliance/wasm-micro-runtime/issues/2097
+  (memory (export "memory") 0)
+)
diff --git a/wat/recurise_call_and_trap.wat b/wat/recurise_call_and_trap.wat
@@ -0,0 +1,26 @@
+;; https://github.com/bytecodealliance/wasm-micro-runtime/pull/2233
+
+(module
+  (func $f (param i32)
+    block
+      local.get 0
+      i32.load8_u
+      i32.eqz
+      br_if 0
+      unreachable
+    end
+    local.get 0
+    i32.const 1
+    i32.add
+    call $f
+    loop
+      br 0
+    end
+  )
+  (func (export "_start")
+    i32.const 0
+    call $f
+  )
+  (memory (export "memory") 1)
+  (data (i32.const 100) "\01")
+)