53 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -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_BP[0] };6; CHECK-NEXT: Execution Context: [N] -> { : N >= 514 }7;8; void f(int *BP, int *A, int N) {9; for (int i = 0; i < N; i++)10; if (i > 512)11; A[i] = *BP;12; else13; A[i] = 0;14; }15;16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17 18define void @f(ptr %BP, ptr %A, i32 %N) {19bb:20 %tmp = sext i32 %N to i6421 br label %bb122 23bb1: ; preds = %bb11, %bb24 %indvars.iv = phi i64 [ %indvars.iv.next, %bb11 ], [ 0, %bb ]25 %tmp2 = icmp slt i64 %indvars.iv, %tmp26 br i1 %tmp2, label %bb3, label %bb1227 28bb3: ; preds = %bb129 %tmp4 = icmp sgt i64 %indvars.iv, 51230 br i1 %tmp4, label %bb5, label %bb831 32bb5: ; preds = %bb333 %tmp9a = getelementptr inbounds i32, ptr %A, i64 %indvars.iv34 %inv = load i32, ptr %BP35 store i32 %inv, ptr %tmp9a, align 436 br label %bb1037 38bb8: ; preds = %bb339 %tmp9b = getelementptr inbounds i32, ptr %A, i64 %indvars.iv40 store i32 0, ptr %tmp9b, align 441 br label %bb1042 43bb10: ; preds = %bb8, %bb544 br label %bb1145 46bb11: ; preds = %bb1047 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 148 br label %bb149 50bb12: ; preds = %bb151 ret void52}53