+2007-05-14 Dave Korn <dave.korn@artimi.com>
+
+ * genautomata.c (gen_regexp_el): Allocate correct size for regexp.
+
+2007-05-14 Rafael Avila de Espindola <espindola@google.com>
+
+ * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
+ instead of c_common_unsigned_type.
+ (c_common_unsigned_type): Remove.
+ (shorten_compare): Use c_common_signed_or_unsigned_type instead of
+ c_common_unsigned_type.
+ (c_common_nodes_and_builtins): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * c-common.h (c_common_unsigned_type): Remove.
+ * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * c-format.c (check_format_types): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
+ * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * convert.c (convert_to_integer): Use unsigned_type_for instead of
+ lang_hooks.types.unsigned_type.
+ * expmed.c (make_tree): Use unsigned_type_for instead of
+ lang_hooks.types.unsigned_type.
+ * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
+ lang_hooks.types.unsigned_type.
+ (build_range_check): Likewise.
+ (fold_unary): Likewise.
+ (fold_binary): Likewise.
+ (fold_ternary): Likewise.
+ * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
+ * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
+ * tree.c (get_unsigned_type): New.
+ (unsigned_type_for): Use get_unsigned_type instead of
+ lang_hooks.types.unsigned_type.
+
+2007-05-14 Kazu Hirata <kazu@codesourcery.com>
+
+ * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
+ to m68k_get_function_kind. Update its prototype.
+ * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
+ interrupt_thread.
+ (m68k_interrupt_function_p): Return enum m68k_function_type
+ instead of bool. Rename to m68k_get_function_kind.
+ (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
+ target is not fido.
+ (m68k_compute_frame_layout): Don't mark any register for save
+ if an interrupt_thread attribute is specified.
+ (m68k_hard_regno_rename_ok): Update a use of
+ m68k_interrupt_function_p.
+ * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
+ m68k_interrupt_function_p.
+ (m68k_function_type): New.
+ * config/m68k/m68k.md (*return): Output a 'sleep' instruction
+ for a function with an interrupt_thread attribute.
+ * doc/extend.texi: Document the interrupt_thread attribute.
+
+2007-05-13 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix PR tree-optimization/31911
+ * tree-ssa-pre.c (phi_translate): Make sure to cache results even
+ if they didn't change the expression.
+
+2007-05-13 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-scalar-evolution.c (resolve_mixers): Exported.
+ * tree-scalar-evolution.h (resolve_mixers): Declare.
+ * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
+ ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
+ record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
+ base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
+ init_array_ref, init_pointer_ref, analyze_indirect_ref,
+ strip_conversion, analyze_offset_expr, address_analysis,
+ object_analysis, analyze_offset): Removed.
+ (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
+ split_constant_offset, canonicalize_base_object_address,
+ object_address_invariant_in_loop_p, disjoint_objects_p,
+ dr_may_alias_p, dr_address_invariant_p): New functions.
+ (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
+ and dr_analyze_alias.
+ (initialize_data_dependence_relation): Use dr_may_alias_p
+ and object_address_invariant_in_loop_p.
+ (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
+ is chrec_dont_know.
+ (find_data_references_in_stmt): Restrict the analysis of data references
+ to the given loop nest.
+ (find_data_references_in_loop): Made static. Pass loop nest to
+ find_data_references_in_stmt.
+ (compute_data_dependences_for_loop): Use DR_VOPS.
+ (free_data_ref): Free DR_VOPS.
+ * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
+ (struct innermost_loop_behavior): ... new.
+ (struct base_object_info): Replaced by ...
+ (struct indices): ... new.
+ (struct dr_alias): New.
+ (enum data_ref_type): Removed.
+ (struct data_reference): Consist of struct innermost_loop_behavior,
+ struct indices and struct dr_alias.
+ (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
+ (DR_MEMTAG): Renamed to ...
+ (DR_SYMBOL_TAG): ... this.
+ (find_data_references_in_loop): Declaration removed.
+ * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
+ instead of DR_OFFSET_MISALIGNMENT. DR_ALIGNED_TO is never NULL.
+ (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
+ * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
+
+2007-05-13 Revital Eres <eres@il.ibm.com>
+
+ * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
+ which walks virtual def-use chains to find redundant stores.
+ (dse_optimize_stmt): Call it.
+
+2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
+
+ * gcse.c (gcse_main): Do jump bypassing in CPROP2.
+ * passes.c (init_optimization_passes): Move pass_jump_bypass
+ after loop2.
+
+ * basic-block.h (bb_has_eh_pred): Fix style issue.
+
+2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
+
+ PR rtl-optimization/31848
+ * loop-invariant.c (move_invariant_reg): If we move an insn
+ with a REG_EQUAL note, and that insn is not always executed,
+ remove the REG_EQUAL note.
+
+2007-05-12 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/31797
+ * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
+ propagate into a stmt that has volatile ops.
+
+2007-05-12 Richard Sandiford <richard@codesourcery.com>
+
+ * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
+ (gcc_tooldir): Likewise.
+ * configure: Regenerate.
+ * Makefile.in (libsubdir_to_prefix): New variable, based on the
+ old configure.ac gcc_tooldir setting.
+ (prefix_to_exec_prefix): New variable.
+ (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
+ rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
+
+2007-05-11 Silvius Rus <rus@google.com>
+
+ * Makefile.in (OBJS-common): Add tree-ssa-alias-warnings.o.
+ * c-common.c (strict_aliasing_warning): Modify -Wstrict-aliasing logic.
+ * c-common.h (strict_aliasing_warning): Change return type.
+ * c-opts.c (c_common_handle_option): Add call to set_Wstrict_aliasing.
+ * c-typeck.c (build_indirect_ref): Add call to strict_aliasing_warning.
+ (build_c_cast): Condition call to strict_aliasing_warning.
+ * doc/invoke.texi: Update description of -Wstrict-aliasing[=n].
+ * flags.h (set_Wstrict_aliasing): Declare.
+ * opts.c (set_Wstrict_alising): Define, add call to.
+ * tree-flow.h (strict_aliasing_warning_backend): Declare.
+ * tree-ssa-alias-warnings.c: New file.
+ * tree-ssa-alias.c (compute_may_aliases): Add call to
+ strict_aliasing_warning_backend.
+
+2007-05-11 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
+ Use loop_depth and loop_outer accessor functions.
+ * tree-ssa-loop-im.c (outermost_invariant_loop, set_level,
+ determine_invariantness_stmt, move_computations_stmt): Ditto.
+ * cfgloopmanip.c (fix_bb_placement, fix_loop_placement, remove_path,
+ add_loop, loopify, unloop, fix_loop_structure): Ditto.
+ * tree-ssa-loop-manip.c (find_uses_to_rename_use): Ditto.
+ * tree-scalar-evolution.c (interpret_loop_phi,
+ compute_scalar_evolution_in_loop, analyze_scalar_evolution_in_loop,
+ instantiate_parameters_1, scev_const_prop): Ditto.
+ * cfghooks.c (make_forwarder_block): Ditto.
+ * cfgloopanal.c (mark_irreducible_loops, mark_loop_exit_edges): Ditto.
+ * modulo-sched.c (loop_canon_p): Ditto.
+ * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg,
+ slpeel_can_duplicate_loop_p): Ditto.
+ * lambda-code.c (invariant_in_loop_and_outer_loops): Ditto.
+ * tree-cfg.c (tree_duplicate_sese_region): Ditto.
+ * cfgloop.c (flow_loop_dump, flow_loop_nodes_find, rescan_loop_exit,
+ cancel_loop, verify_loop_structure): Ditto.
+ (flow_loop_nested_p, superloop_at_depth, flow_loop_free,
+ add_bb_to_loop, remove_bb_from_loops, find_common_loop): Use the
+ superloops vector instead of "pred" array.
+ (establish_preds): Take father loop as an argument. Initialize the
+ superloops vector.
+ (flow_loop_tree_node_add): Pass father loop to establish_preds. Do not
+ initialize loop->outer.
+ (flow_loop_tree_node_remove): Truncate the superloops vector.
+ * cfgloop.h (struct loop): Removed field "outer", fields "depth" and
+ "pred" merged to "superloops" vector.
+ (loop_depth, loop_outer): New.
+ (fel_init): Use loop_outer.
+
+2007-05-11 Jan Hubicka <jh@suse.cz>
+
+ * cgraphunit.c: Include gt-cgraphunit.h
+ (static_ctors, static_dtors): New static vars.
+ (record_cdtor_fn, build_cdtor, cgraph_build_cdtor_fns): New functions,
+ based on implementation in c-common.c
+ (cgraph_finalize_function): Call record_cdtor_fn.
+ (cgraph_optimize): Call cgraph_build_cdtor_fns.
+ * decl.c (finish_function): Do not call c_record_cdtor_fn.
+ (c_write_global_declarations): Do not call c_build_cdtor_fns.
+ * c-common.c (static_ctors, static_dtors, c_record_cdtor_fn,
+ build_cdtor, c_build_cdtor_fns): Remove.
+ * c-common.h (static_ctors, static_dtors, c_record_cdtor_fn,
+ c_build_cdtor_fns): Remove prototype.
+
+2007-05-11 Paolo Carlini <pcarlini@suse.de>
+
+ PR other/31852
+ * builtin-types.def: Add BT_FN_PTR_CONST_PTR_INT_SIZE.
+ * builtins.def: Add BUILT_IN_MEMCHR, use the latter.
+ * builtins.c (fold_builtin_memchr): New.
+ (expand_builtin_memchr): Call the latter.
+ (expand_builtin, fold_builtin_3): Deal with BUILT_IN_MEMCHR.
+ * doc/extend.texi ([Other built-in functions provided by GCC]):
+ Document memchr.
+
+2007-05-11 Andreas Krebbel <krebbel1@de.ibm.com>
+
+ * config/s390/s390.md (GPR0_REGNUM, FPR0_REGNUM, FPR2_REGNUM,
+ PFPO_CONVERT, PFPO_OP_TYPE_SF, PFPO_OP_TYPE_DF, PFPO_OP_TYPE_TF,
+ PFPO_OP_TYPE_SD, PFPO_OP_TYPE_DD, PFPO_OP_TYPE_TD, PFPO_OP0_TYPE_SHIFT,
+ PFPO_OP1_TYPE_SHIFT): Constants added.
+ (DFP_ALL): Mode macro defined.
+ ("*trunc<BFP:mode><DFP_ALL:mode>2", "*trunc<DFP_ALL:mode><BFP:mode>2",
+ "*extend<BFP:mode><DFP_ALL:mode>2", "*extend<DFP_ALL:mode><BFP:mode>2"):
+ Insn definitions added.
+ ("trunc<BFP:mode><DFP_ALL:mode>2", "trunc<DFP_ALL:mode><BFP:mode>2",
+ "extend<BFP:mode><DFP_ALL:mode>2", "extend<DFP_ALL:mode><BFP:mode>2"):
+ Expanders added.
+
+2007-05-10 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR tree-optimization/31885
+ * tree-chrec.c (chrec_contains_undetermined): Do not consider NULL_TREE
+ to be undetermined.
+ (automatically_generated_chrec_p): Return false for NULL.
+
+2007-05-08 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * config/bfin/bfin.h (MOVE_RATIO): Define.
+
+2007-05-10 Richard Sandiford <richard@codesourcery.com>
+
+ * config.gcc (sparc-wrs-vxworks): New target.
+ * config/sparc/vxworks.h, config/sparc/t-vxworks: New files.
+ * config/sparc/sparc-protos.h (sparc_emit_call_insn): Declare.
+ * config/sparc/sparc.h: Include vxworks-dummy.h.
+ (PRINT_OPERAND_ADDRESS): Extend SYMBOL_REF handling to
+ include LABEL_REFs too.
+ * config/sparc/sparc.c (sparc_expand_move): Don't assume that
+ _GLOBAL_OFFSET_TABLE_ - label_ref is a link-time constant on
+ VxWorks.
+ (legitimize_pic_address): Handle LABEL_REFs like SYMBOL_REFs
+ on VxWorks.
+ (load_pic_register): Use gen_vxworks_load_got for VxWorks.
+ (sparc_emit_call_insn): New function.
+ (sparc_function_ok_for_sibcall): Restrict sibcalls to locally-binding
+ functions when generating VxWorks PIC.
+ * config/sparc/sparc.md (vxworks_load_got): New pattern.
+ (call, call_value): Use sparc_emit_call_insn instead of
+ emit_call_insn.
+
+2007-05-09 Bob Wilson <bob.wilson@acm.org>
+
+ * config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
+
+2007-05-09 Bob Wilson <bob.wilson@acm.org>
+
+ * config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
+ for floating-point values if HOST_BITS_PER_LONG > 32. Use split_double
+ instead of operand_subword.
+
+2007-05-08 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * config/bfin/bfin.h (LOCAL_ALIGNMENT): Define.
+ * config/bfin/bfin.c (bfin_local_alignment): New function.
+ * config/bfin/bfin-protos.h (bfin_local_alignment): Declare it.
+
+2007-05-08 Chao-ying Fu <fu@mips.com>
+
+ * doc/md.texi (msub@var{m}@var{n}4, usub@var{m}@var{n}4): Document.
+ * optabs.h (OTI_smsub_widen, OTI_umsub_widen): New optab_indexes.
+ (smsub_widen_optab, umsub_widen_optab): Define.
+ * optabs.c (init_optabs): Initialize smsub_widen_optab and
+ umsub_widen_optab.
+ * genopinit.c (optabs): Fill in smsub_widen_optab and
+ umsub_widen_optab.
+ * expr.c (expand_expr_real_1): Try to use smsub_widen_optab
+ and umsub_widen_optab to implement multiply-subtract sequences.
+ * config/mips/mips.md (*msac<u>_di): Rename to...
+ (<u>msubsidi4): ...this. Extend condition to include
+ GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
+ of operand 0 to "ka" and use the three-operand form of msub<u>
+ for TARGET_DSPR2.
+ * config/mips/mips-dspr2.md (mips_msub, mips_msubu): Convert
+ to define_expands.
+
+2007-05-08 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ PR rtl-optimization/28011
+ * reload.c (push_reload): Set dont_share if IN appears in OUT
+ also when IN is a PLUS rtx.
+ (reg_overlap_mentioned_for_reload_p): Return true if X and IN
+ are same PLUS rtx.
+
+2007-05-08 Kazu Hirata <kazu@codesourcery.com>
+
+ * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL. Don't
+ call unshare_all_decls.
+ (unshare_all_rtl): Adjust the call to unshare_all_rtl_1.
+ (unshare_all_decls): Remove.
+
+2007-05-08 Simon Martin <simartin@users.sourceforge.net>
+
+ PR 31847
+ * tree-dump.c (dump_options): Don't use TDF_DIAGNOSTIC in "*-all" tree
+ dumps.
+
+2007-05-08 Sandra Loosemore <sandra@codesourcery.com>
+ Nigel Stephens <nigel@mips.com>
+
+ * config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
+ Update comments and all uses.
+ (MIN_FPRS_PER_FMT): Define.
+ * config/mips/mips.c (function_arg): Fix to correctly handle
+ the -mips32r2 -mfp64 -mabi=32 case.
+ (override_options): Enable use of odd-numbered registers for
+ SFmode values on MIPS32.
+ (mips_save_reg_p): Save whole floating-point register pair if
+ either half is used.
+ (compute_frame_size): Fix comment.
+
+2007-05-08 Jie Zhang <jie.zhang@analog.com>
+
+ * config/bfin/bfin-protos.h (bfin_expand_epilogue): Add a third
+ argument of type bool.
+ * config/bfin/bfin.c (add_to_reg): Add epilogue_p as a fourth
+ argument. Safely select temporary P register according to it.
+ (do_link): Change call site of add_to_reg accordingly.
+ (do_unlink): Add epilogue_p as a fourth argument and pass it
+ to add_to_reg.
+ (expand_interrupt_handler_epilogue): Change call of do_unlink
+ accordingly.
+ (bfin_expand_prologue): Add a third argument sibcall_p.
+ * config/bfin/bfin.md (epilogue): Change call of
+ bfin_expand_epilogue accordingly.
+ (sibcall_epilogue): Likewise.
+ (eh_return_internal): Likewise.
+
+ * config/bfin/bfin-protos.h (enum bfin_cpu): Add
+ BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
+ * config/bfin/bfin.c (bfin_handle_option): Handle
+ -mcpu=bf534, -mcpu=bf536 and -mcpu=bf561.
+ * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS):
+ Support bf534, bf536 and bf561.
+ * doc/invoke.texi (Blackfin Options): Document -mcpu and -msim.
+
+2007-05-08 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/31854
+ * config/i386/i386.c (ix86_function_regparm): Process local
+ functions only when TREE_CODE (decl) equals FUNCTION_DECL.
+
+2007-05-07 Mike Stump <mrs@apple.com>
+
+ * doc/invoke.texi (Warning Options): Document that -Wempty-body
+ also checks for and while statements in C++.
+
+2007-05-07 Nathan Froyd <froydnj@codesourcery.com>
+
+ * gcc.c (at_file_supplied): New variable.
+ (main): Set it if we expanded argv.
+ (do_spec_1): Pass an @-file to the linker if we were called with
+ an @-file argument and HAVE_GNU_LD.
+ * collect2.c (at_file_supplied): New variable.
+ (response_file): New variable.
+ (collect_exit): Unlink response_file if necessary.
+ (handler): Likewise.
+ (do_wait): Likewise.
+ (main): Set at_file_supplied if we expanded argv.
+ (collect_execute): Pass an @-file to subprocesses if we were called
+ with an @-file argument.
+ * configure.ac: Add define for HAVE_GNU_LD.
+ * configure: Regenerate.
+ * config.in: Regenerate.
+
+2007-05-07 Naveen.H.S <naveen.hs@kpitcummins.com>
+
+ * config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
+ operand to HI mode.
+ (mulsi3): New.
+ (divsi3): New.
+ (udivsi3): New.
+
+2007-05-07 Jayant Sonar <jayants@kpitcummins.com>
+
+ * config/m32c/m32c.c (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
+ (TARGET_ENCODE_SECTION_INFO): Re-define.
+ (m32c_encode_section_info): New
+ (function_vector_handler): New
+ (current_function_special_page_vector): New
+ (m32c_special_page_vector_p): New.
+ * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
+ Prototype.
+ * config/m32c/jump.md: Added instruction JSRS for functions
+ with attribute "function_vector".
+ * doc/extend.texi (function_vector): Added description
+ for M16C, M32C targets.
+
+2007-05-07 DJ Delorie <dj@redhat.com>
+
+ PR 31794
+ * config/m32c/shift.md (ashlpsi3_i, ashrpsi3_i, ashlpsi3,
+ ashrpsi3, lshrpsi3): Update shift count constraint.
+
+2007-05-07 Danny Smith <dannysmith@users.sourceforge.net>
+ Nathan Froyd <froydnj@codesourcery.com>
+
+ PR 22133
+ * c-incpath.c (add_path): Strip trailing path separators.
+
+2007-05-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * tree-ssa-dom.c (tree_ssa_dominator_optimize): Reset cfg_altered.
+ Free dominance info before purging EH edges.
+ (eliminate_degenerate_phis): Likewise.
+ (propagate_rhs_into_lhs): Set cfg_altered to true instead of 1.
+
+2007-05-07 Jan Hubicka <jh@suse.cz>
+
+ * gimplify.c (gimplify_expr): Do not crash when folding
+ (void *)(int)&a + 4.
+
+2007-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
+
+ PR driver/31694
+ * c-opts.c (lang_fortran): Make it non static.
+ * c-common.h (lang_fortran): New prototype.
+ * c-cppbuiltin.c (c_cpp_builtins): Create a __GFORTRAN__ if the
+ -lang-fortran option was passed by the driver.
+
+2007-05-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * timevar.c (timevar_print): Test ENABLE_ASSERT_CHECKING instead
+ of ASSERT_CHECKING. Tweak message.
+
+2007-05-06 Revital Eres <eres@il.ibm.com>
+
+ PR 30957
+ * loop-unroll.c (insert_var_expansion_initialization):
+ Initialize the expansions with -zero instead of +zero.
+
+2007-05-05 Aurelien Jarno <aurelien@aurel32.net>
+
+ * config/pa/pa.md: Split tgd_load, tld_load and tie_load
+ into pic and non-pic versions. Mark r19 as used for
+ tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
+ for tgd_load, tld_load and tie_load .
+ * config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
+ version of tgd_load, tld_load and tie_load depending on the
+ value of flag_pic.
+
+2007-05-04 Ulrich Drepper <drepper@redhat.com>
+ Jakub Jelinek <jakub@redhat.com>
+
+ * crtstuff.c (HIDDEN_DTOR_LIST_END): New macro.
+ (__do_global_dtors_aux): Use more paranoid loop to run
+ destructors if HIDDEN_DTOR_LIST_END.
+ (__DTOR_END__): Export as a hidden symbol when HIDDEN_DTOR_LIST_END.
+
+2007-05-04 Jakub Jelinek <jakub@redhat.com>
+
+ * varasm.c (align_variable): Don't increase alignment for
+ DECL_THREAD_LOCAL_P variables above BITS_PER_WORD through
+ DATA_ALIGNMENT or CONSTANT_ALIGNMENT.
+
+2007-05-04 Josh Conner <jconner@apple.com>
+
+ * basic-block.h (cdi_direction): Assign values to all enumeration
+ constants.
+ (dom_computed): Remove.
+ (dom_info_state): New.
+ (set_dom_info_availability): New.
+ * tree-ssa-loop-im.c (determine_invariantness): Initialize
+ walk_data.dom_direction.
+ * cfghooks.c (delete_basic_block): Use dom_info_available_p()
+ instead of dom_computed[].
+ (split_edge): Likewise.
+ (create_basic_block): Likewise.
+ (merge_blocks): Likewise.
+ * ifcvt.c (find_if_header): Likewise.
+ * tree-cfgcleanup.c (cleanup_tree_cfg): Likewise.
+ * tree-ssa-dce.c (remove_dead_stmt): Likewise.
+ * tree-ssa.c (verify_ssa): Likewise.
+ * tree-cfg.c (tree_verify_flow_info): Likewise.
+ (remove_edge_and_dominated_blocks): Likewise.
+ * dominance.c (dom_computed): Make static.
+ (calc_dfs_tree_nonrec): Change third param to a bool.
+ (calc_dfs_tree): Change second param to a bool.
+ (calc_idioms): Change second param to a bool. Use
+ dom_convert_dir_to_idx.
+ (init_dom_info): Validate dir before using.
+ (dom_convert_dir_to_idx): New.
+ (calculate_dominance_info): Use dom_convert_dir_to_idx. New
+ variable 'reverse' used for calling calc_dfs_tree and calc_idoms.
+ (free_dominance_info): Use dom_convert_dir_to_idx.
+ (get_immediate_dominator): Likewise.
+ (set_immediate_dominator): Likewise.
+ (get_dominated_by): Likewise.
+ (redirect_immediate_dominators): Likewise.
+ (nearest_common_denominator): Likewise.
+ (dominated_by_p): Likewise.
+ (bb_dom_dfs_in): Likewise.
+ (bb_dom_dfs_out): Likewise.
+ (recount_dominator): Likewise.
+ (iterate_fix_dominators): Likewise.
+ (add_to_dominance_info): Likewise.
+ (delete_from_dominance_info): Likewise.
+ (first_dom_son): Likewise.
+ (next_dom_son): Likewise.
+ (dom_info_available_p): Likewise.
+ (dom_info_state): New.
+ (set_dom_info_availability): New.
+
+2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
+
+ * config/s390/s390.md ("fix_trunc<mode>di2", "fix_trunc<mode>si2"):
+ Expander removed.
+ ("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
+
+2007-05-04 Bob Wilson <bob.wilson@acm.org>
+
+ * config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
+ (subdi3, subdi_carry): Delete.
+
+2007-05-04 Jan Hubicka <jh@suse.cz>
+ Richard Guenther <rguenther@suse.de>
+
+ * opts.c (decode_options): Do not fiddle with inlining
+ parameters in case of optimizing for size.
+ * ipa-inline.c (cgraph_decide_recursive_inlining): When optimizing
+ for size do nothing.
+ (cgraph_decide_inlining_of_small_function): When optimizing for
+ size never inline functions increasing caller size.
+ (cgraph_early_inlining): Inline for size when optimizing for size.
+
+2007-04-18 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * config/bfin/bfin.md (<optab>di3): Now a define_expand which expands
+ logical operations piecewise.
+ (<optab>di_zesidi_di, <optab>di_sesidi_di, negdi2, one_cmpldi2,
+ zero_extendsidi2, subdi_di_zesidi, subdi_zesidi_di, subdi_di_sesidi,
+ subdi_sesidi_di): Delete.
+ (add_with_carry): Produce carry in CC instead of a DREG to shorten
+ the generated sequence. Allow three-reg add in constraints. Rewrite
+ the rtl expression for carry to avoid zero_extend of a constant.
+ (sub_with_carry): New pattern.
+ (adddi3, subdi3): Change into define_expand. For subtract, generate a
+ different sequence not involving jumps.
+ (notbi): Now a named pattern.
+
+2007-05-04 Bradley Lucier <lucier@math.purdue.edu>
+
+ * doc/invoke.texi (i386 and x86-64 Options) [-mpc32, -mpc64, -mpc80]:
+ Add the note about a significant loss of accuracy of some
+ mathematical routines when these options are used.
+
+2007-05-04 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
+
+ * haifa-sched.c (rtx_vec_t): New typedef.
+ (contributes_to_priority_p): Extract piece of priority () into new
+ static function.
+ (priority): Use the function. Add assertion.
+ (rank_for_schedule, set_priorities): Add assertion to check that
+ insn's priority is initialized.
+ (clear_priorities, calc_priorities): Change signature. Make it update
+ all relevant insns. Update all callers ('add_to_speculative_block ()'
+ and 'create_block_check_twin ()').
+ * sched-int.h (struct haifa_insn_data): Remove field 'priority_known'.
+ Add new field 'priority_status'.
+ (INSN_PRIORITY_STATUS): New macro.
+ (INSN_PRIORITY_KNOWN): Change to use INSN_PRIORITY_STATUS.
+
+2007-05-04 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
+
+ * sched-ebb.c (debug_ebb_dependencies): New static function.
+ (init_ready_list): Use it.
+
+ * sched-rgn.c (debug_dependencies): Split into 'debug_dependencies ()'
+ with changed signature and 'debug_rgn_dependencies ()'.
+ (debug_rgn_dependencies): New static function.
+ (init_ready_list): Use it.
+
+ * sched-int.h (debug_dependencies): Declare.
+
+2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
+
+ * libgcc-std.ver (__ffssi2): Added to GCC_4.3.0 section.
+
+2007-05-04 Dirk Mueller <dmueller@suse.de>
+
+ * c.opt(Wmain,ffreestanding): Enable for C++,ObjC++.
+
+2007-05-03 Jan Hubicka <jh@suse.cz>
+
+ * fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
+ for pointer type in more cases than before.
+
+ * gimplify.c (gimplify_expr): Fold (void *)&a + 4.
+
+ * tree-object-size.c (plus_expr_object_size): When operand size is
+ unknown, return unknown.
+
+2007-05-03 Dirk Mueller <dmueller@suse.de>
+
+ * doc/invoke.texi (-m386,-m486,-mpentium,-mpentiumpro): Remove.
+
+ * config/i386/i386.h (CC1_CPU_SPEC): Remove handling for deprecated
+ options.
+
+ * config/i386/i386.opt (m386,m486,mpentium,mpentiumpro): Remove.
+
+2007-05-03 Janis Johnson <janis187@us.ibm.com>
+
+ * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
+
+2007-05-03 Joseph Myers <joseph@codesourcery.com>
+
+ * config/soft-fp/double.h, config/soft-fp/extended.h,
+ config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
+ config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
+ config/soft-fp/op-2.h, config/soft-fp/op-4.h,
+ config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
+ glibc CVS.
+
+2007-05-03 Ian Lance Taylor <iant@google.com>
+
+ * config/rs6000/rs6000.c (rs6000_override_options): Don't set
+ MASK_PPC_GFXOPT for 8540 or 8548.
+
+2007-05-03 Uros Bizjak <ubizjak@gmail.com>
+
+ * tree-vect-transform.c (vect_update_inits_of_drs): Use
+ vect_print_dump_info() to output debug information.
+
+2007-05-03 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/31768
+ * config/i386/i386.c (print_operand) ['z']: Output 'w' for
+ operands of size 2 when operand is not MEM_P.
+
+2007-05-03 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR tree-optimization/30565
+ * lambda-code.c (perfect_nestify): Fix updating of dominators.
+
+2007-05-03 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
+ (umulsi3_highpart): Use them.
+ * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
+ for final accumulator to D regisster tranfser.
+
+2007-05-03 Dorit Nuzman <dorit@il.ibm.com>
+
+ PR tree-optimization/31699
+ * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
+ code.
+ (vect_enhance_data_refs_alignment): Compute peel amount using
+ TYPE_VECTOR_SUBPARTS instead of vf.
+ * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
+
+2007-05-02 Brooks Moses <brooks.moses@codesourcery.com>
+
+ PR bootstrap/31776
+ * system.h: Remove inclusion of double-int.h
+ * tree.h: Include double-int.h
+ * gengtype.c: Likewise
+ * cfgloop.h: Likewise
+ * Makefile.in: Adjust dependencies on double-int.h
+
+2007-05-02 Eric Christopher <echristo@apple.com>
+
+ * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
+ -shared to -Zdynamiclib.
+
+2007-05-02 Seongbae Park <seongbae.park@gmail.com>
+
+ PR c++/31663
+ * c-common.c (strip_pointer_or_array_types): New function.
+ * c-common.h (strip_pointer_or_array_types): New function declaration.
+
+2007-05-03 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR tree-optimization/31771
+ * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
+
+2007-05-02 Paul Brook <paul@codesourcery.com>
+
+ * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
+
+2007-05-02 Andrew Pinski <andrew_pinski@playstation.sony.com>
+
+ PR middle-end/29715
+ * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
+ transformation.
+
+2007-05-02 Nick Clifton <nickc@redhat.com>
+
+ * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
+
+2007-05-02 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/31146
+ * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
+ argument, single_use_p. If we have a single use that is
+ a conversion to the definition rhs type, propagate that rhs.
+ (forward_propagate_addr_expr): Pass single_use_p argument
+ to forward_propagate_addr_expr_1.
+
+2007-05-01 H.J. Lu <hongjiu.lu@intel.com>
+
+ * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
+ variable.
+
+2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
+
+ * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
+ 'AMD Family 10 core'.
+
+2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
+
+ * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
+ and athlon64-sse3 as improved versions of k8, opteron and athlon64
+ with SSE3 instruction set support.
+ * doc/invoke.texi: Likewise.
+
+2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
+
+ * config/i386/i386.c (override_options): Tuning 32-byte loop
+ alignment for amdfam10 architecture. Increasing the max loop
+ alignment to 24 bytes.
+
+2007-05-01 Kazu Hirata <kazu@codesourcery.com>
+
+ * config/m68k/constraints.md: New.
+ * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
+ CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
+ EXTRA_CONSTRAINT): Remove.
+ * config/m68k/m68k.md: Include constraints.md.
+ * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
+
+2007-05-01 Ian Lance Taylor <iant@google.com>
+
+ PR tree-optimization/31739
+ * tree-vrp.c (vrp_val_is_max): New static function.
+ (vrp_val_is_min): New static function.
+ (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
+ copying the node.
+ (set_value_range): Use vrp_val_is_{max,min}.
+ (extract_range_from_assert): Likewise.
+ (extract_range_from_binary_expr): Likewise.
+ (extract_range_from_unary_expr): Likewise.
+ (dump_value_range, vrp_meet): Likewise.
+ (vrp_visit_phi_node): Likewise.
+ * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
+
+2007-05-01 Mark Mitchell <mark@codesourcery.com>
+
+ * config/i386/gmon-sol2.c (size_t): New type.
+ (intptr_t): Likewise.
+ (s_textsize): Declare as size_t.
+ (sbrk): Declare.
+ (monstartup): Use size_t for sizes.
+ (_mcount): Save and restore registers.
+ (internal_mcount): Pass 0 as the first argument to monstartup
+ in 64-bit mode.
+ (moncontrol): Convert pointer to appropriately sized integer
+ before passing to profil.
+
+2007-05-01 Joseph Myers <joseph@codesourcery.com>
+
+ * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
+ __NO_FPRS__, not just if _SOFT_DOUBLE.
+ * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
+ * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
+ also for E500 double.
+ * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
+ suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
+ && !TARGET_FPRS).
+
+2007-05-01 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
+ is NULL.
+
+2007-05-01 Joseph Myers <joseph@codesourcery.com>
+
+ * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
+
+2007-05-01 Jan Hubicka <jh@suse.cz>
+
+ * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
+ invariant.
+
+2007-05-01 Jan Hubicka <jh@suse.cz>
+
+ * tree.h (maybe_fold_offset_to_component_ref): Remove.
+ (maybe_fold_offset_to_reference): Declare.
+ * fold-const.c (fold_unary): Do not fold
+ (type *)&A into &A->field_of_type_and_offset_0
+ * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
+ size is unknown, give up.
+ (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
+ offsets.
+ (maybe_fold_offset_to_reference): New.
+ (maybe_fold_stmt_indirect): Use it.
+ (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
+ * gimplify.c (gimplify_conversion): Canonicalize conversions to
+ field references.
+ (gimplify_expr): Likewise for plus_expr.
+
+2007-05-01 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
+ bsi_after_labels. Always insert statements before bsi.
+ * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
+ * predict.c (apply_return_prediction): Check for empty blocks.
+ * cfgexpand.c (lab_rtx_for_bb): New variable.
+ (label_rtx_for_bb): Do not create new tree labels.
+ (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
+ (tree_expand_cfg): Initialize lab_rtx_for_bb.
+ * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
+ creating edges.
+ (label_for_bb): Add field used.
+ (update_eh_label, main_block_label): Mark the label used.
+ (cleanup_dead_labels): Remove unused labels.
+
+2007-05-01 Richard Guenther <rguenther@suse.de>
+
+ * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
+ if it is not about to be set.
+ (get_value_range): Do not pre-allocate equiv bitmap.
+ (update_value_range): No need to clear equiv field.
+ (add_equivalence): Change prototype to get bitmap pointer.
+ Allocate bitmap here if it is not already.
+ (extract_range_from_assert): Do not allocate bitmap here.
+ Update callers to add_equivalence.
+ (extract_range_from_ssa_name): Likewise.
+ (get_vr_for_comparison): New static helper.
+ (compare_name_with_value): Handle NULL equiv bitmap by
+ peeling the first iteration of the comparison loop.
+ Use get_vr_for_comparison.
+ (compare_names): Handle NULL equiv bitmaps by using fake
+ ones. Use get_vr_for_comparison.
+
+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.
2007-04-26 Anatoly Sokolov <aesok@post.ru>
- * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
+ * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
* config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
* config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
2007-04-24 Richard Guenther <rguenther@suse.de>
Olga Golovanevsky <olga@il.ibm.com>
- * fold-const.c (multiple_of_p): Check for bottom
- to be zero.
+ * fold-const.c (multiple_of_p): Check for bottom
+ to be zero.
2007-04-24 Richard Henderson <rth@redhat.com>
- * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
+ * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
IS_IBM_EXTENDED. Also define in terms of WIDEST_HARDWARE_FP_SIZE.
* libgcc2.c (__floatdisf): Avoid double-word arithmetic when
looking for non-zero bits shifted out. Avoid a recursive call
OSDN Git Service
