loki.analyse.tests.test_util_polyhedron
Functions
|
|
|
|
|
Find all loops in the AST and structure them depending on their nesting level |
|
|
|
Test the production of lower and upper bounds. |
|
Test converting loop ranges to polyedron representation of iteration space. |
Test known limitation of the conversion from loop ranges to polyhedron. |
- fixture_here()
- fixture_testdir(here)
- test_polyhedron_from_loop_ranges(variables, lbounds, ubounds, A, b, variable_names)
Test converting loop ranges to polyedron representation of iteration space.
- test_polyhedron_from_loop_ranges_failures()
Test known limitation of the conversion from loop ranges to polyhedron.
- test_polyhedron_bounds(A, b, variable_names, lower_bounds, upper_bounds)
Test the production of lower and upper bounds.
- test_check_empty_polyhedron(polyhedron, is_empty, will_fail)
- simple_loop_extractor(start_node)
Find all loops in the AST and structure them depending on their nesting level
- assert_equal_polyhedron(poly_A, poly_B)
- test_polyhedron_construction_from_nested_loops(testdir, filename, loop_extractor, polyhedrons_per_subroutine)