translation.c File Reference

#include <stdio.h>
#include <string.h>
#include <setjmp.h>
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "ray_dte.h"
#include "sg.h"
#include "polyedre.h"
#include "union.h"
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "database.h"
#include "constants.h"
#include "ri-util.h"
#include "effects-util.h"
#include "pipsdbm.h"
#include "workspace-util.h"
#include "resources.h"
#include "misc.h"
#include "text.h"
#include "text-util.h"
#include "transformer.h"
#include "preprocessor.h"
#include "properties.h"
#include "prettyprint.h"
#include "effects-generic.h"
#include "effects-convex.h"

Include dependency graph for translation.c:

Go to the source code of this file.

Data Structures
struct	Common_Dimension_Stat
	translation More...
struct	Linearization_Stat
struct	Remaining_Dimension_Stat
struct	Beta_Elimination_Stat
struct	Phi_Elimination_Stat
struct	Predicate_Translation

Macros
#define	BACKWARD   true
	Package regions : Be'atrice Creusillet 11/95. More...
#define	FORWARD   false
#define	min(a, b)   (((a)<(b))?(a):(b))
#define	max(a, b)   (((a)>(b))?(a):(b))
#define	IS_EG   true
#define	NOT_EG   false
#define	PHI_FIRST   true
#define	NOT_PHI_FIRST   false

Functions
static void	reg_v_debug (Pvecteur v)
static void	reg_sc_debug (Psysteme sc)
void	region_translation_statistics_init (bool stat_p)
	initialization and closing More...
void	region_translation_statistics_close (const char *mod_name, const char *prefix)
static bool	dims_array_init (entity array, dimension *dims, int dim_array)
static Psysteme	entity_assumed_declaration_sc (dimension *dims, int ndim)
void	region_translation_init (entity ent_1, reference rf_1, entity ent_2, reference rf_2, Value offset_1_m_2)
static void	region_translation_close ()
static bool	some_phi_variable (Pcontrainte c)
void	append_declaration_sc_if_exact_without_constraints (region r)
	if we have a region like: <A(PHI)-EXACT-{}> it means that all declared elements are touched, although this is implicit. More...
static void	region_translation_of_predicate (region reg, entity to_func)
static Psysteme	array_translation_sc (bool *p_exact_translation_p)
region	region_translation (region reg_1, entity func_1, reference rf_1, entity ent_2, entity func_2, reference rf_2, Value offset_1_m_2, bool backward_p)
	region region_translation(region reg1, entity mod1, reference ref1, entity ent2, entity mod2, reference ref2, Pvecteur offset_1_m_2, bool offset_undef_p) input : a region reg1, from module mod1; a target entity ent2 in module mod2 (it is possible to have mod1 = mod2 for equivalences); references ref1 and ref2 and offset_1_m_2 are provided to represent the offset between the index of the initial and target entity; if both entities are in a common or are equivalenced, then we can only provide offset_1_m_2; when translating from a formal to a real parameter or from a real to a formal one, we only know the real reference, the other one being undefined. More...

Variables
static bool	statistics_p
	STATISTICS More...
static int	mat_dim_stat [8][8]
	inputs More...
static int	vect_size_ratio_stat [4]
	correspondances between source and target array number of dimensions More...
static int	zero_offset_stat
	size ratio after normalization More...
static int	scalar_to_scalar_stat
	number cases in which the offset is nul More...
static int	scalar_to_array_stat
static int	array_to_array_stat
static struct Common_Dimension_Stat	common_dimension_stat
static struct Linearization_Stat	linearization_stat
static struct Remaining_Dimension_Stat	remaining_dimension_stat
static struct Beta_Elimination_Stat	beta_elimination_stat
static struct Phi_Elimination_Stat	phi_elimination_stat
static struct Predicate_Translation	predicate_translation_stat
static entity	array_1
	Local variables and functions to avoid multiple computations More...
