control_flow_visitor.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_IR_CONTROL_FLOW_VISITOR_H_
#define BACKENDS_TOFINO_BF_P4C_IR_CONTROL_FLOW_VISITOR_H_
 
#include "frontends/common/resolveReferences/resolveReferences.h"
#include "ir/ir.h"
 
namespace BFN {
 
class ControlFlowVisitor : public ::ControlFlowVisitor, virtual public P4::ResolutionContext {
 protected:
    bool filter_join_point(const IR::Node *n) override {
        // FIXME -- we generally should NOT be filtering out Tables or TableSeqs, BUT currently
        // the joinFlows stuff doesn't work properly, as Table::visit_children does not use
        // a SplitFlowVisit to visit next fields, so it has trouble when a TableSeq is used in
        // more than one place.  It also depends on the visitor as to whether it makes more
        // sense to always revisit tables/seqs that are referenced more than once, as that
        // cam give a more accurate flow analysis (though it is more expensive)
        return !n->is<IR::BFN::ParserState>() &&
               // !n->is<IR::MAU::Table>() &&
               !n->is<IR::MAU::TableSeq>();
    }
 
    // Helpers for visiting midend IR in control-flow order.  These functions take a call
    // or reference to a ParserState, an Action, or a Table and visit that object.
    void visit_def(const IR::PathExpression *);
    void visit_def(const IR::MethodCallExpression *);
};
 
}  // end namespace BFN
 
#endif /* BACKENDS_TOFINO_BF_P4C_IR_CONTROL_FLOW_VISITOR_H_ */