gcc/ChangeLog

   1 2005-02-18  Alexandre Oliva  <aoliva@redhat.com>
   2
   3         PR c++/20008
   4         * stmt.c (expand_case): Don't assume cleanup_tree_cfg will remove
   5         cases that are out-of-range for the index type.
   6
   7 2005-02-18  James A. Morrison  <phython@gcc.gnu.org>
   8
   9         * stmt.c (emit_case_bit_tests): Call fold_convert instead of convert.
  10         (estimate_case_costs): Don't call convert.
  11         * expmed.c (expand_shift): Likewise.
  12         (make_tree): Call fold_convert instead of convert.
  13
  14 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
  15
  16         PR c++/19813
  17         * emit-rtl.c (set_mem_attributes_minus_bitpos): Add assertion
  18         that ref to be marked MEM_READONLY_P doesn't have base that needs
  19         constructing.
  20
  21 2005-02-18  Joseph S. Myers  <joseph@codesourcery.com>
  22
  23         * genautomata.c (output_get_cpu_unit_code_func,
  24         output_cpu_unit_reservation_p): Don't generate old-style function
  25         definitions.
  26
  27 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
  28
  29         PR c++/20023
  30         PR tree-optimization/20009
  31         * convert.c (convert_to_integer): Revert 2005-02-16 change.
  32
  33         PR tree-optimization/18947
  34         * cgraphunit.c (cgraph_finalize_function): When redefining an extern
  35         inline, remove all nodes that are inlined into the extern inline
  36         being redefined.
  37
  38 2005-02-17  Kazu Hirata  <kazu@cs.umass.edu>
  39
  40         * bt-load.c, cfgloop.c, convert.c, dominance.c, global.c,
  41         loop-invariant.c, stmt.c, tree-ssa-forwprop.c,
  42         tree-ssa-live.c, tree-ssanames.c, tree-vn.c,
  43         config/host-linux.c, config/arm/fpa.md, config/avr/avr.h:
  44         Update copyright.
  45
  46 2005-02-17  Roger Sayle  <roger@eyesopen.com>
  47
  48         PR tree-optimization/19917
  49         * tree-eh.c (tree_could_trap_p): Consider calls to weak functions
  50         to be potentially trapping.
  51
  52 2005-02-17  Kazu Hirata  <kazu@cs.umass.edu>
  53
  54         * libgcc2.c, tree-vect-analyze.c: Fix comment typos.
  55
  56 2005-02-17  Andreas Krebbel  <krebbel1@de.ibm.com>
  57
  58         * builtins.c (expand_builtin_return_addr): Remove tem parameter.
  59         tem becomes a local variable which is set to the value of the
  60         back end defined INITIAL_FRAME_ADDRESS macro.
  61         (expand_builtin_frame_address): Omit the base parameter to
  62         expand_builtin_return_addr.
  63         (expand_builtin_profile_func): Likewise.
  64         * config/s390/s390.h (INITIAL_FRAME_ADDRESS_RTX): Define new macro.
  65         (DYNAMIC_CHAIN_ADDRESS): Remove the case for the initial frame.
  66         * doc/tm.texi: Documentation for INITIAL_FRAME_ADDRESS_RTX added.
  67
  68 2005-02-17  Jakub Jelinek  <jakub@redhat.com>
  69
  70         * config/s390/s390.c (s390_alloc_pool, s390_free_pool,
  71         s390_chunkify_start): Use BITMAP_ALLOC and BITMAP_FREE.
  72         * config/frv/frv.c (frv_function_epilogue): Likewise.
  73
  74 2005-02-17  Daniel Berlin  <dberlin@dberlin.org>
  75
  76         * lambda-code (perfect_nestify): Remove mark/unmark
  77         for rewriting hack.
  78         * tree-loop-linear.c (linear_transform_loops): Add
  79         rewrite_into_ssa call so that ssa is correct for
  80         rewriting into loop closed.
  81
  82 2005-02-17  Nathan Sidwell  <nathan@codesourcery.com>
  83
  84         * bitmap.h (BITMAP_XMALLOC, BITMAP_XFREE): Remove.
  85         * bb-reorder.c (duplicate_computed_gotos): Use BITMAP_ALLOC and
  86         BITMAP_FREE.
  87         * bt-load.c (btr_def_live_range, combine_btr_defs,
  88         migrate_btr_def, migrate_btr_defs): Likewise.
  89         * cfgcleanup.c (thread_jump): Likewise.
  90         * cfgloop.c (get_loop_body_in_bfs_order): Likewise.
  91         * df.c (df_insn_table_realloc, df_bitmaps_alloc, df_bitmaps_free,
  92         df_alloc, df_free, df_du_chain_create, df_bb_rd_local_compute,
  93         df_rd_local_compute, df_reg_info_compute): Likewise.
  94         * dominance.c (init_dom_info, free_dom_info): Likewise.
  95         * flow.c (init_propagate_block_info,
  96         free_propagate_block_info): Likewise.
  97         * gcse.c (alloc_gcse_mem, free_gcse_mem): Likewise.
  98         * global.c (allocate_bb_info, free_bb_info, calculate_reg_pav,
  99         modify_reg_pav): Likewise.
 100         * loop-invariant.c (find_defs, find_invariant_insn,
 101         find_invariants, free_inv_motion_data): Likewise.
 102         * predict.c (tree_predict_by_opcode,
 103         estimate_bb_frequencies): Likewise.
 104         * stmt.c (expand_case): Likewise.
 105         * tree-cfg.c (tree_duplicate_sese_region): Likewise.
 106         * tree-dfa.c (mark_new_vars_to_rename): Likewise.
 107         * tree-if-conv.c (get_loop_body_in_if_conv_order): Likewise.
 108         * tree-into-ssa.c (insert_phi_nodes_for, def_blocks_free,
 109         get_def_blocks_for, mark_def_site_blocks, rewrite_into_ssa,
 110         rewrite_ssa_into_ssa): Likewise.
 111         * tree-optimize.c (tree_rest_of_compilation): Likewise.
 112         * tree-outof-ssa.c (new_temp_expr_table, free_temp_expr_table,
 113         analyze_edges_for_bb, perform_edge_inserts): Likewise.
 114         * tree-scalar-evolution.c (scev_initialize, scev_finalize): Likewise.
 115         * tree-sra.c (tree_sra): Likewise.
 116         * tree-ssa-alias.c (init_alias_info, delete_alias_info): Likewise.
 117         * tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
 118         * tree-ssa-dce.c (tree_dce_init, tree_dce_done): Likewise.
 119         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
 120         * tree-ssa-dse.c (tree_ssa_dse): Likewise.
 121         * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_var):
 122         Likewise.
 123         * tree-ssa-live.c (new_tree_live_info, delete_tree_live_info,
 124         calculate_live_on_entry, calculate_live_on_exit,
 125         build_tree_conflict_graph): Likewise.
 126         * tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init, record_use,
 127         record_important_candidates, set_use_iv_cost, find_depends,
 128         determine_use_iv_costs, iv_ca_new, iv_ca_free, free_loop_data,
 129         tree_ssa_iv_optimize_finalize): Likewise.
 130         * tree-ssa-loop-manip.c (add_exit_phis_var, get_loops_exit,
 131         find_uses_to_rename_use, rewrite_into_loop_closed_ssa,
 132         tree_duplicate_loop_to_header_edge): Likewise.
 133         * tree-ssa-pre.c (init_pre, fini_pre): Likewise.
 134         * tree-ssa.c (verify_flow_insensitive_alias_info,
 135         verify_name_tags, verify_ssa, init_tree_ssa,
 136         delete_tree_ssa): Likewise.
 137         * tree-ssanames.c (marked_ssa_names, init_ssanames,
 138         fini_ssanames): Likewise.
 139         * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Likewise.
 140
 141 2005-02-17  Ralf Corsepius  <ralf.corsepius@rtems.org>
 142
 143         * config/rs6000/t-rtems: Completely reworked.
 144
 145 2005-02-17  Ira Rosen  <irar@il.ibm.com>
 146
 147         * tree-data-ref.c (array_base_name_differ_p): Remove gcc_assert.
 148
 149 2005-02-17  Ira Rosen  <irar@il.ibm.com>
 150
 151         * tree-vect-analyze.c (vect_analyze_pointer_ref_access): Use
 152         POINTER_TYPE_P when checking that type is a pointer.
 153         (vect_get_memtag): Remove.
 154         (vect_address_analysis): Use POINTER_TYPE_P. Call
 155         vect_object_analysis with dummy parameter for memtag.
 156         (vect_object_analysis): Extract memtag (functionality that
 157         used to be in vect_get_memtag and moved here). Fix printings.
 158         (vect_analyze_data_refs): Fix comment. Call vect_object_analysis
 159         with correct parameters. Remove call to vect_get_memtag.
 160
 161 2005-02-17  Dorit Naishlos  <dorit@il.ibm.com>
 162
 163         * Makefile.in (tree-vect-analyze.o, tree-vect-transform.o): New.
 164         (tree-vectorizer.o): Added missing dependencies.
 165
 166         * tree-vectorizer.h (vect_dump, vect_verbosity_level): Added extern
 167         decleration.
 168         (slpeel_tree_peel_loop_to_edge): Function externalized (had a static
 169         declaration in tree-vectorizer.c, now has an extern declaration in
 170         tree-vectorizer.h).
 171         (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
 172         slpeel_verify_cfg_after_peeling, vect_strip_conversion,
 173         get_vectype_for_scalar_type, vect_is_simple_use,
 174         vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
 175         vect_supportable_dr_alignment, new_loop_vec_info, destroy_loop_vec_info,
 176         new_stmt_vec_info, vect_analyze_loop, vectorizable_load,
 177         vectorizable_store, vectorizable_operation, vectorizable_assignment,
 178         vect_transform_loop, vect_print_dump_info, vect_set_verbosity_level,
 179         find_loop_location): Likewise.
 180
 181         * tree-vectorizer.c (langhooks.h): #include removed.
 182         (slpeel_tree_peel_loop_to_edge): Function externalized. Declaration
 183         moved to tree-vectorized.h.
 184         (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
 185         slpeel_verify_cfg_after_peeling, vect_strip_conversion,
 186         get_vectype_for_scalar_type, vect_is_simple_use,
 187         vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
 188         vect_supportable_dr_alignment, new_loop_vec_info,
 189         destroy_loop_vec_info, new_stmt_vec_info, vect_print_dump_info,
 190         vect_set_verbosity_level, find_loop_location): Likewise.
 191
 192         (vect_analyze_loop): Function externalized. Declaration moved to
 193         tree-vectorized.h. Function definition moved to tree-vect-analyze.c.
 194         (vect_analyze_loop_form): Moved to tree-vect-analyze.c.
 195         (vect_mark_stmts_to_be_vectorized, vect_analyze_scalar_cycles,
 196         vect_analyze_data_ref_accesses, vect_analyze_data_ref_dependences,
 197         vect_analyze_data_refs_alignment, vect_compute_data_refs_alignment,
 198         vect_enhance_data_refs_alignment, vect_analyze_operations,
 199         exist_non_indexing_operands_for_use_p, vect_mark_relevant,
 200         vect_stmt_relevant_p, vect_get_loop_niters,
 201         vect_analyze_data_ref_dependence, vect_compute_data_ref_alignment,
 202         vect_analyze_data_ref_access, vect_analyze_pointer_ref_access,
 203         vect_can_advance_ivs_p, vect_get_ptr_offset, vect_analyze_offset_expr,
 204         vect_base_addr_differ_p, vect_object_analysis, vect_address_analysis,
 205         vect_get_memtag): Likewise.
 206
 207         (vectorizable_load): Function externalized. Declaration moved to
 208         tree-vectorized.h. Function definition moved to tree-vect-transform.c.
 209         (vectorizable_store, vectorizable_operation, vectorizable_assignment,
 210         vect_transform_loop): Likewise.
 211         (vect_transform_stmt): Moved to tree-vect-transform.c.
 212         (vect_align_data_ref, vect_create_destination_var,
 213         vect_create_data_ref_ptr, vect_create_index_for_vector_ref,
 214         vect_create_addr_base_for_vector_ref, vect_get_new_vect_var,
 215         vect_get_vec_def_for_operand, vect_init_vector,
 216         vect_finish_stmt_generation, vect_generate_tmps_on_preheader,
 217         vect_build_loop_niters, vect_update_ivs_after_vectorizer,
 218         vect_gen_niters_for_prolog_loop, vect_update_inits_of_dr,
 219         vect_update_inits_of_drs, vect_do_peeling_for_alignment,
 220         vect_do_peeling_for_loop_bound): Likewise.
 221
 222         * tree-vect-analyze.c: New file.
 223         * tree-vect-transform.c: New file.
 224
 225 2005-02-17  Jason Merrill  <jason@redhat.com>
 226
 227         PR mudflap/19319, c++/19317
 228         * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
 229         slot explicit.
 230
 231 2005-02-17  Gerald Pfeifer  <gerald@pfeifer.com>
 232
 233         * doc/install.texi (Specific): Update link for Darwin-specific
 234         tool binary site.
 235
 236 2005-02-16  James A. Morrison  <phython@gcc.gnu.org>
 237
 238         * fold-const.c (invert_truthvalue): <INTEGER_CST>: Call
 239         constant_boolean_node.
 240
 241 2005-02-16  David Edelsohn  <edelsohn@gnu.org>
 242
 243         PR target/19019
 244         * config/rs6000/t-aix43 (SHLIB_MAPFILES): Add libgcc-ppc64.ver.
 245         * config/rs6000/t-aix52 (SHLIB_MAPFILES): Same.
 246
 247 2005-02-16  Richard Henderson  <rth@redhat.com>
 248
 249         PR 19920
 250         * libgcc2.c (WORD_SIZE): Remove all definitions; replace uses
 251         with W_TYPE_SIZE.
 252         (HIGH_WORD_COEFF, HIGH_HALFWORD_COEFF): Remove all definitions;
 253         replace uses with Wtype_MAXp1_F.
 254         (L_fixunstfdi, L_fixtfdi, L_floatditf, L_fixunsxfdi, L_fixxfdi,
 255         L_floatdixf, L_fixunsxfsi, L_fixunsdfdi, L_floatdidf, L_fixunsdfsi,
 256         L_powidf2, L_powixf2, L_powitf2, L_muldc3, L_divdc3, L_mulxc3,
 257         L_divxc3, L_multc3, L_divtc3): Protect with HAVE_DFMODE, HAVE_XFMODE,
 258         and HAVE_TFMODE as appropriate.
 259         (__fixunssfDI): Provide an implementation that doesn't need DFmode.
 260         (__floatdisf): Likewise.
 261         * libgcc2.h (LIBGCC2_DOUBLE_TYPE_SIZE): New.
 262         (HAVE_DFMODE, HAVE_XFMODE, HAVE_TFMODE): New.
 263         (Wtype_MAXp1_F): New.
 264         (DFtype, DCtype, __fixdfdi, __floatdidf, __fixunsdfSI, __fixunsdfDI,
 265         __powidf2, __divdc3, __muldc3): Protect with HAVE_DFMODE.
 266
 267 2005-02-16  Richard Earnshaw  <rearnsha@arm.com>
 268
 269         * PR target/19162
 270         * arm.c (arm_apply_result_size): New function.
 271         * arm.h (APPLY_RESULT_SIZE): Define.
 272         * arm-protos.h (arm_apply_result_size): Add prototype.
 273         * arm.md (RO_REGNUM, FPA_F0_REGNUM, FPA_F7_REGNUM): New constants.
 274         (movxf): New expand.
 275         (ldmsi_postinc4_thumb, stmsi_postinc4_thumb): New patterns for Thumb.
 276         (call_value_symbol): Remove predicate for operand 0.
 277         (call_value_insn, sibcall_value, sibcall_value_insn): Likewise.
 278         (untyped_call): Rework to correclty return values for any type.
 279         (untyped_return): New expand.
 280         * fpa.md (movxf_fpa): Simplify and use sfm/lfm when appropriate.
 281
 282 2005-02-16  Stan Shebs  <shebs@apple.com>
 283
 284         * config.gcc (powerpc-*-darwin*): Use fragment for Darwin 8 or later.
 285         * config/rs6000/t-darwin8: New, for 64-bit multilib.
 286
 287 2005-02-16  Eric Botcazou  <ebotcazou@libertysurf.fr>
 288
 289         * doc/install.texi (sparc-sun-solaris2*): Document required GMP
 290         configure settings on Solaris 7 and later.
 291
 292 2005-02-16  Diego Novillo  <dnovillo@redhat.com>
 293
 294         PR tree-optimization/19865
 295         * tree-optimize.c (init_tree_optimization_passes): Run
 296         pass_may_alias after pass_sra.
 297
 298 2005-02-16  Richard Henderson  <rth@redhat.com>
 299             Stuart Hastings  <stuart@apple.com>
 300
 301         PR debug/19521
 302         * dbxout.c (dbxout_function_end): Take decl parameter; update callers.
 303         Do nothing if debug info suppressed for this function.
 304         (dbxout_begin_function): Early exit if debug info suppressed for
 305         this function.
 306
 307 2005-02-16  Kazu Hirata  <kazu@cs.umass.edu>
 308
 309         PR target/20007
 310         * config/ip2k/ip2k.c (ip2k_reorg): Adjust calls to
 311         find_basic_blocks.
 312         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
 313
 314         PR tree-optimization/19967
 315         * builtins.c (expand_builtin_strstr, expand_builtin_strpbrk,
 316         expand_builtin_strchr, expand_builtin_strrchr): Take a new
 317         argument TYPE.  Adjust calls to fold_builtin_XXX.
 318         (expand_builtin, fold_builtin_1): Adjust calls to
 319         expand_builtin_XXX.
 320         (fold_builtin_strchr, fold_builtin_strpbrk,
 321         fold_builtin_strstr, fold_builtin_strrchr): Convert the folded
 322         result to a requested type TYPE.
 323
 324 2005-02-16  Jakub Jelinek  <jakub@redhat.com>
 325
 326         PR middle-end/19857
 327         * fold-const.c (fold): Don't optimize (T)(x & cst) to
 328         (T)x & (T)cst if (T)cst overflows.
 329         * convert.c (convert_to_integer) <case POINTER_TYPE>: Pass
 330         TYPE_UNSIGNED (type) as type_for_size's UNSIGNEDP argument.
 331
 332 2005-02-15  Jeff Law  <law@redhat.com>
 333
 334         * gcse.c (blocks_with_calls): New bitmap.
 335         (alloc_gcse_mem): Allocate it.
 336         (free_gcse_mem): Free it.
 337         (clear_modifY_mem_tables): Clear it.
 338         (record_last_mem_set_info): Set the proper bit in BLOCK_WITH_CALLS
 339         when we encounter CALL_INSNs.
 340         (compute_transp, case MEM): Handle blocks with calls separate
 341         from blocks without calls.  Use bitmap iterators rather than
 342         FOR_EACH_BB.
 343
 344 2005-02-15  Peter O'Gorman  <peter@pogma.com>
 345
 346         PR bootstrap/18810
 347         * mklibgcc.in (vis_hide): Use a temporary object file, not
 348         -o /dev/null.
 349
 350 2005-02-15  Andy Hutchinson  <HutchinsonAndy@netscape.net>
 351
 352         PR target/19924
 353         * config/avr/avr.h (MODES_TIEABLE_P): Define to 1 to allow subreg
 354         access optimization.
 355
 356 2005-02-15  David Edelsohn  <edelsohn@gnu.org>
 357             Alan Modra  <amodra@bigpond.net.au>
 358
 359         PR target/19019
 360         * config/rs6000/darwin-ldouble.c (_xlqadd): Rename to __gcc_qadd.
 361         (_xlqsub): Rename to __gcc_qsub.
 362         (_xlqmul): Rename to __gcc_qmul.
 363         (_xlqdiv): Rename to __gcc_qdiv.
 364         Provide versioned symbol aliases with old names.
 365         * config/rs6000/libgcc-ppc64.ver: Rename symbols.
 366         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Rename symbols.
 367         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): New.
 368         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): New.
 369         * config/rs6000/t-newas (LIB2FUNCS_EXTRA): New.
 370
 371 2005-02-15  James A. Morrison  <phython@gcc.gnu.org>
 372
 373         * fold-const.c (fold): Fold -(~A) to A + 1.  Fold ~(-A) to A - 1.
 374         Fold ~(A - 1) and ~(A + -1) to -A.
 375
 376 2005-02-15  James A. Morrison  <phython@gcc.gnu.org>
 377
 378         PR pch/14940
 379         PR target/19300
 380         * config/host-linux.c (linux_gt_pch_use_address): Copy from
 381         config/pa/pa-host.c:pa_gt_pch_use_address.
 382
 383 2005-02-15  Daniel Berlin  <dberlin@dberlin.org>
 384
 385         * tree-vn.c (get_value_handle): Make sure that given an
 386         is_gimple_min_invariant expression, we always return it.
 387
 388 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
 389
 390         * passes.c (rest_of_handle_gcse): Fix a comment.
 391
 392 2005-02-15  Jeff Law  <law@redhat.com>
 393
 394         * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
 395         bitmap.
 396         (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
 397         (canon_list_insert, record_last_mem_set_info): Similarly.
 398         (clear_modify_mem_tables): Similarly.
 399
 400 2005-02-15  Kazu Hirata  <kazu@cs.umass.edu>
 401
 402         * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
 403         tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
 404         config/mips/mips.md, config/rs6000/aix.h,
 405         config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
 406
 407 2005-02-15  Richard Henderson  <rth@redhat.com>
 408
 409         * bb-reorder.c (find_traces_1_round): Force fallthru edge from a
 410         call to be best_edge.
 411
 412 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
 413
 414         * basic-block.h: Adjust the prototype for find_basic_blocks.
 415         * cfgbuild.c (find_basic_blocks): Remove unused arguments.
 416         * passes.c (rest_of_handle_loop_optimize): Adjust the call to
 417         find_basic_blocks.
 418
 419         * flow.c (recompute_reg_usage): Remove all arguments.
 420         * passes.c (rest_of_compilation): Adjust the call to
 421         recompute_reg_usage.
 422         * rtl.h: Adjust the prototype for recompute_reg_usage.
 423
 424 2005-02-14  Daniel Berlin  <dberlin@dberlin.org>
 425
 426         * tree-dump.c (dump_files): Update to reflect new member
 427         of dump_file_info.
 428         (dump_register): Add new argument.
 429         Set glob name.
 430         (dump_switch_p_1): Check against glob name if doglob was passed.
 431         (dump_switch_p): Check against regular first, then glob if
 432         we didn't have any hits on the dump name.
 433         * tree-optimize.c (register_one_dump_file):
 434         Pass in glob name as well.
 435         * tree-pass.h (struct dump_file_info): Add glob
 436         member.
 437
 438 2005-02-14  Joseph S. Myers  <joseph@codesourcery.com>
 439
 440         PR preprocessor/16323
 441         * doc/invoke.texi: Document that -Wendif-labels is on by default.
 442
 443 2005-02-14  David Edelsohn  <edelsohn@gnu.org>
 444
 445         PR target/19019
 446         * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
 447         (trunctfdf2_internal1): New.
 448         (trunctfdf2_internal2): Renamed from trunctfdf2.
 449
 450 2005-02-14  Diego Novillo  <dnovillo@redhat.com>
 451
 452         PR tree-optimization/19853
 453         * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
 454
 455 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
 456
 457         * passes.c (rest_of_handle_loop_optimize): Remove calls to
 458         delete_dead_jumptables and cleanup_cfg.
 459
 460 2005-02-14  Ulrich Weigand  <uweigand@de.ibm.com>
 461
 462         * reload.c (find_reloads): Swap address_reloaded flags when
 463         swapping commutative operands.
 464
 465 2005-02-14  Sebastian Pop  <pop@cri.ensmp.fr>
 466
 467         * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
 468         Use standard_iv_increment_position for computing the bsi position
 469         for create_iv.
 470         * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
 471         the bsi position.
 472
 473 2005-02-13  Zdenek Dvorak  <dvorakz@suse.cz>
 474
 475         PR target/17428
 476         * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
 477         life range of hard registers.
 478         * value-prof.c (insn_prefetch_values_to_profile): Only
 479         scan normal insns.
 480
 481         * value-prof.c (rtl_find_values_to_profile): Do not look for values to
 482         profile in libcalls.
 483
 484 2005-02-13  Nathan Sidwell  <nathan@codesourcery.com>
 485
 486         * bitmap.h (bitmap_and_compl_into): Return bool.
 487         * bitmap.c (bitmap_and_compl_into): Return changed flag.
 488
 489 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
 490
 491         PR tree-optimization/19944
 492         * fold-const.c (fold): Re-add ABS_EXPR folding.
 493
 494 2005-02-13  David Edelsohn  <edelsohn@gnu.org>
 495
 496         PR target/19019
 497         * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
 498         {TARGET,MASK}_XL_COMPAT.
 499         (SUBTARGET_SWITCHES): Rename xl-call to xl-compat.  Use
 500         MASK_XL_COMPAT.
 501         * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
 502         * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
 503         TARGET_XL_COMPAT.
 504         (rs6000_arg_partial_bytes): Same.
 505         (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
 506         and XL compatibility enabled.
 507         * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
 508         * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
 509         test to final condition.
 510         (cmptf_internal2): New.
 511         * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
 512         xl-compat.  Add TFmode information to description.
 513
 514 2005-02-13  Kazu Hirata  <kazu@cs.umass.edu>
 515
 516         * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
 517
 518 2005-02-13  Jason Merrill  <jason@redhat.com>
 519
 520         PR c++/16405
 521         * fold-const.c (fold_indirect_ref_1): Split out from...
 522         (build_fold_indirect_ref): Here.
 523         (fold_indirect_ref): New fn.
 524         * tree.h: Declare it.
 525         * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
 526         (gimplify_modify_expr_rhs): Likewise.
 527         (gimplify_expr): Likewise.
 528
 529 2005-02-13  James A. Morrison  <phython@gcc.gnu.org>
 530
 531         PR tree-optimization/14303
 532         PR tree-optimization/15784
 533         * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
 534         Fold ABS_EXPR<x> < 0 to false.  Fold ABS_EXPR<x> == 0 to x == 0 and
 535         ABS_EXPR<x> != 0 to x != 0.
 536
 537 2005-02-12  Kazu Hirata  <kazu@cs.umass.edu>
 538
 539         * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
 540         simplify-rtx.c, tree-ssa-live.h: Fix comment typos.  Follow
 541         spelling conventions.
 542
 543         * passes.c (rest_of_handle_gcse): Don't run cse_main and
 544         delete_trivially_dead_insns too many times.
 545
 546         * passes.c (rest_of_handle_gcse): Remove dead assignments to
 547         tem and tem2.
 548
 549 2005-02-12  Ira Rosen  <irar@il.ibm.com>
 550
 551         * tree-vectorizer.c (vect_get_base_and_offset): Remove.
 552         (vect_is_simple_iv_evolution): Remove redundant parameter
 553         and step check.
 554         (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
 555         without last parameter.
 556         (vect_analyze_pointer_ref_access): Get access_fn as parameter.
 557         Return pointer step. Call vect_is_simple_iv_evolution without
 558         last parameter. Check only that the step is multiple of size
 559         type. Remove stmt_vinfo updates.
 560         (vect_get_memtag_and_dr): Remove.
 561         (vect_get_memtag): New function.
 562         (vect_address_analysis): New function.
 563         (vect_object_analysis): New function.
 564         (vect_analyze_data_refs): Call vect_object_analysis and
 565         vect_get_memtag. Update stmt_vinfo fields.
 566
 567 2005-02-12  Ira Rosen  <irar@il.ibm.com>
 568
 569         * tree-data-ref.c (array_base_name_differ_p): Check that the bases
 570         exist and are objects. Remove checks for pointer.
 571         * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
 572         STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
 573         (vect_create_data_ref_ptr): Likewise.
 574         (vect_base_addr_differ_p): New function.
 575         (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
 576         (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
 577         Don't set the DR_BASE_NAME field of data-ref.
 578         (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
 579
 580 2005-02-12  Uros Bizjak  <uros@kss-loka.si>
 581
 582         * optabs.h (enum optab_index): Add new OTI_ldexp.
 583         (ldexp_optab): Define corresponding macro.
 584         * optabs.c (init_optabs): Initialize ldexp_optab.
 585         * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
 586         patterns.
 587         * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
 588         using ldexp_optab.
 589         (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
 590         expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
 591
 592         * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
 593         to implement ldexpf, ldexp and ldexpl built-ins as inline x87
 594         intrinsics.
 595
 596 2005-02-12  Ira Rosen  <irar@il.ibm.com>
 597
 598         * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
 599         to base_address.
 600         * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
 601         stmt_vec_info.
 602         (vect_get_base_and_offset): Always return an address.
 603         (vect_create_addr_base_for_vector_ref): Remove treatment for
 604         different data reference types.
 605         (vect_compute_data_ref_alignment): Rename base to base_address in
 606         stmt_vec_info. Get the object in order to force its alignment.
 607         (vect_get_memtag_and_dr): Rename base to base_address in
 608         stmt_vec_info. Extract the object for memtag analysis.
 609
 610 2005-02-12  Hans-Peter Nilsson  <hp@axis.com>
 611
 612         PR regression/19898.
 613         * config/cris/cris.c (cris_notice_update_cc): When testing if insn
 614         changes cc_status, use apply modified_in_p to part of cc_status
 615         and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
 616         body.
 617
 618 2005-02-11  Richard Henderson  <rth@redhat.com>
 619
 620         * tree-complex.c (expand_complex_libcall): New.
 621         (expand_complex_multiplication): Use it for c99 compliance.
 622         (expand_complex_division): Likewise.
 623         * fold-const.c (fold_complex_add, fold_complex_mult): New.
 624         (fold): Call them.
 625         * builtins.c (built_in_names): Remove const.
 626         * tree.c (build_common_builtin_nodes): Build complex arithmetic
 627         builtins.
 628         * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
 629         (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
 630         (built_in_names): Remove const.
 631         * c-common.c (c_common_type_for_mode): Handle complex modes.
 632         * flags.h, toplev.c (flag_complex_method): Rename from
 633         flag_complex_divide_method.
 634         * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
 635         __mulsc3, __muldc3, __mulxc3, __multc3): New.
 636         * libgcc2.h: Declare them.
 637         * libgcc-std.ver: Export them.
 638         * mklibgcc.in (lib2funcs): Build them.
 639
 640 2005-02-11  Steven Bosscher  <stevenb@suse.de>
 641
 642         PR tree-optimization/19876
 643         Partially revert my change from 2005-01-14
 644         * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
 645         (compute_antic): ...and remove the loop here.
 646
 647 2005-02-11  Jakub Jelinek  <jakub@redhat.com>
 648
 649         PR middle-end/19858
 650         * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
 651         is number of inner's bits, avoid creating a BIT_FIELD_REF.
 652
 653         * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
 654         crtend.o if -pie.  Use %{x:a;:b} spec syntax.
 655
 656 2005-02-11  Daniel Jacobowitz  <dan@codesourcery.com>
 657
 658         * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
 659         offsets for the big-endian 32-bit case.
 660
 661 2005-02-11  Joseph S. Myers  <joseph@codesourcery.com>
 662
 663         * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
 664
 665 2005-02-11  Dale Johannesen  <dalej@apple.com>
 666
 667         * cselib.c (cselib_process_insn):  Clear out regs where
 668         HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
 669         * reload.c (find_equiv_reg): Ditto.
 670
 671 2005-02-11  Ian Lance Taylor  <ian@airs.com>
 672
 673         * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
 674         with no elements.
 675
 676         * tree.c (build_function_type_list): Work correctly if there are
 677         no arguments.
 678
 679 2005-02-11  Ulrich Weigand  <uweigand@de.ibm.com>
 680
 681         * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
 682         "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
 683         ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
 684         TARGET_ZARCH instead of TARGET_64BIT.
 685
 686 2005-02-11  Ralf Corsepius  <ralf.corsepius@rtems.org>
 687
 688         * config/rs6000/t-rtems:
 689         (MULTILIB_OPTIONS): Remove mcpu=602.
 690         (MUTLILIB_DIRNAMES): Remove m602.
 691         (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}.
 692         Let mcpu=602 match mcpu=603.
 693         (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
 694
 695 2005-02-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 696
 697         * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
 698         signal trampolines.
 699
 700 2005-02-10  David Daney  <ddaney@avtrex.com>
 701
 702         * config/alpha/linux-unwind.h: Add exception clause to copyright.
 703         * config/i386/linux-unwind.h: Likewise.
 704         * config/ia64/linux-unwind.h: Likewise.
 705         * config/mips/linux-unwind.h: Likewise.
 706         * config/pa/linux-unwind.h: Likewise.
 707         * config/rs6000/linux-unwind.h: Likewise.
 708         * config/s390/linux-unwind.h: Likewise.
 709         * config/sh/linux-unwind.h: Likewise.
 710         * config/sparc/linux-unwind.h: Likewise.
 711
 712 2005-02-10  Steven Bosscher  <stevenb@suse.de>
 713
 714         PR tree-optimization/17549
 715         * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
 716         TER to replace a DEF with its expression if the DEF and the
 717         rhs of the expression we replace into have the same root
 718         variable.
 719
 720 2005-02-10  Richard Sandiford  <rsandifo@redhat.com>
 721
 722         * config/mips/mips.md: Fix the placement of the match_scratch in the
 723         lea64 peephole2.
 724
 725 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
 726
 727         * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
 728         Fix comment typos.
 729
 730 2005-02-10  Zdenek Dvorak  <dvorakz@suse.cz>
 731
 732         * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
 733         (strip_offset): Handle addresses.
 734         (add_address_candidates): Use strip_offset.
 735         (difference_cost): Reflect strip_offset change.
 736         (force_var_cost, difference_cost): Strip nops.
 737
 738 2005-02-10  Kazu Hirata  <kazu@cs.umass.edu>
 739
 740         * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
 741
 742         * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
 743         tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
 744         config/cris/cris-protos.h, config/cris/cris.c: Update
 745         copyright.
 746
 747 2005-02-10  Jeff Law  <law@redhat.com>
 748
 749         * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
 750         (lookup_avail_expr): Similarly.
 751
 752 2005-02-10  Richard Guenther  <rguenth@gcc.gnu.org>
 753
 754         * builtins.c (fold_builtin_powi): New function.
 755         (fold_builtin_1): Call it.
 756
 757 2005-02-10  Steven Bosscher  <stevenb@suse.de>
 758
 759         PR documentation/19309
 760         * doc/cpp.texi: The __GNUC__ and related predefined macros
 761         are also defined for the "standalone" cpp.
 762         Some non-GCC compilers may also define __GNUC__.
 763
 764 2005-02-10  Jakub Jelinek  <jakub@redhat.com>
 765
 766         PR c/19342
 767         * c-typeck.c (common_type): New routine.  Old common_type renamed
 768         to...
 769         (c_common_type): ...this.
 770         (build_conditional_expr, build_binary_op): Use c_common_type instead
 771         of common_type.
 772
 773 2005-02-10  Steven Bosscher  <stevenb@suse.de>
 774
 775         * doc/md.texi: Replace @samp{length} with @code{length}.
 776
 777 2005-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
 778
 779         PR tree-optimization/18687
 780         * tree-flow.h (find_loop_niter): Declare.
 781         * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
 782         Try using scev even for loops with more than one exit.
 783         * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
 784         (struct ivopts_data): Added niters field.
 785         (struct nfe_cache_elt): New.
 786         (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
 787         functions.
 788         (tree_ssa_iv_optimize_init): Initialize niters cache.
 789         (determine_number_of_iterations): Removed.
 790         (find_induction_variables): Do not call determine_number_of_iterations.
 791         Access niters for single exit through niter_for_single_dom_exit.
 792         (add_iv_outer_candidates): Access niters for single exit through
 793         niter_for_single_dom_exit.
 794         (may_eliminate_iv): Take data argument.  Use niter_for_exit.  Do not use
 795         number_of_iterations_cond.
 796         (iv_period): New function.
 797         (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
 798         (may_replace_final_value): Take data argument.  Use
 799         niter_for_single_dom_exit.
 800         (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
 801         (rewrite_use_compare): Pass data to may_eliminate_iv.
 802         (rewrite_use_outer): Pass data to may_replace_final_value.
 803         (free_loop_data): Clean up the niters cache.
 804         (tree_ssa_iv_optimize_finalize): Free the niters cache.
 805         (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
 806         * tree-ssa-loop-niter.c (find_loop_niter): New function.
 807         (find_loop_niter_by_eval): Use tree_int_cst_lt.
 808         (num_ending_zeros): Moved to tree.c.
 809         * tree.h (num_ending_zeros): Declare.
 810         * tree.c (num_ending_zeros): Moved from tree.c.
 811
 812 2005-02-09  Richard Henderson  <rth@redhat.com>
 813
 814         * builtins.c (DEF_BUILTIN): Add COND argument.
 815         * tree.h (DEF_BUILTIN): Likewise.
 816         * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
 817         DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
 818         match.
 819         (DEF_BUILTIN_STUB): New.
 820         (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
 821         BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
 822         BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
 823         * c-common.c (DEF_BUILTIN): Add COND argument.
 824         * tree.c (local_define_builtin): New.
 825         (build_common_builtin_nodes): New.
 826
 827 2005-02-09  Roger Sayle  <roger@eyesopen.com>
 828
 829         * fold-const.c (fold_strip_sign_ops): New function to simplify a
 830         floating point expression ignoring the sign of the result.
 831         (fold) <ABS_EXPR>: Use it to simplify fabs(x).
 832         (fold) <MULT_EXPR>: Use it to simplify x*x.
 833         * tree.h (fold_strip_sign_ops): Prototype here.
 834         * builtins.c (fold_builtin_copysign): Take an additional FNDECL
 835         argument.  Use fold_strip_sign_ops to simplify the first argument.
 836         (fold_builtin_pow):  Use fold_strip_sign_ops to simplify the
 837         first argument when the second argument is an even integer
 838         constant, but only with -funsafe_math_optimizations.
 839         (fold_builtin_1): Update call to fold_builtin_copysign.
 840
 841 2005-02-09  Ian Lance Taylor  <ian@airs.com>
 842
 843         PR middle-end/19583
 844         * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
 845         just check whether EH_FILTER_FAILURE falls through.
 846
 847 2005-02-09  Andreas Krebbel  <krebbel1@de.ibm.com>
 848
 849         * gcc/haifa-sched.c (schedule_block): Make queued sched group
 850         insns return to ready list in the next turn.
 851
 852 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
 853
 854         PR middle-end/19402
 855         * builtins.def: New __builtin_powi[lf].
 856         * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
 857         (expand_builtin_powi): New function.
 858         (expand_builtin): Dispatch to expand_builtin_powi.
 859         * libgcc2.h: Add prototypes for __builtin_powi[lf].
 860         * libgcc2.c: Add __builtin_powi[lf] implementation.
 861         * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
 862         * optabs.h: Add powi_optab.
 863         * optabs.c (init_optabs): Initialize powi_optab.
 864         * doc/extend.texi: Document __builtin_powi[lf].
 865
 866 2005-02-09  Dorit Naishlos  <dorit@il.ibm.com>
 867
 868         * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file
 869         exists.
 870
 871 2005-02-09  Richard Guenther  <rguenth@gcc.gnu.org>
 872
 873         PR middle-end/19854
 874         * fold-const.c (try_move_mult_to_index): Remove redundant
 875         type argument.  Create ADDR_EXPR with correct type.
 876         (fold): Update callers of try_move_mult_to_index.  Convert
 877         result to the appropriate type.
 878
 879 2005-02-09  Roger Sayle  <roger@eyesopen.com>
 880
 881         PR target/19597
 882         * config/avr/avr.c (default_rtx_costs): Delete.
 883         (avr_operand_rtx_cost): New function.
 884         (avr_rtx_costs): Completely rewrite.
 885
 886 2005-02-08  Hans-Peter Nilsson  <hp@axis.com>
 887
 888         PR target/19806
 889         * config/cris/cris.c (in_code): New variable.
 890         (cris_output_addr_const): Now a static function, a wrapper for
 891         output_addr_const.
 892         (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
 893         case from old cris_output_addr_const.
 894         (cris_asm_output_label_ref): Similar for LABEL_REF.
 895         (cris_output_addr_const_extra): Similar for UNSPEC.
 896         * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
 897         (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
 898         * config/cris/cris-protos.h (cris_output_addr_const): Remove
 899         declaration.
 900         (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
 901         (cris_asm_output_label_ref): Declare.
 902
 903 2005-02-08  Paolo Bonzini  <bonzini@gnu.org>
 904
 905         PR preprocessor/19801
 906         * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
 907         filenames that changed when libcpp was moved to the toplevel.
 908
 909 2005-02-07  Roger Sayle  <roger@eyesopen.com>
 910
 911         * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
 912         zero extensions of BImode operands.  Call lowpart_subreg instead
 913         of gen_lowpart_common and gen_lowpart_SUBREG.
 914
 915 2005-02-07  Nathanael Nerode  <neroden@gcc.gnu.org>
 916
 917         PR ada/19489
 918         * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
 919         * configure.ac: Set cc_for_cross_gnattools.
 920         * configure: Regenerate.
 921
 922 2005-02-08  Alan Modra  <amodra@bigpond.net.au>
 923
 924         PR target/19803
 925         * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
 926
 927 2005-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
 928
 929         PR debug/19327
 930         * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
 931         of nested functions.
 932
 933 2005-02-07  Jonathan Wakely  <redi@gcc.gnu.org>
 934
 935         * doc/extend.texi: Document deprecated extensions allowing
 936         static floating-point members to have initializers and allowing
 937         floating-point literals in integral constant expressions.
 938
 939 2005-02-07  Kazu Hirata  <kazu@cs.umass.edu>
 940
 941         * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
 942         config/darwin7.h, config/mips/mips.c,
 943         config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
 944         Update copyright.
 945
 946         * cse.c: Update comments.
 947
 948 2005-02-07  Richard Guenther  <rguenth@gcc.gnu.org>
 949
 950         PR middle-end/19775
 951         * builtins.c (fold_builtin_sqrt): Transform
 952         sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
 953         pow(x,y*0.5).
 954
 955 2005-02-07  Leehod Baruch  <leehod@il.ibm.com>
 956             Dorit Naishlos  <dorit@il.ibm.com>
 957
 958         * doc/invoke.texi (ftree-vectorizer-verbose): New.
 959         * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
 960         * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
 961         was added.
 962         * tree.h (vect_set_verbosity_level): New extern function declaration
 963         added.
 964         * tree-vectorizer.h (verbosity_levels): New enum type.
 965         * tree-vectorizer.c (vect_debug_stats): Function removed.
 966         (vect_debug_details): Likewise.
 967         (vect_verbosity_level): Global variable was defined and initialized.
 968         (vect_dump): Global variable definition.
 969         (vect_print_dump_info): New function.
 970         (vect_set_dump_settings): New function.
 971         (vect_set_verbosity_level): New function.
 972         (vectorize_loops): Add call to vect_set_dump_settings.
 973
 974         (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
 975         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
 976         (slpeel_tree_peel_loop_to_edge): Likewise.
 977
 978         (vect_analyze_offset_expr): Call to vect_print_dump_info with
 979         appropriate verbosity level instead of call to vect_debug_details
 980         or vect_debug_stats.
 981         (vect_get_base_and_offset):
 982         (vect_create_addr_base_for_vector_ref):
 983         (get_vectype_for_scalar_type):
 984         (vect_create_data_ref_ptr):
 985         (vect_init_vector):
 986         (vect_get_vec_def_for_operand):
 987         (vect_finish_stmt_generation):
 988         (vectorizable_assignment):
 989         (vectorizable_operation):
 990         (vectorizable_store):
 991         (vectorizable_load):
 992         (vect_transform_stmt):
 993         (vect_update_ivs_after_vectorizer):
 994         (vect_do_peeling_for_loop_bound):
 995         (vect_update_inits_of_drs):
 996         (vect_do_peeling_for_alignment):
 997         (vect_transform_loop):
 998         (vect_is_simple_use):
 999         (vect_analyze_operations):
1000         (vect_is_simple_iv_evolution):
1001         (vect_analyze_scalar_cycles):
1002         (vect_analyze_data_ref_dependence):
1003         (vect_analyze_data_ref_dependences):
1004         (vect_compute_data_ref_alignment):
1005         (vect_enhance_data_refs_alignment):
1006         (vect_analyze_data_refs_alignment):
1007         (vect_analyze_data_ref_access):
1008         (vect_analyze_data_ref_accesses):
1009         (vect_analyze_pointer_ref_access):
1010         (vect_get_memtag_and_dr):
1011         (vect_analyze_data_refs):
1012         (vect_mark_relevant):
1013         (vect_stmt_relevant_p):
1014         (vect_mark_stmts_to_be_vectorized):
1015         (vect_can_advance_ivs_p):
1016         (vect_get_loop_niters):
1017         (vect_analyze_loop_form):
1018         (vect_analyze_loop):
1019         (vectorize_loops): Likewise.
1020
1021         (vect_do_peeling_for_loop_bound): Dump format slightly changed.
1022         (vect_update_inits_of_drs):
1023         (vect_do_peeling_for_alignment):
1024         (vect_transform_loop):
1025         (vect_analyze_operations):
1026         (vect_analyze_scalar_cycles):
1027         (vect_analyze_data_ref_dependences):
1028         (vect_analyze_data_refs_alignment):
1029         (vect_analyze_data_ref_accesses):
1030         (vect_analyze_data_refs):
1031         (vect_mark_stmts_to_be_vectorized):
1032         (vect_get_loop_niters):
1033         (vect_analyze_loop_form):
1034         (vect_analyze_loop): Likewise.
1035         (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
1036
1037 2005-02-07  Richard Sandiford  <rsandifo@redhat.com>
1038
1039         PR bootstrap/19796
1040         Revert:
1041         2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
1042         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
1043         either -ffast-math or -funsafe-math-optimizations is in use.
1044
1045         2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
1046         * config/mips/irix-csr.c: New file.
1047         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
1048         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
1049         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
1050         executables.
1051
1052 2005-02-07  Alexandre Oliva  <aoliva@redhat.com>
1053
1054         * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
1055         redundant, incorrect definitions.
1056
1057         * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
1058         expand.
1059         ("*tls_indirect_call"): New, reference hard regs directly.
1060         * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
1061
1062 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
1063
1064         * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC):
1065         Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
1066
1067 2005-02-06  Roger Sayle  <roger@eyesopen.com>
1068
1069         PR rtl-optimization/19800
1070         * simplify_rtx.c (simplify_relational_operation_1): Explicitly
1071         call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
1072         gen_lowpart.
1073
1074 2005-02-07  Ralf Corsepius  <ralf.corsepius@rtems.org>
1075
1076         * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
1077
1078 2005-02-07  Joseph S. Myers  <joseph@codesourcery.com>
1079
1080         PR other/17135
1081         * doc/invoke.texi: Correct documentation of -freorder-functions.
1082
1083 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
1084
1085         PR other/14402
1086         * doc/invoke.texi: Don't mention gccbug.
1087
1088 2005-02-06  Roger Sayle  <roger@eyesopen.com>
1089             Andrew Pinski  <pinskia@physics.uc.edu>
1090             Paolo Bonzini  <paolo.bonzini@lu.unisi.ch>
1091
1092         * simplify-rtx.c (simplify_relational_operation_1): Simplify
1093         (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
1094         into just (zero_extract:SI FOO (const_int 1) BAR).
1095
1096 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
1097
1098         * doc/cpp.texi: Include gcc-common.texi.  Don't define gcctabopt
1099         macro locally.  Don't give last revision date.  Use GCC version
1100         number from gcc-common.texi.
1101         * doc/cppinternals.texi: Include gcc-common.texi.  Don't give last
1102         revision date.  Use GCC version number from gcc-common.texi.
1103         Describe being a library as current state rather than as 3.x
1104         history.
1105         * doc/gcc.texi: Remove last update date.
1106         * doc/gccint.texi: Likewise.  Update copyright dates.
1107         * doc/install.texi: Update copyright dates.
1108
1109 2005-02-06  Joseph S. Myers  <joseph@codesourcery.com>
1110
1111         PR other/7549
1112         * doc/invoke.texi: Mention for each option included in -Wall that
1113         it is included in -Wall.
1114         * doc/gcc.texi: Update copyright and last modification date.
1115
1116 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
1117
1118         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
1119         unnecessary cast to original induction variable increments.
1120
1121 2005-02-06  Zdenek Dvorak  <dvorakz@suse.cz>
1122
1123         PR tree-optimization/18219
1124         * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
1125         in distributed form.
1126
1127 2005-02-06  Richard Sandiford  <rsandifo@redhat.com>
1128
1129         * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
1130         Set bitpos and offset later in the function.  Do nothing if the
1131         target is a register and if the bitfield lies completely outside
1132         that register.
1133         (extract_bit_field): Make the same SUBREG, bitpos and offset changes
1134         here.  Return an uninitialised register if the source value is stored
1135         in a register and the bitfield lies completely outside that register.
1136
1137 2005-02-06  Steven Bosscher  <stevenb@suse.de>
1138
1139         * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
1140         not SET_DEST.
1141
1142 2005-02-06  Marcin Dalecki  <martin@dalecki.de>
1143
1144         * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
1145
1146 2005-02-06  Geoffrey Keating  <geoffk@apple.com>
1147
1148         * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
1149         * config/darwin8.h: New.
1150         * config/darwin7.h: Update comment.
1151
1152 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
1153             Dorit Naishlos  <dorit@il.ibm.com>
1154
1155         * tree-vectorizer.h (LOC): New type.
1156         (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
1157         (loop_line_number): New field in struct _loop_vec_info.
1158         (LOOP_VINFO_LOC, LOOP_LOC): New macros.
1159
1160         * tree-vectorizer.c (input.h): Included.
1161         (find_loop_location): New function.
1162         (vect_debug_stats): Argument changed from loop to LOC. Computation of
1163         loop line number removed.
1164         (vect_debug_details): Likewise.
1165         (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
1166
1167         (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
1168         call to vect_debug_details/stats changed from loop to loop_loc.
1169         (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
1170         (slpeel_tree_peel_loop_to_edge): Likewise.
1171
1172         (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
1173         changed from NULL to UNKNOWN_LOC.
1174         (vect_get_base_and_offset):
1175         (vect_create_addr_base_for_vector_ref):
1176         (get_vectype_for_scalar_type):
1177         (vect_create_data_ref_ptr):
1178         (vect_init_vector):
1179         (vect_get_vec_def_for_operand):
1180         (vect_finish_stmt_generation):
1181         (vectorizable_assignment):
1182         (vectorizable_operation):
1183         (vectorizable_store):
1184         (vectorizable_load):
1185         (vect_transform_stmt):
1186         (vect_update_ivs_after_vectorizer):
1187         (vect_do_peeling_for_loop_bound):
1188         (vect_do_peeling_for_alignment):
1189         (vect_transform_loop):
1190         (vect_is_simple_use):
1191         (vect_analyze_operations):
1192         (vect_is_simple_iv_evolution):
1193         (vect_analyze_scalar_cycles):
1194         (vect_analyze_data_ref_dependences):
1195         (vect_compute_data_ref_alignment):
1196         (vect_enhance_data_refs_alignment):
1197         (vect_analyze_data_ref_access):
1198         (vect_analyze_data_ref_accesses):
1199         (vect_analyze_pointer_ref_access):
1200         (vect_get_memtag_and_dr):
1201         (vect_analyze_data_refs):
1202         (vect_mark_relevant):
1203         (vect_stmt_relevant_p):
1204         (vect_mark_stmts_to_be_vectorized):
1205         (vect_can_advance_ivs_p):
1206         (vect_get_loop_niters):
1207         (vect_analyze_loop):
1208         (vectorize_loops): Likewise.
1209
1210         (vectorizable_load): Argument in call to vect_debug_details/stats
1211         changed from loop to LOOP_LOC (loop_vinfo).
1212         (vect_transform_loop):
1213         (vect_analyze_operations):
1214         (vect_analyze_scalar_cycles):
1215         (vect_analyze_data_ref_dependence):
1216         (vect_enhance_data_refs_alignment):
1217         (vect_analyze_data_ref_accesses):
1218         (vect_analyze_pointer_ref_access):
1219         (vect_analyze_data_refs):
1220         (vect_analyze_loop): Likewise.
1221
1222         (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
1223         changed from loop to loop_loc.
1224
1225         (vect_enhance_data_refs_alignment): Removed unused variable loop.
1226
1227 2005-02-03  Leehod Baruch  <leehod@il.ibm.com>
1228             Dorit Naishlos  <dorit@il.ibm.com>
1229
1230         * tree-vectorizer.c (vect_analyze_data_ref_dependence): Function
1231         declaration added.
1232         (vect_analyze_data_ref_dependences): Likewise.
1233
1234         (vect_is_simple_use): Argument changed from loop structure to
1235         loop_vect_info structure.
1236         (vect_can_advance_ivs_p): Likewise.
1237         (vect_create_index_for_vector_ref): Likewise.
1238         (vect_update_ivs_after_vectorizer): Likewise.
1239         (new_stmt_vec_info): Likewise.
1240
1241         (new_loop_vec_info): Second argument in call to new_stmt_vec_info was
1242         changed from loop to loop_vinfo.
1243         (vect_create_data_ref_ptr): First argument in call to
1244         vect_create_index_for_vector_ref was changed from loop to loop_vinfo.
1245         (vectorizable_assignment): Second argument in call to vect_is_simple_use
1246         was changed from loop to loop_vinfo.
1247         (vectorizable_operation): Likewise.
1248         (vectorizable_store): Likewise.
1249         (vect_mark_stmts_to_be_vectorized): Likewise.
1250         (vect_do_peeling_for_loop_bound): First argument in call to
1251         vect_update_ivs_after_vectorizer was changed from loop to loop_vinfo.
1252         (vect_analyze_operations): Argument in call to vect_can_advance_ivs_p
1253         was changed from loop to loop_vinfo.
1254         (vect_analyze_data_ref_dependences): Third argument in call to
1255         vect_analyze_data_ref_dependence was changed from loop to loop_vinfo.
1256
1257         (vect_create_index_for_vector_ref): Get the loop from loop_vinfo.
1258         (vect_create_data_ref_ptr): Likewise.
1259         (vect_init_vector): Likewise.
1260         (vect_get_vec_def_for_operand): Likewise.
1261         (vectorizable_assignment): Likewise.
1262         (vectorizable_operation): Likewise.
1263         (vectorizable_store): Likewise.
1264         (vectorizable_load): Likewise.
1265         (vect_update_ivs_after_vectorizer): Likewise.
1266         (vect_is_simple_use): Likewise.
1267         (vect_analyze_data_ref_dependence): Likewise.
1268         (vect_analyze_pointer_ref_access): Likewise.
1269         (vect_can_advance_ivs_p): Likewise.
1270
1271         * tree-vectorizer.h: (_loop_vec_info): Definition and macros moved
1272         before _stmt_vec_info.
1273         (_stmt_vec_info): Loop field replaced by loop_vec_info.
1274         (STMT_VINFO_LOOP): Replaced with STMT_VINFO_LOOP_VINFO.
1275         (new_stmt_vec_info): Argument changed from loop structure to
1276         loop_vect_info structure
1277
1278         (vect_analyze_data_ref_dependences): Unnecessary line was removed.
1279         (vect_analyze_offset_expr): Avoid 80 columns overflow.
1280         (vect_create_addr_base_for_vector_ref): Likewise.
1281         (vect_analyze_pointer_ref_access): Likewise.
1282
1283 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
1284
1285         PR tree-opt/19768
1286         * tree-ssa-dse.c (fix_phi_uses): Update the occurs in abnormal
1287         phi flag if the phi is abnormal.
1288
1289 2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
1290
1291         PR tree-opt/19736
1292         * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
1293         information for the new statement.
1294
1295 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
1296
1297         PR driver/19117
1298         * gcc.c (main): Include the target in -v output.
1299
1300 2005-02-03  Alexandre Oliva  <aoliva@redhat.com>
1301
1302         * combine.c (simplify_comparison, case SIGN_EXTEND, ZERO_EXTEND):
1303         Do not drop the extend if we'd have to add a paradoxical subreg
1304         later.  Include optabs.h and insn-codes.h.
1305         * Makefile.in (combine.o): Depend on $(OPTABS_H).
1306
1307 2005-02-02  Roger Sayle  <roger@eyesopen.com>
1308
1309         PR middle-end/19405
1310         * real.h (REAL_MODE_FORMAT_COMPOSITE_P): New macro.
1311         * fold-const.c (const_binop): Avoid constant folding floating
1312         point operations in modes that use composite representations.
1313         * simplify-rtx.c (simplify_binary_operation): Likewise.
1314
1315 2005-02-02  Geoffrey Keating  <geoffk@apple.com>
1316
1317         * config/rs6000/altivec.md (altivec_dst): Make the first operand
1318         a REG, not a MEM.
1319         (altivec_dstt): Likewise.
1320         (altivec_dstst): Likewise.
1321         (altivec_dststt): Likewise.
1322         * config/rs6000/rs6000.c (altivec_expand_dst_builtin): Adjust creation
1323         of first operand.
1324
1325 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
1326
1327         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Copy
1328         EXPR_LOCUS from orig_cond to the new cond_stmt.
1329         (vect_finish_stmt_generation): Copy EXPR_LOCUS from stmt to
1330         the new vec_stmt.
1331
1332 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
1333
1334         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Call
1335         standard_iv_increment_position. Remove call to bsi_next
1336         (no need to bump the iterator anymore).
1337         (vect_create_index_for_vector_ref): Call
1338         standard_iv_increment_position. Remove second function argument.
1339         (vect_finish_stmt_generation): Remove call to bsi_next
1340         (no need to bump the iterator anymore).
1341         (vect_create_data_ref_ptr): Remove second argument (bsi) in call
1342         to vect_create_index_for_vector_ref.
1343
1344 2005-02-03  Dorit Naishlos  <dorit@il.ibm.com>
1345
1346         * tree-vectorizer.c (vect_mark_stmts_to_be_vectorized): Check if
1347         phis are used out of the loop.
1348
1349 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
1350
1351         PR c/17807
1352         * c-decl.c (undef_nested_function): New variable.
1353         (pop_scope): Diagnose undefined nested functions.
1354         (finish_function): Don't attempt cgraph processing or genericizing
1355         if current top-level function contained an undefined nested
1356         function.  Reset undef_nested_function at the end of a top-level
1357         function.
1358
1359 2005-02-02  Zdenek Dvorak  <dvorakz@suse.cz>
1360
1361         * tree.c (build_int_cst_type): Take sign of the value into account
1362         when deciding whether sign extend the value.
1363
1364 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1365
1366         PR c/18502
1367         * gcc.c (cpp_unique_options): Remove %{trigraphs}.
1368         (cpp_options, cc1_options): Change %{std*&ansi} to
1369         %{std*&ansi&trigraphs}.
1370
1371 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
1372
1373         * cse.c: Update comments.
1374
1375 2005-02-02  Aldy Hernandez  <aldyh@redhat.com>
1376
1377         * config/rs6000/rs6000.c (rs6000_spe_function_arg): Multi-reg
1378         arguments go on the stack.  Do not put complex doubles in odd/even
1379         pairs.
1380
1381 2005-02-02  Steven Bosscher  <stevenb@suse.de>
1382
1383         * doc/invoke.texi: Update the options enabled at -O1, -O2,
1384         and -O3.  Update the documentation for -fgcse-sm, -fgcse-las,
1385         -ftree-pre, and -fthread-jumps.
1386
1387 2005-02-02  Richard Sandiford  <rsandifo@redhat.com>
1388
1389         PR tree-optimization/19578
1390         * tree-flow.h (modified_noreturn_calls): Declare.
1391         (noreturn_call_p): Declare.
1392         * tree-flow-inline.h (noreturn_call_p): New function.
1393         (modify_stmt): Add modified noreturn calls to modified_noreturn_calls.
1394         * tree-cfg.c (modified_noreturn_calls): New variable.
1395         (cleanup_control_flow): Use noreturn_call_p.  Split basic blocks
1396         that contain a mid-block noreturn call.
1397         * tree-ssa.c (delete_tree_ssa): Clear modified_noreturn_calls.
1398
1399 2005-02-02  Kazu Hirata  <kazu@cs.umass.edu>
1400
1401         * df.c (df_def_record_1, df_uses_record): Don't use
1402         DF_FOR_REGALLOC.
1403         * df.h (DF_FOR_REGALLOC): Remove.
1404
1405 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1406
1407         PR c/19435
1408         * c-typeck.c (really_start_incremental_init): Reset
1409         constructor_max_index for arrays of incomplete type.
1410
1411 2005-02-02  Jeff Law  <law@redhat.com>
1412
1413         * gcse.c (struct reg_set): Store the block index where the register
1414         was set rather than the setting insn.
1415         (record_one_set, compute_transp): Corresponding changes.
1416         (pre_insert_copy_insn): Do not call replace_one_set.
1417         (replace_one_set): Remove.
1418
1419 2005-02-02  Joseph S. Myers  <joseph@codesourcery.com>
1420
1421         PR other/15514
1422         * doc/gcov.texi: Fix typo.
1423
1424 2005-02-01  Richard Henderson  <rth@redhat.com
1425
1426         PR target/19680
1427         * config/i386/i386.h (MODES_TIEABLE_P): Use ix86_modes_tieable_p.
1428         * config/i386/i386.c (ix86_hard_regno_mode_ok): Change return
1429         type to bool.
1430         (ix86_tieable_integer_mode_p, ix86_modes_tieable_p): New.
1431         * config/i386/i386-protos.h: Update.
1432
1433 2005-02-01  Steven Bosscher  <stevenb@suse.de>
1434
1435         PR tree-optimization/19217
1436         * tree-cfg.c (verify_expr): Use the data field to see if TP was
1437         seen inside a PHI node.  Do not do the ADDR_EXPR check if it was.
1438         (verify_stmts): Pass (void*)1 as data to verify_expr to signal
1439         that it is walking a PHI node.
1440
1441 2005-02-01  Joseph S. Myers  <joseph@codesourcery.com>
1442
1443         * doc/extend.texi (Nested Functions): Update.
1444
1445 2005-02-01  Richard Henderson  <rth@redhat.com>
1446
1447         PR 19696
1448         * optabs.c (expand_copysign_absneg): Export.
1449         * optabs.h (expand_copysign_absneg): Declare.
1450         * config/rs6000/rs6000.md (copysigntf3): New.
1451
1452 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
1453
1454         PR tree-optimization/19633
1455         * tree-flow.h (struct ptr_info_def): Add field 'pt_null'.
1456         * tree-ssa-alias.c (init_alias_info): Initialize.
1457         (merge_pointed_to_info): Set.
1458         (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer.
1459         (dump_points_to_info_for): Show value of pt_null.
1460         (struct count_ptr_d): Declare.
1461         (find_ptr_dereference): Remove.
1462         (ptr_is_dereferenced_by): Remove.
1463         (count_ptr_derefs): New local function.
1464         (count_uses_and_derefs): New local function.
1465         (compute_points_to_and_addr_escape): Call it.  If the number
1466         of dereferences is greater than zero, mark the pointer as
1467         dereferenced.  If there are fewer dereferences than uses of
1468         the pointer, the pointer's value escapes.
1469
1470 2005-02-01  Diego Novillo  <dnovillo@redhat.com>
1471
1472         PR tree-optimization/19670
1473         * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
1474         here...
1475         (verify_use): ... set it here, instead.
1476
1477 2005-02-01  Janis Johnson  <janis187@us.ibm.com>
1478
1479         * doc/sourcebuild.texi (Test directives): Fix formatting.
1480
1481         * doc/sourcebuild.texi (Test directives): Describe selector
1482         expressions.
1483
1484 2005-02-01  Segher Boessenkool  <segher@kernel.crashing.org>
1485
1486         * config.gcc (powerpc64-*-linux*): Default to -m64 also for
1487         specific 64-bit CPUs.
1488
1489 2005-02-01  Richard Earnshaw  <rearnsha@arm.com>
1490
1491         PR target/16201
1492         * arm.c (arm_eliminable_register): New function.
1493         (adjacent_mem_locations): Don't allow eliminable registers.  Use
1494         HOST_WIDE_INT for address offsets.
1495         * arm-protos.h (arm_eliminable_register): Add prototype.
1496
1497 2005-02-01  Steven Bosscher  <stevenb@suse.de>
1498
1499         PR optimization/15242
1500         * params.def (PARAM_MAX_GOTO_DUPLICATION_INSNS): New param.
1501         * basic-block.h (duplicate_computed_gotos): Add prototype.
1502         * bb-reorder.c (duplicate_computed_gotos): New function to
1503         duplicate sufficiently small blocks ending in a computed jump.
1504         * passes.c (rest_of_compilation): Call duplicate_computed_gotos
1505         if not optimizing for size.
1506         * cfgcleanup.c (try_crossjump_bb): If not optimizing for size,
1507         never do tail merging for blocks ending in a computed jump.
1508         * doc/invoke.texi: Document the max-goto-duplication-insns param.
1509
1510 2005-02-01  Eric Botcazou  <ebotcazou@libertysurf.fr>
1511
1512         Patch from Richard Sandiford <rsandifo@redhat.com>
1513         * reload1.c (choose_reload_regs): Prevent the find_equiv_reg() code
1514         from inheriting a subreg equivalence with a non-spill register.
1515
1516         * tree.h (DECL_FUNCTION_CODE): Document that it is overloaded.
1517
1518 2005-02-01  Alexandre Oliva  <aoliva@redhat.com>
1519
1520         * config/frv/frv.c (movcc_fp_destination_operand): New.
1521         (gpr_or_memory_operand): Fix typo in comment.
1522         (gpr_or_memory_operand_with_scratch): New.
1523         * config/frv/frv.h (PREDICATE_CODES): Add the two new predicates.
1524         * config/frv/frv.md (movcc_fp, movcc_fp_internal): Use
1525         movcc_fp_destination_operand.
1526         (reload_incc_fp): Use gpr_or_memory_operand_with_scratch.
1527         Legitimize memory addresses using a scratch register.
1528
1529 2005-01-31  Jeff Law  <law@redhat.com>
1530
1531         * tree-into-ssa.c (mark_def_sites_global_data): Make KILLS
1532         bitmap a sparse bitmap instead of a simple bitmap.
1533         (mark_def_sites_initialize_block):  Corresponding changes.
1534         (ssa_mark_def_sites_initialize_block): Likewise.
1535         (ssa_mark_phi_uses): Likewise.
1536         (mark_def_site, ssa_mark_def_sites): Likewise.
1537         (mark_def_site_blocks): Likewise.
1538         (rewrite_ssa_into_ssa): Likewise.
1539
1540         * tree-ssa-dom.c (record_cond): Pass correct variable type
1541         for last argument to htab_find_slot_with_hash.
1542
1543         * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
1544         effects when optimizing 0 % X.  Do not try to optimize X % 0.
1545
1546 2005-01-31  James E. Wilson  <wilson@specifixinc.com>
1547
1548         * config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
1549         1_mmalua.
1550
1551 2005-02-01  Eric Christopher  <echristo@redhat.com>
1552
1553         * config/mips/mips.c (override_options): Warn if -mint64
1554         is used.
1555         * doc/invoke.texi (MIPS Options): Document that -mint64 is
1556         deprecated.
1557
1558 2005-02-01  Kazu Hirata  <kazu@cs.umass.edu>
1559
1560         * cse.c (cse_reg_info): Remove hash_next, next, regno.  Add
1561         timestamp.
1562         (cse_reg_info_list, cse_reg_info_list_free, REGHASH_SHIFT,
1563         REGHASH_SIZE, REGHASH_MASK, reg_hash, REGHASH_FN,
1564         cached_cse_reg_info, GET_CSE_REG_INFO): Remove.
1565         (cached_regno): Initialize to INVALID_REGNUM.
1566         (cse_reg_info_table_size,
1567         cse_reg_info_table_first_uninitialized,
1568         cse_reg_info_timestamp): New.
1569         (REG_TICK, REG_IN_TABLE, SUBREG_TICKED, REG_QTY): Use
1570         get_cse_reg_info.
1571         (init_cse_reg_info, get_cse_reg_info_1): New.
1572         (get_cse_reg_info): Cache the last look-up.
1573         (new_basic_block): Update the code to clear mappings from
1574         registers to cse_reg_info entries.
1575         (cse_main): Call init_cse_reg_info.
1576
1577         * cse.c (get_cse_reg_info): Update a comment.
1578
1579 2005-01-31  Steven Bosscher  <stevenb@suse.de>
1580
1581         PR c/19333
1582         * c-decl.c (start_decl): Do not warn about arrays of elements with
1583         an incomplete type here.
1584         (grokdeclarator): Do it here by making a pedwarn an error.
1585         * c-typeck.c (push_init_level): If there were previous errors with
1586         the constructor type, do not warn about braces for initializers.
1587         (process_init_element): Likewise for excess initializer elements.
1588
1589 2005-01-31  Kazu Hirata  <kazu@cs.umass.edu>
1590
1591         * cse.c (delete_trivially_dead_insn): Don't iterate.
1592
1593 2005-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1594
1595         * config/rs6000/rs6000.md (copysignsf3): New expand.
1596         (copysigndf3): Likewise.
1597
1598 2005-01-31  Steven Bosscher  <stevenb@suse.de>
1599
1600         * recog.c (constrain_operands): Only look for earlyclobber operand
1601         conflicts if an '&' constraint was seen.
1602
1603 2005-01-31  Marc Espie <espie@openbsd.org>
1604
1605         * config.gcc: Don't include embedded systems fragment, switches default
1606         debugging format to ELF.
1607         * config/i386/openbsdelf.h: Add DBX_REGISTER_NUMBER since we no
1608         longer pick it up there.
1609
1610 2005-01-31  Dale Johannesen  <dalej@apple.com>
1611
1612         * doc/extend.texi (nested functions): Fix linkage description.
1613         Clarify that static is not allowed.
1614
1615 2005-01-31  Dale Johannesen  <dalej@apple.com>
1616
1617         * config/rs6000/darwin.md (movsf_low_di):  Make work.
1618         (movdf_low_di):  Make work.
1619
1620 2005-01-31  Dale Johannesen  <dalej@apple.com>
1621
1622         * config/rs6000/darwin-tramp.asm (__trampoline_setup):
1623         Make work for 64 bit.
1624
1625 2005-01-31  Roger Sayle  <roger@eyesopen.com>
1626             Dale Johannesen  <dalej@apple.com>
1627
1628         PR middle-end/19650
1629         * fold-const.c (fold_binary_op_with_conditional_arg):
1630         Make types match original operands, before STRIP_NOPS.
1631
1632 2005-01-31  Alan Modra  <amodra@bigpond.net.au>
1633
1634         * config/rs6000/linux-unwind.h (struct gcc_vregs): New.
1635         (struct gcc_regs): Rename from gcc_pt_regs.  Add more regs.
1636         (struct gcc_sigcontext): Delete.  Merge contents to..
1637         (struct gcc_ucontext): ..here.
1638         (get_sigcontext): Delete.
1639         (get_regs): New function, like get_sigcontext but return regs ptr.
1640         64-bit version finds regs from r1 to support vdso.
1641         (ppc_linux_aux_vector): New function.
1642         (ppc_fallback_frame_state): Modify for get_regs.  Restore fprs
1643         and vector regs.
1644
1645 2005-01-31  Ira Rosen  <irar@il.ibm.com>
1646
1647         * tree-vectorizer.c (vect_analyze_offset_expr): Use ssizetype instead
1648         sizetype.
1649         (vect_get_base_and_offset): Use ssizetype instead sizetype. Remove
1650         redundant fold. Fix misalignment for MINUS_EXPR.
1651         (vect_compute_data_ref_alignment): Use ssizetype instead sizetype.
1652         (vect_analyze_pointer_ref_access): Likewise.
1653         (vect_get_memtag_and_dr): Likewise.
1654
1655 2005-01-31  Richard Henderson  <rth@redhat.com>
1656
1657         * config/i386/i386.c (absnegsf2_mixed): Remove all of the # hackery.
1658         (absnegsf2_sse, absnegsf2_i387, absnegdf2_mixed, absnegdf2_sse,
1659         absnegdf2_i387, absnegxf2_i387): Likewise.
1660
1661 2005-01-31  Richard Henderson  <rth@redhat.com>
1662
1663         PR 19696
1664         * optabs.c (expand_copysign_absneg): New.
1665         (expand_copysign_bit): Split out from ...
1666         (expand_copysign): ... here.  Use expand_copysign_absneg.
1667
1668 2005-01-30  Roger Sayle  <roger@eyesopen.com>
1669
1670         PR middle-end/19697
1671         * config/pa/pa.md (anddi3, iordi3): On HPPA64, disallow an integer
1672         constant as the second operand and a register as the third.
1673
1674 2005-01-31  Danny Smith  <dannysmith@users.sourceforge.net>
1675
1676         PR target/19704
1677         * config/i386/i386.c (ix86_function_ok_for_sibcall):  Also check
1678         that dllimport'd functions do not use all call-clobbered registers
1679         to pass parameters.
1680
1681 2005-01-30  Richard Henderson  <rth@redhat.com>
1682
1683         PR 19696
1684         * optabs.c (expand_absneg_bit): Split out from expand_unop and
1685         expand_abs_nojump and generalize.  Use operand_subword and
1686         emit_no_conflict_block.  Support large modes.
1687         (expand_abs_nojump): Use it.  Use HONOR_SIGNED_ZEROS to fall
1688         back to maximum.
1689         (expand_unop): Likewise.  Use HONOR_SIGNED_ZEROS to fall back
1690         negation to subtraction.
1691         (expand_copysign): Check that the format has signed zeros.
1692         Use operand_subword and emit_no_conflict_block.  Support large modes.
1693
1694 2005-01-30  Daniel Berlin  <dberlin@dberlin.org>
1695
1696         Fix PR tree-optimization/19624
1697
1698         * Makefile.in (tree-ssa-pre.o): Add CFGLOOP_H.
1699         * tree-ssa-pre.c: Add cfgloop.h.
1700         Update comment.
1701         (pre_stats): New member, constified.
1702         (inserted_exprs): New static variable.
1703         (NECESSARY): New macro.
1704         (create_expression_by_pieces): Fold the expression, and
1705         mark it as defaulting to not necessary. Also put in
1706         inserted_exprs.
1707         (fully_constant_expression): New function.
1708         (insert_into_preds_of_block): Modify to not insert phis when we
1709         are playing with induction variables.
1710         Push phis onto the inserted_exprs vector, and mark them as not
1711         necessary by default.
1712         (insert_aux): Call fully_constant_expression on eprime.
1713         If all edges produce the same value, mark it constant.
1714         (mark_operand_necessary): New function.
1715         (remove_dead_inserted_code): New function.
1716         (init_pre): Init loop optimizer to get loop info.
1717         (fini_pre): Free loop_optimizer, and inserted_exprs vec.
1718         (execute_pre): Commit edge inserts, then remove dead code.
1719
1720 2005-01-30  Richard Henderson  <rth@redhat.com>
1721
1722         * rtl.c (rtx_equal_p): No early exit for CONST_VECTOR.
1723         * varasm.c (const_rtx_hash_1): Handle CONST_VECTOR.
1724
1725 2005-01-30  Richard Henderson  <rth@redhat.com>
1726
1727         PR target/19700
1728         * config/i386/i386.c (ix86_expand_copysign): New.
1729         (ix86_split_copysign_const): New.
1730         (ix86_split_copysign_var): Rename from ix86_split_copysign,
1731         rearrange op1/nmask operands.
1732         * config/i386/i386-protos.h: Update.
1733         * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
1734         (copysigndf3): Likewise.
1735         (copysignsf3_const, copysigndf3_const): New.
1736         (copysignsf3_var): Rename from copysignsf3, split out splitter
1737         and fix split predicate for X constraint.
1738         (copysigndf3_var): Similarly.
1739
1740 2005-01-30  Kazu Hirata  <kazu@cs.umass.edu>
1741
1742         * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
1743         doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
1744         doc/tm.texi, doc/tree-ssa.texi: Update copyright.
1745
1746 2005-01-29  Richard Henderson  <rth@redhat.com>
1747
1748         PR target/19690
1749         * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
1750         of # and * in constraints.
1751
1752 2005-01-29  Richard Henderson  <rth@redhat.com>
1753
1754         PR middle-end/19689
1755         * expr.c (store_field): Don't strip sub-mode cast when the input
1756         data is even smaller.
1757
1758 2005-01-29  Richard Henderson  <rth@redhat.com>
1759
1760         PR middle-end/19687
1761         * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
1762         union being empty.
1763
1764 2005-01-29  Richard Henderson  <rth@redhat.com>
1765
1766         * combine.c (make_field_assignment): Fix argument order
1767         to gen_int_mode.
1768
1769 2005-01-29  Richard Guenther <richard.guenther@uni-tuebingen.de>
1770
1771         PR tree-optimization/15791
1772         * fold-const.c (extract_array_ref): New function.
1773         (fold): Fold comparisons between &a[i] and &a[j] or
1774         semantically equivalent trees.
1775
1776 2005-01-29  Jeff Law  <law@redhat.com>
1777
1778         * gcse.c (insert_expr_in_table): Revamp handling of available
1779         and anticipatable occurrence lists to avoid unnecessary list
1780         walking.
1781         (insert_set_in_table): Similarly.
1782
1783 2005-01-29  Joseph S. Myers  <joseph@codesourcery.com>
1784
1785         * c-common.c (fix_string_type): Just use c_build_qualified_type to
1786         build string type.
1787         (c_build_qualified_type): Build qualified array types with
1788         TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
1789         * c-decl.c (c_make_fname_decl): Build unqualified array type
1790         before qualified type.
1791         (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
1792         type is qualified, not just if type itself is.  Don't apply
1793         qualifiers to array type when declarator is processed.  Apply
1794         qualifiers to field type whether or not it is an array type.
1795         Don't handle array types specially for applying qualifiers to
1796         variables.
1797         * c-typeck.c (composite_type): Build unqualified element type and
1798         array type when forming composite of array types.
1799         (common_pointer_type, comptypes, comp_target_types,
1800         type_lists_compatible_p, build_indirect_ref, build_array_ref,
1801         convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
1802         types.
1803         (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
1804         (args2) in variables a1 and a2.
1805
1806 2005-01-29  Kazu Hirata  <kazu@cs.umass.edu>
1807
1808         * cse.c (n_elements_made, max_elements_made): Remove.
1809         (insert): Don't touch n_elements_made.
1810         (cse_main): Don't touch n_elements_made or max_elements_made.
1811
1812 2005-01-28  Stephane Carrez  <stcarrez@nerim.fr>
1813
1814         PR target/15384
1815         * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
1816         configuration part of dp-bit.c to be lost.
1817
1818 2005-01-28  Roger Sayle  <roger@eyesopen.com>
1819
1820         * expmed.c (expand_mult_highpart_optab): When attempting to use
1821         a non-widening multiplication in a wider mode, the operands need
1822         to be converted (zero or sign extended) to that mode.
1823
1824 2005-01-28  Ian Lance Taylor  <ian@airs.com>
1825
1826         PR middle-end/16558
1827         PR middle-end/19583
1828         * gimple-low.c (block_may_fallthru): TRY_FINALLY_EXPR only falls
1829         through if both operands fall through.
1830
1831 2005-01-28  Kazu Hirata  <kazu@cs.umass.edu>
1832
1833         * cse.c (fold_rtx) <PC>: Don't optimize.
1834
1835 2005-01-28  Jeff Law  <law@redhat.com>
1836
1837         * fold-const.c (fold, case CEIL_MOD_EXPR): Optimize 0 % X.
1838         (case FLOOR_MOD_EXPR, ROUND_MOD_EXPR, TRUNC_MOD_EXPR): Similarly.
1839
1840 2005-01-28  Kazu Hirata  <kazu@cs.umass.edu>
1841
1842         * cse.c (cse_reg_info_free_list, cse_reg_info_used_list,
1843         cse_reg_info_used_list_end): Remove.
1844         (cse_reg_info_list, cse_reg_info_list_free): New.
1845         (get_cse_reg_info): When allocating an instance of
1846         cse_reg_info, add it to the beginning of the cse_reg_info_list
1847         list.  Remove code to maintain cse_reg_info_used_list.
1848         (new_basic_block): Reset the free list to the beginning of
1849         cse_reg_info_list.
1850
1851 2005-01-28  Richard Sandiford  <rsandifo@redhat.com>
1852
1853         * config/frv/frv.c (bdesc_2arg): Remove __MDPACKH.
1854         (frv_init_builtins): Change its prototype to take 4 uhalf arguments.
1855         (frv_expand_mdpackh_builtin): New function.
1856         (frv_expand_builtin): Use it to expand __MDPACKH.
1857         * doc/extend.texi (__MDPACKH): Update documentation.
1858
1859 2005-01-28  Uros Bizjak  <uros@kss-loka.si>
1860
1861         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use
1862         SSE_FLOAT_MODE_P for use_sse computation.
1863
1864 2005-01-28  Ralf Corsepius  <ralf.corsepius@rtems.org>
1865
1866         PR target/19663
1867         * config/sparc/rtemself.h (LINK_GCC_C_SEQUENCE_SPEC): undefine.
1868
1869 2005-01-27  Richard Henderson  <rth@redhat.com>
1870
1871         * builtins.c (expand_builtin_copysign): New.
1872         (expand_builtin): Call it.
1873         * genopinit.c (optabs): Add copysign_optab.
1874         * optabs.c (init_optabs): Initialize it.
1875         (expand_copysign): New.
1876         * optabs.h (OTI_copysign, copysign_optab): New.
1877         (expand_copysign): Declare.
1878
1879         * config/alpha/alpha.md (UNSPEC_COPYSIGN): New.
1880         (copysignsf3, ncopysignsf3, copysigndf3, ncopysigndf3): New.
1881
1882         * config/i386/i386.c (ix86_build_signbit_mask): Split from ...
1883         (ix86_expand_fp_absneg_operator): ... here.
1884         (ix86_split_copysign): New.
1885         * config/i386/i386-protos.h: Update.
1886         * config/i386/i386.md (UNSPEC_COPYSIGN): New.
1887         (copysignsf3, copysigndf3): New.
1888
1889         * config/ia64/ia64.md (UNSPEC_COPYSIGN): New.
1890         (copysignsf3, ncopysignsf3): New.
1891         (copysigndf3, ncopysigndf3): New.
1892         (copysignxf3, ncopysignxf3): New.
1893         * config/ia64/ia64.c (rtx_needs_barrier): Handle UNSPEC_COPYSIGN.
1894
1895 2005-01-27  Arend Bayer  <arend.bayer@web.de>
1896             Kazu Hirata  <kazu@cs.umass.edu>
1897
1898         * cse.c: (find_best_addr): Don't call copy_rtx before calling
1899         fold_rtx.  Save cost recomputation if fold_rtx did nothing.
1900         (fold_rtx) <ASM_OPERANDS>: Don't do anything if INSN is
1901         NULL_RTX.
1902
1903 2005-01-27  Jeff Law  <law@redhat.com>
1904
1905         * tree-into-ssa.c (ssa_rewrite_initialize_block): Do not register
1906         definitions of SSA_NAMEs which are not being rewritten.
1907         (rewrite_ssa_into_ssa): Only initialize the current definition
1908         of an SSA_NAME if that SSA_NAME has been marked for rewriting.
1909         If checking is enabled, assert that SSA_NAME_AUX is clear for all
1910         SSA_NAMEs before returning.
1911
1912 2005-01-27  Kazu Hirata  <kazu@cs.umass.edu>
1913
1914         * c-common.def, c-dump.c, c-gimplify.c, c-objc-common.c,
1915         cfgexpand.c, dbxout.c, function.h, opts.c, tree-flow-inline.h,
1916         tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-tailcall.c,
1917         config/avr/avr.md, config/cris/aout.h, config/cris/cris.h,
1918         config/mips/iris6.h, config/sh/sh.c: Update copyright.
1919
1920 2005-01-27  Steven Bosscher  <stevenb@suse.de>
1921
1922         PR middle-end/17278
1923         * opts.c (decode_options): Move flag_thread_jumps from -O1 and
1924         higher to -O2 and higher.  Likewise for tree PRE.
1925         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Only iterate at -O2
1926         and better.
1927
1928 2005-01-27  Ian Lance Taylor  <ian@airs.com>
1929
1930         PR middle-end/19583
1931         * gimple-low.c (try_catch_may_fallthru): New static function.
1932         (block_may_fallthru): Handle TRY_CATCH_EXPR.
1933         * tree-inline.c (expand_call_inline): Don't warn about reaching
1934         the end of a non-void function being inlined if the function uses
1935         a return slot.
1936
1937 2005-01-27  Jakub Jelinek  <jakub@redhat.com>
1938
1939         * config/i386/i386.h (CALL_USED_REGISTERS): Fix comment pastos.
1940
1941         PR c/18946
1942         * c-decl.c (warn_if_shadowing): Handle old_decl error_mark_node.
1943         (pushdecl): Only use DECL_FILE_SCOPE_P if DECL_P.
1944         (implicitly_declare): Handle error_mark_node.
1945
1946 2005-01-27  Richard Henderson  <rth@redhat.com>
1947
1948         PR tree-opt/14329
1949         * tree.h (struct tree_decl): Add debug_expr_is_from.
1950         (DECL_DEBUG_EXPR_IS_FROM): New.
1951         (DECL_DEBUG_EXPR): Rename from DECL_DEBUG_ALIAS_OF.
1952         * dwarf2out.c (dwarf2out_var_location): Update to match.
1953         * tree-outof-ssa.c (create_temp): Likewise.
1954         * var-tracking.c (track_expr_p): Likewise.
1955         * tree-sra.c (instantiate_element): Set DECL_DEBUG_EXPR.
1956         * c-objc-common.c (c_tree_printer) <'D'>: Handle DECL_DEBUG_EXPR.
1957         * toplev.c (default_tree_printer): Likewise.
1958
1959 2005-01-27  Alexandre Oliva  <aoliva@redhat.com>
1960
1961         * config/frv/frv.c (frv_class_likely_spilled_p): Add GR8_REGS,
1962         GR9_REGS, GR89_REGS, FDPIC_FPTR_REGS, FDPIC_REGS.
1963
1964 2005-01-27  Steven Bosscher  <stevenb@suse.de>
1965
1966         * tree.h (SWITCH_COND, SWITCH_BODY, SWITCH_LABELS, CASE_LOW,
1967         CASE_HIGH, CASE_LABEL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
1968         ASM_CLOBBERS): Add tree checks.
1969
1970         * c-common.h (SWITCH_TYPE): Rename to SWITCH_STMT_TYPE.
1971         (SWITCH_STMT_COND, SWITCH_STMT_BODY): New.
1972         * c-common.def (SWITCH_STMT): Update to match.
1973         * c-common.c (c_do_switch_warnings): Use SWITCH_STMT accessor
1974         macros instead of SWITCH_EXPR ones.
1975         * c-dump.c (c_dump_tree): Likewise.
1976         * c-gimplify.c (gimplify_switch_stmt): Likewise.
1977         * c-typeck.c (c_start_case, do_case, c_finish_case): Likewise.
1978
1979         * doc/c-tree.texi (SWITCH_STMT): Update accessor macro names.
1980
1981 2005-01-27  Alan Modra  <amodra@bigpond.net.au>
1982
1983         * unwind-dw2.c (execute_stack_op): Add missing cases for
1984         DW_OP_shl, DW_OP_shr, DW_OP_shra, DW_OP_xor.
1985
1986 2005-01-27  Eric Botcazou  <ebotcazou@libertysurf.fr>
1987
1988         * config.gcc (Obsolete configurations): Remove 'dummy', add
1989         sparclite-*-coff*, sparclite-*-elf*, sparc86x-*-elf* and
1990         sparc-*-openbsd*.
1991
1992 2005-01-26  Diego Novillo  <dnovillo@redhat.com>
1993
1994         PR tree-optimization/19633
1995         * tree-ssa-alias.c (ptr_is_dereferenced_by): Also handle
1996         CALL_EXPRs.
1997         (maybe_create_global_var): Do not create .GLOBAL_VAR if there
1998         are no call-clobbered variables.
1999         * tree-outof-ssa.c (check_replaceable): Return false for calls
2000         with side-effects.
2001
2002 2005-01-26  Ulrich Weigand  <uweigand@de.ibm.com>
2003
2004         * dbxout.c (dbxout_symbol_location): Resolve constant pool references
2005         even for variables with NULL DECL_INITIAL.
2006
2007 2005-01-26  Stuart Hastings  <stuart@apple.com>
2008
2009         * gimplify.c (shortcut_cond_expr): Re-compute side-effects.
2010
2011 2005-01-26  Richard Henderson  <rth@redhat.com>
2012
2013         PR middle-end/18008
2014         * c-decl.c (finish_struct): Set DECL_MODE after resetting a
2015         field's type.
2016         * expr.c (store_field): Strip conversions to odd-bit-sized types
2017         if the destination field width matches.
2018
2019 2005-01-26  Richard Henderson  <rth@redhat.com>
2020
2021         * c-decl.c, expmed.c, expr.c: Revert last change.
2022
2023 2005-01-26  Richard Henderson  <rth@redhat.com>
2024
2025         PR middle-end/18008
2026         * c-decl.c (finish_struct): Set DECL_MODE after resetting a
2027         field's type.
2028         * expmed.c (store_fixed_bit_field): Create a paradoxical subreg
2029         if we don't need the bits above those present in the current mode.
2030         * expr.c (store_field): Strip conversions to odd-bit-sized types
2031         if the destination field width matches.
2032
2033 2005-01-26  Richard Sandiford  <rsandifo@redhat.com>
2034
2035         * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
2036         either -ffast-math or -funsafe-math-optimizations is in use.
2037
2038 2005-01-26  Marek Michalkiewicz  <marekm@amelek.gda.pl>
2039
2040         PR target/19293
2041         PR target/19329
2042         * config/avr/avr.c (notice_update_cc): Only set condition code for
2043         ashrqi3 if shift count > 0.
2044         (out_shift_with_cnt): Handle shift count <= 0 as a no-op.
2045         (ashlqi3_out, ashlhi3_out, ashlsi3_out, ashrqi3_out, ashrhi3_out,
2046         ashrsi3_out, lshrqi3_out, lshrhi3_out, lshrsi3_out): Handle shift
2047         count <= 0 as a no-op, and shift count >= width by copying zero
2048         or sign bit to all bits of the result.
2049         * config/avr/avr.md (all shifts): Add alternatives for zero shift
2050         count, with attribute "length" set to 0 and "cc" set to "none".
2051
2052 2005-01-26  Aldy Hernandez  <aldyh@redhat.com>
2053
2054         * doc/invoke.texi: Document -mTLS.
2055
2056         * testsuite/gcc.target/frv/all-tls-global-dynamic.c: New.
2057         * testsuite/gcc.target/frv/all-tls-initial-exec.c: New.
2058         * testsuite/gcc.target/frv/all-tls-initial-exec-pic.c: New.
2059         * testsuite/gcc.target/frv/all-tls-local-dynamic.c: New.
2060         * testsuite/gcc.target/frv/all-tls-local-dynamic-plt.c: New.
2061         * testsuite/gcc.target/frv/all-tls-local-dynamic-plt-pic.c: New.
2062         * testsuite/gcc.target/frv/all-tls-local-exec.c: New.
2063         * testsuite/gcc.target/frv/all-tls-local-exec-TLS.c: New.
2064
2065         * configure.ac: Check for a TLS capable gas.
2066
2067         * configure: Regenerate.
2068
2069 2005-01-26  Richard Henderson  <rth@redhat.com>
2070
2071         PR middle-end/18008
2072         * combine.c (make_field_assignment): Simplify store to zero_extract
2073         from a source with an overlapping mask.
2074
2075 2005-01-26  Aldy Hernandez  <aldyh@redhat.com>
2076
2077         2004-11-11  Eric Christopher  <echristo@redhat.com>
2078
2079         * config/frv/frv.md: Add fr400_integer automaton. Don't
2080         allow TYPE_MUL, TYPE_MACC, or TYPE_CUT to issue in parallel
2081         to TYPE_MACC.
2082
2083 2005-01-26  Steven Bosscher  <stevenb@suse.de>
2084
2085         PR middle-end/16585
2086         * cfgbuild.c (make_edges): Do not clear or set
2087         current_function_has_computed_jump.
2088         * function.h (struct function): Remove the has_computed_jump field.
2089         (current_function_has_computed_jump): Do not define.
2090         * sched-rgn.c (is_cfg_nonregular): Return true if a basic block ends
2091         in a computed jump.  Ignore current_function_has_computed_jump.
2092
2093 2005-01-26  Richard Henderson  <rth@redhat.com>
2094
2095         PR middle-end/19515
2096         * expr.c (categorize_ctor_elements): New argument p_must_clear.
2097         (categorize_ctor_elements_1): Likewise.  Detect a union that isn't
2098         fully initialized.
2099         (mostly_zeros_p): Update for new categorize_ctor_elements argument.
2100         * gimplify.c (gimplify_init_constructor): Likewise.  Only shove
2101         objects into static storage if they have more than one non-zero value.
2102         * tree.h (categorize_ctor_elements): Update decl.
2103
2104 2005-01-26  Steven Bosscher  <stevenb@suse.de>
2105
2106         PR middle-end/19616
2107         * tree.h (CALL_EXPR_TAILCALL): Add comment.
2108         * calls.c (check_sibcall_argument_overlap_1): Revert the change
2109         to this function from 2004-07-10.
2110         * tree-tailcall.c (suitable_for_tail_opt_p): Do not consider the
2111         the current function for tail call optimizations if the address
2112         of one of it its arguments is taken.
2113
2114 2005-01-26  Kazu Hirata  <kazu@cs.umass.edu>
2115
2116         * cse.c (fold_rtx): Call equiv_constant only when necessary.
2117
2118 2005-01-26  Bernd Schmidt  <bernd.schmidt@analog.com>
2119
2120         * function.c (expand_function_end): If current_function_calls_alloca,
2121         emit stack restore in a place that is reached when the function falls
2122         through at the end.
2123
2124 2005-01-26  Alexandre Oliva  <aoliva@redhat.com>
2125
2126         * Makefile.in (../$(build_subdir)/fixincludes/fixincl): Add dummy
2127         rule to avoid matching inappropriate suffix rule.
2128
2129 2005-01-26  Jan Hubicka  <jh@suse.cz>
2130
2131         PR tree-optimization/19241
2132         * tree-inline.c (copy_body_r): Do not walk subtrees after substituting.
2133
2134 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
2135
2136         * config/cris/cris.h (LIB_SPEC) <sim*>: Use -lsyslinux, not
2137         -lsyssim.  Wrap -lc -lsyssim in --start-group --end-group instead
2138         of doubling.
2139         (STARTFILE_SPEC): Add crti.o, before crtbegin.o.
2140         <sim*>: Always use crt1.o, regardless of N in simN.
2141         <!sim>: Drop support for -pg and -p variants; always use crt0.o.
2142         (ENDFILE_SPEC): Add crtn.o, after crtend.o.
2143         (CRT_CALL_STATIC_FUNCTION): Remove.
2144         * config/cris/aout.h (STARTFILE_SPEC): <!melinux && sim*>: Always
2145         use crt1.o, regardless of N in simN.
2146         <!sim>: Drop support for -pg and -p variants; always use crt0.o.
2147         (LIB_SPEC): Do not define; default to the one in config/cris/cris.h.
2148         (CRIS_CPP_SUBTARGET_SPEC) <melinux && !nostdinc>: Remove special
2149         case isystem setting.
2150         (MAX_OFILE_ALIGNMENT): Correct to 32, not 16.
2151
2152 2005-01-25  Ian Lance Taylor  <ian@airs.com>
2153
2154         * gimple-low.c (block_may_fallthru): Correct handling of
2155         SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
2156
2157 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
2158
2159         * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=
2160         handlers to match indentation; nested under the mtune=* handler.
2161         Similar for mcpu= and march=.
2162
2163 2005-01-25  Daniel Jacobowitz  <dan@codesourcery.com>
2164
2165         * config/mips/linux.h (LIB_SPEC): Remove -rpath-link.
2166         * config/mips/linux64.h (LIB_SPEC): Likewise.
2167         * config/mn10300/linux.h (LIB_SPEC): Likewise.
2168         * config/sh/linux.h (LIB_SPEC): Likewise.
2169
2170 2005-01-25  Aldy Hernandez  <aldyh@redhat.com>
2171
2172         * config/frv/frv.c (frv_legitimize_tls_address): New.
2173         (TARGET_HAVE_TLS): Define.
2174         (FRV_SYMBOL_REF_TLS_P): Define.
2175         (frv_override_options): Handle new register classes.
2176         (frv_legitimate_address_p): Reject tls addresses.
2177         (frv_legitimize_address): Handle TLS addresses.
2178         (gen_inlined_tls_plt): New.
2179         (gen_tlsmoff): New.
2180         (frv_legitimize_tls_address): New.
2181         (unspec_got_name): Add TLS entries.
2182         (got12_operand): Add R_FRV_TLSMOFF12 case.
2183         (frv_emit_move): Fixup TLS addresses.
2184         (frv_emit_movsi): Legitimize TLS addresses.
2185
2186         * config/frv/frv.h (MASK_BIG_TLS): New.
2187         (TARGET_BIG_TLS): New.
2188         (HAVE_AS_TLS): Define.
2189         (TARGET_SWITCHES): Add -mTLS and -mtls options.
2190         (enum reg_class): Add GR8_REGS, GR9_REGS, GR89_REGS.
2191         (REG_CLASS_NAMES): Same.
2192         (REG_CLASS_CONTENTS): Same.
2193         (CONSTRAINT_LEN): New.
2194         (REG_CLASS_FROM_CONSTRAINT): New.
2195         (PREDICATE_CODES): Add symbolic_operand.
2196
2197         * config/frv/frv.md (define_constants): Add UNSPEC_GETTLSOFF,
2198         UNSPEC_TLS_LOAD_GOTTLSOFF12, UNSPEC_TLS_INDIRECT_CALL,
2199         UNSPEC_TLS_TLSDESC_LDD, UNSPEC_TLS_TLSDESC_LDD_AUX,
2200         UNSPEC_TLS_TLSOFF_LD, UNSPEC_TLS_LDDI, UNSPEC_TLSOFF_HILO,
2201         R_FRV_GOTTLSOFF_HI, R_FRV_GOTTLSOFF_LO, R_FRV_TLSMOFFHI,
2202         R_FRV_TLSMOFFLO, R_FRV_TLSMOFF12, R_FRV_TLSDESCHI,
2203         R_FRV_TLSDESCLO, R_FRV_GOTTLSDESCHI, R_FRV_GOTTLSDESCLO, GR8_REG,
2204         GR9_REG, GR14_REG, LRREG.
2205         (type): Add load_or_call attribute.
2206         ("load_or_call"): New reservation.
2207         ("call_gettlsoff"): New.
2208         ("tls_indirect_call"): New.
2209         ("tls_load_gottlsoff12"): New.
2210         ("tlsoff_hilo"): New.
2211         ("tls_tlsdesc_ldd"): New.
2212         ("tls_tlsoff_ld"): New.
2213         ("tls_lddi"): New.
2214
2215         * config/frv/frv-protos.h (symbolic_operand): Protoize.
2216
2217         2005-01-25  Alexandre Oliva  <aoliva@redhat.com>
2218
2219         * config/frv/frv.h (ASM_OUTPUT_DWARF_DTPREL): Define.
2220         * config/frv/frv-protos.h (frv_output_dwarf_dtprel): Declare.
2221         * config/frv/frv.c (TLS_BIAS): Define.
2222         (frv_output_dwarf_dtprel): New.
2223
2224 2005-01-26  Jakub Jelinek  <jakub@redhat.com>
2225
2226         PR rtl-optimization/19579
2227         * ifcvt.c (noce_try_cmove_arith): If emitting instructions to set up
2228         both A and B, see if they don't clobber registers the other expr uses.
2229
2230 2005-01-25  J"orn Rennecke <joern.rennecke@st.com>
2231
2232         * real.c (do_add): Initialize signalling and canonical members.
2233
2234         * real.c (real_from_integer): Zero out destination.
2235
2236 2005-01-18  Jan Hubicka  <jh@suse.cz>
2237
2238         PR tree-optimize/19337
2239         * tree-inline.c (initialize_inlined_parameters): Copy
2240         saved_static_chain_decl only.
2241
2242 2005-01-25  Richard Henderson  <rth@redhat.com>
2243
2244         PR target/19556
2245         PR target/19584
2246         * config/i386/i386.c (x86_inter_unit_moves): Zero.
2247         (ix86_preferred_reload_class): Rewrite fp-constant section, with
2248         80387 enabled, to return a proper subclass.  Return the subset that
2249         overlaps with GENERAL_REGS for PLUS.
2250         * config/i386/i386.md (movsi_1, movdi_2): Set type to "mmx" for pxor.
2251
2252 2005-01-25  Richard Henderson  <rth@redhat.com>
2253
2254         PR middle-end/19609
2255         * tree-complex.c (expand_complex_div_wide): Use the correct formulae.
2256
2257 2005-01-25  Roger Sayle  <roger@eyesopen.com>
2258
2259         * expmed.c (choose_multiplier): Change interface to return the
2260         multiplier lowpart as an rtx instead of an unsigned HOST_WIDE_INT.
2261         (expand_divmod): Update calls to choose_multiplier.
2262
2263 2005-01-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2264
2265         PR middle-end/19330
2266         * expmed.c (extract_bit_field): Use adjust_address instead of
2267         gen_lowpart when op0 is a MEM.
2268
2269 2005-01-24  Steven Bosscher  <stevenb@suse.de>
2270
2271         * cfgexpand.c (expand_gimple_tailcall): Fix typo.
2272
2273 2005-01-24  Richard Sandiford  <rsandifo@redhat.com>
2274
2275         * config/mips/irix-csr.c: New file.
2276         * config/mips/t-iris6 (irix-csr.o): New rule to build it.
2277         (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
2278         * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
2279         executables.
2280
2281 2005-01-24  Eric Botcazou  <ebotcazou@libertysurf.fr>
2282
2283         PR bootstrap/19364
2284         * config.gcc (sparc-*-elf*): Remove sol2.h, sparc/sol2.h and
2285         sparc/elf.h, add sparc/sp-elf.h.
2286         (sparc-*-rtems*): Likewise.
2287         (sparclite-*-elf*): Remove sol2.h, sparc/sol2.h, sparc/elf.h and
2288         tm-dwarf2.h, add sparc/sp-elf.h.
2289         (sparc86x-*-elf): Likewise.
2290         (sparc64-*-elf*): Remove sol2.h, sparc/sol2.h and tm-dwarf2.h.
2291         * config/sparc/liteelf.h (TARGET_SUB_OS_CPP_BUILTINS): Rename into
2292         TARGET_OS_CPP_BUILTINS.
2293         * config/sparc/sp86x-elf (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2294         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2295         Undefine it.
2296         * config/sparc/openbsd64.h (NO_IMPLICIT_EXTERN_C): Undefine.
2297         * config/sparc/sp64-elf.h (NO_IMPLICIT_EXTERN_C): New macro.
2298         (SWITCH_TAKES_ARG): Likewise.
2299         (LOCAL_LABEL_PREFIX): Likewise.
2300         (ASM_GENERATE_INTERNAL_LABEL): Likewise.
2301         (TARGET_N_FORMAT_TYPES): Delete.
2302         (TARGET_FORMAT_TYPES): Likewise.
2303         (ASM_DECLARE_FUNCTION_SIZE): Likewise.
2304         * config/sparc/elf.h: Delete.
2305         * config/sparc/sp-elf.h: New file.
2306
2307 2005-01-24  Kazu Hirata  <kazu@cs.umass.edu>
2308
2309         * tree-flow-inline.h (phi_arg_from_edge): Remove.
2310         * tree-flow.h: Remove the corresponding prototype.
2311         * tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-ssa.c,
2312         tree-vectorizer.c: Use dest_idx instead of phi_arg_from_edge.
2313
2314 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
2315
2316         PR target/17751
2317         * config/rs6000/rs6000.c (rs6000_file_start): Create toc section
2318         for AIX ABI or ELF -fPIC.
2319         (rs6000_emit_load_toc_table): Don't create toc_section here.
2320         (rs6000_xcoff_file_start): Nor here.
2321
2322 2005-01-24  J"orn Rennecke <joern.rennecke@st.com>
2323
2324         * sh.c (ra.h): Don't #include.
2325         (hard_regs_intersect_p): New function, resurrected from ra.c.
2326
2327         * sh.c: Fix 1996 Copyright.
2328
2329 2005-01-24  Richard Henderson  <rth@redhat.com>
2330             Aldy Hernandez  <aldyh@redhat.com>
2331
2332         * regrename.c (note_sets): Handle subregs.
2333
2334 2005-01-24  Joseph S. Myers  <joseph@codesourcery.com>
2335
2336         PR bootstrap/18058
2337         * genconditions.c (write_header, write_conditions): Elide file if
2338         not GCC >= 3.0.1.
2339
2340 2005-01-24  Kazu Hirata  <kazu@cs.umass.edu>
2341
2342         * c-opts.c, expmed.c, gengtype.c, tree-complex.c,
2343         config/arm/iwmmxt.md, config/avr/avr.c, config/s390/s390.h:
2344         Update copyright.
2345
2346 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
2347
2348         * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
2349         expand_builtin_printf, expand_builtin_fprintf,
2350         expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE
2351         checking against POINTER_TYPE.
2352         (validate_arglist): Handle POINTER_TYPE code by checking
2353         POINTER_TYPE_P.
2354
2355 2005-01-24  Paolo Bonzini  <bonzini@gnu.org>
2356
2357         * rtlanal.c (non_rtx_starting_operands, for_each_rtx_1,
2358         init_rtlanal): New.
2359         (for_each_rtx): Call for_each_rtx_1.
2360         * rtl.h (init_rtlanal): Declare.
2361         * toplev.c (backend_init): Call init_rtlanal.
2362
2363 2005-01-24  Jakub Jelinek  <jakub@redhat.com>
2364
2365         * flow.c (propagate_one_insn): Formatting.
2366
2367         PR middle-end/19551
2368         * flow.c (libcall_dead_p): Be more conservative if unsure.
2369         If there are any instructions between insn and call, see if they are
2370         all dead before saying the libcall is dead.
2371
2372 2005-01-24  Uros Bizjak  <uros@kss-loka.si>
2373
2374         * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
2375         operand constraint for operand 0.
2376
2377 2005-01-23  Richard Henderson  <rth@redhat.com>
2378
2379         PR 19486
2380         * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
2381         edges leading to join block.
2382
2383 2005-01-23  Roger Sayle  <roger@eyesopen.com>
2384
2385         * expmed.c (expand_mult_highpart): Make static.  Change type of
2386         constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
2387         (expand_divmod): Updates calls to expand_mult_highpart by using
2388         gen_int_mode to pass a CONST_INT rtx.
2389         * rtl.h (expand_mult_highpart): Remove prototype.
2390
2391 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2392
2393         * flow.c (regset_bytes, regset_size): Remove.
2394
2395         * cfganal.c: Fix a reference to Harvey's paper.
2396
2397 2005-01-23  Steven Bosscher  <stevenb@suse.de>
2398
2399         PR rtl-optimization/19464
2400         * tree-optimize.c (init_tree_optimization_passes): Add one more
2401         copyrename pass just before out-of-ssa.
2402
2403 2005-01-23  Joseph S. Myers  <joseph@codesourcery.com>
2404
2405         PR bootstrap/18058
2406         * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
2407         * ggc-none.c (ggc_free): Define.
2408
2409 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2410
2411         * cse.c (max_reg, max_insn_uid): Remove.
2412         (cse_main): Don't access max_reg or max_insn_uid.
2413
2414         * c-common.c (explicit_flag_signed_bitfields,
2415         lang_statement_code_p, lang_expand_function_end): Remove.
2416         * c-common.h: Remove the corresponding declarations.
2417         * c-opts.c (c_common_handle_option): Remove all write access
2418         to explicit_flag_signed_bitfields.
2419
2420         * cgraph.c (cgraph_varpool_n_nodes): Remove.
2421         (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
2422         * cgraph.h: Remove the corresponding declaration.
2423
2424         * gcse.c (null_pointer_info): Remove.
2425
2426 2005-01-23  Roger Sayle  <roger@eyesopen.com>
2427             Eric Botcazou  <ebotcazou@libertysurf.fr>
2428
2429         * combine.c (simplify_logical): Only simplify logical expressions
2430         of the form ior(and(x,y),z) by the inverse distributive law if the
2431         result is cheaper than the original.
2432
2433 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
2434
2435         * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
2436         fold-const.c, gimplify.c, params.h, tree-data-ref.c,
2437         tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
2438         tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
2439         config/freebsd-spec.h, config/arm/arm.h,
2440         config/h8300/h8300.md, config/i386/i386.md,
2441         config/i386/predicates.md, config/i386/sse.md,
2442         config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
2443         config/vax/vax.md: Fix comment typos.  Follow spelling
2444         conventions.
2445
2446 2005-01-23  Steven Bosscher  <stevenb@suse.de>
2447
2448         * gengtype.c (walk_type): Produce `not equal to' compares for loop
2449         tests, instead of `less than'.
2450
2451 2005-01-23  Richard Sandiford  <rsandifo@redhat.com>
2452
2453         * function.c (assign_parm_setup_block): When creating a new stack slot
2454         for a parameter, get its alignment from the parameter's DECL_ALIGN
2455         rather than the type's TYPE_ALIGN.  Make sure that the parameter
2456         is at least word aligned.
2457
2458 2005-01-22  Roger Sayle  <roger@eyesopen.com>
2459
2460         PR middle-end/19378
2461         * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
2462
2463 2005-01-22  Richard Henderson  <rth@redhat.com>
2464
2465         PR target/19506
2466         * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
2467         in both compare operands.
2468         (movdfcc_1_sse_max): Likewise.
2469         (movsfcc_1_sse): Likewise.  Add earlyclobber for scratch.
2470         (movdfcc_1_sse): Likewise.
2471         * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
2472         scratch register as needed.
2473
2474 2005-01-22  Richard Henderson  <rth@redhat.com>
2475
2476         * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
2477
2478         * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
2479
2480 2005-01-22  Richard Henderson  <rth@redhat.com>
2481
2482         * genopinit.c (optabs): Use smin/smax for floating point too.
2483         * doc/md.texi: Update to match.  Clarify that floating point
2484         results are undefined for +0/-0 and NaN.
2485         * doc/rtl.texi: Likewise.
2486         * rtl.def (SMIN, SMAX): Likewise
2487         * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
2488
2489         * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
2490         leading 's' to the name.
2491         * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
2492         smaxxf3, sminxf3): Likewise.
2493         * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
2494         Likewise.
2495
2496 2005-01-22  Paul Brook  <paul@codesourcery.com>
2497
2498         * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
2499
2500 2005-01-21  Mark Dettinger  <dettinge@de.ibm.com>
2501
2502         * config/s390/s390.c (struct processor_costs): New fields
2503         dlgr, dlr, dr, dsgfr, dsgr.
2504         (z900_cost, z990_cost): Values for new fields.
2505         (s390_rtx_costs): New cases MEM und COMPARE in switch
2506         statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
2507         DIV, MOD, UDIV, UMOD.
2508
2509 2005-01-21  Ulrich Weigand  <uweigand@de.ibm.com>
2510
2511         * config/s390/s390.md ("doloop_si64"): Reload input value directly
2512         into the register being decremented.
2513         ("doloop_si31", "doloop_di"): Likewise.
2514         ("*doloop_si_long"): Adapt pattern.
2515
2516 2005-01-21  Ulrich Weigand  <uweigand@de.ibm.com>
2517
2518         * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
2519         access registers.
2520         (CLASS_MAX_NREGS): Likewise.
2521
2522 2005-01-21  Daniel Berlin  <dberlin@dberlin.org>
2523
2524         * doc/tree-ssa.texi (Statement Operands): Add example for new
2525         must-def macro. Note deprecation of old operands interface.
2526
2527 2005-01-22  Richard Sandiford  <rsandifo@redhat.com>
2528
2529         PR tree-optimization/19484
2530         * tree-cfg.c (remove_fallthru_edge): New function.
2531         (cleanup_control_flow): Remove fallthru edges from calls that are
2532         now known not to return.
2533
2534 2005-01-20  Daniel Berlin  <dberlin@dberlin.org>
2535
2536         Fix PR tree-optimization/19038
2537         * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
2538         copies with loop variant ones.
2539
2540 2005-01-22  Kazu Hirata  <kazu@cs.umass.edu>
2541
2542         * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
2543         config/alpha/alpha-protos.h, config/alpha/alpha.h,
2544         config/alpha/alpha.md, config/alpha/predicates.md,
2545         config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
2546         config/sparc/sol2.h: Update copyright.
2547
2548         * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
2549         first label to see if it is a nonlocal label.
2550
2551 2005-01-22  David Edelsohn  <edelsohn@gnu.org>
2552             Andrew Pinski  <pinskia@physics.uc.edu>
2553
2554         PR target/19491
2555         * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
2556         maximum number of GPRs.  Saturate n_fpr at maximum number of FPRs.
2557
2558 2005-01-22  Ralf Corsepius  <ralf.corsepius@rtems.org>
2559
2560         * config/rs6000/rtems.h: Update copyright.
2561
2562 2005-01-22  Ralf Corsepius  <ralf.corsepius@rtems.org>
2563
2564         PR target/19548
2565         * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
2566         (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
2567         (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
2568
2569 2005-01-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2570
2571         PR c/18809
2572         * c-typeck.c (convert_arguments): Check for error_mark_node.
2573
2574 2005-01-21  Ian Lance Taylor  <ian@airs.com>
2575
2576         PR tree-optimization/13000
2577         * tree-inline.c: Include "tree-flow.h".
2578         (expand_call_inline): If warn_return_type, warn if non-void inline
2579         function falls through.
2580         * tree-cfg.c (execute_warn_function_return): Don't warn about
2581         control reaching end if TREE_NO_WARNING is set.  Set
2582         TREE_NO_WARNING.
2583         * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
2584         has been lowered.
2585         * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
2586         branch if we don't need one.
2587         * c-typeck.c: Include "tree-flow.h"
2588         (c_finish_bc_stmt): Don't add a goto if the current statement
2589         list doesn't fall through to the current point.
2590
2591 2005-01-21  Roger Sayle  <roger@eyesopen.com>
2592
2593         PR rtl-optimization/576
2594         * real.c (real_arithmetic): Change return type from void to bool
2595         to return an indication that the result may be inexact.
2596         * real.h (real_arithmeric): Update prototype.
2597         * fold-const.c (const_binop):  Don't constant fold floating
2598         point expressions when the user specifies -frounding-math and
2599         the result may depend upon the run-time rounding mode.
2600         (fold_convert_const_real_from_real): Clean-up.
2601         (fold_initializer): Ignore flag_rounding_math for initializers.
2602         * simplify-rtx.c (simplify_binary_operation): Likewise, don't
2603         constant fold FP operations with flag_rounding_math if the
2604         result may depend upon the run-time rounding mode.
2605
2606 2005-01-21  Tom Tromey  <tromey@redhat.com>
2607
2608         * c-cppbuiltin.c (define__GNUC__): Correct assertion.
2609
2610 2005-01-21  Kazu Hirata  <kazu@cs.umass.edu>
2611
2612         * tree-cfg.c: Fix comment typos.
2613
2614 2005-01-21  J"orn Rennecke <joern.rennecke@st.com>
2615
2616         * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
2617         around the call to rest_of_handle_branch_target_load_optimize.
2618
2619 2005-01-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
2620
2621         * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
2622         (sparc64-*-openbsd*): Likewise.
2623         (sparclite-*-elf*): Include tm-dwarf2.h.
2624         (sparc86x-*-elf*): Likewise.
2625         (sparc64-*-elf*): Likewise.
2626         * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
2627         (DBX_DEBUGGING_INFO): Likewise.
2628         * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
2629         (PREFERRED_DEBUGGING_TYPE): Likewise.
2630         * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
2631         * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
2632         (PREFERRED_DEBUGGING_TYPE): Likewise.
2633         * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
2634         (PREFERRED_DEBUGGING_TYPE): Likewise.
2635         * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
2636
2637 2005-01-21  Hans-Peter Nilsson  <hp@bitrange.com>
2638
2639         PR target/18701
2640         * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
2641
2642 2005-01-20  Paul Brook  <paul@codesourcery.com>
2643
2644         * doc/rtl.texi: Document value extension requirements for CONST_INT.
2645
2646 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
2647
2648         * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
2649         label is first in a sequence of labels.
2650
2651         * tree-cfg.c (tree_verify_flow_info): Fix a typo.
2652
2653 2005-01-20  Janis Johnson  <janis187@us.ibm.com>
2654             Giovanni Bajo  <giovannibajo@gcc.gnu.org>
2655
2656         * doc/sourcebuild.texi (Test Directives): New.
2657
2658 2005-01-20  Roger Sayle  <roger@eyesopen.com>
2659
2660         * real.c (real_floor): Don't leave the result uninitialized when
2661         mode is VOIDMode, but return the unrounded intermediate value.
2662         (real_ceil): Likewise.
2663
2664 2005-01-20  Paul Brook  <paul@codesourcery.com>
2665
2666         * config/arm/arm.md (insv): Use gen_int_mode.
2667
2668 2005-01-20  Eric Botcazou  <ebotcazou@libertysurf.fr>
2669
2670         * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
2671         * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2672         * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2673         * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2674         * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
2675
2676 2005-01-20  Daniel Berlin  <dberlin@dberlin.org>
2677
2678         Fix PR debug/19124
2679         * dwarf2out.c (concat_loc_descriptor): We don't know we can use
2680         fbreg, so we have to assume we can't.
2681         (loc_descriptor_from_tree_1): Ditto.
2682         (containing_function_has_frame_base): New function.
2683         (add_location_or_const_value_attribute): Use it.
2684         Also try to generate a frame_base from a single element location
2685         list.
2686
2687 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
2688
2689         PR tree-optimization/15349
2690         * timevar.def (TV_TREE_MERGE_PHI): New.
2691         * tree-cfg.c (tree_forwarder_block_p): Add a new argument
2692         PHI_WANTED.
2693         (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
2694         calls to tree_forwarder_block_p.
2695         (remove_forwarder_block_with_phi, merge_phi_nodes,
2696         gate_merge_phi, pass_merge_phi): New.
2697         * tree-optimize.c (init_tree_optimization_passes): Add
2698         pass_merge_phi.
2699         * tree-pass.h: Add an extern for pass_merge_phi;
2700
2701 2005-01-20  Richard Henderson  <rth@redhat.com>
2702
2703         PR target/19418
2704         * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
2705         (_mm_castps_pd, _mm_castps_si128): New.
2706         (_mm_castsi128_ps, _mm_castsi128_pd): New.
2707
2708 2005-01-20  Richard Henderson  <rth@redhat.com>
2709
2710         PR target/19530
2711         * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
2712         __builtin_ia32_vec_init_v2si.
2713         (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
2714         * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
2715         (ix86_init_mmx_sse_builtins): Create it.
2716         (ix86_expand_builtin): Expand it.
2717         (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
2718         * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
2719         (vec_extractv2si_0, vec_extractv2si_1): New.
2720
2721 2005-01-20  Richard Henderson  <rth@redhat.com>
2722
2723         PR target/16533
2724         * config/i386/i386.c (ix86_expand_push): New.
2725         * config/i386/mmx.md (push<MMXMODE>1): New.
2726         * config/i386/sse.md (push<SSEMODE>1): New.
2727         * config/i386/i386-protos.h: Update.
2728
2729 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
2730
2731         * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
2732         copyright.
2733
2734 2005-01-20  Richard Henderson  <rth@redhat.com>
2735
2736         * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
2737         * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
2738
2739 2005-01-19  Richard Henderson  <rth@redhat.com>
2740
2741         PR target/19350
2742         * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
2743         to V4SFmode in SSE1 fallback load path.
2744
2745 2005-01-19  Richard Henderson  <rth@redhat.com>
2746
2747         * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
2748         in QImode expansion to ix86_expand_vector_set.
2749         (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
2750
2751 2005-01-19  Richard Henderson  <rth@redhat.com>
2752
2753         PR target/19511
2754         * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
2755         subclass of the input class.
2756         (ix86_secondary_memory_needed): Always true for cross-MMX classes.
2757         Always true for cross-SSE1 classes.  Rationalize conditionals.
2758         * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
2759         * config/i386/i386.md (movsi_1): Add MMX/SSE zeros.  Fix alternatives
2760         for SSE1.  Don't check TARGET_INTER_UNIT_MOVES.
2761         (movdi_2): Add MMX/SSE zeros.
2762         (movdi_1_rex64): Likewise.  Don't check TARGET_INTER_UNIT_MOVES.
2763         (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
2764         (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
2765         (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
2766         (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
2767         (zero_extendsidi2_rex64_1): Remove.
2768         (MOV0 peephole): Check GENERAL_REG_P.
2769
2770 2005-01-19  Richard Henderson  <rth@redhat.com>
2771
2772         PR target/19427
2773         * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
2774         shufps elements.
2775         (ix86_expand_vector_extract): Likewise.
2776
2777 2005-01-19  Richard Henderson  <rth@redhat.com>
2778
2779         PR middle-end/19304
2780         * expr.c (emit_move_change_mode): New argument force; use
2781         simplify_gen_subreg if true.
2782         (emit_move_via_alt_mode): Merge into ...
2783         (emit_move_via_integer): ... here.
2784         (emit_move_ccmode): Use emit_move_change_mode directly.
2785
2786 2005-01-19  Richard Henderson  <rth@redhat.com>
2787
2788         PR target/19518
2789         * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
2790         (alpha_preferred_reload_class): Handle CONST_VECTOR.
2791         (alpha_emit_set_const_1): Add no_output parameter; don't emit
2792         rtl if true.
2793         (alpha_emit_set_const): Likewise.  Make static.
2794         (alpha_emit_set_long_const): Make static.
2795         (alpha_extract_integer): Split out from alpha_expand_mov.
2796         (alpha_split_const_mov): Likewise.
2797         (alpha_expand_mov): Use them.  Handle CONST_VECTOR.
2798         (alpha_legitimate_constant_p): New.
2799         * config/alpha/alpha-protos.h: Update.
2800         * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
2801         (LEGITIMATE_CONSTANT_P): Re-implement with a function.
2802         * config/alpha/alpha.md (movsi): Add n alternative.
2803         (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
2804         (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
2805         (splitters for all of the above): Use alpha_split_const_mov.
2806         * config/alpha/predicates.md (non_add_const_operand): New.
2807         (non_zero_const_operand): New.
2808         (input_operand): Use alpha_legitimate_constant_p after reload.
2809
2810 2005-01-19  Zdenek Dvorak  <dvorakz@suse.cz>
2811
2812         PR tree-optimization/19038
2813         * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
2814         (add_candidate): Add ivs with increment in latch only if
2815         allow_ip_end_pos_p is true.
2816         (determine_iv_cost): Use empty_block_p.
2817
2818 2005-01-19  Daniel Berlin  <dberlin@dberlin.org>
2819
2820         * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
2821         (compute_dominance_frontiers): Ditto.
2822
2823 2005-01-19  Ralf Corsepius  <ralf.corsepius@rtems.org>
2824
2825         PR target/19529
2826         * config/sh/t-rtems: New.
2827         * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
2828
2829 2005-01-19  Zdenek Dvorak  <dvorakz@suse.cz>
2830
2831         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
2832         the offset of the selected field.
2833
2834 2005-01-19  Kazu Hirata  <kazu@cs.umass.edu>
2835
2836         * tree-cfg.c (remove_forwarder_block): Fix the check to
2837         prevent a nonlocal label from appearing in the middle of a
2838         basic block.
2839
2840 2005-01-19  Hans-Peter Nilsson  <hp@axis.com>
2841
2842         PR rtl-optimization/19462
2843         * reorg.c (find_end_label): Create return insn only if
2844         current_function_epilogue_delay_list is empty.
2845
2846 2005-01-19  Paolo Bonzini  <bonzini@gnu.org>
2847
2848         * doc/passes.texi: Remove paragraph mentioning new-ra.
2849
2850 2005-01-19  Jakub Jelinek  <jakub@redhat.com>
2851
2852         PR rtl-optimization/15139
2853         * combine.c: Include params.h.
2854         (count_rtxs): New function.
2855         (record_value_for_reg): If replace_rtx would replace at least
2856         2 occurrences of REG in VALUE and TEM is really large, replace REG with
2857         (clobber (const_int 0)) instead of TEM.
2858         * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
2859         * params.h (MAX_LAST_VALUE_RTL): New.
2860         * Makefile.in (combine.o): Depend on $(PARAMS_H).
2861         * doc/invoke.texi (--param max-last-value-rtl=N): Document.
2862
2863         PR c/17297
2864         * c-typeck.c (digest_init): Only call build_vector if all constructor
2865         elements are *_CST nodes.
2866         * gimplify.c (gimplify_init_constructor): Likewise.
2867
2868         PR middle-end/19164
2869         * c-typeck.c (digest_init): Only call build_vector if inside_init
2870         is a CONSTRUCTOR.
2871
2872 2005-01-18  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>
2873
2874         * toplev.c (init_asm_output): Remove dead #ifdef.
2875
2876 2005-01-18  Kaz Kojima  <kkojima@gcc.gnu.org>
2877
2878         * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
2879
2880 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
2881
2882         * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
2883         accessing DECL_FUNCTION_CODE.
2884         * dojump.c (do_jump): Likewise.
2885         * gimplify.c (gimplify_call_expr): Likewise.
2886         * predict.c (expr_expected_value): Likewise.
2887         (strip_builtin_expect): Likewise.
2888         * tree-inline.c (estimate_num_insns_1): Likewise.
2889         * tree-ssa-loop-im.c (stmt_cost): Likewise
2890         * fold-const.c (fold): Test for BUILT_IN_NORMAL.
2891         (tree_expr_nonnegative_p): Likewise.
2892
2893 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
2894
2895         * config/sparc/sparc.c (load_pic_register): Emit the appropriate
2896         variant of the load_pcrel_sym pattern.
2897         * config/sparc/sparc.md (P macro): Move to the top.
2898         (load_pcrel_sym): Macroize using P.
2899         (save_register_window): Likewise.
2900
2901 2005-01-18  Aldy Hernandez  <aldyh@redhat.com>
2902
2903         * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
2904         ("sordered"): Same.
2905
2906 2005-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
2907
2908         PR C/19472
2909         * c-typeck.c (build_asm_expr): Strip nops off
2910         input memory operands.
2911
2912 2005-01-18  David Edelsohn  <edelsohn@gnu.org>
2913
2914         * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
2915         _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
2916         * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
2917         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
2918
2919 2005-01-18  Joel Sherrill <joel.sherrill@oarcorp.com>
2920
2921         PR target/19379
2922         * config/i386/i386.c (override_options): If the 80387 is disabled,
2923         then do not return FP values using FP registers.
2924
2925 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
2926
2927         * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
2928         c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
2929         combine.c, config.gcc, coverage.h, cse.c, cselib.c,
2930         defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
2931         flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
2932         gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
2933         output.h, postreload-gcse.c, postreload.c, recog.c,
2934         resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
2935         targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
2936         tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
2937         tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
2938         tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
2939         tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
2940         tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
2941         unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
2942
2943         * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
2944         config/alpha/alpha.c, config/arm/vfp.md,
2945         config/i386/emmintrin.h, config/i386/i386-modes.def,
2946         config/i386/i386-protos.h, config/i386/i386.h,
2947         config/i386/pmmintrin.h, config/i386/ppro.md,
2948         config/i386/predicates.md, config/i386/xmmintrin.h,
2949         config/i860/i860.c, config/ia64/ia64-modes.def,
2950         config/ia64/ia64-protos.h, config/ia64/ia64.h,
2951         config/ia64/ia64.md, config/ia64/itanium1.md,
2952         config/ia64/itanium2.md, config/ia64/predicates.md,
2953         config/iq2000/iq2000.h, config/mips/linux64.h,
2954         config/rs6000/aix41.h, config/rs6000/aix43.h,
2955         config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
2956         config/rs6000/rs6000.c, config/rs6000/rs6000.h,
2957         config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
2958         config/sparc/linux64.h, config/sparc/litecoff.h,
2959         config/sparc/sp64-elf.h, config/sparc/sparc.c,
2960         config/sparc/sparc.h, config/sparc/sparc.md,
2961         config/sparc/sysv4-only.h: Update copyright.
2962
2963 2005-01-18  Richard Henderson  <rth@redhat.com>
2964
2965         PR target/19496
2966         * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
2967
2968 2005-01-18  Marc Espie  <espie@openbsd.org>
2969         * config/i386/openbsdelf.h: Typo.
2970
2971 2005-01-18  Richard Henderson  <rth@redhat.com>
2972
2973         * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
2974         special case for sse.
2975         * config/i386/predicates.md (sse_comparison_operator): Likewise.
2976
2977 2005-01-18  Dorit Naishlos  <dorit@il.ibm.com>
2978
2979         * tree-inline.c (estimate_num_insns_1): Added cases for
2980         ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
2981
2982 2005-01-18  Eric Botcazou  <ebotcazou@libertysurf.fr>
2983
2984         PR rtl-optimization/19296
2985         * combine.c (simplify_comparison): Rewrite the condition under
2986         which a non-paradoxical SUBREG of a PLUS can be lifted when
2987         compared against a constant.
2988
2989 2005-01-18  Andi Kleen <ak@muc.de>
2990
2991         * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
2992         * c.opt (-Wpointer-sign): Add.
2993         * doc/invoke.texi: (-Wpointer-sign): Add.
2994
2995 2005-01-18  Uros Bizjak  <uros@kss-loka.si>
2996
2997         * config/i386/i386.c (override_options): Revert 2004-11-24 change.
2998         * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
2999         *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
3000         logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
3001         exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
3002         nearbyintsf2): Disable for TARGET_SSE_MATH.  Leave patterns enabled
3003         for TARGET_MIX_SSE_I387.
3004         (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
3005         sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
3006         atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
3007         log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
3008         floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
3009         (TARGET_SSE2 && TARGET_SSE_MATH).  Leave patterns enabled for
3010         TARGET_MIX_SSE_I387.
3011         (atan2sf3, atan2df3, atan2xf3): Remove register constraints
3012         from expander.
3013
3014 2005-01-18  Uros Bizjak  <uros@kss-loka.si>
3015
3016         PR target/19424
3017         * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
3018         Add movaps alternative for xmm reg->reg move.
3019
3020 2005-01-17  Jeff Law  <law@redhat.com>
3021
3022         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
3023         at the end of the main DOM loop rather than just before DOM exits.
3024
3025 2005-01-17  Diego Novillo  <dnovillo@redhat.com>
3026
3027         PR tree-optimization/19121
3028         * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
3029         adding aliases to a name tag, also add them to the pointer's
3030         type tag.
3031         * tree-ssa-copy.c (merge_alias_info): Do not merge flow
3032         sensitive alias info at all.  Only check that the two pointers
3033         have compatible pointed-to sets.
3034         * tree-ssa.c (verify_name_tags): Verify that the alias set of
3035         a pointer's type tag is a superset of the alias set of the
3036         pointer's name tag.
3037
3038 2005-01-17  James E Wilson  <wilson@specifixinc.com>
3039
3040         PR target/19357
3041         * config/ia64/ia64.md (movxf): Handle general register source.  Adjust
3042         comment to document why.
3043
3044 2005-01-17  Richard Henderson  <rth@redhat.com>
3045
3046         * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
3047         sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
3048         sse2_vmsmaxv2df3_finite, sminv2df3_finite,
3049         sse2_vmsminv2df3_finite): New.
3050         (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
3051         sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
3052         Force op1 into register.
3053
3054 2005-01-17  Kelley Cook  <kcook@gcc.gnu.org>
3055
3056         * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
3057         bubblestrap from always rebuilding build directory.
3058
3059 2005-01-17  Ulrich Weigand  <uweigand@de.ibm.com>
3060
3061         * config/s390/s390.md ("*clc"): Remove incorrect '='.
3062         ("*cmpmem_short"): Likewise.
3063
3064 2005-01-17  Steven Bosscher  <stevenb@suse.de>
3065
3066         * basic-block.h: Document BB_* flags.
3067         * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
3068         use an sbitmap instead.
3069         * sched-rgn.c (compute_trg_info): Likewise.
3070
3071 2005-01-17  Richard Sandiford  <rsandifo@redhat.com>
3072
3073         * config.gcc (mips64*-*-linux*): Set the default abi to n32.  Remove
3074         redundant target_cpu_default and extra_parts lines.  Use the default
3075         "from-abi" ISA.
3076         * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
3077         (SUBTARGET_EXTRA_SPECS): Delete.
3078         (DRIVER_SELF_SPECS): Remove architecture lines.  Set the ABI directly.
3079         (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
3080         * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
3081         and "n32" for -mabi=n32.
3082
3083 2005-01-17  Ian Lance Taylor  <ian@airs.com>
3084
3085         PR c/5675
3086         * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
3087         fold constant variables into initial values.
3088
3089 2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
3090
3091         * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
3092
3093         * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
3094         through the statements backward.
3095
3096 2005-01-17  Ian Lance Taylor  <ian@airs.com>
3097
3098         PR middle-end/13127:
3099         * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
3100         a variable set to the return value of the inlined function.
3101
3102 2005-01-17  Mark Dettinger  <dettinge@de.ibm.com>
3103
3104         * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
3105         when modes are tieable.
3106
3107 2005-01-17  Ranjit Mathew  <rmathew@hotmail.com>
3108
3109         * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
3110         of pthread_create to find out if threads are enabled.
3111         * gthr-posix95.h (__gthread_active_p): Likewise.
3112
3113 2005-01-17  Paolo Bonzini  <bonzini@gnu.org>
3114
3115         * common.opt (-fnew-ra): Remove.
3116         * ra*.*: Remove.
3117         * toplev.h (flag_new_regalloc): Remove.
3118         * Makefile.in (ra*.*): Don't mention.
3119         * passes.c (rest_of_handle_new_regalloc): Remove.
3120         (rest_of_handle_combine, rest_of_compilation): Always consider
3121         flag_new_regalloc as false.
3122         * doc/invoke.texi: Don't document -fnew-ra.
3123
3124 2005-01-17  Paolo Bonzini <bonzini@gnu.org>
3125
3126         * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
3127         last parameter to reg_scan.
3128         * loop.c (loop_optimize): Likewise.
3129         * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
3130         rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
3131         rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
3132         rest_of_handle_gcse, rest_of_handle_loop_optimize,
3133         rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
3134         * regclass.c (reg_scan): Likewise, for the declaration.
3135         * rtl.h (reg_scan): Likewise, for the prototype.
3136
3137 2005-01-17  Kazu Hirata  <kazu@cs.umass.edu>
3138
3139         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
3140         mark_dfs_back_edges.
3141
3142 2005-01-16  Daniel Berlin  <dberlin@dberlin.org>
3143
3144         * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
3145         (compute_avail): Uses don't go in tmp_gen.
3146
3147 2005-01-16  Steven Bosscher  <stevenb@suse.de>
3148
3149         * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
3150         loop to look for a free slot in a page entry.
3151
3152 2005-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3153
3154         PR target/16304
3155         * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
3156         * toplev.c (compile_file): Call process_pending_assemble_output_defs
3157         just before targetm.asm_out.file_end.
3158         * tree.h (process_pending_assemble_output_defs): Declare.
3159         * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
3160         New functions.
3161         (assemble_alias): Defer generation of assembly code for defines when
3162         TARGET_DEFERRED_OUTPUT_DEFS is true.
3163         * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
3164         * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
3165         * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
3166
3167 2005-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3168
3169         PR target/19336
3170         * pa.c (pa_scalar_mode_supported_p): New function.
3171         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
3172         * pa.h (MIN_UNITS_PER_WORD): Add comment.
3173
3174         * pa-protos.h (prefetch_operand): Delete.
3175         (prefetch_cc_operand, prefetch_nocc_operand): New declations.
3176         * pa.c (prefetch_operand): Delete.
3177         (prefetch_cc_operand, prefetch_nocc_operand): New functions.
3178         * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
3179         (PREDICATE_CODES): Delete prefetch_operand.  Add prefetch_cc_operand
3180         and prefetch_nocc_operand.
3181         * pa.md (prefetch): Rework to avoid reload problems handling short
3182         displacements when a cache control completer needs to be provided.
3183         (prefetch_32, prefetch_64): Delete.
3184         (prefetch_cc, prefetch_nocc): New patterns.
3185
3186 2005-01-15  David Edelsohn  <edelsohn@gnu.org>
3187
3188         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
3189
3190 2005-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3191
3192         PR ada/19388
3193         * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
3194         exceeds maximum alignment for global common data.
3195         * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
3196         * som.h (MAX_OFILE_ALIGNMENT): Likewise.
3197
3198 2004-01-15  Roger Sayle  <roger@eyesopen.com>
3199
3200         * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
3201
3202 2004-01-15  Roger Sayle  <roger@eyesopen.com>
3203
3204         * harg-reg-set.h (reg_class_names): Prototype global array.
3205         * regclass.c (reg_class_names): Declare here and initialize to
3206         REG_CLASS_NAMES.
3207         (dump_regclass): Remove local declaration of reg_class_names.
3208         (regclass): Likewise.
3209         * cfg.c (dump_flow_info): Likewise.
3210         * ra-debug.c (reg_class_names): Likewise.
3211         * regrename.c (reg_class_names): Likewise.
3212         * reload.c (reg_class_names): Likewise.
3213         * reload1.c (spill_failure): Likewise.
3214         * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
3215
3216 2005-01-15  Ulrich Weigand  <uweigand@de.ibm.com>
3217
3218         * config/s390/s390.md ("reload_outti"): Remove predicate for
3219         output operand.  Abort if operand is not a MEM.
3220         ("reload_outdi", "reload_outdf"): Likewise.
3221
3222 2005-01-15  Marc Espie  <espie@openbsd.org>
3223
3224         * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
3225         (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
3226         * config/openbsd.h:  Fix C++ includes for native configurations.
3227         Add proper OS_CPP_BUILTINS.  Fix libspec for recent OpenBSD.
3228         Add trampoline support.
3229         * config/i386/openbsdelf.h: New.
3230
3231 2005-01-15  Marc Espie  <espie@openbsd.org>
3232
3233         * collect2.c (main): Explicitly parse -dynamic-linker option.
3234
3235 2005-01-15  Jakub Jelinek  <jakub@redhat.com>
3236
3237         PR tree-optimization/19060
3238         * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
3239         Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
3240         (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
3241         and handle extract_range_from_cond returning false.
3242         * fold-const.c (fold): Optimize comparisons with min/max even for
3243         width > HOST_BITS_PER_WIDE_INT.
3244
3245 2005-01-15  Ralf Corsepius  <ralf.corsepius@rtems.org>
3246
3247         * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
3248         * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS):
3249         Remove little endian multilib variants.
3250         Add mips32 multilib variant.
3251
3252 2005-01-15  Kazu Hirata  <kazu@cs.umass.edu>
3253
3254         * explow.c (copy_all_reg, stabilize): Remove.
3255         * expr.h: Remove the corresponding prototypes.
3256
3257         * rtlanal.c (regs_set_between_p): Remove.
3258         * rtl.h: Remove the corresponding prototype.
3259
3260 2005-01-14  David Edelsohn  <edelsohn@gnu.org>
3261
3262         * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
3263         to rs6000_nonimmediate_operand.
3264         * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
3265         rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
3266         * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
3267         rs6000_nonimmediate_operand.
3268         * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
3269         rs6000_nonimmediate_operand.
3270
3271 2005-01-14  Andrew Pinski  <pinskia@physics.uc.edu>
3272
3273         * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
3274
3275 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3276
3277         * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
3278         on e500v2.
3279         (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
3280         (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
3281
3282         * config/rs6000/rs6000.c (invalid_e500_subreg): New.
3283         (rs6k_nonimmediate_operand): New.
3284         (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
3285         correctly.
3286         (legitimate_lo_sum_address_p): Same.
3287         (rs6000_legitimize_address): Same.
3288         (rs6000_legitimize_reload_address): Same.
3289         (rs6000_legitimate_address): Same.
3290         (spe_build_register_parallel): Pass DF and DC modes in a DI
3291         register.
3292
3293         * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
3294         to rs6k_nonimmediate_operand.
3295
3296         * config/rs6000/spe.md ("*frob_df_di"): New.
3297         ("*frob_di_df"): New.
3298         ("*frob_di_df_2"): New.
3299         ("*mov_sidf_e500_subreg0"): New.
3300         ("*mov_sidf_e500_subreg4"): New.
3301         ("*movdf_e500_double"): Change predicate to
3302         rs6k_nonimmediate_operand.
3303
3304 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3305
3306         * postreload.c (move2add_note_store): Only call
3307         trunc_int_for_mode on scalar integers.
3308
3309 2005-01-14  Steven Bosscher  <stevenb@suse.de>
3310
3311         * tree-ssa-dce.c (visited_control_parents): New sbitmap to
3312         replace BB_VISITED uses.
3313         (find_obviously_necessary_stmts): Don't clear BB_VISITED.
3314         (propagate_necessity): Check the bitmap instead of BB_VISITED.
3315         (tree_dce_done): Free visited_control_parents.
3316         (perform_tree_ssa_dce): Allocate and clear it.
3317         * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
3318         (compute_antic): Iterate from here using a DFS.  Use an sbitmap
3319         instead of BB_VISITED.
3320
3321 2005-01-14  Kazu Hirata  <kazu@cs.umass.edu>
3322
3323         * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
3324         rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
3325         Remove unused prototypes.
3326
3327 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3328
3329         * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
3330         64-bit register usage.
3331         (spe_func_has_64bit_regs_p): Add FIXME note.
3332
3333 2005-01-14  Aldy Hernandez  <aldyh@redhat.com>
3334
3335         * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
3336         flag_finite_math_only with flag_unsafe_math_optimizations.
3337
3338 2005-01-14  J. D. Johnston  <jjohnst@us.ibm.com>
3339
3340         * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
3341         end-of-stack check.
3342         (__tpf_eh_return): Copy TPF private stack area from the module
3343         boundary stack frame.  Add check for when module addresses are
3344         equal, but no stub address is found.
3345
3346 2005-01-14  Richard Earnshaw  <rearnsha@arm.com>
3347
3348         PR target/7525
3349         * arm.h (struct machine_function): Add call_via field.
3350         (thumb_call_via_label): Declare.
3351         * arm.c (thumb_call_via_label): New variable.
3352         (thumb_call_reg_needed): New variable.
3353         (arm_output_function_epilogue): For Thumb code, output any per-function
3354         call-indirect trampolines.
3355         (thumb_call_via_reg): New function.
3356         (arm_file_end): New function.
3357         (TARGET_ASM_FILE_END): Call arm_file_end.
3358         (aof_file_end): Likewise.
3359         * arm-protos.h (thumb_call_via_reg): Declare.
3360         * arm.md (call_reg_thumb, call_value_reg_thumb): Call
3361         thumb_call_via_reg in normal case.
3362
3363 2005-01-14  Jakub Jelinek  <jakub@redhat.com>
3364
3365         PR middle-end/19084
3366         PR rtl-optimization/19348
3367         * recog.c (peephole2_optimize): Do global life update if some peephole
3368         decides it doesn't need at least one of its inputs and that change
3369         influences liveness at the start of the basic block.
3370
3371         * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
3372         arguments instead of 1.
3373
3374 2005-01-14  Eric Botcazou  <ebotcazou@libertysurf.fr>
3375
3376         PR middle-end/18820
3377         * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
3378         zero for nested functions needing a static chain or functions
3379         with a non-constant address.
3380
3381 2005-01-13  Roger Sayle  <roger@eyesopen.com>
3382
3383         * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
3384         (and (sign_extend X) C) into (zero_extend (and X C)).
3385
3386 2005-01-13  David O'Brien  <obrien@FreeBSD.org>
3387
3388         * config/freebsd-spec.h:  Make KSE pthread lib logic the default.
3389
3390 2005-01-13  Richard Henderson  <rth@redhat.com>
3391
3392         PR target/19009
3393         PR target/19250
3394         PR target/19252
3395         * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
3396         bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
3397         not just TARGET_SSE.
3398         (cmpfp_i_387): Rename from cmpfp_i.  Move after sse patterns.
3399         (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
3400         (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
3401         (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
3402         (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
3403         (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
3404         (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
3405         fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
3406         (movdicc_c_rex64): Rename with '*'.
3407         (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
3408         (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
3409         (movsfcc_1_387): Rename from movsfcc_1.
3410         (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
3411         (movdfcc_1, movdfcc_1_rex64): Add check for 387.
3412         (sminsf3, smaxsf3, smindf3, smaxdf3): New.
3413         (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
3414         mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
3415         maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
3416         sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
3417         sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
3418         sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
3419         sse_movdfcc_const0_4): Remove.
3420         * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
3421         recognize min/max early.  Update for changed sse cmove patterns.
3422         (ix86_split_sse_movcc): New.
3423         * config/i386/i386-protos.h: Update.
3424
3425 2005-01-13  Steven Bosscher  <stevenb@suse.de>
3426
3427         * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
3428         (fix_stmt_v_may_defs): Likewise.
3429
3430 2005-01-13  Richard Henderson  <rth@redhat.com>
3431
3432         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
3433         for converting the mask.
3434
3435 2005-01-13  David Edelsohn  <edelsohn@gnu.org>
3436
3437         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
3438         definition to 600.
3439
3440 2005-01-13  Richard Henderson  <rth@redhat.com>
3441
3442         * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
3443         IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
3444         IX86_BUILTIN_MOVDQ2Q): Remove.
3445         (IX86_BUILTIN_VEC_EXT_V4SI): New.
3446         (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
3447         (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
3448         shuffling.
3449         * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
3450         (sse2_pextrw): Fix immediate constraint.
3451         (sse2_loadq, sse2_loadq_rex64): Remove.
3452         * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
3453         Use __builtin_ia32_vec_ext_<size>.
3454         (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
3455
3456 2005-01-13  Aldy Hernandez  <aldyh@redhat.com>
3457
3458         * function.c (assign_parm_setup_block): Look inside original
3459         entry_parm when inspecting PARALLEL.
3460
3461 2005-01-13  Ralf Corsepius  <ralf.corsepius@rtems.org>
3462             Joel Sherrill  <joel@oarcorp.com>
3463
3464         PR target/19399
3465         * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
3466         (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
3467         rtems_gxx_recursive_mutex_init.
3468         (__gthread_recursive_mutex_lock): New function.
3469         (__gthread_recursive_mutex_trylock): Likewise.
3470         (__gthread_recursive_mutex_unlock): Likewise.
3471
3472 2005-01-13  Ralf Corsepius <ralf.corsepius@rtems.org>
3473
3474         * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
3475
3476 2005-01-13  Jan Beulich  <jbeulich@novell.com>
3477
3478         * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
3479         (ashrti3_internal): Indicate output is early clobber. Generate result
3480         into output rather than first input. Use move for low word of output
3481         if shift count is exactly 64.
3482         (lshrti3_internal): Likewise.
3483
3484 2005-01-13  Hans-Peter Nilsson  <hp@bitrange.com>
3485
3486         PR target/18329
3487         PR target/18330
3488         * reload1.c (delete_output_reload): Don't delete an output reload
3489         if the pseudo lives longer than a single basic block.  Adjust and
3490         improve wording of comment.
3491
3492 2005-01-12  Andrew Pinski  <pinskia@physics.uc.edu>
3493
3494         PR target/19334
3495         * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
3496         of TYPE_SIZE where we mean the number of bytes.
3497
3498 2005-01-12  Aldy Hernandez  <aldyh@redhat.com>
3499
3500         * function.c (assign_parm_setup_block): Relax condition on
3501         multi-register optimization.
3502
3503 2005-01-12  Nick Clifton  <nickc@redhat.com>
3504
3505         * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
3506         an "in_delay_slot" attribute of "no" to prevent them being used in
3507         delay slots.  This is forbidden because they might generate
3508         exceptions.
3509
3510 2005-01-12  Alan Modra  <amodra@bigpond.net.au>
3511
3512         PR target/19389
3513         * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
3514         with r->Y and Y->r.
3515
3516 2005-01-12  Nick Clifton  <nickc@redhat.com>
3517
3518         * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
3519         passed on to GAS) but do not define, as GAS no longer supports or
3520         needs the -m2000 option.
3521
3522 2005-01-11  Roger Sayle  <roger@eyesopen.com>
3523
3524         * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
3525         type as args of unprototyped builtins aren't automatically promoted.
3526         (fold_builtin_abs): Likewise.
3527
3528 2005-01-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3529
3530         * Makefile.in: Set a `build-warn' variable.
3531
3532 2005-01-11  Zdenek Dvorak  <dvorakz@suse.cz>
3533
3534         PR tree-optimization/17949
3535         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
3536         (find_interesting_uses_address): Use it.
3537
3538 2005-01-11  Aldy Hernandez  <aldyh@redhat.com>
3539
3540         * regrename.c (kill_value): Handle subreg's that won't simplify.
3541
3542 2005-01-11  Richard Henderson  <rth@redhat.com>
3543
3544         PR target/13366
3545         * config/i386/i386.h (enum ix86_builtins): Move ...
3546         * config/i386/i386.c: ... here.
3547         (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
3548         IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
3549         IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
3550         IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
3551         IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD,  IX86_BUILTIN_STOREHPD,
3552         IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
3553         IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
3554         IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
3555         IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
3556         IX86_BUILTIN_LOADDDUP): Remove.
3557         (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
3558         IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
3559         IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
3560         IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
3561         IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
3562         (ix86_init_builtins): Make static.
3563         (ix86_init_mmx_sse_builtins): Update for changed builtins.
3564         (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
3565         if all the modes match.  Otherwise, fake it.
3566         (get_element_number, ix86_expand_vec_init_builtin,
3567         ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
3568         (ix86_expand_builtin): Make static.  Update for changed builtins.
3569         (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
3570         operand instead of sse2_loadsd.  Cast sse1 fallback to V4SFmode.
3571         (ix86_expand_vector_init_duplicate): New.
3572         (ix86_expand_vector_init_low_nonzero): New.
3573         (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
3574         Split out from ix86_expand_vector_init; handle integer modes.
3575         (ix86_expand_vector_init): Use them.
3576         (ix86_expand_vector_set, ix86_expand_vector_extract): New.
3577         * config/i386/i386-protos.h: Update.
3578         * config/i386/predicates.md (reg_or_0_operand): New.
3579         * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
3580         (movv2sf_internal): Likewise.  And a splitter to match them all.
3581         (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
3582         vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
3583         vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
3584         vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
3585         (mmx_pinsrw): Fix operand ordering.
3586         * config/i386/sse.md (movv4sf splitter): Use direct pattern,
3587         rather than sse_loadss expander.
3588         (movv2df splitter): Similarly.
3589         (sse_loadss, sse_loadlss): Remove.
3590         (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
3591         (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
3592         (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
3593         (sse3_movddup): Rename with '*'.
3594         (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
3595         (sse2_loadsd): Remove.
3596         (vec_dupv2df_sse3): Rename from sse3_loadddup.
3597         (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
3598         (sse2_pinsrw): Fix argument ordering.
3599         (sse2_loadld, sse2_loadq): Add sse1 alternatives.
3600         (sse2_stored): Remove 'r' destination.
3601         (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
3602         vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
3603         vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
3604         vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
3605         vec_extractv16qi, vec_initv16qi): New.
3606
3607         * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
3608         (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
3609         _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
3610         constructor form.
3611         (_mm_load_pd, _mm_store_pd): Use plain dereference.
3612         (_mm_load_si128, _mm_store_si128): Likewise.
3613         (_mm_load1_pd): Use _mm_set1_pd.
3614         (_mm_load_sd): Use _mm_set_sd.
3615         (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
3616         (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
3617         (_mm_set_epi64): Use _mm_set_epi64x.
3618         (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
3619         _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
3620         _mm_setr_epi8): Use _mm_set_foo form.
3621         (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
3622         (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
3623         (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
3624         (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
3625         * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
3626         (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
3627         (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
3628         (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
3629         (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
3630         * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
3631         (_mm_movedup_pd): Use _mm_shuffle_pd.
3632         * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
3633         _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
3634         (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
3635         _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
3636         Use _mm_setzero_ps.
3637         (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
3638         (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
3639         (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
3640         (_mm_store_ps): Use raw dereference.
3641         (_mm_store1_ps): Use _mm_storeu_ps.
3642         (_mm_storer_ps): Use _mm_store_ps.
3643         (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
3644         (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
3645
3646 2005-01-11  Stan Shebs  <shebs@apple.com>
3647
3648         * config/rs6000/rs6000.c (machopic_output_stub): Issue
3649         ldu instead of lwzu if 64-bit -mdynamic-no-pic.
3650
3651 2005-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
3652
3653         PR target/18761
3654         * config/rs6000/rs6000.c (rs6000_special_round_type_align):
3655         Skip all DECLs except for FIELD_DECLs.
3656
3657 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
3658
3659         * config/s390/s390.c (override_options): Return error if
3660         -mbackchain, -mpacked-stack and -mhard-float are used together.
3661         (s390_va_start): Remove the backchain && packed-stack special case.
3662         (s390_gimplify_va_arg): Likewise.
3663         * doc/invoke.texi: Remove the ABI incompatibility note.
3664
3665 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
3666
3667         * config/s390/s390.c (struct s390_frame_layout): Remove
3668         save_backchain_p.
3669         (s390_frame_info, s390_emit_prologue): Replace occurrences of
3670         save_backchain_p with TARGET_BACKCHAIN.
3671
3672 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
3673
3674         PR target/18916
3675         * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
3676         * expr.h (struct locate_and_pad_arg_data): Add "boundary".
3677         * function.c (locate_and_pad_parm): Set new field.
3678         (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
3679         Tweak where_pad test to include "none".  Always set mem align for
3680         stack_parm.
3681         (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
3682         not sufficient for type.
3683         (assign_parm_setup_block): If stack_parm is zero on entry, always
3684         make a new stack local.  Block move old stack parm if necessary
3685         to new aligned stack local.
3686         (assign_parm_setup_stack): Use a block move to handle
3687         potentially misaligned entry_parm.
3688         (assign_parms_unsplit_complex): Specify required alignment when
3689         creating stack local.
3690         * calls.c (compute_argument_addresses): Override alignment of stack
3691         arg calculated from its type with the alignment given by
3692         FUNCTION_ARG_BOUNDARY.
3693         (store_one_arg): Likewise.
3694
3695 2005-01-11  Jan Beulich  <jbeulich@novell.com>
3696
3697         * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
3698         Change respective itanium_class attribute to ialu.
3699         (shladdp4_internal): New.
3700         * config/ia64/predicates.md (shladd_log2_operand): New.
3701
3702 2005-01-11  Richard Henderson  <rth@redhat.com>
3703
3704         * expr.c (store_constructor): Use rtvec_alloc instead of
3705         alloca+gen_rtvec_v, and an incorrect number passed to alloca.
3706
3707 2005-01-11  Kazu Hirata  <kazu@cs.umass.edu>
3708
3709         * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
3710
3711 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
3712
3713         * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
3714         * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
3715         (TARGET_RWRELOC): Define.
3716         (ia64_rwreloc_section_type_flags): Delete.
3717         (ia64_section_type_flags): New function.
3718         * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
3719         (TARGET_RWRELOC): Define.
3720
3721 2005-01-10  David Mosberger  <davidm@hpl.hp.com>
3722
3723         PR target/18987
3724         * config/ia64/ia64.c (process_set): For alloc insn, only call
3725         process_epilogue is !frame_pointer_needed.
3726
3727 2005-01-10  Roger Sayle  <roger@eyesopen.com>
3728
3729         PR c++/19355
3730         * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
3731         unary operator and can't be treated as a binary/comparison operator.
3732
3733 2005-01-10  Richard Henderson  <rth@redhat.com>
3734
3735         * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
3736         (ix86_return_in_memory): Likewise.
3737         (function_arg_advance):  Likewise.  Mirror structure in function_arg
3738         for choosing register to advance.
3739
3740 2005-01-10  Kazu Hirata  <kazu@cs.umass.edu>
3741
3742         * tree-vectorizer.c, tree.def: Fix comment typos.
3743
3744 2005-01-10  Mark Dettinger  <dettinge@de.ibm.com>
3745
3746         * config/s390/s390.c (struct processor_costs): 4 new fields:
3747         ddbr, ddr, debr, der.
3748         (s390_rtx_costs): More precise handling of divide instructions.
3749
3750 2005-01-10  David Edelsohn  <edelsohn@gnu.org>
3751
3752         * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
3753
3754 2005-01-10  Jan Beulich  <jbeulich@novell.com>
3755
3756         * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
3757         names resulting from -ffunction-sections/-fdata-sections and linkonce
3758         ones.
3759         * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
3760         based on the section name. Rearrange the section name comparison logic
3761         slightly so that each section name is compared against at most once.
3762
3763 2005-01-10  Ben Elliston  <bje@au.ibm.com>
3764
3765         * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
3766         targets for which -fPIC reduces limitations on the GOT size.
3767
3768 2005-01-09  Falk Hueffner  <falk@debian.org>
3769
3770         * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
3771         X/C1 cmpop C2.
3772
3773 2005-01-09  David Edelsohn  <edelsohn@gnu.org>
3774
3775         PR target/18720
3776         * collect2.c (main): Set aixrtl_flag for -brtl option.
3777         (resolve_lib_name): Search for .so file extension before .a
3778         if aixrtl_flag set.
3779
3780 2005-01-09  Dorit Naishlos  <dorit@il.ibm.com>
3781
3782         * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
3783         (vect_analyze_data_refs_alignment): Add dump prints.
3784
3785 2005-01-09  Ira Rosen  <irar@il.ibm.com>
3786
3787         * tree-vectorizer.c (vect_analyze_offset_expr): Use
3788         expr_invariant_in_loop_p.
3789         Initialize outputs first thing in the function.
3790         (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
3791         (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
3792         (vect_analyze_pointer_ref_access): Check that the initial condition of
3793         the access function is loop invariant.
3794
3795 2005-01-09  Richard Henderson  <rth@redhat.com>
3796
3797         * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
3798         (ix86_expand_builtin): Likewise.  Frob MASKMOVQ wrt the input mem
3799         just like MASKMOVDQU.  Return plain zero for MMX_ZERO.
3800         * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
3801         mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
3802         movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
3803         movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
3804         sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
3805         ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
3806         mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
3807         mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
3808         sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
3809         mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
3810         mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
3811         gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
3812         ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
3813         mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
3814         mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
3815         mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
3816         eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
3817         pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
3818         pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
3819         pswapdv2sf2): Move to mmx.md; rename as necessary with leading
3820         mmx_ prefix.
3821         (mmx_clrdi, pavgusb): Remove.
3822         (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
3823         with leading sse_ prefix.
3824         * config/i386/sse.md: Receive them.
3825         * config/i386/mmx.md: New file.
3826         (MMXMODE12, MMXMODE24, mmxvecsize): New.
3827         (subrv2sf3): Turn into expander for normal subtraction.
3828         (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
3829         mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
3830         mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
3831         mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
3832         commutative; use ix86_binary_operator_ok.
3833         (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
3834         mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
3835         mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
3836         mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
3837         mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
3838         Macroize from existing patterns; use ix86_binary_operator_ok.
3839         (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
3840         (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
3841         mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise.  Model
3842         with vec_select+vec_concat.
3843         (mmx_pshufw, mmx_pshufw_1): Likewise.
3844         (mmx_uavgv8qi3): Merge pavgusb.  Model correcty.
3845         (mmx_uavgv4hi3): Model correctly.
3846         * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
3847         _mm_xor_si64): Remove casts.
3848
3849 2005-01-09  Zdenek Dvorak  <dvorakz@suse.cz>
3850
3851         PR tree-optimization/19224
3852         * tree-scalar-evolution.c (get_instantiated_value,
3853         set_instantiated_value): New functions.
3854         (instantiate_parameters_1): Cache the results.
3855         (instantiate_parameters, resolve_mixers): Initialize and free
3856         the cache.
3857
3858 2005-01-08  David Edelsohn  <edelsohn@gnu.org>
3859
3860         * config/i386/i386.md (addhi_4): Correct reference in comment.
3861         (addqi_4): Same.
3862
3863 2005-01-08  Richard Henderson  <rth@redhat.com>
3864
3865         * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
3866         (_mm_cvtsi128_si64x): Likewise.
3867         (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
3868         _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
3869         the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
3870         * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
3871         * config/i386/i386-protos.h: Update.
3872         * config/i386/i386.c (print_operand): Add 'H'.
3873         (ix86_fixup_binary_operands): Split out from ...
3874         (ix86_expand_binary_operator): ... here.
3875         (ix86_fixup_binary_operands_no_copy): New.
3876         (ix86_expand_fp_absneg_operator): Handle vector mode results.
3877         (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
3878         (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
3879         (safe_vector_operand): Use CONST0_RTX.
3880         (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
3881         (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
3882         CODE_FOR_sse2_maskmovdqu.  Special case SSE version of MASKMOVDQU
3883         expansion.  Update names for sse{,2,3}_ prefixes.  Remove *maskncmp*
3884         special cases.
3885         * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
3886         (IX86_BUILTIN_CMPNGESS): New.
3887         * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
3888         (attr type): Add sselog1.
3889         (attr unit, attr memory): Handle it.
3890         (movti, movti_internal, movti_rex64): Move near other integer moves.
3891         (movtf, movtf_internal): Move near other fp moves.
3892         (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
3893         vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
3894         movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
3895         movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
3896         sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
3897         sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
3898         sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
3899         mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
3900         rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
3901         sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
3902         sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
3903         sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
3904         vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
3905         smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
3906         cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
3907         cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
3908         vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
3909         vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
3910         sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
3911         sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
3912         cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
3913         cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
3914         cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
3915         cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
3916         ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
3917         subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
3918         smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
3919         sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
3920         sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
3921         sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
3922         gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
3923         ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
3924         ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
3925         sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
3926         sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
3927         sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
3928         sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
3929         sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
3930         sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
3931         sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
3932         mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
3933         addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
3934         movsldup, lddqu, loadddup, movddup): Move to sse.md.  Any with
3935         non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
3936         same time.
3937         (SSEPUSH, push<SSEPUSH>): Remove.
3938         (MMXPUSH, push<MMXPUSH>): Remove.
3939         (sse_movaps, sse_movaps_1, sse_movups): Remove.
3940         (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
3941         (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
3942         (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
3943         (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
3944         (maskncmpv2df3, vmmaskncmpv2df3): Remove.
3945         (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
3946         (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
3947         * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
3948         (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
3949         * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
3950         (ppro_sse_log_V4SF_load): Similarly.  Handle sselog1.
3951         (ppro_sse_log_V4SF): Handle sselog1.
3952         * config/i386/predicates.md (const_0_to_1_operand): New.
3953         (const_0_to_255_mul_8_operand): New.
3954         (const_1_to_31_operand): Rename from const_int_1_31_operand.
3955         (const_2_to_3_operand, const_4_to_7_operand): New.
3956         * config/i386/sse.md: New file.
3957         (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
3958         (sse_movups): Rename from sse_movups_1.
3959         (sse_loadlss): Rename from sse_loadss_1.
3960         (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
3961         from the name.
3962         (negv4sf2): Use ix86_expand_fp_absneg_operator.
3963         (absv4sf2, negv2df, absv2df): New.
3964         (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
3965         (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
3966         iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
3967         smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
3968         umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
3969         (sse3_addsubv4sf3): Model correctly.
3970         sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
3971         sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
3972         (sse_movhlps): Model with vec_select+vec_concat.
3973         (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
3974         sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
3975         sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
3976         sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
3977         sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
3978         sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
3979         sse2_pshufhw_1): Likewise.
3980         (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
3981         (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
3982         sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
3983         ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
3984         sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
3985         ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
3986         (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
3987         sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
3988         mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
3989         sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
3990         sminv8hi3): Mark commutative
3991         operands.  Use ix86_binary_operator_ok.
3992         (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
3993         sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
3994         sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
3995         sse2_punpcklqdq): Allow operand2 in memory.
3996         (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
3997         sse2_movsd): Add memory alternatives.
3998         (sse_storelps): Turn expander into an insn; split after reload.
3999         (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
4000         (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
4001
4002 2005-01-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
4003
4004         * configure.ac (DWARF-2 debug_line): Use objdump.
4005         * configure: Regenerate.
4006
4007 2005-01-08  Jeff Law  <law@redhat.com>
4008             Diego Novillo  <dnovillo@redhat.com>
4009
4010         PR tree-optimization/18241
4011         * tree-nrv.c (tree_nrv): Ignore volatile return values.
4012         * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
4013         statements with volatile operands.
4014         * tree-ssa-operands.c (add_stmt_operand): Do add volatile
4015         operands after marking a statement with has_volatile_ops.
4016
4017 2005-01-08  Roger Sayle  <roger@eyesopen.com>
4018
4019         * tree.c (int_fits_type_p): Always honor integer constant
4020         TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
4021
4022 2005-01-08  Roger Sayle  <roger@eyesopen.com>
4023
4024         * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
4025         the latent bug in rtl_delete_block has been resolved.
4026
4027 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
4028
4029         * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
4030         (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
4031
4032 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
4033
4034         * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
4035         library as @multilib_dir@/$(SHLIB_SONAME).
4036
4037 2005-01-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
4038
4039         * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
4040         * configure: Regenerate.
4041
4042 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
4043
4044         * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
4045         TYPE_MODE.
4046
4047 2005-01-07  David Edelsohn  <edelsohn@gnu.org>
4048
4049         PR target/13674
4050         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
4051         Convert non-word aligned offset address using ld/std into
4052         indirect address.
4053
4054 2005-01-07  Richard Henderson  <rth@redhat.com>
4055
4056         * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
4057
4058 2005-01-07  Richard SAndiford  <rsandifo@redhat.com>
4059
4060         * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
4061
4062 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
4063
4064         PR tree-optimization/19283
4065         * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
4066         is not shorter than the original type.
4067
4068         PR rtl-optimization/19012
4069         * config/i386/i386.md (addqi_1_slp): Set memory attribute.
4070
4071         PR rtl-optimization/18861
4072         * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
4073         (FULL_STATE): Define.
4074         (mark_tablejump_edge): New function.
4075         (purge_dead_tablejump_edges): New function.
4076         (find_bb_boundaries): Use it.
4077
4078         PR tree-optimization/18828
4079         * builtins.c (expand_builtin_next_arg): Remove argument and all
4080         the argument checking.
4081         (expand_builtin): Adjust caller.
4082         (expand_builtin_va_start): Likewise.  Remove error for too many
4083         arguments.
4084         (fold_builtin_next_arg): Issue error for too many arguments.
4085         After checking arguments, replace them with magic arguments that
4086         prevent further checking of the args.
4087
4088 2005-01-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4089
4090         * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
4091
4092 2005-01-06  Roger Sayle  <roger@eyesopen.com>
4093
4094         PR target/6077
4095         * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
4096         and %{.S:...} (and their negative variants) to test whether the
4097         input file is assembler or pre-processed-assembler independent of
4098         the actual filename extension.
4099
4100 2005-01-06  Roger Sayle  <roger@eyesopen.com>
4101
4102         * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
4103         of sign or zero extended values.
4104
4105 2005-01-06  Geoffrey Keating  <geoffk@apple.com>
4106
4107         * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
4108         for IBM long double format correctly.
4109
4110 2005-01-06  Daniel Berlin <dberlin@dberlin.org>
4111
4112         Fix PR tree-optimization/18792
4113
4114         * tree-data-ref.c (build_classic_dist_vector): Change first_loop
4115         to first_loop_depth, and use loop depth instead of loop number.
4116         (build_classic_dir_vector): Ditto.
4117         (compute_data_dependences_for_loop): Use depth, not loop number.
4118         * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
4119         number. Pass in loops, instead of loop numbers.
4120         (gather_interchange_stats): Ditto.
4121         (linear_transform_loops): Ditto.
4122
4123 2005-01-06  Richard Sandiford  <rsandifo@redhat.com>
4124
4125         PR rtl-opt/13299
4126         * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
4127         biv_fits_mode_p, extension_within_bounds_p): New functions.
4128         (check_ext_dependent_givs): Use them.
4129
4130 2005-01-06  Roger Sayle  <roger@eyesopen.com>
4131
4132         * cfgrtl.c (rtl_delete_block): A basic block may be followed by
4133         more than one barrier, in which case we should delete them all.
4134
4135 2005-01-06  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
4136
4137         * gcc.c (process_command): Change year in 'gcc --version' to 2005.
4138
4139 2005-01-05  Daniel Berlin  <dberlin@dberlin.org>
4140
4141         Fix PR middle-end/19286
4142         Fix PR debug/19267
4143         * dwarf2out.c (gen_subprogram_die): If we've already tried to
4144         output this subprogram, simply ignore this attempt to do it again.
4145         (add_abstract_origin_attribute): Don't abort trying to add the abstract
4146         origin attribute if it's not possible.
4147         (gen_block_die): Don't ignore subblocks of "unused" blocks.
4148         (decls_for_scope): Ditto.
4149         * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
4150         (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
4151
4152 2005-01-05  Richard Henderson  <rth@redhat.com>
4153
4154         PR target/11327
4155         * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
4156         (bdesc_2arg): Use it.
4157         (ix86_expand_binop_builtin): Force operands into registers
4158         when optimizing.
4159         (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
4160         ix86_expand_sse_compare, ix86_expand_sse_comi,
4161         ix86_expand_builtin): Likewise.
4162
4163 2005-01-05  Richard Henderson  <rth@redhat.com>
4164
4165         * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
4166         and VEC_SELECT.
4167         * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
4168         (mulv4hi3): Set itanium_class mmmul.
4169         (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
4170         (fpack): Rename from fpack_sfsf.
4171
4172 2005-01-05  Richard Henderson  <rth@redhat.com>
4173
4174         PR rtl-opt/10692
4175         * reload1.c (do_input_reload): Restrict the optimization deleteing
4176         a previous output reload to RELOAD_FOR_INPUT.
4177
4178 2005-01-05  Steven Bosscher  <stevenb@suse.de>
4179
4180         * combine.c (expand_compound_operation)  <ZERO_EXTRACT>: Add
4181         comment that we fall through after case.
4182         (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
4183         (distribute_links): Likewise.
4184         * cse.c (cse_insn): Likewise.
4185         * cselib.c (cselib_invalidate_mem): Likewise.
4186         * df.c: Update comments at the top of the file.
4187         (read_modify_subreg_p): Update comments here too.
4188         (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
4189         * flow.c (mark_set_1): Likewise.
4190         (mark_used_regs): Likewise.
4191         * gcse.c (mems_conflict_for_gcse_p): Likewise.
4192         (canon_list_insert): Likewise.
4193         (mark_set): Likewise.
4194         (try_replace_reg): Likewise.
4195         (store_killed_in_insn): Likewise.
4196         * loop.c (count_one_set): Likewise.
4197         (basic_induction_var): Likewise.
4198         * postreload-gcse.c (find_mem_conflicts): Likewise.
4199         * postreload.c (reload_combine_note_store): Likewise.
4200         (move2add_note_store): Likewise.
4201         * reload.c (find_equiv_reg): Likewise.
4202         (mark_referenced_resources): Likewise.
4203         * rtlanal.c (set_noop_p): Likewise.
4204         (note_stores): Likewise.
4205         (note_uses): Likewise.
4206         * sched-deps.c (sched_analyze_1): Likewise.
4207         * sched-rgn.c (check_live_1): Likewise.
4208         (update_live_1): Likewise.
4209         * config/i860/i860.c: Likewise.
4210
4211         * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
4212         an lvalue.
4213         (ZERO_EXTRACT): Mention that this one can be an lvalue.
4214
4215         * doc/rtl.texi: Update documentation for bit-fields and SET.
4216
4217 2005-01-05  Roger Sayle  <roger@eyesopen.com>
4218
4219         * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
4220
4221 2005-01-05  Jan Hubicka  <jh@suse.cz>
4222             Richard Henderson  <rth@redhat.com>
4223
4224         PR target/18910
4225         * config/i386/i386.c (ix86_expand_move): Handle tls symbols
4226         with an offset.
4227
4228 2005-01-05  Richard Henderson  <rth@redhat.com>
4229
4230         PR target/12902
4231         * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
4232         (sse_shufps): Change operand 3 to const_int_operand.
4233         (sse2_storelps): Fix typo in template.
4234         (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
4235         * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
4236         (ix86_expand_builtin): Likewise.
4237
4238 2005-01-05  Julian Brown  <julian@codesourcery.com>
4239
4240         * config/arm/arm.c (arm_return_in_memory): Treat complex types
4241         as aggregates for AAPCS ABIs.
4242
4243 2005-01-05  Stan Shebs  <shebs@apple.com>
4244
4245         * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
4246         Mach-O getters if ppc64.
4247         * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
4248         size argument.
4249         * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
4250         signed four-byte field for global code case.
4251         (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
4252
4253 2005-01-05  Roger Sayle  <roger@eyesopen.com>
4254
4255         PR middle-end/19100
4256         * c-common.c: Include real.h.
4257         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
4258         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
4259         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
4260         * Makefile.in (c-common.o): Update dependencies.
4261
4262 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
4263
4264         * c-parse.in (asm_string): Add trailing semicolon.
4265
4266 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
4267
4268         * c-parse.in (asm_string): New.  Don't allow wide strings in
4269         'asm'.
4270         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
4271         asm_string instead of STRING.
4272
4273 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
4274
4275         * c-typeck.c (constructor_no_implicit): Remove.
4276         (set_designator, process_init_element): Don't check
4277         constructor_no_implicit.
4278
4279 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
4280             Kaz Kojima  <kkojima@gcc.gnu.org>
4281
4282         PR target/16482
4283         * lcm.c (create_pre_exit): New.
4284         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
4285         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
4286
4287 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
4288
4289         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
4290         -msoft-float in target_float_switch.
4291         * arm.c (arm_override_options): Fix processing of target_float_switch.
4292
4293 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
4294
4295         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
4296         preferencing.
4297
4298 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
4299
4300         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
4301         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
4302
4303 2005-01-04  Roger Sayle  <roger@eyesopen.com>
4304
4305         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
4306         if deleting the then-block allows the test-block to fallthru to the
4307         else-block.
4308
4309 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
4310
4311         PR c/19152
4312         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
4313         after the full declaration if the are in two different TUs.
4314
4315 2005-01-04  Richard Henderson  <rth@redhat.com>
4316
4317         PR tree-opt/19158
4318         * tree-sra.c (generate_one_element_init): Just
4319         call gimplify_and_add.
4320         (generate_element_init): Record the
4321         new referenced variables and mark them for renaming
4322         and split out to ...
4323         (generate_element_init_1): This.
4324         (scalarize_init): Don't call push_gimplify_context/
4325         pop_gimplify_context.
4326
4327 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
4328
4329         * toplev.c (get_src_pwd): Handle failure of getpwd().
4330
4331 2005-01-04  Roger Sayle  <roger@eyesopen.com>
4332
4333         * fold-const.c (fold_single_bit_test): Delete unreachable handling
4334         of TRUTH_NOT_EXPR.
4335         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
4336         all the cases handled by it are inverted by invert_truthvalue.
4337
4338 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
4339
4340         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
4341         (save_register_windowsi): Likewise.
4342
4343 2005-01-04  Richard Henderson  <rth@redhat.com>
4344
4345         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
4346
4347 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
4348
4349         PR middle-end/17767
4350         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
4351         any simplifications of vector mode comparison operators.
4352         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
4353
4354 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
4355             Devang Patel  <dpatel@apple.com>
4356
4357         PR tree-optimization/18308
4358         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
4359         the operands before creating a new expression.
4360         * dojump.c (do_jump): Make drop_through_label available
4361         for all cases.  Add expansion of COND_EXPR.
4362
4363 2005-01-04  Ira Rosen  <irar@il.ibm.com>
4364
4365         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
4366         INTEGER_CST instead of TREE_CONSTANT.
4367         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
4368         instead of TREE_CONSTANT.
4369         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
4370         instead of TREE_CONSTANT.
4371
4372 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
4373
4374         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
4375
4376 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
4377
4378         PR target/19240
4379         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
4380         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
4381
4382 2005-01-03  Richard Henderson  <rth@redhat.com>
4383
4384         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
4385         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
4386         fold_convert_const_real_from_real): Split out from ...
4387         (fold_convert_const): ... here.
4388
4389 2005-01-03  Richard Henderson  <rth@redhat.com>
4390
4391         PR target/19235
4392         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
4393         (mov<MMXMODEI>_internal): Likewise.
4394         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
4395         Add V2SF case; use it for SSE1; don't use TI.
4396         (movdf_integer): Likewise.
4397         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
4398
4399 2005-01-03  Ira Rosen  <irar@il.ibm.com>
4400
4401         * tree-vectorizer.c (vect_strip_conversions): New function.
4402         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
4403         check for binary class.
4404
4405 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
4406
4407         Fix PR debug/17924
4408         Fix PR debug/19191
4409         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
4410         is a decl.
4411         * gimple-low.c (mark_blocks_with_used_vars): New function.
4412         (mark_blocks_with_used_subblocks): Ditto.
4413         (mark_used_blocks): Ditto.
4414         (pass_mark_used_blocks): New pass.
4415         * tree-inline.c: Include debug.h.
4416         (expand_call_inline): Call outlining_inline_function here.
4417         * tree-optimize.c (init_tree_optimization_passes): Add
4418         pass_mark_used_blocks.
4419         * tree-pass.h (pass_mark_used_blocks): New.
4420         * Makefile.in (tree-inline.o): Add debug.h dependency.
4421
4422 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
4423
4424         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
4425         VAR_DECLs to have weak_import attribute.
4426
4427         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
4428         'struct ucontext'.
4429
4430 2004-01-03  Steven Bosscher  <stevenb@suse.de>
4431
4432         * passes.c (rest_of_compilation): Don't run regmove if only
4433         flag_expensive_optimizations, require flag_regmove instead.
4434
4435 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
4436
4437         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
4438         register "sparc".
4439         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
4440         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4441         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
4442         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4443
4444 2005-01-03  Richard Henderson  <rth@redhat.com>
4445
4446         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
4447         (ia64_const_ok_for_letter_p): New.
4448         (ia64_const_double_ok_for_letter_p): New.
4449         (ia64_extra_constraint): New.
4450         (ia64_expand_vecint_compare): New.
4451         (ia64_expand_vcondu_v2si): New.
4452         (ia64_expand_vecint_cmov): New.
4453         (ia64_expand_vecint_minmax): New.
4454         (ia64_print_operand): Add 'v'.
4455         (ia64_preferred_reload_class): New.
4456         (ia64_vector_mode_supported_p): New.
4457         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
4458         (PREFERRED_RELOAD_CLASS): Move to function.
4459         (CONST_OK_FOR_LETTER_P): Move to function.
4460         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
4461         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
4462         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
4463         (EXTRA_CONSTRAINT): Move to function.
4464         * config/ia64/ia64.md: Include vect.md.
4465         (itanium_class): Add mmalua.
4466         (type): Handle it.
4467         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
4468         (1b_mmalua): New.
4469         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
4470         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
4471         CONST0_RTX.
4472         (const_int_2bit_operand): New.
4473         (fr_reg_or_0_operand): New.
4474         * config/ia64/ia64-modes.def: Add vector modes.
4475         * config/ia64/ia64-protos.h: Update.
4476         * config/ia64/vect.md: New file.
4477
4478 2005-01-03  Richard Henderson  <rth@redhat.com>
4479
4480         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
4481
4482 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
4483
4484         PR target/19236
4485         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
4486         to SFmode.
4487         (log1pdf2): Change mode of operands[0,1] to DFmode.
4488
4489 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
4490
4491         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
4492         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
4493         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
4494         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
4495         SPARC_RELAXED_ORDERING.
4496
4497 2005-01-03  Richard Henderson  <rth@redhat.com>
4498             Uros Bizjak  <uros@kss-loka.si>
4499
4500         PR target/14631
4501         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
4502         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
4503         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
4504         handling.
4505         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
4506         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
4507         const_pow2_1_to_128_operand): New predicates.
4508
4509 2005-01-02  Greg McGary  <greg@mcgary.org>
4510
4511         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
4512         anonymous decls.
4513         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
4514         object.  [ptr_type]: Remove unused variable.
4515         Remember nearest addressable array-element or record-component
4516         when checking bitfield components.  Tolerate empty BIND_EXPR.
4517
4518 2005-01-01  Richard Henderson  <rth@redhat.com>
4519
4520         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
4521         that don't narrow the value.  Fail for other conversions.
4522
4523 2005-01-01  Richard Henderson  <rth@redhat.com>
4524
4525         PR c/19031
4526         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
4527         * c-lang.c (finish_file): Don't do it here.
4528         * objc/objc-act.c (objc_finish_file): Likewise.
4529
4530         * cgraph.c (decl_assembler_name_equal): New.
4531         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
4532         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
4533         * cgraph.h (struct cgraph_varpool_node): Add next.
4534         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
4535         * varasm.c (assemble_alias): Mark the target as needed.
4536
4537 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
4538
4539         PR middle-end/19221
4540         * function.c (get_arg_pointer_save_area): Use entry_of_function
4541         instead of get_insns.
4542
4543 2005-01-01  Roger Sayle  <roger@eyesopen.com>
4544             Andrew Pinski  <pinskia@physics.uc.edu>
4545             James E. Wilson  <wilson@specifixinc.com>
4546
4547         PR rtl-optimization/12092
4548         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
4549         is zero.
4550
4551 2005-01-01  Roger Sayle  <roger@eyesopen.com>
4552             Olivier Hainque  <hainque@act-europe.fr>
4553
4554         * tree.c (int_fits_type_p): A narrower type always fits in a
4555         wider one, except for negative values into unsigned types.
4556
4557 2005-01-01  Roger Sayle  <roger@eyesopen.com>
4558
4559         * tree.c (int_fits_type_p): Compare the result of force_fit_type
4560         with the original constant rather than require TREE_OVERFLOW.
4561
4562 2005-01-01  Steven Bosscher  <stevenb@suse.de>
4563
4564         PR middle-end/17544
4565         * c-decl.c (finish_function): If compiling C99, annotate the
4566         compiler generated return with the current file name and line 0.
4567         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
4568         the source line is greater than 0.
4569         (remove_bb): Likewise.
4570
4571 See ChangeLog.12 for earlier changes.