PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_complexity_ |
struct | _newgen_struct_ifcount_ |
struct | _newgen_struct_rangecount_ |
struct | _newgen_struct_varcount_ |
Typedefs | |
typedef struct _newgen_struct_statement_ * | statement |
typedef struct _newgen_struct_complexity_ * | complexity |
typedef struct _newgen_struct_ifcount_ * | ifcount |
typedef struct _newgen_struct_rangecount_ * | rangecount |
typedef struct _newgen_struct_varcount_ * | varcount |
#define _gen_complexity_ri_start 164 |
Definition at line 3 of file complexity_ri.h.
#define _newgen_complexity_domain_defined_ |
Definition at line 27 of file complexity_ri.h.
#define _newgen_ifcount_domain_defined_ |
Definition at line 35 of file complexity_ri.h.
#define _newgen_Ppolynome_domain_defined_ |
newgen_statement_domain_defined
Definition at line 18 of file complexity_ri.h.
#define _newgen_rangecount_domain_defined_ |
Definition at line 43 of file complexity_ri.h.
#define _newgen_statement_domain_defined_ |
Definition at line 11 of file complexity_ri.h.
#define _newgen_varcount_domain_defined_ |
Definition at line 51 of file complexity_ri.h.
#define COMPLEXITY | ( | x | ) | ((complexity)((x).p)) |
Definition at line 63 of file complexity_ri.h.
#define complexity_CAST | ( | x | ) | COMPLEXITY(x) |
Definition at line 61 of file complexity_ri.h.
#define COMPLEXITY_CAST | ( | x | ) | COMPLEXITY(x) |
Definition at line 62 of file complexity_ri.h.
#define complexity_domain (_gen_complexity_ri_start+1) |
newgen_Ppolynome_domain_defined
Definition at line 25 of file complexity_ri.h.
Definition at line 90 of file complexity_ri.h.
Definition at line 92 of file complexity_ri.h.
#define complexity_eval_ | ( | x | ) | complexity_eval(x) /**old hack compatible */ |
Definition at line 91 of file complexity_ri.h.
Definition at line 98 of file complexity_ri.h.
#define complexity_ifcount_ | ( | x | ) | complexity_ifcount(x) /**old hack compatible */ |
Definition at line 97 of file complexity_ri.h.
#define COMPLEXITY_NEWGEN_DOMAIN (complexity_domain) |
Definition at line 28 of file complexity_ri.h.
#define complexity_NEWGEN_DOMAIN (complexity_domain) |
Definition at line 29 of file complexity_ri.h.
Definition at line 96 of file complexity_ri.h.
#define complexity_rangecount_ | ( | x | ) | complexity_rangecount(x) /**old hack compatible */ |
Definition at line 95 of file complexity_ri.h.
#define complexity_ri_spec "\--NEWGEN-START 164\n\import statement from \"ri.newgen\";\n\external Ppolynome;\n\complexity = eval:Ppolynome x varcount:varcount x rangecount:rangecount x ifcount:ifcount;\n\ifcount = profiled:int x computed:int x halfhalf:int;\n\rangecount = profiled:int x guessed:int x bounded:int x unknown:int;\n\varcount = symbolic:int x guessed:int x bounded:int x unknown:int;\n\" |
Definition at line 223 of file complexity_ri.h.
#define COMPLEXITY_TYPE complexity |
Definition at line 64 of file complexity_ri.h.
#define complexity_TYPE complexity |
Definition at line 65 of file complexity_ri.h.
#define complexity_undefined ((complexity)gen_chunk_undefined) |
Definition at line 66 of file complexity_ri.h.
#define complexity_undefined_p | ( | x | ) | ((x)==complexity_undefined) |
Definition at line 67 of file complexity_ri.h.
Definition at line 94 of file complexity_ri.h.
#define complexity_varcount_ | ( | x | ) | complexity_varcount(x) /**old hack compatible */ |
Definition at line 93 of file complexity_ri.h.
#define gen_COMPLEXITY_cons gen_complexity_cons |
Definition at line 74 of file complexity_ri.h.
#define gen_IFCOUNT_cons gen_ifcount_cons |
Definition at line 116 of file complexity_ri.h.
#define gen_RANGECOUNT_cons gen_rangecount_cons |
Definition at line 155 of file complexity_ri.h.
#define gen_VARCOUNT_cons gen_varcount_cons |
Definition at line 197 of file complexity_ri.h.
IFCOUNT.
Definition at line 102 of file complexity_ri.h.
Definition at line 105 of file complexity_ri.h.
Definition at line 103 of file complexity_ri.h.
Definition at line 104 of file complexity_ri.h.
Definition at line 135 of file complexity_ri.h.
#define ifcount_computed_ | ( | x | ) | ifcount_computed(x) /**old hack compatible */ |
Definition at line 134 of file complexity_ri.h.
#define ifcount_domain (_gen_complexity_ri_start+2) |
newgen_complexity_domain_defined
Definition at line 33 of file complexity_ri.h.
Definition at line 131 of file complexity_ri.h.
Definition at line 137 of file complexity_ri.h.
#define ifcount_halfhalf_ | ( | x | ) | ifcount_halfhalf(x) /**old hack compatible */ |
Definition at line 136 of file complexity_ri.h.
#define IFCOUNT_NEWGEN_DOMAIN (ifcount_domain) |
Definition at line 36 of file complexity_ri.h.
#define ifcount_NEWGEN_DOMAIN (ifcount_domain) |
Definition at line 37 of file complexity_ri.h.
Definition at line 133 of file complexity_ri.h.
#define ifcount_profiled_ | ( | x | ) | ifcount_profiled(x) /**old hack compatible */ |
Definition at line 132 of file complexity_ri.h.
#define IFCOUNT_TYPE ifcount |
Definition at line 106 of file complexity_ri.h.
#define ifcount_TYPE ifcount |
Definition at line 107 of file complexity_ri.h.
#define ifcount_undefined ((ifcount)gen_chunk_undefined) |
Definition at line 108 of file complexity_ri.h.
#define ifcount_undefined_p | ( | x | ) | ((x)==ifcount_undefined) |
Definition at line 109 of file complexity_ri.h.
#define newgen_Ppolynome | ( | p | ) | (p) /**old hack compatible */ |
Definition at line 19 of file complexity_ri.h.
#define PPOLYNOME_NEWGEN_DOMAIN (PPOLYNOME_NEWGEN_EXTERNAL) |
Definition at line 21 of file complexity_ri.h.
#define Ppolynome_NEWGEN_DOMAIN (PPOLYNOME_NEWGEN_EXTERNAL) |
Definition at line 22 of file complexity_ri.h.
#define PPOLYNOME_NEWGEN_EXTERNAL (_gen_complexity_ri_start+0) |
Definition at line 20 of file complexity_ri.h.
#define RANGECOUNT | ( | x | ) | ((rangecount)((x).p)) |
RANGECOUNT.
Definition at line 141 of file complexity_ri.h.
Definition at line 144 of file complexity_ri.h.
Definition at line 177 of file complexity_ri.h.
#define rangecount_bounded_ | ( | x | ) | rangecount_bounded(x) /**old hack compatible */ |
Definition at line 176 of file complexity_ri.h.
#define rangecount_CAST | ( | x | ) | RANGECOUNT(x) |
Definition at line 142 of file complexity_ri.h.
#define RANGECOUNT_CAST | ( | x | ) | RANGECOUNT(x) |
Definition at line 143 of file complexity_ri.h.
#define rangecount_domain (_gen_complexity_ri_start+3) |
newgen_ifcount_domain_defined
Definition at line 41 of file complexity_ri.h.
Definition at line 171 of file complexity_ri.h.
Definition at line 175 of file complexity_ri.h.
#define rangecount_guessed_ | ( | x | ) | rangecount_guessed(x) /**old hack compatible */ |
Definition at line 174 of file complexity_ri.h.
#define RANGECOUNT_NEWGEN_DOMAIN (rangecount_domain) |
Definition at line 44 of file complexity_ri.h.
#define rangecount_NEWGEN_DOMAIN (rangecount_domain) |
Definition at line 45 of file complexity_ri.h.
Definition at line 173 of file complexity_ri.h.
#define rangecount_profiled_ | ( | x | ) | rangecount_profiled(x) /**old hack compatible */ |
Definition at line 172 of file complexity_ri.h.
#define RANGECOUNT_TYPE rangecount |
Definition at line 145 of file complexity_ri.h.
#define rangecount_TYPE rangecount |
Definition at line 146 of file complexity_ri.h.
#define rangecount_undefined ((rangecount)gen_chunk_undefined) |
Definition at line 147 of file complexity_ri.h.
#define rangecount_undefined_p | ( | x | ) | ((x)==rangecount_undefined) |
Definition at line 148 of file complexity_ri.h.
Definition at line 179 of file complexity_ri.h.
#define rangecount_unknown_ | ( | x | ) | rangecount_unknown(x) /**old hack compatible */ |
Definition at line 178 of file complexity_ri.h.
#define STATEMENT_NEWGEN_DOMAIN (statement_domain) |
Definition at line 12 of file complexity_ri.h.
#define statement_NEWGEN_DOMAIN (statement_domain) |
Definition at line 13 of file complexity_ri.h.
VARCOUNT.
Definition at line 183 of file complexity_ri.h.
Definition at line 186 of file complexity_ri.h.
Definition at line 219 of file complexity_ri.h.
#define varcount_bounded_ | ( | x | ) | varcount_bounded(x) /**old hack compatible */ |
Definition at line 218 of file complexity_ri.h.
Definition at line 184 of file complexity_ri.h.
Definition at line 185 of file complexity_ri.h.
#define varcount_domain (_gen_complexity_ri_start+4) |
newgen_rangecount_domain_defined
Definition at line 49 of file complexity_ri.h.
Definition at line 213 of file complexity_ri.h.
Definition at line 217 of file complexity_ri.h.
#define varcount_guessed_ | ( | x | ) | varcount_guessed(x) /**old hack compatible */ |
Definition at line 216 of file complexity_ri.h.
#define VARCOUNT_NEWGEN_DOMAIN (varcount_domain) |
Definition at line 52 of file complexity_ri.h.
#define varcount_NEWGEN_DOMAIN (varcount_domain) |
Definition at line 53 of file complexity_ri.h.
Definition at line 215 of file complexity_ri.h.
#define varcount_symbolic_ | ( | x | ) | varcount_symbolic(x) /**old hack compatible */ |
Definition at line 214 of file complexity_ri.h.
#define VARCOUNT_TYPE varcount |
Definition at line 187 of file complexity_ri.h.
#define varcount_TYPE varcount |
Definition at line 188 of file complexity_ri.h.
#define varcount_undefined ((varcount)gen_chunk_undefined) |
Definition at line 189 of file complexity_ri.h.
#define varcount_undefined_p | ( | x | ) | ((x)==varcount_undefined) |
Definition at line 190 of file complexity_ri.h.
Definition at line 221 of file complexity_ri.h.
#define varcount_unknown_ | ( | x | ) | varcount_unknown(x) /**old hack compatible */ |
Definition at line 220 of file complexity_ri.h.
typedef struct _newgen_struct_complexity_* complexity |
Definition at line 30 of file complexity_ri.h.
typedef struct _newgen_struct_ifcount_* ifcount |
Definition at line 38 of file complexity_ri.h.
typedef struct _newgen_struct_rangecount_* rangecount |
Definition at line 46 of file complexity_ri.h.
typedef struct _newgen_struct_statement_* statement |
Definition at line 14 of file complexity_ri.h.
typedef struct _newgen_struct_varcount_* varcount |
Definition at line 54 of file complexity_ri.h.
complexity check_complexity | ( | complexity | p | ) |
Definition at line 24 of file complexity_ri.c.
References complexity_domain, and gen_check().
Referenced by complexity_assign_contents(), and complexity_consistent_p().
Definition at line 66 of file complexity_ri.c.
References gen_check(), and ifcount_domain.
Referenced by ifcount_assign_contents(), and ifcount_consistent_p().
rangecount check_rangecount | ( | rangecount | p | ) |
Definition at line 108 of file complexity_ri.c.
References gen_check(), and rangecount_domain.
Referenced by rangecount_assign_contents(), and rangecount_consistent_p().
Definition at line 150 of file complexity_ri.c.
References gen_check(), and varcount_domain.
Referenced by varcount_assign_contents(), and varcount_consistent_p().
void complexity_assign_contents | ( | complexity | r, |
complexity | v | ||
) |
Definition at line 37 of file complexity_ri.c.
References check_complexity(), complexity_defined_p(), and message_assert.
bool complexity_consistent_p | ( | complexity | p | ) |
Definition at line 27 of file complexity_ri.c.
References check_complexity(), and gen_consistent_p().
Referenced by block_to_complexity(), complexity_stats_add(), complexity_var_subst(), polynome_to_new_complexity(), statement_to_complexity(), and summary_complexity().
bool complexity_defined_p | ( | complexity | p | ) |
Definition at line 31 of file complexity_ri.c.
References gen_defined_p().
Referenced by complexity_assign_contents().
void complexity_non_recursive_free | ( | complexity | p | ) |
Definition at line 44 of file complexity_ri.c.
References free().
complexity copy_complexity | ( | complexity | p | ) |
COMPLEXITY.
Definition at line 18 of file complexity_ri.c.
References gen_copy_tree().
Referenced by summary_complexity().
IFCOUNT.
Definition at line 60 of file complexity_ri.c.
References gen_copy_tree().
rangecount copy_rangecount | ( | rangecount | p | ) |
RANGECOUNT.
Definition at line 102 of file complexity_ri.c.
References gen_copy_tree().
VARCOUNT.
Definition at line 144 of file complexity_ri.c.
References gen_copy_tree().
void free_complexity | ( | complexity | p | ) |
Definition at line 21 of file complexity_ri.c.
References gen_free().
Referenced by complexity_rm(), and loop_to_complexity().
void free_ifcount | ( | ifcount | p | ) |
Definition at line 63 of file complexity_ri.c.
References gen_free().
void free_rangecount | ( | rangecount | p | ) |
Definition at line 105 of file complexity_ri.c.
References gen_free().
void free_varcount | ( | varcount | p | ) |
Definition at line 147 of file complexity_ri.c.
References gen_free().
list gen_complexity_cons | ( | complexity | p, |
list | l | ||
) |
Definition at line 34 of file complexity_ri.c.
References COMPLEXITY_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 76 of file complexity_ri.c.
References gen_typed_cons(), and IFCOUNT_NEWGEN_DOMAIN.
list gen_rangecount_cons | ( | rangecount | p, |
list | l | ||
) |
Definition at line 118 of file complexity_ri.c.
References gen_typed_cons(), and RANGECOUNT_NEWGEN_DOMAIN.
Definition at line 160 of file complexity_ri.c.
References gen_typed_cons(), and VARCOUNT_NEWGEN_DOMAIN.
Definition at line 79 of file complexity_ri.c.
References check_ifcount(), ifcount_defined_p(), and message_assert.
Definition at line 69 of file complexity_ri.c.
References check_ifcount(), and gen_consistent_p().
Definition at line 73 of file complexity_ri.c.
References gen_defined_p().
Referenced by ifcount_assign_contents().
void ifcount_non_recursive_free | ( | ifcount | p | ) |
Definition at line 86 of file complexity_ri.c.
References free().
complexity make_complexity | ( | Ppolynome | a1, |
varcount | a2, | ||
rangecount | a3, | ||
ifcount | a4 | ||
) |
Definition at line 54 of file complexity_ri.c.
References complexity_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by complexity_dup(), and polynome_to_new_complexity().
Definition at line 96 of file complexity_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and ifcount_domain.
Referenced by complexity_dup(), and polynome_to_new_complexity().
rangecount make_rangecount | ( | intptr_t | a1, |
intptr_t | a2, | ||
intptr_t | a3, | ||
intptr_t | a4 | ||
) |
Definition at line 138 of file complexity_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and rangecount_domain.
Referenced by complexity_dup(), and polynome_to_new_complexity().
Definition at line 180 of file complexity_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and varcount_domain.
Referenced by complexity_dup(), and polynome_to_new_complexity().
void rangecount_assign_contents | ( | rangecount | r, |
rangecount | v | ||
) |
Definition at line 121 of file complexity_ri.c.
References check_rangecount(), message_assert, and rangecount_defined_p().
bool rangecount_consistent_p | ( | rangecount | p | ) |
Definition at line 111 of file complexity_ri.c.
References check_rangecount(), and gen_consistent_p().
bool rangecount_defined_p | ( | rangecount | p | ) |
Definition at line 115 of file complexity_ri.c.
References gen_defined_p().
Referenced by rangecount_assign_contents().
void rangecount_non_recursive_free | ( | rangecount | p | ) |
Definition at line 128 of file complexity_ri.c.
References free().
complexity read_complexity | ( | FILE * | f | ) |
Definition at line 51 of file complexity_ri.c.
References f(), and gen_read().
ifcount read_ifcount | ( | FILE * | f | ) |
Definition at line 93 of file complexity_ri.c.
References f(), and gen_read().
rangecount read_rangecount | ( | FILE * | f | ) |
Definition at line 135 of file complexity_ri.c.
References f(), and gen_read().
varcount read_varcount | ( | FILE * | f | ) |
Definition at line 177 of file complexity_ri.c.
References f(), and gen_read().
Definition at line 163 of file complexity_ri.c.
References check_varcount(), message_assert, and varcount_defined_p().
Definition at line 153 of file complexity_ri.c.
References check_varcount(), and gen_consistent_p().
Definition at line 157 of file complexity_ri.c.
References gen_defined_p().
Referenced by varcount_assign_contents().
void varcount_non_recursive_free | ( | varcount | p | ) |
Definition at line 170 of file complexity_ri.c.
References free().
void write_complexity | ( | FILE * | f, |
complexity | p | ||
) |
Definition at line 48 of file complexity_ri.c.
References f(), and gen_write().
void write_ifcount | ( | FILE * | f, |
ifcount | p | ||
) |
Definition at line 90 of file complexity_ri.c.
References f(), and gen_write().
void write_rangecount | ( | FILE * | f, |
rangecount | p | ||
) |
Definition at line 132 of file complexity_ri.c.
References f(), and gen_write().
void write_varcount | ( | FILE * | f, |
varcount | p | ||
) |
Definition at line 174 of file complexity_ri.c.
References f(), and gen_write().