Lines Matching defs:IsNUW

635 static Value *simplifyAddInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
672   if ((IsNSW || IsNUW) && match(Op1, m_SignMask()) &&
677   if (IsNUW && match(Op1, m_AllOnes()))
702 Value *llvm::simplifyAddInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
704   return ::simplifyAddInst(Op0, Op1, IsNSW, IsNUW, Query, RecursionLimit);
787 static Value *simplifySubInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
813     if (IsNUW)
923 Value *llvm::simplifySubInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
925   return ::simplifySubInst(Op0, Op1, IsNSW, IsNUW, Q, RecursionLimit);
930 static Value *simplifyMulInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
995 Value *llvm::simplifyMulInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
997   return ::simplifyMulInst(Op0, Op1, IsNSW, IsNUW, Q, RecursionLimit);
1446 static Value *simplifyShlInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
1456     return IsNSW || IsNUW ? Op0 : Constant::getNullValue(Ty);
1465   if (IsNUW && match(Op0, m_Negative()))
1473   if (IsNSW && IsNUW &&
1480 Value *llvm::simplifyShlInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
1482   return ::simplifyShlInst(Op0, Op1, IsNSW, IsNUW, Q, RecursionLimit);
1721   bool IsNUW = IIQ.hasNoUnsignedWrap(AddInst);
1738   if (C0->getBoolValue() && IsNUW) {
1812   bool IsNUW = IIQ.hasNoUnsignedWrap(AddInst);
1829   if (C0->getBoolValue() && IsNUW) {
6016     return simplifyAddInst(LHS, RHS, /* IsNSW */ false, /* IsNUW */ false, Q,
6019     return simplifySubInst(LHS, RHS,  /* IsNSW */ false, /* IsNUW */ false, Q,
6022     return simplifyMulInst(LHS, RHS, /* IsNSW */ false, /* IsNUW */ false, Q,
6033     return simplifyShlInst(LHS, RHS, /* IsNSW */ false, /* IsNUW */ false, Q,