platform/upstream/isl.git
14 years agoadd isl_pw_*_domain
Sven Verdoolaege [Thu, 11 Mar 2010 14:13:11 +0000 (15:13 +0100)]
add isl_pw_*_domain

14 years agoisl 0.02 isl-0.02
Sven Verdoolaege [Wed, 10 Mar 2010 15:27:50 +0000 (16:27 +0100)]
isl 0.02

14 years agoisl_pw_templ.c: copy: fix return
Sven Verdoolaege [Wed, 10 Mar 2010 16:32:00 +0000 (17:32 +0100)]
isl_pw_templ.c: copy: fix return

14 years agoisl_polynomial.c: qpolynomial_fold_alloc: fix up condition
Sven Verdoolaege [Wed, 10 Mar 2010 16:00:12 +0000 (17:00 +0100)]
isl_polynomial.c: qpolynomial_fold_alloc: fix up condition

14 years agoupdate AUTHORS
Sven Verdoolaege [Wed, 10 Mar 2010 15:25:37 +0000 (16:25 +0100)]
update AUTHORS

14 years agoisl_pip: use isl_set_print instead of isl_set_dump to print results
Sven Verdoolaege [Wed, 10 Mar 2010 12:43:52 +0000 (13:43 +0100)]
isl_pip: use isl_set_print instead of isl_set_dump to print results

14 years agoadd some pip tests from the piplib distribution
Sven Verdoolaege [Wed, 10 Mar 2010 12:40:08 +0000 (13:40 +0100)]
add some pip tests from the piplib distribution

14 years agodon't print newline in ISL_FORMAT_ISL
Sven Verdoolaege [Wed, 10 Mar 2010 14:22:26 +0000 (15:22 +0100)]
don't print newline in ISL_FORMAT_ISL

14 years agouse typedef to ensure argument to mp_get_memory_functions has C linkage
Sven Verdoolaege [Tue, 9 Mar 2010 15:49:39 +0000 (16:49 +0100)]
use typedef to ensure argument to mp_get_memory_functions has C linkage

14 years agoadd isl_obj_pw_qpolynomial_fold
Sven Verdoolaege [Mon, 8 Mar 2010 21:26:35 +0000 (22:26 +0100)]
add isl_obj_pw_qpolynomial_fold

14 years agoadd isl_pw_qpolynomial_fold_eval
Sven Verdoolaege [Tue, 9 Mar 2010 10:47:02 +0000 (11:47 +0100)]
add isl_pw_qpolynomial_fold_eval

14 years agoadd isl_pw_qpolynomial_fold
Sven Verdoolaege [Mon, 8 Mar 2010 14:04:57 +0000 (15:04 +0100)]
add isl_pw_qpolynomial_fold

14 years agoadd isl_pw_qpolynomial_foreach_lifted_piece
Sven Verdoolaege [Sun, 7 Mar 2010 18:01:09 +0000 (19:01 +0100)]
add isl_pw_qpolynomial_foreach_lifted_piece

14 years agoadd isl_set_lift
Sven Verdoolaege [Sun, 7 Mar 2010 17:58:51 +0000 (18:58 +0100)]
add isl_set_lift

14 years agoadd isl_set_from_point
Sven Verdoolaege [Sun, 7 Mar 2010 17:57:57 +0000 (18:57 +0100)]
add isl_set_from_point

14 years agoadd isl_mat_insert_cols
Sven Verdoolaege [Sun, 7 Mar 2010 17:56:19 +0000 (18:56 +0100)]
add isl_mat_insert_cols

14 years agoadd isl_pw_qpolynomial_dim
Sven Verdoolaege [Sun, 7 Mar 2010 09:56:10 +0000 (10:56 +0100)]
add isl_pw_qpolynomial_dim

14 years agoadd isl_pw_qpolynomial_foreach_piece
Sven Verdoolaege [Sat, 6 Mar 2010 15:57:09 +0000 (16:57 +0100)]
add isl_pw_qpolynomial_foreach_piece

