5:0] &gt;&gt; COUNT);
    (* Repeat shift operation for 2nd and 3rd words *)
    DEST[63:48] ← ZeroExtend(DEST[63:48] &gt;&gt; COUNT);
FI;
</pre>
<h3 id="psrld--with-64-bit-operand-">PSRLD (with 64-bit operand)<a class="anchor" href="#psrld--with-64-bit-operand-">
			¶
		</a></h3>
<pre>IF (COUNT &gt; 31)
THEN
    DEST[64:0] ← 0000000000000000H
ELSE
    DEST[31:0] ← ZeroExtend(DEST[31:0] &gt;&gt; COUNT);
    DEST[63:32] ← ZeroExtend(DEST[63:32] &gt;&gt; COUNT);
FI;
</pre>
<h3 id="psrlq--with-64-bit-