2 files changed, 67 insertions, 0 deletions
diff --git a/test/passes/simplify-locals-nostructure.txt b/test/passes/simplify-locals-nostructure.txt
index 2cb942f43..c48101a92 100644
--- a/test/passes/simplify-locals-nostructure.txt
+++ b/test/passes/simplify-locals-nostructure.txt
@@ -66,4 +66,38 @@
   (local $x i32)
   (unreachable)
  )
+ (func $implicit-trap-and-global-effects (type $0)
+  (local $var$0 i32)
+  (set_local $var$0
+   (i32.trunc_u/f64
+    (f64.const -nan:0xfffffffffffc3)
+   )
+  )
+  (f32.store align=1
+   (i32.const 22)
+   (f32.const 154)
+  )
+  (drop
+   (get_local $var$0)
+  )
+ )
+ (func $implicit-trap-and-local-effects (type $0)
+  (local $var$0 i32)
+  (local $other i32)
+  (nop)
+  (set_local $other
+   (i32.const 100)
+  )
+  (drop
+   (i32.trunc_u/f64
+    (f64.const -nan:0xfffffffffffc3)
+   )
+  )
+  (if
+   (i32.const 1)
+   (drop
+    (get_local $other)
+   )
+  )
+ )
 )
diff --git a/test/passes/simplify-locals-nostructure.wast b/test/passes/simplify-locals-nostructure.wast
index 548109237..9a4a63a2e 100644
--- a/test/passes/simplify-locals-nostructure.wast
+++ b/test/passes/simplify-locals-nostructure.wast
@@ -36,5 +36,38 @@
       )
     )
   )
+  (func $implicit-trap-and-global-effects
+    (local $var$0 i32)
+    (set_local $var$0
+     (i32.trunc_u/f64
+      (f64.const -nan:0xfffffffffffc3) ;; this implicit trap will actually trap
+     )
+    )
+    (f32.store align=1 ;; and if we move it across this store, the store will execute, having global side effects
+     (i32.const 22)
+     (f32.const 154)
+    )
+    (drop
+     (get_local $var$0)
+    )
+  )
+  (func $implicit-trap-and-local-effects
+    (local $var$0 i32)
+    (local $other i32)
+    (set_local $var$0
+     (i32.trunc_u/f64
+      (f64.const -nan:0xfffffffffffc3) ;; this implicit trap will actually trap
+     )
+    )
+    (set_local $other (i32.const 100)) ;; but it's fine to move it across a local effect, that vanishes anyhow
+    (drop
+     (get_local $var$0)
+    )
+    (if (i32.const 1)
+     (drop
+      (get_local $other)
+     )
+    )
+  )
 )