Lines Matching refs:ICMP_ULT
3441 case ICMP_ULT: return ICMP_UGE; in getInversePredicate()
3442 case ICMP_UGE: return ICMP_ULT; in getInversePredicate()
3477 case ICMP_ULT: return ICMP_SLT; in getSignedPredicate()
3487 case ICMP_UGT: case ICMP_ULT: case ICMP_UGE: case ICMP_ULE: in getUnsignedPredicate()
3490 case ICMP_SLT: return ICMP_ULT; in getUnsignedPredicate()
3507 case ICmpInst::ICMP_ULT: in makeConstantRange()
3568 case ICMP_UGT: return ICMP_ULT; in getSwappedPredicate()
3569 case ICMP_ULT: return ICMP_UGT; in getSwappedPredicate()
3595 case CmpInst::ICMP_ULT: in getSignedPredicate()
3609 case ICmpInst::ICMP_ULT: case ICmpInst::ICMP_ULE: case ICmpInst::ICMP_UGT: in isUnsigned()
3650 case ICMP_NE: case ICMP_UGT: case ICMP_ULT: case ICMP_SGT: case ICMP_SLT: in isFalseWhenEqual()
3671 case ICMP_ULT: // A <u B implies A != B and A <=u B are true. in isImpliedTrueByMatchingCmp()