debug.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "database.h"
#include "ri-util.h"
#include "effects-util.h"
#include "constants.h"
#include "misc.h"
#include "text-util.h"
#include "text.h"
#include "effects-generic.h"
#include "effects-convex.h"

Include dependency graph for debug.c:

Go to the source code of this file.

Macros
#define	MY_MAX_CHECK   VALUE_CONST(100000000)

Functions
bool	region_consistent_p (region reg)
bool	regions_consistent_p (list l_reg)

Macro Definition Documentation

MY_MAX_CHECK

#define MY_MAX_CHECK   VALUE_CONST(100000000)

Function Documentation

region_consistent_p()

bool region_consistent_p

(

region

reg

)

FI->BC: it might be better to use descriptors even for regions linked to store and type declarations. Not much time to think about it now.

the system must be defined

check the Psysteme consistency

the TCST variable must not belong to the base

and there must be no high coefficient (or it should have raised an exception before

Definition at line 50 of file debug.c.

{
#define MY_MAX_CHECK VALUE_CONST(100000000)
  bool consistent = true;
  Psysteme sc;
  Pbase b, t;
  Pcontrainte c;
 
  pips_assert("it is a region",  effect_consistent_p(reg));
 
  /* FI->BC: it might be better to use descriptors even for regions
     linked to store and type declarations. Not much time to think
     about it now. */
  if(!descriptor_none_p(effect_descriptor(reg))) {
    pips_assert("the descriptor is defined",  !descriptor_none_p(effect_descriptor(reg)));
 
    /* the system must be defined */
    consistent = consistent && !SC_UNDEFINED_P(region_system(reg));
    pips_assert("the region system is defined", consistent);
 
    /* check the Psysteme consistency */
    sc = region_system(reg);
    consistent = consistent && sc_weak_consistent_p(sc);
    pips_assert("the region system is consitent", consistent);
 
    /* the TCST variable must not belong to the base */
    b = sc_base(sc);
    for( t = b; !BASE_UNDEFINED_P(t) && consistent; t = t->succ)
      {
        consistent = consistent && !term_cst(t);
      }
    pips_assert("no TCST variable in the base", consistent);
 
 
    /* and there must be no high coefficient (or it should have raised an
     * exception before
     */
    c = sc_egalites(sc);
    while (c != (Pcontrainte) NULL)
      {
        Pvecteur v;
        for(v = c->vecteur; !VECTEUR_NUL_P(v); v = v->succ)
          {
            if (variable_phi_p((entity)vecteur_var(v)))
              pips_assert("no high coefficient for PHI variables in region system.\n",
                          value_lt(vecteur_val(v),MY_MAX_CHECK));
          }
        c = c->succ;
      }
    c = sc_inegalites(sc);
    while (c != (Pcontrainte) NULL)
      {
        Pvecteur v;
        for(v = c->vecteur; !VECTEUR_NUL_P(v); v = v->succ)
          {
            if (variable_phi_p((entity)vecteur_var(v)))
              pips_assert("no high coefficient for PHI variables in region system.\n",
                          value_lt(vecteur_val(v),MY_MAX_CHECK));
          }
        c = c->succ;
      }
  }
  return consistent;
}

References BASE_UNDEFINED_P, descriptor_none_p, effect_consistent_p(), effect_descriptor, MY_MAX_CHECK, pips_assert, region_system, sc_weak_consistent_p(), Scontrainte::succ, Svecteur::succ, term_cst, value_lt, variable_phi_p, Scontrainte::vecteur, VECTEUR_NUL_P, vecteur_val, and vecteur_var.

Referenced by regions_consistent_p(), replace_indices_region(), replace_indices_region_com(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().

Here is the call graph for this function:

Here is the caller graph for this function:

regions_consistent_p()

bool regions_consistent_p

(

list

l_reg

)

Parameters

l_reg

_reg

Definition at line 116 of file debug.c.

{
    bool consistent = true;
    MAP(EFFECT, reg,
        consistent = consistent && region_consistent_p(reg),l_reg);
    return consistent;
}

References EFFECT, MAP, and region_consistent_p().

Here is the call graph for this function: