pack_conflicts.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_PHV_ANALYSIS_PACK_CONFLICTS_H_
#define BACKENDS_TOFINO_BF_P4C_PHV_ANALYSIS_PACK_CONFLICTS_H_
 
#include "bf-p4c/lib/assoc.h"
#include "bf-p4c/mau/action_analysis.h"
#include "bf-p4c/mau/action_mutex.h"
#include "bf-p4c/mau/table_dependency_graph.h"
#include "bf-p4c/mau/table_mutex.h"
#include "bf-p4c/phv/mau_backtracker.h"
#include "bf-p4c/phv/phv_fields.h"
#include "bf-p4c/phv/pragma/pa_no_pack.h"
#include "ir/ir.h"
 
class PackConflicts : public PassManager {
 private:
    PhvInfo &phv;
    const DependencyGraph &dg;
    IgnoreTableDeps ignore;
    const TablesMutuallyExclusive &mutex;
    const MauBacktracker &bt;
    const ActionMutuallyExclusive &amutex;
    const PragmaNoPack &pa_no_pack;
    const TableSummary *table_summary;
 
    size_t totalNumSet = 0;
 
    ordered_map<const IR::MAU::Table *, ordered_set<const IR::MAU::Action *>> tableActions;
    ordered_map<const IR::MAU::Action *, ordered_set<PHV::FieldSlice>> actionWrites;
 
    ordered_map<PHV::FieldSlice, int> fieldslice_to_id;
    assoc::hash_map<const PHV::Field *, ordered_set<le_bitrange>> field_fine_slices;
    int fieldslice_id_counter = 0;
    SymBitMatrix fieldslice_no_pack_i;
 
    profile_t init_apply(const IR::Node *root) override;
 
    class GatherWrites : public Inspector {
        PackConflicts &self;
        bool preorder(const IR::MAU::Action *act) override;
 
        bool preorder(const IR::BFN::Digest *digest) override;
 
     public:
        explicit GatherWrites(PackConflicts &s) : self(s) {}
    };
    void end_apply() override;
 
    void generateNoPackConstraints(const IR::MAU::Table *t1, const IR::MAU::Table *t2);
 
    void generateNoPackConstraintsForBridgedFields(const IR::MAU::Table *, const IR::MAU::Table *);
 
    void updateNumPackConstraints();
 
 public:
    PackConflicts(PhvInfo &p, const DependencyGraph &d, const TablesMutuallyExclusive &m,
                  const MauBacktracker &b, const ActionMutuallyExclusive &a,
                  const PragmaNoPack &no_pack, const TableSummary *table_summary = nullptr)
        : phv(p),
          dg(d),
          mutex(m),
          bt(b),
          amutex(a),
          pa_no_pack(no_pack),
          table_summary(table_summary) {
        addPasses({new GatherWrites(*this), &ignore});
    }
 
    void removePackConflict(const PHV::FieldSlice &f1, const PHV::FieldSlice &f2);
 
    void addPackConflict(const PHV::FieldSlice &f1, const PHV::FieldSlice &f2);
 
    bool hasPackConflict(const PHV::FieldSlice &f1, const PHV::FieldSlice &f2) const;
 
    bool writtenInSameStageDifferentTable(const IR::MAU::Table *t1, const IR::MAU::Table *t2) const;
 
    void printNoPackConflicts() const;
 
    unsigned size() const;
};
 
#endif /* BACKENDS_TOFINO_BF_P4C_PHV_ANALYSIS_PACK_CONFLICTS_H_ */