ConstraintBindings.h File Reference

#include "ConstraintDiagnostics.h"
#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/POD/IR/Types.h"
#include <mlir/IR/Builders.h>
#include <mlir/IR/Value.h>
#include <llvm/ADT/DenseMap.h>
#include <variant>

Include dependency graph for ConstraintBindings.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::AccessPath
	A concrete subtree of one execution's storage. More...
class	llzk::polymorphic::detail::ConstraintBindings
	Bind scalar leaves without constructing a shadow array or POD object. 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.

Typedefs
using	llzk::polymorphic::detail::BoundValue = std::variant<mlir::Value, AccessPath>
	Scalar expressions are SSA; aggregates are paths, never emitted allocations.
using	llzk::polymorphic::detail::Environment = llvm::DenseMap<mlir::Value, BoundValue>