14 years agoadd isl_pw_qpolynomial_get_dim
Sven Verdoolaege [Fri, 5 Mar 2010 11:54:17 +0000 (12:54 +0100)]
add isl_pw_qpolynomial_get_dim

14 years agoadd isl_div_dim
Sven Verdoolaege [Sat, 6 Mar 2010 13:53:13 +0000 (14:53 +0100)]
add isl_div_dim

14 years agoisl_stream: allow "_" in tokens
Sven Verdoolaege [Tue, 9 Mar 2010 11:31:19 +0000 (12:31 +0100)]
isl_stream: allow "_" in tokens

14 years agoisl_stream: accept "@" token
Sven Verdoolaege [Sun, 7 Mar 2010 17:55:57 +0000 (18:55 +0100)]
isl_stream: accept "@" token

14 years agoisl_map_read: accept '*' in affine expressions
Sven Verdoolaege [Sat, 6 Mar 2010 15:43:10 +0000 (16:43 +0100)]
isl_map_read: accept '*' in affine expressions

14 years agoisl_qpolynomial_eval: use consistent dimension for result
Sven Verdoolaege [Sun, 7 Mar 2010 18:00:10 +0000 (19:00 +0100)]
isl_qpolynomial_eval: use consistent dimension for result

14 years agodoc: update to removal of piplib as a submodule
Sven Verdoolaege [Thu, 4 Mar 2010 16:04:33 +0000 (17:04 +0100)]
doc: update to removal of piplib as a submodule

14 years agodoc: fix typo
Sven Verdoolaege [Thu, 4 Mar 2010 15:15:29 +0000 (16:15 +0100)]
doc: fix typo

14 years agoisl_stream_read_obj: add support for reading piecewise quasipolynomials
Sven Verdoolaege [Thu, 4 Mar 2010 11:33:34 +0000 (12:33 +0100)]
isl_stream_read_obj: add support for reading piecewise quasipolynomials

14 years agoadd isl_stream_read_obj
Sven Verdoolaege [Fri, 19 Feb 2010 12:11:21 +0000 (13:11 +0100)]
add isl_stream_read_obj

14 years agoadd generic isl_obj
Sven Verdoolaege [Thu, 4 Mar 2010 10:37:21 +0000 (11:37 +0100)]
add generic isl_obj

14 years agoadd support for (piecewise) quasipolynomials
Sven Verdoolaege [Thu, 4 Mar 2010 11:33:24 +0000 (12:33 +0100)]
add support for (piecewise) quasipolynomials

14 years agoadd isl_map_move
Sven Verdoolaege [Thu, 4 Mar 2010 09:01:54 +0000 (10:01 +0100)]
add isl_map_move

14 years agoisl_stream: parse NaN
Sven Verdoolaege [Wed, 3 Mar 2010 22:04:34 +0000 (23:04 +0100)]
isl_stream: parse NaN

14 years agoisl_stream: parse infty
Sven Verdoolaege [Wed, 3 Mar 2010 21:22:21 +0000 (22:22 +0100)]
isl_stream: parse infty

14 years agoexport isl_stream.h
Sven Verdoolaege [Sun, 28 Feb 2010 08:31:35 +0000 (09:31 +0100)]
export isl_stream.h

14 years agoisl_stream: allow user specified keywords
Sven Verdoolaege [Sat, 27 Feb 2010 10:12:26 +0000 (11:12 +0100)]
isl_stream: allow user specified keywords

14 years agoisl_stream: add some auxiliary functions
Sven Verdoolaege [Tue, 23 Feb 2010 14:28:15 +0000 (15:28 +0100)]
isl_stream: add some auxiliary functions

14 years agoisl_stream: read "definition" token ":="
Sven Verdoolaege [Fri, 19 Feb 2010 12:12:10 +0000 (13:12 +0100)]
isl_stream: read "definition" token ":="

14 years agoadd isl_int_tdiv_q
Sven Verdoolaege [Mon, 1 Mar 2010 19:21:16 +0000 (20:21 +0100)]
add isl_int_tdiv_q

