table_utils.h

#ifndef BACKENDS_P4TOOLS_COMMON_LIB_TABLE_UTILS_H_
#define BACKENDS_P4TOOLS_COMMON_LIB_TABLE_UTILS_H_
 
#include "ir/ir.h"
#include "lib/cstring.h"
 
namespace P4Tools::TableUtils {
 
struct KeyProperties {
    IR::KeyElement const *key;
 
    cstring name;
 
    size_t index;
 
    cstring matchType;
 
    bool isTainted;
 
    explicit KeyProperties(IR::KeyElement const *key, cstring name, size_t index, cstring matchType,
                           bool isTainted)
        : key(key), name(name), index(index), matchType(matchType), isTainted(isTainted) {}
};
 
struct TableProperties {
    cstring tableName;
 
    bool tableIsTainted = false;
 
    bool tableIsImmutable = false;
 
    bool defaultIsImmutable = false;
 
    std::vector<KeyProperties> resolvedKeys;
 
    std::map<cstring, int> actionIdMap;
};
 
void checkTableImmutability(const IR::P4Table &table, TableProperties &properties);
 
std::vector<const IR::ActionListElement *> buildTableActionList(const IR::P4Table &table);
 
bool compareLPMEntries(const IR::Entry *leftIn, const IR::Entry *rightIn, size_t lpmIndex);
 
const IR::PathExpression *getDefaultActionName(const IR::P4Table &table);
 
const IR::Expression *computeEntryMatch(const IR::P4Table &table, const IR::Entry &entry,
                                        const IR::Key &key);
 
}  // namespace P4Tools::TableUtils
 
#endif /* BACKENDS_P4TOOLS_COMMON_LIB_TABLE_UTILS_H_ */