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

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

[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