summaryrefslogtreecommitdiff
path: root/isl_space.c
AgeCommit message (Collapse)AuthorFilesLines
2013-04-22isl_space.c: add missing includeSven Verdoolaege1-0/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-12-07isl_hash_dim: make result independent of endiannessSven Verdoolaege1-3/+3
The result computed by isl_hash_dim may affect the order of maps in a union map, which may in turn affect the result of AST generation. In particular, we would generate slightly different output depending on endianness, causing the tests to fail on big endian machines since the generated output is compared to output generated on a little endian machine. Instead of hashing in the dimensions of the space as integers, we now only hash in the least significant byte. This has some effect on the results of AST generation, but the output should now be the same on little endian and big endian. Reported-by: Richard Biener <rguenther@suse.de> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-12-02isl_space_extend: avoid invalid access on errorSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-12-01isl_space_dup: avoid invalid accesses on errorSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06add isl_map_uncurrySven Verdoolaege1-0/+37
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-06isl_space_free: return NULLSven Verdoolaege1-3/+5
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
Signed-off-by: Tobias Grosser <tobias@grosser.es> Signed-off-by: Andreas Kloeckner <kloeckner@cims.nyu.edu> Signed-off-by: Todor Stefanov <stefanov@liacs.nl> Signed-off-by: Sven van Haastregt <svhaastr@liacs.nl> Signed-off-by: Isabelle Ryl <isabelle.ryl@inria.fr> Signed-off-by: Mythri Alle <mythri.allel@gmail.com> Signed-off-by: Wim De Clercq <Wim.DeClercq@lrd.kuleuven.be> Signed-off-by: Anne Cormier <Anne.Cormier@ens.fr> Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-07add isl_space_is_rangeSven Verdoolaege1-0/+28
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-07export isl_space_is_domainSven Verdoolaege1-1/+16
We cannot simply export the private isl_space_is_domain however, since that one is also used in cases where the first argument is a parameter space and the second argument is a set space. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-07doc: document isl_space_is_equalSven Verdoolaege1-0/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-08-07add isl_space_is_mapSven Verdoolaege1-0/+10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-07-27isl_space_extend_domain_with_range: handle ranges with a nested spaceSven Verdoolaege1-3/+23
The original code would only take into account the number of dimensions and the tuple name. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-06-03isl_space.c: avoid icc warningSven Verdoolaege1-20/+18
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-06-02isl_space_unwrap: fix error messageSven Verdoolaege1-1/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-30Merge branch 'maint'Sven Verdoolaege1-0/+15
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-30isl_space_insert_dims: fix handling of nested spacesSven Verdoolaege1-0/+15
In particular, if we are inserting parameters, then we should also insert them in any nested spaces. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-21isl_space.c: document name_okSven Verdoolaege1-0/+5
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-21Merge branch 'maint'Sven Verdoolaege1-0/+35
2012-05-18isl_space_set_dim_name: handle NULL nameSven Verdoolaege1-0/+35
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-06add isl_space_has_tuple_nameSven Verdoolaege1-11/+37
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-06add isl_union_map_currySven Verdoolaege1-0/+39
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-05-06isl_space.c: avoid use of "0" as pointer valueSven Verdoolaege1-1/+1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-02-26add isl_space_has_dim_nameSven Verdoolaege1-0/+13
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-01-31isl_space_set_dim_id: also set id of parameter in nested spacesSven Verdoolaege1-0/+20
A nested space is supposed to have the same parameters as the nesting space, so if the id of a parameter in the nesting space space changes, it has to be changed in the nested spaces too. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2012-01-31isl_space_set_dim_id: rename "dim" variable to "space"Sven Verdoolaege1-6/+6
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-12-10add isl_space_map_from_domain_and_rangeSven Verdoolaege1-0/+18
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-27add isl_space_find_dim_by_nameSven Verdoolaege1-0/+20
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-22add isl_space_set_from_paramsSven Verdoolaege1-0/+13
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03add isl_space_extend_domain_with_rangeSven Verdoolaege1-0/+18
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03add isl_space_is_domainSven Verdoolaege1-0/+13
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03explicitly differentiate between spaces of maps, sets and parameter setsSven Verdoolaege1-14/+106
Before, no distinction was made internally between spaces of maps, sets and parameter spaces. In particular, an isl_space with zero input and output dimensions could have been any of those. When printing isl_sets and isl_maps, we could keep track of whether the original object as a set or a map, but parametric domains and zero-dimensional domains were still printed identically. Now we explicitly keep track of whether a space is supposed to be that of a map, set or parametric set. This means for example that "[N] -> { [] : N >= 0 }" and "[N] -> { : N >= 0 }" are no longer considered to be identical. This may break some code that was using one space in place of another, especially since until recently there was no official way of creating a parameter space. The main advantage is that we can now recognize parameter spaces and treat them appropriately. In particular, the domains of affine expressions can now be correctly identified as being either (possibly zero-dimensional) sets or parameter domains. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03add isl_space_params_allocSven Verdoolaege1-0/+9
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03isl_space_wrap: properly create set spaceSven Verdoolaege1-1/+2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03isl_space_match: optimize trivial casesSven Verdoolaege1-0/+11
A space is obviously equal to itself. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03add isl_map_flat_domain_productSven Verdoolaege1-0/+41
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03isl_space_align_params: accept general isl_spacesSven Verdoolaege1-1/+2
Before, we would only accept parameter spaces. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03add isl_space_paramsSven Verdoolaege1-0/+9
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-0/+1454
The old name was confusing because the name suggested that the object represents a single dimension, while in fact it represents an entire space. The documented isl_dim based names are for backward compatibility. Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-21 02:36:36 +0000