VirtRegMap.h

Go to the documentation of this file.

//===- llvm/CodeGen/VirtRegMap.h - Virtual Register Map ---------*- 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
//
//===----------------------------------------------------------------------===//
//
// This file implements a virtual register map. This maps virtual registers to
// physical registers and virtual registers to stack slots. It is created and
// updated by a register allocator and then used by a machine code rewriter that
// adds spill code and rewrites virtual into physical register references.
//
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_CODEGEN_VIRTREGMAP_H
#define LLVM_CODEGEN_VIRTREGMAP_H
 
#include "llvm/ADT/IndexedMap.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/TargetRegisterInfo.h"
#include "llvm/CodeGen/TileShapeInfo.h"
#include "llvm/IR/PassManager.h"
#include "llvm/Pass.h"
#include "llvm/Support/Compiler.h"
#include <cassert>
 
namespace llvm {
 
class MachineFunction;
class MachineRegisterInfo;
class raw_ostream;
class TargetInstrInfo;
 
class VirtRegMap {
  MachineRegisterInfo *MRI = nullptr;
  const TargetInstrInfo *TII = nullptr;
  const TargetRegisterInfo *TRI = nullptr;
  MachineFunction *MF = nullptr;
 
  /// Virt2PhysMap - This is a virtual to physical register
  /// mapping. Each virtual register is required to have an entry in
  /// it; even spilled virtual registers (the register mapped to a
  /// spilled register is the temporary used to load it from the
  /// stack).
  IndexedMap<MCRegister, VirtReg2IndexFunctor> Virt2PhysMap;
 
  /// Virt2StackSlotMap - This is virtual register to stack slot
  /// mapping. Each spilled virtual register has an entry in it
  /// which corresponds to the stack slot this register is spilled
  /// at.
  IndexedMap<int, VirtReg2IndexFunctor> Virt2StackSlotMap;
 
  /// Virt2SplitMap - This is virtual register to splitted virtual register
  /// mapping.
  IndexedMap<Register, VirtReg2IndexFunctor> Virt2SplitMap;
 
  /// Virt2ShapeMap - For X86 AMX register whose register is bound shape
  /// information.
  DenseMap<Register, ShapeT> Virt2ShapeMap;
 
  /// createSpillSlot - Allocate a spill slot for RC from MFI.
  unsigned createSpillSlot(const TargetRegisterClass *RC);
 
public:
  static constexpr int NO_STACK_SLOT = INT_MAX;
 
  VirtRegMap() : Virt2StackSlotMap(NO_STACK_SLOT) {}
  VirtRegMap(const VirtRegMap &) = delete;
  VirtRegMap &operator=(const VirtRegMap &) = delete;
  VirtRegMap(VirtRegMap &&) = default;
 
  LLVM_ABI void init(MachineFunction &MF);
 
  MachineFunction &getMachineFunction() const {
    assert(MF && "getMachineFunction called before runOnMachineFunction");
    return *MF;
  }
 
  MachineRegisterInfo &getRegInfo() const { return *MRI; }
  const TargetRegisterInfo &getTargetRegInfo() const { return *TRI; }
 
  LLVM_ABI void grow();
 
  /// returns true if the specified virtual register is
  /// mapped to a physical register
  bool hasPhys(Register virtReg) const { return getPhys(virtReg).isValid(); }
 
  /// returns the physical register mapped to the specified
  /// virtual register
  MCRegister getPhys(Register virtReg) const {
    assert(virtReg.isVirtual());
    return Virt2PhysMap[virtReg];
  }
 
  /// creates a mapping for the specified virtual register to
  /// the specified physical register
  LLVM_ABI void assignVirt2Phys(Register virtReg, MCRegister physReg);
 
  bool isShapeMapEmpty() const { return Virt2ShapeMap.empty(); }
 
  bool hasShape(Register virtReg) const {
    return Virt2ShapeMap.contains(virtReg);
  }
 
  ShapeT getShape(Register virtReg) const {
    assert(virtReg.isVirtual());
    return Virt2ShapeMap.lookup(virtReg);
  }
 
  void assignVirt2Shape(Register virtReg, ShapeT shape) {
    Virt2ShapeMap[virtReg] = shape;
  }
 
  /// clears the specified virtual register's, physical
  /// register mapping
  void clearVirt(Register virtReg) {
    assert(virtReg.isVirtual());
    assert(Virt2PhysMap[virtReg] &&
           "attempt to clear a not assigned virtual register");
    Virt2PhysMap[virtReg] = MCRegister();
  }
 
  /// clears all virtual to physical register mappings
  void clearAllVirt() {
    Virt2PhysMap.clear();
    grow();
  }
 
  /// returns true if VirtReg is assigned to its preferred physreg.
  LLVM_ABI bool hasPreferredPhys(Register VirtReg) const;
 
  /// returns true if VirtReg has a known preferred register.
  /// This returns false if VirtReg has a preference that is a virtual
  /// register that hasn't been assigned yet.
  LLVM_ABI bool hasKnownPreference(Register VirtReg) const;
 
  /// records virtReg is a split live interval from SReg.
  void setIsSplitFromReg(Register virtReg, Register SReg) {
    Virt2SplitMap[virtReg] = SReg;
    if (hasShape(SReg)) {
      Virt2ShapeMap[virtReg] = getShape(SReg);
    }
  }
 
  /// returns the live interval virtReg is split from.
  Register getPreSplitReg(Register virtReg) const {
    return Virt2SplitMap[virtReg];
  }
 
  /// getOriginal - Return the original virtual register that VirtReg descends
  /// from through splitting.
  /// A register that was not created by splitting is its own original.
  /// This operation is idempotent.
  Register getOriginal(Register VirtReg) const {
    Register Orig = getPreSplitReg(VirtReg);
    return Orig ? Orig : VirtReg;
  }
 
  /// returns true if the specified virtual register is not
  /// mapped to a stack slot or rematerialized.
  bool isAssignedReg(Register virtReg) const {
    if (getStackSlot(virtReg) == NO_STACK_SLOT)
      return true;
    // Split register can be assigned a physical register as well as a
    // stack slot or remat id.
    return (Virt2SplitMap[virtReg] && Virt2PhysMap[virtReg]);
  }
 
  /// returns the stack slot mapped to the specified virtual
  /// register
  int getStackSlot(Register virtReg) const {
    assert(virtReg.isVirtual());
    return Virt2StackSlotMap[virtReg];
  }
 
  /// create a mapping for the specifed virtual register to
  /// the next available stack slot
  LLVM_ABI int assignVirt2StackSlot(Register virtReg);
 
  /// create a mapping for the specified virtual register to
  /// the specified stack slot
  LLVM_ABI void assignVirt2StackSlot(Register virtReg, int SS);
 
  LLVM_ABI void print(raw_ostream &OS, const Module *M = nullptr) const;
  LLVM_ABI void dump() const;
};
 
inline raw_ostream &operator<<(raw_ostream &OS, const VirtRegMap &VRM) {
  VRM.print(OS);
  return OS;
}
 
class VirtRegMapWrapperLegacy : public MachineFunctionPass {
  VirtRegMap VRM;
 
public:
  LLVM_ABI static char ID;
 
  VirtRegMapWrapperLegacy() : MachineFunctionPass(ID) {}
 
  void print(raw_ostream &OS, const Module *M = nullptr) const override {
    VRM.print(OS, M);
  }
 
  VirtRegMap &getVRM() { return VRM; }
  const VirtRegMap &getVRM() const { return VRM; }
 
  bool runOnMachineFunction(MachineFunction &MF) override {
    VRM.init(MF);
    return false;
  }
 
  void getAnalysisUsage(AnalysisUsage &AU) const override {
    AU.setPreservesAll();
    MachineFunctionPass::getAnalysisUsage(AU);
  }
};
 
class VirtRegMapAnalysis : public AnalysisInfoMixin<VirtRegMapAnalysis> {
  friend AnalysisInfoMixin<VirtRegMapAnalysis>;
  LLVM_ABI static AnalysisKey Key;
 
public:
  using Result = VirtRegMap;
 
  LLVM_ABI VirtRegMap run(MachineFunction &MF,
                          MachineFunctionAnalysisManager &MAM);
};
 
class VirtRegMapPrinterPass : public PassInfoMixin<VirtRegMapPrinterPass> {
  raw_ostream &OS;
 
public:
  explicit VirtRegMapPrinterPass(raw_ostream &OS) : OS(OS) {}
  LLVM_ABI PreservedAnalyses run(MachineFunction &MF,
                                 MachineFunctionAnalysisManager &MFAM);
  static bool isRequired() { return true; }
};
 
class VirtRegRewriterPass : public PassInfoMixin<VirtRegRewriterPass> {
  bool ClearVirtRegs = true;
 
public:
  VirtRegRewriterPass(bool ClearVirtRegs = true)
      : ClearVirtRegs(ClearVirtRegs) {}
  LLVM_ABI PreservedAnalyses run(MachineFunction &MF,
                                 MachineFunctionAnalysisManager &MFAM);
 
  static bool isRequired() { return true; }
 
  LLVM_ABI void printPipeline(raw_ostream &OS,
                              function_ref<StringRef(StringRef)>) const;
 
  MachineFunctionProperties getSetProperties() const {
    if (ClearVirtRegs)
      return MachineFunctionProperties().setNoVRegs();
    return {};
  }
};
 
} // end llvm namespace
 
#endif // LLVM_CODEGEN_VIRTREGMAP_H