On Mon, Nov 17, 2014 at 5:32 AM, Richard Biener
wrote:
> On Sun, Nov 16, 2014 at 3:40 PM, Patrick Palka wrote:
>> On Sun, Nov 16, 2014 at 8:52 AM, Richard Biener
>> wrote:
>>> On November 16, 2014 5:22:26 AM CET, Patrick Palka
>>> wrote:
On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener
On Sun, Nov 16, 2014 at 3:40 PM, Patrick Palka wrote:
> On Sun, Nov 16, 2014 at 8:52 AM, Richard Biener
> wrote:
>> On November 16, 2014 5:22:26 AM CET, Patrick Palka
>> wrote:
>>>On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener
>>> wrote:
On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka
>>>
On Sun, Nov 16, 2014 at 8:52 AM, Richard Biener
wrote:
> On November 16, 2014 5:22:26 AM CET, Patrick Palka
> wrote:
>>On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener
>> wrote:
>>> On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka
>>wrote:
On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener
On November 16, 2014 5:22:26 AM CET, Patrick Palka wrote:
>On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener
> wrote:
>> On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka
>wrote:
>>> On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener
>>> wrote:
On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka
> wrote
On Wed, Nov 12, 2014 at 3:38 AM, Richard Biener
wrote:
> On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka wrote:
>> On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener
>> wrote:
>>> On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka wrote:
This patch is a replacement for the 2nd VRP refactoring patc
On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka wrote:
> On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener
> wrote:
>> On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka wrote:
>>> This patch is a replacement for the 2nd VRP refactoring patch. It
>>> simply teaches VRP to look through widening type co
On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener
wrote:
> On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka 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.
>>
>>
On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka 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 == 0) // new edge
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
