94 for (j = 0; j < level; j++)
98 fprintf(file,
"+-- osl_extbody_t\n");
100 fprintf(file,
"+-- NULL extbody\n");
104 for(j = 0; j <= level; j++)
105 fprintf(file,
"|\t");
108 fprintf(file,
"nb_access: %zu\n", ebody->
nb_access);
113 for(j = 0; j <= level; j++)
114 fprintf(file,
"|\t");
116 fprintf(file,
"start: %d, length: %d\n",
125 for (j = 0; j <= level; j++)
126 fprintf(file,
"|\t");
153 char *
string = NULL, * body_string = NULL;
157 OSL_malloc(
string,
char *, high_water_mark *
sizeof(
char));
160 sprintf(buffer,
"# Number of accesses\n");
163 sprintf(buffer,
"%zu\n", ebody->
nb_access);
167 sprintf(buffer,
"# Access coordinates (start/length)\n");
171 sprintf(buffer,
"%d %d\n", ebody->
start[i], ebody->
length[i]);
203 size_t k, nb_access_unsigned;
217 nb_access_unsigned = (size_t) nb_access;
226 for (k = 0; k < nb_access_unsigned; k++) {
330 if (((e1 == NULL) && (e2 != NULL)) || ((e1 != NULL) && (e2 == NULL))) {
331 OSL_info(
"extbody are not the same");
337 OSL_info(
"extbody are not the same");
353 OSL_info(
"extbody are not the same");
void *(* osl_clone_f)(void *)
void *(* osl_sread_f)(char **)
void osl_extbody_add(osl_extbody_p ebody, int start, int length)
osl_body_p osl_body_clone(osl_body_p body)
int osl_util_read_int(FILE *file, char **str)
void(* osl_idump_f)(FILE *, void *, int)
osl_interface_p osl_interface_malloc(void)
osl_extbody_p osl_extbody_malloc(void)
char * osl_extbody_sprint(osl_extbody_p ebody)
void osl_util_safe_strcat(char **dst, char *src, size_t *hwm)
char *(* osl_sprint_f)(void *)
int osl_extbody_equal(osl_extbody_p e1, osl_extbody_p e2)
osl_interface_p osl_extbody_interface(void)
osl_body_p osl_body_sread(char **input)
void osl_extbody_free(osl_extbody_p ebody)
#define OSL_strdup(destination, source)
void *(* osl_malloc_f)(void)
#define OSL_realloc(ptr, type, size)
char * osl_body_sprint(osl_body_p body)
osl_extbody_p osl_extbody_sread(char **input)
int(* osl_equal_f)(void *, void *)
void(* osl_free_f)(void *)
osl_extbody_p osl_extbody_clone(osl_extbody_p ebody)
void osl_body_idump(FILE *file, osl_body_p body, int level)
int osl_body_equal(osl_body_p b1, osl_body_p b2)
void osl_extbody_idump(FILE *file, osl_extbody_p ebody, int level)
void osl_extbody_dump(FILE *file, osl_extbody_p ebody)
void osl_body_free(osl_body_p body)
#define OSL_malloc(ptr, type, size)