utils.c File Reference

#include "local.h"
#include "prettyprint.h"

Include dependency graph for utils.c:

Go to the source code of this file.

Macros
#define	NLC_PREFIX   "NLC"
	– utils.c More...
#define	ENTITY_NLC_P(e)   (strncmp(entity_local_name(e), NLC_PREFIX, 3) == 0)

Functions
bool	instruction_in_list_p (instruction inst, list l)
	=========================================================================== More...
bool	nlc_linear_expression_p (expression exp)
	=========================================================================== More...

Macro Definition Documentation

ENTITY_NLC_P

#define ENTITY_NLC_P

(

e

)

(strncmp(entity_local_name(e), NLC_PREFIX, 3) == 0)

Definition at line 39 of file utils.c.

NLC_PREFIX

#define NLC_PREFIX   "NLC"

– utils.c

package atomizer : Alexis Platonoff, juillet 91

Miscellaneous functions

Definition at line 38 of file utils.c.

Function Documentation

instruction_in_list_p()

bool instruction_in_list_p	(	instruction	inst,
		list	l
	)

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

utils.c

bool instruction_in_list_p(instruction inst, list l): Returns true if "inst" is in "l".

Note: "l" must be a list of instructions.

Parameters

inst

nst

Definition at line 50 of file utils.c.

{
bool not_found = true;
 
while((not_found) && (l != NIL))
  {
  instruction current_inst = INSTRUCTION(CAR(l));
  if (inst == current_inst)
    not_found = false;
  else
    l = CDR(l);
  }
return (! not_found);
}

References CAR, CDR, INSTRUCTION, and NIL.

Referenced by modify_blocks().

Here is the caller graph for this function:

nlc_linear_expression_p()

bool nlc_linear_expression_p

(

expression

exp

)

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

bool nlc_linear_expression_p(expression exp): returns true if "exp" is an integer linear expression with only NLCs variables.

NLC means Normalized Loop Counter.

Called functions : _ unnormalize_expression() : loop_normalize/utils.c

We unnormalize the expression, otherwise, it causes an error when we normalize an expression with sub-expressions already normalized. (cf. NormalizedExpression() in normalize/normalize.c).

This unnormalization is done recursively upon all the sub-expressions of "exp".

Parameters

exp

xp

Definition at line 78 of file utils.c.

{
Pvecteur vect;
bool ONLY_NLCs;
 
pips_debug(7, "exp : %s\n", expression_to_string(exp));
 
if(normalized_tag(NORMALIZE_EXPRESSION(exp)) == is_normalized_complex)
  ONLY_NLCs = false;
else
  {
  vect = (Pvecteur) normalized_linear(expression_normalized(exp));
  ONLY_NLCs = true;
 
  for(; !VECTEUR_NUL_P(vect) && ONLY_NLCs ; vect = vect->succ)
    {
    entity var = (entity) vect->var;
 
    if( ! term_cst(vect) )
      if( ! (ENTITY_NLC_P(var)) )
        ONLY_NLCs = false;
    }
  }
 
/* We unnormalize the expression, otherwise, it causes an error when we
 * normalize an expression with sub-expressions already normalized.
 * (cf. NormalizedExpression() in normalize/normalize.c).
 *
 * This unnormalization is done recursively upon all the sub-expressions of
 * "exp".
 */
unnormalize_expression(exp);
 
debug(7, "nlc_linear_expression_p", "   result : %d\n", ONLY_NLCs);
 
return(ONLY_NLCs);
}

References debug(), ENTITY_NLC_P, exp, expression_normalized, expression_to_string(), is_normalized_complex, NORMALIZE_EXPRESSION, normalized_linear, normalized_tag, pips_debug, Svecteur::succ, term_cst, unnormalize_expression(), Svecteur::var, and VECTEUR_NUL_P.

Referenced by atomizer_of_expression(), and atomizer_of_intrinsic().

Here is the call graph for this function:

Here is the caller graph for this function: