Home
last modified time | relevance | path

Searched refs:addLocalFloorDiv (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp632 poly.addLocalFloorDiv({1, 4}, 10); in TEST()
633 poly.addLocalFloorDiv({1, 0, 100}, 10); in TEST()
651 poly.addLocalFloorDiv({0, 0, 0, 0, 100}, 30); in TEST()
652 poly.addLocalFloorDiv({0, 0, 0, 0, 0, 206}, 101); in TEST()
668 poly.addLocalFloorDiv({0, -2, 7, 2, 10}, 3); in TEST()
669 poly.addLocalFloorDiv({3, 0, 9, 2, 2, 10}, 5); in TEST()
670 poly.addLocalFloorDiv({0, 1, -123, 2, 0, -4, 10}, 3); in TEST()
827 poly1.addLocalFloorDiv({1, 0, 0}, 2); // y = [x / 2]. in TEST()
833 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
881 poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2]. in TEST()
[all …]
H A DPresburgerSetTest.cpp556 setA.addLocalFloorDiv({1, 0}, 2); in TEST()
557 setA.addLocalFloorDiv({1, 0, 0}, 2); in TEST()
/llvm-project-15.0.7/mlir/unittests/Dialect/Affine/Analysis/
H A DAffineStructuresParserTest.cpp33 fac.addLocalFloorDiv(div.first, div.second);
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h380 void addLocalFloorDiv(ArrayRef<int64_t> dividend, int64_t divisor);
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp63 localVarCst.addLocalFloorDiv(dividend, divisor); in addLocalFloorDivId()
615 addLocalFloorDiv(dividend, step); in addAffineForOpDomain()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp416 domainPoly.addLocalFloorDiv(divCoeffs, divDenom); in addSymbolicCut()
H A DIntegerRelation.cpp1314 void IntegerRelation::addLocalFloorDiv(ArrayRef<int64_t> dividend, in addLocalFloorDiv() function in IntegerRelation