diff options
| author | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-07-31 08:05:26 -0700 |
|---|---|---|
| committer | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-07-31 08:05:26 -0700 |
| commit | 4aa3463a6b98e41070d03ddbe60e689537b02b59 (patch) | |
| tree | bb102c8a09e0e5a9bd4d1076dde25c4250598365 /test | |
| parent | b69f8a6bfc7963e0c56b10a69603e5dd36de58c3 (diff) | |
| download | binaryen-4aa3463a6b98e41070d03ddbe60e689537b02b59.tar.gz binaryen-4aa3463a6b98e41070d03ddbe60e689537b02b59.tar.bz2 binaryen-4aa3463a6b98e41070d03ddbe60e689537b02b59.zip | |
handle squared shifts of an unreachable
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/optimize-instructions.txt | 6 | ||||
| -rw-r--r-- | test/passes/optimize-instructions.wast | 9 |
2 files changed, 15 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt index e376d97d9..a399a9096 100644 --- a/test/passes/optimize-instructions.txt +++ b/test/passes/optimize-instructions.txt @@ -2055,4 +2055,10 @@ (i64.const 9) ) ) + (func $shifts-square-unreachable (type $3) (param $x i32) (result i32) + (i32.shr_u + (unreachable) + (i32.const 9) + ) + ) ) diff --git a/test/passes/optimize-instructions.wast b/test/passes/optimize-instructions.wast index 7e07e8aee..8362453e9 100644 --- a/test/passes/optimize-instructions.wast +++ b/test/passes/optimize-instructions.wast @@ -2487,4 +2487,13 @@ (i64.const 4098) ;; 2 bits effectively ) ) + (func $shifts-square-unreachable (param $x i32) (result i32) + (i32.shr_u + (i32.shr_u + (unreachable) + (i32.const 1031) ;; 7 bits effectively + ) + (i32.const 4098) ;; 2 bits effectively + ) + ) ) |