platform/upstream/isl.git
14 years agoexport isl_set_split_dims
Sven Verdoolaege [Thu, 1 Apr 2010 16:13:51 +0000 (18:13 +0200)]
export isl_set_split_dims

14 years agoadd isl_set_recession_cone
Sven Verdoolaege [Thu, 1 Apr 2010 15:17:42 +0000 (17:17 +0200)]
add isl_set_recession_cone

14 years agoadd isl_set_dim_is_bounded
Sven Verdoolaege [Thu, 1 Apr 2010 14:39:52 +0000 (16:39 +0200)]
add isl_set_dim_is_bounded

14 years agoisl_map_transitive_closure: break early if input map doesn't compose with itself
Sven Verdoolaege [Wed, 31 Mar 2010 19:37:00 +0000 (21:37 +0200)]
isl_map_transitive_closure: break early if input map doesn't compose with itself

14 years agoisl_map_transitive_closure: coalesce after each step
Sven Verdoolaege [Wed, 31 Mar 2010 19:19:22 +0000 (21:19 +0200)]
isl_map_transitive_closure: coalesce after each step

Without coalescing, the number of disjuncts in the result
is exponential in the number of disjuncts in the input.

14 years agoexport isl_pw_qpolynomial_coalesce
Sven Verdoolaege [Tue, 30 Mar 2010 15:26:11 +0000 (17:26 +0200)]
export isl_pw_qpolynomial_coalesce

14 years agoisl_tab.c: unrelax: restore row if variable is non-negative
Sven Verdoolaege [Tue, 30 Mar 2010 09:56:41 +0000 (11:56 +0200)]
isl_tab.c: unrelax: restore row if variable is non-negative

Unrelaxing a constraint means that the constraint is tightened.
The sample value may therefore become negative and then have to
restore the row again.  This is guaranteed to succeed because
the tableau was supposed to be in a valid state before the constraint
was relaxed.

14 years agoisl_tab.c: cut_to_hyperplane: add extra sanity check
Sven Verdoolaege [Tue, 30 Mar 2010 09:49:21 +0000 (11:49 +0200)]
isl_tab.c: cut_to_hyperplane: add extra sanity check

14 years agoadd isl_pw_qpolynomial_fold_size
Sven Verdoolaege [Sun, 28 Mar 2010 11:11:55 +0000 (13:11 +0200)]
add isl_pw_qpolynomial_fold_size

14 years agoadd isl_pw_qpolynomial_split_dims
Sven Verdoolaege [Sun, 28 Mar 2010 11:10:40 +0000 (13:10 +0200)]
add isl_pw_qpolynomial_split_dims

14 years agoisl_qpolynomial_max: fix detection of inactive variables
Sven Verdoolaege [Sat, 27 Mar 2010 12:21:00 +0000 (13:21 +0100)]
isl_qpolynomial_max: fix detection of inactive variables

Without this patch, some active set dimensions would be treated
as inactive and effectively be removed, resulting in an incorrect maximum.

14 years agodoc: fix transitive closure example
Sven Verdoolaege [Thu, 25 Mar 2010 15:21:08 +0000 (16:21 +0100)]
doc: fix transitive closure example

14 years agoisl_convex_hull.c: valid_direction: properly normalize valid direction
Sven Verdoolaege [Tue, 23 Mar 2010 23:07:14 +0000 (00:07 +0100)]
isl_convex_hull.c: valid_direction: properly normalize valid direction

The original code would only normalize all but one of the coordinates
of the valid direction, possibly resulting in a scaled direction, which
may no longer be valid.  Normalize the whole vector, resulting in only
a change of representation and not a change of direction.

14 years agoisl_convex_hull.c: simplify computation of initial facet constraint
Sven Verdoolaege [Tue, 23 Mar 2010 13:46:50 +0000 (14:46 +0100)]
isl_convex_hull.c: simplify computation of initial facet constraint

The old implementation was needlessly complicated and apparently
incorrect (witness the extra test case).
The simplified version passes the new test case.

