X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FCodeGen%2FMachineBasicBlock.cpp;h=695ba13a49ddf58bc7880ebf9c76696380880e4f;hb=151c80be8180a7a0aa1594848699aa6b678b3998;hp=1b78d7a90b160331a53c008d850405b5b09a217e;hpb=51a8d8528135ba4e3e4cf7cd711a9e47b19078a3;p=oota-llvm.git diff --git a/lib/CodeGen/MachineBasicBlock.cpp b/lib/CodeGen/MachineBasicBlock.cpp index 1b78d7a90b1..695ba13a49d 100644 --- a/lib/CodeGen/MachineBasicBlock.cpp +++ b/lib/CodeGen/MachineBasicBlock.cpp @@ -1,23 +1,140 @@ -//===-- MachineCodeForBasicBlock.cpp --------------------------------------===// -// +//===-- llvm/CodeGen/MachineBasicBlock.cpp ----------------------*- C++ -*-===// +// +// The LLVM Compiler Infrastructure +// +// This file was developed by the LLVM research group and is distributed under +// the University of Illinois Open Source License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// // Collect the sequence of machine instructions for a basic block. // //===----------------------------------------------------------------------===// -#include "llvm/CodeGen/MachineCodeForBasicBlock.h" +#include "llvm/CodeGen/MachineBasicBlock.h" +#include "llvm/BasicBlock.h" +#include "llvm/CodeGen/MachineFunction.h" +#include "llvm/CodeGen/MachineInstr.h" +#include "llvm/Target/TargetInstrInfo.h" +#include "llvm/Target/TargetMachine.h" +#include "llvm/Support/LeakDetector.h" +#include +#include +using namespace llvm; + +MachineBasicBlock::~MachineBasicBlock() { + LeakDetector::removeGarbageObject(this); +} + + +// MBBs start out as #-1. When a MBB is added to a MachineFunction, it +// gets the next available unique MBB number. If it is removed from a +// MachineFunction, it goes back to being #-1. +void ilist_traits::addNodeToList(MachineBasicBlock* N) { + assert(N->Parent == 0 && "machine instruction already in a basic block"); + N->Parent = Parent; + N->Number = Parent->addToMBBNumbering(N); + LeakDetector::removeGarbageObject(N); +} + +void ilist_traits::removeNodeFromList(MachineBasicBlock* N) { + assert(N->Parent != 0 && "machine instruction not in a basic block"); + N->Parent->removeFromMBBNumbering(N->Number); + N->Number = -1; + N->Parent = 0; + LeakDetector::addGarbageObject(N); +} + + +MachineInstr* ilist_traits::createSentinel() { + MachineInstr* dummy = new MachineInstr(0, 0); + LeakDetector::removeGarbageObject(dummy); + return dummy; +} + +void ilist_traits::addNodeToList(MachineInstr* N) { + assert(N->parent == 0 && "machine instruction already in a basic block"); + N->parent = parent; + LeakDetector::removeGarbageObject(N); +} + +void ilist_traits::removeNodeFromList(MachineInstr* N) { + assert(N->parent != 0 && "machine instruction not in a basic block"); + N->parent = 0; + LeakDetector::addGarbageObject(N); +} -AnnotationID MCFBB_AID( - AnnotationManager::getID("CodeGen::MachineBasicBlock")); +void ilist_traits::transferNodesFromList( + iplist >& toList, + ilist_iterator first, + ilist_iterator last) { + if (parent != toList.parent) + for (; first != last; ++first) + first->parent = toList.parent; +} -static Annotation *CreateMCFBB(AnnotationID AID, const Annotable *, void *) { - assert(AID == MCFBB_AID); - return new MachineBasicBlock(); // Invoke constructor! +MachineBasicBlock::iterator MachineBasicBlock::getFirstTerminator() { + const TargetInstrInfo& TII = *getParent()->getTarget().getInstrInfo(); + iterator I = end(); + while (I != begin() && TII.isTerminatorInstr((--I)->getOpcode())); + if (I != end() && !TII.isTerminatorInstr(I->getOpcode())) ++I; + return I; } -// Register the annotation with the annotation factory -static struct MCFBBInitializer { - MCFBBInitializer() { - AnnotationManager::registerAnnotationFactory(MCFBB_AID, &CreateMCFBB); +void MachineBasicBlock::dump() const { + print(std::cerr); +} + +void MachineBasicBlock::print(std::ostream &OS) const { + if(!getParent()) { + OS << "Can't print out MachineBasicBlock because parent MachineFunction" + << " is null\n"; + return; } -} RegisterCreateMCFBB; + const BasicBlock *LBB = getBasicBlock(); + if (LBB) + OS << "\n" << LBB->getName() << " (" << (const void*)this + << ", LLVM BB @" << (const void*) LBB << "):\n"; + for (const_iterator I = begin(); I != end(); ++I) { + OS << "\t"; + I->print(OS, &getParent()->getTarget()); + } + + // Print the successors of this block according to the CFG. + if (!succ_empty()) { + OS << " Successors according to CFG:"; + for (const_succ_iterator SI = succ_begin(), E = succ_end(); SI != E; ++SI) + OS << " " << *SI; + OS << "\n"; + } +} + +void MachineBasicBlock::addSuccessor(MachineBasicBlock *succ) { + Successors.push_back(succ); + succ->addPredecessor(this); +} + +void MachineBasicBlock::removeSuccessor(MachineBasicBlock *succ) { + succ->removePredecessor(this); + succ_iterator I = std::find(Successors.begin(), Successors.end(), succ); + assert(I != Successors.end() && "Not a current successor!"); + Successors.erase(I); +} + +void MachineBasicBlock::removeSuccessor(succ_iterator I) { + assert(I != Successors.end() && "Not a current successor!"); + (*I)->removePredecessor(this); + Successors.erase(I); +} + +void MachineBasicBlock::addPredecessor(MachineBasicBlock *pred) { + Predecessors.push_back(pred); +} + +void MachineBasicBlock::removePredecessor(MachineBasicBlock *pred) { + std::vector::iterator I = + std::find(Predecessors.begin(), Predecessors.end(), pred); + assert(I != Predecessors.end() && "Pred is not a predecessor of this block!"); + Predecessors.erase(I); +}