P4C
The P4 Compiler
Loading...
Searching...
No Matches
backends/p4tools/common/compiler/configuration.h
1/*
2 * SPDX-FileCopyrightText: 2022 The P4 Language Consortium
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7#ifndef BACKENDS_P4TOOLS_COMMON_COMPILER_CONFIGURATION_H_
8#define BACKENDS_P4TOOLS_COMMON_COMPILER_CONFIGURATION_H_
9
10#include <climits>
11
12#include "ir/configuration.h"
13
14namespace P4::P4Tools {
15
18class CompilerConfiguration : public DefaultP4CConfiguration {
19 public:
20 [[nodiscard]] int maximumWidthSupported() const override { return INT_MAX; }
21
23 static const CompilerConfiguration &get() {
24 static CompilerConfiguration instance;
25 return instance;
26 }
27 virtual ~CompilerConfiguration() = default;
28
29 protected:
30 CompilerConfiguration() = default;
31};
32
33} // namespace P4::P4Tools
34
35#endif /* BACKENDS_P4TOOLS_COMMON_COMPILER_CONFIGURATION_H_ */
Definition backends/p4tools/common/compiler/configuration.h:18
int maximumWidthSupported() const override
Maximum width supported for a bit field or integer.
Definition backends/p4tools/common/compiler/configuration.h:20
static const CompilerConfiguration & get()
Definition backends/p4tools/common/compiler/configuration.h:23
Definition common/compiler/compiler_result.cpp:7