io.c File Reference

#include <stdio.h>
#include "genC.h"
#include "misc.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "transformer.h"

Include dependency graph for io.c:

Go to the source code of this file.

Functions
transformer	print_transformer (transformer tf)
	package transformer - IOs More...
transformer	print_any_transformer (transformer tf)
	For debugging without problem from temporary values. More...
list	print_transformers (list tl)
transformer	fprint_transformer (FILE *fd, transformer tf, get_variable_name_t value_name)
list	fprint_transformers (FILE *fd, list tl, get_variable_name_t value_name)
char *	dump_value_name (entity e)
	char * dump_value_name(e): used as functional argument because entity_name is a macro More...
void	dump_transformer (transformer tf)

Function Documentation

dump_transformer()

void dump_transformer

(

transformer

tf

)

Parameters

tf

f

Definition at line 134 of file io.c.

{
    (void) fprint_transformer(stderr, tf, (get_variable_name_t) dump_value_name);
}

References dump_value_name(), and fprint_transformer().

Here is the call graph for this function:

dump_value_name()

char* dump_value_name

(

entity

e

)

char * dump_value_name(e): used as functional argument because entity_name is a macro

FI: should be moved in ri-util/entity.c

Definition at line 128 of file io.c.

{
    return entity_name(e);
}

References entity_name.

Referenced by check_range_wrt_precondition(), dump_transformer(), fortran_user_call_to_transformer(), print_value_mappings(), transformer_combine(), and translate_global_values().

Here is the caller graph for this function:

fprint_transformer()

transformer fprint_transformer	(	FILE *	fd,
		transformer	tf,
		get_variable_name_t	value_name
	)

print_transformer returns an int to be compatible with the debug() function; however, debug being a function and not a macro, its arguments are ALWAYS evaluated regardless of the debug level; so a call to print_transformer passed as an argument to debug is ALWAYS effective

print argument list

print relation

Parameters

fd	d
tf	f
value_name	alue_name

Definition at line 69 of file io.c.

{
  /* print_transformer returns an int to be compatible with the debug()
     function; however, debug being a function and not a macro, its
     arguments are ALWAYS evaluated regardless of the debug level;
     so a call to print_transformer passed as an argument to debug
     is ALWAYS effective */
 
  if(tf==transformer_undefined)
    (void) fprintf(stderr,"TRANSFORMER UNDEFINED\n");
  // For debugging with gdb, dynamic type checking
  else if((transformer_domain_number(tf))!=transformer_domain) {
    (void) fprintf(stderr,"Arg. \"tf\"is not a transformer.\n");
  }
  else {
    cons * args = transformer_arguments(tf);
    Psysteme sc = (Psysteme) predicate_system(transformer_relation(tf));
 
    /* print argument list */
    (void) fprintf(fd,"arguments:");
    print_homogeneous_arguments(args, (const char* (*) (entity))value_name);
 
    /* print relation */
    if(SC_UNDEFINED_P(sc))
      pips_internal_error("undefined relation");
    (void) fprintf(fd,"\nrelation:");
    sc_fprint(fd,
              sc,
              value_name);
  }
 
  return tf;
}

References fprintf(), pips_internal_error, predicate_system, print_homogeneous_arguments(), sc_fprint(), transformer_arguments, transformer_domain, transformer_domain_number, transformer_relation, and transformer_undefined.

Referenced by complete_loop_transformer(), complete_loop_transformer_list(), dump_transformer(), expression_equal_in_context_p(), expression_less_than_in_context(), fprint_transformers(), loop_to_transformer(), old_complete_whileloop_transformer(), print_any_transformer(), print_transformer(), standard_whileloop_to_transformer(), transformer_derivative_fix_point(), transformer_equality_fix_point(), transformer_filter(), transformer_list_generic_transitive_closure(), transformer_normalize(), transformer_pattern_fix_point(), and transformer_projection_with_redundancy_elimination_and_check().

Here is the call graph for this function:

Here is the caller graph for this function:

fprint_transformers()

list fprint_transformers	(	FILE *	fd,
		list	tl,
		get_variable_name_t	value_name
	)

Parameters

fd	d
tl	l
value_name	alue_name

Definition at line 105 of file io.c.

{
  if(ENDP(tl)) {
    // FI: I changed my mind; this is a way to represent a non
    //feasible transformer
    //pips_internal_error("transformer lists should never be empty.");
    fprintf(fd, "Empty transformer list\n");
  }
  else {
    FOREACH(TRANSFORMER, tf, tl) {
      fprint_transformer(fd, tf, value_name);
    }
  }
  return tl;
}

References ENDP, FOREACH, fprint_transformer(), fprintf(), and TRANSFORMER.

Referenced by print_transformers().

Here is the call graph for this function:

Here is the caller graph for this function:

print_any_transformer()

transformer print_any_transformer

(

transformer

tf

)

For debugging without problem from temporary values.

Parameters

tf

f

Definition at line 56 of file io.c.

{
    return fprint_transformer(stderr, tf,
                              (get_variable_name_t) entity_local_name);
}

References entity_local_name(), and fprint_transformer().

Here is the call graph for this function:

print_transformer()

transformer print_transformer

(

transformer

tf

)

package transformer - IOs

io.c

Francois Irigoin, 21 April 1990 print_transformer(tf): not a macro because of dbx and gdb

Parameters

tf

f

Definition at line 48 of file io.c.

{
  (void) fprint_transformer(stderr, tf,
                            (get_variable_name_t) external_value_name);
  return tf;
}

References external_value_name(), and fprint_transformer().

Here is the call graph for this function:

print_transformers()

list print_transformers

(

list

tl

)

Parameters

tl

l

Definition at line 62 of file io.c.

{
    return fprint_transformers(stderr, tl,
                               (get_variable_name_t) external_value_name);
}

References external_value_name(), and fprint_transformers().

Referenced by any_assign_to_transformer_list(), any_basic_update_to_transformer_list(), any_update_to_transformer_list(), block_to_transformer_list(), complete_any_loop_transformer_list(), declaration_to_transformer_list(), instruction_to_transformer_list(), integer_assign_to_transformer_list(), statement_to_transformer_list(), test_to_transformer_list(), and transformer_list_generic_transitive_closure().

Here is the call graph for this function:

Here is the caller graph for this function: