lut_transformation.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 LUT_TRANSFORMATION_HPP
#define LUT_TRANSFORMATION_HPP

#include "function_frontend_flow_step.hpp"

#include "custom_map.hpp"
#include "custom_set.hpp"
#include <algorithm>
#include <cmath>
#include <list>
#include <string>
#include <vector>
#include "refcount.hpp"

#include "tree_common.hpp"
#include "tree_node.hpp"

REF_FORWARD_DECL(bloc);
// class integer_cst;
// class target_mem_ref461;
// REF_FORWARD_DECL(lut_transformation);
REF_FORWARD_DECL(Schedule);
REF_FORWARD_DECL(tree_manager);
REF_FORWARD_DECL(tree_manipulation);
REF_FORWARD_DECL(tree_node);

class lut_transformation : public FunctionFrontendFlowStep
{
 private:
   tree_managerRef TM;

   tree_manipulationRef tree_man;

   size_t max_lut_size;

   const std::vector<enum kind> lutBooleanExpressibleOperations = {
       bit_and_expr_K, truth_and_expr_K, bit_ior_expr_K, truth_or_expr_K, truth_orif_expr_K,
       bit_xor_expr_K, truth_xor_expr_K, eq_expr_K,      ge_expr_K,       lut_expr_K,
       cond_expr_K,    gt_expr_K,        le_expr_K,      lt_expr_K,       ne_expr_K};

   const std::vector<enum kind> lutIntegerExpressibleOperations = {eq_expr_K, ne_expr_K, lt_expr_K,
                                                                   le_expr_K, gt_expr_K, ge_expr_K};

   bool CHECK_BIN_EXPR_BOOL_SIZE(binary_expr* be) const;
   bool CHECK_BIN_EXPR_INT_SIZE(binary_expr* be, unsigned int max) const;
   bool CHECK_COND_EXPR_SIZE(cond_expr* ce) const;
   bool CHECK_NOT_EXPR_SIZE(unary_expr* ne) const;
   bool cannotBeLUT(tree_nodeRef op) const;

   bool CheckIfPO(gimple_assign* gimpleAssign);

   bool CheckIfPI(tree_nodeRef in, unsigned int BB_index);

   bool ProcessBasicBlock(std::pair<unsigned int, blocRef> block);

   bool CheckIfProcessable(std::pair<unsigned int, blocRef> block);

   tree_nodeRef CreateBitSelectionNodeOrCast(const tree_nodeRef source, int index,
                                             std::vector<tree_nodeRef>& prev_stmts_to_add);

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

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

   ~lut_transformation() override;

   DesignFlowStep_Status InternalExec() override;

   void Initialize() override;

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

#endif