arch.h

 
#ifndef BF_P4C_ARCH_ARCH_H_
#define BF_P4C_ARCH_ARCH_H_
 
#include <optional>
 
#include <boost/algorithm/string.hpp>
 
#include "bf-p4c/arch/program_structure.h"
#include "bf-p4c/bf-p4c-options.h"
#include "bf-p4c/ir/gress.h"
#include "bf-p4c/lib/assoc.h"
#include "bf-p4c/midend/type_checker.h"
#include "frontends/common/options.h"
#include "frontends/common/resolveReferences/referenceMap.h"
#include "frontends/common/resolveReferences/resolveReferences.h"
#include "frontends/p4/cloner.h"
#include "frontends/p4/coreLibrary.h"
#include "frontends/p4/evaluator/evaluator.h"
#include "frontends/p4/methodInstance.h"
#include "frontends/p4/sideEffects.h"
#include "frontends/p4/typeChecking/typeChecker.h"
#include "frontends/p4/typeMap.h"
#include "frontends/p4/uniqueNames.h"
#include "ir/ir-generated.h"
#include "ir/ir.h"
#include "ir/namemap.h"
#include "ir/pass_manager.h"
#include "ir/visitor.h"
 
namespace BFN {
 
// An Inspector pass to extract @pkginfo annotation from the P4 program
class Architecture : public Inspector {
 public:
    enum Arch_t { TNA, T2NA, PSA, V1MODEL, UNKNOWN };
 
 private:
    inline static Arch_t architecture = Arch_t::UNKNOWN;
    inline static cstring version = "UNKNOWN"_cs;
    inline static bool disabled_for_gtest = false;
    bool found = false;
 
 public:
    Architecture() {}
    profile_t init_apply(const IR::Node *node) override {
        found = false;
        return Inspector::init_apply(node);
    }
    void end_apply() override {
        if (disabled_for_gtest) return;
        BUG_CHECK(found != false, "No @pkginfo annotation found in the program");
    }
    bool preorder(const IR::PackageBlock *pkg) override;
    static Arch_t toArchEnum(cstring arch) {
        if (arch == "TNA" || arch == "tna")
            return Arch_t::TNA;
        else if (arch == "T2NA" || arch == "t2na")
            return Arch_t::T2NA;
        else
            return Arch_t::UNKNOWN;
    }
 
    static Arch_t currentArchitecture() { return architecture; }
    static cstring currentArchitectureVersion() { return version; }
 
    // for gtest
    static void init(cstring arch) {
        architecture = toArchEnum(arch);
        disabled_for_gtest = true;
    }
};
 
struct FindArchitecture : public PassManager {
    P4::ReferenceMap refMap;
    P4::TypeMap typeMap;
 
    FindArchitecture() {
        refMap.setIsV1(true);
        auto typeChecking = new P4::TypeChecking(&refMap, &typeMap);
        auto *evaluator = new P4::EvaluatorPass(&refMap, &typeMap);
        passes.emplace_back(typeChecking);
        passes.emplace_back(evaluator);
        passes.emplace_back(new VisitFunctor([evaluator]() {
            auto toplevel = evaluator->getToplevelBlock();
            auto main = toplevel->getMain();
            ERROR_CHECK(main != nullptr, ErrorType::ERR_INVALID,
                        "program: does not instantiate `main`");
            main->apply(*new Architecture());
        }));
    }
};
 
struct RemoveExternMethodCallsExcludedByAnnotation : public Transform {
    const IR::MethodCallStatement *preorder(IR::MethodCallStatement *call) override {
        auto *action = findContext<IR::P4Action>();
        if (!action) return call;
 
        auto *callExpr = call->methodCall->to<IR::MethodCallExpression>();
        BUG_CHECK(callExpr, "Malformed method call IR: %1%", call);
 
        auto *dontTranslate = action->getAnnotation("dont_translate_extern_method"_cs);
        if (!dontTranslate) return call;
        for (auto *excluded : dontTranslate->expr) {
            auto *excludedMethod = excluded->to<IR::StringLiteral>();
            if (!excludedMethod) {
                error(
                    "Non-string argument to @dont_translate_extern_method: "
                    "%1%",
                    excluded);
                return call;
            }
 
            if (excludedMethod->value == callExpr->method->toString()) {
                ::warning(
                    "Excluding method call from translation due to "
                    "@dont_translate_extern_method: %1%",
                    call);
                return nullptr;
            }
        }
 
        return call;
    }
};
 
class GenerateTofinoProgram : public Transform {
    ProgramStructure *structure;
 
