table_utils.h

/*
 * SPDX-FileCopyrightText: 2023 The P4 Language Consortium
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#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 P4::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 P4::P4Tools::TableUtils
 
#endif /* BACKENDS_P4TOOLS_COMMON_LIB_TABLE_UTILS_H_ */