osprey-gcc-4.2.0/gcc/alias.c File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "rtl.h"
#include "tree.h"
#include "tm_p.h"
#include "function.h"
#include "alias.h"
#include "emit-rtl.h"
#include "regs.h"
#include "hard-reg-set.h"
#include "basic-block.h"
#include "flags.h"
#include "output.h"
#include "toplev.h"
#include "cselib.h"
#include "splay-tree.h"
#include "ggc.h"
#include "langhooks.h"
#include "timevar.h"
#include "target.h"
#include "cgraph.h"
#include "varray.h"
#include "tree-pass.h"
#include "ipa-type-escape.h"
#include "gt-alias.h"

Include dependency graph for alias.c:

Go to the source code of this file.

Defines

#define SIZE_FOR_MODE(X)   (GET_MODE_SIZE (GET_MODE (X)))
#define DIFFERENT_ALIAS_SETS_P(MEM1, MEM2)   mems_in_disjoint_alias_sets_p (MEM1, MEM2)
#define MAX_ALIAS_LOOP_PASSES   10
#define REG_BASE_VALUE(X)

Typedefs

typedef struct alias_set_entry * alias_set_entry

Functions/Subroutines

struct alias_set_entry GTY (())
static int rtx_equal_for_memref_p (rtx, rtx)
static rtx find_symbolic_term (rtx)
static int memrefs_conflict_p (int, rtx, int, rtx, HOST_WIDE_INT)
static void record_set (rtx, rtx, void *)
static int base_alias_check (rtx, rtx, enum machine_mode, enum machine_mode)
static rtx find_base_value (rtx)
static int mems_in_disjoint_alias_sets_p (rtx, rtx)
static int insert_subset_children (splay_tree_node, void *)
static tree find_base_decl (tree)
static alias_set_entry get_alias_set_entry (HOST_WIDE_INT)
static rtx fixed_scalar_and_varying_struct_p (rtx, rtx, rtx, rtx, int(*)(rtx, int))
static int aliases_everything_p (rtx)
static bool nonoverlapping_component_refs_p (tree, tree)
static tree decl_for_component_ref (tree)
static rtx adjust_offset_for_component_ref (tree, rtx)
static int nonoverlapping_memrefs_p (rtx, rtx)
static int write_dependence_p (rtx, rtx, int)
static void memory_modified_1 (rtx, rtx, void *)
static void record_alias_subset (HOST_WIDE_INT, HOST_WIDE_INT)
int alias_sets_conflict_p (HOST_WIDE_INT set1, HOST_WIDE_INT set2)
int alias_sets_might_conflict_p (HOST_WIDE_INT set1, HOST_WIDE_INT set2)
int objects_must_conflict_p (tree t1, tree t2)
bool component_uses_parent_alias_set (tree t)
HOST_WIDE_INT get_alias_set (tree t)
HOST_WIDE_INT new_alias_set (void)
void record_component_aliases (tree type)
static void record_set (rtx dest, rtx set, void *data ATTRIBUTE_UNUSED)
void clear_reg_alias_info (rtx reg)
rtx get_reg_known_value (unsigned int regno)
static void set_reg_known_value (unsigned int regno, rtx val)
bool get_reg_known_equiv_p (unsigned int regno)
static void set_reg_known_equiv_p (unsigned int regno, bool val)
rtx canon_rtx (rtx x)
rtx find_base_term (rtx x)
rtx get_addr (rtx x)
static rtx addr_side_effect_eval (rtx addr, int size, int n_refs)
int read_dependence (rtx mem, rtx x)
int true_dependence (rtx mem, enum machine_mode mem_mode, rtx x, int(*varies)(rtx, int))
int canon_true_dependence (rtx mem, enum machine_mode mem_mode, rtx mem_addr, rtx x, int(*varies)(rtx, int))
int anti_dependence (rtx mem, rtx x)
int output_dependence (rtx mem, rtx x)
void init_alias_once (void)
static void memory_modified_1 (rtx x, rtx pat ATTRIBUTE_UNUSED, void *data)
bool memory_modified_in_insn_p (rtx mem, rtx insn)
void init_alias_analysis (void)
void end_alias_analysis (void)

Variables

static char * reg_seen
static int unique_id
static bool memory_modified

Define Documentation

#define DIFFERENT_ALIAS_SETS_P ( MEM1,
MEM2   )     mems_in_disjoint_alias_sets_p (MEM1, MEM2)

Definition at line 183 of file alias.c.

#define MAX_ALIAS_LOOP_PASSES   10