14 years agoprivately export isl_set_contains_point
Sven Verdoolaege [Mon, 1 Mar 2010 14:40:25 +0000 (15:40 +0100)]
privately export isl_set_contains_point

Since we are now using the isl_point abstraction, we are
more strict about dimensions and so the code in pip.c that
actually used the wrong dimensions but just happened to work,
needs to be changed too.

14 years agoadd isl_set_count
Sven Verdoolaege [Thu, 4 Mar 2010 09:50:28 +0000 (10:50 +0100)]
add isl_set_count

14 years agoadd isl_set_sample_point
Sven Verdoolaege [Mon, 1 Mar 2010 10:20:08 +0000 (11:20 +0100)]
add isl_set_sample_point

14 years agoadd isl_point
Sven Verdoolaege [Thu, 4 Mar 2010 11:38:31 +0000 (12:38 +0100)]
add isl_point

14 years agoisl_basic_set_scan: make sure sufficient rows are allocated in tableau
Sven Verdoolaege [Mon, 1 Mar 2010 13:24:52 +0000 (14:24 +0100)]
isl_basic_set_scan: make sure sufficient rows are allocated in tableau

14 years agoisl_map_subtract: only add divs when needed
Sven Verdoolaege [Thu, 4 Mar 2010 09:08:47 +0000 (10:08 +0100)]
isl_map_subtract: only add divs when needed

Before, the divs from all basic maps were aligne with each
other, resulting in all divs being added to all basic maps,
even if the arguments of the subtract operation are disjoint.
Now, divs are only added at the point where they are needed
and removed again if it turns out that they are not needed
in the difference.

14 years agoadd isl_map_order_divs
Sven Verdoolaege [Tue, 2 Mar 2010 11:41:58 +0000 (12:41 +0100)]
add isl_map_order_divs

14 years agoextract isl_tab_add_div from isl_tab_pip.c
Sven Verdoolaege [Thu, 4 Mar 2010 10:07:42 +0000 (11:07 +0100)]
extract isl_tab_add_div from isl_tab_pip.c

14 years agoisl_vec.c: fix minor whitespace issue
Sven Verdoolaege [Mon, 1 Mar 2010 11:18:06 +0000 (12:18 +0100)]
isl_vec.c: fix minor whitespace issue

14 years agoadd isl_set_complement
Sven Verdoolaege [Mon, 1 Mar 2010 07:53:58 +0000 (08:53 +0100)]
add isl_set_complement

14 years agoexport isl_map_make_disjoint
Sven Verdoolaege [Sun, 28 Feb 2010 08:55:14 +0000 (09:55 +0100)]
export isl_map_make_disjoint

14 years agoadd isl_hash_table_foreach
Sven Verdoolaege [Fri, 19 Feb 2010 12:08:52 +0000 (13:08 +0100)]
add isl_hash_table_foreach

14 years agoisl_map_print: extract out print_disjuncts
Sven Verdoolaege [Sat, 20 Feb 2010 21:02:50 +0000 (22:02 +0100)]
isl_map_print: extract out print_disjuncts

14 years agoadd isl_set_fast_is_universe
Sven Verdoolaege [Tue, 23 Feb 2010 14:52:27 +0000 (15:52 +0100)]
add isl_set_fast_is_universe

14 years agoisl_input.c: accept_affine: fix memory leak on error path
Sven Verdoolaege [Sun, 21 Feb 2010 21:41:06 +0000 (22:41 +0100)]
isl_input.c: accept_affine: fix memory leak on error path

14 years agoisl_map_intersect: detect empty result also in case of adding a single constraint
Sven Verdoolaege [Sat, 20 Feb 2010 23:03:57 +0000 (00:03 +0100)]
isl_map_intersect: detect empty result also in case of adding a single constraint

Commit ed3b444 (isl_map_intersect: add special case for adding a single
constraint) added a special case of adding a single constraint but
neglected to detect an empty result in this special case.

