27 #include "pips_config.h"
47 #include "resources.h"
65 #define PREFIX_DEC "$DEC"
83 debug_on(
"FORMAL_ARRAY_RESIZING_BOTTOM_UP_DEBUG_LEVEL");
84 debug(1,
" Begin bottom up formal array resizing for %s\n", mod_name);
88 user_log(
"\n-------------------------------------------------------------------------------------\n");
89 user_log(
"Prefix \tFile \tModule \tArray \tNdim \tNew declaration\tOld declaration\n");
90 user_log(
"---------------------------------------------------------------------------------------\n");
100 region reg = find_union_regions(l_regions,e);
101 new_array_declaration_from_region(reg,e,pre);
104 l_decl =
CDR(l_decl);
106 user_log(
" \n The total number of right array declarations : %d \n"
109 debug(1,
"End bottom up formal array resizing for %s\n", mod_name);
void user_log(const char *format,...)
struct _newgen_struct_statement_ * statement
#define region
simulation of the type region
void set_rw_effects(statement_effects)
list load_rw_effects_list(statement)
void reset_rw_effects(void)
#define ENDP(l)
Test if a list is empty.
#define NIL
The empty list (nil in Lisp)
#define CAR(pcons)
Get the value of the first element of a list.
#define CDR(pcons)
Get the list less its first element.
string db_get_memory_resource(const char *rname, const char *oname, bool pure)
Return the pointer to the resource, whatever it is.
#define DB_PUT_MEMORY_RESOURCE(res_name, own_name, res_val)
conform to old interface.
void debug(const int the_expected_debug_level, const char *calling_function_name, const char *a_message_format,...)
ARARGS0.
code entity_code(entity e)
entity module_name_to_entity(const char *mn)
This is an alias for local_name_to_top_level_entity.
bool unnormalized_array_p(entity e)
#define storage_formal_p(x)
#define entity_storage(x)
#define code_declarations(x)
#define transformer_relation(x)
#define predicate_system(x)
transformer load_statement_precondition(statement)
void reset_precondition_map(void)
void set_precondition_map(statement_mapping)
The structure used to build lists in NewGen.