[llvm-commits] [llvm] r134777 - /llvm/trunk/lib/Transforms/Scalar/GVN.cpp
Lang Hames
lhames at gmail.com
Fri Jul 8 17:25:11 PDT 2011
Author: lhames
Date: Fri Jul 8 19:25:11 2011
New Revision: 134777
URL: http://llvm.org/viewvc/llvm-project?rev=134777&view=rev
Log:
Added recognition for signed add/sub/mul with overflow intrinsics to GVN as per Chris and Frits suggestion.
Modified:
llvm/trunk/lib/Transforms/Scalar/GVN.cpp
Modified: llvm/trunk/lib/Transforms/Scalar/GVN.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/GVN.cpp?rev=134777&r1=134776&r2=134777&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/GVN.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/GVN.cpp Fri Jul 8 19:25:11 2011
@@ -173,12 +173,15 @@
// is we'll synthesize a semantically equivalent expression instead on
// an extract value expression.
switch (I->getIntrinsicID()) {
+ case Intrinsic::sadd_with_overflow:
case Intrinsic::uadd_with_overflow:
e.opcode = Instruction::Add;
break;
+ case Intrinsic::ssub_with_overflow:
case Intrinsic::usub_with_overflow:
e.opcode = Instruction::Sub;
break;
+ case Intrinsic::smul_with_overflow:
case Intrinsic::umul_with_overflow:
e.opcode = Instruction::Mul;
break;
More information about the llvm-commits
mailing list