static entity	array_2
static reference	ref_1
static reference	ref_2
static bool	reference_p
static Value	offset
static int	dim_1
static int	dim_2
static Value	size_elt_1
static Value	size_elt_2
static dimension	dims_1 [NB_MAX_ARRAY_DIM]
static dimension	dims_2 [NB_MAX_ARRAY_DIM]
static bool	dim_1_assumed
static bool	dim_2_assumed

Macro Definition Documentation

BACKWARD

#define BACKWARD   true

Package regions : Be'atrice Creusillet 11/95.

array_translation

This File contains general purpose functions that compute the translation of regions from one array to another (e.g. interprocedural translation).

Definition at line 76 of file translation.c.

FORWARD

#define FORWARD   false

Definition at line 77 of file translation.c.

IS_EG

#define IS_EG   true

Definition at line 339 of file translation.c.

max

#define max	(		a,
			b
	)		(((a)>(b))?(a):(b))

Definition at line 80 of file translation.c.

min

#define min	(		a,
			b
	)		(((a)<(b))?(a):(b))

Definition at line 79 of file translation.c.

NOT_EG

#define NOT_EG   false

Definition at line 340 of file translation.c.

NOT_PHI_FIRST

#define NOT_PHI_FIRST   false

Definition at line 343 of file translation.c.

PHI_FIRST

#define PHI_FIRST   true

Definition at line 342 of file translation.c.

Function Documentation

append_declaration_sc_if_exact_without_constraints()

void append_declaration_sc_if_exact_without_constraints

(

region

r

)

if we have a region like: <A(PHI)-EXACT-{}> it means that all declared elements are touched, although this is implicit.

this occurs with io effects of "PRINT *, A". in such a case, the declaration constraints MUST be appended before the translation, otherwise the result might be false.

potential bug : if the declaration system cannot be generated, the region should be turned to MAY for the translation?

we have an exact array region

Definition at line 492 of file translation.c.

{
  entity v = reference_variable(region_any_reference(r));
  Psysteme s = region_system(r);
 
  if (entity_scalar_p(v) || region_may_p(r)) return;
  /* we have an exact array region */
 
  pips_debug(5, "considering exact region of array %s\n", entity_name(v));
 
  if (!some_phi_variable(sc_egalites(s)) &&
      !some_phi_variable(sc_inegalites(s)))
  {
    pips_debug(7, "appending declaration system\n");
    region_sc_append(r, entity_declaration_sc(region_entity(r)), false);
  }
}

References entity_declaration_sc(), entity_name, entity_scalar_p(), pips_debug, reference_variable, region_any_reference, region_entity, region_may_p, region_sc_append(), region_system, and some_phi_variable().

Referenced by region_translation().

Here is the call graph for this function:

Here is the caller graph for this function:

array_translation_sc()

static Psysteme array_translation_sc ( bool *  p_exact_translation_p )

static

Referenced by region_translation().

Here is the caller graph for this function:

dims_array_init()

static bool dims_array_init ( entity  array, dimension *  dims, int  dim_array  )

static

FI: special case for the old Fortran habit of using declarations such as D(1) or E(N,1) to declare a pointer to an array of undefined (last) dimension.

Such declarations cannot be used for array bound checking.

The warning message does not seem to fit the test.

Definition at line 289 of file translation.c.

{
    int i;
    bool dim_assumed;
 
    i = 0;
    dim_assumed = false;
    FOREACH(DIMENSION, dim, variable_dimensions(type_variable(entity_type(array)))) {
        if (i == dim_array -1)
        {
            normalized nup = NORMALIZE_EXPRESSION(dimension_upper(dim));
            normalized nlo = NORMALIZE_EXPRESSION(dimension_lower(dim));
 
            if(normalized_linear_p(nup) && normalized_linear_p(nlo))
            {
                Pvecteur pvup = normalized_linear(nup);
                Pvecteur pvlo = normalized_linear(nlo);
 
                /* FI: special case for the old Fortran habit of using
                   declarations such as D(1) or E(N,1) to declare a
                   pointer to an array of undefined (last) dimension.
 
                   Such declarations cannot be used for array bound
                   checking.
 
                   The warning message does not seem to fit the test. */
                if(!VECTEUR_NUL_P(pvup) && !VECTEUR_NUL_P(pvlo))
                if (vect_constant_p(pvup) && value_one_p(val_of(pvup)) &&
                    vect_constant_p(pvlo) && value_one_p(val_of(pvlo)))
                {
                    pips_user_warning("\nvariable (%s): "
                                      "last upper dimension equal to lower;"
                                      " assuming unbounded upper bound\n",
                                      entity_name(array));
                    dim =
                        make_dimension(dimension_lower(dim),
                                       MakeNullaryCall
                                       (CreateIntrinsic(UNBOUNDED_DIMENSION_NAME)),
                                       NIL);
                    dim_assumed = true;
                }
            }
        }
        dims[i] = dim;
        i++;
    }
 
    return dim_assumed;
}

