summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2010-12-01hide isl_basic_set internalsSven Verdoolaege9-38/+47
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-27add isl_basic_set_{in,}equalities_matrixSven Verdoolaege3-9/+39
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support footerSven Verdoolaege2-13/+33
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: avoid duplicate newline in help outputSven Verdoolaege1-1/+11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support grouping of options within the same structureSven Verdoolaege2-16/+44
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support int optionsSven Verdoolaege2-0/+71
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support ISL_ARG_HIDDEN flagSven Verdoolaege2-0/+5
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support ISL_ARG_BOOL_ARG flagSven Verdoolaege2-14/+27
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support ISL_ARG_SINGLE_DASH flagSven Verdoolaege2-7/+22
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support aliasesSven Verdoolaege2-3/+34
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: always print help optionSven Verdoolaege1-3/+8
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: support phantom boolean optionsSven Verdoolaege2-6/+28
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: free string arguments before overwriting themSven Verdoolaege1-2/+5
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: allow options after argumentsSven Verdoolaege1-14/+28
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: only print --version option onceSven Verdoolaege1-22/+24
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-26isl_arg_parse: print string option defaultSven Verdoolaege1-1/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-24isl_arg_parse: delimit string option argument by angle bracketsSven Verdoolaege1-2/+7
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-24isl_arg_parse: allow options without long nameSven Verdoolaege1-0/+5
2010-11-24isl_vec_read_polylib: use isl_streamSven Verdoolaege1-34/+33
The original implementation imposed an arbitrary limit on the line lengths, without check. Reported-by: "sinzerely.yorz" <slashdevslashzerr0@gmail.com> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege107-310/+312
We need to turn on the nostdinc option of automake as otherwise it would include -I$(top_builddir)/include/isl in DEFAULT_INCLUDES because of AC_CONFIG_HEADERS(include/isl/config.h) in configure.ac. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-18isl_tab_basic_map_partial_lexopt: fix memory leak on error pathSven Verdoolaege1-1/+3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-17add isl_union_set_is_equalSven Verdoolaege4-3/+49
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-17add isl_union_map_read_from_strSven Verdoolaege6-2/+82
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-17isl_tab_basic_map_partial_lexopt: add all equalities before pivotingSven Verdoolaege3-3/+19
During the construction of the initial tableau in tab_for_lexmin, restore_lexmin would get called after the addition of each equality. However, restore_lexmin performs some pivoting operations that could invalidate the assumptions of last_var_col_or_int_par_col during the addition of the next equality. We therefore postpone the call to restore_lexmin until after all equalities have been added. Problem reported by Tobias Grosser <grosser@fim.uni-passau.de> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-17isl_pip: avoid empty domain during verificationSven Verdoolaege1-47/+24
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-17add isl_basic_set_box_from_pointsSven Verdoolaege3-7/+30
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-15isl_basic_map_eliminate_vars: don't detect divs while removing duplicate ↵Sven Verdoolaege1-5/+6
constraints We were careful to remove the definitions of divs that depend on the eliminated variables at the start of isl_basic_map_eliminate_vars, but remove_duplicate_constraints could rediscover some of them and add them back in. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-14isl_dim.c: set_name: only print single error message on incorrect inputSven Verdoolaege1-1/+2
The global_pos function already prints an error message, so there is no point in printing another error message inside set_name when global_pos returns an error condition. Signed-off-by: Sven Verdoolaege <sven@nestor.cs.kuleuven.be>
2010-11-14isl_pw_qpolynomial_fold_bound: fix handling or zero input with wrapped domainSven Verdoolaege2-18/+25
That is, make sure the result has the right domain even if the input is zero. Signed-off-by: Sven Verdoolaege <sven@nestor.cs.kuleuven.be>
2010-11-14isl_printer_print_pw_qpolynomial{,_fold}: always print special domainsSven Verdoolaege1-5/+8
If the domain of a piecewise quasipolynomial (fold) is the zero-dimensional space, then we don't print the "[] -> " to avoid clutter. However, if the domain has a name or if it has internal structure then it should be printed explicitly as otherwise no distinction can be made with the unnamed unstructured zero-dimensional space. Signed-off-by: Sven Verdoolaege <sven@nestor.cs.kuleuven.be>
2010-11-12isl_qpolynomial_bound_on_domain_bernstein: optionally triangulate domainsSven Verdoolaege3-0/+11
Preliminary experiments show that triangulation may slow down the computation but helps tremendously in keeping memory use down. It is therefore enabled by default. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_options_parse: print default on boolean optionsSven Verdoolaege1-10/+19
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_options_parse: accept prefix before or after "no" on boolean optionsSven Verdoolaege1-2/+15
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12add isl_cell_foreach_simplexSven Verdoolaege2-0/+175
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_basic_set_compute_vertices: store input basic set in resultSven Verdoolaege2-12/+11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_vertices_foreach_cell: store individual vertex ids inside cellSven Verdoolaege3-21/+20
Currently, each cell corresponds to a (possibly reduced) chamber in the chamber decomposition. If we want to allow other kinds of cells, e.g., triangulations of chambers, then we need to store the vertex ids inside the individual cells. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12add isl_union_pw_qpolynomial_to_polynomialSven Verdoolaege3-0/+284
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12doc: update isl_pw_qpolynomial_gist descriptionSven Verdoolaege1-1/+1
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>
2010-11-12add isl_set_foreach_orthantSven Verdoolaege2-0/+67
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_range.c: privately export isl_qpolynomial_terms_of_signSven Verdoolaege2-8/+9
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>
2010-11-12isl_range.c: collect_fixed_sign_terms: drop dead codeSven Verdoolaege1-4/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_set_split_dims: extract out half-space creationSven Verdoolaege1-21/+48
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_printer_print_pw_qpolynomial_fold: use consistent names in C formatSven Verdoolaege1-28/+34
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12isl_dim_total: handle NULL inputSven Verdoolaege1-1/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-12add isl_vec_clrSven Verdoolaege2-0/+10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-10isl_qpolynomial_div_pow: normalize given divSven Verdoolaege1-22/+24
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>
2010-11-08isl_bound: accept folds as inputSven Verdoolaege1-3/+12
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-08isl_bound: use isl_pw_qpolynomial_folds internallySven Verdoolaege1-20/+23
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-08export isl_pw_qpolynomial_fold_fix_dimSven Verdoolaege1-0/+4
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2010-11-06add isl_union_set_polyhedral_hullSven Verdoolaege7-0/+57
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 18:10:28 +0000