On Thu, Mar 10, 2016 at 1:48 PM, H.J. Lu <hjl.to...@gmail.com> wrote:
> convert_scalars_to_vector in i386.c calls
>
> calculate_dominance_info (CDI_DOMINATORS);
>
> Shouldn't it call
>
> free_dominance_info (CDI_DOMINATORS);
>
> after it is done like other places where calculate_dominance_info is used?

Only if it invalidates it.   Other than post-dominator info dominator
info is kept
up-to-date between passes.

> When I extend the STV pass to 64-bit and put the 64-bit STV pass before
> the CSE pass, I run into
>
> gcc_assert (!dom_info_available_p (CDI_DOMINATORS));

That looks like a bogus assert to me.  Which one is it?  The one in
cfgcleanup.c?
In that case something else should have freed it (the thing that
doesn't preserve it)
or the condition the assert is guarded is "incorrect".

Richard.

>
> --
> H.J.

Reply via email to