1; RUN: opt %loadNPMPolly '-passes=print<polly-detect>,scop(polly-codegen)' -disable-output < %s 2>&1 | FileCheck %s 2; 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.i 8 9for.i: 10 %indvar.i = phi i64 [ 0, %entry ], [ %indvar.next.i, %for.i.backedge ] 11 %indvar.next.i = add i64 %indvar.i, 1 12 %scevgep = getelementptr i64, ptr %A, i64 %indvar.i 13 store i64 %indvar.i, ptr %scevgep, align 4 14 br i1 true, label %for.j.preheader, label %for.j2 15 16for.j.preheader: 17 br label %for.j 18 19for.j: 20 %indvar.j = phi i64 [ %indvar.next.j, %for.j ], [ 0, %for.j.preheader ] 21 %indvar.next.j = add i64 %indvar.j, 1 22 %scevgep2 = getelementptr i64, ptr %B, i64 %indvar.j 23 store i64 %indvar.j, ptr %scevgep2, align 4 24 %exitcond.j = icmp eq i64 %indvar.next.j, 10 25 br i1 %exitcond.j, label %for.j2, label %for.j 26 27for.j2: 28 fence seq_cst 29 br label %for.i.backedge 30 31for.i.backedge: 32 %exitcond.i = icmp eq i64 %indvar.next.i, 2048 33 br i1 %exitcond.i, label %for.i, label %.end 34 35.end: 36 ret void 37} 38 39; CHECK: Valid Region for Scop: for.i => for.j2 40