iii.3.60-shr-un.md

III.3.60 shr.un – shift integer right, unsigned

Format	Assembly Format	Description
64	shr.un	Shift an integer right (shift in zero), return an integer.

Stack Transition:

…, value, shiftAmount → …, result

Description:

The shr.un 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.un inserts a zero bit on each shift. 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.