52 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -disable-output < %s 2>&1 | FileCheck %s2;3; CHECK: Invariant Accesses:4; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]5; CHECK-NEXT: [N] -> { Stmt_bb5[i0] -> MemRef_BPLoc[0] };6;7; void f(int **BPLoc, int *A, int N) {8; for (int i = 0; i < N; i++)9; if (i > 512)10; (*BPLoc)[i] = 0;11; else12; A[i] = 0;13; }14;15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"16 17define void @f(ptr %BPLoc, ptr %A, i32 %N) {18bb:19 %tmp = sext i32 %N to i6420 br label %bb121 22bb1: ; preds = %bb11, %bb23 %indvars.iv = phi i64 [ %indvars.iv.next, %bb11 ], [ 0, %bb ]24 %tmp2 = icmp slt i64 %indvars.iv, %tmp25 br i1 %tmp2, label %bb3, label %bb1226 27bb3: ; preds = %bb128 %tmp4 = icmp sgt i64 %indvars.iv, 51229 br i1 %tmp4, label %bb5, label %bb830 31bb5: ; preds = %bb332 %tmp6 = load ptr, ptr %BPLoc, align 833 %tmp7 = getelementptr inbounds i32, ptr %tmp6, i64 %indvars.iv34 store i32 0, ptr %tmp7, align 435 br label %bb1036 37bb8: ; preds = %bb338 %tmp9 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv39 store i32 0, ptr %tmp9, align 440 br label %bb1041 42bb10: ; preds = %bb8, %bb543 br label %bb1144 45bb11: ; preds = %bb1046 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 147 br label %bb148 49bb12: ; preds = %bb150 ret void51}52