gcc/ChangeLog

   1 2007-05-02  Richard Guenther  <rguenther@suse.de>
   2
   3         PR tree-optimization/31146
   4         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
   5         argument, single_use_p.  If we have a single use that is
   6         a conversion to the definition rhs type, propagate that rhs.
   7         (forward_propagate_addr_expr): Pass single_use_p argument
   8         to forward_propagate_addr_expr_1.
   9
  10 2007-05-01  H.J. Lu  <hongjiu.lu@intel.com>
  11
  12         * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
  13         variable.
  14
  15 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
  16
  17         * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
  18         'AMD Family 10 core'.
  19
  20 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
  21
  22         * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
  23         and athlon64-sse3 as improved versions of k8, opteron and athlon64
  24         with SSE3 instruction set support.
  25         * doc/invoke.texi: Likewise.
  26
  27 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
  28
  29         * config/i386/i386.c (override_options): Tuning 32-byte loop
  30         alignment for amdfam10 architecture. Increasing the max loop
  31         alignment to 24 bytes.
  32
  33 2007-05-01  Kazu Hirata  <kazu@codesourcery.com>
  34
  35         * config/m68k/constraints.md: New.
  36         * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
  37         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
  38         EXTRA_CONSTRAINT): Remove.
  39         * config/m68k/m68k.md: Include constraints.md.
  40         * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
  41
  42 2007-05-01  Ian Lance Taylor  <iant@google.com>
  43
  44         PR tree-optimization/31739
  45         * tree-vrp.c (vrp_val_is_max): New static function.
  46         (vrp_val_is_min): New static function.
  47         (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
  48         copying the node.
  49         (set_value_range): Use vrp_val_is_{max,min}.
  50         (extract_range_from_assert): Likewise.
  51         (extract_range_from_binary_expr): Likewise.
  52         (extract_range_from_unary_expr): Likewise.
  53         (dump_value_range, vrp_meet): Likewise.
  54         (vrp_visit_phi_node): Likewise.
  55         * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
  56
  57 2007-05-01  Mark Mitchell  <mark@codesourcery.com>
  58
  59         * config/i386/gmon-sol2.c (size_t): New type.
  60         (intptr_t): Likewise.
  61         (s_textsize): Declare as size_t.
  62         (sbrk): Declare.
  63         (monstartup): Use size_t for sizes.
  64         (_mcount): Save and restore registers.
  65         (internal_mcount): Pass 0 as the first argument to monstartup
  66         in 64-bit mode.
  67         (moncontrol): Convert pointer to appropriately sized integer
  68         before passing to profil.
  69
  70 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
  71
  72         * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
  73         __NO_FPRS__, not just if _SOFT_DOUBLE.
  74         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
  75         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
  76         also for E500 double.
  77         * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
  78         suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
  79         && !TARGET_FPRS).
  80
  81 2007-05-01  Richard Guenther  <rguenther@suse.de>
  82
  83         * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
  84         is NULL.
  85
  86 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
  87
  88         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
  89
  90 2007-05-01  Jan Hubicka  <jh@suse.cz>
  91
  92         * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
  93         invariant.
  94
  95 2007-05-01  Jan Hubicka  <jh@suse.cz>
  96
  97         * tree.h (maybe_fold_offset_to_component_ref): Remove.
  98         (maybe_fold_offset_to_reference): Declare.
  99         * fold-const.c (fold_unary): Do not fold
 100         (type *)&A into &A->field_of_type_and_offset_0
 101         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
 102         size is unknown, give up.
 103         (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
 104         offsets.
 105         (maybe_fold_offset_to_reference): New.
 106         (maybe_fold_stmt_indirect): Use it.
 107         (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
 108         * gimplify.c (gimplify_conversion): Canonicalize conversions to
 109         field references.
 110         (gimplify_expr): Likewise for plus_expr.
 111
 112 2007-05-01  Zdenek Dvorak  <dvorakz@suse.cz>
 113
 114         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
 115         bsi_after_labels.  Always insert statements before bsi.
 116         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
 117         * predict.c (apply_return_prediction): Check for empty blocks.
 118         * cfgexpand.c (lab_rtx_for_bb): New variable.
 119         (label_rtx_for_bb): Do not create new tree labels.
 120         (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
 121         (tree_expand_cfg): Initialize lab_rtx_for_bb.
 122         * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
 123         creating edges.
 124         (label_for_bb): Add field used.
 125         (update_eh_label, main_block_label): Mark the label used.
 126         (cleanup_dead_labels): Remove unused labels.
 127
 128 2007-05-01  Richard Guenther  <rguenther@suse.de>
 129
 130         * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
 131         if it is not about to be set.
 132         (get_value_range): Do not pre-allocate equiv bitmap.
 133         (update_value_range): No need to clear equiv field.
 134         (add_equivalence): Change prototype to get bitmap pointer.
 135         Allocate bitmap here if it is not already.
 136         (extract_range_from_assert): Do not allocate bitmap here.
 137         Update callers to add_equivalence.
 138         (extract_range_from_ssa_name): Likewise.
 139         (get_vr_for_comparison): New static helper.
 140         (compare_name_with_value): Handle NULL equiv bitmap by
 141         peeling the first iteration of the comparison loop.
 142         Use get_vr_for_comparison.
 143         (compare_names): Handle NULL equiv bitmaps by using fake
 144         ones.  Use get_vr_for_comparison.
 145
 146 2007-04-30  Brooks Moses  <brooks.moses@codesourcery.com>
 147
 148         * double-int.c (mpz_set_double_int): Moved from
 149         tree-ssa-loop-niter.c.
 150         (mpz_get_double_int): Likewise; also, add option to wrap
 151         out-of-range integers.
 152         * double-int.h: New prototypes for above.
 153         * tree.c (get_static_type_bounds): Moved from
 154         tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
 155         TYPE_MAX_VALUE if they exist..
 156         * tree.h: New prototype for above.
 157         * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
 158         get_type_bounds calls.
 159         (mpz_set_double_int): Move to double-int.c.
 160         (get_type_bounds): Move to tree.c, rename to
 161         get_static_type_bounds.
 162         (mpz_to_double_int): Move to double-int.c, rename to
 163         mpz_get_double_int.
 164
 165 2007-04-30  Bob Wilson  <bob.wilson@acm.org>
 166
 167         * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
 168         DIV0 exception can fall through to a normal return.
 169
 170 2007-04-30  Alexandre Oliva  <aoliva@redhat.com>
 171
 172         PR middle-end/22156
 173         Temporarily revert:
 174         2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
 175         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
 176         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
 177         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
 178         initialize align to silence bogus warning.
 179         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
 180         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
 181         all_no_warning.
 182         (struct sra_walk_fns): Remove use_all parameter from use.
 183         (sra_hash_tree): Handle BIT_FIELD_REFs.
 184         (sra_elt_hash): Don't hash bitfld blocks.
 185         (sra_elt_eq): Skip them in parent compares as well.  Handle
 186         BIT_FIELD_REFs.
 187         (sra_walk_expr): Don't maintain or pass down use_all_p.
 188         (scan_use): Remove use_all parameter.
 189         (scalarize_use): Likewise.  Re-expand assignment to
 190         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
 191         output, and re-scalarize after output.  Don't mark anything
 192         for no warning.
 193         (scalarize_ldst): Adjust.
 194         (scalarize_walk_gimple_modify_statement): Likewise.
 195         (build_element_name_1): Handle BIT_FIELD_REFs.
 196         (instantiate_element): Don't warn for any element whose parent
 197         is used as a whole.
 198         (instantiate_missing_elements_1): Return the sra_elt.
 199         (canon_type_for_field): New.
 200         (try_instantiate_multiple_fields): New.
 201         (instantiate_missing_elemnts): Use them.
 202         (mark_no_warning): Removed.
 203         (generate_one_element_ref): Handle BIT_FIELD_REFs.
 204         (REPLDUP, sra_build_elt_assignment): New.
 205         (generate_copy_inout): Use them.
 206         (generate_element_copy): Likewise.  Handle bitfld differences.
 207         (generate_element_zero): Don't recurse for blocks.  Use
 208         sra_build_elt_assignment.
 209         (generate_one_element_int): Take elt instead of var.  Use
 210         sra_build_elt_assignment.
 211         (generate_element_init_1): Adjust.
 212         (scalarize_use, scalarize_copy): Use REPLDUP.
 213         (scalarize_ldst): Move assert before dereference.
 214         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
 215
 216 2007-04-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 217
 218         PR C++/31721
 219         * tree.c (reconstruct_complex_type): Reconstruct a reference
 220         correctly.
 221         Also use the same mode for the pointer as the old pointer type.
 222
 223 2007-04-30  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
 224
 225         * doc/trouble.texi (Interoperation): Remove note about Ultrix
 226         Fortran compiler.
 227
 228 2007-04-29  Zdenek Dvorak  <dvorakz@suse.cz>
 229
 230         PR rtl-optimization/31676
 231         * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
 232         (df_refs_record): Call it.
 233
 234 2007-04-29  Bernd Schmidt  <bernd.schmidt@analog.com>
 235
 236         * rtl.def (SS_ABS): New code.
 237         * config/bfin/bfin.c (print_operand): New modifier 'v'.
 238         (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
 239         BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
 240         BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
 241         (bfin_init_builtins): Define them.
 242         (bdesc_1arg, bdesc_2arg): Add some of them here, ...
 243         (bfin_expand_builtin): ... and handle the others here.
 244         * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
 245         flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
 246         (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
 247         (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
 248         operand is only HImode.
 249
 250 2007-04-29  Steven Bosscher  <steven@gcc.gnu.org>
 251
 252         * regclass.c (scan_one_insn): Remove splitting of
 253         two address insns.
 254
 255 2007-04-28  Sandra Loosemore  <sandra@codesourcery.com>
 256             Nigel Stephens  <nigel@mips.com>
 257
 258         * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
 259
 260 2007-04-28  Jan Hubicka  <jh@suse.cz>
 261
 262         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
 263         insn_locators_alloc instead of insn_locators_initialize;
 264         call reset_block_changes.
 265         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
 266         * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
 267         * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
 268         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
 269         * config/score/score.c (th_output_mi_thunk): Likewise.
 270         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
 271         * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
 272         tolerate uninitialized locator info.
 273
 274         Re-apply:
 275         * function.c (init_function_start): Don't init line number info.
 276         (expand_function_end): Update.
 277         (reset_block_changes, record_block_change, finalize_block_changes,
 278         check_block_change, free_block_changes): Kill.
 279         * function.h (reset_block_changes, record_block_change,
 280         finalize_block_changes, check_block_change, free_block_changes): Remove
 281         prototypes.
 282         (struct function): Remove ib_boundaries_block.
 283         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
 284         Use curr_insn_locator to initialize locator.
 285         (emit_line_note): Remove.
 286         * cfgexpand.c (expand_gimple_cond_expr): Update.
 287         (construct_exit_block): Likewise.
 288         (tree_expand_cfg): Initialize/finalize locators.
 289         * expr.c (expand_expr_real): Update.
 290         * cfglayout.c (line_locators_locs, line_locators_lines,
 291         file_locators_locs, file_locators_files): Remove.
 292         (set_block_levels): Move to cfgexpand.c.
 293         (insn_locators_initialize): Remove.
 294         (pass_insn_locators_initialize): Remove.
 295         (locations_locators_locs, locations_locators_vals): New static vars.
 296         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
 297         Likewise.
 298         (insn_locators_alloc, insn_locators_finalize,
 299         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
 300         New functions.
 301         (locator_location): New.
 302         (locator_line, locator_file): Rewrite.
 303         * rtl.h (emit_line_note): Kill.
 304         (insn_locators_alloc, insn_locators_finalize,
 305         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
 306         Declare.
 307         * tree-inline.c (initialize_cfun): Do not initialize
 308         ib_boundaries_block.
 309         * passes.c (pass_insn_locators_initialize): Remove.
 310
 311 2007-04-28  Zdenek Dvorak  <dvorakz@suse.cz>
 312
 313         * tree-cfg.c (move_block_to_fn): Release bb from dominance
 314         info.  Update last_basic_block correctly.
 315
 316 2007-04-27  Kaz Kojima  <kkojima@gcc.gnu.org>
 317
 318         PR target/31701
 319         * config/sh/sh.c (output_stack_adjust): Avoid using the frame
 320         register itself to hold the offset constant.  Tell flow the use
 321         of r4 and r5 when they are used.
 322
 323 2007-04-27  Richard Guenther  <rguenther@suse.de>
 324
 325         * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
 326         if we simplified anything.
 327         (tree_ssa_forward_propagate_single_use_vars): Defer overflow
 328         warnings until we did a simplification and the stmt was not
 329         marked as TREE_NO_WARNING.
 330
 331 2007-04-27  Mike Stump  <mrs@apple.com>
 332
 333         * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
 334
 335 2007-04-27  Ian Lance Taylor  <iant@google.com>
 336
 337         PR middle-end/31710
 338         * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
 339         TYPE_MAX_VALUE exist, convert them to the new type.
 340
 341 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
 342
 343         * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
 344         if it claims to be available.
 345         * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
 346         edge is redirected.
 347         (perform_tree_ssa_dce): Always free postdominators.
 348
 349 2007-04-27  Richard Henderson  <rth@redhat.com>
 350
 351         * config/alpha/predicates.md (aligned_memory_operand): Mark
 352         as define_special_predicate.
 353         (unaligned_memory_operand, normal_memory_operand): Likewise.
 354         (reg_or_unaligned_mem_operand): Remove.
 355         (any_memory_operand): Match the documentation and check for
 356         non-renumbered pseudos during reload.
 357         * config/alpha/alpha.c (alpha_secondary_reload): Rename from
 358         alpha_secondary_reload_class, update to new interface, make static.
 359         Handle CQImode like HImode.  Remove FP subreg check.
 360         (alpha_expand_mov): Use replace_equiv_address.
 361         (alpha_expand_mov_nobwx): Use any_memory_operand.
 362         (TARGET_SECONDARY_RELOAD): New.
 363         * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
 364         (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
 365         * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
 366         * config/alpha/alpha.md: ... here.
 367         (RELOAD12, reloadmode): New.
 368         (movcqi): New.
 369         (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
 370         Don't handle the aligned case here.
 371         (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
 372         (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
 373         reload_inhi_help.  Don't expect a scratch register.
 374         (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
 375         reload_outhi_help.
 376         * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
 377
 378 2007-04-27  Richard Guenther  <rguenther@suse.de>
 379
 380         * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
 381
 382 2007-04-27  Richard Guenther  <rguenther@suse.de>
 383
 384         PR tree-optimization/30965
 385         PR tree-optimization/30978
 386         * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
 387         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
 388         (find_equivalent_equality_comparison): Likewise.
 389         (simplify_cond): Likewise.
 390         (get_prop_source_stmt): New helper.
 391         (get_prop_dest_stmt): Likewise.
 392         (can_propagate_from): Likewise.
 393         (remove_prop_source_from_use): Likewise.
 394         (combine_cond_expr_cond): Likewise.
 395         (forward_propagate_comparison): New function.
 396         (forward_propagate_into_cond): Rewrite to use fold for
 397         tree combining.
 398         (tree_ssa_forward_propagate_single_use_vars): Call
 399         forward_propagate_comparison to propagate comparisons.
 400
 401 2007-04-27  Richard Guenther  <rguenther@suse.de>
 402
 403         PR tree-optimization/31715
 404         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
 405         sure to do computation on the offset in an appropriate
 406         signed type.
 407
 408 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
 409
 410         * reload.h (elimination_target_reg_p): Declare.
 411         * reload.c (find_reloads): Don't apply the reg_rtx move
 412         optimization if the SET_DEST satisfies elimination_target_reg_p.
 413         * reload1.c (elimination_target_reg_p): New function.
 414         (gen_reload): In the move/add2 fallback, make sure that op0
 415         does not overlap the destination register.
 416
 417 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
 418
 419         * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
 420         transform only GIMPLE_MODIFY_STMTs.
 421         * tree-complex.c (expand_complex_operations_1): Ditto.
 422         (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
 423         * tree-ssa-loop-manip.c (build_if_stmt): Removed.
 424         (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
 425         branches.
 426         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
 427         tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
 428         * omp-low.c (expand_parallel_call, expand_omp_for_generic,
 429         expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
 430         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
 431         slpeel_add_loop_guard): Ditto.
 432         * tree-mudflap.c (mf_build_check_statement_for): Ditto.
 433         * lambda-code.c (perfect_nestify): Ditto.
 434         * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
 435         before the first statement.
 436         * tree-optimize.c (execute_free_datastructures): Fix comments.
 437         (execute_free_cfg_annotations): Do not call disband_implicit_edges.
 438         * tree-flow.h (disband_implicit_edges): Declaration removed.
 439         * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
 440         branches.
 441         (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
 442         without gotos.
 443         (disband_implicit_edges, has_label_p): Removed.
 444         (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
 445         (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
 446         branches.
 447         * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
 448         side effects.
 449         * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
 450         also for COND_EXPRs.
 451         * cfgexpand.c (label_rtx_for_bb): New function.
 452         (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
 453         Use label_rtx_for_bb to find the labels.
 454         (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
 455         last block.  Detect fallthru edges.
 456
 457 2007-04-26  Ian Lance Taylor  <iant@google.com>
 458
 459         PR target/28675
 460         * reload.c (find_reloads_subreg_address): If the address was valid
 461         in the original mode but not in the new mode, reload the whole
 462         address.
 463
 464 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
 465
 466         * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
 467         (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
 468         (cleanup_control_expr_graph): Do not invalidate dominance info.
 469         Record altered blocks.
 470         (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
 471         (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
 472         cleanup_tree_cfg_bb): New functions.
 473         (remove_forwarder_block): Do not maintain the worklist of blocks.
 474         Record altered blocks.
 475         (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
 476         not over whole cfg.
 477         (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1.  Only call
 478         delete_unreachable_blocks if dominators are not available.
 479         * tree-inline.c (optimize_inline_calls): Free dominance information
 480         earlier.
 481         * tree-flow.h (remove_edge_and_dominated_blocks,
 482         cfgcleanup_altered_bbs): Altered.
 483         * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
 484         blocks.
 485         (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
 486         functions.
 487         (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
 488         do not invalidate dominators.
 489
 490 2007-04-26  Anatoly Sokolov <aesok@post.ru>
 491
 492         * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
 493         ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
 494         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
 495         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
 496
 497 2007-04-26  Steve Ellcey  <sje@cup.hp.com>
 498
 499         * config/ia64/ia64.md (ip_value):  Fix itanium_class attribute.
 500
 501 2007-04-26  Richard Guenther  <rguenther@suse.de>
 502
 503         PR tree-optimization/31703
 504         * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
 505         the right type for the target of the bittest.
 506
 507 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
 508
 509         * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
 510         ix86_sol10_return_in_memory.
 511
 512 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
 513
 514         * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
 515         variables.
 516
 517 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
 518
 519         PR c++/31598
 520         * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
 521
 522         PR tree-optimization/30558
 523         * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
 524         clear this_state.prev_try.
 525
 526 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
 527             Mark Mitchell  <mark@codesourcery.com>
 528
 529         * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
 530         * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
 531         * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
 532
 533 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
 534
 535         PR driver/31107
 536         * doc/invoke.texi (%:print-asm-header): Document.
 537         * gcc.c (asm_options): Use %:print-asm-header() for --target-help
 538         and -ftarget-help.
 539         (static_spec_functions): Add print-asm-header.
 540         (main): Print a banner before the --target-help linker options.
 541         (print_asm_header_spec_function): New function.
 542
 543 2007-04-25  Kaz Kojima  <kkojima@gcc.gnu.org>
 544
 545         PR target/31403
 546         * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
 547         (movsf_ie): Likewise.
 548
 549 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
 550
 551         * doc/extend.texi ([Type Traits]): Adjust per N2255.
 552
 553 2007-04-25  Bob Wilson  <bob.wilson@acm.org>
 554
 555         * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
 556         for divide-by-zero.
 557         (__umodsi3, __modsi3): Likewise.
 558
 559 2007-04-25  Dirk Mueller  <dmueller@suse.de>
 560
 561         * c-typeck.c (build_compound_expr): Annotate warning()
 562         call with OPT_Wunused_value.
 563         * tree-ssa.c (warn_uninit): Annotate warning with
 564         OPT_Wunintialized.
 565         * c-common.c (handle_sentinel_attribute): Annotate warning
 566         call with OPT_Wattributes.
 567
 568 2007-04-25  Thiemo Seufer  <ths@mips.com>
 569
 570         * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
 571         (mips16): Fix typo.
 572         * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
 573         on to the assembler.  Improve handling of -mno-mips16.  Add handling
 574         of -mno-mips3d, -mno-dsp, -mno-dspr2.
 575         * doc/invoke.texi (MIPS Options): Whitespace cleanup.  Fix wrong use
 576         of @itemx.  Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
 577         -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
 578
 579 2007-04-25  Danny Smith  <dannysmith.users.sourceforge.net>
 580
 581         PR target/31680
 582         * config/i386/winnt.c (i386_pe_file_end): Strip only
 583         USER_LABEL_PREFIX when writing export name.
 584
 585 2007-04-25  Richard Sandiford  <richard@codesourcery.com>
 586
 587         * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h.  Include
 588         sh/elf.h, vx-common.h and vxworks.h.
 589         * config/sh/sh.h: Include config/vxworks-dummy.h.
 590         (SUBTARGET_OVERRIDE_OPTIONS): Define.
 591         (OVERRIDE_OPTIONS): Use it.
 592         * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
 593         (vxworks_picreg): New pattern.
 594         * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
 595         VXWORKS_OS_CPP_BUILTINS.
 596         (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
 597         to their VXWORKS_* equivalents.
 598         (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
 599         (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
 600         * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
 601         (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
 602         * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
 603         -mrtp/-fPIC multilibs.
 604         (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
 605         (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
 606         (MULTILIB_OSDIRNAMES): Delete.
 607
 608 2007-04-25  Anatoly Sokolov <aesok@post.ru>
 609
 610         PR target/18989
 611         * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
 612
 613 2007-04-24  Brooks Moses  <brooks.moses@codesourcery.com>
 614
 615         * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
 616         rounding mode to be specified by the caller.
 617         (real_to_mpfr) Likewise.
 618         * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
 619         include new arguments.
 620         * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
 621
 622 2007-04-24  Ian Lance Taylor  <iant@google.com>
 623
 624         PR tree-optimization/31605
 625         * tree-vrp.c (set_value_range): Check that min and max are not
 626         both overflow infinities.
 627         (set_value_range_to_value): New static function.
 628         (extract_range_from_binary_expr): Call set_value_range_to_value.
 629         (extract_range_from_cond_expr): Likewise.
 630         (extract_range_from_expr): Likewise.
 631         (extract_range_from_unary_expr): Likewise.  Don't create a range
 632         which overflows on both sides.
 633         (vrp_meet): Check for a useless range.
 634         (vrp_visit_phi_node): If we see a constant which looks like an
 635         overflow infinity, turn off the TREE_OVERFLOW flag.
 636
 637 2007-04-24  Ian Lance Taylor  <iant@google.com>
 638
 639         * flow.c (elim_reg_cond): Handle a comparison of a subreg.
 640
 641 2007-04-24  Simon Martin  <simartin@users.sourceforge.net>
 642
 643         PR diagnostic/25923
 644         * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
 645         diagnostic message is being built.
 646         * tree-pretty-print.c (dump_generic_node): Only write the
 647         formatted text into BUFFER's stream if we are not building a
 648         diagnostic message.
 649         * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
 650         dump_generic_node.
 651         * Makefile.in (toplev.o): Depend on tree-pass.h.
 652
 653 2007-04-24  Ian Lance Taylor  <iant@google.com>
 654
 655         PR tree-optimization/31602
 656         * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
 657         conditionals in the copied loop header.
 658         * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
 659         warnings if TREE_NO_WARNING is set.
 660         * doc/invoke.texi (Warning Options): Clarify that
 661         -Wstrict-overflow does not warn about loops.
 662
 663 2007-04-24  Janis Johnson  <janis187@us.ibm.com>
 664
 665         * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
 666         expand on the comment about _Decimal128 arguments and check the
 667         integer result of the modulus operation; for 64-bit ELF ABI, ensure
 668         that _Decimal128 argument uses even/odd register pair.
 669         (function_arg): Ditto.
 670
 671 2007-04-24  Hui-May Chang <hm.chang@apple.com>
 672
 673         * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
 674         instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
 675
 676 2007-04-24  Richard Guenther  <rguenther@suse.de>
 677             Olga Golovanevsky  <olga@il.ibm.com>
 678
 679         * fold-const.c (multiple_of_p): Check for bottom
 680         to be zero.
 681
 682 2007-04-24  Richard Henderson  <rth@redhat.com>
 683
 684         * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
 685         IS_IBM_EXTENDED.  Also define in terms of WIDEST_HARDWARE_FP_SIZE.
 686         * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
 687         looking for non-zero bits shifted out.  Avoid a recursive call
 688         when constructing the scalar.
 689         (__floatundisf): Likewise.
 690
 691 2007-04-24  Nathan Froyd  <froydnj@codesourcery.com>
 692
 693         * dwarf2out.c (field_byte_offset): Move the existing logic
 694         under the control of PCC_BITFIELD_TYPE_MATTERS and just use
 695         the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
 696
 697 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
 698
 699         PR target/31641
 700         * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
 701         argument of 0 for memset.
 702         (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
 703         unsigned shift instead of the signed variant.
 704
 705 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
 706
 707         * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
 708         "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
 709         "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
 710         "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
 711         "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
 712         "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
 713         "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
 714         "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
 715         "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
 716         ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
 717         "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
 718         "mul<mode>3", "div<mode>3"): Insn definitions added.
 719         ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
 720         "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
 721         to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
 722         ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
 723         "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
 724         "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
 725         ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
 726         * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
 727         TARGET_FLOAT_FORMAT): Macro definitions removed.
 728         (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
 729         * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
 730         z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
 731         (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
 732         (s390_gen_rtx_const_DI): Function removed.
 733         * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
 734
 735 2007-04-24  Richard Sandiford  <richard@codesourcery.com>
 736
 737         * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
 738         over an external ffs function.
 739
 740 2007-04-24  Chao-ying Fu  <fu@mips.com>
 741             Richard Sandiford  <richard@nildram.co.uk>
 742
 743         * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
 744         * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
 745         (smadd_widen_optab, umadd_widen_optab): Define.
 746         * optabs.c (init_optabs): Initialize smadd_widen_optab and
 747         umadd_widen_optab.
 748         * genopinit.c (optabs): Fill in smadd_widen_optab and
 749         umadd_widen_optab.
 750         * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
 751         and umadd_widen_optab to implement multiply-add sequences.
 752         * config/mips/mips.md (*<su>mul_acc_di): Rename to...
 753         (<u>maddsidi4): ...this.  Extend condition to include
 754         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
 755         of operand 0 to "ka" and use the three-operand form of madd<u>
 756         for TARGET_DSPR2.
 757         * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
 758         to define_expands.
 759         * config/mips/constraints.md (ka): New register constraint.
 760
 761 2007-04-24  Jan Hubicka  <j@suse.cz>
 762
 763         Revert:
 764
 765         2007-04-23  Jan Hubicka  <jh@suse.cz>
 766         * function.c (init_function_start): Don't init line number info.
 767         (expand_function_end): Update.
 768         (reset_block_changes, record_block_change, finalize_block_changes,
 769         check_block_change, free_block_changes): Kill.
 770         * function.h (reset_block_changes, record_block_change,
 771         finalize_block_changes, check_block_change, free_block_changes): Remove
 772         prototypes.
 773         (struct function): Remove ib_boundaries_block.
 774         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
 775         Use curr_insn_locator to initialize locator.
 776         (emit_line_note): Remove.
 777         * cfgexpand.c (expand_gimple_cond_expr): Update.
 778         (construct_exit_block): Likewise.
 779         (tree_expand_cfg): Initialize/finalize locators.
 780         * expr.c (expand_expr_real): Update.
 781         * cfglayout.c (line_locators_locs, line_locators_lines,
 782         file_locators_locs, file_locators_files): Remove.
 783         (set_block_levels): Move to cfgexpand.c.
 784         (insn_locators_initialize): Remove.
 785         (pass_insn_locators_initialize): Remove.
 786         (locations_locators_locs, locations_locators_vals): New static vars.
 787         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
 788         Likewise.
 789         (insn_locators_alloc, insn_locators_finalize,
 790         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
 791         New functions.
 792         (locator_location): New.
 793         (locator_line, locator_file): Rewrite.
 794         * rtl.h (emit_line_note): Kill.
 795         (insn_locators_alloc, insn_locators_finalize,
 796         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
 797         Declare.
 798         * tree-inline.c (initialize_cfun): Do not initialize
 799         ib_boundaries_block.
 800         * passes.c (pass_insn_locators_initialize): Remove.
 801
 802 2007-04-24  Daniel Franke  <franke.daniel@gmail.com>
 803
 804         * doc/invoke.texi: Removed leading '-' from option index entries.
 805
 806 2007-04-23  Zdenek Dvorak  <dvorakz@suse.cz>
 807
 808         * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
 809         Use phi_nodes_ptr.
 810         (create_phi_node): Use set_phi_nodes.
 811         * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
 812         * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
 813         (combine_blocks):  Use bb_stmt_list and set_bb_stmt_list.
 814         * tree-flow-inline.h (phi_nodes, set_phi_nodes,
 815         (bsi_start, bsi_last): Use bb_stmt_list.
 816         (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
 817         * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
 818         Traverse the statements using tsi iterator.
 819         * basic-block.h (struct basic_block_def): Fields stmt_list
 820         and phi_nodes moved to ...
 821         (struct tree_bb_info): ... new structure.
 822         * tree-cfg.c (create_bb): Allocate il.tree.  Use set_bb_stmt_list.
 823         (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
 824         (remove_bb): Handle blocks with NULL stmt list.  Clear il.tree field.
 825         (tree_verify_flow_info): Verify that il.tree is not set for
 826         entry and exit block.
 827         (tree_split_block): Use set_bb_stmt_list.
 828
 829 2007-04-23  Mike Stump  <mrs@apple.com>
 830
 831         * config/i386/i386.c (ix86_tune_features
 832         [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
 833         nocona and core2.
 834
 835 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
 836
 837         * config/i386/i386.md (prefix_extra): New attribute.
 838         (length): Add prefix_extra.
 839
 840         * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
 841         (sse2_movntv2di): Likewise.
 842         (sse2_cvtps2dq): Likewise.
 843         (sse2_cvtpd2pi): Likewise.
 844         (sse2_cvttpd2pi): Likewise.
 845         (*sse2_cvtpd2ps): Likewise.
 846         (*add<mode>3): Likewise.
 847         (sse2_ssadd<mode>3): Likewise.
 848         (sse2_usadd<mode>3): Likewise.
 849         (*sub<mode>3): Likewise.
 850         (sse2_sssub<mode>3): Likewise.
 851         (sse2_ussub<mode>3): Likewise.
 852         (*mulv8hi3): Likewise.
 853         (*smulv8hi3_highpart): Likewise.
 854         (*umulv8hi3_highpart): Likewise.
 855         (sse2_umulv2siv2di3): Likewise.
 856         (sse2_pmaddwd): Likewise.
 857         (ashr<mode>3): Likewise.
 858         (lshr<mode>3): Likewise.
 859         (ashl<mode>3): Likewise.
 860         (sse2_ashlti3): Likewise.
 861         (sse2_lshrti3): Likewise.
 862         (*umaxv16qi3): Likewise.
 863         (*smaxv8hi3): Likewise.
 864         (*uminv16qi3): Likewise.
 865         (*sminv8hi3): Likewise.
 866         (sse2_eq<mode>3): Likewise.
 867         (sse2_gt<mode>3): Likewise.
 868         (*and<mode>3): Likewise.
 869         (sse2_nand<mode>3): Likewise.
 870         (*ior<mode>3): Likewise.
 871         (*xor<mode>3): Likewise.
 872         (sse2_packsswb): Likewise.
 873         (sse2_packssdw): Likewise.
 874         (sse2_packuswb): Likewise.
 875         (sse2_punpckhbw): Likewise.
 876         (sse2_punpcklbw): Likewise.
 877         (sse2_punpckhwd): Likewise.
 878         (sse2_punpcklwd): Likewise.
 879         (sse2_punpckhdq): Likewise.
 880         (sse2_punpckldq): Likewise.
 881         (sse2_punpckhqdq): Likewise.
 882         (sse2_punpcklqdq): Likewise.
 883         (*sse2_pinsrw): Likewise.
 884         (*sse2_pextrw): Likewise.
 885         (sse2_pshufd_1): Likewise.
 886         (sse2_uavgv16qi3): Likewise.
 887         (sse2_uavgv8hi3): Likewise.
 888         (sse2_psadbw): Likewise.
 889         (sse2_pmovmskb): Likewise.
 890         (*sse2_maskmovdqu): Likewise.
 891         (*sse2_maskmovdqu_rex64): Likewise.
 892         (sse4a_extrqi): Likewise.
 893         (sse4a_extrq): Likewise.
 894         (sse3_lddqu): Set prefix_rep.
 895         (sse3_addsubv4sf3): Likewise.
 896         (sse3_haddv4sf3): Likewise.
 897         (sse3_hsubv4sf3): Likewise.
 898         (sse_cvtss2si): Likewise.
 899         (sse_cvtss2si_2): Likewise.
 900         (sse_cvtss2siq): Likewise.
 901         (sse_cvtss2siq_2): Likewise.
 902         (sse_cvttss2si): Likewise.
 903         (sse_cvttss2siq): Likewise.
 904         (sse2_cvttps2dq): Likewise.
 905         (sse3_movshdup): Likewise.
 906         (sse3_movsldup): Likewise.
 907         (sse2_cvtsd2si): Likewise.
 908         (sse2_cvtsd2si_2): Likewise.
 909         (sse2_cvtsd2siq): Likewise.
 910         (sse2_cvtsd2siq_2): Likewise.
 911         (sse2_cvttsd2si): Likewise.
 912         (sse2_cvttsd2siq): Likewise.
 913         (*sse2_cvtpd2dq): Likewise.
 914         (*sse2_cvttpd2dq): Likewise.
 915         (sse2_pshuflw_1): Likewise.
 916         (sse2_pshufhw_1): Likewise.
 917         (sse4a_insertqi): Likewise.
 918         (sse4a_insertq): Likewise.
 919         (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
 920         (ssse3_phadddv4si3): Likewise.
 921         (ssse3_phaddswv8hi3): Likewise.
 922         (ssse3_phsubwv8hi3): Likewise.
 923         (ssse3_phsubdv4si3): Likewise.
 924         (ssse3_phsubswv8hi3): Likewise.
 925         (ssse3_pmaddubswv8hi3): Likewise.
 926         (ssse3_pmulhrswv8hi3): Likewise.
 927         (ssse3_pshufbv16qi3): Likewise.
 928         (ssse3_psign<mode>3): Likewise.
 929         (ssse3_palignrti): Likewise.
 930         (abs<mode>2): Likewise.
 931         (ssse3_phaddwv4hi3): Set prefix_extra.
 932         (ssse3_phadddv2si3): Likewise.
 933         (ssse3_phaddswv4hi3): Likewise.
 934         (ssse3_phsubwv4hi3): Likewise.
 935         (ssse3_phsubdv2si3): Likewise.
 936         (ssse3_phsubswv4hi3): Likewise.
 937         (ssse3_pmaddubswv4hi3): Likewise.
 938         (ssse3_pmulhrswv4hi3): Likewise.
 939         (ssse3_pshufbv8qi3): Likewise.
 940         (ssse3_psign<mode>3): Likewise.
 941         (ssse3_palignrdi): Likewise.
 942         (abs<mode>2): Likewise.
 943         (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
 944         (*vec_dupv2df): Set mode to V2DF instead of V4SF.
 945         (sse2_pmovmskb): Set mode to SI instead of V2DF.
 946
 947 2007-04-23  Nick Clifton  <nickc@redhat.com>
 948
 949         * params.def: Fix formatting of emacs local variables.
 950
 951 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
 952
 953         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
 954         move if inter-unit move isn't allowed.
 955         Don't split moving the first element of V2DI to DI to inter-unit
 956         move if inter-unit move isn't allowed.
 957
 958 2007-04-23  Richard Guenther  <rguenther@suse.de>
 959
 960         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
 961         and CDI_POST_DOMINATORS separately.
 962
 963 2007-04-23  Nick Clifton  <nickc@redhat.com>
 964
 965         * c.opt (Wformat-contains-nul): Add warning attribute.
 966
 967 2007-04-23  Jan Hubicka  <jh@suse.cz>
 968
 969         * function.c (init_function_start): Don't init line number info.
 970         (expand_function_end): Update.
 971         (reset_block_changes, record_block_change, finalize_block_changes,
 972         check_block_change, free_block_changes): Kill.
 973         * function.h (reset_block_changes, record_block_change,
 974         finalize_block_changes, check_block_change, free_block_changes): Remove
 975         prototypes.
 976         (struct function): Remove ib_boundaries_block.
 977         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
 978         Use curr_insn_locator to initialize locator.
 979         (emit_line_note): Remove.
 980         * cfgexpand.c (expand_gimple_cond_expr): Update.
 981         (construct_exit_block): Likewise.
 982         (tree_expand_cfg): Initialize/finalize locators.
 983         * expr.c (expand_expr_real): Update.
 984         * cfglayout.c (line_locators_locs, line_locators_lines,
 985         file_locators_locs, file_locators_files): Remove.
 986         (set_block_levels): Move to cfgexpand.c.
 987         (insn_locators_initialize): Remove.
 988         (pass_insn_locators_initialize): Remove.
 989         (locations_locators_locs, locations_locators_vals): New static vars.
 990         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
 991         Likewise.
 992         (insn_locators_alloc, insn_locators_finalize,
 993         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
 994         New functions.
 995         (locator_location): New.
 996         (locator_line, locator_file): Rewrite.
 997         * rtl.h (emit_line_note): Kill.
 998         (insn_locators_alloc, insn_locators_finalize,
 999         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1000         Declare.
1001         * tree-inline.c (initialize_cfun): Do not initialize
1002         ib_boundaries_block.
1003         * passes.c (pass_insn_locators_initialize): Remove.
1004
1005 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1006
1007         PR middle-end/31448
1008         * expr.c (reduce_to_bit_field_precision): Handle
1009         CONST_INT rtx's.
1010
1011 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
1012
1013         PR tree-optimization/24659
1014         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
1015         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
1016         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
1017         * genopinit.c (optabs): Rename vec_pack_mod_optab
1018         to vec_pack_trunc_optab.
1019         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
1020         early for scalar floating point operands for NOP_EXPR.
1021         (vectorizable_type_promotion): Ditto.
1022         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
1023         vec_pack_trunc_optab.
1024         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
1025
1026         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
1027         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
1028         Rename from VEC_PACK_MOD_EXPR.
1029         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
1030         * expr.c (expand_expr_real_1): Ditto.
1031         * tree-inline.c (estimate_num_insns_1): Ditto.
1032         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
1033
1034         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
1035         (vec_unpacks_lo_v4sf): Ditto.
1036         (vec_pack_trunc_v2df): Ditto.
1037         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
1038         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
1039         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
1040
1041         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
1042         vec_pack_mod_v8hi.
1043         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
1044
1045         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
1046         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
1047         packing of floating point operands.
1048         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
1049         represent unpacking of floating point operands.
1050         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
1051         [vec_unpacks_hi]: Ditto.
1052         [vec_unpacks_lo]: Ditto.
1053
1054 2007-04-22  Jan Hubicka  <jh@suse.cz>
1055
1056         * final.c (rest_of_handle_final): Call
1057         targetm.asm_out.constructor/targetm.asm_out.destructor
1058         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
1059         proper priority via decl_*_priority_insert.
1060         * c-common.c (c_expand_body): Likewise.
1061
1062 2007-04-22  Richard Guenther  <rguenther@suse.de>
1063
1064         PR tree-optimization/29789
1065         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
1066         (rewrite_reciprocal): New helper split out from
1067         determine_invariantness_stmt.
1068         (rewrite_bittest): Likewise.
1069         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
1070         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
1071         is not.
1072
1073 2007-04-22  Revital Eres  <eres@il.ibm.com>
1074
1075         * loop-unroll.c (var_to_expand): New field to support also
1076         insns of the form x = something + x.
1077         (analyze_insn_to_expand_var): Use it.
1078         (expand_var_during_unrolling): Likewise.
1079
1080 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
1081
1082         * predict.c: Include pointer-set.h.
1083         (bb_predictions): New variable.
1084         (tree_predicted_by_p, tree_predict_edge,
1085         remove_predictions_associated_with_edge): Use bb_predictions map
1086         instead of bb->predictions.
1087         (clear_bb_predictions, assert_is_empty): New functions.
1088         (combine_predictions_for_bb): Use bb_predictions map.  Call
1089         clear_bb_predictions.
1090         (tree_estimate_probability): Create and free bb_predictions map.
1091         * Makefile.in (predict.o): Add pointer-set.h dependency.
1092         * basic-block.h (struct basic_block_def): Remove predictions
1093         field.
1094         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
1095
1096 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
1097
1098         PR target/31480
1099         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
1100         is null.
1101
1102 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1103
1104         * timevar.c (timevar_print): Change reference of --disable-checking to
1105         --enable-checking=release.  Also warn if assert checking is disabled.
1106
1107 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1108
1109         PR C/30265
1110         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
1111         decl as addressable if the compound literal was marked as
1112         addressable.
1113         Mark the decl as a gimple register if it is a complex or
1114         vector decl and does not live in memory.
1115
1116 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1117
1118         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
1119         (GENERIC_NEXT): New function macro.
1120         (PHI_CHAIN): Use phi_node's new chain variable.
1121         (tree_phi_node): Change tree_common to tree_base
1122         and add the chain field.
1123         * tree-phinodes.c (make_phi_node): Don't set
1124         TREE_TYPE on the new node.
1125         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
1126         instead of checking GIMPLE_TUPLE_P in chain_next.
1127         * tree-vect-transform.c
1128         (get_initial_def_for_induction): Look at
1129         PHI_RESULT_TREE for the type of the phi node.
1130         (update_vuses_to_preheader): Use PHI_CHAIN
1131         instead of TREE_CHAIN on the phi node.
1132         * tree-ssa-structalias.c (compute_points_to_sets):
1133         Likewise.
1134         (ipa_pta_execute): Likewise.
1135
1136 2007-04-21  Richard Guenther  <rguenther@suse.de>
1137
1138         PR middle-end/31136
1139         * fold-const.c (fold_unary): Call fold_convert_const on the
1140         original tree.
1141
1142 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
1143
1144         * gcse.c (store_killed_in_insn): Handle PARALLELs.
1145         (store_killed_in_pat): New.
1146
1147 2007-04-20  Richard Henderson  <rth@redhat.com>
1148
1149         PR target/31628
1150         * config/i386/i386.c (type_has_variadic_args_p): Look for any
1151         TREE_LIST with a void_type_node value, not void_list_node exactly.
1152
1153 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
1154
1155         * doc/standards.texi: Re-arrange into language-specific
1156         subsections. Add a C++ section, documenting which standards we
1157         support.
1158
1159 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
1160
1161         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
1162         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
1163
1164 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
1165
1166         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
1167         ecrti.o and crtbegin.o.
1168         (LIB_DEFAULT_SPEC): Include -lc.
1169         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
1170
1171 2007-04-20  Richard Henderson  <rth@redhat.com>
1172
1173         PR target/28623
1174         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
1175         argument; update all callers.
1176         (get_unaligned_offset): New.
1177         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
1178         get_unaligned_address, just pass on the address directly.
1179         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
1180         the subreg in the helper patterns.
1181         (unaligned_extendqidi_le): Use get_unaligned_offset.
1182         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
1183         (unaligned_extendhidi_be): Likewise.
1184         (unaligned_extendhidi): Tidy.
1185         * config/alpha/alpha-protos.h: Update.
1186
1187 2007-04-20  Richard Henderson  <rth@redhat.com>
1188
1189         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
1190         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
1191         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
1192         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1193         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1194         (CPP_SPEC): Don't include %(cpp_subtarget).
1195         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
1196         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1197         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
1198
1199 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
1200
1201         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
1202         for __builtin_ia32_cmpordss.
1203
1204         PR tree-optimization/31632
1205         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
1206         and arg1 for optimizations of comparison against min/max values.
1207         Fold arg0 to arg1's type for optimizations of comparison against
1208         min+1 and max-1 values.
1209
1210 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
1211
1212         * reload.c (combine_reloads): When trying to use a dying register,
1213         check whether it's uninitialized and don't use if so.
1214
1215 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
1216
1217         * fold-const.c: Remove prototypes for native_encode_expr and
1218         native_interpret_expr.
1219         (native_encode_expr): Make non-static.
1220         (native_interpret_expr): Likewise.
1221         * tree.h: Add prototypes for the above.
1222
1223 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
1224
1225         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
1226         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
1227         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
1228         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
1229         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
1230         Add length attributes.
1231
1232 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
1233
1234         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
1235         not that it is 1.
1236
1237         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
1238         __STDC_WANT_DEC_FP__.
1239
1240 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
1241
1242         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
1243         for long double compatibility.
1244         * configure: Regenerate.
1245
1246 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
1247
1248         PR rtl-optimization/29841
1249         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
1250         trap instructions.
1251         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
1252         that may cause control flow transfer from being moved.
1253
1254 2007-04-18  Jan Hubicka  <jh@suse.cz>
1255
1256         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
1257         types.
1258
1259 2007-04-18  Eric Christopher  <echristo@apple.com>
1260
1261         * config/rs6000/darwin.md (load_macho_picbase): Use link register
1262         only. Update operands.
1263         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
1264         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
1265         link register to pic register.
1266
1267 2007-04-18  Dirk Mueller  <dmueller@suse.de>
1268
1269         PR diagnostic/31227
1270         * tree-vrp.c (search_for_addr_array): New.
1271         (check_array_bounds): Suppress warning about
1272         address taken of array refs if its not de-referenced.
1273
1274 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1275
1276         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
1277         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
1278
1279         * tree-vectorizer.h (NITERS_KNOWN_P): New.
1280         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
1281         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
1282
1283         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
1284         dump print.
1285         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
1286         print message.
1287         (vect_analyze_scalar_cycles): Fix indentation.
1288         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
1289         (vect_mark_relevant): Include phis in relevance analysis.
1290
1291         * tree-vect-transform.c (vect_transform_loop): Add an assert.
1292
1293 2007-04-18  Anatoly Sokolov <aesok@post.ru>
1294
1295         * config/avr/avr.c (ptrreg_to_str): Replace error() with
1296         output_operand_lossage().
1297
1298 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1299
1300         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
1301         the unused code for reduction without adjust-in-epilog to simplify the
1302         function.
1303
1304 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
1305
1306         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
1307         (S390_TDC_NEGATIVE_ZERO): New constant.
1308         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
1309         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
1310         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
1311         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
1312         (S390_TDC_POSITIVE_INFINITY): New constant.
1313         (S390_TDC_NEGATIVE_INFINITY): New constant.
1314         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
1315         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
1316         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
1317         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
1318         (S390_TDC_INFINITY): New constant.
1319         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
1320         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
1321         optimization for UNSPEC_CCZ_TO_INT.
1322         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
1323         ("*ccz_to_int"): New insn.
1324         ("isinf<mode>2"): New insn.
1325         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
1326         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
1327         (UNSPEC_CCZ_TO_INT): New constant.
1328
1329 2007-04-18  Richard Guenther  <rguenther@suse.de>
1330
1331         PR tree-optimization/19431
1332         PR tree-optimization/21463
1333         * tree-pass.h (pass_phiprop): Declare.
1334         * passes.c (init_optimization_passes): New phiprop pass.
1335         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
1336         (phivn_valid_p): New helper function.
1337         (phiprop_insert_phi): Likewise.
1338         (propagate_with_phi): Likewise.
1339         (tree_ssa_phiprop): New propagator propagating loads
1340         through phi nodes if profitable.
1341
1342 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1343
1344         * tree-vect-analyze.c (process_use): New function.
1345         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
1346         Check phis in all bbs.
1347         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
1348         assert.
1349
1350 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
1351
1352         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
1353         we use REG_EQUAL.
1354
1355 2007-04-17  Anatoly Sokolov <aesok@post.ru>
1356
1357         PR target/30483
1358         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
1359         error().
1360
1361 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
1362
1363         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
1364         on "0".
1365         (sse_vmmulv4sf3): Likewise.
1366         (sse2_vmaddv2df3): Likewise.
1367         (sse2_vmmulv2df3): Likewise.
1368
1369 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
1370
1371         PR rtl-optimization/31360
1372         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
1373         (target_reg_cost): New.
1374         (init_set_costs): Initialize target_reg_cost.  Add comments
1375         regarding the rationale of the costs.
1376         (global_cost_for_size): Renamed to...
1377         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
1378         of register pressure.
1379         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
1380         estimate_reg_pressure_cost.  Add number of ivs.
1381         (determine_set_costs): Dump target_reg_cost.
1382         * loop-invariant.c (gain_for_invariant):  Use
1383         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
1384         (best_gain_for_invariant, find_invariants_to_move): Remove
1385         n_inv_uses.
1386         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
1387         (target_reg_cost): Declare.
1388         (global_cost_for_size): Declaration removed.
1389         (estimate_reg_pressure_cost): Declare.
1390
1391 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
1392
1393         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
1394         regnos into even/odd register pairs.
1395         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
1396         TDmode similar to the other floating point modes.
1397         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
1398         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
1399         define_expand's.
1400         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
1401         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
1402         (movdd_hardfloat64): Use TARGET_MFPGPR.
1403
1404 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
1405
1406         * reload1.c (delete_output_reload): Don't count output in n_inherited.
1407
1408         Revert
1409         2005-01-05  Richard Henderson  <rth@redhat.com>
1410         PR rtl-opt/10692
1411         * reload1.c (do_input_reload): Restrict the optimization deleteing
1412         a previous output reload to RELOAD_FOR_INPUT.
1413
1414 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
1415
1416         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
1417         induc_vec_info_type.
1418         (vectorizable_induction): New function declaration.
1419         * tree-vect-transform.c (get_initial_def_for_induction): No need to
1420         check if already vectorized.  Find first place in BB where new stmts
1421         can be inserted.  Takes only one argument.
1422         (vectorizable_induction): New function.
1423         (vect_transform_stmt): Add case for induc_vec_info_type to call
1424         vectorizable_induction.
1425         (vect_transform_loop): Consider phis for vectorization.
1426         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
1427         condition.
1428         (analyze_operations): Call vectorizable_induction when analyzing phis.
1429         Fix comment.
1430         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
1431         (vect_mark_relevant): Include phis in relevance analysis.
1432         (vect_mark_stmts_to_be_vectorize): Likewise.
1433         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
1434
1435 2007-04-16  Lawrence Crowl  <crowl@google.com>
1436
1437         * doc/invoke.texi (Debugging Options): Add documentation for the
1438         -femit-struct-debug options -femit-struct-debug-baseonly,
1439         -femit-struct-debug-reduced, and
1440         -femit-struct-debug-detailed[=...].
1441
1442         * c-opts.c (c_common_handle_option): Add
1443         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
1444         and OPT_femit_struct_debug_detailed_.
1445         * c.opt: Add specifications for
1446         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
1447         and -femit-struct-debug-detailed[=...].
1448         * opts.c (set_struct_debug_option): Parse the
1449         -femit-struct-debug-... options.
1450         * opts.c (matches_main_base, main_input_basename,
1451         main_input_baselength, base_of_path, matches_main_base): Add
1452         variables and functions to compare header base name to compilation
1453         unit base name.
1454         * opts.c (should_emit_struct_debug): Add to determine to emit a
1455         structure based on the option.
1456         (dump_struct_debug) Also disabled function to debug this
1457         function.
1458         * opts.c (handle_options): Save the base name of the
1459         compilation unit.
1460
1461         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
1462         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
1463         This hook indicates if a type is generic.  Set it by default
1464         to "never generic".
1465         * langhooks.h (struct lang_hooks_for_types): Add a new hook
1466         to determine if a struct type is generic or not.
1467         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
1468         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
1469         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
1470         with live C++ hook.
1471
1472         * flags.h (enum debug_info_usage): Add an enumeration to describe
1473         a program's use of a structure type.
1474         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
1475         to indicate the program's usage of the type.  Filter structs based
1476         on the -femit-struct-debug-... specification.
1477         (gen_type_die): Split into two routines, gen_type_die and
1478         gen_type_die_with_usage.  gen_type_die is now a wrapper
1479         that assumes direct usage.
1480         (gen_type_die_with_usage): Replace calls to gen_type_die
1481         with gen_type_die_with_usage adding the program usage of
1482         the referenced type.
1483         (dwarf2out_imported_module_or_decl): Suppress struct debug
1484         information using should_emit_struct_debug when appropriate.
1485
1486 2007-04-16  Ian Lance Taylor  <iant@google.com>
1487
1488         PR tree-optimization/31522
1489         * tree-vrp.c (vr_phi_edge_counts): New static variable.
1490         (vrp_initialize): Allocate vr_phi_edge_counts.
1491         (vrp_visit_phi_node): Don't push to infinity if we saw a new
1492         executable edge.  Drop test for all constants.
1493         (vrp_finalize): Free vrp_phi_edge_counts.
1494
1495         * doc/cpp.texi (Common Predefined Macros): Clarify description of
1496         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
1497
1498         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
1499         predecessors at head rather than tail.
1500
1501 2007-04-16  Matthias Klose  <doko@debian.org>
1502
1503         * config/alpha/linux.h (CPP_SPEC): Define.
1504         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
1505
1506 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
1507
1508         * function.h: Remove sequence_stack extern declaration.
1509
1510 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
1511
1512         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
1513         TARGET_FIDOA.
1514         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
1515         defined.
1516
1517 2007-04-16  Anatoly Sokolov <aesok@post.ru>
1518
1519         * config/avr/avr.c (avr_arch_types): Rearranging  array.
1520         (enum avr_arch): Add.
1521         (avr_mcu_types): Use avr_arch enumeration constants instead of
1522         numbers.
1523         * config/avr/avr.h (LINK_SPEC): Simplify.
1524
1525 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
1526
1527         * config/m68k/m68k.c (m68k_libcall_value,
1528         m68k_function_value): Use macros for register names more.
1529
1530         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
1531         instead.
1532         (M68K_REGNAME): Use A6_REG.
1533         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
1534
1535 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
1536
1537         PR middle-end/28071
1538         * sched-int.h (struct deps): Split field 'pending_lists_length' into
1539         'pending_read_list_length' and 'pending_write_list_length'.  Update
1540         comment.
1541         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
1542         to handle two length counters instead of one.  Update all uses.
1543         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
1544         two length counters instead of one.
1545         * sched-rgn.c (propagate_deps): Update to handle two length counters
1546         instead of one.
1547
1548 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
1549
1550         PR target/31582
1551         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
1552         copy of source, pass it to ix86_expand_vector_set and return
1553         it as target.
1554
1555 2007-04-16  David Ung  <davidu@mips.com>
1556             Joseph Myers  <joseph@codesourcery.com>
1557
1558         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
1559         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
1560         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
1561         Add 74K processor information.
1562         * config/mips/mips.md: Include 74k.md.
1563         (cpu): Add 74kc,74kf,74kx.
1564         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
1565         * config/mips/74k.md: New.
1566         * doc/invoke.texi (MIPS Options): Document 74K support.
1567
1568 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
1569
1570         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
1571         vectorizable_* functions.
1572         * tree-vect-transform.c (vectorizable_call): Add check for
1573         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
1574         (vectorizable_store): likewise.
1575         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
1576         Add comments.
1577         (vectorizable_operation, vectorizable_type_demotion): Likewise.
1578         (vectorizable_type_promotion, vectorizable_load): Likewise.
1579         (vectorizable_live_operation, vectorizable_condition): Likewise.
1580         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
1581         STMT_VINFO_LIVE_P.
1582         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
1583
1584 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1585
1586         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
1587         register numbers more.
1588         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
1589         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
1590         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
1591         FUNCTION_VALUE_REGNO_P): Likewise.
1592         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
1593         STATIC_CHAIN_REGNUM): Likewise.
1594         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
1595         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
1596         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
1597         * config/m68k/m68k.md (FP_REG): New.
1598
1599 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1600
1601         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
1602         alignment on fido.
1603
1604 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1605
1606         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
1607         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
1608         comment typos.
1609
1610 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1611
1612         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
1613         cold loops.
1614
1615 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1616
1617         PR c/31520
1618         * c-decl.c (finish_decl): Grab the type of the decl after the call
1619         to store_init_value.
1620
1621 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
1622
1623         * common.opt (fforward-propagate): Fix "Optimization" annotation.
1624
1625 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
1626
1627         PR c++/25874
1628         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
1629         post dominators and cleanup cfg before returning.
1630
1631 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
1632
1633         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
1634         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
1635
1636 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
1637
1638         * config.gcc: Recognize fido.
1639         * config/m68k/m68k-devices.def (fidoa): New.
1640         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
1641         __mfido__.
1642         (FL_FIDOA, TARGET_FIDOA): New.
1643         * config/m68k/m68k.opt (mfidoa): New.
1644
1645 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1646
1647         PR middle-end/31322
1648         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
1649         when a personality function is used.
1650
1651 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
1652
1653         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
1654
1655 2007-04-13  Mike Stump  <mrs@apple.com>
1656
1657         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
1658         we can...
1659         * config/darwin.opt (fapple-kext): Make C++ only.
1660         * config/darwin.c (darwin_override_options): Remove code to ensure
1661         -fapple-kext is given for C++ only.
1662
1663 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
1664
1665         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
1666         * config/mips/mips.c (override_options): Call
1667         SUBTARGET_OVERRIDE_OPTIONS, if defined.
1668
1669 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
1670
1671         * config/i386/i386.opt (msvr3-shlib): Removed.
1672
1673         * doc/invoke.texi: Remove -msvr3-shlib.
1674
1675 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
1676
1677         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
1678         with "popcnt" instruction.
1679
1680 2007-04-13  Richard Guenther  <rguenther@suse.de>
1681
1682         PR tree-optimization/21258
1683         * tree-vrp.c (compare_case_labels): New helper.
1684         (find_switch_asserts): New function.
1685         (find_assert_locations): Call it for SWITCH_EXPRs.
1686
1687 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
1688
1689         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
1690         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
1691         check is now implied in X87_FLOAT_MODE_P.
1692         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1693         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1694         (fix_trunc<mode>_i386_fisttp): Ditto.
1695         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1696         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1697         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1698         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1699         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1700         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1701         (unnamed_splitters): Ditto.
1702         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
1703         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
1704         FIRST_SSE_REG for local functions when SSE math is enabled or
1705         for functions with sseregparm attribute.
1706         (standard_80387_constant_p): Return -1 if mode is not
1707         X87_FLOAT_MODE_P.
1708         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
1709         (ix86_expand_compare): Ditto.
1710         (ix86_expand_carry_flag_compare): Ditto.
1711         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
1712         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
1713         DECIMAL_FLOAT_MODE_P.
1714         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
1715         of SCALAR_FLOAT_MODE_P.
1716         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
1717         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
1718         checks before FLOAT_MODE_P.
1719         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
1720         before FLOAT_MODE_P.
1721         [DIV]: Ditto.
1722         [NEG]: Ditto.
1723         [ABS]: Ditto.
1724         [SQRT]: Ditto.
1725         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
1726
1727 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
1728             Charles Wilson  <libtool@cwilson.fastmail.fm>
1729
1730         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
1731         (libgcc.mvars): Don't depend on them.
1732         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
1733         * exec-tool.in: New.
1734
1735 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
1736
1737         * doc/invoke.text (--help): Document --help=common.
1738
1739 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
1740
1741         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
1742
1743 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1744
1745         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
1746         * genemit.c (main): Emit #include "integrate.h".
1747         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
1748         (LOADGP_RTP): New mips_loadgp_style.
1749         * config/mips/mips.h: Include config/vxworks-dummy.h.
1750         (TARGET_RTP_PIC): New macro.
1751         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
1752         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
1753         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
1754         for TARGET_RTP_PIC.
1755         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
1756         -mvxworks-pic when using -mrtp and a PIC option.
1757         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
1758         for RTP PIC.
1759         (mips_symbolic_constant_p, mips_symbolic_address_p)
1760         (mips_symbol_insns): Handle SYMBOL_HALF.
1761         (override_options): Warn about -G and -mrtp being used together.
1762         Initialize mips_lo_relocs[SYMBOL_HALF].
1763         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
1764         (mips_emit_loadgp): Handle LOADGP_RTP.
1765         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
1766         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
1767         (tablejump): Handle function-relative case table entries if
1768         TARGET_RTP_PIC.
1769         * config/mips/predicates.md (symbol_ref_operand): New predicate.
1770
1771 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1772
1773         * config/mips/mips.md (load_call<mode>): Allow any general register.
1774         destination.
1775         (sibcall_value_internal, sibcall_value_multiple_internal)
1776         (call_value_internal, call_value_split, call_value_multiple_internal)
1777         (call_value_multiple_split): Remove constraints from operand 0.
1778
1779 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1780
1781         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
1782         rather than loadgp_noshared.
1783         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
1784         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
1785         gen_loadgp.
1786         * config/mips/mips.md (loadgp): Rename to...
1787         (loadgp_newabi): ...this.
1788         (loadgp_noshared): Rename to...
1789         (loadgp_absolute): ...this.
1790
1791 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1792
1793         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
1794         false for locally-binding symbols.
1795         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
1796
1797 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1798
1799         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
1800         (SYMBOL_GOT_PAGE_OFST): ...this.
1801         (SYMBOL_GOT_GLOBAL): Rename to...
1802         (SYMBOL_GOT_DISP): ...this.
1803         (SYMBOL_GOTOFF_GLOBAL): Rename to...
1804         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
1805         * config/mips/mips.c (mips_global_symbol_p): New function.
1806         (mips_symbol_binds_local_p): Likewise.
1807         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
1808         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
1809         and mips_symbol_binds_local_p.
1810         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
1811         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
1812         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
1813         SYMBOL_GOTOFF_DISP.
1814         (mips_ok_for_lazy_binding_p): New function.
1815         (mips_load_call_address, mips_expand_call): Use it.
1816         (mips_dangerous_for_la25_p): Likewise.
1817         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
1818         (*got_disp<mode>): Use got_disp_operand instead of
1819         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
1820         SYMBOL_GOTOFF_GLOBAL.
1821         (*got_page<mode>): Use got_page_ofst_operand instead of
1822         local_got_operand.
1823         * config/mips/predicates.md (const_call_insn_operand): Use
1824         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
1825         (global_got_operand): Rename to...
1826         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
1827         SYMBOL_GOT_GLOBAL.
1828         (local_got_operand): Rename to...
1829         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
1830         of SYMBOL_GOT_LOCAL.
1831
1832 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1833
1834         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
1835         TARGET_CALL_CLOBBERED_GP.
1836         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1837         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
1838         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
1839         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
1840         of TARGET_ABICALLS && !TARGET_NEWABI.
1841         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1842         * config/mips/mips.c (mips_load_call_address): Check
1843         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1844         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1845         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1846         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
1847         TARGET_ABICALLS && TARGET_NEWABI.
1848         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
1849         TARGET_ABICALLS.
1850         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
1851         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
1852         TARGET_ABICALLS && TARGET_NEWABI.
1853         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
1854         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
1855         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
1856         whether indirect calls must use $25.
1857         (mips_extra_live_on_entry): Check TARGET_GOT instead of
1858         TARGET_ABICALLS.
1859         * config/mips/mips.md (jal_macro): Check flag_pic and
1860         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
1861         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
1862         instead of TARGET_ABICALLS.
1863         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
1864         TARGET_ABICALLS && TARGET_OLDABI.
1865         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1866         (sibcall): In the comment above the define_insn, mention
1867         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
1868         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
1869         instead of TARGET_ABICALLS.
1870
1871 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
1872
1873         * doc/md.texi (Blackfin family constraints): Document PA and PB.
1874         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
1875         (MACFLAGS_MATCH_P): New macro.
1876         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
1877         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
1878         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
1879         the other MACFLAG constants.
1880         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
1881         (flag_machi): Tighten constraints.  Renumber some of the operands.
1882         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
1883         output template.
1884         (flag_machi_parts_acconly): New pattern.
1885         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
1886         used.
1887         (flag_macinit1hi): Tighten constraints.
1888         (flag_mul_macv2hi_parts_acconly): New pattern.
1889
1890         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
1891         Use a more efficient implementation.
1892         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
1893         inline sequences when not optimizing for size.
1894
1895         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
1896         movhi_high2low): Delete, merge functionality into...
1897         (packv2hi): ... this pattern.
1898
1899         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
1900         * config/bfin/bfin.opt (msim): New option.
1901         (mcpu=): New option.
1902         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
1903         (bfin_cpu_t): Typedef of enum bfin_cpu.
1904         (bfin_cpu_type): New declaration.
1905         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
1906         -msim and -mcpu= options.
1907         (LIB_SPEC): Likewise.
1908         * config/bfin/bfin.c (bfin_cpu_type): Define.
1909         (bfin_handle_option): Handle -mcpu= option.
1910         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
1911         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
1912         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
1913
1914 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1915
1916         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
1917         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
1918         (powerpc-wrs-vxworksae): Use ${tm_file}.
1919         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
1920         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
1921         * config/i386/vx-common.h: New file.
1922
1923 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1924
1925         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
1926         of crt0.o%s.
1927
1928 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1929
1930         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
1931         ldxtr.
1932
1933 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
1934
1935         PR c++/31078
1936         PR c++/31103
1937         * c-common.c (c_build_qualified_type): Set canonical type
1938         appropriately.
1939
1940 2007-04-12  Richard Guenther  <rguenther@suse.de>
1941
1942         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
1943         lower bound and element size if lower bound is not zero
1944         or either of the ARRAY_REF operands is set.
1945
1946 2007-04-12  Richard Guenther  <rguenther@suse.de>
1947
1948         PR tree-optimization/24689
1949         PR tree-optimization/31307
1950         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
1951         indices by value.
1952         * gimplify.c (canonicalize_addr_expr): To be consistent with
1953         gimplify_compound_lval only set operands two and three of
1954         ARRAY_REFs if they are not gimple_min_invariant.  This makes
1955         it never at this place.
1956         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1957
1958 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1959
1960         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
1961         null before emitting a .nsubspa directive.
1962
1963 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1964
1965         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
1966         need_to_partition_p if there are no memory statements in the
1967         function.
1968
1969 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1970
1971         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
1972         (gcd_of_steps_may_divide_p): New function.
1973         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
1974
1975 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1976
1977         * reload.c (find_reloads_toplev, find_reloads_address,
1978         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
1979         not a pointer equality test, to decide if we need to call
1980         push_reg_equiv_alt_mem.
1981
1982 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
1983
1984         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
1985         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
1986         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
1987
1988 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1989
1990         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
1991         vector to be positive.
1992
1993 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1994
1995         PR 30735
1996         PR 31090
1997         * doc/invoke.texi: Document --params max-aliased-vops and
1998         avg-aliased-vops.
1999         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
2000         debug_memory_partitions): Move to tree-flow.h
2001         * params.h (AVG_ALIASED_VOPS): Define.
2002         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
2003         users.
2004         (mp_info_t): Likewise.
2005         (get_mem_sym_stats_for): New.
2006         (set_memory_partition): Move from tree-flow-inline.h.
2007         (mark_non_addressable): Only clear the set of symbols for the
2008         partition if it exists.
2009         (dump_memory_partitions): Move from tree-ssa-operands.c
2010         (debug_memory_partitions): Likewise.
2011         (need_to_partition_p): New.
2012         (dump_mem_ref_stats): New.
2013         (debug_mem_ref_stats): New.
2014         (dump_mem_sym_stats): New.
2015         (debug_mem_sym_stats): New.
2016         (update_mem_sym_stats_from_stmt): New.
2017         (compare_mp_info_entries): New.
2018         (mp_info_cmp): Call it.
2019         (sort_mp_info): Change argument to a list of mem_sym_stats_t
2020         objects.
2021         (get_mpt_for): Move from tree-ssa-operands.c.
2022         (find_partition_for): New.
2023         (create_partition_for): Remove.
2024         (estimate_vop_reduction): New.
2025         (update_reference_counts): New.
2026         (build_mp_info): New.
2027         (compute_memory_partitions): Refactor.
2028         Document new heuristic.
2029         Call build_mp_info, update_reference_counts,
2030         find_partition_for and estimate_vop_reduction.
2031         (compute_may_aliases): Populate virtual operands before
2032         calling debugging dumps.
2033         (delete_mem_sym_stats): New.
2034         (delete_mem_ref_stats): New.
2035         (init_mem_ref_stats): New.
2036         (init_alias_info): Call it.
2037         (maybe_create_global_var): Remove alias_info argument.
2038         Get number of call sites and number of pure/const call sites
2039         from gimple_mem_ref_stats().
2040         (dump_alias_info): Call dump_memory_partitions first.
2041         (dump_points_to_info_for): Show how many times a pointer has
2042         been dereferenced.
2043         * opts.c (decode_options): For -O2 set --param
2044         max-aliased-vops to 500.
2045         For -O3 set --param max-aliased-vops to 1000 and --param
2046         avg-aliased-vops to 3.
2047         * fortran/options.c (gfc_init_options): Remove assignment to
2048         MAX_ALIASED_VOPS.
2049         * tree-flow-inline.h (gimple_mem_ref_stats): New.
2050         * tree-dfa.c (dump_variable): Dump memory reference
2051         statistics.
2052         Dump NO_ALIAS* settings.
2053         (referenced_var_lookup): Tidy.
2054         (mem_sym_stats): New.
2055         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
2056         and ORIG are different SSA names for a memory partition.
2057         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
2058         * tree-flow.h (struct mem_sym_stats_d): Define.
2059         (mem_sym_stats_t): Define.
2060         (struct mem_ref_stats_d): Define.
2061         (struct gimple_df): Add field mem_ref_stats.
2062         (enum noalias_state): Define.
2063         (struct var_ann_d): Add bitfield noalias_state.
2064         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
2065         debug_mem_ref_stats, debug_memory_partitions,
2066         debug_mem_sym_stats): Declare.
2067         * tree-ssa-structalias.c (update_alias_info): Update call
2068         sites, pure/const call sites and asm sites in structure
2069         returned by gimple_mem_ref_stats.
2070         Remove local variable IS_POTENTIAL_DEREF.
2071         Increase NUM_DEREFS if the memory expression is a potential
2072         dereference.
2073         Call update_mem_sym_stats_from_stmt.
2074         If the memory references memory, call
2075         update_mem_sym_stats_from_stmt for all the direct memory
2076         symbol references found.
2077         (intra_create_variable_infos): Set noalias_state field for
2078         pointer arguments according to the value of
2079         flag_argument_noalias.
2080         * tree-ssa-structalias.h (struct alias_info): Remove fields
2081         num_calls_found and num_pure_const_calls_found.
2082         (update_mem_sym_stats_from_stmt): Declare.
2083         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
2084         Set default value to 100.
2085         (PARAM_AVG_ALIASED_VOPS): Define.
2086
2087 2007-04-11  Richard Guenther  <rguenther@suse.de>
2088
2089         PR middle-end/31530
2090         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
2091         a * -b + c as c - a * b if we honor sign dependent rounding.
2092
2093 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
2094
2095         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
2096         bfin_expand_strmov.
2097         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
2098         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
2099         variables.
2100         (initialize_trampoline): Don't use old-style function definition.
2101         (bfin_secondary_reload): Mark IN_P argument as unused.
2102
2103 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
2104
2105         PR tree-optimization/31343
2106         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
2107         (build_polynomial_chrec): Return a scalar when the evolution is zero.
2108         * testsuite/gcc.dg/vect/pr31343.c: New.
2109
2110 2007-04-10  Eric Christopher  <echristo@apple.com>
2111
2112         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
2113         * config/i386/i386.md (*cmpfp0): Use.
2114         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
2115         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
2116         (fix_trunc<mode>_i386_fisttp): Ditto.
2117         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
2118         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
2119         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
2120         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
2121         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
2122         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
2123         (unnamed_splitters): Ditto.
2124         * config/i386/i386.c (output_fix_trunc): Assert that
2125         we're not being passed a TFmode operand.
2126
2127 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
2128
2129         PR tree-optimization/31526
2130         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
2131         n_basic_blocks to find newly added blocks.
2132
2133 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
2134
2135         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
2136         alternative.
2137         (fix_trunc<mode>si_sse): Ditto.
2138         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
2139         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
2140         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
2141         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
2142         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
2143         expander using SSEMODEF mode macro.
2144         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
2145         expander using SSEMODEF mode macro.
2146         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
2147         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
2148         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
2149         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
2150         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
2151         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
2152         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
2153         Macroize insn using X87MODEF mode macro.
2154
2155 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
2156
2157         * config/i386/sse.md (sse2_pinsrw): Removed.
2158         (sse2_pextrw): Renamed to ...
2159         (*sse2_pextrw): This.
2160
2161 2007-04-09  Jan Hubicka  <jh@suse.cz>
2162
2163         PR target/27869
2164         * config/i386/sse.md
2165         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
2166         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
2167         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
2168         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
2169
2170 2007-04-09  Jan Hubicka  <jh@suse.cz>
2171
2172         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
2173         multiple fields of union.
2174
2175 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
2176
2177         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
2178         (create_preheaders): Check that loops are available.
2179         (fix_loop_structure): Clean up, improve comments.
2180         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
2181         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
2182         state flags.
2183         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
2184         * predict.c (tree_estimate_probability): Do not call
2185         calculate_dominance_info.  Call create_preheaders.
2186         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
2187         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
2188         flags.
2189         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
2190         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
2191         * tree-cfg.c (tree_split_edge): Make an assert more precise.
2192         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
2193         arguments.
2194
2195 2007-04-08  Jan Hubicka  <jh@suse.cz>
2196
2197         * tree.h (maybe_fold_offset_to_component_ref): Declare.
2198         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
2199         * fold-const.c (fold_unary): Use it.
2200
2201 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2202
2203         * varasm.c (assemble_variable): Remove call to
2204         lang_hooks.decls.prepare_assemble_variable.
2205         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
2206         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
2207         * langhooks.h (lang_hooks_for_decls): Remove
2208         prepare_assemble_variable.
2209
2210 2007-04-08  Mike Stump  <mrs@apple.com>
2211
2212         * config/i386/i386.c: Use inc/dec on Core2.
2213
2214 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
2215
2216         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
2217         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
2218         lhd_tree_inlining_end_inlining): Remove.
2219         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
2220         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
2221         end_inlining hooks.
2222         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
2223         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
2224         lhd_tree_inlining_end_inlining): Remove prototypes.
2225         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
2226         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
2227         LANG_HOOKS_TREE_INLINING_START_INLINING,
2228         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
2229
2230         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
2231         not set it.
2232
2233 2007-04-08  Anatoly Sokolov <aesok@post.ru>
2234
2235         PR target/29932
2236         * config/avr/predicates.md (io_address_operand): Delete predicate.
2237         (low_io_address_operand): Don't use 'mode' argument.
2238         (higth_io_address_operand): Rename ...
2239         (high_io_address_operand): ... to this. Don't use 'mode' argument.
2240         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
2241         for above change.
2242
2243 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
2244
2245         Revert change removing staticp.
2246
2247 2007-04-07  Anatoly Sokolov <aesok@post.ru>
2248
2249         PR target/30289
2250         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
2251         earlyclobber.
2252
2253 2007-04-07  Bruce Korb  <bkorb@gnu.org>
2254
2255         * c.opt: Add -Wformat-contains-nul.
2256         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
2257           -Wformat setting.
2258         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
2259         the NUL byte warning.
2260
2261 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
2262
2263         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
2264
2265 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
2266
2267         * tree.c (staticp): No longer use staticp langhook.
2268         * langhooks.c (lhd_staticp): Removed.
2269         * langhooks.h (struct lang_hooks): Remove staticp.
2270         * c-common.c (c_staticp): Remove.
2271         * c-common.h (c_staticp): Ditto.
2272         * langhooks-defs.h (lhd_staticp): Ditto.
2273         (LHD_HOOKS_STATICP): Ditto
2274         * tree.h (gcc_assert_lowered): New macro.
2275
2276 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
2277
2278         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
2279         argument "reliable".
2280         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
2281         Add argument "reliable".  Propagate it through calls.
2282         (infer_loop_bounds_from_undefined):  Derive number of iterations
2283         estimates from references in blocks that do not dominate loop latch.
2284         (gcov_type_to_double_int): New function.
2285         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
2286         and expected_loop_iterations_unbounded.
2287         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
2288         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
2289         * tree-data-ref.c (estimated_loop_iterations): Export.
2290         (get_references_in_stmt): Fix -- do not return addresses of local
2291         objects.
2292         * cfgloop.h (expected_loop_iterations_unbounded,
2293         estimated_loop_iterations): Declare.
2294
2295 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
2296
2297         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
2298
2299 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
2300
2301         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
2302         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
2303         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
2304         Use output_387_reg_move().
2305         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
2306         expander using X87MODEF12 mode macro.
2307         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
2308         choosing register preferences.  Use output_387_reg_move().
2309         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
2310         instead of "x".  Use output_387_reg_move().
2311         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
2312         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
2313         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
2314         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
2315         Use output_387_reg_move().
2316         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
2317         mode macro.
2318         (*truncxf?f_i387 splitter): Ditto.
2319
2320 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
2321
2322         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
2323         LANG_HOOKS_SAFE_FROM_P.
2324         * expr.c (safe_from_p): Remove langhook call.
2325         * langhooks.h (lang_hooks): Remove safe_from_p.
2326         (lhd_safe_from_p): Remove prototype.
2327         * langhooks.c (lhd_safe_from_p): Remove.
2328
2329 2007-04-06  Jan Hubicka  <jh@suse.cz>
2330
2331         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
2332         functions.
2333
2334 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
2335
2336         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
2337         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
2338         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
2339         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
2340         alternative.
2341         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
2342         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
2343
2344 2007-04-05  Richard Henderson  <rth@redhat.com>
2345
2346         * config/alpha/alpha.c (print_operand) [+]: Remove.
2347         (alpha_end_function): Print nop if call at end of function.
2348         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
2349         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
2350         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
2351         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
2352         (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
2353         the call pattern. Update peepholes to match.
2354
2355 2007-04-05  Janis Johnson  <janis187@us.ibm.com>
2356
2357         * doc/extend.texi (Other Builtins): Add decimal float variants
2358         of signbit.
2359         * builtins.def: Ditto.
2360         * builtins.c (expand_builtin): Ditto.
2361
2362 2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
2363             H.J. Lu  <hongjiu.lu@intel.com>
2364
2365         PR target/31478
2366         * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
2367         of V8HImode when calling ix86_binary_operator_ok.
2368         (sse2_pmaddwd): Call ix86_binary_operator_ok.
2369         (sdot_prodv8hi): Operands 1 and 2 must be register.
2370
2371 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2372
2373         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
2374         initialize align to silence bogus warning.
2375
2376 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2377
2378         PR middle-end/22156
2379         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
2380         all_no_warning.
2381         (struct sra_walk_fns): Remove use_all parameter from use.
2382         (sra_hash_tree): Handle BIT_FIELD_REFs.
2383         (sra_elt_hash): Don't hash bitfld blocks.
2384         (sra_elt_eq): Skip them in parent compares as well.  Handle
2385         BIT_FIELD_REFs.
2386         (sra_walk_expr): Don't maintain or pass down use_all_p.
2387         (scan_use): Remove use_all parameter.
2388         (scalarize_use): Likewise.  Re-expand assignment to
2389         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
2390         output, and re-scalarize after output.  Don't mark anything
2391         for no warning.
2392         (scalarize_ldst): Adjust.
2393         (scalarize_walk_gimple_modify_statement): Likewise.
2394         (build_element_name_1): Handle BIT_FIELD_REFs.
2395         (instantiate_element): Don't warn for any element whose parent
2396         is used as a whole.
2397         (instantiate_missing_elements_1): Return the sra_elt.
2398         (canon_type_for_field): New.
2399         (try_instantiate_multiple_fields): New.
2400         (instantiate_missing_elemnts): Use them.
2401         (mark_no_warning): Removed.
2402         (generate_one_element_ref): Handle BIT_FIELD_REFs.
2403         (REPLDUP, sra_build_elt_assignment): New.
2404         (generate_copy_inout): Use them.
2405         (generate_element_copy): Likewise.  Handle bitfld differences.
2406         (generate_element_zero): Don't recurse for blocks.  Use
2407         sra_build_elt_assignment.
2408         (generate_one_element_int): Take elt instead of var.  Use
2409         sra_build_elt_assignment.
2410         (generate_element_init_1): Adjust.
2411         (scalarize_use, scalarize_copy): Use REPLDUP.
2412         (scalarize_ldst): Move assert before dereference.
2413         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
2414
2415 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
2416
2417         * regmove.c: Fix unused variable warnings due to previous commit.
2418
2419 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
2420
2421         * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
2422         (regmove_bb_head): Remove.
2423         (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
2424         (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
2425         problems with fixup_match_1.
2426         Don't initialize/free regmove_bb_head.
2427
2428         (reg_is_remote_constant_p): If an insn is in the same basic block
2429         but not before INSN, consider it remote, too.
2430
2431 2007-04-05  Anatoly Sokolov <aesok@post.ru>
2432
2433         PR target/25448
2434         * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
2435         DECL_ASSEMBLER_NAME, not the DECL_NAME.
2436
2437 2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>
2438
2439         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
2440         (CONDITIONAL_REGISTER_USAGE): Likewise.
2441
2442 2007-04-04  Richard Henderson  <rth@redhat.com>
2443
2444         * config/alpha/lib1funcs.asm: Remove unused file.
2445
2446 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2447
2448         PR other/31356
2449         * opts.c (print_specific_help): Fix --help=<language>
2450         header line.
2451         (common_handle_option): Support --help=common.
2452
2453 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2454
2455         PR other/31353
2456         * gcc.c (main): Do not run the linker if
2457         print_subprocess_help indicates that it shouldn't be
2458         run.
2459
2460 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2461
2462         PR doc/31355
2463         * doc/invoke.texi (--help=): Document <languages> value, fix
2464         formatting in tables of values.
2465
2466 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
2467
2468         * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
2469         dllimport attribute of virtual methods.
2470
2471 2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>
2472
2473         * config/score/crti.asm: Change _bss_start to __bss_start.
2474         * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
2475         (OUTGOING_REG_PARM_STACK_SPACE) update.
2476         * config/score/score.opt: add options to make backend support
2477         score5, score5u, score7 and score7d.
2478         * config/score/score.md: Likewise.
2479         * config/score/misc.md: Likewise.
2480         * config/score/mac.md: Likewise.
2481         * doc/invoke.texi: Likewise.
2482         * doc/md.texi: update constraints define.
2483
2484 2007-04-03  Richard Henderson  <rth@redhat.com>
2485
2486         * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
2487         an appropriate type, use the mode instead.
2488
2489 2007-04-03  Richard Sandiford  <richard@codesourcery.com>
2490
2491         * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
2492         Set the default --with-arch setting to mips2.
2493         * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
2494         (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
2495         (MULTILIB_OSDIRNAMES): Delete.
2496         (MULTILIB_DIRNAMES): Define.
2497         * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
2498         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
2499         (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
2500         definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
2501         VXWORKS_OS_CPP_BUILTINS.
2502         (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
2503         (MIPS_DEBUGGING_INFO): Undefine.
2504         (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
2505
2506 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
2507
2508         PR middle-end/30704
2509         * fold-const.c (native_encode_real): Encode real.c provided longs
2510         as a series of 32-bit native integers.
2511         (native_interpret_real): Interpret buffer as a series of 32-bit
2512         native integers.
2513
2514 2007-04-03  Richard Guenther  <rguenther@suse.de>
2515
2516         * genpreds.c (write_insn_constraint_len): Write function
2517         optimized for CONSTRAINT_LEN implementation.
2518         (write_tm_preds_h): Output insn_constraint_len inline and
2519         use it for CONSTRAINT_LEN.
2520         (write_insn_preds_c): Don't output insn_constraint_len.
2521         * doc/md.texi (define_register_constraint): Document multi-letter
2522         constraints shall have the same length if they start with the same
2523         letter.
2524
2525 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
2526
2527         PR target/31175
2528         * config/i386/i386.md (isinf<mode>2): Expand only when
2529         TARGET_C99_FUNCTIONS is set.
2530
2531 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
2532
2533         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
2534         (x86_64-*-linux*): Ditto.
2535         * config/i386/i386.opt (mpc): New option.
2536         * config/i386/i386.c (overrride_options): Handle
2537         ix87_precision_string.
2538         * config/i386/crtprec.c: New file.
2539         * config/i386/t-crtpc: Ditto.
2540         * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
2541         and -mpc80 options.
2542         * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
2543         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
2544         crtprec32.o, crtprec64.o and crtprec80.o.
2545
2546         * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
2547         and -mpc80 options.
2548         (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
2549
2550 2007-04-02  Eric Christopher  <echristo@apple.com>
2551
2552         * doc/invoke.texi (i386 and x86-64 Options): Document -m64
2553         limitations on darwin.
2554
2555 2007-04-02  Anatoly Sokolov <aesok@post.ru>
2556
2557         PR target/31137
2558         * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
2559
2560 2007-04-02  Dave Korn  <dave.korn@artimi.com>
2561
2562         * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
2563
2564 2007-04-02  Dave Korn  <dave.korn@artimi.com>
2565
2566         * libgcc2.h (exception_descriptor): Don't forward-declare.
2567         (__get_eh_table_language, __get_eh_table_version): Delete
2568         prototypes of long-dead functions.
2569
2570 2007-04-01  Daniel Berlin  <dberlin@dberlin.org>
2571
2572         * ebitmap.h: New file
2573         * ebitmap.c: New file
2574         * Makefile.in (ebitmap.o): New target.
2575
2576 2007-04-01  Jan Hubicka  <jh@suse.cz>
2577
2578         * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
2579         before very first instruction.
2580
2581 2007-04-01  Jan Hubicka  <jh@suse.cz>
2582
2583         * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
2584         waring on 64bit hosts.
2585         * bitmap.h: Fix typo in bitmap_head_def.
2586
2587 2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>
2588
2589         PR rtl-optimization/31391
2590         * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
2591         into a DELETED_LABEL note, and the label is in an empty basic
2592         block, update BB_END as well as BB_HEAD.
2593
2594 2007-04-01  Richard Henderson  <rth@redhat.com>
2595
2596         PR tree-optimization/31169
2597         * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
2598         to varying if the range is outside [0,  prec-1].
2599
2600 2007-04-01  Richard Sandiford  <richard@codesourcery.com>
2601
2602         PR target/31388
2603         * config/mips/mips.md (load_const_gp): New insn.
2604         * config/mips/mips.c (mips_split_symbol): Avoid using or creating
2605         the MIPS16 GP pseudo register if no_new_pseudos.
2606         (mips16_gp_pseudo_reg): Use gen_load_const_gp.
2607
2608 2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2609
2610         PR target/31364
2611         * config/rs6000/rs6000.md (call): Convert to LR hard reg for
2612         secureplt.
2613         (call_value): Likewise.
2614
2615 2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
2616             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2617
2618         PR 14737
2619         * doc/invoke.texi: (optimization options): Reword description
2620         of -ffast-math. Document its primary purpose.
2621
2622 2007-03-31  Richard Guenther  <rguenther@suse.de>
2623
2624         * omp-low.c (splay-tree.h): Include.
2625         (lookup_decl): Replace splay-tree usage by pointer-map.
2626         (maybe_lookup_decl): Likewise.
2627         (new_omp_context): Likewise.
2628         (delete_omp_context): Likewise.
2629         * gimplify.c (splay-tree.h): Include.
2630         * tree-inline.c (insert_decl_map): Replace splay-tree usage by
2631         pointer-map.
2632         (remap_ssa_name): Likewise.
2633         (remap_decl): Likewise.
2634         (remap_type_1): Likewise.
2635         (remap_type): Likewise.
2636         (copy_body_r): Likewise.
2637         (expand_call_inline): Likewise.
2638         (clone_body): Likewise.
2639         (copy_tree_r): Likewise.
2640         (remap_save_expr): Likewise.
2641         (unsave_r): Likewise.
2642         (unsave_expr_now): Likewise.
2643         (tree_function_versioning): Likewise.
2644         (build_duplicate_type): Likewise.
2645         * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
2646         (struct copy_body_data): Replace splay-tree by pointer-map.
2647         * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
2648         not $(SPLAY_TREE_H).
2649         (gimplify.o): Depend on $(SPLAY_TREE_H).
2650         (omp-low.p): Likewise.
2651
2652 2007-03-31  Anatoly Sokolov <aesok@post.ru>
2653
2654         * config/avr/predicates.md (even_register_operand,
2655         odd_register_operand): New predicates.
2656         * config/avr/avr.md (movw peephole2): New.
2657         (movw_r peephole2): New.
2658
2659 2007-03-30  Rafael Avila de Espindola  <espindola@google.com>
2660
2661         * tree.h (get_signed_or_unsigned_type): New.
2662         * fold-const.c (operand_equal_for_comparison_p): Use
2663         get_signed_or_unsigned_type instead of
2664         lang_hooks.types.signed_or_unsigned_type.
2665         * expr.c (store_expr): Ditto.
2666         * langhooks.c (get_signed_or_unsigned_type): New.
2667         (lhd_signed_or_unsigned_type): New.
2668         * langhooks.h (lhd_signed_or_unsigned_type): New.
2669         * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
2670
2671 2007-03-30  Richard Henderson  <rth@redhat.com>
2672
2673         * tree-ssa-loop-ivopts.c: Include target.h.
2674         (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
2675         (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
2676         (force_expr_to_var_cost): Use produce_memory_decl_rtl.
2677         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
2678
2679 2007-03-30  Richard Henderson  <rth@redhat.com>
2680             Kai Tietz  <kai.tietz@onevision.com>
2681
2682         * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
2683         default for 64-bit.
2684         (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
2685         (TARGET_64BIT_MS_ABI): New.
2686         (DBX_REGISTER_NUMBER): Handle 64-bit.
2687         (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
2688         (LONG_TYPE_SIZE): Force to 32.
2689         (REG_PARM_STACK_SPACE): New.
2690         (OUTGOING_REG_PARM_STACK_SPACE): New.
2691         (REGPARM_MAX, SSE_REGPARM_MAX): New.
2692         (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2693         (STACK_BOUNDARY): Use 128 for 64-bit.
2694         * config/i386/cygwin.asm: Use push/ret to preserve call stack.
2695         Add 64-bit implementation.
2696         * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
2697         argument unused.
2698         * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
2699         (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
2700         Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
2701         for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
2702         (ix86_handle_cconv_attribute): Don't warn when ignoring if
2703         TARGET_64BIT_MS_ABI.
2704         (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
2705         (ix86_pass_by_reference): Likewise.
2706         (ix86_function_value_regno_p): Likewise.
2707         (ix86_build_builtin_va_list): Likewise.
2708         (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2709         (function_arg_advance_ms_64): New.
2710         (function_arg_advance): Call it.
2711         (function_arg_ms_64): New.
2712         (function_arg): Call it.
2713         (function_value_ms_64): New.
2714         (ix86_function_value_1): Call it.
2715         (return_in_memory_ms_64): New.
2716         (ix86_return_in_memory): Call it.
2717         (setup_incoming_varargs_ms_64): New.
2718         (ix86_setup_incoming_varargs): Call it.
2719         (ix86_expand_prologue): Handle 64-bit stack probing.
2720         (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
2721         (output_pic_addr_const): Likewise.
2722         (x86_this_parameter): Likewise.
2723         (x86_output_mi_thunk): Likewise.
2724         (x86_function_profiler): Likewise.
2725         (TARGET_STRICT_ARGUMENT_NAMING): New.
2726         * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
2727         (TARGET_64BIT_MS_ABI): New.
2728         (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
2729         * config/i386/i386.md (allocate_stack_worker): Remove.
2730         (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
2731         describe the clobber of eax without a match_scratch.
2732         (allocate_stack_worker_postreload): Remove.
2733         (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
2734         describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
2735         (allocate_stack_worker_rex64_postreload): Remove.
2736         (allocate_stack): Handle 64-bit.
2737         * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
2738         * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
2739         (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
2740         (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
2741         (STANDARD_STARTFILE_PREFIX_1): Likewise.
2742         * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
2743         * config.build (x86_64-*-mingw*): New host.
2744         * config.host (x86_64-*-mingw*): New host.
2745         * config.gcc (x86_64-*-mingw*): New target.
2746         * gthr-win32.h (__gthread_key_create): Mark dtor unused.
2747
2748 2007-03-30  Richard Henderson  <rth@redhat.com>
2749             Kai Tietz  <kai.tietz@onevision.com>
2750
2751         * c-pragma.c (struct def_pragma_macro_value): New.
2752         (struct def_pragma_macro): New.
2753         (pushed_macro_table): New.
2754         (dpm_hash, dpm_eq): New.
2755         (handle_pragma_push_macro, handle_pragma_pop_macro): New.
2756         (init_pragma): Install them.
2757         * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2758
2759 2007-03-30  Anatoly Sokolov <aesok@post.ru>
2760
2761         * config/avr/avr.c (avr_override_options): Clear
2762         'flag_delete_null_pointer_checks'.
2763
2764 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
2765
2766         PR c++/26099
2767         * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
2768         RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
2769         RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
2770         RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
2771         RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
2772         RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
2773         RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
2774         C++ extensions.
2775         * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
2776
2777 2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
2778
2779         * regmove.c: Move all of pass_stack_adjustments from here...
2780         * combine-stack-adj.c: ...to this new file.
2781         * Makefile.in: Add rules for combine-stack-adj.o.
2782
2783 2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
2784
2785         PR tree-optimization/31383
2786         * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
2787         to have the same length.
2788
2789 2007-03-30  Jan Hubicka  <jh@suse.cz>
2790
2791         PR middle-end/30700
2792         * dwarf2out.c (reference_to_unused): Ask cgraph for functions
2793         availablility; add more sanity checking; ask varpool only about
2794         VAR_DECL.
2795
2796 2007-03-29  Richard Henderson  <rth@redhat.com>
2797
2798         * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
2799         to decide, but __SIZEOF_LONG_LONG__.
2800
2801 2007-03-29  Richard Henderson  <rth@redhat.com>
2802
2803         * emutls.c (struct __emutls_array): New.
2804         (emutls_destroy): Use it instead of casting element 0 from void*.
2805         (__emutls_get_address): Likewise.
2806
2807 2007-03-29  Richard Henderson  <rth@redhat.com>
2808
2809         * varasm.c (initializer_constant_valid_p): Don't deny
2810         DECL_DLLIMPORT_P on functions.
2811
2812         * config/i386/cygming.h: Remove function declarations.
2813         (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
2814         (ASM_OUTPUT_LABELREF): Remove.
2815         (COMMON_ASM_OP): Remove.
2816         (ASM_OUTPUT_COMMON): Remove.
2817         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
2818         (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
2819         (ASM_DECLARE_FUNCTION_NAME): Likewise.
2820         * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
2821         Rename from TARGET_ENCODE_SECTION_INFO.
2822         * config/i386/netware.h: Likewise.
2823         * config/i386/i386-protos.h: Update.
2824         * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
2825         of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
2826         (legitimate_constant_p): Reject dllimports.
2827         (dllimport_map, get_dllimport_decl): New.
2828         (legitimize_dllimport_symbol): New.
2829         (legitimize_address, ix86_expand_move): Use it.
2830         (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
2831         * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
2832         (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
2833         (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
2834         * config/i386/predicates.md (constant_call_address_operand): Only
2835         accept symbols; reject dllimport_p symbols.
2836         * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
2837         i386_pe_maybe_record_exported_symbol.
2838         * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
2839         (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
2840         (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
2841         trust the setting of DECL_DLLIMPORT_P.
2842         (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
2843         (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
2844         (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
2845         tidy the argument scanning loop.
2846         (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
2847         SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
2848         (i386_pe_strip_name_encoding): Remove.
2849         (i386_pe_binds_local_p): New.
2850         (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
2851         (i386_pe_output_labelref): Remove.
2852         (i386_pe_asm_output_aligned_decl_common): New.
2853         (i386_pe_maybe_record_exported_symbol): Rename from
2854         i386_pe_record_exported_symbol; check for dllexported symbols.
2855
2856 2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
2857
2858         * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
2859         add comment explaining why vsnprintf cannot be used.
2860
2861 2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
2862
2863         PR tree-optimization/30666
2864         * tree.c (build_complex_type): When creating type names for DWARF2
2865         debug info, create TYPE_DECLs for TYPE_NAME instead of
2866         IDENTIFIER_NODEs.
2867         (build_common_tree_nodes_2): Use build_complex_type when building
2868         predefined complex types, to preserve canonical types.
2869
2870 2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
2871
2872         * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
2873         (noce_get_alt_condition): Look at it to determine whether to
2874         reverse the condition or not.
2875         (noce_get_condition): Substitute the truth for lies.
2876         (noce_find_if_block): Set the then_else_reversed field.
2877
2878 2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
2879
2880         * config/fr30/fr30.md (movdi): Do not accept immediates as the
2881         destination of this insn.
2882         * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
2883         than calling gen_rtx_SET directly.  Use r0 to hold the value of
2884         'address + 4' rather than a stack based temporary which can be
2885         mis-optimized away.
2886
2887 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2888
2889         * config/s390/s390.c (s390_secondary_input_reload_class,
2890         s390_secondary_output_reload_class): Functions removed.
2891         (s390_secondary_reload): New function.
2892         (TARGET_SECONDARY_RELOAD): Target macro defined.
2893         * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
2894         SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
2895         * config/s390/s390.md ("reload_outti", "reload_outdi",
2896         "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
2897         "reload_out<mode>"): Expanders removed.
2898         ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
2899         "reload<mode>_nonoffmem_out"): Expanders added.
2900
2901 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2902
2903         * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
2904         SRC->DEST replacement failed anyway.
2905
2906 2007-03-28  Mike Stump  <mrs@apple.com>
2907
2908         * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
2909         * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
2910         * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
2911
2912 2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
2913
2914         * config.gcc: Accept barcelona as a variant of amdfam10.
2915         * config/i386/i386.c (override_options): Likewise.
2916         * doc/invoke.texi: Likewise.
2917
2918 2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
2919
2920         * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
2921         offsets for BIT_FIELD_REF and COMPONENT_REF.
2922
2923 2007-03-28  Richard Guenther  <rguenther@suse.de>
2924
2925         * tree.c (is_global_var): Move ...
2926         * tree-flow-inline.h (is_global_var): ... here.
2927         * tree.h (is_global_var): Remove declaration.
2928
2929 2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
2930
2931         * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
2932         option.
2933         (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
2934         * config/i386/i386.c (ix86_tune_features): Initialize new
2935         tuning option.
2936         * config/i386/predicates.md (promotable_binary_operator): Use
2937         TARGET_TUNE_PROMOTE_HIMODE_IMUL.
2938
2939 2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
2940
2941         PR target/31380
2942         * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
2943
2944 2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
2945
2946         * config/fr30/fr30.md (movsi_internal): Change destination
2947         constraint from m to V and add m to the end.
2948
2949 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2950
2951         * config/sh/sh.md (movsi_i): Fix type attribute.
2952
2953 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2954
2955         * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
2956         (movsf_ie): Likewise.
2957
2958 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2959
2960         * config.gcc: Add sh4-300 to multilib.
2961         * config/sh/t-mlib-sh4-300: New file.
2962
2963 2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
2964
2965         * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
2966         ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
2967         fix_trunc<mode>di2.
2968         ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
2969         fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
2970         ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
2971         "fixuns_trunctddi2"): Whitespace fix.
2972
2973 2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
2974
2975         * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
2976         the definition of struct sh_args.
2977         (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
2978         CALL_COOKIE_INT_REG_GET): Likewise.
2979
2980 2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
2981
2982         * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
2983         transformations are applied successfully.
2984
2985 2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
2986
2987         * tree.c (tree_contains_struct): Permit 512 tree codes.
2988         * tree.h (tree_contains_struct): Ditto.
2989         (MAX_TREE_CODES): Ditto.
2990         (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
2991         SPARE member to store remaining padding bits.
2992
2993 2007-03-27  Anatoly Sokolov <aesok@post.ru>
2994
2995         * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
2996         architecture.
2997
2998 2007-03-27  Janis Johnson  <janis187@us.ibm.com>
2999
3000         * configure.ac: Fix assembler test for powerpc*-linux decimal float.
3001         * configure: Regenerate.
3002
3003         * configure: Regenerate using the correct version of autoconf.
3004
3005 2007-03-27  Anatoly Sokolov  <aesok@post.ru>
3006
3007         * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
3008         pointer regs.
3009         * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
3010         regs to "__SP_L__" and "__SP_H__".
3011
3012 2007-03-27  Richard Guenther  <rguenther@suse.de>
3013
3014         * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
3015         computations with it with a HOST_WIDE_INT variable.
3016
3017 2007-03-26  Mike Stump  <mrs@apple.com>
3018
3019         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
3020         objective-c-header, objective-c++-header and objc++-cpp-output
3021         support.
3022         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
3023
3024 2007-03-26  Richard Henderson  <rth@redhat.com>
3025
3026         PR target/31361
3027         * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
3028         IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
3029         IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
3030         IX86_BUILTIN_PSRLQ128): New.
3031         (ix86_init_mmx_sse_builtins): Add them.
3032         (ix86_expand_builtin): Expand them.
3033         * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
3034         operand 2 be TImode.
3035         * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
3036         _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
3037         _mm_srli_epi64): Mark __B const.
3038         (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
3039         (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
3040         _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
3041         new two-vector shift builtins.
3042
3043 2007-03-26  Ian Lance Taylor  <iant@google.com>
3044
3045         PR tree-optimization/31345
3046         * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
3047         [+INF, +INF(OVF)] into VARYING.
3048
3049 2007-03-26  Zack Weinberg  <zackw@panix.com>
3050
3051         * gengtype-parse.c: New file.
3052         * gengtype-yacc.y: Delete.
3053         * gengtype-lex.l: Don't include gengtype-yacc.h.
3054         Define YY_DECL and yyterminate appropriately for recursive
3055         descent parser.  yylval is now a string out-parameter to yylex.
3056         (HWS, EOID): New shorthand.
3057         (IWORD): Add a couple more types.
3058         (yylex): Add a setup stanza.  Remove the complex rules for
3059         detecting GTY'ed types and typedefs; replace with simple
3060         keyword detectors.  Adjust everything for the changed
3061         definition of yylval.  Ignore all pp-directives, not just #define.
3062         (yyerror): Delete.
3063         (parse_file): Rename yybegin; do not call yyparse.
3064         (yyend): New.
3065         * gengtype.c (xasprintf): Export again.
3066         (this_file): New.  Use everywhere __FILE__ was being used.
3067         (get_lang_bitmap): Special case types defined in gengtype.c.
3068         (do_typedef, new_structure): Suppress definition of certain types.
3069         (new_structure): Improve diagnostics of duplicate definitions.
3070         Make sure location_s is associated with input.h.
3071         (nreverse_pairs, define_location_structures): New functions.
3072         (main): Improve tagging of kludge types.  Remove old kludges
3073         for input.h types; use define_location_structures.
3074         * gengtype.h: Update prototypes.  Define token codes here.
3075         * Makefile.in: Remove all references to gengtype-yacc.
3076         Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
3077         and gengtype.
3078         * bitmap.h (struct bitmap_head_def): Coalesce definitions,
3079         add GTY((skip)) to the field that's only conditionally there.
3080         * doc/install.texi: Document that Bison is no longer required
3081         unless building treelang.
3082
3083         * gengtype.c: Don't include gtyp-gen.h.
3084         (srcdir): Declare here.
3085         (base_files, lang_dir_names): Allocate dynamically.
3086         (gt_files, num_gt_files, num_lang_dirs): New globals.
3087         (measure_input_list, read_input_line, read_input_list)
3088         (set_lang_bitmap): New functions.
3089         (get_base_file_bitmap): Rename get_lang_bitmap and drastically
3090         simplify, relying on read_input_list to set up the bitmaps.
3091         (main): Arguments are no longer unused.  Check for correct number
3092         of command line arguments, set srcdir and srcdir_len, then call
3093         read_input_list, before doing anything else.  No need to worry
3094         about duplicates in main loop.
3095         * configure.ac: Simplify the calculation of all_gtfiles.
3096         Put language tags in there.  Don't set or substitute
3097         all_gtfiles_files_langs or all_gtfiles_files_frags.
3098         * Makefile.in: Revamp the way gengtype is invoked, now that it
3099         takes a file on its command line with a much simpler format.
3100         Remove or replace with gtyp-input.list all references to gtyp-gen.h.
3101         (GTFILES): Remove duplicates and C source files.
3102         * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
3103         * objcp/config-lang.in: Add c-pragma.h to gtfiles.
3104         * configure: Regenerate.
3105
3106         * gengtype.h: Remove all type definitions to gengtype.c; leave
3107         only definitions of options_p, type_p, and pair_p as opaque
3108         pointers.  Update prototypes.
3109         * gengtype.c: Many type definitions moved here from gengtype.h.
3110         Consolidate type definitions at the top of the file.
3111         (xvasprintf): Delete.
3112         (xasprintf): Make static.
3113         (create_nested_pointer_option): Add 'next' parameter.
3114         (create_field_all, create_field_at): New functions.
3115         (create_field): Now a thin wrapper around create_field_all.
3116         (create_optional_field): Rename create_optional_field_ and add
3117         line argument.  Original name is now a macro which supplies
3118         __LINE__.
3119         (oprintf): Use vsnprintf directly.
3120         (close_output_files): Use fatal rather than perror/exit.
3121         (note_def_vec, note_def_vec_alloc): Use create_field_at.
3122         (main): Set progname.  Don't use exit.
3123         * gengtype-yacc.y (struct_fields): Use create_field_at.
3124         (option, optionseqopt): Delete.
3125         (optionseq): Consolidate productions from option here so we
3126         can use the first argument to create_option.
3127
3128         * gengtype-lex.l: Distinguish unions from structures in the
3129         token type.  Don't call find_structure; return the tag as a string.
3130         * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
3131         Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
3132         Reorganize typedef_struct production accordingly.
3133         Use create_nested_ptr_option.
3134         * gengtype.c (create_nested_ptr_option): New function.
3135         * gengtype.h: Declare it.
3136
3137         * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
3138         (string_type): Don't declare.
3139         (do_scalar_typedef): Declare.
3140         (create_scalar_type): Update prototype.
3141         * gengtype.c (string_type): Make static.
3142         (scalar_nonchar, scalar_char): New.
3143         (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
3144         (resolve_typedef): Use scalar_nonchar for error recovery.
3145         (create_scalar_type): Remove name_len field.  Return scalar_char
3146         or scalar_nonchar as appropriate.
3147         (adjust_field_type): Look at scalar_is_char boolean to decide whether
3148         to use string_type.
3149         (throughout): Use scalar_nonchar instead of calling create_scalar_type,
3150         whenever possible.
3151         (main): Initialize scalar_char and scalar_nonchar before calling
3152         gen_rtx_next.
3153         * gengtype-lex.l: Adjust for removal of second argument to
3154         create_scalar_type.  Use yylval.s instead of yylval.t when
3155         returning SCALAR.
3156         * gengtype-yacc.y: Type of SCALAR is string.  Call
3157         create_scalar_type from type:SCALAR rule.  Adjust for removal of
3158         second argument to create_scalar_type.
3159
3160         * vec.h: Remove all #if IN_GENGTYPE blocks.
3161         Add comment saying that changes may require adjustments to gengtype.
3162         * gengtype.c: Don't include coretypes.h or tm.h.
3163         Add comment to inclusion of errors.h.
3164         (note_def_vec, note_def_vec_alloc): New functions.
3165         * gengtype.h: Declare new functions.
3166         * gengtype-lex.l: Don't include coretypes.h.
3167         (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
3168         Delete.
3169         (update_lineno): Remove unnecessary prototype.
3170         (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
3171         (VEC rule): Just return VEC_TOKEN.
3172         * gengtype-yacc.y (VEC_TOKEN): New token type.
3173         (type): Add a production for VEC(a,b).
3174         * Makefile.in: Update dependencies.
3175
3176         * gengtype-lex.l: Remove rules for parsing pointer-to-function
3177         typedefs that use the old PARAMS macro.
3178
3179         * gengtype-lex.l: Remove all rules and states relating to yacc
3180         input files.
3181         * gengtype-yacc.y: Similarly.
3182         * gengtype.c (note_yacc_type): Delete function.
3183         * gengtype.h: Update prototypes.
3184
3185 2007-03-26  Joseph Myers  <joseph@codesourcery.com>
3186
3187         * tree-pretty-print.c (dump_generic_node): Report precision of
3188         unnamed integer types.
3189
3190 2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>
3191
3192         * ifcvt.c (noce_try_store_flag_constants): Don't check
3193         no_new_pseudos here.
3194         (noce_try_store_flag_constants): Don't check no_new_pseudos.
3195         (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
3196         noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
3197         noce_try_sign_mask): Likewise.
3198         (if_convert): Check no_new_pseudos here.
3199
3200         (cond_exec_process_if_block, noce_process_if_block, find_if_block):
3201         Remove prototypes.
3202         (struct noce_if_info): Add then_bb, else_bb, join_bb members.
3203         (noce_get_condition): Handle new then_else_reversed argument.
3204         (noce_init_if_info): Remove, fold into noce_find_if_block.
3205         (noce_process_if_block): Take a struct noce_if_info as the
3206         argument.  Don't set up one based on ce_if_info.  Update pointer
3207         references accordingly.
3208         (cond_move_process_if_block): Likewise.
3209         (process_if_block): Removed.
3210         (find_if_block): Removed.  Move functionality two new functions,
3211         noce_find_if_block and cond_exec_find_if_block.
3212         (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
3213         blocks and the symmetric IF-ELSE-JOIN case.
3214         (cond_exec_find_if_block): Also new function mostly based on old
3215         find_if_block and process_if_block.
3216         (find_if_header): Replace find_if_block call with separately
3217         guarded calls to noce_find_if_block and cond_exec_find_if_block.
3218         (find_cond_trap): Update noce_get_condition call.
3219         (dead_or_predicable): Likewise.
3220
3221 2007-03-26  Jakub Jelinek  <jakub@redhat.com>
3222
3223         * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
3224         Remove.
3225         (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
3226         IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
3227         IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
3228         (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
3229         v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
3230         __builtin_ia32_pslld128, __builtin_ia32_psllq128,
3231         __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
3232         __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
3233         __builtin_ia32_psrad128 builtins.
3234
3235 2007-03-26  Uros Bizjak  <ubizjak@gmail.com>
3236
3237         * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
3238         * config/i386/constraints.md
3239         (define_constraint "I"): Use IN_RANGE macro.
3240         (define_constraint "J"): Ditto.
3241         (define_constraint "K"): Ditto.
3242         (define_constraint "M"): Ditto.
3243         (define_constraint "N"): Ditto.
3244         (define_constraint "O"): Ditto.
3245         * config/i386/predicates.md
3246         (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
3247         (define_predicate "const_0_to_3_operand"): Ditto.
3248         (define_predicate "const_0_to_7_operand"): Ditto.
3249         (define_predicate "const_0_to_15_operand"): Ditto.
3250         (define_predicate "const_0_to_63_operand"): Ditto.
3251         (define_predicate "const_0_to_255_operand"): Ditto.
3252         (define_predicate "const_1_to_31_operand"): Ditto.
3253         (define_predicate "const_2_to_3_operand"): Ditto.
3254         (define_predicate "const_4_to_7_operand"): Ditto.
3255
3256 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
3257
3258         * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
3259         in SImode for save_world.
3260         * config/rs6000/altivec.md (save_world, restore_world): Convert to
3261         LR hard reg.
3262
3263 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
3264
3265         PR tree-optimization/30784
3266         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
3267         BIT_FIELD_REF.
3268
3269 2007-03-25  Revital Eres  <eres@il.ibm.com>
3270
3271         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
3272           Fold movement_possibility function into it.
3273
3274 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
3275
3276         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
3277         (load_macho_picbase_{si,di}): Convert to LR hard reg.
3278         (call_indirect_nonlocal_darwin64): Same.
3279         (call_nonlocal_darwin64): Same.
3280         (call_value_indirect_nonlocal_darwin64): Same.
3281         (call_value_nonlocal_darwin64): Same.
3282         (sibcall_nonlocal_darwin64): Same.
3283         (sibcall_value_nonlocal_darwin64): Same.
3284         (sibcall_symbolic_64): Same.
3285         (sibcall_value_symbolic_64): Same.
3286         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
3287         LR pseudo.
3288         (rs6000_emit_load_toc_table): Same.
3289         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
3290         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
3291         (mull_call): Same.
3292         (divss_call): Same.
3293         (divus_call): Same.
3294         (quoss_call): Same.
3295         (quous_call): Same.
3296         (load_toc_v4_pic_si): Same
3297         (load_toc_v4_PIC_1): Same.
3298         (load_toc_v4_PIC_1b): Same.
3299         (call_indirect_aix{32,64}): Same.
3300         (call_value_indirect_aix{32,64}): Same.
3301         (call): Same.
3302         (call_value): Same.
3303         (call_local{32,64}): Same.
3304         (call_value_local{32,64}): Same.
3305         (call_indirect_nonlocal_aix{32,64}): Same.
3306         (call_nonlocal_aix{32,64}): Same.
3307         (call_value_indirect_nonlocal_aix{32,64}): Same.
3308         (call_value_nonlocal_aix{32,64}): Same.
3309         (call_indirect_nonlocal_sysv<mode>): Same.
3310         (call_nonlocal_sysv<mode>): Same.
3311         (call_value_indirect_nonlocal_sysv<mode>): Same.
3312         (call_value_nonlocal_sysv<mode>): Same.
3313         (sibcall): Same.
3314         (sibcall_local{32,64}): Same.
3315         (sibcall_value_local{32,64}): Same.
3316         (sibcall_nonlocal_aix{32,64}): Same.
3317         (sibcall_value_nonlocal_aix{32,64}): Same.
3318         (sibcall_nonlocal_sysv<mode>): Same.
3319         (sibcall_value): Same.
3320         (sibcall_value_nonlocal_sysv<mode>): Same.
3321
3322 2007-03-24  Paul Brook  <paul@codesourcery.com>
3323
3324         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
3325         * config/arm/linux-eabi.h: Remove legacy syscall hack.
3326
3327 2007-03-24  Richard Henderson  <rth@redhat.com>
3328
3329         * config/ia64/constraints.md: New file.
3330         * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
3331         satisfies_constraint_?.
3332         * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
3333         ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
3334         ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
3335         ia64_output_mi_thunk): Likewise.
3336         (ia64_const_ok_for_letter_p): Remove.
3337         (ia64_const_double_ok_for_letter_p): Remove.
3338         (ia64_extra_constraint): Remove.
3339         * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
3340         (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
3341         CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
3342         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
3343         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
3344         EXTRA_MEMORY_CONSTRAINT): Remove.
3345         * config/ia64/ia64.md: Include constriants.md.  Replace
3346         CONST_OK_FOR_? with satisfies_constraint_?.
3347
3348 2007-03-23  Michael Meissner  <michael.meissner@amd.com>
3349             H.J. Lu  <hongjiu.lu@intel.com>
3350
3351         * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
3352         DPD or BID name.
3353         (name macros): Use DPD_BID_NAME to convert names properly.
3354
3355         * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
3356         decimal floating point format.
3357         (init_floating_libfuncs): Change decimal functions so that they
3358         have a "bid_" prefix if the decimal system uses the BID format,
3359         and "dpd_" prefix if the decimal system uses the DPD format.
3360         (init_interclass_conv_libfuncs): Ditto.
3361         (init_intraclass_conv_libfuncs): Ditto.
3362
3363         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
3364         using the BID format.
3365
3366         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
3367         whether we are using the BID decimal format.
3368         * configure: Regenerate.
3369
3370         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
3371         the compiler has decimal floating point enabled.  Define
3372         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
3373         instead of DPD.
3374
3375         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
3376         using the BID format.
3377
3378         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
3379         whether we are using the BID decimal format.
3380         * configure: Regenerate.
3381
3382         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
3383         the compiler has decimal floating point enabled.  Define
3384         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
3385         instead of DPD.
3386
3387         * doc/install.texi (--enable-decimal-float): Document BID and DPD
3388         options, and that it is enabled for i386/x86_64 systems.
3389
3390         * Makefile.in (enable_decimal_float): New.
3391         (DECNUMFMT): New.
3392         (DECNUMINC): Add  -I$(DECNUMFMT).
3393         (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
3394         to $(DECNUMFMT) from $(DECNUM).
3395
3396         * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
3397         Substitute enable_decimal_float.
3398         * configure: Regenerated.
3399
3400         PR other/30529
3401         * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
3402         unsigned long.
3403
3404         * configure.ac: Enable decimal float for x86_64-*-linux*.
3405         * configure: Regenerated.
3406
3407         PR other/30530
3408         * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and