#include "llzk-c/Support.h"
#include <mlir-c/AffineMap.h>
#include <mlir-c/IR.h>
#include <mlir-c/Support.h>
#include <stdint.h>
#include "llzk/Dialect/Struct/IR/Ops.capi.h.inc"
#include "llzk/Dialect/Struct/IR/Types.capi.h.inc"
#include "llzk/Dialect/Struct/Transforms/TransformationPasses.capi.h.inc"

Include dependency graph for Struct.h:

This graph shows which files directly or indirectly include this file:

Functions
	MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Struct, llzk__component)
	Get reference to the LLZK struct dialect.
MLIR_CAPI_EXPORTED MlirType	llzkStruct_StructTypeGet (MlirAttribute name)
	Creates a llzk::component::StructType.
MLIR_CAPI_EXPORTED MlirType	llzkStruct_StructTypeGetWithArrayAttr (MlirAttribute name, MlirAttribute params)
	Creates a llzk::component::StructType with an ArrayAttr as parameters.
MLIR_CAPI_EXPORTED MlirType	llzkStruct_StructTypeGetWithAttrs (MlirAttribute name, intptr_t numParams, MlirAttribute const *params)
	Creates a llzk::component::StructType with an array of parameters.
MLIR_CAPI_EXPORTED MlirLogicalResult	llzkStructStructTypeGetDefinition (MlirType type, MlirOperation root, LlzkSymbolLookupResult *result)
	Lookups the definition Operation of the given StructType using the given Operation as root for the lookup.
MLIR_CAPI_EXPORTED MlirLogicalResult	llzkStructStructTypeGetDefinitionFromModule (MlirType type, MlirModule root, LlzkSymbolLookupResult *result)
	Lookups the definition Operation of the given StructType using the given Module as root for the lookup.
MLIR_CAPI_EXPORTED MlirBlock	llzkStruct_StructDefOpGetBody (MlirOperation op)
	Returns the single body Block within the StructDefOp's Region.
MLIR_CAPI_EXPORTED MlirType	llzkStruct_StructDefOpGetType (MlirOperation op)
	Returns the associated StructType to this op using the const params defined by the op.
MLIR_CAPI_EXPORTED MlirType	llzkStruct_StructDefOpGetTypeWithParams (MlirOperation op, MlirAttribute params)
	Returns the associated StructType to this op using the given const params instead of the parameters defined by the op.
MLIR_CAPI_EXPORTED void	llzkStruct_StructDefOpGetMemberDefs (MlirOperation op, MlirOperation *dst)
	Fills the given array with the MemberDefOp operations inside this struct.
MLIR_CAPI_EXPORTED intptr_t	llzkStruct_StructDefOpGetNumMemberDefs (MlirOperation op)
	Returns the number of MemberDefOp operations defined in this struct.
MLIR_CAPI_EXPORTED const char *	llzkStruct_StructDefOpGetHeaderString (MlirOperation op, intptr_t dstSize, char (*alloc_string)(size_t))
	Returns the header string of the struct.
MLIR_CAPI_EXPORTED void	llzkStruct_StructDefOpGetTemplateParamOpNames (MlirOperation op, MlirAttribute *dst)
	If this struct.def is within a poly.template, add names of all poly.param within the poly.template in the order they are defined.
MLIR_CAPI_EXPORTED intptr_t	llzkStruct_StructDefOpGetNumTemplateParamOpNames (MlirOperation op)
	Returns the number of poly.param operations defined within this template.
MLIR_CAPI_EXPORTED void	llzkStruct_StructDefOpGetTemplateExprOpNames (MlirOperation op, MlirAttribute *dst)
	If this struct.def is within a poly.template, add names of all poly.expr within the poly.template in the order they are defined.
MLIR_CAPI_EXPORTED intptr_t	llzkStruct_StructDefOpGetNumTemplateExprOpNames (MlirOperation op)
	Returns the number of poly.expr operations defined within this template.
	LLZK_DECLARE_OP_BUILD_METHOD (Struct, MemberDefOp, MlirStringRef name, MlirType type, bool isSignal, bool isColumn)
	Creates a MemberDefOp.
	LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Struct, MemberDefOp, WithAttrs, MlirAttribute name, MlirAttribute type, bool isSignal, bool isColumn)
	Creates a MemberDefOp using a StringAttr name and TypeAttr type.
	LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Struct, MemberDefOp, WithNamedAttrs, intptr_t numAttrs, MlirNamedAttribute const *attrs, bool isSignal, bool isColumn)
	Creates a MemberDefOp using a raw attribute list.
MLIR_CAPI_EXPORTED bool	llzkStruct_MemberDefOpGetColumnValue (MlirOperation op)
	Returns whether this member supports offset table accesses.
MLIR_CAPI_EXPORTED void	llzkStruct_MemberDefOpSetColumnValue (MlirOperation op, bool newValue)
	Adds or removes the unit column attribute according to newValue.
MLIR_CAPI_EXPORTED bool	llzkStruct_MemberDefOpGetSignalValue (MlirOperation op)
	Returns whether this member is stored as a witness signal.
MLIR_CAPI_EXPORTED void	llzkStruct_MemberDefOpSetSignalValue (MlirOperation op, bool newValue)
	Adds or removes the unit signal attribute according to newValue.
	LLZK_DECLARE_OP_BUILD_METHOD (Struct, MemberReadOp, MlirType type, MlirValue component, MlirIdentifier memberName)
	Creates a MemberReadOp.
	LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Struct, MemberReadOp, WithAffineMapDistance, MlirType type, MlirValue component, MlirIdentifier memberName, MlirAffineMap affineMap, MlirValueRange mapOperands)
	Creates a MemberReadOp to a column offset by the given distance affine map.
	LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Struct, MemberReadOp, WithTemplateSymbolDistance, MlirType type, MlirValue component, MlirIdentifier memberName, MlirStringRef paramName)
	Creates a MemberReadOp to a column offset by the given distance defined by a name to a constant parameter in the struct.
	LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Struct, MemberReadOp, WithLiteralDistance, MlirType type, MlirValue component, MlirIdentifier memberName, int64_t distance)
	Creates a MemberReadOp to a column offset by the given distance defined by an integer value.

Function Documentation

◆ LLZK_DECLARE_OP_BUILD_METHOD() [1/2]

LLZK_DECLARE_OP_BUILD_METHOD	(	Struct	,
		MemberDefOp	,
		MlirStringRef	name,
		MlirType	type,
		bool	isSignal,
		bool	isColumn )

Creates a MemberDefOp.

◆ LLZK_DECLARE_OP_BUILD_METHOD() [2/2]

LLZK_DECLARE_OP_BUILD_METHOD	(	Struct	,
		MemberReadOp	,
		MlirType	type,
		MlirValue	component,
		MlirIdentifier	memberName )

Creates a MemberReadOp.

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [1/5]

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD	(	Struct	,
		MemberDefOp	,
		WithAttrs	,
		MlirAttribute	name,
		MlirAttribute	type,
		bool	isSignal,
		bool	isColumn )

Creates a MemberDefOp using a StringAttr name and TypeAttr type.

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [2/5]

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD	(	Struct	,
		MemberDefOp	,
		WithNamedAttrs	,
		intptr_t	numAttrs,
		MlirNamedAttribute const *	attrs,
		bool	isSignal,
		bool	isColumn )

Creates a MemberDefOp using a raw attribute list.

The attributes must include sym_name and type.

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [3/5]

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD	(	Struct	,
		MemberReadOp	,
		WithAffineMapDistance	,
		MlirType	type,
		MlirValue	component,
		MlirIdentifier	memberName,
		MlirAffineMap	affineMap,
		MlirValueRange	mapOperands )

Creates a MemberReadOp to a column offset by the given distance affine map.

The values in the ValueRange are operands representing the arguments to the affine map. The integer value is the number of arguments in the map that are dimensions.

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [4/5]

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD	(	Struct	,
		MemberReadOp	,
		WithLiteralDistance	,
		MlirType	type,
		MlirValue	component,
		MlirIdentifier	memberName,
		int64_t	distance )

Creates a MemberReadOp to a column offset by the given distance defined by an integer value.

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [5/5]

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD	(	Struct	,
		MemberReadOp	,
		WithTemplateSymbolDistance	,
		MlirType	type,
		MlirValue	component,
		MlirIdentifier	memberName,
		MlirStringRef	paramName )

Creates a MemberReadOp to a column offset by the given distance defined by a name to a constant parameter in the struct.

◆ llzkStruct_MemberDefOpGetColumnValue()

