http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52146
--- Comment #13 from Uros Bizjak <ubizjak at gmail dot com> 2012-02-10 18:01:29 UTC --- (In reply to comment #12) > What if the CONST_INT is from DImode expansion instead of SImode? > val_signbit_known_set_p would handle that, INTVAL () < 0 not. I have tested this case, and was not able to pass any constant that didn't fit SImode to legitimate_address_p.