P4C
The P4 Compiler
Loading...
Searching...
No Matches
ir/configuration.h
1/*
2Copyright 2013-present Barefoot Networks, Inc.
3
4Licensed under the Apache License, Version 2.0 (the "License");
5you may not use this file except in compliance with the License.
6You may obtain a copy of the License at
7
8 http://www.apache.org/licenses/LICENSE-2.0
9
10Unless required by applicable law or agreed to in writing, software
11distributed under the License is distributed on an "AS IS" BASIS,
12WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13See the License for the specific language governing permissions and
14limitations under the License.
15*/
16
17#ifndef IR_CONFIGURATION_H_
18#define IR_CONFIGURATION_H_
19
20namespace P4 {
21
25 public:
27 virtual int maximumWidthSupported() const = 0;
28
30 virtual int maximumArraySize() const = 0;
31};
32
34 public:
35 int maximumWidthSupported() const { return 2048; }
36 int maximumArraySize() const { return 256; }
37
39 static const DefaultP4CConfiguration &get() {
40 static DefaultP4CConfiguration instance;
41 return instance;
42 }
43
44 protected:
46};
47
48} // namespace P4
49
50#endif /* IR_CONFIGURATION_H_ */
Definition ir/configuration.h:33
int maximumArraySize() const
Maximum size for a header stack array.
Definition ir/configuration.h:36
static const DefaultP4CConfiguration & get()
Definition ir/configuration.h:39
int maximumWidthSupported() const
Maximum width supported for a bit field or integer.
Definition ir/configuration.h:35
Definition ir/configuration.h:24
virtual int maximumArraySize() const =0
Maximum size for a header stack array.
virtual int maximumWidthSupported() const =0
Maximum width supported for a bit field or integer.
TODO: this is not really specific to BMV2, it should reside somewhere else.
Definition applyOptionsPragmas.cpp:24