From 74b4885d944854e7a8c032cb169a5c6f4d6e4058 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 2 Jun 2017 10:07:15 +0200 Subject: [PATCH] re PR rtl-optimization/80903 (ICE: internal consistency failure (error: invalid rtl sharing found in the insn)) PR rtl-optimization/80903 * loop-doloop.c (add_test): Unshare sequence. * gcc.dg/pr80903.c: New test. From-SVN: r248815 --- gcc/ChangeLog | 5 +++++ gcc/loop-doloop.c | 1 + gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/pr80903.c | 34 ++++++++++++++++++++++++++++++++++ 4 files changed, 43 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr80903.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3700ebc087a..f44c2b829f6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-06-02 Jakub Jelinek + + PR rtl-optimization/80903 + * loop-doloop.c (add_test): Unshare sequence. + 2017-06-02 Bernd Edlinger * doc/invoke.texi: Document the -Wsizeof-pointer-div warning. diff --git a/gcc/loop-doloop.c b/gcc/loop-doloop.c index 3483000aa97..c018e2ce634 100644 --- a/gcc/loop-doloop.c +++ b/gcc/loop-doloop.c @@ -367,6 +367,7 @@ add_test (rtx cond, edge *e, basic_block dest) } seq = get_insns (); + unshare_all_rtl_in_chain (seq); end_sequence (); /* There always is at least the jump insn in the sequence. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a111f2b80bc..dc6cdcd3606 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2017-06-02 Jakub Jelinek + PR rtl-optimization/80903 + * gcc.dg/pr80903.c: New test. + PR fortran/80918 * gfortran.dg/gomp/pr80918.f90: New test. diff --git a/gcc/testsuite/gcc.dg/pr80903.c b/gcc/testsuite/gcc.dg/pr80903.c new file mode 100644 index 00000000000..73d44b0dc45 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr80903.c @@ -0,0 +1,34 @@ +/* PR rtl-optimization/80903 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -funroll-loops" } */ + +short int a; + +void +foo (int x, short int y, short int z) +{ + if (y != 0) + { + const short int b = 37; + y = 0; + while (y < b) + { + while (y < b) + { + lab: + ++y; + } + for (y = 0; y < b - 1; ++y) + ; + if (z != 0) + { + --a; + y *= a; + } + z = x; + } + x = 0; + } + + goto lab; +} -- 2.30.2