[llvm] [CodeGen] Add complete-schedule search strategy API (PR #220644)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 24 14:10:53 PDT 2026
================
@@ -0,0 +1,244 @@
+//===- MachineSchedSearch.cpp - Complete schedule search ------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm/CodeGen/MachineSchedSearch.h"
+#include "llvm/ADT/DenseMap.h"
+#include "llvm/ADT/STLExtras.h"
+#include "llvm/ADT/Sequence.h"
+#include <algorithm>
+#include <functional>
+#include <queue>
+#include <vector>
+
+using namespace llvm;
+
+MachineSchedCompleteScheduleOptimizer::
+ ~MachineSchedCompleteScheduleOptimizer() = default;
+
+MachineSchedSearchRegion::MachineSchedSearchRegion(ArrayRef<SUnit> Nodes)
+ : Nodes(Nodes), Predecessors(Nodes.size()), Successors(Nodes.size()) {
+ DenseMap<const SUnit *, unsigned> Ordinals;
+ for (auto [Ordinal, SU] : enumerate(Nodes))
+ Ordinals[&SU] = Ordinal;
+
+ for (auto [Ordinal, SU] : enumerate(Nodes)) {
+ for (const SDep &Pred : SU.Preds) {
+ const SUnit *PredSU = Pred.getSUnit();
+ if (Pred.isWeak() || PredSU->isBoundaryNode())
+ continue;
+ auto PredOrdinal = Ordinals.find(PredSU);
+ assert(PredOrdinal != Ordinals.end() &&
+ "predecessor must belong to the scheduling region");
+ if (PredOrdinal == Ordinals.end())
+ continue;
+ Predecessors[Ordinal].push_back(PredOrdinal->second);
+ Successors[PredOrdinal->second].push_back(Ordinal);
+ }
+ }
+}
+
+MachineSchedSearchRegion::MachineSchedSearchRegion(ScheduleDAGMI &DAG)
+ : MachineSchedSearchRegion(DAG.SUnits) {
+ this->DAG = &DAG;
+}
+
+const SUnit &MachineSchedSearchRegion::getSUnit(unsigned Node) const {
+ assert(Node < size() && "invalid scheduling node ordinal");
+ return Nodes[Node];
+}
+
+SmallVector<unsigned, 0> MachineSchedSearchRegion::getInitialOrder() const {
+ SmallVector<unsigned, 0> Order = to_vector<0>(seq<unsigned>(size()));
+ return Order;
+}
+
+SmallVector<unsigned, 0> MachineSchedSearchRegion::getTopologicalOrder() const {
+ SmallVector<unsigned, 0> RemainingPredecessors;
+ RemainingPredecessors.reserve(size());
+ for (unsigned Node = 0; Node != size(); ++Node)
+ RemainingPredecessors.push_back(predecessors(Node).size());
+
+ std::priority_queue<unsigned, std::vector<unsigned>, std::greater<unsigned>>
+ Ready;
+ for (unsigned Node = 0; Node != size(); ++Node)
+ if (RemainingPredecessors[Node] == 0)
+ Ready.push(Node);
+
+ SmallVector<unsigned, 0> Order;
+ Order.reserve(size());
+ while (!Ready.empty()) {
+ unsigned Node = Ready.top();
+ Ready.pop();
+ Order.push_back(Node);
+ for (unsigned Succ : successors(Node)) {
+ assert(RemainingPredecessors[Succ] != 0 &&
+ "inconsistent machine scheduling DAG");
+ --RemainingPredecessors[Succ];
+ if (RemainingPredecessors[Succ] == 0)
+ Ready.push(Succ);
+ }
+ }
+ assert(Order.size() == size() &&
+ "machine scheduling DAG contains a strong dependency cycle");
+ return Order;
+}
+
+bool MachineSchedSearchRegion::isLegalOrder(ArrayRef<unsigned> Order) const {
+ if (Order.size() != size())
+ return false;
+
+ SmallVector<unsigned, 0> Position(size(), size());
+ for (auto [Pos, Node] : enumerate(Order)) {
+ if (Node >= size() || Position[Node] != size())
+ return false;
+ Position[Node] = Pos;
+ }
+
+ for (unsigned Node = 0; Node != size(); ++Node)
----------------
arsenm wrote:
Braces
https://github.com/llvm/llvm-project/pull/220644
More information about the llvm-commits
mailing list