PIPS
|
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include "linear.h"
#include "genC.h"
#include "ri.h"
#include "effects.h"
#include "misc.h"
#include "ri-util.h"
#include "effects-util.h"
#include "constants.h"
#include "dg.h"
#include "graph.h"
#include "matrice.h"
#include "tiling.h"
#include "database.h"
#include "text.h"
#include "text-util.h"
#include "resources.h"
#include "wp65.h"
Go to the source code of this file.
Typedefs | |
typedef dg_arc_label | arc_label |
Function of manipulation of reference lists. More... | |
typedef dg_vertex_label | vertex_label |
Functions | |
bool | ref_in_list_p (list lt, reference r) |
references.c More... | |
void | update_map (statement_mapping m, statement st, reference r) |
list | expression_to_operand_list (expression e, list lr) |
This function gives the list of operands belonging to Expression e. More... | |
bool | reference_in_list_p (reference r, list lwr) |
This function tests whether at least one array indice of Reference r belongs to List lwr or not. More... | |
bool | array_indice_in_list_p (reference r, list lwr) |
void | reference_list_update (list *l, reference r) |
This function add Reference r to List l, if r doesn't belong to l. More... | |
void | reference_list_add (list *l1, list *l2) |
This function adds all the references of l2 to l1 if they don't appear in l1. More... | |
void | reference_list_print (list l) |
This function prints the references belonging to l. More... | |
void | reference_scalar_defined_p (reference r) |
void | variable_list_update (list *l, reference r) |
This function adds the reference r to List l, if the reference_variable(r) doesn't belong to l. More... | |
void | variable_list_add (list *l1, list *l2) |
This function adds all the references of l2 to l1 if they don't appear in l1. More... | |
void | concat_data_list (list *l, list *lr, statement st, statement_mapping map, bool perfect_nested_loop) |
typedef dg_arc_label arc_label |
Function of manipulation of reference lists.
Corinne Ancourt
Definition at line 49 of file references.c.
typedef dg_vertex_label vertex_label |
Definition at line 50 of file references.c.
lwr | wr |
Definition at line 140 of file references.c.
References CAR, CDR, EXPRESSION, expression_to_reference_list(), MAPL, NIL, REFERENCE, reference_in_list_p(), and reference_indices.
Referenced by call_instruction_to_communications().
void concat_data_list | ( | list * | l, |
list * | lr, | ||
statement | st, | ||
statement_mapping | map, | ||
bool | perfect_nested_loop | ||
) |
lr | r |
st | t |
map | ap |
perfect_nested_loop | erfect_nested_loop |
Definition at line 236 of file references.c.
References CAR, GET_STATEMENT_MAPPING, HASH_UNDEFINED_VALUE, instruction_block, instruction_loop, instruction_tag, is_instruction_block, is_instruction_loop, list_of_calls_p(), loop_body, MAPL, reference_list_add(), STATEMENT, statement_instruction, and variable_list_add().
Referenced by loop_nest_movement_generation().
list expression_to_operand_list | ( | expression | e, |
list | lr | ||
) |
This function gives the list of operands belonging to Expression e.
lr | r |
Definition at line 96 of file references.c.
References call_arguments, CAR, CONS, EXPRESSION, expression_syntax, fprintf(), gen_nconc(), is_syntax_call, is_syntax_range, is_syntax_reference, MAPL, NIL, range_increment, range_lower, range_upper, REFERENCE, syntax_call, syntax_range, syntax_reference, and syntax_tag.
Referenced by call_instruction_to_communications().
lt | t |
Definition at line 62 of file references.c.
References pips_assert.
Referenced by update_map().
This function tests whether at least one array indice of Reference r belongs to List lwr or not.
lwr | wr |
Definition at line 130 of file references.c.
References CAR, CDR, REFERENCE, and reference_equal_p().
Referenced by array_indice_in_list_p(), call_instruction_to_communications(), and make_all_movement_blocks().
This function adds all the references of l2 to l1 if they don't appear in l1.
l1 | 1 |
l2 | 2 |
Definition at line 175 of file references.c.
References CAR, CDR, NIL, REFERENCE, and reference_list_update().
Referenced by concat_data_list(), loop_instruction_to_communications(), and statement_to_communications().
void reference_list_print | ( | list | l | ) |
This function prints the references belonging to l.
Definition at line 186 of file references.c.
References CAR, CDR, entity_local_name(), fprintf(), NIL, REFERENCE, and reference_variable.
Referenced by call_instruction_to_communications(), call_to_wp65_code(), insert_array_scalar_access_movement(), and loop_nest_to_wp65_code().
This function add Reference r to List l, if r doesn't belong to l.
Definition at line 161 of file references.c.
References CAR, CDR, CONS, gen_nconc(), NIL, REFERENCE, and reference_equal_p().
Referenced by call_instruction_to_communications(), loop_instruction_to_communications(), and reference_list_add().
void reference_scalar_defined_p | ( | reference | r | ) |
Definition at line 199 of file references.c.
References assert, NIL, reference_indices, reference_undefined_p, and reference_variable.
Referenced by loop_nest_to_wp65_code().
void update_map | ( | statement_mapping | m, |
statement | st, | ||
reference | r | ||
) |
st | t |
Definition at line 68 of file references.c.
References CONS, entity_local_name(), fprintf(), gen_nconc(), GET_STATEMENT_MAPPING, HASH_UNDEFINED_VALUE, ifdebug, NIL, ref_in_list_p(), REFERENCE, reference_variable, SET_STATEMENT_MAPPING, and statement_number.
Referenced by call_instruction_to_communications().
This function adds all the references of l2 to l1 if they don't appear in l1.
l1 | 1 |
l2 | 2 |
Definition at line 225 of file references.c.
References CAR, CDR, NIL, REFERENCE, and variable_list_update().
Referenced by concat_data_list().
This function adds the reference r to List l, if the reference_variable(r) doesn't belong to l.
Definition at line 208 of file references.c.
References CAR, CDR, CONS, entity_local_name(), gen_nconc(), NIL, REFERENCE, and reference_variable.
Referenced by variable_list_add().