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

Go to the source code of this file.

Functions

MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalDefOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value)
 Build a llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalDefOp (MlirOperation)
 Returns true if the Operation is a llzk::global::GlobalDefOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetSymName (MlirOperation op)
 Get SymName attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetSymName (MlirOperation op, MlirAttribute attr)
 Set SymName attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetConstant (MlirOperation op)
 Get Constant attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetConstant (MlirOperation op, MlirAttribute attr)
 Set Constant attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetType (MlirOperation op)
 Get Type attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetType (MlirOperation op, MlirAttribute attr)
 Set Type attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue (MlirOperation op)
 Get InitialValue attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetInitialValue (MlirOperation op, MlirAttribute attr)
 Set InitialValue attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED bool llzkGlobal_GlobalDefOpIsConstant (MlirOperation inp)
 isConstant
MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalReadOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref)
 Build a llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalReadOp (MlirOperation)
 Returns true if the Operation is a llzk::global::GlobalReadOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalReadOpGetNameRef (MlirOperation op)
 Get NameRef attribute from llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalReadOpSetNameRef (MlirOperation op, MlirAttribute attr)
 Set NameRef attribute of llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalReadOpGetVal (MlirOperation op)
 Get Val result from llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalWriteOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref)
 Build a llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalWriteOp (MlirOperation)
 Returns true if the Operation is a llzk::global::GlobalWriteOp.
MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalWriteOpGetVal (MlirOperation op)
 Get Val operand from llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetVal (MlirOperation op, MlirValue value)
 Set Val operand of llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef (MlirOperation op)
 Get NameRef attribute from llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetNameRef (MlirOperation op, MlirAttribute attr)
 Set NameRef attribute of llzk::global::GlobalWriteOp Operation.

Function Documentation

◆ llzkGlobal_GlobalDefOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalDefOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirIdentifier sym_name,
MlirAttribute constant,
MlirAttribute type,
MlirAttribute initial_value )

Build a llzk::global::GlobalDefOp Operation.

Definition at line 11 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpGetConstant()

MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetConstant ( MlirOperation op)

Get Constant attribute from llzk::global::GlobalDefOp Operation.

Definition at line 44 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpGetInitialValue()

MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue ( MlirOperation op)

Get InitialValue attribute from llzk::global::GlobalDefOp Operation.

Definition at line 60 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetSymName ( MlirOperation op)

Get SymName attribute from llzk::global::GlobalDefOp Operation.

Definition at line 36 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpGetType()

MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetType ( MlirOperation op)

Get Type attribute from llzk::global::GlobalDefOp Operation.

Definition at line 52 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpIsConstant()

MLIR_CAPI_EXPORTED bool llzkGlobal_GlobalDefOpIsConstant ( MlirOperation inp)

isConstant

Definition at line 68 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpSetConstant()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetConstant ( MlirOperation op,
MlirAttribute attr )

Set Constant attribute of llzk::global::GlobalDefOp Operation.

Definition at line 48 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpSetInitialValue()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetInitialValue ( MlirOperation op,
MlirAttribute attr )

Set InitialValue attribute of llzk::global::GlobalDefOp Operation.

Definition at line 64 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpSetSymName()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetSymName ( MlirOperation op,
MlirAttribute attr )

Set SymName attribute of llzk::global::GlobalDefOp Operation.

Definition at line 40 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpSetType()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetType ( MlirOperation op,
MlirAttribute attr )

Set Type attribute of llzk::global::GlobalDefOp Operation.

Definition at line 56 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalReadOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalReadOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirType valType,
MlirAttribute name_ref )

Build a llzk::global::GlobalReadOp Operation.

Definition at line 72 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalReadOpGetNameRef()

MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalReadOpGetNameRef ( MlirOperation op)

Get NameRef attribute from llzk::global::GlobalReadOp Operation.

Definition at line 89 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalReadOpGetVal()

MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalReadOpGetVal ( MlirOperation op)

Get Val result from llzk::global::GlobalReadOp Operation.

Definition at line 97 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalReadOpSetNameRef()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalReadOpSetNameRef ( MlirOperation op,
MlirAttribute attr )

Set NameRef attribute of llzk::global::GlobalReadOp Operation.

Definition at line 93 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalWriteOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalWriteOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirValue val,
MlirAttribute name_ref )

Build a llzk::global::GlobalWriteOp Operation.

Definition at line 101 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalWriteOpGetNameRef()

MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef ( MlirOperation op)

Get NameRef attribute from llzk::global::GlobalWriteOp Operation.

Definition at line 126 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalWriteOpGetVal()

MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalWriteOpGetVal ( MlirOperation op)

Get Val operand from llzk::global::GlobalWriteOp Operation.

Definition at line 118 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalWriteOpSetNameRef()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetNameRef ( MlirOperation op,
MlirAttribute attr )

Set NameRef attribute of llzk::global::GlobalWriteOp Operation.

Definition at line 130 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalWriteOpSetVal()

MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetVal ( MlirOperation op,
MlirValue value )

Set Val operand of llzk::global::GlobalWriteOp Operation.

Definition at line 122 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Global_GlobalDefOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalDefOp ( MlirOperation inp)

Returns true if the Operation is a llzk::global::GlobalDefOp.

Definition at line 32 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Global_GlobalReadOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalReadOp ( MlirOperation inp)

Returns true if the Operation is a llzk::global::GlobalReadOp.

Definition at line 85 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Global_GlobalWriteOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalWriteOp ( MlirOperation inp)

Returns true if the Operation is a llzk::global::GlobalWriteOp.

Definition at line 114 of file Ops.capi.cpp.inc.