return 0;
}
-static bool isSubRegOf(const MRegisterInfo &MRI,
- unsigned SubReg,
- unsigned SupReg) {
- const TargetRegisterDesc &RD = MRI[SubReg];
- for (const unsigned *reg = RD.SuperRegs; *reg != 0; ++reg)
- if (*reg == SupReg)
- return true;
-
- return false;
-}
-
bool LowerSubregsInstructionPass::LowerExtract(MachineInstr *MI) {
MachineBasicBlock *MBB = MI->getParent();
MachineFunction &MF = *MBB->getParent();
assert(MI->getOperand(0).isRegister() && MI->getOperand(0).isDef() &&
MI->getOperand(1).isRegister() && MI->getOperand(1).isUse() &&
- MI->getOperand(2).isImm() && "Malformed extract_subreg");
+ MI->getOperand(2).isImmediate() && "Malformed extract_subreg");
unsigned SuperReg = MI->getOperand(1).getReg();
unsigned SubIdx = MI->getOperand(2).getImm();
assert(TRC == getPhysicalRegisterRegClass(MRI, SrcReg) &&
"Extract subreg and Dst must be of same register class");
- MRI.copyRegToReg(*MBB, MI, DstReg, SrcReg, TRC);
+ MRI.copyRegToReg(*MBB, MI, DstReg, SrcReg, TRC, TRC);
MachineBasicBlock::iterator dMI = MI;
DOUT << "subreg: " << *(--dMI);
}
DOUT << "\n";
- MBB->erase(MI);
+ MBB->remove(MI);
return true;
}
if (MI->getNumOperands() == 3) {
assert((MI->getOperand(0).isRegister() && MI->getOperand(0).isDef()) &&
(MI->getOperand(1).isRegister() && MI->getOperand(1).isUse()) &&
- MI->getOperand(2).isImm() && "Invalid extract_subreg");
+ MI->getOperand(2).isImmediate() && "Invalid extract_subreg");
DstReg = MI->getOperand(0).getReg();
SrcReg = DstReg;
InsReg = MI->getOperand(1).getReg();
assert((MI->getOperand(0).isRegister() && MI->getOperand(0).isDef()) &&
(MI->getOperand(1).isRegister() && MI->getOperand(1).isUse()) &&
(MI->getOperand(2).isRegister() && MI->getOperand(2).isUse()) &&
- MI->getOperand(3).isImm() && "Invalid extract_subreg");
+ MI->getOperand(3).isImmediate() && "Invalid extract_subreg");
DstReg = MI->getOperand(0).getReg();
SrcReg = MI->getOperand(1).getReg();
InsReg = MI->getOperand(2).getReg();
// of the destination, we copy the subreg into the source
// However, this is only safe if the insert instruction is the kill
// of the source register
- bool revCopyOrder = isSubRegOf(MRI, InsReg, DstReg);
- if (revCopyOrder) {
+ bool revCopyOrder = MRI.isSubRegister(DstReg, InsReg);
+ if (revCopyOrder && InsReg != DstSubReg) {
if (MI->getOperand(1).isKill()) {
DstSubReg = MRI.getSubReg(SrcReg, SubIdx);
// Insert sub-register copy
} else {
TRC1 = MF.getSSARegMap()->getRegClass(InsReg);
}
-
- MRI.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC1);
+ MRI.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC1, TRC1);
+
+#ifndef NDEBUG
MachineBasicBlock::iterator dMI = MI;
DOUT << "subreg: " << *(--dMI);
+#endif
} else {
assert(0 && "Don't know how to convert this insert");
}
}
+#ifndef NDEBUG
+ if (InsReg == DstSubReg) {
+ DOUT << "subreg: Eliminated subreg copy\n";
+ }
+#endif
if (SrcReg != DstReg) {
// Insert super-register copy
assert(TRC0 == getPhysicalRegisterRegClass(MRI, SrcReg) &&
"Insert superreg and Dst must be of same register class");
- MRI.copyRegToReg(*MBB, MI, DstReg, SrcReg, TRC0);
+ MRI.copyRegToReg(*MBB, MI, DstReg, SrcReg, TRC0, TRC0);
+
+#ifndef NDEBUG
MachineBasicBlock::iterator dMI = MI;
DOUT << "subreg: " << *(--dMI);
+#endif
+ }
+
+#ifndef NDEBUG
+ if (SrcReg == DstReg) {
+ DOUT << "subreg: Eliminated superreg copy\n";
}
+#endif
if (!revCopyOrder && InsReg != DstSubReg) {
// Insert sub-register copy
} else {
TRC1 = MF.getSSARegMap()->getRegClass(InsReg);
}
-
- MRI.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC1);
+ MRI.copyRegToReg(*MBB, MI, DstSubReg, InsReg, TRC1, TRC1);
+
+#ifndef NDEBUG
MachineBasicBlock::iterator dMI = MI;
DOUT << "subreg: " << *(--dMI);
+#endif
}
DOUT << "\n";
- MBB->erase(MI);
+ MBB->remove(MI);
return true;
}