test/CodeGen/AArch64/GlobalISel/legalize-load-store.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -march=aarch64 -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   6   target triple = "aarch64"
   7
   8   define void @test_load() { ret void }
   9   define void @test_store() { ret void }
  10
  11   define void @store_4xi16(<4 x i16> %v, <4 x i16>* %ptr) {
  12     store <4 x i16> %v, <4 x i16>* %ptr
  13     ret void
  14   }
  15
  16   define void @store_4xi32(<4 x i32> %v, <4 x i32>* %ptr) {
  17     store <4 x i32> %v, <4 x i32>* %ptr
  18     ret void
  19   }
  20
  21   define void @store_8xi16(<8 x i16> %v, <8 x i16>* %ptr) {
  22     store <8 x i16> %v, <8 x i16>* %ptr
  23     ret void
  24   }
  25
  26   define void @store_16xi8(<16 x i8> %v, <16 x i8>* %ptr) {
  27     store <16 x i8> %v, <16 x i8>* %ptr
  28     ret void
  29   }
  30
  31   define <4 x i16> @load_4xi16(<4 x i16>* %ptr) {
  32     %res = load <4 x i16>, <4 x i16>* %ptr
  33     ret <4 x i16> %res
  34   }
  35
  36   define <4 x i32> @load_4xi32(<4 x i32>* %ptr) {
  37     %res = load <4 x i32>, <4 x i32>* %ptr
  38     ret <4 x i32> %res
  39   }
  40
  41   define <8 x i16> @load_8xi16(<8 x i16>* %ptr) {
  42     %res = load <8 x i16>, <8 x i16>* %ptr
  43     ret <8 x i16> %res
  44   }
  45
  46   define <16 x i8> @load_16xi8(<16 x i8>* %ptr) {
  47     %res = load <16 x i8>, <16 x i8>* %ptr
  48     ret <16 x i8> %res
  49   }
  50
  51   define <8 x i8> @load_8xi8(<8 x i8>* %ptr) {
  52     %res = load <8 x i8>, <8 x i8>* %ptr
  53     ret <8 x i8> %res
  54   }
  55
  56 ...
  57 ---
  58 name:            test_load
  59 body: |
  60   bb.0:
  61     liveins: $x0
  62
  63     ; CHECK-LABEL: name: test_load
  64     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  65     ; CHECK: [[LOAD:%[0-9]+]]:_(s8) = G_LOAD [[COPY]](p0) :: (load 1)
  66     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[LOAD]](s8)
  67     ; CHECK: $w0 = COPY [[ANYEXT]](s32)
  68     ; CHECK: [[LOAD1:%[0-9]+]]:_(s8) = G_LOAD [[COPY]](p0) :: (load 1)
  69     ; CHECK: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[LOAD1]](s8)
  70     ; CHECK: $w0 = COPY [[ANYEXT1]](s32)
  71     ; CHECK: [[LOAD2:%[0-9]+]]:_(s16) = G_LOAD [[COPY]](p0) :: (load 2)
  72     ; CHECK: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[LOAD2]](s16)
  73     ; CHECK: $w0 = COPY [[ANYEXT2]](s32)
  74     ; CHECK: $w0 = COPY [[ANYEXT1]](s32)
  75     ; CHECK: [[LOAD3:%[0-9]+]]:_(s64) = G_LOAD [[COPY]](p0) :: (load 8)
  76     ; CHECK: $x0 = COPY [[LOAD3]](s64)
  77     ; CHECK: [[LOAD4:%[0-9]+]]:_(p0) = G_LOAD [[COPY]](p0) :: (load 8)
  78     ; CHECK: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[LOAD4]](p0)
  79     ; CHECK: $x0 = COPY [[PTRTOINT]](s64)
  80     ; CHECK: [[LOAD5:%[0-9]+]]:_(<2 x s32>) = G_LOAD [[COPY]](p0) :: (load 8)
  81     ; CHECK: [[BITCAST:%[0-9]+]]:_(s64) = G_BITCAST [[LOAD5]](<2 x s32>)
  82     ; CHECK: $x0 = COPY [[BITCAST]](s64)
  83     ; CHECK: [[LOAD6:%[0-9]+]]:_(s128) = G_LOAD [[COPY]](p0) :: (load 16)
  84     ; CHECK: [[TRUNC:%[0-9]+]]:_(s64) = G_TRUNC [[LOAD6]](s128)
  85     ; CHECK: $x0 = COPY [[TRUNC]](s64)
  86     %0:_(p0) = COPY $x0
  87     %1:_(s1) = G_LOAD %0(p0) :: (load 1)
  88     %2:_(s32) = G_ANYEXT %1(s1)
  89     $w0 = COPY %2(s32)
  90     %3:_(s8) = G_LOAD %0(p0) :: (load 1)
  91     %4:_(s32) = G_ANYEXT %3(s8)
  92     $w0 = COPY %4(s32)
  93     %5:_(s16) = G_LOAD %0(p0) :: (load 2)
  94     %6:_(s32) = G_ANYEXT %5(s16)
  95     $w0 = COPY %6(s32)
  96     %7:_(s32) = G_LOAD %0(p0) :: (load 4)
  97     $w0 = COPY %4(s32)
  98     %8:_(s64) = G_LOAD %0(p0) :: (load 8)
  99     $x0 = COPY %8(s64)
 100     %9:_(p0) = G_LOAD %0(p0) :: (load 8)
 101     %10:_(s64) = G_PTRTOINT %9(p0)
 102     $x0 = COPY %10(s64)
 103     %11:_(<2 x s32>) = G_LOAD %0(p0) :: (load 8)
 104     %12:_(s64) = G_BITCAST %11(<2 x s32>)
 105     $x0 = COPY %12(s64)
 106     %13:_(s128) = G_LOAD %0(p0) :: (load 16)
 107     %14:_(s64) = G_TRUNC %13(s128)
 108     $x0 = COPY %14(s64)
 109 ...
 110
 111 ---
 112 name:            test_store
 113 body: |
 114   bb.0:
 115     liveins: $x0, $w1
 116
 117     ; CHECK-LABEL: name: test_store
 118     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 119     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
 120     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 121     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 122     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C]]
 123     ; CHECK: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[AND]](s32)
 124     ; CHECK: G_STORE [[TRUNC]](s8), [[COPY]](p0) :: (store 1)
 125     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s32)
 126     ; CHECK: G_STORE [[TRUNC1]](s8), [[COPY]](p0) :: (store 1)
 127     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s32)
 128     ; CHECK: G_STORE [[TRUNC2]](s16), [[COPY]](p0) :: (store 2)
 129     ; CHECK: G_STORE [[COPY1]](s32), [[COPY]](p0) :: (store 4)
 130     ; CHECK: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[COPY]](p0)
 131     ; CHECK: G_STORE [[PTRTOINT]](s64), [[COPY]](p0) :: (store 8)
 132     ; CHECK: G_STORE [[COPY]](p0), [[COPY]](p0) :: (store 8)
 133     ; CHECK: [[PTRTOINT1:%[0-9]+]]:_(s64) = G_PTRTOINT [[COPY]](p0)
 134     ; CHECK: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[PTRTOINT1]](s64), [[PTRTOINT1]](s64)
 135     ; CHECK: G_STORE [[MV]](s128), [[COPY]](p0) :: (store 16)
 136     %0:_(p0) = COPY $x0
 137     %1:_(s32) = COPY $w1
 138     %2:_(s1) = G_TRUNC %1(s32)
 139     G_STORE %2(s1), %0(p0) :: (store 1)
 140     %3:_(s8) = G_TRUNC %1(s32)
 141     G_STORE %3(s8), %0(p0) :: (store 1)
 142     %4:_(s16) = G_TRUNC %1(s32)
 143     G_STORE %4(s16), %0(p0) :: (store 2)
 144     G_STORE %1(s32), %0(p0) :: (store 4)
 145     %5:_(s64) = G_PTRTOINT %0(p0)
 146     G_STORE %5(s64), %0(p0) :: (store 8)
 147     G_STORE %0(p0), %0(p0) :: (store 8)
 148     %6:_(s64) = G_PTRTOINT %0(p0)
 149     %7:_(s128) = G_MERGE_VALUES %6(s64), %6
 150     G_STORE %7(s128), %0(p0) :: (store 16)
 151 ...
 152 ---
 153 name:            store_4xi16
 154 alignment:       4
 155 tracksRegLiveness: true
 156 machineFunctionInfo: {}
 157 body:             |
 158   bb.1 (%ir-block.0):
 159     liveins: $d0, $x0
 160
 161     ; CHECK-LABEL: name: store_4xi16
 162     ; CHECK: liveins: $d0, $x0
 163     ; CHECK: [[COPY:%[0-9]+]]:_(<4 x s16>) = COPY $d0
 164     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
 165     ; CHECK: G_STORE [[COPY]](<4 x s16>), [[COPY1]](p0) :: (store 8 into %ir.ptr)
 166     ; CHECK: RET_ReallyLR
 167     %0:_(<4 x s16>) = COPY $d0
 168     %1:_(p0) = COPY $x0
 169     G_STORE %0(<4 x s16>), %1(p0) :: (store 8 into %ir.ptr)
 170     RET_ReallyLR
 171
 172 ...
 173 ---
 174 name:            store_4xi32
 175 alignment:       4
 176 tracksRegLiveness: true
 177 machineFunctionInfo: {}
 178 body:             |
 179   bb.1 (%ir-block.0):
 180     liveins: $q0, $x0
 181
 182     ; CHECK-LABEL: name: store_4xi32
 183     ; CHECK: liveins: $q0, $x0
 184     ; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
 185     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
 186     ; CHECK: G_STORE [[COPY]](<4 x s32>), [[COPY1]](p0) :: (store 16 into %ir.ptr)
 187     ; CHECK: RET_ReallyLR
 188     %0:_(<4 x s32>) = COPY $q0
 189     %1:_(p0) = COPY $x0
 190     G_STORE %0(<4 x s32>), %1(p0) :: (store 16 into %ir.ptr)
 191     RET_ReallyLR
 192
 193 ...
 194 ---
 195 name:            store_8xi16
 196 alignment:       4
 197 tracksRegLiveness: true
 198 machineFunctionInfo: {}
 199 body:             |
 200   bb.1 (%ir-block.0):
 201     liveins: $q0, $x0
 202
 203     ; CHECK-LABEL: name: store_8xi16
 204     ; CHECK: liveins: $q0, $x0
 205     ; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
 206     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
 207     ; CHECK: G_STORE [[COPY]](<8 x s16>), [[COPY1]](p0) :: (store 16 into %ir.ptr)
 208     ; CHECK: RET_ReallyLR
 209     %0:_(<8 x s16>) = COPY $q0
 210     %1:_(p0) = COPY $x0
 211     G_STORE %0(<8 x s16>), %1(p0) :: (store 16 into %ir.ptr)
 212     RET_ReallyLR
 213
 214 ...
 215 ---
 216 name:            store_16xi8
 217 alignment:       4
 218 tracksRegLiveness: true
 219 machineFunctionInfo: {}
 220 body:             |
 221   bb.1 (%ir-block.0):
 222     liveins: $q0, $x0
 223
 224     ; CHECK-LABEL: name: store_16xi8
 225     ; CHECK: liveins: $q0, $x0
 226     ; CHECK: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
 227     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
 228     ; CHECK: G_STORE [[COPY]](<16 x s8>), [[COPY1]](p0) :: (store 16 into %ir.ptr)
 229     ; CHECK: RET_ReallyLR
 230     %0:_(<16 x s8>) = COPY $q0
 231     %1:_(p0) = COPY $x0
 232     G_STORE %0(<16 x s8>), %1(p0) :: (store 16 into %ir.ptr)
 233     RET_ReallyLR
 234
 235 ...
 236 ---
 237 name:            load_4xi16
 238 alignment:       4
 239 tracksRegLiveness: true
 240 machineFunctionInfo: {}
 241 body:             |
 242   bb.1 (%ir-block.0):
 243     liveins: $x0
 244
 245     ; CHECK-LABEL: name: load_4xi16
 246     ; CHECK: liveins: $x0
 247     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 248     ; CHECK: [[LOAD:%[0-9]+]]:_(<4 x s16>) = G_LOAD [[COPY]](p0) :: (load 8 from %ir.ptr)
 249     ; CHECK: $d0 = COPY [[LOAD]](<4 x s16>)
 250     ; CHECK: RET_ReallyLR implicit $d0
 251     %0:_(p0) = COPY $x0
 252     %1:_(<4 x s16>) = G_LOAD %0(p0) :: (load 8 from %ir.ptr)
 253     $d0 = COPY %1(<4 x s16>)
 254     RET_ReallyLR implicit $d0
 255
 256 ...
 257 ---
 258 name:            load_4xi32
 259 alignment:       4
 260 tracksRegLiveness: true
 261 machineFunctionInfo: {}
 262 body:             |
 263   bb.1 (%ir-block.0):
 264     liveins: $x0
 265
 266     ; CHECK-LABEL: name: load_4xi32
 267     ; CHECK: liveins: $x0
 268     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 269     ; CHECK: [[LOAD:%[0-9]+]]:_(<4 x s32>) = G_LOAD [[COPY]](p0) :: (load 16 from %ir.ptr)
 270     ; CHECK: $q0 = COPY [[LOAD]](<4 x s32>)
 271     ; CHECK: RET_ReallyLR implicit $q0
 272     %0:_(p0) = COPY $x0
 273     %1:_(<4 x s32>) = G_LOAD %0(p0) :: (load 16 from %ir.ptr)
 274     $q0 = COPY %1(<4 x s32>)
 275     RET_ReallyLR implicit $q0
 276
 277 ...
 278 ---
 279 name:            load_8xi16
 280 alignment:       4
 281 tracksRegLiveness: true
 282 machineFunctionInfo: {}
 283 body:             |
 284   bb.1 (%ir-block.0):
 285     liveins: $x0
 286
 287     ; CHECK-LABEL: name: load_8xi16
 288     ; CHECK: liveins: $x0
 289     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 290     ; CHECK: [[LOAD:%[0-9]+]]:_(<8 x s16>) = G_LOAD [[COPY]](p0) :: (load 16 from %ir.ptr)
 291     ; CHECK: $q0 = COPY [[LOAD]](<8 x s16>)
 292     ; CHECK: RET_ReallyLR implicit $q0
 293     %0:_(p0) = COPY $x0
 294     %1:_(<8 x s16>) = G_LOAD %0(p0) :: (load 16 from %ir.ptr)
 295     $q0 = COPY %1(<8 x s16>)
 296     RET_ReallyLR implicit $q0
 297
 298 ...
 299 ---
 300 name:            load_16xi8
 301 alignment:       4
 302 tracksRegLiveness: true
 303 machineFunctionInfo: {}
 304 body:             |
 305   bb.1 (%ir-block.0):
 306     liveins: $x0
 307
 308     ; CHECK-LABEL: name: load_16xi8
 309     ; CHECK: liveins: $x0
 310     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 311     ; CHECK: [[LOAD:%[0-9]+]]:_(<16 x s8>) = G_LOAD [[COPY]](p0) :: (load 16 from %ir.ptr)
 312     ; CHECK: $q0 = COPY [[LOAD]](<16 x s8>)
 313     ; CHECK: RET_ReallyLR implicit $q0
 314     %0:_(p0) = COPY $x0
 315     %1:_(<16 x s8>) = G_LOAD %0(p0) :: (load 16 from %ir.ptr)
 316     $q0 = COPY %1(<16 x s8>)
 317     RET_ReallyLR implicit $q0
 318
 319 ...
 320 ---
 321 name:            load_8xi8
 322 alignment:       4
 323 tracksRegLiveness: true
 324 machineFunctionInfo: {}
 325 body:             |
 326   bb.1 (%ir-block.0):
 327     liveins: $x0
 328     ; CHECK-LABEL: name: load_8xi8
 329     ; CHECK: liveins: $x0
 330     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
 331     ; CHECK: [[LOAD:%[0-9]+]]:_(<8 x s8>) = G_LOAD [[COPY]](p0) :: (load 8 from %ir.ptr)
 332     ; CHECK: $d0 = COPY [[LOAD]](<8 x s8>)
 333     ; CHECK: RET_ReallyLR implicit $d0
 334     %0:_(p0) = COPY $x0
 335     %1:_(<8 x s8>) = G_LOAD %0(p0) :: (load 8 from %ir.ptr)
 336     $d0 = COPY %1(<8 x s8>)
 337     RET_ReallyLR implicit $d0
 338
 339 ...