1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
;; RUN: wasm-reduce --help | filecheck %s
;; CHECK: wasm-reduce INFILE
;; CHECK-NEXT:
;; CHECK-NEXT: Reduce a wasm file to a smaller one that has the same behavior on a given
;; CHECK-NEXT: command
;; CHECK-NEXT:
;; CHECK-NEXT: Options:
;; CHECK-NEXT:
;; CHECK-NEXT: --version Output version information and exit
;; CHECK-NEXT:
;; CHECK-NEXT: --help,-h Show this help message and exit
;; CHECK-NEXT:
;; CHECK-NEXT: --debug,-d Print debug information to stderr
;; CHECK-NEXT:
;; CHECK-NEXT: --command,-cmd The command to run on the test, that we want to reduce while
;; CHECK-NEXT: keeping the command's output identical. We look at the
;; CHECK-NEXT: command's return code and stdout here (TODO: stderr), and we
;; CHECK-NEXT: reduce while keeping those unchanged.
;; CHECK-NEXT:
;; CHECK-NEXT: --test,-t Test file (this will be written to to test, the given
;; CHECK-NEXT: command should read it when we call it)
;; CHECK-NEXT:
;; CHECK-NEXT: --working,-w Working file (this will contain the current good state while
;; CHECK-NEXT: doing temporary computations, and will contain the final
;; CHECK-NEXT: best result at the end)
;; CHECK-NEXT:
;; CHECK-NEXT: --binaries,-b binaryen binaries location (bin/ directory)
;; CHECK-NEXT:
;; CHECK-NEXT: --text,-S Emit intermediate files as text, instead of binary (also
;; CHECK-NEXT: make sure the test and working files have a .wat or .wast
;; CHECK-NEXT: suffix)
;; CHECK-NEXT:
;; CHECK-NEXT: --denan Avoid nans when reducing
;; CHECK-NEXT:
;; CHECK-NEXT: --verbose,-v Verbose output mode
;; CHECK-NEXT:
;; CHECK-NEXT: --debugInfo,-g Keep debug info in binaries
;; CHECK-NEXT:
;; CHECK-NEXT: --force,-f Force the reduction attempt, ignoring problems that imply it
;; CHECK-NEXT: is unlikely to succeed
;; CHECK-NEXT:
;; CHECK-NEXT: --timeout,-to A timeout to apply to each execution of the command, in
;; CHECK-NEXT: seconds (default: 2)
;; CHECK-NEXT:
;; CHECK-NEXT: --extra-flags,-ef Extra commandline flags to pass to wasm-opt while reducing.
;; CHECK-NEXT: (default: --enable-all)
|
