PIPS
instrumentation.h
Go to the documentation of this file.
1 /* Warning! Do not modify this file that is automatically generated! */
2 /* Modify src/Libs/instrumentation/instrumentation-local.h instead, to add your own modifications. */
3 
4 /* header file built by cproto */
5 
6 #ifndef instrumentation_header_included
7 #define instrumentation_header_included
8 /* instrumentation-local.h */
9 /*
10 
11  $Id: instrumentation-local.h 23065 2016-03-02 09:05:50Z coelho $
12 
13  Copyright 1989-2016 MINES ParisTech
14 
15  This file is part of PIPS.
16 
17  PIPS is free software: you can redistribute it and/or modify it
18  under the terms of the GNU General Public License as published by
19  the Free Software Foundation, either version 3 of the License, or
20  any later version.
21 
22  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
23  WARRANTY; without even the implied warranty of MERCHANTABILITY or
24  FITNESS FOR A PARTICULAR PURPOSE.
25 
26  See the GNU General Public License for more details.
27 
28  You should have received a copy of the GNU General Public License
29  along with PIPS. If not, see <http://www.gnu.org/licenses/>.
30 
31 */
32 /* cproto-generated files */
33 /* array_bound_check_bottom_up.c */
34 extern string int_to_dimension(int /*i*/);
35 extern bool array_need_bound_check_p(entity /*e*/);
36 extern expression subscript_value(entity /*arr*/, list /*l_inds*/);
37 extern string print_variables(expression /*e*/);
38 extern statement emit_message_and_stop(string /*stop_message*/);
39 extern bool array_bound_check_bottom_up(const char */*module_name*/);
40 /* array_bound_check_top_down.c */
41 extern string bool_to_bound(bool /*b*/);
42 extern bool array_bound_check_top_down(const char */*module_name*/);
43 /* array_bound_check_instrumentation.c */
44 extern statement array_bound_check_display(void);
45 extern bool old_array_bound_check_instrumentation(const char */*module_name*/);
46 extern bool array_bound_check_instrumentation(const char */*module_name*/);
47 /* array_bound_check_interprocedural.c */
48 extern bool array_bound_check_interprocedural(const char */*module_name*/);
49 /* alias_propagation.c */
50 extern expression translate_to_module_frame(entity /*mod1*/, entity /*mod2*/, expression /*e1*/, call /*c*/);
51 extern bool alias_propagation(char */*module_name*/);
52 /* alias_check.c */
53 extern expression simplify_relational_expression(expression /*e*/);
54 extern bool included_call_chain_p(list /*l1*/, list /*l2*/);
55 extern void print_alias_association(alias_association /*aa*/);
56 extern void print_list_of_alias_associations(list /*l*/);
57 extern bool functional_call_p(call /*c*/);
58 extern bool alias_check(char */*module_name*/);
59 /* used_before_set.c */
60 extern bool used_before_set(const char */*module_name*/);
61 /* control_counters.c */
62 extern bool add_control_counters(const string /*module_name*/);
63 #endif /* instrumentation_header_included */
translate_to_module_frame
expression translate_to_module_frame(entity, entity, expression, call)
alias_propagation.c
Definition: alias_propagation.c:202
used_before_set
bool used_before_set(const char *)
used_before_set.c
Definition: used_before_set.c:1046
add_control_counters
bool add_control_counters(const string)
control_counters.c
Definition: control_counters.c:137
array_bound_check_bottom_up
bool array_bound_check_bottom_up(const char *)
Definition: array_bound_check_bottom_up.c:1093
alias_check
bool alias_check(char *)
Definition: alias_check.c:1994
subscript_value
expression subscript_value(entity, list)
Definition: array_bound_check_bottom_up.c:276
print_variables
string print_variables(expression)
Definition: array_bound_check_bottom_up.c:804
array_bound_check_interprocedural
bool array_bound_check_interprocedural(const char *)
array_bound_check_interprocedural.c
Definition: array_bound_check_interprocedural.c:749
array_bound_check_instrumentation
bool array_bound_check_instrumentation(const char *)
Definition: array_bound_check_instrumentation.c:557
bool_to_bound
string bool_to_bound(bool)
array_bound_check_top_down.c
Definition: array_bound_check_top_down.c:115
included_call_chain_p
bool included_call_chain_p(list, list)
Definition: alias_check.c:246
functional_call_p
bool functional_call_p(call)
This function returns true if c is an user-defined function/subroutine.
Definition: alias_check.c:506
int_to_dimension
string int_to_dimension(int)
Warning! Do not modify this file that is automatically generated!
Definition: array_bound_check_bottom_up.c:162
old_array_bound_check_instrumentation
bool old_array_bound_check_instrumentation(const char *)
Definition: array_bound_check_instrumentation.c:466
print_list_of_alias_associations
void print_list_of_alias_associations(list)
Definition: alias_check.c:324
array_need_bound_check_p
bool array_need_bound_check_p(entity)
This function returns true, if the array needs bound checks false, otherwise.
Definition: array_bound_check_bottom_up.c:196
simplify_relational_expression
expression simplify_relational_expression(expression)
alias_check.c
Definition: alias_check.c:139
alias_propagation
bool alias_propagation(char *)
Definition: alias_propagation.c:903
emit_message_and_stop
statement emit_message_and_stop(string)
Definition: array_bound_check_bottom_up.c:837
array_bound_check_display
statement array_bound_check_display(void)
array_bound_check_instrumentation.c
Definition: array_bound_check_instrumentation.c:158
print_alias_association
void print_alias_association(alias_association)
Definition: alias_check.c:301
array_bound_check_top_down
bool array_bound_check_top_down(const char *)
Definition: array_bound_check_top_down.c:1129
_newgen_struct_alias_association_
Definition: alias_private.h:112
_newgen_struct_call_
Definition: ri.h:701
_newgen_struct_entity_
Definition: ri.h:2778
_newgen_struct_expression_
Definition: ri.h:1239
_newgen_struct_statement_
Definition: ri.h:2435
cons
The structure used to build lists in NewGen.
Definition: newgen_list.h:41