diff options
| author | Alon Zakai <azakai@google.com> | 2023-01-24 14:23:34 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-24 14:23:34 -0800 |
| commit | 5aa94e0d2fa397c178fe307537d36846683c22b7 (patch) | |
| tree | c176508bfa3318b5e3561bc8258b28ee729b6a1c /test/lit/passes/skip-missing.wast | |
| parent | dd3091c87cc11ffe297632259cad18a64162e68b (diff) | |
| download | binaryen-5aa94e0d2fa397c178fe307537d36846683c22b7.tar.gz binaryen-5aa94e0d2fa397c178fe307537d36846683c22b7.tar.bz2 binaryen-5aa94e0d2fa397c178fe307537d36846683c22b7.zip | |
Add a mechanism to skip a pass by name (#5448)
For example,
-O3 --skip-pass=vacuum
will run -O3 normally but it will not run the vacuum pass at all
(which normally runs more than once in -O3).
Diffstat (limited to 'test/lit/passes/skip-missing.wast')
| -rw-r--r-- | test/lit/passes/skip-missing.wast | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/lit/passes/skip-missing.wast b/test/lit/passes/skip-missing.wast new file mode 100644 index 000000000..02778dab0 --- /dev/null +++ b/test/lit/passes/skip-missing.wast @@ -0,0 +1,8 @@ +;; We should warn on a pass called "waka" not having been run and skipped. + +;; RUN: wasm-opt %s -O1 --skip-pass=waka 2>&1 | filecheck %s + +;; CHECK: warning: --waka was requested to be skipped, but it was not found in the passes that were run. + +(module +) |