Aggiunta saturata per bit in C (HW)

Question

Sto lavorando a un compito e non riesco a capire come implementarlo. Devo fare una funzione sadd (int x, int y) che restituisce i numeri aggiunti insieme a meno che non trabocchi (quindi restituire solo il massimo possibile int). Sono stato in grado di trovare alcune soluzioni che implicano il cast e le dichiarazioni condizionali, ma quelle non sono consentite nella soluzione. Solo gli operatori ~!^+ < < >> & e |.

Answer 1

Per l'aggiunta di numeri firmati, l'overflow si è verificato se si aggiungono due numeri dello stesso segno e si ottiene un risultato con un segno diverso. A causa delle gamme coinvolte, è impossibile generare overflow quando si aggiungono due numeri di segni diversi.

Quindi, ciò che si può fare è - guardando solo il bit del segno (il complemento più significativo su due) - utilizzare l'OR esclusivo per capire se i due numeri originali differiscono nel segno, completarlo in modo da avere '0' se erano diversi, '1' per lo stesso.

È quindi possibile utilizzare OR esclusivo sul risultato rispetto a uno degli ingressi. Questo darà "0" se fossero uguali, "1" se fossero diversi.

E questi due risultati insieme per ottenere un '1' complessivo se i due input erano uguali ma il risultato era diverso, altrimenti '0'.

È quindi possibile utilizzare una combinazione di turni e OR per riempire un intero intero con quel valore. Supponendo che tu sia in un intero a 32 bit, imposta i 31 bit più bassi per ottenere il numero intero positivo più alto. Quello che puoi fare è un insieme simile di turni e OR sul bit del segno di uno degli input. OR esclusivo i risultati. Quello restituirà invece il valore più basso intero se gli input fossero negativi.

EDIT: oh, e usa il valore del bit se c'era overflow, esteso per riempire l'int, per selezionare quale valore restituire inserendolo con il risultato che verrebbe restituito se ci fosse un overflow, completandolo e anding con il normale risultato additivo, quindi aggiungendo (o aggiungendo) i due insieme.

Presto: tutta la logica binaria, senza condizioni. Presumo, perché è compito, che non vuoi il codice vero?