test/CodeGen/PowerPC/machine-backward-cp.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O3 -verify-machineinstrs -mtriple=powerpc64le-unknown-unknown \
   3 # RUN: -mcpu=pwr9 -simplify-mir -run-pass=machine-cp %s -o - | FileCheck %s
   4
   5 # Normal case
   6 ---
   7 name: test0
   8 alignment: 4
   9 tracksRegLiveness: true
  10 body: |
  11   bb.0.entry:
  12     ; CHECK-LABEL: name: test0
  13     ; CHECK: renamable $x4 = LI8 1024
  14     ; CHECK: $x3 = COPY killed renamable $x4
  15     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
  16     renamable $x4 = LI8 1024
  17     $x3 = COPY renamable killed $x4
  18     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
  19
  20 ...
  21
  22 # Not in terminal BBs
  23 ---
  24 name: test1
  25 alignment: 4
  26 tracksRegLiveness: true
  27 body: |
  28   ; CHECK-LABEL: name: test1
  29   ; CHECK: bb.0.entry:
  30   ; CHECK:   renamable $x5 = LI8 42
  31   ; CHECK:   renamable $x4 = COPY killed renamable $x5
  32   ; CHECK:   B %bb.1
  33   ; CHECK: bb.1:
  34   ; CHECK:   liveins: $x4
  35   ; CHECK:   $x3 = COPY killed renamable $x4
  36   ; CHECK:   BLR8 implicit $lr8, implicit undef $rm, implicit $x3
  37   bb.0.entry:
  38     successors: %bb.1
  39
  40     renamable $x5 = LI8 42
  41     renamable $x4 = COPY renamable killed $x5
  42     B %bb.1
  43
  44   bb.1:
  45     liveins: $x4
  46     $x3 = COPY renamable killed $x4
  47     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
  48
  49 ...
  50
  51 # Use reserved register
  52 ---
  53 name: test2
  54 alignment: 4
  55 tracksRegLiveness: true
  56 body: |
  57   bb.0.entry:
  58     ; CHECK-LABEL: name: test2
  59     ; CHECK: renamable $x4 = LI8 1024
  60     ; CHECK: $x13 = COPY killed renamable $x4
  61     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit undef $x3
  62     renamable $x4 = LI8 1024
  63     $x13 = COPY renamable killed $x4
  64     BLR8 implicit $lr8, implicit undef $rm, implicit undef $x3
  65
  66 ...
  67
  68 # Intermediate read of copy's src
  69 ---
  70 name: test3
  71 alignment: 4
  72 tracksRegLiveness: true
  73 body: |
  74   bb.0.entry:
  75     ; CHECK-LABEL: name: test3
  76     ; CHECK: renamable $x4 = LI8 0
  77     ; CHECK: renamable $x5 = ADDI8 $x4, 1
  78     ; CHECK: $x3 = COPY killed renamable $x4
  79     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
  80     renamable $x4 = LI8 0
  81     renamable $x5 = ADDI8 $x4, 1
  82     $x3 = COPY renamable killed $x4
  83     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
  84
  85 ...
  86
  87 # Intermediate read of copy's def
  88 ---
  89 name: test4
  90 alignment: 4
  91 tracksRegLiveness: true
  92 body: |
  93   bb.0.entry:
  94     liveins: $x3
  95
  96     ; CHECK-LABEL: name: test4
  97     ; CHECK: liveins: $x3
  98     ; CHECK: renamable $x4 = LI8 0
  99     ; CHECK: renamable $x5 = ADDI8 $x3, 1
 100     ; CHECK: $x3 = COPY killed renamable $x4
 101     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 102     renamable $x4 = LI8 0
 103     renamable $x5 = ADDI8 $x3, 1
 104     $x3 = COPY renamable killed $x4
 105     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 106
 107 ...
 108
 109 # Intermiediate clobber of copy's def
 110 ---
 111 name: test5
 112 alignment: 4
 113 tracksRegLiveness: true
 114 body: |
 115   bb.0.entry:
 116     liveins: $x3, $x5
 117
 118     ; CHECK-LABEL: name: test5
 119     ; CHECK: liveins: $x3, $x5
 120     ; CHECK: renamable $x4 = LI8 0
 121     ; CHECK: renamable $x3 = ADDI8 $x5, 1
 122     ; CHECK: $x3 = COPY killed renamable $x4
 123     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 124     renamable $x4 = LI8 0
 125     renamable $x3 = ADDI8 $x5, 1
 126     $x3 = COPY renamable killed $x4
 127     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 128
 129 ...
 130
 131 ---
 132 name: iterative_deletion
 133 alignment: 4
 134 tracksRegLiveness: true
 135 body: |
 136   bb.0.entry:
 137     liveins: $x5
 138
 139     ; CHECK-LABEL: name: iterative_deletion
 140     ; CHECK: liveins: $x5
 141     ; CHECK: renamable $x6 = ADDI8 killed renamable $x5, 1
 142     ; CHECK: $x3 = COPY $x6
 143     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 144     renamable $x6 = ADDI8 renamable killed $x5, 1
 145     renamable $x4 = COPY renamable killed $x6
 146     renamable $x7 = COPY renamable killed $x4
 147     $x3 = COPY renamable killed $x7
 148     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 149
 150 ...
 151
 152 ---
 153 name: Enter
 154 alignment: 4
 155 tracksRegLiveness: true
 156 body: |
 157   bb.0.entry:
 158     liveins: $x4, $x7
 159     ; CHECK-LABEL: name: Enter
 160     ; CHECK: liveins: $x4, $x7
 161     ; CHECK: renamable $x5 = COPY killed renamable $x7
 162     ; CHECK: renamable $x6 = ADDI8 killed renamable $x4, 1
 163     ; CHECK: $x3 = ADD8 killed renamable $x5, $x6
 164     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 165     renamable $x5 = COPY killed renamable $x7
 166     renamable $x6 = ADDI8 killed renamable $x4, 1
 167     renamable $x7 = COPY killed renamable $x6
 168     $x3 = ADD8 renamable killed $x5, renamable killed $x7
 169     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 170
 171 ...
 172
 173 ---
 174 name: foo
 175 alignment: 4
 176 tracksRegLiveness: true
 177 body: |
 178   bb.0.entry:
 179     liveins: $x4, $x7
 180     ; CHECK-LABEL: name: foo
 181     ; CHECK: liveins: $x4, $x7
 182     ; CHECK: renamable $x5 = COPY killed renamable $x7
 183     ; CHECK: renamable $x6 = ADDI8 renamable $x4, 1
 184     ; CHECK: renamable $x7 = COPY killed renamable $x6
 185     ; CHECK: renamable $x8 = ADDI8 killed $x4, 2
 186     ; CHECK: $x3 = ADD8 killed renamable $x5, $x8
 187     ; CHECK: $x3 = ADD8 $x3, killed renamable $x7
 188     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 189     renamable $x5 = COPY killed renamable $x7
 190     renamable $x6 = ADDI8 renamable $x4, 1
 191     renamable $x7 = COPY killed renamable $x6
 192     renamable $x8 = ADDI8 killed $x4, 2
 193     renamable $x6 = COPY killed renamable $x8
 194     $x3 = ADD8 renamable killed $x5, renamable killed $x6
 195     $x3 = ADD8 $x3, renamable killed $x7
 196     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 197
 198 ...
 199
 200 ---
 201 name: bar
 202 alignment: 4
 203 tracksRegLiveness: true
 204 body: |
 205   bb.0.entry:
 206     liveins: $x4, $x7
 207     ; CHECK-LABEL: name: bar
 208     ; CHECK: liveins: $x4, $x7
 209     ; CHECK: renamable $x5 = COPY killed renamable $x7
 210     ; CHECK: renamable $x6 = ADDI8 renamable $x4, 1
 211     ; CHECK: renamable $x8 = COPY $x6
 212     ; CHECK: renamable $x6 = ADDI8 renamable $x5, 2
 213     ; CHECK: $x3 = ADD8 killed renamable $x5, $x6
 214     ; CHECK: $x3 = ADD8 $x3, killed renamable $x8
 215     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 216     renamable $x5 = COPY killed renamable $x7
 217     renamable $x6 = ADDI8 renamable $x4, 1
 218     renamable $x7 = COPY killed renamable $x6
 219     renamable $x8 = COPY killed renamable $x7
 220     renamable $x6 = ADDI8 renamable $x5, 2
 221     renamable $x7 = COPY killed renamable $x6
 222     $x3 = ADD8 renamable killed $x5, renamable killed $x7
 223     $x3 = ADD8 $x3, renamable killed $x8
 224     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 225
 226 ...
 227
 228 ---
 229 name: bogus
 230 alignment: 4
 231 tracksRegLiveness: true
 232 body: |
 233   bb.0.entry:
 234     liveins: $x7
 235     ; CHECK-LABEL: name: bogus
 236     ; CHECK: liveins: $x7
 237     ; CHECK: renamable $x5 = COPY renamable $x7
 238     ; CHECK: renamable $x6 = ADDI8 $x7, 1
 239     ; CHECK: renamable $x7 = COPY $x6
 240     ; CHECK: renamable $x6 = ADDI8 renamable $x5, 2
 241     ; CHECK: $x3 = ADD8 $x7, killed renamable $x5
 242     ; CHECK: $x3 = ADD8 $x3, killed renamable $x6
 243     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 244     renamable $x5 = COPY killed renamable $x7
 245     renamable $x6 = ADDI8 renamable $x5, 1
 246     renamable $x4 = COPY killed renamable $x6
 247     renamable $x7 = COPY killed renamable $x4
 248     renamable $x6 = ADDI8 renamable $x5, 2
 249     renamable $x4 = COPY killed renamable $x7
 250     $x3 = ADD8 renamable killed $x4, renamable killed $x5
 251     $x3 = ADD8 $x3, renamable killed $x6
 252     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 253
 254 ...
 255
 256 ---
 257 name: foobar
 258 alignment: 4
 259 tracksRegLiveness: true
 260 body: |
 261   bb.0.entry:
 262     liveins: $x7
 263     ; CHECK-LABEL: name: foobar
 264     ; CHECK: liveins: $x7
 265     ; CHECK: renamable $x6 = ADDI8 $x7, 1
 266     ; CHECK: renamable $x8 = COPY $x6
 267     ; CHECK: renamable $x6 = ADDI8 $x7, 2
 268     ; CHECK: $x3 = ADD8 $x6, $x7
 269     ; CHECK: $x3 = ADD8 $x3, killed renamable $x8
 270     ; CHECK: BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 271     renamable $x5 = COPY killed renamable $x7
 272     renamable $x6 = ADDI8 renamable $x5, 1
 273     renamable $x4 = COPY killed renamable $x6
 274     renamable $x8 = COPY killed renamable $x4
 275     renamable $x6 = ADDI8 renamable $x5, 2
 276     renamable $x4 = COPY killed renamable $x6
 277     $x3 = ADD8 renamable killed $x4, renamable killed $x5
 278     $x3 = ADD8 $x3, renamable killed $x8
 279     BLR8 implicit $lr8, implicit undef $rm, implicit $x3
 280
 281 ...