Skip to content
Snippets Groups Projects
Commit 6bb1e04e authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Fix precompute assumption adding

parent ee9811db
Branches james-pr11
No related tags found
1 merge request!109Add val_type to ToCountMap, fix div computation in get_simple_strides, consider assumptions in precompute
Pipeline #
......@@ -684,7 +684,7 @@ def precompute(kernel, subst_use, sweep_inames=[], within=None,
def add_assumptions(d):
assumption_non_param = isl.BasicSet.from_params(kernel.assumptions)
assumptions, domain = isl.align_two(assumption_non_param, d)
return d & assumptions
return assumptions & domain
# {{{ check that we got the desired domain
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment