osprey-gcc-4.2.0/gcc/tree-ssa-structalias.c File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "ggc.h"
#include "obstack.h"
#include "bitmap.h"
#include "flags.h"
#include "rtl.h"
#include "tm_p.h"
#include "hard-reg-set.h"
#include "basic-block.h"
#include "output.h"
#include "errors.h"
#include "diagnostic.h"
#include "tree.h"
#include "c-common.h"
#include "tree-flow.h"
#include "tree-inline.h"
#include "varray.h"
#include "c-tree.h"
#include "tree-gimple.h"
#include "hashtab.h"
#include "function.h"
#include "cgraph.h"
#include "tree-pass.h"
#include "timevar.h"
#include "alloc-pool.h"
#include "splay-tree.h"
#include "params.h"
#include "tree-ssa-structalias.h"
#include "gt-tree-ssa-structalias.h"

Include dependency graph for tree-ssa-structalias.c:

Go to the source code of this file.

Data Types

type  variable_info
type  constraint_expr
type  constraint
type  constraint_graph
type  scc_info
type  topo_info
type  tree_id

Defines

#define EXECUTE_IF_IN_NONNULL_BITMAP(a, b, c, d)

Typedefs

typedef struct variable_infovarinfo_t
typedef struct constraint_expr ce_s
typedef struct constraint_edge * constraint_edge_t
typedef struct constraint_graphconstraint_graph_t
typedef struct tree_idtree_id_t

Enumerations

enum  constraint_expr_type { SCALAR, DEREF, ADDRESSOF }

Functions/Subroutines

static GTY ((if_marked("tree_map_marked_p"), param_is(struct tree_map)))
static varinfo_t first_vi_for_offset (varinfo_t, unsigned HOST_WIDE_INT)
 DEF_VEC_P (varinfo_t)
 DEF_VEC_ALLOC_P (varinfo_t, heap)
static VEC (varinfo_t, heap)
static varinfo_t get_varinfo_fc (unsigned int n)
static tree heapvar_lookup (tree from)
static void heapvar_insert (tree from, tree to)
static varinfo_t new_var_info (tree t, unsigned int id, const char *name, unsigned int node)
 DEF_VEC_O (ce_s)
 DEF_VEC_ALLOC_O (ce_s, heap)
static void get_constraint_for (tree, VEC(ce_s, heap)**)
static void do_deref (VEC(ce_s, heap)**)
static VEC (constraint_t, heap)
static constraint_edge_t new_constraint_edge (unsigned int dest)
 DEF_VEC_P (constraint_edge_t)
 DEF_VEC_ALLOC_P (constraint_edge_t, heap)
static constraint_t new_constraint (const struct constraint_expr lhs, const struct constraint_expr rhs)
void dump_constraint (FILE *file, constraint_t c)
void debug_constraint (constraint_t c)
void dump_constraints (FILE *file)
void debug_constraints (void)
static bool constraint_expr_equal (struct constraint_expr a, struct constraint_expr b)
static bool constraint_expr_less (struct constraint_expr a, struct constraint_expr b)
static bool constraint_less (const constraint_t a, const constraint_t b)
static bool constraint_equal (struct constraint a, struct constraint b)
static constraint_t constraint_vec_find (VEC(constraint_t, heap)*vec, struct constraint lookfor)
static void constraint_set_union (VEC(constraint_t, heap)**to, VEC(constraint_t, heap)**from)
static void solution_set_add (bitmap set, unsigned HOST_WIDE_INT offset)
static bool set_union_with_increment (bitmap to, bitmap from, unsigned HOST_WIDE_INT inc)
static void insert_into_complex (unsigned int var, constraint_t c)
static bool constraint_edge_equal (struct constraint_edge a, struct constraint_edge b)
static bool constraint_edge_less (const constraint_edge_t a, const constraint_edge_t b)
static constraint_edge_t constraint_edge_vec_find (VEC(constraint_edge_t, heap)*vec, struct constraint_edge lookfor)
static void condense_varmap_nodes (unsigned int to, unsigned int src)
static void erase_graph_self_edge (constraint_graph_t graph, unsigned int src)
static void clear_edges_for_node (constraint_graph_t graph, unsigned int node)
static bool add_graph_edge (constraint_graph_t graph, unsigned int src, unsigned int dest)
static bitmapget_graph_weights (constraint_graph_t graph, unsigned int src, unsigned int dest)
static bitmap allocate_graph_weights (constraint_graph_t graph, unsigned int src, unsigned int dest)
static void merge_graph_nodes (constraint_graph_t graph, unsigned int to, unsigned int from)
static bool int_add_graph_edge (constraint_graph_t graph, unsigned int to, unsigned int from, unsigned HOST_WIDE_INT weight)
static bool valid_graph_edge (constraint_graph_t graph, unsigned int src, unsigned int dest)
static bool valid_weighted_graph_edge (constraint_graph_t graph, unsigned int src, unsigned int dest)
static void build_constraint_graph (void)
 DEF_VEC_I (unsigned)
 DEF_VEC_ALLOC_I (unsigned, heap)
