#include "llzk/CAPI/Builder.h"
#include "llzk/CAPI/Support.h"
#include "llzk/Dialect/Polymorphic/IR/Dialect.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Types.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk-c/Dialect/Poly.h"
#include <mlir/CAPI/AffineExpr.h>
#include <mlir/CAPI/AffineMap.h>
#include <mlir/CAPI/Pass.h>
#include <mlir/CAPI/Registration.h>
#include <mlir/CAPI/Wrap.h>
#include <mlir/IR/BuiltinAttributes.h>
#include <mlir/Support/LLVM.h>
#include <mlir-c/Pass.h>
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.capi.cpp.inc"

Include dependency graph for Poly.cpp:

Functions
	MLIR_DEFINE_CAPI_DIALECT_REGISTRATION (Polymorphic, llzk__polymorphic, llzk::polymorphic::PolymorphicDialect) MlirType llzkTypeVarTypeGet(MlirContext ctx
bool	llzkTypeIsATypeVarType (MlirType type)
MlirType	llzkTypeVarTypeGetFromAttr (MlirContext, MlirAttribute attrWrapper)
	Creates a llzk::polymorphic::TypeVarType from either a StringAttr or a FlatSymbolRefAttr.
MlirStringRef	llzkTypeVarTypeGetNameRef (MlirType type)
	Returns the var name of the TypeVarType as a StringRef.
MlirAttribute	llzkTypeVarTypeGetName (MlirType type)
	Returns the var name of the TypeVarType as a FlatSymbolRefAttr.
	LLZK_DEFINE_OP_BUILD_METHOD (ApplyMapOp, MlirAttribute map, MlirValueRange mapOperands)
	LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (ApplyMapOp, WithAffineMap, MlirAffineMap map, MlirValueRange mapOperands)
	LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (ApplyMapOp, WithAffineExpr, MlirAffineExpr expr, MlirValueRange mapOperands)
bool	llzkOperationIsAApplyMapOp (MlirOperation op)
MlirAffineMap	llzkApplyMapOpGetAffineMap (MlirOperation op)
	Returns the affine map associated with the op.
intptr_t	llzkApplyMapOpGetNumDimOperands (MlirOperation op)
	Returns the number of operands that correspond to dimensions in the affine map.
void	llzkApplyMapOpGetDimOperands (MlirOperation op, MlirValue *dst)
	Writes into the destination buffer the operands that correspond to dimensions in the affine map.
intptr_t	llzkApplyMapOpGetNumSymbolOperands (MlirOperation op)
	Returns the number of operands that correspond to symbols in the affine map.
void	llzkApplyMapOpGetSymbolOperands (MlirOperation op, MlirValue *dst)
	Writes into the destination buffer the operands that correspond to symbols in the affine map.

Variables
MlirStringRef	name

Function Documentation

◆ LLZK_DEFINE_OP_BUILD_METHOD()

LLZK_DEFINE_OP_BUILD_METHOD	(	ApplyMapOp	,
		MlirAttribute	map,
		MlirValueRange	mapOperands )

Definition at line 74 of file Poly.cpp.

◆ LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [1/2]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD	(	ApplyMapOp	,
		WithAffineExpr	,
		MlirAffineExpr	expr,
		MlirValueRange	mapOperands )

Definition at line 96 of file Poly.cpp.

◆ LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [2/2]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD	(	ApplyMapOp	,
		WithAffineMap	,
		MlirAffineMap	map,
		MlirValueRange	mapOperands )

Definition at line 84 of file Poly.cpp.

◆ llzkApplyMapOpGetAffineMap()

MlirAffineMap llzkApplyMapOpGetAffineMap ( MlirOperation op )

Returns the affine map associated with the op.

Definition at line 111 of file Poly.cpp.

◆ llzkApplyMapOpGetDimOperands()

void llzkApplyMapOpGetDimOperands	(	MlirOperation	op,
		MlirValue *	dst )

Writes into the destination buffer the operands that correspond to dimensions in the affine map.

The buffer needs to be preallocated first with the necessary amount and the caller is responsible of its lifetime. See llzkApplyMapOpGetNumDimOperands.

Definition at line 137 of file Poly.cpp.

◆ llzkApplyMapOpGetNumDimOperands()

intptr_t llzkApplyMapOpGetNumDimOperands ( MlirOperation op )

Returns the number of operands that correspond to dimensions in the affine map.

Definition at line 130 of file Poly.cpp.

◆ llzkApplyMapOpGetNumSymbolOperands()

intptr_t llzkApplyMapOpGetNumSymbolOperands ( MlirOperation op )

Returns the number of operands that correspond to symbols in the affine map.

Definition at line 142 of file Poly.cpp.

◆ llzkApplyMapOpGetSymbolOperands()

void llzkApplyMapOpGetSymbolOperands	(	MlirOperation	op,
		MlirValue *	dst )

Writes into the destination buffer the operands that correspond to symbols in the affine map.

The buffer needs to be preallocated first with the necessary amount and the caller is responsible of its lifetime. See llzkApplyMapOpGetNumSymbolOperands.

Definition at line 149 of file Poly.cpp.

◆ llzkOperationIsAApplyMapOp()

bool llzkOperationIsAApplyMapOp ( MlirOperation op )

Definition at line 108 of file Poly.cpp.

◆ llzkTypeIsATypeVarType()

bool llzkTypeIsATypeVarType ( MlirType type )

Definition at line 52 of file Poly.cpp.

◆ llzkTypeVarTypeGetFromAttr()

MlirType llzkTypeVarTypeGetFromAttr	(	MlirContext	context,
		MlirAttribute	attrWrapper )

Creates a llzk::polymorphic::TypeVarType from either a StringAttr or a FlatSymbolRefAttr.

Definition at line 54 of file Poly.cpp.

◆ llzkTypeVarTypeGetName()

MlirAttribute llzkTypeVarTypeGetName ( MlirType type )

Returns the var name of the TypeVarType as a FlatSymbolRefAttr.

Definition at line 66 of file Poly.cpp.

◆ llzkTypeVarTypeGetNameRef()

MlirStringRef llzkTypeVarTypeGetNameRef ( MlirType type )

Returns the var name of the TypeVarType as a StringRef.

Definition at line 62 of file Poly.cpp.

◆ MLIR_DEFINE_CAPI_DIALECT_REGISTRATION()

MLIR_DEFINE_CAPI_DIALECT_REGISTRATION	(	Polymorphic	,
		llzk__polymorphic	,
		llzk::polymorphic::PolymorphicDialect	)

Variable Documentation

◆ name

MlirStringRef name

Initial value:

{

return wrap(TypeVarType::get(FlatSymbolRefAttr::get(StringAttr::get(unwrap(ctx), unwrap(name)))))

name