[patch] Fold ~X ^ ~Y into X ^ Y.

[Giovanni Bajo]

James A. Morrison <ja2morri@csclub.uwaterloo.ca> wrote:

>>>   This patch adds the ~X ^ ~Y to X ^ Y transformation to fold_binary.
>>> Bootstrapped and regtested on ia64-linux, no new regressions.  Ok for
>>> mainline?
>
>  Is there a better place?  By the time we get to generic fold seems to
have
> been called on all of the original trees.

This is not a requirement. In fact, both the C++ and Java frontends have
actual *bugs* that happen because of calls to fold() from within the
frontend proper, and they are both planning of removing all calls to fold.

I don't know of a better place though... maybe at the end of the tree
optimizers?
-- 
Giovanni Bajo