Add bulk-array.wast spec test outline (#5568)

Add spec/bulk-array.wast, which contains an outline of the tests that will be
necessary for the upcoming bulk array instructions: array.copy (already
implemented), array.fill, array.init_data, and array.init_elem. Although the
test file does not actually contain any tests yet, it contains some setup code
defining types, globals, and element segments that the tests will use. Fix
miscellaneous bugs in parsing, validation, and printing to allow this setup code
to run without issues.

1 files changed, 225 insertions, 0 deletions

diff --git a/test/spec/bulk-array.wast b/test/spec/bulk-array.wast
new file mode 100644
index 000000000..06c341000
--- /dev/null
+++ b/test/spec/bulk-array.wast
@@ -0,0 +1,225 @@
+(module
+  ;; Array types used in tests.
+  (type $i8 (array (mut i8)))
+  (type $i16 (array (mut i16)))
+  (type $i32 (array (mut i32)))
+  (type $anyref (array (mut anyref)))
+  (type $funcref (array (mut funcref)))
+  (type $externref (array (mut externref)))
+
+  ;; Array values used in tests. Reset in between tests with the "reset"
+  ;; function.
+  (global $i8 (mut (ref null $i8)) (ref.null none))
+  (global $i16 (mut (ref null $i16)) (ref.null none))
+  (global $i32 (mut (ref null $i32)) (ref.null none))
+  (global $anyref (mut (ref null $anyref)) (ref.null none))
+  (global $funcref (mut (ref null $funcref)) (ref.null none))
+  (global $externref (mut (ref null $externref)) (ref.null none))
+
+  ;; GC objects with distinct identities used in anyref tests.
+  (global $g1 (export "g1") (mut anyref) (array.new_fixed $i8))
+  (global $g2 (export "g2") (mut anyref) (array.new_fixed $i8))
+  (global $g3 (export "g3") (mut anyref) (array.new_fixed $i8))
+  (global $g4 (export "g4") (mut anyref) (array.new_fixed $i8))
+  (global $g5 (export "g5") (mut anyref) (array.new_fixed $i8))
+
+  ;; Functions with distinct return values used in funcref tests.
+  (func $f1 (result i32) (i32.const 0))
+  (func $f2 (result i32) (i32.const 1))
+  (func $f3 (result i32) (i32.const 2))
+  (func $f4 (result i32) (i32.const 3))
+  (func $f5 (result i32) (i32.const 4))
+
+  ;; Passive element segment used in array.init_elem tests.
+  (elem $elem anyref
+    (array.new_fixed $i8)
+    (array.new_fixed $i8)
+    (array.new_fixed $i8)
+    (array.new_fixed $i8)
+    (array.new_fixed $i8))
+
+  (table $tab anyref 5 5)
+
+  ;; Resets the array globals to known states.
+  (func (export "reset")
+    (global.set $i8
+      (array.new_fixed $i8
+        (i32.const 0)
+        (i32.const 1)
+        (i32.const 2)
+        (i32.const 3)
+        (i32.const 4)))
+    (global.set $i16
+      (array.new_fixed $i16
+        (i32.const 0)
+        (i32.const 1)
+        (i32.const 2)
+        (i32.const 3)
+        (i32.const 4)))
+    (global.set $i32
+      (array.new_fixed $i32
+        (i32.const 0)
+        (i32.const 1)
+        (i32.const 2)
+        (i32.const 3)
+        (i32.const 4)))
+    (global.set $anyref
+      (array.new_fixed $anyref
+        (global.get $g1)
+        (global.get $g2)
+        (global.get $g3)
+        (global.get $g4)
+        (global.get $g5)))
+    (global.set $funcref
+      (array.new_fixed $funcref
+        (ref.func $f1)
+        (ref.func $f2)
+        (ref.func $f3)
+        (ref.func $f4)
+        (ref.func $f5)))
+    (global.set $externref
+      (array.new_fixed $externref
+        (extern.externalize (global.get $g1))
+        (extern.externalize (global.get $g2))
+        (extern.externalize (global.get $g3))
+        (extern.externalize (global.get $g4))
+        (extern.externalize (global.get $g5)))))
+)
+
+;; array.fill
+
+;; basic i8
+;; basic i16
+;; basic i32
+;; basic anyref
+;; basic funcref
+;; basic externref
+;; basic ref subtype
+;; basic ref nullability subtype
+
+;; zero size in bounds
+;; zero size at bounds
+;; zero size out of bounds traps
+
+;; out of bounds index traps
+;; out of bounds size traps
+;; out of bounds index + size traps
+
+;; null destination traps
+
+;; immutable field invalid
+
+;; ref supertype invalid
+;; ref nullability supertype invalid
+
+;; array.copy
+
+;; basic i8
+;; basic i16
+;; basic i32
+;; basic anyref
+;; basic funcref
+;; basic externref
+;; basic ref subtype
+;; basic ref nullability subtype
+
+;; same i8 no overlap
+;; same i8 overlap src first
+;; same i8 overlap dest first
+;; same i8 overlap complete
+
+;; same i32 no overlap
+;; same i32 overlap src first
+;; same i32 overlap dest first
+;; same i32 overlap complete
+
+;; same anyref no overlap
+;; same anyref overloap
+;; same anyref src first
+;; same anyref dest first
+;; same anyref overlap complete
+
+;; zero size in bounds
+;; zero size at dest bounds
+;; zero size at src bounds
+;; zero size out of dest bounds traps
+;; zero size out of src bounds traps
+
+;; out of bounds dest index traps
+;; out of bounds src index traps
+;; out of bounds dest size traps
+;; out of bounds src index traps
+;; out of bounds dest index + size traps
+;; out of bounds src index + size traps
+
+;; null dest traps
+;; null src traps
+
+;; immutable dest field invalid
+;; immutable src field ok
+
+;; ref supertype invalid
+;; ref nullability supertype invalid
+
+;; array.init_data
+
+;; basic i8
+;; basic i16
+;; basic i32
+;; basic f32
+
+;; zero size in bounds
+;; zero size at dest bounds
+;; zero size at src bounds
+;; zero size out of dest bounds traps
+;; zero size out of src bounds traps
+
+;; out of bounds dest index traps
+;; out of bounds src index traps
+;; out of bounds dest size traps
+;; out of bounds src size traps
+;; out of bounds src multiplied size traps
+;; out of bounds dest index + size traps
+;; out of bounds src index + size traps
+;; out of bounds src index + multiplied size traps
+
+;; null dest traps
+;; segment dropped traps
+
+;; immutable dest field invalid
+
+;; ref supertype invalid
+;; ref nullability supertype invalid
+
+;; out of bounds segment index invalid
+
+;; array.init_elem
+
+;; basic anyref
+;; basic funcref
+;; basic externref
+;; basic ref subtype
+;; basic ref nullability subtype
+
+;; zero size in bounds
+;; zero size at dest bounds
+;; zero size at src bounds
+;; zero size out of dest bounds traps
+;; zero size out of src bounds traps
+
+;; out of bounds dest index traps
+;; out of bounds src index traps
+;; out of bounds dest size traps
+;; out of bounds src size traps
+;; out of bounds dest index + size traps
+;; out of bounds src index + size traps
+
+;; null dest traps
+;; segment dropped traps
+
+;; immutable dest field invalid
+
+;; ref supertype invalid
+;; ref nullability supertype invalid
+
+;; out of bounds segment index invalid