ebpfModel.h

/*
 * SPDX-FileCopyrightText: 2013 Barefoot Networks, Inc.
 * Copyright 2013-present Barefoot Networks, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef BACKENDS_EBPF_EBPFMODEL_H_
#define BACKENDS_EBPF_EBPFMODEL_H_
 
#include "frontends/common/model.h"
#include "frontends/p4/coreLibrary.h"
#include "ir/ir.h"
#include "lib/cstring.h"
 
namespace P4::EBPF {
 
using namespace P4::literals;
 
struct TableImpl_Model : public ::P4::Model::Extern_Model {
    explicit TableImpl_Model(cstring name) : Extern_Model(name), size("size"_cs) {}
    ::P4::Model::Elem size;
};
 
struct CounterArray_Model : public ::P4::Model::Extern_Model {
    CounterArray_Model()
        : Extern_Model("CounterArray"_cs),
          increment("increment"_cs),
          add("add"_cs),
          max_index("max_index"_cs),
          sparse("sparse"_cs) {}
    ::P4::Model::Elem increment;
    ::P4::Model::Elem add;
    ::P4::Model::Elem max_index;
    ::P4::Model::Elem sparse;
};
 
enum ModelArchitecture {
    EbpfFilter,
    XdpSwitch,
};
 
struct Xdp_Model : public ::P4::Model::Elem {
    Xdp_Model() : Elem("xdp"_cs), parser("p"_cs), switch_("s"_cs), deparser("d"_cs) {}
    ::P4::Model::Elem parser;
    ::P4::Model::Elem switch_;
    ::P4::Model::Elem deparser;
};
 
struct Filter_Model : public ::P4::Model::Elem {
    Filter_Model() : Elem("ebpf_filter"_cs), parser("prs"_cs), filter("filt"_cs) {}
    ::P4::Model::Elem parser;
    ::P4::Model::Elem filter;
};

class EBPFModel : public ::P4::Model::Model {
 protected:
    EBPFModel()
        : counterArray(),
          array_table("array_table"_cs),
          hash_table("hash_table"_cs),
          tableImplProperty("implementation"_cs),
          CPacketName("skb"_cs),
          packet("packet"_cs, P4::P4CoreLibrary::instance().packetIn, 0),
          arch(EbpfFilter),
          filter(),
          xdp(),
          counterIndexType("u32"_cs),
          counterValueType("u32"_cs) {}
 
 public:
    static EBPFModel instance;
    static cstring reservedPrefix;
 
    CounterArray_Model counterArray;
    TableImpl_Model array_table;
    TableImpl_Model hash_table;
    ::P4::Model::Elem tableImplProperty;
    ::P4::Model::Elem CPacketName;
    ::P4::Model::Param_Model packet;
    ModelArchitecture arch;
    Filter_Model filter;
    Xdp_Model xdp;
 
    cstring counterIndexType;
    cstring counterValueType;
 
    static cstring reserved(cstring name) { return reservedPrefix + name; }
};
 
}  // namespace P4::EBPF
 
#endif /* BACKENDS_EBPF_EBPFMODEL_H_ */