From 4da00d5df5d5a94f792f8dc694648cb10116301f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 23 Jan 2013 12:43:16 -0500
Subject: [PATCH] Fix up space matching in implemented domain check.
---
loopy/check.py | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/loopy/check.py b/loopy/check.py
index 450b110b1..3d340c482 100644
--- a/loopy/check.py
+++ b/loopy/check.py
@@ -350,18 +350,14 @@ def check_implemented_domains(kernel, implemented_domains, code=None):
for idomain in idomains[1:]:
insn_impl_domain = insn_impl_domain | idomain
assumption_non_param = isl.BasicSet.from_params(kernel.assumptions)
- assumptions = align_spaces(
- assumption_non_param,
- insn_impl_domain, obj_bigger_ok=True)
+ assumptions, insn_impl_domain = align_two(assumption_non_param, insn_impl_domain)
insn_impl_domain = (
(insn_impl_domain & assumptions)
.project_out_except(kernel.insn_inames(insn), [dim_type.set]))
insn_inames = kernel.insn_inames(insn)
insn_domain = kernel.get_inames_domain(insn_inames)
- assumptions = align_spaces(
- assumption_non_param, insn_domain,
- obj_bigger_ok=True)
+ assumptions, insn_domain = align_two(assumption_non_param, insn_domain)
desired_domain = ((insn_domain & assumptions)
.project_out_except(kernel.insn_inames(insn), [dim_type.set]))
--
GitLab