static void scc_visit (constraint_graph_t graph, struct scc_info *si, unsigned int n)
static void collapse_nodes (constraint_graph_t graph, unsigned int to, unsigned int from)
static void process_unification_queue (constraint_graph_t graph, struct scc_info *si, bool update_changed)
static struct topo_infoinit_topo_info (void)
static void free_topo_info (struct topo_info *ti)
static void topo_visit (constraint_graph_t graph, struct topo_info *ti, unsigned int n)
static bool type_safe (unsigned int n, unsigned HOST_WIDE_INT *offset)
static void do_da_constraint (constraint_graph_t graph ATTRIBUTE_UNUSED, constraint_t c, bitmap delta)
static void do_sd_constraint (constraint_graph_t graph, constraint_t c, bitmap delta)
static void do_ds_constraint (constraint_graph_t graph, constraint_t c, bitmap delta)
static void do_complex_constraint (constraint_graph_t graph, constraint_t c, bitmap delta)
static struct scc_infoinit_scc_info (void)
static void free_scc_info (struct scc_info *si)
static void find_and_collapse_graph_cycles (constraint_graph_t graph, bool update_changed)
static void compute_topo_order (constraint_graph_t graph, struct topo_info *ti)
static bool bitmap_other_than_zero_bit_set (bitmap b)
static void perform_var_substitution (constraint_graph_t graph)
static void solve_graph (constraint_graph_t graph)
static hashval_t tree_id_hash (const void *p)
static int tree_id_eq (const void *p1, const void *p2)
static void insert_id_for_tree (tree t, int id)
static bool lookup_id_for_tree (tree t, unsigned int *id)
static const char * alias_get_name (tree decl)
static unsigned int get_id_for_tree (tree t)
static struct constraint_expr get_constraint_exp_from_ssa_var (tree t)
static void process_constraint (constraint_t t)
static bool could_have_pointers (tree t)
static unsigned HOST_WIDE_INT bitpos_of_field (const tree fdecl)
static bool offset_overlaps_with_access (const unsigned HOST_WIDE_INT fieldpos, const unsigned HOST_WIDE_INT fieldsize, const unsigned HOST_WIDE_INT accesspos, const unsigned HOST_WIDE_INT accesssize)
static void get_constraint_for_component_ref (tree t, VEC(ce_s, heap)**results)
static tree create_nonlocal_var (tree type)
static bool do_simple_structure_copy (const struct constraint_expr lhs, const struct constraint_expr rhs, const unsigned HOST_WIDE_INT size)
static void do_rhs_deref_structure_copy (const struct constraint_expr lhs, const struct constraint_expr rhs, const unsigned HOST_WIDE_INT size)
static void do_lhs_deref_structure_copy (const struct constraint_expr lhs, const struct constraint_expr rhs, const unsigned HOST_WIDE_INT size)
static unsigned int collapse_rest_of_var (unsigned int var)
static void do_structure_copy (tree lhsop, tree rhsop)
static void update_alias_info (tree stmt, struct alias_info *ai)
static bool handle_ptr_arith (VEC(ce_s, heap)*lhsc, tree expr)
static void find_func_aliases (tree origt)
static void insert_into_field_list (varinfo_t base, varinfo_t field)
static void insert_into_field_list_sorted (varinfo_t base, varinfo_t field)
static int fieldoff_compare (const void *pa, const void *pb)
void sort_fieldstack (VEC(fieldoff_s, heap)*fieldstack)
int push_fields_onto_fieldstack (tree type, VEC(fieldoff_s, heap)**fieldstack, HOST_WIDE_INT offset, bool *has_union)
static void make_constraint_from_escaped (varinfo_t vi)
static void make_constraint_to_escaped (struct constraint_expr rhs)
static unsigned int count_num_arguments (tree decl, bool *is_varargs)
static unsigned int create_function_info_for (tree decl, const char *name)
static bool check_for_overlaps (VEC(fieldoff_s, heap)*fieldstack)
static tree find_global_initializers (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED, void *viv)
static unsigned int create_variable_info_for (tree decl, const char *name)
void dump_solution_for_var (FILE *file, unsigned int var)
void debug_solution_for_var (unsigned int var)
static void intra_create_variable_infos (void)
static void set_uids_in_ptset (tree ptr, bitmap into, bitmap from)
bool find_what_p_points_to (tree p)
void dump_sa_points_to_info (FILE *outfile)
void debug_sa_points_to_info (void)
static void init_base_vars (void)
static void init_alias_vars (void)
static void find_escape_constraints (tree stmt)
void compute_points_to_sets (struct alias_info *ai)
void delete_points_to_sets (void)
static bool gate_ipa_pta (void)
static unsigned int ipa_pta_execute (void)
void init_alias_heapvars (void)
void delete_alias_heapvars (void)

