LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Types.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* TypeDef Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9#ifdef GET_TYPEDEF_CLASSES
10#undef GET_TYPEDEF_CLASSES
11
12
13namespace mlir {
14class AsmParser;
15class AsmPrinter;
16} // namespace mlir
17namespace llzk {
18namespace component {
19class StructType;
20namespace detail {
22} // namespace detail
23class StructType : public ::mlir::Type::TypeBase<StructType, ::mlir::Type, detail::StructTypeStorage> {
24public:
25 using Base::Base;
29 ::mlir::FailureOr<SymbolLookupResult<StructDefOp>> getDefinition
30 (::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op) const;
31
32 // Verifies that this type references a valid struct, relative to the given `op`.
33 ::mlir::LogicalResult verifySymbolRef(::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op);
34
37 mlir::LogicalResult hasColumns(mlir::SymbolTableCollection &symbolTable, mlir::Operation *op) const;
38 static constexpr ::llvm::StringLiteral name = "struct.type";
39 static constexpr ::llvm::StringLiteral dialectName = "struct";
40 using Base::getChecked;
41 static StructType get(::mlir::SymbolRefAttr structName);
42 static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName);
43 static StructType get(::mlir::SymbolRefAttr structName, ::mlir::ArrayAttr params);
44 static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName, ::mlir::ArrayAttr params);
45 static StructType get(::mlir::SymbolRefAttr structName, ::llvm::ArrayRef<::mlir::Attribute> paramsRef);
46 static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName, ::llvm::ArrayRef<::mlir::Attribute> paramsRef);
47 static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params);
48 static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params);
49 static constexpr ::llvm::StringLiteral getMnemonic() {
50 return {"type"};
51 }
52
53 static ::mlir::Type parse(::mlir::AsmParser &odsParser);
54 void print(::mlir::AsmPrinter &odsPrinter) const;
55 ::mlir::SymbolRefAttr getNameRef() const;
56 ::mlir::ArrayAttr getParams() const;
57};
58} // namespace component
59} // namespace llzk
60MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::component::StructType)
61
62#endif // GET_TYPEDEF_CLASSES
63
::mlir::SymbolRefAttr getNameRef() const
static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName)
Definition Types.cpp.inc:83
mlir::LogicalResult hasColumns(mlir::SymbolTableCollection &symbolTable, mlir::Operation *op) const
Returns wether the struct this type refers to has fields marked as columns.
Definition Types.cpp:76
static constexpr ::llvm::StringLiteral dialectName
Definition Types.h.inc:39
void print(::mlir::AsmPrinter &odsPrinter) const
static StructType get(::mlir::SymbolRefAttr structName)
Definition Types.cpp.inc:79
::mlir::Type parse(::mlir::AsmParser &odsParser)
::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params)
Definition Types.cpp:40
static constexpr ::llvm::StringLiteral getMnemonic()
Definition Types.h.inc:49
::mlir::ArrayAttr getParams() const
::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params)
::mlir::FailureOr< SymbolLookupResult< StructDefOp > > getDefinition(::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op) const
Gets the struct op that defines this struct.
Definition Types.cpp:47
::mlir::LogicalResult verifySymbolRef(::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op)
Definition Types.cpp:72
static constexpr ::llvm::StringLiteral name
Definition Types.h.inc:38