Lines Matching refs:dependenceDomain
382 FlatAffineValueConstraints *dependenceDomain) { in addOrderingConstraints() argument
383 unsigned numCols = dependenceDomain->getNumCols(); in addOrderingConstraints()
394 dependenceDomain->addInequality(eq); in addOrderingConstraints()
396 dependenceDomain->addEquality(eq); in addOrderingConstraints()
408 FlatAffineValueConstraints *dependenceDomain, in computeDirectionVector() argument
417 unsigned numIdsToEliminate = dependenceDomain->getNumVars(); in computeDirectionVector()
420 dependenceDomain->insertDimVar(/*pos=*/0, /*num=*/numCommonLoops); in computeDirectionVector()
425 eq.resize(dependenceDomain->getNumCols()); in computeDirectionVector()
434 dependenceDomain->addEquality(eq); in computeDirectionVector()
438 dependenceDomain->projectOut(numCommonLoops, numIdsToEliminate); in computeDirectionVector()
445 auto lbConst = dependenceDomain->getConstantBound(IntegerPolyhedron::LB, j); in computeDirectionVector()
448 auto ubConst = dependenceDomain->getConstantBound(IntegerPolyhedron::UB, j); in computeDirectionVector()