Lines Matching refs:IsNUW

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