reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
433 LLVM_DEBUG(dbgs() << "\t X ="; X->dump(dbgs())); 436 if (X->isAny()) { 439 *X = *Y; 442 if (X->isEmpty()) 445 X->setEmpty(); 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())) { 454 X->setEmpty(); 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()); 488 X->setEmpty(); 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()); 529 X->setEmpty(); 535 X->setEmpty(); 540 collectConstantUpperBound(X->getAssociatedLoop(), Prod1->getType())) { 544 X->setEmpty(); 549 X->setPoint(SE->getConstant(Xq), 551 X->getAssociatedLoop()); 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()); 569 X->setEmpty();