maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[ISLTools]: Move singleton to isl++ 

llvm-svn: 312476
This commit is contained in:
Tobias Grosser 2017-09-04 10:05:29 +00:00
parent 3575afd739
commit 8703e38380
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
polly/lib/Support/ISLTools.cpp
View File

@ -135,12 +135,11 @@ isl::map polly::singleton(isl::union_map UMap, isl::space ExpectedSpace) {
return nullptr;
if (isl_union_map_n_map(UMap.keep()) == 0)
return give(isl_map_empty(ExpectedSpace.take()));
return isl::map::empty(ExpectedSpace);
isl::map Result = isl::map::from_union_map(UMap);
assert(!Result || Result.get_space().has_equal_tuples(ExpectedSpace));
auto Result = give(isl_map_from_union_map(UMap.take()));
assert(!Result || isl_space_has_equal_tuples(
give(isl_map_get_space(Result.keep())).keep(),
ExpectedSpace.keep()) == isl_bool_true);
return Result;
}
@ -149,12 +148,11 @@ isl::set polly::singleton(isl::union_set USet, isl::space ExpectedSpace) {
return nullptr;
if (isl_union_set_n_set(USet.keep()) == 0)
return give(isl_set_empty(ExpectedSpace.copy()));
return isl::set::empty(ExpectedSpace);
isl::set Result(USet);
assert(!Result || Result.get_space().has_equal_tuples(ExpectedSpace));
auto Result = give(isl_set_from_union_set(USet.take()));
assert(!Result || isl_space_has_equal_tuples(
give(isl_set_get_space(Result.keep())).keep(),
ExpectedSpace.keep()) == isl_bool_true);
return Result;
}
@ -537,4 +535,4 @@ isl::union_map polly::applyDomainRange(isl::union_map UMap,
isl::map polly::intersectRange(isl::map Map, isl::union_set Range) {
isl::set RangeSet = Range.extract_set(Map.get_space().range());
return Map.intersect_range(RangeSet);
}
}