test/CodeGen/X86/vec_loadsingles.ll

   1 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx,-slow-unaligned-mem-32 | FileCheck %s --check-prefix=ALL --check-prefix=FAST32
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx,+slow-unaligned-mem-32 | FileCheck %s --check-prefix=ALL --check-prefix=SLOW32
   3
   4 define <4 x float> @merge_2_floats(float* nocapture %p) nounwind readonly {
   5   %tmp1 = load float, float* %p
   6   %vecins = insertelement <4 x float> undef, float %tmp1, i32 0
   7   %add.ptr = getelementptr float, float* %p, i32 1
   8   %tmp5 = load float, float* %add.ptr
   9   %vecins7 = insertelement <4 x float> %vecins, float %tmp5, i32 1
  10   ret <4 x float> %vecins7
  11
  12 ; ALL-LABEL: merge_2_floats
  13 ; ALL: vmovq
  14 ; ALL-NEXT: retq
  15 }
  16
  17 ; Test-case generated due to a crash when trying to treat loading the first
  18 ; two i64s of a <4 x i64> as a load of two i32s.
  19 define <4 x i64> @merge_2_floats_into_4() {
  20   %1 = load i64*, i64** undef, align 8
  21   %2 = getelementptr inbounds i64, i64* %1, i64 0
  22   %3 = load i64, i64* %2
  23   %4 = insertelement <4 x i64> undef, i64 %3, i32 0
  24   %5 = load i64*, i64** undef, align 8
  25   %6 = getelementptr inbounds i64, i64* %5, i64 1
  26   %7 = load i64, i64* %6
  27   %8 = insertelement <4 x i64> %4, i64 %7, i32 1
  28   %9 = shufflevector <4 x i64> %8, <4 x i64> undef, <4 x i32> <i32 0, i32 1, i32 4, i32 5>
  29   ret <4 x i64> %9
  30
  31 ; ALL-LABEL: merge_2_floats_into_4
  32 ; ALL: vmovups
  33 ; ALL-NEXT: retq
  34 }
  35
  36 define <4 x float> @merge_4_floats(float* %ptr) {
  37   %a = load float, float* %ptr, align 8
  38   %vec = insertelement <4 x float> undef, float %a, i32 0
  39   %idx1 = getelementptr inbounds float, float* %ptr, i64 1
  40   %b = load float, float* %idx1, align 8
  41   %vec2 = insertelement <4 x float> %vec, float %b, i32 1
  42   %idx3 = getelementptr inbounds float, float* %ptr, i64 2
  43   %c = load float, float* %idx3, align 8
  44   %vec4 = insertelement <4 x float> %vec2, float %c, i32 2
  45   %idx5 = getelementptr inbounds float, float* %ptr, i64 3
  46   %d = load float, float* %idx5, align 8
  47   %vec6 = insertelement <4 x float> %vec4, float %d, i32 3
  48   ret <4 x float> %vec6
  49
  50 ; ALL-LABEL: merge_4_floats
  51 ; ALL: vmovups
  52 ; ALL-NEXT: retq
  53 }
  54
  55 ; PR21710 ( http://llvm.org/bugs/show_bug.cgi?id=21710 )
  56 ; Make sure that 32-byte vectors are handled efficiently.
  57 ; If the target has slow 32-byte accesses, we should still generate
  58 ; 16-byte loads.
  59
  60 define <8 x float> @merge_8_floats(float* %ptr) {
  61   %a = load float, float* %ptr, align 4
  62   %vec = insertelement <8 x float> undef, float %a, i32 0
  63   %idx1 = getelementptr inbounds float, float* %ptr, i64 1
  64   %b = load float, float* %idx1, align 4
  65   %vec2 = insertelement <8 x float> %vec, float %b, i32 1
  66   %idx3 = getelementptr inbounds float, float* %ptr, i64 2
  67   %c = load float, float* %idx3, align 4
  68   %vec4 = insertelement <8 x float> %vec2, float %c, i32 2
  69   %idx5 = getelementptr inbounds float, float* %ptr, i64 3
  70   %d = load float, float* %idx5, align 4
  71   %vec6 = insertelement <8 x float> %vec4, float %d, i32 3
  72   %idx7 = getelementptr inbounds float, float* %ptr, i64 4
  73   %e = load float, float* %idx7, align 4
  74   %vec8 = insertelement <8 x float> %vec6, float %e, i32 4
  75   %idx9 = getelementptr inbounds float, float* %ptr, i64 5
  76   %f = load float, float* %idx9, align 4
  77   %vec10 = insertelement <8 x float> %vec8, float %f, i32 5
  78   %idx11 = getelementptr inbounds float, float* %ptr, i64 6
  79   %g = load float, float* %idx11, align 4
  80   %vec12 = insertelement <8 x float> %vec10, float %g, i32 6
  81   %idx13 = getelementptr inbounds float, float* %ptr, i64 7
  82   %h = load float, float* %idx13, align 4
  83   %vec14 = insertelement <8 x float> %vec12, float %h, i32 7
  84   ret <8 x float> %vec14
  85
  86 ; ALL-LABEL: merge_8_floats
  87
  88 ; FAST32: vmovups
  89 ; FAST32-NEXT: retq
  90
  91 ; SLOW32: vmovups
  92 ; SLOW32-NEXT: vinsertf128
  93 ; SLOW32-NEXT: retq
  94 }
  95
  96 define <4 x double> @merge_4_doubles(double* %ptr) {
  97   %a = load double, double* %ptr, align 8
  98   %vec = insertelement <4 x double> undef, double %a, i32 0
  99   %idx1 = getelementptr inbounds double, double* %ptr, i64 1
 100   %b = load double, double* %idx1, align 8
 101   %vec2 = insertelement <4 x double> %vec, double %b, i32 1
 102   %idx3 = getelementptr inbounds double, double* %ptr, i64 2
 103   %c = load double, double* %idx3, align 8
 104   %vec4 = insertelement <4 x double> %vec2, double %c, i32 2
 105   %idx5 = getelementptr inbounds double, double* %ptr, i64 3
 106   %d = load double, double* %idx5, align 8
 107   %vec6 = insertelement <4 x double> %vec4, double %d, i32 3
 108   ret <4 x double> %vec6
 109
 110 ; ALL-LABEL: merge_4_doubles
 111 ; FAST32: vmovups
 112 ; FAST32-NEXT: retq
 113
 114 ; SLOW32: vmovups
 115 ; SLOW32-NEXT: vinsertf128
 116 ; SLOW32-NEXT: retq
 117 }
 118
 119 ; PR21771 ( http://llvm.org/bugs/show_bug.cgi?id=21771 )
 120 ; Recognize and combine consecutive loads even when the
 121 ; first of the combined loads is offset from the base address.
 122 define <4 x double> @merge_4_doubles_offset(double* %ptr) {
 123   %arrayidx4 = getelementptr inbounds double, double* %ptr, i64 4
 124   %arrayidx5 = getelementptr inbounds double, double* %ptr, i64 5
 125   %arrayidx6 = getelementptr inbounds double, double* %ptr, i64 6
 126   %arrayidx7 = getelementptr inbounds double, double* %ptr, i64 7
 127   %e = load double, double* %arrayidx4, align 8
 128   %f = load double, double* %arrayidx5, align 8
 129   %g = load double, double* %arrayidx6, align 8
 130   %h = load double, double* %arrayidx7, align 8
 131   %vecinit4 = insertelement <4 x double> undef, double %e, i32 0
 132   %vecinit5 = insertelement <4 x double> %vecinit4, double %f, i32 1
 133   %vecinit6 = insertelement <4 x double> %vecinit5, double %g, i32 2
 134   %vecinit7 = insertelement <4 x double> %vecinit6, double %h, i32 3
 135   ret <4 x double> %vecinit7
 136
 137 ; ALL-LABEL: merge_4_doubles_offset
 138 ; FAST32: vmovups
 139 ; FAST32-NEXT: retq
 140
 141 ; SLOW32: vmovups
 142 ; SLOW32-NEXT: vinsertf128
 143 ; SLOW32-NEXT: retq
 144 }
 145