Home
last modified time | relevance | path

Searched refs:detectRedundant (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp240 simplex.detectRedundant(); in TEST()
248 simplex.detectRedundant(); in TEST()
257 simplex.detectRedundant(); in TEST()
265 simplex.detectRedundant(); in TEST()
273 simplex.detectRedundant(); in TEST()
281 simplex.detectRedundant(); in TEST()
289 simplex.detectRedundant(); in TEST()
297 simplex.detectRedundant(); in TEST()
311 simplex.detectRedundant(); in TEST()
331 simplex.detectRedundant(); in TEST()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h759 void detectRedundant(unsigned offset, unsigned count);
760 void detectRedundant(unsigned offset) { in detectRedundant() function
762 detectRedundant(offset, con.size() - offset); in detectRedundant()
764 void detectRedundant() { detectRedundant(0, con.size()); } in detectRedundant() function
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp352 simplex.detectRedundant(offset, totalNewSimplexInequalities); in getSetDifference()
H A DSimplex.cpp1395 void Simplex::detectRedundant(unsigned offset, unsigned count) { in detectRedundant() function in Simplex
H A DIntegerRelation.cpp1058 simplex.detectRedundant(); in removeRedundantConstraints()