Parse milestone 4 nominal types (#4222)

Implement parsing the new {func,struct,array}_subtype format for nominal types.
For now, the new format is parsed the same way the old-style (extends X) format
is parsed, i.e. in --nominal mode types are parsed as nominal but otherwise they
are parsed as equirecursive. Intentionally do not parse the new types
unconditionally as nominal for now to allow frontends to update their nominal
text format while continuing to use the workflow of running wasm-opt without
--nominal to lower nominal types to structural types.

2 files changed, 130 insertions, 0 deletions

diff --git a/test/lit/parse-bad-nominal-types.wast b/test/lit/parse-bad-nominal-types.wast
new file mode 100644
index 000000000..e73e4e51b
--- /dev/null
+++ b/test/lit/parse-bad-nominal-types.wast
@@ -0,0 +1,63 @@
+;; Test that incorrect nominal types result in the expected parse errors
+
+;; RUN: foreach %s %t not wasm-opt -all 2>&1 | filecheck %s
+
+;; CHECK: [parse exception: unknown supertype (at 2:35)]
+(module
+  (type $bad-func (func) (extends $bad))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:39)]
+(module
+  (type $bad-struct (struct) (extends $bad))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:41)]
+(module
+  (type $bad-array (array i32) (extends $bad))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:33)]
+(module
+  (type $bad-func (func_subtype $bad))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:37)]
+(module
+  (type $bad-struct (struct_subtype $bad))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:39)]
+(module
+  (type $bad-array (array_subtype i32 $bad))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:32)]
+(module
+  (type $bad-func (func_subtype any))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:36)]
+(module
+  (type $bad-struct (struct_subtype any))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:38)]
+(module
+  (type $bad-array (array_subtype i32 any))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:32)]
+(module
+  (type $bad-func (func_subtype data))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:36)]
+(module
+  (type $bad-struct (struct_subtype func))
+)
+
+;; CHECK: [parse exception: unknown supertype (at 2:38)]
+(module
+  (type $bad-array (array_subtype i32 func))
+)
diff --git a/test/lit/parse-nominal-types.wast b/test/lit/parse-nominal-types.wast
new file mode 100644
index 000000000..c3981478d
--- /dev/null
+++ b/test/lit/parse-nominal-types.wast
@@ -0,0 +1,67 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; Test that new-style nominal types are parsed correctly.
+;; TODO: Remove --nominal below once nominal types are parsed as nominal by default.
+
+;; RUN: foreach %s %t wasm-opt --nominal -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --nominal -all --roundtrip -S -o - | filecheck %s
+
+;; void function type
+(module
+  ;; CHECK:      (type $sub (func) (extends $super))
+  (type $sub (func_subtype $super))
+
+  ;; CHECK:      (type $super (func))
+  (type $super (func_subtype func))
+
+  ;; CHECK:      (global $g (ref null $super) (ref.null $sub))
+  (global $g (ref null $super) (ref.null $sub))
+)
+
+;; function type with params and results
+(module
+  ;; CHECK:      (type $sub (func (param i32) (result i32)) (extends $super))
+  (type $sub (func_subtype (param i32) (result i32) $super))
+
+  ;; CHECK:      (type $super (func (param i32) (result i32)))
+  (type $super (func_subtype (param i32) (result i32) func))
+
+  ;; CHECK:      (global $g (ref null $super) (ref.null $sub))
+  (global $g (ref null $super) (ref.null $sub))
+)
+
+;; empty struct type
+(module
+  ;; CHECK:      (type $sub (struct ) (extends $super))
+  (type $sub (struct_subtype $super))
+
+  ;; CHECK:      (type $super (struct ))
+  (type $super (struct_subtype data))
+
+  ;; CHECK:      (global $g (ref null $super) (ref.null $sub))
+  (global $g (ref null $super) (ref.null $sub))
+)
+
+;; struct type with fields
+(module
+  ;; CHECK:      (type $sub (struct (field i32) (field i64)) (extends $super))
+  (type $sub (struct_subtype i32 (field i64) $super))
+
+  ;; CHECK:      (type $super (struct (field i32) (field i64)))
+  (type $super (struct_subtype (field i32) i64 data))
+
+  ;; CHECK:      (global $g (ref null $super) (ref.null $sub))
+  (global $g (ref null $super) (ref.null $sub))
+)
+
+;; array type
+(module
+  ;; CHECK:      (type $sub (array i8) (extends $super))
+  (type $sub (array_subtype i8 $super))
+
+  ;; CHECK:      (type $super (array i8))
+  (type $super (array_subtype i8 data))
+
+  ;; CHECK:      (global $g (ref null $super) (ref.null $sub))
+  (global $g (ref null $super) (ref.null $sub))
+)