test/CodeGen/R600/concat_vectors.ll

   1 ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   2
   3 ; FUNC-LABEL: @test_concat_v1i32
   4 ; 0x80f000 is the high 32 bits of the resource descriptor used by MUBUF
   5 ; instructions that access scratch memory.  Bit 23, which is the add_tid_enable
   6 ; bit, is only set for scratch access, so we can check for the absence of this
   7 ; value if we want to ensure scratch memory is not being used.
   8 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
   9 ; SI-NOT: MOVREL
  10 define void @test_concat_v1i32(<2 x i32> addrspace(1)* %out, <1 x i32> %a, <1 x i32> %b) nounwind {
  11   %concat = shufflevector <1 x i32> %a, <1 x i32> %b, <2 x i32> <i32 0, i32 1>
  12   store <2 x i32> %concat, <2 x i32> addrspace(1)* %out, align 8
  13   ret void
  14 }
  15
  16 ; FUNC-LABEL: @test_concat_v2i32
  17 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  18 ; SI-NOT: MOVREL
  19 define void @test_concat_v2i32(<4 x i32> addrspace(1)* %out, <2 x i32> %a, <2 x i32> %b) nounwind {
  20   %concat = shufflevector <2 x i32> %a, <2 x i32> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  21   store <4 x i32> %concat, <4 x i32> addrspace(1)* %out, align 16
  22   ret void
  23 }
  24
  25 ; FUNC-LABEL: @test_concat_v4i32
  26 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  27 ; SI-NOT: MOVREL
  28 define void @test_concat_v4i32(<8 x i32> addrspace(1)* %out, <4 x i32> %a, <4 x i32> %b) nounwind {
  29   %concat = shufflevector <4 x i32> %a, <4 x i32> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  30   store <8 x i32> %concat, <8 x i32> addrspace(1)* %out, align 32
  31   ret void
  32 }
  33
  34 ; FUNC-LABEL: @test_concat_v8i32
  35 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  36 ; SI-NOT: MOVREL
  37 define void @test_concat_v8i32(<16 x i32> addrspace(1)* %out, <8 x i32> %a, <8 x i32> %b) nounwind {
  38   %concat = shufflevector <8 x i32> %a, <8 x i32> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  39   store <16 x i32> %concat, <16 x i32> addrspace(1)* %out, align 64
  40   ret void
  41 }
  42
  43 ; FUNC-LABEL: @test_concat_v16i32
  44 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  45 ; SI-NOT: MOVREL
  46 define void @test_concat_v16i32(<32 x i32> addrspace(1)* %out, <16 x i32> %a, <16 x i32> %b) nounwind {
  47   %concat = shufflevector <16 x i32> %a, <16 x i32> %b, <32 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>
  48   store <32 x i32> %concat, <32 x i32> addrspace(1)* %out, align 128
  49   ret void
  50 }
  51
  52 ; FUNC-LABEL: @test_concat_v1f32
  53 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  54 ; SI-NOT: MOVREL
  55 define void @test_concat_v1f32(<2 x float> addrspace(1)* %out, <1 x float> %a, <1 x float> %b) nounwind {
  56   %concat = shufflevector <1 x float> %a, <1 x float> %b, <2 x i32> <i32 0, i32 1>
  57   store <2 x float> %concat, <2 x float> addrspace(1)* %out, align 8
  58   ret void
  59 }
  60
  61 ; FUNC-LABEL: @test_concat_v2f32
  62 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  63 ; SI-NOT: MOVREL
  64 define void @test_concat_v2f32(<4 x float> addrspace(1)* %out, <2 x float> %a, <2 x float> %b) nounwind {
  65   %concat = shufflevector <2 x float> %a, <2 x float> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  66   store <4 x float> %concat, <4 x float> addrspace(1)* %out, align 16
  67   ret void
  68 }
  69
  70 ; FUNC-LABEL: @test_concat_v4f32
  71 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  72 ; SI-NOT: MOVREL
  73 define void @test_concat_v4f32(<8 x float> addrspace(1)* %out, <4 x float> %a, <4 x float> %b) nounwind {
  74   %concat = shufflevector <4 x float> %a, <4 x float> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  75   store <8 x float> %concat, <8 x float> addrspace(1)* %out, align 32
  76   ret void
  77 }
  78
  79 ; FUNC-LABEL: @test_concat_v8f32
  80 ; FIXME: This is currently being expanded with loads / stores to the stack.
  81 ; FIXME-SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  82 ; SI-NOT: MOVREL
  83 define void @test_concat_v8f32(<16 x float> addrspace(1)* %out, <8 x float> %a, <8 x float> %b) nounwind {
  84   %concat = shufflevector <8 x float> %a, <8 x float> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  85   store <16 x float> %concat, <16 x float> addrspace(1)* %out, align 64
  86   ret void
  87 }
  88
  89 ; FUNC-LABEL: @test_concat_v16f32
  90 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
  91 ; SI-NOT: MOVREL
  92 define void @test_concat_v16f32(<32 x float> addrspace(1)* %out, <16 x float> %a, <16 x float> %b) nounwind {
  93   %concat = shufflevector <16 x float> %a, <16 x float> %b, <32 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>
  94   store <32 x float> %concat, <32 x float> addrspace(1)* %out, align 128
  95   ret void
  96 }
  97
  98 ; FUNC-LABEL: @test_concat_v1i64
  99 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 100 ; SI-NOT: MOVREL
 101 define void @test_concat_v1i64(<2 x double> addrspace(1)* %out, <1 x double> %a, <1 x double> %b) nounwind {
 102   %concat = shufflevector <1 x double> %a, <1 x double> %b, <2 x i32> <i32 0, i32 1>
 103   store <2 x double> %concat, <2 x double> addrspace(1)* %out, align 16
 104   ret void
 105 }
 106
 107 ; FUNC-LABEL: @test_concat_v2i64
 108 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 109 ; SI-NOT: MOVREL
 110 define void @test_concat_v2i64(<4 x double> addrspace(1)* %out, <2 x double> %a, <2 x double> %b) nounwind {
 111   %concat = shufflevector <2 x double> %a, <2 x double> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 112   store <4 x double> %concat, <4 x double> addrspace(1)* %out, align 32
 113   ret void
 114 }
 115
 116 ; FUNC-LABEL: @test_concat_v4i64
 117 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 118 ; SI-NOT: MOVREL
 119 define void @test_concat_v4i64(<8 x double> addrspace(1)* %out, <4 x double> %a, <4 x double> %b) nounwind {
 120   %concat = shufflevector <4 x double> %a, <4 x double> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 121   store <8 x double> %concat, <8 x double> addrspace(1)* %out, align 64
 122   ret void
 123 }
 124
 125 ; FUNC-LABEL: @test_concat_v8i64
 126 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 127 ; SI-NOT: MOVREL
 128 define void @test_concat_v8i64(<16 x double> addrspace(1)* %out, <8 x double> %a, <8 x double> %b) nounwind {
 129   %concat = shufflevector <8 x double> %a, <8 x double> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
 130   store <16 x double> %concat, <16 x double> addrspace(1)* %out, align 128
 131   ret void
 132 }
 133
 134 ; FUNC-LABEL: @test_concat_v16i64
 135 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 136 ; SI-NOT: MOVREL
 137 define void @test_concat_v16i64(<32 x double> addrspace(1)* %out, <16 x double> %a, <16 x double> %b) nounwind {
 138   %concat = shufflevector <16 x double> %a, <16 x double> %b, <32 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>
 139   store <32 x double> %concat, <32 x double> addrspace(1)* %out, align 256
 140   ret void
 141 }
 142
 143 ; FUNC-LABEL: @test_concat_v1f64
 144 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 145 ; SI-NOT: MOVREL
 146 define void @test_concat_v1f64(<2 x double> addrspace(1)* %out, <1 x double> %a, <1 x double> %b) nounwind {
 147   %concat = shufflevector <1 x double> %a, <1 x double> %b, <2 x i32> <i32 0, i32 1>
 148   store <2 x double> %concat, <2 x double> addrspace(1)* %out, align 16
 149   ret void
 150 }
 151
 152 ; FUNC-LABEL: @test_concat_v2f64
 153 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 154 ; SI-NOT: MOVREL
 155 define void @test_concat_v2f64(<4 x double> addrspace(1)* %out, <2 x double> %a, <2 x double> %b) nounwind {
 156   %concat = shufflevector <2 x double> %a, <2 x double> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 157   store <4 x double> %concat, <4 x double> addrspace(1)* %out, align 32
 158   ret void
 159 }
 160
 161 ; FUNC-LABEL: @test_concat_v4f64
 162 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 163 ; SI-NOT: MOVREL
 164 define void @test_concat_v4f64(<8 x double> addrspace(1)* %out, <4 x double> %a, <4 x double> %b) nounwind {
 165   %concat = shufflevector <4 x double> %a, <4 x double> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 166   store <8 x double> %concat, <8 x double> addrspace(1)* %out, align 64
 167   ret void
 168 }
 169
 170 ; FUNC-LABEL: @test_concat_v8f64
 171 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 172 ; SI-NOT: MOVREL
 173 define void @test_concat_v8f64(<16 x double> addrspace(1)* %out, <8 x double> %a, <8 x double> %b) nounwind {
 174   %concat = shufflevector <8 x double> %a, <8 x double> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
 175   store <16 x double> %concat, <16 x double> addrspace(1)* %out, align 128
 176   ret void
 177 }
 178
 179 ; FUNC-LABEL: @test_concat_v16f64
 180 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 181 ; SI-NOT: MOVREL
 182 define void @test_concat_v16f64(<32 x double> addrspace(1)* %out, <16 x double> %a, <16 x double> %b) nounwind {
 183   %concat = shufflevector <16 x double> %a, <16 x double> %b, <32 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>
 184   store <32 x double> %concat, <32 x double> addrspace(1)* %out, align 256
 185   ret void
 186 }
 187
 188 ; FUNC-LABEL: @test_concat_v1i1
 189 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 190 ; SI-NOT: MOVREL
 191 define void @test_concat_v1i1(<2 x i1> addrspace(1)* %out, <1 x i1> %a, <1 x i1> %b) nounwind {
 192   %concat = shufflevector <1 x i1> %a, <1 x i1> %b, <2 x i32> <i32 0, i32 1>
 193   store <2 x i1> %concat, <2 x i1> addrspace(1)* %out
 194   ret void
 195 }
 196
 197 ; FUNC-LABEL: @test_concat_v2i1
 198 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 199 ; SI-NOT: MOVREL
 200 define void @test_concat_v2i1(<4 x i1> addrspace(1)* %out, <2 x i1> %a, <2 x i1> %b) nounwind {
 201   %concat = shufflevector <2 x i1> %a, <2 x i1> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 202   store <4 x i1> %concat, <4 x i1> addrspace(1)* %out
 203   ret void
 204 }
 205
 206 ; FUNC-LABEL: @test_concat_v4i1
 207 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 208 ; SI-NOT: MOVREL
 209 define void @test_concat_v4i1(<8 x i1> addrspace(1)* %out, <4 x i1> %a, <4 x i1> %b) nounwind {
 210   %concat = shufflevector <4 x i1> %a, <4 x i1> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 211   store <8 x i1> %concat, <8 x i1> addrspace(1)* %out
 212   ret void
 213 }
 214
 215 ; FUNC-LABEL: @test_concat_v8i1
 216 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 217 ; SI-NOT: MOVREL
 218 define void @test_concat_v8i1(<16 x i1> addrspace(1)* %out, <8 x i1> %a, <8 x i1> %b) nounwind {
 219   %concat = shufflevector <8 x i1> %a, <8 x i1> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
 220   store <16 x i1> %concat, <16 x i1> addrspace(1)* %out
 221   ret void
 222 }
 223
 224 ; FUNC-LABEL: @test_concat_v16i1
 225 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 226 ; SI-NOT: MOVREL
 227 define void @test_concat_v16i1(<32 x i1> addrspace(1)* %out, <16 x i1> %a, <16 x i1> %b) nounwind {
 228   %concat = shufflevector <16 x i1> %a, <16 x i1> %b, <32 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>
 229   store <32 x i1> %concat, <32 x i1> addrspace(1)* %out
 230   ret void
 231 }
 232
 233 ; FUNC-LABEL: @test_concat_v32i1
 234 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 235 ; SI-NOT: MOVREL
 236 define void @test_concat_v32i1(<64 x i1> addrspace(1)* %out, <32 x i1> %a, <32 x i1> %b) nounwind {
 237   %concat = shufflevector <32 x i1> %a, <32 x i1> %b, <64 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31, i32 32, i32 33, i32 34, i32 35, i32 36, i32 37, i32 38, i32 39, i32 40, i32 41, i32 42, i32 43, i32 44, i32 45, i32 46, i32 47, i32 48, i32 49, i32 50, i32 51, i32 52, i32 53, i32 54, i32 55, i32 56, i32 57, i32 58, i32 59, i32 60, i32 61, i32 62, i32 63>
 238   store <64 x i1> %concat, <64 x i1> addrspace(1)* %out
 239   ret void
 240 }
 241
 242 ; FUNC-LABEL: @test_concat_v1i16
 243 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 244 ; SI-NOT: MOVREL
 245 define void @test_concat_v1i16(<2 x i16> addrspace(1)* %out, <1 x i16> %a, <1 x i16> %b) nounwind {
 246   %concat = shufflevector <1 x i16> %a, <1 x i16> %b, <2 x i32> <i32 0, i32 1>
 247   store <2 x i16> %concat, <2 x i16> addrspace(1)* %out, align 4
 248   ret void
 249 }
 250
 251 ; FUNC-LABEL: @test_concat_v2i16
 252 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 253 ; SI-NOT: MOVREL
 254 define void @test_concat_v2i16(<4 x i16> addrspace(1)* %out, <2 x i16> %a, <2 x i16> %b) nounwind {
 255   %concat = shufflevector <2 x i16> %a, <2 x i16> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 256   store <4 x i16> %concat, <4 x i16> addrspace(1)* %out, align 8
 257   ret void
 258 }
 259
 260 ; FUNC-LABEL: @test_concat_v4i16
 261 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 262 ; SI-NOT: MOVREL
 263 define void @test_concat_v4i16(<8 x i16> addrspace(1)* %out, <4 x i16> %a, <4 x i16> %b) nounwind {
 264   %concat = shufflevector <4 x i16> %a, <4 x i16> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 265   store <8 x i16> %concat, <8 x i16> addrspace(1)* %out, align 16
 266   ret void
 267 }
 268
 269 ; FUNC-LABEL: @test_concat_v8i16
 270 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 271 ; SI-NOT: MOVREL
 272 define void @test_concat_v8i16(<16 x i16> addrspace(1)* %out, <8 x i16> %a, <8 x i16> %b) nounwind {
 273   %concat = shufflevector <8 x i16> %a, <8 x i16> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
 274   store <16 x i16> %concat, <16 x i16> addrspace(1)* %out, align 32
 275   ret void
 276 }
 277
 278 ; FUNC-LABEL: @test_concat_v16i16
 279 ; SI-NOT: S_MOV_B32 s{{[0-9]}}, 0x80f000
 280 ; SI-NOT: MOVREL
 281 define void @test_concat_v16i16(<32 x i16> addrspace(1)* %out, <16 x i16> %a, <16 x i16> %b) nounwind {
 282   %concat = shufflevector <16 x i16> %a, <16 x i16> %b, <32 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>
 283   store <32 x i16> %concat, <32 x i16> addrspace(1)* %out, align 64
 284   ret void
 285 }