Searched refs:inequalities (Results 1 – 17 of 17) sorted by relevance
| /external/llvm-project/mlir/lib/Dialect/SDBM/ |
| D | SDBM.cpp | 187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get() argument
206 for (auto expr : inequalities) in get()
305 for (auto ineq : inequalities) in get()
349 SmallVectorImpl<SDBMExpr> &inequalities, in convertDBMElement() argument
397 inequalities.push_back(rowExpr - colExpr - diffIJValue.getValue()); in convertDBMElement()
402 inequalities.push_back(colExpr - rowExpr - diffJIValue.getValue()); in convertDBMElement()
412 SmallVectorImpl<SDBMExpr> &inequalities) { in convertDBMDiagonalElement() argument
417 inequalities.push_back(selfDifferenceValueExpr); in convertDBMDiagonalElement()
422 SmallVectorImpl<SDBMExpr> &inequalities, in getSDBMExpressions() argument
441 inequalities.push_back( in getSDBMExpressions()
[all …]
|
| /external/llvm-project/mlir/lib/Analysis/ |
| D | AffineStructures.cpp | 160 inequalities.reserve(numReservedInequalities * numReservedCols); in FlatAffineConstraints()
181 inequalities.reserve(set.getNumInequalities() * numReservedCols); in FlatAffineConstraints()
227 inequalities.reserve(newNumReservedCols * numReservedInequalities); in reset()
247 inequalities.reserve(inequalities.size() + in append()
287 inequalities.resize(getNumInequalities() * (getNumCols() + 1)); in addId()
312 atIneq(r, c) = inequalities[r * oldNumReservedCols + c]; in addId()
314 atIneq(r, c + 1) = inequalities[r * oldNumReservedCols + c]; in addId()
776 if (inequalities.size() != getNumInequalities() * numReservedCols) in hasConsistentState()
1435 inequalities.resize(numReservedCols * pos); in removeRedundantInequalities()
1462 inequalities.resize(numReservedCols * pos); in removeRedundantConstraints()
[all …]
|
| /external/llvm-project/mlir/include/mlir/Dialect/SDBM/ |
| D | SDBM.h | 102 static SDBM get(ArrayRef<SDBMExpr> inequalities,
106 SmallVectorImpl<SDBMExpr> &inequalities,
126 SmallVectorImpl<SDBMExpr> &inequalities,
132 SmallVectorImpl<SDBMExpr> &inequalities);
|
| /external/llvm-project/mlir/include/mlir/Analysis/ |
| D | AffineStructures.h | 74 inequalities.reserve(numReservedCols * numReservedInequalities); in numReservedCols()
179 return inequalities[i * numReservedCols + j]; in atIneq()
183 return inequalities[i * numReservedCols + j]; in atIneq()
196 assert(inequalities.size() % numReservedCols == 0 && in getNumInequalities()
198 return inequalities.size() / numReservedCols; in getNumInequalities()
206 return inequalities.capacity() / numReservedCols; in getNumReservedInequalities()
214 return ArrayRef<int64_t>(&inequalities[idx * numReservedCols], in getInequality()
635 SmallVector<int64_t, 64> inequalities; variable
|
| /external/llvm-project/polly/lib/External/isl/doc/ |
| D | reading.tex | 9 for manipulating sets of integers defined by linear inequalities and
|
| D | implementation.tex | 400 {\tt PipLib} converts each into a pair of inequalities.
401 It is also possible to write $r$ equalities as $r+1$ inequalities
1104 The sum of these elements therefore satisfies the same set of inequalities,
|
| D | user.pod | 2191 describing the equalities and the inequalities.
8117 while all inequalities that are redundant with respect to the intersection
|
| /external/llvm-project/llvm/test/Transforms/NewGVN/ |
| D | condprop-xfail.ll | 59 ;; The icmp ne requires an equality table that inserts the inequalities for each
|
| /external/catch2/projects/SelfTest/Baselines/ |
| D | automake.std.approved.txt | 48 :test-result: PASS Greater-than inequalities with different epsilons
54 :test-result: PASS Less-than inequalities with different epsilons
|
| D | console.sw.approved.txt | 5454 Greater-than inequalities with different epsilons
5733 Less-than inequalities with different epsilons
|
| /external/llvm-project/mlir/test/Dialect/Affine/ |
| D | simplify-affine-structures.mlir | 205 // Same as above but with equalities and inequalities.
|
| /external/python/cpython2/Doc/library/ |
| D | unittest.rst | 1103 information and explaining the inequalities in details in the error
|
| /external/python/cpython3/Doc/library/ |
| D | unittest.rst | 1246 information and explaining the inequalities in details in the error
|
| /external/one-true-awk/testdir/ |
| D | funstack.in | 9777 …o achieve the desired result. These methods are derived using certain inequalities satisfied by me…
22415 …abstract = "It is shown that, for a consistent system of linear inequalities, any sequence of …
22421 …s; greyness integrals; image processing; image reconstruction; linear inequalities; mathematical p…
24684 …inequalities or equalities relating linear expressions. It is also assumed that actions in a decis…
|
| /external/jline/src/src/test/resources/jline/example/ |
| D | english.gz | |
| /external/cldr/tools/java/org/unicode/cldr/util/data/transforms/ |
| D | internal_raw_IPA-old.txt | 98323 inequalities %27030 ˈɪnikwˌɑlətiz, ˌɪnɪkwˈɑlətiz
|
| D | internal_raw_IPA.txt | 82961 inequalities %36131 ˈɪnikwˌɑlətiz, ˌɪnɪkwˈɑlətiz
|