diff options
| author | Max Graey <maxgraey@gmail.com> | 2022-09-12 23:42:16 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-12 13:42:16 -0700 |
| commit | c7967d81d2d5ed06440044d45ad52158c40ee168 (patch) | |
| tree | e788fb67bc87ca859845d6813aac4ba29af4af45 /test/lit/passes/optimize-instructions.wast | |
| parent | aa36fc4f67cf38f097b4c2b4db53b718880f9c3a (diff) | |
| download | binaryen-c7967d81d2d5ed06440044d45ad52158c40ee168.tar.gz binaryen-c7967d81d2d5ed06440044d45ad52158c40ee168.tar.bz2 binaryen-c7967d81d2d5ed06440044d45ad52158c40ee168.zip | |
[OptimizeInstructions] Simplify floating point ops with NaN on right side (#4985)
x + nan -> nan'
x - nan -> nan'
x * nan -> nan'
x / nan -> nan'
min(x, nan) -> nan'
max(x, nan) -> nan'
where nan' is canonicalized nan of rhs
x != nan -> 1
x == nan -> 0
x >= nan -> 0
x <= nan -> 0
x > nan -> 0
x < nan -> 0
Diffstat (limited to 'test/lit/passes/optimize-instructions.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions.wast | 214 |
1 files changed, 198 insertions, 16 deletions
diff --git a/test/lit/passes/optimize-instructions.wast b/test/lit/passes/optimize-instructions.wast index 728b195de..c75040a9f 100644 --- a/test/lit/passes/optimize-instructions.wast +++ b/test/lit/passes/optimize-instructions.wast @@ -1937,10 +1937,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (f64.ge - ;; CHECK-NEXT: (local.get $fx) - ;; CHECK-NEXT: (f64.const nan:0x8000000000000) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (f64.ge @@ -7692,10 +7689,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (f32.div - ;; CHECK-NEXT: (local.get $x) - ;; CHECK-NEXT: (f32.const nan:0x400000) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f32.const nan:0x400000) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (f32.div @@ -7836,10 +7830,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (f64.div - ;; CHECK-NEXT: (local.get $x) - ;; CHECK-NEXT: (f64.const nan:0x8000000000000) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (f64.div @@ -10853,10 +10844,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (f64.div - ;; CHECK-NEXT: (local.get $fy) - ;; CHECK-NEXT: (f64.const -nan:0x8000000000000) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (f64.div @@ -11093,6 +11081,200 @@ ) )) ) + ;; CHECK: (func $rhs-is-const-nan (param $x f32) (param $y f64) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.const nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.copysign + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: (f32.const nan:0x400000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f32.copysign + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: (f32.const nan:0x200000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (f64.copysign + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: (f64.const -nan:0x8000000000000) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $rhs-is-const-nan (param $x f32) (param $y f64) + + ;; arithmetic ops + + ;; x + nan' => nan' + (drop (f32.add (local.get $x) (f32.const nan))) + (drop (f32.add (local.get $x) (f32.const nan:0x200000))) + (drop (f64.add (local.get $y) (f64.const -nan))) + ;; x - nan' => nan' + (drop (f32.sub (local.get $x) (f32.const nan))) + (drop (f32.sub (local.get $x) (f32.const nan:0x200000))) + (drop (f64.sub (local.get $y) (f64.const -nan))) + ;; x * nan' => nan' + (drop (f32.mul (local.get $x) (f32.const nan))) + (drop (f32.mul (local.get $x) (f32.const nan:0x200000))) + (drop (f64.mul (local.get $y) (f64.const -nan))) + ;; x / nan' => nan' + (drop (f32.div (local.get $x) (f32.const nan))) + (drop (f32.div (local.get $x) (f32.const nan:0x200000))) + (drop (f64.div (local.get $y) (f64.const -nan))) + + ;; min / max ops + + ;; min(x, nan') => nan' + (drop (f32.min (local.get $x) (f32.const nan))) + (drop (f32.min (local.get $x) (f32.const nan:0x200000))) + (drop (f64.min (local.get $y) (f64.const -nan))) + ;; max(x, nan') => nan' + (drop (f32.max (local.get $x) (f32.const nan))) + (drop (f32.max (local.get $x) (f32.const nan:0x200000))) + (drop (f64.max (local.get $y) (f64.const -nan))) + + ;; copysign ops (should be skipped) + + ;; copysign(x, nan) => skip + (drop (f32.copysign (local.get $x) (f32.const nan))) + (drop (f32.copysign (local.get $x) (f32.const nan:0x200000))) + (drop (f64.copysign (local.get $y) (f64.const -nan))) + + ;; relational ops + + ;; x != nan => 1 + (drop (f32.ne (local.get $x) (f32.const nan))) + (drop (f32.ne (local.get $x) (f32.const nan:0x200000))) + (drop (f64.ne (local.get $y) (f64.const -nan))) + ;; x == nan => 0 + (drop (f32.eq (local.get $x) (f32.const nan))) + (drop (f32.eq (local.get $x) (f32.const nan:0x200000))) + (drop (f64.eq (local.get $y) (f64.const -nan))) + ;; x > nan => 0 + (drop (f32.gt (local.get $x) (f32.const nan))) + (drop (f32.gt (local.get $x) (f32.const nan:0x200000))) + (drop (f64.gt (local.get $y) (f64.const -nan))) + ;; x >= nan => 0 + (drop (f32.ge (local.get $x) (f32.const nan))) + (drop (f32.ge (local.get $x) (f32.const nan:0x200000))) + (drop (f64.ge (local.get $y) (f64.const -nan))) + ;; x < nan => 0 + (drop (f32.lt (local.get $x) (f32.const nan))) + (drop (f32.lt (local.get $x) (f32.const nan:0x200000))) + (drop (f64.lt (local.get $y) (f64.const -nan))) + ;; x <= nan => 0 + (drop (f32.le (local.get $x) (f32.const nan))) + (drop (f32.le (local.get $x) (f32.const nan:0x200000))) + (drop (f64.le (local.get $y) (f64.const -nan))) + ) ;; CHECK: (func $lhs-is-neg-one (param $x i32) (param $y i64) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (i32.const -1) |