From 07b209523403d6c0d68c328cb20a8eaf6b51369c Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Sun, 12 Jun 2016 04:30:40 +0000 Subject: Update isl to isl-0.17.1-57-g1879898 With this update the isl AST generation extracts disjunctive constraints early on. As a result, code that previously resulted in two branches with (close-to) identical code within them: if (P <= -1) { for (int c0 = 0; c0 < N; c0 += 1) Stmt_store(c0); } else if (P >= 1) for (int c0 = 0; c0 < N; c0 += 1) Stmt_store(c0); results now in only a single branch body: if (P <= -1 || P >= 1) for (int c0 = 0; c0 < N; c0 += 1) Stmt_store(c0); This resolves http://llvm.org/PR27559 Besides the above change, this isl update brings better simplification of sets/maps containing existentially quantified dimensions and fixes a bug in isl's coalescing. llvm-svn: 272500 --- polly/lib/External/isl/test_inputs/codegen/isolate2.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'polly/lib/External/isl/test_inputs/codegen/isolate2.c') diff --git a/polly/lib/External/isl/test_inputs/codegen/isolate2.c b/polly/lib/External/isl/test_inputs/codegen/isolate2.c index 2c9e15d0dd5..28a78bc2653 100644 --- a/polly/lib/External/isl/test_inputs/codegen/isolate2.c +++ b/polly/lib/External/isl/test_inputs/codegen/isolate2.c @@ -2,10 +2,8 @@ for (int c0 = 0; c0 <= 99; c0 += 1) { if (c0 >= 4 && c0 <= 6) { for (int c1 = 0; c1 <= 99; c1 += 1) A(c0, c1); - } else if (c0 >= 7) { - for (int c1 = 0; c1 <= 99; c1 += 1) - A(c0, c1); - } else + } else { for (int c1 = 0; c1 <= 99; c1 += 1) A(c0, c1); + } } -- cgit v1.2.3