Home
last modified time | relevance | path

Searched refs:constTerm (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/mlir/lib/IR/
H A DAffineExpr.cpp920 int64_t constTerm = flatExprs[flatExprs.size() - 1]; in getAffineExprFromFlatForm() local
921 if (constTerm != 0) in getAffineExprFromFlatForm()
922 expr = expr + constTerm; in getAffineExprFromFlatForm()
1095 int64_t constTerm = flatExprs.back(); in getSemiAffineExprFromFlatForm() local
1096 if (constTerm != 0) in getSemiAffineExprFromFlatForm()
1097 expr = expr + constTerm; in getSemiAffineExprFromFlatForm()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp1019 int64_t constTerm = tableau(row, 1); in findPivotRow() local
1024 retConst = constTerm; in findPivotRow()
1028 int64_t diff = retConst * elem - constTerm * retElem; in findPivotRow()
1033 retConst = constTerm; in findPivotRow()
1276 int64_t constTerm = ineq.back(); in addDivisionVariable() local
1278 ineq.push_back(constTerm); in addDivisionVariable()
H A DIntegerRelation.cpp1662 int64_t constTerm = atIneq(r, getNumCols() - 1); in removeTrivialRedundancy() local
1665 rowsWithoutConstTerm.insert({rowWithoutConstTerm, {r, constTerm}}); in removeTrivialRedundancy()
1669 if (val.second > constTerm) { in removeTrivialRedundancy()
1672 val = {r, constTerm}; in removeTrivialRedundancy()