Re: [patch gimplifier]: Do folding on truth and/or trees

2011-04-29 Thread Hans-Peter Nilsson
On Wed, 27 Apr 2011, Jakub Jelinek wrote: > You don't need to build cross binutils, all that is needed is > configure the cross and build just cc1, don't mind that the build > fails afterwards and just run it on your testcases by hand to see > what is in the dumps. FWIW "make all-gcc" doesn't fail

Re: [patch gimplifier]: Do folding on truth and/or trees

2011-04-27 Thread Richard Guenther
On Wed, Apr 27, 2011 at 10:26 PM, Richard Guenther wrote: > On Wed, Apr 27, 2011 at 10:03 PM, Kai Tietz wrote: >> Hello, >> >> this patch adds the ability to gimple-fold to operate for truth and/or >> operations >> on folded binary-and/or optimized truth trees - as done by fold-const.  As >> fol

Re: [patch gimplifier]: Do folding on truth and/or trees

2011-04-27 Thread Richard Guenther
On Wed, Apr 27, 2011 at 10:03 PM, Kai Tietz wrote: > Hello, > > this patch adds the ability to gimple-fold to operate for truth and/or > operations > on folded binary-and/or optimized truth trees - as done by fold-const.  As > fold > converts trivial operations like (A && B) to (A & B) != 0, in m

Re: [patch gimplifier]: Do folding on truth and/or trees

2011-04-27 Thread Jakub Jelinek
On Wed, Apr 27, 2011 at 10:03:34PM +0200, Kai Tietz wrote: > --- /dev/null 1970-01-01 00:00:00.0 + > +++ gcc/gcc/testsuite/gcc.dg/binop-tand1.c2011-04-27 21:31:19.276726900 > +0200 > @@ -0,0 +1,14 @@ > +/* { dg-do compile } */ > +/* { dg-options "-O2 -fdump-tree-optimized" } */ > +

[patch gimplifier]: Do folding on truth and/or trees

2011-04-27 Thread Kai Tietz
Hello, this patch adds the ability to gimple-fold to operate for truth and/or operations on folded binary-and/or optimized truth trees - as done by fold-const. As fold converts trivial operations like (A && B) to (A & B) != 0, in most cases further folding of truth and/or trees wasn't done. foldi