Searched refs:eqPos (Results 1 – 2 of 2) sorted by relevance
242 for (unsigned eqPos : eqIndices) { in computeSingleVarRepr() local244 if (failed(getDivRepr(cst, pos, eqPos, dividend, divisor))) in computeSingleVarRepr()251 repr.repr.equalityIdx = eqPos; in computeSingleVarRepr()
1401 int eqPos = findEqualityToConstant(*this, pos, /*symbolic=*/true); in getConstantBoundOnDimSize() local1402 if (eqPos != -1) { in getConstantBoundOnDimSize()1403 auto eq = getEquality(eqPos); in getConstantBoundOnDimSize()1418 int64_t v = atEq(eqPos, pos); in getConstantBoundOnDimSize()1421 (*lb)[c] = v < 0 ? atEq(eqPos, getNumDimVars() + c) / -v in getConstantBoundOnDimSize()1422 : -atEq(eqPos, getNumDimVars() + c) / v; in getConstantBoundOnDimSize()1432 *minLbPos = eqPos; in getConstantBoundOnDimSize()1434 *minUbPos = eqPos; in getConstantBoundOnDimSize()