OSDN Git Service

2006-02-15 Paolo Bonzini <bonzini@gnu.org>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 2c8fe95..a5ed744 100644 (file)
@@ -1,3 +1,186 @@
+2006-02-15  Paolo Bonzini  <bonzini@gnu.org>
+
+       * cfg.c (dump_flow_info): Get dump flags as an additional parameter.
+       (debug_flow_info): Pass it.
+       * alias.c (rest_of_handle_cfg): Adjust calls to dump_flow_info.
+       * bb-reorder.c (reorder_basic_blocks): Likewise.
+       * cfgcleanup.c (rest_of_handle_jump2): Likewise.
+       * cse.c (rest_of_handle_cse, rest_of_handle_cse2): Likewise.
+       * flow.c (life_analysis, recompute_reg_usage): Likewise.
+       * gcse.c (gcse_main, bypass_jumps): Likewise.
+       * ifcvt.c (rest_of_handle_if_conversion): Likewise.
+       * local-alloc.c (rest_of_handle_local_alloc): Likewise.
+       * loop-init.c (rtl_loop_init, rtl_loop_done): Likewise.
+       * profile.c (compute_branch_probabilities, branch_prob): Likewise.
+       * rtl.h (dump_flow_info): Adjust prototype.
+       * tracer.c (rest_of_handle_tracer, tracer): Likewise.
+       * var-tracking.c (variable_tracking_main): Likewise.
+       * passes.c (execute_todo): Obey TDF_BLOCKS for RTL.
+       * tree-dump.c (enable_rtl_dump_file): Enable the details and blocks
+       options.
+
+2006-02-15  Marcin Dalecki <martin@dalecki.de>
+
+       * tree-ssa-dom.c (dom_thread_across_edge): fix tag expression
+       construction.
+
+2006-02-14  Zdenek Dvorak <dvorakz@suse.cz>
+
+       PR tree-optimization/26209
+       * tree-ssa-loop.c (pass_scev_cprop): Add TODO_cleanup_cfg.
+       * tree-cfgcleanup.c (cleanup_control_flow): Remove dead
+       eh edges.
+       * tree-cfg.c (replace_uses_by): Do not alter cfg.
+
+2006-02-14  Roger Sayle  <roger@eyesopen.com>
+
+       PR middle-end/23670
+       * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Optimize (X&Y)|Y into
+       (X,Y) and the corresponding symmetry related transformations.
+       (fold_binary) <BIT_AND_EXPR>: Likewise, optimize (X|Y)&Y into
+       (X,Y) and its symmetry related transformations.
+
+2006-02-14  Roger Sayle  <roger@eyesopen.com>
+
+       * dojump.c (do_compare_rtx_and_jump): Also handle multi-word GTU
+       and GEU.
+
+2006-02-14  Adam Nemet  <anemet@caviumnetworks.com>
+
+       * simplify-rtx.c (simplify_subreg): Combine SUBREG and TRUNCATE.
+
+2006-02-14  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
+
+       PR bootstrap/26053
+       * configure.ac (HAVE_COMDAT_GROUP): Don't assume non-GNU linkers
+       support COMDAT group.
+       * configure: Regenerate.
+
+2006-02-14  Roger Sayle  <roger@eyesopen.com>
+
+       PR middle-end/26279
+       PR middle-end/26280
+       PR middle-end/26283
+       * dojump.c (do_compare_rtx_and_jump): Handle multi-word LE.
+
+2006-02-14  Daniel Berlin  <dberlin@dberlin.org>
+
+       Fix PR tree-optimization/26260
+
+       * doc/invoke.texi (max-fields-for-field-sensitive): Document
+       param.
+       * params.h (MAX_FIELDS_FOR_FIELD_SENSITIVE): New.
+       * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Ditto.
+       * tree-ssa-structalias.c (create_variable_info_for): Use
+       MAX_FIELDS_FOR_FIELD_SENSITIVE.
+       
+2006-02-14  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * doc/invoke.texi (-fprefetch-loop-arrays, -fprefetch-loop-arrays-rtl):
+       Document.
+       * tree-ssa-loop-niter.c (number_of_iterations_ne,
+       number_of_iterations_lt, number_of_iterations_cond): Remember the shape
+       of the ending condition.
+       * tree-ssa-loop-manip.c: Include params.h.
+       (build_if_stmt, can_unroll_loop_p, determine_exit_conditions,
+       tree_unroll_loop): New functions.
+       * tree-pass.h (pass_loop_prefetch): Declare.
+       * loop.c (rest_of_handle_loop_optimize): Test for
+       -fprefetch-loop-arrays-rtl.
+       * tree-scalar-evolution.h (affine_iv): Moved to tree-flow.h.
+       * timevar.def (TV_TREE_PREFETCH): New timevar.
+       * tree-ssa-loop.c (tree_ssa_loop_prefetch, gate_tree_ssa_loop_prefetch,
+       pass_loop_prefetch): New.
+       * tree-cfgcleanup.c: Include tree-scalar-evolution.h.
+       (cleanup_tree_cfg_loop): Call scev_reset.
+       * common.opt (fprefetch-loop-arrays-rtl): Add.
+       * tree-ssa-loop-prefetch.c: New file.
+       * tree-outof-ssa.c (struct value_expr_d): Add expr_vars field.
+       (new_temp_expr_table): Initialize expr_vars.
+       (free_temp_expr_table): Cleanup expr_vars.
+       (check_replaceable, find_replaceable_in_bb): Prevent accumulating
+       expressions from being merged into one.
+       * tree-flow.h (affine_iv): Moved from tree-scalar-evolution.h.
+       (struct tree_niter_desc): Add control, bound and cmp fields.
+       (tree_ssa_prefetch_arrays, can_unroll_loop_p, tree_unroll_loop):
+       Declare.
+       * Makefile.in (tree-ssa-loop-prefetch.o): Add.
+       (tree-cfgcleanup.o): Add SCEV_H dependency.
+       (tree-ssa-loop-manip.o): Add PARAMS_H dependency.
+       * passes.c (init_optimization_passes): Add pass_loop_prefetch.
+
+2006-02-14  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/26258
+       * tree-ssa-structalias.c (find_func_aliases): Handle aggregates
+       in PHI argument processing.
+
+2006-02-13  Adam Nemet  <anemet@caviumnetworks.com>
+
+       * simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: Return
+       new expression in the requested machine mode.
+
+2006-02-13  Roger Sayle  <roger@eyesopen.com>
+
+       * optabs.c (expand_abs): Don't call do_jump_by_parts_greater_rtx
+       directly, instead let do_compare_rtx_and_jump handle this for us.
+       * expr.c (expand_expr_real_1): Likewise.
+       * dojump.c (do_jump_by_parts_greater_rtx): Make static.  Move
+       before do_jump_by_parts_greater.
+       (do_jump_by_parts_greater): Move after do_jump_by_parts_greater_rtx.
+       * expr.h (do_jump_by_parts_greater_rtx): Delete prototype.
+
+2006-02-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       * pa/quadlib.c: Use defines instead of enum qfcmp_magic.
+
+2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
+
+       PR rtl-optimization/26235
+       * loop-invariant.c (hash_invariant_expr_1): Handle 'i' and 'n' formats.
+       (invariant_expr_equal_p): Handle 'i' and 'n' formats.  Fail on unknown
+       format.
+
+2006-02-13  Jeff Law  <law@redhat.com>
+
+       * tree-vrp.c (extract_range_from_binary_expr): Remove handling of
+       TRUTH_XOR_EPR.
+
+2006-02-13  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/26092
+       * gimplify.c (gimplify_call_expr): Don't call get_callee_fndecl
+       twice if decl is a builtin.  When trying again, call get_callee_fndecl
+       first to verify it is still a builtin.
+
+2006-02-13  Geoffrey Keating  <geoffk@apple.com>
+
+       * dwarf2out.c (base_type_die): Don't add AT_name here.
+       (subrange_type_die): Don't add AT_name here.
+       (modified_type_die): Rearrange code flow.  Do add AT_name here.
+
+2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
+
+       PR rtl-optimization/26247
+       PR rtl-optimization/26248
+       * loop-invariant.c (may_assign_reg_p): Do not allow VOIDmode.
+
+2006-02-13  Richard Sandiford  <richard@codesourcery.com>
+
+       * config/floatunditf.c: Use if __LDBL_MANT_DIG__ == 113.
+       * config/fixtfdi.c: Likewise.
+       * config/fixunstfdi.c: Likewise.
+       * config/floatditf.c: Likewise.
+
+2006-02-13  Roger Sayle  <roger@eyesopen.com>
+
+       PR middle-end/24427
+       * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Transform (X&C1)|C2
+       into (X,C2) if C1 is a subset of the bits of C2.  Transform
+       (X&C1)|C2 into X|C2 if C1|C2 == ~0.  Canonicalize (X&C1)|C2 as
+       (X&(C1&~C2))|C2.
+       <BIT_AND_EXPR>: Canonicalize (X|C1)&C2 as (X&C2)|(C1&C2).
+
 2006-02-13  Josh Conner  <jconner@apple.com>
 
        PR target/25376