14 years agoisl_map_read: skip until the end of the last line when reading in PolyLib format
Sven Verdoolaege [Wed, 3 Mar 2010 13:13:58 +0000 (14:13 +0100)]
isl_map_read: skip until the end of the last line when reading in PolyLib format

14 years agoisl_stream_next_token_on_same_line: check if last token read was a newline
Sven Verdoolaege [Wed, 3 Mar 2010 13:08:36 +0000 (14:08 +0100)]
isl_stream_next_token_on_same_line: check if last token read was a newline

14 years agoisl_set_wrap_facet: make sure set is marked rational
Sven Verdoolaege [Wed, 3 Mar 2010 15:23:21 +0000 (16:23 +0100)]
isl_set_wrap_facet: make sure set is marked rational

When isl_set_wrap_facet is used from with isl_convex_hull.c, then
the set should already have been marked rational, but when
called from outside, it may not, so we have to do it explicitly.

14 years agoisl_coalesce.c: fix typo in comment
Sven Verdoolaege [Wed, 3 Mar 2010 15:22:46 +0000 (16:22 +0100)]
isl_coalesce.c: fix typo in comment

14 years agoisl_map_read: accept list of predicated elements
Sven Verdoolaege [Fri, 19 Feb 2010 18:05:50 +0000 (19:05 +0100)]
isl_map_read: accept list of predicated elements

14 years agoisl_map_read: extract out parsing of map body
Sven Verdoolaege [Fri, 19 Feb 2010 16:01:31 +0000 (17:01 +0100)]
isl_map_read: extract out parsing of map body

14 years agoisl_map_read: add dummy variable name for unnamed variables
Sven Verdoolaege [Fri, 19 Feb 2010 17:57:13 +0000 (18:57 +0100)]
isl_map_read: add dummy variable name for unnamed variables

vars_drop assumes there is struct variable in the list of struct
variables for each variable in the dimension specification.

14 years agoisl_stream: accept ";" token
Sven Verdoolaege [Fri, 19 Feb 2010 10:55:14 +0000 (11:55 +0100)]
isl_stream: accept ";" token

14 years agouse -O1 optimization level for gcc 4.2
Sven Verdoolaege [Fri, 19 Feb 2010 08:26:19 +0000 (09:26 +0100)]
use -O1 optimization level for gcc 4.2

gcc (GCC) 4.2.4 (Ubuntu 4.2.4-1ubuntu4) seems to miscopile isl with -O2

14 years agodrop comma at the end of enumerations in include files
Sven Verdoolaege [Fri, 19 Feb 2010 08:00:05 +0000 (09:00 +0100)]
drop comma at the end of enumerations in include files

Sun's CC compiler warns about them.

14 years agoisl_map_read: accept affine combinations of earlier variables in variable tuples
Sven Verdoolaege [Thu, 18 Feb 2010 20:37:04 +0000 (21:37 +0100)]
isl_map_read: accept affine combinations of earlier variables in variable tuples

14 years agoisl_map_read: construct basic map while reading variable tuples
Sven Verdoolaege [Thu, 18 Feb 2010 19:35:04 +0000 (20:35 +0100)]
isl_map_read: construct basic map while reading variable tuples

14 years agoisl_map_print: add primes to duplicate names
Sven Verdoolaege [Thu, 18 Feb 2010 16:29:09 +0000 (17:29 +0100)]
isl_map_print: add primes to duplicate names

And, conversely, accept primes in identifier names in isl_map_read.

14 years agoisl_map_transitive_closure: improve accuracy by copying some mixed delta constraints
Sven Verdoolaege [Thu, 18 Feb 2010 14:56:47 +0000 (15:56 +0100)]
isl_map_transitive_closure: improve accuracy by copying some mixed delta constraints

14 years agoisl_map_transitive_closure: perform exactness check per component
Sven Verdoolaege [Thu, 18 Feb 2010 14:13:55 +0000 (15:13 +0100)]
isl_map_transitive_closure: perform exactness check per component

