Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-17 Thread Richard Biener
On Sun, Nov 16, 2014 at 3:40 PM, Patrick Palka patr...@parcs.ath.cx wrote: On Sun, Nov 16, 2014 at 8:52 AM, Richard Biener richard.guent...@gmail.com wrote: On November 16, 2014 5:22:26 AM CET, Patrick Palka patr...@parcs.ath.cx wrote: On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-17 Thread Patrick Palka
On Mon, Nov 17, 2014 at 5:32 AM, Richard Biener richard.guent...@gmail.com wrote: On Sun, Nov 16, 2014 at 3:40 PM, Patrick Palka patr...@parcs.ath.cx wrote: On Sun, Nov 16, 2014 at 8:52 AM, Richard Biener richard.guent...@gmail.com wrote: On November 16, 2014 5:22:26 AM CET, Patrick Palka

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-16 Thread Richard Biener
On November 16, 2014 5:22:26 AM CET, Patrick Palka patr...@parcs.ath.cx wrote: On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka patr...@parcs.ath.cx wrote: On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-16 Thread Patrick Palka
On Sun, Nov 16, 2014 at 8:52 AM, Richard Biener richard.guent...@gmail.com wrote: On November 16, 2014 5:22:26 AM CET, Patrick Palka patr...@parcs.ath.cx wrote: On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-15 Thread Patrick Palka
On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka patr...@parcs.ath.cx wrote: On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-12 Thread Richard Biener
On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka patr...@parcs.ath.cx wrote: On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka patr...@parcs.ath.cx wrote: This patch is a replacement for the 2nd VRP refactoring patch.

[PATCH] Look through widening type conversions for possible edge assertions

2014-11-11 Thread Patrick Palka
This patch is a replacement for the 2nd VRP refactoring patch. It simply teaches VRP to look through widening type conversions when finding suitable edge assertions, e.g. bool p = x != y; int q = (int) p; if (q == 0) // new edge assert: p == 0 and therefore x == y The new testcase requires that

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka patr...@parcs.ath.cx wrote: This patch is a replacement for the 2nd VRP refactoring patch. It simply teaches VRP to look through widening type conversions when finding suitable edge assertions, e.g. bool p = x != y; int q = (int) p; if (q ==

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-11 Thread Patrick Palka
On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka patr...@parcs.ath.cx wrote: This patch is a replacement for the 2nd VRP refactoring patch. It simply teaches VRP to look through widening type conversions when