From: Lang Hames <lhames@gmail.com>
Date: Sat, 9 Jul 2011 00:25:11 +0000 (+0000)
Subject: Added recognition for signed add/sub/mul with overflow intrinsics to GVN as per Chris... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bd1828c6ed8e699dc3efe69271e58085f35a5db3;p=oota-llvm.git

Added recognition for signed add/sub/mul with overflow intrinsics to GVN as per Chris and Frits suggestion.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134777 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Transforms/Scalar/GVN.cpp b/lib/Transforms/Scalar/GVN.cpp
index e6bc77fb8ef..87b7317ad2d 100644
--- a/lib/Transforms/Scalar/GVN.cpp
+++ b/lib/Transforms/Scalar/GVN.cpp
@@ -173,12 +173,15 @@ Expression ValueTable::create_extractvalue_expression(ExtractValueInst *EI) {
     // 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;