osprey-gcc-4.2.0/gcc/tree-scalar-evolution.c File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "ggc.h"
#include "tree.h"
#include "real.h"
#include "rtl.h"
#include "basic-block.h"
#include "diagnostic.h"
#include "tree-flow.h"
#include "tree-dump.h"
#include "timevar.h"
#include "cfgloop.h"
#include "tree-chrec.h"
#include "tree-scalar-evolution.h"
#include "tree-pass.h"
#include "flags.h"
#include "params.h"

Include dependency graph for tree-scalar-evolution.c:

Go to the source code of this file.

Data Types

type  scev_info_str
type  chrec_stats

Enumerations

enum  t_bool {
  BOOL_FALSE, BOOL_TRUE, BOOL_FALSE, BOOL_TRUE,
  BOOL_FALSE, BOOL_TRUE, t_false, t_true,
  t_dont_know
}
enum  { INSERT_SUPERLOOP_CHRECS = 1, FOLD_CONVERSIONS = 2 }

Functions/Subroutines

static tree analyze_scalar_evolution_1 (struct loop *, tree, tree)
static tree resolve_mixers (struct loop *, tree)
static struct scev_info_str * new_scev_info_str (tree var)
static hashval_t hash_scev_info (const void *elt)
static int eq_scev_info (const void *e1, const void *e2)
static void del_scev_info (void *e)
static tree * find_var_scev_info (tree var)
bool chrec_contains_symbols_defined_in_loop (tree chrec, unsigned loop_nb)
static bool loop_phi_node_p (tree phi)
static tree compute_overall_effect_of_inner_loop (struct loop *loop, tree evolution_fn)
bool chrec_is_positive (tree chrec, bool *value)
static void set_scalar_evolution (tree scalar, tree chrec)
static tree get_scalar_evolution (tree scalar)
static tree add_to_evolution_1 (unsigned loop_nb, tree chrec_before, tree to_add, tree at_stmt)
static tree add_to_evolution (unsigned loop_nb, tree chrec_before, enum tree_code code, tree to_add, tree at_stmt)
static tree set_nb_iterations_in_loop (struct loop *loop, tree res)
static bool analyzable_condition (tree expr)
tree get_loop_exit_condition (struct loop *loop)
static void get_exit_conditions_rec (struct loop *loop, VEC(tree, heap)**exit_conditions)
static void select_loops_exit_conditions (struct loops *loops, VEC(tree, heap)**exit_conditions)
static t_bool follow_ssa_edge (struct loop *loop, tree, tree, tree *, int)
static t_bool follow_ssa_edge_in_rhs (struct loop *loop, tree at_stmt, tree rhs, tree halting_phi, tree *evolution_of_loop, int limit)
static bool backedge_phi_arg_p (tree phi, int i)
static t_bool follow_ssa_edge_in_condition_phi_branch (int i, struct loop *loop, tree condition_phi, tree halting_phi, tree *evolution_of_branch, tree init_cond, int limit)
static t_bool follow_ssa_edge_in_condition_phi (struct loop *loop, tree condition_phi, tree halting_phi, tree *evolution_of_loop, int limit)
static t_bool follow_ssa_edge_inner_loop_phi (struct loop *outer_loop, tree loop_phi_node, tree halting_phi, tree *evolution_of_loop, int limit)
static tree analyze_evolution_in_loop (tree loop_phi_node, tree init_cond)
static tree analyze_initial_condition (tree loop_phi_node)
static tree interpret_loop_phi (struct loop *loop, tree loop_phi_node)
static tree interpret_condition_phi (struct loop *loop, tree condition_phi)
static tree interpret_rhs_modify_expr (struct loop *loop, tree at_stmt, tree opnd1, tree type)
static tree compute_scalar_evolution_in_loop (struct loop *wrto_loop, struct loop *def_loop, tree ev)
static tree fold_used_pointer_cast (tree expr)
static bool pointer_offset_p (tree expr)
static tree fold_used_pointer (tree expr, tree at_stmt)
static bool pointer_used_p (tree ptr)
tree analyze_scalar_evolution (struct loop *loop, tree var)
static tree analyze_scalar_evolution_in_loop (struct loop *wrto_loop, struct loop *use_loop, tree version, bool *folded_casts)
static tree get_instantiated_value (htab_t cache, tree version)
static void set_instantiated_value (htab_t cache, tree version, tree val)
static tree loop_closed_phi_def (tree var)
static tree instantiate_parameters_1 (struct loop *loop, tree chrec, int flags, htab_t cache, int size_expr)
tree instantiate_parameters (struct loop *loop, tree chrec)
tree number_of_iterations_in_loop (struct loop *loop)
static void number_of_iterations_for_all_loops (VEC(tree, heap)**exit_conditions)
static void reset_chrecs_counters (struct chrec_stats *stats)
static void dump_chrecs_stats (FILE *file, struct chrec_stats *stats)
static void gather_chrec_stats (tree chrec, struct chrec_stats *stats)
static void analyze_scalar_evolution_for_all_loop_phi_nodes (VEC(tree, heap)**exit_conditions)
static int gather_stats_on_scev_database_1 (void **slot, void *stats)
void gather_stats_on_scev_database (void)
static void initialize_scalar_evolutions_analyzer (void)
void scev_initialize (struct loops *loops)
void scev_reset (void)
bool simple_iv (struct loop *loop, tree stmt, tree op, affine_iv *iv, bool allow_nonconstant_step)
void scev_analysis (void)
void scev_finalize (void)
static bool expression_expensive_p (tree expr)
unsigned int scev_const_prop (void)

