MachineRegisterInfo.h revision c7908037d87c8f6866b872e9f6b5a7fffae5b63e
184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//===-- llvm/CodeGen/MachineRegisterInfo.h ----------------------*- C++ -*-===//
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// This file defines the MachineRegisterInfo class.
1184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//
1284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner//===----------------------------------------------------------------------===//
1384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
1484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#ifndef LLVM_CODEGEN_MACHINEREGISTERINFO_H
1584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#define LLVM_CODEGEN_MACHINEREGISTERINFO_H
1684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
176f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman#include "llvm/Target/TargetRegisterInfo.h"
1866c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen#include "llvm/CodeGen/MachineInstrBundle.h"
1984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/ADT/BitVector.h"
20994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen#include "llvm/ADT/IndexedMap.h"
2184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include <vector>
2284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
2384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattnernamespace llvm {
2490019479f9a3868d8be90564695097a61a725438Andrew Trick
251213d672653d7fee471d91d05b559e137d70ba56Chris Lattner/// MachineRegisterInfo - Keep track of information for virtual and physical
261213d672653d7fee471d91d05b559e137d70ba56Chris Lattner/// registers, including vreg register classes, use/def chains for registers,
271213d672653d7fee471d91d05b559e137d70ba56Chris Lattner/// etc.
2884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattnerclass MachineRegisterInfo {
29e27e1ca3c90b69e78242c98a669337f84ccded7fJakob Stoklund Olesen  const TargetRegisterInfo *const TRI;
30e27e1ca3c90b69e78242c98a669337f84ccded7fJakob Stoklund Olesen
3173e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  /// IsSSA - True when the machine function is in SSA form and virtual
3273e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  /// registers have a single def.
3373e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  bool IsSSA;
3473e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
35aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// TracksLiveness - True while register liveness is being tracked accurately.
36aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// Basic block live-in lists, kill flags, and implicit defs may not be
37aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// accurate when after this flag is cleared.
38aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  bool TracksLiveness;
39aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen
40994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  /// VRegInfo - Information we keep for each virtual register.
4162ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  ///
4262ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  /// Each element in this list contains the register class of the vreg and the
4362ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  /// start of the use/def list for the register.
44994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  IndexedMap<std::pair<const TargetRegisterClass*, MachineOperand*>,
45994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen             VirtReg2IndexFunctor> VRegInfo;
4611a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng
4790f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// RegAllocHints - This vector records register allocation hints for virtual
48358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  /// registers. For each virtual register, it keeps a register and hint type
49358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  /// pair making up the allocation hint. Hint type is target specific except
50358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  /// for the value 0 which means the second value of the pair is the preferred
51358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  /// register for allocation. For example, if the hint is <0, 1024>, it means
52358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  /// the allocator should prefer the physical register allocated to the virtual
5390f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// register of the hint.
54994c727b5790e5c976e32c75364d78eb9b22a568Jakob Stoklund Olesen  IndexedMap<std::pair<unsigned, unsigned>, VirtReg2IndexFunctor> RegAllocHints;
5590019479f9a3868d8be90564695097a61a725438Andrew Trick
5662ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  /// PhysRegUseDefLists - This is an array of the head of the use/def list for
5762ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  /// physical registers.
5890019479f9a3868d8be90564695097a61a725438Andrew Trick  MachineOperand **PhysRegUseDefLists;
5990019479f9a3868d8be90564695097a61a725438Andrew Trick
60ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  /// getRegUseDefListHead - Return the head pointer for the register use/def
61ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  /// list for the specified virtual or physical register.
62ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  MachineOperand *&getRegUseDefListHead(unsigned RegNo) {
63ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen    if (TargetRegisterInfo::isVirtualRegister(RegNo))
64ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen      return VRegInfo[RegNo].second;
65ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen    return PhysRegUseDefLists[RegNo];
66ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  }
67ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen
68ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  MachineOperand *getRegUseDefListHead(unsigned RegNo) const {
69ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen    if (TargetRegisterInfo::isVirtualRegister(RegNo))
70ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen      return VRegInfo[RegNo].second;
71ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen    return PhysRegUseDefLists[RegNo];
72ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  }
73ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen
74fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  /// Get the next element in the use-def chain.
75fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  static MachineOperand *getNextOperandForReg(const MachineOperand *MO) {
76fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen    assert(MO && MO->isReg() && "This is not a register operand!");
77fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen    return MO->Contents.Reg.Next;
78fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  }
79fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen
8084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// UsedPhysRegs - This is a bit vector that is computed and set by the
8184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// register allocator, and must be kept up to date by passes that run after
8284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// register allocation (though most don't modify this).  This is used
8384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// so that the code generator knows which callee save registers to save and
8484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// for other target specific uses.
85d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// This vector only has bits set for registers explicitly used, not their
86d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// aliases.
8784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  BitVector UsedPhysRegs;
88d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
89d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// UsedPhysRegMask - Additional used physregs, but including aliases.
90d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  BitVector UsedPhysRegMask;
91d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen
92d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// ReservedRegs - This is a bit vector of reserved registers.  The target
93d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// may change its mind about which registers should be reserved.  This
94d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// vector is the frozen set of reserved registers when register allocation
95d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// started.
96d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  BitVector ReservedRegs;
97d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
98c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// AllocatableRegs - From TRI->getAllocatableSet.
99c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  mutable BitVector AllocatableRegs;
100c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen
10184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// LiveIns/LiveOuts - Keep track of the physical registers that are
10284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// livein/liveout of the function.  Live in values are typically arguments in
10384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// registers, live out values are typically return values in registers.
10484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// LiveIn values are allowed to have virtual registers associated with them,
10584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// stored in the second element.
10684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  std::vector<std::pair<unsigned, unsigned> > LiveIns;
10784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  std::vector<unsigned> LiveOuts;
10890019479f9a3868d8be90564695097a61a725438Andrew Trick
10962ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  MachineRegisterInfo(const MachineRegisterInfo&); // DO NOT IMPLEMENT
11062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  void operator=(const MachineRegisterInfo&);      // DO NOT IMPLEMENT
11184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattnerpublic:
1126f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman  explicit MachineRegisterInfo(const TargetRegisterInfo &TRI);
11362ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  ~MachineRegisterInfo();
11473e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
11573e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
11673e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // Function State
11773e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
11873e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
11973e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // isSSA - Returns true when the machine function is in SSA form. Early
12073e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // passes require the machine function to be in SSA form where every virtual
12173e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // register has a single defining instruction.
12273e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  //
12373e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // The TwoAddressInstructionPass and PHIElimination passes take the machine
12473e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // function out of SSA form when they introduce multiple defs per virtual
12573e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // register.
12673e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  bool isSSA() const { return IsSSA; }
12773e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
12873e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // leaveSSA - Indicates that the machine function is no longer in SSA form.
12973e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  void leaveSSA() { IsSSA = false; }
13073e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
131aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// tracksLiveness - Returns true when tracking register liveness accurately.
132aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  ///
133aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// While this flag is true, register liveness information in basic block
134aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// live-in lists and machine instruction operands is accurate. This means it
135aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// can be used to change the code in ways that affect the values in
136aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// registers, for example by the register scavenger.
137aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  ///
138aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// When this flag is false, liveness is no longer reliable.
139aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  bool tracksLiveness() const { return TracksLiveness; }
140aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen
141aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// invalidateLiveness - Indicates that register liveness is no longer being
142aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// tracked accurately.
143aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  ///
144aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// This should be called by late passes that invalidate the liveness
145aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// information.
146aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  void invalidateLiveness() { TracksLiveness = false; }
147aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen
1486c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  //===--------------------------------------------------------------------===//
1496c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  // Register Info
1506c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  //===--------------------------------------------------------------------===//
1516c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner
152ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  // Strictly for use by MachineInstr.cpp.
153ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  void addRegOperandToUseList(MachineOperand *MO);
154ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen
155ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  // Strictly for use by MachineInstr.cpp.
156ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen  void removeRegOperandFromUseList(MachineOperand *MO);
157ff2b99afc8cbc6cfa73181072888e0f9f07deb7eJakob Stoklund Olesen
1586c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  /// reg_begin/reg_end - Provide iteration support to walk over all definitions
1596c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  /// and uses of a register within the MachineFunction that corresponds to this
1606c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  /// MachineRegisterInfo object.
161a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  template<bool Uses, bool Defs, bool SkipDebug>
162c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  class defusechain_iterator;
163c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner
164fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  // Make it a friend so it can access getNextOperandForReg().
165fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  template<bool, bool, bool> friend class defusechain_iterator;
166fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen
167c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// reg_iterator/reg_begin/reg_end - Walk all defs and uses of the specified
168c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// register.
169a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<true,true,false> reg_iterator;
1706c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  reg_iterator reg_begin(unsigned RegNo) const {
1716c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    return reg_iterator(getRegUseDefListHead(RegNo));
1726c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  }
1736c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  static reg_iterator reg_end() { return reg_iterator(0); }
174c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner
17500ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// reg_empty - Return true if there are no instructions using or defining the
17600ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// specified register (it may be live-in).
17700ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  bool reg_empty(unsigned RegNo) const { return reg_begin(RegNo) == reg_end(); }
17800ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman
179c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// reg_nodbg_iterator/reg_nodbg_begin/reg_nodbg_end - Walk all defs and uses
180c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// of the specified register, skipping those marked as Debug.
181c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  typedef defusechain_iterator<true,true,true> reg_nodbg_iterator;
182c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  reg_nodbg_iterator reg_nodbg_begin(unsigned RegNo) const {
183c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen    return reg_nodbg_iterator(getRegUseDefListHead(RegNo));
184c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  }
185c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  static reg_nodbg_iterator reg_nodbg_end() { return reg_nodbg_iterator(0); }
186c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen
187c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// reg_nodbg_empty - Return true if the only instructions using or defining
188c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// Reg are Debug instructions.
189c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  bool reg_nodbg_empty(unsigned RegNo) const {
190c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen    return reg_nodbg_begin(RegNo) == reg_nodbg_end();
191c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  }
192c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen
193c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// def_iterator/def_begin/def_end - Walk all defs of the specified register.
194a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<false,true,false> def_iterator;
195c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  def_iterator def_begin(unsigned RegNo) const {
196c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    return def_iterator(getRegUseDefListHead(RegNo));
197c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  }
198c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  static def_iterator def_end() { return def_iterator(0); }
199c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner
20000ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// def_empty - Return true if there are no instructions defining the
20100ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// specified register (it may be live-in).
20200ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  bool def_empty(unsigned RegNo) const { return def_begin(RegNo) == def_end(); }
20300ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman
2040492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  /// hasOneDef - Return true if there is exactly one instruction defining the
2050492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  /// specified register.
2060492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  bool hasOneDef(unsigned RegNo) const {
2070492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick    def_iterator DI = def_begin(RegNo);
2080492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick    if (DI == def_end())
2090492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick      return false;
2100492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick    return ++DI == def_end();
2110492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  }
2120492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick
213c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// use_iterator/use_begin/use_end - Walk all uses of the specified register.
214a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<true,false,false> use_iterator;
215c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  use_iterator use_begin(unsigned RegNo) const {
216c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    return use_iterator(getRegUseDefListHead(RegNo));
217c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  }
218c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  static use_iterator use_end() { return use_iterator(0); }
21990019479f9a3868d8be90564695097a61a725438Andrew Trick
220ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng  /// use_empty - Return true if there are no instructions using the specified
221ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng  /// register.
222ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng  bool use_empty(unsigned RegNo) const { return use_begin(RegNo) == use_end(); }
223ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng
2241423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// hasOneUse - Return true if there is exactly one instruction using the
2251423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// specified register.
226269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick  bool hasOneUse(unsigned RegNo) const {
227269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick    use_iterator UI = use_begin(RegNo);
228269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick    if (UI == use_end())
229269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick      return false;
230269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick    return ++UI == use_end();
231269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick  }
2321423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng
233a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// use_nodbg_iterator/use_nodbg_begin/use_nodbg_end - Walk all uses of the
234a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// specified register, skipping those marked as Debug.
235a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<true,false,true> use_nodbg_iterator;
236a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  use_nodbg_iterator use_nodbg_begin(unsigned RegNo) const {
237a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen    return use_nodbg_iterator(getRegUseDefListHead(RegNo));
238a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  }
239a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  static use_nodbg_iterator use_nodbg_end() { return use_nodbg_iterator(0); }
24090019479f9a3868d8be90564695097a61a725438Andrew Trick
241a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// use_nodbg_empty - Return true if there are no non-Debug instructions
242a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// using the specified register.
243a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  bool use_nodbg_empty(unsigned RegNo) const {
244a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen    return use_nodbg_begin(RegNo) == use_nodbg_end();
245a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  }
246a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen
2471423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// hasOneNonDBGUse - Return true if there is exactly one non-Debug
2481423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// instruction using the specified register.
2491423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  bool hasOneNonDBGUse(unsigned RegNo) const;
2501423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng
251e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  /// replaceRegWith - Replace all instances of FromReg with ToReg in the
252e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  /// machine function.  This is like llvm-level X->replaceAllUsesWith(Y),
253e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  /// except that it also changes any definitions of the register as well.
2544007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///
2554007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// Note that it is usually necessary to first constrain ToReg's register
2564007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// class to match the FromReg constraints using:
2574007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///
2584007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///   constrainRegClass(ToReg, getRegClass(FromReg))
2594007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///
2604007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// That function will return NULL if the virtual registers have incompatible
2614007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// constraints.
262e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  void replaceRegWith(unsigned FromReg, unsigned ToReg);
26390019479f9a3868d8be90564695097a61a725438Andrew Trick
2641eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  /// getVRegDef - Return the machine instr that defines the specified virtual
2651eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  /// register or null if none is found.  This assumes that the code is in SSA
2661eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  /// form, so there should only be one definition.
2671eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  MachineInstr *getVRegDef(unsigned Reg) const;
26849b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman
26954d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  /// getUniqueVRegDef - Return the unique machine instr that defines the
27054d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  /// specified virtual register or null if none is found.  If there are
27154d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  /// multiple definitions or no definition, return null.
27254d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  MachineInstr *getUniqueVRegDef(unsigned Reg) const;
27354d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren
27449b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// clearKillFlags - Iterate over all the uses of the given register and
27549b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// clear the kill flag from the MachineOperand. This function is used by
27649b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// optimization passes which extend register lifetimes and need only
27749b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// preserve conservative kill flag information.
27849b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  void clearKillFlags(unsigned Reg) const;
27990019479f9a3868d8be90564695097a61a725438Andrew Trick
2801eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng#ifndef NDEBUG
2811eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  void dumpUses(unsigned RegNo) const;
2821eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng#endif
283c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen
284c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// isConstantPhysReg - Returns true if PhysReg is unallocatable and constant
285c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// throughout the function.  It is safe to move instructions that read such
286c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// a physreg.
287c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  bool isConstantPhysReg(unsigned PhysReg, const MachineFunction &MF) const;
288c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen
28984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
29084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // Virtual Register Info
29184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
29290019479f9a3868d8be90564695097a61a725438Andrew Trick
29384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// getRegClass - Return the register class of the specified virtual register.
29411a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng  ///
2951eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  const TargetRegisterClass *getRegClass(unsigned Reg) const {
29662ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner    return VRegInfo[Reg].first;
29784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  }
298bdf34bc12bfc39de02c19fa250e83edb5924a6cfEvan Cheng
299bdf34bc12bfc39de02c19fa250e83edb5924a6cfEvan Cheng  /// setRegClass - Set the register class of the specified virtual register.
30011a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng  ///
30133f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman  void setRegClass(unsigned Reg, const TargetRegisterClass *RC);
30211a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng
303bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  /// constrainRegClass - Constrain the register class of the specified virtual
30491fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  /// register to be a common subclass of RC and the current register class,
30591fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  /// but only if the new class has at least MinNumRegs registers.  Return the
30691fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  /// new register class, or NULL if no such class exists.
307bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  /// This should only be used when the constraint is known to be trivial, like
308bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  /// GR32 -> GR32_NOSP. Beware of increasing register pressure.
3096d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  ///
310bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  const TargetRegisterClass *constrainRegClass(unsigned Reg,
31191fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen                                               const TargetRegisterClass *RC,
31291fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen                                               unsigned MinNumRegs = 0);
313bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen
3146d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// recomputeRegClass - Try to find a legal super-class of Reg's register
3156d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// class that still satisfies the constraints from the instructions using
3166d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// Reg.  Returns true if Reg was upgraded.
3176d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  ///
3186d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// This method can be used after constraints have been removed from a
3196d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// virtual register, for example after removing instructions or splitting
3206d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// the live range.
3216d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  ///
3226d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  bool recomputeRegClass(unsigned Reg, const TargetMachine&);
3236d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen
32484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// createVirtualRegister - Create and return a new virtual register in the
32584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// function with the specified register class.
32684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  ///
3272e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman  unsigned createVirtualRegister(const TargetRegisterClass *RegClass);
32884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
329b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen  /// getNumVirtRegs - Return the number of virtual registers created.
330b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen  ///
331b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen  unsigned getNumVirtRegs() const { return VRegInfo.size(); }
332b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen
33319273aec441411b4d571fdb87c6daa0fbe7a33a0Andrew Trick  /// clearVirtRegs - Remove all virtual registers (after physreg assignment).
33419273aec441411b4d571fdb87c6daa0fbe7a33a0Andrew Trick  void clearVirtRegs();
33519273aec441411b4d571fdb87c6daa0fbe7a33a0Andrew Trick
33690f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// setRegAllocationHint - Specify a register allocation hint for the
33790f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// specified virtual register.
338358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  void setRegAllocationHint(unsigned Reg, unsigned Type, unsigned PrefReg) {
33990f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng    RegAllocHints[Reg].first  = Type;
34090f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng    RegAllocHints[Reg].second = PrefReg;
34190f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  }
34290f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng
34390f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// getRegAllocationHint - Return the register allocation hint for the
34490f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// specified virtual register.
345358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  std::pair<unsigned, unsigned>
34690f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  getRegAllocationHint(unsigned Reg) const {
34790f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng    return RegAllocHints[Reg];
34890f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  }
34990f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng
35051458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  /// getSimpleHint - Return the preferred register allocation hint, or 0 if a
35151458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  /// standard simple hint (Type == 0) is not set.
35251458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  unsigned getSimpleHint(unsigned Reg) const {
35351458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen    std::pair<unsigned, unsigned> Hint = getRegAllocationHint(Reg);
35451458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen    return Hint.first ? 0 : Hint.second;
35551458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  }
35651458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen
35751458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen
35884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
35984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // Physical Register Use Info
36084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
36190019479f9a3868d8be90564695097a61a725438Andrew Trick
36284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// isPhysRegUsed - Return true if the specified register is used in this
36384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// function.  This only works after register allocation.
364d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  bool isPhysRegUsed(unsigned Reg) const {
365d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    return UsedPhysRegs.test(Reg) || UsedPhysRegMask.test(Reg);
366d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  }
367a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen
368a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  /// isPhysRegOrOverlapUsed - Return true if Reg or any overlapping register
369a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  /// is used in this function.
370a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  bool isPhysRegOrOverlapUsed(unsigned Reg) const {
371d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    if (UsedPhysRegMask.test(Reg))
372d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen      return true;
373396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen    for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI)
374d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen      if (UsedPhysRegs.test(*AI))
375a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen        return true;
376a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen    return false;
377a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  }
378a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen
37984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// setPhysRegUsed - Mark the specified register used in this function.
38084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// This should only be called during and after register allocation.
381d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  void setPhysRegUsed(unsigned Reg) { UsedPhysRegs.set(Reg); }
38282b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen
38382b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  /// addPhysRegsUsed - Mark the specified registers used in this function.
38482b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  /// This should only be called during and after register allocation.
38582b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  void addPhysRegsUsed(const BitVector &Regs) { UsedPhysRegs |= Regs; }
38682b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen
387d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// addPhysRegsUsedFromRegMask - Mark any registers not in RegMask as used.
388d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// This corresponds to the bit mask attached to register mask operands.
389d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  void addPhysRegsUsedFromRegMask(const uint32_t *RegMask) {
390d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    UsedPhysRegMask.setBitsNotInMask(RegMask);
391d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  }
392d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen
39384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// setPhysRegUnused - Mark the specified register unused in this function.
39484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// This should only be called during and after register allocation.
395d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  void setPhysRegUnused(unsigned Reg) {
396d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    UsedPhysRegs.reset(Reg);
397d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    UsedPhysRegMask.reset(Reg);
398d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  }
39984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
400d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
401d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
402d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // Reserved Register Info
403d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
404d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //
405d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // The set of reserved registers must be invariant during register
406d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // allocation.  For example, the target cannot suddenly decide it needs a
407d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // frame pointer when the register allocator has already used the frame
408d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // pointer register for something else.
409d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //
410d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // These methods can be used by target hooks like hasFP() to avoid changing
411d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // the reserved register set during register allocation.
412d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
413d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// freezeReservedRegs - Called by the register allocator to freeze the set
414d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// of reserved registers before allocation begins.
415d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  void freezeReservedRegs(const MachineFunction&);
416d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
417d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// reservedRegsFrozen - Returns true after freezeReservedRegs() was called
418d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// to ensure the set of reserved registers stays constant.
419d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  bool reservedRegsFrozen() const {
420d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen    return !ReservedRegs.empty();
421d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  }
422d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
423d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// canReserveReg - Returns true if PhysReg can be used as a reserved
424d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// register.  Any register can be reserved before freezeReservedRegs() is
425d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// called.
426d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  bool canReserveReg(unsigned PhysReg) const {
427d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen    return !reservedRegsFrozen() || ReservedRegs.test(PhysReg);
428d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  }
429d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
430d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
43184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
43284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // LiveIn/LiveOut Management
43384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
43490019479f9a3868d8be90564695097a61a725438Andrew Trick
43584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// addLiveIn/Out - Add the specified register as a live in/out.  Note that it
43684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// is an error to add the same register to the same set more than once.
43784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  void addLiveIn(unsigned Reg, unsigned vreg = 0) {
43884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner    LiveIns.push_back(std::make_pair(Reg, vreg));
43984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  }
44084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  void addLiveOut(unsigned Reg) { LiveOuts.push_back(Reg); }
44190019479f9a3868d8be90564695097a61a725438Andrew Trick
44284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // Iteration support for live in/out sets.  These sets are kept in sorted
44384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // order by their register number.
44484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  typedef std::vector<std::pair<unsigned,unsigned> >::const_iterator
44584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  livein_iterator;
44684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  typedef std::vector<unsigned>::const_iterator liveout_iterator;
44784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  livein_iterator livein_begin() const { return LiveIns.begin(); }
44884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  livein_iterator livein_end()   const { return LiveIns.end(); }
44984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  bool            livein_empty() const { return LiveIns.empty(); }
45084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  liveout_iterator liveout_begin() const { return LiveOuts.begin(); }
45184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  liveout_iterator liveout_end()   const { return LiveOuts.end(); }
45284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  bool             liveout_empty() const { return LiveOuts.empty(); }
4536d69ba8a6901c69d78488cbc41f8dbf080618fdeDan Gohman
45413e73f483ef2ba630962dad3125393292533b756Dan Gohman  bool isLiveIn(unsigned Reg) const;
45513e73f483ef2ba630962dad3125393292533b756Dan Gohman  bool isLiveOut(unsigned Reg) const;
4566d69ba8a6901c69d78488cbc41f8dbf080618fdeDan Gohman
4572ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  /// getLiveInPhysReg - If VReg is a live-in virtual register, return the
4582ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  /// corresponding live-in physical register.
4592ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  unsigned getLiveInPhysReg(unsigned VReg) const;
4602ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng
4613946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  /// getLiveInVirtReg - If PReg is a live-in physical register, return the
4623946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  /// corresponding live-in physical register.
4633946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  unsigned getLiveInVirtReg(unsigned PReg) const;
4643946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng
46598708260f55cab997a5db77e930a2bd35f4172aaDan Gohman  /// EmitLiveInCopies - Emit copies to initialize livein virtual registers
46698708260f55cab997a5db77e930a2bd35f4172aaDan Gohman  /// into the given entry block.
46798708260f55cab997a5db77e930a2bd35f4172aaDan Gohman  void EmitLiveInCopies(MachineBasicBlock *EntryMBB,
46898708260f55cab997a5db77e930a2bd35f4172aaDan Gohman                        const TargetRegisterInfo &TRI,
46998708260f55cab997a5db77e930a2bd35f4172aaDan Gohman                        const TargetInstrInfo &TII);
47098708260f55cab997a5db77e930a2bd35f4172aaDan Gohman
471c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// defusechain_iterator - This class provides iterator support for machine
472c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// operands in the function that use or define a specific register.  If
473c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// ReturnUses is true it returns uses of registers, if ReturnDefs is true it
474c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// returns defs.  If neither are true then you are silly and it always
475a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// returns end().  If SkipDebug is true it skips uses marked Debug
476a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// when incrementing.
477a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  template<bool ReturnUses, bool ReturnDefs, bool SkipDebug>
478c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  class defusechain_iterator
479f0891be8bdbeeadb39da5575273b6645755fa383Gabor Greif    : public std::iterator<std::forward_iterator_tag, MachineInstr, ptrdiff_t> {
4806c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    MachineOperand *Op;
4811327f69d98a2cb527b275ffc93080cf31ddf6dc5Dan Gohman    explicit defusechain_iterator(MachineOperand *op) : Op(op) {
482c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      // If the first node isn't one we're interested in, advance to one that
483c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      // we are interested in.
484c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      if (op) {
485ae9f3a3b7c915f725aef5a7250e88eaeddda03c6Anton Korobeynikov        if ((!ReturnUses && op->isUse()) ||
486a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen            (!ReturnDefs && op->isDef()) ||
487a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen            (SkipDebug && op->isDebug()))
488c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner          ++*this;
489c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      }
490c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    }
4916c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    friend class MachineRegisterInfo;
4926c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  public:
4937362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif    typedef std::iterator<std::forward_iterator_tag,
4947362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif                          MachineInstr, ptrdiff_t>::reference reference;
4957362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif    typedef std::iterator<std::forward_iterator_tag,
4967362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif                          MachineInstr, ptrdiff_t>::pointer pointer;
49790019479f9a3868d8be90564695097a61a725438Andrew Trick
498c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator(const defusechain_iterator &I) : Op(I.Op) {}
499c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator() : Op(0) {}
50090019479f9a3868d8be90564695097a61a725438Andrew Trick
501c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    bool operator==(const defusechain_iterator &x) const {
5026c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return Op == x.Op;
5036c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
504c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    bool operator!=(const defusechain_iterator &x) const {
5056c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return !operator==(x);
5066c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
50790019479f9a3868d8be90564695097a61a725438Andrew Trick
5086c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    /// atEnd - return true if this iterator is equal to reg_end() on the value.
5096c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    bool atEnd() const { return Op == 0; }
51090019479f9a3868d8be90564695097a61a725438Andrew Trick
5116c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    // Iterator traversal: forward iteration only
512c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator &operator++() {          // Preincrement
5136c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      assert(Op && "Cannot increment end iterator!");
514fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen      Op = getNextOperandForReg(Op);
51590019479f9a3868d8be90564695097a61a725438Andrew Trick
516c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen      // All defs come before the uses, so stop def_iterator early.
517c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen      if (!ReturnUses) {
518c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen        if (Op) {
519c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen          if (Op->isUse())
520c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen            Op = 0;
521c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen          else
522c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen            assert(!Op->isDebug() && "Can't have debug defs");
523c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen        }
524c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen      } else {
525c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen        // If this is an operand we don't care about, skip it.
526c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen        while (Op && ((!ReturnDefs && Op->isDef()) ||
527c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen                      (SkipDebug && Op->isDebug())))
528c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen          Op = getNextOperandForReg(Op);
529c7908037d87c8f6866b872e9f6b5a7fffae5b63eJakob Stoklund Olesen      }
53090019479f9a3868d8be90564695097a61a725438Andrew Trick
5316c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return *this;
5326c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
533c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator operator++(int) {        // Postincrement
534c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      defusechain_iterator tmp = *this; ++*this; return tmp;
5356c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
536914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen
537914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    /// skipInstruction - move forward until reaching a different instruction.
538914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    /// Return the skipped instruction that is no longer pointed to, or NULL if
539914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    /// already pointing to end().
540914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    MachineInstr *skipInstruction() {
541914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      if (!Op) return 0;
542914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      MachineInstr *MI = Op->getParent();
543914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      do ++*this;
544914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      while (Op && Op->getParent() == MI);
545914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      return MI;
546914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    }
547914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen
54866c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen    MachineInstr *skipBundle() {
54966c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      if (!Op) return 0;
55066c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      MachineInstr *MI = getBundleStart(Op->getParent());
55166c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      do ++*this;
55266c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      while (Op && getBundleStart(Op->getParent()) == MI);
55366c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      return MI;
55466c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen    }
55566c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen
556e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineOperand &getOperand() const {
5576c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      assert(Op && "Cannot dereference end iterator!");
5586c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return *Op;
5596c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
56090019479f9a3868d8be90564695097a61a725438Andrew Trick
561e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    /// getOperandNo - Return the operand # of this MachineOperand in its
562e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    /// MachineInstr.
563e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    unsigned getOperandNo() const {
564e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      assert(Op && "Cannot dereference end iterator!");
565e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      return Op - &Op->getParent()->getOperand(0);
566e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    }
56790019479f9a3868d8be90564695097a61a725438Andrew Trick
568e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    // Retrieve a reference to the current operand.
569e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineInstr &operator*() const {
570e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      assert(Op && "Cannot dereference end iterator!");
571e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      return *Op->getParent();
572e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    }
57390019479f9a3868d8be90564695097a61a725438Andrew Trick
574e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineInstr *operator->() const {
575e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      assert(Op && "Cannot dereference end iterator!");
576e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      return Op->getParent();
577e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    }
5786c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  };
57990019479f9a3868d8be90564695097a61a725438Andrew Trick
58084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner};
58184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
58284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner} // End llvm namespace
58384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
58484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#endif
585