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>
Do not dereference a NULL pointer in tab_for_lexmin

When using the compute-out feature, we may return a tab that is NULL.
By caching the offset and the length of the sequence we want to negate,
we avoid a segfault that we previously run into when deriving values
for the number of dimensions from the tab due to the tab pointer being
NULL.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Merge branch 'maint'
isl_*_to_*_set: fix error handling

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c: fix typo in comment

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_space_product: allow set spaces as inputs

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_union_map.c: update documentation

We missed this in 5ca71c2 (add isl_union_set_preimage_pw_multi_aff,
Fri Oct 25 15:51:59 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add missing declaration for isl_union_map_preimage_domain_pw_multi_aff

The declaration was left out due to a typo in 5ca71c2 (add
isl_union_set_preimage_pw_multi_aff, Fri Oct 25 15:51:59 2013 +0200).

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

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

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

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_basic_{set,map}_read_*: improve error message

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
also consider memory allocations to be "operations" on the isl_ctx

In particular, take into account the memory allocations when
a maximal number of operations has been set.  This has been
reported by Tobias Grosser to make this facility more "predictable".
Similarly, also check for an explicit abort by the user
on each memory allocation.

Before this commit, these two checks were only being performed
on each pivot in the LP solver.

Requested-by: Tobias Grosser <tobias@grosser.es>
Tested-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/SubmittingPatches: explain how to submit patch revisions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
interface/extract_interface.cc: add space between literal and identifier

This is required by C++11 and recent versions of clang require
compilation with -std=c++11.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
update for change in arguments of CompilerInstance::createPreprocessor

In particular, in recent versions of clang,
CompilerInstance::createPreprocessor takes an additional
TranslationUnitKind argument.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
interface/extract_interface.cc: explicitly include llvm/ADT/OwningPtr.h

This header would get included implicitly in older versions of clang,
but the use of llvm::OwningPtr has been replaced by std::unique_ptr
in recent versions of clang.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_union_map_alloc: plug memory leak on error path

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>