lib/Target/ARM/ARMBaseRegisterInfo.h

   1 //===- ARMBaseRegisterInfo.h - ARM Register Information Impl ----*- 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 // This file contains the base ARM implementation of TargetRegisterInfo class.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #ifndef ARMBASEREGISTERINFO_H
  15 #define ARMBASEREGISTERINFO_H
  16
  17 #include "ARM.h"
  18 #include "llvm/Target/TargetRegisterInfo.h"
  19
  20 #define GET_REGINFO_HEADER
  21 #include "ARMGenRegisterInfo.inc"
  22
  23 namespace llvm {
  24   class ARMSubtarget;
  25   class ARMBaseInstrInfo;
  26   class Type;
  27
  28 /// Register allocation hints.
  29 namespace ARMRI {
  30   enum {
  31     RegPairOdd  = 1,
  32     RegPairEven = 2
  33   };
  34 }
  35
  36 /// isARMArea1Register - Returns true if the register is a low register (r0-r7)
  37 /// or a stack/pc register that we should push/pop.
  38 static inline bool isARMArea1Register(unsigned Reg, bool isDarwin) {
  39   using namespace ARM;
  40   switch (Reg) {
  41     case R0:  case R1:  case R2:  case R3:
  42     case R4:  case R5:  case R6:  case R7:
  43     case LR:  case SP:  case PC:
  44       return true;
  45     case R8:  case R9:  case R10: case R11:
  46       // For darwin we want r7 and lr to be next to each other.
  47       return !isDarwin;
  48     default:
  49       return false;
  50   }
  51 }
  52
  53 static inline bool isARMArea2Register(unsigned Reg, bool isDarwin) {
  54   using namespace ARM;
  55   switch (Reg) {
  56     case R8: case R9: case R10: case R11:
  57       // Darwin has this second area.
  58       return isDarwin;
  59     default:
  60       return false;
  61   }
  62 }
  63
  64 static inline bool isARMArea3Register(unsigned Reg, bool isDarwin) {
  65   using namespace ARM;
  66   switch (Reg) {
  67     case D15: case D14: case D13: case D12:
  68     case D11: case D10: case D9:  case D8:
  69       return true;
  70     default:
  71       return false;
  72   }
  73 }
  74
  75 class ARMBaseRegisterInfo : public ARMGenRegisterInfo {
  76 protected:
  77   const ARMBaseInstrInfo &TII;
  78   const ARMSubtarget &STI;
  79
  80   /// FramePtr - ARM physical register used as frame ptr.
  81   unsigned FramePtr;
  82
  83   /// BasePtr - ARM physical register used as a base ptr in complex stack
  84   /// frames. I.e., when we need a 3rd base, not just SP and FP, due to
  85   /// variable size stack objects.
  86   unsigned BasePtr;
  87
  88   // Can be only subclassed.
  89   explicit ARMBaseRegisterInfo(const ARMBaseInstrInfo &tii,
  90                                const ARMSubtarget &STI);
  91
  92   // Return the opcode that implements 'Op', or 0 if no opcode
  93   unsigned getOpcode(int Op) const;
  94
  95 public:
  96   /// Code Generation virtual methods...
  97   const unsigned *getCalleeSavedRegs(const MachineFunction *MF = 0) const;
  98
  99   BitVector getReservedRegs(const MachineFunction &MF) const;
 100
 101   /// getMatchingSuperRegClass - Return a subclass of the specified register
 102   /// class A so that each register in it has a sub-register of the
 103   /// specified sub-register index which is in the specified register class B.
 104   virtual const TargetRegisterClass *
 105   getMatchingSuperRegClass(const TargetRegisterClass *A,
 106                            const TargetRegisterClass *B, unsigned Idx) const;
 107
 108   /// canCombineSubRegIndices - Given a register class and a list of
 109   /// subregister indices, return true if it's possible to combine the
 110   /// subregister indices into one that corresponds to a larger
 111   /// subregister. Return the new subregister index by reference. Note the
 112   /// new index may be zero if the given subregisters can be combined to
 113   /// form the whole register.
 114   virtual bool canCombineSubRegIndices(const TargetRegisterClass *RC,
 115                                        SmallVectorImpl<unsigned> &SubIndices,
 116                                        unsigned &NewSubIdx) const;
 117
 118   const TargetRegisterClass *getPointerRegClass(unsigned Kind = 0) const;
 119   const TargetRegisterClass*
 120   getCrossCopyRegClass(const TargetRegisterClass *RC) const;
 121
 122   const TargetRegisterClass*
 123   getLargestLegalSuperClass(const TargetRegisterClass *RC) const;
 124
 125   unsigned getRegPressureLimit(const TargetRegisterClass *RC,
 126                                MachineFunction &MF) const;
 127
 128   ArrayRef<unsigned> getRawAllocationOrder(const TargetRegisterClass *RC,
 129                                            unsigned HintType, unsigned HintReg,
 130                                            const MachineFunction &MF) const;
 131
 132   unsigned ResolveRegAllocHint(unsigned Type, unsigned Reg,
 133                                const MachineFunction &MF) const;
 134
 135   void UpdateRegAllocHint(unsigned Reg, unsigned NewReg,
 136                           MachineFunction &MF) const;
 137
 138   virtual bool avoidWriteAfterWrite(const TargetRegisterClass *RC) const;
 139
 140   bool hasBasePointer(const MachineFunction &MF) const;
 141
 142   bool canRealignStack(const MachineFunction &MF) const;
 143   bool needsStackRealignment(const MachineFunction &MF) const;
 144   int64_t getFrameIndexInstrOffset(const MachineInstr *MI, int Idx) const;
 145   bool needsFrameBaseReg(MachineInstr *MI, int64_t Offset) const;
 146   void materializeFrameBaseRegister(MachineBasicBlock *MBB,
 147                                     unsigned BaseReg, int FrameIdx,
 148                                     int64_t Offset) const;
 149   void resolveFrameIndex(MachineBasicBlock::iterator I,
 150                          unsigned BaseReg, int64_t Offset) const;
 151   bool isFrameOffsetLegal(const MachineInstr *MI, int64_t Offset) const;
 152
 153   bool cannotEliminateFrame(const MachineFunction &MF) const;
 154
 155   // Debug information queries.
 156   unsigned getFrameRegister(const MachineFunction &MF) const;
 157   unsigned getBaseRegister() const { return BasePtr; }
 158
 159   // Exception handling queries.
 160   unsigned getEHExceptionRegister() const;
 161   unsigned getEHHandlerRegister() const;
 162
 163   bool isLowRegister(unsigned Reg) const;
 164
 165
 166   /// emitLoadConstPool - Emits a load from constpool to materialize the
 167   /// specified immediate.
 168   virtual void emitLoadConstPool(MachineBasicBlock &MBB,
 169                                  MachineBasicBlock::iterator &MBBI,
 170                                  DebugLoc dl,
 171                                  unsigned DestReg, unsigned SubIdx,
 172                                  int Val,
 173                                  ARMCC::CondCodes Pred = ARMCC::AL,
 174                                  unsigned PredReg = 0,
 175                                  unsigned MIFlags = MachineInstr::NoFlags)const;
 176
 177   /// Code Generation virtual methods...
 178   virtual bool isReservedReg(const MachineFunction &MF, unsigned Reg) const;
 179
 180   virtual bool requiresRegisterScavenging(const MachineFunction &MF) const;
 181
 182   virtual bool requiresFrameIndexScavenging(const MachineFunction &MF) const;
 183
 184   virtual bool requiresVirtualBaseRegisters(const MachineFunction &MF) const;
 185
 186   virtual void eliminateCallFramePseudoInstr(MachineFunction &MF,
 187                                            MachineBasicBlock &MBB,
 188                                            MachineBasicBlock::iterator I) const;
 189
 190   virtual void eliminateFrameIndex(MachineBasicBlock::iterator II,
 191                                    int SPAdj, RegScavenger *RS = NULL) const;
 192
 193 private:
 194   unsigned getRegisterPairEven(unsigned Reg, const MachineFunction &MF) const;
 195
 196   unsigned getRegisterPairOdd(unsigned Reg, const MachineFunction &MF) const;
 197 };
 198
 199 } // end namespace llvm
 200
 201 #endif