Lines Matching defs:IsNUW

589 static Value *simplifyAddInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
626   if ((IsNSW || IsNUW) && match(Op1, m_SignMask()) &&
631   if (IsNUW && match(Op1, m_AllOnes()))
656 Value *llvm::simplifyAddInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
658   return ::simplifyAddInst(Op0, Op1, IsNSW, IsNUW, Query, RecursionLimit);
741 static Value *simplifySubInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
767     if (IsNUW)
875   if (IsNUW) {
885 Value *llvm::simplifySubInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
887   return ::simplifySubInst(Op0, Op1, IsNSW, IsNUW, Q, RecursionLimit);
892 static Value *simplifyMulInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
957 Value *llvm::simplifyMulInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
959   return ::simplifyMulInst(Op0, Op1, IsNSW, IsNUW, Q, RecursionLimit);
1395 static Value *simplifyShlInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
1405     return IsNSW || IsNUW ? Op0 : Constant::getNullValue(Ty);
1414   if (IsNUW && match(Op0, m_Negative()))
1422   if (IsNSW && IsNUW &&
1429 Value *llvm::simplifyShlInst(Value *Op0, Value *Op1, bool IsNSW, bool IsNUW,
1431   return ::simplifyShlInst(Op0, Op1, IsNSW, IsNUW, Q, RecursionLimit);
1670   bool IsNUW = IIQ.hasNoUnsignedWrap(AddInst);
1687   if (C0->getBoolValue() && IsNUW) {
1761   bool IsNUW = IIQ.hasNoUnsignedWrap(AddInst);
1778   if (C0->getBoolValue() && IsNUW) {
6052     return simplifyAddInst(LHS, RHS, /* IsNSW */ false, /* IsNUW */ false, Q,
6055     return simplifySubInst(LHS, RHS,  /* IsNSW */ false, /* IsNUW */ false, Q,
6058     return simplifyMulInst(LHS, RHS, /* IsNSW */ false, /* IsNUW */ false, Q,
6069     return simplifyShlInst(LHS, RHS, /* IsNSW */ false, /* IsNUW */ false, Q,