diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2024-07-27 23:34:35 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2024-10-23 18:26:01 +0000 |
commit | 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583 (patch) | |
tree | 6cf5ab1f05330c6773b1f3f64799d56a9c7a1faa /contrib/llvm-project/llvm/lib/CodeGen/MachineDomTreeUpdater.cpp | |
parent | 6b9f7133aba44189d9625c352bc2c2a59baf18ef (diff) | |
parent | ac9a064cb179f3425b310fa2847f8764ac970a4d (diff) |
Diffstat (limited to 'contrib/llvm-project/llvm/lib/CodeGen/MachineDomTreeUpdater.cpp')
-rw-r--r-- | contrib/llvm-project/llvm/lib/CodeGen/MachineDomTreeUpdater.cpp | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/contrib/llvm-project/llvm/lib/CodeGen/MachineDomTreeUpdater.cpp b/contrib/llvm-project/llvm/lib/CodeGen/MachineDomTreeUpdater.cpp new file mode 100644 index 000000000000..afffafb245e6 --- /dev/null +++ b/contrib/llvm-project/llvm/lib/CodeGen/MachineDomTreeUpdater.cpp @@ -0,0 +1,66 @@ +//===- MachineDomTreeUpdater.cpp -----------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// +// +// This file implements the MachineDomTreeUpdater class, which provides a +// uniform way to update dominator tree related data structures. +// +//===----------------------------------------------------------------------===// + +#include "llvm/CodeGen/MachineDomTreeUpdater.h" +#include "llvm/ADT/SmallSet.h" +#include "llvm/Analysis/GenericDomTreeUpdaterImpl.h" +#include "llvm/CodeGen/MachinePostDominators.h" +#include "llvm/Support/GenericDomTree.h" +#include <algorithm> +#include <functional> +#include <utility> + +namespace llvm { + +template class GenericDomTreeUpdater< + MachineDomTreeUpdater, MachineDominatorTree, MachinePostDominatorTree>; + +template void +GenericDomTreeUpdater<MachineDomTreeUpdater, MachineDominatorTree, + MachinePostDominatorTree>::recalculate(MachineFunction + &MF); + +bool MachineDomTreeUpdater::forceFlushDeletedBB() { + if (DeletedBBs.empty()) + return false; + + for (auto *BB : DeletedBBs) { + eraseDelBBNode(BB); + BB->eraseFromParent(); + } + DeletedBBs.clear(); + return true; +} + +// The DT and PDT require the nodes related to updates +// are not deleted when update functions are called. +// So MachineBasicBlock deletions must be pended when the +// UpdateStrategy is Lazy. When the UpdateStrategy is +// Eager, the MachineBasicBlock will be deleted immediately. +void MachineDomTreeUpdater::deleteBB(MachineBasicBlock *DelBB) { + validateDeleteBB(DelBB); + if (Strategy == UpdateStrategy::Lazy) { + DeletedBBs.insert(DelBB); + return; + } + + eraseDelBBNode(DelBB); + DelBB->eraseFromParent(); +} + +void MachineDomTreeUpdater::validateDeleteBB(MachineBasicBlock *DelBB) { + assert(DelBB && "Invalid push_back of nullptr DelBB."); + assert(DelBB->pred_empty() && "DelBB has one or more predecessors."); +} + +} // namespace llvm |