MachineRegisterInfo.h revision fdd6484b41ef0fa7eb8c995fb34b728b193c6258
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
60fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  /// Get the next element in the use-def chain.
61fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  static MachineOperand *getNextOperandForReg(const MachineOperand *MO) {
62fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen    assert(MO && MO->isReg() && "This is not a register operand!");
63fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen    return MO->Contents.Reg.Next;
64fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  }
65fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen
6684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// UsedPhysRegs - This is a bit vector that is computed and set by the
6784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// register allocator, and must be kept up to date by passes that run after
6884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// register allocation (though most don't modify this).  This is used
6984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// so that the code generator knows which callee save registers to save and
7084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// for other target specific uses.
71d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// This vector only has bits set for registers explicitly used, not their
72d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// aliases.
7384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  BitVector UsedPhysRegs;
74d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
75d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// UsedPhysRegMask - Additional used physregs, but including aliases.
76d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  BitVector UsedPhysRegMask;
77d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen
78d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// ReservedRegs - This is a bit vector of reserved registers.  The target
79d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// may change its mind about which registers should be reserved.  This
80d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// vector is the frozen set of reserved registers when register allocation
81d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// started.
82d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  BitVector ReservedRegs;
83d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
84c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// AllocatableRegs - From TRI->getAllocatableSet.
85c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  mutable BitVector AllocatableRegs;
86c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen
8784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// LiveIns/LiveOuts - Keep track of the physical registers that are
8884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// livein/liveout of the function.  Live in values are typically arguments in
8984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// registers, live out values are typically return values in registers.
9084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// LiveIn values are allowed to have virtual registers associated with them,
9184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// stored in the second element.
9284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  std::vector<std::pair<unsigned, unsigned> > LiveIns;
9384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  std::vector<unsigned> LiveOuts;
9490019479f9a3868d8be90564695097a61a725438Andrew Trick
9562ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  MachineRegisterInfo(const MachineRegisterInfo&); // DO NOT IMPLEMENT
9662ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  void operator=(const MachineRegisterInfo&);      // DO NOT IMPLEMENT
9784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattnerpublic:
986f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman  explicit MachineRegisterInfo(const TargetRegisterInfo &TRI);
9962ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  ~MachineRegisterInfo();
10073e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
10173e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
10273e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // Function State
10373e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
10473e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
10573e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // isSSA - Returns true when the machine function is in SSA form. Early
10673e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // passes require the machine function to be in SSA form where every virtual
10773e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // register has a single defining instruction.
10873e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  //
10973e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // The TwoAddressInstructionPass and PHIElimination passes take the machine
11073e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // function out of SSA form when they introduce multiple defs per virtual
11173e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // register.
11273e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  bool isSSA() const { return IsSSA; }
11373e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
11473e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  // leaveSSA - Indicates that the machine function is no longer in SSA form.
11573e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen  void leaveSSA() { IsSSA = false; }
11673e7dced3892f2abb4344526147d4df0f62aee61Jakob Stoklund Olesen
117aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// tracksLiveness - Returns true when tracking register liveness accurately.
118aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  ///
119aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// While this flag is true, register liveness information in basic block
120aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// live-in lists and machine instruction operands is accurate. This means it
121aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// can be used to change the code in ways that affect the values in
122aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// registers, for example by the register scavenger.
123aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  ///
124aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// When this flag is false, liveness is no longer reliable.
125aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  bool tracksLiveness() const { return TracksLiveness; }
126aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen
127aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// invalidateLiveness - Indicates that register liveness is no longer being
128aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// tracked accurately.
129aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  ///
130aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// This should be called by late passes that invalidate the liveness
131aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  /// information.
132aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen  void invalidateLiveness() { TracksLiveness = false; }
133aba6559370c3d453588103fb667ffa3b11b76652Jakob Stoklund Olesen
1346c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  //===--------------------------------------------------------------------===//
1356c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  // Register Info
1366c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  //===--------------------------------------------------------------------===//
1376c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner
1386c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  /// reg_begin/reg_end - Provide iteration support to walk over all definitions
1396c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  /// and uses of a register within the MachineFunction that corresponds to this
1406c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  /// MachineRegisterInfo object.
141a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  template<bool Uses, bool Defs, bool SkipDebug>
142c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  class defusechain_iterator;
143c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner
144fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  // Make it a friend so it can access getNextOperandForReg().
145fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen  template<bool, bool, bool> friend class defusechain_iterator;
146fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen
147c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// reg_iterator/reg_begin/reg_end - Walk all defs and uses of the specified
148c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// register.
149a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<true,true,false> reg_iterator;
1506c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  reg_iterator reg_begin(unsigned RegNo) const {
1516c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    return reg_iterator(getRegUseDefListHead(RegNo));
1526c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  }
1536c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  static reg_iterator reg_end() { return reg_iterator(0); }
154c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner
15500ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// reg_empty - Return true if there are no instructions using or defining the
15600ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// specified register (it may be live-in).
15700ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  bool reg_empty(unsigned RegNo) const { return reg_begin(RegNo) == reg_end(); }
15800ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman
159c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// reg_nodbg_iterator/reg_nodbg_begin/reg_nodbg_end - Walk all defs and uses
160c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// of the specified register, skipping those marked as Debug.
161c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  typedef defusechain_iterator<true,true,true> reg_nodbg_iterator;
162c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  reg_nodbg_iterator reg_nodbg_begin(unsigned RegNo) const {
163c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen    return reg_nodbg_iterator(getRegUseDefListHead(RegNo));
164c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  }
165c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  static reg_nodbg_iterator reg_nodbg_end() { return reg_nodbg_iterator(0); }
166c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen
167c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// reg_nodbg_empty - Return true if the only instructions using or defining
168c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  /// Reg are Debug instructions.
169c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  bool reg_nodbg_empty(unsigned RegNo) const {
170c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen    return reg_nodbg_begin(RegNo) == reg_nodbg_end();
171c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen  }
172c66c78c6846631a9f6a44fee69d218f900e63140Jakob Stoklund Olesen
173c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// def_iterator/def_begin/def_end - Walk all defs of the specified register.
174a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<false,true,false> def_iterator;
175c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  def_iterator def_begin(unsigned RegNo) const {
176c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    return def_iterator(getRegUseDefListHead(RegNo));
177c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  }
178c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  static def_iterator def_end() { return def_iterator(0); }
179c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner
18000ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// def_empty - Return true if there are no instructions defining the
18100ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  /// specified register (it may be live-in).
18200ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman  bool def_empty(unsigned RegNo) const { return def_begin(RegNo) == def_end(); }
18300ffd505d327782eb51fa55e47967fd8e62ba40aDan Gohman
1840492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  /// hasOneDef - Return true if there is exactly one instruction defining the
1850492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  /// specified register.
1860492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  bool hasOneDef(unsigned RegNo) const {
1870492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick    def_iterator DI = def_begin(RegNo);
1880492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick    if (DI == def_end())
1890492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick      return false;
1900492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick    return ++DI == def_end();
1910492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick  }
1920492a8c530df6c7b2ebcfa91fed930c1a1bf664dAndrew Trick
193c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// use_iterator/use_begin/use_end - Walk all uses of the specified register.
194a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<true,false,false> use_iterator;
195c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  use_iterator use_begin(unsigned RegNo) const {
196c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    return use_iterator(getRegUseDefListHead(RegNo));
197c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  }
198c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  static use_iterator use_end() { return use_iterator(0); }
19990019479f9a3868d8be90564695097a61a725438Andrew Trick
200ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng  /// use_empty - Return true if there are no instructions using the specified
201ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng  /// register.
202ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng  bool use_empty(unsigned RegNo) const { return use_begin(RegNo) == use_end(); }
203ce049437d6986cfb4c0dba6bf99cadd8c301351aEvan Cheng
2041423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// hasOneUse - Return true if there is exactly one instruction using the
2051423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// specified register.
206269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick  bool hasOneUse(unsigned RegNo) const {
207269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick    use_iterator UI = use_begin(RegNo);
208269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick    if (UI == use_end())
209269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick      return false;
210269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick    return ++UI == use_end();
211269120cd9b45b24665433ea28eb7d092c138ca76Andrew Trick  }
2121423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng
213a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// use_nodbg_iterator/use_nodbg_begin/use_nodbg_end - Walk all uses of the
214a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// specified register, skipping those marked as Debug.
215a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  typedef defusechain_iterator<true,false,true> use_nodbg_iterator;
216a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  use_nodbg_iterator use_nodbg_begin(unsigned RegNo) const {
217a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen    return use_nodbg_iterator(getRegUseDefListHead(RegNo));
218a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  }
219a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  static use_nodbg_iterator use_nodbg_end() { return use_nodbg_iterator(0); }
22090019479f9a3868d8be90564695097a61a725438Andrew Trick
221a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// use_nodbg_empty - Return true if there are no non-Debug instructions
222a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// using the specified register.
223a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  bool use_nodbg_empty(unsigned RegNo) const {
224a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen    return use_nodbg_begin(RegNo) == use_nodbg_end();
225a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  }
226a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen
2271423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// hasOneNonDBGUse - Return true if there is exactly one non-Debug
2281423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  /// instruction using the specified register.
2291423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng  bool hasOneNonDBGUse(unsigned RegNo) const;
2301423c70b8f1b1a757c640fac9a17cb015012e8e9Evan Cheng
231e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  /// replaceRegWith - Replace all instances of FromReg with ToReg in the
232e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  /// machine function.  This is like llvm-level X->replaceAllUsesWith(Y),
233e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  /// except that it also changes any definitions of the register as well.
2344007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///
2354007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// Note that it is usually necessary to first constrain ToReg's register
2364007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// class to match the FromReg constraints using:
2374007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///
2384007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///   constrainRegClass(ToReg, getRegClass(FromReg))
2394007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  ///
2404007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// That function will return NULL if the virtual registers have incompatible
2414007529d4b014f43a1c7089f9b285a67c1c9b853Jakob Stoklund Olesen  /// constraints.
242e138b3dd1ff02d826233482831318708a166ed93Chris Lattner  void replaceRegWith(unsigned FromReg, unsigned ToReg);
24390019479f9a3868d8be90564695097a61a725438Andrew Trick
24462ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  /// getRegUseDefListHead - Return the head pointer for the register use/def
24562ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  /// list for the specified virtual or physical register.
24662ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  MachineOperand *&getRegUseDefListHead(unsigned RegNo) {
247c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen    if (TargetRegisterInfo::isVirtualRegister(RegNo))
248c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen      return VRegInfo[RegNo].second;
249c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen    return PhysRegUseDefLists[RegNo];
25062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  }
25190019479f9a3868d8be90564695097a61a725438Andrew Trick
2526c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  MachineOperand *getRegUseDefListHead(unsigned RegNo) const {
253c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen    if (TargetRegisterInfo::isVirtualRegister(RegNo))
254c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen      return VRegInfo[RegNo].second;
255c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen    return PhysRegUseDefLists[RegNo];
2566c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  }
2571eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng
2581eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  /// getVRegDef - Return the machine instr that defines the specified virtual
2591eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  /// register or null if none is found.  This assumes that the code is in SSA
2601eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  /// form, so there should only be one definition.
2611eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  MachineInstr *getVRegDef(unsigned Reg) const;
26249b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman
26354d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  /// getUniqueVRegDef - Return the unique machine instr that defines the
26454d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  /// specified virtual register or null if none is found.  If there are
26554d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  /// multiple definitions or no definition, return null.
26654d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren  MachineInstr *getUniqueVRegDef(unsigned Reg) const;
26754d69668b22b8c37aa6e45f14445f3988cc430d4Manman Ren
26849b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// clearKillFlags - Iterate over all the uses of the given register and
26949b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// clear the kill flag from the MachineOperand. This function is used by
27049b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// optimization passes which extend register lifetimes and need only
27149b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  /// preserve conservative kill flag information.
27249b4589978ca181537c8ae694ac4c8d58d27a09aDan Gohman  void clearKillFlags(unsigned Reg) const;
27390019479f9a3868d8be90564695097a61a725438Andrew Trick
2741eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng#ifndef NDEBUG
2751eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  void dumpUses(unsigned RegNo) const;
2761eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng#endif
277c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen
278c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// isConstantPhysReg - Returns true if PhysReg is unallocatable and constant
279c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// throughout the function.  It is safe to move instructions that read such
280c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  /// a physreg.
281c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen  bool isConstantPhysReg(unsigned PhysReg, const MachineFunction &MF) const;
282c035c940a656f34a58ebe22fcc5f9b2a7d8e97fbJakob Stoklund Olesen
28384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
28484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // Virtual Register Info
28584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
28690019479f9a3868d8be90564695097a61a725438Andrew Trick
28784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// getRegClass - Return the register class of the specified virtual register.
28811a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng  ///
2891eb5cf9c7d0b0b04402eddc007b0de414488baf4Evan Cheng  const TargetRegisterClass *getRegClass(unsigned Reg) const {
29062ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner    return VRegInfo[Reg].first;
29184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  }
292bdf34bc12bfc39de02c19fa250e83edb5924a6cfEvan Cheng
293bdf34bc12bfc39de02c19fa250e83edb5924a6cfEvan Cheng  /// setRegClass - Set the register class of the specified virtual register.
29411a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng  ///
29533f1c68cba4e905fdd2bf7d2848c52052d46fbffDan Gohman  void setRegClass(unsigned Reg, const TargetRegisterClass *RC);
29611a26f3697ea6520022ea6d3fa6a07b3c1b988cdEvan Cheng
297bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  /// constrainRegClass - Constrain the register class of the specified virtual
29891fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  /// register to be a common subclass of RC and the current register class,
29991fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  /// but only if the new class has at least MinNumRegs registers.  Return the
30091fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen  /// new register class, or NULL if no such class exists.
301bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  /// This should only be used when the constraint is known to be trivial, like
302bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  /// GR32 -> GR32_NOSP. Beware of increasing register pressure.
3036d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  ///
304bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen  const TargetRegisterClass *constrainRegClass(unsigned Reg,
30591fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen                                               const TargetRegisterClass *RC,
30691fb536a345dc268e5b73dbddb9bee4cba87b28fJakob Stoklund Olesen                                               unsigned MinNumRegs = 0);
307bf4699c56100a0184bbe4fb53937c7204ca1ceb0Jakob Stoklund Olesen
3086d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// recomputeRegClass - Try to find a legal super-class of Reg's register
3096d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// class that still satisfies the constraints from the instructions using
3106d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// Reg.  Returns true if Reg was upgraded.
3116d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  ///
3126d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// This method can be used after constraints have been removed from a
3136d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// virtual register, for example after removing instructions or splitting
3146d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  /// the live range.
3156d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  ///
3166d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen  bool recomputeRegClass(unsigned Reg, const TargetMachine&);
3176d1fd0b979cb88809ebb77a24f4da69e1d67606bJakob Stoklund Olesen
31884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// createVirtualRegister - Create and return a new virtual register in the
31984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// function with the specified register class.
32084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  ///
3212e3e5bf42742a7421b513829101501f2de6d2b02Dan Gohman  unsigned createVirtualRegister(const TargetRegisterClass *RegClass);
32284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
323b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen  /// getNumVirtRegs - Return the number of virtual registers created.
324b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen  ///
325b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen  unsigned getNumVirtRegs() const { return VRegInfo.size(); }
326b421c566f512ed0ec87851866d335e9086c3f8beJakob Stoklund Olesen
32719273aec441411b4d571fdb87c6daa0fbe7a33a0Andrew Trick  /// clearVirtRegs - Remove all virtual registers (after physreg assignment).
32819273aec441411b4d571fdb87c6daa0fbe7a33a0Andrew Trick  void clearVirtRegs();
32919273aec441411b4d571fdb87c6daa0fbe7a33a0Andrew Trick
33090f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// setRegAllocationHint - Specify a register allocation hint for the
33190f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// specified virtual register.
332358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  void setRegAllocationHint(unsigned Reg, unsigned Type, unsigned PrefReg) {
33390f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng    RegAllocHints[Reg].first  = Type;
33490f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng    RegAllocHints[Reg].second = PrefReg;
33590f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  }
33690f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng
33790f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// getRegAllocationHint - Return the register allocation hint for the
33890f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  /// specified virtual register.
339358dec51804ee52e47ea3a47c9248086e458ad7cEvan Cheng  std::pair<unsigned, unsigned>
34090f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  getRegAllocationHint(unsigned Reg) const {
34190f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng    return RegAllocHints[Reg];
34290f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng  }
34390f95f88c6ce09c6744777dc9d140c3c77203b92Evan Cheng
34451458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  /// getSimpleHint - Return the preferred register allocation hint, or 0 if a
34551458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  /// standard simple hint (Type == 0) is not set.
34651458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  unsigned getSimpleHint(unsigned Reg) const {
34751458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen    std::pair<unsigned, unsigned> Hint = getRegAllocationHint(Reg);
34851458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen    return Hint.first ? 0 : Hint.second;
34951458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen  }
35051458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen
35151458ed09e6db0e424cd528e10b879f59915abe4Jakob Stoklund Olesen
35284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
35384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // Physical Register Use Info
35484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
35590019479f9a3868d8be90564695097a61a725438Andrew Trick
35684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// isPhysRegUsed - Return true if the specified register is used in this
35784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// function.  This only works after register allocation.
358d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  bool isPhysRegUsed(unsigned Reg) const {
359d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    return UsedPhysRegs.test(Reg) || UsedPhysRegMask.test(Reg);
360d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  }
361a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen
362a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  /// isPhysRegOrOverlapUsed - Return true if Reg or any overlapping register
363a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  /// is used in this function.
364a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  bool isPhysRegOrOverlapUsed(unsigned Reg) const {
365d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    if (UsedPhysRegMask.test(Reg))
366d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen      return true;
367396618b43a85e12d290a90b181c6af5d7c0c5f11Jakob Stoklund Olesen    for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI)
368d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen      if (UsedPhysRegs.test(*AI))
369a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen        return true;
370a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen    return false;
371a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen  }
372a2a98fd0ddd2ae277be7cdd62aae92f6c5155e07Jakob Stoklund Olesen
37384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// setPhysRegUsed - Mark the specified register used in this function.
37484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// This should only be called during and after register allocation.
375d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  void setPhysRegUsed(unsigned Reg) { UsedPhysRegs.set(Reg); }
37682b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen
37782b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  /// addPhysRegsUsed - Mark the specified registers used in this function.
37882b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  /// This should only be called during and after register allocation.
37982b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen  void addPhysRegsUsed(const BitVector &Regs) { UsedPhysRegs |= Regs; }
38082b07dc4995d48065bd95affff4d8513a5cad4f2Jakob Stoklund Olesen
381d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// addPhysRegsUsedFromRegMask - Mark any registers not in RegMask as used.
382d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  /// This corresponds to the bit mask attached to register mask operands.
383d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  void addPhysRegsUsedFromRegMask(const uint32_t *RegMask) {
384d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    UsedPhysRegMask.setBitsNotInMask(RegMask);
385d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  }
386d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen
38784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// setPhysRegUnused - Mark the specified register unused in this function.
38884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// This should only be called during and after register allocation.
389d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  void setPhysRegUnused(unsigned Reg) {
390d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    UsedPhysRegs.reset(Reg);
391d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen    UsedPhysRegMask.reset(Reg);
392d9f0ff56a1878347fe5a0f162ef8c2ef2b63aeb5Jakob Stoklund Olesen  }
39384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
394d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
395d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
396d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // Reserved Register Info
397d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //===--------------------------------------------------------------------===//
398d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //
399d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // The set of reserved registers must be invariant during register
400d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // allocation.  For example, the target cannot suddenly decide it needs a
401d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // frame pointer when the register allocator has already used the frame
402d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // pointer register for something else.
403d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  //
404d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // These methods can be used by target hooks like hasFP() to avoid changing
405d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  // the reserved register set during register allocation.
406d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
407d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// freezeReservedRegs - Called by the register allocator to freeze the set
408d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// of reserved registers before allocation begins.
409d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  void freezeReservedRegs(const MachineFunction&);
410d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
411d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// reservedRegsFrozen - Returns true after freezeReservedRegs() was called
412d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// to ensure the set of reserved registers stays constant.
413d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  bool reservedRegsFrozen() const {
414d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen    return !ReservedRegs.empty();
415d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  }
416d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
417d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// canReserveReg - Returns true if PhysReg can be used as a reserved
418d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// register.  Any register can be reserved before freezeReservedRegs() is
419d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  /// called.
420d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  bool canReserveReg(unsigned PhysReg) const {
421d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen    return !reservedRegsFrozen() || ReservedRegs.test(PhysReg);
422d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen  }
423d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
424d9e5c764bfea339fc5082bf17e558db959fd6d28Jakob Stoklund Olesen
42584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
42684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // LiveIn/LiveOut Management
42784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  //===--------------------------------------------------------------------===//
42890019479f9a3868d8be90564695097a61a725438Andrew Trick
42984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// addLiveIn/Out - Add the specified register as a live in/out.  Note that it
43084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  /// is an error to add the same register to the same set more than once.
43184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  void addLiveIn(unsigned Reg, unsigned vreg = 0) {
43284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner    LiveIns.push_back(std::make_pair(Reg, vreg));
43384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  }
43484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  void addLiveOut(unsigned Reg) { LiveOuts.push_back(Reg); }
43590019479f9a3868d8be90564695097a61a725438Andrew Trick
43684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // Iteration support for live in/out sets.  These sets are kept in sorted
43784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  // order by their register number.
43884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  typedef std::vector<std::pair<unsigned,unsigned> >::const_iterator
43984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  livein_iterator;
44084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  typedef std::vector<unsigned>::const_iterator liveout_iterator;
44184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  livein_iterator livein_begin() const { return LiveIns.begin(); }
44284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  livein_iterator livein_end()   const { return LiveIns.end(); }
44384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  bool            livein_empty() const { return LiveIns.empty(); }
44484bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  liveout_iterator liveout_begin() const { return LiveOuts.begin(); }
44584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  liveout_iterator liveout_end()   const { return LiveOuts.end(); }
44684bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  bool             liveout_empty() const { return LiveOuts.empty(); }
4476d69ba8a6901c69d78488cbc41f8dbf080618fdeDan Gohman
44813e73f483ef2ba630962dad3125393292533b756Dan Gohman  bool isLiveIn(unsigned Reg) const;
44913e73f483ef2ba630962dad3125393292533b756Dan Gohman  bool isLiveOut(unsigned Reg) const;
4506d69ba8a6901c69d78488cbc41f8dbf080618fdeDan Gohman
4512ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  /// getLiveInPhysReg - If VReg is a live-in virtual register, return the
4522ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  /// corresponding live-in physical register.
4532ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng  unsigned getLiveInPhysReg(unsigned VReg) const;
4542ad0fcf794924f618a7240741cc14a39be99d0f2Evan Cheng
4553946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  /// getLiveInVirtReg - If PReg is a live-in physical register, return the
4563946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  /// corresponding live-in physical register.
4573946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng  unsigned getLiveInVirtReg(unsigned PReg) const;
4583946043a80a043b3cf43b34bf068feaadc46485bEvan Cheng
45998708260f55cab997a5db77e930a2bd35f4172aaDan Gohman  /// EmitLiveInCopies - Emit copies to initialize livein virtual registers
46098708260f55cab997a5db77e930a2bd35f4172aaDan Gohman  /// into the given entry block.
46198708260f55cab997a5db77e930a2bd35f4172aaDan Gohman  void EmitLiveInCopies(MachineBasicBlock *EntryMBB,
46298708260f55cab997a5db77e930a2bd35f4172aaDan Gohman                        const TargetRegisterInfo &TRI,
46398708260f55cab997a5db77e930a2bd35f4172aaDan Gohman                        const TargetInstrInfo &TII);
46498708260f55cab997a5db77e930a2bd35f4172aaDan Gohman
46562ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattnerprivate:
46662ed6b9ade63bf01717ce5274fa11e93e873d245Chris Lattner  void HandleVRegListReallocation();
46790019479f9a3868d8be90564695097a61a725438Andrew Trick
4686c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattnerpublic:
469c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// defusechain_iterator - This class provides iterator support for machine
470c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// operands in the function that use or define a specific register.  If
471c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// ReturnUses is true it returns uses of registers, if ReturnDefs is true it
472c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  /// returns defs.  If neither are true then you are silly and it always
473a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// returns end().  If SkipDebug is true it skips uses marked Debug
474a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  /// when incrementing.
475a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen  template<bool ReturnUses, bool ReturnDefs, bool SkipDebug>
476c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner  class defusechain_iterator
477f0891be8bdbeeadb39da5575273b6645755fa383Gabor Greif    : public std::iterator<std::forward_iterator_tag, MachineInstr, ptrdiff_t> {
4786c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    MachineOperand *Op;
4791327f69d98a2cb527b275ffc93080cf31ddf6dc5Dan Gohman    explicit defusechain_iterator(MachineOperand *op) : Op(op) {
480c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      // If the first node isn't one we're interested in, advance to one that
481c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      // we are interested in.
482c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      if (op) {
483ae9f3a3b7c915f725aef5a7250e88eaeddda03c6Anton Korobeynikov        if ((!ReturnUses && op->isUse()) ||
484a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen            (!ReturnDefs && op->isDef()) ||
485a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen            (SkipDebug && op->isDebug()))
486c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner          ++*this;
487c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      }
488c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    }
4896c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    friend class MachineRegisterInfo;
4906c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  public:
4917362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif    typedef std::iterator<std::forward_iterator_tag,
4927362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif                          MachineInstr, ptrdiff_t>::reference reference;
4937362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif    typedef std::iterator<std::forward_iterator_tag,
4947362ce08cb2c1f0b544b18dbc21630fb4baebcfcGabor Greif                          MachineInstr, ptrdiff_t>::pointer pointer;
49590019479f9a3868d8be90564695097a61a725438Andrew Trick
496c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator(const defusechain_iterator &I) : Op(I.Op) {}
497c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator() : Op(0) {}
49890019479f9a3868d8be90564695097a61a725438Andrew Trick
499c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    bool operator==(const defusechain_iterator &x) const {
5006c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return Op == x.Op;
5016c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
502c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    bool operator!=(const defusechain_iterator &x) const {
5036c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return !operator==(x);
5046c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
50590019479f9a3868d8be90564695097a61a725438Andrew Trick
5066c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    /// atEnd - return true if this iterator is equal to reg_end() on the value.
5076c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    bool atEnd() const { return Op == 0; }
50890019479f9a3868d8be90564695097a61a725438Andrew Trick
5096c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    // Iterator traversal: forward iteration only
510c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator &operator++() {          // Preincrement
5116c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      assert(Op && "Cannot increment end iterator!");
512fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen      Op = getNextOperandForReg(Op);
51390019479f9a3868d8be90564695097a61a725438Andrew Trick
514c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      // If this is an operand we don't care about, skip it.
51590019479f9a3868d8be90564695097a61a725438Andrew Trick      while (Op && ((!ReturnUses && Op->isUse()) ||
516a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen                    (!ReturnDefs && Op->isDef()) ||
517a65aa0f0bba1ef2322d63d05c074a92168684c63Dale Johannesen                    (SkipDebug && Op->isDebug())))
518fdd6484b41ef0fa7eb8c995fb34b728b193c6258Jakob Stoklund Olesen        Op = getNextOperandForReg(Op);
51990019479f9a3868d8be90564695097a61a725438Andrew Trick
5206c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return *this;
5216c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
522c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner    defusechain_iterator operator++(int) {        // Postincrement
523c637d6f4525e417260cf2ce08643dc62283e523fChris Lattner      defusechain_iterator tmp = *this; ++*this; return tmp;
5246c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
525914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen
526914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    /// skipInstruction - move forward until reaching a different instruction.
527914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    /// Return the skipped instruction that is no longer pointed to, or NULL if
528914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    /// already pointing to end().
529914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    MachineInstr *skipInstruction() {
530914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      if (!Op) return 0;
531914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      MachineInstr *MI = Op->getParent();
532914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      do ++*this;
533914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      while (Op && Op->getParent() == MI);
534914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen      return MI;
535914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen    }
536914f2ff9e6969214d84a75745ec2851f045000f7Jakob Stoklund Olesen
53766c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen    MachineInstr *skipBundle() {
53866c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      if (!Op) return 0;
53966c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      MachineInstr *MI = getBundleStart(Op->getParent());
54066c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      do ++*this;
54166c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      while (Op && getBundleStart(Op->getParent()) == MI);
54266c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen      return MI;
54366c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen    }
54466c994c2dbd1a76418fdd0acb138aa029538ffe5Jakob Stoklund Olesen
545e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineOperand &getOperand() const {
5466c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      assert(Op && "Cannot dereference end iterator!");
5476c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner      return *Op;
5486c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner    }
54990019479f9a3868d8be90564695097a61a725438Andrew Trick
550e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    /// getOperandNo - Return the operand # of this MachineOperand in its
551e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    /// MachineInstr.
552e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    unsigned getOperandNo() const {
553e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      assert(Op && "Cannot dereference end iterator!");
554e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      return Op - &Op->getParent()->getOperand(0);
555e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    }
55690019479f9a3868d8be90564695097a61a725438Andrew Trick
557e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    // Retrieve a reference to the current operand.
558e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineInstr &operator*() const {
559e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      assert(Op && "Cannot dereference end iterator!");
560e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      return *Op->getParent();
561e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    }
56290019479f9a3868d8be90564695097a61a725438Andrew Trick
563e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    MachineInstr *operator->() const {
564e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      assert(Op && "Cannot dereference end iterator!");
565e138b3dd1ff02d826233482831318708a166ed93Chris Lattner      return Op->getParent();
566e138b3dd1ff02d826233482831318708a166ed93Chris Lattner    }
5676c5757e4e85bb190097be13c1630bb107a1fbcfeChris Lattner  };
56890019479f9a3868d8be90564695097a61a725438Andrew Trick
56984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner};
57084bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
57184bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner} // End llvm namespace
57284bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner
57384bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#endif
574