StructSpecializationDiscovery.h File Reference

#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/SmallVector.h>
#include <cstdint>

Include dependency graph for StructSpecializationDiscovery.h:

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

Go to the source code of this file.

Classes
struct	llzk::polymorphic::detail::StructSpecializationRequest
	A struct type that the caller must instantiate, paired with the source use that needs it. More...
struct	llzk::polymorphic::detail::RolledCallTargets
	A rolled method call and the concrete specializations it may target. More...
class	llzk::polymorphic::detail::StructSpecializationDiscovery
	Determine which concrete struct definitions are needed when instantiating a struct or free function with the supplied template arguments. More...

Namespaces
namespace	llzk
namespace	llzk::polymorphic
namespace	llzk::polymorphic::detail
	Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp.

Functions
mlir::FailureOr< mlir::Attribute >	llzk::polymorphic::detail::resolveConstReadBinding (ConstReadOp read, mlir::Attribute binding, mlir::Type readType)
	Materialize a binding with the resolved read type for evaluation or cloning.