references.c File Reference

#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"

Include dependency graph for references.c:

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 Documentation

arc_label

typedef dg_arc_label arc_label

Function of manipulation of reference lists.

Corinne Ancourt

Definition at line 49 of file references.c.

vertex_label

typedef dg_vertex_label vertex_label

Definition at line 50 of file references.c.

Function Documentation

array_indice_in_list_p()

bool array_indice_in_list_p	(	reference	r,
		list	lwr
	)

Parameters

lwr

wr

Definition at line 140 of file references.c.

{ 
 
    list lr = NIL;
    bool result = false;
    list lref1;
    MAPL(ce,{    expression e = EXPRESSION(CAR(ce));
                 lr = expression_to_reference_list(e, lr);
             },
         reference_indices(r));
    for (lref1 = lr; 
         lref1 != NIL && !result;
         result = result || reference_in_list_p(REFERENCE(CAR(lref1)),
                                                lwr),
         lref1 = CDR(lref1));
   
    return result;
}

References CAR, CDR, EXPRESSION, expression_to_reference_list(), MAPL, NIL, REFERENCE, reference_in_list_p(), and reference_indices.

Referenced by call_instruction_to_communications().

Here is the call graph for this function:

Here is the caller graph for this function:

concat_data_list()

void concat_data_list	(	list *	l,
		list *	lr,
		statement	st,
		statement_mapping	map,
		bool	perfect_nested_loop
	)

Parameters

lr	r
st	t
map	ap
perfect_nested_loop	erfect_nested_loop

Definition at line 236 of file references.c.

