2 * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
20 /** vim: set sw=4 ts=4:
23 * @author Adam M. Szalkowski
26 * Code instrumentation and execution count profiling
28 * Copyright (C) 2006 Universitaet Karlsruhe
29 * Released under the GPL
35 /** Additional flags for profiling */
37 profile_with_locations = 0x0001, /**< create location table */
38 profile_default = 0 /**< default settings */
42 * Instruments irgs with profile code
44 * @param filename The name of the output file for the profile information
45 * @param flags Additional flags
47 * @return The irg doing the profile initialization.
49 ir_graph *be_profile_instrument(const char *filename, unsigned flags);
52 * Reads the corresponding profile info file if it exists and returns a
54 * @param filename The name of the file containing profile information
56 void be_profile_read(const char *filename);
59 * Frees the profile info
61 void be_profile_free(void);
64 * Get block execution count as determined be profiling
66 unsigned int be_profile_get_block_execcount(const ir_node * block);
69 * Initializes exec_freq structure for an irg based on profile data
71 ir_exec_freq *be_create_execfreqs_from_profile(ir_graph *irg);
74 * Tells whether profile module has acquired data
76 int be_profile_has_data(void);
78 #endif /* _BEPROFILE_H_ */