test/CodeGen/AArch64/machine-zero-copy-remove.mir

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