platform/upstream/isl.git
13 years agoisl_map_is_subset: a map cannot be as subset of a map in a different space
Sven Verdoolaege [Wed, 10 Aug 2011 08:17:54 +0000 (10:17 +0200)]
isl_map_is_subset: a map cannot be as subset of a map in a different space

The only debatable case is that of an empty map, which in principle
could be considered to be a subset of any map.  This patch considers
empty maps not to be subsets of maps in other spaces.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_set_product: call isl_map_range_product instead of isl_map_product
Sven Verdoolaege [Fri, 5 Aug 2011 16:02:18 +0000 (18:02 +0200)]
isl_set_product: call isl_map_range_product instead of isl_map_product

A set only has a "range", so we should only compute the product of
that range and not of the domain.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_remove_dims: properly handle named or nested spaces
Sven Verdoolaege [Fri, 5 Aug 2011 15:55:19 +0000 (17:55 +0200)]
isl_basic_map_remove_dims: properly handle named or nested spaces

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_drop: properly handle nested spaces
Sven Verdoolaege [Fri, 5 Aug 2011 15:54:36 +0000 (17:54 +0200)]
isl_basic_map_drop: properly handle nested spaces

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_access_info_compute_flow: plug memory leak on error path
Sven Verdoolaege [Fri, 5 Aug 2011 09:01:02 +0000 (11:01 +0200)]
isl_access_info_compute_flow: plug memory leak on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_remove_divs: handle NULL input
Sven Verdoolaege [Thu, 4 Aug 2011 13:24:23 +0000 (15:24 +0200)]
isl_basic_map_remove_divs: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_dim_range_product: dimension names of domains don't need to match
Sven Verdoolaege [Wed, 3 Aug 2011 13:48:12 +0000 (15:48 +0200)]
isl_dim_range_product: dimension names of domains don't need to match

It's sufficient for the domain tuples to match.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_aff.c: fix up copyright
Sven Verdoolaege [Wed, 3 Aug 2011 12:04:20 +0000 (14:04 +0200)]
isl_aff.c: fix up copyright

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_intersect: be careful when intersecting with empty parameter domain
Sven Verdoolaege [Mon, 25 Jul 2011 15:17:12 +0000 (17:17 +0200)]
isl_map_intersect: be careful when intersecting with empty parameter domain

isl_map_intersect currently doubles as a isl_map_intersect_params
and in this capacity, the spaces of the two arguments may be different.
In this case, we need to make sure that we return an (empty) map
in the correct space.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodecouple isl_qpolynomial_substitute_equalities
Sven Verdoolaege [Thu, 14 Jul 2011 15:53:28 +0000 (17:53 +0200)]
decouple isl_qpolynomial_substitute_equalities

isl_qpolynomial_substitute_equalities was being called from within
two contexts, one where the space of the equalities includes the
divs and one where it does not.
Split isl_qpolynomial_substitute_equalities into two functions,
one for each of these two cases.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodecouple isl_aff_substitute_equalities
Sven Verdoolaege [Thu, 14 Jul 2011 15:48:20 +0000 (17:48 +0200)]
decouple isl_aff_substitute_equalities

isl_aff_substitute_equalities was being called from within two contexts:
isl_pw_aff_intersect_domain and isl_aff_gist.
In the first case, the space of the equalities was that of the space
of the isl_pw_aff, while in the second case, the space of the equalities
was a lifted copy of the _local_ space of the isl_aff.
The actual implementation of isl_aff_substitute_equalities assumed
the second case.

Split isl_aff_substitute_equalities into two functions, one for each
of these two cases.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_n_{in,out,param}: handle NULL input
Sven Verdoolaege [Mon, 18 Jul 2011 15:10:16 +0000 (17:10 +0200)]
isl_map_n_{in,out,param}: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl 0.07 isl-0.07
Sven Verdoolaege [Sat, 9 Jul 2011 17:57:15 +0000 (19:57 +0200)]
isl 0.07

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoremove isl_union_map_copy_map
Sven Verdoolaege [Tue, 12 Jul 2011 15:52:53 +0000 (17:52 +0200)]
remove isl_union_map_copy_map

