LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
10
namespace
llzk
{
11
12
class
LLZKDialect :
public
::mlir::Dialect {
13
explicit
LLZKDialect(
::mlir::MLIRContext
*context);
14
15
void
initialize();
16
friend
class ::mlir::MLIRContext;
17
public
:
18
~LLZKDialect
()
override
;
19
static
constexpr ::llvm::StringLiteral
getDialectNamespace
() {
20
return ::llvm::StringLiteral(
"llzk"
);
21
}
22
24
::mlir::Attribute
parseAttribute
(::mlir::DialectAsmParser &parser,
25
::mlir::Type type)
const override
;
26
28
void
printAttribute
(::mlir::Attribute attr,
29
::mlir::DialectAsmPrinter &os)
const override
;
30
33
::llvm::LogicalResult
verifyOperationAttribute
(
34
::mlir::Operation *op, ::mlir::NamedAttribute attribute)
override
;
35
};
36
}
// namespace llzk
37
MLIR_DECLARE_EXPLICIT_TYPE_ID(
::llzk::LLZKDialect
)
llzk::LLZKDialect
Definition
Dialect.h.inc:12
llzk::LLZKDialect::MLIRContext
friend class ::mlir::MLIRContext
Definition
Dialect.h.inc:16
llzk::LLZKDialect::getDialectNamespace
static constexpr ::llvm::StringLiteral getDialectNamespace()
Definition
Dialect.h.inc:19
llzk::LLZKDialect::parseAttribute
::mlir::Attribute parseAttribute(::mlir::DialectAsmParser &parser, ::mlir::Type type) const override
Parse an attribute registered to this dialect.
llzk::LLZKDialect::printAttribute
void printAttribute(::mlir::Attribute attr, ::mlir::DialectAsmPrinter &os) const override
Print an attribute registered to this dialect.
llzk::LLZKDialect::verifyOperationAttribute
::llvm::LogicalResult verifyOperationAttribute(::mlir::Operation *op, ::mlir::NamedAttribute attribute) override
Provides a hook for verifying dialect attributes attached to the given op.
Definition
Dialect.cpp:112
llzk::LLZKDialect::~LLZKDialect
~LLZKDialect() override
llzk
Definition
AnalysisPassEnums.cpp:19
build
include
llzk
Dialect
LLZK
IR
Dialect.h.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.