blob: 64ff2a7ce8367bbc24e4d7b2bcd8bf3c4f74bcc0 [file] [log] [blame]
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +00001//===-- llvm/CodeGen/AllocationOrder.h - Allocation Order -*- C++ -*-------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file 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#ifndef LLVM_CODEGEN_ALLOCATIONORDER_H
18#define LLVM_CODEGEN_ALLOCATIONORDER_H
19
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000020#include "llvm/ADT/ArrayRef.h"
Chandler Carruth802d7552012-12-04 07:12:27 +000021#include "llvm/MC/MCRegisterInfo.h"
Jakob Stoklund Olesenbdb55e02012-11-29 03:34:17 +000022
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000023namespace llvm {
24
Jakob Stoklund Olesenb8bf3c02011-06-03 20:34:53 +000025class RegisterClassInfo;
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000026class VirtRegMap;
27
Benjamin Kramer079b96e2013-09-11 18:05:11 +000028class AllocationOrder {
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000029 SmallVector<MCPhysReg, 16> Hints;
30 ArrayRef<MCPhysReg> Order;
Jakob Stoklund Olesen3cb2cb82012-12-04 22:25:16 +000031 int Pos;
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000032
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000033public:
34 /// Create a new AllocationOrder for VirtReg.
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000035 /// @param VirtReg Virtual register to allocate for.
36 /// @param VRM Virtual register map for function.
Jakob Stoklund Olesen5b9deab2012-01-24 18:09:18 +000037 /// @param RegClassInfo Information about reserved and allocatable registers.
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000038 AllocationOrder(unsigned VirtReg,
39 const VirtRegMap &VRM,
Jakob Stoklund Olesenb8bf3c02011-06-03 20:34:53 +000040 const RegisterClassInfo &RegClassInfo);
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000041
Jakob Stoklund Olesen3dd236c2013-01-12 00:57:44 +000042 /// Get the allocation order without reordered hints.
43 ArrayRef<MCPhysReg> getOrder() const { return Order; }
44
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000045 /// Return the next physical register in the allocation order, or 0.
46 /// It is safe to call next() again after it returned 0, it will keep
47 /// returning 0 until rewind() is called.
Aditya Nandakumar73f3d332013-12-05 21:18:40 +000048 unsigned next(unsigned Limit = 0) {
Jakob Stoklund Olesen3cb2cb82012-12-04 22:25:16 +000049 if (Pos < 0)
50 return Hints.end()[Pos++];
Aditya Nandakumar73f3d332013-12-05 21:18:40 +000051 if (!Limit)
52 Limit = Order.size();
53 while (Pos < int(Limit)) {
Jakob Stoklund Olesen3cb2cb82012-12-04 22:25:16 +000054 unsigned Reg = Order[Pos++];
55 if (!isHint(Reg))
56 return Reg;
57 }
58 return 0;
59 }
Jakob Stoklund Olesen0cde8eb2011-06-06 21:02:04 +000060
Jakob Stoklund Olesen3dd236c2013-01-12 00:57:44 +000061 /// As next(), but allow duplicates to be returned, and stop before the
62 /// Limit'th register in the RegisterClassInfo allocation order.
63 ///
64 /// This can produce more than Limit registers if there are hints.
65 unsigned nextWithDups(unsigned Limit) {
66 if (Pos < 0)
67 return Hints.end()[Pos++];
68 if (Pos < int(Limit))
69 return Order[Pos++];
70 return 0;
71 }
72
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000073 /// Start over from the beginning.
Jakob Stoklund Olesen3cb2cb82012-12-04 22:25:16 +000074 void rewind() { Pos = -int(Hints.size()); }
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000075
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000076 /// Return true if the last register returned from next() was a preferred register.
Jakob Stoklund Olesen3cb2cb82012-12-04 22:25:16 +000077 bool isHint() const { return Pos <= 0; }
Jakob Stoklund Olesenc784a1f2012-12-03 22:51:04 +000078
79 /// Return true if PhysReg is a preferred register.
Jakob Stoklund Olesen3cb2cb82012-12-04 22:25:16 +000080 bool isHint(unsigned PhysReg) const {
81 return std::find(Hints.begin(), Hints.end(), PhysReg) != Hints.end();
82 }
Jakob Stoklund Olesen0c67e012010-12-10 18:36:02 +000083};
84
85} // end namespace llvm
86
87#endif