[GSoC] decision tree first steps

[Ludovic Courtès]

Richard Biener <richard.guenther@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’.