1 //===-- MachineFunctionPass.cpp -------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the definitions of the MachineFunctionPass members.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/CodeGen/MachineFunctionPass.h"
15 #include "llvm/Analysis/AliasAnalysis.h"
16 #include "llvm/Analysis/BasicAliasAnalysis.h"
17 #include "llvm/Analysis/DominanceFrontier.h"
18 #include "llvm/Analysis/GlobalsModRef.h"
19 #include "llvm/Analysis/IVUsers.h"
20 #include "llvm/Analysis/LoopInfo.h"
21 #include "llvm/Analysis/MemoryDependenceAnalysis.h"
22 #include "llvm/Analysis/ScalarEvolution.h"
23 #include "llvm/Analysis/ScalarEvolutionAliasAnalysis.h"
24 #include "llvm/CodeGen/MachineFunction.h"
25 #include "llvm/CodeGen/MachineModuleInfo.h"
26 #include "llvm/CodeGen/Passes.h"
27 #include "llvm/CodeGen/StackProtector.h"
28 #include "llvm/IR/Dominators.h"
29 #include "llvm/IR/Function.h"
33 Pass *MachineFunctionPass::createPrinterPass(raw_ostream &O,
34 const std::string &Banner) const {
35 return createMachineFunctionPrinterPass(O, Banner);
38 bool MachineFunctionPass::runOnFunction(Function &F) {
39 // Do not codegen any 'available_externally' functions at all, they have
40 // definitions outside the translation unit.
41 if (F.hasAvailableExternallyLinkage())
44 MachineModuleInfo &MMI = getAnalysis<MachineModuleInfo>();
45 MachineFunction &MF = MMI.getOrCreateMachineFunction(F);
47 MachineFunctionProperties &MFProps = MF.getProperties();
50 if (!MFProps.verifyRequiredProperties(RequiredProperties)) {
51 errs() << "MachineFunctionProperties required by " << getPassName()
52 << " pass are not met by function " << F.getName() << ".\n"
53 << "Required properties: ";
54 RequiredProperties.print(errs());
55 errs() << "\nCurrent properties: ";
56 MFProps.print(errs());
58 llvm_unreachable("MachineFunctionProperties check failed");
62 bool RV = runOnMachineFunction(MF);
64 MFProps.set(SetProperties);
65 MFProps.reset(ClearedProperties);
69 void MachineFunctionPass::getAnalysisUsage(AnalysisUsage &AU) const {
70 AU.addRequired<MachineModuleInfo>();
71 AU.addPreserved<MachineModuleInfo>();
73 // MachineFunctionPass preserves all LLVM IR passes, but there's no
74 // high-level way to express this. Instead, just list a bunch of
75 // passes explicitly. This does not include setPreservesCFG,
76 // because CodeGen overloads that to mean preserving the MachineBasicBlock
77 // CFG in addition to the LLVM IR CFG.
78 AU.addPreserved<BasicAAWrapperPass>();
79 AU.addPreserved<DominanceFrontierWrapperPass>();
80 AU.addPreserved<DominatorTreeWrapperPass>();
81 AU.addPreserved<AAResultsWrapperPass>();
82 AU.addPreserved<GlobalsAAWrapperPass>();
83 AU.addPreserved<IVUsersWrapperPass>();
84 AU.addPreserved<LoopInfoWrapperPass>();
85 AU.addPreserved<MemoryDependenceWrapperPass>();
86 AU.addPreserved<ScalarEvolutionWrapperPass>();
87 AU.addPreserved<SCEVAAWrapperPass>();
88 AU.addPreserved<StackProtector>();
90 FunctionPass::getAnalysisUsage(AU);