↑その認識で正しいです。 ビットの右シフトは、処理系により符号を維持する/しないがあるので注意が必要です。