parser_query.h

 
#ifndef BF_P4C_PARDE_PARSER_QUERY_H_
#define BF_P4C_PARDE_PARSER_QUERY_H_
 
#include <ir/ir.h>
 
#include "backends/tofino/bf-p4c/parde/parde_visitor.h"
#include "backends/tofino/bf-p4c/parde/parser_info.h"
#include "ir/pass_manager.h"
 
class PhvInfo;
class MapFieldToParserStates;
 
struct ParserQuery {
    const CollectParserInfo &parser_info;
    const MapFieldToParserStates &field_to_states;
 
    bool same_const_source(const IR::BFN::ParserPrimitive *pp,
                           const IR::BFN::ParserPrimitive *qp) const;
 
    bool is_before(const ordered_set<const IR::BFN::ParserPrimitive *> &writes,
                   const IR::BFN::Parser *parser, const IR::BFN::ParserPrimitive *p,
                   const IR::BFN::ParserState *ps, const IR::BFN::ParserPrimitive *q,
                   const IR::BFN::ParserState *qs = nullptr) const;
 
    ordered_set<const IR::BFN::ParserPrimitive *> get_previous_writes(
        const IR::BFN::ParserPrimitive *p,
        const ordered_set<const IR::BFN::ParserPrimitive *> &writes) const;
 
    bool is_single_write(const ordered_set<const IR::BFN::ParserPrimitive *> &writes) const;
 
    ordered_set<const IR::BFN::ParserPrimitive *> find_inits(
        const ordered_set<const IR::BFN::ParserPrimitive *> &writes) const;
 
    ordered_set<const IR::BFN::ParserPrimitive *> find_inits(PHV::Container c) const;
 
    ParserQuery(const CollectParserInfo &pi, const MapFieldToParserStates &fs)
        : parser_info(pi), field_to_states(fs) {}
};
 
#endif /*BF_P4C_PARDE_PARSER_QUERY_H_*/