application_manager.hpp

Go to the documentation of this file.

/*
 *
 *                   _/_/_/    _/_/   _/    _/ _/_/_/    _/_/
 *                  _/   _/ _/    _/ _/_/  _/ _/   _/ _/    _/
 *                 _/_/_/  _/_/_/_/ _/  _/_/ _/   _/ _/_/_/_/
 *                _/      _/    _/ _/    _/ _/   _/ _/    _/
 *               _/      _/    _/ _/    _/ _/_/_/  _/    _/
 *
 *             ***********************************************
 *                              PandA Project
 *                     URL: http://panda.dei.polimi.it
 *                       Politecnico di Milano - DEIB
 *                        System Architectures Group
 *             ***********************************************
 *              Copyright (C) 2004-2024 Politecnico di Milano
 *
 *   This file is part of the PandA framework.
 *
 *   The PandA framework is free software; you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation; either version 3 of the License, or
 *   (at your option) any later version.
 *
 *   This program is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 */
#ifndef _APPLICATION_MANAGER_HPP_
#define _APPLICATION_MANAGER_HPP_

#include "config_HAVE_FROM_DISCREPANCY_BUILT.hpp"
#include "config_HAVE_PRAGMA_BUILT.hpp"

#include <cstddef> // for size_t
#include <string>  // for string

#include "custom_map.hpp" // for CustomMap
#include "custom_set.hpp" // for CustomSet
#include "graph.hpp"      // for vertex
#include "refcount.hpp"   // for REF_FORWARD_DECL
#include "tree_node.hpp"

CONSTREF_FORWARD_DECL(ActorGraphManager);
REF_FORWARD_DECL(ActorGraphManager);
REF_FORWARD_DECL(BehavioralHelper);
CONSTREF_FORWARD_DECL(CallGraphManager);
REF_FORWARD_DECL(CallGraphManager);
CONSTREF_FORWARD_DECL(FunctionBehavior);
REF_FORWARD_DECL(FunctionBehavior);
CONSTREF_FORWARD_DECL(FunctionExpander);
CONSTREF_FORWARD_DECL(Parameter);
REF_FORWARD_DECL(pragma_manager);
REF_FORWARD_DECL(tree_manager);
REF_FORWARD_DECL(Discrepancy);

class application_manager
{
 protected:
   const tree_managerRef TM;

   const CallGraphManagerRef call_graph_manager;

   const ParameterConstRef Param;

   TreeNodeConstSet global_variables;

   unsigned int address_bitsize;

   CustomOrderedSet<unsigned int> written_objects;

#if HAVE_PRAGMA_BUILT
   pragma_managerRef PM;
#endif

   size_t cfg_transformations;

   const int debug_level;

   CustomMap<unsigned, CustomMap<unsigned, unsigned>> Parm2SSA_map;

   unsigned int get_produced_value(const tree_nodeRef& tn) const;

   tree_nodeConstRef GetProducedValue(const tree_nodeConstRef& tn) const;

 public:
#if HAVE_FROM_DISCREPANCY_BUILT
   DiscrepancyRef RDiscr;
#endif

   std::vector<std::string> input_files;

   application_manager(const FunctionExpanderConstRef function_expander, const bool allow_recursive_functions,
                       const ParameterConstRef _Param);

   virtual ~application_manager();

   const tree_managerRef get_tree_manager() const;

   CallGraphManagerRef GetCallGraphManager();

   const CallGraphManagerConstRef CGetCallGraphManager() const;

   bool hasToBeInterfaced(unsigned int funId) const;

   FunctionBehaviorRef GetFunctionBehavior(unsigned int index);

   const FunctionBehaviorConstRef CGetFunctionBehavior(unsigned int index) const;

   CustomOrderedSet<unsigned int> get_functions_with_body() const;

   CustomOrderedSet<unsigned int> get_functions_without_body() const;

   void AddGlobalVariable(const tree_nodeConstRef& var);

   const TreeNodeConstSet& GetGlobalVariables() const;

#if HAVE_PRAGMA_BUILT

   const pragma_managerRef get_pragma_manager() const;
#endif

   unsigned int get_produced_value(unsigned int fun_id, const vertex& v) const;

   tree_nodeConstRef GetProducedValue(unsigned int fun_id, const vertex& v) const;

   const ParameterConstRef get_parameter() const;

   void add_written_object(unsigned int node_id);

   const CustomOrderedSet<unsigned int>& get_written_objects() const;

   void clean_written_objects();

   void set_address_bitsize(unsigned int value)
   {
      address_bitsize = value;
   }

   unsigned int& Rget_address_bitsize()
   {
      return address_bitsize;
   }
   unsigned int get_address_bitsize() const
   {
      return address_bitsize;
   }

   bool ApplyNewTransformation() const;

   void RegisterTransformation(const std::string& step, const tree_nodeConstRef new_tn);

   unsigned getSSAFromParm(unsigned int functionID, unsigned parm_index) const;

   void setSSAFromParm(unsigned int functionID, unsigned int parm_index, unsigned ssa_index);

   void clearParm2SSA(unsigned int functionID);

   CustomMap<unsigned, unsigned> getACopyParm2SSA(unsigned int functionID);
};
using application_managerRef = refcount<application_manager>;
using application_managerConstRef = refcount<const application_manager>;

#endif