AX_DETECT_GIT_HEAD: detect git version with newer versions of git

In particular, if isl is used as a submodule, then in newer versions
of git, .git may be a file containing the path of the real directory
that has the repository.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
.gitignore: add test-driver

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_node_print: avoid dangling else warnings on printed AST

Some compilers (notably clang) warn about dangling else if
an if statement with an else branch appears inside a for loop
or another if statement without a surrounding block.
Print a block around such if statements to avoid this warning.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_basic_map_simplify: fix elimination of unit coefficient known divs

If a known div appears with a unit coefficient in a constraint,
then it is eliminated from that constraint in order to simplify
the constraint.
However, one if the div constraints may have been eliminated
as being redundant with respect to the modified constraint and
the elimination of the div from the constraint may therefore
result in a loss of information about the div from the constraints.
To make sure this problem does not occur, we (re)introduce
the div constraint that could potentially have been eliminated
with respect to the modified constraint.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Add __isl_take to isl_constraint_set_coefficient_val

Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Add isl_schedule_constraints_copy

The wrapper generator in islpy depends on there being a "copy" method
for (to first order) all types for which it writes wrappers, as
"__isl_take" arguments are automatically copied on input.

Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Merge branch 'maint'
doc: fix leftover from isl_dim to isl_space rename

We missed this in d07eed3 (rename isl_dim to isl_space,
Sun Aug 21 10:38:41 2011 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl 0.12.2

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_aff_set_coefficient_si: fix out-of-bounds check

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
configure.ac: add llvm-config --system-libs to CLANG_LIBS

Recent versions of llvm-config split off the --system-libs from the --ldflags.
Curiously, llvm-config --system-libs first prints a line with only spaces,
so we need to pick up the last line from the output.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
update for rename of FunctionProtoType accessors from 'Arg' to 'Param'

We usually use the new name in the code and map that to the old name
for older versions, but in this case, the new method name is also
used in other objects and those names should not be mapped to the old name.
It is therefore easier to keep using the old name and to map that to
the new name.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
update for rename of getResultType to getReturnType

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_multi_templ.c: fix documentation of isl_multi_*_product functions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_val_negone

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_*_to_*_drop

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_map_order_le and isl_map_order_ge

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
document isl_map_from_{domain,range}

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
user.pod: fix internal links

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc: fix typo

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>