From b2ddaebb2d8528b8f53a6546ed8988057771b832 Mon Sep 17 00:00:00 2001 From: Geoffrey Keating 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. * tree-vn.c (val_expr_pair_expr_eq): Compare vuses, to match the hash function. From-SVN: r85760 --- gcc/ChangeLog | 5 +++++ gcc/tree-vn.c | 15 ++++++++++++--- 2 files changed, 17 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3a28b7c0e07..6db90d9bb66 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-08-10 Geoffrey Keating + + * tree-vn.c (val_expr_pair_expr_eq): Compare vuses, to match the + hash function. + 2004-08-10 Roger Sayle * config/mips/mips.md: New reciprocal square root patterns that diff --git a/gcc/tree-vn.c b/gcc/tree-vn.c index b686af296af..061a7ac9104 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; } -- 2.30.2