Lines Matching full:vhaddps
2295 // CHECK: vhaddps %xmm11, %xmm12, %xmm13
2297 vhaddps %xmm11, %xmm12, %xmm13
2299 // CHECK: vhaddps (%rax), %xmm12, %xmm13
2301 vhaddps (%rax), %xmm12, %xmm13
3671 // CHECK: vhaddps %ymm11, %ymm12, %ymm13
3673 vhaddps %ymm11, %ymm12, %ymm13
3675 // CHECK: vhaddps (%rax), %ymm12, %ymm13
3677 vhaddps (%rax), %ymm12, %ymm13