{
    instruction inst; 
    list  lt = (list) GET_STATEMENT_MAPPING(map,st);
 
    if (lt != (list) HASH_UNDEFINED_VALUE)  {
        variable_list_add(l, &lt);
        reference_list_add(lr,&lt);
    }
    inst = statement_instruction(st);
    switch(instruction_tag(inst)) {
    case is_instruction_block:{
        cons * b;
        b = instruction_block(inst);
        if (list_of_calls_p(b))
            concat_data_list(l,lr,STATEMENT(CAR(b)),map,perfect_nested_loop);
        else
            MAPL(st, { 
                concat_data_list(l,lr,STATEMENT(CAR(st)), map,
                                 perfect_nested_loop);
                   } , b);
        break;
    }
   
    case is_instruction_loop: {
        concat_data_list(l,lr,loop_body(instruction_loop(inst)),map,
                         perfect_nested_loop);
        break;} 
    default:  return;
    }
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

expression_to_operand_list()

list expression_to_operand_list	(	expression	e,
		list	lr
	)

This function gives the list of operands belonging to Expression e.

Parameters

lr

r

Definition at line 96 of file references.c.

{
    syntax s = expression_syntax(e);
    switch(syntax_tag(s)) {
    case is_syntax_reference:
        lr = gen_nconc(lr, CONS(REFERENCE, syntax_reference(s), NIL));
                break;
    case is_syntax_range:
        lr = expression_to_operand_list(range_lower(syntax_range(s)), lr);
        lr = expression_to_operand_list(range_upper(syntax_range(s)), lr);
        lr = expression_to_operand_list(range_increment(syntax_range(s)),
                                          lr);
        break;
    case is_syntax_call:
        MAPL(ce, {
            expression e = EXPRESSION(CAR(ce));
            lr = expression_to_operand_list(e, lr);
            },
             call_arguments(syntax_call(s)));
        break;
    default:
        (void) fprintf(stderr, 
                       "expression_to_operand_list - unexpected syntax\n");
    }
 
    return lr;
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

ref_in_list_p()

bool ref_in_list_p	(	list	lt,
		reference	r
	)

references.c

Parameters

lt

t

Definition at line 62 of file references.c.

{
  pips_assert("true", lt==lt && r==r);
    return (false);
}

References pips_assert.

Referenced by update_map().

Here is the caller graph for this function:

reference_in_list_p()

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.

Parameters

lwr

wr

Definition at line 130 of file references.c.

{ 
    list lref2;
    bool result = false;
    for (lref2 = lwr; 
         lref2 != NULL && !result; 
         result = result || reference_equal_p(r,REFERENCE(CAR(lref2))),
         lref2 = CDR(lref2)) ;
    return(result);
}

References CAR, CDR, REFERENCE, and reference_equal_p().

Referenced by array_indice_in_list_p(), call_instruction_to_communications(), and make_all_movement_blocks().

Here is the call graph for this function:

Here is the caller graph for this function:

reference_list_add()

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.

Parameters

l1	1
l2	2

Definition at line 175 of file references.c.

{
    list lref2 =*l2 ;
    for(; lref2!= NIL; 
        reference_list_update(l1, REFERENCE(CAR(lref2))),
        lref2 = CDR(lref2));
}

References CAR, CDR, NIL, REFERENCE, and reference_list_update().

Referenced by concat_data_list(), loop_instruction_to_communications(), and statement_to_communications().

Here is the call graph for this function:

Here is the caller graph for this function:

reference_list_print()

void reference_list_print

(

list

l

)

This function prints the references belonging to l.

Definition at line 186 of file references.c.

{
    list lref;
    for (lref = l; 
         lref != NIL;
         (void) fprintf(stderr, 
                       "%s,",
                       entity_local_name(reference_variable(REFERENCE(CAR(lref))))), 
         lref = CDR(lref));
    (void) fprintf(stderr,"\n");
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

reference_list_update()

void reference_list_update	(	list *	l,
		reference	r
	)

This function add Reference r to List l, if r doesn't belong to l.

Definition at line 161 of file references.c.

{
    list lref1 =*l ;
    if (*l != NIL)  {
        for(; lref1!= NIL && !(reference_equal_p(REFERENCE(CAR(lref1)),r)) ; 
            lref1 = CDR(lref1));
        if (lref1 == NIL) 
            *l= gen_nconc(*l, CONS(REFERENCE,r,NIL));
    }
    else *l =  CONS(REFERENCE,r,NIL);
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

reference_scalar_defined_p()

void reference_scalar_defined_p

(

reference

r

)

Definition at line 199 of file references.c.

{
    assert(!reference_undefined_p(r) 
           && r!=NULL && reference_variable(r)!=NULL 
           && reference_indices(r) == NIL);
}

References assert, NIL, reference_indices, reference_undefined_p, and reference_variable.

Referenced by loop_nest_to_wp65_code().

Here is the caller graph for this function:

update_map()

void update_map	(	statement_mapping	m,
		statement	st,
		reference	r
	)

Parameters

st

t

Definition at line 68 of file references.c.

{
    list lt;
 
    lt = (list) GET_STATEMENT_MAPPING(m,st);
    if (lt != (list) HASH_UNDEFINED_VALUE) { 
        if (!ref_in_list_p(lt,r)) {
            lt =  gen_nconc(lt, CONS(REFERENCE,r, NIL));
            ifdebug(9) 
                (void) fprintf(stderr,
                               "ajout de la ref: %s au statement %"PRIdPTR"\n",
                               entity_local_name(reference_variable(r)), 
                               statement_number(st));    
        }
    }
    else {
        lt= CONS(REFERENCE,r, NIL);
        ifdebug(9) 
            (void) fprintf (stderr,
                "ajout de la ref: %s au statement %"PRIdPTR"\n",
                entity_local_name(reference_variable(r)), 
                statement_number(st));   
    }
    SET_STATEMENT_MAPPING(m,st,lt);
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

variable_list_add()

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.

Parameters

l1	1
l2	2

Definition at line 225 of file references.c.

{
    list lvar2 =*l2 ;
    for(; lvar2!= NIL; 
        variable_list_update(l1,REFERENCE(CAR(lvar2))),
        lvar2 = CDR(lvar2));
}

References CAR, CDR, NIL, REFERENCE, and variable_list_update().

Referenced by concat_data_list().

Here is the call graph for this function:

Here is the caller graph for this function:

variable_list_update()

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.

Definition at line 208 of file references.c.

{
    list lvar1 =*l ;
    if (*l != NIL)  {
        for(; 
            lvar1!= NIL 
            && strcmp(entity_local_name(reference_variable(REFERENCE(CAR(lvar1)))),
                      entity_local_name(reference_variable(r))); 
            lvar1 = CDR(lvar1));
        if (lvar1 == NIL) 
            *l= gen_nconc(*l, CONS(REFERENCE,r,NIL));
    }
    else *l =  CONS(REFERENCE,r,NIL);
}

References CAR, CDR, CONS, entity_local_name(), gen_nconc(), NIL, REFERENCE, and reference_variable.

Referenced by variable_list_add().

Here is the call graph for this function:

Here is the caller graph for this function: