OSDN Git Service

Fix PR debug/45024
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 77938c3..ada7a16 100644 (file)
@@ -1,3 +1,453 @@
+2010-07-22  Dodji Seketeli  <dodji@redhat.com>
+
+       PR debug/45024
+       * dwarf2out.c (scope_die_for): Don't fall back to the compilation
+       unit DIE if we can find the scope DIE.
+
+2010-07-22  Bernd Schmidt  <bernds@codesourcery.com>
+
+       * ira-build.c (ira_create_object): New arg SUBWORD; all callers changed.
+       Initialize OBJECT_SUBWORD.
+       (ira_create_allocno): Clear ALLOCNO_NUM_OBJECTS.
+       (ira_create_allocno_objects): Renamed from ira_create_allocno_object;
+       all callers changed.
+       (merge_hard_reg_conflicts): Iterate over allocno subobjects.
+       (finish_allocno): Likewise.
+       (move_allocno_live_ranges, copy_allocno_live_ranges): Likewise.
+       (remove_low_level_allocnos): Likewise.
+       (update_bad_spill_attribute): Likewise.
+       (setup_min_max_allocno_live_range_point): Likewise.
+       (sort_conflict_id_map): Likewise.
+       (ira_flattening): Likewise.  Use ior_hard_reg_conflicts.
+       (ior_hard_reg_conflicts): New function.
+       (ior_allocate_object_conflicts): Renamed first argument to OBJ.
+       (compress_conflict_vecs): Iterate over objects, not allocnos.
+       (ira_add_live_range_to_object): New function.
+       (object_range_compare_func): Renamed from allocno_range_compare_func.
+       All callers changed.
+       (setup_min_max_conflict_allocno_ids): For allocnos with multiple
+       subobjects, widen the min/max range of the lowest-order object to
+       potentially include all other such low-order objects.
+       * ira.c (ira_bad_reload_regno_1): Iterate over allocno subobjects.
+       (check_allocation): Likewise.  Use more fine-grained tests for register
+       conflicts.
+       * ira-color.c (allocnos_have_intersected_live_ranges_p): Iterate over
+       allocno subobjects.
+       (assign_hard_reg): Keep multiple sets of conflicts.  Make finer-grained
+       choices about which bits to set in each set.  Don't use
+       ira_hard_reg_not_in_set_p, perform a more elaborate test for conflicts
+       using the multiple sets we computed.
+       (push_allocno_to_stack): Iterate over allocno subobjects.
+       (all_conflicting_hard_regs_coalesced): New static function.
+       (setup_allocno_available_regs_num): Use it.
+       (setup_allocno_left_conflicts_size): Likewise.  Iterate over allocno
+       subobjects.
+       (coalesced_allocno_conflict): Test subobject 0 in each allocno.
+       (setup_allocno_priorities): Divide ALLOCNO_EXCESS_PRESSURE_POINTS_NUM
+       by ALLOCNO_NUM_OBJECTS.
+       (calculate_spill_cost): Likewise.
+       (color_pass): Express if statement in a more normal way.
+       (ira_reassign_conflict_allocnos): Iterate over allocno subobjects.
+       (slot_coalesced_allocno_live_ranges_intersect_p): Likewise.
+       (setup_slot_coalesced_allocno_live_ranges): Likewise.
+       (allocno_reload_assign): Likewise.
+       (ira_reassign_pseudos): Likewise.
+       (fast_allocation): Likewise.
+       * ira-conflicts.c (build_conflict_bit_table): Likewise.
+       (print_allocno_conflicts): Likewise.
+       (ira_build_conflicts): Likewise.
+       (allocnos_conflict_for_copy_p): Renamed from allocnos_conflict_p.  All
+       callers changed.  Test subword 0 of each allocno for conflicts.
+       (build_object_conflicts): Renamed from build_allocno_conflicts.  All
+       callers changed.  Iterate over allocno subobjects.
+       * ira-emit.c (modify_move_list): Iterate over allocno subobjects.
+       * ira-int.h (struct ira_allocno): New member. num_objects.  Rename object
+       to objects and change it into an array.
+       (ALLOCNO_OBJECT): Add new argument N.
+       (ALLOCNO_NUM_OBJECTS, OBJECT_SUBWORD): New macros.
+       (ira_create_allocno_objects): Renamed from ira_create_allocno_object.
+       (ior_hard_reg_conflicts): Declare.
+       (ira_add_live_range_to_object): Declare.
+       (ira_allocno_object_iterator): New.
+       (ira_allocno_object_iter_init, ira_allocno_object_iter_cond): New.
+       (FOR_EACH_ALLOCNO_OBJECT): New macro.
+       * ira-lives.c (objects_live): Renamed from allocnos_live; all uses changed.
+       (allocnos_processed): New sparseset.
+       (make_object_born): Renamed from make_allocno_born; take an ira_object_t
+       argument.  All callers changed.
+       (make_object_dead): Renamed from make_allocno_dead; take an ira_object t
+       argument.  All callers changed.
+       (update_allocno_pressure_excess_length): Take an ira_obejct_t argument.
+       All callers changed.
+       (mark_pseudo_regno_live): Iterate over allocno subobjects.
+       (mark_pseudo_regno_dead): Likewise.
+       (mark_pseudo_regno_subword_live, mark_pseudo_regno_subword_dead): New
+       functions.
+       (mark_ref_live): Detect subword accesses and call
+       mark_pseudo_regno_subword_live as appropriate.
+       (mark_ref_dead): Likewise for mark_pseudo_regno_subword_dead.
+       (process_bb_nodes_live): Deal with object-related updates first; set
+       and test bits in allocnos_processed to avoid computing allocno
+       statistics more than once.
+       (create_start_finish_chains): Iterate over objects, not allocnos.
+       (print_object_live_ranges): New function.
+       (print_allocno_live_ranges): Use it.
+       (ira_create_allocno_live_ranges): Allocate and free allocnos_processed
+       and objects_live.
+
+2010-07-22  Richard Guenther  <rguenther@suse.de>
+
+       PR lto/42451
+       * gimple.c (gtc_next_dfs_num): New global.
+       (struct sccs): Make value a union, add integer same_p member.
+       (gtc_visit): New function.
+       (gimple_types_compatible_p_1): New function, split out from ...
+       (gimple_types_compatible_p): ... here.  Start a DFS walk here.
+       (iterative_hash_gimple_type): Adjust for sccs change.
+
+2010-07-22  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/44891
+       * tree-sra.c: Include gimple-pretty-print.h.
+       (replace_uses_with_default_def_ssa_name): Renamed to
+       get_repl_default_def_ssa_name, return the new SSA name instead of
+       replacing the old one.
+       (sra_modify_assign): Dump a message when removing a load, if the LHS
+       is an SSA_NAME, do not do any propagation, just set the RHS to a
+       default definition SSA NAME, type convert if necessary.
+       * Makefile.in (tree-sra.o): Add gimple-pretty-print.h to dependencies.
+
+2010-07-22  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/45017
+       * tree-ssa-sccvn.c (vn_reference_eq): Make sure we honor
+       TYPE_PRECISION of integral types in addition to size.
+
+2010-07-22  Maxim Kuvyrkov  <maxim@codesourcery.com>
+
+       * config/rs6000/sysv4.h (CHOOSE_DYNAMIC_LINKER): Default to GLIBC
+       when no C library is specified.
+
+2010-07-22  Martin Jambor  <mjambor@suse.cz>
+
+       * ipa-prop.h (struct ipa_node_params): Updated comment.
+       (struct ipa_edge_args): Likewise.
+       * Makefile.in (ipa-prop.o): Remove bogus $(GIMPLE_FOLD_H) dependency.
+
+2010-07-22  Martin Jambor  <mjambor@suse.cz>
+
+       * cgraphunit.c (verify_edge_count_and_frequency): New function.
+       (verify_cgraph_node): Verify frequencies of indirect edges.
+       * tree-inline.c (tree_function_versioning): Update frequencies of
+       indirect edges.
+
+2010-07-22  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
+
+       PR target/43698
+       * config/arm/arm.md: Split arm_rev into *arm_rev
+       and *thumb1_rev. Set *arm_rev to be predicable.
+
+2010-07-22  Iain Sandoe  <iains@gcc.gnu.org>
+
+       * config/darwin.h (LINK_COMMAND_SPEC): Split into...
+       (LINK_COMMAND_SPEC_A): New.
+       (DSYMUTIL): New.
+       (DSYMUTIL_SPEC): New.
+       * config/darwin9.h (LINK_COMMAND_SPEC): Remove.
+       (DSYMUTIL_SPEC): Update for darwin >= 9 requirements.
+
+2010-07-22  Iain Sandoe  <iains@gcc.gnu.org>
+
+       * calls.c (load_register_parameters): Move check for zero
+       sized items so that only the call to 
+       mem_overlaps_already_clobbered_arg_p () is protected.
+
+2010-07-22  Jan Hubicka  <jh@suse.cz>
+
+       * ipa-pure-const.c (varying_state): Break out from ...
+       (get_function_state): ... here; always return varying_state
+       when state would be NULL otherwise.
+       (remove_node_data): Do not free varying state.
+
+2010-07-22  Bernd Schmidt  <bernds@codesourcery.com>
+
+       PR bootstrap/44970
+       PR middle-end/45009
+       * postreload.c: Include "target.h".
+       (reload_combine_closest_single_use): Don't take DEBUG_INSNs
+       into account.
+       (fixup_debug_insns): Don't copy the rtx.
+       (reload_combine_recognize_const_pattern): DEBUG_INSNs can't
+       have uses.  Don't copy when replacing.  Call fixup_debug_insns
+       in the case where we merged one add with another.
+       (reload_combine_recognize_pattern): Fail if there aren't any
+       uses.  Try harder to determine whether we're picking a valid
+       index register.  Don't set store_ruid for an insn we're going
+       to scan in the next iteration.
+       (reload_combine): Remove unused code.
+       (reload_combine_note_use): When updating use information for
+       an old insn, ignore a use that occurs after store_ruid.
+       * Makefile.in (postreload.o): Update dependencies.
+
+       * function.c (record_hard_reg_sets): Restrict the previous change
+       to cases where the incoming nominal mode is the same as the
+       incoming promoted mode and everything happens in MODE_INT.
+
+2010-07-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/45015
+       * var-tracking.c (adjust_mems): Ignore ASM_OPERANDS with non-zero
+       ASM_OPERANDS_OUTPUT_IDX.
+       (adjust_insn): For inline asm with multiple sets ensure first
+       ASM_OPERANDS vectors are used by all following ASM_OPERANDS in
+       the insn.
+
+2010-07-21  Richard Henderson  <rth@redhat.com>
+
+       * config/i386/i386.c (setup_incoming_varargs_64): Emit a simple
+       comparison for avoiding xmm register saves.  Emit the xmm register
+       saves explicitly.
+       * config/i386/i386.md (UNSPEC_SSE_PROLOGUE_SAVE): Remove.
+       (UNSPEC_SSE_PROLOGUE_SAVE_LOW): Remove.
+       (sse_prologue_save, sse_prologue_save_insn1, sse_prologue_save_insn):
+       Remove patterns and the associated splitters.
+
+2010-07-21  Changpeng Fang  <changpeng.fang@amd.com>
+
+       * tree-ssa-loop-prefetch.c (analyze_ref): Strip off the real
+       and imagine parts of a complex, so that they can have the same
+       base and fall into the same group.
+
+2010-07-21  Richard Guenther  <rguenther@suse.de>
+
+       PR lto/45018
+       * tree.c (find_decls_types_r): Do not follow TREE_CHAIN
+       of TYPE_DECLs.  Do not follow TYPE_NEXT_VARIANT,
+       TYPE_NEXT_PTR_TO, nor TYPE_NEXT_REF_TO or TYPE_CANONICAL.
+
+2010-07-21  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/44900
+       * tree-sra.c (load_assign_lhs_subreplacements): Updated comments.
+       (sra_modify_assign): Move gsi to the next statmenent unconditionally.
+
+2010-07-21  Bernd Schmidt  <bernds@codesourcery.com>
+
+       PR middle-end/44738
+       * tree-ssa.c (warn_uninit): Avoid emitting an unnecessary message.
+
+2010-07-21  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/45013
+       * tree-ssa.c (useless_type_conversion_p): Dispatch to
+       gimple_types_compatible_p only when in lto.
+       * gimple.c (gimple_types_compatible_p): Use canonical types
+       to speed up comparison.
+
+2010-07-21  Richard Guenther  <rguenther@suse.de>
+
+       * tree-flow.h (referenced_var): Move define ...
+       * tree-flow-inline.h (referenced_var): ... here as an inline
+       function.  Assert here ...
+       * tree-dfa.c (referenced_var_lookup): ... instead of here.
+       * tree-ssa.c (maybe_optimize_var): Check if the variable
+       is in referenced vars.
+       (execute_update_addresses_taken): Remove old broken check.
+       * gimple-pretty-print.c (pp_points_to_solution): Use
+       referenced_var_lookup.
+       * tree-into-ssa.c (dump_decl_set): Likewise.
+
+2010-07-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/45003
+       * var-tracking.c (reverse_op): Also handle {SIGN,ZERO}_EXTEND of
+       a MEM.
+       * dwarf2out.c (loc_descriptor): Don't handle SIGN_EXTEND nor
+       ZERO_EXTEND here.
+
+2010-07-20  Richard Henderson  <rth@redhat.com>
+
+       * vxworks.c (vxworks_emutls_var_fields): Pass locus to build_decls.
+
+2010-07-20  Bernd Schmidt  <bernds@codesourcery.com>
+
+       * config/arm/arm.md (thumb1_addsi3): Add alternative and split for
+       computing the sum of the stack pointer and a large constant.
+       * config/arm/constraints.md (M): Remove superfluous parentheses.
+       (Pc): New constraint.
+
+2010-07-20  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/45006
+       * cfgexpand.c (expand_debug_expr): Only look at TYPE_UNSIGNED of
+       operand's type if exp is tcc_unary class tree.
+
+2010-07-20  Nathan Froyd  <froydnj@codesourcery.com>
+
+       * config/rs6000/rs6000.md (abs<mode>2_isel, nabs<mode>2_isel):
+       Reverse sense of if_then_else condition.
+
+2010-07-20  Nathan Froyd  <froydnj@codesourcery.com>
+
+       * config/rs6000/rs6000.opt (mblock-move-inline-limit): New option.
+       * config/rs6000/rs6000.c (rs6000_override_options): Set
+       rs6000_block_move_inline_limit appropriately.
+       (expand_block_move): Use rs6000_block_move_inline_limit.
+       * doc/invoke.texi (mblock-move-inline-limit): Document.
+
+2010-07-20  Bernd Schmidt  <bernds@codesourcery.com>
+
+       * postreload.c (fixup_debug_insns): Remove arg REGNO.  New args
+       FROM and TO.  All callers changed.  Don't look for tracked uses,
+       just scan the RTL for DEBUG_INSNs and substitute.
+       (reload_combine_recognize_pattern): Call fixup_debug_insns.
+       (reload_combine): Ignore DEBUG_INSNs.
+
+2010-07-20  Jakub Jelinek  <jakub@redhat.com>
+
+       * var-tracking.c (vt_expand_loc, vt_expand_loc_dummy): Bump maximum
+       depth to 8 from 5.
+
+       PR debug/45003
+       * cfgexpand.c (expand_debug_expr) <case NOP_EXPR>: Use ZERO_EXTEND
+       or SIGN_EXTEND depending on TYPE_UNSIGNED of the operand's type
+       instead of the result's type.
+
+2010-07-20  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/44977
+       * tree-ssa-dom.c (propagate_rhs_into_lhs): Do not create invalid
+       SSA form.
+
+2010-07-20  Richard Guenther  <rguenther@suse.de>
+
+       * lto-symtab.c (lto_symtab_merge): Use gimple_types_compatible_p.
+       (lto_symtab_merge_decls_2): Likewise.
+       * gimple.h (gimple_types_compatible_p): Declare.
+       * gimple.c (gimple_queue_type_fixup): Remove.
+       (gimple_fixup_complete_and_incomplete_subtype_p): Likewise.
+       (gimple_compatible_complete_and_incomplete_type_p): New
+       function.
+       (gimple_types_compatible_p): Adjust.
+       (gimple_register_type): Remove type fixup code.
+       (print_gimple_types_stats): Adjust.
+       (free_gimple_type_tables): Likewise.
+       * lto-streamer-in.c (input_gimple_stmt): Use gimple_types_compatible_p.
+       * tree-ssa.c (useless_type_conversion_p): Likewise.
+
+2010-07-20  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/44971
+       PR middle-end/44988
+       * tree-ssa.c (maybe_optimize_var): New function split out from ...
+       (execute_update_addresses_taken): ... here.
+       (non_rewritable_mem_ref_base): Likewise.
+       (execute_update_addresses_taken): Do not iterate over all referenced
+       vars but just all local decls and parms.
+       Properly check call and asm arguments and rewrite call arguments.
+
+2010-07-20  Maxim Kuvyrkov  <maxim@codesourcery.com>
+
+       * config.gcc (LIBC_GLIBC, LIBC_UCLIBC, LIBC_BIONIC): Move constants
+       to top level.
+       * config/linux.h (LINUX_TARGET_OS_CPP_BUILTINS): Move Android-specific
+       definitions ...
+       * config/linux-android.h (ANDROID_TARGET_OS_CPP_BUILTINS): ... here.
+       New macro.
+       * config/arm/linux-eabi.h (TARGET_OS_CPP_BUILTINS): Use it.
+
+2010-07-19  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * gengtype.c (start_root_entry): New function, split out from
+       write_root.  Check whether V is null and raise an error if so.
+       (write_field_root): Check for V being null.  Don't raise an error here;
+       set V to null instead.
+       (write_root): Update comment above function.  Use start_root_entry.
+
+2010-07-19  Xinliang David Li  <davidxl@google.com>
+
+       PR testsuite/44932
+       * tree-ssa-uninit.c (collect_phi_def_edges): Fix bug collecting def edges.
+       (find_uninit_use): Add dump.
+       (is_use_properly_guarded): Ditto.
+       (warn_uninitialized_phi): Ditto.
+       (execute_late_warn_uninitialized): Ditto.
+
+2010-07-19  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/44941
+       * expr.c (emit_block_move_hints): Move zero size check first.
+       Move asserts to more useful places.
+       * calls.c (load_register_parameters): Check for zero size.
+
+2010-07-19  Richard Henderson  <rth@redhat.com>
+
+       * tree-optimize.c (execute_all_early_local_passes): New.  Change
+       cgraph_state here ...
+       (execute_early_local_optimizations): ... not here.  Remove.
+       (pass_early_local_passes, pass_all_early_optimizations): Update.
+
+2010-07-19  Bernd Schmidt  <bernds@codesourcery.com>
+
+       * postreload.c (reload_combine_closest_single_use): Ignore the
+       number of uses for DEBUG_INSNs.
+       (fixup_debug_insns): New static function.
+       (reload_combine_recognize_const_pattern): Use it.  Don't let the
+       main loop be affected by DEBUG_INSNs.
+       Really disallow moving adds past a jump insn.
+       (reload_combine_recognize_pattern): Don't update use_ruid here.
+       (reload_combine_note_use): Do it here.
+       (reload_combine): Use control_flow_insn_p rather than JUMP_P.
+
+2010-07-19  Bingfeng Mei  <bmei@broadcom.com>
+
+       * ddg.c (create_ddg): Exclude nodes of debug_insn in counting nodes
+        of a loop.
+        * loop-doloop.c (doloop_condition_get): Skip possible debug_insn.
+
+2010-07-19  Iain Sandoe  <iains@gcc.gnu.org>
+
+       * config/i386/darwin.h: Define darwin_emit_branch_islands.
+       (TARGET_MACHO_BRANCH_ISLANDS): New.
+       (FUNCTION_PROFILER): Use TARGET_MACHO_BRANCH_ISLANDS.
+       * config/i386/i386.h (TARGET_MACHO_BRANCH_ISLANDS): Define a
+       default value.
+       * config/i386/i386.c (output_pic_addr_const): Do not emit
+       branch islands unless TARGET_MACHO_BRANCH_ISLANDS is set.
+       (x86_output_mi_thunk): Adjust symbol creation.
+       * config/rs6000/darwin.h: Define darwin_emit_branch_islands.
+       Remove out of date comment.
+       * config/rs6000/rs6000.c (print_operand): Adjust symbol.
+       DARWIN_LINKER_GENERATES_ISLANDS: Remove.
+       DARWIN_GENERATE_ISLANDS: Ditto.
+       (output_call):  Do not emit branch islands unless
+       darwin_emit_branch_islands is set.
+       * config/darwin.c: Declare darwin_emit_branch_islands.
+       (machopic_indirect_data_reference): Do not emit unless
+       darwin_emit_branch_islands is set.
+       (darwin_override_options): Set darwin_emit_branch_islands
+       where it is needed.
+       * config/darwin9.h
+       DARWIN_LINKER_GENERATES_ISLANDS: Remove.
+
+2010-07-19  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * doc/sourcebuild.texi (Effective-Target Keywords): Document
+       sse_runtime, sse2_runtime.
+
+2010-07-18  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * config/mips/mips.c (mips16_build_call_stub): Zero-extend the
+       low half of a single-register SCmode return value before ORing
+       it with the high half.
+       * config/mips/mips16.S (MERGE_GPRf): Likewise.
+
+2010-07-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       PR target/44805
+       * config/pa/pa.h (CONSTANT_ALIGNMENT): Align strings to BITS_PER_WORD
+       on all targets.
+
 2010-07-17  Bernd Schmidt  <bernds@codesourcery.com>
 
        PR target/42235