From 0bec0a4bbaf4859bb4c7a2f1c4ecda60ccab72f2 Mon Sep 17 00:00:00 2001
From: Thomas Lively <7121787+tlively@users.noreply.github.com>
Date: Fri, 15 Oct 2021 17:37:23 -0700
Subject: Add a --structural flag (#4252)

Just as the --nominal flag forces all types to be parsed as nominal, the
--structural flag forces all types to be parsed as equirecursive. This is the
current default behavior, but a future PR will change the default to parse types
as either structural or nominal according to their syntax or encoding. This new
flag will then be necessary to get the current behavior.

Also take this opportunity to deduplicate more flags in the help tests.
---
 test/lit/help/tool-opts.test | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'test/lit/help/tool-opts.test')

diff --git a/test/lit/help/tool-opts.test b/test/lit/help/tool-opts.test
index 2d3007779..100f5705d 100644
--- a/test/lit/help/tool-opts.test
+++ b/test/lit/help/tool-opts.test
@@ -3,6 +3,7 @@
 ;; RUN: wasm-dis --help | filecheck %s
 ;; RUN: wasm-emscripten-finalize --help | filecheck %s
 ;; RUN: wasm-metadce --help | filecheck %s
+;; RUN: wasm-reduce --help | filecheck %s
 ;; RUN: wasm-split --help | filecheck %s
 
 wasm-as INFILE
@@ -84,3 +85,21 @@ wasm-as INFILE
 ;; CHECK-NEXT:   --enable-gc-nn-locals                Enable GC non-null locals
 ;; CHECK-NEXT:
 ;; CHECK-NEXT:   --disable-gc-nn-locals               Disable GC non-null locals
+;; CHECK-NEXT:
+;; CHECK-NEXT:   --enable-relaxed-simd                Enable relaxed SIMD
+;; CHECK-NEXT:
+;; CHECK-NEXT:   --disable-relaxed-simd               Disable relaxed SIMD
+;; CHECK-NEXT:
+;; CHECK-NEXT:   --no-validation,-n                   Disables validation, assumes inputs are
+;; CHECK-NEXT:                                        correct
+;; CHECK-NEXT:
+;; CHECK-NEXT:   --pass-arg,-pa                       An argument passed along to optimization
+;; CHECK-NEXT:                                        passes being run. Must be in the form
+;; CHECK-NEXT:                                        KEY@VALUE
+;; CHECK-NEXT:
+;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
+;; CHECK-NEXT:                                        parsed as nominal.
+;; CHECK-NEXT:
+;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
+;; CHECK-NEXT:                                        parsed as structural (i.e.
+;; CHECK-NEXT:                                        equirecursive). This is the default.
-- 
cgit v1.2.3