LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::pod Namespace Reference

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 >)

Typedef Documentation

◆ InitializedRecords

using llzk::pod::InitializedRecords = mlir::ArrayRef<RecordValue>

Definition at line 23 of file Types.h.

◆ UnresolvedOp

using llzk::pod::UnresolvedOp = OpAsmParser::UnresolvedOperand

Definition at line 193 of file Ops.cpp.

Function Documentation

◆ parsePodType() [1/2]

ParseResult llzk::pod::parsePodType ( AsmParser & parser,
SmallVector< RecordAttr > & records )

Definition at line 67 of file Types.cpp.

◆ parsePodType() [2/2]

mlir::ParseResult llzk::pod::parsePodType ( mlir::AsmParser & parser,
mlir::SmallVector< RecordAttr > &  )

◆ parseRecord() [1/2]

ParseResult llzk::pod::parseRecord ( AsmParser & parser,
StringAttr & name,
Type & type )

Definition at line 27 of file Attrs.cpp.

◆ parseRecord() [2/2]

mlir::ParseResult llzk::pod::parseRecord ( mlir::AsmParser & parser,
mlir::StringAttr & name,
mlir::Type & type )

◆ parseRecordInitialization()

ParseResult llzk::pod::parseRecordInitialization ( OpAsmParser & parser,
StringAttr & name,
UnresolvedOp & operand )

Definition at line 196 of file Ops.cpp.

◆ parseRecordName() [1/2]

ParseResult llzk::pod::parseRecordName ( AsmParser & parser,
FlatSymbolRefAttr & name )

Definition at line 397 of file Ops.cpp.

◆ parseRecordName() [2/2]

mlir::ParseResult llzk::pod::parseRecordName ( mlir::AsmParser & parser,
mlir::FlatSymbolRefAttr & name )

◆ printPodType() [1/2]

void llzk::pod::printPodType ( AsmPrinter & printer,
ArrayRef< RecordAttr > records )

Definition at line 79 of file Types.cpp.

◆ printPodType() [2/2]

void llzk::pod::printPodType ( mlir::AsmPrinter & printer,
mlir::ArrayRef< RecordAttr >  )

◆ printRecord() [1/2]

void llzk::pod::printRecord ( AsmPrinter & printer,
StringAttr name,
Type type )

Definition at line 35 of file Attrs.cpp.

◆ printRecord() [2/2]

void llzk::pod::printRecord ( mlir::AsmPrinter & printer,
mlir::StringAttr name,
mlir::Type type )

◆ printRecordName() [1/2]

void llzk::pod::printRecordName ( AsmPrinter & printer,
Operation * ,
FlatSymbolRefAttr name )

Definition at line 401 of file Ops.cpp.

◆ printRecordName() [2/2]

void llzk::pod::printRecordName ( mlir::AsmPrinter & printer,
mlir::Operation * ,
mlir::FlatSymbolRefAttr name )