MLIR  19.0.0git
SPIRVToLLVMPass.cpp
Go to the documentation of this file.
1 //===- SPIRVToLLVMPass.cpp - SPIR-V to LLVM Passes ------------------------===//
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 file implements a pass to convert MLIR SPIR-V ops into LLVM ops
10 //
11 //===----------------------------------------------------------------------===//
12 
14 
20 #include "mlir/Pass/Pass.h"
21 
22 namespace mlir {
23 #define GEN_PASS_DEF_CONVERTSPIRVTOLLVMPASS
24 #include "mlir/Conversion/Passes.h.inc"
25 } // namespace mlir
26 
27 using namespace mlir;
28 
29 namespace {
30 /// A pass converting MLIR SPIR-V operations into LLVM dialect.
31 class ConvertSPIRVToLLVMPass
32  : public impl::ConvertSPIRVToLLVMPassBase<ConvertSPIRVToLLVMPass> {
33  void runOnOperation() override;
34 
35 public:
36  using Base::Base;
37 };
38 } // namespace
39 
40 void ConvertSPIRVToLLVMPass::runOnOperation() {
41  MLIRContext *context = &getContext();
42  ModuleOp module = getOperation();
43 
45 
46  LLVMTypeConverter converter(&getContext(), options);
47 
48  // Encode global variable's descriptor set and binding if they exist.
49  encodeBindAttribute(module);
50 
51  RewritePatternSet patterns(context);
52 
53  populateSPIRVToLLVMTypeConversion(converter, clientAPI);
54 
56  populateSPIRVToLLVMConversionPatterns(converter, patterns, clientAPI);
58 
59  ConversionTarget target(*context);
60  target.addIllegalDialect<spirv::SPIRVDialect>();
61  target.addLegalDialect<LLVM::LLVMDialect>();
62 
63  if (clientAPI != spirv::ClientAPI::OpenCL &&
64  clientAPI != spirv::ClientAPI::Unknown)
65  getOperation()->emitWarning()
66  << "address space mapping for client '"
67  << spirv::stringifyClientAPI(clientAPI) << "' not implemented";
68 
69  // Set `ModuleOp` as legal for `spirv.module` conversion.
70  target.addLegalOp<ModuleOp>();
71  if (failed(applyPartialConversion(module, target, std::move(patterns))))
72  signalPassFailure();
73 }
static MLIRContext * getContext(OpFoldResult val)
static llvm::ManagedStatic< PassManagerOptions > options
This class describes a specific conversion target.
Conversion from types to the LLVM IR dialect.
Definition: TypeConverter.h:34
Options to control the LLVM lowering.
MLIRContext is the top-level object for a collection of MLIR operations.
Definition: MLIRContext.h:60
Include the generated interface declarations.
void populateSPIRVToLLVMFunctionConversionPatterns(LLVMTypeConverter &typeConverter, RewritePatternSet &patterns)
Populates the given list with patterns for function conversion from SPIR-V to LLVM.
void populateSPIRVToLLVMTypeConversion(LLVMTypeConverter &typeConverter, spirv::ClientAPI clientAPIForAddressSpaceMapping=spirv::ClientAPI::Unknown)
Populates type conversions with additional SPIR-V types.
void populateSPIRVToLLVMConversionPatterns(LLVMTypeConverter &typeConverter, RewritePatternSet &patterns, spirv::ClientAPI clientAPIForAddressSpaceMapping=spirv::ClientAPI::Unknown)
Populates the given list with patterns that convert from SPIR-V to LLVM.
void populateSPIRVToLLVMModuleConversionPatterns(LLVMTypeConverter &typeConverter, RewritePatternSet &patterns)
Populates the given patterns for module conversion from SPIR-V to LLVM.
void encodeBindAttribute(ModuleOp module)
Encodes global variable's descriptor set and binding into its name if they both exist.
LogicalResult applyPartialConversion(ArrayRef< Operation * > ops, const ConversionTarget &target, const FrozenRewritePatternSet &patterns, ConversionConfig config=ConversionConfig())
Below we define several entry points for operation conversion.
bool failed(LogicalResult result)
Utility function that returns true if the provided LogicalResult corresponds to a failure value.
Definition: LogicalResult.h:72