http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-11-13 CC| |jakub at gcc dot gnu.org Component|c |target Target Milestone|--- |4.7.4 Summary|integer wrong code bug |[4.7/4.8/4.9 Regression] | |integer wrong code bug Ever confirmed|0 |1 --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Sounds to be a bug in the x86_64 *anddi_2 pattern. If the constant is > 0 and has bit 31 set, then we can't match CCNOmode, just CCZmode.