Searched refs:checkDivisionRepresentation (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerPolyhedronTest.cpp | 608 static void checkDivisionRepresentation( in checkDivisionRepresentation() function
641 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
659 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
683 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
704 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
717 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
730 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
740 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
780 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
794 checkDivisionRepresentation(poly, divisions, denoms); in TEST()
[all …]
|