LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Dialect.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Dialect Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Dialect.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10namespace llzk {
11namespace felt {
12
13class FeltDialect : public ::mlir::Dialect {
14 explicit FeltDialect(::mlir::MLIRContext *context);
15
16 void initialize();
17 friend class ::mlir::MLIRContext;
18public:
19 ~FeltDialect() override;
20 static constexpr ::llvm::StringLiteral getDialectNamespace() {
21 return ::llvm::StringLiteral("felt");
22 }
23
25 ::mlir::Attribute parseAttribute(::mlir::DialectAsmParser &parser,
26 ::mlir::Type type) const override;
27
29 void printAttribute(::mlir::Attribute attr,
30 ::mlir::DialectAsmPrinter &os) const override;
31
33 ::mlir::Type parseType(::mlir::DialectAsmParser &parser) const override;
34
36 void printType(::mlir::Type type,
37 ::mlir::DialectAsmPrinter &os) const override;
38
41 ::mlir::Operation *materializeConstant(::mlir::OpBuilder &builder,
42 ::mlir::Attribute value,
43 ::mlir::Type type,
44 ::mlir::Location loc) override;
45};
46} // namespace felt
47} // namespace llzk
48MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FeltDialect)
::mlir::Attribute parseAttribute(::mlir::DialectAsmParser &parser, ::mlir::Type type) const override
Parse an attribute registered to this dialect.
friend class ::mlir::MLIRContext
Definition Dialect.h.inc:17
void printAttribute(::mlir::Attribute attr, ::mlir::DialectAsmPrinter &os) const override
Print an attribute registered to this dialect.
::mlir::Operation * materializeConstant(::mlir::OpBuilder &builder, ::mlir::Attribute value, ::mlir::Type type, ::mlir::Location loc) override
Materialize a single constant operation from a given attribute value with the desired resultant type.
Definition Dialect.cpp:183
void printType(::mlir::Type type, ::mlir::DialectAsmPrinter &os) const override
Print a type registered to this dialect.
static constexpr ::llvm::StringLiteral getDialectNamespace()
Definition Dialect.h.inc:20
::mlir::Type parseType(::mlir::DialectAsmParser &parser) const override
Parse a type registered to this dialect.