Variables

 stats
static alloc_pool variable_info_pool
static varinfo_t var_anything
static tree anything_tree
static unsigned int anything_id
static varinfo_t var_nothing
static tree nothing_tree
static unsigned int nothing_id
static varinfo_t var_readonly
static tree readonly_tree
static unsigned int readonly_id
static varinfo_t var_integer
static tree integer_tree
static unsigned int integer_id
static varinfo_t var_escaped_vars
static tree escaped_vars_tree
static unsigned int escaped_vars_id
static unsigned int nonlocal_vars_id
static alloc_pool constraint_edge_pool
static constraint_graph_t graph
static int graph_size
static bool edge_added = false
static unsigned int changed_count
static sbitmap changed
static htab_t id_for_tree
static bool have_alias_info = false
struct tree_opt_pass pass_ipa_pta


Define Documentation

#define EXECUTE_IF_IN_NONNULL_BITMAP ( a,
b,
c,
d   ) 


Typedef Documentation

Definition at line 414 of file tree-ssa-structalias.c.

typedef struct constraint_edge* constraint_edge_t

Definition at line 449 of file tree-ssa-structalias.c.

Definition at line 486 of file tree-ssa-structalias.c.

Definition at line 269 of file tree-ssa-structalias.c.


Enumeration Type Documentation

Enumerator:
SCALAR 
DEREF 
ADDRESSOF 

Definition at line 394 of file tree-ssa-structalias.c.


Function Documentation

static bool add_graph_edge ( constraint_graph_t  graph,
unsigned int  src,
unsigned int  dest 
) [static]

static const char* alias_get_name ( tree  decl  )  [static]

static bitmap allocate_graph_weights ( constraint_graph_t  graph,
unsigned int  src,
unsigned int  dest 
) [static]

static bool bitmap_other_than_zero_bit_set ( bitmap  b  )  [static]

Definition at line 1837 of file tree-ssa-structalias.c.

References bitmap_empty_p, EXECUTE_IF_SET_IN_BITMAP, and i.

Referenced by perform_var_substitution().

static unsigned HOST_WIDE_INT bitpos_of_field ( const tree  fdecl  )  [static]

static void build_constraint_graph ( void   )  [static]

static bool check_for_overlaps ( VEC(fieldoff_s, heap)*  fieldstack  )  [static]

Definition at line 3977 of file tree-ssa-structalias.c.

References HOST_WIDE_INT, i, NULL, fieldoff::offset, and VEC_iterate.

Referenced by create_variable_info_for().

static void clear_edges_for_node ( constraint_graph_t  graph,
unsigned int  node 
) [static]

static void collapse_nodes ( constraint_graph_t  graph,
unsigned int  to,
unsigned int  from 
) [static]

static unsigned int collapse_rest_of_var ( unsigned int  var  )  [static]

void compute_points_to_sets ( struct alias_info ai  ) 

