This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Check dominator info in compute_dominance_frontiers
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Tom de Vries <Tom_deVries at mentor dot com>
- Cc: "gcc-patches at gnu dot org" <gcc-patches at gnu dot org>
- Date: Tue, 23 Jun 2015 11:31:47 +0200
- Subject: Re: [PATCH] Check dominator info in compute_dominance_frontiers
- Authentication-results: sourceware.org; auth=none
- References: <5587C18A dot 9050304 at mentor dot com> <CAFiYyc3dnCZ7+_o8Cy5qX6LinhA0STPWGMwqQgL4sX8LfPgtoQ at mail dot gmail dot com> <5587F277 dot 1080401 at mentor dot com> <CAFiYyc2VYvELrb0EJ5CUbit+iyDUZHQcsQDqzW_7EJ79gyiOTQ at mail dot gmail dot com> <5588416F dot 1070702 at mentor dot com>
On Mon, Jun 22, 2015 at 7:10 PM, Tom de Vries <Tom_deVries@mentor.com> wrote:
> On 22/06/15 13:47, Richard Biener wrote:
>>>
>>> (eventually also for the case where we
>>> >>end up only computing the fast-query stuff).
>>>
>
> Like this?
> ...
> diff --git a/gcc/dominance.c b/gcc/dominance.c
> index 9c66ca2..58fc6fd 100644
> --- a/gcc/dominance.c
> +++ b/gcc/dominance.c
> @@ -679,6 +679,12 @@ calculate_dominance_info (enum cdi_direction dir)
> free_dom_info (&di);
> dom_computed[dir_index] = DOM_NO_FAST_QUERY;
> }
> + else
> + {
> +#if ENABLE_CHECKING
> + verify_dominators (CDI_DOMINATORS);
> +#endif
> + }
>
> compute_dom_fast_query (dir);
Yeah.
Richard.
> ...
>
> Thanks,
> - Tom