32 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -polly-allow-nonaffine -disable-output < %s 2>&1 | FileCheck %s -check-prefix=NONAFFINE3target 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.split13 14entry.split: ; preds = %entry15 br label %for.body16 17for.body: ; preds = %entry.split, %for.body18 %indvar = phi i64 [ 0, %entry.split ], [ %indvar.next, %for.body ]19 %mul = mul nsw i64 %indvar, %indvar20 %arrayidx = getelementptr inbounds i64, ptr %A, i64 %mul21 store i64 %indvar, ptr %arrayidx, align 422 %indvar.next = add nsw i64 %indvar, 123 %exitcond = icmp ne i64 %indvar.next, 102424 br i1 %exitcond, label %for.body, label %for.end25 26for.end: ; preds = %for.body27 ret void28}29 30; CHECK-NOT: Stmt_for_body31; NONAFFINE: { Stmt_for_body[i0] -> MemRef_A[o0] };32