| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | 
 | ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=sse2 | FileCheck %s --check-prefix=SSE | 
 | ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx | FileCheck %s --check-prefix=AVX | 
 |  | 
 | ; Verify that we select the correct version of the instruction that stores the low 64-bits | 
 | ; of a 128-bit vector. We want to avoid int/fp domain crossing penalties, so ignore the | 
 | ; bitcast ops and choose: | 
 | ; | 
 | ; movlps for floats | 
 | ; movlpd for doubles | 
 | ; movq for integers | 
 |  | 
 | define void @store_floats(<4 x float> %x, i64* %p) { | 
 | ; SSE-LABEL: store_floats: | 
 | ; SSE:       # %bb.0: | 
 | ; SSE-NEXT:    addps %xmm0, %xmm0 | 
 | ; SSE-NEXT:    movlps %xmm0, (%rdi) | 
 | ; SSE-NEXT:    retq | 
 | ; | 
 | ; AVX-LABEL: store_floats: | 
 | ; AVX:       # %bb.0: | 
 | ; AVX-NEXT:    vaddps %xmm0, %xmm0, %xmm0 | 
 | ; AVX-NEXT:    vmovlps %xmm0, (%rdi) | 
 | ; AVX-NEXT:    retq | 
 |   %a = fadd <4 x float> %x, %x | 
 |   %b = shufflevector <4 x float> %a, <4 x float> undef, <2 x i32> <i32 0, i32 1> | 
 |   %c = bitcast <2 x float> %b to i64 | 
 |   store i64 %c, i64* %p | 
 |   ret void | 
 | } | 
 |  | 
 | define void @store_double(<2 x double> %x, i64* %p) { | 
 | ; SSE-LABEL: store_double: | 
 | ; SSE:       # %bb.0: | 
 | ; SSE-NEXT:    addpd %xmm0, %xmm0 | 
 | ; SSE-NEXT:    movlpd %xmm0, (%rdi) | 
 | ; SSE-NEXT:    retq | 
 | ; | 
 | ; AVX-LABEL: store_double: | 
 | ; AVX:       # %bb.0: | 
 | ; AVX-NEXT:    vaddpd %xmm0, %xmm0, %xmm0 | 
 | ; AVX-NEXT:    vmovlpd %xmm0, (%rdi) | 
 | ; AVX-NEXT:    retq | 
 |   %a = fadd <2 x double> %x, %x | 
 |   %b = extractelement <2 x double> %a, i32 0 | 
 |   %c = bitcast double %b to i64 | 
 |   store i64 %c, i64* %p | 
 |   ret void | 
 | } | 
 |  | 
 | define void @store_int(<4 x i32> %x, <2 x float>* %p) { | 
 | ; SSE-LABEL: store_int: | 
 | ; SSE:       # %bb.0: | 
 | ; SSE-NEXT:    paddd %xmm0, %xmm0 | 
 | ; SSE-NEXT:    movq %xmm0, (%rdi) | 
 | ; SSE-NEXT:    retq | 
 | ; | 
 | ; AVX-LABEL: store_int: | 
 | ; AVX:       # %bb.0: | 
 | ; AVX-NEXT:    vpaddd %xmm0, %xmm0, %xmm0 | 
 | ; AVX-NEXT:    vmovq %xmm0, (%rdi) | 
 | ; AVX-NEXT:    retq | 
 |   %a = add <4 x i32> %x, %x | 
 |   %b = shufflevector <4 x i32> %a, <4 x i32> undef, <2 x i32> <i32 0, i32 1> | 
 |   %c = bitcast <2 x i32> %b to <2 x float> | 
 |   store <2 x float> %c, <2 x float>* %p | 
 |   ret void | 
 | } | 
 |  | 
 | define void @store_h_double(<2 x double> %x, i64* %p) { | 
 | ; SSE-LABEL: store_h_double: | 
 | ; SSE:       # %bb.0: | 
 | ; SSE-NEXT:    addpd %xmm0, %xmm0 | 
 | ; SSE-NEXT:    movhpd %xmm0, (%rdi) | 
 | ; SSE-NEXT:    retq | 
 | ; | 
 | ; AVX-LABEL: store_h_double: | 
 | ; AVX:       # %bb.0: | 
 | ; AVX-NEXT:    vaddpd %xmm0, %xmm0, %xmm0 | 
 | ; AVX-NEXT:    vmovhpd %xmm0, (%rdi) | 
 | ; AVX-NEXT:    retq | 
 |   %a = fadd <2 x double> %x, %x | 
 |   %b = extractelement <2 x double> %a, i32 1 | 
 |   %c = bitcast double %b to i64 | 
 |   store i64 %c, i64* %p | 
 |   ret void | 
 | } |