MLIR_CAPI_EXPORTED bool llzkStruct_MemberDefOpGetColumnValue ( MlirOperation op )

Returns whether this member supports offset table accesses.

Definition at line 203 of file Struct.cpp.

◆ llzkStruct_MemberDefOpGetSignalValue()

MLIR_CAPI_EXPORTED bool llzkStruct_MemberDefOpGetSignalValue ( MlirOperation op )

Returns whether this member is stored as a witness signal.

Definition at line 211 of file Struct.cpp.

◆ llzkStruct_MemberDefOpSetColumnValue()

MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetColumnValue	(	MlirOperation	op,
		bool	newValue )

Adds or removes the unit column attribute according to newValue.

Definition at line 207 of file Struct.cpp.

◆ llzkStruct_MemberDefOpSetSignalValue()

MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetSignalValue	(	MlirOperation	op,
		bool	newValue )

Adds or removes the unit signal attribute according to newValue.

Definition at line 215 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetBody()

MLIR_CAPI_EXPORTED MlirBlock llzkStruct_StructDefOpGetBody ( MlirOperation op )

Returns the single body Block within the StructDefOp's Region.

Definition at line 102 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetHeaderString()

MLIR_CAPI_EXPORTED const char * llzkStruct_StructDefOpGetHeaderString	(	MlirOperation	op,
		intptr_t *	dstSize,
		char (	alloc_string )(size_t) )

Returns the header string of the struct.

The size of the string is written into the given size pointer. The caller is responsible of freeing the string and of providing an allocator.

Definition at line 125 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetMemberDefs()

MLIR_CAPI_EXPORTED void llzkStruct_StructDefOpGetMemberDefs	(	MlirOperation	op,
		MlirOperation *	dst )

Fills the given array with the MemberDefOp operations inside this struct.

The pointer to the operations must have been preallocated. See llzkStruct_StructDefOpGetNumMemberDefs for obtaining the required size of the array.

Definition at line 114 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetNumMemberDefs()

MLIR_CAPI_EXPORTED intptr_t llzkStruct_StructDefOpGetNumMemberDefs ( MlirOperation op )

Returns the number of MemberDefOp operations defined in this struct.

Definition at line 121 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetNumTemplateExprOpNames()

MLIR_CAPI_EXPORTED intptr_t llzkStruct_StructDefOpGetNumTemplateExprOpNames ( MlirOperation op )

Returns the number of poly.expr operations defined within this template.

Definition at line 156 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetNumTemplateParamOpNames()

MLIR_CAPI_EXPORTED intptr_t llzkStruct_StructDefOpGetNumTemplateParamOpNames ( MlirOperation op )

Returns the number of poly.param operations defined within this template.

Definition at line 143 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetTemplateExprOpNames()

MLIR_CAPI_EXPORTED void llzkStruct_StructDefOpGetTemplateExprOpNames	(	MlirOperation	op,
		MlirAttribute *	dst )

If this struct.def is within a poly.template, add names of all poly.expr within the poly.template in the order they are defined.

Otherwise, do nothing. The names are added as FlatSymbolRefAttr but the more general Attribute type is used in the type since that's usually what's needed.

The pointer to the attributes must have been preallocated. See llzkStruct_StructDefOpGetNumTemplateExprOpNames for obtaining the required size of the array.

Definition at line 149 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetTemplateParamOpNames()

MLIR_CAPI_EXPORTED void llzkStruct_StructDefOpGetTemplateParamOpNames	(	MlirOperation	op,
		MlirAttribute *	dst )

If this struct.def is within a poly.template, add names of all poly.param within the poly.template in the order they are defined.

Otherwise, do nothing. The names are added as FlatSymbolRefAttr but the more general Attribute type is used in the type since that's usually what's needed.

The pointer to the attributes must have been preallocated. See llzkStruct_StructDefOpGetNumTemplateParamOpNames for obtaining the required size of the array.

Definition at line 136 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetType()

MLIR_CAPI_EXPORTED MlirType llzkStruct_StructDefOpGetType ( MlirOperation op )

Returns the associated StructType to this op using the const params defined by the op.

Definition at line 106 of file Struct.cpp.

◆ llzkStruct_StructDefOpGetTypeWithParams()

MLIR_CAPI_EXPORTED MlirType llzkStruct_StructDefOpGetTypeWithParams	(	MlirOperation	op,
		MlirAttribute	params )

