MLIR  21.0.0git
EmitC.h
Go to the documentation of this file.
1 //===- EmitC.h - EmitC Dialect ----------------------------------*- 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 declares EmitC in MLIR.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef MLIR_DIALECT_EMITC_IR_EMITC_H
14 #define MLIR_DIALECT_EMITC_IR_EMITC_H
15 
18 #include "mlir/IR/Builders.h"
19 #include "mlir/IR/BuiltinOps.h"
20 #include "mlir/IR/BuiltinTypes.h"
21 #include "mlir/IR/Dialect.h"
26 
27 #include "mlir/Dialect/EmitC/IR/EmitCDialect.h.inc"
28 #include "mlir/Dialect/EmitC/IR/EmitCEnums.h.inc"
29 
30 #include <variant>
31 
32 namespace mlir {
33 namespace emitc {
34 void buildTerminatedBody(OpBuilder &builder, Location loc);
35 
36 /// Determines whether \p type is valid in EmitC.
38 
39 /// Determines whether \p type is a valid integer type in EmitC.
41 
42 /// Determines whether \p type is integer like, i.e. it's a supported integer,
43 /// an index or opaque type.
44 bool isIntegerIndexOrOpaqueType(Type type);
45 
46 /// Determines whether \p type is a valid floating-point type in EmitC.
48 
49 /// Determines whether \p type is a emitc.size_t/ssize_t type.
50 bool isPointerWideType(mlir::Type type);
51 
52 // Either a literal string, or an placeholder for the fmtArgs.
53 struct Placeholder {};
54 using ReplacementItem = std::variant<StringRef, Placeholder>;
55 
56 } // namespace emitc
57 } // namespace mlir
58 
59 #define GET_ATTRDEF_CLASSES
60 #include "mlir/Dialect/EmitC/IR/EmitCAttributes.h.inc"
61 
62 #define GET_TYPEDEF_CLASSES
63 #include "mlir/Dialect/EmitC/IR/EmitCTypes.h.inc"
64 
65 #define GET_OP_CLASSES
66 #include "mlir/Dialect/EmitC/IR/EmitC.h.inc"
67 
68 #endif // MLIR_DIALECT_EMITC_IR_EMITC_H
Instances of the Type class are uniqued, have an immutable identifier and an optional mutable compone...
Definition: Types.h:74
std::variant< StringRef, Placeholder > ReplacementItem
Definition: EmitC.h:54
void buildTerminatedBody(OpBuilder &builder, Location loc)
Default callback for builders of ops carrying a region.
Definition: EmitC.cpp:58
bool isSupportedFloatType(mlir::Type type)
Determines whether type is a valid floating-point type in EmitC.
Definition: EmitC.cpp:117
bool isSupportedEmitCType(mlir::Type type)
Determines whether type is valid in EmitC.
Definition: EmitC.cpp:62
bool isPointerWideType(mlir::Type type)
Determines whether type is a emitc.size_t/ssize_t type.
Definition: EmitC.cpp:135
bool isIntegerIndexOrOpaqueType(Type type)
Determines whether type is integer like, i.e.
Definition: EmitC.cpp:112
bool isSupportedIntegerType(mlir::Type type)
Determines whether type is a valid integer type in EmitC.
Definition: EmitC.cpp:96
Include the generated interface declarations.