Update spec test suite (#2484)

This updates spec test suite to that of the current up-to-date version
of https://github.com/WebAssembly/spec repo.

- All failing tests are added in `BLACKLIST` in shared.py with reasons.
 - For tests that already existed and was passing and started failing
   after the update, we add the new test to the blacklist and preserve
   the old file by renaming it to 'old_[FILENAME].wast' not to lose test
   coverage. When the cause of the error is fixed or the unsupported
   construct gets support so the new test passes, we can delete the
   corresponding 'old_[FILENAME].wast' file.
- Adds support for `spectest.print_[type] style imports.

1 files changed, 61 insertions, 19 deletions

diff --git a/test/spec/unreachable.wast b/test/spec/unreachable.wast
index ee61f794f..3074847a3 100644
--- a/test/spec/unreachable.wast
+++ b/test/spec/unreachable.wast
@@ -24,56 +24,74 @@
   )
 
   (func (export "as-block-first") (result i32)
-    (block i32 (unreachable) (i32.const 2))
+    (block (result i32) (unreachable) (i32.const 2))
   )
   (func (export "as-block-mid") (result i32)
-    (block i32 (call $dummy) (unreachable) (i32.const 2))
+    (block (result i32) (call $dummy) (unreachable) (i32.const 2))
   )
   (func (export "as-block-last")
     (block (nop) (call $dummy) (unreachable))
   )
   (func (export "as-block-value") (result i32)
-    (block i32 (nop) (call $dummy) (unreachable))
+    (block (result i32) (nop) (call $dummy) (unreachable))
   )
   (func (export "as-block-broke") (result i32)
-    (block i32 (call $dummy) (br 0 (i32.const 1)) (unreachable))
+    (block (result i32) (call $dummy) (br 0 (i32.const 1)) (unreachable))
   )
 
   (func (export "as-loop-first") (result i32)
-    (loop i32 (unreachable) (i32.const 2))
+    (loop (result i32) (unreachable) (i32.const 2))
   )
   (func (export "as-loop-mid") (result i32)
-    (loop i32 (call $dummy) (unreachable) (i32.const 2))
+    (loop (result i32) (call $dummy) (unreachable) (i32.const 2))
   )
   (func (export "as-loop-last")
     (loop (nop) (call $dummy) (unreachable))
   )
   (func (export "as-loop-broke") (result i32)
-    (block i32 (loop i32 (call $dummy) (br 1 (i32.const 1)) (unreachable)))
+    (block (result i32)
+      (loop (result i32) (call $dummy) (br 1 (i32.const 1)) (unreachable))
+    )
   )
 
   (func (export "as-br-value") (result i32)
-    (block i32 (br 0 (unreachable)))
+    (block (result i32) (br 0 (unreachable)))
   )
 
   (func (export "as-br_if-cond")
     (block (br_if 0 (unreachable)))
   )
   (func (export "as-br_if-value") (result i32)
-    (block i32 (br_if 0 (unreachable) (i32.const 1)) (i32.const 7))
+    (block (result i32)
+      (drop (br_if 0 (unreachable) (i32.const 1))) (i32.const 7)
+    )
   )
   (func (export "as-br_if-value-cond") (result i32)
-    (block i32 (drop (br_if 0 (i32.const 6) (unreachable))) (i32.const 7))
+    (block (result i32)
+      (drop (br_if 0 (i32.const 6) (unreachable))) (i32.const 7)
+    )
   )
 
   (func (export "as-br_table-index")
     (block (br_table 0 0 0 (unreachable)))
   )
   (func (export "as-br_table-value") (result i32)
-    (block i32 (br_table 0 0 0 (unreachable) (i32.const 1)) (i32.const 7))
+    (block (result i32)
+      (br_table 0 0 0 (unreachable) (i32.const 1)) (i32.const 7)
+    )
+  )
+  (func (export "as-br_table-value-2") (result i32)
+    (block (result i32)
+      (block (result i32) (br_table 0 1 (unreachable) (i32.const 1)))
+    )
   )
   (func (export "as-br_table-value-index") (result i32)
-    (block i32 (br_table 0 0 (i32.const 6) (unreachable)) (i32.const 7))
+    (block (result i32)
+      (br_table 0 0 (i32.const 6) (unreachable)) (i32.const 7)
+    )
+  )
+  (func (export "as-br_table-value-and-index") (result i32)
+    (block (result i32) (br_table 0 0 (unreachable)) (i32.const 8))
   )
 
   (func (export "as-return-value") (result i64)
@@ -81,13 +99,16 @@
   )
 
   (func (export "as-if-cond") (result i32)
-    (if i32 (unreachable) (i32.const 0) (i32.const 1))
+    (if (result i32) (unreachable) (then (i32.const 0)) (else (i32.const 1)))
   )
   (func (export "as-if-then") (param i32 i32) (result i32)
-    (if i32 (local.get 0) (unreachable) (local.get 1))
+    (if (result i32) (local.get 0) (then (unreachable)) (else (local.get 1)))
   )
   (func (export "as-if-else") (param i32 i32) (result i32)
-    (if i32 (local.get 0) (local.get 1) (unreachable))
+    (if (result i32) (local.get 0) (then (local.get 1)) (else (unreachable)))
+  )
+  (func (export "as-if-then-no-else") (param i32 i32) (result i32)
+    (if (local.get 0) (then (unreachable))) (local.get 1)
   )
 
   (func (export "as-select-first") (param i32 i32) (result i32)
@@ -113,21 +134,36 @@
   (type $sig (func (param i32 i32 i32)))
   (table funcref (elem $dummy3))
   (func (export "as-call_indirect-func")
-    (call_indirect (type $sig) (unreachable) (i32.const 1) (i32.const 2) (i32.const 3))
+    (call_indirect (type $sig)
+      (unreachable) (i32.const 1) (i32.const 2) (i32.const 3)
+    )
   )
   (func (export "as-call_indirect-first")
-    (call_indirect (type $sig) (i32.const 0) (unreachable) (i32.const 2) (i32.const 3))
+    (call_indirect (type $sig)
+      (i32.const 0) (unreachable) (i32.const 2) (i32.const 3)
+    )
   )
   (func (export "as-call_indirect-mid")
-    (call_indirect (type $sig) (i32.const 0) (i32.const 1) (unreachable) (i32.const 3))
+    (call_indirect (type $sig)
+      (i32.const 0) (i32.const 1) (unreachable) (i32.const 3)
+    )
   )
   (func (export "as-call_indirect-last")
-    (call_indirect (type $sig) (i32.const 0) (i32.const 1) (i32.const 2) (unreachable))
+    (call_indirect (type $sig)
+      (i32.const 0) (i32.const 1) (i32.const 2) (unreachable)
+    )
   )
 
   (func (export "as-local.set-value") (local f32)
     (local.set 0 (unreachable))
   )
+  (func (export "as-local.tee-value") (result f32) (local f32)
+    (local.tee 0 (unreachable))
+  )
+  (global $a (mut f32) (f32.const 0))
+  (func (export "as-global.set-value") (result f32)
+    (global.set $a (unreachable))
+  )
 
   (memory 1)
   (func (export "as-load-address") (result f32)
@@ -211,7 +247,9 @@
 
 (assert_trap (invoke "as-br_table-index") "unreachable")
 (assert_trap (invoke "as-br_table-value") "unreachable")
+(assert_trap (invoke "as-br_table-value-2") "unreachable")
 (assert_trap (invoke "as-br_table-value-index") "unreachable")
+(assert_trap (invoke "as-br_table-value-and-index") "unreachable")
 
 (assert_trap (invoke "as-return-value") "unreachable")
 
@@ -220,6 +258,8 @@
 (assert_return (invoke "as-if-then" (i32.const 0) (i32.const 6)) (i32.const 6))
 (assert_trap (invoke "as-if-else" (i32.const 0) (i32.const 6)) "unreachable")
 (assert_return (invoke "as-if-else" (i32.const 1) (i32.const 6)) (i32.const 6))
+(assert_trap (invoke "as-if-then-no-else" (i32.const 1) (i32.const 6)) "unreachable")
+(assert_return (invoke "as-if-then-no-else" (i32.const 0) (i32.const 6)) (i32.const 6))
 
 (assert_trap (invoke "as-select-first" (i32.const 0) (i32.const 6)) "unreachable")
 (assert_trap (invoke "as-select-first" (i32.const 1) (i32.const 6)) "unreachable")
@@ -237,6 +277,8 @@
 (assert_trap (invoke "as-call_indirect-last") "unreachable")
 
 (assert_trap (invoke "as-local.set-value") "unreachable")
+(assert_trap (invoke "as-local.tee-value") "unreachable")
+(assert_trap (invoke "as-global.set-value") "unreachable")
 
 (assert_trap (invoke "as-load-address") "unreachable")
 (assert_trap (invoke "as-loadN-address") "unreachable")