OSDN Git Service

* varasm.c (default_elf_asm_output_limited_string): #ifdef
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index abbc82c..389d760 100644 (file)
@@ -1,3 +1,352 @@
+2011-11-11  Jason Merrill  <jason@redhat.com>
+
+       * varasm.c (default_elf_asm_output_limited_string): #ifdef
+       ELF_ASCII_ESCAPES.
+       (default_elf_asm_output_ascii): Likewise.
+
+2011-11-11  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/50762
+       * config/i386/constraints.md (j): New address constraint.
+       * config/i386/predicates.md (lea_address_operand): Redefine as
+       special predicate.
+       * config/i386/i386.md (*lea_3_zext): Use "j" constraint for operand 1.
+       (*lea_4_zext): Ditto.
+
+2011-11-11  David S. Miller  <davem@davemloft.net>
+
+       Revert
+       2011-11-05  David S. Miller  <davem@davemloft.net>
+
+2011-11-11  Jakub Jelinek  <jakub@redhat.com>
+
+       * opts-common.c (generate_canonical_option): Free opt_text
+       it it has been allocated here and not stored anywhere.
+
+       * tree-vect-slp.c (vect_free_slp_tree): Also free SLP_TREE_CHILDREN
+       vector.
+       (vect_create_new_slp_node): Don't allocate node before checking stmt
+       type.
+       (vect_free_oprnd_info): Remove FREE_DEF_STMTS argument, always
+       free def_stmts vectors and additionally free oprnd_info.
+       (vect_build_slp_tree): Adjust callers.  Call it even if
+       stop_recursion.  If vect_create_new_slp_node or
+       vect_build_slp_tree fails, properly handle freeing memory.
+       If it succeeded, clear def_stmts in oprnd_info.
+
+2011-08-12  Dimitrios Apostolou  <jimis@gmx.net>
+
+       * final.c, output.h (fprint_whex, fprint_w, fprint_ul, sprint_ul):
+       New functions serving as fast replacements for fprintf() integer
+       to string conversions. They were used in the following changes.
+       * final.c (sprint_ul_rev): Internal helper for the above.
+       (output_addr_const): case CONST_INT: don't use fprintf().
+       * elfos.h (ASM_GENERATE_INTERNAL_LABEL): Don't use sprintf("%u"),
+       use sprint_ul() and stpcpy() which are much faster.
+       (TARGET_ASM_INTERNAL_LABEL): Define as default_elf_internal_label.
+       (ELF_ASCII_ESCAPES, ELF_STRING_LIMIT): Are the old ESCAPES and
+       STRING_LIMIT macros.
+       (ASM_OUTPUT_LIMITED_STRING, ASM_OUTPUT_ASCII): Macros now just
+       call respective functions that provide the same
+       functionality. Those are default_elf_asm_output_limited_string()
+       and default_elf_asm_output_ascii() in varasm.c.
+       * varasm.c: Fixed some whitespace inconsistencies.
+       (default_elf_asm_output_limited_string)
+       (default_elf_asm_output_ascii): The above macros from elfos.h are
+       implemented here as these functions, avoiding superfluous calls to
+       fprintf().
+       (default_elf_internal_label): Hook for
+       targetm.asm_out.internal_label and ASM_OUTPUT_DEBUG_LABEL.
+       * i386.c: Don't call fprintf("%u") but fprint_ul() instead.
+       * defaults.h (ASM_OUTPUT_LABEL, ASM_OUTPUT_INTERNAL_LABEL):
+       Expanded the macros on multiple lines for readability.
+       (ASM_OUTPUT_LABELREF): Have two calls to fputs() instead of one to
+       asm_fprintf().
+       * dwarf2asm.c (dw2_assemble_integer, dw2_asm_output_data)
+       (dw2_asm_data_uleb128, dw2_asm_delta_uleb128)
+       (dw2_asm_delta_sleb128): Convert fprintf() calls to the new
+       faster functions.
+       * dwarf2out.c (dwarf2out_source_line): Convert fprintf() calls to
+       the new faster functions.
+
+2011-11-10  Andrew MacLeod  <amacleod@redhat.com>
+
+       * doc/extend.texi: Document __atomic_test_and_set and __atomic_clear.
+
+2011-11-10  Andrew MacLeod  <amacleod@redhat.com>
+
+       PR middle-end/51038
+       * builtins.c (expand_builtin_atomic_clear): New.  Expand atomic_clear.
+       (expand_builtin_atomic_test_and_set): New.  Expand atomic test_and_set.
+       (expand_builtin): Add cases for test_and_set and clear.
+       * sync-builtins.def (BUILT_IN_ATOMIC_TEST_AND_SET): New.
+       (BUILT_IN_ATOMIC_CLEAR): New.
+
+2011-11-10  Roberto Agostino Vitillo  <ravitillo@lbl.gov>
+
+       PR debug/50983
+       * dwarf2out.c (set_cur_line_info_table): Restore the last is_stmt
+       value in the current line table.
+
+2011-11-10  Nathan Sidwell  <nathan@acm.org>
+
+       * gcov.c (struct function_info): Make src an index, not a pointer.
+       (struct source_info): Remove index and next source fields.
+       (fn_end): New static var.
+       (sources_index): Remove.
+       (sources): Now a pointer to an array, not a list.
+       (n_sources, a_sources): New.
+       (process_file): Adjust for changes to read_graph_file. Insert
+       functions into source lists and check line numbers here.
+       (generate_results): Only allocate lines for sources with
+       contents.  Adjust for source array.
+       (release_structures): Likewise.
+       (find_source): Return source index, adjust for source array.
+       (read_graph_file): Return function list.  Don't insert into source
+       lists here.
+       (read_count_file): Take list of functions.
+       (solve_flow_graph): Reverse the arc lists here.
+       (add_line_counts): Adjust for source array.
+
+2011-11-10  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/51077
+       * tree-object-size.c (addr_object_size): Check TREE_CODE of
+       MEM_REF's operand rather than code of the MEM_REF itself.
+
+2011-11-10  Andrew MacLeod  <amacleod@redhat.com>
+
+       PR rtl-optimization/51040
+       * optabs.c (expand_atomic_fetch_op): Patchup code for NAND should
+       be AND followed by NOT.
+       * builtins.c (expand_builtin_atomic_fetch_op): Patchup code for NAND
+       should be AND followed by NOT.
+
+2011-11-10  Jakub Jelinek  <jakub@redhat.com>
+
+       * vec.h (VEC_BASE): If base is at offset 0 in the structure,
+       use &(P)->base even if P is NULL.
+
+       PR rtl-optimization/51023
+       * combine.c (simplify_comparison) <case SIGN_EXTEND>: Don't use
+       val_signbit_known_clear_p for signed comparison narrowing
+       optimization.  Don't check for non-VOIDmode, use
+       HWI_COMPUTABLE_MODE_P macro.
+       <case ZERO_EXTEND>: Don't check for non-VOIDmode.
+       Optimize even when const_op is equal to GET_MODE_MASK (mode),
+       don't optimize if const_op is negative.
+
+2011-11-10  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/51042
+       * tree-ssa-pre.c (phi_translate_1): Avoid recursing on
+       self-referential expressions.  Refactor code to avoid duplication.
+
+2011-11-10  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/51070
+       * tree-loop-distribution.c (generate_builtin): Do not replace
+       the loop with a builtin if the partition contains statements which
+       results are used outside of the loop.
+       (pass_loop_distribution): Verify and collect.
+
+2011-11-10  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/51030
+       * tree-ssa-phiopt.c (jump_function_from_stmt): New function.
+       (value_replacement): Use it to handle trivial non-empty
+       intermediate blocks.
+
+2011-11-10  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/51071
+       * gimple.c (gimple_has_side_effects): Remove checking code
+       that doesn't belong here.
+
+2011-11-10  Ira Rosen  <ira.rosen@linaro.org>
+
+       PR tree-optimization/51058
+       * tree-vect-slp.c (vect_get_constant_vectors): Handle CALL_EXPR.
+
+2011-11-10  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/51000
+       * tree-vect-patterns.c (vect_recog_bool_pattern): If adding
+       a pattern stmt for a bool store, adjust DR_STMT too.
+       Don't handle bool conversions to single bit precision lhs.
+       * tree-vect-stmts.c (vect_remove_stores): If next is a pattern
+       stmt, remove its related stmt and free its stmt_vinfo.
+       (free_stmt_vec_info): Free also pattern stmt's vinfo and
+       pattern def stmt's vinfo.
+       * tree-vect-loop.c (destroy_loop_vec_info): Don't try to
+       free pattern stmt's vinfo here.
+       (vect_transform_loop): When calling vect_remove_stores,
+       do gsi_next first and don't call gsi_remove.  If not strided
+       store, free stmt vinfo for gsi_stmt (si) rather than stmt.
+
+2011-11-09  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/50911
+       * config/i386/i386.c (expand_vec_perm_interleave2): If d->vmode is
+       V4SImode, !TARGET_SSE2 and punpck[lh]* is needed, change dremap.vmode
+       to V4SFmode.
+
+       * function.h (requires_stack_frame_p): New prototype.
+       * function.c (requires_stack_frame_p): No longer static.
+       * config/i386/i386.c (ix86_finalize_stack_realign_flags): If
+       stack_realign_fp was just a conservative guess for a function
+       which doesn't use sp/fp/argp at all, clear frame_pointer_needed
+       and stack realignment.
+
+2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR preprocessor/51061
+       * incpath.c (merge_include_chains): Make sure to not pass null
+       pointers to free_path.
+
+2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       * doc/invoke.texi ([Option Summary, C++ Language Options]):
+       Add -Wzero-as-null-pointer-constant.
+
+2011-11-07  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>
+
+       * config/arm/arm-cores.def: Add -mcpu=cortex-a7.
+       * config/arm/arm-tables.opt: Regenerate.
+       * config/arm/arm-tune.md: Likewise.
+       * config/arm/bpabi.h (BE8_LINK_SPEC): Add Cortex A-7.
+       * doc/invoke.texi: Document -mcpu=cortex-a7.
+
+2011-11-09  Richard Guenther  <rguenther@suse.de>
+
+       Revert
+       2011-11-09  Richard Guenther  <rguenther@suse.de>
+
+       * tree-cfg.c (verify_gimple_call): Verify that
+       gimple_call_cannot_inline_p is returning a conservative
+       correct result according to gimple_check_call_matching_types.
+
+2011-11-09  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/51039
+       * tree-cfg.c (verify_gimple_call): Verify that
+       gimple_call_cannot_inline_p is returning a conservative
+       correct result according to gimple_check_call_matching_types.
+       * ipa-inline-analysis.c (estimate_function_body_sizes): Remove
+       code dealing with un-inlinablility.
+       * gimple-streamer-in.c (input_gimple_stmt): Update the
+       non-inlinable flag.
+
+2011-11-09  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/51039
+       * tree-inline.c (setup_one_parameter): Always perform a
+       valid gimple type change.
+       (declare_return_variable): Likewise.
+
+2011-11-09  Jakub Jelinek  <jakub@redhat.com>
+
+       * config/rs6000/vector.md (vcondv4sfv4si, vcondv4siv4sf,
+       vconduv4sfv4si): New patterns.
+       * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Handle
+       different dest_mode from comparison mode.
+
+2011-11-09  Richard Guenther  <rguenther@suse.de>
+
+       * gimple-fold.c (canonicalize_constructor_val): Mark
+       address-taken variables addressable.
+
+2011-11-09  Ira Rosen  <ira.rosen@linaro.org>
+
+       PR tree-optimization/51015
+       * tree-vect-loop.c (vect_determine_vectorization_factor): Expect
+       vectype to be set for pattern def stmts.
+
+2011-11-09  Alan Modra  <amodra@gmail.com>
+
+       * function.c (bb_active_p): Delete.
+       (dup_block_and_redirect, active_insn_between): New functions.
+       (convert_jumps_to_returns, emit_return_for_exit): New functions,
+       split out from..
+       (thread_prologue_and_epilogue_insns): ..here.  Delete
+       shadowing variables.  Don't do prologue register clobber tests
+       when shrink wrapping already failed.  Delete all last_bb_active
+       code.  Instead compute tail block candidates for duplicating
+       exit path.  Remove these from antic set.  Duplicate tails when
+       reached from both blocks needing a prologue/epilogue and
+       blocks not needing such.
+       * ifcvt.c (dead_or_predicable): Test both flag_shrink_wrap and
+       HAVE_simple_return.
+       * bb-reorder.c (get_uncond_jump_length): Make global.
+       * bb-reorder.h (get_uncond_jump_length): Declare.
+       * cfgrtl.c (rtl_create_basic_block): Comment typo fix.
+       (rtl_split_edge): Likewise.  Warning fix.
+       (rtl_duplicate_bb): New function.
+       (rtl_cfg_hooks): Enable can_duplicate_block_p and duplicate_block.
+       * Makefile.in (function.o): Update dependencies.
+
+2011-11-08  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
+           Georg-Johann Lay  <avr@gjlay.de>
+
+       * doc/tm.texi.in (MODE_CODE_BASE_REG_CLASS): Add address space
+       argument.
+       (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
+       * doc/tm.texi: Regenerate.
+
+       * config/cris/cris.h (MODE_CODE_BASE_REG_CLASS): Add address
+       space argument.
+       (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
+       * config/bfin/bfin.h (MODE_CODE_BASE_REG_CLASS): Likewise.
+       (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
+       * config/avr/avr.h (MODE_CODE_BASE_REG_CLASS): Add address space
+       argument.
+       (REGNO_MODE_CODE_OK_FOR_BASE_P): Ditto.
+       * config/avr/avr-protos.h (avr_mode_code_base_reg_class): Ditto.
+       (avr_regno_mode_code_ok_for_base_p): Ditto.
+       * config/avr/avr.c (avr_mode_code_base_reg_class): Ditto.
+       (avr_regno_mode_code_ok_for_base_p): Ditto.
+       (avr_reg_ok_for_addr_p): Pass AS down to
+       avr_regno_mode_code_ok_for_base_p.
+
+       * addresses.h (base_reg_class): Add address space argument.
+       Pass to MODE_CODE_BASE_REG_CLASS.
+       (ok_for_base_p_1): Add address space argument.  Pass to
+       REGNO_MODE_CODE_OK_FOR_BASE_P.
+       (regno_ok_for_base_p): Add address space argument.  Pass to
+       ok_for_base_p_1.
+
+       * regrename.c (scan_rtx_address): Add address space argument.
+       Pass address space to regno_ok_for_base_p and base_reg_class.
+       Update recursive calls.
+       (scan_rtx): Pass address space to scan_rtx_address.
+       (build_def_use): Likewise.
+       * regcprop.c (replace_oldest_value_addr): Add address space
+       argument.  Pass to regno_ok_for_base_p and base_reg_class.
+       Update recursive calls.
+       (replace_oldest_value_mem): Pass address space to
+       replace_oldest_value_addr.
+       (copyprop_hardreg_forward_1): Likewise.
+
+       * reload.c (find_reloads_address_1): Add address space argument.
+       Pass address space to base_reg_class and regno_ok_for_base_p.
+       Update recursive calls.
+       (find_reloads_address): Pass address space to base_reg_class,
+       regno_ok_for_base_p, and find_reloads_address_1.
+       (find_reloads): Pass address space to base_reg_class.
+       (find_reloads_subreg_address): Likewise.
+
+       * ira-costs.c (record_reg_classes): Update calls to base_reg_class.
+       (ok_for_base_p_nonstrict): Add address space argument.  Pass to
+       ok_for_base_p_1.
+       (record_address_regs): Add address space argument.  Pass to
+       base_reg_class and ok_for_base_p_nonstrict.  Update recursive calls.
+       (record_operand_costs): Pass address space to record_address_regs.
+       (scan_one_insn): Likewise.
+
+       * caller-save.c (init_caller_save): Update call to base_reg_class.
+       * ira-conflicts.c (ira_build_conflicts): Likewise.
+       * reload1.c (maybe_fix_stack_asms): Likewise.
+
 2011-11-08  Michael Matz  <matz@suse.de>
 
        * gengtype.c (write_field_root): Avoid out-of-scope access of newv.
        * tree-sra.c (build_accesses_from_assign): Ignore clobbers.
        * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Clobbers of
        SSA names aren't necessary.
-       (propagate_necessity): Accept and ignore constructors on the rhs,
-       tidy.
+       (propagate_necessity): Accept and ignore constructors on the rhs, tidy.
        * gimple.c (walk_gimple_op): Accept constructors like mem_rhs.
        * tree-ssa-structalias.c (find_func_aliases): Clobbers don't store
        any known value.
        * trans-mem.c: New file.
        * trans-mem.h: New file.
 
-       * opts.c (finish_options): Error out when using -flto and
-       -fgnu-tm.
+       * opts.c (finish_options): Error out when using -flto and -fgnu-tm.
 
        * config/i386/i386.c: Define TARGET_VECTORIZE* transactional variants.
        (ix86_handle_tm_regparm_attribute, struct bdesc_tm,
 2011-11-07  H.J. Lu  <hongjiu.lu@intel.com>
 
        * dwarf2cfi.c (dwarf2out_frame_debug_expr): Check
-       HARD_FRAME_POINTER_REGNUM instead of hard_frame_pointer_rtx
-       in Rule 18.
+       HARD_FRAME_POINTER_REGNUM instead of hard_frame_pointer_rtx in Rule 18.
 
 2011-11-07  Jakub Jelinek  <jakub@redhat.com>
 
        * tree-data-ref.h (initialize_data_dependence_relation,
        compute_self_dependence): New prototypes.
        * tree-vect-data-refs.c (vect_check_gather): New function.
-       (vect_analyze_data_refs): Detect possible gather load data
-       refs.
+       (vect_analyze_data_refs): Detect possible gather load data refs.
        * tree-vectorizer.h (struct _stmt_vec_info): Add gather_p field.
        (STMT_VINFO_GATHER_P): Define.
        (vect_check_gather): New prototype.
        (avx2_gathersi<mode>, *avx2_gathersi<mode>): Use <VEC_GATHER_IDXSI>
        instead of <VEC_GATHER_MODE>.
        (avx2_gatherdi<mode>): Use <VEC_GATHER_IDXDI> instead of
-       <<AVXMODE48P_DI> and <VEC_GATHER_SRCDI> instead of VEC_GATHER_MODE
+       <AVXMODE48P_DI> and <VEC_GATHER_SRCDI> instead of VEC_GATHER_MODE
        on src and mask operands.
        (*avx2_gatherdi<mode>): Likewise.  Use VEC_GATHER_MODE iterator
        instead of AVXMODE48P_DI.
 
 2011-11-07  Uros Bizjak  <ubizjak@gmail.com>
 
-       * config/i386/f16cintrin: Remove extra _X86INTRIN_H_INCLUDED check.
+       * config/i386/f16cintrin.h: Remove extra _X86INTRIN_H_INCLUDED check.
 
 2011-11-07  Tristan Gingold  <gingold@adacore.com>
 
        * Makefile.in (USER_H): Add stdalign.h.
 
 2011-11-06  Joern Rennecke  <joern.rennecke@embecosm.com>
-           Eric Botcazou  <ebotcazou@adacore.com>
 
        * regset.h (fixed_reg_set_regset): Declare.
        * dse.c: Include regset.h .
 
 2011-11-6  Richard Guenther  <rguenther@suse.de>
 
-       * ipa-prop.c (ipa_modify_call_arguments): Re-compute
-       inlinable flag.
+       * ipa-prop.c (ipa_modify_call_arguments): Re-compute inlinable flag.
 
 2011-11-06  Ira Rosen  <ira.rosen@linaro.org>