178 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -disable-output -passes="print<da>" 2>&1 | FileCheck %s3 4; Note: exact results can be achieved even if5; "-da-disable-delinearization-checks" is not used6 7;; #define N 10248;; #define M 20489;; void t1(int a[N][M]) {10;; for (int i = 0; i < N-1; ++i)11;; for (int j = 2; j < M; ++j)12;; a[i][j] = a[i+1][j-2];13;; }14;;15;; Note that there is a getelementptr with index 0, make sure we can analyze this case.16define void @t1(ptr %a) {17; CHECK-LABEL: 't1'18; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: %2 = load i32, ptr %arrayidx6, align 419; CHECK-NEXT: da analyze - none!20; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: store i32 %2, ptr %arrayidx10, align 421; CHECK-NEXT: da analyze - consistent anti [1 -2]!22; CHECK-NEXT: Src: store i32 %2, ptr %arrayidx10, align 4 --> Dst: store i32 %2, ptr %arrayidx10, align 423; CHECK-NEXT: da analyze - none!24;25entry:26 br label %for.body27 28for.body: ; preds = %entry, %for.inc1129 %indvars.iv4 = phi i64 [ 0, %entry ], [ %indvars.iv.next5, %for.inc11 ]30 br label %for.body431 32for.body4: ; preds = %for.body, %for.body433 %indvars.iv = phi i64 [ 2, %for.body ], [ %indvars.iv.next, %for.body4 ]34 %0 = add nuw nsw i64 %indvars.iv4, 135 %1 = add nsw i64 %indvars.iv, -236 %arrayidx6 = getelementptr inbounds [2048 x i32], ptr %a, i64 %0, i64 %137 %2 = load i32, ptr %arrayidx6, align 438 %arrayidx10 = getelementptr inbounds [2048 x i32], ptr %a, i64 %indvars.iv4, i64 %indvars.iv39 store i32 %2, ptr %arrayidx10, align 440 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 141 %exitcond = icmp ne i64 %indvars.iv.next, 204842 br i1 %exitcond, label %for.body4, label %for.inc1143 44for.inc11: ; preds = %for.body445 %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 146 %exitcond7 = icmp ne i64 %indvars.iv.next5, 102347 br i1 %exitcond7, label %for.body, label %for.end1348 49for.end13: ; preds = %for.inc1150 ret void51}52 53;; Similar to @t1 but includes a call with a "returned" arg, make sure we can analyze54;; this case.55 56define void @t2(ptr %a) {57; CHECK-LABEL: 't2'58; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: %2 = load i32, ptr %arrayidx6, align 459; CHECK-NEXT: da analyze - none!60; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: %call = call ptr @func_with_returned_arg(ptr returned %a)61; CHECK-NEXT: da analyze - confused!62; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: store i32 %2, ptr %arrayidx10, align 463; CHECK-NEXT: da analyze - consistent anti [1 -2]!64; CHECK-NEXT: Src: %call = call ptr @func_with_returned_arg(ptr returned %a) --> Dst: %call = call ptr @func_with_returned_arg(ptr returned %a)65; CHECK-NEXT: da analyze - confused!66; CHECK-NEXT: Src: %call = call ptr @func_with_returned_arg(ptr returned %a) --> Dst: store i32 %2, ptr %arrayidx10, align 467; CHECK-NEXT: da analyze - confused!68; CHECK-NEXT: Src: store i32 %2, ptr %arrayidx10, align 4 --> Dst: store i32 %2, ptr %arrayidx10, align 469; CHECK-NEXT: da analyze - none!70;71entry:72 br label %for.body73 74for.body: ; preds = %entry, %for.inc1175 %indvars.iv4 = phi i64 [ 0, %entry ], [ %indvars.iv.next5, %for.inc11 ]76 br label %for.body477 78for.body4: ; preds = %for.body, %for.body479 %indvars.iv = phi i64 [ 2, %for.body ], [ %indvars.iv.next, %for.body4 ]80 %0 = add nuw nsw i64 %indvars.iv4, 181 %1 = add nsw i64 %indvars.iv, -282 %arrayidx6 = getelementptr inbounds [2048 x i32], ptr %a, i64 %0, i64 %183 %2 = load i32, ptr %arrayidx6, align 484 %call = call ptr @func_with_returned_arg(ptr returned %a)85 %arrayidx10 = getelementptr inbounds [2048 x i32], ptr %call, i64 %indvars.iv4, i64 %indvars.iv86 store i32 %2, ptr %arrayidx10, align 487 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 188 %exitcond = icmp ne i64 %indvars.iv.next, 204889 br i1 %exitcond, label %for.body4, label %for.inc1190 91for.inc11: ; preds = %for.body492 %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 193 %exitcond7 = icmp ne i64 %indvars.iv.next5, 102394 br i1 %exitcond7, label %for.body, label %for.end1395 96for.end13: ; preds = %for.inc1197 ret void98}99 100declare ptr @func_with_returned_arg(ptr returned %arg)101 102;; #define N 1024103;; #define M 2048104;; void t2(int a[][N][N][N][M]) {105;; for (int i1 = 0; i1 < N-1; ++i1)106;; for (int i2 = 2; i2 < N; ++i2)107;; for (int i3 = 0; i3 < N; ++i3)108;; for (int i4 = 3; i4 < N; ++i4)109;; for (int i5 = 0; i5 < M-2; ++i5)110;; a[i1][i2][i3][i4][i5] = a[i1+1][i2-2][i3][i4-3][i5+2];111;; }112 113define void @t3(ptr %a) {114; CHECK-LABEL: 't3'115; CHECK-NEXT: Src: %4 = load i32, ptr %arrayidx26, align 4 --> Dst: %4 = load i32, ptr %arrayidx26, align 4116; CHECK-NEXT: da analyze - none!117; CHECK-NEXT: Src: %4 = load i32, ptr %arrayidx26, align 4 --> Dst: store i32 %4, ptr %arrayidx36, align 4118; CHECK-NEXT: da analyze - consistent anti [1 -2 0 -3 2]!119; CHECK-NEXT: Src: store i32 %4, ptr %arrayidx36, align 4 --> Dst: store i32 %4, ptr %arrayidx36, align 4120; CHECK-NEXT: da analyze - none!121;122entry:123 br label %for.body124 125for.body: ; preds = %entry, %for.inc46126 %indvars.iv18 = phi i64 [ 0, %entry ], [ %indvars.iv.next19, %for.inc46 ]127 br label %for.body4128 129for.body4: ; preds = %for.body, %for.inc43130 %indvars.iv14 = phi i64 [ 2, %for.body ], [ %indvars.iv.next15, %for.inc43 ]131 br label %for.body8132 133for.body8: ; preds = %for.body4, %for.inc40134 %indvars.iv11 = phi i64 [ 0, %for.body4 ], [ %indvars.iv.next12, %for.inc40 ]135 br label %for.body12136 137for.body12: ; preds = %for.body8, %for.inc37138 %indvars.iv7 = phi i64 [ 3, %for.body8 ], [ %indvars.iv.next8, %for.inc37 ]139 br label %for.body16140 141for.body16: ; preds = %for.body12, %for.body16142 %indvars.iv = phi i64 [ 0, %for.body12 ], [ %indvars.iv.next, %for.body16 ]143 %0 = add nuw nsw i64 %indvars.iv18, 1144 %1 = add nsw i64 %indvars.iv14, -2145 %2 = add nsw i64 %indvars.iv7, -3146 %3 = add nuw nsw i64 %indvars.iv, 2147 %arrayidx26 = getelementptr inbounds [1024 x [1024 x [1024 x [2048 x i32]]]], ptr %a, i64 %0, i64 %1, i64 %indvars.iv11, i64 %2, i64 %3148 %4 = load i32, ptr %arrayidx26, align 4149 %arrayidx36 = getelementptr inbounds [1024 x [1024 x [1024 x [2048 x i32]]]], ptr %a, i64 %indvars.iv18, i64 %indvars.iv14, i64 %indvars.iv11, i64 %indvars.iv7, i64 %indvars.iv150 store i32 %4, ptr %arrayidx36, align 4151 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1152 %exitcond = icmp ne i64 %indvars.iv.next, 2046153 br i1 %exitcond, label %for.body16, label %for.inc37154 155for.inc37: ; preds = %for.body16156 %indvars.iv.next8 = add nuw nsw i64 %indvars.iv7, 1157 %exitcond10 = icmp ne i64 %indvars.iv.next8, 1024158 br i1 %exitcond10, label %for.body12, label %for.inc40159 160for.inc40: ; preds = %for.inc37161 %indvars.iv.next12 = add nuw nsw i64 %indvars.iv11, 1162 %exitcond13 = icmp ne i64 %indvars.iv.next12, 1024163 br i1 %exitcond13, label %for.body8, label %for.inc43164 165for.inc43: ; preds = %for.inc40166 %indvars.iv.next15 = add nuw nsw i64 %indvars.iv14, 1167 %exitcond17 = icmp ne i64 %indvars.iv.next15, 1024168 br i1 %exitcond17, label %for.body4, label %for.inc46169 170for.inc46: ; preds = %for.inc43171 %indvars.iv.next19 = add nuw nsw i64 %indvars.iv18, 1172 %exitcond21 = icmp ne i64 %indvars.iv.next19, 1023173 br i1 %exitcond21, label %for.body, label %for.end48174 175for.end48: ; preds = %for.inc46176 ret void177}178