validate_allocation.h

 
#ifndef BF_P4C_PHV_VALIDATE_ALLOCATION_H_
#define BF_P4C_PHV_VALIDATE_ALLOCATION_H_
 
#include "backends/tofino/bf-p4c/phv/alloc_setting.h"
#include "backends/tofino/bf-p4c/phv/fieldslice_live_range.h"
#include "ir/ir.h"
#include "ir/visitor.h"
#include "lib/symbitmatrix.h"
#include "phv_fields.h"
 
class PhvInfo;
class ClotInfo;
 
namespace PHV {
 
class ValidateAllocation final : public Inspector {
 public:
    ValidateAllocation(PhvInfo &phv, const ClotInfo &clot,
                       const PHV::FieldSliceLiveRangeDB &physical_liverange,
                       const PHV::AllocSetting &setting)
        : phv(phv), clot(clot), physical_liverange(physical_liverange), setting(setting) {}
 
    void set_physical_liverange_overlay(bool enable) { physical_liverange_overlay = enable; }
 
 private:
    PhvInfo &phv;
    const ClotInfo &clot;
    const PHV::FieldSliceLiveRangeDB &physical_liverange;
    bool physical_liverange_overlay = false;
    const PHV::AllocSetting &setting;
 
    SymBitMatrix mutually_exclusive_field_ids;
    profile_t init_apply(const IR::Node *root) override;
    bool preorder(const IR::BFN::Digest *digest) override;
    bool preorder(const IR::BFN::Pipe *pipe) override;
    bool preorder(const IR::BFN::DeparserParameter *dp) override;
 
    size_t getPOVContainerBytes(gress_t gress) const;
};
 
}  // namespace PHV
 
#endif /* BF_P4C_PHV_VALIDATE_ALLOCATION_H_ */