[polly] r183799 - scop detection: remove an iteration over all uses

[Tobias Grosser]

On 06/11/2013 03:20 PM, Sebastian Pop wrote:
> Author: spop
> Date: Tue Jun 11 17:20:35 2013
> New Revision: 183799
>
> URL: http://llvm.org/viewvc/llvm-project?rev=183799&view=rev
> Log:
> scop detection: remove an iteration over all uses

This one breaks the attached test case if called with:

$ polly-opt /tmp/dependency_to_phi_node_outside_of_region.ll

I thought I posted this in reply to the patch you posted for review, no?

Cheers,
Tobi
-------------- next part --------------
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
target triple = "x86_64-unknown-linux-gnu"

define void @f(i64* %A, i64 %N, i64 %M) nounwind {
entry:
  fence seq_cst
  br label %for.i

for.i:
  %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %for.i ]
  %scevgep = getelementptr i64* %A, i64 %indvar
  store i64 %indvar, i64* %scevgep
  %indvar.next = add nsw i64 %indvar, 1
  %exitcond = icmp eq i64 %indvar.next, %N
  br i1 %exitcond, label %next, label %for.i

next:
  fence seq_cst
  br label %for.j

for.j:
  %indvar.j = phi i64 [ %indvar, %next ], [ %indvar.j.next, %for.j ]
  %scevgep.j = getelementptr i64* %A, i64 %indvar.j
  store i64 %indvar.j, i64* %scevgep.j
  fence seq_cst
  %indvar.j.next = add nsw i64 %indvar.j, 1
  %exitcond.j = icmp eq i64 %indvar.j.next, %M
  br i1 %exitcond.j, label %return, label %for.j

return:
  fence seq_cst
  ret void
}