1 | //===- ArithDialect.cpp - MLIR Arith dialect implementation -----===// |
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 | #include "mlir/Conversion/ConvertToLLVM/ToLLVMInterface.h" |
10 | #include "mlir/Dialect/Arith/IR/Arith.h" |
11 | #include "mlir/Dialect/Bufferization/IR/BufferDeallocationOpInterface.h" |
12 | #include "mlir/Dialect/Bufferization/IR/BufferizableOpInterface.h" |
13 | #include "mlir/Dialect/UB/IR/UBOps.h" |
14 | #include "mlir/IR/Builders.h" |
15 | #include "mlir/IR/DialectImplementation.h" |
16 | #include "mlir/Interfaces/ValueBoundsOpInterface.h" |
17 | #include "mlir/Transforms/InliningUtils.h" |
18 | #include "llvm/ADT/TypeSwitch.h" |
19 | |
20 | using namespace mlir; |
21 | using namespace mlir::arith; |
22 | |
23 | #include "mlir/Dialect/Arith/IR/ArithOpsDialect.cpp.inc" |
24 | #include "mlir/Dialect/Arith/IR/ArithOpsInterfaces.cpp.inc" |
25 | #define GET_ATTRDEF_CLASSES |
26 | #include "mlir/Dialect/Arith/IR/ArithOpsAttributes.cpp.inc" |
27 | |
28 | namespace { |
29 | /// This class defines the interface for handling inlining for arithmetic |
30 | /// dialect operations. |
31 | struct ArithInlinerInterface : public DialectInlinerInterface { |
32 | using DialectInlinerInterface::DialectInlinerInterface; |
33 | |
34 | /// All arithmetic dialect ops can be inlined. |
35 | bool isLegalToInline(Operation *, Region *, bool, IRMapping &) const final { |
36 | return true; |
37 | } |
38 | }; |
39 | } // namespace |
40 | |
41 | void arith::ArithDialect::initialize() { |
42 | addOperations< |
43 | #define GET_OP_LIST |
44 | #include "mlir/Dialect/Arith/IR/ArithOps.cpp.inc" |
45 | >(); |
46 | addAttributes< |
47 | #define GET_ATTRDEF_LIST |
48 | #include "mlir/Dialect/Arith/IR/ArithOpsAttributes.cpp.inc" |
49 | >(); |
50 | addInterfaces<ArithInlinerInterface>(); |
51 | declarePromisedInterface<ConvertToLLVMPatternInterface, ArithDialect>(); |
52 | declarePromisedInterface<bufferization::BufferDeallocationOpInterface, |
53 | SelectOp>(); |
54 | declarePromisedInterfaces<bufferization::BufferizableOpInterface, ConstantOp, |
55 | IndexCastOp, SelectOp>(); |
56 | declarePromisedInterfaces<ValueBoundsOpInterface, AddIOp, ConstantOp, SubIOp, |
57 | MulIOp>(); |
58 | } |
59 | |
60 | /// Materialize an integer or floating point constant. |
61 | Operation *arith::ArithDialect::materializeConstant(OpBuilder &builder, |
62 | Attribute value, Type type, |
63 | Location loc) { |
64 | if (auto poison = dyn_cast<ub::PoisonAttr>(value)) |
65 | return builder.create<ub::PoisonOp>(loc, type, poison); |
66 | |
67 | return ConstantOp::materialize(builder, value, type, loc); |
68 | } |
69 | |