From 97d891f9eb430510491fcaec9809404a70f84b8c Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 7 May 2013 12:53:47 -0400
Subject: [PATCH] Precompute using boxify: Pass kernel assumptions.

---
 loopy/cse.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/loopy/cse.py b/loopy/cse.py
index 666dba8d3..7ed6e797a 100644
--- a/loopy/cse.py
+++ b/loopy/cse.py
@@ -809,7 +809,8 @@ def precompute(kernel, subst_use, sweep_inames=[], within=None,
 
     from loopy.isl_helpers import convexify, boxify
     if fetch_bounding_box:
-        new_domain = boxify(kernel.cache_manager, new_domain, storage_axis_names)
+        new_domain = boxify(kernel.cache_manager, new_domain, storage_axis_names,
+                kernel.assumptions)
     else:
         new_domain = convexify(new_domain)
 
-- 
GitLab