Searched refs:computeSingleVarRepr (Results 1 – 4 of 4) sorted by relevance
217 MaybeLocalRepr computeSingleVarRepr(const IntegerRelation &cst,
216 MaybeLocalRepr presburger::computeSingleVarRepr( in computeSingleVarRepr() function in presburger
931 computeSingleVarRepr(*this, foundRepr, localOffset + i, in getLocalReprs()
869 auto ulPair = computeSingleVarRepr(cst, foundRepr, pos, dividend, divisor); in detectAsFloorDiv()