Searched refs:eqToAdd (Results 1 – 1 of 1) sorted by relevance
502 SmallVector<int64_t, 8> eqToAdd(getNumCols(), 0); in composeMap() local504 eqToAdd[r] = 1; in composeMap()513 eqToAdd[loc] = -flatExpr[i]; in composeMap()519 eqToAdd[j] = -flatExpr[i]; in composeMap()523 eqToAdd[getNumCols() - 1] = -flatExpr[flatExpr.size() - 1]; in composeMap()526 addEquality(eqToAdd); in composeMap()575 SmallVector<int64_t, 8> eqToAdd(getNumCols(), 0); in composeMatchingMap() local577 eqToAdd[r] = 1; in composeMatchingMap()582 eqToAdd[e + i] = -flatExpr[i]; in composeMatchingMap()588 eqToAdd[j] = -flatExpr[i]; in composeMatchingMap()[all …]