1 files changed, 24 insertions, 32 deletions
diff --git a/test/wasm-only.fromasm.imprecise b/test/wasm-only.fromasm.imprecise
index 9ea224d4d..f7626db75 100644
--- a/test/wasm-only.fromasm.imprecise
+++ b/test/wasm-only.fromasm.imprecise
@@ -1,23 +1,23 @@
 (module
+ (type $FUNCSIG$vi (func (param i32)))
  (type $legaltype$illegalImport (func (param f64 i32 i32 i32)))
- (type $legaltype$illegalImportResult (func (result i32)))
+ (type $FUNCSIG$i (func (result i32)))
  (type $legaltype$_fabsf (func (param f64) (result f64)))
  (import "env" "memory" (memory $memory 256 256))
  (import "env" "table" (table $table 3 3 anyfunc))
  (elem (get_global $__table_base) $legalfunc$illegalImport $legalfunc$_fabsf $legalfunc$do_i64)
  (import "env" "__table_base" (global $__table_base i32))
+ (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
  (import "env" "illegalImport" (func $legalimport$illegalImport (param f64 i32 i32 i32)))
+ (import "env" "getTempRet0" (func $getTempRet0 (result i32)))
  (import "env" "illegalImportResult" (func $legalimport$illegalImportResult (result i32)))
  (import "env" "_fabsf" (func $legalimport$_fabsf (param f64) (result f64)))
  (import "env" "do_i64" (func $legalimport$do_i64 (result i32)))
- (global $tempRet0 (mut i32) (i32.const 0))
  (export "test64" (func $test64))
  (export "illegalParam" (func $legalstub$illegalParam))
  (export "illegalResult" (func $legalstub$illegalResult))
  (export "keepAlive" (func $keepAlive))
- (export "getTempRet0" (func $getTempRet0))
- (export "setTempRet0" (func $setTempRet0))
- (func $stores (; 4 ;) (; has Stack IR ;)
+ (func $stores (; 6 ;) (; has Stack IR ;)
   (local $0 i32)
   (local $1 f64)
   (local $2 f32)
@@ -110,7 +110,7 @@
    (get_local $1)
   )
  )
- (func $test (; 5 ;) (; has Stack IR ;)
+ (func $test (; 7 ;) (; has Stack IR ;)
   (local $0 f32)
   (local $1 i32)
   (set_local $1
@@ -119,7 +119,7 @@
    )
   )
  )
- (func $test64 (; 6 ;) (; has Stack IR ;)
+ (func $test64 (; 8 ;) (; has Stack IR ;)
   (local $0 i64)
   (local $1 i32)
   (local $2 i64)
@@ -161,7 +161,7 @@
    )
   )
  )
- (func $imports (; 7 ;) (; has Stack IR ;) (result i64)
+ (func $imports (; 9 ;) (; has Stack IR ;) (result i64)
   (call $legalfunc$illegalImport
    (f64.const -3.13159)
    (i64.const 94489280523)
@@ -173,13 +173,13 @@
    )
    (i64.shl
     (i64.extend_u/i32
-     (get_global $tempRet0)
+     (call $getTempRet0)
     )
     (i64.const 32)
    )
   )
  )
- (func $arg (; 8 ;) (; has Stack IR ;) (param $0 i64)
+ (func $arg (; 10 ;) (; has Stack IR ;) (param $0 i64)
   (i64.store
    (i32.const 100)
    (get_local $0)
@@ -188,7 +188,7 @@
    (get_local $0)
   )
  )
- (func $illegalParam (; 9 ;) (; has Stack IR ;) (param $0 i32) (param $1 i64) (param $2 f64)
+ (func $illegalParam (; 11 ;) (; has Stack IR ;) (param $0 i32) (param $1 i64) (param $2 f64)
   (i32.store
    (i32.const 50)
    (get_local $0)
@@ -207,12 +207,12 @@
    (f64.const 12.34)
   )
  )
- (func $call1 (; 10 ;) (; has Stack IR ;) (param $0 i64) (result i64)
+ (func $call1 (; 12 ;) (; has Stack IR ;) (param $0 i64) (result i64)
   (call $call1
    (get_local $0)
   )
  )
- (func $call2 (; 11 ;) (; has Stack IR ;) (param $0 i64) (result i64)
+ (func $call2 (; 13 ;) (; has Stack IR ;) (param $0 i64) (result i64)
   (drop
    (call $call2
     (call $call2
@@ -222,19 +222,19 @@
   )
   (i64.const 245127260211081)
  )
- (func $ifValue32 (; 12 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
+ (func $ifValue32 (; 14 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
   (call $ifValue32
    (get_local $0)
    (get_local $1)
   )
  )
- (func $unreachable_leftovers (; 13 ;) (; has Stack IR ;)
+ (func $unreachable_leftovers (; 15 ;) (; has Stack IR ;)
   (i32.store
    (i32.const 0)
    (i32.const -2)
   )
  )
- (func $_memchr (; 14 ;) (; has Stack IR ;) (result i32)
+ (func $_memchr (; 16 ;) (; has Stack IR ;) (result i32)
   (local $0 i32)
   (local $1 i32)
   (local $2 i32)
@@ -356,7 +356,7 @@
    (get_local $0)
   )
  )
- (func $keepAlive (; 15 ;) (; has Stack IR ;)
+ (func $keepAlive (; 17 ;) (; has Stack IR ;)
   (call $stores)
   (call $stores)
   (call $test)
@@ -421,7 +421,7 @@
    (call $_memchr)
   )
  )
- (func $legalstub$illegalParam (; 16 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64)
+ (func $legalstub$illegalParam (; 18 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64)
   (call $illegalParam
    (get_local $0)
    (i64.or
@@ -438,13 +438,13 @@
    (get_local $3)
   )
  )
- (func $legalstub$illegalResult (; 17 ;) (; has Stack IR ;) (result i32)
-  (set_global $tempRet0
+ (func $legalstub$illegalResult (; 19 ;) (; has Stack IR ;) (result i32)
+  (call $setTempRet0
    (i32.const 2)
   )
   (i32.const 1)
  )
- (func $legalfunc$illegalImport (; 18 ;) (; has Stack IR ;) (param $0 f64) (param $1 i64) (param $2 i32)
+ (func $legalfunc$illegalImport (; 20 ;) (; has Stack IR ;) (param $0 f64) (param $1 i64) (param $2 i32)
   (call $legalimport$illegalImport
    (get_local $0)
    (i32.wrap/i64
@@ -459,7 +459,7 @@
    (get_local $2)
   )
  )
- (func $legalfunc$_fabsf (; 19 ;) (; has Stack IR ;) (param $0 f32) (result f32)
+ (func $legalfunc$_fabsf (; 21 ;) (; has Stack IR ;) (param $0 f32) (result f32)
   (f32.demote/f64
    (call $legalimport$_fabsf
     (f64.promote/f32
@@ -468,25 +468,17 @@
    )
   )
  )
- (func $legalfunc$do_i64 (; 20 ;) (; has Stack IR ;) (result i64)
+ (func $legalfunc$do_i64 (; 22 ;) (; has Stack IR ;) (result i64)
   (i64.or
    (i64.extend_u/i32
     (call $legalimport$do_i64)
    )
    (i64.shl
     (i64.extend_u/i32
-     (get_global $tempRet0)
+     (call $getTempRet0)
     )
     (i64.const 32)
    )
   )
  )
- (func $getTempRet0 (; 21 ;) (; has Stack IR ;) (result i32)
-  (get_global $tempRet0)
- )
- (func $setTempRet0 (; 22 ;) (; has Stack IR ;) (param $0 i32)
-  (set_global $tempRet0
-   (get_local $0)
-  )
- )
 )