forked from OSchip/llvm-project
[ScheduleDAG] Avoid unnecessary recomputation of topological order.
In some cases ScheduleDAGRRList has to add new nodes to resolve problems with interfering physical registers. When new nodes are added, it completely re-computes the topological order, which can take a long time, but is unnecessary. We only add nodes one by one, and initially they do not have any predecessors. So we can just insert them at the end of the vector. Later we add predecessors, but the helper function properly updates the topological order much more efficiently. With this change, the compile time for the program below drops from 300s to 30s on my machine. define i11129 @test1() { %L1 = load i11129, i11129* undef %B30 = ashr i11129 %L1, %L1 store i11129 %B30, i11129* undef ret i11129 %L1 } This should be generally beneficial, as we can skip a large amount of work. Theoretically there are some scenarios where we might not safe much, e.g. when we add a dependency between the first and last node. Then we would have to shift all nodes. But we still do not have to spend the time re-computing the initial order. Reviewers: MatzeB, atrick, efriedma, niravd, paquette Reviewed By: paquette Differential Revision: https://reviews.llvm.org/D59722
This commit is contained in:
parent
bfdf9ef009
commit
ec25a71eb7
|
@ -724,6 +724,10 @@ class TargetRegisterInfo;
|
|||
public:
|
||||
ScheduleDAGTopologicalSort(std::vector<SUnit> &SUnits, SUnit *ExitSU);
|
||||
|
||||
/// Add a SUnit without predecessors to the end of the topological order. It
|
||||
/// also must be the first new node added to the DAG.
|
||||
void AddSUnitWithoutPredecessors(const SUnit *SU);
|
||||
|
||||
/// Creates the initial topological ordering from the DAG to be scheduled.
|
||||
void InitDAGTopologicalSorting();
|
||||
|
||||
|
|
|
@ -713,6 +713,14 @@ bool ScheduleDAGTopologicalSort::WillCreateCycle(SUnit *TargetSU, SUnit *SU) {
|
|||
return false;
|
||||
}
|
||||
|
||||
void ScheduleDAGTopologicalSort::AddSUnitWithoutPredecessors(const SUnit *SU) {
|
||||
assert(SU->NodeNum == Index2Node.size() && "Node cannot be added at the end");
|
||||
assert(SU->NumPreds == 0 && "Can only add SU's with no predecessors");
|
||||
Node2Index.push_back(Index2Node.size());
|
||||
Index2Node.push_back(SU->NodeNum);
|
||||
Visited.resize(Node2Index.size());
|
||||
}
|
||||
|
||||
bool ScheduleDAGTopologicalSort::IsReachable(const SUnit *SU,
|
||||
const SUnit *TargetSU) {
|
||||
FixOrder();
|
||||
|
|
|
@ -279,7 +279,7 @@ private:
|
|||
SUnit *NewNode = newSUnit(N);
|
||||
// Update the topological ordering.
|
||||
if (NewNode->NodeNum >= NumSUnits)
|
||||
Topo.MarkDirty();
|
||||
Topo.AddSUnitWithoutPredecessors(NewNode);
|
||||
return NewNode;
|
||||
}
|
||||
|
||||
|
@ -289,7 +289,7 @@ private:
|
|||
SUnit *NewNode = Clone(N);
|
||||
// Update the topological ordering.
|
||||
if (NewNode->NodeNum >= NumSUnits)
|
||||
Topo.MarkDirty();
|
||||
Topo.AddSUnitWithoutPredecessors(NewNode);
|
||||
return NewNode;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue