ModuleToObject.h

Go to the documentation of this file.

//===- ModuleToObject.h - Module to object base class -----------*- 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 base class for transforming operations into binary
// objects.
//
//===----------------------------------------------------------------------===//
 
#ifndef MLIR_TARGET_LLVM_MODULETOOBJECT_H
#define MLIR_TARGET_LLVM_MODULETOOBJECT_H
 
#include "mlir/IR/Operation.h"
#include "llvm/IR/Module.h"
 
namespace llvm {
class TargetMachine;
} // namespace llvm
 
namespace mlir {
namespace LLVM {
class ModuleTranslation;
/// Utility base class for transforming operations into binary objects, by
/// default it returns the serialized LLVM bitcode for the module. The
/// operations being transformed must be translatable into LLVM IR.
class ModuleToObject {
public:
  ModuleToObject(
      Operation &module, StringRef triple, StringRef chip,
      StringRef features = {}, int optLevel = 3,
      function_ref<void(llvm::Module &)> initialLlvmIRCallback = {},
      function_ref<void(llvm::Module &)> linkedLlvmIRCallback = {},
      function_ref<void(llvm::Module &)> optimizedLlvmIRCallback = {},
      function_ref<void(StringRef)> isaCallback = {});
  virtual ~ModuleToObject();
 
  /// Returns the operation being serialized.
  Operation &getOperation();
 
  /// Runs the serialization pipeline, returning `std::nullopt` on error.
  virtual std::optional<SmallVector<char, 0>> run();
 
  /// Translate LLVM module to textual ISA.
  static FailureOr<SmallString<0>>
  translateModuleToISA(llvm::Module &llvmModule,
                       llvm::TargetMachine &targetMachine,
                       function_ref<InFlightDiagnostic()> emitError);
 
protected:
  // Hooks to be implemented by derived classes.
 
  /// Hook for configuring the LLVM context, called by `run` before translating
  /// the operation. By default it installs a
  /// `remark::LLVMToMLIRDiagnosticHandler` to report LLVM diagnostics and
  /// remarks through MLIR.
  virtual void setupLLVMContext(llvm::LLVMContext &llvmContext);
 
  /// Hook for computing the Datalayout
  virtual void setDataLayoutAndTriple(llvm::Module &module);
 
  /// Hook for loading bitcode files, returns std::nullopt on failure.
  virtual std::optional<SmallVector<std::unique_ptr<llvm::Module>>>
  loadBitcodeFiles(llvm::Module &module) {
    return SmallVector<std::unique_ptr<llvm::Module>>();
  }
 
  /// Hook for performing additional actions on a loaded bitcode file.
  virtual LogicalResult handleBitcodeFile(llvm::Module &module) {
    return success();
  }
 
  /// Hook for performing additional actions on the llvmModule pre linking.
  virtual void handleModulePreLink(llvm::Module &module) {}
 
  /// Hook for performing additional actions on the llvmModule post linking.
  virtual void handleModulePostLink(llvm::Module &module) {}
 
  /// Serializes the LLVM IR bitcode to an object file, by default it serializes
  /// to LLVM bitcode.
  virtual FailureOr<SmallVector<char, 0>>
  moduleToObject(llvm::Module &llvmModule);
 
protected:
  /// Create the target machine based on the target triple and chip.
  /// This can fail if the target is not available.
  FailureOr<llvm::TargetMachine *> getOrCreateTargetMachine();
 
  /// Loads a bitcode file from path.
  std::unique_ptr<llvm::Module> loadBitcodeFile(llvm::LLVMContext &context,
                                                StringRef path);
 
  /// Loads multiple bitcode files.
  LogicalResult loadBitcodeFilesFromList(
      llvm::LLVMContext &context, ArrayRef<Attribute> librariesToLink,
      SmallVector<std::unique_ptr<llvm::Module>> &llvmModules,
      bool failureOnError = true);
 
  /// Translates the operation to LLVM IR.
  std::unique_ptr<llvm::Module>
  translateToLLVMIR(llvm::LLVMContext &llvmContext);
 
  /// Link the llvmModule to other bitcode file.
  LogicalResult linkFiles(llvm::Module &module,
                          SmallVector<std::unique_ptr<llvm::Module>> &&libs);
 
  /// Optimize the module.
  virtual LogicalResult optimizeModule(llvm::Module &module, int optL);
 
protected:
  /// Module to transform to a binary object.
  Operation &module;
 
  /// Target triple.
  StringRef triple;
 
  /// Target chip.
  StringRef chip;
 
  /// Target features.
  StringRef features;
 
  /// Optimization level.
  int optLevel;
 
  /// Callback invoked with the initial LLVM IR for the device module.
  function_ref<void(llvm::Module &)> initialLlvmIRCallback;
 
  /// Callback invoked with LLVM IR for the device module after
  /// linking the device libraries.
  function_ref<void(llvm::Module &)> linkedLlvmIRCallback;
 
  /// Callback invoked with LLVM IR for the device module after
  /// LLVM optimizations but before codegen.
  function_ref<void(llvm::Module &)> optimizedLlvmIRCallback;
 
  /// Callback invoked with the target ISA for the device,
  /// for example PTX assembly.
  function_ref<void(StringRef)> isaCallback;
 
private:
  /// The TargetMachine created for the given Triple, if available.
  /// Accessible through `getOrCreateTargetMachine()`.
  std::unique_ptr<llvm::TargetMachine> targetMachine;
};
} // namespace LLVM
} // namespace mlir
 
#endif // MLIR_TARGET_LLVM_MODULETOOBJECT_H