1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb -polly-allow-nonaffine-loops '-passes=print<polly-detect>,print<polly-function-scops>,scop(polly-codegen)' -disable-output < %s 2>&1 | FileCheck %s 2; 3; CHECK: Stmt_loop3 4; CHECK: Domain := 5; CHECK: [indvar] -> { Stmt_loop3[0] : indvar >= 101 or indvar <= 99 }; 6; CHECK: Schedule := 7; CHECK: [indvar] -> { Stmt_loop3[i0] -> [0, 0] : indvar >= 101 or indvar <= 99 }; 8; CHECK: Stmt_loop2__TO__loop 9; CHECK: Domain := 10; CHECK: [indvar] -> { Stmt_loop2__TO__loop[] : indvar >= 101 or indvar <= 99 }; 11; CHECK: Schedule := 12; CHECK: [indvar] -> { Stmt_loop2__TO__loop[] -> [1, 0] : indvar >= 101 or indvar <= 99 }; 13; 14define void @foo(ptr %A, i64 %p) { 15entry: 16 br label %loop 17 18loop: 19 %indvar.3 = phi i64 [0, %entry], [%indvar.3, %loop], [%indvar.next.3, %next2], [%indvar.next.3, %cond] 20 %indvar = phi i64 [0, %entry], [%indvar.next, %loop], [0, %next2], [0, %cond] 21 %indvar.next = add i64 %indvar, 1 22 fence seq_cst 23 %cmp = icmp eq i64 %indvar, 100 24 br i1 %cmp, label %next, label %loop 25 26next: 27 %indvar.next.3 = add i64 %indvar.3, 1 28 %cmp.3 = icmp eq i64 %indvar, 100 29 br i1 %cmp.3, label %loop3, label %exit 30 31loop3: 32 %indvar.6 = phi i64 [0, %next], [%indvar.next.6, %loop3] 33 %indvar.next.6 = add i64 %indvar.6, 1 34 %cmp.6 = icmp eq i64 %indvar.6, 100 35 br i1 %cmp.3, label %loop3, label %loop2 36 37loop2: 38 %indvar.2 = phi i64 [0, %loop3], [%indvar.next.2, %loop2], [0, %cond] 39 %indvar.next.2 = add i64 %indvar.2, 1 40 %prod = mul i64 %indvar.2, %indvar.2 41 store i64 %indvar, ptr %A 42 %cmp.2 = icmp eq i64 %prod, 100 43 br i1 %cmp.2, label %loop2, label %next2 44 45next2: 46 %cmp.4 = icmp eq i64 %p, 100 47 br i1 %cmp.4, label %loop, label %cond 48 49cond: 50 br i1 false, label %loop, label %loop2 51 52exit: 53 ret void 54} 55