]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - contrib/llvm/include/llvm/CodeGen/LiveRegUnits.h
Merge lldb trunk r300422 and resolve conflicts.
[FreeBSD/FreeBSD.git] / contrib / llvm / include / llvm / CodeGen / LiveRegUnits.h
1 //===- llvm/CodeGen/LiveRegUnits.h - Register Unit Set ----------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 /// \file
11 /// A set of register units. It is intended for register liveness tracking.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_CODEGEN_LIVEREGUNITS_H
16 #define LLVM_CODEGEN_LIVEREGUNITS_H
17
18 #include "llvm/ADT/BitVector.h"
19 #include "llvm/Target/TargetRegisterInfo.h"
20 #include "llvm/MC/LaneBitmask.h"
21 #include "llvm/MC/MCRegisterInfo.h"
22 #include <cstdint>
23
24 namespace llvm {
25
26 class MachineInstr;
27 class MachineBasicBlock;
28
29 /// A set of register units used to track register liveness.
30 class LiveRegUnits {
31   const TargetRegisterInfo *TRI = nullptr;
32   BitVector Units;
33
34 public:
35   /// Constructs a new empty LiveRegUnits set.
36   LiveRegUnits() = default;
37
38   /// Constructs and initialize an empty LiveRegUnits set.
39   LiveRegUnits(const TargetRegisterInfo &TRI) {
40     init(TRI);
41   }
42
43   /// Initialize and clear the set.
44   void init(const TargetRegisterInfo &TRI) {
45     this->TRI = &TRI;
46     Units.reset();
47     Units.resize(TRI.getNumRegUnits());
48   }
49
50   /// Clears the set.
51   void clear() { Units.reset(); }
52
53   /// Returns true if the set is empty.
54   bool empty() const { return Units.empty(); }
55
56   /// Adds register units covered by physical register \p Reg.
57   void addReg(unsigned Reg) {
58     for (MCRegUnitIterator Unit(Reg, TRI); Unit.isValid(); ++Unit)
59       Units.set(*Unit);
60   }
61
62   /// \brief Adds register units covered by physical register \p Reg that are
63   /// part of the lanemask \p Mask.
64   void addRegMasked(unsigned Reg, LaneBitmask Mask) {
65     for (MCRegUnitMaskIterator Unit(Reg, TRI); Unit.isValid(); ++Unit) {
66       LaneBitmask UnitMask = (*Unit).second;
67       if (UnitMask.none() || (UnitMask & Mask).any())
68         Units.set((*Unit).first);
69     }
70   }
71
72   /// Removes all register units covered by physical register \p Reg.
73   void removeReg(unsigned Reg) {
74     for (MCRegUnitIterator Unit(Reg, TRI); Unit.isValid(); ++Unit)
75       Units.reset(*Unit);
76   }
77
78   /// Removes register units not preserved by the regmask \p RegMask.
79   /// The regmask has the same format as the one in the RegMask machine operand.
80   void removeRegsNotPreserved(const uint32_t *RegMask);
81
82   /// Adds register units not preserved by the regmask \p RegMask.
83   /// The regmask has the same format as the one in the RegMask machine operand.
84   void addRegsInMask(const uint32_t *RegMask);
85
86   /// Returns true if no part of physical register \p Reg is live.
87   bool available(unsigned Reg) const {
88     for (MCRegUnitIterator Unit(Reg, TRI); Unit.isValid(); ++Unit) {
89       if (Units.test(*Unit))
90         return false;
91     }
92     return true;
93   }
94
95   /// Updates liveness when stepping backwards over the instruction \p MI.
96   void stepBackward(const MachineInstr &MI);
97
98   /// Mark all register units live during instruction \p MI.
99   /// This can be used to accumulate live/unoccupied registers over a range of
100   /// instructions.
101   void accumulateBackward(const MachineInstr &MI);
102
103   /// Adds registers living out of block \p MBB.
104   /// Live out registers are the union of the live-in registers of the successor
105   /// blocks and pristine registers. Live out registers of the end block are the
106   /// callee saved registers.
107   void addLiveOuts(const MachineBasicBlock &MBB);
108
109   /// Adds registers living into block \p MBB.
110   void addLiveIns(const MachineBasicBlock &MBB);
111
112   /// Adds all register units marked in the bitvector \p RegUnits.
113   void addUnits(const BitVector &RegUnits) {
114     Units |= RegUnits;
115   }
116   /// Removes all register units marked in the bitvector \p RegUnits.
117   void removeUnits(const BitVector &RegUnits) {
118     Units.reset(RegUnits);
119   }
120   /// Return the internal bitvector representation of the set.
121   const BitVector &getBitVector() const {
122     return Units;
123   }
124 };
125
126 } // end namespace llvm
127
128 #endif // LLVM_CODEGEN_LIVEREGUNITS_H