/**
* osl_scop_check_compatible_scoplib function:
* This function checks that a scop is "well formed". It returns 0 if the
* check failed or 1 if no problem has been detected.
* \param scop The scop we want to check.
* \return 0 if the integrity check fails, 1 otherwise.
*/
int osl_scop_check_compatible_scoplib(osl_scop_p scop) {
if (!osl_scop_integrity_check(scop))
return 0;
if (scop->next != NULL)
return 0;
if (scop == NULL || scop->statement == NULL)
return 1;
osl_relation_p domain;
osl_statement_p statement;
osl_relation_p scattering;
int precision = scop->statement->scattering->precision;
int i, j;
statement = scop->statement;
while (statement != NULL) {
scattering = statement->scattering;
if (scattering->nb_local_dims != 0) {
OSL_error("Local dims in scattering matrix");
return 0;
}
domain = statement->domain;
while (domain != NULL) {
if (domain->nb_local_dims != 0) {
OSL_error("Local dims in domain matrix");
return 0;
}
domain = domain->next;
}
// Check if there is only the -Identity in the output_dims
// and the lines MUST be in the right order
for (i = 0 ; i < scattering->nb_rows ; i++) {
for (j = 0 ; j < scattering->nb_output_dims ; j++) {
if (i == j) { // -1
if (!osl_int_mone(precision, scattering->m[i][j+1])) {
OSL_error("Wrong -Identity");
return 0;
}
} else { // 0
if (!osl_int_zero(precision, scattering->m[i][j+1])) {
OSL_error("Wrong -Identity");
return 0;
}
}
}
}
statement = statement->next;
}
return 1;
}
/**
* osl_scop_pread function ("precision read"):
* this function reads a list of scop structures from a file (possibly stdin)
* complying to the OpenScop textual format and returns a pointer to this
* scop list. If some relation properties (number of input/output/local
* dimensions and number of parameters) are undefined, it will define them
* according to the available information.
* \param[in] file The file where the scop has to be read.
* \param[in] registry The list of known interfaces (others are ignored).
* \param[in] precision The precision of the relation elements.
* \return A pointer to the scop structure that has been read.
*/
osl_scop_p osl_scop_pread(FILE * file, osl_interface_p registry,
int precision) {
osl_scop_p list = NULL, current = NULL, scop;
osl_statement_p stmt = NULL;
osl_statement_p prev = NULL;
osl_strings_p language;
int nb_statements;
char * tmp;
int first = 1;
int i;
if (file == NULL)
return NULL;
while(1) {
//
// I. START TAG
//
tmp = osl_util_read_uptotag(file, OSL_TAG_START_SCOP);
if (tmp == NULL) {
OSL_debug("no more scop in the file");
break;
}
else {
free(tmp);
}
scop = osl_scop_malloc();
scop->registry = osl_interface_clone(registry);
//
// II. CONTEXT PART
//
// Read the language.
language = osl_strings_read(file);
if (osl_strings_size(language) == 0)
OSL_error("no language (backend) specified");
if (osl_strings_size(language) > 1)
OSL_warning("uninterpreted information (after language)");
if (language != NULL) {
scop->language = strdup(language->string[0]);
osl_strings_free(language);
}
// Read the context domain.
scop->context = osl_relation_pread(file, precision);
// Read the parameters.
if (osl_util_read_int(file, NULL) > 0)
scop->parameters = osl_generic_read_one(file, scop->registry);
//
// III. STATEMENT PART
//
// Read the number of statements.
nb_statements = osl_util_read_int(file, NULL);
for (i = 0; i < nb_statements; i++) {
// Read each statement.
stmt = osl_statement_pread(file, scop->registry, precision);
if (scop->statement == NULL)
scop->statement = stmt;
else
prev->next = stmt;
prev = stmt;
}
//
// IV. EXTENSION PART (TO THE END TAG)
//
// Read up the end tag (if any), and store extensions.
scop->extension = osl_generic_read(file, scop->registry);
// Add the new scop to the list.
if (first) {
list = scop;
first = 0;
}
else {
current->next = scop;
}
current = scop;
}
if (!osl_scop_integrity_check(list))
OSL_warning("scop integrity check failed");
return list;
}
/**
* osl_scop_print function:
* this function prints the content of an osl_scop_t structure (*scop)
* into a file (file, possibly stdout) in the OpenScop textual format.
* \param file The file where the information has to be printed.
* \param scop The scop structure whose information has to be printed.
*/
void osl_scop_print(FILE * file, osl_scop_p scop) {
int parameters_backedup = 0;
int arrays_backedup = 0;
osl_strings_p parameters_backup = NULL;
osl_strings_p arrays_backup = NULL;
osl_names_p names;
osl_arrays_p arrays;
if (scop == NULL) {
fprintf(file, "# NULL scop\n");
return;
}
else {
fprintf(file, "# [File generated by the OpenScop Library %s]\n",
OSL_RELEASE);
}
if (osl_scop_integrity_check(scop) == 0)
OSL_warning("OpenScop integrity check failed. Something may go wrong.");
// Generate the names for the various dimensions.
names = osl_scop_names(scop);
while (scop != NULL) {
// If possible, replace parameter names with scop parameter names.
if (osl_generic_has_URI(scop->parameters, OSL_URI_STRINGS)) {
parameters_backedup = 1;
parameters_backup = names->parameters;
names->parameters = scop->parameters->data;
}
// If possible, replace array names with arrays extension names.
arrays = osl_generic_lookup(scop->extension, OSL_URI_ARRAYS);
if (arrays != NULL) {
arrays_backedup = 1;
arrays_backup = names->arrays;
names->arrays = osl_arrays_to_strings(arrays);
}
fprintf(file, "\n"OSL_TAG_START_SCOP"\n\n");
fprintf(file, "# =============================================== "
"Global\n");
fprintf(file, "# Language\n");
fprintf(file, "%s\n\n", scop->language);
fprintf(file, "# Context\n");
osl_relation_pprint(file, scop->context, names);
fprintf(file, "\n");
osl_util_print_provided(file,
osl_generic_has_URI(scop->parameters, OSL_URI_STRINGS),
"Parameters are");
osl_generic_print(file, scop->parameters);
fprintf(file, "\n# Number of statements\n");
fprintf(file, "%d\n\n",osl_statement_number(scop->statement));
osl_statement_pprint(file, scop->statement, names);
if (scop->extension) {
fprintf(file, "# =============================================== "
"Extensions\n");
osl_generic_print(file, scop->extension);
}
fprintf(file, "\n"OSL_TAG_END_SCOP"\n\n");
// If necessary, switch back parameter names.
if (parameters_backedup) {
parameters_backedup = 0;
names->parameters = parameters_backup;
}
// If necessary, switch back array names.
if (arrays_backedup) {
arrays_backedup = 0;
osl_strings_free(names->arrays);
names->arrays = arrays_backup;
}
scop = scop->next;
}
osl_names_free(names);
}
