1 //===-- llvm/CodeGen/VirtRegMap.h - Virtual Register Map -*- C++ -*--------===//
3 // The LLVM Compiler Infrastructure
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements a virtual register map. This maps virtual
11 // registers to physical registers and virtual registers to stack
12 // slots. It is created and updated by a register allocator and then
13 // used by a machine code rewriter that adds spill code and rewrites
14 // virtual into physical register references.
16 //===----------------------------------------------------------------------===//
18 #ifndef LLVM_CODEGEN_VIRTREGMAP_H
19 #define LLVM_CODEGEN_VIRTREGMAP_H
21 #include "llvm/CodeGen/MachineFunction.h"
22 #include "llvm/CodeGen/SSARegMap.h"
29 typedef std::vector<unsigned> Virt2PhysMap;
30 typedef std::vector<int> Virt2StackSlotMap;
35 Virt2StackSlotMap v2ssMap_;
38 VirtRegMap(const VirtRegMap& rhs);
39 const VirtRegMap& operator=(const VirtRegMap& rhs);
41 static unsigned toIndex(unsigned virtReg) {
42 return virtReg - MRegisterInfo::FirstVirtualRegister;
44 static unsigned fromIndex(unsigned index) {
45 return index + MRegisterInfo::FirstVirtualRegister;
50 NO_STACK_SLOT = INT_MAX
54 VirtRegMap(MachineFunction& mf)
56 v2pMap_(mf.getSSARegMap()->getNumVirtualRegs(), NO_PHYS_REG),
57 v2ssMap_(mf.getSSARegMap()->getNumVirtualRegs(), NO_STACK_SLOT) {
60 bool hasPhys(unsigned virtReg) const {
61 return getPhys(virtReg) != NO_PHYS_REG;
64 unsigned getPhys(unsigned virtReg) const {
65 assert(MRegisterInfo::isVirtualRegister(virtReg));
66 return v2pMap_[toIndex(virtReg)];
69 void assignVirt2Phys(unsigned virtReg, unsigned physReg) {
70 assert(MRegisterInfo::isVirtualRegister(virtReg) &&
71 MRegisterInfo::isPhysicalRegister(physReg));
72 assert(v2pMap_[toIndex(virtReg)] == NO_PHYS_REG &&
73 "attempt to assign physical register to already mapped "
75 v2pMap_[toIndex(virtReg)] = physReg;
78 void clearVirtReg(unsigned virtReg) {
79 assert(MRegisterInfo::isVirtualRegister(virtReg));
80 assert(v2pMap_[toIndex(virtReg)] != NO_PHYS_REG &&
81 "attempt to clear a not assigned virtual register");
82 v2pMap_[toIndex(virtReg)] = NO_PHYS_REG;
85 bool hasStackSlot(unsigned virtReg) const {
86 return getStackSlot(virtReg) != NO_STACK_SLOT;
89 int getStackSlot(unsigned virtReg) const {
90 assert(MRegisterInfo::isVirtualRegister(virtReg));
91 return v2ssMap_[toIndex(virtReg)];
94 int assignVirt2StackSlot(unsigned virtReg);
96 friend std::ostream& operator<<(std::ostream& os, const VirtRegMap& li);
99 std::ostream& operator<<(std::ostream& os, const VirtRegMap& li);
101 } // End llvm namespace