1 # RUN: llc -mtriple=aarch64--linux-gnu -run-pass=aarch64-copyelim %s -verify-machineinstrs -o - | FileCheck %s 2 --- 3 # Check that bb.0 COPY is seen through to allow the bb.1 COPY of XZR to be removed. 4 # CHECK-LABEL: name: test1 5 # CHECK-NOT: COPY $xzr 6 name: test1 7 tracksRegLiveness: true 8 body: | 9 bb.0: 10 liveins: $x0, $x1 11 12 $x0 = COPY $x1 13 CBNZX $x1, %bb.2 14 15 bb.1: 16 $x0 = COPY $xzr 17 B %bb.3 18 19 bb.2: 20 liveins: $x1 21 22 $x0 = LDRXui $x1, 0 23 24 bb.3: 25 liveins: $x0 26 27 RET_ReallyLR implicit $x0 28 29 ... 30 # Similar to test1, but with reversed COPY. 31 # CHECK-LABEL: name: test2 32 # CHECK-NOT: COPY $xzr 33 name: test2 34 tracksRegLiveness: true 35 body: | 36 bb.0: 37 liveins: $x0, $x1 38 39 $x1 = COPY $x0 40 CBNZX $x1, %bb.2 41 42 bb.1: 43 $x0 = COPY $xzr 44 B %bb.3 45 46 bb.2: 47 liveins: $x1 48 49 $x0 = LDRXui $x1, 0 50 51 bb.3: 52 liveins: $x0 53 54 RET_ReallyLR implicit $x0 55 56 ... 57 # Similar to test1, but with a clobber that prevents removal of the XZR COPY. 58 # CHECK-LABEL: name: test3 59 # CHECK: COPY $xzr 60 name: test3 61 tracksRegLiveness: true 62 body: | 63 bb.0: 64 liveins: $x0, $x1, $x2 65 66 $x0 = COPY $x1 67 $x1 = LDRXui $x1, 0 68 CBNZX $x1, %bb.2 69 70 bb.1: 71 $x0 = COPY $xzr 72 B %bb.3 73 74 bb.2: 75 liveins: $x1 76 77 $x0 = LDRXui $x1, 0 78 79 bb.3: 80 liveins: $x0 81 82 RET_ReallyLR implicit $x0 83 84 ... 85 # Similar to test2, but with a clobber that prevents removal of the XZR COPY. 86 # CHECK-LABEL: name: test4 87 # CHECK: COPY $xzr 88 name: test4 89 tracksRegLiveness: true 90 body: | 91 bb.0: 92 liveins: $x0, $x1, $x2 93 94 $x1 = COPY $x0 95 $x1 = LDRXui $x1, 0 96 CBNZX $x1, %bb.2 97 98 bb.1: 99 $x0 = COPY $xzr 100 B %bb.3 101 102 bb.2: 103 liveins: $x1 104 105 $x0 = LDRXui $x1, 0 106 107 bb.3: 108 liveins: $x0 109 110 RET_ReallyLR implicit $x0 111 112 ... 113 # Similar to test2, but with a clobber that prevents removal of the XZR COPY. 114 # CHECK-LABEL: name: test5 115 # CHECK: COPY $xzr 116 name: test5 117 tracksRegLiveness: true 118 body: | 119 bb.0: 120 liveins: $x0, $x1, $x2 121 122 $x1 = COPY $x0 123 $x0 = LDRXui $x1, 0 124 CBNZX $x1, %bb.2 125 126 bb.1: 127 $x0 = COPY $xzr 128 B %bb.3 129 130 bb.2: 131 liveins: $x1 132 133 $x0 = LDRXui $x1, 0 134 135 bb.3: 136 liveins: $x0 137 138 RET_ReallyLR implicit $x0 139 140 ... 141 # Similar to test1, but with two levels of COPYs. 142 # CHECK-LABEL: name: test6 143 # CHECK-NOT: COPY $xzr 144 name: test6 145 tracksRegLiveness: true 146 body: | 147 bb.0: 148 liveins: $x0, $x1, $x2 149 150 $x2 = COPY $x0 151 $x1 = COPY $x2 152 CBNZX $x1, %bb.2 153 154 bb.1: 155 $x0 = COPY $xzr 156 B %bb.3 157 158 bb.2: 159 liveins: $x1 160 161 $x0 = LDRXui $x1, 0 162 163 bb.3: 164 liveins: $x0 165 166 RET_ReallyLR implicit $x0 167 168 ... 169 # Similar to test1, but with two levels of COPYs and a clobber preventing COPY of XZR removal. 170 # CHECK-LABEL: name: test7 171 # CHECK: COPY $xzr 172 name: test7 173 tracksRegLiveness: true 174 body: | 175 bb.0: 176 liveins: $x0, $x1, $x2 177 178 $x2 = COPY $x0 179 $x0 = LDRXui $x1, 0 180 $x1 = COPY $x2 181 CBNZX $x1, %bb.2 182 183 bb.1: 184 $x0 = COPY $xzr 185 B %bb.3 186 187 bb.2: 188 liveins: $x1 189 190 $x0 = LDRXui $x1, 0 191 192 bb.3: 193 liveins: $x0 194 195 RET_ReallyLR implicit $x0 196 197 ... 198 # Check that the TargetRegs vector clobber update loop in 199 # AArch64RedundantCopyElimination::optimizeCopy works correctly. 200 # CHECK-LABEL: name: test8 201 # CHECK: x0 = COPY $xzr 202 # CHECK: x1 = COPY $xzr 203 name: test8 204 tracksRegLiveness: true 205 body: | 206 bb.0: 207 liveins: $x0, $x1 208 209 $x1 = COPY $x0 210 CBNZX $x1, %bb.2 211 212 bb.1: 213 liveins: $x0, $x2 214 215 $x0, $x1 = LDPXi $x2, 0 216 $x0 = COPY $xzr 217 $x1 = COPY $xzr 218 B %bb.3 219 220 bb.2: 221 liveins: $x1 222 223 $x0 = LDRXui $x1, 0 224 225 bb.3: 226 liveins: $x0 227 228 RET_ReallyLR implicit $x0 229 230 ... 231 # Check that copy isn't removed from a block with multiple predecessors. 232 # CHECK-LABEL: name: test9 233 # CHECK: x0 = COPY $xzr 234 # CHECK-NEXT: B %bb.3 235 name: test9 236 tracksRegLiveness: true 237 body: | 238 bb.0: 239 liveins: $x0, $x1 240 241 CBNZX $x0, %bb.2 242 243 bb.1: 244 liveins: $x0, $x2 245 246 $x0 = COPY $xzr 247 B %bb.3 248 249 bb.2: 250 liveins: $x1 251 252 $x0 = LDRXui $x1, 0 253 254 CBNZX $x1, %bb.1 255 256 bb.3: 257 liveins: $x0 258 259 RET_ReallyLR implicit $x0 260 261 ... 262 # Eliminate redundant MOVi32imm 7 in bb.1 263 # Note: 32-bit compare/32-bit move imm 264 # Kill marker should be removed from compare. 265 # CHECK-LABEL: name: test10 266 # CHECK: SUBSWri $w0, 7, 0, implicit-def $nzcv 267 # CHECK: bb.1: 268 # CHECK-NOT: MOVi32imm 269 name: test10 270 tracksRegLiveness: true 271 body: | 272 bb.0.entry: 273 liveins: $w0, $x1 274 275 dead $wzr = SUBSWri killed $w0, 7, 0, implicit-def $nzcv 276 Bcc 1, %bb.2, implicit killed $nzcv 277 B %bb.1 278 279 bb.1: 280 liveins: $x1 281 282 $w0 = MOVi32imm 7 283 STRWui killed $w0, killed $x1, 0 284 285 bb.2: 286 RET_ReallyLR 287 ... 288 # Eliminate redundant MOVi32imm 7 in bb.1 289 # Note: 64-bit compare/32-bit move imm w/implicit def 290 # Kill marker should be removed from compare. 291 # CHECK-LABEL: name: test11 292 # CHECK: SUBSXri $x0, 7, 0, implicit-def $nzcv 293 # CHECK: bb.1: 294 # CHECK-NOT: MOVi32imm 295 name: test11 296 tracksRegLiveness: true 297 body: | 298 bb.0.entry: 299 liveins: $x0, $x1 300 301 dead $xzr = SUBSXri killed $x0, 7, 0, implicit-def $nzcv 302 Bcc 1, %bb.2, implicit killed $nzcv 303 B %bb.1 304 305 bb.1: 306 liveins: $x1 307 308 $w0 = MOVi32imm 7, implicit-def $x0 309 STRXui killed $x0, killed $x1, 0 310 311 bb.2: 312 RET_ReallyLR 313 ... 314 # Eliminate redundant MOVi32imm 7 in bb.1 315 # Note: 64-bit compare/32-bit move imm 316 # Kill marker should be removed from compare. 317 # CHECK-LABEL: name: test12 318 # CHECK: SUBSXri $x0, 7, 0, implicit-def $nzcv 319 # CHECK: bb.1: 320 # CHECK-NOT: MOVi32imm 321 name: test12 322 tracksRegLiveness: true 323 body: | 324 bb.0.entry: 325 liveins: $x0, $x1 326 327 dead $xzr = SUBSXri killed $x0, 7, 0, implicit-def $nzcv 328 Bcc 1, %bb.2, implicit killed $nzcv 329 B %bb.1 330 331 bb.1: 332 liveins: $x1 333 334 $w0 = MOVi32imm 7 335 STRWui killed $w0, killed $x1, 0 336 337 bb.2: 338 RET_ReallyLR 339 ... 340 # Don't eliminate MOVi32imm 7 in bb.1 as we don't necessarily know the upper 32-bits. 341 # Note: 32-bit compare/32-bit move imm w/implicit def 342 # Kill marker should remain on compare. 343 # CHECK-LABEL: name: test13 344 # CHECK: SUBSWri killed $w0, 7, 0, implicit-def $nzcv 345 # CHECK: bb.1: 346 # CHECK: MOVi32imm 347 name: test13 348 tracksRegLiveness: true 349 body: | 350 bb.0.entry: 351 liveins: $w0, $x1 352 353 dead $wzr = SUBSWri killed $w0, 7, 0, implicit-def $nzcv 354 Bcc 1, %bb.2, implicit killed $nzcv 355 B %bb.1 356 357 bb.1: 358 liveins: $x1 359 360 $w0 = MOVi32imm 7, implicit-def $x0 361 STRXui killed $x0, killed $x1, 0 362 363 bb.2: 364 RET_ReallyLR 365 ... 366 # We can't eliminate the MOVi32imm because of the clobbering LDRWui. 367 # CHECK-LABEL: name: test14 368 # CHECK: bb.1: 369 # CHECK: MOVi32imm 370 name: test14 371 tracksRegLiveness: true 372 body: | 373 bb.0.entry: 374 liveins: $w0, $x1, $x2 375 376 dead $wzr = SUBSWri killed $w0, 7, 0, implicit-def $nzcv 377 $w0 = LDRWui $x1, 0 378 STRWui killed $w0, killed $x2, 0 379 Bcc 1, %bb.2, implicit killed $nzcv 380 B %bb.1 381 382 bb.1: 383 liveins: $x1 384 385 $w0 = MOVi32imm 7 386 STRWui killed $w0, killed $x1, 0 387 388 bb.2: 389 RET_ReallyLR 390 ... 391 # We can't eliminate the MOVi32imm because of the clobbering LDRWui. 392 # CHECK-LABEL: name: test15 393 # CHECK: bb.1: 394 # CHECK: MOVi32imm 395 name: test15 396 tracksRegLiveness: true 397 body: | 398 bb.0.entry: 399 liveins: $w0, $x1, $x2 400 401 dead $wzr = SUBSWri killed $w0, 7, 0, implicit-def $nzcv 402 Bcc 1, %bb.2, implicit killed $nzcv 403 B %bb.1 404 405 bb.1: 406 liveins: $x1, $x2 407 408 $w0 = LDRWui $x1, 0 409 STRWui killed $w0, killed $x2, 0 410 $w0 = MOVi32imm 7 411 STRWui killed $w0, killed $x1, 0 412 413 bb.2: 414 RET_ReallyLR 415 ... 416 # Check that bb.0 COPY is seen through to allow the bb.1 MOVi32imm to be removed. 417 # CHECK-LABEL: name: test16 418 # CHECK: bb.1: 419 # CHECK-NOT: MOVi32imm 420 name: test16 421 tracksRegLiveness: true 422 body: | 423 bb.0.entry: 424 liveins: $w0, $x1 425 426 dead $wzr = SUBSWri $w0, 7, 0, implicit-def $nzcv 427 $w2 = COPY $w0 428 Bcc 1, %bb.2, implicit killed $nzcv 429 B %bb.1 430 431 bb.1: 432 liveins: $x1 433 434 $w2 = MOVi32imm 7 435 STRWui killed $w2, killed $x1, 0 436 437 bb.2: 438 RET_ReallyLR 439 ... 440 # Check that bb.1 MOVi32imm is not removed due to self clobbering compare. 441 # CHECK-LABEL: name: test17 442 # CHECK: bb.1: 443 # CHECK: MOVi32imm 444 name: test17 445 tracksRegLiveness: true 446 body: | 447 bb.0.entry: 448 liveins: $w0, $x1 449 450 dead $w0 = SUBSWri killed $w0, 7, 0, implicit-def $nzcv 451 Bcc 1, %bb.2, implicit killed $nzcv 452 B %bb.1 453 454 bb.1: 455 liveins: $x1 456 457 $w0 = MOVi32imm 7 458 STRWui killed $w0, killed $x1, 0 459 460 bb.2: 461 RET_ReallyLR 462 ... 463 # Make sure the MOVi64imm is not removed. In one version of this patch the 464 # MOVi64imm immediate was truncated to 32 bits and incorrectly matched because 465 # the low 32 bits of 4252017623040 are all zero. 466 # CHECK-LABEL: name: test18 467 # CHECK: bb.1: 468 # CHECK: MOVi64imm 469 name: test18 470 tracksRegLiveness: true 471 body: | 472 bb.0.entry: 473 liveins: $x0, $x1 474 475 CBNZX killed $x0, %bb.2 476 B %bb.1 477 478 bb.1: 479 liveins: $x1 480 481 $x0 = MOVi64imm 4252017623040 482 STRXui killed $x0, killed $x1, 0 483 484 bb.2: 485 RET_ReallyLR 486 ... 487 # Eliminate redundant MOVi32imm -1 in bb.1 488 # Note: 32-bit compare/32-bit move imm 489 # Kill marker should be removed from compare. 490 # CHECK-LABEL: name: test19 491 # CHECK: ADDSWri $w0, 1, 0, implicit-def $nzcv 492 # CHECK: bb.1: 493 # CHECK-NOT: MOVi32imm 494 name: test19 495 tracksRegLiveness: true 496 body: | 497 bb.0.entry: 498 liveins: $w0, $x1 499 500 dead $wzr = ADDSWri killed $w0, 1, 0, implicit-def $nzcv 501 Bcc 1, %bb.2, implicit killed $nzcv 502 B %bb.1 503 504 bb.1: 505 liveins: $x1 506 507 $w0 = MOVi32imm -1 508 STRWui killed $w0, killed $x1, 0 509 510 bb.2: 511 RET_ReallyLR 512 ... 513 # Eliminate redundant MOVi64imm -1 in bb.1 514 # Note: 64-bit compare/64-bit move imm 515 # Kill marker should be removed from compare. 516 # CHECK-LABEL: name: test20 517 # CHECK: ADDSXri $x0, 1, 0, implicit-def $nzcv 518 # CHECK: bb.1: 519 # CHECK-NOT: MOVi64imm 520 name: test20 521 tracksRegLiveness: true 522 body: | 523 bb.0: 524 liveins: $x0, $x1 525 526 dead $xzr = ADDSXri killed $x0, 1, 0, implicit-def $nzcv 527 Bcc 1, %bb.2, implicit killed $nzcv 528 B %bb.1 529 530 bb.1: 531 liveins: $x1 532 533 $x0 = MOVi64imm -1 534 STRXui killed $x0, killed $x1, 0 535 536 bb.2: 537 RET_ReallyLR 538 ... 539 # Eliminate redundant MOVi32imm -1 in bb.1 540 # Note: 64-bit compare/32-bit move imm 541 # Kill marker should be removed from compare. 542 # CHECK-LABEL: name: test21 543 # CHECK: ADDSXri $x0, 1, 0, implicit-def $nzcv 544 # CHECK: bb.1: 545 # CHECK-NOT: MOVi32imm 546 name: test21 547 tracksRegLiveness: true 548 body: | 549 bb.0.entry: 550 liveins: $x0, $x1 551 552 dead $xzr = ADDSXri killed $x0, 1, 0, implicit-def $nzcv 553 Bcc 1, %bb.2, implicit killed $nzcv 554 B %bb.1 555 556 bb.1: 557 liveins: $x1 558 559 $w0 = MOVi32imm -1 560 STRWui killed $w0, killed $x1, 0 561 562 bb.2: 563 RET_ReallyLR 564 ... 565 # Don't eliminate MOVi64imm -1 in bb.1 as we don't necessarily know the upper 32-bits. 566 # Note: 32-bit compare/64-bit move imm 567 # CHECK-LABEL: name: test22 568 # CHECK: bb.1: 569 # CHECK: MOVi64imm 570 name: test22 571 tracksRegLiveness: true 572 body: | 573 bb.0.entry: 574 liveins: $w0, $x1 575 576 dead $wzr = ADDSWri killed $w0, 1, 0, implicit-def $nzcv 577 Bcc 1, %bb.2, implicit killed $nzcv 578 B %bb.1 579 580 bb.1: 581 liveins: $x1 582 583 $x0 = MOVi64imm -1 584 STRXui killed $x0, killed $x1, 0 585 586 bb.2: 587 RET_ReallyLR 588 ... 589 # Eliminate redundant MOVi32imm 4096 in bb.1 when the compare has a shifted immediate. 590 # CHECK-LABEL: name: test23 591 # CHECK: bb.1: 592 # CHECK-NOT: MOVi32imm 593 name: test23 594 tracksRegLiveness: true 595 body: | 596 bb.0.entry: 597 liveins: $w0, $x1 598 599 dead $wzr = SUBSWri killed $w0, 1, 12, implicit-def $nzcv 600 Bcc 1, %bb.2, implicit killed $nzcv 601 B %bb.1 602 603 bb.1: 604 liveins: $x1 605 606 $w0 = MOVi32imm 4096 607 STRWui killed $w0, killed $x1, 0 608 609 bb.2: 610 RET_ReallyLR 611