Variables

static unsigned nb_set_scev = 0
static unsigned nb_get_scev = 0
tree chrec_not_analyzed_yet
tree chrec_dont_know
tree chrec_known
static bitmap already_instantiated
static htab_t scalar_evolution_info

Enumeration Type Documentation

anonymous enum

Enumerator:
INSERT_SUPERLOOP_CHRECS 
FOLD_CONVERSIONS 

Definition at line 2128 of file tree-scalar-evolution.c.

enum t_bool

Enumerator:
BOOL_FALSE 
BOOL_TRUE 
BOOL_FALSE 
BOOL_TRUE 
BOOL_FALSE 
BOOL_TRUE 
t_false 
t_true 
t_dont_know 

Definition at line 1030 of file tree-scalar-evolution.c.

Function Documentation

static tree add_to_evolution ( unsigned  loop_nb,
tree  chrec_before,
enum tree_code  code,
tree  to_add,
tree  at_stmt 
) [static]

Definition at line 849 of file tree-scalar-evolution.c.

References add_to_evolution_1(), build_int_cst_type(), build_real(), chrec_dont_know, chrec_fold_multiply(), chrec_type(), dconstm1, dump_file, dump_flags, fprintf(), NULL_TREE, print_generic_expr(), SCALAR_FLOAT_TYPE_P, TDF_DETAILS, and TREE_CODE.

static tree add_to_evolution_1 ( unsigned  loop_nb,
tree  chrec_before,
tree  to_add,
tree  at_stmt 
) [static]

Definition at line 657 of file tree-scalar-evolution.c.

References add_to_evolution_1(), build_int_cst(), build_polynomial_chrec(), build_real(), chrec_convert(), chrec_dont_know, chrec_fold_plus(), CHREC_LEFT, CHREC_RIGHT, chrec_type(), CHREC_VARIABLE, dconst0, SCALAR_FLOAT_TYPE_P, and TREE_CODE.

static bool analyzable_condition ( tree  expr  )  [static]

Definition at line 932 of file tree-scalar-evolution.c.

References SSA_NAME, TREE_CODE, and TREE_OPERAND.

static tree analyze_evolution_in_loop ( tree  loop_phi_node,
tree  init_cond 
) [static]

Definition at line 1430 of file tree-scalar-evolution.c.

References chrec_dont_know, chrec_merge(), chrec_not_analyzed_yet, dump_file, dump_flags, flow_bb_inside_loop_p(), follow_ssa_edge(), fprintf(), i, loop_containing_stmt(), PHI_ARG_DEF, PHI_ARG_EDGE, PHI_NUM_ARGS, print_generic_expr(), SSA_NAME, SSA_NAME_DEF_STMT, t_false, t_true, TDF_DETAILS, and TREE_CODE.

static tree analyze_initial_condition ( tree  loop_phi_node  )  [static]

Definition at line 1500 of file tree-scalar-evolution.c.

