| commit | 9728d5ebfbb4fb1f73253f5511913881cffc42d1 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Apr 2013 12:02:05 +0000 (15 14:02 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Apr 2013 20:24:05 +0000 (15 22:24 +0200) | ||
| tree | c65984e5fe039e4d98c99f015b1d5ff5efc69498 | treesnapshot (tar.gz zip) |
| parent | f7f38c2aca61e13373581df7a2194ccc94ebda75 | commitdiff |
isl_ast_build_ast_from_schedule: properly handle union atomic options
In particular, if the domain for which a given dimension should
be atomic is a union of basic sets, then the actual atomic domain
may be larger than this union and we need to make sure that this
larger set is removed from the remainder domain to preserve
the invariant that the elements of the list computed by compute_domains
are disjoint.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if the domain for which a given dimension should
be atomic is a union of basic sets, then the actual atomic domain
may be larger than this union and we need to make sure that this
larger set is removed from the remainder domain to preserve
the invariant that the elements of the list computed by compute_domains
are disjoint.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_codegen.c | diffblobblamehistory | |
| test_inputs/codegen/atomic2.c | [new file with mode: 0644] | blob |
| test_inputs/codegen/atomic2.in | [new file with mode: 0644] | blob |