/*

  $Id$

  Copyright 1989-2016 MINES ParisTech

  This file is part of PIPS.

  PIPS is free software: you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  any later version.

  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
  WARRANTY; without even the implied warranty of MERCHANTABILITY or
  FITNESS FOR A PARTICULAR PURPOSE.

  See the GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with PIPS.  If not, see <http://www.gnu.org/licenses/>.

*/
#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
/* -- utils.c
 *
 * package atomizer :  Alexis Platonoff, juillet 91
 * --
 *
 * Miscellaneous functions
 */

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

#define NLC_PREFIX 			"NLC"
#define ENTITY_NLC_P(e) (strncmp(entity_local_name(e), NLC_PREFIX, 3) == 0)




/*============================================================================*/
/* bool instruction_in_list_p(instruction inst, list l): Returns true if "inst"
 * is in "l".
 *
 * Note: "l" must be a list of instructions.
 */
bool instruction_in_list_p(inst, l)
instruction inst;
list l;
{
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);
}



/*============================================================================*/
/* 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
 */
bool nlc_linear_expression_p(exp)
expression exp;
{
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);
}