LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
InitializerUtils.h File Reference
#include "llzk/Util/ErrorHelper.h"
#include <mlir/IR/Attributes.h>
Include dependency graph for InitializerUtils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llzk::global::NormalizedGlobalInitializer
 A global initializer and its normalized type. More...

Namespaces

namespace  llzk
namespace  llzk::global

Functions

mlir::FailureOr< NormalizedGlobalInitializerllzk::global::normalizeGlobalInitializer (mlir::Type type, mlir::Attribute value, EmitErrorFn emitError)
 Normalize unambiguous initializer representations and their declared type.