46 lines · plain
1; RUN: opt %loadNPMPolly -aa-pipeline=basic-aa -polly-detect-track-failures -polly-detect-keep-going '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4 5define i32 @a(i32 %n, ptr noalias %A, ptr noalias %B) #0 {6entry:7 br label %entry.split8 9entry.split: ; preds = %entry10 br label %for.body11 12for.cond2.preheader: ; preds = %for.body13 br label %for.body414 15for.body: ; preds = %entry.split, %for.body16 %indvar = phi i64 [ 0, %entry.split ], [ %indvar.next, %for.body ]17 %j.02 = trunc i64 %indvar to i3218 %arrayidx = getelementptr i32, ptr %B, i64 %indvar19 store i32 %j.02, ptr %arrayidx, align 420 %indvar.next = add i64 %indvar, 121 %exitcond3 = icmp ne i64 %indvar.next, 3222 br i1 %exitcond3, label %for.body, label %for.cond2.preheader23 24for.body4: ; preds = %for.cond2.preheader, %for.body425 %0 = phi i32 [ 0, %for.cond2.preheader ], [ %1, %for.body4 ]26 %mul = mul i32 %n, %027 %idxprom5 = sext i32 %mul to i6428 %arrayidx6 = getelementptr inbounds i32, ptr %A, i64 %idxprom529 store i32 %0, ptr %arrayidx6, align 430 %1 = add nsw i32 %0, 131 %exitcond = icmp ne i32 %1, 3232 br i1 %exitcond, label %for.body4, label %for.end933 34for.end9: ; preds = %for.body435 %idxprom10 = sext i32 %n to i6436 %arrayidx11 = getelementptr inbounds i32, ptr %A, i64 %idxprom1037 %2 = load i32, ptr %arrayidx11, align 438 %idxprom12 = sext i32 %n to i6439 %arrayidx13 = getelementptr inbounds i32, ptr %B, i64 %idxprom1240 %3 = load i32, ptr %arrayidx13, align 441 %add = add nsw i32 %3, %242 ret i32 %add43}44 45; CHECK: Valid Region for Scop: for.body => for.body446