IR_lowering.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 IR_LOWERING_HPP
#define IR_LOWERING_HPP
#include "custom_set.hpp"                  // for unordered_set
#include "design_flow_step.hpp"            // for DesignFlowStep
#include "frontend_flow_step.hpp"          // for FrontendFlowStep...
#include "function_frontend_flow_step.hpp" // for DesignFlowManage...
#include "refcount.hpp"                    // for REF_FORWARD_DECL
#include <list>                            // for list, list<>::co...
#include <string>                          // for string
#include <utility>                         // for pair

REF_FORWARD_DECL(bloc);
class integer_cst;
class target_mem_ref461;
class array_ref;
enum kind : int;
REF_FORWARD_DECL(IR_lowering);
REF_FORWARD_DECL(tree_manager);
REF_FORWARD_DECL(tree_manipulation);
REF_FORWARD_DECL(tree_node);
struct gimple_assign;

enum mult_variant
{
   basic_variant,
   negate_variant,
   add_variant
};

class IR_lowering : public FunctionFrontendFlowStep
{
 private:
   tree_managerRef TM;

   tree_manipulationRef tree_man;

   tree_nodeRef expand_mult_const(const tree_nodeRef& op0, unsigned long long int val, const struct algorithm& alg,
                                  enum mult_variant& variant, const tree_nodeRef& stmt, const blocRef& block,
                                  const tree_nodeRef& type, const std::string& srcp_default);

   tree_nodeRef expand_smod_pow2(const tree_nodeRef& op0, unsigned long long int d, const tree_nodeRef& stmt,
                                 const blocRef& block, const tree_nodeRef& type, const std::string& srcp_default);

   tree_nodeRef expand_sdiv_pow2(const tree_nodeRef& op0, unsigned long long int d, const tree_nodeRef& stmt,
                                 const blocRef& block, const tree_nodeRef& type, const std::string& srcp_default);

   tree_nodeRef expand_MC(const tree_nodeRef& op0, const integer_cst* ic_node, const tree_nodeRef& old_target,
                          const tree_nodeRef& stmt, const blocRef& block, const tree_nodeRef& type_expr,
                          const std::string& srcp_default);

   bool expand_target_mem_ref(target_mem_ref461* tmr, const tree_nodeRef& stmt, const blocRef& block,
                              const std::string& srcp_default, bool temp_addr);

   tree_nodeRef expand_mult_highpart(const tree_nodeRef& op0, unsigned long long int ml, const tree_nodeRef& type_expr,
                                     int data_bitsize, const std::list<tree_nodeRef>::const_iterator it_los,
                                     const blocRef& block, const std::string& srcp_default);

   const CustomUnorderedSet<std::pair<FrontendFlowStepType, FunctionRelationship>>
   ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;

   tree_nodeRef array_ref_lowering(array_ref* AR, const std::string& srcp_default,
                                   std::pair<unsigned int, blocRef> block,
                                   std::list<tree_nodeRef>::const_iterator it_los, bool temp_addr);

   bool reached_max_transformation_limit(const tree_nodeRef& stmt);

   void division_by_a_constant(const std::pair<unsigned int, blocRef>& block,
                               std::list<tree_nodeRef>::const_iterator& it_los, gimple_assign* ga,
                               const tree_nodeRef& op1, enum kind code1, bool& restart_analysis,
                               const std::string& srcp_default, const std::string& step_name);

 public:
   IR_lowering(const ParameterConstRef Param, const application_managerRef AppM, unsigned int function_id,
               const DesignFlowManagerConstRef design_flow_manager);

   ~IR_lowering() override;

   DesignFlowStep_Status InternalExec() override;

   void Initialize() override;

   void ComputeRelationships(DesignFlowStepSet& relationship,
                             const DesignFlowStep::RelationshipType relationship_type) override;
};
#endif