blob: 1005f102bea6c1c2a834f8e31acbc47aab6dc24b [file] [log] [blame]
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +00001//===-- llvm/CodeGen/AllocationOrder.cpp - Allocation Order ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements an allocation order for virtual registers.
11//
12// The preferred allocation order for a virtual register depends on allocation
13// hints and target hooks. The AllocationOrder class encapsulates all of that.
14//
15//===----------------------------------------------------------------------===//
16
17#include "AllocationOrder.h"
Jakob Stoklund Olesen5f2316a2011-06-03 20:34:53 +000018#include "RegisterClassInfo.h"
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000019#include "VirtRegMap.h"
20#include "llvm/CodeGen/MachineRegisterInfo.h"
21
22using namespace llvm;
23
24// Compare VirtRegMap::getRegAllocPref().
25AllocationOrder::AllocationOrder(unsigned VirtReg,
26 const VirtRegMap &VRM,
Jakob Stoklund Olesen5f2316a2011-06-03 20:34:53 +000027 const RegisterClassInfo &RegClassInfo)
Jakob Stoklund Olesena46a1002011-06-06 21:02:04 +000028 : Begin(0), End(0), Pos(0), RCI(RegClassInfo), OwnedBegin(false) {
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000029 const TargetRegisterClass *RC = VRM.getRegInfo().getRegClass(VirtReg);
30 std::pair<unsigned, unsigned> HintPair =
31 VRM.getRegInfo().getRegAllocationHint(VirtReg);
32
33 // HintPair.second is a register, phys or virt.
34 Hint = HintPair.second;
35
36 // Translate to physreg, or 0 if not assigned yet.
Jakob Stoklund Olesenc9df0252011-01-10 02:58:51 +000037 if (TargetRegisterInfo::isVirtualRegister(Hint))
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000038 Hint = VRM.getPhys(Hint);
39
Jakob Stoklund Olesena46a1002011-06-06 21:02:04 +000040 // The first hint pair component indicates a target-specific hint.
41 if (HintPair.first) {
42 const TargetRegisterInfo &TRI = VRM.getTargetRegInfo();
43 // The remaining allocation order may depend on the hint.
Jakob Stoklund Olesendd5a8472011-06-16 23:31:16 +000044 ArrayRef<unsigned> Order =
45 TRI.getRawAllocationOrder(RC, HintPair.first, Hint,
46 VRM.getMachineFunction());
47 if (Order.empty())
Jakob Stoklund Olesena46a1002011-06-06 21:02:04 +000048 return;
49
50 // Copy the allocation order with reserved registers removed.
51 OwnedBegin = true;
Jakob Stoklund Olesendd5a8472011-06-16 23:31:16 +000052 unsigned *P = new unsigned[Order.size()];
Jakob Stoklund Olesena46a1002011-06-06 21:02:04 +000053 Begin = P;
Jakob Stoklund Olesendd5a8472011-06-16 23:31:16 +000054 for (unsigned i = 0; i != Order.size(); ++i)
55 if (!RCI.isReserved(Order[i]))
56 *P++ = Order[i];
Jakob Stoklund Olesena46a1002011-06-06 21:02:04 +000057 End = P;
58
59 // Target-dependent hints require resolution.
60 Hint = TRI.ResolveRegAllocHint(HintPair.first, Hint,
61 VRM.getMachineFunction());
62 } else {
63 // If there is no hint or just a normal hint, use the cached allocation
64 // order from RegisterClassInfo.
65 ArrayRef<unsigned> O = RCI.getOrder(RC);
66 Begin = O.begin();
67 End = O.end();
68 }
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000069
70 // The hint must be a valid physreg for allocation.
71 if (Hint && (!TargetRegisterInfo::isPhysicalRegister(Hint) ||
Jakob Stoklund Olesen5f2316a2011-06-03 20:34:53 +000072 !RC->contains(Hint) || RCI.isReserved(Hint)))
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000073 Hint = 0;
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000074}
75
Jakob Stoklund Olesena46a1002011-06-06 21:02:04 +000076AllocationOrder::~AllocationOrder() {
77 if (OwnedBegin)
78 delete [] Begin;
Jakob Stoklund Olesenc9672cb2010-12-10 18:36:02 +000079}