http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52631
--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-03-20 11:13:57 UTC --- Hmm, but then you'd pessimize the case where b_2 & 1 were available? Thus, don't you need to do the lookup with the original expression anyway if the lookup for the simplified expression fails? Oh, and doesn't the testcase show a missed canonicalization?