 public:
    explicit GenerateTofinoProgram(ProgramStructure *structure) : structure(structure) {
        CHECK_NULL(structure);
        setName("GenerateTofinoProgram");
    }
 
    const IR::Node *preorder(IR::P4Program *program) override {
        auto *rv = structure->create(program);
        return rv;
    }
};
 
class TranslationFirst : public PassManager {
 public:
    TranslationFirst() { setName("TranslationFirst"); }
};
 
class TranslationLast : public PassManager {
 public:
    TranslationLast() { setName("TranslationLast"); }
};
 
class ArchTranslation : public PassManager {
 public:
    ArchTranslation(P4::ReferenceMap *refMap, P4::TypeMap *typeMap, BFN_Options &options);
};
 
enum ArchBlock_t { PARSER = 0, MAU, DEPARSER, BLOCK_TYPE };
 
static const std::map<Architecture::Arch_t, std::map<std::pair<ArchBlock_t, gress_t>, int>>
    archBlockIndex = {
        {Architecture::TNA,
         {{{PARSER, INGRESS}, 0},
          {{MAU, INGRESS}, 1},
          {{DEPARSER, INGRESS}, 2},
          {{PARSER, EGRESS}, 3},
          {{MAU, EGRESS}, 4},
          {{DEPARSER, EGRESS}, 5}}},
        {Architecture::T2NA,
         {{{PARSER, INGRESS}, 0},
          {{MAU, INGRESS}, 1},
          {{DEPARSER, INGRESS}, 2},
          {{PARSER, EGRESS}, 3},
          {{MAU, EGRESS}, 4},
          {{DEPARSER, EGRESS}, 5},
          {{MAU, GHOST}, 6}}},
};
 
struct BlockInfo {
    int pipe_index;
    cstring pipe_name;
    gress_t gress;
    std::vector<int> portmap;
    ArchBlock_t block_type;
    cstring parser_instance_name;
    int block_index;
 
    BlockInfo(int pipe_index, cstring pipe_name, gress_t gress, ArchBlock_t block_type,
              cstring parser_inst = ""_cs)
        : pipe_index(pipe_index),
          pipe_name(pipe_name),
          gress(gress),
          block_type(block_type),
          parser_instance_name(parser_inst) {
        auto p4_arch = Architecture::currentArchitecture();
        BUG_CHECK(archBlockIndex.count(p4_arch) != 0, "Unknown architecture %1%", p4_arch);
        BUG_CHECK(archBlockIndex.at(p4_arch).find({block_type, gress}) !=
                      archBlockIndex.at(p4_arch).end(),
                  "Unknown block type %1% for architecture %2%", block_type, p4_arch);
        block_index = archBlockIndex.at(p4_arch).at({block_type, gress});
    }
    void dbprint(std::ostream &out) {
        out << "pipe_index " << pipe_index << " ";
        out << "pipe_name" << pipe_name << " ";
        out << "gress " << gress << " ";
        out << "block_index" << block_index << " ";
        out << "type " << block_type << std::endl;
    }
    bool operator==(const BlockInfo &other) const {
        return pipe_index == other.pipe_index && pipe_name == other.pipe_name &&
               gress == other.gress && block_index == other.block_index &&
               block_type == other.block_type;
    }
    bool operator<(const BlockInfo &other) const {
        return std::tie(pipe_index, pipe_name, gress, block_index, block_type) <
               std::tie(other.pipe_index, other.pipe_name, other.gress, other.block_index,
                        other.block_type);
    }
};
 
struct Pipeline {
 public:
    // Name of the pipeline.
    std::vector<cstring> names;
 
