aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2002-06-11 00:07:45 +0200
committerJakub Jelinek <jakub@gcc.gnu.org>2002-06-11 00:07:45 +0200
commit7b668f9ed038456ca0c0cc048978bd4241f4c311 (patch)
tree1b4bc9c9cb931afa6b95c9587f431f9506d34657 /gcc
parent85d490584b173dd86e67af37a277a6b5fe823422 (diff)
downloadgcc-7b668f9ed038456ca0c0cc048978bd4241f4c311.zip
gcc-7b668f9ed038456ca0c0cc048978bd4241f4c311.tar.gz
gcc-7b668f9ed038456ca0c0cc048978bd4241f4c311.tar.bz2
re PR rtl-optimization/6759 (ice when compiling 32 bit sparc code)
PR optimization/6759 * cse.c (cse_insn): Fold src_eqv just once, store it folded back into the REQ_EQUAL note. * g++.dg/opt/cse1.C: New test. From-SVN: r54469
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/cse.c6
-rw-r--r--gcc/testsuite/ChangeLog2
-rw-r--r--gcc/testsuite/g++.dg/opt/cse1.C12
4 files changed, 24 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f92ef9b..8b6464a3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
2002-06-10 Jakub Jelinek <jakub@redhat.com>
+ PR optimization/6759
+ * cse.c (cse_insn): Fold src_eqv just once, store it folded back into
+ the REQ_EQUAL note.
+
+2002-06-10 Jakub Jelinek <jakub@redhat.com>
+
PR c/6660
* c-decl.c (grokfield): Allow user defined types if they declare
structs or unions for unnamed fields.
diff --git a/gcc/cse.c b/gcc/cse.c
index 0b91d99..01a79d5 100644
--- a/gcc/cse.c
+++ b/gcc/cse.c
@@ -4915,7 +4915,10 @@ cse_insn (insn, libcall_insn)
&& (tem = find_reg_note (insn, REG_EQUAL, NULL_RTX)) != 0
&& (! rtx_equal_p (XEXP (tem, 0), SET_SRC (sets[0].rtl))
|| GET_CODE (SET_DEST (sets[0].rtl)) == STRICT_LOW_PART))
- src_eqv = canon_reg (XEXP (tem, 0), NULL_RTX);
+ {
+ src_eqv = fold_rtx (canon_reg (XEXP (tem, 0), NULL_RTX), insn);
+ XEXP (tem, 0) = src_eqv;
+ }
/* Canonicalize sources and addresses of destinations.
We do this in a separate pass to avoid problems when a MATCH_DUP is
@@ -5019,7 +5022,6 @@ cse_insn (insn, libcall_insn)
eqvmode = GET_MODE (SUBREG_REG (XEXP (dest, 0)));
do_not_record = 0;
hash_arg_in_memory = 0;
- src_eqv = fold_rtx (src_eqv, insn);
src_eqv_hash = HASH (src_eqv, eqvmode);
/* Find the equivalence class for the equivalent expression. */
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1d8229c..d2c3fbd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -10,6 +10,8 @@
* gcc.dg/20020527-1.c: New test.
+ * g++.dg/opt/cse1.C: New test.
+
2002-06-07 Roger Sayle <roger@eyesopen.com>
* gcc.dg/20020607-2.c: New test case.
diff --git a/gcc/testsuite/g++.dg/opt/cse1.C b/gcc/testsuite/g++.dg/opt/cse1.C
new file mode 100644
index 0000000..be1ad5a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/cse1.C
@@ -0,0 +1,12 @@
+// PR optimization/6759
+// This testcase ICEd on SPARC because folded REG_EQUAL
+// note was note stored back and fold_rtx left invalid rtx
+// in it.
+// { dg-do compile }
+// { dg-options "-O2" }
+
+struct A
+{
+ long long a;
+ A (unsigned short d) : a (d) {}
+} x (65535);