65 lines · plain
1; RUN: opt %loadNPMPolly -polly-invariant-load-hoisting=true '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; void foo(float *A, long *p) {4; for (long i = 0; i < 100; i++)5; for (long j = 0; j < 100; j++)6; A[i * (*p) + j] += i + j;7; }8 9; CHECK: Invariant Accesses: {10; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]11; CHECK-NEXT: [pval] -> { Stmt_bb5[i0, i1] -> MemRef_p[0] };12; CHECK-NEXT: Execution Context: [pval] -> { : }13; CHECK-NEXT: }14 15; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]16; CHECK: [pval] -> { Stmt_bb5[i0, i1] -> MemRef_A[i0, i1] };17; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]18; CHECK: [pval] -> { Stmt_bb5[i0, i1] -> MemRef_A[i0, i1] };19 20target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"21 22define void @foo(ptr %A, ptr %p) {23bb:24 br label %bb225 26bb2: ; preds = %bb16, %bb27 %i.0 = phi i64 [ 0, %bb ], [ %tmp17, %bb16 ]28 %exitcond1 = icmp ne i64 %i.0, 10029 br i1 %exitcond1, label %bb3, label %bb1830 31bb3: ; preds = %bb232 br label %bb433 34bb4: ; preds = %bb13, %bb335 %j.0 = phi i64 [ 0, %bb3 ], [ %tmp14, %bb13 ]36 %exitcond = icmp ne i64 %j.0, 10037 br i1 %exitcond, label %bb5, label %bb1538 39bb5: ; preds = %bb440 %tmp = add nuw nsw i64 %i.0, %j.041 %tmp6 = sitofp i64 %tmp to float42 %pval = load i64, ptr %p, align 843 %tmp8 = mul nsw i64 %i.0, %pval44 %tmp9 = add nsw i64 %tmp8, %j.045 %tmp10 = getelementptr inbounds float, ptr %A, i64 %tmp946 %tmp11 = load float, ptr %tmp10, align 447 %tmp12 = fadd float %tmp11, %tmp648 store float %tmp12, ptr %tmp10, align 449 br label %bb1350 51bb13: ; preds = %bb552 %tmp14 = add nuw nsw i64 %j.0, 153 br label %bb454 55bb15: ; preds = %bb456 br label %bb1657 58bb16: ; preds = %bb1559 %tmp17 = add nuw nsw i64 %i.0, 160 br label %bb261 62bb18: ; preds = %bb263 ret void64}65