1 files changed, 87 insertions, 0 deletions
diff --git a/test/unreachable-import_wasm-only.fromasm.imprecise.no-opts b/test/unreachable-import_wasm-only.fromasm.imprecise.no-opts
new file mode 100644
index 000000000..ad60bb6fd
--- /dev/null
+++ b/test/unreachable-import_wasm-only.fromasm.imprecise.no-opts
@@ -0,0 +1,87 @@
+(module
+  (type $FUNCSIG$ii (func (param i32) (result i32)))
+  (type $FUNCSIG$viii (func (param i32 i32 i32)))
+  (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR$asm2wasm$import i32))
+  (import "env" "tempDoublePtr" (global $tempDoublePtr$asm2wasm$import i32))
+  (import "env" "ABORT" (global $ABORT$asm2wasm$import i32))
+  (import "env" "STACKTOP" (global $STACKTOP$asm2wasm$import i32))
+  (import "env" "STACK_MAX" (global $STACK_MAX$asm2wasm$import i32))
+  (import "env" "___async" (global $___async$asm2wasm$import i32))
+  (import "env" "___async_unwind" (global $___async_unwind$asm2wasm$import i32))
+  (import "env" "___async_retval" (global $___async_retval$asm2wasm$import i32))
+  (import "env" "___async_cur_frame" (global $___async_cur_frame$asm2wasm$import i32))
+  (import "global" "NaN" (global $nan$asm2wasm$import f64))
+  (import "global" "Infinity" (global $inf$asm2wasm$import f64))
+  (import "env" "___cxa_allocate_exception" (func $___cxa_allocate_exception (param i32) (result i32)))
+  (import "env" "___cxa_throw" (func $___cxa_throw (param i32 i32 i32)))
+  (import "env" "memory" (memory $0 256 256))
+  (import "env" "table" (table 0 0 anyfunc))
+  (import "env" "memoryBase" (global $memoryBase i32))
+  (import "env" "tableBase" (global $tableBase i32))
+  (global $DYNAMICTOP_PTR (mut i32) (get_global $DYNAMICTOP_PTR$asm2wasm$import))
+  (global $tempDoublePtr (mut i32) (get_global $tempDoublePtr$asm2wasm$import))
+  (global $ABORT (mut i32) (get_global $ABORT$asm2wasm$import))
+  (global $STACKTOP (mut i32) (get_global $STACKTOP$asm2wasm$import))
+  (global $STACK_MAX (mut i32) (get_global $STACK_MAX$asm2wasm$import))
+  (global $___async (mut i32) (get_global $___async$asm2wasm$import))
+  (global $___async_unwind (mut i32) (get_global $___async_unwind$asm2wasm$import))
+  (global $___async_retval (mut i32) (get_global $___async_retval$asm2wasm$import))
+  (global $___async_cur_frame (mut i32) (get_global $___async_cur_frame$asm2wasm$import))
+  (global $__THREW__ (mut i32) (i32.const 0))
+  (global $threwValue (mut i32) (i32.const 0))
+  (global $setjmpId (mut i32) (i32.const 0))
+  (global $undef (mut i32) (i32.const 0))
+  (global $nan (mut f64) (get_global $nan$asm2wasm$import))
+  (global $inf (mut f64) (get_global $inf$asm2wasm$import))
+  (global $tempInt (mut i32) (i32.const 0))
+  (global $tempBigInt (mut i32) (i32.const 0))
+  (global $tempBigIntP (mut i32) (i32.const 0))
+  (global $tempBigIntS (mut i32) (i32.const 0))
+  (global $tempBigIntR (mut f64) (f64.const 0))
+  (global $tempBigIntI (mut i32) (i32.const 0))
+  (global $tempBigIntD (mut i32) (i32.const 0))
+  (global $tempValue (mut i32) (i32.const 0))
+  (global $tempDouble (mut f64) (f64.const 0))
+  (global $tempRet0 (mut i32) (i32.const 0))
+  (global $tempFloat (mut f32) (f32.const 0))
+  (global $f0 (mut f32) (f32.const 0))
+  (export "__ZN10WasmAssertC2Ev__async_cb" (func $__ZN10WasmAssertC2Ev__async_cb))
+  (func $__ZN10WasmAssertC2Ev__async_cb (param $$0 i32)
+    (block $switch
+      (block $switch-default
+        (block $switch-case
+          (br_table $switch-case $switch-default
+            (i32.sub
+              (i32.const 0)
+              (i32.const 0)
+            )
+          )
+        )
+        (block
+          (i32.store
+            (i32.const 12)
+            (i32.const 26)
+          )
+          (return)
+          (br $switch)
+        )
+      )
+      (block
+        (set_local $$0
+          (call $___cxa_allocate_exception
+            (i32.const 4)
+          )
+        )
+        (i32.store
+          (get_local $$0)
+          (i32.const 1)
+        )
+        (call $___cxa_throw
+          (get_local $$0)
+          (i32.const 1280)
+          (i32.const 0)
+        )
+      )
+    )
+  )
+)