Home | History | Annotate | Download | only in Analysis

Lines Matching refs:ICMP_SLE

1527       if (Pred0 == ICmpInst::ICMP_SLE && Pred1 == ICmpInst::ICMP_SGT && isNSW)
1678 if (Pred0 == ICmpInst::ICMP_UGE && Pred1 == ICmpInst::ICMP_SLE)
1680 if (Pred0 == ICmpInst::ICMP_SGE && Pred1 == ICmpInst::ICMP_SLE && isNSW)
1684 if (Pred0 == ICmpInst::ICMP_UGT && Pred1 == ICmpInst::ICMP_SLE)
1686 if (Pred0 == ICmpInst::ICMP_SGT && Pred1 == ICmpInst::ICMP_SLE && isNSW)
2171 case ICmpInst::ICMP_SLE:
2206 case ICmpInst::ICMP_SLE:
2436 case ICmpInst::ICMP_SLE:
2487 case ICmpInst::ICMP_SLE:
2629 if (Pred == ICmpInst::ICMP_SLE)
2655 case ICmpInst::ICMP_SLE:
2686 case ICmpInst::ICMP_SLE:
2795 EqP = CmpInst::ICMP_SLE; // "A == smin(A, B)" iff "A sle B".
2802 EqP = CmpInst::ICMP_SLE; // "A == smin(A, B)" iff "A sle B".
2813 case CmpInst::ICMP_SLE:
2935 if (Pred == CmpInst::ICMP_SLE)