MLIR  21.0.0git
MathToSPIRVPass.cpp
Go to the documentation of this file.
1 //===- MathToSPIRVPass.cpp - Math to SPIR-V 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 standard dialect to SPIR-V dialect.
10 //
11 //===----------------------------------------------------------------------===//
12 
14 
18 
19 namespace mlir {
20 #define GEN_PASS_DEF_CONVERTMATHTOSPIRVPASS
21 #include "mlir/Conversion/Passes.h.inc"
22 } // namespace mlir
23 
24 using namespace mlir;
25 
26 namespace {
27 /// A pass converting MLIR Math operations into the SPIR-V dialect.
28 class ConvertMathToSPIRVPass
29  : public impl::ConvertMathToSPIRVPassBase<ConvertMathToSPIRVPass> {
30  void runOnOperation() override;
31 };
32 } // namespace
33 
34 void ConvertMathToSPIRVPass::runOnOperation() {
35  MLIRContext *context = &getContext();
36  Operation *op = getOperation();
37 
38  auto targetAttr = spirv::lookupTargetEnvOrDefault(op);
39  std::unique_ptr<ConversionTarget> target =
40  SPIRVConversionTarget::get(targetAttr);
41 
42  SPIRVTypeConverter typeConverter(targetAttr);
43 
44  // Use UnrealizedConversionCast as the bridge so that we don't need to pull
45  // in patterns for other dialects.
46  target->addLegalOp<UnrealizedConversionCastOp>();
47 
48  RewritePatternSet patterns(context);
49  populateMathToSPIRVPatterns(typeConverter, patterns);
50 
51  if (failed(applyPartialConversion(op, *target, std::move(patterns))))
52  return signalPassFailure();
53 }
static MLIRContext * getContext(OpFoldResult val)
MLIRContext is the top-level object for a collection of MLIR operations.
Definition: MLIRContext.h:60
Operation is the basic unit of execution within MLIR.
Definition: Operation.h:88
static std::unique_ptr< SPIRVConversionTarget > get(spirv::TargetEnvAttr targetAttr)
Creates a SPIR-V conversion target for the given target environment.
Type conversion from builtin types to SPIR-V types for shader interface.
TargetEnvAttr lookupTargetEnvOrDefault(Operation *op)
Queries the target environment recursively from enclosing symbol table ops containing the given op or...
Include the generated interface declarations.
void populateMathToSPIRVPatterns(const SPIRVTypeConverter &typeConverter, RewritePatternSet &patterns)
Appends to a pattern list additional patterns for translating Math ops to SPIR-V ops.
const FrozenRewritePatternSet & patterns
LogicalResult applyPartialConversion(ArrayRef< Operation * > ops, const ConversionTarget &target, const FrozenRewritePatternSet &patterns, ConversionConfig config=ConversionConfig())
Below we define several entry points for operation conversion.