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