It was introduced in d4a684c (add isl_union_map_copy_map,
Fri Apr 8 09:47:04 2011 +0200) but left undocumented
and it was mainly intended to extract an isl_map from
isl_union_map lying in a single space, i.e., exactly
what the newly introduced isl_map_from_union_map does.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_map_from_union_map
Sven Verdoolaege [Tue, 12 Jul 2011 09:45:47 +0000 (11:45 +0200)]
add isl_map_from_union_map

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_union_map_free: return NULL
Sven Verdoolaege [Tue, 12 Jul 2011 09:39:33 +0000 (11:39 +0200)]
isl_union_map_free: return NULL

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_union_set_compute_schedule: make preference for large bands configurable
Sven Verdoolaege [Mon, 11 Jul 2011 11:55:23 +0000 (13:55 +0200)]
isl_union_set_compute_schedule: make preference for large bands configurable

The original code would always try to maximize the number of scheduling
dimensions in a band, but this is not always desirable.
Make this heuristic configurable and turn it off by default.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoTweak .gitignore
Andreas Kloeckner [Sun, 10 Jul 2011 20:30:48 +0000 (16:30 -0400)]
Tweak .gitignore

Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoAdd get_ctx() for access_info and flow
Andreas Kloeckner [Sun, 10 Jul 2011 19:15:59 +0000 (15:15 -0400)]
Add get_ctx() for access_info and flow

Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoExpose isl_schedule_get_ctx() in header
Andreas Kloeckner [Sun, 10 Jul 2011 18:32:47 +0000 (14:32 -0400)]
Expose isl_schedule_get_ctx() in header

Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoAdd isl_printer_get_ctx()
Andreas Kloeckner [Sun, 10 Jul 2011 16:30:21 +0000 (12:30 -0400)]
Add isl_printer_get_ctx()

Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_le_set
Sven Verdoolaege [Sun, 10 Jul 2011 12:11:00 +0000 (14:11 +0200)]
add isl_pw_aff_le_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoremove duplicate isl_map_fast_is_fixed declaration
Sven Verdoolaege [Sun, 10 Jul 2011 06:40:20 +0000 (08:40 +0200)]
remove duplicate isl_map_fast_is_fixed declaration

Reported-by: Andreas Kloeckner <lists@informa.tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd doc/SubmittingPatches
Sven Verdoolaege [Sun, 10 Jul 2011 06:34:37 +0000 (08:34 +0200)]
add doc/SubmittingPatches

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodoc: mention rename of *_fast_* to *_plain_*
Sven Verdoolaege [Sat, 9 Jul 2011 17:53:44 +0000 (19:53 +0200)]
doc: mention rename of *_fast_* to *_plain_*

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agosubstitute EXEEXT in bound_test.sh and pip_test.sh
Sven Verdoolaege [Sat, 9 Jul 2011 16:28:24 +0000 (18:28 +0200)]
substitute EXEEXT in bound_test.sh and pip_test.sh

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_scale
Sven Verdoolaege [Sat, 9 Jul 2011 10:38:51 +0000 (12:38 +0200)]
add isl_pw_aff_scale

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_eq_set
Sven Verdoolaege [Sat, 9 Jul 2011 10:28:59 +0000 (12:28 +0200)]
add isl_pw_aff_eq_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_sub
Sven Verdoolaege [Sat, 9 Jul 2011 10:07:45 +0000 (12:07 +0200)]
add isl_pw_aff_sub

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_cond
Sven Verdoolaege [Sat, 9 Jul 2011 10:03:55 +0000 (12:03 +0200)]
add isl_pw_aff_cond

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_ceil
Sven Verdoolaege [Sat, 9 Jul 2011 09:57:07 +0000 (11:57 +0200)]
add isl_pw_aff_ceil

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_floor
Sven Verdoolaege [Sat, 9 Jul 2011 09:55:23 +0000 (11:55 +0200)]
add isl_pw_aff_floor

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_nonneg_set
Sven Verdoolaege [Sat, 9 Jul 2011 09:52:59 +0000 (11:52 +0200)]
export isl_pw_aff_nonneg_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_scale_down
Sven Verdoolaege [Sat, 9 Jul 2011 09:41:45 +0000 (11:41 +0200)]
add isl_pw_aff_scale_down

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_intersect_params
Sven Verdoolaege [Sat, 9 Jul 2011 09:11:01 +0000 (11:11 +0200)]
add isl_set_intersect_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_align_params
Sven Verdoolaege [Fri, 8 Jul 2011 10:18:45 +0000 (12:18 +0200)]
add isl_pw_aff_align_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_lt_set and isl_pw_aff_gt_set
Sven Verdoolaege [Thu, 7 Jul 2011 19:16:03 +0000 (21:16 +0200)]
add isl_pw_aff_lt_set and isl_pw_aff_gt_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd private isl_local_space_realign
Sven Verdoolaege [Fri, 8 Jul 2011 10:18:32 +0000 (12:18 +0200)]
add private isl_local_space_realign

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd private isl_local_space_reset_dim
Sven Verdoolaege [Fri, 8 Jul 2011 15:35:54 +0000 (17:35 +0200)]
add private isl_local_space_reset_dim

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodoc: fix typo
Sven Verdoolaege [Sat, 9 Jul 2011 14:07:04 +0000 (16:07 +0200)]
doc: fix typo

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoremove deprecated isl_schedule interface
Sven Verdoolaege [Fri, 8 Jul 2011 13:48:04 +0000 (15:48 +0200)]
remove deprecated isl_schedule interface

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoMerge branch 'maint'
Sven Verdoolaege [Fri, 8 Jul 2011 13:43:27 +0000 (15:43 +0200)]
Merge branch 'maint'

13 years agoisl_reordering_extend_dim: don't mess with copies of input
Sven Verdoolaege [Fri, 8 Jul 2011 13:41:38 +0000 (15:41 +0200)]
isl_reordering_extend_dim: don't mess with copies of input

In particular, perform an isl_reordering_cow before changing anythin.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agohide isl_constraint internals
Sven Verdoolaege [Mon, 27 Jun 2011 08:54:04 +0000 (10:54 +0200)]
hide isl_constraint internals

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_map: accept alternative [i][j] tuple syntax
Sven Verdoolaege [Sun, 3 Jul 2011 19:01:01 +0000 (21:01 +0200)]
isl_stream_read_map: accept alternative [i][j] tuple syntax

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_schedule: don't let users get access to internal isl_band_lists
Sven Verdoolaege [Sun, 3 Jul 2011 17:56:48 +0000 (19:56 +0200)]
isl_schedule: don't let users get access to internal isl_band_lists

We have been careful to keep the isl_schedule alive whenever the user
is holding on to an isl_band, but if the user only has a reference
to an isl_band_list inside the schedule, then the schedule can still
disappear.  We therefore hand out duplicates of internal lists.
These duplicates contain copies of the isl_bands and these outside
references keep the schedule alive.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd private isl_*_list_dup
Sven Verdoolaege [Sun, 3 Jul 2011 17:54:11 +0000 (19:54 +0200)]
add private isl_*_list_dup

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_qpolynomial_read_from_file
Sven Verdoolaege [Sun, 3 Jul 2011 11:52:03 +0000 (13:52 +0200)]
add isl_pw_qpolynomial_read_from_file

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_basic_set_drop_constraint
Sven Verdoolaege [Thu, 30 Jun 2011 15:51:51 +0000 (17:51 +0200)]
add isl_basic_set_drop_constraint

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_local_space_is_equal: check that divs are known
Sven Verdoolaege [Fri, 1 Jul 2011 15:19:39 +0000 (17:19 +0200)]
isl_local_space_is_equal: check that divs are known

There is no way we can tell if two local spaces are equal
if we don't know the expressions for the divs.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_qpolynomial_from_constraint: reimplement using isl_aff
Sven Verdoolaege [Fri, 1 Jul 2011 15:18:37 +0000 (17:18 +0200)]
isl_qpolynomial_from_constraint: reimplement using isl_aff

This removes some code duplication.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_local_space_get_div: check that the div has a known expression
Sven Verdoolaege [Sat, 2 Jul 2011 08:04:31 +0000 (10:04 +0200)]
isl_local_space_get_div: check that the div has a known expression

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoavoid use of isl_constraint_add_div in isl_test
Sven Verdoolaege [Fri, 1 Jul 2011 13:48:50 +0000 (15:48 +0200)]
avoid use of isl_constraint_add_div in isl_test

At some point we want to remove isl_div entirely.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_from_div
Sven Verdoolaege [Fri, 1 Jul 2011 12:47:29 +0000 (14:47 +0200)]
add isl_aff_from_div

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agosplit off declarations for isl_aff and isl_pw_aff to separate file
Sven Verdoolaege [Fri, 1 Jul 2011 12:38:32 +0000 (14:38 +0200)]
split off declarations for isl_aff and isl_pw_aff to separate file

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_constraint_get_aff
Sven Verdoolaege [Fri, 1 Jul 2011 10:12:28 +0000 (12:12 +0200)]
add isl_constraint_get_aff

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoprivately export isl_basic_map_divs_known
Sven Verdoolaege [Thu, 30 Jun 2011 15:51:31 +0000 (17:51 +0200)]
privately export isl_basic_map_divs_known

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_ge_set
Sven Verdoolaege [Wed, 29 Jun 2011 13:16:22 +0000 (15:16 +0200)]
add isl_pw_aff_ge_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_neg
Sven Verdoolaege [Wed, 29 Jun 2011 13:04:29 +0000 (15:04 +0200)]
add isl_pw_aff_neg

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_printer_print_aff: support printing in C format
Sven Verdoolaege [Fri, 24 Jun 2011 20:38:49 +0000 (22:38 +0200)]
isl_printer_print_aff: support printing in C format

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_add_dims
Sven Verdoolaege [Tue, 28 Jun 2011 21:32:10 +0000 (23:32 +0200)]
add isl_aff_add_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_drop_dims
Sven Verdoolaege [Tue, 28 Jun 2011 18:36:13 +0000 (20:36 +0200)]
add isl_aff_drop_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_involves_dims
Sven Verdoolaege [Tue, 28 Jun 2011 14:51:03 +0000 (16:51 +0200)]
add isl_aff_involves_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_aff_add_coefficient
Sven Verdoolaege [Tue, 28 Jun 2011 21:40:43 +0000 (23:40 +0200)]
export isl_aff_add_coefficient

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_get_dim
Sven Verdoolaege [Wed, 29 Jun 2011 12:16:54 +0000 (14:16 +0200)]
export isl_pw_aff_get_dim

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_add
Sven Verdoolaege [Wed, 29 Jun 2011 11:45:01 +0000 (13:45 +0200)]
export isl_pw_aff_add

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_domain
Sven Verdoolaege [Wed, 29 Jun 2011 11:14:31 +0000 (13:14 +0200)]
export isl_pw_aff_domain

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_coalesce
Sven Verdoolaege [Fri, 1 Jul 2011 16:50:19 +0000 (18:50 +0200)]
export isl_pw_aff_coalesce

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_gist
Sven Verdoolaege [Wed, 29 Jun 2011 10:58:23 +0000 (12:58 +0200)]
export isl_pw_aff_gist

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_dim
Sven Verdoolaege [Tue, 28 Jun 2011 19:23:04 +0000 (21:23 +0200)]
export isl_pw_aff_dim

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_local_space_insert_dims
Sven Verdoolaege [Tue, 28 Jun 2011 21:31:59 +0000 (23:31 +0200)]
add isl_local_space_insert_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_local_space_drop_dims
Sven Verdoolaege [Tue, 28 Jun 2011 18:36:00 +0000 (20:36 +0200)]
add isl_local_space_drop_dims

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agorename isl_local_space_add_dim to isl_local_space_add_dims for consistency
Sven Verdoolaege [Tue, 28 Jun 2011 18:38:40 +0000 (20:38 +0200)]
rename isl_local_space_add_dim to isl_local_space_add_dims for consistency

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_local_space_is_named_or_nested
Sven Verdoolaege [Tue, 28 Jun 2011 18:21:47 +0000 (20:21 +0200)]
add isl_local_space_is_named_or_nested

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_basic_set_set_tuple_name
Sven Verdoolaege [Tue, 28 Jun 2011 21:51:00 +0000 (23:51 +0200)]
add isl_basic_set_set_tuple_name

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_remove_redundancies
Sven Verdoolaege [Tue, 28 Jun 2011 13:28:48 +0000 (15:28 +0200)]
add isl_set_remove_redundancies

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_vec_insert_zero_els
Sven Verdoolaege [Tue, 28 Jun 2011 21:29:20 +0000 (23:29 +0200)]
add isl_vec_insert_zero_els

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_vec_drop_els
Sven Verdoolaege [Tue, 28 Jun 2011 18:17:59 +0000 (20:17 +0200)]
add isl_vec_drop_els

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoMerge branch 'maint'
Sven Verdoolaege [Wed, 29 Jun 2011 19:12:36 +0000 (21:12 +0200)]
Merge branch 'maint'

