Synopsys:
bsliu
Left-shift the unsigned integer at the under top of the stack the number of bits indicated by the unsigned int at the top of the stack.
If the bit count is equal or bigger than the size of the left operand, then UB happens.
Stack: ( UINT UINT -- UINT UINT UINT )
Exceptions: PVM_E_OUT_OF_BOUNDS