blob: 4b30f9870b395255b7f6ffb49e6b904c5a983240 [file] [log] [blame]
; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
;
; #define N 400
;
; void first_higher_dimensional(float A[][N]) {
; for (long i = 0; i < N; i++)
; for (long j = 0; j < N; j++)
; A[i][j] += i + j;
;
; A[0][0] += A[100][100];
;
; for (long i = 0; i < N; i++)
; for (long j = 0; j < N; j++)
; A[i][j] += i + j;
; }
; void first_lower_dimensional(float A[][N], float B[][N]) {
; for (long i = 0; i < N; i++)
; for (long j = 0; j < N; j++)
; B[i][j] += i + j;
;
; A[0][0] += B[100][100];
;
; for (long i = 0; i < N; i++)
; for (long j = 0; j < N; j++)
; A[i][j] += i + j;
; }
; CHECK: Statements {
; CHECK-NEXT: Stmt_bb7
; CHECK-NEXT: Domain :=
; CHECK-NEXT: { Stmt_bb7[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
; CHECK-NEXT: Schedule :=
; CHECK-NEXT: { Stmt_bb7[i0, i1] -> [0, i0, i1] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb7[i0, i1] -> MemRef_A[i0, i1] };
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb7[i0, i1] -> MemRef_A[i0, i1] };
; CHECK-NEXT: Stmt_bb17
; CHECK-NEXT: Domain :=
; CHECK-NEXT: { Stmt_bb17[] };
; CHECK-NEXT: Schedule :=
; CHECK-NEXT: { Stmt_bb17[] -> [1, 0, 0] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb17[] -> MemRef_A[100, 100] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb17[] -> MemRef_A[0, 0] };
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb17[] -> MemRef_A[0, 0] };
; CHECK-NEXT: Stmt_bb26
; CHECK-NEXT: Domain :=
; CHECK-NEXT: { Stmt_bb26[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
; CHECK-NEXT: Schedule :=
; CHECK-NEXT: { Stmt_bb26[i0, i1] -> [2, i0, i1] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
; CHECK-NEXT: }
;
; CHECK: Statements {
; CHECK-NEXT: Stmt_bb7
; CHECK-NEXT: Domain :=
; CHECK-NEXT: { Stmt_bb7[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
; CHECK-NEXT: Schedule :=
; CHECK-NEXT: { Stmt_bb7[i0, i1] -> [0, i0, i1] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb7[i0, i1] -> MemRef_B[i0, i1] };
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb7[i0, i1] -> MemRef_B[i0, i1] };
; CHECK-NEXT: Stmt_bb17
; CHECK-NEXT: Domain :=
; CHECK-NEXT: { Stmt_bb17[] };
; CHECK-NEXT: Schedule :=
; CHECK-NEXT: { Stmt_bb17[] -> [1, 0, 0] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb17[] -> MemRef_B[100, 100] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb17[] -> MemRef_A[0, 0] };
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb17[] -> MemRef_A[0, 0] };
; CHECK-NEXT: Stmt_bb26
; CHECK-NEXT: Domain :=
; CHECK-NEXT: { Stmt_bb26[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
; CHECK-NEXT: Schedule :=
; CHECK-NEXT: { Stmt_bb26[i0, i1] -> [2, i0, i1] };
; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
; CHECK-NEXT: }
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @first_higher_dimensional([400 x float]* %A) {
bb:
br label %bb4
bb4: ; preds = %bb15, %bb
%i.0 = phi i64 [ 0, %bb ], [ %tmp16, %bb15 ]
%exitcond3 = icmp ne i64 %i.0, 400
br i1 %exitcond3, label %bb5, label %bb17
bb5: ; preds = %bb4
br label %bb6
bb6: ; preds = %bb12, %bb5
%j.0 = phi i64 [ 0, %bb5 ], [ %tmp13, %bb12 ]
%exitcond2 = icmp ne i64 %j.0, 400
br i1 %exitcond2, label %bb7, label %bb14
bb7: ; preds = %bb6
%tmp = add nuw nsw i64 %i.0, %j.0
%tmp8 = sitofp i64 %tmp to float
%tmp9 = getelementptr inbounds [400 x float], [400 x float]* %A, i64 %i.0, i64 %j.0
%tmp10 = load float, float* %tmp9, align 4
%tmp11 = fadd float %tmp10, %tmp8
store float %tmp11, float* %tmp9, align 4
br label %bb12
bb12: ; preds = %bb7
%tmp13 = add nuw nsw i64 %j.0, 1
br label %bb6
bb14: ; preds = %bb6
br label %bb15
bb15: ; preds = %bb14
%tmp16 = add nuw nsw i64 %i.0, 1
br label %bb4
bb17: ; preds = %bb4
%tmp18 = getelementptr inbounds [400 x float], [400 x float]* %A, i64 100, i64 100
%tmp19 = load float, float* %tmp18, align 4
%tmp20 = getelementptr inbounds [400 x float], [400 x float]* %A, i64 0, i64 0
%tmp21 = load float, float* %tmp20, align 4
%tmp22 = fadd float %tmp21, %tmp19
store float %tmp22, float* %tmp20, align 4
br label %bb23
bb23: ; preds = %bb35, %bb17
%i1.0 = phi i64 [ 0, %bb17 ], [ %tmp36, %bb35 ]
%exitcond1 = icmp ne i64 %i1.0, 400
br i1 %exitcond1, label %bb24, label %bb37
bb24: ; preds = %bb23
br label %bb25
bb25: ; preds = %bb32, %bb24
%j2.0 = phi i64 [ 0, %bb24 ], [ %tmp33, %bb32 ]
%exitcond = icmp ne i64 %j2.0, 400
br i1 %exitcond, label %bb26, label %bb34
bb26: ; preds = %bb25
%tmp27 = add nuw nsw i64 %i1.0, %j2.0
%tmp28 = sitofp i64 %tmp27 to float
%tmp29 = getelementptr inbounds [400 x float], [400 x float]* %A, i64 %i1.0, i64 %j2.0
%tmp30 = load float, float* %tmp29, align 4
%tmp31 = fadd float %tmp30, %tmp28
store float %tmp31, float* %tmp29, align 4
br label %bb32
bb32: ; preds = %bb26
%tmp33 = add nuw nsw i64 %j2.0, 1
br label %bb25
bb34: ; preds = %bb25
br label %bb35
bb35: ; preds = %bb34
%tmp36 = add nuw nsw i64 %i1.0, 1
br label %bb23
bb37: ; preds = %bb23
ret void
}
define void @first_lower_dimensional([400 x float]* %A, [400 x float]* %B) {
bb:
br label %bb4
bb4: ; preds = %bb15, %bb
%i.0 = phi i64 [ 0, %bb ], [ %tmp16, %bb15 ]
%exitcond3 = icmp ne i64 %i.0, 400
br i1 %exitcond3, label %bb5, label %bb17
bb5: ; preds = %bb4
br label %bb6
bb6: ; preds = %bb12, %bb5
%j.0 = phi i64 [ 0, %bb5 ], [ %tmp13, %bb12 ]
%exitcond2 = icmp ne i64 %j.0, 400
br i1 %exitcond2, label %bb7, label %bb14
bb7: ; preds = %bb6
%tmp = add nuw nsw i64 %i.0, %j.0
%tmp8 = sitofp i64 %tmp to float
%tmp9 = getelementptr inbounds [400 x float], [400 x float]* %B, i64 %i.0, i64 %j.0
%tmp10 = load float, float* %tmp9, align 4
%tmp11 = fadd float %tmp10, %tmp8
store float %tmp11, float* %tmp9, align 4
br label %bb12
bb12: ; preds = %bb7
%tmp13 = add nuw nsw i64 %j.0, 1
br label %bb6
bb14: ; preds = %bb6
br label %bb15
bb15: ; preds = %bb14
%tmp16 = add nuw nsw i64 %i.0, 1
br label %bb4
bb17: ; preds = %bb4
%tmp18 = getelementptr inbounds [400 x float], [400 x float]* %B, i64 100, i64 100
%tmp19 = load float, float* %tmp18, align 4
%tmp20 = getelementptr inbounds [400 x float], [400 x float]* %A, i64 0, i64 0
%tmp21 = load float, float* %tmp20, align 4
%tmp22 = fadd float %tmp21, %tmp19
store float %tmp22, float* %tmp20, align 4
br label %bb23
bb23: ; preds = %bb35, %bb17
%i1.0 = phi i64 [ 0, %bb17 ], [ %tmp36, %bb35 ]
%exitcond1 = icmp ne i64 %i1.0, 400
br i1 %exitcond1, label %bb24, label %bb37
bb24: ; preds = %bb23
br label %bb25
bb25: ; preds = %bb32, %bb24
%j2.0 = phi i64 [ 0, %bb24 ], [ %tmp33, %bb32 ]
%exitcond = icmp ne i64 %j2.0, 400
br i1 %exitcond, label %bb26, label %bb34
bb26: ; preds = %bb25
%tmp27 = add nuw nsw i64 %i1.0, %j2.0
%tmp28 = sitofp i64 %tmp27 to float
%tmp29 = getelementptr inbounds [400 x float], [400 x float]* %A, i64 %i1.0, i64 %j2.0
%tmp30 = load float, float* %tmp29, align 4
%tmp31 = fadd float %tmp30, %tmp28
store float %tmp31, float* %tmp29, align 4
br label %bb32
bb32: ; preds = %bb26
%tmp33 = add nuw nsw i64 %j2.0, 1
br label %bb25
bb34: ; preds = %bb25
br label %bb35
bb35: ; preds = %bb34
%tmp36 = add nuw nsw i64 %i1.0, 1
br label %bb23
bb37: ; preds = %bb23
ret void
}