http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55195
--- Comment #12 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> 2012-11-06 17:25:30 UTC --- One way to get the maximum right would be to change genattrtab:max_attr_value too process umax and/or smax, and use that to encapsulate the symbol_ref. longer term, i think it would be nice if we had rtx codes that not so much min/max, but assert that a value is in a given range; with gcc_assert in the generaed function. We could use one to assert a range that is invaiant during branch shortening, and another one that is variant.