iii.3.59-shr.md

III.3.59 shr – shift integer right

Format	Assembly Format	Description
63	shr	Shift an integer right (shift in sign), return an integer.

Stack Transition:

…, value, shiftAmount → …, result

Description:

The shr instruction shifts value (int32, int64 or native int) right by the number of bits specified by shiftAmount. shiftAmount is of type int32 or native int. The return value is unspecified if shiftAmount is greater than or equal to the width of value. shr replicates the high order bit on each shift, preserving the sign of the original value in result. See Table III.6: Shift Operations for details of which operand types are allowed, and their corresponding result type.

Exceptions:

None.

Correctness and Verifiability:

See Table 5: Integer Operations.