    // One or more pipe ids. Contains multiple ids in case the top-level switch instance is
    // instantiated with multiple equivalent pipeline instances.
    std::vector<int> ids;
 
    assoc::map<gress_t, const IR::BFN::P4Thread *> threads;
 
    // Global pragmas applied either for all pragmas or for this pipeline specifically.
    std::vector<const IR::Annotation *> pragmas;
 
    // Constructs new pipeline.
    Pipeline(cstring name, const IR::BFN::P4Thread *ingress, const IR::BFN::P4Thread *egress,
             const IR::BFN::P4Thread *ghost);
 
    // Checks if two pipelines are sematically equivalent.
    bool equiv(const Pipeline &other) const;
 
 private:
    // Inserts global pragmas into this instance. Filters out all pragmas which are applied
    // to a different pipeline.
    void insertPragmas(const std::vector<const IR::Annotation *> &all_pragmas);
};
 
class ProgramPipelines {
 public:
    void addPipeline(int pipe_idx, Pipeline pipeline, cstring name) {
        auto it = std::find_if(pipelines.begin(), pipelines.end(),
                               [&](const auto &p) { return p.equiv(pipeline); });
        if (it == pipelines.end()) {
            it = pipelines.insert(pipelines.end(), pipeline);
        }
        pipeIdxToPipeline[pipe_idx] = std::distance(pipelines.begin(), it);
        it->ids.push_back(pipe_idx);
        it->names.push_back(name);
    }
 
    const Pipeline &getPipeline(size_t pipe_idx) const {
        return pipelines.at(pipeIdxToPipeline.at(pipe_idx));
    }
 
    // Returns list of all unique pipelines in the program.
    const std::vector<Pipeline> &getPipelines() const { return pipelines; }
 
    size_t size() const { return pipeIdxToPipeline.size(); }
 
 private:
    std::vector<Pipeline> pipelines;
    ordered_map<int, int> pipeIdxToPipeline;
};
 
using BlockInfoMapping = std::multimap<const IR::Node *, BlockInfo>;
using DefaultPortMap = std::map<int, std::vector<int>>;
 
class ParseTna : public Inspector {
    const IR::PackageBlock *mainBlock = nullptr;
    P4::ReferenceMap *refMap;
    P4::TypeMap *typeMap;
 
 public:
    ParseTna(P4::ReferenceMap *refMap, P4::TypeMap *typeMap) : refMap(refMap), typeMap(typeMap) {
        setName("ParseTna");
    }
 
    // parse tna pipeline with single parser.
    void parseSingleParserPipeline(const IR::PackageBlock *block, unsigned index);
 
    // parse tna pipeline with multiple parser.
    void parseMultipleParserInstances(const IR::PackageBlock *block, cstring pipe,
                                      IR::BFN::P4Thread *thread, gress_t gress);
 
    void parsePortMapAnnotation(const IR::PackageBlock *block, DefaultPortMap &map);
 
    bool preorder(const IR::PackageBlock *block) override;
 
 public:
    ProgramPipelines pipelines;
    BlockInfoMapping toBlockInfo;
    bool hasMultiplePipes = false;
    bool hasMultipleParsers = false;
};
struct DoRewriteControlAndParserBlocks : Transform {
    P4::ReferenceMap *refMap;
    P4::TypeMap *typeMap;
    BlockInfoMapping *block_info;
    // mapping from tuple(pipeline_name, block_index) to the block name.
    ordered_map<std::tuple<cstring, int>, cstring> block_name_map;
 
