Lines Matching full:vpsrld
1931 // CHECK: vpsrld %xmm11, %xmm12, %xmm13
1933 vpsrld %xmm11, %xmm12, %xmm13
1935 // CHECK: vpsrld (%rax), %xmm12, %xmm13
1937 vpsrld (%rax), %xmm12, %xmm13
1971 // CHECK: vpsrld $10, %xmm12, %xmm13
1973 vpsrld $10, %xmm12, %xmm13