References bb_for_stmt(), chrec_dont_know, chrec_merge(), chrec_not_analyzed_yet, dump_file, dump_flags, flow_bb_inside_loop_p(), fprintf(), i, basic_block_def::loop_father, PHI_ARG_DEF, PHI_ARG_EDGE, PHI_NUM_ARGS, print_generic_expr(), SSA_NAME, TDF_DETAILS, and TREE_CODE.

tree analyze_scalar_evolution ( struct loop *  loop,
tree  var 
)

Definition at line 1999 of file tree-scalar-evolution.c.

References analyze_scalar_evolution_1(), chrec_dont_know, dump_file, dump_flags, fprintf(), get_scalar_evolution(), loop::num, print_generic_expr(), SSA_NAME, TDF_DETAILS, and TREE_CODE.

static tree analyze_scalar_evolution_1 ( struct loop *  loop,
tree  var,
tree  res 
) [static]

Definition at line 1906 of file tree-scalar-evolution.c.

References analyze_scalar_evolution_1(), automatically_generated_chrec_p(), bb_for_stmt(), chrec_dont_know, chrec_not_analyzed_yet, compute_scalar_evolution_in_loop(), find_common_loop(), flow_bb_inside_loop_p(), fold_used_pointer(), interpret_condition_phi(), interpret_loop_phi(), interpret_rhs_modify_expr(), basic_block_def::loop_father, loop_phi_node_p(), NULL, NULL_TREE, POINTER_TYPE_P, pointer_used_p(), set_scalar_evolution(), SSA_NAME, SSA_NAME_DEF_STMT, TREE_CODE, TREE_OPERAND, and TREE_TYPE.

static void analyze_scalar_evolution_for_all_loop_phi_nodes ( VEC(tree, heap)**  exit_conditions  )  [static]

Definition at line 2664 of file tree-scalar-evolution.c.

References analyze_scalar_evolution(), cond, dump_chrecs_stats(), dump_file, dump_flags, gather_chrec_stats(), loop::header, i, instantiate_parameters(), is_gimple_reg(), loop_containing_stmt(), PHI_CHAIN, phi_nodes(), PHI_RESULT, reset_chrecs_counters(), TDF_STATS, and VEC_iterate.

static tree analyze_scalar_evolution_in_loop ( struct loop *  wrto_loop,
struct loop *  use_loop,
tree  version,
bool *  folded_casts 
) [static]

Definition at line 2032 of file tree-scalar-evolution.c.

References analyze_scalar_evolution(), chrec_dont_know, no_evolution_in_loop_p(), loop::num, loop::outer, resolve_mixers(), tmp, and val.

static bool backedge_phi_arg_p ( tree  phi,
int  i 
) [static]

Definition at line 1220 of file tree-scalar-evolution.c.

References EDGE_IRREDUCIBLE_LOOP, edge::flags, and PHI_ARG_EDGE.

bool chrec_contains_symbols_defined_in_loop ( tree  chrec,
unsigned  loop_nb 
)

Definition at line 358 of file tree-scalar-evolution.c.

References chrec_contains_symbols_defined_in_loop(), current_loops, flow_loop_nested_p(), loop_containing_stmt(), NULL, NULL_TREE, loops::parray, SSA_NAME, SSA_NAME_DEF_STMT, TREE_CODE, TREE_CODE_LENGTH, TREE_INVARIANT, and TREE_OPERAND.

Referenced by chrec_apply(), chrec_contains_symbols_defined_in_loop(), no_evolution_in_loop_p(), scev_const_prop(), and simple_iv().

bool chrec_is_positive ( tree  chrec,
bool *  value 
)

Definition at line 511 of file tree-scalar-evolution.c.

References build_int_cst(), chrec_apply(), chrec_contains_undetermined(), chrec_fold_minus(), chrec_is_positive(), CHREC_LEFT, CHREC_RIGHT, chrec_type(), CHREC_VARIABLE, current_loops, evolution_function_is_affine_p(), number_of_iterations_in_loop(), loops::parray, TREE_CODE, and tree_int_cst_sgn().

Referenced by analyze_siv_subscript_cst_affine(), and chrec_is_positive().

static tree compute_overall_effect_of_inner_loop ( struct loop *  loop,
tree  evolution_fn 
) [static]

Definition at line 459 of file tree-scalar-evolution.c.

