|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| ~BoolDialect () override | |
| ::mlir::Attribute | parseAttribute (::mlir::DialectAsmParser &parser, ::mlir::Type type) const override |
| Parse an attribute registered to this dialect. | |
| 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. | |
Static Public Member Functions | |
| static constexpr ::llvm::StringLiteral | getDialectNamespace () |
Friends | |
| class | ::mlir::MLIRContext |
Definition at line 13 of file Dialect.h.inc.
|
overridedefault |
|
inlinestatic |
Definition at line 20 of file Dialect.h.inc.
|
override |
Materialize a single constant operation from a given attribute value with the desired resultant type.
Definition at line 35 of file Dialect.cpp.
|
override |
Parse an attribute registered to this dialect.
|
override |
Print an attribute registered to this dialect.
|
friend |
Definition at line 17 of file Dialect.h.inc.