14 years agoisl_map_transitive_closure: reformulate exactness test in terms of extended paths
Sven Verdoolaege [Thu, 18 Feb 2010 13:50:05 +0000 (14:50 +0100)]
isl_map_transitive_closure: reformulate exactness test in terms of extended paths

This will make it easier to compute exactness per component.

14 years agoadd a transitive closure example from the Omega test suite
Sven Verdoolaege [Tue, 16 Feb 2010 11:42:27 +0000 (12:42 +0100)]
add a transitive closure example from the Omega test suite

14 years agoisl_map_transitive_closure: compute power on strongly connected components
Sven Verdoolaege [Wed, 17 Feb 2010 21:06:58 +0000 (22:06 +0100)]
isl_map_transitive_closure: compute power on strongly connected components

By splitting the disjuncts of the input map into strongly connected
components, we can improve the accurateness of the result.
The computation may be more expensive, however, especially
the exactness test.

14 years agoisl_map_transitive_closure: intersect with domain and range before projection
Sven Verdoolaege [Wed, 17 Feb 2010 21:09:48 +0000 (22:09 +0100)]
isl_map_transitive_closure: intersect with domain and range before projection

This will allow us to compute powers per component in the graph of disjuncts.

14 years agoisl_map_transitive_closure: extract out construction of extended path
Sven Verdoolaege [Mon, 15 Feb 2010 20:47:26 +0000 (21:47 +0100)]
isl_map_transitive_closure: extract out construction of extended path

14 years agoisl_map_transitive_closure: move acyclicity test up to where path is constructed
Sven Verdoolaege [Wed, 17 Feb 2010 18:46:14 +0000 (19:46 +0100)]
isl_map_transitive_closure: move acyclicity test up to where path is constructed

This will allow us to compute acyclicity per component in the graph
of disjuncts.

14 years agoadd isl_set_lower_bound_si
Sven Verdoolaege [Tue, 16 Feb 2010 11:26:10 +0000 (12:26 +0100)]
add isl_set_lower_bound_si

14 years agoisl_map_print: use consistent names on all disjuncts
Sven Verdoolaege [Wed, 17 Feb 2010 18:39:42 +0000 (19:39 +0100)]
isl_map_print: use consistent names on all disjuncts

Although the dimension specifications of the basic maps in a map
are compatible with that of the map itself, the names need not
be the same.  Use the dimension specification of the map itself
whenever we need to print out a name to ensure the names are
consistent.

14 years agoisl_cat: allow specification of output format on command line
Sven Verdoolaege [Mon, 15 Feb 2010 21:25:23 +0000 (22:25 +0100)]
isl_cat: allow specification of output format on command line

14 years agoisl_map_print: support ISL_FORMAT_POLYLIB
Sven Verdoolaege [Mon, 15 Feb 2010 21:24:56 +0000 (22:24 +0100)]
isl_map_print: support ISL_FORMAT_POLYLIB

14 years agoisl_map_coalesce: fix some regressions introduced by recent extensions
Sven Verdoolaege [Wed, 17 Feb 2010 18:16:17 +0000 (19:16 +0100)]
isl_map_coalesce: fix some regressions introduced by recent extensions

c4dc489 (isl_map_coalesce: handle more cases) extended the possibilities
for fusing two basic maps, but introduced some regressions.
Specifically, a "continue" was missing and the code for copying
integer division definitions was removed by mistake.

14 years agoadd isl_closure test application
Sven Verdoolaege [Sun, 14 Feb 2010 18:04:13 +0000 (19:04 +0100)]
add isl_closure test application

14 years agoadd transitive closure example from Kelly's 1996 paper
Sven Verdoolaege [Sat, 13 Feb 2010 20:15:40 +0000 (21:15 +0100)]
add transitive closure example from Kelly's 1996 paper

14 years agoisl_map_transitive_closure: construct general paths
Sven Verdoolaege [Sat, 13 Feb 2010 22:10:07 +0000 (23:10 +0100)]
isl_map_transitive_closure: construct general paths

