mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-12 14:20:33 +00:00
That funny 2-address lowering pass can also cause multiple definitions,
fortunately, they are easy to handle if we know about them. This patch fixes some serious pessimization of code produced by the linscan register allocator. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15092 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
1e31363a9e
commit
6beef3e1a0
@ -291,10 +291,10 @@ void LiveIntervals::handleVirtualRegisterDef(MachineBasicBlock* mbb,
|
||||
LiveVariables::VarInfo& vi = lv_->getVarInfo(interval.reg);
|
||||
|
||||
// Virtual registers may be defined multiple times (due to phi
|
||||
// elimination). Much of what we do only has to be done once for the vreg.
|
||||
// We use an empty interval to detect the first time we see a vreg.
|
||||
// elimination and 2-addr elimination). Much of what we do only has to be
|
||||
// done once for the vreg. We use an empty interval to detect the first
|
||||
// time we see a vreg.
|
||||
if (interval.empty()) {
|
||||
|
||||
// Get the Idx of the defining instructions.
|
||||
unsigned defIndex = getDefIndex(getInstructionIndex(mi));
|
||||
|
||||
@ -351,11 +351,21 @@ void LiveIntervals::handleVirtualRegisterDef(MachineBasicBlock* mbb,
|
||||
|
||||
} else {
|
||||
// If this is the second time we see a virtual register definition, it
|
||||
// must be due to phi elimination. In this case, the defined value will
|
||||
// be live until the end of the basic block it is defined in.
|
||||
unsigned defIndex = getDefIndex(getInstructionIndex(mi));
|
||||
interval.addRange(defIndex,
|
||||
getInstructionIndex(&mbb->back()) + InstrSlots::NUM);
|
||||
// must be due to phi elimination or two addr elimination. If this is
|
||||
// the result of two address elimination, then the vreg is the first
|
||||
// operand, and is a def-and-use.
|
||||
if (mi->getOperand(0).isRegister() &&
|
||||
mi->getOperand(0).getReg() == interval.reg &&
|
||||
mi->getOperand(0).isDef() && mi->getOperand(0).isUse()) {
|
||||
// If this is a two-address definition, just ignore it.
|
||||
} else {
|
||||
// Otherwise, this must be because of phi elimination. In this case,
|
||||
// the defined value will be live until the end of the basic block it
|
||||
// is defined in.
|
||||
unsigned defIndex = getDefIndex(getInstructionIndex(mi));
|
||||
interval.addRange(defIndex,
|
||||
getInstructionIndex(&mbb->back()) + InstrSlots::NUM);
|
||||
}
|
||||
}
|
||||
|
||||
DEBUG(std::cerr << '\n');
|
||||
|
Loading…
Reference in New Issue
Block a user