replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[ZoneAlgorithm] Move computeScalarReachingDefinition to c++ 

llvm-svn: 311336
This commit is contained in:
Tobias Grosser 2017-08-21 14:19:40 +00:00
parent d447a7a128
commit 0dd42512ff
1 changed files with 7 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
polly/lib/Transform/ZoneAlgo.cpp
View File

@ -184,15 +184,14 @@ static isl::union_map computeScalarReachingDefinition(isl::union_map Schedule,
bool InclRedef) {
// { DomainWrite[] -> Element[] }
auto Defs = give(isl_union_map_from_domain(Writes.take()));
isl::union_map Defs = isl::union_map::from_domain(Writes);
// { [Element[] -> Scatter[]] -> DomainWrite[] }
auto ReachDefs =
computeReachingDefinition(Schedule, Defs, InclDef, InclRedef);
// { Scatter[] -> DomainWrite[] }
return give(isl_union_set_unwrap(
isl_union_map_range(isl_union_map_curry(ReachDefs.take()))));
return ReachDefs.curry().range().unwrap();
}
/// Compute the reaching definition of a scalar.
@ -209,16 +208,14 @@ static isl::union_map computeScalarReachingDefinition(isl::union_map Schedule,
static isl::map computeScalarReachingDefinition(isl::union_map Schedule,
isl::set Writes, bool InclDef,
bool InclRedef) {
auto DomainSpace = give(isl_set_get_space(Writes.keep()));
auto ScatterSpace = getScatterSpace(Schedule);
isl::space DomainSpace = Writes.get_space();
isl::space ScatterSpace = getScatterSpace(Schedule);
// { Scatter[] -> DomainWrite[] }
auto UMap = computeScalarReachingDefinition(
Schedule, give(isl_union_set_from_set(Writes.take())), InclDef,
InclRedef);
isl::union_map UMap = computeScalarReachingDefinition(
Schedule, isl::union_set(Writes), InclDef, InclRedef);
auto ResultSpace = give(isl_space_map_from_domain_and_range(
ScatterSpace.take(), DomainSpace.take()));
isl::space ResultSpace = ScatterSpace.map_from_domain_and_range(DomainSpace);
return singleton(UMap, ResultSpace);
}