llzk::component Namespace Reference

Namespaces
namespace	detail

Classes
class	CreateStructOp
class	CreateStructOpAdaptor
class	CreateStructOpGenericAdaptor
struct	InStructFunctionNamed
	This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name. More...
class	MemberDefOp
class	MemberDefOpAdaptor
class	MemberDefOpGenericAdaptor
class	MemberReadOp
class	MemberReadOpAdaptor
class	MemberReadOpGenericAdaptor
class	MemberRefOpInterface
class	MemberWriteOp
class	MemberWriteOpAdaptor
class	MemberWriteOpGenericAdaptor
class	SetFuncAllowAttrs
	Only valid/implemented for StructDefOp. More...
class	StructDefOp
class	StructDefOpAdaptor
class	StructDefOpGenericAdaptor
class	StructDialect
class	StructType

Functions
bool	isInStruct (Operation *op)
FailureOr< StructDefOp >	verifyInStruct (Operation *op)
bool	isInStructFunctionNamed (Operation *op, char const *funcName)
InFlightDiagnostic	genCompareErr (StructDefOp expected, Operation *origin, const char *aspect)
LogicalResult	checkSelfType (SymbolTableCollection &tables, StructDefOp expectedStruct, Type actualType, Operation *origin, const char *aspect)
	Verifies that the given actualType matches the StructDefOp given (i.e., for the "self" type parameter and return of the struct functions).
ParseResult	parseStructParams (AsmParser &parser, ArrayAttr &value)
void	printStructParams (AsmPrinter &printer, ArrayAttr value)
mlir::InFlightDiagnostic	genCompareErr (StructDefOp expected, mlir::Operation *origin, const char *aspect)
mlir::LogicalResult	checkSelfType (mlir::SymbolTableCollection &symbolTable, StructDefOp expectedStruct, mlir::Type actualType, mlir::Operation *origin, const char *aspect)
bool	isInStruct (mlir::Operation *op)
	Return true iff the given Operation is nested somewhere within a StructDefOp.
mlir::FailureOr< StructDefOp >	verifyInStruct (mlir::Operation *op)
	If the given Operation is nested somewhere within a StructDefOp, return a success result containing that StructDefOp.
bool	isInStructFunctionNamed (mlir::Operation *op, char const *funcName)
	Return true iff the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp.
template<char const * FuncName, unsigned PrefixLen>
mlir::LogicalResult	verifyInStructFunctionNamed (mlir::Operation *op, llvm::function_ref< llvm::SmallString< PrefixLen >()> prefix)
	Checks if the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp, producing an error if not.
mlir::ParseResult	parseStructParams (mlir::AsmParser &parser, mlir::ArrayAttr &value)
void	printStructParams (mlir::AsmPrinter &printer, mlir::ArrayAttr value)

Function Documentation

checkSelfType() [1/2]

mlir::LogicalResult llzk::component::checkSelfType	(	mlir::SymbolTableCollection &	symbolTable,
		StructDefOp	expectedStruct,
		mlir::Type	actualType,
		mlir::Operation *	origin,
		const char *	aspect )

checkSelfType() [2/2]

LogicalResult llzk::component::checkSelfType	(	SymbolTableCollection &	tables,
		StructDefOp	expectedStruct,
		Type	actualType,
		Operation *	origin,
		const char *	aspect )

Verifies that the given actualType matches the StructDefOp given (i.e., for the "self" type parameter and return of the struct functions).

Definition at line 112 of file Ops.cpp.

genCompareErr() [1/2]

mlir::InFlightDiagnostic llzk::component::genCompareErr	(	StructDefOp	expected,
		mlir::Operation *	origin,
		const char *	aspect )

genCompareErr() [2/2]

InFlightDiagnostic llzk::component::genCompareErr	(	StructDefOp	expected,
		Operation *	origin,
		const char *	aspect )

Definition at line 90 of file Ops.cpp.

isInStruct() [1/2]

bool llzk::component::isInStruct

(

mlir::Operation *

op

)

Return true iff the given Operation is nested somewhere within a StructDefOp.

isInStruct() [2/2]

bool llzk::component::isInStruct

(

Operation *

op

)

Definition at line 45 of file Ops.cpp.

isInStructFunctionNamed() [1/2]

bool llzk::component::isInStructFunctionNamed	(	mlir::Operation *	op,
		char const *	funcName )

Return true iff the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp.

isInStructFunctionNamed() [2/2]

bool llzk::component::isInStructFunctionNamed	(	Operation *	op,
		char const *	funcName )

Definition at line 56 of file Ops.cpp.

parseStructParams() [1/2]

ParseResult llzk::component::parseStructParams	(	AsmParser &	parser,
		ArrayAttr &	value )

Definition at line 18 of file Types.cpp.

parseStructParams() [2/2]

mlir::ParseResult llzk::component::parseStructParams	(	mlir::AsmParser &	parser,
		mlir::ArrayAttr &	value )

printStructParams() [1/2]

void llzk::component::printStructParams	(	AsmPrinter &	printer,
		ArrayAttr	value )

Definition at line 34 of file Types.cpp.

printStructParams() [2/2]

void llzk::component::printStructParams	(	mlir::AsmPrinter &	printer,
		mlir::ArrayAttr	value )

verifyInStruct() [1/2]

mlir::FailureOr< StructDefOp > llzk::component::verifyInStruct

(

mlir::Operation *

op

)

If the given Operation is nested somewhere within a StructDefOp, return a success result containing that StructDefOp.

Otherwise emit an error and return a failure result.

verifyInStruct() [2/2]

FailureOr< StructDefOp > llzk::component::verifyInStruct

(

Operation *

op

)

Definition at line 47 of file Ops.cpp.

verifyInStructFunctionNamed()

template<char const * FuncName, unsigned PrefixLen>

mlir::LogicalResult llzk::component::verifyInStructFunctionNamed	(	mlir::Operation *	op,
		llvm::function_ref< llvm::SmallString< PrefixLen >()>	prefix )

Checks if the given Operation is contained within a FuncDefOp with the given name that is itself contained within a StructDefOp, producing an error if not.

Definition at line 68 of file Ops.h.