From ed9f75892a50c513a2da42186f7a023a0ea3ea0d Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 21 Jul 2011 14:58:12 -0500
Subject: [PATCH] Fix lower slab bounds.
---
loopy/__init__.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/loopy/__init__.py b/loopy/__init__.py
index ad008f943..47df9b0d0 100644
--- a/loopy/__init__.py
+++ b/loopy/__init__.py
@@ -320,10 +320,10 @@ def make_slab(space, iname, start, stop):
from pymbolic import var
var_iname = var(iname)
return (isl.Set.universe(space)
- # 0 <= inner
+ # start <= inner
.add_constraint(ineq_constraint_from_expr(
- space, start + var_iname))
- # inner < length
+ space, var_iname -start))
+ # inner < stop
.add_constraint(ineq_constraint_from_expr(
space, stop-1 - var_iname)))
--
GitLab