OSDN Git Service

2005-09-06 Saurabh Verma <saurabh.verma@codito.com>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-09-06  Saurabh Verma  <saurabh.verma@codito.com>
2
3         PR target/8972
4         * config/arc/arc.c (output_shift): Add check for loop count when
5         optimizing.
6
7 2005-09-06  Steven Bosscher  <stevenb@suse.de>
8
9         * tree-ssa-phiopt.c (conditional_replacement): Construct proper SSA
10         form manually.
11         (abs_replacement): Likewise.
12         (pass_phiopt): Remove TODO_update_ssa.
13
14 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
15
16         PR c/23075
17         * c-typeck.c (c_finish_return): Set TREE_NO_WARNING on RETURN_EXPR
18         if "return with no value, in function returning non-void" warning
19         has been issued.
20         * tree-cfg.c (execute_warn_function_return): Don't look at
21         RETURN_EXPRs with TREE_NO_WARNING set.
22
23         PR target/22362
24         * config/i386/i386.c (ix86_function_regparm): Make sure automatic regparm
25         for internal functions doesn't use registers used by global registers
26         variables.  Use fewer register parameters if there are global register
27         variables.
28
29 2005-09-06  Olivier Hainque  <hainque@adacore.com>
30             Eric Botcazou  <ebotcazou@adacore.com>
31
32         PR middle-end/14997
33         * expr.c (expand_expr_real) <normal_inner_ref>: Force op0 to mem
34         when we would be extracting outside its bit span (bitpos+bitsize
35         larger than its mode), possible with some VIEW_CONVERT_EXPRs from
36         Ada unchecked conversions.
37
38 2005-09-06  Steven Bosscher  <stevenb@suse.de>
39
40         * tree-ssa-pre.c (try_look_through_load): New function.
41         (compute_avail): Use it to try to look through loads for some
42         more useful expressions.
43
44 2005-09-06  Saurabh Verma  <saurabh.verma@codito.com>
45
46         * simplify-rtx.c (simplify_binary_operation_1): Correct the 
47         condition for detecting cases like (a&a) and (a^a).
48
49 2005-09-06  Keith Besaw  <kbesaw@us.ibm.com>
50
51         * common.opt: Add option ftree-vect-loop-version.
52         * params.def: Add --param vect-max-version-checks.
53         * doc/invoke.texi: Document ftree-vect-loop-version and
54         --param vect-max-version-checks.
55         * tree-vectorizer.h (_loop_vec_info): Add ptr_mask and
56         may_misalign_stmts and defines for accessors.
57         * tree-vectorizer.c : (new_loop_vec_info): VEC_alloc for
58         LOOP_VINFO_MAY_MISALIGN_STMTS.
59         (destroy_loop_vec_info): VEC_free for
60         LOOP_VINFO_MAY_MISALIGN_STMTS.
61         * tree-vect-analyze.c (vect_compute_data_ref_alignment):
62         Update documentation.
63         (vect_update_misalignment_for_peel): New.
64         (vect_enhance_data_refs_alignment): Update to choose loop
65         peeling or loop versioning if appropriate for the (potentially)
66         unaligned data references in the loop.
67         (vect_analyze_data_refs_alignment): Remove call to
68         vect_enhance_data_refs_alignment so the checks can be done
69         earlier.
70         (vect_analyze_loop): Add call to vect_enhance_data_refs_alignment
71         and move up call to vect_analyze_data_refs_alignment.
72         * tree-vect-transform.c (vect_create_cond_for_align_checks): New.
73         (vect_transform_loop): Add call to loop_version.
74
75 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
76
77         PR rtl-optimization/23098
78         * cse.c (fold_rtx_mem): Call delegitimize_address target hook.
79         * simplify-rtx.c (constant_pool_reference_p): New function.
80         * rtl.h (constant_pool_reference_p): New prototype.
81         * config/i386/i386.md (pushf split, mov[sdx]f split): Use
82         constant_pool_reference_p in condition and
83         avoid_constant_pool_reference in preparation statements.
84
85 2005-09-06  Andreas Krebbel  <krebbel1@de.ibm.com>
86
87         * gcse.c (try_replace_reg): Disallow REG_EQUAL notes for 
88         STRICT_LOW_PART SETs.
89
90 2005-09-06  Alan Modra  <amodra@bigpond.net.au>
91
92         PR middle-end/21460
93         * except.c (sjlj_emit_function_enter): Find the function begin
94         note even when it's not in first basic block.
95
96 2005-09-06  Kelley Cook  <kcook@gcc.gnu.org>
97
98         * acinclude.m4: Renamed from aclocal.m4.  Delete AM_LANGINFO_CODESET,
99         AM_PROG_CC_C_O, and AM_AUX_DIR_EXPAND.
100         * aclocal.m4: Regenerate.
101
102 2005-09-05  DJ Delorie  <dj@redhat.com>
103
104         * config/m32c/m32c.h (TRAMPOLINE_ALIGNMENT): Correct misspelling
105         of macro.
106
107 2005-09-06  Kazu Hirata  <kazu@codesourcery.com>
108
109         * gimplify.c, ipa-prop.h, varasm.c, config/vxlib.c,
110         config/vxworks.h, config/crx/crx.c, config/ms1/ms1.c,
111         config/ms1/ms1.md, config/rs6000/rs6000.c: Fix comment typos.
112         Follow spelling conventions.
113         * doc/invoke.texi: Follow spelling conventions.
114
115 2005-09-05  J"orn Rennecke <joern.rennecke@st.com>
116
117         * rtl.h (gen_frame_mem, gen_tmp_stack_mem): Declare.
118         * emit-rtl.c (gen_frame_mem, gen_tmp_stack_mem): New functions.
119         * builtins.c (expand_builtin_return_addr): Use gen_frame_mem.
120
121 2005-09-05  J"orn Rennecke <joern.rennecke@st.com>
122
123         PR target/23683
124         * sh.c (sh_reorg, emit_load_ptr): Use gen_const_mem.
125         (output_stack_adjust): Use gen_tmp_stack_mem.
126         (sh_expand_prologue, sh_expand_epilogue): Use gen_frame_mem.
127         (sh_set_return_address, sh_allocate_initial_value): Likewise.
128         (sh_get_pr_initial_val): Likewise.
129         (sh_builtin_saveregs): Use gen_frame_mem and change_address.
130         (sh_initialize_trampoline): Likewise.  Also use adjust_address.
131         * sh.md (divsi_inv_m0): Use gen_const_mem.
132         (push_fpscr, pop_fpscr, load_ra): Use gen_frame_mem.
133         (movdf_i4+1): Use gen_tmp_stack_mem.
134         (reload_outdf+3, reload_outdf+4, fpu_switch+1): Use change_address.
135         (fpu_switch+2): Likewise.
136         (movv4sf_i, movv16sf_i): Use adjust_address.
137         (symGOT_load): Set MEM_NOTRAP_P bit.
138
139 2005-09-04  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
140
141         PR target/23721
142         * pa.c (emit_move_sequence): Fix typo in last change.
143
144 2005-09-03  Jakub Jelinek  <jakub@redhat.com>
145
146         PR rtl-optimization/23454
147         * reorg.c (relax_delay_slots): Only call invert_jump if any_condjump_p
148         is true.
149
150 2005-09-03  Richard Henderson  <rth@redhat.com>
151             John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
152
153         PR middle-end/23671
154         * pa.c (emit_move_sequence): Use replace_equiv_address instead of
155         gen_rtx_MEM.
156
157 2005-09-02  Nicolas Pitre <nico@cam.org>
158
159         * config/arm/arm.c (arm_legitimize_address): Limit the value passed
160         to bit_count to 32 bits.
161
162 2005-08-31  Mark Mitchell  <mark@codesourcery.com>
163
164         PR c++/23167
165         * gimplify.c (gimplify_expr): Handle TREE_ADDRESSABLE types when
166         generating synthetic loads from volatile lvalues.
167
168 005-09-02  Nick Clifton  <nickc@redhat.com>
169
170         * config/stormy16/stormy16-lib2.c (__popcounthi2, __parityhi2,
171         __ctzhi2, __clzhi2): New functions.
172
173 2005-09-02  Andrew Pinski  <pinskia@physics.uc.edu>
174
175         PR middle-end/23547
176         * tree-nested.c (struct var_map_elt): Mark with GTY.
177         (struct nesting_info): Mark with GTY.  Mark var_map's param is struct
178         var_map_elt.
179         (lookup_field_for_decl): Allocate new element in GC memory.
180         (lookup_tramp_for_decl): Likewise.
181         (convert_nl_goto_reference): Likewise
182         (create_nesting_tree): Allocate info in GC memory. Likewise for
183         info->var_map.
184         (free_nesting_tree): Free with ggc_free instead of free.
185         (root): New static variable.
186         (lower_nested_functions): Remove root as local variable.  And zero out
187         root at the end of the function.
188
189 2005-09-02  J"orn Rennecke <joern.rennecke@st.com>
190
191         PR rtl-optimization/20365
192         * simplify-rtx.c (simplify_plus_minus_op_data): Change type of neg
193         to short.  New member ix.
194         (simplify_plus_minus_op_data_cmp): Break ties using ix member.
195         (simplify_plus_minus): Initialize ix members before calling qsort.
196
197 2005-09-02  Zdenek Dvorak  <dvorakz@suse.cz>
198
199         PR tree-optimization/23626
200         * tree-cfg.c (replace_uses_by): Clean up eh info.
201
202 2005-09-01  DJ Delorie  <dj@redhat.com>
203
204         * config/m32c/m32c.c (m32c_valid_pointer_mode): Remove stray debug
205         fprintf.
206
207 2005-09-01  David Edelsohn  <edelsohn@gnu.org>
208
209         * config/rs6000/rs6000.c (setup_incoming_varargs): Set MEM_NOTRAP_P.
210         (rs6000_split_multireg_move): Use replace_equiv_address instead of
211         gen_rtx_MEM.
212
213 2005-09-01  Craig Rodrigues  <rodrigc@gcc.gnu.org>
214
215         * c-decl.c (diagnose_mismatched_decls):  With -Wredundant-decls,
216         do not issue warning for a variable definition following
217         a declaration.
218
219 2005-09-01  Richard Henderson  <rth@redhat.com>
220
221         PR 23668
222         * config/i386/i386.c (ix86_expand_vector_init_one_var): Restore
223         conversion to CONST_VECTOR.
224
225 2005-09-01  Richard Henderson  <rth@redhat.com>
226
227         PR 23676
228         * reload1.c (reload_as_needed): Check !CALL_P before calling
229         fixup_eh_region_note.
230         * rtlanal.c (may_trap_p): SUBREG by itself cannot trap.
231
232 2005-09-01  DJ Delorie  <dj@redhat.com>
233
234         * varasm.c (output_constant): Let the target resolve
235         conversions of addresses to non-default pointer sizes.
236
237 2005-09-01  Nicolas Pitre <nico@cam.org>
238
239         * config/arm/arm.c (arm_legitimize_address): Split absolute addresses
240         to alow matching ARM pre-indexed addressing mode.
241         (arm_override_options): Remove now irrelevant comment.
242
243 2005-09-01  Phil Edwards  <phil@codesourcery.com>
244
245         * config.gcc (i*86-wrs-vxworks):  Update.  Split out vxworksae target.
246         * config/i386/t-vxworks:  Update multilibs for VxWorks 6 and RTP mode.
247         * config/i386/vxworks.h:  Likewise.
248         * config/i386/t-vxworksae:  New file, for VxWorks AE.
249         * config/i386/vxworksae.h:  Likewise.
250
251 2005-09-01  Sebastian Pop  <pop@cri.ensmp.fr>
252
253         PR tree-optimization/23410
254         * tree-ssa-loop-niter.c (scev_probably_wraps_p): Check that the
255         sequence is not wrapping during the first step.
256
257 2005-09-01  Jakub Jelinek  <jakub@redhat.com>
258
259         PR debug/7241
260         * dwarf2out.c (base_type_die): Compare char_type_node with
261         TYPE_MAIN_VARIANT (type), not type.
262
263 2005-09-01  Richard Guenther  <rguenther@suse.de>
264
265         PR tree-optimization/15366
266         * common.opt: Add -finline-functions-called-once.
267         Put -fearly-inlining in alphabetically ordered place.
268         * doc/invoke.texi: Document new option.
269         * ipa-inline.c (cgraph_decide_inlining): Honour
270         flag_inline_functions_called_once.
271
272 2005-09-01  Jakub Jelinek  <jakub@redhat.com>
273
274         PR rtl-optimization/23478
275         * local-alloc.c (struct qty): Add n_throwing_calls_crossed field.
276         (alloc_qty): Initialize it.
277         (update_equiv_regs): Clear REG_N_THROWING_CALLS_CROSSED.
278         (combine_regs): Combine also n_throwing_calls_crossed fields.
279         (find_free_reg): Don't attempt to caller-save pseudos crossing
280         calls that might throw.
281         * global.c (struct allocno): Add throwing_calls_crossed field.
282         (global_alloc): Revert 2005-08-22 change.  Initialize
283         throwing_calls_crossed.
284         (find_reg): Don't attempt to caller-save pseudos crossing calls that
285         might throw.
286
287 2005-09-01  Alan Modra  <amodra@bigpond.net.au>
288
289         PR target/23649
290         * config/rs6000/predicates.md (mask_operand): Only handle rlwinm masks.
291         (mask64_operand): Reinstate code prior to 2005-06-11 change.
292         (mask64_2_operand): Reinstate code prior to 2004-11-11 change.
293         (and64_2_operand): Tweak to use predicate.
294         (and_operand): Adjust for mask_operand changes.
295         * config/rs6000/rs6000.c (num_insns_constant): Revert 2005-06-11.
296         (print_operand): Likewise.
297         (rs6000_rtx_costs): Pass mode to mask_operand and use mask64_operand.
298         (mask64_1or2_operand): Delete.
299         * rs6000/rs6000-protos.h (mask64_1or2_operand): Delete.
300         * config/rs6000/rs6000.h (EXTRA_CONSTRAINT <S>): Revert 2005-06-11.
301         (EXTRA_CONSTRAINT <T>): Pass operand mode to predicate.
302         (EXTRA_CONSTRAINT <t>): Disallow mask64_operand matches.
303         * config/rs6000/rs6000.md (andsi3_internal3 split): Revert 2005-06-11.
304         (rotldi3_internal4): Likewise.
305         (rotldi3_internal5, rotldi3_internal5 split): Likewise.
306         (rotldi3_internal6, rotldi3_internal6 split): Likewise.
307         (ashldi3_internal7): Likewise.
308         (ashldi3_internal8, ashldi3_internal8 split): Likewise.
309         (ashldi3_internal, ashldi3_internal9 split): Likewise.
310         (anddi3 split): Don't match mask64_operand.
311         (anddi3_internal2): Add rlwinm.  Modify 't' splitter predicate.
312         (anddi3_internal3): Add rlwinm.  Use and64_2_operand in non-cr0
313         splitter and match TARGET_64BIT not TARGET_POWERPC64.  Modify
314         't' splitter predicate.
315         (movdi_internal64 + 2): Revert 2005-06-11 change.
316
317 2005-08-31  DJ Delorie  <dj@redhat.com>
318
319         * config/m32c/m32c.c (m32c_valid_pointer_mode): New.
320         (m32c_asm_integer): Add support for 32 bit pointers.
321
322 2005-08-31  Richard Henderson  <rth@redhat.com>
323
324         * emit-rtl.c (set_mem_attributes_minus_bitpos): Look through
325         component-like references for setting MEM_NOTRAP_P.
326
327         * config/i386/i386.c (ix86_setup_incoming_varargs): Set MEM_NOTRAP_P.
328         * config/alpha/alpha.c (alpha_setup_incoming_varargs): Likewise.
329
330 2005-08-31  Richard Henderson  <rth@redhat.com>
331
332         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Force subregs
333         into a pseudo before applying gen_lowpart.
334
335 2005-08-31  Geoffrey Keating  <geoffk@apple.com>
336
337         * doc/install.texi (Specific): Update cctools version required
338         for full functionality.
339         * config/darwin.h (LINK_SPEC): Pass -mmacosx-version-min to the
340         linkers as -macosx_version_min.
341
342 2005-08-31  J"orn Rennecke <joern.rennecke@st.com>
343
344         PR target/21255
345         * sh.c (print_operand, %R and %S): Add handling of floating point
346         registers, memory, constants and invalid operands.
347
348 2005-08-31  Daniel Berlin  <dberlin@dberlin.org>
349
350         * ipa-pure-const.c: Change dump name.
351
352 2005-08-31 Uros Bizjak <uros@kss-loka.si>
353
354         PR target/23570
355         * config/i386/sse.md (*sse_concatv2sf): Change operand 2 constraint
356         to "reg_or_0_operand".
357         (sse2_loadld): Change operand 1 constraint to "reg_or_0_operand".
358
359 2005-08-31  Dale Johannesen  <dalej@apple.com>
360
361         * loop-iv.c (iv_number_of_iterations):  Fix overflow check for
362         loops that count down.
363
364 2005-08-31  Richard Henderson  <rth@redhat.com>
365
366         PR rtl-opt/23601
367         * reload1.c (reload): Set MEM_NOTRAP_P in spill slots.
368         (fixup_eh_region_note): New.
369         (reload_as_needed): Call it.
370         (fixup_abnormal_edges): Allow all throwing insns to be deleted;
371         don't call find_many_sub_basic_blocks; call verify_flow_info.
372         * function.c (assign_stack_local_1): Set MEM_NOTRAP_P.
373         (keep_stack_depressed): Likewise.
374         (assign_stack_temp_for_type): Likewise; use adjust_address_nv.
375
376 2005-08-31  Richard Henderson  <rth@redhat.com>
377
378         * config/i386/i386.c (ix86_function_ok_for_sibcall): Fix test for
379         fp return matching.
380
381 2005-08-31  Fariborz Jahanian <fjahanian@apple.com>
382
383         * expr.c (expand_expr_real_1): Compare size of address 
384         mode to target's address mode size in deciding expansion of 
385         the constant address.
386
387 2005-08-31  Richard Guenther  <rguenther@suse.de>
388
389         PR middle-end/23477
390         * expr.c (all_zeros_p): New function.
391         (expand_expr_real_1): Handle the case of an all-zero
392         non-addressable constructor separately.
393
394 2005-08-31  Adrian Straetling  <straetling@de.ibm.com>
395
396         * builtins.c: (expand_builtin_strcpy, expand_builtin_strcat): Change
397         arguments, adjust all callers.
398         (expand_builtin_strcat): Rewrite to call strcpy instead of mempcpy.
399
400 2005-08-30  Richard Henderson  <rth@redhat.com>
401
402         PR target/23630
403         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Use gen_lowpart
404         whenever the mode sizes match.
405
406 2005-08-31  Alan Modra  <amodra@bigpond.net.au>
407
408         * calls.c (load_register_parameters): Fix comment typo.
409         * expr.c (emit_push_insn): Comment formatting.
410
411 2005-08-30  Ian Lance Taylor  <ian@airs.com>
412
413         * config/i386/x-cygwin (host-cygwin): Change dependency from
414         hosthooks-def.h to $(HOSTHOOKS_DEF_H).
415
416 2005-08-29  Geoffrey Keating  <geoffk@apple.com>
417
418         * config/i386/i386.c (ix86_expand_vector_init_one_var): Don't modify
419         parts of 'vals'.
420
421 2005-08-29  Andrew Pinski  <pinskia@physics.uc.edu>
422
423         PR middle-end/23408
424         * ipa-inline.c (cgraph_decide_inlining_incrementally): Remove the
425         call to ggc_collect.
426
427 2005-08-29  Paolo Bonzini  <bonzini@gnu.org>
428
429         PR bootstrap/21268
430         * Makefile.in (ALL_CPPFLAGS): Include $(INCLUDES) at the
431         beginning.  Remove $(INCLUDES) from all the rules, if following
432         $(ALL_CPPFLAGS) or $(BUILD_CPPFLAGS).
433
434 2005-08-29  Jakub Jelinek  <jakub@redhat.com>
435
436         PR middle-end/23484
437         * builtins.c (fold_builtin_memory_chk, fold_builtin_stxcpy_chk,
438         fold_builtin_strncpy_chk, fold_builtin_snprintf_chk): If len is
439         not constant, but maxlen is, don't set len to maxlen, rather
440         set maxlen to len if len is a constant.
441
442 2005-08-29  Zdenek Dvorak  <dvorakz@suse.cz>
443
444         PR tree-optimization/23475
445         * tree-ssa-loop-ivcanon.c (remove_empty_loop): Update frequencies
446         and counts.
447
448 2005-08-28  Daniel Berlin  <dberlin@dberlin.org>
449
450         Fix PR middle-end/22455
451
452         * fold-const.c (fold_checksum_tree): Adjust for now-largest tree size.
453         Checksum only the parts of the tree that exist for the tree code.
454
455 2005-08-28  Dale Johannesen  <dalej@apple.com>
456
457         * config/i386/i386.c (nocona_cost):  Increase MOVE_RATIO.
458
459 2005-08-28  Andrew Pinski  <pinskia@physics.uc.edu>
460
461         * tree-vrp.c: Remove obsolete comment in front of vrp_initialize.
462
463 2005-08-28  Richard Henderson  <rth@redhat.com>
464
465         * stor-layout.c (finalize_type_size): Revert workaround from 08-26.
466         * tree.c (make_node_stat): Use BITS_PER_UNIT instead of alignment
467         of char_type_node.
468
469 2005-08-28  Jakub Jelinek  <jakub@redhat.com>
470
471         PR ada/23593
472         * builtins.c (get_memory_rtx): Don't strip nops
473         in between COMPONENT_REFs.
474
475 2005-08-27  Andrew Pinski  <pinskia@physics.uc.edu>
476
477         PR middle-end/23463
478         * gimplify.c (gimplify_modify_expr_rhs): Remove check for zero sized
479         types.
480         (gimplify_modify_expr): Check for zero sized types and gimplify the
481         rhs and lhs as statements.
482
483 2005-08-27  John David Anglin  <dave.anflin@nrc-cnrc.gc.ca>
484
485         PR libgcj/23508
486         * pa/linux-unwind.h (pa32_fallback_frame_state): Use r0 slot in frame
487         state for return address column of signal frames.
488
489 2005-08-27  David Edelsohn  <edelsohn@gnu.org>
490
491         PR target/23539
492         * config/rs6000/rs6000.c (expand_block_clear): Use HImode when
493         bytes >= 2 not bytes == 2.
494         (expand_block_move): Same.
495
496 2005-08-27  Richard Guenther  <rguenther@suse.de>
497
498         PR target/23575
499         * config/i386/sse.md (sse2_movsd): Add missing closing
500         braces.
501
502 2005-08-27  Paul Brook  <paul@codesourcery.com>
503
504         * genrecog.c (enum decision_type): Add DT_num_insns.
505         (struct decision_test): Add u.num_insns.
506         (add_to_sequence): Add DT_num_insns test.
507         (maybe_both_true_2, nodes_identical_1): Handle DT_num_insns.
508         (write_cond, debug_decision_2): Ditto.
509         (change_state): Assume peep2_next_insn never fails.
510         Remove "afterward" argument.
511         (write afterward, write_tree): Update to match.
512         * recog.c (peep2_current_count): New variable.
513         (peep2_next_insn): Check it.
514         (peephole2_optimize): Set peep2_current_count.
515         * recog.h (peep2_current_count): Declare.
516
517 2005-08-26  Josh Conner  <jconner@apple.com>
518
519         PR middle-end/23584
520         * ipa-pure-const.c (check_tree): Check for volatile-ness
521         when considering a dereference.
522
523 2005-08-27  Jakub Jelinek  <jakub@redhat.com>
524
525         * rtl.h (MEM_IN_STRUCT_P): Fix comment typo.
526
527 2005-08-26  Jakub Jelinek  <jakub@redhat.com>
528
529         PR rtl-optimization/23561
530         * builtins.c (get_memory_rtx): Add LEN argument.  If MEM_EXPR is
531         a COMPONENT_REF, remove all COMPONENT_REF from MEM_EXPR unless
532         at most LEN bytes long memory fits into the field.
533         (expand_builtin_memcpy, expand_builtin_mempcpy, expand_movstr,
534         expand_builtin_strncpy, expand_builtin_memset, expand_builtin_memcmp,
535         expand_builtin_strcmp, expand_builtin_strncmp): Adjust callers.
536
537 2005-08-26  Richard Henderson  <rth@redhat.com>
538
539         PR rtl-opt/23560
540         * loop.c (biased_biv_may_wrap_p): New.
541         (maybe_eliminate_biv_1): Use it to suppress non-equality
542         comparison transformations.  Delete disabled code.
543
544 2005-08-26  Ian Lance Taylor  <ian@airs.com>
545
546         * combine.c (make_extraction): Avoid reference outside object.
547
548 2005-08-26  J"orn Rennecke <joern.rennecke@st.com>
549
550         * stor-layout.c (finalize_type_size): Restore behaviour for
551         non-aggregate types to the status quo ante of the patch for
552         pr 23467.  Document why it matters.
553
554 2005-08-26  Jakub Jelinek  <jakub@redhat.com>
555
556         PR c/23506
557         * c-common.c (c_common_nodes_and_builtins): Increase builtin_types
558         array by one element, initialize the BT_LAST element with NULL.
559
560 2005-08-26  David Edelsohn  <edelsohn@gnu.org>
561
562         * config/rs6000/rs6000.md (eq<mode>_compare): Only enable when
563         optimizing for size.
564         (plus_eqsi): Same.
565         (compare_plus_eqsi): Same.
566         (plus_eqsi_compare): Same.
567         (neg_eq0<mode>): Same.
568         (neg_eq<mode>): Same.
569
570         * config/rs6000/aix52.h (PROCESSOR_DEFAULT): Change to
571         PROCESSOR_POWER4.
572
573 2005-08-26  Nick Clifton  <nickc@redhat.com>
574
575         * config/v850/v850.c (ep_memory_operand): Return FALSE if
576         TARGET_EP is not defined.
577         * config/v850/c850.h (TARGET_CPU_CPP_BUILTINS): Define __EP__ if
578         TARGET_EP is enabled.
579         (OPTIMIZATION_OPTIONS): Do not define MASK_EP when optimizing.
580         * config/v850/v850.md (save_all_interrupt): Only use the EP
581         register if TARGET_EP is defined.
582         (restore_all_interrupt): Likewise.
583         * config/v850/lib1funcs.asm: Update functions so that the EP
584         register is only used if __EP__ is defined.
585
586 2005-08-26  David Ung  <davidu@mips.com>
587
588         * config/mips/mips.c (mips_expand_prologue): Handle case when
589         generating for MIPS16 and the outgoing argument area is more than
590         SMALL_OPERAND. Use the frame pointer as temporary to generate the
591         add instruction.
592
593 2005-08-26  Paul Woegerer  <paul.woegerer@nsc.com>
594
595         * config/crx/crx.md: Make doloop_end pattern usage controllable
596         via mloop-nesting=<max-nesting> command line switch. Make sure
597         the combiner cannot use doloop_end_<mode> in an illegal way.
598         * config/crx/crx.c: Use regs up to r6 for argument passing.
599         Refine crx_address_cost (non cst4 displacements are expensive).
600         * config/crx/crx.opt: Add switch for mloop-nesting=.
601
602 2005-08-26  Adrian Straetling  <straetling@de.ibm.com>
603
604         * config/s390/s390.md: ("movstr", "*movstr"): Add patterns.
605         (UNSPEC_MVST): New constant.
606
607 2005-08-26  Andreas Krebbel  <krebbel1@de.ibm.com>
608
609         * config/s390/predicates.md ("shift_count_operand", "setmem_operand"):
610         Reject operands containing eliminable registers.
611         * testsuite/gcc.dg/20050825-1.c: New testcase.
612
613 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
614             Jan Hubicka  <jh@suse.cz>
615
616         * regmove.c (reg_is_remote_constant_p): Reorganize to not use log links.
617
618 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
619
620         PR tree-optimization/23546
621         * tree-ssa-loop-im.c (for_each_index): Handle INTEGER_CST
622         and REAL_CST nodes.
623
624 2005-08-24  Pete Steinmetz  <steinmtz@us.ibm.com>
625
626         * params.def (PARAM_MIN_SPEC_PROB): New.
627         * sched-rgn.c (MIN_PROBABILITY): Delete.
628         (compute_trg_info): Convert to PARAM_VALUE.
629         * doc/invoke.texi (param): Document min-spec-prob.
630
631 2005-08-24  Fariborz Jahanian <fjahanian@apple.com>
632
633         * config/darwin.h: define __PIC__
634         * config/rs6000/darwin.h: Add SUBTARGET_OS_CPP_BUILTINS to
635         TARGET_OS_CPP_BUILTINS macro.
636
637 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
638
639         * config/rs6000/rs6000.md: Fix thinko in the peephole2 I added
640         yesterday.
641
642 2005-08-24  Zdenek Dvorak  <dvorakz@suse.cz>
643
644         * bb-reorder.c (copy_bb, duplicate_computed_gotos): Add argument
645         to duplicate_block.
646         * cfghooks.c (duplicate_block): Added position where to place
647         new block as argument.
648         * cfghooks.h (duplicate_block): Declaration changed.
649         * cfglayout.c (copy_bbs): Add argument after.  Pass it to
650         duplicate_block.
651         * cfglayout.h (copy_bbs): Declaration changed.
652         * cfgloop.h (loop_version): Declaration changed.
653         * cfgloopmanip.c (duplicate_loop_to_header_edge): Pass
654         position to copy_bbs.
655         (loop_version): Pass position to duplicate_loop_to_header_edge.
656         Add place_after argument and position new blocks according to
657         it.
658         * modulo-sched.c (sms_schedule): Pass place_after argument
659         to loop_version.
660         * tracer.c (tail_duplicate): Pass argument to duplicate_block.
661         * tree-cfg.c (split_edge_bb_loc): New function.
662         (tree_split_edge, tree_duplicate_sese_region): Use split_edge_bb_loc
663         to determine position of new blocks.
664         * tree-ssa-loop-unswitch.c (tree_unswitch_loop): Pass argument
665         to loop_version.
666         * tree-ssa-threadupdate.c (create_block_for_threading): Pass
667         argument to duplicate_block.
668         * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg):
669         Pass position to copy_bbs.
670
671 2005-08-24  Zdenek Dvorak  <dvorakz@suse.cz>
672
673         * fold-const.c (ptr_difference_const): Use
674         cst_and_fits_in_hwi instead of host_integerp.
675
676 2005-08-24  Paolo Bonzini  <bonzini@gnu.org>
677
678         * config/darwin.c (gen_pic_offset): New.
679         (machopic_indirect_data_reference,  machopic_legitimize_pic_address):
680         Use it.
681
682 2005-08-23  Zdenek Dvorak  <dvorakz@suse.cz>
683
684         PR tree-optimization/23486
685         * tree-ssa-loop.c (pass_scev_cprop): Add TODO_update_ssa_only_virtuals.
686
687 2005-08-23  Phil Edwards  <phil@codesourcery.com>
688
689         * config.gcc (*-*-vxworks*):  Update tm_file, add extra_options,
690         remove use_collect2.
691         (powerpc-wrs-vxworks):  Update, split out *-*-vxworksae target.
692
693         * target-def.h (TARGET_HAVE_CTORS_DTORS):  Allow target
694         configuration files to override the default value.
695
696         * config/t-vxworks:  Remove INSTALL_ASSERT_H.  Define STMP_FIXPROTO,
697         EXTRA_HEADERS, and EXTRA_MULTILIB_PARTS.
698         * config/vx-common.h:  New file, split out from...
699         * config/vxworks.h:  here.  Update for VxWorks 6.x and RTP mode.
700         * config/vxworksae.h:  New file, for VxWorks AE.
701         * config/vxworks.opt:  New file.
702         * config/vxlib.c:  Update for VxWorks 6.
703
704         * config/rs6000/t-vxworks (MULTILIB_OPTIONS):  New list.  Adjust
705         other MULTILIB_* variables appropriately.
706         (LIB2FUNCS_EXTRA, EXTRA_MULTILIB_PARTS):  Correct from t-ppccomm.
707         * config/rs6000/t-vxworksae:  New file, adjust multilibs for AE.
708         * config/rs6000/vxworks.h:  Update for VxWorks 6.
709         * config/rs6000/vxworksae.h:  New file, mostly placeholder for now.
710
711 2005-08-23  Andrew Pinski  <pinskia@physics.uc.edu>
712
713         PR target/20799
714         * config/darwin.c (machopic_select_section): Remove the hack to
715         mark "::operator new" and "::operator delete" for coalescing
716         even though they are not weak.
717
718 2005-08-24  Alan Modra  <amodra@bigpond.net.au>
719
720         * configure.ac (HAVE_LD_NO_DOT_SYMS): Set for powerpc-linux biarch.
721         * configure: Regenerate.
722
723 2005-08-23  Paolo Bonzini  <bonzini@gnu.org>
724
725         PR middle-end/23517
726         * fold-const.c (fold_convert): Use VIEW_CONVERT_EXPR to convert
727         between vectors.
728         * convert.c (convert_to_integer, convert_to_vector): Likewise.
729         * tree-vect-generic.c (tree_vec_extract, expand_vector_operations_1):
730         Likewise.
731
732 2005-08-23  Paolo Bonzini  <bonzini@gnu.org>
733
734         * config/rs6000/predicates.md (equality_operator): New.
735         * config/rs6000/rs6000.md: Rewrite as a peephole2 the split for
736         comparison with a large constant.
737
738 2005-08-23  Mark Mitchell  <mark@codesourcery.com>
739
740         * hwint.h (HOST_WIDE_INT_PRINT): Use HOST_LONG_LONG_FORMAT.
741
742 2005-08-23  J"orn Rennecke <joern.rennecke@st.com>
743
744         * sh.c (sh_builtin_saveregs): If the number of to-be-saved fp
745         registers is even, and we have a hardware double precision fp,
746         align the buffer.
747         (sh_gimplify_va_arg_expr): For floating point arguments, consider
748         size of current argument when checking if argument was passed in
749         registers.
750
751         * sh.c (sh_attr_renesas_p): Handle error_mark_node.
752
753         PR middle-end/23467
754         * stor-layout.c (finalize_type_size): Dont override
755         existing alignment with a smaller alignment from the mode.
756
757 2005-08-23  Sebastian Pop  <pop@cri.ensmp.fr>
758
759         * lambda-code.c (lambda_vector_lexico_pos): Moved...
760         * lambda.h (lambda_vector_lexico_pos): ... here.
761         * tree-data-ref.c (build_classic_dist_vector): Return false when
762         the distance vector is lexicographically negative.
763
764 2005-08-23  Sebastian Pop  <pop@cri.ensmp.fr>
765
766         PR tree-optimization/23511
767         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Don't 
768         handle cases where TYPE_MIN_VALUE or TYPE_MAX_VALUE are NULL_TREE.
769
770 2005-08-23  Jakub Jelinek  <jakub@redhat.com>
771
772         PR tree-optimization/22043
773         * tree.h (count_type_elements): Add ALLOW_FLEXARR argument.
774         * expr.c (count_type_elements): Add ALLOW_FLEXARR argument.
775         If ALLOW_FLEXARR, handle types ending with flexible array member.
776         Pass false as second argument to recursive count_type_elements calls.
777         (categorize_ctor_elements_1, mostly_zeros_p): Pass false as second
778         argument to count_type_elements call.
779         * tree-sra.c (decide_block_copy): Likewise.
780         * gimplify.c (gimplify_init_constructor): If num_type_elements < 0
781         for a constant-sized object, set cleared as well.  Pass true as
782         second argument to count_type_elements call.
783
784 2005-08-23  Alan Modra  <amodra@bigpond.net.au>
785
786         PR target/21571
787         * config/rs6000/rs6000.c (rs6000_legitimate_small_data_p): Rename
788         from legitimate_small_data_p, and make global.  Update use.
789         Remove forward declaration.
790         * config/rs6000/rs6000-protos.h (rs6000_legitimate_small_data_p):
791         Declare.
792         * config/rs6000/rs6000.md (movdf_hardfloat32): Allow small data mems.
793
794 2005-08-23  David Edelsohn  <edelsohn@gnu.org>
795
796         * config/rs6000/rs6000.md (eq<mode>): Use output operand instead
797         of scratch intermediates.
798         (eq<mode>_compare): Same.
799         (neg_eq0<mode>): New.
800         (neg_eq<mode>): Convert to define_insn_and_split.
801
802 2005-08-23  Alan Modra  <amodra@bigpond.net.au>
803
804         PR target/23070
805         * config/rs6000/rs6000.c (function_arg): For ABI_V4 calls to
806         stdarg functions, set/clear the fp marker even when no variable
807         args are passed.
808         * config/rs6000/sysv4.opt (mprototype): Describe.
809
810 2005-08-22  Jakub Jelinek  <jakub@redhat.com>
811
812         PR rtl-optimization/23478
813         * regs.h (reg_info): Add throw_calls_crossed.
814         (REG_N_THROWING_CALLS_CROSSED): Define.
815         * flow.c (allocate_reg_life_data): Initialize
816         REG_N_THROWING_CALLS_CROSSED.
817         (propagate_one_insn, attempt_auto_inc): Update
818         REG_N_THROWING_CALLS_CROSSED.
819         * global.c (global_alloc): Don't allocate pseudos across
820         calls that may throw.
821
822 2005-08-22  Andrew Pinski  <pinskia@physics.uc.edu>
823
824         PR c/18715
825         * c-common.c (c_do_switch_warnings): Look for a node where the enum's
826         value is inbetween the range if we did not find an exact match.
827
828 2005-08-22  Aldy Hernandez  <aldyh@redhat.com>
829
830         * doc/invoke.texi (Option Summary): Add ms1 options.
831         * doc/extend.texi: Document interrupt handler attribute for ms1.
832         * doc/md.texi: Document ms1 constraints.
833         * config.gcc: Add ms1-*-elf.
834         * config/ms1/ms1.h: New.
835         * config/ms1/ms1.c: New.
836         * config/ms1/ms1.md: New.
837         * config/ms1/ms1-protos.h: New.
838         * config/ms1/ABI.txt: New.
839         * config/ms1/crti.asm: New.
840         * config/ms1/crtn.asm: New.
841         * config/ms1/lib2extra-funcs.c: New.
842         * config/ms1/t-ms1: New.
843         * config/ms1/ms1.opt: New.
844
845 2005-08-22 Ira Rosen <irar@il.ibm.com>
846
847         * config/rs6000/altivec.md (xorv4sf3): New.
848         (negv4sf2, neg<mode>2): Likewise.
849
850 2005-08-21  H.J. Lu  <hongjiu.lu@intel.com>
851
852         PR target/23485
853         * config/ia64/ia64.md (divsi3): Check divide by zero.
854         (udivsi3): Likewise.
855         (divdi3): Likewise.
856         (udivdi3): Likewise.
857
858 2005-08-21  Jakub Jelinek  <jakub@redhat.com>
859
860         * simplify-rtx.c (simplify_immed_subreg) <case CONST_DOUBLE>: Only clear
861         up to elem_bitsize bits, not max_bitsize.
862
863 2005-08-21  Sebastian Pop  <pop@cri.ensmp.fr>
864
865         PR tree-optimization/23433
866         * tree-chrec.c (chrec_apply): Translate INTEGER_CST to a
867         REAL_CST when the type is SCALAR_FLOAT_TYPE_P.
868
869 2005-08-21  Sebastian Pop  <pop@cri.ensmp.fr>
870
871         PR tree-optimization/23434
872         * tree-ssa-loop-niter.c (proved_non_wrapping_p): Give up when
873         the iteration bound is not an INTEGER_CST.
874
875 2005-08-21  Dorit Nuzman  <dorit@il.ibm.com>
876
877         * tree-vect-transform.c (get_initial_def_for_reduction): Set
878         need_epilog_adjust back to false for MIN/MAX case. Set *scalar_def to
879         NULL if need_epilog_adjust is false.
880         (vect_create_epilog_for_reduction): Variable adjust_in_epilog removed.
881         Case 3 always peels first itration, not just for PLUS case, and no need
882         to use scalar_initial_def here. Create an epilog adjustment only if
883         scalar_initial_def is not NULL.
884
885         (vectorizable_reduction): Remove assert. 
886
887 2005-08-20  H.J. Lu  <hongjiu.lu@intel.com>
888
889         PR target/23485
890         * config/ia64/lib1funcs.asm (__divdi3): Check divide by zero.
891         (__moddi3): Likewise.
892         (__udivdi3): Likewise.
893         (__umoddi3): Likewise.
894         (__divsi3): Likewise.
895         (__modsi3): Likewise.
896         (__udivsi3): Likewise.
897         (__umodsi3): Likewise.
898
899 2005-08-20  Jakub Jelinek  <jakub@redhat.com>
900
901         * tree-pass.h (TDF_GRAPH): Define.
902         * tree-dump.c (dump_options): Don't set TDF_GRAPH in "all".
903         * passes.c (finish_optimization_passes): Only call
904         finish_graph_dump_file if TDF_GRAPH is set.
905         (execute_one_pass): Only call clean_graph_dump_file if dump_file !=
906         NULL.  Set TDF_GRAPH bit.
907         (execute_todo): Call print_rtl_graph_with_bb if TDF_GRAPH is set.
908
909 2005-08-20  Richard Earnshaw  <richard.earnshaw@arm.com>
910
911         * arm.h (arm_stack_offsets): Add locals_base field.
912         * arm.c (arm_get_frame_offsets): Compute it.
913         (thumb_compute_initial_elimination offset): Make the Thumb frame
914         pointer point to the base of the local variables.
915         (thumb_expand_prologue): Update accordingly.
916         (thumb_expand_epilogue): Likewise.
917
918         * arm.md (thumb_movhi_clobber): Make this insn a define_expand.  Change
919         mode of clobbered scratch to DImode.  Handle a case that's known to
920         need this.
921
922 2005-08-19  David Edelsohn  <edelsohn@gnu.org>
923
924         * config/rs6000/rs6000.md (gt0<mode>): Delete.
925         (gt0<mode>_compare): Delete.
926         (neg_gt0<mode>): Delete.
927
928 2005-08-19  Eric Christopher  <echristo@apple.com>
929
930         * optabs.h: Change CTI_ to COI_.
931         * optabs.c: Ditto.
932
933 2005-08-19  James E Wilson  <wilson@specifix.com>
934
935         * builtins.c (expand_builtin_return_addr): Set
936         current_function_accesses_prior_frames when count != 0.  Use
937         frame_pointer_rtx when count == 0.
938         * function.h (struct function): Add accesses_prior_frames field.
939         (current_function_accesses_prior_frames): Define.
940         * reload1.c (init_elim_table): Check
941         current_function_accesses_prior_frames.
942         * doc/tm.texi (INITIAL_FRAME_ADDRESS_RTX): Update docs.
943
944 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
945
946         * tree-cfgcleanup.c (cleanup_tree_cfg): Fix flowgraph change
947         indicator.  Return true if the flowgraph changed during
948         cleanup.
949
950 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
951
952         PR 23476
953         * tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the
954         conditional expression before testing its value.
955
956 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
957
958         * doc/invoke.texi: Fix documentation for -ftree-dominator-opts.
959
960 2005-08-19  Devang Patel  <dpatel@apple.com>
961
962         PR tree-optimization/23048
963         * tree-if-conv.c (if_convertible_bb_p): Supply basic_block as
964         third parameter. Check whether latch is dominated by exit
965         block or not.
966         (if_convertible_loop_p): Supply exit block itself to
967         if_convertible_bb_p.
968
969 2005-08-19  Richard Earnshaw  <richard.earnshaw@arm.com>
970
971         PR target/23473
972         * arm.md (arm_load_pic_register): Change argument to the mask of
973         saved registers.  Call thumb_find_work_register if we need a
974         scratch register on Thumb.
975         (arm_expand_prologue): Pass empty register set to
976         arm_load_pic_register.
977         (thumb_expand_prologue): Pass live_regs_mask directly to
978         arm_load_pic_register.
979         * arm-protos.h (arm_load_pic_register): Update prototype.
980
981 2005-08-19  J"orn Rennecke <joern.rennecke@st.com>
982
983         * sh.c (find_sole_member): New function.
984         (sh_gimplify_va_arg_expr): Use it. Allow RECORD_TYPE mode mismatch
985         if the record's alignment is larger than the size of its only member.
986
987 2005-08-19  Richard Earnshaw  <richard.earnshaw@arm.com>
988
989         PR target/23436
990         * arm.c (thumb_legitimize_reload_address): New function.
991         * arm-protos.h (thumb_legitimize_reload_address): Add prototype.
992         * arm.h (THUMB_LEGITIMIZE_RELOAD_ADDRESS): Call it.
993
994 2005-08-19  Paul Woegerer  <paul.woegerer@nsc.com>
995
996         * config/crx/crx.c: Implement crx_decompose_address. Reject
997         symbolic displacements since CRX register relative adressing
998         mode can't handle unsigned 32-bit values as displacements.
999         * config/crx/crx.h: Simplify definitions, remove redundant
1000         parenthesis and obsolete macros.
1001         * config/crx/crx.opt: Add new switch for debugging addresses.
1002         * config/crx/crx-protos.h: Add new declarations for above.
1003
1004 2005-08-19  Andrew Pinski  <pinskia@physics.uc.edu>
1005
1006         PR middle-end/20624
1007         * gimple-low.c (block_may_fallthru): Handle CLEANUP_POINT_EXPR by
1008         looking past it.
1009
1010 2005-08-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1011
1012         * collect2.c (dup2): Delete.
1013         * configure.ac: Don't check for dup2.
1014
1015         * config.in, configure: Regenerate.
1016
1017 2005-08-18  J"orn Rennecke <joern.rennecke@st.com>
1018
1019         * sh.c (sh_gimplify_va_arg_expr): Loop to substitute a RECORD_TYPE
1020         record with the type of its only member.
1021
1022 2005-08-18  David Edelsohn  <edelsohn@gnu.org>
1023
1024         * config/rs6000/rs6000.md (ltu<mode>_compare): Convert to
1025         define_insn_and_split.
1026         (plus_ltu<mode>_compare): Same.
1027         (gtu<mode>_compare): Same.
1028         (plus_gtu<mode>_compare): Same.
1029
1030 2005-08-18  Dorit Nuzman  <dorit@il.ibm.com>
1031
1032         PR tree-optimization/22228
1033         * tree-ssa-loop (pass_vectorize): Add TODO_verify_loops to
1034         todo_flags_start.
1035         * tree-vect-transform.c (vect_transform_loop): Mark the variables that
1036         are recorded in vect_vnames_to_rename for renaming.
1037         * tree-vectorizer.c (vect_vnames_to_rename): New global bitmap.
1038         (slpeel_update_phi_nodes_for_guard1): Record virtual vars for renaming
1039         in vect_vnames_to_rename.
1040         (vectorize_loops): Allocate and free the vect_vnames_to_rename bitmap.
1041         * tree-vectorizer.h (vect_vnames_to_rename): New extern variable.
1042
1043 2005-08-18  Jan Hubicka  <jh@suse.cz>
1044
1045         PR c++/22034
1046         * cgraphunit.c (cgraph_varpool_assemble_pending_decls): Emit debug
1047         info only for local statics, not for member variables.
1048
1049 2005-08-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1050
1051         * tree-data-ref.c (analyze_siv_subscript_cst_affine): Fix comment typo.
1052
1053 2005-08-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1054
1055         * c-typeck.c (designator_errorneous): Rename to designator_erroneous.
1056
1057 2005-08-18  Andrew Pinski  <pinskia@physics.uc.edu>
1058
1059         PR middle-end/16045
1060         * builtins.c (fold_builtin): Create a new NOP_EXPR all the time.
1061
1062 2005-08-17  James E Wilson  <wilson@specifix.com>
1063
1064         * c-decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE in
1065         array size check.
1066
1067 2005-08-17  David Edelsohn  <edelsohn@gnu.org>
1068
1069         * config/rs6000/rs6000.md (leu<mode>): Convert to mode macro.
1070         (leu<mode>_compare): Same.
1071         (plus_leu<mode>): Same.
1072         (neg_leu<mode>): Same.
1073         (and_neg_leu<mode): Same.
1074         (ltu<mode>_compare): Same.
1075         (plus_ltu<mode>): Same.
1076         (geu<mode>): Same.
1077         (geu<mode>_compare): Same.
1078         (plus_geu<mode>): Same.
1079         (neg_geu<mode>): Same.
1080         (and_neg_geu<mode>): Same.
1081         (plus_gt<mode>): Same.
1082         (gtu<mode>_compare): Same.
1083         (plus_gtu<mode>): Same.
1084
1085 2005-08-17  Erik Christiansen  <erik@dd.nec.com.au>
1086
1087         * config/v850/lib1funcs.asm (callt_save_interrupt): Fix comment typos.
1088         Move call_table_data to end.  Delete spurious .text.
1089         (callt_save_all_interrupt): Fix comment typo.
1090
1091 2005-08-17  James E Wilson  <wilson@specifix.com>
1092             Kevin Winchester  <winchester@amirix.com>
1093
1094         PR target/21684
1095         * config/mcore/mcore.h (SHIFT_COUNT_TRUNCATED): Define to 0.
1096
1097 2005-08-17  Uros Bizjak  <uros@kss-loka.si>
1098
1099         PR target/23268
1100         * config/i386/i386.md ("*fist<mode>2_1"): New pattern.
1101         ("lrint<mode>2"): Change expander to use "*fist<mode>2_1" pattern.
1102
1103 2005-08-17  J"orn Rennecke <joern.rennecke@st.com>
1104
1105         * sh.c (sh_gimplify_va_arg_expr): Don't substitute a RECORD_TYPE
1106         record with the type of its only member if the modes don't match.
1107
1108         * varasm.c (decode_reg_name): Skip empty additional register names.
1109
1110 2005-08-16  Zdenek Dvorak  <dvorakz@suse.cz>
1111
1112         * tree-ssa-loop-im.c (MAX_LSM_NAME_LENGTH, lsm_tmp_name,
1113         lsm_tmp_name_length): New.
1114         (lsm_tmp_name_add, gen_lsm_tmp_name, get_lsm_tmp_name): New functions.
1115         (schedule_sm): Use get_lsm_tmp_name instead of "lsm_tmp".
1116
1117 2005-08-16  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1118             Andreas Krebbel  <krebbel1@de.ibm.com>
1119
1120         * config.gcc: Added z9-109 switch.
1121         * config/s390/2084.md ("x_int", "x_agen", "x_lr", "x_la", "x_larl",
1122         "x_load", "x_store", "x_branch", "x_call", "x_mul_hi", "x_mul_sidi",
1123         "x_div", "x_sem", "x_cs", "x_vs", "x_stm", "x_lm", "x_other",
1124         "x_fsimpdf", "x_fsimpsf", "x_fdivdf", "x_fdivsf", "x_floaddf",
1125         "x_floadsf", "x_fstore_df", "x_fstoresf", "x_ftoi", "x_itof"): Enable
1126         for "z9_109" cpu attribute.
1127         * config/s390/s390.c (z9_109_cost): New processor cost structure.
1128         (CONST_OK_FOR_Os, CONST_OK_FOR_Op, CONST_OK_FOR_On): New macros.
1129         (s390_handle_arch_option): Added z9-109 switch.
1130         (override_options): Set respective cost function for z9-109.
1131         (s390_const_ok_for_constraint_p): New constraints Os, Op, On.
1132         (legitimate_reload_constant_p): Accept extended immediates.
1133         (print_operand): Three new output modifiers added: k, m and o.
1134         (s390_adjust_priority, s390_issue_rate): Handle Z9_109 like Z990.
1135         (s390_output_mi_thunk): Use extended immediate when possible.
1136         * config/s390/s390.h (processor_flags): Added PF_EXTIMM.
1137         (TARGET_CPU_EXTIMM, TARGET_EXTIMM): New macros.
1138         (CONSTRAINT_LEN): Added length of O constraint.
1139         (CLZ_DEFINED_VALUE_AT_ZERO): Definition added.
1140         * config/s390/s390.md ("cpu"): New value z9_109 added.
1141         ("*tstdi_extimm", "*tstdi_ccconly_extimm", "*tstsi_extimm",
1142         "*tstsi_cconly_extimm", "*movdi_64extimm", "*extendhidi2_extimm",
1143         "*extendqidi2_extimm", "*extendhisi2_extimm", "*extendqisi2_extimm",
1144         "*zero_extend<mode>si2_extimm", "*anddi3_extimm", "*iordi3_extimm",
1145         "*xordi3_extimm", "clzdi2", "clztidi2"): New patterns.
1146         ("*tstdi", "*tstsi", "*movdi_64", "*extendhisi2", "*extendqisi2",
1147         "*zero_extend<mode>si2_64", "zero_extendqihi2", "*zero_extendqihi2_64",
1148         "*anddi3", "*iordi3", "*xordi3"): Disable for TARGET_EXTIMM.
1149         ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs", "*cmpsi_ccs", "*cmpdi_ccu",
1150         "*cmpsi_ccu", "*movsi_zarch", "*adddi3_imm_cc", "*adddi3_carry1_cc",
1151         "*adddi3_carry2_cc", "*adddi3_cc", "*adddi3_64", "*addsi3_imm_cc",
1152         "*addsi3_carry1_cc", "*addsi3_carry2_cc", "*addsi3_cc", "addsi3",
1153         "*andsi3_cc", "*andsi3_cconly", "*andsi3_zarch", "*iorsi3_cc",
1154         "*iorsi3_cconly", "*iorsi3_zarch", "*xorsi3_cc", "*xorsi3_cconly",
1155         "*xorsi3", "*xorhi3", "*xorqi3"): Added instruction using extended
1156         immediates.
1157         ("extend<mode>di2", "extend<mode>si2", "zero_extend<mode>di2",
1158         "zero_extend<mode>si2"): Allow memory operands and don't manually emit
1159         insns for TARGET_EXTIMM.
1160
1161 2005-08-17  Andreas Krebbel  <krebbel1@de.ibm.com>
1162
1163         * testsuite/gcc.dg/20020926-1.c: Added "-mesa" to dg-options.
1164
1165 2005-08-17  Nick Clifton  <nickc@redhat.com>
1166
1167         * config/stormy16/stormy16.c (xstormy16_encode_section_info):
1168         Call default_encode_section_info.
1169
1170 2005-08-17  Steven Bosscher  <stevenb@suse.de>
1171
1172         PR tree-optimization/21574
1173         * tree-ssa-ccp.c (likely_value): If the right hand side is a
1174         constant, return CONSTANT.
1175         (ccp_lattice_meet): Use operand_equal_p instead of simple_cst_equal.
1176         (ccp_fold, visit_assignment): Likewise.
1177         (evaluate_stmt): Handle UNDEFINED and UNKNOWN_VAL the same way.
1178
1179 2005-08-16  James A. Morrison  <phython@gcc.gnu.org>
1180
1181         * c-typeck.c (build_function_call): Call fold_buildN_initializer or
1182         fold_buildN instead of buildN then fold_initializer or fold.
1183         (build_unary_op): Likewise.
1184         (build_binary_op): Likewise.
1185         * fold-const.c (fold_initializer): Remove.
1186         (fold_build1_initializer): New function.
1187         (fold_build2_initializer): New function.
1188         (fold_build3_initializer): New function.
1189         * tree.h (fold_initializer): Remove.
1190         (fold_build1_initializer): New function.
1191         (fold_build2_initializer): New function.
1192         (fold_build3_initializer): New function.
1193
1194 2005-08-16  James A. Morrison  <phython@gcc.gnu.org>
1195
1196         * fold-const.c (optimize_bit_field_compare): Remove extra fold call.
1197         (try_move_mult_to_index): Call fold_build2 instead of build2.
1198         (fold_binary): Don't call fold after calls to try_move_mult_to_index.
1199         * tree-ssa-loop-niter.c (inverse): Call int_const_binop instead of
1200         fold_binary_to_constant.
1201         (infer_loop_bounds_from_undefined): Call fold_build2 instead of
1202         fold (build.
1203         * tree-data-ref.c (tree_fold_divides_p): Use tree_int_cst_equal to
1204         check if A == gcd (A, B).  Remove TYPE argument.
1205         (analyze_offset) Use fold_build2 instead of fold (build.
1206         (create_data_ref): Likewise.
1207         (analyze_siv_subscript_cst_affine): Update calls to tree_fold_divides_p.
1208         * tree-ssa-ccp.c (widen_bitfield): Call fold_build2 instead of build2
1209         then fold.
1210
1211 2005-08-17  Kelley Cook  <kcook@gcc.gnu.org>
1212
1213         * config/arm/unaligned-funcs.c,config/i386/crtfastmath.c,
1214         ipa-cp.c,ipa-prop.c,ipa-prop.h: Update FSF address.
1215
1216 2005-08-16  Andrew Pinski  <pinskia@physics.uc.edu>
1217
1218         PR tree-opt/23402
1219         * gimplify.c (zero_sized_type): New function.
1220         (gimplify_modify_expr_rhs): If we have a zero sized type,
1221         replace the statement with an empty statement.
1222
1223 2005-08-16  H.J. Lu  <hongjiu.lu@intel.com>
1224
1225         * config/i386/crtfastmath.c (set_fast_math): Add "=m" for
1226         fxsave.
1227
1228 2005-08-16  Ian Lance Taylor  <ian@airs.com>
1229
1230         * doc/tm.texi (Label Output): Correct typo.
1231
1232 2005-08-16  Steven Bosscher  <stevenb@suse.de>
1233
1234         PR target/23376
1235         * loop-unroll.c (analyze_insn_to_expand_var): Make sure that
1236         force_operand will work later on using have_insn_for.
1237
1238 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1239
1240         * fold-const.c (tree_expr_nonnegative_p): Regroup cases.
1241
1242 2005-08-16  Ian Lance Taylor  <ian@airs.com>
1243
1244         PR c++/23337
1245         * gimplify.c (gimplify_init_ctor_eval): If we see an element of
1246         vector type, don't try to construct it element by element.  Add an
1247         assertion that we use a FIELD_DECL when building a COMPONENT_REF.
1248
1249 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1250
1251         * fold-const.c (fold_ternary): Simplify folding of a CALL_EXPR.
1252
1253 2005-08-16  Geoffrey Keating  <geoffk@apple.com>
1254
1255         * doc/invoke.texi (Precompiled Headers): Document some more options
1256         which are known to be safe.
1257
1258 2005-08-16  James E Wilson  <wilson@specifix.com>
1259
1260         PR tree-optimization/21105
1261         * c-decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE in
1262         TREE_OVERFLOW check.
1263
1264 2005-08-16  David Edelsohn  <edelsohn@gnu.org>
1265
1266         * config/rs6000/rs6000.md (ltu<mode>): Convert to mode macro.
1267         (neg_ltu<mode>): Same.
1268         (gtu<mode>): Same.
1269         (neg_gtu<mode>): Same.
1270
1271 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1272
1273         * builtins.c (expand_builtin_strcat): Remove superfluous call to fold.
1274         (fold_builtin_isdigit): Use fold_buildN.
1275         (build_function_call_expr): Likewise.
1276         * c-typeck.c (c_finish_loop): Likewise.
1277
1278 2005-08-16  J"orn Rennecke <joern.rennecke@st.com>
1279             Richard Shann <rshann@superh.com>
1280
1281         PR middle-end/20396:
1282         * optabs.c (expand_binop): Take TRULY_NOOP_TRUNCATION into account.
1283
1284 2005-08-16  Sebastian Pop  <pop@cri.ensmp.fr>
1285
1286         * tree-ssa-loop-niter.c (scev_probably_wraps_p): Reword a comment.
1287
1288 2005-08-15  Richard Earnshaw  <richard.earnshaw@arm.com>
1289
1290         PR target/23355
1291         * arm.c (thumb_compute_save_reg_mask): Use similar logic to
1292         arm_compure_save_reg0_reg12_mask to determine when the PIC register
1293         must be saved.
1294
1295 2005-08-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1296
1297         PR middle-end/23369
1298         * fold-const.c (build_range_check): Disable optimization for function
1299         pointer expressions on targets that require function pointer
1300         canonicalization.
1301
1302 2005-08-15  Ulrich Weigand  <uweigand@de.ibm.com>
1303
1304         * simplify-rtx.c (simplify_const_relational_operation): When
1305         extracting arguments of a COMPARE, recompute the mode as well.
1306
1307 2005-08-15  Ian Lance Taylor  <ian@airs.com>
1308
1309         * tree.c (build_string): Mark tree CONSTANT and INVARIANT.
1310
1311 2005-08-15  DJ Delorie  <dj@redhat.com>
1312
1313         * config/m32c/mov.md (movqi_op): Immediates can't be moved to
1314         the stack.
1315         (movsi_splittable): Allow, but split, moves to the stack.
1316         * config/m32c/m32c.c (m32c_split_move): Always split moves to the
1317         stack.
1318
1319 2005-08-15  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1320
1321         * aclocal.m4 (gcc_AC_FUNC_PRINTF_PTR): Delete.
1322         * configure.ac: Don't call gcc_AC_FUNC_PRINTF_PTR.
1323         * system.h (HOST_PTR_PRINTF): Don't define, poison it.
1324
1325         * bitmap.c, c-decl.c, config/i386/i386-interix.h,
1326         config/iq2000/iq2000.c, mips-tfile.c, print-rtl.c, print-tree.c:
1327         Delete HOST_PTR_PRINTF.
1328
1329         * configure, config.in: Regenerate.
1330
1331 2005-08-15  David Edelsohn  <edelsohn@gnu.org>
1332
1333         * config/rs6000/rs6000.md (QHSI): New mode macro.
1334         (wd): Extend mode attr for QImode and HImode
1335         (dbits): New mode attr.
1336         (zero_extend<mode>di2): Convert to mode macro.
1337
1338 2005-08-15  Steve Ellcey  <sje@cup.hp.com>
1339
1340         PR target/21841
1341         * doc/invoke.texi (-mgnu-ld): Update description.
1342         (-mhp-ld): Ditto.
1343
1344 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
1345
1346         PR 23391
1347         * Makefile.in (tree-chrec.o): Depends on real.h.
1348         * tree-chrec.c: Include real.h.
1349         (chrec_fold_plus_poly_poly, chrec_fold_multiply_poly_poly,
1350         chrec_fold_plus_1): Use build_real for SCALAR_FLOAT_TYPE_P.
1351         * tree-scalar-evolution.c (add_to_evolution_1,
1352         interpret_rhs_modify_expr): Ditto.
1353
1354 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
1355
1356         PR 23386
1357         * tree-data-ref.c (estimate_niter_from_size_of_data): When
1358         step is negative compute the estimation from init downwards to zero.
1359
1360 2005-08-14  James A. Morrison  <phython@gcc.gnu.org>
1361
1362         * fold-const (fold_binary): Call fold_build2 instead of fold (build.
1363
1364 2005-08-14  Ulrich Weigand  <uweigand@de.ibm.com>
1365
1366         * config/s390/s390.c (s390_const_ok_for_constraint_p): Add 'P'
1367         constraint.
1368         (legitimate_reload_constant_p): Fix handling of lliXX operands.
1369         Accept double-word constants that can be split.
1370         * config/s390/s390.md ("movti"): Use 'P' constraint.
1371         ("*movdi_31", "*movdf_31"): Likewise.
1372
1373 2005-08-14  Daniel Berlin  <dberlin@dberlin.org>
1374
1375         Fix PR tree-optimization/22615
1376
1377         * tree-ssa-structalias.c (solution_set_add): Handle
1378         first_vi_for_offset returning NULL.
1379         (do_da_constraint): Ditto.
1380         (do_sd_constraint): Ditto.
1381         (do_ds_constraint): Ditto
1382         (find_func_aliases): Ditto.
1383         (build_constraint_graph): RHS is allowed be ANYTHING.
1384         (first_vi_for_offset): Return NULL if we couldn't find anything at
1385         the offset.
1386
1387 2005-08-14  Ulrich Weigand  <uweigand@de.ibm.com>
1388
1389         * config/s390/s390.c (s390_canonicalize_comparison): Prefer register
1390         over memory as first operand.
1391
1392 2005-08-14  H.J. Lu  <hongjiu.lu@intel.com>
1393
1394         PR target/23360
1395         * config/i386/crtfastmath.c (set_fast_math): Check if DAZ is
1396         available for setting it.
1397
1398 2005-08-14  Ira Rosen  <irar@il.ibm.com>
1399
1400         PR tree-optimization/23320
1401         * tree-data-ref.c (base_addr_differ_p): Add comment. Check
1402         data-refs' types instead of base object nullness. Add check for
1403         pointer type data-refs before first location comparison. Remove
1404         assert.
1405
1406 2005-08-14  Andreas Schwab  <schwab@suse.de>
1407
1408         * doc/md.texi (Machine Constraints): Fix misplaced @end table.
1409
1410 2005-08-13  James E Wilson  <wilson@specifix.com>
1411
1412         * doc/cpp.texi (__SSP__, __SSP_ALL__): Document.
1413         * doc/invoke.texi (-Wstack-protector, -fstack-protector,
1414         -fstack-protector-all, --param ssp-buffer-size): Document.
1415         (-Wvariadic-macros): Alphabetize.
1416         (-fsched-stalled-insns-dep): Add missing 'f'.
1417
1418         * c-cppbuiltin.c (c_cpp_builtins): Add comment for flag_stack_protect
1419         macros.
1420
1421 2005-08-13  David Edelsohn  <edelsohn@gnu.org>
1422
1423         * config/rs6000/rs6000.h (EXTRA_CONSTRAINT): Add 'a' for indexed
1424         or indirect address operand.
1425         (EXTRA_ADDRESS_CONSTRAINT): New.
1426         * config/rs6000/rs6000.md (prefetch): Change constraint "p" to "a".
1427
1428 2005-08-13  Sebastian Pop  <pop@cri.ensmp.fr>
1429
1430         PR tree-optimization/22236
1431         * tree-cfg.c (print_pred_bbs, print_succ_bbs): Correctly print
1432         successors and predecessors.
1433         * tree-chrec.c (chrec_convert): Before converting, check that
1434         sequences don't wrap.
1435         * tree-data-ref.c (compute_estimated_nb_iterations): Moved ...
1436         (analyze_array): Extern.
1437         (find_data_references_in_loop): Remove call to
1438         compute_estimated_nb_iterations.
1439         * tree-data-ref.h (analyze_array): Declared.
1440         * tree-flow-inline.h (single_ssa_tree_operand, single_ssa_use_operand,
1441         single_ssa_def_operand, zero_ssa_operands): Fix documentation.
1442         * tree-flow.h (scev_probably_wraps_p): Declare with an extra parameter.
1443         * tree-scalar-evolution.c (instantiate_parameters_1): Factor entry
1444         condition.
1445         * tree-ssa-loop-ivcanon.c: Fix documentation.
1446         * tree-ssa-loop-ivopts.c (idx_find_step): Add a fixme note.
1447         * tree-ssa-loop-niter.c (compute_estimated_nb_iterations): ... here.
1448         (infer_loop_bounds_from_undefined): New.
1449         (estimate_numbers_of_iterations_loop): Use
1450         infer_loop_bounds_from_undefined.
1451         (used_in_pointer_arithmetic_p): New.
1452         (scev_probably_wraps_p): Pass an extra parameter.  Call
1453         used_in_pointer_arithmetic_p.  Check that AT_STMT is not null.
1454         (convert_step): Fix documentation.
1455         * tree-vrp.c (adjust_range_with_scev): Call instantiate_parameters.
1456         Use initial_condition_in_loop_num and evolution_part_in_loop_num
1457         instead of CHREC_LEFT and CHREC_RIGHT.  Adjust the call to
1458         scev_probably_wraps_p.
1459
1460 2005-08-13  Ulrich Weigand  <uweigand@de.ibm.com>
1461
1462         * config/s390/s390.c (s390_split_branches): Revert 2005-08-12 change.
1463         (s390_register_info): Ignore clobbered_regs information for fixed
1464         registers, and only fixed registers.
1465         (s390_init_frame_layout): Remove redundant call.
1466
1467 2005-08-12  Gerald Pfeifer  <gerald@pfeifer.com>
1468
1469         * doc/invoke.texi (C++ Dialect Options): Add dynamic_cast to
1470         description of -Wold-style-casts.
1471
1472 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1473             Jakub Jelinek  <jakub@redhat.com>
1474
1475         * config/s390/linux.h (TARGET_THREAD_SSP_OFFSET): Define.
1476         * config/s390/s390-protos.h (s390_get_thread_pointer): Prototype added.
1477         * config/s390/s390.c (print_operand): New output modifier 'G' added.
1478         (get_thread_pointer): Renamed to s390_get_thread_pointer.
1479         * config/s390/s390.md (stack_protect_set, stack_protect_test): If
1480         TARGET_THREAD_SSP_OFFSET is defined, change operands[1] to
1481         (MEM:P (PLUS:P (tp, TARGET_THREAD_SSP_OFFSET))).
1482         (UNSPEC_SP_SET, UNSPEC_SP_TEST): New constants.
1483         ("stack_protect_set", "stack_protect_test"): New expanders.
1484         ("stack_protect_setsi", "stack_protect_setdi", "stack_protect_testsi",
1485         "stack_protect_testdi"): New insn definitions.
1486
1487 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1488
1489         * config/s390/s390.md ("*movdf_31"): Changed constraint from P to K.
1490
1491 2005-08-12  Paul Brook  <paul@codesourcery.com>
1492
1493         * config/arm/lib1funcs.asm: Error if __ARM_ARCH__ not set.
1494
1495 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1496
1497         * config/s390/predicates.md (setmem_operand): New predicate.
1498         (shift_count_operand): Accept ANDs with special constants as
1499         operand.
1500         * config/s390/s390.c (print_shift_count_operand): Skip ANDs
1501         with special constants.
1502         * config/s390/s390.md ("setmem_long", "*setmem_long"): Replaced
1503         shift_count_operand with setmem_operand.
1504
1505 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1506
1507         * config/s390/s390.c (s390_extract_part, s390_single_part):
1508         Type cast added.
1509         (s390_const_ok_for_constraint_p): Added SImode to the N constraint.
1510         (s390_output_mi_thunk): Don't use lg on 31 bit.
1511         * config/s390/s390.md ("*movdi_31", "*movdf_31"): Added lmy and stmy.
1512         ("*llgt_sisi" and splitter): Replaced TARGET_64BIT with TARGET_ZARCH.
1513
1514 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1515
1516         * config/s390/s390.c (CONST_OK_FOR_J, CONST_OK_FOR_K): New macros.
1517         (s390_select_ccmode, s390_rtx_costs, legitimate_reload_constant_p,
1518         s390_init_frame_layout, s390_emit_prologue, s390_emit_epilogue,
1519         s390_output_mi_thunk): Replaced uses of CONST_OK_FOR_CONSTRAINT_P
1520         with one of the new macros.
1521
1522 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1523
1524         * config/s390/s390.c (s390_split_branches, s390_init_frame_layout):
1525         Don't set save_return_addr_p.
1526         (s390_register_info): Make clobbered_regs not depending on
1527         save_return_addr_p.
1528
1529 2005-08-12  Kaz Kojima  <kkojima@gcc.gnu.org>
1530
1531         * gcc.c (LINK_SSP_SPEC): Remove space before a trailing }.
1532         (LINK_COMMAND_SPEC): Add space after %(link_ssp).
1533
1534 2005-08-11  James E. Wilson  <wilson@specifix.com>
1535
1536         * config/ia64/ia64.h (EXTRA_MEMORY_CONSTRAINT): New.
1537
1538 2005-08-11  Jakub Jelinek  <jakub@redhat.com>
1539
1540         * dwarf2out.c (add_location_or_const_value_attribute): Prefer
1541         locations gathered by var-tracking in single entry loc_list
1542         over loc_descriptor_from_tree.
1543
1544         * dwarf2out.c (concat_loc_descriptor): Add can_use_fbreg argument,
1545         pass it down to loc_descriptor.
1546         (loc_descriptor): Pass can_use_fbreg to concat_loc_descriptor.
1547         (containing_function_has_frame_base): Move earlier in the file.
1548         (loc_descriptor_from_tree_1): Use containing_function_has_frame_base
1549         instead of always assuming fbreg can't be used.
1550
1551 2005-08-11  David Edelsohn  <edelsohn@gnu.org>
1552
1553         * config/rs6000/altivec.md: Change constraint "m" to "Z".
1554         * config/rs6000/predicates.md (indexed_or_indirect_operand):
1555         Accept address wrapped in AND for Altivec.
1556         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
1557         Strip AND wrapping offset address for Altivec.
1558
1559 2005-08-11  Richard Henderson  <rth@redhat.com>
1560
1561         PR middle-end/23312
1562         * gimplify.c (gimplify_one_sizepos): Check for INTEGER_TYPE
1563         before using TYPE_IS_SIZETYPE.
1564
1565 2005-08-11  Richard Henderson  <rth@redhat.com>
1566
1567         PR target/22225
1568         * config/alpha/alpha.c (alphaev4_insn_pipe): Add take pipes for
1569         insn types not present on ev4.
1570         (alphaev5_insn_pipe): Similarly.
1571
1572 2005-08-11  Richard Earnshaw  <richard.earnshaw@arm.com>
1573
1574         PR target/23250
1575         * arm.c (arm_override_options): If the user has selected callee-super-
1576         interworking, then enable normal interworking.
1577
1578 2005-08-11  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
1579
1580         * config/i386/x86-64.h (ASM_OUTPUT_ALIGNED_BSS): Undef before
1581         redefinition.
1582
1583 2005-08-11  Wu Zhou  <woodzltc@cn.ibm.com>
1584
1585         * doc/rtl.texi: Fix two typos.
1586
1587 2005-08-11  Richard Guenther  <rguenther@suse.de>
1588
1589         PR target/23289
1590         * config/i386/i386.c (ix86_function_ok_for_sibcall): Handle
1591         cases where we call to/from functions returning void.
1592
1593 2005-08-10  James A. Morrison  <phython@gcc.gnu.org>
1594
1595         PR c++/23225
1596         * tree.c (build_pointer_type_for_mode): Robustify.
1597
1598 2005-08-10  James E Wilson  <wilson@specifix.com>
1599
1600         * defaults.h, config/alpha/alpha.h, config/ia64/ia64.h
1601         (ASM_OUTPUT_ADDR_VEC_ELT): Delete.
1602
1603         * config/alpha/alpha.c (alpha_arg_partial_bytes): Change "(CUM)." to
1604         "cum->".
1605
1606 2005-08-10  Eric Christopher  <echristo@apple.com>
1607
1608         * config/rs6000/rs6000.c (mems_ok_for_quad_peep): Rewrite.
1609         * config/rs6000/rs6000.md (*lfq_power2, *stfq_power2): Use
1610         V2DFmode.
1611
1612 2005-08-10  Andrew Pinski  <pinskia@physics.uc.edu>
1613
1614         PR target/21887
1615         * config/darwin.c (machopic_indirect_data_reference): Use a new register
1616         for the high part when generating dynamic-no-pic code.
1617
1618 2005-08-10  H.J. Lu  <hongjiu.lu@intel.com>
1619
1620         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtfm to tm-file.
1621         (x86_64-*-linux*): Likewise.
1622
1623         * config/i386/crtfastmath.c: New file.
1624         * config/i386/t-crtfm: Likewise.
1625
1626         * config/i386/linux.h (ENDFILE_SPEC): New.
1627         * config/i386/linux64.h (ENDFILE_SPEC): Likewise.
1628
1629         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
1630         crtfastmath.o.
1631
1632 2005-08-10  Dorit Nuzman  <dorit@il.ibm.com>
1633
1634         * doc/md.texi: (reduc_smin, reduc_umin, reduc_splus, reduc_uplus):
1635         (vec_shl, vec_shr): Document new operations.
1636         * tree.def (VEC_RSHIFT_EXPR, VEC_LSHIFT_EXPR): Fix comment.
1637
1638 2005-08-10  David Edelsohn  <edelsohn@gnu.org>
1639
1640         * config/rs6000/predicates.md (indexed_or_indirect_address): New.
1641         * config/rs6000/rs6000.md (prefetch): Remove operand 0 mode and
1642         change predicate to indexed_or_indirect_address.
1643
1644 2005-08-10  Richard Sandiford  <richard@codesourcery.com>
1645
1646         * config/arm/lib1funcs.asm (__aeabi_uidiv, __aeabi_idiv): New aliases.
1647         * config/arm/libgcc-bpabi.ver (GCC_3.5): Add __aeabi_idiv,
1648         __aeabi_uidiv, __aeabi_uread4, __aeabi_uread8, __aeabi_uwrite4
1649         and __aeabi_uwrite8.
1650         * config/arm/unaligned-funcs.c: New file.
1651         * config/arm/t-bpabi (LIB2FUNCS_EXTRA): Add unaligned-funcs.c.
1652
1653 2005-08-09  Paolo Bonzini  <bonzini@gnu.org>
1654
1655         * bb-reorder.c (pass_duplicate_computed_gotos, pass_partition_blocks):
1656         Add dump.
1657         * cfglayout.c (pass_insn_locators_initialize): Add dump.
1658         * emit-rtl.c (pass_unshare_all_rtl, pass_remove_unnecessary_notes):
1659         Add dump.
1660         * except.c (pass_convert_to_eh_region_ranges): Add dump.
1661         * final.c (pass_shorten_branches): Add dump.
1662         * flow.c (pass_recompute_reg_usage, pass_remove_death_notes): Add dump.
1663         (pass_life): Rename dump.
1664         (rest_of_handle_flow2): Remove initial verify_flow_info.
1665         * function.c (pass_instantiate_virtual_regs): Add dump.
1666         * integrate.c (pass_initial_value_sets): Add dump.
1667         * jump.c (pass_cleanup_barriers, pass_purge_lineno_notes): Add dump.
1668         * loop-init.c (pass_rtl_loop_init, pass_rtl_loop_done): Rename dump.
1669         (pass_rtl_move_loop_invariants, pass_rtl_unswitch, pass_rtl_doloop,
1670         pass_rtl_unroll_and_peel_loops): Rename dump and add gate.
1671         (gate_rtl_move_loop_invariants, gate_rtl_unswitch, gate_rtl_doloop,
1672         gate_rtl_unrool_and_peel_loops): New.
1673         (rtl_move_loop_invariants, rtl_unswitch, rtl_unrool_and_peel_loops,
1674         rtl_doloop): Do not look at flags.
1675         * mode-switching.c (pass_mode_switching): Add dump.
1676         * recog.c (pass_split_all_insns, pass_split_for_shorten_branches,
1677         pass_split_before_regstack): Add dump.
1678         * regmove.c (pass_stack_adjustments): Add dump.
1679         * tree-optimize.c (pass_fixup_cfg): Add dump.
1680
1681 2005-08-10  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
1682
1683         PR 23309
1684         * config/m32r/m32r.c (m32r_reload_lr): Fix off by one error when
1685         deciding which instruction sequence to use.
1686
1687 2005-08-09  Dorit Nuzman  <dorit@il.ibm.com>
1688
1689         * tree-vect-transform.c (vect_create_epilog_for_reduction): Set
1690         BIT_FIELD_REF_UNSIGNED for newly created BIT_FIELD_REFs.
1691
1692 2005-08-09  Richard Guenther  <rguenther@suse.de>
1693
1694         * c-common.c (builtin_function_2): Remove.
1695         (def_builtin_1): New function.
1696         (c_common_nodes_and_builtins): Use def_builtin_1 to
1697         build builtin functions.
1698
1699 2005-08-09  Jie Zhang  <jie.zhang@analog.com>
1700
1701         * config/bfin/uclinux.h (NO_IMPLICIT_EXTERN_C): Define.
1702         * config/bfin/elf.h (NO_IMPLICIT_EXTERN_C): Define.
1703         * config/bfin/bfin.c (bfin_return_in_memory): Update to really match
1704         Visual DSP.
1705
1706 2005-08-09  James A. Morrison  <phython@gcc.gnu.org>
1707
1708         * tree-ssa-loop-niter.c (tree_simplify_using_condition_1): Use
1709         fold_binary instead of fold_build2 since we don't care about the
1710         resulting tree.
1711         (loop_niter_by_eval): Likewise.
1712         (compare_trees): Likewise.
1713         (proved_non_wrapping_p): Likewise.
1714
1715 2005-08-09  James A. Morrison  <phython@gcc.gnu.org>
1716
1717         PR c/23161
1718         PR c/23165
1719         * c-typeck.c (c_finish_if_stmt): Look into STATEMENT_LISTs to see
1720         if the if is really empty.
1721
1722 2005-08-09  Steven Bosscher  <stevenb@suse.de>
1723
1724         PR tree-optimization/23234
1725         * tree-ssa-math-opts.c (place_reciprocal): New enum.
1726         (execute_cse_reciprocals_1): Replace the 'phi' argument with an
1727         argument of the new enum.
1728         (execute_cse_reciprocals): Add reciprocals for function arguments
1729         on the unique successor edge of the entry block.  Update other calls
1730         to execute_cse_reciprocals_1.
1731
1732 2005-08-08  Richard Henderson  <rth@redhat.com>
1733
1734         PR 22439
1735         * gimplify.c (gimplify_one_sizepos): Preserve the original type.
1736
1737 2005-08-08  Bob Wilson  <bob.wilson@acm.org>
1738
1739         * expr.c (write_complex_part): Return after handling MEM.
1740
1741 2005-08-08  Josh Conner  <jconner@apple.com>
1742
1743         PR rtl-optimization/23241
1744         * combine.c (simplify_comparison): Fix error in determining
1745         whether to lift a subreg from comparison.
1746
1747 2005-08-08  David Edelsohn  <edelsohn@gnu.org>
1748
1749         PR target/18506
1750         * config/rs6000/altivec.md (vec_init<mode>): New.
1751         (vec_set<mode>): New.
1752         (vec_extract<mode>): New.
1753         * config/rs6000/rs6000.c (rs6000_expand_vector_init): New.
1754         (rs6000_expand_vector_set): New.
1755         (rs6000_expand_vector_extract): New.
1756         (rs6000_legitimate_offset_address_p): Offset addresses are valid
1757         for Altivec modes before reload.
1758         (altivec_expand_vec_init_builtin): New.
1759         (get_element_number): New.
1760         (altivec_expand_vec_set_builtin): New.
1761         (altivec_expand_vec_ext_builtin): New.
1762         (altivec_expand_builtin): Expand vec_init, vec_set, and vec_ext
1763         builtins.
1764         (altivec_init_builtins): Init vec_init, vec_set, and vec_ext
1765         builtins.
1766         * config/rs6000/rs6000.h (rs6000_builtins): Add
1767         ALTIVEC_BUILTIN_VEC_INIT_<mode>, ALTIVEC_BUILTIN_VEC_SET_<mode>,
1768         ALTIVEC_BUILTIN_VEC_EXT_<mode>.
1769         * config/rs6000/rs6000-protos.h: Declare new functions.
1770
1771 2005-08-08  Jan Hubicka  <jh@suse.cz>
1772
1773         * i386.c (legitimate_pic_address_disp_p): Refuse GOTOFF in 64bit mode.
1774         (legitimate_address_p): Refuse GOT and GOTOFF in 64bit mode.
1775         * i386.md (movdi*): Use pic_32bit_operand.
1776         * predicates.md (pic_32bit_operand): New.
1777
1778 2005-08-08  Nathan Sidwell  <nathan@codesourcery.com>
1779
1780         PR c++/21166
1781         * stor-layout.c (finalize_type_size): Undo DECL_PACKED when possible.
1782
1783 2005-08-07  James A. Morrison  <phython@gcc.gnu.org>
1784
1785         * tree-vrp.c (simplify_div_or_mod_using_range): Use build2.
1786         (test_for_singularity): Use fold_build2.
1787
1788 2005-08-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1789
1790         * pa64-regs.h (CONDITIONAL_REGISTER_USAGE): Fix loop upper bound.
1791
1792 2005-08-07  Danny Smith  <dannysmith@users.sourceforge.net>
1793
1794         * config/i386/cygming.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
1795         (COMMON_ASM_OP) Define.
1796         * config/i386/i386.c (ix86_in_large_data_p): Add ATTRIBUTE_UNUSED
1797         (ix86_encode_section_info): Likewise.
1798         (TARGET_ENCODE_SECTION_INFO): Conditionally define as
1799         SUBTARGET_ENCODE_SECTION_INFO.
1800
1801 2005-08-06  Richard Henderson  <rth@redhat.com>
1802
1803         PR 21894
1804         * tree-nested.c (convert_local_reference): Save and restore val_only
1805         around component_ref and friends.  Clear walk_subtrees by default.
1806
1807 2005-08-06  Peter O'Gorman  <peter@pogma.com>
1808
1809         PR 21366
1810         * gcc.c (process_command): Check the argument to -b has a dash.
1811         * doc/invoke.texi: Update -b and -V docs.
1812
1813 2005-08-06  James E Wilson  <wilson@specifix.com>
1814
1815         * config/mips/cross64.h, config/mips/t-cross64: Delete.
1816
1817 2005-08-06  Michael Matz  <matz@suse.de>
1818
1819         * genattrtab.c (write_attr_get, write_attr_case): Use insn_code
1820         member only if only one insn is associated with the value.
1821
1822 2005-08-06  Nick Clifton  <nickc@redhat.com>
1823
1824         * config/stormy16/stormy16.h (SYMBOL_FLAG_XSTORMY16_BELOW100):
1825         New define.
1826         (ASM_OUTPUT_LABELREF): Delete - it is no longer needed.
1827         * config/stormy16/stormy16.c (xstormy16_below100_symbol):
1828         Check symbol flags instead of symbol name mangling.
1829         (xstormy16_asm_output_aligned_common): Likewise.  Also
1830         simplify code since the bss100_section cass is the only case
1831         where the below100 code will be triggered.
1832         (xstormy16_encode_section_info): Encode below100 attribute
1833         using the SYMBOL_FLAG_XSTORMY16_BELOW100 instead of mangling
1834         the name.
1835         (xstormy16_strip_name_encoding): Delete - this function is no
1836         longer needed.
1837         (TARGET_STRIP_NAME_ENCODING): Undefine.
1838         * config/stormy16/stormy16-protos.h: Delete prototype for
1839         xstormy16_strip_name_encoding.
1840
1841 2005-08-06  Kazu Hirata  <kazu@codesourcery.com>
1842
1843         * Makefile.in, cfgexpand.c, cfgloop.h, cfgloopmanip.c,
1844         config.gcc, ipa-cp.c, ipa-prop.c, ipa-prop.h, reg-stack.c,
1845         tree-ssa-structalias.c, tree-vrp.c, value-prof.c, vec.h,
1846         config/linux.h, config/alpha/alpha.h, config/alpha/linux.h,
1847         config/alpha/predicates.md, config/arc/arc.h,
1848         config/arm/arm.h, config/arm/ieee754-df.S,
1849         config/arm/ieee754-sf.S, config/bfin/bfin.c,
1850         config/bfin/bfin.h, config/c4x/c4x.h, config/crx/crx.c,
1851         config/fr30/fr30.h, config/frv/frv.h, config/h8300/h8300.h,
1852         config/i386/i386.h, config/ia64/ia64.c, config/ia64/ia64.h,
1853         config/m68hc11/m68hc11.h, config/mips/mips.c,
1854         config/mips/mips.h, config/mips/openbsd.h,
1855         config/mn10300/mn10300.h, config/pa/pa.c, config/pa/pa.h,
1856         config/pdp11/pdp11.h, config/rs6000/linux-unwind.h,
1857         config/rs6000/rs6000.c, config/rs6000/rs6000.h,
1858         config/s390/s390.c, config/sh/sh.c, config/sh/sh.h,
1859         config/sparc/linux.h, config/sparc/linux64.h,
1860         config/sparc/sparc.h, config/v850/v850.h, config/vax/vax.h,
1861         doc/extend.texi, doc/gcov.texi, doc/install.texi,
1862         doc/invoke.texi, doc/rtl.texi, doc/tm.texi: Fix comment/doc
1863         typos.  Follow spelling conventions.
1864
1865 2005-08-06  Joseph S. Myers  <joseph@codesourcery.com>
1866
1867         PR c/23113
1868         * stmt.c (warn_if_unused_value): Check TREE_NO_WARNING at start.
1869         Don't handle NOP_EXPR, CONVERT_EXPR and NON_LVALUE_EXPR
1870         specially.  Check for side effects only for COND_EXPR.
1871         * c-typeck.c (c_finish_stmt_expr): Mark statement expression
1872         return with TREE_NO_WARNING.
1873
1874 2005-08-06  Richard Sandiford  <richard@codesourcery.com>
1875
1876         PR rtl-optimization/23233
1877         * loop.c (combine_movables): Require the modes to be the same.
1878         (move_movables): Remove handling of cases where the replacement
1879         had a different mode to the original.
1880
1881 2005-08-05  James A. Morrison  <phython@gcc.gnu.org>
1882
1883         PR tree-optimization/23128
1884         * tree-vrp.c (vrp_int_const_binop): Check if unsigned addition or
1885         subtraction wrap, and set TREE_OVERFLOW if they do.
1886
1887 2005-08-05  Richard Henderson  <rth@redhat.com>
1888
1889         PR 21728
1890         * tree-cfg.c (remove_bb): Transmute DECL_NONLOCAL labels into
1891         FORCED_LABEL labels.
1892
1893 2005-08-05  J"orn Rennecke <joern.rennecke@st.com>
1894
1895         PR middle-end/23135
1896         * reload.c (find_reloads_subreg_address): Pass down TYPE
1897         unchanged.  Change all callers except find_reloads_toplev.
1898
1899 2005-08-05  Michael Matz  <matz@suse.de>
1900
1901         * genattrtab.c (current_alternative_string): Remove.
1902         (SIMPLIFY_ALTERNATIVE): Ditto.
1903         (attr_alt_bit_p): Ditto.
1904         (alternative_name): Make const char *.
1905         (evaluate_eq_attr): Remove use of above things.
1906         (simplify_test_exp): Ditto.
1907         (simplify_test_exp <EQ_ATTR>): Guard for insn_code < 0 .
1908         (simplify_test_exp <AND>): Correct typo (test 'right' not 'left').
1909
1910 2005-08-04  James E Wilson  <wilson@specifix.com>
1911
1912         * config/ptx4.h, config/sol2.h, config/arm/freebsd.h,
1913         config/arm/linux-elf.h, config/frv/frv.h, config/i386/freebsd.h,
1914         config/i386/freebsd64.h, config/i386/netware.h, config/i386/sco5.h,
1915         config/ia64/freebsd.h, config/rs6000/sysv4.h, config/sparc/freebsd.h
1916         (LINK_SPEC): Delete useless %{Wl,*:%*} item.
1917
1918 2005-08-04  Richard Henderson  <rth@redhat.com>
1919
1920         PR 21529
1921         * params.def (PARAM_SRA_MAX_STRUCTURE_COUNT): New.
1922         * params.h (SRA_MAX_STRUCTURE_COUNT): New.
1923         * tree-sra.c (decide_block_copy): Use it.  Disable element copy
1924         if we'd have to instantiate too many members.
1925
1926 2005-08-04  Richard Henderson  <rth@redhat.com>
1927
1928         PR 21291
1929         * tree-outof-ssa.c (coalesce_asm_operands): New.
1930         (coalesce_ssa_name): Use it.  Split out ...
1931         (coalesce_phi_operands, coalesce_result_decls): ... these.
1932
1933 2005-08-04  Paul Brook  <paul@codesourcery.com>
1934
1935         * read-rtl.c (read_quoted_string): Break if EOF.
1936
1937 2005-08-04  Andrew Pinski  <pinskia@physics.uc.edu>
1938
1939         * tree.h (fold_build1): Change to macro and call fold_build1_stat.
1940         (fold_build2): Likewise.
1941         (fold_build3): Likewise.
1942         (fold_build1_stat): New function prototype.
1943         (fold_build2_stat): Likewise.
1944         (fold_build3_stat): Likewise.
1945         * fold-const.c (fold_build1): Rename to ..
1946         (fold_build1_stat): this.  Add MEM_STAT_DECL.  Pass the mem stats
1947         through to build1_stat.
1948         (fold_build2): Rename to ..
1949         (fold_build2_stat): this.  Add MEM_STAT_DECL.  Pass the mem stats
1950         through to build2_stat.
1951         (fold_build3): Rename to ..
1952         (fold_build3_stat): this.  Add MEM_STAT_DECL.  Pass the mem stats
1953         through to build3_stat.
1954
1955 2005-08-04  David Edelsohn  <edelsohn@gnu.org>
1956             Ian Lance Taylor  <ian@airs.com>
1957
1958         * function.c (assign_stack_local_1): Do not correct stack slot
1959         address if allocation size is smaller than mode size.
1960
1961 2005-08-04  Diego Novillo  <dnovillo@redhat.com>
1962
1963         PR 22037
1964         * tree-cfg.c (replace_uses_by): Call mark_new_vars_to_rename.
1965         (tree_merge_blocks): Propagate anything allowed by
1966         may_propagate_copy.
1967         Clarify documentation.
1968         * passes.c (execute_todo): If cleanup_tree_cfg invalidated the
1969         SSA form, schedule an update if necessary.
1970
1971 2005-08-04  Gerald Pfeifer  <gerald@pfeifer.com>
1972
1973         * doc/install.texi (Binaries): Remove broken link to
1974         Sinix/Reliant Unix binaries.
1975
1976 2005-08-03  Richard Henderson  <rth@redhat.com>
1977
1978         PR 23221
1979         * function.c (stack_protect_epilogue): Export.
1980         * tree.h (stack_protect_epilogue): Declare.
1981         * calls.c (expand_call): Call it.
1982
1983 2005-08-03  Eric Christopher  <echristo@apple.com>
1984
1985         * gcc.c (LINK_SSP_SPEC): Add fstack-protector-all.
1986         * config/darwin.h (LINK_COMMAND_SPEC): Add link_ssp
1987         spec.
1988
1989 2005-08-04  Jan Hubicka  <jh@suse.cz>
1990
1991         * profile.c (branch_prob): Split edges with goto locus on them
1992         to get proper line counts.
1993         * tree-cfg.c (make_cond_expr_edges): Record user goto locuses, if any.
1994
1995 2005-08-03  Paul Brook  <paul@codesourcery.com>
1996
1997         * function.c (assign_parms): Round current_function_args_size
1998         to PARM_BOUNDARY, not STACK_BOUNDARY.
1999
2000 2005-08-03  Geoffrey Keating  <geoffk@apple.com>
2001
2002         * config/i386/i386.c (x86_elf_aligned_common)
2003         (x86_output_aligned_bss): Don't try to use symbols that aren't defined.
2004
2005 2005-08-03  Zdenek Dvorak  <dvorakz@suse.cz>
2006
2007         PR tree-optimization/23157
2008         * tree-scalar-evolution.c (scev_const_prop): Unshare trees
2009         before emitting them.
2010
2011 2005-08-03  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2012
2013         PR tree-optimization/19899
2014         * Makefile.in (tree-scalar-evolution.o): Add real.h.
2015         * tree-scalar-evolution.c: Include real.h.
2016         (add_to_evolution): Build constant -1 of correct type.
2017
2018 2005-08-03  Jan Hubicka  <jh@suse.cz>
2019
2020         * cfgloop.h (DLTHE_FLAG_COMPLETTE_PEEL): New flag.
2021         * cfgloopmanip.c (duplicate_loop_to_header_edge): Special case
2022         profile updating for complette unrolling.
2023         * loop-unroll.c (peel_loop_completely): Use it.
2024         * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Likewise.
2025         (tree_unroll_loops_completely): Disable code growing unrolling of cold
2026         loops.
2027
2028 2005-08-03  Paul Brook  <paul@codesourcery.com>
2029
2030         * combine.c (can_change_dest_mode): New function.
2031         (try_combine, simplify_set): Use it.
2032
2033 2005-08-03  Eric Botcazou  <ebotcazou@adacore.com>
2034
2035         * config/ia64/hpux.h (MEMBER_TYPE_FORCES_BLK): Only force
2036         TFmode to BLKmode.
2037
2038 2005-08-03  Gerald Pfeifer  <gerald@pfeifer.com>
2039
2040         * doc/install.texi (Specific): Adjust link to openavr.org.
2041         (Specific): Remove broken reference to GCC 2.8.1 for OS/2.
2042         (Binaries): Adjust HP-UX Porting Center link.
2043         (Binaries): Adjust Free Software Foundation ordering link.
2044
2045 2005-08-03  Andrew Pinski  <pinskia@physics.uc.edu>
2046
2047         * convert.c (convert_to_integer): Use fold_build1 instead of
2048         build1 when converting an integer to an integer.
2049
2050 2005-08-02  Richard Henderson  <rth@redhat.com>
2051
2052         * combine.c (combine_instructions): Don't use reg_equal/equiv
2053         results if the mode doesn't match.
2054
2055 2005-08-02  Mark Mitchell  <mark@codesourcery.com>
2056
2057         * config/i386/t-mingw32 (NATIVE_SYSTEM_HEADER_DIR): Set it.
2058         * doc/fragments.texi (NATIVE_SYSTEM_HEADER_DIR): Document it.
2059
2060 2005-08-02  Richard Henderson  <rth@redhat.com>
2061
2062         PR 23196
2063         * explow.c (memory_address): Remove special-case for
2064         virtual_stack_vars_rtx and virtual_incoming_args_rtx.
2065
2066 2005-08-02  Diego Novillo  <dnovillo@redhat.com>
2067
2068         PR 23164
2069         * tree-cfgcleanup.c (cleanup_tree_cfg): Do not limit the
2070         number of calls to cleanup_tree_cfg_1.
2071
2072 2005-08-02  Martin Reinecke  <martin@mpa-garching.mpg.de>
2073
2074         * doc/invoke.texi: document file extensions .F90 and .F95
2075
2076 2005-08-02  Richard Guenther  <rguenther@suse.de>
2077
2078         * fold-const.c (tree_expr_nonnegative_p): frexp(x, &e) is
2079         positive if its first argument is positive.
2080
2081 2005-08-02  Richard Guenther  <rguenther@suse.de>
2082
2083         PR tree-optimization/23177
2084         * tree-ssa-operands.c (get_tmr_operands): Use get_expr_operands
2085         on TMR_TAG.
2086
2087 2005-08-02  James A. Morrison  <phython@gcc.gnu.org>
2088
2089         PR tree-optimization/23129
2090         * tree-vrp.c (extract_range_from_binary_expr): Set value range to
2091         varying for divisions with anti-ranges.
2092
2093 2005-08-02  Jan Hubicka  <jh@suse.cz>
2094
2095         * tree-ssa-dom.c (thread_across_edge): Remove updating here.
2096         * tree-ssa-threadupdate.c (thread_block): Add it here.
2097
2098 2005-08-01  James E Wilson  <wilson@specifix.com>
2099
2100         * config/mips/mips.c (mips_encode_section_info, mips_attribute_table,
2101         TARGET_ENCODE_SECTION_INFO, TARGET_ATTRIBUTE_TABLE): New.
2102         * config/mips/mips.h (SYMBOL_FLAG_LONG_CALL, SYMBOL_REF_LONG_CALL_P):
2103         New.
2104         * config/mips/predicates.md (const_call_insn_operand): Add check for
2105         SYMBOL_REF_LONG_CALL_P.
2106         * doc/extend.texi (long_call): Document the new attribute.
2107
2108 2005-08-01  Ian Lance Taylor  <ian@airs.com>
2109             Richard Henderson  <rth@redhat.com>
2110
2111         * Makefile.in (RTL_BASE_H): Add real.h.
2112         * real.h (REAL_VALUE_FROM_CONST_DOUBLE): Use structure copy
2113         instead of memcpy.
2114         * emit-rtl.c (const_double_from_real_value): Likewise; use rtx.u.rv
2115         directly.
2116         * rtl.c (rtl_check_failed_code_mode): New.
2117         * rtl.h (struct rtx_def): Add u.rv.
2118         (XCMWINT, XCNMPRV): New.
2119         (CONST_DOUBLE_LOW, CONST_DOUBLE_HIGH): Use XCMWINT.
2120         (CONST_DOUBLE_REAL_VALUE): Use XCNMPRV; constify.
2121
2122 2005-08-01  Richard Henderson  <rth@redhat.com>
2123
2124         * dwarf2out.c (mem_loc_descriptor): Use XEXP, not SUBREG_REG,
2125         with auto-inc codes.
2126
2127         * config/alpha/predicates.md (and_operand): Test mode of CONST_DOUBLE.
2128
2129 2005-08-01  Jan Hubicka  <jh@suse.cz>
2130
2131         * i386-protos.h (asm_preferred_eh_data_format): Declare.
2132         * i386.c: Include dwarf2.h
2133         (asm_preferred_eh_data_format): New.
2134         * i386.h (ASM_PREFERRED_EH_DATA_FORMAT): Move offline.
2135
2136 2005-08-01  Ian Lance Taylor  <ian@airs.com>
2137
2138         * config/host-linux.c (linux_gt_pch_get_address): Add new name
2139         randomize_va_space for virtual address randomization control.
2140
2141 2005-08-01  Steven Bosscher  <stevenb@suse.de>
2142
2143         * common.opt (flag_ipa_cp): Put in right place to maintain
2144         alphabetic sort.
2145
2146 2005-08-01  Jan Hubicka  <jh@suse.cz>
2147
2148         * profile.c (compute_value_histograms): Fix thinko.
2149         * value-prof.c: Include toplev.h
2150         (check_counter): New function.
2151         (tree_divmod_fixed_value_transform, tree_mod_pow2_value_transform,
2152         tree_mod_subtract_transform): Add sanity check.
2153
2154 2005-08-01  Richard Guenther  <rguenther@suse.de>
2155
2156         PR tree-optimization/23133
2157         * tree-ssa-math-opts.c (execute_cse_reciprocals): Walk
2158         current functions parameter decls to find defs to cse
2159         reciprocals of.
2160
2161 2005-08-01  Richard Guenther  <rguenther@suse.de>
2162
2163         PR tree-optimization/23109
2164         * tree-ssa-math-opts.c (execute_cse_reciprocals_1):
2165         If trapping math is in effect, use post-dominator information
2166         to check if we'd in any case reach a trapping point before
2167         doing the reciprocal insertion.
2168         (execute_cse_reciprocals): Compute post-dominators, if necessary.
2169         * tree-ssa-loop-im.c (determine_invariantness_stmt): RDIV
2170         expressions are invariant only if trapping math is not in effect.
2171
2172 2005-08-01  Razya Ladelsky  <razya@il.ibm.com>
2173
2174         * cgraph.h (update_call_expr, cgraph_copy_node_for_versioning,
2175         cgraph_function_versioning): New declarations.
2176         * cgraphunit.c: Add include to ipa-prop.h.
2177         (update_call_expr, cgraph_copy_node_for_versioning,
2178         cgraph_function_versioning): New functions.
2179         * integrate.c (copy_decl_for_inlining): Remove.
2180         * ipa-prop.h (ipa_replace_map): New struct.
2181         (struct ipa_node): Add ipcp_orig_node, count_scale, new fields.
2182         * ipa-cp.c (ipcp_method_orig_node, ipcp_method_is_cloned,
2183         ipcp_method_set_orig_node, ipcp_cloned_create, ipcp_method_get_scale,
2184         ipcp_method_set_scale, ipcp_method_compute_scale, ipcp_after_propagate,
2185         ipcp_iterate_stage, ipcp_method_scale_print,
2186         ipcp_profile_mt_count_print, ipcp_profile_cs_count_print,
2187         ipcp_profile_edge_print, ipcp_profile_bb_print , ipcp_profile_print,
2188         ipcp_replace_map_create, ipcp_redirect, ipcp_update_callgraph,
2189         ipcp_update_bb_counts, ipcp_update_profiling,
2190         ipcp_update_edges_counts): New functions.
2191         (ipcp_method_cval_init): Remove restriction regarding local methods.
2192         (ipcp_init_stage): Add ipcp_method_compute_scale.
2193         (ipcp_insert_stage): Add versioning.
2194         (ipcp_structures_print): Add ipcp_method_scale_print.
2195         (ipcp_driver): Dump profiling info.
2196         * Makefile.in: Remove integrate.h dependency from tree-inline.o.
2197         Add ipa-prop.h dependency to tree-inline.o and cgraphunit.o.
2198         * tree-inline.c: Remove include to integrate.h, Add include ipa-prop.h.
2199         (struct inline_data): Add versioning_p, ipa_info, new fields.
2200         (remap_decl, mark_local_for_remap_r, setup_one_parameter,
2201         declare_return_variable): Replace calls to copy_decl_for_inlining with
2202         copy_decl_for_dup.
2203         (copy_body_r, copy_bb, copy_cfg_body, copy_tree_r, inlining_p): Add
2204         versioning support.
2205         (copy_decl_for_dup): Rename from copy_decl_for_inlining.
2206         Add argument VERSIONING.
2207         (copy_arguments_for_versioning, copy_static_chain,
2208         function_versionable_p, tree_versionable_function_p,
2209         tree_function_versioning, replace_ref_tree): New functions.
2210         * tree-inline.h: Include varray.h.
2211         (tree_versionable_function_p,  tree_function_versioning,
2212         tree copy_decl_for_dup): New declarations.
2213
2214 2005-08-01  Razya Ladelsky  <razya@il.ibm.com>
2215
2216         * ipa-cp.c: New file. Contains IPCP specific functionality.
2217         * ipa-prop.h: New file. Contains structures/definitions that can be
2218         used by several interprocedural data flow optimizations (and also IPCP).
2219         * ipa-prop.c: New file.
2220         * Makefile.in: Add ipa-cp.c, ipa-prop.h, ipa-prop.c.
2221         * common.opt: Add ipa-cp flag.
2222         * timevar.def: Add IPCP optimization.
2223         * tree-optimize.c (init_tree_optimization_passes): Schedule
2224         pass_ipa_cp.
2225         * tree-pass.h (pass_ipa_cp): Declare.
2226
2227 2005-08-01  Kazu Hirata  <kazu@codesourcery.com>
2228
2229         * dwarf2out.c, fold-const.c, ipa-type-escape.c,
2230         loop-invariant.c, predict.c, predict.def, reload1.c, reorg.c,
2231         tree-sra.c, config/arm/arm.c, config/crx/crx.c,
2232         config/i386/i386.c, config/mips/mips.h,
2233         config/rs6000/rs6000.h, config/sh/sh.c,
2234         config/stormy16/stormy16.c: Fix comment typos.
2235
2236 2005-08-01  Joseph S. Myers  <joseph@codesourcery.com>
2237
2238         PR c/22311
2239         * c-typeck.c (build_binary_op): Use common_type wrapper on
2240         shortened types.
2241         (common_type): Update comment.
2242
2243 2005-07-31  Steven Bosscher  <stevenb@suse.de>
2244
2245         PR target/23095
2246         * common.opt (flag_gcse_after_reload): Don't initialize to 2.
2247         (flag_rerun_cse_after_loop): Initialize this to 2 instead.
2248         * postreload-gcse.c (hash_scan_set): Do not consider stack regs.
2249
2250 2005-07-31  Jan Hubicka  <jh@suse.cz>
2251
2252         * pretty-print.h (pp_widest_integer): New macro.
2253         * tree-pretty-print.c (dump_bb_header): Print BB frequencies and
2254         counts.
2255
2256 2005-07-31  Jan Hubicka  <jh@suse.cz>
2257
2258         * output.h (enum section_category): Export from varasm.c
2259         (categorize_decl_for_section): Likewise.
2260         * varasm.c (enum section_category): Kill.
2261         (categorize_decl_for_section): Make global.
2262         * i386-protos.h (x86_output_aligned_bss, x86_elf_aligned_common):
2263         Declare.
2264         * i386.c (ix86_section_threshold): New static variable.
2265         (ix86_in_large_data_p, ix86_encode_section_info,
2266         x86_64_elf_unique_section,
2267         x86_64_elf_select_section): New functions.
2268         (TARGET_ENCODE_SECTION_INFO): Define
2269         (override_options): Enable medium model for PIC.
2270         (ix86_expand_prologue): Expand gen_set_got_rex64.
2271         (legitimate_constant_p): Handle new UNSPECs.
2272         (legitimate_pic_address_disp_p): Likewise.
2273         (legitimize_pic_address): Lower MEDIUM model addressing.
2274         * i386.h (PIC_OFFSET_TABLE_REGNUM): Set for medium model PIC.
2275         (enum cmodel): Add MEDIUM_PIC.
2276         (SYMBOL_REF_FAR_ADDR_P): New macro.
2277         (SYMBOL_FLAG_FAR_ADDR): New flag.
2278         * i386.md (movdi): Support medium model.
2279         (set_got_rex64): New pattern.
2280         * i386.opt (mlarge-data-threshold): New flag.
2281         * predicates.md (zext_operand/sext_operand): Deal with medium model.
2282         * x86-64.h (ASM_OUTPUT_ALIGNED_BSS): Use x86_output_aligned_bss.
2283         (ASM_OUTPUT_ALIGNED_COMMON, TARGET_ASM_SELECT_SECTION,
2284         TARGET_ASM_UNIQUE_SECTION): New.
2285
2286         * invoke.texi (-mlarge_data_threshold): Document
2287
2288 2005-07-31  Jan Hubicka  <jh@suse.cz>
2289
2290         * tree-outof-ssa.c (coalesce_ssa_name): Use coalesce_cost.
2291         (coalesce_vars): Likewise.
2292         * tree-ssa-live.c (coalesce_cost): New.
2293         (build_tree_conflict_graph): Use coalesce_cost.
2294         * tree-ssa-live.h (coalesce_cost): Declare.
2295
2296 2005-07-30  Richard Earnshaw  <richard.earnshaw@arm.com>
2297
2298         * arm.md (all peepholes for post-increment operations): Delete.
2299         (strqi_preinc, strqi_predec, loadqi_preinc, loadqi_predec)
2300         (loadqisi_preinc, loadqisi_predec, strsi_preinc, strsi_predec)
2301         (loadsi_preinc, loadsi_predec, strqi_shiftpreinc, strqi_shiftpredec)
2302         (loadqi_shiftpreinc, loadqi_shiftpredec, strsi_shiftpreinc)
2303         (strsishift_predec, loadsi_shiftpreinc, loadsi_shiftpredec): Delete.
2304
2305 2005-07-30  James A. Morrison  <phython@gcc.gnu.org>
2306
2307         * fold-const.c (tree_expr_nonnegative_p): Always return true for
2308         non-integral types.
2309
2310 2005-07-29  Wolfgang Bangerth <bangerth@dealii.org>
2311
2312         PR target/22582
2313         * doc/invoke.texi: Document -rdynamic.
2314
2315 2005-07-30  Joseph S. Myers  <joseph@codesourcery.com>
2316
2317         PR c/23143
2318         * c-parser.c (c_parser_parms_list_declarator): Call
2319         mark_forward_parm_decls.
2320         * c-decl.c (merge_decls): Only check DECL_IN_SYSTEM_HEADER for
2321         decls with visibility structure.
2322
2323 2005-07-30  Paul Brook  <paul@codesourcery.com>
2324
2325         * config/arm/arm.c (arm_coproc_mem_operand): Fix inaccurate comment.
2326
2327 2005-07-30  Paul Brook  <paul@codesourcery.com>
2328
2329         * config/arm/arm-protos.h (arm_canonicalize_comparison): Update
2330         prototype.
2331         * config/arm/arm.c (arm_canonicalize_comparison): Use correct limit
2332         value for mode.
2333         * config/arm/arm.h (CANONICALIZE_COMPARISON): Pass mode argument.
2334
2335 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
2336
2337         PR c/529
2338         * c-decl.c (warn_if_shadowing): Don't check for PARM_DECL in
2339         nested function declarators.
2340         (pushdecl): Don't call warn_if_shadowing for PARM_DECL.
2341         (grokparms): Call warn_if_shadowing for parameters used within the
2342         parameter list.
2343         (store_parm_decls_newstyle): Call warn_if_shadowing for parameters
2344         not used within the parameter list.
2345         (store_parm_decls_oldstyle): Call warn_if_shadowing for parameters.
2346
2347 2005-07-30  Jan Hubicka  <jh@suse.cz>
2348
2349         * expr.c (expand_expr_real_1): Do not load mem targets into register.
2350         * i386.c (ix86_fixup_binary_operands): Likewise.
2351         (ix86_expand_unary_operator): Likewise.
2352         (ix86_expand_fp_absneg_operator): Likewise.
2353         * optabs.c (expand_vec_cond_expr): Validate dest.
2354
2355 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
2356
2357         PR c/21720
2358         * real.c (real_from_string): Also set last bit if there is a
2359         nonzero hex digit beyond GCC's internal precision after ".".
2360
2361 2005-07-29  David Edelsohn  <edelsohn@gnu.org>
2362
2363         * config/rs6000/altivec.md: Convert UNSPEC numerical values to
2364         define_constants.  Change duplicate values to unassigned numbers.
2365         Change UNSPEC_SUBS to UNSPEC_VSUBS.
2366         (*altivec_vspltsf): New.
2367         (altivec_vperm_v4sf): Delete.
2368         (altivec_vperm_<mode>): Use mode macro V.
2369         (altivec_vsldoi_<mode>): Convert to mode macro pattern.
2370         (altivec_predicate_v4sf): Delete.
2371         (altivec_predicate_<mode>): Use mode macro V.
2372         (*altivec_lvesfx): New.
2373         (*altivec_stvesfx): New.
2374         (vec_realign_load_v4sf): Delete.
2375         (vec_realign_load_<mode>): Use mode macro V.
2376         * config/rs6000/rs6000.c (generate_set_vrsave): Use
2377         UNSPECV_SET_VRSAVE.
2378
2379 2005-07-29  Mark Mitchell  <mark@codesourcery.com>
2380
2381         PR bootstrap/23131
2382         * configure.ac (SYSTEM_HEADER_DIR): Avoid setting to empty
2383         string.
2384         * configure: Regenerated.
2385
2386 2005-07-29  Paul Brook  <paul@codesourcery.com>
2387
2388         * doc/install.texi: Add link to GFortran binaries wiki page.
2389
2390 2005-07-29  David Ung  <davidu@mips.com>
2391
2392         * config/mips/mips.c (mips_cpu_info_table): Add 5kf to the table.
2393         (mips_rtx_cost_data): Add costs for 5kc and 5kf.
2394         * config/mips/mips.h (processor_type): Add PROCESSOR_5KF.
2395         * config/mips/mips.md (cpu): Add 5kf name.
2396         (includes): Includes 5k.md.
2397         * config/mips/5k.md: New DFA pipeline for the 5kc/5kf.
2398         * doc/invoke.texi (MIPS Options): Updated cpu name supported with
2399         -march flag.
2400
2401 2005-07-29  Diego Novillo  <dnovillo@redhat.com>
2402
2403         PR 22550
2404         * tree-cfgcleanup.c (cleanup_tree_cfg_1): Extract from ...
2405         (cleanup_tree_cfg): ... here.
2406         Call cleanup_tree_cfg_1 until there are no more cleanups to
2407         do.
2408
2409 2005-07-29  James A. Morrison  <phython@gcc.gnu.org>
2410
2411         * tree-vrp.c (compare_range_with_value): Return true or false
2412         for ~[VAL_1, VAL_2] OP VAL if VAL_1 <= VAL <= VAL_2 for NE_EXPR and
2413         EQ_EXPR respectively.
2414
2415 2005-07-29  Kazu Hirata  <kazu@codesourcery.com>
2416
2417         * cfg.c, tree-complex.c, config/frv/frv.c, config/i386/i386.c:
2418         Fix comment typos.
2419
2420 2005-07-29  Diego Novillo  <dnovillo@redhat.com>
2421
2422         * tree-ssa-dom.c (struct opt_stats_d): Add field num_iterations.
2423         (tree_ssa_dominator_optimize): Increment it.
2424         (dump_dominator_optimization_stats): Print it.
2425
2426 2005-07-29  Richard Earnshaw  <richard.earnshaw@arm.com>
2427             Steven Bosscher  <stevenb@suse.de>
2428
2429         PR rtl-optimization/23117
2430         * sched-rgn.c (add_branch_dependences): Handle COND_EXEC correctly
2431         when head == tail.  Tidy comment.
2432
2433 2005-07-28  Richard Henderson  <rth@redhat.com>
2434
2435         * cse.c (exp_equiv_p): Special case CONST_DOUBLE.
2436         * cselib.c (rtx_equal_for_cselib_p): Likewise.
2437         * jump.c (rtx_renumbered_equal_p): Likewise.
2438         * loop.c (rtx_equal_for_loop_p): Tidy and special case PC, CC0,
2439         CONST_INT and CONST_DOUBLE.
2440         (rtx_equal_for_prefetch_p): Likewise, plus LABEL_REF.
2441         * reload.c (operands_match_p): Special case CONST_INT and
2442         CONST_DOUBLE; check mode earlier.
2443
2444 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
2445
2446         PR c/22240
2447         * c-typeck.c (convert_for_assignment): Do not check
2448         DECL_IN_SYSTEM_HEADER on NULL fundecl.
2449
2450 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
2451
2452         PR c/22192
2453         * c-typeck.c (composite_type): Prefer constant size arrays to
2454         VLAs.
2455
2456 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
2457
2458         PR c/21720
2459         * real.c (real_from_string): Set last bit if there is a nonzero
2460         hex digit beyond GCC's internal precision.
2461
2462 2005-07-28  Richard Henderson  <rth@redhat.com>
2463
2464         PR rtl-opt/22619
2465         * cfgcleanup.c (try_forward_edges): Watch out for end of
2466         insn chain.
2467
2468 2005-07-28  James E Wilson  <wilson@specifixinc.com>
2469
2470         PR c/23106
2471         * doc/invoke.texi (Wstrict-aliasing=2): Fix misleading wording.
2472
2473 2005-07-28  Jan Hubicka  <jh@suse.cz>
2474
2475         * Makefile.in (rtl-profile.o): Kill all traces of it.
2476         * common.opt (fspeculative-prefetching, ftree-based-profiling): Kill.
2477         * coverage.h (rtl_coverage_counter_ref): Kill.
2478         * opts.c (flag_speculative_prefetching_set): Kill.
2479         (flag_loop_optimize_set): New.
2480         (common_handle_option): Disable loop optimizer when profiling;
2481         do not handle speculative prefetching.
2482         * passes.c (init_optimization_passes): Replace pass_profiling combo
2483         by branch_prob pass.
2484         * profile.c (compute_value_histograms): Update for simplified value
2485         profiles.
2486         (rtl_register_profile_hooks): Kill.
2487         (pass_profiling): Kill.
2488         (rest_of_handle_branch_prob): Do not profile.
2489         * toplev.c (process_options): Remove speculative prefetching.
2490         * toplev.h (flag_tree_based_profiling): Kill.
2491         * tree-profile.c (prepare_instrumented_value,
2492         tree_gen_interval_profiler, tree_gen_pow2_profiler,
2493         tree_gen_one_value_profiler, do_tree_profiling): Update for
2494         simplified datastructures.
2495         * value-prof.c: Add comment that speculative prefetching was dropped;
2496         update rest of file for simplified datastructures.
2497         (NOPREFETCH_RANGE_MIN, NOPREFETCH_RANGE_MAX,
2498         rtl_divmod_values_to_profile, insn_prefetch_values_to_profile,
2499         find_mem_reference_1, find_mem_reference_2, find_mem_reference,
2500         rtl_values_to_profile, rtl_divmod_fixed_value, rtl_mod_pow2,
2501         rtl_mod_subtract, gen_speculative_prefetch,
2502         rtl_divmod_fixed_value_transform, rtl_mod_pow2_value_transform,
2503         rtl_mod_subtract_transform, speculative_prefetching_transform): Kill.
2504         (gate_handle_value_profile_transformations,
2505         rest_of_handle_value_profile_transformations,
2506         pass_value_profile_transformations): Kill.
2507         * value-prof.h (histogram_value_t): Remove IL based unions.
2508         (rtl_register_value_prof_hooks, rtl_register_profile_hooks,
2509         rtl_profile_hooks): Remove hooks.
2510
2511         * invoke.texi (-ftree-based-profiling, -fspeculative-prefetching): Kill.
2512
2513         * cgraph.c (cgraph_clone_edge): New UPDATE_ORIGINAL argument.
2514         (cgraph_clone_node): Likewise.
2515         * cgraph.h (cgraph_clone_edge): Update prototype.
2516         (cgraph_clone_node): Likewise.
2517         * ipa-inline.c (cgraph_clone_inlined_nodes): Update call of
2518         cgraph_clone_node.
2519         (lookup_recursive_calls): Consider profile.
2520         (cgraph_decide_recursive_inlining): Fix updating; use new
2521         probability argument; use profile.
2522         * params.def (PARAM_MIN_INLINE_RECURSIVE_PROBABILITY): New.
2523         * tree-inline.c (copy_bb): Update clal of clone_edge.
2524         * tree-optimize.c (tree_rest_of_compilation): UPdate cal of clone_node.
2525
2526         * invoke.texi (min-inline-recursive-probability): Document.
2527
2528 2005-07-28  Gerald Pfeifer  <gerald@pfeifer.com>
2529
2530         * doc/install.texi (Configuration): Update Valgrind homepage.
2531
2532 2005-07-28  Richard Henderson  <rth@redhat.com>
2533
2534         PR middle-end/21362
2535         * cfgrtl.c (rtl_merge_blocks): Call maybe_remove_eh_handler on
2536         labels we want to delete.
2537         (cfg_layout_merge_blocks): Likewise.
2538
2539 2005-07-28  Richard Henderson  <rth@redhat.com>
2540
2541         PR target/17692
2542         * config/i386/i386.c (ix86_split_sse_movcc): Emit DELETED note
2543         when expanding to nothing.
2544
2545 2005-07-28  Josh Conner  <jconner@apple.com>
2546
2547         * ipa-inline.c (update_caller_keys): Fix estimated_growth caching.
2548         (cgraph_decide_inlining_of_small_functions): Likewise.
2549
2550 2005-07-28  Josh Conner  <jconner@apple.com>
2551
2552         * ipa-inline.c (cgraph_edge_badness): Update comments.  Invert shift
2553         direction of badness if negative.
2554         (cgraph_default_inline_p): Add reason to parameters, and assign it
2555         a value.
2556         (cgraph_decide_inlining_of_small_functions): New parameter in call
2557         to cgraph_default_inline_p.
2558         (cgraph_decide_inlining_incrementally): Likewise.
2559         * cgraphunit.c (decide_is_function_needed): Likewise.
2560         * cgraph.h (cgraph_default_inline_p): Likewise.
2561
2562 2005-07-28  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2563
2564         * builtins.c: Fix comment typo(s).
2565         * genautomata.c: Likewise.
2566         * gimplify.c: Likewise.
2567         * tree-dfa.c: Likewise.
2568         * tree-flow-inline.h: Likewise.
2569         * tree-into-ssa.c: Likewise.
2570         * tree-ssa-alias.c: Likewise.
2571         * tree-ssa-ccp.c: Likewise.
2572         * tree-ssa-copy.c: Likewise.
2573         * tree-ssa-dce.c: Likewise.
2574         * tree-ssa-dom.c: Likewise.
2575         * tree-ssa-operands.c: Likewise.
2576         * tree-tailcall.c: Likewise.
2577         * tree-vectorizer.c: Likewise.
2578         * tree-vrp.c: Likewise.
2579         * tree.c: Likewise.
2580
2581 2005-07-28  Jeff Law  <law@redhat.com>
2582
2583         * tree-vrp.c (test_for_singularity): Extracted from  ...
2584         (simplify_cond_using_ranges): Attempt to simplify a relational
2585         test to NE_EXPR.  Dump information when a COND_EXPR is simplified.
2586
2587 2005-07-28  Dorit Nuzman  <dorit@il.ibm.com>
2588
2589         PR tree-optimization/22506
2590         * tree-vectorizer.c (update_phi_nodes_for_guard2): Skip loop-closed
2591         phis whose argument is constant.
2592
2593 2005-07-28  J"orn Rennecke <joern.rennecke@st.com>
2594
2595         PR rtl-optimization/18992
2596         Back out this patch:
2597           2003-10-08  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2598           PR optimization/12142
2599           * cse.c (count_reg_usage): In a SET with a REG SET_DEST, count the
2600           uses of the register in the SET_SRC.  Remove unnecessary argument.
2601
2602         Replace it with this:
2603         * cse.c (count_reg_usage): In INSN, JUMP_INSN and CALL_INSN cases,
2604         if flag_non_call_exceptions is set and the insn may trap, pass
2605         pc_rtx as dest for recursion.
2606         In SET_SRC part of SET case, if dest is already set, pass it down
2607         unchanged.
2608
2609 2005-07-28  Jan Hubicka  <jh@suse.cz>
2610
2611         * cfg.c (update_bb_profile_for_threading): Use RDIV.
2612         (scale_bbs_frequencies_int): Likewise, assert for possible overflow.
2613         (scale_bbs_frequencies_gcov_type): Be more curefull about overflows and
2614         roundoff errors.
2615         * tree-cfg.c (tree_duplicate_sese_region): Use counts for updating
2616         profile when available.
2617
2618 2005-07-28  Jan Beulich <jbeulich@novell.com>
2619
2620         * config/ia64/ia64.c (ia64_load_pair_ok): New.
2621         (ia64_print_operand): Describe and handle 'X'.
2622         (ia64_register_move_cost): Also handle FP_REGS.
2623         (ia64_preferred_reload_class): Likewise.
2624         (ia64_secondary_reload_class): Likewise.
2625         (ia64_dependencies_evaluation_hook): New local variable c. Initialize
2626         it. Also check for ITANIUM_CLASS_FLDP.
2627         * config/ia64/ia64.h (FP_REGNO_P): New.
2628         (HARD_REGNO_MODE_OK): Remove explusion of TImode.
2629         (reg_class): Add FP_REGS.
2630         (REG_CLASS_NAMES): Adjust for it.
2631         (REG_CLASS_CONTENTS): Likewise.
2632         (REGNO_REG_CLASS): Use FP_REGS where appropriate.
2633         (REG_CLASS_FROM_LETTER): Handle 'x'.
2634         (CLASS_MAX_NREGS): Handle FP_REGS.
2635         (MEMORY_MOVE_COST): Likewise.
2636         * config/ia64/ia64.md (itanium_class): Add fldp.
2637         (type): Handle fldp.
2638         (movti_internal): More allowable operand combinations. Use ldfp8 when
2639         splitting unnecessary. Remove predicable attribute. Adjust
2640         itanium_class attribute.
2641         (smuldi3_highpart): Remove outdated comment.
2642         (mulditi3, umulditi3, rotlti3): New expanders.
2643         (addti3, subti3, mulditi3_internal, umulditi3_internal, negti2, rotlti3_internal): New insns.
2644         (absti2): Disabled new insn for future reference.
2645         Respective new splitters.
2646         * config/ia64/itanium1.md (1_fldp, 1b_fldp): New insn reservations.
2647         * config/ia64/itanium2.md (2_fldp, 2b_fldp): Likewise.
2648         * config/ia64/ia64-protos.h (ia64_load_pair_ok): New.
2649
2650 2005-07-25  James A. Morrison  <phython@gcc.gnu.org>
2651
2652         PR rtl-optimization/23047
2653         * simplify-rtx.c (simplify_const_relational_operation): Respect
2654         flag_wrapv for comparisons with ABS.
2655
2656 2005-07-27  James A. Morrison  <phython@gcc.gnu.org>
2657
2658         PR tree-optimization/22493
2659         * tree-vrp.c (extract_range_from_unary_expr): Deal with -fwrapv and
2660         VR_ANTI_RANGEs properly for NEGATE_EXPRs and ABS_EXPRs.
2661
2662 2005-07-27  Aldy Hernandez  <aldyh@redhat.com>
2663
2664         * config/frv/frv.opt (moptimize-membar): New.
2665
2666         * doc/invoke.texi: Document -moptimize-membar and its inverse.
2667
2668         * config/frv/frv.h: Remove machine_function definition.
2669
2670         * config/frv/frv.c (struct frv_io): New.
2671         (struct machine_function): Moved from frv.h.  Add has_membar_p.
2672         (frv_same_doubleword_p, frv_io_fixed_order_p, frv_io_union)
2673         (frv_extract_membar, frv_io_check_address, frv_io_handle_set)
2674         (frv_io_handle_use_1, frv_io_handle_use, frv_optimize_membar_local)
2675         (frv_optimize_membar_global, frv_optimize_membar): New functions.
2676         (frv_reorg): Call frv_optimize_membar when appropriate.
2677         (bdesc_loads, bdesc_stores): Use the membar code as the icode field.
2678         (frv_expand_builtin): Adjust calls accordingly.
2679         (frv_io_address_cookie): New function.
2680         (frv_expand_load_builtin, frv_expand_store_builtin): Emit a normal
2681         load or store rather than a special insn.  Add ccnstant address and
2682         io-type operands to the membar.
2683         (frv_ifcvt_modify_tests): Unsign regno.
2684         (frv_ifcvt_modify_tests): Same.
2685
2686         * config/frv/frv.md: Remove UNSPEC_BUILTIN_{LOAD,STORE}.  Change
2687         UNSPEC_OPTIONAL_MEMBAR constant.
2688         (builtin_read_<mode>): Delete.
2689         (builtin_write_<mode>): Delete.
2690         ("optional_membar_<mode>"): Add operand.
2691
2692         * testsuite/gcc.target/frv/all-builtin-read8.c: Delete.
2693         * testsuite/gcc.target/frv/all-builtin-read16.c: Delete.
2694         * testsuite/gcc.target/frv/all-builtin-read32.c: Delete.
2695         * testsuite/gcc.target/frv/all-builtin-read64.c: Delete.
2696         * testsuite/gcc.target/frv/all-builtin-write8.c: Delete.
2697         * testsuite/gcc.target/frv/all-builtin-write16.c: Delete.
2698         * testsuite/gcc.target/frv/all-builtin-write32.c: Delete.
2699         * testsuite/gcc.target/frv/all-builtin-write64.c: Delete.
2700         * testsuite/gcc.target/frv/all-read-write-1.c: New.
2701
2702 2005-07-28  Kaz Kojima  <kkojima@gcc.gnu.org>
2703
2704         * df.c (df_uses_record): Handle SCRATCH.
2705
2706 2005-07-28  Steven Bosscher  <stevenb@suse.de>
2707
2708         PR debug/20161
2709         * passes.c (rest_of_decl_compilation): If decl is a type and
2710         we have encountered errors, don't emit debug information.
2711
2712 2005-07-27  Kenneth Zadeck <zadeck@naturalbridge.com>
2713
2714         * params.def: Fixed comment.
2715
2716 2005-07-27  Bjoern Haase  <bjoern.m.haase@web.de>
2717
2718         PR target/19885
2719         * config/avr/avr.c (TARGET_ASM_ALIGNED_SI_OP): Add.
2720         (TARGET_ASM_UNALIGNED_HI_OP): Add.
2721         (TARGET_ASM_UNALIGNED_SI_OP): Add.
2722
2723 2005-07-27  Steven Bosscher  <stevenb@suse.de>
2724
2725         PR c++/22003
2726         * varasm.c (assemble_start_function): Don't do anything that may
2727         require a CFG if the current function is a thunk.
2728
2729 2005-07-25  Geoffrey Keating  <geoffk@apple.com>
2730
2731         * doc/install.texi (Prerequisites): Mention that perl is needed
2732         to do export control in libstdc++ targetting Darwin.
2733
2734 2005-07-27  Steven Bosscher  <stevenb@suse.de>
2735
2736         PR rtl-optimization/17808
2737         * sched-deps.c (sched_get_condition): Enable #if 0'ed code.
2738         (sched_insns_conditions_mutex_p): Split out from...
2739         (add_dependence): ...here.  But don't call it from here.
2740         (add_dependence_list): Check sched_insns_conditions_mutex_p
2741         before calling add_dependence.
2742         (add_dependence_list_and_free): Likewise.
2743         (fixup_sched_groups): Likewise.
2744         (sched_analyze_1): Likewise.
2745         (sched_analyze_2): Likewise (and replace a "0" with REG_DEP_TRUE).
2746         (sched_analyze): Likewise.
2747         (sched_analyze_insn): Likewise.
2748         * sched-ebb.c (add_deps_for_risky_insns): Likewise.
2749         * sched-rgn.c (add_branch_dependences): Likewise.  Also, add
2750         dependencies on all COND_EXEC insns to jumps ending basic blocks
2751         when doing intrablock scheduling.
2752         * sched-int.h (sched_insns_conditions_mutex_p): Add prototype.
2753
2754 2005-07-27  Jeff Law  <law@redhat.com>
2755
2756         * tree-vrp.c (vrp_meet): Intersect the equivalency sets when
2757         meeting a VR_ANTI_RANGE with a VR_RANGE.  When intersecting
2758         equivalency sets, correctly handle the case were vr0 has an
2759         equivalency set, but vr1 does not.
2760
2761 2005-07-27  Dorit Nuzman  <dorit@il.ibm.com>
2762
2763         PR tree-optimization/23073
2764         * tree-vect-analyze.c (vect_analyze_data_refs_alignment): Call
2765         vect_print_dump_info before fprintf.
2766
2767 2005-07-27  Zdenek Dvorak  <dvorakz@suse.cz>
2768
2769         PR tree-optimize/22348
2770         * tree-ssa-loop-niter.c (number_of_iterations_cond):
2771         Fold the partial computation.
2772
2773 2005-07-27  Zdenek Dvorak  <dvorakz@suse.cz>
2774
2775         PR tree-optimization/22325
2776         * tree-flow.h (compute_phi_arg_on_exit, force_expr_to_var_cost):
2777         Declare.
2778         * tree-scalar-evolution.c (scev_const_prop): Add generic final
2779         value replacement.
2780         * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Split from ...
2781         (force_var_cost): ... this function.
2782         (compute_phi_arg_on_exit): Export.
2783
2784 2005-07-27  Zdenek Dvorak  <dvorakz@suse.cz>
2785
2786         PR tree-optimization/20773
2787         * tree-ssa-loop-ch.c (copy_loop_headers): Select the correct latch
2788         edge.
2789
2790 2005-07-27  Richard Guenther  <rguenther@suse.de>
2791
2792         * tree-ssa-structalias.c (push_fields_onto_fieldstack):
2793         Avoid pushing again if current struct contains only
2794         fields we decomposed.
2795
2796 2005-07-27  Jan Hubicka  <jh@suse.cz>
2797
2798         PR tree-optimization/22574
2799         * cgraph.c (cgraph_function_body_availability): Unanalyzed bodies are
2800         not available.
2801
2802         * tree-tailcall.c (decrease_profile): New function.
2803         (eliminate_tail_call): Use it.
2804
2805         * cgraphunit.c (cgraph_function_and_variable_visibility): Set
2806         visibility flags correctly in whole program mode.
2807
2808 2005-07-26  Steve Ellcey  <sje@cup.hp.com>
2809
2810         PR rtl-optimization/22472
2811         * config/pa/pa.h (HARD_REGNO_RENAME_OK): Define.
2812
2813 2005-07-26  Steven Bosscher  <stevenb@suse.de>
2814
2815         PR tree-optimization/22504
2816         * tree-complex.c (expand_complex_addition): Use 'code' instead
2817         of MINUS_EXPR for (VARYING, ONLY_IMAG) and (ONLY_IMAG, VARYING).
2818
2819 2005-07-26  Aldy Hernandez  <aldyh@redhat.com>
2820
2821         * config.gcc (cpu_type): Add frv case.
2822         (with_cpu): Add frv400-*-*linux* and frv550-*-*linux* cases.
2823         (supported_defaults): Add fr550 case.
2824
2825 2005-07-26  Diego Novillo  <dnovillo@redhat.com>
2826
2827         PR 22591
2828         * tree-ssa-alias.c (may_alias_p): Remove shortcut that tests
2829         whether a pointer of type T * may point to objects of type T *.
2830
2831 2005-07-26  DJ Delorie  <dj@redhat.com>
2832
2833         * configure: Regenerate.
2834
2835 2005-07-26  Dale Johannesen  <dalej@apple.com>
2836
2837         * postreload-gcse.c (alloc_mem):  Start CUID numbering at 1.
2838
2839 2005-07-26  Mark Mitchell  <mark@codesourcery.com>
2840
2841         * doc/install.texi (--with-build-sysroot): Fix grammatical error.
2842         Clarify use of "build" in name.
2843
2844 2005-07-26  Aldy Hernandez  <aldyh@redhat.com>
2845
2846         * doc/extend.texi (Raw read/write Functions): New section.
2847         * testsuite/gcc.target/frv/all-builtin-read8.c: New.
2848         * testsuite/gcc.target/frv/all-builtin-read16.c: New.
2849         * testsuite/gcc.target/frv/all-builtin-read32.c: New.
2850         * testsuite/gcc.target/frv/all-builtin-read64.c: New.
2851         * testsuite/gcc.target/frv/all-builtin-write8.c: New.
2852         * testsuite/gcc.target/frv/all-builtin-write16.c: New.
2853         * testsuite/gcc.target/frv/all-builtin-write32.c: New.
2854         * testsuite/gcc.target/frv/all-builtin-write64.c: New.
2855         * config/frv/frv.c: Add bdesc_loads global.
2856         Add bdesc_stores global.
2857         (frv_init_builtins): Add support for __builtin_{read/write}*.
2858         (frv_volatile_memref): New.
2859         (frv_expand_load_builtin): New.
2860         (frv_expand_store_builtin): New.
2861         * config/frv/frv.h (frv_builtins): Add FRV_BUILTIN_SCAN,
2862         FRV_BUILTIN_READ8, FRV_BUILTIN_READ16, FRV_BUILTIN_READ32,
2863         FRV_BUILTIN_READ64, FRV_BUILTIN_WRITE8, FRV_BUILTIN_WRITE16,
2864         FRV_BUILTIN_WRITE32, FRV_BUILTIN_WRITE64.
2865         * config/frv/frv.md (unspecs): Add UNSPEC_BUILTIN_LOAD,
2866         UNSPEC_BUILTIN_STORE, UNSPEC_OPTIONAL_MEMBAR.
2867         (builtin_read_<mode>): New.
2868         (builtin_write_<mode>): New.
2869         (builtin_write64): New.
2870         (optional_membar_<mode>): New.
2871
2872 2005-07-26  J"orn Rennecke <joern.rennecke@st.com>
2873
2874         * emit-rtl.c (gen_lowpart_common): Compare size of MODE in bits
2875         (rather than units) against HOST_BITS_PER_WIDE_INT.
2876
2877 2005-07-26  Kazu Hirata  <kazu@codesourcery.com>
2878
2879         * ipa-pure-const.c, ipa-reference.c, ipa-reference.h,
2880         ipa-type-escape.c, ipa-type-escape.h, ipa-utils.c,
2881         ipa-utils.h, treestruct.def, config/crx/crx-protos.h,
2882         config/crx/crx.c, config/crx/crx.h, config/crx/crx.md: Update
2883         FSF address.
2884
2885         * calls.c, fold-const.c, ipa-reference.c, ipa-type-escape.c,
2886         tree-ssa-reassoc.c, tree-ssa-structalias.c, vec.h,
2887         config/crx/crx.c, config/m32c/m32c.c, config/m32c/m32c.h: Fix
2888         comment typos.
2889         * doc/c-tree.texi, doc/tree-ssa.texi: Fix typos.
2890
2891 2005-07-26  Richard Guenther  <rguenther@suse.de>
2892
2893         PR tree-optimization/22486
2894         * fold-const.c (fold_unary): Fold away useless component
2895         references of the form (T *)&T.x, if the address
2896         doesn't change.
2897
2898 2005-07-25  James E Wilson  <wilson@specifixinc.com>
2899
2900         * dwarf2out.c (add_call_src_coords_attributes): New.
2901         (gen_inlined_subroutine_die): Call it.
2902         (maybe_emit_file, init_file_table): Add comments.
2903         (prune_unused_types_walk_attribs): Pass DW_AT_call_file through
2904         maybe_emit_file.
2905         * tree-inline.c (remap_block): Copy BLOCK_SOURCE_LOCATION.
2906         (expand_call_inline): Set BLOCK_SOURCE_LOCATION.
2907         * tree.h (BLOCK_SOURCE_LOCATION): New.
2908         (struct tree_block): New field locus.
2909
2910 2005-07-26  Andreas Schwab  <schwab@suse.de>
2911
2912         PR rtl-optimization/23043
2913         * postreload-gcse.c (eliminate_partially_redundant_load): Fix typo
2914         when allocating a struct unoccr.
2915
2916 2005-07-25  Richard Henderson  <rth@redhat.com>
2917
2918         PR 22626
2919         * tree-complex.c (gate_no_optimization): True if errors.
2920         * Makefile.in (tree-complex.o): Update dependencies.
2921
2922 2005-07-25  Aldy Hernandez  <aldyh@redhat.com>
2923
2924         * config/frv/predicates.md (integer_register_operand): Use
2925         GPR_AP_OR_PSEUDO_P.
2926
2927 2005-07-25  Andrew Pinski  <pinskia@physics.uc.edu>
2928
2929         PR tree-opt/22484
2930         * tree-ssa-ccp.c (fold_stmt_inplace): Strip useless type conversions
2931         after fold.
2932         * tree-ssa-propagate.c (set_rhs): Reject invalid conditional operands.
2933
2934 2005-07-25  Andrew Pinski  <pinskia@physics.uc.edu>
2935
2936         * tree-ssa-reassoc.c (reassociate_expr): Allow scaler floating point
2937         types when flag_unsafe_math_optimizations is true.
2938
2939 2005-07-25  Mark Mitchell  <mark@codesourcery.com>
2940
2941         * gcc.c (option_map): Add --sysroot.
2942         (process_command): Handle --sysroot.
2943         (display_help): Document it.
2944         * doc/cppopts.tex (-isysroot): Document.
2945         * doc/invoke.texi (--sysroot): Document.
2946         * doc/install.texi (--with-build-sysroot): Document.
2947
2948         * Makefile.in (inhibit_libc): New variable.
2949         (INHIBIT_LIBC_CFLAGS): Likewise.
2950         (LIBGCC2_CFLAGS): Include
2951         $(INHIBIT_LIBC_CFLAGS).
2952         (CRTSTUFF_CFLAGS): Include $(INHIBIT_LIBC_CFLAGS).
2953         ($(T)crtbegin.o): Do not use @inhibit_libc@.
2954         ($(T)crtend.o): Likewise.
2955         ($(T)crtbeginS.o): Do not use @inhibit_libc@.
2956         ($(T)crtendS.o): Likewise.
2957         ($(T)crtbeginT.o): Do not use @inhibit_libc@.
2958         ($(T)crtendT.o): Likewise.
2959         (stmp-fixinc): Do not complain about missing headers if
2960         inhibit_libc.
2961         * configure.ac (inhibit_libc): Set it to true/false.
2962         (--with-build-sysroot): New option.  Use it to set
2963         SYSTEM_HEADER_DIR.
2964         * configure: Regenerated.
2965
2966 2005-07-25  Manfred Hollstein  <mh@suse.com>
2967
2968         * calls.c (store_one_arg): Fix unsigned comparison warning.
2969
2970 2005-07-25  Serge Belyshev  <belyshev@depni.sinp.msu.ru>
2971
2972         PR other/22337
2973         * ggc-zone.c (ggc_alloc_zone_stat): Do not use CHUNK_OVERHEAD.
2974         (ggc_print_statistics): Initialize variable before use.
2975
2976 2005-07-25  Richard Guenther  <rguenther@suse.de>
2977
2978         * tree-dfa.c (mark_new_vars_to_rename): Protect against
2979         calling with a PHI_NODE argument.
2980
2981         * tree-flow-inline.h (overlap_subvar): Protect against
2982         possible overflow.
2983
2984 2005-07-25  Paolo Bonzini  <bonzini@gnu.org>
2985
2986         * aclocal.m4 (gcc_AC_CHECK_TOOL): Add /bin to default directory.
2987         * configure: Regenerate.
2988
2989 2005-07-25  Ira Rosen  <irar@il.ibm.com>
2990
2991         * expr.c (highest_pow2_factor): Make extern.
2992         * tree-data-ref.c (ptr_decl_may_alias_p): New function.
2993         (ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
2994         record_array_differ_p, array_ptr_differ_p): Likewise.
2995         (base_object_differ_p): Rename (from array_base_name_differ_p). Support
2996         additional cases. Call the above functions.
2997         (base_addr_differ_p): Moved from tree-vect-analyze.c. Call
2998         base_object_differ_p when there are two base objects. Otherwise, compare
2999         base address and offset. Call may_alias_p.
3000         (dump_data_reference): Use a correct field name.
3001         (analyze_array): Make static. Initialize new data-ref fields.
3002         (analyze_indirect_ref): New function.
3003         (init_data_ref): Initialize new data-ref fields.
3004         (strip_conversion): Moved from tree-vect-analyze.c.
3005         (analyze_offset_expr, get_ptr_offset, address_analysis,
3006         object_analysis): Likewise.
3007         (analyze_offset): New function.
3008         (create_data_ref): Likewise.
3009         (initialize_data_dependence_relation): Call base_addr_differ_p. Compare
3010         dimensions for ARRAY_REFs only.
3011         (build_classic_dist_vector): Make static.
3012         (access_functions_are_affine_or_constant_p): Call macro to get the
3013         address of access functions.
3014         (compute_all_dependences): Add new parameter
3015         compute_self_and_read_read_dependences. Compute self and read-read
3016         dependences if it is true.
3017         (find_data_references_in_loop): Call create_data_ref. Initialize new
3018         data-ref fields.
3019         (compute_data_dependences_for_loop): Add new parameter
3020         compute_self_and_read_read_dependences. Remove parameter nb_loops,
3021         compute nb_loops. Call compute_all_dependences,
3022         build_classic_dist_vector and build_classic_dir_vector with correct
3023         parameters.
3024         (analyze_all_data_dependences): Call compute_data_dependences_for_loop
3025         with correct parameters. Compare dimensions for ARRAY_REFs only.
3026         (free_data_refs): Call macro to free access functions.
3027         * tree-data-ref.h (struct first_location_in_loop): New structure. Move
3028         fields from stmt_vinfo.
3029         (struct base_object_info): New structure.
3030         (struct data_reference): Move fields to base_object_info. Add fields
3031         first_location and object_info for above structures. Move fields from
3032         stmt_info: memtag, ptr_info, subvars, misalignment. Add new field
3033         aligned_to.  Add macros to access the new fields.
3034         Update functions declarations.
3035         * tree-flow.h (is_aliased_with): Declare.
3036         * tree-loop-linear.c (linear_transform_loops): Call
3037         compute_data_dependences_for_loop with correct parameters.
3038         * tree-ssa-alias.c (is_aliased_with): New function.
3039         * tree-vect-analyze.c (vect_get_ptr_offset): Remove.
3040         (vect_analyze_offset_expr, vect_base_addr_differ_p): Likewise.
3041         (vect_analyze_data_ref_dependence): Get ddr. Remove call to
3042         vect_base_addr_differ_p, compute_subscript_distance and
3043         build_classic_dist_vector. Add printings. Check absolute value of
3044         distance.
3045         (vect_analyze_data_ref_dependences): Go through ddrs instead of
3046         data-refs.
3047         (vect_compute_data_ref_alignment): Get the fields of data-ref instead of
3048         stmt. Check aligned_to. Check if the base is aligned. Remove conversion
3049         to bytes. Add printing.
3050         (vect_compute_data_refs_alignment): Go through loads and stores in one
3051         loop.
3052         (vect_enhance_data_refs_alignment, vect_analyze_data_refs_alignment,
3053         vect_analyze_data_ref_access): Likewise.
3054         (vect_analyze_pointer_ref_access): Remove.
3055         (vect_address_analysis, vect_object_analysis): Likewise.
3056         (vect_analyze_data_refs): Call compute_data_dependences_for_loop to find
3057         and analyze data-refs in the loop.
3058         * tree-vect-transform.c (vect_create_addr_base_for_vector_ref): Get the
3059         fields of data-ref instead of stmt. Add init to the offset from the
3060         base.
3061         (vect_create_data_ref_ptr): Get the fields of data-ref instead of stmt.
3062         (vect_update_init_of_dr): Likewise.
3063         (vect_update_inits_of_drs): Go through loads and stores in one loop.
3064         * tree-vectorizer.c (new_stmt_vec_info): Remove initialization of
3065         removed fields.
3066         (new_loop_vec_info): Initialize new fields.
3067         (destroy_loop_vec_info): Free new fields.
3068         (vect_strip_conversion): Remove.
3069         * tree-vectorizer.h (enum verbosity_levels): Add new verbosity level.
3070         (struct _loop_vec_info): Unify data_ref_writes and data_ref_reads into
3071         datarefs. Add new field ddrs.
3072         Add macros for the new fields access.
3073         (struct _stmt_vec_info): Remove: base_address, initial_offset, step,
3074         base_aligned_p, misalignment, memtag, ptr_info and subvars.
3075         Remove their macros.
3076         * tree.h (highest_pow2_factor): Declare.
3077
3078 2005-07-25  Jakub Jelinek  <jakub@redhat.com>
3079
3080         * calls.c (store_one_arg): Check for sibling call MEM arguments
3081         from already clobbered incoming argument area.
3082
3083 2005-07-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3084
3085         * c-common.c (check_missing_format_attribute): New.
3086         * c-common.h (check_missing_format_attribute): Likewise.
3087         * c-typeck.c (convert_for_assignment): Use it.
3088
3089 2005-07-24  Andreas Schwab  <schwab@suse.de>
3090
3091         * config/m68k/m68k.md ("extendqidi2"): When source is an address
3092         register use a word move.  Correct operand of ext.w in 68000 code.
3093
3094 2005-07-23  Mark Mitchell  <mark@codesourcery.com>
3095
3096         * dwarf2out.c (gen_variable_die): Treat un-emitted COMDAT
3097         variables as declarations, rather than definitions.
3098
3099 2005-07-24  Ira Rosen  <irar@il.ibm.com>
3100
3101         PR tree-optimization/22526
3102         * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Match the type
3103         of the zero node.
3104
3105 2005-07-24  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
3106
3107         * builtins.def: Add DEF_EXT_C99RES_BUILTIN to define builtins
3108         that C99 reserve for future use. Use it to define clog10,
3109         clog10f and clog10l.
3110
3111 2005-07-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3112
3113         * Makefile.in (STRICT2_WARN): Add -Wmissing-format-attribute.
3114         * configure.ac: Check for -Wmissing-format-attribute.
3115
3116         * configure: Regenerate.
3117
3118 2005-07-23  Richard Henderson  <rth@redhat.com>
3119
3120         PR tree-optimization/22623
3121         * tree-complex.c (set_component_ssa_name): Use replace_ssa_name_symbol.
3122
3123 2005-07-23  Giovanni Bajo  <giovannibajo@libero.it>
3124
3125         PR target/22577
3126         * config/pa/pa.c (reloc_needed): Updated for VECs inside CONSTRUCTOR.
3127
3128 2005-07-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3129
3130         * Makefile.in (C_TREE_H): Update dependencies.
3131         * c-tree.h: Include toplev.h.
3132         * diagnostic.h (diagnostic_set_info): Add format attribute.
3133         * rtl-error.c (diagnostic_for_asm): Likewise.
3134
3135 2005-07-23  Chao-ying Fu  <fu@mips.com>
3136
3137         * config/mips/mips-dsp.md: New file.
3138         * config/mips/mips-modes.def (V4QI, V2HI, CCDSP): New modes.
3139         * config/mips/mips.c (mips_function_type): Add types for DSP builtin
3140         functions.
3141         (mips_builtin_type): Add MIPS_BUILTIN_DIRECT_NO_TARGET and
3142         MIPS_BUILTIN_BPOSGE32.
3143         (mips_expand_builtin_direct): Add one parameter to indicate that
3144         builtin functions need to return a value.
3145         (mips_expand_builtin_bposge): New for expanding "bposge" builtin
3146         functions.
3147         (mips_regno_to_class): Add classes for 12 new DSP registers.
3148         (mips_subword): Change to check four HI registers.
3149         (mips_output_move): Output move to and from 6 new DSP accumulators.
3150         (override_options): Make sure -mdsp and -mips16 are not used together.
3151         Map 'A' to DSP_ACC_REGS and 'a' to ACC_REGS.  Enable DSP accumulators
3152         for machine modes.
3153         (mips_conditional_register_usage): Disable 6 new DSP accumulators
3154         when !TARGET_DSP.
3155         (print_operand): Add 'q' for printing DSP accumulators.
3156         (mips_cannot_change_mode_class): Check ACC_REGS.
3157         (mips_secondary_reload_class): Check ACC_REGS.
3158         (mips_vector_mode_supported_p): Enable V2HI and V4QI when TARGET_DSP.
3159         (mips_register_move_cost): Check ACC_REGS.
3160         (CODE_FOR_mips_addq_ph, CODE_FOR_mips_addu_qb, CODE_FOR_mips_subq_ph)
3161         (CODE_FOR_mips_subu_qb): New code-aliasing macros.
3162         (DIRECT_NO_TARGET_BUILTIN, BPOSGE_BUILTIN): New macros.
3163         (dsp_bdesc): New array.
3164         (bdesc_arrays): Add DSP builtin function table.
3165         (mips_prepare_builtin_arg): Check predicate again after
3166         copy_to_mode_reg.
3167         (mips_expand_builtin): Add one more parameter to
3168         mips_expand_builtin_direct. Expand MIPS_BUILTIN_DIRECT_NO_TARGET and
3169         MIPS_BUILTIN_BPOSGE32.
3170         (mips_init_builtins): Initialize new function types.
3171         (mips_expand_builtin_direct): Check if builtin functions need to
3172         return a value and pass operands properly.
3173         (mips_expand_builtin_bposge): New function.
3174         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Add __mips_dsp.
3175         (ASM_SPEC): Map -mdsp to -mdsp in GAS.
3176         (FIRST_PSEUDO_REGISTER): Increase to 188.
3177         (FIXED_REGISTERS, CALL_USED_REGISTERS, CALL_REALLY_USED_REGISTERS):
3178         Update for 12 new DSP registers.
3179         (DSP_ACC_REG_FIRST, DSP_ACC_REG_LAST, DSP_ACC_REG_NUM, AC1HI_REGNUM)
3180         (AC1LO_REGNUM, AC2HI_REGNUM, AC2LO_REGNUM, AC3HI_REGNUM, AC3LO_REGNUM):
3181         (DSP_ACC_REG_P, ACC_REG_P, ACC_HI_REG_P): New macros.
3182         (reg_class): Add DSP_ACC_REGS and ACC_REGS.
3183         (REG_CLASS_NAMES): Add names for DSP_ACC_REGS and ACC_REGS.
3184         (REG_CLASS_CONTENTS): Update for DSP_ACC_REGS, ACC_REGS and ALL_REGS.
3185         (REG_ALLOC_ORDER): Update for 12 new DSP registers.
3186         (mips_char_to_class): Add 'A' for DSP_ACC_REGS and 'a' for ACC_REGS.
3187         (UIMM6_OPERAND, IMM10_OPERAND): New macros.
3188         (EXTRA_CONSTRAINT_Y): Add YA and YB extra constraints.
3189         (REGISTER_NAMES): Add names for 12 new DSP registers.
3190         * config/mips/mips.md: Include mips-dsp.md.
3191         (UNSPEC_ADDQ, UNSPEC_ADDQ_S, UNSPEC_SUBQ, UNSPEC_SUBQ_S, UNSPEC_ADDSC)
3192         (UNSPEC_ADDWC, UNSPEC_MODSUB, UNSPEC_RADDU_W_QB, UNSPEC_ABSQ_S)
3193         (UNSPEC_PRECRQ_QB_PH, UNSPEC_PRECRQ_PH_W, UNSPEC_PRECRQ_RS_PH_W)
3194         (UNSPEC_PRECRQU_S_QB_PH, UNSPEC_PRECEQ_W_PHL, UNSPEC_PRECEQ_W_PHR)
3195         (UNSPEC_PRECEQU_PH_QBL, UNSPEC_PRECEQU_PH_QBR, UNSPEC_PRECEQU_PH_QBLA)
3196         (UNSPEC_PRECEQU_PH_QBRA, UNSPEC_PRECEU_PH_QBL, UNSPEC_PRECEU_PH_QBR)
3197         (UNSPEC_PRECEU_PH_QBLA, UNSPEC_PRECEU_PH_QBRA, UNSPEC_SHLL)
3198         (UNSPEC_SHLL_S, UNSPEC_SHRL_QB, UNSPEC_SHRA_PH, UNSPEC_SHRA_R)
3199         (UNSPEC_MULEU_S_PH_QBL, UNSPEC_MULEU_S_PH_QBR, UNSPEC_MULQ_RS_PH)
3200         (UNSPEC_MULEQ_S_W_PHL, UNSPEC_MULEQ_S_W_PHR, UNSPEC_DPAU_H_QBL)
3201         (UNSPEC_DPAU_H_QBR, UNSPEC_DPSU_H_QBL, UNSPEC_DPSU_H_QBR)
3202         (UNSPEC_DPAQ_S_W_PH, UNSPEC_DPSQ_S_W_PH, UNSPEC_MULSAQ_S_W_PH)
3203         (UNSPEC_DPAQ_SA_L_W, UNSPEC_DPSQ_SA_L_W, UNSPEC_MAQ_S_W_PHL)
3204         (UNSPEC_MAQ_S_W_PHR, UNSPEC_MAQ_SA_W_PHL, UNSPEC_MAQ_SA_W_PHR)
3205         (UNSPEC_BITREV, UNSPEC_INSV, UNSPEC_REPL_QB, UNSPEC_REPL_PH)
3206         (UNSPEC_CMP_EQ, UNSPEC_CMP_LT, UNSPEC_CMP_LE, UNSPEC_CMPGU_EQ_QB)
3207         (UNSPEC_CMPGU_LT_QB, UNSPEC_CMPGU_LE_QB, UNSPEC_PICK, UNSPEC_PACKRL_PH)
3208         (UNSPEC_EXTR_W, UNSPEC_EXTR_R_W, UNSPEC_EXTR_RS_W, UNSPEC_EXTR_S_H)
3209         (UNSPEC_EXTP, UNSPEC_EXTPDP, UNSPEC_SHILO, UNSPEC_MTHLIP, UNSPEC_WRDSP)
3210         (UNSPEC_RDDSP): New constants.
3211         (*movdi_32bit): Change 'x' to 'a' for ACC_REGS.
3212         (*movsi_internal): Change 'x' to 'a' for ACC_REGS.  Add an
3213         A<-d alternative.
3214         * config/mips/mips.opt (-mdsp): New option.
3215         * config/mips/predicates.md (const_uimm6_operand, const_imm10_operand)
3216         (reg_imm10_operand): New predicates.
3217         * doc/extend.texi (MIPS DSP Built-in Functions): New section.
3218         * doc/invoke.texi (-mdsp): Document new option.
3219
3220 2005-07-22  DJ Delorie  <dj@redhat.com>
3221
3222         * c-objc-common.c (c_cannot_inline_tree_fn): Add warning control
3223         to warning calls.
3224         * tree-inline.c (inlinable_function_p): Likewise.
3225
3226 2005-07-22  Mark Mitchell  <mark@codesourcery.com>
3227
3228         PR debug/21828
3229         * toplev.c (check_global_declarations): Do not mark undefined
3230         variables as DECL_IGNORED_P.
3231         * varasm.c (first_global_object_name): GTY it.
3232         (weak_global_object_name): Likewise.
3233         (notice_global_symbol): Use ggc_strdup, not xstrdup, when creating
3234         a string to go into {weak,first}_global_object_name.
3235
3236 2005-07-22  DJ Delorie  <dj@redhat.com>
3237
3238         * c-format.c (check_function_format): Change warning control
3239         option from OPT_Wattribute to OPT_Wmissing_format_attribute.
3240
3241 2005-07-22  Diego Novillo  <dnovillo@redhat.com>
3242
3243         * tree-ssa-alias.c (count_ptr_derefs): Do not consider
3244         &PTR->FLD a dereference of PTR.
3245         * tree-ssa-structalias.c (update_alias_info): Consider &PTR->FLD
3246         a potential dereference of PTR.
3247
3248 2005-07-22  J"orn Rennecke <joern.rennecke@st.com>
3249
3250         PR rtl-optimization/20370
3251         * ifcvt.c (dead_or_predicable): Before calling propagate_block,
3252         call allocate_reg_info if necessary.
3253
3254         PR rtl-optimization/21848
3255         * calls.c (emit_library_call_value_1): For const functions, add
3256         USEs of the stack slots to CALL_INSN_FUNCTION_USAGE.
3257
3258         PR rtl-optimization/22445
3259         * cselib.c (target.h): Include.
3260         (rtx_equal_for_cselib_p): Allow commutative matches.
3261         (cselib_hash_rtx): Don't use MODE for CONST_INT hashing.
3262         Remove MODE parameter.  Changed all callers.
3263
3264         PR rtl-optimization/22258
3265         * combine.c (likely_spilled_retval_1, likely_spilled_retval_p):
3266         New functions.
3267         (try_combine): Use likely_spilled_retval_p.
3268
3269 2005-07-22  Paul Woegerer  <paul.woegerer@nsc.com>
3270
3271         * config.gcc: Add crx-elf support.
3272
3273         * doc/contrib.texi: Mention crx.
3274         * doc/extend.texi: Document crx extensions.
3275         * doc/install.texi: Document crx install.
3276         * doc/invoke.texi: Document crx options.
3277         * doc/md.texi: Document crx constraints.
3278
3279         * config/crx/crx-protos.h: New file.
3280         * config/crx/crx.c: New file.
3281         * config/crx/crx.h: New file.
3282         * config/crx/crx.md: New file.
3283         * config/crx/crx.opt: New file.
3284         * config/crx/t-crx: New file.
3285
3286 2005-07-22  Manfred Hollstein  <mh@suse.com>
3287
3288         * tree-ssa-structalias.c (merge_graph_nodes): Fix uninitialised
3289         warnings.
3290         (int_add_graph_edge): Likewise.
3291         (collapse_nodes): Likewise.
3292         (process_unification_queue): Likewise.
3293
3294 2005-07-22  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
3295             Laurent GUERBY  <laurent@guerby.net>
3296
3297         PR tree-optimization/22336
3298         * function.c (record_block_change): Check for
3299         cfun->ib_boundaries_block.
3300
3301 2005-07-21  James A. Morrison  <phython@gcc.gnu.org>
3302
3303         * fold-const.c (fold_unary): Don't strip signed nops from ABS_EXPRs.
3304         (tree_expr_nonnegative_p): Return try for TYPE_UNSIGNED.
3305
3306 2005-07-21  DJ Delorie  <dj@redhat.com>
3307
3308         * toplev.c (warn_deprecated_use): Add warning control to warning
3309         call.
3310         * c-typeck.c (parser_build_binary_op): Likewise.
3311         (c_finish_if_stmt): Likewise.
3312         * c-common.c (check_function_sentinel): Likewise.
3313         (check_nonnull_arg): Likewise.
3314
3315 2005-07-21  Richard Henderson  <rth@redhat.com>
3316
3317         PR tree-opt/22504
3318         * tree-complex.c (complex_ssa_name_components): New.
3319         (cvc_lookup): Allow entry not found.
3320         (create_components): Remove.
3321         (create_one_component_var, get_component_var): New.
3322         (get_component_ssa_name, set_component_ssa_name): New.
3323         (extract_component): Use get_component_ssa_name.
3324         (update_complex_components): Use set_component_ssa_name.
3325         (update_complex_components_on_edge): Likewise.
3326         (update_phi_components): Create new PHI nodes directly, instead
3327         of adding insns to edges.
3328         (tree_lower_complex): Allocate and free complex_variable_components
3329         and complex_ssa_name_components here.
3330
3331 2005-07-20  Daniel Berlin  <dberlin@dberlin.org>
3332
3333         * alias.c (nonoverlapping_component_refs_p): Use TYPE_MAIN_VARIANT,
3334         revert to returning false.
3335
3336 2005-07-21  Uros Bizjak  <uros@kss-loka.si>
3337
3338         PR target/21149
3339         * config/i386/i386.md (sse_movhlps): Fix vec_select values.
3340
3341 2005-07-21  Uros Bizjak  <uros@kss-loka.si>
3342
3343         PR target/22576
3344         * config/i386/i386.md (cmpxf): Change operand constraints
3345         to "nonmemory_operand".
3346
3347 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
3348
3349         * config/i386/i386.md (trap): Use "".word/t0x0b0f" instead of ud2.
3350
3351 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
3352
3353         PR middle-end/21180
3354         * fold-const.c (fold_build1): Add checksum for the operands.
3355         (fold_build2): Likewise.
3356         (fold_build3): Likewise.
3357
3358 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
3359
3360         PR middle-end/19055
3361         * fold-const.c (fold_binary): Transform "(X | Y) ^ X" to "Y & ~ X".
3362
3363 2005-07-21  Paolo Bonzini  <bonzini@gnu.org>
3364
3365         * common.opt (-fforward-propagate): Committed by mistake,
3366         removed.
3367
3368 2005-07-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3369
3370         * reg-stack.c: Fix comment typo(s).
3371         * tree-ssa-operands.c: Likewise.
3372         * tree-vectorizer: Likewise.
3373
3374 2005-07-21  Nick Clifton  <nickc@redhat.com>
3375
3376         * config/sh/symbian.c: Replace C++ style line comments with C
3377         style line comments.
3378         (symbian_add_attribute): Do not use a ? operator on the LHS of
3379         an assignment.
3380         (sh_symbian_handle_dll_attribute): Change the type of the
3381         method vector to "VEC(tree,gc)*" and use vector accessor
3382         macros to walk over the elements.
3383         (symbian_export_vtable_and_rtti_p): Likewise.
3384         (symbian_class_needs_attribute_p): Likewise.
3385
3386 2005-07-21  Paolo Bonzini  <bonzini@gnu.org>
3387
3388         PR target/22085
3389         * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Do not
3390         initialize targetm.resolve_overloaded_builtin here.
3391         (altivec_expand_overloaded_builtin): Make it non-static.
3392         * config/rs6000/rs6000-protos.h
3393         (altivec_expand_overloaded_builtin): New prototype.
3394         * config/rs6000/rs6000.h (REGISTER_TARGET_PRAGMAS): Initialize
3395         targetm.resolve_overloaded_builtin here.
3396         * config/rs6000/darwin.h (REGISTER_TARGET_PRAGMAS): Likewise.
3397
3398 2005-07-21  Paolo Bonzini  <bonzini@gnu.org>
3399             Zdenek Dvorak  <dvorakz@suse.cz>
3400
3401         PR tree-optimization/19210
3402         * common.opt (Wunsafe-loop-optimizations, funsafe-loop-optimizations):
3403         New.
3404         * Makefile.in (tree-ssa-loop-niter.o): Depend intl.o.
3405         * loop-iv.c (get_simple_loop_desc): If -funsafe-loop-optimizations,
3406         rely on unproven assumptions.
3407         * predict.c (predict_loops): Adjust call to number_of_iterations_exit.
3408         * tree-flow.h (number_of_iterations_exit): Add final parameter.
3409         * tree-scalar-evolution.c (number_of_iterations_in_loop): Adjust call
3410         to number_of_iterations_exit.
3411         * tree-ssa-loop-ivcanon.c (empty_loop_p): Likewise.
3412         * tree-ssa-loop-ivopts.c (niter_for_exit): Likewise.
3413         * tree-ssa-loop-niter.c (find_loop_niter,
3414         estimate_numbers_of_iterations_loop): Likewise.
3415         (number_of_iterations_exit): Honor the new options.
3416         * doc/invoke.texi (Wunsafe-loop-optimizations,
3417         funsafe-loop-optimizations): Document them.
3418
3419 2005-07-21  Richard Sandiford  <richard@codesourcery.com>
3420
3421         PR rtl-optimization/22167
3422         * gcse.c (hoist_code): Fix hoist_exprs[] check.
3423
3424 2005-07-20  Adam Nemet  <anemet@lnxw.com>
3425
3426         * config/rs6000/lynx.h: Mark __do_global_ctors_aux and
3427         __do_global_dtors_aux longcall.
3428
3429 2005-07-20  Kazu Hirata  <kazu@cs.umass.edu>
3430
3431         * gensupport.c (old_preds): Don't reference PREDICATE_CODES.
3432         (old_special_pred_table): Don't reference
3433         SPECIAL_MODE_PREDICATES.
3434         * system.h (PREDICATE_CODES, SPECIAL_MODE_PREDICATES): Poison.
3435         * config/arc/arc.h: Don't mention PREDICATE_CODES.
3436         * config/sh/predicates.h: Don't mention
3437         SPECIAL_MODE_PREDICATES.
3438         * doc/tm.texi (PREDICATE_CODES, SPECIAL_MODE_PREDICATES):
3439         Remove.
3440
3441 2005-07-20  DJ Delorie  <dj@redhat.com>
3442
3443         * config.gcc: Add m32c-elf support.
3444
3445         * doc/contrib.texi: Mention m32c.
3446         * doc/extend.texi: Document m32c extensions.
3447         * doc/install.texi: Mention m32c.
3448         * doc/invoke.texi: Document m32c options.
3449         * doc/md.texi: Document m32c constraints.
3450
3451         * config/m32c/addsub.md: New file.
3452         * config/m32c/bitops.md: New file.
3453         * config/m32c/cond.md: New file.
3454         * config/m32c/jump.md: New file.
3455         * config/m32c/m32c-lib1.S: New file.
3456         * config/m32c/m32c-lib2.c: New file.
3457         * config/m32c/m32c-modes.def: New file.
3458         * config/m32c/m32c-pragma.c: New file.
3459         * config/m32c/m32c-protos.h: New file.
3460         * config/m32c/m32c.abi: New file.
3461         * config/m32c/m32c.c: New file.
3462         * config/m32c/m32c.h: New file.
3463         * config/m32c/m32c.md: New file.
3464         * config/m32c/m32c.opt: New file.
3465         * config/m32c/minmax.md: New file.
3466         * config/m32c/mov.md: New file.
3467         * config/m32c/muldiv.md: New file.
3468         * config/m32c/predicates.md: New file.
3469         * config/m32c/prologue.md: New file.
3470         * config/m32c/shift.md: New file.
3471         * config/m32c/t-m32c: New file.
3472
3473 2005-07-20  Kaz Kojima  <kkojima@gcc.gnu.org>
3474
3475         * config/sh/sh.md (UNSPEC_SP_SET, UNSPEC_SP_TEST): New constants.
3476         (stack_protect_set, stack_protect_test): New expanders.
3477         (stack_protect_set_si, stack_protect_set_si_media,
3478         stack_protect_set_di_media, stack_protect_test_si,
3479         stack_protect_test_si_media, stack_protect_test_di_media):
3480         New insns.
3481
3482 2005-07-20  Andrew Pinski  <pinskia@physics.uc.edu>
3483
3484         * c-typeck.c (output_init_element): Don't copy the INTEGER_CST.
3485
3486 2005-07-20  James A. Morrison  <phython@gcc.gnu.org>
3487
3488         * tree.h (tree_expr_nonzero_p): Export.
3489         * fold-const.c (tree_expr_nonzero_p): Likewise.
3490         Return true for CALL_EXPRs that are alloca calls.
3491         (fold_binary): Use omit_one_operand when checking EQ_EXPRs or NE_EXPRs
3492         against zero.
3493         * tree-flow.h (expr_computes_nonzero): Remove.
3494         * tree-vrp.c (expr_computes_nonzero): Remove.
3495         (vrp_expr_computes_nonzero): Use tree_expr_nonzero_p.
3496         (extract_range_from_unary_expr): Likewise.
3497         * tree-ssa-dom.c (record_equivalences_from_stmt): Use
3498         tree_expr_nonzero_p.
3499
3500 2005-07-20  Bernd Schmidt  <bernd.schmidt@analog.com>
3501
3502         * config/bfin/bfin-protos.h (legitimize_pic_address): Don't declare.
3503         * config/bfin/bfin.c (legitimize_pic_address): Now static.  Take
3504         extra arg "picreg" and use it instead of pic_offset_table_rtx.
3505         All callers changed.
3506         (frame_related_constant_load): New arg "related" which controls
3507         setting of RTX_FRAME_RELATED_P.  All callers changed.
3508         (bfin_load_pic_reg): New function, broken out of bfin_expand_prologue.
3509         (bfin_expand_prologue): Add stack limit checking.
3510         * config/bfin/bfin.md (trapifcc): New pattern.
3511
3512         * config/bfin/bfin.c: Include "langhooks.h".
3513         (def_builtin): Go through lang_hooks to call builtin_function.
3514
3515         * config/bfin/bfin-protos.h (bfin_longcall_p): Declare.
3516         * config/bfin/predicates.md (symbol_ref_operand): New.
3517         (call_insn_operand): Delete.  All callers changed to use
3518         register_no_elim_operand.
3519         * config/bfin/bfin.c (init_cumulative_args): Initialize the new
3520         call_cookie field.
3521         (function_arg): Use it to generate the call's operand 2.
3522         (bfin_longcall_p): New function.
3523         (bfin_expand_call): Extra arg "cookie".  All callers and declaration
3524         changed.  Emit extra USE in the pattern.  Use bfin_longcall_p to
3525         determine if the address needs to be in a REG.
3526         (bfin_handle_longcall_attribute): New function.
3527         (bfin_attribute_table): Add "longcall" and "shortcall".
3528         * config/bfin/bfin.h (CALL_NORMAL, CALL_LONG, CALL_SHORT): New macros.
3529         (CUMULATIVE_ARGS): New member call_cookie.
3530         (PREDICATE_CODES): Add symbol_ref_operand.
3531         * config/bfin/bfin.md (call, call_value, sibcall, sibcall_value): Add
3532         extra USE to the pattern.
3533         (call_symbol, sibcall_symbol, call_value_symbol, sibcall_value_symbol):
3534         New patterns, split off call_insn, sibcall_insn, call_value_insn and
3535         sibcall_value_insn; now the new patterns handle direct calls and the
3536         old ones indirect calls.
3537         * doc/extend.texi: Mention Blackfin in longcall/shortcall docs.
3538
3539 2005-07-20  Zdenek Dvorak  <dvorakz@suse.cz>
3540
3541         * doc/trouble.texi: Update section on handling of empty loops.
3542
3543 2005-07-20  Kazu Hirata  <kazu@codesourcery.com>
3544
3545         * config.gcc: Remove support for sparc-*-openbsd*,
3546         i860-*-sysv4*, ip2k-*-elf, ns32k-*-netbsdelf*,
3547         ns32k-*-netbsd*.
3548         * config.host: Remove support for i860-*-sysv4* as a host.
3549         * config/i860/*, config/ip2k/*, config/ns32k/*,
3550         config/sparc/openbsd.h, config/sparc/t-openbsd: Remove.
3551         * doc/install.texi, doc/invoke.texi, doc/md.texi: Don't
3552         mention obsolete ports.
3553
3554 2005-07-20  Kaz Kojima  <kkojima@gcc.gnu.org>
3555
3556         * config/sh/sh.c (regno_reg_class): Add GENERAL_REGS for
3557         soft frame pointer.
3558         (sh_expand_prologue): Use hard_frame_pointer_rtx instead
3559         of frame_pointer_rtx.
3560         (sh_expand_epilogue): Likewise.
3561         (sh_set_return_address): Likewise.
3562         (initial_elimination_offset): Use HARD_FRAME_POINTER_REGNUM
3563         instead of FRAME_POINTER_REGNUM if needed.  Add elimination
3564         offsets from FRAME_POINTER_REGNUM.
3565         * config/sh/sh.h (SH_REGISTER_NAMES_INITIALIZER): Add sfp.
3566         (sh_register_names): Add initializer for sfp.
3567         (GENERAL_OR_AP_REGISTER_P): Permit FRAME_POINTER_REGNUM.
3568         (VALID_REGISTER_P): Likewise.
3569         (FIRST_PSEUDO_REGISTER): Update.
3570         (DWARF_FRAME_REGISTERS): Define.
3571         (FIXED_REGISTERS, CALL_USED_REGISTERS): Add sfp.
3572         (HARD_FRAME_POINTER_REGNUM): Define.
3573         (FRAME_POINTER_REGNUM): Redefine.
3574         (ELIMINABLE_REGS): Never eliminate to FRAME_POINTER_REGNUM,
3575         but HARD_FRAME_POINTER_REGNUM instead.  Add eliminations
3576         from FRAME_POINTER_REGNUM.
3577         (CAN_ELIMINATE): Use HARD_FRAME_POINTER_REGNUM instead of
3578         FRAME_POINTER_REGNUM.
3579         (REG_CLASS_CONTENTS): Add sfp.
3580         (REG_ALLOC_ORDER): Likewise.
3581         (FRAME_GROWS_DOWNWARD): Set to 1.  Update comment.
3582         (GO_IF_LEGITIMATE_ADDRESS): Use hard_frame_pointer_rtx instead
3583         of frame_pointer_rtx.
3584         (LEGITIMIZE_RELOAD_ADDRESS): Likewise.
3585
3586 2005-07-19  James A. Morrison  <phython@gcc.gnu.org>
3587
3588         * fold-const.c (tree_expr_nonnegative_p): Only return true for
3589         ABS_EXPR when flag_wrapv is false because of INT_MIN.
3590         (tree_expr_nonzero_p): Always call tree_expr_nonzero_p on the argument
3591         of an ABS_EXPR.
3592         (fold_unary): Always fold ABS_EXPR<ABS_EXPR<x>> into
3593         ABS_EXPR<x>.
3594
3595 2005-07-20  Giovanni Bajo  <giovannibajo@libero.it>
3596
3597         Make CONSTRUCTOR use VEC to store initializers.
3598         * c-common.c (complete_array_type): Update to cope with VEC in
3599         CONSTRUCTOR_ELTS.
3600         * c-pretty-print.c (pp_c_initializer_list): Use pp_c_constructor_elts.
3601         (pp_c_constructor_elts): New function.
3602         * c-pretty-print.h (pp_c_constructor_elts): Declare.
3603         * c-typeck.c (build_function_call, build_c_cast, digest_init,
3604         struct constructor_stack, struct initializer_stack,
3605         constructor_elements, push_init_level, pop_init_level,
3606         add_pending_init, find_init_member, output_init_element): Update to
3607         cope with VEC in CONSTRUCTOR_ELTS.
3608         * coverage.c (build_fn_info_value, build_ctr_info_value,
3609         build_gcov_info): Likewise.
3610         * expr.c (categorize_ctor_elements_1, store_constructor,
3611         expand_expr_real_1): Likewise.
3612         * fold-const.c (fold_ternary): Likewise.
3613         * gimplify.c (gimplify_init_ctor_preeval, zero_sized_field_decl,
3614         gimplify_init_constructor, gimplify_expr): Likewise.
3615         * tree-dump.c (dequeue_and_dump): Likewise.
3616         * tree-inline.c (copy_tree_r): Add code to duplicate a CONSTRUCTOR
3617         node.
3618         * tree-pretty-print.c (dump_generic_node): Update to cope with VEC in
3619         CONSTRUCTOR_ELTS.
3620         * tree-sra.c (generate_element_init_1): Likewise.
3621         * tree-ssa-ccp.c (fold_const_aggregate_ref): Likewise.
3622         * tree-ssa-operands.c (get_expr_operands): Likewise.
3623         * tree-vect-generic.c (expand_vector_piecewise): Likewise.
3624         * tree-vect-transform.c (vect_get_vec_def_for_operand):
3625         (get_initial_def_for_reduction): Likewise.
3626         * tree-vn.c (set_value_handle, get_value_handle): CONSTURCTOR uses
3627         value handle in annotations.
3628         * tree.c (tree_node_kind, tree_code_size, make_node_stat,
3629         tree_node_structure): Add support for constr_kind.
3630         (build_vector_from_ctor, build_constructor_single,
3631         build_constructor_from_list): New functions.
3632         (build_constructor): Update to take a VEC instead of a TREE_LIST.
3633         (simple_cst_equal, iterative_hash_expr, initializer_zerop, walk_tree):
3634         Update to cope with VEC in CONSTRUCTOR_ELTS.
3635         * tree.def (CONSTRUCTOR): Make it a tcc_exceptional node.
3636         * tree.h (FOR_EACH_CONSTRUCTOR_VALUE, FOR_EACH_CONSTRUCTOR_ELT,
3637         CONSTRUCTOR_APPEND_ELT): New macros.
3638         (struct constructor_elt, struct tree_constructor): New data types.
3639         (union tree_node): Add tree_constructor field.
3640         * treestruct.def: Define TS_CONSTRUCTOR.
3641         * varasm.c (const_hash_1, compare_constant, copy_constant,
3642         compute_reloc_for_constant, output_addressed_constants,
3643         initializer_constant_valid_p, output_constant,
3644         array_size_for_constructor, output_constructor): Update to cope with
3645         VEC in CONSTRUCTOR_ELTS.
3646         * vec.h (VEC_empty, VEC_copy): New macros.
3647
3648 2005-07-19  Devang Patel  <dpatel@apple.com>
3649
3650         * dbxout.c (dbxout_type): Check Objective-C++ lang.
3651
3652 2005-07-19  Richard Henderson  <rth@redhat.com>
3653
3654         PR tree-opt/22278
3655         * gimplify.c (gimplify_expr): Use main variant type for the temp
3656         destination for a discarded volatile read.
3657         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't elide
3658         casts between non-void types that change volatility.
3659
3660 2005-07-15  DJ Delorie  <dj@redhat.com>
3661
3662         * toplev.h: Add comment about the first parameter for warning().
3663         * errors.h: Likewise.
3664
3665         * c.opt (Wpragmas): New.
3666         * doc/invoke.texi: Document it.
3667
3668         * function.c (do_warn_unused_parameter): Add warning control to
3669         warning call.
3670         * c-decl.c (warn_if_shadowing): Likewise.
3671         * c-lex.c (cb_def_pragma): Likewise.
3672         * c-pragma.c (GCC_BAD, GCC_BAD2): Likewise.
3673         (pop_alignment): Likewise.
3674         (handle_pragma_pack): Likewise.
3675         (apply_pragma_weak): Likewise.
3676         (handle_pragma_weak): Likewise.
3677         (handle_pragma_redefine_extname): Likewise.
3678         (add_to_renaming_pragma_list): Likewise.
3679         (handle_pragma_extern_prefix): Likewise.
3680         (maybe_apply_renaming_pragma): Likewise.
3681         (handle_pragma_visibility): Likewise.
3682
3683         * config/c4x/c4x-c.c (BAD): Likewise.
3684         (c4x_parse_pragma): Likewise.
3685         * config/ia64/ia64-c.c (ia64_hpux_handle_builtin_pragma): Likewise.
3686         * config/rs6000/rs6000-c.c (SYNTAX_ERROR): Likewise.
3687         (rs6000_pragma_longcall): Likewise.
3688         * config/v850/v850-c.c (pop_data_area): Likewise.
3689         (ghs_pragma_section): Likewise.
3690         (ghs_pragma_section): Likewise.
3691         (ghs_pragma_interrupt): Likewise.
3692         (ghs_pragma_starttda): Likewise.
3693         (ghs_pragma_startsda): Likewise.
3694         (ghs_pragma_startzda): Likewise.
3695         (ghs_pragma_endtda): Likewise.
3696         (ghs_pragma_endsda): Likewise.
3697         (ghs_pragma_endzda): Likewise.
3698
3699 2005-07-19  Danny Berlin <dberlin@dberlin.org>
3700             Kenneth Zadeck <zadeck@naturalbridge.com>
3701
3702         * Makefile.in: Removed tree-promote-statics.c
3703         * tree-promote-statics.c: Removed.
3704         * common.opt: Removed flag-promote-statics.
3705         * opts.c: Ditto.
3706         * passes.c: Removed tree-promote-statics pass.
3707         * tree-pass.h: Ditto.
3708         * timevar.def: Removed TV_PROMOTE_STATICS.
3709
3710
3711 2005-07-19  Gerald Pfeifer  <gerald@pfeifer.com>
3712
3713         * config.gcc: Add support for *-*-freebsd7, *-*-freebsd8,
3714         and *-*-freebsd9.
3715         * config/freebsd-spec.h (FBSD_TARGET_OS_CPP_BUILTINS): Ditto.
3716
3717 2005-07-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3718
3719         PR c/22476
3720         * c-common.c (check_function_arguments): Call
3721         'check_function_format' if either -Wformat or
3722         -Wmissing-format-attribute are specified.
3723         * c-format.c (check_function_format): Check -Wformat before
3724         calling 'check_format_info'.
3725         * c-opts.c (c_common_post_options): Don't warn for
3726         -Wmissing-format-attribute without -Wformat.
3727         * c-typeck.c (convert_for_assignment): Detect additional cases for
3728         -Wmissing-format-attribute.
3729         * doc/invoke.texi (-Wmissing-format-attribute): Document new
3730         behavior.
3731
3732 2005-07-19  Richard Guenther  <rguenther@suse.de>
3733
3734         * config/i386/i386.md (lrint<mode>2): Use temporary
3735         instead of clobbering non-existent memory.
3736
3737 2005-07-19  Nick Clifton  <nickc@redhat.com>
3738
3739         * config/avr/avr.c (legitimate_address_p): Fix debugging print
3740         statement to avoid displaying ASCII control characters.
3741
3742 2005-07-19  Ben Elliston  <bje@au.ibm.com>
3743
3744         * bt-load.c (link_btr_uses): Fix uninitialised warnings.
3745         * cfganal.c (find_edge_index): Ditto.
3746         * combine.c (combine_instructions): Ditto.
3747         * ddg.c (create_scc): Ditto.
3748         (find_successors): Ditto.
3749         (find_predecessors): Ditto.
3750         (find_nodes_on_paths): Ditto.
3751         (longest_simple_path): Ditto.
3752         * flow.c (update_life_info): Ditto.
3753         (count_or_remove_death_notes): Ditto.
3754         (clear_log_links): Ditto.
3755         * modulo-sched.c (generate_reg_moves): Ditto.
3756         (find_max_asap): Ditto.
3757         (find_max_hv_min_mob): Ditto.
3758         (find_max_dv_min_mob): Ditto.
3759         * sbitmap.c (sbitmap_first_set_bit): Ditto.
3760         * sched-rgn.c (extract_edgelst): Ditto.
3761         * tree-into-ssa.c (prepare_names_to_update): Ditto.
3762         (dump_update_ssa): Ditto.
3763         (ssa_names_to_replace) Ditto.
3764         (switch_virtuals_to_full_rewrite): Ditto.
3765         (update_ssa): Ditto.
3766         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
3767
3768 2005-07-18  Daniel Berlin  <dberlin@dberlin.org>
3769
3770         Fix PR tree-optimization/22483
3771
3772         * tree-complex.c (create_components): Use
3773         safe_referenced_var_iterator and FOR_EACH_REFERENCED_VAR_SAFE.
3774         * tree-flow-inline.h (fill_referenced_var_vec): New function.
3775         * tree-flow.h (safe_referenced_var_iterator): New structure.
3776         (FOR_EACH_REFERENCED_VAR_SAFE): New macro.
3777         * tree-ssa-alias.c (setup_pointers_and_addressables): Use
3778         safe_referenced_var iterator.
3779         (add_type_alias): Ditto.
3780
3781 2005-07-19  Steven Bosscher  <stevenb@suse.de>
3782
3783         * loop-init.c (rest_of_handle_loop2): Remove.
3784         (rtl_loop_init, rtl_loop_done, rtl_move_loop_invariants,
3785         rtl_unswitch, rtl_unroll_and_peel_loops, rtl_doloop): New functions.
3786         (pass_rtl_loop_init, pass_rtl_loop_done,
3787         pass_rtl_move_loop_invariants, pass_rtl_unswitch,
3788         pass_rtl_unroll_and_peel_loops, pass_rtl_doloop): New passes.
3789         * tree-ssa-loop.c (pass_loop, pass_loop_init, pass_loop_done,
3790         pass_unswitch): Rename to pass_tree_loop, pass_tree_loop_init,
3791         pass_tree_loop_done, and pass_tree_unswitch.
3792         (gate_loop): Rename to gate_tree_loop.
3793         * passes.c (init_optimization_passes): Update for renamed tree
3794         loop passes.  Add the new loop2 passes as subpasses of loop2.
3795         * tree-pass.h: Add extern declarations for the new loop2 subpasses.
3796         Update for the renamed tree loop passes.
3797
3798 2005-07-18  Ian Lance Taylor  <ian@airs.com>
3799
3800         PR middle-end/22057
3801         * tree-cfgcleanup.c (cleanup_tree_cfg): Only remove forwarder
3802         blocks when optimizing.
3803
3804 2005-07-18  Steve Ellcey  <sje@cup.hp.com>
3805
3806         * common.opt (frename-registers): Initialize to 2.
3807         (fweb): Ditto.
3808         (fgcse-after-reload): Ditto.
3809         * toplev.c (AUTODETECT_FLAG_VAR_TRACKING): Rename to AUTODETECT_VALUE.
3810         (process_options): Only change flag_web, flag_rename_registers,
3811         and flag_rerun_cse_after_loop if not explicitly set by user.
3812
3813 2005-07-18  Jan Beulich  <jbeulich@novell.com>
3814
3815         * config/i386/i386.c (ix86_expand_branch, ix86_expand_setcc,
3816         ix86_expand_carry_flag_compare, ix86_expand_int_movcc): Handle TImode
3817         in 64-bit mode the same as DImode in 32-bit mode.
3818         (ix86_expand_ashl_const, ix86_split_ashl, ix86_split_ashr,
3819         ix86_split_lshr): Likewise. Rename to no longer refer to a specific
3820         mode. Add new mode parameter.
3821         * config/i386/i386.h (CONST_OK_FOR_LETTER_P): Describe and handle 'O'.
3822         * config/i386/i386.md (cmpti, addti3, subti3, negti2, ashlti3, ashrti3,
3823         x86_64_shift_adj): New expanders.
3824         (*addti3_1, *subti3_1, *negti2_1, ashlti3_1, *ashlti3_2, ashrti3_1,
3825         *ashrti3_2, lshrti3_1, *lshrti3_2, x86_64_shld, x86_64_shrd): New
3826         insns.
3827         Respective new splitters. Use renamed shift splitter helpers in 32-bit
3828         DImode shift splitters.
3829         * config/i386/i386-protos.h (ix86_split_ashl, ix86_split_ashr,
3830         ix86_split_lshr): Renamed from ix86_split_[al]sh[rl]di. Added new
3831         mode parameter.
3832
3833 2005-07-18  Jan Beulich  <jbeulich@novell.com>
3834
3835         * i386.md (movdi_extzv_1): New.
3836         (zero_extendhidi2): Combine alternatives and never force use of
3837         REX64 prefix.
3838         (zero_extendqidi2): Likewise. Don't restrict input selection.
3839
3840 2005-07-17  Daniel Berlin  <dberlin@dberlin.org>
3841
3842         Fix PR tree-optimization/22531
3843         * tree-ssa-pre.c (do_eustores):  Make sure LHS is a decl for the
3844          moment.
3845
3846 2005-07-17  Daniel Berlin  <dberlin@dberlin.org>
3847
3848         * tree-promote-statics.c (pass_promote_statics): Change dump file
3849          name.
3850
3851 2005-07-17  Daniel Berlin  <dberlin@dberlin.org>
3852
3853         * tree-optimize.c (init_tree_optimization_passes): Add
3854         pass_eliminate_useless_stores pass.
3855         * tree-pass.h (pass_eliminate_useless_stores): New pass structure.
3856         * tree-ssa-pre.c (is_copy_stmt): New function.
3857         (follow_copies_till_vuse): Ditto.
3858         (do_eustores): Ditto.
3859         (gate_eustores): Ditto.
3860
3861 2005-07-16  Richard Henderson  <rth@redhat.com>
3862
3863         * gcc.c (MFWRAP_SPEC): Don't wrap pthread_join or pthread_exit.
3864
3865 2005-07-16 Danny Berlin <dberlin@dberlin.org>
3866            Kenneth Zadeck <zadeck@naturalbridge.com>
3867
3868         * Makefile.in: Added rules for ipa-pure-const.c, ipa-reference.c,
3869         ipa-reference.h, ipa-utils.c, ipa-utils.h, ipa-type-escape.c,
3870         ipa-type-escape.h, tree-promote-statics.c
3871         * ipa-pure-const.c, ipa-reference.c, ipa-reference.h, ipa-utils.c,
3872         ipa-utils.h, ipa-type-escape.c, ipa-type-escape.h,
3873         tree-promote-statics.c: new files.
3874         * alias.c: (nonlocal_mentioned_p_1, nonlocal_mentioned_p,
3875         nonlocal_referenced_p_1, nonlocal_referenced_p, nonlocal_set_p_1,
3876         int nonlocal_set_p, mark_constant_function): Deleted.
3877         (rest_of_handle_cfg): Removed call to mark_constant_function.
3878         (nonoverlapping_component_refs_p): Added calls to support
3879         type based aliasing.
3880         * tree-ssa-alias.c (may_alias_p,
3881         compute_flow_insensitive_aliasing): Ditto.
3882         * calls.c (flags_from_decl_or_type): Removed reference to
3883         cgraph_rtl_info.
3884         * c-typeck.c (convert_arguments): Make builtins tolerant of having
3885         too many arguments.  This is necessary for Spec 2000.
3886         * cgraph.h (const_function, pure_function): Removed.
3887         * common.opt: Added "fipa-pure-const", "fipa-reference",
3888         "fipa-type-escape", and "ftree-promote-static".
3889         * opts.c: Ditto.
3890         * passes.c: Added ipa and tree-promote-statics passes.
3891         * timevar.def: Added TV_IPA_PURE_CONST, TV_IPA_REFERENCE,
3892         TV_IPA_TYPE_ESCAPE, and TV_PROMOTE_STATICS.
3893         * tree-dfa.c (referenced_var_lookup_if_exists): New function.
3894         * tree-flow.h: Added exposed sra calls and addition of
3895         reference_vars_info field for FUNCTION_DECLS.
3896         * tree-pass.h: Added passes.
3897         * tree-sra.c: (sra_init_cache): New function.
3898         (sra_insert_before, sra_insert_after) Made public.
3899         (type_can_be_decomposed_p): Renamed from type_can_be_decomposed_p
3900         and made public.
3901         * tree-ssa-alias.c (dump_alias_stats): Added stats for type based
3902         aliasing. (may_alias_p): Added code to use type escape analysis to
3903         improve alias sets.
3904         * tree-ssa-operands.c (add_call_clobber_ops): Added parameter and
3905         code to prune clobbers of static variables based on information
3906         produced in ipa-reference pass.  Changed call clobbering so that
3907         statics are not marked as clobbered if the call does not clobber
3908         them.
3909
3910 2005-07-16  Daniel Berlin  <dberlin@dberlin.org>
3911
3912         * tree-ssa-structalias.c (need_to_solve): Need to check for preds,
3913         too.
3914
3915 2005-07-16  Eric Botcazou <ebotcazou@libertysurf.fr>
3916
3917         * doc/install.texi (*-*-solaris2*): Document recommended version
3918         of GNU binutils and mention GNU linker problem on Solaris 10.
3919
3920 2005-07-16  Joseph S. Myers  <joseph@codesourcery.com>
3921
3922         PR c/22421
3923         * c-decl.c (c_build_bitfield_integer_type): New function.
3924         (finish_struct): Call it.
3925         * c-pretty-print.c (pp_c_type_specifier): Handle bit-field types.
3926
3927 2005-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3928
3929         * c-typeck.c (digest_init): Call 'convert_for_assignment'
3930         before returning.
3931
3932 2005-07-16  Jan Hubicka  <jh@suse.cz>
3933
3934         * cfg.c (update_bb_profile_for_threading): Fix profile updating.
3935         (scale_bbs_frequencies_int): Watch roundoff errors.
3936         * predict.c (return_prediction): Initialize return_stmt.
3937
3938 2005-07-16  Jan Hubicka  <jh@suse.cz>
3939
3940         * profile.c (rest_of_handle_branch_prob): Fix handling of estimation
3941         after RTL profiling.
3942
3943 2005-07-11  Andrew Pinski  <pinskia@physics.uc.edu>
3944
3945         PR middle-end/22398
3946         * fold-const.c (build_range_check): Convert high/low to etype
3947         if we are only comparing against exp.
3948
3949 2005-07-13  Daniel Berlin  <dberlin@dberlin.org>
3950
3951         Fix PR tree-optimization/22376
3952         * tree-ssa-structalias.c (build_constraint_graph): We really meant
3953         special var here.
3954         (need_to_solve): New function.
3955         (compute_points_to_sets): Use it.
3956
3957 2005-07-15  Jan Hubicka  <jh@suse.cz>
3958
3959         * cfg.c (update_bb_profile_for_threading): More diagnostic.
3960         * tree-ssa-threadupdate.c (redirect_edges): Update profile of dup_block.
3961
3962 2005-07-15  Richard Guenther  <rguenther@suse.de>
3963
3964         * c-common.c (handle_flatten_attribute): New function.
3965         Add flatten function attribute.
3966         * doc/extend.texi: Document flatten function attribute.
3967         * Makefile.in (ipa-inline.o): Depend on hashtab.h.
3968         * ipa-inline.c (cgraph_find_cycles, cgraph_flatten_node):
3969         New functions.
3970         (cgraph_decide_inlining): Handle functions with flatten
3971         attribute.
3972
3973 2005-07-14  David Edelsohn  <edelsohn@gnu.org>
3974
3975         * config/rs6000/rs6000.md (UNSPEC_SYNC, UNSPEC_LWSYNC,
3976         UNSPEC_ISYNC, UNSPEC_SYNC_OP, UNSPEC_ATOMIC, UNSPEC_CMPXCHG,
3977         UNSPEC_XCHG, UNSPEC_AND): New.
3978         (UNSPECV_ATOMIC, UNSPECV_SYNC, UNSPECV_SYNC_OP, UNSPECV_CMPXCHG,
3979         UNSPECV_LWSYNC, UNSPECV_ISYNC): Delete.
3980         * config/rs6000/sync.md (FETCHOP): New code macro.
3981         (fetchop_name, fetchop_pred, fetchopsi_constr, fetchopdi_constr):
3982         New code attrs.
3983         (memory_barrier, sync_internal): Use unspec instead of unspec_volatile.
3984         (sync_compare_and_swap<mode>): Same.
3985         (sync_lock_test_and_set<mode>): Same.
3986         (sync_<fetchop><mode>, sync_nand<mode>): Only use rs6000_emit_sync
3987         for QImode and HImode, and not PPC405.
3988         (sync_old_<fetchop><mode>, sync_old_nand<mode>): Same.
3989         (sync_new_<fetchop><mode>, sync_new_nand<mode>): Same.
3990         (sync_<fetchop>{si,di}_internal): New.
3991         (sync_nand{si,di}_internal): New.
3992         (sync_old_<fetchop>{si,di}_internal): New.
3993         (sync_old_nand{si,di}_internal): New
3994         (sync_new_<fetchop>{si,di}_internal): New.
3995         (sync_new_nand{si,di}_internal): New.
3996         (atomic_and{si,di}): New.
3997         (sync_new_nand{si,di}_internal): New.
3998         (atomic_and{si,di}): New.
3999         (sync_add<mode>_internal): Delete.
4000         (sync_addshort_internal): Use unspec instead of unspec_volatile.
4001         (sync_sub<mode>_internal): Delte.
4002         (sync_subshort_internal): New.
4003         (sync_andsi_internal): Use unspec instead of unspec_volatile.
4004         (sync_anddi_internal): Delete.
4005         (sync_boolsi_internal): Use unspec instead of unspec_volatile.
4006         (sync_booldi_internal): Delete.
4007         (sync_boolc<mode>_internal): Delete.
4008         (sync_boolcshort_internal): Use unspec instead of unspec_volatile.
4009         (sync_boolc<mode>_internal2): Delete.
4010         (sync_boolcc<mode>_internal): Delete.
4011         (isync, lwsync): Use unspec instead of unspec_volatile.
4012         * config/rs6000/rs6000.c (rs6000_emit_sync): Implement MINUS.
4013         Revert UNSPEC_VOLATILE.
4014         (rs6000_split_atomic_op): New.
4015         * config/rs6000/rs6000-protos.h (rs6000_split_atomic_op): Declare.
4016
4017 2005-07-14  Eric Christopher  <echristo@redhat.com>
4018
4019         * config/mips/mips.c (mips_canonicalize_comparison): Cast
4020         argument of trunc_int_for_mode to unsigned HOST_WIDE_INT.
4021
4022 2005-07-14  Eric Christopher  <echristo@redhat.com>
4023
4024         * config/s390/t-tpf (SHLIB_MAPFILES): Remove.
4025
4026 2005-07-14  Steven Bosscher  <stevenb@suse.de>
4027
4028         PR tree-optimization/22230
4029         * tree-vrp.c (extract_range_from_binary_expr): Fix logics thinko in
4030         the computation of the four cross productions for "range op range".
4031
4032 2005-07-14  Alexandre Oliva  <aoliva@redhat.com>
4033             Ulrich Weigand  <uweigand@de.ibm.com>
4034
4035         PR target/20126
4036         * loop.c (loop_givs_rescan): Do not ICE if unable to reduce an IV
4037         in some insn.
4038
4039 2005-07-14  Ulrich Weigand  <uweigand@de.ibm.com>
4040
4041         * config/s390/s390.h (TARGET_TPF_PROFILING): Add default definition.
4042
4043 2005-07-14  Steve Ellcey  <sje@cup.hp.com>
4044
4045         * config/ia64/ia64.c (ia64_output_dwarf_dtprel): Support ILP32 mode.
4046
4047 2005-07-14  Richard Guenther  <rguenther@suse.de>
4048
4049         PR middle-end/22347
4050         * config/i386/i386-protos.h (ix86_function_value): Change
4051         prototype to match new target hook.
4052         * config/i386/i386.c (ix86_value_regno): Change prototype
4053         to take extra type argument.
4054         (TARGET_FUNCTION_VALUE): Define.
4055         (ix86_function_ok_for_sibcall): Pass extra argument to
4056         ix86_value_regno, check return slot rtx for exact match.
4057         (ix86_function_value): Take extra parameter.  Dispatch to
4058         ix86_value_regno with fndecl/fntype as provided.
4059         (ix86_value_regno): Handle extra type argument.
4060         * config/i386/i386.h (FUNCTION_VALUE): No longer define.
4061
4062         * testsuite/gcc.target/i386/sseregparm-3.c: New testcase.
4063         * testsuite/gcc.target/i386/sseregparm-4.c: New testcase.
4064         * testsuite/gcc.target/i386/sseregparm-5.c: New testcase.
4065         * testsuite/gcc.target/i386/sseregparm-6.c: New testcase.
4066         * testsuite/gcc.target/i386/sseregparm-7.c: New testcase.
4067
4068 2005-07-14  Richard Guenther  <rguenther@suse.de>
4069
4070         * Makefile.in (explow.o, reg-stack.o): Depend on target.h.
4071         * calls.c (expand_call): Pass fntype to hard_function_value.
4072         (emit_library_call_value_1): Likewise.
4073         * explow.c: Include target.h.
4074         (hard_function_value): Take extra argument, the fntype.
4075         Use new target hook for function_value.
4076         * expr.h (hard_function_value): Change prototype.
4077         * function.c (aggregate_value_p): Pass 0 as fntype to
4078         hard_function_value.
4079         (assign_parms): Use new target hook for function_value.
4080         Pass 0 as fntype to hard_function_value.
4081         (expand_function_end): Likewise.
4082         * reg-stack.c: Include target.h.
4083         (stack_result): Use new target hook for function_value.
4084         * target-def.h: New target hook function_value.
4085         * target.h: Likewise.
4086         * targhooks.c (default_function_value): New function.
4087         * targhooks.h (default_function_value): Declare.
4088
4089 2005-07-13  Ian Lance Taylor  <ian@airs.com>
4090
4091         * config/mips/mips.h (CLZ_DEFINED_VALUE_AT_ZERO): Define.
4092
4093 2005-07-14  Jan Hubicka  <jh@suse.cz>
4094
4095         * tree-dfa.c (dump_variable): Use default_def function.
4096         * tree-ssa-alias.c (dump_points_to_info): Likewise.
4097         * tree-ssa.c (verify_use): Likewise.
4098         * tree-ssanames.c (release_ssa_name): Likewise.
4099         * tree-tailcall.c (eliminate_tail_call): Likewise.
4100         (tree_optimize_tail_calls_1): Likewise.
4101         * tree-vrp.c (get_value_range): Likewise.
4102
4103 2005-07-14  Ben Elliston  <bje@au.ibm.com>
4104
4105         * gcc.c (main): Compare language[0] with '*' when iterating over
4106         the infiles.
4107
4108 2005-07-13  Adrian Strae½tling  <straetling@de.ibm.com>
4109
4110         * config/s390/s390.c: (s390_cc_modes_compatible): Move before
4111         "s390_emit_compare".  Add handling of CCZ1mode.
4112         (s390_canonicalize_comparison): Simplify cascaded EQ, NE.
4113         (390_emit_compare): Use "s390_cc_modes_compatible" for mode
4114         checking.
4115         (s390_branch_condition_mask): Add CCZ1mode handling.
4116         * config/s390/s390.md: ("seq", "*seq"): New pattern.
4117         ("sync_compare_and_swap_cc<mode>", "*sync_compare_and_swap_cc<mode>"):
4118         Use CCZ1mode instead of CCZmode.
4119         * config/s390/s390-modes.def: Add CCZ1mode.  Comment new mode.
4120
4121 2006-07-13  Adrian Strae½tling  <straetling@de.ibm.com>
4122
4123         * config/s390/s390.md: ("cmpstrsi", "*cmpstr<mode>"): New
4124         pattern.
4125         ("strlen<mode>", "*strlen<mode>"): Use hard reg 0 in SImode.
4126
4127 2005-07-13  Eric Christopher  <echristo@redhat.com>
4128
4129         * config/mips/mips.c (mips_canonicalize_comparison): New.
4130         (mips_emit_int_relational): Use.
4131
4132 2005-07-13  Eric Christopher  <echristo@redhat.com>
4133
4134         * config.gcc (s390x-ibm-tpf*): Add extra_options. Remove
4135         static extra parts.
4136         * config/s390/s390.md: Include tpf.md. Move tpf specific
4137         patterns...
4138         * config/s390/tpf.md: To here.
4139         * config/s390/s390.opt: Move tpf specific options...
4140         * config/s390/tpf.opt: to here. Add mmain option.
4141         * config/s390/tpf-unwind.h: Remove unnecessary defines.
4142         * config/s390/tpf.h: Rewrite.
4143
4144 2005-07-13  H.J. Lu  <hongjiu.lu@intel.com>
4145
4146         * doc/tm.texi: Remove @xref{Cross-profiling}.
4147
4148 2005-07-13  Jeff Law  <law@redhat.com>
4149
4150         * fold-const.c (fold_binary): When comparing two simple ADDR_EXPR
4151         expressions, test their _DECL operands for pointer equality rather
4152         than using operand_equal_p.
4153
4154 2005-07-13  H.J. Lu  <hongjiu.lu@intel.com>
4155
4156         * config/alpha/linux.h (TARGET_HAS_F_SETLKW): Renamed to ...
4157         (TARGET_POSIX_IO): This.
4158         * config/darwin.h: Likewise.
4159         * config/freebsd.h: Likewise.
4160         * config/linux.h: Likewise.
4161         * config/lynx.h: Likewise.
4162         * config/netbsd.h: Likewise.
4163         * config/rs6000/linux64.h: Likewise.
4164         * config/rs6000/linux.h: Likewise.
4165         * config/s390/tpf.h: Likewise.
4166         * config/sh/embed-elf.h: Likewise.
4167         * config/sparc/linux64.h: Likewise.
4168         * config/sparc/linux.h: Likewise.
4169         * config/svr4.h: Likewise.
4170         * gcov-io.h: Likewise.
4171
4172         * doc/tm.texi: Updated.
4173
4174         * libgcov.c (create_file_directory): Defined only if
4175         TARGET_POSIX_IO is defined.
4176         (gcov_exit): Call create_file_directory only if TARGET_POSIX_IO
4177         is defined.
4178
4179 2005-07-13  Jan Hubicka  <jh@suse.cz>
4180
4181         * tree-ssa-operands.c (get_expr_operands): Fix typo in previous patch.
4182
4183 2005-07-13  David Edelsohn  <edelsohn@gnu.org>
4184
4185         * tree-ssa-dom.c (lookup_avail_expr): Do not pass member in freed
4186         structure as argument.
4187
4188 2005-07-13  Paolo Bonzini  <bonzini@gnu.org>
4189
4190         PR tree-optimization/21921
4191         * tree-iterator.c (tsi_link_before): Support the case when
4192         tsi_end_p (tsi) == true.
4193
4194 2005-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
4195
4196         PR tree-optimization/22442
4197         * tree-chrec.c (chrec_fold_multiply_poly_poly): Associate chrecs
4198         correctly.
4199
4200 2005-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
4201
4202         PR rtl-optimization/20376
4203         * toplev.c (process_options): Enable -fweb and -frename-registers when
4204         unrolling.
4205         * doc/invoke.texi: Update the information about when -fweb and
4206         -frename-registers are enabled.
4207
4208 2005-07-12  Andrew Pinski  <pinskia@physics.uc.edu>
4209
4210         PR tree-opt/21840
4211         * tree-ssa-pre.c (eliminate): Convert the sprime to the correct type
4212         if *rhs_p is not a SSA_NAME.
4213
4214 2005-07-12  Daniel Berlin  <dberlin@dberlin.org>
4215
4216         Fix PR tree-optimization/22422
4217         * tree-ssa-structalias.c (struct variable_info): Add flag for
4218         special vars.
4219         (get_varinfo): Now a static function.
4220         (new_varinfo): init has_union and is_special_var to false.
4221         (solution_set_add): Check has_union.
4222         (do_da_constraint): Move temporary variable so it gets reset
4223         properly.
4224         Also check for special variable.
4225         (do_ds_constraint): Ditto.
4226         (do_sd_constraint): Ditto.
4227         (do_structure_copy): Check for special variable.
4228         (find_func_aliases): Ditto.
4229         (init_base_vars): Set special vars properly.
4230
4231 2005-07-13  Jan Hubicka  <jh@suse.cz>
4232
4233         * cfgexpand.c (expand_one_stack_var): Do not expand variables when we
4234         do unit-at-a-time.
4235
4236         * tree-ssa-operands.c (parse_ssa_operands): Fix formatting.
4237         (get_expr_operands): Fix thinko wrt flags and subvars.
4238
4239         PR tree-optimize/22379
4240         * tree-inline.c (expand_call_inline): Do not output sorry in early
4241         inlining.
4242
4243 2005-07-12  Dale Johannesen  <dalej@apple.com>
4244
4245         * config/rs6000.c (rs6000_rtx_cost):  Move FLOAT_EXTEND.
4246
4247 2005-07-12  Andrew Pinski  <pinskia@physics.uc.edu>
4248
4249         PR bootstrap/21704
4250         * host-linux.h: Include limits.h.
4251
4252 2005-07-12  Dale Johannesen  <dalej@apple.com>
4253
4254         * expr.c (compress_float_constant):  Add cost check.
4255         * config/rs6000.c (rs6000_rtx_cost):  Adjust FLOAT_EXTEND cost.
4256
4257 2005-07-12  Dale Johannesen  <dalej@apple.com>
4258
4259         * gcc.target/i386/compress-float-sse.c:  New.
4260         * gcc.target/i386/compress-float-sse-pic.c:  New.
4261         * gcc.target/i386/compress-float-387.c:  New.
4262         * gcc.target/i386/compress-float-387-pic.c:  New.
4263         * gcc.dg/compress-float-ppc.c:  New.
4264         * gcc.dg/compress-float-ppc-pic.c:  New.
4265
4266 2005-07-12  Eric Christopher  <echristo@redhat.com>
4267
4268         * config.gcc (s390x-ibm-tpf*): Add extra_options. Remove
4269         static extra parts.
4270         * config/s390/s390.md: Include tpf.md. Move tpf specific
4271         patterns...
4272         * config/s390/tpf.md: To here.
4273         * config/s390/s390.opt: Move tpf specific options...
4274         * config/s390/tpf.opt: to here. Add mmain option.
4275         * config/s390/tpf-unwind.h: Remove unnecessary defines.
4276         * config/s390/tpf.h: Rewrite.
4277
4278 2005-07-12  Eric Christopher  <echristo@redhat.com>
4279
4280         * gcc.c (struct infile): Update comment for language.
4281         (main): Rewrite input file resetting code.
4282
4283 2005-07-12  Andrew Pinski  <pinskia@physics.uc.edu>
4284
4285         PR tree-opt/22335
4286         * tree-ssa-dom.c (eliminate_redundant_computations): Reject the prop if
4287         requiring a cast in a non RHS of modify_expr.  Add a cast when required.
4288         (lookup_avail_expr): Use constant_boolean_node instead
4289         of boolean_false_node/boolean_true_node.
4290
4291 2005-07-12  Ben Elliston  <bje@au.ibm.com>
4292
4293         * tree-cfg.c (dump_cfg_stats): Add a new fmt_str_2 format string
4294         and use it when printing num_edges.
4295
4296 2005-07-12  Bernd Schmidt  <bernd.schmidt@analog.com>
4297
4298         * doc/extend.texi (Blackfin Built-in Functions): New section.
4299         * doc/invoke.texi (mcsync-anomaly, mno-csync-anomaly): Fix the
4300         @opindex.
4301
4302 2005-07-12  Adrian Straetling  <straetling@de.ibm.com>
4303
4304         * builtins.c: (expand_builtin_memcmp, expand_builtin_strncmp):
4305         s/cmpstrsi/cmpstrnsi
4306         (expand_builtin_strcmp): Rewrite to support both 'cmpstrsi' and
4307         'cmpstrnsi'.
4308         * optabs.c: (prepare_cmp_insn): Add availability of 'cmpstrn'.
4309         (init_optabs): Initialize cmpstrn_optab.
4310         * optabs.h: (enum insn_code cmpstrn_optab): Declare.
4311         * genopinit.c: (optabs[]): Add 'cmpstrn' to initialisation.
4312         * expr.c: (enum insn_code cmpstrn_optab): Declare.
4313         * config/i386/i386.md: s/cmpstr/cmpstrn
4314         * config/c4x/c4x.md: s/cmpstr/cmpstrn
4315         * doc/md.texi: Update documentation.
4316
4317 2005-07-11  Richard Henderson  <rth@redhat.com>
4318
4319         * config/alpha/alpha.c (alpha_gimplify_va_arg_1): Use
4320         build_va_arg_indirect_ref.
4321         (alpha_gimplify_va_arg): Likewise.
4322         * config/c4x/c4x.c (c4x_gimplify_va_arg_expr): Likewise.
4323         * config/i860/i860.c (i860_gimplify_va_arg_expr): Likewise.
4324         * config/mips/mips.c (mips_gimplify_va_arg_expr): Likewise.
4325         * config/pa/pa.c (hppa_gimplify_va_arg_expr): Likewise.
4326         * config/sh/sh.c (sh_gimplify_va_arg_expr): Likewise.
4327         * config/stormy16/stormy16.c (xstormy16_expand_builtin_va_arg):
4328         Likewise.
4329         * config/xtensa/xtensa.c (xtensa_gimplify_va_arg_expr): Likewise.
4330
4331 2005-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
4332
4333         * tree-flow.h (remove_empty_loops, single_dom_exit): Declare.
4334         * passes.c (init_optimization_passes): Add pass_empty_loop.
4335         * tree-pass.h (pass_empty_loop): Declare.
4336         * tree-ssa-loop-ivcanon.c (empty_loop_p, remove_empty_loop,
4337         try_remove_empty_loop, remove_empty_loops): New functions.
4338         * tree-ssa-loop-ivopts.c (single_dom_exit): Export.
4339         * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): New.
4340
4341 2005-07-12  Peter Barada  <peter@the-baradas.com>
4342
4343         PR middle-end/16719
4344         PR middle-end/18421
4345         * config/m68k/m68k.h (HARD_REGNO_MODE_OK): Disallow bytes
4346         in address registers.
4347         * config/m68k/m68k.c (hard_regno_mode_ok): Likewise.
4348         * config/m68k/m68k.md: Replace 's' with 'i' in 4th
4349         alternative of addsi3_5200.
4350
4351 2005-07-11  Ian Lance Taylor  <ian@airs.com>
4352
4353         * config/mips/mips.md (ffs<mode>2): Remove.
4354
4355 2005-07-11  Ian Lance Taylor  <ian@airs.com>
4356
4357         * doc/tree-ssa.texi (Cleanups): Improve description of
4358         TRY_FINALLY_EXPR.
4359         (GIMPLE Exception Handling): Clarify TRY_CATCH_EXPR cases.
4360
4361 2005-07-11  Daniel Berlin  <dberlin@dberlin.org>
4362
4363         * print-tree.c (print_node): Use DECL_ARGUMENT_FLD.
4364         * tree.h (DECL_ARGUMENT_FLD): New macro.
4365
4366 2005-07-11  Daniel Berlin  <dberlin@dberlin.org>
4367
4368         Fix PR tree-optimization/22404
4369
4370         * tree-ssa-structalias.c (create_variable_info_for): Use
4371         correct offset.
4372
4373 2005-07-11  Bernd Schmidt  <bernd.schmidt@analog.com>
4374
4375         * config/bfin/bfin.md (cmpsi, compare_eq, compare_ne, compare_lt,
4376         compare_le, compare_leu, compare_ltu): Use reg_or_const_int_operand
4377         for second comparison operand.
4378         * config/bfin/predicates.md (reg_or_const_int_operand): New.
4379
4380         * config/bfin/bfin.md (define_attr "type"): Add "sync".
4381         (define_insn_reservation "alu"): Likewise.
4382         (csync, ssync): Now of type sync.
4383         * config/bfin/bfin.h (TARGET_DEFAULT): Defaults to
4384         -mcsync-anomaly -mspecld-anomaly.
4385         * config/bfin/bfin.opt (mcsync): Remove.
4386         (mcsync-anomaly, mspecld-anomaly): Add.
4387         * config/bfin/bfin.c: Include "insn-codes.h".
4388         (bfin_reorg): Extend to handle the CSYNC anomaly as well.
4389         (TARGET_DEFAULT_TARGET_FLAGS): New.
4390         * doc/invoke.texi: Document -mcsync-anomaly, -mspecld-anomaly.
4391
4392 2005-07-11  Steven Bosscher  <stevenb@suse.de>
4393
4394         * basic-block.h: Give the BB flags enum a name, bb_flags.
4395         Add new flags BB_FORWARDER_BLOCK, and BB_NONTHREADABLE_BLOCK.
4396         * cfgcleanup.c (enum bb_flags): Remove here.
4397         (BB_FLAGS, BB_SET_FLAG, BB_CLEAR_FLAG): Remove.
4398         (notice_new_block): Set/test bb->flags instead of aux via BB_FLAGS.
4399         (update_forwarder_flag): Likewise.
4400         (thread_jump): Likewise.
4401         (try_forward_edges): Likewise.
4402         (try_optimize_cfg): Likewise.  Clear bb->flags before updating the
4403         forwarder flags.  Don't clear bb->aux for all basic blocks.  Only
4404         reset the BB_FORWARDER_BLOCK and BB_NONTHREADABLE_BLOCK flags.
4405
4406 2005-07-11  Richard Guenther  <rguenther@suse.de>
4407
4408         * config/i386/i386.opt: New target option -msseregparm.
4409         * config/i386/i386.c (override_options): Error out for
4410         -msseregparm but no SSE support.
4411         (ix86_function_sseregparm): Check for global sseregparm.
4412         * doc/invoke.texi: Document -msseregparm.
4413
4414 2005-07-11  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
4415
4416         * config.gcc (m32r-*-linux*): Use the default extra_parts.
4417         (m32rle-*-linux*): Ditto.
4418
4419 2005-07-11  Jakub Jelinek  <jakub@redhat.com>
4420
4421         * cfgexpand.c (stack_protect_classify_type): Use TYPE_SIZE_UNIT (type)
4422         instead of TYPE_MAX_VALUE (TYPE_DOMAIN (type)) to get array size in
4423         bytes.
4424
4425 2005-07-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4426
4427         PR middle-end/22239
4428         PR target/20126
4429         * loop.c (loop_givs_rescan): Use expand_simple_binop instead of
4430         gen_rtx_MINUS to handle non-replaceable (plus ((x) (const)).
4431
4432 2005-07-07  Daniel Berlin  <dberlin@dberlin.org>
4433
4434         * tree-ssa-structalias.c (struct variable_info): Heapify complex.
4435         (varmap): Heapify varmap.
4436         (constraints): Heapify constraints.
4437         (struct constraint_graph): Heapify succs and preds.
4438         (constraint_vec_find): Update for heapification.
4439         (constraint_set_union): Ditto.
4440         (insert_into_complex): Ditto.
4441         (constraint_edge_vec_find): Ditto.
4442         (erase_graph_self_edge): Ditto.
4443         (add_graph_edge): Ditto.
4444         (get_graph_weights): Ditto.
4445         (merge_graph_nodes): Ditto.
4446         (build_constraint_graph): Ditto.
4447         (topo_visit): Ditto.
4448         (solve_graph): Ditto.
4449         (create_variable_info_for): Ditto.
4450         (init_base_vars): Ditto.
4451         (delete_points_to_sets): Free graph, varmap, and complex constraints.
4452         (condese_varmap_nodes): Free complex vector.
4453         (clear_edges_for_node): Clear succs and preds vector.
4454
4455 2005-07-10  Daniel Berlin  <dberlin@dberlin.org>
4456
4457         * tree-ssa-structalias.c (update_alias_info): Change counting of
4458         references to not include vdefs.
4459
4460 2005-07-10  Daniel Berlin  <dberlin@dberlin.org>
4461
4462         * tree-ssa-alias.c (free_used_part_map): Add missing free.
4463         (up_insert): Ditto.
4464
4465 2005-07-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4466
4467         * pa.c (pa_commutative_p): Make PLUS commutative when
4468         TARGET_NO_SPACE_REGS is true.
4469
4470 2005-07-09  Diego Novillo  <dnovillo@redhat.com>
4471
4472         * Makefile.in (tree-ssa-alias.o): Depend on tree-ssa-structalias.h
4473         * tree-cfg.c (CHECK_OP): Only test for is_gimple_val.
4474         * tree-dfa.c (dump_subvars_for): New.
4475         (debug_subvars_for): New.
4476         (dump_variable): Show subvariables if VAR has them.
4477         * tree-flow-inline.h (get_subvar_at): New.
4478         (overlap_subvar): Change offset and size to unsigned HOST_WIDE_INT.
4479         * tree-flow.h (struct ptr_info_def): Remove field pt_malloc.
4480         Update all users.
4481         (struct subvar): Change fields offset and size to unsigned
4482         HOST_WIDE_INT.
4483         (dump_subvars_for): Declare.
4484         (debug_subvars_for): Declare.
4485         (get_subvar_at): Declare.
4486         (okay_component_ref_for_subvars): Change 2nd and 3rd argument
4487         to unsigned HOST_WIDE_INT *.
4488         (overlap_subvar): Likewise.
4489         * tree-gimple.c (is_gimple_reg): Always return false for
4490         SFTs and memory tags.
4491         * tree-pass.h (pass_build_pta, pass_del_pta): Remove.
4492         Update all callers.
4493         * tree-ssa-alias.c: Include tree-ssa-structalias.h.
4494         (compute_may_aliases): Call compute_points_to_sets.
4495         (collect_points_to_info_for): Remove.
4496         (compute_points_to_and_addr_escape): Remove.
4497         (delete_alias_info): Call delete_points_to_sets.
4498         (compute_flow_sensitive_aliasing): If the call to
4499         find_what_p_points_to returns false, call set_pt_anything.
4500         (add_may_alias): Set TREE_ADDRESSABLE when adding a new alias.
4501         (set_pt_anything): Clear pi->pt_vars.
4502         (set_pt_malloc): Remove.
4503         (merge_pointed_to_info): Remove.
4504         (add_pointed_to_expr): Remove.
4505         (add_pointed_to_var): Remove.
4506         (collect_points_to_info_r): Remove.
4507         (is_escape_site): Make extern.
4508         (create_sft): New.
4509         (create_overlap_variables_for): Call it.
4510         * tree-ssa-copy.c (merge_alias_info): Never merge
4511         flow-sensitive alias information.
4512         * tree-ssa-operands.c (get_expr_operands): Adjust variables
4513         offset and size to be unsigned HOST_WIDE_INT.
4514         (add_to_addressable_set): Rename from note_addressable.
4515         Set TREE_ADDRESSABLE as the variables are added to the set.
4516         Update all users.
4517         (add_stmt_operand): Do not try to micro-optimize unmodifiable
4518         operands into VUSEs when adding V_MAY_DEFs for members in an
4519         alias set.
4520         * tree-ssa-operands.h (add_to_addressable_set): Declare.
4521         * tree-ssa-structalias.c: Include tree-ssa-structalias.h last.
4522         (struct variable_info): Add bitfield is_heap_var.
4523         (var_anyoffset, anyoffset_tree, anyoffset_id): Declare.
4524         (new_var_info): Initialize is_heap_var.
4525         (get_constraint_for): Add HEAP variables to the symbol table.
4526         Mark them with is_heap_var.
4527         (update_alias_info): New.  Taken mostly from the old
4528         compute_points_to_and_addr_escape.
4529         (handle_ptr_arith): New.
4530         (find_func_aliases): Call update_alias_info.
4531         Call handle_ptr_info for tcc_binary expressions.
4532         Call mark_stmt_modified.
4533         (create_variable_info_for): If DECL has subvars, do not create
4534         variables for its subvars.  Always add all the fields.
4535         (set_uids_in_ptset): If the solution includes ANYOFFSET and
4536         SFTs, then add all the SFTs of the structure.
4537         If VI->DECL is an aggregate with subvariables, add the SFT at
4538         VI->OFFSET.
4539         (find_what_p_points_to): If VI is an artificial variable,
4540         translate to bitfields in SSA_NAME_PTR_INFO.
4541         If the solution is empty, set pi->pt_vars to NULL
4542         (init_base_vars): Create ANYOFFSET.
4543         (compute_points_to_sets): Rename from create_alias_vars.
4544         Make extern.
4545         (pass_build_pta): Remove.
4546         (delete_points_to_sets): Rename from delete_alias_vars.
4547         (pass_del_pta): Remove.
4548         * tree-ssa-structalias.h (struct alias_info): Move from
4549         tree-ssa-alias.h.
4550         (NUM_REFERENCES, NUM_REFERENCES_CLEAR, NUM_REFERENCES_INC,
4551         NUM_REFERENCES_SET): Likewise.
4552         (compute_points_to_sets, delete_points_to_sets): Declare.
4553
4554 2005-07-09  Richard Henderson  <rth@redhat.com>
4555
4556         * config/alpha/alpha.c (emit_insxl, alpha_expand_compare_and_swap_12,
4557         alpha_split_compare_and_swap_12, alpha_expand_lock_test_and_set_12,
4558         alpha_split_lock_test_and_set_12): New functions.
4559         * config/alpha/alpha-protos.h: Update.
4560         * config/alpha/alpha.md (UNSPEC_MB, UNSPEC_ATOMIC,
4561         UNSPEC_CMPXCHG, UNSPEC_XCHG): Rename from UNSPECV_FOO.
4562         * config/alpha/sync.md (I12MODE): New.
4563         (memory_barrier, mb_internal): Use unspec instead of unspec_volatile.
4564         (sync_<fetchop_name><I48MODE>): Likewise.
4565         (sync_nand<I48MODE>): Likewise.
4566         (sync_old_<fetchop_name><I48MODE>): Likewise.
4567         (sync_new_<fetchop_name><I48MODE>): Likewise.
4568         (sync_old_nand<I48MODE>, sync_new_nand<I48MODE>): Likewise.
4569         (sync_compare_and_swap<I48MODE>): Likewise.
4570         (sync_lock_test_and_set<I48MODE>): Likewise.
4571         (sync_compare_and_swap<I12MODE>): New.
4572         (sync_compare_and_swap<I12MODE>_1): New.
4573         (sync_lock_test_and_set<I12MODE>): New.
4574         (sync_lock_test_and_set<I12MODE>_1): New.
4575
4576 2005-07-09  Diego Novillo  <dnovillo@redhat.com>
4577
4578         PR 21356
4579         PR 22332
4580         * passes.c (execute_todo): Cleanup the CFG before updating SSA.
4581
4582 2005-07-09  Jakub Jelinek  <jakub@redhat.com>
4583
4584         * config/i386/i386.c (output_set_got): Don't omit OFFSET FLAT:
4585         in Intel syntax add %reg, OFFSET FLAT:_GLOBAL_OFFSET_TABLE_+(.-.Lx).
4586
4587 2005-07-09  Richard SAndiford  <richard@codesourcery.com>
4588
4589         PR target/21656
4590         * config/mips/elf.h (NO_IMPLICIT_EXTERN_C): Define.
4591
4592 2005-07-08  David Edelsohn  <edelsohn@gnu.org>
4593
4594         * config/rs6000/sync.md (load_locked_<mode>): Use Z for
4595         memory_operand constraint.
4596         (store_conditional_<mode>): Same.
4597         (sync_compare_and_swap<mode>): Same.
4598         (sync_lock_test_and_set<mode>): Same.
4599
4600 2005-07-08  Hans-Peter Nilsson  <hp@axis.com>
4601
4602         Rewrite PIC support to more closely model actual instructions.
4603         * config/cris/cris-protos.h (cris_gotless_symbol, cris_got_symbol)
4604         (cris_symbol): Remove prototypes for removed functions.
4605         (cris_pic_symbol_type_of, cris_valid_pic_const)
4606         (cris_expand_pic_call_address): Prototypes for new functions.
4607         * config/cris/cris/cris.c (cris_pic_sympart_only): Remove unused
4608         variable.
4609         (cris_print_operand) <case 'v', 'P'>: Remove cases for unused
4610         modifiers.
4611         <case ':'>: Add case for new punctuation character.
4612         <case 'd'>: Temporarily set flag_pic = 2 instead of incorrectly
4613         emitting (extra) PIC modifier.
4614         <case UNSPEC>: Do not assert for PLT.
4615         (cris_initial_frame_pointer_offset, cris_simple_epilogue)
4616         (cris_expand_prologue, cris_expand_epilogue): Check
4617         for pic_offset_table_rtx usage instead of taking
4618         current_function_uses_pic_offset_table as the final word.
4619         (cris_rtx_costs, cris_address_cost, cris_side_effect_mode_ok):
4620         Remove flag_pic difference.
4621         (cris_valid_pic_const, cris_pic_symbol_type_of): New functions,
4622         the moral equivalents of...
4623         (cris_symbol, cris_gotless_symbol, cris_got_symbol): Remove
4624         functions.
4625         (cris_legitimate_pic_operand): Just call cris_valid_pic_const.
4626         (cris_handle_option): Mark ARG as unused.
4627         (cris_expand_pic_call_address): New worker function for "call",
4628         "call_value".
4629         (cris_asm_output_symbol_ref, cris_asm_output_label_ref): Do not
4630         output PIC constructs here.
4631         (cris_output_addr_const_extra): Changes for emitting PIC modifiers
4632         as symbol-specific modifers, not whole or part of operands.
4633         * config/cris/cris/cris.h (EXTRA_CONSTRAINT): Remove 'U' case.
4634         (EXTRA_CONSTRAINT_S): Changed semantics: allow only CONST-wrapped
4635         constants and flag_pic.
4636         (CONSTANT_INDEX_P): Adjust for new functions.
4637         (enum cris_pic_symbol_type): New helper type.
4638         (PRINT_OPERAND_PUNCT_VALID_P): Add ':'.
4639         * config/cris/cris/cris.md (CRIS_UNSPEC_GOTREL)
4640         (CRIS_UNSPEC_GOTREAD, CRIS_UNSPEC_PLTGOTREAD): New
4641         define_constants.
4642         ("movsi"): Emit actual instructions for GOT and relative access.
4643         ("*movsi_got_load"): New pattern to set up the register holding
4644         the GOT pointer.
4645         ("*movsi_internal"): Operand 1 is not a plain general_operand.
4646         Adjust FIXME for 'S'.
4647         <output for 'S' alternative>: Sanity-check UNSPEC types for PIC.
4648         Use "movs" for -fpic cases.
4649         ("addsi3"): Add alternative for 'S'; use adds.w when possible.
4650         ("uminsi3","*expanded_call_value"): Remove 'S' alternative.
4651         ("call", "call_value"): Just call cris_expand_pic_call_address for
4652         PIC addresses.
4653         ("*expanded_call_no_gotplt", "*expanded_call_value_no_gotplt"):
4654         Remove special pattern.
4655         ("*expanded_call_side", "*expanded_call_value_side"): New
4656         patterns.
4657         (gotplt-to-plt, gotplt-to-plt-side-call)
4658         (gotplt-to-plt-side-call-value, gotplt-to-plt-side): New
4659         peephole2:s.
4660         * config/cris/cris/predicates.md
4661         ("cris_general_operand_or_gotless_symbol"): Remove unused
4662         predicate.
4663         ("cris_general_operand_or_symbol"): Adjust for new functions.
4664
4665 2005-07-08  Andrew Pinski  <pinskia@physics.uc.edu>
4666
4667         * config/darwin.h (TARGET_C99_FUNCTIONS): Define to 1.
4668
4669 2005-07-08  Daniel Berlin  <dberlin@dberlin.org>
4670
4671         * Makefile.in (TREE_H): Add treestruct.def.
4672         (c-decl.o): Add pointer-set.h
4673         * c-decl.c (diagnose_mismatched_decls): Don't attempt to look at
4674         visibility on regular DECL's.
4675         (merge_decls): Fix the copying of decl nodes of various types for
4676         the new structures.  Don't update RTL, section name, weak status,
4677         etc, on DECL's without RTL.
4678         (grokdeclarator): DECL_ARG_TYPE_AS_WRITTEN is gone.
4679         Don't check volatile on non-variable types.
4680         (store_parm_decls_oldstyle): Use pointer_set instead of DECL_WEAK
4681         to check whether we have seen arguments.
4682         * c-objc-common.c (c_tree_printer): Reverse order of tests so that
4683         flag is checked before field (flag is common, field is not).
4684         * dwarf2out.c (decl_ultimate_origin):  Only DECL's with
4685         TS_DECL_COMMON could have an origin.
4686         (add_location_or_const_value_attribute): Don't check section name
4687         on non-var/function decls.
4688         (dwarf2out_var_location): Reverse order of tests.
4689         * emit-rtl.c (set_reg_attrs_for_parm): DECL_CHECK is dead, replace
4690         with DECL_WRTL_CHECK.
4691         * expmed.c (make_tree): rtl is now in decl_with_rtl.
4692         * fold-const.c (fold_binary): Don't check weakness on
4693         non-var/function decls.
4694         (tree_expr_nonzero_p): Ditto.
4695         (fold_checksum_tree): Use tree_decl_extra as sizeof
4696         buffer.
4697         * ggc-page.c (extra_order_size_table): Add sizes for
4698         tree_decl_non_common, tree_parm_decl,  tree_var_decl, and
4699         tree_field_decl.
4700         * gimplify.c (gimplify_bind_expr): Only set
4701         DECL_SEEN_IN_BIND_EXPR_P on VAR_DECL.
4702         * integrate.c (copy_decl_for_inlining): Don't set RTL on decl's
4703         without RTL.
4704         * langhooks-def.h (LANG_HOOK_INIT_TS): New.
4705         * langhooks.h (init_ts). New langhook.
4706         * passes.c (rest_of_decl_compilation): Reverse order of tests.
4707         * print-tree.c (print_node): Update to only print fields that
4708         exist in the structures the passed decl has.
4709         * toplev.c (wrapup_global_declarations): Don't reset
4710         DECL_DEFER_OUTPUT on DECL's that don't contain it.
4711         * tree-browser.c (browse_tree): DECL_ARG_TYPE_AS_WRITTEN removed.
4712         * tree-inline.c (remap_decl): Ditto.
4713         * tree-outof-ssa.c (create_temp): Reverse order of tests.
4714         * tree-pretty-print.c (print_declaration): Don't print
4715         DECL_REGISTER on things that don't contain it.
4716         * tree-vrp.c (expr_computes_nonzero): Don't check weakness on
4717         non-var/function decls.
4718         * tree.c (tree_contains_struct): New structure.
4719         (init_priority_for_decl): New hashtable.
4720         (tree_int_map): New structure.
4721         (tree_int_map_eq): New function.
4722         (tree_int_map_marked_p): Ditto.
4723         (tree_int_map_hash): Ditto.
4724         (tree_map): Move to tree.h.
4725         (tree_map_eq): Externalize.
4726         (tree_map_hash): Ditto.
4727         (tree_map_marked_p): Ditto.
4728         (init_ttree): Set up tree_contains_struct and call langhook.
4729         (decl_assembler_name): Use DECL_NON_COMMON_CHECK..
4730         (tree_code_size): Update for new structures.
4731         (tree_node_structure): Update for new structures.
4732         (make_node_stat): Don't try to set DECL_IN_SYSTEM_HEADER on decls
4733         without the field.
4734         (copy_node_stat):  Copy init priority.
4735         (build_decl_stat): Ditto for visibility.
4736         (ts_enum_names): New.
4737         (tree_contains_struct_check_failed): New function.
4738         (decl_init_priority_lookup): Ditto.
4739         (decl_init_priority_insert): Ditto.
4740         * treestruct.def: New file.
4741         * tree.h (CODE_CONTAINS_STRUCT): New macro.
4742         (CONTAINS_STRUCT_CHECK): Ditto.
4743         (tree_contains_struct_check_failed): New prototype.
4744         (DECL_CHECK): Removed.
4745         (DECL_MINIMAL_CHECK): New.
4746         (DECL_COMMON_CHECK): Ditto.
4747         (DECL_WRTL_CHECK): Ditto.
4748         (DECL_NON_COMMON_CHECK): Ditto.
4749         (DECL_WITH_VIS_CHECK): Ditto.
4750         (VAR_OR_FUNCTION_DECL_P): Ditto
4751         (struct tree_decl_minimal): New structure.
4752         (struct tree_decl_common): Ditto.
4753         (struct tree_decl_with_rtl): Ditto.
4754         (struct tree_decl_with_vis): Ditto.
4755         (struct tree_decl_non_common): Ditto.
4756         (struct tree_field_decl): Ditto.
4757         (struct tree_parm_decl): Ditto.
4758         (struct tree_var_decl): Ditto.
4759         (struct tree_function_decl): Ditto.
4760         (struct tree_const_decl): Ditto.
4761         (struct tree_result_decl): Ditto.
4762         (union tree_node): Add new structures.
4763         * var-tracking.c (track_expr_p): Reverse order of tests.
4764
4765         * doc/c-tree.texi: Add documentation on DECL node internal structure.
4766
4767 2005-07-08  Kazu Hirata  <kazu@codesourcery.com>
4768
4769         * cfgexpand.c (tree_expand_cfg): Don't use FINALIZE_PIC.
4770         * system.h: Poison FINALIZE_PIC.
4771         * doc/tm.texi (FINALIZE_PIC): Remove.
4772
4773 2005-07-08  Andrew Pinski  <pinskia@physics.uc.edu>
4774
4775         PR tree-opt/22329
4776         * tree-ssa-propagate.c (fold_predicate_in): Convert the value
4777         to the correct type if we have a MODIFY_EXPR.
4778
4779 2005-07-08  Kazu Hirata  <kazu@codesourcery.com>
4780
4781         PR tree-optimization/22360
4782         * tree.c (upper_bound_in_type): Fix calculations for casting
4783         to a non-wider signed type and casting a signed value to a
4784         wider unsigned type.
4785         (lower_bound_in_type): Fix calculations for casting to a
4786         non-wider signed type.
4787
4788         PR tree-optimization/20139
4789         * tree-cfg.c (remove_bb): Check in_ssa_p before calling
4790         release_defs.
4791         * tree-optimize.c (execute_cleanup_cfg_post_optimizing): Call
4792         fold_cond_expr_cond.
4793         * tree-ssanames.c (release_defs): Assert in_ssa_p.
4794         * tree.c (upper_bound_in_type, lower_bound_in_type): Rewrite.
4795
4796 2005-07-08  Andrew Pinski  <pinskia@physics.uc.edu>
4797
4798         PR tree-opt/22356
4799         * tree-complex.c (expand_complex_libcall): Produce
4800         REALPART_EXPR/IMAGPART_EXPR with the correct type.
4801
4802 2005-07-08  Kenneth Zadeck <zadeck@naturalbridge.com>
4803
4804         * bitmap.c (bitmap_and, bitmap_and_into, bitmap_and_compl,
4805         bitmap_and_compl_into, bitmap_xor, bitmap_xor_into): Removed "a !=
4806         b" assert and inserted fastpath code for this case.
4807         (bitmap_ior): Removed "a != b" assert.
4808
4809 2005-07-08  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
4810
4811         * config/m32r/linux.h (STARTFILE_SPEC): Support PIE.
4812         (ENDFILE_SPEC): Likewise.
4813         * config/m32r/m32r.h (ASM_SPEC): Likewise.
4814
4815         * config/m32r/m32r.c (m32r_output_function_epilogue): Care for
4816         a large stack frame at epilogue.
4817
4818 2005-07-08  David Billinghurst  <David.Billinghurst@riotinto.com>
4819
4820         * final.c: Include sdbout.h when required.
4821
4822 2005-07-07  Geoffrey Keating  <geoffk@apple.com>
4823
4824         * config.gcc (*-*-darwin*): Only one target-specific header file
4825         for generic darwin.
4826         (powerpc-*-darwin*): Add version-specific header files.
4827         * configure.in (gcc_AC_CHECK_DECLS): Add strverscmp.
4828         * config.in: Regenerate.
4829         * configure: Regenerate.
4830         * gcc.c: Include xregex.h.
4831         (version_compare_spec_function): New.
4832         (spec_function): Add version-compare.
4833         (replace_outfile_spec_function): Reformat comment.
4834         (compare_version_strings): New.
4835         * config/darwin-c.c (version_as_macro): New.
4836         (builtin_define): New.
4837         (darwin_cpp_builtins): New.
4838         * config/darwin-protos.h (darwin_cpp_builtins): New.
4839         * config/darwin.h (CPP_SPEC): Don't define APPLE_CC here.
4840         (LIB_SPEC): Make unconditional, update comment.
4841         (TARGET_C99_FUNCTIONS): Define.
4842         * config/darwin.opt: Sort.
4843         (mmacosx-version-min=): New.
4844         * config/darwin7.h: Delete.
4845         * config/darwin8.h: Delete.
4846         * config/i386/darwin.h (): Call darwin_cpp_builtins.
4847         * config/rs6000/darwin.h (): Call darwin_cpp_builtins.
4848         (TARGET_C99_FUNCTIONS): Define.
4849         * config/rs6000/darwin7.h: New.
4850         * config/rs6000/darwin8.h: New.
4851         * doc/invoke.texi (Darwin Options): Add -mmacosx-version-min=
4852         (-mmacosx-version-min): Document.
4853
4854 2005-07-07  Ian Lance Taylor  <ian@airs.com>
4855
4856         * config/mips/mips.md (abs<mode>2) [GPR]: Remove.
4857
4858 2005-07-07  John David Anglin  <dave.anglin@nrc-crc.gc.ca>
4859
4860         PR middle-end/22239
4861         * loop.c (loop_givs_rescan): Check that v->new_reg is a REG.
4862
4863 2005-07-07  Khem Raj  <kraj@mvista.com>
4864
4865         * config/arm/arm.c (thumb_output_function_prologue): Calculate offset
4866         in bytes, not words.
4867
4868 2005-07-07  Paul Brook  <paul@codesourcery.com>
4869
4870         * config/arm/arm.c (arm_pad_arg_upward): Compare return value of
4871         DEFAULT_FUNCTION_ARG_PADDING to upward.
4872
4873 2005-07-07  Richard Henderson  <rth@redhat.com>
4874
4875         * function.c (locate_and_pad_parm): Record parameter alignment in
4876         stack_alignment_needed.
4877
4878 2005-07-07  David Edelsohn  <edelsohn@gnu.org>
4879
4880         * config/rs6000/rs6000.md (UNSPEC_SYNC, UNSPEC_SYNC_OP,
4881         UNSPEC_SYNC_SWAP, UNSPEC_LWSYNC, UNSPEC_ISYNC): Delete.
4882         (UNSPECV_LL, UNSPECV_SC, UNSPECV_ATOMIC, UNSPECV_SYNC,
4883         UNSPECV_SYNC_OP, UNSPECV_CMPXCHG, UNSPECV_LWSYNC, UNSPECV_ISYNC): New.
4884         (define_attr "type"): Add isync, sync, load_l, store_c.
4885         * config/rs6000/sync.md (memory_barrier): Change to define_expand.
4886         Create scratch volatile MEM.
4887         (sync_internal): New.  POWER mnemonic is dcs, not ics.  Attribute
4888         sync.
4889         (load_locked_<mode>): New.
4890         (store_conditional_<mode>): New.
4891         (sync_compare_and_swap<mode>): Replace with splitter.
4892         (sync_lock_test_and_set<mode>): Replace with splitter.
4893         (sync_<fetchop><mode>): Change to unspec_volatile UNSPECV_SYNC_OP
4894         and UNSPECV_ISYNC.
4895         (isync): Change to unspec_volatile UNSPECV_ISYNC.  POWER mnemonic
4896         is ics.  Attribute isync.
4897         (lwsync): Change to unspec_volatile UNSPECV_LWSYNC.  Attribute
4898         lwsync.
4899         * config/rs6000/rs6000.c (rs6000_emit_sync): Use UNSPEC_VOLATILE
4900         and UNSPECV_SYNC_OP.
4901         (emit_unlikely_jump): New.
4902         (emit_load_locked): New.
4903         (emit_store_conditional): New.
4904         (rs6000_split_compare_and_swap): New.
4905         (rs6000_split_lock_test_and_set): New.
4906         (is_dispatch_slot_restricted): Return 4 for TYPE_LOAD_L,
4907         TYPE_STORE_C, TYPE_ISYNC, TYPE_SYNC.
4908         * config/rs6000/rs6000-protos.h (rs6000_split_compare_and_swap,
4909         rs6000_split_lock_test_and_set): Declare.
4910         * config/rs6000/{40x.md,440.md,603.md,6xx.md,7450.md,7xx.md,8540.md,
4911         mpc.md,power4.md,power5.md,rios1.md,rios2.md,rs64.md): Add load_l,
4912         store_c, isync, sync.
4913
4914 2005-07-07  Kelley Cook  <kcook@gcc.gnu.org>
4915
4916         * Makefile.in (echo_quoted_to_gtyp): New template for outputing
4917         filenames to gtyp-gen.h.
4918         (s-typ-gen): Use it in place of for loops.
4919
4920 2005-07-07  J"orn Rennecke <joern.rennecke@st.com>
4921
4922         * hooks.c (hook_bool_rtx_int_false): New function.
4923         * hooks.h (hook_bool_rtx_int_false): Declare.
4924         * target-def.h (TARGET_COMMUTATIVE_P): Define.
4925         (TARGET_INITIALIZER): Add TARGET_COMMUTATIVE_P.
4926         * target.h (struct gcc_target): Add commutative_p member.
4927         * targhooks.c (hook_bool_rtx_commutative_p): New function.
4928         * targhooks.h (hook_bool_rtx_commutative_p): Declare.
4929         * pa.c (TARGET_COMMUTATIVE_P): Redefine.
4930         (pa_commutative_p): New function.
4931         * jump.c (target.h): Include.
4932         (rtx_renumbered_equal_p): Use targetm.commutative_p.
4933         * doc/tm.texi: Document TARGET_COMMUTATIVE_P.
4934
4935 2005-07-07  Adrian Straetling  <straetling@de.ibm.com>
4936
4937         * config/s390/s390-protos.h (s390_expand_clrmem): Delete.
4938         (s390_expand_setmem): New.
4939         * config/s390/s390.c: Likewise.
4940         (print_shift_count_operand): Truncate to 12 bits instead of 6.
4941         Adapt comments.
4942         * config/s390/s390.md: ("setmem<mode>"): Accept character as
4943         general_operand.  Call new function "s390_expand_setmem".
4944         ("clrmem_long", "*clrmem_long"): Rewrite to ...
4945         ("setmem_long", "*setmem_long"): ... this.
4946
4947 2005-07-07  Adrian Straetling  <straetling@de.ibm.com>
4948
4949         * config/s390/s390.c: (optimization_options): Enable
4950         TARGET_MVCLE at -Os.
4951         * doc/invoke.texi: Document changes in default behaviour.
4952         * config/s390/s390.opt: ("mvcle"): Fix typo: is "mmvcle".
4953
4954 2005-07-07  Adrian Straetling  <straetling@de.ibm.com>
4955
4956         * expr.c: (set_storage_via_setmem): Convert opchar to mode
4957         defined by back-end.
4958
4959 2005-07-07  Jakub Jelinek  <jakub@redhat.com>
4960
4961         * config/sparc/sparc.md (stack_protect_testsi): Put clobbers after
4962         all sets in the pattern.
4963         * config/rs6000/rs6000.md (stack_protect_testsi,
4964         stack_protect_testdi): Likewise.
4965
4966 2005-07-06  Jeff Law  <law@redhat.com>
4967
4968         * tree-vrp.c (simplify_using_ranges): Kill.
4969         (vrp_finalize): Remove call to simplify_using_ranges.
4970         (simplify_stmt_using_ranges): New function extracted from
4971         simplify_using_ranges.
4972         (simplify_div_or_mod_using_ranges): Likewise.
4973         (simplify_abs_using_ranges): Likewise.
4974         (simplify_cond_using_ranges): New function.
4975         * tree-flow.h (simplify_stmt_using_ranges): Prototype.
4976         * tree-ssa-propagate.c (substitute_and_fold): Call
4977         simplify_stmt_using_ranges if we have range information.
4978
4979 2005-07-06  James E. Wilson  <wilson@specifixinc.com>
4980
4981         * config/ia64/ia64.c (ia64_reorg): Check optimize before
4982         ia64_flag_schedule_isns2.
4983
4984         * config/ia64/ia64.c (ia64_expand_movxf_movrf): Don't word swap when
4985         reading/writing general registers.
4986         (ia64_function_arg): Revert 2005-06-18 change.
4987
4988 2005-07-06  John David Anglin  <dave.anglin@nrc-crnc.gc.ca>
4989
4990         * pa.c (legitimize_pic_address): Use gcc_assert instead of abort.
4991         (legitimize_tls_address): Use gcc_unreachable instead of abort.
4992
4993 2005-07-06  Kaz Kojima  <kkojima@gcc.gnu.org>
4994
4995         * function.c (expand_function_end): Revert part of 2005-06-27
4996         patch.  Do sjlj_emit_function_exit_after after return_label.
4997
4998 2005-07-06  Kazu Hirata  <kazu@codesourcery.com>
4999
5000         * doc/install.texi (--disable-libssp): New.
5001
5002 2005-07-06  Fariborz Jahanian <fjahanian@apple.com>
5003
5004         * doc/invoke.texi: Update -fforce-mem documentation.
5005         * dojump.c (compare_from_rtx,do_compare_rtx_and_jump): Remove
5006         code for -fforce-mem.
5007         * expmed.c: (store_bit_field,store_fixed_bit_field,
5008         extract_bit_field): Ditto.
5009         * expr.c: (convert_move): Ditto.
5010         * optabs.c: (expand_binop,expand_twoval_unop,expand_twoval_binop,
5011         expand_unop,emit_unop_insn,prepare_cmp_insn,emit_conditional_move,
5012         emit_conditional_add,expand_float,expand_fix): Ditto.
5013         * opts.c: (decode_options): Remove setting of flag_force_mem flag.
5014         (common_handle_option): Issue warning when -fforce-mem specified.
5015
5016 2005-07-06  Paul Brook  <paul@codesourcery.com>
5017
5018         * aclocal.m4: Work around a bug in AC_PATH_PROGS when its last
5019         argument is empty.
5020         * configure: Regenerate.
5021
5022 2005-07-06  J"orn Rennecke <joern.rennecke@st.com>
5023
5024         * sh.c (final_prescan_insn): Undo bogus change from 2005-05-09.
5025
5026 2005-07-06  Daniel Berlin  <dberlin@dberlin.org>
5027
5028         Fix PR tree-optimization/22319
5029         Fix PR tree-optimization/22140
5030         Fix PR tree-optimization/22310
5031
5032         * tree-ssa-structalias.c (do_structure_copy): Give up earlier on
5033         variable sized types.
5034         Use correct type for intermediate structure on *a = *b structure
5035         copies.
5036
5037 2005-07-06  Jakub Jelinek  <jakub@redhat.com>
5038
5039         * config/rs6000/rs6000.h (RS6000_VARARGS_AREA, RS6000_VARARGS_SIZE):
5040         Remove.
5041         (STARTING_FRAME_OFFSET): Don't add RS6000_VARARGS_AREA.
5042         (machine_function): Move typedef to...
5043         * config/rs6000/rs6000.c (machine_function): ... here.  Add
5044         varargs_save_offset field.
5045         (rs6000_stack_t): Remove varargs_size field.
5046         (setup_incoming_varargs): Allocate varargs save area using
5047         assign_stack_local, try to make it as small as possible.
5048         Save offset from virtual_stack_vars_rtx to the save area
5049         in cfun->machine->varargs_save_offset.  Use UNITS_PER_FP_WORD
5050         instead of magic 8 when fp word byte size is used.
5051         (rs6000_va_start): Use cfun->machine->varargs_save_offset
5052         instead of -RS6000_VARARGS_SIZE.
5053         (rs6000_stack_info, debug_stack_info,
5054         rs6000_initial_elimination_offset): Remove all traces of
5055         varargs_size.
5056         * config/rs6000/sysv4.h (RS6000_VARARGS_AREA): Remove.
5057         * config/rs6000/darwin.h (STARTING_FRAME_OFFSET): Don't add
5058         RS6000_VARARGS_AREA.
5059
5060 2005-07-06  Zdenek Dvorak  <dvorakz@suse.cz>
5061
5062         PR tree-optimization/21963
5063         * tree-ssa-loop-ivopts.c (get_computation_aff): Use
5064         constant_multiple_of in the same way get_computation_cost_at does.
5065
5066 2005-07-06  Jakub Jelinek  <jakub@redhat.com>
5067
5068         * config/sparc/sparc.h (sparc_compare_emitted): New extern.
5069         * config/sparc/sparc.c (sparc_compare_emitted): New variable.
5070         (gen_compare_reg): If sparc_compare_emitted is set, clear it
5071         and return its previous value.
5072         (emit_v9_brxx_insn): Assert sparc_compare_emitted is NULL.
5073         * config/sparc/sparc.md (UNSPEC_SP_SET, UNSPEC_SP_TEST): New
5074         constants.
5075         (stack_protect_set, stack_protect_test): New expanders.
5076         (stack_protect_setsi, stack_protect_setdi, stack_protect_testsi,
5077         stack_protect_testdi): New insns.
5078         * config/sparc/linux.h (TARGET_THREAD_SSP_OFFSET): Define.
5079         * config/sparc/linux64.h (TARGET_THREAD_SSP_OFFSET): Define.
5080
5081 2005-07-06  Jeff Law  <law@redhat.com>
5082
5083         * tree-ssa-dce.c (cfg_altered): New global.
5084         (tree_dce_init): Initialize cfg_altered.
5085         (remove_dead_stmt): If we remove an edge in the CFG, then set
5086         CFG_ALTERED.
5087         (perform_tree_ssa_dce): If we altered the CFG, then invalidate
5088         the dominators.
5089
5090 2005-07-06  Kazu Hirata  <kazu@codesourcery.com>
5091
5092         * Makefile.in (stamp-collect-ld): Use
5093         $(ORIGINAL_LD_FOR_TARGET) instead of $<.  Don't remove
5094         ./collect-ld if it already exists.
5095         (stamp-nm): Use $(ORIGINAL_NM_FOR_TARGET) instead of $<.
5096         Don't remove ./nm if it already exists.
5097
5098 2005-07-05  Devang Patel  <dpatel@apple.com>
5099
5100         * tree-vectorizer.h (struct _loop_vec_info): Remove loop_line_number.
5101         (LOOP_VINFO_LOC, LOOP_LOC): Remove.
5102         * tree-vectorizer.c (vect_loop_location): New.
5103         (vect_print_dump_info): Use vect_loop_location.
5104         (new_loop_vec_info): Do not set LOOP_VINFO_LOC.
5105         (vectorize_loops): Set vect_loop_location.
5106         * tree-vect-analyze.c (vect_analyze_offset_expr,
5107         vect_determin_vectorization_factor, vect_analyze_operations,
5108         vect_analyze_scalar_cycles, vect_analyze_data_ref_dependence,
5109         vect_analyze_data_ref_dependences, vect_compute_data_ref_alignment,
5110         vect_analyze_data_refs_alignment, vect_analyze_data_ref_access,
5111         vect_analyze_data_ref_accesses, vect_analyze_pointer_ref_access,
5112         vect_object_analysis, vect_analyze_data_refs, vect_mark_relevant,
5113         vect_stmt_relevant_p, vect_mark_stmts_to_be_vectorized,
5114         vect_can_advance_ivs_p, vect_get_loop_niters, vect_analyze_loop_form,
5115         vect_analyze_loop): Adjust vect_print_dump_info API.
5116         * tree-vect-transform.c (vect_create_addr_base_for_vector_ref,
5117         vect_create_data_ref_ptr, vect_init_vector, vect_get_vec_def_for_operand,
5118         vect_finish_stmt_generation, vectorizable_assignment,
5119         vectorizable_operation, vectorizable_store, vectorizable_load,
5120         vectorizable_live_operation, vectorizable_condition, vect_transform_stmt,
5121         vect_update_ivs_after_vectorizer, vect_do_peeling_for_loop_bound,
5122         vect_gen_ninters_for_prolog_loop, vect_do_peeling_for_alignment,
5123         vect_transform_loop): Same.
5124         * tree-vectorizer.c (get_vectype_for_scalar_type, vect_is_simple_use,
5125         vect_is_simple_reduction, vect_is_simple_iv_evolution, vectorize_loops):
5126         Same.
5127
5128 2005-07-05  Randolph Chung  <tausq@debian.org>
5129
5130         * configure.ac (hppa*-*-linux*: Check for a TLS capable gas.
5131         * configure: Regenerate.
5132         * config/pa/pa-protos.h (tls_symbolic_operand): Declare.
5133         (pa_tls_referenced_p): Declare.
5134         * config/pa/pa.c (legitimize_pic_address): Reject TLS operands.
5135         (gen_tls_tga, gen_tls_get_addr, hppa_tls_call): New.
5136         (legitimize_tls_address): New.
5137         (hppa_legitimize_address): Handle TLS addresses.
5138         (pa_tls_symbol_ref_1, pa_tls_referenced_p): New.
5139         (TARGET_CANNOT_FORCE_CONST_MEM): Define.
5140         (emit_move_sequence): Handle TLS addresses.
5141         (pa_encode_section_info): Call default handler to handle common
5142         sections.
5143         * config/pa/pa.h (PA_SYMBOL_REF_TLS_P): New.
5144         (CONSTANT_ADDRESS_P): Reject TLS operands.
5145         (TARGET_HAVE_TLS) [HAVE_AS_TLS]: Define.
5146         * config/pa/pa.md (UNSPEC_TP, UNSPEC_TLSGD, UNSPEC_TLSLDM)
5147         (UNSPEC_TLSLDO, UNSPEC_TLSLDBASE, UNSPEC_TLSIE)
5148         (UNSPEC_TLSLE): Define new constants.
5149         (tgd_load, tld_load, tld_offset_load, tp_load, tie_load, tle_load): New.
5150         * config/pa/predicates.md (symbolic_operand): Reject TLS operands.
5151         (tls_symbolic_operand, tgd_symbolic_operand, tld_symbolic_operand)
5152         (tie_symbolic_operand, tle_symbolic_operand): New
5153
5154 2005-07-06  Kelley Cook  <kcook@gcc.gnu.org>
5155
5156         * aclocal.m4: Update macros for autoconf 2.59 style.
5157         * configure.ac: Likewise.
5158
5159 2005-07-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
5160
5161         * pa.c (function_value): Handle small aggregates on 32-bit targets.
5162         (function_arg): Pass small aggregates in general registers on 32-bit
5163         targets.
5164         * som.h (MEMBER_TYPE_FORCES_BLK): Delete define.
5165
5166 2005-07-05  Andrew Pinski  <pinskia@physics.uc.edu>
5167
5168         * Makefile.in (final.o): Fix dependencies.
5169
5170 2005-07-05  Joseph S. Myers  <joseph@codesourcery.com>
5171
5172         PR c/22013
5173         PR c/22098
5174         * langhooks.h (struct lang_hooks): Add expr_to_decl.
5175         * langhooks.c (lhd_expr_to_decl): New.
5176         * langhooks-def.h (lhd_expr_to_decl, LANG_HOOKS_EXPR_TO_DECL):
5177         New.
5178         (LANG_HOOKS_INITIALIZER): Update.
5179         * tree.c (recompute_tree_invarant_for_addr_expr): Call
5180         expr_to_decl langhook.
5181         * c-tree.h (c_expr_to_decl): Declare.
5182         * c-typeck.c (c_expr_to_decl): New.
5183         (build_unary_op): Do not handle ADDR_EXPR of COMPOUND_LITERAL_EXPR
5184         specially.
5185         * c-objc-common.h (LANG_HOOKS_EXPR_TO_DECL): Define.
5186
5187 2005-07-05  Joseph S. Myers  <joseph@codesourcery.com>
5188
5189         PR c/22308
5190         * c-decl.c (finish_struct): Also copy C_TYPE_FIELDS_READONLY,
5191         C_TYPE_FIELDS_VOLATILE and C_TYPE_VARIABLE_SIZE to type variants.
5192
5193 2005-07-05  Paolo Bonzini  <bonzini@gnu.org>
5194
5195         * Makefile.in: Adjust dependencies.
5196         * tree-pass.h: Add new passes and passes formerly in tree-optimize.c.
5197         * basic-block.h (duplicate_computed_gotos): Remove, it is now static.
5198         * alias.c (rest_of_handle_cfg, pass_cfg): New.
5199         * bb-reorder.c (duplicate_computed_gotos): Make it static.
5200         * cfgexpand.c (tree_expand_cfg): Add code formerly at the beginning of
5201         rest_of_compilation.
5202
5203         * bb-reorder.c (gate_duplicate_computed_gotos,
5204         pass_duplicate_computed_gotos, gate_handle_reorder_blocks,
5205         rest_of_handle_reorder_blocks, pass_reorder_blocks,
5206         gate_handle_partition_blocks, rest_of_handle_partition_blocks,
5207         pass_partition_blocks): New.
5208         * bt-load.c (gate_handle_branch_target_load_optimize,
5209         rest_of_handle_branch_target_load_optimize,
5210         pass_branch_target_load_optimize): New.
5211         * cfgcleanup.c (rest_of_handle_jump, pass_jump, rest_of_handle_jump2,
5212         pass_jump2): New.
5213         * cfglayout.c (pass_insn_locators_initialize): New.
5214         * cfgrtl.c (pass_free_cfg): New.
5215         * combine.c (gate_handle_combine, rest_of_handle_combine,
5216         pass_combine): New.
5217         * cse.c (gate_handle_cse, rest_of_handle_cse, pass_cse,
5218         gate_handle_cse2, rest_of_handle_cse2, pass_cse2): New.
5219         * emit-rtl.c (pass_unshare_all_rtl, pass_remove_unnecessary_notes): New.
5220         * except.c (pass_set_nothrow_function_flags,
5221         pass_convert_to_eh_region_ranges, gate_handle_eh, rest_of_handle_eh,
5222         pass_rtl_eh): New.
5223         * final.c (pass_compute_alignments, rest_of_handle_final, pass_final,
5224         rest_of_handle_shorten_branches, pass_shorten_branches,
5225         rest_of_clean_state, pass_clean_state): New.
5226         * flow.c (pass_recompute_reg_usage, gate_remove_death_notes,
5227         rest_of_handle_remove_death_notes, pass_remove_death_notes,
5228         rest_of_handle_life, pass_life, rest_of_handle_flow2,
5229         pass_flow2): New.
5230         * function.c (pass_instantiate_virtual_regs, pass_init_function,
5231         rest_of_handle_check_leaf_regs, pass_leaf_regs): New.
5232         * gcse.c (gate_handle_jump_bypass, rest_of_handle_jump_bypass,
5233         pass_jump_bypass, gate_handle_gcse, rest_of_handle_gcse,
5234         pass_gcse): New.
5235         * global.c (rest_of_handle_global_alloc, pass_global_alloc): New.
5236         * ifcvt.c (gate_handle_if_conversion, rest_of_handle_if_conversion,
5237         pass_rtl_ifcvt, gate_handle_if_after_combine,
5238         rest_of_handle_if_after_combine, pass_if_after_combine,
5239         gate_handle_if_after_reload, rest_of_handle_if_after_reload,
5240         pass_if_after_reload): New.
5241         * integrate.c (pass_initial_value_sets): New.
5242         * jump.c (pass_cleanup_barriers, purge_line_number_notes,
5243         pass_purge_lineno_notes): New.
5244         * mode-switching.c (rest_of_handle_mode_switching,
5245         pass_mode_switching): New.
5246         * local-alloc.c (rest_of_handle_local_alloc, pass_local_alloc): New.
5247         * loop-init.c (gate_handle_loop2, rest_of_handle_loop2,
5248         pass_loop2): New.
5249         * loop.c (gate_handle_loop_optimize, rest_of_handle_loop_optimize,
5250         pass_loop_optimize): New.
5251         * modulo-sched.c (gate_handle_sms, rest_of_handle_sms,
5252         pass_sms): New.
5253         * postreload-gcse.c (gate_handle_gcse2, rest_of_handle_gcse2,
5254         pass_gcse2): New.
5255         * postreload.c (gate_handle_postreload, rest_of_handle_postreload,
5256         pass_postreload_cse): New.
5257         * profile.c (gate_handle_profiling, pass_profiling,
5258         rest_of_handle_branch_prob, pass_branch_prob): New.
5259         * recog.c (pass pass_split_for_shorten_branches, gate_do_final_split,
5260         pass_split_before_regstack, gate_handle_split_before_regstack,
5261         gate_handle_peephole2, rest_of_handle_peephole2, pass_peephole2,
5262         rest_of_handle_split_all_insns, pass_split_all_insns): New.
5263         * reg-stack.c (gate_handle_stack_regs, rest_of_handle_stack_regs,
5264         pass_stack_regs): New.
5265         * regmove.c (gate_handle_regmove, rest_of_handle_regmove, pass_regmove,
5266         gate_handle_stack_adjustments, rest_of_handle_stack_adjustments,
5267         pass_stack_adjustments): New.
5268         * regrename.c (gate_handle_regrename, rest_of_handle_regrename,
5269         pass_regrename): New.
5270         * reorg.c (gate_handle_delay_slots, rest_of_handle_delay_slots,
5271         pass_delay_slots, gate_handle_machine_reorg,
5272         rest_of_handle_machine_reorg, pass_machine_reorg): New.
5273         * rtl.h (extern void purge_line_number_notes): New.
5274         * sched-rgn.c (gate_handle_sched, rest_of_handle_sched,
5275         gate_handle_sched2, rest_of_handle_sched2, pass_sched,
5276         pass_sched2): New.
5277         * tracer.c (gate_handle_tracer, rest_of_handle_tracer,
5278         pass_tracer): New.
5279         * value-prof.c (gate_handle_value_profile_transformations,
5280         rest_of_handle_value_profile_transformations,
5281         pass_value_profile_transformations): New.
5282         * var-tracking.c (gate_handle_var_tracking,
5283         pass_variable_tracking): New.
5284         * web.c (gate_handle_web, rest_of_handle_web, pass_web): New.
5285
5286         * passes.c (open_dump_file, close_dump_file, rest_of_handle_final,
5287         rest_of_handle_delay_slots, rest_of_handle_stack_regs,
5288         rest_of_handle_variable_tracking, rest_of_handle_machine_reorg,
5289         rest_of_handle_old_regalloc, rest_of_handle_regrename,
5290         rest_of_handle_reorder_blocks, rest_of_handle_partition_blocks,
5291         rest_of_handle_sms, rest_of_handle_sched, rest_of_handle_sched2,
5292         rest_of_handle_gcse2, rest_of_handle_regmove,
5293         rest_of_handle_tracer, rest_of_handle_if_conversion,
5294         rest_of_handle_if_after_combine, rest_of_handle_if_after_reload,
5295         rest_of_handle_web, rest_of_handle_branch_prob,
5296         rest_of_handle_value_profile_transformations, rest_of_handle_cfg,
5297         rest_of_handle_jump_bypass, rest_of_handle_combine,
5298         rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
5299         rest_of_handle_gcse, rest_of_handle_loop_optimize,
5300         rest_of_handle_loop2, rest_of_handle_branch_target_load_optimize,
5301         rest_of_handle_mode_switching, rest_of_handle_jump,
5302         rest_of_handle_eh, rest_of_handle_stack_adjustments,
5303         rest_of_handle_flow2, rest_of_handle_jump2,
5304         rest_of_handle_peephole2, rest_of_handle_postreload,
5305         rest_of_handle_shorten_branches, rest_of_clean_state,
5306         rest_of_compilation): Remove.
5307
5308         * cgraphunit.c (ipa_passes): Moved from tree-optimize.c.
5309         * passes.c (dump_flags, in_gimple_form, all_passes,
5310         all_ipa_passes, all_lowering_passes, register_one_dump_file,
5311         register_dump_files, next_pass_1, last_verified, execute_todo,
5312         execute_one_pass, execute_pass_list, execute_ipa_pass_list): Moved
5313         from tree-optimize.c.
5314         (init_optimization_passes): Moved from tree-optimize.c,
5315         adding the RTL optimizations.
5316         * tree-dump.h (dump_info_p, dump_flag): Moved from tree.h.
5317         * tree-optimize.c (dump_flags, in_gimple_form, all_passes,
5318         all_ipa_passes, all_lowering_passes, register_one_dump_file,
5319         register_dump_files, next_pass_1, last_verified, execute_todo,
5320         execute_one_pass, execute_pass_list, execute_ipa_pass_list,
5321         init_tree_optimization_passes, ipa_passes): Delete.
5322         * tree-pass.h (enum tree_dump_index): Moved from tree.h, removing
5323         the RTL dumps.
5324         (TDF_*, get_dump_file_name, dump_enabled_p, dump_initialized_p,
5325         dump_begin, dump_end, dump_node, dump_switch_p, dump_flag_name): Moved
5326         from tree.h.
5327         (ipa_passes): Remove.
5328         (all_passes, all_ipa_passes, all_lowering_passes): Now extern.
5329         * tree.h (enum tree_dump_index, TDF_*, get_dump_file_name,
5330         dump_enabled_p, dump_initialized_p, dump_begin, dump_end, dump_node,
5331         dump_switch_p, dump_flag_name): Moved to tree-pass.h.
5332         (dump_info_p, dump_flag): Moved to tree-dump.h.
5333
5334         * Makefile.in: Adjust dependencies for tree-pretty-print.c,
5335         cgraph.c, opts.c.
5336         * passes.c (finish_optimization_passes): Use dump_begin
5337         and dump_end, TDI_end.
5338         (gate_rest_of_compilation): New.
5339         (pass_rest_of_compilation): Use it.
5340         (gate_postreload, pass_postreload): New.
5341         * toplev.c (general_init): Rename init_tree_optimization_passes.
5342         * toplev.h (init_tree_optimization_passes): Rename to
5343         init_optimizations_passes.
5344         * tree-dump.c (dump_flag): Make static.
5345         (dump_files): Remove RTL dumps.
5346         * tree-optimize.c (pass_all_optimizations, pass_early_local_passes,
5347         pass_cleanup_cfg, pass_free_cfg_annotations,
5348         pass_cleanup_cfg_post_optimizing, pass_free_datastructures,
5349         pass_init_datastructures, pass_fixup_cfg): Make non-static.
5350         * tree-pretty-print.c: Include tree-pass.h.
5351         * cgraph.c: Include tree-dump.h.
5352
5353 2005-07-04  Daniel Berlin  <dberlin@dberlin.org>
5354
5355         * tree-ssa-structalias.c (get_constraint_exp_from_ssa_var):
5356         Only fall back to saying it points to readonly memory if
5357         we can't do better.
5358
5359 2005-07-05  Kazuhiro Inaoka  <inaoka.kazuhiro@renesas.com>
5360
5361         * config/m32r/m32r-protos.h: Remove m32r_finalize_pic.
5362         * config/m32r/m32r.c (m32r_compute_frame_size,
5363         m32r_expand_prologue): Take current_function_profile into
5364         account whenever we reference
5365         current_function_uses_pic_offset_table.
5366         (m32r_finalize_pic): Remove.
5367         * config/m32r/m32r.h (FINALIZE_PIC): Likewise.
5368
5369 2005-07-05  Kazu Hirata  <kazu@codesourcery.com>
5370
5371         * Makefile.in (stamp-as): Use $(ORIGINAL_AS_FOR_TARGET)
5372         instead of $<.  Don't remove ./as if it already exists.
5373
5374 2005-07-04  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
5375
5376         PR target/21723
5377         * pa.md: Remove fcpy alternative from movhi and movqi patterns.
5378         * pa32-regs.h (HARD_REGNO_NREGS): Return two floating point registers
5379         for complex modes when generating code for PA 1.0.
5380         (VALID_FP_MODE_P): New macro.
5381         (HARD_REGNO_MODE_OK): Use VALID_FP_MODE_P.  Use non-overlapping register
5382         sets for all general and floating point modes.  Align wide floating
5383         point modes to even register boundaries to comply with architectural
5384         requirements.
5385         (CLASS_MAX_NREGS): Update to align with change to HARD_REGNO_NREGS.
5386         * pa64-regs.h (HARD_REGNO_NREGS): Update comment and formatting.
5387         (VALID_FP_MODE_P): New macro.
5388         (HARD_REGNO_MODE_OK): Use VALID_FP_MODE_P.  Use non-overlapping register
5389         sets for all general and floating point modes.  Align wide floating
5390         point modes to even register boundaries to comply with architectural
5391         requirements.
5392
5393 2005-07-04  Diego Novillo  <dnovillo@redhat.com>
5394
5395         * tree-dump.c (dump_files): Initialize dump number for .cgraph
5396         to 0.
5397
5398 2005-07-04  Diego Novillo  <dnovillo@redhat.com>
5399
5400         * tree-ssa-structalias.c: Don't include expr.h.
5401
5402 2005-07-04  Diego Novillo  <dnovillo@redhat.com>
5403
5404         * tree-iterator.h (TSI_NEW_STMT, TSI_SAME_STMT): Fix
5405         comments.
5406
5407 2005-07-04  Daniel Berlin  <dberlin@dberlin.org>
5408
5409         Fix PR tree-optimization/22279
5410
5411         * tree-ssa-structalias.c (offset_overlaps_with_access): Use
5412         correct operator.
5413
5414 2005-07-04  J"orn Rennecke <joern.rennecke@st.com>
5415
5416         * sh.c (output_ieee_ccmpeq): Replace "\\;" with "\n\t".
5417
5418 2005-07-03  Joseph S. Myers  <joseph@codesourcery.com>
5419
5420         * bb-reorder.c, c-pch.c, c-pragma.c, c.opt, cfghooks.c, cfgloop.c,
5421         cfgrtl.c, cgraphunit.c, config/c4x/c4x.c, config/cris/cris.c,
5422         config/frv/frv.c, config/host-darwin.c, config/iq2000/iq2000.c,
5423         config/lynx.h, config/m68k/m68k.c, config/pa/pa.c, config/sh/sh.h,
5424         config/stormy16/stormy16.c, config/v850/v850.c,
5425         config/vax/netbsd-elf.h, coverage.c, dwarf2out.c, emit-rtl.c,
5426         except.c, gcc.c, tree-cfg.c, tree-eh.c, tree-ssa.c, xcoffout.c:
5427         Avoid "." or "\n" at end of diagnostics and capital letters at
5428         start of diagnostics.
5429         * combine.c, cse.c: Don't translate dump file output.
5430         * toplev.c (print_version): Only translate output if going to
5431         stderr.
5432
5433 2005-07-03  Kazu Hirata  <kazu@codesourcery.com>
5434
5435         * c-decl.c, tree-object-size.c, tree-vectorizer.c,
5436         config/arm/unwind-arm.c, config/arm/unwind-arm.h: Fix comment
5437         typos.
5438
5439 2005-07-03  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
5440
5441         * pa.c (fix_range): Fix typo in comment.
5442
5443 2005-07-03  Kazu Hirata  <kazu@codesourcery.com>
5444
5445         * tree-vrp.c (extract_range_from_assert): Replace
5446         fold (build (...)) with fold_build2.
5447
5448 2005-07-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
5449
5450         * c-format.c (gcc_gfc_format_type, gcc_gfc_flag_pairs,
5451         gcc_gfc_char_table, init_dynamic_gfc_info): New.
5452         (format_types_orig, handle_format_attribute): Add support for
5453         format "gcc_gfc".
5454
5455 2005-07-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
5456
5457         * varasm.c (assemble_variable): Fix format specifier thinko.
5458
5459 2005-07-03  Ira Rosen  <irar@il.ibm.com>
5460
5461         PR tree-optimization/22029 (and 22135)
5462         * tree-pretty-print.c (dump_generic_node): Check that the node is not
5463         a phi node before calling dump_vops.
5464
5465 2005-07-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
5466
5467         * tree-dump.h (dump_string_field): Declare.
5468         * tree-dump.c: Use it instead of dump_string.
5469         (dump_string_field): Make non-static.
5470
5471 2005-07-03  Kaz Kojima  <kkojima@gcc.gnu.org>
5472
5473         * config/sh/sh.c (sh_output_mi_thunk): Initialize and clean
5474         up the minimal CFG stuff always when optimize > 0.  Call
5475         split_all_insns_noflow in PIC case if needed.
5476
5477 2005-07-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
5478             Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de>
5479
5480         PR c++/18279
5481         * c-decl.c (c_write_global_declarations): Dump contents of
5482         external scope to.
5483         * tree-dump.c (dequeue_and_dump): Dump abstract origin of a decl.
5484         <TRY_FINALLY_EXPR>, <RETURN_EXPR>, <CASE_LABEL_EXPR>, <LABEL_EXPR>,
5485         <GOTO_EXPR>, <SWITCH_EXPR>: Add.
5486         (dump_enabled_p): Return TRUE if PHASE is TDI_all and any dump
5487         is enabled.
5488
5489 2005-07-03  Joseph S. Myers  <joseph@codesourcery.com>
5490
5491         * c-common.h (GCC_DIAG_STYLE): Define.
5492         * c-tree.h (GCC_DIAG_STYLE): Do not define.  Change minimum GCC
5493         version for format checking to 4.1.
5494         * c-format.c: Include toplev.h after c-common.h.
5495         (enum format_type): Add gcc_tdiag_format_type.
5496         (gcc_tdiag_length_specs, gcc_tdiag_flag_pairs,
5497         gcc_tdiag_flag_specs, gcc_tdiag_char_table): New.
5498         (format_types_orig): Add gcc_tdiag.
5499         (init_dynamic_diag_info): Support gcc_tdiag formats.
5500         (handle_format_attribute): Likewise.
5501         * toplev.h (NO_FRONT_END_DIAG, ATTRIBUTE_GCC_FE_DIAG): Remove.
5502         (GCC_DIAG_STYLE): Default to __gcc_tdiag__.  Change minimum GCC
5503         version for format checking to 4.1.
5504         (warning0, warning, error, pedwarn, sorry): Use
5505         ATTRIBUTE_GCC_DIAG.
5506         * config/rs6000/rs6000.c (altivec_expand_builtin), varasm.c
5507         (finish_aliases_1): Do not use %qE.
5508         * config/arm/arm.c, config/i386/i386.c, config/mmix/mmix.c,
5509         config/pdp11/pdp11.c, stor-layout.c, tree-eh.c, tree-ssa.c:
5510         Correct format bugs.
5511         * config/v850/v850-protos.h (v850_output_aligned_bss): Change size
5512         parameter to unsigned HOST_WIDE_INT.
5513         * config/v850/v850.c (v850_output_aligned_bss): Likewise.
5514
5515 2005-07-02  David Edelsohn  <edelsohn@gnu.org>
5516
5517         PR middle-end/21742
5518         * expr.c (write_complex_part): Use adjust_address for MEM.
5519         (read_complex_part): Same.
5520
5521 2005-07-02  Daniel Berlin  <dberlin@dberlin.org>
5522
5523         Fix PR tree-optimization/22280
5524
5525         * tree-sra.c (generate_element_init): Remove useless loop.
5526
5527 2005-07-02  Richard Henderson  <rth@redhat.com>
5528
5529         * config/alpha/alpha.c (alpha_legitimize_address): Check for
5530         TLS_MODEL_NONE.
5531         (alpha_stdarg_optimize_hook): Use DECL_UID with va_list_vars.
5532
5533 2005-07-02  Andrew Pinski  <pinskia@physics.uc.edu>
5534
5535         PR middle-end/14490
5536         * fold-const.c (fold_binary): Handle the return value of
5537         fold_to_nonsharp_ineq_using_bound if we get back the same operand back.
5538         Implement "X +- C1 CMP C2" folding to "X CMP C2 -+ C1".
5539
5540 2005-07-02  Jeff Law  <law@redhat.com>
5541
5542         * tree-ssa-dom.c (find_equivalent_equality_comparison): Do not
5543         a eliminate type conversion which feeds an equality comparison
5544         if the original type or either operand in the comparison is a
5545         function pointer.
5546
5547 2005-07-02  Joseph S. Myers  <joseph@codesourcery.com>
5548
5549         * c.opt, common.opt, config/bfin/bfin.opt, config/pa/pa.opt,
5550         config/rs6000/rs6000.opt, params.def: Remove "." from end of help
5551         texts.
5552         * config/avr/avr.c: Do not use '`' as left quote.
5553         * config/rs6000/rs6000.c, config/s390/s390.c, opts.c, tree.c:
5554         Remove "." from end of diagnostics.  Make diagnostics start with
5555         lowercase letter.
5556
5557 2005-07-02  Zack Weinberg  <zack@codesourcery.com>
5558             Joseph S. Myers  <joseph@codesourcery.com>
5559
5560         * toplev.c (default_tree_printer): Handle setting location with
5561         '+' flag.
5562         * c-objc.common.c (c_tree_printer): Likewise.
5563         * c-format.c (gcc_diag_flag_specs): Add '+'.
5564         (gcc_cdiag_char_table): Allow '+' flag for tree formats.
5565         (format_types_orig): Allow '+' flag for gcc_diag and gcc_cdiag
5566         formats.
5567         * c-common.c, c-decl.c, c-objc-common.c, c-pragma.c,
5568         config/arm/pe.c, config/i386/winnt.c, config/ia64/ia64.c,
5569         config/mcore/mcore.c, config/sh/symbian.c, config/sol2.c,
5570         config/v850/v850.c, function.c, stor-layout.c, toplev.c,
5571         tree-inline.c, tree-optimize.c, tree.c, varasm.c: Use '+' flag
5572         instead of %J or %H.  Use 'q' flag for quoting.  Avoid '.' at end
5573         of diagnostics.  Use %q+D not %s for a decl.  Do not pass excess
5574         format arguments where %J is used without %D.
5575
5576 2005-07-02  Jakub Jelinek  <jakub@redhat.com>
5577
5578         * gcc.c (LINK_SSP_SPEC): Define.
5579         (link_ssp_spec): New variable.
5580         (LINK_COMMAND_SPEC): Add %(link_ssp).
5581         (static_specs): Add link_ssp_spec.
5582         * configure.ac (TARGET_LIBC_PROVIDES_SSP): New test.
5583         * configure: Rebuilt.
5584         * config.in: Rebuilt.
5585
5586         * config/rs6000/linux.h (TARGET_THREAD_SSP_OFFSET): Define.
5587         * config/rs6000/linux64.h (TARGET_THREAD_SSP_OFFSET): Likewise.
5588         * config/i386/linux.h (TARGET_THREAD_SSP_OFFSET): Likewise.
5589         * config/i386/linux64.h (TARGET_THREAD_SSP_OFFSET): Likewise.
5590         * config/rs6000/rs6000.md (stack_protect_set, stack_protect_test):
5591         If TARGET_THREAD_SSP_OFFSET is defined, use -0x7010(13) resp.
5592         -0x7008(2) instead of reading __stack_chk_guard variable.
5593         * config/i386/i386.md (UNSPEC_SP_SET, UNSPEC_SP_TEST): Change
5594         number.
5595         (UNSPEC_SP_TLS_SET, UNSPEC_SP_TLS_TEST): New constants.
5596         (stack_protect_set, stack_protect_test): Use *_tls* patterns
5597         if TARGET_THREAD_SSP_OFFSET is defined.
5598         (stack_tls_protect_set_si, stack_tls_protect_set_di,
5599         stack_tls_protect_test_si, stack_tls_protect_test_di): New insns.
5600
5601         Revert:
5602         2005-06-27  Richard Henderson  <rth@redhat.com>
5603         * libgcc-std.ver (GCC_4.1.0): New.
5604         * libgcc.h (__stack_chk_guard): Declare.
5605         (__stack_chk_fail, __stack_chk_fail_local): Declare.
5606         * libgcc2.c (L_stack_chk, L_stack_chk_local): New.
5607         * mklibgcc.in (lib2funcs): Add them.
5608
5609 2005-07-01  Richard Henderson  <rth@redhat.com>
5610
5611         * config/i386/linux-unwind.h (x86_64_fallback_frame_state): Cast to
5612         void * before struct sigcontext *.
5613         (x86_fallback_frame_state): Likewise.
5614
5615 2005-07-01  James E. Wilson  <wilson@specifixinc.com>
5616
5617         * doc/invoke.texi (-funit-at-a-time): Correct grammar in second bullet.
5618
5619 2005-07-01  Andrew Pinski  <pinskia@physics.uc.edu>
5620
5621         PR tree-opt/22269
5622         * tree-ssa-reassoc.c (should_transpose): Fix which operand
5623         we check for SSA_NAME for.
5624
5625 2005-07-01  Daniel Berlin  <dberlin@dberlin.org>
5626
5627         Fix PR tree-optimization/22071
5628
5629         * tree-ssa-structalias.c (offset_overlaps_with_access): New
5630         function.
5631         (get_constraint_for_component_ref): Use it.
5632
5633 2005-07-01  Andrew Pinski  <pinskia@physics.uc.edu>
5634
5635         PR other/22264
5636         * diagnostic.c (diagnostic_report_current_module): Use pp_newline to
5637         print out the last new line.
5638
5639 2005-07-01  Hans-Peter Nilsson  <hp@axis.se>
5640
5641         * config/cris/cris.md (CRIS_CC0_REGNUM): New constant.
5642         Swap numbers for CRIS_AP_REGNUM and CRIS_MOF_REGNUM.
5643         * config/cris/cris.c (cris_conditional_register_usage): Adjust
5644         reg_names[CRIS_CC0_REGNUM] for early CRIS versions.
5645         (cris_print_operand) <case REG>: Handle CRIS_CC0_REGNUM.
5646         (cris_md_asm_clobbers): Clobber CRIS_CC0_REGNUM for all asms.
5647         * config/cris/cris.h (CRIS_CANONICAL_CC0_REGNUM): New macro.
5648         (enum reg_class): New member CC0_REGS.
5649         (REG_CLASS_FROM_LETTER): Add 'c' for CC0_REGS.
5650         (FIRST_PSEUDO_REGISTER, CALL_USED_REGISTERS, REG_ALLOC_ORDER)
5651         (HARD_REGNO_MODE_OK, MODES_TIEABLE_P, REG_CLASS_NAMES)
5652         (CRIS_SPECIAL_REGS_CONTENTS, REG_CLASS_CONTENTS, REGNO_REG_CLASS)
5653         (PREFERRED_RELOAD_CLASS, REGISTER_NAMES, DBX_REGISTER_NUMBER):
5654         Adjust for register now described.
5655
5656 2005-07-01  Jakub Jelinek  <jakub@redhat.com>
5657
5658         PR target/22262
5659         * config/i386/i386.md (stack_protect_test_si,
5660         stack_protect_test_di): Add earlyclobber for scratch 3.
5661         * config/rs6000/rs6000.md (stack_protect_testsi,
5662         stack_protect_testdi): Add earlyclobber for scratch 3,
5663         remove earlyclobber from scratch 4.
5664
5665 Older entries for 2005 can be found in ChangeLog-2005.