Lines Matching refs:isExact
1346 Value *Op1, bool isExact, in simplifyRightShift() argument
1359 return isExact ? Op0 : Constant::getNullValue(Op0->getType()); in simplifyRightShift()
1362 if (isExact) { in simplifyRightShift()
1407 static Value *simplifyLShrInst(Value *Op0, Value *Op1, bool isExact, in simplifyLShrInst() argument
1409 if (Value *V = simplifyRightShift(Instruction::LShr, Op0, Op1, isExact, Q, in simplifyLShrInst()
1437 Value *llvm::simplifyLShrInst(Value *Op0, Value *Op1, bool isExact, in simplifyLShrInst() argument
1439 return ::simplifyLShrInst(Op0, Op1, isExact, Q, RecursionLimit); in simplifyLShrInst()
1444 static Value *simplifyAShrInst(Value *Op0, Value *Op1, bool isExact, in simplifyAShrInst() argument
1446 if (Value *V = simplifyRightShift(Instruction::AShr, Op0, Op1, isExact, Q, in simplifyAShrInst()
1470 Value *llvm::simplifyAShrInst(Value *Op0, Value *Op1, bool isExact, in simplifyAShrInst() argument
1472 return ::simplifyAShrInst(Op0, Op1, isExact, Q, RecursionLimit); in simplifyAShrInst()
3334 if (ICmpInst::isSigned(Pred) || !Q.IIQ.isExact(LBO) || in simplifyICmpWithBinOp()
3335 !Q.IIQ.isExact(RBO)) in simplifyICmpWithBinOp()
3342 if (!ICmpInst::isEquality(Pred) || !Q.IIQ.isExact(LBO) || in simplifyICmpWithBinOp()
3343 !Q.IIQ.isExact(RBO)) in simplifyICmpWithBinOp()
3350 if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO)) in simplifyICmpWithBinOp()
6359 Q.IIQ.isExact(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()
6363 Q.IIQ.isExact(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()