Sven Verdoolaege [Fri, 25 Jun 2010 15:18:06 +0000 (17:18 +0200)]
isl_map_convex_hull: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:16:56 +0000 (17:16 +0200)]
isl_basic_map_normalize_constraints: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:15:57 +0000 (17:15 +0200)]
isl_basic_map_total_dim: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:14:13 +0000 (17:14 +0200)]
isl_basic_map_order_divs: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:12:42 +0000 (17:12 +0200)]
isl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:11:35 +0000 (17:11 +0200)]
isl_convex_hull.c: compute_facet: avoid NULL pointer dereference
Sven Verdoolaege [Fri, 25 Jun 2010 15:08:36 +0000 (17:08 +0200)]
isl_test.c: map_is_equal: check input
Sven Verdoolaege [Fri, 25 Jun 2010 15:05:45 +0000 (17:05 +0200)]
isl_dim.c: copy_names: check input dim
Sven Verdoolaege [Fri, 25 Jun 2010 15:03:07 +0000 (17:03 +0200)]
isl_dim_dup: check input dim
Sven Verdoolaege [Fri, 25 Jun 2010 15:01:33 +0000 (17:01 +0200)]
isl_basic_map_cow: check result of allocation
Sven Verdoolaege [Fri, 25 Jun 2010 14:59:14 +0000 (16:59 +0200)]
isl_stream_new_str: check result of allocation
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:46 +0000 (16:31 +0200)]
isl_stream.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:29 +0000 (16:31 +0200)]
isl_tab_pip.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:23 +0000 (16:31 +0200)]
isl_tab.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:31:11 +0000 (16:31 +0200)]
isl_polynomial.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:51 +0000 (16:30 +0200)]
isl_vertices.c: fix typos
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:28 +0000 (16:30 +0200)]
isl_morph.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:20 +0000 (16:30 +0200)]
isl_map.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 14:30:09 +0000 (16:30 +0200)]
isl_map_simplify.c: fix typo
Sven Verdoolaege [Fri, 25 Jun 2010 13:19:14 +0000 (15:19 +0200)]
isl_input.c: accept more general affine expressions
Sven Verdoolaege [Fri, 25 Jun 2010 12:37:09 +0000 (14:37 +0200)]
add isl_vec_add
Sven Verdoolaege [Fri, 25 Jun 2010 12:31:09 +0000 (14:31 +0200)]
add isl_vec_scale
Sven Verdoolaege [Thu, 24 Jun 2010 16:10:41 +0000 (18:10 +0200)]
add isl_set_is_box
Sven Verdoolaege [Thu, 24 Jun 2010 16:09:06 +0000 (18:09 +0200)]
add isl_map_is_translation
Sven Verdoolaege [Mon, 21 Jun 2010 11:45:59 +0000 (13:45 +0200)]
export isl_qpolynomial_involves_dims
Sven Verdoolaege [Mon, 21 Jun 2010 11:45:49 +0000 (13:45 +0200)]
isl_polynomial.c: add missing include
Sven Verdoolaege [Sun, 20 Jun 2010 18:28:47 +0000 (20:28 +0200)]
isl_map_transitive_closure: check whether decomposition gives closed result
Some applications require the result to be closed, even if it is inexact.
The test for closedness can be fairly expensive, but I haven't been able
to trigger it yet, so presumably it will trigger only rarely.
Perhaps we should make the test configurable for those applications
that don't need a closed approximation.
Sven Verdoolaege [Sat, 19 Jun 2010 14:39:20 +0000 (16:39 +0200)]
add isl_stream_flush_tokens
Sven Verdoolaege [Sat, 19 Jun 2010 14:33:14 +0000 (16:33 +0200)]
add isl_stream_skip_line
Sven Verdoolaege [Sat, 23 Jan 2010 11:50:26 +0000 (12:50 +0100)]
add rudimentary error reporting mechanism
Sven Verdoolaege [Sat, 19 Jun 2010 13:53:34 +0000 (15:53 +0200)]
add isl_version
Sven Verdoolaege [Sat, 19 Jun 2010 09:03:38 +0000 (11:03 +0200)]
isl_point_alloc: avoid potential memory leak on error path
Sven Verdoolaege [Fri, 18 Jun 2010 14:33:40 +0000 (16:33 +0200)]
doc: document isl_map_deltas
Sven Verdoolaege [Tue, 15 Jun 2010 21:31:41 +0000 (23:31 +0200)]
isl_tab_pip.c: compare all coefficients when checking for duplicate divs
Due to a typo, we would not consider the last coefficient of the div,
possibly resulting in a new div being identified with an existing
div that only differs in that last coefficient.
Apparently, this doesn't happen very often, because it has gone
unnoticed for quite a while.
Sven Verdoolaege [Tue, 15 Jun 2010 10:30:41 +0000 (12:30 +0200)]
isl_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull
We need a basic set to gist the domain. We used to take the convex hull
of the input set, but the convex hull operation can be very slow in isl.
Use the simple hull instead.
Sven Verdoolaege [Mon, 14 Jun 2010 13:17:30 +0000 (15:17 +0200)]
add isl_set_set_dim_name
Sven Verdoolaege [Mon, 14 Jun 2010 12:33:59 +0000 (14:33 +0200)]
add isl_stream_read_set
Sven Verdoolaege [Mon, 14 Jun 2010 12:33:51 +0000 (14:33 +0200)]
doc: fix typo
Sven Verdoolaege [Sat, 12 Jun 2010 19:00:51 +0000 (21:00 +0200)]
isl_qpolynomial_lift: fix lifting in absence of divs
If there are no divs, then we still need to modify the (zero row)
div matrix to make sure that the number of columns remains consistent.
Sven Verdoolaege [Mon, 7 Jun 2010 12:43:26 +0000 (14:43 +0200)]
optionally (and by default) use bernstein expansion to compute bounds
Sven Verdoolaege [Sat, 12 Jun 2010 15:33:17 +0000 (17:33 +0200)]
privately export isl_qpolynomial_fold_fold_on_domain
Sven Verdoolaege [Sat, 12 Jun 2010 15:17:32 +0000 (17:17 +0200)]
add isl_pw_qpolynomial_fold_foreach_piece
Sven Verdoolaege [Mon, 7 Jun 2010 12:27:13 +0000 (14:27 +0200)]
add parametric vertex enumeration
Sven Verdoolaege [Fri, 11 Jun 2010 16:23:10 +0000 (18:23 +0200)]
add isl_morph_dom_dim and isl_morph_ran_dim
Sven Verdoolaege [Fri, 11 Jun 2010 12:19:20 +0000 (14:19 +0200)]
add isl_basic_map_is_rational
Sven Verdoolaege [Tue, 8 Jun 2010 19:24:44 +0000 (21:24 +0200)]
privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal
Sven Verdoolaege [Mon, 7 Jun 2010 21:44:26 +0000 (23:44 +0200)]
isl_tab_detect_implicit_equalities: also detect manifest equalities
It's not clear why manifestly zero rows were ignored before.
Sven Verdoolaege [Mon, 7 Jun 2010 21:27:29 +0000 (23:27 +0200)]
isl_tab: optionally only mark strictly redundant rows
Sven Verdoolaege [Mon, 7 Jun 2010 13:56:58 +0000 (15:56 +0200)]
generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound
Sven Verdoolaege [Mon, 7 Jun 2010 13:29:25 +0000 (15:29 +0200)]
extract out generic part of isl_pw_qpolynomial_bound_range
Sven Verdoolaege [Sat, 12 Jun 2010 02:50:06 +0000 (04:50 +0200)]
isl_pw_qpolynomial_bound_range: also set exactness in special cases
Sven Verdoolaege [Mon, 7 Jun 2010 12:19:53 +0000 (14:19 +0200)]
add isl_basic_set_factorizer
Sven Verdoolaege [Mon, 7 Jun 2010 11:30:40 +0000 (13:30 +0200)]
export isl_pw_qpolynomial_fold_drop_dims
Sven Verdoolaege [Mon, 7 Jun 2010 11:28:28 +0000 (13:28 +0200)]
export isl_qpolynomial_is_zero
Sven Verdoolaege [Sun, 6 Jun 2010 15:59:59 +0000 (17:59 +0200)]
add isl_qpolynomial_coeff
Sven Verdoolaege [Sun, 6 Jun 2010 13:05:54 +0000 (15:05 +0200)]
add isl_qpolynomial_from_affine
Sven Verdoolaege [Sun, 6 Jun 2010 12:51:07 +0000 (14:51 +0200)]
export isl_qpolynomial_add_dims
Sven Verdoolaege [Sun, 6 Jun 2010 12:12:47 +0000 (14:12 +0200)]
add isl_qpolynomial_homogenize
Sven Verdoolaege [Sun, 6 Jun 2010 12:12:47 +0000 (14:12 +0200)]
add isl_qpolynomial_degree
Sven Verdoolaege [Sat, 12 Jun 2010 09:14:31 +0000 (11:14 +0200)]
add isl_qpolynomial_insert_dims
Sven Verdoolaege [Sun, 6 Jun 2010 12:12:29 +0000 (14:12 +0200)]
add isl_qpolynomial_dim
Sven Verdoolaege [Sat, 5 Jun 2010 17:07:35 +0000 (19:07 +0200)]
isl_ctx: add two
Sven Verdoolaege [Sat, 5 Jun 2010 14:23:04 +0000 (16:23 +0200)]
isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *
Sven Verdoolaege [Tue, 25 May 2010 11:33:31 +0000 (13:33 +0200)]
add isl_tab_sign_of_max
Make sure it's not called on zero or redundant constraints, though.
A zero constraint, in particular a dead column, could mistakenly be
considered to be manifestly unbounded. Redundant constraints could
end up getting pivoted, which would destroy the invariant.
The internal code would never call sign_of_max on such constraints,
but external users may not be aware of this restriction.
Sven Verdoolaege [Tue, 25 May 2010 11:22:51 +0000 (13:22 +0200)]
isl_tab_select_facet: return int instead of isl_tab *
Sven Verdoolaege [Tue, 25 May 2010 08:23:58 +0000 (10:23 +0200)]
add isl_basic_set_full_compression
Sven Verdoolaege [Mon, 24 May 2010 16:23:01 +0000 (18:23 +0200)]
privately export isl_pw_qpolynomial_morph
Sven Verdoolaege [Mon, 24 May 2010 15:04:56 +0000 (17:04 +0200)]
add isl_qpolynomial_fold_foreach_qpolynomial
Sven Verdoolaege [Mon, 24 May 2010 15:04:26 +0000 (17:04 +0200)]
add isl_pw_qpolynomial_fold_foreach_lifted_piece
Sven Verdoolaege [Mon, 24 May 2010 15:02:38 +0000 (17:02 +0200)]
export isl_pw_qpolynomial_fold_is_zero
Sven Verdoolaege [Mon, 24 May 2010 15:01:12 +0000 (17:01 +0200)]
privately export isl_morph_alloc and isl_morph_identity
Sven Verdoolaege [Mon, 24 May 2010 14:59:16 +0000 (16:59 +0200)]
add isl_qpolynomial_fold_get_type
Sven Verdoolaege [Mon, 24 May 2010 14:57:47 +0000 (16:57 +0200)]
export isl_pw_qpolynomial_get_ctx
Sven Verdoolaege [Sun, 23 May 2010 16:23:04 +0000 (18:23 +0200)]
add isl_ctx_peek_options
Sven Verdoolaege [Sun, 23 May 2010 14:30:42 +0000 (16:30 +0200)]
isl_range.c: fix typo in comment
Sven Verdoolaege [Sun, 23 May 2010 14:27:32 +0000 (16:27 +0200)]
export isl_set_is_bounded
Sven Verdoolaege [Mon, 7 Jun 2010 14:51:39 +0000 (16:51 +0200)]
isl_bound: plug memory leak
Sven Verdoolaege [Mon, 7 Jun 2010 13:55:37 +0000 (15:55 +0200)]
fix isl_qpolynomial_fold_dup
Sven Verdoolaege [Tue, 25 May 2010 08:22:50 +0000 (10:22 +0200)]
isl_pw_qpolynomial_bound_range: fix removal of dims after compression
Sven Verdoolaege [Sat, 12 Jun 2010 11:15:29 +0000 (13:15 +0200)]
add bound_test.sh to distribution
Sven Verdoolaege [Fri, 11 Jun 2010 18:53:54 +0000 (20:53 +0200)]
doc: document gist operations
Sven Verdoolaege [Fri, 4 Jun 2010 18:41:00 +0000 (20:41 +0200)]
doc: document isl_constraint_is_equality
Sven Verdoolaege [Fri, 4 Jun 2010 18:20:37 +0000 (20:20 +0200)]
add isl_map_is_single_valued
Sven Verdoolaege [Fri, 4 Jun 2010 17:08:34 +0000 (19:08 +0200)]
isl_basic_map_foreach_constraint: make sure input has been finalized
Each constraint gets a copy of the input and a line from the constraint
matrix of the input. If the input wouldn't be finalized, then the copy
would create a duplicate and then the line wouldn't match the basic map.
This is problematic for especially isl_constraint_is_equality.
Sven Verdoolaege [Thu, 3 Jun 2010 16:36:56 +0000 (18:36 +0200)]
isl_basic_map_copy: mark duplicated copy as finalized
If an unfinalized copy is needed, the caller will perform an
isl_basic_map_cow on the copy.
Sven Verdoolaege [Thu, 3 Jun 2010 16:34:04 +0000 (18:34 +0200)]
isl_basic_set_lift: finalize result
Sven Verdoolaege [Thu, 3 Jun 2010 16:33:14 +0000 (18:33 +0200)]
isl_basic_map_move_dims: always finalize result
Sven Verdoolaege [Thu, 3 Jun 2010 16:32:26 +0000 (18:32 +0200)]
isl_basic_map_from_constraint: finalize result
Sven Verdoolaege [Wed, 26 May 2010 18:51:25 +0000 (20:51 +0200)]
isl_access_info_compute_flow: handle may accesses
Sven Verdoolaege [Wed, 26 May 2010 20:30:49 +0000 (22:30 +0200)]
isl_access_info_compute_flow: handle multi-valued sink access relations
In particular, if any given sink iteration accesses more than one
data element, then we compute dependences for each of these data elements.
Before, we would only compute a dependence for the data elements
that was accessed last before the sink.
Sven Verdoolaege [Sun, 30 May 2010 15:17:03 +0000 (17:17 +0200)]
remove some unused variables
Sven Verdoolaege [Sun, 30 May 2010 14:34:08 +0000 (16:34 +0200)]
fix some icc warnings
Sven Verdoolaege [Mon, 24 May 2010 16:04:24 +0000 (18:04 +0200)]
rename isl_pw_qpolynomial_move and add isl_pw_qpolynomial_fold_move_dims
Sven Verdoolaege [Fri, 21 May 2010 14:26:43 +0000 (16:26 +0200)]
isl_ctx: keep track of user options
Sven Verdoolaege [Tue, 18 May 2010 09:56:46 +0000 (11:56 +0200)]
improved argument parsing
Sven Verdoolaege [Sat, 15 May 2010 14:40:46 +0000 (16:40 +0200)]
isl_options_parse: print help message
Sven Verdoolaege [Mon, 10 May 2010 11:14:49 +0000 (13:14 +0200)]
add isl_bound test application
Sven Verdoolaege [Sat, 8 May 2010 09:43:15 +0000 (11:43 +0200)]
add isl_pw_qpolynomial_bound_range
Sven Verdoolaege [Wed, 12 May 2010 20:58:02 +0000 (22:58 +0200)]
add isl_pw_qpolynomial_fold_morph
Sven Verdoolaege [Wed, 12 May 2010 09:36:58 +0000 (11:36 +0200)]
add rudimentary isl_morph