Age | Commit message (Collapse) | Author | Files | Lines |
|
This was missing from 73d4b81 (add isl_val abstraction,
Sun Apr 21 22:59:57 2013 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
An isl_val can represent integer and rational values as well as some
special values. isl_vals are meant to replace isl_ints in the external
interface as well as some abuses of isl_qpolynomials.
The advantage of isl_vals is that they behave like other isl objects and
that they do not expose how integer values are represented internally.
This means that the user will not have to take into account that GMP
is being used and that GMP can be replaced by another library without
affecting the user.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
We will shortly be introducing a new isl_val abstraction
that is meant to replace isl_int as well as some abuses of isl_qpolynomial.
To implement this new abstraction, we will need some additional
isl_int_* functions. However, we do not want to publicly expose
these isl_int_* functions since we do not want to encourage their
use by external users.
We therefore create a private copy of isl/int.h where we can
add the additional functions. Once the transition is complete,
the public version can be removed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Some of the isl_*_list types were declared together in isl/list.h.
It seems cleaner to declare them together with the corresponding isl_* instead.
Similarly, these types were defined together in isl_list_private.h and
are now defined together with the corresponding isl_*.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Reported-by: Richard Biener <rguenther@suse.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
This function was renamed in 461a2cd (rename isl_basic_set_add to
isl_basic_set_add_dims, Mon Oct 1 10:55:08 2012 +0200), but it appears
that it is being used by CLooG. Reintroduce the symbol for backward
compatibility, but mark it "deprecated" so that it will hopefully
not be used by new users.
Reported-by: Jack Howarth <howarth@bromo.med.uc.edu>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Apparently sed as available on Mac, requires a terminating semicolon
in the command list. As gnu-sed is OK with and without the semicolon
we add it for compatibility.
Note that the "{" command of historical seds may not support multiple
commands on a single line.
Reported-by: Georg <georggcc@googlemail.com>
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
This functionality is similar to that offered by CLooG and codegen(+).
The implementation in isl allows for a bit more control on how
the ASTs are generated by means of fairly flexible options.
It also has proper support for nested AST generation.
The outputs of all test cases have been verified by parsing them
using pet and then checking that the set of calls corresponds exactly
to the domain of the schedule and that they are called in an order
that matches the schedule.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
We had two nearly identical implementations in isl_schedule.c
and isl_transitive_closure.c.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
This patch replaces the old LGPL licenced quicksort implementation taken
from glibc.
The call sites are adjusted to the fact that isl_sort can now fail
(due to failed memory allocation).
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
We also add some getters and setters for options that are known to
be used from outside of isl.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
This patch allows --with-gmp=build (and thus makes --with-gmp-builddir= work)
This patch is required to restore possibility to build gmp and cloog in a
combined tree with gcc.
Signed-off-by: Serge Belyshev <belyshev@depni.sinp.msu.ru>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Currently, we only support the generation of a Python interface.
In particular, a ctypes based interface.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
An isl_multi_aff object represents a sequence of
zero or more affine expressions, all defined on the same domain space.
As such, they are different from isl_aff_lists as the elements in a list
may have different spaces and no space information is available at all
about empty lists.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
The isl_div abstraction has been superseded by the isl_aff abstraction,
so use that instead.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
The old name was confusing because the name suggested that the object
represents a single dimension, while in fact it represents an entire space.
The documented isl_dim based names are for backward compatibility.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
The file was added to the repository in 4017751 (mark some functions
as (possibly) unused, Wed May 25 14:09:01 2011 +0200), but it wasn't
added to EXTRA_DIST.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
isl is at the moment free of warnings with 'clang -Wall'. To maintain this
enable -Wall by default. In case false positives show up, we disable the
corresponding warning type by adding e.g. -Wno-return-type. To disable all
warnings configure or compile with CFLAGS=-Wno-all.
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
The new interface exposes more properties of the constructed schedule.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Affine expressions will be used in a subsequent commit to specify
the objective function for an ILP problem, but they should hopefully
be more generally useful.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Local spaces should hopefully replaced the duplicate functionality
in basic sets and quasi-polynomials.
In a later commit, we will start by using it in affine expressions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
They do this through the use of isl_int_* macros.
Not explicitly linking to gmp creates problems with some combinations
of libtool and ld, notably those that come with recent debians.
Reported-by: Albert Cohen <Albert.Cohen@inria.fr>
Tested-by: Albert Cohen <Albert.Cohen@inria.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
This is still a very preliminary implementation.
The algorithm used is similar to that of Pluto, except that
it may compute parametric schedules and schedules with negative
coefficients. The current implementation probably tries to fuse too much.
This should be made tunable at some point.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
|
|
Usually, this directory already exists because the library has
been copied there, but during a parallel make install this may
not have happened yet.
Reported-by: dirtyepic <dirtyepic.sk@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|
|
Reported-by: Kpucko <slashdevslashzerr0@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
|