<div dir="ltr">Hi,<div><br></div><div>Sorry to jump in on this change, but I'm starting to get confused with all the Polly traffic mentioning core LLVM stuff like ScalarEvolution in its title. Would it be possible for such changes to have a [Polly] tag added, like many of the other subprojects/areas of LLVM?</div><div><br></div><div>Cheers,</div><div><br></div><div>James</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, 31 Aug 2015 at 20:51 Johannes Doerfert via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">jdoerfert added a comment.<br>
<br>
Some comments to understand the test changes.<br>
<br>
<br>
================<br>
Comment at: test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll:12<br>
@@ -11,3 +12,3 @@<br>
 ; AST: #pragma omp parallel for<br>
-; AST: for (int c0 = 0; c0 < cols; c0 += 1)<br>
 ; AST:   Stmt_for_body(c0);<br>
----------------<br>
There was an if (cols >= 2) around this loop and a Stmt_for_body(0) in the else case.<br>
The conditional is gone in the new version.<br>
<br>
================<br>
Comment at: test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll:42<br>
@@ -41,3 +43,3 @@<br>
 ; AST: #pragma omp parallel for<br>
-; AST: for (int c0 = 0; c0 < cols; c0 += 1)<br>
 ; AST:   Stmt_for_body(c0);<br>
----------------<br>
There was an if (cols >= 2) around this loop and a Stmt_for_body(0) in the else case.<br>
The conditional is gone in the new version.<br>
<br>
================<br>
Comment at: test/Isl/CodeGen/OpenMP/reference-preceeding-loop.ll:17<br>
@@ -16,3 @@<br>
-; AST-NEXT:   #pragma omp parallel for<br>
-; AST-NEXT:   for (int c0 = 0; c0 <= p_0 + p_2; c0 += 1)<br>
-; AST-NEXT:     Stmt_while_body(c0);<br>
----------------<br>
This test was funny, p_0 is actually -p_2, hence the loop had one iteration only, namely Stmt_while_body(0)<br>
<br>
================<br>
Comment at: test/Isl/CodeGen/two-scops-in-row.ll:11<br>
@@ -10,3 +11,1 @@<br>
-; SCALAR:       if (Scalar0.val >= 100)<br>
-; SCALAR:         Stmt_for_1(0);<br>
 ; SCALAR:     }<br>
----------------<br>
Similar to the case above, Stmt_for_1(0) is always executed here but it is explicit in the new version<br>
<br>
================<br>
Comment at: test/ScopInfo/isl_trip_count_01.ll:3<br>
@@ -2,3 +2,3 @@<br>
 ;<br>
-; CHECK: [M, N] -> { Stmt_while_body[i0] : i0 >= 0 and 4i0 <= -M + N }<br>
 ;<br>
----------------<br>
Here the original test case is actually broken. If you look at the code but ignore the entry node (it is __not__ in the SCoP!) than you see that for N=0 and M=1 we would execute while_body but the domain says otherwise.<br>
<br>
================<br>
Comment at: test/ScopInfo/loop_affine_bound_0.ll:67<br>
@@ -66,3 +66,1 @@<br>
-; CHECK-DAG:          and<br>
-; CHECK-DAG:             N >= 0<br>
 ; CHECK:               }<br>
----------------<br>
This is redundant as it can be extracted from the rest.<br>
<br>
================<br>
Comment at: test/ScopInfo/loop_affine_bound_1.ll:19<br>
@@ -18,3 +18,3 @@<br>
   %4 = icmp sgt i64 %3, 0                         ; <i1> [#uses=1]<br>
-  br i1 %4, label %bb.nph8, label %return<br>
+  br i1 true, label %bb.nph8, label %return<br>
<br>
----------------<br>
This was just to make clear that the original code did not use the entry condition but just generates the wrong domain (similar to the isl_trip_count_01.ll above).<br>
<br>
================<br>
Comment at: test/ScopInfo/loop_affine_bound_1.ll:66<br>
@@ -65,3 +67,3 @@<br>
 ; CHECK-DAG:          and<br>
-; CHECK-DAG:             i0 <= 1 + 5N<br>
 ; CHECK:               }<br>
----------------<br>
Again a broken test for M=-1 and N=0.<br>
<br>
================<br>
Comment at: test/ScopInfo/loop_affine_bound_2.ll:77<br>
@@ -76,3 +76,1 @@<br>
-; CHECK-DAG:                and<br>
-; CHECK-DAG:                  4i0 <= 10 + 5N - 6M<br>
 ; CHECK-DAG:                }<br>
----------------<br>
Again redundant.<br>
<br>
<br>
<a href="http://reviews.llvm.org/D12499" rel="noreferrer" target="_blank">http://reviews.llvm.org/D12499</a><br>
<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>