51 lines · plain
1; RUN: opt %loadNPMPolly -aa-pipeline=basic-aa '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s -check-prefix=PHI2 3; void f(long A[], long N, long *init_ptr) {4; long i, j;5; long i_non_canonical;6;7; for (i = 0; i < N; ++i) {8; init = *init_ptr;9; i_non_canonical = init;10; for (i = 0; i < N; ++i) {11; A[i] = i_non_canonical;12; i_non_canonical += 1;13; }14; }15; }16 17target 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"18 19define void @f(ptr noalias %A, i64 %N, ptr noalias %init_ptr) nounwind {20entry:21 br label %for.i22 23for.i:24 %indvar.i = phi i64 [ 0, %entry ], [ %indvar.i.next, %for.i.end ]25 %indvar.i.next = add nsw i64 %indvar.i, 126 br label %entry.next27 28entry.next:29 %init = load i64, ptr %init_ptr30 br label %for.j31 32for.j:33 %indvar.j = phi i64 [ 0, %entry.next ], [ %indvar.j.next, %for.j ]34 %indvar.j.non_canonical = phi i64 [ %init, %entry.next ], [ %indvar.j.non_canonical.next, %for.j ]35 %scevgep = getelementptr i64, ptr %A, i64 %indvar.j36 store i64 %indvar.j.non_canonical, ptr %scevgep37 %indvar.j.next = add nsw i64 %indvar.j, 138 %indvar.j.non_canonical.next = add nsw i64 %indvar.j.non_canonical, 139 %exitcond.j = icmp eq i64 %indvar.j.next, %N40 br i1 %exitcond.j, label %for.i.end, label %for.j41 42for.i.end:43 %exitcond.i = icmp eq i64 %indvar.i.next, %N44 br i1 %exitcond.i, label %return, label %for.i45 46return:47 ret void48}49 50; PHI: Valid Region for Scop: for.i => return51