diff options
| author | Max Graey <maxgraey@gmail.com> | 2022-08-19 00:31:51 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-18 14:31:51 -0700 |
| commit | fe188d28dad8a71bc905939306d64eaba6567a40 (patch) | |
| tree | 049d44fc9bfa50b04858002d423504a1eaca344f /test/lit/passes/optimize-instructions-nontrapping-float-to-int.wast | |
| parent | 296a63eaaabd28990d6b3acf63af3d9d21190b8d (diff) | |
| download | binaryen-fe188d28dad8a71bc905939306d64eaba6567a40.tar.gz binaryen-fe188d28dad8a71bc905939306d64eaba6567a40.tar.bz2 binaryen-fe188d28dad8a71bc905939306d64eaba6567a40.zip | |
[OptimizeInstructions] Simplify rounding or conversions after int to float casts (#4720)
i32 -> f64 -> i32 rountripping optimizations:
```rust
i32(f64(i32(x))) -> x // i32.trunc(_sat)_f64_s(f64.convert_i32_s(x)) -> x
u32(f64(u32(x))) -> x // i32.trunc(_sat)_f64_u(f64.convert_i32_u(x)) -> x
// note assymetric signed / unsigned or unsigned / signed cases can't be simplified in similar way
```
and rounding after integer to float casts:
```rust
ceil(float(int(x))) -> float(int(x))
floor(float(int(x))) -> float(int(x))
trunc(float(int(x))) -> float(int(x))
nearest(float(int(x))) -> float(int(x))
```
where `float = f32 | f64`, `int = i32 | i64 | u32 | u64`
Diffstat (limited to 'test/lit/passes/optimize-instructions-nontrapping-float-to-int.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions-nontrapping-float-to-int.wast | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/test/lit/passes/optimize-instructions-nontrapping-float-to-int.wast b/test/lit/passes/optimize-instructions-nontrapping-float-to-int.wast new file mode 100644 index 000000000..d3e759e1c --- /dev/null +++ b/test/lit/passes/optimize-instructions-nontrapping-float-to-int.wast @@ -0,0 +1,77 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. +;; RUN: wasm-opt %s --optimize-instructions --enable-nontrapping-float-to-int -S -o - | filecheck %s + +(module + (memory 0) + + ;; CHECK: (func $simplify_int_float_sat_conversion_roundtrips (param $x i32) (param $y i64) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.trunc_sat_f64_s + ;; CHECK-NEXT: (f64.convert_i32_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.trunc_sat_f64_u + ;; CHECK-NEXT: (f64.convert_i32_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.trunc_sat_f32_u + ;; CHECK-NEXT: (f32.convert_i32_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.trunc_sat_f64_u + ;; CHECK-NEXT: (f64.convert_i64_u + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.trunc_sat_f64_s + ;; CHECK-NEXT: (f64.convert_i64_s + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.trunc_sat_f32_u + ;; CHECK-NEXT: (f32.convert_i32_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.trunc_sat_f32_s + ;; CHECK-NEXT: (f32.convert_i64_s + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $simplify_int_float_sat_conversion_roundtrips (param $x i32) (param $y i64) + (drop (i32.trunc_sat_f64_u (f64.convert_i32_u (local.get $x)))) + (drop (i32.trunc_sat_f64_s (f64.convert_i32_s (local.get $x)))) + + ;; skips + (drop (i32.trunc_sat_f64_s (f64.convert_i32_u (local.get $x)))) + (drop (i32.trunc_sat_f64_u (f64.convert_i32_s (local.get $x)))) + (drop (i32.trunc_sat_f32_u (f32.convert_i32_u (local.get $x)))) + (drop (i32.trunc_sat_f64_u (f64.convert_i64_u (local.get $y)))) + (drop (i64.trunc_sat_f64_s (f64.convert_i64_s (local.get $y)))) + (drop (i64.trunc_sat_f32_u (f32.convert_i32_s (local.get $x)))) + (drop (i64.trunc_sat_f32_s (f32.convert_i64_s (local.get $y)))) + ) +) |