References build_int_cst(), chrec_apply(), chrec_dont_know, chrec_fold_minus(), chrec_type(), CHREC_VARIABLE, compute_overall_effect_of_inner_loop(), current_loops, no_evolution_in_loop_p(), loop::num, number_of_iterations_in_loop(), loops::parray, TREE_CODE, and val.

static tree compute_scalar_evolution_in_loop ( struct loop *  wrto_loop,
struct loop *  def_loop,
tree  ev 
) [static]

Definition at line 1707 of file tree-scalar-evolution.c.

References analyze_scalar_evolution_1(), chrec_not_analyzed_yet, compute_overall_effect_of_inner_loop(), loop::depth, and superloop_at_depth().

static void del_scev_info ( void *  e  )  [static]

Definition at line 328 of file tree-scalar-evolution.c.

References free().

static void dump_chrecs_stats ( FILE *  file,
struct chrec_stats *  stats 
) [static]

Definition at line 2572 of file tree-scalar-evolution.c.

References fprintf(), htab_elements, chrec_stats::nb_affine, chrec_stats::nb_affine_multivar, chrec_stats::nb_chrec_dont_know, chrec_stats::nb_chrecs, nb_get_scev, chrec_stats::nb_higher_poly, nb_set_scev, chrec_stats::nb_undetermined, and scalar_evolution_info.

static int eq_scev_info ( const void *  e1,
const void *  e2 
) [static]

Definition at line 317 of file tree-scalar-evolution.c.

References scev_info_str::var.

static bool expression_expensive_p ( tree  expr  )  [static]

Definition at line 2874 of file tree-scalar-evolution.c.

References force_expr_to_var_cost(), and target_spill_cost.

Referenced by scev_const_prop().

static tree* find_var_scev_info ( tree  var  )  [static]

Definition at line 338 of file tree-scalar-evolution.c.

References scev_info_str::chrec, htab_find_slot(), INSERT, new_scev_info_str(), PTR, scalar_evolution_info, and scev_info_str::var.

static tree fold_used_pointer ( tree  expr,
tree  at_stmt 
) [static]

Definition at line 1824 of file tree-scalar-evolution.c.

References chrec_convert(), chrec_fold_minus(), chrec_fold_plus(), fold_used_pointer_cast(), pointer_offset_p(), TREE_CODE, TREE_OPERAND, and TREE_TYPE.

Referenced by analyze_scalar_evolution_1().

static tree fold_used_pointer_cast ( tree  expr  )  [static]

Definition at line 1725 of file tree-scalar-evolution.c.

References build_polynomial_chrec(), chrec_convert(), CHREC_LEFT, CHREC_RIGHT, CHREC_VARIABLE, INTEGRAL_TYPE_P, NULL_TREE, TREE_CODE, TREE_OPERAND, TREE_TYPE, and TYPE_PRECISION.

Referenced by fold_used_pointer().

static t_bool follow_ssa_edge ( struct loop *  loop,
tree  def,
tree  halting_phi,
tree *  evolution_of_loop,
int  limit 
) [static]

Definition at line 1365 of file tree-scalar-evolution.c.

References flow_loop_nested_p(), follow_ssa_edge_in_condition_phi(), follow_ssa_edge_in_rhs(), follow_ssa_edge_inner_loop_phi(), loop_containing_stmt(), loop_phi_node_p(), PARAM_VALUE, t_dont_know, t_false, t_true, TREE_CODE, and TREE_OPERAND.

static t_bool follow_ssa_edge_in_condition_phi ( struct loop *  loop,
tree  condition_phi,
tree  halting_phi,
tree *  evolution_of_loop,
int  limit 
) [static]

Definition at line 1274 of file tree-scalar-evolution.c.

References chrec_dont_know, chrec_merge(), follow_ssa_edge_in_condition_phi_branch(), i, PHI_NUM_ARGS, t_dont_know, t_false, and t_true.

static t_bool follow_ssa_edge_in_condition_phi_branch ( int  i,
struct loop *  loop,
tree  condition_phi,
tree  halting_phi,
tree *  evolution_of_branch,
tree  init_cond,
int  limit 
) [inline, static]

Definition at line 1238 of file tree-scalar-evolution.c.

