llvm/test/CodeGen/AArch64/GlobalISel/legalize-build-vector.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64-linux-gnu -O0 -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 ---
   5 name:            legal_v4s32
   6 body: |
   7   bb.0:
   8     liveins: $w0, $w1, $w2, $w3
   9     ; CHECK-LABEL: name: legal_v4s32
  10     ; CHECK: liveins: $w0, $w1, $w2, $w3
  11     ; CHECK-NEXT: {{  $}}
  12     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  13     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
  14     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
  15     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $w3
  16     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
  17     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
  18     ; CHECK-NEXT: RET_ReallyLR
  19     %0:_(s32) = COPY $w0
  20     %1:_(s32) = COPY $w1
  21     %2:_(s32) = COPY $w2
  22     %3:_(s32) = COPY $w3
  23     %4:_(<4 x s32>) = G_BUILD_VECTOR %0(s32), %1(s32), %2(s32), %3(s32)
  24     $q0 = COPY %4(<4 x s32>)
  25     RET_ReallyLR
  26 ...
  27 ---
  28 name:            legal_v2s64
  29 body: |
  30   bb.0:
  31     liveins: $x0, $x1
  32     ; CHECK-LABEL: name: legal_v2s64
  33     ; CHECK: liveins: $x0, $x1
  34     ; CHECK-NEXT: {{  $}}
  35     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  36     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
  37     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[COPY]](s64), [[COPY1]](s64)
  38     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<2 x s64>)
  39     ; CHECK-NEXT: RET_ReallyLR
  40     %0:_(s64) = COPY $x0
  41     %1:_(s64) = COPY $x1
  42     %2:_(<2 x s64>) = G_BUILD_VECTOR %0(s64), %1(s64)
  43     $q0 = COPY %2(<2 x s64>)
  44     RET_ReallyLR
  45 ...
  46 ---
  47 name:            legal_v2p0
  48 body: |
  49   bb.0:
  50     liveins: $x0, $x1
  51     ; CHECK-LABEL: name: legal_v2p0
  52     ; CHECK: liveins: $x0, $x1
  53     ; CHECK-NEXT: {{  $}}
  54     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  55     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
  56     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[COPY]](p0), [[COPY1]](p0)
  57     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<2 x p0>)
  58     ; CHECK-NEXT: RET_ReallyLR
  59     %0:_(p0) = COPY $x0
  60     %1:_(p0) = COPY $x1
  61     %2:_(<2 x p0>) = G_BUILD_VECTOR %0(p0), %1(p0)
  62     $q0 = COPY %2(<2 x p0>)
  63     RET_ReallyLR
  64 ...
  65 ---
  66 name:            legal_v16s8
  67 body: |
  68   bb.0:
  69     ; CHECK-LABEL: name: legal_v16s8
  70     ; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
  71     ; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
  72     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<16 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
  73     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<16 x s8>)
  74     ; CHECK-NEXT: RET_ReallyLR
  75     %0:_(s8) = G_IMPLICIT_DEF
  76     %1:_(s8) = G_IMPLICIT_DEF
  77     %2:_(<16 x s8>) = G_BUILD_VECTOR %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8)
  78     $q0 = COPY %2(<16 x s8>)
  79     RET_ReallyLR
  80 ...
  81 ---
  82 name:            legal_v8s8
  83 body: |
  84   bb.0:
  85     ; CHECK-LABEL: name: legal_v8s8
  86     ; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
  87     ; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
  88     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<8 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
  89     ; CHECK-NEXT: $d0 = COPY [[BUILD_VECTOR]](<8 x s8>)
  90     ; CHECK-NEXT: RET_ReallyLR
  91     %0:_(s8) = G_IMPLICIT_DEF
  92     %1:_(s8) = G_IMPLICIT_DEF
  93     %2:_(<8 x s8>) = G_BUILD_VECTOR %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8)
  94     $d0 = COPY %2(<8 x s8>)
  95     RET_ReallyLR
  96 ...
  97 ---
  98 name:            widen_v16s1
  99 body: |
 100   bb.0:
 101     ; CHECK-LABEL: name: widen_v16s1
 102     ; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 103     ; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 104     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<16 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
 105     ; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<16 x s8>)
 106     ; CHECK-NEXT: RET_ReallyLR
 107     %0:_(s1) = G_IMPLICIT_DEF
 108     %1:_(s1) = G_IMPLICIT_DEF
 109     %2:_(<16 x s1>) = G_BUILD_VECTOR %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1)
 110     %w:_(<16 x s8>) = G_ANYEXT %2
 111     $q0 = COPY %w(<16 x s8>)
 112     RET_ReallyLR
 113 ...
 114 ---
 115 name:            widen_v2s16
 116 body: |
 117   bb.0:
 118     liveins: $x0, $x1
 119     ; CHECK-LABEL: name: widen_v2s16
 120     ; CHECK: liveins: $x0, $x1
 121     ; CHECK-NEXT: {{  $}}
 122     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s16) = COPY $h0
 123     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s16) = COPY $h1
 124     ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s16) = G_IMPLICIT_DEF
 125     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s16>) = G_BUILD_VECTOR [[COPY]](s16), [[COPY1]](s16), [[DEF]](s16), [[DEF]](s16)
 126     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(<4 x s32>) = G_ANYEXT [[BUILD_VECTOR]](<4 x s16>)
 127     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x s32>), [[UV1:%[0-9]+]]:_(<2 x s32>) = G_UNMERGE_VALUES [[ANYEXT]](<4 x s32>)
 128     ; CHECK-NEXT: $d0 = COPY [[UV]](<2 x s32>)
 129     ; CHECK-NEXT: RET_ReallyLR
 130     %0:_(s16) = COPY $h0
 131     %1:_(s16) = COPY $h1
 132     %2:_(<2 x s16>) = G_BUILD_VECTOR %0(s16), %1(s16)
 133     %3:_(<2 x s32>) = G_ANYEXT %2(<2 x s16>)
 134     $d0 = COPY %3(<2 x s32>)
 135     RET_ReallyLR
 136 ...
 137
 138 ---
 139 name:            widen_v2s8
 140 body: |
 141   bb.0:
 142     ; CHECK-LABEL: name: widen_v2s8
 143     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 144     ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY [[DEF]](s32)
 145     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[DEF]](s32)
 146     ; CHECK-NEXT: $d0 = COPY [[BUILD_VECTOR]](<2 x s32>)
 147     ; CHECK-NEXT: RET_ReallyLR
 148     %0:_(s8) = G_IMPLICIT_DEF
 149     %1:_(s8) = G_IMPLICIT_DEF
 150     %2:_(<2 x s8>) = G_BUILD_VECTOR %0(s8), %1(s8)
 151     %3:_(<2 x s32>) = G_ANYEXT %2(<2 x s8>)
 152     $d0 = COPY %3(<2 x s32>)
 153     RET_ReallyLR
 154 ...
 155
 156 ---
 157 name:            widen_v4s8
 158 body: |
 159   bb.0:
 160     ; CHECK-LABEL: name: widen_v4s8
 161     ; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 162     ; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 163     ; CHECK-NEXT: [[DEF2:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 164     ; CHECK-NEXT: [[DEF3:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 165     ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<8 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF2]](s8), [[DEF3]](s8), [[DEF]](s8), [[DEF]](s8), [[DEF]](s8), [[DEF]](s8)
 166     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(<8 x s16>) = G_ANYEXT [[BUILD_VECTOR]](<8 x s8>)
 167     ; CHECK-NEXT: [[UV:%[0-9]+]]:_(<4 x s16>), [[UV1:%[0-9]+]]:_(<4 x s16>) = G_UNMERGE_VALUES [[ANYEXT]](<8 x s16>)
 168     ; CHECK-NEXT: $d0 = COPY [[UV]](<4 x s16>)
 169     ; CHECK-NEXT: RET_ReallyLR
 170     %0:_(s8) = G_IMPLICIT_DEF
 171     %1:_(s8) = G_IMPLICIT_DEF
 172     %2:_(s8) = G_IMPLICIT_DEF
 173     %3:_(s8) = G_IMPLICIT_DEF
 174     %4:_(<4 x s8>) = G_BUILD_VECTOR %0(s8), %1(s8), %2(s8), %3(s8)
 175     %5:_(<4 x s16>) = G_ANYEXT %4(<4 x s8>)
 176     $d0 = COPY %5(<4 x s16>)
 177     RET_ReallyLR
 178 ...