#include <stdio.h>
#include "linear.h"
#include "genC.h"
#include "misc.h"
#include "ri-util.h"
#include "text-util.h"

Include dependency graph for misc_paf_utils.c:

Macros
#define	STATIC_CONTROLIZE_MODULE_NAME "STATCON"

#define	NLC_PREFIX "NLC"

#define	NSP_PREFIX "NSP"

#define	NUB_PREFIX "NUB"

#define	ADD_ELEMENT_TO_LIST(_list, _type, _element) (_list = gen_nconc( _list, CONS( _type, _element, NIL)))

Functions
list	base_to_list (Pbase b)
	list base_to_list(Pbase v): translates a Pbase into a list of entities, in the same order. More...

Pbase	list_to_base (list l)
	Pbase list_to_base(list l): returns the Pbase that contains the variables of list "l", of entities, in the same order. More...

expression	make_max_exp (entity ent, expression exp1, expression exp2)
	================================================================ More...

entity	make_nlc_entity (int *Gcount_nlc)
	================================================================ More...

entity	make_nsp_entity ()
	entity make_nsp_entity() Makes a new NSP (for New Structural Parameter) . More...

entity	make_nub_entity ()
	================================================================ More...

entity	current_module (entity mod)
	================================================================ More...

bool	undefined_statement_list_p (list l)
	================================================================= More...

entity	expression_int_scalar (expression exp)
	================================================================ More...

entity	scalar_assign_call (call c)
	entity scalar_assign_call((call) c) Detects if the call is an assignement and if the value assigned is a scalar. More...

void	scalar_written_in_call (call the_call, list ell, list etl, list *swfl)
	scalar_written_in_call((call) the_call) Detects and puts a scalar written in an assignement call, in the global list Gscalar_written_forward if Genclosing_loops or Genclosing_tests are not empty. More...

Variables
int	Gcount_nsp
	================================================================ More...

int	Gcount_nub

Macro Definition Documentation

◆ ADD_ELEMENT_TO_LIST

#define ADD_ELEMENT_TO_LIST	(	_list,
		_type,
		_element
	)	(_list = gen_nconc( _list, CONS( _type, _element, NIL)))

Definition at line 263 of file misc_paf_utils.c.

◆ NLC_PREFIX

#define NLC_PREFIX "NLC"

Definition at line 40 of file misc_paf_utils.c.

◆ NSP_PREFIX

#define NSP_PREFIX "NSP"

Definition at line 41 of file misc_paf_utils.c.

◆ NUB_PREFIX

#define NUB_PREFIX "NUB"

Definition at line 42 of file misc_paf_utils.c.

◆ STATIC_CONTROLIZE_MODULE_NAME

#define STATIC_CONTROLIZE_MODULE_NAME "STATCON"

Definition at line 39 of file misc_paf_utils.c.

Function Documentation

◆ base_to_list()

list base_to_list ( Pbase b )

list base_to_list(Pbase v): translates a Pbase into a list of entities, in the same order.

misc_paf_utils.c

Most includes are centralized here.

Definition at line 47 of file misc_paf_utils.c.

 {
  list l = NIL;
  
  for( ; b != NULL; b = b->succ)
    l = gen_nconc(l, CONS(ENTITY, (entity) b->var, NIL));
  
  return(l);
 }

References CONS, ENTITY, gen_nconc(), NIL, Svecteur::succ, and Svecteur::var.

Referenced by apply_farkas(), array_must_fully_written_by_regions_p(), build_first_comb(), build_third_comb(), clean_distributed_io_system(), clean_list_of_unk(), clean_shared_io_system(), copy_write_statement_with_cumulated_regions(), include_time_in_base(), include_trans_on_LC_in_ref(), include_trans_on_LC_in_sc(), include_trans_on_LC_in_sc2(), is_mu_stat_in_sc(), make_causal_external(), make_causal_internal(), make_dual(), make_list_of_unk(), make_primal(), matrix_to_system(), my_matrices_to_constraints_with_sym_cst(), pip_solve_min_with_big(), plc_make_distance(), put_variables_in_ordered_lists(), region_to_com_nest(), region_to_loop_nest(), remapping_variables(), replace_indices_region(), replace_indices_region_com(), valuer(), and vvs_on_polynome().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ current_module()

entity current_module ( entity mod )

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

entity current_module(entity mod): returns the current module entity, that is the entity of the module in which we are working currently. If the entity "mod" is undefined, it returns the static entity already known; Else, the static entity is updated to the entity "mod".

Parameters

mod od

Definition at line 250 of file misc_paf_utils.c.

 {
     static entity current_mod;
  
     debug( 7, "current_module", "doing\n");
     if (mod != entity_undefined) {
         pips_assert("current_module_entity", entity_module_p(mod));
         current_mod = mod;
     }
     return(current_mod);
 }

