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/MachineFunctionAnalysis.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 31using namespace llvm; 32 33Pass *MachineFunctionPass::createPrinterPass(raw_ostream &O, 34 const std::string &Banner) const { 35 return createMachineFunctionPrinterPass(O, Banner); 36} 37 38bool 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 return false; 43 44 MachineFunction &MF = getAnalysis<MachineFunctionAnalysis>().getMF(); 45 MachineFunctionProperties &MFProps = MF.getProperties(); 46 47#ifndef NDEBUG 48 if (!MFProps.verifyRequiredProperties(RequiredProperties)) { 49 errs() << "MachineFunctionProperties required by " << getPassName() 50 << " pass are not met by function " << F.getName() << ".\n" 51 << "Required properties: "; 52 RequiredProperties.print(errs(), /*OnlySet=*/true); 53 errs() << "\nCurrent properties: "; 54 MFProps.print(errs()); 55 errs() << "\n"; 56 llvm_unreachable("MachineFunctionProperties check failed"); 57 } 58#endif 59 60 bool RV = runOnMachineFunction(MF); 61 62 MFProps.set(SetProperties); 63 MFProps.clear(ClearedProperties); 64 return RV; 65} 66 67void MachineFunctionPass::getAnalysisUsage(AnalysisUsage &AU) const { 68 AU.addRequired<MachineFunctionAnalysis>(); 69 AU.addPreserved<MachineFunctionAnalysis>(); 70 71 // MachineFunctionPass preserves all LLVM IR passes, but there's no 72 // high-level way to express this. Instead, just list a bunch of 73 // passes explicitly. This does not include setPreservesCFG, 74 // because CodeGen overloads that to mean preserving the MachineBasicBlock 75 // CFG in addition to the LLVM IR CFG. 76 AU.addPreserved<BasicAAWrapperPass>(); 77 AU.addPreserved<DominanceFrontierWrapperPass>(); 78 AU.addPreserved<DominatorTreeWrapperPass>(); 79 AU.addPreserved<AAResultsWrapperPass>(); 80 AU.addPreserved<GlobalsAAWrapperPass>(); 81 AU.addPreserved<IVUsers>(); 82 AU.addPreserved<LoopInfoWrapperPass>(); 83 AU.addPreserved<MemoryDependenceWrapperPass>(); 84 AU.addPreserved<ScalarEvolutionWrapperPass>(); 85 AU.addPreserved<SCEVAAWrapperPass>(); 86 AU.addPreserved<StackProtector>(); 87 88 FunctionPass::getAnalysisUsage(AU); 89} 90