123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110 |
- //===- llvm/CodeGen/GlobalISel/RegisterBank.cpp - Register Bank --*- C++ -*-==//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- /// \file
- /// This file implements the RegisterBank class.
- //===----------------------------------------------------------------------===//
- #include "llvm/CodeGen/GlobalISel/RegisterBank.h"
- #include "llvm/ADT/StringExtras.h"
- #include "llvm/CodeGen/TargetRegisterInfo.h"
- #include "llvm/Config/llvm-config.h"
- #include "llvm/Support/Debug.h"
- #define DEBUG_TYPE "registerbank"
- using namespace llvm;
- const unsigned RegisterBank::InvalidID = UINT_MAX;
- RegisterBank::RegisterBank(
- unsigned ID, const char *Name, unsigned Size,
- const uint32_t *CoveredClasses, unsigned NumRegClasses)
- : ID(ID), Name(Name), Size(Size) {
- ContainedRegClasses.resize(NumRegClasses);
- ContainedRegClasses.setBitsInMask(CoveredClasses);
- }
- bool RegisterBank::verify(const TargetRegisterInfo &TRI) const {
- assert(isValid() && "Invalid register bank");
- for (unsigned RCId = 0, End = TRI.getNumRegClasses(); RCId != End; ++RCId) {
- const TargetRegisterClass &RC = *TRI.getRegClass(RCId);
- if (!covers(RC))
- continue;
- // Verify that the register bank covers all the sub classes of the
- // classes it covers.
- // Use a different (slow in that case) method than
- // RegisterBankInfo to find the subclasses of RC, to make sure
- // both agree on the covers.
- for (unsigned SubRCId = 0; SubRCId != End; ++SubRCId) {
- const TargetRegisterClass &SubRC = *TRI.getRegClass(RCId);
- if (!RC.hasSubClassEq(&SubRC))
- continue;
- // Verify that the Size of the register bank is big enough to cover
- // all the register classes it covers.
- assert(getSize() >= TRI.getRegSizeInBits(SubRC) &&
- "Size is not big enough for all the subclasses!");
- assert(covers(SubRC) && "Not all subclasses are covered");
- }
- }
- return true;
- }
- bool RegisterBank::covers(const TargetRegisterClass &RC) const {
- assert(isValid() && "RB hasn't been initialized yet");
- return ContainedRegClasses.test(RC.getID());
- }
- bool RegisterBank::isValid() const {
- return ID != InvalidID && Name != nullptr && Size != 0 &&
- // A register bank that does not cover anything is useless.
- !ContainedRegClasses.empty();
- }
- bool RegisterBank::operator==(const RegisterBank &OtherRB) const {
- // There must be only one instance of a given register bank alive
- // for the whole compilation.
- // The RegisterBankInfo is supposed to enforce that.
- assert((OtherRB.getID() != getID() || &OtherRB == this) &&
- "ID does not uniquely identify a RegisterBank");
- return &OtherRB == this;
- }
- #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
- LLVM_DUMP_METHOD void RegisterBank::dump(const TargetRegisterInfo *TRI) const {
- print(dbgs(), /* IsForDebug */ true, TRI);
- }
- #endif
- void RegisterBank::print(raw_ostream &OS, bool IsForDebug,
- const TargetRegisterInfo *TRI) const {
- OS << getName();
- if (!IsForDebug)
- return;
- OS << "(ID:" << getID() << ", Size:" << getSize() << ")\n"
- << "isValid:" << isValid() << '\n'
- << "Number of Covered register classes: " << ContainedRegClasses.count()
- << '\n';
- // Print all the subclasses if we can.
- // This register classes may not be properly initialized yet.
- if (!TRI || ContainedRegClasses.empty())
- return;
- assert(ContainedRegClasses.size() == TRI->getNumRegClasses() &&
- "TRI does not match the initialization process?");
- OS << "Covered register classes:\n";
- ListSeparator LS;
- for (unsigned RCId = 0, End = TRI->getNumRegClasses(); RCId != End; ++RCId) {
- const TargetRegisterClass &RC = *TRI->getRegClass(RCId);
- if (covers(RC))
- OS << LS << TRI->getRegClassName(&RC);
- }
- }
|