llvm/test/CodeGen/AArch64/ldrpre-ldr-merge.mir

   1 # RUN: llc -o - %s -mtriple=aarch64-none-eabi -mcpu=cortex-a55 -lsr-preferred-addressing-mode=preindexed -stop-after=aarch64-ldst-opt | FileCheck %s
   2
   3 ---
   4 name:            1-ldrwpre-ldrwui-merge
   5 tracksRegLiveness: true
   6 liveins:
   7   - { reg: '$x1' }
   8   - { reg: '$w0' }
   9   - { reg: '$w1' }
  10 machineFunctionInfo:
  11   hasRedZone:      false
  12 body:             |
  13   bb.0:
  14     liveins: $w0, $w1, $x1
  15     ; CHECK-LABEL: name: 1-ldrwpre-ldrwui-merge
  16     ; CHECK: liveins: $w0, $w1, $x1
  17     ; CHECK: early-clobber $x1, renamable $w0, renamable $w2 = LDPWpre renamable $x1, 5 :: (load (s32))
  18     ; CHECK: STPWi renamable $w0, renamable $w2, renamable $x1, 0 :: (store (s32))
  19     ; CHECK: RET undef $lr
  20     early-clobber renamable $x1, renamable $w0 = LDRWpre killed renamable $x1, 20 :: (load (s32))
  21     renamable $w2 = LDRWui renamable $x1, 1 :: (load (s32))
  22     STRWui killed renamable $w0, renamable $x1, 0 :: (store (s32))
  23     STRWui killed renamable $w2, renamable $x1, 1 :: (store (s32))
  24     RET undef $lr
  25 ...
  26
  27
  28 ---
  29 name:            2-ldrxpre-ldrxui-merge
  30 tracksRegLiveness: true
  31 liveins:
  32   - { reg: '$x1' }
  33   - { reg: '$x2' }
  34   - { reg: '$x3' }
  35 machineFunctionInfo:
  36   hasRedZone:      false
  37 body:             |
  38   bb.0:
  39     liveins: $x2, $x3, $x1
  40     ; CHECK-LABEL: name: 2-ldrxpre-ldrxui-merge
  41     ; CHECK: liveins: $x1, $x2, $x3
  42     ; CHECK: early-clobber $x1, renamable $x2, renamable $x3 = LDPXpre renamable $x1, 3 :: (load (s64))
  43     ; CHECK: STPXi renamable $x2, renamable $x3, renamable $x1, 0 :: (store (s64))
  44     ; CHECK: RET undef $lr
  45     early-clobber renamable $x1, renamable $x2 = LDRXpre killed renamable $x1, 24 :: (load (s64))
  46     renamable $x3 = LDRXui renamable $x1, 1 :: (load (s64))
  47     STRXui killed renamable $x2, renamable $x1, 0 :: (store (s64))
  48     STRXui killed renamable $x3, renamable $x1, 1 :: (store (s64))
  49     RET undef $lr
  50 ...
  51
  52
  53 ---
  54 name:            3-ldrspre-ldrsui-merge
  55 tracksRegLiveness: true
  56 liveins:
  57   - { reg: '$x1' }
  58   - { reg: '$s0' }
  59   - { reg: '$s1' }
  60 machineFunctionInfo:
  61   hasRedZone:      false
  62 body:             |
  63   bb.0:
  64     liveins: $s0, $s1, $x1
  65     ; CHECK-LABEL: name: 3-ldrspre-ldrsui-merge
  66     ; CHECK: liveins: $s0, $s1, $x1
  67     ; CHECK: early-clobber $x1, renamable $s0, renamable $s1 = LDPSpre renamable $x1, 3 :: (load (s32))
  68     ; CHECK: STRSui renamable $s0, renamable $x1, 0 :: (store (s32))
  69     ; CHECK: STRSui renamable $s1, renamable $x1, 1 :: ("aarch64-suppress-pair" store (s32))
  70     ; CHECK: RET undef $lr
  71     early-clobber renamable $x1, renamable $s0 = LDRSpre killed renamable $x1, 12 :: (load (s32))
  72     renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
  73     STRSui killed renamable $s0, renamable $x1, 0 :: (store (s32))
  74     STRSui killed renamable $s1, renamable $x1, 1 :: (store (s32))
  75     RET undef $lr
  76 ...
  77
  78
  79 ---
  80 name:            4-ldrqdre-ldrdui-merge
  81 tracksRegLiveness: true
  82 liveins:
  83   - { reg: '$x1' }
  84   - { reg: '$d0' }
  85   - { reg: '$d1' }
  86 machineFunctionInfo:
  87   hasRedZone:      false
  88 body:             |
  89   bb.0:
  90     liveins: $d0, $d1, $x1
  91     ; CHECK-LABEL: name: 4-ldrqdre-ldrdui-merge
  92     ; CHECK: liveins: $d0, $d1, $x1
  93     ; CHECK: early-clobber $x1, renamable $d0, renamable $d1 = LDPDpre renamable $x1, 16 :: (load (s64))
  94     ; CHECK: STRDui renamable $d0, renamable $x1, 0 :: (store (s64))
  95     ; CHECK: STRDui renamable $d1, renamable $x1, 1 :: ("aarch64-suppress-pair" store (s64))
  96     ; CHECK: RET undef $lr
  97     early-clobber renamable $x1, renamable $d0 = LDRDpre killed renamable $x1, 128 :: (load (s64))
  98     renamable $d1 = LDRDui renamable $x1, 1 :: (load (s64))
  99     STRDui killed renamable $d0, renamable $x1, 0 :: (store (s64))
 100     STRDui killed renamable $d1, renamable $x1, 1 :: (store (s64))
 101     RET undef $lr
 102 ...
 103
 104
 105 ---
 106 name:            5-ldrqpre-ldrqui-merge
 107 alignment:       4
 108 tracksRegLiveness: true
 109 liveins:
 110   - { reg: '$x1' }
 111   - { reg: '$q0' }
 112   - { reg: '$q1' }
 113 frameInfo:
 114   maxAlignment:    1
 115   maxCallFrameSize: 0
 116 machineFunctionInfo:
 117   hasRedZone:      false
 118 body:             |
 119   bb.0:
 120     liveins: $q0, $q1, $x1
 121     ; CHECK-LABEL: name: 5-ldrqpre-ldrqui-merge
 122     ; CHECK: liveins: $q0, $q1, $x1
 123     ; CHECK: early-clobber $x1, renamable $q0, renamable $q1 = LDPQpre renamable $x1, 3 :: (load (s128))
 124     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 125     ; CHECK: RET undef $lr
 126     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 48 :: (load (s128))
 127     renamable $q1 = LDRQui renamable $x1, 1 :: (load (s128))
 128     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 129     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 130     RET undef $lr
 131 ...
 132
 133
 134 ---
 135 name:            6-ldrqui-ldrqpre-no-merge
 136 alignment:       4
 137 tracksRegLiveness: true
 138 liveins:
 139   - { reg: '$x1' }
 140   - { reg: '$q0' }
 141   - { reg: '$q1' }
 142 frameInfo:
 143   maxAlignment:    1
 144   maxCallFrameSize: 0
 145 machineFunctionInfo:
 146   hasRedZone:      false
 147 body:             |
 148   bb.0:
 149     liveins: $q0, $q1, $x1
 150     ; CHECK-LABEL: name: 6-ldrqui-ldrqpre-no-merge
 151     ; CHECK: liveins: $q0, $q1, $x1
 152     ; CHECK: renamable $q1 = LDRQui renamable $x1, 1 :: (load (s128))
 153     ; CHECK: early-clobber renamable $x1, renamable $q0 = LDRQpre renamable $x1, 48, implicit $w1 :: (load (s128))
 154     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 155     ; CHECK: RET undef $lr
 156     renamable $q1 = LDRQui renamable $x1, 1 :: (load (s128))
 157     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 48 :: (load (s128))
 158     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 159     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 160     RET undef $lr
 161 ...
 162
 163
 164 ---
 165 name:            7-ldrqpre-ldrqui-max-offset-merge
 166 alignment:       4
 167 tracksRegLiveness: true
 168 liveins:
 169   - { reg: '$x1' }
 170   - { reg: '$q0' }
 171   - { reg: '$q1' }
 172 frameInfo:
 173   maxAlignment:    1
 174   maxCallFrameSize: 0
 175 machineFunctionInfo:
 176   hasRedZone:      false
 177 body:             |
 178   bb.0:
 179     liveins: $q0, $q1, $x1
 180     ; CHECK-LABEL: name: 7-ldrqpre-ldrqui-max-offset-merge
 181     ; CHECK: liveins: $q0, $q1, $x1
 182     ; CHECK: early-clobber $x1, renamable $q0, renamable $q1 = LDPQpre renamable $x1, 15 :: (load (s128))
 183     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 184     ; CHECK: RET undef $lr
 185     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 240 :: (load (s128))
 186     renamable $q1 = LDRQui renamable $x1, 1 :: (load (s128))
 187     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 188     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 189     RET undef $lr
 190 ...
 191
 192
 193 ---
 194 name:            8-ldrqpre-ldrqui-min-offset-merge
 195 alignment:       4
 196 tracksRegLiveness: true
 197 liveins:
 198   - { reg: '$x1' }
 199   - { reg: '$q0' }
 200   - { reg: '$q1' }
 201 frameInfo:
 202   maxAlignment:    1
 203   maxCallFrameSize: 0
 204 machineFunctionInfo:
 205   hasRedZone:      false
 206 body:             |
 207   bb.0:
 208     liveins: $q0, $q1, $x1
 209     ; CHECK-LABEL: name: 8-ldrqpre-ldrqui-min-offset-merge
 210     ; CHECK: liveins: $q0, $q1, $x1
 211     ; CHECK: early-clobber $x1, renamable $q0, renamable $q1 = LDPQpre renamable $x1, -16 :: (load (s128))
 212     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 213     ; CHECK: RET undef $lr
 214     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, -256 :: (load (s128))
 215     renamable $q1 = LDRQui renamable $x1, 1 :: (load (s128))
 216     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 217     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 218     RET undef $lr
 219 ...
 220
 221
 222 ---
 223 name:            9-ldrspre-ldrsui-mod-base-reg-no-merge
 224 alignment:       4
 225 tracksRegLiveness: true
 226 liveins:
 227   - { reg: '$x0' }
 228   - { reg: '$x1' }
 229   - { reg: '$s0' }
 230   - { reg: '$s1' }
 231 frameInfo:
 232   maxAlignment:    1
 233   maxCallFrameSize: 0
 234 machineFunctionInfo:
 235   hasRedZone:      false
 236 body:             |
 237   bb.0:
 238     liveins: $s0, $s1, $x0, $x1
 239     ; CHECK-LABEL: name: 9-ldrspre-ldrsui-mod-base-reg-no-merge
 240     ; CHECK: liveins: $s0, $s1, $x0, $x1
 241     ; CHECK: dead early-clobber renamable $x1, renamable $s0 = LDRSpre renamable $x1, 12, implicit $w1 :: (load (s32))
 242     ; CHECK: renamable $x1 = LDRXui renamable $x0, 1 :: (load (s64))
 243     ; CHECK: renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 244     ; CHECK: STPSi renamable $s0, renamable $s1, renamable $x1, 0 :: (store (s32))
 245     ; CHECK: RET undef $lr
 246     early-clobber renamable $x1, renamable $s0 = LDRSpre killed renamable $x1, 12 :: (load (s32))
 247     renamable $x1 = LDRXui renamable $x0, 1 :: (load (s64))
 248     renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 249     STRSui killed renamable $s0, renamable $x1, 0 :: (store (s32))
 250     STRSui killed renamable $s1, renamable $x1, 1 :: (store (s32))
 251     RET undef $lr
 252 ...
 253
 254
 255 ---
 256 name:            10-ldrspre-ldrsui-used-base-reg-no-merge
 257 alignment:       4
 258 tracksRegLiveness: true
 259 liveins:
 260   - { reg: '$x0' }
 261   - { reg: '$x1' }
 262   - { reg: '$s0' }
 263   - { reg: '$s1' }
 264 frameInfo:
 265   maxAlignment:    1
 266   maxCallFrameSize: 0
 267 machineFunctionInfo:
 268   hasRedZone:      false
 269 body:             |
 270   bb.0:
 271     liveins: $s0, $s1, $x0, $x1
 272     ; CHECK-LABEL: name: 10-ldrspre-ldrsui-used-base-reg-no-merge
 273     ; CHECK: liveins: $s0, $s1, $x0, $x1
 274     ; CHECK: early-clobber renamable $x1, renamable $s0 = LDRSpre renamable $x1, 12, implicit $w1 :: (load (s32))
 275     ; CHECK: renamable $x0 = LDRXui renamable $x1, 1 :: (load (s64))
 276     ; CHECK: STRXui renamable $x0, renamable $x0, 1 :: (store (s64))
 277     ; CHECK: renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 278     ; CHECK: STRSui renamable $s0, renamable $x1, 0 :: (store (s32))
 279     ; CHECK: STRSui renamable $s1, renamable $x1, 1 :: ("aarch64-suppress-pair" store (s32))
 280     ; CHECK: RET undef $lr
 281     early-clobber renamable $x1, renamable $s0 = LDRSpre killed renamable $x1, 12 :: (load (s32))
 282     renamable $x0 = LDRXui renamable $x1, 1 :: (load (s64))
 283     STRXui killed renamable $x0, renamable $x0, 1 :: (store (s64))
 284     renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 285     STRSui killed renamable $s0, renamable $x1, 0 :: (store (s32))
 286     STRSui killed renamable $s1, renamable $x1, 1 :: (store (s32))
 287     RET undef $lr
 288 ...
 289
 290
 291 ---
 292 name:            11-ldrqpre-ldrqpre-no-merge
 293 alignment:       4
 294 tracksRegLiveness: true
 295 liveins:
 296   - { reg: '$x1' }
 297   - { reg: '$q0' }
 298   - { reg: '$q1' }
 299 frameInfo:
 300   maxAlignment:    1
 301   maxCallFrameSize: 0
 302 machineFunctionInfo:
 303   hasRedZone:      false
 304 body:             |
 305   bb.0:
 306     liveins: $q0, $q1, $x1
 307     ; CHECK-LABEL: name: 11-ldrqpre-ldrqpre-no-merge
 308     ; CHECK: liveins: $q0, $q1, $x1
 309     ; CHECK: early-clobber renamable $x1, dead renamable $q0 = LDRQpre renamable $x1, 48, implicit $w1 :: (load (s128))
 310     ; CHECK: early-clobber renamable $x1, dead renamable $q1 = LDRQpre renamable $x1, 1, implicit $w1 :: (load (s128))
 311     ; CHECK: early-clobber renamable $x1, dead renamable $q0 = LDRQpre renamable $x1, 16, implicit $w1 :: (load (s128))
 312     ; CHECK: early-clobber renamable $x1, dead renamable $q1 = LDRQpre renamable $x1, 12, implicit $w1 :: (load (s128))
 313     ; CHECK: early-clobber renamable $x1, renamable $q0 = LDRQpre renamable $x1, 16, implicit $w1 :: (load (s128))
 314     ; CHECK: early-clobber renamable $x1, renamable $q1 = LDRQpre renamable $x1, 16, implicit $w1 :: (load (s128))
 315     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 316     ; CHECK: RET undef $lr
 317     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 48 :: (load (s128))
 318     early-clobber renamable $x1, renamable $q1 = LDRQpre killed renamable $x1, 1  :: (load (s128))
 319     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 16 :: (load (s128))
 320     early-clobber renamable $x1, renamable $q1 = LDRQpre killed renamable $x1, 12  :: (load (s128))
 321     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 16 :: (load (s128))
 322     early-clobber renamable $x1, renamable $q1 = LDRQpre killed renamable $x1, 16  :: (load (s128))
 323     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 324     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 325     RET undef $lr
 326 ...
 327
 328
 329 ---
 330 name:            12-ldrspre-ldrsui-no-merge
 331 tracksRegLiveness: true
 332 liveins:
 333   - { reg: '$x1' }
 334   - { reg: '$s0' }
 335   - { reg: '$s1' }
 336 machineFunctionInfo:
 337   hasRedZone:      false
 338 body:             |
 339   bb.0:
 340     liveins: $s0, $s1, $x1
 341
 342     ; The offset of the second load is not equal to the
 343     ; size of the destination register,  and hence can’t be merged.
 344
 345     ; CHECK-LABEL: name: 12-ldrspre-ldrsui-no-merge
 346     ; CHECK: liveins: $s0, $s1, $x1
 347     ; CHECK: early-clobber renamable $x1, renamable $s0 = LDRSpre renamable $x1, 12, implicit $w1 :: (load (s32))
 348     ; CHECK: renamable $s1 = LDRSui renamable $x1, 2 :: (load (s32))
 349     ; CHECK: STRSui renamable $s0, renamable $x1, 0 :: (store (s32))
 350     ; CHECK: STRSui renamable $s1, renamable $x1, 1 :: ("aarch64-suppress-pair" store (s32))
 351     ; CHECK: RET undef $lr
 352     early-clobber renamable $x1, renamable $s0 = LDRSpre killed renamable $x1, 12 :: (load (s32))
 353     renamable $s1 = LDRSui renamable $x1, 2 :: (load (s32))
 354     STRSui killed renamable $s0, renamable $x1, 0 :: (store (s32))
 355     STRSui killed renamable $s1, renamable $x1, 1 :: (store (s32))
 356     RET undef $lr
 357 ...
 358
 359
 360 ---
 361 name:            13-ldrqpre-ldrdui-no-merge
 362 alignment:       4
 363 tracksRegLiveness: true
 364 liveins:
 365   - { reg: '$x1' }
 366   - { reg: '$q0' }
 367   - { reg: '$d1' }
 368 frameInfo:
 369   maxAlignment:    1
 370   maxCallFrameSize: 0
 371 machineFunctionInfo:
 372   hasRedZone:      false
 373 body:             |
 374   bb.0:
 375     liveins: $q0, $d1, $x1
 376     ; CHECK-LABEL: name: 13-ldrqpre-ldrdui-no-merge
 377     ; CHECK: liveins: $d1, $q0, $x1
 378     ; CHECK: early-clobber renamable $x1, renamable $q0 = LDRQpre renamable $x1, 32, implicit $w1 :: (load (s128))
 379     ; CHECK: renamable $d1 = LDRDui renamable $x1, 1 :: (load (s64))
 380     ; CHECK: STRQui renamable $q0, renamable $x1, 0 :: (store (s128))
 381     ; CHECK: STRDui renamable $d1, renamable $x1, 1 :: (store (s64))
 382     ; CHECK: RET undef $lr
 383     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 32 :: (load (s128))
 384     renamable $d1 = LDRDui renamable $x1, 1 :: (load (s64))
 385     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 386     STRDui killed renamable $d1, renamable $x1, 1 :: (store (s64))
 387     RET undef $lr
 388 ...
 389
 390
 391 ---
 392 name:            14-ldrqpre-strqui-no-merge
 393 alignment:       4
 394 tracksRegLiveness: true
 395 liveins:
 396   - { reg: '$x1' }
 397   - { reg: '$q0' }
 398   - { reg: '$q1' }
 399 frameInfo:
 400   maxAlignment:    1
 401   maxCallFrameSize: 0
 402 machineFunctionInfo:
 403   hasRedZone:      false
 404 body:             |
 405   bb.0:
 406     liveins: $q0, $q1, $x1
 407     ; CHECK-LABEL: name: 14-ldrqpre-strqui-no-merge
 408     ; CHECK: liveins: $q0, $q1, $x1
 409     ; CHECK: early-clobber renamable $x1, renamable $q0 = LDRQpre renamable $x1, 32, implicit $w1 :: (load (s128))
 410     ; CHECK: STRQui renamable $q0, renamable $x1, 0 :: (store (s128))
 411     ; CHECK: RET undef $lr
 412     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 32 :: (load (s128))
 413     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 414     RET undef $lr
 415 ...
 416
 417
 418 ---
 419 name:            15-ldrqpre-ldrqui-same-dst-reg-no-merge
 420 alignment:       4
 421 tracksRegLiveness: true
 422 liveins:
 423   - { reg: '$x1' }
 424   - { reg: '$q0' }
 425   - { reg: '$q1' }
 426 frameInfo:
 427   maxAlignment:    1
 428   maxCallFrameSize: 0
 429 machineFunctionInfo:
 430   hasRedZone:      false
 431 body:             |
 432   bb.0:
 433     liveins: $q0, $x1
 434     ; CHECK-LABEL: name: 15-ldrqpre-ldrqui-same-dst-reg-no-merge
 435     ; CHECK: liveins: $q0, $q1, $x1
 436     ; CHECK: early-clobber renamable $x1, dead renamable $q0 = LDRQpre renamable $x1, 32, implicit $w1 :: (load (s128))
 437     ; CHECK: renamable $q0 = LDRQui renamable $x1, 1 :: (load (s128))
 438     ; CHECK: STRQui renamable $q0, renamable $x1, 0 :: (store (s128))
 439     ; CHECK: RET undef $lr
 440     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 32 :: (load (s128))
 441     renamable $q0 = LDRQui renamable $x1, 1 :: (load (s128))
 442     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 443     RET undef $lr
 444 ...
 445
 446
 447 ---
 448 name:            16-ldrqpre-ldrqui-diff-base-reg-no-merge
 449 alignment:       4
 450 tracksRegLiveness: true
 451 liveins:
 452   - { reg: '$x1' }
 453   - { reg: '$x2' }
 454   - { reg: '$q0' }
 455   - { reg: '$q1' }
 456 frameInfo:
 457   maxAlignment:    1
 458   maxCallFrameSize: 0
 459 machineFunctionInfo:
 460   hasRedZone:      false
 461 body:             |
 462   bb.0:
 463     liveins: $q0, $q1, $x1, $x2
 464     ; CHECK-LABEL: name: 16-ldrqpre-ldrqui-diff-base-reg-no-merge
 465     ; CHECK: liveins: $q0, $q1, $x1, $x2
 466     ; CHECK: early-clobber renamable $x1, renamable $q0 = LDRQpre renamable $x1, 32, implicit $w1 :: (load (s128))
 467     ; CHECK: renamable $q1 = LDRQui renamable $x2, 1 :: (load (s128))
 468     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 469     ; CHECK: RET undef $lr
 470     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 32 :: (load (s128))
 471     renamable $q1 = LDRQui renamable $x2, 1 :: (load (s128))
 472     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 473     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 474     RET undef $lr
 475 ...
 476
 477
 478 ---
 479 name:            17-ldrqpre-ldurqi-merge
 480 alignment:       4
 481 tracksRegLiveness: true
 482 liveins:
 483   - { reg: '$x1' }
 484   - { reg: '$q0' }
 485   - { reg: '$q1' }
 486 frameInfo:
 487   maxAlignment:    1
 488   maxCallFrameSize: 0
 489 machineFunctionInfo:
 490   hasRedZone:      false
 491 body:             |
 492   bb.0:
 493     liveins: $q0, $q1, $x1
 494     ; CHECK-LABEL: name: 17-ldrqpre-ldurqi-merge
 495     ; CHECK: liveins: $q0, $q1, $x1
 496     ; CHECK: early-clobber $x1, renamable $q0, renamable $q1 = LDPQpre renamable $x1, 2 :: (load (s128))
 497     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 498     ; CHECK: RET undef $lr
 499     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 32 :: (load (s128))
 500     renamable $q1 = LDURQi renamable $x1, 16 :: (load (s128))
 501     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 502     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 503     RET undef $lr
 504 ...
 505
 506
 507 ---
 508 name:            18-ldrqpre-ldurqi-no-merge
 509 alignment:       4
 510 tracksRegLiveness: true
 511 liveins:
 512   - { reg: '$x1' }
 513   - { reg: '$q0' }
 514   - { reg: '$q1' }
 515 frameInfo:
 516   maxAlignment:    1
 517   maxCallFrameSize: 0
 518 machineFunctionInfo:
 519   hasRedZone:      false
 520 body:             |
 521   bb.0:
 522     liveins: $q0, $q1, $x1
 523     ; CHECK-LABEL: name: 18-ldrqpre-ldurqi-no-merge
 524     ; CHECK: liveins: $q0, $q1, $x1
 525     ; CHECK: early-clobber renamable $x1, renamable $q0 = LDRQpre renamable $x1, 32, implicit $w1 :: (load (s128))
 526     ; CHECK: renamable $q1 = LDURQi renamable $x1, 1 :: (load (s128))
 527     ; CHECK: STPQi renamable $q0, renamable $q1, renamable $x1, 0 :: (store (s128))
 528     ; CHECK: RET undef $lr
 529     early-clobber renamable $x1, renamable $q0 = LDRQpre killed renamable $x1, 32 :: (load (s128))
 530     renamable $q1 = LDURQi renamable $x1, 1 :: (load (s128))
 531     STRQui killed renamable $q0, renamable $x1, 0 :: (store (s128))
 532     STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))
 533     RET undef $lr
 534 ...
 535
 536
 537 ---
 538 name:            19-ldrspre-ldrsui-max-merge
 539 tracksRegLiveness: true
 540 liveins:
 541   - { reg: '$x1' }
 542   - { reg: '$s0' }
 543   - { reg: '$s1' }
 544 machineFunctionInfo:
 545   hasRedZone:      false
 546 body:             |
 547   bb.0:
 548     liveins: $s0, $s1, $x1
 549     ; CHECK-LABEL: name: 19-ldrspre-ldrsui-max-merge
 550     ; CHECK: liveins: $s0, $s1, $x1
 551     ; CHECK: early-clobber $x1, renamable $s0, renamable $s1 = LDPSpre renamable $x1, 63 :: (load (s32))
 552     ; CHECK: STRSui renamable $s0, renamable $x1, 0 :: (store (s32))
 553     ; CHECK: STRSui renamable $s1, renamable $x1, 1 :: ("aarch64-suppress-pair" store (s32))
 554     ; CHECK: RET undef $lr
 555     early-clobber renamable $x1, renamable $s0 = LDRSpre killed renamable $x1, 252 :: (load (s32))
 556     renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 557     STRSui killed renamable $s0, renamable $x1, 0 :: (store (s32))
 558     STRSui killed renamable $s1, renamable $x1, 1 :: (store (s32))
 559     RET undef $lr
 560 ...
 561
 562
 563 ---
 564 name:            20-ldrspre-ldrsui-unaligned-no-merge
 565 tracksRegLiveness: true
 566 liveins:
 567   - { reg: '$x1' }
 568   - { reg: '$s0' }
 569   - { reg: '$s1' }
 570 machineFunctionInfo:
 571   hasRedZone:      false
 572 body:             |
 573   bb.0:
 574     liveins: $s0, $s1, $x1
 575     ; CHECK-LABEL: name: 20-ldrspre-ldrsui-unaligned-no-merge
 576     ; CHECK: liveins: $s0, $s1, $x1
 577     ; CHECK: early-clobber renamable $x1, renamable $s0 = LDRSpre renamable $x1, 251, implicit $w1 :: (load (s32))
 578     ; CHECK: renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 579     ; CHECK: STRSui renamable $s0, renamable $x1, 0 :: (store (s32))
 580     ; CHECK: STRSui renamable $s1, renamable $x1, 1 :: ("aarch64-suppress-pair" store (s32))
 581     ; CHECK: RET undef $lr
 582     early-clobber renamable $x1, renamable $s0 = LDRSpre killed renamable $x1, 251 :: (load (s32))
 583     renamable $s1 = LDRSui renamable $x1, 1 :: (load (s32))
 584     STRSui killed renamable $s0, renamable $x1, 0 :: (store (s32))
 585     STRSui killed renamable $s1, renamable $x1, 1 :: (store (s32))
 586     RET undef $lr
 587 ...