Update spec testsuite (#1237)

The only major change to the interpreter is to move segment
initialization out `ReadBinaryInterp` (in the binary reader) and into
interp.cc.  This is because the test suite now expects out of bound
semgments to be reported during initialization rather than reported
as validation errors.

4 files changed, 10 insertions, 52 deletions

diff --git a/test/typecheck/bad-bulk-memory-invalid-segment.txt b/test/typecheck/bad-bulk-memory-invalid-segment.txt
index 6abe3478..a02a499d 100644
--- a/test/typecheck/bad-bulk-memory-invalid-segment.txt
+++ b/test/typecheck/bad-bulk-memory-invalid-segment.txt
@@ -16,16 +16,16 @@
   )
 )
 (;; STDERR ;;;
-out/test/typecheck/bad-bulk-memory-invalid-segment.txt:8:53: error: data_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-invalid-segment.txt:8:53: error: data_segment variable out of range: 0 (max 4294967295)
     i32.const 0 i32.const 0 i32.const 0 memory.init 0
                                                     ^
-out/test/typecheck/bad-bulk-memory-invalid-segment.txt:9:15: error: data_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-invalid-segment.txt:9:15: error: data_segment variable out of range: 0 (max 4294967295)
     data.drop 0
               ^
-out/test/typecheck/bad-bulk-memory-invalid-segment.txt:14:52: error: elem_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-invalid-segment.txt:14:52: error: elem_segment variable out of range: 0 (max 4294967295)
     i32.const 0 i32.const 0 i32.const 0 table.init 0
                                                    ^
-out/test/typecheck/bad-bulk-memory-invalid-segment.txt:15:15: error: elem_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-invalid-segment.txt:15:15: error: elem_segment variable out of range: 0 (max 4294967295)
     elem.drop 0
               ^
 ;;; STDERR ;;)
diff --git a/test/typecheck/bad-bulk-memory-no-memory.txt b/test/typecheck/bad-bulk-memory-no-memory.txt
index 73abbc12..d0922b93 100644
--- a/test/typecheck/bad-bulk-memory-no-memory.txt
+++ b/test/typecheck/bad-bulk-memory-no-memory.txt
@@ -14,13 +14,13 @@
 out/test/typecheck/bad-bulk-memory-no-memory.txt:7:41: error: memory.init requires an imported or defined memory.
     i32.const 0 i32.const 0 i32.const 0 memory.init 0
                                         ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-no-memory.txt:7:53: error: data_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-no-memory.txt:7:53: error: data_segment variable out of range: 0 (max 4294967295)
     i32.const 0 i32.const 0 i32.const 0 memory.init 0
                                                     ^
 out/test/typecheck/bad-bulk-memory-no-memory.txt:8:5: error: data.drop requires an imported or defined memory.
     data.drop 0
     ^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-no-memory.txt:8:15: error: data_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-no-memory.txt:8:15: error: data_segment variable out of range: 0 (max 4294967295)
     data.drop 0
               ^
 out/test/typecheck/bad-bulk-memory-no-memory.txt:9:41: error: memory.copy requires an imported or defined memory.
diff --git a/test/typecheck/bad-bulk-memory-no-table.txt b/test/typecheck/bad-bulk-memory-no-table.txt
index 8363bd35..92735891 100644
--- a/test/typecheck/bad-bulk-memory-no-table.txt
+++ b/test/typecheck/bad-bulk-memory-no-table.txt
@@ -16,7 +16,7 @@ out/test/typecheck/bad-bulk-memory-no-table.txt:7:41: error: table.init requires
 out/test/typecheck/bad-bulk-memory-no-table.txt:8:5: error: elem.drop requires table 0 to be an imported or defined table.
     elem.drop 0
     ^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-no-table.txt:8:15: error: elem_segment variable out of range (max 0)
+out/test/typecheck/bad-bulk-memory-no-table.txt:8:15: error: elem_segment variable out of range: 0 (max 4294967295)
     elem.drop 0
               ^
 out/test/typecheck/bad-bulk-memory-no-table.txt:9:41: error: table.copy requires table 0 to be an imported or defined table.
diff --git a/test/typecheck/bad-bulk-memory-type-mismatch.txt b/test/typecheck/bad-bulk-memory-type-mismatch.txt
index 96fcf19c..5597970e 100644
--- a/test/typecheck/bad-bulk-memory-type-mismatch.txt
+++ b/test/typecheck/bad-bulk-memory-type-mismatch.txt
@@ -34,49 +34,7 @@
 
 
 (;; STDERR ;;;
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:13:41: error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, i32]
-    f32.const 0 i32.const 0 i32.const 0 memory.init 0
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:14:41: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i32]
-    f32.const 0 i32.const 0 i32.const 0 memory.copy
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:15:41: error: type mismatch in memory.fill, expected [i32, i32, i32] but got [f32, i32, i32]
-    f32.const 0 i32.const 0 i32.const 0 memory.fill
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:16:41: error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i32, i32]
-    f32.const 0 i32.const 0 i32.const 0 table.init 0
-                                        ^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:17:41: error: type mismatch in table.copy, expected [i32, i32, i32] but got [f32, i32, i32]
-    f32.const 0 i32.const 0 i32.const 0 table.copy
-                                        ^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:20:41: error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, i32]
-    i32.const 0 f32.const 0 i32.const 0 memory.init 0
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:21:41: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i32]
-    i32.const 0 f32.const 0 i32.const 0 memory.copy
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:22:41: error: type mismatch in memory.fill, expected [i32, i32, i32] but got [i32, f32, i32]
-    i32.const 0 f32.const 0 i32.const 0 memory.fill
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:23:41: error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f32, i32]
-    i32.const 0 f32.const 0 i32.const 0 table.init 0
-                                        ^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:24:41: error: type mismatch in table.copy, expected [i32, i32, i32] but got [i32, f32, i32]
-    i32.const 0 f32.const 0 i32.const 0 table.copy
-                                        ^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:27:41: error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, i64]
-    i32.const 0 i32.const 0 i64.const 0 memory.init 0
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:28:41: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, i64]
-    i32.const 0 i32.const 0 i64.const 0 memory.copy
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:29:41: error: type mismatch in memory.fill, expected [i32, i32, i32] but got [i32, i32, i64]
-    i32.const 0 i32.const 0 i64.const 0 memory.fill
-                                        ^^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:30:41: error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i32, i64]
-    i32.const 0 i32.const 0 i64.const 0 table.init 0
-                                        ^^^^^^^^^^
-out/test/typecheck/bad-bulk-memory-type-mismatch.txt:31:41: error: type mismatch in table.copy, expected [i32, i32, i32] but got [i32, i32, i64]
-    i32.const 0 i32.const 0 i64.const 0 table.copy
-                                        ^^^^^^^^^^
+out/test/typecheck/bad-bulk-memory-type-mismatch.txt:9:17: error: unexpected token 0, expected ).
+  (elem funcref 0)
+                ^
 ;;; STDERR ;;)