void
PHV::push_back_header(const std::string &header_name,
header_id_t header_index,
const HeaderType &header_type,
const std::set<int> &arith_offsets,
const bool metadata) {
assert(header_index < static_cast<int>(capacity));
assert(header_index == static_cast<int>(headers.size()));
// cannot call push_back here, as the Header constructor passes "this" to the
// Field constructor (i.e. Header cannot be moved or the pointer would be
// invalid); this is not a very robust design
headers.emplace_back(
header_name, header_index, header_type, arith_offsets, metadata);
headers.back().set_packet_id(&packet_id);
headers_map.emplace(header_name, get_header(header_index));
for (int i = 0; i < header_type.get_num_fields(); i++) {
const std::string name = header_name + "." + header_type.get_field_name(i);
// std::cout << header_index << " " << i << " " << name << std::endl;
fields_map.emplace(name, get_field(header_index, i));
}
if (header_type.is_VL_header()) {
headers.back().VL_expr = header_type.resolve_VL_expr(header_index);
if (headers.back().VL_expr != nullptr) {
for (const int offset : header_type.get_VL_input_offsets())
headers.back()[offset].set_arith(true);
}
}
}
void
PHVFactory::push_back_header(const std::string &header_name,
const header_id_t header_index,
const HeaderType &header_type,
const bool metadata) {
HeaderDesc desc(header_name, header_index, header_type, metadata);
// cannot use operator[] because it requires default constructibility
header_descs.insert(std::make_pair(header_index, desc));
for (int i = 0; i < header_type.get_num_fields(); i++) {
field_names.insert(header_name + "." + header_type.get_field_name(i));
}
}
Header::Header(const std::string &name, p4object_id_t id,
const HeaderType &header_type,
const std::set<int> &arith_offsets,
const bool metadata)
: NamedP4Object(name, id), header_type(header_type), metadata(metadata) {
// header_type_id = header_type.get_type_id();
for (int i = 0; i < header_type.get_num_fields(); i++) {
// use emplace_back instead?
bool arith_flag = true;
if (arith_offsets.find(i) == arith_offsets.end()) {
arith_flag = false;
}
fields.push_back(Field(header_type.get_bit_width(i), arith_flag));
nbytes_phv += fields.back().get_nbytes();
nbytes_packet += fields.back().get_nbits();
}
assert(nbytes_packet % 8 == 0);
nbytes_packet /= 8;
}
