Searched refs:C2_C1 (Results 1 – 1 of 1) sorted by relevance
2050 const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1); in symbolicRDIVtest() local2052 LLVM_DEBUG(dbgs() << "\t C2 - C1 = " << *C2_C1 << "\n"); in symbolicRDIVtest()2061 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) { in symbolicRDIVtest()2084 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) { in symbolicRDIVtest()2090 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()2105 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) { in symbolicRDIVtest()2111 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()2122 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) { in symbolicRDIVtest()