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 
13 #include "mlir/Conversion/MathToSPIRV/MathToSPIRVPass.h"
14 #include "../PassDetail.h"
15 #include "mlir/Conversion/MathToSPIRV/MathToSPIRV.h"
16 #include "mlir/Dialect/SPIRV/IR/SPIRVDialect.h"
17 #include "mlir/Dialect/SPIRV/Transforms/SPIRVConversion.h"
18 
19 using namespace mlir;
20 
21 namespace {
22 /// A pass converting MLIR Math operations into the SPIR-V dialect.
23 class ConvertMathToSPIRVPass
24     : public ConvertMathToSPIRVBase<ConvertMathToSPIRVPass> {
25   void runOnOperation() override;
26 };
27 } // namespace
28 
29 void ConvertMathToSPIRVPass::runOnOperation() {
30   MLIRContext *context = &getContext();
31   ModuleOp module = getOperation();
32 
33   auto targetAttr = spirv::lookupTargetEnvOrDefault(module);
34   std::unique_ptr<ConversionTarget> target =
35       SPIRVConversionTarget::get(targetAttr);
36 
37   SPIRVTypeConverter typeConverter(targetAttr);
38 
39   // Use UnrealizedConversionCast as the bridge so that we don't need to pull
40   // in patterns for other dialects.
41   auto addUnrealizedCast = [](OpBuilder &builder, Type type, ValueRange inputs,
42                               Location loc) {
43     auto cast = builder.create<UnrealizedConversionCastOp>(loc, type, inputs);
44     return Optional<Value>(cast.getResult(0));
45   };
46   typeConverter.addSourceMaterialization(addUnrealizedCast);
47   typeConverter.addTargetMaterialization(addUnrealizedCast);
48   target->addLegalOp<UnrealizedConversionCastOp>();
49 
50   RewritePatternSet patterns(context);
51   populateMathToSPIRVPatterns(typeConverter, patterns);
52 
53   if (failed(applyPartialConversion(module, *target, std::move(patterns))))
54     return signalPassFailure();
55 }
56 
57 std::unique_ptr<OperationPass<ModuleOp>> mlir::createConvertMathToSPIRVPass() {
58   return std::make_unique<ConvertMathToSPIRVPass>();
59 }
60