modeling.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	nest_context_t
	Warning! Do not modify this file that is automatically generated! More...

Macros
#define	spear_error(...)    spear_log_func(CURRENT_FUNCTION, __FILE__, __LINE__, spear_error_log, __VA_ARGS__)
#define	spear_warning(...)    spear_log_func(CURRENT_FUNCTION, __FILE__, __LINE__, spear_warning_log, __VA_ARGS__)

Typedefs
typedef struct nest_context_t *	nest_context_p

Functions
void	spear_log_func (const char *, const char *, const int, pips_log_t tag, statement, const string, const string,...)
	cproto-generated files More...
bool	print_claire_code_with_explicit_motif (const char *)
	claire_prettyprinter.c More...
bool	print_claire_code (const char *)
bool	print_xml_code_with_explicit_motif (const char *)
	xml_prettyprinter.c More...
bool	print_xml_code (const char *)
	Initiates xml pretty print modules. More...
char *	str_sub (const char *, int, int)
char *	pointer_to_initial_name (char *, char *)
bool	eval_linear_expression (expression, transformer, int *, int *, int *)
bool	print_xml_application_with_points_to (const char *)
bool	print_xml_application (const char *)
bool	print_xml_application_main (const char *)
bool	print_xml_application_main_with_points_to (const char *)

Macro Definition Documentation

spear_error

#define spear_error

(

...

)

spear_log_func(CURRENT_FUNCTION, __FILE__, __LINE__, spear_error_log, __VA_ARGS__)

Definition at line 26 of file modeling.h.

spear_warning

#define spear_warning

(

...

)

spear_log_func(CURRENT_FUNCTION, __FILE__, __LINE__, spear_warning_log, __VA_ARGS__)

Definition at line 29 of file modeling.h.

Typedef Documentation

nest_context_p

typedef struct nest_context_t * nest_context_p

Function Documentation

eval_linear_expression()

bool eval_linear_expression	(	expression	exp,
		transformer	ps,
		int *	val,
		int *	min,
		int *	max
	)

printf("Eval expression :\n"); print_expression(exp); Psysteme prec = sc_dup((Psysteme) predicate_system(transformer_relation(ps))); printf("In context :\n"); sc_print(prec, (get_variable_name_t) entity_local_name);

Parameters

exp	xp
ps	s
val	al
min	in
max	ax

Definition at line 3469 of file xml_prettyprinter.c.

{
  bool result=true;
  *val = 0;
  *min=0;
  *max=0;
  /* printf("Eval expression :\n");
     print_expression(exp);
     Psysteme prec = sc_dup((Psysteme) predicate_system(transformer_relation(ps)));
     printf("In context :\n");
     sc_print(prec, (get_variable_name_t) entity_local_name);
  */
 
  if (!transformer_undefined_p(ps) && transformer_is_rn_p(ps)) {
    *min=INT_MIN,*max =INT_MAX;
    return(false);
  }
   
  // Should  be part of semantics/utils.c FI
  set_analyzed_types();
  transformer psr=transformer_range(ps);
  type et = compute_basic_concrete_type(expression_to_type(exp));
  if (integer_type_p(et)) {
    integer_expression_and_precondition_to_integer_interval(exp,psr, min,max);
    // DEBUG - printf("Min = %d, Max = %d \n", *min,*max);
  }
  else result = false;
  free_transformer(psr);
  reset_analyzed_types();
  if (*max<*min) {
    *min=INT_MIN,*max =INT_MAX;
    result= false;
  }
  else if (*max==*min && result) {
    *val = *min;
  }
  return (result);
}

References compute_basic_concrete_type(), exp, expression_to_type(), free_transformer(), integer_expression_and_precondition_to_integer_interval(), integer_type_p(), max, min, reset_analyzed_types(), set_analyzed_types(), transformer_is_rn_p(), transformer_range(), and transformer_undefined_p.

Referenced by xml_Argument(), xml_AssignArgument(), xml_Bounds(), and xml_Bounds_and_Stride().

Here is the call graph for this function:

Here is the caller graph for this function:

pointer_to_initial_name()

char* pointer_to_initial_name	(	char *	,
		char *
	)

