overlap.c File Reference

#include "defines-local.h"

Include dependency graph for overlap.c:

Go to the source code of this file.

Functions
bool	expression_constant_p (expression)
	Overlap Management Module for HPFC Fabien Coelho, August 1993. More...
static void	create_overlaps (entity e)
	in static_controlize More...
void	set_overlap (entity ent, int dim, int side, int width)
	set_overlap(ent, dim, side, width) More...
int	get_overlap (entity ent, int dim, int side)
	int get_overlap(ent, dim, side) More...
static void	overlap_redefine_expression (expression *pexpr, int ov)
	static void overlap_redefine_expression(pexpr, ov) More...
static void	declaration_with_overlaps (list l)
static void	deal_with_similars (list le)
	updates overlaps for similar arrays that are going to be merged More...
void	declaration_with_overlaps_for_module (entity module)

Function Documentation

create_overlaps()

static void create_overlaps ( entity  e )

static

in static_controlize

Definition at line 36 of file overlap.c.

{
    type t = entity_type(e);
    list o=NIL;
    int n;
 
    assert(type_variable_p(t));
 
    n = gen_length(variable_dimensions(type_variable(t)));
    for(; n>=1; n--) o = CONS(OVERLAP, make_overlap(0, 0), o);
 
    store_overlap_status(e, o);
 
    assert(bound_overlap_status_p(e));
}

References assert, bound_overlap_status_p(), CONS, entity_type, gen_length(), make_overlap(), NIL, OVERLAP, store_overlap_status(), type_variable, type_variable_p, and variable_dimensions.

Referenced by get_overlap(), and set_overlap().

Here is the call graph for this function:

Here is the caller graph for this function:

deal_with_similars()

static void deal_with_similars ( list  le )

static

updates overlaps for similar arrays that are going to be merged

Definition at line 164 of file overlap.c.

{
  FOREACH(ENTITY, array, le)
    {
        //if (entity_dynamic_p(array) && load_similar_mapping(array)!=array)
        if (variable_dynamic_p(array) && load_similar_mapping(array)!=array)
        {
            entity sim = load_similar_mapping(array);
            int dim;
 
            pips_debug(8, "translating overlaps from %s to %s\n",
                       entity_name(array), entity_name(sim));
 
            for (dim=variable_entity_dimension(array); dim>0; dim--)
            {
                int o;
 
                o = get_overlap(array, dim, 0);
                set_overlap(sim, dim, 0, o);
                o = get_overlap(array, dim, 1);
                set_overlap(sim, dim, 1, o);
            }
        }
    }
}

References array, ENTITY, entity_name, FOREACH, get_overlap(), load_similar_mapping(), pips_debug, set_overlap(), variable_dynamic_p(), and variable_entity_dimension().

Referenced by declaration_with_overlaps_for_module().

Here is the call graph for this function:

Here is the caller graph for this function:

declaration_with_overlaps()

static void declaration_with_overlaps ( list  l )

static

Definition at line 126 of file overlap.c.

{
    entity ent;
    int ndim, i, lower_overlap, upper_overlap;
    dimension the_dim;
 
    MAP(ENTITY, oldent,
     {
         ent = load_new_node(oldent);
         ndim = variable_entity_dimension(ent);
 
         assert(type_variable_p(entity_type(ent)));
 
         for (i=1 ; i<=ndim ; i++)
         {
             the_dim = entity_ith_dimension(ent, i);
             lower_overlap = get_overlap(oldent, i, 0);
             upper_overlap = get_overlap(oldent, i, 1);
 
             debug(8, "declaration_with_overlaps", 
                   "%s(DIM=%d): -%d, +%d\n", 
                   entity_name(ent), i, lower_overlap, upper_overlap);
 
             if (lower_overlap!=0) 
                 overlap_redefine_expression(&dimension_lower(the_dim),
                                             -lower_overlap);
                 
             if (upper_overlap!=0) 
                 overlap_redefine_expression(&dimension_upper(the_dim),
                                             upper_overlap);
         }
     },
         l);
}

References assert, debug(), dimension_lower, dimension_upper, ENTITY, entity_ith_dimension(), entity_name, entity_type, get_overlap(), load_new_node(), MAP, overlap_redefine_expression(), type_variable_p, and variable_entity_dimension().

Referenced by declaration_with_overlaps_for_module().

Here is the call graph for this function:

Here is the caller graph for this function:

declaration_with_overlaps_for_module()

void declaration_with_overlaps_for_module

(

entity

module

)

Parameters

module

odule

Definition at line 190 of file overlap.c.

{
    list l = list_of_distributed_arrays_for_module(module);
 
    deal_with_similars(l);
    declaration_with_overlaps(l);
    gen_free_list(l);
}

References deal_with_similars(), declaration_with_overlaps(), gen_free_list(), list_of_distributed_arrays_for_module(), and module.

Here is the call graph for this function:

expression_constant_p()

bool expression_constant_p

(

expression

exp

)

Overlap Management Module for HPFC Fabien Coelho, August 1993.

Overlap Management Module for HPFC Fabien Coelho, August 1993.

HPFC module by Fabien COELHO.

bool expression_constant_p(expression exp) Returns true if "exp" is an (integer) constant value.

Note : A negativePositive constant can be represented with a call to the unary minus/plus intrinsic function upon a positive value.

See below extended_expression_constant_p() for a more general function.

Definition at line 2453 of file expression.c.

{
  return !constant_undefined_p(expression_constant(exp));
}

Referenced by overlap_redefine_expression().

Here is the caller graph for this function:

get_overlap()

int get_overlap	(	entity	ent,
		int	dim,
		int	side
	)

int get_overlap(ent, dim, side)

returns the overlap for a given entity, dimension and side, to be used in the declaration modifications

Parameters

ent	nt
dim	im
side	ide

Definition at line 88 of file overlap.c.

{
    overlap o;
 
    assert(dim>0);
 
    if (!bound_overlap_status_p(ent)) create_overlaps(ent);
    assert(bound_overlap_status_p(ent));
 
    o = OVERLAP(gen_nth(dim-1, load_overlap_status(ent)));
    return(side ? overlap_upper(o) : overlap_lower(o));
}

References assert, bound_overlap_status_p(), create_overlaps(), gen_nth(), load_overlap_status(), OVERLAP, overlap_lower, and overlap_upper.

Referenced by deal_with_similars(), and declaration_with_overlaps().

Here is the call graph for this function:

Here is the caller graph for this function:

overlap_redefine_expression()

static void overlap_redefine_expression ( expression *  pexpr, int  ov  )

static

static void overlap_redefine_expression(pexpr, ov)

redefine the bound given the overlap which is to be included

this avoid a memory leak

Definition at line 107 of file overlap.c.

{
    expression
        copy = *pexpr;
 
    if (expression_constant_p(*pexpr))
    {
        *pexpr = int_to_expression(HpfcExpressionToInt(*pexpr)+ov);
        free_expression(copy); /* this avoid a memory leak */
    }
    else
        *pexpr = MakeBinaryCall(FindOrCreateEntity(TOP_LEVEL_MODULE_NAME, 
                                                   PLUS_OPERATOR_NAME),
                                *pexpr,
                                int_to_expression(ov));
}

References expression_constant_p(), FindOrCreateEntity(), free_expression(), HpfcExpressionToInt(), int_to_expression(), MakeBinaryCall(), PLUS_OPERATOR_NAME, and TOP_LEVEL_MODULE_NAME.

Referenced by declaration_with_overlaps().

Here is the call graph for this function:

Here is the caller graph for this function:

set_overlap()

void set_overlap	(	entity	ent,
		int	dim,
		int	side,
		int	width
	)

set_overlap(ent, dim, side, width)

set the overlap value for entity ent, on dimension dim, dans side side to width, which must be a positive integer.

set the overlap value for entity ent, on dimension dim, dans side side to width, which must be a positive integer. if necessary, the overlap is updates with the value width.

upper

lower

Parameters

ent	nt
dim	im
side	ide
width	idth

Definition at line 59 of file overlap.c.

{
    overlap o;
    int current;
 
    assert(dim>0);
 
    if (!bound_overlap_status_p(ent)) create_overlaps(ent);
    o = OVERLAP(gen_nth(dim-1, load_overlap_status(ent)));
 
    if (side) /* upper */
    {
        current = overlap_upper(o);
        if (current<width) overlap_upper(o)=width;
    }
    else /* lower */
    {
        current = overlap_lower(o);
        if (current<width) overlap_lower(o)=width;
    }
}

References assert, bound_overlap_status_p(), create_overlaps(), current, gen_nth(), load_overlap_status(), OVERLAP, overlap_lower, and overlap_upper.

Referenced by deal_with_similars().

Here is the call graph for this function:

Here is the caller graph for this function: