Suma saturada por bit en C (HW)

Question

Estoy trabajando en una tarea y no puedo encontrar la manera de implementarla. Tengo que hacer una función sadd (int x, int y) que devuelve los números agregados a menos que se desborde (luego simplemente devuelve el máximo posible int). He podido encontrar algunas soluciones que incluyen casting y declaraciones condicionales, pero no están permitidas en la solución. ¡Solo los operadores ~!^+ < < >> & y |.

Answer 1

Para la adición de números con signo, el desbordamiento ha ocurrido si agrega dos números del mismo signo y obtiene un resultado con un signo diferente. Debido a los rangos involucrados, es imposible generar desbordamiento al agregar dos números de signos diferentes.

Así que, lo que puedes hacer es mirar solo el signo (el más significativo de cada dos) - usa OR exclusivo para ver si los dos números originales difieren en el signo, complementa eso para que tengas '0' si fueran diferentes, '1' para el mismo.

Puede utilizar OR exclusivo en el resultado en lugar de una de las entradas. Eso dará '0' si fueran iguales, '1' si fueran diferentes.

Y esos dos resultados juntos para obtener un total de '1' si las dos entradas son las mismas, pero el resultado fue diferente, '0' de lo contrario.

Puede usar una combinación de turnos y OR para completar un entero con ese valor. Supongamos que está en un entero de 32 bits, solo establezca los 31 bits más bajos para obtener el entero positivo de mayor valor. Lo que puede hacer entonces es un conjunto similar de cambios y RUP en el bit de signo de cualquiera de las entradas. Exclusivo O los resultados. En su lugar, dará el valor entero más bajo si las entradas fueron negativas.

EDITAR: oh, y utilice el valor de bit de si hubo desbordamiento, se extendió para completar el int, para seleccionar qué valor devolver pulsando y con el resultado que devolvería si hubiera desbordamiento, completándolo y anding con el resultado aditivo normal, luego oring (o sumando) los dos juntos.

Presto: todo lógica binaria, sin condicionales. Supongo, porque es tarea, ¿que no quieres el código real?