PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "ri-util.h"
#include "effects-util.h"
#include "database.h"
#include "pipsdbm.h"
#include "resources.h"
#include "misc.h"
#include "control.h"
#include "properties.h"
#include "semantics.h"
#include "transformer.h"
#include "pipsmake.h"
#include "abc_private.h"
#include "effects-generic.h"
#include "effects-convex.h"
#include "effects-simple.h"
#include "conversion.h"
#include "text-util.h"
#include "transformations.h"
Go to the source code of this file.
Macros | |
#define | PREFIX_DEC "$DEC" |
Functions | |
bool | formal_array_resizing_bottom_up (char *mod_name) |
This phase do array resizing for unnormalized and formal arguments only. More... | |
Variables | |
static int | number_of_right_array_declarations = 0 |
for words_to_string More... | |
static string | current_mod ="" |
#define PREFIX_DEC "$DEC" |
Definition at line 65 of file formal_array_resizing_bottom_up.c.
bool formal_array_resizing_bottom_up | ( | char * | mod_name | ) |
This phase do array resizing for unnormalized and formal arguments only.
So we only need SUMMARY_REGIONS
Definition at line 70 of file formal_array_resizing_bottom_up.c.
References CAR, CDR, code_declarations, current_mod, db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug(), debug_off, debug_on, ENDP, ENTITY, entity_code(), entity_storage, load_rw_effects_list(), load_statement_precondition(), mod_ent, module_name_to_entity(), NIL, number_of_right_array_declarations, predicate_system, region, regions_end(), regions_init(), reset_precondition_map(), reset_rw_effects(), set_precondition_map(), set_rw_effects(), storage_formal_p, transformer_relation, unnormalized_array_p(), and user_log().
|
static |
Definition at line 63 of file formal_array_resizing_bottom_up.c.
Referenced by formal_array_resizing_bottom_up().
|
static |
for words_to_string
Definition at line 62 of file formal_array_resizing_bottom_up.c.
Referenced by formal_array_resizing_bottom_up().