llvm/test/CodeGen/ARM/GlobalISel/thumb-select-load-store.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple thumb-- -mattr=+v6t2 -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   3 --- |
   4   define void @test_s8() { ret void }
   5   define void @test_s16() { ret void }
   6   define void @test_s32() { ret void }
   7
   8   define void @test_gep() { ret void }
   9
  10   define void @test_load_from_stack() { ret void }
  11 ...
  12 ---
  13 name:            test_s8
  14 legalized:       true
  15 regBankSelected: true
  16 selected:        false
  17 registers:
  18   - { id: 0, class: gprb }
  19   - { id: 1, class: gprb }
  20 body:             |
  21   bb.0:
  22     liveins: $r0
  23
  24     ; CHECK-LABEL: name: test_s8
  25     ; CHECK: [[COPY:%[0-9]+]]:gpr = COPY $r0
  26     ; CHECK: [[t2LDRBi12_:%[0-9]+]]:rgpr = t2LDRBi12 [[COPY]], 0, 14 /* CC::al */, $noreg :: (load (s8))
  27     ; CHECK: t2STRBi12 [[t2LDRBi12_]], [[COPY]], 0, 14 /* CC::al */, $noreg :: (store (s8))
  28     ; CHECK: BX_RET 14 /* CC::al */, $noreg
  29     %0(p0) = COPY $r0
  30
  31     %1(s8) = G_LOAD %0(p0) :: (load (s8))
  32
  33     G_STORE %1(s8), %0(p0) :: (store (s8))
  34
  35     BX_RET 14, $noreg
  36 ...
  37 ---
  38 name:            test_s16
  39 legalized:       true
  40 regBankSelected: true
  41 selected:        false
  42 registers:
  43   - { id: 0, class: gprb }
  44   - { id: 1, class: gprb }
  45 body:             |
  46   bb.0:
  47     liveins: $r0
  48
  49     ; CHECK-LABEL: name: test_s16
  50     ; CHECK: [[COPY:%[0-9]+]]:gpr = COPY $r0
  51     ; CHECK: [[t2LDRHi12_:%[0-9]+]]:rgpr = t2LDRHi12 [[COPY]], 0, 14 /* CC::al */, $noreg :: (load (s16))
  52     ; CHECK: t2STRHi12 [[t2LDRHi12_]], [[COPY]], 0, 14 /* CC::al */, $noreg :: (store (s16))
  53     ; CHECK: BX_RET 14 /* CC::al */, $noreg
  54     %0(p0) = COPY $r0
  55
  56     %1(s16) = G_LOAD %0(p0) :: (load (s16))
  57
  58     G_STORE %1(s16), %0(p0) :: (store (s16))
  59
  60     BX_RET 14, $noreg
  61 ...
  62 ---
  63 name:            test_s32
  64 legalized:       true
  65 regBankSelected: true
  66 selected:        false
  67 registers:
  68   - { id: 0, class: gprb }
  69   - { id: 1, class: gprb }
  70 body:             |
  71   bb.0:
  72     liveins: $r0
  73
  74     ; CHECK-LABEL: name: test_s32
  75     ; CHECK: [[COPY:%[0-9]+]]:gpr = COPY $r0
  76     ; CHECK: [[t2LDRi12_:%[0-9]+]]:gpr = t2LDRi12 [[COPY]], 0, 14 /* CC::al */, $noreg :: (load (s32))
  77     ; CHECK: t2STRi12 [[t2LDRi12_]], [[COPY]], 0, 14 /* CC::al */, $noreg :: (store (s32))
  78     ; CHECK: BX_RET 14 /* CC::al */, $noreg
  79     %0(p0) = COPY $r0
  80
  81     %1(s32) = G_LOAD %0(p0) :: (load (s32))
  82
  83     G_STORE %1(s32), %0(p0) :: (store (s32))
  84
  85     BX_RET 14, $noreg
  86 ...
  87 ---
  88 name:            test_gep
  89 legalized:       true
  90 regBankSelected: true
  91 selected:        false
  92 registers:
  93   - { id: 0, class: gprb }
  94   - { id: 1, class: gprb }
  95   - { id: 2, class: gprb }
  96 body:             |
  97   bb.0:
  98     liveins: $r0, $r1
  99
 100     ; CHECK-LABEL: name: test_gep
 101     ; CHECK: [[COPY:%[0-9]+]]:gprnopc = COPY $r0
 102     ; CHECK: [[COPY1:%[0-9]+]]:rgpr = COPY $r1
 103     ; CHECK: [[t2ADDrr:%[0-9]+]]:gprnopc = t2ADDrr [[COPY]], [[COPY1]], 14 /* CC::al */, $noreg, $noreg
 104     ; CHECK: $r0 = COPY [[t2ADDrr]]
 105     ; CHECK: BX_RET 14 /* CC::al */, $noreg, implicit $r0
 106     %0(p0) = COPY $r0
 107
 108     %1(s32) = COPY $r1
 109
 110     %2(p0) = G_PTR_ADD %0, %1(s32)
 111
 112     $r0 = COPY %2(p0)
 113
 114     BX_RET 14, $noreg, implicit $r0
 115 ...
 116 ---
 117 name:            test_load_from_stack
 118 legalized:       true
 119 regBankSelected: true
 120 selected:        false
 121 registers:
 122   - { id: 0, class: gprb }
 123   - { id: 1, class: gprb }
 124   - { id: 2, class: gprb }
 125   - { id: 3, class: gprb }
 126   - { id: 4, class: gprb }
 127 fixedStack:
 128   - { id: 0, offset: 0, size: 1, alignment: 4, isImmutable: true, isAliased: false }
 129   - { id: 1, offset: 4, size: 4, alignment: 4, isImmutable: true, isAliased: false }
 130   - { id: 2, offset: 8, size: 4, alignment: 4, isImmutable: true, isAliased: false }
 131 body:             |
 132   bb.0:
 133     liveins: $r0, $r1, $r2, $r3
 134
 135     ; CHECK-LABEL: name: test_load_from_stack
 136     ; CHECK: [[t2ADDri:%[0-9]+]]:rgpr = t2ADDri %fixed-stack.0, 0, 14 /* CC::al */, $noreg, $noreg
 137     ; CHECK: [[t2LDRi12_:%[0-9]+]]:gpr = t2LDRi12 [[t2ADDri]], 0, 14 /* CC::al */, $noreg :: (load (s32))
 138     ; CHECK: $r0 = COPY [[t2LDRi12_]]
 139     ; CHECK: [[t2ADDri1:%[0-9]+]]:rgpr = t2ADDri %fixed-stack.2, 0, 14 /* CC::al */, $noreg, $noreg
 140     ; CHECK: [[t2LDRBi12_:%[0-9]+]]:gprnopc = t2LDRBi12 [[t2ADDri1]], 0, 14 /* CC::al */, $noreg :: (load (s8))
 141     ; CHECK: [[COPY:%[0-9]+]]:gpr = COPY [[t2LDRBi12_]]
 142     ; CHECK: $r0 = COPY [[COPY]]
 143     ; CHECK: BX_RET 14 /* CC::al */, $noreg
 144     %0(p0) = G_FRAME_INDEX %fixed-stack.2
 145
 146     %1(s32) = G_LOAD %0(p0) :: (load (s32))
 147
 148     $r0 = COPY %1
 149
 150     %2(p0) = G_FRAME_INDEX %fixed-stack.0
 151
 152     %3(s8) = G_LOAD %2(p0) :: (load (s8))
 153
 154     %4(s32) = G_ANYEXT %3(s8)
 155
 156     $r0 = COPY %4
 157
 158     BX_RET 14, $noreg
 159 ...