MachineRegisterInfo.cpp revision d9e5c764bfea339fc5082bf17e558db959fd6d28
162ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner//===-- lib/Codegen/MachineRegisterInfo.cpp -------------------------------===//
284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//
384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//                     The LLVM Compiler Infrastructure
484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//
584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner// This file is distributed under the University of Illinois Open Source
684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner// License. See LICENSE.TXT for details.
784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//
884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//===----------------------------------------------------------------------===//
984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//
1084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner// Implementation of the MachineRegisterInfo class.
1184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//
1284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//===----------------------------------------------------------------------===//
1384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
1484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineRegisterInfo.h"
15f48023b3cf80f3a360cfef94b1e0d0084fd5d760Evan Cheng#include "llvm/CodeGen/MachineInstrBuilder.h"
1698708260f55cab997a5db77e930a2bd35f4172aaDan Gohman#include "llvm/Target/TargetInstrInfo.h"
176d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen#include "llvm/Target/TargetMachine.h"
1884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattnerusing namespace llvm;
1984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
2073e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund OlesenMachineRegisterInfo::MachineRegisterInfo(const TargetRegisterInfo &TRI)
21e27e1ca3c90b69e78242c98a669337f84ccded7fJakob Stoklund Olesen  : TRI(&TRI), IsSSA(true) {
2284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  VRegInfo.reserve(256);
2390f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  RegAllocHints.reserve(256);
246f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman  UsedPhysRegs.resize(TRI.getNumRegs());
2562ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner
2662ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  // Create the physreg use/def lists.
276f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman  PhysRegUseDefLists = new MachineOperand*[TRI.getNumRegs()];
286f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman  memset(PhysRegUseDefLists, 0, sizeof(MachineOperand*)*TRI.getNumRegs());
2962ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner}
3062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner
3162ed6b9ade63bf01717ce5274fa11e93e873d245Chris LattnerMachineRegisterInfo::~MachineRegisterInfo() {
3262ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner#ifndef NDEBUG
33994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  for (unsigned i = 0, e = getNumVirtRegs(); i != e; ++i)
34994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen    assert(VRegInfo[TargetRegisterInfo::index2VirtReg(i)].second == 0 &&
35994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen           "Vreg use list non-empty still?");
3603bafaf802579d0c659af6f2bc1ca539ac0704caDan Gohman  for (unsigned i = 0, e = UsedPhysRegs.size(); i != e; ++i)
3703bafaf802579d0c659af6f2bc1ca539ac0704caDan Gohman    assert(!PhysRegUseDefLists[i] &&
3803bafaf802579d0c659af6f2bc1ca539ac0704caDan Gohman           "PhysRegUseDefLists has entries after all instructions are deleted");
3962ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner#endif
4062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  delete [] PhysRegUseDefLists;
4162ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner}
4262ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner
4333f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman/// setRegClass - Set the register class of the specified virtual register.
4433f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman///
4533f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohmanvoid
4633f1c68cba4e905fdd2bf7d2848c52052d46fbffDan GohmanMachineRegisterInfo::setRegClass(unsigned Reg, const TargetRegisterClass *RC) {
4733f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman  VRegInfo[Reg].first = RC;
4833f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman}
4933f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman
50bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesenconst TargetRegisterClass *
51bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund OlesenMachineRegisterInfo::constrainRegClass(unsigned Reg,
5291fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen                                       const TargetRegisterClass *RC,
5391fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen                                       unsigned MinNumRegs) {
54bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  const TargetRegisterClass *OldRC = getRegClass(Reg);
55bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  if (OldRC == RC)
56bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen    return RC;
57e27e1ca3c90b69e78242c98a669337f84ccded7fJakob Stoklund Olesen  const TargetRegisterClass *NewRC = TRI->getCommonSubClass(OldRC, RC);
5891fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  if (!NewRC || NewRC == OldRC)
5991fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen    return NewRC;
6091fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  if (NewRC->getNumRegs() < MinNumRegs)
61bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen    return 0;
6291fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  setRegClass(Reg, NewRC);
63bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  return NewRC;
64bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen}
65bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen
666d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesenbool
676d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund OlesenMachineRegisterInfo::recomputeRegClass(unsigned Reg, const TargetMachine &TM) {
686d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  const TargetInstrInfo *TII = TM.getInstrInfo();
696d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  const TargetRegisterClass *OldRC = getRegClass(Reg);
706d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  const TargetRegisterClass *NewRC = TRI->getLargestLegalSuperClass(OldRC);
716d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen
726d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  // Stop early if there is no room to grow.
736d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  if (NewRC == OldRC)
746d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen    return false;
756d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen
766d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  // Accumulate constraints from all uses.
776d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  for (reg_nodbg_iterator I = reg_nodbg_begin(Reg), E = reg_nodbg_end(); I != E;
786d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen       ++I) {
796d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen    const TargetRegisterClass *OpRC =
80dee83c90bb7bda57f6d0db2d8f9138f411ecdbbcJakob Stoklund Olesen      I->getRegClassConstraint(I.getOperandNo(), TII, TRI);
810488d6ee5deed63cc46efb5931d5761ab6f9c64cJakob Stoklund Olesen    if (unsigned SubIdx = I.getOperand().getSubReg()) {
820488d6ee5deed63cc46efb5931d5761ab6f9c64cJakob Stoklund Olesen      if (OpRC)
830488d6ee5deed63cc46efb5931d5761ab6f9c64cJakob Stoklund Olesen        NewRC = TRI->getMatchingSuperRegClass(NewRC, OpRC, SubIdx);
840488d6ee5deed63cc46efb5931d5761ab6f9c64cJakob Stoklund Olesen      else
850488d6ee5deed63cc46efb5931d5761ab6f9c64cJakob Stoklund Olesen        NewRC = TRI->getSubClassWithSubReg(NewRC, SubIdx);
860488d6ee5deed63cc46efb5931d5761ab6f9c64cJakob Stoklund Olesen    } else if (OpRC)
87e27e1ca3c90b69e78242c98a669337f84ccded7fJakob Stoklund Olesen      NewRC = TRI->getCommonSubClass(NewRC, OpRC);
886d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen    if (!NewRC || NewRC == OldRC)
896d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen      return false;
906d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  }
916d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  setRegClass(Reg, NewRC);
926d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  return true;
936d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen}
946d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen
952e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman/// createVirtualRegister - Create and return a new virtual register in the
962e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman/// function with the specified register class.
972e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman///
982e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohmanunsigned
992e3e5bf42742a7421b513829101501f2de6d2b02Dan GohmanMachineRegisterInfo::createVirtualRegister(const TargetRegisterClass *RegClass){
1002e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman  assert(RegClass && "Cannot create register without RegClass!");
101f462e3fac7ac67503657d63dc35330d0b19359b3Jakob Stoklund Olesen  assert(RegClass->isAllocatable() &&
102f462e3fac7ac67503657d63dc35330d0b19359b3Jakob Stoklund Olesen         "Virtual register RegClass must be allocatable.");
103994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen
104994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  // New virtual register number.
105994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  unsigned Reg = TargetRegisterInfo::index2VirtReg(getNumVirtRegs());
106994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen
1072e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman  // Add a reg, but keep track of whether the vector reallocated or not.
108994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  const unsigned FirstVirtReg = TargetRegisterInfo::index2VirtReg(0);
109994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  void *ArrayBase = getNumVirtRegs() == 0 ? 0 : &VRegInfo[FirstVirtReg];
110994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  VRegInfo.grow(Reg);
111994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  VRegInfo[Reg].first = RegClass;
112994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  RegAllocHints.grow(Reg);
1132e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman
114994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  if (ArrayBase && &VRegInfo[FirstVirtReg] != ArrayBase)
1152e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman    // The vector reallocated, handle this now.
1162e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman    HandleVRegListReallocation();
117994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  return Reg;
1182e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman}
1192e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman
12062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner/// HandleVRegListReallocation - We just added a virtual register to the
12162ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner/// VRegInfo info list and it reallocated.  Update the use/def lists info
12262ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner/// pointers.
12362ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattnervoid MachineRegisterInfo::HandleVRegListReallocation() {
12462ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  // The back pointers for the vreg lists point into the previous vector.
12562ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  // Update them to point to their correct slots.
126994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  for (unsigned i = 0, e = getNumVirtRegs(); i != e; ++i) {
127994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen    unsigned Reg = TargetRegisterInfo::index2VirtReg(i);
128994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen    MachineOperand *List = VRegInfo[Reg].second;
12962ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner    if (!List) continue;
13062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner    // Update the back-pointer to be accurate once more.
131994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen    List->Contents.Reg.Prev = &VRegInfo[Reg].second;
13262ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  }
13384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner}
134a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner
135e138b3dd1ff02d826233482831318708a166ed93Chris Lattner/// replaceRegWith - Replace all instances of FromReg with ToReg in the
136e138b3dd1ff02d826233482831318708a166ed93Chris Lattner/// machine function.  This is like llvm-level X->replaceAllUsesWith(Y),
137e138b3dd1ff02d826233482831318708a166ed93Chris Lattner/// except that it also changes any definitions of the register as well.
138e138b3dd1ff02d826233482831318708a166ed93Chris Lattnervoid MachineRegisterInfo::replaceRegWith(unsigned FromReg, unsigned ToReg) {
139e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  assert(FromReg != ToReg && "Cannot replace a reg with itself");
140e138b3dd1ff02d826233482831318708a166ed93Chris Lattner
141e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  // TODO: This could be more efficient by bulk changing the operands.
142e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  for (reg_iterator I = reg_begin(FromReg), E = reg_end(); I != E; ) {
143e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineOperand &O = I.getOperand();
144e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    ++I;
145e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    O.setReg(ToReg);
146e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  }
147e138b3dd1ff02d826233482831318708a166ed93Chris Lattner}
148e138b3dd1ff02d826233482831318708a166ed93Chris Lattner
149a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner
150a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner/// getVRegDef - Return the machine instr that defines the specified virtual
151a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner/// register or null if none is found.  This assumes that the code is in SSA
152a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner/// form, so there should only be one definition.
153a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris LattnerMachineInstr *MachineRegisterInfo::getVRegDef(unsigned Reg) const {
1542bf0649e053d1589689d2e4cf32c7bf1e5e6ae12Dan Gohman  // Since we are in SSA form, we can use the first definition.
1552bf0649e053d1589689d2e4cf32c7bf1e5e6ae12Dan Gohman  if (!def_empty(Reg))
1562bf0649e053d1589689d2e4cf32c7bf1e5e6ae12Dan Gohman    return &*def_begin(Reg);
157a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner  return 0;
158a91a7d594ff1e1503731ca92f72e627bdfd18f3fChris Lattner}
1591eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng
1601423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Chengbool MachineRegisterInfo::hasOneUse(unsigned RegNo) const {
1611423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  use_iterator UI = use_begin(RegNo);
1621423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  if (UI == use_end())
1631423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng    return false;
1641423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  return ++UI == use_end();
1651423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng}
1661423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng
1671423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Chengbool MachineRegisterInfo::hasOneNonDBGUse(unsigned RegNo) const {
1681423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  use_nodbg_iterator UI = use_nodbg_begin(RegNo);
1691423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  if (UI == use_nodbg_end())
1701423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng    return false;
1711423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  return ++UI == use_nodbg_end();
1721423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng}
1731eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng
17449b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman/// clearKillFlags - Iterate over all the uses of the given register and
17549b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman/// clear the kill flag from the MachineOperand. This function is used by
17649b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman/// optimization passes which extend register lifetimes and need only
17749b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman/// preserve conservative kill flag information.
17849b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohmanvoid MachineRegisterInfo::clearKillFlags(unsigned Reg) const {
17949b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  for (use_iterator UI = use_begin(Reg), UE = use_end(); UI != UE; ++UI)
18049b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman    UI.getOperand().setIsKill(false);
18149b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman}
18249b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman
18313e73f483ef2ba630962dad3125393292533b756Dan Gohmanbool MachineRegisterInfo::isLiveIn(unsigned Reg) const {
18413e73f483ef2ba630962dad3125393292533b756Dan Gohman  for (livein_iterator I = livein_begin(), E = livein_end(); I != E; ++I)
18513e73f483ef2ba630962dad3125393292533b756Dan Gohman    if (I->first == Reg || I->second == Reg)
18613e73f483ef2ba630962dad3125393292533b756Dan Gohman      return true;
18713e73f483ef2ba630962dad3125393292533b756Dan Gohman  return false;
18813e73f483ef2ba630962dad3125393292533b756Dan Gohman}
18913e73f483ef2ba630962dad3125393292533b756Dan Gohman
19013e73f483ef2ba630962dad3125393292533b756Dan Gohmanbool MachineRegisterInfo::isLiveOut(unsigned Reg) const {
19113e73f483ef2ba630962dad3125393292533b756Dan Gohman  for (liveout_iterator I = liveout_begin(), E = liveout_end(); I != E; ++I)
19213e73f483ef2ba630962dad3125393292533b756Dan Gohman    if (*I == Reg)
19313e73f483ef2ba630962dad3125393292533b756Dan Gohman      return true;
19413e73f483ef2ba630962dad3125393292533b756Dan Gohman  return false;
19513e73f483ef2ba630962dad3125393292533b756Dan Gohman}
19613e73f483ef2ba630962dad3125393292533b756Dan Gohman
1972ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng/// getLiveInPhysReg - If VReg is a live-in virtual register, return the
1982ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng/// corresponding live-in physical register.
1992ad0fcf794924f618a7240741cc14a39be99d0f2Evan Chengunsigned MachineRegisterInfo::getLiveInPhysReg(unsigned VReg) const {
2002ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  for (livein_iterator I = livein_begin(), E = livein_end(); I != E; ++I)
2012ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng    if (I->second == VReg)
2022ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng      return I->first;
2032ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  return 0;
2042ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng}
2052ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng
2063946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng/// getLiveInVirtReg - If PReg is a live-in physical register, return the
2073946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng/// corresponding live-in physical register.
2083946043a80a043b3cf43b34bf068feaadc46485bEvan Chengunsigned MachineRegisterInfo::getLiveInVirtReg(unsigned PReg) const {
2093946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  for (livein_iterator I = livein_begin(), E = livein_end(); I != E; ++I)
2103946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng    if (I->first == PReg)
2113946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng      return I->second;
2123946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  return 0;
2133946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng}
2143946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng
21598708260f55cab997a5db77e930a2bd35f4172aaDan Gohman/// EmitLiveInCopies - Emit copies to initialize livein virtual registers
21698708260f55cab997a5db77e930a2bd35f4172aaDan Gohman/// into the given entry block.
21798708260f55cab997a5db77e930a2bd35f4172aaDan Gohmanvoid
21898708260f55cab997a5db77e930a2bd35f4172aaDan GohmanMachineRegisterInfo::EmitLiveInCopies(MachineBasicBlock *EntryMBB,
21998708260f55cab997a5db77e930a2bd35f4172aaDan Gohman                                      const TargetRegisterInfo &TRI,
22098708260f55cab997a5db77e930a2bd35f4172aaDan Gohman                                      const TargetInstrInfo &TII) {
221701d4d309f892d34428e3078f350d3d28d7d2a94Evan Cheng  // Emit the copies into the top of the block.
222fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman  for (unsigned i = 0, e = LiveIns.size(); i != e; ++i)
223fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman    if (LiveIns[i].second) {
224fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman      if (use_empty(LiveIns[i].second)) {
225fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        // The livein has no uses. Drop it.
226fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        //
227fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        // It would be preferable to have isel avoid creating live-in
228fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        // records for unused arguments in the first place, but it's
229fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        // complicated by the debug info code for arguments.
230fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        LiveIns.erase(LiveIns.begin() + i);
231fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        --i; --e;
232fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman      } else {
233fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        // Emit a copy.
23468e6beeccc0b9ac2e8d3687a8a5b7d4b172edca1Devang Patel        BuildMI(*EntryMBB, EntryMBB->begin(), DebugLoc(),
2351e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen                TII.get(TargetOpcode::COPY), LiveIns[i].second)
2361e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen          .addReg(LiveIns[i].first);
237fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman
238fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        // Add the register to the entry block live-in set.
239fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman        EntryMBB->addLiveIn(LiveIns[i].first);
240fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman      }
241fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman    } else {
242fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman      // Add the register to the entry block live-in set.
243fe5e4dabbf05f3b7b8c6d652adb6b500e5dec8cdDan Gohman      EntryMBB->addLiveIn(LiveIns[i].first);
244701d4d309f892d34428e3078f350d3d28d7d2a94Evan Cheng    }
24598708260f55cab997a5db77e930a2bd35f4172aaDan Gohman}
24698708260f55cab997a5db77e930a2bd35f4172aaDan Gohman
24782b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesenvoid MachineRegisterInfo::closePhysRegsUsed(const TargetRegisterInfo &TRI) {
24882b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  for (int i = UsedPhysRegs.find_first(); i >= 0;
24982b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen       i = UsedPhysRegs.find_next(i))
25082b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen         for (const unsigned *SS = TRI.getSubRegisters(i);
25182b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen              unsigned SubReg = *SS; ++SS)
2528e8b3cb9371e60b22d1f401ec63a774c6115e98dJakob Stoklund Olesen           if (SubReg > unsigned(i))
25382b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen             UsedPhysRegs.set(SubReg);
25482b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen}
25582b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen
2561eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng#ifndef NDEBUG
2571eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Chengvoid MachineRegisterInfo::dumpUses(unsigned Reg) const {
2581eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  for (use_iterator I = use_begin(Reg), E = use_end(); I != E; ++I)
2591eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng    I.getOperand().getParent()->dump();
2601eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng}
2611eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng#endif
262d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
263d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesenvoid MachineRegisterInfo::freezeReservedRegs(const MachineFunction &MF) {
264d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  ReservedRegs = TRI->getReservedRegs(MF);
265d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen}
266