bool conditional_consistent_p(conditional p)
static_control make_static_control(bool a1, list a2, list a3, list a4)
placement read_placement(FILE *f)
conditional copy_conditional(conditional p)
CONDITIONAL.
bool dfg_vertex_label_defined_p(dfg_vertex_label p)
leaf_label copy_leaf_label(leaf_label p)
LEAF_LABEL.
void communication_non_recursive_free(communication p)
list gen_static_control_cons(static_control p, list l)
static_control check_static_control(static_control p)
bool dataflow_defined_p(dataflow p)
void bdt_non_recursive_free(bdt p)
list gen_bdt_cons(bdt p, list l)
bool plc_consistent_p(plc p)
void write_dataflow(FILE *f, dataflow p)
var_val read_var_val(FILE *f)
bool conditional_defined_p(conditional p)
void dfg_vertex_label_non_recursive_free(dfg_vertex_label p)
string quast_value_tag_as_string(enum quast_value_utype tag)
void free_var_val(var_val p)
var_val make_var_val(entity a1, expression a2)
leaf_label make_leaf_label(intptr_t a1, intptr_t a2)
list gen_var_val_cons(var_val p, list l)
dataflow check_dataflow(dataflow p)
void quast_leaf_assign_contents(quast_leaf r, quast_leaf v)
void plc_assign_contents(plc r, plc v)
void quast_value_assign_contents(quast_value r, quast_value v)
void dfg_vertex_label_assign_contents(dfg_vertex_label r, dfg_vertex_label v)
void quast_assign_contents(quast r, quast v)
void write_quast(FILE *f, quast p)
void write_leaf_label(FILE *f, leaf_label p)
static_control copy_static_control(static_control p)
STATIC_CONTROL.
bool communication_defined_p(communication p)
bool communication_consistent_p(communication p)
bool leaf_label_defined_p(leaf_label p)
list gen_conditional_cons(conditional p, list l)
quast_value make_quast_value_quast_leaf(quast_leaf _field_)
dfg_vertex_label check_dfg_vertex_label(dfg_vertex_label p)
quast_leaf read_quast_leaf(FILE *f)
void leaf_label_assign_contents(leaf_label r, leaf_label v)
bool lisp_expression_defined_p(lisp_expression p)
list gen_schedule_cons(schedule p, list l)
quast_value check_quast_value(quast_value p)
void write_static_control(FILE *f, static_control p)
list gen_quast_leaf_cons(quast_leaf p, list l)
dfg_vertex_label copy_dfg_vertex_label(dfg_vertex_label p)
DFG_VERTEX_LABEL.
void placement_non_recursive_free(placement p)
void free_quast_value(quast_value p)
leaf_label check_leaf_label(leaf_label p)
bool var_val_consistent_p(var_val p)
bool static_control_consistent_p(static_control p)
bool placement_defined_p(placement p)
void write_conditional(FILE *f, conditional p)
void leaf_label_non_recursive_free(leaf_label p)
void conditional_non_recursive_free(conditional p)
lisp_expression check_lisp_expression(lisp_expression p)
void static_control_assign_contents(static_control r, static_control v)
void var_val_non_recursive_free(var_val p)
void var_val_assign_contents(var_val r, var_val v)
bool quast_value_defined_p(quast_value p)
void conditional_assign_contents(conditional r, conditional v)
schedule check_schedule(schedule p)
quast_value make_quast_value_conditional(conditional _field_)
bool quast_value_consistent_p(quast_value p)
lisp_expression read_lisp_expression(FILE *f)
void free_quast_leaf(quast_leaf p)
var_val copy_var_val(var_val p)
VAR_VAL.
dfg_arc_label copy_dfg_arc_label(dfg_arc_label p)
DFG_ARC_LABEL.
void write_dfg_vertex_label(FILE *f, dfg_vertex_label p)
communication check_communication(communication p)
bool bdt_defined_p(bdt p)
void dfg_arc_label_assign_contents(dfg_arc_label r, dfg_arc_label v)
static_control read_static_control(FILE *f)
void quast_value_non_recursive_free(quast_value p)
void free_lisp_expression(lisp_expression p)
quast check_quast(quast p)
void lisp_expression_non_recursive_free(lisp_expression p)
void dataflow_assign_contents(dataflow r, dataflow v)
conditional check_conditional(conditional p)
quast_value make_quast_value(enum quast_value_utype tag, void *val)
void write_schedule(FILE *f, schedule p)
list gen_placement_cons(placement p, list l)
void write_plc(FILE *f, plc p)
list gen_lisp_expression_cons(lisp_expression p, list l)
void dataflow_non_recursive_free(dataflow p)
bool bdt_consistent_p(bdt p)
void schedule_assign_contents(schedule r, schedule v)
void write_bdt(FILE *f, bdt p)
bool lisp_expression_consistent_p(lisp_expression p)
void write_dfg_arc_label(FILE *f, dfg_arc_label p)
dataflow copy_dataflow(dataflow p)
DATAFLOW.
bool schedule_defined_p(schedule p)
leaf_label read_leaf_label(FILE *f)
quast_leaf check_quast_leaf(quast_leaf p)
bool dataflow_consistent_p(dataflow p)
void placement_assign_contents(placement r, placement v)
conditional read_conditional(FILE *f)
bool dfg_vertex_label_consistent_p(dfg_vertex_label p)
bool dfg_arc_label_consistent_p(dfg_arc_label p)
bool leaf_label_consistent_p(leaf_label p)
dfg_arc_label read_dfg_arc_label(FILE *f)
list gen_plc_cons(plc p, list l)
dataflow make_dataflow(reference a1, list a2, predicate a3, communication a4)
void free_static_control(static_control p)
bool quast_consistent_p(quast p)
schedule make_schedule(intptr_t a1, predicate a2, list a3)
lisp_expression copy_lisp_expression(lisp_expression p)
LISP_EXPRESSION.
void free_communication(communication p)
list gen_quast_cons(quast p, list l)
bool quast_leaf_defined_p(quast_leaf p)
list gen_quast_value_cons(quast_value p, list l)
quast make_quast(quast_value a1, list a2)
communication copy_communication(communication p)
COMMUNICATION.
void free_dfg_vertex_label(dfg_vertex_label p)
void communication_assign_contents(communication r, communication v)
communication make_communication(predicate a1, predicate a2, predicate a3)
dataflow read_dataflow(FILE *f)
void plc_non_recursive_free(plc p)
schedule copy_schedule(schedule p)
SCHEDULE.
quast_value copy_quast_value(quast_value p)
QUAST_VALUE.
conditional make_conditional(predicate a1, quast a2, quast a3)
schedule read_schedule(FILE *f)
lisp_expression make_lisp_expression(string a1, list a2)
void static_control_non_recursive_free(static_control p)
quast read_quast(FILE *f)
dfg_arc_label make_dfg_arc_label(list a)
dfg_vertex_label read_dfg_vertex_label(FILE *f)
void dfg_arc_label_non_recursive_free(dfg_arc_label p)
void quast_non_recursive_free(quast p)
void quast_leaf_non_recursive_free(quast_leaf p)
void write_communication(FILE *f, communication p)
bool quast_leaf_consistent_p(quast_leaf p)
bool var_val_defined_p(var_val p)
placement check_placement(placement p)
quast_leaf make_quast_leaf(list a1, leaf_label a2)
list gen_leaf_label_cons(leaf_label p, list l)
placement copy_placement(placement p)
PLACEMENT.
void free_leaf_label(leaf_label p)
void write_placement(FILE *f, placement p)
quast copy_quast(quast p)
QUAST.
quast_value read_quast_value(FILE *f)
bool dfg_arc_label_defined_p(dfg_arc_label p)
void free_dataflow(dataflow p)
void bdt_assign_contents(bdt r, bdt v)
void write_quast_leaf(FILE *f, quast_leaf p)
void write_lisp_expression(FILE *f, lisp_expression p)
var_val check_var_val(var_val p)
bool placement_consistent_p(placement p)
communication read_communication(FILE *f)
list gen_communication_cons(communication p, list l)
void free_conditional(conditional p)
void free_dfg_arc_label(dfg_arc_label p)
quast_leaf copy_quast_leaf(quast_leaf p)
QUAST_LEAF.
dfg_vertex_label make_dfg_vertex_label(intptr_t a1, predicate a2, sccflags a3)
list gen_dfg_vertex_label_cons(dfg_vertex_label p, list l)
bool static_control_defined_p(static_control p)
void free_schedule(schedule p)
void write_quast_value(FILE *f, quast_value p)
placement make_placement(intptr_t a1, list a2)
dfg_arc_label check_dfg_arc_label(dfg_arc_label p)
void schedule_non_recursive_free(schedule p)
void lisp_expression_assign_contents(lisp_expression r, lisp_expression v)
void write_var_val(FILE *f, var_val p)
list gen_dfg_arc_label_cons(dfg_arc_label p, list l)
list gen_dataflow_cons(dataflow p, list l)
bool plc_defined_p(plc p)
bool schedule_consistent_p(schedule p)
bool quast_defined_p(quast p)
void free_placement(placement p)
void gen_free(gen_chunk *obj)
version without shared_pointers.
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
int gen_defined_p(gen_chunk *obj)
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
gen_chunk * gen_copy_tree(gen_chunk *obj)
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
list gen_typed_cons(_int type, const void *item, const list next)
CONS a list with minimal type checking this cannot be done within the CONS macro because possible fun...
#define message_assert(msg, ex)
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
#define DFG_VERTEX_LABEL_NEWGEN_DOMAIN
#define DFG_ARC_LABEL_NEWGEN_DOMAIN
#define LEAF_LABEL_NEWGEN_DOMAIN
#define plc_domain
newgen_placement_domain_defined
#define STATIC_CONTROL_NEWGEN_DOMAIN
#define var_val_domain
newgen_static_control_domain_defined
#define LISP_EXPRESSION_NEWGEN_DOMAIN
#define quast_value_domain
newgen_quast_domain_defined
#define quast_leaf_domain
newgen_plc_domain_defined
#define QUAST_LEAF_NEWGEN_DOMAIN
#define COMMUNICATION_NEWGEN_DOMAIN
@ is_quast_value_quast_leaf
@ is_quast_value_conditional
#define CONDITIONAL_NEWGEN_DOMAIN
#define quast_domain
newgen_quast_leaf_domain_defined
#define communication_domain
newgen_bdt_domain_defined
#define PLACEMENT_NEWGEN_DOMAIN
#define placement_domain
newgen_lisp_expression_domain_defined
#define QUAST_VALUE_NEWGEN_DOMAIN
#define QUAST_NEWGEN_DOMAIN
#define dataflow_domain
newgen_conditional_domain_defined
#define DATAFLOW_NEWGEN_DOMAIN
#define BDT_NEWGEN_DOMAIN
#define PLC_NEWGEN_DOMAIN
#define dfg_arc_label_domain
newgen_dataflow_domain_defined
#define conditional_domain
newgen_communication_domain_defined
#define SCHEDULE_NEWGEN_DOMAIN
#define static_control_domain
newgen_schedule_domain_defined
#define VAR_VAL_NEWGEN_DOMAIN
#define dfg_vertex_label_domain
newgen_dfg_arc_label_domain_defined
#define bdt_domain
newgen_Pvecteur_domain_defined
#define leaf_label_domain
newgen_dfg_vertex_label_domain_defined
#define lisp_expression_domain
newgen_leaf_label_domain_defined
#define schedule_domain
newgen_quast_value_domain_defined
The structure used to build lists in NewGen.
A gen_chunk is used to store every object.