The new test case is based on a bug report for CLooG/isl
by Muthu Manikandan <muthumanikandan@gmail.com>.

14 years agoexport isl_pw_qpolynomial_is_zero
Sven Verdoolaege [Mon, 22 Mar 2010 20:09:55 +0000 (21:09 +0100)]
export isl_pw_qpolynomial_is_zero

14 years agoadd isl_pw_qpolynomial_fold_dim
Sven Verdoolaege [Mon, 22 Mar 2010 18:21:21 +0000 (19:21 +0100)]
add isl_pw_qpolynomial_fold_dim

14 years agoadd isl_int_get_d
Sven Verdoolaege [Mon, 22 Mar 2010 14:15:19 +0000 (15:15 +0100)]
add isl_int_get_d

14 years agoadd isl_pw_qpolynomial_min
Sven Verdoolaege [Mon, 22 Mar 2010 12:20:44 +0000 (13:20 +0100)]
add isl_pw_qpolynomial_min

14 years agoadd isl_pw_qpolynomial_fix_dim
Sven Verdoolaege [Mon, 22 Mar 2010 12:04:52 +0000 (13:04 +0100)]
add isl_pw_qpolynomial_fix_dim

14 years agoadd isl_pw_qpolynomial_add_dims
Sven Verdoolaege [Sun, 21 Mar 2010 15:36:46 +0000 (16:36 +0100)]
add isl_pw_qpolynomial_add_dims

14 years agoexport isl_dim_move
Sven Verdoolaege [Sun, 21 Mar 2010 14:42:00 +0000 (15:42 +0100)]
export isl_dim_move

14 years agoisl_pw_qpolynomial_fold_add: remove redundant quasipolynomials from folds
Sven Verdoolaege [Sun, 21 Mar 2010 13:48:48 +0000 (14:48 +0100)]
isl_pw_qpolynomial_fold_add: remove redundant quasipolynomials from folds

14 years agoisl_qpolynomial_alloc: take initial struct isl_upoly as argument
Sven Verdoolaege [Sun, 21 Mar 2010 13:06:48 +0000 (14:06 +0100)]
isl_qpolynomial_alloc: take initial struct isl_upoly as argument

14 years agoadd isl_set_solve_lp
Sven Verdoolaege [Sun, 21 Mar 2010 12:24:47 +0000 (13:24 +0100)]
add isl_set_solve_lp

14 years agoisl_polynomial.c: separate out fold functionality to isl_fold.c
Sven Verdoolaege [Sat, 20 Mar 2010 16:15:51 +0000 (17:15 +0100)]
isl_polynomial.c: separate out fold functionality to isl_fold.c

14 years agoisl_pw_qpolynomial_{fold_,}print: set output format
Sven Verdoolaege [Sat, 20 Mar 2010 15:58:39 +0000 (16:58 +0100)]
isl_pw_qpolynomial_{fold_,}print: set output format

14 years agoimprove isl_pw_qpolynomial_move
Sven Verdoolaege [Sat, 20 Mar 2010 14:46:54 +0000 (15:46 +0100)]
improve isl_pw_qpolynomial_move

14 years agoadd isl_mat_move_cols
Sven Verdoolaege [Sat, 20 Mar 2010 13:19:05 +0000 (14:19 +0100)]
add isl_mat_move_cols

14 years agoadd isl_pw_qpolynomial_drop_dims
Sven Verdoolaege [Fri, 19 Mar 2010 16:51:21 +0000 (17:51 +0100)]
add isl_pw_qpolynomial_drop_dims

14 years agoadd isl_set_drop
Sven Verdoolaege [Fri, 19 Mar 2010 16:23:04 +0000 (17:23 +0100)]
add isl_set_drop

14 years agoadd isl_pw_qpolynomial_involves_dims
Sven Verdoolaege [Fri, 19 Mar 2010 16:08:47 +0000 (17:08 +0100)]
add isl_pw_qpolynomial_involves_dims

