符号つき整数の内の 1 ビットが符号ビットであるというレイアウトは C の仕様として保証してる。
それを各 CPU の命令セットの範囲内でどう実現するかは知らんけど。