test/CodeGen/AArch64/GlobalISel/legalize-load-store-vector-of-ptr.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   target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5   target triple = "aarch64"
   6
   7   define void @store_v2p0(<2 x i8*> %v, <2 x i8*>* %ptr) {
   8     store <2 x i8*> %v, <2 x i8*>* %ptr
   9     ret void
  10   }
  11
  12   define <2 x i8*> @load_v2p0(<2 x i8*>* %ptr) {
  13     %v = load <2 x i8*>, <2 x i8*>* %ptr
  14     ret <2 x i8*> %v
  15   }
  16
  17   define void @load_v2p1(<2 x i8*>* %ptr) { ret void }
  18
  19 ...
  20 ---
  21 name:            store_v2p0
  22 alignment:       4
  23 tracksRegLiveness: true
  24 machineFunctionInfo: {}
  25 body:             |
  26   bb.1 (%ir-block.0):
  27     liveins: $q0, $x0
  28
  29     ; CHECK-LABEL: name: store_v2p0
  30     ; CHECK: liveins: $q0, $x0
  31     ; CHECK: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $q0
  32     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x0
  33     ; CHECK: [[BITCAST:%[0-9]+]]:_(<2 x s64>) = G_BITCAST [[COPY]](<2 x p0>)
  34     ; CHECK: G_STORE [[BITCAST]](<2 x s64>), [[COPY1]](p0) :: (store 16 into %ir.ptr)
  35     ; CHECK: RET_ReallyLR
  36     %0:_(<2 x p0>) = COPY $q0
  37     %1:_(p0) = COPY $x0
  38     G_STORE %0(<2 x p0>), %1(p0) :: (store 16 into %ir.ptr)
  39     RET_ReallyLR
  40
  41 ...
  42 ---
  43 name:            load_v2p0
  44 alignment:       4
  45 tracksRegLiveness: true
  46 machineFunctionInfo: {}
  47 body:             |
  48   bb.1 (%ir-block.0):
  49     liveins: $x0
  50
  51     ; CHECK-LABEL: name: load_v2p0
  52     ; CHECK: liveins: $x0
  53     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  54     ; CHECK: [[LOAD:%[0-9]+]]:_(<2 x s64>) = G_LOAD [[COPY]](p0) :: (load 16 from %ir.ptr)
  55     ; CHECK: [[BITCAST:%[0-9]+]]:_(<2 x p0>) = G_BITCAST [[LOAD]](<2 x s64>)
  56     ; CHECK: $q0 = COPY [[BITCAST]](<2 x p0>)
  57     ; CHECK: RET_ReallyLR implicit $q0
  58     %0:_(p0) = COPY $x0
  59     %1:_(<2 x p0>) = G_LOAD %0(p0) :: (load 16 from %ir.ptr)
  60     $q0 = COPY %1(<2 x p0>)
  61     RET_ReallyLR implicit $q0
  62
  63 ...
  64 ---
  65 name:            load_v2p1
  66 alignment:       4
  67 tracksRegLiveness: true
  68 machineFunctionInfo: {}
  69 body:             |
  70   bb.1 (%ir-block.0):
  71     liveins: $x0
  72
  73     ; Check that we don't try to bitcast vectors of pointers w/ non-zero addrspaces.
  74
  75     ; CHECK-LABEL: name: load_v2p1
  76     ; CHECK: liveins: $x0
  77     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  78     ; CHECK: [[LOAD:%[0-9]+]]:_(<2 x p1>) = G_LOAD [[COPY]](p0) :: (load 16 from %ir.ptr)
  79     ; CHECK: $q0 = COPY [[LOAD]](<2 x p1>)
  80     ; CHECK: RET_ReallyLR implicit $q0
  81     %0:_(p0) = COPY $x0
  82     %1:_(<2 x p1>) = G_LOAD %0(p0) :: (load 16 from %ir.ptr)
  83     $q0 = COPY %1(<2 x p1>)
  84     RET_ReallyLR implicit $q0
  85
  86 ...