References backedge_phi_arg_p(), chrec_dont_know, follow_ssa_edge(), PHI_ARG_DEF, SSA_NAME, SSA_NAME_DEF_STMT, t_false, and TREE_CODE.

static t_bool follow_ssa_edge_in_rhs ( struct loop *  loop,
tree  at_stmt,
tree  rhs,
tree  halting_phi,
tree *  evolution_of_loop,
int  limit 
) [static]

Definition at line 1043 of file tree-scalar-evolution.c.

References add_to_evolution(), ASSERT_EXPR_VAR, chrec_convert(), chrec_dont_know, follow_ssa_edge(), follow_ssa_edge_in_rhs(), loop::num, SSA_NAME, SSA_NAME_DEF_STMT, STRIP_TYPE_NOPS, t_dont_know, t_false, t_true, TREE_CODE, TREE_OPERAND, and TREE_TYPE.

static t_bool follow_ssa_edge_inner_loop_phi ( struct loop *  outer_loop,
tree  loop_phi_node,
tree  halting_phi,
tree *  evolution_of_loop,
int  limit 
) [static]

Definition at line 1318 of file tree-scalar-evolution.c.

References analyze_scalar_evolution(), chrec_dont_know, compute_overall_effect_of_inner_loop(), flow_bb_inside_loop_p(), follow_ssa_edge_in_rhs(), i, loop_containing_stmt(), PHI_ARG_DEF, PHI_ARG_EDGE, PHI_NUM_ARGS, PHI_RESULT, t_false, and t_true.

static void gather_chrec_stats ( tree  chrec,
struct chrec_stats *  stats 
) [static]

Definition at line 2597 of file tree-scalar-evolution.c.

References chrec_contains_undetermined(), dump_file, dump_flags, evolution_function_is_affine_multivariate_p(), evolution_function_is_affine_p(), fprintf(), chrec_stats::nb_affine, chrec_stats::nb_affine_multivar, chrec_stats::nb_chrecs, chrec_stats::nb_higher_poly, chrec_stats::nb_undetermined, NULL_TREE, print_generic_expr(), TDF_STATS, and TREE_CODE.

void gather_stats_on_scev_database ( void   ) 

Definition at line 2713 of file tree-scalar-evolution.c.

References dump_chrecs_stats(), dump_file, gather_stats_on_scev_database_1(), htab_traverse(), reset_chrecs_counters(), and scalar_evolution_info.

static int gather_stats_on_scev_database_1 ( void **  slot,
void *  stats 
) [static]

Definition at line 2701 of file tree-scalar-evolution.c.

References scev_info_str::chrec, and gather_chrec_stats().

static void get_exit_conditions_rec ( struct loop *  loop,
VEC(tree, heap)**  exit_conditions 
) [static]

Definition at line 996 of file tree-scalar-evolution.c.

References get_exit_conditions_rec(), get_loop_exit_condition(), loop::inner, loop::next, loop::single_exit, and VEC_safe_push.

static tree get_instantiated_value ( htab_t  cache,
tree  version 
) [static]

Definition at line 2065 of file tree-scalar-evolution.c.

References scev_info_str::chrec, htab_find(), info, NULL_TREE, pattern, and scev_info_str::var.

tree get_loop_exit_condition ( struct loop *  loop  ) 

Definition at line 966 of file tree-scalar-evolution.c.

References analyzable_condition(), dump_file, dump_flags, fprintf(), last_stmt(), NULL_TREE, print_generic_expr(), loop::single_exit, edge::src, and TDF_DETAILS.

static tree get_scalar_evolution ( tree  scalar  )  [static]

Definition at line 603 of file tree-scalar-evolution.c.

References chrec_not_analyzed_yet, dump_file, dump_flags, find_var_scev_info(), fprintf(), nb_get_scev, print_generic_expr(), SSA_NAME, TDF_DETAILS, TDF_STATS, and TREE_CODE.

static hashval_t hash_scev_info ( const void *  elt  )  [static]

Definition at line 309 of file tree-scalar-evolution.c.

References SSA_NAME_VERSION, and scev_info_str::var.

static void initialize_scalar_evolutions_analyzer ( void   )  [static]

Definition at line 2733 of file tree-scalar-evolution.c.

References chrec_dont_know, chrec_known, chrec_not_analyzed_yet, make_node, NULL_TREE, TREE_TYPE, and void_type_node.