14 years agoisl_stream: accept "%" token
Sven Verdoolaege [Thu, 18 Mar 2010 16:43:59 +0000 (17:43 +0100)]
isl_stream: accept "%" token

14 years agodoc: fix typo
Sven Verdoolaege [Thu, 18 Mar 2010 12:47:02 +0000 (13:47 +0100)]
doc: fix typo

14 years agoadd basic isl_pw_qpolynomial_fold_coalesce
Sven Verdoolaege [Wed, 17 Mar 2010 16:23:03 +0000 (17:23 +0100)]
add basic isl_pw_qpolynomial_fold_coalesce

14 years agoadd isl_pw_qpolynomial_fold_get_ctx
Sven Verdoolaege [Wed, 17 Mar 2010 11:48:15 +0000 (12:48 +0100)]
add isl_pw_qpolynomial_fold_get_ctx

14 years agoisl_printer_print_pw_qpolynomial{,_fold}: allow printing in "C" format
Sven Verdoolaege [Wed, 17 Mar 2010 11:32:52 +0000 (12:32 +0100)]
isl_printer_print_pw_qpolynomial{,_fold}: allow printing in "C" format

14 years agoadd isl_qpolynomial_get_den
Sven Verdoolaege [Wed, 17 Mar 2010 11:07:15 +0000 (12:07 +0100)]
add isl_qpolynomial_get_den

14 years agoadd isl_pw_qpolynomial_gist and isl_pw_qpolynomial_fold_gist
Sven Verdoolaege [Tue, 16 Mar 2010 15:42:59 +0000 (16:42 +0100)]
add isl_pw_qpolynomial_gist and isl_pw_qpolynomial_fold_gist

14 years agoexport isl_map_gist
Sven Verdoolaege [Thu, 18 Mar 2010 13:23:58 +0000 (14:23 +0100)]
export isl_map_gist

14 years agoadd isl_map_insert
Sven Verdoolaege [Tue, 16 Mar 2010 11:47:28 +0000 (12:47 +0100)]
add isl_map_insert

14 years agoadd isl_printer
Sven Verdoolaege [Thu, 18 Mar 2010 09:34:13 +0000 (10:34 +0100)]
add isl_printer

14 years agoadd isl_pw_qpolynomial_max
Sven Verdoolaege [Sun, 14 Mar 2010 21:49:39 +0000 (22:49 +0100)]
add isl_pw_qpolynomial_max

14 years agoisl_qpolynomial_add: replace 0-degree polynomials by their constant terms
Sven Verdoolaege [Sun, 14 Mar 2010 21:14:40 +0000 (22:14 +0100)]
isl_qpolynomial_add: replace 0-degree polynomials by their constant terms

14 years agoadd isl_set_eliminate
Sven Verdoolaege [Sun, 14 Mar 2010 21:09:15 +0000 (22:09 +0100)]
add isl_set_eliminate

14 years agoisl_map_range: optimize case where the number of input dimensions is zero
Sven Verdoolaege [Sun, 14 Mar 2010 21:07:48 +0000 (22:07 +0100)]
isl_map_range: optimize case where the number of input dimensions is zero

14 years agoisl_pw_qpolynomial_print: fix printing of unnamed piecewise quasipolynomials
Sven Verdoolaege [Sun, 14 Mar 2010 17:28:45 +0000 (18:28 +0100)]
isl_pw_qpolynomial_print: fix printing of unnamed piecewise quasipolynomials

14 years agodocument transitive closure implementation
Sven Verdoolaege [Sat, 13 Mar 2010 23:10:53 +0000 (00:10 +0100)]
document transitive closure implementation

14 years agoisl_stream: accept "." token
Sven Verdoolaege [Sat, 13 Mar 2010 18:45:08 +0000 (19:45 +0100)]
isl_stream: accept "." token

14 years agoadd isl_pw_*_intersect_domain
Sven Verdoolaege [Thu, 11 Mar 2010 14:26:38 +0000 (15:26 +0100)]
add isl_pw_*_intersect_domain

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