Discrepancy.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) 2015-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 DISCREPANCY_HPP
#define DISCREPANCY_HPP

#include "Parameter.hpp"

// include from HLS/vcd/
#include "UnfoldedCallGraph.hpp"

// includes from parser/discrepancy/
#include "DiscrepancyOpInfo.hpp"
#include "vcd_parser.hpp"

// includes from tree/
#include "tree_node.hpp"

// includes from utility/
#include "refcount.hpp"

#include "custom_map.hpp"
#include "custom_set.hpp"
#include <string>

REF_FORWARD_DECL(structural_manager);

struct CallSitesInfo
{
   CustomUnorderedMap<unsigned int, UnorderedSetStdStable<unsigned int>> fu_id_to_call_ids;
   CustomUnorderedMap<unsigned int, UnorderedSetStdStable<unsigned int>> call_id_to_called_id;
   CustomUnorderedSet<unsigned int> indirect_calls;
   CustomUnorderedSet<unsigned int> taken_addresses;
};

using CallSitesInfoRef = refcount<CallSitesInfo>;
using CallSitesInfoConstRef = refcount<const CallSitesInfo>;

struct HWDiscrepancyInfo
{
   CustomUnorderedMap<unsigned int, UnorderedSetStdStable<unsigned int>> fu_id_to_states_to_check;

   CustomUnorderedMap<unsigned int, UnorderedSetStdStable<unsigned int>> fu_id_to_feedback_states_to_check;

   CustomUnorderedMap<unsigned int, UnorderedSetStdStable<EdgeDescriptor>> fu_id_to_reset_edges;

   CustomUnorderedMap<unsigned int, size_t> fu_id_to_epp_trace_bitsize;

   CustomUnorderedMap<unsigned int, size_t> fu_id_to_max_epp_path_val;

   CustomUnorderedSet<unsigned int> fu_id_control_flow_skip;
};

using HWDiscrepancyInfoRef = refcount<HWDiscrepancyInfo>;
using HWDiscrepancyInfoConstRef = refcount<const HWDiscrepancyInfo>;

struct Discrepancy
{
   CallSitesInfoRef call_sites_info;

   HWDiscrepancyInfoRef hw_discrepancy_info;

   UnfoldedCallGraph DiscrepancyCallGraph;

   UnfoldedVertexDescriptor unfolded_root_v;

   vcd_parser::vcd_filter_t selected_vcd_signals;

   CustomUnorderedMap<unsigned int, std::string> opid_to_outsignal;

   CustomUnorderedMap<UnfoldedVertexDescriptor, std::string> unfolded_v_to_scope;

   CustomUnorderedMap<unsigned int, CustomOrderedSet<std::string>> f_id_to_scope;

   TreeNodeSet ssa_to_skip;

   TreeNodeSet ssa_to_skip_if_address;

   TreeNodeSet address_ssa;

   std::map<DiscrepancyOpInfo, std::list<std::pair<uint64_t, std::string>>> c_op_trace;

   CustomUnorderedMap<unsigned int, std::map<uint64_t, std::list<unsigned int>>> c_control_flow_trace;

   CustomUnorderedMap<uint64_t, CustomUnorderedMapStable<unsigned int, uint64_t>> c_addr_map;

   CustomUnorderedMap<uint64_t, std::string> context_to_scope;

   std::string c_trace_filename;

   unsigned long long n_total_operations = 0;

   unsigned long long n_checked_operations = 0;

   Discrepancy()
       : call_sites_info(CallSitesInfoRef(new CallSitesInfo())),
         hw_discrepancy_info(HWDiscrepancyInfoRef(new HWDiscrepancyInfo())),
         DiscrepancyCallGraph(GraphInfoRef(new GraphInfo())){};

   void clear()
   {
      call_sites_info.reset(new CallSitesInfo);
      DiscrepancyCallGraph = UnfoldedCallGraph(GraphInfoRef(new GraphInfo()));
      unfolded_root_v = {};
      selected_vcd_signals.clear();
      opid_to_outsignal.clear();
      unfolded_v_to_scope.clear();
      f_id_to_scope.clear();
      c_op_trace.clear();
      c_control_flow_trace.clear();
      c_addr_map.clear();
      context_to_scope.clear();
      c_trace_filename.clear();
      n_total_operations = 0;
      n_checked_operations = 0;
   }
};

using DiscrepancyRef = refcount<Discrepancy>;
using DiscrepancyConstRef = refcount<const Discrepancy>;
#endif