summaryrefslogtreecommitdiff
path: root/test/lit/passes/optimize-instructions.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/optimize-instructions.wast')
-rw-r--r--test/lit/passes/optimize-instructions.wast259
1 files changed, 242 insertions, 17 deletions
diff --git a/test/lit/passes/optimize-instructions.wast b/test/lit/passes/optimize-instructions.wast
index 6e69a7baf..e6d7c2c1d 100644
--- a/test/lit/passes/optimize-instructions.wast
+++ b/test/lit/passes/optimize-instructions.wast
@@ -5713,16 +5713,37 @@
(i32.const 255)
)
)
- ;; CHECK: (func $shifts-square-overflow (param $x i32) (result i32)
- ;; CHECK-NEXT: (i32.shr_u
- ;; CHECK-NEXT: (i32.shr_u
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: (i32.const 31)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (i32.const 31)
+ ;; CHECK: (func $left-shifts-square-overflow (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ (func $left-shifts-square-overflow (param $x i32) (result i32)
+ (i32.shl
+ (i32.shl
+ (local.get $x)
+ (i32.const 31)
+ )
+ (i32.const 1)
+ )
+ )
+ ;; CHECK: (func $left-shifts-square-overflow-with-side-effect (param $x i32) (result i32)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (call $ne0)
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ (func $left-shifts-square-overflow-with-side-effect (param $x i32) (result i32)
+ (i32.shl
+ (i32.shl
+ (call $ne0) ;; side effect
+ (i32.const 31)
+ )
+ (i32.const 5)
+ )
+ )
+ ;; CHECK: (func $right-shifts-square-overflow-unsigned (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
- (func $shifts-square-overflow (param $x i32) (result i32)
+ (func $right-shifts-square-overflow-unsigned (param $x i32) (result i32)
(i32.shr_u
(i32.shr_u
(local.get $x)
@@ -5731,6 +5752,21 @@
(i32.const 32767) ;; also 31 bits, so two shifts that force the value into nothing for sure
)
)
+ ;; CHECK: (func $shifts-square-overflow-signed (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.shr_s
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 31)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $shifts-square-overflow-signed (param $x i32) (result i32)
+ (i32.shr_s
+ (i32.shr_s
+ (local.get $x)
+ (i32.const 65535) ;; 31 bits effectively
+ )
+ (i32.const 32767) ;; also 31 bits, so two shifts that force the value into nothing for sure
+ )
+ )
;; CHECK: (func $shifts-square-no-overflow-small (param $x i32) (result i32)
;; CHECK-NEXT: (i32.shr_u
;; CHECK-NEXT: (local.get $x)
@@ -5746,16 +5782,22 @@
(i32.const 4098) ;; 2 bits effectively
)
)
- ;; CHECK: (func $shifts-square-overflow-64 (param $x i64) (result i64)
- ;; CHECK-NEXT: (i64.shr_u
- ;; CHECK-NEXT: (i64.shr_u
- ;; CHECK-NEXT: (local.get $x)
- ;; CHECK-NEXT: (i64.const 63)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (i64.const 63)
- ;; CHECK-NEXT: )
+ ;; CHECK: (func $left-shifts-square-overflow-unsigned-64 (param $x i64) (result i64)
+ ;; CHECK-NEXT: (i64.const 0)
+ ;; CHECK-NEXT: )
+ (func $left-shifts-square-overflow-unsigned-64 (param $x i64) (result i64)
+ (i64.shl
+ (i64.shl
+ (local.get $x)
+ (i64.const 2)
+ )
+ (i64.const 63)
+ )
+ )
+ ;; CHECK: (func $right-shifts-square-overflow-unsigned-64 (param $x i64) (result i64)
+ ;; CHECK-NEXT: (i64.const 0)
;; CHECK-NEXT: )
- (func $shifts-square-overflow-64 (param $x i64) (result i64)
+ (func $right-shifts-square-overflow-unsigned-64 (param $x i64) (result i64)
(i64.shr_u
(i64.shr_u
(local.get $x)
@@ -5764,6 +5806,21 @@
(i64.const 64767) ;; also 63 bits, so two shifts that force the value into nothing for sure
)
)
+ ;; CHECK: (func $right-shifts-square-overflow-signed-64 (param $x i64) (result i64)
+ ;; CHECK-NEXT: (i64.shr_s
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i64.const 63)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $right-shifts-square-overflow-signed-64 (param $x i64) (result i64)
+ (i64.shr_s
+ (i64.shr_s
+ (local.get $x)
+ (i64.const 65535) ;; 63 bits effectively
+ )
+ (i64.const 64767) ;; also 63 bits, so two shifts that force the value into nothing for sure
+ )
+ )
;; CHECK: (func $shifts-square-no-overflow-small-64 (param $x i64) (result i64)
;; CHECK-NEXT: (i64.shr_u
;; CHECK-NEXT: (local.get $x)
@@ -5842,6 +5899,174 @@
)
)
)
+ ;; CHECK: (func $rotate-left-square-no-overflow-small (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotl
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 7)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-left-square-no-overflow-small (param $x i32) (result i32)
+ (i32.rotl
+ (i32.rotl
+ (local.get $x)
+ (i32.const 3)
+ )
+ (i32.const 4)
+ )
+ )
+ ;; CHECK: (func $rotate-right-square-no-overflow-small (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotr
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 7)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-right-square-no-overflow-small (param $x i32) (result i32)
+ (i32.rotr
+ (i32.rotr
+ (local.get $x)
+ (i32.const 3)
+ )
+ (i32.const 4)
+ )
+ )
+ ;; CHECK: (func $rotate-left-square-no-shifts (param $x i32) (result i32)
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ (func $rotate-left-square-no-shifts (param $x i32) (result i32)
+ (i32.rotl
+ (i32.rotl
+ (local.get $x)
+ (i32.const 12)
+ )
+ (i32.const 20)
+ )
+ )
+ ;; CHECK: (func $rotate-right-square-no-shifts (param $x i32) (result i32)
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ (func $rotate-right-square-no-shifts (param $x i32) (result i32)
+ (i32.rotr
+ (i32.rotr
+ (local.get $x)
+ (i32.const 30)
+ )
+ (i32.const 2)
+ )
+ )
+ ;; CHECK: (func $rotate-right-left-pos (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotl
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 23)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-right-left-pos (param $x i32) (result i32)
+ (i32.rotr
+ (i32.rotl
+ (local.get $x)
+ (i32.const 27)
+ )
+ (i32.const 4)
+ )
+ )
+ ;; CHECK: (func $rotate-left-right-pos (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotr
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 7)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-left-right-pos (param $x i32) (result i32)
+ (i32.rotl
+ (i32.rotr
+ (local.get $x)
+ (i32.const 12)
+ )
+ (i32.const 5)
+ )
+ )
+ ;; CHECK: (func $rotate-right-left-neg (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotl
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 27)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-right-left-neg (param $x i32) (result i32)
+ (i32.rotr
+ (i32.rotl
+ (local.get $x)
+ (i32.const 5)
+ )
+ (i32.const 10)
+ )
+ )
+ ;; CHECK: (func $rotate-left-right-neg (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotr
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 27)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-left-right-neg (param $x i32) (result i32)
+ (i32.rotl
+ (i32.rotr
+ (local.get $x)
+ (i32.const 5)
+ )
+ (i32.const 10)
+ )
+ )
+ ;; CHECK: (func $rotate-right-left-none (param $x i32) (result i32)
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ (func $rotate-right-left-none (param $x i32) (result i32)
+ (i32.rotr
+ (i32.rotl
+ (local.get $x)
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ ;; CHECK: (func $rotate-left-right-none (param $x i32) (result i32)
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: )
+ (func $rotate-left-right-none (param $x i32) (result i32)
+ (i32.rotl
+ (i32.rotr
+ (local.get $x)
+ (i32.const 16)
+ )
+ (i32.const 16)
+ )
+ )
+ ;; CHECK: (func $rotate-right-left-overflow (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotl
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 27)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-right-left-overflow (param $x i32) (result i32)
+ (i32.rotr
+ (i32.rotl
+ (local.get $x)
+ (i32.const 18)
+ )
+ (i32.const 23)
+ )
+ )
+ ;; CHECK: (func $rotate-left-right-overflow (param $x i32) (result i32)
+ ;; CHECK-NEXT: (i32.rotr
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (i32.const 27)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $rotate-left-right-overflow (param $x i32) (result i32)
+ (i32.rotl
+ (i32.rotr
+ (local.get $x)
+ (i32.const 18)
+ )
+ (i32.const 23)
+ )
+ )
;; CHECK: (func $and-popcount32 (result i32)
;; CHECK-NEXT: (i32.and
;; CHECK-NEXT: (i32.popcnt
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-10 02:14:56 +0000