LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZK.cpp File Reference
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"
#include "llzk/Dialect/LLZK/IR/Attrs.h"
#include "llzk/Dialect/LLZK/IR/Dialect.h"
#include "llzk/Dialect/LLZK/IR/Ops.h"
#include "llzk-c/Dialect/LLZK.h"
#include <mlir/CAPI/Registration.h>
Include dependency graph for LLZK.cpp:

Go to the source code of this file.

Functions

MlirAttribute llzkPublicAttrGet (MlirContext ctx)
 Creates a llzk::PublicAttr.
bool llzkAttributeIsAPublicAttr (MlirAttribute attr)
MlirAttribute llzkLoopBoundsAttrGet (MlirContext ctx, int64_t lower, int64_t upper, int64_t step)
 Creates a llzk::LoopBoundsAttr.
bool llzkAttributeIsALoopBoundsAttr (MlirAttribute attr)
bool llzkOperationIsANonDetOp (MlirOperation op)

Function Documentation

◆ llzkAttributeIsALoopBoundsAttr()

bool llzkAttributeIsALoopBoundsAttr ( MlirAttribute attr)

Definition at line 31 of file LLZK.cpp.

◆ llzkAttributeIsAPublicAttr()

bool llzkAttributeIsAPublicAttr ( MlirAttribute attr)

Definition at line 25 of file LLZK.cpp.

◆ llzkLoopBoundsAttrGet()

MlirAttribute llzkLoopBoundsAttrGet ( MlirContext ctx,
int64_t lower,
int64_t upper,
int64_t step )

Creates a llzk::LoopBoundsAttr.

Definition at line 27 of file LLZK.cpp.

◆ llzkOperationIsANonDetOp()

bool llzkOperationIsANonDetOp ( MlirOperation op)

Definition at line 35 of file LLZK.cpp.

◆ llzkPublicAttrGet()

MlirAttribute llzkPublicAttrGet ( MlirContext ctx)

Creates a llzk::PublicAttr.

Definition at line 23 of file LLZK.cpp.