LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
DiscoveryStorage.h File Reference
#include <mlir/IR/Builders.h>
#include <llvm/ADT/DenseMap.h>
#include <memory>
Include dependency graph for DiscoveryStorage.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::DiscoveryAggregate
 Scalar contents and concrete array shapes, including nested aggregate roots. More...
struct  llzk::polymorphic::detail::DiscoveryValue
 A scalar constant or a local aggregate identity. Missing leaves are unknown. More...
class  llzk::polymorphic::detail::DiscoveryStorage
 Track only local constant aggregate contents. 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::DiscoveryLeaves = llvm::DenseMap<mlir::ArrayAttr, mlir::Attribute>
 Sparse known scalar leaves of a local aggregate, indexed by record/array paths.