gcc/ChangeLog

   1 2004-07-09  Richard Henderson  <rth@redhat.com>
   2
   3         * builtins.c (std_gimplify_va_arg_expr): Deny ARGS_GROW_DOWNWARD.
   4         Always align upward to arg boundary.  Use size_in_bytes/round_up.
   5         Maintain type-correctness of constants.
   6         * stor-layout.c (round_up, round_down): Special-case powers of 2.
   7
   8 2004-07-09  David S. Miller  <davem@nuts.davemloft.net>
   9
  10         * config/sparc/sparc.c (*_costs): Scale instruction costs
  11         by COSTS_N_INSNS.
  12         (sparc_rtx_costs): Adjust as appropriate.
  13
  14 2004-07-09  Jan Beulich  <jbeulich@novell.com>
  15
  16         * config/i386/mm3dnow.h: New.
  17         * config.gcc: Add mm3dnow.h to extra_headers for i?86 and x86-64.
  18
  19 2004-07-09  Richard Henderson  <rth@redhat.com>
  20
  21         * simplify-rtx.c (simplify_const_relational_operation): Only
  22         look at bounds of scalar integers.
  23
  24 2004-07-09  Jan Beulich  <jbeulich@novell.com>
  25
  26         * config/i386/i386.md (sse2_clflush): Use correct operand for clflush.
  27
  28 2004-07-09  Andrew Pinski  <apinski@apple.com>
  29
  30         * objc/objc-act.c (build_module_descriptor): Mark UOBJC_MODULES_decl as
  31         always referenced.
  32         (synth_forward_declarations): Likewise for UOBJC_CLASS_decl and
  33         UOBJC_METACLASS_decl.
  34
  35 2004-07-09  James E Wilson  <wilson@specifixinc.com>
  36
  37         PR target/16364
  38         * config/ia64/ia64.c (ia64_function_arg): For a single element HFA,
  39         do return a parallel if hfa_mode == XFmode and mode == TImode.
  40
  41 2004-07-09  Jan Beulich  <jbeulich@novell.com>
  42
  43         * c-typeck.c (build_unary_op): include VECTOR_TYPE in set of codes
  44         permissible for unary plus.
  45
  46 2004-07-09  Jan Beulich  <jbeulich@novell.com>
  47
  48         * builtin-types.def (BT_UINT): Rename from BT_UNSIGNED.
  49         (BT_FN_UINT): Rename from BT_FN_UNSIGNED.
  50         (BT_FN_PTR_UINT): Rename from BT_FN_PTR_UNSIGNED.
  51         (BT_ULONG, BT_ULONGLONG, BT_UINTMAX, BT_FN_INT_UINT, BT_FN_INT_ULONG,
  52         BT_FN_INT_ULONGLONG, BT_FN_INT_INTMAX, BT_FN_INT_UINTMAX): New.
  53         * builtins.def (BUILTIN_CLZxxx, BUILTIN_CTXxxx, BUILTIN_PARITYxxx,
  54         BUILTIN_POPCOUNTxxx): Arguments are unsigned.
  55         (BUILTIN_xxxIMAX): New.
  56         * builtins.c (expand_builtin): Handle BUILT_IN_FFSIMAX,
  57         BUILT_IN_CLZIMAX, BUILT_IN_CTZIMAX, BUILT_IN_POPCOUNIMAX, and
  58         BUILT_IN_PARITYIMAX.
  59
  60 2004-07-09  David S. Miller  <davem@nuts.davemloft.net>
  61
  62         * config/sparc/sparc.h (processor_costs): Define.
  63         (sparc_costs): Declare.
  64         * config/sparc/sparc.c (cypress_costs, supersparc_costs,
  65         hypersparc_costs, sparclet_costs, ultrasparc_costs,
  66         ultrasparc3_costs): New.
  67         (sparc_override_options): Set sparc_costs as appropriate.
  68         (sparc_rtx_costs): Use sparc_costs instead of messy
  69         conditionals.
  70
  71 2004-07-09  Steven Bosscher  <stevenb@suse.de>
  72
  73         * doc/md.texi (Processor pipeline description): Mention that
  74         the old pipeline description is deprecated.
  75
  76         * config/rs6000/7450.md (automaton ppc7450): Split up, move
  77         mciu_7450 function unit to...
  78         (automaton ppc7450mciu): ...new automaton.
  79
  80         * haifa-sched.c (insert_schedule_bubbles_p): Remove.
  81         (schedule_block): Don't consider inserting bubbles.
  82         (sched_init): Don't initialize DFA bubbles.
  83         * target-def.h (TARGET_SCHED_INIT_DFA_BUBBLES,
  84         TARGET_SCHED_DFA_BUBBLE): Remove.
  85         * target.h (init_dfa_bubbles, dfa_bubble): Remove hooks.
  86         * doc/tm.texi (TARGET_SCHED_INIT_DFA_BUBBLES,
  87         TARGET_SCHED_DFA_BUBBLE): Remove documentation.
  88
  89         * stmt.c (conditional_context): Remove prototype.
  90         * tree.h (conditional_context): Remove.
  91         * tree-cfg.c (pre_insert_on_edge): Remove.
  92
  93         * c-common.h (c_expand_asm_operands): Remove prototype.
  94         * c-typeck.c (c_expand_asm_operands): Remove.
  95
  96 2004-07-09  Jan Beulich  <jbeulich@novell.com>
  97
  98         * config/i386/i386.c (classify_argument): Treat V1xx modes the same as
  99         their base modes. CTImode, TCmode, and XCmode must be passed in memory.
 100         TFmode (__float128) must be is an SSE/SSEUP pair. V2SImode, V4HImode,
 101         and V8QI are class SSE. All sufficiently small remaining vector modes
 102         must be passed in one or two integer registers.
 103         (ix86_libcall_value): TFmode must be returned in xmm0, XCmode must be
 104         returned in memory.
 105         (bdesc_2arg, ix86_init_mmx_sse_builtins): __builtin_ia32_pmuludq and
 106         __builtin_ia32_pmuludq128 have non-uniform argument and return types
 107         and must thus be handled explicitly.
 108         * config/i386/i386.md (*movdi_1_rex64): Add cases for moving between
 109         MMX and XMM regs.
 110         (movv8qi_internal, movv4hi_internal, movv2si_internal,
 111         movv2sf_internal): Permit moving between MMX and XMM registers (since
 112         MMX areguments and return values are passed in XMM registers).
 113         (sse2_umulsidi3): Correct type and mode.
 114
 115 2004-07-09  Richard Henderson  <rth@redhat.com>
 116
 117         * tree-cfg.c (dump_cfg_stats): Fix 64-bit format mismatch errors.
 118
 119 2004-07-09  Eric Christopher  <echristo@redhat.com>
 120
 121         * config/rs6000/40x.md: Split into two automatons.
 122
 123 2004-07-09  Zack Weinberg  <zack@codesourcery.com>
 124             Andrew Pinski  <apinski@apple.com>
 125
 126         * c-opts.c (c_common_post_options): Force unit-at-a-time mode
 127         on when we have more than one input file.
 128         (c_common_parse_file): Restore loop over all input files.
 129         Clarify diagnostic for -dy when YYDEBUG wasn't defined.
 130
 131         * c-decl.c (set_type_context): New function.
 132         (pop_scope): Use it to set context of types.  When we
 133         encounter a TYPE_DECL, set the context of the attached type too.
 134         (pop_file_scope): Don't call cpp_undef_all here.
 135         (diagnose_mismatched_decls): Do not complain about a second
 136         definition of an 'extern inline' function if it's not in the
 137         same translation unit.  Do not complain about inline
 138         declaration after use if the use was in a different
 139         translation unit.
 140         (merge_decls): Don't clobber olddecl's DECL_CONTEXT.
 141         (pushdecl): Do not put DECL_EXTERNAL, !TREE_PUBLIC decls in
 142         the external scope.
 143         (pushdecl_top_level): Likewise.
 144         (grokdeclarator): Clarify what is going on with setting
 145         DECL_EXTERNAL on function types, a little.
 146         (c_write_global_declarations): Don't do anything if
 147         -fsyntax-only or errors have been encountered.
 148
 149 2004-07-09  Zack Weinberg  <zack@codesourcery.com>
 150
 151         * vec.c, vec.h (vec_assert_fail): Use unsigned int for LINE argument.
 152
 153 2004-07-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 154
 155         PR target/16459
 156         * pa.c (output_indirect_call): Use %r2 as the link register when
 157         calling $$dyncall with a pc-relative branch.
 158
 159 2004-07-08  Gerald Pfeifer  <gerald@pfeifer.com>
 160
 161         * doc/install.texi (Binaries): Mention OpenPKG.
 162
 163 2004-07-09  Diego Novillo  <dnovillo@redhat.com>
 164
 165         Fix PR tree-optimization/15555
 166         * tree-dfa.c (dump_variable): If the variable is a pointer
 167         SSA_NAME, also dump its points-to information.
 168         * tree-flow.h (struct ptr_info_def): Add field
 169         is_dereferenced.
 170         (dump_points_to_info_for): Declare.
 171         (debug_points_to_info_for): Declare.
 172         * tree-optimize.c (init_tree_optimization_passes): Add a
 173         second alias analysis pass after DOM2.
 174         Move pass_del_pta to a later spot.
 175         * tree-ssa-alias.c (compute_points_to_and_addr_escape): Do not
 176         create a name tags when we find a dereferenced pointer.  Just
 177         mark the pointer dereferenced.
 178         (collect_points_to_info_for): Move code to clear points-to
 179         information to create_name_tags.
 180         (create_name_tags): New function.
 181         (compute_flow_sensitive_aliasing): Call it.
 182         (setup_pointers_and_addressables): Mark type tags for renaming
 183         here instead of ...
 184         (create_memory_tag): ... here.
 185         (merge_pointed_to_info): Do not merge PT_MALLOC attributes.
 186         (dump_points_to_info_for): Declare extern.
 187         (debug_points_to_info_for): New function.
 188
 189 2004-07-09  Paolo Bonzini  <bonzini@gnu.org>
 190
 191         * config/arc/arc.md: Switch to DFA-based scheduler description.
 192         * config/arc/arc.c: Switch to DFA-based scheduler description.
 193
 194 2004-07-09  Richard Earnshaw  <rearnsha@arm.com>
 195
 196         * arm/unknown-elf.h (TARGET_DEFAULT): Don't require an APCS frame
 197         pointer.
 198
 199 2004-07-09  Richard Henderson  <rth@redhat.com>
 200
 201         * config/xtensa/xtensa-protos.h (xtensa_va_arg): Remove.
 202         * config/xtensa/xtensa.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 203         (xtensa_gimplify_va_arg_expr): Rewrite from xtensa_va_arg.
 204         * config/xtensa/xtensa.h (EXPAND_BUILTIN_VA_ARG): Remove.
 205
 206         * config/v850/v850-protos.h (v850_va_arg): Remove.
 207         * config/v850/v850.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 208         (v850_gimplify_va_arg_expr): Rewrite from v850_va_arg.
 209         * config/v850/v850.h (EXPAND_BUILTIN_VA_ARG): Remove.
 210         (FUNCTION_ARG_PASS_BY_REFERENCE): Handle variable size types.
 211         (FUNCTION_ARG_CALLEE_COPIES): Use FUNCTION_ARG_PASS_BY_REFERENCE.
 212
 213 2004-07-09  Richard Earnshaw  <rearnsha@arm.com>
 214
 215         PR target/12133
 216         * arm.c (arm_legitimate_index_p) Allow DFmode for soft-float
 217         and DImode to use +/-4k offset.
 218
 219 2004-07-09  Richard Henderson  <rth@redhat.com>
 220
 221         * config/stormy16/stormy16-protos.h (xstormy16_expand_builtin_va_arg):
 222         Remove.
 223         * config/stormy16/stormy16.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 224         (xstormy16_gimplify_va_arg_expr): Rewrite from
 225         xstormy16_expand_builtin_va_arg.
 226         * config/stormy16/stormy16.h (EXPAND_BUILTIN_VA_ARG): Remove.
 227
 228         * config/sparc/sparc-protos.h (sparc_va_arg): Remove.
 229         * config/sparc/sparc.c (sparc_gimplify_va_arg): Mark static.
 230
 231         * config/sh/sh-protos.h (sh_va_arg): Remove.
 232         * config/sh/sh.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 233         (sh_gimplify_va_arg_expr): Rewrite from sh_va_arg.
 234         * config/sh/sh.h (EXPAND_BUILTIN_VA_ARG): Remove.
 235
 236         * config/pa/pa-protos.h (hppa_va_arg): Remove.
 237         * config/pa/pa.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 238         (hppa_gimplify_va_arg_expr): Rewrite from hppa_va_arg.
 239         * config/pa/pa.h (EXPAND_BUILTIN_VA_ARG): Remove.
 240
 241         * config/mn10300/mn10300-protos.h (mn10300_va_arg): Remove.
 242         * config/mn10300/mn10300.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 243         (mn10300_gimplify_va_arg_expr): Rewrite from mn10300_va_arg.
 244         * config/mn10300/mn10300.h (EXPAND_BUILTIN_VA_ARG): Remove.
 245
 246 2004-07-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
 247
 248         * config/sparc/sparc.md (return): Rewrite length formula.
 249         * config/sparc/sparc.c (output_return): Pass 1 as 5th
 250         argument to final_scan_insn when in a delay slot.
 251         (output_sibcall): Likewise.
 252
 253 2004-07-09  Richard Earnshaw  <rearnsha@arm.com>
 254
 255         * arm.c (arm_cpp_interwork): New variable.
 256         (arm_override_options): Set it if TARGET_INTERWORK was on the command
 257         line.
 258         * arm.h (arm_cpp_interwork): Declare it.
 259         (TARGET_CPU_CPP_BUILTINS): Use it to control definition of
 260         __THUMB_INTERWORK__ in the preprocessor.
 261
 262 2004-07-09  Nathan Sidwell  <nathan@codesourcery.com>
 263
 264         * vec.h (VEC_T_alloc): Fix MEM_STAT_DECL pasto.
 265
 266 2004-07-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
 267
 268         PR target/16416
 269         * config/sparc/sol2-bi.h (OPTION_DEFAULT_SPECS): New macro.
 270         Override default settings to account for -m32 and -m64.
 271
 272 2004-07-08  Randolph Chung  <tausq@debian.org>
 273
 274         * pa32-linux.h (MD_FALLBACK_FRAME_STATE_FOR): Define.
 275
 276 2004-07-09  Alexandre Oliva  <aoliva@redhat.com>
 277
 278         * builtins.c (fold_builtin_strncpy): Make sure len is a constant
 279         before comparing it as such.
 280
 281 2004-07-08  Richard Henderson  <rth@redhat.com>
 282
 283         * builtins.c (std_gimplify_va_arg_expr): Hoist valist into a
 284         temporary.  Use bit arithmetic to align.
 285
 286 2004-07-08  Jerry Quinn  <jlquinn@optonline.net>
 287
 288         * alias.c (nonlocal_mentioned_p, nonlocal_referenced_p,
 289         nonlocal_set_p, init_alias_analysis): Use, LABEL_P, JUMP_P, CALL_P,
 290         NONJUMP_INSN_P, INSN_P, NOTE_P, BARRIER_P.
 291         * bb-reorder.c (mark_bb_for_unlikely_executed_section,
 292         add_labels_and_missing_jumps, find_jump_block,
 293         fix_crossing_unconditional_branches, add_reg_crossing_jump_notes):
 294         Likewise.
 295         * bt-load.c (btr_referenced_p, compute_defs_uses_and_gen,
 296         link_btr_uses, move_btr_def): Likewise.
 297         * builtins.c (expand_builtin_longjmp, expand_builtin_nonlocal_goto,
 298         expand_builtin_expect_jump): Likewise.
 299         * caller-save.c (save_call_clobbered_regs, insert_one_insn): Likewise.
 300         * calls.c (expand_call, emit_library_call_value_1): Likewise.
 301         * cfganal.c (forwarder_block_p): Likewise.
 302         * cfgbuild.c (inside_basic_block_p, count_basic_blocks,
 303         make_label_edge, rtl_make_eh_edge, make_edges, find_basic_blocks_1,
 304         find_bb_boundaries): Likewise.
 305         * cfgcleanup.c (try_simplify_condjump, try_forward_edges,
 306         merge_blocks_move_predecessor_nojumps,
 307         merge_blocks_move_successor_nojumps, insns_match_p,
 308         flow_find_cross_jump, outgoing_edges_match, try_crossjump_to_edge,
 309         try_optimize_cfg): Likewise.
 310         * cfgexpand.c (expand_block, construct_exit_block): Likewise.
 311         * cfglayout.c (skip_insns_after_block, label_for_bb,
 312         record_effective_endpoints, insn_locators_initialize,
 313         fixup_reorder_chain, update_unlikely_executed_notes): Likewise.
 314         * cfgmainloop.c (create_loop_notes): Likewise.
 315         * cfgrtl.c (delete_insn, delete_insn_chain,
 316         create_basic_block_structure, rtl_delete_block, free_bb_for_insn,
 317         update_bb_for_insn, rtl_merge_blocks, rtl_can_merge_blocks,
 318         block_label, try_redirect_by_replacing_jump, last_loop_beg_note,
 319         redirect_branch_edge, force_nonfallthru_and_redirect,
 320         rtl_tidy_fallthru_edge, back_edge_of_syntactic_loop_p,
 321         rtl_split_edge, commit_one_edge_insertion, print_rtl_with_bb,
 322         update_br_prob_note, rtl_verify_flow_info_1, rtl_verify_flow_info,
 323         purge_dead_edges, cfg_layout_redirect_edge_and_branch,
 324         cfg_layout_delete_block, cfg_layout_can_merge_blocks_p,
 325         cfg_layout_merge_blocks, rtl_block_ends_with_call_p,
 326         need_fake_edge_p, rtl_flow_call_edges_add): Likewise.
 327         * combine.c (combine_instructions, can_combine_p, try_combine,
 328         find_split_point, record_dead_and_set_regs, reg_dead_at_p,
 329         distribute_notes, distribute_links, insn_cuid): Likewise.
 330         * cse.c (fold_rtx, cse_insn, cse_around_loop,
 331         invalidate_skipped_block, cse_set_around_loop,
 332         cse_end_of_basic_block, cse_main, cse_basic_block,
 333         cse_condition_code_reg): Likewise.
 334         * cselib.c (cselib_process_insn): Likewise.
 335         * ddg.c (create_ddg): Likewise.
 336         * df.c (df_insn_refs_record, df_bb_rd_local_compute, df_insns_modify):
 337         Likewise.
 338         * dwarf2out.c (dwarf2out_stack_adjust, dwarf2out_frame_debug,
 339         gen_label_die, dwarf2out_var_location): Likewise.
 340         * emit-rtl.c (get_first_nonnote_insn, get_last_nonnote_insn,
 341         next_insn, previous_insn, next_nonnote_insn, prev_nonnote_insn,
 342         last_call_insn, active_insn_p, next_label, prev_label,
 343         link_cc0_insns, next_cc0_user, try_split, add_insn_after,
 344         add_insn_before, remove_insn, add_function_usage_to,
 345         reorder_insns, find_line_note, remove_unnecessary_notes,
 346         emit_insn_after_1, classify_insn): Likewise.
 347         * except.c (convert_from_eh_region_ranges_1, emit_to_new_bb_before,
 348         connect_post_landing_pads, sjlj_mark_call_sites,
 349         sjlj_emit_function_enter, sjlj_emit_function_exit, reachable_handlers,
 350         can_throw_internal, can_throw_external, set_nothrow_function_flags,
 351         convert_to_eh_region_ranges): Likewise.
 352         * explow.c (optimize_save_area_alloca): Likewise.
 353         * expr.c (expand_expr_real): Likewise.
 354         * final.c (insn_current_reference_address, compute_alignments,
 355         shorten_branches, final, scan_ahead_for_unlikely_executed_note,
 356         final_scan_insn, output_asm_label, leaf_function_p): Likewise.
 357         * flow.c (first_insn_after_basic_block_note, delete_dead_jumptables,
 358         propagate_block_delete_insn, propagate_one_insn,
 359         init_propagate_block_info, propagate_block, libcall_dead_p,
 360         mark_set_1, attempt_auto_inc, find_auto_inc, try_pre_increment):
 361         Likewise.
 362         * function.c (instantiate_virtual_regs, reorder_blocks_1,
 363         expand_function_start, expand_function_end, contains,
 364         thread_prologue_and_epilogue_insns,
 365         reposition_prologue_and_epilogue_notes): Likewise.
 366         * gcse.c (constprop_register, bypass_conditional_jumps,
 367         insert_insn_end_bb, gcse_after_reload): Likewise.
 368         * genemit.c (gen_expand, gen_split): Likewise.
 369         * genpeep.c (gen_peephole, main): Likewise.
 370         * global.c (build_insn_chain): Likewise.
 371         * graph.c (node_data, print_rtl_graph_with_bb): Likewise.
 372         * haifa-sched.c (unlink_other_notes, unlink_line_notes,
 373         get_block_head_tail, no_real_insns_p, rm_line_notes, save_line_notes,
 374         restore_line_notes, rm_redundant_line_notes, rm_other_notes,
 375         ok_for_early_queue_removal, set_priorities, sched_init): Likewise.
 376         * ifcvt.c (count_bb_insns, first_active_insn, last_active_insn,
 377         cond_exec_process_insns, end_ifcvt_sequence, noce_process_if_block,
 378         merge_if_block, block_jumps_and_fallthru_p, find_if_block,
 379         dead_or_predicable): Likewise.
 380         * integrate.c (try_constants): Likewise.
 381         * jump.c (rebuild_jump_labels, cleanup_barriers,
 382         purge_line_number_notes, init_label_info, mark_all_labels,
 383         squeeze_notes, get_label_before, get_label_after,
 384         reversed_comparison_code_parts, simplejump_p, pc_set,
 385         returnjump_p, onlyjump_p, follow_jumps, mark_jump_label,
 386         delete_barrier, delete_prior_computation, delete_computation,
 387         delete_related_insns, delete_for_peephole, redirect_jump):
 388         Likewise.
 389         * lcm.c (optimize_mode_switching): Likewise.
 390         * local-alloc.c (validate_equiv_mem, update_equiv_regs, block_alloc):
 391         Likewise.
 392         * loop-doloop.c (doloop_valid_p, doloop_optimize): Likewise.
 393         * loop-invariant.c (find_exits, find_invariants_bb): Likewise.
 394         * loop-iv.c (simplify_using_assignment): Likewise.
 395         * loop.c (compute_luids, loop_optimize, scan_loop, libcall_other_reg,
 396         libcall_benefit, skip_consec_insns, move_movables, prescan_loop,
 397         find_and_verify_loops, labels_in_range_p, for_each_insn_in_loop,
 398         loop_bivs_init_find, strength_reduce, check_insn_for_bivs,
 399         check_insn_for_givs, check_final_value, update_giv_derive,
 400         basic_induction_var, product_cheap_p, check_dbra_loop,
 401         loop_insn_first_p, last_use_this_basic_block,
 402         canonicalize_condition, get_condition, loop_regs_scan, load_mems,
 403         try_copy_prop, LOOP_BLOCK_NUM, loop_dump_aux): Likewise.
 404         * modulo-sched.c (doloop_register_get, find_line_note, sms_schedule,
 405         sms_schedule_by_order): Likewise.
 406         * optabs.c (emit_no_conflict_block, emit_libcall_block): Likewise.
 407         * postreload.c (reload_cse_simplify_operands, reload_combine,
 408         reload_cse_move2add): Likewise.
 409         * predict.c (can_predict_insn_p, estimate_probability,
 410         expected_value_to_br_prob, process_note_predictions): Likewise.
 411         * print-rtl.c (print_rtx, print_rtl, print_rtl_single): Likewise.
 412         * profile.c (branch_prob): Likewise.
 413         * ra-build.c (live_out_1, livethrough_conflicts_bb,
 414         detect_webs_set_in_cond_jump): Likewise.
 415         * ra-debug.c (ra_print_rtx_object, ra_debug_insns,
 416         ra_print_rtl_with_bb): Likewise.
 417         * ra-rewrite.c (insert_stores, rewrite_program2): Likewise.
 418         * recog.c (next_insn_tests_no_inequality, find_single_use,
 419         split_all_insns, peephole2_optimize, if_test_bypass_p): Likewise.
 420         * reg-stack.c (next_flags_user, record_label_references,
 421         emit_swap_insn, swap_rtx_condition, subst_stack_regs,
 422         compensate_edge, convert_regs_1): Likewise.
 423         * regclass.c (scan_one_insn): Likewise.
 424         * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2,
 425         regmove_optimize, fixup_match_1, single_set_for_csa,
 426         combine_stack_adjustments_for_block): Likewise.
 427         * regrename.c (build_def_use, copyprop_hardreg_forward_1): Likewise.
 428         * reload.c (find_reloads, find_reloads_address_1, subst_reloads,
 429         find_equiv_reg): Likewise.
 430         * reload1.c (reload, calculate_needs_all_insns, set_label_offsets,
 431         reload_as_needed, emit_input_reload_insns, do_output_reload,
 432         delete_output_reload, delete_address_reloads_1, fixup_abnormal_edges):
 433         Likewise.
 434         * reorg.c (find_end_label, emit_delay_sequence,
 435         delete_from_delay_slot, delete_scheduled_jump, optimize_skip,
 436         get_jump_flags, rare_destination, mostly_true_jump,
 437         try_merge_delay_insns, redundant_insn, own_thread_p,
 438         fill_simple_delay_slots, fill_slots_from_thread,
 439         fill_eager_delay_slots, relax_delay_slots, make_return_insns,
 440         dbr_schedule): Likewise.
 441         * resource.c (find_basic_block, next_insn_no_annul,
 442         find_dead_or_set_registers, mark_target_live_regs): Likewise.
 443         * rtl.h (RTX_PREV): Likewise.
 444         * rtlanal.c (global_reg_mentioned_p, no_labels_between_p,
 445         no_jumps_between_p, reg_used_between_p, reg_referenced_between_p,
 446         reg_set_p, find_last_value, dead_or_set_regno_p, find_reg_fusage,
 447         find_regno_fusage, pure_call_p, replace_label, rtx_referenced_p_1,
 448         tablejump_p, computed_jump_p, insns_safe_to_move_p,
 449         find_first_parameter_load, can_hoist_insn_p): Likewise.
 450         * sched-deps.c (get_condition, add_dependence, sched_analyze_2,
 451         sched_analyze_insn, sched_analyze, add_forward_dependence): Likewise.
 452         * sched-ebb.c (fix_basic_block_boundaries, add_deps_for_risky_insns,
 453         schedule_ebbs): Likewise.
 454         * sched-rgn.c (is_cfg_nonregular, find_conditional_protection,
 455         is_conditionally_protected, can_schedule_ready_p,
 456         add_branch_dependences, debug_dependencies): Likewise.
 457         * stmt.c (emit_nop, expand_start_case, emit_jump_if_reachable):
 458         Likewise.
 459         * unroll.c (unroll_loop, copy_loop_body, back_branch_in_range_p,
 460         reg_dead_after_loop, loop_find_equiv_value, loop_iterations,
 461         set_dominates_use, ujump_to_loop_cont): Likewise.
 462         * var-tracking.c (prologue_stack_adjust, vt_initialize): Likewise.
 463         * varasm.c (output_constant_pool_1): Likewise.
 464
 465 2004-07-08  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
 466
 467         * tree-scalar-evolution.c: New file.
 468         * tree-scalar-evolution.h: New file.
 469         * tree-ssa-loop-niter.c: New file.
 470         * Makefile.in (SCEV_H): New.
 471         (tree-scalar-evolution.o, tree-ssa-loop-niter.o): Add new files.
 472         * cfgloop.h (struct loop): Add bounds field.
 473         * tree-flow.h (struct tree_niter_desc): New type.
 474         (number_of_iterations_cond, number_of_iterations_exit,
 475         loop_niter_by_eval, find_loop_niter_by_eval,
 476         estimate_numbers_of_iterations, can_count_iv_in_wider_type,
 477         free_numbers_of_iterations_estimates): Declare.
 478         * tree.h (lower_bound_in_type, upper_bound_in_type): Declare.
 479         * params.def (PARAM_MAX_ITERATIONS_TO_TRACK): New parameter.
 480         * doc/invoke.texi (max-iterations-to-track): Document.
 481
 482 2004-07-08  Kaz Kojima  <kkojima@gcc.gnu.org>
 483
 484         * config/sh/sh.c (sh_va_arg): Initinalize lab_over.
 485         * config/sh/sh.h (CONST_OK_FOR_J16): Use parentheses.
 486         (MODE_AFTER): Add cast appropriately.
 487         * config/sh/sh.md (movdi splitter): Likewise.
 488         (casesi_worker_2): Add const qualifier appropriately.
 489         (eh_return): Remove unused variable.
 490         (insv): Initialize v;
 491
 492 2004-07-08  Richard Henderson  <rth@redhat.com>
 493
 494         * config/mmix/mmix-protos.h (mmix_expand_builtin_va_arg): Remove.
 495         * config/mmix/mmix.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 496         (mmix_gimplify_va_arg_expr): Rewrite from mmix_expand_builtin_va_arg.
 497         * config/mmix/mmix.h (EXPAND_BUILTIN_VA_ARG): Remove.
 498         (FRAME_POINTER_REQUIRED): Use current_function_has_nonlocal_label.
 499
 500         * config/m32r/m32r-protos.h (m32r_va_arg): Remove.
 501         * config/m32r/m32r.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 502         (m32r_gimplify_va_arg_expr): Rewrite from m32r_va_arg.
 503         * config/m32r/m32r.h (EXPAND_BUILTIN_VA_ARG): Remove.
 504
 505         * config/iq2000/iq2000-protos.h (iq2000_va_arg): Remove.
 506         * config/iq2000/iq2000.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 507         (iq2000_gimplify_va_arg_expr): Rewrite from iq2000_va_arg.
 508         * config/iq2000/iq2000.h (EXPAND_BUILTIN_VA_ARG): Remove.
 509
 510         * config/frv/frv-protos.h (frv_expand_builtin_va_arg): Remove.
 511         * config/frv/frv.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 512         (frv_gimplify_va_arg_expr): Rewrite from frv_expand_builtin_va_arg.
 513         * config/frv/frv.h (EXPAND_BUILTIN_VA_ARG): Remove.
 514
 515         * config/i860/i860-protos.h (i860_va_arg): Remove.
 516         * config/i860/i860.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 517         (i860_gimplify_va_arg_expr): Rewrite from i860_va_arg.
 518         * config/i860/i860.h (EXPAND_BUILTIN_VA_ARG): Remove.
 519
 520 2004-05-31  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
 521
 522         * system.h: Prototype getpagesize if missing.
 523         * configure.ac: Add getpagesize to gcc_AC_CHECK_DECLS.
 524         * configure: Regenerate.
 525         * config.in: Regenerate.
 526
 527 2004-07-08  Richard Henderson  <rth@redhat.com>
 528
 529         * config/fr30/fr30-protos.h (fr30_va_arg): Remove.
 530         * config/fr30/fr30.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 531         (fr30_gimplify_va_arg_expr): New.
 532         (fr30_pass_by_reference, fr30_pass_by_value, fr30_va_arg): Remove.
 533         * config/fr30/fr30.h (EXPAND_BUILTIN_VA_ARG): Remove.
 534
 535 2004-07-08  Vladimir Makarov  <vmakarov@redhat.com>
 536
 537         PR target/16414
 538         * config/ia64/ia64.c (ia64_dfa_new_cycle): Fix typo in comparison
 539         of asm_noperands result.
 540
 541 2004-07-08  Richard Henderson  <rth@redhat.com>
 542
 543         * config/cris/cris-protos.h (cris_expand_builtin_va_arg): Remove.
 544         * config/cris/cris.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 545         (cris_gimplify_va_arg_expr): Rewrite from cris_expand_builtin_va_arg.
 546         * config/cris/cris.h (EXPAND_BUILTIN_VA_ARG): Remove.
 547
 548 2004-07-08  Richard Henderson  <rth@redhat.com>
 549
 550         * builtins.c (ind_gimplify_va_arg_expr): New.
 551         * tree.h (ind_gimplify_va_arg_expr): Declare.
 552         * config/arc/arc.c (arc_gimplify_va_arg_expr): Use it.
 553
 554 2004-07-08  Jan Beulich  <jbeulich@novell.com>
 555
 556         * expmed.c (extract_bit_field): Correct condition to use vec_extract
 557         patterns also on vector elements other than the first one.
 558         * config/i386/i386.md (vec_extractv2df, vec_extractv4sf): Add missing
 559         break statements.
 560
 561 2004-07-08  Geoffrey Keating  <geoffk@apple.com>
 562
 563         * config/rs6000/darwin-ldouble.c: Correct reference
 564         to the Linnainmaa paper.
 565
 566 2004-07-08  Richard Henderson  <rth@redhat.com>
 567
 568         * config/arc/arc-protos.h (arc_va_arg): Remove.
 569         * config/arc/arc.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 570         (arc_gimplify_va_arg_expr): Rewrite from arc_va_arg.
 571         * config/arc/arc.h (EXPAND_BUILTIN_VA_ARG): Remove.
 572
 573         * config/c4x/c4x-protos.h (c4x_va_arg): Remove.
 574         * config/c4x/c4x.c (TARGET_GIMPLIFY_VA_ARG_EXPR): New.
 575         (c4x_gimplify_va_arg_expr): Rewrite from c4x_va_arg.
 576         * config/c4x/c4x.h (EXPAND_BUILTIN_VA_ARG): Remove.
 577
 578 2004-07-08  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 579
 580         * pa.md (prefetch_32, prefetch_64): Simplify constraint checks.
 581
 582 2004-07-08  Zack Weinberg  <zack@codesourcery.com>
 583
 584         * c-decl.c (static_ctors, static_dtors): Make static.
 585         (pop_file_scope): Call c_common_write_pch and
 586         cgraph_finalize_compilation_unit here.
 587         (build_cdtor): Moved here from c-objc-common.c; simplify.
 588         (c_write_global_declarations_1): Clarify comment.
 589         (c_write_global_declarations): Close the external scope before
 590         doing anything else.  Call build_cdtor, cgraph_optimize, and
 591         mudflap_finish_file here.
 592         * c-lang.c (finish_file): Don't call c_objc_common_finish_file.
 593         Clarify comment.
 594         * c-objc-common.c: No need to include cgraph.h.
 595         (build_cdtor): Moved to c-decl.c.
 596         (c_objc_common_finish_file): Delete.
 597         * c-tree.h: Update to match.
 598         * objc/objc-act.c (finish_file): Don't call c_objc_common_finish_file.
 599         (generate_static_references): Set TREE_USED before calling finish_decl.
 600         Eliminate unnecessary dummy declaration.  Call rest_of_decl_compilation
 601         on the static_instances_decl.
 602
 603 2004-07-08  Zack Weinberg  <zack@codesourcery.com>
 604
 605         * c-decl.c (pop_scope): Do not set DECL_CONTEXT on file-scope
 606         decls when there is only one input translation unit.
 607         * langhooks.c (lhd_set_decl_assembler_name): Partially revert
 608         change of 2004-07-05; do not treat declarations with
 609         DECL_CONTEXT a TRANSLATION_UNIT_DECL specially.
 610         * opts.c (cur_in_fname): Delete.
 611         * opts.h: Likewise.
 612         * tree.c: Revert changes of 2004-07-05; no special treatment
 613         for TRANSLATION_UNIT_DECLs.
 614         * Makefile.in (tree.o): Update dependencies.
 615
 616 2004-07-08  Roger Sayle  <roger@eyesopen.com>
 617
 618         * builtins.c (fold_builtin_strcpy): Merge functionality from
 619         simplify_builtin_strcpy.  Add additional len argument.  No longer
 620         static.  Remove function prototype.
 621         (fold_builtin_strncpy): Likewise integrate functionality from
 622         simplify_builtin_strncpy.  Add additional slen argument.  No
 623         longer static.  Remove function prototype.
 624         (simplify_builtin_strcy, simplify_builtin_strncpy): Delete.
 625         (simplify_builtin_fputs): Rename to fold_builtin_fputs.  Change
 626         types of "ignore" and "unlocked" parameters to bool.
 627         (fold_builtin_1):  Add additional ignore argument.  Call renamed
 628         fold_builtin_fputs to simplify GCC "fputs" and "fputs_unlocked"
 629         builtins.  Update arguments to fold_builtin_strncpy and
 630         fold_builtin_strcpy.  Add function prototype.
 631         (fold_builtin): Add additional Boolean ignore argument to pass
 632         to fold_builtin_1.
 633         (simplify_builtin): Call fold_builtin_fputs, fold_builtin_strcpy
 634         and fold_builtin_strncpy instead of simplify_builtin_fputs,
 635         simplify_builtin_strcpy and simplify_builtin_strncpy respectively.
 636
 637         * expr.h (simplify_builtin_fputs, simplify_builtin_strcpy,
 638         simplify_builtin_strncpy): Delete function prototypes.
 639         * tree.h (fold_builtin_fputs, fold_builtin_strcpy,
 640         fold_builtin_strncpy): Add function prototypes here.
 641         (fold_builtin): Update function prototype with new "bool ignore".
 642
 643         * tree-ssa-ccp.c (ccp_fold): Update call to fold_builtin.
 644         (ccp_fold_builtin):  Update call to fold_builtin.  Call
 645         fold_builtin_fputs, fold_builtin_strcpy and fold_builtin_strncpy
 646         instead of simplify_builtin_fputs, simplify_builtin_strcpy and
 647         simplify_builtin_strncpy respectively.
 648         * fold-const.c (fold): Update call to fold_builtin.
 649
 650 2004-07-08  Alexandre Oliva  <aoliva@redhat.com>
 651
 652         * builtins.c (expand_builtin_stpcpy): Un-simplify decay of stpcpy
 653         to strcpy.
 654
 655         * expr.h (FUNCTION_ARG_PARTIAL_NREGS): Default to 0.
 656         (FUNCTION_ARG_PASS_BY_REFERENCE): Likewise.
 657         (FUNCTION_ARG_CALLEE_COPIES): Likewise.
 658         * calls.c: Remove ifdefs of macros above.
 659         * functions.c: Likewise.
 660         * expr.c: Likewise.
 661
 662 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
 663
 664         * config/sparc/sparc.md (UNSPECV_GOTO_V9): Delete.
 665         (arch attribute): Delete.
 666         (current_function_calls_alloca attribute): Rename into calls_alloca.
 667         (calls_eh_return): New attribute.
 668         (leaf_function): Likewise.
 669         (length attribute): Fix formula for sibcalls.
 670         (return insn): Correctly compute the 'length' attribute.
 671         (do_builtin_setjmp_setup): Adjust use of current_function_calls_alloca.
 672
 673 2004-07-08  Richard Henderson  <rth@redhat.com>
 674
 675         * tree-cfg.c (make_exit_edges): Use get_call_expr_in.
 676         (remove_useless_stmts_1, is_ctrl_altering_stmt): Likewise.
 677         (tree_block_ends_with_call_p, need_fake_edge_p): Likewise.
 678         * tree-eh.c (lower_eh_constructs_1): Likewise.
 679         * tree-sra.c (sra_walk_modify_expr): Likewise.
 680         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
 681         (eliminate_unnecessary_stmts): Likewise.
 682         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
 683         * tree-tailcall.c (optimize_tail_call): Likewise.
 684         * tree-ssa-ccp.c (get_rhs, set_rhs): Reorg to use switch.
 685
 686 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
 687             Jakub Jelinek  <jakub@redhat.com>
 688
 689         * config/i386/i386.c (override_options): Enable
 690         SSE prefetches with -mtune, as long as we are
 691         compiling for i686 or higher.  All i686 processors
 692         accept SSE prefetches as NOPS, some i586's don't.
 693
 694 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
 695
 696         PR target/10567
 697         * config/sparc/sparc.md (update_return): Honor flag_delayed_branch.
 698
 699 2004-07-08  Diego Novillo  <dnovillo@redhat.com>
 700
 701         * tree-ssa-operands.c (get_asm_expr_operands): Fix thinkos in
 702         the handling of clobbering ASM_EXPRs.
 703
 704 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
 705
 706         PR target/16430
 707         * config/sparc/sparc.c (function_value): In 64-bit mode,
 708         return the aggregates larger than 16 bytes like unions.
 709
 710 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
 711
 712         PR target/16199
 713         * config/sparc/sparc.c (sparc_emit_set_symbolic_const64): When
 714         'temp' is zero, generate new pseudos as needed and emit the
 715         sequence of insns in single-assignment form.  Resync comments
 716         with code.
 717         (sparc_emit_set_const64): Pass zero as 'temp' argument to above
 718         function before reload.
 719
 720 2004-07-08  Nathan Sidwell  <nathan@codesourcery.com>
 721
 722         * vec.c (vec_assert_fail): Remove duplicate 'function'.
 723
 724         * vec.c (vec_p_reserve, vec_o_reserve): Allocation is signed.
 725
 726         * vec.h (VEC_alloc, VEC_embedded_size, VEC_embedded_init):
 727         Allocation is signed.
 728         (VEC_reserve): Return flag, allocation is signed.
 729
 730 2004-07-08  Richard Henderson  <rth@redhat.com>
 731
 732         * tree-ssa-ccp.c (fold_stmt): Get type directly from
 733         OBJ_TYPE_REF_OBJECT.
 734
 735 2004-07-08  Joseph S. Myers  <jsm@polyomino.org.uk>
 736             Neil Booth  <neil@daikokuya.co.uk>
 737
 738         PR c/2511
 739         PR c/3325
 740         * c-decl.c (finish_struct): Ensure bit-fields are given the
 741         correct type.
 742         * c-common.c (c_common_signed_or_unsigned_type): For C, require
 743         the precision to match as well as the mode.
 744         * expr.c (reduce_to_bit_field_precision): New function.
 745         (expand_expr_real_1): Reduce expressions of bit-field type to
 746         proper precision.
 747         * langhooks.h (reduce_bit_field_operations): New hook.
 748         * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
 749         Define.
 750         * c-lang.c, objc/objc-lang.c
 751         (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define.
 752         * objc/objc-act.c (check_ivars): Convert types to bit-field types
 753         before checking.
 754         * tree.c (build_nonstandard_integer_type): New function.
 755         * tree.h (build_nonstandard_integer_type): New prototype.
 756         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't treat
 757         conversions between integer and boolean types as useless.
 758
 759 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
 760
 761         * c-common.c (c_common_nodes_and_builtins): Do not
 762         create __builtin_ptrdiff_t and __builtin_size_t.
 763
 764 2004-07-08  Andrew Pinski  <apinski@apple.com>
 765
 766         * Makefile.in (libbackend.o): Add -combine to the gcc
 767         command line.
 768
 769 2004-07-08  Nick Clifton  <nickc@redhat.com>
 770
 771         * config/stormy16/t-stormy16 (TARGET_LIBGCC2_CFLAGS): Define.
 772         Set to -Os.
 773
 774 2004-07-08  Richard Henderson  <rth@redhat.com>
 775
 776         * except.c (expand_eh_region_start, expand_eh_region_end,
 777         expand_eh_handler, expand_eh_region_end_cleanup,
 778         expand_start_all_catch, expand_start_catch, expand_end_catch,
 779         expand_end_all_catch, expand_eh_region_end_allowed,
 780         expand_eh_region_end_must_not_throw, expand_eh_region_end_throw,
 781         expand_eh_region_end_fixup): Remove.
 782         * stmt.c (struct nesting): Remove stack_level, innermost_stack_block,
 783         cleanups, outer_cleanups, label_chain, exception_region.
 784         (struct goto_fixup): Remove stack_level, cleanup_list_list.
 785         (struct label_chain): Remove.
 786         (struct stmt_status): Remove x_stack_block_stack.
 787         (stack_block_stack, expand_goto_internal, expand_fixup, expand_fixups,
 788         fixup_gotos, save_stack_pointer, expand_decl_cleanup,
 789         expand_decl_cleanup_eh, expand_cleanups, start_cleanup_deferral,
 790         end_cleanup_deferral, last_cleanup_this_contour,
 791         containing_blocks_have_cleanups_or_stack_level,
 792         any_pending_cleanups): Remove.
 793         (expand_null_return_1): Take no arguments.
 794         (expand_label, expand_naked_return, expand_return,
 795         expand_start_bindings_and_block, expand_end_bindings, expand_decl,
 796         expand_anon_union_decl, expand_start_case, pushcase, pushcase_range,
 797         expand_end_case_type): Don't use any of them.
 798         * calls.c (expand_call): Likewise.
 799         * dojump.c (do_jump): Likewise.
 800         * function.c (expand_function_end): Likewise.
 801         * expr.c (store_expr, expand_expr_real_1): Likewise.
 802         (safe_from_p): Don't handle WITH_CLEANUP_EXPR, CLEANUP_POINT_EXPR.
 803         (expand_expr_real_1): Don't handle WITH_CLEANUP_EXPR,
 804         CLEANUP_POINT_EXPR, TARGET_EXPR, TRY_CATCH_EXPR, CATCH_EXPR,
 805         EH_FILTER_EXPR, TRY_FINALLY_EXPR, GOTO_SUBROUTINE_EXPR.
 806         * fold-const.c (fold_checksum_tree): Use first_rtl_op.
 807         * gengtype.c (adjust_field_tree_exp): Remove rtl op handling.
 808         * gimplify.c (gimplify_cleanup_point_expr): Renumber operands
 809         for WITH_CLEANUP_EXPR.
 810         (gimple_push_cleanup): Likewise.
 811         * integrate.c (copy_decl_for_inlining): Don't DECL_TOO_LATE.
 812         * print-tree.c (print_node): Likewise.
 813         * tree-pretty-print.c (dump_generic_node): Remove GOTO_SUBROUTINE_EXPR.
 814         * tree.c (first_rtl_op): Always just TREE_CODE_LENGTH.
 815         (has_cleanups): Remove GOTO_SUBROUTINE_EXPR.
 816         * tree.def (WITH_CLEANUP_EXPR): Remove op1 and op2.
 817         (GOTO_SUBROUTINE_EXPR): Remove.
 818         * tree.h (WITH_CLEANUP_EXPR_RTL): Remove.
 819         (DECL_TOO_LATE): Remove.
 820         * except.h, tree.h: Update decls.
 821
 822 2004-07-08  Paolo Bonzini  <bonzini@gnu.org>
 823
 824         * explow.c (optimize_save_area_alloca): Do not accept parameters.
 825         * passes.c (rest_of_handle_final): Handle symout.
 826         (rest_of_handle_new_regalloc, rest_of_handle_old_regalloc):
 827         Push timevar here.
 828         (rest_of_handle_sched): Break out SMS.  Remove ifs for
 829         flag_schedule_insns and flag_modulo_sched.
 830         (rest_of_handle_addressof, rest_of_handle_cse2): Garbage
 831         collect at the end.
 832         (rest_of_handle_gcse2): Put under timevar TV_RELOAD_CSE_REGS.
 833         (rest_of_handle_partition_blocks, rest_of_handle_sms,
 834         rest_of_handle_if_after_reload, rest_of_handle_peephole2,
 835         rest_of_handle_mode_switching, rest_of_handle_jump,
 836         rest_of_handle_guess_branch_prob, rest_of_handle_eh,
 837         rest_of_handle_jump2, rest_of_handle_postreload,
 838         rest_of_handle_flow2, rest_of_clean_state,
 839         rest_of_handle_shorten_branches,
 840         rest_of_handle_prologue_epilogue,
 841         rest_of_handle_branch_target_load_optimize): New.
 842         (rest_of_compilation): Call the above.  Remove ggc_collect
 843         calls moved to rest_of_handle_*.
 844         * rtl.h (optimize_save_area_alloca): Do not accept parameters.
 845
 846         * dwarf2out.c (dwarf2out_begin_prologue): Use TREE_NOTHROW.
 847         * except.c (set_nothrow_function_flags): Set TREE_NOTHROW.
 848         * except.h (set_nothrow_function_flags): Update comment.
 849         * function.c (current_function_nothrow): Remove.
 850         * output.h (current_function_nothrow): Remove.
 851         * passes.c (rest_of_compilation): Do not set TREE_NOTHROW.
 852         * config/arm/arm.c (arm_compute_func_type): Use TREE_NOTHROW.
 853
 854 2004-07-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
 855
 856         PR bootstrap/16326
 857         * reorg.c: Revert 2004-06-30 change.
 858         (find_end_label): If HAVE_epilogue and !HAVE_return,
 859         return 0 instead of creating a label at the end of the insn chain.
 860         (optimize_skip): Account for the failure mode of find_end_label.
 861         (fill_simple_delay_slots): Likewise.
 862         (fill_slots_from_thread): Likewise.
 863         (relax_delay_slots): Likewise.
 864
 865 2004-07-08  Diego Novillo  <dnovillo@redhat.com>
 866
 867         * tree-flow.h (addressable_vars): Declare.
 868         * tree-ssa-alias.c (addressable_vars): Define.
 869         (setup_pointers_and_addressables): Add addressable variables
 870         to addressable_vars.
 871         * tree-ssa-operands.c (get_stmt_operands): Move
 872         handling of ASM_EXPRs ...
 873         (get_asm_expr_operands): ... here.
 874         When the ASM_EXPR clobbers memory, also clobber addressable
 875         variables.
 876         * tree-ssa.c (init_tree_ssa): Initialize addressable_vars.
 877         (delete_tree_ssa): Reset addressable_vars.
 878
 879 2004-07-07  Jan Beulich  <jbeulich@novell.com>
 880             Richard Henderson  <rth@redhat.com>
 881
 882         * varasm.c (assemble_variable): Use assemble_zeros for
 883         zero-initialized variables.
 884         (categorize_decl_for_section): Honor flag_zero_initialized_in_bss
 885         for SECCAT_BSS and SECCAT_TBSS.
 886
 887 2004-07-07  Jan Beulich  <jbeulich@novell.com>
 888
 889         * varasm.c (asm_output_bss): Don't declare unless BSS_SECTION_ASM_OP.
 890
 891         * expmed.c (emit_store_flag): Also special-case double-word
 892         (in-)equality comparison against -1.
 893
 894         * config/i386/i386.c (ix86_gimplify_va_arg): Don't need temporary for
 895         passing arguments the containers for which are registers.
 896
 897         * calls.c (emit_library_call_value_1): Use mode of function parameter
 898         rather than that of argument since constants have none.
 899
 900 2004-07-08  Alexandre Oliva  <aoliva@redhat.com>
 901
 902         Introduce H8SX support.
 903         * expr.c (expand_strcpy): Renamed and moved to...
 904         * builtins.c (expand_movstr): ... here.  Tweak.
 905         (expand_builtin_strcpy): Adjust.  Use movstr if len can't be
 906         computed or has side effects.
 907         (expand_builtin_stpcpy): Likewise.  Use strcpy if return value is
 908         unused, or if mempcpy fails.  Adjust the return value in the
 909         latter case.  Use movstr if everything else fails.
 910         * doc/md.texi (movstr): Document.
 911         (movmemM, clrmemM): Fix explanation of memory block operands.
 912         * config/h8300/h8300.md (stpcpy): Renamed to...
 913         (movstr): ... this.  Adjust.
 914         2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
 915         * config/h8300/h8300.md: Rename movstr*, except for movstrict*, to
 916         movmem* and clrstr* to clrmem*.
 917         2004-06-27  Alexandre Oliva  <aoliva@redhat.com>
 918         * config/h8300/h8300.c (h8300_reg_class_from_letter): Map 'D' to
 919         GENERAL_REGS, always.
 920         (h8300_swap_into_er6, h8300_swap_into_er6): Handle the case of
 921         getting the stack pointer as addr.
 922         * config/h8300/h8300.h (PREDICATE_CODES): Remove constant rtxes
 923         from general_operand_dst.
 924         * config/h8300/h8300.md (movmd_internal_normal): New, normal-mode
 925         variant of...
 926         (movmd_internal): ... this.  Add modes to operands.  Disparage `D'
 927         instead of requiring it to match only before reload.
 928         (stpcpy_internal_normal): New, normal-mode variant of...
 929         (stpcpy_internal): ... this.  Add modes to operands.  Disparage
 930         `D' instead of requiring it to match only before reload.
 931         * config/h8300/h8300-protos.h (h8300_legitimate_address_p): Add
 932         mode argument.
 933         * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Pass it to...
 934         * config/h8300/h8300.c (h8300_legitimate_address_p): Pass it to
 935         h8300_get_index.
 936         * config/h8300/h8300.md (attr type): Add call.
 937         (attr can_delay): If type is call, set it no.
 938         (call, call_value): Set type to call.
 939         2004-06-21  Alexandre Oliva  <aoliva@redhat.com>
 940         * config/h8300/h8300.md (logicalhi3_sn, logicalsi3_sn): New.
 941         2004-06-16  Alexandre Oliva  <aoliva@redhat.com>
 942         * tree.c (get_narrower): Don't narrow integral types into
 943         non-integral types.
 944         * config/h8300/h8300.c (h8300_expand_epilogue): Initialize
 945         frame_size *before* the first use.
 946         * config/h8300/h8300.md (movstrictqi): Reintroduce post-increment
 947         on input.
 948         (peephole2): Don't widen instructions that push SP.  Move
 949         decrement of SP to the end of all stm-generating peepholes.
 950         2003-07-24  Richard Sandiford  <rsandifo@redhat.com>
 951         * config/h8300/h8300.md (insv): Prefer to use AND to clear a bitfield
 952         and OR to set it to all ones.
 953         2003-07-24  Richard Sandiford  <rsandifo@redhat.com>
 954         * config/h8300/h8300.md (can_delay): Default to "no" for bit branches.
 955         (call, call_value): Set can_delay to "no".
 956         2003-07-22  Richard Sandiford  <rsandifo@redhat.com>
 957         * config/h8300/h8300.md (extzv): Make subreg check more robust.
 958         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
 959         * config/h8300/h8300.md (*brabit): Remove.
 960         * config/h8300/h8300.md (*brabc, *brabs): Remove mode from
 961         zero_extract.  Use bit_memory_operand as the predicate for
 962         operand 1 and 'WU' as the constraint.  Check the difference
 963         between the base length and the final one when deciding which
 964         type of branch to use.
 965         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
 966         * config/h8300/h8300.md (extzv): Remove mode from operands 0 and 1.
 967         Use convert_move to extend the result for TARGET_H8300SX.  Check
 968         for QImode memory references.  Optimize the case where the
 969         destination is a paradoxical subreg.
 970         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
 971         * config/h8300/h8300.md (*movsf_h8sx): Add an r <- G alternative.
 972         * config/h8300/h8300.md (andqi): Remove bclr from h8sx version.
 973         2003-07-21  Richard Sandiford  <rsandifo@redhat.com>
 974         * config/h8300/h8300.md: Include mova.md
 975         (length_table): Add mova and mova_zero.
 976         * config/h8300/h8300.c (print_operand): Handle '%o'.  Print a length
 977         after all constant addresses for '%R', '%X', '%T' and '%S'.
 978         (h8300_mova_length): New function.
 979         (h8300_insn_length_from_table): Use it to handle mova and mova_zero.
 980         * config/h8300/t-h8300 (mova.md): Generate from genmova.sh.  Add to
 981         dependencies for s-config, etc.
 982         * config/h8300/gemova.sh: New file.
 983         * config/h8300/mova.md: Generated.
 984         2003-07-20  Alexandre Oliva  <aoliva@redhat.com>
 985         * config/h8300/h8300.c (h8300_bitfield_length): New.
 986         (nibble_operand): Adjust.
 987         (h8300_binary_length): Handle conditional binary op.
 988         (h8300_insn_length_from_table): Handle bitfield and bitbranch.
 989         * config/h8300/h8300.h: Change constraints W# and Y# to P#>X and
 990         P#<X, respectively.  The original P is now IP4>X.  Introduced P#>0
 991         and P#<0, unused so far.  W and Y are now prefixes to multi-letter
 992         constraints.  WU is introduced as a variant of U that requires a
 993         mem, and is therefore considered an EXTRA_MEMORY_CONSTRAINT.
 994         * config/h8300/h8300.md (attr type): Added bitbranch.
 995         (attr length_table): Added bitfield and bitbranch.
 996         (attr length): Compute bitbranch length.
 997         (andqi): Separate pattern for H8300SX.  Use bfld for loading the
 998         least-significant bit of a byte.
 999         (brabit, brabc, brabs): New.
1000         (insv, extzv): Emit bfst and bfld on H8300SX.
1001         (bfld, bfst, seq, sne): New.
1002         (bstzhireg, cmpstz, bstz, bistz): New.
1003         (cmpcondbset, condbset, cmpcondbclr, condbclr): New.
1004         (cmpcondbsetreg, condbsetreg, cmpcondbclrreg, condbclrreg): New.
1005         2003-07-11  Richard Sandiford  <rsandifo@redhat.com>
1006         * config/h8300/h8300.c (h8sx_binary_memory_operator): New function.
1007         (h8sx_unary_memory_operator): New function.
1008         * config/h8300/h8300.h (EXTRA_MEMORY_CONSTRAINT): Disable.
1009         (PREDICATE_CODES): Add h8sx_{unary,binary}_memory_operator.
1010         * config/h8300/h8300.md: Add peepholes to combine reloads and
1011         arithmetic insns.
1012         2003-07-10  Richard Sandiford  <rsandifo@redhat.com>
1013         * config/h8300/h830.md (cmpqi): Use 'i' rather than 'n' in constraints.
1014         (*cmphi_h8300hs, *addqi3, *addhi3_h8sx, subhi3): Likewise.
1015         (and?i, ior?i, xor?i): Likewise.
1016         2003-07-10  Richard Sandiford  <rsandifo@redhat.com>
1017         * config/h8300/h8300.c: Move enums and prototypes to head of file.
1018         Various whitespace fixes.
1019         (h8300_constant_length): New function, split out from...
1020         (h8300_displacement_size): ...here.  Rename h8300_displacement_length.
1021         (h8300_classify_operand): Use IN_RANGE.
1022         (h8300_classify_operand): Use h8300_constant_length.
1023         (h8300_short_move_mem_p): Tighten size check.
1024         (h8sx_mergeable_memrefs_p): Tighten equality check.
1025         2003-06-30  Richard Sandiford  <rsandifo@redhat.com>
1026         * config/h8300/h8300.h (TARGET_CPU_CPP_BUILTINS): Define __H8300SX__
1027         for -msx.
1028         * config/h8300/crti.asm: Use .h8300sx or .h8300sxn for -msx code.
1029         * config/h8300/crtn.asm: Likewise.
1030         * config/h8300/lib1funcs.asm: Likewise.  Use 32-bit pointers
1031         if __H8300SX__ is defined.
1032         2003-06-27  Richard Sandiford  <rsandifo@redhat.com>
1033         * config/h8300/h8300-protos.h (h8300_get_index): Add mode parameter.
1034         * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Update accordingly.
1035         (GO_IF_MODE_DEPENDENT_ADDRESS): Treat POST_DEC, PRE_INC and indexed
1036         addresses as mode-dependent.
1037         * config/h8300/h8300.c (print_operand_address): Update call to
1038         h8300_get_index.
1039         (h8300_get_index): Take a mode argument.  Rework to fix an
1040         earlier misunderstanding.
1041         2003-06-26  Richard Sandiford  <rsandifo@redhat.com>
1042         * config/h8300/h8300.c (zero_extendqisi2): Force the source operand
1043         into a register if TARGET_H8300SX.
1044         (*zero_extendqisi2_h8300hs, *extendqisi2_h8300): Disable for
1045         TARGET_H8300SX.  Also disable related define_splits.
1046         (*zero_extendqisi2_h8sx, *extendqisi2_h8sx): New patterns.
1047         2003-06-23  Richard Sandiford  <rsandifo@redhat.com>
1048         * config/h8300/h8300.c (h8300_rtx_costs): Add h8sx handling.
1049         2003-06-20  Richard Sandiford  <rsandifo@redhat.com>
1050         * config/h8300/h8300.h (OK_FOR_Z): New macro.
1051         (EXTRA_CONSTRAINT_STR): Check it.
1052         * config/h8300/h8300.c (h8300_classify_operand): Accept null
1053         class arguments.
1054         (h8300_insn_length_from_table): Handle LENGTH_TABLE_MOV_IMM4.
1055         * config/h8300/h8300.md (length_table): Add mov_imm4.
1056         (movqi, movhi): Add Z <- W4 alternatives to h8sx patterns.
1057         2003-06-20  Richard Sandiford  <rsandifo@redhat.com>
1058         * genattrtab.c (write_eligible_delay): Allow candidate_insn to
1059         be a label.
1060         * config/h8300/h8300.h (DELAY_SLOT_LENGTH): New macro.
1061         * config/h8300/h8300.c (h8300_reorg): New function.
1062         (TARGET_MACHINE_DEPENDENT_REORG): Define.
1063         * config/h8300/h8300.md (length): Subtract the length of the
1064         delay slot from (pc) when checking the range of forward branches.
1065         (delay_slot, can_delay): New attributes.
1066         (define_delay): Add bra/s handling.
1067         (movmd_internal, return_h8sx, *return_1): Set can_delay to no.
1068         (jump): Add delayed-branch handling.
1069         2003-06-17  Richard Sandiford  <rsandifo@redhat.com>
1070         * expr.c (expand_strcpy): New function.
1071         * builtins.c (expand_builtin_strcpy): Fall back on expand_strcpy.
1072         (expand_builtin_stpcpy): Likewise.
1073         * config/h8300/h8300-protos.h (h8sx_split_movmd): Remove.
1074         (h8300_swap_into_er6, h8300_swap_out_of_er6): Declare.
1075         * config/h8300/h8300.c (h8300_reg_class_from_letter): Tweak 'd'
1076         handling to improve register allocation for -fno-omit-frame-pointer.
1077         (h8sx_split_movmd): Delete, moving er6 handling into...
1078         (h8300_swap_into_er6, h8300_swap_out_of_er6): ...these new functions.
1079         * config/h8300/h8300.md (UNSPEC_STPCPY): New unspec constant.
1080         (movmd): Add calls to copy_rtx.
1081         (movmd_internal): In the second alternative, allow the initial and
1082         final destination registers to be different .  Update the splitter
1083         accordingly.  Call h8300_swap_into_er6 and h8300_swap_out_of_er6
1084         instead of h8sx_split_movmd.
1085         (stpcpy, movsd): New expanders.
1086         (movsd_internal): New define_insn.
1087         2003-06-13  Richard Sandiford  <rsandifo@redhat.com>
1088         * config/h8300/h8300-protos.h (h8300_reg_class_from_letter): Declare.
1089         (h8sx_emit_movmd, h8sx_split_movmd): Declare.
1090         * config/h8300/h8300.h (reg_class): Add COUNTER_REGS, SOURCE_REGS
1091         and DESTINATION_REGS.
1092         (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Update accordingly.
1093         (REGNO_REG_CLASS): Map er4, er5 and er6 to the new classes.
1094         (REG_CLASS_FROM_LETTER): Use h8300_reg_class_from_letter.
1095         (h8300_move_ratio): Declare.
1096         (MOVE_RATIO): Use it.
1097         * config/h8300/h8300.c (h8300_move_ratio): New variable.
1098         (h8300_init_once): Initialize it.
1099         (h8300_reg_class_from_letter): New function.
1100         (print_operand): Add an 'm' prefix for printing ".b", ".w" or ".l".
1101         (h8sx_emit_movmd, h8sx_split_movmd): New functions.
1102         * config/h8300/h8300.md (UNSPEC_MOVMD): New unspec constant.
1103         (COUNTER_REG, SOURCE_REG, DESTINATION_REG): New register constants.
1104         (movstrsi, movmd): New expanders.
1105         (movmd_internal): New insn.
1106         2003-06-06  Richard Sandiford  <rsandifo@redhat.com>
1107         * config/h8300/h8300.h (EXTRA_MEMORY_CONSTRAINT): Define.
1108         2003-06-04  Richard Sandiford  <rsandifo@redhat.com>
1109         * config/h8300/elf.h (LINK_SPEC): Use -m h8300sxnelf for -msx -mn.
1110         * config/h8300/h8300.c (asm_file_start): Use .h8300sxn likewise.
1111         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
1112         * config/h8300/h8300.c (nibble_operand): Fix warning.
1113         * config/h8300/h8300.md (movstricthi): Set adjust_length to no.
1114         (movsi_h8sx): Likewise here and the normal h8sx movhi pattern.
1115         (movsf_h8300h): Disable for TARGET_H8300SX.
1116         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
1117         * config/h8300/h8300.h (PREDICATE_CODES): Add h8300_ldm_parallel,
1118         h8300_stm_parallel and h8300_return_parallel.
1119         * config/h8300/h8300.c (h8300_push_pop, h8300_stack_offset_p,
1120         h8300_ldm_stm_regno, h8300_ldm_stm_parallel, h8300_ldm_parallel,
1121         h8300_stm_parallel, h8300_return_parallel): New functions.
1122         (h8300_expand_prologue): Don't enforce ldm/stm register alignment
1123         if TARGET_H8300SX.  Use h8300_push_pop.
1124         (h8300_expand_epilogue): Likewise.  Try to merge the return insn
1125         and final pop when generating h8sx code.  Always emit some form
1126         of return insn.
1127         * config/h8300/h8300.md: Don't enforce register alignment in
1128         stm peepholes if TARGET_H8300SX.
1129         (ldm_h8300s, stm_h8300s, return_h8sx): New patterns.
1130         (ldm_h8300s_[234], stm_h8300_[234]): Disable.
1131         (epilogue): Expect h8300_expand_epilogue to emit a return insn.
1132         2003-06-03  Richard Sandiford  <rsandifo@redhat.com>
1133         * config/h8300/t-h8300 (MULTILIB_OPTIONS): Add a -msx multilib.
1134         (MULTILIB_DIRNAMES): Add a directory for it.
1135         (MULTILIB_MATCHES): Delete.
1136         2003-05-28  Richard Sandiford  <rsandifo@redhat.com>
1137         * final.c (walk_alter_subreg): Handle addresses with subregs
1138         inside a ZERO_EXTEND or AND.
1139         * config/h8300/h8300-protos.h (h8300_get_index): Declare.
1140         * config/h8300/h8300.h (INDEX_REG_CLASS): Set to GENERAL_REGS
1141         if TARGET_H8300SX.
1142         (GO_IF_LEGITIMATE_ADDRESS): Use h8300_get_index.
1143         * config/h8300/h8300.c (print_operand_address): Handle @(dd,RnL.b),
1144         @(dd,Rn.w) and @(dd,ERn.L).
1145         (h8300_displacement_size): Take the whole address as argument.
1146         (h8300_classify_operand, h8300_short_move_mem_p): Adjust accordingly.
1147         2003-05-28  Richard Sandiford  <rsandifo@redhat.com>
1148         * config/mips/mips-protos.h (h8300_operands_match_p): Declare.
1149         (h8sx_mergeable_memrefs_p): Declare.
1150         * config/h8300/h8300.h (HAVE_POST_DECREMENT): Define to TARGET_H8300SX.
1151         (HAVE_PRE_INCREMENT): Likewise.
1152         (GO_IF_LEGITIMATE_ADDRESS): Accept pre/post increment/decrement
1153         addresses for TARGET_H8300SX,
1154         * config/h8300/h8300.c (print_operand_address): Deal with PRE_INC
1155         and POST_DEC.
1156         (movb_length_table, movl_length_table): New tables.
1157         (movw_length_table): Define to movb_length_table.
1158         (h8300_displacement_size): New, split out from...
1159         (h8300_classify_address): ...here.  Handle pre/post inc/dec.
1160         (h8300_short_immediate_length): Allow H8OP_MEM_COMPLEX operands.
1161         (h8300_insn_length_from_table): Add cases for movb, movw and movl.
1162         (h8sx_mergeable_memrefs_p, h8300_operands_match_p): New functions.
1163         (output_plussi): Use add.l #xx:3,Rn and sub.l #xx:3,Rn for h8sx.
1164         (compute_plussi_length, compute_plussi_cc): Update accordingly.
1165         (h8sx_unary_shift_operator): Get the mode from the operator.
1166         (binary_shift_operator): Likewise.
1167         * config/h8300/h8300.md: If a peephole2 applies gen_lowpart to
1168         a memory reference, check whether the reference is offsettable.
1169         (length_table): Add movb, movw and movl.
1170         (movqi): Add new h8sx pattern.  Don't force one operand to be a
1171         register when generating h8sx code.
1172         (movhi, movsi, movsf): Likewise.
1173         (movstrictqi): Use the length_table attribute.
1174         (movstricthi): Likewise.  Add h8sx alternative for mov.w #xx:3,Rn.
1175         (addqi3): Split into a define_expand and define_insn.  Don't accept
1176         memory operands in the expander.  Use h8300_operands_match_p to
1177         check for matching operands in the define_insn.
1178         (subqi3, negqi2, one_cmplqi2): Likewise.
1179         (add[hs]i3): Don't accept memory operands in the expander.  Likewise
1180         in any patterns that are unused in h8sx code.  In the h8sx patterns,
1181         use h8300_operands_match_p to check whether operands match.
1182         (sub[hs]i3, and[hi]3, ior[hs]i3, xor[hs]i3, neg[hsi]3,
1183         one_cmpl[hs]i3): Likewise.
1184         (andqi3, iorqi3, xorqi3): Likewise.  Don't call fix_bit_operand
1185         in the expander.
1186         2003-05-23  Richard Sandiford  <rsandifo@redhat.com>
1187         * config/h8300/h8300-protos.h (expand_a_shift): Return a bool.
1188         (h8300_insn_length_from_table): Add a second parameter.
1189         (output_h8sx_shift): Declare.
1190         * config/h8300/h8300.h (OK_FOR_W, OK_FOR_Y): New macros.
1191         (EXTRA_CONSTRAINT): Replace with...
1192         (EXTRA_CONSTRAINT_STR): ...this.  Use OK_FOR_W and OK_FOR_Y.
1193         (CONSTRAINT_LEN): Define, returning 2 for 'W' and 'Y'.
1194         (PREDICATE_CODES): Add entries for h8sx_unary_shift_operator
1195         and h8sx_binary_shift_operator.
1196         * config/h8300/h8300.c (two_insn_adds_subs_operand): Return false
1197         for TARGET_H8300SX.
1198         (bit_operand): Replace use of EXTRA_CONSTRAINT with OK_FOR_U.
1199         (bit_memory_operand, fix_bit_operand): Likewise.
1200         (h8300_length_table_for_insn): Remove.
1201         (h8300_classify_operand): Fix check for 16-bit operands in 32-bit
1202         instructions.
1203         (h8300_short_immediate_length, h8300_binary_length): New functions.
1204         (h8300_insn_length_from_table): Add an opcodes parameter.  Rework.
1205         (output_plussi): Use sub to add negative constants.
1206         (compute_plussi_length): Adjust accordingly.
1207         (h8sx_single_shift_type): New enum.
1208         (h8sx_single_shift, h8sx_unary_shift_operator,
1209         h8sx_binary_shift_operator, output_h8sx_shift): New functions.
1210         (expand_a_shift, expand_a_rotate): Emit nothing if the shift is a
1211         single h8sx instruction.  Return false in this case.
1212         * config/h8300/h8300.md (length_table): Add short_immediate.
1213         (length): Pass the operand array to h8300_insn_length_from_table.
1214         (adjust_length): Assume "no" for insns with a length_table attribute.
1215         (*cmphi_h8300hs, cmpsi): Add alternatives for #xx:3.
1216         (*addhi3_h8300hs): Don't use for h8sx.
1217         (*addhi3_h8sx): New pattern, with alternatives for add.w #xx:3
1218         and sub.w #xx:3.
1219         (ashl[qhs]i3, lshr[qhs]i3, ashr[qhs]i3, rotl[qhs]i3): Change operand
1220         1's predicate to nonimmediate_operand.  Only skip default expansion
1221         if expand_a_shift or expand_a_rotate returns true.  Add new patterns
1222         for single h8sx shift instructions.
1223         2003-05-22  Alexandre Oliva  <aoliva@redhat.com>
1224         * config/h8300/h8300.c (nibble_operand): Split out of...
1225         (reg_or_nibble_operand): ... this.
1226         * config/h8300/h8300.h (PREDICATE_CODES): Added nibble_operand.
1227         * config/h8300/h8300.md: (mulqihi3, mulhisi3, umulqihi3,
1228         umulhisi3): Introduce expand, and introduce separate insns for
1229         sign- or zero-extended REG and already-extended CONST_INT.
1230         2003-05-20  Richard Sandiford  <rsandifo@redhat.com>
1231         * config/h8300/h8300.c (h8300_unary_length): Fix miscounting.
1232         * config/h8300/h8300.md (subqi3): Generalize for h8sx.
1233         (subhi3): Likewise.  Don't accept immediates for operand 1.
1234         Remove the early clobber from second alternative of the h8300s pattern.
1235         (subsi3): Generalize for h8sx.  Force operand 2 into a register
1236         on plain h8300 targets.
1237         (subsi3_h8300): Use h8300_dst_operand for consistency with expander.
1238         (subsi3_h8300h): Generalize for h8sx.
1239         (one_cmplqi2, one_cmplhi2, one_cmplsi2): Likewise.
1240         2003-05-19  Alexandre Oliva  <aoliva@redhat.com>
1241         * config/h8300/h8300.c (reg_or_nibble_operand): New.
1242         * config/h8300/h8300.h (PREDICATE_CODES): Adjust.
1243         (TARGET_H8300SXMUL): New.
1244         (CONST_OK_FOR_P): New.
1245         (CONST_OK_FOR_LETTER_P): Adjust.
1246         * config/h8300/h8300.md (mulqihi3, mulhisi3, umulqihi3,
1247         umulhisi3): Accept 4-bit immediate on H8SX.
1248         (mulhi3, mulsi3, smulsi3_highpart, umulsi3_highpart): New.
1249         (udivsi3, divhi3, udivsi3, divsi3): New.
1250         2003-05-19  Richard Sandiford  <rsandifo@redhat.com>
1251         * config/h8300/h8300-protos.h (h8300_insn_length_from_table): Declare.
1252         * config/h8300/h8300.h (OK_FOR_Q): New macro.
1253         (EXTRA_CONSTRAINT): Use it to check the 'Q' constraint.
1254         (PREDICATE_CODES): Add h8300_src_operand and h8300_dst_operand.
1255         Add ADDRESSOF to the bit_operand entry.
1256         * config/h8300/h8300.c (h8300_dst_operand): New predicate.
1257         (h8300_src_operand): Likewise.
1258         (bit_operand): Check nonimmediate_operand rather than general_operand.
1259         Accept any nonimmediate_operand in h8sx code.
1260         (h8300_and_costs): Initialize operands[1].
1261         (h8300_rtx_costs) <AND>: Return false if the operands aren't valid.
1262         (h8300_operand_class): New enum.
1263         (h8300_length_table): New typedef.
1264         (addb_length_table, addw_length_table, addl_length_table,
1265         logicl_length_table): New tables.
1266         (logicb_length_table, logicw_length_table): New macros.
1267         (h8300_classify_operand, h8300_length_from_table,
1268         h8300_length_table_for_insn, h8300_unary_length,
1269         h8300_insn_length_from_table): New functions.
1270         (output_plussi): Only use adds and subs for register destinations.
1271         Disable redundant clause.
1272         (compute_plussi_cc): Likewise.
1273         (compute_plussi_length): Likewise.  Use h8300_length_from_table
1274         to work out the length of an insn.
1275         (output_logical_op): Only use narrower immediate instructions
1276         if the destination is a register.
1277         (compute_logical_op_cc): Likewise.
1278         (compute_logical_op_length): Likewise.  Use h8300_length_from_table.
1279         (h8300_adjust_insn_length): Tighten check for reg<->mem moves.
1280         * config/h8300/h8300.md (length_table): New attribute.
1281         (length): When an instruction has a length_table attribute, use
1282         h8300_insn_length_from_table to calculate its default length.
1283         (cmpqi): Use h8300_dst_operand for the first operand and
1284         h8300_src_operand for the second.
1285         (cmphi, *cmphi_h8300hs, cmpsi, negqi2, neghi2, neghi2_h8300h, negsi2,
1286         negsi2_h8300h, addqi3, addhi3, *addhi3_h8300, *addhi3_h8300hs, addsi3,
1287         addsi_h8300, addsi_h8300h, andhi3, andsi3, iorhi3,
1288         iorsi3, xorhi3, xorsi3): Likewise.
1289         (andqi3): Use h8300_src_operand for operand 2.  Adjust the condition
1290         so that it allows any combination of operands for TARGET_H8300SX.
1291         (iorqi3, xorqi3): Likewise.
1292         (cmpqi): Use the length_table attribute.
1293         (*cmphi_h8300hs, cmpsi, addqi, *addhi3_h8300hs, andqi3, iorqi3,
1294         xorqi3, negqi2, neghi2_h8300h, negsi2_h8300h): Likewise.
1295         (cmpqi): Add 'Q' constraint.
1296         (*cmphi_h8300hs, cmpsi, addqi, *addhi3_h8300hs, addsi_h8300h, andqi3,
1297         iorqi3, xorqi3, negqi2, neghi2_h8300h, negsi2_h8300h): Likewise.
1298         2003-05-14  Richard Sandiford  <rsandifo@redhat.com>
1299         * config/h8300/h8300.h (MASK_H8300SX): New macro.
1300         (TARGET_H8300S): True for both -ms and -msx.
1301         (TARGET_H8300SX): New macro.
1302         (TARGET_SWITCHES): Add entries for -msx and -mno-sx.
1303         * config/h8300/h8300.c (asm_file_start): Write .h8300sx for -msx.
1304         * config/h8300/elf.h (LINK_SPEC): Use -m h8300sxelf for -msx.
1305         * config/h8300/t-h8300 (MULTILIB_MATCHES): Use -ms multilibs for -msx.
1306         [Temporary change.]
1307         2003-02-28  Alexandre Oliva  <aoliva@redhat.com>
1308         * config/h8300/h8300.h (SIZE_TYPE, PTRDIFF_TYPE): Use short with
1309         16-bit pointers and 32-bit ints.
1310         * config/h8300/h8300.h (LEGITIMATE_CONSTANT_P): Accept
1311         CONST_DOUBLE with mode no wider than SImode.
1312         * config/h8300/h8300.md (extendqisi2_h8300): Add constraints for
1313         output operand.
1314         2003-02-27  Alexandre Oliva  <aoliva@redhat.com>
1315         * config/h8300/h8300.c (general_operand_src): Match CONSTANT_P_RTX
1316         or SUBREG thereof.
1317         * config/h8300/h8300.h (PREDICATE_CODES): Adjust.
1318         2003-02-22  Alexandre Oliva  <aoliva@redhat.com>
1319         * config/h8300/h8300.c (dosize): Truncate sign * size to Pmode.
1320
1321 2004-05-28  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
1322
1323         * config.gcc (i[34567]86-*-mingw32*): Enable threads by default.
1324
1325 2004-07-07  Per Bothner  <per@bothner.com>
1326
1327         * flow.c (attempt_auto_inc):  Remove now-redundant PUT_CODE.
1328
1329 2004-07-07  Mike Stump  <mrs@apple.com>
1330
1331         * darwin.h (ASM_OUTPUT_LABELREF): Fix -fno-leading-underscore.
1332         * darwin.c (machopic_non_lazy_ptr_name, machopic_stub_name)
1333         (machopic_finish): Likewise.
1334
1335 2004-07-07  Richard Henderson  <rth@redhat.com>
1336
1337         * tree-ssa-dom.c (simplify_switch_and_lookup_avail_expr): Look
1338         through any value-preserving cast.
1339
1340 2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
1341
1342         * function.c (assign_parm_find_data_types): Call
1343         FUNCTION_ARG_PASS_BY_REFERENCE only if it's defined.
1344
1345 2004-07-07  Steven Bosscher  <stevenb@suse.de>
1346
1347         * tree-cfg.c (group_case_labels): Remove case labels that have
1348         the same target as the default case.
1349
1350 2004-07-07  Steven Bosscher  <stevenb@suse.de>
1351
1352         * tree-inline.c (optimize_inline_calls): Set DECL_INLINED_FNS
1353         regardless of DECL_LANG_SPECIFIC being present or not.
1354         * tree.h (DECL_NUM_STMTS): Purge.
1355
1356 2004-07-07  Andrew Pinski  <apinski@apple.com>
1357
1358         * configure: Regenerate with the right autoconf.
1359
1360 2004-07-07  David Edelsohn  <edelsohn@gnu.org>
1361
1362         * ifcvt.c (total_bb_rtx_cost): New function.
1363         (find_if_case_1): Compare rtx_cost of basic block to cost of
1364         BRANCH_COST insns.
1365         (find_if_case_2): Same.
1366
1367 2004-07-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
1368
1369         PR target/10567
1370         * config/sparc/sparc.c (load_pic_register): Honor flag_delayed_branch.
1371         (output_return): Likewise.
1372         (output_sibcall): Abort if !flag_delayed_branch.
1373         (sparc_function_ok_for_sibcall): Return 0 if !flag_delayed_branch.
1374         (emit_and_preserve): New function.
1375         (sparc_output_mi_thunk): Use it.  Honor flag_delayed_branch.  Emit an
1376         indirect jump to the thunked-to function if !flag_delayed_branch.
1377         * config/sparc/sparc.md (delayed_branch): New attribute.
1378         (load_pcrel_sym): Honor flag_delayed_branch.  Use above
1379         attribute to compute the length of the insn.
1380         (goto_handler_and_restore): Likewise.
1381
1382 2004-07-07  Andrew Pinski  <apinski@apple.com>
1383
1384         PR tree-optimization/15777
1385         * fold-const.c (fold_single_bit_test): Fold the x^1 expression.
1386
1387         * expr.c (expand_expr_real_1): Fix formating.
1388         BUFFER_REF and IN_EXPR are dead.
1389         * fold-const.c (non_lvalue): BUFFER_REF is dead.
1390         * tree-inline.c (estimate_num_insns_1): Likewise.
1391         * tree-pretty-print.c (dump_generic_node): BUFFER_REF,
1392         IN_EXPR, SET_LE_EXPR, and CARD_EXPR are dead.
1393         * tree.def (BUFFER_REF, IN_EXPR, SET_LE_EXPR, CARD_EXPR): Kill.
1394
1395 2004-07-07  H.J. Lu  <hongjiu.lu@intel.com>
1396
1397         * collect2.c (dump_file): Don't call cplus_demangle if
1398         HAVE_LD_DEMANGLE is defined.
1399         (main): Pass "--demangle" to ld if no_demangle is not 0 and
1400         HAVE_LD_DEMANGLE is defined. Don't set current_demangling_style
1401         if HAVE_LD_DEMANGLE is defined.
1402
1403         * configure.ac (--with-demangler-in-ld): Added
1404         (HAVE_LD_DEMANGLE): Define if ld supports --demangle when
1405         --with-demangler-in-ld is used.
1406         * config.in: Regenerated.
1407         * configure: Likewise.
1408
1409 2004-07-07  Roger Sayle  <roger@eyesopen.com>
1410
1411         * config/rs6000/rs6000.c (struct processor_costs): Add new fields
1412         for simple floating point operations "fp", double precision
1413         multiplication "dmul", and single and double precision division
1414         "sdiv" and "ddiv".  Update all CPU variant tables as appropriate.
1415         (ppc630_cost): New table split from ppc620_cost, to distinguish
1416         differences in floating point latencies.
1417         (rs6000_override_options): Use ppc630_cost for PROCESSOR_PPC630.
1418         (rs6000_rtx_costs): Add support for single and double precision
1419         floating point addition, subtraction, multiplication, division,
1420         fused-multiply-add, fused-multiply-sub, negation, absolute value
1421         and negative absolute value.  Tweak MEM case to use prefered idiom.
1422
1423 2004-07-07  Richard Henderson  <rth@redhat.com>
1424
1425         * tree-flow-inline.h (may_propagate_copy): Move...
1426         * tree-ssa-copy.c (may_propagate_copy): ... here.  Fail if we
1427         attempt to copy between types requiring conversion.
1428         * tree-flow.h (may_propagate_copy): Update decl.
1429         * tree-ssa-dom.c (cprop_operand): Tidy redundant tests.
1430
1431 2004-07-07  Jakub Jelinek  <jakub@redhat.com>
1432
1433         * config/i386/i386.c (override_options): Don't set x86_prefetch_sse
1434         from -mtune= option.
1435
1436 2004-07-07  Alexandre Oliva  <aoliva@redhat.com>
1437
1438         * builtins.c: Rename movstr*, except for movstrict*, to
1439         movmem* and clrstr* to clrmem*.
1440         * expr.c: Likewise.
1441         * expr.h: Likewise.
1442         * genopinit.c: Likewise.
1443         * integrate.c: Likewise.
1444         * local-alloc.c: Likewise.
1445         * optabs.c: Likewise.
1446         * optabs.h: Likewise.
1447         * config/alpha/alpha.h: Likewise.
1448         * config/alpha/alpha.md: Likewise.
1449         * config/arm/arm-protos.h: Likewise.
1450         * config/arm/arm.c: Likewise.
1451         * config/arm/arm.md: Likewise.
1452         * config/avr/avr.md: Likewise.
1453         * config/c4x/c4x.c: Likewise.
1454         * config/c4x/c4x.md: Likewise.
1455         * config/frv/frv.md: Likewise.
1456         * config/i386/i386-protos.h: Likewise.
1457         * config/i386/i386.c: Likewise.
1458         * config/i386/i386.h: Likewise.
1459         * config/i386/i386.md: Likewise.
1460         * config/i860/i860.c: Likewise.
1461         * config/i860/i860.md: Likewise.
1462         * config/ip2k/ip2k.md: Likewise.
1463         * config/ip2k/libgcc.S: Likewise.
1464         * config/ip2k/t-ip2k: Likewise.
1465         * config/m32r/m32r.c: Likewise.
1466         * config/m32r/m32r.md: Likewise.
1467         * config/mcore/mcore.md: Likewise.
1468         * config/mips/mips.c: Likewise.
1469         * config/mips/mips.md: Likewise.
1470         * config/ns32k/ns32k.c: Likewise.
1471         * config/ns32k/ns32k.h: Likewise.
1472         * config/ns32k/ns32k.md: Likewise.
1473         * config/pa/pa.c: Likewise.
1474         * config/pa/pa.md: Likewise.
1475         * config/pdp11/pdp11.h: Likewise.
1476         * config/pdp11/pdp11.md: Likewise.
1477         * config/rs6000/rs6000.c: Likewise.
1478         * config/rs6000/rs6000.md: Likewise.
1479         * config/s390/s390-protos.h: Likewise.
1480         * config/s390/s390.c: Likewise.
1481         * config/s390/s390.md: Likewise.
1482         * config/sh/lib1funcs.asm: Likewise.
1483         * config/sh/sh.c: Likewise.
1484         * config/sh/sh.md: Likewise.
1485         * config/sh/t-sh: Likewise.
1486         * config/sparc/sparc.h: Likewise.
1487         * config/vax/vax.md: Likewise.
1488         * config/xtensa/xtensa.c: Likewise.
1489         * config/xtensa/xtensa.md: Likewise.
1490         * doc/invoke.texi: Likewise.
1491         * doc/md.texi: Likewise.
1492         * doc/rtl.texi: Likewise.
1493
1494 2004-07-07  Richard Sandiford  <rsandifo@redhat.com>
1495
1496         PR target/16407
1497         * config/mips/mips-protos.h (mips_declare_common_object): Declare.
1498         * config/mips/mips.c (mips_declare_common_object): New function,
1499         mostly split out from...
1500         (mips_output_aligned_decl_common): ...here.
1501         * config/mips/mips.h (ASM_OUTPUT_LOCAL): Remove in favor of...
1502         (ASM_OUTPUT_ALIGNED_LOCAL): ...this new definition.
1503         * config/mips/iris6.h (ASM_OUTPUT_ALIGNED_LOCAL): Undefine this
1504         rather than ASM_OUTPUT_LOCAL.  Call mips_declare_common_object.
1505
1506 2004-07-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1507
1508         PR c/16392
1509         * function.c (assign_parms): Fix typo from previous change.
1510
1511 2004-07-07  Jason Merrill  <jason@redhat.com>
1512
1513         PR c++/15815
1514         * doc/extend.texi (C++ Interface): Correct information and
1515         discourage use.
1516
1517 2004-07-07  Vladimir Makarov  <vmakarov@redhat.com>
1518
1519         PR target/16130
1520         PR target/16142
1521         PR target/16143
1522         * config/ia64/ia64.c (ia64_dfa_new_cycle): Reset DFA state for asm
1523         insn.
1524
1525 2004-07-06  Kazuhiro Inaoka  <inaoka.kazuhiro@renesas.com>
1526
1527         PR target/1679.
1528         * config/m32r/m32r.c (m32r_function_symbol): New function:
1529         Generate a symbol name RTX with the correct m32r specific flags
1530         set.
1531         (block_move_call): Use new function to generate correct symbol.
1532         * config/m32r/m32r-protos.h: Add prototype for new funcion.
1533         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Use the new
1534         function.
1535
1536 2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
1537
1538         * tree.h (TYPE_BINFO_OFFSET, TYPE_BINFO_VTABLE,
1539         TYPE_BINFO_VIRTUALS, TYPE_BINFO_BASETYPES,
1540         TYPE_BINFO_BASETYPE): Remove.
1541         (BINFO_BASETYPES, BINFO_N_BASETYPES, BINFO_BASETYPE): Rename
1542         to ...
1543         (BINFO_BASE_BINFOS, BINFO_N_BASE_BINFOS, BINFO_BASE_BINFO): ...
1544         here.
1545         (BINFO_BASEACCESSES, BINFO_BASEACCESS): Rename to ...
1546         (BINFO_BASE_ACCESSES, BINFO_BASE_ACCESS): ... here.
1547         (BINFO_INHERITANCE_CHAIN): Redocument as it is actually used.
1548         (struct tree_binfo): Rename base_types to base_binfos.
1549         * alias.c (record_component_aliases): Adjust BINFO macros.
1550         * dbxout.c (dbxout_type): Likewise.
1551         * dwarf2out.c (gen_member_die): Likewise.
1552         * sdbout.c (sdbout_one_type): Likewise.
1553         * tree-dump.c (deque_and_dump): Likewise.
1554         * config/i386/i386.c (classify_argument,
1555         contains_128bit_aligned_vector_p): Likewise.
1556
1557 2004-07-07  Nick Clifton  <nickc@redhat.com>
1558
1559         * config/fr30/fr30.c (fr30_setup_incoming_varargs): Change
1560         arguments to match TARGET_SETUP_INCOMING_VARARGS prototype.
1561
1562 2004-07-07  Nathan Sidwell  <nathan@codesourcery.com>
1563
1564         * vec.h: Fix the example use.
1565
1566 2004-07-06  Richard Henderson  <rth@redhat.com>
1567
1568         * langhooks-def.h (LANG_HOOKS_GIMPLE_BEFORE_INLINING): Remove.
1569         * langhooks.h (struct lang_hooks): Remove gimple_before_inlining.
1570         * tree-inline.c (copy_body_r, setup_one_parameter,
1571         initialize_inlined_parameters, expand_call_inline,
1572         declare_inline_vars): Don't check it.
1573         (expand_calls_inline): Remove old version, rename new version
1574         from gimple_expand_calls_inline.
1575         * tree-optimize.c (execute_gimple): Remove.
1576         (pass_gimple): Don't run anything.
1577
1578 2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
1579
1580         * doc/sourcebuild.texi: Use semicolons instead of commas in
1581         section title.
1582
1583 2004-07-06  Richard Henderson  <rth@redhat.com>
1584
1585         * tree-sra.c (struct sra_walk_fns): Revert 2004-07-05 change.
1586         (sra_walk_modify_expr, scan_init): Likewise.
1587         (generate_element_zero): Check visited before scanning children.
1588         (generate_element_init): Set visited on error.
1589         (scalarize_init): Handle generate_element_init failure similar
1590         to use_block_copy.
1591
1592 2004-07-06  Joseph S. Myers  <jsm@polyomino.org.uk>
1593
1594         * toplev.h (NO_FRONT_END_DIAG, ATTRIBUTE_GCC_FE_DIAG): Define.
1595         (warning, error, pedwarn, sorry): Use ATTRIBUTE_GCC_FE_DIAG.
1596
1597 2004-07-06  Richard Henderson  <rth@redhat.com>
1598
1599         * config/i386/i386.c (legitimize_pic_address): Make static.
1600         (legitimize_address): Handle CONST with TLS operand.
1601         (ix86_expand_move): Don't call legitimize_pic_address directly.
1602         * config/i386/i386-protos.h (legitimize_pic_address): Remove.
1603
1604 2004-07-06  Roger Sayle  <roger@eyesopen.com>
1605
1606         * ifcvt.c (struct noce_if_info): Add a Boolean b_unconditional field.
1607         (noce_try_sign_mask): Tweak rtx_cost check if t is evaluated anyway.
1608         (noce_process_if_block): Initialize if_info.b_unconditional if insn_b
1609         is currently executed unconditionally, i.e. not in "else_bb".
1610
1611 2004-07-06  Steven Bosscher  <stevenb@suse.de>
1612
1613         * config/alpha/alpha.c (alpha_use_dfa_pipeline_interface): Remove.
1614         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1615         * config/arm/arm.c (arm_use_dfa_pipeline_interface): Remove.
1616         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1617         * config/frv/frv.c (frv_use_dfa_pipeline_interface): Remove.
1618         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1619         * config/i386/i386.c (ia32_use_dfa_pipeline_interface): Remove.
1620         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1621         * config/ia64/ia64.c (ia64_use_dfa_pipeline_interface): Remove.
1622         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1623         * config/pa/pa.c (hhpa_use_dfa_pipeline_interface): Remove.
1624         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1625         * config/sparc/sparc.c (sparc_use_dfa_pipeline_interface): Remove.
1626         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1627         * config/v850/v850.c (v850_use_dfa_pipeline_interface): Remove.
1628         (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE): Define to hook_int_void_1.
1629
1630 2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
1631
1632         * dojump.c (do_jump): REFERENCE_EXPR is dead.
1633         * expr.c (expand_expr_real_1): Ditto.
1634         * tree-inline.c (estimate_num_insns_1): Ditto.
1635         * tree-pretty-print.c (dump_generic_node): Ditto.
1636         (op_symbol): Ditto.
1637         * tree.def: Ditto.
1638
1639 2004-07-06  Daniel Berlin  <dberlin@dberlin.org>
1640
1641         * tree-ssa-pre.c (reference_node_pool): New pool.
1642         (find_or_generate_expression): Class 'r' is okay too.
1643         (create_value_expr_from): Ditto.
1644         (add_to_sets): LHS should not include vuses.
1645         (eliminate): Ditto.
1646         (compute_avail): Reverse ordering of tests.
1647         Valuize INDIRECT_REF as well.
1648
1649 2004-07-06  Richard Sandiford  <rsandifo@redhat.com>
1650
1651         PR rtl-optimization/16380
1652         * loop.c (check_dbra_loop): Sink comparison instructions if they
1653         do something other than set cc0.
1654
1655 2004-07-06  James E Wilson  <wilson@specifixinc.com>
1656
1657         * doc/interface.texi (longjmp and automatic variables): Delete
1658         paragraph recommending taking the address of a variable.
1659
1660 2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
1661
1662         * vec.h (VEC_embedded_alloc): Remove.
1663         (VEC_embedded_size, VEC_embedded_init): New.
1664         (VEC_alloc, VEC_reserve, VEC_safe_push, VEC_safe_insert): Add
1665         MEM_STAT_INFO.
1666         (VEC_truncate): New.
1667         (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL.
1668         (vec_embedded_alloc): Remove.
1669         * vec.c (vec_p_reserve, vec_o_reserve): Add MEM_STAT_DECL, adjust.
1670         (vec_embedded_alloc): Remove.
1671
1672 2004-07-06  Mark Mitchell  <mark@codesourcery.com>
1673
1674         * Makefile.in (langhooks.o): Do not depend on gt-langhooks.h.
1675         (gt-langhooks.h): Remove.
1676
1677 2004-07-06  George Helffrich <george@gly.bris.ac.uk>
1678
1679         * xcoffout.h (DBX_FINISH_SYMBOL): Fix typo.
1680
1681 2004-07-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
1682
1683         * config/sparc/sparc.c (get_pc_symbol): Rename into
1684         add_pc_to_pic_symbol.
1685         (get_pc_symbol_name): Rename into add_pc_to_pic_symbol_name.
1686         (load_pic_register): Account for previous changes.
1687         Use reg_names.  Don't create the label twice.
1688         * config/sparc/sparc.md (UNSPEC_GET_PC): Rename into
1689         UNSPEC_LOAD_PCREL_SYM.
1690         (get_pc): Rename into load_pcrel_sym.  Add predicate to
1691         operands.  Remove condition.
1692
1693 2004-07-06  Nathan Sidwell  <nathan@codesourcery.com>
1694
1695         * dbxout.c (dbxout_type): Don't test whether the binfo slot of
1696         RECORD, UNION & QUAL_UNION is actually a binfo.
1697
1698         * tree.h (TREE_VIA_VIRTUAL): Rename to ...
1699         (BINFO_VIRTUAL_P): ... here. Require TREE_BINFO only.
1700         (BINFO_MARKED, BINFO_FLAG_[16]): New binfo flags.
1701         * dbxout.c (dbxout_type): Use BINFO_VIRTUAL_P.
1702         * dwarf2out.c (add_data_member_location_attribute): Likewise.
1703         (gen_inheritance_die): Likewise.
1704         * tree-dump.c (deque_and_dump): Likewise.
1705         * doc/c-tree.texi (Binfos): Add under reconstruction note.
1706
1707 2004-07-06  Steven Bosscher  <stevenb@suse.de>
1708
1709         * config/mcore/mcore.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
1710         Define.
1711         * config/mcore/mcore.md: Model memory latency with a simple DFA
1712         pipeline description instead of a define_function_unit.
1713
1714 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1715
1716         * langhooks-def.h (LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P): Extra arg.
1717         * langhooks.h (var_mod_type_p): Likewise.
1718         * c-decl.c (finish_decl): Add extra arg to variably_modified_type_p.
1719         * expr.c (count_type_elements): Properly handle return from
1720         array_type_nelts and properly test for overflow.
1721         * gimplify.c (gimplify_init_constructor): Properly handle return
1722         from array_type_nelts.
1723         (gimplify_addr_expr): Remove redundant clear of TREE_SIDE_EFFECTS.
1724         * integrate.c (copy_decl_for_inlining): Correct comments.
1725         * tree-inline.c (remap_decl): Update comments, remove dead code,
1726         and copy DECL_FIELD_OFFSET and DECL_QUALIFIER, if they exist.
1727         (remap_type): Only remap if variably modified by vars in function
1728         being inlined.
1729         (copy_body_r): Use compatible_type langhooks to see when can fold.
1730         (setup_one_parameter): Don't remap type.
1731         (inline_forbidden_p_1): Add arg to variably_modified_type_p.
1732         * tree.c (recompute_tree_invarant_for_addr_expr): Properly
1733         compute TREE_INVARIANT for decl case.
1734         (find_var_from_fn): New function.
1735         (variably_modified_type_p): Add arg and call new function.
1736         * tree.h (variably_modified_type_p): Add extra arg.
1737
1738 2004-07-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
1739
1740         * config/sparc/sparc.md (nonlocal_goto): Remove disabled code.
1741         (goto_handler_and_restore_v9): Delete disabled insn.
1742         (goto_handler_and_restore_v9_sp64): Likewise.
1743
1744 2004-07-05  Roger Sayle  <roger@eyesopen.com>
1745
1746         * calls.c (load_register_parameters): Call expand_shift instead
1747         of expand_binop with ashl_optab (or other shift optab) directly.
1748         * expr.c (emit_group_load, emit_group_store): Likewise.
1749         * function.c (assign_parm_setup_block): Likewise.
1750         * stmt.c (shift_return_value): Likewise.
1751
1752 2004-07-05  Jakub Jelinek  <jakub@redhat.com>
1753
1754         * expr.c (expand_assignment): Disable the bitfield += optimizations.
1755
1756 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
1757
1758         * doc/sourcebuild.texi: Revert previous patch.
1759
1760 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
1761
1762         * c-decl.c, config/m32r/m32r.c, expr.c, optabs.c: Don't check
1763         TARGET_MEM_FUNCTIONS.
1764         * system.h: Poison TARGET_MEM_FUNCTIONS.
1765         * libfuncs.h (LTI_bcopy, LTI_bcmp, LTI_bzero, bcopy_libfunc,
1766         bcmp_libfunc, bzero_libfunc): Remove.
1767         * optabs.c (init_obtabs): Don't set bcopy_libfunc, bcmp_libfunc or
1768         bzero_libfunc.
1769         * doc/tm.texi (TARGET_MEM_FUNCTIONS): Remove.
1770         * doc/standards.texi: Don't mention calling BSD string functions.
1771         * doc/invoke.texi: Likewise.  Mention that memmove may be called.
1772         * config/vax/t-memfuncs: New.
1773         * config/memcmp.c, config/memcpy.c, config/memmove.c,
1774         config/memset.c: New.
1775         * config/pdp11/t-pdp11 (LIB2FUNCS_EXTRA): Use these files.
1776         * config.gcc (vax-*-bsd*, vax-*-sysv*, vax-*-ultrix*): Use
1777         vax/t-memfuncs.
1778         * config/alpha/alpha.h, config/arc/arc.h, config/arm/arm.h,
1779         config/avr/avr.h, config/c4x/c4x.h, config/cris/aout.h,
1780         config/elfos.h, config/gnu.h, config/h8300/h8300.h,
1781         config/i386/gas.h, config/ia64/ia64.h, config/interix.h,
1782         config/ip2k/ip2k.h, config/lynx-ng.h, config/m32r/m32r.h,
1783         config/mcore/mcore.h, config/mips/mips.h, config/mmix/mmix.h,
1784         config/netbsd.h, config/openbsd.h, config/pa/pa.h,
1785         config/rs6000/rs6000.h, config/rtems.h, config/s390/s390.h,
1786         config/sh/sh.h, config/sparc/sparc.h, config/stormy16/stormy16.h,
1787         config/svr3.h: Don't define TARGET_MEM_FUNCTIONS.
1788
1789 2004-07-05  Richard Henderson  <rth@redhat.com>
1790
1791         * function.c (assign_parm_setup_reg): Properly rename variables in
1792         FUNCTION_ARG_CALLEE_COPIES section.
1793
1794 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
1795
1796         * tree-mudflap.c: Include cgraph.h.
1797         (mf_init_extern_trees): Rename to mudflap_init.  Export.
1798         Rewrite to create synthetic declarations instead of looking
1799         up declarations from mf-runtime.h.
1800         (mf_make_builtin, mf_make_cache_struct_type): New functions.
1801         (mf_cache_shift_decl, mf_cache_mask_decl, mf_unregister_fndecl):
1802         Correct commentary.
1803         (execute_mudflap_function_decls, mudflap_register_call):
1804         Don't call mf_init_extern_trees.
1805         (mudflap_finish_file): Use cgraph_build_static_cdtor.
1806
1807         * tree-mudflap.h: Update prototypes.
1808         * c-mudflap.c: Delete file.
1809         * c-common.c: Include tree-mudflap.h.
1810         (c_common_nodes_and_builtins): Call mudflap_init if appropriate.
1811         * Makefile.in: Remove all references to c-mudflap.o.
1812         Update dependencies.
1813
1814 2004-07-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1815
1816         * pa.md (prefetch, prefetch_32, prefetch_64): Only allow short
1817         displacements with the spatial-locality cache-control completer.
1818
1819 2004-07-05  Zack Weinberg  <zack@codesourcery.com>
1820
1821         * langhooks.c: Don't include gt-langhooks.h.
1822         (var_labelno): Delete.
1823         (lhd_set_decl_assembler_name): Do not append a distinguishing
1824         number to file-scope internal-linkage declarations for the first
1825         input file, even if they have DECL_CONTEXT set.  Use DECL_UID of
1826         the declaration itself (if at block scope), or its containing
1827         TRANSLATION_UNIT_DECL (if at file scope) for the distinguishing
1828         number.
1829
1830         * opts.c (cur_in_fname): New global.
1831         * opts.h: Declare it.
1832         * tree.c: Include opts.h.
1833         (make_node_stat): If creating a TRANSLATION_UNIT_DECL, give it
1834         DECL_UID equal to cur_in_fname.
1835         (copy_node_stat): Do not change DECL_UID when copying a
1836         TRANSLATION_UNIT_DECL.
1837         (build_common_tree_nodes): Adjust next_decl_uid to reserve the
1838         range 0 .. num_in_fnames-1 for TRANSLATION_UNIT_DECLs.
1839
1840         * c-decl.c (c_static_assembler_name): Delete.
1841         * c-tree.h (c_static_assembler_name): Delete prototype.
1842         * c-lang.c, objc/objc-lang.c: Don't override
1843         LANG_HOOKS_SET_DECL_ASSEMBLER_NAME.
1844
1845         * Makefile.in (tree.o): Update dependencies.
1846         (GTFILES): Remove langhooks.c.
1847
1848 2004-07-05  Roger Sayle  <roger@eyesopen.com>
1849
1850         * fold-const.c (fold) <TRUNC_MOD_EXPR>: Optimize unsigned modulus
1851         by a power of two into a bit-wise AND, i.e. "X % C" as "X & (C-1)".
1852         Normalize "X % C" as "X % -C" for signed modulus and negative C.
1853         Optimize "X % -Y" as "X % Y" for signed modulus.
1854         <EQ_EXPR>: Recursively call "fold" when transforming "(X % Y) == 0"
1855         into "((unsigned) X % Y) == 0".
1856
1857 2004-07-05  Joseph S. Myers  <jsm@polyomino.org.uk>
1858
1859         * sourcebuild.texi (Config Fragments): Use @comma{} in
1860         cross-reference to section title.
1861
1862 2004-07-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1863
1864         * tree.h (DECL_SEEN_IN_BIND_EXPR_P): New macro.
1865         * gimplify.c (gimple_add_tmp_var, gimplify_bind_expr): Use it.
1866         (gimplify_target_expr, gimplify_expr): Likewise.
1867         (copy_if_shared_r): No longer need special case for BIND_EXPR.
1868         (unshare_body, unvisit_body): Only look at nested if BODY_P is
1869         whole function.
1870         (gimplify_compound_lval): See if we can strip any useless conversion.
1871         (gimplify_modify_expr, gimplify_modify_expr_to_memcpy): Take size
1872         from RHS, not LHS.
1873         (gimplify_modify_expr_to_memset): Likewise.
1874         (gimplify_expr, case CONSTRUCTOR): Handle use as statement.
1875         * tree-inline.c (setup_one_parameter): Use DECL_SEEN_IN_BIND_EXPR_P.
1876         (declare_inline_vars): Likewise.
1877         (walk_type_fields): New function.
1878         (walk_tree): Use it.
1879         * tree-nested.c (create_tmp_var_for): Show seen in BIND_EXPR.
1880
1881         * tree-sra.c (struct sra_walk_fns): Init function now returns bool.
1882         (sra_walk_modify_expr): Allow init function to fail.
1883         (scan_init): Now returns bool.
1884         (generate_element_init): If can't understand INIT, return false.
1885         (scalarize_init): Return false if generate_element_init does.
1886
1887         * tree-pretty-print.c (dump_generic_node, case ARRAY_TYPE): Properly
1888         print bounds.
1889
1890         * expr.c (expand_expr_real_1, case SWITCH_EXPR): Don't check against
1891         bounds if bounds aren't constant.
1892
1893         * tree-cfg.c (verify_expr): Use CHECK_OP in binary case.
1894
1895         * function.c, langhooks-def.h, langhooks.h: Move max_size hook
1896         to type hooks; remove bogus PARAMS.
1897
1898 2004-07-05  Nathan Sidwell  <nathan@codesourcery.com>
1899
1900         * c-tree.h (TYPE_ACTUAL_ARG_TYPES): Use TYPE_LANG_SLOT_1.
1901         * dwarf2out.c (add_data_member_location_attribute): Check for
1902         TREE_BINFO.
1903         * tree.c (tree_node_kinds): Add "binfos".
1904         (binfo_lang_slots): New.
1905         (make_node_stat): Add TREE_BINFO.
1906         (make_tree_binfo_stat): New.
1907         (tree_node_structure): Add TREE_BINFO.
1908         * tree.def (TREE_BINFO): New.
1909         * tree.h (REC_OR_UNION_CHECK): Rename to ...
1910         (RECORD_OR_UNION_CHECK): ... here.
1911         (NOT_RECORD_OR_UNION_CHECK): New.
1912         (TRE_VIA_VIRTUAL): Allow TREE_LIST or TREE_BINFO.
1913         (TYPE_FIELDS, TYPE_METHODS, TYPE_VFIELD): Adjust for
1914         RECORD_OR_UNION_CHECK.
1915         (TYPE_BINFO): Use RECORD_OR_UNION_CHECK.
1916         (TYPE_LANG_SLOT_1): New.
1917         (BINFO_TYPE, BINFO_OFFSET, BINFO_VTABLE, BINFO_VIRTUALS,
1918         BINFO_BASETYPES, TYPE_BINFO_BASETYPES, BINFO_VPTR_FIELD,
1919         BINFO_BASEACCESSES, BINFO_INHERITANCE_CHAIN): Adjust.
1920         (BINFO_ELTS): Remove.
1921         (BINFO_LANG_SLOT): New.
1922         (struct tree_binfo): New.
1923         (binfo_lang_slots): Declare.
1924         (enum tree_node_structure_enum): Add TS_BINFO.
1925         (union tree_node): Add binfo.
1926         (make_tree_binfo_stat): Declare.
1927         (make_tree_binfo): New.
1928         (enum tree_node_kind): Add binfo_kind.
1929
1930         * objc/objc-act.c (start_class, objc_declare_protocols,
1931         start_protocols): Use TYPE_LANG_SLOT_1.
1932         * objc/objc-act.h (CLASS_BINFO_ELTS, PROTOCOL_BINFO_ELTS): Rename
1933         to ...
1934         (CLASS_LANG_SLOT_ELTS, PROTOCOL_LANG_SLOT_ELTS): ... here.
1935         (CLASS_IVARS, CLASS_RAW_IVARS, CLASS_STATIC_TEMPLATE,
1936         CLASS_CATEGORY_LIST, CLASS_PROTOCOL_LIST, CLASS_OWN_IVARS,
1937         PROTOCOL_LIST, PROTOCOL_FORWARD_DECL): Use TYPE_LANG_SLOT_1.
1938
1939 2004-07-05  Steven Bosscher  <stevenb@suse.de>
1940
1941         * rtl.h (struct rtx_def): Remove the integrated flag.
1942         Use the return_val flag for MEM_SCALAR_P.
1943         Reshuffle and update flags in CLEAR_RTX_FLAGS.
1944
1945 2004-07-05  Richard Sandiford  <rsandifo@redhat.com>
1946
1947         PR target/16357
1948         * config/mips/mips.c (mips_block_move_straight): Pass BLKmode memrefs
1949         to mips_expand_unaligned_load, mips_expand_unaligned_store, and
1950         move_by_pieces.
1951
1952 2004-07-05  Josef Zlomek  <zlomekj@suse.cz>
1953
1954         * var-tracking.c: Fix some comments.
1955         (frame_stack_adjust): New.
1956         (vt_stack_adjustments): Init stack_adjust of entry block to
1957         minus stack adjustment of function prologue.
1958         (adjust_stack_reference): Do not adjust if adjustment == 0.
1959         (compute_bb_dataflow): Use plus_constant instead of gen_rtx_PLUS.
1960         (emit_notes_in_bb): Likewise.
1961         (vt_add_function_parameters): Do not adjust locations of
1962         function arguments.
1963         (vt_initialize): Compute the stack adjustment of function
1964         prologue and offset the initial "location" of frame_base_decl
1965         from the stack pointer after prologue.
1966
1967 2004-07-04  Richard Henderson  <rth@redhat.com>
1968
1969         * function.c (struct assign_parm_data_all): New.
1970         (struct assign_parm_data_one): New.
1971         (assign_parms_initialize_all, assign_parms_augmented_arg_list,
1972         assign_parm_find_data_types, assign_parms_setup_varargs,
1973         assign_parm_find_entry_rtl, assign_parm_is_stack_parm,
1974         assign_parm_find_stack_rtl, assign_parm_adjust_entry_rtl,
1975         assign_parm_adjust_stack_rtl, assign_parm_setup_block_p,
1976         assign_parm_setup_block, assign_parm_setup_reg,
1977         assign_parm_setup_stack, assign_parms_unsplit_complex): Split from ...
1978         (assign_parms): ... here.
1979
1980 2004-07-04  Daniel Berlin  <dberlin@dberlin.org>
1981
1982         * tree-ssa-pre.c (bb_value_sets): phi_gen, tmp_gen, new_sets
1983         now are bitmap_set_t's.
1984         (bitmap_insert_into_set): No point in inserting the value if
1985         it's invariant.
1986         (bitmap_set_contains): New function.
1987         (bitmap_set_replace_value): Add comment on why we do it
1988         this way.
1989         (set_contains): Removed.
1990         (bitmap_set_subtract_from_value_set): New name of
1991         set_subtract now that it's arguments are two different
1992         types of sets.
1993         Update callers.
1994         (bitmap_find_leader): Change algorithm used.
1995         (find_or_generate_expression): Update use of functions for new
1996         bitmap sets.
1997         (create_expression_by_pieces): Ditto.
1998         (insert_aux): Ditto.
1999         (insert): Ditto.
2000         (add_to_sets): Ditto.
2001         (init_pre): Ditto.
2002         (execute_pre): Ditto.
2003         (compute_avail): Ditto.
2004         Also ignore virtual phis.
2005
2006 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
2007
2008         * combine.c (simplify_comparison): Fix comment typo.
2009
2010 2004-07-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
2011
2012         * config/sparc/sparc.c (SIBCALL_SLOT_EMPTY_P): Rename
2013         into LEAF_SIBCALL_SLOT_RESERVED_P after negation.
2014         (eligible_for_sibcall_delay): Adjust use of SIBCALL_SLOT_EMPTY_P.
2015         (output_restore): Change parameter from 'insn' to 'pat'.
2016         (output_return): Adjust call to output_restore.
2017         (output_sibcall): Adjust use of SIBCALL_SLOT_EMPTY_P.
2018         Adjust call to output_restore.
2019
2020 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
2021
2022         * config/netbsd.h (NETBSD_OS_CPP_BUILTINS_COMMON): Define __unix__
2023         and assert system is bsd.
2024
2025 2004-07-04  Richard Sandiford  <rsandifo@redhat.com>
2026
2027         * config/mips/mips.h (MASK_DEBUG_C, TARGET_DEBUG_C_MODE): Delete.
2028         (TARGET_SWITCHES): Remove -mdebugc.
2029         * config/mips/mips.md (seq, sne, sgt, sge, slt, sle, sgtu, sgeu)
2030         (sltu, sleu): Remove TARGET_DEBUG_C_MODE handling.
2031         (seq_[sd]i, sne_[sd]i, sge_[sd]i, sle_[sd]i_reg, sgeu_[sd]i)
2032         (sle_[sd]i_reg): Delete.
2033
2034 2004-07-04  Steven Bosscher  <stevenb@suse.de>
2035
2036         * config/iq2000/iq2000.c (TARGET_SCHED_USE_DFA_PIPELINE_INTERFACE):
2037         Define.
2038         * config/iq2000/iq2000.md: Translate old pipeline description to an
2039         equivalent new one.
2040
2041 2004-07-04  Roger Sayle  <roger@eyesopen.com>
2042
2043         * tree-ssa-ccp.c (set_rhs): Change function to return a bool.
2044         Ensure the replacement rhs is valid gimple before performing
2045         the substitution.  Return false if these sanity checks fail.
2046         (fold_stmt): Only set changed to true, if set_rhs returns true.
2047         (execute_fold_all_builtins): Only call modify_stmt if set_rhs
2048         succeeds.
2049
2050 2004-07-04  Richard Henderson  <rth@redhat.com>
2051
2052         PR c/16348
2053         * c-typeck.c (c_finish_loop): Don't clear cond for cond_is_first loops.
2054
2055 2004-07-04  Mark Mitchell  <mark@codesourcery.com>
2056
2057         * configure.ac (ranlib_flags): New variable.
2058         * Makefile.in (RANLIB_FLAGS): New variable.
2059         (libbackend.a): Use it.
2060         * configure: Regenerated.
2061
2062 2004-07-04  Roger Sayle  <roger@eyesopen.com>
2063
2064         * ifcvt.c (noce_try_sign_mask): Call emit_store_flag to generate
2065         a "sign mask" instead of using ashr_optab directly.
2066
2067 2004-07-04  Neil Booth  <neil@duron.akihabara.co.uk>
2068
2069         * doc/cpp.texi: Don't document what we do for ill-formed expressions.
2070         * doc/cppopts.texi: Clarify processing of command-line defines.
2071
2072 2004-07-04  Gerald Pfeifer  <gerald@pfeifer.com>
2073
2074         * doc/contrib.texi (Contributors): Adjust link for GNU Classpath.
2075
2076 2004-07-04  Richard Henderson  <rth@redhat.com>
2077
2078         * rtl.def (ADDRESSOF): Remove.
2079         * alias.c (rtx_equal_for_memref_p): Don't handle addressof.
2080         (find_base_term, memrefs_conflict_p): Likewise.
2081         * cse.c (fixed_base_plus_p, find_best_addr: Likewise.
2082         (fold_rtx, cse_insn, set_live_p): Likewise.
2083         * dwarf2out.c (mem_loc_descriptor): Likewise.
2084         (add_location_or_const_value_attribute): Likewise.
2085         * emit-rtl.c (copy_insn_1): Likewise.
2086         * explow.c (memory_address): Likewise.
2087         * expmed.c (store_split_bit_field): Likewise.
2088         * expr.c (expand_expr_real_1): Likewise.
2089         * function.c (instantiate_decl
2090         (instantiate_virtual_regs_1, fix_lexical_addr): Likewise.
2091         * genrecog.c (preds, validate_pattern): Likewise.
2092         * integrate.c (copy_rtx_and_substitute): Likewise.
2093         * recog.c (general_operand, register_operand): Likewise.
2094         (memory_address_p): Likwise.
2095         * reload1.c (eliminate_regs, elimination_effects): Likewise.
2096         * rtl.c (copy_rtx): Likewise.
2097         * rtlanal.c (rtx_unstable_p, rtx_varies_p): Likewise.
2098         (rtx_addr_can_trap_p, nonzero_address_p, address_cost): Likewise.
2099         * rtlhooks.c (gen_lowpart_general): Likewise.
2100         * stmt.c (expand_asm_operands): Likewise.
2101         * web.c (entry_register, replace_ref, web_main): Likewise.
2102         * config/alpha/alpha.c (input_operand, alpha_legitimate_address_p,
2103         alpha_expand_block_move, alpha_expand_block_clear): Likewise.
2104         * config/arm/arm.c (thumb_rtx_costs): Likewise.
2105         * config/c4x/c4x.c (c4x_valid_operands): Likewise.
2106         * config/frv/frv.c (move_destination_operand, move_source_operand,
2107         condexec_dest_operand, condexec_source_operand,
2108         condexec_memory_operand): Likewise.
2109         * config/h8300/h8300.h (PREDICATE_CODES): Likewise.
2110         * config/ia64/ia64.c (general_xfmode_operand): Likewise.
2111         (destination_xfmode_operand): Likewise.
2112         * config/mips/mips.h (PREDICATE_CODES): Likewise.
2113         * config/mn10300/mn10300.c (mn10300_address_cost_1): Likewise.
2114         * config/s390/s390.c (general_s_operand): Likewise.
2115         * config/s390/s390.md (mov*): Likewise.
2116         * config/sparc/sparc.h (PREDICATE_CODES): Likewise.
2117
2118         * c-typeck.c (c_mark_addressable): Don't put_var_into_stack.
2119         * expr.c (expand_expr_real_1): Likewise.
2120         * stmt.c (expand_decl): Likewise.
2121         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
2122
2123         * function.c (struct fixup_replacement, struct insns_for_mem_entry,
2124         postponed_insns, put_var_into_stack, put_reg_into_stack,
2125         schedule_fixup_var_refs, fixup_var_refs, find_fixup_replacement,
2126         fixup_var_refs_insns, fixup_var_refs_insns_with_hash,
2127         fixup_var_refs_insn, fixup_var_refs_1, fixup_memory_subreg,
2128         walk_fixup_memory_subreg, fixup_stack_1, optimize_bit_field,
2129         gen_mem_addressof, flush_addressof, put_addressof_into_stack,
2130         purge_bitfield_addressof_replacements, purge_addressof_replacements,
2131         purge_addressof_1, insns_for_mem_hash, insns_for_mem_comp,
2132         struct insns_for_mem_walk_info, insns_for_mem_walk,
2133         compute_insns_for_mem, is_addressof, purge_addressof, setjmp_protect,
2134         setjmp_protect_args): Remove.
2135         (push_function_context_to): Don't handle var_refs_queue.
2136         (pop_function_context_from, free_after_compilation): Likewise.
2137         (instantiate_virtual_regs): Don't handle parm_reg_stack_loc.
2138         (assign_parms, allocate_struct_function): Likewise.
2139         (use_register_for_decl): New.
2140         (expand_function_end): Don't setjmp_protect.
2141         * function.h (struct emit_status): Update commentary.
2142         (struct function): Remove x_max_parm_reg, x_parm_reg_stack_loc.
2143         (max_parm_reg, parm_reg_stack_loc): Remove.
2144         * passes.c (DFI_addressof): Remove.
2145         (dump_file_info): Remove addressof.
2146         (rest_of_handle_addressof): Remove.
2147         (rest_of_compilation): Don't call it.
2148         * rtl.h (ADDRESSOF_REGNO, ADDRESSOF_DECL): Remove.
2149         * stmt.c (expand_decl): Use use_register_for_decl.
2150         * tree.h: Update decls.
2151         * web.c (mark_addressof): Remove.
2152         * doc/invoke.texi (-dF): Remove.
2153
2154 2004-07-03  Richard Henderson  <rth@redhat.com>
2155
2156         * config/ia64/ia64.c (spill_xfmode_operand): Use assign_stack_temp
2157         instead of gen_mem_addressof.
2158         * config/ia64/ia64.md (movxf): Use assign_stack_temp to handle
2159         TImode output register.
2160
2161 2004-07-03  Richard Henderson  <rth@redhat.com>
2162
2163         PR tree-optimization/16341
2164         * tree-sra.c (sra_walk_function): Increment to next stmt before
2165         processing the current stmt.
2166         (sra_insert_after): Always use BSI_SAME_STMT.
2167
2168 2004-07-03  Richard Henderson  <rth@redhat.com>
2169
2170         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Don't fold
2171         fp plus with minus.
2172
2173 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
2174
2175         * tree.c (type_hash_eq): Allow TYPE_MIN_VALUE which compares equal
2176         with tree_int_cst_equal.
2177
2178 2004-07-03  Andreas Schwab  <schwab@suse.de>
2179
2180         * config/ia64/ia64.md: Define new attribute "empty".
2181         (prologue_use, nop_x, insn_group_barrier): Set it.
2182
2183         * config/ia64/ia64.c (ia64_reorg): When looking for trailing call
2184         skip over "empty" insns.
2185
2186 2004-07-03  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2187
2188         * tree-inline.c (initialize_inlined_parameters): Pass proper function
2189         context to gimplify_body.
2190         (walk_tree): Don't walk into types twice.
2191         (walk_tree, case POINTER_TYPE): Deal with mutually recursive pointers.
2192
2193         * tree-sra.c (generate_element_init): Remove any useless conversions.
2194
2195         * gimplify.c (gimplify_conversion): Remove stripping useless
2196         conversions from here.
2197         (gimplify_expr): Put it here, in place of call to STRIP_MAIN_TYPE_NOPS.
2198         (gimplify_modify_expr_to_memcpy, gimplify_variable_sized_compare):
2199         Unshare before substituting PLACEHOLDER_EXPR.
2200         (gimplify_modify_expr_to_memset): Likewise.
2201         Pass address of TO to memset, not TO itself.
2202         (gimplify_init_constructor): Make copy of OBJECT so we have it each
2203         time we make an expression (to match a PLACEHOLDER_EXPR).
2204
2205         * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
2206         VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
2207         * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
2208         * tree-ssa-dom.c (local_fold): Likewise.
2209
2210         * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook.
2211         * langhooks.h (strct lang_hooks): New field type_max_size.
2212         * function.c (assign_temp): Call it.
2213
2214 2004-07-03  Steven Bosscher  <stevenb@suse.de>
2215
2216         * config/sh/sh.c (sh_use_dfa_interface): Add TARGET_SH1.
2217         * config/sh/sh.md: Convert the SH1 pipeline description to
2218         a DFA model.
2219
2220 2004-07-02  Zack Weinberg  <zack@codesourcery.com>
2221
2222         * c-decl.c (struct c_binding): Remove contour field; add
2223         depth, invisible, nested fields.
2224         (B_IN_SCOPE, B_IN_CURRENT_SCOPE, B_IN_FILE_SCOPE)
2225         (B_IN_EXTERNAL_SCOPE): New convenience macros.
2226         (bind): Add invisible and nested arguments. Initialize
2227         new fields of struct c_binding; adjust loop scanning for
2228         insertion point.
2229         (free_binding_and_advance): Clear structure with memset.
2230         (pop_scope): Adjust to match.  Set DECL_CONTEXT on everything
2231         in file scope, even if it's in external scope too.
2232         (pushdecl): Adjust to match.  Create invisible file-scope
2233         declarations for block-scope forward declarations of static functions.
2234         (pushtag, warn_if_shadowing, pushdecl_top_level, implicitly_declare)
2235         (undeclared_variable, lookup_label, declare_label, define_label)
2236         (lookup_tag, lookup_name, lookup_name_in_scope, builtin_function)
2237         (c_make_fname_decl, store_parm_decls_newstyle, identifier_global_value)
2238         (store_parm_decls_oldstyle): Adjust to match.
2239         (diagnose_mismatched_decls): Correct handling of linkage clashes.
2240         (merge_decls): No need to copy C_DECL_IN_EXTERNAL_SCOPE.
2241
2242         * c-tree.h (C_DECL_IN_EXTERNAL_SCOPE): Delete.
2243         (C_DECL_DECLARED_BUILTIN, C_DECL_REGISTER): Slide down one.
2244
2245 2004-07-02  Richard Henderson  <rth@redhat.com>
2246
2247         * c-decl.c (grokdeclarator): Don't frob current_function_decl
2248         around variable_size.
2249         (set_decl_nonlocal): Remove.
2250         (store_parm_decls): Add stmts for pending sizes.
2251         * calls.c (calls_function, calls_function_1): Remove.
2252         (precompute_arguments): Don't call it.
2253         * cfgexpand.c (set_save_expr_context): Remove.
2254         (tree_expand_cfg): Don't call it.
2255         * dwarf2out.c (add_bound_info): Don't handle SAVE_EXPR.
2256         (dwarf2out_finish): Likewise.
2257         * expr.c (emit_block_move): Adjust addresses to BLKmode.
2258         (store_constructor): Don't pre-evaluate SAVE_EXPR.
2259         (safe_from_p): Don't queue SAVE_EXPRs.
2260         (expand_expr_real_1 <case SAVE_EXPR>): Rewrite to expect,
2261         or build plain VAR_DECLs.
2262         * fold-const.c (twoval_comparison_p): Don't look at SAVE_EXPR_RTL.
2263         (fold): Likewise.
2264         (fold_checksum_tree): Don't special-case SAVE_EXPR.
2265         * function.c (free_after_compilation): Don't clear x_save_expr_regs.
2266         (put_var_into_stack): Don't handle SAVE_EXPR.
2267         (gen_mem_addressof): Likewise.
2268         * function.h (struct function): Remove x_save_expr_regs.
2269         (save_expr_regs): Remove.
2270         * gengtype.c (adjust_field_tree_exp): Don't special-case SAVE_EXPR.
2271         * print-tree.c (print_node): Don't dump SAVE_EXPR_NOPLACEHOLDER.
2272         * stor-layout.c (variable_size): Don't set it.
2273         (force_type_save_exprs, force_type_save_exprs_1): Remove.
2274         * tree-inline.c (remap_save_expr): Remove fn argument.  Update
2275         all callers.  Don't set SAVE_EXPR_CONTEXT.
2276         * tree-inline.h (remap_save_expr): Update decl.
2277         * tree.c (save_expr): Update build size.
2278         (first_rtl_op): Don't handle SAVE_EXPR.
2279         (unsave_expr_1, contains_placeholder_p): Likewise.
2280         (decl_function_context): Likewise.
2281         * tree.def (SAVE_EXPR): Remove args 1 and 2.
2282         * tree.h (SAVE_EXPR_CONTEXT, SAVE_EXPR_RTL): Remove.
2283         (SAVE_EXPR_NOPLACEHOLDER, SAVE_EXPR_PERSISTENT_P): Remove.
2284
2285 2004-07-03  Joseph S. Myers  <jsm@polyomino.org.uk>
2286
2287         * doc/bugreport.texi, doc/configterms.texi, doc/contrib.texi,
2288         doc/contribute.texi, doc/cpp.texi, doc/cppinternals.texi,
2289         doc/extend.texi, doc/install.texi, doc/invoke.texi, doc/md.texi,
2290         doc/portability.texi, doc/tree-ssa.texi, doc/trouble.texi: Avoid
2291         some first-person references and patronizing comments.  Based on
2292         printed manual.
2293         * doc/invoke.texi: Don't reference fortran@gnu.org.
2294         * doc/trouble.texi (Warning when a non-void function value is
2295         ignored): Rewrite.  From Russ Allbery and Chris Devers.
2296
2297 2004-07-02  Daniel Berlin  <dberlin@dberlin.org)
2298
2299         * tree-ssa-pre.c (bitmap_set_t): New.
2300         (bb_value_sets): avail_out is now a bitmap_set_t.
2301         (bitmap_find_leader): New function.
2302         (bitmap_value_insert_into_set): Ditto.
2303         (bitmap_set_copy): Ditto.
2304         (bitmap_value_replace_in_set): Ditto.
2305         (bitmap_set_contains_value): Ditto.
2306         (bitmap_set_new): Ditto.
2307         (bitmap_set_pool): New pool.
2308         (find_or_generate_expression): Use bitmap_ functions on AVAIL sets.
2309         (insert_aux): Ditto.
2310         (add_to_sets): Ditto.
2311         (compute_avail): Ditto
2312         (eliminate): Ditto.
2313         (init_pre): Ditto.
2314         (fini_pre): Ditto.
2315         (execute_pre): Ditto.
2316
2317 2004-07-02  Roger Sayle  <roger@eyesopen.com>
2318
2319         * config/rs6000/rs6000.c (struct processor_costs): New structure
2320         used to hold instruction latencies/sizes for processor types.
2321         (rs6000_cost): New global variable pointing to current CPU's costs.
2322         (rs6000_override_options): Initialize rs6000_cost to point to the
2323         appropriate cost table based upon rs6000_cpu and optimize_size.
2324         (rs6000_rtx_costs): Use rs6000_cost to avoid hardcoding processor
2325         timings inline.
2326
2327 2004-07-02  Richard Henderson  <rth@redhat.com>
2328
2329         * expmed.c (make_tree): Don't use SET_DECL_RTL.
2330
2331 2004-07-02  Steven Bosscher  <stevenb@suse.de>
2332
2333         * tree-flow.h (bb_ann_d): Remove ephi_nodes field.
2334
2335 2004-07-01  Richard Henderson  <rth@redhat.com>
2336
2337         * config/alpha/alpha.c (struct machine_function): Add gp_save_rtx.
2338         (alpha_gp_save_rtx): Use assign_stack_local instead of
2339         gen_mem_addressof.
2340
2341 2004-07-01  Richard Henderson  <rth@redhat.com>
2342
2343         * config/alpha/alpha.c (struct alpha_rtx_cost_data): Add int_div.
2344         (alpha_rtx_cost_data): Update to match.
2345         (alpha_rtx_cost_size): New.
2346         (alpha_rtx_costs): Honor optimize_size.
2347
2348 2004-07-01  Richard Henderson  <rth@redhat.com>
2349
2350         * gimple-low.c (lower_function_body): Don't reset_block_changes here.
2351         * cfgexpand.c (tree_expand_cfg): Do it here.
2352         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): And here.
2353         * config/ia64/ia64.c (ia64_output_mi_thunk): And here.
2354         * config/mips/mips.c (mips_output_mi_thunk): And here.
2355         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): And here.
2356         * config/sh/sh.c (sh_output_mi_thunk): And here.
2357         * config/sparc/sparc.c (sparc_output_mi_thunk): And here.
2358
2359 2004-07-01  Richard Henderson  <rth@redhat.com>
2360
2361         * tree.def (RTL_EXPR): Remove.
2362         * c-typeck.c (lvalue_p): Don't handle it.
2363         * expr.c (safe_from_p): Likewise.
2364         (expand_expr_real_1): Likewise.
2365         * fold-const.c (non_lvalue, operand_equal_p, fold): Likewise.
2366         (fold_checksum_tree, tree_expr_nonnegative_p): Likewise.
2367         * gengtype.c (adjust_field_tree_exp): Likewise.
2368         * stmt.c (warn_if_unused_value): Likewise.
2369         * tree-gimple.c (recalculate_side_effects): Likewise.
2370         * tree-pretty-print.c (dump_generic_node): Likewise.
2371         * tree.c (make_node_stat, first_rtl_op, unsave_expr_1): Likewise.
2372         (unsafe_for_reeval, stabilize_reference, build1_stat): Likewise.
2373         * tree.h (RTL_EXPR_SEQUENCE, RTL_EXPR_RTL, RTL_EXPR_ALT_RTL): Remove.
2374
2375         * stmt.c (struct stmt_status): Remove x_last_expr_type,
2376         x_last_expr_value, x_last_expr_alt_rtl, x_expr_stmts_for_value.
2377         (last_expr_type, last_expr_value, last_expr_alt_rtl): Remove.
2378         (expand_expr_stmt): Merge with expand_expr_stmt_value.  Remove
2379         all the bits that tracked last_expr.
2380         (expand_end_bindings): Don't track last_expr.
2381         (expand_start_stmt_expr, expand_end_stmt_expr): Remove.
2382         (clear_last_expr): Remove.
2383         (expand_asm): Don't call it.
2384         (expand_asm_operands, expand_end_cond): Likewise.
2385         (expand_naked_return, expand_null_return_1): Likewise.
2386         * c-typeck.c (c_begin_compound_stmt): Likewise.
2387         * cfgexpand.c (expand_block): Use expand_expr_stmt.
2388         * expr.c (expand_expr_real_1): Likewise.
2389         * tree.h: Update prototypes.
2390
2391         * function.h (struct sequence_stack): Remove sequence_rtl_expr.
2392         (struct emit_status): Remove sequence_rtl_expr.
2393         (struct function): Remove x_rtl_expr_chain.
2394         (seq_rtl_expr, rtl_expr_chain): Remove.
2395         * function.c (struct temp_slot): Remove rtl_expr.
2396         (assign_stack_temp_for_type): Don't set it.
2397         (free_temp_slots, pop_temp_slots): Don't check it.
2398         (free_after_compilation): Don't clear x_rtl_expr_chain.
2399         (fixup_var_refs): Don't search it.
2400         (preserve_rtl_expr_result, free_temps_for_rtl_expr): Remove.
2401         * emit-rtl.c (start_sequence): Don't use sequence_rtl_expr
2402         or seq_rtl_expr.
2403         (push_topmost_sequence): Likewise.
2404         (end_sequence, init_emit): Likewise.
2405         (start_sequence_for_rtl_expr): Remove.
2406         * expmed.c (make_tree): Build a VAR_DECL instead of an RTL_EXPR.
2407         * rtl.h (preserve_rtl_expr_result): Remove.
2408
2409 2004-07-02  Kazu Hirata  <kazu@cs.umass.edu>
2410
2411         * ifcvt.c, modulo-sched.c, tree-alias-common.c, tree-sra.c,
2412         tree-ssa-copy.c, tree-ssa-dom.c, tree-ssa-pre.c: Fix comment
2413         typos.
2414
2415 2004-07-02  Aaron W. LaFramboise <aaronraolete36@aaronwl.com>
2416
2417         * gcc.c (STANDARD_STARTFILE_PREFIX_1): Define.
2418         (STANDARD_STARTFILE_PREFIX_2): Define.
2419         (standard_startfile_prefix_1): Initialize to
2420         STANDARD_STARTFILE_PREFIX_1.
2421         (standard_startfile_prefix_2): Initialize to
2422         STANDARD_STARTFILE_PREFIX_2.
2423         * config/i386/mingw32.h (MD_STARTFILE_PREFIX): Remove.
2424         (STANDARD_STARTFILE_PREFIX_1): Define.
2425         (STANDARD_STARTFILE_PREFIX_2): Define.
2426         * doc/tm.texi (STANDARD_STARTFILE_PREFIX_1): Document.
2427         (STANDARD_STARTFILE_PREFIX_2): Document.
2428
2429 2004-07-01  Richard Henderson  <rth@redhat.com>
2430
2431         * tree-sra.c (sra_walk_expr): Don't maybe_lookup_element_for_expr
2432         in order to disable scalarization.  Instead set a flag and wait
2433         for a candidate decl.
2434
2435 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
2436
2437         * doc/cppinternals.texi, doc/install.texi, doc/invoke.texi,
2438         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi, doc/trouble.texi:
2439         Use terminology "testsuite" and "enumerated".
2440
2441 2004-07-01  Richard Henderson  <rth@redhat.com>
2442
2443         * dwarf2out.c (reg_save): Use INVALID_REGNUM.
2444         (dwarf2out_reg_save, dwarf2out_return_save): Likewise.
2445         (initial_return_save): Likewise.
2446         (flush_queued_reg_saves): Remap register numbers.
2447         (dwarf2out_return_reg): Likewise.
2448
2449 2004-07-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2450
2451         * gimplify.c (gimplify_one_sizepos): Don't do anything if any VAR_DECL.
2452
2453         * tree-pretty-print.c (dump_generic_node, case ARRAY_REF): Use
2454         access functions for lower bound and element size and only output
2455         if lower bound nonzero or element size not same as that of type.
2456         (dump_generic_node, case COMPONENT_REF): Use access func. for offset.
2457
2458 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2459
2460         * c-pretty-print.c (pp_c_postfix_expression): Fix pasto.
2461
2462 2004-07-01  Per Bothner  <per@bothner.com>
2463
2464         * final.c (final):  Fix typo reported by Aaron W. LaFramboise.
2465
2466 2004-07-01  Jakub Jelinek  <jakub@redhat.com>
2467
2468         * expr.c (expand_assignment): Optimize bitfld += cst for 1 bit
2469         bitfields as well.  STRIP_NOPS from src operand and PLUS_EXPR's
2470         first operand.  Don't optimize if the bitfield is volatile.
2471
2472 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2473
2474         * c-pretty-print.c (pp_c_postfix_expression): Handle
2475         floating-point comparison operators.
2476         (pp_c_expression): Pass floating-point comparison
2477         operators to pp_c_postfix_expression.
2478
2479 2004-07-01  Roger Sayle  <roger@eyesopen.com>
2480
2481         * simplify-rtx.c (simplify_binary_operation) <PLUS, MINUS>: Use
2482         rtx_cost instead of "had_mult" to determine whether the transformed
2483         expression is cheaper than the original.
2484
2485 2004-07-01  Jerry Quinn  <jlquinn@optonline.net>
2486
2487         * alias.c (get_alias_set, canon_rtx, get_addr,
2488         nonoverlapping_memrefs_p, nonlocal_referenced_p_1, memory_modified_1):
2489         Use MEM_P.
2490         * builtins.c (expand_builtin_prefetch, expand_builtin_profile_func,
2491         expand_builtin): Likewise.
2492         * calls.c (expand_call, emit_library_call_value_1, store_one_arg):
2493         Likewise.
2494         * combine.c (can_combine_p, combinable_i3pat, try_combine,
2495         find_split_point, combine_simplify_rtx, simplify_set, make_extraction,
2496         rtx_equal_for_field_assignment_p, gen_lowpart_for_combine,
2497         record_dead_and_set_regs_1, get_last_value_validate,
2498         mark_used_regs_combine, move_deaths, unmentioned_reg_p_1): Likewise.
2499         * cse.c (check_dependence, canon_hash, equiv_constant,
2500         gen_lowpart_if_possible, cse_insn, invalidate_from_clobbers,
2501         cse_around_loop, cse_check_loop_start, cse_set_around_loop,
2502         count_reg_usage): Likewise.
2503         * cselib.c (rtx_equal_for_cselib_p, add_mem_for_addr, cselib_lookup,
2504         cselib_invalidate_mem, cselib_invalidate_rtx, cselib_record_set,
2505         cselib_record_sets): Likewise.
2506         * dbxout.c (PARM_PASSED_IN_MEMORY, dbxout_symbol,
2507         dbxout_symbol_location, dbxout_parms, dbxout_reg_parms): Likewise.
2508         * ddg.c (mark_mem_use, mark_mem_store, rtx_mem_access_p): Likewise.
2509         * df.c (df_uses_record): Likewise.
2510         * dojump (do_jump): Likewise.
2511         * dwarf2out.c (stack_adjust_offset, mem_loc_descriptor,
2512         loc_descriptor_from_tree, rtl_for_decl_location, add_bound_info,
2513         decl_start_label): Likewise.
2514         * emit-rtl.c (gen_complex_constant_part, gen_highpart,
2515         operand_subword, change_address_1, make_safe_from): Likewise.
2516         * explow.c (break_out_memory_refs, copy_all_regs, validize_mem,
2517         stabilize, force_not_mem): Likewise.
2518         * expmed.c (store_bit_field, store_split_bit_field, extract_bit_field,
2519         expand_mult_const, expand_divmod, emit_store_flag): Likewise.
2520         * expr.c (convert_move, convert_modes, emit_block_move,
2521         emit_group_load, emit_group_store, clear_storage, emit_move_insn,
2522         emit_move_insn_1, expand_assignment, store_expr,
2523         store_constructor_field, store_constructor, store_field,
2524         force_operand, safe_from_p, expand_expr_real_1, expand_increment):
2525         Likewise.
2526         * final.c (cleanup_subreg_operands, alter_subreg,
2527         get_mem_expr_from_op): Likewise.
2528         * flow.c (notice_stack_pointer_modification_1,
2529         init_propagate_block_info, insn_dead_p, mark_set_1, mark_used_regs):
2530         Likewise.
2531         * function.c (mark_temp_addr_taken, preserve_temp_slots,
2532         preserve_rtl_expr_result, put_var_into_stack, fixup_var_refs_1,
2533         optimize_bit_field, flush_addressof, purge_addressof_1,
2534         instantiate_decl, instantiate_virtual_regs_1, assign_parms,
2535         setjmp_protect, setjmp_protect_args, fix_lexical_addr,
2536         keep_stack_depressed): Likewise.
2537         * ifcvt.c (noce_try_cmove_arith, noce_try_abs, noce_operand_ok,
2538         noce_process_if_block, find_memory): Likewise.
2539         * integrate.c (subst_constants, allocate_initial_values): Likewise.
2540         * local-alloc.c (validate_equiv_mem_from_store, memref_referenced_p,
2541         update_equiv_regs): Likewise.
2542         * loop.c (scan_loop, prescan_loop, note_addr_stored, check_store,
2543         maybe_eliminate_biv_1, find_mem_in_note_1): Likewise.
2544         * optabs.c (expand_abs, emit_unop_insn): Likewise.
2545         * passes.c (rest_of_handle_final): Likewise.
2546         * postreload.c (reload_cse_simplify_set, reload_cse_simplify_operands,
2547         move2add_note_store): Likewise.
2548         * ra-build.c (detect_remat_webs): Likewise.
2549         * ra-debug.c (dump_static_insn_cost): Likewise.
2550         * ra-rewrite.c (slots_overlap_p, insert_stores): Likewise.
2551         * recog.c (validate_change, apply_change_group, cancel_changes,
2552         validate_replace_rtx_1, general_operand, register_operand,
2553         nonmemory_operand, push_operand, pop_operand, memory_operand,
2554         indirect_operand, asm_operand_ok, offsettable_memref_p,
2555         offsettable_nonstrict_memref_p, constrain_operands,
2556         store_data_bypass_p): Likewise.
2557         * reg-stack.c (subst_stack_regs_pat): Likewise.
2558         * regclass.c (record_operand_costs, scan_one_insn, record_reg_classes,
2559         copy_cost, reg_scan_mark_refs): Likewise.
2560         * regmove.c (optimize_reg_copy_3, stack_memref_p,
2561         combine_stack_adjustments_for_block): Likewise.
2562         * regrename.c (copyprop_hardreg_forward_1): Likewise.
2563         * reload.c (can_reload_into, push_reload, decompose, immune_p,
2564         find_reloads, find_reloads_address, find_reloads_address_1,
2565         reg_overlap_mentioned_for_reload_p, refers_to_mem_for_reload_p,
2566         find_equiv_reg): Likewise.
2567         * reload1.c (reload, eliminate_regs, eliminate_regs_in_insn,
2568         reload_as_needed, choose_reload_regs, emit_input_reload_insns,
2569         do_input_reload, emit_reload_insns, gen_reload, delete_output_reload,
2570         delete_address_reloads): Likewise.
2571         * resource.c (mark_referenced_resources): Likewise.
2572         * rtlanal.c (get_jump_table_offset, count_occurrences,
2573         reg_referenced_p, reg_set_p, set_of_1, set_noop_p,
2574         reg_overlap_mentioned_p, note_uses, replace_regs, nonzero_bits1,
2575         num_sign_bit_copies1): Likewise.
2576         * rtlhooks.c (gen_lowpart_general): Likewise.
2577         * sched-deps.c (sched_analyze_1, sched_analyze_2): Likewise.
2578         * sdbout.c (PARM_PASSED_IN_MEMORY, sdbout_symbol,
2579         sdbout_toplevel_data, sdbout_parms, sdbout_reg_parms,
2580         sdbout_global_decl): Likewise.
2581         * simplify-rtx.c (simplify_subreg): Likewise.
2582         * stmt.c (expand_asm_operands, expand_expr_stmt_value, expand_decl,
2583         expand_anon_union_decl, expand_end_case_type): Likewise.
2584         * unroll.c (calculate_giv_inc): Likewise.
2585         * var-tracking.c (stack_adjust_offset_pre_post,
2586         bb_stack_adjust_offset, track_expr_p, count_uses, add_uses,
2587         add_stores, compute_bb_dataflow, vt_get_decl_and_offset,
2588         vt_add_function_parameters): Likewise.
2589         * varasm.c (make_var_volatile, notice_global_symbol,
2590         assemble_external, decode_addr_const, mark_weak,
2591         default_encode_section_info): Likewise.
2592
2593 2004-07-01  Steven Bosscher  <stevenb@suse.de>
2594
2595         * stmt.c (check_seenlabel): Remove.
2596         (pushcase, pushcase_range, expand_end_case_type): Don't call it.
2597
2598 2004-07-01  Richard Henderson  <rth@redhat.com>
2599
2600         * function.h (struct function): Remove x_function_call_count.
2601         (function_call_count): Remove.
2602         * calls.c (expand_call): Don't set it.
2603         * integrate.c (copy_rtx_and_substitute): Likewise.
2604
2605         * function.h (struct function): Remove x_cleanup_label.
2606         (cleanup_label): Remove.
2607         * stmt.c (expand_value_return): Don't use it.
2608         * function.c (free_after_compilation): Don't set it.
2609         (expand_function_start): Likewise.  Remove parms_have_cleanups arg.
2610         * cfgexpand.c (tree_expand_cfg): Update call.
2611         * tree.h (expand_function_start): Update decl.
2612
2613 2004-07-01  Joseph S. Myers  <jsm@polyomino.org.uk>
2614
2615         PR c/1027
2616         * c-lang.c (c_initialize_diagnostics): Move from here ...
2617         * c-objc-common.c: ... to here.  Include "c-pretty-print.h".
2618         (c_tree_printer): Use pretty-printer to format %T.
2619         * c-pretty-print.c (pp_c_specifier_qualifier_list): Include space
2620         before '*' if not C++.
2621         (pp_c_direct_abstract_declarator): Don't try to print array upper
2622         bound for flexible array members.
2623         * c-tree.h: Include "diagnostic.h".
2624         (c_initialize_diagnostics): Declare.
2625         * objc/objc-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTICS): Define.
2626         * c-format.c (format_type_warning): New function.  Improve
2627         diagnostics for incorrect format argument types.
2628         (check_format_types): Use it.  Add two parameters.  Use the
2629         TYPE_MAIN_VARIANT of wanted_type.
2630         (check_format_info_main): Pass new parameters to
2631         check_format_types.
2632         (struct format_wanted_type): Update comment.
2633
2634 2004-07-01  Nick Clifton  <nickc@redhat.com>
2635
2636         * target.h (struct gcc_target): Add new field to struct cxx:
2637         import_export_class.
2638         * target-def.h (TARGET_CXX): Initialise the new field.
2639         (TARGET_CXX_IMPORT_EXPORT_CLASS): Provide a default value for
2640         the new field.
2641         * doc/tm.texi: Document the new target hook.
2642
2643 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2644
2645         * builtins.c (fold_builtin_classify): Fix typo.
2646
2647 2004-07-01  Richard Henderson  <rth@redhat.com>
2648
2649         * function.c (identify_blocks, identify_blocks_1): Remove.
2650         * function.h (identify_blocks): Remove.
2651         * rtl.h (NOTE_INSN_BLOCK_BEG): Update comment.
2652
2653 2004-07-01  Paolo Bonzini  <bonzini@gnu.org>
2654
2655         * builtins.c (fold_builtin_classify): New.
2656         (fold_builtin_unordered_cmp): Fix commentary.
2657         (fold_builtin): Use it.
2658         * builtins.def: Define builtins for isnan,
2659         isnanf, isnanl, finite, finitef, finitel,
2660         isinf, isinff, isinfl.
2661
2662 2004-07-01  Richard Henderson  <rth@redhat.com>
2663
2664         * function.h (struct function): Remove dont_emit_block_notes.
2665         * gimple-low.c (lower_function_body): Don't set it.
2666         * cfgexpand.c (expand_block): Don't check it.
2667         * cfglayout.c (insn_locators_initialize): Likewise.
2668         * expr.c (expand_expr_real, expand_expr_real_1): Likewise.
2669         * passes.c (rest_of_compilation): Likewise.
2670         * stmt.c (expand_start_bindings_and_block): Likewise.
2671         (expand_end_bindings): Likewise.
2672
2673 2004-07-01  Richard Henderson  <rth@redhat.com>
2674
2675         * cgraph.h (cgraph_build_static_cdtor): Declare.
2676         * cgraphunit.c (cgraph_build_static_cdtor): New.
2677         * c-objc-common.c (build_cdtor): Use it.
2678         * coverage.c (create_coverage): Likewise.
2679         * libfuncs.h (LTI_gcov_init, gcov_init_libfunc): Remove.
2680         * optabs.c (init_optabs): Don't set gcov_init_libfunc.
2681
2682 See ChangeLog.11 for earlier changes.