wasm-micro-runtime/tests/wamr-test-suites/spec-test-script/gc_ignore_cases.patch

diff --git a/test/core/binary-leb128.wast b/test/core/binary-leb128.wast
index 335496f0..5b975028 100644
--- a/test/core/binary-leb128.wast
+++ b/test/core/binary-leb128.wast
@@ -1078,5 +1078,5 @@
     "\e0\7f"                  ;; Malformed functype, -0x20 in signed LEB128 encoding
     "\00\00"
   )
-  "integer representation too long"
+  "invalid type flag" ;; In GC extension, the first byte in rectype define is just one byte, not LEB128 encoded.
 )
diff --git a/test/core/elem.wast b/test/core/elem.wast
index df1610f6..32c1d8b3 100644
--- a/test/core/elem.wast
+++ b/test/core/elem.wast
@@ -400,7 +400,7 @@
 )
 
 (assert_invalid
-  (module 
+  (module
     (table 1 funcref)
     (elem (offset (;empty instruction sequence;)))
   )
@@ -476,7 +476,7 @@
 )
 
 (assert_invalid
-   (module 
+   (module
      (table 1 funcref)
      (elem (global.get 0))
    )
@@ -493,7 +493,7 @@
 )
 
 (assert_invalid
-   (module 
+   (module
      (global (import "test" "global-mut-i32") (mut i32))
      (table 1 funcref)
      (elem (global.get 0))
@@ -603,12 +603,13 @@
   )
 )
 
-(register "module1" $module1)
+(; (register "module1" $module1) ;)
 
-(assert_trap (invoke $module1 "call-7") "uninitialized element")
-(assert_return (invoke $module1 "call-8") (i32.const 65))
-(assert_return (invoke $module1 "call-9") (i32.const 66))
+(assert_trap (invoke "call-7") "uninitialized element")
+(assert_return (invoke "call-8") (i32.const 65))
+(assert_return (invoke "call-9") (i32.const 66))
 
+(;
 (module $module2
   (type $out-i32 (func (result i32)))
   (import "module1" "shared-table" (table 10 funcref))
@@ -617,11 +618,15 @@
   (func $const-i32-c (type $out-i32) (i32.const 67))
   (func $const-i32-d (type $out-i32) (i32.const 68))
 )
+;)
 
+(;
 (assert_return (invoke $module1 "call-7") (i32.const 67))
 (assert_return (invoke $module1 "call-8") (i32.const 68))
 (assert_return (invoke $module1 "call-9") (i32.const 66))
+;)
 
+(;
 (module $module3
   (type $out-i32 (func (result i32)))
   (import "module1" "shared-table" (table 10 funcref))
@@ -634,6 +639,7 @@
 (assert_return (invoke $module1 "call-7") (i32.const 67))
 (assert_return (invoke $module1 "call-8") (i32.const 69))
 (assert_return (invoke $module1 "call-9") (i32.const 70))
+;)
 
 ;; Element segments must match element type of table
 
@@ -666,6 +672,7 @@
 
 ;; Initializing a table with an externref-type element segment
 
+(;
 (module $m
 	(table $t (export "table") 2 externref)
 	(func (export "get") (param $i i32) (result externref)
@@ -713,3 +720,5 @@
 )
 
 (assert_return (invoke "call_imported_elem") (i32.const 42))
+
+;)
diff --git a/test/core/gc/array.wast b/test/core/gc/array.wast
index f5888cb2..b4a2dc0a 100644
--- a/test/core/gc/array.wast
+++ b/test/core/gc/array.wast
@@ -95,7 +95,7 @@
 )
 
 (assert_return (invoke "new") (ref.array))
-(assert_return (invoke "new") (ref.eq))
+;; (assert_return (invoke "new") (ref.eq))
 (assert_return (invoke "get" (i32.const 0)) (f32.const 0))
 (assert_return (invoke "set_get" (i32.const 1) (f32.const 7)) (f32.const 7))
 (assert_return (invoke "len") (i32.const 3))
@@ -140,7 +140,7 @@
 )
 
 (assert_return (invoke "new") (ref.array))
-(assert_return (invoke "new") (ref.eq))
+;; (assert_return (invoke "new") (ref.eq))
 (assert_return (invoke "get" (i32.const 0)) (f32.const 1))
 (assert_return (invoke "set_get" (i32.const 1) (f32.const 7)) (f32.const 7))
 (assert_return (invoke "len") (i32.const 2))
@@ -185,7 +185,7 @@
 )
 
 (assert_return (invoke "new") (ref.array))
-(assert_return (invoke "new") (ref.eq))
+;; (assert_return (invoke "new") (ref.eq))
 (assert_return (invoke "get" (i32.const 0)) (i32.const 1))
 (assert_return (invoke "set_get" (i32.const 1) (i32.const 7)) (i32.const 7))
 (assert_return (invoke "len") (i32.const 3))
@@ -193,6 +193,7 @@
 (assert_trap (invoke "get" (i32.const 10)) "out of bounds array access")
 (assert_trap (invoke "set_get" (i32.const 10) (i32.const 7)) "out of bounds array access")
 
+(; array.new_elem not supported
 (module
   (type $bvec (array i8))
   (type $vec (array (ref $bvec)))
@@ -251,6 +252,7 @@
 
 (assert_trap (invoke "get" (i32.const 10) (i32.const 0)) "out of bounds array access")
 (assert_trap (invoke "set_get" (i32.const 10) (i32.const 0) (i32.const 0)) "out of bounds array access")
+;)
 
 (assert_invalid
   (module
diff --git a/test/core/gc/extern.wast b/test/core/gc/extern.wast
index abf31669..9ef86506 100644
--- a/test/core/gc/extern.wast
+++ b/test/core/gc/extern.wast
@@ -43,7 +43,7 @@
 (assert_return (invoke "externalize-i" (i32.const 1)) (ref.extern))
 (assert_return (invoke "externalize-i" (i32.const 2)) (ref.extern))
 (assert_return (invoke "externalize-i" (i32.const 3)) (ref.extern))
-(assert_return (invoke "externalize-i" (i32.const 4)) (ref.extern))
+(assert_return (invoke "externalize-i" (i32.const 4)) (ref.extern 0))
 (assert_return (invoke "externalize-i" (i32.const 5)) (ref.null extern))
 
 (assert_return (invoke "externalize-ii" (i32.const 0)) (ref.null any))
diff --git a/test/core/gc/initializer.wast b/test/core/gc/initializer.wast
new file mode 100644
index 00000000..32650644
--- /dev/null
+++ b/test/core/gc/initializer.wast
@@ -0,0 +1,34 @@
+;; added cases to test constant expressions
+
+(module
+  (type $struct (struct (field f32) (field $y (mut f32)) (field $z f32)))
+  (type $vec (array f32))
+
+  ;; table initializer
+  (table 10 anyref)
+
+  ;; global initializer
+  (global (ref $vec) (array.new_fixed $vec 2 (f32.const 1) (f32.const 2)))
+  (global (ref $struct) (struct.new_default $struct))
+
+  ;; elem initializer
+  (elem (i32.const 0) (ref $vec) (array.new_default $vec (i32.const 2)))
+  (elem (i32.const 1) (ref $vec) (array.new $vec (f32.const 1) (i32.const 3)))
+  (elem (i32.const 2) (ref $struct) (struct.new_default $struct))
+
+  (func (export "get_table") (param $i i32) (result anyref)
+    (table.get (local.get $i))
+  )
+)
+
+(assert_return (invoke "get_table" (i32.const 0)) (ref.array))
+(assert_return (invoke "get_table" (i32.const 1)) (ref.array))
+(assert_return (invoke "get_table" (i32.const 2)) (ref.struct))
+
+(assert_invalid
+  (module
+    (type $struct (struct (field f32) (field $y (mut f32)) (field $z f32)))
+    (table 10 anyref (struct.new_default $struct))
+  )
+  "unsupported initializer expression for table"
+)
diff --git a/test/core/gc/type-subtyping.wast b/test/core/gc/type-subtyping.wast
index a9022fc3..4aa36e2a 100644
--- a/test/core/gc/type-subtyping.wast
+++ b/test/core/gc/type-subtyping.wast
@@ -740,7 +740,7 @@
   "sub type"
 )
 
-(assert_invalid 
+(assert_invalid
   (module
     (type $f0 (sub (func (param i32) (result i32))))
     (type $s0 (sub $f0 (struct)))
@@ -764,7 +764,7 @@
   "sub type"
 )
 
-(assert_invalid 
+(assert_invalid
   (module
     (type $s0 (sub (struct)))
     (type $f0 (sub $s0 (func (param i32) (result i32))))
@@ -772,7 +772,7 @@
   "sub type"
 )
 
-(assert_invalid 
+(assert_invalid
   (module
     (type $a0 (sub (array i32)))
     (type $f0 (sub $a0 (func (param i32) (result i32))))
diff --git a/test/core/global.wast b/test/core/global.wast
index 8c47fde2..1a8cc7e3 100644
--- a/test/core/global.wast
+++ b/test/core/global.wast
@@ -644,7 +644,7 @@
   )
 )
 
-(assert_return (invoke "get-elem" (i32.const 0)) (ref.null))
+(assert_return (invoke "get-elem" (i32.const 0)) (ref.null func))
 (assert_return (invoke "get-elem" (i32.const 4)) (ref.func))
 (assert_return (invoke "get-elem" (i32.const 8)) (ref.func))
 
@@ -652,7 +652,7 @@
 (assert_return (invoke "get-data" (i32.const 8)) (i32.const 0x88888888))
 
 (assert_invalid
-  (module 
+  (module
     (global $g1 i32 (global.get $g2))
     (global $g2 i32 (i32.const 0))
   )
diff --git a/test/core/imports.wast b/test/core/imports.wast
index 69f76a0b..a3844c65 100644
--- a/test/core/imports.wast
+++ b/test/core/imports.wast
@@ -572,6 +572,7 @@
 (assert_return (invoke "grow" (i32.const 1)) (i32.const -1))
 (assert_return (invoke "grow" (i32.const 0)) (i32.const 2))
 
+(; unsupported by multi-module currently
 (module $Mgm
   (memory (export "memory") 1) ;; initial size is 1
   (func (export "grow") (result i32) (memory.grow (i32.const 1)))
@@ -591,6 +592,7 @@
   (func (export "size") (result i32) (memory.size))
 )
 (assert_return (invoke $Mgim2 "size") (i32.const 3))
+;)
 
 
 ;; Syntax errors
diff --git a/test/core/linking.wast b/test/core/linking.wast
index 6a8ba1d0..a45534fd 100644
--- a/test/core/linking.wast
+++ b/test/core/linking.wast
@@ -64,6 +64,7 @@
   (export "Mg.set_mut" (func $set_mut))
 )
 
+(;
 (assert_return (get $Mg "glob") (i32.const 42))
 (assert_return (get $Ng "Mg.glob") (i32.const 42))
 (assert_return (get $Ng "glob") (i32.const 43))
@@ -81,6 +82,7 @@
 (assert_return (get $Ng "Mg.mut_glob") (i32.const 241))
 (assert_return (invoke $Mg "get_mut") (i32.const 241))
 (assert_return (invoke $Ng "Mg.get_mut") (i32.const 241))
+;)
 
 
 (assert_unlinkable
@@ -300,6 +302,7 @@
   )
 )
 
+(;
 (assert_return (invoke $Mt "call" (i32.const 2)) (i32.const 4))
 (assert_return (invoke $Nt "Mt.call" (i32.const 2)) (i32.const 4))
 (assert_return (invoke $Nt "call" (i32.const 2)) (i32.const 5))
@@ -322,6 +325,7 @@
 
 (assert_return (invoke $Nt "call" (i32.const 3)) (i32.const -4))
 (assert_trap (invoke $Nt "call" (i32.const 4)) "indirect call type mismatch")
+;)
 
 (module $Ot
   (type (func (result i32)))
@@ -336,6 +340,7 @@
   )
 )
 
+(;
 (assert_return (invoke $Mt "call" (i32.const 3)) (i32.const 4))
 (assert_return (invoke $Nt "Mt.call" (i32.const 3)) (i32.const 4))
 (assert_return (invoke $Nt "call Mt.call" (i32.const 3)) (i32.const 4))
@@ -360,6 +365,7 @@
 (assert_trap (invoke $Ot "call" (i32.const 0)) "uninitialized element")
 
 (assert_trap (invoke $Ot "call" (i32.const 20)) "undefined element")
+;)
 
 (module
   (table (import "Mt" "tab") 0 funcref)
@@ -398,6 +404,7 @@
 
 ;; Unlike in the v1 spec, active element segments stored before an
 ;; out-of-bounds access persist after the instantiation failure.
+(;
 (assert_trap
   (module
     (table (import "Mt" "tab") 10 funcref)
@@ -409,7 +416,9 @@
 )
 (assert_return (invoke $Mt "call" (i32.const 7)) (i32.const 0))
 (assert_trap (invoke $Mt "call" (i32.const 8)) "uninitialized element")
+;)
 
+(;
 (assert_trap
   (module
     (table (import "Mt" "tab") 10 funcref)
@@ -421,6 +430,7 @@
   "out of bounds memory access"
 )
 (assert_return (invoke $Mt "call" (i32.const 7)) (i32.const 0))
+;)
 
 
 (module $Mtable_ex
@@ -503,10 +513,12 @@
   )
 )
 
+(;
 (assert_return (invoke $Mm "load" (i32.const 12)) (i32.const 0xa7))
 (assert_return (invoke $Nm "Mm.load" (i32.const 12)) (i32.const 0xa7))
 (assert_return (invoke $Nm "load" (i32.const 12)) (i32.const 0xf2))
 (assert_return (invoke $Om "load" (i32.const 12)) (i32.const 0xa7))
+;)
 
 (module
   (memory (import "Mm" "mem") 0)
@@ -529,6 +541,7 @@
   )
 )
 
+(;
 (assert_return (invoke $Pm "grow" (i32.const 0)) (i32.const 1))
 (assert_return (invoke $Pm "grow" (i32.const 2)) (i32.const 1))
 (assert_return (invoke $Pm "grow" (i32.const 0)) (i32.const 3))
@@ -537,6 +550,7 @@
 (assert_return (invoke $Pm "grow" (i32.const 0)) (i32.const 5))
 (assert_return (invoke $Pm "grow" (i32.const 1)) (i32.const -1))
 (assert_return (invoke $Pm "grow" (i32.const 0)) (i32.const 5))
+;)
 
 (assert_unlinkable
   (module
@@ -560,8 +574,10 @@
   )
   "out of bounds memory access"
 )
+(;
 (assert_return (invoke $Mm "load" (i32.const 0)) (i32.const 97))
 (assert_return (invoke $Mm "load" (i32.const 327670)) (i32.const 0))
+;)
 
 (assert_trap
   (module
@@ -573,7 +589,9 @@
   )
   "out of bounds table access"
 )
+(;
 (assert_return (invoke $Mm "load" (i32.const 0)) (i32.const 97))
+;)
 
 ;; Store is modified if the start function traps.
 (module $Ms
@@ -589,6 +607,7 @@
 )
 (register "Ms" $Ms)
 
+(;
 (assert_trap
   (module
     (import "Ms" "memory" (memory 1))
@@ -608,3 +627,4 @@
 
 (assert_return (invoke $Ms "get memory[0]") (i32.const 104))  ;; 'h'
 (assert_return (invoke $Ms "get table[0]") (i32.const 0xdead))
+;)
diff --git a/test/core/ref_func.wast b/test/core/ref_func.wast
index adb5cb78..590f6262 100644
--- a/test/core/ref_func.wast
+++ b/test/core/ref_func.wast
@@ -4,7 +4,8 @@
 (register "M")
 
 (module
-  (func $f (import "M" "f") (param i32) (result i32))
+  (; aot mode does not support module linking ;)
+  (func $f (param $x i32) (result i32) (local.get $x))
   (func $g (param $x i32) (result i32)
     (i32.add (local.get $x) (i32.const 1))
   )
diff --git a/test/core/ref_null.wast b/test/core/ref_null.wast
index 1ffd03f8..bdf7471f 100644
--- a/test/core/ref_null.wast
+++ b/test/core/ref_null.wast
@@ -11,7 +11,7 @@
 
 (assert_return (invoke "anyref") (ref.null any))
 (assert_return (invoke "funcref") (ref.null func))
-(assert_return (invoke "ref") (ref.null))
+(assert_return (invoke "ref") (ref.null func))  ;; we alwasy require type information
 
 
 (module
@@ -41,23 +41,23 @@
 )
 
 (assert_return (invoke "anyref") (ref.null any))
-(assert_return (invoke "anyref") (ref.null none))
-(assert_return (invoke "anyref") (ref.null))
+;; (assert_return (invoke "anyref") (ref.null none))
+;; (assert_return (invoke "anyref") (ref.null func))
 (assert_return (invoke "nullref") (ref.null any))
-(assert_return (invoke "nullref") (ref.null none))
-(assert_return (invoke "nullref") (ref.null))
+;; (assert_return (invoke "nullref") (ref.null none))
+;; (assert_return (invoke "nullref") (ref.null func))
 (assert_return (invoke "funcref") (ref.null func))
-(assert_return (invoke "funcref") (ref.null nofunc))
-(assert_return (invoke "funcref") (ref.null))
+;; (assert_return (invoke "funcref") (ref.null nofunc))
+(assert_return (invoke "funcref") (ref.null func))
+(assert_return (invoke "nullfuncref") (ref.null func))
+;; (assert_return (invoke "nullfuncref") (ref.null nofunc))
 (assert_return (invoke "nullfuncref") (ref.null func))
-(assert_return (invoke "nullfuncref") (ref.null nofunc))
-(assert_return (invoke "nullfuncref") (ref.null))
 (assert_return (invoke "externref") (ref.null extern))
-(assert_return (invoke "externref") (ref.null noextern))
-(assert_return (invoke "externref") (ref.null))
+;; (assert_return (invoke "externref") (ref.null noextern))
+;; (assert_return (invoke "externref") (ref.null func))
 (assert_return (invoke "nullexternref") (ref.null extern))
-(assert_return (invoke "nullexternref") (ref.null noextern))
-(assert_return (invoke "nullexternref") (ref.null))
+;; (assert_return (invoke "nullexternref") (ref.null noextern))
+;; (assert_return (invoke "nullexternref") (ref.null func))
+(assert_return (invoke "ref") (ref.null func))
+;; (assert_return (invoke "ref") (ref.null nofunc))
 (assert_return (invoke "ref") (ref.null func))
-(assert_return (invoke "ref") (ref.null nofunc))
-(assert_return (invoke "ref") (ref.null))
diff --git a/test/core/return_call.wast b/test/core/return_call.wast
index 2f91f4de..ad66acca 100644
--- a/test/core/return_call.wast
+++ b/test/core/return_call.wast
@@ -102,20 +102,20 @@
 
 (assert_return (invoke "count" (i64.const 0)) (i64.const 0))
 (assert_return (invoke "count" (i64.const 1000)) (i64.const 0))
-(assert_return (invoke "count" (i64.const 1_000_000)) (i64.const 0))
+(assert_return (invoke "count" (i64.const 100_000)) (i64.const 0))
 
 (assert_return (invoke "even" (i64.const 0)) (i32.const 44))
 (assert_return (invoke "even" (i64.const 1)) (i32.const 99))
 (assert_return (invoke "even" (i64.const 100)) (i32.const 44))
 (assert_return (invoke "even" (i64.const 77)) (i32.const 99))
-(assert_return (invoke "even" (i64.const 1_000_000)) (i32.const 44))
-(assert_return (invoke "even" (i64.const 1_000_001)) (i32.const 99))
+(assert_return (invoke "even" (i64.const 100_000)) (i32.const 44))
+(assert_return (invoke "even" (i64.const 100_001)) (i32.const 99))
 (assert_return (invoke "odd" (i64.const 0)) (i32.const 99))
 (assert_return (invoke "odd" (i64.const 1)) (i32.const 44))
 (assert_return (invoke "odd" (i64.const 200)) (i32.const 99))
 (assert_return (invoke "odd" (i64.const 77)) (i32.const 44))
-(assert_return (invoke "odd" (i64.const 1_000_000)) (i32.const 99))
-(assert_return (invoke "odd" (i64.const 999_999)) (i32.const 44))
+(assert_return (invoke "odd" (i64.const 100_000)) (i32.const 99))
+(assert_return (invoke "odd" (i64.const 99_999)) (i32.const 44))
 
 
 ;; Invalid typing
diff --git a/test/core/return_call_indirect.wast b/test/core/return_call_indirect.wast
index acf0a72e..6b95c24b 100644
--- a/test/core/return_call_indirect.wast
+++ b/test/core/return_call_indirect.wast
@@ -263,8 +263,8 @@
 (assert_return (invoke "odd" (i32.const 1)) (i32.const 44))
 (assert_return (invoke "odd" (i32.const 200)) (i32.const 99))
 (assert_return (invoke "odd" (i32.const 77)) (i32.const 44))
-(assert_return (invoke "odd" (i32.const 200_002)) (i32.const 99))
-(assert_return (invoke "odd" (i32.const 300_003)) (i32.const 44))
+(assert_return (invoke "odd" (i32.const 100_002)) (i32.const 99))
+(assert_return (invoke "odd" (i32.const 100_003)) (i32.const 44))
 
 
 ;; Invalid syntax
diff --git a/test/core/return_call_ref.wast b/test/core/return_call_ref.wast
index 353811f0..f79975b4 100644
--- a/test/core/return_call_ref.wast
+++ b/test/core/return_call_ref.wast
@@ -192,20 +192,20 @@
 
 (assert_return (invoke "count" (i64.const 0)) (i64.const 0))
 (assert_return (invoke "count" (i64.const 1000)) (i64.const 0))
-(assert_return (invoke "count" (i64.const 1_000_000)) (i64.const 0))
+(assert_return (invoke "count" (i64.const 1200)) (i64.const 0))
 
 (assert_return (invoke "even" (i64.const 0)) (i64.const 44))
 (assert_return (invoke "even" (i64.const 1)) (i64.const 99))
 (assert_return (invoke "even" (i64.const 100)) (i64.const 44))
 (assert_return (invoke "even" (i64.const 77)) (i64.const 99))
-(assert_return (invoke "even" (i64.const 1_000_000)) (i64.const 44))
-(assert_return (invoke "even" (i64.const 1_000_001)) (i64.const 99))
+(assert_return (invoke "even" (i64.const 1200)) (i64.const 44))
+(assert_return (invoke "even" (i64.const 1201)) (i64.const 99))
 (assert_return (invoke "odd" (i64.const 0)) (i64.const 99))
 (assert_return (invoke "odd" (i64.const 1)) (i64.const 44))
 (assert_return (invoke "odd" (i64.const 200)) (i64.const 99))
 (assert_return (invoke "odd" (i64.const 77)) (i64.const 44))
-(assert_return (invoke "odd" (i64.const 1_000_000)) (i64.const 99))
-(assert_return (invoke "odd" (i64.const 999_999)) (i64.const 44))
+(assert_return (invoke "odd" (i64.const 1200)) (i64.const 99))
+(assert_return (invoke "odd" (i64.const 1119)) (i64.const 44))
 
 
 ;; More typing
diff --git a/test/core/select.wast b/test/core/select.wast
index 61e4dc22..b0b1344c 100644
--- a/test/core/select.wast
+++ b/test/core/select.wast
@@ -277,7 +277,7 @@
 (assert_return (invoke "select-f64-t" (f64.const 2) (f64.const nan:0x20304) (i32.const 0)) (f64.const nan:0x20304))
 
 (assert_return (invoke "join-funcnull" (i32.const 1)) (ref.func))
-(assert_return (invoke "join-funcnull" (i32.const 0)) (ref.null))
+(assert_return (invoke "join-funcnull" (i32.const 0)) (ref.null func)) ;; we require type in expected results
 
 (assert_trap (invoke "select-trap-left" (i32.const 1)) "unreachable")
 (assert_trap (invoke "select-trap-left" (i32.const 0)) "unreachable")
diff --git a/test/core/table.wast b/test/core/table.wast
index a11dce56..ace19ac8 100644
--- a/test/core/table.wast
+++ b/test/core/table.wast
@@ -103,11 +103,11 @@
   (func (export "get5") (result funcref) (table.get $t5 (i32.const 9)))
 )
 
-(assert_return (invoke "get1") (ref.null))
+(assert_return (invoke "get1") (ref.null func))
 (assert_return (invoke "get2") (ref.func))
 (assert_return (invoke "get3") (ref.func))
-(assert_return (invoke "get4") (ref.func))
-(assert_return (invoke "get5") (ref.func))
+(assert_return (invoke "get4") (ref.null func)) ;; We don't give a value to the imported global
+(assert_return (invoke "get5") (ref.null func)) ;; So these two tables are initialized as ref.null
 
 
 (assert_invalid
diff --git a/test/core/table_copy.wast b/test/core/table_copy.wast
index 380e84ee..f37e745c 100644
--- a/test/core/table_copy.wast
+++ b/test/core/table_copy.wast
@@ -14,11 +14,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -106,11 +107,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (export "ef0") (result i32) (i32.const 0))    ;; index 0
+  (func (export "ef1") (result i32) (i32.const 1))
+  (func (export "ef2") (result i32) (i32.const 2))
+  (func (export "ef3") (result i32) (i32.const 3))
+  (func (export "ef4") (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -198,11 +199,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -290,11 +291,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -382,11 +383,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -474,11 +475,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -566,11 +567,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -658,11 +659,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -750,11 +751,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -842,11 +843,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -934,11 +935,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1026,11 +1027,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1118,11 +1119,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1210,11 +1211,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1302,11 +1303,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1394,11 +1395,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1486,11 +1487,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -1578,11 +1579,11 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))     ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
diff --git a/test/core/table_init.wast b/test/core/table_init.wast
index 0b2d26f7..bdab6a01 100644
--- a/test/core/table_init.wast
+++ b/test/core/table_init.wast
@@ -14,11 +14,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -72,11 +73,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -130,11 +132,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
@@ -196,11 +199,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -254,11 +258,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
@@ -312,11 +317,12 @@
 
 (module
   (type (func (result i32)))  ;; type #0
-  (import "a" "ef0" (func (result i32)))    ;; index 0
-  (import "a" "ef1" (func (result i32)))
-  (import "a" "ef2" (func (result i32)))
-  (import "a" "ef3" (func (result i32)))
-  (import "a" "ef4" (func (result i32)))    ;; index 4
+  ;; aot mode does not support module linking
+  (func (result i32) (i32.const 0))    ;; index 0
+  (func (result i32) (i32.const 1))
+  (func (result i32) (i32.const 2))
+  (func (result i32) (i32.const 3))
+  (func (result i32) (i32.const 4))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
   (elem (table $t1) (i32.const 2) func 3 1 4 1)