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
namespace
felt
{
12
13
class
FeltDialect :
public
::mlir::Dialect {
14
explicit
FeltDialect(
::mlir::MLIRContext
*context);
15
16
void
initialize();
17
friend
class ::mlir::MLIRContext;
18
public
:
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
48
MLIR_DECLARE_EXPLICIT_TYPE_ID(
::llzk::felt::FeltDialect
)
llzk::felt::FeltDialect
Definition
Dialect.h.inc:13
llzk::felt::FeltDialect::parseAttribute
::mlir::Attribute parseAttribute(::mlir::DialectAsmParser &parser, ::mlir::Type type) const override
Parse an attribute registered to this dialect.
llzk::felt::FeltDialect::MLIRContext
friend class ::mlir::MLIRContext
Definition
Dialect.h.inc:17
llzk::felt::FeltDialect::printAttribute
void printAttribute(::mlir::Attribute attr, ::mlir::DialectAsmPrinter &os) const override
Print an attribute registered to this dialect.
llzk::felt::FeltDialect::materializeConstant
::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:256
llzk::felt::FeltDialect::printType
void printType(::mlir::Type type, ::mlir::DialectAsmPrinter &os) const override
Print a type registered to this dialect.
Definition
Types.cpp.inc:155
llzk::felt::FeltDialect::getDialectNamespace
static constexpr ::llvm::StringLiteral getDialectNamespace()
Definition
Dialect.h.inc:20
llzk::felt::FeltDialect::~FeltDialect
~FeltDialect() override
llzk::felt::FeltDialect::parseType
::mlir::Type parseType(::mlir::DialectAsmParser &parser) const override
Parse a type registered to this dialect.
Definition
Types.cpp.inc:142
llzk::felt
Definition
Attrs.cpp:14
llzk
Definition
AnalysisPassEnums.cpp:19
build
include
llzk
Dialect
Felt
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.