mux_connection_binding.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 MUX_CONNECTION_BINDING_HPP
#define MUX_CONNECTION_BINDING_HPP

#include "conn_binding_creator.hpp"
REF_FORWARD_DECL(graph);
class array_ref;

#include "conn_binding.hpp"

#include "hls_manager.hpp"

#include "state_transition_graph.hpp"

REF_FORWARD_DECL(conn_binding);
CONSTREF_FORWARD_DECL(OpGraph);
CONSTREF_FORWARD_DECL(StateTransitionGraph);

class mux_connection_binding : public conn_binding_creator
{
 private:
   using resource_id_type = std::pair<unsigned int, unsigned int>;

   std::map<resource_id_type, std::map<unsigned int, CustomOrderedSet<unsigned int>>> regs_in;
   std::map<resource_id_type, std::map<unsigned int, CustomOrderedSet<unsigned int>>> chained_in;
   std::map<resource_id_type, std::map<unsigned int, CustomOrderedSet<resource_id_type>>> module_in;

   CustomOrderedSet<vertex> swap_computed_table;

   CustomOrderedSet<vertex> noswap_computed_table;

   unsigned int id;

   unsigned int cur_phi_tree_var;

   bool is_PC;

   enum cacheType
   {
      i_assign = 0,
      uu_conv,
      ui_conv,
      iu_conv,
      ii_conv
   };
   std::map<std::tuple<unsigned int, cacheType, const HLS_manager::io_binding_type>, generic_objRef> connCache;

   unsigned int mux_interconnection();

   unsigned int input_logic(const conn_binding::ConnectionSources& src, const generic_objRef tgt, unsigned int op,
                            unsigned int port_index, unsigned int iteration);

   void determine_connection(const vertex& op, const HLS_manager::io_binding_type& var, generic_objRef fu_obj,
                             unsigned int port_num, unsigned int port_index, const OpGraphConstRef data,
                             unsigned int precision, unsigned int alignment = 0);

   unsigned long long object_bitsize(const tree_managerRef TreeM, const HLS_manager::io_binding_type& obj) const;

 private:
   void create_single_conn(const OpGraphConstRef data, const vertex& op, generic_objRef fu_obj_src,
                           generic_objRef fu_obj, unsigned int port_num, unsigned int port_index, unsigned int tree_var,
                           unsigned int precision, const bool is_not_a_phi);

   void connect_to_registers(vertex op, const OpGraphConstRef data, generic_objRef fu_obj, unsigned int port_num,
                             unsigned int port_index, unsigned int tree_var, unsigned long long precision,
                             const bool is_not_a_phi);

   unsigned int extract_parm_decl(unsigned int tree_var, const tree_managerRef TreeM);

   void add_conversion(unsigned int num, vertex op, unsigned int form_par_type, unsigned long long form_par_bitsize,
                       unsigned int port_index, const generic_objRef fu_obj, const OpGraphConstRef data,
                       const tree_managerRef TreeM, unsigned int tree_var);

   unsigned int address_precision(unsigned int precision, const vertex& op, const OpGraphConstRef data,
                                  const tree_managerRef TreeM);

   bool isConstantObj(unsigned int tree_index, const tree_managerRef TreeM);

 public:
   mux_connection_binding(const ParameterConstRef _parameters, const HLS_managerRef HLSMgr, unsigned int funId,
                          const DesignFlowManagerConstRef design_flow_manager);

   ~mux_connection_binding() override;

   DesignFlowStep_Status InternalExec() override;

   void Initialize() override;

   void create_connections();
};
#endif