From 589975b54776af56cf7fa896efc0fd9e992d7cbc Mon Sep 17 00:00:00 2001
From: geoffk <geoffk@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 10 Aug 2004 17:57:41 +0000
Subject: [PATCH] 	* tree-vn.c (val_expr_pair_expr_eq): Compare vuses, to
 match the 	hash function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@85760 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/ChangeLog |  5 +++++
 gcc/tree-vn.c | 15 ++++++++++++---
 2 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3a28b7c0e07a..6db90d9bb669 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-08-10  Geoffrey Keating  <geoffk@apple.com>
+
+	* tree-vn.c (val_expr_pair_expr_eq): Compare vuses, to match the
+	hash function.
+
 2004-08-10  Roger Sayle  <roger@eyesopen.com>
 
 	* config/mips/mips.md: New reciprocal square root patterns that
diff --git a/gcc/tree-vn.c b/gcc/tree-vn.c
index b686af296afc..061a7ac91047 100644
--- a/gcc/tree-vn.c
+++ b/gcc/tree-vn.c
@@ -151,11 +151,20 @@ val_expr_pair_expr_eq (const void *p1, const void *p2)
 {
   const val_expr_pair_t ve1 = (val_expr_pair_t) p1;
   const val_expr_pair_t ve2 = (val_expr_pair_t) p2;
+  size_t i;
 
-  if (expressions_equal_p (ve1->e, ve2->e))
-    return true;
+  if (! expressions_equal_p (ve1->e, ve2->e))
+    return false;
+
+  if (NUM_VUSES (ve1->vuses) != NUM_VUSES (ve2->vuses))
+    return false;
   
-  return false;
+  for (i = 0; i < NUM_VUSES (ve1->vuses); i++)
+    if (! expressions_equal_p (VUSE_OP (ve1->vuses, i),
+			       VUSE_OP (ve2->vuses, i)))
+      return false;
+  
+  return true;
 }
 
 
-- 
GitLab