gcc/ChangeLog

   1 2005-10-21  Andrew Pinski  <pinskia@physics.uc.edu>
   2
   3         PR driver/24473
   4         * gcc.c (main): Use the correct counter for erroring out
   5         about mulitple files.
   6
   7 2005-10-21  Alan Modra  <amodra@bigpond.net.au>
   8
   9         PR target/24465
  10         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Always
  11         use r2 for 64-bit tls .got access.
  12
  13 2005-10-21  Paolo Bonzini  <bonzini@gnu.org>
  14
  15         * dojump.c (do_jump): Handle side-effecting TRUTH_AND_EXPR and
  16         TRUTH_OR_EXPR.
  17
  18 2005-10-20  Steven Bosscher  <stevenb@suse.de>
  19
  20         PR tree-optimization/24225
  21         * tree-cfg.c (tree_find_edge_insert_loc): Handle naked RETURN_EXPR.
  22
  23 2005-10-20  Alexandre Oliva  <aoliva@redhat.com>
  24
  25         PR middle-end/24295
  26         * cgraphunit.c (cgraph_varpool_remove_unreferenced_decls): Mark
  27         alias targets.
  28         * varasm.c (find_decl_and_mark_needed): After cgraph global info
  29         is ready, stop marking functions, but still mark variables.
  30
  31 2005-10-20  Richard Guenther  <rguenther@suse.de>
  32
  33         PR c++/24439
  34         * fold-const.c (invert_truthvalue): Handle COND_EXPR with
  35         void type operands.
  36
  37 2005-10-20  Eric Botcazou  <ebotcazou@libertysurf.fr>
  38
  39         PR rtl-optimization/23585
  40         * rtlanal.c (rtx_addr_can_trap_p_1): New predicate extracted from...
  41         (rtx_addr_can_trap_p): ... here.  Invoke rtx_addr_can_trap_p_1.
  42         (may_trap_p_1): New predicate extracted from...
  43         (may_trap_p): ... here.  Invoke may_trap_p_1.
  44         (may_trap_or_fault_p): New predicate.
  45         * rtl.h (may_trap_or_fault_p): Declare it.
  46         * reorg.c (steal_delay_list_from_target): Use may_trap_or_fault_p
  47         instead of may_trap_p.
  48         (steal_delay_list_from_fallthrough): Likewise.
  49         (fill_simple_delay_slots): Likewise.
  50         (fill_slots_from_thread): Likewise.
  51         * function.c (pad_to_arg_alignment): Rework comment about
  52         SPARC_STACK_BOUNDARY_HACK.
  53         * config/sparc/sparc.h: Likewise.
  54
  55 2005-10-19  Adrian Straetling  <straetling@de.ibm.com>
  56
  57         * config/s390/s390.c (s390_expand_insv): New.
  58         * config/s390/s390-protos.h (s390_expand_insv): Declare.
  59         * config/s390/s390.md ("UNSPEC_SETHIGH"): Rename to "UNSPEC_ICM".
  60         ("icm_hi"): Remove mode attribute.
  61         ("*sethigh<mode><mode>"): Rewrite to "sethighpart<mode>".
  62         Adjust all uses.
  63         ("*extracthi", "*extractqi"): Remove.
  64         (extv<mode>", "*extzv<mode>"): New.
  65         ("insv", "*insv<mode>_mem_reg", "*insvdi_mem_reghigh",
  66         "*insv<mode>_reg_imm", "*insv<mode>_reg_extimm"): New.
  67
  68 2005-10-19  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
  69
  70         * cfgexpand.c (discover_nonconstant_array_refs_r,
  71         discover_nonconstant_array_refs): Move here from tree-outof-ssa.c
  72         (tree_expand_cfg): Call discover_nonconstant_array_refs.
  73         * tree-outof-ssa.c (rewrite_out_of_ssa): Remove call to
  74         discover_nonconstant_array_refs.
  75
  76 2005-10-19  Steven Bosscher  <stevenb@suse.de>
  77
  78         PR c/23228
  79         * c-decl.c (pop_scope): Don't warn about an unused variable
  80         if it is marked with TREE_NO_WARNING.
  81         (duplicate_decls): Set TREE_NO_WARNING if olddecl and newdecl
  82         somenow mismatch and olddecl is to be replaced.
  83
  84 2005-10-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
  85
  86         PR middle-end/23199
  87         * cfgrtl.c (safe_insert_insn_on_edge): Use can_copy_p to detect
  88         whether registers live on the edge can be saved/restored.
  89
  90 2005-10-19  Kaz Kojima  <kkojima@gcc.gnu.org>
  91
  92         * config/sh/sh.c (fixup_mova): Skip notes.
  93
  94 2005-10-19  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
  95
  96         * config/s390/s390-protos.h (s390_hard_regno_rename_ok): Add prototype.
  97         * config/s390/s390.c (s390_hard_regno_rename_ok): New function.
  98         (s390_can_eliminate): Handle BASE_REGNUM elimination.
  99         (s390_initial_elimination_offset): Likewise.
 100         (s390_conditional_register_usage): BASE_REGNUM is no longer a fixed
 101         register on TARGET_ZARCH targets.
 102         * config/s390/s390.h (HARD_REGNO_RENAME_OK): Define
 103         (INITIAL_FRAME_POINTER_OFFSET): Remove.
 104         (REG_ALLOC_ORDER): Move BASE_REGNUM lower.
 105         (ELIMINABLE_REGS): Add BASE_REGNUM elimination rule.
 106
 107 2005-10-19  Andreas Krebbel  <krebbel1@de.ibm.com>
 108
 109         * config/s390/s390.md: Comment describing output modifiers updated.
 110         * config/s390/s390.c (print_operand): Likewise.
 111
 112 2005-10-19  Andreas Krebbel  <krebbel1@de.ibm.com>
 113
 114         * config/s390/s390.c (override_options): Added check for -mstack-size
 115         64k limitation.
 116         * doc/invoke.texi: Mention that limit in the documenation.
 117
 118 2005-10-18  Paolo Bonzini  <bonzini@gnu.org>
 119
 120         PR #19672
 121         * dojump.c (do_jump): Handle TRUTH_AND_EXPR and TRUTH_OR_EXPR here.
 122
 123 2005-10-18  Daniel Berlin <dberlin@dberlin.org>
 124
 125         Fix PR tree-optimization/24231
 126
 127         * tree-ssa-pre.c (try_look_through_load): Skip abnormal phi names
 128         (compute_avail): Ditto.
 129
 130 2005-10-18  Richard Henderson  <rth@redhat.com>
 131
 132         PR target/24428
 133         * config/i386/i386.c (legitimate_constant_p): Check
 134         SYMBOL_REF_TLS_MODEL directly.  Don't fallthru to SYMBOL_REF
 135         if LABEL_REF.
 136         (legitimate_pic_operand_p): Test SYMBOL_REF_TLS_MODEL directly.
 137         (legitimate_pic_address_disp_p): Reorg CONST checking to make
 138         sure SYMBOL_REF_TLS_MODEL is tested.  Test SYMBOL_REF_TLS_MODEL
 139         directly.
 140         (print_operand_address): Likewise.
 141         * config/i386/predicates.md (x86_64_immediate_operand): Test
 142         SYMBOL_REF_TLS_MODEL properly inside CONST.
 143         (x86_64_zext_immediate_operand): Likewise.
 144         (global_dynamic_symbolic_operand, local_dynamic_symbolic_operand,
 145         initial_exec_symbolic_operand, local_exec_symbolic_operand): Remove.
 146         * config/i386/i386-protos.h: Remove predicates.md entries.
 147
 148 2005-10-18  Danny Smith  <dannysmith@users.sourceforge.net>
 149
 150         * config/i386/winnt-cxx.c (i386_pe_adjust_class_at_definition):
 151         Check that elements of TYPE_METHODS are FUNCTION_DECLs.
 152
 153 2005-10-17  Alexey Starovoytov  <alexey.starovoytov@sun.com>
 154             Ian Lance Taylor <ian@airs.com>
 155
 156         PR middle-end/23522
 157         * fold-const.c (fold_widened_comparison): Do not allow range based
 158         constant folding when right operand cannot be unwidened.
 159
 160 2005-10-17  Richard Henderson  <rth@redhat.com>
 161
 162         * builtins.c (expand_builtin_synchronize): Build a new-style asm
 163         with a memory clobber.
 164
 165 2005-10-17  James E Wilson  <wilson@specifix.com>
 166
 167         PR rtl-optimization/17356
 168         * cfgrtl.c (purge_dead_edges): Check for EDGE_ABNORMAL_CALL before
 169         checking for EDGE_EH.
 170
 171 2005-10-17  Eric Botcazou  <ebotcazou@libertysurf.fr>
 172
 173         * config/sparc/sparc.c (function_arg_slotno): In 64-bit mode, align
 174         the slot on an even boundary for any type with 16-byte alignment.
 175
 176 2005-10-17  Hans-Peter Nilsson  <hp@axis.com>
 177
 178         PR target/23424
 179         * md.texi (Modifiers) <%>: Clarify that % doesn't work
 180         after register allocation.
 181
 182 2005-10-17  DJ Delorie  <dj@redhat.com>
 183
 184         * config/m32c/m32c.c (m32c_pushm_popm): Don't mark epilogue insns
 185         as frame related.
 186
 187 2005-10-17  Nathan Sidwell  <nathan@codesourcery.com>
 188
 189         PR c++/22551
 190         * c-common.c (c_add_case_label): Revert my 2005-10-14 clearing of
 191         overflow flags.
 192
 193 2005-10-17  Kaz Kojima  <kkojima@gcc.gnu.org>
 194
 195         * config/sh/sh.h (OPTIMIZATION_OPTIONS): Set flag_schedule_insns
 196         to 2 if it's already non-zero.
 197         (OVERRIDE_OPTIONS): Clear flag_schedule_insns if flag_exceptions
 198         is set and warn about it if flag_schedule_insns is 1.
 199
 200 2005-10-17  Paul Woegerer  <paul.woegerer@nsc.com>
 201
 202         * config/crx/crx.md: Compare-and-branch instructions need to
 203         invalidate CC.
 204
 205 2005-10-17  Uros Bizjak  <uros@kss-loka.si>
 206
 207         PR target/24315
 208         * config/i386/i386.md (*pushdi2_rex64 splitter)
 209         (*movdi_1_rex64 splitter, *ashldi3_1 splitter)
 210         (*ashrdi3_1 splitter, *lshrdi3_1 splitter): Delay splitting after
 211         flow2 pass only when (optimize > 0 && flag_peephole2).
 212
 213 2005-10-16  Andrew Pinski  <pinskia@physics.uc.edu>
 214
 215         PR driver/22544
 216         * gcc.c (have_c): New static variable.
 217         (have_o): Likewise.
 218         (process_command): Remove declation of have_c.
 219         Set have_o to 1 when handling -o.
 220         (main): Add a fatel error if there are multiple
 221         files specified and -o and -c/-S is passed witout
 222         -combine or multiple languages.
 223
 224 2005-10-16  Daniel Berlin  <dberlin@dberlin.org>
 225
 226         Fix PR tree-optimization/22444
 227         * tree-ssa-alias.c (compute_flow_insensitive_aliasing):
 228         Assert that we don't hit something with subvars.
 229         (setup_pointers_and_addressables): Don't add things with subvars,
 230         because we'll already process the subvars for aliasing purposes.
 231
 232 2005-10-16  Hans-Peter Nilsson  <hp@axis.com>
 233
 234         PR target/23424
 235         * config/cris/cris.md ("*mov_side<mode>", "*mov_sidesisf")
 236         ("*mov_side<mode>_mem", "*mov_sidesisf_mem", "*clear_side<mode>")
 237         ("*ext_sideqihi", "*ext_side<mode>si", "*op_side<mode>")
 238         ("*op_swap_side<mode>", "*extopqihi_side", "*extop<mode>si_side")
 239         ("*extopqihi_swap_side", "*extop<mode>si_swap_side"): Have separate,
 240         swapped, alternatives for the R constraint.
 241
 242         PR middle-end/24341
 243         * builtins.c (get_builtin_sync_mode): Make unlimited
 244         mode_for_size request.
 245
 246 2005-10-15  Richard Henderson  <rth@redhat.com>
 247
 248         * gimplify.c (gimplify_var_or_parm_decl): Split out from ...
 249         (gimplify_expr): ... here.
 250         (gimplify_compound_lval): Use it in initial scan loop.  Allow
 251         fb_lvalue in base expression.
 252
 253 2005-10-15  Richard Henderson  <rth@redhat.com>
 254
 255         PR 23714
 256         * builtins.c (expand_builtin_trap): Export.
 257         * expr.h (expand_builtin_trap): Declare.
 258         * expr.c (expand_assignment): Emit a trap for integral offsets
 259         from registers that weren't reduced to bitpos.
 260
 261         * tree-cfg.c (mark_array_ref_addressable_1): Remove.
 262         (mark_array_ref_addressable): Remove.
 263         * tree-flow.h (mark_array_ref_addressable): Remove.
 264         * tree-optimize.c (execute_cleanup_cfg_post_optimizing): Don't call it.
 265
 266 2005-10-15  James E Wilson  <wilson@specifix.com>
 267
 268         PR target/24232
 269         * sched-deps.c (add_dependence_list): New arg UNCOND.  Fix all callers.
 270         (add_dependence_list_and_free): Likewise.
 271         (sched_analyze_2, case MEM): Delete sched_insns_conditions_mutex_p
 272         call.
 273
 274 2005-10-15  Diego Novillo  <dnovillo@redhat.com>
 275
 276         PR 23141
 277         PR 23142
 278         * tree-vrp.c (vrp_meet): Fix the intersection of equivalence
 279         sets VR0->EQUIV and VR1->EQUIV when meeting a range and an
 280         anti-range.
 281         (vrp_visit_phi_node): Only prevent infinite iterations when
 282         the previous result and the new result are both VR_RANGEs.
 283
 284 2005-10-15  Ranjit Mathew  <rmathew@gcc.gnu.org>
 285
 286         * tree-into-ssa.c (mark_def_sites): Correct minor typo in
 287         function comment.
 288
 289 2005-10-14  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 290
 291         PR c/23439
 292         * c-parser.c (c_parser_for_statement): Use location of RID_FOR
 293         to initialize loc.
 294
 295 2005-10-14  Per Bothner  <per@bothner.com>
 296
 297         PR preprocessor/21250
 298         * c-ppoutput.c (print_line): Print internal line 0 as 1.
 299
 300 2005-10-14  Nathan Sidwell  <nathan@codesourcery.com>
 301
 302         PR c++/22551
 303         * c-common.c (c_add_case_label): Clear LOW_VALUE and HIGH_VALUE's
 304         overflow flags.  Refactor some conditionals.
 305
 306 2005-10-13  Andrew Pinski  <pinskia@physics.uc.edu>
 307
 308         PR tree-opt/21304
 309         * tree-dfa.c (add_referenced_var): Only look at decls which
 310         have TREE_CONSTANT or TREE_READONLY set instead of if
 311         !TREE_PUBLIC or !TREE_CONSTANT.
 312
 313 2005-10-13  James E Wilson  <wilson@specifix.com>
 314
 315         * doc/invoke.texi: For -x, add f95-cpp-input.
 316         * doc/install.texi: For --enable-languages doc, change f95 to fortran.
 317
 318 2005-10-12  Sebastian Pop  <pop@cri.ensmp.fr>
 319
 320         PR tree-optimization/24262
 321         * tree-data-ref.c (analyze_offset_expr): Check that init is invariant
 322         in loop all the time.
 323
 324 2005-10-12  Richard Henderson  <rth@redhat.com>
 325
 326         PR c/24255
 327         * tree.h (DECL_TRANSPARENT_UNION): Remove.
 328         * function.c (assign_parm_find_data_types): Don't support it.
 329         * print-tree.c (print_node): Likewise.
 330         * c-common.c (handle_transparent_union_attribute): Likewise.
 331         Use build_duplicate_type.
 332         * tree-inline.c (remap_type_1): Split out of remap_type;
 333         properly remap aggregate fields.
 334         (build_duplicate_type): New.
 335         * doc/extend.texi (Variable Attributes): Remove documentation
 336         for transparent_union.
 337
 338 2005-10-12  Eric Botcazou  <ebotcazou@libertysurf.fr>
 339
 340         PR target/24284
 341         * config/sparc/sparc.c (gen_stack_pointer_inc): Build by hand.
 342         (gen_stack_pointer_dec): Likewise.
 343
 344 2005-10-12  Danny Smith  <dannysmith@users.sourceforge.net>
 345
 346         PR middle-end/21275
 347         PR middle-end/21766
 348         * target.h (struct gcc_target): Add valid_dllimport_attribute_p
 349         target hook.
 350         (struct cxx): Add adjust_class_at_definition target hook.
 351         * target-def.h: (TARGET_VALID_DLLIMPORT_ATTRIBUTE_P): New define,
 352         defaulting to hook_bool_tree_true. Add to TARGET_INITIALIZER
 353         (TARGET_CXX_ADJUST_CLASS_AT_DEFINITION): New define, defaulting to
 354         hook_void_tree. Add to TARGET_CXX.
 355         * tree.h (struct decl_with_vis): Rename non_addr_const_p field to
 356         dllimport_flag.
 357         (DECL_NON_ADDR_CONSTANT_P): Replace with DECL_DLLIMPORT_P macro.
 358         * tree.c (merge_dllimport_decl_attributes): Check DECL_DLLIMPORT_P
 359         instead of attribute. Check for dllexport override.  Warn if
 360         inconsistent dll linkage. Don't lose old dllimport if decl has
 361         had address referenced.   Tweak lookup of dllimport atribute.
 362         (handle_dll_attribute): Check targetm.valid_dllimport_attribute_p
 363         for target specific rules.  Don't add dllimport attribute if
 364         DECL_DECLARED_INLINE_P.  Set DECL_DLLIMPORT_P when adding
 365         dllimport attribute.
 366         (staticp): Replace DECL_NON_ADDR_CONSTANT_P with DECL_DLLIMPORT_P.
 367         * varasm.c (initializer_constant_valid_p): Replace
 368         DECL_NON_ADDR_CONSTANT_P with DECL_DLLIMPORT_P
 369
 370         PR target/21801
 371         PR target/23589
 372         * config.gcc (i[34567]86-*-cygwin*): Add winnt-cxx.o to
 373         'cxx_target_objs', winnt-stubs,o to 'extra_objs'.
 374         (i[34567]86-*-mingw32*): Likewise.
 375
 376         * doc/tm.texi (TARGET_CXX_ADJUST_CLASS_AT_DEFINITION): Document.
 377         (TARGET_VALID_DLLIMPORT_ATTRIBUTE_P): Document.
 378
 379         * config/i386/winnt.c (i386_pe_dllimport_p): Factor out
 380         C++-specific code. Change return value to bool.
 381         (i386_pe_dllimport_p): Likewise.
 382         (associated_type): Simplify and make language-independent
 383         (i386_pe_encode_section_info): Replace override of ambiguous
 384         dllimport symbol refs with a gcc_assert.
 385         (i386_pe_valid_dllimport_attribute_p): Define.
 386         * config/i386/winnt-cxx.c: New file. Define C++ versions of
 387         i386_pe_type_dllimport_p, i386_pe_type_dllexport_p,
 388         i386_pe_adjust_class_at_definition.
 389         * config/i386/winnt-stubs.c: New file. Define stub versions of
 390         lang-specific functions.
 391         * config/i386/i386-protos.h: Declare winnt-[cxx|stubs].c functions
 392         i386_pe_type_dllimport_p, i386_pe_type_dllexport_p,
 393         i386_pe_adjust_class_at_definition.
 394         (i386_pe_valid_dllimport_attribute_p): Declare.
 395         * config/i386/cygming.h (TARGET_VALID_DLLIMPORT_ATTRIBUTE_P): Define.
 396         (TARGET_CXX_ADJUST_CLASS_AT_DEFINITION): Define.
 397         * config/i386/t-cygming: Add rules for winnt-cxx.o, winnt-stubs.o.
 398
 399         PR target/19704
 400         * config/i386/i386.c (ix86_function_ok_for_sibcall): Replace test for
 401         dllimport attribute with test of DECL_DLLIMPORT_P.
 402
 403 2005-10-12  Adrian Straetling <straetling@de.ibm.com>
 404
 405         * combine.c (make_extraction): Correct offset computation.
 406
 407 2005-10-12  Hans-Peter Nilsson  <hp@axis.com>
 408
 409         * config/cris/t-linux (LIMITS_H_TEST): Define.
 410
 411 2005-10-12  Richard Henderson  <rth@redhat.com>
 412
 413         PR rtl-opt/23324
 414         * cfgexpand.c (add_alias_set_conflicts): Use objects_must_conflict_p.
 415
 416 2005-10-12  Richard Guenther  <rguenther@suse.de>
 417
 418         * Makefile.in (CGRAPH_H): Depend on $(TREE_H).
 419
 420 2005-10-12  Nathan Sidwell  <nathan@codesourcery.com>
 421
 422         PR c++/19964
 423         * stor-layout.c (place_field): Set DECL_FIELD_OFFSET and
 424         DECL_FIELD_BIT_OFFSET of FIELD_DECLs, even if they have an invalid
 425         type.
 426
 427 2005-10-12  Richard Guenther  <rguenther@suse.de>
 428
 429         PR c++/23799
 430         * varasm.c (output_constant): Correct typo from previous
 431         patch by DJ.
 432
 433 2005-10-11  Ian Lance Taylor  <ian@airs.com>
 434
 435         PR rtl-optimization/13931
 436         * combine.c: Revert patch of 2003-05-14, and:
 437         (try_combine): Only set elim_i1 and elim_i2 if the destination is
 438         completely killed in the appropriate insn.
 439         (distribute_notes): Don't skip multiple hard register test for
 440         elim_i1 and elim_i2.
 441
 442 2005-10-11  Richard Henderson  <rth@redhat.com>
 443
 444         PR c/24255
 445         * c-typeck.c (convert_for_assignment): Use build_constructor_single
 446         to initialize a transparent union instead of a nop_expr.
 447
 448 2005-10-11  Richard Henderson  <rth@redhat.com>
 449
 450         * Makefile.in (tree-ssa-dce.o): Depend on SCEV_H.
 451         * tree-ssa-dce.c: Include tree-scalar-evolution.h.
 452         (tree_ssa_dce_loop): Call scev_reset.
 453
 454         PR tree-opt/24300
 455         * Makefile.in (tree-ssa-dce.o): Depend on CFGLOOP_H.
 456         * tree-ssa-dce.c: Include cfgloop.h.
 457         (tree_ssa_dce_loop, pass_dce_loop): New.
 458         * tree-pass.h (pass_dce_loop): Declare it.
 459         * passes.c (init_optimization_passes): Use it.
 460
 461 2005-10-11  Eric Botcazou  <ebotcazou@libertysurf.fr>
 462
 463         PR middle-end/24263
 464         * convert.c (convert_to_real): Revert 2005-10-05 patch.
 465         Only apply the optimization for rounding builtins if the inner
 466         cast is also an extension.
 467
 468 2005-10-11  Andrew Pinski  <pinskia@physics.uc.edu>
 469
 470         PR tree-opt/23946
 471         * tree-ssa-ccp.c (execute_fold_all_builtins): Call
 472         mark_new_vars_to_rename instead of update_stmt.
 473
 474 2005-10-11  Bernd Schmidt  <bernd.schmidt@analog.com>
 475
 476         * config/bfin/crti.s (__init, __fini): Renamed from _init, _fini.
 477
 478 2005-10-11  Jakub Jelinek  <jakub@redhat.com>
 479
 480         * config/i386/i386.md (movsi_1, movdi_1_rex64): Use mmxadd type
 481         for setting MMX register to 0 rather than mmx.
 482
 483 2005-10-10  Steve Ellcey  <sje@cup.hp.com>
 484
 485         PR target/12098
 486         * configure.ac: Move gas check from mips specific case to common case.
 487         Do check for GNU as for mips*-*-* and *-*-hpux* targets.
 488         * configure: Regenerate
 489         * doc/install.texi: Update.
 490
 491 2005-10-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
 492
 493         PR target/24284
 494         * config/sparc/sparc.c (sparc_expand_prologue): Remove bogus PATTERN.
 495
 496 2005-10-10  Maciej W. Rozycki  <macro@linux-mips.org>
 497
 498         * gcc.c (do_spec_1): Accept numeric characters in file name
 499         suffixes.
 500
 501 2005-10-10  Nick Clifton  <nickc@redhat.com>
 502
 503         * config/arm/arm.c: Remove extraneous whitespace.  Remove comment
 504         describing the deleted arm_gen_rotated_half_load function.
 505
 506 2005-10-09  Kaz Kojima  <kkojima@gcc.gnu.org>
 507
 508         * config/sh/sh.c (emit_fpu_switch): Set TREE_PUBLIC for
 509         __fpscr_values.
 510
 511 2005-10-09  Daniel Jacobowitz  <dan@codesourcery.com>
 512
 513         * config.gcc (arm*-*-linux*): Remove redundant extra_parts and
 514         gnu_ld assignments.
 515         * config/arm/t-linux-eabi (LIB1ASMFUNCS)
 516         (EXTRA_MULTILIB_PARTS): Define.
 517         * config/arm/linux-elf.h (NO_IMPLICIT_EXTERN_C, CPLUSPLUS_CPP_SPEC)
 518         (STARTFILE_SPEC, ENDFILE_SPEC, CC1_SPEC)
 519         (LINK_GCC_C_SEQUENCE_SPEC, USE_LD_AS_NEEDED): Move to...
 520         * config/arm/uclinux-elf.h (NO_IMPLICIT_EXTERN_C, CPLUSPLUS_CPP_SPEC)
 521         (STARTFILE_SPEC, ENDFILE_SPEC, CC1_SPEC)
 522         (LINK_GCC_C_SEQUENCE_SPEC, USE_LD_AS_NEEDED): ... here.
 523
 524 2005-10-09  Zdenek Dvorak  <dvorakz@suse.cz>
 525
 526         PR tree-optimization/24226
 527         * tree-cfg.c (remove_bb): Clean up unreachable loops.
 528         * tree-flow.h (free_numbers_of_iterations_estimates_loop): Declare.
 529         * tree-ssa-loop-niter.c (free_numbers_of_iterations_estimates_loop):
 530         Export.
 531
 532 2005-10-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
 533
 534         * config/sparc/gmon-sol2.c (internal_mcount): Mark as used.
 535
 536 2005-10-08  Andrew Pinski  <pinskia@physics.uc.edu>
 537
 538         PR target/24136
 539         * config/rs6000/darwin.md (movdf_low_si): Remove early clobber.
 540         Rewrite for no need for the early clobber.
 541
 542 2005-10-08  Kazu Hirata  <kazu@codesourcery.com>
 543
 544         Merge from csl-arm-branch:
 545         2005-09-07  Paul Brook  <paul@codesourcery.com>
 546         * config/arm/linux-eabi.h (SUBTARGET_EXTRA_LINK_SPEC): Prepend a
 547         space to string.
 548
 549         2005-04-30  Paul Brook  <paul@codesourcery.com>
 550         * config/arm/bpabi.h (TARGET_DEFAULT): Define.
 551         * config/arm/linux-eabi.h (SUBTARGET_CPU_DEFAULT): Define.
 552
 553         2005-03-07  Daniel Jacobowitz  <dan@codesourcery.com>
 554         * config/arm/arm.c (arm_all_abis): Add aapcs-linux.
 555         (arm_override_options): Use TARGET_AAPCS_BASED.
 556         * config/arm/arm.h (enum arm_abi_type): Add ARM_ABI_AAPCS_LINUX.
 557         (PTRDIFF_TYPE): Use int for AAPCS.
 558         (DEFAULT_SHORT_ENUMS): Use false for aapcs-linux.
 559         * config/arm/linux-eabi.h (ARM_DEFAULT_ABI, WCHAR_TYPE): Define.
 560         (DEFAULT_SHORT_ENUMS): Delete.
 561         * doc/invoke.texi (ARM Options): Document -mabi=aapcs-linux.
 562
 563         2004-12-15  Daniel Jacobowitz  <dan@codesourcery.com>
 564         * config/arm/arm.h (DEFAULT_SHORT_ENUMS): Wrap in #ifndef.
 565         * config/arm/linux-eabi.h (DEFAULT_SHORT_ENUMS): Define to 0.
 566         * config/arm/t-linux-eabi (TARGET_LIBGCC2_CFLAGS): Set to -fPIC.
 567
 568         2004-12-03  Mark Mitchell  <mark@codesourcery.com>
 569         * config/arm/linux-eabi.h (LIBGCC_SPEC): Do not define.
 570
 571         2004-11-22  Mark Mitchell  <mark@codesourcery.com>
 572         * config.gcc (arm*-*-linux-gnueabi): Use __cxa_atexit.
 573
 574         2004-11-19  Mark Mitchell  <mark@codesourcery.com>
 575         * config.gcc (arm*-*-linux-gnueabi): Add it.
 576         * config/arm/bpabi.h (FPUTYPE_DEFAULT): Undefine it before
 577         redefining it.
 578         (TARGET_OS_CPP_BUILTINS): Likeiwse.
 579         * config/arm/linux-eabi.h: New file.
 580         * config/arm/linux-elf.h (LINUX_TARGET_INTERPRETER): New macro.
 581         (LINUX_TARET_LINK_SPEC): Likewise.
 582         (LINK_SPEC): Use it.
 583         * config/arm/t-linux-eabi: New file.
 584
 585 2005-10-08  Steven Bosscher  <stevenb@suse.de>
 586
 587         PR other/22202
 588         * params.def (PARAM_MAX_VARIABLE_EXPANSIONS): Remove superfluous
 589         spaces.
 590         (PARAM_SMS_DFA_HISTORY): Likewise.
 591
 592 2005-10-08  Kazu Hirata  <kazu@codesourcery.com>
 593
 594         PR middle-end/23150
 595         * calls.c (mem_overlaps_already_clobbered_arg_p): New.
 596         (load_register_parameters): Call it.
 597         (check_sibcall_argument_overlap_1): Likewise.
 598         (store_one_arg): Likewise.
 599
 600 2005-10-07  James E. Wilson  <wilson@specifix.com>
 601
 602         * config/ia64/vect.md (ashl<mode>3, ashr<mode>3, lshr<mode>3): Use
 603         DImode not VECINT24 for operand 2.
 604
 605         PR target/23644
 606         * doc/invoke.texi (IA-64 Options, item -mtune): Renamed from
 607         -mtune-arch.
 608
 609         PR target/24193
 610         * config/ia64/ia64.md (movbi, movti_internal, gr_spill_internal,
 611         fr_spill): Use destination_operand for operand 0.
 612
 613 2005-10-07  DJ Delorie  <dj@redhat.com>
 614
 615         * varasm.c (output_constant): Limit error to expanding
 616         conversions.
 617
 618 2005-10-07  Richard Guenther  <rguenther@suse.de>
 619
 620         PR middle-end/24227
 621         * fold-const.c (fold_binary): Fix operand types during folding
 622         of X op (A, Y).  Evaluation order of the side-effects of
 623         X and A are frontend-defined, so ensure we honour that even for
 624         tcc_comparison class operands; eased by removing duplicate code.
 625
 626 2005-10-07  Steve Ellcey  <sje@cup.hp.com>
 627
 628         * stor-layout.c (layout_type): Do not allow alignment of array
 629         elements to be greater than their size.
 630
 631 2005-10-07  Steve Ellcey  <sje@cup.hp.com>
 632
 633         * config.host (hppa*-*-hpux*): Change out_host_hook_obj and
 634         host_xmake_file.
 635         (hppa*-*-linux*): Ditto.
 636         (ia64-*-hpux*): Add out_host_hook_obj and host_xmake_file.
 637         * config/host-hpux.c: New.
 638         * config/x-hpux: New.
 639         * config/pa/x-hpux: Remove.
 640         * config/pa/x-linux: Remove.
 641         * config/pa/pa-host.c: Remove.
 642
 643 2005-10-07  Jeff Law  <law@redhat.com>
 644
 645         * tree-ssa-dom.c (dom_opt_finalize_block): Fix conditions to
 646         determine whether or not to try and thread outgoing edges.
 647
 648 2005-10-07  David Edelsohn  <edelsohn@gnu.org>
 649
 650         * config/rs6000/rs6000.md (eqsi_power): New.
 651         (neg_eq0si): Add TARGET_POWER to final condition.
 652         (neg_eqsi): Same.
 653
 654 2005-10-06  Richard Henderson  <rth@redhat.com>
 655
 656         * config/rs6000/rs6000.c: Revert last change.
 657
 658 2005-10-06  Richard Henderson  <rth@redhat.com>
 659
 660         * config/rs6000/rs6000.c (rs6000_cannot_force_const_mem): New.
 661         (TARGET_CANNOT_FORCE_CONST_MEM): Use it.
 662
 663 2005-10-06  Andrew Pinski  <pinskia@physics.uc.edu>
 664
 665         PR middle-end/22216
 666         PR middle-end/23651
 667         * cfgexpand.c (tree_expand_cfg): After expanding the functions, clear
 668         out return_label and naked_return_label.
 669
 670 2005-10-06  Daniel Berlin  <dberlin@dberlin.org>
 671
 672         * tree-ssa-structalias.c (check_for_overlaps): Fix bug in last
 673         change.
 674
 675 2005-10-06  Richard Henderson  <rth@redhat.com>
 676
 677         PR tree-opt/22237
 678         * tree-inline.c (declare_return_variable): Handle modify_dest not
 679         being a DECL.
 680
 681 2005-10-06  Daniel Berlin  <dberlin@dberlin.org>
 682
 683         Fix PR tree-optimization/22488
 684         * tree-ssa-structalias.c (check_for_overlaps): New function.
 685         (create_variable_info_for): Use it.
 686
 687 2005-10-06  Richard Henderson  <rth@redhat.com>
 688
 689         PR debug/24070
 690         * dwarf2out.c (lookup_filename): Return the result of maybe_emit_file.
 691         (dwarf2out_start_source_file): Print it.
 692
 693 2005-10-06  Geoffrey Keating  <geoffk@apple.com>
 694
 695         * config/t-slibgcc-darwin (SHLIB_MAPFILES): Use '+='.
 696
 697 2005-10-06  Richard Henderson  <rth@redhat.com>
 698
 699         PR 23706
 700         * mode-switching.c (optimize_mode_switching): Clear transp bit
 701         for block with incomming abnormal edges.
 702
 703         * config/sh/sh.c (fpscr_values, emit_fpu_switch): New.
 704         (fpscr_set_from_mem): Use them.
 705         * config/sh/sh.md (fpu_switch0, fpu_switch1): Remove.
 706         (fpscr postinc splitters): Rewrite as peephole2+split.
 707
 708 2005-10-06  David Edelsohn  <edelsohn@gnu.org>
 709
 710         * config/rs6000/rs6000.md (eq<mode>): Add !TARGET_POWER.
 711         (eq<mode>_compare): Same.
 712
 713 2005-10-06  Richard Guenther  <rguenther@suse.de>
 714
 715         PR tree-optimization/24238
 716         * tree-ssa-alias.c (find_used_portions): Handle RESULT_DECL.
 717
 718 2005-10-06  Daniel Jacobowitz  <dan@codesourcery.com>
 719
 720         * acinclude.m4 (gcc_AC_CHECK_TOOL): Handle environment variables
 721         here.  Use AC_PATH_PROG for environment variables instead of
 722         test -x.
 723         * configure.ac: Update calls to gcc_AC_CHECK_TOOL.  Use it for
 724         objdump also.
 725         * configure: Regenerated.
 726
 727 2005-10-06  Richard Earnshaw  <richard.earnshaw@arm.com>
 728
 729         PR target/23783
 730         * arm.md (call): If the address isn't a SYMBOL_REF or a register,
 731         then force it into a register.
 732         (call_value): Likewise.
 733
 734 2005-10-06  Richard Henderson  <rth@redhat.com>
 735
 736         PR 24049
 737         * passes.c (init_optimization_passes): Move pass_lower_vector_ssa
 738         under pass_vectorize.  Clear TODO_ggc_collect from the dce pass
 739         under pass_vectorize.
 740
 741 2005-10-05  Devang Patel  <dpatel@apple.com>
 742
 743         PR Debug/23205
 744         * dbxout.c (dbxout_symbol): Check DECL_RTL_SET_P, after
 745         handling constants. Check NAMESPACE_DECL context for constants.
 746
 747 2005-10-05  Eric Christopher  <echristo@apple.com>
 748
 749         * doc/md.texi (Standard Names): Fix name of pushm1 pattern.
 750
 751 2005-10-05  Richard Henderson  <rth@redhat.com>
 752
 753         PR 23714
 754         * tree-cfg.c (mark_array_ref_addressable_1): New.
 755         (mark_array_ref_addressable): New.
 756         * tree-flow.h (mark_array_ref_addressable): Declare.
 757         * tree-optimize.c (execute_cleanup_cfg_post_optimizing): Use it.
 758
 759 2005-10-05  Andrew Pinski  <pinskia@physics.uc.edu>
 760
 761         PR middle-end/20606
 762         PR middle-end/24069
 763         * reload.c (subst_reloads): When adding a REG_LABEL to a
 764         jump instruction, also update JUMP_LABEL.
 765
 766 2005-10-05  David Edelsohn  <edelsohn@gnu.org>
 767
 768         * params.def (PARAM_MAX_GROW_COPY_BB_INSNS): New.
 769         * bb-reorder.c (copy_bb_p): Use it.
 770         * doc/invoke.texi (param table): Add max-grow-copy-bb-insn.
 771
 772 2005-10-05  Richard Henderson  <rth@redhat.com>
 773
 774         PR target/23602
 775         * toplev.c (process_options): Warn about unsupported combinations
 776         of unwind tables and omit-frame-pointer.
 777         * config/i386/i386.c (override_options): Similarly.  Enable
 778         accumulate-outgoing-args if not explicitly disabled.
 779
 780 2005-10-05  Steve Ellcey  <sje@cup.hp.com>
 781
 782         * vect.md (vec_initv2si): Fix typo of V2SF to V2SI.
 783         Handle big endian vs. small endian.
 784         (vec_initv2sf): Handle big endian vs. small endian.
 785         (*vec_extractv2sf_1): Ditto.
 786
 787 2005-10-05  Dale Johannesen  <dalej@apple.com>
 788
 789         * convert.c (convert_to_real):  Don't convert
 790         (float)floor(double d) to floorf((float)d).
 791
 792 2005-10-05  Daniel Jacobowitz  <dan@codesourcery.com>
 793
 794         * config/arm/arm.md (insv): Use gen_int_mode in more places.
 795
 796 2005-10-05  Andrew MacLeod  <amacleod@redhat.com>
 797
 798         PR tree-optimization/18587
 799         * tree-ssa-operands.c (struct opbuild_list_d, OPBUILD_LAST): Delete.
 800         (build_defs, build_uses, build_v_may_defs, build_v_must_defs,
 801         build_vuses): Change to VEC type.
 802         (opbuild_initialize_virtual, opbuild_initialize_real, opbuild_free,
 803         opbuild_num_elems, opbuild_append_real, opbuild_append_virtual,
 804         opbuild_first, opbuild_next, opbuild_elem_real, opbuild_elem_virtual,
 805         opbuild_elem_uid, opbuild_clear, opbuild_remove_elem): Delete.
 806         (get_name_decl): New.  Return DECL_UID of base variable.
 807         (operand_build_cmp): New.  qsort comparison routine.
 808         (operand_build_sort_virtual): New.  Sort virtual build vector.
 809         (init_ssa_operands, fini_ssa_operands): Use VEC routines.
 810         (FINALIZE_OPBUILD_BASE, FINALIZE_OPBUILD_ELEM): Use VEC_Index.
 811         (FINALIZE_BASE): Use get_name_decl.
 812         (finalize_ssa_defs, finalize_ssa_uses, cleanup_v_may_defs,
 813         finalize_ssa_v_may_defs, finalize_ssa_vuses, finalize_ssa_v_must_defs,
 814         (start_ssa_stmt_operands, append_def, append_use, append_vuse,
 815         append_v_may_def, append_v_must_def): Replace opbuild_* routines with
 816         direct VEC_* manipulations.
 817         (build_ssa_operands): Call operand_build_sort_virtual.
 818         (copy_virtual_operand, create_ssa_artficial_load_stmt,
 819         add_call_clobber_ops, add_call_read_ops): Replace opbuild_* routines
 820         with direct VEC_* manipulations.
 821         * tree-ssa-opfinalize.h (FINALIZE_FUNC): Replace opbuild_* routines
 822         with direct VEC manipulations.
 823
 824 2005-10-05  Paolo Bonzini  <bonzini@gnu.org>
 825
 826         PR tree-optimization/21419
 827         PR tree-optimization/24146
 828         PR tree-optimization/24151
 829
 830         * c-typeck.c (readonly_error): Handle USE being lv_asm.
 831         (build_asm_expr): Call it if outputs are read-only.
 832         * gimplify.c (gimplify_asm_expr): Remove former fix to PR 21419.
 833
 834 2005-10-05  Billy Biggs  <billy.biggs@gmail.com>
 835             Paolo Bonzini  <bonzini@gnu.org>
 836
 837         PR target/23809
 838
 839         * doc/extend.texi (x86 Built-ins): Document that -msse and friends
 840         enable the instructions and not just the built-ins.
 841         * doc/invoke.texi (x86 Options): Likewise.
 842
 843 2005-10-04  Geoffrey Keating  <geoffk@apple.com>
 844
 845         * config/i386/t-darwin (SHLIB_VERPFX): Fix typo.
 846
 847         * doc/invoke.texi (Option Summary): Correct spelling
 848         of -mmacosx-version-min.
 849
 850 2005-10-04  Devang Patel  <dpatel@apple.com>
 851
 852         * c-common.c (vector_types_convertible_p): Check TYPE_PRECISION for
 853         real types.
 854
 855 2005-10-04  Steve Ellcey  <sje@cup.hp.com>
 856
 857         * tree-vect-transform.c (vect_create_epilog_for_reduction):
 858         Use BYTES_BIG_ENDIAN instead of BITS_BIG_ENDIAN.
 859
 860 2005-10-04  Adrian Straetling  <straetling@de.ibm.com>
 861
 862         * config/s390/s390.md ("TDSI","DP"): New mode macros.
 863         ("TE","tg"): New mode attributes.
 864         ("sync_compare_and_swap<mode>"): Replace with a define_expand.
 865         ("sync_compare_and_swap<mode>_cc"): Replace GPR with TDSI.
 866         ("*sync_compare_and_swap<mode>_cc"): Replace with one pattern for
 867         dword_mode and one for GPRmode.
 868
 869 2005-10-04  Ian Lance Taylor  <ian@airs.com>
 870
 871         PR preprocessor/13726
 872         * c-ppoutput.c (cb_include): Add comments parameter, and print out
 873         any comments passed in.
 874
 875 2005-10-04  Andrew Pinski  <pinskia@physics.uc.edu>
 876
 877         * tree.c (annotate_with_file_line): Fix typo.
 878
 879 2005-10-04  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 880
 881         PR ada/19382
 882         * builtins.c (fold_builtin_memcmp): When constructing the pointer
 883         type used to access data in the inlined length == 1 case, use
 884         build_pointer_type_for_mode with CAN_ALIAS_ALL set to true.
 885         (fold_builtin_strcmp, fold_builtin_strncmp): Likewise.
 886
 887 2005-10-04  Uros Bizjak  <uros@kss-loka.si>
 888
 889         * config/i386/i386.h (TARGET_FISTTP): Enable also for
 890         TARGET_SSE3 and only for TARGET_80387.
 891         * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1,
 892         (fix_trunc<mode>_i387_fisttp, fix_trunc<mode>_i387_fisttp_with_temp):
 893         Do not depend on TARGET_80387.
 894
 895 2005-10-04  Andrew Pinski  <pinskia@physics.uc.edu>
 896
 897         * tree.c (last_annotated_node): Change type to location_t*.
 898         (annotate_with_file_line): Reflect the change of
 899         last_annotated_node type.
 900
 901 2005-10-04  Richard Guenther  <rguenther@suse.de>
 902
 903         PR c/23576
 904         * c-decl.c (grokdeclarator): Don't write to fields
 905         of error_mark_node.
 906
 907 2005-10-04  Andrew Pinski  <pinskia@physics.uc.edu>
 908
 909         PR middle-end/23125
 910         * c-decl.c (finish_decl): Use set_user_assembler_name even for
 911         register variables.
 912         * varasm.c (make_decl_rtl): If a register variable does not
 913         have a set user assmbler name, error out.
 914         Decode the asmspec is now name+1 bypassing '*'.
 915
 916 2005-10-04  Steven Bosscher  <stevenb@suse.de>
 917
 918         PR tree-optimization/23049
 919         * tree-ssa-dom.c (thread_across_edge): Make sure that the condition
 920         of a COND_EXPR is folded before calling fold on the whole rhs of a
 921         conditional assignment.
 922         * doc/tree-ssa.texi: Update the GIMPLE grammar for a valid rhs to
 923         document that a COND_EXPR may appear there.
 924
 925 2005-10-03  Diego Novillo  <dnovillo@redhat.com>
 926
 927         PR 23445
 928         * tree-vrp.c (extract_range_from_assert): If the new numeric
 929         range created out of the assertion contradicts the existing
 930         numeric range of the ASSERT_EXPR variable, make the new range
 931         varying.
 932
 933 2005-10-03  Kaz Kojima  <kkojima@gcc.gnu.org>
 934
 935         * config/sh/sh.c (sh_register_move_cost): Add case for moving
 936         from T_REGS to FP register class.
 937
 938 2005-10-03  Richard Henderson  <rth@redhat.com>
 939
 940         PR 24135
 941         * tree-nested.c (convert_nl_goto_reference): Lookup a translation
 942         before creating a new one.
 943
 944 2005-10-03  David Edelsohn  <edelsohn@gnu.org>
 945
 946         * config/rs6000/t-aix43 (LDFLAGS): New.
 947         * config/rs6000/t-aix52 (LDFLAGS): New.
 948
 949 2005-10-03  Ian Lance Taylor  <ian@airs.com>
 950
 951         * gimplify.c (find_single_pointer_decl_1): New static function.
 952         (find_single_pointer_decl): New static function.
 953         (internal_get_tmp_var): For a formal variable, set restrict base
 954         information if appropriate.
 955         * alias.c (find_base_decl): If a VAR_DECL has a restrict base,
 956         return it.
 957         * tree.h (DECL_BASED_ON_RESTRICT_P): Define.
 958         (DECL_GET_RESTRICT_BASE): Define.
 959         (SET_DECL_RESTRICT_BASE): Define.
 960         (decl_restrict_base_lookup): Declare.
 961         (decl_restrict_base_insert): Declare.
 962         (struct tree_decl_with_vis): Add based_on_restrict_p field.
 963         * tree.c (restrict_base_for_decl): New static variable.
 964         (init_ttree): Initialize restrict_base_for_decl.
 965         (copy_node_stat): Copy restrict base information.
 966         (decl_restrict_base_lookup): New function.
 967         (decl_restrict_base_insert): New function.
 968         (print_restrict_base_statistics): New static function.
 969         (dump_tree_statistics): Call print_restrict_base_statistics.
 970
 971 2005-10-02  Diego Novillo  <dnovillo@redhat.com>
 972
 973         PR 24142
 974         * tree-vrp.c (vrp_meet): Fix call to range_includes_zero_p in
 975         case of anti-ranges.
 976
 977 2005-10-02  Andrew Pinski  <pinskia@physics.uc.edu>
 978
 979         PR c/18851
 980         * c-typeck.c (tagged_tu_seen): Rename to ...
 981         (tagged_tu_seen_cache): this and add val field.
 982         (comptypes): Move functional to comptypes_internal
 983         and free tagged_tu_seen.
 984         (comptypes_internal): New function and call comptypes_internal
 985         instead of comptypes. Speed up by sibcalling
 986         tagged_types_tu_compatible_p.
 987         (alloc_tagged_tu_seen): New function
 988         (free_all_tagged_tu_seen_up_to): New function.
 989         (tagged_types_tu_compatible_p): Return the val of the seen two
 990         types.
 991         Add that the two types are the same to tagged_tu_seen_base
 992         if they are and call comptypes_internal instead of comptypes.
 993         <case UNION_TYPE>: Speed up common type where the fields are
 994         in the same order.
 995         (function_types_compatible_p): Call comptypes_internal instead of
 996         comptypes.
 997         (type_lists_compatible_p): Likewise.
 998         (all functions): s/tagged_tu_seen/tagged_tu_seen_cache/.
 999
1000 2005-10-02  Matthias Klose  <doko@debian.org>
1001
1002         * doc/invoke.texi: Fix typo and speling error.
1003
1004 2005-10-01  Richard Henderson  <rth@redhat.com>
1005
1006         * tree-stdarg.c (execute_optimize_stdarg): Process PHI nodes too.
1007
1008 2005-10-01  Mark Mitchell  <mark@codesourcery.com>
1009
1010         * config/arm/unknown-elf.h (LINK_GCC_C_SEQUENCE_SPEC): Define
1011         using --start-group and --end-group.
1012
1013 2005-10-01  Diego Novillo  <dnovillo@redhat.com>
1014
1015         * tree-vrp.c (value_inside_range, range_includes_zero_p): Add
1016         FIXME note regarding quirky semantics.
1017
1018 2005-10-01  Diego Novillo  <dnovillo@redhat.com>
1019
1020         PR 24141
1021         * tree-vrp.c (vrp_meet): Clear VR0->EQUIV when building a
1022         non-null range as a last resort.
1023
1024 2005-10-01  James A. Morrison  <phython@gcc.gnu.org>
1025             Diego Novillo  <dnovillo@redhat.com>
1026
1027         PR 23604
1028         * tree-vrp.c (extract_range_from_assert): For !=
1029         assertions, only build an anti-range if LIMIT is a
1030         single-valued range.
1031
1032 2005-09-30  Richard Earnshaw  <richard.earnshaw@arm.com>
1033
1034         * arm.md (movqi): On thumb when optimizing, handle loading from
1035         memory by describing this as taking a subreg of a zero-extended load
1036         into an SImode register.
1037         (movhi): Likewise.
1038
1039 2005-09-30  Daniel Jacobowitz  <dan@codesourcery.com>
1040
1041         * reload1.c (merge_assigned_reloads): Do not change any
1042         RELOAD_FOR_OUTPUT_ADDRESS reloads.
1043
1044 2005-09-30  Geoffrey Keating  <geoffk@apple.com>
1045
1046         * Makefile.in (LIPO_FOR_TARGET): Define.
1047         (STRIP_FOR_TARGET): Define.
1048
1049         * config/t-slibgcc-darwin (libgcc_s_%.dylib): Remove old symlinks
1050         before creating new ones.  Do symlinks before creating the actual
1051         targets.
1052
1053         * config/t-slibgcc-darwin (libgcc_s_%.dylib): Use --print-multi-lib
1054         to work out which multilibs are actually being built.
1055
1056 2005-09-30  Kazu Hirata  <kazu@codesourcery.com>
1057
1058         * tree-vect-transform.c, config/ms1/ms1.md,
1059         config/s390/s390.c, config/v850/v850.md: Fix comment typos.
1060         Follow spelling conventions.
1061         * doc/invoke.texi, doc/md.texi: Fix typos.
1062
1063 2005-09-30  Andrew Macleod  <amacleod@redat.com>
1064
1065         PR tree-optimization/21430
1066         * tree-ssa-operands.c (set_virtual_use_link): New. Link new virtual
1067         use operands, and set stmt pointer if need be.
1068         (FINALIZE_CORRECT_USE: New. Macro to call appropriate use fixup routine.
1069         tree-ssa-opfinalize.h (FINALIZE_FUNC): Call FINALIZE_CORRECT_USE if
1070         present.
1071
1072 2005-09-29  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1073
1074         PR middle-end/24053
1075         * stor-layout.c (set_sizetype): Set TYPE_MAIN_VARIANT of bitsizetype.
1076
1077 2005-09-29  Mark Mitchell  <mark@codesourcery.com>
1078
1079         * optabs.c (expand_binop): Initialize first_pass_p.
1080
1081 2005-09-29  Jakub Jelinek  <jakub@redhat.com>
1082
1083         PR middle-end/24109
1084         * c-decl.c (c_write_global_declarations_1): If any
1085         wrapup_global_declaration_2 call returned true, restart the loop.
1086
1087 2005-09-29  Daniel Berlin  <dberlin@dberlin.org>
1088
1089         Fix PR tree-optimization/24117
1090         * tree-ssa-structalias.c (find_func_aliases): Strip nops
1091         before considering whether to use anyoffset.
1092
1093 2005-09-29  Paolo Bonzini  <bonzini@gnu.org>
1094
1095         Revert this patch:
1096
1097         2005-09-15  Paolo Bonzini  <bonzini@gnu.org>
1098
1099         * optabs.c (expand_binop): Use swap_commutative_operands_with_target
1100         to order operands.
1101         (swap_commutative_operands_with_target): New.
1102
1103 2005-09-29  Paolo Bonzini  <bonzini@gnu.org>
1104
1105         PR c/21419
1106         * gimplify.c (gimplify_asm_expr): Raise an error if an output is
1107         read-only.
1108
1109 2005-09-29  Steven Bosscher  <stevenb@suse.de>
1110
1111         PR tree-optimization/23911
1112         * tree-ssa-ccp.c (fold_const_aggregate_ref): Handle REALPART_EXPR
1113         and IMAGPART_EXPR too.
1114
1115 2005-09-28  Mark Mitchell  <mark@codesourcery.com>
1116
1117         PR 17886
1118         * expmed.c (expand_shift): Move logic to reverse rotation
1119         direction when  rotating by constants ...
1120         * optabs.c (expand_binop): ... here.
1121         * config/i386/i386.md (rotrdi3): Handle 32-bit mode.
1122         (ix86_rotrdi3): New pattern.
1123         (rotldi3): Handle 32-bit mode.
1124         (ix86_rotldi3): New pattern.
1125
1126 2005-09-29  Alan Modra  <amodra@bigpond.net.au>
1127
1128         PR target/24102
1129         * config/rs6000/rs6000.md (floatdisf2_internal2): Correct range
1130         check for numbers that need no bit twiddle.
1131
1132 2005-09-28  Geoffrey Keating  <geoffk@apple.com>
1133
1134         * config/rs6000/t-darwin8: Uncomment contents, allow -m64
1135         multilib to be built.
1136
1137         * Makefile.in: Export LIPO_FOR_TARGET, STRIP_FOR_TARGET.
1138         (stage1-start): Delete old libgcc and libunwind before moving
1139         anything into the stage directory.
1140         (stage2-start): Likewise.
1141         (stage3-start): Likewise.
1142         (stage4-start): Likewise.
1143         (stageprofile-start): Likewise.
1144         (stagefeedback-start): Likewise.
1145         * config.gcc (*-*-darwin*): Automatically use CPU-specific darwin.h
1146         header in tm_file and CPU-specific t-darwin in tmake_file.
1147         (i[34567]86-*-darwin*): Don't change tm_file.
1148         (powerpc-*-darwin*): Don't change tm_file or tmake_file.
1149         * config/darwin.h (REAL_LIBGCC_SPEC): Rewrite to use proper libgcc
1150         shared library stub for target OS version.
1151         * config/t-slibgcc-darwin (SHLIB_SOLINK): Delete.
1152         (SHLIB_LINK): Don't make SHLIB_SOLINK.
1153         (SHLIB_INSTALL): Don't install SHLIB_SOLINK.
1154         (libgcc_s.%.dylib): New.
1155         (LIBGCC): Define.
1156         (install-darwin-libgcc-stubs): New.
1157         (INSTALL_LIBGCC): New append.
1158         * config/i386/darwin-libgcc.10.4.ver: New.
1159         * config/i386/darwin-libgcc.10.5.ver: New.
1160         * config/i386/t-darwin: New.
1161         * config/rs6000/darwin-libgcc.10.4.ver: New.
1162         * config/rs6000/darwin-libgcc.10.5.ver: New.
1163         * config/rs6000/darwin.h (REAL_LIBGCC_SPEC): Delete.
1164         * config/rs6000/t-darwin (SHLIB_VERPFX): Define.
1165
1166 2005-09-28  Paul Brook  <paul@codesourcery.com>
1167
1168         * config/m68k/fpgnulib.c (__extendsfdf2, __truncdfsf2): Handle
1169         denormals.
1170
1171 2005-09-28  Richard Guenther  <rguenther@suse.de>
1172
1173         PR tree-optimization/23853
1174         * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use
1175         host_integerp to verify misalignment value.
1176
1177 2005-09-28  Richard Henderson  <rth@redhat.com>
1178
1179         * builtins.c (get_builtin_sync_mode): New.
1180         (expand_builtin_sync_operation): Pass in mode argument.
1181         (expand_builtin_compare_and_swap): Likewise.
1182         (expand_builtin_lock_test_and_set): Likewise.
1183         (expand_builtin_lock_release): Likewise.
1184         (expand_builtin): Update to match.
1185
1186 2005-09-28  Nick Clifton  <nickc@redhat.com>
1187
1188         * config/v850/v850.h (GO_IF_LEGITIMATE_ADDRESS): Tidy up
1189         formatting.  Add check to PLUS case to ensure that the offset is
1190         within an acceptable range.
1191
1192         * config/v850/v850.md (casesi): Disable the generation of the
1193         switch pattern as it is not being handled properly at the moment.
1194
1195         * config/v850/lib1funcs.asm (___ucmpdi2): Correct jump instruction
1196         for when the high words are identical.
1197
1198 2005-09-27  Richard Henderson  <rth@redhat.com>
1199
1200         * pretty-print.c (pp_base_format): Fix typo for %>.
1201
1202 2005-09-27  Daniel Berlin  <dberlin@dberlin.org>
1203             Devang Patel  <dpatel@apple.com>
1204
1205         PR tree-optimization/23625
1206         * tree-flow-inline.h (bsi_after_labels): Remove, first statement is
1207         LABEL_EXPR, assertion check.
1208
1209 2005-09-27  J"orn Rennecke <joern.rennecke@st.com>
1210
1211         * optabs.c (no_conflict_move_test): Check if a result of a
1212         to-be-moved insn would be clobbered by an originally
1213         preceding insn.
1214
1215 2005-09-27  Jeff Law  <law@redhat.com>
1216
1217         * passes.c (init_optimization_passes): Replace copy propagation
1218         passes immediately after DOM with phi-only copy propagation
1219         pases.  Add phi-only copy propagation pass after first DOM pass.
1220         * tree-pass.h (pass_phi_only_copy_prop): Declare.
1221         * tree-ssa-copy.c (init_copy_prop): Accept new PHI_ONLY argument.
1222         If true, then mark all non-control statements with DONT_SIMULATE_AGAIN.
1223         (execute_copy_prop): Accept new PHI_ONLY argument.  Pass it along
1224         to init_copy_prop.  Callers updated.
1225         (do_phi_only_copy_prop): New function.
1226         (pass_phi_only_copy_prop): New pass descriptor.
1227
1228 2005-09-27  Nick Clifton  <nickc@redhat.com>
1229
1230         * libgcc2.c (__popcount_tab): Remove redundant prototype.
1231
1232 2005-09-26  Jason Merrill  <jason@redhat.com>
1233
1234         PR c++/13764
1235         * c-common.c (finish_fname_decls): Use append_to_statement_list_force.
1236
1237         * doc/invoke.texi: Clarify documentation of -fno-enforce-eh-specs.
1238
1239 2005-09-26  James E Wilson  <wilson@specifix.com>
1240
1241         * config/ia64/crtbegin.asm, config/ia64/crtend.asm: Remove glibc
1242         copyright.  Add gcc copyright plus libgcc exception.
1243         * config/ia64/crtfastmath.asm: Remove glibc copyright.  Add gcc
1244         copyright.
1245         * config/ia64/lib1funcs.asm: Add gcc copyright plus libgcc exception.
1246
1247 2005-09-26  Jeff Law  <law@redhat.com>
1248
1249         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Be more selective
1250         about when to iterate.
1251
1252 2005-09-23  Fariborz Jahanian <fjahanian@apple.com>
1253
1254         PR target/23847
1255         * config/rs6000/rs6000.c (rs6000_function_value): Parallel pattern
1256         for __complex__ double in -mcpu=G5 mode.
1257
1258 2005-09-26  Sebastian Pop  <pop@cri.ensmp.fr>
1259
1260         PR tree-optimization/23942
1261         * Makefile.in (SCEV_H): Depends on PARAMS_H.
1262         * tree-scalar-evolution.c: Include params.h.
1263         (t_bool): New enum.
1264         (follow_ssa_edge, follow_ssa_edge_in_rhs,
1265         follow_ssa_edge_in_condition_phi_branch,
1266         follow_ssa_edge_in_condition_phi, follow_ssa_edge_inner_loop_phi):
1267         Change return type to t_bool.  Use a parameter to limit the size of
1268         trees that are walked before stopping
1269         (analyze_evolution_in_loop): Initialize the limit to 0.
1270         (follow_ssa_edge): Give up by returning t_dont_know if the limit
1271         exceeds PARAM_SCEV_MAX_EXPR_SIZE.
1272
1273 2005-09-26  Uros Bizjak  <uros@kss-loka.si>
1274
1275         PR middle-end/23831
1276         * simplify-rtx.c (simplify_immed_subreg) [MODE_INT]: Skip
1277         simplification if elem_bitsize > 2 * HOST_BITS_PER_WIDE_INT.
1278
1279 2005-09-26    Fariborz Jahanian <fjahanian@apple.com>
1280
1281         * combine.c (make_extraction): Check for valid use of subreg.
1282
1283 2005-09-26  Uros Bizjak  <uros@kss-loka.si>
1284
1285         PR target/24055
1286         * config/i386/i386.md ("*fistdi2_1"): New pattern.
1287         ("*fist<mode>2_1"): Use only HImode and SImode register operands.
1288         ("fist<mode>2_with_temp"): Use only register operands.
1289
1290 2005-09-26  J"orn Rennecke <joern.rennecke@st.com>
1291
1292         * rtlanal.c (reg_used_between_p): Don't check for CLOBBERs in
1293         CALL_INSN_FUNCTION_USAGE.
1294
1295 2005-09-26  Richard Guenther  <rguenther@suse.de>
1296
1297         PR middle-end/15855
1298         * gcse.c: Include hashtab.h, define ldst entry hashtable.
1299         (pre_ldst_expr_hash, pre_ldst_expr_eq): New functions.
1300         (ldst_entry): Use the hashtable instead of list-walking.
1301         (find_rtx_in_ldst): Likewise.
1302         (free_ldst_entry): Free the hashtable.
1303         (compute_ld_motion_mems): Create the hashtable.
1304         (trim_ld_motion_mems): Remove entry from hashtable if
1305         removing it from list.
1306         (compute_store_table): Likewise^2.
1307         (store_motion): Free hashtable in case we did not see
1308         any stores.
1309
1310 2005-09-25  Kazu Hirata  <kazu@codesourcery.com>
1311
1312         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
1313         and arg1 if we are passing them to fold_build2.
1314
1315 2005-09-25  Dan Nicolaescu  <dann@ics.uci.edu>
1316
1317         PR 23828
1318         * config/i386/i386.c (ix86_function_regparm): Fix the test for
1319         a nested function.
1320
1321 2005-09-25  Richard Henderson  <rth@redhat.com>
1322
1323         * config/alpha/alpha.c (tls_symbolic_operand_1): Trust
1324         SYMBOL_REF_TLS_MODEL to be correct.
1325
1326 2005-09-24  Richard Henderson  <rth@redhat.com>
1327
1328         * ipa-type-escape.c (discover_unique_type): Remove dead code at
1329         end of function.  Reindent.
1330
1331 2005-09-24  Ian Lance Taylor  <ian@airs.com>
1332
1333         * convert.c (convert_to_integer): Don't test for ENUMERAL_TYPE in
1334         NEGATE_EXPR/BIT_NOT_EXPR case.
1335
1336 2005-09-24  Richard Henderson  <rth@redhat.com>
1337
1338         * c-common.c (handle_mode_attribute): When not modifying in place,
1339         create subtypes for enumerations.
1340         (sync_resolve_return): Use TYPE_MAIN_VARIANT.
1341         * gimplify.c (create_tmp_from_val): Likewise.
1342
1343 2005-09-24  Alexandre Oliva  <aoliva@redhat.com>
1344
1345         * config/i386/i386.md (*tls_global_dynamic_64,
1346         *tls_local_dynamic_base_64): Add missing mode to call.
1347         (tls_global_dynamic_64, tls_local_dynamic_base_64): Likewise.
1348
1349 2005-09-24  Jan Hubicka  <jh@suse.cz>
1350
1351         * cgraph.c (cgraph_clone_edge): Make the scale gcov_type.
1352         (cgraph_clone_node): Likewise.
1353         * cgraph.h (cgraph_clone_edge): Update prototype.
1354         (cgraph_mark_inline_edge, cgraph_clone_inlined_nodes): Remove
1355         duplicated prototypes; add updating argument.
1356         * cgraphunit.c (verify_cgraph_node): Verify that counts are non-negative.
1357         * ipa-inline.c (cgraph_clone_inlined_nodes): Allow clonning without
1358         updating profile.
1359         (cgraph_mark_inline_edge): Likewise.
1360         (cgraph_mark_inline): Update use of cgraph_mark_inline_edge.
1361         (cgraph_flatten_node): Likewise.
1362         (cgraph_decide_recursive_inlining): Likewise.
1363         (cgraph_decide_inlining_of_small_function): Likewise.
1364         * tree-optimize.c (tree_rest_of_compilation): Likewise.
1365
1366 2005-09-23  David Edelsohn  <edelsohn@gnu.org>
1367             Pete Steinmetz <steinmtz@us.ibm.com>
1368
1369         * config/rs6000/rs6000.md (neg-minus-mult): Set type to dmul.
1370         (rldic.): Set type to "compare".
1371         (rldicr.): Same.
1372         (movsf_hardfloat): Set type to mtjmpr for MTCTR/MTLR.  Set type to
1373         mfjmpr for MFCTR/MFLR.
1374         (movdf_hardfloat64): Same.
1375         (movdf_softfloat64): Same.  Correct order of store and move types.
1376         (movti_string): Set type to store_ux/load_ux.
1377         (load_multiple): Set type to load_ux.
1378         (store_multiple): Set type to store_ux.
1379         (movmemsi): Set type to store_ux.
1380         (output_cbranch direct_return): Set type to jmpreg.
1381         (stmw): Set type to store_ux.
1382         (lmw): Set type to load_ux.
1383         * config/rs6000/40x.md (ppc403-store): Increase latency to 2.
1384         * config/rs6000/440.md (ppc440-store): Increase latency to 6.
1385         * config/rs6000/603.md (ppc603-store): Occupy LSU for 2 cycles.
1386         * config/rs6000/6xx.md (ppc604-store): Increase latency to 3.
1387         * config/rs6000/mpc.md (mpccore-store): Increase latency to 2.
1388         * config/rs6000/rios1.md (rios1-store): Increase latency to 2.
1389         (rios1-fpstore): Increase latency to 3.
1390         * config/rs6000/rios2.md (rios2-store): Increase latency to 2.
1391         * config/rs6000/rs64.md (rs64a-store): Increase latency to 2.
1392
1393 2005-09-23  David Edelsohn  <edelsohn@gnu.org>
1394             Andrew Pinski  <pinskia@physics.uc.edu>
1395
1396         * config/rs6000/sync.md (sync_<fetchop_name>si_internal): Change
1397         operand2 constraint to "b".
1398         (sync_<fetchop_name>di_internal): Same.
1399         (sync_old_<fetchop_name>si_internal): Change operand3 constraint
1400         to "b".
1401         (sync_old_<fetchop_name>di_internal): Same.
1402         (sync_new_<fetchop_name>si_internal): Same.
1403         (sync_new_<fetchop_name>di_internal): Same.
1404
1405 2005-09-23  J"orn Rennecke <joern.rennecke@st.com>
1406
1407         PR middle-end/23991
1408         * final.c (insn_default_length, insn_min_length): In !HAVE_ATTR_length
1409         case, define as macros.
1410
1411         PR rtl-optimization/23837
1412         *  optabs.c (no_conflict_move_test): Don't set must_stay for a
1413         clobber / clobber match between dest and p->first.
1414
1415         * optabs.c (emit_libcall_block): Use no_conflict_move_test.
1416         (no_conflict_move_test): Update comments.
1417
1418 2005-09-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
1419
1420         * doc/install.texi: Update URL for Jacks.
1421         * doc/sourcebuild.texi: Likewise.
1422
1423 2005-09-22  David Edelsohn  <edelsohn@gnu.org>
1424
1425         PR target/24007
1426         * config/rs6000/rs6000.md (movsf_hardfloat): Ignore special
1427         registers when choosing register preferences.
1428         (movdf_hardfloat64): Same.
1429
1430 2005-09-22  Andreas Krebbel  <krebbel1@de.ibm.com>
1431
1432         * expmed.c (expand_shift): Don't use the target of the rotate as
1433         target for the first expanded shift insn.
1434         * testsuite/gcc.dg/20050922-1.c: Testcase added.
1435
1436 2005-09-21  Zdenek Dvorak  <dvorakz@suse.cz>
1437
1438         PR tree-optimization/22438
1439         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Handle all
1440         preserved iv rhs rewriting specially.
1441
1442 2005-09-21  Daniel Berlin  <dberlin@dberlin.org>
1443
1444         * tree-data-ref.c (analyze_array_indexes): Only estimate when
1445         estimate_only  is true.
1446         * tree-flow.h (ref_contains_indirect_ref): New prototype.
1447         * tree-flow-inline.h (ref_contains_indirect_ref): Moved from
1448         tree-ssa-structalias.c
1449         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Use
1450         ref_contains_indirect_ref.
1451         * tree-ssa-structalias.c (ref_contains_indirect_ref): Moved.
1452
1453 2005-09-21  DJ Delorie  <dj@redhat.com>
1454
1455         * config/mn10300/mn10300.c (TARGET_DEFAULT_TARGET_FLAGS): Add
1456         MASK_PTR_A0D0.
1457         (mn10300_return_in_memory): Support variable size types also.
1458         (mn10300_pass_by_reference): Likewise.
1459         (mn10300_function_value): New.
1460         * config/mn10300/mn10300.h (FUNCTION_VALUE): Call the above.
1461         (FUNCTION_OUTGOING_VALUE): Likewise.
1462         * config/mn10300/mn10300.opt: Add -mreturn-pointer-on-d0.
1463         * doc/invoke.texi: Document it.
1464
1465 2005-09-21  Uros Bizjak  <uros@kss-loka.si>
1466
1467         PR target/22585
1468         * config/i386/i386.c (ix86_prepare_fp_compare_args): Do not
1469         force integer op1 into register for XFmode compares.
1470
1471 2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
1472
1473         PR middle-end/23971
1474         * expmed.c (alg_code): Add alg_impossible.
1475         (alg_hash_entry): Add cost.
1476         (synth_mult): Record alg_impossible in the hash table if
1477         multiplication by a given integer is impossble within the
1478         limit.  Speed up using alg_impossible.
1479
1480 2005-09-20  Daniel Berlin  <dberlin@dberlin.org>
1481
1482         * tree-ssa-structalias.c (get_constraint_for_component_ref): Add
1483         argument.  Allow and set any offset if needs_anyoffset is passed
1484         in.
1485         (get_constraint_for): Add argument here too.
1486         Pass it down.
1487         (do_structure_copy): Pass NULL to get_constraint_for.
1488         (handle_ptr_arith): Ditto.
1489         (find_func_aliases): Ditto.
1490
1491 2005-09-20  J"orn Rennecke <joern.rennecke@st.com>
1492
1493         PR rtl-optimization/23898
1494         * output.h (get_attr_min_length): Declare.
1495         * final.c (get_attr_length_1): New function, broken out of:
1496         (get_attr_length).
1497         (get_attr_min_length): New function.
1498         * bb-reorder.c (copy_bb_p, get_uncond_jump_length): Use it.
1499         (duplicate_computed_gotos): Likewise.
1500         * genattr.c (insn_min_length): Generate declaration.
1501         * genattrtab.c (min_fn, min_attr_value): New functions.
1502         (make_length_attrs): Generate insn_min_length.
1503
1504 2005-09-20  Steve Ellcey  <sje@cup.hp.com>
1505
1506         * config/pa/pa.c (output_cbranch): Check for zero in operands[2].
1507
1508 2005-09-20  Richard Henderson  <rth@redhat.com>
1509
1510         PR tree-optimization/24059
1511         * expr.c (expand_expr_real_1) <INDIRECT_REF>: Allow modifier
1512         EXPAND_STACK_PARM.
1513
1514 2005-09-20  Joseph S. Myers  <joseph@codesourcery.com>
1515
1516         * c.opt (fextended-identifiers): New.
1517         * c-opts.c (c_common_handle_option): Handle
1518         -fextended-identifiers.
1519         * doc/cpp.texi: Update documentation of extended identifiers.
1520         * doc/cppopts.texi (-fextended-identifiers): Document.
1521
1522 2005-09-20  Jakub Jelinek  <jakub@redhat.com>
1523
1524         PR tree-optimization/23929
1525         * tree-ssa-loop-niter.c (expand_simple_operations): Return immediately
1526         if expr is NULL.
1527
1528         PR tree-optimization/23818
1529         * tree-stdarg.c (execute_optimize_stdarg): Call
1530         calculate_dominance_info.
1531
1532 2005-09-20  Daniel Berlin  <dberlin@dberlin.org>
1533
1534         * tree-data-ref.c (get_number_of_iters_for_loop): New function.
1535         (analyze_siv_subscript_cst_affine): Add weak SIV test.
1536         (compute_overlap_steps_for_affine_1_2): Use
1537         get_number_of_iters_for_loop.
1538         (analyze_subscript_affine_affine): Check whether difference is
1539         zero first.
1540         Use get_number_of_iters_for_loop.
1541         Check whether overlap occurs outside of bounds.
1542         (analyze_miv_subscript): Use get_number_of_iters_for_loop.
1543
1544 2005-09-20  Andreas Krebbel  <krebbel1@de.ibm.com>
1545
1546         * tree-ssa-address.c (create_mem_ref): Put the symbol reference into the
1547         base register if possible.
1548
1549 2005-09-20  Zdenek Dvorak  <dvorakz@suse.cz>
1550
1551         PR tree-optimization/18463
1552         * tree-chrec.c (chrec_convert): Return fold_converted chrec if
1553         converting it directly is not possible.
1554         (chrec_convert_aggressive): New function.
1555         * tree-chrec.h (chrec_convert_aggressive): Declare.
1556         * tree-scalar-evolution.c (instantiate_parameters_1, resolve_mixers):
1557         Fold chrec conversions aggressively if asked to.
1558         (instantiate_parameters): Modified because of changes in
1559         instantiate_parameters_1.
1560
1561 2005-09-19  Richard Henderson  <rth@redhat.com>
1562
1563         * config/i386/sse.md (reduc_splus_v4sf): Rename from reduc_plus_v4sf.
1564         (reduc_splus_v2df): New.
1565
1566 2005-09-19  Richard Sandiford  <richard@codesourcery.com>
1567
1568         * config/arm/aof.h (REGISTER_NAMES): Add missing backslash.
1569         (ADDITIONAL_REGISTER_NAMES): Add missing comma.  Remove final comma.
1570
1571 2005-09-19  Richard Henderson  <rth@redhat.com>
1572
1573         * config/i386/sse.md (vcondu<SSEMODE124>): Rename from
1574         vcondu<SSEMODE12>.
1575
1576 2005-09-19  Richard Henderson  <rth@redhat.com>
1577
1578         * config/ia64/ia64.c (ia64_expand_widen_sum): New.
1579         (ia64_expand_dot_prod_v8qi): New.
1580         * config/ia64/ia64-protos.h: Update.
1581         * config/ia64/vect.md (pmpy2_r, pmpy2_l, widen_usumv8qi3,
1582         widen_usumv4hi3, widen_ssumv8qi3, widen_ssumv4hi3, udot_prodv8qi,
1583         sdot_prodv8qi, sdot_prodv4hi): New.
1584         (reduc_splus_v2sf): Rename from reduc_plus_v2sf.
1585
1586 2005-09-19  Richard Henderson  <rth@redhat.com>
1587
1588         PR 23941
1589         * real.c (exact_real_truncate): Return false if the format cannot
1590         represent the number as a normal.
1591
1592         * config/alpha/alpha.c (alpha_rtx_costs) <FLOAT_EXTEND>: Cost 0
1593         for a memory source.
1594
1595 2005-09-19  Dorit Nuzman  <dorit@il.ibm.com>
1596
1597         * tree-ssa-operands.c (swap_tree_operands): Export.
1598         * tree.h (swap_tree_operands): Declare.
1599         * tree-vectorizer.c (vect_is_simple_reduction): Remove ATTRIBUTE_UNUSED.
1600         Call swap_tree_operands.
1601
1602 2005-09-19  Richard Henderson  <rth@redhat.com>
1603
1604         * tree-flow.h (merge_alias_info): Declare.
1605         * tree-ssa-copy.c (merge_alias_info): Export.
1606         * tree-vect-transform.c (vect_create_index_for_vector_ref): Remove.
1607         (vect_create_data_ref_ptr): Use create_iv directly.
1608         (vectorizable_load): Use correct types for integer constants.
1609         (vect_generate_tmps_on_preheader): Likewise.
1610         (vect_gen_niters_for_prolog_loop): Likewise.
1611
1612 2005-09-19  Steven Bosscher  <stevenb@suse.de>
1613
1614         PR rtl-optimization/23943
1615         * cse.c (find_best_addr): Never propagate an EXPR_LIST rtx.
1616
1617 2005-09-18  Jan Hubicka  <jh@suse.cz>
1618
1619         * calls.c (flags_from_decl_or_type): Do not set ECF_LIBCALL_BLOCK.
1620
1621 2005-09-18  Eric Botcazou  <ebotcazou@adacore.com>
1622
1623         * varasm.c (output_constant): Do not abort on conversions to union
1624         types between different sizes.
1625
1626 2005-09-18  Richard Guenther  <rguenther@suse.de>
1627
1628         PR middle-end/23944
1629         * gimplify.c (fold_indirect_ref_rhs): Fix thinko in
1630         fallback.
1631
1632 2005-09-18  Paul Brook  <paul@codesourcery.com>
1633
1634         * config/m68k/fpgnuib.c (__floatsidf): Don't rely on signed overflow.
1635
1636 2005-09-17  Richard Henderson  <rth@redhat.com>
1637
1638         * tree-pass.h, tree-flow.h, tree-ssa-dce.c: Revert last change.
1639         * tree-ssa-loop.c (pass_vect_dce): Remove.
1640         * passes.c (init_optimization_passes): Add pass_dce as a sub-pass
1641         of pass_vectorize.
1642
1643 2005-09-17  Richard Henderson  <rth@redhat.com>
1644
1645         * tree-pass.h (pass_vect_dce): Declare.
1646         * passes.c (init_optimization_passes): Add it.
1647         * tree-flow.h (tree_ssa_dce): Declare.
1648         * tree-ssa-dce.c (tree_ssa_dce): Export.
1649         * tree-ssa-loop.c (tree_vectorize): Move current_loops check ...
1650         (gate_tree_vectorize): ... here.
1651         (pass_vect_dce): New.
1652
1653 2005-09-17  Jan Hubicka  <jh@suse.cz>
1654
1655         * except.c (struct eh_status): Turn region_array into vec.
1656         (expand_resx_expr, collect_eh_region_array, remove_unreachable_regions,
1657         convert_from_eh_region_ranges, find_exception_handler_labels,
1658         current_function_has_exception_handlers, assign_filter_values,
1659         build_post_landing_pads, dw2_build_landing_pads,
1660         sjlj_find_directly_reachable_regions, sjlj_mark_call_sites,
1661         sjlj_emit_dispatch_table, remove_eh_handler, for_each_eh_region,
1662         foreach_reachable_handler, can_throw_internal_1,
1663         convert_to_eh_region_ranges, verify_eh_tree): Update uses of
1664         region_array.
1665         (duplicate_eh_region_1): Update region_array.
1666         (duplicate_eh_regions): Resize region_array and avoid recomputing.
1667
1668 2005-09-17  David Edelsohn  <edelsohn@gnu.org>
1669
1670         PR middle-end/22067
1671         * expmed.c (expand_mult): Substitute simple register for op0 when
1672         computing max_cost.
1673
1674 2005-09-17  Richard Henderson  <rth@redhat.com>
1675
1676         * expr.c (emit_move_via_integer): Add force argument, pass it on
1677         to emit_move_change_mode.  Update callers.
1678         (emit_move_complex): Pass true to new force argument.
1679         * function.c (expand_function_end): Move expand_eh_return call
1680         earlier.  Merge sub-word complex values into a pseudo before
1681         copying to the return hard register.
1682
1683 2005-09-17  Eric Botcazou  <ebotcazou@adacore.com>
1684
1685         * varasm.c (output_constant): Do not abort on VIEW_CONVERT_EXPRs
1686         between different sizes.
1687
1688 2005-09-16  Paolo Bonzini  <bonzini@gnu.org>
1689
1690         PR 23903
1691
1692         * passes.c (init_optimization_passes): Register dump files for
1693         IPA passes first.
1694
1695 2005-09-16  Andreas Krebbel  <krebbel1@de.ibm.com>
1696
1697         * config/s390/s390-protos.h (s390_overlap_p): Prototype added.
1698         * config/s390/s390.c (s390_overlap_p): New function.
1699         * config/s390/s390.md ("*mvc" peephole2, "*nc" peephole2, "*oc"
1700         peephole2, "*xc" peephole2): Added overlap check to the peephole2
1701         condition.
1702
1703 2005-09-16  Richard Guenther  <rguenther@suse.de>
1704
1705         * ipa-pure-const.c (static_execute): Free auxiliar information.
1706         * ipa-type-escape.c (discover_unique_type): Free temporary key.
1707         * tree-vrp.c (remove_range_assertions): Free blocks_visited sbitmap.
1708
1709 2005-09-15  DJ Delorie  <dj@redhat.com>
1710
1711         * config/m32c/m32c-lib1.S (__m32c_eh_return): Fix typo.
1712
1713 2005-09-15  Paolo Bonzini  <bonzini@gnu.org>
1714
1715         * optabs.c (expand_binop): Use swap_commutative_operands_with_target
1716         to order operands.
1717         (swap_commutative_operands_with_target): New.
1718
1719 2005-09-15  Daniel Berlin  <dberlin@dberlin.org>
1720
1721         * tree-data-ref.c (analyze_array_indexes): Add estimate_only
1722         parameter.
1723         Update callers.
1724         (estimate_iters_using_array): New function.
1725         * tree-data-ref.h (estimate_iters_using_array): Prototype
1726         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined):
1727         Use estimate_iters_using_array instead of analyze_array.
1728
1729 2005-09-15  Eric Botcazou  <ebotcazou@adacore.com>
1730
1731         * tree-nested.c (get_frame_type): Mark the "non-local frame structure"
1732         as addressable.
1733
1734 2005-09-15  Michael Matz  <matz@suse.de>
1735
1736         * tree-vrp.c (vrp_int_const_binop <MINUS_EXPR>): Handle 0 - -INF.
1737
1738 2005-09-14  Daniel Berlin  <dberlin@dberlin.org>
1739
1740         PR tree-optimization/23835
1741         * tree-ssa-alias.c (sort_pointers_by_pt_vars): New function.
1742         (create_name_tags): Rewrite to be not O(num_ssa_names^2).
1743
1744 2005-09-14  Richard Henderson  <rth@redhat.com>
1745
1746         * config/ia64/vect.md (addv2sf3, subv2sf3): Rewrite as expand.
1747         (addv2sf3_1, addv2sf3_2, subv2sf3_1, subv2sf3_2): New.
1748
1749 2005-09-14  Andrew Pinski  <pinskia@physics.uc.edu>
1750
1751         * config/i386/i386.c (contains_128bit_aligned_vector_p): Add break
1752         in the ARRAY_TYPE case.
1753
1754 2005-09-14  Eric Botcazou  <ebotcazou@adacore.com>
1755
1756         * tree.c (substitute_in_expr, case 4): New case, for ARRAY_REF.
1757
1758 2005-09-14  Uros Bizjak  <uros@kss-loka.si>
1759
1760         PR middle-end/22480
1761         * tree-vect-transform.c (vectorizable_operation): Return false for
1762         scalar shift operations and for vector shift operations with
1763         non-invariant shift arguments.  Use scalar tree operand op1 as
1764         a shift operand when vector shift insn pattern uses scalar shift
1765         operand.
1766         * Makefile.in (tree-vect-transform.o): Depend on recog.h.
1767
1768 2005-09-14  Olivier Hainque  <hainque@adacore.com>
1769
1770         * gimplify.c (gimplify_init_ctor_eval): Don't discard a zero-sized
1771         value if it has side-effects.
1772
1773 2005-09-14  David Edelsohn  <edelsohn@gnu.org>
1774
1775         PR target/22068
1776         * config/rs6000/rs6000.md (muldi3): Add mulli alternative.
1777
1778 2005-09-14  Alan Modra  <amodra@bigpond.net.au>
1779
1780         * config/rs6000/linux64.h (DBX_OUTPUT_BRAC): Treat function name
1781         passed as NAME as if it were label at start of function code.
1782
1783 2005-09-13  Kaz Kojima  <kkojima@gcc.gnu.org>
1784
1785         * config/sh/sh.md (*movv4sf_i): Add general register cases to
1786         the constraints.
1787
1788 2005-09-13  Andrew Pinski  <pinskia@physics.uc.edu>
1789
1790         * config/rs6000/darwin.md (movdf_low_si): Mark the outgoing r constraint
1791         as early clobber.  Rewrite so the PIC register is not implicitly used.
1792
1793 2005-09-13  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1794
1795         * tree.c (annotate_with_file_line): Compare line numbers before
1796         file names.
1797
1798 2005-09-13  Uros Bizjak  <uros@kss-loka.si>
1799
1800         PR target/23816
1801         * config/i386/sse.md (*ieee_sminv4sf3, *ieee_smaxv4sf3)
1802         (*ieee_sminv2df3, *ieee_smaxv2df3): New insn patterns.
1803
1804 2005-09-13  Ian Lance Taylor  <ian@airs.com>
1805
1806         * loop-doloop.c (doloop_modify): Use GEN_INT to pass an rtx rather
1807         than a HOST_WIDEST_INT to gen_doloop_begin.
1808
1809 2005-09-13  Diego Novillo  <dnovillo@redhat.com>
1810
1811         * tree-dfa.c (dump_variable): Guard against NULL annotations.
1812
1813 2005-09-13  Zdenek Dvorak  <dvorakz@suse.cz>
1814
1815         PR tree-optimize/23817
1816         * tree-cfg.c (tree_merge_blocks): Preserve loop closed ssa.
1817
1818 2005-09-13  Alan Modra  <amodra@bigpond.net.au>
1819
1820         PR target/23774
1821         * config/rs6000/rs6000.md (restore_stack_block): Write the backchain
1822         word before changing the stack pointer.  Use gen_frame_mem for MEMs.
1823         Use UNSPEC_TIE to prevent insn scheduling reordering the insns.
1824         (restore_stack_nonlocal): Likewise.
1825         (save_stack_nonlocal): Use template to emit insns, and gen_frame_mem.
1826
1827 2005-09-12  Ian Lance Taylor  <ian@airs.com>
1828
1829         PR g++/7874
1830         * c.opt (ffriend-injection): New C++ option.
1831         * doc/invoke.texi (Option Summary): Mention -ffriend-injection.
1832         (C++ Dialect Options): Document -ffriend-injection.
1833
1834 2005-09-12  Josh Conner  <jconner@apple.com>
1835
1836         PR middle-end/23237
1837         * ipa-reference.c (static_execute): Don't mark variables in
1838         named sections TREE_READONLY.
1839
1840 2005-09-12  Alan Modra  <amodra@bigpond.net.au>
1841
1842         * config/rs6000/rs6000.c (get_next_active_insn): Simplify test for
1843         stack_tie.
1844
1845 2005-09-12  Andrew Pinski  <pinskia@physics.uc.edu>
1846
1847         * tree-ssa-dse.c (dse_optimize_stmt): Fix up all of V_MAY_DEF and
1848         V_MUST_DEF instead of just the first_use_p.
1849         Don't mark the virtual variables for renaming on the statement which
1850         is being removed.
1851         (pass_dse): Remove TODO_update_ssa.
1852
1853 2005-09-12  J"orn Rennecke <joern.rennecke@st.com>
1854
1855         PR middle-end/23290
1856         * stor-layout.c (compute_record_mode): For records with a single
1857         field, actually check the field's mode size against the type size.
1858
1859         * sh.h (HARD_REGNO_MODE_OK): Allow V4SFmode in general purpose
1860         registers for TARGET_SHMEDIA.
1861         (enum reg_class, REG_CLASS_NAMES, REG_CLASS_CONTENTS): Rename
1862         GENERAL_FP_REGS to GENERAL_DF_REGS.  Add GENERAL_FP_REGS as union
1863         of GENERAL_REGS and FP_REGS.
1864
1865 2005-09-12  Bernd Schmidt  <bernd.schmidt@analog.com>
1866
1867         * config/bfin/bfin.c (legimitize_pic_address): Use gen_const_mem.
1868
1869 2005-09-12  Alan Modra  <amodra@bigpond.net.au>
1870
1871         * config/rs6000/rs6000.c (get_next_active_insn): Rewrite using
1872         CALL_P, JUMP_P and NONJUMP_INSN_P, so that barriers and labels
1873         are omitted.  Exclude stack_tie insn too.
1874
1875 2005-09-11  David Edelsohn  <edelsohn@gnu.org>
1876
1877         PR rtl-optimization/23098
1878         * config/rs6000/predicates.md (easy_fp_constant): SFmode constant
1879         0.0f is easy.
1880         * config/rs6000/rs6000.md (movdf splitter): Use
1881         const_double_operand predicate for TARGET_POWERPC64.
1882         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Expand
1883         SYMBOL_REF method to ABI_V4.
1884
1885         * config/rs6000/altivec.md (build_vector_mask_for_load): Use
1886         replace_equiv_address.
1887         * config/rs6000/rs6000.c (rs6000_emit_eh_reg_restore): Mark MEM as
1888         rs6000_sr_alias_set and MEM_NOTRAP.
1889         (rs6000_aix_emit_builtin_unwind_init): Use gen_frame_mem().
1890
1891 2005-09-11  Eric Botcazou  <ebotcazou@adacore.com>
1892
1893         * tree.c (contains_placeholder_p) <tcc_expression>: Properly
1894         handle CALL_EXPR again.
1895
1896 2005-09-11  Richard Earnshaw  <richard.earnshaw@arm.com>
1897
1898         * arm/predicates.md (alignable_memory_operand): Delete.
1899
1900 2005-09-10  Richard Henderson  <rth@redhat.com>
1901
1902         PR debug/23806
1903         * dbxout.c (dbxout_expand_expr): New.
1904         (dbxout_symbol): Use it.
1905
1906 2005-09-10  Richard Earnshaw  <richard.earnshaw@arm.com>
1907
1908         * arm.c (arm_gen_rotated_half_load): Delete.
1909         (vfp_emit_fstmx, arm_set_return_address): Use gen_frame_mem.
1910         (emit_multi_reg_push, emit_sfm, arm_expand_prologue)
1911         (thumb_set_return_address): Likewise.
1912         (thumb_load_double_from_address): Use adjust_address.
1913         * arm.md (splits calling arm_gen_rotated_half_load): Delete.
1914         (extendhsisi2_mem, movhi_bytes): Use change_address.
1915         (movhi): Use widen_memory_access.
1916         (reload_out_df): Use replace_equiv_address.
1917         * arm-protos.h (arm_gen_rotated_half_load): Delete prototype.
1918
1919 2005-09-09  Richard Henderson  <rth@redhat.com>
1920
1921         PR debug/20998
1922         * dbxout.c: Include expr.h.
1923         (dbxout_global_decl): Don't suppress for DECL_RTL unset.
1924         (dbxout_symbol): Handle DECL_VALUE_EXPR.
1925         * Makefile.in (dbxout.o): Add EXPR_H.
1926
1927 2005-09-09  Zdenek Dvorak  <dvorakz@suse.cz>
1928
1929         PR tree-optimization/23509
1930         * tree-cfg.c (replace_uses_by): Use replace_exp.
1931         * tree-ssa-loop-ivopts.c (get_ref_tag): Assert that dereferenced
1932         pointers have name_mem_tag or type_mem_tag set.
1933
1934 2005-09-09  Sebastian Pop  <pop@cri.ensmp.fr>
1935
1936         * tree-chrec.c (evolution_function_is_invariant_rec_p): Use
1937         CHREC_LEFT and CHREC_RIGHT for accessing chrec components instead
1938         of wrongly accessing operands.
1939
1940 2005-09-09  Sebastian Pop  <pop@cri.ensmp.fr>
1941
1942         * Makefile.in (tree-chrec.o): Depends on SCEV_H.
1943         * tree-chrec.c: Include tree-scalar-evolution.h.
1944         (chrec_convert): Instantiate the base and step before calling
1945         scev_probably_wraps_p that would fail on parametric evolutions.
1946         Collect all the fails into a single section failed_to_convert,
1947         print a diagnostic, and return chrec_dont_know instead of calling
1948         fold_convert.
1949         * tree-scalar-evolution.c (loop_closed_phi_def): New.
1950         (instantiate_parameters_1): Avoid instantiation of loop closed ssa
1951         phi nodes.
1952         (scev_const_prop): Don't replace the definition of a loop closed ssa
1953         phi node by itself, or by another loop closed ssa phi node.
1954         * tree-ssa-loop-niter.c (scev_probably_wraps_p, convert_step): Check
1955         that base and step are defined.
1956
1957 2005-09-09  Richard Guenther  <rguenther@suse.de>
1958
1959         PR c++/23624
1960         * fold-const.c (fold_ternary): Check truth_value_p before
1961         calling invert_truthvalue.
1962
1963 2005-09-09  Nick Clifton  <nickc@redhat.com>
1964
1965         * Makefile.in (LIBGCC_DEPS): Add libgcc2.h.
1966         * libgcc2.c (__clz_tab[], __popcount_tab[]): Set the fixed
1967         dimension of these arrays.
1968         * libgcc2.h (__clz_tab[], __popcount_tab[]): Add exports of
1969         these arrays.
1970         * longlong.h: Only provide a prototype for the __clz_tab[] array
1971         if this header has not been included from libgcc2.h.
1972         * config/stormy16/stormy16-lib2.c: Include libgcc2.h rather than
1973         defining own types.
1974         Provide prototypes for exported functions.
1975         Use the __clz_tab[] and __popcount_tab[] arrays provided by
1976         libgcc2.c.
1977
1978 2005-09-08  Josh Conner  <jconner@apple.com>
1979
1980         PR c++/21135
1981         PR c++/23180
1982         * expr.c (expand_expr_addr_expr_1): Don't invoke
1983         expand_simple_binop for EXPAND_INITIALIZER.
1984
1985 2005-09-08  Richard Henderson  <rth@redhat.com>
1986
1987         PR debug/23190
1988         * toplev.c (wrapup_global_declaration_1): Split out ...
1989         (wrapup_global_declaration_2): ... from ...
1990         (wrapup_global_declarations): ... here.  Return bool.
1991         (check_global_declaration_1): Split out ...
1992         (check_global_declarations): from here.
1993         (emit_debug_global_declarations): New.
1994         * toplev.h (wrapup_global_declaration_1, wrapup_global_declaration_2,
1995         check_global_declaration_1, emit_debug_global_declarations): Declare.
1996         * c-decl.c (c_write_global_declarations_1): Don't create a vector
1997         of decls.  Call wrapup_global_declaration_1,
1998         wrapup_global_declaration_2, check_global_declaration_1 directly.
1999         (c_write_global_declarations_2): New.
2000         (ext_block): New.
2001         (c_write_global_declarations): Call c_write_global_declarations_2.
2002         * langhooks.c (write_global_declarations): Call
2003         emit_debug_global_declarations.
2004
2005         * cgraphunit.c (cgraph_varpool_remove_unreferenced_decls): Don't
2006         remove decls that have DECL_RTL_SET_P.
2007         * passes.c (rest_of_decl_compilation): Invoke
2008         cgraph_varpool_finalize_decl for all but functions.
2009
2010 2005-09-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
2011
2012         * tree-vrp.c (extract_range_from_unary_expr): Do not set the range for
2013         the result of a conversion if the new min and max cannot be compared.
2014
2015 2005-09-08  Andreas Krebbel  <krebbel1@de.ibm.com>
2016
2017         * config/s390/s390.c (s390_sr_alias_set): Variable removed.
2018         (override_options): Setting s390_sr_alias_set removed.
2019         (save_fpr, save_gprs): Set alias set to vararg or frame.
2020         (restore_fpr, restore_gprs, s390_emit_prologue): Replace
2021         s390_sr_alias_set with get_frame_alias_set ().
2022         (s390_gimplify_va_arg): Replace s390_sr_alias_set with
2023         get_varargs_alias_set ().
2024
2025 2005-09-08  Andrew Pinski  <pinskia@physics.uc.edu>
2026
2027         PR objc/20574
2028         PR objc/19324
2029         * c-parser.c (c_parser_objc_method_definition): If the next
2030         token is not "{", error out and don't start the function.
2031
2032 2005-09-08  Andrew Pinski  <pinskia@physics.uc.edu>
2033
2034         * tree-vrp.c (extract_range_from_expr): Move the check for non
2035         nullness after the check for gimple invariant.
2036
2037 2005-09-08  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2038
2039         * tree.c (host_integerp, tree_low_cst): Correct function comment.
2040
2041 2005-09-08  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
2042
2043         PR target/23747
2044         * config/m32r.md (movmemsi_internal): Canonicalize order of
2045         operands in PLUS component of template.
2046
2047 2005-09-07  Andreas Krebbel  <krebbel1@de.ibm.com>
2048
2049         * reload1.c (fixup_eh_region_note): Remove assertion.
2050         (fixup_abnormal_edges): Reverted removal of call to
2051         find_many_sub_basic_blocks made on 2005-08-31.
2052
2053 2005-09-07  Richard Henderson  <rth@redhat.com>
2054
2055         * function.c (ARG_POINTER_CFA_OFFSET): Move ...
2056         * defaults.h (ARG_POINTER_CFA_OFFSET): ... here.
2057         (INCOMING_FRAME_SP_OFFSET): Move from dwarf2out.c.
2058         * dwarf2out.c (struct cfa_loc): Change reg to unsigned int,
2059         rearrange for better packing.
2060         (INCOMING_FRAME_SP_OFFSET): Move to defaults.h.
2061         (lookup_cfa_1): Remove inline marker.
2062         (cfa_equal_p): Split out of ...
2063         (def_cfa_1): ... here.  Use INVALID_REGNUM.
2064         (build_cfa_loc): Handle !cfa->indirect.
2065         (frame_pointer_cfa_offset): New.
2066         (dbx_reg_number): Assert register elimination performed; do
2067         leaf register remapping.
2068         (reg_loc_descriptor): Avoid calling dbx_reg_number when unused.
2069         (eliminate_reg_to_offset): New.
2070         (based_loc_descr): Remove can_use_fbreg argument.  Use fbreg only
2071         for verifiably local stack frame addresses; re-base to CFA.
2072         (mem_loc_descriptor): Remove can_use_fbreg argument.
2073         (concat_loc_descriptor, loc_descriptor): Likewise.
2074         (containing_function_has_frame_base): Remove.
2075         (rtl_for_decl_location): Don't do register elimination or
2076         leaf register remapping here.
2077         (secname_for_decl): Split out from ..
2078         (add_location_or_const_value_attribute): ... here.
2079         (convert_cfa_to_loc_list): New.
2080         (compute_frame_pointer_to_cfa_displacement): New.
2081         (gen_subprogram_die): Use them.
2082         * tree.h (frame_base_decl): Remove.
2083         * var-tracking.c (frame_base_decl, frame_stack_adjust): Remove.
2084         (prologue_stack_adjust): Remove.
2085         (vt_stack_adjustments): Use INCOMING_FRAME_SP_OFFSET.
2086         (adjust_stack_reference): Re-base memories to arg_pointer_rtx.
2087         (set_frame_base_location): Remove.
2088         (compute_bb_dataflow, emit_notes_in_bb): Don't call it.
2089         (dump_attrs_list, dump_dataflow_set): Use string concatenation.
2090         (vt_add_function_parameters): Don't eliminate_regs.
2091         (vt_initialize): Don't create frame_base_decl.
2092
2093 2005-09-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
2094
2095         * doc/install.texi (*-*-solaris2*): Clarify wording on the recommended
2096         version of GNU binutils for 4.x and later.
2097
2098 2005-09-06  Mark Mitchell  <mark@codesourcery.com>
2099
2100         * ggc-page.c (ggc_push_context): Remove.
2101         (ggc_pop_context): Likewise.
2102         * ggc.h (ggc_push_context): Remove.
2103         (ggc_pop_context): Likewise.
2104
2105 2005-09-06  Saurabh Verma  <saurabh.verma@codito.com>
2106
2107         PR target/8973
2108         * config/arc/arc.c (arc_output_function_epilogue): Update flags while
2109         returning from an interrupt handler.
2110
2111 2005-09-06  Saurabh Verma  <saurabh.verma@codito.com>
2112
2113         PR target/8972
2114         * config/arc/arc.c (output_shift): Add check for loop count when
2115         optimizing.
2116
2117 2005-09-06  Steven Bosscher  <stevenb@suse.de>
2118
2119         * tree-ssa-phiopt.c (conditional_replacement): Construct proper SSA
2120         form manually.
2121         (abs_replacement): Likewise.
2122         (pass_phiopt): Remove TODO_update_ssa.
2123
2124 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
2125
2126         PR c/23075
2127         * c-typeck.c (c_finish_return): Set TREE_NO_WARNING on RETURN_EXPR
2128         if "return with no value, in function returning non-void" warning
2129         has been issued.
2130         * tree-cfg.c (execute_warn_function_return): Don't look at
2131         RETURN_EXPRs with TREE_NO_WARNING set.
2132
2133         PR target/22362
2134         * config/i386/i386.c (ix86_function_regparm): Make sure automatic regparm
2135         for internal functions doesn't use registers used by global registers
2136         variables.  Use fewer register parameters if there are global register
2137         variables.
2138
2139 2005-09-06  Olivier Hainque  <hainque@adacore.com>
2140             Eric Botcazou  <ebotcazou@adacore.com>
2141
2142         PR middle-end/14997
2143         * expr.c (expand_expr_real) <normal_inner_ref>: Force op0 to mem
2144         when we would be extracting outside its bit span (bitpos+bitsize
2145         larger than its mode), possible with some VIEW_CONVERT_EXPRs from
2146         Ada unchecked conversions.
2147
2148 2005-09-06  Steven Bosscher  <stevenb@suse.de>
2149
2150         * tree-ssa-pre.c (try_look_through_load): New function.
2151         (compute_avail): Use it to try to look through loads for some
2152         more useful expressions.
2153
2154 2005-09-06  Saurabh Verma  <saurabh.verma@codito.com>
2155
2156         * simplify-rtx.c (simplify_binary_operation_1): Correct the
2157         condition for detecting cases like (a&a) and (a^a).
2158
2159 2005-09-06  Keith Besaw  <kbesaw@us.ibm.com>
2160
2161         * common.opt: Add option ftree-vect-loop-version.
2162         * params.def: Add --param vect-max-version-checks.
2163         * doc/invoke.texi: Document ftree-vect-loop-version and
2164         --param vect-max-version-checks.
2165         * tree-vectorizer.h (_loop_vec_info): Add ptr_mask and
2166         may_misalign_stmts and defines for accessors.
2167         * tree-vectorizer.c : (new_loop_vec_info): VEC_alloc for
2168         LOOP_VINFO_MAY_MISALIGN_STMTS.
2169         (destroy_loop_vec_info): VEC_free for
2170         LOOP_VINFO_MAY_MISALIGN_STMTS.
2171         * tree-vect-analyze.c (vect_compute_data_ref_alignment):
2172         Update documentation.
2173         (vect_update_misalignment_for_peel): New.
2174         (vect_enhance_data_refs_alignment): Update to choose loop
2175         peeling or loop versioning if appropriate for the (potentially)
2176         unaligned data references in the loop.
2177         (vect_analyze_data_refs_alignment): Remove call to
2178         vect_enhance_data_refs_alignment so the checks can be done
2179         earlier.
2180         (vect_analyze_loop): Add call to vect_enhance_data_refs_alignment
2181         and move up call to vect_analyze_data_refs_alignment.
2182         * tree-vect-transform.c (vect_create_cond_for_align_checks): New.
2183         (vect_transform_loop): Add call to loop_version.
2184
2185 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
2186
2187         PR rtl-optimization/23098
2188         * cse.c (fold_rtx_mem): Call delegitimize_address target hook.
2189         * simplify-rtx.c (constant_pool_reference_p): New function.
2190         * rtl.h (constant_pool_reference_p): New prototype.
2191         * config/i386/i386.md (pushf split, mov[sdx]f split): Use
2192         constant_pool_reference_p in condition and
2193         avoid_constant_pool_reference in preparation statements.
2194
2195 2005-09-06  Andreas Krebbel  <krebbel1@de.ibm.com>
2196
2197         * gcse.c (try_replace_reg): Disallow REG_EQUAL notes for
2198         STRICT_LOW_PART SETs.
2199
2200 2005-09-06  Alan Modra  <amodra@bigpond.net.au>
2201
2202         PR middle-end/21460
2203         * except.c (sjlj_emit_function_enter): Find the function begin
2204         note even when it's not in first basic block.
2205
2206 2005-09-06  Kelley Cook  <kcook@gcc.gnu.org>
2207
2208         * acinclude.m4: Renamed from aclocal.m4.  Delete AM_LANGINFO_CODESET,
2209         AM_PROG_CC_C_O, and AM_AUX_DIR_EXPAND.
2210         * aclocal.m4: Regenerate.
2211
2212 2005-09-05  DJ Delorie  <dj@redhat.com>
2213
2214         * config/m32c/m32c.h (TRAMPOLINE_ALIGNMENT): Correct misspelling
2215         of macro.
2216
2217 2005-09-06  Kazu Hirata  <kazu@codesourcery.com>
2218
2219         * gimplify.c, ipa-prop.h, varasm.c, config/vxlib.c,
2220         config/vxworks.h, config/crx/crx.c, config/ms1/ms1.c,
2221         config/ms1/ms1.md, config/rs6000/rs6000.c: Fix comment typos.
2222         Follow spelling conventions.
2223         * doc/invoke.texi: Follow spelling conventions.
2224
2225 2005-09-05  J"orn Rennecke <joern.rennecke@st.com>
2226
2227         * rtl.h (gen_frame_mem, gen_tmp_stack_mem): Declare.
2228         * emit-rtl.c (gen_frame_mem, gen_tmp_stack_mem): New functions.
2229         * builtins.c (expand_builtin_return_addr): Use gen_frame_mem.
2230
2231 2005-09-05  J"orn Rennecke <joern.rennecke@st.com>
2232
2233         PR target/23683
2234         * sh.c (sh_reorg, emit_load_ptr): Use gen_const_mem.
2235         (output_stack_adjust): Use gen_tmp_stack_mem.
2236         (sh_expand_prologue, sh_expand_epilogue): Use gen_frame_mem.
2237         (sh_set_return_address, sh_allocate_initial_value): Likewise.
2238         (sh_get_pr_initial_val): Likewise.
2239         (sh_builtin_saveregs): Use gen_frame_mem and change_address.
2240         (sh_initialize_trampoline): Likewise.  Also use adjust_address.
2241         * sh.md (divsi_inv_m0): Use gen_const_mem.
2242         (push_fpscr, pop_fpscr, load_ra): Use gen_frame_mem.
2243         (movdf_i4+1): Use gen_tmp_stack_mem.
2244         (reload_outdf+3, reload_outdf+4, fpu_switch+1): Use change_address.
2245         (fpu_switch+2): Likewise.
2246         (movv4sf_i, movv16sf_i): Use adjust_address.
2247         (symGOT_load): Set MEM_NOTRAP_P bit.
2248
2249 2005-09-04  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2250
2251         PR target/23721
2252         * pa.c (emit_move_sequence): Fix typo in last change.
2253
2254 2005-09-03  Jakub Jelinek  <jakub@redhat.com>
2255
2256         PR rtl-optimization/23454
2257         * reorg.c (relax_delay_slots): Only call invert_jump if any_condjump_p
2258         is true.
2259
2260 2005-09-03  Richard Henderson  <rth@redhat.com>
2261             John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2262
2263         PR middle-end/23671
2264         * pa.c (emit_move_sequence): Use replace_equiv_address instead of
2265         gen_rtx_MEM.
2266
2267 2005-09-02  Nicolas Pitre <nico@cam.org>
2268
2269         * config/arm/arm.c (arm_legitimize_address): Limit the value passed
2270         to bit_count to 32 bits.
2271
2272 2005-08-31  Mark Mitchell  <mark@codesourcery.com>
2273
2274         PR c++/23167
2275         * gimplify.c (gimplify_expr): Handle TREE_ADDRESSABLE types when
2276         generating synthetic loads from volatile lvalues.
2277
2278 005-09-02  Nick Clifton  <nickc@redhat.com>
2279
2280         * config/stormy16/stormy16-lib2.c (__popcounthi2, __parityhi2,
2281         __ctzhi2, __clzhi2): New functions.
2282
2283 2005-09-02  Andrew Pinski  <pinskia@physics.uc.edu>
2284
2285         PR middle-end/23547
2286         * tree-nested.c (struct var_map_elt): Mark with GTY.
2287         (struct nesting_info): Mark with GTY.  Mark var_map's param is struct
2288         var_map_elt.
2289         (lookup_field_for_decl): Allocate new element in GC memory.
2290         (lookup_tramp_for_decl): Likewise.
2291         (convert_nl_goto_reference): Likewise
2292         (create_nesting_tree): Allocate info in GC memory. Likewise for
2293         info->var_map.
2294         (free_nesting_tree): Free with ggc_free instead of free.
2295         (root): New static variable.
2296         (lower_nested_functions): Remove root as local variable.  And zero out
2297         root at the end of the function.
2298
2299 2005-09-02  J"orn Rennecke <joern.rennecke@st.com>
2300
2301         PR rtl-optimization/20365
2302         * simplify-rtx.c (simplify_plus_minus_op_data): Change type of neg
2303         to short.  New member ix.
2304         (simplify_plus_minus_op_data_cmp): Break ties using ix member.
2305         (simplify_plus_minus): Initialize ix members before calling qsort.
2306
2307 2005-09-02  Zdenek Dvorak  <dvorakz@suse.cz>
2308
2309         PR tree-optimization/23626
2310         * tree-cfg.c (replace_uses_by): Clean up eh info.
2311
2312 2005-09-01  DJ Delorie  <dj@redhat.com>
2313
2314         * config/m32c/m32c.c (m32c_valid_pointer_mode): Remove stray debug
2315         fprintf.
2316
2317 2005-09-01  David Edelsohn  <edelsohn@gnu.org>
2318
2319         * config/rs6000/rs6000.c (setup_incoming_varargs): Set MEM_NOTRAP_P.
2320         (rs6000_split_multireg_move): Use replace_equiv_address instead of
2321         gen_rtx_MEM.
2322
2323 2005-09-01  Craig Rodrigues  <rodrigc@gcc.gnu.org>
2324
2325         * c-decl.c (diagnose_mismatched_decls):  With -Wredundant-decls,
2326         do not issue warning for a variable definition following
2327         a declaration.
2328
2329 2005-09-01  Richard Henderson  <rth@redhat.com>
2330
2331         PR 23668
2332         * config/i386/i386.c (ix86_expand_vector_init_one_var): Restore
2333         conversion to CONST_VECTOR.
2334
2335 2005-09-01  Richard Henderson  <rth@redhat.com>
2336
2337         PR 23676
2338         * reload1.c (reload_as_needed): Check !CALL_P before calling
2339         fixup_eh_region_note.
2340         * rtlanal.c (may_trap_p): SUBREG by itself cannot trap.
2341
2342 2005-09-01  DJ Delorie  <dj@redhat.com>
2343
2344         * varasm.c (output_constant): Let the target resolve
2345         conversions of addresses to non-default pointer sizes.
2346
2347 2005-09-01  Nicolas Pitre <nico@cam.org>
2348
2349         * config/arm/arm.c (arm_legitimize_address): Split absolute addresses
2350         to alow matching ARM pre-indexed addressing mode.
2351         (arm_override_options): Remove now irrelevant comment.
2352
2353 2005-09-01  Phil Edwards  <phil@codesourcery.com>
2354
2355         * config.gcc (i*86-wrs-vxworks):  Update.  Split out vxworksae target.
2356         * config/i386/t-vxworks:  Update multilibs for VxWorks 6 and RTP mode.
2357         * config/i386/vxworks.h:  Likewise.
2358         * config/i386/t-vxworksae:  New file, for VxWorks AE.
2359         * config/i386/vxworksae.h:  Likewise.
2360
2361 2005-09-01  Sebastian Pop  <pop@cri.ensmp.fr>
2362
2363         PR tree-optimization/23410
2364         * tree-ssa-loop-niter.c (scev_probably_wraps_p): Check that the
2365         sequence is not wrapping during the first step.
2366
2367 2005-09-01  Jakub Jelinek  <jakub@redhat.com>
2368
2369         PR debug/7241
2370         * dwarf2out.c (base_type_die): Compare char_type_node with
2371         TYPE_MAIN_VARIANT (type), not type.
2372
2373 2005-09-01  Richard Guenther  <rguenther@suse.de>
2374
2375         PR tree-optimization/15366
2376         * common.opt: Add -finline-functions-called-once.
2377         Put -fearly-inlining in alphabetically ordered place.
2378         * doc/invoke.texi: Document new option.
2379         * ipa-inline.c (cgraph_decide_inlining): Honour
2380         flag_inline_functions_called_once.
2381
2382 2005-09-01  Jakub Jelinek  <jakub@redhat.com>
2383
2384         PR rtl-optimization/23478
2385         * local-alloc.c (struct qty): Add n_throwing_calls_crossed field.
2386         (alloc_qty): Initialize it.
2387         (update_equiv_regs): Clear REG_N_THROWING_CALLS_CROSSED.
2388         (combine_regs): Combine also n_throwing_calls_crossed fields.
2389         (find_free_reg): Don't attempt to caller-save pseudos crossing
2390         calls that might throw.
2391         * global.c (struct allocno): Add throwing_calls_crossed field.
2392         (global_alloc): Revert 2005-08-22 change.  Initialize
2393         throwing_calls_crossed.
2394         (find_reg): Don't attempt to caller-save pseudos crossing calls that
2395         might throw.
2396
2397 2005-09-01  Alan Modra  <amodra@bigpond.net.au>
2398
2399         PR target/23649
2400         * config/rs6000/predicates.md (mask_operand): Only handle rlwinm masks.
2401         (mask64_operand): Reinstate code prior to 2005-06-11 change.
2402         (mask64_2_operand): Reinstate code prior to 2004-11-11 change.
2403         (and64_2_operand): Tweak to use predicate.
2404         (and_operand): Adjust for mask_operand changes.
2405         * config/rs6000/rs6000.c (num_insns_constant): Revert 2005-06-11.
2406         (print_operand): Likewise.
2407         (rs6000_rtx_costs): Pass mode to mask_operand and use mask64_operand.
2408         (mask64_1or2_operand): Delete.
2409         * rs6000/rs6000-protos.h (mask64_1or2_operand): Delete.
2410         * config/rs6000/rs6000.h (EXTRA_CONSTRAINT <S>): Revert 2005-06-11.
2411         (EXTRA_CONSTRAINT <T>): Pass operand mode to predicate.
2412         (EXTRA_CONSTRAINT <t>): Disallow mask64_operand matches.
2413         * config/rs6000/rs6000.md (andsi3_internal3 split): Revert 2005-06-11.
2414         (rotldi3_internal4): Likewise.
2415         (rotldi3_internal5, rotldi3_internal5 split): Likewise.
2416         (rotldi3_internal6, rotldi3_internal6 split): Likewise.
2417         (ashldi3_internal7): Likewise.
2418         (ashldi3_internal8, ashldi3_internal8 split): Likewise.
2419         (ashldi3_internal, ashldi3_internal9 split): Likewise.
2420         (anddi3 split): Don't match mask64_operand.
2421         (anddi3_internal2): Add rlwinm.  Modify 't' splitter predicate.
2422         (anddi3_internal3): Add rlwinm.  Use and64_2_operand in non-cr0
2423         splitter and match TARGET_64BIT not TARGET_POWERPC64.  Modify
2424         't' splitter predicate.
2425         (movdi_internal64 + 2): Revert 2005-06-11 change.
2426
2427 2005-08-31  DJ Delorie  <dj@redhat.com>
2428
2429         * config/m32c/m32c.c (m32c_valid_pointer_mode): New.
2430         (m32c_asm_integer): Add support for 32 bit pointers.
2431
2432 2005-08-31  Richard Henderson  <rth@redhat.com>
2433
2434         * emit-rtl.c (set_mem_attributes_minus_bitpos): Look through
2435         component-like references for setting MEM_NOTRAP_P.
2436
2437         * config/i386/i386.c (ix86_setup_incoming_varargs): Set MEM_NOTRAP_P.
2438         * config/alpha/alpha.c (alpha_setup_incoming_varargs): Likewise.
2439
2440 2005-08-31  Richard Henderson  <rth@redhat.com>
2441
2442         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Force subregs
2443         into a pseudo before applying gen_lowpart.
2444
2445 2005-08-31  Geoffrey Keating  <geoffk@apple.com>
2446
2447         * doc/install.texi (Specific): Update cctools version required
2448         for full functionality.
2449         * config/darwin.h (LINK_SPEC): Pass -mmacosx-version-min to the
2450         linkers as -macosx_version_min.
2451
2452 2005-08-31  J"orn Rennecke <joern.rennecke@st.com>
2453
2454         PR target/21255
2455         * sh.c (print_operand, %R and %S): Add handling of floating point
2456         registers, memory, constants and invalid operands.
2457
2458 2005-08-31  Daniel Berlin  <dberlin@dberlin.org>
2459
2460         * ipa-pure-const.c: Change dump name.
2461
2462 2005-08-31 Uros Bizjak <uros@kss-loka.si>
2463
2464         PR target/23570
2465         * config/i386/sse.md (*sse_concatv2sf): Change operand 2 constraint
2466         to "reg_or_0_operand".
2467         (sse2_loadld): Change operand 1 constraint to "reg_or_0_operand".
2468
2469 2005-08-31  Dale Johannesen  <dalej@apple.com>
2470
2471         * loop-iv.c (iv_number_of_iterations):  Fix overflow check for
2472         loops that count down.
2473
2474 2005-08-31  Richard Henderson  <rth@redhat.com>
2475
2476         PR rtl-opt/23601
2477         * reload1.c (reload): Set MEM_NOTRAP_P in spill slots.
2478         (fixup_eh_region_note): New.
2479         (reload_as_needed): Call it.
2480         (fixup_abnormal_edges): Allow all throwing insns to be deleted;
2481         don't call find_many_sub_basic_blocks; call verify_flow_info.
2482         * function.c (assign_stack_local_1): Set MEM_NOTRAP_P.
2483         (keep_stack_depressed): Likewise.
2484         (assign_stack_temp_for_type): Likewise; use adjust_address_nv.
2485
2486 2005-08-31  Richard Henderson  <rth@redhat.com>
2487
2488         * config/i386/i386.c (ix86_function_ok_for_sibcall): Fix test for
2489         fp return matching.
2490
2491 2005-08-31  Fariborz Jahanian <fjahanian@apple.com>
2492
2493         * expr.c (expand_expr_real_1): Compare size of address
2494         mode to target's address mode size in deciding expansion of
2495         the constant address.
2496
2497 2005-08-31  Richard Guenther  <rguenther@suse.de>
2498
2499         PR middle-end/23477
2500         * expr.c (all_zeros_p): New function.
2501         (expand_expr_real_1): Handle the case of an all-zero
2502         non-addressable constructor separately.
2503
2504 2005-08-31  Adrian Straetling  <straetling@de.ibm.com>
2505
2506         * builtins.c: (expand_builtin_strcpy, expand_builtin_strcat): Change
2507         arguments, adjust all callers.
2508         (expand_builtin_strcat): Rewrite to call strcpy instead of mempcpy.
2509
2510 2005-08-30  Richard Henderson  <rth@redhat.com>
2511
2512         PR target/23630
2513         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Use gen_lowpart
2514         whenever the mode sizes match.
2515
2516 2005-08-31  Alan Modra  <amodra@bigpond.net.au>
2517
2518         * calls.c (load_register_parameters): Fix comment typo.
2519         * expr.c (emit_push_insn): Comment formatting.
2520
2521 2005-08-30  Ian Lance Taylor  <ian@airs.com>
2522
2523         * config/i386/x-cygwin (host-cygwin): Change dependency from
2524         hosthooks-def.h to $(HOSTHOOKS_DEF_H).
2525
2526 2005-08-29  Geoffrey Keating  <geoffk@apple.com>
2527
2528         * config/i386/i386.c (ix86_expand_vector_init_one_var): Don't modify
2529         parts of 'vals'.
2530
2531 2005-08-29  Andrew Pinski  <pinskia@physics.uc.edu>
2532
2533         PR middle-end/23408
2534         * ipa-inline.c (cgraph_decide_inlining_incrementally): Remove the
2535         call to ggc_collect.
2536
2537 2005-08-29  Paolo Bonzini  <bonzini@gnu.org>
2538
2539         PR bootstrap/21268
2540         * Makefile.in (ALL_CPPFLAGS): Include $(INCLUDES) at the
2541         beginning.  Remove $(INCLUDES) from all the rules, if following
2542         $(ALL_CPPFLAGS) or $(BUILD_CPPFLAGS).
2543
2544 2005-08-29  Jakub Jelinek  <jakub@redhat.com>
2545
2546         PR middle-end/23484
2547         * builtins.c (fold_builtin_memory_chk, fold_builtin_stxcpy_chk,
2548         fold_builtin_strncpy_chk, fold_builtin_snprintf_chk): If len is
2549         not constant, but maxlen is, don't set len to maxlen, rather
2550         set maxlen to len if len is a constant.
2551
2552 2005-08-29  Zdenek Dvorak  <dvorakz@suse.cz>
2553
2554         PR tree-optimization/23475
2555         * tree-ssa-loop-ivcanon.c (remove_empty_loop): Update frequencies
2556         and counts.
2557
2558 2005-08-28  Daniel Berlin  <dberlin@dberlin.org>
2559
2560         Fix PR middle-end/22455
2561
2562         * fold-const.c (fold_checksum_tree): Adjust for now-largest tree size.
2563         Checksum only the parts of the tree that exist for the tree code.
2564
2565 2005-08-28  Dale Johannesen  <dalej@apple.com>
2566
2567         * config/i386/i386.c (nocona_cost):  Increase MOVE_RATIO.
2568
2569 2005-08-28  Andrew Pinski  <pinskia@physics.uc.edu>
2570
2571         * tree-vrp.c: Remove obsolete comment in front of vrp_initialize.
2572
2573 2005-08-28  Richard Henderson  <rth@redhat.com>
2574
2575         * stor-layout.c (finalize_type_size): Revert workaround from 08-26.
2576         * tree.c (make_node_stat): Use BITS_PER_UNIT instead of alignment
2577         of char_type_node.
2578
2579 2005-08-28  Jakub Jelinek  <jakub@redhat.com>
2580
2581         PR ada/23593
2582         * builtins.c (get_memory_rtx): Don't strip nops
2583         in between COMPONENT_REFs.
2584
2585 2005-08-27  Andrew Pinski  <pinskia@physics.uc.edu>
2586
2587         PR middle-end/23463
2588         * gimplify.c (gimplify_modify_expr_rhs): Remove check for zero sized
2589         types.
2590         (gimplify_modify_expr): Check for zero sized types and gimplify the
2591         rhs and lhs as statements.
2592
2593 2005-08-27  John David Anglin  <dave.anflin@nrc-cnrc.gc.ca>
2594
2595         PR libgcj/23508
2596         * pa/linux-unwind.h (pa32_fallback_frame_state): Use r0 slot in frame
2597         state for return address column of signal frames.
2598
2599 2005-08-27  David Edelsohn  <edelsohn@gnu.org>
2600
2601         PR target/23539
2602         * config/rs6000/rs6000.c (expand_block_clear): Use HImode when
2603         bytes >= 2 not bytes == 2.
2604         (expand_block_move): Same.
2605
2606 2005-08-27  Richard Guenther  <rguenther@suse.de>
2607
2608         PR target/23575
2609         * config/i386/sse.md (sse2_movsd): Add missing closing
2610         braces.
2611
2612 2005-08-27  Paul Brook  <paul@codesourcery.com>
2613
2614         * genrecog.c (enum decision_type): Add DT_num_insns.
2615         (struct decision_test): Add u.num_insns.
2616         (add_to_sequence): Add DT_num_insns test.
2617         (maybe_both_true_2, nodes_identical_1): Handle DT_num_insns.
2618         (write_cond, debug_decision_2): Ditto.
2619         (change_state): Assume peep2_next_insn never fails.
2620         Remove "afterward" argument.
2621         (write afterward, write_tree): Update to match.
2622         * recog.c (peep2_current_count): New variable.
2623         (peep2_next_insn): Check it.
2624         (peephole2_optimize): Set peep2_current_count.
2625         * recog.h (peep2_current_count): Declare.
2626
2627 2005-08-26  Josh Conner  <jconner@apple.com>
2628
2629         PR middle-end/23584
2630         * ipa-pure-const.c (check_tree): Check for volatile-ness
2631         when considering a dereference.
2632
2633 2005-08-27  Jakub Jelinek  <jakub@redhat.com>
2634
2635         * rtl.h (MEM_IN_STRUCT_P): Fix comment typo.
2636
2637 2005-08-26  Jakub Jelinek  <jakub@redhat.com>
2638
2639         PR rtl-optimization/23561
2640         * builtins.c (get_memory_rtx): Add LEN argument.  If MEM_EXPR is
2641         a COMPONENT_REF, remove all COMPONENT_REF from MEM_EXPR unless
2642         at most LEN bytes long memory fits into the field.
2643         (expand_builtin_memcpy, expand_builtin_mempcpy, expand_movstr,
2644         expand_builtin_strncpy, expand_builtin_memset, expand_builtin_memcmp,
2645         expand_builtin_strcmp, expand_builtin_strncmp): Adjust callers.
2646
2647 2005-08-26  Richard Henderson  <rth@redhat.com>
2648
2649         PR rtl-opt/23560
2650         * loop.c (biased_biv_may_wrap_p): New.
2651         (maybe_eliminate_biv_1): Use it to suppress non-equality
2652         comparison transformations.  Delete disabled code.
2653
2654 2005-08-26  Ian Lance Taylor  <ian@airs.com>
2655
2656         * combine.c (make_extraction): Avoid reference outside object.
2657
2658 2005-08-26  J"orn Rennecke <joern.rennecke@st.com>
2659
2660         * stor-layout.c (finalize_type_size): Restore behaviour for
2661         non-aggregate types to the status quo ante of the patch for
2662         pr 23467.  Document why it matters.
2663
2664 2005-08-26  Jakub Jelinek  <jakub@redhat.com>
2665
2666         PR c/23506
2667         * c-common.c (c_common_nodes_and_builtins): Increase builtin_types
2668         array by one element, initialize the BT_LAST element with NULL.
2669
2670 2005-08-26  David Edelsohn  <edelsohn@gnu.org>
2671
2672         * config/rs6000/rs6000.md (eq<mode>_compare): Only enable when
2673         optimizing for size.
2674         (plus_eqsi): Same.
2675         (compare_plus_eqsi): Same.
2676         (plus_eqsi_compare): Same.
2677         (neg_eq0<mode>): Same.
2678         (neg_eq<mode>): Same.
2679
2680         * config/rs6000/aix52.h (PROCESSOR_DEFAULT): Change to
2681         PROCESSOR_POWER4.
2682
2683 2005-08-26  Nick Clifton  <nickc@redhat.com>
2684
2685         * config/v850/v850.c (ep_memory_operand): Return FALSE if
2686         TARGET_EP is not defined.
2687         * config/v850/c850.h (TARGET_CPU_CPP_BUILTINS): Define __EP__ if
2688         TARGET_EP is enabled.
2689         (OPTIMIZATION_OPTIONS): Do not define MASK_EP when optimizing.
2690         * config/v850/v850.md (save_all_interrupt): Only use the EP
2691         register if TARGET_EP is defined.
2692         (restore_all_interrupt): Likewise.
2693         * config/v850/lib1funcs.asm: Update functions so that the EP
2694         register is only used if __EP__ is defined.
2695
2696 2005-08-26  David Ung  <davidu@mips.com>
2697
2698         * config/mips/mips.c (mips_expand_prologue): Handle case when
2699         generating for MIPS16 and the outgoing argument area is more than
2700         SMALL_OPERAND. Use the frame pointer as temporary to generate the
2701         add instruction.
2702
2703 2005-08-26  Paul Woegerer  <paul.woegerer@nsc.com>
2704
2705         * config/crx/crx.md: Make doloop_end pattern usage controllable
2706         via mloop-nesting=<max-nesting> command line switch. Make sure
2707         the combiner cannot use doloop_end_<mode> in an illegal way.
2708         * config/crx/crx.c: Use regs up to r6 for argument passing.
2709         Refine crx_address_cost (non cst4 displacements are expensive).
2710         * config/crx/crx.opt: Add switch for mloop-nesting=.
2711
2712 2005-08-26  Adrian Straetling  <straetling@de.ibm.com>
2713
2714         * config/s390/s390.md: ("movstr", "*movstr"): Add patterns.
2715         (UNSPEC_MVST): New constant.
2716
2717 2005-08-26  Andreas Krebbel  <krebbel1@de.ibm.com>
2718
2719         * config/s390/predicates.md ("shift_count_operand", "setmem_operand"):
2720         Reject operands containing eliminable registers.
2721         * testsuite/gcc.dg/20050825-1.c: New testcase.
2722
2723 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
2724             Jan Hubicka  <jh@suse.cz>
2725
2726         * regmove.c (reg_is_remote_constant_p): Reorganize to not use log links.
2727
2728 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
2729
2730         PR tree-optimization/23546
2731         * tree-ssa-loop-im.c (for_each_index): Handle INTEGER_CST
2732         and REAL_CST nodes.
2733
2734 2005-08-24  Pete Steinmetz  <steinmtz@us.ibm.com>
2735
2736         * params.def (PARAM_MIN_SPEC_PROB): New.
2737         * sched-rgn.c (MIN_PROBABILITY): Delete.
2738         (compute_trg_info): Convert to PARAM_VALUE.
2739         * doc/invoke.texi (param): Document min-spec-prob.
2740
2741 2005-08-24  Fariborz Jahanian <fjahanian@apple.com>
2742
2743         * config/darwin.h: define __PIC__
2744         * config/rs6000/darwin.h: Add SUBTARGET_OS_CPP_BUILTINS to
2745         TARGET_OS_CPP_BUILTINS macro.
2746
2747 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
2748
2749         * config/rs6000/rs6000.md: Fix thinko in the peephole2 I added
2750         yesterday.
2751
2752 2005-08-24  Zdenek Dvorak  <dvorakz@suse.cz>
2753
2754         * bb-reorder.c (copy_bb, duplicate_computed_gotos): Add argument
2755         to duplicate_block.
2756         * cfghooks.c (duplicate_block): Added position where to place
2757         new block as argument.
2758         * cfghooks.h (duplicate_block): Declaration changed.
2759         * cfglayout.c (copy_bbs): Add argument after.  Pass it to
2760         duplicate_block.
2761         * cfglayout.h (copy_bbs): Declaration changed.
2762         * cfgloop.h (loop_version): Declaration changed.
2763         * cfgloopmanip.c (duplicate_loop_to_header_edge): Pass
2764         position to copy_bbs.
2765         (loop_version): Pass position to duplicate_loop_to_header_edge.
2766         Add place_after argument and position new blocks according to
2767         it.
2768         * modulo-sched.c (sms_schedule): Pass place_after argument
2769         to loop_version.
2770         * tracer.c (tail_duplicate): Pass argument to duplicate_block.
2771         * tree-cfg.c (split_edge_bb_loc): New function.
2772         (tree_split_edge, tree_duplicate_sese_region): Use split_edge_bb_loc
2773         to determine position of new blocks.
2774         * tree-ssa-loop-unswitch.c (tree_unswitch_loop): Pass argument
2775         to loop_version.
2776         * tree-ssa-threadupdate.c (create_block_for_threading): Pass
2777         argument to duplicate_block.
2778         * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg):
2779         Pass position to copy_bbs.
2780
2781 2005-08-24  Zdenek Dvorak  <dvorakz@suse.cz>
2782
2783         * fold-const.c (ptr_difference_const): Use
2784         cst_and_fits_in_hwi instead of host_integerp.
2785
2786 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
2787
2788         * config/darwin.c (gen_pic_offset): New.
2789         (machopic_indirect_data_reference,  machopic_legitimize_pic_address):
2790         Use it.
2791
2792 2005-08-23  Zdenek Dvorak  <dvorakz@suse.cz>
2793
2794         PR tree-optimization/23486
2795         * tree-ssa-loop.c (pass_scev_cprop): Add TODO_update_ssa_only_virtuals.
2796
2797 2005-08-23  Phil Edwards  <phil@codesourcery.com>
2798
2799         * config.gcc (*-*-vxworks*):  Update tm_file, add extra_options,
2800         remove use_collect2.
2801         (powerpc-wrs-vxworks):  Update, split out *-*-vxworksae target.
2802
2803         * target-def.h (TARGET_HAVE_CTORS_DTORS):  Allow target
2804         configuration files to override the default value.
2805
2806         * config/t-vxworks:  Remove INSTALL_ASSERT_H.  Define STMP_FIXPROTO,
2807         EXTRA_HEADERS, and EXTRA_MULTILIB_PARTS.
2808         * config/vx-common.h:  New file, split out from...
2809         * config/vxworks.h:  here.  Update for VxWorks 6.x and RTP mode.
2810         * config/vxworksae.h:  New file, for VxWorks AE.
2811         * config/vxworks.opt:  New file.
2812         * config/vxlib.c:  Update for VxWorks 6.
2813
2814         * config/rs6000/t-vxworks (MULTILIB_OPTIONS):  New list.  Adjust
2815         other MULTILIB_* variables appropriately.
2816         (LIB2FUNCS_EXTRA, EXTRA_MULTILIB_PARTS):  Correct from t-ppccomm.
2817         * config/rs6000/t-vxworksae:  New file, adjust multilibs for AE.
2818         * config/rs6000/vxworks.h:  Update for VxWorks 6.
2819         * config/rs6000/vxworksae.h:  New file, mostly placeholder for now.
2820
2821 2005-08-23  Andrew Pinski  <pinskia@physics.uc.edu>
2822
2823         PR target/20799
2824         * config/darwin.c (machopic_select_section): Remove the hack to
2825         mark "::operator new" and "::operator delete" for coalescing
2826         even though they are not weak.
2827
2828 2005-08-24  Alan Modra  <amodra@bigpond.net.au>
2829
2830         * configure.ac (HAVE_LD_NO_DOT_SYMS): Set for powerpc-linux biarch.
2831         * configure: Regenerate.
2832
2833 2005-08-23  Paolo Bonzini  <bonzini@gnu.org>
2834
2835         PR middle-end/23517
2836         * fold-const.c (fold_convert): Use VIEW_CONVERT_EXPR to convert
2837         between vectors.
2838         * convert.c (convert_to_integer, convert_to_vector): Likewise.
2839         * tree-vect-generic.c (tree_vec_extract, expand_vector_operations_1):
2840         Likewise.
2841
2842 2005-08-23  Paolo Bonzini  <bonzini@gnu.org>
2843
2844         * config/rs6000/predicates.md (equality_operator): New.
2845         * config/rs6000/rs6000.md: Rewrite as a peephole2 the split for
2846         comparison with a large constant.
2847
2848 2005-08-23  Mark Mitchell  <mark@codesourcery.com>
2849
2850         * hwint.h (HOST_WIDE_INT_PRINT): Use HOST_LONG_LONG_FORMAT.
2851
2852 2005-08-23  J"orn Rennecke <joern.rennecke@st.com>
2853
2854         * sh.c (sh_builtin_saveregs): If the number of to-be-saved fp
2855         registers is even, and we have a hardware double precision fp,
2856         align the buffer.
2857         (sh_gimplify_va_arg_expr): For floating point arguments, consider
2858         size of current argument when checking if argument was passed in
2859         registers.
2860
2861         * sh.c (sh_attr_renesas_p): Handle error_mark_node.
2862
2863         PR middle-end/23467
2864         * stor-layout.c (finalize_type_size): Dont override
2865         existing alignment with a smaller alignment from the mode.
2866
2867 2005-08-23  Sebastian Pop  <pop@cri.ensmp.fr>
2868
2869         * lambda-code.c (lambda_vector_lexico_pos): Moved...
2870         * lambda.h (lambda_vector_lexico_pos): ... here.
2871         * tree-data-ref.c (build_classic_dist_vector): Return false when
2872         the distance vector is lexicographically negative.
2873
2874 2005-08-23  Sebastian Pop  <pop@cri.ensmp.fr>
2875
2876         PR tree-optimization/23511
2877         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Don't
2878         handle cases where TYPE_MIN_VALUE or TYPE_MAX_VALUE are NULL_TREE.
2879
2880 2005-08-23  Jakub Jelinek  <jakub@redhat.com>
2881
2882         PR tree-optimization/22043
2883         * tree.h (count_type_elements): Add ALLOW_FLEXARR argument.
2884         * expr.c (count_type_elements): Add ALLOW_FLEXARR argument.
2885         If ALLOW_FLEXARR, handle types ending with flexible array member.
2886         Pass false as second argument to recursive count_type_elements calls.
2887         (categorize_ctor_elements_1, mostly_zeros_p): Pass false as second
2888         argument to count_type_elements call.
2889         * tree-sra.c (decide_block_copy): Likewise.
2890         * gimplify.c (gimplify_init_constructor): If num_type_elements < 0
2891         for a constant-sized object, set cleared as well.  Pass true as
2892         second argument to count_type_elements call.
2893
2894 2005-08-23  Alan Modra  <amodra@bigpond.net.au>
2895
2896         PR target/21571
2897         * config/rs6000/rs6000.c (rs6000_legitimate_small_data_p): Rename
2898         from legitimate_small_data_p, and make global.  Update use.
2899         Remove forward declaration.
2900         * config/rs6000/rs6000-protos.h (rs6000_legitimate_small_data_p):
2901         Declare.
2902         * config/rs6000/rs6000.md (movdf_hardfloat32): Allow small data mems.
2903
2904 2005-08-23  David Edelsohn  <edelsohn@gnu.org>
2905
2906         * config/rs6000/rs6000.md (eq<mode>): Use output operand instead
2907         of scratch intermediates.
2908         (eq<mode>_compare): Same.
2909         (neg_eq0<mode>): New.
2910         (neg_eq<mode>): Convert to define_insn_and_split.
2911
2912 2005-08-23  Alan Modra  <amodra@bigpond.net.au>
2913
2914         PR target/23070
2915         * config/rs6000/rs6000.c (function_arg): For ABI_V4 calls to
2916         stdarg functions, set/clear the fp marker even when no variable
2917         args are passed.
2918         * config/rs6000/sysv4.opt (mprototype): Describe.
2919
2920 2005-08-22  Jakub Jelinek  <jakub@redhat.com>
2921
2922         PR rtl-optimization/23478
2923         * regs.h (reg_info): Add throw_calls_crossed.
2924         (REG_N_THROWING_CALLS_CROSSED): Define.
2925         * flow.c (allocate_reg_life_data): Initialize
2926         REG_N_THROWING_CALLS_CROSSED.
2927         (propagate_one_insn, attempt_auto_inc): Update
2928         REG_N_THROWING_CALLS_CROSSED.
2929         * global.c (global_alloc): Don't allocate pseudos across
2930         calls that may throw.
2931
2932 2005-08-22  Andrew Pinski  <pinskia@physics.uc.edu>
2933
2934         PR c/18715
2935         * c-common.c (c_do_switch_warnings): Look for a node where the enum's
2936         value is inbetween the range if we did not find an exact match.
2937
2938 2005-08-22  Aldy Hernandez  <aldyh@redhat.com>
2939
2940         * doc/invoke.texi (Option Summary): Add ms1 options.
2941         * doc/extend.texi: Document interrupt handler attribute for ms1.
2942         * doc/md.texi: Document ms1 constraints.
2943         * config.gcc: Add ms1-*-elf.
2944         * config/ms1/ms1.h: New.
2945         * config/ms1/ms1.c: New.
2946         * config/ms1/ms1.md: New.
2947         * config/ms1/ms1-protos.h: New.
2948         * config/ms1/ABI.txt: New.
2949         * config/ms1/crti.asm: New.
2950         * config/ms1/crtn.asm: New.
2951         * config/ms1/lib2extra-funcs.c: New.
2952         * config/ms1/t-ms1: New.
2953         * config/ms1/ms1.opt: New.
2954
2955 2005-08-22 Ira Rosen <irar@il.ibm.com>
2956
2957         * config/rs6000/altivec.md (xorv4sf3): New.
2958         (negv4sf2, neg<mode>2): Likewise.
2959
2960 2005-08-21  H.J. Lu  <hongjiu.lu@intel.com>
2961
2962         PR target/23485
2963         * config/ia64/ia64.md (divsi3): Check divide by zero.
2964         (udivsi3): Likewise.
2965         (divdi3): Likewise.
2966         (udivdi3): Likewise.
2967
2968 2005-08-21  Jakub Jelinek  <jakub@redhat.com>
2969
2970         * simplify-rtx.c (simplify_immed_subreg) <case CONST_DOUBLE>: Only clear
2971         up to elem_bitsize bits, not max_bitsize.
2972
2973 2005-08-21  Sebastian Pop  <pop@cri.ensmp.fr>
2974
2975         PR tree-optimization/23433
2976         * tree-chrec.c (chrec_apply): Translate INTEGER_CST to a
2977         REAL_CST when the type is SCALAR_FLOAT_TYPE_P.
2978
2979 2005-08-21  Sebastian Pop  <pop@cri.ensmp.fr>
2980
2981         PR tree-optimization/23434
2982         * tree-ssa-loop-niter.c (proved_non_wrapping_p): Give up when
2983         the iteration bound is not an INTEGER_CST.
2984
2985 2005-08-21  Dorit Nuzman  <dorit@il.ibm.com>
2986
2987         * tree-vect-transform.c (get_initial_def_for_reduction): Set
2988         need_epilog_adjust back to false for MIN/MAX case. Set *scalar_def to
2989         NULL if need_epilog_adjust is false.
2990         (vect_create_epilog_for_reduction): Variable adjust_in_epilog removed.
2991         Case 3 always peels first itration, not just for PLUS case, and no need
2992         to use scalar_initial_def here. Create an epilog adjustment only if
2993         scalar_initial_def is not NULL.
2994
2995         (vectorizable_reduction): Remove assert.
2996
2997 2005-08-20  H.J. Lu  <hongjiu.lu@intel.com>
2998
2999         PR target/23485
3000         * config/ia64/lib1funcs.asm (__divdi3): Check divide by zero.
3001         (__moddi3): Likewise.
3002         (__udivdi3): Likewise.
3003         (__umoddi3): Likewise.
3004         (__divsi3): Likewise.
3005         (__modsi3): Likewise.
3006         (__udivsi3): Likewise.
3007         (__umodsi3): Likewise.
3008
3009 2005-08-20  Jakub Jelinek  <jakub@redhat.com>
3010
3011         * tree-pass.h (TDF_GRAPH): Define.
3012         * tree-dump.c (dump_options): Don't set TDF_GRAPH in "all".
3013         * passes.c (finish_optimization_passes): Only call
3014         finish_graph_dump_file if TDF_GRAPH is set.
3015         (execute_one_pass): Only call clean_graph_dump_file if dump_file !=
3016         NULL.  Set TDF_GRAPH bit.
3017         (execute_todo): Call print_rtl_graph_with_bb if TDF_GRAPH is set.
3018
3019 2005-08-20  Richard Earnshaw  <richard.earnshaw@arm.com>
3020
3021         * arm.h (arm_stack_offsets): Add locals_base field.
3022         * arm.c (arm_get_frame_offsets): Compute it.
3023         (thumb_compute_initial_elimination offset): Make the Thumb frame
3024         pointer point to the base of the local variables.
3025         (thumb_expand_prologue): Update accordingly.
3026         (thumb_expand_epilogue): Likewise.
3027
3028         * arm.md (thumb_movhi_clobber): Make this insn a define_expand.  Change
3029         mode of clobbered scratch to DImode.  Handle a case that's known to
3030         need this.
3031
3032 2005-08-19  David Edelsohn  <edelsohn@gnu.org>
3033
3034         * config/rs6000/rs6000.md (gt0<mode>): Delete.
3035         (gt0<mode>_compare): Delete.
3036         (neg_gt0<mode>): Delete.
3037
3038 2005-08-19  Eric Christopher  <echristo@apple.com>
3039
3040         * optabs.h: Change CTI_ to COI_.
3041         * optabs.c: Ditto.
3042
3043 2005-08-19  James E Wilson  <wilson@specifix.com>
3044
3045         * builtins.c (expand_builtin_return_addr): Set
3046         current_function_accesses_prior_frames when count != 0.  Use
3047         frame_pointer_rtx when count == 0.
3048         * function.h (struct function): Add accesses_prior_frames field.
3049         (current_function_accesses_prior_frames): Define.
3050         * reload1.c (init_elim_table): Check
3051         current_function_accesses_prior_frames.
3052         * doc/tm.texi (INITIAL_FRAME_ADDRESS_RTX): Update docs.
3053
3054 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
3055
3056         * tree-cfgcleanup.c (cleanup_tree_cfg): Fix flowgraph change
3057         indicator.  Return true if the flowgraph changed during
3058         cleanup.
3059
3060 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
3061
3062         PR 23476
3063         * tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the
3064         conditional expression before testing its value.
3065
3066 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
3067
3068         * doc/invoke.texi: Fix documentation for -ftree-dominator-opts.
3069
3070 2005-08-19  Devang Patel  <dpatel@apple.com>
3071
3072         PR tree-optimization/23048
3073         * tree-if-conv.c (if_convertible_bb_p): Supply basic_block as
3074         third parameter. Check whether latch is dominated by exit
3075         block or not.
3076         (if_convertible_loop_p): Supply exit block itself to
3077         if_convertible_bb_p.
3078
3079 2005-08-19  Richard Earnshaw  <richard.earnshaw@arm.com>
3080
3081         PR target/23473
3082         * arm.md (arm_load_pic_register): Change argument to the mask of
3083         saved registers.  Call thumb_find_work_register if we need a
3084         scratch register on Thumb.
3085         (arm_expand_prologue): Pass empty register set to
3086         arm_load_pic_register.
3087         (thumb_expand_prologue): Pass live_regs_mask directly to
3088         arm_load_pic_register.
3089         * arm-protos.h (arm_load_pic_register): Update prototype.
3090
3091 2005-08-19  J"orn Rennecke <joern.rennecke@st.com>
3092
3093         * sh.c (find_sole_member): New function.
3094         (sh_gimplify_va_arg_expr): Use it. Allow RECORD_TYPE mode mismatch
3095         if the record's alignment is larger than the size of its only member.
3096
3097 2005-08-19  Richard Earnshaw  <richard.earnshaw@arm.com>
3098
3099         PR target/23436
3100         * arm.c (thumb_legitimize_reload_address): New function.
3101         * arm-protos.h (thumb_legitimize_reload_address): Add prototype.
3102         * arm.h (THUMB_LEGITIMIZE_RELOAD_ADDRESS): Call it.
3103
3104 2005-08-19  Paul Woegerer  <paul.woegerer@nsc.com>
3105
3106         * config/crx/crx.c: Implement crx_decompose_address. Reject
3107         symbolic displacements since CRX register relative adressing
3108         mode can't handle unsigned 32-bit values as displacements.
3109         * config/crx/crx.h: Simplify definitions, remove redundant
3110         parenthesis and obsolete macros.
3111         * config/crx/crx.opt: Add new switch for debugging addresses.
3112         * config/crx/crx-protos.h: Add new declarations for above.
3113
3114 2005-08-19  Andrew Pinski  <pinskia@physics.uc.edu>
3115
3116         PR middle-end/20624
3117         * gimple-low.c (block_may_fallthru): Handle CLEANUP_POINT_EXPR by
3118         looking past it.
3119
3120 2005-08-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3121
3122         * collect2.c (dup2): Delete.
3123         * configure.ac: Don't check for dup2.
3124
3125         * config.in, configure: Regenerate.
3126
3127 2005-08-18  J"orn Rennecke <joern.rennecke@st.com>
3128
3129         * sh.c (sh_gimplify_va_arg_expr): Loop to substitute a RECORD_TYPE
3130         record with the type of its only member.
3131
3132 2005-08-18  David Edelsohn  <edelsohn@gnu.org>
3133
3134         * config/rs6000/rs6000.md (ltu<mode>_compare): Convert to
3135         define_insn_and_split.
3136         (plus_ltu<mode>_compare): Same.
3137         (gtu<mode>_compare): Same.
3138         (plus_gtu<mode>_compare): Same.
3139
3140 2005-08-18  Dorit Nuzman  <dorit@il.ibm.com>
3141
3142         PR tree-optimization/22228
3143         * tree-ssa-loop (pass_vectorize): Add TODO_verify_loops to
3144         todo_flags_start.
3145         * tree-vect-transform.c (vect_transform_loop): Mark the variables that
3146         are recorded in vect_vnames_to_rename for renaming.
3147         * tree-vectorizer.c (vect_vnames_to_rename): New global bitmap.
3148         (slpeel_update_phi_nodes_for_guard1): Record virtual vars for renaming
3149         in vect_vnames_to_rename.
3150         (vectorize_loops): Allocate and free the vect_vnames_to_rename bitmap.
3151         * tree-vectorizer.h (vect_vnames_to_rename): New extern variable.
3152
3153 2005-08-18  Jan Hubicka  <jh@suse.cz>
3154
3155         PR c++/22034
3156         * cgraphunit.c (cgraph_varpool_assemble_pending_decls): Emit debug
3157         info only for local statics, not for member variables.
3158
3159 2005-08-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3160
3161         * tree-data-ref.c (analyze_siv_subscript_cst_affine): Fix comment typo.
3162
3163 2005-08-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3164
3165         * c-typeck.c (designator_errorneous): Rename to designator_erroneous.
3166
3167 2005-08-18  Andrew Pinski  <pinskia@physics.uc.edu>
3168
3169         PR middle-end/16045
3170         * builtins.c (fold_builtin): Create a new NOP_EXPR all the time.
3171
3172 2005-08-17  James E Wilson  <wilson@specifix.com>
3173
3174         * c-decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE in
3175         array size check.
3176
3177 2005-08-17  David Edelsohn  <edelsohn@gnu.org>
3178
3179         * config/rs6000/rs6000.md (leu<mode>): Convert to mode macro.
3180         (leu<mode>_compare): Same.
3181         (plus_leu<mode>): Same.
3182         (neg_leu<mode>): Same.
3183         (and_neg_leu<mode): Same.
3184         (ltu<mode>_compare): Same.
3185         (plus_ltu<mode>): Same.
3186         (geu<mode>): Same.
3187         (geu<mode>_compare): Same.
3188         (plus_geu<mode>): Same.
3189         (neg_geu<mode>): Same.
3190         (and_neg_geu<mode>): Same.
3191         (plus_gt<mode>): Same.
3192         (gtu<mode>_compare): Same.
3193         (plus_gtu<mode>): Same.
3194
3195 2005-08-17  Erik Christiansen  <erik@dd.nec.com.au>
3196
3197         * config/v850/lib1funcs.asm (callt_save_interrupt): Fix comment typos.
3198         Move call_table_data to end.  Delete spurious .text.
3199         (callt_save_all_interrupt): Fix comment typo.
3200
3201 2005-08-17  James E Wilson  <wilson@specifix.com>
3202             Kevin Winchester  <winchester@amirix.com>
3203
3204         PR target/21684
3205         * config/mcore/mcore.h (SHIFT_COUNT_TRUNCATED): Define to 0.
3206
3207 2005-08-17  Uros Bizjak  <uros@kss-loka.si>
3208
3209         PR target/23268
3210         * config/i386/i386.md ("*fist<mode>2_1"): New pattern.
3211         ("lrint<mode>2"): Change expander to use "*fist<mode>2_1" pattern.
3212
3213 2005-08-17  J"orn Rennecke <joern.rennecke@st.com>
3214
3215         * sh.c (sh_gimplify_va_arg_expr): Don't substitute a RECORD_TYPE
3216         record with the type of its only member if the modes don't match.
3217
3218         * varasm.c (decode_reg_name): Skip empty additional register names.
3219
3220 2005-08-16  Zdenek Dvorak  <dvorakz@suse.cz>
3221
3222         * tree-ssa-loop-im.c (MAX_LSM_NAME_LENGTH, lsm_tmp_name,
3223         lsm_tmp_name_length): New.
3224         (lsm_tmp_name_add, gen_lsm_tmp_name, get_lsm_tmp_name): New functions.
3225         (schedule_sm): Use get_lsm_tmp_name instead of "lsm_tmp".
3226
3227 2005-08-16  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3228             Andreas Krebbel  <krebbel1@de.ibm.com>
3229
3230         * config.gcc: Added z9-109 switch.
3231         * config/s390/2084.md ("x_int", "x_agen", "x_lr", "x_la", "x_larl",
3232         "x_load", "x_store", "x_branch", "x_call", "x_mul_hi", "x_mul_sidi",
3233         "x_div", "x_sem", "x_cs", "x_vs", "x_stm", "x_lm", "x_other",
3234         "x_fsimpdf", "x_fsimpsf", "x_fdivdf", "x_fdivsf", "x_floaddf",
3235         "x_floadsf", "x_fstore_df", "x_fstoresf", "x_ftoi", "x_itof"): Enable
3236         for "z9_109" cpu attribute.
3237         * config/s390/s390.c (z9_109_cost): New processor cost structure.
3238         (CONST_OK_FOR_Os, CONST_OK_FOR_Op, CONST_OK_FOR_On): New macros.
3239         (s390_handle_arch_option): Added z9-109 switch.
3240         (override_options): Set respective cost function for z9-109.
3241         (s390_const_ok_for_constraint_p): New constraints Os, Op, On.
3242         (legitimate_reload_constant_p): Accept extended immediates.
3243         (print_operand): Three new output modifiers added: k, m and o.
3244         (s390_adjust_priority, s390_issue_rate): Handle Z9_109 like Z990.
3245         (s390_output_mi_thunk): Use extended immediate when possible.
3246         * config/s390/s390.h (processor_flags): Added PF_EXTIMM.
3247         (TARGET_CPU_EXTIMM, TARGET_EXTIMM): New macros.
3248         (CONSTRAINT_LEN): Added length of O constraint.
3249         (CLZ_DEFINED_VALUE_AT_ZERO): Definition added.
3250         * config/s390/s390.md ("cpu"): New value z9_109 added.
3251         ("*tstdi_extimm", "*tstdi_ccconly_extimm", "*tstsi_extimm",
3252         "*tstsi_cconly_extimm", "*movdi_64extimm", "*extendhidi2_extimm",
3253         "*extendqidi2_extimm", "*extendhisi2_extimm", "*extendqisi2_extimm",
3254         "*zero_extend<mode>si2_extimm", "*anddi3_extimm", "*iordi3_extimm",
3255         "*xordi3_extimm", "clzdi2", "clztidi2"): New patterns.
3256         ("*tstdi", "*tstsi", "*movdi_64", "*extendhisi2", "*extendqisi2",
3257         "*zero_extend<mode>si2_64", "zero_extendqihi2", "*zero_extendqihi2_64",
3258         "*anddi3", "*iordi3", "*xordi3"): Disable for TARGET_EXTIMM.
3259         ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs", "*cmpsi_ccs", "*cmpdi_ccu",
3260         "*cmpsi_ccu", "*movsi_zarch", "*adddi3_imm_cc", "*adddi3_carry1_cc",
3261         "*adddi3_carry2_cc", "*adddi3_cc", "*adddi3_64", "*addsi3_imm_cc",
3262         "*addsi3_carry1_cc", "*addsi3_carry2_cc", "*addsi3_cc", "addsi3",
3263         "*andsi3_cc", "*andsi3_cconly", "*andsi3_zarch", "*iorsi3_cc",
3264         "*iorsi3_cconly", "*iorsi3_zarch", "*xorsi3_cc", "*xorsi3_cconly",
3265         "*xorsi3", "*xorhi3", "*xorqi3"): Added instruction using extended
3266         immediates.
3267         ("extend<mode>di2", "extend<mode>si2", "zero_extend<mode>di2",
3268         "zero_extend<mode>si2"): Allow memory operands and don't manually emit
3269         insns for TARGET_EXTIMM.
3270
3271 2005-08-17  Andreas Krebbel  <krebbel1@de.ibm.com>
3272
3273         * testsuite/gcc.dg/20020926-1.c: Added "-mesa" to dg-options.
3274
3275 2005-08-17  Nick Clifton  <nickc@redhat.com>
3276
3277         * config/stormy16/stormy16.c (xstormy16_encode_section_info):
3278         Call default_encode_section_info.
3279
3280 2005-08-17  Steven Bosscher  <stevenb@suse.de>
3281
3282         PR tree-optimization/21574
3283         * tree-ssa-ccp.c (likely_value): If the right hand side is a
3284         constant, return CONSTANT.
3285         (ccp_lattice_meet): Use operand_equal_p instead of simple_cst_equal.
3286         (ccp_fold, visit_assignment): Likewise.
3287         (evaluate_stmt): Handle UNDEFINED and UNKNOWN_VAL the same way.
3288
3289 2005-08-16  James A. Morrison  <phython@gcc.gnu.org>
3290
3291         * c-typeck.c (build_function_call): Call fold_buildN_initializer or
3292         fold_buildN instead of buildN then fold_initializer or fold.
3293         (build_unary_op): Likewise.
3294         (build_binary_op): Likewise.
3295         * fold-const.c (fold_initializer): Remove.
3296         (fold_build1_initializer): New function.
3297         (fold_build2_initializer): New function.
3298         (fold_build3_initializer): New function.
3299         * tree.h (fold_initializer): Remove.
3300         (fold_build1_initializer): New function.
3301         (fold_build2_initializer): New function.
3302         (fold_build3_initializer): New function.
3303
3304 2005-08-16  James A. Morrison  <phython@gcc.gnu.org>
3305
3306         * fold-const.c (optimize_bit_field_compare): Remove extra fold call.
3307         (try_move_mult_to_index): Call fold_build2 instead of build2.
3308         (fold_binary): Don't call fold after calls to try_move_mult_to_index.
3309         * tree-ssa-loop-niter.c (inverse): Call int_const_binop instead of
3310         fold_binary_to_constant.
3311         (infer_loop_bounds_from_undefined): Call fold_build2 instead of
3312         fold (build.
3313         * tree-data-ref.c (tree_fold_divides_p): Use tree_int_cst_equal to
3314         check if A == gcd (A, B).  Remove TYPE argument.
3315         (analyze_offset) Use fold_build2 instead of fold (build.
3316         (create_data_ref): Likewise.
3317         (analyze_siv_subscript_cst_affine): Update calls to tree_fold_divides_p.
3318         * tree-ssa-ccp.c (widen_bitfield): Call fold_build2 instead of build2
3319         then fold.
3320
3321 2005-08-17  Kelley Cook  <kcook@gcc.gnu.org>
3322
3323         * config/arm/unaligned-funcs.c,config/i386/crtfastmath.c,
3324         ipa-cp.c,ipa-prop.c,ipa-prop.h: Update FSF address.
3325
3326 2005-08-16  Andrew Pinski  <pinskia@physics.uc.edu>
3327
3328         PR tree-opt/23402
3329         * gimplify.c (zero_sized_type): New function.
3330         (gimplify_modify_expr_rhs): If we have a zero sized type,
3331         replace the statement with an empty statement.
3332
3333 2005-08-16  H.J. Lu  <hongjiu.lu@intel.com>
3334
3335         * config/i386/crtfastmath.c (set_fast_math): Add "=m" for
3336         fxsave.
3337
3338 2005-08-16  Ian Lance Taylor  <ian@airs.com>
3339
3340         * doc/tm.texi (Label Output): Correct typo.
3341
3342 2005-08-16  Steven Bosscher  <stevenb@suse.de>
3343
3344         PR target/23376
3345         * loop-unroll.c (analyze_insn_to_expand_var): Make sure that
3346         force_operand will work later on using have_insn_for.
3347
3348 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3349
3350         * fold-const.c (tree_expr_nonnegative_p): Regroup cases.
3351
3352 2005-08-16  Ian Lance Taylor  <ian@airs.com>
3353
3354         PR c++/23337
3355         * gimplify.c (gimplify_init_ctor_eval): If we see an element of
3356         vector type, don't try to construct it element by element.  Add an
3357         assertion that we use a FIELD_DECL when building a COMPONENT_REF.
3358
3359 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3360
3361         * fold-const.c (fold_ternary): Simplify folding of a CALL_EXPR.
3362
3363 2005-08-16  Geoffrey Keating  <geoffk@apple.com>
3364
3365         * doc/invoke.texi (Precompiled Headers): Document some more options
3366         which are known to be safe.
3367
3368 2005-08-16  James E Wilson  <wilson@specifix.com>
3369
3370         PR tree-optimization/21105
3371         * c-decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE in
3372         TREE_OVERFLOW check.
3373
3374 2005-08-16  David Edelsohn  <edelsohn@gnu.org>
3375
3376         * config/rs6000/rs6000.md (ltu<mode>): Convert to mode macro.
3377         (neg_ltu<mode>): Same.
3378         (gtu<mode>): Same.
3379         (neg_gtu<mode>): Same.
3380
3381 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3382
3383         * builtins.c (expand_builtin_strcat): Remove superfluous call to fold.
3384         (fold_builtin_isdigit): Use fold_buildN.
3385         (build_function_call_expr): Likewise.
3386         * c-typeck.c (c_finish_loop): Likewise.
3387
3388 2005-08-16  J"orn Rennecke <joern.rennecke@st.com>
3389             Richard Shann <rshann@superh.com>
3390
3391         PR middle-end/20396:
3392         * optabs.c (expand_binop): Take TRULY_NOOP_TRUNCATION into account.
3393
3394 2005-08-16  Sebastian Pop  <pop@cri.ensmp.fr>
3395
3396         * tree-ssa-loop-niter.c (scev_probably_wraps_p): Reword a comment.
3397
3398 2005-08-15  Richard Earnshaw  <richard.earnshaw@arm.com>
3399
3400         PR target/23355
3401         * arm.c (thumb_compute_save_reg_mask): Use similar logic to
3402         arm_compure_save_reg0_reg12_mask to determine when the PIC register
3403         must be saved.
3404
3405 2005-08-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3406
3407         PR middle-end/23369
3408         * fold-const.c (build_range_check): Disable optimization for function
3409         pointer expressions on targets that require function pointer
3410         canonicalization.
3411
3412 2005-08-15  Ulrich Weigand  <uweigand@de.ibm.com>
3413
3414         * simplify-rtx.c (simplify_const_relational_operation): When
3415         extracting arguments of a COMPARE, recompute the mode as well.
3416
3417 2005-08-15  Ian Lance Taylor  <ian@airs.com>
3418
3419         * tree.c (build_string): Mark tree CONSTANT and INVARIANT.
3420
3421 2005-08-15  DJ Delorie  <dj@redhat.com>
3422
3423         * config/m32c/mov.md (movqi_op): Immediates can't be moved to
3424         the stack.
3425         (movsi_splittable): Allow, but split, moves to the stack.
3426         * config/m32c/m32c.c (m32c_split_move): Always split moves to the
3427         stack.
3428
3429 2005-08-15  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3430
3431         * aclocal.m4 (gcc_AC_FUNC_PRINTF_PTR): Delete.
3432         * configure.ac: Don't call gcc_AC_FUNC_PRINTF_PTR.
3433         * system.h (HOST_PTR_PRINTF): Don't define, poison it.
3434
3435         * bitmap.c, c-decl.c, config/i386/i386-interix.h,
3436         config/iq2000/iq2000.c, mips-tfile.c, print-rtl.c, print-tree.c:
3437         Delete HOST_PTR_PRINTF.
3438
3439         * configure, config.in: Regenerate.
3440
3441 2005-08-15  David Edelsohn  <edelsohn@gnu.org>
3442
3443         * config/rs6000/rs6000.md (QHSI): New mode macro.
3444         (wd): Extend mode attr for QImode and HImode
3445         (dbits): New mode attr.
3446         (zero_extend<mode>di2): Convert to mode macro.
3447
3448 2005-08-15  Steve Ellcey  <sje@cup.hp.com>
3449
3450         PR target/21841
3451         * doc/invoke.texi (-mgnu-ld): Update description.
3452         (-mhp-ld): Ditto.
3453
3454 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
3455
3456         PR 23391
3457         * Makefile.in (tree-chrec.o): Depends on real.h.
3458         * tree-chrec.c: Include real.h.
3459         (chrec_fold_plus_poly_poly, chrec_fold_multiply_poly_poly,
3460         chrec_fold_plus_1): Use build_real for SCALAR_FLOAT_TYPE_P.
3461         * tree-scalar-evolution.c (add_to_evolution_1,
3462         interpret_rhs_modify_expr): Ditto.
3463
3464 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
3465
3466         PR 23386
3467         * tree-data-ref.c (estimate_niter_from_size_of_data): When
3468         step is negative compute the estimation from init downwards to zero.
3469
3470 2005-08-14  James A. Morrison  <phython@gcc.gnu.org>
3471
3472         * fold-const (fold_binary): Call fold_build2 instead of fold (build.
3473
3474 2005-08-14  Ulrich Weigand  <uweigand@de.ibm.com>
3475
3476         * config/s390/s390.c (s390_const_ok_for_constraint_p): Add 'P'
3477         constraint.
3478         (legitimate_reload_constant_p): Fix handling of lliXX operands.
3479         Accept double-word constants that can be split.
3480         * config/s390/s390.md ("movti"): Use 'P' constraint.
3481         ("*movdi_31", "*movdf_31"): Likewise.
3482
3483 2005-08-14  Daniel Berlin  <dberlin@dberlin.org>
3484
3485         Fix PR tree-optimization/22615
3486
3487         * tree-ssa-structalias.c (solution_set_add): Handle
3488         first_vi_for_offset returning NULL.
3489         (do_da_constraint): Ditto.
3490         (do_sd_constraint): Ditto.
3491         (do_ds_constraint): Ditto
3492         (find_func_aliases): Ditto.
3493         (build_constraint_graph): RHS is allowed be ANYTHING.
3494         (first_vi_for_offset): Return NULL if we couldn't find anything at
3495         the offset.
3496
3497 2005-08-14  Ulrich Weigand  <uweigand@de.ibm.com>
3498
3499         * config/s390/s390.c (s390_canonicalize_comparison): Prefer register
3500         over memory as first operand.
3501
3502 2005-08-14  H.J. Lu  <hongjiu.lu@intel.com>
3503
3504         PR target/23360
3505         * config/i386/crtfastmath.c (set_fast_math): Check if DAZ is
3506         available for setting it.
3507
3508 2005-08-14  Ira Rosen  <irar@il.ibm.com>
3509
3510         PR tree-optimization/23320
3511         * tree-data-ref.c (base_addr_differ_p): Add comment. Check
3512         data-refs' types instead of base object nullness. Add check for
3513         pointer type data-refs before first location comparison. Remove
3514         assert.
3515</