LLZK 2.1.1
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 16 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 49 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 65 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 41 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 57 of file Ops.capi.cpp.inc.

◆ llzkGlobal_GlobalDefOpIsConstant()

MLIR_CAPI_EXPORTED bool llzkGlobal_GlobalDefOpIsConstant ( MlirOperation inp)

isConstant

Definition at line 73 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 53 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 69 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 45 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 61 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 77 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 94 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 102 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 98 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 106 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 143 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 123 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 147 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 133 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 37 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 90 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 119 of file Ops.capi.cpp.inc.