From 09fdb7014c9b121d4f695b1ce63d13f7e43a45c8 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 26 Sep 2017 07:29:51 +0000 Subject: [PATCH] re PR tree-optimization/82320 (Compile time hog w/ -O) 2017-09-26 Richard Biener PR tree-optimization/82320 * tree-ssa-sccvn.c (set_ssa_val_to): Changing undef to undef isn't a change. * gcc.dg/torture/pr82320.c: New testcase. From-SVN: r253188 --- gcc/ChangeLog | 6 ++++ gcc/testsuite/ChangeLog | 5 ++++ gcc/testsuite/gcc.dg/torture/pr82320.c | 39 ++++++++++++++++++++++++++ gcc/tree-ssa-sccvn.c | 6 ++++ 4 files changed, 56 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr82320.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 962689bd241..7c6d7dce293 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-09-26 Richard Biener + + PR tree-optimization/82320 + * tree-ssa-sccvn.c (set_ssa_val_to): Changing undef to undef + isn't a change. + 2017-09-25 Jeff Law * config/rs6000/rs6000-protos.h (output_probe_stack_range): Update diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8c537ad5d62..64017065637 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-09-26 Richard Biener + + PR tree-optimization/82320 + * gcc.dg/torture/pr82320.c: New testcase. + 2017-09-26 Christophe Lyon * lib/target-supports.exp (check_effective_target_vect_hw_misalign): diff --git a/gcc/testsuite/gcc.dg/torture/pr82320.c b/gcc/testsuite/gcc.dg/torture/pr82320.c new file mode 100644 index 00000000000..a4943fc0a54 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr82320.c @@ -0,0 +1,39 @@ +/* { dg-do compile } */ + +void +ec (int n4, short int ea) +{ + if (1) + { + if (ea != 0) + { + int *c1 = (int *)&ea; + +nn: + for (;;) + ++*c1; + } + } + else + { + int *lq = &n4; + int *md; + int da; + + goto nn; + +r1: + md = lq; + for (da = 0; da < 1; ++da) + { +ig: + ++n4; + *md += n4; + } + } + + for (ea = 0; ea < 1; ++ea) + goto r1; + + goto ig; +} diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index ca78e2d97cf..59397495abf 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -3355,6 +3355,12 @@ set_ssa_val_to (tree from, tree to) if (currval != to && !operand_equal_p (currval, to, 0) + /* Different undefined SSA names are not actually different. See + PR82320 for a testcase were we'd otherwise not terminate iteration. */ + && !(TREE_CODE (currval) == SSA_NAME + && TREE_CODE (to) == SSA_NAME + && ssa_undefined_value_p (currval, false) + && ssa_undefined_value_p (to, false)) /* ??? For addresses involving volatile objects or types operand_equal_p does not reliably detect ADDR_EXPRs as equal. We know we are only getting invariant gimple addresses here, so can use -- 2.30.2