CIRCT 21.0.0git
|
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 |
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 160 of file DeseqUtils.h.
|
default |
|
inline |
Definition at line 164 of file DeseqUtils.h.
void ValueTable::addCondition | ( | TruthTable | condition | ) |
Definition at line 245 of file DeseqUtils.cpp.
References entries, and minimize().
void ValueTable::merge | ( | const ValueTable & | other | ) |
Definition at line 251 of file DeseqUtils.cpp.
References entries, and minimize().
void ValueTable::minimize | ( | ) |
Definition at line 256 of file DeseqUtils.cpp.
References assert(), and entries.
Referenced by addCondition(), and merge().
SmallVector<std::pair<TruthTable, ValueEntry>, 1> circt::llhd::deseq::ValueTable::entries |
Definition at line 161 of file DeseqUtils.h.
Referenced by addCondition(), merge(), minimize(), and circt::llhd::deseq::operator<<().