#include <matcher.hpp>
Inheritance diagram for opt::Matcher:
Collaboration diagram for opt::Matcher:
Public Member Functions | |
| Matcher (void)=default | |
| Matcher (const VoterPool &voters) | |
| void | visit (teq::iLeaf *leaf) override |
| Implementation of iTraveler. More... | |
| void | visit (teq::iFunctor *func) override |
| Implementation of iTraveler. More... | |
 Public Member Functions inherited from teq::iTraveler | |
| virtual | ~iTraveler (void)=default |
Public Attributes | |
| VoterPool | voters_ |
| Conversion voters to identify candidates. More... | |
| std::unordered_map< teq::iTensor *, CandsT > | candidates_ |
| Map real TEQ tensors to candidates identified as TEQ graph is visited. More... | |
| tag::SubgraphAssocsT | group_head_ |
| Root of grouped subgraphs. More... | |
| std::function< std::string(teq::iTensor *)> | scalarize_ |
| Function that returns constant representation of tensor. More... | |
Detailed Description
Approach: we have matcher, voters, and candidates
- matchers map:
- functors to voters (by functor's opname)
- leaves to ScalarCand (if it is immutable and scalar)
- anything that is not matched to a voter or candidate has no candidate and marked as ANY
- voters are created by the parser, and only accept functor arguments voters generate a list of candidates based on the arguments, the list of candidates can be empty and marked as ANY
- candidates can be a scalar, an intermediate candidate, or a convertible candidate. when built:
- scalar candidates take a constant scalar node
- convertible candidates take on it's converted subgraph
- intermediate candidates do nothing Using the matcher, the optimizer makes a best attempt at mapping tensor to zero to many candidates. The optimizer is responsible for selecting the best candidates
Constructor & Destructor Documentation
◆ Matcher() [1/2]
|
default |
◆ Matcher() [2/2]
|
inline |
Member Function Documentation
◆ visit() [1/2]
|
inlineoverridevirtual |
Implementation of iTraveler.
Implements teq::iTraveler.
◆ visit() [2/2]
|
inlineoverridevirtual |
Implementation of iTraveler.
Implements teq::iTraveler.
Member Data Documentation
◆ candidates_
| std::unordered_map<teq::iTensor*,CandsT> opt::Matcher::candidates_ |
Map real TEQ tensors to candidates identified as TEQ graph is visited.
◆ group_head_
| tag::SubgraphAssocsT opt::Matcher::group_head_ |
Root of grouped subgraphs.
◆ scalarize_
| std::function<std::string(teq::iTensor*)> opt::Matcher::scalarize_ |
Function that returns constant representation of tensor.
◆ voters_
| VoterPool opt::Matcher::voters_ |
Conversion voters to identify candidates.
The documentation for this struct was generated from the following file:
- opt/matcher.hpp
