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