From 80c1d5061d467624c9cada64b8686c9c722b7a86 Mon Sep 17 00:00:00 2001 From: jakub Date: Thu, 9 Nov 2017 23:58:51 +0000 Subject: [PATCH] PR rtl-optimization/82913 * compare-elim.c (try_merge_compare): Punt if def_insn is not single set. * gcc.c-torture/compile/pr82913.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254614 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/compare-elim.c | 2 ++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/compile/pr82913.c | 23 +++++++++++++++++++++++ 4 files changed, 36 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr82913.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0c6f9489389..f2de9142e6a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-11-10 Jakub Jelinek + + PR rtl-optimization/82913 + * compare-elim.c (try_merge_compare): Punt if def_insn is not + single set. + 2017-11-09 Jeff Law * vr-values.h: New file with vr_values class. diff --git a/gcc/compare-elim.c b/gcc/compare-elim.c index 17d08842d15..b34a07f8336 100644 --- a/gcc/compare-elim.c +++ b/gcc/compare-elim.c @@ -683,6 +683,8 @@ try_merge_compare (struct comparison *cmp) rtx_insn *def_insn = cmp->in_a_setter; rtx set = single_set (def_insn); + if (!set) + return false; if (!can_merge_compare_into_arith (cmp_insn, def_insn)) return false; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 17fa7662880..f50bee7ad5f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-11-10 Jakub Jelinek + + PR rtl-optimization/82913 + * gcc.c-torture/compile/pr82913.c: New test. + 2017-11-09 Paul Thomas PR fortran/78619 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr82913.c b/gcc/testsuite/gcc.c-torture/compile/pr82913.c new file mode 100644 index 00000000000..5cf55573204 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr82913.c @@ -0,0 +1,23 @@ +/* PR rtl-optimization/82913 */ + +unsigned int a; +unsigned long int b; + +int +foo (void) +{ + ++a; + b = 0; +} + +unsigned long int +bar (int x) +{ + if (!foo () || !a) + { + int c = a != b; + if (c != x) + return a; + } + return 0; +} -- 2.11.4.GIT