summaryrefslogtreecommitdiff
path: root/test/unit.fromasm.imprecise.no-opts
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit.fromasm.imprecise.no-opts')
-rw-r--r--test/unit.fromasm.imprecise.no-opts43
1 files changed, 43 insertions, 0 deletions
diff --git a/test/unit.fromasm.imprecise.no-opts b/test/unit.fromasm.imprecise.no-opts
index 814bc52d7..1a514f4b1 100644
--- a/test/unit.fromasm.imprecise.no-opts
+++ b/test/unit.fromasm.imprecise.no-opts
@@ -1152,4 +1152,47 @@
)
)
)
+ (func $loophi (param $x i32) (param $y i32)
+ (local $temp i32)
+ (local $inc i32)
+ (local $loopvar i32)
+ (set_local $loopvar
+ (get_local $x)
+ )
+ (loop $while-in$1
+ (block $while-out$0
+ (call $loophi
+ (get_local $loopvar)
+ (i32.const 0)
+ )
+ (set_local $temp
+ (get_local $loopvar)
+ )
+ (if
+ (get_local $temp)
+ (if
+ (get_local $temp)
+ (br $while-out$0)
+ )
+ )
+ (set_local $inc
+ (i32.add
+ (get_local $loopvar)
+ (i32.const 1)
+ )
+ )
+ (if
+ (i32.eq
+ (get_local $inc)
+ (get_local $y)
+ )
+ (set_local $loopvar
+ (get_local $inc)
+ )
+ (br $while-out$0)
+ )
+ (br $while-in$1)
+ )
+ )
+ )
)