gcc/ChangeLog

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