int main(int argc, char* argv[]) { osl_scop_p scop; FILE* input; if ((argc < 2) || (argc > 2)) { CSEED_info("usage: cseed [file]"); exit(0); } if (argc == 1) input = stdin; else input = fopen(argv[1], "r"); if (input == NULL) CSEED_error("cannot open input file"); scop = cseed_scop_read_from_c(input, argv[1]); osl_scop_print(stdout, scop); cseed_scop_print_to_c(stdout, scop); osl_scop_free(scop); fclose(input); return 0; }
/** * clan_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[in] file The file where the information has to be printed. * \param[in] scop The scop structure whose information has to be printed. * \param[in] options Clan's general option settings. */ void clan_scop_print(FILE* file, osl_scop_p scop, clan_options_p options) { if ((scop != NULL) && (options->castle)) { fprintf(file, "# \n"); fprintf(file, "# <| \n"); fprintf(file, "# A \n"); fprintf(file, "# /.\\ \n"); fprintf(file, "# <| [\"\"M# \n"); fprintf(file, "# A | # Clan McCloog Castle \n"); fprintf(file, "# /.\\ [\"\"M# [Generated by Clan "); fprintf(file, "%s]\n", CLAN_VERSION); fprintf(file, "# [\"\"M# | # U\"U#U \n"); fprintf(file, "# | # | # \\ .:/ \n"); fprintf(file, "# | # | #___| # \n"); fprintf(file, "# | \"--' .-\" \n"); fprintf(file, "# |\"-\"-\"-\"-\"-#-#-## \n"); fprintf(file, "# | # ## ###### \n"); fprintf(file, "# \\ .::::'/ \n"); fprintf(file, "# \\ ::::'/ \n"); fprintf(file, "# :8a| # # ## \n"); fprintf(file, "# ::88a ### \n"); fprintf(file, "# ::::888a 8a ##::. \n"); fprintf(file, "# ::::::888a88a[]:::: \n"); fprintf(file, "# :::::::::SUNDOGa8a::::. .. \n"); fprintf(file, "# :::::8::::888:Y8888:::::::::... \n"); fprintf(file, "#::':::88::::888::Y88a______________________________"); fprintf(file, "________________________\n"); fprintf(file, "#:: ::::88a::::88a:Y88a "); fprintf(file, " __---__-- __\n"); fprintf(file, "#' .: ::Y88a:::::8a:Y88a "); fprintf(file, "__----_-- -------_-__\n"); fprintf(file, "# :' ::::8P::::::::::88aa. _ _- -"); fprintf(file, "- --_ --- __ --- __--\n"); fprintf(file, "#.:: :::::::::::::::::::Y88as88a...s88aa.\n#\n"); } if (options->outscoplib) osl_scop_print_scoplib(file, scop); else osl_scop_print(file, scop); }
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; }