Skip to content

Commit 241893f

Browse files
committed
[PhaseOrdering] add test for mul + sdiv; NFC
issue #58137
1 parent 8d9a3a6 commit 241893f

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed

llvm/test/Transforms/PhaseOrdering/reassociate-instcombine.ll

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,3 +36,18 @@ define i32 @not_reassociate_or_or_not(i32 %a, i32 %b, i32 %c, i32 %d) {
3636
%b3 = or i32 %b2, %notc
3737
ret i32 %b3
3838
}
39+
40+
define i32 @PR58137(i32 %a, i32 %b) {
41+
; CHECK-LABEL: @PR58137(
42+
; CHECK-NEXT: [[MUL:%.*]] = shl i32 [[A:%.*]], 1
43+
; CHECK-NEXT: [[MUL1:%.*]] = mul i32 [[MUL]], [[B:%.*]]
44+
; CHECK-NEXT: [[MUL2:%.*]] = shl nsw i32 [[A]], 1
45+
; CHECK-NEXT: [[DIV:%.*]] = sdiv i32 [[MUL1]], [[MUL2]]
46+
; CHECK-NEXT: ret i32 [[DIV]]
47+
;
48+
%mul = mul nsw i32 2, %b
49+
%mul1 = mul nsw i32 %mul, %a
50+
%mul2 = mul nsw i32 2, %a
51+
%div = sdiv i32 %mul1, %mul2
52+
ret i32 %div
53+
}

0 commit comments

Comments
 (0)