References current_mod, debug(), entity_module_p(), entity_undefined, and pips_assert.

Here is the call graph for this function:

◆ expression_int_scalar()

entity expression_int_scalar ( expression exp )

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

entity expression_int_scalar((expression) exp) Returns the scalar entity if this expression is a scalar.

Parameters

exp xp

Definition at line 299 of file misc_paf_utils.c.

 {
         syntax  s = expression_syntax( exp );
         tag     t = syntax_tag( s );
         entity  ent = entity_undefined;
  
         debug( 7, "expression_int_scalar", "doing \n");
         switch( t ) {
                 case is_syntax_reference: {
                         entity local;
                         local = reference_variable(syntax_reference(s));
                         if (entity_integer_scalar_p(local)) ent = local;
                         break;
                 }
                 default: break;
         }
         debug( 7, "expression_int_scalar",
                  "returning : %s\n",
                  ((ent == entity_undefined)?"entity_undefined":
                         entity_local_name( ent )) );
         return( ent );
 }

References debug(), entity_integer_scalar_p(), entity_local_name(), entity_undefined, exp, expression_syntax, is_syntax_reference, reference_variable, syntax_reference, and syntax_tag.

Referenced by get_sp_of_call_p(), scalar_assign_call(), and terapix_optimize_accumulator().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ list_to_base()

Pbase list_to_base ( list l )

Pbase list_to_base(list l): returns the Pbase that contains the variables of list "l", of entities, in the same order.

Definition at line 60 of file misc_paf_utils.c.

 {
  Pbase new_b = NULL;
  list el_l;
  
  for(el_l = l ; el_l != NIL; el_l = CDR(el_l))
    vect_add_elem((Pvecteur *) &new_b, (char *) ENTITY(CAR(el_l)), VALUE_ONE);
  
  new_b = base_reversal(new_b);
  return(new_b);
 }

References base_reversal(), CAR, CDR, ENTITY, NIL, VALUE_ONE, and vect_add_elem().

Referenced by adg_dataflowgraph(), analyze_quast(), base_complete(), broadcast_conditions(), broadcast_of_dataflow(), clean_list_of_unk(), completer_base(), completer_n_base(), do_array_expansion(), do_solve_hardware_constraints_on_nb_proc(), extract_lattice(), include_time_in_base(), make_dual(), make_list_of_unk(), make_primal(), mapping_on_broadcast(), partial_broadcast_coefficients(), prepare_reindexing(), rectangularization_region(), search_scc_bdt(), stmt_bdt_directions(), system_inversion_restrict(), and valuer().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_max_exp()

expression make_max_exp	(	entity	ent,
		expression	exp1,
		expression	exp2
	)

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

expression make_max_exp(entity ent, expression exp1, expression exp2) computes MAX( exp1, exp2 ) if exp1 and exp2 are constant expressions. If it is not the case, it returns MAX( exp1, exp2 )

pips_debug(7, "doing MAX( %s, %s ) \n",

expression_to_string(exp1),

expression_to_string(exp2) );

Parameters

ent	nt
exp1	xp1
exp2	xp2

Definition at line 78 of file misc_paf_utils.c.

 {
         expression rexp;
  
         /* pips_debug(7, "doing MAX( %s, %s ) \n", */
         /*        expression_to_string(exp1), */
         /*        expression_to_string(exp2) ); */
         if (expression_constant_p( exp1 ) && expression_constant_p( exp2 )) {
                 int val1 = expression_to_int( exp1 );
                 int val2 = expression_to_int( exp2 );
                 if (val1 > val2) rexp = int_to_expression(val1);
                 else rexp = int_to_expression( val2 );
         }
         else rexp = MakeBinaryCall( ent, exp1, exp2 );
  
         return rexp ;
 }

References expression_constant_p(), expression_to_int(), int_to_expression(), and MakeBinaryCall().

Referenced by loop_normalize_of_loop().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_nlc_entity()

entity make_nlc_entity ( int * Gcount_nlc )

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

entity make_nlc_entity(int *Gcount_nlc):

Returns a new entity. Its local name is "NLC#", where '#' represents the value of "Gcount_nlc". This variable counts the number of NLCs variables.

These entities have a special full name. The first part of it is the concatenation of the define constant STATIC_CONTROLIZE_MODULE_NAME and the local name of the current module.

The type ("basic") of these variables is INTEGER.

These variables are local to the current module, so they have a "storage_ram" with DYNAMIC "area".

NLC means Normalized Loop Counter.

Parameters

Gcount_nlc count_nlc

Definition at line 117 of file misc_paf_utils.c.

 {
         entity  new_ent, mod_ent;
         char    *name, *num;
         entity  dynamic_area;
         ram     new_dynamic_ram;
         
  
         debug( 7, "make_nlc_entity", "doing\n");
         (*Gcount_nlc)++;
         (void) asprintf(&num, "%d", *Gcount_nlc);
  
         mod_ent = get_current_module_entity();
  
         name = strdup(concatenate(STATIC_CONTROLIZE_MODULE_NAME,
                           entity_local_name(mod_ent),
                           MODULE_SEP_STRING, NLC_PREFIX, num, (char *) NULL));
  
         new_ent = make_entity(name,
                       make_type(is_type_variable,
                           make_variable(make_basic(is_basic_int, UUINT(4)),
                                               NIL,NIL)),
                       make_storage(is_storage_ram, ram_undefined),
                       make_value(is_value_unknown, UU));
  
         dynamic_area = FindOrCreateEntity( module_local_name(mod_ent),
                                   DYNAMIC_AREA_LOCAL_NAME);
  
         new_dynamic_ram = make_ram(mod_ent,
                            dynamic_area,
                            current_offset_of_area(dynamic_area, new_ent),
                            NIL);
  
         storage_ram(entity_storage(new_ent)) = new_dynamic_ram;
  
         return(new_ent);
 }

References asprintf, concatenate(), current_offset_of_area(), debug(), dynamic_area, DYNAMIC_AREA_LOCAL_NAME, entity_local_name(), entity_storage, FindOrCreateEntity(), Gcount_nlc, get_current_module_entity(), is_basic_int, is_storage_ram, is_type_variable, is_value_unknown, make_basic(), make_entity, make_ram(), make_storage(), make_type(), make_value(), make_variable(), mod_ent, module_local_name(), MODULE_SEP_STRING, NIL, NLC_PREFIX, num, ram_undefined, STATIC_CONTROLIZE_MODULE_NAME, storage_ram, strdup(), UU, and UUINT.

Referenced by loop_normalize_of_loop().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_nsp_entity()

entity make_nsp_entity ( void )

entity make_nsp_entity() Makes a new NSP (for New Structural Parameter) .

Definition at line 165 of file misc_paf_utils.c.

 {
         entity  new_ent, mod_ent;
         char    *name, *num;
         entity  dynamic_area;
         ram     new_dynamic_ram;
  
         debug( 7, "make_nsp_entity", "doing\n");
         Gcount_nsp++;
         (void) asprintf(&num, "%d", Gcount_nsp);
  
         mod_ent = get_current_module_entity();
  
         name = strdup(concatenate(STATIC_CONTROLIZE_MODULE_NAME,
                           entity_local_name(mod_ent),
                           MODULE_SEP_STRING, NSP_PREFIX, num, (char *) NULL));
  
         new_ent = make_entity(name,
                       make_type(is_type_variable,
                             make_variable(make_basic(is_basic_int, UUINT(4)),
                                               NIL,NIL)),
                       make_storage(is_storage_ram, ram_undefined),
                       make_value(is_value_unknown, UU));
  
         dynamic_area = FindOrCreateEntity( module_local_name(mod_ent),
                                   DYNAMIC_AREA_LOCAL_NAME);
  
         new_dynamic_ram = make_ram(mod_ent,
                            dynamic_area,
                            current_offset_of_area(dynamic_area, new_ent),
                            NIL);
  
         storage_ram(entity_storage(new_ent)) = new_dynamic_ram;
  
         return new_ent;
 }

References asprintf, concatenate(), current_offset_of_area(), debug(), dynamic_area, DYNAMIC_AREA_LOCAL_NAME, entity_local_name(), entity_storage, FindOrCreateEntity(), Gcount_nsp, get_current_module_entity(), is_basic_int, is_storage_ram, is_type_variable, is_value_unknown, make_basic(), make_entity, make_ram(), make_storage(), make_type(), make_value(), make_variable(), mod_ent, module_local_name(), MODULE_SEP_STRING, NIL, NSP_PREFIX, num, ram_undefined, STATIC_CONTROLIZE_MODULE_NAME, storage_ram, strdup(), UU, and UUINT.

Referenced by get_sp_of_call_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_nub_entity()

entity make_nub_entity ( void )

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

entity make_nub_entity() Makes a new NUB (for New Upper Bound) .

Definition at line 206 of file misc_paf_utils.c.

 {
         entity  new_ent, mod_ent;
         char    *name, *num;
         entity  dynamic_area;
         ram     new_dynamic_ram;
  
  
         debug( 7, "make_nub_entity", "doing\n");
         Gcount_nub++;
         (void) asprintf(&num, "%d", Gcount_nub);
  
         mod_ent = get_current_module_entity();
  
         name = strdup(concatenate(STATIC_CONTROLIZE_MODULE_NAME,
                           entity_local_name(mod_ent),
                           MODULE_SEP_STRING, NUB_PREFIX, num, (char *) NULL));
  
         new_ent = make_entity(name,
                       make_type(is_type_variable,
                         make_variable(make_basic(is_basic_int, UUINT(4)),
                                               NIL,NIL)),
                       make_storage(is_storage_ram, ram_undefined),
                       make_value(is_value_unknown, UU));
  
         dynamic_area = FindOrCreateEntity( module_local_name(mod_ent),
                                   DYNAMIC_AREA_LOCAL_NAME);
  
         new_dynamic_ram = make_ram(mod_ent,
                            dynamic_area,
                            current_offset_of_area(dynamic_area, new_ent),
                            NIL);
  
         storage_ram(entity_storage(new_ent)) = new_dynamic_ram;
  
         return new_ent;
 }

References asprintf, concatenate(), current_offset_of_area(), debug(), dynamic_area, DYNAMIC_AREA_LOCAL_NAME, entity_local_name(), entity_storage, FindOrCreateEntity(), Gcount_nub, get_current_module_entity(), is_basic_int, is_storage_ram, is_type_variable, is_value_unknown, make_basic(), make_entity, make_ram(), make_storage(), make_type(), make_value(), make_variable(), mod_ent, module_local_name(), MODULE_SEP_STRING, NIL, NUB_PREFIX, num, ram_undefined, STATIC_CONTROLIZE_MODULE_NAME, storage_ram, strdup(), UU, and UUINT.

Here is the call graph for this function:

◆ scalar_assign_call()

entity scalar_assign_call ( call c )

entity scalar_assign_call((call) c) Detects if the call is an assignement and if the value assigned is a scalar.

If it is so, it returns this scalar.

Definition at line 328 of file misc_paf_utils.c.

 {
    entity ent = entity_undefined;
  
    debug( 7, "scalar_assign_call", "doing \n");
    if (ENTITY_ASSIGN_P(call_function(c)))
         {
         expression lhs;
  
         lhs = binary_call_lhs(c);
         ent = expression_int_scalar( lhs );
         }
    debug( 7, "scalar_assign_call", "returning : %s \n",
         ((ent == entity_undefined)?"entity_undefined":
                                 entity_name(ent)) );
    return( ent );
 }

References binary_call_lhs, call_function, debug(), ENTITY_ASSIGN_P, entity_name, entity_undefined, and expression_int_scalar().

Referenced by scalar_written_in_call(), and sp_feautrier_scalar_assign_call().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ scalar_written_in_call()

void scalar_written_in_call	(	call	the_call,
		list *	ell,
		list *	etl,
		list *	swfl
	)

scalar_written_in_call((call) the_call) Detects and puts a scalar written in an assignement call, in the global list Gscalar_written_forward if Genclosing_loops or Genclosing_tests are not empty.

Parameters

the_call	he_call
ell	ll
etl	tl
swfl	wfl

Definition at line 352 of file misc_paf_utils.c.

 {
    entity ent;
  
    debug( 7, "scalar_written_in_call", "doing\n");
    if (    ((ent = scalar_assign_call(the_call)) != entity_undefined)
         && ( (*ell != NIL) || (*etl != NIL) )
         && entity_integer_scalar_p( ent ) )
  
         ADD_ELEMENT_TO_LIST(*swfl, ENTITY, ent);
 }

References ADD_ELEMENT_TO_LIST, debug(), ENTITY, entity_integer_scalar_p(), entity_undefined, NIL, and scalar_assign_call().

Referenced by loop_normalize_of_statement().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ undefined_statement_list_p()

bool undefined_statement_list_p ( list l )

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

bool undefined_statement_list_p( (list) l ) AL 04/93 Returns true if l is made of 2 undefined or continue statement.

Newgen does not support list of undefined objects

Definition at line 272 of file misc_paf_utils.c.

 {
         bool            local_bool;
         statement       first, second;
  
         debug(7, "undefined_statement_list_p","doing\n");
         if ( (l == NIL) || (gen_length(l) != 2) )
                 return( false );
  
         first = STATEMENT(CAR( l ));
         second = STATEMENT(CAR(CDR( l )));
         local_bool = ( first == statement_undefined )
                      && ( second == statement_undefined );
  
         /* Newgen does not support list of undefined objects */
         if(!local_bool) {
           local_bool = continue_statement_p(first) && continue_statement_p(second);
         }
  
         return( local_bool );
 }