This is not true in fact or in practice. For example, a compiler can assume that a variable sized shift is in range, then use value range propagation to elimin

This is not true in fact or in practice. For example, a compiler can assume that a variable sized shift is in range, then use value range propagation to eliminate tests, which can be very confusing if you expect the shift to be implicitly & 63.