1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s 2 3 ; ModuleID = 'SymbolicRDIV.bc' 4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 5 target triple = "x86_64-apple-macosx10.6.0" 6 7 8 ;; for (long int i = 0; i < n1; i++) 9 ;; A[2*i + n1] = i; 10 ;; for (long int j = 0; j < n2; j++) 11 ;; *B++ = A[3*j + 3*n1]; 12 13 define void @symbolicrdiv0(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 14 entry: 15 %cmp4 = icmp eq i64 %n1, 0 16 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader 17 18 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv0' 19 ; CHECK: da analyze - none! 20 ; CHECK: da analyze - none! 21 ; CHECK: da analyze - confused! 22 ; CHECK: da analyze - none! 23 ; CHECK: da analyze - confused! 24 ; CHECK: da analyze - none! 25 26 for.body.preheader: ; preds = %entry 27 br label %for.body 28 29 for.cond1.preheader.loopexit: ; preds = %for.body 30 br label %for.cond1.preheader 31 32 for.cond1.preheader: ; preds = %for.cond1.preheader.loopexit, %entry 33 %cmp21 = icmp eq i64 %n2, 0 34 br i1 %cmp21, label %for.end11, label %for.body4.preheader 35 36 for.body4.preheader: ; preds = %for.cond1.preheader 37 br label %for.body4 38 39 for.body: ; preds = %for.body.preheader, %for.body 40 %i.05 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 41 %conv = trunc i64 %i.05 to i32 42 %mul = shl nsw i64 %i.05, 1 43 %add = add i64 %mul, %n1 44 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 45 store i32 %conv, i32* %arrayidx, align 4 46 %inc = add nsw i64 %i.05, 1 47 %exitcond = icmp ne i64 %inc, %n1 48 br i1 %exitcond, label %for.body, label %for.cond1.preheader.loopexit 49 50 for.body4: ; preds = %for.body4.preheader, %for.body4 51 %j.03 = phi i64 [ %inc10, %for.body4 ], [ 0, %for.body4.preheader ] 52 %B.addr.02 = phi i32* [ %incdec.ptr, %for.body4 ], [ %B, %for.body4.preheader ] 53 %mul56 = add i64 %j.03, %n1 54 %add7 = mul i64 %mul56, 3 55 %arrayidx8 = getelementptr inbounds i32, i32* %A, i64 %add7 56 %0 = load i32, i32* %arrayidx8, align 4 57 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 58 store i32 %0, i32* %B.addr.02, align 4 59 %inc10 = add nsw i64 %j.03, 1 60 %exitcond7 = icmp ne i64 %inc10, %n2 61 br i1 %exitcond7, label %for.body4, label %for.end11.loopexit 62 63 for.end11.loopexit: ; preds = %for.body4 64 br label %for.end11 65 66 for.end11: ; preds = %for.end11.loopexit, %for.cond1.preheader 67 ret void 68 } 69 70 71 ;; for (long int i = 0; i < n1; i++) 72 ;; A[2*i + 5*n2] = i; 73 ;; for (long int j = 0; j < n2; j++) 74 ;; *B++ = A[3*j + 2*n2]; 75 76 define void @symbolicrdiv1(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 77 entry: 78 %cmp4 = icmp eq i64 %n1, 0 79 br i1 %cmp4, label %for.cond2.preheader, label %for.body.preheader 80 81 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv1' 82 ; CHECK: da analyze - none! 83 ; CHECK: da analyze - none! 84 ; CHECK: da analyze - confused! 85 ; CHECK: da analyze - none! 86 ; CHECK: da analyze - confused! 87 ; CHECK: da analyze - none! 88 89 for.body.preheader: ; preds = %entry 90 br label %for.body 91 92 for.cond2.preheader.loopexit: ; preds = %for.body 93 br label %for.cond2.preheader 94 95 for.cond2.preheader: ; preds = %for.cond2.preheader.loopexit, %entry 96 %cmp31 = icmp eq i64 %n2, 0 97 br i1 %cmp31, label %for.end12, label %for.body5.preheader 98 99 for.body5.preheader: ; preds = %for.cond2.preheader 100 br label %for.body5 101 102 for.body: ; preds = %for.body.preheader, %for.body 103 %i.05 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 104 %conv = trunc i64 %i.05 to i32 105 %mul = shl nsw i64 %i.05, 1 106 %mul1 = mul i64 %n2, 5 107 %add = add i64 %mul, %mul1 108 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 109 store i32 %conv, i32* %arrayidx, align 4 110 %inc = add nsw i64 %i.05, 1 111 %exitcond = icmp ne i64 %inc, %n1 112 br i1 %exitcond, label %for.body, label %for.cond2.preheader.loopexit 113 114 for.body5: ; preds = %for.body5.preheader, %for.body5 115 %j.03 = phi i64 [ %inc11, %for.body5 ], [ 0, %for.body5.preheader ] 116 %B.addr.02 = phi i32* [ %incdec.ptr, %for.body5 ], [ %B, %for.body5.preheader ] 117 %mul6 = mul nsw i64 %j.03, 3 118 %mul7 = shl i64 %n2, 1 119 %add8 = add i64 %mul6, %mul7 120 %arrayidx9 = getelementptr inbounds i32, i32* %A, i64 %add8 121 %0 = load i32, i32* %arrayidx9, align 4 122 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 123 store i32 %0, i32* %B.addr.02, align 4 124 %inc11 = add nsw i64 %j.03, 1 125 %exitcond6 = icmp ne i64 %inc11, %n2 126 br i1 %exitcond6, label %for.body5, label %for.end12.loopexit 127 128 for.end12.loopexit: ; preds = %for.body5 129 br label %for.end12 130 131 for.end12: ; preds = %for.end12.loopexit, %for.cond2.preheader 132 ret void 133 } 134 135 136 ;; for (long int i = 0; i < n1; i++) 137 ;; A[2*i - n2] = i; 138 ;; for (long int j = 0; j < n2; j++) 139 ;; *B++ = A[-j + 2*n1]; 140 141 define void @symbolicrdiv2(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 142 entry: 143 %cmp4 = icmp eq i64 %n1, 0 144 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader 145 146 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv2' 147 ; CHECK: da analyze - none! 148 ; CHECK: da analyze - none! 149 ; CHECK: da analyze - confused! 150 ; CHECK: da analyze - none! 151 ; CHECK: da analyze - confused! 152 ; CHECK: da analyze - none! 153 154 for.body.preheader: ; preds = %entry 155 br label %for.body 156 157 for.cond1.preheader.loopexit: ; preds = %for.body 158 br label %for.cond1.preheader 159 160 for.cond1.preheader: ; preds = %for.cond1.preheader.loopexit, %entry 161 %cmp21 = icmp eq i64 %n2, 0 162 br i1 %cmp21, label %for.end10, label %for.body4.preheader 163 164 for.body4.preheader: ; preds = %for.cond1.preheader 165 br label %for.body4 166 167 for.body: ; preds = %for.body.preheader, %for.body 168 %i.05 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 169 %conv = trunc i64 %i.05 to i32 170 %mul = shl nsw i64 %i.05, 1 171 %sub = sub i64 %mul, %n2 172 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %sub 173 store i32 %conv, i32* %arrayidx, align 4 174 %inc = add nsw i64 %i.05, 1 175 %exitcond = icmp ne i64 %inc, %n1 176 br i1 %exitcond, label %for.body, label %for.cond1.preheader.loopexit 177 178 for.body4: ; preds = %for.body4.preheader, %for.body4 179 %j.03 = phi i64 [ %inc9, %for.body4 ], [ 0, %for.body4.preheader ] 180 %B.addr.02 = phi i32* [ %incdec.ptr, %for.body4 ], [ %B, %for.body4.preheader ] 181 %mul6 = shl i64 %n1, 1 182 %add = sub i64 %mul6, %j.03 183 %arrayidx7 = getelementptr inbounds i32, i32* %A, i64 %add 184 %0 = load i32, i32* %arrayidx7, align 4 185 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 186 store i32 %0, i32* %B.addr.02, align 4 187 %inc9 = add nsw i64 %j.03, 1 188 %exitcond6 = icmp ne i64 %inc9, %n2 189 br i1 %exitcond6, label %for.body4, label %for.end10.loopexit 190 191 for.end10.loopexit: ; preds = %for.body4 192 br label %for.end10 193 194 for.end10: ; preds = %for.end10.loopexit, %for.cond1.preheader 195 ret void 196 } 197 198 199 ;; for (long int i = 0; i < n1; i++) 200 ;; A[-i + n2] = i; 201 ;; for (long int j = 0; j < n2; j++) 202 ;; *B++ = A[j - n1]; 203 204 define void @symbolicrdiv3(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 205 entry: 206 %cmp4 = icmp eq i64 %n1, 0 207 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader 208 209 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv3' 210 ; CHECK: da analyze - none! 211 ; CHECK: da analyze - none! 212 ; CHECK: da analyze - confused! 213 ; CHECK: da analyze - none! 214 ; CHECK: da analyze - confused! 215 ; CHECK: da analyze - none! 216 217 for.body.preheader: ; preds = %entry 218 br label %for.body 219 220 for.cond1.preheader.loopexit: ; preds = %for.body 221 br label %for.cond1.preheader 222 223 for.cond1.preheader: ; preds = %for.cond1.preheader.loopexit, %entry 224 %cmp21 = icmp eq i64 %n2, 0 225 br i1 %cmp21, label %for.end9, label %for.body4.preheader 226 227 for.body4.preheader: ; preds = %for.cond1.preheader 228 br label %for.body4 229 230 for.body: ; preds = %for.body.preheader, %for.body 231 %i.05 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 232 %conv = trunc i64 %i.05 to i32 233 %add = sub i64 %n2, %i.05 234 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 235 store i32 %conv, i32* %arrayidx, align 4 236 %inc = add nsw i64 %i.05, 1 237 %exitcond = icmp ne i64 %inc, %n1 238 br i1 %exitcond, label %for.body, label %for.cond1.preheader.loopexit 239 240 for.body4: ; preds = %for.body4.preheader, %for.body4 241 %j.03 = phi i64 [ %inc8, %for.body4 ], [ 0, %for.body4.preheader ] 242 %B.addr.02 = phi i32* [ %incdec.ptr, %for.body4 ], [ %B, %for.body4.preheader ] 243 %sub5 = sub i64 %j.03, %n1 244 %arrayidx6 = getelementptr inbounds i32, i32* %A, i64 %sub5 245 %0 = load i32, i32* %arrayidx6, align 4 246 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 247 store i32 %0, i32* %B.addr.02, align 4 248 %inc8 = add nsw i64 %j.03, 1 249 %exitcond6 = icmp ne i64 %inc8, %n2 250 br i1 %exitcond6, label %for.body4, label %for.end9.loopexit 251 252 for.end9.loopexit: ; preds = %for.body4 253 br label %for.end9 254 255 for.end9: ; preds = %for.end9.loopexit, %for.cond1.preheader 256 ret void 257 } 258 259 260 ;; for (long int i = 0; i < n1; i++) 261 ;; A[-i + 2*n1] = i; 262 ;; for (long int j = 0; j < n2; j++) 263 ;; *B++ = A[-j + n1]; 264 265 define void @symbolicrdiv4(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 266 entry: 267 %cmp4 = icmp eq i64 %n1, 0 268 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader 269 270 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv4' 271 ; CHECK: da analyze - none! 272 ; CHECK: da analyze - none! 273 ; CHECK: da analyze - confused! 274 ; CHECK: da analyze - none! 275 ; CHECK: da analyze - confused! 276 ; CHECK: da analyze - none! 277 278 for.body.preheader: ; preds = %entry 279 br label %for.body 280 281 for.cond1.preheader.loopexit: ; preds = %for.body 282 br label %for.cond1.preheader 283 284 for.cond1.preheader: ; preds = %for.cond1.preheader.loopexit, %entry 285 %cmp21 = icmp eq i64 %n2, 0 286 br i1 %cmp21, label %for.end10, label %for.body4.preheader 287 288 for.body4.preheader: ; preds = %for.cond1.preheader 289 br label %for.body4 290 291 for.body: ; preds = %for.body.preheader, %for.body 292 %i.05 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 293 %conv = trunc i64 %i.05 to i32 294 %mul = shl i64 %n1, 1 295 %add = sub i64 %mul, %i.05 296 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 297 store i32 %conv, i32* %arrayidx, align 4 298 %inc = add nsw i64 %i.05, 1 299 %exitcond = icmp ne i64 %inc, %n1 300 br i1 %exitcond, label %for.body, label %for.cond1.preheader.loopexit 301 302 for.body4: ; preds = %for.body4.preheader, %for.body4 303 %j.03 = phi i64 [ %inc9, %for.body4 ], [ 0, %for.body4.preheader ] 304 %B.addr.02 = phi i32* [ %incdec.ptr, %for.body4 ], [ %B, %for.body4.preheader ] 305 %add6 = sub i64 %n1, %j.03 306 %arrayidx7 = getelementptr inbounds i32, i32* %A, i64 %add6 307 %0 = load i32, i32* %arrayidx7, align 4 308 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 309 store i32 %0, i32* %B.addr.02, align 4 310 %inc9 = add nsw i64 %j.03, 1 311 %exitcond6 = icmp ne i64 %inc9, %n2 312 br i1 %exitcond6, label %for.body4, label %for.end10.loopexit 313 314 for.end10.loopexit: ; preds = %for.body4 315 br label %for.end10 316 317 for.end10: ; preds = %for.end10.loopexit, %for.cond1.preheader 318 ret void 319 } 320 321 322 ;; for (long int i = 0; i < n1; i++) 323 ;; A[-i + n2] = i; 324 ;; for (long int j = 0; j < n2; j++) 325 ;; *B++ = A[-j + 2*n2]; 326 327 define void @symbolicrdiv5(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 328 entry: 329 %cmp4 = icmp eq i64 %n1, 0 330 br i1 %cmp4, label %for.cond1.preheader, label %for.body.preheader 331 332 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv5' 333 ; CHECK: da analyze - none! 334 ; CHECK: da analyze - none! 335 ; CHECK: da analyze - confused! 336 ; CHECK: da analyze - none! 337 ; CHECK: da analyze - confused! 338 ; CHECK: da analyze - none! 339 340 for.body.preheader: ; preds = %entry 341 br label %for.body 342 343 for.cond1.preheader.loopexit: ; preds = %for.body 344 br label %for.cond1.preheader 345 346 for.cond1.preheader: ; preds = %for.cond1.preheader.loopexit, %entry 347 %cmp21 = icmp eq i64 %n2, 0 348 br i1 %cmp21, label %for.end10, label %for.body4.preheader 349 350 for.body4.preheader: ; preds = %for.cond1.preheader 351 br label %for.body4 352 353 for.body: ; preds = %for.body.preheader, %for.body 354 %i.05 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 355 %conv = trunc i64 %i.05 to i32 356 %add = sub i64 %n2, %i.05 357 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 358 store i32 %conv, i32* %arrayidx, align 4 359 %inc = add nsw i64 %i.05, 1 360 %exitcond = icmp ne i64 %inc, %n1 361 br i1 %exitcond, label %for.body, label %for.cond1.preheader.loopexit 362 363 for.body4: ; preds = %for.body4.preheader, %for.body4 364 %j.03 = phi i64 [ %inc9, %for.body4 ], [ 0, %for.body4.preheader ] 365 %B.addr.02 = phi i32* [ %incdec.ptr, %for.body4 ], [ %B, %for.body4.preheader ] 366 %mul = shl i64 %n2, 1 367 %add6 = sub i64 %mul, %j.03 368 %arrayidx7 = getelementptr inbounds i32, i32* %A, i64 %add6 369 %0 = load i32, i32* %arrayidx7, align 4 370 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 371 store i32 %0, i32* %B.addr.02, align 4 372 %inc9 = add nsw i64 %j.03, 1 373 %exitcond6 = icmp ne i64 %inc9, %n2 374 br i1 %exitcond6, label %for.body4, label %for.end10.loopexit 375 376 for.end10.loopexit: ; preds = %for.body4 377 br label %for.end10 378 379 for.end10: ; preds = %for.end10.loopexit, %for.cond1.preheader 380 ret void 381 } 382 383 384 ;; for (long int i = 0; i < n1; i++) 385 ;; for (long int j = 0; j < n2; j++) { 386 ;; A[j -i + n2] = i; 387 ;; *B++ = A[2*n2]; 388 389 define void @symbolicrdiv6(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { 390 entry: 391 %cmp4 = icmp eq i64 %n1, 0 392 br i1 %cmp4, label %for.end7, label %for.cond1.preheader.preheader 393 394 ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv6' 395 ; CHECK: da analyze - output [* *]! 396 ; CHECK: da analyze - none! 397 ; CHECK: da analyze - confused! 398 ; CHECK: da analyze - consistent input [S S]! 399 ; CHECK: da analyze - confused! 400 ; CHECK: da analyze - output [* *]! 401 402 for.cond1.preheader.preheader: ; preds = %entry 403 br label %for.cond1.preheader 404 405 for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc5 406 %B.addr.06 = phi i32* [ %B.addr.1.lcssa, %for.inc5 ], [ %B, %for.cond1.preheader.preheader ] 407 %i.05 = phi i64 [ %inc6, %for.inc5 ], [ 0, %for.cond1.preheader.preheader ] 408 %cmp21 = icmp eq i64 %n2, 0 409 br i1 %cmp21, label %for.inc5, label %for.body3.preheader 410 411 for.body3.preheader: ; preds = %for.cond1.preheader 412 br label %for.body3 413 414 for.body3: ; preds = %for.body3.preheader, %for.body3 415 %j.03 = phi i64 [ %inc, %for.body3 ], [ 0, %for.body3.preheader ] 416 %B.addr.12 = phi i32* [ %incdec.ptr, %for.body3 ], [ %B.addr.06, %for.body3.preheader ] 417 %conv = trunc i64 %i.05 to i32 418 %sub = sub nsw i64 %j.03, %i.05 419 %add = add i64 %sub, %n2 420 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 421 store i32 %conv, i32* %arrayidx, align 4 422 %mul = shl i64 %n2, 1 423 %arrayidx4 = getelementptr inbounds i32, i32* %A, i64 %mul 424 %0 = load i32, i32* %arrayidx4, align 4 425 %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.12, i64 1 426 store i32 %0, i32* %B.addr.12, align 4 427 %inc = add nsw i64 %j.03, 1 428 %exitcond = icmp ne i64 %inc, %n2 429 br i1 %exitcond, label %for.body3, label %for.inc5.loopexit 430 431 for.inc5.loopexit: ; preds = %for.body3 432 %scevgep = getelementptr i32, i32* %B.addr.06, i64 %n2 433 br label %for.inc5 434 435 for.inc5: ; preds = %for.inc5.loopexit, %for.cond1.preheader 436 %B.addr.1.lcssa = phi i32* [ %B.addr.06, %for.cond1.preheader ], [ %scevgep, %for.inc5.loopexit ] 437 %inc6 = add nsw i64 %i.05, 1 438 %exitcond7 = icmp ne i64 %inc6, %n1 439 br i1 %exitcond7, label %for.cond1.preheader, label %for.end7.loopexit 440 441 for.end7.loopexit: ; preds = %for.inc5 442 br label %for.end7 443 444 for.end7: ; preds = %for.end7.loopexit, %entry 445 ret void 446 } 447
