Richard Biener <richard.guent...@gmail.com> skribis: > (match-and-simplify > (bit_and @0 integer_zerop@1) > @1) > (match-and-simplify > (bit_and @0 integer_all_onesp@1) > @0) > > is IMHO easier to parse while your version more like matches > what the code generator creates.
Ah yes, the ability to specify predicates for pattern variables as above is even better (and nicer than the examples that use inline C conditionals.) Thanks, Ludo’.