Google Git
Sign in
llvm / llvm-archive / 48649d2c83b557841c9e5c978d9ab5af13cb52e5 / . / llvm-gcc-4.0 / gcc / ChangeLog.lno
blob: d20a04f1cd89e12a29468e34436bd91ea95a4e55 [file] [log] [blame]
APPLE LOCAL file lno
2004-07-18 Sebastian Pop <pop@cri.ensmp.fr>
Merge from mainline (lno-merge-20040718).
2004-07-17 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (tree-cfg.o): Add CFGLAYOUT_H dependency.
* loop-init.c (loop_optimizer_init, loop_optimizer_finalize): Do not
free the dominators.
* passes.c (rest_of_handle_loop2): Free the dominators.
* sched-rgn.c (compute_trg_info): Initialize fields of variable el.
* tree-cfg.c: Include cfglayout.h.
(tree_duplicate_bb): Copy also phi nodes.
(struct ssa_name_map_entry): New type.
(collect_defs, add_phi_args_after_copy, ssa_name_map_entry_hash,
ssa_name_map_entry_eq, allocate_ssa_names,
rewrite_to_new_ssa_names_def, rewrite_to_new_ssa_names_use,
rewrite_to_new_ssa_names, tree_duplicate_sese_region): New functions.
* tree-flow.h (tree_duplicate_sese_region): Declare.
* tree-ssa-loop-ch.c (mark_defs_for_rewrite, duplicate_blocks): Removed.
(copy_loop_headers): Use tree_duplicate_sese_region.
* tree-ssa-loop-manip.c (copy_phi_nodes): Only copy the phi node
arguments.
* tree-ssa-pre.c (gate_pre): Disable the optimization.
2004-07-14 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_is_simple_use): Additional argument.
(vect_is_supportable_op): Call vect_is_simple_use with extra argument.
(vect_is_supportbale_store): Likewise.
(vect_is_supportbale_assignment): Likewise.
(vect_mark_stmts_to_be_vectorized): Cleanup - use vect_is_simple_use.
(vect_get_vec_def_for_operand): Cleanup.
(vect_analyze_data_refs): Support certain forms of COMPONENT_REF as
array_base. Use force_gimple in handling of data-refs.
(vect_force_dr_alignment_p): Support certain forms of COMPONENT_REF.
(vect_align_data_ref): Likewise.
(vect_analyze_data_ref_dependence): Likewise.
(vect_analyze_operations): Remove duplicate calls to vect_debug_details.
(vect_analyze_scalar_cycles): Likewise.
(vect_analyze_data_ref_dependence): Likewise.
(vect_analyze_data_refs_alignment): Likewise.
(vect_analyze_pointer_ref_access): Likewise.
(vect_analyze_pointer_ref_access): Likewise.
(vect_analyze_data_refs): Likewise.
(vect_analyze_loop_form): Likewise.
2004-07-13 Sebastian Pop <pop@cri.ensmp.fr>
* tree-data-ref.c: Fix some comments for inclusion in mainline.
(tree_fold_gcd): Moved...
* tree.c (tree_fold_gcd): ...here.
* tree.h (tree_fold_gcd): Declared here.
2004-07-13 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-niter.c (mark_maybe_infinite_loops): Handle abnormal
edges.
2004-07-13 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (tree-ssa-loop.o, tree-ssa-dce.o): Add function.h
dependency.
* builtins.c (expand_builtin): Handle BUILT_IN_MAYBE_INFINITE_LOOP.
* builtins.def (BUILT_IN_MAYBE_INFINITE_LOOP): New builtin.
* function.h (struct function): Add marked_maybe_inf_loops field.
* timevar.def (TV_MARK_MILOOPS): New timevar.
* tree-flow.h (mark_maybe_infinite_loops): Declare.
* tree-optimize.c (init_tree_optimization_passes): Add
pass_mark_maybe_inf_loops.
* tree-pass.h (pass_mark_maybe_inf_loops): Declare.
* tree-ssa-dce.c: Include function.h.
(find_obviously_necessary_stmts): Mark back edges only if they were
not marked already.
(perform_tree_ssa_dce): Do not call mark_dfs_back_edges here.
* tree-ssa-loop-niter.c (unmark_surely_finite_loop,
mark_maybe_infinite_loops): New functions.
* tree-ssa-loop.c: Include function.h.
(tree_mark_maybe_inf_loops, gate_tree_mark_maybe_inf_loops,
pass_mark_maybe_inf_loops): New pass.
* tree-ssa-operands.c (function_ignores_memory_p): Add
BUILT_IN_MAYBE_INFINITE_LOOP.
2004-07-12 Sebastian Pop <pop@cri.ensmp.fr>
* Makefile.in (tree-scalar-evolution.o): Remove dependences on
tree-vectorizer.h and tree-data-ref.h.
(tree-data-ref.o): Add dependence on lambda.h.
* lambda-trans.c, lambda.h: Add missing copyright notice.
* tree-scalar-evolution.c: Don't include tree-data-ref.h and
tree-vectorizer.h. Fix some comments.
* tree-scalar-evolution.h (simple_iv): Modified to match the
declaration that is in mainline.
2004-07-11 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: Update documentation. Use '#ifdef
ENABLE_CHECKING' to guard checks that are expected to have been
verified during analysis. Use vect_debug_details/vect_debug_stats
for dumping information.
* tree-vectorizer.h (struct _stmt_vec_info): New field "memtag".
(STMT_VINFO_MEMTAG): Access macro for new field "memtag".
* tree-vectorizer.c (vect_create_data_ref): Get tag from new field.
(vect_analyze_data_refs): Record the tag in the new memtag field.
(vect_align_data_ref): Remove unused argument.
(vect_analyze_data_refs): Call vect_align_data_ref with one argument.
(vect_get_array_first_index): Additional argument to return the
index rather than as the return value of the function.
(create_index_for_array_ref): Call vect_get_array_first_index with
an extra argument.
(vect_create_data_ref): Remove unused argument.
(vect_debug_stats, vect_debug_details): Argument "string" removed.
(vect_analyze_pointer_ref_access): New function.
(vect_analyze_data_refs): Call vect_analyze_pointer_ref_access.
(vect_finish_stmt_generation): New function.
(vect_transform_assignment, vect_transform_op, vect_transform_store):
(vect_transform_load): Call vect_finish_stmt_generation.
(get_vectype_for_scalar_type): No need to iterate through the
different modes - build_vector_type already does that.
(vect_transform_loop_bound): Check which edge is actually the 'then'.
(vect_analyze_operations): Temporarily disable vectorization of loops
with unknown loop bound.
2004-07-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (determine_biv_step): Use simple_iv.
2004-07-09 Devang Patel <dpatel@apple.com>
* Makefile.in (tree-ssa-loop-manip.o): Add tree-scalar-evolution.h
dependency.
* tree-scalar-evolution.c (scev_rest): Check scalar_evolution_info
and current_loops.
* tree-ssa-loop-manip.c (tree-scalar-evolution.h): Include.
(tree_duplicate_loop_to_header_edge): scev_reset () in the end.
2004-07-09 Steven Bosscher <stevenb@suse.de>,
Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-pre.c: Merge changes from mainline.
2004-07-09 Steven Bosscher <stevenb@suse.de>
* varray.h (varray_data_enum): Remove VARRAY_DATA_DG.
2004-07-08 Sebastian Pop <pop@cri.ensmp.fr>
* varray.c (element): Don't include dependence_node_def.
2004-07-08 Sebastian Pop <pop@cri.ensmp.fr>
* Makefile.in (OBJS-common): Remove tree-dg.o.
(tree-dg.o): Removed.
(GTFILES): Remove tree-dg.h.
* gengtype.c (open_base_files): Remove tree-dg.h.
* tree-data-ref.c (subscript_dependence_tester): Don't define.
(dump_data_dependence_relation): Print data references only
when they are not NULL.
(analyze_array_top): Removed.
(initialize_data_dependence_relation): Is extern now.
When the data references are NULL the relation is not known.
(compute_affine_dependence): Is extern now.
(find_data_references_in_loop): Returns chrec_dont_know when
failing to analyze a difficult case.
(compute_data_dependences_for_loop): Terminate earlier when
find_data_references_in_loop fails.
* tree-data-ref.h (data_dependence_relation): Update comments.
(initialize_data_dependence_relation, compute_affine_dependence):
Declared extern.
* tree-dg.c, tree-dg.h: Removed.
* tree-flow-inline.h (dg_node_for_stmt): Removed.
* tree-flow.h: Don't include tree-dg.h.
(stmt_ann_d): Remove dependence_node field.
* tree-ssa-loop.c: Include tree-data-ref.h.
(tree_vectorize, tree_linear_transform): Don't construct the dg_graph.
* tree-vectorizer.c: Remove some declarations of static functions.
(vect_analyze_data_ref_dependence): Extra parameter for the vectorized
loop. Don't rely on the information provided by the data
reference structure. Compute directly the relation between
the data references instead of querying this information in
the dg_graph.
(vect_analyze_data_ref_dependences): Pass to
vect_analyze_data_ref_dependence the information about the
vectorized loop.
* varray.h (varray_data_tag): Remove dependence_node_def.
2004-07-07 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (cand_value_at): Handle types correctly.
(may_eliminate_iv): Verify there is no overflow.
2004-07-07 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (find_bivs, find_givs_in_stmt_scev):
Ensure that step of the iv satisfies cst_and_fits_in_hwi.
(determine_use_iv_cost_outer): Preserve the fact that the cost
is infinity.
* tree-ssa-loop-prefetch.c (WRITE_CAN_USE_READ_PREFETCH,
READ_CAN_USE_WRITE_PREFETCH, HAVE_FORWARD_PREFETCH,
HAVE_BACKWARD_PREFETCH, ACCEPTABLE_MISS_RATE): New macros.
(struct mem_ref_group): Type of step changed to HOST_WIDE_INT.
(struct mem_ref): Type of delta changed to HOST_WIDE_INT.
(dump_mem_ref, find_or_create_group, record_ref,
struct ar_data, idx_analyze_ref, analyze_ref,
gather_memory_references_ref, issue_prefetch_ref): Updated to reflect
this.
(ddown): New function.
(prune_ref_by_self_reuse, prune_ref_by_group_reuse):
Implement.
(prune_ref_by_reuse): Use WRITE_CAN_USE_READ_PREFETCH and
READ_CAN_USE_WRITE_PREFETCH.
(prune_group_by_reuse): Add dumps.
(issue_prefetch_ref): Assert that PREFETCH_BLOCK is a power of 2.
* tree.c (cst_and_fits_in_hwi): Update comment and fix semantics.
(int_cst_value, build_int_cst): Check that we use them only for
types representable in HOST_WIDE_INT.
2004-07-07 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
Remove bogus check for chrec_contains_undetermined.
2004-07-06 Sebastian Pop <pop@cri.ensmp.fr>
* basic-block.h (edge_source, edge_destination): Removed.
* cfgloop.c (superloop_at_depth): Fix comment.
* cfgloop.h (loop_from_num, outer_loop, inner_loop, next_loop,
loop_num, loop_depth, loop_header, loop_nb_iterations,
loop_num_exits, loop_exit_edges, loop_exit_edge): Removed.
* lambda-code.c, tree-cfg.c, tree-data-ref.c, tree-dg.c,
tree-elim-check.c, tree-scalar-evolution.c, tree-ssa-dom.c,
tree-ssa-loop-ivcanon.c, tree-vectorizer.c: Inline removed functions.
* tree-data-ref.c: Rewrite some comments.
* tree-flow-inline.h (loop_of_stmt): Renamed loop_containing_stmt.
2004-07-04 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_create_data_ref, vect_init_vector):
Use insert_on_edge to add code in loop preheader.
(vect_transform_loop): Make sure there's a preheader BB.
2004-06-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-prefetch.c: New file.
* Makefile.in (tree-ssa-loop-prefetch.o): Add.
* timevar.def (TV_TREE_PREFETCH): New.
* tree-flow.h (tree_ssa_prefetch_arrays,
standard_iv_increment_position): Declare.
* tree-optimize.c (init_tree_optimization_passes): Add
pass_loop_prefetch.
* tree-pass.h (pass_loop_prefetch): Declare.
* tree-ssa-loop-ivcanon.c (estimate_loop_size): Force the size to be
nonzero.
* tree-ssa-loop-ivopts.c (cst_and_fits_in_hwi): Moved to tree.c.
(standard_iv_increment_position): New function.
(zero_p): Export.
* tree-ssa-loop-niter.c (zero_p): Remove duplicate function.
* tree-ssa-loop.c (tree_ssa_loop_prefetch,
gate_tree_ssa_loop_prefetch): New functions.
(pass_loop_prefetch): New pass structure.
* tree-ssa-operands.c (function_ignores_memory_p): New function.
(get_expr_operands): Use it.
* tree.c (cst_and_fits_in_hwi): Moved from tree-ssa-loop-ivopts.c.
* tree.h (zero_p, cst_and_fits_in_hwi): Declare.
2004-06-28 Daniel Berlin <dberlin@dberlin.org>
* lambda-code.c (print_linear_expression): Rename a few variables,
simplify some code.
(print_lambda_loop): Ditto.
(lambda_compute_auxillary_space): Update a comment.
(gcc_loop_to_lambda_loop): Update code for chrec_dont_know change.
(struct dir_dist_pair): New.
(reverse_dep): Ditto.
(lambda_dep_mult_constant): New function.
(lambda_dep_add): Ditto.
(lambda_vec_distdirvec_mult): Ditto.
(lambda_vec_distdirmat_mult): Ditto.
(lambda_deps_positive): Ditto.
(lambda_transform_legal_p): Ditto.
* lambda-mat.c (lambda_matrix_mult): Cleanup
(lambda_matrix_delete_rows): Ditto.
(lambda_matrix_row_add): Ditto.
(lambda_matrix_col_exchange): Ditto.
(lambda_trans_matrix_is_nonsingular): Rename to standard gcc predicate
naming.
(lambda_trans_matrix_is_fullrank): Ditto.
(lambda_trans_matrix_base): Rename to reflect actual computation.
* lambda.h (lambda_transform_legal_p): Add prototype.
* tree-loop-linear.c (linear_transform_loops): Rewrite a bit, use legality
tester to test transforms.
2004-06-28 Daniel Berlin <dberlin@dberlin.org>
* tree-data-ref.c (build_classic_dist_vector): Add argument, stop
making out-of-bounds array accesses when analyzing less than
all the loops. Add checks to verify.
(build_classic_dir_vector): Ditto.
(compute_data_dependences_for_loop): Pass in starting loop number
to build_classic_*.
2004-06-27 Sebastian Pop <pop@cri.ensmp.fr>
* tree.def (INTERVAL_CHREC): Removed.
(SCEV_KNOWN, SCEV_NOT_KNOWN): New nodes.
* tree-pretty-print.c (dump_generic_node): Handle SCEV_KNOWN and
SCEV_NOT_KNOWN nodes.
* tree-chrec.h (build_polynomial_chrec): When one of the
operands is chrec_dont_know, return directly chrec_dont_know.
* tree-scalar-evolution.c (instantiate_parameters_1): Same.
(initialize_scalar_evolutions_analyzer): Build chrec_dont_know using a
SCEV_NOT_KNOWN node, and chrec_known with a SCEV_KNOWN node.
2004-06-24 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.c (chrec_fold_automatically_generated_operands,
chrec_merge):
Use chrec_dont_know instead of a call to chrec_contains_undetermined.
(tree_fold_factorial, tree_fold_binomial, chrec_evaluate): Resurrect.
(chrec_apply): Reinsert the cases that were removed.
(chrec_convert): Remove the check for NULL_TREE inserted two days ago.
* tree-scalar-evolution.c (follow_ssa_edge_in_rhs): As a sequel of
removing the tree_fold_* functions, the analyzed trees can contain
NON_LVALUE_EXPR nodes. Use STRIP_TYPE_NOPS for avoiding these nodes.
(number_of_iterations_in_loop): Add the missing open parenthesis in
the debugging dumps.
(initialize_scalar_evolutions_analyzer): Use an INTERVAL_CHREC for
constructing the chrec_dont_know node. This fixes some strange
problems that arise when chrec_dont_know is an INTEGER_CST.
* tree.def (INTERVAL_CHREC): Resurrect.
2004-06-23 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-chrec.c (chrec_merge): Handle case when one of the arguments
was not analyzed yet correctly.
2004-06-23 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.c (chrec_fold_automatically_generated_operands): Now
static. Clean comments.
(hide_evolution_in_loop, chrec_merge_types): Removed.
* tree-chrec.h (hide_evolution_in_loop,
chrec_fold_automatically_generated_operands): Remove declarations.
* tree-scalar-evolution.c: Remove an old part of the comment at the
beginning of the file.
(compute_overall_effect_of_inner_loop,
compute_overall_effect_of_inner_loop, add_to_evolution_1,
analyze_scalar_evolution_1, analyze_scalar_evolution): Test for
chrec_dont_know instead of calling chrec_contains_undetermined.
2004-06-22 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_create_data_ref): Fix setting of mem_tag.
(vect_analyze_data_refs): Make sure we have a mem_tag.
2004-06-22 Sebastian Pop <pop@cri.ensmp.fr>
* tree-fold-const.c, tree-fold-const.h: Removed.
* Makefile.in (SCEV_H, tree-chrec.o): Remove tree-fold-const.h.
(OBJS-common): Remove tree-fold-const.o.
(tree-fold-const.o): Removed.
* gengtype.c (open_base_files): Remove tree-fold-const.h.
* lambda-code.c, tree-chrec.c, tree-data-ref.c, tree-dg.c,
tree-elim-check.c, tree-loop-linear.c, tree-pretty-print.c,
tree-scalar-evolution.c, tree-ssa-loop-ivcanon.c,
tree-ssa-loop-ivopts.c, tree-ssa-loop-niter.c, tree-vectorizer.c:
Don't include tree-fold-const.h.
* tree-chrec.c, tree-data-ref.c: Replace uses of tree_fold_* with
fold (build (*, ...))
* tree-data-ref.c (tree_fold_gcd, tree_fold_divides_p,
tree_fold_bezout): Saved from deletion here.
2004-06-22 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.c, tree-chrec.h, tree-data-ref.c, tree-dg.c,
tree-elim-check.c, tree-scalar-evolution.c, tree-ssa-loop-niter.c,
tree-vectorizer.c: Replace chrec_top with chrec_dont_know,
and chrec_bot with chrec_known. Replace the checks of chrec_top
with calls to chrec_contains_undetermined.
* tree.def (INTERVAL_CHREC): Removed.
* cfgloop.h (loop): Update comments around nb_iterations field.
* lambda-code.c (gcc_loop_to_lambda_loop): Always check for
undetermined chrec after calling number_of_iterations_in_loop.
* tree-chrec.c (chrec_fold_multiply_ival_cst,
chrec_fold_multiply_ival_ival,
chrec_merge_types, chrec_contains_intervals, chrec_evaluate,
chrec_merge_intervals): Removed.
(chrec_fold_plus_1, chrec_fold_plus, chrec_fold_minus,
chrec_fold_multiply, chrec_merge,
evolution_function_is_affine_multivariat, chrec_convert):
Remove uses of INTERVAL_CHREC nodes.
(chrec_apply): Classify as unknown all the non-affine cases.
* tree-fold-const.h (tree_fold_binomial): Removed.
* tree-chrec.h (CHREC_LOW, CHREC_UP,
chrec_contains_intervals, build_interval_chrec,
build_chrec_top_type, evolution_function_is_multivariate,
chrec_should_remain_symbolic): Removed.
(tree_is_chrec, chrec_zerop, evolution_function_is_affine_p):
Remove uses of INTERVAL_CHREC nodes.
* tree-data-ref.c (analyze_ziv_subscript,
analyze_overlapping_iterations): Same.
* tree-pretty-print.c (dump_generic_node): Same.
* tree-scalar-evolution.c (chrec_is_positive,
instantiate_parameters_1, gather_chrec_stats,
initialize_scalar_evolutions_analyzer): Same.
(analyze_scalar_evolution_in_loop): Make it static.
(resolve_mixers): Fix comments.
(chrec_stats, reset_chrecs_counters, dump_chrecs_stats):
Remove nb_interval_chrec counter.
(chrec_is_positive, simple_iv): Always check for undetermined after
a call to number_of_iterations_in_loop or analyze_scalar_evolution.
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables,
canonicalize_loop_induction_variables): Same.
* tree-ssa-loop-ivopts.c (determine_biv_step): Same.
* tree-ssa-loop-niter.c (find_loop_niter_by_eval): Same.
(estimate_numbers_of_iterations_loop): Remove redundant call to
number_of_iterations_in_loop.
* tree-scalar-evolution.h (analyze_scalar_evolution_in_loop):
Remove declaration, the function is now static.
* tree-vectorizer.c (vect_analyze_loop_with_symbolic_num_of_iters):
Don't test for INTERVAL_CHREC nodes.
2004-06-22 Devang Patel <dpatel@apple.com>
PR 16105
* tree-vectorizer.c (vect_analyze_operations): Type of MODIFY_EXPR is
not reliable. Use LHS's type.
2004-06-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
PR rtl-optimization/16001
* loop-iv.c (iv_number_of_iterations): Prevent copy propagation in
niter_expr.
2004-06-21 Sebastian Pop <pop@cri.ensmp.fr>
* tree.def (PEELED_CHREC): Removed.
* tree-chrec.c (is_not_constant_evolution, chrec_fold_plus_1,
chrec_fold_multiply, chrec_replace_initial_condition, chrec_convert):
Don't handle PEELED_CHREC nodes.
(chrec_fold_plus_peel_cst, chrec_fold_plus_poly_peel,
chrec_fold_plus_peel_poly, chrec_fold_plus_peel_peel,
chrec_fold_multiply_peel_cst, chrec_fold_multiply_poly_peel,
chrec_fold_multiply_peel_peel, simplify_peeled_chrec): Removed.
* tree-chrec.h (tree_is_chrec): Don't handle PEELED_CHREC nodes.
(build_peeled_chrec, evolution_function_is_peeled_affine_p): Removed.
* tree-pretty-print.c (dump_generic_node): Don't handle
PEELED_CHREC nodes.
* tree-scalar-evolution.c (analyze_evolution_in_loop,
instantiate_parameters_1): Same.
(chrec_stats, reset_chrecs_counters, dump_chrecs_stats,
gather_chrec_stats): Don't count the number of PEELED_CHREC nodes.
2004-06-18 Sebastian Pop <pop@cri.ensmp.fr>
* Makefile.in (OBJS-common): Remove tree-elim-check.o.
* tree-scalar-evolution.c (first_iteration_non_satisfying_noev_noev,
first_iteration_non_satisfying_noev_ev,
first_iteration_non_satisfying_ev_noev,
first_iteration_non_satisfying_ev_ev,
first_iteration_non_satisfying_1,
first_iteration_non_satisfying): Removed.
(number_of_iterations_in_loop): Clean up.
* tree-scalar-evolution.h (first_iteration_non_satisfying): Removed.
* tree-ssa-loop-ivopts.c (zero_p): Compare tree pointer
against NULL_TREE.
* tree-ssa-loop.c (tree_ssa_loop_test): Return when loops
structure is not available.
(tree_elim_checks): Disabled for the moment. Don't call
eliminate_redundant_checks.
2004-06-17 Andrew MacLeod <amacleod@redhat.com>
* tree-cfg.c (tree_make_forwarder_block): Use SET_PHI_RESULT.
* tree-flow-inline.h (get_use_op_ptr): Return a use_operand_p.
(get_use_from_ptr, get_def_from_ptr): New. Return operand pointers.
(get_def_op_ptr): Return a def_operand_p instead of a 'tree *'.
(get_v_may_def_result_ptr): Return a def_operand_p.
(get_v_may_def_op_ptr, get_vuse_op_ptr): Return a use_operand_p.
(get_v_must_def_op_ptr): Return a def_operand_p.
(get_phi_result_ptr): New. Return a pointer to the result of a PHI.
(get_phi_arg_def_ptr): New. Return a pointer to an argument of a PHI.
(phi_element_for_edge): Remove.
* tree-flow.h (propagate_value, replace_exp): Change prototype.
(propagate_tree_value): Add new prototype.
(phi_element_for_edge): Remove prototype.
* tree-into-ssa.c (mark_def_sites): Use new operand types.
(prepare_operand_for_rename): Split into two functions.
(prepare_use_operand_for_rename): Prepare use operands.
(prepare_def_operand_for_rename): Prepare def operands.
(rewrite_stmt): Use new operand types.
(rewrite_operand): Use new operand types, change parameter type.
* tree-outof-ssa.c (replace_variable): Split into two functions.
(replace_use_variable): Rewrite uses.
(replace_def_variable): Rewrite defs.
(rewrite_trees, rewrite_vars_out_of_ssa): Use new operand types.
* tree-phinodes.c (make_phi_node, resize_phi_node): Use new types.
(add_phi_arg, remove_phi_arg_num): Use new operand types.
* tree-ssa-ccp.c (substitute_and_fold): Use new operand types.
(ccp_fold, replace_uses_in): Use new operand types.
* tree-ssa-copy.c (replace_ssa_names): Rename to replace_ssa_names_ann
and no longer set the value, change parameter type.
(replace_exp_1): Use new operand types.
(propagate_value): Change parameter type, use new operand types.
(propagate_tree_value): Propagate_value without SSA operands.
(replace_exp, cprop_operand, cprop_into_stmt): Use new operand types.
(cprop_into_successor_phis): Use new operand types.
* tree-ssa-dom.c (thread_across_edge): Use new operand types.
(eliminate_redundant_computations): Use new operand types.
* tree-ssa-dse.c (fix_phi_uses): Use new operand_types.
(fix_stmt_v_may_defs): Use new operand_types.
* tree-ssa-live.c (create_ssa_var_map): Use new operand_types.
(build_tree_conflict_graph): Use new operand_types.
* tree-ssa-loop.c (duplicate_blocks): Use PHI_ARG_DEF_FROM_EDGE.
* tree-ssa-operands.c (struct freelist_d): Remove.
(check_optype_freelist, add_optype_freelist): Remove.
(allocate_def_optype, allocate_use_optype, allocate_v_may_def_optype,
allocate_vuse_optype, allocate_v_must_def_optype): Call ggc_alloc.
(free_uses, free_defs, free_vuses, free_v_may_defs, free_v_must_defs):
Call ggc_free instead of add_optype_freelist.
(init_ssa_operands, fini_ssa_operands): Remove free list code.
(finalize_ssa_defs, finalize_ssa_uses): Set new use/def operands.
* tree-ssa-operands.h (struct def_optype_d): Change underlying type.
(struct use_optype_d): Change underlying type.
(def_operand_p, use_operand_p): New types for pointers to operands.
(USE_OP, DEF_OP, V_MAY_DEF_RESULT, V_MAY_DEF_OP, VUSE_OP,
V_MUST_DEF_OP): Use new pointer type instead of dereferencing directly.
(USE_FROM_PTR, DEF_FROM_PTR): New macros to "dereference" operand
pointer types.
(SET_USE, SET_DEF): New macros to set operands from their pointer.
(SET_USE_OP, SET_DEF_OP, SET_V_MAY_DEF_RESULT, SET_V_MAY_DEF_OP,
SET_VUSE_OP, SET_V_MUST_DEF_OP): New SET routines for operands.
(PHI_RESULT_PTR, PHI_RESULT, SET_PHI_RESULT): Macros to manage the
PHI result as an operand.
(PHI_ARG_DEF_PTR, PHI_ARG_DEF, SET_PHI_ARG_DEF, PHI_ARG_DEF_FROM_EDGE,
PHI_ARG_DEF_PTR_FROM_EDGE): Macros to manage the PHI arguments.
* tree-ssa-pre.c (eliminate): Call propagate_tree_value.
* tree-tailcall.c (independent_of_stmt_p, propagate_through_phis): Use
PHI_ARG_DEF_FROM_EDGE.
* tree.h (PHI_RESULT): Renamed to PHI_RESULT_TREE.
(PHI_ARG_DEF): Renamed to PHI_ARG_DEF_TREE.
* tree-ssa-loop-ivopts.c (find_bivs, mark_bivs,
find_interesting_uses_outer_or_nonlin, find_interesting_uses_stmt,
find_interesting_uses_outside, add_old_iv_candidates,
remove_statement, rewrite_use_nonlinear_expr, split_loop_exit_edge,
protect_loop_closed_ssa_form_use, compute_phi_arg_on_exit,
rewrite_use_outer): Use new operand types.
2004-06-16 Dale Johannesen <dalej@apple.com>
* Makefile.in (GTFILES): Add tree-chrec.h.
* tree-chrec.h (chrec_top, chrec_bot): Add GTY.
* tree-scalar-evolution.c (initialize_scalar_evolutions_analyzer):
Set chrec_top, chrec_bot once per compilation.
* gengtype.c (ifiles): Add tree-fold-const.h, tree-chrec.h.
2004-06-16 Dale Johannesen <dalej@apple.com>
* tree-flow.h (tree_ann_common-d.aux): Document required behavior.
* tree-ssa-loop-manip.c (allocate_new_names): Don't propagate
new_names into copies.
2004-06-16 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
PR tree-optimization/15993
* tree-ssa-dom.c (thread_across_edge): Do not thread edge if its
destination is unchanged.
2004-06-14 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_analyze_data_refs): Minor fix.
2004-06-14 Andrew Pinski <apinski@apple.com>
* tree-ssa-return.c: Remove.
* Makefile.in (OBJS-common): Remove tree-ssa-return.o
(tree-ssa-return.o): Remove.
* timevar.def (TV_TREE_RETURN): Remove.
* tree-optimize.c (init_tree_optimization_passes):
Do not run pass_return.
* tree-pass.h (pass_return): Remove declaration.
2004-06-14 Dorit Naishlos <dorit@il.ibm.com>
* tree-data-ref.c (init_data_ref): New function.
* tree-data-ref.h (init_data_ref): New function.
* tree-vectorizer.c (vect_get_array_first_index): Return index instead
of success status, and support pointers.
(vect_create_index_for_array_ref): Remove ARRAY_REF restriction, and
change call to vect_get_array_first_index.
(vect_create_data_ref): Handle INDIRECT_REFs.
(vect_is_supportable_store): Handle INDIRECT_REFs.
(vect_is_supportable_load): Handle INDIRECT_REFs.
(vect_analyze_data_ref_dependence): Handle INDIRECT_REFs.
(vect_analyze_data_ref_dependences): Remove usage of variable 'ok'.
(get_array_base): Removed (not used anymore).
(vect_force_dr_alignment_p): Use DR_BASE_NAME instead of
get_array_base.
(vect_align_data_ref): Likewise.
(vect_transform_store): Remove ARRAY_REF restriction.
(vect_transform_load): Remove ARRAY_REF restriction.
(vect_compute_data_ref_alignment): Support pointers.
(vect_analyze_data_refs): Support pointers.
(vect_debug_stats): New Function.
(vect_debug_details): New Function.
(vect_transform_loop): Use vect_debug_stats and vec_debug_details.
(vect_analyze_loop): Use vect_debug_details.
(vect_analyze_scalar_cycles): Use vect_debug_stats.
(vect_analyze_data_ref_dependence): Likewse.
(vect_analyze_data_refs_alignment): Likewise.
(vect_analyze_data_ref_accesses): Likewise.
(vect_analyze_data_refs): Likewise.
(vect_analyze_loop_form): Likewise.
(vect_gen_if_guard): Formatting fixes (avoid 80 column overflow).
(vect_update_initial_conditions_of_duplicatd_loop): Likewise.
(vect_transform_loop): Likewise.
(vect_analyze_loop_form): Likewise.
2004-06-13 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Merge from mainline (lno-merge-20040612).
2004-06-13 Dorit Naishlos <dorit@il.ibm.com>
* tree-chrec.c (evolution_function_is_affine_multivariat): Add check
for POLYNOMIAL_CHREC.
* tree-dg.c (ddg_direction_between_stmts): Add check for chrec_top.
* tree-pass.h (TODO_write_loop_closed): New to-do flag.
* tree-optimize.c (execute_todo): Handle new to-do flag
TODO_write_loop_closed.
* tree-ssa-loop.c (struct tree_opt_pass pass_vectorize): Set
TODO_write_loop_closed.
* tree-vectorizer.c (vect_transform_loop): Add calls to
add_bb_to_loop.
(vect_analyze_data_ref_dependence): Fix last argument in call to
ddg_direction_between_stmts.
2004-06-11 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
PR target/15944
* loop-invariant.c (may_assign_reg_p): Use can_copy_p.
2004-06-11 Olga Golovanevsky <olga@il.ibm.com>
Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_generate_tmps_on_preheader):
(vect_gen_if_guard): New functions.
(vect_update_initial_conditions_of_duplicated_loop):
Update also phis of bb at the exit of epilog loop.
(vect_transform_loop): Remove code that now belongs to
vect_generate_tmps_on_preheader () function. Use
vect_gen_if_guard function twice.
2004-06-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ch.c: New file.
* Makefile.in (tree-ssa-loop-ch.o): Add.
(tree-ssa-loop.o): Add SCEV_H and tree-vectorizer.h dependency.
* cfgloop.h (current_loops): Declare.
* common.opt (fivcanon, fivopts, floop-test, ftree-lim): Add.
(ftree-loop-optimize, fscalar-evolutions, fall-data-deps,
ftree-ddg): Remove.
* flags.h (flag_scalar_evolutions, flag_all_data_deps,
flag_tree_loop, flag_ddg): Removed.
(flag_tree_lim, flag_ivcanon, flag_ivopts,
flag_tree_ssa_loop_test): New.
(f_options): Remove scalar-evolutions, all-data-deps,
tree-ddg, tree-loop-optimize.
* toplev.c (flag_scalar_evolutions, flag_all_data_deps,
flag_tree_loop, flag_ddg): Removed.
(flag_tree_lim, flag_ivcanon, flag_ivopts,
flag_tree_ssa_loop_test): New.
* opts.c (decode_options, common_handle_option): Initialize new
options.
* timevar.def (TV_SCALAR_EVOLUTIONS, TV_ALL_DATA_DEPS): Removed.
(TV_TREE_ELIM_CHECKS, TV_DEP_GRAPH, TV_LIM, TV_COMPLETE_UNROLL,
TV_UNSWITCH): Added.
* tree-flow.h (test_unrolling_and_peeling, test_loop_versioning):
Removed.
(tree_unroll_loops_completely): Declare.
* tree-optimize.c (init_tree_optimization_passes): Reorganize loop
optimizer passes.
* tree-pass.h (pass_scev, pass_scev_init, pass_scev_anal,
pass_scev_depend, pass_scev_linear_transform, pass_scev_iv_canon,
pass_scev_elim_checks, pass_scev_vectorize, pass_scev_done, pass_ddg,
pass_delete_ddg): Removed.
(pass_loop_init, pass_loop_test, pass_lim, pass_unswitch,
pass_iv_canon, pass_record_bounds, pass_elim_checks, pass_vectorize,
pass_complete_unroll, pass_linear_transform, pass_iv_optimize,
pass_loop_done): Declare.
* tree-scalar-evolution.c (current_loops): Moved to tree-ssa-loop.c.
(dd_info_available): Removed.
(scev_init, scev_depend, scev_elim_checks, scev_vectorize, scev_done,
gate_scev, gate_scev_analysis, gate_scev_depend, gate_scev_elim_checks,
gate_scev_vectorize): Removed.
(pass_scev, pass_scev_init, pass_scev_anal, pass_scev_depend,
pass_scev_vectorize, pass_scev_linear_transform,
pass_scev_iv_canon, pass_scev_elim_checks, pass_scev_done,
pass_ddg, pass_delete_ddg): Removed.
* tree-scalar-evolution.h (scev_analysis): Declare.
(scev_analysis): Export.
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
Add parameter to control whether find_loop_niter_by_eval is run.
(canonicalize_induction_variables): Do not unroll loops.
(tree_unroll_loops_completely): Split from
canonicalize_induction_variables.
* tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init,
tree_ssa_iv_optimize_finalize, tree_ssa_iv_optimize,
tree_ssa_iv_optimize): Global initialization/finalization removed.
* tree-ssa-loop-manip.c (test_unrolling_and_peeling,
test_loop_versioning): Removed.
* tree-ssa-loop.c: Include tree-scalar-evolution.h and
tree-vectorizer.h.
(current_loops): Moved from tree-scalar-evolution.c.
(tree_ssa_loop_opt): Removed.
(gate_loop): Removed.
(pass_loop): Modified.
(should_duplicate_loop_header_p, mark_defs_for_rewrite,
duplicate_blocks, do_while_loop_p, copy_loop_headers,
gate_ch, pass_ch): Moved to tree-ssa-loop-ch.c.
(tree_ssa_loop_init, pass_loop_init, tree_ssa_loop_im,
gate_tree_ssa_loop_im, pass_lim, tree_ssa_loop_unswitch,
gate_tree_ssa_loop_unswitch, pass_unswitch, tree_ssa_loop_ivcanon,
gate_tree_ssa_loop_ivcanon, pass_iv_canon, tree_ssa_loop_bounds,
pass_record_bounds, tree_ssa_loop_test, pass_loop_test,
tree_elim_checks, gate_tree_elim_checks, pass_elim_checks,
tree_vectorize, gate_tree_vectorize, pass_vectorize,
tree_complete_unroll, gate_tree_complete_unroll, pass_complete_unroll,
tree_linear_transform, gate_tree_linear_transform,
pass_linear_transform, tree_ssa_loop_ivopts, gate_tree_ssa_loop_ivopts,
pass_iv_optimize, tree_ssa_loop_done, pass_loop_done): New.
* testsuite/gcc.dg/tree-ssa-chrec/*: Updated.
2004-06-10 Sebastian Pop <pop@cri.ensmp.fr>
* tree.def: Remove EXPONENTIAL_CHREC node.
* tree-chrec.c (is_not_constant_evolution, chrec_fold_plus_1,
chrec_fold_multiply, chrec_evaluate, chrec_apply,
chrec_replace_initial_condition, initial_condition,
hide_evolution_in_loop, hide_evolution_in_other_loops_than_loop,
evolution_part_in_loop_num, reset_evolution_in_loop,
reset_evolution_in_loop, chrec_merge, is_multivariate_chrec_rec,
is_multivariate_chrec, evolution_function_is_affine_multivariate_p,
evolution_function_is_univariate_p, chrec_convert): Don't
handle EXPONENTIAL_CHREC nodes.
(chrec_fold_plus_expo_cst, chrec_fold_plus_cst_expo,
chrec_fold_plus_poly_expo, chrec_fold_plus_expo_poly,
chrec_fold_plus_expo_expo, chrec_fold_multiply_poly_expo,
chrec_fold_multiply_expo_expo, is_pure_sum_chrec): Removed.
* tree-chrec.h (tree_is_chrec, evolution_function_is_affine_p):
Don't handle EXPONENTIAL_CHREC nodes.
(build_exponential_chrec): Removed.
(no_evolution_in_loop_p): Use a call to tree_is_chrec for
determining when a node represents a scalar evolution.
* tree-data-ref.c (siv_subscript_p): Don't handle
EXPONENTIAL_CHREC nodes.
* tree-pretty-print.c (dump_generic_node): Same.
* tree-scalar-evolution.c: Remove FIXME comments about
EXPONENTIAL_CHREC nodes. Add a pointer to the slides
presented at the GCC Summit 2004 about the scalar evolutions.
(compute_overall_effect_of_inner_loop): Clarify the leading comment.
(chrec_is_positive, add_to_evolution_1, add_to_evolution,
instantiate_parameters_1): Don't handle EXPONENTIAL_CHREC nodes.
(multiply_evolution_1, multiply_evolution): Removed.
(first_iteration_non_satisfying_ev_ev): Handle only affine
functions.
(follow_ssa_edge_in_rhs): Cases that were detected as
EXPONENTIAL_CHREC nodes are now mapped to the unknown element
(be it top or bottom) called chrec_top.
(chrec_stats, reset_chrecs_counters, dump_chrecs_stats,
gather_chrec_stats): Don't count the EXPONENTIAL_CHREC nodes.
* tree-vectorizer.c (vect_is_simple_iv_evolution,
vect_analyze_loop_with_symbolic_num_of_iters): Use
tree_is_chrec for determining whether the given node has an
evolution.
2004-06-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
PR middle-end/15876
* tree-ssa-loop-ivopts.c (force_var_cost): Initialize DECL_RTL
correctly.
2004-06-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* passes.c (rest_of_handle_loop2): Run loop optimizations always.
2004-06-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* ra-build.c (livethrough_conflicts_bb): Check also contains_call.
2004-06-09 Olga Golovanevsky <olga@il.ibm.com>
Dorit Naishlos <dorit@il.ibm.com>
* tree-vctorizer.c
(vect_update_initial_conditions_of_duplicated_loop):
Handle general form of "init" and "step" of access function.
* tree-ssa-loop-manip.c (tree_duplicate_loop_to_exit_cfg):
The exit from loop is taken from bb previous to latch instead
of latch itself.
2004-06-08 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/15881
* tree-scalar-evolution.c (count_ev_in_wider_type): Use
fold_convert instead of convert.
(compute_overall_effect_of_inner_loop): Likewise.
(chrec_is_positive): Likewise.
(add_to_evolution_1): Likewise.
(add_to_evolution): Likewise.
(first_iteration_non_satisfying_1): Likewise.
(follow_ssa_edge_in_rhs): Likewise.
(interpret_rhs_modify_expr): Likewise.
(number_of_iterations_in_loop): Likewise.
2004-06-08 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
PR tree-optimization/15779
* tree-scalar-evolution.c (scev_initialize): Clean the nb_iterations
field.
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables): Do
not clean nb_iterations field.
2004-06-07 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* version.c (version_string): Update "merged" stamp.
2004-05-30 Daniel Berlin <dberlin@dberlin.org>
* tree-loop-linear.c (linear_transform_loops): We don't handle sibling
loops, or loops with multiple exits, yet.
* lambda-code.c (invariant_in_loop): Check outer loops too for
right now.
(lle_to_gcc_expression): Special case the coefficient == 1 cases.
(lambda_loopnest_to_gcc_loopnest): Use correct test.
2004-05-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Jeff Law <law@redhat.com>
* tree-into-ssa.c (prepare_operand_for_rename): New argument is_use.
If the operand is for a use, then strip away the SSA_NAME, do not
strip away the SSA_NAME for a set. Never call release_ssa_name.
(mark_def_sites): Appropriately pass additional argument to
prepare_operand_for_rename. If a VDEF_RESULT is not an SSA_NAME,
then set the VDEF_RESULT to the VDEF_OP.
(set_def_block): Strip away any SSA_NAME to get to the real
underlying variable.
(ssa_mark_def_sites): Prevent set_def_block from doing so.
* tree-ssa-loop.c (mark_defs_for_rewrite): Record defined ssa names.
(duplicate_blocks): Use rewrite_ssa_into_ssa.
(pass_ch): Remove TODO_rename_vars.
2004-05-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* opts.c (decode_options): Enable flag_scalar_evolutions by default.
2004-05-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* fold-const.c (fold_widened_comparison,
fold_sign_changed_comparison): New.
(fold): Use them.
* tree-flow.h (struct tree_niter_desc): New field additional_info.
* tree-ssa-loop-niter.c (simplify_using_outer_evolutions): Do not
rewrite expressions in-place.
(tree_simplify_using_condition, simplify_using_initial_conditions):
New functions.
(number_of_iterations_exit): Use simplify_using_initial_conditions.
(struct nb_iter_bound): New field additional.
(record_estimate, estimate_numbers_of_iterations_loop): Initialize
field additional.
(upper_bound_in_type, lower_bound_in_type): Export. Handle
unsigned->signed conversion correctly.
(can_count_iv_in_wider_type): Pass the additional info to
can_count_iv_in_wider_type_bound.
(can_count_iv_in_wider_type_bound): Use the additional info.
* tree.h (lower_bound_in_type, upper_bound_in_type): Declare.
* config/i386/i386.c (legitimate_constant_p): Do not allow
integer - symbol.
2004-05-29 Sebastian Pop <pop@cri.ensmp.fr>
* lambda-code.c: Spell check.
* lambda-trans.c: Same.
* tree-chrec.c: Same.
* tree-dg.c: Same.
* tree-loop-linear.c: Same.
* tree-ssa-loop-im.c: Same.
* tree-ssa-loop-ivcanon.c: Same.
* tree-ssa-loop-ivopts.c: Same.
* tree-ssa-loop-manip.c: Same.
* tree-ssa-loop.c: Same.
* tree-vectorizer.c: Same.
2004-05-28 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-niter.c (number_of_iterations_cond): Record correct
assumptions.
2004-05-28 Dale Johannesen <dalej@apple.com>
* loop-invariant.c (check_maybe_invariant): Disallow hoisting CALLs.
2004-05-27 Sebastian Pop <pop@cri.ensmp.fr>
Merge from mainline (lno-merge-20040526).
* tree-scalar-evolution.c (draw_tree_cfg): Removed.
* tree-into-ssa.c: Didn't merged
http://gcc.gnu.org/ml/gcc-patches/2004-05/msg01231.html
2004-05-25 Sebastian Pop <pop@cri.ensmp.fr>
Dorit Naishlos <dorit@il.ibm.com>
* tree-scalar-evolution.c (first_iteration_non_satisfying_1):
Include the evolution of the non varying chrec in other_evs.
(number_of_iterations_in_loop): Don't instantiate the chrecs
before the computation of loop counts.
2004-05-25 Olga Golovanevsky <olga@il.ibm.com>
Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_transform_loop_bound): Advance IVs
by correct amount.
(vect_transform_loop, vect_build_symbl_bound): Use shifts
instead of division/multiplication to advance IVs.
2004-05-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (number_of_iterations_in_loop):
Do not produce COND_EXPRs.
2004-05-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (resolve_mixers): New function.
(already_instantiated): Type changed to bitmap.
(scev_initialize, scev_finalize): Reflect the change.
(analyze_scalar_evolution_in_loop): Use resolve_mixers.
(instantiate_parameters_1): Add possibility to just resolve mixers.
Fold the results.
(number_of_iterations_in_loop): Use number_of_iterations_exit.
* tree-ssa-loop-niter.c (simplify_using_outer_evolutions): New
function.
(number_of_iterations_exit): Use it.
2004-05-24 Dale Johannesen <dalej@apple.com>
* loop-invariant.c (find_defs): Add DF_EQUIV_NOTES.
2004-05-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (tree-ssa-loop-manip.o): Add cfglayout.h dependency.
* tree-flow.h (collect_defs, rename_variables_in_bb, rename_op,
allocate_new_names, free_new_names): Declaration removed.
(tree_duplicate_loop_to_exit): Declare.
* tree-ssa-loop-manip.c: Include cfglayout.h.
(collect_defs, rename_variables_in_bb, rename_op,
allocate_new_names, free_new_names): Made static.
(tdlte_rename_variables_in_loop, tdlte_copy_phi_nodes,
tree_duplicate_loop_to_exit_cfg, tree_duplicate_loop_to_exit):
Moved from tree-vectorizer.c.
* tree-vectorizer.c (vect_duplicate_loopm vect_copy_phi_nodes,
vect_rename_variables_in_loop, vect_tree_duplicate_loop): Moved
to tree-ssa-loop-manip.c and renamed.
2004-05-20 Olga Golovanevsky <olga@il.ibm.com>
Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_transform_loop): New parameter;
if bound is unknown, duplicates loop before vectorizing.
(vect_transfrom_loop_bound): New parameter; now deal with
symbolic loop bound.
(vect_analyze_loop_with_symbolic_num_of_iters)
(vect_duplicate_loop, vect_copy_phi_nodes)
(vect_rename_variables_in_loop, vect_tree_split_edge)
(vect_update_initial_conditions_of_duplicated_loop):
(vect_tree_duplicate_loop, vect_build_symbl_bound): New functions.
(new_loop_vec_info): Initialize the new field loop_vec_info:
symb_numb_of_iters.
* tree-vectorizer.h (loop_vec_info: symb_numb_of_iters): Added.
(LOOP_VINFO_SYMB_NUM_OF_ITERS): Added.
* cfgloopmanip.c (duplicate_loop): Made non-static.
* tree-ssa-loop-manip.c (collect_defs): Made non-static.
(allocate_new_names): Made non-static. Added option to allocate
for original loop or not.
(rename_op): Made non-static. Added input check.
(rename_variables_in_bb): Made mpm-static.
original loop were also renamed.
(free_new_names): release_ssa_name only if defs of original
loop were also renamed.
* cfgloop.h (duplicate_loop): Declare.
* tree-flow.h (collect_defs, allocate_new_names, rename_op)
(rename_variables_in_bb, free_new_names): Declare.
2004-05-20 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (first_iteration_non_satisfying_noev_ev,
first_iteration_non_satisfying_ev_noev,
first_iteration_non_satisfying_ev_ev): Check the assumptions returned
by number_of_iterations_cond.
2004-05-13 Devang Patel <dpatel@apple.com>
* cfgloop.c (get_loop_body_in_bfs_order): New.
(flow_loop_exit_edges_find): Set EDGE_LOOP_EXIT.
* cfgloop.h (get_loop_body_in_bfs_order): New.
2004-05-13 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* expr.c (expand_expr_real_1): Use REF_ORIGINAL information
from INDIRECT_REFS.
* tree-flow.h (force_gimple_operand, rewrite_address_base): Declare.
* tree-ssa-loop-ivopts.c (force_gimple_operand): Expand.
(add_address_candidates): Add candidates with constant offset
stripped.
(idx_remove_ssa_names, unshare_and_remove_ssa_names,
rewrite_address_base): New.
(rewrite_use_address): Use rewrite_address_base.
* tree-into-ssa.c (register_new_def): Remove unused code.
* tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
Handle invariants correctly.
* tree-cfg.c (tree_split_block): Do not modify the statements.
* tree.h (REF_ORIGINAL): New macro.
2004-05-12 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.c (chrec_evaluate): Use the type of the chrec
instead of integer_type_node when folding operations.
(chrec_apply): Factor chrec_type calls.
(chrec_eval_next_init_cond): Removed.
(chrec_convert): Don't propagate overflows introduced by convert.
* tree-chrec.h (chrec_eval_next_init_cond): Removed.
* tree-scalar-evolution.c (first_iteration_non_satisfying_noev_ev,
first_iteration_non_satisfying_ev_noev,
first_iteration_non_satisfying_ev_ev): Use number_of_iterations_cond
instead of computing the loop counts.
2004-05-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-invariant.c (find_invariant_insn): Handle trapping insns
correctly.
2004-05-10 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.h (build_chrec_top_type): Disabled, return chrec_top.
* tree-scalar-evolution.c (first_iteration_non_satisfying_noev_ev,
first_iteration_non_satisfying_ev_noev): Use the type of the chrec
instead of integer_type_node when folding operations.
(number_of_iterations_to_overflow): New.
(first_iteration_non_satisfying_ev_ev): Implement some cases.
(set_nb_iterations_in_loop): Return chrec_top on overflow.
(follow_ssa_edge_in_rhs): Handle type conversions "a = (type) rhs".
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
Convert the result of find_loop_niter_by_eval to the same type as niter
before comparing.
2004-05-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-iv.c (determine_max_iter, shorten_into_mode,
iv_number_of_iterations): Handle constants correctly.
* rtl.h (get_mode_bounds): Declaration changed. Duplicate declaration
removed.
* stor-layout.c (get_mode_bounds): Return a constant suitable for
a target mode.
2004-05-06 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.h (build_chrec_top_type): Check that the type has
min and max values before taking their values.
2004-05-06 Sebastian Pop <pop@cri.ensmp.fr>
* tree-chrec.h (build_chrec_top_type): New.
* tree-chrec.c (chrec_fold_multiply_ival_cst,
chrec_fold_multiply_ival_ival, chrec_fold_plus_1): Use
build_chrec_top_type instead of returning chrec_top.
* tree-data-ref.c (dump_data_dependence_relation): Don't dump
direction per subscript.
(analyze_array): Use an extra boolean parameter for the access
mode: read or write.
(analyze_array_top, finalize_ddr_dependent): New.
(compute_direction_vector, set_all_subscripts_to): Removed.
(initialize_data_dependence_relation): The dependence relation
is unknown when one of the references base name is NULL_TREE.
(subscript_dependence_tester, build_classic_dist_vector,
build_classic_dir_vector, compute_affine_dependence):
Use finalize_ddr_dependent.
(build_classic_dir_vector): When one of the directions is
dir_star, the subscript coupling cannot deduce independence.
(compute_all_dependences): Renamed compute_rw_wr_ww_dependences.
(compute_rw_wr_ww_dependences): Don't compute read-read
relations. Don't compute the reversed dependence relation.
(find_data_references_in_loop): Use analyze_array_top when the
MODIFY_EXPR contains a VUSE/VDEF that is not an ARRAY_REF.
* tree-data-ref.h (data_reference): Add a field is_read.
(DR_IS_READ): New.
(DDR_SUBSCRIPTS_VECTOR_FINALIZE): Removed.
(analyze_array): Change declaration.
* tree-vectorizer.c (vect_analyze_data_refs): Adapt the use of
analyze_array to the new prototype. Pass in the read or write
mode.
2004-04-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-niter.c: New file.
* Makefile.in (tree-ssa-loop-niter.o): New.
* cfgloop.h (struct loop): Add bounds field.
* df.c (df_reg_clobber_gen): Removed.
(df_bb_rd_local_compute, df_insn_refs_record, df_rd_local_compute):
Make more effective for hard regs.
* loop-invariant.c (check_maybe_invariant, find_defs,
find_invariant_insn): Handle hard regs.
* tree-chrec.c (chrec_fold_plus_poly_poly, chrec_fold_multiply,
chrec_fold_multiply, chrec_merge): Handle types correctly.
(chrec_convert): Use count_ev_in_wider_type.
* tree-chrec.h (count_ev_in_wider_type): Declare.
* tree-flow.h (struct tree_niter_desc): Moved from
tree-ssa-loop-ivopts.c.
(number_of_iterations_cond, number_of_iterations_exit,
loop_niter_by_eval, find_loop_niter_by_eval,
estimate_numbers_of_iterations, can_count_iv_in_wider_type,
free_numbers_of_iterations_estimates): Declare.
* tree-scalar-evolution.c (count_ev_in_wider_type, scev_reset,
simple_iv): New.
(number_of_iterations_in_loop): Check that the exit condition
is tested in every iteration.
* tree-scalar-evolution.h (scev_reset, simple_iv): Declare.
* tree-ssa-loop-ivcanon.c (MAX_ITERATIONS_TO_TRACK,
chain_of_csts_start, get_base_for, get_val_for,
loop_niter_by_eval, find_loop_niter_by_eval): Moved to
tree-ssa-loop-niter.c.
* tree-ssa-loop-ivopts.c (struct tree_niter_desc): Moved to
tree-flow.h.
(force_gimple_operand): Accept a variable for the target of
the assignment.
(create_iv, rewrite_use_nonlinear_expr,
rewrite_use_address, rewrite_use_compare,
rewrite_use_outer): Changed due to this.
(tree_ssa_iv_optimize_init): Call estimate_numbers_of_iterations.
(get_var_def): Removed.
(find_givs_in_stmt_scev): Use simple_iv.
(inverse, number_of_iterations_cond): Moved to tree-ssa-loop-niter.c.
(determine_number_of_iterations): Use number_of_iterations_exit.
(idx_find_step, find_interesting_uses_address): Use
can_count_iv_in_wider_type.
(force_var_cost): Determine the costs more precisely.
(tree_ssa_iv_optimize_finalize): Call
free_numbers_of_iterations_estimates.
(tree_ssa_iv_optimize_loop): Call scev_reset.
* varasm.c (force_const_mem): Set MEM_NOTRAP_P flag.
* config/rs6000/rs6000.c (rs6000_emit_move): Set MEM_NOTRAP_P flag.
2004-04-27 Sebastian Pop <pop@cri.ensmp.fr>
* lambda-code.c (build_int_cst): Moved...
* tree-data-ref.c (int_cst_value): Moved...
* tree-ssa-loop-ivopts.c (int_cst_value, build_int_cst): Moved...
* tree.c (int_cst_value, build_int_cst): ...here.
* tree.h (int_cst_value, build_int_cst): Declare.
* tree-chrec.h (is_chrec, symbolic_parameter_expr_p): Removed.
* tree-chrec.c (evolution_function_is_affine_multivariat): Check that
the left part is a polynomial before taking its variable.
* tree-elim-check.c (prove_truth_value): Update the use of
tree_is_* functions.
* tree-fold-const.h (tree_is_ge, tree_is_gt, tree_is_le, tree_is_lt,
tree_is_eq, tree_is_ne): Return true when decidable, and use a
parameter for returning the result.
* tree-scalar-evolution.c (types_forbid_solutions_p): Removed.
(first_iteration_non_satisfying_noev_noev,
first_iteration_non_satisfying_noev_ev,
first_iteration_non_satisfying_ev_noev): Update the use of
tree_is_* functions. Use no_evolution_in_loop_p instead of
evolution_function_is_constant_p. Extends the analyzer to
symbolic loop counts.
(first_iteration_non_satisfying): Factorize code.
2004-04-26 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* config/rs6000/altivec.md: Fix merge problem.
2004-04-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Merge from tree-ssa branch (lno-merge-20040425).
2004-04-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (force_gimple_operand): Strip useless type
conversions.
(number_of_iterations_cond): Fix typo.
(rewrite_use_address): Fix.
2004-04-23 Daniel Berlin <dberlin@dberlin.org>
* tree-loop-linear.c (linear_transform_loops): Add invariants array.
* lambda-code.c (gcc_tree_to_linear_expression): Change arguments
to include invariants array, and an int, instead of a bool.
Handle invariants.
(invariant_in_loop): New function.
(gcc_loop_to_lambda_loop): Add support for invariants as bounds,
and NE_EXPR tests.
(gcc_loopnest_to_lambda_loopnest): Add invariants argument,
init the invariants array, and pass it along to gcc_loop_to_lambda_loop.
(lle_to_gcc_expression): Handle invariants and simple linear offsets.
(lambda_loopnest_to_gcc_loopnest): Ditto.
Also use the right test if the step is negative.
2004-04-23 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (instantiate_parameters_1): Handle changed
semantics of analyze_scalar_evolution. Split off from ...
(instantiate_parameters): ... here.
2004-04-23 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (analyze_scalar_evolution_1): Keep
loop invariants in symbolic form. Use
compute_scalar_evolution_in_loop for expressions defined in subloops.
(chrec_contains_symbols_defined_in_loop): Check for non-strict
nestedness.
(compute_scalar_evolution_after_loop): Renamed back to
compute_overall_effect_of_inner_loop.
(follow_ssa_edge_inner_loop_phi, interpret_loop_phi):
Changed due to the renaming.
(get_scalar_evolution): Return chrec_not_analyzed_yet for complicated
expressions.
(compute_scalar_evolution_in_loop): Compute the evolution of the
expression returned by compute_overall_effect_of_inner_loop.
2004-04-22 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-elim-check.c (prove_truth_value_gt, prove_truth_value_lt,
prove_truth_value_le, prove_truth_value_ge, prove_truth_value_eq,
prove_truth_value_ne): Resurrect.
(prove_truth_value_symbolic): New. Disabled for the moment.
(prove_truth_value): Use it when this function fails on unknown.
(try_eliminate_check): Factorize the code.
* tree-scalar-evolution.c (compute_scalar_evolution_after_loop):
Fix the description comment.
2004-04-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-flow.h (linear_transform_loops): Prototype changed.
* tree-vectorizer.h (vectorize_loops): Ditto.
* tree-loop-linear.c (linear_transform_loops): Remove unused
argument.
* tree-vectorizer.c (vectorize_loops): Ditto.
* tree-scalar-evolution.c (scalar_evolution_info): Type changed
to hash table.
(new_scev_info_str): Use xmalloc instead of ggc_alloc.
(hash_scev_info, eq_scev_info, del_scev_info,
gather_stats_on_scev_database_1): New functions.
(find_var_scev_info, dump_chrecs_stats, gather_stats_on_scev_database,
scev_initialize, scev_finalize): Work with hash table instead of a
list.
(scev_elim_checks, scev_vectorize): Do not pass unused arguments to
functions.
2004-04-21 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-chrec.c (chrec_apply): Fail on chrec_top when the chrec
contains symbols defined in the inner loop. Otherwise perform
the computation with symbols.
(no_evolution_in_loop_p): Same. Moved from here...
* tree-chrec.h (no_evolution_in_loop_p): ...there. Define it inline.
(chrec_contains_symbols_defined_in_loop): Declare.
* tree-scalar-evolution.c (nb_set_scev, nb_get_scev): New counters.
(set_scalar_evolution, get_scalar_evolution): Count the number of calls.
(chrec_contains_symbols_defined_in_loop): Defined.
(compute_scalar_evolution_after_loop, first_iteration_non_satisfying_1,
analyze_scalar_evolution_in_loop): Initialize boolean values.
(dump_chrecs_stats): Dump the get/set counters.
2004-04-21 Sebastian Pop <sebastian.pop@ensmp.fr>
Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (compute_scalar_evolution_in_loop):
Use superloop_at_depth.
(analyze_scalar_evolution): Keep a symbolic form instead of
chrec_top.
2004-04-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (instantiate_parameters): Handle casts
correctly.
* tree-ssa-loop-manip.c (add_exit_phis_edge): Do not add unnecessary
phi nodes.
* tree-ssa-loop.c (tree_ssa_loop_opt): Do not call create_preheaders.
2004-04-20 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-scalar-evolution.c (scev_info_str, new_scev_info_str,
find_var_scev_info, set_scalar_evolution, get_scalar_evolution):
Store a single scalar evolution per definition.
(compute_overall_effect_of_inner_loop): Renamed
compute_scalar_evolution_after_loop.
(compute_scalar_evolution_in_loop): New.
(analyze_scalar_evolution): Use the helper function.
(analyze_scalar_evolution_1): Helper recursive function.
Avoid multiple set/get in the scev database when recursively called.
2004-04-20 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (vect_create_index_for_array_ref): Use create_iv
instead of creating iv's from scratch.
(vect_transform_loop_bound): Likewise.
2004-04-20 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-chrec.c (chrec_fold_multiply_ival_cst,
chrec_fold_multiply_ival_ival, chrec_fold_plus_1): When the fold
resulted in an overflow, conservatively answer chrec_top.
2004-04-20 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-chrec.c (chrec_fold_multiply_ival_cst): Compute the min
and max on the multiplication result.
(chrec_fold_negate): Removed.
* tree-chrec.h (chrec_fold_negate): Removed.
* tree-scalar-evolution.c (interpret_rhs_modify_expr):
Use chrec_fold_minus instead of chrec_fold_negate.
2004-04-20 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-chrec.h (evolution_function_is_constant_p): Be careful.
* tree-data-ref.c (analyze_siv_subscript_affine_affine): Renamed
analyze_subscript_affine_affine. Exchange the CHREC_VARIABLEs for
overlaps.
(analyze_miv_subscript): Use directly analyze_subscript_affine_affine,
and avoid the call to evolution_function_is_constant_p.
2004-04-20 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-chrec.c (chrec_apply): Fail on chrec_top for symbolic chrecs.
(no_evolution_in_loop_p): Return false when non decidable, use
a parameter for returning the result.
* tree-chrec.h (no_evolution_in_loop_p): Modify its declaration.
* tree-scalar-evolution.c (add_to_evolution, multiply_evolution):
Avoid the use of no_evolution_in_loop_p.
(add_to_evolution_1, multiply_evolution_1): New.
(multiply_by_expr_the_loop_evolution, add_expr_to_loop_evolution,
build_exponential_evolution_in_loop,
build_polynomial_evolution_in_loop): Removed.
(first_iteration_non_satisfying_1, analyze_scalar_evolution_in_loop):
Modify the use of no_evolution_in_loop_p.
* tree-ssa-loop-ivopts.c (find_givs_in_stmt_scev,
find_givs_in_stmt_scev): Check that the result of scev analysis
does not contain symbols.
2004-04-19 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (idx_contains_abnormal_ssa_name_p,
contains_abnormal_ssa_name_p): New functions.
(find_bivs, find_bivs, find_givs_in_stmt_scev):
Handle ssa names occuring in abnormal phis.
* tree-ssa-loop-im.c (movement_possibility): Ditto.
2004-04-18 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c (create_index_for_array_ref): Remove code under
#ifdef POINTER_ARITHMETIC.
(vect_create_data_ref): Likewise. Support array addressing
instead of pointer arithmetic in vectorized code.
2004-04-16 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Merge from tree-ssa branch:
2004-03-25 Diego Novillo <dnovillo@redhat.com>
* tree-ssa-alias.c (struct alias_info): Change type of field
'num_references' to varray_type. Update all users.
2004-04-15 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-into-ssa.c (struct mark_def_sites_global_data): Change type of
names_to_rename to sbitmap.
(insert_phi_nodes_for, insert_phi_nodes_1, insert_phi_nodes):
Allocate worklist globally.
(ssa_mark_def_sites_initialize_block, ssa_mark_phi_uses,
ssa_mark_def_sites, ssa_rewrite_initialize_block,
ssa_rewrite_phi_arguments, ssa_rewrite_stmt, rewrite_ssa_into_ssa):
Use sbitmaps instead of bitmaps.
2004-04-15 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-scalar-evolution.c (instantiate_parameters): Don't keep
symbols after instantiation. Fully instantiate parameters,
or fail on chrec_top.
2004-04-15 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-fold-const.h (chrec_merge_types): Move it...
* tree-chrec.c (multiply_int, divide_int, add_int, substract_int,
integer_divides_p, lcm, gcd, update_initial_condition_to_origin,
remove_initial_condition, ): Removed.
(evolution_function_in_loop_num): Renamed into
hide_evolution_in_other_loops_than_loop.
(hide_evolution_in_loop, hide_evolution_in_other_loops_than_loop): New.
(chrec_merge_types): ... here.
(chrec_merge): Answer chrec_top on EXPONENTIAL_CHREC.
(ziv_subscript_p, siv_subscript_p, analyze_ziv_subscript,
analyze_siv_subscript, analyze_siv_subscript_cst_affine,
analyze_siv_subscript_affine_cst, analyze_siv_subscript_affine_affine,
chrec_steps_divide_constant_p, analyze_miv_subscript,
analyze_overlapping_iterations): Moved from here...
* tree-chrec.h (evolution_function_in_loop_num): Rename declaration.
(hide_evolution_in_other_loops_than_loop, hide_evolution_in_loop): New.
(analyze_overlapping_iterations): No longer extern.
* tree-data-ref.c (ziv_subscript_p, siv_subscript_p,
analyze_ziv_subscript,
analyze_siv_subscript, analyze_siv_subscript_cst_affine,
analyze_siv_subscript_affine_cst, analyze_siv_subscript_affine_affine,
chrec_steps_divide_constant_p, analyze_miv_subscript,
analyze_overlapping_iterations): ... there.
(initialize_data_dependence_relation,
access_functions_are_affine_or_constant_p): Moved down.
(compute_all_dependences): Moved down. Now is static.
(build_classic_dir_vector): New.
(build_classic_dist_vector):
(find_data_references): Renamed find_data_references_in_loop.
Now is static.
(compute_data_dependences_for_loop): New.
(analyze_all_data_dependences): Use compute_data_dependences_for_loop.
* tree-data-ref.h (dd_info_available): Don't declare it extern.
* tree-scalar-evolution.c (dd_info_available): Declare static.
(select_outer_and_current_evolutions): Removed.
(stats_*): Move the static variables in the chrec_stats structure.
(chrec_stats): New structure.
(first_iteration_non_satisfying_1): In the multivariate case,
don't forget that the outer loops can change the number of iterations.
(cannot_analyze_loop_nb_iterations_yet): Removed.
(follow_ssa_edge_inner_loop_phi): Refine the case where the
evolution of the inner loop is symbolic.
(number_of_iterations_in_loop): Factor the end of the cases.
* tree-dg.c (classic_dist, classic_dir): Declared static.
(dg_delete_graph): Delete the classic_dist and classic_dir.
(dg_create_graph): Adapt to use compute_data_dependences_for_loop.
(gate_ddg, gate_delete_ddg, pass_ddg, pass_delete_ddg): Moved in
tree-scalar-evolution.c.
* tree-dg.h (dg_create_graph): Pass in struct loops.
2004-04-15 Dorit Naishlos <dorit@il.ibm.com>
* tree-data-ref.h (struct data_reference): New field "aux".
* tree-vectorizer.h (aligned_access_p, unknown_alignment_for_access_p):
New functions.
(DR_MISLAIGNMENT): New macro, for accessing the new 'aux' field in
data_reference.
* tree-vectorizer.c: (vect_analyze_data_refs_alignment): New function.
(vect_compute_data_refs_alignment): New function.
(vect_compute_data_ref_alignment): New function.
(vect_enhance_data_refs_alignment): New function.
(vect_force_dr_alignment_p): New function.
(vect_align_data_ref): Use new functions aligned_access_p and
vect_force_dr_alignment_p.
(vect_analyze_data_ref_access): Alignment related checks moved to new
functions that deal with alignment.
(vect_analyze_data_refs): Likewise.
(vect_analyze_loop): Call vect_analyze_data_refs_alignment.
2004-04-15 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-invariant.c (may_assign_reg_p): Prevent unused parameter
warning.
* tree-ssa-loop-manip.c (find_use_block, find_use_blocks,
defined_inside_loop_p): Removed.
(add_exit_phis_var, add_exit_phis, rewrite_into_loop_closed_ssa):
Make more efficient.
(find_uses_to_rename_use, find_uses_to_rename_stmt,
find_uses_to_rename): New functions.
2004-04-15 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-flow.h (compute_global_livein): Declare.
* tree-into-ssa.c (struct def_blocks_d): New field
phi_blocks.
(compute_global_livein): Export.
(set_def_block): Record phi_blocks.
(get_def_blocks_for): Allocate phi_blocks.
(mark_def_sites): Changed due to set_def_block change.
(ssa_mark_def_sites_initialize_block, ssa_mark_def_sites):
Make virtual defs be kills.
(insert_phi_nodes_for): Handle old phi nodes more efficiently.
(def_blocks_free): XFREE the bitmaps.
* tree-ssa-loop-manip.c (add_exit_phis_use, add_exit_phis_stmt):
Removed.
(get_loops_exits): Return bitmap.
(add_exit_phis_var, find_use_block, find_use_blocks,
defined_inside_loop_p): New functions.
(add_exit_phis): Use add_exit_phis_var.
(rewrite_into_loop_closed_ssa): Reorganize.
* tree-ssa-loop.c (pass_loop): Add garbage collection.
2004-04-14 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-chrec.c (chrec_convert): Handle extending correctly.
* tree-scalar-evolution.c (set_scev_keep_symbolic): Removed.
(set_scalar_evolution): Do not use it.
(get_scalar_evolution): Only handle ssa names and constants.
(interpret_loop_phi): When interpreting subloop, compute the
evolution in outer loop afterwards.
(analyze_scalar_evolution_in_loop): New.
* tree-scalar-evolution.h (analyze_scalar_evolution_in_loop): Declare.
* tree-ssa-loop-ivopts.c: Include tree-fold-const.h, tree-chrec.h
and tree-scalar-evolution.h.
(tree_ssa_iv_optimize_init): Call scev_initialize.
(determine_biv_step, find_bivs, mark_bivs,
find_givs_in_stmt): Use scev analyzer.
(find_givs_in_stmt_scev): New function.
(find_induction_variables): Remove TODO comment.
(force_var_cost): Test for TREE_INVARIANT, not for
is_gimple_min_invariant.
(find_optimal_iv_set): Update comment.
(tree_ssa_iv_optimize_finalize): Call scev_finalize.
2004-04-13 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa.c (raise_value): Removed.
(get_eq_name, check_phi_redundancy): New.
(kill_redundant_phi_nodes): Use standard algorithm.
2004-04-12 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-manip.c (allocate_new_names): Use duplicate_ssa_name.
Preserve SSA_NAME_OCCURS_IN_ABNORMAL_PHI flag.
2004-04-10 Daniel Berlin <dberlin@dberlin.org>
* lambda-code.c (lambda_loopnest_transform): Add comments.
2004-04-09 David Edelsohn <edelsohn@gnu.org>
Backport from mainline:
* config/rs6000/t-linux64 (bispecs): Don't add -mlong-double-128 for
32-bit builds when defaulting to 32-bit.
2004-04-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-iv.c (iv_number_of_iterations): Sign extend the constant value
appropriately for the target mode.
* tree-fold-const.c (tree_fold_gcd): Make more efficient.
* tree-ssa-loop-manip.c (add_exit_phis_use): Do not add unnecessary
phis.
(rewrite_into_loop_closed_ssa): Fix comment.
2004-04-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfgrtl.c (purge_dead_edges): Clean the EDGE_ABNORMAL_CALL flags.
* loop-iv.c (iv_number_of_iterations): Handle the case when we prove
that the loop does not roll.
* opts.c (decode_options): Enable -floop-optimize2 and
-ftree-loop-optimize by default.
* tree-cfg.c (factored_computed_goto_label,
factored_computed_goto): Removed.
(factor_computed_gotos): Do not record them.
(disband_implicit_edges): Do not unfactor computed jumps.
* tree-ssa-loop-ivopts.c (force_gimple_operand): Give correct types
to temporary variables.
(idx_force_simple, create_iv, rewrite_use_nonlinear_expr,
rewrite_use_address, rewrite_use_compare, rewrite_use_outer):
Changed due to force_gimple_operand change.
(find_bivs): Handle ill-typed assignments correctly.
2004-04-04 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* passes.c (rest_of_compilation): Enable rest_of_handle_loop2 by
flag_loop_optimize2.
* tree-scalar-evolution.c (scev_initialize): Find loop exits.
2004-04-02 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (rewrite_use_outer): Do not remove ssa names
prematurely.
2004-04-01 Mostafa Hagog <mustafa@il.ibm.com>
Dorit Naishlos <dorit@il.ibm.com>
* config/rs6000/rs6000.md ("*ctrsi_internal1", "*ctrsi_internal2",
"*ctrdi_internal1", "*ctrdi_internal2", "*ctrsi_internal3",
"*ctrsi_internal4", "*ctrdi_internal3", "*ctrdi_internal4",
"*ctrsi_internal5", "*ctrsi_internal6", "*ctrdi_internal5",
"*ctrdi_internal6"): Replace register_operand with nonimmediate_operand
2004-03-31 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-into-ssa.c (ssa_rewrite_initialize_block): Update
SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
(ssa_rewrite_phi_arguments): Ditto.
* tree-ssa.c (kill_redundant_phi_nodes): Prevent replacing
ssa names that occur in abnormal phi nodes.
* tree-ssa-loop-ivopts.c (get_var_def): Handle non-invariant
non-ssa name operands.
* java/decl.c (java_init_decl_processing): Initialize
long_integer_type_node.
2004-03-31 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (idx_find_step): Prevent misscompilation
in case the index overflows.
2004-03-31 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>,
Dorit Naishlos <DORIT@il.ibm.com>
* tree-scalar-evolution.c (dump_chrecs_stats): Prevent format warning.
2004-03-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* lambda-code.c (gcc_loop_to_lambda_loop): Changed due to changes in
scev.
* tree-data-ref.c (analyze_array_indexes, analyze_array): Ditto.
* tree-elim-check.c (try_eliminate_check): Ditto.
* tree-vectorizer.c (vect_analyze_scalar_cycles): Ditto.
* tree-chrec.c (chrec_fold_plus_1): Handle exponential + peeled chrec
correctly. Use correct types.
(chrec_fold_negate): New.
(chrec_merge): Short-circuit the case when the merged values are
identical.
(no_evolution_in_loop_p): Handle chrec_top correctly.
(chrec_convert): Handle polynomial and exponential chrecs corectly.
(chrec_type): Use TREE_TYPE.
* tree-chrec.h (chrec_fold_negate): Declare.
* tree-phinodes.c (create_phi_node): Do not initialize PHI_MARKED.
* tree-scalar-evolution.c: Handle evolutions analysed from different
loops correctly. Do not use PHI_MARKED. Use correct types.
* tree-scalar-evolution.h (analyze_scalar_evolution,
instantiate_parameters): Declaration changed.
(struct scev_info_str): Moved to tree-scalar-evolution.c.
(MI_VAR, MI_INNER_LOOPS_CHREC, MI_OUTER_LOOPS_CHREC): Removed.
(new_scev_info_str): Moved to tree-scalar-evolution.c.
* tree-ssa-loop-manip.c (add_exit_phis_use): Just add exit phis for
superloops of the loop containing the definition.
* tree.h (PHI_MARKED): Removed.
(tree_phi_node): Field 'marked' removed.
2004-03-30 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-chrec.c (chrec_contains_symbols): Factorize conditions,
chrec_not_analyzed_yet is a NULL_TREE.
* tree-chrec.h (prove_truth_value_{lt, le, ge, ne, gt, eq}.c):
Removed.
(evolution_function_is_multivariate,
evolution_function_is_peeled_affine_p): New.
* tree-data-ref.c (analyze_all_data_dependences): Dump some
statistics on the data dependences.
* tree-elim-check.c (not_code, prove_truth_value): New.
(try_eliminate_check): Use prove_truth_value.
* tree-fold-const.h (tree_is_ne): New.
* tree-scalar-evolution.c (types_forbid_solutions_p,
first_iteration_non_satisfying_noev_noev,
first_iteration_non_satisfying_noev_ev,
first_iteration_non_satisfying_ev_noev,
first_iteration_non_satisfying_ev_ev,
first_iteration_non_satisfying_1,
first_iteration_non_satisfying,
gather_stats_on_scev_database): New functions.
(nb_iterations_less, nb_iterations_eq, nb_iterations_ne): Removed.
(set_nb_iterations_in_loop): Be more careful on overflow.
(number_of_iterations_in_loop): Use first_iteration_non_satisfying.
* tree-scalar-evolution.h (first_iteration_non_satisfying,
gather_stats_on_scev_database): Declared.
2004-03-30 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (iv_value): Use correct type.
(may_eliminate_iv): Add a fixme comment.
2004-03-29 Devang Patel <dpatel@apple.com>
* tree-flow.h (tree_ssa_loop_version): Add new parameter, basic_block *.
(update_lv_condition): New.
* tree-ssa-loop-manip.c (copy_phi_nodes): nreverse copied phi nodes list
to ensure that phi nodes remain in same order.
(lv_update_pending_stmts): Do not nreverse pending list.
(lv_adjust_loop_header_phi): Walk two phi nodes list in parallel.
(tree_ssa_loop_version): Now condition_bb is input parameter.
(update_lv_condition): New.
(test_loop_versioning): Use update_lv_condition.
* tree-ssa-loop-unswitch.c (tree_unswitch_loop): Update function
tree_ssa_loop_version () call by adding 4th parameter.
2004-03-29 Richard Guenther <rguenth@tat.physik.uni-tuebingen.de>
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
Fix unused vars warning with -disable-checking.
* df.c (df_reg_def_chain_create, df_reg_use_chain_create): Ditto.
2004-03-27 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfghooks.c (split_edge): Update IRREDUCIBLE_LOOP flags.
* tree-flow-inline.h (bsi_after_labels): New.
* tree-flow.h (struct ssa_name_ann_d): Add need_phi_state field.
(bsi_after_labels, rewrite_ssa_into_ssa, duplicate_ssa_name,
tree_ssa_dce_no_cfg_changes, rewrite_into_loop_closed_ssa,
verify_loop_closed_ssa, compute_phi_arg_on_exit): Declare.
(tree_loop_optimizer_init): Declaration changed.
* tree-into-ssa.c (struct mark_def_sites_global_data): Add
names_to_rename and ssa_names fields.
(insert_phi_nodes, get_value_for, set_value_for, set_def_block,
set_livein_block, insert_phi_nodes_1, insert_phi_nodes_for,
register_new_def, get_reaching_def, rewrite_into_ssa): Handle
rewriting of ssa names.
(get_phi_state, set_phi_state, ssa_mark_def_sites_initialize_block,
ssa_mark_phi_uses, ssa_mark_def_sites, duplicate_ssa_name,
ssa_rewrite_initialize_block, ssa_rewrite_phi_arguments,
ssa_rewrite_finalize_block, ssa_rewrite_stmt, rewrite_ssa_into_ssa):
New functions.
* tree-scalar-evolution.c (scev_initialize): Changed due to
tree_loop_optimizer_init change.
* tree-ssa-dce.c (perform_tree_ssa_dce, perform_tree_ssa_dce,
tree_ssa_cd_dce): Handle no cfg changes mode.
(tree_ssa_dce_no_cfg_changes): Resurrect.
* tree-ssa-loop-im.c (move_computations): Preserve loop closed ssa.
* tree-ssa-loop-ivopts.c (struct version_info): Field outermost_usage
removed.
(update_outermost_usage, find_outermost_usage): Removed.
(ip_normal_pos): Fix.
(tree_ssa_iv_optimize_init): Do not call find_outermost_usage.
(find_interesting_uses_stmt): Use loop closed ssa form.
(find_interesting_uses_outside): New.
(find_interesting_uses): Use it.
(determine_iv_cost): Prefer IP_NORMAL to IP_END.
(split_loop_exit_edge, protect_loop_closed_ssa_form_use,
protect_loop_closed_ssa_form, compute_phi_arg_on_exit): New functions.
(rewrite_use_outer): Preserve loop closed ssa form.
(tree_ssa_iv_optimize): Verify loop closed ssa form.
* tree-ssa-loop-manip.c (mfb_redirect_exit_edges): Removed.
(free_new_names): Free old ssa names.
(extend_exit_phi_nodes, add_exit_phis_edge,
add_exit_phis_use, add_exit_phis_stmt, add_exit_phis,
get_loops_exits, rewrite_into_loop_closed_ssa,
check_loop_closed_ssa_use, check_loop_closed_ssa_stmt,
verify_loop_closed_ssa): New functions.
(tree_duplicate_loop_to_header_edge): Use loop closed ssa form.
(tree_ssa_loop_version): Handle irreducible loops correctly.
* tree-ssa-loop.c (tree_loop_optimizer_init): Create loop closed ssa
form.
(tree_ssa_loop_opt, copy_loop_headers): Changed due to
tree_loop_optimizer_init change.
2004-03-25 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-data-ref.c (subscript_dependence_tester): Removed.
(build_classic_dist_vector): Implement the subscript tester:
test for different distances carried by the same loop.
2004-03-23 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-cfg.c (print_loop): Modify dump formatting.
(debug_loop_ir): Renamed tree_debug_loops.
(tree_debug_loop): New.
* tree-chrec.c: Restructure for handling more carefully types.
* tree-chre.h: Same.
* tree-fold-const.h: Same.
* tree-fold-const.c: Same.
* tree-scalar-evolution.c: Same.
* tree-scalar-evolution.h: Same.
* tree-data-ref.c (dump_data_dependence_relation): Remove the
dump of the base_name because it produces too many conflicts in
the diffs of the testsuite.
(compute_all_dependences): Use pointers to the dependence_relations varray.
(int_cst_value, build_classic_dist_vector): New.
(find_data_references): Use pointers to datarefs varray.
(analyze_all_data_dependences): Compute the classic distances.
* tree-data-ref.h: Declare functions.
* tree-dg.c (dg_create_graph): Update the uses of the data-ref functions.
* tree-flow.h (debug_loop_ir): Renamed to tree_debug_loops.
(tree_debug_loop): Declare.
2004-03-23 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-flow.h (tree_ssa_dce_no_cfg_changes): Declaration removed.
* tree-ssa-dce.c (remove_dead_stmt): Invalidate dominators if we
thread the edge.
(tree_ssa_dce_no_cfg_changes): Removed.
(perform_tree_ssa_dce, tree_ssa_dce, perform_tree_ssa_dce): Remove
no cfg changes mode.
* tree-ssa-loop-ivopts.c (force_gimple_operand): Handle overflowed
constants.
(find_interesting_uses_outer_or_nonlin): New.
(find_interesting_uses_op, find_interesting_uses_outer): Use it.
(find_interesting_uses_cond, idx_record_use,
find_interesting_uses_stmt): Changed due to find_interesting_uses_op
change.
(create_new_iv, remove_statement, rewrite_use_nonlinear_expr,
rewrite_use_outer, tree_ssa_iv_optimize): Handle direct removal of
unused ivs.
(remove_unused_ivs): New.
(tree_ssa_iv_optimize_loop): Call it.
2004-03-23 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (SCEV_H): New.
(tree-ssa-loop-ivcanon.o, tree-ssa-loop-ivopts.o,
tree-scalar-evolution.o, tree-data-ref.o, tree-dg.o,
tree-elim-check.o, tree-vectorizer.o, tree-loop-linear.o,
lambda-code.o): Use it.
* tree-chrec.h (build_interval_chrec, build_polynomial_chrec,
build_exponential_chrec, build_peeled_chrec): Give a type to the
chrec node.
* tree-scalar-evolution.c (follow_ssa_edge_in_rhs): Preserve correct
type.
(analyze_evolution_in_loop): Fix test for edges from inside the loop.
(scev_initialize): New.
(scev_init): Use it.
(scev_finalize): New.
(scev_done): Use it.
* tree-flow-inline.h (loop_of_stmt): Handle initialization statements
without crash.
* tree-scalar-evolution.h (scev_initialize, scev_finalize): Declare.
2004-03-23 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: (vect_align_data_ref): Check for DECL_ALIGN
instead of TYPE_ALIGN. Check for DECL_EXTERNAL.
(vect_analyze_data_refs): Check for DECL_EXTERNAL.
Add documentation for functions.
2004-03-22 Dale Johannesen <dalej@apple.com>
* Makefile.in (OBJS-common): Remove duplicate loop-iv.o.
2004-03-22 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c: Avoid usage of global variables.
2004-03-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-unswitch.o: New file.
* Makefile.in (tree-ssa-loop-unswitch.o): Add.
(tree-ssa-loop-im.o): Add flags.h dependency.
* flags.h (flag_unswitch_loops): Declaration moved from ...
* toplev.h (flag_unswitch_loops): ... here.
* tree-flow.h (tree_ssa_loop_version): Declaration changed.
(tree_ssa_unswitch_loops, estimate_loop_size): Declare.
* tree-ssa-loop-im.c: Include flags.h.
(movement_possibility, stmt_cost, move_computations_stmt):
Handle unswitchable conditions.
* tree-ssa-loop-ivcanon.c (estimate_loop_size): Export.
* tree-ssa-loop-ivopts.c (find_interesting_uses_cond): Handle
if (0) and if (1).
* tree-ssa-loop-manip.c (tree_ssa_loop_version): Return the newly
created loop.
* tree-ssa-loop.c (tree_ssa_loop_opt): Call tree_ssa_unswitch_loops.
2004-03-20 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Merge from tree-ssa branch (lno-merge-20040321).
2004-03-20 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: (vect_init_vector): New function.
(vect_get_vec_def_for_operand): Support loop invariant uses.
(vect_is_simple_use): Likewise.
(vect_mark_stmts_to_be_vectorized): Likewise.
(vect_analyze_scalar_cycles): Redundant check removed.
(vect_analyze_operations): Don't fail for vdefs that have uses
outside the loop.
(vect_stmt_relevant_p): A call to get_stmt_operands removed (already
performed at new_loop_vec_info).
(vect_mark_stmts_to_be_vectorized): Likewise.
(need_imm_uses_for): New Function.
(vectorize_loops): Add call to compute_immediate_uses and free_df.
2004-03-20 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-chrec.c (chrec_fold_multiply_ival_cst): Handle negative
constants correctly.
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
Enable use of scev.
2004-03-20 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
PR optimization/14658
* loop-invariant.c (move_invariant_reg): Handle assignments
with nontrivial lhs correctly.
2004-03-18 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* df.c (df_reg_def_chain_create, df_reg_use_chain_create): Do not clean
up the old information here.
(df_reg_def_chain_clean, df_reg_use_chain_clean): New.
(df_analyse_subcfg): Call them.
2003-03-18 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-flow.h (loop_commit_inserts): Declare.
* tree-ssa-loop-im.c (commit_inserts): Rename to...
(loop_commit_inserts): ... this.
* move_computations (move_computations, determine_lsm): Use
loop_commit_inserts.
* tree-ssa-loop-ivopts.c (AVG_LOOP_NITER): New macro.
(struct iv): New field use_id.
(struct version_info): New field preserve_biv.
(alloc_iv, record_use, free_loop_data): Initialize new fields.
(enum use_type): Add USE_OUTER.
(dump_use, find_interesting_uses_op, add_derived_ivs_candidates,
determine_use_iv_cost, rewrite_use): Handle USE_OUTER.
(dump_cand, find_interesting_uses_stmt, add_candidate_1,
determine_use_iv_cost_condition, determine_iv_cost, set_cost,
create_new_iv, rewrite_use_nonlinear_expr): Handle final value
replacement.
(find_interesting_uses_outer, add_iv_outer_candidates,
may_replace_final_value, determine_use_iv_cost_outer,
remove_statement, rewrite_use_outer): New functions.
(var_at_use): Replaced by ...
(var_at_stmt): ... this.
(get_computation_at): Split from ...
(get_computation): ... here.
(get_computation_cost_at): Split from ...
(get_computation_cost): ... here.
(iv_value): Split from ...
(cand_value_at): ... here.
(may_eliminate_iv, rewrite_use_compare): Reflect these changes.
(tree_ssa_iv_optimize_loop): Call loop_commit_inserts.
* tree-ssanames.c (make_ssa_name): Handle NULL argument.
2003-03-18 Devang Patel <dpatel@apple.com>
* tree-ssa-live.c (new_tree_live_info): Set num_blocks to
last_basic_block instead of n_basic_blocks.
(calculate_live_on_entry): Use last_basic_block instead of
n_basic_blocks.
(calculate_live_on_exit): Same.
2004-03-17 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-cfg.c (thread_jumps): Don't thread jumps over loop headers.
* tree-flow.h (rewrite_into_ssa): Declaration changed.
(kill_redundant_phi_nodes, tree_loop_optimizer_init): Declare.
* tree-optimize.c (execute_todo): Do not free vars_to_rename.
(execute_one_pass): Do not allocate vars_to_rename.
(tree_rest_of_compilation): Allocate vars_to_rename.
* tree-scalar-evolution.c (number_of_iterations_in_loop): Handle
loops exited when condition is true.
(initialize_scalar_evolutions_analyzer): Use tree_loop_optimizer_init.
* tree-ssa-chrec.c (how_far_to_positive): Handle chrec_top correctly.
* tree-ssa-dom.c (tree_ssa_dominator_optimize): Changed due to
rewrite_into_ssa change.
* tree-ssa-loop-im.c (move_computations, determine_lsm): Ditto.
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
Use scev analyser.
* tree-ssa-loop-manip.c (allocate_new_names): Update name memory
tags.
* tree-ssa-loop.c (tree_loop_optimizer_init): New.
(tree_ssa_loop_opt, copy_loop_headers): Use it.
* tree-ssa.c (rewrite_into_ssa): Use argument to decide whether
to rename all variables.
(rewrite_all_into_ssa): New.
(pass_build_ssa): Use it.
(kill_redundant_phi_nodes): Export.
2004-03-15 Andrew Pinski <pinskia@physics.uc.edu>
* tree-ssa-return.c (tree_ssa_return):
Move check for NULL return value above check
for a modify expr.
2004-03-13 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (gate_scev_iv_canon): Do not check rtl
level flags here.
* tree-ssa-loop-ivcanon.c (get_base_for): Verfify that the argument
of the phi node is a constant.
(loop_niter_by_eval, create_canonical_iv, try_unroll_loop_completely,
canonicalize_loop_induction_variables): Handle loops with more than
one exit.
(find_loop_niter_by_eval): New.
(canonicalize_induction_variables): Check rtl level flags here.
2004-03-12 Andrew Pinski <pinskia@physics.uc.edu>
* tree-ssa-return.c (tree_ssa_return):
Only do it when we have a modify expr.
* tree-ssa-return.c (tree_ssa_return):
Add new comments and fix some old ones.
2004-03-12 Falk Hueffner <falk@debian.org>
* tree-pass.h: Declare pass_return.
2004-03-11 Andrew Pinski <apinski@apple.com>
PR optimization/14135
* tree-ssa-return.c: New file.
* Makefile.in (tree-ssa-return.o): Add.
* tree-optimize.c (init_tree_optimization_passes): Add
pass_return.
* timevar.def (TV_TREE_RETURN): New.
2004-03-12 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivcanon.o: New file.
* Makefile.in (tree-ssa-loop-ivcanon.o): Add.
* flags.h (flag_unroll_loops): Declare.
* loop-invariant.c (record_use): Fix.
* params.def (PARAM_MAX_COMPLETELY_PEELED_INSNS): Increment.
* timevar.def (TV_TREE_LOOP_IVCANON): New.
* toplev.h (flag_unroll_loops): Declaration moved to flags.h.
* tree-flow.h (enum tree_ann_type): Remove MISC_ANN.
(struct tree_ann_common_d): Add aux field.
(struct misc_ann_d): Removed.
(struct stmt_ann_d): Removed aux field.
(union tree_ann_d): Removed misc field.
(canonicalize_induction_variables): Declare.
* tree-optimize.c (init_tree_optimization_passes): Add
pass_scev_iv_canon.
* tree-pass.h (pass_scev_iv_canon): Declare.
* tree-scalar-evolution.c (scev_iv_canon, gate_scev_iv_canon,
pass_scev_iv_canon): New.
(scev_done): Run cfg cleanup.
* tree-ssa-loop-im.c (LIM_DATA, determine_invariantness_stmt,
move_computations_stmt, schedule_sm): Use aux field in common
part of annotations.
* tree-ssa-loop-manip.c (allocate_new_names, rename_op,
free_new_names): Use common aux field.
(tree_duplicate_loop_to_header_edge): Fix memory leak.
* tree-ssa.c (mark_def_sites): Fix.
* tree-vectorizer.h (set_stmt_info, vinfo_for_stmt): Use aux field in
common part of annotations.
* gcc.dg/tree-ssa/ivcanon-1.c: New test.
2004-03-11 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (lambda-mat.o, lambda-trans.o, lambda-code.o): Add TM_H
dependency.
2004-03-09 Olga Golovonevsky <olga@il.ibm.com>
Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: (vect_transform_binop): Removed.
(vect_transform_op): New function instead of vect_transform_binop,
to support both unary and binary operations.
(vect_is_supportable_binop): Removed.
(vect_is_supportable_op): New function instead of
vect_is_supportable_binop to support additional codes.
* tree-vectorizer.h: (operation_type): New enum type declared.
* config/rs6000/altivec.md: (andvv16qi3, andv8hi3, one_cmplv16qi2,
one_cmplv8hi2, one_cmplv4si2, iorv16qi3, iorv8hi3,): New modelling.
(*movv4si_internal): Relax condition.
(*movv8hi_internal1): Likewise.
(*movv16qi_internal1): Likewise.
(*movv4sf_internal1): Likewise.
2004-03-09 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (df.o): Remove FIBHEAP_H dependency.
(invariant.o): Add df.h dependency.
* df.c: Do not include fibheap.h.
(df_bb_table_realloc, df_analyse_subcfg, free_reg_ref_chain,
prune_to_subcfg, df_bb_modify, df_find_def, dataflow_set_a_op_b,
dataflow_set_copy): New functions.
(df_bitmaps_alloc, df_reg_def_chain_create, df_reg_use_chain_create,
df_refs_update, df_reg_table_realloc, df_ref_create,
df_bb_reg_def_chain_create, df_bb_reg_use_chain_create,
df_bb_rd_local_compute, df_bb_ru_local_compute, df_bb_lr_local_compute,
df_analyse_1, df_insn_modify): Support analysing only a part of the cfg.
(df_rd_transfer_function, df_ru_transfer_function,
df_lr_transfer_function): Type of bitmaps changed to void *.
(hybrid_search_bitmap, hybrid_search_sbitmap): Merge into ...
(hybrid_search): ... new function.
(iterative_dataflow_bitmap, iterative_dataflow_sbitmap): Merge into ...
(iterative_dataflow): ... new function. Avoid use of fibheaps for
a worklist. Do not process basic blocks unnecessarily.
* df.h (struct ref): Add data field.
(DF_REF_DATA): New macro.
(df_analyse_subcfg, df_find_def): Declare.
(transfer_function_sbitmap, transfer_function_bitmap): Replaced by ...
(transfer_function): ... declare.
(iterative_dataflow_sbitmap, iterative_dataflow_bitmap): Replaced by ...
(iterative_dataflow): ... declare.
(enum set_representation, struct dataflow): New.
* loop-invariant.c: Include df.h.
(struct loop_data): Remove modified_regs field.
(struct def): Remove redundant fields.
(struct use): Add insn field.
(defs, adef, last_def, m_reg_info, reg_info): Removed.
(struct reg): Removed.
(record_def, note_insn_stores, find_defs_insn, find_defs_bb,
get_current_def, record_dependencies_fer, record_dependencies,
move_actual_defs): Removed.
(find_defs, find_invariants_insn, create_new_invariant,
find_invariants_bb, find_invariants_body, find_invariants,
find_invariants_to_move, move_invariant_reg,
move_invariants, move_single_loop_invariants,
move_loop_invariants): Use df.c.
(init_inv_motion_data): Do not initialize removed structures.
(free_inv_motion_data, free_loop_data): Do not cleanup removed
structures.
(check_dependencies, find_invariant_insn, record_uses): New.
(record_use): Record the insn.
(get_inv_cost): Update comments.
2004-03-09 Andreas Jaeger <aj@suse.de>
* common.opt: Put tree-loop-linear at right place.
2004-03-09 Daniel Berlin <dberlin@dberlin.org>
* Makefile.in: Add lambda-mat.o, lambda-code.o, and tree-loop-linear.o.
* common.opt: Add -ftree-loop-linear.
* flags.h: Add flag_tree_loop_linear.
* opts.c: Handle tree-loop-linear option.
* timevar.def (TV_TREE_LINEAR_TRANSFORM): New.
* tree-flow.h (linear_transform_loops): New prototype.
* tree-optimize.c (pass_scev_linear_transform): New.
* tree-pass.h (pass_scev_linear_transform): Ditto.
* tree-scalar-evolution.c (scev_linear_transform): Ditto.
(gate_scev): Add check for flag_tree_loop_linear.
(gate_scev_linear_transform): New.
* lambda-code.c: New file.
* lambda-mat.c: New file.
* lambda-trans.c: New file.
* lambda.h: New file.
* tree-loop-linear.c: New file.
2004-03-09 Andrew Pinski <pinskia@physics.uc.edu>
* tree-ssa-phiopt.c (conditional_replacement):
Initialize new_var to NULL to prevent the
uninitialized warning.
* tree-ssa-phiopt.c (conditional_replacement):
Disable the making a new variable for different
types.
* tree-ssa-phiopt.c (conditional_replacement):
Disable the use of non-gimple of invert_truthvalue.
2004-03-08 Andrew Pinski <apinski@apple.com>
* tree-ssa-phiopt.c (make_temp): New function.
(tree_ssa_phiopt): Use absolute_replacement
and value_replacement.
(conditional_replacement): Handle the case
the conditional is not a variable and
the types do not match.
Handle the case where invert_truthvalue
would create non-gimple.
(absolute_replacement): New function.
(value_replacement): New function.
2004-03-08 Sebastian Pop <sebastian.pop@ensmp.fr>
* tree-scalar-evolution.c (set_scalar_evolution,
set_scalar_evolution_outer_value): Compute the loop number
instead of passing it as a parameter.
2004-03-04 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-live.c (coalesce_tpa_members): Update the root
variable of the partition.
2004-03-03 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (enum iv_position): Add IP_ORIGINAL.
(struct iv_cand): Add incremented_at.
(dump_cand, add_candidate_1, add_candidate, add_old_iv_candidates,
var_at_use, get_computation, get_computation_cost,
cand_value_at, determine_iv_cost, find_best_candidate,
create_new_iv): Handle IP_ORIGINAL.
(stmt_after_ip_original_pos, stmt_after_increment): New functions.
(find_givs_in_stmt): Cast the values to the result type.
(record_invariant): Do not record virtual operands.
2004-03-03 Daniel Berlin <dberlin@dberlin.org>
* tree-scalar-evolution.c: Use pointers to varray instead of
varrays for functions that insert in the scev database.
2004-03-03 Sebastian Pop <sebastian.pop@ensmp.fr>
* Makefile.in (OBJS-common): Add tree-elim-check.o.
(tree-chrec.o): Add dependence on tree-pass.h.
(tree-elim-check.o): New rule.
* tree-elim-check.c: New file.
* basic-block.h (edge_source, edge_destination): New inlined
functions.
* cfgloop.h (loop_nb_iterations): Added a comment on the use
of this accessor.
* common.opt (ftree-elim-checks): New flag.
* flags.h (flag_tree_elim_checks): Declared here.
* opts.c (decode_options): Set flag_tree_elim_checks to zero.
(common_handle_option): Add case OPT_ftree_elim_checks.
* timevar.def (TV_TREE_ELIM_CHECKS): Defined.
* toplev.c (flag_tree_elim_checks): Defined.
* tree-cfg.c (print_pred_bbs, print_succ_bbs, print_loop):
Modify the dumping style. Print nb_iterations.
* tree-chrec.c, tree-chrec.h, tree-scalar-evolution.c,
tree-scalar-evolution.h, tree-data-ref.c: New version of the
scalar evolution algorithm. Don't use a schedule for
analyzing the scalar variables.
* tree-fold-const.c (tree_fold_bezout): Define.
* tree-fold-const.h (tree_fold_int_round_div,
tree_fold_int_trunc_mod, tree_fold_int_ceil_mod,
tree_fold_int_floor_mod, tree_fold_int_round_mod): Removed, because
not used for the moment.
(chrec_merge_types): New function.
* tree-optimize.c (pass_scev_elim_checks): Register the pass.
* tree-pass.h (pass_scev_elim_checks): Declare the pass.
* tree-pretty-print.c (dump_generic_node): Print
PEELED_CHREC. Remove PERIODIC_CHREC.
* tree-vectorizer.c: Modify the use of
analyze_scalar_evolution.
* tree.def (POLYNOMIAL_CHREC, EXPONENTIAL_CHREC): Store the
evolution loop in a third leaf instead of in TREE_TYPE.
TREE_TYPE is then used in storing the type of the chrec.
(PERIODIC_CHREC): Removed since it is not used for the moment.
(PEELED_CHREC): New node.
* doc/invoke.texi (fdump-tree-scev, fdump-tree-ddall): Correct
the name of these flags.
(ftree-elim-checks, fdump-tree-elck): Document.
2004-03-02 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (number_of_iterations_cond, cand_value_at):
Cast the constants.
2004-03-01 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (tree-ssa-loop-ivopts.o): Add HASHTAB_H dependency.
* tree-ssa-loop-ivopts.c: Include hashtab.h.
(old_highest_ssa_version): Rename to version_info_size.
(struct tree_niter_desc): Split from ...
(struct loop_data): ... here.
(relevant): New variable.
(tree_ssa_iv_optimize_init, set_iv, find_induction_variables,
record_invariant, find_interesting_uses, add_old_ivs_candidates,
determine_set_costs, free_loop_data, tree_ssa_iv_optimize_finalize):
Use bitmap of relevant ssa names.
(var_at_use): New function.
(get_computation): Use it.
(multiply_by_cost): Cache all results.
(mbc_entry_hash, mbc_entry_eq): New functions.
(number_of_iterations_cond): Split from ...
(determine_number_of_iterations): ... here.
(cand_value_at, may_eliminate_iv): New functions.
(determine_use_iv_cost_condition, rewrite_use_compare): Implement iv
elimination.
2004-03-01 Devang Patel <dpatel@apple.com>
* tree-dg.c (dg_delete_graph): Reset varrays.
(gate_ddg) : Check current loops.
2004-02-27 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-cfg.c (cleanup_control_expr_graph): Prevent probability from
overflowing.
* loop-invariant.c (get_current_def): Fix.
* tree-ssa-loop-im.c (move_computations): Only call rewrite_into_ssa
if vars_to_rename is nonempty.
* tree-ssa-loop-ivopts.c (outermost_usage, ivs): Removed.
(struct version_info): New.
(version_info, max_inv_id): New variables.
(struct cost_pair): Added depends_on field.
(struct iv_use): Removed fields choices, n_choices, min_cost and
min_cost_cand.
(enum iv_position, dump_cand, ip_end_pos, add_candidate_1,
determine_iv_cost, create_new_iv): IP_START position disabled.
(find_optimal_iv_set_1, min_remaining_cost, undo_changes,
execute_removal, add_forbidden_ivs, try_candidate): Removed.
(dump_use): Do not dump removed fields.
(ver_info, name_info, update_outermost_usage, record_invariant,
find_invariants_stmt, find_depends, try_improve_iv_set): New functions.
(find_outermost_usage): Handle uses in phis.
(divide): Update comment.
(tree_ssa_iv_optimize_init): Initialize version_info instead of ivs
and outermost_usage.
(set_iv, get_iv, find_induction_variables, add_old_ivs_candidates):
Use version_info instead of ivs.
(record_use): Do not initialize removed fields.
(find_interesting_uses_op): Call record_use.
(find_interesting_uses_stmt): Call find_invariants_stmt.
(find_interesting_uses): Scan just the current loop.
(set_use_iv_cost): Initialize depends_on field.
(get_use_iv_cost): Return depends_on field.
(get_computation): Handle special cases.
(force_var_cost, split_address_cost, ptr_difference_cost,
difference_cost, get_computation_cost, determine_use_iv_cost_generic,
determine_use_iv_cost_address, determine_use_iv_cost_condition):
Determine depends_on bitmap.
(determine_use_iv_costs): Dump depends_on bitmap.
(init_set_costs): Use information about invariants.
(find_best_candidate, set_cost, get_initial_solution,
find_optimal_iv_set): Take depends_on into account.
(rewrite_uses): Use use->selected to select candidate.
(free_loop_data, tree_ssa_iv_optimize_finalize): Cleanup version_info
instead of ivs. Free depends_on bitmaps.
(tree_ssa_iv_optimize_loop): Do not pass iv_set to rewrite_uses.
2004-02-27 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfgloopmanip.c (loopify): Fix comment.
* loop-iv.c (lowpart_byte, lowpart_subreg_p): Removed.
(lowpart_subreg, simple_reg_p, iv_get_reaching_def, get_biv_step_1,
iv_analyse_op, iv_analyse, get_iv_value): Use standard subreg
manipulation functions.
(simplify_using_assignment): Handle hardregs correctly.
(canon_condition): Use swap_commutative_operands_p.
(iv_number_of_iterations): Avoid overflow.
* loop-unroll.c (unroll_loop_runtime_iterations): Pass additional
argument to compare_and_jump_seq.
* loop-unswitch.c (unswitch_loop, may_unswitch_on,
unswitch_single_loop, compare_and_jump_seq): Handle comparisons of
ccmode registers.
* rtl.h (compare_and_jump_seq): Declaration changed.
2004-02-25 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.h (assignment_vec_info_type): New enum value for
stmt_vec_info_type.
* tree-vectorizer.c (vect_transform_assignment): New function.
Support vectorization of assignment stmts.
(vect_transform_stmt): Call vect_transform_assignment.
(vect_is_supportable_assignment): New function.
(vect_analyze_operations): Call vect_is_supportable_assignment.
(vect_create_index_for_array_ref): Replace unsigned_intSI_type_node
with size_type_node.
(vect_transform_loop_bound): Likewise.
(get_vectype_for_scalar_type): Avoid division by 0.
(vect_analyze_operations): Apply check for no-out-of-loop-uses also
to stmts that are marked irrelevant.
2004-02-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-flow.h (for_each_index): Declare.
* tree-ssa-loop-im.c (struct lim_aux_data): Add always_executed_in
and sm_done fields.
(struct use): New.
(max_uid): New static variable.
(outermost_invariant_loop, commit_inserts, may_move_till,
force_move_till, record_use, free_uses, single_reachable_address,
rewrite_uses, schedule_sm, determine_lsm_reg,
loop_suitable_for_sm, determine_lsm_loop, determine_lsm): New functions.
(add_dependency): Use outermost_invariant_loop.
(set_level): Add sanity checking.
(determine_invariantness_stmt): Set always_executed_in field.
(move_computations_stmt): Modified.
(move_computations): Use commit_inserts.
(fill_always_executed_in): Take possibility of an infinite loop into
account.
(tree_ssa_lim): Call determine_lsm.
* tree-ssa-loop-ivopts.c (for_each_index): Export.
(rewrite_use_address): Improve handling of memory tags.
* tree-ssa-loop.c (do_while_loop_p): Readd.
(copy_loop_headers): Readd check for do_while_loop_p.
* tree-ssa-operands.c (add_stmt_operand): Modified.
2004-02-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Merge from tree-ssa branch (lno-merge-20040221).
2004-02-20 Devang Patel <dpatel@apple.com>
* tree-vectorizer.c (vect_analyze_data_ref_dependence): Use
ddg_direction_between_stmts ().
2004-02-20 Devang Patel <dpatel@apple.com>
* tree-data-ref.h (data_dependence_direction): Add new member
dir_independent.
* tree-dg.h (tree-data-ref.h): Include.
(ddg_direction_between_stmts, ddg_distance_between_stmts): New decls.
* tree-dg.c (find_ddr_between_stmts, ddg_direction_between_stmts,
ddg_distance_between_stmts): New functions.
2004-02-19 Devang Patel <dpatel@apple.com>
* tree-dg.c (dg_delete_edges, dg_delete_node, dg_delete_graph,
dg_delete_edge, gate_delete_ddg): New functions.
(pass_delete_ddg): New.
* tree-dg.h (dg_delete_graph, dg_delete_edge): New extern decls.
* tree-optimize.c (init_tree_optimization_passes): Add new pass
pass_delete_ddg.
* tree-pass.h (pass_delete_ddg): New extern.
2004-02-19 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-flow.h (create_iv): Declare.
* tree-ssa-loop-ivopts.c (create_iv): New function.
(create_new_iv): Use create_iv.
2004-02-19 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop.c (do_while_loop_p): New function.
(copy_loop_headers): Do not peel do-while loops.
2004-02-19 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-invariant.c: New file.
* Makefile.in (loop-invariant.o): New.
* cfgloop.h (init_set_costs, global_cost_for_size,
move_loop_invariants): Declare.
* toplev.c (rest_of_handle_loop2): Call move_loop_invariants.
(lang_dependent_init): Call init_set_costs.
* tree-ssa-loop-ivopts.c (avail_regs, res_regs, small_cost, pres_cost,
spill_cost): Made static.
(global_cost_for_size): Export.
(ivopts_global_cost_for_size, init_set_costs): New functions.
(determine_set_costs): Do not initialize set cost constants.
Use ivopts_global_cost_for_size.
(try_candidate, find_optimal_iv_set_1, set_cost): Use
ivopts_global_cost_for_size.
* cfgloop.c (fill_sons_in_loop): Fix typo in comment.
2004-02-17 Devang Patel <dpatel@apple.com>
* tree-vectorize.c (vect_create_data_ref): Set TREE_ADDRESSABLE bit.
(vectorize_loops): Reset loop->aux.
2004-02-16 Devang Patel <dpatel@apple.com>
* Makefile.in (TREE_FLOW_H): Add tree-dg.h
(OBJS-common): Add tree-dg.o
(gtype-desc.o): Depend on tree-dg.h
(tree-dg.o): New rule.
(GTFILES): Add tree-data-ref.h, tree-data-ref.h
* common.opt (ftree-ddg): Add new option.
* flags.h (flag_ddg): New extern.
* gengtype.c (open_base_files): Add tree-dg.h and tree-data-ref.h in
the list.
* opts.c (decode_option): Set flag_ddg to zero.
(common_handle_option): Handle OPT_ftree_ddg.
* timevar.def (TV_DEP_GRAPH): New.
* toplev.c (flag_ddg): New flag.
(lang_independent_options): Add entry for -ftree-ddg.
* tree-data-ref.c (compute_all_dependences): Make externally visible.
* tree-data-ref.h (data_reference, subscript, data_dependence_relation)
Add GTY markers.
(compute_all_dependences): Make externally visible.
* tree-dg.c: New file.
* tree-dg.h: New file.
* tree-flow-inline.h (dg_node_for_stmt): New function.
* tree-flow.h (tree-dg.h): Include.
(stmt_ann_d): New member, dg_node.
* tree-optimize.c (init_tree_optimization_passes): Add pass_ddg.
* tree-pass.h (PROP_scev): Define.
(tree_opt_pass pass_ddg): Extern decl.
* tree-scalar-evolution.c (pass_scev_anal): Provide PROP_scev property.
* varray.c (element[NUM_VARRAY_DATA]): Add new member for dependence
graph.
* varray.h (varray_data_enum): New member VARRAY_DATA_DG.
(varray_data_tag): New member dg.
(VARRAY_DG_INIT): New #define.
(VARRAY_DG): New #define.
(VARRAY_PUSH_DG): New #define.
2004-02-12 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-optimize.c (init_tree_optimization_passes): Move ch after
the first dominator optimization pass.
* tree-ssa-loop.c (should_duplicate_loop_header_p,
copy_loop_headers): Work over ssa.
(pass_ch): Require and update ssa form.
(mark_defs_for_rewrite, duplicate_blocks): New.
2004-02-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (for_each_index, prepare_decl_rtl,
peel_address): Handle RESULT_DECL.
2004-02-10 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-doloop.c (doloop_optimize): Use get_simple_loop_desc.
* loop-init.c (loop_optimizer_finalize): Free the simple loop
descriptions.
* loop-unroll.c (unroll_and_peel_loops): Do not free the simple loop
descriptions.
(decide_peel_once_rolling, decide_peel_completely,
decide_unroll_stupid): Test assumptions.
decide_unroll_constant_iterations, decide_unroll_runtime_iterations,
decide_peel_simple, peel_loop_simple, unroll_loop_stupid): Update
number of iterations info.
(unroll_loop_constant_iterations, unroll_loop_runtime_iterations,
(loop_exit_at_end_p): Use get_simple_loop_desc.
2004-02-08 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfgloop.h (struct niter_desc): Add first_special, extend,
extend_mode, delta and mult fields.
(get_iv_value): Declare.
* expr.c (force_operand): Handle subregs of expressions.
* loop-doloop.c (doloop_valid_p): Test desc->infinite properly.
* loop-iv.c (dump_iv_info): Dump new fields.
(lowpart_byte, lowpart_subreg_p, lowpart_subreg,
iv_constant, iv_subreg, iv_extend, iv_neg, iv_add, iv_mult,
get_biv_step_1, get_biv_step, shorten_into_mode,
canonicalize_iv_subregs): New functions.
(simple_reg_p, simple_set_p, iv_get_reaching_def, iv_analyse_biv,
iv_analyse_op, iv_analyse, iv_number_of_iterations): Handle subregs.
* loop-unswitch.c (may_unswitch_on): Handle subregs.
2004-02-04 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* Makefile.in (tree-ssa-loop-ivopts.o): Add RECOG_H and insn-config.h
dependency.
* loop-iv.c (iv_analysis_loop_init): Ensure we only care about
increments that are done just once each iteration.
* timevar.def (TV_TREE_LOOP_IVOPTS, TV_TREE_CH): New.
* tree-ssa-loop-ivopts.c: Include insn-config.h and recog.h.
(INFTY): Increase.
(struct iv_use): Add choices, n_choices, min_cost_cand and selected
fields. Rename field best_cost to min_cost.
(CONSIDER_ALL_CANDIDATES_BOUND): Decrease.
(dump_use): Dump new fields.
(dump_uses, cst_and_fits_in_hwi, int_cst_value, build_int_cst,
divide, strip_offset, add_cost, multiply_by_cost, get_address_cost,
force_var_cost, peel_address, ptr_difference_const,
split_address_cost, ptr_difference_cost, difference_cost,
get_computation_cost): New functions.
(find_induction_variables): Formating changes.
(record_use): Initialize new fields.
(add_old_ivs_candidates): Do not add invariants.
(set_use_iv_cost): Set min_cost.
(get_use_iv_cost): Fix.
(get_computation): Use less memory.
(determine_use_iv_cost_generic, determine_use_iv_cost_address,
determine_use_iv_cost_condition, determine_iv_cost): Use
new cost estimation functions.
(compute_iv_set_cost): Removed.
(struct undo_record): New.
(use_with_min_choices, min_remaining_cost, undo_changes,
execute_removal, add_forbidden_ivs, try_candidate, set_cost,
get_initial_solution): New functions.
(find_optimal_iv_set_1, find_optimal_iv_set): Made more effective.
(create_new_ivs, rewrite_use_nonlinear_expr, rewrite_use_address):
Unshare created expressions.
(free_loop_data): Free new structures.
(tree_ssa_iv_optimize_loop): Remove garbage collection.
(tree_ssa_iv_optimize): Use TV_TREE_LOOP_IVOPTS timevar.
* tree-ssa-loop.c (pass_ch): Use TV_TREE_CH timevar.
2004-02-02 Steven Bosscher <stevenb@suse.de>
* common.opt: Re-order some options in ASCII collating order.
2004-01-30 Devang Patel <dpatel@apple.com>
* cfgloopmanip.c (loopify): Always redirect switch_bb's BRANCH_EDGE,
however redirect FALLTHRU_EDGE only if asked.
* tree-ssa-loop-manip.c (tree_ssa_loop_version): Update FALLTHRU_EDGE
pending stmts.
2004-01-29 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (find_optimal_iv_set_1, compute_iv_set_cost):
Fix memory leak, speed up.
(tree_ssa_iv_optimize_finalize): Move reseting of DECL_RTL...
(free_loop_data): ... here.
2004-01-29 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* basic-block.h (FOR_BB_INSNS, FOR_BB_INSNS_REVERSE): New macros.
* cfgloop.c (num_loop_branches): New function.
* cfgloop.h (struct loop_desc): Add field strange.
(struct loop): Remove fields simple, desc, has_desc.
(num_loop_branches, get_simple_loop_desc, free_simple_loop_desc):
Declare.
(simple_loop_desc): New inline function.
* cfgloopanal.c (count_loop_iterations): Set field strange.
(simple_loop_exit_p): Initialize postincr properly.
* loop-iv.c (assign_luids, mark_sets, simplify_using_initial_values):
Use FOR_BB_INSNS/FOR_BB_INSNS_REVERSE.
(iv_number_of_iterations): Restrict the number of iterations to the
actual mode.
(find_simple_exit): Check results with the old simple loop analyser.
(get_simple_loop_desc, free_simple_loop_desc): New functions.
* loop-unroll.c (loop_exit_at_end_p): New function.
(unroll_and_peel_loops, peel_loops_completely,
decide_unrolling_and_peeling, decide_peel_once_rolling,
decide_peel_completely, peel_loop_completely,
decide_unroll_constant_iterations, unroll_loop_constant_iterations,
decide_unroll_runtime_iterations, unroll_loop_runtime_iterations,
decide_peel_simple, decide_unroll_stupid): Use new iv analysis.
* predict.c (predict_loops): Use new iv analysis.
* tree-ssa-loop.c (copy_loop_headers): Predict entry edge from
copied loop header to be taken.
* tree-cfg.c (tree_find_edge_insert_loc,
bsi_insert_on_edge_immediate): Return the newly created block.
(bsi_commit_edge_inserts_1): Add parameter to
tree_find_edge_insert_loc call.
* tree-flow.h (bsi_insert_on_edge_immediate): Declaration changed.
* tree-ssa-loop-ivopts.c (create_new_iv): Update loop for newly
created block.
* cfg.c (unlink_block): Clean prev_bb and next_bb fields.
2004-01-29 Devang Patel <dpatel@apple.com>
* cfglayout.h (loopify): Add new bool parameter.
* cfgloopmanip.c (loopify): Support new bool argument.
* loop-unswitch.c (unswitch_loop): Supply additional argument 'true'
to loopify.
* tree-cfg.c (tree_block_label): Make externally visible.
* tree-flow.h (tree_block_label, test_loop_versioning, tree_ssa_loop_version): New
extern decls.
* tree-ssa-loop-manip.c (lv_adjust_loop_entry_edge, lv_udate_pending_stmts,
lv_adjust_loop_header_phi, tree_ssa_loop_version): New functions.
* tree-ssa-loop.c (tree_ssa_loop_opt): Test loop versioning.
2004-01-29 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-scalar-evolution.c (scev_analyze_inner_loop_phi): Add ;.
2004-01-29 Sebastian Pop <sebastian.pop@ensmp.fr>
* Makefile.in (tree-ssa-dom.o): Depends on cfgloop.h.
* tree-flow-inline.h (loop_of_stmt): New function.
* tree-ssa-dom.c: Include cfgloop.h.
(tree_ssa_dominator_optimize): Detect and finalize the natural
loops structure.
(simplify_rhs_and_lookup_avail_expr): Verify that the folded
operations belong to the same loop.
* cfgloop.h (loop): Rewrite comments for the nb_iterations field.
* tree-data-ref.c (analyze_all_data_dependences): Increase the size
of the dependence graph when computing all the dependences.
* tree-optimize.c (init_tree_optimization_passes): Move the
pass_scev after the pass_pre.
* tree-scalar-evolution.h: Update comments.
* tree-scalar-evolution.c (symbolically_analyze,
scev_follow_ssa_edge_same_loop, scev_follow_ssa_edge_inner_loop,
loop_is_strictly_included_in, scev_analyze_inner_loop_phi,
draw_tree_cfg): New functions.
(compute_value_on_exit_of_loop): Removed.
(analyze_evolution): Mark phi nodes instead of looking into
the already_visited array.
(analyze_evolution_in_loop): Use scev_follow_ssa_edge_same_loop,
scev_follow_ssa_edge_inner_loop.
(scev_analyze_modify_expr): Refine the wrap-around case.
(scev_follow_ssa_edge): Handle edges to the current and inner loops
separately calling scev_follow_ssa_edge_same_loop or
scev_follow_ssa_edge_inner_loop.
(merge_branches_of_condition_phi_node): Restructure.
(set_nb_iterations_in_loop): Add one to the number of iterations.
When the loop copy headers is on, we always exit the loop after
having executed once its body.
(record_dependences_for_opnd): Do not record dependences on variables
that are not in the current loop.
(pass_scev_depend): Rename the pass from alldd to ddall.
* tree-ssa-loop.c (gate_ch): New function.
(pass_ch): Use gate_ch.
* doc/invoke.texi (-ftree-ch, -fdump-tree-ch): Document flags.
(fdump-tree-scev, fdump-tree-ddall): Update names, and comments.
* common.opt (ftree-ch): Document.
* flags.h (flag_tree_ch): Declare.
* opts.c (flag_tree_ch): Set it on by default.
(flag_scalar_evolutions, flag_all_data_deps): Turn off by default.
(OPT_ftree_ch): Handle this case.
* toplev.c (lang_independent_options): Register flag_tree_ch.
2004-01-28 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfghooks.c (split_block): Update probabilities.
* cfgloopmanip.c (loopify): Always redirect branch edge to the new
loop.
* loop-iv.c (canon_condition, simplify_using_condition): Export.
(check_simple_exit): Do not allow cc mode registers.
* loop-unroll.c (unroll_loop_runtime_iterations): Use
compare_and_jump_seq.
* loop-unswitch.c (may_unswitch_on_p): Renamed to may_unswitch_on,
returns the condition, use iv_analyse.
(compare_and_jump_seq): New function.
(unswitch_loops): Call iv_analysis_done.
(unswitch_single_loop, unswitch_loop): Handle nontrivial invariants.
* rtl.h (compare_and_jump_seq, canon_condition,
simplify_using_condition): Declare.
2004-01-28 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* loop-iv.c: New.
* loop-doloop.c: New.
* Makefile.in (loop-doloop.o, loop-iv.o): Add.
* alias.c (init_alias_analysis): Test flag_unroll_loops instead of
flag_old_unroll_loops.
* cfgloop.h (struct rtx_iv, struct niter_desc): New.
(get_loop_level, iv_analysis_loop_init, iv_get_reaching_def,
iv_analyse, find_simple_exit, iv_number_of_iterations,
iv_analysis_done, doloop_optimize_loops): Declare.
* cfgloopanal.c (get_loop_level): New.
* common.opt (floop-optimize2): New.
(fold-unroll-loops, fold-unroll-all-loops): Remove.
* doloop.c (doloop_condition_get): Export.
* flags.h (flag_old_unroll_loops, flag_old_unroll_all_loops):
Declaration removed.
* loop-unswitch.c (reversed_condition): Export.
* loop.c (loop_invariant_p): Use flag_unroll_loops instead
of flag_old_unroll_loops.
* opts.c (common_handle_option): Handle -floop-optimize2,
do not handle -fold-unroll-loops and -fold-unroll-all-loops.
* params.def (PARAM_MAX_DOLOOP_INSNS): New.
* rtl.h (get_mode_bounds, doloop_condition_get,
reversed_condition): Declare.
* stor-layout.c (get_mode_bounds): New function.
* toplev.c (flag_old_unroll_loops, flag_old_unroll_all_loops):
Remove.
(flag_loop_optimize2): New.
(rest_of_handle_loop_optimize): Use flag_unroll_loops instead
of flag_old_unroll_loops.
(rest_of_handle_loop2): Call doloop_optimize_loops.
(rest_of_compilation): Use flag_loop_optimize2.
(process_options): Remove flag_old_unroll_loops handling, add
flag_loop_optimize2 handling.
* toplev.h (flag_loop_optimize2): Declare.
* unroll.c (unroll_loop): Use flag_unroll_all_loops instead of
flag_old_unroll_all_loops.
2004-01-26 Dorit Naishlos <dorit@il.ibm.com>
* Makefile.in: (tree-vectorizer.o): Remove dependency on real.h.
* tree-vectorizer.c: (real.h): Remove included file.
(vect_get_vec_def_for_operand): No need to explicitly use build_int_2
and build_real.
(vect_transform_loop_bound): Create loop IV update at loop exit
block, following changes in loop control.
(vectorize_loops): Remove debug printout.
* config/rs6000/altivec.md: (*movv4si_internal): More complex
condition.
(*movv8hi_internal1): Likewise.
(*movv16qi_internal1): Likewise.
(*movv4sf_internal1): Likewise.
2004-01-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c (determine_set_costs): Do not use
GENERAL_REGNO_P.
2004-01-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-ivopts.c: New file.
* Makefile.in (tree-ssa-loop-ivopts.o): Add.
* expr.c (expand_expr_1): Handle expand_expr_1.
* fold-const.c (invert_tree_comparison, invert_tree_comparison):
Export.
* tree-cfg.c (stmt_bsi): New function.
* tree-flow.h (stmt_bsi, tree_ssa_dce_no_cfg_changes,
tree_ssa_iv_optimize): Declare.
* tree-simple.c (get_base_symbol): Handle INDIRECT_REF.
* tree-ssa-dce.c (tree_ssa_dce_no_cfg_changes): Split from ...
(tree_ssa_dce): ... here.
* tree-ssa-loop.c (tree_ssa_loop_opt): Call tree_ssa_iv_optimize.
* tree-ssanames.c (make_ssa_name): Allow creating ssa name without
statement.
* tree.h (invert_tree_comparison, swap_tree_comparison): Declare.
2004-01-25 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* doloop.c (doloop_optimize): Test for loop->top instead of
loop->scan_start.
2004-01-22 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-alias-common.c (HAVE_BANSHEE): Do not define it.
(create_alias_vars): Do not test HAVE_BANSHEE value.
2004-01-22 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-ssa-loop-manip.c: New file.
* Makefile.in (tree-ssa-loop-manip.o): Add.
* basic-block.h (struct reorder_block_def): New field copy_number.
* cfghooks.c (split_block, make_forwarder_block): Update irreducible
loop information.
* cfgloopmanip.c (duplicate_loop_to_header_edge): Set copy_number.
* tree-cfg.c (tree_duplicate_bb): Duplicate also virtual operands.
* tree-flow.h (enum tree_ann_type): Add MISC_ANN.
(struct misc_ann_d): New.
(union tree_ann_d): Add misc field.
(test_unrolling_and_peeling, tree_duplicate_loop_to_header_edge):
Declare.
* tree-ssa-loop.c (tree_ssa_loop_opt): Call
test_unrolling_and_peeling.
* tree-ssa-operands.c (copy_virtual_operands): New.
* tree-ssa-operands.h (copy_virtual_operands): Declare.
* dominance.c: Fix comment.
* cfgloopanal.c (mark_irreducible_loops): Rewriten.
(struct edge, struct vertex, struct graph): New.
(dump_graph, new_graph, add_edge, dfs, check_irred, for_each_edge,
free_graph): New functions.
2004-01-21 Sebastian Pop <s.pop@laposte.net>
* tree-scalar-evolution.c (pass_scev): Don't use a name.
(pass_scev_anal): Named this pass "scev".
2004-01-21 Dorit Naishlos <dorit@il.ibm.com>
* Makefile.in: (tree-vectorizer.o): Add dependency on real.h.
* tree-vectorizer.c: (vect_is_simple_use): Allow constants.
(real.h): Included to support constants vectorization.
(vect_get_vec_def_for_operand): New function.
(vect_transform_binop): Use above new function.
(vect_transform_store): Likewise.
(vect_transform_load): Likewise.
(vect_get_new_vect_var): Allow more flexibility in naming scheme.
(vect_create_index_for_array_ref): Call vect_get_new_vect_var with a
name prefix instead of a variable.
(vect_create_data_ref): Likewise.
(vect_create_destination_var): Likewise.
(vect_analyze_data_refs): Temporarily restrict vectorizable data refs
to ARRYA_RES which base is a VAR_DECL.
(vect_create_data_ref): Support only VAR_DECL array base. Mark all
vops for renaming.
(vect_get_array_first_index): New function.
(vect_create_index_for_array_ref): Consider array_first_index.
(vect_analyze_data_ref_access): Likewise.
(vect_get_loop_niters): Use number_of_iterations_in_loop.
(vect_analyze_loop_form): Don't attempt to vectorize if
number_of_iterations == 0.
(vect_analyze_operations): Fix vectype analysis.
(vect_create_index_for_array_ref): Fix code insertion in loop prolog.
(vect_transform_loop_bound): Likewise.
2004-01-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>,
Devang Patel <dpatel@apple.com>
* basic-block.h (struct reorder_block_def): Moved from cfglayout.h.
(alloc_rbi_pool, initialize_bb_rbi, free_rbi_pool): Declare.
* bb-reorder.c (copy_bb, copy_bb_p): Use duplicate_block hooks.
* loop-unswitch.c (unswitch_loop): Ditto.
* tracer.c (tail_duplicate): Ditto.
* tree-ssa-loop.c (copy_loop_headers): Ditto.
* cfg.c (rbi_pool): New.
(alloc_rbi_pool, free_rbi_pool, initialize_bb_rbi): New functions.
* cfghooks.c (can_duplicate_block_p, duplicate_block): New functions.
* cfghooks.h (struct cfg_hooks): Add can_duplicate_block_p and
duplicate_block hooks.
(can_duplicate_block_p, duplicate_block): Declare.
* cfglayout.c (cfg_layout_pool): Removed.
(cfg_layout_initialize_rbi): Removed.
(fixup_reorder_chain): Use initialize_bb_rbi.
(cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb):
Ir-independent parts moved to cfghooks.c.
(cfg_layout_initialize): Use alloc_rbi_pool and initialize_bb_rbi.
(cfg_layout_finalize): Use free_rbi_pool.
(can_copy_bbs_p): Use can_duplicate_block_p.
(copy_bbs): Use duplicate_block.
* cfglayout.h (struct reorder_block_def): Moved to basic-block.h
(cfg_layout_can_duplicate_bb_p, cfg_layout_duplicate_bb,
cfg_layout_initialize_rbi): Declaration removed.
* cfgrtl.c (cfg_layout_create_basic_block): Use initialize_bb_rbi.
(cfg_layout_rtl_cfg_hooks): Add cfg_layout_can_duplicate_bb_p and
cfg_layout_duplicate_bb.
* tree-cfg.c (build_tree_cfg): Call alloc_rbi_pool.
(create_bb): Call initialize_bb_rbi.
(delete_tree_cfg): Call free_rbi_pool.
(tree_duplicate_bb): Ir independent parts moved to cfghooks.c.
(tree_cfg_hooks): Add tree_can_duplicate_bb_p and tree_duplicate_bb.
* tree-flow.h (tree_duplicate_bb): Declaration removed.
2004-01-21 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* tree-alias-common.c (create_alias_vars): Don't use
andersen_alias_ops when we don't HAVE_BANSHEE.
* tree-ssa-loop.c (pass_ch): Remove TODO_verify_ssa.
2004-01-20 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Merge from tree-ssa branch (lno-merge-20040120).
2004-01-18 Dorit Naishlos <dorit@il.ibm.com>
* tree-scalar-evolution.c: (get_loop_exit_condition): Exposed to
external usage.
* tree-scalar-evolution.h: (get_loop_exit_condition): Exposed to
external usage.
* tree-vectorizer.c: (vect_is_simple_iv_evolution): Additional argument
to control how strict this function would be.
(vect_create_index_for_array_ref): Invoke vect_is_simple_iv_evolution
with "strict" set to true.
(vect_transform_loop_bound): More general loop bound transformation
scheme, independent of the loop exit condition form.
(vect_analyze_scalar_cycles): Invoke vect_is_simple_iv_evolution with
"strict" set to false.
(vect_get_loop_niters): Use monev utilities/precomputed info -
loop->nb_iterations and get_loop_exit_condition.
2004-01-17 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: (vect_get_name_for_new_var): Removed.
(vect_get_new_vect_var): New function. Replaces above function.
(vect_create_index_for_array_ref): Call vect_get_new_vect_var
instead of vect_get_name_for_new_var.
(vect_create_data_ref): Likewise.
(vect_create_destination_var): Likewise.
* tree-vectorizer.h: (vect_var_kind): New enum type.
2004-01-15 Sebastian Pop <s.pop@laposte.net>
* tree-chrec.c (remove_initial_condition,
add_expr_to_loop_evolution_1, add_expr_to_loop_evolution_2): New functions.
(add_expr_to_loop_evolution): Use these functions.
(build_polynomial_evolution_in_loop,
build_exponential_evolution_in_loop): Move from here...
* tree-chrec.h (build_polynomial_evolution_in_loop,
build_exponential_evolution_in_loop): Remove declarations.
* tree-scalar-evolution.c (build_polynomial_evolution_in_loop,
build_exponential_evolution_in_loop): ... to here. Declare
these functions static.
(select_outer_and_current_evolutions): New function.
(matched_an_increment, scev_analyze_modify_expr,
compute_overall_effect_of_inner_loop,
analyze_scalar_evolution): Use this function.
(add_to_evolution, multiply_evolution): Construct canonical
chains of recurrences.
2004-01-14 Dorit Naishlos <dorit@il.ibm.com>
Sebastian Pop <s.pop@laposte.net>
* tree-vectorizer.c: (vect_is_simple_iv_evolution): Correctly use
APIs of the new monev analyzer. Additional argument (loop_num).
(vect_transform_loop_bound): Additional argument to
vect_is_simple_iv_evolution.
(vect_analyze_scalar_cycles): Likewise.
(vect_analyze_data_ref_access): Likewise.
(vect_get_loop_niters): Likewise.
2004-01-14 Dorit Naishlos <dorit@il.ibm.com>
* tree-optimize.c: (optimize_function_tree): Cleanup.
* tree-vectorizer.h: (DBG_VECT, DBG_VECT2): Removed.
(vec_array_base_name_differ_p): Removed.
(vec_analyze_array): Removed.
(struct _stmt_vec_info): New field: loop.
(STMT_VINFO_LOOP): New access function to above new field.
(new_stmt_vec_info): Additional argument.
* tree-vectorizer.c: (vect_is_simple_use): New function.
(vect_is_supportable_binop): Added call to vect_is_simple_use().
(vect_is_supportable_store): Added call to vect_is_simple_use().
(vect_is_supportable_load): Added call to vect_is_simple_use().
(vect_create_index_for_array_ref): Correct handling of accesses with
an offset (e.g, a[i+OFF]).
(vect_create_data_ref): Pass STMT as an argument to
vect_create_index_for_array_ref, instead of an operand.
(vect_transform_store): Handle accesses with an offset.
(vect_transform_load): Handle accesses with an offset.
(vect_create_data_ref): Set the mem_tag of the pointer used for the
vector data-access to reflect correct may-alias info.
(get_address_calculation_operands): Removed.
(exist_non_indexing_operands_for_use_p): New function, in place of
get_address_calculation_operands() to correctly handle induction (for
now this means to detect and not attempt to vectorize computations
like a[i]=i).
(vect_analyze_scalar_cycles): call above new function instead of
get_address_calculation_operands().
(vect_mark_stmts_to_be_vectorized): Likewise.
(get_vectype_for_scalar_type): Added test of VECTOR_MODE_SUPPORTED_P.
(new_stmt_vec_info): Takes also LOOP as an argument and initializes
new field STMT_VINFO_LOOP.
(new_loop_vec_info): Pass additional argument to new_stmt_vec_info.
(vect_stmt_relevant_p): Use flow_bb_inside_loop_p instead of comparing
loop->depth's.
(vect_analyze_operations): Likewise.
(vect_align_data_ref): Removed stderr debug printouts, some of which
replaced with code dumping dependending on TDF_DETAILS to dump_file.
(vect_create_index_for_array_ref): Likewise.
(vect_create_destination_var): Likewise.
(vect_create_data_ref): Likewise.
(vect_transform_binop): Likewise.
(vect_transform_store): Likewise.
(vect_transform_load): Likewise.
(vect_transform_stmt): Likewise.
(vect_transform_loop_bound): Likewise.
(vect_transform_loop): Likewise.
(vect_analyze_operations): Likewise.
(vect_is_simple_iv_evolution): Likewise.
(vect_analyze_scalar_cycles): Likewise.
(vect_analyze_data_ref_dependences): Likewise.
(vect_analyze_data_refs): Likewise.
(vect_mark_relevant): Likewise.
(vect_stmt_relevant_p): Likewise.
(vect_mark_stmts_to_be_vectorized): Likewise.
(vect_get_loop_niters): Likewise.
(vectorize_loops): Likewise.
2004-01-13 Sebastian Pop <s.pop@laposte.net>
Daniel Berlin <dberlin@dberlin.org>
* tree-fold-const.h (tree_fold_int_plus, tree_fold_int_minus,
tree_fold_int_multiply): Remove NON_LVALUE_EXPR from the
answers of the folder. Fixes bootstraps for powerpc.
2004-01-12 Sebastian Pop <s.pop@laposte.net>
* tree-chrec.c (chrec_fold_plus, chrec_fold_multiply): Verify
that there is no chrecs nested in the operands before calling
the folder.
(evolution_function_in_loop_num): When there is no evolution
in the loop, return the initial condition.
(evolution_part_in_loop_num): When there is no evolution
in the loop, return NULL_TREE.
(chrec_eval_next_init_cond): Adapt the function for the
multivariate case.
(tree_contains_chrecs): Avoid the use of double negation.
* tree-chrec.h (chrec_eval_next_init_cond): Add a parameter
for the dimension in which to evaluate the variation.
* tree-scalar-evolution.c (is_ssa_name_a_version_of_variable,
expression_contains_variable_p, remove_variable_from_expression,
analyze_non_gimple_initial_condition, matched_an_increment,
matched_an_exponentiation, matched_a_wrap_around,
matched_an_arithmetic_wrap_around,
evolution_of_phi_already_analyzed_p): New static functions.
(scev_analyze_modify_expr): Use these functions. Refine the
cases detected as wrap-around variables.
(analyze_initial_condition): Don't erase the evolution in the
previous dimensions when computing the initial condition for a
new loop.
(analyze_evolution_in_loop): Call the scev_analyze_modify_expr
on the tree node, not on its evolution.
(scev_follow_ssa_edge): In the case of an inner loop-phi-node,
when the outer edge is a phi-node follow up the edge.
(scev_follow_ssa_edge): Avoid the analysis of the inner loop
when it has already been analyzed.
(merge_evolutions): Refine the operation for zero, one, and
more branches of evolutions.
2004-01-09 Sebastian Pop <s.pop@laposte.net>
* tree-scalar-evolution.c: New version of the analyzer.
* tree-scalar-evolution.h: Same.
* tree-chrec.c: Same.
* tree-data-ref.c: Same.
* tree-chrec.h: Same.
* tree-data-ref.h: Same.
* tree-fold-const.h: Same.
* tree-vectorizer.c (vect_transform_loop_bound,
vect_analyze_scalar_cycles, vect_analyze_data_ref_access,
vect_analyze_data_refs, vect_get_loop_niters): Use the new
interface of the analyzer.
* tree-optimize.c (optimize_function_tree): Same.
2004-01-08 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfgloop.h (loop_is_included_in): Declaration removed.
* tree-scalar-evolution.c (stmt_is_in_loop, stmt_is_not_in_loop,
loop_is_included_in): Use existing functions to implement
them.
2004-01-06 Sebastian Pop <s.pop@laposte.net>
* cfgloop.h (loop_is_included_in, outer_loop, inner_loop,
next_loop, loop_num, loop_depth, loop_header,
loop_nb_iterations, loop_num_exits, loop_exit_edges,
loop_exit_edge): New inline functions.
(loop_is_included_in): Declare here.
* tree-flow-inline.h (loop_of_stmt): New inline function.
* tree-scalar-evolution.c (loop_is_included_in): Remove declaration.
(stmt_is_in_loop, stmt_is_not_in_loop): New functions.
(loop_is_included_in, loop_is_included_in_rec): Moved up in the same file.
2004-01-06 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: Fix typos.
2004-01-05 Andreas Jaeger <aj@suse.de>
* tree-vectorizer.h: Follow coding standards, remove extra
whitespace.
* tree-vectorizer.c: Likewise.
* tree-vectorizer.c (vectorize_loops): Output statistics to
dump_file, fix printf string.
(vect_transform_loop): Replace DBG_VECT code with code dumping
dependend on TDF_DETAILS to dump_file.
(vect_is_supportable_binop): Likewise.
(vect_analyze_operations): Likewise.
(get_address_calculation_operands): Likewise.
(vect_analyze_scalar_cycles): Likewise.
(vect_analyze_data_ref_dependence): Likewise.
(vect_analyze_data_ref_access): Likewise.
(vect_analyze_data_ref_accesses): Likewise.
(vect_analyze_data_refs): Likewise.
(vect_mark_relevant): Likewise.
(vect_get_loop_niters): Likewise.
(vect_mark_stmts_to_be_vectorized): Likewise.
(vect_analyze_loop_form): Likewise.
(vectorize_loops): Likewise.
* tree-vectorizer.h (DBG_VEC): Remove.
2004-01-04 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* doloop.c (doloop_optimize): Update number of iterations for the
loops entered at bottom.
2004-01-04 Andreas Jaeger <aj@suse.de>
* common.opt: Re-order some options in ASCII collating orders.
2004-01-03 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
* cfghooks.h (struct cfg_hooks): New fields split_block_after_labels
and move_block_after, type of cfgh_make_forwarder_block field changed.
(HEADER_BLOCK, LATCH_EDGE): Moved to cfgloop.c.
(split_block_after_labels, move_block_after): New macros.
(make_forwarder_block): Changed.
* cfgloop.c (HEADER_BLOCK, LATCH_EDGE): Moved from cfghooks.h.
(update_latch_info, mfb_keep_just, mfb_keep_nonlatch,
fill_sons_in_loop): New functions.
(canonicalize_loop_headers): Changed due to changes in
make_forwarder_block.
* cfgloopmanip.c (split_loop_bb): Don't update dominators.
(create_preheader): Use make_forwarder_block.
(mfb_keep_just, mfb_update_loops): New.
* cfgrtl.c (rtl_split_block_after_labels): New.
(redirect_edge_with_latch_update): Removed.
(rtl_make_forwarder_block): New sematics.
(rtl_split_block): Update dominators.
(rtl_cfg_hooks, cfg_layout_rtl_cfg_hooks):
Add rtl_split_block_after_labels.
* tree-cfg.c (tree_make_forwarder_block): Changed semantics.
(create_blocks_annotations): Removed.
(build_tree_cfg): Don't call create_blocks_annotations.
(create_bb): Create annotations for a new block.
(tree_split_edge): Don't call create_block_annotation.
Update irreducible loop information.
(tree_loop_optimizer_finalize): Add loop structure check.
(tree_redirect_edge_and_branch_1): Return the original edge if
no redirecting is neccessary.
(tree_split_block): Make the semantics same as for rtl_split_block.
(tree_split_block_after_labels, tree_move_block_after): New.
(tree_cfg_hooks): Add tree_split_block_after_labels and
tree_move_block_after.
* cfgloopanal.c (mark_irreducible_loops): Fix.
* loop-unswitch.c (unswitch_loop): Fix.
* Makefile.in (tree-ssa-loop.o): Add cfgloop.h and tree-inline.h
dependency.
* jump.c (next_nonnote_insn_in_loop, duplicate_loop_exit_test,
copy_loop_headers): Removed.
* rtl.h (copy_loop_headers): Declaration removed.
* toplev.c (rest_of_compilation): Do not call loop header copying.
* tree-dump.c (dump_files): Add .ch dump.
* tree-flow.h (tree_duplicate_bb, copy_loop_headers): Declare.
* tree-optimize.c (optimize_function_tree): Add loop header copying
pass.
* tree-ssa-loop.c: Include cfgloop.h and tree-inline.h.
(dump_file, dump_flags): Renamed to loop_dump_file and
loop_dump_flags.
(call_expr_p, should_duplicate_loop_header_p, copy_loop_headers):
New.
* tree.h (enum tree_dump_index): Add ch dump.
* doc/invoke.texi (-fdump-tree-copy-headers): Document.
* testsuite/gcc.dg/tree-ssa/20030711-1.c: Update test outcome.
* testsuite/gcc.dg/tree-ssa/20030714-2.c: Ditto.
* testsuite/gcc.dg/tree-ssa/copy-headers.c: New test.
* tree-cfg.c (tree_duplicate_bb): New function.
* tree-ssa-loop-im.c: New file.
* Makefile.in (tree-ssa-loop-im.o): Add.
* params.def (PARAM_LIM_EXPENSIVE): New parameter.
* tree-dump.c (dump_files): Move .loop dump.
* cfgloop.h (superloop_at_depth, get_loop_body_in_dom_order): Declare.
(loop_dump_file, loop_dump_flags): Declare variables.
* cfgloop.c (superloop_at_depth, get_loop_body_in_dom_order): New
functions.
* tree-flow.h (struct stmt_ann_d): Add aux field.
(bsi_commit_edge_inserts): Declaration changed.
(tree_ssa_lim): Declare.
* tree-mudflap.c (mf_xform_derefs_1): Use in_array_bounds_p.
* tree-optimize.c (optimize_function_tree): Move loop optimization
pass.
* tree-sra.c (scalarize_structures): Modified due to
bsi_commit_edge_inserts change.
* tree-ssa-loop.c (tree_ssa_loop_opt): Call tree_ssa_lim.
* tree-ssa.c (rewrite_trees, rewrite_vars_out_of_ssa): Modified due to
bsi_commit_edge_inserts change.
* tree.c (in_array_bounds_p): New function.
* tree.h (in_array_bounds_p): Declare.
(enum tree_dump_index): Move loop dump.
* tree-cfg.c (bsi_commit_edge_inserts): Don't take update_annotations
argument.
* tree-ssa.c (rewrite_into_ssa, rewrite_out_of_ssa): Ensure that the
closed files are not used.
* tree-tailcall.c (find_tail_calls, eliminate_tail_call): Update
phi nodes for vdefs of the eliminated call.
2004-01-03 Sebastian Pop <s.pop@laposte.net>
* tree-optimize.c (optimize_function_tree): Move the closing brace of
DCE2 to the right place.
2004-01-03 Sebastian Pop <s.pop@laposte.net>
* tree-vectorizer.c (vect_analyze_operations): Test vectorization_factor
before computing modulo.
2004-01-02 Sebastian Pop <s.pop@laposte.net>
* tree-vectorizer.c (vect_is_supportable_binop): Returns false instead
of NULL.
2004-01-02 Richard Henderson <rth@redhat.com>
* config/i386/i386.h (UNITS_PER_SIMD_WORD): New.
2004-01-02 Sebastian Pop <s.pop@laposte.net>
* tree-data-ref.c (vec_analyze_array, vec_array_base_name_differ_p,
array_base_name_differ_p): Removed for fixing the previous patch.
2004-01-02 Richard Henderson <rth@redhat.com>
* target.h (struct gcc_target): Remove vectype_for_scalar_type.
* target-def.h (TARGET_VECTYPE_FOR_SCALAR_TYPE): Remove.
* config/rs6000/rs6000.c (rs6000_vectype_for_scalar_type): Remove.
(TARGET_VECTYPE_FOR_SCALAR_TYPE): Remove.
* tree.c (build_vector_type_with_mode): Rename from make_vector,
remove unsignedp argument, update callers.
(build_vector_type): New.
* tree.h (build_vector_type): Declare it.
* tree-vectorizer.c (get_vectype_for_scalar_type): Use it.
2004-01-02 Richard Henderson <rth@redhat.com>
* tree-scalar-evolution.c (finalize_scalar_evolutions_analyzer):
Clear dump_file.
2004-01-02 Sebastian Pop <s.pop@laposte.net>
* tree-data-ref.c (vec_analyze_array): Renamed to analyze_array.
(analyze_array): Removed.
(find_data_references): Adapted to use the new analyze_array
function.
(array_base_name_differ_p): Moved to tree-data-ref.h.
(vec_array_base_name_differ_p): Removed.
* tree-data-ref.h (array_base_name_differ_p): Moved here.
* tree-vectorizer.c (vect_analyze_data_ref_dependence): Use
array_base_name_differ_p instead of vec_array_base_name_differ_p.
(vect_analyze_data_refs): Use analyze_array instead of
vec_analyze_array.
(vectorize_loops): Remove the initializers and finalizers of the
scalar evolution analyzer.
2004-01-01 Dorit Naishlos <dorit@il.ibm.com>
* tree-vectorizer.c: New file. Implements loop vectorization
pass.
* tree-vectorizer.h: New file.
* Makefile.in: (tree-vectorizer.c,tree-vectorizer.h): New files.
* tree-dump.c: (dump_files): New dump file for the new
vectorization pass.
* tree.h: (TDI_vect): New dump index for the new vectorization
pass.
* timevar.def (TV_TREE_VECTORIZATION): Support new
vectorization pass.
* opts.c: (flag_tree_vetorize): New flag to enable/disable the
new vectorization pass.
* flags.h: Same.
* toplev.c: Same.
* common.opt: (ftree-vectorize): Same.
* doc/invoke.texi: Document above new options.
* tree-optimize.c: (optimize_function_tree): Invoke the new
vetorization pass.
* tree-flow.h: (struct stmt_ann_d): New field (aux) to allow
recording information per stmt.
* tree-data-ref.c (vec_analyze_array): New function, exposing
API to the vectorizer.
(vec_array_base_name_differ_p): New function, exposing API to
the vectorizer.
* tree-data-ref.h: Same.
* defaults.h: (UNITS_PER_SIMD_WORD): Define.
* config/rs6000/rs6000.h: (UNITS_PER_SIMD_WORD): Same.
* target-def.h (TARGET_VECTYPE_FOR_SCALAR_TYPE): Declare a new
target hook for vectorization.
* target.h (vectype_for_scalar_type): Same.
* config/rs6000/rs6000.c: (rs6000_vectype_for_scalar_type):
Implement the above new target hook.
2003-12-31 Sebastian Pop <s.pop@laposte.net>
* version.c (version_string): Change the identifier for the
sub-branch.
2003-12-31 Sebastian Pop <s.pop@laposte.net>
Daniel Berlin <dberlin@dberlin.org>
* tree-phinodes.c (create_phi_node): Initialise PHI_MARKED to 0.
* tree-scalar-evolution.c (already_visited,
node_already_visited_by_ssa_path): Removed.
(analyze_evolution): Remove initialisation of already_visited.
(construct_schedule): idem.
(monev_follow_ssa_edge): use PHI_MARKED for deciding whether
to analyze the phi-node.
(follow_ssa_edge_and_record_dependences_rec): idem.
* tree.h (PHI_MARKED): New macro.
(tree_phi_node): Add a field marked.
2003-12-27 Sebastian Pop <s.pop@laposte.net>
* Makefile.in (OBJS-common): Added tree-chrec.o
tree-scalar-evolution.o, tree-data-ref.o, tree-fold-const.o.
(tree-optimize.o): Add dependencies on tree-fold-const.h
tree-chrec.h tree-scalar-evolution.h tree-data-ref.h
(tree-chrec.o, tree-scalar-evolution.o, tree-data-ref.o,
tree-fold-const.o): New rules.
* cfgloop.h (loop): New field nb_iterations.
(loop_from_num): New function.
* common.opt (fscalar-evolutions, fall-data-deps): Added.
* flags.h (flag_scalar_evolutions, flag_all_data_deps): Declared.
* opts.c (decode_options, common_handle_option): Initialize
flag_scalar_evolutions and flag_all_data_deps.
* timevar.def (TV_SCALAR_EVOLUTIONS, TV_ALL_DATA_DEPS): New.
* toplev.c (flag_scalar_evolutions, flag_all_data_deps): Defined.
(lang_independent_options): Add flag_scalar_evolutions and
flag_all_data_deps.
* tree-dump.c (scev, alldd): New extensions.
* tree.h (tree_dump_index): Added TDI_scev and TDI_alldd.
* tree-optimize.c (tree-fold-const.h, tree-chrec.h,
tree-scalar-evolution.h, tree-data-ref.h): Included.
(optimize_function_tree): Added the entry point for the analysis of
scalar evolutions and data dependences.
* tree-pretty-print.c (tree-fold-const.h, tree-chrec.h): Included.
(dump_generic_node): Added code for dumping POLYNOMIAL_CHREC,
EXPONENTIAL_CHREC, PERIODIC_CHREC, and INTERVAL_CHREC.
* tree.def (INTERVAL_CHREC, POLYNOMIAL_CHREC, EXPONENTIAL_CHREC,
PERIODIC_CHREC): New tree nodes.
* varray.h (index_in_varray_tree, tree_is_in_varray_tree_p,
index_in_varray_int, int_is_in_varray_int_p): New inlined functions.
* tree-chrec.c, tree-chrec.h, tree-data-ref.c, tree-data-ref.h,
tree-fold-const.c, tree-fold-const.h, tree-scalar-evolution.c,
tree-scalar-evolution.h: New files.
* doc/invoke.texi (-fdump-scalar-evolutions, -fdump-all-data-deps):
Documented.
* testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-[01..50].c : New testcases.
* testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-[01..50].c.scev: Expected
outputs for the scalar evolution analyzer.
* testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-{10, 30, 31, 32, 33, 34,
35, 36}.c.alldd: Expected outputs for the data dependence analyzer.
* testsuite/gcc.dg/tree-ssa-chrec/tree-ssa-scev.exp: New file.
* testsuite/lib/scantree.exp (diff-tree-dumps): New procedure.
* ChangeLog.lno: New file.