tree instantiate_parameters ( struct loop *  loop,
tree  chrec 
)

Definition at line 2407 of file tree-scalar-evolution.c.

References del_scev_info(), dump_file, dump_flags, eq_scev_info(), fprintf(), hash_scev_info(), htab_create(), htab_delete(), INSERT_SUPERLOOP_CHRECS, instantiate_parameters_1(), loop::num, print_generic_expr(), and TDF_DETAILS.

static tree instantiate_parameters_1 ( struct loop *  loop,
tree  chrec,
int  flags,
htab_t  cache,
int  size_expr 
) [static]

Definition at line 2138 of file tree-scalar-evolution.c.

References already_instantiated, analyze_scalar_evolution(), automatically_generated_chrec_p(), bb_for_stmt(), bitmap_bit_p(), bitmap_clear_bit(), bitmap_set_bit(), build_polynomial_chrec(), chrec_convert(), chrec_convert_aggressive(), chrec_dont_know, chrec_fold_minus(), chrec_fold_multiply(), chrec_fold_plus(), chrec_known, CHREC_LEFT, CHREC_RIGHT, chrec_type(), CHREC_VARIABLE, loop::depth, find_common_loop(), flow_bb_inside_loop_p(), fold_build1, fold_build2, fold_build3, FOLD_CONVERSIONS, fold_convert(), get_instantiated_value(), INSERT_SUPERLOOP_CHRECS, instantiate_parameters_1(), is_gimple_min_invariant(), loop_closed_phi_def(), loop_containing_stmt(), basic_block_def::loop_father, NULL, NULL_TREE, PARAM_VALUE, set_instantiated_value(), SSA_NAME, SSA_NAME_DEF_STMT, SSA_NAME_VERSION, tmp, TREE_CODE, TREE_CODE_LENGTH, TREE_OPERAND, and TREE_TYPE.

static tree interpret_condition_phi ( struct loop *  loop,
tree  condition_phi 
) [static]

Definition at line 1588 of file tree-scalar-evolution.c.

References analyze_scalar_evolution(), backedge_phi_arg_p(), chrec_dont_know, chrec_merge(), chrec_not_analyzed_yet, i, PHI_ARG_DEF, and PHI_NUM_ARGS.

static tree interpret_loop_phi ( struct loop *  loop,
tree  loop_phi_node 
) [static]

Definition at line 1556 of file tree-scalar-evolution.c.

References analyze_evolution_in_loop(), analyze_initial_condition(), analyze_scalar_evolution(), compute_overall_effect_of_inner_loop(), loop::depth, loop_containing_stmt(), PHI_RESULT, and superloop_at_depth().

static tree interpret_rhs_modify_expr ( struct loop *  loop,
tree  at_stmt,
tree  opnd1,
tree  type 
) [static]

Definition at line 1620 of file tree-scalar-evolution.c.

References analyze_scalar_evolution(), ASSERT_EXPR_VAR, chrec_convert(), chrec_dont_know, chrec_fold_minus(), chrec_fold_multiply(), chrec_fold_plus(), fold_convert(), integer_minus_one_node, is_gimple_min_invariant(), SSA_NAME, TREE_CODE, and TREE_OPERAND.

static tree loop_closed_phi_def ( tree  var  )  [static]

Definition at line 2099 of file tree-scalar-evolution.c.

References edge::dest, exit(), loop_containing_stmt(), NULL_TREE, PHI_ARG_DEF_FROM_EDGE, PHI_CHAIN, phi_nodes(), PHI_RESULT, loop::single_exit, SSA_NAME, SSA_NAME_DEF_STMT, and TREE_CODE.

Referenced by instantiate_parameters_1().

static bool loop_phi_node_p ( tree  phi  )  [static]

Definition at line 414 of file tree-scalar-evolution.c.

References bb_for_stmt(), loop::header, and loop_containing_stmt().

static struct scev_info_str* new_scev_info_str ( tree  var  )  [static, read]

Definition at line 295 of file tree-scalar-evolution.c.

References scev_info_str::chrec, chrec_not_analyzed_yet, scev_info_str::var, and XNEW.

static void number_of_iterations_for_all_loops ( VEC(tree, heap)**  exit_conditions  )  [static]

Definition at line 2512 of file tree-scalar-evolution.c.

References chrec_contains_undetermined(), cond, current_loops, dump_file, fprintf(), i, loop_containing_stmt(), loops::num, number_of_iterations_in_loop(), print_loop_ir(), and VEC_iterate.

tree number_of_iterations_in_loop ( struct loop *  loop  ) 

Definition at line 2472 of file tree-scalar-evolution.c.

References build_int_cst(), chrec_dont_know, dump_file, dump_flags, end, exit(), fprintf(), integer_nonzerop(), integer_zerop(), tree_niter_desc::may_be_zero, loop::nb_iterations, tree_niter_desc::niter, number_of_iterations_exit(), set_nb_iterations_in_loop(), loop::single_exit, TDF_DETAILS, and TREE_TYPE.

static bool pointer_offset_p ( tree  expr  )  [static]

Definition at line 1753 of file tree-scalar-evolution.c.

References INTEGRAL_TYPE_P, TREE_CODE, TREE_OPERAND, and TREE_TYPE.

Referenced by fold_used_pointer().

static bool pointer_used_p ( tree  ptr  )  [static]

Definition at line 1868 of file tree-scalar-evolution.c.

References COMPARISON_CLASS_P, FOR_EACH_IMM_USE_FAST, get_ptr_info(), NULL, pi, SSA_NAME_VAR, TREE_CODE, TREE_OPERAND, use_operand_p, USE_STMT, and var_ann().

Referenced by analyze_scalar_evolution_1().

static void reset_chrecs_counters ( struct chrec_stats *  stats  )  [inline, static]

Definition at line 2559 of file tree-scalar-evolution.c.

References chrec_stats::nb_affine, chrec_stats::nb_affine_multivar, chrec_stats::nb_chrec_dont_know, chrec_stats::nb_chrecs, chrec_stats::nb_higher_poly, and chrec_stats::nb_undetermined.

static tree resolve_mixers ( struct loop *  loop,
tree  chrec 
) [static]

Definition at line 2443 of file tree-scalar-evolution.c.

References del_scev_info(), eq_scev_info(), FOLD_CONVERSIONS, hash_scev_info(), htab_create(), htab_delete(), instantiate_parameters_1(), and ret.

void scev_analysis ( void   ) 

Definition at line 2848 of file tree-scalar-evolution.c.

References analyze_scalar_evolution_for_all_loop_phi_nodes(), current_loops, dump_file, dump_flags, number_of_iterations_for_all_loops(), select_loops_exit_conditions(), TDF_STATS, VARRAY_CLEAR, VARRAY_GENERIC_PTR_INIT, varray_type, VEC, VEC_alloc, and VEC_free.

unsigned int scev_const_prop ( void   ) 

Definition at line 2887 of file tree-scalar-evolution.c.

References analyze_scalar_evolution(), analyze_scalar_evolution_in_loop(), BITMAP_ALLOC, BITMAP_FREE, bitmap_set_bit(), bsi_after_labels(), bsi_insert_before(), BSI_NEW_STMT, build2, chrec_contains_symbols_defined_in_loop(), chrec_dont_know, compute_overall_effect_of_inner_loop(), contains_abnormal_ssa_name_p(), current_loops, edge::dest, dest, EXECUTE_IF_SET_IN_BITMAP, exit(), expression_expensive_p(), FOR_EACH_BB, force_gimple_operand_bsi(), gcc_assert, i, INTEGRAL_TYPE_P, is_gimple_min_invariant(), is_gimple_reg(), basic_block_def::loop_father, may_propagate_copy(), NULL, NULL_TREE, loop::num, loops::num, number_of_iterations_in_loop(), loops::parray, PHI_ARG_DEF_FROM_EDGE, PHI_CHAIN, phi_nodes(), PHI_RESULT, POINTER_TYPE_P, remove_phi_node(), replace_uses_by(), resolve_mixers(), scev_reset(), SET_PHI_RESULT, loop::single_exit, single_pred_p(), split_loop_exit_edge(), ssa_name, SSA_NAME_DEF_STMT, SSA_NAME_VERSION, superloop_at_depth(), tree_block_label(), TREE_CODE, tree_does_not_contain_chrecs(), TREE_OPERAND, TREE_TYPE, unshare_expr(), update_stmt(), and void_type_node.

void scev_finalize ( void   ) 

Definition at line 2865 of file tree-scalar-evolution.c.

References already_instantiated, BITMAP_FREE, htab_delete(), and scalar_evolution_info.

void scev_initialize ( struct loops *  loops  ) 

Definition at line 2749 of file tree-scalar-evolution.c.

References already_instantiated, BITMAP_ALLOC, current_loops, del_scev_info(), eq_scev_info(), hash_scev_info(), htab_create(), i, initialize_scalar_evolutions_analyzer(), loop::nb_iterations, NULL, NULL_TREE, loops::num, loops::parray, and scalar_evolution_info.

void scev_reset ( void   ) 

Definition at line 2768 of file tree-scalar-evolution.c.

References current_loops, htab_empty(), i, loop::nb_iterations, NULL_TREE, loops::num, loops::parray, and scalar_evolution_info.

static void select_loops_exit_conditions ( struct loops *  loops,
VEC(tree, heap)**  exit_conditions 
) [static]

Definition at line 1019 of file tree-scalar-evolution.c.

References get_exit_conditions_rec(), loop::inner, and loops::parray.

static void set_instantiated_value ( htab_t  cache,
tree  version,
tree  val 
) [static]

Definition at line 2081 of file tree-scalar-evolution.c.

References scev_info_str::chrec, htab_find_slot(), info, INSERT, new_scev_info_str(), pattern, PTR, and scev_info_str::var.

static tree set_nb_iterations_in_loop ( struct loop *  loop,
tree  res 
) [inline, static]

Definition at line 895 of file tree-scalar-evolution.c.

References build_int_cst(), chrec_dont_know, chrec_fold_plus(), chrec_type(), dump_file, dump_flags, fprintf(), loop::nb_iterations, print_generic_expr(), TDF_DETAILS, TREE_CODE, TREE_INT_CST_LOW, and TREE_OVERFLOW.

static void set_scalar_evolution ( tree  scalar,
tree  chrec 
) [static]

Definition at line 573 of file tree-scalar-evolution.c.

References dump_file, dump_flags, find_var_scev_info(), fprintf(), nb_set_scev, print_generic_expr(), SSA_NAME, TDF_DETAILS, TDF_STATS, and TREE_CODE.

bool simple_iv ( struct loop *  loop,
tree  stmt,
tree  op,
affine_iv *  iv,
bool  allow_nonconstant_step 
)

Definition at line 2792 of file tree-scalar-evolution.c.

References analyze_scalar_evolution_in_loop(), affine_iv::base, bb_for_stmt(), chrec_contains_symbols_defined_in_loop(), chrec_contains_undetermined(), CHREC_LEFT, CHREC_RIGHT, CHREC_VARIABLE, basic_block_def::loop_father, affine_iv::no_overflow, NULL, NULL_TREE, loop::num, affine_iv::step, TREE_CODE, tree_contains_chrecs(), tree_does_not_contain_chrecs(), TREE_TYPE, and TYPE_OVERFLOW_UNDEFINED.

Variable Documentation

bitmap already_instantiated [static]

Definition at line 287 of file tree-scalar-evolution.c.

tree chrec_dont_know

Definition at line 281 of file tree-scalar-evolution.c.

tree chrec_known

Definition at line 285 of file tree-scalar-evolution.c.

tree chrec_not_analyzed_yet

Definition at line 277 of file tree-scalar-evolution.c.

Referenced by analyze_evolution_in_loop(), analyze_initial_condition(), analyze_scalar_evolution_1(), automatically_generated_chrec_p(), chrec_contains_undetermined(), chrec_fold_automatically_generated_operands(), chrec_merge(), compute_scalar_evolution_in_loop(), get_scalar_evolution(), initialize_scalar_evolutions_analyzer(), interpret_condition_phi(), new_scev_info_str(), and no_evolution_in_loop_p().

unsigned nb_get_scev = 0 [static]

Definition at line 270 of file tree-scalar-evolution.c.

unsigned nb_set_scev = 0 [static]

Definition at line 269 of file tree-scalar-evolution.c.

htab_t scalar_evolution_info [static]

Definition at line 289 of file tree-scalar-evolution.c.

Generated on Wed Apr 8 14:22:36 2009 for Open64 by  doxygen 1.5.6