runtime.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_CONTROL_PLANE_RUNTIME_H_
#define BACKENDS_TOFINO_BF_P4C_CONTROL_PLANE_RUNTIME_H_
 
#include "ir/ir.h"
 
namespace P4 {
namespace IR {
class P4Program;
}  // namespace IR
}  // namespace P4
 
using namespace P4;
 
class BFN_Options;
 
namespace BFN {
 
/*
 * Certain names are reserved for BF-RT and cannot be used on
 * controls. Pass checks for control names overlapping restricted ones, append
 * to the list as required.
 */
class CheckReservedNames : public Inspector {
    std::set<cstring> reservedNames = {"snapshot"_cs};
    bool preorder(const IR::Type_ArchBlock *b) override;
 
 public:
    CheckReservedNames() {}
};
 
class SetDefaultSize : public Modifier {
    bool warn = false;
    bool preorder(IR::P4Table *table) override;
 
 public:
    explicit SetDefaultSize(bool warn) : warn(warn) {}
};
 
void generateRuntime(const IR::P4Program *program, const BFN_Options &options);
 
}  // namespace BFN
 
#endif /* BACKENDS_TOFINO_BF_P4C_CONTROL_PLANE_RUNTIME_H_ */