diff options
| author | Max Graey <maxgraey@gmail.com> | 2020-09-14 04:04:38 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-13 18:04:38 -0700 |
| commit | cd9bd149162ecdd9f2715367617771ea55b7cd7e (patch) | |
| tree | 197641f370ab9560f2edd64700178344910b7b07 /test | |
| parent | 643facd9bf6af1792db473e73e16983df940106f (diff) | |
| download | binaryen-cd9bd149162ecdd9f2715367617771ea55b7cd7e.tar.gz binaryen-cd9bd149162ecdd9f2715367617771ea55b7cd7e.tar.bz2 binaryen-cd9bd149162ecdd9f2715367617771ea55b7cd7e.zip | |
Simplify subtracting zero from float expressions (#3125)
`x - 0.0` -> `x`
`x + (-0.0)` -> `x`
`x - (-0.0)` -> `x + 0.0`
where `x` is `f32` or `f64`.
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/optimize-instructions_all-features.txt | 51 | ||||
| -rw-r--r-- | test/passes/optimize-instructions_all-features.wast | 47 |
2 files changed, 98 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions_all-features.txt b/test/passes/optimize-instructions_all-features.txt index 31c1afbfc..33e137b9d 100644 --- a/test/passes/optimize-instructions_all-features.txt +++ b/test/passes/optimize-instructions_all-features.txt @@ -14,6 +14,7 @@ (type $i32_i32_i32_=>_none (func (param i32 i32 i32))) (type $i32_i32_f64_f64_=>_none (func (param i32 i32 f64 f64))) (type $i32_i64_f64_i32_=>_none (func (param i32 i64 f64 i32))) + (type $f32_f64_=>_none (func (param f32 f64))) (type $none_=>_f64 (func (result f64))) (memory $0 0) (export "load-off-2" (func $load-off-2)) @@ -3541,6 +3542,56 @@ (i32.const 2) ) ) + (func $const-float-zero (param $fx f32) (param $fy f64) + (drop + (local.get $fx) + ) + (drop + (local.get $fy) + ) + (drop + (local.get $fx) + ) + (drop + (local.get $fy) + ) + (drop + (f32.add + (local.get $fx) + (f32.const 0) + ) + ) + (drop + (f64.add + (local.get $fy) + (f64.const 0) + ) + ) + (drop + (f32.sub + (f32.const 0) + (local.get $fx) + ) + ) + (drop + (f64.sub + (f64.const 0) + (local.get $fy) + ) + ) + (drop + (f32.add + (local.get $fx) + (f32.const 0) + ) + ) + (drop + (f64.add + (local.get $fy) + (f64.const 0) + ) + ) + ) (func $rhs-is-neg-one (param $x i32) (param $y i64) (param $fx f32) (param $fy f64) (drop (i32.sub diff --git a/test/passes/optimize-instructions_all-features.wast b/test/passes/optimize-instructions_all-features.wast index c2fa16e35..c67270a4f 100644 --- a/test/passes/optimize-instructions_all-features.wast +++ b/test/passes/optimize-instructions_all-features.wast @@ -4047,6 +4047,53 @@ (i32.const 2) ) ) + (func $const-float-zero (param $fx f32) (param $fy f64) + ;; x - 0.0 ==> x + (drop (f32.sub + (local.get $fx) + (f32.const 0) + )) + (drop (f64.sub + (local.get $fy) + (f64.const 0) + )) + ;; x + (-0.0) ==> x + (drop (f32.add + (local.get $fx) + (f32.const -0) + )) + (drop (f64.add + (local.get $fy) + (f64.const -0) + )) + ;; x - (-0.0) ==> x + 0.0 + (drop (f32.sub + (local.get $fx) + (f32.const -0) ;; skip + )) + (drop (f64.sub + (local.get $fy) + (f64.const -0) ;; skip + )) + ;; 0.0 - x ==> 0.0 - x + (drop (f32.sub + (f32.const 0) + (local.get $fx) ;; skip + )) + (drop (f64.sub + (f64.const 0) + (local.get $fy) ;; skip + )) + ;; x + 0.0 ==> x + 0.0 + (drop (f32.add + (local.get $fx) ;; skip + (f32.const 0) + )) + (drop (f64.add + (local.get $fy) ;; skip + (f64.const 0) + )) + ) (func $rhs-is-neg-one (param $x i32) (param $y i64) (param $fx f32) (param $fy f64) (drop (i32.sub (local.get $x) |