|
| 1 | +# RUN: llc -mtriple=aarch64 -o /dev/null -run-pass=register-coalescer -aarch64-enable-subreg-liveness-tracking -debug-only=regalloc %s 2>&1 | FileCheck %s --check-prefix=CHECK-DBG |
1 | 2 | # RUN: llc -mtriple=aarch64 -verify-machineinstrs -o - -run-pass=register-coalescer -aarch64-enable-subreg-liveness-tracking %s | FileCheck %s --check-prefix=CHECK
|
2 |
| -# RUN: llc -mtriple=aarch64 -verify-machineinstrs -o /dev/null -run-pass=register-coalescer -aarch64-enable-subreg-liveness-tracking -debug-only=regalloc %s 2>&1 | FileCheck %s --check-prefix=CHECK-DBG |
3 | 3 | # REQUIRES: asserts
|
4 | 4 |
|
5 | 5 | # CHECK-DBG: ********** REGISTER COALESCER **********
|
@@ -36,3 +36,92 @@ body: |
|
36 | 36 | RET_ReallyLR
|
37 | 37 |
|
38 | 38 | ...
|
| 39 | +# CHECK-DBG: ********** REGISTER COALESCER ********** |
| 40 | +# CHECK-DBG: ********** Function: reproducer |
| 41 | +# CHECK-DBG: ********** JOINING INTERVALS *********** |
| 42 | +# CHECK-DBG: ********** INTERVALS ********** |
| 43 | +# CHECK-DBG: %1 [32r,48B:2)[48B,320r:0)[320r,368B:1) 0@48B-phi 1@320r 2@32r |
| 44 | +# CHECK-DBG-SAME: weight:0.000000e+00 |
| 45 | +# CHECK-DBG: %3 [80r,160B:2)[240r,272B:1)[288r,304B:0)[304B,320r:3) 0@288r 1@240r 2@80r 3@304B-phi |
| 46 | +# CHECK-DBG-SAME: L0000000000000080 [80r,160B:2)[288r,304B:0)[304B,320r:3) 0@288r 1@x 2@80r 3@304B-phi |
| 47 | +# CHECK-DBG-SAME: L0000000000000040 [80r,160B:2)[240r,272B:1)[288r,304B:0)[304B,320r:3) 0@288r 1@240r 2@80r 3@304B-phi |
| 48 | +# CHECK-DBG-SAME: weight:0.000000e+00 |
| 49 | +--- |
| 50 | +name: reproducer |
| 51 | +tracksRegLiveness: true |
| 52 | +body: | |
| 53 | + bb.0: |
| 54 | + %0:gpr32 = MOVi32imm 1 |
| 55 | + %1:gpr64 = IMPLICIT_DEF |
| 56 | +
|
| 57 | + bb.1: |
| 58 | +
|
| 59 | + bb.2: |
| 60 | + %3:gpr64all = SUBREG_TO_REG 0, %0, %subreg.sub_32 |
| 61 | +
|
| 62 | + bb.3: |
| 63 | + $nzcv = IMPLICIT_DEF |
| 64 | + %4:gpr64 = COPY killed %3 |
| 65 | + Bcc 1, %bb.7, implicit killed $nzcv |
| 66 | +
|
| 67 | + bb.4: |
| 68 | + $nzcv = IMPLICIT_DEF |
| 69 | + Bcc 1, %bb.6, implicit killed $nzcv |
| 70 | +
|
| 71 | + bb.5: |
| 72 | + %5:gpr64all = SUBREG_TO_REG 0, %0, %subreg.sub_32 |
| 73 | + %4:gpr64 = COPY killed %5 |
| 74 | + B %bb.7 |
| 75 | +
|
| 76 | + bb.6: |
| 77 | + %4:gpr64 = COPY $xzr |
| 78 | +
|
| 79 | + bb.7: |
| 80 | + %7:gpr64 = ADDXrs killed %1, killed %4, 1 |
| 81 | + %1:gpr64 = COPY killed %7 |
| 82 | + B %bb.1 |
| 83 | +
|
| 84 | +... |
| 85 | +# CHECK-DBG: ********** REGISTER COALESCER ********** |
| 86 | +# CHECK-DBG: ********** Function: reproducer2 |
| 87 | +# CHECK-DBG: ********** JOINING INTERVALS *********** |
| 88 | +# CHECK-DBG: ********** INTERVALS ********** |
| 89 | +# CHECK-DBG: %1 [32r,48B:2)[48B,304r:0)[304r,352B:1) 0@48B-phi 1@304r 2@32r |
| 90 | +# CHECK-DBG-SAME: weight:0.000000e+00 |
| 91 | +# CHECK-DBG: %3 [80r,160B:2)[224r,256B:1)[272r,288B:0)[288B,304r:3) 0@272r 1@224r 2@80r 3@288B-phi |
| 92 | +# CHECK-DBG-SAME: weight:0.000000e+00 |
| 93 | +--- |
| 94 | +name: reproducer2 |
| 95 | +tracksRegLiveness: true |
| 96 | +body: | |
| 97 | + bb.0: |
| 98 | + %0:gpr32 = MOVi32imm 1 |
| 99 | + %1:gpr64 = IMPLICIT_DEF |
| 100 | +
|
| 101 | + bb.1: |
| 102 | +
|
| 103 | + bb.2: |
| 104 | + %3:gpr64all = SUBREG_TO_REG 0, %0, %subreg.sub_32 |
| 105 | +
|
| 106 | + bb.3: |
| 107 | + $nzcv = IMPLICIT_DEF |
| 108 | + %4:gpr64 = COPY killed %3 |
| 109 | + Bcc 1, %bb.7, implicit killed $nzcv |
| 110 | +
|
| 111 | + bb.4: |
| 112 | + $nzcv = IMPLICIT_DEF |
| 113 | + Bcc 1, %bb.6, implicit killed $nzcv |
| 114 | +
|
| 115 | + bb.5: |
| 116 | + %4:gpr64 = IMPLICIT_DEF |
| 117 | + B %bb.7 |
| 118 | +
|
| 119 | + bb.6: |
| 120 | + %4:gpr64 = COPY $xzr |
| 121 | +
|
| 122 | + bb.7: |
| 123 | + %5:gpr64 = ADDXrs killed %1, killed %4, 1 |
| 124 | + %1:gpr64 = COPY killed %5 |
| 125 | + B %bb.1 |
| 126 | +
|
| 127 | +... |
0 commit comments