1 ; RUN: opt -loop-reduce -disable-output -debug-only=loop-reduce < %s 2>&1 | FileCheck %s 2 ; REQUIRES: asserts 3 ; 4 ; PR13361: LSR + SCEV "hangs" on reasonably sized test with sequence of loops 5 ; 6 ; Without limits on CollectSubexpr, we have thousands of formulae for 7 ; the use that crosses loops. With limits we have five. 8 ; CHECK: LSR on loop %bb221: 9 ; CHECK: After generating reuse formulae: 10 ; CHECK: LSR is examining the following uses: 11 ; CHECK: LSR Use: Kind=Special 12 ; CHECK: {{.*reg\(\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{}} 13 ; CHECK: {{.*reg\(\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{}} 14 ; CHECK: {{.*reg\(\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{}} 15 ; CHECK: {{.*reg\(\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{}} 16 ; CHECK: {{.*reg\(\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{.*\{}} 17 ; CHECK-NOT:reg 18 ; CHECK: Filtering for use 19 20 ; Provide legal integer types. 21 target datalayout = "n8:16:32:64" 22 23 24 %struct.snork = type { %struct.fuga, i32, i32, i32, i32, i32, i32 } 25 %struct.fuga = type { %struct.gork, i64 } 26 %struct.gork = type { i8*, i32, i32, %struct.noot* } 27 %struct.noot = type opaque 28 %struct.jim = type { [5120 x i8], i32, i32, [2048 x i8], i32, [256 x i8] } 29 30 @global = external global %struct.snork, align 8 31 @global1 = external hidden unnamed_addr constant [52 x i8], align 1 32 @global2 = external hidden unnamed_addr constant [18 x i8], align 1 33 @global3 = external hidden global %struct.jim, align 32 34 @global4 = external hidden unnamed_addr constant [40 x i8], align 1 35 36 declare void @snork(...) nounwind 37 38 declare fastcc void @blarg() nounwind uwtable readonly 39 40 define hidden fastcc void @boogle() nounwind uwtable { 41 bb: 42 %tmp = trunc i64 0 to i32 43 %tmp1 = icmp slt i32 %tmp, 2047 44 %tmp2 = add i32 0, -1 45 %tmp3 = icmp ult i32 %tmp2, 255 46 %tmp4 = and i1 %tmp1, %tmp3 47 br i1 %tmp4, label %bb6, label %bb5 48 49 bb5: ; preds = %bb 50 tail call void (...) @snork(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @global1, i64 0, i64 0), i32 2021) nounwind 51 tail call void (...) @snork(i8* getelementptr inbounds (%struct.jim, %struct.jim* @global3, i64 0, i32 3, i64 1), i32 -2146631418) nounwind 52 unreachable 53 54 bb6: ; preds = %bb 55 tail call void @zot(i8* getelementptr inbounds (%struct.jim, %struct.jim* @global3, i64 0, i32 5, i64 0), i8* getelementptr inbounds (%struct.jim, %struct.jim* @global3, i64 0, i32 3, i64 1), i64 undef, i32 1, i1 false) nounwind 56 %tmp7 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 5, i64 undef 57 store i8 0, i8* %tmp7, align 1 58 %tmp8 = add nsw i32 0, 1 59 %tmp9 = sext i32 %tmp8 to i64 60 %tmp10 = add i64 %tmp9, 1 61 %tmp11 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 3, i64 %tmp10 62 %tmp12 = sub i64 2047, %tmp9 63 %tmp13 = icmp eq i32 undef, 1 64 br i1 %tmp13, label %bb14, label %bb15 65 66 bb14: ; preds = %bb6 67 tail call fastcc void @blarg() 68 unreachable 69 70 bb15: ; preds = %bb6 71 %tmp16 = trunc i64 %tmp12 to i32 72 br label %bb17 73 74 bb17: ; preds = %bb26, %bb15 75 %tmp18 = phi i64 [ %tmp28, %bb26 ], [ 0, %bb15 ] 76 %tmp19 = phi i32 [ %tmp29, %bb26 ], [ 0, %bb15 ] 77 %tmp20 = trunc i64 %tmp18 to i32 78 %tmp21 = icmp slt i32 %tmp20, %tmp16 79 br i1 %tmp21, label %bb22, label %bb32 80 81 bb22: ; preds = %bb17 82 %tmp23 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 3, i64 0 83 %tmp24 = load i8, i8* %tmp23, align 1 84 %tmp25 = icmp eq i8 %tmp24, 58 85 br i1 %tmp25, label %bb30, label %bb26 86 87 bb26: ; preds = %bb22 88 %tmp27 = icmp eq i8 %tmp24, 0 89 %tmp28 = add i64 %tmp18, 1 90 %tmp29 = add nsw i32 %tmp19, 1 91 br i1 %tmp27, label %bb32, label %bb17 92 93 bb30: ; preds = %bb22 94 %tmp31 = icmp ult i32 undef, 255 95 br i1 %tmp31, label %bb33, label %bb32 96 97 bb32: ; preds = %bb30, %bb26, %bb17 98 tail call void (...) @snork(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @global1, i64 0, i64 0), i32 2038) nounwind 99 tail call void (...) @snork(i8* %tmp11, i32 -2146631418) nounwind 100 unreachable 101 102 bb33: ; preds = %bb30 103 tail call void @zot(i8* getelementptr inbounds (%struct.jim, %struct.jim* @global3, i64 0, i32 5, i64 0), i8* %tmp11, i64 undef, i32 1, i1 false) nounwind 104 %tmp34 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 5, i64 undef 105 store i8 0, i8* %tmp34, align 1 106 %tmp35 = add nsw i32 %tmp19, 1 107 %tmp36 = sext i32 %tmp35 to i64 108 %tmp37 = add i64 %tmp36, %tmp10 109 %tmp38 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 3, i64 %tmp37 110 %tmp39 = sub i64 %tmp12, %tmp36 111 br i1 false, label %bb40, label %bb41 112 113 bb40: ; preds = %bb33 114 br label %bb41 115 116 bb41: ; preds = %bb40, %bb33 117 %tmp42 = trunc i64 %tmp39 to i32 118 br label %bb43 119 120 bb43: ; preds = %bb52, %bb41 121 %tmp44 = phi i64 [ %tmp53, %bb52 ], [ 0, %bb41 ] 122 %tmp45 = phi i32 [ %tmp54, %bb52 ], [ 0, %bb41 ] 123 %tmp46 = trunc i64 %tmp44 to i32 124 %tmp47 = icmp slt i32 %tmp46, %tmp42 125 br i1 %tmp47, label %bb48, label %bb58 126 127 bb48: ; preds = %bb43 128 %tmp49 = add i64 %tmp44, %tmp37 129 %tmp50 = load i8, i8* undef, align 1 130 %tmp51 = icmp eq i8 %tmp50, 58 131 br i1 %tmp51, label %bb55, label %bb52 132 133 bb52: ; preds = %bb48 134 %tmp53 = add i64 %tmp44, 1 135 %tmp54 = add nsw i32 %tmp45, 1 136 br i1 undef, label %bb58, label %bb43 137 138 bb55: ; preds = %bb48 139 %tmp56 = add i32 %tmp45, -1 140 %tmp57 = icmp ult i32 %tmp56, 255 141 br i1 %tmp57, label %bb59, label %bb58 142 143 bb58: ; preds = %bb55, %bb52, %bb43 144 tail call void (...) @snork(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @global1, i64 0, i64 0), i32 2055) nounwind 145 tail call void (...) @snork(i8* %tmp38, i32 -2146631418) nounwind 146 br label %bb247 147 148 bb59: ; preds = %bb55 149 %tmp60 = sext i32 %tmp45 to i64 150 tail call void @zot(i8* getelementptr inbounds (%struct.jim, %struct.jim* @global3, i64 0, i32 5, i64 0), i8* %tmp38, i64 %tmp60, i32 1, i1 false) nounwind 151 %tmp61 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 5, i64 %tmp60 152 store i8 0, i8* %tmp61, align 1 153 %tmp62 = add nsw i32 %tmp45, 1 154 %tmp63 = sext i32 %tmp62 to i64 155 %tmp64 = add i64 %tmp63, %tmp37 156 %tmp65 = sub i64 %tmp39, %tmp63 157 %tmp66 = icmp eq i32 undef, 2 158 br i1 %tmp66, label %bb67, label %bb68 159 160 bb67: ; preds = %bb59 161 tail call fastcc void @blarg() 162 unreachable 163 164 bb68: ; preds = %bb59 165 switch i32 undef, label %bb71 [ 166 i32 0, label %bb74 167 i32 -1, label %bb69 168 ] 169 170 bb69: ; preds = %bb68 171 tail call void (...) @snork(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @global1, i64 0, i64 0), i32 2071) nounwind 172 %tmp70 = load i32, i32* getelementptr inbounds (%struct.snork, %struct.snork* @global, i64 0, i32 2), align 4 173 unreachable 174 175 bb71: ; preds = %bb68 176 %tmp72 = load i32, i32* getelementptr inbounds (%struct.snork, %struct.snork* @global, i64 0, i32 4), align 4 177 %tmp73 = icmp eq i32 undef, 0 178 br i1 %tmp73, label %bb247, label %bb74 179 180 bb74: ; preds = %bb71, %bb68 181 %tmp75 = trunc i64 %tmp65 to i32 182 br label %bb76 183 184 bb76: ; preds = %bb82, %bb74 185 %tmp77 = phi i64 [ %tmp84, %bb82 ], [ 0, %bb74 ] 186 %tmp78 = phi i32 [ %tmp85, %bb82 ], [ 0, %bb74 ] 187 %tmp79 = trunc i64 %tmp77 to i32 188 %tmp80 = icmp slt i32 %tmp79, %tmp75 189 br i1 %tmp80, label %bb81, label %bb87 190 191 bb81: ; preds = %bb76 192 br i1 false, label %bb86, label %bb82 193 194 bb82: ; preds = %bb81 195 %tmp83 = icmp eq i8 0, 0 196 %tmp84 = add i64 %tmp77, 1 197 %tmp85 = add nsw i32 %tmp78, 1 198 br i1 %tmp83, label %bb87, label %bb76 199 200 bb86: ; preds = %bb81 201 br i1 undef, label %bb88, label %bb87 202 203 bb87: ; preds = %bb86, %bb82, %bb76 204 unreachable 205 206 bb88: ; preds = %bb86 207 %tmp89 = add nsw i32 %tmp78, 1 208 %tmp90 = sext i32 %tmp89 to i64 209 %tmp91 = add i64 %tmp90, %tmp64 210 %tmp92 = sub i64 %tmp65, %tmp90 211 br i1 false, label %bb93, label %bb94 212 213 bb93: ; preds = %bb88 214 unreachable 215 216 bb94: ; preds = %bb88 217 %tmp95 = trunc i64 %tmp92 to i32 218 br label %bb96 219 220 bb96: ; preds = %bb102, %bb94 221 %tmp97 = phi i64 [ %tmp103, %bb102 ], [ 0, %bb94 ] 222 %tmp98 = phi i32 [ %tmp104, %bb102 ], [ 0, %bb94 ] 223 %tmp99 = trunc i64 %tmp97 to i32 224 %tmp100 = icmp slt i32 %tmp99, %tmp95 225 br i1 %tmp100, label %bb101, label %bb106 226 227 bb101: ; preds = %bb96 228 br i1 undef, label %bb105, label %bb102 229 230 bb102: ; preds = %bb101 231 %tmp103 = add i64 %tmp97, 1 232 %tmp104 = add nsw i32 %tmp98, 1 233 br i1 false, label %bb106, label %bb96 234 235 bb105: ; preds = %bb101 236 br i1 undef, label %bb107, label %bb106 237 238 bb106: ; preds = %bb105, %bb102, %bb96 239 br label %bb247 240 241 bb107: ; preds = %bb105 242 %tmp108 = add nsw i32 %tmp98, 1 243 %tmp109 = sext i32 %tmp108 to i64 244 %tmp110 = add i64 %tmp109, %tmp91 245 %tmp111 = sub i64 %tmp92, %tmp109 246 br i1 false, label %bb112, label %bb113 247 248 bb112: ; preds = %bb107 249 unreachable 250 251 bb113: ; preds = %bb107 252 %tmp114 = trunc i64 %tmp111 to i32 253 br label %bb115 254 255 bb115: ; preds = %bb121, %bb113 256 %tmp116 = phi i64 [ %tmp122, %bb121 ], [ 0, %bb113 ] 257 %tmp117 = phi i32 [ %tmp123, %bb121 ], [ 0, %bb113 ] 258 %tmp118 = trunc i64 %tmp116 to i32 259 %tmp119 = icmp slt i32 %tmp118, %tmp114 260 br i1 %tmp119, label %bb120, label %bb125 261 262 bb120: ; preds = %bb115 263 br i1 undef, label %bb124, label %bb121 264 265 bb121: ; preds = %bb120 266 %tmp122 = add i64 %tmp116, 1 267 %tmp123 = add nsw i32 %tmp117, 1 268 br i1 false, label %bb125, label %bb115 269 270 bb124: ; preds = %bb120 271 br i1 false, label %bb126, label %bb125 272 273 bb125: ; preds = %bb124, %bb121, %bb115 274 unreachable 275 276 bb126: ; preds = %bb124 277 %tmp127 = add nsw i32 %tmp117, 1 278 %tmp128 = sext i32 %tmp127 to i64 279 %tmp129 = add i64 %tmp128, %tmp110 280 %tmp130 = sub i64 %tmp111, %tmp128 281 tail call fastcc void @blarg() 282 br i1 false, label %bb132, label %bb131 283 284 bb131: ; preds = %bb126 285 unreachable 286 287 bb132: ; preds = %bb126 288 %tmp133 = trunc i64 %tmp130 to i32 289 br label %bb134 290 291 bb134: ; preds = %bb140, %bb132 292 %tmp135 = phi i64 [ %tmp141, %bb140 ], [ 0, %bb132 ] 293 %tmp136 = phi i32 [ %tmp142, %bb140 ], [ 0, %bb132 ] 294 %tmp137 = trunc i64 %tmp135 to i32 295 %tmp138 = icmp slt i32 %tmp137, %tmp133 296 br i1 %tmp138, label %bb139, label %bb144 297 298 bb139: ; preds = %bb134 299 br i1 false, label %bb143, label %bb140 300 301 bb140: ; preds = %bb139 302 %tmp141 = add i64 %tmp135, 1 303 %tmp142 = add nsw i32 %tmp136, 1 304 br i1 false, label %bb144, label %bb134 305 306 bb143: ; preds = %bb139 307 br i1 false, label %bb145, label %bb144 308 309 bb144: ; preds = %bb143, %bb140, %bb134 310 br label %bb247 311 312 bb145: ; preds = %bb143 313 %tmp146 = add nsw i32 %tmp136, 1 314 %tmp147 = sext i32 %tmp146 to i64 315 %tmp148 = add i64 %tmp147, %tmp129 316 %tmp149 = sub i64 %tmp130, %tmp147 317 switch i32 0, label %bb152 [ 318 i32 0, label %bb150 319 i32 16, label %bb150 320 i32 32, label %bb150 321 i32 48, label %bb150 322 i32 64, label %bb150 323 i32 256, label %bb150 324 i32 4096, label %bb150 325 ] 326 327 bb150: ; preds = %bb145, %bb145, %bb145, %bb145, %bb145, %bb145, %bb145 328 %tmp151 = trunc i64 %tmp149 to i32 329 br label %bb153 330 331 bb152: ; preds = %bb145 332 unreachable 333 334 bb153: ; preds = %bb160, %bb150 335 %tmp154 = phi i64 [ %tmp161, %bb160 ], [ 0, %bb150 ] 336 %tmp155 = phi i32 [ %tmp162, %bb160 ], [ 0, %bb150 ] 337 %tmp156 = trunc i64 %tmp154 to i32 338 %tmp157 = icmp slt i32 %tmp156, %tmp151 339 br i1 %tmp157, label %bb158, label %bb166 340 341 bb158: ; preds = %bb153 342 %tmp159 = add i64 %tmp154, %tmp148 343 br i1 false, label %bb163, label %bb160 344 345 bb160: ; preds = %bb158 346 %tmp161 = add i64 %tmp154, 1 347 %tmp162 = add nsw i32 %tmp155, 1 348 br i1 false, label %bb166, label %bb153 349 350 bb163: ; preds = %bb158 351 %tmp164 = add i32 %tmp155, -1 352 %tmp165 = icmp ult i32 %tmp164, 255 353 br i1 %tmp165, label %bb167, label %bb166 354 355 bb166: ; preds = %bb163, %bb160, %bb153 356 unreachable 357 358 bb167: ; preds = %bb163 359 %tmp168 = add nsw i32 %tmp155, 1 360 %tmp169 = sext i32 %tmp168 to i64 361 %tmp170 = add i64 %tmp169, %tmp148 362 %tmp171 = sub i64 %tmp149, %tmp169 363 br i1 false, label %bb173, label %bb172 364 365 bb172: ; preds = %bb167 366 unreachable 367 368 bb173: ; preds = %bb167 369 %tmp174 = trunc i64 %tmp171 to i32 370 br label %bb175 371 372 bb175: ; preds = %bb181, %bb173 373 %tmp176 = phi i64 [ %tmp183, %bb181 ], [ 0, %bb173 ] 374 %tmp177 = phi i32 [ %tmp184, %bb181 ], [ 0, %bb173 ] 375 %tmp178 = trunc i64 %tmp176 to i32 376 %tmp179 = icmp slt i32 %tmp178, %tmp174 377 br i1 %tmp179, label %bb180, label %bb186 378 379 bb180: ; preds = %bb175 380 br i1 false, label %bb185, label %bb181 381 382 bb181: ; preds = %bb180 383 %tmp182 = icmp eq i8 0, 0 384 %tmp183 = add i64 %tmp176, 1 385 %tmp184 = add nsw i32 %tmp177, 1 386 br i1 %tmp182, label %bb186, label %bb175 387 388 bb185: ; preds = %bb180 389 br i1 false, label %bb187, label %bb186 390 391 bb186: ; preds = %bb185, %bb181, %bb175 392 unreachable 393 394 bb187: ; preds = %bb185 395 %tmp188 = add nsw i32 %tmp177, 1 396 %tmp189 = sext i32 %tmp188 to i64 397 %tmp190 = sub i64 %tmp171, %tmp189 398 br i1 false, label %bb192, label %bb191 399 400 bb191: ; preds = %bb187 401 unreachable 402 403 bb192: ; preds = %bb187 404 %tmp193 = trunc i64 %tmp190 to i32 405 br label %bb194 406 407 bb194: ; preds = %bb200, %bb192 408 %tmp195 = phi i64 [ %tmp201, %bb200 ], [ 0, %bb192 ] 409 %tmp196 = phi i32 [ %tmp202, %bb200 ], [ 0, %bb192 ] 410 %tmp197 = trunc i64 %tmp195 to i32 411 %tmp198 = icmp slt i32 %tmp197, %tmp193 412 br i1 %tmp198, label %bb199, label %bb204 413 414 bb199: ; preds = %bb194 415 br i1 false, label %bb203, label %bb200 416 417 bb200: ; preds = %bb199 418 %tmp201 = add i64 %tmp195, 1 419 %tmp202 = add nsw i32 %tmp196, 1 420 br i1 false, label %bb204, label %bb194 421 422 bb203: ; preds = %bb199 423 br i1 undef, label %bb205, label %bb204 424 425 bb204: ; preds = %bb203, %bb200, %bb194 426 unreachable 427 428 bb205: ; preds = %bb203 429 %tmp206 = add nsw i32 %tmp196, 1 430 %tmp207 = sext i32 %tmp206 to i64 431 %tmp208 = add i64 %tmp207, 0 432 %tmp209 = sub i64 %tmp190, %tmp207 433 br i1 %tmp13, label %bb210, label %bb211 434 435 bb210: ; preds = %bb205 436 unreachable 437 438 bb211: ; preds = %bb205 439 %tmp212 = trunc i64 %tmp209 to i32 440 %tmp213 = icmp slt i32 0, %tmp212 441 br i1 false, label %bb215, label %bb214 442 443 bb214: ; preds = %bb211 444 unreachable 445 446 bb215: ; preds = %bb211 447 %tmp216 = add i64 undef, %tmp208 448 %tmp217 = sub i64 %tmp209, undef 449 br i1 false, label %bb218, label %bb219 450 451 bb218: ; preds = %bb215 452 br label %bb219 453 454 bb219: ; preds = %bb218, %bb215 455 %tmp220 = trunc i64 %tmp217 to i32 456 br label %bb221 457 458 bb221: ; preds = %bb230, %bb219 459 %tmp222 = phi i64 [ %tmp231, %bb230 ], [ 0, %bb219 ] 460 %tmp223 = phi i32 [ %tmp232, %bb230 ], [ 0, %bb219 ] 461 %tmp224 = trunc i64 %tmp222 to i32 462 %tmp225 = icmp slt i32 %tmp224, %tmp220 463 br i1 %tmp225, label %bb226, label %bb234 464 465 bb226: ; preds = %bb221 466 %tmp227 = add i64 %tmp222, %tmp216 467 %tmp228 = getelementptr inbounds %struct.jim, %struct.jim* @global3, i64 0, i32 3, i64 %tmp227 468 %tmp229 = load i8, i8* %tmp228, align 1 469 br i1 false, label %bb233, label %bb230 470 471 bb230: ; preds = %bb226 472 %tmp231 = add i64 %tmp222, 1 473 %tmp232 = add nsw i32 %tmp223, 1 474 br i1 undef, label %bb234, label %bb221 475 476 bb233: ; preds = %bb226 477 br i1 undef, label %bb235, label %bb234 478 479 bb234: ; preds = %bb233, %bb230, %bb221 480 br label %bb247 481 482 bb235: ; preds = %bb233 483 %tmp236 = add nsw i32 %tmp223, 1 484 %tmp237 = sext i32 %tmp236 to i64 485 %tmp238 = sub i64 %tmp217, %tmp237 486 br i1 %tmp66, label %bb239, label %bb240 487 488 bb239: ; preds = %bb235 489 unreachable 490 491 bb240: ; preds = %bb235 492 switch i32 0, label %bb244 [ 493 i32 0, label %bb241 494 i32 1, label %bb241 495 i32 4, label %bb241 496 i32 6, label %bb241 497 i32 9, label %bb241 498 ] 499 500 bb241: ; preds = %bb240, %bb240, %bb240, %bb240, %bb240 501 %tmp242 = trunc i64 %tmp238 to i32 502 %tmp243 = icmp slt i32 0, %tmp242 503 br i1 false, label %bb246, label %bb245 504 505 bb244: ; preds = %bb240 506 unreachable 507 508 bb245: ; preds = %bb241 509 unreachable 510 511 bb246: ; preds = %bb241 512 unreachable 513 514 bb247: ; preds = %bb234, %bb144, %bb106, %bb71, %bb58 515 ret void 516 } 517 518 declare void @zot(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind 519
