lib/Analysis/InstructionSimplify.cpp

528 static Value *SimplifyAddInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW,
584 Value *llvm::SimplifyAddInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW,
588   return ::SimplifyAddInst(Op0, Op1, isNSW, isNUW, Query(DL, TLI, DT, AC, CxtI),
660 static Value *SimplifySubInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW,
683   if (isNUW && match(Op0, m_Zero()))
777 Value *llvm::SimplifySubInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW,
781   return ::SimplifySubInst(Op0, Op1, isNSW, isNUW, Query(DL, TLI, DT, AC, CxtI),
1379 static Value *SimplifyShlInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW,
1387     return isNSW || isNUW ? Op0 : Constant::getNullValue(Op0->getType());
1396 Value *llvm::SimplifyShlInst(Value *Op0, Value *Op1, bool isNSW, bool isNUW,
1400   return ::SimplifyShlInst(Op0, Op1, isNSW, isNUW, Query(DL, TLI, DT, AC, CxtI),
1525   bool isNUW = AddInst->hasNoUnsignedWrap();
1544   if (CI1V.getBoolValue() && isNUW) {
1684   bool isNUW = AddInst->hasNoUnsignedWrap();
1703   if (CI1V.getBoolValue() && isNUW) {
3699     return SimplifyAddInst(LHS, RHS, /*isNSW*/false, /*isNUW*/false,
3705     return SimplifySubInst(LHS, RHS, /*isNSW*/false, /*isNUW*/false,
3722     return SimplifyShlInst(LHS, RHS, /*isNSW*/false, /*isNUW*/false,