isl_basic_map_plain_cmp: specifically handle unknown local variables
commiteaed612ebc2500622f1a1bf9fa890561d372e3c2
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 20 Jul 2016 12:43:28 +0000 (20 14:43 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 20 Dec 2021 14:27:49 +0000 (20 15:27 +0100)
treedfcd366fd44f3eeb9c13ec3d8869e14cf78ec7cc
parent0d0787cafdc7474c40c8d1c0aa918ef2d39e5ca7
isl_basic_map_plain_cmp: specifically handle unknown local variables

Local variables without a known integer division expression
are sometimes created with zero values for all coefficients,
but this is not guaranteed.
This could lead to two basic map being considered not obviously equal
to each other even though they have exactly the same constraints.
In any case, there is no point in comparing the coefficients
of local variables without a known integer division expression.

Note that the new test case also passes without this commit
because the local variables just happen to get created
using all zero coefficients.

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