Shifting by too many bits

The documentation for SHL, LSHR, and ASHR is unclear. What is the result of shifting by the number of bits in the left operand. For example,

<result> = shl i32 1, 32
<result> = ashr i32 1, 32
<result> = lshr i32 1, 32

the result is undefined. These shift operators could return anything.

-Chris