Returns the associated StructType to this op using the given const params instead of the parameters defined by the op.

The const params are defined in the given attribute which has to be of type ArrayAttr.

Definition at line 110 of file Struct.cpp.

◆ llzkStruct_StructTypeGet()

MLIR_CAPI_EXPORTED MlirType llzkStruct_StructTypeGet ( MlirAttribute name )

Creates a llzk::component::StructType.

The name attribute must be a SymbolRefAttr.

Definition at line 54 of file Struct.cpp.

◆ llzkStruct_StructTypeGetWithArrayAttr()

MLIR_CAPI_EXPORTED MlirType llzkStruct_StructTypeGetWithArrayAttr	(	MlirAttribute	name,
		MlirAttribute	params )

Creates a llzk::component::StructType with an ArrayAttr as parameters.

The name attribute must be a SymbolRefAttr.

Definition at line 58 of file Struct.cpp.

◆ llzkStruct_StructTypeGetWithAttrs()

MLIR_CAPI_EXPORTED MlirType llzkStruct_StructTypeGetWithAttrs	(	MlirAttribute	name,
		intptr_t	numParams,
		MlirAttribute const *	params )

Creates a llzk::component::StructType with an array of parameters.

The name attribute must be a SymbolRefAttr.

Definition at line 66 of file Struct.cpp.

◆ llzkStructStructTypeGetDefinition()

MLIR_CAPI_EXPORTED MlirLogicalResult llzkStructStructTypeGetDefinition	(	MlirType	type,
		MlirOperation	root,
		LlzkSymbolLookupResult *	result )

Lookups the definition Operation of the given StructType using the given Operation as root for the lookup.

The definition Operation is wrapped in a LlzkSymbolLookupResult that the caller is responsible for cleaning up.

If the function returns 'success' the lookup result will be stored in the given pointer. Accessing the lookup result if the function returns 'failure' is undefined behavior.

Requires that the given Operation implements the SymbolTable op interface.

Definition at line 76 of file Struct.cpp.

◆ llzkStructStructTypeGetDefinitionFromModule()

MLIR_CAPI_EXPORTED MlirLogicalResult llzkStructStructTypeGetDefinitionFromModule	(	MlirType	type,
		MlirModule	root,
		LlzkSymbolLookupResult *	result )

Lookups the definition Operation of the given StructType using the given Module as root for the lookup.

The definition Operation is wrapped in a LlzkSymbolLookupResult that the caller is responsible for cleaning up.

If the function returns 'success' the lookup result will be stored in the given pointer. Accessing the lookup result if the function returns 'failure' is undefined behavior.

Definition at line 92 of file Struct.cpp.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	Struct	,
		llzk__component	)

Get reference to the LLZK struct dialect.

Functions

Function Documentation

◆ LLZK_DECLARE_OP_BUILD_METHOD() [1/2]

◆ LLZK_DECLARE_OP_BUILD_METHOD() [2/2]

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [1/5]

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [2/5]

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [3/5]

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [4/5]

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [5/5]

◆ llzkStruct_MemberDefOpGetColumnValue()

◆ llzkStruct_MemberDefOpGetSignalValue()

◆ llzkStruct_MemberDefOpSetColumnValue()

◆ llzkStruct_MemberDefOpSetSignalValue()

◆ llzkStruct_StructDefOpGetBody()

◆ llzkStruct_StructDefOpGetHeaderString()

◆ llzkStruct_StructDefOpGetMemberDefs()

◆ llzkStruct_StructDefOpGetNumMemberDefs()

◆ llzkStruct_StructDefOpGetNumTemplateExprOpNames()

◆ llzkStruct_StructDefOpGetNumTemplateParamOpNames()

◆ llzkStruct_StructDefOpGetTemplateExprOpNames()

◆ llzkStruct_StructDefOpGetTemplateParamOpNames()

◆ llzkStruct_StructDefOpGetType()

◆ llzkStruct_StructDefOpGetTypeWithParams()

◆ llzkStruct_StructTypeGet()

◆ llzkStruct_StructTypeGetWithArrayAttr()

◆ llzkStruct_StructTypeGetWithAttrs()

◆ llzkStructStructTypeGetDefinition()

◆ llzkStructStructTypeGetDefinitionFromModule()

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()