/** * @brief Clone (hard copy) an osl_scop, but also clone the substrate_statement_profile * pointed by every osl_statement->usr field. * * @param[in] scop The osl_scop that will be cloned. * * @return A clone of \a scop including the substrate_statement_profile pointed by the * osl_statement->usr filed. */ struct osl_scop * substrate_osl_scop_clone(struct osl_scop * scop) { struct osl_scop * res = NULL, *inital_res = NULL; struct osl_statement *stmt1 = NULL, *stmt2 = NULL; res = osl_scop_clone(scop); //inital_res point to the first scop of the cloned list, and that's what will be returned //at the end of the function. inital_res = res; while(res != NULL) { stmt1 = scop->statement; stmt2 = res->statement; while((stmt1 != NULL) && (stmt2 != NULL)) { stmt2->usr = substrate_statement_profile_clone(stmt1->usr); stmt1 = stmt1->next; stmt2 = stmt2->next; } res = res->next; } return inital_res; }
int main(int argc, char * argv[]) { osl_scop_p scop = NULL; osl_generic_p x, last; osl_clay_p clay_tag; clay_options_p options; int parsing_result = 0; // Read command line parameters options = clay_options_read(argc, argv); if (options->print_infos) { clay_options_free(options); exit(0); } // Open the scop file #ifdef CLAN_LINKED if (options->readc) { clan_options_p clan_opt = clan_options_malloc(); clan_opt->precision = OSL_PRECISION_MP; clan_opt->name = options->input_name; clan_opt->extbody = 1; scop = clan_scop_extract(options->input, clan_opt); //clan_options_free(clan_opt); // bug, the name is also freed free(clan_opt); fclose(options->input); } else #endif { scop = osl_scop_read(options->input); if (options->input != stdin) fclose(options->input); } if (options->normalize) { clay_beta_normalize(scop); } #if defined(CANDL_LINKED) osl_scop_p orig_scop = NULL; if (!options->nocandl && scop != NULL) { orig_scop = osl_scop_clone(scop); } #endif // Execute the script ... // do nothing if the scop is NULL if (scop != NULL) { // Read the script file if (!options->from_tag) { parsing_result = clay_parser_file(scop, options->script, options); if (parsing_result != 0) { fprintf(stderr, "[Clay] %s\n", clay_get_error_message()); } fclose(options->script); // Read the script from the extension clay } else { // equivalent to osl_generic_lookup, but we need the last extension // to remove the clay extension in the list x = scop->extension; last = NULL; while (x != NULL) { if (osl_generic_has_URI(x, OSL_URI_CLAY)) break; last = x; x = x->next; } if (x != NULL) { // parse the clay string clay_tag = x->data; parsing_result = clay_parser_string(scop, clay_tag->script, options); if (parsing_result != 0) { fprintf(stderr, "[Clay] %s\n", clay_get_error_message()); } // remove the extension clay osl_generic_remove(&scop->extension, OSL_URI_CLAY); } } } #ifdef CANDL_LINKED int is_violated = 0; // Check dependencies if (!options->nocandl && scop != NULL && parsing_result == 0) { candl_options_p candl_opt = candl_options_malloc(); if (options->candl_fullcheck) candl_opt->fullcheck = 1; candl_scop_usr_init(orig_scop); candl_violation_p violation = candl_violation(orig_scop, scop, 0, candl_opt); is_violated = (violation != NULL); if (is_violated) { candl_violation_pprint(stdout, violation); if (options->candl_structure) candl_violation_dump(stdout, violation); } candl_scop_usr_cleanup(orig_scop); candl_options_free(candl_opt); candl_violation_free(violation); osl_scop_free(orig_scop); } if (!is_violated) // print the scop or the .c file by cloog #endif { #ifdef CLOOG_LINKED if (options->printc && scop != NULL && parsing_result == 0) { clay_util_scop_export_body(scop); CloogState *state = cloog_state_malloc(); CloogOptions *cloogoptions = cloog_options_malloc(state); cloogoptions->openscop = 1; CloogInput *clooginput = cloog_input_from_osl_scop(cloogoptions->state, scop); cloog_options_copy_from_osl_scop(scop, cloogoptions); CloogProgram *program = cloog_program_alloc(clooginput->context, clooginput->ud, cloogoptions); free(clooginput); cloog_program_generate(program, cloogoptions); cloog_program_pprint(stdout, program, cloogoptions); cloog_program_free(program); cloogoptions->scop = NULL; // don't free the scop cloog_options_free(cloogoptions); cloog_state_free(state); } else #endif { if (parsing_result == 0) { if (!options->keep_extbody) clay_util_scop_export_body(scop); osl_scop_print(stdout, scop); } } } osl_scop_free(scop); clay_options_free(options); return parsing_result; }