1; RUN: opt %loadNPMPolly '-passes=print<polly-detect>,print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s 2; RUN: opt %loadNPMPolly '-passes=print<polly-detect>,print<polly-function-scops>' -polly-allow-nonaffine -disable-output < %s 2>&1 | FileCheck %s -check-prefix=NONAFFINE 3target 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-n8:16:32:64-S128" 4 5; void foo(long *A) { 6; for (i = 0; i < 1024; i++) 7; A[i * i] = i; 8; 9 10define void @foo(ptr %A) nounwind uwtable ssp { 11entry: 12 br label %entry.split 13 14entry.split: ; preds = %entry 15 br label %for.body 16 17for.body: ; preds = %entry.split, %for.body 18 %indvar = phi i64 [ 0, %entry.split ], [ %indvar.next, %for.body ] 19 %mul = mul nsw i64 %indvar, %indvar 20 %arrayidx = getelementptr inbounds i64, ptr %A, i64 %mul 21 store i64 %indvar, ptr %arrayidx, align 4 22 %indvar.next = add nsw i64 %indvar, 1 23 %exitcond = icmp ne i64 %indvar.next, 1024 24 br i1 %exitcond, label %for.body, label %for.end 25 26for.end: ; preds = %for.body 27 ret void 28} 29 30; CHECK-NOT: Stmt_for_body 31; NONAFFINE: { Stmt_for_body[i0] -> MemRef_A[o0] }; 32