The piplib submodule was removed all the way back
isl-0.01-134-g309036cf4f (add copyright statements,
Wed Dec 16 19:25:40 2009 +0000), initially by mistake and
then properly in isl-0.01-146-gff1ea6be3f (properly remove
piplib submodule, Wed Jan 13 09:59:16 2010 +0100).
However, it may not get removed completely when moving from
an earlier commit to a later one since it may itself leave
some untracked files.  Just ignore it in that case.

Signed-off-by: Sven Verdoolaege <[email protected]>

This function will be reused in the next commit.

Signed-off-by: Sven Verdoolaege <[email protected]>

isl_multi_*_from_*_list calls isl_multi_*_set_* on
an uninitialized multi expression.  If any parameter alignment
needs to be performed, then it will fail (without error message)
on the uninitialized multi expression while trying to align
the missing elements.
Perform parameter alignment beforehand.

Signed-off-by: Sven Verdoolaege <[email protected]>

This function will be reused in the next commit.

Signed-off-by: Sven Verdoolaege <[email protected]>

This makes it more explicit when a multi expression may have
missing elements.

Signed-off-by: Sven Verdoolaege <[email protected]>

Signed-off-by: Sven Verdoolaege <[email protected]>

…tive

The isl AST generator will always produce division of this form.
For those created by the user, it's the user's responsibility.

Requested-by: Uday Reddy B <[email protected]>
Signed-off-by: Sven Verdoolaege <[email protected]>

This function constructs a new piecewise affine expression defined over
a one-dimensional parameter space where the parameter dimension
identifier is 'id' and the value of the piecewise affine expression is
the single parameter dimension over the full universe domain.

This function simplifies the construction of parameter expressions.
Specifically, there is no need to talk about set dimensions or even set
spaces in case parameter only expressions are constructed.

Signed-off-by: Tobias Grosser <[email protected]>

This function constructs a new piecewise affine expression defined over
a zero-dimensional parameter space. The value of the piecewise affine
expression is the constant value passed to this function.

This function simplifies the construction of parameter expressions.
Specifically, there is no need to talk about set dimensions or even set
spaces in case parameter only expressions are constructed. Constant
piecewise expressions with zero parameter dimensions can be combined
with other parameter-space only dimensions thanks to isl auto-alignment
of parameter dimensions.

Signed-off-by: Tobias Grosser <[email protected]>

This function constructs a new piecewise affine expression defined over
a zero-dimensional parameter space. The value of the piecewise affine
expression is the constant value passed to this function.

This function simplifies the construction of parameter expressions.
Specifically, there is no need to talk about set dimensions or even set
spaces in case parameter only expressions are constructed. Constant
piecewise expressions with zero parameter dimensions can be combined
with other parameter-space only dimensions thanks to isl auto-alignment
of parameter dimensions.

Signed-off-by: Tobias Grosser <[email protected]>