Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-07 Thread Richard Guenther
On Mon, Jul 4, 2011 at 8:55 PM, Kai Tietz wrote: > Ok, reworked version.  The folding of X op X and !X op !X seems indeed > not being necessary. So function simplifies much. > > Bootstrapped and regression tested for all standard languages (plus > Ada and Obj-C++). Ok for apply? Ok with a proper

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-04 Thread Kai Tietz
Ok, reworked version. The folding of X op X and !X op !X seems indeed not being necessary. So function simplifies much. Bootstrapped and regression tested for all standard languages (plus Ada and Obj-C++). Ok for apply? Regards, Kai Index: gcc-head/gcc/tree-ssa-forwprop.c ==

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-04 Thread Richard Guenther
On Fri, Jul 1, 2011 at 5:23 PM, Kai Tietz wrote: > So updated patch (bootstrapped and tested for all standard languages > plus Ada and Obj-C++) on x86_64-pc-linux-gnu host. > > Index: gcc-head/gcc/tree-ssa-forwprop.c > === > --- gcc-h

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-02 Thread Kai Tietz
2011/7/1 Kai Tietz : > 2011/7/1 Kai Tietz : >> 2011/7/1 Richard Guenther : >>> On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: Ok, here is reworked patch with adjusted testcase. ChangeLog gcc/ 2011-07-01  Kai Tietz          * tree-ssa-forwprop.c (truth_valued_ss

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-01 Thread Kai Tietz
So updated patch (bootstrapped and tested for all standard languages plus Ada and Obj-C++) on x86_64-pc-linux-gnu host. Index: gcc-head/gcc/tree-ssa-forwprop.c === --- gcc-head.orig/gcc/tree-ssa-forwprop.c +++ gcc-head/gcc/tree-ssa-fo

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-01 Thread Kai Tietz
2011/7/1 Kai Tietz : > 2011/7/1 Richard Guenther : >> On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: >>> Ok, here is reworked patch with adjusted testcase. >>> >>> ChangeLog gcc/ >>> >>> 2011-07-01  Kai Tietz   >>> >>>        * tree-ssa-forwprop.c (truth_valued_ssa): New function. >>>        (de

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-01 Thread Kai Tietz
2011/7/1 Richard Guenther : > On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: >> Ok, here is reworked patch with adjusted testcase. >> >> ChangeLog gcc/ >> >> 2011-07-01  Kai Tietz   >> >>        * tree-ssa-forwprop.c (truth_valued_ssa): New function. >>        (detect_not_expr_operand): New func

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-01 Thread Richard Guenther
On Fri, Jul 1, 2011 at 1:44 PM, Kai Tietz wrote: > Ok, here is reworked patch with adjusted testcase. > > ChangeLog gcc/ > > 2011-07-01  Kai Tietz   > >        * tree-ssa-forwprop.c (truth_valued_ssa): New function. >        (detect_not_expr_operand): New function. >        (simplify_bitwise_binar

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-07-01 Thread Kai Tietz
- Original Message - From: "Richard Guenther" To: "Kai Tietz" Cc: gcc-patches@gcc.gnu.org Sent: Thursday, June 30, 2011 1:36:13 PM Subject: Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns On Wed, Jun 29, 2011 at 3:00

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-06-30 Thread Richard Guenther
operator optimizations for > X op !X patterns > > - Original Message - > From: "Richard Guenther" > To: "Kai Tietz" > Cc: gcc-patches@gcc.gnu.org > Sent: Wednesday, June 29, 2011 12:14:10 PM > Subject: Re: [patch tree-optimization]: Do bitwise opera

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-06-29 Thread Kai Tietz
- Original Message - From: "Kai Tietz" To: "Richard Guenther" Cc: gcc-patches@gcc.gnu.org Sent: Wednesday, June 29, 2011 1:33:30 PM Subject: Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns - Original Message - From: &q

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-06-29 Thread Kai Tietz
- Original Message - From: "Richard Guenther" To: "Kai Tietz" Cc: gcc-patches@gcc.gnu.org Sent: Wednesday, June 29, 2011 12:14:10 PM Subject: Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns On Tue, Jun 28, 2011 at 5:05 PM, Kai T

Re: [patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-06-29 Thread Richard Guenther
On Tue, Jun 28, 2011 at 5:05 PM, Kai Tietz wrote: > Hello, > > this patch implements the X op !X patterns within tree-ssa-forwprop.c without > using here const-fold routines.  Additionally it does some trivial folding > for X op X.  Implementation > also looks through [(type)] X op [(type)] !X,

[patch tree-optimization]: Do bitwise operator optimizations for X op !X patterns

2011-06-28 Thread Kai Tietz
Hello, this patch implements the X op !X patterns within tree-ssa-forwprop.c without using here const-fold routines. Additionally it does some trivial folding for X op X. Implementation also looks through [(type)] X op [(type)] !X, if type of X is integral and precision is suitable for operat