    explicit DoRewriteControlAndParserBlocks(P4::ReferenceMap *refMap, P4::TypeMap *typeMap,
                                             BlockInfoMapping *block_info)
        : refMap(refMap), typeMap(typeMap), block_info(block_info) {}
    const IR::Node *postorder(IR::P4Parser *node) override;
    const IR::Node *postorder(IR::P4Control *node) override;
    const IR::Node *postorder(IR::Declaration_Instance *node) override;
    Visitor::profile_t init_apply(const IR::Node *node) override {
        block_name_map.clear();
        return Transform::init_apply(node);
    }
};
 
struct RewriteControlAndParserBlocks : public PassManager {
    RewriteControlAndParserBlocks(P4::ReferenceMap *refMap, P4::TypeMap *typeMap) {
        auto *evaluator = new P4::EvaluatorPass(refMap, typeMap);
        auto *parseTna = new ParseTna(refMap, typeMap);
 
        passes.push_back(evaluator);
        passes.push_back(new VisitFunctor([evaluator, parseTna](const IR::Node *root) {
            auto *evaluated_program = root->to<IR::P4Program>();
            auto *toplevel = evaluator->getToplevelBlock();
            // setup the context to know which pipes are available in the program: for logging and
            // other output declarations.
            BFNContext::get().discoverPipes(evaluated_program, toplevel);
 
            auto *main = toplevel->getMain();
            ERROR_CHECK(main != nullptr, ErrorType::ERR_INVALID,
                        "program: does not instantiate `main`");
            main->apply(*parseTna);
            return root;
        }));
        passes.emplace_back(new P4::TypeChecking(refMap, typeMap));
        passes.emplace_back(
            new DoRewriteControlAndParserBlocks(refMap, typeMap, &parseTna->toBlockInfo));
    }
};
 
struct RestoreParams : public Transform {
    explicit RestoreParams(BFN_Options &options, P4::ReferenceMap *refMap, P4::TypeMap *typeMap)
        : options(options), refMap(refMap), typeMap(typeMap) {}
    const IR::Node *postorder(IR::BFN::TnaControl *control) override;
    const IR::Node *postorder(IR::BFN::TnaParser *parser) override;
    const IR::Node *postorder(IR::BFN::TnaDeparser *deparser) override;
    BFN_Options &options;
    P4::ReferenceMap *refMap;
    P4::TypeMap *typeMap;
    cstring arch;
    cstring version;
};
 
class LoweringType : public Transform {
    std::map<cstring, unsigned> enum_encoding;
 
 public:
    LoweringType() {}
 
    // lower MeterColor_t to bit<2> because it is used
    const IR::Node *postorder(IR::Type_Enum *node) override {
        if (node->name == "MeterColor_t") enum_encoding.emplace(node->name, 2);
        return node;
    }
 
    const IR::Node *postorder(IR::Type_Name *node) override {
        auto name = node->path->name;
        if (enum_encoding.count(name)) {
            auto size = enum_encoding.at(name);
            return IR::Type_Bits::get(size);
        }
        return node;
    }
};
 
class ApplyEvaluator : public PassManager {
 public:
    P4::ReferenceMap *refMap;
    P4::TypeMap *typeMap;
    const IR::ToplevelBlock *toplevel = nullptr;
 
    ApplyEvaluator() {
        refMap = new P4::ReferenceMap;
        typeMap = new P4::TypeMap;
        refMap->setIsV1(true);
        auto evaluator = new BFN::EvaluatorPass(refMap, typeMap);
        addPasses({
            new BFN::TypeChecking(refMap, typeMap, true),
            evaluator,
            new VisitFunctor([this, evaluator]() { toplevel = evaluator->getToplevelBlock(); }),
        });
    }
 
    ApplyEvaluator(P4::ReferenceMap *refMap, P4::TypeMap *typeMap)
        : refMap(refMap), typeMap(typeMap) {
        CHECK_NULL(refMap);
        CHECK_NULL(typeMap);
        refMap->setIsV1(true);
        auto evaluator = new BFN::EvaluatorPass(refMap, typeMap);
        addPasses({
            new BFN::TypeChecking(refMap, typeMap, true),
            evaluator,
            new VisitFunctor([this, evaluator]() { toplevel = evaluator->getToplevelBlock(); }),
        });
    }
 
    const IR::ToplevelBlock *getToplevelBlock() { return toplevel; }
};
 
}  // namespace BFN
 
#endif /* BF_P4C_ARCH_ARCH_H_ */