As mentioned, the code above was for signed types, not unsigned.
No, see the comment:
/* Comparisons with the highest or lowest possible integer of
the specified size will have known values and an unsigned
<= 0x7fffffff can be simplified. */
The code indeed tries to do the latter, which I think is what this change
is trying to do.