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; }