OSDN Git Service

* doc/cpp.texi: Don't document what we do for ill-formed expressions.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 3b9e1dd..5f635ca 100644 (file)
@@ -1,3 +1,263 @@
+2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
+
+       * doc/cpp.texi: Don't document what we do for ill-formed expressions.
+       * doc/cppopts.texi: Clarify processing of command-line defines.
+
+2004-07-04  Gerald Pfeifer  <gerald@pfeifer.com>
+
+       * doc/contrib.texi (Contributors): Adjust link for GNU Classpath.
+
+2004-07-04  Richard Henderson  <rth@redhat.com>
+
+       * rtl.def (ADDRESSOF): Remove.
+       * alias.c (rtx_equal_for_memref_p): Don't handle addressof.
+       (find_base_term, memrefs_conflict_p): Likewise.
+       * cse.c (fixed_base_plus_p, find_best_addr: Likewise.
+       (fold_rtx, cse_insn, set_live_p): Likewise.
+       * dwarf2out.c (mem_loc_descriptor): Likewise.
+       (add_location_or_const_value_attribute): Likewise.
+       * emit-rtl.c (copy_insn_1): Likewise.
+       * explow.c (memory_address): Likewise.
+       * expmed.c (store_split_bit_field): Likewise.
+       * expr.c (expand_expr_real_1): Likewise.
+       * function.c (instantiate_decl
+       (instantiate_virtual_regs_1, fix_lexical_addr): Likewise.
+       * genrecog.c (preds, validate_pattern): Likewise.
+       * integrate.c (copy_rtx_and_substitute): Likewise.
+       * recog.c (general_operand, register_operand): Likewise.
+       (memory_address_p): Likwise.
+       * reload1.c (eliminate_regs, elimination_effects): Likewise.
+       * rtl.c (copy_rtx): Likewise.
+       * rtlanal.c (rtx_unstable_p, rtx_varies_p): Likewise.
+       (rtx_addr_can_trap_p, nonzero_address_p, address_cost): Likewise.
+       * rtlhooks.c (gen_lowpart_general): Likewise.
+       * stmt.c (expand_asm_operands): Likewise.
+       * web.c (entry_register, replace_ref, web_main): Likewise.
+       * config/alpha/alpha.c (input_operand, alpha_legitimate_address_p,
+       alpha_expand_block_move, alpha_expand_block_clear): Likewise.
+       * config/arm/arm.c (thumb_rtx_costs): Likewise.
+       * config/c4x/c4x.c (c4x_valid_operands): Likewise.
+       * config/frv/frv.c (move_destination_operand, move_source_operand,
+       condexec_dest_operand, condexec_source_operand,
+       condexec_memory_operand): Likewise.
+       * config/h8300/h8300.h (PREDICATE_CODES): Likewise.
+       * config/ia64/ia64.c (general_xfmode_operand): Likewise.
+       (destination_xfmode_operand): Likewise.
+       * config/mips/mips.h (PREDICATE_CODES): Likewise.
+       * config/mn10300/mn10300.c (mn10300_address_cost_1): Likewise.
+       * config/s390/s390.c (general_s_operand): Likewise.
+       * config/s390/s390.md (mov*): Likewise.
+       * config/sparc/sparc.h (PREDICATE_CODES): Likewise.
+
+       * c-typeck.c (c_mark_addressable): Don't put_var_into_stack.
+       * expr.c (expand_expr_real_1): Likewise.
+       * stmt.c (expand_decl): Likewise.
+       * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
+
+       * function.c (struct fixup_replacement, struct insns_for_mem_entry,
+       postponed_insns, put_var_into_stack, put_reg_into_stack,
+       schedule_fixup_var_refs, fixup_var_refs, find_fixup_replacement,
+       fixup_var_refs_insns, fixup_var_refs_insns_with_hash,
+       fixup_var_refs_insn, fixup_var_refs_1, fixup_memory_subreg,
+       walk_fixup_memory_subreg, fixup_stack_1, optimize_bit_field,
+       gen_mem_addressof, flush_addressof, put_addressof_into_stack,
+       purge_bitfield_addressof_replacements, purge_addressof_replacements,
+       purge_addressof_1, insns_for_mem_hash, insns_for_mem_comp,
+       struct insns_for_mem_walk_info, insns_for_mem_walk, 
+       compute_insns_for_mem, is_addressof, purge_addressof, setjmp_protect,
+       setjmp_protect_args): Remove.
+       (push_function_context_to): Don't handle var_refs_queue.
+       (pop_function_context_from, free_after_compilation): Likewise.
+       (instantiate_virtual_regs): Don't handle parm_reg_stack_loc.
+       (assign_parms, allocate_struct_function): Likewise.
+       (use_register_for_decl): New.
+       (expand_function_end): Don't setjmp_protect.
+       * function.h (struct emit_status): Update commentary.
+       (struct function): Remove x_max_parm_reg, x_parm_reg_stack_loc.
+       (max_parm_reg, parm_reg_stack_loc): Remove.
+       * passes.c (DFI_addressof): Remove.
+       (dump_file_info): Remove addressof.
+       (rest_of_handle_addressof): Remove.
+       (rest_of_compilation): Don't call it.
+       * rtl.h (ADDRESSOF_REGNO, ADDRESSOF_DECL): Remove.
+       * stmt.c (expand_decl): Use use_register_for_decl.
+       * tree.h: Update decls.
+       * web.c (mark_addressof): Remove.
+       * doc/invoke.texi (-dF): Remove.
+
+2004-07-03  Richard Henderson  <rth@redhat.com>
+
+       * config/ia64/ia64.c (spill_xfmode_operand): Use assign_stack_temp
+       instead of gen_mem_addressof.
+       * config/ia64/ia64.md (movxf): Use assign_stack_temp to handle
+       TImode output register.
+
+2004-07-03  Richard Henderson  <rth@redhat.com>
+
+       PR tree-optimization/16341
+       * tree-sra.c (sra_walk_function): Increment to next stmt before
+       processing the current stmt.
+       (sra_insert_after): Always use BSI_SAME_STMT.
+
+2004-07-03  Richard Henderson  <rth@redhat.com>
+
+       * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Don't fold
+       fp plus with minus.
+
+2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * tree.c (type_hash_eq): Allow TYPE_MIN_VALUE which compares equal
+       with tree_int_cst_equal.
+
+2004-07-03  Andreas Schwab  <schwab@suse.de>
+
+       * config/ia64/ia64.md: Define new attribute "empty".
+       (prologue_use, nop_x, insn_group_barrier): Set it.
+
+       * config/ia64/ia64.c (ia64_reorg): When looking for trailing call
+       skip over "empty" insns.
+
+2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * tree-inline.c (initialize_inlined_parameters): Pass proper function
+       context to gimplify_body.
+       (walk_tree): Don't walk into types twice.
+       (walk_tree, case POINTER_TYPE): Deal with mutually recursive pointers.
+
+       * tree-sra.c (generate_element_init): Remove any useless conversions.
+       
+       * gimplify.c (gimplify_conversion): Remove stripping useless
+       conversions from here.
+       (gimplify_expr): Put it here, in place of call to STRIP_MAIN_TYPE_NOPS.
+       (gimplify_modify_expr_to_memcpy, gimplify_variable_sized_compare):
+       Unshare before substituting PLACEHOLDER_EXPR.
+       (gimplify_modify_expr_to_memset): Likewise.
+       Pass address of TO to memset, not TO itself.
+       (gimplify_init_constructor): Make copy of OBJECT so we have it each
+       time we make an expression (to match a PLACEHOLDER_EXPR).
+
+       * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
+       VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
+       * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
+       * tree-ssa-dom.c (local_fold): Likewise.
+
+       * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook.
+       * langhooks.h (strct lang_hooks): New field type_max_size.
+       * function.c (assign_temp): Call it.
+
+2004-07-03  Steven Bosscher  <stevenb@suse.de>
+
+       * config/sh/sh.c (sh_use_dfa_interface): Add TARGET_SH1.
+       * config/sh/sh.md: Convert the SH1 pipeline description to
+       a DFA model.
+
+2004-07-02  Zack Weinberg  <zack@codesourcery.com>
+
+       * c-decl.c (struct c_binding): Remove contour field; add
+       depth, invisible, nested fields.
+       (B_IN_SCOPE, B_IN_CURRENT_SCOPE, B_IN_FILE_SCOPE)
+       (B_IN_EXTERNAL_SCOPE): New convenience macros.
+       (bind): Add invisible and nested arguments. Initialize
+       new fields of struct c_binding; adjust loop scanning for
+       insertion point.
+       (free_binding_and_advance): Clear structure with memset.
+       (pop_scope): Adjust to match.  Set DECL_CONTEXT on everything
+       in file scope, even if it's in external scope too.
+       (pushdecl): Adjust to match.  Create invisible file-scope
+       declarations for block-scope forward declarations of static functions.
+       (pushtag, warn_if_shadowing, pushdecl_top_level, implicitly_declare)
+       (undeclared_variable, lookup_label, declare_label, define_label)
+       (lookup_tag, lookup_name, lookup_name_in_scope, builtin_function)
+       (c_make_fname_decl, store_parm_decls_newstyle, identifier_global_value)
+       (store_parm_decls_oldstyle): Adjust to match.
+       (diagnose_mismatched_decls): Correct handling of linkage clashes.
+       (merge_decls): No need to copy C_DECL_IN_EXTERNAL_SCOPE.
+
+       * c-tree.h (C_DECL_IN_EXTERNAL_SCOPE): Delete.
+       (C_DECL_DECLARED_BUILTIN, C_DECL_REGISTER): Slide down one.
+
+2004-07-02  Richard Henderson  <rth@redhat.com>
+
+       * c-decl.c (grokdeclarator): Don't frob current_function_decl
+       around variable_size.
+       (set_decl_nonlocal): Remove.
+       (store_parm_decls): Add stmts for pending sizes.
+       * calls.c (calls_function, calls_function_1): Remove.
+       (precompute_arguments): Don't call it.
+       * cfgexpand.c (set_save_expr_context): Remove.
+       (tree_expand_cfg): Don't call it.
+       * dwarf2out.c (add_bound_info): Don't handle SAVE_EXPR.
+       (dwarf2out_finish): Likewise.
+       * expr.c (emit_block_move): Adjust addresses to BLKmode.
+       (store_constructor): Don't pre-evaluate SAVE_EXPR.
+       (safe_from_p): Don't queue SAVE_EXPRs.
+       (expand_expr_real_1 <case SAVE_EXPR>): Rewrite to expect,
+       or build plain VAR_DECLs.
+       * fold-const.c (twoval_comparison_p): Don't look at SAVE_EXPR_RTL.
+       (fold): Likewise.
+       (fold_checksum_tree): Don't special-case SAVE_EXPR.
+       * function.c (free_after_compilation): Don't clear x_save_expr_regs.
+       (put_var_into_stack): Don't handle SAVE_EXPR.
+       (gen_mem_addressof): Likewise.
+       * function.h (struct function): Remove x_save_expr_regs.
+       (save_expr_regs): Remove.
+       * gengtype.c (adjust_field_tree_exp): Don't special-case SAVE_EXPR.
+       * print-tree.c (print_node): Don't dump SAVE_EXPR_NOPLACEHOLDER.
+       * stor-layout.c (variable_size): Don't set it.
+       (force_type_save_exprs, force_type_save_exprs_1): Remove.
+       * tree-inline.c (remap_save_expr): Remove fn argument.  Update
+       all callers.  Don't set SAVE_EXPR_CONTEXT.
+       * tree-inline.h (remap_save_expr): Update decl.
+       * tree.c (save_expr): Update build size.
+       (first_rtl_op): Don't handle SAVE_EXPR.
+       (unsave_expr_1, contains_placeholder_p): Likewise.
+       (decl_function_context): Likewise.
+       * tree.def (SAVE_EXPR): Remove args 1 and 2.
+       * tree.h (SAVE_EXPR_CONTEXT, SAVE_EXPR_RTL): Remove.
+       (SAVE_EXPR_NOPLACEHOLDER, SAVE_EXPR_PERSISTENT_P): Remove.
+
+2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * doc/bugreport.texi, doc/configterms.texi, doc/contrib.texi,
+       doc/contribute.texi, doc/cpp.texi, doc/cppinternals.texi,
+       doc/extend.texi, doc/install.texi, doc/invoke.texi, doc/md.texi,
+       doc/portability.texi, doc/tree-ssa.texi, doc/trouble.texi: Avoid
+       some first-person references and patronizing comments.  Based on
+       printed manual.
+       * doc/invoke.texi: Don't reference fortran@gnu.org.
+       * doc/trouble.texi (Warning when a non-void function value is
+       ignored): Rewrite.  From Russ Allbery and Chris Devers.
+
+2004-07-02  Daniel Berlin  <dberlin@dberlin.org)
+
+       * tree-ssa-pre.c (bitmap_set_t): New.
+       (bb_value_sets): avail_out is now a bitmap_set_t.
+       (bitmap_find_leader): New function.
+       (bitmap_value_insert_into_set): Ditto.
+       (bitmap_set_copy): Ditto.
+       (bitmap_value_replace_in_set): Ditto.
+       (bitmap_set_contains_value): Ditto.
+       (bitmap_set_new): Ditto.
+       (bitmap_set_pool): New pool.
+       (find_or_generate_expression): Use bitmap_ functions on AVAIL sets.
+       (insert_aux): Ditto.
+       (add_to_sets): Ditto.
+       (compute_avail): Ditto
+       (eliminate): Ditto.
+       (init_pre): Ditto.
+       (fini_pre): Ditto.
+       (execute_pre): Ditto.
+
+2004-07-02  Roger Sayle  <roger@eyesopen.com>
+
+       * config/rs6000/rs6000.c (struct processor_costs): New structure
+       used to hold instruction latencies/sizes for processor types.
+       (rs6000_cost): New global variable pointing to current CPU's costs.
+       (rs6000_override_options): Initialize rs6000_cost to point to the
+       appropriate cost table based upon rs6000_cpu and optimize_size.
+       (rs6000_rtx_costs): Use rs6000_cost to avoid hardcoding processor
+       timings inline.
+
 2004-07-02  Richard Henderson  <rth@redhat.com>
 
        * expmed.c (make_tree): Don't use SET_DECL_RTL.
        * c-typeck.c (lvalue_p): Don't handle it.
        * expr.c (safe_from_p): Likewise.
        (expand_expr_real_1): Likewise.
-       * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.   
+       * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.
        (fold_checksum_tree, tree_expr_nonnegative_p): Likewise.
        * gengtype.c (adjust_field_tree_exp): Likewise.
        * stmt.c (warn_if_unused_value): Likewise.
        * builtins.c (expand_builtin_prefetch, expand_builtin_profile_func,
        expand_builtin): Likewise.
        * calls.c (expand_call, emit_library_call_value_1, store_one_arg):
-       Likewise. 
+       Likewise.
        * combine.c (can_combine_p, combinable_i3pat, try_combine,
        find_split_point, combine_simplify_rtx, simplify_set, make_extraction,
        rtx_equal_for_field_assignment_p, gen_lowpart_for_combine,
        emit_move_insn_1, expand_assignment, store_expr,
        store_constructor_field, store_constructor, store_field,
        force_operand, safe_from_p, expand_expr_real_1, expand_increment):
-       Likewise. 
+       Likewise.
        * final.c (cleanup_subreg_operands, alter_subreg,
        get_mem_expr_from_op): Likewise.
        * flow.c (notice_stack_pointer_modification_1,
        init_propagate_block_info, insn_dead_p, mark_set_1, mark_used_regs):
-       Likewise. 
+       Likewise.
        * function.c (mark_temp_addr_taken, preserve_temp_slots,
        preserve_rtl_expr_result, put_var_into_stack, fixup_var_refs_1,
        optimize_bit_field, flush_addressof, purge_addressof_1,
        import_export_class.
        * target-def.h (TARGET_CXX): Initialise the new field.
        (TARGET_CXX_IMPORT_EXPORT_CLASS): Provide a default value for
-       the new field.  
+       the new field.
        * doc/tm.texi: Document the new target hook.
 
 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>