Lines Matching refs:IIQ
897 if (Q.IIQ.UseInstrInfo && in SimplifyMulInst()
1009 if ((IsSigned && Q.IIQ.hasNoSignedWrap(Mul)) || in simplifyDivRem()
1010 (!IsSigned && Q.IIQ.hasNoUnsignedWrap(Mul)) || in simplifyDivRem()
1143 if (Q.IIQ.UseInstrInfo && in simplifyRem()
1368 if (Q.IIQ.UseInstrInfo && in SimplifyShlInst()
1439 if (Q.IIQ.UseInstrInfo && match(Op0, m_NSWShl(m_Value(X), m_Specific(Op1)))) in SimplifyAShrInst()
1694 const InstrInfoQuery &IIQ) { in simplifyAndOfICmpsWithAdd() argument
1710 bool isNSW = IIQ.hasNoSignedWrap(AddInst); in simplifyAndOfICmpsWithAdd()
1711 bool isNUW = IIQ.hasNoUnsignedWrap(AddInst); in simplifyAndOfICmpsWithAdd()
1821 if (Value *X = simplifyAndOfICmpsWithAdd(Op0, Op1, Q.IIQ)) in simplifyAndOfICmps()
1823 if (Value *X = simplifyAndOfICmpsWithAdd(Op1, Op0, Q.IIQ)) in simplifyAndOfICmps()
1830 const InstrInfoQuery &IIQ) { in simplifyOrOfICmpsWithAdd() argument
1846 bool isNSW = IIQ.hasNoSignedWrap(AddInst); in simplifyOrOfICmpsWithAdd()
1847 bool isNUW = IIQ.hasNoUnsignedWrap(AddInst); in simplifyOrOfICmpsWithAdd()
1897 if (Value *X = simplifyOrOfICmpsWithAdd(Op0, Op1, Q.IIQ)) in simplifyOrOfICmps()
1899 if (Value *X = simplifyOrOfICmpsWithAdd(Op1, Op0, Q.IIQ)) in simplifyOrOfICmps()
2463 const InstrInfoQuery &IIQ = Q.IIQ; in computePointerICmp() local
2472 IIQ.UseInstrInfo)) in computePointerICmp()
2736 if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo)) in simplifyICmpWithZero()
2741 if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo)) in simplifyICmpWithZero()
2784 Value *RHS, const InstrInfoQuery &IIQ) { in simplifyICmpWithConstant() argument
2810 ConstantRange LHS_CR = computeConstantRange(LHS, IIQ.UseInstrInfo); in simplifyICmpWithConstant()
2991 Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO))) || in simplifyICmpWithBinOp()
2993 Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO))); in simplifyICmpWithBinOp()
3001 Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(RBO))) || in simplifyICmpWithBinOp()
3003 Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(RBO))); in simplifyICmpWithBinOp()
3091 if (Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)) || in simplifyICmpWithBinOp()
3092 Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO)) || in simplifyICmpWithBinOp()
3118 if (ICmpInst::isSigned(Pred) || !Q.IIQ.isExact(LBO) || in simplifyICmpWithBinOp()
3119 !Q.IIQ.isExact(RBO)) in simplifyICmpWithBinOp()
3126 if (!ICmpInst::isEquality(Pred) || !Q.IIQ.isExact(LBO) || in simplifyICmpWithBinOp()
3127 !Q.IIQ.isExact(RBO)) in simplifyICmpWithBinOp()
3134 if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO)) in simplifyICmpWithBinOp()
3141 bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO); in simplifyICmpWithBinOp()
3142 bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO); in simplifyICmpWithBinOp()
3410 if (Value *V = simplifyICmpWithConstant(Pred, LHS, RHS, Q.IIQ)) in SimplifyICmpInst()
3419 if (Q.IIQ.getMetadata(RHS_Instr, LLVMContext::MD_range) && in SimplifyICmpInst()
3420 Q.IIQ.getMetadata(LHS_Instr, LLVMContext::MD_range)) { in SimplifyICmpInst()
3615 isKnownNonEqual(LHS, RHS, Q.DL, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo)) { in SimplifyICmpInst()
6106 NewOps[0], NewOps[1], Q.IIQ.hasNoSignedWrap(cast<BinaryOperator>(I)), in simplifyInstructionWithOperands()
6107 Q.IIQ.hasNoUnsignedWrap(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()
6114 NewOps[0], NewOps[1], Q.IIQ.hasNoSignedWrap(cast<BinaryOperator>(I)), in simplifyInstructionWithOperands()
6115 Q.IIQ.hasNoUnsignedWrap(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()
6143 NewOps[0], NewOps[1], Q.IIQ.hasNoSignedWrap(cast<BinaryOperator>(I)), in simplifyInstructionWithOperands()
6144 Q.IIQ.hasNoUnsignedWrap(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()
6148 Q.IIQ.isExact(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()
6152 Q.IIQ.isExact(cast<BinaryOperator>(I)), Q); in simplifyInstructionWithOperands()