| //===--- LivePhysRegs.cpp - Live Physical Register Set --------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file implements the LivePhysRegs utility for tracking liveness of |
| // physical registers across machine instructions in forward or backward order. |
| // A more detailed description can be found in the corresponding header file. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "llvm/CodeGen/LivePhysRegs.h" |
| #include "llvm/CodeGen/LiveRegUnits.h" |
| #include "llvm/CodeGen/MachineFrameInfo.h" |
| #include "llvm/CodeGen/MachineFunction.h" |
| #include "llvm/CodeGen/MachineInstrBundle.h" |
| #include "llvm/CodeGen/MachineRegisterInfo.h" |
| #include "llvm/Config/llvm-config.h" |
| #include "llvm/Support/Debug.h" |
| #include "llvm/Support/raw_ostream.h" |
| using namespace llvm; |
| |
| |
| /// Remove all registers from the set that get clobbered by the register |
| /// mask. |
| /// The clobbers set will be the list of live registers clobbered |
| /// by the regmask. |
| void LivePhysRegs::removeRegsInMask(const MachineOperand &MO, |
| SmallVectorImpl<std::pair<MCPhysReg, const MachineOperand*>> *Clobbers) { |
| RegisterSet::iterator LRI = LiveRegs.begin(); |
| while (LRI != LiveRegs.end()) { |
| if (MO.clobbersPhysReg(*LRI)) { |
| if (Clobbers) |
| Clobbers->push_back(std::make_pair(*LRI, &MO)); |
| LRI = LiveRegs.erase(LRI); |
| } else |
| ++LRI; |
| } |
| } |
| |
| /// Remove defined registers and regmask kills from the set. |
| void LivePhysRegs::removeDefs(const MachineInstr &MI) { |
| for (const MachineOperand &MOP : phys_regs_and_masks(MI)) { |
| if (MOP.isRegMask()) { |
| removeRegsInMask(MOP); |
| continue; |
| } |
| |
| if (MOP.isDef()) |
| removeReg(MOP.getReg()); |
| } |
| } |
| |
| /// Add uses to the set. |
| void LivePhysRegs::addUses(const MachineInstr &MI) { |
| for (const MachineOperand &MOP : phys_regs_and_masks(MI)) { |
| if (!MOP.isReg() || !MOP.readsReg()) |
| continue; |
| addReg(MOP.getReg()); |
| } |
| } |
| |
| /// Simulates liveness when stepping backwards over an instruction(bundle): |
| /// Remove Defs, add uses. This is the recommended way of calculating liveness. |
| void LivePhysRegs::stepBackward(const MachineInstr &MI) { |
| // Remove defined registers and regmask kills from the set. |
| removeDefs(MI); |
| |
| // Add uses to the set. |
| addUses(MI); |
| } |
| |
| /// Simulates liveness when stepping forward over an instruction(bundle): Remove |
| /// killed-uses, add defs. This is the not recommended way, because it depends |
| /// on accurate kill flags. If possible use stepBackward() instead of this |
| /// function. |
| void LivePhysRegs::stepForward(const MachineInstr &MI, |
| SmallVectorImpl<std::pair<MCPhysReg, const MachineOperand*>> &Clobbers) { |
| // Remove killed registers from the set. |
| for (ConstMIBundleOperands O(MI); O.isValid(); ++O) { |
| if (O->isReg()) { |
| if (O->isDebug()) |
| continue; |
| Register Reg = O->getReg(); |
| if (!Reg.isPhysical()) |
| continue; |
| if (O->isDef()) { |
| // Note, dead defs are still recorded. The caller should decide how to |
| // handle them. |
| Clobbers.push_back(std::make_pair(Reg, &*O)); |
| } else { |
| assert(O->isUse()); |
| if (O->isKill()) |
| removeReg(Reg); |
| } |
| } else if (O->isRegMask()) { |
| removeRegsInMask(*O, &Clobbers); |
| } |
| } |
| |
| // Add defs to the set. |
| for (auto Reg : Clobbers) { |
| // Skip dead defs and registers clobbered by regmasks. They shouldn't |
| // be added to the set. |
| if (Reg.second->isReg() && Reg.second->isDead()) |
| continue; |
| if (Reg.second->isRegMask() && |
| MachineOperand::clobbersPhysReg(Reg.second->getRegMask(), Reg.first)) |
| continue; |
| addReg(Reg.first); |
| } |
| } |
| |
| /// Print the currently live registers to OS. |
| void LivePhysRegs::print(raw_ostream &OS) const { |
| OS << "Live Registers:"; |
| if (!TRI) { |
| OS << " (uninitialized)\n"; |
| return; |
| } |
| |
| if (empty()) { |
| OS << " (empty)\n"; |
| return; |
| } |
| |
| for (MCPhysReg R : *this) |
| OS << " " << printReg(R, TRI); |
| OS << "\n"; |
| } |
| |
| #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
| LLVM_DUMP_METHOD void LivePhysRegs::dump() const { |
| dbgs() << " " << *this; |
| } |
| #endif |
| |
| bool LivePhysRegs::available(const MachineRegisterInfo &MRI, |
| MCPhysReg Reg) const { |
| if (LiveRegs.count(Reg)) |
| return false; |
| if (MRI.isReserved(Reg)) |
| return false; |
| for (MCRegAliasIterator R(Reg, TRI, false); R.isValid(); ++R) { |
| if (LiveRegs.count(*R)) |
| return false; |
| } |
| return true; |
| } |
| |
| /// Add live-in registers of basic block \p MBB to \p LiveRegs. |
| void LivePhysRegs::addBlockLiveIns(const MachineBasicBlock &MBB) { |
| for (const auto &LI : MBB.liveins()) { |
| MCPhysReg Reg = LI.PhysReg; |
| LaneBitmask Mask = LI.LaneMask; |
| MCSubRegIndexIterator S(Reg, TRI); |
| assert(Mask.any() && "Invalid livein mask"); |
| if (Mask.all() || !S.isValid()) { |
| addReg(Reg); |
| continue; |
| } |
| for (; S.isValid(); ++S) { |
| unsigned SI = S.getSubRegIndex(); |
| if ((Mask & TRI->getSubRegIndexLaneMask(SI)).any()) |
| addReg(S.getSubReg()); |
| } |
| } |
| } |
| |
| /// Adds all callee saved registers to \p LiveRegs. |
| static void addCalleeSavedRegs(LivePhysRegs &LiveRegs, |
| const MachineFunction &MF) { |
| const MachineRegisterInfo &MRI = MF.getRegInfo(); |
| for (const MCPhysReg *CSR = MRI.getCalleeSavedRegs(); CSR && *CSR; ++CSR) |
| LiveRegs.addReg(*CSR); |
| } |
| |
| void LivePhysRegs::addPristines(const MachineFunction &MF) { |
| const MachineFrameInfo &MFI = MF.getFrameInfo(); |
| if (!MFI.isCalleeSavedInfoValid()) |
| return; |
| /// This function will usually be called on an empty object, handle this |
| /// as a special case. |
| if (empty()) { |
| /// Add all callee saved regs, then remove the ones that are saved and |
| /// restored. |
| addCalleeSavedRegs(*this, MF); |
| /// Remove the ones that are not saved/restored; they are pristine. |
| for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo()) |
| removeReg(Info.getReg()); |
| return; |
| } |
| /// If a callee-saved register that is not pristine is already present |
| /// in the set, we should make sure that it stays in it. Precompute the |
| /// set of pristine registers in a separate object. |
| /// Add all callee saved regs, then remove the ones that are saved+restored. |
| LivePhysRegs Pristine(*TRI); |
| addCalleeSavedRegs(Pristine, MF); |
| /// Remove the ones that are not saved/restored; they are pristine. |
| for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo()) |
| Pristine.removeReg(Info.getReg()); |
| for (MCPhysReg R : Pristine) |
| addReg(R); |
| } |
| |
| void LivePhysRegs::addLiveOutsNoPristines(const MachineBasicBlock &MBB) { |
| // To get the live-outs we simply merge the live-ins of all successors. |
| for (const MachineBasicBlock *Succ : MBB.successors()) |
| addBlockLiveIns(*Succ); |
| if (MBB.isReturnBlock()) { |
| // Return blocks are a special case because we currently don't mark up |
| // return instructions completely: specifically, there is no explicit |
| // use for callee-saved registers. So we add all callee saved registers |
| // that are saved and restored (somewhere). This does not include |
| // callee saved registers that are unused and hence not saved and |
| // restored; they are called pristine. |
| // FIXME: PEI should add explicit markings to return instructions |
| // instead of implicitly handling them here. |
| const MachineFunction &MF = *MBB.getParent(); |
| const MachineFrameInfo &MFI = MF.getFrameInfo(); |
| if (MFI.isCalleeSavedInfoValid()) { |
| for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo()) |
| if (Info.isRestored()) |
| addReg(Info.getReg()); |
| } |
| } |
| } |
| |
| void LivePhysRegs::addLiveOuts(const MachineBasicBlock &MBB) { |
| const MachineFunction &MF = *MBB.getParent(); |
| addPristines(MF); |
| addLiveOutsNoPristines(MBB); |
| } |
| |
| void LivePhysRegs::addLiveIns(const MachineBasicBlock &MBB) { |
| const MachineFunction &MF = *MBB.getParent(); |
| addPristines(MF); |
| addBlockLiveIns(MBB); |
| } |
| |
| void LivePhysRegs::addLiveInsNoPristines(const MachineBasicBlock &MBB) { |
| addBlockLiveIns(MBB); |
| } |
| |
| void llvm::computeLiveIns(LivePhysRegs &LiveRegs, |
| const MachineBasicBlock &MBB) { |
| const MachineFunction &MF = *MBB.getParent(); |
| const MachineRegisterInfo &MRI = MF.getRegInfo(); |
| const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| LiveRegs.init(TRI); |
| LiveRegs.addLiveOutsNoPristines(MBB); |
| for (const MachineInstr &MI : llvm::reverse(MBB)) |
| LiveRegs.stepBackward(MI); |
| } |
| |
| void llvm::addLiveIns(MachineBasicBlock &MBB, const LivePhysRegs &LiveRegs) { |
| assert(MBB.livein_empty() && "Expected empty live-in list"); |
| const MachineFunction &MF = *MBB.getParent(); |
| const MachineRegisterInfo &MRI = MF.getRegInfo(); |
| const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| for (MCPhysReg Reg : LiveRegs) { |
| if (MRI.isReserved(Reg)) |
| continue; |
| // Skip the register if we are about to add one of its super registers. |
| bool ContainsSuperReg = false; |
| for (MCSuperRegIterator SReg(Reg, &TRI); SReg.isValid(); ++SReg) { |
| if (LiveRegs.contains(*SReg) && !MRI.isReserved(*SReg)) { |
| ContainsSuperReg = true; |
| break; |
| } |
| } |
| if (ContainsSuperReg) |
| continue; |
| MBB.addLiveIn(Reg); |
| } |
| } |
| |
| void llvm::recomputeLivenessFlags(MachineBasicBlock &MBB) { |
| const MachineFunction &MF = *MBB.getParent(); |
| const MachineRegisterInfo &MRI = MF.getRegInfo(); |
| const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); |
| const MachineFrameInfo &MFI = MF.getFrameInfo(); |
| |
| // We walk through the block backwards and start with the live outs. |
| LivePhysRegs LiveRegs; |
| LiveRegs.init(TRI); |
| LiveRegs.addLiveOutsNoPristines(MBB); |
| |
| for (MachineInstr &MI : llvm::reverse(MBB)) { |
| // Recompute dead flags. |
| for (MIBundleOperands MO(MI); MO.isValid(); ++MO) { |
| if (!MO->isReg() || !MO->isDef() || MO->isDebug()) |
| continue; |
| |
| Register Reg = MO->getReg(); |
| if (Reg == 0) |
| continue; |
| assert(Reg.isPhysical()); |
| |
| bool IsNotLive = LiveRegs.available(MRI, Reg); |
| |
| // Special-case return instructions for cases when a return is not |
| // the last instruction in the block. |
| if (MI.isReturn() && MFI.isCalleeSavedInfoValid()) { |
| for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo()) { |
| if (Info.getReg() == Reg) { |
| IsNotLive = !Info.isRestored(); |
| break; |
| } |
| } |
| } |
| |
| MO->setIsDead(IsNotLive); |
| } |
| |
| // Step backward over defs. |
| LiveRegs.removeDefs(MI); |
| |
| // Recompute kill flags. |
| for (MIBundleOperands MO(MI); MO.isValid(); ++MO) { |
| if (!MO->isReg() || !MO->readsReg() || MO->isDebug()) |
| continue; |
| |
| Register Reg = MO->getReg(); |
| if (Reg == 0) |
| continue; |
| assert(Reg.isPhysical()); |
| |
| bool IsNotLive = LiveRegs.available(MRI, Reg); |
| MO->setIsKill(IsNotLive); |
| } |
| |
| // Complete the stepbackward. |
| LiveRegs.addUses(MI); |
| } |
| } |
| |
| void llvm::computeAndAddLiveIns(LivePhysRegs &LiveRegs, |
| MachineBasicBlock &MBB) { |
| computeLiveIns(LiveRegs, MBB); |
| addLiveIns(MBB, LiveRegs); |
| } |