moveDeclarations.h

/*
Copyright 2013-present Barefoot Networks, Inc.
 
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
 
    http://www.apache.org/licenses/LICENSE-2.0
 
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
*/
 
#ifndef FRONTENDS_P4_MOVEDECLARATIONS_H_
#define FRONTENDS_P4_MOVEDECLARATIONS_H_
 
#include "frontends/common/resolveReferences/referenceMap.h"
#include "frontends/common/resolveReferences/resolveReferences.h"
#include "ir/ir.h"
 
namespace P4 {
 
class MoveDeclarations : public Transform {
    bool parsersOnly;
 
    // FIXME: Do we really need IR::Vector here?
    std::vector<IR::Vector<IR::Declaration>> toMove;
    void push() { toMove.emplace_back(); }
    void pop() {
        BUG_CHECK(!toMove.empty(), "Empty move stack");
        toMove.pop_back();
    }
    const IR::Vector<IR::Declaration> &getMoves() const {
        BUG_CHECK(!toMove.empty(), "Empty move stack");
        return toMove.back();
    }
    IR::Vector<IR::Declaration> &getMoves() {
        BUG_CHECK(!toMove.empty(), "Empty move stack");
        return toMove.back();
    }
    void addMove(const IR::Declaration *decl) { getMoves().push_back(decl); }
 
 public:
    explicit MoveDeclarations(bool parsersOnly = false) : parsersOnly(parsersOnly) {
        setName("MoveDeclarations");
        visitDagOnce = false;
    }
    void end_apply(const IR::Node *) override { BUG_CHECK(toMove.empty(), "Non empty move stack"); }
    const IR::Node *preorder(IR::P4Action *action) override {
        if (parsersOnly) {
            prune();
            return action;
        }
        if (findContext<IR::P4Control>() == nullptr)
            // If we are not in a control, move to the beginning of the action.
            // Otherwise move to the control's beginning.
            push();
        return action;
    }
    const IR::Node *preorder(IR::P4Control *control) override {
        if (parsersOnly) {
            prune();
            return control;
        }
        push();
        return control;
    }
    const IR::Node *preorder(IR::P4Parser *parser) override {
        push();
        return parser;
    }
    const IR::Node *preorder(IR::Function *function) override {
        if (parsersOnly) {
            prune();
            return function;
        }
        push();
        return function;
    }
    const IR::Node *postorder(IR::P4Action *action) override;
    const IR::Node *postorder(IR::P4Control *control) override;
    const IR::Node *postorder(IR::P4Parser *parser) override;
    const IR::Node *postorder(IR::Function *function) override;
    const IR::Node *postorder(IR::Declaration_Variable *decl) override;
    const IR::Node *postorder(IR::Declaration_Constant *decl) override;
};
 
class MoveInitializers : public Transform, public ResolutionContext {
    MinimalNameGenerator nameGen;
    IR::IndexedVector<IR::StatOrDecl> toMove;  // This contains just IR::AssignmentStatement
    const IR::ParserState *oldStart;  // nullptr if we do not want to rename the start state
    cstring newStartName;             // name allocated to the new start state
    bool loopsBackToStart;            // true if start is reachable from any other state
 
 public:
    MoveInitializers() : newStartName("") { setName("MoveInitializers"); }
    profile_t init_apply(const IR::Node *node) override;
    const IR::Node *preorder(IR::P4Parser *parser) override;
    const IR::Node *preorder(IR::Declaration_Variable *decl) override;
    const IR::Node *postorder(IR::ParserState *state) override;
    const IR::Node *postorder(IR::Path *path) override;
    const IR::Node *postorder(IR::P4Parser *parser) override;
    const IR::Node *postorder(IR::P4Control *control) override;
};
 
}  // namespace P4
 
#endif /* FRONTENDS_P4_MOVEDECLARATIONS_H_ */