Searched refs:C2_C1 (Results 1 – 1 of 1) sorted by relevance
2145 const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1); in symbolicRDIVtest() local2147 LLVM_DEBUG(dbgs() << "\t C2 - C1 = " << *C2_C1 << "\n"); in symbolicRDIVtest()2156 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) { in symbolicRDIVtest()2179 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) { in symbolicRDIVtest()2185 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()2200 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) { in symbolicRDIVtest()2206 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()2217 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) { in symbolicRDIVtest()