PIPS
|
#include "local.h"
Go to the source code of this file.
Functions | |
static bool | quick_privatize_loop (statement, list) |
QUICK PRIVATIZATION More... | |
static bool | quick_privatize_statement_pair (statement, statement, list) |
void | quick_privatize_graph (graph dep_graph) |
quick_privatize.c More... | |
void quick_privatize_graph | ( | graph | dep_graph | ) |
we analyze arcs exiting from loop statements
dep_graph | ep_graph |
Definition at line 38 of file quick_privatize.c.
References CONS, dep_graph, ENTITY, entity_undefined, FOREACH, gen_find_eq(), graph_vertices, loop_index, loop_locals, pips_debug, quick_privatize_loop(), s1, statement_loop(), statement_loop_p(), statement_number, successors(), VERTEX, vertex_successors, and vertex_to_statement().
Referenced by compute_dg_on_statement_from_chains_in_place(), and rice_dependence_graph().
QUICK PRIVATIZATION
stat | tat |
successors | uccessors |
Definition at line 63 of file quick_privatize.c.
References dg_arc_label_conflicts, FOREACH, pips_debug, quick_privatize_statement_pair(), statement_number, SUCCESSOR, successor_arc_label, successor_vertex, successors(), and vertex_to_statement().
Referenced by quick_privatize_graph().
equivalence or conflict not created by loop index. I give up !
we must know where this read effect come from. if it comes from the loop body, the arc may be ignored.
s2 is a loop. if there are no read effet in the range part, ignore this conflict.
s1 | 1 |
s2 | 2 |
conflicts | onflicts |
Definition at line 80 of file quick_privatize.c.
References action_read_p, action_write_p, CONFLICT, conflict_sink, conflict_source, EFFECT, effect_action, effect_any_reference, entity_name, entity_undefined, f2(), FOREACH, free_effects(), gen_find_eq(), is_implied_do_index(), load_statement_enclosing_loops(), loop_index, loop_range, loops, make_effects(), pips_debug, proper_effects_of_range(), reference_variable, s1, statement_instruction, statement_loop(), and statement_loop_p().
Referenced by quick_privatize_loop().