parde_phv_constraints.h

 
#ifndef BF_P4C_PHV_PARDE_PHV_CONSTRAINTS_H_
#define BF_P4C_PHV_PARDE_PHV_CONSTRAINTS_H_
 
#include "bf-p4c/mau/mau_visitor.h"
#include "bf-p4c/phv/phv_fields.h"
#include "bf-p4c/phv/pragma/pa_container_size.h"
#include "ir/ir.h"
 
class PardePhvConstraints : public Inspector {
 private:
    static constexpr int MAX_CONSTANT_WINDOW = 3;
 
    unsigned DIGEST_BYTES_THRESHOLD;
 
    PhvInfo &phv;
    PragmaContainerSize &sizePragmas;
 
    profile_t init_apply(const IR::Node *root) override;
    bool preorder(const IR::BFN::Digest *digest) override;
 
 public:
    explicit PardePhvConstraints(PhvInfo &p, PragmaContainerSize &pa) : phv(p), sizePragmas(pa) {
        // Set the threshold for setting restrictions of unused bits in digest fields to 90% of the
        // maximum.
        DIGEST_BYTES_THRESHOLD = Device::maxDigestSizeInBytes() * 9 / 10;
    }
};
 
class TofinoParserConstantExtract : public Inspector {
 private:
    PhvInfo &phv;
 
    ordered_map<const IR::BFN::ParserState *, ordered_set<PHV::Field *>> stateToPOVMap;
 
    profile_t init_apply(const IR::Node *root) override;
    bool preorder(const IR::BFN::Extract *extract) override;
    void end_apply() override;
 
 public:
    explicit TofinoParserConstantExtract(PhvInfo &p) : phv(p) {}
};
 
#endif /* BF_P4C_PHV_PARDE_PHV_CONSTRAINTS_H_ */