llzk::polymorphic::detail::ConstraintStorage Class Reference

Resolve concrete components and signal provenance directly from original SSA. More...

#include <ConstraintStorage.h>

Public Member Functions
	ConstraintStorage (mlir::ModuleOp rootModule, component::StructDefOp mainDefinition, mlir::OpBuilder &outputBuilder, mlir::SymbolTableCollection &symbolTables, ConstraintScalarFacts &scalarFacts)
mlir::FailureOr< StorageDescription >	describe (mlir::Value value, mlir::Operation *site)
	Resolve component metadata from immutable emitted storage access chains.

Detailed Description

Resolve concrete components and signal provenance directly from original SSA.

Definition at line 34 of file ConstraintStorage.h.

Constructor & Destructor Documentation

ConstraintStorage()

llzk::polymorphic::detail::ConstraintStorage::ConstraintStorage ( mlir::ModuleOp rootModule, component::StructDefOp mainDefinition, mlir::OpBuilder & outputBuilder, mlir::SymbolTableCollection & symbolTables, ConstraintScalarFacts & scalarFacts )

inline

Definition at line 142 of file ConstraintStorage.h.

Member Function Documentation

describe()

mlir::FailureOr< StorageDescription > llzk::polymorphic::detail::ConstraintStorage::describe ( mlir::Value value, mlir::Operation * site )

inline

Resolve component metadata from immutable emitted storage access chains.

Local bindings already resolve to these scalar values, so no parallel storage-provenance environment is needed.

Definition at line 153 of file ConstraintStorage.h.

---

The documentation for this class was generated from the following file:

• lib/Dialect/Polymorphic/Transforms/ConstraintStorage.h