|
Clan
0.8.1
|
#include <options.h>
Data Fields | |
| char * | name |
| int | castle |
| int | structure |
| int | autoscop |
| int | autopragma |
| int | autoinsert |
| int | inputscop |
| int | precision |
| int | bounded_context |
| int | noloopcontext |
| int | nosimplify |
| int | outscoplib |
| int | extbody |
The clan_options_t structure stores the software/library options for all functions. They are not too many for now, but they will come someday...
| int clan_options::autoinsert |
Same as autopragma, but the original code is updated.
Definition at line 62 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().
| int clan_options::autopragma |
1 to output the same code as input but with SCoP pragmas automatically inserted, 0 otherwise.
Definition at line 60 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().
| int clan_options::autoscop |
1 to extract SCoPs automatically, 0 otherwise.
Definition at line 59 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), and clan_options_read().
| int clan_options::bounded_context |
1 to force global parameters >= -1 (default 0)
Definition at line 66 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and clan_relation_build_context().
| int clan_options::castle |
1 to put the Clan castle in output, 0 otherwise.
Definition at line 57 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), and clan_scop_print().
| int clan_options::extbody |
1 to generate the extbody (default 0)
Definition at line 72 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), and clan_options_read().
| int clan_options::inputscop |
1 to read a .scop on the input, 0 to read a source file (default).
Definition at line 63 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().
| char* clan_options::name |
Name of the input file.
Definition at line 56 of file options.h.
Referenced by clan_options_free(), clan_options_malloc(), clan_options_print(), and main().
| int clan_options::noloopcontext |
1 to avoid inserting loop context (default 0)
Definition at line 67 of file options.h.
Referenced by clan_domain_for(), clan_options_malloc(), clan_options_print(), and clan_options_read().
| int clan_options::nosimplify |
1 to avoid simplifying domains (default 0)
Definition at line 68 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), and clan_options_read().
| int clan_options::outscoplib |
1 print to the SCoPLib format (default 0)
Definition at line 70 of file options.h.
Referenced by clan_options_malloc(), clan_options_read(), and clan_scop_print().
| int clan_options::precision |
0 for GMP, 32 for 32 bits, 64 for 64 bits.
Definition at line 65 of file options.h.
Referenced by clan_domain_for(), clan_options_malloc(), clan_options_read(), clan_relation_build_context(), clan_relation_extract_bounding(), clan_relation_extract_constraint(), clan_relation_gaussian_elimination(), clan_relation_greater(), and clan_relation_stride().
| int clan_options::structure |
1 to print the clan_scop structure, 0 otherwise.
Definition at line 58 of file options.h.
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().
1.8.13