ARMBaseRegisterInfo.cpp revision 37ed9c199ca639565f6ce88105f9e39e898d82d0
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 {
63dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  const MCPhysReg *RegList = (STI.isTargetIOS() && !STI.isAAPCS_ABI())
64bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover                                ? CSR_iOS_SaveList
65bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover                                : CSR_AAPCS_SaveList;
66bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover
67bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  if (!MF) return RegList;
68bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover
69bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  const Function *F = MF->getFunction();
70bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  if (F->getCallingConv() == CallingConv::GHC) {
7162da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // GHC set of callee saved regs is empty as all those regs are
7262da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // used for passing STG regs around
7362da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    return CSR_NoRegs_SaveList;
74bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  } else if (F->hasFnAttribute("interrupt")) {
75bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    if (STI.isMClass()) {
76bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // M-class CPUs have hardware which saves the registers needed to allow a
77bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // function conforming to the AAPCS to function as a handler.
78bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      return CSR_AAPCS_SaveList;
79bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    } else if (F->getFnAttribute("interrupt").getValueAsString() == "FIQ") {
80bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // Fast interrupt mode gives the handler a private copy of R8-R14, so less
81bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // need to be saved to restore user-mode state.
82bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      return CSR_FIQ_SaveList;
83bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    } else {
84bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // Generally only R13-R14 (i.e. SP, LR) are automatically preserved by
85bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      // exception handling.
86bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover      return CSR_GenericInt_SaveList;
87bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover    }
88bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  }
89bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover
90bba9390fc6c0d536172c6bb4a9c93db557c1aff4Tim Northover  return RegList;
913ee7d15284f188672e9e429e9e5cf7b870698677Jakob Stoklund Olesen}
92c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
933ee7d15284f188672e9e429e9e5cf7b870698677Jakob Stoklund Olesenconst uint32_t*
9462da588a2eb70166e1b6cc332d8084f03117dc12Stephen LinARMBaseRegisterInfo::getCallPreservedMask(CallingConv::ID CC) const {
9562da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  if (CC == CallingConv::GHC)
9662da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // This is academic becase all GHC calls are (supposed to be) tail calls
9762da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    return CSR_NoRegs_RegMask;
98afb3b5ebe61b480527de86311d2a0770fc857d38Evan Cheng  return (STI.isTargetIOS() && !STI.isAAPCS_ABI())
99afb3b5ebe61b480527de86311d2a0770fc857d38Evan Cheng    ? CSR_iOS_RegMask : CSR_AAPCS_RegMask;
100c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
101c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
102e7bd51980a1341fb60322e5922cfcc0c9b92b165Chad Rosierconst uint32_t*
103165a7a925d73286abfc826b3d6339843b02c09e0Stephen LinARMBaseRegisterInfo::getNoPreservedMask() const {
104165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  return CSR_NoRegs_RegMask;
105456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin}
106456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin
107456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Linconst uint32_t*
10862da588a2eb70166e1b6cc332d8084f03117dc12Stephen LinARMBaseRegisterInfo::getThisReturnPreservedMask(CallingConv::ID CC) const {
109165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // This should return a register mask that is the same as that returned by
110165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // getCallPreservedMask but that additionally preserves the register used for
111165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // the first i32 argument (which must also be the register used to return a
112165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // single i32 return value)
113165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  //
114165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  // In case that the calling convention does not use the same register for
11562da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  // both or otherwise does not want to enable this optimization, the function
11662da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  // should return NULL
11762da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin  if (CC == CallingConv::GHC)
11862da588a2eb70166e1b6cc332d8084f03117dc12Stephen Lin    // This is academic becase all GHC calls are (supposed to be) tail calls
119dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    return nullptr;
120165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin  return (STI.isTargetIOS() && !STI.isAAPCS_ABI())
121165a7a925d73286abfc826b3d6339843b02c09e0Stephen Lin    ? CSR_iOS_ThisReturn_RegMask : CSR_AAPCS_ThisReturn_RegMask;
122e7bd51980a1341fb60322e5922cfcc0c9b92b165Chad Rosier}
123e7bd51980a1341fb60322e5922cfcc0c9b92b165Chad Rosier
1249631864688c593711f82bb8d21f8b724c628d786Jim GrosbachBitVector ARMBaseRegisterInfo::
1259631864688c593711f82bb8d21f8b724c628d786Jim GrosbachgetReservedRegs(const MachineFunction &MF) const {
12637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
127d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov
1287a2bdde0a0eebcd2125055e0eacaca040f0b766cChris Lattner  // FIXME: avoid re-calculating this every time.
129c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  BitVector Reserved(getNumRegs());
130c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  Reserved.set(ARM::SP);
131c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  Reserved.set(ARM::PC);
1324f92b5e6163b16d63eb63269c2aec670b55ea19aLang Hames  Reserved.set(ARM::FPSCR);
133f86e436fb95670ed110818fefa403f21ae104639Mihai Popa  Reserved.set(ARM::APSR_NZCV);
134d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov  if (TFI->hasFP(MF))
135c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    Reserved.set(FramePtr);
13665482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  if (hasBasePointer(MF))
13765482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    Reserved.set(BasePtr);
138c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  // Some targets reserve R9.
139c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  if (STI.isR9Reserved())
140c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    Reserved.set(ARM::R9);
1413b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen  // Reserve D16-D31 if the subtarget doesn't support them.
1423b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen  if (!STI.hasVFP3() || STI.hasD16()) {
1433b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen    assert(ARM::D31 == ARM::D16 + 15);
1443b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen    for (unsigned i = 0; i != 16; ++i)
1453b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen      Reserved.set(ARM::D16 + i);
1463b6434e360315849a65b1ac85e16d160131a77a4Jakob Stoklund Olesen  }
147cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen  const TargetRegisterClass *RC  = &ARM::GPRPairRegClass;
148cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen  for(TargetRegisterClass::iterator I = RC->begin(), E = RC->end(); I!=E; ++I)
149cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen    for (MCSubRegIterator SI(*I, this); SI.isValid(); ++SI)
150cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen      if (Reserved.test(*SI)) Reserved.set(*I);
151cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen
152c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  return Reserved;
153c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
154c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
155c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesenconst TargetRegisterClass*
156c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund OlesenARMBaseRegisterInfo::getLargestLegalSuperClass(const TargetRegisterClass *RC)
157c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen                                                                         const {
158c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  const TargetRegisterClass *Super = RC;
159c8e2bb68bbc4a71cc10084c8f89565b9f05e12efJakob Stoklund Olesen  TargetRegisterClass::sc_iterator I = RC->getSuperClasses();
160c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  do {
161c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    switch (Super->getID()) {
162c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::GPRRegClassID:
163c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::SPRRegClassID:
164c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::DPRRegClassID:
165c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::QPRRegClassID:
166c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::QQPRRegClassID:
167c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    case ARM::QQQQPRRegClassID:
168cd275f5687799e63956beabe35fc1718dc022f70Jakob Stoklund Olesen    case ARM::GPRPairRegClassID:
169c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen      return Super;
170c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    }
171c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen    Super = *I++;
172c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  } while (Super);
173c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen  return RC;
174c9e5015dece0a1a73bec358e11bc87594831279dJakob Stoklund Olesen}
175b990a2f249196ad3e0cc451d40a45fc2f9278eafEvan Cheng
1764f54c1293af174a8002db20faf7b4f82ba4e8514Evan Chengconst TargetRegisterClass *
177397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund OlesenARMBaseRegisterInfo::getPointerRegClass(const MachineFunction &MF, unsigned Kind)
178397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen                                                                         const {
179420761a0f193e87d08ee1c51b26bba23ab4bac7fCraig Topper  return &ARM::GPRRegClass;
180c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
181be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich
182342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Chengconst TargetRegisterClass *
183342e3161d9dd4fa485b47788aa0266f9c91c3832Evan ChengARMBaseRegisterInfo::getCrossCopyRegClass(const TargetRegisterClass *RC) const {
184342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng  if (RC == &ARM::CCRRegClass)
18537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return &ARM::rGPRRegClass;  // Can't copy CCR registers.
186342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng  return RC;
187342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng}
188342e3161d9dd4fa485b47788aa0266f9c91c3832Evan Cheng
189be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarichunsigned
190be2119e8e2bc7006cfd638a24367acbfda625d16Cameron ZwarichARMBaseRegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC,
191be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich                                         MachineFunction &MF) const {
19237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
193be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich
194be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  switch (RC->getID()) {
195be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  default:
196be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return 0;
197be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::tGPRRegClassID:
198be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return TFI->hasFP(MF) ? 4 : 5;
199be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::GPRRegClassID: {
200be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    unsigned FP = TFI->hasFP(MF) ? 1 : 0;
201be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return 10 - FP - (STI.isR9Reserved() ? 1 : 0);
202be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  }
203be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::SPRRegClassID:  // Currently not used as 'rep' register class.
204be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  case ARM::DPRRegClassID:
205be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich    return 32 - 10;
206be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich  }
207be2119e8e2bc7006cfd638a24367acbfda625d16Cameron Zwarich}
208c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
209303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen// Get the other register in a GPRPair.
210303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesenstatic unsigned getPairedGPR(unsigned Reg, bool Odd, const MCRegisterInfo *RI) {
211303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  for (MCSuperRegIterator Supers(Reg, RI); Supers.isValid(); ++Supers)
212303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (ARM::GPRPairRegClass.contains(*Supers))
213303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      return RI->getSubReg(*Supers, Odd ? ARM::gsub_1 : ARM::gsub_0);
214303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  return 0;
215303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen}
216303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
217303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen// Resolve the RegPairEven / RegPairOdd register allocator hints.
218303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesenvoid
219303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund OlesenARMBaseRegisterInfo::getRegAllocationHints(unsigned VirtReg,
220303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           ArrayRef<MCPhysReg> Order,
221303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           SmallVectorImpl<MCPhysReg> &Hints,
222303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           const MachineFunction &MF,
223303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen                                           const VirtRegMap *VRM) const {
224303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  const MachineRegisterInfo &MRI = MF.getRegInfo();
225303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  std::pair<unsigned, unsigned> Hint = MRI.getRegAllocationHint(VirtReg);
226303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
227303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  unsigned Odd;
228303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  switch (Hint.first) {
229303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  case ARMRI::RegPairEven:
230303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Odd = 0;
231303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    break;
232303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  case ARMRI::RegPairOdd:
233303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Odd = 1;
234303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    break;
235303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  default:
236303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    TargetRegisterInfo::getRegAllocationHints(VirtReg, Order, Hints, MF, VRM);
237303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    return;
238303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  }
239303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
240303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // This register should preferably be even (Odd == 0) or odd (Odd == 1).
241303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // Check if the other part of the pair has already been assigned, and provide
242303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // the paired register as the first hint.
243303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  unsigned PairedPhys = 0;
244303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  if (VRM && VRM->hasPhys(Hint.second)) {
245303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    PairedPhys = getPairedGPR(VRM->getPhys(Hint.second), Odd, this);
246303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (PairedPhys && MRI.isReserved(PairedPhys))
247303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      PairedPhys = 0;
248303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  }
249303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
250303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // First prefer the paired physreg.
2514fd4c91c40fa40ae4cd671b03056de8c3c961046Jim Grosbach  if (PairedPhys &&
2524fd4c91c40fa40ae4cd671b03056de8c3c961046Jim Grosbach      std::find(Order.begin(), Order.end(), PairedPhys) != Order.end())
253303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Hints.push_back(PairedPhys);
254303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
255303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  // Then prefer even or odd registers.
256303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  for (unsigned I = 0, E = Order.size(); I != E; ++I) {
257303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    unsigned Reg = Order[I];
258303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (Reg == PairedPhys || (getEncodingValue(Reg) & 1) != Odd)
259303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      continue;
260303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    // Don't provide hints that are paired to a reserved register.
261303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    unsigned Paired = getPairedGPR(Reg, !Odd, this);
262303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    if (!Paired || MRI.isReserved(Paired))
263303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen      continue;
264303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen    Hints.push_back(Reg);
265303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen  }
266303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen}
267303da1baf2a90d18a709f29f4f7cd0e1962be5f9Jakob Stoklund Olesen
268c140c4803dc3e10e08138670829bc0494986abe9David Goodwinvoid
269c140c4803dc3e10e08138670829bc0494986abe9David GoodwinARMBaseRegisterInfo::UpdateRegAllocHint(unsigned Reg, unsigned NewReg,
270c140c4803dc3e10e08138670829bc0494986abe9David Goodwin                                        MachineFunction &MF) const {
271c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  MachineRegisterInfo *MRI = &MF.getRegInfo();
272c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  std::pair<unsigned, unsigned> Hint = MRI->getRegAllocationHint(Reg);
273c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  if ((Hint.first == (unsigned)ARMRI::RegPairOdd ||
274c140c4803dc3e10e08138670829bc0494986abe9David Goodwin       Hint.first == (unsigned)ARMRI::RegPairEven) &&
275c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen      TargetRegisterInfo::isVirtualRegister(Hint.second)) {
276c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // If 'Reg' is one of the even / odd register pair and it's now changed
277c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // (e.g. coalesced) into a different register. The other register of the
278c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // pair allocation hint must be updated to reflect the relationship
279c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    // change.
280c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    unsigned OtherReg = Hint.second;
281c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    Hint = MRI->getRegAllocationHint(OtherReg);
282c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    if (Hint.second == Reg)
283c140c4803dc3e10e08138670829bc0494986abe9David Goodwin      // Make sure the pair has not already divorced.
284c140c4803dc3e10e08138670829bc0494986abe9David Goodwin      MRI->setRegAllocationHint(OtherReg, Hint.first, NewReg);
285c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  }
286c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
287f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson
288f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilsonbool
289f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob WilsonARMBaseRegisterInfo::avoidWriteAfterWrite(const TargetRegisterClass *RC) const {
290f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  // CortexA9 has a Write-after-write hazard for NEON registers.
291616471d4bfe4717fa86259ff4534703357b3b723Silviu Baranga  if (!STI.isLikeA9())
292f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    return false;
293f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson
294f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  switch (RC->getID()) {
295f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::DPRRegClassID:
296f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::DPR_8RegClassID:
297f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::DPR_VFP2RegClassID:
298f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::QPRRegClassID:
299f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::QPR_8RegClassID:
300f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::QPR_VFP2RegClassID:
301f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::SPRRegClassID:
302f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  case ARM::SPR_8RegClassID:
303f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    // Avoid reusing S, D, and Q registers.
304f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    // Don't increase register pressure for QQ and QQQQ.
305f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    return true;
306f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  default:
307f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson    return false;
308f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson  }
309f6a4d3c2f3e1029af252a0f6999edfa3c2f326eeBob Wilson}
310c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
31165482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbachbool ARMBaseRegisterInfo::hasBasePointer(const MachineFunction &MF) const {
3126a8700301ca6f8f2f5f787c8d1f5206a7dfceed6Daniel Dunbar  const MachineFrameInfo *MFI = MF.getFrameInfo();
3131755b3964f931bdd6fa9b4c0138f666ccfa12acaJim Grosbach  const ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
31437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
31565482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
3160f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // When outgoing call frames are so large that we adjust the stack pointer
3170f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // around the call, we can no longer use the stack pointer to reach the
3180f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // emergency spill slot.
319055a8127c9ffee287807fe7cc1b115d0f40162b0Bob Wilson  if (needsStackRealignment(MF) && !TFI->hasReservedCallFrame(MF))
32065482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    return true;
32165482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
32265482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // Thumb has trouble with negative offsets from the FP. Thumb2 has a limited
32365482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // negative range for ldr/str (255), and thumb1 is positive offsets only.
32465482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // It's going to be better to use the SP or Base Pointer instead. When there
32565482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // are variable sized objects, we can't reference off of the SP, so we
32665482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  // reserve a Base Pointer.
32765482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  if (AFI->isThumbFunction() && MFI->hasVarSizedObjects()) {
32865482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // Conservatively estimate whether the negative offset from the frame
32965482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // pointer will be sufficient to reach. If a function has a smallish
33065482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // frame, it's less likely to have lots of spills and callee saved
33165482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // space, so it's all more likely to be within range of the frame pointer.
33265482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // If it's wrong, the scavenger will still enable access to work, it just
33365482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    // won't be optimal.
33465482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    if (AFI->isThumb2Function() && MFI->getLocalFrameSize() < 128)
33565482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach      return false;
33665482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach    return true;
33765482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  }
33865482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
33965482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach  return false;
34065482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach}
34165482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbach
34265482b1bb873dd820f54a24a2f34bd65f2669e5cJim Grosbachbool ARMBaseRegisterInfo::canRealignStack(const MachineFunction &MF) const {
34354f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  const MachineRegisterInfo *MRI = &MF.getRegInfo();
3446690bca623d1f6405b95db5b1760f7ba8436e3fbChad Rosier  const ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
34530c93e1cd3e43e174994834900325fcff3322288Jim Grosbach  // We can't realign the stack if:
34630c93e1cd3e43e174994834900325fcff3322288Jim Grosbach  // 1. Dynamic stack realignment is explicitly disabled,
3476690bca623d1f6405b95db5b1760f7ba8436e3fbChad Rosier  // 2. This is a Thumb1 function (it's not useful, so we don't bother), or
3486690bca623d1f6405b95db5b1760f7ba8436e3fbChad Rosier  // 3. There are VLAs in the function and the base pointer is disabled.
34961fc8d670f1e991804c2ab753e567981e60962cbBill Wendling  if (MF.getFunction()->hasFnAttribute("no-realign-stack"))
35054f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return false;
35154f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  if (AFI->isThumb1OnlyFunction())
35254f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return false;
35354f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // Stack realignment requires a frame pointer.  If we already started
35454f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // register allocation with frame pointer elimination, it is too late now.
35554f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  if (!MRI->canReserveReg(FramePtr))
35654f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return false;
357aaa1e2f820e61a2f4b878d97599b3ca093bc96edBob Wilson  // We may also need a base pointer if there are dynamic allocas or stack
358aaa1e2f820e61a2f4b878d97599b3ca093bc96edBob Wilson  // pointer adjustments around calls.
35937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (MF.getTarget()
36037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines          .getSubtargetImpl()
36137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines          ->getFrameLowering()
36237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines          ->hasReservedCallFrame(MF))
36354f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen    return true;
36454f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // A base pointer is required and allowed.  Check that it isn't too late to
36554f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  // reserve it.
36654f3b7a9109d1916cf25ffdb2ed5045f03121b5aJakob Stoklund Olesen  return MRI->canReserveReg(BasePtr);
367e45ab8a0a90e4f3a59d8c38038ae3e495ee1fef3Jim Grosbach}
368e45ab8a0a90e4f3a59d8c38038ae3e495ee1fef3Jim Grosbach
3693dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbachbool ARMBaseRegisterInfo::
3703dab2778571b5bb00b35a0adcb7011dc85158bebJim GrosbachneedsStackRealignment(const MachineFunction &MF) const {
3713dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach  const MachineFrameInfo *MFI = MF.getFrameInfo();
372d4c36cec1db81b4ee48cd4ab462262615d78f22cEric Christopher  const Function *F = MF.getFunction();
37337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  unsigned StackAlign = MF.getTarget()
37437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                            .getSubtargetImpl()
37537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                            ->getFrameLowering()
37637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                            ->getStackAlignment();
3776765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling  bool requiresRealignment =
3786765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling    ((MFI->getMaxAlignment() > StackAlign) ||
379831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling     F->getAttributes().hasAttribute(AttributeSet::FunctionIndex,
380831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling                                     Attribute::StackAlignment));
3815c33f5bf67f61e3a1addda6de735d28d550dd0ebJim Grosbach
382d4c36cec1db81b4ee48cd4ab462262615d78f22cEric Christopher  return requiresRealignment && canRealignStack(MF);
3833dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach}
3843dab2778571b5bb00b35a0adcb7011dc85158bebJim Grosbach
3859631864688c593711f82bb8d21f8b724c628d786Jim Grosbachbool ARMBaseRegisterInfo::
3869631864688c593711f82bb8d21f8b724c628d786Jim GrosbachcannotEliminateFrame(const MachineFunction &MF) const {
38798a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng  const MachineFrameInfo *MFI = MF.getFrameInfo();
3888a8d479214745c82ef00f08d4e4f1c173b5f9ce2Nick Lewycky  if (MF.getTarget().Options.DisableFramePointerElim(MF) && MFI->adjustsStack())
38998a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng    return true;
39031bc849123011b8eae6bb3c79876d9a3c26a6a1dJim Grosbach  return MFI->hasVarSizedObjects() || MFI->isFrameAddressTaken()
39131bc849123011b8eae6bb3c79876d9a3c26a6a1dJim Grosbach    || needsStackRealignment(MF);
39298a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng}
39398a0104014e9bb6ed89c2572f615351fd526674aEvan Cheng
3945c33f5bf67f61e3a1addda6de735d28d550dd0ebJim Grosbachunsigned
3953f2bf85d14759cc4b28a86805f566ac805a54d00David GreeneARMBaseRegisterInfo::getFrameRegister(const MachineFunction &MF) const {
39637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
397d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov
398d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov  if (TFI->hasFP(MF))
399c140c4803dc3e10e08138670829bc0494986abe9David Goodwin    return FramePtr;
400c140c4803dc3e10e08138670829bc0494986abe9David Goodwin  return ARM::SP;
401c140c4803dc3e10e08138670829bc0494986abe9David Goodwin}
402c140c4803dc3e10e08138670829bc0494986abe9David Goodwin
403db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin/// emitLoadConstPool - Emits a load from constpool to materialize the
404db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin/// specified immediate.
405db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwinvoid ARMBaseRegisterInfo::
406db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid GoodwinemitLoadConstPool(MachineBasicBlock &MBB,
407db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin                  MachineBasicBlock::iterator &MBBI,
40877521f5232e679aa3de10aaaed2464aa91d7ff55David Goodwin                  DebugLoc dl,
409378445303b10b092a898a75131141a8259cff50bEvan Cheng                  unsigned DestReg, unsigned SubIdx, int Val,
410db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin                  ARMCC::CondCodes Pred,
4113daccd82d3151fa3629de430b55698a81084fc9eAnton Korobeynikov                  unsigned PredReg, unsigned MIFlags) const {
412db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  MachineFunction &MF = *MBB.getParent();
41337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo();
414db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  MachineConstantPool *ConstantPool = MF.getConstantPool();
41546510a73e977273ec67747eb34cbdb43f815e451Dan Gohman  const Constant *C =
4161d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson        ConstantInt::get(Type::getInt32Ty(MF.getFunction()->getContext()), Val);
417db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  unsigned Idx = ConstantPool->getConstantPoolIndex(C, 4);
418db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
419378445303b10b092a898a75131141a8259cff50bEvan Cheng  BuildMI(MBB, MBBI, dl, TII.get(ARM::LDRcp))
420378445303b10b092a898a75131141a8259cff50bEvan Cheng    .addReg(DestReg, getDefRegState(true), SubIdx)
421db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin    .addConstantPoolIndex(Idx)
4223daccd82d3151fa3629de430b55698a81084fc9eAnton Korobeynikov    .addImm(0).addImm(Pred).addReg(PredReg)
4233daccd82d3151fa3629de430b55698a81084fc9eAnton Korobeynikov    .setMIFlags(MIFlags);
424db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin}
425db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
426db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwinbool ARMBaseRegisterInfo::
427db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid GoodwinrequiresRegisterScavenging(const MachineFunction &MF) const {
428db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  return true;
429db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin}
43041fff8c19ab6d8e28f5362481c184ad628f8c704Jim Grosbach
4317e831db1d4f5dc51ca6526739cf41e59895c5c20Jim Grosbachbool ARMBaseRegisterInfo::
4326a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston GurdtrackLivenessAfterRegAlloc(const MachineFunction &MF) const {
4336a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurd  return true;
4346a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurd}
4356a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurd
4366a8c7bf8e72338e55f0f9583e1828f62da165d4aPreston Gurdbool ARMBaseRegisterInfo::
4377e831db1d4f5dc51ca6526739cf41e59895c5c20Jim GrosbachrequiresFrameIndexScavenging(const MachineFunction &MF) const {
438ca5dfb71ba4aa4a8392a021ec056cf0b70f74f1eJim Grosbach  return true;
4397e831db1d4f5dc51ca6526739cf41e59895c5c20Jim Grosbach}
440db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
441a273442891ae20fd8192526132e3819ea9e5eda9Jim Grosbachbool ARMBaseRegisterInfo::
442a273442891ae20fd8192526132e3819ea9e5eda9Jim GrosbachrequiresVirtualBaseRegisters(const MachineFunction &MF) const {
443c8cd8aa9d8582d2632db8fee8b2932efcdec34f1Jim Grosbach  return true;
444a273442891ae20fd8192526132e3819ea9e5eda9Jim Grosbach}
445a273442891ae20fd8192526132e3819ea9e5eda9Jim Grosbach
446e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbachint64_t ARMBaseRegisterInfo::
4471ab3f16f06698596716593a30545799688acccd7Jim GrosbachgetFrameIndexInstrOffset(const MachineInstr *MI, int Idx) const {
448e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng  const MCInstrDesc &Desc = MI->getDesc();
449e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  unsigned AddrMode = (Desc.TSFlags & ARMII::AddrModeMask);
45090f20044ade3712c8b0c3f4ebe47d57ad15ae6ceChad Rosier  int64_t InstrOffs = 0;
451e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  int Scale = 1;
452e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  unsigned ImmIdx = 0;
4531ab3f16f06698596716593a30545799688acccd7Jim Grosbach  switch (AddrMode) {
454e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrModeT2_i8:
455e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrModeT2_i12:
4563e5561247202bae994dd259a2d8dc4eff8f799f3Jim Grosbach  case ARMII::AddrMode_i12:
457e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = MI->getOperand(Idx+1).getImm();
458e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    Scale = 1;
459e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
460e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrMode5: {
461e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    // VFP address mode.
462e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    const MachineOperand &OffOp = MI->getOperand(Idx+1);
463f78ee6316bc755779920ac207edc27a89c0bd2f9Jim Grosbach    InstrOffs = ARM_AM::getAM5Offset(OffOp.getImm());
464e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    if (ARM_AM::getAM5Op(OffOp.getImm()) == ARM_AM::sub)
465e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach      InstrOffs = -InstrOffs;
466e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    Scale = 4;
467e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
468e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
469e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrMode2: {
470e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    ImmIdx = Idx+2;
471e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = ARM_AM::getAM2Offset(MI->getOperand(ImmIdx).getImm());
472e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    if (ARM_AM::getAM2Op(MI->getOperand(ImmIdx).getImm()) == ARM_AM::sub)
473e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach      InstrOffs = -InstrOffs;
474e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
475e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
476e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrMode3: {
477e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    ImmIdx = Idx+2;
478e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = ARM_AM::getAM3Offset(MI->getOperand(ImmIdx).getImm());
479e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    if (ARM_AM::getAM3Op(MI->getOperand(ImmIdx).getImm()) == ARM_AM::sub)
480e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach      InstrOffs = -InstrOffs;
481e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
482e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
483e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  case ARMII::AddrModeT1_s: {
484e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    ImmIdx = Idx+1;
485e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    InstrOffs = MI->getOperand(ImmIdx).getImm();
486e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    Scale = 4;
487e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    break;
488e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
489e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  default:
490e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    llvm_unreachable("Unsupported addressing mode!");
491e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  }
492e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach
493e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  return InstrOffs * Scale;
494e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach}
495e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach
4968708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// needsFrameBaseReg - Returns true if the instruction's frame index
4978708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// reference would be better served by a base register other than FP
4988708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// or SP. Used by LocalStackFrameAllocation to determine which frame index
4998708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach/// references it should create new base registers for.
5008708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbachbool ARMBaseRegisterInfo::
5013197380143cdc18837722129ac888528b9fbfc2bJim GrosbachneedsFrameBaseReg(MachineInstr *MI, int64_t Offset) const {
5023197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  for (unsigned i = 0; !MI->getOperand(i).isFI(); ++i) {
5033197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    assert(i < MI->getNumOperands() &&"Instr doesn't have FrameIndex operand!");
5043197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  }
5058708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
5068708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // It's the load/store FI references that cause issues, as it can be difficult
5078708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // to materialize the offset if it won't fit in the literal field. Estimate
5088708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // based on the size of the local frame and some conservative assumptions
5098708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // about the rest of the stack frame (note, this is pre-regalloc, so
5108708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // we don't know everything for certain yet) whether this offset is likely
5118708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  // to be out of range of the immediate. Return true if so.
5128708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
513cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // We only generate virtual base registers for loads and stores, so
514cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // return false for everything else.
5158708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  unsigned Opc = MI->getOpcode();
5168708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  switch (Opc) {
517cff9baa95273bc279bf5fadb9e27afbd25cca20bJakob Stoklund Olesen  case ARM::LDRi12: case ARM::LDRH: case ARM::LDRBi12:
5187e3383c007f53b3a00675af225e428cb66ddf404Jim Grosbach  case ARM::STRi12: case ARM::STRH: case ARM::STRBi12:
519cff9baa95273bc279bf5fadb9e27afbd25cca20bJakob Stoklund Olesen  case ARM::t2LDRi12: case ARM::t2LDRi8:
520cff9baa95273bc279bf5fadb9e27afbd25cca20bJakob Stoklund Olesen  case ARM::t2STRi12: case ARM::t2STRi8:
5218708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  case ARM::VLDRS: case ARM::VLDRD:
5228708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  case ARM::VSTRS: case ARM::VSTRD:
52374d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach  case ARM::tSTRspi: case ARM::tLDRspi:
524cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach    break;
5258708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  default:
5268708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach    return false;
5278708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach  }
528cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach
529cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // Without a virtual base register, if the function has variable sized
530cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  // objects, all fixed-size local references will be via the frame pointer,
5313197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Approximate the offset and see if it's legal for the instruction.
5323197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Note that the incoming offset is based on the SP value at function entry,
5333197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // so it'll be negative.
5343197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  MachineFunction &MF = *MI->getParent()->getParent();
53537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
5363197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  MachineFrameInfo *MFI = MF.getFrameInfo();
5373197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
5383197380143cdc18837722129ac888528b9fbfc2bJim Grosbach
5393197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Estimate an offset from the frame pointer.
5403197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Conservatively assume all callee-saved registers get pushed. R4-R6
5413197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // will be earlier than the FP, so we ignore those.
5423197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // R7, LR
5433197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  int64_t FPOffset = Offset - 8;
5443197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // ARM and Thumb2 functions also need to consider R8-R11 and D8-D15
5453197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  if (!AFI->isThumbFunction() || !AFI->isThumb1OnlyFunction())
5463197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    FPOffset -= 80;
5473197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Estimate an offset from the stack pointer.
548c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  // The incoming offset is relating to the SP at the start of the function,
549c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  // but when we access the local it'll be relative to the SP after local
550c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  // allocation, so adjust our SP-relative offset by that allocation size.
5513197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  Offset = -Offset;
552c1dc78de762e8a65fe1edd0cced13d94ab5a971fJim Grosbach  Offset += MFI->getLocalFrameSize();
5533197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // Assume that we'll have at least some spill slots allocated.
5543197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // FIXME: This is a total SWAG number. We should run some statistics
5553197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        and pick a real one.
5563197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  Offset += 128; // 128 bytes of spill slots
5573197380143cdc18837722129ac888528b9fbfc2bJim Grosbach
5583197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // If there is a frame pointer, try using it.
5593197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // The FP is only available if there is no dynamic realignment. We
5603197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // don't know for sure yet whether we'll need that, so we guess based
5613197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // on whether there are any local variables that would trigger it.
56216c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov  unsigned StackAlign = TFI->getStackAlignment();
563d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov  if (TFI->hasFP(MF) &&
5643197380143cdc18837722129ac888528b9fbfc2bJim Grosbach      !((MFI->getLocalFrameMaxAlign() > StackAlign) && canRealignStack(MF))) {
5653197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    if (isFrameOffsetLegal(MI, FPOffset))
5663197380143cdc18837722129ac888528b9fbfc2bJim Grosbach      return false;
5673197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  }
5683197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // If we can reference via the stack pointer, try that.
5693197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // FIXME: This (and the code that resolves the references) can be improved
5703197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        to only disallow SP relative references in the live range of
5713197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        the VLA(s). In practice, it's unclear how much difference that
5723197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  //        would make, but it may be worth doing.
5733197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  if (!MFI->hasVarSizedObjects() && isFrameOffsetLegal(MI, Offset))
5743197380143cdc18837722129ac888528b9fbfc2bJim Grosbach    return false;
575cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach
5763197380143cdc18837722129ac888528b9fbfc2bJim Grosbach  // The offset likely isn't legal, we want to allocate a virtual base register.
577cd59dc5e81eb080cd9b61f5a7e7d9f3eec206d8cJim Grosbach  return true;
5788708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach}
5798708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
580976ef86689ed065361a748f81c44ca3510af2202Bill Wendling/// materializeFrameBaseRegister - Insert defining instruction(s) for BaseReg to
581976ef86689ed065361a748f81c44ca3510af2202Bill Wendling/// be a pointer to FrameIdx at the beginning of the basic block.
582dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbachvoid ARMBaseRegisterInfo::
583976ef86689ed065361a748f81c44ca3510af2202Bill WendlingmaterializeFrameBaseRegister(MachineBasicBlock *MBB,
584976ef86689ed065361a748f81c44ca3510af2202Bill Wendling                             unsigned BaseReg, int FrameIdx,
585976ef86689ed065361a748f81c44ca3510af2202Bill Wendling                             int64_t Offset) const {
586976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  ARMFunctionInfo *AFI = MBB->getParent()->getInfo<ARMFunctionInfo>();
58774d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach  unsigned ADDriOpc = !AFI->isThumbFunction() ? ARM::ADDri :
58837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    (AFI->isThumb1OnlyFunction() ? ARM::tADDframe : ARM::t2ADDri);
589dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
590976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  MachineBasicBlock::iterator Ins = MBB->begin();
591976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  DebugLoc DL;                  // Defaults to "unknown"
592976ef86689ed065361a748f81c44ca3510af2202Bill Wendling  if (Ins != MBB->end())
593976ef86689ed065361a748f81c44ca3510af2202Bill Wendling    DL = Ins->getDebugLoc();
594976ef86689ed065361a748f81c44ca3510af2202Bill Wendling
595397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen  const MachineFunction &MF = *MBB->getParent();
59657148c166ab232191098492633c924fad9c44ef3Bill Wendling  MachineRegisterInfo &MRI = MBB->getParent()->getRegInfo();
59737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo();
59857148c166ab232191098492633c924fad9c44ef3Bill Wendling  const MCInstrDesc &MCID = TII.get(ADDriOpc);
599397fc4874efe9c17e737d4c5c50bd19dc3bf27f5Jakob Stoklund Olesen  MRI.constrainRegClass(BaseReg, TII.getRegClass(MCID, 0, this, MF));
60021803721d538255e4d223c29b6c8d3c9e93d4d86Cameron Zwarich
60137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  MachineInstrBuilder MIB = BuildMI(*MBB, Ins, DL, MCID, BaseReg)
60237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    .addFrameIndex(FrameIdx).addImm(Offset);
603976ef86689ed065361a748f81c44ca3510af2202Bill Wendling
60474d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach  if (!AFI->isThumb1OnlyFunction())
60537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    AddDefaultCC(AddDefaultPred(MIB));
606dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach}
607dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
60836b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hinesvoid ARMBaseRegisterInfo::resolveFrameIndex(MachineInstr &MI, unsigned BaseReg,
60936b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines                                            int64_t Offset) const {
610dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  MachineBasicBlock &MBB = *MI.getParent();
611dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  MachineFunction &MF = *MBB.getParent();
61257148c166ab232191098492633c924fad9c44ef3Bill Wendling  const ARMBaseInstrInfo &TII =
61337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines      *static_cast<const ARMBaseInstrInfo *>(MF.getSubtarget().getInstrInfo());
614dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
615dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  int Off = Offset; // ARM doesn't need the general 64-bit offsets
616dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  unsigned i = 0;
617dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
618dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  assert(!AFI->isThumb1OnlyFunction() &&
619dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach         "This resolveFrameIndex does not support Thumb1!");
620dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach
621dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  while (!MI.getOperand(i).isFI()) {
622dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    ++i;
623dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
624dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  }
625dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  bool Done = false;
626dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  if (!AFI->isThumbFunction())
627dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    Done = rewriteARMFrameIndex(MI, i, BaseReg, Off, TII);
628dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  else {
629dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    assert(AFI->isThumb2Function());
630dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach    Done = rewriteT2FrameIndex(MI, i, BaseReg, Off, TII);
631dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  }
632dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach  assert (Done && "Unable to resolve frame index!");
6331f6a329f79b3568d379142f921f59c4143ddaa14Duncan Sands  (void)Done;
634dc140c6e7b8350ca51aa1d408c10e25a27826e2cJim Grosbach}
6358708ead5a46f4ec8f2d5f832be23381924d72b8dJim Grosbach
636e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbachbool ARMBaseRegisterInfo::isFrameOffsetLegal(const MachineInstr *MI,
637e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach                                             int64_t Offset) const {
638e837dead3c8dc3445ef6a0e2322179c57e264a13Evan Cheng  const MCInstrDesc &Desc = MI->getDesc();
6392b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned AddrMode = (Desc.TSFlags & ARMII::AddrModeMask);
6402b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned i = 0;
6412b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6422b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  while (!MI->getOperand(i).isFI()) {
6432b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    ++i;
6442b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    assert(i < MI->getNumOperands() &&"Instr doesn't have FrameIndex operand!");
6452b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  }
6462b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6472b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  // AddrMode4 and AddrMode6 cannot handle any offset.
6482b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  if (AddrMode == ARMII::AddrMode4 || AddrMode == ARMII::AddrMode6)
6492b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    return Offset == 0;
6502b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6512b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned NumBits = 0;
6522b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned Scale = 1;
653e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  bool isSigned = true;
6541ab3f16f06698596716593a30545799688acccd7Jim Grosbach  switch (AddrMode) {
6552b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  case ARMII::AddrModeT2_i8:
6562b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  case ARMII::AddrModeT2_i12:
6572b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    // i8 supports only negative, and i12 supports only positive, so
6582b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    // based on Offset sign, consider the appropriate instruction
65974d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach    Scale = 1;
6602b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    if (Offset < 0) {
6612b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach      NumBits = 8;
6622b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach      Offset = -Offset;
6632b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    } else {
6642b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach      NumBits = 12;
6652b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    }
6662b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
6671ab3f16f06698596716593a30545799688acccd7Jim Grosbach  case ARMII::AddrMode5:
6682b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    // VFP address mode.
6692b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    NumBits = 8;
6702b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    Scale = 4;
6712b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
6723e5561247202bae994dd259a2d8dc4eff8f799f3Jim Grosbach  case ARMII::AddrMode_i12:
6731ab3f16f06698596716593a30545799688acccd7Jim Grosbach  case ARMII::AddrMode2:
6742b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    NumBits = 12;
6752b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
6761ab3f16f06698596716593a30545799688acccd7Jim Grosbach  case ARMII::AddrMode3:
6772b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    NumBits = 8;
6782b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    break;
679e575499d830008784b11499dae290ad0480c8f9dBill Wendling  case ARMII::AddrModeT1_s:
680e575499d830008784b11499dae290ad0480c8f9dBill Wendling    NumBits = 5;
68174d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach    Scale = 4;
682e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach    isSigned = false;
68374d7b0af58951dce2f874c600a6a48a2454b4914Jim Grosbach    break;
6842b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  default:
6852b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    llvm_unreachable("Unsupported addressing mode!");
6862b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  }
6872b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6881ab3f16f06698596716593a30545799688acccd7Jim Grosbach  Offset += getFrameIndexInstrOffset(MI, i);
689d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach  // Make sure the offset is encodable for instructions that scale the
690d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach  // immediate.
691d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach  if ((Offset & (Scale-1)) != 0)
692d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach    return false;
693d4511e947ee1e89a4f199bfac0d401976930ccfeJim Grosbach
694e2f556933e1a19cddf6d4f370e2770c0f763b025Jim Grosbach  if (isSigned && Offset < 0)
6952b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    Offset = -Offset;
6962b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach
6972b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  unsigned Mask = (1 << NumBits) - 1;
6982b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach  if ((unsigned)Offset <= Mask * Scale)
6992b1e202e1c2137b03f7c6ecc18668e40819fa22fJim Grosbach    return true;
70074d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach
70174d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach  return false;
70274d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach}
70374d803a58c7935c067397bb19afc05ec464d8159Jim Grosbach
704fcb4a8ead3cd8d9540d5eaa448af5d14a0ee341aJim Grosbachvoid
7056495f63945e8dbde81f03a1dc2ab421993b9a495Evan ChengARMBaseRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
706108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier                                         int SPAdj, unsigned FIOperandNum,
707108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier                                         RegScavenger *RS) const {
7085ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  MachineInstr &MI = *II;
7095ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  MachineBasicBlock &MBB = *MI.getParent();
7105ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  MachineFunction &MF = *MBB.getParent();
71157148c166ab232191098492633c924fad9c44ef3Bill Wendling  const ARMBaseInstrInfo &TII =
71237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines      *static_cast<const ARMBaseInstrInfo *>(MF.getSubtarget().getInstrInfo());
71337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const ARMFrameLowering *TFI = static_cast<const ARMFrameLowering *>(
71437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines      MF.getSubtarget().getFrameLowering());
7155ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin  ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
7166495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  assert(!AFI->isThumb1OnlyFunction() &&
717a15de00f8246f19180b26ee5fe7ff8f436e0de08Bob Wilson         "This eliminateFrameIndex does not support Thumb1!");
718108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier  int FrameIndex = MI.getOperand(FIOperandNum).getIndex();
719a37aa546224ec03ba1f1a1598e0781af4b692673Jim Grosbach  unsigned FrameReg;
7205ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin
72182f58740c76b42af8370247b23677a0318f6dde8Anton Korobeynikov  int Offset = TFI->ResolveFrameIndexReference(MF, FrameIndex, FrameReg, SPAdj);
7225ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin
7230f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // PEI::scavengeFrameVirtualRegs() cannot accurately track SPAdj because the
7240f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // call frame setup/destroy instructions have already been eliminated.  That
7250f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // means the stack pointer cannot be used to access the emergency spill slot
7260f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  // when !hasReservedCallFrame().
7270f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen#ifndef NDEBUG
728dc3beb90178fc316f63790812b22201884eaa017Hal Finkel  if (RS && FrameReg == ARM::SP && RS->isScavengingFrameIndex(FrameIndex)){
7290f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen    assert(TFI->hasReservedCallFrame(MF) &&
7300f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "Cannot use SP to access the emergency spill slot in "
7310f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "functions without a reserved call frame");
7320f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen    assert(!MF.getFrameInfo()->hasVarSizedObjects() &&
7330f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "Cannot use SP to access the emergency spill slot in "
7340f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen           "functions with variable sized frame objects");
7350f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen  }
7360f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen#endif // NDEBUG
7370f9d07fb2526c0acdf7ad9fa6e9c1a97a746c0e9Jakob Stoklund Olesen
7386d9dbd5526e3161db884fc4fe99c278bb59ccc19David Blaikie  assert(!MI.isDebugValue() && "DBG_VALUEs should be handled in target-independent code");
73962b50656ceb854eb0be265d63b2a1d46e7400d8aEvan Cheng
74048d8afab73d72418cf9505a020f621014920463cEvan Cheng  // Modify MI as necessary to handle as much of 'Offset' as possible
741cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng  bool Done = false;
7426495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  if (!AFI->isThumbFunction())
743108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    Done = rewriteARMFrameIndex(MI, FIOperandNum, FrameReg, Offset, TII);
7446495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  else {
7456495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng    assert(AFI->isThumb2Function());
746108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    Done = rewriteT2FrameIndex(MI, FIOperandNum, FrameReg, Offset, TII);
7476495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  }
748cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng  if (Done)
749fcb4a8ead3cd8d9540d5eaa448af5d14a0ee341aJim Grosbach    return;
7505ff58b5c3ab6df332600678798ea5c69c5e943d3David Goodwin
751db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  // If we get here, the immediate doesn't fit into the instruction.  We folded
752db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  // as much as possible above, handle the rest, providing a register that is
753db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  // SP+LargeImm.
75419bb87d0f80f3e6eed38a9fa267bf2b0474aeaabDaniel Dunbar  assert((Offset ||
755a44321776ecd96fa0344335d3027758be3386e45Jim Grosbach          (MI.getDesc().TSFlags & ARMII::AddrModeMask) == ARMII::AddrMode4 ||
756a44321776ecd96fa0344335d3027758be3386e45Jim Grosbach          (MI.getDesc().TSFlags & ARMII::AddrModeMask) == ARMII::AddrMode6) &&
757cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng         "This code isn't needed if offset already handled!");
758db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin
7597e831db1d4f5dc51ca6526739cf41e59895c5c20Jim Grosbach  unsigned ScratchReg = 0;
760db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  int PIdx = MI.findFirstPredOperandIdx();
761db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  ARMCC::CondCodes Pred = (PIdx == -1)
762db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin    ? ARMCC::AL : (ARMCC::CondCodes)MI.getOperand(PIdx).getImm();
763db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin  unsigned PredReg = (PIdx == -1) ? 0 : MI.getOperand(PIdx+1).getReg();
764cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng  if (Offset == 0)
765a44321776ecd96fa0344335d3027758be3386e45Jim Grosbach    // Must be addrmode4/6.
766108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    MI.getOperand(FIOperandNum).ChangeToRegister(FrameReg, false, false, false);
7676495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  else {
768420761a0f193e87d08ee1c51b26bba23ab4bac7fCraig Topper    ScratchReg = MF.getRegInfo().createVirtualRegister(&ARM::GPRRegClass);
769cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng    if (!AFI->isThumbFunction())
770cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng      emitARMRegPlusImmediate(MBB, II, MI.getDebugLoc(), ScratchReg, FrameReg,
771cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng                              Offset, Pred, PredReg, TII);
772cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng    else {
773cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng      assert(AFI->isThumb2Function());
774cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng      emitT2RegPlusImmediate(MBB, II, MI.getDebugLoc(), ScratchReg, FrameReg,
775cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng                             Offset, Pred, PredReg, TII);
776cdbb3f5d3311e0f46d22bc8daa211b2fab3541cbEvan Cheng    }
777cde31293d45f14ddff482d385429d256bd4e0820Jim Grosbach    // Update the original instruction to use the scratch register.
778108fb3202af6f500073cdbb7be32c25d7a273a2eChad Rosier    MI.getOperand(FIOperandNum).ChangeToRegister(ScratchReg, false, false,true);
7796495f63945e8dbde81f03a1dc2ab421993b9a495Evan Cheng  }
780db5a71a8e01ed9a0d93a19176df6ea0aea510d7bDavid Goodwin}
78137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
78237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hinesbool ARMBaseRegisterInfo::shouldCoalesce(MachineInstr *MI,
78337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  const TargetRegisterClass *SrcRC,
78437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  unsigned SubReg,
78537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  const TargetRegisterClass *DstRC,
78637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  unsigned DstSubReg,
78737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines                                  const TargetRegisterClass *NewRC) const {
78837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto MBB = MI->getParent();
78937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto MF = MBB->getParent();
79037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  const MachineRegisterInfo &MRI = MF->getRegInfo();
79137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // If not copying into a sub-register this should be ok because we shouldn't
79237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // need to split the reg.
79337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (!DstSubReg)
79437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
79537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // Small registers don't frequently cause a problem, so we can coalesce them.
79637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (NewRC->getSize() < 32 && DstRC->getSize() < 32 && SrcRC->getSize() < 32)
79737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
79837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
79937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto NewRCWeight =
80037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines              MRI.getTargetRegisterInfo()->getRegClassWeight(NewRC);
80137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto SrcRCWeight =
80237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines              MRI.getTargetRegisterInfo()->getRegClassWeight(SrcRC);
80337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto DstRCWeight =
80437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines              MRI.getTargetRegisterInfo()->getRegClassWeight(DstRC);
80537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // If the source register class is more expensive than the destination, the
80637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // coalescing is probably profitable.
80737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (SrcRCWeight.RegWeight > NewRCWeight.RegWeight)
80837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
80937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (DstRCWeight.RegWeight > NewRCWeight.RegWeight)
81037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
81137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
81237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // If the register allocator isn't constrained, we can always allow coalescing
81337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // unfortunately we don't know yet if we will be constrained.
81437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // The goal of this heuristic is to restrict how many expensive registers
81537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // we allow to coalesce in a given basic block.
81637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto AFI = MF->getInfo<ARMFunctionInfo>();
81737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  auto It = AFI->getCoalescedWeight(MBB);
81837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
81937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  DEBUG(dbgs() << "\tARM::shouldCoalesce - Coalesced Weight: "
82037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    << It->second << "\n");
82137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  DEBUG(dbgs() << "\tARM::shouldCoalesce - Reg Weight: "
82237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    << NewRCWeight.RegWeight << "\n");
82337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines
82437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // This number is the largest round number that which meets the criteria:
82537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  //  (1) addresses PR18825
82637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  //  (2) generates better code in some test cases (like vldm-shed-a9.ll)
82737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  //  (3) Doesn't regress any test cases (in-tree, test-suite, and SPEC)
82837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // In practice the SizeMultiplier will only factor in for straight line code
82937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  // that uses a lot of NEON vectors, which isn't terribly common.
83037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  unsigned SizeMultiplier = MBB->size()/100;
83137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  SizeMultiplier = SizeMultiplier ? SizeMultiplier : 1;
83237ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  if (It->second < NewRCWeight.WeightLimit * SizeMultiplier) {
83337ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    It->second += NewRCWeight.RegWeight;
83437ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines    return true;
83537ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  }
83637ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines  return false;
83737ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines}
838