| # RUN: llc -mtriple=aarch64--linux-gnu -run-pass=aarch64-copyelim %s -verify-machineinstrs -o - | FileCheck %s |
| --- |
| # CHECK-LABEL: name: test1 |
| # CHECK: ANDSWri $w0, 1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test1 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $x1, $x2 |
| |
| $w0 = ANDSWri $w0, 1, implicit-def $nzcv |
| STRWui killed $w0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test2 |
| # CHECK: ANDSXri $x0, 1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test2 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2 |
| |
| $x0 = ANDSXri $x0, 1, implicit-def $nzcv |
| STRXui killed $x0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test3 |
| # CHECK: ADDSWri $w0, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test3 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $x1, $x2 |
| |
| $w0 = ADDSWri $w0, 1, 0, implicit-def $nzcv |
| STRWui killed $w0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test4 |
| # CHECK: ADDSXri $x0, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test4 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2 |
| |
| $x0 = ADDSXri $x0, 1, 0, implicit-def $nzcv |
| STRXui killed $x0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test5 |
| # CHECK: SUBSWri $w0, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test5 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $x1, $x2 |
| |
| $w0 = SUBSWri $w0, 1, 0, implicit-def $nzcv |
| STRWui killed $w0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test6 |
| # CHECK: SUBSXri $x0, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test6 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2 |
| |
| $x0 = SUBSXri $x0, 1, 0, implicit-def $nzcv |
| STRXui killed $x0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test7 |
| # CHECK: ADDSWrr $w0, $w1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test7 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = ADDSWrr $w0, $w1, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test8 |
| # CHECK: ADDSXrr $x0, $x1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test8 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2, $x3 |
| |
| $x0 = ADDSXrr $x0, $x1, implicit-def $nzcv |
| STRXui killed $x0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test9 |
| # CHECK: ANDSWrr $w0, $w1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test9 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = ANDSWrr $w0, $w1, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test10 |
| # CHECK: ANDSXrr $x0, $x1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test10 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2, $x3 |
| |
| $x0 = ANDSXrr $x0, $x1, implicit-def $nzcv |
| STRXui killed $x0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test11 |
| # CHECK: BICSWrr $w0, $w1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test11 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = BICSWrr $w0, $w1, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test12 |
| # CHECK: BICSXrr $x0, $x1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test12 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2, $x3 |
| |
| $x0 = BICSXrr $x0, $x1, implicit-def $nzcv |
| STRXui killed $x0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test13 |
| # CHECK: SUBSWrr $w0, $w1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test13 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = SUBSWrr $w0, $w1, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test14 |
| # CHECK: SUBSXrr $x0, $x1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test14 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2, $x3 |
| |
| $x0 = SUBSXrr $x0, $x1, implicit-def $nzcv |
| STRXui killed $x0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test15 |
| # CHECK: ADDSWrs $w0, $w1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test15 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = ADDSWrs $w0, $w1, 0, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test16 |
| # CHECK: ADDSXrs $x0, $x1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test16 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2, $x3 |
| |
| $x0 = ADDSXrs $x0, $x1, 0, implicit-def $nzcv |
| STRXui killed $x0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test17 |
| # CHECK: ANDSWrs $w0, $w1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test17 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = ANDSWrs $w0, $w1, 0, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test18 |
| # CHECK: ANDSXrs $x0, $x1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $xzr |
| name: test18 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2, $x3 |
| |
| $x0 = ANDSXrs $x0, $x1, 0, implicit-def $nzcv |
| STRXui killed $x0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $x0 = COPY $xzr |
| STRXui killed $x0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # CHECK-LABEL: name: test19 |
| # CHECK: BICSWrs $w0, $w1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: COPY $wzr |
| name: test19 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $w1, $x2, $x3 |
| |
| $w0 = BICSWrs $w0, $w1, 0, implicit-def $nzcv |
| STRWui killed $w0, killed $x2, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x3 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x3, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # Unicorn test - we can remove a redundant copy and a redundant mov |
| # CHECK-LABEL: name: test20 |
| # CHECK: SUBSWri $w1, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK-NOT: $w0 = COPY $wzr |
| # CHECK-NOT: $w1 = MOVi32imm 1 |
| name: test20 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w1, $x2 |
| |
| $w0 = SUBSWri $w1, 1, 0, implicit-def $nzcv |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $w0 = COPY $wzr |
| $w1 = MOVi32imm 1 |
| STRWui killed $w0, $x2, 0 |
| STRWui killed $w1, killed $x2, 1 |
| |
| bb.2: |
| RET_ReallyLR |
| |
| ... |
| # Negative test - MOVi32imm clobbers $w0 |
| # CHECK-LABEL: name: test21 |
| # CHECK: ANDSWri $w0, 1, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK: $w0 = COPY $wzr |
| name: test21 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $x1, $x2 |
| |
| $w0 = ANDSWri $w0, 1, implicit-def $nzcv |
| STRWui killed $w0, $x1, 0 |
| $w0 = MOVi32imm -1 |
| STRWui killed $w0, killed $x1, 1 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # Negative test - SUBSXri self-clobbers x0, so MOVi64imm can't be removed |
| # CHECK-LABEL: name: test22 |
| # CHECK: SUBSXri $x0, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK: $x0 = MOVi64imm 1 |
| name: test22 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $x0, $x1, $x2 |
| |
| $x0 = SUBSXri $x0, 1, 0, implicit-def $nzcv |
| STRXui killed $x0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $x0 = MOVi64imm 1 |
| STRXui killed $x0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
| ... |
| # Negative test - bb.1 has multiple preds |
| # CHECK-LABEL: name: test23 |
| # CHECK: ADDSWri $w0, 1, 0, implicit-def $nzcv |
| # CHECK: bb.1: |
| # CHECK: COPY $wzr |
| name: test23 |
| tracksRegLiveness: true |
| body: | |
| bb.0.entry: |
| liveins: $w0, $x1, $x2 |
| |
| $w0 = ADDSWri $w0, 1, 0, implicit-def $nzcv |
| STRWui killed $w0, killed $x1, 0 |
| Bcc 1, %bb.2, implicit killed $nzcv |
| B %bb.1 |
| |
| bb.3: |
| B %bb.1 |
| |
| bb.1: |
| liveins: $x2 |
| |
| $w0 = COPY $wzr |
| STRWui killed $w0, killed $x2, 0 |
| |
| bb.2: |
| RET_ReallyLR |
