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	llzkCast_FeltToIndexOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value, MlirAttribute overflow)
	Build a llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Cast_FeltToIndexOp (MlirOperation)
	Returns true if the Operation is a llzk::cast::FeltToIndexOp.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_FeltToIndexOpGetValue (MlirOperation op)
	Get Value operand from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED void	llzkCast_FeltToIndexOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkCast_FeltToIndexOpGetOverflow (MlirOperation op)
	Get Overflow attribute from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED void	llzkCast_FeltToIndexOpSetOverflow (MlirOperation op, MlirAttribute attr)
	Set Overflow attribute of llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_FeltToIndexOpGetResult (MlirOperation op)
	Get Result result from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkCast_IntToFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value, MlirAttribute overflow)
	Build a llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Cast_IntToFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::cast::IntToFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_IntToFeltOpGetValue (MlirOperation op)
	Get Value operand from llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkCast_IntToFeltOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkCast_IntToFeltOpGetOverflow (MlirOperation op)
	Get Overflow attribute from llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkCast_IntToFeltOpSetOverflow (MlirOperation op, MlirAttribute attr)
	Set Overflow attribute of llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkCast_IntToFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::cast::IntToFeltOp Operation.

Function Documentation

llzkCast_FeltToIndexOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkCast_FeltToIndexOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value,
		MlirAttribute	overflow )

Build a llzk::cast::FeltToIndexOp Operation.

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

llzkCast_FeltToIndexOpGetOverflow()

MLIR_CAPI_EXPORTED MlirAttribute llzkCast_FeltToIndexOpGetOverflow

(

MlirOperation

op

)

Get Overflow attribute from llzk::cast::FeltToIndexOp Operation.

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

llzkCast_FeltToIndexOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::cast::FeltToIndexOp Operation.

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

llzkCast_FeltToIndexOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetValue

(

MlirOperation

op

)

Get Value operand from llzk::cast::FeltToIndexOp Operation.

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

llzkCast_FeltToIndexOpSetOverflow()

MLIR_CAPI_EXPORTED void llzkCast_FeltToIndexOpSetOverflow	(	MlirOperation	op,
		MlirAttribute	attr )

Set Overflow attribute of llzk::cast::FeltToIndexOp Operation.

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

llzkCast_FeltToIndexOpSetValue()

MLIR_CAPI_EXPORTED void llzkCast_FeltToIndexOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::cast::FeltToIndexOp Operation.

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

llzkCast_IntToFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkCast_IntToFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value,
		MlirAttribute	overflow )

Build a llzk::cast::IntToFeltOp Operation.

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

llzkCast_IntToFeltOpGetOverflow()

MLIR_CAPI_EXPORTED MlirAttribute llzkCast_IntToFeltOpGetOverflow

(

MlirOperation

op

)

Get Overflow attribute from llzk::cast::IntToFeltOp Operation.

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

llzkCast_IntToFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetResult

(

MlirOperation

op

)

Get Result result from llzk::cast::IntToFeltOp Operation.

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

llzkCast_IntToFeltOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetValue

(

MlirOperation

op

)

Get Value operand from llzk::cast::IntToFeltOp Operation.

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

llzkCast_IntToFeltOpSetOverflow()

MLIR_CAPI_EXPORTED void llzkCast_IntToFeltOpSetOverflow	(	MlirOperation	op,
		MlirAttribute	attr )

Set Overflow attribute of llzk::cast::IntToFeltOp Operation.

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

llzkCast_IntToFeltOpSetValue()

MLIR_CAPI_EXPORTED void llzkCast_IntToFeltOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::cast::IntToFeltOp Operation.

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

llzkOperationIsA_Cast_FeltToIndexOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_FeltToIndexOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::cast::FeltToIndexOp.

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

llzkOperationIsA_Cast_IntToFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_IntToFeltOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::cast::IntToFeltOp.

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