[llvm-commits] [llvm] r73835 - in /llvm/trunk: lib/VMCore/ConstantFold.cpp test/Transforms/ConstProp/div-zero.ll
Chris Lattner
sabre at nondot.org
Sat Jun 20 18:15:56 PDT 2009
Author: lattner
Date: Sat Jun 20 20:15:55 2009
New Revision: 73835
URL: http://llvm.org/viewvc/llvm-project?rev=73835&view=rev
Log:
implement PR4424: 0/x is always 0 for integer division.
Added:
llvm/trunk/test/Transforms/ConstProp/div-zero.ll
Modified:
llvm/trunk/lib/VMCore/ConstantFold.cpp
Modified: llvm/trunk/lib/VMCore/ConstantFold.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/ConstantFold.cpp?rev=73835&r1=73834&r2=73835&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/ConstantFold.cpp (original)
+++ llvm/trunk/lib/VMCore/ConstantFold.cpp Sat Jun 20 20:15:55 2009
@@ -773,6 +773,13 @@
}
}
}
+
+ // 0 / x -> 0.
+ if ((Opcode == Instruction::UDiv ||
+ Opcode == Instruction::SDiv) &&
+ CI1->isZero())
+ return const_cast<Constant*>(C1);
+
} else if (const ConstantFP *CFP1 = dyn_cast<ConstantFP>(C1)) {
if (const ConstantFP *CFP2 = dyn_cast<ConstantFP>(C2)) {
APFloat C1V = CFP1->getValueAPF();
Added: llvm/trunk/test/Transforms/ConstProp/div-zero.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/ConstProp/div-zero.ll?rev=73835&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/ConstProp/div-zero.ll (added)
+++ llvm/trunk/test/Transforms/ConstProp/div-zero.ll Sat Jun 20 20:15:55 2009
@@ -0,0 +1,12 @@
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i32 0}
+; PR4424
+declare void @ext()
+
+define i32 @foo(i32 %ptr) {
+entry:
+ %zero = sub i32 %ptr, %ptr ; <i32> [#uses=1]
+ %div_zero = sdiv i32 %zero, ptrtoint (i32* getelementptr (i32* null,
+i32 1) to i32) ; <i32> [#uses=1]
+ ret i32 %div_zero
+}
+
More information about the llvm-commits
mailing list