1; RUN: opt %loadNPMPolly -polly-allow-nonaffine -polly-process-unprofitable '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s 2; 3; CHECK: Domain := 4; CHECK-NEXT: [srcHeight] -> { Stmt_for_cond6_preheader_us[i0] : 0 <= i0 <= -3 + srcHeight }; 5; CHECK-NEXT: Schedule := 6; CHECK-NEXT: [srcHeight] -> { Stmt_for_cond6_preheader_us[i0] -> [i0] }; 7; CHECK-NEXT: ReadAccess := [Reduction Type: +] [Scalar: 0] 8; CHECK-NEXT: [srcHeight] -> { Stmt_for_cond6_preheader_us[i0] -> MemRef_src[o0] }; 9; CHECK-NEXT: MayWriteAccess := [Reduction Type: +] [Scalar: 0] 10; CHECK-NEXT: [srcHeight] -> { Stmt_for_cond6_preheader_us[i0] -> MemRef_src[o0] }; 11 12target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" 13 14define void @test_case(ptr noalias nocapture readonly %src, i32 %srcHeight, i32 %srcStride) local_unnamed_addr { 15entry: 16 %extended = zext i32 %srcStride to i64 17 %sub = add i32 %srcHeight, -1 18 br label %for.cond6.preheader.us 19 20for.cond6.preheader.us: ; preds = %for.cond6.preheader.us, %entry 21 %srcPtr.075.us.pn = phi ptr [ %srcPtr.075.us, %for.cond6.preheader.us ], [ %src, %entry ] 22 %y.072.us = phi i32 [ %inc37.us, %for.cond6.preheader.us ], [ 1, %entry ] 23 %srcPtr.075.us = getelementptr inbounds i8, ptr %srcPtr.075.us.pn, i64 %extended 24 25 %0 = load i8, ptr %srcPtr.075.us, align 1, !tbaa !0 26 %1 = add i8 %0, 1 27 store i8 %1, ptr %srcPtr.075.us, align 1, !tbaa !0 28 29 %inc37.us = add nuw i32 %y.072.us, 1 30 %exitcond78 = icmp eq i32 %inc37.us, %sub 31 br i1 %exitcond78, label %for.cond.cleanup.loopexit, label %for.cond6.preheader.us 32 33for.cond.cleanup.loopexit: ; preds = %for.cond6.preheader.us 34 ret void 35} 36 37!0 = !{!1, !1, i64 0} 38!1 = !{!"omnipotent char", !2, i64 0} 39!2 = !{!"Simple C++ TBAA"} 40!3 = !{!4, !4, i64 0} 41!4 = !{!"float", !1, i64 0} 42