PIPS
|
Go to the source code of this file.
Typedefs | |
typedef void * | Pvecteur |
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 | tag, |
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 | tag | ) |
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 | ||
) |