From bf493847617c04711ae440abcccbc42f9fb08128 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 13 Sep 2012 14:43:40 +0200
Subject: [PATCH] Prefer constant loop bounds over computed ones.

---
 loopy/isl_helpers.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/loopy/isl_helpers.py b/loopy/isl_helpers.py
index b67411267..57ca2e769 100644
--- a/loopy/isl_helpers.py
+++ b/loopy/isl_helpers.py
@@ -170,6 +170,11 @@ def static_extremum_of_pw_aff(pw_aff, constants_only, set_method, what, context)
     if len(pieces) == 1:
         return pieces[0][1]
 
+    # put constant bounds first
+    pieces = (
+            [(set, aff) for set, aff in pieces if aff.is_cst()]
+            + [(set, aff) for set, aff in pieces if not aff.is_cst()])
+
     reference = pw_aff.get_aggregate_domain()
 
     if context is not None:
-- 
GitLab