PandA-2024.02
basic_blocks_profiling_c_writer.hpp
Go to the documentation of this file.
1 /*
2  *
3  * _/_/_/ _/_/ _/ _/ _/_/_/ _/_/
4  * _/ _/ _/ _/ _/_/ _/ _/ _/ _/ _/
5  * _/_/_/ _/_/_/_/ _/ _/_/ _/ _/ _/_/_/_/
6  * _/ _/ _/ _/ _/ _/ _/ _/ _/
7  * _/ _/ _/ _/ _/ _/_/_/ _/ _/
8  *
9  * ***********************************************
10  * PandA Project
11  * URL: http://panda.dei.polimi.it
12  * Politecnico di Milano - DEIB
13  * System Architectures Group
14  * ***********************************************
15  * Copyright (C) 2015-2024 Politecnico di Milano
16  *
17  * This file is part of the PandA framework.
18  *
19  * The PandA framework is free software; you can redistribute it and/or modify
20  * it under the terms of the GNU General Public License as published by
21  * the Free Software Foundation; either version 3 of the License, or
22  * (at your option) any later version.
23  *
24  * This program is distributed in the hope that it will be useful,
25  * but WITHOUT ANY WARRANTY; without even the implied warranty of
26  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27  * GNU General Public License for more details.
28  *
29  * You should have received a copy of the GNU General Public License
30  * along with this program. If not, see <http://www.gnu.org/licenses/>.
31  *
32  */
42 #ifndef BASIC_BLOCKS_PROFILING_C_WRITER_HPP
43 #define BASIC_BLOCKS_PROFILING_C_WRITER_HPP
44 
45 #include "edge_c_writer.hpp"
46 
51 {
56  void print_loop_ending(EdgeDescriptor e) override;
57 
62  void print_loop_escaping(EdgeDescriptor e) override;
63 
68  void print_loop_starting(EdgeDescriptor e) override;
69 
75  void print_edge(EdgeDescriptor e, unsigned int index) override;
76 
82  void print_loop_switching(EdgeDescriptor e) override;
83 
84  public:
93  BasicBlocksProfilingCWriter(const HLS_managerConstRef _HLSMgr, const InstructionWriterRef instruction_writer,
95  bool verbose = true);
96 
98 
99  void WriteGlobalDeclarations() final;
100 };
101 #endif
void print_loop_switching(EdgeDescriptor e) override
Print operation requested for record information about a path which exit from a loop and immediately ...
bool verbose
Verbosity means that a comment is printed for each line in the output file.
Definition: c_writer.hpp:116
void WriteGlobalDeclarations() final
Writes the global declarations.
Class use to write the C code with instrumented edges.
This file contains the routines necessary to create a C executable program with instrumented edges...
const IndentedOutputStreamRef indented_output_stream
Represents the stream we are currently writing to.
Definition: c_writer.hpp:101
void print_loop_starting(EdgeDescriptor e) override
Dump initializations of variable for recording a loop path.
void print_loop_ending(EdgeDescriptor e) override
Dump operations requested for record information about a loop path which ends.
const ParameterConstRef Param
set of parameters
Definition: c_writer.hpp:119
Class use to write the C code with instruented edges for basic blocks profiling.
#define index(x, y)
Definition: Keccak.c:74
BasicBlocksProfilingCWriter(const HLS_managerConstRef _HLSMgr, const InstructionWriterRef instruction_writer, const IndentedOutputStreamRef indented_output_stream, const ParameterConstRef Param, bool verbose=true)
Constructor of the class.
void print_edge(EdgeDescriptor e, unsigned int index) override
Dump operation requested for instrument an edges.
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
Definition: refcount.hpp:94
void print_loop_escaping(EdgeDescriptor e) override
Dump operations requested for record information about a path which exit from a loop.
boost::graph_traits< graph >::edge_descriptor EdgeDescriptor
edge definition.
Definition: graph.hpp:1316

Generated on Mon Feb 12 2024 13:02:50 for PandA-2024.02 by doxygen 1.8.13