Non, pas si x_pcos est négatif (dans ce cas, x_pcos/128=-((-x_pcos)>>7) et x_pcos>>7=~((~x_pcos)>>7)=-1-((-1-x_pcos)>>7), ce qui n'est pas pareil [mais la différence est au plus de 1])

xpos ne sera jamais négatif.