add_special_constraints.h

 
#ifndef BF_P4C_PHV_ADD_SPECIAL_CONSTRAINTS_H_
#define BF_P4C_PHV_ADD_SPECIAL_CONSTRAINTS_H_
 
#include "backends/tofino/bf-p4c/parde/decaf.h"
#include "backends/tofino/bf-p4c/phv/action_phv_constraints.h"
#include "backends/tofino/bf-p4c/phv/phv_fields.h"
#include "backends/tofino/bf-p4c/phv/pragma/phv_pragmas.h"
#include "ir/ir.h"
 
class AddSpecialConstraints : public Inspector {
 private:
    PhvInfo &phv_i;
    PHV::Pragmas &pragmas_i;
    const ActionPhvConstraints &actions_i;
    const DeparserCopyOpt &decaf_i;
 
    std::set<cstring> seen_hdr_i;
 
    profile_t init_apply(const IR::Node *root) override;
 
    bool preorder(const IR::BFN::ChecksumVerify *verify) override;
    bool preorder(const IR::BFN::ChecksumResidualDeposit *get) override;
 
    bool preorder(const IR::Concat *) override;
    bool preorder(const IR::Cast *) override;
 
    bool preorder(const IR::ConcreteHeaderRef *hr) override;
 
    void end_apply() override;
 
 public:
    explicit AddSpecialConstraints(PhvInfo &phv, PHV::Pragmas &pragmas,
                                   const ActionPhvConstraints &actions,
                                   const DeparserCopyOpt &decaf)
        : phv_i(phv), pragmas_i(pragmas), actions_i(actions), decaf_i(decaf) {}
};
 
#endif /*  BF_P4C_PHV_ADD_SPECIAL_CONSTRAINTS_H_    */