PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_cone_ |
struct | _newgen_struct_conflict_ |
struct | _newgen_struct_dg_arc_label_ |
struct | _newgen_struct_dg_vertex_label_ |
struct | _newgen_struct_sccflags_ |
struct | _newgen_struct_sccs_ |
struct | _newgen_struct_scc_ |
Typedefs | |
typedef struct _newgen_struct_statement_ * | statement |
typedef struct _newgen_struct_effect_ * | effect |
typedef struct _newgen_struct_vertex_ * | vertex |
typedef struct _newgen_struct_cone_ * | cone |
typedef struct _newgen_struct_conflict_ * | conflict |
typedef struct _newgen_struct_dg_arc_label_ * | dg_arc_label |
typedef struct _newgen_struct_dg_vertex_label_ * | dg_vertex_label |
typedef struct _newgen_struct_sccflags_ * | sccflags |
typedef struct _newgen_struct_sccs_ * | sccs |
typedef struct _newgen_struct_scc_ * | scc |
#define _newgen_effect_domain_defined_ |
#define _newgen_Ptsg_domain_defined_ |
#define _newgen_vertex_domain_defined_ |
#define cone_domain (_gen_dg_start+1) |
#define cone_generating_system_ | ( | x | ) | cone_generating_system(x) /**old hack compatible */ |
#define cone_levels_ | ( | x | ) | cone_levels(x) /**old hack compatible */ |
#define CONE_NEWGEN_DOMAIN (cone_domain) |
#define cone_NEWGEN_DOMAIN (cone_domain) |
#define cone_undefined ((cone)gen_chunk_undefined) |
#define cone_undefined_p | ( | x | ) | ((x)==cone_undefined) |
#define conflict_cone_ | ( | x | ) | conflict_cone(x) /**old hack compatible */ |
#define conflict_domain (_gen_dg_start+2) |
#define CONFLICT_NEWGEN_DOMAIN (conflict_domain) |
#define conflict_NEWGEN_DOMAIN (conflict_domain) |
#define conflict_sink_ | ( | x | ) | conflict_sink(x) /**old hack compatible */ |
#define conflict_source_ | ( | x | ) | conflict_source(x) /**old hack compatible */ |
#define conflict_undefined ((conflict)gen_chunk_undefined) |
#define conflict_undefined_p | ( | x | ) | ((x)==conflict_undefined) |
#define DG_ARC_LABEL | ( | x | ) | ((dg_arc_label)((x).p)) |
#define dg_arc_label_CAST | ( | x | ) | DG_ARC_LABEL(x) |
#define DG_ARC_LABEL_CAST | ( | x | ) | DG_ARC_LABEL(x) |
#define dg_arc_label_domain (_gen_dg_start+3) |
#define DG_ARC_LABEL_NEWGEN_DOMAIN (dg_arc_label_domain) |
#define dg_arc_label_NEWGEN_DOMAIN (dg_arc_label_domain) |
#define DG_ARC_LABEL_TYPE dg_arc_label |
#define dg_arc_label_TYPE dg_arc_label |
#define dg_arc_label_undefined ((dg_arc_label)gen_chunk_undefined) |
#define dg_arc_label_undefined_p | ( | x | ) | ((x)==dg_arc_label_undefined) |
#define dg_spec "\--NEWGEN-START 224\n\import statement from \"ri.newgen\";\n\import effect from \"effects.newgen\";\n\import vertex from \"graph.newgen\";\n\external Ptsg;\n\cone = levels:int* x generating_system:Ptsg;\n\conflict = persistant source:effect x persistant sink:effect x cone:cone;\n\dg_arc_label = conflicts:conflict*;\n\dg_vertex_label = statement:int x sccflags:sccflags;\n\sccflags = enclosing_scc:scc x mark:int x dfnumber:int x lowlink:int;\n\sccs = sccs:scc*;\n\scc = vertices:vertex* x indegree:int;\n\" |
#define DG_VERTEX_LABEL | ( | x | ) | ((dg_vertex_label)((x).p)) |
#define dg_vertex_label_CAST | ( | x | ) | DG_VERTEX_LABEL(x) |
#define DG_VERTEX_LABEL_CAST | ( | x | ) | DG_VERTEX_LABEL(x) |
#define dg_vertex_label_domain (_gen_dg_start+4) |
#define DG_VERTEX_LABEL_NEWGEN_DOMAIN (dg_vertex_label_domain) |
#define dg_vertex_label_NEWGEN_DOMAIN (dg_vertex_label_domain) |
#define dg_vertex_label_sccflags_ | ( | x | ) | dg_vertex_label_sccflags(x) /**old hack compatible */ |
#define dg_vertex_label_statement_ | ( | x | ) | dg_vertex_label_statement(x) /**old hack compatible */ |
#define DG_VERTEX_LABEL_TYPE dg_vertex_label |
#define dg_vertex_label_TYPE dg_vertex_label |
#define dg_vertex_label_undefined ((dg_vertex_label)gen_chunk_undefined) |
#define dg_vertex_label_undefined_p | ( | x | ) | ((x)==dg_vertex_label_undefined) |
#define EFFECT_NEWGEN_DOMAIN (effect_domain) |
#define effect_NEWGEN_DOMAIN (effect_domain) |
#define gen_CONE_cons gen_cone_cons |
#define gen_CONFLICT_cons gen_conflict_cons |
#define gen_DG_ARC_LABEL_cons gen_dg_arc_label_cons |
#define gen_DG_VERTEX_LABEL_cons gen_dg_vertex_label_cons |
#define gen_SCC_cons gen_scc_cons |
#define gen_SCCFLAGS_cons gen_sccflags_cons |
#define gen_SCCS_cons gen_sccs_cons |
#define PTSG_NEWGEN_DOMAIN (PTSG_NEWGEN_EXTERNAL) |
#define Ptsg_NEWGEN_DOMAIN (PTSG_NEWGEN_EXTERNAL) |
#define PTSG_NEWGEN_EXTERNAL (_gen_dg_start+0) |
#define scc_domain (_gen_dg_start+7) |
#define scc_indegree_ | ( | x | ) | scc_indegree(x) /**old hack compatible */ |
#define SCC_NEWGEN_DOMAIN (scc_domain) |
#define scc_NEWGEN_DOMAIN (scc_domain) |
#define scc_undefined ((scc)gen_chunk_undefined) |
#define scc_undefined_p | ( | x | ) | ((x)==scc_undefined) |
#define scc_vertices_ | ( | x | ) | scc_vertices(x) /**old hack compatible */ |
#define sccflags_dfnumber_ | ( | x | ) | sccflags_dfnumber(x) /**old hack compatible */ |
#define sccflags_domain (_gen_dg_start+5) |
#define sccflags_enclosing_scc_ | ( | x | ) | sccflags_enclosing_scc(x) /**old hack compatible */ |
#define sccflags_lowlink_ | ( | x | ) | sccflags_lowlink(x) /**old hack compatible */ |
#define sccflags_mark_ | ( | x | ) | sccflags_mark(x) /**old hack compatible */ |
#define SCCFLAGS_NEWGEN_DOMAIN (sccflags_domain) |
#define sccflags_NEWGEN_DOMAIN (sccflags_domain) |
#define sccflags_undefined ((sccflags)gen_chunk_undefined) |
#define sccflags_undefined_p | ( | x | ) | ((x)==sccflags_undefined) |
#define sccs_domain (_gen_dg_start+6) |
#define SCCS_NEWGEN_DOMAIN (sccs_domain) |
#define sccs_NEWGEN_DOMAIN (sccs_domain) |
#define sccs_undefined ((sccs)gen_chunk_undefined) |
#define sccs_undefined_p | ( | x | ) | ((x)==sccs_undefined) |
#define STATEMENT_NEWGEN_DOMAIN (statement_domain) |
#define statement_NEWGEN_DOMAIN (statement_domain) |
#define VERTEX_NEWGEN_DOMAIN (vertex_domain) |
#define vertex_NEWGEN_DOMAIN (vertex_domain) |
typedef struct _newgen_struct_cone_* cone |
typedef struct _newgen_struct_conflict_* conflict |
typedef struct _newgen_struct_dg_arc_label_* dg_arc_label |
typedef struct _newgen_struct_dg_vertex_label_* dg_vertex_label |
typedef struct _newgen_struct_effect_* effect |
typedef struct _newgen_struct_scc_* scc |
typedef struct _newgen_struct_sccflags_* sccflags |
typedef struct _newgen_struct_sccs_* sccs |
typedef struct _newgen_struct_statement_* statement |
typedef struct _newgen_struct_vertex_* vertex |
Definition at line 24 of file dg.c.
References cone_domain, and gen_check().
Referenced by cone_assign_contents(), and cone_consistent_p().
Definition at line 66 of file dg.c.
References conflict_domain, and gen_check().
Referenced by conflict_assign_contents(), and conflict_consistent_p().
dg_arc_label check_dg_arc_label | ( | dg_arc_label | p | ) |
Definition at line 108 of file dg.c.
References dg_arc_label_domain, and gen_check().
Referenced by dg_arc_label_assign_contents(), and dg_arc_label_consistent_p().
dg_vertex_label check_dg_vertex_label | ( | dg_vertex_label | p | ) |
Definition at line 150 of file dg.c.
References dg_vertex_label_domain, and gen_check().
Referenced by dg_vertex_label_assign_contents(), and dg_vertex_label_consistent_p().
Definition at line 276 of file dg.c.
References gen_check(), and scc_domain.
Referenced by scc_assign_contents(), and scc_consistent_p().
Definition at line 192 of file dg.c.
References gen_check(), and sccflags_domain.
Referenced by sccflags_assign_contents(), and sccflags_consistent_p().
Definition at line 234 of file dg.c.
References gen_check(), and sccs_domain.
Referenced by sccs_assign_contents(), and sccs_consistent_p().
Definition at line 37 of file dg.c.
References check_cone(), cone_defined_p(), and message_assert.
Definition at line 27 of file dg.c.
References check_cone(), and gen_consistent_p().
Definition at line 31 of file dg.c.
References gen_defined_p().
Referenced by cone_assign_contents().
void cone_non_recursive_free | ( | cone | p | ) |
Definition at line 79 of file dg.c.
References check_conflict(), conflict_defined_p(), and message_assert.
Definition at line 69 of file dg.c.
References check_conflict(), and gen_consistent_p().
Definition at line 73 of file dg.c.
References gen_defined_p().
Referenced by conflict_assign_contents().
void conflict_non_recursive_free | ( | conflict | p | ) |
CONE.
Definition at line 18 of file dg.c.
References gen_copy_tree().
CONFLICT.
Definition at line 60 of file dg.c.
References gen_copy_tree().
dg_arc_label copy_dg_arc_label | ( | dg_arc_label | p | ) |
DG_ARC_LABEL.
Definition at line 102 of file dg.c.
References gen_copy_tree().
dg_vertex_label copy_dg_vertex_label | ( | dg_vertex_label | p | ) |
DG_VERTEX_LABEL.
Definition at line 144 of file dg.c.
References gen_copy_tree().
Referenced by dg_vertex_dup().
SCC.
Definition at line 270 of file dg.c.
References gen_copy_tree().
SCCFLAGS.
Definition at line 186 of file dg.c.
References gen_copy_tree().
SCCS.
Definition at line 228 of file dg.c.
References gen_copy_tree().
void dg_arc_label_assign_contents | ( | dg_arc_label | r, |
dg_arc_label | v | ||
) |
Definition at line 121 of file dg.c.
References check_dg_arc_label(), dg_arc_label_defined_p(), and message_assert.
bool dg_arc_label_consistent_p | ( | dg_arc_label | p | ) |
Definition at line 111 of file dg.c.
References check_dg_arc_label(), and gen_consistent_p().
bool dg_arc_label_defined_p | ( | dg_arc_label | p | ) |
Definition at line 115 of file dg.c.
References gen_defined_p().
Referenced by dg_arc_label_assign_contents().
void dg_arc_label_non_recursive_free | ( | dg_arc_label | p | ) |
void dg_vertex_label_assign_contents | ( | dg_vertex_label | r, |
dg_vertex_label | v | ||
) |
Definition at line 163 of file dg.c.
References check_dg_vertex_label(), dg_vertex_label_defined_p(), and message_assert.
bool dg_vertex_label_consistent_p | ( | dg_vertex_label | p | ) |
Definition at line 153 of file dg.c.
References check_dg_vertex_label(), and gen_consistent_p().
bool dg_vertex_label_defined_p | ( | dg_vertex_label | p | ) |
Definition at line 157 of file dg.c.
References gen_defined_p().
Referenced by dg_vertex_label_assign_contents().
void dg_vertex_label_non_recursive_free | ( | dg_vertex_label | p | ) |
void free_cone | ( | cone | p | ) |
Definition at line 21 of file dg.c.
References gen_free().
void free_conflict | ( | conflict | p | ) |
Definition at line 63 of file dg.c.
References gen_free().
Referenced by rice_update_dependence_graph().
void free_dg_arc_label | ( | dg_arc_label | p | ) |
Definition at line 105 of file dg.c.
References gen_free().
void free_dg_vertex_label | ( | dg_vertex_label | p | ) |
Definition at line 147 of file dg.c.
References gen_free().
void free_scc | ( | scc | p | ) |
Definition at line 273 of file dg.c.
References gen_free().
void free_sccflags | ( | sccflags | p | ) |
Definition at line 189 of file dg.c.
References gen_free().
void free_sccs | ( | sccs | p | ) |
Definition at line 231 of file dg.c.
References gen_free().
Definition at line 34 of file dg.c.
References CONE_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 76 of file dg.c.
References CONFLICT_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_dg_arc_label_cons | ( | dg_arc_label | p, |
list | l | ||
) |
Definition at line 118 of file dg.c.
References DG_ARC_LABEL_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_dg_vertex_label_cons | ( | dg_vertex_label | p, |
list | l | ||
) |
Definition at line 160 of file dg.c.
References DG_VERTEX_LABEL_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 286 of file dg.c.
References gen_typed_cons(), and SCC_NEWGEN_DOMAIN.
Definition at line 202 of file dg.c.
References gen_typed_cons(), and SCCFLAGS_NEWGEN_DOMAIN.
Definition at line 244 of file dg.c.
References gen_typed_cons(), and SCCS_NEWGEN_DOMAIN.
Definition at line 54 of file dg.c.
References cone_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by conflict_dup(), and rice_update_dependence_graph().
Definition at line 96 of file dg.c.
References conflict_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by conflict_dup(), and pushnew_conflict().
dg_arc_label make_dg_arc_label | ( | list | a | ) |
Definition at line 138 of file dg.c.
References dg_arc_label_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by add_conflicts(), adg_only_call_WR_dependence(), and dg_arc_label_dup().
dg_vertex_label make_dg_vertex_label | ( | intptr_t | a1, |
sccflags | a2 | ||
) |
Definition at line 180 of file dg.c.
References dg_vertex_label_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by dg_vertex_label_dup(), and init_one_statement().
Definition at line 306 of file dg.c.
References gen_alloc(), GEN_CHECK_ALLOC, and scc_domain.
Referenced by dfg_low_link_compute(), and LowlinkCompute().
Definition at line 222 of file dg.c.
References gen_alloc(), GEN_CHECK_ALLOC, and sccflags_domain.
Referenced by dfg_find_sccs(), FindSccs(), and rice_update_dependence_graph().
Definition at line 264 of file dg.c.
References gen_alloc(), GEN_CHECK_ALLOC, and sccs_domain.
Referenced by dfg_find_sccs(), and FindSccs().
cone read_cone | ( | FILE * | f | ) |
Definition at line 51 of file dg.c.
References f(), and gen_read().
conflict read_conflict | ( | FILE * | f | ) |
dg_arc_label read_dg_arc_label | ( | FILE * | f | ) |
Definition at line 135 of file dg.c.
References f(), and gen_read().
dg_vertex_label read_dg_vertex_label | ( | FILE * | f | ) |
Definition at line 177 of file dg.c.
References f(), and gen_read().
scc read_scc | ( | FILE * | f | ) |
sccflags read_sccflags | ( | FILE * | f | ) |
sccs read_sccs | ( | FILE * | f | ) |
Definition at line 289 of file dg.c.
References check_scc(), message_assert, and scc_defined_p().
Definition at line 279 of file dg.c.
References check_scc(), and gen_consistent_p().
Definition at line 283 of file dg.c.
References gen_defined_p().
Referenced by scc_assign_contents().
void scc_non_recursive_free | ( | scc | p | ) |
Definition at line 205 of file dg.c.
References check_sccflags(), message_assert, and sccflags_defined_p().
Definition at line 195 of file dg.c.
References check_sccflags(), and gen_consistent_p().
Definition at line 199 of file dg.c.
References gen_defined_p().
Referenced by sccflags_assign_contents().
void sccflags_non_recursive_free | ( | sccflags | p | ) |
Definition at line 247 of file dg.c.
References check_sccs(), message_assert, and sccs_defined_p().
Definition at line 237 of file dg.c.
References check_sccs(), and gen_consistent_p().
Definition at line 241 of file dg.c.
References gen_defined_p().
Referenced by sccs_assign_contents().
void sccs_non_recursive_free | ( | sccs | p | ) |
void write_cone | ( | FILE * | f, |
cone | p | ||
) |
Definition at line 48 of file dg.c.
References f(), and gen_write().
void write_conflict | ( | FILE * | f, |
conflict | p | ||
) |
void write_dg_arc_label | ( | FILE * | f, |
dg_arc_label | p | ||
) |
void write_dg_vertex_label | ( | FILE * | f, |
dg_vertex_label | p | ||
) |
void write_scc | ( | FILE * | f, |
scc | p | ||
) |
void write_sccflags | ( | FILE * | f, |
sccflags | p | ||
) |