summaryrefslogtreecommitdiff
path: root/test/lit/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes')
-rw-r--r--test/lit/passes/remove-unused-brs-gc.wast22
-rw-r--r--test/lit/passes/remove-unused-brs.wast10
-rw-r--r--test/lit/passes/remove-unused-brs_levels.wast129
3 files changed, 142 insertions, 19 deletions
diff --git a/test/lit/passes/remove-unused-brs-gc.wast b/test/lit/passes/remove-unused-brs-gc.wast
index 53100cc91..7a620193e 100644
--- a/test/lit/passes/remove-unused-brs-gc.wast
+++ b/test/lit/passes/remove-unused-brs-gc.wast
@@ -655,22 +655,20 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (select (result (ref null $struct))
- ;; CHECK-NEXT: (block (result (ref null $struct))
- ;; CHECK-NEXT: (block $something (result (ref null $struct))
- ;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (block (result nullref)
- ;; CHECK-NEXT: (br_on_non_null $something
- ;; CHECK-NEXT: (local.get $struct)
- ;; CHECK-NEXT: )
- ;; CHECK-NEXT: (ref.null none)
+ ;; CHECK-NEXT: (if (result (ref null $struct))
+ ;; CHECK-NEXT: (local.get $x)
+ ;; CHECK-NEXT: (block $something (result (ref null $struct))
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (block (result nullref)
+ ;; CHECK-NEXT: (br_on_non_null $something
+ ;; CHECK-NEXT: (local.get $struct)
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (ref.null none)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (ref.null none)
;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (ref.null none)
;; CHECK-NEXT: )
;; CHECK-NEXT: (ref.null none)
- ;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
@@ -716,6 +714,8 @@
)
)
)
+ ;; We do not selectify here because the amount of work in the if is
+ ;; significant (there is a cast and a branch).
(drop
(if (result anyref)
(local.get $x)
diff --git a/test/lit/passes/remove-unused-brs.wast b/test/lit/passes/remove-unused-brs.wast
index 82963f792..93cf4cbd2 100644
--- a/test/lit/passes/remove-unused-brs.wast
+++ b/test/lit/passes/remove-unused-brs.wast
@@ -31,10 +31,7 @@
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: (i32.lt_u
;; CHECK-NEXT: (i32.sub
- ;; CHECK-NEXT: (i32.or
- ;; CHECK-NEXT: (local.get $0)
- ;; CHECK-NEXT: (i32.const 32)
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: (i32.const 97)
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 6)
@@ -60,10 +57,7 @@
(i32.const 1)
(i32.lt_u
(i32.sub
- (i32.or
- (local.get $0)
- (i32.const 32)
- )
+ (local.get $0)
(i32.const 97)
)
(i32.const 6)
diff --git a/test/lit/passes/remove-unused-brs_levels.wast b/test/lit/passes/remove-unused-brs_levels.wast
new file mode 100644
index 000000000..f4737627e
--- /dev/null
+++ b/test/lit/passes/remove-unused-brs_levels.wast
@@ -0,0 +1,129 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
+;; RUN: wasm-opt %s --remove-unused-brs -all -S --shrink-level=0 -o - | filecheck %s --check-prefix=SHRINK_0
+;; RUN: wasm-opt %s --remove-unused-brs -all -S --shrink-level=1 -o - | filecheck %s --check-prefix=SHRINK_1
+;; RUN: wasm-opt %s --remove-unused-brs -all -S --shrink-level=2 -o - | filecheck %s --check-prefix=SHRINK_2
+
+
+(module
+ ;; SHRINK_0: (func $selectify-division (type $0) (param $x i32) (result i32)
+ ;; SHRINK_0-NEXT: (if (result i32)
+ ;; SHRINK_0-NEXT: (i32.eq
+ ;; SHRINK_0-NEXT: (local.get $x)
+ ;; SHRINK_0-NEXT: (i32.const 53498923)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: (i32.div_s
+ ;; SHRINK_0-NEXT: (local.get $x)
+ ;; SHRINK_0-NEXT: (i32.const 13)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: (local.get $x)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_1: (func $selectify-division (type $0) (param $x i32) (result i32)
+ ;; SHRINK_1-NEXT: (select
+ ;; SHRINK_1-NEXT: (i32.div_s
+ ;; SHRINK_1-NEXT: (local.get $x)
+ ;; SHRINK_1-NEXT: (i32.const 13)
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: (local.get $x)
+ ;; SHRINK_1-NEXT: (i32.eq
+ ;; SHRINK_1-NEXT: (local.get $x)
+ ;; SHRINK_1-NEXT: (i32.const 53498923)
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_2: (func $selectify-division (type $0) (param $x i32) (result i32)
+ ;; SHRINK_2-NEXT: (select
+ ;; SHRINK_2-NEXT: (i32.div_s
+ ;; SHRINK_2-NEXT: (local.get $x)
+ ;; SHRINK_2-NEXT: (i32.const 13)
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: (local.get $x)
+ ;; SHRINK_2-NEXT: (i32.eq
+ ;; SHRINK_2-NEXT: (local.get $x)
+ ;; SHRINK_2-NEXT: (i32.const 53498923)
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: )
+ (func $selectify-division (param $x i32) (result i32)
+ ;; See #5983: this if, if turned into a select, becomes almost 5x slower.
+ ;; We only want to selectify here when the shrink level is 1 or 2.
+ (if (result i32)
+ (i32.eq
+ (local.get $x)
+ (i32.const 53498923)
+ )
+ (i32.div_s
+ (local.get $x)
+ (i32.const 13)
+ )
+ (local.get $x)
+ )
+ )
+
+ ;; SHRINK_0: (func $selectify-division2 (type $0) (param $x i32) (result i32)
+ ;; SHRINK_0-NEXT: (if (result i32)
+ ;; SHRINK_0-NEXT: (i32.eq
+ ;; SHRINK_0-NEXT: (local.get $x)
+ ;; SHRINK_0-NEXT: (i32.const 53498923)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: (i32.div_s
+ ;; SHRINK_0-NEXT: (i32.div_s
+ ;; SHRINK_0-NEXT: (local.get $x)
+ ;; SHRINK_0-NEXT: (i32.const 13)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: (i32.const 13)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: (local.get $x)
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_0-NEXT: )
+ ;; SHRINK_1: (func $selectify-division2 (type $0) (param $x i32) (result i32)
+ ;; SHRINK_1-NEXT: (if (result i32)
+ ;; SHRINK_1-NEXT: (i32.eq
+ ;; SHRINK_1-NEXT: (local.get $x)
+ ;; SHRINK_1-NEXT: (i32.const 53498923)
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: (i32.div_s
+ ;; SHRINK_1-NEXT: (i32.div_s
+ ;; SHRINK_1-NEXT: (local.get $x)
+ ;; SHRINK_1-NEXT: (i32.const 13)
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: (i32.const 13)
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: (local.get $x)
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_1-NEXT: )
+ ;; SHRINK_2: (func $selectify-division2 (type $0) (param $x i32) (result i32)
+ ;; SHRINK_2-NEXT: (select
+ ;; SHRINK_2-NEXT: (i32.div_s
+ ;; SHRINK_2-NEXT: (i32.div_s
+ ;; SHRINK_2-NEXT: (local.get $x)
+ ;; SHRINK_2-NEXT: (i32.const 13)
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: (i32.const 13)
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: (local.get $x)
+ ;; SHRINK_2-NEXT: (i32.eq
+ ;; SHRINK_2-NEXT: (local.get $x)
+ ;; SHRINK_2-NEXT: (i32.const 53498923)
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: )
+ ;; SHRINK_2-NEXT: )
+ (func $selectify-division2 (param $x i32) (result i32)
+ ;; As above, but now only with a shrink level of 2 should we selectify, as
+ ;; there are two divisions.
+ (if (result i32)
+ (i32.eq
+ (local.get $x)
+ (i32.const 53498923)
+ )
+ (i32.div_s
+ (i32.div_s
+ (local.get $x)
+ (i32.const 13)
+ )
+ (i32.const 13)
+ )
+ (local.get $x)
+ )
+ )
+)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 00:30:54 +0000