Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-21 Thread Kai Tietz
Hello, Updated and again merged variant of this patch. We have now just two vrp related regressions by this patch, and it is addressed already by a posted one. 2011-07-21 Kai Tietz kti...@redhat.com * fold-const.c (fold_unary_loc): Preserve indirect comparison cast to

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-21 Thread Richard Guenther
On Thu, Jul 21, 2011 at 1:12 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, Updated and again merged variant of this patch. We have now just two vrp related regressions by this patch, and it is addressed already by a posted one. 2011-07-21  Kai Tietz  kti...@redhat.com        *

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-21 Thread Kai Tietz
2011/7/21 Richard Guenther richard.guent...@gmail.com: With these two changes the patch is ok to commit (it will also regress gcc.target/i386/andor-2.c but that is an exact duplicate of the already regressed gcc.dg/tree-ssa/vrp47.c). Thanks, Richard. Ok, retested with your comments and

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-21 Thread H.J. Lu
On Thu, Jul 21, 2011 at 5:12 AM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/21 Richard Guenther richard.guent...@gmail.com: With these two changes the patch is ok to commit (it will also regress gcc.target/i386/andor-2.c but that is an exact duplicate of the already regressed

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-21 Thread H.J. Lu
On Thu, Jul 21, 2011 at 8:40 AM, H.J. Lu hjl.to...@gmail.com wrote: On Thu, Jul 21, 2011 at 5:12 AM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/21 Richard Guenther richard.guent...@gmail.com: With these two changes the patch is ok to commit (it will also regress gcc.target/i386/andor-2.c

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-20 Thread Kai Tietz
2011/7/20 Richard Guenther richard.guent...@gmail.com: On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, this is the revised version of the partial pre-approved patch for preserving type-casts from/to boolean-types.  It fixes additionally the regression in

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-20 Thread Kai Tietz
2011/7/20 Richard Guenther richard.guent...@gmail.com: On Wed, Jul 20, 2011 at 3:31 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/20 Richard Guenther richard.guent...@gmail.com: On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, this is the revised version

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-19 Thread Kai Tietz
Hello, So this is the updated patch for boolifying of comparisons. There are two different kind of regression caused by this. One is fixed by the VRP patch I've sent and it waits for review. The other one is about vectorization in gcc.dg/vect/vect-cond3.c testcase. This is caused by

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-19 Thread Richard Guenther
On Tue, Jul 19, 2011 at 1:27 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, So this is the updated patch for boolifying of comparisons.  There are two different kind of regression caused by this.  One is fixed by the VRP patch I've sent and it waits for review. The other one is about

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-19 Thread Kai Tietz
2011/7/19 Richard Guenther richard.guent...@gmail.com: On Tue, Jul 19, 2011 at 1:27 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, So this is the updated patch for boolifying of comparisons.  There are two different kind of regression caused by this.  One is fixed by the VRP patch I've

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-12 Thread Richard Guenther
On Mon, Jul 11, 2011 at 5:37 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-12 Thread Kai Tietz
2011/7/12 Richard Guenther richard.guent...@gmail.com: On Mon, Jul 11, 2011 at 5:37 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-12 Thread Richard Guenther
On Tue, Jul 12, 2011 at 11:48 AM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/12 Richard Guenther richard.guent...@gmail.com: On Mon, Jul 11, 2011 at 5:37 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Fri, Jul 8, 2011 at 1:32 PM, Kai

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-12 Thread Kai Tietz
2011/7/12 Richard Guenther richard.guent...@gmail.com: On Tue, Jul 12, 2011 at 11:48 AM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/12 Richard Guenther richard.guent...@gmail.com: On Mon, Jul 11, 2011 at 5:37 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-12 Thread Richard Guenther
On Tue, Jul 12, 2011 at 2:21 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/12 Richard Guenther richard.guent...@gmail.com: On Tue, Jul 12, 2011 at 11:48 AM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/12 Richard Guenther richard.guent...@gmail.com: On Mon, Jul 11, 2011 at 5:37 PM,

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-11 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - second of series -

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - second of series - adds boolification of comparisions in gimplifier.  For this casts from/to boolean are marked as not-useless. And in

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-08 Thread Richard Guenther
On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - second of series - adds boolification of comparisions in gimplifier.  

[patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-07 Thread Kai Tietz
Hello, This patch - second of series - adds boolification of comparisions in gimplifier. For this casts from/to boolean are marked as not-useless. And in fold_unary_loc casts to non-boolean integral types are preserved. The hunk in tree-ssa-forwprop.c in combine_cond-expr_cond is not strictly