reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
434 LLVM_DEBUG(dbgs() << "\t Y ="; Y->dump(dbgs())); 435 assert(!Y->isPoint() && "Y must not be a Point"); 437 if (Y->isAny()) 439 *X = *Y; 444 if (Y->isEmpty()) { 449 if (X->isDistance() && Y->isDistance()) { 451 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) 453 if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) { 460 if (isa<SCEVConstant>(Y->getD())) { 461 *X = *Y; 473 assert(!(X->isPoint() && Y->isPoint()) && 476 if (X->isLine() && Y->isLine()) { 478 const SCEV *Prod1 = SE->getMulExpr(X->getA(), Y->getB()); 479 const SCEV *Prod2 = SE->getMulExpr(X->getB(), Y->getA()); 483 Prod1 = SE->getMulExpr(X->getC(), Y->getB()); 484 Prod2 = SE->getMulExpr(X->getB(), Y->getC()); 497 const SCEV *C1B2 = SE->getMulExpr(X->getC(), Y->getB()); 498 const SCEV *C1A2 = SE->getMulExpr(X->getC(), Y->getA()); 499 const SCEV *C2B1 = SE->getMulExpr(Y->getC(), X->getB()); 500 const SCEV *C2A1 = SE->getMulExpr(Y->getC(), X->getA()); 501 const SCEV *A1B2 = SE->getMulExpr(X->getA(), Y->getB()); 502 const SCEV *A2B1 = SE->getMulExpr(Y->getA(), X->getB()); 559 assert(!(X->isLine() && Y->isPoint()) && "This case should never occur"); 561 if (X->isPoint() && Y->isLine()) { 563 const SCEV *A1X1 = SE->getMulExpr(Y->getA(), X->getX()); 564 const SCEV *B1Y1 = SE->getMulExpr(Y->getB(), X->getY()); 566 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) 568 if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) {