test/CodeGen/ARM/prera-ldst-insertpt.mir

   1 # RUN: llc -run-pass arm-prera-ldst-opt %s -o - | FileCheck %s
   2 # RUN: llc -run-pass arm-prera-ldst-opt -arm-prera-ldst-opt-reorder-limit=3 %s -o - | FileCheck %s
   3 # RUN: llc -run-pass arm-prera-ldst-opt -arm-prera-ldst-opt-reorder-limit=2 %s -o - | FileCheck %s --check-prefix=CHECK-LIMIT
   4 --- |
   5   target triple = "thumbv7---eabi"
   6
   7   define void @a(i32* nocapture %x, i32 %y, i32 %z) {
   8   entry:
   9     ret void
  10   }
  11
  12   define void @b(i32* nocapture %x, i32 %y, i32 %z) {
  13   entry:
  14     ret void
  15   }
  16 ...
  17 ---
  18 # CHECK-LABEL: name: a
  19 name:            a
  20 alignment:       2
  21 tracksRegLiveness: true
  22 liveins:
  23   - { reg: '$r0', virtual-reg: '%0' }
  24   - { reg: '$r1', virtual-reg: '%1' }
  25   - { reg: '$r2', virtual-reg: '%2' }
  26 body:             |
  27   bb.0.entry:
  28     liveins: $r0, $r1, $r2
  29
  30     %2 : rgpr = COPY $r2
  31     %1 : rgpr = COPY $r1
  32     %0 : gpr = COPY $r0
  33     %3 : rgpr = t2MUL %2, %2, 14, $noreg
  34     %4 : rgpr = t2MUL %1, %1, 14, $noreg
  35     %5 : rgpr = t2MOVi32imm -858993459
  36     %6 : rgpr, %7 : rgpr  = t2UMULL killed %3, %5, 14, $noreg
  37     %8 : rgpr, %9 : rgpr  = t2UMULL killed %4, %5, 14, $noreg
  38     t2STRi12 %1, %0, 0, 14, $noreg :: (store 4)
  39     %10 : rgpr = t2LSLri %2, 1, 14, $noreg, $noreg
  40     t2STRi12 killed %10, %0, 4, 14, $noreg :: (store 4)
  41
  42     ; Make sure we move the paired stores next to each other, and
  43     ; insert them in an appropriate location.
  44     ; CHECK: t2STRi12 %1,
  45     ; CHECK-NEXT: t2STRi12 killed %10,
  46     ; CHECK-NEXT: t2MOVi
  47     ; CHECK-NEXT: t2ADDrs
  48
  49     %11 : rgpr = t2MOVi 55, 14, $noreg, $noreg
  50     %12 : gprnopc = t2ADDrs %11, killed %7, 19, 14, $noreg, $noreg
  51     t2STRi12 killed %12, %0, 16, 14, $noreg :: (store 4)
  52     %13 : gprnopc = t2ADDrs %11, killed %9, 19, 14, $noreg, $noreg
  53     t2STRi12 killed %13, %0, 20, 14, $noreg :: (store 4)
  54
  55     ; Make sure we move the paired stores next to each other.
  56     ; CHECK: t2STRi12 killed %12,
  57     ; CHECK-NEXT: t2STRi12 killed %13,
  58
  59     tBX_RET 14, $noreg
  60 ---
  61 # CHECK-LABEL: name: b
  62 name:            b
  63 alignment:       2
  64 tracksRegLiveness: true
  65 liveins:
  66   - { reg: '$r0', virtual-reg: '%0' }
  67   - { reg: '$r1', virtual-reg: '%1' }
  68   - { reg: '$r2', virtual-reg: '%2' }
  69 body:             |
  70   bb.0.entry:
  71     liveins: $r0, $r1, $r2
  72
  73     %2 : rgpr = COPY $r2
  74     %1 : rgpr = COPY $r1
  75     %0 : gpr = COPY $r0
  76     t2STRi12 %1, %0, 0, 14, $noreg :: (store 4)
  77     %10 : rgpr = t2LSLri %2, 1, 14, $noreg, $noreg
  78     t2STRi12 killed %10, %0, 4, 14, $noreg :: (store 4)
  79     %3 : rgpr = t2MUL %2, %2, 14, $noreg
  80     t2STRi12 %3, %0, 8, 14, $noreg :: (store 4)
  81
  82     ; Make sure we move the paired stores next to each other, and
  83     ; insert them in an appropriate location.
  84     ; CHECK:      t2STRi12 {{.*}}, 0
  85     ; CHECK-NEXT: t2STRi12 {{.*}}, 4
  86     ; CHECK-NEXT: t2STRi12 {{.*}}, 8
  87     ; CHECK-NEXT: t2MUL
  88     ; CHECK-NEXT: t2MOVi32imm
  89
  90     ; CHECK-LIMIT-LABEL: name: b
  91     ; CHECK-LIMIT:      t2STRi12 {{.*}}, 0
  92     ; CHECK-LIMIT-NEXT: t2STRi12 {{.*}}, 4
  93     ; CHECK-LIMIT-NEXT: t2MUL
  94     ; CHECK-LIMIT-NEXT: t2STRi12 {{.*}}, 8
  95
  96     %4 : rgpr = t2MUL %1, %1, 14, $noreg
  97     %5 : rgpr = t2MOVi32imm -858993459
  98     %6 : rgpr, %7 : rgpr  = t2UMULL killed %3, %5, 14, $noreg
  99     %8 : rgpr, %9 : rgpr  = t2UMULL killed %4, %5, 14, $noreg
 100     %10 : rgpr = t2LSLri %2, 1, 14, $noreg, $noreg
 101     %11 : rgpr = t2MOVi 55, 14, $noreg, $noreg
 102     %12 : gprnopc = t2ADDrs %11, killed %7, 19, 14, $noreg, $noreg
 103     t2STRi12 killed %12, %0, 16, 14, $noreg :: (store 4)
 104     %13 : gprnopc = t2ADDrs %11, killed %9, 19, 14, $noreg, $noreg
 105     t2STRi12 killed %13, %0, 20, 14, $noreg :: (store 4)
 106
 107     ; Make sure we move the paired stores next to each other.
 108     ; CHECK: t2STRi12 {{.*}}, 16
 109     ; CHECK-NEXT: t2STRi12 {{.*}}, 20
 110
 111     tBX_RET 14, $noreg
 112
 113 ...