diff options
| author | Max Graey <maxgraey@gmail.com> | 2020-11-12 20:18:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-12 10:18:44 -0800 |
| commit | db64c53579dd925fc48260d4979d1bb9c1dfed9f (patch) | |
| tree | dc7376c34f2eb5fcd1b8a75d8bf349601aef7ce8 /test/passes/optimize-instructions_all-features.wast | |
| parent | 1eb48a4f506a31e79be41f3bec091f799c6f5201 (diff) | |
| download | binaryen-db64c53579dd925fc48260d4979d1bb9c1dfed9f.tar.gz binaryen-db64c53579dd925fc48260d4979d1bb9c1dfed9f.tar.bz2 binaryen-db64c53579dd925fc48260d4979d1bb9c1dfed9f.zip | |
Some refactorings in addition to #3338 (#3336)
See discussion in #3303
Diffstat (limited to 'test/passes/optimize-instructions_all-features.wast')
| -rw-r--r-- | test/passes/optimize-instructions_all-features.wast | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions_all-features.wast b/test/passes/optimize-instructions_all-features.wast index 5804c1b2a..24e8a9d61 100644 --- a/test/passes/optimize-instructions_all-features.wast +++ b/test/passes/optimize-instructions_all-features.wast @@ -5360,6 +5360,58 @@ ) (i32.const 0) )) + ;; i32(x - 0x80000000) == 0 -> x == 0x80000000 + (drop (i32.eq + (i32.sub + (local.get $x) + (i32.const 0x80000000) + ) + (i32.const 0) + )) + ;; i32(x - 0x80000000) != 0 -> x == 0x80000000 + (drop (i32.ne + (i32.sub + (local.get $x) + (i32.const 0x80000000) + ) + (i32.const 0) + )) + ;; i32(x - { 0x80000000 }) < 0 -> skip + (drop (i32.lt_s + (i32.sub + (local.get $x) + (i32.const 0x80000000) + ) + (i32.const 0) + )) + ;; i32(x - { 0x80000000 }) >= 0 -> skip + (drop (i32.ge_s + (i32.sub + (local.get $x) + (i32.const 0x80000000) + ) + (i32.const 0) + )) + ;; i32(x - { 0x80000000 }) > 0 -> skip + (drop (i32.gt_s + (i32.sub + (local.get $x) + (block (result i32) + (i32.const 0x80000000) + ) + ) + (i32.const 0) + )) + ;; i32(x - { 0x80000000 }) <= 0 -> skip + (drop (i32.gt_s + (i32.sub + (local.get $x) + (block (result i32) + (i32.const 0x80000000) + ) + ) + (i32.const 0) + )) ) (func $unsigned-context (param $x i32) (param $y i64) (drop (i32.div_s |