check_design_pattern.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_MIDEND_CHECK_DESIGN_PATTERN_H_
#define BACKENDS_TOFINO_BF_P4C_MIDEND_CHECK_DESIGN_PATTERN_H_
 
#include "bf-p4c-options.h"
#include "frontends/common/resolveReferences/referenceMap.h"
#include "frontends/p4/methodInstance.h"
#include "frontends/p4/typeMap.h"
#include "ir/ir.h"
 
namespace BFN {
class CheckExternValidity : public Inspector {
    P4::ReferenceMap *refMap;
    P4::TypeMap *typeMap;
 
 public:
    CheckExternValidity(P4::ReferenceMap *refMap, P4::TypeMap *typeMap)
        : refMap(refMap), typeMap(typeMap) {}
    bool preorder(const IR::MethodCallExpression *) override;
};
 
typedef std::map<const IR::P4Action *, std::vector<const P4::ExternMethod *>> ActionExterns;
class FindDirectExterns : public Inspector {
    P4::ReferenceMap *refMap;
    P4::TypeMap *typeMap;
    ActionExterns &directExterns;
 
 public:
    FindDirectExterns(P4::ReferenceMap *refMap, P4::TypeMap *typeMap, ActionExterns &directExterns)
        : refMap(refMap), typeMap(typeMap), directExterns(directExterns) {}
    bool preorder(const IR::MethodCallExpression *) override;
    profile_t init_apply(const IR::Node *root) override;
};
 
class CheckDirectExternsOnTables : public Modifier {
    P4::ReferenceMap *refMap;
    ActionExterns &directExterns;
 
 public:
    CheckDirectExternsOnTables(P4::ReferenceMap *refMap, P4::TypeMap *,
                               ActionExterns &directExterns)
        : refMap(refMap), directExterns(directExterns) {}
    bool preorder(IR::P4Table *) override;
};
 
class CheckDirectResourceInvocation : public PassManager {
    ActionExterns directExterns;
 
 public:
    static const std::map<cstring, cstring> externsToProperties;
    CheckDirectResourceInvocation(P4::ReferenceMap *refMap, P4::TypeMap *typeMap) {
        passes.push_back(new FindDirectExterns(refMap, typeMap, directExterns));
        passes.push_back(new CheckDirectExternsOnTables(refMap, typeMap, directExterns));
    }
};
 
class CheckTableConstEntries : public Inspector {
 public:
    CheckTableConstEntries() {}
    bool preorder(const IR::P4Table *) override;
};
 
class CheckDesignPattern : public PassManager {
 public:
    CheckDesignPattern(P4::ReferenceMap *refMap, P4::TypeMap *typeMap) {
        passes.push_back(new CheckExternValidity(refMap, typeMap));
        if (BackendOptions().arch != "v1model")
            passes.push_back(new CheckDirectResourceInvocation(refMap, typeMap));
    }
};
 
}  // namespace BFN
 
#endif  // BACKENDS_TOFINO_BF_P4C_MIDEND_CHECK_DESIGN_PATTERN_H_