MLIR  19.0.0git
Target.cpp
Go to the documentation of this file.
1 //===- Target.cpp - MLIR SPIR-V target compilation --------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This files defines SPIR-V target related functions including registration
10 // calls for the `#spirv.target_env` compilation attribute.
11 //
12 //===----------------------------------------------------------------------===//
13 
15 
21 
22 #include <cstdlib>
23 #include <cstring>
24 
25 using namespace mlir;
26 using namespace mlir::spirv;
27 
28 namespace {
29 // SPIR-V implementation of the gpu:TargetAttrInterface.
30 class SPIRVTargetAttrImpl
31  : public gpu::TargetAttrInterface::FallbackModel<SPIRVTargetAttrImpl> {
32 public:
33  std::optional<SmallVector<char, 0>>
34  serializeToObject(Attribute attribute, Operation *module,
35  const gpu::TargetOptions &options) const;
36 
37  Attribute createObject(Attribute attribute,
38  const SmallVector<char, 0> &object,
39  const gpu::TargetOptions &options) const;
40 };
41 } // namespace
42 
43 // Register the SPIR-V dialect, the SPIR-V translation & the target interface.
45  DialectRegistry &registry) {
46  registry.addExtension(+[](MLIRContext *ctx, spirv::SPIRVDialect *dialect) {
47  spirv::TargetEnvAttr::attachInterface<SPIRVTargetAttrImpl>(*ctx);
48  });
49 }
50 
52  MLIRContext &context) {
53  DialectRegistry registry;
55  context.appendDialectRegistry(registry);
56 }
57 
58 // Reuse from existing serializer
59 std::optional<SmallVector<char, 0>> SPIRVTargetAttrImpl::serializeToObject(
60  Attribute attribute, Operation *module,
61  const gpu::TargetOptions &options) const {
62  if (!module)
63  return std::nullopt;
64  auto gpuMod = dyn_cast<gpu::GPUModuleOp>(module);
65  if (!gpuMod) {
66  module->emitError("expected to be a gpu.module op");
67  return std::nullopt;
68  }
69  auto spvMods = gpuMod.getOps<spirv::ModuleOp>();
70  if (spvMods.empty())
71  return std::nullopt;
72 
73  auto spvMod = *spvMods.begin();
75 
76  spvBinary.clear();
77  // Serialize the spirv.module op to SPIR-V blob.
78  if (mlir::failed(spirv::serialize(spvMod, spvBinary))) {
79  spvMod.emitError() << "failed to serialize SPIR-V module";
80  return std::nullopt;
81  }
82 
83  SmallVector<char, 0> spvData(spvBinary.size() * sizeof(uint32_t), 0);
84  std::memcpy(spvData.data(), spvBinary.data(), spvData.size());
85 
86  spvMod.erase();
87  return spvData;
88 }
89 
90 // Prepare Attribute for gpu.binary with serialized kernel object
92 SPIRVTargetAttrImpl::createObject(Attribute attribute,
93  const SmallVector<char, 0> &object,
94  const gpu::TargetOptions &options) const {
95  gpu::CompilationTarget format = options.getCompilationTarget();
96  DictionaryAttr objectProps;
97  Builder builder(attribute.getContext());
98  return builder.getAttr<gpu::ObjectAttr>(
99  attribute, format,
100  builder.getStringAttr(StringRef(object.data(), object.size())),
101  objectProps);
102 }
static llvm::ManagedStatic< PassManagerOptions > options
Attributes are known-constant values of operations.
Definition: Attributes.h:25
MLIRContext * getContext() const
Return the context this attribute belongs to.
Definition: Attributes.cpp:37
This class is a general helper class for creating context-global objects like types,...
Definition: Builders.h:50
The DialectRegistry maps a dialect namespace to a constructor for the matching dialect.
void addExtension(std::unique_ptr< DialectExtensionBase > extension)
Add the given extension to the registry.
MLIRContext is the top-level object for a collection of MLIR operations.
Definition: MLIRContext.h:60
void appendDialectRegistry(const DialectRegistry &registry)
Append the contents of the given dialect registry to the registry associated with this context.
Operation is the basic unit of execution within MLIR.
Definition: Operation.h:88
InFlightDiagnostic emitError(const Twine &message={})
Emit an error about fatal conditions with this operation, reporting up to any diagnostic handlers tha...
Definition: Operation.cpp:268
This class serves as an opaque interface for passing options to the TargetAttrInterface methods.
void registerSPIRVTargetInterfaceExternalModels(DialectRegistry &registry)
Registers the TargetAttrInterface for the #spirv.target_env attribute in the given registry.
Definition: Target.cpp:44
LogicalResult serialize(ModuleOp module, SmallVectorImpl< uint32_t > &binary, const SerializationOptions &options={})
Serializes the given SPIR-V module and writes to binary.
Include the generated interface declarations.
bool failed(LogicalResult result)
Utility function that returns true if the provided LogicalResult corresponds to a failure value.
Definition: LogicalResult.h:72