Lines Matching full:vpsrldq
1975 // CHECK: vpsrldq $10, %xmm12, %xmm131977 vpsrldq $10, %xmm12, %xmm13
