delay.c File Reference

#include <stdio.h>
#include "genC.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "sc.h"
#include "polyedre.h"
#include "union.h"
#include "matrice.h"
#include "matrix.h"
#include "sparse_sc.h"
#include "ri.h"
#include "constants.h"
#include "ri-util.h"
#include "misc.h"
#include "complexity_ri.h"
#include "database.h"
#include "graph.h"
#include "dg.h"
#include "paf_ri.h"
#include "parser_private.h"
#include "property.h"
#include "reduction.h"
#include "text.h"
#include "text-util.h"
#include "tiling.h"
#include "pipsdbm.h"
#include "resources.h"
#include "static_controlize.h"
#include "paf-util.h"
#include "pip.h"
#include "array_dfg.h"
#include "prgm_mapping.h"
#include "conversion.h"
#include "scheduling.h"
#include "reindexing.h"

Include dependency graph for delay.c:

Go to the source code of this file.

Typedefs
typedef dfg_vertex_label	vertex_label
	Local defines. More...
typedef dfg_arc_label	arc_label

Functions
static void	rewrite_nothing_call (call c)
	====================================================================== More...
static void	rewrite_nothing_ref (reference r)
static bool	reference_filter (reference r)
	====================================================================== More...
static bool	assignation_filter (call c)
	====================================================================== More...
list	add_delay_information (hash_table t, list sl)
	====================================================================== More...
void	fprint_delay (FILE *fp, graph g, hash_table t)
	====================================================================== More...

Variables
hash_table	delay_table
	Name : delay.c Package : reindexing Author : Alexis Platonoff Date : March 1995 Historic : More...

Typedef Documentation

arc_label

typedef dfg_arc_label arc_label

Definition at line 93 of file delay.c.

vertex_label

typedef dfg_vertex_label vertex_label

Local defines.

Definition at line 92 of file delay.c.

Function Documentation

add_delay_information()

list add_delay_information	(	hash_table	t,
		list	sl
	)

======================================================================

list add_delay_information(t, sl): go through the list of new statement and replace each first time dimension by its expression modulo the value of the delay.

AC 94/07/06

Definition at line 200 of file delay.c.

{
 instruction  ins;
 
 ins = make_instruction_block(sl);
 
 gen_recurse(ins, call_domain, assignation_filter, rewrite_nothing_call);
 
 return(instruction_block(ins));
}

References assignation_filter(), call_domain, gen_recurse, instruction_block, make_instruction_block(), and rewrite_nothing_call().

Referenced by re_do_it().

Here is the call graph for this function:

Here is the caller graph for this function:

assignation_filter()

static bool assignation_filter ( call  c )

static

======================================================================

bool assignation_filter(c): tests if the call is an assignation. This is the filter of the function gen_recurse(). In case of a call we do not want to go down so the bool is always set to false. We test too if the assignation is an instruction and in that case, we treat each reference by calling the function gen_recurse again.

AC 94/07/25

first, test if the expression is an array that is an instruction

Definition at line 172 of file delay.c.

{
  list        lexp;
  expression  exp;
 
  if (ENTITY_ASSIGN_P(call_function(c)))
  {
    lexp = call_arguments(c);
    exp = EXPRESSION(CAR(lexp));
    
    /* first, test if the expression is an array that is an instruction */
    if (array_ref_exp_p(exp))
    { gen_recurse(c, reference_domain, reference_filter,
                  rewrite_nothing_ref); }
  }
  
  return(false);
}

References array_ref_exp_p(), call_arguments, call_function, CAR, ENTITY_ASSIGN_P, exp, EXPRESSION, gen_recurse, lexp, reference_domain, reference_filter(), and rewrite_nothing_ref().

Referenced by add_delay_information().

Here is the call graph for this function:

Here is the caller graph for this function:

fprint_delay()

void fprint_delay	(	FILE *	fp,
		graph	g,
		hash_table	t
	)

======================================================================

void fprint_delay(fp, t): print the hash_table t

AC 94/07/01

Definition at line 221 of file delay.c.

{
  list        vl;
 
  for (vl = graph_vertices(g); !ENDP(vl); POP(vl)) {
    int         cn, del;
    vertex      cv;
 
    cv = VERTEX(CAR(vl));
    cn = dfg_vertex_label_statement(vertex_vertex_label(cv));
    del = (int)hash_get(delay_table, (char *)cn);
    fprintf(fp,"\nInstruction n. %d \t=> delai = %d", cn, del);
  }
}

References CAR, delay_table, dfg_vertex_label_statement, ENDP, fprintf(), graph_vertices, hash_get(), int, POP, VERTEX, and vertex_vertex_label.

Referenced by reindexing().

Here is the call graph for this function:

Here is the caller graph for this function:

reference_filter()

static bool reference_filter ( reference  r )

static

======================================================================

bool reference_filter(r): filter on the reference r.

AC 94/07/28

first we get the number of the instruction

get the delay in the hash table

process the instruction only if the reference is an array.

build the modulo expression

Definition at line 114 of file delay.c.

{
  entity       e = reference_variable(r);
  list         lexp = NIL, lexp2 = NIL;
  int          n, d;
  expression   exp, exp2;
  call         ca;
 
  /* first we get the number of the instruction */
  n = get_number_of_ins(e);
  
  /* get the delay in the hash table */
  d = (int)hash_get(delay_table, (char *)n);
 
  if (get_debug_level() > 6) {
    fprintf(stderr,"\nOld ref : ");
    print_reference(r);
    fprintf(stderr, "\n n = %d", n);
    fprintf(stderr, "\n d = %d", d);
  }   
    
  /* process the instruction only if the reference is an array. */
  if(reference_indices(r) != NIL) {
    if ((d > 0) && (d != INFINITY)) {
      exp = EXPRESSION(CAR(reference_indices(r)));
      lexp = CDR(reference_indices(r));
      /* build the modulo expression */
      lexp2 = CONS(EXPRESSION, int_to_expression(d+1), NIL);
      lexp2 = CONS(EXPRESSION, exp, lexp2);
      ca = make_call(entity_intrinsic(MODULO_OPERATOR_NAME), lexp2);
      exp2 = make_expression(make_syntax(is_syntax_call, ca),
                             normalized_undefined);
      reference_indices(r) = CONS(EXPRESSION, exp2, lexp);
    }
    else if (d == 0) {
      lexp = CDR(reference_indices(r));
      exp = int_to_expression(0);
      reference_indices(r) = CONS(EXPRESSION, exp, lexp);
    }
  }
  if (get_debug_level() > 6) {
    fprintf(stderr,"\nNew ref : ");
    print_reference(r);}
 
  return(false);
}

References CAR, CDR, CONS, delay_table, entity_intrinsic(), exp, EXPRESSION, fprintf(), get_debug_level(), get_number_of_ins(), hash_get(), INFINITY, int, int_to_expression(), is_syntax_call, lexp, make_call(), make_expression(), make_syntax(), MODULO_OPERATOR_NAME, NIL, normalized_undefined, print_reference(), reference_indices, and reference_variable.

Referenced by assignation_filter().

Here is the call graph for this function:

Here is the caller graph for this function:

rewrite_nothing_call()

static void rewrite_nothing_call ( call  c )

static

======================================================================

void rewrite_nothing(chunk *) {return;}: rewrite nothing, incredible,no?

AC 94/07/25 could use gen_null instead. FC.

Definition at line 104 of file delay.c.

{return;}

Referenced by add_delay_information().

Here is the caller graph for this function:

rewrite_nothing_ref()

static void rewrite_nothing_ref ( reference  r )

static

Definition at line 105 of file delay.c.

{return;}

Referenced by assignation_filter().

Here is the caller graph for this function:

Variable Documentation

delay_table

hash_table delay_table

extern

Name : delay.c Package : reindexing Author : Alexis Platonoff Date : March 1995 Historic :

Documents: SOON Comments : This file contains the functions dealing with the dealy. Ansi includes
Newgen includes
C3 includes
Pips includes
External variables

Definition at line 109 of file reindexing.c.

Referenced by build_first_comb(), calculate_delay(), fprint_delay(), make_array_bounds(), re_do_it(), reference_filter(), and reindexing().