diff options
| author | Alon Zakai <azakai@google.com> | 2022-09-16 08:55:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-16 08:55:07 -0700 |
| commit | 3892b0bbe0aa0e57864e6785e43d33e89d39000b (patch) | |
| tree | 4f7d0b968a680d6adb6f54a3a71b7ceacb8d0575 /test/lit | |
| parent | 989489020e635d35870b22894a5d129c8c55d640 (diff) | |
| download | binaryen-3892b0bbe0aa0e57864e6785e43d33e89d39000b.tar.gz binaryen-3892b0bbe0aa0e57864e6785e43d33e89d39000b.tar.bz2 binaryen-3892b0bbe0aa0e57864e6785e43d33e89d39000b.zip | |
Vacuum trivial trys (#5046)
A try whose body throws, and does nothing else, and the try catches that
exception, can be removed.
Diffstat (limited to 'test/lit')
| -rw-r--r-- | test/lit/passes/vacuum-eh.wast | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/test/lit/passes/vacuum-eh.wast b/test/lit/passes/vacuum-eh.wast index 574a525bc..de0eb0e1a 100644 --- a/test/lit/passes/vacuum-eh.wast +++ b/test/lit/passes/vacuum-eh.wast @@ -176,4 +176,43 @@ ) ) ) + + ;; CHECK: (func $trivial-catch-all-of-throw + ;; CHECK-NEXT: (local $0 i32) + ;; CHECK-NEXT: (try $try3 + ;; CHECK-NEXT: (do + ;; CHECK-NEXT: (if + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: (throw $e + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (catch_all + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $trivial-catch-all-of-throw (local $0 i32) + ;; This try-catch's body throws, but the catch-all catches it, so the entire + ;; try can be optimized out. + (try + (do + (throw $e (i32.const 0)) + ) + (catch_all) + ) + ;; Here we also have a possible trap, so we can't do it. + (try + (do + (if + (local.get $0) + (throw $e (i32.const 0)) + (unreachable) + ) + ) + (catch_all) + ) + ) ) |