PIPS
|
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 *) |
#define spear_error | ( | ... | ) | spear_log_func(CURRENT_FUNCTION, __FILE__, __LINE__, spear_error_log, __VA_ARGS__) |
Definition at line 26 of file modeling.h.
#define spear_warning | ( | ... | ) | spear_log_func(CURRENT_FUNCTION, __FILE__, __LINE__, spear_warning_log, __VA_ARGS__) |
Definition at line 29 of file modeling.h.
typedef struct nest_context_t * nest_context_p |
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);
exp | xp |
ps | s |
val | al |
min | in |
max | ax |
Definition at line 3469 of file xml_prettyprinter.c.
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().
char* pointer_to_initial_name | ( | char * | , |
char * | |||
) |
bool print_claire_code | ( | const char * | ) |
bool print_claire_code_with_explicit_motif | ( | const char * | ) |
bool print_xml_application | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 6243 of file xml_prettyprinter.c.
References generic_print_xml_application(), and module_name().
bool print_xml_application_main | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 6249 of file xml_prettyprinter.c.
References generic_print_xml_application(), and module_name().
bool print_xml_application_main_with_points_to | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 6254 of file xml_prettyprinter.c.
References db_get_memory_resource(), generic_print_xml_application(), module_name(), reset_pt_to_list(), and set_pt_to_list().
bool print_xml_application_with_points_to | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 6234 of file xml_prettyprinter.c.
References db_get_memory_resource(), generic_print_xml_application(), module_name(), reset_pt_to_list(), and set_pt_to_list().
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
module_name | odule_name |
Definition at line 1888 of file xml_prettyprinter.c.
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().
bool print_xml_code_with_explicit_motif | ( | const char * | module_name | ) |
save to file
module_name | odule_name |
Definition at line 1162 of file xml_prettyprinter.c.
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().
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, ...)"
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.
References spear_log_alist().
start | tart |
end | nd |
Definition at line 2673 of file xml_prettyprinter.c.
References end, malloc(), and start.
Referenced by pointer_to_initial_name().