Skip to content

Commit af9c4da

Browse files
committed
[InstCombine] Add pre-commit tests. NFC.
1 parent a77346b commit af9c4da

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

llvm/test/Transforms/InstCombine/bit-checks.ll

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1335,6 +1335,23 @@ define i1 @no_masks_with_logical_or(i32 %a, i32 %b, i32 noundef %c) {
13351335
ret i1 %or2
13361336
}
13371337

1338+
define i1 @no_masks_with_logical_or_commuted(i32 %a, i32 %b, i32 noundef %c) {
1339+
; CHECK-LABEL: @no_masks_with_logical_or_commuted(
1340+
; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i32 [[A:%.*]], 0
1341+
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i32 [[B:%.*]], 63
1342+
; CHECK-NEXT: [[OR1:%.*]] = select i1 [[CMP1]], i1 true, i1 [[CMP2]]
1343+
; CHECK-NEXT: [[CMP3:%.*]] = icmp ne i32 [[C:%.*]], 0
1344+
; CHECK-NEXT: [[OR2:%.*]] = or i1 [[CMP3]], [[OR1]]
1345+
; CHECK-NEXT: ret i1 [[OR2]]
1346+
;
1347+
%cmp1 = icmp ne i32 %a, 0
1348+
%cmp2 = icmp ne i32 %b, 63
1349+
%or1 = select i1 %cmp1, i1 true, i1 %cmp2
1350+
%cmp3 = icmp ne i32 %c, 0
1351+
%or2 = or i1 %cmp3, %or1
1352+
ret i1 %or2
1353+
}
1354+
13381355
define i1 @no_masks_with_logical_or2(i32 %a, i32 %b, i32 noundef %c) {
13391356
; CHECK-LABEL: @no_masks_with_logical_or2(
13401357
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i32 [[B:%.*]], 63

0 commit comments

Comments
 (0)