header_validity_analysis.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_PARDE_CLOT_HEADER_VALIDITY_ANALYSIS_H_
#define BACKENDS_TOFINO_BF_P4C_PARDE_CLOT_HEADER_VALIDITY_ANALYSIS_H_
 
#include "bf-p4c/mau/mau_visitor.h"
#include "bf-p4c/phv/phv_fields.h"
#include "field_slice_set.h"
 
class HeaderValidityAnalysis : public MauInspector {
 public:
    using ResultMap = std::map<FieldSliceSet, std::set<FieldSliceSet>>;
 
    const PhvInfo &phvInfo;
 
    std::map<const PHV::FieldSlice *, std::set<FieldSliceSet>, PHV::FieldSlice::Less>
        *interestedCorrelations;
 
    std::set<const PHV::Field *> povBitsSetInvalidInMau;
    std::set<const PHV::Field *> povBitsSetValidInMau;
 
    std::map<const PHV::Field *, std::set<const IR::MAU::Action *>> povBitsUpdateActions;
    std::map<const PHV::Field *, std::set<const IR::MAU::Action *>>
        povBitsUpdateOrInvalidateActions;
    std::map<const PHV::Field *, std::set<const IR::MAU::Action *>> povBitsUpdateOrValidateActions;
    std::map<const PHV::Field *, std::set<const IR::MAU::Action *>> povBitsInvalidateActions;
    std::map<const PHV::Field *, std::set<const IR::MAU::Action *>> povBitsValidateActions;
 
    SymBitMatrix povBitsAlwaysInvalidateTogether;
    SymBitMatrix povBitsAlwaysValidateTogether;
 
    ResultMap resultMap;
 
    HeaderValidityAnalysis(const PhvInfo &phvInfo, const std::set<FieldSliceSet> &correlations);
    HeaderValidityAnalysis(const HeaderValidityAnalysis &) = default;
    HeaderValidityAnalysis(HeaderValidityAnalysis &&) = default;
 
    Visitor::profile_t init_apply(const IR::Node *root) override;
    bool preorder(const IR::MAU::Instruction *instruction) override;
    bool preorder(const IR::MAU::Action *act) override;
    void end_apply() override;
 
    HeaderValidityAnalysis *clone() const override;
    HeaderValidityAnalysis &flow_clone() override;
    void flow_merge(Visitor &v) override;
    // FIXME -- not a ControlFlowVisitor, so there will never be any clones to merge...
    // void flow_copy(::ControlFlowVisitor& v) override;
};
 
#endif /* BACKENDS_TOFINO_BF_P4C_PARDE_CLOT_HEADER_VALIDITY_ANALYSIS_H_ */