static void compute_topo_order ( constraint_graph_t  graph,
struct topo_info ti 
) [static]

Definition at line 1823 of file tree-ssa-structalias.c.

References i, node, size, TEST_BIT, topo_visit(), VEC_length, and topo_info::visited.

Referenced by perform_var_substitution(), and solve_graph().

static void condense_varmap_nodes ( unsigned int  to,
unsigned int  src 
) [static]

static bool constraint_edge_equal ( struct constraint_edge  a,
struct constraint_edge  b 
) [static]

Definition at line 745 of file tree-ssa-structalias.c.

Referenced by constraint_edge_vec_find(), and erase_graph_self_edge().

static bool constraint_edge_less ( const constraint_edge_t  a,
const constraint_edge_t  b 
) [static]

static constraint_edge_t constraint_edge_vec_find ( VEC(constraint_edge_t, heap)*  vec,
struct constraint_edge  lookfor 
) [static]

static bool constraint_equal ( struct constraint  a,
struct constraint  b 
) [static]

Definition at line 624 of file tree-ssa-structalias.c.

References constraint_expr_equal(), constraint::lhs, and constraint::rhs.

Referenced by constraint_vec_find().

static bool constraint_expr_equal ( struct constraint_expr  a,
struct constraint_expr  b 
) [static]

static bool constraint_expr_less ( struct constraint_expr  a,
struct constraint_expr  b 
) [static]

static bool constraint_less ( const constraint_t  a,
const constraint_t  b 
) [static]

static void constraint_set_union ( VEC(constraint_t, heap)**  to,
VEC(constraint_t, heap)**  from 
) [static]

static constraint_t constraint_vec_find ( VEC(constraint_t, heap)*  vec,
struct constraint  lookfor 
) [static]

static bool could_have_pointers ( tree  t  )  [static]

static unsigned int count_num_arguments ( tree  decl,
bool is_varargs 
) [static]

Definition at line 3846 of file tree-ssa-structalias.c.

References i, TREE_CHAIN, TREE_TYPE, TREE_VALUE, TYPE_ARG_TYPES, and void_type_node.

Referenced by create_function_info_for().

static unsigned int create_function_info_for ( tree  decl,
const char *  name 
) [static]

static tree create_nonlocal_var ( tree  type  )  [static]

static unsigned int create_variable_info_for ( tree  decl,
const char *  name 
) [static]

void debug_constraint ( constraint_t  c  ) 

Definition at line 529 of file tree-ssa-structalias.c.

References dump_constraint().

void debug_constraints ( void   ) 

Definition at line 548 of file tree-ssa-structalias.c.

References dump_constraints().

void debug_sa_points_to_info ( void   ) 

Definition at line 4526 of file tree-ssa-structalias.c.

References dump_sa_points_to_info().

void debug_solution_for_var ( unsigned int  var  ) 

Definition at line 4244 of file tree-ssa-structalias.c.

References dump_solution_for_var().

DEF_VEC_ALLOC_I ( unsigned  ,
heap   
)

DEF_VEC_ALLOC_O ( ce_s  ,
heap   
)

DEF_VEC_ALLOC_P ( constraint_edge_t  ,
heap   
)

DEF_VEC_ALLOC_P ( varinfo_t  ,
heap   
)

DEF_VEC_I ( unsigned   ) 

DEF_VEC_O ( ce_s   ) 

DEF_VEC_P ( constraint_edge_t   ) 

DEF_VEC_P ( varinfo_t   ) 

void delete_alias_heapvars ( void   ) 

Definition at line 5027 of file tree-ssa-structalias.c.

References htab_delete(), and NULL_TREE.

Referenced by delete_tree_ssa(), and ipa_pta_execute().

void delete_points_to_sets ( void   ) 

static void do_complex_constraint ( constraint_graph_t  graph,
constraint_t  c,
bitmap  delta 
) [static]

static void do_da_constraint ( constraint_graph_t graph  ATTRIBUTE_UNUSED,
constraint_t  c,
bitmap  delta 
) [static]

static void do_deref ( VEC(ce_s, heap)**  constraints  )  [static]

static void do_ds_constraint ( constraint_graph_t  graph,
constraint_t  c,
bitmap  delta 
) [static]

