Lines Matching refs:CmpInst

97 ConstantRange ConstantRange::makeAllowedICmpRegion(CmpInst::Predicate Pred,  in makeAllowedICmpRegion()
106 case CmpInst::ICMP_EQ: in makeAllowedICmpRegion()
108 case CmpInst::ICMP_NE: in makeAllowedICmpRegion()
112 case CmpInst::ICMP_ULT: { in makeAllowedICmpRegion()
118 case CmpInst::ICMP_SLT: { in makeAllowedICmpRegion()
124 case CmpInst::ICMP_ULE: in makeAllowedICmpRegion()
126 case CmpInst::ICMP_SLE: in makeAllowedICmpRegion()
128 case CmpInst::ICMP_UGT: { in makeAllowedICmpRegion()
134 case CmpInst::ICMP_SGT: { in makeAllowedICmpRegion()
140 case CmpInst::ICMP_UGE: in makeAllowedICmpRegion()
142 case CmpInst::ICMP_SGE: in makeAllowedICmpRegion()
147 ConstantRange ConstantRange::makeSatisfyingICmpRegion(CmpInst::Predicate Pred, in makeSatisfyingICmpRegion()
153 return makeAllowedICmpRegion(CmpInst::getInversePredicate(Pred), CR) in makeSatisfyingICmpRegion()
157 ConstantRange ConstantRange::makeExactICmpRegion(CmpInst::Predicate Pred, in makeExactICmpRegion()
187 CmpInst::Predicate ConstantRange::getEquivalentPredWithFlippedSignedness( in getEquivalentPredWithFlippedSignedness()
188 CmpInst::Predicate Pred, const ConstantRange &CR1, in getEquivalentPredWithFlippedSignedness()
190 assert(CmpInst::isIntPredicate(Pred) && CmpInst::isRelational(Pred) && in getEquivalentPredWithFlippedSignedness()
193 CmpInst::Predicate FlippedSignednessPred = in getEquivalentPredWithFlippedSignedness()
194 CmpInst::getFlippedSignednessPredicate(Pred); in getEquivalentPredWithFlippedSignedness()
200 return CmpInst::getInversePredicate(FlippedSignednessPred); in getEquivalentPredWithFlippedSignedness()
202 return CmpInst::Predicate::BAD_ICMP_PREDICATE; in getEquivalentPredWithFlippedSignedness()
205 void ConstantRange::getEquivalentICmp(CmpInst::Predicate &Pred, in getEquivalentICmp()
209 Pred = isEmptySet() ? CmpInst::ICMP_ULT : CmpInst::ICMP_UGE; in getEquivalentICmp()
212 Pred = CmpInst::ICMP_EQ; in getEquivalentICmp()
215 Pred = CmpInst::ICMP_NE; in getEquivalentICmp()
219 getLower().isMinSignedValue() ? CmpInst::ICMP_SLT : CmpInst::ICMP_ULT; in getEquivalentICmp()
223 getUpper().isMinSignedValue() ? CmpInst::ICMP_SGE : CmpInst::ICMP_UGE; in getEquivalentICmp()
226 Pred = CmpInst::ICMP_ULT; in getEquivalentICmp()
235 bool ConstantRange::getEquivalentICmp(CmpInst::Predicate &Pred, in getEquivalentICmp()
242 bool ConstantRange::icmp(CmpInst::Predicate Pred, in icmp()
248 case CmpInst::ICMP_EQ: in icmp()
253 case CmpInst::ICMP_NE: in icmp()
255 case CmpInst::ICMP_ULT: in icmp()
257 case CmpInst::ICMP_ULE: in icmp()
259 case CmpInst::ICMP_UGT: in icmp()
261 case CmpInst::ICMP_UGE: in icmp()
263 case CmpInst::ICMP_SLT: in icmp()
265 case CmpInst::ICMP_SLE: in icmp()
267 case CmpInst::ICMP_SGT: in icmp()
269 case CmpInst::ICMP_SGE: in icmp()