References array, CreateIntrinsic(), DIMENSION, dimension_lower, dimension_upper, entity_name, entity_type, FOREACH, make_dimension(), MakeNullaryCall(), NIL, NORMALIZE_EXPRESSION, normalized_linear, normalized_linear_p, pips_user_warning, type_variable, UNBOUNDED_DIMENSION_NAME, val_of, value_one_p, variable_dimensions, vect_constant_p(), and VECTEUR_NUL_P.

Referenced by region_translation_init().

Here is the call graph for this function:

Here is the caller graph for this function:

entity_assumed_declaration_sc()

static Psysteme entity_assumed_declaration_sc ( dimension *  dims, int  ndim  )

static

Definition at line 345 of file translation.c.

{
    Psysteme sc = sc_new();
    int dim;
 
    for (dim=1; dim<=ndim; dim++)
    {
      (void) sc_add_phi_equation(&sc, dimension_lower(dims[dim-1]),
                                 dim, NOT_EG, NOT_PHI_FIRST);
      (void) sc_add_phi_equation(&sc, dimension_upper(dims[dim-1]),
                                 dim, NOT_EG, PHI_FIRST);
    }
 
    return sc;
}

References dimension_lower, dimension_upper, NOT_EG, NOT_PHI_FIRST, PHI_FIRST, sc_add_phi_equation(), and sc_new().

Referenced by region_translation().

Here is the call graph for this function:

Here is the caller graph for this function:

reg_sc_debug()

static void reg_sc_debug ( Psysteme  sc )

static

Definition at line 91 of file translation.c.

{
    sc_fprint(stderr, sc, (get_variable_name_t) pips_region_user_name);
}

References pips_region_user_name(), and sc_fprint().

Referenced by region_translation().

Here is the call graph for this function:

Here is the caller graph for this function:

reg_v_debug()

static void reg_v_debug ( Pvecteur  v )

static

Definition at line 85 of file translation.c.

{
    vect_fprint(stderr, v, (get_variable_name_t) pips_region_user_name);
}

References pips_region_user_name(), and vect_fprint().

Here is the call graph for this function:

region_translation()

region region_translation	(	region	reg_1,
		entity	func_1,
		reference	rf_1,
		entity	ent_2,
		entity	func_2,
		reference	rf_2,
		Value	offset_1_m_2,
		bool	backward_p
	)

region region_translation(region reg1, entity mod1, reference ref1, entity ent2, entity mod2, reference ref2, Pvecteur offset_1_m_2, bool offset_undef_p) input : a region reg1, from module mod1; a target entity ent2 in module mod2 (it is possible to have mod1 = mod2 for equivalences); references ref1 and ref2 and offset_1_m_2 are provided to represent the offset between the index of the initial and target entity; if both entities are in a common or are equivalenced, then we can only provide offset_1_m_2; when translating from a formal to a real parameter or from a real to a formal one, we only know the real reference, the other one being undefined.

output : a list of regions corresponding to the translation of reg1. modifies : nothing, reg1 is duplicated. comment :

NW: before calling "region_translation" do

call "set_interprocedural_translation_context_sc" (see comment for "set_interprocedural_translation_context_sc" for what must be done before that is called)

and "set_backward_arguments_to_eliminate" (for translation formals->reals) or "set_forward_arguments_to_eliminate"

like this:

