OSDN Git Service

PR debug/43058
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index ab14346..39a5fd2 100644 (file)
@@ -1,3 +1,407 @@
+2010-03-18  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/43058
+       * var-tracking.c (non_suitable_const): New function.
+       (add_uses): For DEBUG_INSNs with constants, don't record any
+       value, instead just the constant value itself.
+       (compute_bb_dataflow) <case MO_VAL_LOC>: If PAT_VAR_LOCATION_LOC
+       is not VAR_LOC_UNKNOWN_P, set var to the constant.
+       (emit_notes_in_bb): Likewise.
+       (emit_note_insn_var_location): For onepart variables if
+       cur_loc is a VOIDmode constant, use DECL_MODE.
+
+2010-03-18  Martin Jambor  <mjambor@suse.cz>
+
+       PR middle-end/42450
+       * cgraph.h (cgraph_redirect_edge_call_stmt_to_callee): Declare.
+       * cgraphunit.c (cgraph_materialize_all_clones): Update calls in
+       all non-clones.  Moved call redirection...
+       (cgraph_redirect_edge_call_stmt_to_callee): ...to this new
+       function.
+       (cgraph_materialize_all_clones): Dispose of all
+       combined_args_to_skip bitmaps.
+       (verify_cgraph_node): Do not check for edges pointing to wrong
+       nodes in inline clones.
+       * tree-inline.c (copy_bb): Call
+       cgraph_redirect_edge_call_stmt_to_callee.
+       * ipa.c (cgraph_remove_unreachable_nodes): Call
+       cgraph_node_remove_callees even when there are used clones.
+
+2010-03-18  H.J. Lu  <hongjiu.lu@intel.com>
+
+       * config/i386/libgcc-glibc.ver: Make GCC_4.5.0 inherit GCC_4.4.0.
+
+2010-03-18  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR target/43383
+       * config/i386/libgcc-glibc.ver: Add __extendxftf2 to GCC_4.5.0
+       for 32bit.
+
+2010-03-18  Michael Matz  <matz@suse.de>
+
+       PR middle-end/43419
+       * builtins.c (expand_builtin_pow): Don't transform pow(x, 0.5)
+       into sqrt(x) if we need to preserve signed zeros.
+
+2010-03-18  Steven Bosscher  <steven@gcc.gnu.org>
+           Eric Botcazou  <ebotcazou@adacore.com>
+
+       PR rtl-optimization/43360
+       * loop-invariant.c (move_invariant_reg): Remove the REG_EQUAL
+       note if we don't know its invariant status.
+
+2010-03-18  Michael Matz  <matz@suse.de>
+
+       PR tree-optimization/43402
+       * tree-cfgcleanup.c (cleanup_control_expr_graph): Don't follow
+       PHI chains of ssa names registered for update.
+
+2010-03-17  Peter Bergner  <bergner@vnet.ibm.com>
+
+       PR target/42427
+       * config/rs6000/rs6000.c (rs6000_split_multireg_move): Add support for
+       non-offsettable and pre_modify update addressing.
+       * config/rs6000/dfp.md (*movdd_hardfloat32): Make the "0", "1"
+       and "2" alternatives "#".
+       (*movdd_softfloat32): Make all alternatives "#";
+       * config/rs6000/rs6000.md (DIFD): New define_mode_iterator.
+       (*movdf_hardfloat32): Make the "0", "1" and "2" alternatives "#".
+       (*movdf_softfloat32): Make all alternatives "#";
+       (movdi): Use the new DIFD mode iterator to create a common splitter
+       for movdi, movdf and movdd patterns.
+
+2010-03-18  Shujing Zhao  <pearly.zhao@oracle.com>
+
+       * common.opt (dumpdir): Remove redundant tab.
+
+2010-03-17  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/43347
+       * tree-sra.c (create_access_replacement): Set TREE_NO_WARNING when the
+       original base is DECL_ARTIFICIAL or DECL_IGNORED_P.
+
+2010-03-17  Bernd Schmidt  <bernd.schmidt@analog.com>
+
+       PR rtl-optimization/42216
+       * regrename.c (create_new_chain): New function, broken out from...
+       (scan_rtx_reg): ... here.  Call it.  Handle the case where we are
+       appending a use to an empty chain.
+       (build_def_use): Remove previous changes that convert OP_INOUT to
+       OP_OUT operands; instead detect the case where an OP_INOUT operand
+       uses a previously untracked register and create an empty chain for
+       it.
+
+2010-03-17  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       * doc/extend.texi (Function Attributes): Rewrite unfinished
+       sentence in ms_abi documentation.
+
+2010-03-17  Alan Modra  <amodra@gmail.com>
+
+       * config/rs6000/linux64.opt (mprofile-kernel): Use profile_kernel var.
+       * config/rs6000/linux64.h (TARGET_PROFILE_KERNEL): Define.
+       (SUBSUBTARGET_OVERRIDE_OPTIONS): Don't use SET_PROFILE_KERNEL.
+       * config/rs6000/rs6000.c (SET_PROFILE_KERNEL): Don't define.
+
+2010-03-16  Richard Henderson  <rth@redhat.com>
+
+       PR middle-end/43365
+       * tree-eh.c (replace_goto_queue): Also replace in the eh_seq.
+       (lower_try_finally): Save and restore eh_seq around the expansion
+       of the try-finally.
+
+2010-03-16  Aldy Hernandez  <aldyh@redhat.com>
+
+       * graphite-sese-to-poly.c (split_reduction_stmt): Skip debug
+       statements before splitting block.
+
+2010-03-16  Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * doc/sourcebuild.texi (Testsuites): Fix markup.
+       Use pathnames relative to gcc/testsuite.
+       (Test Directives): Move description of how timeout is determined.
+       (Ada Tests): Favor gnat.exp over ada/acats/tests/gcc.
+       (C Tests): Correct gcc.misc-tests directory.
+       Framework tests now live in gcc.test-framework.
+
+2010-03-16  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/43379
+       * tree-cfg.c (gimple_merge_blocks): When propagating virtual
+       PHI operands make sure to merge SSA_NAME_OCCURS_IN_ABNORMAL_PHI
+       properly.
+
+2010-03-16  Aldy Hernandez  <aldyh@redhat.com>
+           Alexandre Oliva  <aoliva@redhat.com>
+
+       PR tree-optimization/42917
+       * lambda-code.c (remove_iv): Skip debug statements.
+       (lambda_loopnest_to_gcc_loopnest): Likewise.
+       (not_interesting_stmt): Debug statements are not interesting.
+
+2010-03-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/43051
+       PR debug/43092
+       * cselib.c (cselib_preserve_constants,
+       cfa_base_preserved_val): New static variables.
+       (preserve_only_constants): New function.
+       (cselib_reset_table): If cfa_base_preserved_val is non-NULL, don't
+       clear its REG_VALUES.  If cselib_preserve_constants, don't 
+       empty the whole hash table, but preserve there VALUEs with constants,
+       cfa_base_preserved_val and cfa_base_preserved_val plus constant.
+       (cselib_preserve_cfa_base_value): New function.
+       (cselib_invalidate_regno): Don't invalidate cfa_base_preserved_val.
+       (cselib_init): Change argument to int bitfield.  Set
+       cselib_preserve_constants to whether CSELIB_PRESERVE_CONSTANTS
+       is in it.
+       (cselib_finish): Clear cselib_preserve_constants and
+       cfa_base_preserved_val.
+       * cselib.h (enum cselib_record_what): New enum.
+       (cselib_init): Change argument to int.
+       (cselib_preserve_cfa_base_value): New prototype.
+       * postreload.c (reload_cse_regs_1): Adjust cselib_init caller.
+       * dse.c (dse_step1): Likewise.
+       * cfgcleanup.c (thread_jump): Likewise.
+       * sched-deps.c (sched_analyze): Likewise.
+       * gcse.c (local_cprop_pass): Likewise.
+       * simplify-rtx.c (simplify_replace_fn_rtx): Add argument to callback.
+       If FN is non-NULL, call the callback always and whenever it returns
+       non-NULL just return that.  Only do rtx_equal_p if FN is NULL.
+       * rtl.h (simplify_replace_fn_rtx): Add argument to callback.
+       * combine.c (propagate_for_debug_subst): Add old_rtx argument,
+       compare from with old_rtx and if it isn't rtx_equal_p, return NULL.
+       * Makefile.in (var-tracking.o): Depend on $(RECOG_H).
+       * var-tracking.c: Include recog.h.
+       (bb_stack_adjust_offset): Remove.
+       (vt_stack_adjustments): Don't call it, instead just gather the
+       adjustments using insn_stack_adjust_offset_pre_post on each bb insn.
+       (adjust_stack_reference): Remove.
+       (compute_cfa_pointer): New function.
+       (hard_frame_pointer_adjustment, cfa_base_rtx): New static variables.
+       (struct adjust_mem_data): New type.
+       (adjust_mems, adjust_mem_uses, adjust_mem_stores, adjust_insn): New
+       functions.
+       (get_address_mode): New function.
+       (replace_expr_with_values): Use it.
+       (use_type): Don't do cselib_lookup for VAR_LOC_UNKNOWN_P.
+       Use get_address_mode.  For cfa_base_rtx return MO_CLOBBER.
+       (adjust_sets): Remove.
+       (add_uses): Don't add extra MO_VAL_USE for cfa_base_rtx plus constant.
+       Use get_address_mode.
+       (get_adjusted_src): Remove.
+       (add_stores): Don't call it.  Never reuse expr SET.  Don't add extra
+       MO_VAL_USE for cfa_base_rtx plus constant.  Use get_address_mode.
+       (add_with_sets): Don't call adjust_sets.
+       (fp_setter, vt_init_cfa_base): New functions.
+       (vt_initialize): Change return type to bool.  Move most of pool etc.
+       initialization to the beginning of the function from end.  Pass
+       CSELIB_RECORD_MEMORY | CSELIB_PRESERVE_CONSTANTS to cselib_init.
+       If !frame_pointer_needed, call vt_stack_adjustment before mos
+       vector is filled, call vt_init_cfa_base if argp/framep has been
+       eliminated to sp.  If frame_pointer_needed and argp/framep has
+       been eliminated to hard frame pointer, set
+       hard_frame_pointer_adjustment and call vt_init_cfa_base after
+       encountering fp setter in the prologue.  For MO_ADJUST, call
+       log_op_type before pusing the op into mos vector, not afterwards.
+       Call adjust_insn before cselib_process_insn/add_with_sets,
+       call cancel_changes (0) afterwards.
+       (variable_tracking_main_1): Adjust for vt_initialize calling
+       vt_stack_adjustments and returning whether it succeeded or not.
+
+2010-03-15  Aldy Hernandez  <aldyh@redhat.com>
+
+       * graphite-sese-to-poly.c (rewrite_cross_bb_scalar_deps): Skip
+       debug statements.
+
+2010-03-15  Jakub Jelinek  <jakub@redhat.com>
+
+       * dwarf2out.c (dwarf2out_frame_debug): Don't assert drap_reg
+       has been set.
+       (based_loc_descr): Use DW_OP_fbreg for vdrap_reg even when
+       drap_reg has not been set.
+
+2010-03-15  Michael Matz  <matz@suse.de>
+
+       PR middle-end/43300
+       * tree-outof-ssa.c (emit_partition_copy): New argument sizeexp,
+       use it to expand block copies.
+       (insert_partition_copy_on_edge, insert_rtx_to_part_on_edge,
+       insert_part_to_rtx_on_edge): Adjust callers of emit_partition_copy.
+       (insert_value_copy_on_edge): Use store_expr for BLKmode values.
+
+2010-03-15  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/43367
+       * tree-cfg.c (gimple_can_merge_blocks_p): Simplify PHI
+       elimination check.
+
+2010-03-15  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/43317
+       * ipa-struct-reorg.c (create_new_general_access): Update stmt.
+
+2010-03-15  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/43141
+       * tree-sra.c (create_abstract_origin): New function.
+       (modify_function): Call create_abstract_origin.
+
+2010-03-15  Chris Demetriou  <cgd@google.com>
+
+       * Makefile.in (stmp-int-hdrs): Don't chmod include/stdint.h if it
+       wasn't copied.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43354
+       * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Do not
+       call insert_out_of_ssa_copy for default definitions.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-clast-to-gimple.c (my_long_long): Defined.
+       (gcc_type_for_cloog_iv): Use it instead of long_long_integer_type_node.
+       * graphite-sese-to-poly.c (my_long_long): Defined.
+       (scop_ivs_can_be_represented): Use it.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * doc/invoke.texi: Fix documentation of graphite-max-nb-scop-params,
+       graphite-max-bbs-per-function, and loop-block-tile-size.
+       * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Replace "maximal"
+       with "maximum".
+       (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Same.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-clast-to-gimple.c (gcc_type_for_iv_of_clast_loop): Remove
+       forward declaration.
+       * graphite-sese-to-poly.c (reduction_phi_p): Remove FIXME comment.
+       (add_upper_bounds_from_estimated_nit): New.
+       (build_loop_iteration_domains): Use it.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * doc/invoke.texi (PARAM_LOOP_BLOCK_TILE_SIZE): Document.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43306
+       * tree-chrec.c (evolution_function_right_is_integer_cst): CHREC_RIGHT
+       should be an INTEGER_CST.  Also handle CASE_CONVERT.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite.c (graphite_initialize): To bound the number of bbs per
+       function, use PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION.
+       * params.def (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Declared.
+       * doc/invoke.texi: Document it.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (build_poly_scop): Do not return bool.
+       * graphite-sese-to-poly.h (build_poly_scop): Same.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (build_poly_scop): Limit scops following
+       the number of parameters in the scop.  Use as an upper bound
+       PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS.
+       * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Declared.
+       * doc/invoke.texi: Document it.
+
+2010-03-13  Jerry Quinn  <jlquinn@optonline.net>
+
+       * Makefile.in (TEXI_GCCINT_FILES): Remove c-tree.texi.
+       * doc/c-tree.texi: Remove.
+       * doc/generic.texi: Merge c-tree.texi here.
+       * doc/gccint.texi (Trees): Remove menu entry.
+       (c-tree.texi): Remove @include.
+       * doc/rtl.texi (Reading RTL): Update pxref from Trees to GENERIC.
+       * doc/languages.texi (Reading RTL): Ditto.
+
+2010-03-12  Steve Ellcey  <sje@cup.hp.com>
+
+       PR target/42869
+       * config/ia64/sync.md (sync_compare_and_swap): Move memory fence.
+
+2010-03-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       PR middle-end/42431
+       * gcc/config/rs6000/rs6000.c (rs6000_emit_move): Delete band-aid
+       code added to work around reload clobbering CONST insns.
+
+2010-03-12  Jakub Jelinek  <jakub@redhat.com>
+
+       * cselib.c (LONG_TERM_PRESERVED_VALUE_P): Remove.
+       (cselib_preserve_definitely, cselib_clear_preserve): Remove.
+       (cselib_preserve_only_values): Remove retain argument, don't
+       traverse hash table with cselib_{preserve_definitely,clear_preserve}.
+       * cselib.h (cselib_preserve_only_values): Remove retain argument.
+       * var-tracking.c (micro_operation): Move insn field before union.
+       Add DEF_VEC_O and DEF_VEC_ALLOC_O for this type.
+       (struct variable_tracking_info_def): Remove n_mos field, change
+       mos into a vector of micro_operations.
+       (count_uses, count_uses_1, count_stores, count_with_sets): Remove.
+       (bb_stack_adjust_offset, log_op_type, add_uses, add_stores,
+       compute_bb_dataflow, emit_notes_in_bb): Adjust for VTI (bb)->mos
+       changing into a vector.
+       (add_with_sets): Likewise.  Ensure MO_VAL_USE uops from add_stores
+       come before all other uops generated by add_stores.
+       (vt_add_function_parameters): Adjust for cselib_preserve_only_values
+       argument removal.
+       (vt_initialize): Likewise.  Adjust for VTI (bb)->mos changing into
+       a vector.  Run just one pass over the bbs instead of separate counting
+       and computation phase.
+       (vt_finalize): Free VTI (bb)->mos vector instead of array.
+
+       PR debug/43329
+       * tree-inline.c (remap_decls): Put old_var rather than origin_var
+       into *nonlocalized_list vector.
+       * dwarf2out.c (gen_formal_parameter_die): Call decl_ultimate_origin
+       even if origin is non-NULL.
+       (gen_variable_die): Likewise.
+       (process_scope_var): Don't change origin.
+       (gen_decl_die): Likewise.
+       * tree-cfgcleanup.c (remove_forwarder_block): Check single_pred_p
+       before adding new edges instead of after it, fix moving over
+       debug stmts.
+
+2010-03-11  David S. Miller  <davem@davemloft.net>
+
+       * configure.ac (gcc_cv_as_cfi_advance_working): Skip a multiple
+       of four.
+       * configure: Rebuild.
+
+2010-03-11  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/43257
+       * tree.c (assign_assembler_name_if_neeeded): New function.
+       (free_lang_data_in_cgraph): Assembler name assignment moved to the
+       above new function.
+       * tree.h (assign_assembler_name_if_neeeded): Declare.
+       * cgraphunit.c (cgraph_analyze_function): Create an assembler name for
+       the function if needed.
+
+2010-03-11  Chris Demetriou  <cgd@google.com>
+
+       * Makefile.in (stmp-int-hdrs): Make include/unwind.h,
+       include/stdint-gcc.h, and include/stdint.h world-readable.
+
+2010-03-11  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/43255
+       * tree-vrp.c (process_assert_insertions_for): Do not insert
+       asserts for trivial conditions.
+
+2010-03-11  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
+
+       PR tree-optimization/43280
+       * tree-ssa-math-opts.c (find_bswap_1): Modify symbolic number
+       generation.  Move calculation of size out of the if branch.
+       (find_bswap): Modify compare number generation.
+
 2010-03-11  Richard Guenther  <rguenther@suse.de>
 
        PR lto/43200