ARMBaseRegisterInfo.cpp revision ebe69fe11e48d322045d5949c83283927a0d790b
131d157ae1ac2cd9c787dc3c1d28e64c682803844Jia Liu//===-- ARMBaseRegisterInfo.cpp - ARM Register Information ----------------===//
2c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//
3c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//                     The LLVM Compiler Infrastructure
4c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//
5c140c4803dc3e10e08138670829bc0494986abe9David Goodwin// This file is distributed under the University of Illinois Open Source
6c140c4803dc3e10e08138670829bc0494986abe9David Goodwin// License. See LICENSE.TXT for details.
7c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//
8c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//===----------------------------------------------------------------------===//
9c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//
10c140c4803dc3e10e08138670829bc0494986abe9David Goodwin// This file contains the base ARM implementation of TargetRegisterInfo class.
11c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//
12c140c4803dc3e10e08138670829bc0494986abe9David Goodwin//===----------------------------------------------------------------------===//
13c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
14c1f6f42049696e7357fb4837e1b25dabbaed3fe6Craig Topper#include "ARMBaseRegisterInfo.h"
15c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "ARM.h"
16db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin#include "ARMBaseInstrInfo.h"
1716c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov#include "ARMFrameLowering.h"
18c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "ARMMachineFunctionInfo.h"
19c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "ARMSubtarget.h"
20ee04a6d3a40c3017124e3fd89a0db473a2824498Evan Cheng#include "MCTargetDesc/ARMAddressingModes.h"
21d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/BitVector.h"
22d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/SmallVector.h"
23c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/CodeGen/MachineConstantPool.h"
24c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/CodeGen/MachineFrameInfo.h"
25c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/CodeGen/MachineFunction.h"
26c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/CodeGen/MachineInstrBuilder.h"
27c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/CodeGen/MachineRegisterInfo.h"
28c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/CodeGen/RegisterScavenging.h"
29303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen#include "llvm/CodeGen/VirtRegMap.h"
300b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Constants.h"
310b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/DerivedTypes.h"
320b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Function.h"
330b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/LLVMContext.h"
343dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach#include "llvm/Support/Debug.h"
35ab7c09b6b6f4516a631fd6788918c237c83939afTorok Edwin#include "llvm/Support/ErrorHandling.h"
36dac237e18209b697a8ba122d0ddd9cad4dfba1f8Torok Edwin#include "llvm/Support/raw_ostream.h"
3716c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov#include "llvm/Target/TargetFrameLowering.h"
38c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/Target/TargetMachine.h"
39c140c4803dc3e10e08138670829bc0494986abe9David Goodwin#include "llvm/Target/TargetOptions.h"
4073f50d9bc3bd46cc0abeba9bb0d46977ba1aea42Evan Cheng
4137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines#define DEBUG_TYPE "arm-register-info"
4237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
4373f50d9bc3bd46cc0abeba9bb0d46977ba1aea42Evan Cheng#define GET_REGINFO_TARGET_DESC
44a347f85dbeee37a7f2bb68df1a7d4cdfbb7b576dEvan Cheng#include "ARMGenRegisterInfo.inc"
45c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
461b4886dd00578038c0ca70b3bab97382b89def26Evan Chengusing namespace llvm;
471b4886dd00578038c0ca70b3bab97382b89def26Evan Cheng
4857148c166ab232191098492633c924fad9c44ef3Bill WendlingARMBaseRegisterInfo::ARMBaseRegisterInfo(const ARMSubtarget &sti)
49dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    : ARMGenRegisterInfo(ARM::LR, 0, 0, ARM::PC), STI(sti), BasePtr(ARM::R6) {
50c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines  if (STI.isTargetMachO()) {
51c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines    if (STI.isTargetDarwin() || STI.isThumb1Only())
52c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines      FramePtr = ARM::R7;
53c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines    else
54c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines      FramePtr = ARM::R11;
55c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines  } else if (STI.isTargetWindows())
56dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    FramePtr = ARM::R11;
57dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  else // ARM EABI
58dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    FramePtr = STI.isThumb() ? ARM::R7 : ARM::R11;
59c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
60c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
61dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hinesconst MCPhysReg*
62c140c4803dc3e10e08138670829bc0494986abe9David GoodwinARMBaseRegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const {
63ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  const MCPhysReg *RegList =
64ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines      STI.isTargetDarwin() ? CSR_iOS_SaveList : CSR_AAPCS_SaveList;
65bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover
66bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  if (!MF) return RegList;
67bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover
68bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  const Function *F = MF->getFunction();
69bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  if (F->getCallingConv() == CallingConv::GHC) {
7062da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // GHC set of callee saved regs is empty as all those regs are
7162da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // used for passing STG regs around
7262da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    return CSR_NoRegs_SaveList;
73bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  } else if (F->hasFnAttribute("interrupt")) {
74bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    if (STI.isMClass()) {
75bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // M-class CPUs have hardware which saves the registers needed to allow a
76bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // function conforming to the AAPCS to function as a handler.
77bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      return CSR_AAPCS_SaveList;
78bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    } else if (F->getFnAttribute("interrupt").getValueAsString() == "FIQ") {
79bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // Fast interrupt mode gives the handler a private copy of R8-R14, so less
80bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // need to be saved to restore user-mode state.
81bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      return CSR_FIQ_SaveList;
82bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    } else {
83bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // Generally only R13-R14 (i.e. SP, LR) are automatically preserved by
84bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // exception handling.
85bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      return CSR_GenericInt_SaveList;
86bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    }
87bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  }
88bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover
89bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  return RegList;
903ee7d15284f188672e9e429e9e5cf7b870698677Jakob Stoklund Olesen}
91c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
923ee7d15284f188672e9e429e9e5cf7b870698677Jakob Stoklund Olesenconst uint32_t*
9362da588a2eb70166e1b6cc332d8084f03117dc12Stephen LinARMBaseRegisterInfo::getCallPreservedMask(CallingConv::ID CC) const {
9462da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  if (CC == CallingConv::GHC)
9562da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // This is academic becase all GHC calls are (supposed to be) tail calls
9662da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    return CSR_NoRegs_RegMask;
97ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  return STI.isTargetDarwin() ? CSR_iOS_RegMask : CSR_AAPCS_RegMask;
98c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
99c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
100e7bd51980a1341fb60322e5922cfcc0c9b92b165Chad Rosierconst uint32_t*
101165a7a925d73286abfc826b3d6339843b02c09e0Stephen LinARMBaseRegisterInfo::getNoPreservedMask() const {
102165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  return CSR_NoRegs_RegMask;
103456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin}
104456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin
105456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Linconst uint32_t*
10662da588a2eb70166e1b6cc332d8084f03117dc12Stephen LinARMBaseRegisterInfo::getThisReturnPreservedMask(CallingConv::ID CC) const {
107165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // This should return a register mask that is the same as that returned by
108165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // getCallPreservedMask but that additionally preserves the register used for
109165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // the first i32 argument (which must also be the register used to return a
110165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // single i32 return value)
111165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  //
112165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // In case that the calling convention does not use the same register for
11362da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  // both or otherwise does not want to enable this optimization, the function
11462da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  // should return NULL
11562da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  if (CC == CallingConv::GHC)
11662da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // This is academic becase all GHC calls are (supposed to be) tail calls
117dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    return nullptr;
118ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  return STI.isTargetDarwin() ? CSR_iOS_ThisReturn_RegMask
119ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines                              : CSR_AAPCS_ThisReturn_RegMask;
120e7bd51980a1341fb60322e5922cfcc0c9b92b165Chad Rosier}
121e7bd51980a1341fb60322e5922cfcc0c9b92b165Chad Rosier
1229631864688c593711f82bb8d21f8b724c628d786Jim GrosbachBitVector ARMBaseRegisterInfo::
1239631864688c593711f82bb8d21f8b724c628d786Jim GrosbachgetReservedRegs(const MachineFunction &MF) const {
12437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
125d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov
1267a2bdde0a0eebcd2125055e0eacaca040f0b766cChris Lattner  // FIXME: avoid re-calculating this every time.
127c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  BitVector Reserved(getNumRegs());
128c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  Reserved.set(ARM::SP);
129c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  Reserved.set(ARM::PC);
1304f92b5e6163b16d63eb63269c2aec670b55ea19aLang Hames  Reserved.set(ARM::FPSCR);
131f86e436fb95670ed110818fefa403f21ae104639Mihai Popa  Reserved.set(ARM::APSR_NZCV);
132d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov  if (TFI->hasFP(MF))
133c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    Reserved.set(FramePtr);
13465482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  if (hasBasePointer(MF))
13565482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    Reserved.set(BasePtr);
136c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  // Some targets reserve R9.
137c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  if (STI.isR9Reserved())
138c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    Reserved.set(ARM::R9);
1393b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen  // Reserve D16-D31 if the subtarget doesn't support them.
1403b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen  if (!STI.hasVFP3() || STI.hasD16()) {
1413b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen    assert(ARM::D31 == ARM::D16 + 15);
1423b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen    for (unsigned i = 0; i != 16; ++i)
1433b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen      Reserved.set(ARM::D16 + i);
1443b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen  }
145cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen  const TargetRegisterClass *RC  = &ARM::GPRPairRegClass;
146cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen  for(TargetRegisterClass::iterator I = RC->begin(), E = RC->end(); I!=E; ++I)
147cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen    for (MCSubRegIterator SI(*I, this); SI.isValid(); ++SI)
148cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen      if (Reserved.test(*SI)) Reserved.set(*I);
149cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen
150c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  return Reserved;
151c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
152c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
153c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesenconst TargetRegisterClass*
154c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund OlesenARMBaseRegisterInfo::getLargestLegalSuperClass(const TargetRegisterClass *RC)
155c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen                                                                         const {
156c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  const TargetRegisterClass *Super = RC;
157c8e2bb68bbc4a71cc10084c8f89565b9f05e12efJakob Stoklund Olesen  TargetRegisterClass::sc_iterator I = RC->getSuperClasses();
158c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  do {
159c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    switch (Super->getID()) {
160c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::GPRRegClassID:
161c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::SPRRegClassID:
162c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::DPRRegClassID:
163c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::QPRRegClassID:
164c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::QQPRRegClassID:
165c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::QQQQPRRegClassID:
166cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen    case ARM::GPRPairRegClassID:
167c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen      return Super;
168c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    }
169c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    Super = *I++;
170c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  } while (Super);
171c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  return RC;
172c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen}
173b990a2f249196ad3e0cc451d40a45fc2f9278eafEvan Cheng
1744f54c1293af174a8002db20faf7b4f82ba4e8514Evan Chengconst TargetRegisterClass *
175397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund OlesenARMBaseRegisterInfo::getPointerRegClass(const MachineFunction &MF, unsigned Kind)
176397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen                                                                         const {
177420761a0f193e87d08ee1c51b26bba23ab4bac7fCraig Topper  return &ARM::GPRRegClass;
178c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
179be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich
180342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Chengconst TargetRegisterClass *
181342e3161d9dd4fa485b47788aa0266f9c91c3832Evan ChengARMBaseRegisterInfo::getCrossCopyRegClass(const TargetRegisterClass *RC) const {
182342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng  if (RC == &ARM::CCRRegClass)
18337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return &ARM::rGPRRegClass;  // Can't copy CCR registers.
184342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng  return RC;
185342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng}
186342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng
187be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarichunsigned
188be2119e8e2bc7006cfd638a24367acbfda625d16Cameron ZwarichARMBaseRegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC,
189be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich                                         MachineFunction &MF) const {
19037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
191be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich
192be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  switch (RC->getID()) {
193be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  default:
194be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return 0;
195be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::tGPRRegClassID:
196be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return TFI->hasFP(MF) ? 4 : 5;
197be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::GPRRegClassID: {
198be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    unsigned FP = TFI->hasFP(MF) ? 1 : 0;
199be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return 10 - FP - (STI.isR9Reserved() ? 1 : 0);
200be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  }
201be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::SPRRegClassID:  // Currently not used as 'rep' register class.
202be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::DPRRegClassID:
203be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return 32 - 10;
204be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  }
205be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich}
206c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
207303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen// Get the other register in a GPRPair.
208303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesenstatic unsigned getPairedGPR(unsigned Reg, bool Odd, const MCRegisterInfo *RI) {
209303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  for (MCSuperRegIterator Supers(Reg, RI); Supers.isValid(); ++Supers)
210303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (ARM::GPRPairRegClass.contains(*Supers))
211303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      return RI->getSubReg(*Supers, Odd ? ARM::gsub_1 : ARM::gsub_0);
212303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  return 0;
213303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen}
214303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
215303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen// Resolve the RegPairEven / RegPairOdd register allocator hints.
216303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesenvoid
217303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund OlesenARMBaseRegisterInfo::getRegAllocationHints(unsigned VirtReg,
218303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           ArrayRef<MCPhysReg> Order,
219303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           SmallVectorImpl<MCPhysReg> &Hints,
220303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           const MachineFunction &MF,
221303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           const VirtRegMap *VRM) const {
222303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  const MachineRegisterInfo &MRI = MF.getRegInfo();
223303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  std::pair<unsigned, unsigned> Hint = MRI.getRegAllocationHint(VirtReg);
224303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
225303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  unsigned Odd;
226303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  switch (Hint.first) {
227303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  case ARMRI::RegPairEven:
228303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Odd = 0;
229303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    break;
230303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  case ARMRI::RegPairOdd:
231303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Odd = 1;
232303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    break;
233303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  default:
234303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    TargetRegisterInfo::getRegAllocationHints(VirtReg, Order, Hints, MF, VRM);
235303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    return;
236303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  }
237303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
238303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // This register should preferably be even (Odd == 0) or odd (Odd == 1).
239303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // Check if the other part of the pair has already been assigned, and provide
240303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // the paired register as the first hint.
241303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  unsigned PairedPhys = 0;
242303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  if (VRM && VRM->hasPhys(Hint.second)) {
243303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    PairedPhys = getPairedGPR(VRM->getPhys(Hint.second), Odd, this);
244303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (PairedPhys && MRI.isReserved(PairedPhys))
245303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      PairedPhys = 0;
246303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  }
247303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
248303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // First prefer the paired physreg.
2494fd4c91c40fa40ae4cd671b03056de8c3c961046Jim Grosbach  if (PairedPhys &&
2504fd4c91c40fa40ae4cd671b03056de8c3c961046Jim Grosbach      std::find(Order.begin(), Order.end(), PairedPhys) != Order.end())
251303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Hints.push_back(PairedPhys);
252303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
253303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // Then prefer even or odd registers.
254303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  for (unsigned I = 0, E = Order.size(); I != E; ++I) {
255303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    unsigned Reg = Order[I];
256303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (Reg == PairedPhys || (getEncodingValue(Reg) & 1) != Odd)
257303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      continue;
258303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    // Don't provide hints that are paired to a reserved register.
259303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    unsigned Paired = getPairedGPR(Reg, !Odd, this);
260303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (!Paired || MRI.isReserved(Paired))
261303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      continue;
262303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Hints.push_back(Reg);
263303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  }
264303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen}
265303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
266c140c4803dc3e10e08138670829bc0494986abe9David Goodwinvoid
267ebe69fe11e48d322045d5949c83283927a0d790bStephen HinesARMBaseRegisterInfo::updateRegAllocHint(unsigned Reg, unsigned NewReg,
268c140c4803dc3e10e08138670829bc0494986abe9David Goodwin                                        MachineFunction &MF) const {
269c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  MachineRegisterInfo *MRI = &MF.getRegInfo();
270c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  std::pair<unsigned, unsigned> Hint = MRI->getRegAllocationHint(Reg);
271c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  if ((Hint.first == (unsigned)ARMRI::RegPairOdd ||
272c140c4803dc3e10e08138670829bc0494986abe9David Goodwin       Hint.first == (unsigned)ARMRI::RegPairEven) &&
273c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen      TargetRegisterInfo::isVirtualRegister(Hint.second)) {
274c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // If 'Reg' is one of the even / odd register pair and it's now changed
275c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // (e.g. coalesced) into a different register. The other register of the
276c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // pair allocation hint must be updated to reflect the relationship
277c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // change.
278c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    unsigned OtherReg = Hint.second;
279c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    Hint = MRI->getRegAllocationHint(OtherReg);
280c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    if (Hint.second == Reg)
281c140c4803dc3e10e08138670829bc0494986abe9David Goodwin      // Make sure the pair has not already divorced.
282c140c4803dc3e10e08138670829bc0494986abe9David Goodwin      MRI->setRegAllocationHint(OtherReg, Hint.first, NewReg);
283c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  }
284c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
285f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson
286f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilsonbool
287f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob WilsonARMBaseRegisterInfo::avoidWriteAfterWrite(const TargetRegisterClass *RC) const {
288f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  // CortexA9 has a Write-after-write hazard for NEON registers.
289616471d4bfe4717fa86259ff4534703357b3b723Silviu Baranga  if (!STI.isLikeA9())
290f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    return false;
291f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson
292f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  switch (RC->getID()) {
293f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::DPRRegClassID:
294f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::DPR_8RegClassID:
295f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::DPR_VFP2RegClassID:
296f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::QPRRegClassID:
297f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::QPR_8RegClassID:
298f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::QPR_VFP2RegClassID:
299f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::SPRRegClassID:
300f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::SPR_8RegClassID:
301f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    // Avoid reusing S, D, and Q registers.
302f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    // Don't increase register pressure for QQ and QQQQ.
303f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    return true;
304f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  default:
305f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    return false;
306f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  }
307f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson}
308c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
30965482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbachbool ARMBaseRegisterInfo::hasBasePointer(const MachineFunction &MF) const {
3106a8700301ca6f8f2f5f787c8d1f5206a7dfceed6Daniel Dunbar  const MachineFrameInfo *MFI = MF.getFrameInfo();
3111755b3964f931bdd6fa9b4c0138f666ccfa12acaJim Grosbach  const ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
31237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
31365482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
3140f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // When outgoing call frames are so large that we adjust the stack pointer
3150f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // around the call, we can no longer use the stack pointer to reach the
3160f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // emergency spill slot.
317055a8127c9ffee287807fe7cc1b115d0f40162b0Bob Wilson  if (needsStackRealignment(MF) && !TFI->hasReservedCallFrame(MF))
31865482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    return true;
31965482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
32065482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // Thumb has trouble with negative offsets from the FP. Thumb2 has a limited
32165482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // negative range for ldr/str (255), and thumb1 is positive offsets only.
32265482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // It's going to be better to use the SP or Base Pointer instead. When there
32365482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // are variable sized objects, we can't reference off of the SP, so we
32465482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // reserve a Base Pointer.
32565482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  if (AFI->isThumbFunction() && MFI->hasVarSizedObjects()) {
32665482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // Conservatively estimate whether the negative offset from the frame
32765482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // pointer will be sufficient to reach. If a function has a smallish
32865482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // frame, it's less likely to have lots of spills and callee saved
32965482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // space, so it's all more likely to be within range of the frame pointer.
33065482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // If it's wrong, the scavenger will still enable access to work, it just
33165482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // won't be optimal.
33265482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    if (AFI->isThumb2Function() && MFI->getLocalFrameSize() < 128)
33365482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach      return false;
33465482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    return true;
33565482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  }
33665482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
33765482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  return false;
33865482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach}
33965482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
34065482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbachbool ARMBaseRegisterInfo::canRealignStack(const MachineFunction &MF) const {
34154f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  const MachineRegisterInfo *MRI = &MF.getRegInfo();
3426690bca623d1f6405b95db5b1760f7ba8436e3fbChad Rosier  const ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
34330c93e1cd3e43e174994834900325fcff3322288Jim Grosbach  // We can't realign the stack if:
34430c93e1cd3e43e174994834900325fcff3322288Jim Grosbach  // 1. Dynamic stack realignment is explicitly disabled,
3456690bca623d1f6405b95db5b1760f7ba8436e3fbChad Rosier  // 2. This is a Thumb1 function (it's not useful, so we don't bother), or
3466690bca623d1f6405b95db5b1760f7ba8436e3fbChad Rosier  // 3. There are VLAs in the function and the base pointer is disabled.
34761fc8d670f1e991804c2ab753e567981e60962cbBill Wendling  if (MF.getFunction()->hasFnAttribute("no-realign-stack"))
34854f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return false;
34954f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  if (AFI->isThumb1OnlyFunction())
35054f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return false;
35154f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // Stack realignment requires a frame pointer.  If we already started
35254f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // register allocation with frame pointer elimination, it is too late now.
35354f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  if (!MRI->canReserveReg(FramePtr))
35454f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return false;
355aaa1e2f820e61a2f4b878d97599b3ca093bc96edBob Wilson  // We may also need a base pointer if there are dynamic allocas or stack
356aaa1e2f820e61a2f4b878d97599b3ca093bc96edBob Wilson  // pointer adjustments around calls.
357ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  if (MF.getSubtarget().getFrameLowering()->hasReservedCallFrame(MF))
35854f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return true;
35954f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // A base pointer is required and allowed.  Check that it isn't too late to
36054f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // reserve it.
36154f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  return MRI->canReserveReg(BasePtr);
362e45ab8a0a90e4f3a59d8c38038ae3e495ee1fef3Jim Grosbach}
363e45ab8a0a90e4f3a59d8c38038ae3e495ee1fef3Jim Grosbach
3643dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbachbool ARMBaseRegisterInfo::
3653dab2778571b5bb00b35a0adcb7011dc85158bebJim GrosbachneedsStackRealignment(const MachineFunction &MF) const {
3663dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach  const MachineFrameInfo *MFI = MF.getFrameInfo();
367d4c36cec1db81b4ee48cd4ab462262615d78f22cEric Christopher  const Function *F = MF.getFunction();
368ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  unsigned StackAlign =
369ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines      MF.getSubtarget().getFrameLowering()->getStackAlignment();
370ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  bool requiresRealignment = ((MFI->getMaxAlignment() > StackAlign) ||
371ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines                              F->hasFnAttribute(Attribute::StackAlignment));
3725c33f5bf67f61e3a1addda6de735d28d550dd0ebJim Grosbach
373d4c36cec1db81b4ee48cd4ab462262615d78f22cEric Christopher  return requiresRealignment && canRealignStack(MF);
3743dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach}
3753dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach
3769631864688c593711f82bb8d21f8b724c628d786Jim Grosbachbool ARMBaseRegisterInfo::
3779631864688c593711f82bb8d21f8b724c628d786Jim GrosbachcannotEliminateFrame(const MachineFunction &MF) const {
37898a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng  const MachineFrameInfo *MFI = MF.getFrameInfo();
3798a8d479214745c82ef00f08d4e4f1c173b5f9ce2Nick Lewycky  if (MF.getTarget().Options.DisableFramePointerElim(MF) && MFI->adjustsStack())
38098a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng    return true;
38131bc849123011b8eae6bb3c79876d9a3c26a6a1dJim Grosbach  return MFI->hasVarSizedObjects() || MFI->isFrameAddressTaken()
38231bc849123011b8eae6bb3c79876d9a3c26a6a1dJim Grosbach    || needsStackRealignment(MF);
38398a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng}
38498a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng
3855c33f5bf67f61e3a1addda6de735d28d550dd0ebJim Grosbachunsigned
3863f2bf85d14759cc4b28a86805f566ac805a54d00David GreeneARMBaseRegisterInfo::getFrameRegister(const MachineFunction &MF) const {
38737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
388d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov
389d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov  if (TFI->hasFP(MF))
390c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    return FramePtr;
391c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  return ARM::SP;
392c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
393c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
394db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin/// emitLoadConstPool - Emits a load from constpool to materialize the
395db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin/// specified immediate.
396db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwinvoid ARMBaseRegisterInfo::
397db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid GoodwinemitLoadConstPool(MachineBasicBlock &MBB,
398db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin                  MachineBasicBlock::iterator &MBBI,
39977521f5232e679aa3de10aaaed2464aa91d7ff55David Goodwin                  DebugLoc dl,
400378445303b10b092a898a75131141a8259cff50bEvan Cheng                  unsigned DestReg, unsigned SubIdx, int Val,
401db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin                  ARMCC::CondCodes Pred,
4023daccd82d3151fa3629de430b55698a81084fc9eAnton Korobeynikov                  unsigned PredReg, unsigned MIFlags) const {
403db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  MachineFunction &MF = *MBB.getParent();
40437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo();
405db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  MachineConstantPool *ConstantPool = MF.getConstantPool();
40646510a73e977273ec67747eb34cbdb43f815e451Dan Gohman  const Constant *C =
4071d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson        ConstantInt::get(Type::getInt32Ty(MF.getFunction()->getContext()), Val);
408db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  unsigned Idx = ConstantPool->getConstantPoolIndex(C, 4);
409db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
410378445303b10b092a898a75131141a8259cff50bEvan Cheng  BuildMI(MBB, MBBI, dl, TII.get(ARM::LDRcp))
411378445303b10b092a898a75131141a8259cff50bEvan Cheng    .addReg(DestReg, getDefRegState(true), SubIdx)
412db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin    .addConstantPoolIndex(Idx)
4133daccd82d3151fa3629de430b55698a81084fc9eAnton Korobeynikov    .addImm(0).addImm(Pred).addReg(PredReg)
4143daccd82d3151fa3629de430b55698a81084fc9eAnton Korobeynikov    .setMIFlags(MIFlags);
415db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin}
416db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
417db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwinbool ARMBaseRegisterInfo::
418db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid GoodwinrequiresRegisterScavenging(const MachineFunction &MF) const {
419db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  return true;
420db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin}
42141fff8c19ab6d8e28f5362481c184ad628f8c704Jim Grosbach
4227e831db1d4f5dc51ca6526739cf41e59895c5c20Jim Grosbachbool ARMBaseRegisterInfo::
4236a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston GurdtrackLivenessAfterRegAlloc(const MachineFunction &MF) const {
4246a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurd  return true;
4256a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurd}
4266a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurd
4276a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurdbool ARMBaseRegisterInfo::
4287e831db1d4f5dc51ca6526739cf41e59895c5c20Jim GrosbachrequiresFrameIndexScavenging(const MachineFunction &MF) const {
429ca5dfb71ba4aa4a8392a021ec056cf0b70f74f1eJim Grosbach  return true;
4307e831db1d4f5dc51ca6526739cf41e59895c5c20Jim Grosbach}
431db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
432a273442891ae20fd8192526132e3819ea9e5eda9Jim Grosbachbool ARMBaseRegisterInfo::
433a273442891ae20fd8192526132e3819ea9e5eda9Jim GrosbachrequiresVirtualBaseRegisters(const MachineFunction &MF) const {
434c8cd8aa9d8582d2632db8fee8b2932efcdec34f1Jim Grosbach  return true;
435a273442891ae20fd8192526132e3819ea9e5eda9Jim Grosbach}
436a273442891ae20fd8192526132e3819ea9e5eda9Jim Grosbach
437e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbachint64_t ARMBaseRegisterInfo::
4381ab3f16f06698596716593a30545799688acccd7Jim GrosbachgetFrameIndexInstrOffset(const MachineInstr *MI, int Idx) const {
439e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng  const MCInstrDesc &Desc = MI->getDesc();
440e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  unsigned AddrMode = (Desc.TSFlags & ARMII::AddrModeMask);
44190f20044ade3712c8b0c3f4ebe47d57ad15ae6ceChad Rosier  int64_t InstrOffs = 0;
442e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  int Scale = 1;
443e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  unsigned ImmIdx = 0;
4441ab3f16f06698596716593a30545799688acccd7Jim Grosbach  switch (AddrMode) {
445e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrModeT2_i8:
446e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrModeT2_i12:
4473e5561247202bae994dd259a2d8dc4eff8f799f3Jim Grosbach  case ARMII::AddrMode_i12:
448e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = MI->getOperand(Idx+1).getImm();
449e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    Scale = 1;
450e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
451e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrMode5: {
452e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    // VFP address mode.
453e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    const MachineOperand &OffOp = MI->getOperand(Idx+1);
454f78ee6316bc755779920ac207edc27a89c0bd2f9Jim Grosbach    InstrOffs = ARM_AM::getAM5Offset(OffOp.getImm());
455e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    if (ARM_AM::getAM5Op(OffOp.getImm()) == ARM_AM::sub)
456e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach      InstrOffs = -InstrOffs;
457e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    Scale = 4;
458e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
459e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
460e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrMode2: {
461e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    ImmIdx = Idx+2;
462e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = ARM_AM::getAM2Offset(MI->getOperand(ImmIdx).getImm());
463e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    if (ARM_AM::getAM2Op(MI->getOperand(ImmIdx).getImm()) == ARM_AM::sub)
464e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach      InstrOffs = -InstrOffs;
465e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
466e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
467e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrMode3: {
468e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    ImmIdx = Idx+2;
469e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = ARM_AM::getAM3Offset(MI->getOperand(ImmIdx).getImm());
470e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    if (ARM_AM::getAM3Op(MI->getOperand(ImmIdx).getImm()) == ARM_AM::sub)
471e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach      InstrOffs = -InstrOffs;
472e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
473e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
474e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrModeT1_s: {
475e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    ImmIdx = Idx+1;
476e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = MI->getOperand(ImmIdx).getImm();
477e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    Scale = 4;
478e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
479e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
480e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  default:
481e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    llvm_unreachable("Unsupported addressing mode!");
482e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
483e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach
484e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  return InstrOffs * Scale;
485e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach}
486e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach
4878708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// needsFrameBaseReg - Returns true if the instruction's frame index
4888708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// reference would be better served by a base register other than FP
4898708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// or SP. Used by LocalStackFrameAllocation to determine which frame index
4908708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// references it should create new base registers for.
4918708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbachbool ARMBaseRegisterInfo::
4923197380143cdc18837722129ac888528b9fbfc2bJim GrosbachneedsFrameBaseReg(MachineInstr *MI, int64_t Offset) const {
4933197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  for (unsigned i = 0; !MI->getOperand(i).isFI(); ++i) {
4943197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    assert(i < MI->getNumOperands() &&"Instr doesn't have FrameIndex operand!");
4953197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  }
4968708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
4978708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // It's the load/store FI references that cause issues, as it can be difficult
4988708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // to materialize the offset if it won't fit in the literal field. Estimate
4998708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // based on the size of the local frame and some conservative assumptions
5008708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // about the rest of the stack frame (note, this is pre-regalloc, so
5018708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // we don't know everything for certain yet) whether this offset is likely
5028708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // to be out of range of the immediate. Return true if so.
5038708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
504cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // We only generate virtual base registers for loads and stores, so
505cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // return false for everything else.
5068708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  unsigned Opc = MI->getOpcode();
5078708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  switch (Opc) {
508cff9baa95273bc279bf5fadb9e27afbd25cca20bJakob Stoklund Olesen  case ARM::LDRi12: case ARM::LDRH: case ARM::LDRBi12:
5097e3383c007f53b3a00675af225e428cb66ddf404Jim Grosbach  case ARM::STRi12: case ARM::STRH: case ARM::STRBi12:
510cff9baa95273bc279bf5fadb9e27afbd25cca20bJakob Stoklund Olesen  case ARM::t2LDRi12: case ARM::t2LDRi8:
511cff9baa95273bc279bf5fadb9e27afbd25cca20bJakob Stoklund Olesen  case ARM::t2STRi12: case ARM::t2STRi8:
5128708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  case ARM::VLDRS: case ARM::VLDRD:
5138708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  case ARM::VSTRS: case ARM::VSTRD:
51474d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach  case ARM::tSTRspi: case ARM::tLDRspi:
515cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach    break;
5168708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  default:
5178708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach    return false;
5188708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  }
519cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach
520cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // Without a virtual base register, if the function has variable sized
521cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // objects, all fixed-size local references will be via the frame pointer,
5223197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Approximate the offset and see if it's legal for the instruction.
5233197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Note that the incoming offset is based on the SP value at function entry,
5243197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // so it'll be negative.
5253197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  MachineFunction &MF = *MI->getParent()->getParent();
52637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
5273197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  MachineFrameInfo *MFI = MF.getFrameInfo();
5283197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
5293197380143cdc18837722129ac888528b9fbfc2bJim Grosbach
5303197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Estimate an offset from the frame pointer.
5313197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Conservatively assume all callee-saved registers get pushed. R4-R6
5323197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // will be earlier than the FP, so we ignore those.
5333197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // R7, LR
5343197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  int64_t FPOffset = Offset - 8;
5353197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // ARM and Thumb2 functions also need to consider R8-R11 and D8-D15
5363197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  if (!AFI->isThumbFunction() || !AFI->isThumb1OnlyFunction())
5373197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    FPOffset -= 80;
5383197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Estimate an offset from the stack pointer.
539c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  // The incoming offset is relating to the SP at the start of the function,
540c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  // but when we access the local it'll be relative to the SP after local
541c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  // allocation, so adjust our SP-relative offset by that allocation size.
5423197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  Offset = -Offset;
543c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  Offset += MFI->getLocalFrameSize();
5443197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Assume that we'll have at least some spill slots allocated.
5453197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // FIXME: This is a total SWAG number. We should run some statistics
5463197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        and pick a real one.
5473197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  Offset += 128; // 128 bytes of spill slots
5483197380143cdc18837722129ac888528b9fbfc2bJim Grosbach
549ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  // If there's a frame pointer and the addressing mode allows it, try using it.
5503197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // The FP is only available if there is no dynamic realignment. We
5513197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // don't know for sure yet whether we'll need that, so we guess based
5523197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // on whether there are any local variables that would trigger it.
55316c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov  unsigned StackAlign = TFI->getStackAlignment();
554ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  if (TFI->hasFP(MF) &&
555ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines      (MI->getDesc().TSFlags & ARMII::AddrModeMask) != ARMII::AddrModeT1_s &&
5563197380143cdc18837722129ac888528b9fbfc2bJim Grosbach      !((MFI->getLocalFrameMaxAlign() > StackAlign) && canRealignStack(MF))) {
5573197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    if (isFrameOffsetLegal(MI, FPOffset))
5583197380143cdc18837722129ac888528b9fbfc2bJim Grosbach      return false;
5593197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  }
5603197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // If we can reference via the stack pointer, try that.
5613197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // FIXME: This (and the code that resolves the references) can be improved
5623197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        to only disallow SP relative references in the live range of
5633197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        the VLA(s). In practice, it's unclear how much difference that
5643197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        would make, but it may be worth doing.
5653197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  if (!MFI->hasVarSizedObjects() && isFrameOffsetLegal(MI, Offset))
5663197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    return false;
567cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach
5683197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // The offset likely isn't legal, we want to allocate a virtual base register.
569cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  return true;
5708708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach}
5718708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
572976ef86689ed065361a748f81c44ca3510af2202Bill Wendling/// materializeFrameBaseRegister - Insert defining instruction(s) for BaseReg to
573976ef86689ed065361a748f81c44ca3510af2202Bill Wendling/// be a pointer to FrameIdx at the beginning of the basic block.
574dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbachvoid ARMBaseRegisterInfo::
575976ef86689ed065361a748f81c44ca3510af2202Bill WendlingmaterializeFrameBaseRegister(MachineBasicBlock *MBB,
576976ef86689ed065361a748f81c44ca3510af2202Bill Wendling                             unsigned BaseReg, int FrameIdx,
577976ef86689ed065361a748f81c44ca3510af2202Bill Wendling                             int64_t Offset) const {
578976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  ARMFunctionInfo *AFI = MBB->getParent()->getInfo<ARMFunctionInfo>();
57974d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach  unsigned ADDriOpc = !AFI->isThumbFunction() ? ARM::ADDri :
58037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    (AFI->isThumb1OnlyFunction() ? ARM::tADDframe : ARM::t2ADDri);
581dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
582976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  MachineBasicBlock::iterator Ins = MBB->begin();
583976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  DebugLoc DL;                  // Defaults to "unknown"
584976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  if (Ins != MBB->end())
585976ef86689ed065361a748f81c44ca3510af2202Bill Wendling    DL = Ins->getDebugLoc();
586976ef86689ed065361a748f81c44ca3510af2202Bill Wendling
587397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen  const MachineFunction &MF = *MBB->getParent();
58857148c166ab232191098492633c924fad9c44ef3Bill Wendling  MachineRegisterInfo &MRI = MBB->getParent()->getRegInfo();
58937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo();
59057148c166ab232191098492633c924fad9c44ef3Bill Wendling  const MCInstrDesc &MCID = TII.get(ADDriOpc);
591397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen  MRI.constrainRegClass(BaseReg, TII.getRegClass(MCID, 0, this, MF));
59221803721d538255e4d223c29b6c8d3c9e93d4d86Cameron Zwarich
59337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  MachineInstrBuilder MIB = BuildMI(*MBB, Ins, DL, MCID, BaseReg)
59437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    .addFrameIndex(FrameIdx).addImm(Offset);
595976ef86689ed065361a748f81c44ca3510af2202Bill Wendling
59674d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach  if (!AFI->isThumb1OnlyFunction())
59737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    AddDefaultCC(AddDefaultPred(MIB));
598dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach}
599dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
60036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hinesvoid ARMBaseRegisterInfo::resolveFrameIndex(MachineInstr &MI, unsigned BaseReg,
60136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines                                            int64_t Offset) const {
602dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  MachineBasicBlock &MBB = *MI.getParent();
603dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  MachineFunction &MF = *MBB.getParent();
60457148c166ab232191098492633c924fad9c44ef3Bill Wendling  const ARMBaseInstrInfo &TII =
60537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines      *static_cast<const ARMBaseInstrInfo *>(MF.getSubtarget().getInstrInfo());
606dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
607dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  int Off = Offset; // ARM doesn't need the general 64-bit offsets
608dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  unsigned i = 0;
609dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
610dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  assert(!AFI->isThumb1OnlyFunction() &&
611dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach         "This resolveFrameIndex does not support Thumb1!");
612dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
613dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  while (!MI.getOperand(i).isFI()) {
614dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    ++i;
615dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
616dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  }
617dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  bool Done = false;
618dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  if (!AFI->isThumbFunction())
619dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    Done = rewriteARMFrameIndex(MI, i, BaseReg, Off, TII);
620dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  else {
621dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    assert(AFI->isThumb2Function());
622dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    Done = rewriteT2FrameIndex(MI, i, BaseReg, Off, TII);
623dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  }
624dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  assert (Done && "Unable to resolve frame index!");
6251f6a329f79b3568d379142f921f59c4143ddaa14Duncan Sands  (void)Done;
626dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach}
6278708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
628e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbachbool ARMBaseRegisterInfo::isFrameOffsetLegal(const MachineInstr *MI,
629e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach                                             int64_t Offset) const {
630e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng  const MCInstrDesc &Desc = MI->getDesc();
6312b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned AddrMode = (Desc.TSFlags & ARMII::AddrModeMask);
6322b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned i = 0;
6332b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6342b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  while (!MI->getOperand(i).isFI()) {
6352b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    ++i;
6362b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    assert(i < MI->getNumOperands() &&"Instr doesn't have FrameIndex operand!");
6372b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  }
6382b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6392b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  // AddrMode4 and AddrMode6 cannot handle any offset.
6402b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  if (AddrMode == ARMII::AddrMode4 || AddrMode == ARMII::AddrMode6)
6412b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    return Offset == 0;
6422b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6432b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned NumBits = 0;
6442b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned Scale = 1;
645e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  bool isSigned = true;
6461ab3f16f06698596716593a30545799688acccd7Jim Grosbach  switch (AddrMode) {
6472b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  case ARMII::AddrModeT2_i8:
6482b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  case ARMII::AddrModeT2_i12:
6492b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    // i8 supports only negative, and i12 supports only positive, so
6502b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    // based on Offset sign, consider the appropriate instruction
65174d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach    Scale = 1;
6522b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    if (Offset < 0) {
6532b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach      NumBits = 8;
6542b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach      Offset = -Offset;
6552b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    } else {
6562b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach      NumBits = 12;
6572b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    }
6582b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
6591ab3f16f06698596716593a30545799688acccd7Jim Grosbach  case ARMII::AddrMode5:
6602b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    // VFP address mode.
6612b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    NumBits = 8;
6622b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    Scale = 4;
6632b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
6643e5561247202bae994dd259a2d8dc4eff8f799f3Jim Grosbach  case ARMII::AddrMode_i12:
6651ab3f16f06698596716593a30545799688acccd7Jim Grosbach  case ARMII::AddrMode2:
6662b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    NumBits = 12;
6672b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
6681ab3f16f06698596716593a30545799688acccd7Jim Grosbach  case ARMII::AddrMode3:
6692b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    NumBits = 8;
6702b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
671e575499d830008784b11499dae290ad0480c8f9dBill Wendling  case ARMII::AddrModeT1_s:
672ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines    NumBits = 8;
67374d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach    Scale = 4;
674e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    isSigned = false;
67574d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach    break;
6762b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  default:
6772b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    llvm_unreachable("Unsupported addressing mode!");
6782b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  }
6792b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6801ab3f16f06698596716593a30545799688acccd7Jim Grosbach  Offset += getFrameIndexInstrOffset(MI, i);
681d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach  // Make sure the offset is encodable for instructions that scale the
682d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach  // immediate.
683d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach  if ((Offset & (Scale-1)) != 0)
684d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach    return false;
685d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach
686e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  if (isSigned && Offset < 0)
6872b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    Offset = -Offset;
6882b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6892b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned Mask = (1 << NumBits) - 1;
6902b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  if ((unsigned)Offset <= Mask * Scale)
6912b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    return true;
69274d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach
69374d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach  return false;
69474d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach}
69574d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach
696fcb4a8ead3cd8d9540d5eaa448af5d14a0ee341aJim Grosbachvoid
6976495f63945e8dbde81f03a1dc2ab421993b9a495Evan ChengARMBaseRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
698108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier                                         int SPAdj, unsigned FIOperandNum,
699108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier                                         RegScavenger *RS) const {
7005ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  MachineInstr &MI = *II;
7015ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  MachineBasicBlock &MBB = *MI.getParent();
7025ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  MachineFunction &MF = *MBB.getParent();
70357148c166ab232191098492633c924fad9c44ef3Bill Wendling  const ARMBaseInstrInfo &TII =
70437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines      *static_cast<const ARMBaseInstrInfo *>(MF.getSubtarget().getInstrInfo());
70537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const ARMFrameLowering *TFI = static_cast<const ARMFrameLowering *>(
70637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines      MF.getSubtarget().getFrameLowering());
7075ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
7086495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  assert(!AFI->isThumb1OnlyFunction() &&
709a15de00f8246f19180b26ee5fe7ff8f436e0de08Bob Wilson         "This eliminateFrameIndex does not support Thumb1!");
710108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier  int FrameIndex = MI.getOperand(FIOperandNum).getIndex();
711a37aa546224ec03ba1f1a1598e0781af4b692673Jim Grosbach  unsigned FrameReg;
7125ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin
71382f58740c76b42af8370247b23677a0318f6dde8Anton Korobeynikov  int Offset = TFI->ResolveFrameIndexReference(MF, FrameIndex, FrameReg, SPAdj);
7145ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin
7150f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // PEI::scavengeFrameVirtualRegs() cannot accurately track SPAdj because the
7160f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // call frame setup/destroy instructions have already been eliminated.  That
7170f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // means the stack pointer cannot be used to access the emergency spill slot
7180f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // when !hasReservedCallFrame().
7190f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen#ifndef NDEBUG
720dc3beb90178fc316f63790812b22201884eaa017Hal Finkel  if (RS && FrameReg == ARM::SP && RS->isScavengingFrameIndex(FrameIndex)){
7210f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen    assert(TFI->hasReservedCallFrame(MF) &&
7220f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "Cannot use SP to access the emergency spill slot in "
7230f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "functions without a reserved call frame");
7240f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen    assert(!MF.getFrameInfo()->hasVarSizedObjects() &&
7250f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "Cannot use SP to access the emergency spill slot in "
7260f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "functions with variable sized frame objects");
7270f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  }
7280f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen#endif // NDEBUG
7290f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen
7306d9dbd5526e3161db884fc4fe99c278bb59ccc19David Blaikie  assert(!MI.isDebugValue() && "DBG_VALUEs should be handled in target-independent code");
73162b50656ceb854eb0be265d63b2a1d46e7400d8aEvan Cheng
73248d8afab73d72418cf9505a020f621014920463cEvan Cheng  // Modify MI as necessary to handle as much of 'Offset' as possible
733cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng  bool Done = false;
7346495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  if (!AFI->isThumbFunction())
735108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    Done = rewriteARMFrameIndex(MI, FIOperandNum, FrameReg, Offset, TII);
7366495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  else {
7376495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng    assert(AFI->isThumb2Function());
738108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    Done = rewriteT2FrameIndex(MI, FIOperandNum, FrameReg, Offset, TII);
7396495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  }
740cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng  if (Done)
741fcb4a8ead3cd8d9540d5eaa448af5d14a0ee341aJim Grosbach    return;
7425ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin
743db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  // If we get here, the immediate doesn't fit into the instruction.  We folded
744db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  // as much as possible above, handle the rest, providing a register that is
745db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  // SP+LargeImm.
74619bb87d0f80f3e6eed38a9fa267bf2b0474aeaabDaniel Dunbar  assert((Offset ||
747a44321776ecd96fa0344335d3027758be3386e45Jim Grosbach          (MI.getDesc().TSFlags & ARMII::AddrModeMask) == ARMII::AddrMode4 ||
748a44321776ecd96fa0344335d3027758be3386e45Jim Grosbach          (MI.getDesc().TSFlags & ARMII::AddrModeMask) == ARMII::AddrMode6) &&
749cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng         "This code isn't needed if offset already handled!");
750db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
7517e831db1d4f5dc51ca6526739cf41e59895c5c20Jim Grosbach  unsigned ScratchReg = 0;
752db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  int PIdx = MI.findFirstPredOperandIdx();
753db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  ARMCC::CondCodes Pred = (PIdx == -1)
754db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin    ? ARMCC::AL : (ARMCC::CondCodes)MI.getOperand(PIdx).getImm();
755db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  unsigned PredReg = (PIdx == -1) ? 0 : MI.getOperand(PIdx+1).getReg();
756cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng  if (Offset == 0)
757a44321776ecd96fa0344335d3027758be3386e45Jim Grosbach    // Must be addrmode4/6.
758108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    MI.getOperand(FIOperandNum).ChangeToRegister(FrameReg, false, false, false);
7596495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  else {
760420761a0f193e87d08ee1c51b26bba23ab4bac7fCraig Topper    ScratchReg = MF.getRegInfo().createVirtualRegister(&ARM::GPRRegClass);
761cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng    if (!AFI->isThumbFunction())
762cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng      emitARMRegPlusImmediate(MBB, II, MI.getDebugLoc(), ScratchReg, FrameReg,
763cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng                              Offset, Pred, PredReg, TII);
764cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng    else {
765cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng      assert(AFI->isThumb2Function());
766cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng      emitT2RegPlusImmediate(MBB, II, MI.getDebugLoc(), ScratchReg, FrameReg,
767cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng                             Offset, Pred, PredReg, TII);
768cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng    }
769cde31293d45f14ddff482d385429d256bd4e0820Jim Grosbach    // Update the original instruction to use the scratch register.
770108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    MI.getOperand(FIOperandNum).ChangeToRegister(ScratchReg, false, false,true);
7716495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  }
772db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin}
77337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
77437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hinesbool ARMBaseRegisterInfo::shouldCoalesce(MachineInstr *MI,
77537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  const TargetRegisterClass *SrcRC,
77637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  unsigned SubReg,
77737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  const TargetRegisterClass *DstRC,
77837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  unsigned DstSubReg,
77937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  const TargetRegisterClass *NewRC) const {
78037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto MBB = MI->getParent();
78137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto MF = MBB->getParent();
78237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const MachineRegisterInfo &MRI = MF->getRegInfo();
78337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // If not copying into a sub-register this should be ok because we shouldn't
78437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // need to split the reg.
78537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (!DstSubReg)
78637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
78737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // Small registers don't frequently cause a problem, so we can coalesce them.
78837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (NewRC->getSize() < 32 && DstRC->getSize() < 32 && SrcRC->getSize() < 32)
78937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
79037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
79137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto NewRCWeight =
79237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines              MRI.getTargetRegisterInfo()->getRegClassWeight(NewRC);
79337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto SrcRCWeight =
79437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines              MRI.getTargetRegisterInfo()->getRegClassWeight(SrcRC);
79537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto DstRCWeight =
79637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines              MRI.getTargetRegisterInfo()->getRegClassWeight(DstRC);
79737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // If the source register class is more expensive than the destination, the
79837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // coalescing is probably profitable.
79937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (SrcRCWeight.RegWeight > NewRCWeight.RegWeight)
80037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
80137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (DstRCWeight.RegWeight > NewRCWeight.RegWeight)
80237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
80337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
80437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // If the register allocator isn't constrained, we can always allow coalescing
80537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // unfortunately we don't know yet if we will be constrained.
80637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // The goal of this heuristic is to restrict how many expensive registers
80737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // we allow to coalesce in a given basic block.
80837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto AFI = MF->getInfo<ARMFunctionInfo>();
80937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto It = AFI->getCoalescedWeight(MBB);
81037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
81137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  DEBUG(dbgs() << "\tARM::shouldCoalesce - Coalesced Weight: "
81237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    << It->second << "\n");
81337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  DEBUG(dbgs() << "\tARM::shouldCoalesce - Reg Weight: "
81437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    << NewRCWeight.RegWeight << "\n");
81537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
81637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // This number is the largest round number that which meets the criteria:
81737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  //  (1) addresses PR18825
81837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  //  (2) generates better code in some test cases (like vldm-shed-a9.ll)
81937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  //  (3) Doesn't regress any test cases (in-tree, test-suite, and SPEC)
82037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // In practice the SizeMultiplier will only factor in for straight line code
82137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // that uses a lot of NEON vectors, which isn't terribly common.
82237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  unsigned SizeMultiplier = MBB->size()/100;
82337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  SizeMultiplier = SizeMultiplier ? SizeMultiplier : 1;
82437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (It->second < NewRCWeight.WeightLimit * SizeMultiplier) {
82537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    It->second += NewRCWeight.RegWeight;
82637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
82737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  }
82837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  return false;
82937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines}
830