diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-02-06 16:24:33 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-06 16:24:33 -0800 |
| commit | 985bcba6239792ebcb3808f1066ca6ea20ac5688 (patch) | |
| tree | 8fdd04577f6b40f6f4a8c7851fa5dab83c26e413 /test/passes/optimize-instructions_optimize-level=2.wast | |
| parent | 04fc050edf3eeff85a77910a4d6821bff59fade2 (diff) | |
| download | binaryen-985bcba6239792ebcb3808f1066ca6ea20ac5688.tar.gz binaryen-985bcba6239792ebcb3808f1066ca6ea20ac5688.tar.bz2 binaryen-985bcba6239792ebcb3808f1066ca6ea20ac5688.zip | |
Improve handling of implicit traps (#898)
* add --ignore-implicit-traps option, and by default do not ignore them, to properly preserve semantics
* implicit traps can be reordered, but are side effects and should not be removed
* add testing for --ignore-implicit-traps
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, 0 insertions, 263 deletions
diff --git a/test/passes/optimize-instructions_optimize-level=2.wast b/test/passes/optimize-instructions_optimize-level=2.wast deleted file mode 100644 index 7874907f3..000000000 --- a/test/passes/optimize-instructions_optimize-level=2.wast +++ /dev/null @@ -1,263 +0,0 @@ -(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) - ) - ) -) - |