誰かこれを解説してくれ。

/* invariant in modulo 1<<31 */
#define EXTEND32(x) (((1<<31)-1-(x))^~(~0<<31))