print_claire_code()

bool print_claire_code

(

const char *

)

print_claire_code_with_explicit_motif()

bool print_claire_code_with_explicit_motif

(

const char *

)

claire_prettyprinter.c

print_xml_application()

bool print_xml_application

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 6243 of file xml_prettyprinter.c.

{
  bool result = generic_print_xml_application(module_name, false);
  return result;
}

References generic_print_xml_application(), and module_name().

Here is the call graph for this function:

print_xml_application_main()

bool print_xml_application_main

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 6249 of file xml_prettyprinter.c.

{
  bool result = generic_print_xml_application(module_name, true);
  return result;
}

References generic_print_xml_application(), and module_name().

Here is the call graph for this function:

print_xml_application_main_with_points_to()

bool print_xml_application_main_with_points_to

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 6254 of file xml_prettyprinter.c.

{
  set_pt_to_list( (statement_points_to)
                   db_get_memory_resource(DBR_POINTS_TO, module_name, true) );
  bool result = generic_print_xml_application(module_name, true);
  reset_pt_to_list();
  return result;
}

References db_get_memory_resource(), generic_print_xml_application(), module_name(), reset_pt_to_list(), and set_pt_to_list().

Here is the call graph for this function:

print_xml_application_with_points_to()

bool print_xml_application_with_points_to

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 6234 of file xml_prettyprinter.c.

{
  set_pt_to_list( (statement_points_to)
                  db_get_memory_resource(DBR_POINTS_TO, module_name, true) );
  bool result = generic_print_xml_application(module_name, false);
  reset_pt_to_list();
  return result;
}

References db_get_memory_resource(), generic_print_xml_application(), module_name(), reset_pt_to_list(), and set_pt_to_list().

Here is the call graph for this function:

print_xml_code()

bool print_xml_code

(

const char *

module_name

)

Initiates xml pretty print modules.

Get the READ and WRITE regions of the module

save to file

Parameters

module_name

odule_name

Definition at line 1888 of file xml_prettyprinter.c.

{
  FILE * out;
  string ppt;
  entity module = module_name_to_entity(module_name);
  string xml = db_build_file_resource_name(DBR_XML_PRINTED_FILE,
                                           module_name, ".xml");
  string  dir = db_get_current_workspace_directory();
  string filename = strdup(concatenate(dir, "/", xml, NULL));
  statement stat=(statement) db_get_memory_resource(DBR_CODE,
                                                    module_name, true);
 
  init_cost_table();
  /* Get the READ and WRITE regions of the module */
  set_rw_effects((statement_effects)
                 db_get_memory_resource(DBR_REGIONS, module_name, true));
 
  set_complexity_map( (statement_mapping)
                      db_get_memory_resource(DBR_COMPLEXITIES, module_name, true));
 
  if(statement_undefined_p(stat))
    {
      pips_internal_error("No statement for module %s", module_name);
    }
  set_current_module_entity(module);
  set_current_module_statement(stat);
 
  debug_on("XMLPRETTYPRINTER_DEBUG_LEVEL");
  pips_debug(1, "Spec validation before xml prettyprinter for %s\n",
             entity_name(module));
  if (valid_specification_p(module,stat)){
    pips_debug(1, "Spec is valid\n");
    pips_debug(1, "Begin XML prettyprinter for %s\n", entity_name(module));
    ppt = xml_code(module, stat);
    pips_debug(1, "end\n");
    debug_off();
    /* save to file */
    out = safe_fopen(filename, "w");
    fprintf(out,"%s",ppt);
    safe_fclose(out, filename);
    free(ppt);
  }
 
  free(dir);
  free(filename);
 
  DB_PUT_FILE_RESOURCE(DBR_XML_PRINTED_FILE, module_name, xml);
 
  reset_current_module_statement();
  reset_current_module_entity();
  reset_complexity_map();
  reset_rw_effects();
  return true;
}

