Refactor rewinding code for finding the first terminator of a basic

block into MachineBasicBlock::getFirstTerminator().

This also fixes a bug in the implementation of the above in both
RegAllocLocal and InstrSched, where instructions where added after the
terminator if the basic block's only instruction was a terminator (it
shouldn't matter for RegAllocLocal since this case never occurs in
practice).


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11748 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Alkis Evlogimenos 2004-02-23 18:14:48 +00:00
parent fbc39d5045
commit 743d0a1f83
6 changed files with 21 additions and 33 deletions

View File

@ -95,6 +95,11 @@ public:
reverse_iterator rend () { return Insts.rend(); } reverse_iterator rend () { return Insts.rend(); }
const_reverse_iterator rend () const { return Insts.rend(); } const_reverse_iterator rend () const { return Insts.rend(); }
/// getFirstTerminator - returns an iterator to the first terminator
/// instruction of this basic block. If a terminator does not exist,
/// it returns end()
iterator getFirstTerminator();
void push_back(MachineInstr *MI) { Insts.push_back(MI); } void push_back(MachineInstr *MI) { Insts.push_back(MI); }
template<typename IT> template<typename IT>
void insert(iterator I, IT S, IT E) { Insts.insert(I, S, E); } void insert(iterator I, IT S, IT E) { Insts.insert(I, S, E); }

View File

@ -15,6 +15,8 @@
#include "llvm/BasicBlock.h" #include "llvm/BasicBlock.h"
#include "llvm/CodeGen/MachineFunction.h" #include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineInstr.h" #include "llvm/CodeGen/MachineInstr.h"
#include "llvm/Target/TargetInstrInfo.h"
#include "llvm/Target/TargetMachine.h"
#include "Support/LeakDetector.h" #include "Support/LeakDetector.h"
using namespace llvm; using namespace llvm;
@ -56,6 +58,16 @@ void ilist_traits<MachineInstr>::transferNodesFromList(
first->parent = toList.parent; first->parent = toList.parent;
} }
MachineBasicBlock::iterator MachineBasicBlock::getFirstTerminator()
{
const TargetInstrInfo& TII = MachineFunction::get(
getBasicBlock()->getParent()).getTarget().getInstrInfo();
iterator I = end();
while (I != begin() && TII.isTerminatorInstr((--I)->getOpcode()));
if (I != end() && !TII.isTerminatorInstr(I->getOpcode())) ++I;
return I;
}
void MachineBasicBlock::dump() const void MachineBasicBlock::dump() const
{ {
print(std::cerr); print(std::cerr);

View File

@ -143,22 +143,7 @@ bool PNE::EliminatePHINodes(MachineFunction &MF, MachineBasicBlock &MBB) {
// source path the PHI. // source path the PHI.
MachineBasicBlock &opBlock = *MI->getOperand(i).getMachineBasicBlock(); MachineBasicBlock &opBlock = *MI->getOperand(i).getMachineBasicBlock();
// Figure out where to insert the copy, which is at the end of the MachineBasicBlock::iterator I = opBlock.getFirstTerminator();
// predecessor basic block, but before any terminator/branch
// instructions...
MachineBasicBlock::iterator I = opBlock.end();
if (I != opBlock.begin()) { // Handle empty blocks
--I;
// must backtrack over ALL the branches in the previous block
while (MII.isTerminatorInstr(I->getOpcode()) &&
I != opBlock.begin())
--I;
// move back to the first branch instruction so new instructions
// are inserted right in front of it and not in front of a non-branch
if (!MII.isTerminatorInstr(I->getOpcode()))
++I;
}
// Check to make sure we haven't already emitted the copy for this block. // Check to make sure we haven't already emitted the copy for this block.
// This can happen because PHI nodes may have multiple entries for the // This can happen because PHI nodes may have multiple entries for the

View File

@ -649,11 +649,7 @@ void RA::AllocateBasicBlock(MachineBasicBlock &MBB) {
} }
} }
// Rewind the iterator to point to the first flow control instruction... MI = MBB.getFirstTerminator();
const TargetInstrInfo &TII = TM->getInstrInfo();
MI = MBB.end();
while (MI != MBB.begin() && TII.isTerminatorInstr((--MI)->getOpcode()));
if (MI != MBB.end()) ++MI;
// Spill all physical registers holding virtual registers now. // Spill all physical registers holding virtual registers now.
for (unsigned i = 0, e = RegInfo->getNumRegs(); i != e; ++i) for (unsigned i = 0, e = RegInfo->getNumRegs(); i != e; ++i)

View File

@ -679,7 +679,6 @@ static bool RequiresFPRegKill(const BasicBlock *BB) {
// //
void ISel::InsertFPRegKills() { void ISel::InsertFPRegKills() {
SSARegMap &RegMap = *F->getSSARegMap(); SSARegMap &RegMap = *F->getSSARegMap();
const TargetInstrInfo &TII = TM.getInstrInfo();
for (MachineFunction::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) { for (MachineFunction::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) {
for (MachineBasicBlock::iterator I = BB->begin(), E = BB->end(); I!=E; ++I) for (MachineBasicBlock::iterator I = BB->begin(), E = BB->end(); I!=E; ++I)
@ -709,11 +708,7 @@ void ISel::InsertFPRegKills() {
// it's not an unwind/return), insert the FP_REG_KILL instruction. // it's not an unwind/return), insert the FP_REG_KILL instruction.
if (BB->getBasicBlock()->getTerminator()->getNumSuccessors() && if (BB->getBasicBlock()->getTerminator()->getNumSuccessors() &&
RequiresFPRegKill(BB->getBasicBlock())) { RequiresFPRegKill(BB->getBasicBlock())) {
// Rewind past any terminator instructions that might exist. BMI(BB, BB->getFirstTerminator(), X86::FP_REG_KILL, 0);
MachineBasicBlock::iterator I = BB->end();
while (I != BB->begin() && TII.isTerminatorInstr((--I)->getOpcode()));
if (I != BB->end()) ++I;
BMI(BB, I, X86::FP_REG_KILL, 0);
++NumFPKill; ++NumFPKill;
} }
} }

View File

@ -679,7 +679,6 @@ static bool RequiresFPRegKill(const BasicBlock *BB) {
// //
void ISel::InsertFPRegKills() { void ISel::InsertFPRegKills() {
SSARegMap &RegMap = *F->getSSARegMap(); SSARegMap &RegMap = *F->getSSARegMap();
const TargetInstrInfo &TII = TM.getInstrInfo();
for (MachineFunction::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) { for (MachineFunction::iterator BB = F->begin(), E = F->end(); BB != E; ++BB) {
for (MachineBasicBlock::iterator I = BB->begin(), E = BB->end(); I!=E; ++I) for (MachineBasicBlock::iterator I = BB->begin(), E = BB->end(); I!=E; ++I)
@ -709,11 +708,7 @@ void ISel::InsertFPRegKills() {
// it's not an unwind/return), insert the FP_REG_KILL instruction. // it's not an unwind/return), insert the FP_REG_KILL instruction.
if (BB->getBasicBlock()->getTerminator()->getNumSuccessors() && if (BB->getBasicBlock()->getTerminator()->getNumSuccessors() &&
RequiresFPRegKill(BB->getBasicBlock())) { RequiresFPRegKill(BB->getBasicBlock())) {
// Rewind past any terminator instructions that might exist. BMI(BB, BB->getFirstTerminator(), X86::FP_REG_KILL, 0);
MachineBasicBlock::iterator I = BB->end();
while (I != BB->begin() && TII.isTerminatorInstr((--I)->getOpcode()));
if (I != BB->end()) ++I;
BMI(BB, I, X86::FP_REG_KILL, 0);
++NumFPKill; ++NumFPKill;
} }
} }