Lines Matching full:vhaddpd
2303 // CHECK: vhaddpd %xmm11, %xmm12, %xmm13
2305 vhaddpd %xmm11, %xmm12, %xmm13
2307 // CHECK: vhaddpd (%rax), %xmm12, %xmm13
2309 vhaddpd (%rax), %xmm12, %xmm13
3679 // CHECK: vhaddpd %ymm11, %ymm12, %ymm13
3681 vhaddpd %ymm11, %ymm12, %ymm13
3683 // CHECK: vhaddpd (%rax), %ymm12, %ymm13
3685 vhaddpd (%rax), %ymm12, %ymm13
