mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 11:13:28 +01:00
c1f3d6cc06
Summary: This patch implements Machine PostDominator Tree verification and ensures that the verification doesn't fail the in-tree tests. MPDT verification can be enabled using `verify-machine-dom-info` -- the same flag used by Machine Dominator Tree verification. Flipping the flag revealed that MachineSink falsely claimed to preserve CFG and MDT/MPDT. This patch fixes that. Reviewers: arsenm, hliao, rampitec, vpykhtin, grosser Reviewed By: hliao Subscribers: wdng, hiraditya, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D68235 llvm-svn: 373341
94 lines
2.9 KiB
C++
94 lines
2.9 KiB
C++
//===- llvm/CodeGen/MachinePostDominators.h ----------------------*- C++ -*-==//
|
|
//
|
|
// 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 exposes interfaces to post dominance information for
|
|
// target-specific code.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_CODEGEN_MACHINEPOSTDOMINATORS_H
|
|
#define LLVM_CODEGEN_MACHINEPOSTDOMINATORS_H
|
|
|
|
#include "llvm/CodeGen/MachineDominators.h"
|
|
#include "llvm/CodeGen/MachineFunctionPass.h"
|
|
#include <memory>
|
|
|
|
namespace llvm {
|
|
|
|
///
|
|
/// MachinePostDominatorTree - an analysis pass wrapper for DominatorTree
|
|
/// used to compute the post-dominator tree for MachineFunctions.
|
|
///
|
|
class MachinePostDominatorTree : public MachineFunctionPass {
|
|
using PostDomTreeT = PostDomTreeBase<MachineBasicBlock>;
|
|
std::unique_ptr<PostDomTreeT> PDT;
|
|
|
|
public:
|
|
static char ID;
|
|
|
|
MachinePostDominatorTree();
|
|
|
|
FunctionPass *createMachinePostDominatorTreePass();
|
|
|
|
const SmallVectorImpl<MachineBasicBlock *> &getRoots() const {
|
|
return PDT->getRoots();
|
|
}
|
|
|
|
MachineDomTreeNode *getRootNode() const { return PDT->getRootNode(); }
|
|
|
|
MachineDomTreeNode *operator[](MachineBasicBlock *BB) const {
|
|
return PDT->getNode(BB);
|
|
}
|
|
|
|
MachineDomTreeNode *getNode(MachineBasicBlock *BB) const {
|
|
return PDT->getNode(BB);
|
|
}
|
|
|
|
bool dominates(const MachineDomTreeNode *A,
|
|
const MachineDomTreeNode *B) const {
|
|
return PDT->dominates(A, B);
|
|
}
|
|
|
|
bool dominates(const MachineBasicBlock *A, const MachineBasicBlock *B) const {
|
|
return PDT->dominates(A, B);
|
|
}
|
|
|
|
bool properlyDominates(const MachineDomTreeNode *A,
|
|
const MachineDomTreeNode *B) const {
|
|
return PDT->properlyDominates(A, B);
|
|
}
|
|
|
|
bool properlyDominates(const MachineBasicBlock *A,
|
|
const MachineBasicBlock *B) const {
|
|
return PDT->properlyDominates(A, B);
|
|
}
|
|
|
|
bool isVirtualRoot(const MachineDomTreeNode *Node) const {
|
|
return PDT->isVirtualRoot(Node);
|
|
}
|
|
|
|
MachineBasicBlock *findNearestCommonDominator(MachineBasicBlock *A,
|
|
MachineBasicBlock *B) const {
|
|
return PDT->findNearestCommonDominator(A, B);
|
|
}
|
|
|
|
/// Returns the nearest common dominator of the given blocks.
|
|
/// If that tree node is a virtual root, a nullptr will be returned.
|
|
MachineBasicBlock *
|
|
findNearestCommonDominator(ArrayRef<MachineBasicBlock *> Blocks) const;
|
|
|
|
bool runOnMachineFunction(MachineFunction &MF) override;
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override;
|
|
void releaseMemory() override { PDT.reset(nullptr); }
|
|
void verifyAnalysis() const override;
|
|
void print(llvm::raw_ostream &OS, const Module *M = nullptr) const override;
|
|
};
|
|
} //end of namespace llvm
|
|
|
|
#endif
|