local_var_rename_visitor.hpp

Go to the documentation of this file.

/*
 * Copyright 2023 Blue Brain Project, EPFL.
 * See the top-level LICENSE file for details.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#pragma once
 
/**
 * \file
 * \brief \copybrief nmodl::visitor::LocalVarRenameVisitor
 */
 
#include <map>
#include <stack>
#include <string>
 
#include "symtab/decl.hpp"
#include "visitors/ast_visitor.hpp"
 
namespace nmodl {
namespace visitor {
 
/**
 * \addtogroup visitor_classes
 * \{
 */
 
/**
 * \class LocalVarRenameVisitor
 * \brief %Visitor to rename local variables conflicting with global scope
 *
 * Motivation: During inlining we have to do data-flow-analysis. Consider
 * below example:
 *
 * \code{.mod}
 *      NEURON {
 *          RANGE tau, beta
 *      }
 *
 *      DERIVATIVE states() {
 *          LOCAL tau
 *          ...
 *          rates()
 *      }
 *
 *      PROCEDURE rates() {
 *          tau = beta * 0.12 * some_var
 *      }
 * \endcode
 *
 * When rates() will be inlined into states(), local definition of tau will
 * conflict with range variable tau. Hence we can't just copy the statements.
 * Dataflow analysis could be done at the time of inlining. Other way is to run
 * this pass before inlining and pre-rename any local-global variable conflicts.
 * As we are renaming local variables only, it's safe and there are no side effects.
 *
 * \todo
 *   - Currently we are renaming variables even if there is no inlining candidates.
 *     In this case ideally we should not rename.
 */
class LocalVarRenameVisitor: public AstVisitor {
  private:
    /// non-null symbol table in the scope hierarchy
    const symtab::SymbolTable* symtab = nullptr;
 
    /// symbol tables in case of nested blocks
    std::stack<const symtab::SymbolTable*> symtab_stack;
 
    /// variables currently being renamed and their count
    std::map<std::string, int> renamed_variables;
 
  public:
    LocalVarRenameVisitor() = default;
    void visit_statement_block(ast::StatementBlock& node) override;
};
 
/** \} */  // end of visitor_classes
 
}  // namespace visitor
}  // namespace nmodl