Home
last modified time | relevance | path

Searched refs:equalities (Results 1 – 8 of 8) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h67 : space(space), equalities(0, space.getNumVars() + 1, in IntegerRelation()
136 inline int64_t atEq(unsigned i, unsigned j) const { return equalities(i, j); } in atEq()
137 inline int64_t &atEq(unsigned i, unsigned j) { return equalities(i, j); } in atEq()
163 inline unsigned getNumEqualities() const { return equalities.getNumRows(); } in getNumEqualities()
170 return equalities.getNumReservedRows(); in getNumReservedEqualities()
178 return equalities.getRow(idx); in getEquality()
712 Matrix equalities; variable
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp59 equalities.reserveRows(equalities.getNumRows() + other.getNumEqualities()); in append()
278 equalities(row, i) = eq[i]; in addEquality()
349 equalities.removeRow(pos); in removeEquality()
380 equalities.resizeVertically(0); in clearConstraints()
486 equalities.normalizeRow(i); in normalizeConstraintsByGCD()
999 equalities.normalizeRow(i); in gaussianEliminateVars()
1078 equalities.copyRow(r, pos++); in removeRedundantConstraints()
1080 equalities.resizeVertically(pos); in removeRedundantConstraints()
1219 equalities.normalizeRow(i); in removeRedundantLocalVars()
1243 equalities.normalizeRow(k); in removeRedundantLocalVars()
[all …]
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Dimplementation.tex380 check for implicit equalities among the integer points by computing
384 bring huge benefits if any equalities can be found or if the problem
397 \subsubsection{Exploiting Equalities}\label{s:equalities}
399 If there are any (explicit) equalities in the input description,
401 It is also possible to write $r$ equalities as $r+1$ inequalities
403 equalities to reduce the dimensionality of the problem.
443 Currently, {\tt isl} also eliminates equalities involving only parameters
446 would obviate the need for removing parametric equalities.
490 It may in some cases be apparent from the equalities in the problem
503 of equalities described above there should be
H A Disl.bib219 title = {Solving systems of affine (in)equalities},
H A Duser.pod2310 describing the equalities and the inequalities.
6234 =item * Detecting equalities
6250 equalities.
/llvm-project-15.0.7/mlir/test/Dialect/Affine/
H A Dsimplify-structures.mlir204 // Same as above but with equalities and inequalities.
217 // Same as above but with equalities added into the mix.
/llvm-project-15.0.7/llvm/docs/Frontend/
H A DPerformanceTips.rst170 comparison type. The GVN pass *will* optimize redundant equalities even if
/llvm-project-15.0.7/mlir/test/mlir-tblgen/
H A Dop-format-spec.td598 // Check that we can infer type equalities from certain traits.