Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-27 Thread Richard Guenther
On Wed, Jul 27, 2011 at 8:33 AM, Kai Tietz wrote: > I adjusted logic in patch for interger zero/all-one case for bit > and/or.  By simply copying the variable operand to destination, > without checking for valid ranges for and-expression with all-ones and > or-expression with zero operand,  logic

Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-26 Thread Kai Tietz
I adjusted logic in patch for interger zero/all-one case for bit and/or. By simply copying the variable operand to destination, without checking for valid ranges for and-expression with all-ones and or-expression with zero operand, logic could be simplified pretty much. I adjusted names for varia

Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-25 Thread Richard Guenther
On Mon, Jul 25, 2011 at 12:08 PM, Kai Tietz wrote: > Hello, > > this patch removes TRUTH-binary expressions and adjusts some places about > bitwise-binary-expressions. > > ChangeLog gcc > > 2011-07-25  Kai Tietz   > >        * tree-vrp.c (extract_range_from_binary_expr): Remove >        TRUTH-bina

Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-25 Thread Kai Tietz
Hello, this patch removes TRUTH-binary expressions and adjusts some places about bitwise-binary-expressions. ChangeLog gcc 2011-07-25 Kai Tietz * tree-vrp.c (extract_range_from_binary_expr): Remove TRUTH-binary cases and add new bitwise cases. (extract_range_from_assi

Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-22 Thread Richard Guenther
On Fri, Jul 22, 2011 at 10:14 AM, Kai Tietz wrote: > 2011/7/21 Richard Guenther : >> On Thu, Jul 21, 2011 at 3:09 PM, Kai Tietz wrote: >>> Hello, >>> >>> this patch changes TRUTH-expression patterns into BIT-expression ones >>> and adjusts code-flow >>> for this. >>> >>> ChangeLog gcc >>> >>> 201

Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-22 Thread Kai Tietz
2011/7/21 Richard Guenther : > On Thu, Jul 21, 2011 at 3:09 PM, Kai Tietz wrote: >> Hello, >> >> this patch changes TRUTH-expression patterns into BIT-expression ones >> and adjusts code-flow >> for this. >> >> ChangeLog gcc >> >> 2011-07-21  Kai Tietz   >> >>        * tree-vrp.c (extract_range_fr

Re: [patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-21 Thread Richard Guenther
On Thu, Jul 21, 2011 at 3:09 PM, Kai Tietz wrote: > Hello, > > this patch changes TRUTH-expression patterns into BIT-expression ones > and adjusts code-flow > for this. > > ChangeLog gcc > > 2011-07-21  Kai Tietz   > >        * tree-vrp.c (extract_range_from_binary_expr): Convert >        truth ex

[patch tree-optimization]: Move tree-vrp to use binary instead of truth-expressions

2011-07-21 Thread Kai Tietz
Hello, this patch changes TRUTH-expression patterns into BIT-expression ones and adjusts code-flow for this. ChangeLog gcc 2011-07-21 Kai Tietz * tree-vrp.c (extract_range_from_binary_expr): Convert truth expression to bimary expression, (extract_range_from_unary_expr