static void do_lhs_deref_structure_copy ( const struct constraint_expr  lhs,
const struct constraint_expr  rhs,
const unsigned HOST_WIDE_INT  size 
) [static]

static void do_rhs_deref_structure_copy ( const struct constraint_expr  lhs,
const struct constraint_expr  rhs,
const unsigned HOST_WIDE_INT  size 
) [static]

static void do_sd_constraint ( constraint_graph_t  graph,
constraint_t  c,
bitmap  delta 
) [static]

static bool do_simple_structure_copy ( const struct constraint_expr  lhs,
const struct constraint_expr  rhs,
const unsigned HOST_WIDE_INT  size 
) [static]

static void do_structure_copy ( tree  lhsop,
tree  rhsop 
) [static]

void dump_constraint ( FILE file,
constraint_t  c 
)

void dump_constraints ( FILE file  ) 

Definition at line 537 of file tree-ssa-structalias.c.

References c, dump_constraint(), i, and VEC_iterate.

void dump_sa_points_to_info ( FILE outfile  ) 

void dump_solution_for_var ( FILE file,
unsigned int  var 
)

static void erase_graph_self_edge ( constraint_graph_t  graph,
unsigned int  src 
) [static]

static int fieldoff_compare ( const void pa,
const void pb 
) [static]

Definition at line 3656 of file tree-ssa-structalias.c.

References HOST_WIDE_INT, fieldoff::offset, fieldoff::size, and TREE_INT_CST_LOW.

Referenced by sort_fieldstack().

static void find_and_collapse_graph_cycles ( constraint_graph_t  graph,
bool  update_changed 
) [static]

static void find_escape_constraints ( tree  stmt  )  [static]

static void find_func_aliases ( tree  origt  )  [static]

static tree find_global_initializers ( tree tp,
int *walk_subtrees  ATTRIBUTE_UNUSED,
void viv 
) [static]

bool find_what_p_points_to ( tree  p  ) 

static varinfo_t first_vi_for_offset ( varinfo_t  start,
unsigned HOST_WIDE_INT  offset 
) [static]

static void free_scc_info ( struct scc_info si  )  [static]

static void free_topo_info ( struct topo_info ti  )  [static]

Definition at line 1498 of file tree-ssa-structalias.c.

References free(), sbitmap_free, VEC_free, and topo_info::visited.

Referenced by perform_var_substitution(), and solve_graph().

static bool gate_ipa_pta ( void   )  [static]

Definition at line 4896 of file tree-ssa-structalias.c.

References errorcount, and sorrycount.

static struct constraint_expr get_constraint_exp_from_ssa_var ( tree  t  )  [static, read]

static void get_constraint_for ( tree  t,
VEC(ce_s, heap)**  results 
) [static]

static void get_constraint_for_component_ref ( tree  t,
VEC(ce_s, heap)**  results 
) [static]

static bitmap* get_graph_weights ( constraint_graph_t  graph,
unsigned int  src,
unsigned int  dest 
) [static]

static unsigned int get_id_for_tree ( tree  t  )  [static]

static varinfo_t get_varinfo_fc ( unsigned int  n  )  [inline, static]

Definition at line 295 of file tree-ssa-structalias.c.

References VEC_index.

Referenced by build_constraint_graph(), and dump_constraint().

static GTY ( (if_marked("tree_map_marked_p"), param_is(struct tree_map))   )  [static]

Definition at line 164 of file tree-ssa-structalias.c.

static bool handle_ptr_arith ( VEC(ce_s, heap)*  lhsc,
tree  expr 
) [static]

static void heapvar_insert ( tree  from,
tree  to 
) [static]

static tree heapvar_lookup ( tree  from  )  [static]

void init_alias_heapvars ( void   ) 

Definition at line 5019 of file tree-ssa-structalias.c.

References htab_create_ggc, NULL, NULL_TREE, tree_map_eq(), and tree_map_hash().

Referenced by init_tree_ssa(), and ipa_pta_execute().

static void init_alias_vars ( void   )  [static]

static void init_base_vars ( void   )  [static]

static struct scc_info* init_scc_info ( void   )  [static, read]

static struct topo_info* init_topo_info ( void   )  [static, read]

static void insert_id_for_tree ( tree  t,
int  id 
) [static]

