forked from OSchip/llvm-project
				
			
		
			
				
	
	
		
			340 lines
		
	
	
		
			11 KiB
		
	
	
	
		
			C++
		
	
	
	
			
		
		
	
	
			340 lines
		
	
	
		
			11 KiB
		
	
	
	
		
			C++
		
	
	
	
| //===--- 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() && !O->isDebug()) {
 | |
|       Register Reg = O->getReg();
 | |
|       if (!Register::isPhysicalRegister(Reg))
 | |
|         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 {
 | |
|         if (!O->isKill())
 | |
|           continue;
 | |
|         assert(O->isUse());
 | |
|         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 (const_iterator I = begin(), E = end(); I != E; ++I)
 | |
|     OS << " " << printReg(*I, 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 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 : make_range(MBB.rbegin(), MBB.rend()))
 | |
|     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 : make_range(MBB.rbegin(), MBB.rend())) {
 | |
|     // 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(Register::isPhysicalRegister(Reg));
 | |
| 
 | |
|       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(Register::isPhysicalRegister(Reg));
 | |
| 
 | |
|       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);
 | |
| }
 |