clan_options Struct Reference

#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

---

Detailed Description

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...

Definition at line 54 of file options.h.

---

Field Documentation

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(), clan_options_read(), clan_parse(), clan_parser_autoscop(), yyerror(), and yyparse().

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(), clan_options_read(), and yyparse().

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(), main(), yyerror(), and yyparse().

int clan_options::noloopcontext

1 to avoid inserting loop context (default 0)

Definition at line 67 of file options.h.

Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and yyparse().

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(), clan_options_read(), and yyparse().

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_options_malloc(), clan_options_read(), clan_parse(), clan_relation_build_context(), and yyparse().

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().

---

The documentation for this struct was generated from the following file:

• options.h