static void insert_into_complex ( unsigned int  var,
constraint_t  c 
) [static]

Definition at line 733 of file tree-ssa-structalias.c.

References constraint_less(), VEC_lower_bound, and VEC_safe_insert.

Referenced by build_constraint_graph().

static void insert_into_field_list ( varinfo_t  base,
varinfo_t  field 
) [static]

Definition at line 3616 of file tree-ssa-structalias.c.

References variable_info::next, and prev.

Referenced by create_variable_info_for().

static void insert_into_field_list_sorted ( varinfo_t  base,
varinfo_t  field 
) [static]

Definition at line 3629 of file tree-ssa-structalias.c.

References variable_info::next, NULL, variable_info::offset, and prev.

Referenced by create_function_info_for().

static bool int_add_graph_edge ( constraint_graph_t  graph,
unsigned int  to,
unsigned int  from,
unsigned HOST_WIDE_INT  weight 
) [static]

static void intra_create_variable_infos ( void   )  [static]

static unsigned int ipa_pta_execute ( void   )  [static]

static bool lookup_id_for_tree ( tree  t,
unsigned int *  id 
) [static]

Definition at line 2182 of file tree-ssa-structalias.c.

References htab_find(), tree_id::id, NULL, and tree_id::t.

Referenced by find_what_p_points_to().

static void make_constraint_from_escaped ( varinfo_t  vi  )  [static]

static void make_constraint_to_escaped ( struct constraint_expr  rhs  )  [static]

static void merge_graph_nodes ( constraint_graph_t  graph,
unsigned int  to,
unsigned int  from 
) [static]

static constraint_t new_constraint ( const struct constraint_expr  lhs,
const struct constraint_expr  rhs 
) [static]

static constraint_edge_t new_constraint_edge ( unsigned int  dest  )  [static]

Definition at line 455 of file tree-ssa-structalias.c.

References NULL, pool_alloc(), and ret.

Referenced by add_graph_edge().

static varinfo_t new_var_info ( tree  t,
unsigned int  id,
const char *  name,
unsigned int  node 
) [static]

static bool offset_overlaps_with_access ( const unsigned HOST_WIDE_INT  fieldpos,
const unsigned HOST_WIDE_INT  fieldsize,
const unsigned HOST_WIDE_INT  accesspos,
const unsigned HOST_WIDE_INT  accesssize 
) [static]

Definition at line 2380 of file tree-ssa-structalias.c.

Referenced by get_constraint_for_component_ref().

static void perform_var_substitution ( constraint_graph_t  graph  )  [static]

static void process_constraint ( constraint_t  t  )  [static]

static void process_unification_queue ( constraint_graph_t  graph,
struct scc_info si,
bool  update_changed 
) [static]

int push_fields_onto_fieldstack ( tree  type,
VEC(fieldoff_s, heap)**  fieldstack,
HOST_WIDE_INT  offset,
bool has_union 
)

static void scc_visit ( constraint_graph_t  graph,
struct scc_info si,
unsigned int  n 
) [static]

static void set_uids_in_ptset ( tree  ptr,
bitmap  into,
bitmap  from 
) [static]

static bool set_union_with_increment ( bitmap  to,
bitmap  from,
unsigned HOST_WIDE_INT  inc 
) [static]

static void solution_set_add ( bitmap  set,
unsigned HOST_WIDE_INT  offset 
) [static]

static void solve_graph ( constraint_graph_t  graph  )  [static]

void sort_fieldstack ( VEC(fieldoff_s, heap)*  fieldstack  ) 

static void topo_visit ( constraint_graph_t  graph,
struct topo_info ti,
unsigned int  n 
) [static]

static int tree_id_eq ( const void p1,
const void p2 
) [static]

Definition at line 2152 of file tree-ssa-structalias.c.

References tree_id::t.

Referenced by init_alias_vars().

static hashval_t tree_id_hash ( const void p  )  [static]

Definition at line 2143 of file tree-ssa-structalias.c.

References htab_hash_pointer, and tree_id::t.

Referenced by init_alias_vars().

static bool type_safe ( unsigned int  n,
unsigned HOST_WIDE_INT *  offset 
) [static]

static void update_alias_info ( tree  stmt,
struct alias_info ai 
) [static]

static bool valid_graph_edge ( constraint_graph_t  graph,
unsigned int  src,
unsigned int  dest 
) [static]

static bool valid_weighted_graph_edge ( constraint_graph_t  graph,
unsigned int  src,
unsigned int  dest 
) [static]

Definition at line 1185 of file tree-ssa-structalias.c.

References constraint_edge_vec_find(), and NULL.

Referenced by collapse_nodes(), and process_unification_queue().

static VEC ( constraint_t  ,
heap   
) [static]

Definition at line 434 of file tree-ssa-structalias.c.

References dest.

static VEC ( varinfo_t  ,
heap   
) [static]

Definition at line 282 of file tree-ssa-structalias.c.

References VEC_index.


Variable Documentation

unsigned int anything_id [static]

Definition at line 307 of file tree-ssa-structalias.c.

tree anything_tree [static]

Definition at line 306 of file tree-ssa-structalias.c.

sbitmap changed [static]

Definition at line 1252 of file tree-ssa-structalias.c.

Referenced by SRC_BB_MGR::_compute_cutting_set(), _frvfdpic_relax_tls_entries(), ada_demangle(), BB_REGION_Calculate_Dominators(), BB_SET_Calculate_Dominators(), bitmap_and_compl_into(), bitmap_ior(), bitmap_ior_and_compl(), bitmap_ior_and_compl_into(), bitmap_ior_into(), bitmap_operation(), bitmap_union_of_diff(), break_coalesced_spills(), break_out_calls(), bypass_conditional_jumps(), bypass_jumps(), Calculate_Dominators(), calculate_global_regs_live(), canonicalize_induction_variables(), cgraph_remove_unreachable_nodes(), cgraph_varpool_analyze_pending_decls(), cgraph_varpool_assemble_pending_decls(), Change_Switchtable_Entries(), IPAA_DF_SOLVER::Check_and_accumulate_ref_info(), check_pending_block(), classic_gcse(), cleanup_cfg(), cleanup_forwarder_blocks(), cleanup_tree_cfg(), cleanup_tree_cfg_loop(), Clone_Blocks(), coalesce_regs_in_copies(), commit_edge_insertions(), commit_edge_insertions_watch_calls(), compute_antic(), compute_antic_aux(), compute_bb_dataflow(), compute_coalesced_reg_partition(), compute_code_hoist_vbeinout(), compute_conservative_reg_partition(), INTERVAL_PROCESSOR::Compute_Dominators(), compute_iterated_dominance_frontiers(), compute_out(), compute_rd(), compute_rvuse_and_antic_safe(), compute_tag_properties(), compute_vuse_representatives(), copy_prop_visit_assignment(), copy_prop_visit_stmt(), copyprop_hardreg_forward_1(), cprop(), cprop_insn(), LOOP_DCE::Dead_Code_Elimination(), delete_unreachable_blocks(), delete_variable_part(), df_rd_transfer_function(), df_ru_transfer_function(), elf_xtensa_discard_info(), SSA::Find_zero_versions(), Fix_Recurrences_Before_Unrolling(), fold_stmt(), fold_stmt_inplace(), gcse_main(), RVI::Get_backward_dataflow(), RVI::Get_backward_lda_dataflow(), RVI::Get_forward_dataflow(), RVI::Get_forward_lda_dataflow(), DCE::Get_full_rcfg_dom_frontier(), gmalloc(), handle_avail_expr(), hybrid_search(), hybrid_search_bitmap(), hybrid_search_sbitmap(), IF_CONVERTOR::IF_CONVERTOR(), Induction_Variables_Removal(), init_alias_analysis(), instantiate_virtual_regs_in_insn(), instantiate_virtual_regs_in_rtx(), ip2k_elf_relax_section(), IPO_reorder_Fld_Tab(), iq2000_elf_check_relocs(), iterate_fix_dominators(), legitimize_address(), local_cprop_pass(), make_equivalent_phi_alternatives_equivalent(), make_regs_equivalent_over_bad_edges(), IPAA_DF_SOLVER::Map_actual(), IPAA_DF_SOLVER::Map_formal_attributes(), maybe_fold_tmr(), IPAA_DF_SOLVER::Meet_direct_iter_1(), mention_regs(), merge_seq_blocks(), merge_type_state(), Normalize_Delay_Slots(), one_classic_gcse_pass(), one_code_hoisting_pass(), one_cprop_pass(), one_pre_gcse_pass(), Optimize_Branches(), perform_edge_inserts(), ppc_elf_relax_section(), pre_delete(), pre_gcse(), Propagate_16bit_Info(), propagate_block(), Propagate_Feedback(), Propagate_Save_Restore_State(), realsymbol(), reg_alloc(), remove_empty_loops(), replace_oldest_value_addr(), rest_of_handle_reorder_blocks(), rewrite_trees(), rtl_value_profile_transformations(), sbitmap_a_and_b_cg(), sbitmap_a_and_b_or_c_cg(), sbitmap_a_or_b_and_c_cg(), sbitmap_a_or_b_cg(), sbitmap_a_xor_b_cg(), sbitmap_union_of_diff_cg(), RG_LIST::Simplify(), simplify_comparison(), simplify_plus_minus(), simplify_using_outer_evolutions(), SNL_Transform(), split_all_insns(), store_ctrl(), substitute_and_fold(), tree_optimize_tail_calls_1(), tree_purge_all_dead_eh_edges(), tree_purge_dead_abnormal_call_edges(), tree_purge_dead_eh_edges(), tree_simplify_using_condition(), tree_simplify_using_condition_1(), tree_ssa_iv_optimize_loop(), tree_ssa_unswitch_loops(), tree_unroll_loops_completely(), tree_unswitch_single_loop(), tree_value_profile_transformations(), try_crossjump_bb(), try_forward_edges(), try_optimize_cfg(), U64_LOWER_form_node(), IPAA_FORMAL_MAP::Union_2(), Unpropagate_Unusable_16bit_Info(), update_life_info(), visit_assignment(), vt_find_locations(), WFE_Expand_Top_Level_Decl(), and WGEN_Expand_Top_Level_Decl().

