reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/Analysis/DependenceAnalysis.cpp
  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())) {