LLZK 3.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 polymorphic {
12
13class PolymorphicDialect : public ::mlir::Dialect {
14 explicit PolymorphicDialect(::mlir::MLIRContext *context);
15
16 void initialize();
17 friend class ::mlir::MLIRContext;
18public:
20 static constexpr ::llvm::StringLiteral getDialectNamespace() {
21 return ::llvm::StringLiteral("poly");
22 }
23
25 ::mlir::Type parseType(::mlir::DialectAsmParser &parser) const override;
26
28 void printType(::mlir::Type type,
29 ::mlir::DialectAsmPrinter &os) const override;
30
33 ::mlir::Operation *materializeConstant(::mlir::OpBuilder &builder,
34 ::mlir::Attribute value,
35 ::mlir::Type type,
36 ::mlir::Location loc) override;
37};
38} // namespace polymorphic
39} // namespace llzk
40MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::polymorphic::PolymorphicDialect)
void printType(::mlir::Type type, ::mlir::DialectAsmPrinter &os) const override
Print a type 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:34
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.