OSDN Git Service

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