eliminate_empty_states.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_PARDE_LOWERED_ELIMINATE_EMPTY_STATES_H_
#define BACKENDS_TOFINO_BF_P4C_PARDE_LOWERED_ELIMINATE_EMPTY_STATES_H_
 
#include "bf-p4c/parde/parde_visitor.h"
#include "bf-p4c/parde/parser_info.h"
 
namespace Parde::Lowered {
 
struct EliminateEmptyStates : public ParserTransform {
    const CollectParserInfo &parser_info;
 
    explicit EliminateEmptyStates(const CollectParserInfo &pi) : parser_info(pi) {}
 
    bool is_empty(const IR::BFN::ParserState *state);
 
    const IR::BFN::Transition *get_unconditional_transition(const IR::BFN::ParserState *state);
 
    IR::Node *preorder(IR::BFN::Transition *transition) override;
};
 
}  // namespace Parde::Lowered
 
#endif /* BACKENDS_TOFINO_BF_P4C_PARDE_LOWERED_ELIMINATE_EMPTY_STATES_H_ */