constraint_to_text.c File Reference

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

Include dependency graph for constraint_to_text.c:

Go to the source code of this file.

Functions
void	sc_syst_debug (Psysteme s)
	constraint_to_text.c More...
void	inegalite_debug (Pcontrainte c)
void	egalite_debug (Pcontrainte c)
static string	the_operator (bool is_inegalite, bool a_la_fortran)
static void	add_Value_to_current_line (string buffer, Value v, string continuation, text t)
static void	constante_to_textline (string buffer, Value constante, bool is_inegalite, bool a_la_fortran, string continuation, text t)
static void	unsigned_operation_to_textline (string buffer, Value coeff, Variable var, char *(*variable_name)(Variable), string continuation, text t)
static void	signed_operation_to_textline (string buffer, string signe, Value coeff, Variable var, char *(*variable_name)(Variable), string continuation, text t)
static char *	contrainte_to_text_1 (string buffer, string continuation, text txt, Pvecteur v, bool is_inegalite, char *(*variable_name)(Variable), bool a_la_fortran, bool __attribute__((unused)) first_line)
static string	contrainte_to_text_2 (string buffer, string continuation, text txt, Pvecteur v, bool is_inegalite, string(*variable_name)(Variable), bool a_la_fortran, bool __attribute__((unused)) first_line)
	FI: does not take into account constant floating point terms. More...
string	contrainte_text_format (string aux_line, string continuation, text txt, Pcontrainte c, bool is_inegalite, string(*variable_name)(Variable), bool a_la_fortran, bool first_line)
string	egalite_text_format (string aux_line, string continuation, text txt, Pcontrainte eg, string(*variable_name)(Variable), bool a_la_fortran, bool first_line)
string	inegalite_text_format (string aux_line, string continuation, text txt, Pcontrainte ineg, string(*variable_name)(), bool a_la_fortran, bool first_line)
static void	add_separation (string line, string prefix, text txt, bool a_la_fortran)
static bool	contraintes_text_format (string line, string prefix, text txt, Pcontrainte cs, string(*variable_name)(Variable), bool invert_put_first, bool(*put_first)(Pvecteur), bool some_previous, bool is_inegalites, bool a_la_fortran)
void	system_sorted_text_format (string line, string prefix, text txt, Psysteme ps, string(*variable_name)(Variable), bool(*put_first)(Pvecteur), bool a_la_fortran)
	lower level hook for regions. More...
void	system_text_format (string line, string prefix, text txt, Psysteme ps, string(*variable_name)(Variable), bool a_la_fortran)
	appends ps to line/txt with prefix continuations. More...
void	entity_list_text_format (string line, string continuation, text t, list le, const char *(*var_name)(entity))
	appends the list of entity... More...

Function Documentation

add_separation()

static void add_separation ( string  line, string  prefix, text  txt, bool  a_la_fortran  )

static

Definition at line 350 of file constraint_to_text.c.

{
  add_to_current_line(line, a_la_fortran? ".AND.": ", ", prefix, txt);
}

References add_to_current_line(), line, and prefix.

Referenced by contraintes_text_format().

Here is the call graph for this function:

Here is the caller graph for this function:

add_Value_to_current_line()

static void add_Value_to_current_line ( string  buffer, Value  v, string  continuation, text  t  )

static

Definition at line 70 of file constraint_to_text.c.

{
  add_to_current_line(buffer, Value_to_string(v), continuation, t);
}

References add_to_current_line(), buffer, continuation, and Value_to_string().

Referenced by constante_to_textline(), contrainte_to_text_2(), and unsigned_operation_to_textline().

Here is the call graph for this function:

Here is the caller graph for this function:

constante_to_textline()

static void constante_to_textline ( string  buffer, Value  constante, bool  is_inegalite, bool  a_la_fortran, string  continuation, text  t  )

static

Definition at line 80 of file constraint_to_text.c.

{
  add_to_current_line(buffer, the_operator(is_inegalite, a_la_fortran),
                      continuation, t);
  add_Value_to_current_line(buffer, constante, continuation, t);
}

References add_to_current_line(), add_Value_to_current_line(), buffer, continuation, and the_operator().

Referenced by contrainte_to_text_1().

Here is the call graph for this function:

Here is the caller graph for this function:

contrainte_text_format()

string contrainte_text_format	(	string	aux_line,
		string	continuation,
		text	txt,
		Pcontrainte	c,
		bool	is_inegalite,
		string(*)(Variable)	variable_name,
		bool	a_la_fortran,
		bool	first_line
	)

Parameters

aux_line	ux_line
continuation	ontinuation
txt	xt
is_inegalite	s_inegalite
a_la_fortran	_la_fortran
first_line	irst_line

Definition at line 285 of file constraint_to_text.c.

{
  Pvecteur v;
  int heuristique = 2;
 
  if (!CONTRAINTE_UNDEFINED_P(c))
    v = contrainte_vecteur(c);
  else
    v = VECTEUR_NUL;
 
  pips_assert("vector v is okay", vect_check(v));
 
  switch(heuristique) {
  case 1: aux_line = contrainte_to_text_1(aux_line,continuation,txt,
                                          v,is_inegalite, variable_name,
                                          a_la_fortran, first_line);
    break;
  case 2:aux_line = contrainte_to_text_2(aux_line,continuation,txt,v,
                                         is_inegalite, variable_name,
                                         a_la_fortran, first_line);
    break;
  default: contrainte_error("contrainte_sprint", "unknown heuristics\n");
  }
 
  return aux_line;
}

References continuation, contrainte_error(), contrainte_to_text_1(), contrainte_to_text_2(), CONTRAINTE_UNDEFINED_P, contrainte_vecteur, pips_assert, variable_name(), vect_check(), and VECTEUR_NUL.

Referenced by contraintes_text_format(), egalite_text_format(), and inegalite_text_format().

Here is the call graph for this function:

Here is the caller graph for this function:

contrainte_to_text_1()

static char* contrainte_to_text_1 ( string  buffer, string  continuation, text  txt, Pvecteur  v, bool  is_inegalite, char *(*)(Variable)  variable_name, bool  a_la_fortran, bool __attribute__((unused))  first_line  )

static

on admet plusieurs occurences du terme constant!?!

Definition at line 123 of file constraint_to_text.c.

{
  short int debut = 1;
  Value constante = VALUE_ZERO;
 
  while (!VECTEUR_NUL_P(v))
  {
    Variable var = var_of(v);
    Value coeff = val_of(v);
 
    if (var!=TCST) {
      string signe;
 
      if (value_notzero_p(coeff)) {
        if (value_pos_p(coeff))
          signe =  "+";
        else {
          signe = "-";
          coeff = value_uminus(coeff);
        };
        if (value_pos_p(coeff) && debut)
          unsigned_operation_to_textline(buffer,coeff, var,
                                         variable_name,
                                         continuation, txt);
        else
          signed_operation_to_textline(buffer, signe, coeff,
                                       var, variable_name,
                                       continuation, txt);
        debut = 0;
      }
    }
    else
      /* on admet plusieurs occurences du terme constant!?! */
      value_addto(constante, coeff);
 
    v = v->succ;
  }
  constante_to_textline(buffer,value_uminus(constante),is_inegalite,
                        a_la_fortran, continuation, txt);
  return buffer;
}

References buffer, constante_to_textline(), continuation, signed_operation_to_textline(), Svecteur::succ, TCST, unsigned_operation_to_textline(), val_of, value_addto, value_notzero_p, value_pos_p, value_uminus, VALUE_ZERO, var_of, variable_name(), and VECTEUR_NUL_P.

Referenced by contrainte_text_format().

Here is the call graph for this function:

Here is the caller graph for this function:

contrainte_to_text_2()

static string contrainte_to_text_2 ( string  buffer, string  continuation, text  txt, Pvecteur  v, bool  is_inegalite, string(*)(Variable)  variable_name, bool  a_la_fortran, bool __attribute__((unused))  first_line  )

static

FI: does not take into account constant floating point terms.

No easy modification. I give up for the time being. 25 July 2011.

Save the constant term for future use

And now, a lie... In fact, rhs_terms++

Definition at line 178 of file constraint_to_text.c.

{
  Pvecteur coord;
  short int debut = true;
  int positive_terms = 0;
  int negative_terms = 0;
  Value const_coeff = 0;
  bool const_coeff_p = false;
  string signe;
 
  if(!is_inegalite) {
    for(coord = v; !VECTEUR_NUL_P(coord); coord = coord->succ) {
      if(vecteur_var(coord)!= TCST
         && !entity_constant_p((entity)vecteur_var(coord)))
        (value_pos_p(vecteur_val(coord))) ?
          positive_terms++ :  negative_terms++;
    }
 
    if(negative_terms > positive_terms)
      vect_chg_sgn(v);
  }
 
  positive_terms = 0;
  negative_terms = 0;
 
  for(coord = v; !VECTEUR_NUL_P(coord); coord = coord->succ) {
    Value coeff = vecteur_val(coord);
    Variable var = vecteur_var(coord);
 
    if (value_pos_p(coeff)) {
      positive_terms++;
      if(!term_cst(coord)|| is_inegalite)
      {
        signe =  "+";
        if (debut)
          unsigned_operation_to_textline(buffer, coeff, var, variable_name,
                                         continuation, txt);
        else
          signed_operation_to_textline(buffer,signe, coeff,var,variable_name,
                                       continuation, txt);
        debut=false;
      }
      else  positive_terms--;
    }
  }
 
  if(positive_terms == 0)
    add_to_current_line(buffer, "0", continuation, txt);
 
  add_to_current_line(buffer, the_operator(is_inegalite, a_la_fortran),
                      continuation, txt);
 
  debut = true;
  for(coord = v; !VECTEUR_NUL_P(coord); coord = coord->succ)
  {
    Value coeff = vecteur_val(coord);
    Variable var = var_of(coord);
 
    if(term_cst(coord) && !is_inegalite) {
      /* Save the constant term for future use */
      const_coeff_p = true;
      const_coeff = coeff;
      /* And now, a lie... In fact, rhs_terms++ */
      negative_terms++;
    }
    else if (value_neg_p(coeff))
    {
      negative_terms++;
      signe = "+";
      if (debut) {
        unsigned_operation_to_textline
          (buffer, value_uminus(coeff), var, variable_name,
           continuation, txt);
        debut=false;
      }
      else
        signed_operation_to_textline
          (buffer, signe, value_uminus(coeff),var, variable_name,
           continuation, txt);
    }
  }
 
  if(negative_terms == 0)
    add_to_current_line(buffer, "0", continuation, txt);
 
  else if(const_coeff_p)
  {
    pips_assert("const coeff not zero", value_notzero_p(const_coeff));
    if  (!debut && value_neg_p(const_coeff))
      add_to_current_line(buffer, "+", continuation, txt);
    add_Value_to_current_line(buffer, value_uminus(const_coeff),
                              continuation, txt);
  }
 
  return buffer;
}

References add_to_current_line(), add_Value_to_current_line(), buffer, continuation, entity_constant_p, pips_assert, signed_operation_to_textline(), Svecteur::succ, TCST, term_cst, the_operator(), unsigned_operation_to_textline(), value_neg_p, value_notzero_p, value_pos_p, value_uminus, var_of, variable_name(), vect_chg_sgn(), VECTEUR_NUL_P, vecteur_val, and vecteur_var.

Referenced by contrainte_text_format().

Here is the call graph for this function:

Here is the caller graph for this function:

contraintes_text_format()

static bool contraintes_text_format ( string  line, string  prefix, text  txt, Pcontrainte  cs, string(*)(Variable)  variable_name, bool  invert_put_first, bool(*)(Pvecteur)  put_first, bool  some_previous, bool  is_inegalites, bool  a_la_fortran  )

static

Parameters

prefix	current buffer
txt	for continuations
cs	formed text
variable_name	contraintes to be printed
invert_put_first	hook for naming a variable
put_first	whether to invert put_first
some_previous	whether to put first some constraints
is_inegalites	whether a separator is needed
a_la_fortran	egalites or inegalites fortran look?

Definition at line 356 of file constraint_to_text.c.

{
  for (; cs; cs=cs->succ)
  {
    if (put_first? (invert_put_first ^ put_first(cs->vecteur)): true)
    {
      if (some_previous) add_separation(line, prefix, txt, a_la_fortran);
      else some_previous = true;
 
      if (a_la_fortran)
        add_to_current_line(line, "(", prefix, txt);
 
      contrainte_text_format(line, prefix, txt, cs, is_inegalites,
                             variable_name, false, a_la_fortran);
 
      if (a_la_fortran)
        add_to_current_line(line, ")", prefix, txt);
    }
  }
  return some_previous;
}

