MIRPrinter.h

Go to the documentation of this file.

//===- MIRPrinter.h - MIR serialization format printer ----------*- 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 declares the functions that print out the LLVM IR and the machine
// functions using the MIR serialization format.
//
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_CODEGEN_MIRPRINTER_H
#define LLVM_CODEGEN_MIRPRINTER_H
 
#include "llvm/CodeGen/MachinePassManager.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/raw_ostream.h"
 
namespace llvm {
 
class MachineBasicBlock;
class MachineFunction;
class MachineModuleInfo;
class Module;
class VirtRegMap;
template <typename T> class SmallVectorImpl;
 
class PrintMIRPreparePass : public RequiredPassInfoMixin<PrintMIRPreparePass> {
  raw_ostream &OS;
 
public:
  PrintMIRPreparePass(raw_ostream &OS = errs()) : OS(OS) {}
  LLVM_ABI PreservedAnalyses run(Module &M, ModuleAnalysisManager &MFAM);
};
 
class PrintMIRPass : public RequiredPassInfoMixin<PrintMIRPass> {
  raw_ostream &OS;
 
public:
  PrintMIRPass(raw_ostream &OS = errs()) : OS(OS) {}
  LLVM_ABI PreservedAnalyses run(MachineFunction &MF,
                                 MachineFunctionAnalysisManager &MFAM);
};
 
/// Print LLVM IR using the MIR serialization format to the given output stream.
LLVM_ABI void printMIR(raw_ostream &OS, const Module &M);
 
/// Print MIR using Legacy Pass Manager (uses MachineModuleInfo).
/// If \p VRM is non-null, the printer will serialize VirtRegMap state
/// (split-from, assigned-phys).
LLVM_ABI void printMIR(raw_ostream &OS, const MachineModuleInfo &MMI,
                       const MachineFunction &MF,
                       const VirtRegMap *VRM = nullptr);
 
/// Print MIR using New Pass Manager (uses FunctionAnalysisManager).
/// If \p VRM is non-null, the printer will serialize VirtRegMap state
/// (split-from, assigned-phys).
LLVM_ABI void printMIR(raw_ostream &OS, FunctionAnalysisManager &FAM,
                       const MachineFunction &MF,
                       const VirtRegMap *VRM = nullptr);
 
/// Determine a possible list of successors of a basic block based on the
/// basic block machine operand being used inside the block. This should give
/// you the correct list of successor blocks in most cases except for things
/// like jump tables where the basic block references can't easily be found.
/// The MIRPRinter will skip printing successors if they match the result of
/// this function and the parser will use this function to construct a list if
/// it is missing.
LLVM_ABI void guessSuccessors(const MachineBasicBlock &MBB,
                              SmallVectorImpl<MachineBasicBlock *> &Result,
                              bool &IsFallthrough);
 
} // end namespace llvm
 
#endif