https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66299
--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Author: mpolacek Date: Tue Jun 9 14:24:04 2015 New Revision: 224283 URL: https://gcc.gnu.org/viewcvs?rev=224283&root=gcc&view=rev Log: PR tree-optimization/66299 * match.pd ((CST1 << A) == CST2 -> A == ctz (CST2) - ctz (CST1) ((CST1 << A) != CST2 -> A != ctz (CST2) - ctz (CST1)): New patterns. * gcc.dg/pr66299-1.c: New test. * gcc.dg/pr66299-2.c: New test. * gcc.dg/pr66299-3.c: New test. Added: trunk/gcc/testsuite/gcc.dg/pr66299-1.c trunk/gcc/testsuite/gcc.dg/pr66299-2.c trunk/gcc/testsuite/gcc.dg/pr66299-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/match.pd trunk/gcc/testsuite/ChangeLog