add restrictions & dependencies

[keon]

Shifting by a negative value is undefined behaviour in C. Also you should make sure that the second operand is never higher than or equal to the bit-width of the left-hand type, since that is undefined as well.