header.h

/*
 * SPDX-FileCopyrightText: 2013 Barefoot Networks, Inc.
 * Copyright 2013-present Barefoot Networks, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef BACKENDS_BMV2_COMMON_HEADER_H_
#define BACKENDS_BMV2_COMMON_HEADER_H_
 
#include <list>
 
#include "JsonObjects.h"
#include "backends/bmv2/common/options.h"
#include "backends/common/programStructure.h"
#include "frontends/common/resolveReferences/referenceMap.h"
#include "frontends/p4/typeMap.h"
#include "helpers.h"
#include "ir/ir.h"
#include "lib/json.h"
 
namespace P4::BMV2 {
 
class Backend;
 
class HeaderConverter : public Inspector {
    ConversionContext *ctxt;
    cstring scalarsName;
    cstring scalarsTypeName;
    std::set<cstring> visitedHeaders;
 
    const unsigned boolWidth = 1;    // convert booleans to 1-bit integers
    const unsigned errorWidth = 32;  // convert errors to 32-bit integers
    unsigned scalars_width = 0;
 
 protected:
    Util::JsonArray *pushNewArray(Util::JsonArray *parent);
    void addHeaderType(const IR::Type_StructLike *st);
    void addHeaderField(const cstring &header, const cstring &name, int size, bool is_signed);
    Util::JsonArray *addHeaderUnionFields(cstring hdrName, const IR::Type_HeaderUnion *type);
 
 public:
    void addTypesAndInstances(const IR::Type_StructLike *type, bool meta);
    void addHeaderStacks(const IR::Type_Struct *type);
    bool isHeaders(const IR::Type_StructLike *st);
 
    Visitor::profile_t init_apply(const IR::Node *node) override;
    void end_apply(const IR::Node *node) override;
 
    bool preorder(const IR::Parameter *param) override;
 
    HeaderConverter(ConversionContext *ctxt, cstring scalarsName);
};
 
}  // namespace P4::BMV2
 
#endif /* BACKENDS_BMV2_COMMON_HEADER_H_ */