PIPS
properties.h File Reference
#include "property.h"
+ Include dependency graph for properties.h:

Go to the source code of this file.

Macros

#define ONE_TRIP_DO   "ONE_TRIP_DO"
 Warning! Do not modify this file that is automatically generated! More...
 
#define PRETTYPRINT_TRANSFORMER   "PRETTYPRINT_TRANSFORMER"
 
#define PRETTYPRINT_EXECUTION_CONTEXT   "PRETTYPRINT_EXECUTION_CONTEXT"
 
#define PRETTYPRINT_EFFECTS   "PRETTYPRINT_EFFECTS"
 
#define PRETTYPRINT_PARALLEL   "PRETTYPRINT_PARALLEL"
 
#define PRETTYPRINT_REVERSE_DOALL   "PRETTYPRINT_REVERSE_DOALL"
 
#define PRETTYPRINT_REGION   "PRETTYPRINT_REGION"
 
#define SEMANTICS_FLOW_SENSITIVE   "SEMANTICS_FLOW_SENSITIVE"
 
#define SEMANTICS_INTERPROCEDURAL   "SEMANTICS_INTERPROCEDURAL"
 
#define SEMANTICS_INEQUALITY_INVARIANT   "SEMANTICS_INEQUALITY_INVARIANT"
 
#define SEMANTICS_FIX_POINT   "SEMANTICS_FIX_POINT"
 
#define SEMANTICS_DEBUG_LEVEL   "SEMANTICS_DEBUG_LEVEL"
 
#define SEMANTICS_STDOUT   "SEMANTICS_STDOUT"
 
#define PARALLELIZE_USE_EXECUTION_CONTEXT   "PARALLELIZE_USE_EXECUTION_CONTEXT"
 
#define DEPENDENCE_TEST   "DEPENDENCE_TEST"
 
#define RICEDG_PROVIDE_STATISTICS   "RICEDG_PROVIDE_STATISTICS"
 
#define pips_flag_p(p)   get_bool_property(p)
 for upwards compatibility with Francois's modified version More...
 
#define pips_flag_set(p)   set_bool_property((p), true)
 
#define pips_flag_reset(p)   set_bool_property((p), false)
 
#define pips_flag_fprint(fd)   fprint_properties(fd)
 

Functions

bool too_many_property_errors_pending_p (void)
 
void reset_property_error (void)
 
void parse_properties_string (char *, bool)
 properties.c More...
 
int prop_lex (void)
 
void prop_restart (FILE *)
 
void prop_pop_buffer_state (void)
 
int prop_get_lineno (void)
 
FILE * prop_get_in (void)
 
FILE * prop_get_out (void)
 
int prop_get_leng (void)
 
char * prop_get_text (void)
 
void prop_set_lineno (int)
 
void prop_set_in (FILE *)
 
void prop_set_out (FILE *)
 
int prop_get_debug (void)
 
void prop_set_debug (int)
 
int prop_lex_destroy (void)
 
void * prop_alloc (size_t)
 
void * prop_realloc (void *, size_t)
 
void prop_free (void *)
 
int prop_wrap (void)
 
bool properties_initialized_p (void)
 FC 2015-07-20: yuk, moved out to prevent an include cycle dependency include "properties.h". More...
 
property get_property (const char *, bool)
 
bool get_bool_property (const char *)
 
void set_bool_property (const char *, bool)
 
const char * get_string_property (const char *)
 
const char * get_string_property_or_ask (const char *, const char[])
 
void set_string_property (const char *, const char *)
 
int get_int_property (const char *)
 
void set_int_property (const char *, int)
 
void fprint_property_direct (FILE *, const char *)
 
void fprint_property (FILE *, const char *)
 
void fprint_properties (FILE *)
 
bool open_properties (void)
 
void save_properties (void)
 

Variables

int prop_leng
 cproto-generated files More...
 
FILE * prop_in
 
FILE * prop_out
 
int prop_lineno
 
int prop__flex_debug
 
char * prop_text
 

Macro Definition Documentation

◆ DEPENDENCE_TEST

#define DEPENDENCE_TEST   "DEPENDENCE_TEST"

Definition at line 52 of file properties.h.

◆ ONE_TRIP_DO

#define ONE_TRIP_DO   "ONE_TRIP_DO"

Warning! Do not modify this file that is automatically generated!

Modify src/Libs/properties/properties-local.h instead, to add your own modifications. header file built by cproto properties-local.h

Definition at line 34 of file properties.h.

◆ PARALLELIZE_USE_EXECUTION_CONTEXT

#define PARALLELIZE_USE_EXECUTION_CONTEXT   "PARALLELIZE_USE_EXECUTION_CONTEXT"

Definition at line 50 of file properties.h.

◆ pips_flag_fprint

#define pips_flag_fprint (   fd)    fprint_properties(fd)

Definition at line 59 of file properties.h.

◆ pips_flag_p

#define pips_flag_p (   p)    get_bool_property(p)

for upwards compatibility with Francois's modified version

Definition at line 56 of file properties.h.

◆ pips_flag_reset

#define pips_flag_reset (   p)    set_bool_property((p), false)

Definition at line 58 of file properties.h.

◆ pips_flag_set

#define pips_flag_set (   p)    set_bool_property((p), true)

Definition at line 57 of file properties.h.

◆ PRETTYPRINT_EFFECTS

#define PRETTYPRINT_EFFECTS   "PRETTYPRINT_EFFECTS"

Definition at line 38 of file properties.h.

◆ PRETTYPRINT_EXECUTION_CONTEXT

#define PRETTYPRINT_EXECUTION_CONTEXT   "PRETTYPRINT_EXECUTION_CONTEXT"

Definition at line 37 of file properties.h.

◆ PRETTYPRINT_PARALLEL

#define PRETTYPRINT_PARALLEL   "PRETTYPRINT_PARALLEL"

Definition at line 39 of file properties.h.

◆ PRETTYPRINT_REGION

#define PRETTYPRINT_REGION   "PRETTYPRINT_REGION"

Definition at line 41 of file properties.h.

◆ PRETTYPRINT_REVERSE_DOALL

#define PRETTYPRINT_REVERSE_DOALL   "PRETTYPRINT_REVERSE_DOALL"

Definition at line 40 of file properties.h.

◆ PRETTYPRINT_TRANSFORMER

#define PRETTYPRINT_TRANSFORMER   "PRETTYPRINT_TRANSFORMER"

Definition at line 36 of file properties.h.

◆ RICEDG_PROVIDE_STATISTICS

#define RICEDG_PROVIDE_STATISTICS   "RICEDG_PROVIDE_STATISTICS"

Definition at line 53 of file properties.h.

◆ SEMANTICS_DEBUG_LEVEL

#define SEMANTICS_DEBUG_LEVEL   "SEMANTICS_DEBUG_LEVEL"

Definition at line 47 of file properties.h.

◆ SEMANTICS_FIX_POINT

#define SEMANTICS_FIX_POINT   "SEMANTICS_FIX_POINT"

Definition at line 46 of file properties.h.

◆ SEMANTICS_FLOW_SENSITIVE

#define SEMANTICS_FLOW_SENSITIVE   "SEMANTICS_FLOW_SENSITIVE"

Definition at line 43 of file properties.h.

◆ SEMANTICS_INEQUALITY_INVARIANT

#define SEMANTICS_INEQUALITY_INVARIANT   "SEMANTICS_INEQUALITY_INVARIANT"

Definition at line 45 of file properties.h.

◆ SEMANTICS_INTERPROCEDURAL

#define SEMANTICS_INTERPROCEDURAL   "SEMANTICS_INTERPROCEDURAL"

Definition at line 44 of file properties.h.

◆ SEMANTICS_STDOUT

#define SEMANTICS_STDOUT   "SEMANTICS_STDOUT"

Definition at line 48 of file properties.h.

Function Documentation

◆ fprint_properties()

void fprint_properties ( FILE *  )

◆ fprint_property()

void fprint_property ( FILE *  ,
const char *   
)

◆ fprint_property_direct()

void fprint_property_direct ( FILE *  ,
const char *   
)

◆ get_bool_property()

bool get_bool_property ( const char *  )

◆ get_int_property()

int get_int_property ( const char *  )

◆ get_property()

property get_property ( const char *  ,
bool   
)

Referenced by push_property().

+ Here is the caller graph for this function:

◆ get_string_property()

const char* get_string_property ( const char *  )

◆ get_string_property_or_ask()

const char * get_string_property_or_ask ( const char *  ,
const char  [] 
)

◆ open_properties()

bool open_properties ( void  )

Referenced by make_open_workspace().

+ Here is the caller graph for this function:

◆ parse_properties_string()

void parse_properties_string ( char *  s,
bool  processing_p 
)

properties.c

Parameters
processing_processing_p

Definition at line 823 of file properties.c.

824 {
825  yyrestart(NULL); // In case, lex has been interrupted by an error
826  update_property = true;
827  string_to_parse = s;
828  parse_properties(processing_p);
829  string_to_parse = (char *) 0;
830  update_property = false;
831 }
#define yyrestart
Definition: properties.c:26
static bool update_property
Definition: properties.c:784
static char * string_to_parse
We may parse strings or files...
Definition: properties.c:800
static void parse_properties(bool processing_p)

References parse_properties(), string_to_parse, update_property, and yyrestart.

Referenced by safe_set_property().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ prop_alloc()

void * prop_alloc ( size_t  )

◆ prop_free()

void prop_free ( void *  )

◆ prop_get_debug()

int prop_get_debug ( void  )

◆ prop_get_in()

FILE * prop_get_in ( void  )

◆ prop_get_leng()

int prop_get_leng ( void  )

◆ prop_get_lineno()

int prop_get_lineno ( void  )

◆ prop_get_out()

FILE * prop_get_out ( void  )

◆ prop_get_text()

char * prop_get_text ( void  )

◆ prop_lex()

int prop_lex ( void  )

◆ prop_lex_destroy()

int prop_lex_destroy ( void  )

◆ prop_pop_buffer_state()

void prop_pop_buffer_state ( void  )

◆ prop_realloc()

void * prop_realloc ( void *  ,
size_t   
)

◆ prop_restart()

void prop_restart ( FILE *  )

◆ prop_set_debug()

void prop_set_debug ( int  )

◆ prop_set_in()

void prop_set_in ( FILE *  )

◆ prop_set_lineno()

void prop_set_lineno ( int  )

◆ prop_set_out()

void prop_set_out ( FILE *  )

◆ prop_wrap()

int prop_wrap ( void  )

◆ properties_initialized_p()

bool properties_initialized_p ( void  )

FC 2015-07-20: yuk, moved out to prevent an include cycle dependency include "properties.h".

Definition at line 206 of file gfc2pips-stubs.c.

206  {
207  STUB_WARNING_MSG("unimplemented in gfc2pips !");
208  return true;
209 }
#define STUB_WARNING_MSG(msg)

◆ reset_property_error()

void reset_property_error ( void  )

◆ save_properties()

void save_properties ( void  )

Referenced by checkpoint_workspace(), and make_close_workspace().

+ Here is the caller graph for this function:

◆ set_bool_property()

void set_bool_property ( const char *  ,
bool   
)

Referenced by activate_language(), array_bound_check_top_down(), control_graph(), create_HRE_module(), debug_print_effects_list(), distance_between_expression(), dsc_code_parallelization(), gpu_ify_statement(), handle_set_directive(), hbdsc_parallelization(), hcfg(), hpfc_init(), init_convex_in_out_regions(), init_convex_summary_in_out_regions(), init_live_paths_context(), initialize_emacs_mode(), internal_print_icfg(), interprocedural_summary_precondition(), interprocedural_summary_precondition_with_points_to(), intraprocedural_summary_precondition(), invariant_code_motion(), module_name_to_transformers_in_context(), outliner_file(), outliner_independent_recursively(), phrase_comEngine_distributor(), phrase_distributor(), phrase_distributor_control_code(), pips_parse_arguments(), pop_property(), preconditions_inter_fast(), preconditions_inter_full(), preconditions_inter_full_with_points_to(), preconditions_intra(), preconditions_intra_fast(), print_code_as_a_graph(), print_code_as_a_graph_complexities(), print_code_as_a_graph_preconditions(), print_code_as_a_graph_total_preconditions(), print_code_as_a_graph_transformers(), print_effective_dependence_graph(), print_filtered_dependence_daVinci_graph(), print_filtered_dependence_graph(), print_loop_carried_dependence_graph(), print_parallelizedCMF_code(), print_parallelizedCRAFT_code(), print_whole_dependence_graph(), ProcessEntries(), ProcessEntry(), refine_transformers(), refine_transformers_with_points_to(), reset_live_paths_context(), rice_all_dependence(), rice_cray(), rice_data_dependence(), safescale_distributor(), set_hyperplane_parameters(), simd_loop_unroll(), step_compile_analysed_module(), step_print_directives_regions(), taskify(), total_preconditions_inter(), total_preconditions_intra(), tpips_init(), transformers_inter_fast(), transformers_inter_full(), transformers_inter_full_with_points_to(), transformers_intra_fast(), transformers_intra_full(), and used_before_set().

◆ set_int_property()

void set_int_property ( const char *  ,
int   
)

Referenced by handle_set_directive(), pop_property(), and set_hyperplane_parameters().

+ Here is the caller graph for this function:

◆ set_string_property()

◆ too_many_property_errors_pending_p()

bool too_many_property_errors_pending_p ( void  )

Definition at line 203 of file gfc2pips-stubs.c.

203  {
204  STUB_WARNING_MSG("unimplemented in gfc2pips !");
205 }

Variable Documentation

◆ prop__flex_debug

int prop__flex_debug
extern

◆ prop_in

FILE* prop_in
extern

◆ prop_leng

int prop_leng
extern

cproto-generated files

properties.c

◆ prop_lineno

int prop_lineno
extern

◆ prop_out

FILE* prop_out
extern

◆ prop_text

char* prop_text
extern