check_field_corruption.h

 
#ifndef BF_P4C_COMMON_CHECK_FIELD_CORRUPTION_H_
#define BF_P4C_COMMON_CHECK_FIELD_CORRUPTION_H_
 
#include "bf-p4c/common/field_defuse.h"
#include "bf-p4c/phv/phv_parde_mau_use.h"
#include "bf-p4c/phv/pragma/phv_pragmas.h"
#include "ir/ir.h"
 
using namespace P4;
 
class CheckFieldCorruption : public Inspector, TofinoWriteContext {
 private:
    const FieldDefUse &defuse;
    const PhvInfo &phv;
    const PHV::Pragmas &pragmas;
    Phv_Parde_Mau_Use uses;
    ordered_set<const PHV::Field *> pov_protected_fields;
    std::map<const IR::BFN::ParserState *, std::set<const IR::Expression *>> state_extracts;
    std::map<const PHV::Field *, std::set<const IR::Expression *>> parser_inits;
 
 protected:
    bool copackedFieldExtractedSeparately(const FieldDefUse::locpair &use);
 
 public:
    CheckFieldCorruption(const FieldDefUse &defuse, const PhvInfo &phv, const PHV::Pragmas &pragmas)
        : defuse(defuse), phv(phv), pragmas(pragmas), uses(phv) {}
 
    void end_apply() override;
    bool preorder(const IR::BFN::Pipe *) override;
    bool preorder(const IR::BFN::DeparserParameter *) override;
    bool preorder(const IR::BFN::Digest *) override;
    bool preorder(const IR::Expression *) override;
    bool preorder(const IR::BFN::ParserZeroInit *) override;
};
 
#endif /* BF_P4C_COMMON_CHECK_FIELD_CORRUPTION_H_ */