1 //===-- MachineFunctionPass.cpp -------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file contains the definitions of the MachineFunctionPass members. 11 // 12 //===----------------------------------------------------------------------===// 13 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" 30 31 using namespace llvm; 32 33 Pass *MachineFunctionPass::createPrinterPass(raw_ostream &O, 34 const std::string &Banner) const { 35 return createMachineFunctionPrinterPass(O, Banner); 36 } 37 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()) { 42 setExecuted(false); 43 return false; 44 } 45 46 MachineModuleInfo &MMI = getAnalysis<MachineModuleInfo>(); 47 MachineFunction &MF = MMI.getMachineFunction(F); 48 49 MachineFunctionProperties &MFProps = MF.getProperties(); 50 51 #ifndef NDEBUG 52 if (!MFProps.verifyRequiredProperties(RequiredProperties)) { 53 errs() << "MachineFunctionProperties required by " << getPassName() 54 << " pass are not met by function " << F.getName() << ".\n" 55 << "Required properties: "; 56 RequiredProperties.print(errs()); 57 errs() << "\nCurrent properties: "; 58 MFProps.print(errs()); 59 errs() << "\n"; 60 llvm_unreachable("MachineFunctionProperties check failed"); 61 } 62 #endif 63 64 bool RV = runOnMachineFunction(MF); 65 66 MFProps.set(SetProperties); 67 MFProps.reset(ClearedProperties); 68 return RV; 69 } 70 71 void MachineFunctionPass::getAnalysisUsage(AnalysisUsage &AU) const { 72 AU.addRequired<MachineModuleInfo>(); 73 AU.addPreserved<MachineModuleInfo>(); 74 75 // MachineFunctionPass preserves all LLVM IR passes, but there's no 76 // high-level way to express this. Instead, just list a bunch of 77 // passes explicitly. This does not include setPreservesCFG, 78 // because CodeGen overloads that to mean preserving the MachineBasicBlock 79 // CFG in addition to the LLVM IR CFG. 80 AU.addPreserved<BasicAAWrapperPass>(); 81 AU.addPreserved<DominanceFrontierWrapperPass>(); 82 AU.addPreserved<DominatorTreeWrapperPass>(); 83 AU.addPreserved<AAResultsWrapperPass>(); 84 AU.addPreserved<GlobalsAAWrapperPass>(); 85 AU.addPreserved<IVUsersWrapperPass>(); 86 AU.addPreserved<LoopInfoWrapperPass>(); 87 AU.addPreserved<MemoryDependenceWrapperPass>(); 88 AU.addPreserved<ScalarEvolutionWrapperPass>(); 89 AU.addPreserved<SCEVAAWrapperPass>(); 90 AU.addPreserved<StackProtector>(); 91 92 FunctionPass::getAnalysisUsage(AU); 93 } 94