PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_bdt_ |
struct | _newgen_struct_communication_ |
struct | _newgen_struct_conditional_ |
struct | _newgen_struct_dataflow_ |
struct | _newgen_struct_dfg_arc_label_ |
struct | _newgen_struct_dfg_vertex_label_ |
struct | _newgen_struct_leaf_label_ |
struct | _newgen_struct_lisp_expression_ |
struct | _newgen_struct_placement_ |
struct | _newgen_struct_plc_ |
struct | _newgen_struct_quast_leaf_ |
struct | _newgen_struct_quast_ |
struct | _newgen_struct_quast_value_ |
struct | _newgen_struct_schedule_ |
struct | _newgen_struct_static_control_ |
struct | _newgen_struct_var_val_ |
Enumerations | |
enum | quast_value_utype { is_quast_value_quast_leaf , is_quast_value_conditional } |
#define _newgen_entity_domain_defined_ |
#define _newgen_expression_domain_defined_ |
#define _newgen_loop_domain_defined_ |
#define _newgen_predicate_domain_defined_ |
#define _newgen_Pvecteur_domain_defined_ |
#define _newgen_sccflags_domain_defined_ |
#define _newgen_statement_domain_defined_ |
#define bdt_domain (_gen_paf_ri_start+1) |
#define BDT_NEWGEN_DOMAIN (bdt_domain) |
#define bdt_NEWGEN_DOMAIN (bdt_domain) |
#define bdt_undefined ((bdt)gen_chunk_undefined) |
#define bdt_undefined_p | ( | x | ) | ((x)==bdt_undefined) |
#define COMMUNICATION | ( | x | ) | ((communication)((x).p)) |
#define communication_broadcast_ | ( | x | ) | communication_broadcast(x) /**old hack compatible */ |
#define communication_CAST | ( | x | ) | COMMUNICATION(x) |
#define COMMUNICATION_CAST | ( | x | ) | COMMUNICATION(x) |
#define communication_domain (_gen_paf_ri_start+2) |
#define COMMUNICATION_NEWGEN_DOMAIN (communication_domain) |
#define communication_NEWGEN_DOMAIN (communication_domain) |
#define communication_reduction_ | ( | x | ) | communication_reduction(x) /**old hack compatible */ |
#define communication_shift_ | ( | x | ) | communication_shift(x) /**old hack compatible */ |
#define COMMUNICATION_TYPE communication |
#define communication_TYPE communication |
#define communication_undefined ((communication)gen_chunk_undefined) |
#define communication_undefined_p | ( | x | ) | ((x)==communication_undefined) |
#define CONDITIONAL | ( | x | ) | ((conditional)((x).p)) |
#define conditional_CAST | ( | x | ) | CONDITIONAL(x) |
#define CONDITIONAL_CAST | ( | x | ) | CONDITIONAL(x) |
#define conditional_domain (_gen_paf_ri_start+3) |
#define conditional_false_quast_ | ( | x | ) | conditional_false_quast(x) /**old hack compatible */ |
#define CONDITIONAL_NEWGEN_DOMAIN (conditional_domain) |
#define conditional_NEWGEN_DOMAIN (conditional_domain) |
#define conditional_predicate_ | ( | x | ) | conditional_predicate(x) /**old hack compatible */ |
#define conditional_true_quast_ | ( | x | ) | conditional_true_quast(x) /**old hack compatible */ |
#define CONDITIONAL_TYPE conditional |
#define conditional_TYPE conditional |
#define conditional_undefined ((conditional)gen_chunk_undefined) |
#define conditional_undefined_p | ( | x | ) | ((x)==conditional_undefined) |
#define dataflow_communication_ | ( | x | ) | dataflow_communication(x) /**old hack compatible */ |
#define dataflow_domain (_gen_paf_ri_start+4) |
#define dataflow_governing_pred_ | ( | x | ) | dataflow_governing_pred(x) /**old hack compatible */ |
#define DATAFLOW_NEWGEN_DOMAIN (dataflow_domain) |
#define dataflow_NEWGEN_DOMAIN (dataflow_domain) |
#define dataflow_reference_ | ( | x | ) | dataflow_reference(x) /**old hack compatible */ |
#define dataflow_transformation_ | ( | x | ) | dataflow_transformation(x) /**old hack compatible */ |
#define dataflow_undefined ((dataflow)gen_chunk_undefined) |
#define dataflow_undefined_p | ( | x | ) | ((x)==dataflow_undefined) |
#define DFG_ARC_LABEL | ( | x | ) | ((dfg_arc_label)((x).p)) |
#define dfg_arc_label_CAST | ( | x | ) | DFG_ARC_LABEL(x) |
#define DFG_ARC_LABEL_CAST | ( | x | ) | DFG_ARC_LABEL(x) |
#define dfg_arc_label_domain (_gen_paf_ri_start+5) |
#define DFG_ARC_LABEL_NEWGEN_DOMAIN (dfg_arc_label_domain) |
#define dfg_arc_label_NEWGEN_DOMAIN (dfg_arc_label_domain) |
#define DFG_ARC_LABEL_TYPE dfg_arc_label |
#define dfg_arc_label_TYPE dfg_arc_label |
#define dfg_arc_label_undefined ((dfg_arc_label)gen_chunk_undefined) |
#define dfg_arc_label_undefined_p | ( | x | ) | ((x)==dfg_arc_label_undefined) |
#define DFG_VERTEX_LABEL | ( | x | ) | ((dfg_vertex_label)((x).p)) |
#define dfg_vertex_label_CAST | ( | x | ) | DFG_VERTEX_LABEL(x) |
#define DFG_VERTEX_LABEL_CAST | ( | x | ) | DFG_VERTEX_LABEL(x) |
#define dfg_vertex_label_domain (_gen_paf_ri_start+6) |
#define dfg_vertex_label_exec_domain_ | ( | x | ) | dfg_vertex_label_exec_domain(x) /**old hack compatible */ |
#define DFG_VERTEX_LABEL_NEWGEN_DOMAIN (dfg_vertex_label_domain) |
#define dfg_vertex_label_NEWGEN_DOMAIN (dfg_vertex_label_domain) |
#define dfg_vertex_label_sccflags_ | ( | x | ) | dfg_vertex_label_sccflags(x) /**old hack compatible */ |
#define dfg_vertex_label_statement_ | ( | x | ) | dfg_vertex_label_statement(x) /**old hack compatible */ |
#define DFG_VERTEX_LABEL_TYPE dfg_vertex_label |
#define dfg_vertex_label_TYPE dfg_vertex_label |
#define dfg_vertex_label_undefined ((dfg_vertex_label)gen_chunk_undefined) |
#define dfg_vertex_label_undefined_p | ( | x | ) | ((x)==dfg_vertex_label_undefined) |
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
#define entity_NEWGEN_DOMAIN (entity_domain) |
#define EXPRESSION_NEWGEN_DOMAIN (expression_domain) |
#define expression_NEWGEN_DOMAIN (expression_domain) |
#define gen_BDT_cons gen_bdt_cons |
#define gen_COMMUNICATION_cons gen_communication_cons |
#define gen_CONDITIONAL_cons gen_conditional_cons |
#define gen_DATAFLOW_cons gen_dataflow_cons |
#define gen_DFG_ARC_LABEL_cons gen_dfg_arc_label_cons |
#define gen_DFG_VERTEX_LABEL_cons gen_dfg_vertex_label_cons |
#define gen_LEAF_LABEL_cons gen_leaf_label_cons |
#define gen_LISP_EXPRESSION_cons gen_lisp_expression_cons |
#define gen_PLACEMENT_cons gen_placement_cons |
#define gen_PLC_cons gen_plc_cons |
#define gen_QUAST_cons gen_quast_cons |
#define gen_QUAST_LEAF_cons gen_quast_leaf_cons |
#define gen_QUAST_VALUE_cons gen_quast_value_cons |
#define gen_SCHEDULE_cons gen_schedule_cons |
#define gen_STATIC_CONTROL_cons gen_static_control_cons |
#define gen_VAR_VAL_cons gen_var_val_cons |
#define LEAF_LABEL | ( | x | ) | ((leaf_label)((x).p)) |
#define leaf_label_CAST | ( | x | ) | LEAF_LABEL(x) |
#define LEAF_LABEL_CAST | ( | x | ) | LEAF_LABEL(x) |
#define leaf_label_depth_ | ( | x | ) | leaf_label_depth(x) /**old hack compatible */ |
#define leaf_label_domain (_gen_paf_ri_start+7) |
#define LEAF_LABEL_NEWGEN_DOMAIN (leaf_label_domain) |
#define leaf_label_NEWGEN_DOMAIN (leaf_label_domain) |
#define leaf_label_statement_ | ( | x | ) | leaf_label_statement(x) /**old hack compatible */ |
#define LEAF_LABEL_TYPE leaf_label |
#define leaf_label_TYPE leaf_label |
#define leaf_label_undefined ((leaf_label)gen_chunk_undefined) |
#define leaf_label_undefined_p | ( | x | ) | ((x)==leaf_label_undefined) |
#define LISP_EXPRESSION | ( | x | ) | ((lisp_expression)((x).p)) |
#define lisp_expression_args_ | ( | x | ) | lisp_expression_args(x) /**old hack compatible */ |
#define lisp_expression_CAST | ( | x | ) | LISP_EXPRESSION(x) |
#define LISP_EXPRESSION_CAST | ( | x | ) | LISP_EXPRESSION(x) |
#define lisp_expression_domain (_gen_paf_ri_start+8) |
#define LISP_EXPRESSION_NEWGEN_DOMAIN (lisp_expression_domain) |
#define lisp_expression_NEWGEN_DOMAIN (lisp_expression_domain) |
#define lisp_expression_operation_ | ( | x | ) | lisp_expression_operation(x) /**old hack compatible */ |
#define LISP_EXPRESSION_TYPE lisp_expression |
#define lisp_expression_TYPE lisp_expression |
#define lisp_expression_undefined ((lisp_expression)gen_chunk_undefined) |
#define lisp_expression_undefined_p | ( | x | ) | ((x)==lisp_expression_undefined) |
#define LOOP_NEWGEN_DOMAIN (loop_domain) |
#define loop_NEWGEN_DOMAIN (loop_domain) |
#define paf_ri_spec "\--NEWGEN-START 232\n\import reference from \"ri.newgen\";\n\import predicate from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\import loop from \"ri.newgen\";\n\import statement from \"ri.newgen\";\n\import entity from \"ri.newgen\";\n\import sccflags from \"dg.newgen\";\n\external Pvecteur;\n\bdt = schedules:schedule*;\n\communication = broadcast:predicate x reduction:predicate x shift:predicate;\n\conditional = predicate:predicate x true_quast:quast x false_quast:quast;\n\dataflow = reference:reference x transformation:expression* x governing_pred:predicate x communication:communication;\n\dfg_arc_label = dataflows:dataflow*;\n\dfg_vertex_label = statement:int x exec_domain:predicate x sccflags:sccflags;\n\leaf_label = statement:int x depth:int;\n\lisp_expression = operation:string x args:expression*;\n\placement = statement:int x dims:expression*;\n\plc = placements:placement*;\n\quast_leaf = solution:expression* x leaf_label:leaf_label;\n\quast = quast_value:quast_value x newparms:var_val*;\n\quast_value = quast_leaf:quast_leaf + conditional:conditional;\n\schedule = statement:int x predicate:predicate x dims:expression*;\n\static_control = yes:bool x params:entity* x loops:loop* x tests:expression*;\n\var_val = variable:entity x value:expression;\n\" |
#define placement_dims_ | ( | x | ) | placement_dims(x) /**old hack compatible */ |
#define placement_domain (_gen_paf_ri_start+9) |
#define PLACEMENT_NEWGEN_DOMAIN (placement_domain) |
#define placement_NEWGEN_DOMAIN (placement_domain) |
#define placement_statement_ | ( | x | ) | placement_statement(x) /**old hack compatible */ |
#define placement_undefined ((placement)gen_chunk_undefined) |
#define placement_undefined_p | ( | x | ) | ((x)==placement_undefined) |
#define plc_domain (_gen_paf_ri_start+10) |
#define PLC_NEWGEN_DOMAIN (plc_domain) |
#define plc_NEWGEN_DOMAIN (plc_domain) |
#define plc_undefined ((plc)gen_chunk_undefined) |
#define plc_undefined_p | ( | x | ) | ((x)==plc_undefined) |
#define PREDICATE_NEWGEN_DOMAIN (predicate_domain) |
#define predicate_NEWGEN_DOMAIN (predicate_domain) |
#define PVECTEUR_NEWGEN_DOMAIN (PVECTEUR_NEWGEN_EXTERNAL) |
#define Pvecteur_NEWGEN_DOMAIN (PVECTEUR_NEWGEN_EXTERNAL) |
#define PVECTEUR_NEWGEN_EXTERNAL (_gen_paf_ri_start+0) |
#define quast_domain (_gen_paf_ri_start+12) |
#define QUAST_LEAF | ( | x | ) | ((quast_leaf)((x).p)) |
#define quast_leaf_CAST | ( | x | ) | QUAST_LEAF(x) |
#define QUAST_LEAF_CAST | ( | x | ) | QUAST_LEAF(x) |
#define quast_leaf_domain (_gen_paf_ri_start+11) |
#define quast_leaf_leaf_label_ | ( | x | ) | quast_leaf_leaf_label(x) /**old hack compatible */ |
#define QUAST_LEAF_NEWGEN_DOMAIN (quast_leaf_domain) |
#define quast_leaf_NEWGEN_DOMAIN (quast_leaf_domain) |
#define quast_leaf_solution_ | ( | x | ) | quast_leaf_solution(x) /**old hack compatible */ |
#define QUAST_LEAF_TYPE quast_leaf |
#define quast_leaf_TYPE quast_leaf |
#define quast_leaf_undefined ((quast_leaf)gen_chunk_undefined) |
#define quast_leaf_undefined_p | ( | x | ) | ((x)==quast_leaf_undefined) |
#define QUAST_NEWGEN_DOMAIN (quast_domain) |
#define quast_NEWGEN_DOMAIN (quast_domain) |
#define quast_newparms_ | ( | x | ) | quast_newparms(x) /**old hack compatible */ |
#define quast_quast_value_ | ( | x | ) | quast_quast_value(x) /**old hack compatible */ |
#define quast_undefined ((quast)gen_chunk_undefined) |
#define quast_undefined_p | ( | x | ) | ((x)==quast_undefined) |
#define QUAST_VALUE | ( | x | ) | ((quast_value)((x).p)) |
#define quast_value_CAST | ( | x | ) | QUAST_VALUE(x) |
#define QUAST_VALUE_CAST | ( | x | ) | QUAST_VALUE(x) |
#define quast_value_conditional_ | ( | x | ) | quast_value_conditional(x) /**old hack compatible */ |
#define quast_value_conditional_p | ( | x | ) | (quast_value_tag(x)==is_quast_value_conditional) |
#define quast_value_domain (_gen_paf_ri_start+13) |
#define QUAST_VALUE_NEWGEN_DOMAIN (quast_value_domain) |
#define quast_value_NEWGEN_DOMAIN (quast_value_domain) |
#define quast_value_quast_leaf_ | ( | x | ) | quast_value_quast_leaf(x) /**old hack compatible */ |
#define quast_value_quast_leaf_p | ( | x | ) | (quast_value_tag(x)==is_quast_value_quast_leaf) |
#define QUAST_VALUE_TYPE quast_value |
#define quast_value_TYPE quast_value |
#define quast_value_undefined ((quast_value)gen_chunk_undefined) |
#define quast_value_undefined_p | ( | x | ) | ((x)==quast_value_undefined) |
#define REFERENCE_NEWGEN_DOMAIN (reference_domain) |
#define reference_NEWGEN_DOMAIN (reference_domain) |
#define SCCFLAGS_NEWGEN_DOMAIN (sccflags_domain) |
#define sccflags_NEWGEN_DOMAIN (sccflags_domain) |
#define schedule_dims_ | ( | x | ) | schedule_dims(x) /**old hack compatible */ |
#define schedule_domain (_gen_paf_ri_start+14) |
#define SCHEDULE_NEWGEN_DOMAIN (schedule_domain) |
#define schedule_NEWGEN_DOMAIN (schedule_domain) |
#define schedule_predicate_ | ( | x | ) | schedule_predicate(x) /**old hack compatible */ |
#define schedule_statement_ | ( | x | ) | schedule_statement(x) /**old hack compatible */ |
#define schedule_undefined ((schedule)gen_chunk_undefined) |
#define schedule_undefined_p | ( | x | ) | ((x)==schedule_undefined) |
#define STATEMENT_NEWGEN_DOMAIN (statement_domain) |
#define statement_NEWGEN_DOMAIN (statement_domain) |
#define STATIC_CONTROL | ( | x | ) | ((static_control)((x).p)) |
#define static_control_CAST | ( | x | ) | STATIC_CONTROL(x) |
#define STATIC_CONTROL_CAST | ( | x | ) | STATIC_CONTROL(x) |
#define static_control_domain (_gen_paf_ri_start+15) |
#define static_control_loops_ | ( | x | ) | static_control_loops(x) /**old hack compatible */ |
#define STATIC_CONTROL_NEWGEN_DOMAIN (static_control_domain) |
#define static_control_NEWGEN_DOMAIN (static_control_domain) |
#define static_control_params_ | ( | x | ) | static_control_params(x) /**old hack compatible */ |
#define static_control_tests_ | ( | x | ) | static_control_tests(x) /**old hack compatible */ |
#define STATIC_CONTROL_TYPE static_control |
#define static_control_TYPE static_control |
#define static_control_undefined ((static_control)gen_chunk_undefined) |
#define static_control_undefined_p | ( | x | ) | ((x)==static_control_undefined) |
#define static_control_yes_ | ( | x | ) | static_control_yes(x) /**old hack compatible */ |
#define var_val_domain (_gen_paf_ri_start+16) |
#define VAR_VAL_NEWGEN_DOMAIN (var_val_domain) |
#define var_val_NEWGEN_DOMAIN (var_val_domain) |
#define var_val_undefined ((var_val)gen_chunk_undefined) |
#define var_val_undefined_p | ( | x | ) | ((x)==var_val_undefined) |
#define var_val_value_ | ( | x | ) | var_val_value(x) /**old hack compatible */ |
#define var_val_variable_ | ( | x | ) | var_val_variable(x) /**old hack compatible */ |
typedef struct _newgen_struct_bdt_* bdt |
typedef struct _newgen_struct_communication_* communication |
typedef struct _newgen_struct_conditional_* conditional |
typedef struct _newgen_struct_dataflow_* dataflow |
typedef struct _newgen_struct_dfg_arc_label_* dfg_arc_label |
typedef struct _newgen_struct_dfg_vertex_label_* dfg_vertex_label |
typedef struct _newgen_struct_entity_* entity |
typedef struct _newgen_struct_expression_* expression |
typedef struct _newgen_struct_leaf_label_* leaf_label |
typedef struct _newgen_struct_lisp_expression_* lisp_expression |
typedef struct _newgen_struct_loop_* loop |
typedef struct _newgen_struct_placement_* placement |
typedef struct _newgen_struct_plc_* plc |
typedef struct _newgen_struct_predicate_* predicate |
typedef struct _newgen_struct_quast_* quast |
typedef struct _newgen_struct_quast_leaf_* quast_leaf |
typedef struct _newgen_struct_quast_value_* quast_value |
typedef struct _newgen_struct_reference_* reference |
typedef struct _newgen_struct_sccflags_* sccflags |
typedef struct _newgen_struct_schedule_* schedule |
typedef struct _newgen_struct_statement_* statement |
typedef struct _newgen_struct_static_control_* static_control |
typedef struct _newgen_struct_var_val_* var_val |
enum quast_value_utype |
Definition at line 37 of file paf_ri.c.
References bdt_defined_p(), check_bdt(), and message_assert.
Definition at line 27 of file paf_ri.c.
References check_bdt(), and gen_consistent_p().
Definition at line 31 of file paf_ri.c.
References gen_defined_p().
Referenced by bdt_assign_contents().
void bdt_non_recursive_free | ( | bdt | p | ) |
Definition at line 24 of file paf_ri.c.
References bdt_domain, and gen_check().
Referenced by bdt_assign_contents(), and bdt_consistent_p().
communication check_communication | ( | communication | p | ) |
Definition at line 66 of file paf_ri.c.
References communication_domain, and gen_check().
Referenced by communication_assign_contents(), and communication_consistent_p().
conditional check_conditional | ( | conditional | p | ) |
Definition at line 108 of file paf_ri.c.
References conditional_domain, and gen_check().
Referenced by conditional_assign_contents(), and conditional_consistent_p().
Definition at line 150 of file paf_ri.c.
References dataflow_domain, and gen_check().
Referenced by dataflow_assign_contents(), and dataflow_consistent_p().
dfg_arc_label check_dfg_arc_label | ( | dfg_arc_label | p | ) |
Definition at line 192 of file paf_ri.c.
References dfg_arc_label_domain, and gen_check().
Referenced by dfg_arc_label_assign_contents(), and dfg_arc_label_consistent_p().
dfg_vertex_label check_dfg_vertex_label | ( | dfg_vertex_label | p | ) |
Definition at line 234 of file paf_ri.c.
References dfg_vertex_label_domain, and gen_check().
Referenced by dfg_vertex_label_assign_contents(), and dfg_vertex_label_consistent_p().
leaf_label check_leaf_label | ( | leaf_label | p | ) |
Definition at line 276 of file paf_ri.c.
References gen_check(), and leaf_label_domain.
Referenced by leaf_label_assign_contents(), and leaf_label_consistent_p().
lisp_expression check_lisp_expression | ( | lisp_expression | p | ) |
Definition at line 318 of file paf_ri.c.
References gen_check(), and lisp_expression_domain.
Referenced by lisp_expression_assign_contents(), and lisp_expression_consistent_p().
Definition at line 360 of file paf_ri.c.
References gen_check(), and placement_domain.
Referenced by placement_assign_contents(), and placement_consistent_p().
Definition at line 402 of file paf_ri.c.
References gen_check(), and plc_domain.
Referenced by plc_assign_contents(), and plc_consistent_p().
Definition at line 486 of file paf_ri.c.
References gen_check(), and quast_domain.
Referenced by quast_assign_contents(), and quast_consistent_p().
quast_leaf check_quast_leaf | ( | quast_leaf | p | ) |
Definition at line 444 of file paf_ri.c.
References gen_check(), and quast_leaf_domain.
Referenced by quast_leaf_assign_contents(), and quast_leaf_consistent_p().
quast_value check_quast_value | ( | quast_value | p | ) |
Definition at line 528 of file paf_ri.c.
References gen_check(), and quast_value_domain.
Referenced by quast_value_assign_contents(), and quast_value_consistent_p().
Definition at line 583 of file paf_ri.c.
References gen_check(), and schedule_domain.
Referenced by schedule_assign_contents(), and schedule_consistent_p().
static_control check_static_control | ( | static_control | p | ) |
Definition at line 625 of file paf_ri.c.
References gen_check(), and static_control_domain.
Referenced by static_control_assign_contents(), and static_control_consistent_p().
Definition at line 667 of file paf_ri.c.
References gen_check(), and var_val_domain.
Referenced by var_val_assign_contents(), and var_val_consistent_p().
void communication_assign_contents | ( | communication | r, |
communication | v | ||
) |
Definition at line 79 of file paf_ri.c.
References check_communication(), communication_defined_p(), and message_assert.
bool communication_consistent_p | ( | communication | p | ) |
Definition at line 69 of file paf_ri.c.
References check_communication(), and gen_consistent_p().
bool communication_defined_p | ( | communication | p | ) |
Definition at line 73 of file paf_ri.c.
References gen_defined_p().
Referenced by communication_assign_contents().
void communication_non_recursive_free | ( | communication | p | ) |
void conditional_assign_contents | ( | conditional | r, |
conditional | v | ||
) |
Definition at line 121 of file paf_ri.c.
References check_conditional(), conditional_defined_p(), and message_assert.
bool conditional_consistent_p | ( | conditional | p | ) |
Definition at line 111 of file paf_ri.c.
References check_conditional(), and gen_consistent_p().
bool conditional_defined_p | ( | conditional | p | ) |
Definition at line 115 of file paf_ri.c.
References gen_defined_p().
Referenced by conditional_assign_contents().
void conditional_non_recursive_free | ( | conditional | p | ) |
BDT.
Definition at line 18 of file paf_ri.c.
References gen_copy_tree().
communication copy_communication | ( | communication | p | ) |
COMMUNICATION.
Definition at line 60 of file paf_ri.c.
References gen_copy_tree().
conditional copy_conditional | ( | conditional | p | ) |
CONDITIONAL.
Definition at line 102 of file paf_ri.c.
References gen_copy_tree().
DATAFLOW.
Definition at line 144 of file paf_ri.c.
References gen_copy_tree().
dfg_arc_label copy_dfg_arc_label | ( | dfg_arc_label | p | ) |
DFG_ARC_LABEL.
Definition at line 186 of file paf_ri.c.
References gen_copy_tree().
Referenced by adg_dup_disjunctive_nodes().
dfg_vertex_label copy_dfg_vertex_label | ( | dfg_vertex_label | p | ) |
DFG_VERTEX_LABEL.
Definition at line 228 of file paf_ri.c.
References gen_copy_tree().
Referenced by dfg_reverse_graph().
leaf_label copy_leaf_label | ( | leaf_label | p | ) |
LEAF_LABEL.
Definition at line 270 of file paf_ri.c.
References gen_copy_tree().
lisp_expression copy_lisp_expression | ( | lisp_expression | p | ) |
LISP_EXPRESSION.
Definition at line 312 of file paf_ri.c.
References gen_copy_tree().
PLACEMENT.
Definition at line 354 of file paf_ri.c.
References gen_copy_tree().
PLC.
Definition at line 396 of file paf_ri.c.
References gen_copy_tree().
QUAST.
Definition at line 480 of file paf_ri.c.
References gen_copy_tree().
Referenced by adg_max_of_leaves(), and adg_path_max_source().
quast_leaf copy_quast_leaf | ( | quast_leaf | p | ) |
QUAST_LEAF.
Definition at line 438 of file paf_ri.c.
References gen_copy_tree().
quast_value copy_quast_value | ( | quast_value | p | ) |
QUAST_VALUE.
Definition at line 522 of file paf_ri.c.
References gen_copy_tree().
Referenced by adg_max_of_leaves(), and adg_path_max_source().
SCHEDULE.
Definition at line 577 of file paf_ri.c.
References gen_copy_tree().
static_control copy_static_control | ( | static_control | p | ) |
STATIC_CONTROL.
Definition at line 619 of file paf_ri.c.
References gen_copy_tree().
VAR_VAL.
Definition at line 661 of file paf_ri.c.
References gen_copy_tree().
Definition at line 163 of file paf_ri.c.
References check_dataflow(), dataflow_defined_p(), and message_assert.
Definition at line 153 of file paf_ri.c.
References check_dataflow(), and gen_consistent_p().
Definition at line 157 of file paf_ri.c.
References gen_defined_p().
Referenced by dataflow_assign_contents().
void dataflow_non_recursive_free | ( | dataflow | p | ) |
void dfg_arc_label_assign_contents | ( | dfg_arc_label | r, |
dfg_arc_label | v | ||
) |
Definition at line 205 of file paf_ri.c.
References check_dfg_arc_label(), dfg_arc_label_defined_p(), and message_assert.
bool dfg_arc_label_consistent_p | ( | dfg_arc_label | p | ) |
Definition at line 195 of file paf_ri.c.
References check_dfg_arc_label(), and gen_consistent_p().
bool dfg_arc_label_defined_p | ( | dfg_arc_label | p | ) |
Definition at line 199 of file paf_ri.c.
References gen_defined_p().
Referenced by dfg_arc_label_assign_contents().
void dfg_arc_label_non_recursive_free | ( | dfg_arc_label | p | ) |
void dfg_vertex_label_assign_contents | ( | dfg_vertex_label | r, |
dfg_vertex_label | v | ||
) |
Definition at line 247 of file paf_ri.c.
References check_dfg_vertex_label(), dfg_vertex_label_defined_p(), and message_assert.
bool dfg_vertex_label_consistent_p | ( | dfg_vertex_label | p | ) |
Definition at line 237 of file paf_ri.c.
References check_dfg_vertex_label(), and gen_consistent_p().
bool dfg_vertex_label_defined_p | ( | dfg_vertex_label | p | ) |
Definition at line 241 of file paf_ri.c.
References gen_defined_p().
Referenced by dfg_vertex_label_assign_contents().
void dfg_vertex_label_non_recursive_free | ( | dfg_vertex_label | p | ) |
void free_bdt | ( | bdt | p | ) |
Definition at line 21 of file paf_ri.c.
References gen_free().
void free_communication | ( | communication | p | ) |
Definition at line 63 of file paf_ri.c.
References gen_free().
void free_conditional | ( | conditional | p | ) |
Definition at line 105 of file paf_ri.c.
References gen_free().
void free_dataflow | ( | dataflow | p | ) |
Definition at line 147 of file paf_ri.c.
References gen_free().
void free_dfg_arc_label | ( | dfg_arc_label | p | ) |
Definition at line 189 of file paf_ri.c.
References gen_free().
void free_dfg_vertex_label | ( | dfg_vertex_label | p | ) |
Definition at line 231 of file paf_ri.c.
References gen_free().
void free_leaf_label | ( | leaf_label | p | ) |
Definition at line 273 of file paf_ri.c.
References gen_free().
void free_lisp_expression | ( | lisp_expression | p | ) |
Definition at line 315 of file paf_ri.c.
References gen_free().
void free_placement | ( | placement | p | ) |
Definition at line 357 of file paf_ri.c.
References gen_free().
void free_plc | ( | plc | p | ) |
Definition at line 399 of file paf_ri.c.
References gen_free().
void free_quast | ( | quast | p | ) |
Definition at line 483 of file paf_ri.c.
References gen_free().
Referenced by adg_compact_quast(), and compact_quast().
void free_quast_leaf | ( | quast_leaf | p | ) |
Definition at line 441 of file paf_ri.c.
References gen_free().
void free_quast_value | ( | quast_value | p | ) |
Definition at line 525 of file paf_ri.c.
References gen_free().
void free_schedule | ( | schedule | p | ) |
Definition at line 580 of file paf_ri.c.
References gen_free().
void free_static_control | ( | static_control | p | ) |
Definition at line 622 of file paf_ri.c.
References gen_free().
void free_var_val | ( | var_val | p | ) |
Definition at line 664 of file paf_ri.c.
References gen_free().
Definition at line 34 of file paf_ri.c.
References BDT_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_communication_cons | ( | communication | p, |
list | l | ||
) |
Definition at line 76 of file paf_ri.c.
References COMMUNICATION_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_conditional_cons | ( | conditional | p, |
list | l | ||
) |
Definition at line 118 of file paf_ri.c.
References CONDITIONAL_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 160 of file paf_ri.c.
References DATAFLOW_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_dfg_arc_label_cons | ( | dfg_arc_label | p, |
list | l | ||
) |
Definition at line 202 of file paf_ri.c.
References DFG_ARC_LABEL_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_dfg_vertex_label_cons | ( | dfg_vertex_label | p, |
list | l | ||
) |
Definition at line 244 of file paf_ri.c.
References DFG_VERTEX_LABEL_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_leaf_label_cons | ( | leaf_label | p, |
list | l | ||
) |
Definition at line 286 of file paf_ri.c.
References gen_typed_cons(), and LEAF_LABEL_NEWGEN_DOMAIN.
list gen_lisp_expression_cons | ( | lisp_expression | p, |
list | l | ||
) |
Definition at line 328 of file paf_ri.c.
References gen_typed_cons(), and LISP_EXPRESSION_NEWGEN_DOMAIN.
Definition at line 370 of file paf_ri.c.
References gen_typed_cons(), and PLACEMENT_NEWGEN_DOMAIN.
Definition at line 412 of file paf_ri.c.
References gen_typed_cons(), and PLC_NEWGEN_DOMAIN.
Definition at line 496 of file paf_ri.c.
References gen_typed_cons(), and QUAST_NEWGEN_DOMAIN.
list gen_quast_leaf_cons | ( | quast_leaf | p, |
list | l | ||
) |
Definition at line 454 of file paf_ri.c.
References gen_typed_cons(), and QUAST_LEAF_NEWGEN_DOMAIN.
list gen_quast_value_cons | ( | quast_value | p, |
list | l | ||
) |
Definition at line 538 of file paf_ri.c.
References gen_typed_cons(), and QUAST_VALUE_NEWGEN_DOMAIN.
Definition at line 593 of file paf_ri.c.
References gen_typed_cons(), and SCHEDULE_NEWGEN_DOMAIN.
list gen_static_control_cons | ( | static_control | p, |
list | l | ||
) |
Definition at line 635 of file paf_ri.c.
References gen_typed_cons(), and STATIC_CONTROL_NEWGEN_DOMAIN.
Definition at line 677 of file paf_ri.c.
References gen_typed_cons(), and VAR_VAL_NEWGEN_DOMAIN.
void leaf_label_assign_contents | ( | leaf_label | r, |
leaf_label | v | ||
) |
Definition at line 289 of file paf_ri.c.
References check_leaf_label(), leaf_label_defined_p(), and message_assert.
bool leaf_label_consistent_p | ( | leaf_label | p | ) |
Definition at line 279 of file paf_ri.c.
References check_leaf_label(), and gen_consistent_p().
bool leaf_label_defined_p | ( | leaf_label | p | ) |
Definition at line 283 of file paf_ri.c.
References gen_defined_p().
Referenced by leaf_label_assign_contents().
void leaf_label_non_recursive_free | ( | leaf_label | p | ) |
void lisp_expression_assign_contents | ( | lisp_expression | r, |
lisp_expression | v | ||
) |
Definition at line 331 of file paf_ri.c.
References check_lisp_expression(), lisp_expression_defined_p(), and message_assert.
bool lisp_expression_consistent_p | ( | lisp_expression | p | ) |
Definition at line 321 of file paf_ri.c.
References check_lisp_expression(), and gen_consistent_p().
bool lisp_expression_defined_p | ( | lisp_expression | p | ) |
Definition at line 325 of file paf_ri.c.
References gen_defined_p().
Referenced by lisp_expression_assign_contents().
void lisp_expression_non_recursive_free | ( | lisp_expression | p | ) |
Definition at line 54 of file paf_ri.c.
References bdt_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by analyze_quast(), bdt_init_new_base(), build_bdt_null(), make_bdt_initial(), and true_copy_bdt().
communication make_communication | ( | predicate | a1, |
predicate | a2, | ||
predicate | a3 | ||
) |
Definition at line 96 of file paf_ri.c.
References communication_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by broadcast_of_dataflow().
conditional make_conditional | ( | predicate | a1, |
quast | a2, | ||
quast | a3 | ||
) |
Definition at line 138 of file paf_ri.c.
References conditional_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by adg_compact_quast(), adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), adg_max_of_leaves(), adg_path_max_source(), and fait_quast_value().
dataflow make_dataflow | ( | reference | a1, |
list | a2, | ||
predicate | a3, | ||
communication | a4 | ||
) |
Definition at line 180 of file paf_ri.c.
References dataflow_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by adg_update_dfg(), and finish_new_df_source().
dfg_arc_label make_dfg_arc_label | ( | list | a | ) |
Definition at line 222 of file paf_ri.c.
References dfg_arc_label_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by adg_update_dfg(), and finish_new_df_source().
dfg_vertex_label make_dfg_vertex_label | ( | intptr_t | a1, |
predicate | a2, | ||
sccflags | a3 | ||
) |
Definition at line 264 of file paf_ri.c.
References dfg_vertex_label_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), adg_dup_disjunctive_nodes(), adg_update_dfg(), dfg_vertex_label_dup(), finish_new_df_source(), and new_df_sink_ins().
leaf_label make_leaf_label | ( | intptr_t | a1, |
intptr_t | a2 | ||
) |
Definition at line 306 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and leaf_label_domain.
Referenced by adg_dataflowgraph(), and adg_dataflowgraph_with_extremities().
lisp_expression make_lisp_expression | ( | string | a1, |
list | a2 | ||
) |
Definition at line 348 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and lisp_expression_domain.
Referenced by bdt_init_op_exp(), and init_op_exp().
Definition at line 390 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and placement_domain.
Referenced by prgm_mapping().
Definition at line 432 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and plc_domain.
Referenced by prgm_mapping().
quast make_quast | ( | quast_value | a1, |
list | a2 | ||
) |
Definition at line 516 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and quast_domain.
Referenced by adg_compact_quast(), adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), adg_max_of_leaves(), adg_path_max_source(), and fait_quast().
quast_leaf make_quast_leaf | ( | list | a1, |
leaf_label | a2 | ||
) |
Definition at line 474 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and quast_leaf_domain.
Referenced by adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), adg_enrichir(), and creer_quast_value().
quast_value make_quast_value | ( | enum | quast_value_utype, |
void * | val | ||
) |
Definition at line 565 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and quast_value_domain.
Referenced by adg_compact_quast(), adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), adg_max_of_leaves(), adg_path_max_source(), creer_quast_value(), fait_quast_value(), make_quast_value_conditional(), and make_quast_value_quast_leaf().
quast_value make_quast_value_conditional | ( | conditional | _field_ | ) |
Definition at line 571 of file paf_ri.c.
References intptr_t, is_quast_value_conditional, and make_quast_value().
quast_value make_quast_value_quast_leaf | ( | quast_leaf | _field_ | ) |
Definition at line 568 of file paf_ri.c.
References intptr_t, is_quast_value_quast_leaf, and make_quast_value().
Definition at line 613 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and schedule_domain.
Referenced by analyze_quast(), bdt_new_shedule(), build_bdt_null(), make_bdt_initial(), and true_copy_schedule().
static_control make_static_control | ( | bool | a1, |
list | a2, | ||
list | a3, | ||
list | a4 | ||
) |
Definition at line 655 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and static_control_domain.
Referenced by finish_new_gd_ins(), static_controlize_call(), static_controlize_statement(), and static_controlize_unstructured().
var_val make_var_val | ( | entity | a1, |
expression | a2 | ||
) |
Definition at line 697 of file paf_ri.c.
References gen_alloc(), GEN_CHECK_ALLOC, and var_val_domain.
Referenced by ajoute_new_var().
Definition at line 373 of file paf_ri.c.
References check_placement(), message_assert, and placement_defined_p().
Definition at line 363 of file paf_ri.c.
References check_placement(), and gen_consistent_p().
Definition at line 367 of file paf_ri.c.
References gen_defined_p().
Referenced by placement_assign_contents().
void placement_non_recursive_free | ( | placement | p | ) |
Definition at line 415 of file paf_ri.c.
References check_plc(), message_assert, and plc_defined_p().
Definition at line 405 of file paf_ri.c.
References check_plc(), and gen_consistent_p().
Definition at line 409 of file paf_ri.c.
References gen_defined_p().
Referenced by plc_assign_contents().
void plc_non_recursive_free | ( | plc | p | ) |
Definition at line 499 of file paf_ri.c.
References check_quast(), message_assert, and quast_defined_p().
Definition at line 489 of file paf_ri.c.
References check_quast(), and gen_consistent_p().
Definition at line 493 of file paf_ri.c.
References gen_defined_p().
Referenced by quast_assign_contents().
void quast_leaf_assign_contents | ( | quast_leaf | r, |
quast_leaf | v | ||
) |
Definition at line 457 of file paf_ri.c.
References check_quast_leaf(), message_assert, and quast_leaf_defined_p().
bool quast_leaf_consistent_p | ( | quast_leaf | p | ) |
Definition at line 447 of file paf_ri.c.
References check_quast_leaf(), and gen_consistent_p().
bool quast_leaf_defined_p | ( | quast_leaf | p | ) |
Definition at line 451 of file paf_ri.c.
References gen_defined_p().
Referenced by quast_leaf_assign_contents().
void quast_leaf_non_recursive_free | ( | quast_leaf | p | ) |
void quast_non_recursive_free | ( | quast | p | ) |
void quast_value_assign_contents | ( | quast_value | r, |
quast_value | v | ||
) |
Definition at line 541 of file paf_ri.c.
References check_quast_value(), message_assert, and quast_value_defined_p().
bool quast_value_consistent_p | ( | quast_value | p | ) |
Definition at line 531 of file paf_ri.c.
References check_quast_value(), and gen_consistent_p().
bool quast_value_defined_p | ( | quast_value | p | ) |
Definition at line 535 of file paf_ri.c.
References gen_defined_p().
Referenced by quast_value_assign_contents().
void quast_value_non_recursive_free | ( | quast_value | p | ) |
string quast_value_tag_as_string | ( | enum | quast_value_utype | ) |
Definition at line 558 of file paf_ri.c.
References is_quast_value_conditional, is_quast_value_quast_leaf, and string_undefined.
bdt read_bdt | ( | FILE * | f | ) |
Definition at line 51 of file paf_ri.c.
References f(), and gen_read().
communication read_communication | ( | FILE * | f | ) |
Definition at line 93 of file paf_ri.c.
References f(), and gen_read().
conditional read_conditional | ( | FILE * | f | ) |
Definition at line 135 of file paf_ri.c.
References f(), and gen_read().
dataflow read_dataflow | ( | FILE * | f | ) |
dfg_arc_label read_dfg_arc_label | ( | FILE * | f | ) |
Definition at line 219 of file paf_ri.c.
References f(), and gen_read().
dfg_vertex_label read_dfg_vertex_label | ( | FILE * | f | ) |
Definition at line 261 of file paf_ri.c.
References f(), and gen_read().
leaf_label read_leaf_label | ( | FILE * | f | ) |
Definition at line 303 of file paf_ri.c.
References f(), and gen_read().
lisp_expression read_lisp_expression | ( | FILE * | f | ) |
Definition at line 345 of file paf_ri.c.
References f(), and gen_read().
placement read_placement | ( | FILE * | f | ) |
plc read_plc | ( | FILE * | f | ) |
quast read_quast | ( | FILE * | f | ) |
quast_leaf read_quast_leaf | ( | FILE * | f | ) |
Definition at line 471 of file paf_ri.c.
References f(), and gen_read().
quast_value read_quast_value | ( | FILE * | f | ) |
Definition at line 555 of file paf_ri.c.
References f(), and gen_read().
schedule read_schedule | ( | FILE * | f | ) |
static_control read_static_control | ( | FILE * | f | ) |
Definition at line 652 of file paf_ri.c.
References f(), and gen_read().
var_val read_var_val | ( | FILE * | f | ) |
Definition at line 596 of file paf_ri.c.
References check_schedule(), message_assert, and schedule_defined_p().
Definition at line 586 of file paf_ri.c.
References check_schedule(), and gen_consistent_p().
Definition at line 590 of file paf_ri.c.
References gen_defined_p().
Referenced by schedule_assign_contents().
void schedule_non_recursive_free | ( | schedule | p | ) |
void static_control_assign_contents | ( | static_control | r, |
static_control | v | ||
) |
Definition at line 638 of file paf_ri.c.
References check_static_control(), message_assert, and static_control_defined_p().
bool static_control_consistent_p | ( | static_control | p | ) |
Definition at line 628 of file paf_ri.c.
References check_static_control(), and gen_consistent_p().
Referenced by static_controlize().
bool static_control_defined_p | ( | static_control | p | ) |
Definition at line 632 of file paf_ri.c.
References gen_defined_p().
Referenced by static_control_assign_contents().
void static_control_non_recursive_free | ( | static_control | p | ) |
Definition at line 680 of file paf_ri.c.
References check_var_val(), message_assert, and var_val_defined_p().
Definition at line 670 of file paf_ri.c.
References check_var_val(), and gen_consistent_p().
Definition at line 674 of file paf_ri.c.
References gen_defined_p().
Referenced by var_val_assign_contents().
void var_val_non_recursive_free | ( | var_val | p | ) |
void write_bdt | ( | FILE * | f, |
bdt | p | ||
) |
Definition at line 48 of file paf_ri.c.
References f(), and gen_write().
void write_communication | ( | FILE * | f, |
communication | p | ||
) |
void write_conditional | ( | FILE * | f, |
conditional | p | ||
) |
void write_dataflow | ( | FILE * | f, |
dataflow | p | ||
) |
void write_dfg_arc_label | ( | FILE * | f, |
dfg_arc_label | p | ||
) |
void write_dfg_vertex_label | ( | FILE * | f, |
dfg_vertex_label | p | ||
) |
void write_leaf_label | ( | FILE * | f, |
leaf_label | p | ||
) |
void write_lisp_expression | ( | FILE * | f, |
lisp_expression | p | ||
) |
void write_placement | ( | FILE * | f, |
placement | p | ||
) |
void write_plc | ( | FILE * | f, |
plc | p | ||
) |
void write_quast | ( | FILE * | f, |
quast | p | ||
) |
Definition at line 510 of file paf_ri.c.
References f(), and gen_write().
Referenced by ecrit_resultat().
void write_quast_leaf | ( | FILE * | f, |
quast_leaf | p | ||
) |
void write_quast_value | ( | FILE * | f, |
quast_value | p | ||
) |
void write_schedule | ( | FILE * | f, |
schedule | p | ||
) |
void write_static_control | ( | FILE * | f, |
static_control | p | ||
) |