![]() |
P4C
The P4 Compiler
|
#include <live_range_split.h>
Public Member Functions | |
LiveRangeSplitOrFail (std::function< const ConcreteAllocation *()> getAllocFn, const std::list< const PHV::SuperCluster * > &unallocated, PhvInfo &phv, const PHV::AllocUtils &utils, const DependencyGraph &deps, const DarkLiveRangeMap &liveRangeMap, const NonMochaDarkFields &nonMochaDark) | |
![]() | |
virtual bool | check_clone (const Visitor *a) |
virtual bool | check_global (cstring) |
virtual void | clear_globals () |
virtual Visitor * | clone () const |
virtual ControlFlowVisitor * | controlFlowVisitor () |
virtual void | end_apply () |
virtual void | end_apply (const IR::Node *root) |
virtual void | erase_global (cstring) |
template<class T> | |
const T * | findContext () const |
template<class T> | |
const T * | findContext (const Context *&c) const |
template<class T> | |
const T * | findOrigCtxt () const |
template<class T> | |
const T * | findOrigCtxt (const Context *&c) const |
virtual Visitor & | flow_clone () |
virtual void | flow_merge (Visitor &) |
virtual bool | flow_merge_closure (Visitor &) |
virtual void | flow_merge_global_from (cstring) |
virtual void | flow_merge_global_to (cstring) |
const Context * | getChildContext () const |
int | getChildrenVisited () const |
const Context * | getContext () const |
int | getContextDepth () const |
const IR::Node * | getCurrentNode () const |
template<class T> | |
const T * | getCurrentNode () const |
const IR::Node * | getOriginal () const |
template<class T> | |
const T * | getOriginal () const |
template<class T> | |
const T * | getParent () const |
virtual bool | has_flow_joins () const |
virtual profile_t | init_apply (const IR::Node *root) |
profile_t | init_apply (const IR::Node *root, const Context *parent_context) |
template<class T> | |
bool | isInContext () const |
template<class T> | |
bool | isInContext (const Context *&c) const |
bool | isInContext (const IR::Node *n) const |
virtual const char * | name () const |
template<class T> | |
void | parallel_visit (const IR::Vector< T > &v, const char *name, int cidx) |
template<class T> | |
void | parallel_visit (const IR::Vector< T > &v, const char *name=0) |
template<class T> | |
void | parallel_visit (IR::Vector< T > &v, const char *name, int cidx) |
template<class T> | |
void | parallel_visit (IR::Vector< T > &v, const char *name=0) |
void | print_context () const |
const Visitor & | setCalledBy (const Visitor *visitor) |
void | setName (const char *name) |
void | visit (const IR::Node &n, const char *name, int cidx) |
void | visit (const IR::Node &n, const char *name=0) |
void | visit (const IR::Node *&n, const char *name, int cidx) |
void | visit (const IR::Node *&n, const char *name=0) |
void | visit (const IR::Node *const &n, const char *name, int cidx) |
void | visit (const IR::Node *const &n, const char *name=0) |
void | visit (IR::Node &n, const char *name, int cidx) |
void | visit (IR::Node &n, const char *name=0) |
void | visit (IR::Node *&, const char *=0, int=0) |
template<class T, typename = std::enable_if_t<Util::has_SourceInfo_v<T> && !std::is_pointer_v<T>>, class... Args> | |
void | warn (const int kind, const char *format, const T &node, Args &&...args) |
The const ref variant of the above. | |
template<class T, typename = std::enable_if_t<Util::has_SourceInfo_v<T>>, class... Args> | |
void | warn (const int kind, const char *format, const T *node, Args &&...args) |
bool | warning_enabled (int warning_kind) const |
Additional Inherited Members | |
![]() | |
typedef Visitor_Context | Context |
![]() | |
static cstring | demangle (const char *) |
static bool | warning_enabled (const Visitor *visitor, int warning_kind) |
![]() | |
const Visitor * | called_by = nullptr |
cstring | internalName |
SplitFlowVisit_base *& | split_link |
SplitFlowVisit_base * | split_link_mem = nullptr |
![]() | |
virtual void | init_join_flows (const IR::Node *) |
virtual bool | join_flows (const IR::Node *) |
virtual void | post_join_flows (const IR::Node *, const IR::Node *) |
void | visit_children (const IR::Node *, std::function< void()> fn) |
virtual void | visitAgain () const |
virtual void | visitOnce () const |
![]() | |
bool | dontForwardChildrenBeforePreorder = false |
bool | joinFlows = false |
bool | visitDagOnce = true |
This pass takes a potentially incomplete allocation, and if there are unallocated fields, analyzes the state of the PHV containers for the fields that are allocated, and generates potential allocatations for the unallocated ones. The new allocations will be split amongst multiple containers if possible, specifying that the field will have to move from one container to another where their availability overlaps. If unsuccessful, compilation will fail here.
TODO: This does not yet modify the allocation, instead only outputting potential splits to a log file. So it will always fail if unallocated is not empty.