Re: [RFA] [PATCH] Minor improvement to canonicalization of COND_EXPR for gimple

2013-04-08 Thread Richard Biener
On Sat, Apr 6, 2013 at 1:13 PM, Jeff Law l...@redhat.com wrote: The tree combiner/forward propagator is missing opportunities to collapse sequences like this: _15 = _12 ^ _14; if (_15 != 0) Into: if (_12 != _14) The tree combiner/forward propagator builds this tree: x ^ y

[RFA] [PATCH] Minor improvement to canonicalization of COND_EXPR for gimple

2013-04-06 Thread Jeff Law
The tree combiner/forward propagator is missing opportunities to collapse sequences like this: _15 = _12 ^ _14; if (_15 != 0) Into: if (_12 != _14) The tree combiner/forward propagator builds this tree: x ^ y Then passes it to canonicalize_cond_expr_cond That is not suitable