A table of SSA values and the conditions under which they appear. More...
#include <DeseqUtils.h>
Public Member Functions | |
| ValueTable ()=default | |
| ValueTable (TruthTable condition, ValueEntry entry) | |
| void | addCondition (TruthTable condition) |
| void | merge (const ValueTable &other) |
| void | minimize () |
Public Attributes | |
| SmallVector< std::pair< TruthTable, ValueEntry >, 1 > | entries |
Detailed Description
A table of SSA values and the conditions under which they appear.
This struct can be used to track the various concrete values an SSA value may assume depending on how control flow reaches it.
Definition at line 200 of file DeseqUtils.h.
Constructor & Destructor Documentation
◆ ValueTable() [1/2]
|
default |
Referenced by merge().
◆ ValueTable() [2/2]
|
inline |
Definition at line 204 of file DeseqUtils.h.
References entries.
Member Function Documentation
◆ addCondition()
| void ValueTable::addCondition | ( | TruthTable | condition | ) |
Definition at line 245 of file DeseqUtils.cpp.
References entries, and minimize().
◆ merge()
| void ValueTable::merge | ( | const ValueTable & | other | ) |
Definition at line 251 of file DeseqUtils.cpp.
References entries, minimize(), and ValueTable().
◆ minimize()
| void ValueTable::minimize | ( | ) |
Definition at line 256 of file DeseqUtils.cpp.
References assert(), and entries.
Referenced by addCondition(), and merge().
Member Data Documentation
◆ entries
| SmallVector<std::pair<TruthTable, ValueEntry>, 1> circt::llhd::deseq::ValueTable::entries |
Definition at line 201 of file DeseqUtils.h.
Referenced by addCondition(), merge(), minimize(), circt::llhd::deseq::operator<<(), and ValueTable().
The documentation for this struct was generated from the following files:
- /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/LLHD/Transforms/DeseqUtils.h
- /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/LLHD/Transforms/DeseqUtils.cpp
Generated on for CIRCT by
1.15.0