1c62eefb8SMircea Trofin //===- llvm/CodeGen/GlobalISel/RegisterBank.cpp - Register Bank --*- C++ -*-==//
2c62eefb8SMircea Trofin //
3c62eefb8SMircea Trofin // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4c62eefb8SMircea Trofin // See https://llvm.org/LICENSE.txt for license information.
5c62eefb8SMircea Trofin // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6c62eefb8SMircea Trofin //
7c62eefb8SMircea Trofin //===----------------------------------------------------------------------===//
8c62eefb8SMircea Trofin /// \file
9c62eefb8SMircea Trofin /// This file implements the RegisterBank class.
10c62eefb8SMircea Trofin //===----------------------------------------------------------------------===//
11c62eefb8SMircea Trofin 
12*cb216076SMircea Trofin #include "llvm/CodeGen/RegisterBank.h"
13c62eefb8SMircea Trofin #include "llvm/ADT/StringExtras.h"
14c62eefb8SMircea Trofin #include "llvm/CodeGen/TargetRegisterInfo.h"
15c62eefb8SMircea Trofin #include "llvm/Config/llvm-config.h"
16c62eefb8SMircea Trofin #include "llvm/Support/Debug.h"
17c62eefb8SMircea Trofin 
18c62eefb8SMircea Trofin #define DEBUG_TYPE "registerbank"
19c62eefb8SMircea Trofin 
20c62eefb8SMircea Trofin using namespace llvm;
21c62eefb8SMircea Trofin 
22c62eefb8SMircea Trofin const unsigned RegisterBank::InvalidID = UINT_MAX;
23c62eefb8SMircea Trofin 
RegisterBank(unsigned ID,const char * Name,unsigned Size,const uint32_t * CoveredClasses,unsigned NumRegClasses)24c62eefb8SMircea Trofin RegisterBank::RegisterBank(
25c62eefb8SMircea Trofin     unsigned ID, const char *Name, unsigned Size,
26c62eefb8SMircea Trofin     const uint32_t *CoveredClasses, unsigned NumRegClasses)
27c62eefb8SMircea Trofin     : ID(ID), Name(Name), Size(Size) {
28c62eefb8SMircea Trofin   ContainedRegClasses.resize(NumRegClasses);
29c62eefb8SMircea Trofin   ContainedRegClasses.setBitsInMask(CoveredClasses);
30c62eefb8SMircea Trofin }
31c62eefb8SMircea Trofin 
verify(const TargetRegisterInfo & TRI) const32c62eefb8SMircea Trofin bool RegisterBank::verify(const TargetRegisterInfo &TRI) const {
33c62eefb8SMircea Trofin   assert(isValid() && "Invalid register bank");
34c62eefb8SMircea Trofin   for (unsigned RCId = 0, End = TRI.getNumRegClasses(); RCId != End; ++RCId) {
35c62eefb8SMircea Trofin     const TargetRegisterClass &RC = *TRI.getRegClass(RCId);
36c62eefb8SMircea Trofin 
37c62eefb8SMircea Trofin     if (!covers(RC))
38c62eefb8SMircea Trofin       continue;
39c62eefb8SMircea Trofin     // Verify that the register bank covers all the sub classes of the
40c62eefb8SMircea Trofin     // classes it covers.
41c62eefb8SMircea Trofin 
42c62eefb8SMircea Trofin     // Use a different (slow in that case) method than
43c62eefb8SMircea Trofin     // RegisterBankInfo to find the subclasses of RC, to make sure
44c62eefb8SMircea Trofin     // both agree on the covers.
45c62eefb8SMircea Trofin     for (unsigned SubRCId = 0; SubRCId != End; ++SubRCId) {
46c62eefb8SMircea Trofin       const TargetRegisterClass &SubRC = *TRI.getRegClass(RCId);
47c62eefb8SMircea Trofin 
48c62eefb8SMircea Trofin       if (!RC.hasSubClassEq(&SubRC))
49c62eefb8SMircea Trofin         continue;
50c62eefb8SMircea Trofin 
51c62eefb8SMircea Trofin       // Verify that the Size of the register bank is big enough to cover
52c62eefb8SMircea Trofin       // all the register classes it covers.
53c62eefb8SMircea Trofin       assert(getSize() >= TRI.getRegSizeInBits(SubRC) &&
54c62eefb8SMircea Trofin              "Size is not big enough for all the subclasses!");
55c62eefb8SMircea Trofin       assert(covers(SubRC) && "Not all subclasses are covered");
56c62eefb8SMircea Trofin     }
57c62eefb8SMircea Trofin   }
58c62eefb8SMircea Trofin   return true;
59c62eefb8SMircea Trofin }
60c62eefb8SMircea Trofin 
covers(const TargetRegisterClass & RC) const61c62eefb8SMircea Trofin bool RegisterBank::covers(const TargetRegisterClass &RC) const {
62c62eefb8SMircea Trofin   assert(isValid() && "RB hasn't been initialized yet");
63c62eefb8SMircea Trofin   return ContainedRegClasses.test(RC.getID());
64c62eefb8SMircea Trofin }
65c62eefb8SMircea Trofin 
isValid() const66c62eefb8SMircea Trofin bool RegisterBank::isValid() const {
67c62eefb8SMircea Trofin   return ID != InvalidID && Name != nullptr && Size != 0 &&
68c62eefb8SMircea Trofin          // A register bank that does not cover anything is useless.
69c62eefb8SMircea Trofin          !ContainedRegClasses.empty();
70c62eefb8SMircea Trofin }
71c62eefb8SMircea Trofin 
operator ==(const RegisterBank & OtherRB) const72c62eefb8SMircea Trofin bool RegisterBank::operator==(const RegisterBank &OtherRB) const {
73c62eefb8SMircea Trofin   // There must be only one instance of a given register bank alive
74c62eefb8SMircea Trofin   // for the whole compilation.
75c62eefb8SMircea Trofin   // The RegisterBankInfo is supposed to enforce that.
76c62eefb8SMircea Trofin   assert((OtherRB.getID() != getID() || &OtherRB == this) &&
77c62eefb8SMircea Trofin          "ID does not uniquely identify a RegisterBank");
78c62eefb8SMircea Trofin   return &OtherRB == this;
79c62eefb8SMircea Trofin }
80c62eefb8SMircea Trofin 
81c62eefb8SMircea Trofin #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
dump(const TargetRegisterInfo * TRI) const82c62eefb8SMircea Trofin LLVM_DUMP_METHOD void RegisterBank::dump(const TargetRegisterInfo *TRI) const {
83c62eefb8SMircea Trofin   print(dbgs(), /* IsForDebug */ true, TRI);
84c62eefb8SMircea Trofin }
85c62eefb8SMircea Trofin #endif
86c62eefb8SMircea Trofin 
print(raw_ostream & OS,bool IsForDebug,const TargetRegisterInfo * TRI) const87c62eefb8SMircea Trofin void RegisterBank::print(raw_ostream &OS, bool IsForDebug,
88c62eefb8SMircea Trofin                          const TargetRegisterInfo *TRI) const {
89c62eefb8SMircea Trofin   OS << getName();
90c62eefb8SMircea Trofin   if (!IsForDebug)
91c62eefb8SMircea Trofin     return;
92c62eefb8SMircea Trofin   OS << "(ID:" << getID() << ", Size:" << getSize() << ")\n"
93c62eefb8SMircea Trofin      << "isValid:" << isValid() << '\n'
94c62eefb8SMircea Trofin      << "Number of Covered register classes: " << ContainedRegClasses.count()
95c62eefb8SMircea Trofin      << '\n';
96c62eefb8SMircea Trofin   // Print all the subclasses if we can.
97c62eefb8SMircea Trofin   // This register classes may not be properly initialized yet.
98c62eefb8SMircea Trofin   if (!TRI || ContainedRegClasses.empty())
99c62eefb8SMircea Trofin     return;
100c62eefb8SMircea Trofin   assert(ContainedRegClasses.size() == TRI->getNumRegClasses() &&
101c62eefb8SMircea Trofin          "TRI does not match the initialization process?");
102c62eefb8SMircea Trofin   OS << "Covered register classes:\n";
103c62eefb8SMircea Trofin   ListSeparator LS;
104c62eefb8SMircea Trofin   for (unsigned RCId = 0, End = TRI->getNumRegClasses(); RCId != End; ++RCId) {
105c62eefb8SMircea Trofin     const TargetRegisterClass &RC = *TRI->getRegClass(RCId);
106c62eefb8SMircea Trofin 
107c62eefb8SMircea Trofin     if (covers(RC))
108c62eefb8SMircea Trofin       OS << LS << TRI->getRegClassName(&RC);
109c62eefb8SMircea Trofin   }
110c62eefb8SMircea Trofin }
111