PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_gexpression_ |
struct | _newgen_struct_pattern_ |
struct | _newgen_struct_reduced_loops_ |
struct | _newgen_struct_sexpression_ |
Typedefs | |
typedef struct _newgen_struct_expression_ * | expression |
typedef struct _newgen_struct_entity_ * | entity |
typedef struct _newgen_struct_gexpression_ * | gexpression |
typedef struct _newgen_struct_pattern_ * | pattern |
typedef struct _newgen_struct_reduced_loops_ * | reduced_loops |
typedef struct _newgen_struct_sexpression_ * | sexpression |
#define _gen_reduction_start 104 |
Definition at line 3 of file reduction.h.
#define _newgen_entity_domain_defined_ |
newgen_expression_domain_defined
Definition at line 18 of file reduction.h.
#define _newgen_expression_domain_defined_ |
Definition at line 11 of file reduction.h.
#define _newgen_gexpression_domain_defined_ |
Definition at line 26 of file reduction.h.
#define _newgen_pattern_domain_defined_ |
Definition at line 34 of file reduction.h.
#define _newgen_reduced_loops_domain_defined_ |
Definition at line 42 of file reduction.h.
#define _newgen_sexpression_domain_defined_ |
Definition at line 50 of file reduction.h.
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
Definition at line 19 of file reduction.h.
#define entity_NEWGEN_DOMAIN (entity_domain) |
Definition at line 20 of file reduction.h.
#define EXPRESSION_NEWGEN_DOMAIN (expression_domain) |
Definition at line 12 of file reduction.h.
#define expression_NEWGEN_DOMAIN (expression_domain) |
Definition at line 13 of file reduction.h.
#define gen_GEXPRESSION_cons gen_gexpression_cons |
Definition at line 72 of file reduction.h.
#define gen_PATTERN_cons gen_pattern_cons |
Definition at line 108 of file reduction.h.
#define gen_REDUCED_LOOPS_cons gen_reduced_loops_cons |
Definition at line 153 of file reduction.h.
#define gen_SEXPRESSION_cons gen_sexpression_cons |
Definition at line 185 of file reduction.h.
#define GEXPRESSION | ( | x | ) | ((gexpression)((x).p)) |
Definition at line 61 of file reduction.h.
#define gexpression_CAST | ( | x | ) | GEXPRESSION(x) |
Definition at line 59 of file reduction.h.
#define GEXPRESSION_CAST | ( | x | ) | GEXPRESSION(x) |
Definition at line 60 of file reduction.h.
#define gexpression_domain (_gen_reduction_start+0) |
newgen_entity_domain_defined
Definition at line 24 of file reduction.h.
Definition at line 86 of file reduction.h.
Definition at line 90 of file reduction.h.
#define gexpression_expression_ | ( | x | ) | gexpression_expression(x) /**old hack compatible */ |
Definition at line 89 of file reduction.h.
Definition at line 88 of file reduction.h.
#define gexpression_guard_ | ( | x | ) | gexpression_guard(x) /**old hack compatible */ |
Definition at line 87 of file reduction.h.
#define GEXPRESSION_NEWGEN_DOMAIN (gexpression_domain) |
Definition at line 27 of file reduction.h.
#define gexpression_NEWGEN_DOMAIN (gexpression_domain) |
Definition at line 28 of file reduction.h.
#define GEXPRESSION_TYPE gexpression |
Definition at line 62 of file reduction.h.
#define gexpression_TYPE gexpression |
Definition at line 63 of file reduction.h.
#define gexpression_undefined ((gexpression)gen_chunk_undefined) |
Definition at line 64 of file reduction.h.
#define gexpression_undefined_p | ( | x | ) | ((x)==gexpression_undefined) |
Definition at line 65 of file reduction.h.
PATTERN.
Definition at line 94 of file reduction.h.
Definition at line 97 of file reduction.h.
Definition at line 95 of file reduction.h.
Definition at line 96 of file reduction.h.
Definition at line 129 of file reduction.h.
#define pattern_condition_ | ( | x | ) | pattern_condition(x) /**old hack compatible */ |
Definition at line 128 of file reduction.h.
#define pattern_domain (_gen_reduction_start+1) |
newgen_gexpression_domain_defined
Definition at line 32 of file reduction.h.
Definition at line 125 of file reduction.h.
Definition at line 135 of file reduction.h.
#define pattern_indices_ | ( | x | ) | pattern_indices(x) /**old hack compatible */ |
Definition at line 134 of file reduction.h.
#define PATTERN_NEWGEN_DOMAIN (pattern_domain) |
Definition at line 35 of file reduction.h.
#define pattern_NEWGEN_DOMAIN (pattern_domain) |
Definition at line 36 of file reduction.h.
Definition at line 133 of file reduction.h.
#define pattern_operator_ | ( | x | ) | pattern_operator(x) /**old hack compatible */ |
Definition at line 132 of file reduction.h.
Definition at line 131 of file reduction.h.
#define pattern_parameter_ | ( | x | ) | pattern_parameter(x) /**old hack compatible */ |
Definition at line 130 of file reduction.h.
#define PATTERN_TYPE pattern |
Definition at line 98 of file reduction.h.
#define pattern_TYPE pattern |
Definition at line 99 of file reduction.h.
#define pattern_undefined ((pattern)gen_chunk_undefined) |
Definition at line 100 of file reduction.h.
#define pattern_undefined_p | ( | x | ) | ((x)==pattern_undefined) |
Definition at line 101 of file reduction.h.
Definition at line 127 of file reduction.h.
#define pattern_variable_ | ( | x | ) | pattern_variable(x) /**old hack compatible */ |
Definition at line 126 of file reduction.h.
#define REDUCED_LOOPS | ( | x | ) | ((reduced_loops)((x).p)) |
REDUCED_LOOPS.
Definition at line 139 of file reduction.h.
Definition at line 142 of file reduction.h.
#define reduced_loops_CAST | ( | x | ) | REDUCED_LOOPS(x) |
Definition at line 140 of file reduction.h.
#define REDUCED_LOOPS_CAST | ( | x | ) | REDUCED_LOOPS(x) |
Definition at line 141 of file reduction.h.
#define reduced_loops_domain (_gen_reduction_start+2) |
newgen_pattern_domain_defined
Definition at line 40 of file reduction.h.
Definition at line 166 of file reduction.h.
#define REDUCED_LOOPS_NEWGEN_DOMAIN (reduced_loops_domain) |
Definition at line 43 of file reduction.h.
#define reduced_loops_NEWGEN_DOMAIN (reduced_loops_domain) |
Definition at line 44 of file reduction.h.
Definition at line 167 of file reduction.h.
#define REDUCED_LOOPS_TYPE reduced_loops |
Definition at line 143 of file reduction.h.
#define reduced_loops_TYPE reduced_loops |
Definition at line 144 of file reduction.h.
#define reduced_loops_undefined ((reduced_loops)gen_chunk_undefined) |
Definition at line 145 of file reduction.h.
#define reduced_loops_undefined_p | ( | x | ) | ((x)==reduced_loops_undefined) |
Definition at line 146 of file reduction.h.
#define reduction_spec "\--NEWGEN-START 104\n\import expression from \"ri.newgen\";\n\import entity from \"ri.newgen\";\n\gexpression = guard:expression x expression:expression;\n\pattern = variable:entity x condition:expression x parameter:expression x operator:entity x indices:entity*;\n\reduced_loops = ordering:int*;\n\sexpression = gexpressions:gexpression*;\n\" |
Definition at line 201 of file reduction.h.
#define SEXPRESSION | ( | x | ) | ((sexpression)((x).p)) |
SEXPRESSION.
Definition at line 171 of file reduction.h.
Definition at line 174 of file reduction.h.
#define sexpression_CAST | ( | x | ) | SEXPRESSION(x) |
Definition at line 172 of file reduction.h.
#define SEXPRESSION_CAST | ( | x | ) | SEXPRESSION(x) |
Definition at line 173 of file reduction.h.
#define sexpression_domain (_gen_reduction_start+3) |
newgen_reduced_loops_domain_defined
Definition at line 48 of file reduction.h.
Definition at line 198 of file reduction.h.
Definition at line 199 of file reduction.h.
#define SEXPRESSION_NEWGEN_DOMAIN (sexpression_domain) |
Definition at line 51 of file reduction.h.
#define sexpression_NEWGEN_DOMAIN (sexpression_domain) |
Definition at line 52 of file reduction.h.
#define SEXPRESSION_TYPE sexpression |
Definition at line 175 of file reduction.h.
#define sexpression_TYPE sexpression |
Definition at line 176 of file reduction.h.
#define sexpression_undefined ((sexpression)gen_chunk_undefined) |
Definition at line 177 of file reduction.h.
#define sexpression_undefined_p | ( | x | ) | ((x)==sexpression_undefined) |
Definition at line 178 of file reduction.h.
typedef struct _newgen_struct_entity_* entity |
Definition at line 21 of file reduction.h.
typedef struct _newgen_struct_expression_* expression |
Definition at line 14 of file reduction.h.
typedef struct _newgen_struct_gexpression_* gexpression |
Definition at line 29 of file reduction.h.
typedef struct _newgen_struct_pattern_* pattern |
Definition at line 37 of file reduction.h.
typedef struct _newgen_struct_reduced_loops_* reduced_loops |
Definition at line 45 of file reduction.h.
typedef struct _newgen_struct_sexpression_* sexpression |
Definition at line 53 of file reduction.h.
gexpression check_gexpression | ( | gexpression | p | ) |
Definition at line 22 of file reduction.c.
References gen_check(), and gexpression_domain.
Referenced by gexpression_assign_contents(), and gexpression_consistent_p().
Definition at line 64 of file reduction.c.
References gen_check(), and pattern_domain.
Referenced by pattern_assign_contents(), and pattern_consistent_p().
reduced_loops check_reduced_loops | ( | reduced_loops | p | ) |
Definition at line 106 of file reduction.c.
References gen_check(), and reduced_loops_domain.
Referenced by reduced_loops_assign_contents(), and reduced_loops_consistent_p().
sexpression check_sexpression | ( | sexpression | p | ) |
Definition at line 148 of file reduction.c.
References gen_check(), and sexpression_domain.
Referenced by sexpression_assign_contents(), and sexpression_consistent_p().
gexpression copy_gexpression | ( | gexpression | p | ) |
GEXPRESSION.
Definition at line 16 of file reduction.c.
References gen_copy_tree().
PATTERN.
Definition at line 58 of file reduction.c.
References gen_copy_tree().
reduced_loops copy_reduced_loops | ( | reduced_loops | p | ) |
REDUCED_LOOPS.
Definition at line 100 of file reduction.c.
References gen_copy_tree().
sexpression copy_sexpression | ( | sexpression | p | ) |
SEXPRESSION.
Definition at line 142 of file reduction.c.
References gen_copy_tree().
void free_gexpression | ( | gexpression | p | ) |
Definition at line 19 of file reduction.c.
References gen_free().
void free_pattern | ( | pattern | p | ) |
Definition at line 61 of file reduction.c.
References gen_free().
void free_reduced_loops | ( | reduced_loops | p | ) |
Definition at line 103 of file reduction.c.
References gen_free().
void free_sexpression | ( | sexpression | p | ) |
Definition at line 145 of file reduction.c.
References gen_free().
list gen_gexpression_cons | ( | gexpression | p, |
list | l | ||
) |
Definition at line 32 of file reduction.c.
References gen_typed_cons(), and GEXPRESSION_NEWGEN_DOMAIN.
Definition at line 74 of file reduction.c.
References gen_typed_cons(), and PATTERN_NEWGEN_DOMAIN.
list gen_reduced_loops_cons | ( | reduced_loops | p, |
list | l | ||
) |
Definition at line 116 of file reduction.c.
References gen_typed_cons(), and REDUCED_LOOPS_NEWGEN_DOMAIN.
list gen_sexpression_cons | ( | sexpression | p, |
list | l | ||
) |
Definition at line 158 of file reduction.c.
References gen_typed_cons(), and SEXPRESSION_NEWGEN_DOMAIN.
void gexpression_assign_contents | ( | gexpression | r, |
gexpression | v | ||
) |
Definition at line 35 of file reduction.c.
References check_gexpression(), gexpression_defined_p(), and message_assert.
bool gexpression_consistent_p | ( | gexpression | p | ) |
Definition at line 25 of file reduction.c.
References check_gexpression(), and gen_consistent_p().
bool gexpression_defined_p | ( | gexpression | p | ) |
Definition at line 29 of file reduction.c.
References gen_defined_p().
Referenced by gexpression_assign_contents().
void gexpression_non_recursive_free | ( | gexpression | p | ) |
Definition at line 42 of file reduction.c.
References free().
gexpression make_gexpression | ( | expression | a1, |
expression | a2 | ||
) |
Definition at line 52 of file reduction.c.
References gen_alloc(), GEN_CHECK_ALLOC, and gexpression_domain.
pattern make_pattern | ( | entity | a1, |
expression | a2, | ||
expression | a3, | ||
entity | a4, | ||
list | a5 | ||
) |
Definition at line 94 of file reduction.c.
References gen_alloc(), GEN_CHECK_ALLOC, and pattern_domain.
reduced_loops make_reduced_loops | ( | list | a | ) |
Definition at line 136 of file reduction.c.
References gen_alloc(), GEN_CHECK_ALLOC, and reduced_loops_domain.
sexpression make_sexpression | ( | list | a | ) |
Definition at line 178 of file reduction.c.
References gen_alloc(), GEN_CHECK_ALLOC, and sexpression_domain.
Definition at line 77 of file reduction.c.
References check_pattern(), message_assert, and pattern_defined_p().
Definition at line 67 of file reduction.c.
References check_pattern(), and gen_consistent_p().
Definition at line 71 of file reduction.c.
References gen_defined_p().
Referenced by pattern_assign_contents().
void pattern_non_recursive_free | ( | pattern | p | ) |
Definition at line 84 of file reduction.c.
References free().
gexpression read_gexpression | ( | FILE * | f | ) |
Definition at line 49 of file reduction.c.
References f(), and gen_read().
pattern read_pattern | ( | FILE * | f | ) |
Definition at line 91 of file reduction.c.
References f(), and gen_read().
reduced_loops read_reduced_loops | ( | FILE * | f | ) |
Definition at line 133 of file reduction.c.
References f(), and gen_read().
sexpression read_sexpression | ( | FILE * | f | ) |
Definition at line 175 of file reduction.c.
References f(), and gen_read().
void reduced_loops_assign_contents | ( | reduced_loops | r, |
reduced_loops | v | ||
) |
Definition at line 119 of file reduction.c.
References check_reduced_loops(), message_assert, and reduced_loops_defined_p().
bool reduced_loops_consistent_p | ( | reduced_loops | p | ) |
Definition at line 109 of file reduction.c.
References check_reduced_loops(), and gen_consistent_p().
bool reduced_loops_defined_p | ( | reduced_loops | p | ) |
Definition at line 113 of file reduction.c.
References gen_defined_p().
Referenced by reduced_loops_assign_contents().
void reduced_loops_non_recursive_free | ( | reduced_loops | p | ) |
Definition at line 126 of file reduction.c.
References free().
void sexpression_assign_contents | ( | sexpression | r, |
sexpression | v | ||
) |
Definition at line 161 of file reduction.c.
References check_sexpression(), message_assert, and sexpression_defined_p().
bool sexpression_consistent_p | ( | sexpression | p | ) |
Definition at line 151 of file reduction.c.
References check_sexpression(), and gen_consistent_p().
bool sexpression_defined_p | ( | sexpression | p | ) |
Definition at line 155 of file reduction.c.
References gen_defined_p().
Referenced by sexpression_assign_contents().
void sexpression_non_recursive_free | ( | sexpression | p | ) |
Definition at line 168 of file reduction.c.
References free().
void write_gexpression | ( | FILE * | f, |
gexpression | p | ||
) |
Definition at line 46 of file reduction.c.
References f(), and gen_write().
void write_pattern | ( | FILE * | f, |
pattern | p | ||
) |
Definition at line 88 of file reduction.c.
References f(), and gen_write().
void write_reduced_loops | ( | FILE * | f, |
reduced_loops | p | ||
) |
Definition at line 130 of file reduction.c.
References f(), and gen_write().
void write_sexpression | ( | FILE * | f, |
sexpression | p | ||
) |
Definition at line 172 of file reduction.c.
References f(), and gen_write().