Sven Verdoolaege [Fri, 12 Aug 2011 09:18:37 +0000 (11:18 +0200)]
doc: warn about the limited use of identifiers of individual dimensions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Aug 2011 15:36:19 +0000 (17:36 +0200)]
document isl_map_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Aug 2011 08:21:27 +0000 (10:21 +0200)]
rename isl_map_insert to isl_set_insert_dims and add it to the docs
The new name is more consistent with other functions, especially
isl_map_add_dims.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 11 Aug 2011 08:14:00 +0000 (10:14 +0200)]
Merge branch 'maint'
Sven Verdoolaege [Wed, 10 Aug 2011 17:31:30 +0000 (19:31 +0200)]
isl_dim_equal: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 10 Aug 2011 17:31:16 +0000 (19:31 +0200)]
isl_dim_tuple_match: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>
Sven Verdoolaege [Sat, 6 Aug 2011 20:30:40 +0000 (22:30 +0200)]
document isl_map_plain_is_fixed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 5 Aug 2011 16:03:39 +0000 (18:03 +0200)]
Merge branch 'maint'
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>
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>
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>
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>
Sebastian Pop [Wed, 3 Aug 2011 22:20:07 +0000 (17:20 -0500)]
doc: remove "struct" in front of isl_* types
Signed-off-by: Sebastian Pop <sebpop@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 4 Aug 2011 14:49:14 +0000 (16:49 +0200)]
doc: update prototype of isl_constraint_free
It was changed in e2a2317 (reimplement isl_constraint in terms of isl_aff,
Fri Jul 1 17:20:52 2011 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>
Sven Verdoolaege [Wed, 3 Aug 2011 19:29:10 +0000 (21:29 +0200)]
isl_schedule.c: handle basic maps individually in setup_carry_lp
Our dependence relations may be unions of basic maps.
When trying to carry dependences we may only be able to carry
some of them at a time. We therefore need to consider them individually.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 3 Aug 2011 12:02:32 +0000 (14:02 +0200)]
add isl_set_reset_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 3 Aug 2011 15:39:51 +0000 (17:39 +0200)]
Merge branch 'maint'
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>
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>
Sebastian Pop [Wed, 3 Aug 2011 01:13:33 +0000 (20:13 -0500)]
doc: fix typos
Signed-off-by: Sebastian Pop <sebpop@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 31 Jul 2011 10:57:01 +0000 (12:57 +0200)]
isl_aff_floor: reduce coefficients of newly created div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 30 Jul 2011 09:04:14 +0000 (11:04 +0200)]
add isl_aff_mod and isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 30 Jul 2011 08:52:00 +0000 (10:52 +0200)]
add isl_int_mul_2exp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 29 Jul 2011 16:37:24 +0000 (18:37 +0200)]
export isl_pw_aff_foreach_piece
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 29 Jul 2011 09:03:53 +0000 (11:03 +0200)]
add isl_set_dim_has_{lower,upper}_bound
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Jul 2011 15:12:49 +0000 (17:12 +0200)]
isl_stream_read_map: accept assignments to tuple variables
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Jul 2011 14:41:29 +0000 (16:41 +0200)]
isl_stream_read_map: accept ternary operators in variable definitions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Jul 2011 13:39:50 +0000 (15:39 +0200)]
isl_stream_read_map: handle initial parenthesized affine expressions
Before, the parser would assume the expression to be a condition.
Now it can handle both cases.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Jul 2011 10:32:14 +0000 (12:32 +0200)]
isl_stream: support compound tokens
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Jul 2011 10:28:14 +0000 (12:28 +0200)]
privately export isl_token_new
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 10:03:05 +0000 (12:03 +0200)]
isl_stream_read_map: accept "!=" in expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 09:56:45 +0000 (11:56 +0200)]
isl_stream_read_map: accept "mod" in expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 09:48:49 +0000 (11:48 +0200)]
isl_stream_read_map: accept arbitrary affine expressions in tuples
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 07:36:00 +0000 (09:36 +0200)]
isl_stream_read_map: use affine expressions during parsing
The old code would use vectors and matrices, keeping track of
how the columns related to each other. Now that isl has support
for affine expressions, the code can be simplified a lot by using
those instead.
We may lose some performance while parsing min/max expressions,
but if that ever becomes a problem, we can fix that inside
the library itself so that all users can benefit.
The switch to affine expressions necessitates the use of isl_maps
where we used to use isl_basic_maps and similarly for isl_qpolynomial
and isl_pw_qpolynomial.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 07:05:32 +0000 (09:05 +0200)]
add isl_pw_aff_list_{min,max}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 07:04:12 +0000 (09:04 +0200)]
add isl_pw_aff_list_*_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 07:01:53 +0000 (09:01 +0200)]
add isl_pw_qpolynomial_from_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 07:00:14 +0000 (09:00 +0200)]
add isl_pw_qpolynomial_pow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:57:56 +0000 (08:57 +0200)]
add isl_pw_qpolynomial_from_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:55:53 +0000 (08:55 +0200)]
add isl_pw_aff_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:52:14 +0000 (08:52 +0200)]
add isl_*_list_concat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:47:27 +0000 (08:47 +0200)]
add isl_*_list_from_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:39:13 +0000 (08:39 +0200)]
*_list_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:31:03 +0000 (08:31 +0200)]
add isl_map_set_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 24 Jul 2011 08:49:17 +0000 (10:49 +0200)]
add isl_pw_aff_from_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>
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>
Sven Verdoolaege [Mon, 25 Jul 2011 13:02:21 +0000 (15:02 +0200)]
add isl_pw_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 13:01:08 +0000 (15:01 +0200)]
export isl_pw_aff_zero_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 15:20:52 +0000 (17:20 +0200)]
reimplement isl_constraint in terms of isl_aff
This completes the removal of the ability of using isl_constraint
as an iterator for the constraints in a set or relation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 15:20:27 +0000 (17:20 +0200)]
add isl_local_space_is_div_constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 13:49:01 +0000 (15:49 +0200)]
drop isl_constraint_add_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Jun 2011 16:03:09 +0000 (18:03 +0200)]
drop isl_constraint_clear
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 27 Jun 2011 08:25:52 +0000 (10:25 +0200)]
isl_constraint: drop constraint iteration
isl_constraint used to have two meanings, one as an iterator for
the constraints in a set or relation and one as an independent constraint.
We want to get rid of the first meaning because it allows the user
to change one object through another object.
In particular, we remove here the ability to iterate over the constraints
of a basic map through an isl_constraint object.
These function were never documented, but they were used by CLooG.
Now that CLooG has been updated not to use them, we can remove them.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 21 Jul 2011 09:13:18 +0000 (11:13 +0200)]
isl_union_map_add_map: align parameters if needed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 20 Jul 2011 08:06:21 +0000 (10:06 +0200)]
align parameters of arguments to binary isl_map and isl_pw_aff functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 6 Jul 2011 18:40:19 +0000 (20:40 +0200)]
introduce identifiers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 13 Jul 2011 11:32:24 +0000 (13:32 +0200)]
privately export isl_pw_aff_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 10:37:03 +0000 (12:37 +0200)]
add isl_pw_aff_min and isl_pw_aff_max
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 20 Jul 2011 12:13:13 +0000 (14:13 +0200)]
rename isl_pw_aff_max to isl_pw_aff_union_max
Most binary operations on isl_pw_affs are only defined on
the intersection of the definition domains of the two arguments.
Rename isl_pw_aff_max to emphasize that the definition domain
of its result is the union of these definition domains.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 09:48:06 +0000 (11:48 +0200)]
add isl_pw_aff_mul
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 09:48:06 +0000 (11:48 +0200)]
add isl_pw_aff_is_cst
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Jul 2011 14:08:14 +0000 (16:08 +0200)]
add isl_pw_aff_ne_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:53 +0000 (16:28 +0200)]
add isl_map_oppose
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:53 +0000 (16:28 +0200)]
add isl_map_equate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 15:09:54 +0000 (17:09 +0200)]
add isl_map_involves_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:08 +0000 (16:28 +0200)]
add isl_set_min
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:30 +0000 (16:28 +0200)]
isl_arg_parse: support flags on string options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Fri, 15 Jul 2011 06:57:26 +0000 (02:57 -0400)]
Expose isl_term_copy
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Tue, 12 Jul 2011 18:23:35 +0000 (14:23 -0400)]
Transform isl_point_print into isl_printer_print_point
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>
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>
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>
Sven Verdoolaege [Sat, 9 Jul 2011 17:57:15 +0000 (19:57 +0200)]
isl 0.07
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Sven Verdoolaege [Sun, 10 Jul 2011 06:34:37 +0000 (08:34 +0200)]
add doc/SubmittingPatches
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>