diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-10-26 10:42:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-26 10:42:48 -0700 |
| commit | e120601c0b2cbc5722950fb1ce7d0901842f5dff (patch) | |
| tree | cffc0124e0fd4fc41ec7d8d8083722c7e66a2d67 /test/passes/optimize-instructions_optimize-level=2.wast | |
| parent | c5ab566cc3343d3b9e07eab4855b0dbfb2c81afe (diff) | |
| download | binaryen-e120601c0b2cbc5722950fb1ce7d0901842f5dff.tar.gz binaryen-e120601c0b2cbc5722950fb1ce7d0901842f5dff.tar.bz2 binaryen-e120601c0b2cbc5722950fb1ce7d0901842f5dff.zip | |
Conditionalize boolean operations based on cost (#805)
When we have expensive | expensive, and both are boolean, then we can execute one of them conditionally if it doesn't have side effects.
Diffstat (limited to 'test/passes/optimize-instructions_optimize-level=2.wast')
| -rw-r--r-- | test/passes/optimize-instructions_optimize-level=2.wast | 263 |
1 files changed, 263 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions_optimize-level=2.wast b/test/passes/optimize-instructions_optimize-level=2.wast new file mode 100644 index 000000000..7874907f3 --- /dev/null +++ b/test/passes/optimize-instructions_optimize-level=2.wast @@ -0,0 +1,263 @@ +(module + (type $0 (func (param i32 i32) (result i32))) + (memory $0 0) + (func $conditionals (type $0) (param $0 i32) (param $1 i32) (result i32) + (local $2 i32) + (local $3 i32) + (local $4 i32) + (local $5 i32) + (local $6 i32) + (local $7 i32) + (set_local $0 + (i32.const 0) + ) + (loop $while-in + (set_local $3 + (i32.const 0) + ) + (loop $while-in6 + (set_local $6 + (i32.add + (get_local $0) + (i32.const 1) + ) + ) + (set_local $0 + (if i32 + (i32.or ;; this or is very expensive. we should compute one side, then see if we even need the other + (i32.eqz + (i32.rem_s + (i32.add + (i32.mul + (tee_local $7 ;; side effect, so we can't do this one + (i32.add + (get_local $0) + (i32.const 2) + ) + ) + (get_local $0) + ) + (i32.const 17) + ) + (i32.const 5) + ) + ) + (i32.eqz + (i32.rem_u + (i32.add + (i32.mul + (get_local $0) + (get_local $0) + ) + (i32.const 11) + ) + (i32.const 3) + ) + ) + ) + (get_local $7) + (get_local $6) + ) + ) + (br_if $while-in6 + (i32.lt_s + (tee_local $3 + (i32.add + (get_local $3) + (i32.const 1) + ) + ) + (get_local $4) + ) + ) + ) + (br_if $while-in + (i32.ne + (tee_local $1 + (i32.add + (get_local $1) + (i32.const 1) + ) + ) + (i32.const 27000) + ) + ) + ) + (return + (get_local $5) + ) + ) + (func $side-effect (type $0) (param $0 i32) (param $1 i32) (result i32) + (local $2 i32) + (local $3 i32) + (local $4 i32) + (local $5 i32) + (local $6 i32) + (local $7 i32) + (set_local $0 + (i32.const 0) + ) + (loop $while-in + (set_local $3 + (i32.const 0) + ) + (loop $while-in6 + (set_local $6 + (i32.add + (get_local $0) + (i32.const 1) + ) + ) + (set_local $0 + (if i32 + (i32.or ;; this or is very expensive, but has a side effect on both sides + (i32.eqz + (i32.rem_s + (i32.add + (i32.mul + (tee_local $7 + (i32.add + (get_local $0) + (i32.const 0) + ) + ) + (get_local $0) + ) + (i32.const 17) + ) + (i32.const 5) + ) + ) + (i32.eqz + (i32.rem_u + (i32.add + (i32.mul + (get_local $0) + (get_local $0) + ) + (unreachable) + ) + (i32.const 3) + ) + ) + ) + (get_local $7) + (get_local $6) + ) + ) + (br_if $while-in6 + (i32.lt_s + (tee_local $3 + (i32.add + (get_local $3) + (i32.const 1) + ) + ) + (get_local $4) + ) + ) + ) + (br_if $while-in + (i32.ne + (tee_local $1 + (i32.add + (get_local $1) + (i32.const 1) + ) + ) + (i32.const 27000) + ) + ) + ) + (return + (get_local $5) + ) + ) + (func $flip (type $0) (param $0 i32) (param $1 i32) (result i32) + (local $2 i32) + (local $3 i32) + (local $4 i32) + (local $5 i32) + (local $6 i32) + (local $7 i32) + (set_local $0 + (i32.const 0) + ) + (loop $while-in + (set_local $3 + (i32.const 0) + ) + (loop $while-in6 + (set_local $6 + (i32.add + (get_local $0) + (i32.const 1) + ) + ) + (set_local $0 + (if i32 + (i32.or ;; this or is very expensive, and the first side has no side effect + (i32.eqz + (i32.rem_s + (i32.add + (i32.mul + (i32.eqz + (i32.add + (get_local $0) + (i32.const 0) + ) + ) + (get_local $0) + ) + (i32.const 17) + ) + (i32.const 5) + ) + ) + (i32.eqz + (i32.rem_u + (i32.add + (i32.mul + (get_local $0) + (get_local $0) + ) + (i32.const 100) + ) + (i32.const 3) + ) + ) + ) + (get_local $7) + (get_local $6) + ) + ) + (br_if $while-in6 + (i32.lt_s + (tee_local $3 + (i32.add + (get_local $3) + (i32.const 1) + ) + ) + (get_local $4) + ) + ) + ) + (br_if $while-in + (i32.ne + (tee_local $1 + (i32.add + (get_local $1) + (i32.const 1) + ) + ) + (i32.const 27000) + ) + ) + ) + (return + (get_local $5) + ) + ) +) + |