On Mon, Jan 20, 2014 at 10:50 AM, Richard Biener wrote:
>
> This improves var-tracking dataflow convergence by using post order
> on the inverted CFG - which is appropriate for forward dataflow
> problems. This haves compile-time spent in var-tracking for PR45364
> (it also improves other testcas
On Jan 20, 2014, Jakub Jelinek wrote:
> On Mon, Jan 20, 2014 at 06:24:36PM -0200, Alexandre Oliva wrote:
>> But I think this one is wrong.
>> if (var->onepart == ONEPART_VALUE)
>> {
>> if (local_get_addr_cache == NULL)
>> return;
> But when local_get_addr_cache is non-NULL, no matter if we fin
On Mon, Jan 20, 2014 at 06:24:36PM -0200, Alexandre Oliva wrote:
> > ! if (var->onepart == ONEPART_VALUE)
> > {
> > rtx x = dv_as_value (dv);
> > void **slot;
> > --- 2502,2509
>
> > gcc_assert (var->n_var_parts == 1);
>
> > ! if (var->onepart == ONEPART_VAL
On Jan 20, 2014, Richard Biener wrote:
> local_get_addr_clear_given_value (const void *v ATTRIBUTE_UNUSED,
> void **slot, void *x)
> {
> ! if (*slot != NULL
> ! && vt_get_canonicalize_base ((rtx)*slot) == x)
> *slot = NULL;
> return true;
>
