LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::polymorphic::detail::InstantiationLayout Struct Reference

Groups the information needed after concrete parameters have been chosen to decide how to name a new instantiated template and how to rewrite the remaining argument list at the use site. More...

#include <SharedImpl.h>

Collaboration diagram for llzk::polymorphic::detail::InstantiationLayout:
[legend]

Public Attributes

mlir::SmallVector< mlir::Attribute > remainingNames
mlir::ArrayAttr concreteParamKey
 Ordered [parameter-name, concrete-value, ...] entries for exact partial-function reuse.
std::string templateNameWithAttrs
mlir::ArrayAttr rewrittenCallParams
mlir::ArrayAttr namePattern
 The refined literal chunks; fully concrete generated templates clear this state.

Detailed Description

Groups the information needed after concrete parameters have been chosen to decide how to name a new instantiated template and how to rewrite the remaining argument list at the use site.

Definition at line 136 of file SharedImpl.h.

Member Data Documentation

◆ concreteParamKey

mlir::ArrayAttr llzk::polymorphic::detail::InstantiationLayout::concreteParamKey

Ordered [parameter-name, concrete-value, ...] entries for exact partial-function reuse.

Definition at line 139 of file SharedImpl.h.

◆ namePattern

mlir::ArrayAttr llzk::polymorphic::detail::InstantiationLayout::namePattern

The refined literal chunks; fully concrete generated templates clear this state.

Definition at line 143 of file SharedImpl.h.

◆ remainingNames

mlir::SmallVector<mlir::Attribute> llzk::polymorphic::detail::InstantiationLayout::remainingNames

Definition at line 137 of file SharedImpl.h.

◆ rewrittenCallParams

mlir::ArrayAttr llzk::polymorphic::detail::InstantiationLayout::rewrittenCallParams

Definition at line 141 of file SharedImpl.h.

◆ templateNameWithAttrs

std::string llzk::polymorphic::detail::InstantiationLayout::templateNameWithAttrs

Definition at line 140 of file SharedImpl.h.


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