diff options
Diffstat (limited to 'test/lit/passes/optimize-instructions.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions.wast | 53 |
1 files changed, 51 insertions, 2 deletions
diff --git a/test/lit/passes/optimize-instructions.wast b/test/lit/passes/optimize-instructions.wast index 07f246b49..352e70e26 100644 --- a/test/lit/passes/optimize-instructions.wast +++ b/test/lit/passes/optimize-instructions.wast @@ -11252,7 +11252,7 @@ ;; i32.wrap_i64(i64.extend_i32_s(x)) ==> x ;; i32.wrap_i64(i64.extend_i32_u(x)) ==> x - ;; CHECK: (func $sign-and-zero-extention-elimination (param $x i32) + ;; CHECK: (func $sign-and-zero-extention-elimination-1 (param $x i32) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (local.get $x) ;; CHECK-NEXT: ) @@ -11260,10 +11260,59 @@ ;; CHECK-NEXT: (local.get $x) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - (func $sign-and-zero-extention-elimination (param $x i32) + (func $sign-and-zero-extention-elimination-1 (param $x i32) (drop (i32.wrap_i64 (i64.extend_i32_s (local.get $x)))) (drop (i32.wrap_i64 (i64.extend_i32_u (local.get $x)))) ) + ;; i64.extend_i32_u(i32.wrap_i64(x)) => x, where maxBits(x) <= 32 + ;; i64.extend_i32_s(i32.wrap_i64(x)) => x, where maxBits(x) <= 31 + + ;; CHECK: (func $sign-and-zero-extention-elimination-2 (param $x i64) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.and + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: (i64.const 4294967295) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.and + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: (i64.const 2147483647) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.extend_i32_u + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.extend_i32_s + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i64.extend_i32_s + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (i64.and + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: (i64.const 4294967295) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $sign-and-zero-extention-elimination-2 (param $x i64) + (drop (i64.extend_i32_u (i32.wrap_i64 (i64.and (local.get $x) (i64.const 0x00000000FFFFFFFF))))) + (drop (i64.extend_i32_s (i32.wrap_i64 (i64.and (local.get $x) (i64.const 0x000000007FFFFFFF))))) + + (drop (i64.extend_i32_u (i32.wrap_i64 (local.get $x)))) ;; skip + (drop (i64.extend_i32_s (i32.wrap_i64 (local.get $x)))) ;; skip + (drop (i64.extend_i32_s (i32.wrap_i64 (i64.and (local.get $x) (i64.const 0x00000000FFFFFFFF))))) ;; skip + ) ;; CHECK: (func $optimize-shifts (param $x i32) (param $y i32) (param $z i64) (param $w i64) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (local.get $x) |