P4C
The P4 Compiler
Loading...
Searching...
No Matches
tdiConf.h
1/*
2 * Copyright 2023 Intel Corporation
3 * SPDX-FileCopyrightText: 2023 Intel Corporation
4 *
5 * SPDX-License-Identifier: Apache-2.0
6 */
7
8#ifndef BACKENDS_DPDK_TDICONF_H_
9#define BACKENDS_DPDK_TDICONF_H_
10
11#include <string>
12
13#include "backends/dpdk/options.h"
14namespace P4::DPDK {
15
17 private:
20 static std::vector<cstring> getPipeNames(const IR::Declaration_Instance *main);
21
23 static std::optional<cstring> findPipeName(const IR::P4Program *prog,
24 DPDK::DpdkOptions &options);
25
26 public:
28 static void generate(const IR::P4Program *prog, DPDK::DpdkOptions &options);
29};
30
31} // namespace P4::DPDK
32
33#endif /* BACKENDS_DPDK_TDICONF_H_ */
Definition backends/dpdk/options.h:15
Definition tdiConf.h:16
static void generate(const IR::P4Program *prog, DPDK::DpdkOptions &options)
Generate the TDI configuration file required by the tdi-pipeline-builder.
Definition tdiConf.cpp:60
Definition dpdk/backend.cpp:26