MLIR 24.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
17#include "mlir/IR/Builders.h"
18#include "mlir/IR/BuiltinOps.h"
20
21#include "mlir/Dialect/EmitC/IR/EmitCDialect.h.inc"
22#include "mlir/Dialect/EmitC/IR/EmitCEnums.h.inc"
23
24#include <variant>
25
26namespace mlir {
27namespace emitc {
28void buildTerminatedBody(OpBuilder &builder, Location loc);
29
30/// Determines whether \p type is valid in EmitC.
31bool isSupportedEmitCType(mlir::Type type);
32
33/// Determines whether \p type is a valid integer type in EmitC.
34bool isSupportedIntegerType(mlir::Type type);
35
36/// Determines whether \p type is integer like, i.e. it's a supported integer,
37/// an index or opaque type.
38bool isIntegerIndexOrOpaqueType(Type type);
39
40/// Determines whether \p type is a valid floating-point type in EmitC.
41bool isSupportedFloatType(mlir::Type type);
42
43/// Determines whether \p type is a emitc.size_t/ssize_t type.
44bool isPointerWideType(mlir::Type type);
45
46// Either a literal string, or an placeholder for the fmtArgs.
47struct Placeholder {};
48using ReplacementItem = std::variant<StringRef, Placeholder>;
49
50/// Determines whether \p type is a valid fundamental C++ type in EmitC.
52
53} // namespace emitc
54} // namespace mlir
55
56#define GET_ATTRDEF_CLASSES
57#include "mlir/Dialect/EmitC/IR/EmitCAttributes.h.inc"
58
59#define GET_TYPEDEF_CLASSES
60#include "mlir/Dialect/EmitC/IR/EmitCTypes.h.inc"
61
62#define GET_OP_CLASSES
63#include "mlir/Dialect/EmitC/IR/EmitC.h.inc"
64
65#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
void buildTerminatedBody(OpBuilder &builder, Location loc)
Default callback for builders of ops carrying a region.
Definition EmitC.cpp:56
std::variant< StringRef, Placeholder > ReplacementItem
Definition EmitC.h:48
bool isFundamentalType(mlir::Type type)
Determines whether type is a valid fundamental C++ type in EmitC.
Definition EmitC.cpp:135
bool isSupportedFloatType(mlir::Type type)
Determines whether type is a valid floating-point type in EmitC.
Definition EmitC.cpp:115
bool isSupportedEmitCType(mlir::Type type)
Determines whether type is valid in EmitC.
Definition EmitC.cpp:60
bool isPointerWideType(mlir::Type type)
Determines whether type is a emitc.size_t/ssize_t type.
Definition EmitC.cpp:130
bool isIntegerIndexOrOpaqueType(Type type)
Determines whether type is integer like, i.e.
Definition EmitC.cpp:110
bool isSupportedIntegerType(mlir::Type type)
Determines whether type is a valid integer type in EmitC.
Definition EmitC.cpp:94
Include the generated interface declarations.