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 
13 #include "mlir/Conversion/SCFToSPIRV/SCFToSPIRVPass.h"
14 
15 #include "../PassDetail.h"
16 #include "mlir/Conversion/MemRefToSPIRV/MemRefToSPIRV.h"
17 #include "mlir/Conversion/SCFToSPIRV/SCFToSPIRV.h"
18 #include "mlir/Conversion/StandardToSPIRV/StandardToSPIRV.h"
19 #include "mlir/Dialect/SCF/SCF.h"
20 #include "mlir/Dialect/SPIRV/IR/SPIRVDialect.h"
21 #include "mlir/Dialect/SPIRV/Transforms/SPIRVConversion.h"
22 
23 using namespace mlir;
24 
25 namespace {
26 struct SCFToSPIRVPass : public SCFToSPIRVBase<SCFToSPIRVPass> {
27   void runOnOperation() override;
28 };
29 } // namespace
30 
31 void SCFToSPIRVPass::runOnOperation() {
32   MLIRContext *context = &getContext();
33   ModuleOp module = getOperation();
34 
35   auto targetAttr = spirv::lookupTargetEnvOrDefault(module);
36   std::unique_ptr<ConversionTarget> target =
37       SPIRVConversionTarget::get(targetAttr);
38 
39   SPIRVTypeConverter typeConverter(targetAttr);
40   ScfToSPIRVContext scfContext;
41   RewritePatternSet patterns(context);
42   populateSCFToSPIRVPatterns(typeConverter, scfContext, patterns);
43 
44   // TODO: Change SPIR-V conversion to be progressive and remove the following
45   // patterns.
46   populateStandardToSPIRVPatterns(typeConverter, patterns);
47   populateMemRefToSPIRVPatterns(typeConverter, patterns);
48   populateBuiltinFuncToSPIRVPatterns(typeConverter, patterns);
49 
50   if (failed(applyPartialConversion(module, *target, std::move(patterns))))
51     return signalPassFailure();
52 }
53 
54 std::unique_ptr<OperationPass<ModuleOp>> mlir::createConvertSCFToSPIRVPass() {
55   return std::make_unique<SCFToSPIRVPass>();
56 }
57