summaryrefslogtreecommitdiff
path: root/Makefile.am
AgeCommit message (Collapse)AuthorFilesLines
2013-06-18Makefile.am: add isl_val_private.h to libisl.la sourcesSven Verdoolaege1-0/+1
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>
2013-05-28temporarily make isl_val_int_from_isl_int availableSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-05-28add GMP specific isl_val functionsSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2013-05-28add isl_val abstractionSven Verdoolaege1-0/+2
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>
2013-05-25create private copy of isl/int.hSven Verdoolaege1-0/+1
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>
2013-04-22declare isl_*_list together with isl_*Sven Verdoolaege1-2/+1
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>
2013-04-09add missing interface/all.h and interface/isl.py.top to distributionSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-12-04add LICENSE to the distributionSven Verdoolaege1-0/+1
Reported-by: Richard Biener <rguenther@suse.de> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-11-30reintroduce isl_basic_set_add symbolSven Verdoolaege1-0/+1
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>
2012-09-22Make sed expression in Makefile compatible with BSD style sedTobias Grosser1-1/+1
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>
2012-09-18add support for generating ASTs from schedule relationsSven Verdoolaege1-2/+19
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>
2012-08-02extract common implementation of Tarjan's algorithmSven Verdoolaege1-0/+2
We had two nearly identical implementations in isl_schedule.c and isl_transitive_closure.c. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-02add isl_map_{lexmin,lexmax}_pw_multi_affSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-02Use an MIT licensed mergesort as the sorting algorithm for islTobias Grosser1-2/+2
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>
2012-07-13add doc/SubmittingPatches to the distributionSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-06split off declarations of isl_union_map and isl_union_setSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-03-07add isl_map_fixed_power and isl_union_map_fixed_powerSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
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>
2011-11-06allow --with-gmp=buildSerge Belyshev1-5/+5
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>
2011-10-06add extract_interface for constructing interfaces to other languagesSven Verdoolaege1-2/+5
Currently, we only support the generation of a Python interface. In particular, a ctypes based interface. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-10-02add isl_multi_affSven Verdoolaege1-0/+3
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>
2011-09-13drop isl_div abstractionSven Verdoolaege1-3/+0
The isl_div abstraction has been superseded by the isl_aff abstraction, so use that instead. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-1/+3
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>
2011-09-01split off declarations from isl_polynomial.h to separate fileSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-01merge isl_*_dump functionsSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-07-28privately export isl_token_newSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-07-20introduce identifiersSven Verdoolaege1-2/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-07-09substitute EXEEXT in bound_test.sh and pip_test.shSven Verdoolaege1-2/+0
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-07-07hide isl_constraint internalsSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-07-02split off declarations for isl_aff and isl_pw_aff to separate fileSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-06-25split off type declarations for isl_map and isl_set to separate filesSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-06-25add isl_config_post.h to distributionSven Verdoolaege1-0/+1
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>
2011-06-07Enable -Wall if compiling with clangTobias Grosser1-0/+1
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>
2011-06-05scheduling: introduce band forest interfaceSven Verdoolaege1-0/+3
The new interface exposes more properties of the constructed schedule. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-06-05isl_schedule.c: extract out definition of isl_schedule to isl_schedule_private.hSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-06-04generalize isl_basic_set_list to generic listsSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-05-16add isl_affSven Verdoolaege1-0/+3
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>
2011-05-16add isl_local_spaceSven Verdoolaege1-0/+3
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>
2011-05-16hide isl_div internalsSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-05-15explicitly link in gmp in applications that reference gmp symbolsSven Verdoolaege1-4/+8
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>
2011-04-21add isl_union_set_compute_scheduleSven Verdoolaege1-0/+2
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>
2011-04-21add isl_quicksort (copied from glibc)Sven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-04-21add isl_hmap_map_basic_setSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-04-21isl_dim_map: extract from isl_map.cSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-04-21add isl_union_set_coefficients and isl_union_set_solutionsSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-04-19Merge branch 'maint'Sven Verdoolaege1-0/+1
2011-04-19make sure destination for GDB module exists before installingSven Verdoolaege1-0/+1
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>
2011-04-11use silent make rulesSven Verdoolaege1-1/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-03-15respect DESTDIR when installing isl.pySven Verdoolaege1-2/+3
Reported-by: Kpucko <slashdevslashzerr0@gmail.com> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 17:16:09 +0000