On Thu, May 11, 2017 at 4:07 PM, Jeff Law wrote:
> On 05/11/2017 01:50 AM, Richard Biener wrote:
>
>>
>> It actually seems to handle negation as well. Which means it
>> handles disjunctive normal form.
>
> Negation is "handled" by allowing an individual predicate to be negated.
> However, the pre
On 05/11/2017 01:50 AM, Richard Biener wrote:
It actually seems to handle negation as well. Which means it
handles disjunctive normal form.
Negation is "handled" by allowing an individual predicate to be negated.
However, the predicate must still be is_neq_zero_form_p to really
participate
On Wed, May 10, 2017 at 11:59 PM, Jeff Law wrote:
>
> So I have some improvements to jump threading that are regressing one of the
> uninit-preds testcases.
>
> The problem is we end up threading deeper into the CFG during VRP1. This
> changes the shape of the CFG such that the condition guarding
