diff options
| author | Max Graey <maxgraey@gmail.com> | 2021-11-12 23:58:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-12 13:58:05 -0800 |
| commit | 5597d1c03e25684b999035e77578db97e91c16eb (patch) | |
| tree | b83b598162fe94156044fac56ba1dc079ec512e0 /test/lit/passes/optimize-instructions.wast | |
| parent | 25a2b5fc420023a94f0aa3c71b1fb915be8a58d1 (diff) | |
| download | binaryen-5597d1c03e25684b999035e77578db97e91c16eb.tar.gz binaryen-5597d1c03e25684b999035e77578db97e91c16eb.tar.bz2 binaryen-5597d1c03e25684b999035e77578db97e91c16eb.zip | |
[OptimizeInstructions] Combine extend into i64 and 32-bit load operations (#4307)
i64.extend_i32_u(i32.load8_u(x)) -> i64.load8_u(x)
i64.extend_i32_u(i32.load16_u(x)) -> i64.load16_u(x)
i64.extend_i32_s(i32.load8_u(x)) -> i64.load8_u(x)
i64.extend_i32_s(i32.load16_u(x)) -> i64.load16_u(x)
i64.extend_i32_s(i32.load8_s(x)) -> i64.load8_s(x)
i64.extend_i32_s(i32.load16_s(x)) -> i64.load16_s(x)
i64.extend_i32_u(i32.load(x))) -> i64.load32_u(x)
i64.extend_i32_s(i32.load(x))) -> i64.load32_s(x)
don't apply to
i64.extend_i32_u(i32.load8_s(x)) -> skip
i64.extend_i32_u(i32.load16_s(x)) -> skip
i64.extend_i32_s(i32.atomic.load(x)) -> skip
Diffstat (limited to 'test/lit/passes/optimize-instructions.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions.wast | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/test/lit/passes/optimize-instructions.wast b/test/lit/passes/optimize-instructions.wast index 638811586..26ef699d1 100644 --- a/test/lit/passes/optimize-instructions.wast +++ b/test/lit/passes/optimize-instructions.wast @@ -13404,4 +13404,87 @@ (drop (f32.reinterpret_i32 (i32.reinterpret_f32 (local.get $z)))) (drop (f64.reinterpret_i64 (i64.reinterpret_f64 (local.get $w)))) ) + + ;; u64(i32.load(_8|_16)(_u|_s)(x)) => i64.load(_8|_16|_32)(_u|_s)(x) + ;; except: + ;; i64.extend_i32_u(i32.load8_s(x)) and + ;; i64.extend_i32_u(i32.load16_s(x)) + + ;; CHECK: (func $combine_load_and_extend_u (param $x i32) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load8_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load16_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load32_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.extend_i32_u + ;; CHECK-NEXT: (i32.load8_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.extend_i32_u + ;; CHECK-NEXT: (i32.load16_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $combine_load_and_extend_u (param $x i32) + (drop (i64.extend_i32_u (i32.load8_u (local.get $x)))) + (drop (i64.extend_i32_u (i32.load16_u (local.get $x)))) + (drop (i64.extend_i32_u (i32.load (local.get $x)))) + + ;; skips + (drop (i64.extend_i32_u (i32.load8_s (local.get $x)))) + (drop (i64.extend_i32_u (i32.load16_s (local.get $x)))) + ) + + ;; i64(i32.load(_8|_16)(_u|_s)(x)) => i64.load(_8|_16|_32)(_u|_s)(x) + + ;; CHECK: (func $combine_load_and_extend_s (param $x i32) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load8_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load16_u + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load8_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load16_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.load32_s + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $combine_load_and_extend_s (param $x i32) + (drop (i64.extend_i32_s (i32.load8_u (local.get $x)))) + (drop (i64.extend_i32_s (i32.load16_u (local.get $x)))) + (drop (i64.extend_i32_s (i32.load8_s (local.get $x)))) + (drop (i64.extend_i32_s (i32.load16_s (local.get $x)))) + (drop (i64.extend_i32_s (i32.load (local.get $x)))) + ) ) |