isl_output.c: also print dimension name for dimensions defined by equality
commit1958e06fc7d498ca62b6fb6a52ce60fc194877c5
authorAlexandre Isoard <alexandre.isoard@gmail.com>
Fri, 26 Feb 2016 17:45:08 +0000 (26 18:45 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 28 Feb 2016 10:35:49 +0000 (28 11:35 +0100)
treed6f50e41a173dbf9bde4546efc804510acaacef0
parentfbf9a668ec9871f2ace71680973529a582e08a23
isl_output.c: also print dimension name for dimensions defined by equality

If a dimension is defined by an equality then an affine expression
is printed instead of the dimension name.

For example, the map

{ [i] -> [j] : j = i }

is printed as

{ [i] -> [i] }

This has the side effect of dropping the name of the dimension from
the printed representation.

This commit prints both the name and the expression in the form of an equality
if the dimension is named. The behavior is unchanged for unnamed dimensions.

In other words, the same example is printed as follows:

{ [i] -> [j = i] }

This kind of expression is already parsed correctly by isl.

Signed-off-by: Alexandre Isoard <alexandre.isoard@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_output.c