1444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//===- MachineDominators.cpp - Machine Dominator Calculation --------------===//
2444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//
3444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//                     The LLVM Compiler Infrastructure
4444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//
5081ce940e7351e90fff829320b7dc6738a6b3815Chris Lattner// This file is distributed under the University of Illinois Open Source
6081ce940e7351e90fff829320b7dc6738a6b3815Chris Lattner// License. See LICENSE.TXT for details.
7444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//
8444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//===----------------------------------------------------------------------===//
9444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//
10444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson// This file implements simple dominator construction algorithms for finding
11444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson// forward dominators on machine functions.
12444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//
13444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson//===----------------------------------------------------------------------===//
14444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson
15444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson#include "llvm/CodeGen/MachineDominators.h"
166226436fd365f491a87914451dcd2b04137994e9Bill Wendling#include "llvm/CodeGen/Passes.h"
17444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson
18444710d3e044f06eea20ce1206dc096b095c3efdOwen Andersonusing namespace llvm;
19444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson
2086dd20e4ab83c6d96b5a526bc95fc0ee6170e4ecJohn McCallnamespace llvm {
21444710d3e044f06eea20ce1206dc096b095c3efdOwen AndersonTEMPLATE_INSTANTIATION(class DomTreeNodeBase<MachineBasicBlock>);
22444710d3e044f06eea20ce1206dc096b095c3efdOwen AndersonTEMPLATE_INSTANTIATION(class DominatorTreeBase<MachineBasicBlock>);
2386dd20e4ab83c6d96b5a526bc95fc0ee6170e4ecJohn McCall}
24444710d3e044f06eea20ce1206dc096b095c3efdOwen Anderson
25cd8a384d01180db29d126f166ab386b8040426f9Chris Lattnerchar MachineDominatorTree::ID = 0;
26cd8a384d01180db29d126f166ab386b8040426f9Chris Lattner
27291fe21a327d29b43f44bf3a58d44f65fc72a293Owen AndersonINITIALIZE_PASS(MachineDominatorTree, "machinedomtree",
281434dfa8cead98bd1e63411fcb9424e1d37f61acOwen Anderson                "MachineDominator Tree Construction", true, true)
296226436fd365f491a87914451dcd2b04137994e9Bill Wendling
307569322765651f19eea0609fb082e6b267d5d2b5Owen Andersonchar &llvm::MachineDominatorsID = MachineDominatorTree::ID;
31c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman
32c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohmanvoid MachineDominatorTree::getAnalysisUsage(AnalysisUsage &AU) const {
33c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  AU.setPreservesAll();
34c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  MachineFunctionPass::getAnalysisUsage(AU);
35c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman}
36c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman
37c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohmanbool MachineDominatorTree::runOnMachineFunction(MachineFunction &F) {
38c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  DT->recalculate(F);
39c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman
40c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  return false;
41c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman}
42c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman
43c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan GohmanMachineDominatorTree::MachineDominatorTree()
447569322765651f19eea0609fb082e6b267d5d2b5Owen Anderson    : MachineFunctionPass(ID) {
45a65d6a686e6ad865c61aec70c5bdfb30bf6f5b22Owen Anderson  initializeMachineDominatorTreePass(*PassRegistry::getPassRegistry());
46c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  DT = new DominatorTreeBase<MachineBasicBlock>(false);
47c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman}
48c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman
49c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan GohmanMachineDominatorTree::~MachineDominatorTree() {
50c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  delete DT;
51c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman}
52c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman
53c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohmanvoid MachineDominatorTree::releaseMemory() {
54c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman  DT->releaseMemory();
55c24a3f87f866e96b2a9ad691c78113651eaa77d1Dan Gohman}
56a7a9daa051617d5d01fdeaa84585cba498e1c96eChris Lattner
57397f4560780d34da0bd1e4c9b9101c6f0774e8ffChris Lattnervoid MachineDominatorTree::print(raw_ostream &OS, const Module*) const {
58397f4560780d34da0bd1e4c9b9101c6f0774e8ffChris Lattner  DT->print(OS);
59a7a9daa051617d5d01fdeaa84585cba498e1c96eChris Lattner}
60