Encoding:

SPECIAL

000000

0000

R

0

rt

rd

sa

SRL

000010

6

4

1

5

5

5

6

Format:

SRL rd, rt, sa

MIPS32

Shift Word Right Logical

Purpose:

Shift Word Right Logical

To execute a logical right-shift of a word by a fixed number of bits.

Description:

 GPR[rd] = GPR[rt] >> sa   (logical)

The contents of the low-order 32-bit word of GPR rt are shifted right, inserting zeros into the emptied bits. The word result is sign-extended and placed in GPR rd. The bit-shift amount is specified by sa.

Restrictions:

On 64-bit processors, if GPR rt does not contain a sign-extended 32-bit value (bits 63..31 equal), then the result of the operation is UNPREDICTABLE.

Operation:

if NotWordValue(GPR[rt]) then 
   UNPREDICTABLE 
endif
s = sa
temp = 0s || GPR[rt]31..s
GPR[rd] = sign_extend(temp)

Exceptions:

None