PING
2011/8/9 Kai Tietz :
> Hello,
>
> actual the remaining issue about this PR is that vrp
> constructs by range analyzis for bitwise and/or expressions
> type-casted results, like ((type) A) op ((type) B), or ((type) A) op CST.
> So I've added to simplify_bit_ops_using_rnages the transformation
2011/8/1 Richard Guenther :
> On Fri, Jul 29, 2011 at 2:07 PM, Kai Tietz wrote:
>> Hello,
>>
>> this patch fixes regression of bug report PR middle-end/49806, which was
>> caused due unhandled type-cast patterns reasoned by boolification of
>> compares and type-cast preserving from/to boolean ty
Ups missed to update patch before sending it. Inlined tested patch.
Kai
Index: gcc/gcc/testsuite/gcc.dg/tree-ssa/vrp47.c
===
--- gcc.orig/gcc/testsuite/gcc.dg/tree-ssa/vrp47.c
+++ gcc/gcc/testsuite/gcc.dg/tree-ssa/vrp47.c
@@ -4,8 +4
Hello,
actual the remaining issue about this PR is that vrp
constructs by range analyzis for bitwise and/or expressions
type-casted results, like ((type) A) op ((type) B), or ((type) A) op CST.
So I've added to simplify_bit_ops_using_rnages the transformation of
((type) A) op ((type) B) -> (type
On Fri, Jul 29, 2011 at 2:07 PM, Kai Tietz wrote:
> Hello,
>
> this patch fixes regression of bug report PR middle-end/49806, which was
> caused due unhandled type-cast patterns reasoned by boolification of compares
> and type-cast preserving from/to boolean types.
>
>
> ChangeLog
>
> 2011-07-29
