P4C
The P4 Compiler
Loading...
Searching...
No Matches
extern.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 BACKENDS_BMV2_COMMON_EXTERN_H_
18#define BACKENDS_BMV2_COMMON_EXTERN_H_
19
20#include "backends/common/programStructure.h"
21#include "frontends/p4/methodInstance.h"
22#include "helpers.h"
23#include "ir/ir.h"
24
25namespace P4::BMV2 {
26
27class ExternConverter {
28 static std::map<cstring, ExternConverter *> *cvtForType;
29
30 public:
31 virtual ~ExternConverter() = default;
32 static void registerExternConverter(cstring, ExternConverter *);
33
34 virtual Util::IJson *convertExternObject(ConversionContext *ctxt, const P4::ExternMethod *em,
35 const IR::MethodCallExpression *mc,
36 const IR::StatOrDecl *s, const bool &emitExterns);
37 virtual void convertExternInstance(ConversionContext *ctxt, const IR::Declaration *c,
38 const IR::ExternBlock *eb, const bool &emitExterns);
39 virtual Util::IJson *convertExternFunction(ConversionContext *ctxt,
40 const P4::ExternFunction *ef,
41 const IR::MethodCallExpression *mc,
42 const IR::StatOrDecl *s, const bool emitExterns);
43
44 static ExternConverter *get(cstring type);
45 static ExternConverter *get(const IR::Type_Extern *type) { return get(type->name); }
46 static ExternConverter *get(const IR::ExternBlock *eb) { return get(eb->type); }
47 static ExternConverter *get(const P4::ExternFunction *ef) { return get(ef->method->name); }
48 static ExternConverter *get(const P4::ExternMethod *em) {
49 return get(em->originalExternType->name);
50 }
51
52 static Util::IJson *cvtExternObject(ConversionContext *ctxt, const P4::ExternMethod *em,
53 const IR::MethodCallExpression *mc, const IR::StatOrDecl *s,
54 const bool &emitExterns);
55 static void cvtExternInstance(ConversionContext *ctxt, const IR::Declaration *c,
56 const IR::ExternBlock *eb, const bool &emitExterns);
57 static Util::IJson *cvtExternFunction(ConversionContext *ctxt, const P4::ExternFunction *ef,
58 const IR::MethodCallExpression *mc,
59 const IR::StatOrDecl *s, const bool emitExterns);
60
61 // helper function for simple switch
62 void modelError(const char *format, const IR::Node *place) const;
63 void addToFieldList(ConversionContext *ctxt, const IR::Expression *expr, Util::JsonArray *fl);
64 int createFieldList(ConversionContext *ctxt, const IR::Expression *expr, cstring group,
65 cstring listName, Util::JsonArray *field_lists);
66 cstring createCalculation(ConversionContext *ctxt, cstring algo, const IR::Expression *fields,
67 Util::JsonArray *calculations, bool usePayload, const IR::Node *node);
68 static cstring convertHashAlgorithm(cstring algorithm);
69 Util::IJson *convertAssertAssume(ConversionContext *ctxt,
70 const IR::MethodCallExpression *methodCall,
71 const P4::ExternFunction *ef);
72};
73
74#define EXTERN_CONVERTER_W_FUNCTION_AND_MODEL(extern_name, model_type, model_name) \
75 class ExternConverter_##extern_name : public ExternConverter { \
76 model_type &model_name; \
77 ExternConverter_##extern_name() : model_name(model_type::instance) { \
78 registerExternConverter(cstring(#extern_name), this); \
79 } \
80 static ExternConverter_##extern_name singleton; \
81 Util::IJson *convertExternFunction(ConversionContext *ctxt, const P4::ExternFunction *ef, \
82 const IR::MethodCallExpression *mc, \
83 const IR::StatOrDecl *s, \
84 const bool emitExterns) override; \
85 };
86
87#define EXTERN_CONVERTER_W_FUNCTION(extern_name) \
88 class ExternConverter_##extern_name : public ExternConverter { \
89 ExternConverter_##extern_name() { registerExternConverter(cstring(#extern_name), this); } \
90 static ExternConverter_##extern_name singleton; \
91 Util::IJson *convertExternFunction(ConversionContext *ctxt, const P4::ExternFunction *ef, \
92 const IR::MethodCallExpression *mc, \
93 const IR::StatOrDecl *s, \
94 const bool emitExterns) override; \
95 };
96
97#define EXTERN_CONVERTER_W_INSTANCE_AND_MODEL(extern_name, model_type, model_name) \
98 class ExternConverter_##extern_name : public ExternConverter { \
99 model_type &model_name; \
100 ExternConverter_##extern_name() : model_name(model_type::instance) { \
101 registerExternConverter(cstring(#extern_name), this); \
102 } \
103 static ExternConverter_##extern_name singleton; \
104 void convertExternInstance(ConversionContext *ctxt, const IR::Declaration *c, \
105 const IR::ExternBlock *eb, const bool &emitExterns) override; \
106 };
107
108#define EXTERN_CONVERTER_W_INSTANCE(extern_name) \
109 class ExternConverter_##extern_name : public ExternConverter { \
110 ExternConverter_##extern_name() { registerExternConverter(cstring(#extern_name), this); } \
111 static ExternConverter_##extern_name singleton; \
112 void convertExternInstance(ConversionContext *ctxt, const IR::Declaration *c, \
113 const IR::ExternBlock *eb, const bool &emitExterns) override; \
114 };
115
116#define EXTERN_CONVERTER_W_OBJECT_AND_INSTANCE_AND_MODEL(extern_name, type, name) \
117 class ExternConverter_##extern_name : public ExternConverter { \
118 type &name; \
119 ExternConverter_##extern_name() : name(type::instance) { \
120 registerExternConverter(cstring(#extern_name), this); \
121 } \
122 static ExternConverter_##extern_name singleton; \
123 void convertExternInstance(ConversionContext *ctxt, const IR::Declaration *c, \
124 const IR::ExternBlock *eb, const bool &emitExternes) override; \
125 Util::IJson *convertExternObject(ConversionContext *ctxt, const P4::ExternMethod *em, \
126 const IR::MethodCallExpression *mc, \
127 const IR::StatOrDecl *s, \
128 const bool &emitExterns) override; \
129 };
130
131#define EXTERN_CONVERTER_W_OBJECT_AND_INSTANCE(extern_name) \
132 class ExternConverter_##extern_name : public ExternConverter { \
133 ExternConverter_##extern_name() { registerExternConverter(cstring(#extern_name), this); } \
134 static ExternConverter_##extern_name singleton; \
135 void convertExternInstance(ConversionContext *ctxt, const IR::Declaration *c, \
136 const IR::ExternBlock *eb, const bool &emitExterns) override; \
137 Util::IJson *convertExternObject(ConversionContext *ctxt, const P4::ExternMethod *em, \
138 const IR::MethodCallExpression *mc, \
139 const IR::StatOrDecl *s, \
140 const bool &emitExterns) override; \
141 };
142
143EXTERN_CONVERTER_W_FUNCTION(assert)
144EXTERN_CONVERTER_W_FUNCTION(assume)
145
146} // namespace P4::BMV2
147
148#endif /* BACKENDS_BMV2_COMMON_EXTERN_H_ */
P4::BMV2::ExternConverter
Definition extern.h:27
P4::BMV2::ExternConverter::convertExternInstance
virtual void convertExternInstance(ConversionContext *ctxt, const IR::Declaration *c, const IR::ExternBlock *eb, const bool &emitExterns)
Definition extern.cpp:83
P4::ExternFunction
Definition methodInstance.h:194
P4::ExternMethod
Definition methodInstance.h:168
P4::IR::Node
Definition node.h:53
P4::Util::IJson
Definition lib/json.h:41
P4::Util::JsonArray
Definition lib/json.h:128
P4::cstring
Definition cstring.h:85
P4::BMV2
TODO: this is not really specific to BMV2, it should reside somewhere else.
Definition action.cpp:21
P4::BMV2::ConversionContext
Definition bmv2/common/helpers.h:297