1 files changed, 84 insertions, 84 deletions
diff --git a/test/wasm-only.fromasm.imprecise b/test/wasm-only.fromasm.imprecise
index f21e00752..6f0cdef47 100644
--- a/test/wasm-only.fromasm.imprecise
+++ b/test/wasm-only.fromasm.imprecise
@@ -4,8 +4,8 @@
  (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" (table $table 3 3 funcref))
+ (elem (global.get $__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)))
@@ -23,91 +23,91 @@
   (local $2 f32)
   (i32.store8
    (i32.const 100)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store8
    (i32.const 101)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store16
    (i32.const 102)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store16
    (i32.const 103)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store16 align=1
    (i32.const 104)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store16
    (i32.const 105)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store
    (i32.const 106)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store
    (i32.const 107)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store align=1
    (i32.const 108)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store align=2
    (i32.const 109)
-   (get_local $0)
+   (local.get $0)
   )
   (i32.store
    (i32.const 110)
-   (get_local $0)
+   (local.get $0)
   )
   (f32.store
    (i32.const 111)
-   (get_local $2)
+   (local.get $2)
   )
   (f32.store
    (i32.const 112)
-   (get_local $2)
+   (local.get $2)
   )
   (f32.store align=1
    (i32.const 113)
-   (get_local $2)
+   (local.get $2)
   )
   (f32.store align=2
    (i32.const 114)
-   (get_local $2)
+   (local.get $2)
   )
   (f32.store
    (i32.const 115)
-   (get_local $2)
+   (local.get $2)
   )
   (f64.store
    (i32.const 116)
-   (get_local $1)
+   (local.get $1)
   )
   (f64.store
    (i32.const 117)
-   (get_local $1)
+   (local.get $1)
   )
   (f64.store align=1
    (i32.const 118)
-   (get_local $1)
+   (local.get $1)
   )
   (f64.store align=2
    (i32.const 119)
-   (get_local $1)
+   (local.get $1)
   )
   (f64.store align=4
    (i32.const 120)
-   (get_local $1)
+   (local.get $1)
   )
   (f64.store
    (i32.const 121)
-   (get_local $1)
+   (local.get $1)
   )
  )
  (func $test64 (; 7 ;) (; has Stack IR ;)
@@ -115,7 +115,7 @@
   (local $1 i32)
   (i64.store
    (i32.const 120)
-   (tee_local $0
+   (local.tee $0
     (i64.load
      (i32.const 120)
     )
@@ -123,23 +123,23 @@
   )
   (i64.store
    (i32.const 120)
-   (get_local $0)
+   (local.get $0)
   )
   (i64.store align=2
    (i32.const 120)
-   (get_local $0)
+   (local.get $0)
   )
   (i64.store align=4
    (i32.const 120)
-   (get_local $0)
+   (local.get $0)
   )
   (i64.store
    (i32.const 120)
-   (get_local $0)
+   (local.get $0)
   )
-  (set_local $1
-   (i32.wrap/i64
-    (get_local $0)
+  (local.set $1
+   (i32.wrap_i64
+    (local.get $0)
    )
   )
  )
@@ -150,11 +150,11 @@
    (i32.const -33)
   )
   (i64.or
-   (i64.extend_u/i32
+   (i64.extend_i32_u
     (call $legalimport$illegalImportResult)
    )
    (i64.shl
-    (i64.extend_u/i32
+    (i64.extend_i32_u
      (call $getTempRet0)
     )
     (i64.const 32)
@@ -164,41 +164,41 @@
  (func $arg (; 9 ;) (; has Stack IR ;) (param $0 i64)
   (i64.store
    (i32.const 100)
-   (get_local $0)
+   (local.get $0)
   )
   (call $arg
-   (get_local $0)
+   (local.get $0)
   )
  )
  (func $illegalParam (; 10 ;) (; has Stack IR ;) (param $0 i32) (param $1 i64) (param $2 f64)
   (i32.store
    (i32.const 50)
-   (get_local $0)
+   (local.get $0)
   )
   (i64.store
    (i32.const 100)
-   (get_local $1)
+   (local.get $1)
   )
   (f64.store
    (i32.const 200)
-   (get_local $2)
+   (local.get $2)
   )
   (call $illegalParam
    (i32.const 0)
-   (get_local $1)
+   (local.get $1)
    (f64.const 12.34)
   )
  )
  (func $call1 (; 11 ;) (; has Stack IR ;) (param $0 i64) (result i64)
   (call $call1
-   (get_local $0)
+   (local.get $0)
   )
  )
  (func $call2 (; 12 ;) (; has Stack IR ;) (param $0 i64) (result i64)
   (drop
    (call $call2
     (call $call2
-     (get_local $0)
+     (local.get $0)
     )
    )
   )
@@ -206,8 +206,8 @@
  )
  (func $ifValue32 (; 13 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
   (call $ifValue32
-   (get_local $0)
-   (get_local $1)
+   (local.get $0)
+   (local.get $1)
   )
  )
  (func $unreachable_leftovers (; 14 ;) (; has Stack IR ;)
@@ -223,26 +223,26 @@
   (block $label$break$L8
    (block $__rjti$2
     (br_if $__rjti$2
-     (get_local $0)
+     (local.get $0)
     )
-    (set_local $0
+    (local.set $0
      (i32.const 0)
     )
     (br $label$break$L8)
    )
-   (set_local $0
-    (get_local $2)
+   (local.set $0
+    (local.get $2)
    )
    (if
     (i32.load8_u
-     (get_local $1)
+     (local.get $1)
     )
     (block
      (block $__rjto$0
       (block $__rjti$0
        (br_if $__rjti$0
         (i32.le_u
-         (get_local $0)
+         (local.get $0)
          (i32.const 3)
         )
        )
@@ -252,9 +252,9 @@
           (i32.and
            (i32.xor
             (i32.and
-             (tee_local $2
+             (local.tee $2
               (i32.load
-               (get_local $1)
+               (local.get $1)
               )
              )
              (i32.const -2139062144)
@@ -262,23 +262,23 @@
             (i32.const -2139062144)
            )
            (i32.add
-            (get_local $2)
+            (local.get $2)
             (i32.const -16843009)
            )
           )
          )
          (block
-          (set_local $1
+          (local.set $1
            (i32.add
-            (get_local $1)
+            (local.get $1)
             (i32.const 4)
            )
           )
           (br_if $while-in3
            (i32.gt_u
-            (tee_local $0
+            (local.tee $0
              (i32.add
-              (get_local $0)
+              (local.get $0)
               (i32.const -4)
              )
             )
@@ -293,35 +293,35 @@
       )
       (if
        (i32.eqz
-        (get_local $0)
+        (local.get $0)
        )
        (block
-        (set_local $0
+        (local.set $0
          (i32.const 0)
         )
         (br $label$break$L8)
        )
       )
      )
-     (set_local $0
+     (local.set $0
       (loop $while-in5 (result i32)
        (br_if $label$break$L8
         (i32.eqz
          (i32.load8_u
-          (get_local $1)
+          (local.get $1)
          )
         )
        )
-       (set_local $1
+       (local.set $1
         (i32.add
-         (get_local $1)
+         (local.get $1)
          (i32.const 1)
         )
        )
        (br_if $while-in5
-        (tee_local $0
+        (local.tee $0
          (i32.add
-          (get_local $0)
+          (local.get $0)
           (i32.const -1)
          )
         )
@@ -333,9 +333,9 @@
    )
   )
   (select
-   (get_local $1)
+   (local.get $1)
    (i32.const 0)
-   (get_local $0)
+   (local.get $0)
   )
  )
  (func $keepAlive (; 16 ;) (; has Stack IR ;)
@@ -403,19 +403,19 @@
  )
  (func $legalstub$illegalParam (; 17 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64)
   (call $illegalParam
-   (get_local $0)
+   (local.get $0)
    (i64.or
-    (i64.extend_u/i32
-     (get_local $1)
+    (i64.extend_i32_u
+     (local.get $1)
     )
     (i64.shl
-     (i64.extend_u/i32
-      (get_local $2)
+     (i64.extend_i32_u
+      (local.get $2)
      )
      (i64.const 32)
     )
    )
-   (get_local $3)
+   (local.get $3)
   )
  )
  (func $legalstub$illegalResult (; 18 ;) (; has Stack IR ;) (result i32)
@@ -426,35 +426,35 @@
  )
  (func $legalfunc$illegalImport (; 19 ;) (; has Stack IR ;) (param $0 f64) (param $1 i64) (param $2 i32)
   (call $legalimport$illegalImport
-   (get_local $0)
-   (i32.wrap/i64
-    (get_local $1)
+   (local.get $0)
+   (i32.wrap_i64
+    (local.get $1)
    )
-   (i32.wrap/i64
+   (i32.wrap_i64
     (i64.shr_u
-     (get_local $1)
+     (local.get $1)
      (i64.const 32)
     )
    )
-   (get_local $2)
+   (local.get $2)
   )
  )
  (func $legalfunc$_fabsf (; 20 ;) (; has Stack IR ;) (param $0 f32) (result f32)
-  (f32.demote/f64
+  (f32.demote_f64
    (call $legalimport$_fabsf
-    (f64.promote/f32
-     (get_local $0)
+    (f64.promote_f32
+     (local.get $0)
     )
    )
   )
  )
  (func $legalfunc$do_i64 (; 21 ;) (; has Stack IR ;) (result i64)
   (i64.or
-   (i64.extend_u/i32
+   (i64.extend_i32_u
     (call $legalimport$do_i64)
    )
    (i64.shl
-    (i64.extend_u/i32
+    (i64.extend_i32_u
      (call $getTempRet0)
     )
     (i64.const 32)