LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Cast.h File Reference
#include "llzk-c/Support.h"
#include <mlir-c/IR.h>
#include "llzk/Dialect/Cast/IR/Ops.capi.h.inc"
Include dependency graph for Cast.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 (Cast, llzk__cast)
 Get reference to the LLZK cast dialect.
 LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Cast, IntToFeltOp, WithType, MlirType feltType, MlirValue value)
 Creates a IntToFeltOp from an input value with the specified result FeltType.

Function Documentation

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD()

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD ( Cast ,
IntToFeltOp ,
WithType ,
MlirType feltType,
MlirValue value )

Creates a IntToFeltOp from an input value with the specified result FeltType.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION ( Cast ,
llzk__cast  )

Get reference to the LLZK cast dialect.