MLIR  22.0.0git
SCFToSPIRVPass.cpp
Go to the documentation of this file.
1 //===- SCFToSPIRVPass.cpp - SCF 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 SCF dialect into SPIR-V dialect.
10 //
11 //===----------------------------------------------------------------------===//
12 
14 
22 
23 namespace mlir {
24 #define GEN_PASS_DEF_SCFTOSPIRV
25 #include "mlir/Conversion/Passes.h.inc"
26 } // namespace mlir
27 
28 using namespace mlir;
29 
30 namespace {
31 struct SCFToSPIRVPass : public impl::SCFToSPIRVBase<SCFToSPIRVPass> {
32  void runOnOperation() override;
33 };
34 } // namespace
35 
36 void SCFToSPIRVPass::runOnOperation() {
37  MLIRContext *context = &getContext();
38  Operation *op = getOperation();
39 
40  auto targetAttr = spirv::lookupTargetEnvOrDefault(op);
41  std::unique_ptr<ConversionTarget> target =
42  SPIRVConversionTarget::get(targetAttr);
43 
44  SPIRVTypeConverter typeConverter(targetAttr);
45  ScfToSPIRVContext scfContext;
46  RewritePatternSet patterns(context);
47  populateSCFToSPIRVPatterns(typeConverter, scfContext, patterns);
48 
49  // TODO: Change SPIR-V conversion to be progressive and remove the following
50  // patterns.
52  populateFuncToSPIRVPatterns(typeConverter, patterns);
56 
57  if (failed(applyPartialConversion(op, *target, std::move(patterns))))
58  return signalPassFailure();
59 }
static MLIRContext * getContext(OpFoldResult val)
MLIRContext is the top-level object for a collection of MLIR operations.
Definition: MLIRContext.h:63
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.
void populateArithToSPIRVPatterns(const SPIRVTypeConverter &typeConverter, RewritePatternSet &patterns)
void populateIndexToSPIRVPatterns(const SPIRVTypeConverter &converter, RewritePatternSet &patterns)
detail::InFlightRemark failed(Location loc, RemarkOpts opts)
Report an optimization remark that failed.
Definition: Remarks.h:491
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 populateBuiltinFuncToSPIRVPatterns(const SPIRVTypeConverter &typeConverter, RewritePatternSet &patterns)
Appends to a pattern list additional patterns for translating the builtin func op to the SPIR-V diale...
void populateFuncToSPIRVPatterns(const SPIRVTypeConverter &typeConverter, RewritePatternSet &patterns)
Appends to a pattern list additional patterns for translating Func ops to SPIR-V ops.
Definition: FuncToSPIRV.cpp:87
const FrozenRewritePatternSet & patterns
void populateSCFToSPIRVPatterns(const SPIRVTypeConverter &typeConverter, ScfToSPIRVContext &scfToSPIRVContext, RewritePatternSet &patterns)
Collects a set of patterns to lower from scf.for, scf.if, and loop.terminator to CFG operations withi...
Definition: SCFToSPIRV.cpp:448
void populateMemRefToSPIRVPatterns(const SPIRVTypeConverter &typeConverter, RewritePatternSet &patterns)
Appends to a pattern list additional patterns for translating MemRef ops to SPIR-V ops.
LogicalResult applyPartialConversion(ArrayRef< Operation * > ops, const ConversionTarget &target, const FrozenRewritePatternSet &patterns, ConversionConfig config=ConversionConfig())
Below we define several entry points for operation conversion.