Definition at line 188 of file alias.c.

#define REG_BASE_VALUE ( X   ) 

Value:

(REGNO (X) < VEC_length (rtx, reg_base_value)   \
   ? VEC_index (rtx, reg_base_value, REGNO (X)) : 0)

#define SIZE_FOR_MODE ( X   )     (GET_MODE_SIZE (GET_MODE (X)))

Definition at line 177 of file alias.c.

Typedef Documentation

typedef struct alias_set_entry* alias_set_entry

Definition at line 149 of file alias.c.

Function Documentation

static rtx addr_side_effect_eval ( rtx  addr,
int  size,
int  n_refs 
) [static]

Definition at line 1598 of file alias.c.

References canon_rtx(), GEN_INT, gen_rtx_PLUS, GET_CODE, GET_MODE, offset, and XEXP.

static rtx adjust_offset_for_component_ref ( tree  x,
rtx  offset 
) [static]

Definition at line 1963 of file alias.c.

References BITS_PER_UNIT, component_ref_field_offset(), DECL_FIELD_BIT_OFFSET, GEN_INT, host_integerp(), HOST_WIDE_INT, INTVAL, NULL_RTX, TREE_CODE, tree_low_cst(), and TREE_OPERAND.

int alias_sets_conflict_p ( HOST_WIDE_INT  set1,
HOST_WIDE_INT  set2 
)

Definition at line 299 of file alias.c.

References alias_set_entry::children, get_alias_set_entry(), alias_set_entry::has_zero_child, and splay_tree_lookup().

int alias_sets_might_conflict_p ( HOST_WIDE_INT  set1,
HOST_WIDE_INT  set2 
)

Definition at line 335 of file alias.c.

static int aliases_everything_p ( rtx  mem  )  [static]

Definition at line 1879 of file alias.c.

References AND, GET_CODE, and XEXP.

int anti_dependence ( rtx  mem,
rtx  x 
)

Definition at line 2343 of file alias.c.

References write_dependence_p().

static int base_alias_check ( rtx  x,
rtx  y,
enum machine_mode  x_mode,
enum machine_mode  y_mode 
) [static]

Definition at line 1491 of file alias.c.

References AND, canon_rtx(), find_base_term(), flag_argument_noalias, flag_expensive_optimizations, GET_CODE, GET_MODE, GET_MODE_UNIT_SIZE, INTVAL, Pmode, rtx_equal_p(), and XEXP.

rtx canon_rtx ( rtx  x  ) 

Definition at line 1151 of file alias.c.

References canon_rtx(), gen_rtx_PLUS, GET_CODE, GET_MODE, get_reg_known_value(), INTVAL, MEM, MEM_P, PLUS, plus_constant, REG, REG_P, REGNO, replace_equiv_address_nv(), x0, x1, and XEXP.

int canon_true_dependence ( rtx  mem,
enum machine_mode  mem_mode,
rtx  mem_addr,
rtx  x,
int(*)(rtx, int)  varies 
)

Definition at line 2219 of file alias.c.

References ALIAS_SET_MEMORY_BARRIER, aliases_everything_p(), AND, base_alias_check(), canon_rtx(), DIFFERENT_ALIAS_SETS_P, fixed_scalar_and_varying_struct_p(), get_addr(), GET_CODE, GET_MODE, GET_MODE_SIZE, MEM_ALIAS_SET, MEM_READONLY_P, MEM_VOLATILE_P, memrefs_conflict_p(), nonoverlapping_memrefs_p(), SIZE_FOR_MODE, and XEXP.

void clear_reg_alias_info ( rtx  reg  ) 

Definition at line 1077 of file alias.c.

References reg_known_equiv_p, reg_known_value, and REGNO.

bool component_uses_parent_alias_set ( tree  t  ) 

Definition at line 436 of file alias.c.

References DECL_NONADDRESSABLE_P, get_alias_set(), handled_component_p(), TREE_CODE, TREE_OPERAND, TREE_TYPE, and TYPE_NONALIASED_COMPONENT.

static tree decl_for_component_ref ( tree  x  )  [static]

Definition at line 1948 of file alias.c.

References DECL_P, NULL_TREE, TREE_CODE, and TREE_OPERAND.

void end_alias_analysis ( void   ) 

Definition at line 2628 of file alias.c.

References free(), ggc_free(), reg_known_equiv_p, and reg_known_value.

static tree find_base_decl ( tree  t  )  [static]

Definition at line 383 of file alias.c.

References d1, DECL_BASED_ON_RESTRICT_P, DECL_GET_RESTRICT_BASE, DECL_P, error_mark_node, find_base_decl(), POINTER_TYPE_P, tcc_binary, tcc_unary, TREE_CODE, TREE_CODE_CLASS, TREE_OPERAND, and TREE_TYPE.

rtx find_base_term ( rtx  x  ) 

Definition at line 1362 of file alias.c.

References AND, CONST, CONSTANT_P, convert_memory_address(), cselib_val, CSELIB_VAL_PTR, FIND_BASE_TERM, find_base_term(), GET_CODE, GET_MODE, GET_MODE_SIZE, INTVAL, MINUS, pic_offset_table_rtx, PLUS, Pmode, REG, REG_BASE_VALUE, REG_P, REG_POINTER, SIGN_EXTEND, tmp1, tmp2, TRUNCATE, val, and XEXP.

static rtx find_base_value ( rtx  src  )  [static]

Definition at line 792 of file alias.c.

References AND, arg_pointer_rtx, CONST, CONSTANT_P, convert_memory_address(), find_base_value(), fixed_regs, gen_rtx_ADDRESS, GET_CODE, GET_MODE, GET_MODE_SIZE, INTVAL, MEM, MINUS, PLUS, Pmode, REG, REG_N_SETS, REG_P, REG_POINTER, REGNO, SIGN_EXTEND, TRUNCATE, VEC_index, VEC_length, and XEXP.

static rtx find_symbolic_term ( rtx  x  )  [static]

Definition at line 1332 of file alias.c.

References find_symbolic_term(), GET_CODE, GET_RTX_FORMAT, GET_RTX_LENGTH, i, OBJECT_P, and XEXP.

static rtx fixed_scalar_and_varying_struct_p ( rtx  mem1,
rtx  mem2,
rtx  mem1_addr,
rtx  mem2_addr,
int(*)(rtx, int)  varies_p 
) [static]

Definition at line 1853 of file alias.c.

References flag_strict_aliasing, MEM_IN_STRUCT_P, MEM_SCALAR_P, and NULL_RTX.

rtx get_addr ( rtx  x  ) 

Definition at line 1571 of file alias.c.

References CONSTANT_P, cselib_val, CSELIB_VAL_PTR, GET_CODE, MEM, MEM_P, REG, and REG_P.

HOST_WIDE_INT get_alias_set ( tree  t  ) 

Definition at line 476 of file alias.c.

References AGGREGATE_TYPE_P, can_address_p(), COMPLEX_TYPE, component_uses_parent_alias_set(), DECL_POINTER_ALIAS_SET, DECL_POINTER_ALIAS_SET_KNOWN_P, DECL_RTL, DECL_RTL_SET_P, error_mark_node, find_base_decl(), find_placeholder(), flag_strict_aliasing, get_alias_set(), GET_CODE, handled_component_p(), HOST_WIDE_INT, INDIRECT_REF_P, MEM, MEM_ALIAS_SET, MEM_P, new_alias_set(), record_alias_subset(), record_component_aliases(), STRIP_NOPS, TREE_CODE, TREE_OPERAND, TREE_TYPE, TYPE_ALIAS_SET, TYPE_ALIAS_SET_KNOWN_P, TYPE_MAIN_VARIANT, TYPE_P, and TYPE_REF_CAN_ALIAS_ALL.

static alias_set_entry get_alias_set_entry ( HOST_WIDE_INT   )  [static]

bool get_reg_known_equiv_p ( unsigned int  regno  ) 

Definition at line 1122 of file alias.c.

References reg_known_equiv_p.

rtx get_reg_known_value ( unsigned int  regno  ) 

Definition at line 1095 of file alias.c.

References NULL, and reg_known_value.

struct alias_set_entry GTY ( ()   )  [read, write]

Definition at line 131 of file alias.c.

References alias_set_entry::alias_set, alias_set_entry::children, GTY, alias_set_entry::has_zero_child, and HOST_WIDE_INT.

void init_alias_analysis ( void   ) 

Definition at line 2413 of file alias.c.

References base, changed, char, find_reg_note(), flag_unroll_loops, free(), gcc_assert, GET_CODE, get_insns(), get_reg_known_value(), ggc_alloc_cleared, ggc_calloc(), i, insn, INSN_P, int, INTVAL, MAX_ALIAS_LOOP_PASSES, max_reg_num(), memcpy, memset, NEXT_INSN, NOTE_INSN_FUNCTION_BEG, NOTE_LINE_NUMBER, NOTE_P, note_stores(), NULL, NULL_RTX, PATTERN, PLUS, plus_constant, prologue_epilogue_contains(), record_set(), REG, REG_EQUAL, REG_EQUIV, reg_known_equiv_p, reg_known_value, REG_N_SETS, REG_NOALIAS, REG_NOTE_KIND, REG_NOTES, reg_overlap_mentioned_p(), REG_P, REGNO, regno_reg_rtx, reload_completed, rtx_equal_p(), rtx_varies_p(), SET, SET_DEST, set_reg_known_equiv_p(), set_reg_known_value(), SET_SRC, single_set, src, timevar_pop, timevar_push, ui, VEC_address, VEC_index, VEC_length, VEC_replace, VEC_safe_grow, VEC_truncate, xcalloc(), XEXP, xmalloc(), XNEWVEC, and xrealloc().

void init_alias_once ( void   ) 

Definition at line 2358 of file alias.c.

References ARG_POINTER_REGNUM, arg_pointer_rtx, FRAME_POINTER_REGNUM, frame_pointer_rtx, FUNCTION_ARG_REGNO_P, gen_rtx_ADDRESS, gen_rtx_REG(), HARD_FRAME_POINTER_REGNUM, hard_frame_pointer_rtx, HARD_REGNO_MODE_OK, i, OUTGOING_REGNO, Pmode, splay_tree_compare_ints(), splay_tree_new(), STACK_POINTER_REGNUM, and stack_pointer_rtx.

static int insert_subset_children ( splay_tree_node  node,
void *  data 
) [static]

Definition at line 289 of file alias.c.

References splay_tree_node_s::key, splay_tree_insert(), and splay_tree_node_s::value.

static void memory_modified_1 ( rtx  x,
rtx pat  ATTRIBUTE_UNUSED,
void *  data 
) [static]

Definition at line 2387 of file alias.c.

References anti_dependence(), MEM_P, and output_dependence().

static void memory_modified_1 ( rtx  ,
rtx  ,
void *   
) [static]

bool memory_modified_in_insn_p ( rtx  mem,
rtx  insn 
)

Definition at line 2400 of file alias.c.

References INSN_P, memory_modified_1(), note_stores(), and PATTERN.

static int memrefs_conflict_p ( int  xsize,
rtx  x,
int  ysize,
rtx  y,
HOST_WIDE_INT  c 
) [static]

Definition at line 1650 of file alias.c.

References addr_side_effect_eval(), AND, canon_rtx(), CONST, CONSTANT_P, get_addr(), GET_CODE, INTVAL, memrefs_conflict_p(), PLUS, rtx_equal_for_memref_p(), x0, x1, XEXP, y0(), and y1().

static int mems_in_disjoint_alias_sets_p ( rtx  mem1,
rtx  mem2 
) [inline, static]

Definition at line 270 of file alias.c.

References alias_sets_conflict_p(), flag_strict_aliasing, gcc_assert, and MEM_ALIAS_SET.

HOST_WIDE_INT new_alias_set ( void   ) 

Definition at line 629 of file alias.c.

References flag_strict_aliasing, HOST_WIDE_INT, VEC_length, and VEC_safe_push.

static bool nonoverlapping_component_refs_p ( tree  x,
tree  y 
) [static]

Definition at line 1893 of file alias.c.

References DECL_FIELD_CONTEXT, TREE_CODE, TREE_OPERAND, and TYPE_MAIN_VARIANT.

static int nonoverlapping_memrefs_p ( rtx  x,
rtx  y 
) [static]

Definition at line 1993 of file alias.c.

References adjust_offset_for_component_ref(), CONSTANT_P, DECL_FIELD_CONTEXT, decl_for_component_ref(), DECL_P, DECL_RTL, flag_argument_noalias, GET_CODE, GET_MODE, GET_MODE_SIZE, HOST_WIDE_INT, INDIRECT_REF_P, int, INTVAL, ipa_type_escape_field_does_not_clobber_p(), MEM_EXPR, MEM_OFFSET, MEM_P, MEM_SIZE, nonoverlapping_component_refs_p(), PLUS, POINTER_TYPE_P, REG_P, REGNO, REGNO_PTR_FRAME_P, rtx_equal_p(), TREE_CODE, TREE_OPERAND, TREE_TYPE, and XEXP.

int objects_must_conflict_p ( tree  t1,
tree  t2 
)

Definition at line 350 of file alias.c.

References get_alias_set(), HOST_WIDE_INT, readonly_fields_p(), TYPE_READONLY, and TYPE_VOLATILE.

int output_dependence ( rtx  mem,
rtx  x 
)

Definition at line 2351 of file alias.c.

References write_dependence_p().

int read_dependence ( rtx  mem,
rtx  x 
)

Definition at line 1839 of file alias.c.

References MEM_VOLATILE_P.

static void record_alias_subset ( HOST_WIDE_INT  superset,
HOST_WIDE_INT  subset 
) [static]

Definition at line 626 of file alias.c.

References abort, alias_set_entry::alias_set, alias_set_entry::children, get_alias_set_entry(), alias_set_entry::has_zero_child, insert_subset_children(), splay_tree_compare_ints(), splay_tree_foreach(), splay_tree_insert(), splay_tree_new(), and xmalloc().

Referenced by get_alias_set(), and record_component_aliases().

void record_component_aliases ( tree  type  ) 

Definition at line 710 of file alias.c.

References BINFO_BASE_ITERATE, BINFO_TYPE, COMPLEX_TYPE, DECL_NONADDRESSABLE_P, get_alias_set(), HOST_WIDE_INT, i, NULL, record_alias_subset(), TREE_CHAIN, TREE_CODE, TREE_TYPE, TREE_VEC_ELT, TREE_VEC_LENGTH, TYPE_BINFO, TYPE_BINFO_BASETYPES, TYPE_FIELDS, and TYPE_NONALIASED_COMPONENT.

static void record_set ( rtx  dest,
rtx  set,
void *data  ATTRIBUTE_UNUSED 
) [static]

Definition at line 960 of file alias.c.

References AND, find_base_value(), fixed_regs, gcc_assert, GEN_INT, gen_rtx_ADDRESS, GET_CODE, GET_MODE, hard_regno_nregs, MINUS, n, NULL_RTX, PLUS, Pmode, REG_P, REGNO, SET_SRC, src, VEC_length, and XEXP.

static void record_set ( rtx  ,
rtx  ,
void *   
) [static]

static int rtx_equal_for_memref_p ( rtx  x,
rtx  y 
) [static]

Definition at line 1195 of file alias.c.

References canon_rtx(), COMMUTATIVE_P, gcc_unreachable, GET_CODE, GET_MODE, GET_RTX_FORMAT, GET_RTX_LENGTH, i, NON_COMMUTATIVE_P, PLUS, REG, REGNO, rtx_equal_for_memref_p(), strcmp(), UNARY_P, XEXP, XINT, XSTR, XVECEXP, and XVECLEN.

static void set_reg_known_equiv_p ( unsigned int  regno,
bool  val 
) [static]

Definition at line 1134 of file alias.c.

References reg_known_equiv_p.

static void set_reg_known_value ( unsigned int  regno,
rtx  val 
) [static]

Definition at line 1109 of file alias.c.

References reg_known_value.

int true_dependence ( rtx  mem,
enum machine_mode  mem_mode,
rtx  x,
int(*)(rtx, int)  varies 
)

Definition at line 2142 of file alias.c.

References ALIAS_SET_MEMORY_BARRIER, aliases_everything_p(), AND, base, base_alias_check(), canon_rtx(), CONSTANT_POOL_ADDRESS_P, DIFFERENT_ALIAS_SETS_P, find_base_term(), fixed_scalar_and_varying_struct_p(), get_addr(), GET_CODE, GET_MODE, GET_MODE_SIZE, MEM_ALIAS_SET, MEM_READONLY_P, MEM_VOLATILE_P, memrefs_conflict_p(), nonoverlapping_memrefs_p(), SIZE_FOR_MODE, and XEXP.

static int write_dependence_p ( rtx  mem,
rtx  x,
int  writep 
) [static]

Definition at line 2280 of file alias.c.

References ALIAS_SET_MEMORY_BARRIER, aliases_everything_p(), base, base_alias_check(), canon_rtx(), CONSTANT_POOL_ADDRESS_P, DIFFERENT_ALIAS_SETS_P, find_base_term(), fixed_scalar_and_varying_struct_p(), get_addr(), GET_CODE, GET_MODE, MEM_ALIAS_SET, MEM_READONLY_P, MEM_VOLATILE_P, memrefs_conflict_p(), nonoverlapping_memrefs_p(), rtx_addr_varies_p(), SIZE_FOR_MODE, and XEXP.

Variable Documentation

bool memory_modified [static]

Definition at line 2385 of file alias.c.

char* reg_seen [static]

Definition at line 953 of file alias.c.

int unique_id [static]

Definition at line 957 of file alias.c.

Generated on Wed Apr 8 15:11:21 2009 for Open64 by  doxygen 1.5.6