call call_site; entity callee; list real_args; ... (set up call to "set_interprocedural_translation_context_sc" as indicated in its comments) ... real_args = call_arguments(call_site); set_interprocedural_translation_context_sc(callee, real_args); set_backward_arguments_to_eliminate(callee);

(that's it, but after the call to "region_translation", don't forget to do:)

reset_translation_context_sc(); reset_arguments_to_eliminate(); (resets after call to "set_interprocedural_translation_context_sc" as indicated in its comments)

Definition at line 561 of file translation.c.

References append_declaration_sc_if_exact_without_constraints(), array_1, array_2, array_to_array_stat, array_translation_sc(), BACKWARD, Ssysteme::base, BASE_NULLE, beta_elimination_stat, cell_preference, cell_preference_p, cell_reference, copy_action(), debug_off, debug_on, debug_region_consistency, dim_2, dims_2, entity_assumed_declaration_sc(), entity_declaration_sc(), entity_minimal_name(), entity_name, entity_scalar_p(), entity_storage, entity_undefined, entity_whole_region(), Beta_Elimination_Stat::exact, Phi_Elimination_Stat::exact, Predicate_Translation::exact, Beta_Elimination_Stat::exact_input, Phi_Elimination_Stat::exact_input, Predicate_Translation::exact_input, free_reference(), get_bool_property(), get_translation_context_sc(), ifdebug, is_approximation_may, make_reference(), make_reference_region(), make_regions_psi_reference(), Beta_Elimination_Stat::nb_calls, Phi_Elimination_Stat::nb_calls, Predicate_Translation::nb_calls, newgen_Psysteme, NIL, phi_elimination_stat, pips_assert, pips_debug, pips_user_warning, predicate_translation_stat, preference_reference, print_region, psi_to_phi_region(), reference_p, reference_undefined_p, reg_sc_debug(), region, region_action, region_any_reference, region_approximation_tag, region_cell, region_dup(), region_entity, region_exact_p, region_remove_beta_variables(), region_remove_phi_variables(), region_sc_append(), region_sc_append_and_normalize(), region_system, region_system_, region_translation_close(), region_translation_init(), region_translation_of_predicate(), region_undefined, sc_creer_base(), sc_safe_append(), scalar_to_array_stat, scalar_to_scalar_stat, size_elt_1, size_elt_2, statistics_p, storage_formal_p, value_ne, and value_zero_p.

Here is the call graph for this function:

region_translation_close()

static void region_translation_close ( )

static

do not free the real declaration

do not free the real declaration

Definition at line 457 of file translation.c.

{
    if (dim_1_assumed)
    {
        /* do not free the real declaration */
        dimension_lower(dims_1[dim_1-1]) = expression_undefined;
        free_dimension(dims_1[dim_1-1]);
    }
    if (dim_2_assumed)
    {
        /* do not free the real declaration */
        dimension_lower(dims_2[dim_2-1]) = expression_undefined;
        free_dimension(dims_2[dim_2-1]);
    }
}

References dim_1, dim_1_assumed, dim_2, dim_2_assumed, dimension_lower, dims_1, dims_2, expression_undefined, and free_dimension().

Referenced by region_translation().

Here is the call graph for this function:

Here is the caller graph for this function:

region_translation_init()

void region_translation_init	(	entity	ent_1,
		reference	rf_1,
		entity	ent_2,
		reference	rf_2,
		Value	offset_1_m_2
	)

relative sizes of elements

Parameters

ent_1	nt_1
rf_1	f_1
ent_2	nt_2
rf_2	f_2
offset_1_m_2	ffset_1_m_2

Definition at line 362 of file translation.c.

{
    array_1 = ent_1;
    array_2 = ent_2;
    ref_1 = rf_1;
    ref_2 = rf_2;
    reference_p =
      !(reference_undefined_p(ref_1) && reference_undefined_p(ref_2));
    offset = offset_1_m_2;
 
    dim_1 = NumberOfDimension(array_1);
    dim_2 = NumberOfDimension(array_2);
 
    if (statistics_p) mat_dim_stat[dim_1][dim_2]++;
 
    size_elt_1 = int_to_value(SizeOfElements(
        variable_basic(type_variable(entity_type(array_1)))));
    size_elt_2 = int_to_value(SizeOfElements(
        variable_basic(type_variable(entity_type(array_2)))));
 
    ifdebug(2)
    {
        pips_debug(2,"before conversion:\n");
        fprint_string_Value(stderr, "size_elt_1 = ", size_elt_1);
        fprint_string_Value(stderr, ", size_elt_2 = ", size_elt_2);
        fprintf(stderr, "\n");
        if(!reference_p)
            fprint_string_Value(stderr, "offset =", offset),
                fprintf(stderr, "\n");
    }
    /* relative sizes of elements */
    if (value_eq(size_elt_1,size_elt_2) &&
        value_zero_p(value_mod(offset,size_elt_1)))
    {
        value_division(offset,size_elt_1);
        size_elt_1 = VALUE_ONE;
        size_elt_2 = VALUE_ONE;
        if (statistics_p) vect_size_ratio_stat[0]++;
    }
    else
        if (value_zero_p(value_mod(size_elt_1,size_elt_2)) &&
            value_zero_p(value_mod(offset,size_elt_2)))
        {
            value_division(offset,size_elt_2);
            value_division(size_elt_1,size_elt_2);
            size_elt_2 = VALUE_ONE;
            if (statistics_p)
            {
                if (value_eq(size_elt_1, VALUE_CONST(1)))
                    vect_size_ratio_stat[0]++;
                else if (value_eq(size_elt_1, VALUE_CONST(2)))
                    vect_size_ratio_stat[1]++;
                else if (value_eq(size_elt_1, VALUE_CONST(4)))
                    vect_size_ratio_stat[3]++;
            }
        }
        else
            if (value_zero_p(value_mod(size_elt_2,size_elt_1)) &&
                value_zero_p(value_mod(offset,size_elt_1)))
            {
                value_division(offset,size_elt_1);
                value_division(size_elt_2,size_elt_1);
                size_elt_1 = VALUE_ONE;
                if (statistics_p)
                {
                    if (value_eq(size_elt_2, VALUE_CONST(1)))
                        vect_size_ratio_stat[0]++;
                    else if (value_eq(size_elt_2, VALUE_CONST(2)))
                        vect_size_ratio_stat[1]++;
                    else if (value_eq(size_elt_2, VALUE_CONST(4)))
                        vect_size_ratio_stat[3]++;
                }
            }
 
    if (statistics_p && value_zero_p(offset) && !reference_p) zero_offset_stat++;
 
 
    ifdebug(2)
    {
        pips_debug(2,"after conversion:\n");
        fprint_string_Value(stderr, "size_elt_1 = ", size_elt_1);
        fprint_string_Value(stderr, ", size_elt_2 = ", size_elt_2);
        fprintf(stderr, "\n");
        if(!reference_p)
            fprint_string_Value(stderr, "offset =", offset),
                fprintf(stderr, "\n");
    }
 
    dim_1_assumed = dims_array_init(array_1, dims_1, dim_1);
    dim_2_assumed = dims_array_init(array_2, dims_2, dim_2);
 
}

References array_1, array_2, dim_1, dim_1_assumed, dim_2, dim_2_assumed, dims_1, dims_2, dims_array_init(), entity_type, fprint_string_Value(), fprintf(), ifdebug, int_to_value, mat_dim_stat, NumberOfDimension(), offset, pips_debug, ref_1, ref_2, reference_p, reference_undefined_p, size_elt_1, size_elt_2, SizeOfElements(), statistics_p, type_variable, VALUE_CONST, value_division, value_eq, value_mod, VALUE_ONE, value_zero_p, variable_basic, vect_size_ratio_stat, and zero_offset_stat.

Referenced by region_translation().

Here is the call graph for this function:

Here is the caller graph for this function:

region_translation_of_predicate()

static void region_translation_of_predicate ( region  reg, entity  to_func  )

static

Referenced by region_translation().

Here is the caller graph for this function:

region_translation_statistics_close()

void region_translation_statistics_close	(	const char *	mod_name,
		const char *	prefix
	)

inputs

other ratios

translation

Parameters

mod_name	od_name
prefix	refix

Definition at line 212 of file translation.c.

{
    FILE *fp;
    string filename;
    int i,j,total;
 
    if (!statistics_p) return;
 
    filename = "inter_trans_stat";
    filename = strdup(concatenate(db_get_current_workspace_directory(), "/",
                                  mod_name, ".", prefix, "_", filename, 0));
 
    fp = safe_fopen(filename, "w");
    fprintf(fp,"%s", mod_name);
 
    /* inputs */
    fprintf(fp, " %d %d %d %d", scalar_to_scalar_stat, scalar_to_array_stat,
            array_to_array_stat, zero_offset_stat);
 
    for (i=0; i<8; i++)
        for (j=0; j<8; j++)
            fprintf(fp, " %d", mat_dim_stat[i][j]);
 
    for (i=0; i<4; i++)
        fprintf(fp, " %d", vect_size_ratio_stat[i]);
 
    /* other ratios */
    for (total = 0, i=0; i<4; i++)
        total = total + vect_size_ratio_stat[i];
    fprintf(fp, " %d", scalar_to_array_stat + array_to_array_stat - total);
 
    /* translation */
    fprintf(fp, " %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d",
            common_dimension_stat.nb_calls,
            common_dimension_stat.all_similar,
            common_dimension_stat.not_same_decl,
            common_dimension_stat.non_linear_decl,
 
            linearization_stat.nb_calls,
            linearization_stat.exact,
            linearization_stat.non_linear_decl,
            linearization_stat.non_linear_system,
 
            remaining_dimension_stat.nb,
            remaining_dimension_stat.exact,
            remaining_dimension_stat.non_linear_decl_or_offset,
 
            beta_elimination_stat.nb_calls,
            beta_elimination_stat.exact_input,
            beta_elimination_stat.exact,
 
            phi_elimination_stat.nb_calls,
            phi_elimination_stat.exact_input,
            phi_elimination_stat.exact,
 
            predicate_translation_stat.nb_calls,
            predicate_translation_stat.exact_input,
            predicate_translation_stat.exact);
 
    fprintf(fp,"\n");
    safe_fclose(fp, filename);
    free(filename);
}

References Common_Dimension_Stat::all_similar, array_to_array_stat, beta_elimination_stat, common_dimension_stat, concatenate(), db_get_current_workspace_directory(), Linearization_Stat::exact, Remaining_Dimension_Stat::exact, Beta_Elimination_Stat::exact, Phi_Elimination_Stat::exact, Predicate_Translation::exact, Beta_Elimination_Stat::exact_input, Phi_Elimination_Stat::exact_input, Predicate_Translation::exact_input, fprintf(), free(), linearization_stat, mat_dim_stat, Remaining_Dimension_Stat::nb, Common_Dimension_Stat::nb_calls, Linearization_Stat::nb_calls, Beta_Elimination_Stat::nb_calls, Phi_Elimination_Stat::nb_calls, Predicate_Translation::nb_calls, Common_Dimension_Stat::non_linear_decl, Linearization_Stat::non_linear_decl, Remaining_Dimension_Stat::non_linear_decl_or_offset, Linearization_Stat::non_linear_system, Common_Dimension_Stat::not_same_decl, phi_elimination_stat, predicate_translation_stat, prefix, remaining_dimension_stat, safe_fclose(), safe_fopen(), scalar_to_array_stat, scalar_to_scalar_stat, statistics_p, strdup(), vect_size_ratio_stat, and zero_offset_stat.

Referenced by reset_convex_rw_regions().

Here is the call graph for this function:

Here is the caller graph for this function:

region_translation_statistics_init()

void region_translation_statistics_init

(

bool

stat_p

)

initialization and closing

translation.c

Parameters

stat_p

tat_p

Definition at line 162 of file translation.c.

{
    int i,j;
 
    statistics_p = stat_p;
 
    if (!statistics_p)
        return;
 
    for (i=0; i<8; i++)
        for (j=0; j<8; j++)
            mat_dim_stat[i][j] = 0;
 
    for (i=0; i<4; i++)
        vect_size_ratio_stat[i] = 0;
 
    zero_offset_stat = 0;
    scalar_to_scalar_stat = 0;
    scalar_to_array_stat = 0;
    array_to_array_stat = 0;
 
    common_dimension_stat.nb_calls = 0;
    common_dimension_stat.all_similar = 0;
    common_dimension_stat.not_same_decl = 0;
    common_dimension_stat.non_linear_decl = 0;
 
    linearization_stat.nb_calls = 0;
    linearization_stat.exact = 0;
    linearization_stat.non_linear_decl = 0;
    linearization_stat.non_linear_system = 0;
 
    remaining_dimension_stat.nb = 0;
    remaining_dimension_stat.exact = 0;
    remaining_dimension_stat.non_linear_decl_or_offset = 0;
 
    beta_elimination_stat.nb_calls = 0;
    beta_elimination_stat.exact_input = 0;
    beta_elimination_stat.exact = 0;
 
    phi_elimination_stat.nb_calls = 0;
    phi_elimination_stat.exact_input = 0;
    phi_elimination_stat.exact = 0;
 
    predicate_translation_stat.nb_calls = 0;
    predicate_translation_stat.exact_input = 0;
    predicate_translation_stat.exact = 0;
 
}

References Common_Dimension_Stat::all_similar, array_to_array_stat, beta_elimination_stat, common_dimension_stat, Linearization_Stat::exact, Remaining_Dimension_Stat::exact, Beta_Elimination_Stat::exact, Phi_Elimination_Stat::exact, Predicate_Translation::exact, Beta_Elimination_Stat::exact_input, Phi_Elimination_Stat::exact_input, Predicate_Translation::exact_input, linearization_stat, mat_dim_stat, Remaining_Dimension_Stat::nb, Common_Dimension_Stat::nb_calls, Linearization_Stat::nb_calls, Beta_Elimination_Stat::nb_calls, Phi_Elimination_Stat::nb_calls, Predicate_Translation::nb_calls, Common_Dimension_Stat::non_linear_decl, Linearization_Stat::non_linear_decl, Remaining_Dimension_Stat::non_linear_decl_or_offset, Linearization_Stat::non_linear_system, Common_Dimension_Stat::not_same_decl, phi_elimination_stat, predicate_translation_stat, remaining_dimension_stat, scalar_to_array_stat, scalar_to_scalar_stat, statistics_p, vect_size_ratio_stat, and zero_offset_stat.

Referenced by init_convex_rw_regions().

Here is the caller graph for this function:

some_phi_variable()

static bool some_phi_variable ( Pcontrainte  c )

static

Definition at line 475 of file translation.c.

{
  for (; c; c=c->succ)
    if (vect_contains_phi_p(c->vecteur))
      return true;
  return false;
}

References Scontrainte::succ, vect_contains_phi_p(), and Scontrainte::vecteur.

Referenced by append_declaration_sc_if_exact_without_constraints().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

array_1

entity array_1

static

Local variables and functions to avoid multiple computations

Definition at line 280 of file translation.c.

Referenced by region_translation(), and region_translation_init().

array_2

entity array_2

static

Definition at line 280 of file translation.c.

Referenced by region_translation(), and region_translation_init().

array_to_array_stat

int array_to_array_stat

static

Definition at line 111 of file translation.c.

Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().

beta_elimination_stat

struct Beta_Elimination_Stat beta_elimination_stat

static

Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().

common_dimension_stat

struct Common_Dimension_Stat common_dimension_stat

static

Referenced by region_translation_statistics_close(), and region_translation_statistics_init().

dim_1

int dim_1

static

Definition at line 284 of file translation.c.

Referenced by region_translation_close(), and region_translation_init().

dim_1_assumed

bool dim_1_assumed

static

Definition at line 287 of file translation.c.

Referenced by region_translation_close(), and region_translation_init().

dim_2

int dim_2

static

Definition at line 284 of file translation.c.

Referenced by region_translation(), region_translation_close(), and region_translation_init().

dim_2_assumed

bool dim_2_assumed

static

Definition at line 287 of file translation.c.

Referenced by region_translation_close(), and region_translation_init().

dims_1

dimension dims_1[NB_MAX_ARRAY_DIM]

static

Definition at line 286 of file translation.c.

Referenced by region_translation_close(), and region_translation_init().

dims_2

dimension dims_2[NB_MAX_ARRAY_DIM]

static

Definition at line 286 of file translation.c.

Referenced by region_translation(), region_translation_close(), and region_translation_init().

linearization_stat

struct Linearization_Stat linearization_stat

static

Referenced by region_translation_statistics_close(), and region_translation_statistics_init().

mat_dim_stat

int mat_dim_stat[8][8]

static

inputs

Definition at line 104 of file translation.c.

Referenced by region_translation_init(), region_translation_statistics_close(), and region_translation_statistics_init().

offset

Value offset

static

Definition at line 283 of file translation.c.

Referenced by common_members_of_module(), common_region_translation(), ComputeAreaOffset(), convert_bound_expression(), declarations_to_dimensions(), declare_common_variables_in_module(), do_array_expansion(), do_grouping_replace_reference_by_expression(), do_terapix_warmup_patching(), FindParameterEntity(), gen_external_member(), gen_member(), gen_or(), generate_load_statement(), generate_mmcd_stat_from_ref(), generate_mmcd_stats_from_ref(), generate_save_statement(), generate_struct_members(), generic_make_entity_copy_with_new_name(), get_final_offset(), gfc2pips_computeAdressesOfArea(), gfc2pips_computeEquiv(), gfc2pips_symbol2data_instruction(), isolate_patch_reference(), make_scalar_entity(), MakeParameterList(), normalize_microcode(), offset_of_struct(), outliner_patch_parameters(), region_to_minimal_dimensions(), region_translation_init(), safe_fseek(), sort_parameters(), supported_ref_p(), test_flt(), test_rwt(), text_equivalence_class(), tile_hyperplane_constraints(), tile_membership_constraints(), UpdateEntity(), valuer(), and verify_formal_and_common_variables().

phi_elimination_stat

struct Phi_Elimination_Stat phi_elimination_stat

static

Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().

predicate_translation_stat

struct Predicate_Translation predicate_translation_stat

static

Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().

ref_1

reference ref_1

static

Definition at line 281 of file translation.c.

Referenced by region_translation_init().

ref_2

reference ref_2

static

Definition at line 281 of file translation.c.

Referenced by region_translation_init().

reference_p

bool reference_p

static

Definition at line 282 of file translation.c.

Referenced by region_translation(), and region_translation_init().

remaining_dimension_stat

struct Remaining_Dimension_Stat remaining_dimension_stat

static

Referenced by region_translation_statistics_close(), and region_translation_statistics_init().

scalar_to_array_stat

int scalar_to_array_stat

static

Definition at line 110 of file translation.c.

Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().

scalar_to_scalar_stat

int scalar_to_scalar_stat

static

number cases in which the offset is nul

Definition at line 109 of file translation.c.

Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().

size_elt_1

Value size_elt_1

static

Definition at line 285 of file translation.c.

Referenced by region_translation(), region_translation_init(), and text_equivalence_class().

size_elt_2

Value size_elt_2

static

Definition at line 285 of file translation.c.

Referenced by region_translation(), and region_translation_init().

statistics_p

bool statistics_p

static

STATISTICS

Definition at line 101 of file translation.c.

Referenced by region_translation(), region_translation_init(), region_translation_statistics_close(), and region_translation_statistics_init().

vect_size_ratio_stat

int vect_size_ratio_stat[4]

static

correspondances between source and target array number of dimensions

Definition at line 106 of file translation.c.

Referenced by region_translation_init(), region_translation_statistics_close(), and region_translation_statistics_init().

zero_offset_stat

int zero_offset_stat

static

size ratio after normalization

Definition at line 107 of file translation.c.

Referenced by region_translation_init(), region_translation_statistics_close(), and region_translation_statistics_init().