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

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

lib/Analysis/InstructionSimplify.cpp

index 2e591ccc8a0558b99b381585c908856ad81f4cd1..831ff2f09b1892e7ddbb6096df0300c6efece315 100644 (file)
@@ -1408,8 +1408,7 @@ static Value *SimplifyAShrInst(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)->hasNoSignedWrap())
+  if (match(Op0, m_NSWShl(m_Value(X), m_Specific(Op1))))
     return X;
 
   // Arithmetic shifting an all-sign-bit value is a no-op.