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

Namespaces

namespace  detail

Classes

class  GlobalDefOp
class  GlobalDefOpAdaptor
class  GlobalDefOpGenericAdaptor
class  GlobalDialect
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< NormalizedGlobalInitializernormalizeGlobalInitializer (mlir::Type type, mlir::Attribute value, EmitErrorFn emitError)
 Normalize unambiguous initializer representations and their declared type.
FailureOr< NormalizedGlobalInitializernormalizeGlobalInitializer (Type expectedType, Attribute value, EmitErrorFn emitError)

Function Documentation

◆ 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 128 of file Ops.cpp.