add note that upper bits of shift amount are specifically ignored