Lines Matching refs:CmpInst
54 ConstantRange ConstantRange::makeAllowedICmpRegion(CmpInst::Predicate Pred, in makeAllowedICmpRegion()
63 case CmpInst::ICMP_EQ: in makeAllowedICmpRegion()
65 case CmpInst::ICMP_NE: in makeAllowedICmpRegion()
69 case CmpInst::ICMP_ULT: { in makeAllowedICmpRegion()
75 case CmpInst::ICMP_SLT: { in makeAllowedICmpRegion()
81 case CmpInst::ICMP_ULE: { in makeAllowedICmpRegion()
87 case CmpInst::ICMP_SLE: { in makeAllowedICmpRegion()
93 case CmpInst::ICMP_UGT: { in makeAllowedICmpRegion()
99 case CmpInst::ICMP_SGT: { in makeAllowedICmpRegion()
105 case CmpInst::ICMP_UGE: { in makeAllowedICmpRegion()
111 case CmpInst::ICMP_SGE: { in makeAllowedICmpRegion()
120 ConstantRange ConstantRange::makeSatisfyingICmpRegion(CmpInst::Predicate Pred, in makeSatisfyingICmpRegion()
126 return makeAllowedICmpRegion(CmpInst::getInversePredicate(Pred), CR) in makeSatisfyingICmpRegion()
130 ConstantRange ConstantRange::makeExactICmpRegion(CmpInst::Predicate Pred, in makeExactICmpRegion()
142 bool ConstantRange::getEquivalentICmp(CmpInst::Predicate &Pred, in getEquivalentICmp()
147 Pred = isEmptySet() ? CmpInst::ICMP_ULT : CmpInst::ICMP_UGE; in getEquivalentICmp()
152 getLower().isMinSignedValue() ? CmpInst::ICMP_SLT : CmpInst::ICMP_ULT; in getEquivalentICmp()
157 getUpper().isMinSignedValue() ? CmpInst::ICMP_SGE : CmpInst::ICMP_UGE; in getEquivalentICmp()