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 using Base::getChecked;
40 static StructType get(::mlir::SymbolRefAttr structName);
41 static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName);
42 static StructType get(::mlir::SymbolRefAttr structName, ::mlir::ArrayAttr params);
43 static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName, ::mlir::ArrayAttr params);
44 static StructType get(::mlir::SymbolRefAttr structName, ::llvm::ArrayRef<::mlir::Attribute> paramsRef);
45 static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName, ::llvm::ArrayRef<::mlir::Attribute> paramsRef);
46 static ::mlir::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params);
47 static constexpr ::llvm::StringLiteral getMnemonic() {
48 return {"type"};
49 }
50
51 static ::mlir::Type parse(::mlir::AsmParser &odsParser);
52 void print(::mlir::AsmPrinter &odsPrinter) const;
53 ::mlir::SymbolRefAttr getNameRef() const;
54 ::mlir::ArrayAttr getParams() const;
55};
56} // namespace component
57} // namespace llzk
58MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::component::StructType)
59
60#endif // GET_TYPEDEF_CLASSES
61
::mlir::SymbolRefAttr getNameRef() const
static StructType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName)
Definition Types.cpp.inc:73
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:68
void print(::mlir::AsmPrinter &odsPrinter) const
static StructType get(::mlir::SymbolRefAttr structName)
Definition Types.cpp.inc:69
::mlir::Type parse(::mlir::AsmParser &odsParser)
::mlir::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params)
Definition Types.cpp:34
static constexpr ::llvm::StringLiteral getMnemonic()
Definition Types.h.inc:47
::mlir::ArrayAttr getParams() const
::mlir::FailureOr< SymbolLookupResult< StructDefOp > > getDefinition(::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op) const
Gets the struct op that defines this struct.
Definition Types.cpp:39
::mlir::LogicalResult verifySymbolRef(::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op)
Definition Types.cpp:64
static constexpr ::llvm::StringLiteral name
Definition Types.h.inc:38