isl_union_*: use tuple hash in hash table
commit942e1bb8814e30cab51b749b4c8d298a1e10aa91
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 6 Feb 2017 09:16:56 +0000 (6 10:16 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 30 Aug 2020 19:38:35 +0000 (30 21:38 +0200)
tree7a3cbc040afab06bc3d4b8e23d021b32b4f7449e
parent0d1279c6c24f1a81f121088069e913bd56434dc6
isl_union_*: use tuple hash in hash table

This makes the ordering of the base expressions within a union expression
independent of the parameters.

Since all base expressions in the union expression have their parameters
aligned with the union, there is no need to check
for equal parameters.  In any case, any union expression
can only contain a single base expression in a given tuple space
even if this alignment were not performed.

An upcoming commit will change the comparison of entries
with the same hash value to ignore parameters as well.
In fact, union expressions that contain at most a single
base expression per domain space already ignore parameters there.
Together, these two changes ensure that look-ups can be performed
without first aligning parameters.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_union_multi.c
isl_union_single.c