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

Go to the source code of this file.

Functions

 MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (LLZK, llzk)
MLIR_CAPI_EXPORTED MlirAttribute llzkPublicAttrGet (MlirContext context)
 Creates a llzk::PublicAttr.
 LLZK_DECLARE_ATTR_ISA (PublicAttr)
 Returns true if the attribute is a PublicAttr.
MLIR_CAPI_EXPORTED MlirAttribute llzkLoopBoundsAttrGet (MlirContext context, int64_t lower, int64_t upper, int64_t step)
 Creates a llzk::LoopBoundsAttr.
 LLZK_DECLARE_ATTR_ISA (LoopBoundsAttr)
 Returns true if the attribute is a LoopBoundsAttr.
 LLZK_DECLARE_OP_ISA (NonDetOp)
 Returns true if the op is a NonDetOp.

Function Documentation

◆ LLZK_DECLARE_ATTR_ISA() [1/2]

LLZK_DECLARE_ATTR_ISA ( LoopBoundsAttr )

Returns true if the attribute is a LoopBoundsAttr.

◆ LLZK_DECLARE_ATTR_ISA() [2/2]

LLZK_DECLARE_ATTR_ISA ( PublicAttr )

Returns true if the attribute is a PublicAttr.

◆ LLZK_DECLARE_OP_ISA()

LLZK_DECLARE_OP_ISA ( NonDetOp )

Returns true if the op is a NonDetOp.

◆ llzkLoopBoundsAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkLoopBoundsAttrGet ( MlirContext context,
int64_t lower,
int64_t upper,
int64_t step )

Creates a llzk::LoopBoundsAttr.

Definition at line 27 of file LLZK.cpp.

◆ llzkPublicAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkPublicAttrGet ( MlirContext context)

Creates a llzk::PublicAttr.

Definition at line 23 of file LLZK.cpp.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION ( LLZK ,
llzk  )