|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Namespaces | |
| namespace | detail |
Classes | |
| class | NewPodOp |
| class | NewPodOpAdaptor |
| class | NewPodOpGenericAdaptor |
| class | PODDialect |
| class | PodType |
| class | ReadPodOp |
| class | ReadPodOpAdaptor |
| class | ReadPodOpGenericAdaptor |
| struct | RecordValue |
| class | WritePodOp |
| class | WritePodOpAdaptor |
| class | WritePodOpGenericAdaptor |
Typedefs | |
| using | UnresolvedOp = OpAsmParser::UnresolvedOperand |
| using | InitializedRecords = mlir::ArrayRef<RecordValue> |
Functions | |
| ParseResult | parseRecord (AsmParser &parser, StringAttr &name, Type &type) |
| void | printRecord (AsmPrinter &printer, StringAttr name, Type type) |
| ParseResult | parseRecordInitialization (OpAsmParser &parser, StringAttr &name, UnresolvedOp &operand) |
| ParseResult | parseRecordName (AsmParser &parser, FlatSymbolRefAttr &name) |
| void | printRecordName (AsmPrinter &printer, Operation *, FlatSymbolRefAttr name) |
| ParseResult | parsePodType (AsmParser &parser, SmallVector< RecordAttr > &records) |
| void | printPodType (AsmPrinter &printer, ArrayRef< RecordAttr > records) |
| mlir::ParseResult | parseRecord (mlir::AsmParser &parser, mlir::StringAttr &name, mlir::Type &type) |
| void | printRecord (mlir::AsmPrinter &printer, mlir::StringAttr name, mlir::Type type) |
| mlir::ParseResult | parseRecordName (mlir::AsmParser &parser, mlir::FlatSymbolRefAttr &name) |
| void | printRecordName (mlir::AsmPrinter &printer, mlir::Operation *, mlir::FlatSymbolRefAttr name) |
| mlir::ParseResult | parsePodType (mlir::AsmParser &parser, mlir::SmallVector< RecordAttr > &) |
| void | printPodType (mlir::AsmPrinter &printer, mlir::ArrayRef< RecordAttr >) |
| using llzk::pod::InitializedRecords = mlir::ArrayRef<RecordValue> |
| using llzk::pod::UnresolvedOp = OpAsmParser::UnresolvedOperand |
| ParseResult llzk::pod::parsePodType | ( | AsmParser & | parser, |
| SmallVector< RecordAttr > & | records ) |
| mlir::ParseResult llzk::pod::parsePodType | ( | mlir::AsmParser & | parser, |
| mlir::SmallVector< RecordAttr > & | ) |
| ParseResult llzk::pod::parseRecord | ( | AsmParser & | parser, |
| StringAttr & | name, | ||
| Type & | type ) |
| mlir::ParseResult llzk::pod::parseRecord | ( | mlir::AsmParser & | parser, |
| mlir::StringAttr & | name, | ||
| mlir::Type & | type ) |
| ParseResult llzk::pod::parseRecordInitialization | ( | OpAsmParser & | parser, |
| StringAttr & | name, | ||
| UnresolvedOp & | operand ) |
| ParseResult llzk::pod::parseRecordName | ( | AsmParser & | parser, |
| FlatSymbolRefAttr & | name ) |
| mlir::ParseResult llzk::pod::parseRecordName | ( | mlir::AsmParser & | parser, |
| mlir::FlatSymbolRefAttr & | name ) |
| void llzk::pod::printPodType | ( | AsmPrinter & | printer, |
| ArrayRef< RecordAttr > | records ) |
| void llzk::pod::printPodType | ( | mlir::AsmPrinter & | printer, |
| mlir::ArrayRef< RecordAttr > | ) |
| void llzk::pod::printRecord | ( | AsmPrinter & | printer, |
| StringAttr | name, | ||
| Type | type ) |
| void llzk::pod::printRecord | ( | mlir::AsmPrinter & | printer, |
| mlir::StringAttr | name, | ||
| mlir::Type | type ) |
| void llzk::pod::printRecordName | ( | AsmPrinter & | printer, |
| Operation * | , | ||
| FlatSymbolRefAttr | name ) |
| void llzk::pod::printRecordName | ( | mlir::AsmPrinter & | printer, |
| mlir::Operation * | , | ||
| mlir::FlatSymbolRefAttr | name ) |