PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_alias_associations_ |
struct | _newgen_struct_alias_association_ |
struct | _newgen_struct_call_site_ |
struct | _newgen_struct_dynamic_check_ |
Typedefs | |
typedef struct _newgen_struct_entity_ * | entity |
typedef struct _newgen_struct_expression_ * | expression |
typedef struct _newgen_struct_alias_associations_ * | alias_associations |
typedef struct _newgen_struct_alias_association_ * | alias_association |
typedef struct _newgen_struct_call_site_ * | call_site |
typedef struct _newgen_struct_dynamic_check_ * | dynamic_check |
#define _gen_alias_private_start 170 |
Definition at line 3 of file alias_private.h.
#define _newgen_alias_association_domain_defined_ |
Definition at line 34 of file alias_private.h.
#define _newgen_alias_associations_domain_defined_ |
Definition at line 26 of file alias_private.h.
#define _newgen_call_site_domain_defined_ |
Definition at line 42 of file alias_private.h.
#define _newgen_dynamic_check_domain_defined_ |
Definition at line 50 of file alias_private.h.
#define _newgen_entity_domain_defined_ |
Definition at line 11 of file alias_private.h.
#define _newgen_expression_domain_defined_ |
newgen_entity_domain_defined
Definition at line 18 of file alias_private.h.
#define ALIAS_ASSOCIATION | ( | x | ) | ((alias_association)((x).p)) |
ALIAS_ASSOCIATION.
Definition at line 90 of file alias_private.h.
Definition at line 93 of file alias_private.h.
Definition at line 134 of file alias_private.h.
#define alias_association_call_chain_ | ( | x | ) | alias_association_call_chain(x) /**old hack compatible */ |
Definition at line 133 of file alias_private.h.
#define alias_association_CAST | ( | x | ) | ALIAS_ASSOCIATION(x) |
Definition at line 91 of file alias_private.h.
#define ALIAS_ASSOCIATION_CAST | ( | x | ) | ALIAS_ASSOCIATION(x) |
Definition at line 92 of file alias_private.h.
#define alias_association_domain (_gen_alias_private_start+1) |
newgen_alias_associations_domain_defined
Definition at line 32 of file alias_private.h.
Definition at line 122 of file alias_private.h.
Definition at line 130 of file alias_private.h.
#define alias_association_lower_offset_ | ( | x | ) | alias_association_lower_offset(x) /**old hack compatible */ |
Definition at line 129 of file alias_private.h.
#define ALIAS_ASSOCIATION_NEWGEN_DOMAIN (alias_association_domain) |
Definition at line 35 of file alias_private.h.
#define alias_association_NEWGEN_DOMAIN (alias_association_domain) |
Definition at line 36 of file alias_private.h.
Definition at line 128 of file alias_private.h.
#define alias_association_offset_ | ( | x | ) | alias_association_offset(x) /**old hack compatible */ |
Definition at line 127 of file alias_private.h.
Definition at line 126 of file alias_private.h.
#define alias_association_section_ | ( | x | ) | alias_association_section(x) /**old hack compatible */ |
Definition at line 125 of file alias_private.h.
#define ALIAS_ASSOCIATION_TYPE alias_association |
Definition at line 94 of file alias_private.h.
#define alias_association_TYPE alias_association |
Definition at line 95 of file alias_private.h.
#define alias_association_undefined ((alias_association)gen_chunk_undefined) |
Definition at line 96 of file alias_private.h.
#define alias_association_undefined_p | ( | x | ) | ((x)==alias_association_undefined) |
Definition at line 97 of file alias_private.h.
Definition at line 132 of file alias_private.h.
#define alias_association_upper_offset_ | ( | x | ) | alias_association_upper_offset(x) /**old hack compatible */ |
Definition at line 131 of file alias_private.h.
Definition at line 124 of file alias_private.h.
#define alias_association_variable_ | ( | x | ) | alias_association_variable(x) /**old hack compatible */ |
Definition at line 123 of file alias_private.h.
#define ALIAS_ASSOCIATIONS | ( | x | ) | ((alias_associations)((x).p)) |
newgen_dynamic_check_domain_defined
ALIAS_ASSOCIATIONS
Definition at line 58 of file alias_private.h.
Definition at line 61 of file alias_private.h.
#define alias_associations_CAST | ( | x | ) | ALIAS_ASSOCIATIONS(x) |
Definition at line 59 of file alias_private.h.
#define ALIAS_ASSOCIATIONS_CAST | ( | x | ) | ALIAS_ASSOCIATIONS(x) |
Definition at line 60 of file alias_private.h.
#define alias_associations_domain (_gen_alias_private_start+0) |
newgen_expression_domain_defined
Definition at line 24 of file alias_private.h.
Definition at line 85 of file alias_private.h.
Definition at line 86 of file alias_private.h.
#define ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN (alias_associations_domain) |
Definition at line 27 of file alias_private.h.
#define alias_associations_NEWGEN_DOMAIN (alias_associations_domain) |
Definition at line 28 of file alias_private.h.
#define ALIAS_ASSOCIATIONS_TYPE alias_associations |
Definition at line 62 of file alias_private.h.
#define alias_associations_TYPE alias_associations |
Definition at line 63 of file alias_private.h.
#define alias_associations_undefined ((alias_associations)gen_chunk_undefined) |
Definition at line 64 of file alias_private.h.
#define alias_associations_undefined_p | ( | x | ) | ((x)==alias_associations_undefined) |
Definition at line 65 of file alias_private.h.
#define alias_private_spec "\--NEWGEN-START 170\n\import entity from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\alias_associations = list:alias_association*;\n\alias_association = variable:entity x section:entity x offset:expression x lower_offset:int x upper_offset:int x call_chain:call_site*;\n\call_site = function:entity x ordering:int;\n\dynamic_check = first:entity x second:entity x checked:bool;\n\" |
Definition at line 211 of file alias_private.h.
CALL_SITE.
Definition at line 138 of file alias_private.h.
Definition at line 141 of file alias_private.h.
Definition at line 139 of file alias_private.h.
Definition at line 140 of file alias_private.h.
#define call_site_domain (_gen_alias_private_start+2) |
newgen_alias_association_domain_defined
Definition at line 40 of file alias_private.h.
Definition at line 166 of file alias_private.h.
Definition at line 168 of file alias_private.h.
#define call_site_function_ | ( | x | ) | call_site_function(x) /**old hack compatible */ |
Definition at line 167 of file alias_private.h.
#define CALL_SITE_NEWGEN_DOMAIN (call_site_domain) |
Definition at line 43 of file alias_private.h.
#define call_site_NEWGEN_DOMAIN (call_site_domain) |
Definition at line 44 of file alias_private.h.
Definition at line 170 of file alias_private.h.
#define call_site_ordering_ | ( | x | ) | call_site_ordering(x) /**old hack compatible */ |
Definition at line 169 of file alias_private.h.
#define CALL_SITE_TYPE call_site |
Definition at line 142 of file alias_private.h.
#define call_site_TYPE call_site |
Definition at line 143 of file alias_private.h.
#define call_site_undefined ((call_site)gen_chunk_undefined) |
Definition at line 144 of file alias_private.h.
#define call_site_undefined_p | ( | x | ) | ((x)==call_site_undefined) |
Definition at line 145 of file alias_private.h.
#define DYNAMIC_CHECK | ( | x | ) | ((dynamic_check)((x).p)) |
DYNAMIC_CHECK.
Definition at line 174 of file alias_private.h.
Definition at line 177 of file alias_private.h.
#define dynamic_check_CAST | ( | x | ) | DYNAMIC_CHECK(x) |
Definition at line 175 of file alias_private.h.
#define DYNAMIC_CHECK_CAST | ( | x | ) | DYNAMIC_CHECK(x) |
Definition at line 176 of file alias_private.h.
Definition at line 209 of file alias_private.h.
#define dynamic_check_checked_ | ( | x | ) | dynamic_check_checked(x) /**old hack compatible */ |
Definition at line 208 of file alias_private.h.
#define dynamic_check_domain (_gen_alias_private_start+3) |
newgen_call_site_domain_defined
Definition at line 48 of file alias_private.h.
Definition at line 203 of file alias_private.h.
Definition at line 205 of file alias_private.h.
#define dynamic_check_first_ | ( | x | ) | dynamic_check_first(x) /**old hack compatible */ |
Definition at line 204 of file alias_private.h.
#define DYNAMIC_CHECK_NEWGEN_DOMAIN (dynamic_check_domain) |
Definition at line 51 of file alias_private.h.
#define dynamic_check_NEWGEN_DOMAIN (dynamic_check_domain) |
Definition at line 52 of file alias_private.h.
Definition at line 207 of file alias_private.h.
#define dynamic_check_second_ | ( | x | ) | dynamic_check_second(x) /**old hack compatible */ |
Definition at line 206 of file alias_private.h.
#define DYNAMIC_CHECK_TYPE dynamic_check |
Definition at line 178 of file alias_private.h.
#define dynamic_check_TYPE dynamic_check |
Definition at line 179 of file alias_private.h.
#define dynamic_check_undefined ((dynamic_check)gen_chunk_undefined) |
Definition at line 180 of file alias_private.h.
#define dynamic_check_undefined_p | ( | x | ) | ((x)==dynamic_check_undefined) |
Definition at line 181 of file alias_private.h.
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
Definition at line 12 of file alias_private.h.
#define entity_NEWGEN_DOMAIN (entity_domain) |
Definition at line 13 of file alias_private.h.
#define EXPRESSION_NEWGEN_DOMAIN (expression_domain) |
Definition at line 19 of file alias_private.h.
#define expression_NEWGEN_DOMAIN (expression_domain) |
Definition at line 20 of file alias_private.h.
#define gen_ALIAS_ASSOCIATION_cons gen_alias_association_cons |
Definition at line 104 of file alias_private.h.
#define gen_ALIAS_ASSOCIATIONS_cons gen_alias_associations_cons |
Definition at line 72 of file alias_private.h.
#define gen_CALL_SITE_cons gen_call_site_cons |
Definition at line 152 of file alias_private.h.
#define gen_DYNAMIC_CHECK_cons gen_dynamic_check_cons |
Definition at line 188 of file alias_private.h.
typedef struct _newgen_struct_alias_association_* alias_association |
Definition at line 37 of file alias_private.h.
typedef struct _newgen_struct_alias_associations_* alias_associations |
Definition at line 29 of file alias_private.h.
typedef struct _newgen_struct_call_site_* call_site |
Definition at line 45 of file alias_private.h.
typedef struct _newgen_struct_dynamic_check_* dynamic_check |
Definition at line 53 of file alias_private.h.
typedef struct _newgen_struct_entity_* entity |
Definition at line 14 of file alias_private.h.
typedef struct _newgen_struct_expression_* expression |
Definition at line 21 of file alias_private.h.
void alias_association_assign_contents | ( | alias_association | r, |
alias_association | v | ||
) |
Definition at line 77 of file alias_private.c.
References alias_association_defined_p(), check_alias_association(), and message_assert.
bool alias_association_consistent_p | ( | alias_association | p | ) |
Definition at line 67 of file alias_private.c.
References check_alias_association(), and gen_consistent_p().
Referenced by formal_variable_add_aliases(), ram_variable_add_aliases(), and same_or_equivalence_argument_add_aliases().
bool alias_association_defined_p | ( | alias_association | p | ) |
Definition at line 71 of file alias_private.c.
References gen_defined_p().
Referenced by alias_association_assign_contents().
void alias_association_non_recursive_free | ( | alias_association | p | ) |
Definition at line 84 of file alias_private.c.
References free().
void alias_associations_assign_contents | ( | alias_associations | r, |
alias_associations | v | ||
) |
Definition at line 35 of file alias_private.c.
References alias_associations_defined_p(), check_alias_associations(), and message_assert.
bool alias_associations_consistent_p | ( | alias_associations | p | ) |
Definition at line 25 of file alias_private.c.
References check_alias_associations(), and gen_consistent_p().
bool alias_associations_defined_p | ( | alias_associations | p | ) |
Definition at line 29 of file alias_private.c.
References gen_defined_p().
Referenced by alias_associations_assign_contents().
void alias_associations_non_recursive_free | ( | alias_associations | p | ) |
Definition at line 42 of file alias_private.c.
References free().
Definition at line 119 of file alias_private.c.
References call_site_defined_p(), check_call_site(), and message_assert.
Definition at line 109 of file alias_private.c.
References check_call_site(), and gen_consistent_p().
Referenced by add_aliases_for_current_call_site().
Definition at line 113 of file alias_private.c.
References gen_defined_p().
Referenced by call_site_assign_contents().
void call_site_non_recursive_free | ( | call_site | p | ) |
Definition at line 126 of file alias_private.c.
References free().
alias_association check_alias_association | ( | alias_association | p | ) |
Definition at line 64 of file alias_private.c.
References alias_association_domain, and gen_check().
Referenced by alias_association_assign_contents(), and alias_association_consistent_p().
alias_associations check_alias_associations | ( | alias_associations | p | ) |
Definition at line 22 of file alias_private.c.
References alias_associations_domain, and gen_check().
Referenced by alias_associations_assign_contents(), and alias_associations_consistent_p().
Definition at line 106 of file alias_private.c.
References call_site_domain, and gen_check().
Referenced by call_site_assign_contents(), and call_site_consistent_p().
dynamic_check check_dynamic_check | ( | dynamic_check | p | ) |
Definition at line 148 of file alias_private.c.
References dynamic_check_domain, and gen_check().
Referenced by dynamic_check_assign_contents(), and dynamic_check_consistent_p().
alias_association copy_alias_association | ( | alias_association | p | ) |
ALIAS_ASSOCIATION.
Definition at line 58 of file alias_private.c.
References gen_copy_tree().
alias_associations copy_alias_associations | ( | alias_associations | p | ) |
ALIAS_ASSOCIATIONS.
Definition at line 16 of file alias_private.c.
References gen_copy_tree().
CALL_SITE.
Definition at line 100 of file alias_private.c.
References gen_copy_tree().
dynamic_check copy_dynamic_check | ( | dynamic_check | p | ) |
DYNAMIC_CHECK.
Definition at line 142 of file alias_private.c.
References gen_copy_tree().
void dynamic_check_assign_contents | ( | dynamic_check | r, |
dynamic_check | v | ||
) |
Definition at line 161 of file alias_private.c.
References check_dynamic_check(), dynamic_check_defined_p(), and message_assert.
bool dynamic_check_consistent_p | ( | dynamic_check | p | ) |
Definition at line 151 of file alias_private.c.
References check_dynamic_check(), and gen_consistent_p().
bool dynamic_check_defined_p | ( | dynamic_check | p | ) |
Definition at line 155 of file alias_private.c.
References gen_defined_p().
Referenced by dynamic_check_assign_contents().
void dynamic_check_non_recursive_free | ( | dynamic_check | p | ) |
Definition at line 168 of file alias_private.c.
References free().
void free_alias_association | ( | alias_association | p | ) |
Definition at line 61 of file alias_private.c.
References gen_free().
void free_alias_associations | ( | alias_associations | p | ) |
Definition at line 19 of file alias_private.c.
References gen_free().
void free_call_site | ( | call_site | p | ) |
Definition at line 103 of file alias_private.c.
References gen_free().
void free_dynamic_check | ( | dynamic_check | p | ) |
Definition at line 145 of file alias_private.c.
References gen_free().
list gen_alias_association_cons | ( | alias_association | p, |
list | l | ||
) |
Definition at line 74 of file alias_private.c.
References ALIAS_ASSOCIATION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_alias_associations_cons | ( | alias_associations | p, |
list | l | ||
) |
Definition at line 32 of file alias_private.c.
References ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 116 of file alias_private.c.
References CALL_SITE_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_dynamic_check_cons | ( | dynamic_check | p, |
list | l | ||
) |
Definition at line 158 of file alias_private.c.
References DYNAMIC_CHECK_NEWGEN_DOMAIN, and gen_typed_cons().
alias_association make_alias_association | ( | entity | a1, |
entity | a2, | ||
expression | a3, | ||
intptr_t | a4, | ||
intptr_t | a5, | ||
list | a6 | ||
) |
Definition at line 94 of file alias_private.c.
References alias_association_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by formal_variable_add_aliases(), ram_variable_add_aliases(), and same_or_equivalence_argument_add_aliases().
alias_associations make_alias_associations | ( | list | a | ) |
Definition at line 52 of file alias_private.c.
References alias_associations_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by alias_propagation().
Definition at line 136 of file alias_private.c.
References call_site_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by add_aliases_for_current_call_site().
dynamic_check make_dynamic_check | ( | entity | a1, |
entity | a2, | ||
bool | a3 | ||
) |
Definition at line 178 of file alias_private.c.
References dynamic_check_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by init_dynamic_check_list(), and initialize_dynamic_check_list().
alias_association read_alias_association | ( | FILE * | f | ) |
Definition at line 91 of file alias_private.c.
References f(), and gen_read().
alias_associations read_alias_associations | ( | FILE * | f | ) |
Definition at line 49 of file alias_private.c.
References f(), and gen_read().
call_site read_call_site | ( | FILE * | f | ) |
Definition at line 133 of file alias_private.c.
References f(), and gen_read().
dynamic_check read_dynamic_check | ( | FILE * | f | ) |
Definition at line 175 of file alias_private.c.
References f(), and gen_read().
void write_alias_association | ( | FILE * | f, |
alias_association | p | ||
) |
Definition at line 88 of file alias_private.c.
References f(), and gen_write().
void write_alias_associations | ( | FILE * | f, |
alias_associations | p | ||
) |
Definition at line 46 of file alias_private.c.
References f(), and gen_write().
void write_call_site | ( | FILE * | f, |
call_site | p | ||
) |
Definition at line 130 of file alias_private.c.
References f(), and gen_write().
void write_dynamic_check | ( | FILE * | f, |
dynamic_check | p | ||
) |
Definition at line 172 of file alias_private.c.
References f(), and gen_write().