diff options
| author | Alon Zakai <azakai@google.com> | 2022-11-21 15:54:21 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-21 15:54:21 -0800 |
| commit | c449f41678d5e1699d634855743f5874ae6ec6e4 (patch) | |
| tree | 029016b74efbf0608efc9c18c6fcaf94212f590c /test | |
| parent | ea0c800b90713edef9566feb30ccb6d276beb857 (diff) | |
| download | binaryen-c449f41678d5e1699d634855743f5874ae6ec6e4.tar.gz binaryen-c449f41678d5e1699d634855743f5874ae6ec6e4.tar.bz2 binaryen-c449f41678d5e1699d634855743f5874ae6ec6e4.zip | |
Code Pushing: Ignore unreachable sets (#5284)
Normally we ignore them anyhow (unreachability is an effect, either a trap or
a control flow switch), but in traps-never-happen mode we can ignore a trap, so
we need to check this manually.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/code-pushing_tnh.wast | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/test/lit/passes/code-pushing_tnh.wast b/test/lit/passes/code-pushing_tnh.wast index 9993c686b..17f69a466 100644 --- a/test/lit/passes/code-pushing_tnh.wast +++ b/test/lit/passes/code-pushing_tnh.wast @@ -6,6 +6,8 @@ (module ;; CHECK: (type $i32_i32_=>_none (func (param i32 i32))) + ;; CHECK: (type $none_=>_none (func)) + ;; CHECK: (func $div (param $x i32) (param $y i32) ;; CHECK-NEXT: (local $temp i32) ;; CHECK-NEXT: (block $block @@ -44,5 +46,31 @@ ) ) ) -) + ;; CHECK: (func $unreachable-value + ;; CHECK-NEXT: (local $x i32) + ;; CHECK-NEXT: (local.tee $x + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (if + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $unreachable-value + (local $x i32) + ;; We should not push this into the if. (If we did, we'd need to refinalize + ;; the block, or we'd error; instead, leave this to DCE.) + (local.set $x + (unreachable) + ) + (if + (i32.const 0) + (drop + (local.get $x) + ) + ) + ) +) |