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

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

Function Documentation

◆ createConstGlobalPropagationPass()

std::unique_ptr<::mlir::Pass > llzk::global::createConstGlobalPropagationPass ( )

Definition at line 91 of file ConstGlobalPropagationPass.cpp.

◆ normalizeGlobalInitializer() [1/2]

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.

◆ normalizeGlobalInitializer() [2/2]

FailureOr< NormalizedGlobalInitializer > llzk::global::normalizeGlobalInitializer ( Type expectedType,
Attribute value,
EmitErrorFn emitError )

Definition at line 134 of file Ops.cpp.

◆ registerConstGlobalPropagationPass()

void llzk::global::registerConstGlobalPropagationPass ( )
inline

Definition at line 106 of file TransformationPasses.h.

◆ registerConstGlobalPropagationPassPass()

void llzk::global::registerConstGlobalPropagationPassPass ( )
inline

Definition at line 113 of file TransformationPasses.h.

◆ registerTransformationPasses()

void llzk::global::registerTransformationPasses ( )
inline

Definition at line 127 of file TransformationPasses.h.