カスタムオーバーフロー検出

Question

私はテッサラル算術を使っていくつかの作業をしています。単語の特定の領域でキャリーを検出する必要があります。プログラムの性質上、ビットの位置は入力に依存します。たとえば、32ビットのワードサイズで、6ビットの入力では、加算キャリーのビット19と3、減算のビット31と15をチェックすることに興味があります（より一般的には、興味深いビットは（ワードサイズ - 1）、（ワードサイズ/ 2 +入力ビット/ 2）、（ワードサイズ/ 2-1）および（入力ビット/ 2））。

(after addition)   ((NumberToCheck & (1 << 19 + 1 << 3)) != 0) --> carried bit(s) 

    (or after subtraction) ((NumberToCheck & (1 << 31 + 1 << 15)) != 0) --> carried bit(s) 

はこれにより良いアプローチがあります：

の線に沿って何か私は何を考えているのですか？

Answer 1

a,bの合計キャリーインとその合計sは、carry-ins = a XOR b XOR sと計算されます。

もちろん、キャリーインは直前のビット位置からのキャリーアウトでもあります。 （符号なしオーバーフローを示す）

最も重要なキャリーアウトが0xFF...FFが適切な最大値であり、aとbが負の値であるC/C++話す、most-significant-carry-out = (a > 0xFF...FF - b)、で、で決定することができます。

減算を加算に減らすことができます。 this questionとthis questionへの私の答えを見てください。