Hi,
while looking at type merging code I noticed that type pairs can be managed
to be ordered by their UIDs. This save some of hashing overhead in one of
most intensively querried hashes.
Also gimple_lookup_type_leader is hot function that is better to be inlined.
I also wonder, why unionfind algorithm is not used here to maintain the
positive answers?
Bootstrapped/regtested x86_64-linux, OK?
Honza
* gimple.c (type_pair_hash, type_pair_eq, lookup_type_pair):
Arrange type pairs to be UID ordered.
(gimple_lookup_type_leader): Make inline.
Index: gimple.c
===================================================================
--- gimple.c (revision 173506)
+++ gimple.c (working copy)
@@ -3240,8 +3240,7 @@ type_pair_hash (const void *p)
const struct type_pair_d *pair = (const struct type_pair_d *) p;
hashval_t val1 = pair->uid1;
hashval_t val2 = pair->uid2;
- return (iterative_hash_hashval_t (val2, val1)
- ^ iterative_hash_hashval_t (val1, val2));
+ return iterative_hash_hashval_t (val1, val2);
}
/* Compare two type pairs pointed-to by P1 and P2. */
@@ -3251,8 +3250,7 @@ type_pair_eq (const void *p1, const void
{
const struct type_pair_d *pair1 = (const struct type_pair_d *) p1;
const struct type_pair_d *pair2 = (const struct type_pair_d *) p2;
- return ((pair1->uid1 == pair2->uid1 && pair1->uid2 == pair2->uid2)
- || (pair1->uid1 == pair2->uid2 && pair1->uid2 == pair2->uid1));
+ return (pair1->uid1 == pair2->uid1 && pair1->uid2 == pair2->uid2);
}
/* Lookup the pair of types T1 and T2 in *VISITED_P. Insert a new
@@ -3271,8 +3269,16 @@ lookup_type_pair (tree t1, tree t2, htab
gcc_obstack_init (ob_p);
}
- pair.uid1 = TYPE_UID (t1);
- pair.uid2 = TYPE_UID (t2);
+ if (TYPE_UID (t1) < TYPE_UID (t2))
+ {
+ pair.uid1 = TYPE_UID (t1);
+ pair.uid2 = TYPE_UID (t2);
+ }
+ else
+ {
+ pair.uid1 = TYPE_UID (t2);
+ pair.uid2 = TYPE_UID (t1);
+ }
slot = htab_find_slot (*visited_p, &pair, INSERT);
if (*slot)
@@ -3280,8 +3286,8 @@ lookup_type_pair (tree t1, tree t2, htab
else
{
p = XOBNEW (ob_p, struct type_pair_d);
- p->uid1 = TYPE_UID (t1);
- p->uid2 = TYPE_UID (t2);
+ p->uid1 = pair.uid1;
+ p->uid2 = pair.uid2;
p->same_p[0] = -2;
p->same_p[1] = -2;
*slot = (void *) p;
@@ -3324,7 +3330,7 @@ static GTY((deletable, length("GIMPLE_TY
/* Lookup an existing leader for T and return it or NULL_TREE, if
there is none in the cache. */
-static tree
+static inline tree
gimple_lookup_type_leader (tree t)
{
gimple_type_leader_entry *leader;