OSDN Git Service

* config/rs6000/rs6000.c (rs6000_stack_info): Correct alignment of
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 2935df7..c61f9b1 100644 (file)
@@ -1,3 +1,313 @@
+2004-09-09  Alan Modra  <amodra@bigpond.net.au>
+
+       * config/rs6000/rs6000.c (rs6000_stack_info): Correct alignment of
+       save_size.
+
+2004-09-08  David Edelsohn  <edelsohn@gnu.org>
+
+       * config/rs6000/power4.md (power4-lmul): du4 feeds iu1.
+       * config/rs6000/power5.md (power5-lmul): Same.
+
+2004-09-08  Richard Henderson  <rth@redhat.com>
+
+       PR rtl-opt/17186
+       * function.c (expand_function_end): Have fall-off-the-end
+       return path jump around return register setup.
+
+2004-09-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+       * config/sparc/sparc.c (sparc_indent_opcode): New variable.
+       (output_return): Do not test for the presence of the 'unimp' insn.
+       Use 'current_function_uses_only_leaf_regs' and 'final_sequence'
+       as predicates instead of custom ones.  Return raw strings when
+       possible.
+       (output_sibcall): Likewise.  Concatenate strings.
+       (output_ubranch): Remove kludge for TurboSPARC.
+       (output_cbranch): Remove 'noop' parameter.  Do not output 'nop'.
+       (output_v9branch): Likewise.
+       (print_operand): Use 'final_sequence' instead of 'dbr_sequence_length'.
+       <#>: Set sparc_indent_opcode if the delay slot is filled.
+       <(>: Likewise.
+       <)>: New operand to emit the displacement from the saved PC on return.
+       <@>: Remove.
+       * config/sparc/sparc.h (sparc_indent_opcode): Declare it.
+       (ASM_OUTPUT_OPCODE): New macro.
+       (PRINT_OPERAND_PUNCT_VALID_P): Remove '^' and add ')'.
+       * config/sparc/sparc.md (normal_branch, inverted_branch,
+       normal_fp_branch, inverted_fp_branch, normal_fpe_branch,
+       inverted_fpe_branch): Adjust call to output_cbranch.
+       (normal_int_branch_sp64, inverted_int_branch_sp64): Adjust
+       call to output_v9branch.
+       * config/sparc/sparc-protos.h (output_cbranch): Adjust.
+       (output_v9branch): Likewise.
+
+2004-09-08  Devang Patel  <dpatel@apple.com>
+
+       * config/darwin.h  (TARGET_OPTION_TRANSLATE_TABLE): Add -segaddr,
+       -segs_read_only_addr and -segs_read_write_addr.
+       (WORD_SWITCH_TAKES_ARG): Same.
+       (LINK_SPEC): Same.
+       * doc/invoke.texi: Document -segaddr, -segs_read_only_addr and
+       -segs_read_write_addr.
+
+2004-09-08  Richard Henderson  <rth@redhat.com>
+
+       * function.c (reference_callee_copied): New.
+       (assign_parm_setup_reg): Use it.
+       * calls.c (initialize_argument_information): Likewise.
+       (emit_library_call_value_1): Likewise.
+       * function.h (reference_callee_copied): Declare.
+
+       * target.h (struct gcc_target): Add callee_copies.
+       * target-def.h (TARGET_CALLEE_COPIES): New.
+       (TARGET_PASS_BY_REFERENCE): Update default.
+       * expr.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * targhooks.c (hook_callee_copies_named): New.
+       (hook_bool_CUMULATIVE_ARGS_mode_tree_bool_false): Rename from
+       hook_pass_by_reference_false.
+       (hook_bool_CUMULATIVE_ARGS_mode_tree_bool_true): New.
+       * targhooks.h: Update decls.
+       * config/arc/arc.c (TARGET_CALLEE_COPIES): New.
+       * config/arc/arc.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/frv/frv-protos.h (frv_function_arg_callee_copies): Remove.
+       * config/frv/frv.c (frv_function_arg_callee_copies): Remove.
+       * config/frv/frv.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/iq2000/iq2000.c (TARGET_CALLEE_COPIES): New.
+       * config/iq2000/iq2000.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/m68hc11/m68hc11.c (TARGET_CALLEE_COPIES): New.
+       * config/m68hc11/m68hc11.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/mips/mips.c (TARGET_CALLEE_COPIES): New.
+       (mips_callee_copies): New.
+       * config/mips/mips.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/mmix/mmix.c (TARGET_CALLEE_COPIES): New.
+       * config/mmix/mmix.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/mn10300/mn10300.c (TARGET_CALLEE_COPIES): New.
+       * config/mn10300/mn10300.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/pa/pa.c (TARGET_CALLEE_COPIES): New.
+       * config/pa/pa.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/sh/sh.c (sh_callee_copies): New.
+       (TARGET_CALLEE_COPIES): New.
+       * config/sh/sh.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * config/v850/v850.c (TARGET_CALLEE_COPIES): New.
+       * config/v850/v850.h (FUNCTION_ARG_CALLEE_COPIES): Remove.
+       * doc/tm.texi (TARGET_CALLEE_COPIES): Replace documentation
+       for FUNCTION_ARG_CALLEE_COPIES.
+       * doc/rtl.texi (CALL_INSN_FUNCTION_USAGE): Update.
+
+2004-09-08  Devang Patel  <dpatel@apple.com>
+
+       * tree-if-conv.c (find_phi_replacement_condition): Return true
+       edge block.
+       (replace_phi_with_cond_modify_expr): Select conditional expr args
+       based on true edge basic block.
+       
+2004-09-08  Jan Hubicka  <jh@suse.cz>
+
+       * tree-ssa-operands.c (add_stmt_operand): Use V_MUST_DEF even for
+       variables being alias set.
+
+2004-09-08  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * final.c (shorten_branches, final, get_insn_template,
+       output_alternate_entry_point, final_scan_insn, alter_subreg,
+       alter_cond, output_operand, asm_fprintf, final_forward_branch_p,
+       leaf_renumber_regs_insn): Use gcc_assert and gcc_unreachable.
+       * fix-header.c (lookup_std_proto): Likewise.
+       * flow.c (first_insn_after_basic_block_note, verify_wide_reg,
+       verify_local_live_at_start, update_life_info, mark_reg,
+       calculate_global_regs_live, allocate_reg_life_data,
+       init_propagate_block_info, mark_set_regs, flush_reg_cond_reg_1,
+       ior_reg_cond, not_reg_cond, and_reg_cond, elim_reg_cond,
+       attempt_auto_inc, mark_used_reg, mark_used_regs): Likewise.
+       * fold-const.c (force_fit_type, div_and_round_double,
+       may_negate_without_overflow_p, int_const_binop, const_binop,
+       size_binop, size_diffop, fold_convert_const, fold_convert,
+       invert_tree_comparison, swap_tree_comparison,
+       comparison_to_compcode, compcode_to_comparison, invert_truthvalue,
+       range_binop, make_range, fold_cond_expr_with_comparison,
+       fold_div_compare, fold, fold_checksum_tree, fold_negate_const,
+       fold_abs_const, fold_not_const, fold_relational_const, round_up,
+       round_down): Likewise.
+       * function.c (find_function_data, assign_stack_temp_for_type,
+       instantiate_virtual_regs_lossage, aggregate_value_p,
+       assign_parm_find_entry_rtl, assign_parm_setup_block,
+       expand_function_start, expand_function_end, keep_stack_depressed,
+       handle_epilogue_set, thread_prologue_and_epilogue_insns): Likewise.
+
+2004-09-08  Daniel Berlin  <dberlin@dberlin.org>
+
+       * Makefile.in (tree-loop-linear.o): Added.
+       (OBJS-common): Add tree-loop-linear.o
+       * common.opt: New flag, ftree-loop-linear.
+       * timevar.def: New timevar, TV_TREE_LOOP_LINEAR.
+       * tree-flow.h: Add prototype for linear_transform_loops.
+       * tree-optimize.c: Add linear transform after vectorization.
+       * tree-pass.h: Add struct pass_linear_transform.
+       * tree-ssa-loop.c: Add pass_linear_transform.
+       * tree-loop-linear.c: New file.
+       * lambda-code.c: gcc_assertify.
+       (gcc_loop_to_lambda_loop): Handle all exit tests.
+       Handle case where we have (invariant >= induction var).
+       (find_induction_var_from_exit_cond): Ditto.
+       
+2004-09-08  Jie Zhang  <zhangjie@magima.com.cn>
+
+       * tree-ssa-alias.c (compute_flow_insensitive_aliasing): If type
+       memory tag is call clobbered, so are its aliases.
+       (group_aliases): When two memory tags being grouped, if one is
+       call clobbered, so are the other and its aliases.
+       (add_may_alias): Remove call-clobbering stuff.
+       (replace_may_alias): Likewise.
+       (merge_pointed_to_info): Merge pt_global_mem
+
+2004-09-08  Jan Hubicka  <jh@suse.cz>
+
+       * cgraph.c (cgraph_remove_node): Free DECL_INITIAL field of node.
+       * cgraphunit.c (verify_cgraph): Don't verify on syntax errors.
+       (cgraph_expand_function): Remove stale cgraph edges of currently
+       compiled function; fix non-unit-at-a-time code copying function
+       node for later reuse.
+
+2004-09-08  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * vec.c (vec_p_reserve, vec_o_reserve): Rename to ...
+       (vec_gc_p_reserve, vec_gc_o_reserve): ... here. Clone to
+       (vec_heap_p_reserve, vec_heap_o_reserve): ... here, adjust.
+       (vec_gc_free, vec_heap_free): New.
+       * vec.h (DEF_VEC_GC_P, DEF_VEC_MALLOC_P): New.
+       (DEF_VEC_P): Add allocator argument. Adjust.
+       (DEF_VEC_GC_O, DEF_VEC_MALLOC_O): New.
+       (DEF_VEC_O): Add allocator argument. Adjust.
+       (VEC(free)): New.
+
+       * tree.h (tree): Define a GC'd vector.
+       * lamba-code.c (lambda_loop): Likewise.
+       * value-prof.h (histogram_value): Likewise.
+
+2004-09-08  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * emit-rtl.c (immed_double_const): Use gcc_assert and gcc_unreachable.
+       (gen_rtx_SUBREG, gen_reg_rtx, mark_user_reg, subreg_hard_regno,
+       gen_lowpart_common, gen_highpart, gen_highpart_mode,
+       subreg_highpart_offset, operand_subword, operand_subword_force,
+       mem_expr_equal_p, set_mem_attributes_minus_bitpos,
+       set_mem_alias_set, change_address_1, verify_rtx_sharing,
+       copy_most_rtx, set_first_insn, set_last_insn, prev_cc0_setter,
+       try_split, add_insn_after, add_insn_before, remove_insn,
+       remove_unnecessary_notes, emit_insn_before, emit_jump_insn_before,
+       emit_call_insn_before, emit_insn_after, emit_jump_insn_after,
+       emit_call_insn_after, emit_insn, emit_jump_insn, emit_call_insn,
+       set_unique_reg_note, emit, push_to_full_sequence, copy_insn_1,
+       gen_const_vector_0, emit_copy_of_insn_after): Likewise.
+       * et-forest.c (set_prev, set_next, et_check_occ_sanity,
+       record_path_before_1, check_path_after_1, check_path_after): Likewise.
+       * except.c (gen_eh_region, resolve_one_fixup_region,
+       remove_unreachable_regions, convert_from_eh_region_ranges_1,
+       add_ehl_entry, duplicate_eh_region_1, build_post_landing_pads,
+       connect_post_landing_pads, sjlj_emit_function_exit,
+       remove_exception_handler_label, remove_eh_handler,
+       reachable_next_level, collect_one_action_chain,
+       output_function_exception_table): Likewise.
+       * explow.c (trunc_int_for_mode, copy_to_mode_reg,
+       optimize_save_area_alloca, allocate_dynamic_stack_space,
+       probe_stack_range, hard_function_value): Likewise.
+       * expmed.c (mode_for_extraction, store_bit_field,
+       store_fixed_bit_field, extract_bit_field, expand_shift,
+       expand_mult_const, expand_mult, choose_multiplier,
+       expand_mult_highpart, expand_divmod, emit_store_flag,
+       do_cmp_and_jump): Likewise.
+       * expr.c (convert_move, convert_modes, move_by_pieces,
+       move_by_pieces_ninsns, move_by_pieces_1, emit_block_move,
+       move_block_from_reg, gen_group_rtx, emit_group_load,
+       emit_group_move, emit_group_store, use_reg, use_regs,
+       can_store_by_pieces, store_by_pieces, store_by_pieces_1,
+       emit_move_insn, emit_move_insn_1, emit_push_insn,
+       expand_assignment, store_expr, count_type_elements,
+       store_constructor, store_field, safe_from_p, expand_var,
+       expand_expr_addr_expr, expand_expr_real_1, do_store_flag): Likewise.
+
+2004-09-08  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * dbxout.c (dbxout_type, dbxout_type_name, dbxout_symbol): Use
+       gcc_assert and gcc_unreachable.
+       * ddg.c (create_ddg_dependence, add_deps_for_def,
+       add_deps_for_use, create_ddg, add_edge_to_ddg): Likewise.
+       * df.c (df_ref_unlink, df_ref_record, df_uses_record,
+       df_reg_def_chain_create, df_reg_use_chain_create, df_analyze,
+       df_insn_delete, df_refs_reg_replace, df_ref_reg_replace,
+       df_insns_modify, df_pattern_emit_before, df_bb_reg_live_start_p,
+       df_bb_reg_live_end_p, df_bb_regs_lives_compare,
+       df_bb_single_def_use_insn_find, dataflow_set_a_op_b,
+       dataflow_set_copy, hybrid_search, diagnostic.c,
+       diagnostic_build_prefix, diagnostic_count_diagnostic): Likewise.
+       * dojump.c (do_jump): Likewise.
+       * dominance.c (calc_dfs_tree_nonrec, calc_dfs_tree,
+       compute_dom_fast_query, calculate_dominance_info,
+       free_dominance_info, get_immediate_dominator,
+       set_immediate_dominator, get_dominated_by,
+       redirect_immediate_dominators, nearest_common_dominator,
+       dominated_by_p, verify_dominators, recount_dominator,
+       iterate_fix_dominators, add_to_dominance_info,
+       delete_from_dominance_info): Likewise.
+       * dwarf2asm.c (size_of_encoded_value, eh_data_format_name,
+       dw2_asm_output_delta_uleb128, dw2_asm_output_delta_sleb128,
+       dw2_force_const_mem, dw2_asm_output_encoded_addr_rtx): Likewise.
+       * dwarf2out.c (expand_builtin_init_dwarf_reg_sizes, reg_save,
+       initial_return_save, stack_adjust_offset, dwarf2out_stack_adjust,
+       flush_queued_reg_saves, dwarf2out_frame_debug_expr,
+       dwarf2out_frame_debug, dw_cfi_oprnd1_desc, output_cfi,
+       output_call_frame_info, output_loc_operands, build_cfa_loc,
+       decl_ultimate_origin, AT_flag, AT_int, AT_unsigned, AT_string,
+       AT_string_form, add_AT_specification, AT_ref, set_AT_ref_external,
+       AT_loc, AT_loc_list, AT_addr, AT_lbl, add_child_die,
+       splice_child_die, attr_checksum, same_dw_val_p,
+       break_out_includes, build_abbrev_table, size_of_die, mark_dies,
+       unmark_dies, value_format, output_loc_list, output_die,
+       output_pubnames, output_aranges, base_type_die, is_base_type,
+       modified_type_die, dbx_reg_number, multiple_reg_loc_descriptor,
+       mem_loc_descriptor, loc_descriptor, loc_descriptor_from_tree_1,
+       field_byte_offset, add_data_member_location_attribute,
+       add_const_value_attribute, rtl_for_decl_location,
+       add_location_or_const_value_attribute, add_byte_size_attribute,
+       add_bit_offset_attribute, add_bit_size_attribute,
+       add_abstract_origin_attribute, pop_decl_scope, scope_die_for,
+       decl_start_label, gen_formal_parameter_die,
+       gen_type_die_for_member, gen_subprogram_die, gen_label_die,
+       gen_typedef_die, gen_type_die, gen_tagged_type_instantiation_die,
+       force_decl_die, force_type_die, gen_decl_die,
+       dwarf2out_imported_module_or_decl, prune_unused_types_prune,
+       dwarf2out_finish): Likewise.
+
+2004-09-08  Andreas Tobler  <toa@pop.agri.ch>
+
+       * Makefile.in (builtins.o): Depend on tree-mudflap.h.
+       * builtins.c: Include tree-mudflap.h.
+
+2004-09-08  Uros Bizjak  <uros@kss-loka.si>
+
+       * config/i386/i386.c (ix86_prepare_fp_compare_args): Do not
+       force operand 0.0 into register in XFmode. Also do not force
+       operand 0.0 into register if !TARGET_CMOVE.
+       * config/i386/i386.md (*cmpfp_0): Delete. Remove comment.
+       (*cmpfp_0_sf, cmpfp_0_df, cmpfp_0_xf): New patterns to 
+       implement ftst x87 instruction.
+       (*fp_jcc_7): New insn pattern. Change corresponding split
+       pattern to handle "general_operand" instead of
+       "nonimmediate_operand".
+
+2004-09-08  Ben Elliston  <bje@au.ibm.com>
+
+       * doc/rtl.texi (Insns): Document NOTE_INSN_FUNCTION_BEG.
+
+2004-09-07  Frank Ch. Eigler  <fche@redhat.com>
+
+       * builtins.c (std_gimplify_va_arg_expr): Mark INDIRECT_REF nodes
+       generated from standard va_arg expansion.
+       * tree-mudflap.c (mx_xform_derefs_1): Omit instrumentation from
+       marked nodes.
+       (mf_varname_tree, mf_file_function_line_tree): Add some support
+       for column numbers if compiled with USE_MAPPED_LOCATION.
+
 2004-09-07  Ziemowit Laski  <zlaski@apple.com>
 
        * c-decl.c (groktypename_in_parm_context): Remove function.