From 1e2df528b9da98b323386f1ec3f4d1a946a8b85f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 22 Feb 2018 19:28:17 -0600
Subject: [PATCH] Access range finding, shape fallback: fix shape-based upper
bound
---
loopy/symbolic.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/loopy/symbolic.py b/loopy/symbolic.py
index ddf00182d..0635c0e53 100644
--- a/loopy/symbolic.py
+++ b/loopy/symbolic.py
@@ -1650,7 +1650,7 @@ def get_access_range(domain, subscript, assumptions, shape=None,
upper_bound_cns = isl.Constraint.inequality_from_aff(
shape_aff.set_coefficient_val(
- dim_type.in_, dn+idim, -1))
+ dim_type.in_, dn+idim, -1) - 1)
lower_bound_cns = isl.Constraint.inequality_from_aff(
isl.Aff.zero_on_domain(access_map.space).set_coefficient_val(
dim_type.in_, dn+idim, 1))
--
GitLab