On Thu, Jul 09, 2015 at 12:02:19PM +0200, Richard Biener wrote: > I've added support for non-digit names to allow more descriptive > patterns. Like when we have > > /* Fold (X << C1) & C2 into (X << C1) & (C2 | ((1 << C1) - 1)) > (X >> C1) & C2 into (X >> C1) & (C2 | ~((type) -1 >> C1)) > if the new mask might be further optimized. */ > (for shift (lshift rshift) > (simplify > (bit_and (convert?@4 (shift@5 (convert1?@3 @0) INTEGER_CST@1)) > INTEGER_CST@2) > > using @andop2 instead of @2 and @shift instead of @5 (etc.) might > make the following code easier to follow.
All right, that makes sense. > That everything uses digits right now is historic mostly (and > my habit of using digits just because I got used to it). > > But yes, with @a, @b vs. @0, @1 we should standardize on something > (digits). > > Richard. Marek