summaryrefslogtreecommitdiff
path: root/test/lit/help/wasm-dis.test
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/help/wasm-dis.test')
-rw-r--r--test/lit/help/wasm-dis.test25
1 files changed, 25 insertions, 0 deletions
diff --git a/test/lit/help/wasm-dis.test b/test/lit/help/wasm-dis.test
new file mode 100644
index 000000000..47fcc4e2f
--- /dev/null
+++ b/test/lit/help/wasm-dis.test
@@ -0,0 +1,25 @@
+;; RUN: wasm-dis --help | filecheck %s
+
+;; CHECK: wasm-dis INFILE
+;; CHECK-NEXT:
+;; CHECK-NEXT: Un-assemble a .wasm (WebAssembly binary format) into a .wat (WebAssembly text
+;; CHECK-NEXT: format)
+;; CHECK-NEXT:
+
+;; Skip standard tool options
+
+;; CHECK: --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 Use the prototype nominal type system
+;; CHECK-NEXT: instead of the normal equirecursive type
+;; CHECK-NEXT: system.
+;; CHECK-NEXT:
+;; CHECK-NEXT: --output,-o Output file (stdout if not specified)
+;; CHECK-NEXT:
+;; CHECK-NEXT: --source-map,-sm Consume source map from the specified
+;; CHECK-NEXT: file to add location information