From: Jakub Jelinek Date: Wed, 22 Jan 2020 16:48:48 +0000 (+0100) Subject: re PR rtl-optimization/93088 (Compile time hog on gcc/testsuite/gcc.target/i386/pr563... X-Git-Tag: releases/gcc-9.3.0~202 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=75cdf669074fe6a49ea6a3582acf54d00acfa9ce;p=thirdparty%2Fgcc.git re PR rtl-optimization/93088 (Compile time hog on gcc/testsuite/gcc.target/i386/pr56348.c w/ -O3 -funroll-loops -fno-tree-dominator-opts -fno-tree-vrp) PR rtl-optimization/93088 * loop-iv.c (find_single_def_src): Punt after looking through 128 reg copies for regs with single definitions. Move definitions to first uses. * gcc.target/i386/pr93088.c: New test. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d95b6af65731..3a024ce8f6e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2020-01-22 Jakub Jelinek + + Backported from mainline + 2020-01-03 Jakub Jelinek + + PR rtl-optimization/93088 + * loop-iv.c (find_single_def_src): Punt after looking through + 128 reg copies for regs with single definitions. Move definitions + to first uses. + 2020-01-22 Jakub Jelinek Backported from mainline diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c index 82b4bdb15232..340045ce8b28 100644 --- a/gcc/loop-iv.c +++ b/gcc/loop-iv.c @@ -1380,24 +1380,23 @@ simple_rhs_p (rtx rhs) static rtx find_single_def_src (unsigned int regno) { - df_ref adef; - rtx set, src; + rtx src = NULL_RTX; - for (;;) + /* Don't look through unbounded number of single definition REG copies, + there might be loops for sources with uninitialized variables. */ + for (int cnt = 0; cnt < 128; cnt++) { - rtx note; - adef = DF_REG_DEF_CHAIN (regno); + df_ref adef = DF_REG_DEF_CHAIN (regno); if (adef == NULL || DF_REF_NEXT_REG (adef) != NULL || DF_REF_IS_ARTIFICIAL (adef)) return NULL_RTX; - set = single_set (DF_REF_INSN (adef)); + rtx set = single_set (DF_REF_INSN (adef)); if (set == NULL || !REG_P (SET_DEST (set)) || REGNO (SET_DEST (set)) != regno) return NULL_RTX; - note = find_reg_equal_equiv_note (DF_REF_INSN (adef)); - + rtx note = find_reg_equal_equiv_note (DF_REF_INSN (adef)); if (note && function_invariant_p (XEXP (note, 0))) { src = XEXP (note, 0); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cd4f7f444848..61eadf79eba8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2020-01-22 Jakub Jelinek + + Backported from mainline + 2020-01-03 Jakub Jelinek + + PR rtl-optimization/93088 + * gcc.target/i386/pr93088.c: New test. + 2020-01-22 Jakub Jelinek Backported from mainline diff --git a/gcc/testsuite/gcc.target/i386/pr93088.c b/gcc/testsuite/gcc.target/i386/pr93088.c new file mode 100644 index 000000000000..dc986cfaa80f --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr93088.c @@ -0,0 +1,5 @@ +/* PR rtl-optimization/93088 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -funroll-loops -fno-tree-dominator-opts -fno-tree-vrp -w" } */ + +#include "pr56348.c"