SHIFTR — Right shiftSHIFTR returns a value corresponding to I with all of the
bits shifted right by SHIFT places. SHIFT shall be
nonnegative and less than or equal to BIT_SIZE(I), otherwise
the result value is undefined. Bits shifted out from the right end
are lost, and bits shifted in from the left end are set to 0.
RESULT = SHIFTR(I, SHIFT)
| I | The type shall be INTEGER.
|
| SHIFT | The type shall be INTEGER.
|
INTEGER and of the same kind as
I.