Home
last modified time | relevance | path

Searched refs:appendVariable (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp425 TEST(SimplexTest, appendVariable) { in TEST() argument
429 simplex.appendVariable(); in TEST()
430 simplex.appendVariable(0); in TEST()
438 simplex.appendVariable(2); in TEST()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h183 void appendVariable(unsigned count = 1);
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp347 appendVariable(); in appendSymbol()
1273 appendVariable(); in addDivisionVariable()
1287 void SimplexBase::appendVariable(unsigned count) { in appendVariable() function in SimplexBase
H A DPresburgerRelation.cpp313 simplex.appendVariable(numLocalsAdded); in getSetDifference()