summaryrefslogtreecommitdiff
path: root/test/unit.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit.fromasm.imprecise')
-rw-r--r--test/unit.fromasm.imprecise28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 293fc490a..a4716941d 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -417,4 +417,32 @@
)
(i32.const 0)
)
+ (func $zeroInit (param $0 i32)
+ (local $1 i32)
+ (if
+ (call $lb
+ (i32.const 0)
+ )
+ (if
+ (call $lb
+ (i32.const 1)
+ )
+ (set_local $1
+ (i32.const 3)
+ )
+ )
+ (set_local $1
+ (i32.const 3)
+ )
+ )
+ (if
+ (i32.eq
+ (get_local $1)
+ (i32.const 3)
+ )
+ (call $lb
+ (i32.const 2)
+ )
+ )
+ )
)