#include "DataDesc/datadesc_private.h"
GRAS_LOG_NEW_DEFAULT_SUBCATEGORY(DataDesc,GRAS);
+/* FIXME: make this host-dependent using a trick such as UserData*/
gras_set_t *gras_datadesc_set_local=NULL;
+
+/* callback for array size when sending strings */
+static int
+_strlen_cb(void *vars,
+ gras_datadesc_type_t *type,
+ void *data) {
+
+ return 1+(long int)strlen(data);
+}
+
+
/**
* gras_datadesc_init:
*
- * Initialize the datadesc module
+ * Initialize the datadesc module.
+ * FIXME: We assume that when neither signed nor unsigned is given,
+ * that means signed. To be checked by configure.
**/
void
gras_datadesc_init(void) {
gras_error_t errcode;
+ gras_datadesc_type_t *ddt; /* What to add */
+ /* only initialize once */
+ if (gras_datadesc_set_local != NULL)
+ return;
+
VERB0("Initializing DataDesc");
- errcode = gras_set_new(&gras_datadesc_set_local);
- gras_assert0(errcode==no_error,
- "Impossible to create the data set containg locally known types");
+
+ TRYFAIL(gras_set_new(&gras_datadesc_set_local));
+
+ TRYFAIL(gras_datadesc_declare_scalar("signed char",
+ gras_ddt_scalar_char,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("char",
+ gras_ddt_scalar_char,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("unsigned char",
+ gras_ddt_scalar_char,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+
+ TRYFAIL(gras_datadesc_declare_scalar("signed short int",
+ gras_ddt_scalar_short,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("short int",
+ gras_ddt_scalar_short,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("unsigned short int",
+ gras_ddt_scalar_short,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+
+ TRYFAIL(gras_datadesc_declare_scalar("signed int",
+ gras_ddt_scalar_int,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("int",
+ gras_ddt_scalar_int,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("unsigned int",
+ gras_ddt_scalar_int,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+
+ TRYFAIL(gras_datadesc_declare_scalar("signed long int",
+ gras_ddt_scalar_long,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("long int",
+ gras_ddt_scalar_long,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("unsigned long int",
+ gras_ddt_scalar_long,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+
+ TRYFAIL(gras_datadesc_declare_scalar("signed long long int",
+ gras_ddt_scalar_long_long,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("long long int",
+ gras_ddt_scalar_long_long,
+ e_gras_dd_scalar_encoding_sint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("unsigned long long int",
+ gras_ddt_scalar_long_long,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+
+ TRYFAIL(gras_datadesc_declare_scalar("data pointer",
+ gras_ddt_scalar_pdata,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("function pointer",
+ gras_ddt_scalar_pfunc,
+ e_gras_dd_scalar_encoding_uint,
+ NULL, &ddt));
+
+ TRYFAIL(gras_datadesc_declare_scalar("float",
+ gras_ddt_scalar_float,
+ e_gras_dd_scalar_encoding_float,
+ NULL, &ddt));
+ TRYFAIL(gras_datadesc_declare_scalar("double",
+ gras_ddt_scalar_float,
+ e_gras_dd_scalar_encoding_float,
+ NULL,&ddt));
+
+ TRYFAIL(gras_datadesc_declare_array_dyn("char[]",
+ gras_datadesc_by_name("char"),
+ _strlen_cb,&ddt));
+ TRYFAIL(gras_datadesc_declare_ref("string",
+ gras_datadesc_by_name("char[]"),
+ &ddt));
+
}
/**
gras_datadesc_exit(void) {
VERB0("Exiting DataDesc");
gras_set_free(&gras_datadesc_set_local);
-}
-
-/***
- *** CREATION FUNCTIONS: private to this file
- ***/
-static gras_error_t
-gras_ddt_new(const char *name,
- gras_datadesc_type_t **dst) {
-
- gras_datadesc_type_t *res=malloc(sizeof(gras_datadesc_type_t));
- if (!res)
- RAISE_MALLOC;
-
- memset(res, 0, sizeof(res));
- res->name = strdup(name);
-
- *dst=res;
- return no_error;
+ gras_datadesc_set_local = NULL;
+ DEBUG0("Exited DataDesc");
}
/**
- * gras_ddt_new_scalar:
+ * gras_datadesc_get_name:
*
- * Create a new scalar and give a pointer to it
+ * Returns the name of a datadescription (to ease the debug)
*/
-gras_error_t
-gras_ddt_new_scalar(const char *name,
- long int size,
- enum e_gras_dd_scalar_encoding encoding,
- gras_datadesc_type_cb_void_t cb,
- gras_datadesc_type_t **dst) {
-
- gras_error_t errcode;
- gras_datadesc_type_t *res;
-
- TRY(gras_ddt_new(name,dst));
- res=*dst;
-
- res->size = size>0 ? size : 0;
-
- if (size>0) { /* Black magic from Oli FIXME: documentation ;)*/
- long int sz = size;
- long int mask = sz;
-
- while ((sz >>= 1)) {
- mask |= sz;
- }
-
- if (size & (mask >> 1)) {
- res->alignment = (size & ~(mask >> 1)) << 1;
- gras_assert0(res->alignment != 0,
- "scalar type too large");
-
- res->aligned_size = aligned(size, res->alignment);
- gras_assert0 (res->aligned_size >= 0,
- "scalar type too large");
-
- } else {
- res->alignment = size & ~(mask >> 1);;
- res->aligned_size = aligned(size, res->alignment);
- }
-
- } else {
- res->alignment = 0;
- res->aligned_size = 0;
- }
-
- res->category_code = e_gras_datadesc_type_cat_scalar;
- res->category.scalar_data.encoding = encoding;
-
- res->pre = cb;
- return no_error;
+char *
+gras_datadesc_get_name(gras_datadesc_type_t *ddt) {
+ return ddt->name;
}
-
-
/**
- * gras_dd_cat_field_free:
+ * gras_datadesc_get_id:
*
- * Frees one struct or union field
+ * Returns the name of a datadescription (to ease the debug)
*/
-void gras_dd_cat_field_free(void *f) {
- gras_dd_cat_field_t *field = (gras_dd_cat_field_t *)f;
- if (field) {
- if (field->name)
- free(field->name);
- free(field);
- }
+int
+gras_datadesc_get_id(gras_datadesc_type_t *ddt) {
+ return ddt->code;
}
/**
- * gras_ddt_new_struct:
+ * gras_datadesc_size:
*
- * Create a new struct and give a pointer to it
- */
-gras_error_t
-gras_ddt_new_struct(const char *name,
- gras_datadesc_type_cb_void_t pre,
- gras_datadesc_type_cb_void_t post,
- gras_datadesc_type_t **dst) {
-
- gras_error_t errcode;
- gras_datadesc_type_t *res;
-
- TRY(gras_ddt_new(name,dst));
- res=*dst;
-
- res->size = 0;
- res->alignment = 0;
- res->aligned_size = 0;
- res->category_code = e_gras_datadesc_type_cat_struct;
- TRY(gras_dynar_new(&(res->category.struct_data.fields),
- sizeof(gras_dd_cat_field_t*),
- &gras_dd_cat_field_free));
- res->pre = pre;
- res->post = post;
-
- return no_error;
-}
-
-/**
- * gras_ddt_new_struct_append:
- *
- * Append a field to the struct
- */
-gras_error_t
-gras_ddt_new_struct_append(gras_datadesc_type_t *struct_type,
- const char *name,
- gras_datadesc_type_t *field_type,
- gras_datadesc_type_cb_void_t pre,
- gras_datadesc_type_cb_void_t post) {
-
- gras_error_t errcode;
- gras_dd_cat_field_t *field;
-
- gras_assert0(field_type->size >= 0,
- "Cannot add a dynamically sized field in a structure");
-
- field=malloc(sizeof(gras_dd_cat_field_t));
- if (!field)
- RAISE_MALLOC;
-
- field->name = strdup(name);
- field->offset = aligned(struct_type->size, field_type->alignment);
- field->code = field_type->code;
- field->pre = pre;
- field->post = post;
-
- TRY(gras_dynar_push(struct_type->category.struct_data.fields, field));
-
- struct_type->size = field->offset + field_type->size;
- struct_type->alignment = max(struct_type->alignment, field_type->alignment);
- struct_type->aligned_size = aligned(struct_type->size, struct_type->alignment);
-
- return no_error;
-}
-
-/**
- * gras_ddt_new_union:
+ * Returns the size occuped by data of this type (on the current arch).
*
- * Create a new union and give a pointer to it
*/
-gras_error_t
-gras_ddt_new_union(const char *name,
- gras_datadesc_type_cb_int_t field_count,
- gras_datadesc_type_cb_void_t post,
- gras_datadesc_type_t **dst) {
-
- gras_error_t errcode;
- gras_datadesc_type_t *res;
-
- gras_assert0(field_count,
- "Attempt to creat an union without field_count function");
-
- TRY(gras_ddt_new(name,dst));
- res=*dst;
-
- res->size = 0;
- res->alignment = 0;
- res->aligned_size = 0;
- res->category_code = e_gras_datadesc_type_cat_union;
- TRY(gras_dynar_new(&(res->category.union_data.fields),
- sizeof(gras_dd_cat_field_t*),
- &gras_dd_cat_field_free));
- res->category.union_data.field_count = field_count;
- res->pre = NULL;
- res->post = post;
-
- return no_error;
+int gras_datadesc_size(gras_datadesc_type_t *type) {
+ return type->size[GRAS_THISARCH];
}
/**
- * gras_ddt_new_union_append:
+ * gras_datadesc_type_dump:
*
- * Append a field to the union
+ * For debugging purpose
*/
-gras_error_t
-gras_ddt_new_union_append(gras_datadesc_type_t *union_type,
- const char *name,
- gras_datadesc_type_t *field_type,
- gras_datadesc_type_cb_void_t pre,
- gras_datadesc_type_cb_void_t post) {
-
- gras_error_t errcode;
- gras_dd_cat_field_t *field;
-
- gras_assert0(field_type->size >= 0,
- "Cannot add a dynamically sized field in an union");
-
- field=malloc(sizeof(gras_dd_cat_field_t));
- if (!field)
- RAISE_MALLOC;
-
- field->name = strdup(name);
- field->offset = 0; /* that's the purpose of union ;) */
- field->code = field_type->code;
- field->pre = pre;
- field->post = post;
-
- TRY(gras_dynar_push(union_type->category.union_data.fields, field));
+void gras_datadesc_type_dump(const gras_datadesc_type_t *ddt){
+ int i;
- union_type->size = max(union_type->size, field_type->size);
- union_type->alignment = max(union_type->alignment, field_type->alignment);
- union_type->aligned_size = aligned(union_type->size, union_type->alignment);
-
- return no_error;
-}
-
-/**
- * gras_ddt_new_ref:
- *
- * Create a new ref and give a pointer to it
- */
-gras_error_t
-gras_ddt_new_ref(const char *name,
- gras_datadesc_type_t *referenced_type,
- gras_datadesc_type_cb_int_t discriminant,
- gras_datadesc_type_cb_void_t post,
- gras_datadesc_type_t **dst) {
-
- gras_error_t errcode;
- gras_datadesc_type_t *res;
-
- gras_assert0(discriminant || referenced_type,
- "Attempt to create a generic reference without discriminant");
-
- TRY(gras_ddt_new(name,dst));
- res=*dst;
-
- /* FIXME: Size from bootstraping */
- res->size = 0;
- res->alignment = 0;
- res->aligned_size = 0;
- res->category_code = e_gras_datadesc_type_cat_ref;
-
- res->category.ref_data.code = referenced_type ? referenced_type->code : -1;
- res->category.ref_data.discriminant = discriminant;
- res->pre = NULL;
- res->post = post;
-
- return no_error;
-}
-
-/**
- * gras_ddt_new_array:
- *
- * Create a new array and give a pointer to it
- */
-gras_error_t
-gras_ddt_new_array(const char *name,
- gras_datadesc_type_t *element_type,
- long int fixed_size,
- gras_datadesc_type_cb_int_t dynamic_size,
- gras_datadesc_type_cb_void_t post,
- gras_datadesc_type_t **dst) {
-
- gras_error_t errcode;
- gras_datadesc_type_t *res;
-
- gras_assert0(dynamic_size || fixed_size>0,
- "Attempt to create a dynamic array without size discriminant");
-
- TRY(gras_ddt_new(name,dst));
- res=*dst;
-
- if (fixed_size <= 0) {
- res->size = fixed_size;
- } else {
- res->size = fixed_size * element_type->aligned_size;
+ printf("DataDesc dump:");
+ if(!ddt) {
+ printf("(null)\n");
+ return;
}
- res->alignment = element_type->alignment;
- res->aligned_size = fixed_size; /*FIXME: That was so in GS, but looks stupid*/
- res->category_code = e_gras_datadesc_type_cat_array;
-
- res->category.array_data.code = element_type->code;
- res->category.array_data.fixed_size = fixed_size;
- res->category.array_data.dynamic_size = dynamic_size;
-
- res->pre = NULL;
- res->post = post;
-
- return no_error;
-}
-
-/***
- *** BOOTSTRAPING FUNCTIONS: known within GRAS only
- ***/
-
-/***
- *** DECLARATION FUNCTIONS: public functions
- ***/
-gras_error_t
-gras_datadesc_declare_struct_cb(const char *name,
- gras_datadesc_type_cb_void_t pre,
- gras_datadesc_type_cb_void_t post,
- long int *code) {
- gras_error_t errcode;
- gras_datadesc_type_t *type;
- TRY(gras_ddt_new_struct(name, pre, post, &type));
- TRY(gras_ddt_register(gras_datadesc_set_local, type));
- *code = type->code;
- return no_error;
-}
-
-gras_error_t
-gras_datadesc_declare_struct_add_name_cb(long int struct_code,
- const char *field_name,
- const char *field_type_name,
- gras_datadesc_type_cb_void_t pre_cb,
- gras_datadesc_type_cb_void_t post_cb) {
-
- gras_error_t errcode;
- gras_datadesc_type_t *struct_type;
- gras_datadesc_type_t *field_type;
-
- TRY(gras_set_get_by_id(gras_datadesc_set_local,struct_code,
- (gras_set_elm_t**)struct_type));
- TRY(gras_set_get_by_name(gras_datadesc_set_local,field_type_name,
- (gras_set_elm_t**)field_type));
-
- TRY(gras_ddt_new_struct_append(struct_type,
- field_name, field_type,
- pre_cb, post_cb));
-
- return no_error;
-}
-gras_error_t
-gras_datadesc_declare_struct_add_code_cb(long int struct_code,
- const char *field_name,
- long int field_code,
- gras_datadesc_type_cb_void_t pre_cb,
- gras_datadesc_type_cb_void_t post_cb) {
- gras_error_t errcode;
- gras_datadesc_type_t *struct_type;
- gras_datadesc_type_t *field_type;
-
- TRY(gras_set_get_by_id(gras_datadesc_set_local,struct_code,
- (gras_set_elm_t**)struct_type));
- TRY(gras_set_get_by_id(gras_datadesc_set_local,field_code,
- (gras_set_elm_t**)field_type));
-
- TRY(gras_ddt_new_struct_append(struct_type,
- field_name, field_type,
- pre_cb, post_cb));
-
- return no_error;
-}
-
-gras_error_t
-gras_datadesc_declare_union_cb(const char *name,
- gras_datadesc_type_cb_int_t field_count,
- gras_datadesc_type_cb_void_t post,
- long int *code) {
- gras_error_t errcode;
- gras_datadesc_type_t *type;
- TRY(gras_ddt_new_union(name, field_count, post, &type));
- TRY(gras_ddt_register(gras_datadesc_set_local, type));
- *code = type->code;
- return no_error;
-}
-
-gras_error_t
-gras_datadesc_declare_union_add_name_cb(long int union_code,
- const char *field_name,
- const char *field_type_name,
- gras_datadesc_type_cb_void_t pre_cb,
- gras_datadesc_type_cb_void_t post_cb) {
- gras_error_t errcode;
- gras_datadesc_type_t *union_type;
- gras_datadesc_type_t *field_type;
-
- TRY(gras_set_get_by_id(gras_datadesc_set_local,union_code,
- (gras_set_elm_t**)union_type));
- TRY(gras_set_get_by_name(gras_datadesc_set_local,field_type_name,
- (gras_set_elm_t**)field_type));
-
- TRY(gras_ddt_new_union_append(union_type,
- field_name, field_type,
- pre_cb, post_cb));
-
- return no_error;
-}
-gras_error_t
-gras_datadesc_declare_union_add_code_cb(long int union_code,
- const char *field_name,
- long int field_code,
- gras_datadesc_type_cb_void_t pre_cb,
- gras_datadesc_type_cb_void_t post_cb) {
- gras_error_t errcode;
- gras_datadesc_type_t *union_type;
- gras_datadesc_type_t *field_type;
-
- TRY(gras_set_get_by_id(gras_datadesc_set_local,union_code,
- (gras_set_elm_t**)union_type));
- TRY(gras_set_get_by_id(gras_datadesc_set_local,field_code,
- (gras_set_elm_t**)field_type));
-
- TRY(gras_ddt_new_union_append(union_type,
- field_name, field_type,
- pre_cb, post_cb));
+ printf ("%s (ID:%d)\n",ddt->name,ddt->code);
+ printf (" refcounter=%d\n",ddt->refcounter);
+ printf (" category: %s\n",gras_datadesc_cat_names[ddt->category_code]);
+
+ printf (" size[");
+ for (i=0; i<gras_arch_count; i++) {
+ printf("%s%s%ld%s",
+ i>0?", ":"",
+ i == GRAS_THISARCH ? "*":"",
+ ddt->size[i],
+ i == GRAS_THISARCH ? "*":"");
+ }
+ printf ("]\n");
+
+ printf (" alignment[");
+ for (i=0; i<gras_arch_count; i++) {
+ printf("%s%s%ld%s",
+ i>0?", ":"",
+ i == GRAS_THISARCH ? "*":"",
+ ddt->alignment[i],
+ i == GRAS_THISARCH ? "*":"");
+ }
+ printf ("]\n");
+
+ printf (" aligned_size[");
+ for (i=0; i<gras_arch_count; i++) {
+ printf("%s%s%ld%s",
+ i>0?", ":"",
+ i == GRAS_THISARCH ? "*":"",
+ ddt->aligned_size[i],
+ i == GRAS_THISARCH ? "*":"");
+ }
+ printf ("]\n");
- return no_error;
-}
-
-gras_error_t
-gras_datadesc_declare_ref_cb(const char *name,
- gras_datadesc_type_t *referenced_type,
- gras_datadesc_type_cb_int_t discriminant,
- gras_datadesc_type_cb_void_t post,
- long int *code){
- gras_error_t errcode;
- gras_datadesc_type_t *type;
- TRY(gras_ddt_new_ref(name, referenced_type,discriminant,post, &type));
- TRY(gras_ddt_register(gras_datadesc_set_local, type));
- *code = type->code;
- return no_error;
-}
-
-gras_error_t
-gras_datadesc_declare_array_cb(const char *name,
- gras_datadesc_type_t *element_type,
- long int fixed_size,
- gras_datadesc_type_cb_int_t dynamic_size,
- gras_datadesc_type_cb_void_t post,
- long int *code){
- gras_error_t errcode;
- gras_datadesc_type_t *type;
- TRY(gras_ddt_new_array(name, element_type, fixed_size, dynamic_size, post, &type));
- TRY(gras_ddt_register(gras_datadesc_set_local, type));
- *code = type->code;
- return no_error;
}