split_greedy_parser_states.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_PARDE_LOWERED_SPLIT_GREEDY_PARSER_STATES_H_
#define BACKENDS_TOFINO_BF_P4C_PARDE_LOWERED_SPLIT_GREEDY_PARSER_STATES_H_
 
#include "bf-p4c/parde/clot/clot_info.h"
#include "ir/visitor.h"
 
namespace Parde::Lowered {
 
struct SplitGreedyParserStates : public Transform {
    SplitGreedyParserStates() {}
 
 private:
    IR::BFN::ParserState *split_state(IR::BFN::ParserState *state, cstring new_state_name);
 
    void split_statements(const IR::Vector<IR::BFN::ParserPrimitive> in,
                          IR::Vector<IR::BFN::ParserPrimitive> &first,
                          IR::Vector<IR::BFN::ParserPrimitive> &last,
                          int &last_statements_shift_bit,
                          std::optional<bool> &last_statements_partial_proc);
 
    bool partial_hdr_err_proc_verify(const IR::Vector<IR::BFN::ParserPrimitive> *statements,
                                     const IR::Vector<IR::BFN::Select> *selects,
                                     const IR::Vector<IR::BFN::Transition> *transitions,
                                     std::optional<bool> *partial_proc_value);
 
    bool state_pkt_too_short_verify(const IR::BFN::ParserState *state,
                                    bool &select_args_incompatible);
 
    IR::BFN::ParserState *postorder(IR::BFN::ParserState *state) override;
};
 
}  // namespace Parde::Lowered
 
#endif /* BACKENDS_TOFINO_BF_P4C_PARDE_LOWERED_SPLIT_GREEDY_PARSER_STATES_H_ */