This file contains the routines necessary to create a C executable program with instrumented edges for profiling of executions of single basic blocks. More...

#include "basic_blocks_profiling_c_writer.hpp"
#include "Parameter.hpp"
#include "basic_block.hpp"
#include "behavioral_helper.hpp"
#include "function_behavior.hpp"
#include "hls_manager.hpp"
#include "host_profiling_constants.hpp"
#include "indented_output_stream.hpp"
#include "string_manipulation.hpp"
#include "tree_basic_block.hpp"
#include "tree_manager.hpp"
#include "tree_node.hpp"
#include "tree_reindex.hpp"

Include dependency graph for basic_blocks_profiling_c_writer.cpp:

Go to the source code of this file.

Detailed Description

This file contains the routines necessary to create a C executable program with instrumented edges for profiling of executions of single basic blocks.

Author: Marco Lattuada marco.nosp@m..lat.nosp@m.tuada.nosp@m.@pol.nosp@m.imi.i.nosp@m.t

Definition in file basic_blocks_profiling_c_writer.cpp.