InstSimplify: Fold a hasNoUnsignedWrap() call into a match() expression
authorDavid Majnemer <david.majnemer@gmail.com>
Tue, 4 Nov 2014 17:38:50 +0000 (17:38 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Tue, 4 Nov 2014 17:38:50 +0000 (17:38 +0000)
No functionality change intended, it's just a little more concise.

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

lib/Analysis/InstructionSimplify.cpp

index a01bac2077f4f0b745a25823cb954e3740541b20..2e591ccc8a0558b99b381585c908856ad81f4cd1 100644 (file)
@@ -1371,8 +1371,7 @@ static Value *SimplifyLShrInst(Value *Op0, Value *Op1, bool isExact,
 
   // (X << A) >> A -> X
   Value *X;
-  if (match(Op0, m_Shl(m_Value(X), m_Specific(Op1))) &&
-      cast<OverflowingBinaryOperator>(Op0)->hasNoUnsignedWrap())
+  if (match(Op0, m_NUWShl(m_Value(X), m_Specific(Op1))))
     return X;
 
   return nullptr;