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
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
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
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
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
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.
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
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 ==
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