1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5 2; RUN: opt < %s -disable-output -passes="print<da>" 2>&1 | FileCheck %s 3 4; Note: exact results can be achived even if 5; "-da-disable-delinearization-checks" is not used 6 7;; #define N 1024 8;; #define M 2048 9;; 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 4 19; CHECK-NEXT: da analyze - none! 20; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: store i32 %2, ptr %arrayidx10, align 4 21; 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 4 23; CHECK-NEXT: da analyze - none! 24; 25entry: 26 br label %for.body 27 28for.body: ; preds = %entry, %for.inc11 29 %indvars.iv4 = phi i64 [ 0, %entry ], [ %indvars.iv.next5, %for.inc11 ] 30 br label %for.body4 31 32for.body4: ; preds = %for.body, %for.body4 33 %indvars.iv = phi i64 [ 2, %for.body ], [ %indvars.iv.next, %for.body4 ] 34 %0 = add nuw nsw i64 %indvars.iv4, 1 35 %1 = add nsw i64 %indvars.iv, -2 36 %arrayidx6 = getelementptr inbounds [2048 x i32], ptr %a, i64 %0, i64 %1 37 %2 = load i32, ptr %arrayidx6, align 4 38 %arrayidx10 = getelementptr inbounds [2048 x i32], ptr %a, i64 %indvars.iv4, i64 %indvars.iv 39 store i32 %2, ptr %arrayidx10, align 4 40 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 41 %exitcond = icmp ne i64 %indvars.iv.next, 2048 42 br i1 %exitcond, label %for.body4, label %for.inc11 43 44for.inc11: ; preds = %for.body4 45 %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 1 46 %exitcond7 = icmp ne i64 %indvars.iv.next5, 1023 47 br i1 %exitcond7, label %for.body, label %for.end13 48 49for.end13: ; preds = %for.inc11 50 ret void 51} 52 53;; Similar to @t1 but includes a call with a "returned" arg, make sure we can analyze 54;; 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 4 59; 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 4 63; 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 4 67; CHECK-NEXT: da analyze - confused! 68; CHECK-NEXT: Src: store i32 %2, ptr %arrayidx10, align 4 --> Dst: store i32 %2, ptr %arrayidx10, align 4 69; CHECK-NEXT: da analyze - none! 70; 71entry: 72 br label %for.body 73 74for.body: ; preds = %entry, %for.inc11 75 %indvars.iv4 = phi i64 [ 0, %entry ], [ %indvars.iv.next5, %for.inc11 ] 76 br label %for.body4 77 78for.body4: ; preds = %for.body, %for.body4 79 %indvars.iv = phi i64 [ 2, %for.body ], [ %indvars.iv.next, %for.body4 ] 80 %0 = add nuw nsw i64 %indvars.iv4, 1 81 %1 = add nsw i64 %indvars.iv, -2 82 %arrayidx6 = getelementptr inbounds [2048 x i32], ptr %a, i64 %0, i64 %1 83 %2 = load i32, ptr %arrayidx6, align 4 84 %call = call ptr @func_with_returned_arg(ptr returned %a) 85 %arrayidx10 = getelementptr inbounds [2048 x i32], ptr %call, i64 %indvars.iv4, i64 %indvars.iv 86 store i32 %2, ptr %arrayidx10, align 4 87 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 88 %exitcond = icmp ne i64 %indvars.iv.next, 2048 89 br i1 %exitcond, label %for.body4, label %for.inc11 90 91for.inc11: ; preds = %for.body4 92 %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 1 93 %exitcond7 = icmp ne i64 %indvars.iv.next5, 1023 94 br i1 %exitcond7, label %for.body, label %for.end13 95 96for.end13: ; preds = %for.inc11 97 ret void 98} 99 100declare ptr @func_with_returned_arg(ptr returned %arg) 101 102;; #define N 1024 103;; #define M 2048 104;; 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 4 116; CHECK-NEXT: da analyze - none! 117; CHECK-NEXT: Src: %4 = load i32, ptr %arrayidx26, align 4 --> Dst: store i32 %4, ptr %arrayidx36, align 4 118; 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 4 120; CHECK-NEXT: da analyze - none! 121; 122entry: 123 br label %for.body 124 125for.body: ; preds = %entry, %for.inc46 126 %indvars.iv18 = phi i64 [ 0, %entry ], [ %indvars.iv.next19, %for.inc46 ] 127 br label %for.body4 128 129for.body4: ; preds = %for.body, %for.inc43 130 %indvars.iv14 = phi i64 [ 2, %for.body ], [ %indvars.iv.next15, %for.inc43 ] 131 br label %for.body8 132 133for.body8: ; preds = %for.body4, %for.inc40 134 %indvars.iv11 = phi i64 [ 0, %for.body4 ], [ %indvars.iv.next12, %for.inc40 ] 135 br label %for.body12 136 137for.body12: ; preds = %for.body8, %for.inc37 138 %indvars.iv7 = phi i64 [ 3, %for.body8 ], [ %indvars.iv.next8, %for.inc37 ] 139 br label %for.body16 140 141for.body16: ; preds = %for.body12, %for.body16 142 %indvars.iv = phi i64 [ 0, %for.body12 ], [ %indvars.iv.next, %for.body16 ] 143 %0 = add nuw nsw i64 %indvars.iv18, 1 144 %1 = add nsw i64 %indvars.iv14, -2 145 %2 = add nsw i64 %indvars.iv7, -3 146 %3 = add nuw nsw i64 %indvars.iv, 2 147 %arrayidx26 = getelementptr inbounds [1024 x [1024 x [1024 x [2048 x i32]]]], ptr %a, i64 %0, i64 %1, i64 %indvars.iv11, i64 %2, i64 %3 148 %4 = load i32, ptr %arrayidx26, align 4 149 %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.iv 150 store i32 %4, ptr %arrayidx36, align 4 151 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 152 %exitcond = icmp ne i64 %indvars.iv.next, 2046 153 br i1 %exitcond, label %for.body16, label %for.inc37 154 155for.inc37: ; preds = %for.body16 156 %indvars.iv.next8 = add nuw nsw i64 %indvars.iv7, 1 157 %exitcond10 = icmp ne i64 %indvars.iv.next8, 1024 158 br i1 %exitcond10, label %for.body12, label %for.inc40 159 160for.inc40: ; preds = %for.inc37 161 %indvars.iv.next12 = add nuw nsw i64 %indvars.iv11, 1 162 %exitcond13 = icmp ne i64 %indvars.iv.next12, 1024 163 br i1 %exitcond13, label %for.body8, label %for.inc43 164 165for.inc43: ; preds = %for.inc40 166 %indvars.iv.next15 = add nuw nsw i64 %indvars.iv14, 1 167 %exitcond17 = icmp ne i64 %indvars.iv.next15, 1024 168 br i1 %exitcond17, label %for.body4, label %for.inc46 169 170for.inc46: ; preds = %for.inc43 171 %indvars.iv.next19 = add nuw nsw i64 %indvars.iv18, 1 172 %exitcond21 = icmp ne i64 %indvars.iv.next19, 1023 173 br i1 %exitcond21, label %for.body, label %for.end48 174 175for.end48: ; preds = %for.inc46 176 ret void 177} 178