loki.analyse.tests.test_util_polyhedron

Functions

assert_equal_polyhedron(poly_A, poly_B)

fixture_here()

fixture_testdir(here)

simple_loop_extractor(start_node)

Find all loops in the AST and structure them depending on their nesting level

test_check_empty_polyhedron(polyhedron, ...)

test_polyhedron_bounds(A, b, variable_names, ...)

Test the production of lower and upper bounds.

test_polyhedron_construction_from_nested_loops(...)

test_polyhedron_from_loop_ranges(variables, ...)

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.

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)