http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52146
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-10 17:48:42 UTC --- What if the CONST_INT is from DImode expansion instead of SImode? val_signbit_known_set_p would handle that, INTVAL () < 0 not.