operand-">PSRLQ (with 64-bit operand)<a class="anchor" href="#psrlq--with-64-bit-operand-">
			¶
		</a></h3>
<pre>    IF (COUNT &gt; 63)
    THEN
        DEST[64:0] ← 0000000000000000H
    ELSE
        DEST ← ZeroExtend(DEST &gt;&gt; COUNT);
    FI;
LOGICAL_RIGHT_SHIFT_DWORDS1(SRC, COUNT_SRC)
COUNT ← COUNT_SRC[63:0];
IF (COUNT &gt; 31)
THEN
    DEST[31:0] ← 0
ELSE
    DEST[31:0]←ZeroExtend(SRC[31:0] &gt;&gt; COUNT);
FI;
LOGICAL_RIGHT_SHIFT_QWORDS1(SRC, COUNT_SRC)
COUNT ← COUNT_SRC[63:0];
IF (CO