No meu compilador, o seguinte pseudo-código (valores substituídos por binário):

sint32 word = (10000000 00000000 00000000 00000000);
word >>= 16;

produz aword com um campo de bits parecido com este:

(11111111 11111111 10000000 00000000)

inha pergunta é: posso confiar nesse comportamento para todas as plataformas e compiladores C +