|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Namespaces | |
| namespace | detail |
| namespace | impl |
Classes | |
| class | NewPodOp |
| class | NewPodOpAdaptor |
| class | NewPodOpGenericAdaptor |
| class | PodAccessOpInterface |
| class | PODDialect |
| class | PodRefOpInterface |
| 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) |
| SmallVector< RecordValue > | getInitializedRecordValues (ValueRange initialValues, ArrayAttr initializedRecords) |
| 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) |
| std::unique_ptr<::mlir::Pass > | createPodToScalarPass () |
| mlir::ParseResult | parseRecord (mlir::AsmParser &parser, mlir::StringAttr &name, mlir::Type &type) |
| void | printRecord (mlir::AsmPrinter &printer, mlir::StringAttr name, mlir::Type type) |
| mlir::SmallVector< RecordValue > | getInitializedRecordValues (mlir::ValueRange initialValues, mlir::ArrayAttr initializedRecords) |
| 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 >) |
| void | registerPodToScalarPass () |
| void | registerPodToScalarPassPass () |
| void | registerTransformationPasses () |
| using llzk::pod::InitializedRecords = mlir::ArrayRef<RecordValue> |
| using llzk::pod::UnresolvedOp = OpAsmParser::UnresolvedOperand |
| std::unique_ptr<::mlir::Pass > llzk::pod::createPodToScalarPass | ( | ) |
We declare an explicit private instantiation because Pass classes should only be visible by the current library.
Definition at line 91 of file PodToScalarPass.cpp.
| mlir::SmallVector< RecordValue > llzk::pod::getInitializedRecordValues | ( | mlir::ValueRange | initialValues, |
| mlir::ArrayAttr | initializedRecords ) |
| SmallVector< RecordValue > llzk::pod::getInitializedRecordValues | ( | ValueRange | initialValues, |
| ArrayAttr | initializedRecords ) |
| 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 ) |
|
inline |
Definition at line 102 of file TransformationPasses.h.
|
inline |
Definition at line 109 of file TransformationPasses.h.
|
inline |
Definition at line 119 of file TransformationPasses.h.