commit c2e31c1461f96e3d8325e58ef396a865adf7b302
author Benjamin Kramer <benny.kra@googlemail.com> Fri Apr 29 08:15:41 2011 +0000
committer Benjamin Kramer <benny.kra@googlemail.com> Fri Apr 29 08:15:41 2011 +0000
tree 30c2abefa11634eb5e55c0d9fe621c43e3f9099c
parent bb0fff0cb433eaabfad88d934be02097bd62ccda

InstCombine: turn (C1 << A) << C2) into (C1 << C2) << A)

Fixes PR9809.

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

lib/Transforms/InstCombine/InstCombineShifts.cpp

diff --git a/lib/Transforms/InstCombine/InstCombineShifts.cpp b/lib/Transforms/InstCombine/InstCombineShifts.cpp
index a7f8005..8143b25 100644
--- a/lib/Transforms/InstCombine/InstCombineShifts.cpp
+++ b/lib/Transforms/InstCombine/InstCombineShifts.cpp
@@ -644,7 +644,14 @@
       return &I;
     }
   }
-  
+
+  // (C1 << A) << C2) -> (C1 << C2) << A)
+  Constant *C1, *C2;
+  Value *A;
+  if (match(I.getOperand(0), m_OneUse(m_Shl(m_Constant(C1), m_Value(A)))) &&
+      match(I.getOperand(1), m_Constant(C2)))
+    return BinaryOperator::CreateShl(ConstantExpr::getShl(C1, C2), A);
+
   return 0;    
 }