max senza diramazione per interi senza segno

Question

Ho trovato un trucco da AGGREGATE Magic per valori massimi di elaborazione veloce. L'unico problema che questo è per i numeri interi, e tuttavia ho provato alcune cose, non ho idea di come fare una versione per interi senza segno.

inline int32_t max(int32_t a, int32_t b) 
{ 
    return a - ((a-b) & (a-b)>>31); 
} 

Qualche consiglio?

EDIT

non utilizzare questo, perché, come altri hanno dichiarato che produce un comportamento indefinito. Per qualsiasi architettura moderna il compilatore sarà in grado di emettere un'istruzione di movimento condizionale senza ramo da return (a > b) ? a : b, che sarà più veloce della funzione in questione.

Answer 1

Cosa fa questo codice? Prende il valore di ae la differenza a - b. Naturalmente, a - (a - b) è b. E (a - b) >> 31 crea semplicemente una maschera di quelli iff a - b è negativo.

Questo codice non è corretto, se si ottiene un overflow sulla sottrazione. Questo, tuttavia, è la stessa storia degli interi senza segno. Quindi, se e solo se siete soddisfatti con il fatto, che il codice non è corretto per l'intero intervallo di valori, si può semplicemente ignorare unsignedness e utilizza questa:

inline uint32_t umax(uint32_t a, uint32_t b) { 
    return (uint32_t)max((int32_t)a, (int32_t)b); 
}