From e3360055038a4a880fbd538b91db1a812fbb56cf Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 28 May 2015 00:27:35 -0400
Subject: [PATCH] Ensure fusing loop domains produces convex loop domains
---
loopy/loop.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/loopy/loop.py b/loopy/loop.py
index 459246382..54030bd8f 100644
--- a/loopy/loop.py
+++ b/loopy/loop.py
@@ -104,7 +104,8 @@ def fuse_loop_domains(kernel):
outer_dom, inner_dom = isl.align_two(outer_dom, inner_dom)
- new_domains.insert(min_idx, inner_dom & outer_dom)
+ from loopy.isl_helpers import convexify
+ new_domains.insert(min_idx, convexify(inner_dom & outer_dom))
break
if new_domains:
--
GitLab