40 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2;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"4 5define void @main(ptr %A, ptr %B) nounwind {6entry:7 br label %for.i8 9for.i:10 %indvar.i = phi i64 [ 0, %entry ], [ %indvar.next.i, %for.i.backedge ]11 %indvar.next.i = add i64 %indvar.i, 112 %scevgep = getelementptr i64, ptr %A, i64 %indvar.i13 store i64 %indvar.i, ptr %scevgep, align 414 br i1 true, label %for.j.preheader, label %for.j215 16for.j.preheader:17 br label %for.j18 19for.j:20 %indvar.j = phi i64 [ %indvar.next.j, %for.j ], [ 0, %for.j.preheader ]21 %indvar.next.j = add i64 %indvar.j, 122 %scevgep2 = getelementptr i64, ptr %B, i64 %indvar.j23 store i64 %indvar.j, ptr %scevgep2, align 424 %exitcond.j = icmp eq i64 %indvar.next.j, 1025 br i1 %exitcond.j, label %for.j2, label %for.j26 27for.j2:28 fence seq_cst29 br label %for.i.backedge30 31for.i.backedge:32 %exitcond.i = icmp eq i64 %indvar.next.i, 204833 br i1 %exitcond.i, label %for.i, label %.end34 35.end:36 ret void37}38 39; CHECK: Valid Region for Scop: for.i => for.j240