test/CodeGen/ARM/vlddup.ll

   1 ; RUN: llc -mtriple=arm-eabi -float-abi=soft -mattr=+neon %s -o - | FileCheck %s
   2
   3 define <8 x i8> @vld1dupi8(i8* %A) nounwind {
   4 ;CHECK-LABEL: vld1dupi8:
   5 ;Check the (default) alignment value.
   6 ;CHECK: vld1.8 {d16[]}, [r0]
   7         %tmp1 = load i8, i8* %A, align 8
   8         %tmp2 = insertelement <8 x i8> undef, i8 %tmp1, i32 0
   9         %tmp3 = shufflevector <8 x i8> %tmp2, <8 x i8> undef, <8 x i32> zeroinitializer
  10         ret <8 x i8> %tmp3
  11 }
  12
  13 define <4 x i16> @vld1dupi16(i16* %A) nounwind {
  14 ;CHECK-LABEL: vld1dupi16:
  15 ;Check the alignment value.  Max for this instruction is 16 bits:
  16 ;CHECK: vld1.16 {d16[]}, [r0:16]
  17         %tmp1 = load i16, i16* %A, align 8
  18         %tmp2 = insertelement <4 x i16> undef, i16 %tmp1, i32 0
  19         %tmp3 = shufflevector <4 x i16> %tmp2, <4 x i16> undef, <4 x i32> zeroinitializer
  20         ret <4 x i16> %tmp3
  21 }
  22
  23 define <2 x i32> @vld1dupi32(i32* %A) nounwind {
  24 ;CHECK-LABEL: vld1dupi32:
  25 ;Check the alignment value.  Max for this instruction is 32 bits:
  26 ;CHECK: vld1.32 {d16[]}, [r0:32]
  27         %tmp1 = load i32, i32* %A, align 8
  28         %tmp2 = insertelement <2 x i32> undef, i32 %tmp1, i32 0
  29         %tmp3 = shufflevector <2 x i32> %tmp2, <2 x i32> undef, <2 x i32> zeroinitializer
  30         ret <2 x i32> %tmp3
  31 }
  32
  33 define <2 x float> @vld1dupf(float* %A) nounwind {
  34 ;CHECK-LABEL: vld1dupf:
  35 ;CHECK: vld1.32 {d16[]}, [r0:32]
  36         %tmp0 = load float, float* %A
  37         %tmp1 = insertelement <2 x float> undef, float %tmp0, i32 0
  38         %tmp2 = shufflevector <2 x float> %tmp1, <2 x float> undef, <2 x i32> zeroinitializer
  39         ret <2 x float> %tmp2
  40 }
  41
  42 define <16 x i8> @vld1dupQi8(i8* %A) nounwind {
  43 ;CHECK-LABEL: vld1dupQi8:
  44 ;Check the (default) alignment value.
  45 ;CHECK: vld1.8 {d16[], d17[]}, [r0]
  46         %tmp1 = load i8, i8* %A, align 8
  47         %tmp2 = insertelement <16 x i8> undef, i8 %tmp1, i32 0
  48         %tmp3 = shufflevector <16 x i8> %tmp2, <16 x i8> undef, <16 x i32> zeroinitializer
  49         ret <16 x i8> %tmp3
  50 }
  51
  52 define <4 x float> @vld1dupQf(float* %A) nounwind {
  53 ;CHECK-LABEL: vld1dupQf:
  54 ;CHECK: vld1.32 {d16[], d17[]}, [r0:32]
  55         %tmp0 = load float, float* %A
  56         %tmp1 = insertelement <4 x float> undef, float %tmp0, i32 0
  57         %tmp2 = shufflevector <4 x float> %tmp1, <4 x float> undef, <4 x i32> zeroinitializer
  58         ret <4 x float> %tmp2
  59 }
  60
  61 %struct.__neon_int8x8x2_t = type { <8 x i8>, <8 x i8> }
  62 %struct.__neon_int4x16x2_t = type { <4 x i16>, <4 x i16> }
  63 %struct.__neon_int2x32x2_t = type { <2 x i32>, <2 x i32> }
  64
  65 define <8 x i8> @vld2dupi8(i8* %A) nounwind {
  66 ;CHECK-LABEL: vld2dupi8:
  67 ;Check the (default) alignment value.
  68 ;CHECK: vld2.8 {d16[], d17[]}, [r0]
  69         %tmp0 = tail call %struct.__neon_int8x8x2_t @llvm.arm.neon.vld2lane.v8i8.p0i8(i8* %A, <8 x i8> undef, <8 x i8> undef, i32 0, i32 1)
  70         %tmp1 = extractvalue %struct.__neon_int8x8x2_t %tmp0, 0
  71         %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> zeroinitializer
  72         %tmp3 = extractvalue %struct.__neon_int8x8x2_t %tmp0, 1
  73         %tmp4 = shufflevector <8 x i8> %tmp3, <8 x i8> undef, <8 x i32> zeroinitializer
  74         %tmp5 = add <8 x i8> %tmp2, %tmp4
  75         ret <8 x i8> %tmp5
  76 }
  77
  78 define <4 x i16> @vld2dupi16(i8* %A) nounwind {
  79 ;CHECK-LABEL: vld2dupi16:
  80 ;Check that a power-of-two alignment smaller than the total size of the memory
  81 ;being loaded is ignored.
  82 ;CHECK: vld2.16 {d16[], d17[]}, [r0]
  83         %tmp0 = tail call %struct.__neon_int4x16x2_t @llvm.arm.neon.vld2lane.v4i16.p0i8(i8* %A, <4 x i16> undef, <4 x i16> undef, i32 0, i32 2)
  84         %tmp1 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 0
  85         %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
  86         %tmp3 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 1
  87         %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
  88         %tmp5 = add <4 x i16> %tmp2, %tmp4
  89         ret <4 x i16> %tmp5
  90 }
  91
  92 ;Check for a post-increment updating load.
  93 define <4 x i16> @vld2dupi16_update(i16** %ptr) nounwind {
  94 ;CHECK-LABEL: vld2dupi16_update:
  95 ;CHECK: vld2.16 {d16[], d17[]}, [r1]!
  96         %A = load i16*, i16** %ptr
  97         %A2 = bitcast i16* %A to i8*
  98         %tmp0 = tail call %struct.__neon_int4x16x2_t @llvm.arm.neon.vld2lane.v4i16.p0i8(i8* %A2, <4 x i16> undef, <4 x i16> undef, i32 0, i32 2)
  99         %tmp1 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 0
 100         %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
 101         %tmp3 = extractvalue %struct.__neon_int4x16x2_t %tmp0, 1
 102         %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
 103         %tmp5 = add <4 x i16> %tmp2, %tmp4
 104         %tmp6 = getelementptr i16, i16* %A, i32 2
 105         store i16* %tmp6, i16** %ptr
 106         ret <4 x i16> %tmp5
 107 }
 108
 109 define <2 x i32> @vld2dupi32(i8* %A) nounwind {
 110 ;CHECK-LABEL: vld2dupi32:
 111 ;Check the alignment value.  Max for this instruction is 64 bits:
 112 ;CHECK: vld2.32 {d16[], d17[]}, [r0:64]
 113         %tmp0 = tail call %struct.__neon_int2x32x2_t @llvm.arm.neon.vld2lane.v2i32.p0i8(i8* %A, <2 x i32> undef, <2 x i32> undef, i32 0, i32 16)
 114         %tmp1 = extractvalue %struct.__neon_int2x32x2_t %tmp0, 0
 115         %tmp2 = shufflevector <2 x i32> %tmp1, <2 x i32> undef, <2 x i32> zeroinitializer
 116         %tmp3 = extractvalue %struct.__neon_int2x32x2_t %tmp0, 1
 117         %tmp4 = shufflevector <2 x i32> %tmp3, <2 x i32> undef, <2 x i32> zeroinitializer
 118         %tmp5 = add <2 x i32> %tmp2, %tmp4
 119         ret <2 x i32> %tmp5
 120 }
 121
 122 declare %struct.__neon_int8x8x2_t @llvm.arm.neon.vld2lane.v8i8.p0i8(i8*, <8 x i8>, <8 x i8>, i32, i32) nounwind readonly
 123 declare %struct.__neon_int4x16x2_t @llvm.arm.neon.vld2lane.v4i16.p0i8(i8*, <4 x i16>, <4 x i16>, i32, i32) nounwind readonly
 124 declare %struct.__neon_int2x32x2_t @llvm.arm.neon.vld2lane.v2i32.p0i8(i8*, <2 x i32>, <2 x i32>, i32, i32) nounwind readonly
 125
 126 %struct.__neon_int8x8x3_t = type { <8 x i8>, <8 x i8>, <8 x i8> }
 127 %struct.__neon_int16x4x3_t = type { <4 x i16>, <4 x i16>, <4 x i16> }
 128
 129 ;Check for a post-increment updating load with register increment.
 130 define <8 x i8> @vld3dupi8_update(i8** %ptr, i32 %inc) nounwind {
 131 ;CHECK-LABEL: vld3dupi8_update:
 132 ;CHECK: vld3.8 {d16[], d17[], d18[]}, [r2], r1
 133         %A = load i8*, i8** %ptr
 134         %tmp0 = tail call %struct.__neon_int8x8x3_t @llvm.arm.neon.vld3lane.v8i8.p0i8(i8* %A, <8 x i8> undef, <8 x i8> undef, <8 x i8> undef, i32 0, i32 8)
 135         %tmp1 = extractvalue %struct.__neon_int8x8x3_t %tmp0, 0
 136         %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> zeroinitializer
 137         %tmp3 = extractvalue %struct.__neon_int8x8x3_t %tmp0, 1
 138         %tmp4 = shufflevector <8 x i8> %tmp3, <8 x i8> undef, <8 x i32> zeroinitializer
 139         %tmp5 = extractvalue %struct.__neon_int8x8x3_t %tmp0, 2
 140         %tmp6 = shufflevector <8 x i8> %tmp5, <8 x i8> undef, <8 x i32> zeroinitializer
 141         %tmp7 = add <8 x i8> %tmp2, %tmp4
 142         %tmp8 = add <8 x i8> %tmp7, %tmp6
 143         %tmp9 = getelementptr i8, i8* %A, i32 %inc
 144         store i8* %tmp9, i8** %ptr
 145         ret <8 x i8> %tmp8
 146 }
 147
 148 define <4 x i16> @vld3dupi16(i8* %A) nounwind {
 149 ;CHECK-LABEL: vld3dupi16:
 150 ;Check the (default) alignment value. VLD3 does not support alignment.
 151 ;CHECK: vld3.16 {d16[], d17[], d18[]}, [r0]
 152         %tmp0 = tail call %struct.__neon_int16x4x3_t @llvm.arm.neon.vld3lane.v4i16.p0i8(i8* %A, <4 x i16> undef, <4 x i16> undef, <4 x i16> undef, i32 0, i32 8)
 153         %tmp1 = extractvalue %struct.__neon_int16x4x3_t %tmp0, 0
 154         %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
 155         %tmp3 = extractvalue %struct.__neon_int16x4x3_t %tmp0, 1
 156         %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
 157         %tmp5 = extractvalue %struct.__neon_int16x4x3_t %tmp0, 2
 158         %tmp6 = shufflevector <4 x i16> %tmp5, <4 x i16> undef, <4 x i32> zeroinitializer
 159         %tmp7 = add <4 x i16> %tmp2, %tmp4
 160         %tmp8 = add <4 x i16> %tmp7, %tmp6
 161         ret <4 x i16> %tmp8
 162 }
 163
 164 declare %struct.__neon_int8x8x3_t @llvm.arm.neon.vld3lane.v8i8.p0i8(i8*, <8 x i8>, <8 x i8>, <8 x i8>, i32, i32) nounwind readonly
 165 declare %struct.__neon_int16x4x3_t @llvm.arm.neon.vld3lane.v4i16.p0i8(i8*, <4 x i16>, <4 x i16>, <4 x i16>, i32, i32) nounwind readonly
 166
 167 %struct.__neon_int16x4x4_t = type { <4 x i16>, <4 x i16>, <4 x i16>, <4 x i16> }
 168 %struct.__neon_int32x2x4_t = type { <2 x i32>, <2 x i32>, <2 x i32>, <2 x i32> }
 169
 170 ;Check for a post-increment updating load.
 171 define <4 x i16> @vld4dupi16_update(i16** %ptr) nounwind {
 172 ;CHECK-LABEL: vld4dupi16_update:
 173 ;CHECK: vld4.16 {d16[], d17[], d18[], d19[]}, [r1]!
 174         %A = load i16*, i16** %ptr
 175         %A2 = bitcast i16* %A to i8*
 176         %tmp0 = tail call %struct.__neon_int16x4x4_t @llvm.arm.neon.vld4lane.v4i16.p0i8(i8* %A2, <4 x i16> undef, <4 x i16> undef, <4 x i16> undef, <4 x i16> undef, i32 0, i32 1)
 177         %tmp1 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 0
 178         %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> zeroinitializer
 179         %tmp3 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 1
 180         %tmp4 = shufflevector <4 x i16> %tmp3, <4 x i16> undef, <4 x i32> zeroinitializer
 181         %tmp5 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 2
 182         %tmp6 = shufflevector <4 x i16> %tmp5, <4 x i16> undef, <4 x i32> zeroinitializer
 183         %tmp7 = extractvalue %struct.__neon_int16x4x4_t %tmp0, 3
 184         %tmp8 = shufflevector <4 x i16> %tmp7, <4 x i16> undef, <4 x i32> zeroinitializer
 185         %tmp9 = add <4 x i16> %tmp2, %tmp4
 186         %tmp10 = add <4 x i16> %tmp6, %tmp8
 187         %tmp11 = add <4 x i16> %tmp9, %tmp10
 188         %tmp12 = getelementptr i16, i16* %A, i32 4
 189         store i16* %tmp12, i16** %ptr
 190         ret <4 x i16> %tmp11
 191 }
 192
 193 define <2 x i32> @vld4dupi32(i8* %A) nounwind {
 194 ;CHECK-LABEL: vld4dupi32:
 195 ;Check the alignment value.  An 8-byte alignment is allowed here even though
 196 ;it is smaller than the total size of the memory being loaded.
 197 ;CHECK: vld4.32 {d16[], d17[], d18[], d19[]}, [r0:64]
 198         %tmp0 = tail call %struct.__neon_int32x2x4_t @llvm.arm.neon.vld4lane.v2i32.p0i8(i8* %A, <2 x i32> undef, <2 x i32> undef, <2 x i32> undef, <2 x i32> undef, i32 0, i32 8)
 199         %tmp1 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 0
 200         %tmp2 = shufflevector <2 x i32> %tmp1, <2 x i32> undef, <2 x i32> zeroinitializer
 201         %tmp3 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 1
 202         %tmp4 = shufflevector <2 x i32> %tmp3, <2 x i32> undef, <2 x i32> zeroinitializer
 203         %tmp5 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 2
 204         %tmp6 = shufflevector <2 x i32> %tmp5, <2 x i32> undef, <2 x i32> zeroinitializer
 205         %tmp7 = extractvalue %struct.__neon_int32x2x4_t %tmp0, 3
 206         %tmp8 = shufflevector <2 x i32> %tmp7, <2 x i32> undef, <2 x i32> zeroinitializer
 207         %tmp9 = add <2 x i32> %tmp2, %tmp4
 208         %tmp10 = add <2 x i32> %tmp6, %tmp8
 209         %tmp11 = add <2 x i32> %tmp9, %tmp10
 210         ret <2 x i32> %tmp11
 211 }
 212
 213 declare %struct.__neon_int16x4x4_t @llvm.arm.neon.vld4lane.v4i16.p0i8(i8*, <4 x i16>, <4 x i16>, <4 x i16>, <4 x i16>, i32, i32) nounwind readonly
 214 declare %struct.__neon_int32x2x4_t @llvm.arm.neon.vld4lane.v2i32.p0i8(i8*, <2 x i32>, <2 x i32>, <2 x i32>, <2 x i32>, i32, i32) nounwind readonly