TypeHelper.cpp File Reference

#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/Felt/IR/Types.h"
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"
#include "llzk/Dialect/Polymorphic/IR/Types.h"
#include "llzk/Dialect/String/IR/Types.h"
#include "llzk/Dialect/Struct/IR/Types.h"
#include "llzk/Util/StreamHelper.h"
#include "llzk/Util/SymbolHelper.h"
#include "llzk/Util/TypeHelper.h"

Include dependency graph for TypeHelper.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk

Functions
bool	llzk::isValidType (Type type)
bool	llzk::isValidColumnType (Type type, SymbolTableCollection &symbolTable, Operation *op)
bool	llzk::isValidGlobalType (Type type)
bool	llzk::isValidEmitEqType (Type type)
bool	llzk::isValidConstReadType (Type type)
bool	llzk::isValidArrayElemType (Type type)
bool	llzk::isValidArrayType (Type type)
bool	llzk::isConcreteType (Type type, bool allowStructParams)
bool	llzk::isSignalType (Type type)
bool	llzk::isSignalType (component::StructType sType)
	Return true iff the given StructType is referencing the COMPONENT_NAME_SIGNAL struct.
bool	llzk::hasAffineMapAttr (Type type)
bool	llzk::isDynamic (IntegerAttr intAttr)
bool	llzk::typeParamsUnify (const ArrayRef< Attribute > &lhsParams, const ArrayRef< Attribute > &rhsParams, UnificationMap *unifications)
bool	llzk::typeParamsUnify (const ArrayAttr &lhsParams, const ArrayAttr &rhsParams, UnificationMap *unifications)
	Return true iff the two ArrayAttr instances containing StructType or ArrayType parameters are equivalent or could be equivalent after full instantiation of struct parameters.
bool	llzk::arrayTypesUnify (ArrayType lhs, ArrayType rhs, ArrayRef< StringRef > rhsReversePrefix, UnificationMap *unifications)
bool	llzk::structTypesUnify (StructType lhs, StructType rhs, ArrayRef< StringRef > rhsReversePrefix, UnificationMap *unifications)
bool	llzk::typesUnify (Type lhs, Type rhs, ArrayRef< StringRef > rhsReversePrefix, UnificationMap *unifications)
bool	llzk::isMoreConcreteUnification (Type oldTy, Type newTy, llvm::function_ref< bool(Type oldTy, Type newTy)> knownOldToNew)
IntegerAttr	llzk::forceIntType (IntegerAttr attr)
Attribute	llzk::forceIntAttrType (Attribute attr)
SmallVector< Attribute >	llzk::forceIntAttrTypes (ArrayRef< Attribute > attrList)
LogicalResult	llzk::verifyIntAttrType (EmitErrorFn emitError, Attribute in)
LogicalResult	llzk::verifyAffineMapAttrType (EmitErrorFn emitError, Attribute in)
LogicalResult	llzk::verifyStructTypeParams (EmitErrorFn emitError, ArrayAttr params)
LogicalResult	llzk::verifyArrayDimSizes (EmitErrorFn emitError, ArrayRef< Attribute > dimensionSizes)
LogicalResult	llzk::verifyArrayType (EmitErrorFn emitError, Type elementType, ArrayRef< Attribute > dimensionSizes)
void	llzk::assertValidAttrForParamOfType (Attribute attr)