llvm/test/CodeGen/AArch64/build-one-lane.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-- | FileCheck %s
   3
   4 ; Check that building up a vector w/ only one non-zero lane initializes
   5 ; efficiently.
   6
   7 define <8 x i8> @v8i8z(i8 %t, i8 %s) nounwind {
   8 ; CHECK-LABEL: v8i8z:
   9 ; CHECK:       // %bb.0:
  10 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  11 ; CHECK-NEXT:    mov v0.b[7], w1
  12 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  13 ; CHECK-NEXT:    ret
  14   %v = insertelement <8 x i8> <i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 undef>, i8 %s, i32 7
  15   ret <8 x i8> %v
  16 }
  17
  18 define <16 x i8> @v16i8z(i8 %t, i8 %s) nounwind {
  19 ; CHECK-LABEL: v16i8z:
  20 ; CHECK:       // %bb.0:
  21 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  22 ; CHECK-NEXT:    mov v0.b[15], w1
  23 ; CHECK-NEXT:    ret
  24   %v = insertelement <16 x i8> <i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 undef>, i8 %s, i32 15
  25   ret <16 x i8> %v
  26 }
  27
  28 define <4 x i16> @v4i16z(i16 %t, i16 %s) nounwind {
  29 ; CHECK-LABEL: v4i16z:
  30 ; CHECK:       // %bb.0:
  31 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  32 ; CHECK-NEXT:    mov v0.h[3], w1
  33 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  34 ; CHECK-NEXT:    ret
  35   %v = insertelement <4 x i16> <i16 0, i16 0, i16 0, i16 undef>, i16 %s, i32 3
  36   ret <4 x i16> %v
  37 }
  38
  39 define <8 x i16> @v8i16z(i16 %t, i16 %s) nounwind {
  40 ; CHECK-LABEL: v8i16z:
  41 ; CHECK:       // %bb.0:
  42 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  43 ; CHECK-NEXT:    mov v0.h[7], w1
  44 ; CHECK-NEXT:    ret
  45   %v = insertelement <8 x i16> <i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 undef>, i16 %s, i32 7
  46   ret <8 x i16> %v
  47 }
  48
  49 define <2 x i32> @v2i32z(i32 %t, i32 %s) nounwind {
  50 ; CHECK-LABEL: v2i32z:
  51 ; CHECK:       // %bb.0:
  52 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  53 ; CHECK-NEXT:    mov v0.s[1], w1
  54 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  55 ; CHECK-NEXT:    ret
  56   %v = insertelement <2 x i32> <i32 0, i32 undef>, i32 %s, i32 1
  57   ret <2 x i32> %v
  58 }
  59
  60 define <4 x i32> @v4i32z(i32 %t, i32 %s) nounwind {
  61 ; CHECK-LABEL: v4i32z:
  62 ; CHECK:       // %bb.0:
  63 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  64 ; CHECK-NEXT:    mov v0.s[3], w1
  65 ; CHECK-NEXT:    ret
  66   %v = insertelement <4 x i32> <i32 0, i32 0, i32 0, i32 undef>, i32 %s, i32 3
  67   ret <4 x i32> %v
  68 }
  69
  70 define <2 x i64> @v2i64z(i64 %t, i64 %s) nounwind {
  71 ; CHECK-LABEL: v2i64z:
  72 ; CHECK:       // %bb.0:
  73 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  74 ; CHECK-NEXT:    mov v0.d[1], x1
  75 ; CHECK-NEXT:    ret
  76   %v = insertelement <2 x i64> <i64 0, i64 undef>, i64 %s, i32 1
  77   ret <2 x i64> %v
  78 }
  79
  80 define <2 x float> @v2f32z(float %t, float %s) nounwind {
  81 ; CHECK-LABEL: v2f32z:
  82 ; CHECK:       // %bb.0:
  83 ; CHECK-NEXT:    movi d0, #0000000000000000
  84 ; CHECK-NEXT:    // kill: def $s1 killed $s1 def $q1
  85 ; CHECK-NEXT:    mov v0.s[1], v1.s[0]
  86 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  87 ; CHECK-NEXT:    ret
  88   %v = insertelement <2 x float> <float 0.0, float undef>, float %s, i32 1
  89   ret <2 x float> %v
  90 }
  91
  92 define <4 x float> @v4f32z(float %t, float %s) nounwind {
  93 ; CHECK-LABEL: v4f32z:
  94 ; CHECK:       // %bb.0:
  95 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
  96 ; CHECK-NEXT:    // kill: def $s1 killed $s1 def $q1
  97 ; CHECK-NEXT:    mov v0.s[3], v1.s[0]
  98 ; CHECK-NEXT:    ret
  99   %v = insertelement <4 x float> <float 0.0, float 0.0, float 0.0, float undef>, float %s, i32 3
 100   ret <4 x float> %v
 101 }
 102
 103 define <2 x double> @v2f64z(double %t, double %s) nounwind {
 104 ; CHECK-LABEL: v2f64z:
 105 ; CHECK:       // %bb.0:
 106 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
 107 ; CHECK-NEXT:    // kill: def $d1 killed $d1 def $q1
 108 ; CHECK-NEXT:    mov v0.d[1], v1.d[0]
 109 ; CHECK-NEXT:    ret
 110   %v = insertelement <2 x double> <double 0.0, double undef>, double %s, i32 1
 111   ret <2 x double> %v
 112 }
 113
 114 ; Check that building up a vector w/ only one non-ones lane initializes
 115 ; efficiently.
 116
 117 define <8 x i8> @v8i8m(i8 %t, i8 %s) nounwind {
 118 ; CHECK-LABEL: v8i8m:
 119 ; CHECK:       // %bb.0:
 120 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 121 ; CHECK-NEXT:    mov v0.b[7], w1
 122 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 123 ; CHECK-NEXT:    ret
 124   %v = insertelement <8 x i8> <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 undef>, i8 %s, i32 7
 125   ret <8 x i8> %v
 126 }
 127
 128 define <16 x i8> @v16i8m(i8 %t, i8 %s) nounwind {
 129 ; CHECK-LABEL: v16i8m:
 130 ; CHECK:       // %bb.0:
 131 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 132 ; CHECK-NEXT:    mov v0.b[15], w1
 133 ; CHECK-NEXT:    ret
 134   %v = insertelement <16 x i8> <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 undef>, i8 %s, i32 15
 135   ret <16 x i8> %v
 136 }
 137
 138 define <4 x i16> @v4i16m(i16 %t, i16 %s) nounwind {
 139 ; CHECK-LABEL: v4i16m:
 140 ; CHECK:       // %bb.0:
 141 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 142 ; CHECK-NEXT:    mov v0.h[3], w1
 143 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 144 ; CHECK-NEXT:    ret
 145   %v = insertelement <4 x i16> <i16 -1, i16 -1, i16 -1, i16 undef>, i16 %s, i32 3
 146   ret <4 x i16> %v
 147 }
 148
 149 define <8 x i16> @v8i16m(i16 %t, i16 %s) nounwind {
 150 ; CHECK-LABEL: v8i16m:
 151 ; CHECK:       // %bb.0:
 152 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 153 ; CHECK-NEXT:    mov v0.h[7], w1
 154 ; CHECK-NEXT:    ret
 155   %v = insertelement <8 x i16> <i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 undef>, i16 %s, i32 7
 156   ret <8 x i16> %v
 157 }
 158
 159 define <2 x i32> @v2i32m(i32 %t, i32 %s) nounwind {
 160 ; CHECK-LABEL: v2i32m:
 161 ; CHECK:       // %bb.0:
 162 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 163 ; CHECK-NEXT:    mov v0.s[1], w1
 164 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 165 ; CHECK-NEXT:    ret
 166   %v = insertelement <2 x i32> <i32 -1, i32 undef>, i32 %s, i32 1
 167   ret <2 x i32> %v
 168 }
 169
 170 define <4 x i32> @v4i32m(i32 %t, i32 %s) nounwind {
 171 ; CHECK-LABEL: v4i32m:
 172 ; CHECK:       // %bb.0:
 173 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 174 ; CHECK-NEXT:    mov v0.s[3], w1
 175 ; CHECK-NEXT:    ret
 176   %v = insertelement <4 x i32> <i32 -1, i32 -1, i32 -1, i32 undef>, i32 %s, i32 3
 177   ret <4 x i32> %v
 178 }
 179
 180 define <2 x i64> @v2i64m(i64 %t, i64 %s) nounwind {
 181 ; CHECK-LABEL: v2i64m:
 182 ; CHECK:       // %bb.0:
 183 ; CHECK-NEXT:    movi v0.2d, #0xffffffffffffffff
 184 ; CHECK-NEXT:    mov v0.d[1], x1
 185 ; CHECK-NEXT:    ret
 186   %v = insertelement <2 x i64> <i64 -1, i64 undef>, i64 %s, i32 1
 187   ret <2 x i64> %v
 188 }
 189
 190 ; Check that building up a vector w/ some constants initializes efficiently.
 191
 192 define void @v8i8st(ptr %p, i8 %s) nounwind {
 193 ; CHECK-LABEL: v8i8st:
 194 ; CHECK:       // %bb.0:
 195 ; CHECK-NEXT:    movi v0.8b, #1
 196 ; CHECK-NEXT:    mov v0.b[7], w1
 197 ; CHECK-NEXT:    str d0, [x0]
 198 ; CHECK-NEXT:    ret
 199   %v = insertelement <8 x i8> <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 undef>, i8 %s, i32 7
 200   store <8 x i8> %v, ptr %p, align 8
 201   ret void
 202 }
 203
 204 define void @v16i8st(ptr %p, i8 %s) nounwind {
 205 ; CHECK-LABEL: v16i8st:
 206 ; CHECK:       // %bb.0:
 207 ; CHECK-NEXT:    movi v0.16b, #128
 208 ; CHECK-NEXT:    mov v0.b[15], w1
 209 ; CHECK-NEXT:    str q0, [x0]
 210 ; CHECK-NEXT:    ret
 211   %v = insertelement <16 x i8> <i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 -128, i8 undef>, i8 %s, i32 15
 212   store <16 x i8> %v, ptr %p, align 16
 213   ret void
 214 }
 215
 216 define void @v4i16st(ptr %p, i16 %s) nounwind {
 217 ; CHECK-LABEL: v4i16st:
 218 ; CHECK:       // %bb.0:
 219 ; CHECK-NEXT:    movi v0.4h, #85, lsl #8
 220 ; CHECK-NEXT:    mov v0.h[3], w1
 221 ; CHECK-NEXT:    str d0, [x0]
 222 ; CHECK-NEXT:    ret
 223   %v = insertelement <4 x i16> <i16 21760, i16 21760, i16 21760, i16 undef>, i16 %s, i32 3
 224   store <4 x i16> %v, ptr %p, align 8
 225   ret void
 226 }
 227
 228 define void @v8i16st(ptr %p, i16 %s) nounwind {
 229 ; CHECK-LABEL: v8i16st:
 230 ; CHECK:       // %bb.0:
 231 ; CHECK-NEXT:    mvni v0.8h, #85, lsl #8
 232 ; CHECK-NEXT:    mov v0.h[7], w1
 233 ; CHECK-NEXT:    str q0, [x0]
 234 ; CHECK-NEXT:    ret
 235   %v = insertelement <8 x i16> <i16 -21761, i16 -21761, i16 -21761, i16 -21761, i16 -21761, i16 -21761, i16 -21761, i16 undef>, i16 %s, i32 7
 236   store <8 x i16> %v, ptr %p, align 16
 237   ret void
 238 }
 239
 240 define void @v2i32st(ptr %p, i32 %s) nounwind {
 241 ; CHECK-LABEL: v2i32st:
 242 ; CHECK:       // %bb.0:
 243 ; CHECK-NEXT:    movi v0.2s, #15, lsl #16
 244 ; CHECK-NEXT:    mov v0.s[1], w1
 245 ; CHECK-NEXT:    str d0, [x0]
 246 ; CHECK-NEXT:    ret
 247   %v = insertelement <2 x i32> <i32 983040, i32 undef>, i32 %s, i32 1
 248   store <2 x i32> %v, ptr %p, align 8
 249   ret void
 250 }
 251
 252 define void @v4i32st(ptr %p, i32 %s) nounwind {
 253 ; CHECK-LABEL: v4i32st:
 254 ; CHECK:       // %bb.0:
 255 ; CHECK-NEXT:    movi v0.4s, #248, msl #16
 256 ; CHECK-NEXT:    mov v0.s[3], w1
 257 ; CHECK-NEXT:    str q0, [x0]
 258 ; CHECK-NEXT:    ret
 259   %v = insertelement <4 x i32> <i32 16318463, i32 16318463, i32 16318463, i32 undef>, i32 %s, i32 3
 260   store <4 x i32> %v, ptr %p, align 16
 261   ret void
 262 }
 263
 264 define void @v2i64st(ptr %p, i64 %s) nounwind {
 265 ; CHECK-LABEL: v2i64st:
 266 ; CHECK:       // %bb.0:
 267 ; CHECK-NEXT:    fmov v0.2d, #-2.00000000
 268 ; CHECK-NEXT:    mov v0.d[1], x1
 269 ; CHECK-NEXT:    str q0, [x0]
 270 ; CHECK-NEXT:    ret
 271   %v = insertelement <2 x i64> <i64 13835058055282163712, i64 undef>, i64 %s, i32 1
 272   store <2 x i64> %v, ptr %p, align 16
 273   ret void
 274 }
 275
 276 define void @v2f32st(ptr %p, float %s) nounwind {
 277 ; CHECK-LABEL: v2f32st:
 278 ; CHECK:       // %bb.0:
 279 ; CHECK-NEXT:    movi v1.2s, #64, lsl #24
 280 ; CHECK-NEXT:    // kill: def $s0 killed $s0 def $q0
 281 ; CHECK-NEXT:    mov v1.s[1], v0.s[0]
 282 ; CHECK-NEXT:    str d1, [x0]
 283 ; CHECK-NEXT:    ret
 284   %v = insertelement <2 x float> <float 2.0, float undef>, float %s, i32 1
 285   store <2 x float> %v, ptr %p, align 8
 286   ret void
 287 }
 288
 289 define void @v4f32st(ptr %p, float %s) nounwind {
 290 ; CHECK-LABEL: v4f32st:
 291 ; CHECK:       // %bb.0:
 292 ; CHECK-NEXT:    movi v1.4s, #192, lsl #24
 293 ; CHECK-NEXT:    // kill: def $s0 killed $s0 def $q0
 294 ; CHECK-NEXT:    mov v1.s[3], v0.s[0]
 295 ; CHECK-NEXT:    str q1, [x0]
 296 ; CHECK-NEXT:    ret
 297   %v = insertelement <4 x float> <float -2.0, float -2.0, float -2.0, float undef>, float %s, i32 3
 298   store <4 x float> %v, ptr %p, align 16
 299   ret void
 300 }
 301
 302 define void @v2f64st(ptr %p, double %s) nounwind {
 303 ; CHECK-LABEL: v2f64st:
 304 ; CHECK:       // %bb.0:
 305 ; CHECK-NEXT:    fmov v1.2d, #2.00000000
 306 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $q0
 307 ; CHECK-NEXT:    mov v1.d[1], v0.d[0]
 308 ; CHECK-NEXT:    str q1, [x0]
 309 ; CHECK-NEXT:    ret
 310   %v = insertelement <2 x double> <double 2.0, double undef>, double %s, i32 1
 311   store <2 x double> %v, ptr %p, align 16
 312   ret void
 313 }
 314
 315 ; In this test the illegal type has a preferred alignment greater than the
 316 ; stack alignment, that gets reduced to the alignment of a broken down
 317 ; legal type.
 318 define <32 x i8> @test_lanex_32xi8(<32 x i8> %a, i32 %x) {
 319 ; CHECK-LABEL: test_lanex_32xi8:
 320 ; CHECK:       // %bb.0:
 321 ; CHECK-NEXT:    // kill: def $w0 killed $w0 def $x0
 322 ; CHECK-NEXT:    stp q0, q1, [sp, #-32]!
 323 ; CHECK-NEXT:    .cfi_def_cfa_offset 32
 324 ; CHECK-NEXT:    and x8, x0, #0x1f
 325 ; CHECK-NEXT:    mov x9, sp
 326 ; CHECK-NEXT:    mov w10, #30 // =0x1e
 327 ; CHECK-NEXT:    strb w10, [x9, x8]
 328 ; CHECK-NEXT:    ldp q0, q1, [sp], #32
 329 ; CHECK-NEXT:    ret
 330   %b = insertelement <32 x i8> %a, i8 30, i32 %x
 331   ret <32 x i8> %b
 332 }
 333