[llvm] 01bcc3e - [InstCombine] prevent infinite loop with sub/abs of constant expression
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Apr 15 06:19:24 PDT 2020
Author: Sanjay Patel
Date: 2020-04-15T09:19:16-04:00
New Revision: 01bcc3e9371470e1974f066ced353df15e10056d
URL: https://github.com/llvm/llvm-project/commit/01bcc3e9371470e1974f066ced353df15e10056d
DIFF: https://github.com/llvm/llvm-project/commit/01bcc3e9371470e1974f066ced353df15e10056d.diff
LOG: [InstCombine] prevent infinite loop with sub/abs of constant expression
PR45539:
https://bugs.llvm.org/show_bug.cgi?id=45539
Added:
Modified:
llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
llvm/test/Transforms/InstCombine/abs-1.ll
Removed:
################################################################################
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp b/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
index 3579d31d48a4..7ca287f07a11 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
@@ -1761,7 +1761,7 @@ Instruction *InstCombiner::visitSub(BinaryOperator &I) {
Constant *C2;
// C-(C2-X) --> X+(C-C2)
- if (match(Op1, m_Sub(m_Constant(C2), m_Value(X))))
+ if (match(Op1, m_Sub(m_Constant(C2), m_Value(X))) && !isa<ConstantExpr>(C2))
return BinaryOperator::CreateAdd(X, ConstantExpr::getSub(C, C2));
// C-(X+C2) --> (C-C2)-X
diff --git a/llvm/test/Transforms/InstCombine/abs-1.ll b/llvm/test/Transforms/InstCombine/abs-1.ll
index 1ff8ee61cb19..08cab94e3dfc 100644
--- a/llvm/test/Transforms/InstCombine/abs-1.ll
+++ b/llvm/test/Transforms/InstCombine/abs-1.ll
@@ -628,3 +628,22 @@ define i8 @nabs_
diff erent_constants(i8 %a) {
%m2 = select i1 %cmp2, i8 %neg, i8 %a
ret i8 %m2
}
+
+ at g = external global i64
+
+; PR45539 - https://bugs.llvm.org/show_bug.cgi?id=45539
+
+define i64 @infinite_loop_constant_expression_abs(i64 %arg) {
+; CHECK-LABEL: @infinite_loop_constant_expression_abs(
+; CHECK-NEXT: [[T:%.*]] = sub i64 ptrtoint (i64* @g to i64), [[ARG:%.*]]
+; CHECK-NEXT: [[T1:%.*]] = icmp slt i64 [[T]], 0
+; CHECK-NEXT: [[T2:%.*]] = sub nsw i64 0, [[T]]
+; CHECK-NEXT: [[T3:%.*]] = select i1 [[T1]], i64 [[T2]], i64 [[T]]
+; CHECK-NEXT: ret i64 [[T3]]
+;
+ %t = sub i64 ptrtoint (i64* @g to i64), %arg
+ %t1 = icmp slt i64 %t, 0
+ %t2 = sub nsw i64 0, %t
+ %t3 = select i1 %t1, i64 %t2, i64 %t
+ ret i64 %t3
+}
More information about the llvm-commits
mailing list