 COUNT);
    DEST[127:64]←ZeroExtend(SRC[127:64] &gt;&gt; COUNT);
    DEST[191:128]←ZeroExtend(SRC[191:128] &gt;&gt; COUNT);
    DEST[255:192]←ZeroExtend(SRC[255:192] &gt;&gt; COUNT);
FI;
LOGICAL_RIGHT_SHIFT_QWORDS(SRC, COUNT_SRC)
COUNT ←COUNT_SRC[63:0];
IF (COUNT &gt; 63)
THEN
    DEST[127:0] ←00000000000000000000000000000000H
ELSE
    DEST[63:0]←ZeroExtend(SRC[63:0] &gt;&gt; COUNT);
    DEST[127:64]←ZeroExtend(SRC[127:64] &gt;&gt; COUNT);
FI;
</pre>
<h3 id="vpsrlw--evex-versions--xmm-m128-">