From 22643c94eba7b010ae4401c347289f4f52b9cd2b Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Mon, 10 Mar 2014 18:02:15 +0100
Subject: [PATCH] Update to isl trunk

We explicitly update to isl trunk and use this commit to add the
corresponding test case changes.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
---
 isl                 |  2 +-
 test/reservoir/QR.c | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/isl b/isl
index 0e737ed..14d7941 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 0e737ed0b35803685e9ebcfd8c528e00c30bbc43
+Subproject commit 14d7941489582c8ace26f661f78936041641edf7
diff --git a/test/reservoir/QR.c b/test/reservoir/QR.c
index 8818d9f..1a47f0a 100644
--- a/test/reservoir/QR.c
+++ b/test/reservoir/QR.c
@@ -1,6 +1,12 @@
 /* Generated from ./reservoir/QR.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.07s. */
 if (N >= 1) {
   S1(0);
+  if ((M <= 0) && (N >= 2)) {
+    S3(0);
+    S10(0);
+    S1(1);
+    S5(0);
+  }
   if ((M >= 1) && (N == 1)) {
     for (c4=0;c4<=M-1;c4++) {
       S2(0,c4);
@@ -29,12 +35,6 @@ if (N >= 1) {
     S1(1);
     S5(0);
   }
-  if ((M <= 0) && (N >= 2)) {
-    S3(0);
-    S10(0);
-    S1(1);
-    S5(0);
-  }
   for (c2=2;c2<=min(M,N-1);c2++) {
     for (c4=c2-1;c4<=N-1;c4++) {
       S6((c2-2),c4);
-- 
2.11.4.GIT