From 63a14fa3cd8ff97801699bb6e07fcbe876aba5fe Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Sat, 4 Oct 2008 14:19:48 +0000 Subject: [PATCH] tree-ssa-sccvn.c (vn_reference_op_eq): Use types_compatible_p instead of pointer equality. 2008-10-04 Richard Guenther * tree-ssa-sccvn.c (vn_reference_op_eq): Use types_compatible_p instead of pointer equality. (vn_nary_op_eq): Likewise. * gcc.dg/tree-ssa/ssa-pre-21.c: New testcase. From-SVN: r140868 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c | 15 +++++++++++++++ gcc/tree-ssa-sccvn.c | 4 ++-- 4 files changed, 27 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce0d95a..30fe245 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-10-04 Richard Guenther + + * tree-ssa-sccvn.c (vn_reference_op_eq): Use types_compatible_p + instead of pointer equality. + (vn_nary_op_eq): Likewise. + 2008-10-03 Andrew Pinski * config/rs6000/rs6000.md (fseldfsf4): Add TARGET_SINGLE_FLOAT diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9078edc..c0687c9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-10-04 Richard Guenther + + * gcc.dg/tree-ssa/ssa-pre-21.c: New testcase. + 2008-10-03 Jakub Jelinek PR debug/37726 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c new file mode 100644 index 0000000..65a73d2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-pre" } */ + +long +NumSift (long *array, unsigned long k) +{ + if (array[k] < array[k + 1L]) + ++k; + return array[k]; +} + +/* There should be only two loads left. */ + +/* { dg-final { scan-tree-dump-times "= \\\*D" 2 "pre" } } */ +/* { dg-final { cleanup-tree-dump "pre" } } */ diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 290b308..082a278 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -387,7 +387,7 @@ vn_reference_op_eq (const void *p1, const void *p2) const_vn_reference_op_t const vro1 = (const_vn_reference_op_t) p1; const_vn_reference_op_t const vro2 = (const_vn_reference_op_t) p2; return vro1->opcode == vro2->opcode - && vro1->type == vro2->type + && types_compatible_p (vro1->type, vro2->type) && expressions_equal_p (vro1->op0, vro2->op0) && expressions_equal_p (vro1->op1, vro2->op1) && expressions_equal_p (vro1->op2, vro2->op2); @@ -1184,7 +1184,7 @@ vn_nary_op_eq (const void *p1, const void *p2) unsigned i; if (vno1->opcode != vno2->opcode - || vno1->type != vno2->type) + || !types_compatible_p (vno1->type, vno2->type)) return false; for (i = 0; i < vno1->length; ++i) -- 2.7.4