gcc/ChangeLog

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