]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - gcc/ChangeLog
tm.texi (TARGET_ADDR_SPACE_POINTER_MODE): Document.
[thirdparty/gcc.git] / gcc / ChangeLog
index 7e580c72348612f888fc16b1872fd8436764dc3a..658274da3038c3228345ebcdb9aeb85ca49ec471 100644 (file)
@@ -1,3 +1,789 @@
+2009-10-26  Ben Elliston  <bje@au.ibm.com>
+           Michael Meissner  <meissner@linux.vnet.ibm.com>
+           Ulrich Weigand  <uweigand@de.ibm.com>
+
+       * doc/tm.texi (TARGET_ADDR_SPACE_POINTER_MODE): Document.
+       (TARGET_ADDR_SPACE_ADDRESS_MODE): Likewise.
+       (TARGET_ADDR_SPACE_VALID_POINTER_MODE): Likewise.
+
+       * target.h (struct target_def): Add pointer_mode, address_mode,
+       and valid_pointer_mode to addr_space substructure.
+       * target-def.h (TARGET_ADDR_SPACE_POINTER_MODE): Define.
+       (TARGET_ADDR_SPACE_ADDRESS_MODE): Likewise.
+       (TARGET_ADDR_SPACE_VALID_POINTER_MODE): Likewise.
+       (TARGET_ADDR_SPACE_HOOKS): Add them.
+       * targhooks.c (target_default_pointer_address_modes_p): New function.
+       * target.h (target_default_pointer_address_modes_p): Add prototype.
+       * targhooks.c (default_addr_space_pointer_mode): New function.
+       (default_addr_space_address_mode): Likewise.
+       (default_addr_space_valid_pointer_mode): Likewise.
+       * targhooks.h (default_addr_space_pointer_mode): Add prototype.
+       (default_addr_space_address_mode): Likewise.
+       (default_addr_space_valid_pointer_mode): Likewise.
+       * output.h (default_valid_pointer_mode): Move to ...
+       * targhooks.h (default_valid_pointer_mode): ... here.
+       * varasm.c (default_valid_pointer_mode): Move to ...
+       * targhooks.c (default_valid_pointer_mode): ... here.
+
+       * varasm.c (output_constant): Use targetm.addr_space.valid_pointer_mode
+       instead of targetm.valid_pointer_mode.
+
+       * fold-const.c (fit_double_type): Use int_or_pointer_precision.
+       * tree.c (integer_pow2p): Likewise.
+       (tree_log2): Likewise.
+       (tree_floor_log2): Likewise.
+       (signed_or_unsigned_type_for): Support pointer type of different size.
+       (int_or_pointer_precision): New function.
+       * tree.h (int_or_pointer_precision): Add prototype.
+       * stor-layout.c (layout_type): Set TYPE_PRECISION for offset types.
+       * varasm.c (initializer_constant_valid_p): Use TYPE_PRECISION of
+       incoming pointer type instead of POINTER_SIZE.
+
+       * tree.c (build_pointer_type): Use appropriate pointer mode
+       instead of ptr_mode.
+       (build_reference_type): Likewise.
+       * expr.c (store_expr): Likewise.
+       (expand_expr_addr_expr): Likewise.
+       * tree-vect-data-refs.c (vect_create_data_ref_ptr): Likewise.
+       * cfgexpand.c (expand_debug_expr): Likewise.
+       
+       * auto-inc-dec.c: Include "target.h".
+       (try_merge): Use appropriate address mode instead of Pmode.
+       (find_inc): Likewise.
+       * combine.c (find_split_point): Likewise.
+       * cselib.c (cselib_record_sets): Likewise.
+       * dse.c (replace_inc_dec): Likewise.
+       (canon_address): Likewise.
+       * var-tracking.c (replace_expr_with_values): Likewise.
+       (count_uses): Likewise.
+       (add_uses): Likewise.
+       (add_stores): Likewise.
+       * emit-rtl.c: Include "target.h".
+       (adjust_address_1): Use appropriate address mode instead of Pmode.
+       (offset_address): Likewise.
+       * explow.c (break_out_memory_refs): Likewise.
+       (memory_address_addr_space): Likewise.
+       (promote_mode): Likewise.
+       * expr.c (move_by_pieces): Likewise.
+       (emit_block_move_via_loop): Likewise.
+       (store_by_pieces): Likewise.
+       (store_by_pieces_1): Likewise.
+       (expand_assignment): Likewise.
+       (store_constructor): Likewise.
+       (expand_expr_addr_expr): Likewise.
+       (expand_expr_real_1): Likewise.
+       * cfgexpand.c (expand_debug_expr): Likewise.
+       * ifcvt.c (noce_try_cmove_arith): Likewise.
+       * regcprop.c (kill_autoinc_value): Likewise.
+       * regmove.c (try_auto_increment): Likewise.
+       * reload.c (find_reloads): Likewise.
+       (find_reloads_address): Likewise.
+       (find_reloads_address_1): Likewise.
+       * sched-deps.c: Include "target.h".
+       (sched_analyze_1): Use appropriate address mode instead of Pmode.
+       (sched_analyze_2): Likewise.
+       * sel-sched-dump.c: Include "target.h".
+       (debug_mem_addr_value): Use appropriate address mode instead of Pmode.
+       * stor-layout.c (layout_type): Likewise.
+       * tree-ssa-loop-ivopts.c (produce_memory_decl_rtl): Likewise.
+       (multiplier_allowed_in_address_p): Likewise.
+       (get_address_cost): Likewise.
+       * varasm.c (make_decl_rtl): Likewise.
+       
+       * expr.c (expand_assignment): Always convert offsets to appropriate
+       address mode.
+       (store_expr): Likewise.
+       (store_constructor): Likewise.
+       (expand_expr_real_1): Likewise.
+
+       * reload.h (form_sum): Add MODE argument.
+       * reload.c (form_sum): Add MODE argument, use it instead of Pmode.
+       Update recursive calls.
+       (subst_indexed_address): Update calls to form_sum.
+       
+       * tree-flow.h (addr_for_mem_ref): Add ADDRSPACE argument.
+       * tree-ssa-address.c: Include "target.h".
+       (templates): Replace by ...
+       (mem_addr_template_list): ... this new vector.
+       (TEMPL_IDX): Handle address space numbers.
+       (gen_addr_rtx): Add address mode argument, use it instead of Pmode.
+       (addr_for_mem_ref): Add ADDRSPACE argument.  Use per-address-space
+       instead of global cache.  Update call to gen_addr_rtx.
+       (valid_mem_ref_p): Update call to addr_for_mem_ref.
+       * expr.c (expand_expr_real_1): Update call to addr_for_mem_ref.
+       
+       * rtl.h (convert_memory_address_addr_space): Add prototype.
+       (convert_memory_address): Define as macro.
+       * explow.c (convert_memory_address): Rename to ...
+       (convert_memory_address_addr_space): ... this.  Add ADDRSPACE argument.
+       Use appropriate pointer and address modes instead of ptr_mode / Pmode.
+       Update recursive calls.
+       (memory_address_addr_space): Call convert_memory_address_addr_space.
+       * expmed.c (make_tree): Likewise.
+       * expr.c (expand_assignment): Likewise.
+       (expand_expr_addr_expr_1): Likewise.  Also, add ADDRSPACE argument.
+       (expand_expr_addr_expr): Likewise.  Also, update call.
+
+       * alias.c (find_base_value): Guard pointer size optimizations.
+       (find_base_term): Likewise.
+       * rtlanal.c (nonzero_bits1): Likewise.
+       (num_sign_bit_copies1): Likewise.
+       * simplify-rtx.c (simplify_unary_operation_1): Likewise.
+
+       * Makefile.in (tree-ssa-address.o): Add $(TARGET_H) dependency.
+       (emit-rtl.o): Likewise.
+       (auto-inc-dec.o): Likewise.
+       (sched-deps.o): Likewise.
+
+2009-10-26  Ben Elliston  <bje@au.ibm.com>
+           Michael Meissner  <meissner@linux.vnet.ibm.com>
+           Ulrich Weigand  <uweigand@de.ibm.com>
+
+       * doc/extend.texi (Named Address Spaces): New section.
+       * coretypes.h (addr_space_t): New type.
+       (ADDR_SPACE_GENERIC): New define.
+       (ADDR_SPACE_GENERIC_P): New macro.
+
+       * doc/tm.texi (Named Address Spaces): New section.
+       (TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P): Document.
+       (TARGET_ADDR_SPACE_LEGITIMIZE_ADDRESS): Document.
+       (TARGET_ADDR_SPACE_SUBSET_P): Document.
+       (TARGET_ADDR_SPACE_CONVERT): Document.
+       * target.h (struct gcc_target): Add addr_space substructure.
+       * target-def.h (TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P): Define.
+       (TARGET_ADDR_SPACE_LEGITIMIZE_ADDRESS): Likewise.
+       (TARGET_ADDR_SPACE_SUBSET_P): Likewise.
+       (TARGET_ADDR_SPACE_CONVERT): Likewise.
+       (TARGET_ADDR_SPACE_HOOKS): Likewise.
+       (TARGET_INITIALIZER): Initialize addr_space hooks.
+       * targhooks.c (default_addr_space_legitimate_address_p): New function.
+       (default_addr_space_legitimize_address): Likewise.
+       (default_addr_space_subset_p): Likewise.
+       (default_addr_space_convert): Likewise.
+       * targhooks.h (default_addr_space_legitimate_address_p): Add prototype.
+       (default_addr_space_legitimize_address): Likewise.
+       (default_addr_space_subset_p): Likewise.
+       (default_addr_space_convert): Likewise.
+
+       * doc/rtl.texi (MEM_ADDR_SPACE): Document.
+       * rtl.h (mem_attrs): Add ADDRSPACE memory attribute.
+       (MEM_ADDR_SPACE): New macro.
+       * emit-rtl.c (get_mem_attrs): Add ADDRSPACE argument and set
+       address space memory attribute.
+       (mem_attrs_htab_hash): Handle address space memory attribute.
+       (mem_attrs_htab_eq): Likewise.
+       (set_mem_attributes_minus_bitpos): Likewise.
+       (set_mem_alias_set): Likewise.
+       (set_mem_align): Likewise.
+       (set_mem_expr): Likewise.
+       (set_mem_offset): Likewise.
+       (set_mem_size): Likewise.
+       (adjust_address_1): Likewise.
+       (offset_address): Likewise.
+       (widen_memoy_address): Likewise.
+       (get_spill_slot_decl): Likewise.
+       (set_mem_attrs_for_spill): Likewise.
+       (set_mem_addr_space): New function.
+       * emit-rtl.h (set_mem_addr_space): Add prototype.
+       * print-rtl.c (print_rtx): Print address space memory attribute.
+       * expr.c (expand_assignment): Set address space memory attribute
+       of generated MEM RTXes as appropriate.
+       (expand_expr_real_1): Likewise.
+       * cfgexpand.c (expand_debug_expr): Likewise.
+       * tree-ssa-loop-ivopts.c (produce_memory_decl_rtl): Likewise.
+
+       * tree.h (struct tree_base): Add address_space bitfield.  Reduce
+       size of "spare" bitfield.
+       (TYPE_ADDR_SPACE): New macro.
+       (ENCODE_QUAL_ADDR_SPACE): Likewise.
+       (DECODE_QUAL_ADDR_SPACE): Likewise.
+       (CLEAR_QUAL_ADDR_SPACE): Likewise.
+       (KEEP_QUAL_ADDR_SPACE): Likewise.
+       (TYPE_QUALS): Encode type address space.
+       (TYPE_QUALS_NO_ADDR_SPACE): New macro.
+       * tree.c (set_type_quals): Set type address space.
+       (build_array_type): Inherit array address space from element type.
+       * print-tree.c (print_node_brief): Print type address space.
+       (print_node): Likewise.
+       * tree-pretty-print.c (dump_generic_node): Likewise.
+
+       * explow.c (memory_address): Rename to ...
+       (memory_address_addr_space): ... this.  Add ADDRSPACE argument.
+       Use address-space aware variants of memory address routines.
+       * recog.c (memory_address_p): Rename to ...
+       (memory_address_addr_space_p): ... this.  Add ADDSPACE argument.
+       Use address-space aware variants of memory address routines.
+       (offsettable_address_p): Rename to ...
+       (offsettable_address_addr_space_p): ... this.  Add ADDRSPACE argument.
+       Use address-space aware variants of memory address routines.
+       * reload.c (strict_memory_address_p): Rename to ...
+       (strict_memory_address_addr_space_p): ... this.  Add ADDSPACE argument.
+       Use address-space aware variants of memory address routines.
+       (maybe_memory_address_p): Rename to ...
+       (maybe_memory_address_addr_space_p): ... this.  Add ADDSPACE argument.
+       Use address-space aware variants of memory address routines.
+       * expr.h (memory_address_addr_space): Add prototype.
+       (memory_address): Define as macro.
+       * recog.h (memory_address_addr_space_p): Add prototype.
+       (memory_address_p): Define as macro.
+       (offsettable_address_addr_space_p): Add prototype.
+       (offsettable_address_p): Define as macro.
+       (strict_memory_address_addr_space_p): Add prototype.
+       (strict_memory_address_p): Define as macro.
+
+       * combine.c (find_split_point): Use address-space aware variants
+       of memory address routines.
+       * emit-rtl.c (operand_subword): Likewise.
+       (change_address_1): Likewise.
+       (adjust_address_1): Likewise.
+       (offset_address): Likewise.
+       * expr.c (emit_move_insn): Likewise.
+       (expand_assignment): Likewise.
+       (expand_expr_real_1): Likewise.
+       * recog.c (verify_changes): Likewise.
+       (general_operand): Likewise.
+       (offsettable_memref_p): Likewise.
+       (offsettable_nonstrict_memref_p): Likewise.
+       (constrain_operands): Likewise.
+       * reload.c (get_secondary_mem): Likewise.
+       (find_reloads_toplev): Likewise.
+       (find_reloads_address): Likewise.
+       (find_reloads_subreg_address): Likewise.
+       * reload1.c (reload): Likewise.
+       * rtlhooks.c (gen_lowpart_if_possible): Likewise.
+       * rtl.h (address_cost): Add ADDRSPACE argument.
+       * rtlanal.c (address_cost): Add ADDRSPACE argument.  Use address-space
+       aware variant of memory address routines.
+       * loop-invariant.c (create_new_invariant): Update address_cost call.
+       * tree-ssa-loop-ivopts.c (computation_cost): Likewise.
+       * fwprop.c (should_replace_address): Add ADDRSPACE argument.
+       Use address-space aware variant of memory address routines.
+       (propagate_rtx_1): Update call to should_replace_address.
+       * tree-flow.h (multiplier_allowed_in_address_p): Add ADDRSPACE
+       argument.
+       * tree-ssa-loop-ivopts.c (multiplier_allowed_in_address_p): Add
+       ADDRSPACE argument.  Use per-address-space instead of global cache.
+       Use address-space aware variant of memory address routines.
+       (get_address_cost): Likewise.
+       (get_computation_cost_at): Update calls.
+       * tree-ssa-address.c (valid_mem_ref_p): Add ADDRSPACE argument.
+       Use address-space aware variant of memory address routines.
+       (create_mem_ref_raw): Update call to valid_mem_ref_p.
+       (most_expensive_mult_to_index): Update call to
+       multiplier_allowed_in_address_p.
+
+       * dwarf2out.c (modified_type_die): Output DW_AT_address_class
+       attribute to indicate named address spaces.
+
+       * varasm.c (get_variable_section): DECLs in named address spaces
+       cannot be "common".
+
+       * reload.c (find_reloads_address): Do not use LEGITIMIZE_RELOAD_ADDRESS
+       for addresses in a non-generic address space.
+
+       * expr.c (emit_block_move_hints): Do not use libcalls for
+       memory in non-generic address spaces.
+       (clear_storage_hints): Likewise.
+       (expand_assignment): Likewise.
+
+       * fold-const.c (operand_equal_p): Expressions refering to different
+       address spaces are not equivalent.
+
+       * rtl.c (rtx_equal_p_cb): MEMs refering to different address
+       spaces are not equivalent.
+       (rtx_equal_p): Likewise.
+       * cse.c (exp_equiv_p): Likewise.
+       * jump.c (rtx_renumbered_equal_p): Likewise.
+       * reload.c (operands_match_p): Likewise.
+
+       * alias.c (nonoverlapping_memrefs_p): MEMs refering to different
+       address spaces may alias.
+       (true_dependence): Likewise.
+       (canon_true_dependence): Likewise.
+       (write_dependence_p): Likewise.
+
+       * dse.c (canon_address): Handle named address spaces.
+       * ifcvt.c (noce_try_cmove_arith): Likewise.
+
+       * tree.def (ADDR_SPACE_CONVERT_EXPR): New tree code.
+       * expr.c (expand_expr_real_2): Expand ADDR_SPACE_CONVERT_EXPR.
+       * convert.c (convert_to_pointer): Generate ADDR_SPACE_CONVERT_EXPR
+       to handle conversions between different address spaces.
+       * fold-const.c (fold_convert_loc): Likewise.
+       (fold_unary_loc): Handle ADDR_SPACE_CONVERT_EXPR.
+       * tree-pretty-print.c (dump_generic_node): Likewise.
+       * gimple-pretty-print.c (dump_unary_rhs): Likewise.
+       * tree-cfg.c (verify_gimple_assign_unary): Likewise.
+       * tree-inline.c (estimate_operator_cost): Likewise.
+       * tree-ssa.c (useless_type_conversion_p): Conversions between pointers
+       to different address spaces are not useless.
+
+2009-10-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR bootstrap/41345
+       * cfgcleanup.c (trivially_empty_bb_p): New function.
+       (try_optimize_bb): Use it instead of checking BB_HEAD == BB_END.
+
+       PR debug/41828
+       * dwarf2out.c (add_pubname, add_pubtype, generic_parameter_die,
+       add_name_and_src_coords_attributes, gen_namespace_die,
+       dwarf2out_set_name): Handle dwarf2_name returning NULL.
+
+2009-10-26  Nick Clifton  <nickc@redhat.com>
+
+       * config.gcc: Add support for RX target.
+       * config/rx: New directory.
+       * config/rx/constraints.md: New file.
+       * config/rx/predicates.md: New file.
+       * config/rx/rx.c: New file.
+       * config/rx/rx.h: New file.
+       * config/rx/rx.md: New file.
+       * config/rx/rx.opt: New file.
+       * config/rx/rx-protos.h: New file.
+       * config/rx/t-rx: New file.
+       * doc/extend.texi: Document RX function attributes.
+       * doc/invoke.texi: Document RX specific command line options.
+       * doc/contrib.texi: Document RX contribution.
+       * doc/md.texi: Document RX constraints.
+       * doc/install.texi: Document RX support.
+
+2009-10-26  Michael Matz  <matz@suse.de>
+
+       PR tree-optimization/41783
+       * tree-ssa-alias.c (get_continuation_for_phi): Export, add a special
+       case for simple diamonds.
+       * tree-ssa-alias.h (get_continuation_for_phi): Declare.
+       * tree-ssa-pre.c (translate_vuse_through_block): Add same_valid
+       argument, use alias oracle to skip some vdefs.
+       (phi_translate_1): Change call to above, don't allocate new
+       value ids if they can stay the same.
+       (compute_avail): Allow vuse walking when looking up references.
+
+2009-10-26  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/41826
+       * tree-ssa-structalias.c (get_constraint_for_ptr_offset): Avoid
+       access to re-allocated vector fields.
+
+2009-10-26  Richard Guenther  <rguenther@suse.de>
+
+       * graphite-sese-to-poly.c (check_poly_representation): Fix
+       compile without checking.
+
+2009-10-26  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/41714
+       * gimple.h (tree_annotate_all_with_location): Remove prototype.
+       * gimplify.c (tree_should_carry_location_p,
+       tree_annotate_one_with_location,tree_annotate_all_with_location):
+       Remove obsolete functions.
+
+2009-10-25  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       PR target/41813
+       * config/sh/sh.md (stuff_delay_slot): Don't set T_REG in pattern.
+
+2009-10-25  Richard Guenther  <rguenther@suse.de>
+
+       * lto-streamer-in.c (unpack_ts_decl_common_value_fields):
+       Stream DECL_RESTRICTED_P.
+       * lto-streamer-out.c (pack_ts_decl_common_value_fields): Likewise.
+
+2009-10-25  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * config/mips/mips.c (mips_restore_gp_from_cprestore_slot): Emit
+       a note when expanding to nothing.
+
+2009-10-25  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/41814
+       * tree.c (find_decls_types_r): Deal with Java overloading
+       BINFO_VIRTUALS for its own purpose.
+
+2009-10-24  Adam Nemet  <anemet@caviumnetworks.com>
+
+       * config/mips/predicates.md (hilo_operand): New predicate.
+       * config/mips/mips.md (<u>mulsidi3_64bit): Change it to a
+       define_insn.  Correct !ISA_HAS_EXT_INS length from 24 to 28.  Move
+       splitter part from here ...:
+       (<u>mulsidi3_64bit splitter for !ISA_HAS_EXT_INS): ... to here.  Swap
+       op0 and op4 to match the DINS case.
+       (<u>mulsidi3_64bit splitter for ISA_HAS_EXT_INS): New splitter.
+
+2009-10-24  Andy Hutchinson  <hutchinsonandy@gcc.gnu.org>
+
+       PR middle-end/19154
+       * avr.md (QIDI): Add new mode iterator.
+       (sbrx_branch<mode>): Create new zero extract bit, test and jump
+       patterns for all QI thru DI modes combinations.
+       (sbrx_and_branch<mode>): Create new and based bit test and jump
+       patterns for QI thru SI modes.
+       avr.c (avr_out_sbxx_branch): Use only bit number.
+
+2009-10-24  Jan Hubicka  <jh@suse.cz>
+
+       * ipa-reference.c (check_call): Noreturn notrhow calls do not write
+       to memory.
+       (analyze_function): When analyzing noreturn nothrow call, do not compute
+       written stats; free bitmaps of vars early if possible.
+       (generate_summary): Only update bitmaps if computed.
+       (propagate): Only dump bitmaps if computed.
+       (ipa_reference_read_summary): Fix pasto.
+
+2009-10-24  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree-ssa-alias.c (nonaliasing_component_refs_p): Rename into...
+       (aliasing_component_refs_p): ...this.  Return true if there is no
+       common base and the base access types have the same alias set.
+       (indirect_ref_may_alias_decl_p): Adjust for above renaming.
+       (indirect_refs_may_alias_p): Likewise.
+
+2009-10-23  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/40033
+       * c-typeck.c (c_finish_stmt_expr): Do not wrap error_mark_node in
+       a C_MAYBE_CONST_EXPR.
+
+2009-10-23  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       PR target/41787
+       * config/rs6000/rs6000.c (struct machine_function): Add
+       vsx_or_altivec_used_p to record if vector types are used.
+       (rs6000_expand_to_rtl_hook): Rename from
+       rs6000_alloc_sdmode_stack_slot.  If VSX, check to see if there are
+       any vector operations, so if there are, we can set VRSAVE to
+       non-zero when only floating point vector registers are used.
+       (TARGET_EXPAND_TO_RTL_HOOK): Use rs6000_expand_to_rtl_hook.
+       (rs6000_check_vector_mode): Inner function to check if vector
+       types are used in the code.
+       (compute_vrsave_mask): If VSX, make sure VRSAVE is non-zero if
+       vector instructions are used.
+
+       * config/rs6000/rs6000.h (HARD_REGNO_CALL_PART_CLOBBERED):
+       Indicate that VSX registers which overlap floating point
+       registers, can't be used across a call, since the ABI only states
+       the scalar part of the register will be saved and restored.
+
+2009-10-23  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/41673
+       * alias.c (get_alias_set): Call langhook before returning 0 for
+       types with structural equality.
+       * c-common.c (c_common_get_alias_set): Use alias set of element
+       type for arrays with structural comparison.
+
+2009-10-23  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/41805
+       * cfgexpand.c (expand_call_stmt): Use gimple_has_side_effects and
+       gimple_call_nothrow_p.
+
+2009-10-23  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/41778
+       * tree-ssa-pre.c (do_regular_insertion): Only insert if a
+       redundancy along a path in the CFG we want to optimize for speed
+       is going to be removed.
+       (execute_pre): Do partial-PRE only if the function is to be
+       optimized for speed.
+       (gate_pre): Do not turn off all of PRE when not optimizing a
+       function for speed.
+
+2009-10-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * builtins.c (fold_builtin_cabs): Use validate_arg().
+       (fold_builtin_cexp): Fix if-logic.
+       (fold_builtin_1): Check subtype for BUILT_IN_CIMAG.
+
+2009-10-22  Jeff Law  <law@redhat.com>
+
+       * ira-lives.c (process_single_reg_class_operands): Update the
+       hard reg costs for all the hard registers desired by the
+       single reg class operand.
+
+2009-10-22  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * simplify-rtx.c (simplify_replace_fn_rtx): Add a fallback case
+       for rtxes that aren't handled specially.
+
+2009-10-22  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * rtl.h (shallow_copy_rtvec): Declare.
+       * rtl.c (shallow_copy_rtvec): New function.
+       * cselib.c (cselib_subst_to_values): Use it.  Only modify an
+       rtx field if the subrtx has changed.
+
+2009-10-22  Anatoly Sokolov  <aesok@post.ru>
+
+       * config/m32c/m32c.c (m32c_function_value_regno_p): New function.
+       (m32c_function_value): Make static, add new 'outgoing' argument.
+       (m32c_libcall_value): Make static, add new 'fun' argument.
+       (TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE): Declare.
+       * config/m32c/m32c.h: (FUNCTION_VALUE, LIBCALL_VALUE): Remove.
+       (FUNCTION_VALUE_REGNO_P): Redefine, use m32c_function_value_regno_p.
+       * config/m32c/m32c-protos.h (m32c_function_value_regno_p): Declare.
+       (m32c_function_value, m32c_libcall_value): Delete declaration.
+
+2009-10-22  Diego Novillo  <dnovillo@google.com>
+
+       * Makefile.in (PLUGIN_HEADERS): Add output.h and IPA_UTILS_H.
+
+2009-10-22  Razya Ladelsky  <razya@il.ibm.com>
+       
+       * testsuite/gcc.dg/autopar/outer-4.c: Adjust scan.
+       * testsuite/gcc.dg/autopar/outer-5.c: Adjust scan.
+       * testsuite/gcc.dg/autopar/outer-5.c: Add scan optimized.
+       * tree-cfg.c (gimple_duplicate_sese_tail): Fix typos/indentation/white
+       space.
+
+2009-10-22  Richard Guenther  <rguenther@suse.de>
+
+       * lto-streamer.h (lto_symtab_merge_cgraph_nodes): Declare.
+       * lto-symtab.c (struct lto_symtab_entry_def): Add node member.
+       (lto_symtab_merge): Do not merge cgraph nodes here.
+       (lto_symtab_resolve_can_prevail_p): Simplify.
+       (lto_symtab_resolve_symbols): Store cgraph node.
+       (lto_symtab_merge_decls_1): Simplify.  Do not drop non-prevailing
+       functions from the symtab.
+       (lto_symtab_merge_cgraph_nodes_1): New function.
+       (lto_symtab_merge_cgraph_nodes): Likewise.
+
+2009-10-22  Richard Guenther  <rguenther@suse.de>
+
+       PR lto/41791
+       * lto-streamer-out.c (lto_output_location): Stream the
+       system header flag.
+       * lto-streamer-in.c (lto_input_location): Likewise.
+
+2009-10-22  Razya Ladelsky  <razya@il.ibm.com>
+       
+       * cfgloopmanip.c  (duplicate_subloops): Export. 
+       * tree-parloops.c (loop_parallel_p): Dump if loop is innermost.
+       (transform_to_exit_first_loop): Duplicate bbs starting from 
+       header up to loop->latch instead of exit->src.
+       Initialize control variable to the correct number of iterations.
+       (gather_scalar_reductions): Do not register double reductions.
+       (parallelize_loops): Dump which loop is tested. 
+       Indicate whether the parallelized loop is inner or not. 
+       Remove the innermost-loop requirement.
+       * cfgloop.h (duplicate_subloops): Export. 
+       * tree-cfg.c (add_phi_args_after_redirect): New function.
+       (gimple_duplicate_sese_tail): Remove the no-subloops constraint.
+       Call duplicate_subloops.
+       Update number of iterations at the exit condition.
+       Don't redirect nexits always to the loop exit.
+       Redirect copied edges from latch to the loop exit.
+       * testsuite/libgomp.graphite/force-parallel-2.c: Adjust scan.
+       * testsuite/gcc.dg/autopar/outer-1.c: New testcase.
+       * testsuite/gcc.dg/autopar/outer-2.c: New testcase.
+       * testsuite/gcc.dg/autopar/outer-3.c: New testcase.
+       * testsuite/gcc.dg/autopar/outer-4.c: New testcase.
+       * testsuite/gcc.dg/autopar/outer-5.c: New testcase.
+       * testsuite/gcc.dg/autopar/outer-6.c: New testcase.
+
+2009-10-22  Jan Hubicka  <jh@suse.cz>
+
+       * ipa-cp.c (ipcp_read_summary): Remove now invalid FIXME and
+       flag_ltrans check.
+       * ipa-inline.c (cgraph_mark_inline_edge,
+       cgraph_decide_inlining_of_small_function,
+       cgraph_decide_inlining, inline_read_summary): Disable indirect inlining
+       for WPA for time being.
+
+       PR tree-optimize/40556                                                                                                                                         
+       * ipa-inline.c (cgraph_early_inlining): Fix iterations condition.
+
+2009-10-22  Richard Guenther  <rguenther@suse.de>
+
+       * lto-streamer.h (lto_symtab_clear_resolution): Remove.
+       * lto-symtab.c (lto_symtab_clear_resolution): Likewise.
+
+2009-10-22  Jan Hubicka  <jh@suse.cz>
+
+       PR lto/41730
+       * ipa-reference.c (has_proper_scope_for_analysis): Add fixme about
+       global vars.
+       (check_call): Handle only indirect calls.
+       (propagate_bits): Update comment.
+       (write_node_summary_p): Turn bogus check to assert.
+       (ipa_reference_write_summary): Stream calls_read_all properly.
+       (ipa_reference_read_summary): Stream in calls_read_all properly.
+       (read_write_all_from_decl): New function.
+       (propagate): Handle OVERWRITABLE nodes and external calls here.
+       * ipa-pre-const.c (check_call): In IPA mode handle indirect calls
+       only.
+       (analyze_function): Do not check visibility here.
+       (add_new_function): We summary OVERWRITABLE too.
+       (generate_summary): Stream OVERWRITABLE nodes too.
+       (propagate): Handle external calls and OVERWRITABLE nodes here.
+       (local_pure_const): Check visibility here.
+
+2009-10-22  Jan Hubicka  <jh@suse.cz>
+
+       * ipa-cp.c (ipcp_write_summary, ipcp_read_summary): New functions.
+       (pass_ipa_cp): Register them.
+       (ipcp_init_stage): Analyze all functions for whopr/lto.
+       (ipcp_propagate_stage): Skip external calls.
+       (ipcp_iterate_stage): Call ipa_update_after_lto_read if needed.
+       * ipa-reference.c (write_node_summary_p): Fix thinko about availability.
+       * cgraphunit.c (ipa_passes): When in lto, ne er produce new summaries;
+       when in ltrans, skip executing of ipa passes since everything should've
+       been done.
+       * ipa-inline.c (cgraph_decide_inlining): Remove FIXMEs.
+       (inline_generate_summary): Likewise.
+       (inline_read_summary): New function.
+       (inline_write_summary): New function.
+       (pass_ipa_inline): Register new hooks.
+       * ipa-prop.c: Inlcude lto-streamer.h
+       (ipa_edge_args_vector): Update declaration.
+       (ipa_count_arguments, ipa_compute_jump_functions,
+       ipa_free_edge_args_substructures): Move ipa_edge_args_vector into ggc.
+       (ipa_write_jump_function, ipa_read_jump_function, ipa_write_node_info,
+       ipa_read_node_info): New static functions.
+       (ipa_prop_write_jump_functions, ipa_prop_read_jump_functions): Update.
+       (duplicate_array): Use xmalloc.
+       (duplicate_ggc_array): New.
+       (ipa_edge_duplication_hook): Use it.
+       (ipa_update_after_lto_read): New function.
+       * ipa-prop.h (ipa_prop_write_jump_functions,
+       ipa_prop_read_jump_functions): Declare.
+       (ipa_pass_through_data, ipa_ancestor_jf_data, ipa_member_ptr_cst,
+       jump_func_value, ipa_member_ptr_cst, ipa_edge_args): Add GTY markers.
+       (ipa_edge_args_vector): Move into GGC.
+       (ipa_check_create_edge_args): Update.
+       (ipa_update_after_lto_read): New.
+       * passes.c (ipa_write_summaries_1): When in wpa, do not write summaries.
+       (ipa_read_summaries): When in ltrans, so not read summaries.
+       * lto-streamer.c (lto_get_section_name): Add LTO_section_jump_functions.
+       * lto-streamer.h (LTO_section_jump_functions): New section.
+       (produce_asm): Declare.
+       * lto-cgraph.c (output_cgraph): Output edges in reverse order.
+       * lto-streamer-out.c (produce_asm): Export.
+       * lto-streamer-in.c: Include tree-pass.h
+       (input_function): Free dominance info when done.
+       (lto_read_body): Push ipa_inline in ltrans stage.
+       * gengtype.c (open_base_files): Add ipa-prop.h into includes.
+       * Makefile.in (GTFILES): Add ipa-prop.h
+
+2009-10-22  Matthias Klose  <doko@ubuntu.com>
+
+       * doc/install.texi: Document --enable-browser-plugin.
+
+2009-10-21  Vladimir Makarov  <vmakarov@redhat.com>
+
+       * doc/invoke.texi (fira-loop-pressure): Update default value.
+       * opts.c (decode_options): Remove default value setting for
+       flag_ira_loop_pressure.
+       * config/ia64/ia64.c (ia64_override_options): Set
+       flag_ira_loop_pressure up for -O3.
+       * config/rs6000/rs6000.c (rs6000_override_options): Ditto.
+       
+2009-10-21  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR tree-optimization/41497
+       * tree-scalar-evolution.c (analyze_evolution_in_loop): Return
+       chrec_dont_know if the evolution function returned by follow_ssa_edge
+       is constant in the analyzed loop and is not compatible with the
+       initial value before the loop.
+       * tree-chrec.h (no_evolution_in_loop_p): Call STRIP_NOPS.
+
+2009-10-21  Joseph Myers  <joseph@codesourcery.com>
+
+       * config/sh/sh.c (nonpic_symbol_mentioned_p): Allow UNSPEC_TPOFF.
+
+2009-10-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR other/25507
+       * doc/invoke.texi: Document -print-multi-os-directory.
+
+2009-10-21  Jack Howarth  <howarth@bromo.med.uc.edu>
+
+       PR c++/41313
+       * gcc/config/darwin10.h: Use default_emit_unwind_label.
+       * gcc/config/darwin.c: Disable -freorder-blocks-and-partition
+       when darwin_emit_unwind_label is used.
+
+2009-10-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree-vect-stmts.c (exist_non_indexing_operands_for_use_p): Tweak
+       order of checks.
+
+2009-10-20  Richard Henderson  <rth@redhat.com>
+
+       * tree-eh.c (lower_try_finally_copy): Do lower_eh_constructs_1
+       before emit_post_landing_pad.
+
+2009-10-20  Adam Nemet  <anemet@caviumnetworks.com>
+
+       * config/mips/mips.c (mips_binary_cost): Add new argument speed.
+       Use when calling rtx_costs.
+       (mips_rtx_costs): Fix formatting.  Use argument speed rather than the
+       global optimize_size.  Pass speed to mips_binary_cost.
+
+2009-10-20  Jakub Jelinek  <jakub@redhat.com>
+
+       * config/rs6000/rs6000.c (def_builtin): Set TREE_READONLY instead
+       of TREE_CONSTANT.
+
+2009-10-20  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * rtl.h (simplify_replace_fn_rtx): Declare.
+       (wrap_constant, unwrap_constant): Delete.
+       * cfgexpand.c (unwrap_constant, wrap_constant): Delete.
+       (expand_debug_expr): Don't call wrap_constant.
+       * combine.c (rtx_subst_pair): Only define for AUTO_INC_DEC.
+       (auto_adjust_pair): Fold into...
+       (propagate_for_debug_subst): ...here.  Only define for AUTO_INC_DEC.
+       Just return a new value.
+       (propagate_for_debug): Use simplify_replace_fn_rtx for AUTO_INC_DEC,
+       otherwise use simplify_replace_rtx.
+       * cselib.c (wrap_constant): Reinstate old definition.
+       (cselib_expand_value_rtx_1): Don't wrap constants.
+       * gcse.c (try_replace_reg): Don't use copy_rtx in the call to
+       simplify_replace_rtx.
+       (bypass_block): Fix formatting in calls to simplify_replace_rtx.
+       * reload1.c (reload): Skip all uses for an insn before adjusting it.
+       Use simplify_replace_rtx.
+       * simplify-rtx.c (simplify_replace_fn_rtx): New function,
+       adapted from...
+       (simplify_replace_rtx): ...here.  Turn into a wrapper for
+       simplify_replace_fn_rtx.
+       (simplify_unary_operation): Don't unwrap CONSTs.
+       * var-tracking.c (check_wrap_constant): Delete.
+       (vt_expand_loc_callback): Don't call it.
+       (vt_expand_loc): Likewise.
+
+2009-10-20  Pascal Obry  <obry@adacore.com>
+           Eric Botcazou  <ebotcazou@adacore.com>
+
+       * config/i386/cygming.h (DWARF_FRAME_REGNUM): Add enclosing parens.
+
+2009-10-20  Michael Matz  <matz@suse.de>
+
+       * loop-invariant.c (create_new_invariant): Use different magic number.
+
+2009-10-20  Richard Earnshaw  <rearnsha@arm.com>
+
+       PR target/39247
+       * arm.c (arm_override_options): Forcibly disable hot/cold block
+       partitioning.
+
+2009-10-20  Alexandre Oliva  <aoliva@redhat.com>
+
+       PR debug/41739
+       * haifa-sched.c (try_ready): Skip debug deps updating speculation
+       status.
+
+2009-10-20  Richard Guenther  <rguenther@suse.de>
+
+       * ggc-page.c: Include cfgloop.h.
+       (struct max_alignment): Drop long double, add void *.
+       (extra_order_size_table): Add low non-power-of-two multiples
+       of MAX_ALIGNMENT.  Drop small type-based entries, add
+       tree_type, cgraph_node and loop.
+       * alloc-pool.c (struct allocation_object_def): Drop long double
+       aligning element.
+
 2009-10-20  Jakub Jelinek  <jakub@redhat.com>
 
        PR debug/41340