From 7dfdb712842e7d7f05af42ae5a00527e898442df Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 13 Sep 2012 09:38:00 +0200
Subject: [PATCH] Fix upper bound slab decomposition.
(Mismatch between Python exclusive and isl inclusive semantics...
Treatment needs to be symmetric for isl.)
---
MEMO | 6 ++++--
loopy/codegen/loop.py | 4 ++--
2 files changed, 6 insertions(+), 4 deletions(-)
diff --git a/MEMO b/MEMO
index 05cc2f804..511306dba 100644
--- a/MEMO
+++ b/MEMO
@@ -49,6 +49,10 @@ To-do
- Make tests run on GPUs
+- Fuse: store/fetch elimination?
+
+- divisibility constraints
+
Fixes:
- Group instructions by dependency/inames for scheduling, to
@@ -62,8 +66,6 @@ Fixes:
Future ideas
^^^^^^^^^^^^
-- Fuse: store/fetch elimination?
-
- Expose iname-duplicate-and-rename as a primitive.
- Array language
diff --git a/loopy/codegen/loop.py b/loopy/codegen/loop.py
index 650ce34f4..efb70c538 100644
--- a/loopy/codegen/loop.py
+++ b/loopy/codegen/loop.py
@@ -61,11 +61,11 @@ def get_slab_decomposition(kernel, iname, sched_index, codegen_state):
.add_constraint(
isl.Constraint.inequality_from_aff(
iname_rel_aff(space,
- iname, ">=", upper_bound_aff-upper_incr))))
+ iname, ">", upper_bound_aff-upper_incr))))
upper_bulk_bound = (
isl.Constraint.inequality_from_aff(
iname_rel_aff(space,
- iname, "<", upper_bound_aff-upper_incr)))
+ iname, "<=", upper_bound_aff-upper_incr)))
else:
lower_slab = None
--
GitLab