34 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s2target 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"3 4define void @f(ptr %A, i64 %N, i64 %M) nounwind {5entry:6 fence seq_cst7 br label %for.i8 9for.i:10 %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %for.i ]11 %scevgep = getelementptr i64, ptr %A, i64 %indvar12 store i64 %indvar, ptr %scevgep13 %indvar.next = add nsw i64 %indvar, 114 %exitcond = icmp eq i64 %indvar.next, %N15 br i1 %exitcond, label %next, label %for.i16 17next:18 fence seq_cst19 br label %for.j20 21for.j:22 %indvar.j = phi i64 [ %indvar, %next ], [ %indvar.j.next, %for.j ]23 %scevgep.j = getelementptr i64, ptr %A, i64 %indvar.j24 store i64 %indvar.j, ptr %scevgep.j25 fence seq_cst26 %indvar.j.next = add nsw i64 %indvar.j, 127 %exitcond.j = icmp eq i64 %indvar.j.next, %M28 br i1 %exitcond.j, label %return, label %for.j29 30return:31 fence seq_cst32 ret void33}34