Searched refs:C2_C1 (Results 1 – 1 of 1) sorted by relevance
2126 const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1); in symbolicRDIVtest() local2128 LLVM_DEBUG(dbgs() << "\t C2 - C1 = " << *C2_C1 << "\n"); in symbolicRDIVtest()2137 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) { in symbolicRDIVtest()2160 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) { in symbolicRDIVtest()2166 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()2181 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) { in symbolicRDIVtest()2187 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()2198 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) { in symbolicRDIVtest()