|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Namespaces | |
| namespace | detail |
| Common interface for operations that read or write from a global. | |
| namespace | impl |
Classes | |
| class | GlobalDefOp |
| class | GlobalDefOpAdaptor |
| class | GlobalDefOpGenericAdaptor |
| class | GlobalDialect |
| LLZK support for global values, defined outside of structs. More... | |
| struct | GlobalMemoryResource |
| Memory resource indicating a global.def memory resource. More... | |
| class | GlobalReadOp |
| class | GlobalReadOpAdaptor |
| class | GlobalReadOpGenericAdaptor |
| class | GlobalRefOpInterface |
| class | GlobalWriteOp |
| class | GlobalWriteOpAdaptor |
| class | GlobalWriteOpGenericAdaptor |
| struct | NormalizedGlobalInitializer |
| A global initializer and its normalized type. More... | |
Functions | |
| mlir::FailureOr< NormalizedGlobalInitializer > | normalizeGlobalInitializer (mlir::Type type, mlir::Attribute value, EmitErrorFn emitError) |
| Normalize unambiguous initializer representations and their declared type. | |
| FailureOr< NormalizedGlobalInitializer > | normalizeGlobalInitializer (Type expectedType, Attribute value, EmitErrorFn emitError) |
| std::unique_ptr<::mlir::Pass > | createConstGlobalPropagationPass () |
| void | registerConstGlobalPropagationPass () |
| void | registerConstGlobalPropagationPassPass () |
| void | registerTransformationPasses () |
| std::unique_ptr<::mlir::Pass > llzk::global::createConstGlobalPropagationPass | ( | ) |
Definition at line 91 of file ConstGlobalPropagationPass.cpp.
| mlir::FailureOr< NormalizedGlobalInitializer > llzk::global::normalizeGlobalInitializer | ( | mlir::Type | type, |
| mlir::Attribute | value, | ||
| EmitErrorFn | emitError ) |
Normalize unambiguous initializer representations and their declared type.
Explicitly conflicting felt fields are preserved so GlobalDefOp verification can reject them without this helper silently choosing one field.
| FailureOr< NormalizedGlobalInitializer > llzk::global::normalizeGlobalInitializer | ( | Type | expectedType, |
| Attribute | value, | ||
| EmitErrorFn | emitError ) |
|
inline |
Definition at line 106 of file TransformationPasses.h.
|
inline |
Definition at line 113 of file TransformationPasses.h.
|
inline |
Definition at line 127 of file TransformationPasses.h.