123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575 |
- //===-- MachineFunction.cpp -----------------------------------------------===//
- //
- // The LLVM Compiler Infrastructure
- //
- // This file is distributed under the University of Illinois Open Source
- // License. See LICENSE.TXT for details.
- //
- //===----------------------------------------------------------------------===//
- //
- // Collect native machine code information for a function. This allows
- // target-specific information about the generated code to be stored with each
- // function.
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/DerivedTypes.h"
- #include "llvm/Function.h"
- #include "llvm/Instructions.h"
- #include "llvm/ADT/STLExtras.h"
- #include "llvm/Config/config.h"
- #include "llvm/CodeGen/MachineConstantPool.h"
- #include "llvm/CodeGen/MachineFunctionPass.h"
- #include "llvm/CodeGen/MachineFrameInfo.h"
- #include "llvm/CodeGen/MachineInstr.h"
- #include "llvm/CodeGen/MachineJumpTableInfo.h"
- #include "llvm/CodeGen/MachineRegisterInfo.h"
- #include "llvm/CodeGen/Passes.h"
- #include "llvm/Target/TargetData.h"
- #include "llvm/Target/TargetLowering.h"
- #include "llvm/Target/TargetMachine.h"
- #include "llvm/Target/TargetFrameInfo.h"
- #include "llvm/Support/Compiler.h"
- #include "llvm/Support/GraphWriter.h"
- #include "llvm/Support/raw_ostream.h"
- #include <fstream>
- #include <sstream>
- using namespace llvm;
- namespace {
- struct VISIBILITY_HIDDEN Printer : public MachineFunctionPass {
- static char ID;
- std::ostream *OS;
- const std::string Banner;
- Printer (std::ostream *os, const std::string &banner)
- : MachineFunctionPass(&ID), OS(os), Banner(banner) {}
- const char *getPassName() const { return "MachineFunction Printer"; }
- virtual void getAnalysisUsage(AnalysisUsage &AU) const {
- AU.setPreservesAll();
- MachineFunctionPass::getAnalysisUsage(AU);
- }
- bool runOnMachineFunction(MachineFunction &MF) {
- (*OS) << Banner;
- MF.print (*OS);
- return false;
- }
- };
- char Printer::ID = 0;
- }
- /// Returns a newly-created MachineFunction Printer pass. The default banner is
- /// empty.
- ///
- FunctionPass *llvm::createMachineFunctionPrinterPass(std::ostream *OS,
- const std::string &Banner){
- return new Printer(OS, Banner);
- }
- //===---------------------------------------------------------------------===//
- // MachineFunction implementation
- //===---------------------------------------------------------------------===//
- void ilist_traits<MachineBasicBlock>::deleteNode(MachineBasicBlock *MBB) {
- MBB->getParent()->DeleteMachineBasicBlock(MBB);
- }
- MachineFunction::MachineFunction(Function *F,
- const TargetMachine &TM)
- : Fn(F), Target(TM) {
- if (TM.getRegisterInfo())
- RegInfo = new (Allocator.Allocate<MachineRegisterInfo>())
- MachineRegisterInfo(*TM.getRegisterInfo());
- else
- RegInfo = 0;
- MFInfo = 0;
- FrameInfo = new (Allocator.Allocate<MachineFrameInfo>())
- MachineFrameInfo(*TM.getFrameInfo());
- ConstantPool = new (Allocator.Allocate<MachineConstantPool>())
- MachineConstantPool(TM.getTargetData());
- Alignment = TM.getTargetLowering()->getFunctionAlignment(F);
- CallSiteIndex = 0;
- MaxCallSiteIndex = 0;
- // Set up jump table.
- const TargetData &TD = *TM.getTargetData();
- bool IsPic = TM.getRelocationModel() == Reloc::PIC_;
- unsigned EntrySize = IsPic ? 4 : TD.getPointerSize();
- unsigned TyAlignment = IsPic ?
- TD.getABITypeAlignment(Type::getInt32Ty(F->getContext()))
- : TD.getPointerABIAlignment();
- JumpTableInfo = new (Allocator.Allocate<MachineJumpTableInfo>())
- MachineJumpTableInfo(EntrySize, TyAlignment);
- }
- MachineFunction::~MachineFunction() {
- BasicBlocks.clear();
- InstructionRecycler.clear(Allocator);
- BasicBlockRecycler.clear(Allocator);
- if (RegInfo) {
- RegInfo->~MachineRegisterInfo();
- Allocator.Deallocate(RegInfo);
- }
- if (MFInfo) {
- MFInfo->~MachineFunctionInfo();
- Allocator.Deallocate(MFInfo);
- }
- FrameInfo->~MachineFrameInfo(); Allocator.Deallocate(FrameInfo);
- ConstantPool->~MachineConstantPool(); Allocator.Deallocate(ConstantPool);
- JumpTableInfo->~MachineJumpTableInfo(); Allocator.Deallocate(JumpTableInfo);
- }
- /// RenumberBlocks - This discards all of the MachineBasicBlock numbers and
- /// recomputes them. This guarantees that the MBB numbers are sequential,
- /// dense, and match the ordering of the blocks within the function. If a
- /// specific MachineBasicBlock is specified, only that block and those after
- /// it are renumbered.
- void MachineFunction::RenumberBlocks(MachineBasicBlock *MBB) {
- if (empty()) { MBBNumbering.clear(); return; }
- MachineFunction::iterator MBBI, E = end();
- if (MBB == 0)
- MBBI = begin();
- else
- MBBI = MBB;
-
- // Figure out the block number this should have.
- unsigned BlockNo = 0;
- if (MBBI != begin())
- BlockNo = prior(MBBI)->getNumber()+1;
-
- for (; MBBI != E; ++MBBI, ++BlockNo) {
- if (MBBI->getNumber() != (int)BlockNo) {
- // Remove use of the old number.
- if (MBBI->getNumber() != -1) {
- assert(MBBNumbering[MBBI->getNumber()] == &*MBBI &&
- "MBB number mismatch!");
- MBBNumbering[MBBI->getNumber()] = 0;
- }
-
- // If BlockNo is already taken, set that block's number to -1.
- if (MBBNumbering[BlockNo])
- MBBNumbering[BlockNo]->setNumber(-1);
- MBBNumbering[BlockNo] = MBBI;
- MBBI->setNumber(BlockNo);
- }
- }
- // Okay, all the blocks are renumbered. If we have compactified the block
- // numbering, shrink MBBNumbering now.
- assert(BlockNo <= MBBNumbering.size() && "Mismatch!");
- MBBNumbering.resize(BlockNo);
- }
- /// CreateMachineInstr - Allocate a new MachineInstr. Use this instead
- /// of `new MachineInstr'.
- ///
- MachineInstr *
- MachineFunction::CreateMachineInstr(const TargetInstrDesc &TID,
- DebugLoc DL, bool NoImp) {
- return new (InstructionRecycler.Allocate<MachineInstr>(Allocator))
- MachineInstr(TID, DL, NoImp);
- }
- /// CloneMachineInstr - Create a new MachineInstr which is a copy of the
- /// 'Orig' instruction, identical in all ways except the the instruction
- /// has no parent, prev, or next.
- ///
- MachineInstr *
- MachineFunction::CloneMachineInstr(const MachineInstr *Orig) {
- return new (InstructionRecycler.Allocate<MachineInstr>(Allocator))
- MachineInstr(*this, *Orig);
- }
- /// DeleteMachineInstr - Delete the given MachineInstr.
- ///
- void
- MachineFunction::DeleteMachineInstr(MachineInstr *MI) {
- // Clear the instructions memoperands. This must be done manually because
- // the instruction's parent pointer is now null, so it can't properly
- // deallocate them on its own.
- MI->clearMemOperands(*this);
- MI->~MachineInstr();
- InstructionRecycler.Deallocate(Allocator, MI);
- }
- /// CreateMachineBasicBlock - Allocate a new MachineBasicBlock. Use this
- /// instead of `new MachineBasicBlock'.
- ///
- MachineBasicBlock *
- MachineFunction::CreateMachineBasicBlock(const BasicBlock *bb) {
- return new (BasicBlockRecycler.Allocate<MachineBasicBlock>(Allocator))
- MachineBasicBlock(*this, bb);
- }
- /// DeleteMachineBasicBlock - Delete the given MachineBasicBlock.
- ///
- void
- MachineFunction::DeleteMachineBasicBlock(MachineBasicBlock *MBB) {
- assert(MBB->getParent() == this && "MBB parent mismatch!");
- MBB->~MachineBasicBlock();
- BasicBlockRecycler.Deallocate(Allocator, MBB);
- }
- void MachineFunction::dump() const {
- print(*cerr.stream());
- }
- void MachineFunction::print(std::ostream &OS,
- const PrefixPrinter &prefix) const {
- OS << "# Machine code for " << Fn->getNameStr () << "():\n";
- // Print Frame Information
- FrameInfo->print(*this, OS);
-
- // Print JumpTable Information
- JumpTableInfo->print(OS);
- // Print Constant Pool
- {
- raw_os_ostream OSS(OS);
- ConstantPool->print(OSS);
- }
-
- const TargetRegisterInfo *TRI = getTarget().getRegisterInfo();
-
- if (RegInfo && !RegInfo->livein_empty()) {
- OS << "Live Ins:";
- for (MachineRegisterInfo::livein_iterator
- I = RegInfo->livein_begin(), E = RegInfo->livein_end(); I != E; ++I) {
- if (TRI)
- OS << " " << TRI->getName(I->first);
- else
- OS << " Reg #" << I->first;
-
- if (I->second)
- OS << " in VR#" << I->second << " ";
- }
- OS << "\n";
- }
- if (RegInfo && !RegInfo->liveout_empty()) {
- OS << "Live Outs:";
- for (MachineRegisterInfo::liveout_iterator
- I = RegInfo->liveout_begin(), E = RegInfo->liveout_end(); I != E; ++I)
- if (TRI)
- OS << " " << TRI->getName(*I);
- else
- OS << " Reg #" << *I;
- OS << "\n";
- }
-
- for (const_iterator BB = begin(); BB != end(); ++BB) {
- prefix(OS, *BB);
- BB->print(OS, prefix);
- }
- OS << "\n# End machine code for " << Fn->getNameStr () << "().\n\n";
- }
- namespace llvm {
- template<>
- struct DOTGraphTraits<const MachineFunction*> : public DefaultDOTGraphTraits {
- static std::string getGraphName(const MachineFunction *F) {
- return "CFG for '" + F->getFunction()->getNameStr() + "' function";
- }
- static std::string getNodeLabel(const MachineBasicBlock *Node,
- const MachineFunction *Graph,
- bool ShortNames) {
- if (ShortNames && Node->getBasicBlock() &&
- !Node->getBasicBlock()->getName().empty())
- return Node->getBasicBlock()->getNameStr() + ":";
- std::ostringstream Out;
- if (ShortNames) {
- Out << Node->getNumber() << ':';
- return Out.str();
- }
- Node->print(Out);
- std::string OutStr = Out.str();
- if (OutStr[0] == '\n') OutStr.erase(OutStr.begin());
- // Process string output to make it nicer...
- for (unsigned i = 0; i != OutStr.length(); ++i)
- if (OutStr[i] == '\n') { // Left justify
- OutStr[i] = '\\';
- OutStr.insert(OutStr.begin()+i+1, 'l');
- }
- return OutStr;
- }
- };
- }
- void MachineFunction::viewCFG() const
- {
- #ifndef NDEBUG
- ViewGraph(this, "mf" + getFunction()->getNameStr());
- #else
- cerr << "SelectionDAG::viewGraph is only available in debug builds on "
- << "systems with Graphviz or gv!\n";
- #endif // NDEBUG
- }
- void MachineFunction::viewCFGOnly() const
- {
- #ifndef NDEBUG
- ViewGraph(this, "mf" + getFunction()->getNameStr(), true);
- #else
- cerr << "SelectionDAG::viewGraph is only available in debug builds on "
- << "systems with Graphviz or gv!\n";
- #endif // NDEBUG
- }
- /// addLiveIn - Add the specified physical register as a live-in value and
- /// create a corresponding virtual register for it.
- unsigned MachineFunction::addLiveIn(unsigned PReg,
- const TargetRegisterClass *RC) {
- assert(RC->contains(PReg) && "Not the correct regclass!");
- unsigned VReg = getRegInfo().createVirtualRegister(RC);
- getRegInfo().addLiveIn(PReg, VReg);
- return VReg;
- }
- /// getOrCreateDebugLocID - Look up the DebugLocTuple index with the given
- /// source file, line, and column. If none currently exists, create a new
- /// DebugLocTuple, and insert it into the DebugIdMap.
- unsigned MachineFunction::getOrCreateDebugLocID(GlobalVariable *CompileUnit,
- unsigned Line, unsigned Col) {
- DebugLocTuple Tuple(CompileUnit, Line, Col);
- DenseMap<DebugLocTuple, unsigned>::iterator II
- = DebugLocInfo.DebugIdMap.find(Tuple);
- if (II != DebugLocInfo.DebugIdMap.end())
- return II->second;
- // Add a new tuple.
- unsigned Id = DebugLocInfo.DebugLocations.size();
- DebugLocInfo.DebugLocations.push_back(Tuple);
- DebugLocInfo.DebugIdMap[Tuple] = Id;
- return Id;
- }
- /// getDebugLocTuple - Get the DebugLocTuple for a given DebugLoc object.
- DebugLocTuple MachineFunction::getDebugLocTuple(DebugLoc DL) const {
- unsigned Idx = DL.getIndex();
- assert(Idx < DebugLocInfo.DebugLocations.size() &&
- "Invalid index into debug locations!");
- return DebugLocInfo.DebugLocations[Idx];
- }
- //===----------------------------------------------------------------------===//
- // MachineFrameInfo implementation
- //===----------------------------------------------------------------------===//
- /// CreateFixedObject - Create a new object at a fixed location on the stack.
- /// All fixed objects should be created before other objects are created for
- /// efficiency. By default, fixed objects are immutable. This returns an
- /// index with a negative value.
- ///
- int MachineFrameInfo::CreateFixedObject(uint64_t Size, int64_t SPOffset,
- bool Immutable) {
- assert(Size != 0 && "Cannot allocate zero size fixed stack objects!");
- Objects.insert(Objects.begin(), StackObject(Size, 1, SPOffset, Immutable));
- return -++NumFixedObjects;
- }
- BitVector
- MachineFrameInfo::getPristineRegs(const MachineBasicBlock *MBB) const {
- assert(MBB && "MBB must be valid");
- const MachineFunction *MF = MBB->getParent();
- assert(MF && "MBB must be part of a MachineFunction");
- const TargetMachine &TM = MF->getTarget();
- const TargetRegisterInfo *TRI = TM.getRegisterInfo();
- BitVector BV(TRI->getNumRegs());
- // Before CSI is calculated, no registers are considered pristine. They can be
- // freely used and PEI will make sure they are saved.
- if (!isCalleeSavedInfoValid())
- return BV;
- for (const unsigned *CSR = TRI->getCalleeSavedRegs(MF); CSR && *CSR; ++CSR)
- BV.set(*CSR);
- // The entry MBB always has all CSRs pristine.
- if (MBB == &MF->front())
- return BV;
- // On other MBBs the saved CSRs are not pristine.
- const std::vector<CalleeSavedInfo> &CSI = getCalleeSavedInfo();
- for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
- E = CSI.end(); I != E; ++I)
- BV.reset(I->getReg());
- return BV;
- }
- void MachineFrameInfo::print(const MachineFunction &MF, std::ostream &OS) const{
- const TargetFrameInfo *FI = MF.getTarget().getFrameInfo();
- int ValOffset = (FI ? FI->getOffsetOfLocalArea() : 0);
- for (unsigned i = 0, e = Objects.size(); i != e; ++i) {
- const StackObject &SO = Objects[i];
- OS << " <fi#" << (int)(i-NumFixedObjects) << ">: ";
- if (SO.Size == ~0ULL) {
- OS << "dead\n";
- continue;
- }
- if (SO.Size == 0)
- OS << "variable sized";
- else
- OS << "size is " << SO.Size << " byte" << (SO.Size != 1 ? "s," : ",");
- OS << " alignment is " << SO.Alignment << " byte"
- << (SO.Alignment != 1 ? "s," : ",");
- if (i < NumFixedObjects)
- OS << " fixed";
- if (i < NumFixedObjects || SO.SPOffset != -1) {
- int64_t Off = SO.SPOffset - ValOffset;
- OS << " at location [SP";
- if (Off > 0)
- OS << "+" << Off;
- else if (Off < 0)
- OS << Off;
- OS << "]";
- }
- OS << "\n";
- }
- if (HasVarSizedObjects)
- OS << " Stack frame contains variable sized objects\n";
- }
- void MachineFrameInfo::dump(const MachineFunction &MF) const {
- print(MF, *cerr.stream());
- }
- //===----------------------------------------------------------------------===//
- // MachineJumpTableInfo implementation
- //===----------------------------------------------------------------------===//
- /// getJumpTableIndex - Create a new jump table entry in the jump table info
- /// or return an existing one.
- ///
- unsigned MachineJumpTableInfo::getJumpTableIndex(
- const std::vector<MachineBasicBlock*> &DestBBs) {
- assert(!DestBBs.empty() && "Cannot create an empty jump table!");
- for (unsigned i = 0, e = JumpTables.size(); i != e; ++i)
- if (JumpTables[i].MBBs == DestBBs)
- return i;
-
- JumpTables.push_back(MachineJumpTableEntry(DestBBs));
- return JumpTables.size()-1;
- }
- /// ReplaceMBBInJumpTables - If Old is the target of any jump tables, update
- /// the jump tables to branch to New instead.
- bool
- MachineJumpTableInfo::ReplaceMBBInJumpTables(MachineBasicBlock *Old,
- MachineBasicBlock *New) {
- assert(Old != New && "Not making a change?");
- bool MadeChange = false;
- for (size_t i = 0, e = JumpTables.size(); i != e; ++i) {
- MachineJumpTableEntry &JTE = JumpTables[i];
- for (size_t j = 0, e = JTE.MBBs.size(); j != e; ++j)
- if (JTE.MBBs[j] == Old) {
- JTE.MBBs[j] = New;
- MadeChange = true;
- }
- }
- return MadeChange;
- }
- void MachineJumpTableInfo::print(std::ostream &OS) const {
- // FIXME: this is lame, maybe we could print out the MBB numbers or something
- // like {1, 2, 4, 5, 3, 0}
- for (unsigned i = 0, e = JumpTables.size(); i != e; ++i) {
- OS << " <jt#" << i << "> has " << JumpTables[i].MBBs.size()
- << " entries\n";
- }
- }
- void MachineJumpTableInfo::dump() const { print(*cerr.stream()); }
- //===----------------------------------------------------------------------===//
- // MachineConstantPool implementation
- //===----------------------------------------------------------------------===//
- const Type *MachineConstantPoolEntry::getType() const {
- if (isMachineConstantPoolEntry())
- return Val.MachineCPVal->getType();
- return Val.ConstVal->getType();
- }
- unsigned MachineConstantPoolEntry::getRelocationInfo() const {
- if (isMachineConstantPoolEntry())
- return Val.MachineCPVal->getRelocationInfo();
- return Val.ConstVal->getRelocationInfo();
- }
- MachineConstantPool::~MachineConstantPool() {
- for (unsigned i = 0, e = Constants.size(); i != e; ++i)
- if (Constants[i].isMachineConstantPoolEntry())
- delete Constants[i].Val.MachineCPVal;
- }
- /// getConstantPoolIndex - Create a new entry in the constant pool or return
- /// an existing one. User must specify the log2 of the minimum required
- /// alignment for the object.
- ///
- unsigned MachineConstantPool::getConstantPoolIndex(Constant *C,
- unsigned Alignment) {
- assert(Alignment && "Alignment must be specified!");
- if (Alignment > PoolAlignment) PoolAlignment = Alignment;
-
- // Check to see if we already have this constant.
- //
- // FIXME, this could be made much more efficient for large constant pools.
- for (unsigned i = 0, e = Constants.size(); i != e; ++i)
- if (Constants[i].Val.ConstVal == C &&
- (Constants[i].getAlignment() & (Alignment - 1)) == 0)
- return i;
-
- Constants.push_back(MachineConstantPoolEntry(C, Alignment));
- return Constants.size()-1;
- }
- unsigned MachineConstantPool::getConstantPoolIndex(MachineConstantPoolValue *V,
- unsigned Alignment) {
- assert(Alignment && "Alignment must be specified!");
- if (Alignment > PoolAlignment) PoolAlignment = Alignment;
-
- // Check to see if we already have this constant.
- //
- // FIXME, this could be made much more efficient for large constant pools.
- int Idx = V->getExistingMachineCPValue(this, Alignment);
- if (Idx != -1)
- return (unsigned)Idx;
- Constants.push_back(MachineConstantPoolEntry(V, Alignment));
- return Constants.size()-1;
- }
- void MachineConstantPool::print(raw_ostream &OS) const {
- for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
- OS << " <cp#" << i << "> is";
- if (Constants[i].isMachineConstantPoolEntry())
- Constants[i].Val.MachineCPVal->print(OS);
- else
- OS << *(Value*)Constants[i].Val.ConstVal;
- OS << " , alignment=" << Constants[i].getAlignment();
- OS << "\n";
- }
- }
- void MachineConstantPool::dump() const { print(errs()); }
|