summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)AuthorFilesLines
2012-11-24add isl_union_map_uncurrySven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-11-22AST printing callbacks: pass isl_ast_print_optionsSven Verdoolaege1-3/+8
The callback may want to pass control back to isl_ast_node_*_print, for which it needs an isl_ast_print_options object. Since the caller of the callback already has a reference to such an object, we might as well pass it along to the callback. Since the callback may want to modifiy the isl_ast_print_options object, we turn it into a properly reference counted isl object. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-11-22doc: fix typoSven Verdoolaege1-1/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-11-21add before_each_for/after_each_for callbacksSven Verdoolaege1-0/+25
2012-11-14rename isl_basic_set_add to isl_basic_set_add_dimsSven Verdoolaege1-0/+3
For consistency with isl_set_add_dims and isl_basic_set_insert_dims. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-10-05isl_ast_build_ast_from_schedule: make construction of else branches optionalSven Verdoolaege1-0/+8
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-10-04isl_ast_expr: add isl_ast_op_lt and isl_ast_op_gt operationsSven Verdoolaege1-0/+8
isl_ast_op_lt will be useful in the next commit. isl_ast_op_gt is added for consistency. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-10-04add isl_basic_set_from_paramsSven Verdoolaege1-1/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_id_set_free_userSven Verdoolaege1-0/+5
Allow the user to specify a callback to be called on the user pointer when the last reference to the isl_id disappears. This is convenient for attaching dynamically allocated data structures to isl_ids, especially in annotations to AST nodes. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add support for generating ASTs from schedule relationsSven Verdoolaege1-1/+832
This functionality is similar to that offered by CLooG and codegen(+). The implementation in isl allows for a bit more control on how the ASTs are generated by means of fairly flexible options. It also has proper support for nested AST generation. The outputs of all test cases have been verified by parsing them using pet and then checking that the set of calls corresponds exactly to the domain of the schedule and that they are called in an order that matches the schedule. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18doc: separate out polyhedral compilation functionalitySven Verdoolaege1-64/+69
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_set_dim_has_{lower,upper}_boundSven Verdoolaege1-0/+12
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_pw_*_pullback_pw_multi_affSven Verdoolaege1-1/+9
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_pw_*_pullback_multi_affSven Verdoolaege1-2/+9
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_aff_pullback_multi_affSven Verdoolaege1-0/+9
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_aff_pullback_multi_affSven Verdoolaege1-0/+11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_set_preimage_pw_multi_affSven Verdoolaege1-1/+4
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_set_preimage_multi_affSven Verdoolaege1-1/+4
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_basic_set_preimage_multi_affSven Verdoolaege1-0/+13
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_pw_multi_aff_range_productSven Verdoolaege1-0/+4
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_*_spliceSven Verdoolaege1-0/+8
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_*_range_spliceSven Verdoolaege1-0/+7
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_*_set_tuple_nameSven Verdoolaege1-0/+7
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_*_range_productSven Verdoolaege1-0/+7
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_*_add_dimsSven Verdoolaege1-0/+6
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_*_insert_dimsSven Verdoolaege1-0/+7
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_pw_affSven Verdoolaege1-1/+37
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_multi_aff_from_affSven Verdoolaege1-2/+5
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_pw_aff_zero_on_domainSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-18add isl_pw_aff_var_on_domainSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-17add isl_aff_var_on_domainSven Verdoolaege1-2/+6
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-17add isl_basic_set_drop_constraints_not_involving_dimsSven Verdoolaege1-1/+6
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-17add isl_{set,map}_drop_constraints_involving_dimsSven Verdoolaege1-0/+21
We implement these functions on top of the existing isl_basic_set_drop_constraints_involving which handles dimensions in terms of absolute positions. We may want to convert the users of this old function over to the new functions at some point. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-17add isl_set_unshifted_simple_hullSven Verdoolaege1-0/+8
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-17add isl_union_map_subtract_rangeSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-13export isl_set_plain_cmpSven Verdoolaege1-0/+11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-13doc: clarify use of identifiersSven Verdoolaege1-2/+8
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-13add isl_basic_set_remove_unknown_divsSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-13and isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_rSven Verdoolaege1-0/+9
These are useful for expressing the result of the corresponding C operators. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-13add isl_pw_aff_divSven Verdoolaege1-1/+7
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-13add isl_set_is_disjointSven Verdoolaege1-0/+4
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_map_uncurrySven Verdoolaege1-0/+14
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_union_map_subtract_domainSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_constraint_listSven Verdoolaege1-1/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_pw_multi_aff_set_pw_affSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_pw_multi_aff_identitySven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06declare isl_pw_multi_aff_align_paramsSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06declare isl_basic_map_remove_divs_involving_dimsSven Verdoolaege1-0/+5
This function was added in 720f32e (add isl_set_remove_divs_involving_dims, Wed Oct 27 13:04:04 2010 +0200), but was not exported. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_vec_fdiv_rSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_*_list_insertSven Verdoolaege1-0/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>