OSDN Git Service

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