On Fri, 16 Sep 2016, Jakub Jelinek wrote:
> Hi!
>
> As mentioned in the PR, combiner sometimes calls
> purge_all_dead_edges or purge_dead_edges that can invalidate the dominator
> info if it is computed. Other passes like CSE in that case free the
> dominance info, this patch does the same in the combiner.
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
Ok. (I wonder if/why cleanup_cfg (0) doesn't do this then?)
Thanks,
Richard.
> 2016-09-16 Jakub Jelinek <ja...@redhat.com>
>
> PR target/77526
> * combine.c (rest_of_handle_combine): If any edges have been purged,
> free dominators if available.
>
> * gcc.target/i386/pr77526.c: New test.
>
> --- gcc/combine.c.jj 2016-08-12 17:33:46.000000000 +0200
> +++ gcc/combine.c 2016-09-15 16:12:26.154982064 +0200
> @@ -14393,6 +14393,8 @@ rest_of_handle_combine (void)
> instructions. */
> if (rebuild_jump_labels_after_combine)
> {
> + if (dom_info_available_p (CDI_DOMINATORS))
> + free_dominance_info (CDI_DOMINATORS);
> timevar_push (TV_JUMP);
> rebuild_jump_labels (get_insns ());
> cleanup_cfg (0);
> --- gcc/testsuite/gcc.target/i386/pr77526.c.jj 2016-09-15
> 16:13:37.149105476 +0200
> +++ gcc/testsuite/gcc.target/i386/pr77526.c 2016-09-15 16:13:13.000000000
> +0200
> @@ -0,0 +1,13 @@
> +/* PR target/77526 */
> +/* { dg-do compile { target int128 } } */
> +/* { dg-options "-Os -fno-forward-propagate -fno-gcse
> -fno-rerun-cse-after-loop -mstringop-strategy=byte_loop -Wno-psabi" } */
> +
> +typedef char U __attribute__((vector_size(64)));
> +typedef __int128 V __attribute__((vector_size(64)));
> +
> +V
> +foo (int a, int b, __int128 c, U u)
> +{
> + u = (u >> (u & 7)) | (u << -(u & 7));
> + return a + b + c + (V)u;
> +}
>
> Jakub
>
>
--
Richard Biener <rguent...@suse.de>
SUSE LINUX GmbH, GF: Felix Imendoerffer, Jane Smithard, Graham Norton, HRB
21284 (AG Nuernberg)
