Sven Verdoolaege [Fri, 12 Nov 2010 10:01:09 +0000 (11:01 +0100)]
doc: update isl_pw_qpolynomial_gist description
In particular, update the description to changes made in 661c374
(isl_pw_qpolynomial_gist: also try to eliminate integer divisions,
Fri Nov 5 16:44:54 2010 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Nov 2010 12:04:22 +0000 (13:04 +0100)]
add isl_set_foreach_orthant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Nov 2010 12:03:51 +0000 (13:03 +0100)]
isl_range.c: privately export isl_qpolynomial_terms_of_sign
Outside users may call the function on quasi-polynomials, so allow
integer division, but assume the caller has made sure they are always
positive.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Nov 2010 11:43:22 +0000 (12:43 +0100)]
isl_range.c: collect_fixed_sign_terms: drop dead code
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 10 Nov 2010 20:49:23 +0000 (21:49 +0100)]
isl_set_split_dims: extract out half-space creation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 12 Nov 2010 09:15:32 +0000 (10:15 +0100)]
isl_printer_print_pw_qpolynomial_fold: use consistent names in C format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Nov 2010 13:31:47 +0000 (14:31 +0100)]
isl_dim_total: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Nov 2010 11:42:50 +0000 (12:42 +0100)]
add isl_vec_clr
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 10 Nov 2010 12:49:30 +0000 (13:49 +0100)]
isl_qpolynomial_div_pow: normalize given div
An isl_div obtained from an isl_set would normalize be expected
to have been normalized already, but the user may have constructed
the isl_div manually and then we want to make sure it gets normalized.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 8 Nov 2010 13:31:32 +0000 (14:31 +0100)]
isl_bound: accept folds as input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 8 Nov 2010 12:44:02 +0000 (13:44 +0100)]
isl_bound: use isl_pw_qpolynomial_folds internally
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 8 Nov 2010 12:42:01 +0000 (13:42 +0100)]
export isl_pw_qpolynomial_fold_fix_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Nov 2010 14:36:38 +0000 (15:36 +0100)]
add isl_union_set_polyhedral_hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 5 Nov 2010 15:44:54 +0000 (16:44 +0100)]
isl_pw_qpolynomial_gist: also try to eliminate integer divisions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 5 Nov 2010 15:13:29 +0000 (16:13 +0100)]
hide some functions that were exposed by mistake
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 3 Nov 2010 20:15:25 +0000 (21:15 +0100)]
isl_qpolynomial_substitute_equalities: eliminate integer divisions by 1
In particular, replace them by the dividend.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 4 Nov 2010 16:40:42 +0000 (17:40 +0100)]
isl_stream_read_pw_qpolynomial: read nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 4 Nov 2010 16:39:11 +0000 (17:39 +0100)]
isl_qpolynomial_div_pow: allow nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 4 Nov 2010 16:56:02 +0000 (17:56 +0100)]
isl_printer_print_qpolynomial: properly print nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 3 Nov 2010 15:19:08 +0000 (16:19 +0100)]
isl_qpolynomial_substitute_equalities: ignore constant when removing factors
The constant term of the affine expression inside an integer division
should not be taking to account when trying to remove common factors
between numerator and denominator. For example, [(1 + 2 x)/4]
should be simplified to [x/2].
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 4 Nov 2010 21:16:20 +0000 (22:16 +0100)]
isl_qpolynomial_substitute_equalities: don't use equalities with existentials
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 1 Nov 2010 14:59:43 +0000 (15:59 +0100)]
isl_basic_map_underlying_set: remove any structure and names from the input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 1 Nov 2010 10:01:20 +0000 (11:01 +0100)]
export isl_set_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 30 Oct 2010 16:26:18 +0000 (18:26 +0200)]
isl_qpolynomial_morph: properly handle change in number of variables
The original implementation would only substitute the actual variables
and not the integer divisions, but if the number of variables changes,
then the positions of the integer divisions change too and so they have
to be adjusted as well.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 28 Oct 2010 18:49:06 +0000 (20:49 +0200)]
isl_stream_read_map: read_var_def: read var definition in "clean" basic map
The original code would mix up integer division already in bmap and newly
added integer divisions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 27 Oct 2010 11:04:04 +0000 (13:04 +0200)]
add isl_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 23 Oct 2010 12:33:19 +0000 (14:33 +0200)]
add isl_div_div
Sven Verdoolaege [Sat, 23 Oct 2010 12:41:59 +0000 (14:41 +0200)]
add isl_div_copy
Sven Verdoolaege [Tue, 19 Oct 2010 13:27:42 +0000 (15:27 +0200)]
export isl_pw_qpolynomial_fold_set_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Oct 2010 15:00:13 +0000 (17:00 +0200)]
doc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Oct 2010 13:03:30 +0000 (15:03 +0200)]
export isl_pw_qpolynomial_fold_add
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Oct 2010 12:50:40 +0000 (14:50 +0200)]
add isl_set_flatten_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Oct 2010 11:49:22 +0000 (13:49 +0200)]
isl_pw_qpolynomial_gist: substitute equalities in polynomials
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Oct 2010 11:37:41 +0000 (13:37 +0200)]
isl_pw_qpolynomial_gist: drop empty pieces in result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Oct 2010 11:37:04 +0000 (13:37 +0200)]
isl_map_gist_basic_map: drop empty pieces in result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 23 Oct 2010 11:42:21 +0000 (13:42 +0200)]
rename isl_map_remove to isl_map_remove_dims
The new name is more consistent with other functions and avoids confusion
as to what is being added.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 22 Oct 2010 19:42:50 +0000 (21:42 +0200)]
isl_pw_qpolynomial_print: properly print divs in ISL_FORMAT_C
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Oct 2010 12:34:10 +0000 (14:34 +0200)]
isl_stream: allow tokens to start with "_"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Oct 2010 12:50:28 +0000 (14:50 +0200)]
isl_set_alloc_dim: fix memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Oct 2010 09:25:03 +0000 (11:25 +0200)]
fix isl_union_{set,map}_lex_g{e,t}_union_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Oct 2010 09:21:26 +0000 (11:21 +0200)]
isl_stream_read_map: read_var_list: simplify and finalize result
read_var_list may add equalities, so at the very least we need
to gauss the constraints and finalize the result, but it doesn't
seem to hurt to also simplify the result.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 20 Oct 2010 20:16:15 +0000 (22:16 +0200)]
isl_dim_replace: fix handling of nested spaces
5ad911e (isl_dim_drop: also drop parameters from nested spaces,
Sat Oct 16 14:41:22 2010 +0200) changed isl_dim_drop to also
drop parameters from nested spaces, but it didn't change isl_dim_add
accordingly, breaking isl_dim_replace on isl_dims with nested spaces.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 15 Oct 2010 09:14:57 +0000 (11:14 +0200)]
support extended PolyLib output format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 17 Oct 2010 09:36:40 +0000 (11:36 +0200)]
doc: mention LaTeX output format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Oct 2010 13:49:52 +0000 (15:49 +0200)]
add isl_union_set_identity
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 16 Oct 2010 13:05:24 +0000 (15:05 +0200)]
basic_map_read_polylib: clear newly created divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Oct 2010 09:28:33 +0000 (11:28 +0200)]
compute explicit divs for context before calling isl_basic_map_gist
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 12 Oct 2010 09:18:27 +0000 (11:18 +0200)]
add isl_set_flatten
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 17 Oct 2010 09:05:28 +0000 (11:05 +0200)]
isl_dim_flatten: remove space names when internal structure changes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 16 Oct 2010 12:50:59 +0000 (14:50 +0200)]
isl_stream_read_map: properly parse nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 16 Oct 2010 12:41:22 +0000 (14:41 +0200)]
isl_dim_drop: also drop parameters from nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 16 Oct 2010 11:41:20 +0000 (13:41 +0200)]
privately export isl_basic_map_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 13 Oct 2010 20:02:25 +0000 (22:02 +0200)]
isl_map_coalesce: handle some cases of pairs of adjacent equalities
We don't want to handle all cases, because coalescing maps that
are too dissimilar may reduce the effectiveness of some decomposition
techniques during the computation of transitive closure.
Right now, we only perform such coalescing if there is exactly
one pair of adjacent equalities. It's not clear if this is the best
heuristic, but it makes all transitive closure test cases pass.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 13 Oct 2010 17:39:35 +0000 (19:39 +0200)]
isl_mat_right_inverse: fix memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 11 Oct 2010 11:14:12 +0000 (13:14 +0200)]
isl_union_pw_qpolynomial_zero: check for NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 2 Oct 2010 13:33:55 +0000 (15:33 +0200)]
export isl_basic_set_sample_point
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 2 Oct 2010 10:34:01 +0000 (12:34 +0200)]
basis_reduction_templ.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 2 Oct 2010 09:16:17 +0000 (11:16 +0200)]
export isl_basic_set_reduced_basis
Since this function will now be available from the outside, we
add some more checks and we allow the input to contain equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 2 Oct 2010 09:12:52 +0000 (11:12 +0200)]
add isl_int_[gs]et_gmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 2 Oct 2010 08:51:14 +0000 (10:51 +0200)]
isl_pw_qpolynomial_print: print modulo constraints in ISL_FORMAT_C
In particular, print "i % 2 == 0" instead of "i - 2 * floord(i,2) == 0".
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Oct 2010 15:05:16 +0000 (17:05 +0200)]
export isl_basic_set_lift
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Sep 2010 14:15:36 +0000 (16:15 +0200)]
add isl_union_map_intersect_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Sep 2010 08:26:09 +0000 (10:26 +0200)]
add isl_constraint_get_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Sep 2010 07:52:19 +0000 (09:52 +0200)]
add isl_set_n_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Sep 2010 17:03:55 +0000 (19:03 +0200)]
add isl_pw_qpolynomial_set_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Sep 2010 15:57:36 +0000 (17:57 +0200)]
add isl_union_pw_qpolynomial_extract_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Sep 2010 15:38:43 +0000 (17:38 +0200)]
add isl_union_set_extract_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Sep 2010 15:25:39 +0000 (17:25 +0200)]
add isl_union_set_n_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Sep 2010 10:52:16 +0000 (12:52 +0200)]
add isl_set_get_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Sep 2010 10:56:26 +0000 (12:56 +0200)]
add isl_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 27 Sep 2010 08:24:35 +0000 (10:24 +0200)]
add isl_union_set_dump for debugging
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Sep 2010 13:47:43 +0000 (15:47 +0200)]
rename isl_map_add to isl_map_add_dims
The new name is more consistent with other functions and avoids confusion
as to what is being added.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 27 Sep 2010 08:47:25 +0000 (10:47 +0200)]
isl_basic_map_gauss: normalize resulting constraints
When isl_basic_map_gauss is called from isl_basic_map_simplify,
the constraints get normalized already. However, sometimes the calling
functions wants to only perform isl_basic_map_gauss and then the constraints
should still be normalized.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Sep 2010 09:46:09 +0000 (11:46 +0200)]
fix return type of isl_union_set_lex_*_union_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 4 Oct 2010 20:08:54 +0000 (22:08 +0200)]
isl_basic_set_multiplicative_call: handle parametric input
Due to a mistake in the original implementation, the wrong dimensions
would get dropped from factors of the input in case this input was
parametric.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Oct 2010 22:35:23 +0000 (00:35 +0200)]
isl_dim_replace: call isl_dim_cow before changing isl_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 25 Sep 2010 13:51:53 +0000 (15:51 +0200)]
export isl_access_info_free
It was thought before that there was no need to export this function,
because it is called implicitly by isl_access_info_compute_flow,
but if some error occurs in the application before the call
to isl_access_info_compute_flow, isl_access_info_free should be
called to free the (partially constructed) isl_access_info.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 20:29:10 +0000 (22:29 +0200)]
add isl_basic_map_get_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 14:51:08 +0000 (16:51 +0200)]
add isl_basic_map_remove_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 08:10:28 +0000 (10:10 +0200)]
add isl_union_map_compute_flow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 11:06:55 +0000 (13:06 +0200)]
isl_access_info_compute_flow: preserve dimension specifications
The manipulations on the sink map would destroy the internal
structure of the domain of that map. By using the appropriate
functions, we can avoid this loss of information.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 08:09:52 +0000 (10:09 +0200)]
doc: document type of isl_access_info_alloc callback function
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 06:48:24 +0000 (08:48 +0200)]
add isl_union_map_range_map and isl_union_map_domain_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 06:45:19 +0000 (08:45 +0200)]
add isl_basic_map_from_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Sep 2010 05:38:50 +0000 (07:38 +0200)]
add isl_union_map_apply_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 23 Sep 2010 19:49:24 +0000 (21:49 +0200)]
add isl_dim_from_domain and isl_dim_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 25 Sep 2010 12:51:24 +0000 (14:51 +0200)]
doc: document some isl_dim manipulation functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 23 Sep 2010 19:16:48 +0000 (21:16 +0200)]
add isl_set_set_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 21 Jul 2010 19:19:11 +0000 (21:19 +0200)]
add isl_basic_{set,map}_from_constraint_matrices
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 9 Feb 2010 09:10:48 +0000 (10:10 +0100)]
add isl_basic_map_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 21 Sep 2010 09:20:45 +0000 (11:20 +0200)]
isl_input.c: accept divs in affine expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 22 Sep 2010 19:58:19 +0000 (21:58 +0200)]
Revert "isl_input.c: read_tuple: construct isl_dim instead of isl_basic_map"
This reverts commit
6373465b50e93c0a8df20fdefe572a2eaebb8490.
It was thought that handling nested dims would be easier when
constructin isl_dims instead of isl_basic_maps during construction.
However, it turns out that using isl_basic_maps works just fine
and avoids carrying around the equalities separately.
Moreover, if we want to be able to parse integer divisions,
then we need to store their definitions somewhere and
an isl_basic_map is the most appropriate way to do so.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 22 Sep 2010 08:01:54 +0000 (10:01 +0200)]
isl_input.c: obj_read: error out on intermediate NULL results
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 20 Sep 2010 17:03:10 +0000 (19:03 +0200)]
add isl_vec_zero_extend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 20 Sep 2010 16:41:44 +0000 (18:41 +0200)]
isl_input.c: store div definition in variable
We want to be able to handle divs inside affine expressions and
so we need to store the definition of an existentially quantified
variable somewhere.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 22 Sep 2010 09:05:26 +0000 (11:05 +0200)]
isl_basic_set_swap_vars: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 21 Sep 2010 11:53:16 +0000 (13:53 +0200)]
isl_printer_print_qpolynomial: put parentheses around lone integer division
Otherwise, the integer division could be mistaken for a tuple.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 14 Sep 2010 03:53:30 +0000 (05:53 +0200)]
add isl_basic_set_multiplicative_call
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 16 Sep 2010 01:53:30 +0000 (03:53 +0200)]
add isl_qpolynomial_one
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 14 Sep 2010 04:29:03 +0000 (06:29 +0200)]
merge isl_basic_set_drop_constraints_involving implementations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
projects / platform / upstream / isl.git / log