Skip to content

Use fallthrough in optimizeInstructions to further optimize (unsigned)x < 0 ==> i32(0) #7480

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 11 commits into from
Apr 24, 2025
Merged

Use fallthrough in optimizeInstructions to further optimize (unsigned)x < 0 ==> i32(0) #7480

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
292d23d
opt for #7455
xuruiyang2002 Apr 10, 2025
1723a46
generalize existing rule
xuruiyang2002 Apr 11, 2025
112e40d
tests
xuruiyang2002 Apr 11, 2025
8910adb
NFC
xuruiyang2002 Apr 11, 2025
0e19573
Fix: use makeConst instead of makeFromInt32
xuruiyang2002 Apr 12, 2025
5ba769e
Fix: apply getFallthrough at lt_u rule
xuruiyang2002 Apr 16, 2025
b2d953f
Remove original fix
xuruiyang2002 Apr 16, 2025
ffe6200
Update test
xuruiyang2002 Apr 16, 2025
45e6ef6
Add test for i64
xuruiyang2002 Apr 16, 2025
9eb6ec5
fix: reuse const c
xuruiyang2002 Apr 19, 2025
1f06dbc
update test
xuruiyang2002 Apr 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion src/passes/OptimizeInstructions.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -570,7 +570,8 @@ struct OptimizeInstructions
return replaceCurrent(getDroppedChildrenAndAppend(curr, c));
}
// unsigned(x) < 0 => i32(0)
if (matches(curr, binary(LtU, any(&x), ival(&c))) &&
if (curr->op == Abstract::getBinary(curr->left->type, Abstract::LtU) &&
(c = getFallthrough(curr->right)->dynCast<Const>()) &&
c->value.isZero()) {
c->value = Literal::makeZero(Type::i32);
c->type = Type::i32;
Expand Down
66 changes: 66 additions & 0 deletions test/lit/passes/optimize-instructions-mvp.wast
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -175,6 +175,7 @@
)
)
)

;; CHECK: (func $eqz-gt_s (result i32)
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (i32.const 0)
Expand Down Expand Up @@ -11531,6 +11532,44 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.load
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (i32.store
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i64.load
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (i64.store
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i64.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.ne
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (i32.const 0)
Expand Down Expand Up @@ -11803,6 +11842,33 @@
)
(i64.const 0)
))
(drop (i32.lt_u
(i32.load
(i32.const 0)
)
(block (result i32)
(i32.store
(i32.const 0)
(i32.const 0)
)
(i32.const 0)
)
)
)
(drop (i64.lt_u
(i64.load
(i32.const 0)
)
(block (result i64)
(i64.store
(i32.const 0)
(i64.const 0)
)
(i64.const 0)
)
)
)


;; (unsigned)x > 0 => x != 0
(drop (i32.gt_u
Expand Down
Loading