OSDN Git Service

* tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 555a1ab..cd3a80f 100644 (file)
@@ -1,3 +1,786 @@
+2010-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on
+       BUILT_IN_ALLOCA if stack checking is enabled.
+
+2010-05-16  Richard Guenther  <rguenther@suse.de>
+
+       * var-tracking.c (vars_copy_1): Inline ...
+       (vars_copy): ... here.  Use FOR_EACH_HTAB_ELEMENT.
+       (variable_union): Use FOR_EACH_HTAB_ELEMENT.  Merge asserts.
+       (variable_merge_over_cur): Adjust.  Merge asserts.
+       (variable_merge_over_src): Likewise.
+       (dataflow_set_merge): Use FOR_EACH_HTAB_ELEMENT.
+       (variable_post_merge_new_vals): Merge asserts.
+       (variable_post_merge_perm_vals): Likewise.
+       (find_mem_expr_in_1pdv): Likewise.
+       (dataflow_set_different_value): Remove.
+       (onepart_variable_different_p): Merge asserts.
+       (variable_different_p): Likewise.
+       (dataflow_set_different_1): Inline ...
+       (dataflow_set_different): ... here.  Use FOR_EACH_HTAB_ELEMENT.
+       (emit_notes_for_differences_1): Merge asserts.
+
+2010-05-16  Richard Guenther  <rguenther@suse.de>
+
+       * lto-symtab.c (lto_symtab_entry_hash): Use IDENTIFIER_HASH_VALUE.
+       * optabs.c (libfunc_decl_hash): Likewise.
+       * varasm.c (emutls_decl): Likewise.
+
+2010-05-16  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * c-decl.c: Don't include gimple.h.
+       (merge_decls): Do not copy gimple_body.
+
+2010-05-15  Jason Merrill  <jason@redhat.com>
+
+       * c.opt: Add -fnothrow-opt.
+
+2010-05-15  Jan Hubicka  <jh@suse.cz>
+
+       * ipa-prop.c (ipa_prop_read_section): Add sanity check that node is
+       analyzed.
+       * passes.c (ipa_write_summaries): Write all analyzed nodes.
+
+2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * vecir.h: New file with VEC primitives for tree, gimple, and rtl.
+       * Makefile.in: Add it.
+       Fix all other Makefile dependencies for changes below.
+       * tree.h: Include it instead of defining VEC primitives here.
+       * gimple.h: Likewise.
+       * rtl.h: Likewise.
+       * tree-inline.h: Inlclude vecir.h instead of gimple.h.
+       * except.h: Include vecir.h, break dependence on tree.h.
+
+       * gimplify.c (append_to_statement_list_1, append_to_statement_list):
+       Move from here...
+       * tree-iterator.c: ...to here.
+       * tree-iterator.h: Fix file introduction comment.  Add extern markers.
+
+       * c-lex.c: Include fixed-value.h instead of rtl.h.  Do not include
+       tm_p.h.
+       * c-cppbuiltin.c: Explain why debug.h and tm_p.h are included.
+       * c-objc-common.h: Do not include tm.h, rtl.h, insn-config.h,
+       integrate.h, function.h, toplev.h, tree-inline.h, ggc.h,
+       tree-mudflap.h, and target.h.
+       * c-semantics.c: Do not include except.h, ggc.h, rtl.h, timevar.h,
+       predict.h, tree-inline.h, gimple.h, and langhooks.h.
+       * c-decl.c: Do not include expr.h, ggc.h, libfuncs.h, except.h.
+       Add FIXME for why gimple.h is still included (should be unnecessary
+       since GCC 4.5 gimplification unit-at-a-time).
+       * c-typeck.c: Do not include rtl.h, tm_p.h, ggc.h, and gimple.h.
+       * c-pragma.c: Add FIXME for why function.h needs to be included just
+       for cfun, at front-end level.
+       Add note that REGISTER_TARGET_PRAGMAS should probably be a target hook.
+       Do not include ggc.h, but include vecprim.h for VEC(char).
+       * c-opts.c: Do not include tm.h, tree-inline.h, and tm_p.h.
+       Explain why target.h is included.
+       * c-omp.h: Do not include tm.h, function.h, and bitmap.h.
+       Explain why gimple.h is included.
+       * c-ppoutput.c: Do not include tm.h.
+       * c-common.c: Do not include gimple.h.  Explain why expr.h is included.
+       * c-parses.c: Explain why rtl.h is included, and that this (and only
+       this) is also why tm.h must be included.
+       Do not include except.h.
+       * c-lang.c: Do not include ggc.h.
+
+2010-05-15  Uros Bizjak  <ubizjak@gmail.com>
+
+       * targhooks.c (GO_IF_MODE_DEPENDENT_ADDRESS): Use CONST_CAST_RTX.
+
+2010-05-15  Joseph Myers  <joseph@codesourcery.com>
+
+       * c-decl.c (grokfield): Allow typedefs for anonymous structs and
+       unions by default if those structs and unions have no tags.  Do
+       not condition anonymous struct and unions handling on flag_iso.
+       Allow anonymous structs and unions for C1X.
+       (finish_struct): Do not diagnose lack of named fields when
+       anonymous structs and unions present for C1X.  Accept flexible
+       array members in structure with anonymous structs or unions but no
+       directly named fields.
+       * doc/extend.texi (Unnamed Fields): Update.
+
+2010-05-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gimple.h (compare_field_offset): Rename into...
+       (gimple_compare_field_offset): ...this.
+       * gimple.c (compare_field_offset): Rename into...
+       (gimple_compare_field_offset): ...this.  Compare the full access if
+       the offset is self-referential.
+       (gimple_types_compatible_p): Adjust for above renaming.
+       * lto-streamer-in.c (input_gimple_stmt): Likewise.  Also compare the
+       DECL_NONADDRESSABLE_P flag of fields before merging them.
+
+2010-05-15  Nathan Froyd  <froydnj@codesourcery.com>
+
+       * tree.h (ctor_to_list): Delete.
+       * tree.c (ctor_to_list): Delete.
+
+2010-05-15  Jan Hubicka  <jh@suse.cz>
+
+       * ipa-reference.c: Include toplev.h
+       (is_proper_for_analysis): Only add to all_module_statics
+       if it is allocated.
+       (write_node_summary_p, stream_out_bitmap,
+       ipa_reference_write_optimization_summary,
+       ipa_reference_read_optimization_summary): New.
+       (struct ipa_opt_pass_d pass_ipa_reference): Add
+       optimization summary streaming.
+       * lto-cgraph.c (referenced_from_this_partition_p,
+       reachable_from_this_partition_p): New functions.
+       * tree-ssa-alias.c (ref_maybe_used_by_call_p_1,
+       call_may_clobber_ref_p_1): Ask ipa-reference even for public vars.
+       * opts.c (decode_options): Enable ipa_reference.
+       * Makefile.in (ipa-reference.o): Add toplev.h dependency.
+       * lto-streamer.h (referenced_from_this_partition_p,
+       reachable_from_this_partition_p): Declare.
+
+2010-05-15  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/44038
+       * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Avoid
+       taking the address of a V_C_E of a constant.
+
+2010-05-14  Jan Hubicka  <jh@suse.cz>
+
+       * tree.h (memory_identifier_string): Remove.
+       * ipa-reference.c: Update comment; do not include gt-ipa-reference.h
+       (ipa_reference_global_vars_info_d): Remove statics_not_read and
+       statics_not_written.
+       (ipa_reference_optimization_summary_d): New structure.
+       (ipa_reference_optimization_summary_t): New type and vector.
+       (ipa_reference_vars_info_d): Embedd structures instead of using
+       pointers.
+       (reference_vars_to_consider): Remove out of GGC space.
+       (module_statics_escape): Remove.
+       (global_info_obstack): Rename to ...
+       (optimization_summary_obstack): ... this one.
+       (initialization_status_t): Remove.
+       (memory_identifier_string): Remove.
+       (get_reference_vars_info): Fix indenting.
+       (set_reference_vars_info): Likewise.
+       (get_reference_optimization_summary): New.
+       (set_reference_optimization_summary): New.
+       (get_global_reference_vars_info): Remove.
+       (ipa_reference_get_read_global): Remove.
+       (ipa_reference_get_written_global): Remove.
+       (ipa_reference_get_not_read_global): Update.
+       (ipa_reference_get_not_written_global): Update.
+       (is_proper_for_analysis): Outlaw addressable.
+       (propagate_bits): Update for new datastructures.
+       (analyze_variable): Remove.
+       (init_function_info): Update for new datastructures.
+       (clean_function_local_data): Remove.
+       (clean_function): Remove.
+       (copy_global_bitmap): Use optimizations_summary_obstack.
+       (duplicate_node_data): Duplicate optimization summary only.
+       (remove_node_data): Remove optimization summary only.
+       (generate_summary): Do not analyze variables; do not compute
+       module_statics_escape; do not prune solutions by it.
+       (read_write_all_from_decl): Fix typos in comments.
+       (propagate): Doscover readonly and nonaddressable first;
+       update for new datastructures; share global bitmaps.
+       * ipa-reference.h (ipa_reference_get_read_global,
+       ipa_reference_get_written_global): Remove.
+       * ipa-pure-const.c (check_stmt): Do not use memory_identifier_string.
+       * Makefile.in: Remove ipa-refereference from GT files.
+
+2010-05-14  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/44112
+       * dwarf2out.c (resolve_one_addr): Check TREE_ASM_WRITTEN
+       for all SYMBOL_REF_DECLs.
+
+2010-05-14  Jan Hubicka  <jh@suse.cz>
+
+       * cgraph.h (ipa_discover_readonly_nonaddressable_vars): Declare.
+       (varpool_all_refs_explicit_p): New inline function.
+       * ipa-reference.c: Update comment.
+       (module_statics_written): Remove.
+       (get_static_decl): Remove.
+       (ipa_init): Do not initialize module_statics_written.
+       (analyze_function): Likewise.
+       (generate_summary): Likewise; do not compute module_statics_readonly
+       and do not update variable flags.
+       (propagate): Call ipa_discover_readonly_nonaddressable_vars.
+       * ipa.c: Inlucde flags.h
+       (cgraph_local_node_p): New.
+       (cgraph_remove_unreachable_nodes): Return early when not optimizing;
+       promote functions to local.
+       (ipa_discover_readonly_nonaddressable_vars): New function.
+       (function_and_variable_visibility): Use cgraph_local_node_p.
+       * varpool.c (varpool_finalize_decl): Set force_output for
+       DECL_PRESERVE_P vars.
+
+2010-05-14  Jan Hubicka  <jh@suse.cz>
+
+       * ipa.c (cgraph_remove_unreachable_nodes): Revert accidental commit.
+
+2010-05-14  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/44119
+       * tree-ssa-pre.c (eliminate): Properly mark replacement of
+       a PHI node necessary.
+
+2010-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree.h (TREE_ADDRESSABLE): Remove bogus usage for FIELD_DECL.
+
+2010-05-14  Jason Merrill  <jason@redhat.com>
+
+       PR c++/44127
+       * gimple.h (enum gf_mask): Add GF_CALL_NOTHROW.
+       (gimple_call_set_nothrow): New.
+       * gimple.c (gimple_build_call_from_tree): Call it.
+       (gimple_call_flags): Set ECF_NOTHROW from GF_CALL_NOTHROW.
+
+       PR c++/44127
+       * gimplify.c (gimplify_seq_add_stmt): No longer static.
+       * gimple.h: Declare it.
+       * gimple.c (gimple_build_eh_filter): No ops.
+
+2010-05-14  Jan Hubicka  <jh@suse.cz>
+
+       * ipa.c (enqueue_cgraph_node): Update comment; do not re-enqueue
+       nodes already in queue.
+       (cgraph_remove_unreachable_nodes): Cleanup; fix problem with
+       re-enqueueing node.
+
+2010-05-14  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/44136
+       * cfgexpand.c (expand_debug_expr): If non-memory op0
+       has BLKmode, return NULL.
+
+2010-05-14  Harsha Jagasia  <harsha.jagasia@amd.com>
+
+       * config.gcc: Add support for --with-cpu option for bdver1.
+       * config/i386/i386.h (TARGET_BDVER1): New macro.
+       (ix86_tune_indices): Change SSE_UNALIGNED_MOVE_OPTIMAL
+       to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
+       (ix86_tune_features) :Change SSE_UNALIGNED_MOVE_OPTIMAL
+       to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
+       Add SSE_PACKED_SINGLE_INSN_OPTIMAL.
+       (TARGET_CPU_DEFAULT_NAMES): Add bdver1.
+       (processor_type): Add PROCESSOR_BDVER1.
+       * config/i386/i386.md: Add bdver1 as a new cpu attribute to match
+       processor_type in config/i386/i386.h.
+       Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit
+       movaps <reg, reg> instead of movapd <reg, reg> when replacing
+       movsd <reg, reg> or movss <reg, reg> for SSE and AVX.
+       Add check for  TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL
+       to emit packed xor instead of packed double/packed integer
+       xor for SSE and AVX when moving a zero value.
+       * config/i386/sse.md: Add check for
+       TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movaps instead of
+       movapd/movdqa for SSE and AVX.
+       Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed
+       single logical operations i.e and, or and xor instead of packed double
+       logical operations for SSE and AVX.
+       * config/i386/i386-c.c (ix86_target_macros_internal):
+       Add PROCESSOR_BDVER1.
+       * config/i386/driver-i386.c: Turn on -mtune=native for BDVER1.
+       (has_fma4, has_xop): New.
+       * config/i386/i386.c (bdver1_cost): New variable.
+       (m_BDVER1): New macro.
+       (m_AMD_MULTIPLE): Add m_BDVER1.
+       (x86_tune_use_leave, x86_tune_push_memory, x86_tune_unroll_strlen,
+       x86_tune_deep_branch_prediction, x86_tune_use_sahf, x86_tune_movx,
+       x86_tune_use_simode_fiop, x86_tune_promote_qimode,
+       x86_tune_add_esp_8, x86_tune_tune_sub_esp_4, x86_tune_sub_esp_8,
+       x86_tune_integer_dfmode_moves, x86_tune_partial_reg_dependency,
+       x86_tune_sse_partial_reg_dependency,
+       x86_tune_sse_unaligned_load_optimal,
+       x86_tune_sse_unaligned_store_optimal, x86_tune_sse_typeless_stores,
+       x86_tune_memory_mismatch_stall, x86_tune_use_ffreep,
+       x86_tune_inter_unit_moves, x86_tune_inter_unit_conversions,
+       x86_tune_use_bt, x86_tune_pad_returns, x86_tune_slow_imul_imm32_mem,
+       x86_tune_slow_imul_imm8, x86_tune_fuse_cmp_and_branch):
+       Enable/disable for bdver1.
+       (processor_target_table): Add bdver1_cost.
+       (cpu_names): Add bdver1.
+       (override_options): Set up PROCESSOR_BDVER1 for bdver1 entry in
+        processor_alias_table.
+       (ix86_expand_vector_move_misalign): Change.
+       TARGET_SSE_UNALIGNED_MOVE_OPTIMAL to TARGET_SSE_UNALIGNED_LOAD_OPTIMAL.
+       Check for TARGET_SSE_UNALIGNED_STORE_OPTIMAL.
+       Check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movups instead
+       of movupd/movdqu for SSE and AVX.
+       (ix86_tune_issue_rate): Add PROCESSOR_BDVER1.
+       (ix86_tune_adjust_cost): Add code for bdver1.
+       (standard_sse_constant_opcode): Add check for
+       TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed single xor instead
+       of packed double xor for SSE and AVX.
+
+2010-05-14  Pat Haugen  <pthaugen@us.ibm.com>
+
+       * tree-ssa-loop.prefetch.c (prune_ref_by_group_reuse): Cast abs()
+       result to unsigned.
+
+2010-05-14  Tristan Gingold  <gingold@adacore.com>
+
+       * toplev.c (default_debug_hooks): Remove this variable.
+       (process_options): Remove assignments to default_debug_hooks.
+
+2010-05-14  Martin Jambor  <mjambor@suse.cz>
+
+       * langhooks-def.h (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove.
+       (LANG_HOOKS_INITIALIZER): Remove LANG_HOOKS_FOLD_OBJ_TYPE_REF.
+       * langhooks.h (struct lang_hooks_for_decls): Removed field
+       fold_obj_type_ref.
+       * tree.c (free_lang_data): Remove assignment to
+       lang_hooks.fold_obj_type_ref.
+       * tree.def (OBJ_TYPE_REF): Update comment.
+
+2010-05-14  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/44124
+       * tree-ssa-sccvn.c (vn_nary_may_trap): Fix invalid memory access.
+
+2010-05-14  Alan Modra  <amodra@gmail.com>
+
+       PR target/44075
+       * config/rs6000/rs6000.c (struct machine_function): Reorder
+       fields for better packing.  Add lr_save_state.
+       (rs6000_ra_ever_killed): Return lr_save_state if set.
+       (rs6000_emit_eh_reg_restore): Set lr_save_state.
+
+2010-05-13  Jan Hubicka  <jh@suse.cz>
+
+       * varpool.c (decide_is_variable_needed): Drop code checking
+       TREE_SYMBOL_REFERENCED.
+
+2010-05-13  Jan Hubicka  <jh@suse.cz>
+
+       * final.c (output_addr_const): Do not call mark_decl_referenced.
+       * cgraphunit.c (process_function_and_variable_attributes): Use
+       mark_needed_node dirrectly.
+       (assemble_thunk): Do not call mark_decl_referenced.
+
+2010-05-13  Anatoly Sokolov  <aesok@post.ru>
+
+       * targhooks.c (default_mode_dependent_address_p): Cast 'addr' to rtx.
+
+2010-05-13  Jeff Law  <law@redhat.com>
+
+       * ira-conflicts.c (print_allocno_conflicts): New function broken out
+       from...
+       (print_conflicts): Call print_allocno_conflicts.
+
+2010-05-13  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/44104
+       * dwarf2out.c (modified_type_die): Don't dereference mod_type_die
+       if it is NULL.
+
+2010-05-13  Kai Tietz  <kai.tietz@onevision.com>
+
+       * config.gcc (i[34567]86-*-mingw* | x86_64-*-mingw*): Choose
+       t-mingw-w64 or t-mingw-w32 for multilib configuration.
+       * config/i386/t-mingw-w32: New.
+       * config/i386/t-mingw-w64 (MULTILIB_OSDIRNAMES): Change lib64 to lib.
+
+2010-05-13  Martin Jambor  <mjambor@suse.cz>
+
+       * gimple.c (gimple_fold_obj_type_ref): Removed (a replacement moved to
+       gimple-fold.c).
+       * gimple-fold.c (get_base_binfo_for_type): New function.
+       (gimple_get_relevant_ref_binfo): Likewise.
+       (gimple_fold_obj_type_ref_known_binfo): Likewise.
+       (gimple_fold_obj_type_ref): Likewise.
+       (fold_gimple_call): Simplify condition for folding virtual calls
+       and call gimple_fold_obj_type_ref.
+       * gimple.h (gimple_get_relevant_ref_binfo): Declare.
+       (gimple_fold_obj_type_ref_known_binfo): Likewise.
+
+2010-05-13  Andreas Schwab  <schwab@linux-m68k.org>
+
+       * config/rs6000/rs6000-protos.h
+       (rs6000_mode_dependent_address_ptr): Change argument to const_rtx.
+       * config/rs6000/rs6000.c (rs6000_mode_dependent_address)
+       (rs6000_debug_mode_dependent_address)
+       (rs6000_mode_dependent_address_ptr): Likewise.
+
+2010-05-13  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/43983
+       * var-tracking.c (track_expr_p): Allow tracking of variables optimized
+       by SRA.
+       * Makefile.in (dwarf2out.o): Depend on $(TREE_FLOW_H).
+       * tree-sra.c (create_access_replacement): Call unshare_expr before
+       passing expr to SET_DECL_DEBUG_EXPR, and remove any SSA_NAMEs from it.
+       * dwarf2out.c: Include tree-flow.h.
+       (struct var_loc_node): Rename var_loc_note field to loc, add comment.
+       (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
+       Handle DW_OP_bit_piece.
+       (decl_piece_bitsize, decl_piece_varloc_ptr, decl_piece_node,
+       construct_piece_list, adjust_piece_list): New functions.
+       (add_var_loc_to_decl): Handle SRA optimized variables.
+       Adjust for var_loc_note to loc field renaming.
+       (dw_loc_list_1): For WANT_ADDRESS == 2 prefer DECL_MODE of decl
+       in VAR_LOCATION note.
+       (new_loc_descr_op_bit_piece): New function.
+       (dw_sra_loc_expr): New function.
+       (dw_loc_list): Use it.  Don't handle the last range after the
+       loop, handle it inside of the loop.  Adjust for var_loc_note
+       to loc field renaming.
+       (add_location_or_const_value_attribute): Only special case
+       single entry loc lists if loc is NOTE_P.  Adjust for
+       var_loc_note to loc field renaming.
+       (dwarf2out_var_location): Don't set newloc->var_loc_note
+       and newloc->next here.
+
+2010-05-12  Jan Hubicka  <jh@suse.cz>
+
+       * cgraph.c (cgraph_mark_address_taken_node): No longer imply needed
+       flag.
+       * cgraph.h (cgraph_only_called_directly_p,
+       cgraph_can_remove_if_no_direct_calls_p): test address_taken flag.
+       (cgraph_can_remove_if_no_direct_calls_and_refs_p): New function.
+       * cgraphunit.c (cgraph_mark_functions_to_output): Test address_taken.
+       (assemble
+       * ipa.c (cgraph_remove_unreachable_nodes): Use
+       cgraph_can_remove_if_no_direct_calls_and_refs_p; clear address_taken
+       flags.
+       * tree-inline.c (copy_bb): Check address_taken flag.
+       * tree-profile.c (tree_gen_ic_func_profiler): Check address_taken and
+       externally_visible flag.
+
+2010-05-12  Jason Merrill  <jason@redhat.com>
+
+       PR bootstrap/44048
+       PR target/44099
+       * dbxout.c (dbxout_type): Remove NULLPTR_TYPE handling.
+       * sdbout.c (plain_type_1): Likewise.
+       * dwarf2out.c (is_base_type): Likewise.
+       (gen_type_die_with_usage): Likewise.  Generate
+       DW_TAG_unspecified_type for any LANG_TYPE.
+
+2010-05-12  Jan Hubicka  <jh@suse.cz>
+
+       * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Build
+       indrect edges too.
+       * cgraph.c (cgraph_create_indirect_edge): Take ecf_flags argument.
+       (cgraph_clone_edge): Update.
+       (cgraph_node_remove_callees): Remove indirect calls too.
+       * cgraph.h (cgraph_indirect_call_info): Add ecf_flags.
+       (cgraph_create_indirect_edge): Update prototype.
+       * ipa-reference.c (has_proper_scope_for_analysis): Rename to
+       is_proper_for_analysis.
+       (add_new_function, visited_nodes, function_insertion_hook_holder,
+       get_local_reference_vars_info, mark_address_taken, mark_address,
+       mark_load, mark_store, check_asm_memory_clobber, check_call,
+       scan_stmt_for_static_refs, scan_initializer_for_static_refs): Remove.
+       (ipa_init): Do not initialize visited_nodes;
+       function_insertion_hook_holder.
+       (analyze_variable): Rewrite.
+       (analyze_function): Rewrite.
+       (copy_local_bitmap): Remove.
+       (duplicate_node_dat): Do not duplicate local info.
+       (generate_summary): Simplify to only walk cgraph.
+       (write_node_summary_p, ipa_reference_write_summary,
+       ipa_reference_read_summary): Remove.
+       (propagate): Do not remove function insertion;
+       generate summary.
+       (pass_ipa_reference): NULLify summary handling fields.
+       * lto-cgraph.c (lto_output_edge): Output ecf_flags.
+       (input_edge): Input ecf_flags.
+       * ipa-prop.c (ipa_note_parm_call): Expect edge to be around.
+       (update_indirect_edges_after_inlining): Ignore edges with unknown
+       param.
+
+2010-05-12  Sriraman Tallam  <tmsriram@google.com>
+
+       * implicit-zee.c: New file.
+       * tree-pass.h (pass_implicit_zee): Declare.
+       * passes.c (init_optimization_passes): Add zee pass.
+       * common.opt (fzee): New flag.
+       * timevar.def (TV_ZEE): Define.
+       * config/i386/i386.c (optimization_options): Turn on ZEE for level 2
+       and beyond.
+       * Makefile.in (implicit-zee.o): Add new build file.
+
+2010-05-12  Kazu Hirata  <kazu@codesourcery.com>
+           Nathan Froyd  <froydnj@codesourcery.com>
+
+       * c-common.c (sync_resolve_params): Remove write-only variable.
+
+2010-05-12  Anatoly Sokolov  <aesok@post.ru>
+
+       * target.h (struct gcc_target): Add mode_dependent_address_p field.
+       * target-def.h (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
+       (TARGET_INITIALIZER): Use TARGET_MODE_DEPENDENT_ADDRESS_P.
+       * targhooks.c (default_mode_dependent_address_p): New function.
+       * targhooks.h (default_mode_dependent_address_p): Declare function.
+       * doc/tm.texi (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
+       (GO_IF_MODE_DEPENDENT_ADDRESS): Update.
+       * recog.c: (mode_dependent_address_p): Call mode_dependent_address_p
+       target hook. Change return type to bool.
+       * recog.h: (mode_dependent_address_p): Change return type to bool.
+
+2010-05-12  Kazu Hirata  <kazu@codesourcery.com>
+           Nathan Froyd  <froydnj@codesourcery.com>
+
+       * tree-mudflap.c (build_function_type_0, build_function_type_1,
+       build_function_type_2, build_function_type_3): Remove.
+       (mudflap_init): Use build_function_type_list.
+
+2010-05-12  Kazu Hirata  <kazu@codesourcery.com>
+           Nathan Froyd  <froydnj@codesourcery.com>
+
+       * coverage.c (build_fn_info_value): Call build_constructor instead of
+       build_constructor_from_list.
+       (build_ctr_info_value): Likewise.
+       (build_gcov_info): Likewise.
+
+2010-05-12  Nathan Froyd  <froydnj@codesourcery.com>
+
+       * tree.c (build_constructor): Compute TREE_CONSTANT for the
+       resultant constructor.
+       (build_constructor_single): Don't set TREE_CONSTANT.
+       (build_constructor_from_list): Don't compute TREE_CONSTANT.
+
+2010-05-12  Jan Hubicka  <jh@suse.cz>
+
+       * cgraph.h (struct varpool_node): Add aux.
+       * varasm.c (find_decl_and_mark_needed): Force output of varpool nodes.
+       * varpool.c (varpool_remove_node): Do not remove initializer.
+       (varpool_reset_queue): Export.
+       (varpool_finalize_decl): Volatile vars are forced to be output.
+       * lto-symtab.c (lto_varpool_replace_node): Clear out initializer of
+       replaced decl.
+       * ipa.c (enqueue_cgraph_node, enqueue_varpool_node,
+       process_references, varpool_can_remove_if_no_refs): New functions.
+       (cgraph_remove_unreachable_nodes): Handle variables too.
+
+2010-05-12  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR target/44088
+       * config/i386/sse.md (*avx_vmmaskcmp<mode>3): New.
+
+2010-05-12  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/44085
+       * gimplify.c (enum omp_region_type): Add ORT_UNTIED_TASK,
+       change value of ORT_TASK.
+       (new_omp_context): Handle ORT_UNTIED_TASK like ORT_TASK.
+       (omp_notice_threadprivate_variable): New function.
+       (omp_notice_variable): Call it for threadprivate variables.
+       If enclosing ctx is a task, print enclosing task rather than
+       enclosing parallel.  Handle ORT_UNTIED_TASK like ORT_TASK.
+       (gimplify_omp_task): Pass ORT_UNTIED_TASK instead of ORT_TASK
+       if task has untied clause.
+
+       PR debug/42278
+       * dwarf2out.c (base_type_die): Don't add name attribute here.
+       (modified_type_die): Instead of sizetype use
+       its underlying original type.  If a DW_TAG_base_type doesn't
+       have name added, add __unknown__.
+       (dwarf2out_imported_module_or_decl_1): Don't call base_type_die,
+       always call force_type_die instead.
+
+2010-05-12  Maxim Kuvyrkov  <maxim@codesourcery.com>
+
+       * targhooks.c (default_stack_protect_guard): Avoid sharing RTL
+       for __stack_chk_guard.
+
+2010-05-11  Jakub Jelinek  <jakub@redhat.com>
+
+       * c-opts.c (c_common_parse_file): If start_end_main_source_file,
+       don't call start_source_file debug hook here...
+       (finish_options): ... but here, after outputting predefined and
+       command line defines and undefs.
+
+       PR middle-end/44071
+       * cfglayout.c (fixup_reorder_chain): Allow asm goto to have
+       no fallthru edge.
+       * cfgcleanup.c (try_optimize_cfg): When in cfglayout mode
+       optimizing away empty bb with no successors, move over its
+       footer chain to fallthru predecessor.
+       * cfgrtl.c (patch_jump_insn): Update also REG_LABEL_OPERAND.
+       (rtl_split_edge): For asm goto call patch_jump_insn even if
+       splitting fallthru edge.
+
+       PR c++/44059
+       * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use qnu_unique_object
+       even for DECL_ONE_ONLY DECL_ARTIFICIAL !TREE_READONLY decls.
+       * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Likewise.
+       * dwarf2asm.c (dw2_output_indirect_constant_1): Set TREE_READONLY
+       on DW.ref.* decls.
+
+       PR c++/44062
+       * c-parser.c (c_parser_expression): Mark LHS of a comma
+       expression as read if it is a decl, handled component or
+       COMPOUND_EXPR with that on the RHS.
+       * c-typeck.c (c_process_expr_stmt): Mark RHS of COMPOUND_EXPR
+       if it is a decl or handled component.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * lto-symtab.c (lto_symtab_free): New function.
+       * lto-streamer.h (lto_symtab_free): Declare.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * lto-cgraph.c (reachable_from_other_partition_p): Export; do not assume
+       that if function is needed it is reachable.
+       (lto_output_node): See if it the function is reachable or referenced.
+       (output_cgraph): Update call of lto_output_node.
+       * lto-streamer.h (reachable_from_other_partition_p): Declare.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * crtstuff.c (__JCR_LIST__, __DTOR_END__, __JCR_END__, __FRAME_END__):
+       Mark as used.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       PR tree-optimize/44063
+       * ipa-inline.c (cgraph_edge_badness): Move always inlines to top of
+       queue.
+       (cgraph_decide_inlining_of_small_function): Skip check when disrgarding
+       limits.
+       (estimate_function_body_sizes): Compute sizes even when disregarding.
+
+2010-05-11  Kai Tietz  <kai.tietz@onevision.com>
+
+       * collect2.c (maybe_lto_object_file): Add x64-coff magic and check.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * lto-cgraph.c (output_cgraph): Remove loop adding all varpool nodes
+       into every boundary.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * matrix-reorg.c (matrix_reorg): Rebuild edges.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * lto-streamer.c (lto_streamer_cache_add_to_node_array,
+       lto_streamer_cache_delete): Put nodes into heap.
+       * lto-streamer.h (struct lto_streamer_cache_d): Nodes vector is in
+       heap.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * cgraphbuild.c (cgraph_rebuild_references): New.
+       * cgraph.c (cgraph_mark_reachable_node): Accept references to optimized
+       out extern inlines.
+       * cgraph.h (cgraph_rebuild_references): Declare.
+       * tree-inline.c (tree_function_versioning): Use it.
+       * ipa-struct-reorg.c (do_reorg_for_func): Likewise.
+
+2010-05-11  Jan Hubicka  <jh@suse.cz>
+
+       * cgraph.c: Include ipa-utils.h
+       (cgraph_create_virtual_clone): Update references.
+       * Makefile.in (cgraph.o): Add dependency at ipa-utils.h
+
+2010-05-11  Christian Borntraeger  <borntraeger@de.ibm.com>
+
+       * tree-ssa-loop-prefetch.c (prune_ref_by_group_reuse): Reset
+       prefetch_before to PREFETCH_ALL if to accesses "meet" beyond
+       cache size.
+
+2010-05-11  Christian Borntraeger  <borntraeger@de.ibm.com>
+
+       * tree-ssa-loop-prefetch.c: Add debug for dropped prefetches.
+
+2010-05-11  Jakub Jelinek  <jakub@redhat.com>
+
+       * gcc.c (execute): For -### don't quote arguments that
+       contain just alphanumerics and _/-. characters.
+       * doc/invoke.texi: Document that change for -###.
+
+       PR debug/44023
+       * df-problems.c (struct dead_debug): Add to_rescan field.
+       (dead_debug_init): Clear to_rescan field.
+       (dead_debug_finish): Rescan all debug insns in to_rescan
+       bitmap and free the bitmap.
+       (dead_debug_insert_before): Instead of rescanning debug insns
+       immediately queue their rescanning until dead_debug_finish.
+       (df_note_bb_compute): After dead_debug_add do continue instead
+       of break.
+
+2010-05-10  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/44028
+       * haifa-sched.c (schedule_insn): When clearing INSN_VAR_LOCATION_LOC,
+       clear also INSN_REG_USE_LIST.
+
+2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Undef.
+
+2010-05-10  Jan Hubicka  <jh@suse.cz>
+
+       * lto-stramer-out.c (produce_asm_for_decls): Correct accidentally
+       commited change.
+
+2010-05-10  Jan Hubicka  <jh@suse.cz>
+
+       * passes.c (ipa_write_summaries_1, ipa_write_optimization_summaries):
+       Allocate encoders.
+       * lto-section-out.c (lto_new_out_decl_state): Do not allocate it here.
+       * lto-streamer.c (lto_streamer_cache_insert_1): Use alloc pool.
+       (lto_streamer_cache_create): Init alloc pool.
+       (lto_streamer_cache_delete): Free alloc pool.
+       * lto-streamer.h: Include alloc pool.
+       (lto_streamer_cache_d): Use alloc pool.
+       * lto-stramer-out.c (produce_asm_for_decls): Delete fn_out_states.
+
+2010-05-10  Jan Hubicka  <jh@suse.cz>
+
+       * Makefile.in (cgraphbuild.o): Add dependency on except.h.
+       * cgraphbuild.c: Include except.h
+       (record_type_list, record_eh_tables): New function.
+       (build_cgraph_edges, rebuild_cgraph_edges): Use it.
+
+2010-05-10  Jan Hubicka  <jh@suse.cz>
+
+       * crtstuff.c (force_to_data, __do_global_dtors_aux_fini_array_entry,
+       __frame_dummy_init_array_entry, force_to_data): Attribute as used
+       rather than unused.
+
+2010-05-10  Michael Matz  <matz@suse.de>
+
+       * tree-ssa-reassoc.c (undistribute_ops_list): Use create_tmp_reg.
+       (can_reassociate_p): Use FLOAT_TYPE_P.
+       * tree-vectorizer.h (vect_is_simple_reduction): Rename to ...
+       (vect_force_simple_reduction): ... this.
+       * tree-parloops.c (gather_scalar_reductions): Use
+       vect_force_simple_reduction.
+       * tree-vect-loop.c (vect_is_simple_reduction_1): Rename from
+       vect_is_simple_reduction, add modify argument, if true rewrite
+       "a-b" into "a+(-b)".
+       (vect_is_simple_reduction, vect_force_simple_reduction): New
+       functions.
+       (vect_analyze_scalar_cycles_1): Use vect_force_simple_reduction.
+
+2010-05-10  H.J. Lu  <hongjiu.lu@intel.com>
+           Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR rtl-optimization/44012
+       * ira-build.c (remove_unnecessary_allocnos): Nullify
+       regno_allocno_map of the removed allocno.
+
+2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * configure.ac (gcc_cv_ld_eh_gc_sections): Redirect objdump errors
+       to /dev/null.
+       * configure: Regenerate.
+
+2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * config/sol2.c (solaris_assemble_visibility): Declare decl, vis
+       unused.
+       Define visibility_types, name, type inside HAVE_GAS_HIDDEN.
+       * configure.ac (gcc_cv_ld_hidden): Explain stages of visibility
+       support in Sun ld.
+       * configure: Regenerate.
+
 2010-05-10  Richard Guenther  <rguenther@suse.de>
 
        * lto-symtab.c (lto_symtab_entry_marked_p): Make entry
 2010-05-10  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/44050
-       * tree-inline.c (tree_function_versioning): Clone the ipa-pta
-       flag.
+       * tree-inline.c (tree_function_versioning): Clone the ipa-pta flag.
 
 2010-05-10  Wei Guozhi  <carrot@google.com>
 
 
        * lto-wrapper.c (DUMPBASE_SUFFIX): Define.
        (run_gcc): Handle LTRANS phase invocation.
-       * collect2.c (maybe_run_lto_and_relink): Do not set
-       WPA_SAVE_LTRANS.
+       * collect2.c (maybe_run_lto_and_relink): Do not set WPA_SAVE_LTRANS.
 
 2010-05-07  Jakub Jelinek  <jakub@redhat.com>
 
        * config/mips/t-iris6 (MULTILIB_OPTIONS): Removed mabi=32.
        (MULTILIB_DIRNAMES): Removed 32.
        (MULTILIB_OSDIRNAMES): Removed ../lib.
-       * doc/install.texi (Prerequisites): Don't reference IRIX before
-       6.5.
+       * doc/install.texi (Prerequisites): Don't reference IRIX before 6.5.
        (Specific, mips-sgi-irix5): Document removal.
-       (Specific, mips-sgi-irix6): Document IRIX 6.[0-4] and O32 ABI
-       removal.
+       (Specific, mips-sgi-irix6): Document IRIX 6.[0-4] and O32 ABI removal.
        Remove references to older IRIX 6 releases and the O32 ABI.
 
 2010-05-06  Jakub Jelinek  <jakub@redhat.com>
 
-       * gcc.dg/Wunused-var-8.c: Move to...
-       * c-c++-common/Wunused-var-6.c: ... here.  New test.
-
        PR bootstrap/43994
        * df-problems.c (dead_debug_insert_before): Use *DF_REF_REAL_LOC
        instead of DF_REF_REAL_REG.
        (insert_into_preds_of_block): Don't handle inserted_phi_names.
        (eliminate): Don't look at inserted_phi_names, remove deleted
        insns from inserted_exprs.
-       (remove_dead_inserted_code): Adjust to use bitmaps instead of
-       vectors.
+       (remove_dead_inserted_code): Adjust to use bitmaps instead of vectors.
        (init_pre, fini_pre): Allocate and free bitmaps.
        (execute_pre): Insert insns on edges before elimination.
 
        (enable_warning_as_error): Call handle_option.
        * opts.h (set_option): Update declaration.
        (handle_option): Declare.
-       * langhooks.h (struct lang_hooks): Add argument kind to
-       handle_option.
+       * langhooks.h (struct lang_hooks): Add argument kind to handle_option.
        * c.opt (Wimplicit,Wimplicit-int): Initialize to -1.
        * c-opts.c (set_Wimplicit): Delete.
        (c_family_lang_mask): New static constant.
        (determine_invariantness_stmt): Handle PHI nodes.
        (move_computations_stmt): Likewise.  Hoist PHI nodes in
        if-converted form using COND_EXPRs.
-       (move_computations): Return TODO_cleanup_cfg if we hoisted PHI
-       nodes.
+       (move_computations): Return TODO_cleanup_cfg if we hoisted PHI nodes.
        (tree_ssa_lim): Likewise.
        * tree-flow.h (tree_ssa_lim): Adjust prototype.
        * tree-ssa-loop.c (tree_ssa_loop_im): Return todo.
        (lto_output_ref): New.
        (add_references): New.
        (output_refs): New.
-       (output_cgraph): Compute boundary based on references;
-       output refs.
+       (output_cgraph): Compute boundary based on references; output refs.
        (output_varpool): Accept cgraph_node_set argument.
        (input_ref): New.
        (input_refs): New.
        * tree-vect-stmts.c (vectorizable_call): Assert that vector
        type is not NULL if it's transformation phase, and return
        FALSE if it's analysis.
-       (vectorizable_conversion, vectorizable_operation, 
-       vectorizable_type_demotion, vectorizable_type_promotion):
-       Likewise.
+       (vectorizable_conversion, vectorizable_operation,
+       vectorizable_type_demotion, vectorizable_type_promotion): Likewise.
 
 2010-05-05  Andrew Pinski  <andrew.pinski@caviumnetworks.com>
 
 
 2010-05-05  Steven Bosscher  <steven@gcc.gnu.org>
 
-       * stor-layout.c (pending_sizes): Change the type to
-       VEC(tree,gc) *.
+       * stor-layout.c (pending_sizes): Change the type to VEC(tree,gc) *.
        (get_pending_sizes, put_pending_size, put_pending_sizes):
        Update the uses of pending_sizes.
        * c-decl.c (store_parm_decls): Likewise.
 2010-05-05  Jan Hubicka  <jh@suse.cz>
 
        * lto-cgraph.c (output_varpool): Forward declare; work on encoder.
-       (lto_varpool_encoder_new, lto_varpool_encoder_delete, lto_varpool_encoder_encode
-       lto_varpool_encoder_lookup, lto_varpool_encoder_deref, lto_varpool_encoder_size,
+       (lto_varpool_encoder_new, lto_varpool_encoder_delete,
+       lto_varpool_encoder_encode, lto_varpool_encoder_lookup,
+       lto_varpool_encoder_deref, lto_varpool_encoder_size,
        lto_varpool_encoder_encode_initializer_p,
        lto_set_varpool_encoder_encode_initializer): New functions.
        (lto_output_cgraph): Take vset parameter too; compute varpool encoder;
        * lto-section-out.c (lto_new_out_decl_state): Initialize
        state->varpool_node_encoder.
        * lto-streamer.h (lto_varpool_encoder_d): New.
-       (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.     
+       (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.
        (lto_cgraph_encoder_delete, output_cgraph): Update prototype.
        (lto_varpool_encoder_deref, lto_varpool_encoder_lookup,
        lto_varpool_encoder_encode, lto_varpool_encoder_delete,
 
 2010-05-05  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
 
-       * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to
-       dependencies.
+       * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to dependencies.
 
        * gengtype.h (erro_at_line): Constify pos argument.
 
 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR target/43799
-       * config/i386/i386.md (sse_prologue_save): Add clobber CC
-       register.
+       * config/i386/i386.md (sse_prologue_save): Clobber CC register.
        (*sse_prologue_save_insn1): Likewise.
        (SSE prologue save splitter): Likewise.
 
 
 2010-05-04  Kaz Kojima  <kkojima@gcc.gnu.org>
 
-       * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove
-       static.
+       * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove static.
 
 2010-05-04  Mikael Pettersson  <mikpe@it.uu.se>
 
        (free_all_ipa_structures_after_ipa_cp): Renamed to
        ipa_free_all_structures_after_ipa_cp.
        (free_all_ipa_structures_after_iinln): Renamed to
-       ipa_free_all_structures_after_iinln.g
+       ipa_free_all_structures_after_iinln.
        (ipa_write_param_call_note): Removed.
        (ipa_read_param_call_note): Removed.
        (ipa_write_indirect_edge_info): New function.
        * tree-ssa-structalias.c (struct variable_info): Add
        only_restrict_pointers flag.
        (new_var_info): Initialize it.  Increment stats.total_vars here.
-       (create_function_info_for): Do not increment stats.total_vars
-       here.
+       (create_function_info_for): Do not increment stats.total_vars here.
        (get_function_part_constraint): Fix build with C++.
        (insert_into_field_list): Remove.
        (push_fields_onto_fieldstack): Properly merge fields.
 
 2010-04-08  Wolfgang Gellerich  <gellerich@de.ibm.com>
 
-       * config/s390/s390.c (override_options): Adjust the z10
-         defaults for max-unroll-times, max-completely-peeled-insns
-         and max-completely-peel-times.
+       * config/s390/s390.c (override_options): Adjust the z10 defaults
+       for max-unroll-times, max-completely-peeled-insns
+       and max-completely-peel-times.
 
 2010-04-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>