mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-03 19:02:35 +00:00
Handle register mask operands in setPhysRegsDeadExcept().
Calls that use register mask operands don't have implicit defs for returned values. The register mask operand handles the call clobber, but it always behaves like a set of dead defs. Add live implicit defs for any implicitly defined physregs that are actually used. llvm-svn: 149715
This commit is contained in:
parent
6de31d433d
commit
d1947b6f07
@ -792,6 +792,9 @@ public:
|
||||
|
||||
/// setPhysRegsDeadExcept - Mark every physreg used by this instruction as
|
||||
/// dead except those in the UsedRegs list.
|
||||
///
|
||||
/// On instructions with register mask operands, also add implicit-def
|
||||
/// operands for all registers in UsedRegs.
|
||||
void setPhysRegsDeadExcept(ArrayRef<unsigned> UsedRegs,
|
||||
const TargetRegisterInfo &TRI);
|
||||
|
||||
|
@ -1795,8 +1795,13 @@ void MachineInstr::addRegisterDefined(unsigned IncomingReg,
|
||||
|
||||
void MachineInstr::setPhysRegsDeadExcept(ArrayRef<unsigned> UsedRegs,
|
||||
const TargetRegisterInfo &TRI) {
|
||||
bool HasRegMask = false;
|
||||
for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
|
||||
MachineOperand &MO = getOperand(i);
|
||||
if (MO.isRegMask()) {
|
||||
HasRegMask = true;
|
||||
continue;
|
||||
}
|
||||
if (!MO.isReg() || !MO.isDef()) continue;
|
||||
unsigned Reg = MO.getReg();
|
||||
if (!TargetRegisterInfo::isPhysicalRegister(Reg)) continue;
|
||||
@ -1810,6 +1815,13 @@ void MachineInstr::setPhysRegsDeadExcept(ArrayRef<unsigned> UsedRegs,
|
||||
// If there are no uses, including partial uses, the def is dead.
|
||||
if (Dead) MO.setIsDead();
|
||||
}
|
||||
|
||||
// This is a call with a register mask operand.
|
||||
// Mask clobbers are always dead, so add defs for the non-dead defines.
|
||||
if (HasRegMask)
|
||||
for (ArrayRef<unsigned>::iterator I = UsedRegs.begin(), E = UsedRegs.end();
|
||||
I != E; ++I)
|
||||
addRegisterDefined(*I, &TRI);
|
||||
}
|
||||
|
||||
unsigned
|
||||
|
Loading…
x
Reference in New Issue
Block a user