13 years agoisl_qpolynomial_insert_dims: properly handle named or nested spaces
Sven Verdoolaege [Tue, 28 Jun 2011 21:18:20 +0000 (23:18 +0200)]
isl_qpolynomial_insert_dims: properly handle named or nested spaces

For consistency, we remove any naming or nesting even if n == 0.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_qpolynomial_drop_dims: properly handle nested spaces
Sven Verdoolaege [Tue, 28 Jun 2011 17:03:01 +0000 (19:03 +0200)]
isl_qpolynomial_drop_dims: properly handle nested spaces

For consistency, we remove the nesting even if n == 0.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_qpolynomial_insert_dims: insert zero columns in div matrix
Sven Verdoolaege [Tue, 28 Jun 2011 21:10:19 +0000 (23:10 +0200)]
isl_qpolynomial_insert_dims: insert zero columns in div matrix

In order to insert dimensions, columns corresponding to
these extra dimensions need to be inserted into the matrix
representing the integer divisions.  Before, arbitrary columns
were being added, but the divs have zero coefficients for these
new dimensions, so we should make sure the columns are zero.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_printer_print_pw_aff: support printing in C format
Sven Verdoolaege [Fri, 24 Jun 2011 20:38:49 +0000 (22:38 +0200)]
isl_printer_print_pw_aff: support printing in C format

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_dim_max
Sven Verdoolaege [Fri, 24 Jun 2011 12:58:50 +0000 (14:58 +0200)]
add isl_set_dim_max

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_map_from_pw_aff
Sven Verdoolaege [Fri, 24 Jun 2011 12:56:49 +0000 (14:56 +0200)]
add isl_map_from_pw_aff

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff_max
Sven Verdoolaege [Fri, 24 Jun 2011 12:55:22 +0000 (14:55 +0200)]
add isl_pw_aff_max

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_aff abstraction
Sven Verdoolaege [Fri, 24 Jun 2011 12:53:49 +0000 (14:53 +0200)]
add isl_pw_aff abstraction

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_pw_*_free: return NULL
Sven Verdoolaege [Fri, 24 Jun 2011 12:48:42 +0000 (14:48 +0200)]
isl_pw_*_free: return NULL

Returning NULL helps to simplify error handling code.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_qpolynomial_scale alias for isl_qpolynomial_mul_isl_int
Sven Verdoolaege [Fri, 24 Jun 2011 12:44:51 +0000 (14:44 +0200)]
add isl_qpolynomial_scale alias for isl_qpolynomial_mul_isl_int

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_ge_basic_set
Sven Verdoolaege [Fri, 24 Jun 2011 12:37:32 +0000 (14:37 +0200)]
add isl_aff_ge_basic_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_basic_set_foreach_lexmax
Sven Verdoolaege [Fri, 24 Jun 2011 12:33:35 +0000 (14:33 +0200)]
add isl_basic_set_foreach_lexmax

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_basic_map_foreach_lexmax
Sven Verdoolaege [Fri, 24 Jun 2011 12:31:50 +0000 (14:31 +0200)]
export isl_basic_map_foreach_lexmax

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_gist
Sven Verdoolaege [Fri, 24 Jun 2011 12:30:28 +0000 (14:30 +0200)]
add isl_aff_gist

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agosplit off type declarations for isl_map and isl_set to separate files
Sven Verdoolaege [Fri, 24 Jun 2011 11:26:17 +0000 (13:26 +0200)]
split off type declarations for isl_map and isl_set to separate files

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_set_dim_name
Sven Verdoolaege [Fri, 24 Jun 2011 11:21:16 +0000 (13:21 +0200)]
add isl_aff_set_dim_name

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_plain_is_equal
Sven Verdoolaege [Fri, 24 Jun 2011 11:14:52 +0000 (13:14 +0200)]
add isl_aff_plain_is_equal

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_plain_is_zero
Sven Verdoolaege [Fri, 24 Jun 2011 11:12:13 +0000 (13:12 +0200)]
add isl_aff_plain_is_zero

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_scale_down_ui
Sven Verdoolaege [Fri, 24 Jun 2011 10:37:52 +0000 (12:37 +0200)]
add isl_aff_scale_down_ui

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_floor
Sven Verdoolaege [Fri, 24 Jun 2011 10:20:24 +0000 (12:20 +0200)]
add isl_aff_floor

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_add_constant_si
Sven Verdoolaege [Fri, 24 Jun 2011 10:18:15 +0000 (12:18 +0200)]
add isl_aff_add_constant_si

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>