Re: [PATCH] Rewrite TRUTH_NOT_EXPR as BIT_{NOT,XOR}_EXPR

2011-07-20 Thread Richard Guenther
On Tue, 19 Jul 2011, Michael Matz wrote: > Hi, > > On Tue, 19 Jul 2011, Richard Guenther wrote: > > > *** forward_propagate_comparison (gimple stm > > *** 1164,1170 > > } > > /* We can propagate the condition into a statement that > > computes the logical ne

Re: [PATCH] Rewrite TRUTH_NOT_EXPR as BIT_{NOT,XOR}_EXPR

2011-07-19 Thread Michael Matz
Hi, On Tue, 19 Jul 2011, Richard Guenther wrote: > *** forward_propagate_comparison (gimple stm > *** 1164,1170 > } > /* We can propagate the condition into a statement that >computes the logical negation of the comparison result. */ > ! else if (gi

Re: [PATCH] Rewrite TRUTH_NOT_EXPR as BIT_{NOT,XOR}_EXPR

2011-07-19 Thread Richard Guenther
On Mon, 18 Jul 2011, Richard Guenther wrote: > > This rewrites TRUTH_NOT_EXPRs during gimplification > as BIT_NOT_EXPR respective BIT_XOR_EXPR as RTL expansion does. This > completes the series lowering the TRUTH_*_EXPRs to operations that > are also available on HW and allows us to unify code h

[PATCH] Rewrite TRUTH_NOT_EXPR as BIT_{NOT,XOR}_EXPR

2011-07-18 Thread Richard Guenther
This rewrites TRUTH_NOT_EXPRs during gimplification as BIT_NOT_EXPR respective BIT_XOR_EXPR as RTL expansion does. This completes the series lowering the TRUTH_*_EXPRs to operations that are also available on HW and allows us to unify code handling TRUTH_*_EXPRs and BIT_*_EXPRs. The patch has se