MLIR  19.0.0git
ArithToEmitCPass.cpp
Go to the documentation of this file.
1 //===- ArithToEmitCPass.cpp - Arith to EmitC Pass ---------------*- C++ -*-===//
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 the Arith dialect to the EmitC
10 // dialect.
11 //
12 //===----------------------------------------------------------------------===//
13 
15 
19 #include "mlir/Pass/Pass.h"
21 
22 namespace mlir {
23 #define GEN_PASS_DEF_CONVERTARITHTOEMITC
24 #include "mlir/Conversion/Passes.h.inc"
25 } // namespace mlir
26 
27 using namespace mlir;
28 
29 namespace {
30 struct ConvertArithToEmitC
31  : public impl::ConvertArithToEmitCBase<ConvertArithToEmitC> {
32  void runOnOperation() override;
33 };
34 } // namespace
35 
36 void ConvertArithToEmitC::runOnOperation() {
37  ConversionTarget target(getContext());
38 
39  target.addLegalDialect<emitc::EmitCDialect>();
40  target.addIllegalDialect<arith::ArithDialect>();
41 
42  RewritePatternSet patterns(&getContext());
43 
44  TypeConverter typeConverter;
45  typeConverter.addConversion([](Type type) { return type; });
46 
47  populateArithToEmitCPatterns(typeConverter, patterns);
48 
49  if (failed(
50  applyPartialConversion(getOperation(), target, std::move(patterns))))
51  signalPassFailure();
52 }
static MLIRContext * getContext(OpFoldResult val)
This class describes a specific conversion target.
Type conversion class.
void addConversion(FnT &&callback)
Register a conversion function.
Instances of the Type class are uniqued, have an immutable identifier and an optional mutable compone...
Definition: Types.h:74
Include the generated interface declarations.
void populateArithToEmitCPatterns(TypeConverter &typeConverter, RewritePatternSet &patterns)
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