References add_separation(), add_to_current_line(), contrainte_text_format(), line, prefix, Scontrainte::succ, variable_name(), and Scontrainte::vecteur.

Referenced by system_sorted_text_format().

Here is the call graph for this function:

Here is the caller graph for this function:

egalite_debug()

void egalite_debug

(

Pcontrainte

c

)

Definition at line 58 of file constraint_to_text.c.

{
  egalite_fprint(stderr, c, (get_variable_name_t) entity_local_name);
}

References egalite_fprint(), and entity_local_name().

Referenced by sc_projection_optim_along_vecteur_ofl().

Here is the call graph for this function:

Here is the caller graph for this function:

egalite_text_format()

string egalite_text_format	(	string	aux_line,
		string	continuation,
		text	txt,
		Pcontrainte	eg,
		string(*)(Variable)	variable_name,
		bool	a_la_fortran,
		bool	first_line
	)

Parameters

aux_line	ux_line
continuation	ontinuation
txt	xt
eg	g
a_la_fortran	_la_fortran
first_line	irst_line

Definition at line 321 of file constraint_to_text.c.

{
  return contrainte_text_format(aux_line,continuation,txt,eg, false,
                                variable_name,a_la_fortran,first_line);
}

References continuation, contrainte_text_format(), and variable_name().

Here is the call graph for this function:

entity_list_text_format()

void entity_list_text_format	(	string	line,
		string	continuation,
		text	t,
		list	le,
		const char *(*)(entity)	var_name
	)

appends the list of entity...

Parameters

le

of entity

Definition at line 468 of file constraint_to_text.c.

{
  if (le)
  {
    int j=0, len = gen_length(le);
    const char ** provi = (const char **) malloc(sizeof(char *) * len);
    bool some_previous = false;
 
    FOREACH(entity, e, le)
      provi[j++] = entity_undefined_p(e)? "undefined...": var_name(e);
 
    qsort(provi, len, sizeof(char**), gen_qsort_string_cmp);
 
    for(j=0; j<len; j++)
    {
      if (some_previous) add_to_current_line(line, ",", continuation, t);
      else some_previous = true;
      add_to_current_line(line, provi[j], continuation, t);
    }
 
    free(provi);
  }
}

References add_to_current_line(), continuation, entity_undefined_p, FOREACH, free(), gen_length(), gen_qsort_string_cmp(), line, and malloc().

Referenced by text_transformer().

Here is the call graph for this function:

Here is the caller graph for this function:

inegalite_debug()

void inegalite_debug

(

Pcontrainte

c

)

Definition at line 53 of file constraint_to_text.c.

{
  inegalite_fprint(stderr, c, (get_variable_name_t) entity_local_name);
}

References entity_local_name(), and inegalite_fprint().

Here is the call graph for this function:

inegalite_text_format()

string inegalite_text_format	(	string	aux_line,
		string	continuation,
		text	txt,
		Pcontrainte	ineg,
		string(*)()	variable_name,
		bool	a_la_fortran,
		bool	first_line
	)

Definition at line 335 of file constraint_to_text.c.

{
  return contrainte_text_format(aux_line,continuation,txt,ineg, true,
                                variable_name,a_la_fortran,first_line);
}

References continuation, contrainte_text_format(), and variable_name().

Here is the call graph for this function:

sc_syst_debug()

void sc_syst_debug

(

Psysteme

s

)

constraint_to_text.c

Definition at line 46 of file constraint_to_text.c.

{
  sc_fprint(stderr, s, (get_variable_name_t) entity_local_name);
}

References entity_local_name(), and sc_fprint().

Referenced by build_and_test_dependence_context(), dependence_cone_positive(), loop_regions_normalize(), region_exact_projection_along_variable(), region_sc_minimal(), regions_may_convex_hull(), regions_must_convex_hull(), sc_projection_optim_along_vecteur_ofl(), TestDependence(), text_transformer(), and unimodular().

Here is the call graph for this function:

Here is the caller graph for this function:

signed_operation_to_textline()

static void signed_operation_to_textline ( string  buffer, string  signe, Value  coeff, Variable  var, char *(*)(Variable)  variable_name, string  continuation, text  t  )

static

Definition at line 108 of file constraint_to_text.c.

{
  add_to_current_line(buffer, signe, continuation, t);
  unsigned_operation_to_textline(buffer,coeff,var,variable_name,
                                 continuation, t);
}