unsigned int changed_count [static]

Definition at line 1251 of file tree-ssa-structalias.c.

Definition at line 450 of file tree-ssa-structalias.c.

bool edge_added = false [static]

Definition at line 931 of file tree-ssa-structalias.c.

unsigned int escaped_vars_id [static]

Definition at line 329 of file tree-ssa-structalias.c.

Definition at line 328 of file tree-ssa-structalias.c.

Definition at line 488 of file tree-ssa-structalias.c.

Referenced by Transpose_For_MP().

int graph_size [static]

Definition at line 489 of file tree-ssa-structalias.c.

bool have_alias_info = false [static]

Definition at line 4404 of file tree-ssa-structalias.c.

htab_t id_for_tree [static]

Definition at line 2132 of file tree-ssa-structalias.c.

unsigned int integer_id [static]

Definition at line 323 of file tree-ssa-structalias.c.

tree integer_tree [static]

Definition at line 322 of file tree-ssa-structalias.c.

unsigned int nonlocal_vars_id [static]

Definition at line 333 of file tree-ssa-structalias.c.

unsigned int nothing_id [static]

Definition at line 312 of file tree-ssa-structalias.c.

tree nothing_tree [static]

Definition at line 311 of file tree-ssa-structalias.c.

Initial value:

{
  "pta",                    
  gate_ipa_pta,     
  ipa_pta_execute,      
  NULL,         
  NULL,         
  0,          
  TV_IPA_PTA,           
  0,                                  
  0,          
  0,          
  0,          
  0,                                    
  0         
}

Definition at line 5000 of file tree-ssa-structalias.c.

Referenced by init_optimization_passes().

unsigned int readonly_id [static]

Definition at line 317 of file tree-ssa-structalias.c.

tree readonly_tree [static]

Definition at line 316 of file tree-ssa-structalias.c.

Definition at line 194 of file tree-ssa-structalias.c.

Definition at line 305 of file tree-ssa-structalias.c.

Definition at line 327 of file tree-ssa-structalias.c.

Definition at line 321 of file tree-ssa-structalias.c.

Definition at line 310 of file tree-ssa-structalias.c.

Definition at line 315 of file tree-ssa-structalias.c.

Definition at line 274 of file tree-ssa-structalias.c.


Generated on Wed Apr 8 14:19:16 2009 for Open64 by  doxygen 1.5.6