42 #ifndef BASIC_BLOCKS_PROFILING_C_WRITER_HPP 43 #define BASIC_BLOCKS_PROFILING_C_WRITER_HPP ~BasicBlocksProfilingCWriter() final
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.
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.
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
Class use to write the C code with instruented edges for basic blocks profiling.
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...
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.