Lines Matching refs:isNUW
529 static Value *SimplifyAddInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW, in SimplifyAddInst() argument
582 Value *llvm::SimplifyAddInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW, in SimplifyAddInst() argument
586 return ::SimplifyAddInst(Op0, Op1, isNSW, isNUW, Query(DL, TLI, DT, AC, CxtI), in SimplifyAddInst()
663 static Value *SimplifySubInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW, in SimplifySubInst() argument
683 if (isNUW && match(Op0, m_Zero())) in SimplifySubInst()
777 Value *llvm::SimplifySubInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW, in SimplifySubInst() argument
781 return ::SimplifySubInst(Op0, Op1, isNSW, isNUW, Query(DL, TLI, DT, AC, CxtI), in SimplifySubInst()
1375 static Value *SimplifyShlInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW, in SimplifyShlInst() argument
1383 return isNSW || isNUW ? Op0 : Constant::getNullValue(Op0->getType()); in SimplifyShlInst()
1392 Value *llvm::SimplifyShlInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW, in SimplifyShlInst() argument
1396 return ::SimplifyShlInst(Op0, Op1, isNSW, isNUW, Query(DL, TLI, DT, AC, CxtI), in SimplifyShlInst()
1530 bool isNUW = AddInst->hasNoUnsignedWrap(); in SimplifyAndOfICmps() local
1549 if (CI1V.getBoolValue() && isNUW) { in SimplifyAndOfICmps()
1704 bool isNUW = AddInst->hasNoUnsignedWrap(); in SimplifyOrOfICmps() local
1723 if (CI1V.getBoolValue() && isNUW) { in SimplifyOrOfICmps()