1 files changed, 48 insertions, 4 deletions
diff --git a/test/wasm-only.fromasm.imprecise b/test/wasm-only.fromasm.imprecise
index 6d013e11a..2255bfc08 100644
--- a/test/wasm-only.fromasm.imprecise
+++ b/test/wasm-only.fromasm.imprecise
@@ -2,6 +2,7 @@
  (type $FUNCSIG$vdji (func (param f64 i64 i32)))
  (type $FUNCSIG$j (func (result i64)))
  (type $FUNCSIG$ff (func (param f32) (result f32)))
+ (type $FUNCSIG$v (func))
  (type $legaltype$illegalImport (func (param f64 i32 i32 i32)))
  (type $legaltype$illegalImportResult (func (result i32)))
  (type $legaltype$_fabsf (func (param f64) (result f64)))
@@ -10,6 +11,7 @@
  (import "env" "illegalImportResult" (func $illegalImportResult (result i64)))
  (import "env" "_fabsf" (func $_fabsf (param f32) (result f32)))
  (import "env" "do_i64" (func $do_i64 (result i64)))
+ (import "env" "abort" (func $abort))
  (import "env" "illegalImport" (func $legalimport$illegalImport (param f64 i32 i32 i32)))
  (import "env" "illegalImportResult" (func $legalimport$illegalImportResult (result i32)))
  (import "env" "_fabsf" (func $legalimport$_fabsf (param f64) (result f64)))
@@ -236,14 +238,24 @@
    (block $switch-default
     (block $switch-case0
      (block $switch-case
-      (br_table $switch-case0 $switch-default $switch-case $switch-default
+      (br_if $switch-default
        (i32.wrap/i64
-        (i64.sub
-         (get_local $0)
-         (i64.const 42949672965)
+        (i64.shr_u
+         (tee_local $0
+          (i64.sub
+           (get_local $0)
+           (i64.const 42949672965)
+          )
+         )
+         (i64.const 32)
         )
        )
       )
+      (br_table $switch-case0 $switch-default $switch-case $switch-default
+       (i32.wrap/i64
+        (get_local $0)
+       )
+      )
      )
      (br $switch
       (i32.const 11000)
@@ -589,6 +601,32 @@
    (get_local $0)
   )
  )
+ (func $switch64_big_condition1 (param $0 i64)
+  (local $1 i64)
+  (block $switch-default
+   (block $switch-case
+    (br_if $switch-default
+     (i32.wrap/i64
+      (i64.shr_u
+       (tee_local $1
+        (i64.sub
+         (get_local $0)
+         (i64.const 9218868437227405312)
+        )
+       )
+       (i64.const 32)
+      )
+     )
+    )
+    (br_table $switch-case $switch-default
+     (i32.wrap/i64
+      (get_local $1)
+     )
+    )
+   )
+   (call $abort)
+  )
+ )
  (func $keepAlive
   (call $loads)
   (call $stores)
@@ -646,6 +684,12 @@
     (i64.const 0)
    )
   )
+  (call $switch64_big_condition1
+   (i64.const 0)
+  )
+  (call $switch64_big_condition1
+   (i64.const 0)
+  )
  )
  (func $legalstub$illegalParam (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64)
   (call $illegalParam