OSDN Git Service

* config/alpha/alpha.c: Include libfuncs.h
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 6f24540..c6c25de 100644 (file)
@@ -1,3 +1,837 @@
+2009-08-09  Douglas B Rupp  <rupp@gnat.com>
+
+       * config/alpha/alpha.c: Include libfuncs.h
+       (avms_asm_output_extern): New function.
+       (alpha_init_libfuncs): Init some decc libfuncs.
+       * config/alpha/alpha-protos.h (avms_asm_output_external): Declare.
+       * config/alpha/vms.h (ASM_OUTPUT_EXTERNAL): Define.
+       (DO_CRTL_NAMES): Define.
+       (LIB_SPEC): Remove.
+       * config/alpha/vms64.h: (POINTERS_EXTEND_UNSIGNED): Remove undef.
+       (LONG_TYPE_SIZE): Define.
+       (TARGET_OS_CPP_BUILTINS): Define with __LONG_POINTERS=1
+       (SUBTARGET_SWITCHES): Define malloc64 switch.
+       (TARGET_DEFAULT): Default MASK_MALLOC64 set.
+       (MASK_RETURN_ADDR): Define.
+       doc/invoke.texi (mmalloc64): Document switch.
+
+2009-08-09  Olivier Hainque  <hainque@adacore.com>
+            Douglas B Rupp  <rupp@gnat.com>
+
+       * config/alpha/alpha.c (struct machine_function): New flag for VMS,
+       uses_condition_handler.
+       (alpha_expand_builtin_establish_vms_condition_handler): New expander.
+       (alpha_expand_builtin_revert_vms_condition_handler): New expander.
+       (enum alpha_builtin): New ALPHA_BUILTIN_REVERT_VMS_CONDITION_HANDLER
+       and ALPHA_BUILTIN_ESTABLISH_VMS_CONDITION_HANDLER values.
+       (code_for_builtin): New insn codes for the new alpha_builtins.
+       (alpha_init_builtins): Register the new functions as BUILT_IN_MD.
+       (alpha_sa_size): Account for uses_condition_handler.
+       (alpha_expand_prologue): Likewise.
+       (alpha_start_function): Likewise.
+       (alpha_expand_epilogue): Likewise.
+       * config/alpha/alpha-protos.h: Prototype the new alpha.c builtin
+       establish/revert expanders.
+       * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Define.
+       * config/alpha/alpha.md (builtin_establish_vms_condition_handler):
+       New expander, resorting to the alpha.c associated function.
+       (builtin_revert_vms_condition_handler): Likewise.
+       * config/alpha/vms-gcc_shell_handler.c: New file. Implements
+       __gcc_shell_handler, the static VMS condition handler used as
+       an indirection wrapper to the current dynamically established
+       handler.
+       * config/alpha/vms-unwind.h: Complete rewrite.
+       * config/alpha/t-vms (LIB2FUNCS_EXTRA): Add vms-gcc_shell_handler.c
+       * config/alpha/vms.h (MD_UNWIND_SUPPORT):
+       
+2009-08-09  Eric Botcazou  <botcazou@adacore.com>
+            Douglas B Rupp  <rupp@gnat.com>
+
+       * config/alpha/alpha.c (alpha_links): Add 'target' field.
+       (alpha_need_linkage): Handle aliases.  Return function symbol.
+       (alpha_use_linkage): Rename 'linkage' argument to 'func'.
+       Use ultimate alias target for the linkage name.
+       * config/alpha/alpha.md (movmemdi): Use the symbol returned
+       by alpha_need_linkage for the function symbol.
+       (setmemdi): Likewise.
+
+2009-08-09  Douglas B Rupp  <rupp@gnat.com>
+
+       * config/alpha/alpha.c (TARGET_ASM_UNALIGNED_*_OP): Define if on VMS.
+       * config/alpha/vms.h (OBJECT_FORMAT_ELF): Define.
+       (ASM_WEAKEN_LABEL): Define.
+       (CRT_CALL_STATIC_FUNCTION): Define.
+       (STARTFILE_SPEC): Add crtbegin.o crtbeginS.o.
+       (ENDFILE_SPEC): Define.
+       (INIT_SECTION_ASM_OP): Define.
+       * config/alpha/vms-dwarf2eh.asm (__EH_FRAME_BEGIN__): Remove.
+       * config/alpha/t-vms (EXTRA_PARTS): Add crtbegin.o crtbeginS.o
+       crtend.o crtendS.o.
+       (MULTILIB_OSDIRNAMES): Define.
+       (shlib_version): Define.
+       (SHLIB_EXT): Define.
+       (SHLIB_OBJS): Define.
+       (SHLIB_NAME): Define.
+       (SHLIB_MULTILIB): Define.
+       (SHLIB_INSTALL): Define.
+       (SHLIB_SYMVEC): Define.
+       (SHLIB_SYMVECX2): Define.
+       (SHLIB_LINK): Define.
+
+2009-08-09  Douglas B Rupp  <rupp@gnat.com>
+
+       * config/alpha/alpha.c (alpha_initialize_trampoline):
+       Initialize VMS trampoline IAW ABI for bounded procedure calls.
+       (alpha_start_function): Emit transfer address on nested functions
+       for VMS trampoline call.
+       * config/alpha/t-vms (LIB2FUNCS_EXTRA): Remove vms_tramp.asm
+       since no longer used.
+       * config/alpha/vms-tramp.asm: Remove.
+       * config/alpha/vms.h (TRAMPOLINE_TEMPLATE): Leave undefined
+       since now only data initialized at runtime.
+
+2009-08-09  Douglas B Rupp  <rupp@gnat.com>
+
+       * config/alpha/vms.h (HANDLE_SYSV_PRAGMA): Define.
+       (LINK_GCC_C_SEQUENCE_SPEC): Define.
+       (MD_EXEC_PREFIX): Remove, no longer used.
+       (MD_STARTFILE_PREFIX): Likewise.
+       (INCLUDE_DEFAULTS): Likewise.
+       * config/alpha/t-vms:
+       (vms-dwarf2.o, vms-dwarf2eh.o): Use GCC_FOR_TARGET to compile.
+
+2009-08-09  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/41016
+       * tree-ssa-ifcombine.c (get_name_for_bit_test): Fix tuplification
+       bug.
+       (operand_precision): Remove.
+       (integral_operand_p): Likewise.
+       (recognize_single_bit_test): Adjust.
+
+2009-08-09  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * c-common.c (c_fully_fold_internal): Issue a warning if a binary
+       operation overflows.  Likewise non-cast unary arithmetic.
+       If one arm of a conditional expression is always taken,
+       inhibit evaluation warnings for the other arm.  Likewise inhibit
+       evaluation warnings for the second && or || operand if the first
+       operand is enough to determine the result.
+       * c-typeck.c (build_conditional_expr): Apply the same inhibition
+       rules here.
+       (build_binary_op): Prevent duplicate evaluation warnings.
+
+2009-08-09  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * tree-out-of-ssa.c (insert_value_copy_on_edge): If the source
+       and destination have different modes, Use promote_mode to
+       determine the signedness of the conversion.  Assert that the
+       promoted source mode matches the destination mode.  Don't pass
+       the destination and destination mode to expand_expr if the source
+       mode is different.  Simplify conversion logic.
+
+2009-08-09  Ira Rosen  <irar@il.ibm.com>
+
+       PR tree-optimization/41008
+       * tree-vect-loop.c (vect_is_simple_reduction): Get operands
+       from condition only in case it's a comparison. Adjust checks.   
+
+2009-08-09  Bernd Schmidt  <bernd.schmidt@analog.com>
+
+       * tree-dfa.c (renumber_gimple_stmt_uids_in_blocks): New function.
+       * tree-flow.h (renumber_gimple_stmt_uids_in_blocks): Declare it.
+       * tree-ssa-loop-ivopts.c (comp_cost): Make COST an integer.
+       (enum iv_position): Add IP_AFTER_USE and IP_BEFORE_USE.
+       (dump_cand): Handle them.
+       (struct iv_cand): New members COST_STEP and AINC_USE.
+       (stmt_after_increment): Likewise.
+       (stmt_after_inc_pos): Renamed from stmt_after_ip_original_pos.  All
+       callers changed.  Use gimple_uid comparison instead of scanning.
+       (add_candidate_1): When looking for identical candidates, take
+       AINC_USE into account.  Set it for new candidates.
+       (force_expr_to_var_cost): Cast target_spill_cost to int.
+       (get_address_cost): New arguments STMT_AFTER_INC and MAY_AUTOINC.
+       All callers changed.  Check for availability of autoinc addressing
+       modes, both in general for a given mode, and in the specific use
+       case.
+       (get_computation_cost_at): New argument CAN_AUTOINC.  All callers
+       changed.
+       (get_computation_cost): Likewise.
+       (autoinc_possible_for_pair, set_autoinc_for_original_candidates,
+       add_autoinc_candidates): New static functions.
+       (add_candidate): Call add_autoinc_candidates for candidates based on
+       a USE_ADDRESS use.
+       (find_iv_candidates): Call set_autoinc_for_original_candidates.
+       (determine_use_iv_cost_address): If we have an autoinc candidate at
+       the matching use, verify autoinc is possible and subtract the cost
+       of the candidate's step from the cost.
+       (determine_iv_cost): Record the cost of the increment in the COST_STEP
+       member of the candidate.
+       (tree_ssa_iv_optimize_loop): Swap the calls to determine_iv_costs and
+       determine_use_iv_costs.  Call renumber_gimple_stmt_uids_in_blocks.
+
+2009-08-09  Douglas B Rupp  <rupp@gnat.com>
+
+       * config.build (ia64-hp-*vms*): New target.
+       (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
+       with ia64-hp-*vms*.
+       * config.gcc (ia64-hp-*vms*): New target.
+       (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
+       with ia64-hp-*vms*.
+       * config.host (ia64-hp-*vms*): New target.
+       (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
+       with ia64-hp-*vms*.
+
+2009-08-08  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/40991
+       * tree-ssa-pre.c (eliminate): Delay purging EH edges.
+
+2009-08-08  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * combine.c (gen_lowpart_or_truncate): Exclude CONST_INTs from
+       mode check.  Do truncations in an integer mode.
+       (force_to_mode): Handle subregs for all mode types.  Only do
+       arithmetic simplifications on integer modes.
+
+2009-08-07  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/40999
+       * tree-ssa-ccp.c (get_symbol_constant_value): Handle CONST_DECLs.
+       (maybe_fold_reference): Lookup constant initializers.
+       (fold_gimple_assign): Likewise.
+
+2009-08-07  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa.c (useless_type_conversion_p_1): Only for types
+       that require structural equality defer to the langhook.
+
+2009-08-07  Martin Jambor  <mjambor@suse.cz>
+
+       * ipa-prop.h (enum jump_func_type): New value IPA_JF_ANCESTOR, changed
+       comments.
+       (struct ipa_pass_through_data): New type.
+       (struct ipa_ancestor_jf_data): New type.
+       (union jump_func_value): Removed field formal_id, added fields
+       pass_through and ancestor.
+       (struct ipa_param_call_note): Changed type of formal_id to int from
+       unsigned.
+       * ipa-prop.c (ipa_print_node_jump_functions): Print pass through with
+       operations jump functions and ancestor jump functions.
+       (compute_complex_pass_through): New function.
+       (compute_scalar_jump_functions): Call compute_complex_pass_through,
+       reflect changes in the jump function strucutre.
+       (update_jump_functions_after_inlining): Ignore complex pass-through
+       and ancestor jump functions.
+       * ipa-cp.c (ipcp_lattice_from_jfunc): Added support for ancestor and
+       polynomial pass-through with operation jump functions.
+
+2009-08-07  Jakub Jelinek  <jakub@redhat.com>
+
+       * dwarf2out.c (output_fde): When doing hot/cold partitioning, use
+       fde->dw_fde_begin as begin label instead of hot/cold label.
+       Use LLSDAC label instead of LLSDA for second section lsda.
+       (dwarf2out_do_cfi_startproc): Add SECOND argument.  Use LLSDAC
+       label instead of LLSDA if it is true.
+       (dwarf2out_begin_prologue, dwarf2out_switch_text_section): Adjust
+       callers.
+       * except.c (add_call_site, dw2_size_of_call_site_table): Add
+       SECTION argument.  Use it as index into crtl->eh.call_site_record
+       array.
+       (dw2_output_call_site_table): Likewise.  Add CS_FORMAT argument,
+       use it to determine how to print table entries instead of using
+       #ifdef HAVE_AS_LEB128.  For SECTION > 0 use hot resp. cold
+       label instead of normal begin label as base.
+       (sjlj_assign_call_site_values): Adjust add_call_site caller.
+       (convert_to_eh_region_ranges): When doing hot/cold partitioning,
+       ensure no EH range spans between sections and that landing pads
+       are always in the corresponding section.
+       (sjlj_size_of_call_site_table, sjlj_output_call_site_table): Adjust
+       for crtl->eh.call_site_record being an array rather than scalar.
+       (output_one_function_exception_table): New function, copied
+       from output_function_exception_table.  Adjust
+       dw2_size_of_call_site_table, dw2_output_call_site_table
+       callers.  For SECOND section use *C suffixed labels.
+       (output_function_exception_table): Call
+       output_one_function_exception_table and, when doing hot/cold
+       partitioning, also another time for the second section.
+       * opts.c: Include except.h.
+       (decode_options): Allow -freorder-blocks-and-partition with
+       exceptions, unless SJLJ or TARGET_UNWIND_INFO.
+       * Makefile.in (opts.o): Depend on $(EXCEPT_H).
+       * function.h (struct rtl_eh): Change call_site_record from
+       scalar into array of 2 elements.
+
+2009-08-07  Martin Jambor  <mjambor@suse.cz>
+
+       * ipa-prop.c (count_formal_params_1): New function.
+       (ipa_get_vector_of_formal_parms): New function.
+       (get_vector_of_formal_parm_types): New function.
+       (ipa_modify_formal_parameters): New function.
+       (ipa_modify_call_arguments): New function.
+       (index_in_adjustments_multiple_times_p): New function.
+       (ipa_combine_adjustments): New function.
+       (ipa_dump_param_adjustments): New function.
+       * ipa-prop.h (struct ipa_parm_adjustment): New type.
+       (ipa_get_vector_of_formal_parms): Declare.
+       (ipa_modify_formal_parameters): Declare.
+       (ipa_modify_call_arguments): Declare.
+       (ipa_combine_adjustments): Declare.
+       (ipa_dump_param_adjustments): Declare.
+       (build_ref_for_offset): Declare.
+       * Makefile.in (tree-sra.o): Add ipa-prop.h to dependencies.
+       * tree-sra.c: Include ipa-prop.c.
+       (build_ref_for_offset): Make public. 
+
+2009-08-06  Thomas Schwinge  <tschwinge@gnu.org>
+
+       * gcc/doc/extend.texi (__builtin_extract_return_address)
+       (__builtin_frob_return_address): Document.
+
+2009-08-06  Paul Brook  <paul@codesourcery.com>
+
+       * config/arm/lib1funcs.asm (ARM_DIV_BODY): Add Thumb-2 implementation.
+       (udivsi3, aeabi_uidivmod, divsi3, aeabi_idivmod): Only use Thumb-1
+       implementation on ARMv6-M.
+
+2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
+
+       * doc/extend.texi (pcs): Document new attribute for ARM.
+
+2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
+
+       * arm.c (pcs_attribute_args): Comment out unsupported attribute
+       variants.
+
+2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
+
+       * arm.c (arm_handle_pcs_attribute): Pass the entire name object to
+       warning ().
+
+2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
+
+       * arm.c (arm_handle_pcs_attribute): Use %qE in warning.
+
+2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
+
+       Merge ARM/hard_vfp_branch to trunk.
+
+       2009-08-04  Richard Earnshaw  <rearnsha@arm.com>
+
+       * arm.c (libcall_eq): New function.
+       (libcall_hash): New function.
+       (add_libcall): New function.
+       (arm_libcall_uses_aapcs_base): New function.
+       (arm_libcall_value): Use arm_libcall_uses_aapcs_base to check for
+       libcalls using the base PCS.
+       (arm_init_cumulative_args): Likewise.
+
+       2009-07-20  Joseph Myers  <joseph@codesourcery.com>
+
+       * config/arm/arm.c (arm_libcall_value, arm_init_cumulative_args):
+       Use base ABI for conversion libfuncs between HFmode and SFmode.
+
+       2009-05-12  Joseph Myers  <joseph@codesourcery.com>
+
+       * config/arm/arm.c (aapcs_vfp_sub_candidate): Use V2SImode and
+       V4SImode as representatives of all 64-bit and 128-bit vector
+       types.  Allow vector types without vector modes.
+       (aapcs_vfp_is_call_or_return_candidate): Handle vector types
+       without vector modes like BLKmode.
+       (aapcs_vfp_allocate): Handle TImode for non-TARGET_NEON like
+       BLKmode.  Avoid unsupported vector modes or TImode moves for
+       non-TARGET_NEON.
+       (aapcs_vfp_allocate_return_reg): Likewise.
+       (arm_vector_mode_supported_p): Only support V2SImode, V4HImode and
+       V8QImode if TARGET_NEON || TARGET_IWMMXT.
+
+       2009-05-12  Joseph Myers  <joseph@codesourcery.com>
+
+       * config/arm/arm.c (arm_handle_pcs_attribute): New.
+       (arm_get_pcs_model): Pass attribute arguments to
+       arm_pcs_from_attribute.
+       (arm_init_cumulative_args): Use base AAPCS for conversions from
+       floating-point types to DImode.
+       (arm_attribute_table): Add pcs attribute.
+       (arm_handle_pcs_attribute): New.
+       * config/arm/bpabi.h (DECLARE_LIBRARY_RENAMES): When renaming
+       conversions from floating-point types to DImode, also declare them
+       to use base AAPCS and declare functions they call to use base
+       AAPCS and their RTABI names.
+
+       2009-05-12  Joseph Myers  <joseph@codesourcery.com>
+
+       * doc/invoke.texi (-mfloat-abi=@var{name}): Remove statement about
+       -mfloat-abi=hard not being supported for VFP.
+
+       2009-05-11  Kazu Hirata  <kazu@codesourcery.com>
+
+       * config/sparc/sparc.c (sparc_emit_float_lib_cmp): Pass a libcall
+       SYMBOL_REF to hard_libcall_value.
+
+       2009-03-05  Joseph Myers  <joseph@codesourcery.com>
+           Richard Earnshaw  <rearnsha@arm.com>
+
+       * config/arm/arm.c (aapcs_layout_arg): Once a co-processor argument
+       has been put on the stack, all remaining co-processory arguments for
+       that co-processor also go on the stack.
+
+       2009-03-05  Joseph Myers  <joseph@codesourcery.com>
+
+       * config/arm/arm.c (arm_return_in_memory): Handle returning
+       vectors of suitable size in registers also for AAPCS case.
+
+       2009-01-13  Richard Earnshaw <rearnsha@arm.com>
+
+       * doc/tm.texi (TARGET_LIBCALL_VALUE): Add missing end statement.
+
+       2008-12-09  Richard Earnshaw <rearnsha@arm.com>
+
+       ARM Hard-VFP calling convention
+       * target-def.h (TARGET_LIBCALL_VALUE): New hook.
+       * target.h (gcc_target): Add libcall_value to table of call hooks.
+       * targhooks.h (default_libcall_value): Default implementation.
+       * targhooks.c (default_libcall_value): Likewise.
+       * doc/tm.texi (TARGET_LIBCALL_VALUE): Document it.
+       * optabs.c (expand_unop): Use it.
+       * expr.h (hard_libcall_value): Pass the function RTX through.
+       * calls.c (emit_library_call_value_1): Update call to 
+       hard_libcall_value.
+       * explow.c (hard_libcall_value): Use new target hook.
+       * testsuite/lib/target-supports.exp
+       (check_effective_target_arm_hard_vfp_ok): New hook.
+       (check_effective_target_arm_neon_ok): Improve test for neon
+       availability.
+       * testsuite/gcc.target/arm/eabi1.c: Only run test in base variant.
+       * config/arm/arm.c: Include cgraph.h
+       (TARGET_FUNCTION_VALUE): Override default hook.
+       (arm_pcs_default): New variable.
+       (arm_override_options): Don't fault hard calling convention with VFP.
+       Add support for AAPCS variants.
+       (arm_function_value): Make static.  Handle AAPCS variants.
+       (arm_libcall_value): New function.
+       (arm_apply_result_size): Handle VFP registers in results.
+       (arm_return_in_memory): Rework all AAPCS variants; handle hard-vfp
+       conventions.
+       (pcs_attribute_args): New variable.
+       (arm_pcs_from_attribute): New function.
+       (arm_get_pcs_model): New function.
+       (aapcs_vfp_cum_init): New function.
+       (aapcs_vfp_sub_candidate): New function.
+       (aapcs_vfp_is_return_candidate): New function.
+       (aapcs_vfp_is_call_candidate): New function.
+       (aapcs_vfp_allocate): New function.
+       (aapcs_vfp_allocate_return_reg): New function.
+       (aapcs_vfp_advance): New function.
+       (aapcs_cp_arg_layout): New variable.
+       (aapcs_select_call_coproc): New function.
+       (aapcs_select_return_coproc): New function.
+       (aapcs_allocate_return_reg): New function.
+       (aapcs_libcall_value): New function.
+       (aapcs_layout_arg): New function.
+       (arm_init_cumulative_args): Initialize AAPCS args data.
+       (arm_function_arg): Handle AAPCS variants using new interface.
+       (arm_arg_parital_bytes): Likewise.
+       (arm_function_arg_advance): New function.
+       (arm_function_ok_for_sibcall): Ensure that sibling calls agree on
+       calling conventions.
+       (arm_setup_incoming_varargs): Handle new AAPCS args data.
+       * arm.h (NUM_VFP_ARG_REGS): Define.
+       (LIBCALL_VALUE): Update.
+       (FUNCTION_VALUE): Delete.
+       (FUNCTION_VALUE_REGNO_P): Add VFP regs.
+       (arm_pcs): New enum.
+       (CUMULATIVE_ARGS): New data to support AAPCS argument marshalling.
+       (FUNCTION_ARG_ADVANCE): Call arm_function_arg_advance.
+       (FUNCTION_ARG_REGNO_P): Add VFP regs.
+       * arm-protos.h (arm_function_arg_advance): Add.
+       (aapcs_libcall_value): Add.
+       (arm_function_value): Delete.
+
+2009-08-06  Uros Bizjak  <ubizjak@gmail.com>
+           H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR target/40957
+       * config/i386/i386.c (standard_sse_mode_p): Remove.
+       (standard_sse_constant_p): Return 2 for integer mode
+       vector_all_ones_operand when SSE2 is enabled.
+       (standard_sse_constant_opcode)<case 2>: Always return [v]pcmpeqd.
+       (ix86_expand_vector_move): Do not check for negative values from
+       standard_sse_constant_p.
+
+2009-08-06  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa.c (useless_type_conversion_p_1): Make function and
+       array type comparisons frontend independent.
+       * Makefile.in (tree-ssa.o): Add $(TARGET_H) dependency.
+       * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Always fill
+       out array reference lower bound and element size operands.
+       (ao_ref_init_from_vn_reference): Properly compute the offset
+       for ARRAY_RANGE_REF.
+       (vn_reference_fold_indirect): Fill out array reference lower
+       bound and element size operands.
+       * tree-ssa-pre.c (phi_translate_1): Fail if we have to translate
+       a non gimple valued reference operand which can happen for
+       array reference lower bound or element size.
+       (create_component_ref_by_pieces_1): Properly generate the
+       element size operand for array references.
+
+2009-08-06  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/40964
+       * tree.c (iterative_hash_host_wide_int): Export.
+       * tree.h (iterative_hash_host_wide_int): Declare.
+       * tree-ssa-structalias.c (heapvar_map): New struct.
+       (heapvar_map_eq): New function.
+       (heapvar_map_hash): Likewise.
+       (heapvar_lookup): Adjust.
+       (heapvar_insert): Likewise.
+       (make_constraint_from_heapvar): Allow multiple heap variables
+       per decl at different offsets.
+       (init_alias_heapvars): Adjust.
+
+2009-08-04  David Daney  <ddaney@caviumnetworks.com>
+
+       * config/mips/mips.h (TARGET_SYNC_AFTER_SC): New macro.
+       * mips_output_sync_loop (mips_output_sync_loop): Only emit
+       trailing sync if TARGET_SYNC_AFTER_SC.
+
+2009-08-05  David Daney  <ddaney@caviumnetworks.com>
+
+       * gcc/config/mips/sync.md (sync_compare_and_swap<mode>,
+       compare_and_swap_12, sync_add<mode>, sync_<optab>_12,
+       sync_old_<optab>_12, sync_new_<optab>_12, sync_nand_12,
+       sync_old_nand_12, sync_new_nand_12, sync_sub<mode>,
+       sync_old_add<mode>, sync_old_sub<mode>, sync_new_add<mode>,
+       sync_new_sub<mode>, sync_<optab><mode>, sync_old_<optab><mode>,
+       sync_new_<optab><mode>, sync_nand<mode>, sync_old_nand<mode>,
+       sync_new_nand<mode>, sync_lock_test_and_set<mode>,
+       test_and_set_12): Rewrite calls to mips_output_sync_loop.
+       * gcc/config/mips/mips-protos.h (mips_output_sync_loop): Make
+       the prototype declaration match the definition.
+       * gcc/config/mips/mips.c (mips_output_sync_loop):  Emit sync
+       instructions explicitly.  Add barrier_before and operands
+       parameters.
+       * gcc/config/mips/mips.h (MIPS_COMPARE_AND_SWAP,
+       MIPS_COMPARE_AND_SWAP_12, MIPS_SYNC_OP, MIPS_SYNC_OP_12,
+       MIPS_SYNC_OLD_OP_12, MIPS_SYNC_NEW_OP_12, MIPS_SYNC_OLD_OP,
+       MIPS_SYNC_NEW_OP, MIPS_SYNC_NAND, MIPS_SYNC_OLD_NAND,
+       MIPS_SYNC_NEW_NAND, MIPS_SYNC_EXCHANGE,
+       MIPS_SYNC_EXCHANGE_12): Remove sync instructions.
+
+2009-08-05  Andrew Pinski  <pinskia@gmail.com>
+
+       * tree-ssa-alias.c: Fix intervals to use [) syntax.
+
+2009-08-05  Uros Bizjak  <ubizjak@gmail.com>
+           Mikulas Patocka  <mikulas@artax.karlin.mff.cuni.cz>
+
+       PR target/40906
+       * config/i386/i386.c (ix86_split_long_move): Fix push of multi-part
+       source operand.
+
+2009-08-05  Jakub Jelinek  <jakub@redhat.com>
+
+       PR rtl-optimization/40924
+       * dse.c (canon_address): Before calling cselib_expand_value_rtx
+       make sure canon_rtx (mem_address) isn't simpler than
+       canon_rtx (expanded_mem_address).
+
+2009-08-05  Li Feng  <nemokingdom@gmail.com>
+
+       * graphite-sese-to-poly.c (build_pbb_drs): Remove build alias set
+       for each poly_bb_p.
+       (build_scop_drs): Build alias set for each SCoP.
+
+2009-08-04  Sandra Loosemore  <sandra@codesourcery.com>
+
+       * doc/invoke.texi (MIPS Options): Document new 1004K -march options.
+       * config/mips/mips.c (mips_cpu_info_table): Add 1004K cores.
+       * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Add pattern for 1004K.
+       (MIPS_ARCH_FLOAT_SPEC): Likewise.
+       (BASE_DRIVER_SELF_SPECS): Likewise.
+
+2009-08-04  Andrew Pinski  <pinskia@gmail.com>
+
+       * tree-ssa-alias.c: Fix some comment typos.
+
+2009-08-04  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       * config/sh/linux-atomic.asm (ATOMIC_BOOL_COMPARE_AND_SWAP,
+       ATOMIC_OP_AND_FETCH, ATOMIC_COMBOP_AND_FETCH): Define.
+
+2009-08-03  Janis Johnson  <janis187@us.ibm.com>
+
+       PR c/39902
+       * simplify-rtx.c (simplify_binary_operation_1): Disable
+       simplifications for decimal float operations.
+
+2009-08-03  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/40943
+       * tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
+       operand of INDIRECT_REF.
+
+2009-08-03  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject CONST
+       constants referencing TLS symbols.
+
+2009-08-03  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>
+
+       * config/sh/linux-atomic.asm (ATOMIC_COMPARE_AND_SWAP): Rename
+       __sync_compare_and_swap_* to __sync_val_compare_and_swap_*.
+
+2009-08-03  Richard Guenther  <rguenther@suse.de>
+
+       * tree.c (make_vector_type): Build a main variant first,
+       get the canonical one and then build the variant.
+       * tree-ssa.c (useless_type_conversion_p_1): Handle
+       fixed-point types.
+       (useless_type_conversion_p): Conversions to pointers to
+       incomplete record types are useless.
+
+2009-08-03  Richard Guenther  <rguenther@suse.de>
+
+       * tree-cfg.c (pass_warn_unused_result): Mark name that no dump
+       file will be created.
+       * omp-low.c (pass_diagnose_omp_blocks): Likewise.
+       * toplev.c (compile_file): Adjust comment.
+
+2009-08-03  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       * config/sh/sh-protos.h (sh_promote_function_mode): Remove.
+       * config/sh/sh.c (sh_promote_function_mode): Wrap long lines.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
+       (sh_promote_function_mode): Fix typo.
+
+2009-08-03  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * explow.c (promote_mode): Mark TYPE and PUNSIGNEDP as possibly unused.
+
+2009-08-02  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       * pa.c (pa_promote_function_mode): Remove ATTRIBUTE_UNUSED from
+       declaration arguments.
+
+2009-08-02  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/i386.c (ix86_expand_fp_compare): Use const0_rtx instead
+       of GEN_INT (0x00) and const1_rtx instead of GEN_INT (0x01).
+       (ix86_split_ashl): Ditto.
+       (ix86_expand_vector_init_one_nonzero): Ditto.
+       (ix86_expand_vector_set): Ditto.
+       (ix86_expand_reduc_v4sf): Ditto.
+
+2009-08-02  Paolo Bonzini  <bonzini@gnu.org>
+
+       * explow.c (promote_function_mode): Remove assert.
+       * config/sh/sh.c (sh_promote_function_mode): Declare.
+
+2009-08-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       * config/pa/pa.c (pa_promote_function_mode): Declare.
+       Change to static.  Fix promote_mode call.
+
+       * gthr-dce.h (CONST_CAST2): Define if not defined.
+       (__gthread_setspecific): Use CONST_CAST2 to fix warning.
+
+       * config.gcc (hppa[12]*-*-hpux10*): Add stdint support.
+
+2009-08-01  Paolo Bonzini  <bonzini@gnu.org>
+
+       * expr.c (store_constructor): Use promote_decl_mode.  Remove
+       now write-only variable unsignedp.
+       (expand_expr_real_1): Use promote_decl_mode.
+       * expr.h (promote_function_mode, promote_decl_mode): New.
+       (promote_mode): Remove last argument.
+       * function.c (assign_temp): Drop last argument of promote_mode.
+       (assign_parm_find_data_types): Use promote_function_mode.
+       (assign_parm_setup_reg): Likewise.
+       (expand_function_end): Use promote_function_mode.
+       * calls.c (initialize_argument_information): Use promote_function_mode.
+       (precompute_arguments): Use promote_mode instead of checking if
+       only PROMOTE_FUNCTION_MODE is defined.
+       (expand_call): When making sibcall decisions, use promote_function_mode.
+       Below, remove an if for targetm.calls.promote_function_return and
+       and use promote_function_mode.
+       (emit_library_call_value_1): Use promote_function_mode, fix bug
+       where promote_mode was passed FOR_CALL == 0 for a return value in an
+       assertion.
+       * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
+       * explow.c (promote_function_mode, promote_decl_mode): New.
+       (promote_mode): Keep only the FOR_CALL == 0 case.
+       * combine.c (setup_incoming_promotion): Remove test of
+       promote_function_args.  Use promote_function_mode.
+       * stmt.c (expand_value_return): Use promote_decl_mode.
+       (expand_decl): Use promote_decl_mode.
+
+       * expr.c (store_constructor): Use promote_decl_mode.  Remove
+       now write-only variable unsignedp.
+       (expand_expr_real_1): Use promote_decl_mode.
+       * expr.h (promote_function_mode, promote_decl_mode): New.
+       (promote_mode): Remove last argument.
+       * function.c (assign_temp): Drop last argument of promote_mode.
+       (assign_parm_find_data_types): Use promote_function_mode.
+       (assign_parm_setup_reg): Likewise.
+       (expand_function_end): Use promote_function_mode.
+       * calls.c (initialize_argument_information): Use promote_function_mode.
+       (precompute_arguments): Use promote_mode instead of checking if
+       only PROMOTE_FUNCTION_MODE is defined.
+       (expand_call): When making sibcall decisions, use promote_function_mode.
+       Below, remove an if for targetm.calls.promote_function_return and
+       and use promote_function_mode.
+       (emit_library_call_value_1): Use promote_function_mode, fix bug
+       where promote_mode was passed FOR_CALL == 0 for a return value in an
+       assertion.
+       * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
+       * explow.c (promote_function_mode, promote_decl_mode): New.
+       (promote_mode): Keep only the FOR_CALL == 0 case.
+       * combine.c (setup_incoming_promotion): Remove test of
+       promote_function_args.  Use promote_function_mode.
+       * stmt.c (expand_value_return): Use promote_decl_mode.
+       (expand_decl): Use promote_decl_mode.
+
+       * explow.c (promote_function_mode): Just call the target hook.
+       * targhooks.c (default_promote_function_mode,
+       default_promote_function_mode_always_promote): New.
+       * targhooks.h (default_promote_function_mode,
+       default_promote_function_mode_always_promote): Declare.
+       * target.h (promote_function_args, promote_function_return): Remove.
+       (promote_function_mode): New.
+       * target-def.h (TARGET_PROMOTE_FUNCTION_ARGS,
+       TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+       (TARGET_PROMOTE_FUNCTION_MODE): New.
+       (TARGET_CALLS): Adjust.
+       * system.h (TARGET_PROMOTE_FUNCTION_ARGS,
+       TARGET_PROMOTE_FUNCTION_RETURN, PROMOTE_FUNCTION_MODE): Poison.
+
+       * config/s390/s390.h (PROMOTE_FUNCTION_MODE): Move...
+       * config/s390/s390.c (s390_promote_function_mode): ... here,
+       with pointer handling.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+
+       * config/sparc/sparc.h (PROMOTE_FUNCTION_MODE): Move...
+       * config/sparc/sparc.c (sparc_promote_function_mode): ... here,
+       with pointer handling.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+       
+       * config/sh/sh-protos.h (sh_promote_function_mode): New.
+       * config/sh/sh.c (sh_promote_function_mode): New.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+
+       * config/cris/cris.h (PROMOTE_FUNCTION_MODE): Move...
+       * config/cris/cris.c (cris_promote_function_mode): ... here.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
+
+       * config/mmix/mmix.h (PROMOTE_FUNCTION_MODE): Move...
+       * config/mmix/mmix.c (mmix_promote_function_mode): ... here.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
+
+       * config/arm/arm.h (PROMOTE_FUNCTION_MODE): Move...
+       * config/arm/arm.c (arm_promote_function_mode): ... here, without
+       complex type handling.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+
+       * config/pa/pa.c (pa_promote_function_mode): New.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define.
+       (TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+
+       * config/alpha/alpha.c (TARGET_PROMOTE_FUNCTION_ARGS,
+       TARGET_PROMOTE_FUNCTION_RETURN): Remove.
+       (TARGET_PROMOTE_FUNCTION_MODE): Define equivalently.
+       * config/xtensa/xtensa.c: Likewise.
+       * config/stormy16/stormy16.c: Likewise.
+       * config/iq2000/iq2000.c: Likewise.
+       * config/rs6000/rs6000.c: Likewise.
+       * config/picochip/picochip.c: Likewise.
+       * config/arc/arc.c: Likewise.
+       * config/mcore/mcore.c: Likewise.
+       * config/score/score.c: Likewise.
+       * config/mips/mips.c: Likewise.
+       * config/bfin/bfin.c: Likewise.
+       * config/ia64/ia64.c: Likewise (disabled though).
+
+       * config/frv/frv.h: Remove pointless remark.
+
+       * doc/tm.texi (PROMOTE_FUNCTION_MODE,
+       TARGET_PROMOTE_FUNCTION_ARGS,
+       TARGET_PROMOTE_FUNCTION_RETURN): Consolidate into...
+       (TARGET_PROMOTE_FUNCTION_MODE): ... this.
+
+2009-08-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * doc/invoke.texi (-fgraphite-force-parallel): Renamed
+       -floop-parallelize-all.
+       * toplev.c (process_options): Rename flag_graphite_force_parallel to
+       flag_loop_parallelize_all.
+       * tree-ssa-loop.c (gate_graphite_transforms): Same.
+       * graphite.c (graphite_transform_loops): Same.
+       * common.opt: Same.
+       * graphite-poly.c (apply_poly_transforms): Same.
+
+2009-07-31  Richard Earnshaw  <rearnsha@arm.com>
+
+       PR tree-optimization/40914
+       * ipa-prop.c (ipa_get_ptr_load_param): New argument use_delta,
+       if set, then check the delta field of the PMF record.
+       (ipa_get_stmt_member_ptr_load_param): Propagate new param use_delta.
+       (ipa_analyze_call_uses): Handle machines where the vbit for a PMF
+       call is stored in the delta.
+
+2009-07-31  Adam Nemet  <anemet@caviumnetworks.com>
+
+       * config/mips/mips.md (*clear_upper32_dext): New pattern.
+
+2009-07-31  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/bsd.h (ASM_BYTE): New define.
+       * config/i386/darwin.h (ASM_BYTE): Rename from ASM_BYTE_OP.
+       * config/i386/att.h (ASM_BYTE): New define. Use ASM_BYTE instead of
+       .byte.  Use fputs or putc instead of fprintf where appropriate.
+       * config/i386/i386-interix.h: Use ASM_BYTE instead of .byte.  Use
+       fputs or putc instead of fprintf where appropriate.
+       * config/i386/i386elf.h: Ditto.
+       * config/i386/sysv4.h: Ditto.
+       
+       * config/i386/i386.c (TARGET_ASM_BYTE_OP): New define.
+       * config/i386/i386.md (x86_sahf_1): Use ASM_BYTE instead of .byte.
+       (*tls_global_dynamic_64): Ditto.
+
+2009-07-31  Christian Bruel  <christian.bruel@st.com>  
+
+       * gcc/config.gcc (sh*-*-elf): test with_libgloss.
+       
+2009-07-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
+
+       * config/arm/arm.c (arm_arm_address_cost): Fix typo. 
+       Remove dead code for MINUS.
+
+2009-07-31  Anthony Green  <green@moxielogic.com>
+
+       * config/moxie/moxie.c (moxie_expand_prologue): Use $r5 instead of
+       $r12 in prologue.
+       (moxie_expand_epilogue): Ditto for epilogue.
+       (moxie_setup_incoming_varargs): ABI change.  Use 5 registers for
+       incoming arguments.
+       (moxie_function_arg): Ditto.
+       (moxie_pass_by_reference): Ditto.
+       (moxie_arg_partial_bytes): Ditto.
+       * config/moxie/moxie.h (CALL_USED_REGISTERS): Ditto.
+       (FUNCTION_ARG_ADVANCE) Ditto.
+       (REG_PARM_STACK_SPACE) Ditto.
+       (FUNCTION_ARG_REGNO_P) Dito.
+
+       * config.gcc: Add moxie linux config support.
+       * gcc/config/moxie/uclinux.h: New file.
+
 2009-07-31  DJ Delorie  <dj@redhat.com>
 
        * config/sh/sh.md (UNSPECV_SP_SWITCH_B): New.
        (vector_copysign<mode>3): Ditto.
 
        * config/rs6000/predicates.md (easy_vector_constant_msb): New
-       predicate for setting the high bit in each word, used for
-       copysign.
+       predicate for setting the high bit in each word, used for copysign.
 
        * config/rs6000/ppc-asm.h (f19): Whitespace.
        (f32-f63): Define if VSX.
        * config/rs6000/power7.md: New file, provide tuning parameters for
        -mcpu=power7.
 
-       * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Add VSX
-       support.
+       * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Add VSX support.
        (rs6000_cpu_cpp_builtins): Ditto.
        (altivec_overloaded_builtins): Ditto.
        (altivec_resolve_overloaded_builtin): Ditto.
        splitter for vectorizing copysign.
        (altivec_vrfiz): Rename from altivec_fturncv4sf2.  Add support for
        vectorizing simple math functions.
-       (altivec_vrfip): Add support for vectorizing simple math
-       functions.
+       (altivec_vrfip): Add support for vectorizing simple math functions.
        (altivec_vrfim): Ditto.
        (altivec_copysign_v4sf3): New insn for Altivec copysign support.
 
        (vec_nearbyint): Ditto.
        (vec_rint): Ditto.
        (vec_sqrt): Ditto.
-       (all predicates): Use the generic builtin function, and not the
-       V4SF specific function so that the predicates will work with
-       VSX's V2DF.
+       (all predicates): Use the generic builtin function, and not the V4SF
+       specific function so that the predicates will work with VSX's V2DF.
        (vec_all_*): Ditto.
        (vec_any_*): Ditto.