References add_to_current_line(), buffer, continuation, unsigned_operation_to_textline(), and variable_name().

Referenced by contrainte_to_text_1(), and contrainte_to_text_2().

Here is the call graph for this function:

Here is the caller graph for this function:

system_sorted_text_format()

void system_sorted_text_format	(	string	line,
		string	prefix,
		text	txt,
		Psysteme	ps,
		string(*)(Variable)	variable_name,
		bool(*)(Pvecteur)	put_first,
		bool	a_la_fortran
	)

lower level hook for regions.

{

repeat twice: once for first, once for not first.

== / .EQ.

<= / .LE.

}

Parameters

line	ine
prefix	refix
txt	xt
ps	s
a_la_fortran	whether to put a constraints ahead

Definition at line 391 of file constraint_to_text.c.

{
  bool invert, stop, some_previous = false;
 
  if (ps==NULL)
  {
    add_to_current_line(line, get_string_property("SYSTEM_NULL"), prefix, txt);
    return;
  }
  else if (SC_UNDEFINED_P(ps))
  {
    add_to_current_line(line, get_string_property("SYSTEM_UNDEFINED"),
                        prefix, txt);
    return;
  }
  else if (sc_empty_p(ps))
  {
    add_to_current_line(line, get_string_property("SYSTEM_NOT_FEASIBLE"),
                        prefix, txt);
    return;
  }
 
  /* {
   */
  if (!a_la_fortran) add_to_current_line(line, "{", prefix, txt);
 
  /* repeat twice: once for first, once for not first.
   */
  for(invert = false, stop = false; !stop; )
  {
    /* == / .EQ.
     */
    some_previous =
      contraintes_text_format(line, prefix, txt, sc_egalites(ps),
                              variable_name, invert, put_first,
                              some_previous, false, a_la_fortran);
 
    /* <= / .LE.
     */
    some_previous =
      contraintes_text_format(line, prefix, txt, sc_inegalites(ps),
                              variable_name, invert, put_first,
                              some_previous, true, a_la_fortran);
 
    if (invert || !put_first) stop = true;
    invert = true;
  }
 
  /* }
   */
  if (!a_la_fortran) add_to_current_line(line, "}", prefix, txt);
}

References add_to_current_line(), contraintes_text_format(), get_string_property(), line, prefix, sc_empty_p(), and variable_name().

Referenced by system_text_format(), text_pointer_value(), text_points_to_relation(), and text_region_no_action().

Here is the call graph for this function:

Here is the caller graph for this function:

system_text_format()

void system_text_format	(	string	line,
		string	prefix,
		text	txt,
		Psysteme	ps,
		string(*)(Variable)	variable_name,
		bool	a_la_fortran
	)

appends ps to line/txt with prefix continuations.

Parameters

line	ine
prefix	refix
txt	xt
ps	s
a_la_fortran	_la_fortran

Definition at line 453 of file constraint_to_text.c.

{
  system_sorted_text_format
    (line, prefix, txt, ps, variable_name, NULL, a_la_fortran);
}

References line, prefix, system_sorted_text_format(), and variable_name().

Referenced by text_continuation(), and text_transformer().

Here is the call graph for this function:

Here is the caller graph for this function:

the_operator()

static string the_operator ( bool  is_inegalite, bool  a_la_fortran  )

static

Definition at line 63 of file constraint_to_text.c.

{
  return is_inegalite? (a_la_fortran? ".LE.": "<="):
    (a_la_fortran? ".EQ.": "==");
}

Referenced by constante_to_textline(), and contrainte_to_text_2().

Here is the caller graph for this function:

unsigned_operation_to_textline()

static void unsigned_operation_to_textline ( string  buffer, Value  coeff, Variable  var, char *(*)(Variable)  variable_name, string  continuation, text  t  )

static

Definition at line 94 of file constraint_to_text.c.

{
  if (value_notone_p(ABS(coeff)) || var==TCST)
    add_Value_to_current_line(buffer, coeff, continuation, t);
  add_to_current_line(buffer, variable_name(var), continuation, t);
}

References ABS, add_to_current_line(), add_Value_to_current_line(), buffer, continuation, TCST, value_notone_p, and variable_name().

Referenced by contrainte_to_text_1(), contrainte_to_text_2(), and signed_operation_to_textline().

Here is the call graph for this function:

Here is the caller graph for this function: