|  | ; RUN: llc < %s -mtriple=x86_64-linux -mcpu=penryn -asm-verbose=0 -o - | FileCheck %s -check-prefix=X64 | 
|  | ; RUN: llc < %s -mtriple=x86_64-win32 -mcpu=penryn -asm-verbose=0 -o - | FileCheck %s -check-prefix=W64 | 
|  | ; RUN: llc < %s -mcpu=yonah -march=x86 -mtriple=i386-linux-gnu -asm-verbose=0 -o - | FileCheck %s -check-prefix=X32 | 
|  |  | 
|  | ; PR7518 | 
|  | define void @test1(<2 x float> %Q, float *%P2) nounwind { | 
|  | %a = extractelement <2 x float> %Q, i32 0 | 
|  | %b = extractelement <2 x float> %Q, i32 1 | 
|  | %c = fadd float %a, %b | 
|  |  | 
|  | store float %c, float* %P2 | 
|  | ret void | 
|  | ; X64: test1: | 
|  | ; X64-NEXT: pshufd	$1, %xmm0, %xmm1 | 
|  | ; X64-NEXT: addss	%xmm0, %xmm1 | 
|  | ; X64-NEXT: movss	%xmm1, (%rdi) | 
|  | ; X64-NEXT: ret | 
|  |  | 
|  | ; W64: test1: | 
|  | ; W64-NEXT: movdqa  (%rcx), %xmm0 | 
|  | ; W64-NEXT: pshufd  $1, %xmm0, %xmm1 | 
|  | ; W64-NEXT: addss   %xmm0, %xmm1 | 
|  | ; W64-NEXT: movss   %xmm1, (%rdx) | 
|  | ; W64-NEXT: ret | 
|  |  | 
|  | ; X32: test1: | 
|  | ; X32-NEXT: pshufd	$1, %xmm0, %xmm1 | 
|  | ; X32-NEXT: addss	%xmm0, %xmm1 | 
|  | ; X32-NEXT: movl	4(%esp), %eax | 
|  | ; X32-NEXT: movss	%xmm1, (%eax) | 
|  | ; X32-NEXT: ret | 
|  | } | 
|  |  | 
|  |  | 
|  | define <2 x float> @test2(<2 x float> %Q, <2 x float> %R, <2 x float> *%P) nounwind { | 
|  | %Z = fadd <2 x float> %Q, %R | 
|  | ret <2 x float> %Z | 
|  |  | 
|  | ; X64: test2: | 
|  | ; X64-NEXT: addps	%xmm1, %xmm0 | 
|  | ; X64-NEXT: ret | 
|  |  | 
|  | ; W64: test2: | 
|  | ; W64-NEXT: movaps  (%rcx), %xmm0 | 
|  | ; W64-NEXT: addps   (%rdx), %xmm0 | 
|  | ; W64-NEXT: ret | 
|  |  | 
|  | ; X32: test2: | 
|  | ; X32:      addps	%xmm1, %xmm0 | 
|  | } | 
|  |  | 
|  |  | 
|  | define <2 x float> @test3(<4 x float> %A) nounwind { | 
|  | %B = shufflevector <4 x float> %A, <4 x float> undef, <2 x i32> <i32 0, i32 1> | 
|  | %C = fadd <2 x float> %B, %B | 
|  | ret <2 x float> %C | 
|  | ; X64: test3: | 
|  | ; X64-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X64-NEXT: ret | 
|  |  | 
|  | ; W64: test3: | 
|  | ; W64-NEXT: movaps  (%rcx), %xmm0 | 
|  | ; W64-NEXT: addps   %xmm0, %xmm0 | 
|  | ; W64-NEXT: ret | 
|  |  | 
|  | ; X32: test3: | 
|  | ; X32-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X32-NEXT: ret | 
|  | } | 
|  |  | 
|  | define <2 x float> @test4(<2 x float> %A) nounwind { | 
|  | %C = fadd <2 x float> %A, %A | 
|  | ret <2 x float> %C | 
|  | ; X64: test4: | 
|  | ; X64-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X64-NEXT: ret | 
|  |  | 
|  | ; W64: test4: | 
|  | ; W64-NEXT: movaps  (%rcx), %xmm0 | 
|  | ; W64-NEXT: addps   %xmm0, %xmm0 | 
|  | ; W64-NEXT: ret | 
|  |  | 
|  | ; X32: test4: | 
|  | ; X32-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X32-NEXT: ret | 
|  | } | 
|  |  | 
|  | define <4 x float> @test5(<4 x float> %A) nounwind { | 
|  | %B = shufflevector <4 x float> %A, <4 x float> undef, <2 x i32> <i32 0, i32 1> | 
|  | %C = fadd <2 x float> %B, %B | 
|  | br label %BB | 
|  |  | 
|  | BB: | 
|  | %D = fadd <2 x float> %C, %C | 
|  | %E = shufflevector <2 x float> %D, <2 x float> undef, <4 x i32> <i32 0, i32 1, i32 undef, i32 undef> | 
|  | ret <4 x float> %E | 
|  |  | 
|  | ; X64: test5: | 
|  | ; X64-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X64-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X64-NEXT: ret | 
|  |  | 
|  | ; W64: test5: | 
|  | ; W64-NEXT: movaps  (%rcx), %xmm0 | 
|  | ; W64-NEXT: addps   %xmm0, %xmm0 | 
|  | ; W64-NEXT: addps   %xmm0, %xmm0 | 
|  | ; W64-NEXT: ret | 
|  |  | 
|  | ; X32: test5: | 
|  | ; X32-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X32-NEXT: addps	%xmm0, %xmm0 | 
|  | ; X32-NEXT: ret | 
|  | } | 
|  |  | 
|  |  |