From e43163aefb7276917ac116d9a992aa2ac18a6722 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 16 Sep 2016 09:10:08 +0200 Subject: [PATCH] re PR target/77526 (ICE: in verify_dominators, at dominance.c:1039 with -mstringop-strategy=byte_loop) 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. From-SVN: r240174 --- gcc/ChangeLog | 6 ++++++ gcc/combine.c | 2 ++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.target/i386/pr77526.c | 13 +++++++++++++ 4 files changed, 26 insertions(+) create mode 100644 gcc/testsuite/gcc.target/i386/pr77526.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0287d52c5e0..2d40745e6fe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-09-16 Jakub Jelinek + + PR target/77526 + * combine.c (rest_of_handle_combine): If any edges have been purged, + free dominators if available. + 2016-09-16 Jakub Jelinek Eric Botcazou diff --git a/gcc/combine.c b/gcc/combine.c index 1b262f94fed..1e43d48cc56 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -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); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8d739b5a759..91d19629f93 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-09-16 Jakub Jelinek + + PR target/77526 + * gcc.target/i386/pr77526.c: New test. + 2016-09-16 Jakub Jelinek Eric Botcazou diff --git a/gcc/testsuite/gcc.target/i386/pr77526.c b/gcc/testsuite/gcc.target/i386/pr77526.c new file mode 100644 index 00000000000..91b946a3660 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr77526.c @@ -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; +} -- 2.30.2