14 years agoisl_map_transitive_closure: prepare for the construction of general paths
Sven Verdoolaege [Sat, 13 Feb 2010 14:20:46 +0000 (15:20 +0100)]
isl_map_transitive_closure: prepare for the construction of general paths

In particular, integrate the collection of constant steps in construct_path.

14 years agoisl_map_transitive_closure: construct paths that can be composed
Sven Verdoolaege [Sat, 13 Feb 2010 13:36:23 +0000 (14:36 +0100)]
isl_map_transitive_closure: construct paths that can be composed

In particular, keep track of the number of steps in an extra
coordinates such that composition simply sums the number of steps.

14 years agoisl_transitive_closure: extract out construction of path from map_power
Sven Verdoolaege [Sat, 13 Feb 2010 13:51:44 +0000 (14:51 +0100)]
isl_transitive_closure: extract out construction of path from map_power

We want to generalize the construction to general mappings in a later
commit.

14 years agoisl_map_transitive_closure: use more generic acyclicity test
Sven Verdoolaege [Sat, 13 Feb 2010 13:02:00 +0000 (14:02 +0100)]
isl_map_transitive_closure: use more generic acyclicity test

14 years agoisl_map_print: add parentheses around disjuncts
Sven Verdoolaege [Mon, 15 Feb 2010 09:14:08 +0000 (10:14 +0100)]
isl_map_print: add parentheses around disjuncts

14 years agoisl_hash_table: use size that corresponds to the number of bits
Sven Verdoolaege [Mon, 15 Feb 2010 09:00:39 +0000 (10:00 +0100)]
isl_hash_table: use size that corresponds to the number of bits

14 years agoisl_hash_table: grow table when we run out of entries
Sven Verdoolaege [Mon, 15 Feb 2010 08:46:01 +0000 (09:46 +0100)]
isl_hash_table: grow table when we run out of entries

14 years agoisl_map_coalesce: only use non-redundant constraints as potential facets
Sven Verdoolaege [Mon, 15 Feb 2010 08:25:18 +0000 (09:25 +0100)]
isl_map_coalesce: only use non-redundant constraints as potential facets

14 years agoadd isl_set_fix_si
Sven Verdoolaege [Sat, 13 Feb 2010 10:05:40 +0000 (11:05 +0100)]
add isl_set_fix_si

14 years agoisl_map_read: accept chains of comparisons
Sven Verdoolaege [Sat, 13 Feb 2010 09:39:01 +0000 (10:39 +0100)]
isl_map_read: accept chains of comparisons

14 years agoexport isl_map_align_divs
Sven Verdoolaege [Wed, 10 Feb 2010 10:25:25 +0000 (11:25 +0100)]
export isl_map_align_divs

14 years agoisl_map_read: forget existentially quantified variables after each disjunct
Sven Verdoolaege [Wed, 10 Feb 2010 10:14:17 +0000 (11:14 +0100)]
isl_map_read: forget existentially quantified variables after each disjunct

14 years agoisl_input.c: remove needless indirection
Sven Verdoolaege [Wed, 10 Feb 2010 10:08:06 +0000 (11:08 +0100)]
isl_input.c: remove needless indirection

14 years agodoc: document how to inspect sets and relations
Sven Verdoolaege [Tue, 9 Feb 2010 15:46:55 +0000 (16:46 +0100)]
doc: document how to inspect sets and relations

14 years agoexport isl_map_compute_divs
Sven Verdoolaege [Mon, 8 Feb 2010 19:17:39 +0000 (20:17 +0100)]
export isl_map_compute_divs

14 years agoisl_constraint_div: make sure requested div is a known div
Sven Verdoolaege [Tue, 9 Feb 2010 10:48:38 +0000 (11:48 +0100)]
isl_constraint_div: make sure requested div is a known div

14 years agodoc: drop documentation of _dump functions
Sven Verdoolaege [Tue, 9 Feb 2010 10:39:55 +0000 (11:39 +0100)]
doc: drop documentation of _dump functions

We have proper output functions now, so these should no longer be used.