gcc/ChangeLog

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