References concatenate(), db_build_file_resource_name(), db_get_current_workspace_directory(), db_get_memory_resource(), DB_PUT_FILE_RESOURCE, debug_off, debug_on, entity_name, fprintf(), free(), init_cost_table(), module, module_name(), module_name_to_entity(), out, pips_debug, pips_internal_error, reset_complexity_map(), reset_current_module_entity(), reset_current_module_statement(), reset_rw_effects(), safe_fclose(), safe_fopen(), set_complexity_map(), set_current_module_entity(), set_current_module_statement(), set_rw_effects(), statement_undefined_p, strdup(), valid_specification_p(), and xml_code().

Here is the call graph for this function:

print_xml_code_with_explicit_motif()

bool print_xml_code_with_explicit_motif

(

const char *

module_name

)

xml_prettyprinter.c

xml_prettyprinter.c

save to file

Parameters

module_name

odule_name

Definition at line 1162 of file xml_prettyprinter.c.

{
  FILE * out;
  string ppt, xml, dir, filename;
  entity module;
  statement stat;
  array_names = gen_array_make(0);
  array_dims = gen_array_make(0);
  xml = db_build_file_resource_name(DBR_XML_PRINTED_FILE, module_name, ".xml");
 
  global_module_name = module_name;
  module = module_name_to_entity(module_name);
  dir = db_get_current_workspace_directory();
  filename = strdup(concatenate(dir, "/", xml, NULL));
  stat = (statement) db_get_memory_resource(DBR_CODE, module_name, true);
 
  if(statement_undefined_p(stat))
    {
      pips_internal_error("No statement for module %s", module_name);
    }
  set_current_module_entity(module);
  set_current_module_statement(stat);
 
  debug_on("XMLPRETTYPRINTER_DEBUG_LEVEL");
  pips_debug(1, "Begin Claire prettyprinter for %s\n", entity_name(module));
  ppt = xml_code_string(module, stat);
  pips_debug(1, "end\n");
  debug_off();
 
  /* save to file */
  out = safe_fopen(filename, "w");
  fprintf(out, "%s", ppt);
  safe_fclose(out, filename);
 
  free(ppt);
  free(dir);
  free(filename);
 
  DB_PUT_FILE_RESOURCE(DBR_XML_PRINTED_FILE, module_name, xml);
 
  reset_current_module_statement();
  reset_current_module_entity();
 
  return true;
}

References array_dims, array_names, concatenate(), db_build_file_resource_name(), db_get_current_workspace_directory(), db_get_memory_resource(), DB_PUT_FILE_RESOURCE, debug_off, debug_on, entity_name, fprintf(), free(), gen_array_make(), global_module_name, module, module_name(), module_name_to_entity(), out, pips_debug, pips_internal_error, reset_current_module_entity(), reset_current_module_statement(), safe_fclose(), safe_fopen(), set_current_module_entity(), set_current_module_statement(), statement_undefined_p, strdup(), and xml_code_string().

Here is the call graph for this function:

spear_log_func()

void spear_log_func	(	const char *	pips_func,
		const char *	pips_file,
		const int	pips_line,
		pips_log_t	tag,
		statement	stat,
		const string	hint,
		const string	format,
			...
	)

cproto-generated files

utils.c

cproto-generated files

this function is not expected to be called directly, but it should be redirected here from a macro "spear_error(stat, hing, fmt, ...)"

Parameters

pips_func	ips_func
pips_file	ips_file
pips_line	ips_line
stat	tat
hint	int
format	ormat

Definition at line 102 of file utils.c.

{
  va_list args;
  va_start(args, format);
  spear_log_alist(pips_func, pips_file, pips_line, tag,
                  stat, hint, format, &args);
  va_end(args);
}

References spear_log_alist().

Here is the call graph for this function:

str_sub()

char* str_sub	(	const char *	s,
		int	start,
		int	end
	)

Parameters

start	tart
end	nd

Definition at line 2673 of file xml_prettyprinter.c.

{
   char *new_s = NULL;
   if (s != NULL && start <= end)
   {
      new_s = malloc (sizeof (*new_s) * (end - start + 2));
      if (new_s != NULL) {
         int i;
         for (i = start; i <= end; i++) {
            new_s[i-start] = s[i];
         }
         new_s[i-start] = '\0';
      }
   }
   return new_s;
}

References end, malloc(), and start.

Referenced by pointer_to_initial_name().

Here is the call graph for this function:

Here is the caller graph for this function: