OSDN Git Service

* double-int.c (mpz_set_double_int): Moved from
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index d562339..b1f1205 100644 (file)
@@ -1,3 +1,265 @@
+2007-04-30  Brooks Moses  <brooks.moses@codesourcery.com>
+
+       * double-int.c (mpz_set_double_int): Moved from
+       tree-ssa-loop-niter.c.
+       (mpz_get_double_int): Likewise; also, add option to wrap
+       out-of-range integers.
+       * double-int.h: New prototypes for above.
+       * tree.c (get_static_type_bounds): Moved from
+       tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
+       TYPE_MAX_VALUE if they exist..
+       * tree.h: New prototype for above.
+       * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
+       get_type_bounds calls.
+       (mpz_set_double_int): Move to double-int.c.
+       (get_type_bounds): Move to tree.c, rename to
+       get_static_type_bounds.
+       (mpz_to_double_int): Move to double-int.c, rename to
+       mpz_get_double_int.
+
+2007-04-30  Bob Wilson  <bob.wilson@acm.org>
+
+       * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
+       DIV0 exception can fall through to a normal return.
+       
+2007-04-30  Alexandre Oliva  <aoliva@redhat.com>
+
+       PR middle-end/22156
+       Temporarily revert:
+       2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
+        * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
+       2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
+       * tree-sra.c (try_instantiate_multiple_fields): Needlessly
+       initialize align to silence bogus warning.
+       2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
+       * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
+       all_no_warning.
+       (struct sra_walk_fns): Remove use_all parameter from use.
+       (sra_hash_tree): Handle BIT_FIELD_REFs.
+       (sra_elt_hash): Don't hash bitfld blocks.
+       (sra_elt_eq): Skip them in parent compares as well.  Handle
+       BIT_FIELD_REFs.
+       (sra_walk_expr): Don't maintain or pass down use_all_p.
+       (scan_use): Remove use_all parameter.
+       (scalarize_use): Likewise.  Re-expand assignment to
+       BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
+       output, and re-scalarize after output.  Don't mark anything
+       for no warning.
+       (scalarize_ldst): Adjust.
+       (scalarize_walk_gimple_modify_statement): Likewise.
+       (build_element_name_1): Handle BIT_FIELD_REFs.
+       (instantiate_element): Don't warn for any element whose parent
+       is used as a whole.
+       (instantiate_missing_elements_1): Return the sra_elt.
+       (canon_type_for_field): New.
+       (try_instantiate_multiple_fields): New.
+       (instantiate_missing_elemnts): Use them.
+       (mark_no_warning): Removed.
+       (generate_one_element_ref): Handle BIT_FIELD_REFs.
+       (REPLDUP, sra_build_elt_assignment): New.
+       (generate_copy_inout): Use them.
+       (generate_element_copy): Likewise.  Handle bitfld differences.
+       (generate_element_zero): Don't recurse for blocks.  Use
+       sra_build_elt_assignment.
+       (generate_one_element_int): Take elt instead of var.  Use
+       sra_build_elt_assignment.
+       (generate_element_init_1): Adjust.
+       (scalarize_use, scalarize_copy): Use REPLDUP.
+       (scalarize_ldst): Move assert before dereference.
+       (dump_sra_elt_name): Handle BIT_FIELD_REFs.
+
+2007-04-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+       PR C++/31721
+       * tree.c (reconstruct_complex_type): Reconstruct a reference
+       correctly.
+       Also use the same mode for the pointer as the old pointer type.
+
+2007-04-30  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
+
+       * doc/trouble.texi (Interoperation): Remove note about Ultrix
+       Fortran compiler.
+
+2007-04-29  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       PR rtl-optimization/31676
+       * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
+       (df_refs_record): Call it.
+
+2007-04-29  Bernd Schmidt  <bernd.schmidt@analog.com>
+
+       * rtl.def (SS_ABS): New code.
+       * config/bfin/bfin.c (print_operand): New modifier 'v'.
+       (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
+       BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
+       BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
+       (bfin_init_builtins): Define them.
+       (bdesc_1arg, bdesc_2arg): Add some of them here, ...
+       (bfin_expand_builtin): ... and handle the others here.
+       * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
+       flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
+       (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
+       (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
+       operand is only HImode.
+
+2007-04-29  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * regclass.c (scan_one_insn): Remove splitting of
+       two address insns.
+
+2007-04-28  Sandra Loosemore  <sandra@codesourcery.com>
+           Nigel Stephens  <nigel@mips.com>
+
+       * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
+
+2007-04-28  Jan Hubicka  <jh@suse.cz>
+
+       * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
+       insn_locators_alloc instead of insn_locators_initialize;
+       call reset_block_changes.
+       * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
+       * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
+       * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
+       * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
+       * config/score/score.c (th_output_mi_thunk): Likewise.
+       * config/mips/mips.c (mips_output_mi_thunk): Likewise.
+       * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
+       tolerate uninitialized locator info.
+
+       Re-apply:
+       * function.c (init_function_start): Don't init line number info.
+       (expand_function_end): Update.
+       (reset_block_changes, record_block_change, finalize_block_changes,
+       check_block_change, free_block_changes): Kill.
+       * function.h (reset_block_changes, record_block_change,
+       finalize_block_changes, check_block_change, free_block_changes): Remove
+       prototypes.
+       (struct function): Remove ib_boundaries_block.
+       * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
+       Use curr_insn_locator to initialize locator.
+       (emit_line_note): Remove.
+       * cfgexpand.c (expand_gimple_cond_expr): Update.
+       (construct_exit_block): Likewise.
+       (tree_expand_cfg): Initialize/finalize locators.
+       * expr.c (expand_expr_real): Update.
+       * cfglayout.c (line_locators_locs, line_locators_lines,
+       file_locators_locs, file_locators_files): Remove.
+       (set_block_levels): Move to cfgexpand.c.
+       (insn_locators_initialize): Remove.
+       (pass_insn_locators_initialize): Remove.
+       (locations_locators_locs, locations_locators_vals): New static vars.
+       (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
+       Likewise.
+       (insn_locators_alloc, insn_locators_finalize,
+       set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+       New functions.
+       (locator_location): New.
+       (locator_line, locator_file): Rewrite.
+       * rtl.h (emit_line_note): Kill.
+       (insn_locators_alloc, insn_locators_finalize,
+       set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+       Declare.
+       * tree-inline.c (initialize_cfun): Do not initialize
+       ib_boundaries_block.
+       * passes.c (pass_insn_locators_initialize): Remove.
+
+2007-04-28  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       * tree-cfg.c (move_block_to_fn): Release bb from dominance
+       info.  Update last_basic_block correctly.
+
+2007-04-27  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       PR target/31701
+       * config/sh/sh.c (output_stack_adjust): Avoid using the frame
+       register itself to hold the offset constant.  Tell flow the use
+       of r4 and r5 when they are used.
+
+2007-04-27  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
+       if we simplified anything.
+       (tree_ssa_forward_propagate_single_use_vars): Defer overflow
+       warnings until we did a simplification and the stmt was not
+       marked as TREE_NO_WARNING.
+
+2007-04-27  Mike Stump  <mrs@apple.com>
+
+       * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
+
+2007-04-27  Ian Lance Taylor  <iant@google.com>
+
+       PR middle-end/31710
+       * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
+       TYPE_MAX_VALUE exist, convert them to the new type.
+
+2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
+       if it claims to be available.
+       * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
+       edge is redirected.
+       (perform_tree_ssa_dce): Always free postdominators.
+
+2007-04-27  Richard Henderson  <rth@redhat.com>
+
+       * config/alpha/predicates.md (aligned_memory_operand): Mark
+       as define_special_predicate.
+       (unaligned_memory_operand, normal_memory_operand): Likewise.
+       (reg_or_unaligned_mem_operand): Remove.
+       (any_memory_operand): Match the documentation and check for
+       non-renumbered pseudos during reload.
+       * config/alpha/alpha.c (alpha_secondary_reload): Rename from
+       alpha_secondary_reload_class, update to new interface, make static.
+       Handle CQImode like HImode.  Remove FP subreg check.
+       (alpha_expand_mov): Use replace_equiv_address.
+       (alpha_expand_mov_nobwx): Use any_memory_operand.
+       (TARGET_SECONDARY_RELOAD): New.
+       * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
+       (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
+       * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
+       * config/alpha/alpha.md: ... here.
+       (RELOAD12, reloadmode): New.
+       (movcqi): New.
+       (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
+       Don't handle the aligned case here.
+       (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
+       (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
+       reload_inhi_help.  Don't expect a scratch register.
+       (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
+       reload_outhi_help.
+       * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
+
+2007-04-27  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
+
+2007-04-27  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/30965
+       PR tree-optimization/30978
+       * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
+        * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
+        (find_equivalent_equality_comparison): Likewise.
+        (simplify_cond): Likewise.
+        (get_prop_source_stmt): New helper.
+        (get_prop_dest_stmt): Likewise.
+       (can_propagate_from): Likewise.
+       (remove_prop_source_from_use): Likewise.
+        (combine_cond_expr_cond): Likewise.
+        (forward_propagate_comparison): New function.
+        (forward_propagate_into_cond): Rewrite to use fold for
+        tree combining.
+       (tree_ssa_forward_propagate_single_use_vars): Call
+       forward_propagate_comparison to propagate comparisons.
+
+2007-04-27  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/31715
+       * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
+       sure to do computation on the offset in an appropriate
+       signed type.
+
 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
 
        * reload.h (elimination_target_reg_p): Declare.