OSDN Git Service

407f6f5452d8707f34c45be01643a93414e5299e
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-08-23  J"orn Rennecke <joern.rennecke@st.com>
2
3         PR middle-end/23467
4         * stor-layout.c (finalize_type_size): Dont override
5         existing alignment with a smaller alignment from the mode.
6
7 2005-08-23  Sebastian Pop  <pop@cri.ensmp.fr>
8
9         * lambda-code.c (lambda_vector_lexico_pos): Moved...
10         * lambda.h (lambda_vector_lexico_pos): ... here.
11         * tree-data-ref.c (build_classic_dist_vector): Return false when
12         the distance vector is lexicographically negative.
13
14 2005-08-23  Sebastian Pop  <pop@cri.ensmp.fr>
15
16         PR tree-optimization/23511
17         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Don't 
18         handle cases where TYPE_MIN_VALUE or TYPE_MAX_VALUE are NULL_TREE.
19
20 2005-08-23  Jakub Jelinek  <jakub@redhat.com>
21
22         PR tree-optimization/22043
23         * tree.h (count_type_elements): Add ALLOW_FLEXARR argument.
24         * expr.c (count_type_elements): Add ALLOW_FLEXARR argument.
25         If ALLOW_FLEXARR, handle types ending with flexible array member.
26         Pass false as second argument to recursive count_type_elements calls.
27         (categorize_ctor_elements_1, mostly_zeros_p): Pass false as second
28         argument to count_type_elements call.
29         * tree-sra.c (decide_block_copy): Likewise.
30         * gimplify.c (gimplify_init_constructor): If num_type_elements < 0
31         for a constant-sized object, set cleared as well.  Pass true as
32         second argument to count_type_elements call.
33
34 2005-08-23  Alan Modra  <amodra@bigpond.net.au>
35
36         PR target/21571
37         * config/rs6000/rs6000.c (rs6000_legitimate_small_data_p): Rename
38         from legitimate_small_data_p, and make global.  Update use.
39         Remove forward declaration.
40         * config/rs6000/rs6000-protos.h (rs6000_legitimate_small_data_p):
41         Declare.
42         * config/rs6000/rs6000.md (movdf_hardfloat32): Allow small data mems.
43
44 2005-08-23  David Edelsohn  <edelsohn@gnu.org>
45
46         * config/rs6000/rs6000.md (eq<mode>): Use output operand instead
47         of scratch intermediates.
48         (eq<mode>_compare): Same.
49         (neg_eq0<mode>): New.
50         (neg_eq<mode>): Convert to define_insn_and_split.
51
52 2005-08-23  Alan Modra  <amodra@bigpond.net.au>
53
54         PR target/23070
55         * config/rs6000/rs6000.c (function_arg): For ABI_V4 calls to
56         stdarg functions, set/clear the fp marker even when no variable
57         args are passed.
58         * config/rs6000/sysv4.opt (mprototype): Describe.
59
60 2005-08-22  Jakub Jelinek  <jakub@redhat.com>
61
62         PR rtl-optimization/23478
63         * regs.h (reg_info): Add throw_calls_crossed.
64         (REG_N_THROWING_CALLS_CROSSED): Define.
65         * flow.c (allocate_reg_life_data): Initialize
66         REG_N_THROWING_CALLS_CROSSED.
67         (propagate_one_insn, attempt_auto_inc): Update
68         REG_N_THROWING_CALLS_CROSSED.
69         * global.c (global_alloc): Don't allocate pseudos across
70         calls that may throw.
71
72 2005-08-22  Andrew Pinski  <pinskia@physics.uc.edu>
73
74         PR c/18715
75         * c-common.c (c_do_switch_warnings): Look for a node where the enum's
76         value is inbetween the range if we did not find an exact match.
77
78 2005-08-22  Aldy Hernandez  <aldyh@redhat.com>
79
80         * doc/invoke.texi (Option Summary): Add ms1 options.
81         * doc/extend.texi: Document interrupt handler attribute for ms1.
82         * doc/md.texi: Document ms1 constraints.
83         * config.gcc: Add ms1-*-elf.
84         * config/ms1/ms1.h: New.
85         * config/ms1/ms1.c: New.
86         * config/ms1/ms1.md: New.
87         * config/ms1/ms1-protos.h: New.
88         * config/ms1/ABI.txt: New.
89         * config/ms1/crti.asm: New.
90         * config/ms1/crtn.asm: New.
91         * config/ms1/lib2extra-funcs.c: New.
92         * config/ms1/t-ms1: New.
93         * config/ms1/ms1.opt: New.
94
95 2005-08-22 Ira Rosen <irar@il.ibm.com>
96
97         * config/rs6000/altivec.md (xorv4sf3): New.
98         (negv4sf2, neg<mode>2): Likewise.
99
100 2005-08-21  H.J. Lu  <hongjiu.lu@intel.com>
101
102         PR target/23485
103         * config/ia64/ia64.md (divsi3): Check divide by zero.
104         (udivsi3): Likewise.
105         (divdi3): Likewise.
106         (udivdi3): Likewise.
107
108 2005-08-21  Jakub Jelinek  <jakub@redhat.com>
109
110         * simplify-rtx.c (simplify_immed_subreg) <case CONST_DOUBLE>: Only clear
111         up to elem_bitsize bits, not max_bitsize.
112
113 2005-08-21  Sebastian Pop  <pop@cri.ensmp.fr>
114
115         PR tree-optimization/23433
116         * tree-chrec.c (chrec_apply): Translate INTEGER_CST to a
117         REAL_CST when the type is SCALAR_FLOAT_TYPE_P.
118
119 2005-08-21  Sebastian Pop  <pop@cri.ensmp.fr>
120
121         PR tree-optimization/23434
122         * tree-ssa-loop-niter.c (proved_non_wrapping_p): Give up when
123         the iteration bound is not an INTEGER_CST.
124
125 2005-08-21  Dorit Nuzman  <dorit@il.ibm.com>
126
127         * tree-vect-transform.c (get_initial_def_for_reduction): Set
128         need_epilog_adjust back to false for MIN/MAX case. Set *scalar_def to
129         NULL if need_epilog_adjust is false.
130         (vect_create_epilog_for_reduction): Variable adjust_in_epilog removed.
131         Case 3 always peels first itration, not just for PLUS case, and no need
132         to use scalar_initial_def here. Create an epilog adjustment only if
133         scalar_initial_def is not NULL.
134
135         (vectorizable_reduction): Remove assert. 
136
137 2005-08-20  H.J. Lu  <hongjiu.lu@intel.com>
138
139         PR target/23485
140         * config/ia64/lib1funcs.asm (__divdi3): Check divide by zero.
141         (__moddi3): Likewise.
142         (__udivdi3): Likewise.
143         (__umoddi3): Likewise.
144         (__divsi3): Likewise.
145         (__modsi3): Likewise.
146         (__udivsi3): Likewise.
147         (__umodsi3): Likewise.
148
149 2005-08-20  Jakub Jelinek  <jakub@redhat.com>
150
151         * tree-pass.h (TDF_GRAPH): Define.
152         * tree-dump.c (dump_options): Don't set TDF_GRAPH in "all".
153         * passes.c (finish_optimization_passes): Only call
154         finish_graph_dump_file if TDF_GRAPH is set.
155         (execute_one_pass): Only call clean_graph_dump_file if dump_file !=
156         NULL.  Set TDF_GRAPH bit.
157         (execute_todo): Call print_rtl_graph_with_bb if TDF_GRAPH is set.
158
159 2005-08-20  Richard Earnshaw  <richard.earnshaw@arm.com>
160
161         * arm.h (arm_stack_offsets): Add locals_base field.
162         * arm.c (arm_get_frame_offsets): Compute it.
163         (thumb_compute_initial_elimination offset): Make the Thumb frame
164         pointer point to the base of the local variables.
165         (thumb_expand_prologue): Update accordingly.
166         (thumb_expand_epilogue): Likewise.
167
168         * arm.md (thumb_movhi_clobber): Make this insn a define_expand.  Change
169         mode of clobbered scratch to DImode.  Handle a case that's known to
170         need this.
171
172 2005-08-19  David Edelsohn  <edelsohn@gnu.org>
173
174         * config/rs6000/rs6000.md (gt0<mode>): Delete.
175         (gt0<mode>_compare): Delete.
176         (neg_gt0<mode>): Delete.
177
178 2005-08-19  Eric Christopher  <echristo@apple.com>
179
180         * optabs.h: Change CTI_ to COI_.
181         * optabs.c: Ditto.
182
183 2005-08-19  James E Wilson  <wilson@specifix.com>
184
185         * builtins.c (expand_builtin_return_addr): Set
186         current_function_accesses_prior_frames when count != 0.  Use
187         frame_pointer_rtx when count == 0.
188         * function.h (struct function): Add accesses_prior_frames field.
189         (current_function_accesses_prior_frames): Define.
190         * reload1.c (init_elim_table): Check
191         current_function_accesses_prior_frames.
192         * doc/tm.texi (INITIAL_FRAME_ADDRESS_RTX): Update docs.
193
194 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
195
196         * tree-cfgcleanup.c (cleanup_tree_cfg): Fix flowgraph change
197         indicator.  Return true if the flowgraph changed during
198         cleanup.
199
200 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
201
202         PR 23476
203         * tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the
204         conditional expression before testing its value.
205
206 2005-08-19  Diego Novillo  <dnovillo@redhat.com>
207
208         * doc/invoke.texi: Fix documentation for -ftree-dominator-opts.
209
210 2005-08-19  Devang Patel  <dpatel@apple.com>
211
212         PR tree-optimization/23048
213         * tree-if-conv.c (if_convertible_bb_p): Supply basic_block as
214         third parameter. Check whether latch is dominated by exit
215         block or not.
216         (if_convertible_loop_p): Supply exit block itself to
217         if_convertible_bb_p.
218
219 2005-08-19  Richard Earnshaw  <richard.earnshaw@arm.com>
220
221         PR target/23473
222         * arm.md (arm_load_pic_register): Change argument to the mask of
223         saved registers.  Call thumb_find_work_register if we need a
224         scratch register on Thumb.
225         (arm_expand_prologue): Pass empty register set to
226         arm_load_pic_register.
227         (thumb_expand_prologue): Pass live_regs_mask directly to
228         arm_load_pic_register.
229         * arm-protos.h (arm_load_pic_register): Update prototype.
230
231 2005-08-19  J"orn Rennecke <joern.rennecke@st.com>
232
233         * sh.c (find_sole_member): New function.
234         (sh_gimplify_va_arg_expr): Use it. Allow RECORD_TYPE mode mismatch
235         if the record's alignment is larger than the size of its only member.
236
237 2005-08-19  Richard Earnshaw  <richard.earnshaw@arm.com>
238
239         PR target/23436
240         * arm.c (thumb_legitimize_reload_address): New function.
241         * arm-protos.h (thumb_legitimize_reload_address): Add prototype.
242         * arm.h (THUMB_LEGITIMIZE_RELOAD_ADDRESS): Call it.
243
244 2005-08-19  Paul Woegerer  <paul.woegerer@nsc.com>
245
246         * config/crx/crx.c: Implement crx_decompose_address. Reject
247         symbolic displacements since CRX register relative adressing
248         mode can't handle unsigned 32-bit values as displacements.
249         * config/crx/crx.h: Simplify definitions, remove redundant
250         parenthesis and obsolete macros.
251         * config/crx/crx.opt: Add new switch for debugging addresses.
252         * config/crx/crx-protos.h: Add new declarations for above.
253
254 2005-08-19  Andrew Pinski  <pinskia@physics.uc.edu>
255
256         PR middle-end/20624
257         * gimple-low.c (block_may_fallthru): Handle CLEANUP_POINT_EXPR by
258         looking past it.
259
260 2005-08-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
261
262         * collect2.c (dup2): Delete.
263         * configure.ac: Don't check for dup2.
264
265         * config.in, configure: Regenerate.
266
267 2005-08-18  J"orn Rennecke <joern.rennecke@st.com>
268
269         * sh.c (sh_gimplify_va_arg_expr): Loop to substitute a RECORD_TYPE
270         record with the type of its only member.
271
272 2005-08-18  David Edelsohn  <edelsohn@gnu.org>
273
274         * config/rs6000/rs6000.md (ltu<mode>_compare): Convert to
275         define_insn_and_split.
276         (plus_ltu<mode>_compare): Same.
277         (gtu<mode>_compare): Same.
278         (plus_gtu<mode>_compare): Same.
279
280 2005-08-18  Dorit Nuzman  <dorit@il.ibm.com>
281
282         PR tree-optimization/22228
283         * tree-ssa-loop (pass_vectorize): Add TODO_verify_loops to
284         todo_flags_start.
285         * tree-vect-transform.c (vect_transform_loop): Mark the variables that
286         are recorded in vect_vnames_to_rename for renaming.
287         * tree-vectorizer.c (vect_vnames_to_rename): New global bitmap.
288         (slpeel_update_phi_nodes_for_guard1): Record virtual vars for renaming
289         in vect_vnames_to_rename.
290         (vectorize_loops): Allocate and free the vect_vnames_to_rename bitmap.
291         * tree-vectorizer.h (vect_vnames_to_rename): New extern variable.
292
293 2005-08-18  Jan Hubicka  <jh@suse.cz>
294
295         PR c++/22034
296         * cgraphunit.c (cgraph_varpool_assemble_pending_decls): Emit debug
297         info only for local statics, not for member variables.
298
299 2005-08-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
300
301         * tree-data-ref.c (analyze_siv_subscript_cst_affine): Fix comment typo.
302
303 2005-08-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
304
305         * c-typeck.c (designator_errorneous): Rename to designator_erroneous.
306
307 2005-08-18  Andrew Pinski  <pinskia@physics.uc.edu>
308
309         PR middle-end/16045
310         * builtins.c (fold_builtin): Create a new NOP_EXPR all the time.
311
312 2005-08-17  James E Wilson  <wilson@specifix.com>
313
314         * c-decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE in
315         array size check.
316
317 2005-08-17  David Edelsohn  <edelsohn@gnu.org>
318
319         * config/rs6000/rs6000.md (leu<mode>): Convert to mode macro.
320         (leu<mode>_compare): Same.
321         (plus_leu<mode>): Same.
322         (neg_leu<mode>): Same.
323         (and_neg_leu<mode): Same.
324         (ltu<mode>_compare): Same.
325         (plus_ltu<mode>): Same.
326         (geu<mode>): Same.
327         (geu<mode>_compare): Same.
328         (plus_geu<mode>): Same.
329         (neg_geu<mode>): Same.
330         (and_neg_geu<mode>): Same.
331         (plus_gt<mode>): Same.
332         (gtu<mode>_compare): Same.
333         (plus_gtu<mode>): Same.
334
335 2005-08-17  Erik Christiansen  <erik@dd.nec.com.au>
336
337         * config/v850/lib1funcs.asm (callt_save_interrupt): Fix comment typos.
338         Move call_table_data to end.  Delete spurious .text.
339         (callt_save_all_interrupt): Fix comment typo.
340
341 2005-08-17  James E Wilson  <wilson@specifix.com>
342             Kevin Winchester  <winchester@amirix.com>
343
344         PR target/21684
345         * config/mcore/mcore.h (SHIFT_COUNT_TRUNCATED): Define to 0.
346
347 2005-08-17  Uros Bizjak  <uros@kss-loka.si>
348
349         PR target/23268
350         * config/i386/i386.md ("*fist<mode>2_1"): New pattern.
351         ("lrint<mode>2"): Change expander to use "*fist<mode>2_1" pattern.
352
353 2005-08-17  J"orn Rennecke <joern.rennecke@st.com>
354
355         * sh.c (sh_gimplify_va_arg_expr): Don't substitute a RECORD_TYPE
356         record with the type of its only member if the modes don't match.
357
358         * varasm.c (decode_reg_name): Skip empty additional register names.
359
360 2005-08-16  Zdenek Dvorak  <dvorakz@suse.cz>
361
362         * tree-ssa-loop-im.c (MAX_LSM_NAME_LENGTH, lsm_tmp_name,
363         lsm_tmp_name_length): New.
364         (lsm_tmp_name_add, gen_lsm_tmp_name, get_lsm_tmp_name): New functions.
365         (schedule_sm): Use get_lsm_tmp_name instead of "lsm_tmp".
366
367 2005-08-16  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
368             Andreas Krebbel  <krebbel1@de.ibm.com>
369
370         * config.gcc: Added z9-109 switch.
371         * config/s390/2084.md ("x_int", "x_agen", "x_lr", "x_la", "x_larl",
372         "x_load", "x_store", "x_branch", "x_call", "x_mul_hi", "x_mul_sidi",
373         "x_div", "x_sem", "x_cs", "x_vs", "x_stm", "x_lm", "x_other",
374         "x_fsimpdf", "x_fsimpsf", "x_fdivdf", "x_fdivsf", "x_floaddf",
375         "x_floadsf", "x_fstore_df", "x_fstoresf", "x_ftoi", "x_itof"): Enable
376         for "z9_109" cpu attribute.
377         * config/s390/s390.c (z9_109_cost): New processor cost structure.
378         (CONST_OK_FOR_Os, CONST_OK_FOR_Op, CONST_OK_FOR_On): New macros.
379         (s390_handle_arch_option): Added z9-109 switch.
380         (override_options): Set respective cost function for z9-109.
381         (s390_const_ok_for_constraint_p): New constraints Os, Op, On.
382         (legitimate_reload_constant_p): Accept extended immediates.
383         (print_operand): Three new output modifiers added: k, m and o.
384         (s390_adjust_priority, s390_issue_rate): Handle Z9_109 like Z990.
385         (s390_output_mi_thunk): Use extended immediate when possible.
386         * config/s390/s390.h (processor_flags): Added PF_EXTIMM.
387         (TARGET_CPU_EXTIMM, TARGET_EXTIMM): New macros.
388         (CONSTRAINT_LEN): Added length of O constraint.
389         (CLZ_DEFINED_VALUE_AT_ZERO): Definition added.
390         * config/s390/s390.md ("cpu"): New value z9_109 added.
391         ("*tstdi_extimm", "*tstdi_ccconly_extimm", "*tstsi_extimm",
392         "*tstsi_cconly_extimm", "*movdi_64extimm", "*extendhidi2_extimm",
393         "*extendqidi2_extimm", "*extendhisi2_extimm", "*extendqisi2_extimm",
394         "*zero_extend<mode>si2_extimm", "*anddi3_extimm", "*iordi3_extimm",
395         "*xordi3_extimm", "clzdi2", "clztidi2"): New patterns.
396         ("*tstdi", "*tstsi", "*movdi_64", "*extendhisi2", "*extendqisi2",
397         "*zero_extend<mode>si2_64", "zero_extendqihi2", "*zero_extendqihi2_64",
398         "*anddi3", "*iordi3", "*xordi3"): Disable for TARGET_EXTIMM.
399         ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs", "*cmpsi_ccs", "*cmpdi_ccu",
400         "*cmpsi_ccu", "*movsi_zarch", "*adddi3_imm_cc", "*adddi3_carry1_cc",
401         "*adddi3_carry2_cc", "*adddi3_cc", "*adddi3_64", "*addsi3_imm_cc",
402         "*addsi3_carry1_cc", "*addsi3_carry2_cc", "*addsi3_cc", "addsi3",
403         "*andsi3_cc", "*andsi3_cconly", "*andsi3_zarch", "*iorsi3_cc",
404         "*iorsi3_cconly", "*iorsi3_zarch", "*xorsi3_cc", "*xorsi3_cconly",
405         "*xorsi3", "*xorhi3", "*xorqi3"): Added instruction using extended
406         immediates.
407         ("extend<mode>di2", "extend<mode>si2", "zero_extend<mode>di2",
408         "zero_extend<mode>si2"): Allow memory operands and don't manually emit
409         insns for TARGET_EXTIMM.
410
411 2005-08-17  Andreas Krebbel  <krebbel1@de.ibm.com>
412
413         * testsuite/gcc.dg/20020926-1.c: Added "-mesa" to dg-options.
414
415 2005-08-17  Nick Clifton  <nickc@redhat.com>
416
417         * config/stormy16/stormy16.c (xstormy16_encode_section_info):
418         Call default_encode_section_info.
419
420 2005-08-17  Steven Bosscher  <stevenb@suse.de>
421
422         PR tree-optimization/21574
423         * tree-ssa-ccp.c (likely_value): If the right hand side is a
424         constant, return CONSTANT.
425         (ccp_lattice_meet): Use operand_equal_p instead of simple_cst_equal.
426         (ccp_fold, visit_assignment): Likewise.
427         (evaluate_stmt): Handle UNDEFINED and UNKNOWN_VAL the same way.
428
429 2005-08-16  James A. Morrison  <phython@gcc.gnu.org>
430
431         * c-typeck.c (build_function_call): Call fold_buildN_initializer or
432         fold_buildN instead of buildN then fold_initializer or fold.
433         (build_unary_op): Likewise.
434         (build_binary_op): Likewise.
435         * fold-const.c (fold_initializer): Remove.
436         (fold_build1_initializer): New function.
437         (fold_build2_initializer): New function.
438         (fold_build3_initializer): New function.
439         * tree.h (fold_initializer): Remove.
440         (fold_build1_initializer): New function.
441         (fold_build2_initializer): New function.
442         (fold_build3_initializer): New function.
443
444 2005-08-16  James A. Morrison  <phython@gcc.gnu.org>
445
446         * fold-const.c (optimize_bit_field_compare): Remove extra fold call.
447         (try_move_mult_to_index): Call fold_build2 instead of build2.
448         (fold_binary): Don't call fold after calls to try_move_mult_to_index.
449         * tree-ssa-loop-niter.c (inverse): Call int_const_binop instead of
450         fold_binary_to_constant.
451         (infer_loop_bounds_from_undefined): Call fold_build2 instead of
452         fold (build.
453         * tree-data-ref.c (tree_fold_divides_p): Use tree_int_cst_equal to
454         check if A == gcd (A, B).  Remove TYPE argument.
455         (analyze_offset) Use fold_build2 instead of fold (build.
456         (create_data_ref): Likewise.
457         (analyze_siv_subscript_cst_affine): Update calls to tree_fold_divides_p.
458         * tree-ssa-ccp.c (widen_bitfield): Call fold_build2 instead of build2
459         then fold.
460
461 2005-08-17  Kelley Cook  <kcook@gcc.gnu.org>
462
463         * config/arm/unaligned-funcs.c,config/i386/crtfastmath.c,
464         ipa-cp.c,ipa-prop.c,ipa-prop.h: Update FSF address.
465
466 2005-08-16  Andrew Pinski  <pinskia@physics.uc.edu>
467
468         PR tree-opt/23402
469         * gimplify.c (zero_sized_type): New function.
470         (gimplify_modify_expr_rhs): If we have a zero sized type,
471         replace the statement with an empty statement.
472
473 2005-08-16  H.J. Lu  <hongjiu.lu@intel.com>
474
475         * config/i386/crtfastmath.c (set_fast_math): Add "=m" for
476         fxsave.
477
478 2005-08-16  Ian Lance Taylor  <ian@airs.com>
479
480         * doc/tm.texi (Label Output): Correct typo.
481
482 2005-08-16  Steven Bosscher  <stevenb@suse.de>
483
484         PR target/23376
485         * loop-unroll.c (analyze_insn_to_expand_var): Make sure that
486         force_operand will work later on using have_insn_for.
487
488 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
489
490         * fold-const.c (tree_expr_nonnegative_p): Regroup cases.
491
492 2005-08-16  Ian Lance Taylor  <ian@airs.com>
493
494         PR c++/23337
495         * gimplify.c (gimplify_init_ctor_eval): If we see an element of
496         vector type, don't try to construct it element by element.  Add an
497         assertion that we use a FIELD_DECL when building a COMPONENT_REF.
498
499 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
500
501         * fold-const.c (fold_ternary): Simplify folding of a CALL_EXPR.
502
503 2005-08-16  Geoffrey Keating  <geoffk@apple.com>
504
505         * doc/invoke.texi (Precompiled Headers): Document some more options
506         which are known to be safe.
507
508 2005-08-16  James E Wilson  <wilson@specifix.com>
509
510         PR tree-optimization/21105
511         * c-decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE in
512         TREE_OVERFLOW check.
513
514 2005-08-16  David Edelsohn  <edelsohn@gnu.org>
515
516         * config/rs6000/rs6000.md (ltu<mode>): Convert to mode macro.
517         (neg_ltu<mode>): Same.
518         (gtu<mode>): Same.
519         (neg_gtu<mode>): Same.
520
521 2005-08-16  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
522
523         * builtins.c (expand_builtin_strcat): Remove superfluous call to fold.
524         (fold_builtin_isdigit): Use fold_buildN.
525         (build_function_call_expr): Likewise.
526         * c-typeck.c (c_finish_loop): Likewise.
527
528 2005-08-16  J"orn Rennecke <joern.rennecke@st.com>
529             Richard Shann <rshann@superh.com>
530
531         PR middle-end/20396:
532         * optabs.c (expand_binop): Take TRULY_NOOP_TRUNCATION into account.
533
534 2005-08-16  Sebastian Pop  <pop@cri.ensmp.fr>
535
536         * tree-ssa-loop-niter.c (scev_probably_wraps_p): Reword a comment.
537
538 2005-08-15  Richard Earnshaw  <richard.earnshaw@arm.com>
539
540         PR target/23355
541         * arm.c (thumb_compute_save_reg_mask): Use similar logic to
542         arm_compure_save_reg0_reg12_mask to determine when the PIC register
543         must be saved.
544
545 2005-08-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
546
547         PR middle-end/23369
548         * fold-const.c (build_range_check): Disable optimization for function
549         pointer expressions on targets that require function pointer
550         canonicalization.
551
552 2005-08-15  Ulrich Weigand  <uweigand@de.ibm.com>
553
554         * simplify-rtx.c (simplify_const_relational_operation): When
555         extracting arguments of a COMPARE, recompute the mode as well.
556
557 2005-08-15  Ian Lance Taylor  <ian@airs.com>
558
559         * tree.c (build_string): Mark tree CONSTANT and INVARIANT.
560
561 2005-08-15  DJ Delorie  <dj@redhat.com>
562
563         * config/m32c/mov.md (movqi_op): Immediates can't be moved to
564         the stack.
565         (movsi_splittable): Allow, but split, moves to the stack.
566         * config/m32c/m32c.c (m32c_split_move): Always split moves to the
567         stack.
568
569 2005-08-15  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
570
571         * aclocal.m4 (gcc_AC_FUNC_PRINTF_PTR): Delete.
572         * configure.ac: Don't call gcc_AC_FUNC_PRINTF_PTR.
573         * system.h (HOST_PTR_PRINTF): Don't define, poison it.
574
575         * bitmap.c, c-decl.c, config/i386/i386-interix.h,
576         config/iq2000/iq2000.c, mips-tfile.c, print-rtl.c, print-tree.c:
577         Delete HOST_PTR_PRINTF.
578
579         * configure, config.in: Regenerate.
580
581 2005-08-15  David Edelsohn  <edelsohn@gnu.org>
582
583         * config/rs6000/rs6000.md (QHSI): New mode macro.
584         (wd): Extend mode attr for QImode and HImode
585         (dbits): New mode attr.
586         (zero_extend<mode>di2): Convert to mode macro.
587
588 2005-08-15  Steve Ellcey  <sje@cup.hp.com>
589
590         PR target/21841
591         * doc/invoke.texi (-mgnu-ld): Update description.
592         (-mhp-ld): Ditto.
593
594 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
595
596         PR 23391
597         * Makefile.in (tree-chrec.o): Depends on real.h.
598         * tree-chrec.c: Include real.h.
599         (chrec_fold_plus_poly_poly, chrec_fold_multiply_poly_poly,
600         chrec_fold_plus_1): Use build_real for SCALAR_FLOAT_TYPE_P.
601         * tree-scalar-evolution.c (add_to_evolution_1,
602         interpret_rhs_modify_expr): Ditto.
603
604 2005-08-15  Sebastian Pop  <pop@cri.ensmp.fr>
605
606         PR 23386
607         * tree-data-ref.c (estimate_niter_from_size_of_data): When
608         step is negative compute the estimation from init downwards to zero.
609
610 2005-08-14  James A. Morrison  <phython@gcc.gnu.org>
611
612         * fold-const (fold_binary): Call fold_build2 instead of fold (build.
613
614 2005-08-14  Ulrich Weigand  <uweigand@de.ibm.com>
615
616         * config/s390/s390.c (s390_const_ok_for_constraint_p): Add 'P'
617         constraint.
618         (legitimate_reload_constant_p): Fix handling of lliXX operands.
619         Accept double-word constants that can be split.
620         * config/s390/s390.md ("movti"): Use 'P' constraint.
621         ("*movdi_31", "*movdf_31"): Likewise.
622
623 2005-08-14  Daniel Berlin  <dberlin@dberlin.org>
624
625         Fix PR tree-optimization/22615
626
627         * tree-ssa-structalias.c (solution_set_add): Handle
628         first_vi_for_offset returning NULL.
629         (do_da_constraint): Ditto.
630         (do_sd_constraint): Ditto.
631         (do_ds_constraint): Ditto
632         (find_func_aliases): Ditto.
633         (build_constraint_graph): RHS is allowed be ANYTHING.
634         (first_vi_for_offset): Return NULL if we couldn't find anything at
635         the offset.
636
637 2005-08-14  Ulrich Weigand  <uweigand@de.ibm.com>
638
639         * config/s390/s390.c (s390_canonicalize_comparison): Prefer register
640         over memory as first operand.
641
642 2005-08-14  H.J. Lu  <hongjiu.lu@intel.com>
643
644         PR target/23360
645         * config/i386/crtfastmath.c (set_fast_math): Check if DAZ is
646         available for setting it.
647
648 2005-08-14  Ira Rosen  <irar@il.ibm.com>
649
650         PR tree-optimization/23320
651         * tree-data-ref.c (base_addr_differ_p): Add comment. Check
652         data-refs' types instead of base object nullness. Add check for
653         pointer type data-refs before first location comparison. Remove
654         assert.
655
656 2005-08-14  Andreas Schwab  <schwab@suse.de>
657
658         * doc/md.texi (Machine Constraints): Fix misplaced @end table.
659
660 2005-08-13  James E Wilson  <wilson@specifix.com>
661
662         * doc/cpp.texi (__SSP__, __SSP_ALL__): Document.
663         * doc/invoke.texi (-Wstack-protector, -fstack-protector,
664         -fstack-protector-all, --param ssp-buffer-size): Document.
665         (-Wvariadic-macros): Alphabetize.
666         (-fsched-stalled-insns-dep): Add missing 'f'.
667
668         * c-cppbuiltin.c (c_cpp_builtins): Add comment for flag_stack_protect
669         macros.
670
671 2005-08-13  David Edelsohn  <edelsohn@gnu.org>
672
673         * config/rs6000/rs6000.h (EXTRA_CONSTRAINT): Add 'a' for indexed
674         or indirect address operand.
675         (EXTRA_ADDRESS_CONSTRAINT): New.
676         * config/rs6000/rs6000.md (prefetch): Change constraint "p" to "a".
677
678 2005-08-13  Sebastian Pop  <pop@cri.ensmp.fr>
679
680         PR tree-optimization/22236
681         * tree-cfg.c (print_pred_bbs, print_succ_bbs): Correctly print
682         successors and predecessors.
683         * tree-chrec.c (chrec_convert): Before converting, check that
684         sequences don't wrap.
685         * tree-data-ref.c (compute_estimated_nb_iterations): Moved ...
686         (analyze_array): Extern.
687         (find_data_references_in_loop): Remove call to
688         compute_estimated_nb_iterations.
689         * tree-data-ref.h (analyze_array): Declared.
690         * tree-flow-inline.h (single_ssa_tree_operand, single_ssa_use_operand,
691         single_ssa_def_operand, zero_ssa_operands): Fix documentation.
692         * tree-flow.h (scev_probably_wraps_p): Declare with an extra parameter.
693         * tree-scalar-evolution.c (instantiate_parameters_1): Factor entry
694         condition.
695         * tree-ssa-loop-ivcanon.c: Fix documentation.
696         * tree-ssa-loop-ivopts.c (idx_find_step): Add a fixme note.
697         * tree-ssa-loop-niter.c (compute_estimated_nb_iterations): ... here.
698         (infer_loop_bounds_from_undefined): New.
699         (estimate_numbers_of_iterations_loop): Use
700         infer_loop_bounds_from_undefined.
701         (used_in_pointer_arithmetic_p): New.
702         (scev_probably_wraps_p): Pass an extra parameter.  Call
703         used_in_pointer_arithmetic_p.  Check that AT_STMT is not null.
704         (convert_step): Fix documentation.
705         * tree-vrp.c (adjust_range_with_scev): Call instantiate_parameters.
706         Use initial_condition_in_loop_num and evolution_part_in_loop_num
707         instead of CHREC_LEFT and CHREC_RIGHT.  Adjust the call to
708         scev_probably_wraps_p.
709
710 2005-08-13  Ulrich Weigand  <uweigand@de.ibm.com>
711
712         * config/s390/s390.c (s390_split_branches): Revert 2005-08-12 change.
713         (s390_register_info): Ignore clobbered_regs information for fixed
714         registers, and only fixed registers.
715         (s390_init_frame_layout): Remove redundant call.
716
717 2005-08-12  Gerald Pfeifer  <gerald@pfeifer.com>
718
719         * doc/invoke.texi (C++ Dialect Options): Add dynamic_cast to
720         description of -Wold-style-casts.
721
722 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
723             Jakub Jelinek  <jakub@redhat.com>
724
725         * config/s390/linux.h (TARGET_THREAD_SSP_OFFSET): Define.
726         * config/s390/s390-protos.h (s390_get_thread_pointer): Prototype added.
727         * config/s390/s390.c (print_operand): New output modifier 'G' added.
728         (get_thread_pointer): Renamed to s390_get_thread_pointer.
729         * config/s390/s390.md (stack_protect_set, stack_protect_test): If
730         TARGET_THREAD_SSP_OFFSET is defined, change operands[1] to
731         (MEM:P (PLUS:P (tp, TARGET_THREAD_SSP_OFFSET))).
732         (UNSPEC_SP_SET, UNSPEC_SP_TEST): New constants.
733         ("stack_protect_set", "stack_protect_test"): New expanders.
734         ("stack_protect_setsi", "stack_protect_setdi", "stack_protect_testsi",
735         "stack_protect_testdi"): New insn definitions.
736
737 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
738
739         * config/s390/s390.md ("*movdf_31"): Changed constraint from P to K.
740
741 2005-08-12  Paul Brook  <paul@codesourcery.com>
742
743         * config/arm/lib1funcs.asm: Error if __ARM_ARCH__ not set.
744
745 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
746
747         * config/s390/predicates.md (setmem_operand): New predicate.
748         (shift_count_operand): Accept ANDs with special constants as
749         operand.
750         * config/s390/s390.c (print_shift_count_operand): Skip ANDs
751         with special constants.
752         * config/s390/s390.md ("setmem_long", "*setmem_long"): Replaced
753         shift_count_operand with setmem_operand.
754
755 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
756
757         * config/s390/s390.c (s390_extract_part, s390_single_part):
758         Type cast added.
759         (s390_const_ok_for_constraint_p): Added SImode to the N constraint.
760         (s390_output_mi_thunk): Don't use lg on 31 bit.
761         * config/s390/s390.md ("*movdi_31", "*movdf_31"): Added lmy and stmy.
762         ("*llgt_sisi" and splitter): Replaced TARGET_64BIT with TARGET_ZARCH.
763
764 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
765
766         * config/s390/s390.c (CONST_OK_FOR_J, CONST_OK_FOR_K): New macros.
767         (s390_select_ccmode, s390_rtx_costs, legitimate_reload_constant_p,
768         s390_init_frame_layout, s390_emit_prologue, s390_emit_epilogue,
769         s390_output_mi_thunk): Replaced uses of CONST_OK_FOR_CONSTRAINT_P
770         with one of the new macros.
771
772 2005-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
773
774         * config/s390/s390.c (s390_split_branches, s390_init_frame_layout):
775         Don't set save_return_addr_p.
776         (s390_register_info): Make clobbered_regs not depending on
777         save_return_addr_p.
778
779 2005-08-12  Kaz Kojima  <kkojima@gcc.gnu.org>
780
781         * gcc.c (LINK_SSP_SPEC): Remove space before a trailing }.
782         (LINK_COMMAND_SPEC): Add space after %(link_ssp).
783
784 2005-08-11  James E. Wilson  <wilson@specifix.com>
785
786         * config/ia64/ia64.h (EXTRA_MEMORY_CONSTRAINT): New.
787
788 2005-08-11  Jakub Jelinek  <jakub@redhat.com>
789
790         * dwarf2out.c (add_location_or_const_value_attribute): Prefer
791         locations gathered by var-tracking in single entry loc_list
792         over loc_descriptor_from_tree.
793
794         * dwarf2out.c (concat_loc_descriptor): Add can_use_fbreg argument,
795         pass it down to loc_descriptor.
796         (loc_descriptor): Pass can_use_fbreg to concat_loc_descriptor.
797         (containing_function_has_frame_base): Move earlier in the file.
798         (loc_descriptor_from_tree_1): Use containing_function_has_frame_base
799         instead of always assuming fbreg can't be used.
800
801 2005-08-11  David Edelsohn  <edelsohn@gnu.org>
802
803         * config/rs6000/altivec.md: Change constraint "m" to "Z".
804         * config/rs6000/predicates.md (indexed_or_indirect_operand):
805         Accept address wrapped in AND for Altivec.
806         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
807         Strip AND wrapping offset address for Altivec.
808
809 2005-08-11  Richard Henderson  <rth@redhat.com>
810
811         PR middle-end/23312
812         * gimplify.c (gimplify_one_sizepos): Check for INTEGER_TYPE
813         before using TYPE_IS_SIZETYPE.
814
815 2005-08-11  Richard Henderson  <rth@redhat.com>
816
817         PR target/22225
818         * config/alpha/alpha.c (alphaev4_insn_pipe): Add take pipes for
819         insn types not present on ev4.
820         (alphaev5_insn_pipe): Similarly.
821
822 2005-08-11  Richard Earnshaw  <richard.earnshaw@arm.com>
823
824         PR target/23250
825         * arm.c (arm_override_options): If the user has selected callee-super-
826         interworking, then enable normal interworking.
827
828 2005-08-11  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
829
830         * config/i386/x86-64.h (ASM_OUTPUT_ALIGNED_BSS): Undef before
831         redefinition.
832
833 2005-08-11  Wu Zhou  <woodzltc@cn.ibm.com>
834
835         * doc/rtl.texi: Fix two typos.
836
837 2005-08-11  Richard Guenther  <rguenther@suse.de>
838
839         PR target/23289
840         * config/i386/i386.c (ix86_function_ok_for_sibcall): Handle
841         cases where we call to/from functions returning void.
842
843 2005-08-10  James A. Morrison  <phython@gcc.gnu.org>
844
845         PR c++/23225
846         * tree.c (build_pointer_type_for_mode): Robustify.
847
848 2005-08-10  James E Wilson  <wilson@specifix.com>
849
850         * defaults.h, config/alpha/alpha.h, config/ia64/ia64.h
851         (ASM_OUTPUT_ADDR_VEC_ELT): Delete.
852
853         * config/alpha/alpha.c (alpha_arg_partial_bytes): Change "(CUM)." to
854         "cum->".
855
856 2005-08-10  Eric Christopher  <echristo@apple.com>
857
858         * config/rs6000/rs6000.c (mems_ok_for_quad_peep): Rewrite.
859         * config/rs6000/rs6000.md (*lfq_power2, *stfq_power2): Use
860         V2DFmode.
861
862 2005-08-10  Andrew Pinski  <pinskia@physics.uc.edu>
863
864         PR target/21887
865         * config/darwin.c (machopic_indirect_data_reference): Use a new register
866         for the high part when generating dynamic-no-pic code.
867
868 2005-08-10  H.J. Lu  <hongjiu.lu@intel.com>
869
870         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtfm to tm-file.
871         (x86_64-*-linux*): Likewise.
872
873         * config/i386/crtfastmath.c: New file.
874         * config/i386/t-crtfm: Likewise.
875
876         * config/i386/linux.h (ENDFILE_SPEC): New.
877         * config/i386/linux64.h (ENDFILE_SPEC): Likewise.
878
879         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
880         crtfastmath.o.
881
882 2005-08-10  Dorit Nuzman  <dorit@il.ibm.com>
883
884         * doc/md.texi: (reduc_smin, reduc_umin, reduc_splus, reduc_uplus):
885         (vec_shl, vec_shr): Document new operations.
886         * tree.def (VEC_RSHIFT_EXPR, VEC_LSHIFT_EXPR): Fix comment.
887
888 2005-08-10  David Edelsohn  <edelsohn@gnu.org>
889
890         * config/rs6000/predicates.md (indexed_or_indirect_address): New.
891         * config/rs6000/rs6000.md (prefetch): Remove operand 0 mode and
892         change predicate to indexed_or_indirect_address.
893
894 2005-08-10  Richard Sandiford  <richard@codesourcery.com>
895
896         * config/arm/lib1funcs.asm (__aeabi_uidiv, __aeabi_idiv): New aliases.
897         * config/arm/libgcc-bpabi.ver (GCC_3.5): Add __aeabi_idiv,
898         __aeabi_uidiv, __aeabi_uread4, __aeabi_uread8, __aeabi_uwrite4
899         and __aeabi_uwrite8.
900         * config/arm/unaligned-funcs.c: New file.
901         * config/arm/t-bpabi (LIB2FUNCS_EXTRA): Add unaligned-funcs.c.
902
903 2005-08-09  Paolo Bonzini  <bonzini@gnu.org>
904
905         * bb-reorder.c (pass_duplicate_computed_gotos, pass_partition_blocks):
906         Add dump.
907         * cfglayout.c (pass_insn_locators_initialize): Add dump.
908         * emit-rtl.c (pass_unshare_all_rtl, pass_remove_unnecessary_notes):
909         Add dump.
910         * except.c (pass_convert_to_eh_region_ranges): Add dump.
911         * final.c (pass_shorten_branches): Add dump.
912         * flow.c (pass_recompute_reg_usage, pass_remove_death_notes): Add dump.
913         (pass_life): Rename dump.
914         (rest_of_handle_flow2): Remove initial verify_flow_info.
915         * function.c (pass_instantiate_virtual_regs): Add dump.
916         * integrate.c (pass_initial_value_sets): Add dump.
917         * jump.c (pass_cleanup_barriers, pass_purge_lineno_notes): Add dump.
918         * loop-init.c (pass_rtl_loop_init, pass_rtl_loop_done): Rename dump.
919         (pass_rtl_move_loop_invariants, pass_rtl_unswitch, pass_rtl_doloop,
920         pass_rtl_unroll_and_peel_loops): Rename dump and add gate.
921         (gate_rtl_move_loop_invariants, gate_rtl_unswitch, gate_rtl_doloop,
922         gate_rtl_unrool_and_peel_loops): New.
923         (rtl_move_loop_invariants, rtl_unswitch, rtl_unrool_and_peel_loops,
924         rtl_doloop): Do not look at flags.
925         * mode-switching.c (pass_mode_switching): Add dump.
926         * recog.c (pass_split_all_insns, pass_split_for_shorten_branches,
927         pass_split_before_regstack): Add dump.
928         * regmove.c (pass_stack_adjustments): Add dump.
929         * tree-optimize.c (pass_fixup_cfg): Add dump.
930
931 2005-08-10  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
932
933         PR 23309
934         * config/m32r/m32r.c (m32r_reload_lr): Fix off by one error when
935         deciding which instruction sequence to use.
936
937 2005-08-09  Dorit Nuzman  <dorit@il.ibm.com>
938
939         * tree-vect-transform.c (vect_create_epilog_for_reduction): Set
940         BIT_FIELD_REF_UNSIGNED for newly created BIT_FIELD_REFs.
941
942 2005-08-09  Richard Guenther  <rguenther@suse.de>
943
944         * c-common.c (builtin_function_2): Remove.
945         (def_builtin_1): New function.
946         (c_common_nodes_and_builtins): Use def_builtin_1 to
947         build builtin functions.
948
949 2005-08-09  Jie Zhang  <jie.zhang@analog.com>
950
951         * config/bfin/uclinux.h (NO_IMPLICIT_EXTERN_C): Define.
952         * config/bfin/elf.h (NO_IMPLICIT_EXTERN_C): Define.
953         * config/bfin/bfin.c (bfin_return_in_memory): Update to really match
954         Visual DSP.
955
956 2005-08-09  James A. Morrison  <phython@gcc.gnu.org>
957
958         * tree-ssa-loop-niter.c (tree_simplify_using_condition_1): Use
959         fold_binary instead of fold_build2 since we don't care about the
960         resulting tree.
961         (loop_niter_by_eval): Likewise.
962         (compare_trees): Likewise.
963         (proved_non_wrapping_p): Likewise.
964
965 2005-08-09  James A. Morrison  <phython@gcc.gnu.org>
966
967         PR c/23161
968         PR c/23165
969         * c-typeck.c (c_finish_if_stmt): Look into STATEMENT_LISTs to see
970         if the if is really empty.
971
972 2005-08-09  Steven Bosscher  <stevenb@suse.de>
973
974         PR tree-optimization/23234
975         * tree-ssa-math-opts.c (place_reciprocal): New enum.
976         (execute_cse_reciprocals_1): Replace the 'phi' argument with an
977         argument of the new enum.
978         (execute_cse_reciprocals): Add reciprocals for function arguments
979         on the unique successor edge of the entry block.  Update other calls
980         to execute_cse_reciprocals_1.
981
982 2005-08-08  Richard Henderson  <rth@redhat.com>
983
984         PR 22439
985         * gimplify.c (gimplify_one_sizepos): Preserve the original type.
986
987 2005-08-08  Bob Wilson  <bob.wilson@acm.org>
988
989         * expr.c (write_complex_part): Return after handling MEM.
990
991 2005-08-08  Josh Conner  <jconner@apple.com>
992
993         PR rtl-optimization/23241
994         * combine.c (simplify_comparison): Fix error in determining
995         whether to lift a subreg from comparison.
996
997 2005-08-08  David Edelsohn  <edelsohn@gnu.org>
998
999         PR target/18506
1000         * config/rs6000/altivec.md (vec_init<mode>): New.
1001         (vec_set<mode>): New.
1002         (vec_extract<mode>): New.
1003         * config/rs6000/rs6000.c (rs6000_expand_vector_init): New.
1004         (rs6000_expand_vector_set): New.
1005         (rs6000_expand_vector_extract): New.
1006         (rs6000_legitimate_offset_address_p): Offset addresses are valid
1007         for Altivec modes before reload.
1008         (altivec_expand_vec_init_builtin): New.
1009         (get_element_number): New.
1010         (altivec_expand_vec_set_builtin): New.
1011         (altivec_expand_vec_ext_builtin): New.
1012         (altivec_expand_builtin): Expand vec_init, vec_set, and vec_ext
1013         builtins.
1014         (altivec_init_builtins): Init vec_init, vec_set, and vec_ext
1015         builtins.
1016         * config/rs6000/rs6000.h (rs6000_builtins): Add
1017         ALTIVEC_BUILTIN_VEC_INIT_<mode>, ALTIVEC_BUILTIN_VEC_SET_<mode>,
1018         ALTIVEC_BUILTIN_VEC_EXT_<mode>.
1019         * config/rs6000/rs6000-protos.h: Declare new functions.
1020
1021 2005-08-08  Jan Hubicka  <jh@suse.cz>
1022
1023         * i386.c (legitimate_pic_address_disp_p): Refuse GOTOFF in 64bit mode.
1024         (legitimate_address_p): Refuse GOT and GOTOFF in 64bit mode.
1025         * i386.md (movdi*): Use pic_32bit_operand.
1026         * predicates.md (pic_32bit_operand): New.
1027
1028 2005-08-08  Nathan Sidwell  <nathan@codesourcery.com>
1029
1030         PR c++/21166
1031         * stor-layout.c (finalize_type_size): Undo DECL_PACKED when possible.
1032
1033 2005-08-07  James A. Morrison  <phython@gcc.gnu.org>
1034
1035         * tree-vrp.c (simplify_div_or_mod_using_range): Use build2.
1036         (test_for_singularity): Use fold_build2.
1037
1038 2005-08-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1039
1040         * pa64-regs.h (CONDITIONAL_REGISTER_USAGE): Fix loop upper bound.
1041
1042 2005-08-07  Danny Smith  <dannysmith@users.sourceforge.net>
1043
1044         * config/i386/cygming.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
1045         (COMMON_ASM_OP) Define.
1046         * config/i386/i386.c (ix86_in_large_data_p): Add ATTRIBUTE_UNUSED
1047         (ix86_encode_section_info): Likewise.
1048         (TARGET_ENCODE_SECTION_INFO): Conditionally define as
1049         SUBTARGET_ENCODE_SECTION_INFO.
1050
1051 2005-08-06  Richard Henderson  <rth@redhat.com>
1052
1053         PR 21894
1054         * tree-nested.c (convert_local_reference): Save and restore val_only
1055         around component_ref and friends.  Clear walk_subtrees by default.
1056
1057 2005-08-06  Peter O'Gorman  <peter@pogma.com>
1058
1059         PR 21366
1060         * gcc.c (process_command): Check the argument to -b has a dash.
1061         * doc/invoke.texi: Update -b and -V docs.
1062
1063 2005-08-06  James E Wilson  <wilson@specifix.com>
1064
1065         * config/mips/cross64.h, config/mips/t-cross64: Delete.
1066
1067 2005-08-06  Michael Matz  <matz@suse.de>
1068
1069         * genattrtab.c (write_attr_get, write_attr_case): Use insn_code
1070         member only if only one insn is associated with the value.
1071
1072 2005-08-06  Nick Clifton  <nickc@redhat.com>
1073
1074         * config/stormy16/stormy16.h (SYMBOL_FLAG_XSTORMY16_BELOW100):
1075         New define.
1076         (ASM_OUTPUT_LABELREF): Delete - it is no longer needed.
1077         * config/stormy16/stormy16.c (xstormy16_below100_symbol):
1078         Check symbol flags instead of symbol name mangling.
1079         (xstormy16_asm_output_aligned_common): Likewise.  Also
1080         simplify code since the bss100_section cass is the only case
1081         where the below100 code will be triggered.
1082         (xstormy16_encode_section_info): Encode below100 attribute
1083         using the SYMBOL_FLAG_XSTORMY16_BELOW100 instead of mangling
1084         the name.
1085         (xstormy16_strip_name_encoding): Delete - this function is no
1086         longer needed.
1087         (TARGET_STRIP_NAME_ENCODING): Undefine.
1088         * config/stormy16/stormy16-protos.h: Delete prototype for
1089         xstormy16_strip_name_encoding.
1090
1091 2005-08-06  Kazu Hirata  <kazu@codesourcery.com>
1092
1093         * Makefile.in, cfgexpand.c, cfgloop.h, cfgloopmanip.c,
1094         config.gcc, ipa-cp.c, ipa-prop.c, ipa-prop.h, reg-stack.c,
1095         tree-ssa-structalias.c, tree-vrp.c, value-prof.c, vec.h,
1096         config/linux.h, config/alpha/alpha.h, config/alpha/linux.h,
1097         config/alpha/predicates.md, config/arc/arc.h,
1098         config/arm/arm.h, config/arm/ieee754-df.S,
1099         config/arm/ieee754-sf.S, config/bfin/bfin.c,
1100         config/bfin/bfin.h, config/c4x/c4x.h, config/crx/crx.c,
1101         config/fr30/fr30.h, config/frv/frv.h, config/h8300/h8300.h,
1102         config/i386/i386.h, config/ia64/ia64.c, config/ia64/ia64.h,
1103         config/m68hc11/m68hc11.h, config/mips/mips.c,
1104         config/mips/mips.h, config/mips/openbsd.h,
1105         config/mn10300/mn10300.h, config/pa/pa.c, config/pa/pa.h,
1106         config/pdp11/pdp11.h, config/rs6000/linux-unwind.h,
1107         config/rs6000/rs6000.c, config/rs6000/rs6000.h,
1108         config/s390/s390.c, config/sh/sh.c, config/sh/sh.h,
1109         config/sparc/linux.h, config/sparc/linux64.h,
1110         config/sparc/sparc.h, config/v850/v850.h, config/vax/vax.h,
1111         doc/extend.texi, doc/gcov.texi, doc/install.texi,
1112         doc/invoke.texi, doc/rtl.texi, doc/tm.texi: Fix comment/doc
1113         typos.  Follow spelling conventions.
1114
1115 2005-08-06  Joseph S. Myers  <joseph@codesourcery.com>
1116
1117         PR c/23113
1118         * stmt.c (warn_if_unused_value): Check TREE_NO_WARNING at start.
1119         Don't handle NOP_EXPR, CONVERT_EXPR and NON_LVALUE_EXPR
1120         specially.  Check for side effects only for COND_EXPR.
1121         * c-typeck.c (c_finish_stmt_expr): Mark statement expression
1122         return with TREE_NO_WARNING.
1123
1124 2005-08-06  Richard Sandiford  <richard@codesourcery.com>
1125
1126         PR rtl-optimization/23233
1127         * loop.c (combine_movables): Require the modes to be the same.
1128         (move_movables): Remove handling of cases where the replacement
1129         had a different mode to the original.
1130
1131 2005-08-05  James A. Morrison  <phython@gcc.gnu.org>
1132
1133         PR tree-optimization/23128
1134         * tree-vrp.c (vrp_int_const_binop): Check if unsigned addition or
1135         subtraction wrap, and set TREE_OVERFLOW if they do.
1136
1137 2005-08-05  Richard Henderson  <rth@redhat.com>
1138
1139         PR 21728
1140         * tree-cfg.c (remove_bb): Transmute DECL_NONLOCAL labels into
1141         FORCED_LABEL labels.
1142
1143 2005-08-05  J"orn Rennecke <joern.rennecke@st.com>
1144
1145         PR middle-end/23135
1146         * reload.c (find_reloads_subreg_address): Pass down TYPE
1147         unchanged.  Change all callers except find_reloads_toplev.
1148
1149 2005-08-05  Michael Matz  <matz@suse.de>
1150
1151         * genattrtab.c (current_alternative_string): Remove.
1152         (SIMPLIFY_ALTERNATIVE): Ditto.
1153         (attr_alt_bit_p): Ditto.
1154         (alternative_name): Make const char *.
1155         (evaluate_eq_attr): Remove use of above things.
1156         (simplify_test_exp): Ditto.
1157         (simplify_test_exp <EQ_ATTR>): Guard for insn_code < 0 .
1158         (simplify_test_exp <AND>): Correct typo (test 'right' not 'left').
1159
1160 2005-08-04  James E Wilson  <wilson@specifix.com>
1161
1162         * config/ptx4.h, config/sol2.h, config/arm/freebsd.h,
1163         config/arm/linux-elf.h, config/frv/frv.h, config/i386/freebsd.h,
1164         config/i386/freebsd64.h, config/i386/netware.h, config/i386/sco5.h,
1165         config/ia64/freebsd.h, config/rs6000/sysv4.h, config/sparc/freebsd.h
1166         (LINK_SPEC): Delete useless %{Wl,*:%*} item.
1167
1168 2005-08-04  Richard Henderson  <rth@redhat.com>
1169
1170         PR 21529
1171         * params.def (PARAM_SRA_MAX_STRUCTURE_COUNT): New.
1172         * params.h (SRA_MAX_STRUCTURE_COUNT): New.
1173         * tree-sra.c (decide_block_copy): Use it.  Disable element copy
1174         if we'd have to instantiate too many members.
1175
1176 2005-08-04  Richard Henderson  <rth@redhat.com>
1177
1178         PR 21291
1179         * tree-outof-ssa.c (coalesce_asm_operands): New.
1180         (coalesce_ssa_name): Use it.  Split out ...
1181         (coalesce_phi_operands, coalesce_result_decls): ... these.
1182
1183 2005-08-04  Paul Brook  <paul@codesourcery.com>
1184
1185         * read-rtl.c (read_quoted_string): Break if EOF.
1186
1187 2005-08-04  Andrew Pinski  <pinskia@physics.uc.edu>
1188
1189         * tree.h (fold_build1): Change to macro and call fold_build1_stat.
1190         (fold_build2): Likewise.
1191         (fold_build3): Likewise.
1192         (fold_build1_stat): New function prototype.
1193         (fold_build2_stat): Likewise.
1194         (fold_build3_stat): Likewise.
1195         * fold-const.c (fold_build1): Rename to ..
1196         (fold_build1_stat): this.  Add MEM_STAT_DECL.  Pass the mem stats
1197         through to build1_stat.
1198         (fold_build2): Rename to ..
1199         (fold_build2_stat): this.  Add MEM_STAT_DECL.  Pass the mem stats
1200         through to build2_stat.
1201         (fold_build3): Rename to ..
1202         (fold_build3_stat): this.  Add MEM_STAT_DECL.  Pass the mem stats
1203         through to build3_stat.
1204
1205 2005-08-04  David Edelsohn  <edelsohn@gnu.org>
1206             Ian Lance Taylor  <ian@airs.com>
1207
1208         * function.c (assign_stack_local_1): Do not correct stack slot
1209         address if allocation size is smaller than mode size.
1210
1211 2005-08-04  Diego Novillo  <dnovillo@redhat.com>
1212
1213         PR 22037
1214         * tree-cfg.c (replace_uses_by): Call mark_new_vars_to_rename.
1215         (tree_merge_blocks): Propagate anything allowed by
1216         may_propagate_copy.
1217         Clarify documentation.
1218         * passes.c (execute_todo): If cleanup_tree_cfg invalidated the
1219         SSA form, schedule an update if necessary.
1220
1221 2005-08-04  Gerald Pfeifer  <gerald@pfeifer.com>
1222
1223         * doc/install.texi (Binaries): Remove broken link to
1224         Sinix/Reliant Unix binaries.
1225
1226 2005-08-03  Richard Henderson  <rth@redhat.com>
1227
1228         PR 23221
1229         * function.c (stack_protect_epilogue): Export.
1230         * tree.h (stack_protect_epilogue): Declare.
1231         * calls.c (expand_call): Call it.
1232
1233 2005-08-03  Eric Christopher  <echristo@apple.com>
1234
1235         * gcc.c (LINK_SSP_SPEC): Add fstack-protector-all.
1236         * config/darwin.h (LINK_COMMAND_SPEC): Add link_ssp
1237         spec.
1238
1239 2005-08-04  Jan Hubicka  <jh@suse.cz>
1240
1241         * profile.c (branch_prob): Split edges with goto locus on them
1242         to get proper line counts.
1243         * tree-cfg.c (make_cond_expr_edges): Record user goto locuses, if any.
1244
1245 2005-08-03  Paul Brook  <paul@codesourcery.com>
1246
1247         * function.c (assign_parms): Round current_function_args_size
1248         to PARM_BOUNDARY, not STACK_BOUNDARY.
1249
1250 2005-08-03  Geoffrey Keating  <geoffk@apple.com>
1251
1252         * config/i386/i386.c (x86_elf_aligned_common)
1253         (x86_output_aligned_bss): Don't try to use symbols that aren't defined.
1254
1255 2005-08-03  Zdenek Dvorak  <dvorakz@suse.cz>
1256
1257         PR tree-optimization/23157
1258         * tree-scalar-evolution.c (scev_const_prop): Unshare trees
1259         before emitting them.
1260
1261 2005-08-03  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1262
1263         PR tree-optimization/19899
1264         * Makefile.in (tree-scalar-evolution.o): Add real.h.
1265         * tree-scalar-evolution.c: Include real.h.
1266         (add_to_evolution): Build constant -1 of correct type.
1267
1268 2005-08-03  Jan Hubicka  <jh@suse.cz>
1269
1270         * cfgloop.h (DLTHE_FLAG_COMPLETTE_PEEL): New flag.
1271         * cfgloopmanip.c (duplicate_loop_to_header_edge): Special case
1272         profile updating for complette unrolling.
1273         * loop-unroll.c (peel_loop_completely): Use it.
1274         * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Likewise.
1275         (tree_unroll_loops_completely): Disable code growing unrolling of cold
1276         loops.
1277
1278 2005-08-03  Paul Brook  <paul@codesourcery.com>
1279
1280         * combine.c (can_change_dest_mode): New function.
1281         (try_combine, simplify_set): Use it.
1282
1283 2005-08-03  Eric Botcazou  <ebotcazou@adacore.com>
1284
1285         * config/ia64/hpux.h (MEMBER_TYPE_FORCES_BLK): Only force
1286         TFmode to BLKmode.
1287
1288 2005-08-03  Gerald Pfeifer  <gerald@pfeifer.com>
1289
1290         * doc/install.texi (Specific): Adjust link to openavr.org.
1291         (Specific): Remove broken reference to GCC 2.8.1 for OS/2.
1292         (Binaries): Adjust HP-UX Porting Center link.
1293         (Binaries): Adjust Free Software Foundation ordering link.
1294
1295 2005-08-03  Andrew Pinski  <pinskia@physics.uc.edu>
1296
1297         * convert.c (convert_to_integer): Use fold_build1 instead of
1298         build1 when converting an integer to an integer.
1299
1300 2005-08-02  Richard Henderson  <rth@redhat.com>
1301
1302         * combine.c (combine_instructions): Don't use reg_equal/equiv
1303         results if the mode doesn't match.
1304
1305 2005-08-02  Mark Mitchell  <mark@codesourcery.com>
1306
1307         * config/i386/t-mingw32 (NATIVE_SYSTEM_HEADER_DIR): Set it.
1308         * doc/fragments.texi (NATIVE_SYSTEM_HEADER_DIR): Document it.
1309
1310 2005-08-02  Richard Henderson  <rth@redhat.com>
1311
1312         PR 23196
1313         * explow.c (memory_address): Remove special-case for
1314         virtual_stack_vars_rtx and virtual_incoming_args_rtx.
1315
1316 2005-08-02  Diego Novillo  <dnovillo@redhat.com>
1317
1318         PR 23164
1319         * tree-cfgcleanup.c (cleanup_tree_cfg): Do not limit the
1320         number of calls to cleanup_tree_cfg_1.
1321
1322 2005-08-02  Martin Reinecke  <martin@mpa-garching.mpg.de>
1323
1324         * doc/invoke.texi: document file extensions .F90 and .F95
1325
1326 2005-08-02  Richard Guenther  <rguenther@suse.de>
1327
1328         * fold-const.c (tree_expr_nonnegative_p): frexp(x, &e) is
1329         positive if its first argument is positive.
1330
1331 2005-08-02  Richard Guenther  <rguenther@suse.de>
1332
1333         PR tree-optimization/23177
1334         * tree-ssa-operands.c (get_tmr_operands): Use get_expr_operands
1335         on TMR_TAG.
1336
1337 2005-08-02  James A. Morrison  <phython@gcc.gnu.org>
1338
1339         PR tree-optimization/23129
1340         * tree-vrp.c (extract_range_from_binary_expr): Set value range to
1341         varying for divisions with anti-ranges.
1342
1343 2005-08-02  Jan Hubicka  <jh@suse.cz>
1344
1345         * tree-ssa-dom.c (thread_across_edge): Remove updating here.
1346         * tree-ssa-threadupdate.c (thread_block): Add it here.
1347
1348 2005-08-01  James E Wilson  <wilson@specifix.com>
1349
1350         * config/mips/mips.c (mips_encode_section_info, mips_attribute_table,
1351         TARGET_ENCODE_SECTION_INFO, TARGET_ATTRIBUTE_TABLE): New.
1352         * config/mips/mips.h (SYMBOL_FLAG_LONG_CALL, SYMBOL_REF_LONG_CALL_P):
1353         New.
1354         * config/mips/predicates.md (const_call_insn_operand): Add check for
1355         SYMBOL_REF_LONG_CALL_P.
1356         * doc/extend.texi (long_call): Document the new attribute.
1357
1358 2005-08-01  Ian Lance Taylor  <ian@airs.com>
1359             Richard Henderson  <rth@redhat.com>
1360
1361         * Makefile.in (RTL_BASE_H): Add real.h.
1362         * real.h (REAL_VALUE_FROM_CONST_DOUBLE): Use structure copy
1363         instead of memcpy.
1364         * emit-rtl.c (const_double_from_real_value): Likewise; use rtx.u.rv
1365         directly.
1366         * rtl.c (rtl_check_failed_code_mode): New.
1367         * rtl.h (struct rtx_def): Add u.rv.
1368         (XCMWINT, XCNMPRV): New.
1369         (CONST_DOUBLE_LOW, CONST_DOUBLE_HIGH): Use XCMWINT.
1370         (CONST_DOUBLE_REAL_VALUE): Use XCNMPRV; constify.
1371
1372 2005-08-01  Richard Henderson  <rth@redhat.com>
1373
1374         * dwarf2out.c (mem_loc_descriptor): Use XEXP, not SUBREG_REG,
1375         with auto-inc codes.
1376
1377         * config/alpha/predicates.md (and_operand): Test mode of CONST_DOUBLE.
1378
1379 2005-08-01  Jan Hubicka  <jh@suse.cz>
1380
1381         * i386-protos.h (asm_preferred_eh_data_format): Declare.
1382         * i386.c: Include dwarf2.h
1383         (asm_preferred_eh_data_format): New.
1384         * i386.h (ASM_PREFERRED_EH_DATA_FORMAT): Move offline.
1385
1386 2005-08-01  Ian Lance Taylor  <ian@airs.com>
1387
1388         * config/host-linux.c (linux_gt_pch_get_address): Add new name
1389         randomize_va_space for virtual address randomization control.
1390
1391 2005-08-01  Steven Bosscher  <stevenb@suse.de>
1392
1393         * common.opt (flag_ipa_cp): Put in right place to maintain
1394         alphabetic sort.
1395
1396 2005-08-01  Jan Hubicka  <jh@suse.cz>
1397
1398         * profile.c (compute_value_histograms): Fix thinko.
1399         * value-prof.c: Include toplev.h
1400         (check_counter): New function.
1401         (tree_divmod_fixed_value_transform, tree_mod_pow2_value_transform,
1402         tree_mod_subtract_transform): Add sanity check.
1403
1404 2005-08-01  Richard Guenther  <rguenther@suse.de>
1405
1406         PR tree-optimization/23133
1407         * tree-ssa-math-opts.c (execute_cse_reciprocals): Walk
1408         current functions parameter decls to find defs to cse
1409         reciprocals of.
1410
1411 2005-08-01  Richard Guenther  <rguenther@suse.de>
1412
1413         PR tree-optimization/23109
1414         * tree-ssa-math-opts.c (execute_cse_reciprocals_1):
1415         If trapping math is in effect, use post-dominator information
1416         to check if we'd in any case reach a trapping point before
1417         doing the reciprocal insertion.
1418         (execute_cse_reciprocals): Compute post-dominators, if necessary.
1419         * tree-ssa-loop-im.c (determine_invariantness_stmt): RDIV
1420         expressions are invariant only if trapping math is not in effect.
1421
1422 2005-08-01  Razya Ladelsky  <razya@il.ibm.com>
1423
1424         * cgraph.h (update_call_expr, cgraph_copy_node_for_versioning,
1425         cgraph_function_versioning): New declarations.
1426         * cgraphunit.c: Add include to ipa-prop.h.
1427         (update_call_expr, cgraph_copy_node_for_versioning,
1428         cgraph_function_versioning): New functions.
1429         * integrate.c (copy_decl_for_inlining): Remove.
1430         * ipa-prop.h (ipa_replace_map): New struct.
1431         (struct ipa_node): Add ipcp_orig_node, count_scale, new fields.
1432         * ipa-cp.c (ipcp_method_orig_node, ipcp_method_is_cloned,
1433         ipcp_method_set_orig_node, ipcp_cloned_create, ipcp_method_get_scale,
1434         ipcp_method_set_scale, ipcp_method_compute_scale, ipcp_after_propagate,
1435         ipcp_iterate_stage, ipcp_method_scale_print,
1436         ipcp_profile_mt_count_print, ipcp_profile_cs_count_print,
1437         ipcp_profile_edge_print, ipcp_profile_bb_print , ipcp_profile_print,
1438         ipcp_replace_map_create, ipcp_redirect, ipcp_update_callgraph,
1439         ipcp_update_bb_counts, ipcp_update_profiling,
1440         ipcp_update_edges_counts): New functions.
1441         (ipcp_method_cval_init): Remove restriction regarding local methods.
1442         (ipcp_init_stage): Add ipcp_method_compute_scale.
1443         (ipcp_insert_stage): Add versioning.
1444         (ipcp_structures_print): Add ipcp_method_scale_print.
1445         (ipcp_driver): Dump profiling info.
1446         * Makefile.in: Remove integrate.h dependency from tree-inline.o.
1447         Add ipa-prop.h dependency to tree-inline.o and cgraphunit.o.
1448         * tree-inline.c: Remove include to integrate.h, Add include ipa-prop.h.
1449         (struct inline_data): Add versioning_p, ipa_info, new fields.
1450         (remap_decl, mark_local_for_remap_r, setup_one_parameter,
1451         declare_return_variable): Replace calls to copy_decl_for_inlining with
1452         copy_decl_for_dup.
1453         (copy_body_r, copy_bb, copy_cfg_body, copy_tree_r, inlining_p): Add
1454         versioning support.
1455         (copy_decl_for_dup): Rename from copy_decl_for_inlining.
1456         Add argument VERSIONING.
1457         (copy_arguments_for_versioning, copy_static_chain,
1458         function_versionable_p, tree_versionable_function_p,
1459         tree_function_versioning, replace_ref_tree): New functions.
1460         * tree-inline.h: Include varray.h.
1461         (tree_versionable_function_p,  tree_function_versioning,
1462         tree copy_decl_for_dup): New declarations.
1463
1464 2005-08-01  Razya Ladelsky  <razya@il.ibm.com>
1465
1466         * ipa-cp.c: New file. Contains IPCP specific functionality.
1467         * ipa-prop.h: New file. Contains structures/definitions that can be
1468         used by several interprocedural data flow optimizations (and also IPCP).
1469         * ipa-prop.c: New file.
1470         * Makefile.in: Add ipa-cp.c, ipa-prop.h, ipa-prop.c.
1471         * common.opt: Add ipa-cp flag.
1472         * timevar.def: Add IPCP optimization.
1473         * tree-optimize.c (init_tree_optimization_passes): Schedule
1474         pass_ipa_cp.
1475         * tree-pass.h (pass_ipa_cp): Declare.
1476
1477 2005-08-01  Kazu Hirata  <kazu@codesourcery.com>
1478
1479         * dwarf2out.c, fold-const.c, ipa-type-escape.c,
1480         loop-invariant.c, predict.c, predict.def, reload1.c, reorg.c,
1481         tree-sra.c, config/arm/arm.c, config/crx/crx.c,
1482         config/i386/i386.c, config/mips/mips.h,
1483         config/rs6000/rs6000.h, config/sh/sh.c,
1484         config/stormy16/stormy16.c: Fix comment typos.
1485
1486 2005-08-01  Joseph S. Myers  <joseph@codesourcery.com>
1487
1488         PR c/22311
1489         * c-typeck.c (build_binary_op): Use common_type wrapper on
1490         shortened types.
1491         (common_type): Update comment.
1492
1493 2005-07-31  Steven Bosscher  <stevenb@suse.de>
1494
1495         PR target/23095
1496         * common.opt (flag_gcse_after_reload): Don't initialize to 2.
1497         (flag_rerun_cse_after_loop): Initialize this to 2 instead.
1498         * postreload-gcse.c (hash_scan_set): Do not consider stack regs.
1499
1500 2005-07-31  Jan Hubicka  <jh@suse.cz>
1501
1502         * pretty-print.h (pp_widest_integer): New macro.
1503         * tree-pretty-print.c (dump_bb_header): Print BB frequencies and
1504         counts.
1505
1506 2005-07-31  Jan Hubicka  <jh@suse.cz>
1507
1508         * output.h (enum section_category): Export from varasm.c
1509         (categorize_decl_for_section): Likewise.
1510         * varasm.c (enum section_category): Kill.
1511         (categorize_decl_for_section): Make global.
1512         * i386-protos.h (x86_output_aligned_bss, x86_elf_aligned_common):
1513         Declare.
1514         * i386.c (ix86_section_threshold): New static variable.
1515         (ix86_in_large_data_p, ix86_encode_section_info,
1516         x86_64_elf_unique_section,
1517         x86_64_elf_select_section): New functions.
1518         (TARGET_ENCODE_SECTION_INFO): Define
1519         (override_options): Enable medium model for PIC.
1520         (ix86_expand_prologue): Expand gen_set_got_rex64.
1521         (legitimate_constant_p): Handle new UNSPECs.
1522         (legitimate_pic_address_disp_p): Likewise.
1523         (legitimize_pic_address): Lower MEDIUM model addressing.
1524         * i386.h (PIC_OFFSET_TABLE_REGNUM): Set for medium model PIC.
1525         (enum cmodel): Add MEDIUM_PIC.
1526         (SYMBOL_REF_FAR_ADDR_P): New macro.
1527         (SYMBOL_FLAG_FAR_ADDR): New flag.
1528         * i386.md (movdi): Support medium model.
1529         (set_got_rex64): New pattern.
1530         * i386.opt (mlarge-data-threshold): New flag.
1531         * predicates.md (zext_operand/sext_operand): Deal with medium model.
1532         * x86-64.h (ASM_OUTPUT_ALIGNED_BSS): Use x86_output_aligned_bss.
1533         (ASM_OUTPUT_ALIGNED_COMMON, TARGET_ASM_SELECT_SECTION,
1534         TARGET_ASM_UNIQUE_SECTION): New.
1535
1536         * invoke.texi (-mlarge_data_threshold): Document
1537
1538 2005-07-31  Jan Hubicka  <jh@suse.cz>
1539
1540         * tree-outof-ssa.c (coalesce_ssa_name): Use coalesce_cost.
1541         (coalesce_vars): Likewise.
1542         * tree-ssa-live.c (coalesce_cost): New.
1543         (build_tree_conflict_graph): Use coalesce_cost.
1544         * tree-ssa-live.h (coalesce_cost): Declare.
1545
1546 2005-07-30  Richard Earnshaw  <richard.earnshaw@arm.com>
1547
1548         * arm.md (all peepholes for post-increment operations): Delete.
1549         (strqi_preinc, strqi_predec, loadqi_preinc, loadqi_predec)
1550         (loadqisi_preinc, loadqisi_predec, strsi_preinc, strsi_predec)
1551         (loadsi_preinc, loadsi_predec, strqi_shiftpreinc, strqi_shiftpredec)
1552         (loadqi_shiftpreinc, loadqi_shiftpredec, strsi_shiftpreinc)
1553         (strsishift_predec, loadsi_shiftpreinc, loadsi_shiftpredec): Delete.
1554
1555 2005-07-30  James A. Morrison  <phython@gcc.gnu.org>
1556
1557         * fold-const.c (tree_expr_nonnegative_p): Always return true for
1558         non-integral types.
1559
1560 2005-07-29  Wolfgang Bangerth <bangerth@dealii.org>
1561
1562         PR target/22582
1563         * doc/invoke.texi: Document -rdynamic.
1564
1565 2005-07-30  Joseph S. Myers  <joseph@codesourcery.com>
1566
1567         PR c/23143
1568         * c-parser.c (c_parser_parms_list_declarator): Call
1569         mark_forward_parm_decls.
1570         * c-decl.c (merge_decls): Only check DECL_IN_SYSTEM_HEADER for
1571         decls with visibility structure.
1572
1573 2005-07-30  Paul Brook  <paul@codesourcery.com>
1574
1575         * config/arm/arm.c (arm_coproc_mem_operand): Fix inaccurate comment.
1576
1577 2005-07-30  Paul Brook  <paul@codesourcery.com>
1578
1579         * config/arm/arm-protos.h (arm_canonicalize_comparison): Update
1580         prototype.
1581         * config/arm/arm.c (arm_canonicalize_comparison): Use correct limit
1582         value for mode.
1583         * config/arm/arm.h (CANONICALIZE_COMPARISON): Pass mode argument.
1584
1585 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
1586
1587         PR c/529
1588         * c-decl.c (warn_if_shadowing): Don't check for PARM_DECL in
1589         nested function declarators.
1590         (pushdecl): Don't call warn_if_shadowing for PARM_DECL.
1591         (grokparms): Call warn_if_shadowing for parameters used within the
1592         parameter list.
1593         (store_parm_decls_newstyle): Call warn_if_shadowing for parameters
1594         not used within the parameter list.
1595         (store_parm_decls_oldstyle): Call warn_if_shadowing for parameters.
1596
1597 2005-07-30  Jan Hubicka  <jh@suse.cz>
1598
1599         * expr.c (expand_expr_real_1): Do not load mem targets into register.
1600         * i386.c (ix86_fixup_binary_operands): Likewise.
1601         (ix86_expand_unary_operator): Likewise.
1602         (ix86_expand_fp_absneg_operator): Likewise.
1603         * optabs.c (expand_vec_cond_expr): Validate dest.
1604
1605 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
1606
1607         PR c/21720
1608         * real.c (real_from_string): Also set last bit if there is a
1609         nonzero hex digit beyond GCC's internal precision after ".".
1610
1611 2005-07-29  David Edelsohn  <edelsohn@gnu.org>
1612
1613         * config/rs6000/altivec.md: Convert UNSPEC numerical values to
1614         define_constants.  Change duplicate values to unassigned numbers.
1615         Change UNSPEC_SUBS to UNSPEC_VSUBS.
1616         (*altivec_vspltsf): New.
1617         (altivec_vperm_v4sf): Delete.
1618         (altivec_vperm_<mode>): Use mode macro V.
1619         (altivec_vsldoi_<mode>): Convert to mode macro pattern.
1620         (altivec_predicate_v4sf): Delete.
1621         (altivec_predicate_<mode>): Use mode macro V.
1622         (*altivec_lvesfx): New.
1623         (*altivec_stvesfx): New.
1624         (vec_realign_load_v4sf): Delete.
1625         (vec_realign_load_<mode>): Use mode macro V.
1626         * config/rs6000/rs6000.c (generate_set_vrsave): Use
1627         UNSPECV_SET_VRSAVE.
1628
1629 2005-07-29  Mark Mitchell  <mark@codesourcery.com>
1630
1631         PR bootstrap/23131
1632         * configure.ac (SYSTEM_HEADER_DIR): Avoid setting to empty
1633         string.
1634         * configure: Regenerated.
1635
1636 2005-07-29  Paul Brook  <paul@codesourcery.com>
1637
1638         * doc/install.texi: Add link to GFortran binaries wiki page.
1639
1640 2005-07-29  David Ung  <davidu@mips.com>
1641
1642         * config/mips/mips.c (mips_cpu_info_table): Add 5kf to the table.
1643         (mips_rtx_cost_data): Add costs for 5kc and 5kf.
1644         * config/mips/mips.h (processor_type): Add PROCESSOR_5KF.
1645         * config/mips/mips.md (cpu): Add 5kf name.
1646         (includes): Includes 5k.md.
1647         * config/mips/5k.md: New DFA pipeline for the 5kc/5kf.
1648         * doc/invoke.texi (MIPS Options): Updated cpu name supported with
1649         -march flag.
1650
1651 2005-07-29  Diego Novillo  <dnovillo@redhat.com>
1652
1653         PR 22550
1654         * tree-cfgcleanup.c (cleanup_tree_cfg_1): Extract from ...
1655         (cleanup_tree_cfg): ... here.
1656         Call cleanup_tree_cfg_1 until there are no more cleanups to
1657         do.
1658
1659 2005-07-29  James A. Morrison  <phython@gcc.gnu.org>
1660
1661         * tree-vrp.c (compare_range_with_value): Return true or false
1662         for ~[VAL_1, VAL_2] OP VAL if VAL_1 <= VAL <= VAL_2 for NE_EXPR and
1663         EQ_EXPR respectively.
1664
1665 2005-07-29  Kazu Hirata  <kazu@codesourcery.com>
1666
1667         * cfg.c, tree-complex.c, config/frv/frv.c, config/i386/i386.c:
1668         Fix comment typos.
1669
1670 2005-07-29  Diego Novillo  <dnovillo@redhat.com>
1671
1672         * tree-ssa-dom.c (struct opt_stats_d): Add field num_iterations.
1673         (tree_ssa_dominator_optimize): Increment it.
1674         (dump_dominator_optimization_stats): Print it.
1675
1676 2005-07-29  Richard Earnshaw  <richard.earnshaw@arm.com>
1677             Steven Bosscher  <stevenb@suse.de>
1678
1679         PR rtl-optimization/23117
1680         * sched-rgn.c (add_branch_dependences): Handle COND_EXEC correctly
1681         when head == tail.  Tidy comment.
1682
1683 2005-07-28  Richard Henderson  <rth@redhat.com>
1684
1685         * cse.c (exp_equiv_p): Special case CONST_DOUBLE.
1686         * cselib.c (rtx_equal_for_cselib_p): Likewise.
1687         * jump.c (rtx_renumbered_equal_p): Likewise.
1688         * loop.c (rtx_equal_for_loop_p): Tidy and special case PC, CC0,
1689         CONST_INT and CONST_DOUBLE.
1690         (rtx_equal_for_prefetch_p): Likewise, plus LABEL_REF.
1691         * reload.c (operands_match_p): Special case CONST_INT and
1692         CONST_DOUBLE; check mode earlier.
1693
1694 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
1695
1696         PR c/22240
1697         * c-typeck.c (convert_for_assignment): Do not check
1698         DECL_IN_SYSTEM_HEADER on NULL fundecl.
1699
1700 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
1701
1702         PR c/22192
1703         * c-typeck.c (composite_type): Prefer constant size arrays to
1704         VLAs.
1705
1706 2005-07-29  Joseph S. Myers  <joseph@codesourcery.com>
1707
1708         PR c/21720
1709         * real.c (real_from_string): Set last bit if there is a nonzero
1710         hex digit beyond GCC's internal precision.
1711
1712 2005-07-28  Richard Henderson  <rth@redhat.com>
1713
1714         PR rtl-opt/22619
1715         * cfgcleanup.c (try_forward_edges): Watch out for end of
1716         insn chain.
1717
1718 2005-07-28  James E Wilson  <wilson@specifixinc.com>
1719
1720         PR c/23106
1721         * doc/invoke.texi (Wstrict-aliasing=2): Fix misleading wording.
1722
1723 2005-07-28  Jan Hubicka  <jh@suse.cz>
1724
1725         * Makefile.in (rtl-profile.o): Kill all traces of it.
1726         * common.opt (fspeculative-prefetching, ftree-based-profiling): Kill.
1727         * coverage.h (rtl_coverage_counter_ref): Kill.
1728         * opts.c (flag_speculative_prefetching_set): Kill.
1729         (flag_loop_optimize_set): New.
1730         (common_handle_option): Disable loop optimizer when profiling;
1731         do not handle speculative prefetching.
1732         * passes.c (init_optimization_passes): Replace pass_profiling combo
1733         by branch_prob pass.
1734         * profile.c (compute_value_histograms): Update for simplified value
1735         profiles.
1736         (rtl_register_profile_hooks): Kill.
1737         (pass_profiling): Kill.
1738         (rest_of_handle_branch_prob): Do not profile.
1739         * toplev.c (process_options): Remove speculative prefetching.
1740         * toplev.h (flag_tree_based_profiling): Kill.
1741         * tree-profile.c (prepare_instrumented_value,
1742         tree_gen_interval_profiler, tree_gen_pow2_profiler,
1743         tree_gen_one_value_profiler, do_tree_profiling): Update for
1744         simplified datastructures.
1745         * value-prof.c: Add comment that speculative prefetching was dropped;
1746         update rest of file for simplified datastructures.
1747         (NOPREFETCH_RANGE_MIN, NOPREFETCH_RANGE_MAX,
1748         rtl_divmod_values_to_profile, insn_prefetch_values_to_profile,
1749         find_mem_reference_1, find_mem_reference_2, find_mem_reference,
1750         rtl_values_to_profile, rtl_divmod_fixed_value, rtl_mod_pow2,
1751         rtl_mod_subtract, gen_speculative_prefetch,
1752         rtl_divmod_fixed_value_transform, rtl_mod_pow2_value_transform,
1753         rtl_mod_subtract_transform, speculative_prefetching_transform): Kill.
1754         (gate_handle_value_profile_transformations,
1755         rest_of_handle_value_profile_transformations,
1756         pass_value_profile_transformations): Kill.
1757         * value-prof.h (histogram_value_t): Remove IL based unions.
1758         (rtl_register_value_prof_hooks, rtl_register_profile_hooks,
1759         rtl_profile_hooks): Remove hooks.
1760
1761         * invoke.texi (-ftree-based-profiling, -fspeculative-prefetching): Kill.
1762
1763         * cgraph.c (cgraph_clone_edge): New UPDATE_ORIGINAL argument.
1764         (cgraph_clone_node): Likewise.
1765         * cgraph.h (cgraph_clone_edge): Update prototype.
1766         (cgraph_clone_node): Likewise.
1767         * ipa-inline.c (cgraph_clone_inlined_nodes): Update call of
1768         cgraph_clone_node.
1769         (lookup_recursive_calls): Consider profile.
1770         (cgraph_decide_recursive_inlining): Fix updating; use new
1771         probability argument; use profile.
1772         * params.def (PARAM_MIN_INLINE_RECURSIVE_PROBABILITY): New.
1773         * tree-inline.c (copy_bb): Update clal of clone_edge.
1774         * tree-optimize.c (tree_rest_of_compilation): UPdate cal of clone_node.
1775
1776         * invoke.texi (min-inline-recursive-probability): Document.
1777
1778 2005-07-28  Gerald Pfeifer  <gerald@pfeifer.com>
1779
1780         * doc/install.texi (Configuration): Update Valgrind homepage.
1781
1782 2005-07-28  Richard Henderson  <rth@redhat.com>
1783
1784         PR middle-end/21362
1785         * cfgrtl.c (rtl_merge_blocks): Call maybe_remove_eh_handler on
1786         labels we want to delete.
1787         (cfg_layout_merge_blocks): Likewise.
1788
1789 2005-07-28  Richard Henderson  <rth@redhat.com>
1790
1791         PR target/17692
1792         * config/i386/i386.c (ix86_split_sse_movcc): Emit DELETED note
1793         when expanding to nothing.
1794
1795 2005-07-28  Josh Conner  <jconner@apple.com>
1796
1797         * ipa-inline.c (update_caller_keys): Fix estimated_growth caching.
1798         (cgraph_decide_inlining_of_small_functions): Likewise.
1799
1800 2005-07-28  Josh Conner  <jconner@apple.com>
1801
1802         * ipa-inline.c (cgraph_edge_badness): Update comments.  Invert shift
1803         direction of badness if negative.
1804         (cgraph_default_inline_p): Add reason to parameters, and assign it
1805         a value.
1806         (cgraph_decide_inlining_of_small_functions): New parameter in call
1807         to cgraph_default_inline_p.
1808         (cgraph_decide_inlining_incrementally): Likewise.
1809         * cgraphunit.c (decide_is_function_needed): Likewise.
1810         * cgraph.h (cgraph_default_inline_p): Likewise.
1811
1812 2005-07-28  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1813
1814         * builtins.c: Fix comment typo(s).
1815         * genautomata.c: Likewise.
1816         * gimplify.c: Likewise.
1817         * tree-dfa.c: Likewise.
1818         * tree-flow-inline.h: Likewise.
1819         * tree-into-ssa.c: Likewise.
1820         * tree-ssa-alias.c: Likewise.
1821         * tree-ssa-ccp.c: Likewise.
1822         * tree-ssa-copy.c: Likewise.
1823         * tree-ssa-dce.c: Likewise.
1824         * tree-ssa-dom.c: Likewise.
1825         * tree-ssa-operands.c: Likewise.
1826         * tree-tailcall.c: Likewise.
1827         * tree-vectorizer.c: Likewise.
1828         * tree-vrp.c: Likewise.
1829         * tree.c: Likewise.
1830
1831 2005-07-28  Jeff Law  <law@redhat.com>
1832
1833         * tree-vrp.c (test_for_singularity): Extracted from  ...
1834         (simplify_cond_using_ranges): Attempt to simplify a relational
1835         test to NE_EXPR.  Dump information when a COND_EXPR is simplified.
1836
1837 2005-07-28  Dorit Nuzman  <dorit@il.ibm.com>
1838
1839         PR tree-optimization/22506
1840         * tree-vectorizer.c (update_phi_nodes_for_guard2): Skip loop-closed
1841         phis whose argument is constant.
1842
1843 2005-07-28  J"orn Rennecke <joern.rennecke@st.com>
1844
1845         PR rtl-optimization/18992
1846         Back out this patch:
1847           2003-10-08  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1848           PR optimization/12142
1849           * cse.c (count_reg_usage): In a SET with a REG SET_DEST, count the
1850           uses of the register in the SET_SRC.  Remove unnecessary argument.
1851
1852         Replace it with this:
1853         * cse.c (count_reg_usage): In INSN, JUMP_INSN and CALL_INSN cases,
1854         if flag_non_call_exceptions is set and the insn may trap, pass
1855         pc_rtx as dest for recursion.
1856         In SET_SRC part of SET case, if dest is already set, pass it down
1857         unchanged.
1858
1859 2005-07-28  Jan Hubicka  <jh@suse.cz>
1860
1861         * cfg.c (update_bb_profile_for_threading): Use RDIV.
1862         (scale_bbs_frequencies_int): Likewise, assert for possible overflow.
1863         (scale_bbs_frequencies_gcov_type): Be more curefull about overflows and
1864         roundoff errors.
1865         * tree-cfg.c (tree_duplicate_sese_region): Use counts for updating
1866         profile when available.
1867
1868 2005-07-28  Jan Beulich <jbeulich@novell.com>
1869
1870         * config/ia64/ia64.c (ia64_load_pair_ok): New.
1871         (ia64_print_operand): Describe and handle 'X'.
1872         (ia64_register_move_cost): Also handle FP_REGS.
1873         (ia64_preferred_reload_class): Likewise.
1874         (ia64_secondary_reload_class): Likewise.
1875         (ia64_dependencies_evaluation_hook): New local variable c. Initialize
1876         it. Also check for ITANIUM_CLASS_FLDP.
1877         * config/ia64/ia64.h (FP_REGNO_P): New.
1878         (HARD_REGNO_MODE_OK): Remove explusion of TImode.
1879         (reg_class): Add FP_REGS.
1880         (REG_CLASS_NAMES): Adjust for it.
1881         (REG_CLASS_CONTENTS): Likewise.
1882         (REGNO_REG_CLASS): Use FP_REGS where appropriate.
1883         (REG_CLASS_FROM_LETTER): Handle 'x'.
1884         (CLASS_MAX_NREGS): Handle FP_REGS.
1885         (MEMORY_MOVE_COST): Likewise.
1886         * config/ia64/ia64.md (itanium_class): Add fldp.
1887         (type): Handle fldp.
1888         (movti_internal): More allowable operand combinations. Use ldfp8 when
1889         splitting unnecessary. Remove predicable attribute. Adjust
1890         itanium_class attribute.
1891         (smuldi3_highpart): Remove outdated comment.
1892         (mulditi3, umulditi3, rotlti3): New expanders.
1893         (addti3, subti3, mulditi3_internal, umulditi3_internal, negti2, rotlti3_internal): New insns.
1894         (absti2): Disabled new insn for future reference.
1895         Respective new splitters.
1896         * config/ia64/itanium1.md (1_fldp, 1b_fldp): New insn reservations.
1897         * config/ia64/itanium2.md (2_fldp, 2b_fldp): Likewise.
1898         * config/ia64/ia64-protos.h (ia64_load_pair_ok): New.
1899
1900 2005-07-25  James A. Morrison  <phython@gcc.gnu.org>
1901
1902         PR rtl-optimization/23047
1903         * simplify-rtx.c (simplify_const_relational_operation): Respect
1904         flag_wrapv for comparisons with ABS.
1905
1906 2005-07-27  James A. Morrison  <phython@gcc.gnu.org>
1907
1908         PR tree-optimization/22493
1909         * tree-vrp.c (extract_range_from_unary_expr): Deal with -fwrapv and
1910         VR_ANTI_RANGEs properly for NEGATE_EXPRs and ABS_EXPRs.
1911
1912 2005-07-27  Aldy Hernandez  <aldyh@redhat.com>
1913
1914         * config/frv/frv.opt (moptimize-membar): New.
1915
1916         * doc/invoke.texi: Document -moptimize-membar and its inverse.
1917
1918         * config/frv/frv.h: Remove machine_function definition.
1919
1920         * config/frv/frv.c (struct frv_io): New.
1921         (struct machine_function): Moved from frv.h.  Add has_membar_p.
1922         (frv_same_doubleword_p, frv_io_fixed_order_p, frv_io_union)
1923         (frv_extract_membar, frv_io_check_address, frv_io_handle_set)
1924         (frv_io_handle_use_1, frv_io_handle_use, frv_optimize_membar_local)
1925         (frv_optimize_membar_global, frv_optimize_membar): New functions.
1926         (frv_reorg): Call frv_optimize_membar when appropriate.
1927         (bdesc_loads, bdesc_stores): Use the membar code as the icode field.
1928         (frv_expand_builtin): Adjust calls accordingly.
1929         (frv_io_address_cookie): New function.
1930         (frv_expand_load_builtin, frv_expand_store_builtin): Emit a normal
1931         load or store rather than a special insn.  Add ccnstant address and
1932         io-type operands to the membar.
1933         (frv_ifcvt_modify_tests): Unsign regno.
1934         (frv_ifcvt_modify_tests): Same.
1935
1936         * config/frv/frv.md: Remove UNSPEC_BUILTIN_{LOAD,STORE}.  Change
1937         UNSPEC_OPTIONAL_MEMBAR constant.
1938         (builtin_read_<mode>): Delete.
1939         (builtin_write_<mode>): Delete.
1940         ("optional_membar_<mode>"): Add operand.
1941
1942         * testsuite/gcc.target/frv/all-builtin-read8.c: Delete.
1943         * testsuite/gcc.target/frv/all-builtin-read16.c: Delete.
1944         * testsuite/gcc.target/frv/all-builtin-read32.c: Delete.
1945         * testsuite/gcc.target/frv/all-builtin-read64.c: Delete.
1946         * testsuite/gcc.target/frv/all-builtin-write8.c: Delete.
1947         * testsuite/gcc.target/frv/all-builtin-write16.c: Delete.
1948         * testsuite/gcc.target/frv/all-builtin-write32.c: Delete.
1949         * testsuite/gcc.target/frv/all-builtin-write64.c: Delete.
1950         * testsuite/gcc.target/frv/all-read-write-1.c: New.
1951
1952 2005-07-28  Kaz Kojima  <kkojima@gcc.gnu.org>
1953
1954         * df.c (df_uses_record): Handle SCRATCH.
1955
1956 2005-07-28  Steven Bosscher  <stevenb@suse.de>
1957
1958         PR debug/20161
1959         * passes.c (rest_of_decl_compilation): If decl is a type and
1960         we have encountered errors, don't emit debug information.
1961
1962 2005-07-27  Kenneth Zadeck <zadeck@naturalbridge.com>
1963
1964         * params.def: Fixed comment.
1965
1966 2005-07-27  Bjoern Haase  <bjoern.m.haase@web.de>
1967
1968         PR target/19885
1969         * config/avr/avr.c (TARGET_ASM_ALIGNED_SI_OP): Add.
1970         (TARGET_ASM_UNALIGNED_HI_OP): Add.
1971         (TARGET_ASM_UNALIGNED_SI_OP): Add.
1972
1973 2005-07-27  Steven Bosscher  <stevenb@suse.de>
1974
1975         PR c++/22003
1976         * varasm.c (assemble_start_function): Don't do anything that may
1977         require a CFG if the current function is a thunk.
1978
1979 2005-07-25  Geoffrey Keating  <geoffk@apple.com>
1980
1981         * doc/install.texi (Prerequisites): Mention that perl is needed
1982         to do export control in libstdc++ targetting Darwin.
1983
1984 2005-07-27  Steven Bosscher  <stevenb@suse.de>
1985
1986         PR rtl-optimization/17808
1987         * sched-deps.c (sched_get_condition): Enable #if 0'ed code.
1988         (sched_insns_conditions_mutex_p): Split out from...
1989         (add_dependence): ...here.  But don't call it from here.
1990         (add_dependence_list): Check sched_insns_conditions_mutex_p
1991         before calling add_dependence.
1992         (add_dependence_list_and_free): Likewise.
1993         (fixup_sched_groups): Likewise.
1994         (sched_analyze_1): Likewise.
1995         (sched_analyze_2): Likewise (and replace a "0" with REG_DEP_TRUE).
1996         (sched_analyze): Likewise.
1997         (sched_analyze_insn): Likewise.
1998         * sched-ebb.c (add_deps_for_risky_insns): Likewise.
1999         * sched-rgn.c (add_branch_dependences): Likewise.  Also, add
2000         dependencies on all COND_EXEC insns to jumps ending basic blocks
2001         when doing intrablock scheduling.
2002         * sched-int.h (sched_insns_conditions_mutex_p): Add prototype.
2003
2004 2005-07-27  Jeff Law  <law@redhat.com>
2005
2006         * tree-vrp.c (vrp_meet): Intersect the equivalency sets when
2007         meeting a VR_ANTI_RANGE with a VR_RANGE.  When intersecting
2008         equivalency sets, correctly handle the case were vr0 has an
2009         equivalency set, but vr1 does not.
2010
2011 2005-07-27  Dorit Nuzman  <dorit@il.ibm.com>
2012
2013         PR tree-optimization/23073
2014         * tree-vect-analyze.c (vect_analyze_data_refs_alignment): Call
2015         vect_print_dump_info before fprintf.
2016
2017 2005-07-27  Zdenek Dvorak  <dvorakz@suse.cz>
2018
2019         PR tree-optimize/22348
2020         * tree-ssa-loop-niter.c (number_of_iterations_cond):
2021         Fold the partial computation.
2022
2023 2005-07-27  Zdenek Dvorak  <dvorakz@suse.cz>
2024
2025         PR tree-optimization/22325
2026         * tree-flow.h (compute_phi_arg_on_exit, force_expr_to_var_cost):
2027         Declare.
2028         * tree-scalar-evolution.c (scev_const_prop): Add generic final
2029         value replacement.
2030         * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Split from ...
2031         (force_var_cost): ... this function.
2032         (compute_phi_arg_on_exit): Export.
2033
2034 2005-07-27  Zdenek Dvorak  <dvorakz@suse.cz>
2035
2036         PR tree-optimization/20773
2037         * tree-ssa-loop-ch.c (copy_loop_headers): Select the correct latch
2038         edge.
2039
2040 2005-07-27  Richard Guenther  <rguenther@suse.de>
2041
2042         * tree-ssa-structalias.c (push_fields_onto_fieldstack):
2043         Avoid pushing again if current struct contains only
2044         fields we decomposed.
2045
2046 2005-07-27  Jan Hubicka  <jh@suse.cz>
2047
2048         PR tree-optimization/22574
2049         * cgraph.c (cgraph_function_body_availability): Unanalyzed bodies are
2050         not available.
2051
2052         * tree-tailcall.c (decrease_profile): New function.
2053         (eliminate_tail_call): Use it.
2054
2055         * cgraphunit.c (cgraph_function_and_variable_visibility): Set
2056         visibility flags correctly in whole program mode.
2057
2058 2005-07-26  Steve Ellcey  <sje@cup.hp.com>
2059
2060         PR rtl-optimization/22472
2061         * config/pa/pa.h (HARD_REGNO_RENAME_OK): Define.
2062
2063 2005-07-26  Steven Bosscher  <stevenb@suse.de>
2064
2065         PR tree-optimization/22504
2066         * tree-complex.c (expand_complex_addition): Use 'code' instead
2067         of MINUS_EXPR for (VARYING, ONLY_IMAG) and (ONLY_IMAG, VARYING).
2068
2069 2005-07-26  Aldy Hernandez  <aldyh@redhat.com>
2070
2071         * config.gcc (cpu_type): Add frv case.
2072         (with_cpu): Add frv400-*-*linux* and frv550-*-*linux* cases.
2073         (supported_defaults): Add fr550 case.
2074
2075 2005-07-26  Diego Novillo  <dnovillo@redhat.com>
2076
2077         PR 22591
2078         * tree-ssa-alias.c (may_alias_p): Remove shortcut that tests
2079         whether a pointer of type T * may point to objects of type T *.
2080
2081 2005-07-26  DJ Delorie  <dj@redhat.com>
2082
2083         * configure: Regenerate.
2084
2085 2005-07-26  Dale Johannesen  <dalej@apple.com>
2086
2087         * postreload-gcse.c (alloc_mem):  Start CUID numbering at 1.
2088
2089 2005-07-26  Mark Mitchell  <mark@codesourcery.com>
2090
2091         * doc/install.texi (--with-build-sysroot): Fix grammatical error.
2092         Clarify use of "build" in name.
2093
2094 2005-07-26  Aldy Hernandez  <aldyh@redhat.com>
2095
2096         * doc/extend.texi (Raw read/write Functions): New section.
2097         * testsuite/gcc.target/frv/all-builtin-read8.c: New.
2098         * testsuite/gcc.target/frv/all-builtin-read16.c: New.
2099         * testsuite/gcc.target/frv/all-builtin-read32.c: New.
2100         * testsuite/gcc.target/frv/all-builtin-read64.c: New.
2101         * testsuite/gcc.target/frv/all-builtin-write8.c: New.
2102         * testsuite/gcc.target/frv/all-builtin-write16.c: New.
2103         * testsuite/gcc.target/frv/all-builtin-write32.c: New.
2104         * testsuite/gcc.target/frv/all-builtin-write64.c: New.
2105         * config/frv/frv.c: Add bdesc_loads global.
2106         Add bdesc_stores global.
2107         (frv_init_builtins): Add support for __builtin_{read/write}*.
2108         (frv_volatile_memref): New.
2109         (frv_expand_load_builtin): New.
2110         (frv_expand_store_builtin): New.
2111         * config/frv/frv.h (frv_builtins): Add FRV_BUILTIN_SCAN,
2112         FRV_BUILTIN_READ8, FRV_BUILTIN_READ16, FRV_BUILTIN_READ32,
2113         FRV_BUILTIN_READ64, FRV_BUILTIN_WRITE8, FRV_BUILTIN_WRITE16,
2114         FRV_BUILTIN_WRITE32, FRV_BUILTIN_WRITE64.
2115         * config/frv/frv.md (unspecs): Add UNSPEC_BUILTIN_LOAD,
2116         UNSPEC_BUILTIN_STORE, UNSPEC_OPTIONAL_MEMBAR.
2117         (builtin_read_<mode>): New.
2118         (builtin_write_<mode>): New.
2119         (builtin_write64): New.
2120         (optional_membar_<mode>): New.
2121
2122 2005-07-26  J"orn Rennecke <joern.rennecke@st.com>
2123
2124         * emit-rtl.c (gen_lowpart_common): Compare size of MODE in bits
2125         (rather than units) against HOST_BITS_PER_WIDE_INT.
2126
2127 2005-07-26  Kazu Hirata  <kazu@codesourcery.com>
2128
2129         * ipa-pure-const.c, ipa-reference.c, ipa-reference.h,
2130         ipa-type-escape.c, ipa-type-escape.h, ipa-utils.c,
2131         ipa-utils.h, treestruct.def, config/crx/crx-protos.h,
2132         config/crx/crx.c, config/crx/crx.h, config/crx/crx.md: Update
2133         FSF address.
2134
2135         * calls.c, fold-const.c, ipa-reference.c, ipa-type-escape.c,
2136         tree-ssa-reassoc.c, tree-ssa-structalias.c, vec.h,
2137         config/crx/crx.c, config/m32c/m32c.c, config/m32c/m32c.h: Fix
2138         comment typos.
2139         * doc/c-tree.texi, doc/tree-ssa.texi: Fix typos.
2140
2141 2005-07-26  Richard Guenther  <rguenther@suse.de>
2142
2143         PR tree-optimization/22486
2144         * fold-const.c (fold_unary): Fold away useless component
2145         references of the form (T *)&T.x, if the address
2146         doesn't change.
2147
2148 2005-07-25  James E Wilson  <wilson@specifixinc.com>
2149
2150         * dwarf2out.c (add_call_src_coords_attributes): New.
2151         (gen_inlined_subroutine_die): Call it.
2152         (maybe_emit_file, init_file_table): Add comments.
2153         (prune_unused_types_walk_attribs): Pass DW_AT_call_file through
2154         maybe_emit_file.
2155         * tree-inline.c (remap_block): Copy BLOCK_SOURCE_LOCATION.
2156         (expand_call_inline): Set BLOCK_SOURCE_LOCATION.
2157         * tree.h (BLOCK_SOURCE_LOCATION): New.
2158         (struct tree_block): New field locus.
2159
2160 2005-07-26  Andreas Schwab  <schwab@suse.de>
2161
2162         PR rtl-optimization/23043
2163         * postreload-gcse.c (eliminate_partially_redundant_load): Fix typo
2164         when allocating a struct unoccr.
2165
2166 2005-07-25  Richard Henderson  <rth@redhat.com>
2167
2168         PR 22626
2169         * tree-complex.c (gate_no_optimization): True if errors.
2170         * Makefile.in (tree-complex.o): Update dependencies.
2171
2172 2005-07-25  Aldy Hernandez  <aldyh@redhat.com>
2173
2174         * config/frv/predicates.md (integer_register_operand): Use
2175         GPR_AP_OR_PSEUDO_P.
2176
2177 2005-07-25  Andrew Pinski  <pinskia@physics.uc.edu>
2178
2179         PR tree-opt/22484
2180         * tree-ssa-ccp.c (fold_stmt_inplace): Strip useless type conversions
2181         after fold.
2182         * tree-ssa-propagate.c (set_rhs): Reject invalid conditional operands.
2183
2184 2005-07-25  Andrew Pinski  <pinskia@physics.uc.edu>
2185
2186         * tree-ssa-reassoc.c (reassociate_expr): Allow scaler floating point
2187         types when flag_unsafe_math_optimizations is true.
2188
2189 2005-07-25  Mark Mitchell  <mark@codesourcery.com>
2190
2191         * gcc.c (option_map): Add --sysroot.
2192         (process_command): Handle --sysroot.
2193         (display_help): Document it.
2194         * doc/cppopts.tex (-isysroot): Document.
2195         * doc/invoke.texi (--sysroot): Document.
2196         * doc/install.texi (--with-build-sysroot): Document.
2197
2198         * Makefile.in (inhibit_libc): New variable.
2199         (INHIBIT_LIBC_CFLAGS): Likewise.
2200         (LIBGCC2_CFLAGS): Include
2201         $(INHIBIT_LIBC_CFLAGS).
2202         (CRTSTUFF_CFLAGS): Include $(INHIBIT_LIBC_CFLAGS).
2203         ($(T)crtbegin.o): Do not use @inhibit_libc@.
2204         ($(T)crtend.o): Likewise.
2205         ($(T)crtbeginS.o): Do not use @inhibit_libc@.
2206         ($(T)crtendS.o): Likewise.
2207         ($(T)crtbeginT.o): Do not use @inhibit_libc@.
2208         ($(T)crtendT.o): Likewise.
2209         (stmp-fixinc): Do not complain about missing headers if
2210         inhibit_libc.
2211         * configure.ac (inhibit_libc): Set it to true/false.
2212         (--with-build-sysroot): New option.  Use it to set
2213         SYSTEM_HEADER_DIR.
2214         * configure: Regenerated.
2215
2216 2005-07-25  Manfred Hollstein  <mh@suse.com>
2217
2218         * calls.c (store_one_arg): Fix unsigned comparison warning.
2219
2220 2005-07-25  Serge Belyshev  <belyshev@depni.sinp.msu.ru>
2221
2222         PR other/22337
2223         * ggc-zone.c (ggc_alloc_zone_stat): Do not use CHUNK_OVERHEAD.
2224         (ggc_print_statistics): Initialize variable before use.
2225
2226 2005-07-25  Richard Guenther  <rguenther@suse.de>
2227
2228         * tree-dfa.c (mark_new_vars_to_rename): Protect against
2229         calling with a PHI_NODE argument.
2230
2231         * tree-flow-inline.h (overlap_subvar): Protect against
2232         possible overflow.
2233
2234 2005-07-25  Paolo Bonzini  <bonzini@gnu.org>
2235
2236         * aclocal.m4 (gcc_AC_CHECK_TOOL): Add /bin to default directory.
2237         * configure: Regenerate.
2238
2239 2005-07-25  Ira Rosen  <irar@il.ibm.com>
2240
2241         * expr.c (highest_pow2_factor): Make extern.
2242         * tree-data-ref.c (ptr_decl_may_alias_p): New function.
2243         (ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
2244         record_array_differ_p, array_ptr_differ_p): Likewise.
2245         (base_object_differ_p): Rename (from array_base_name_differ_p). Support
2246         additional cases. Call the above functions.
2247         (base_addr_differ_p): Moved from tree-vect-analyze.c. Call
2248         base_object_differ_p when there are two base objects. Otherwise, compare
2249         base address and offset. Call may_alias_p.
2250         (dump_data_reference): Use a correct field name.
2251         (analyze_array): Make static. Initialize new data-ref fields.
2252         (analyze_indirect_ref): New function.
2253         (init_data_ref): Initialize new data-ref fields.
2254         (strip_conversion): Moved from tree-vect-analyze.c.
2255         (analyze_offset_expr, get_ptr_offset, address_analysis,
2256         object_analysis): Likewise.
2257         (analyze_offset): New function.
2258         (create_data_ref): Likewise.
2259         (initialize_data_dependence_relation): Call base_addr_differ_p. Compare
2260         dimensions for ARRAY_REFs only.
2261         (build_classic_dist_vector): Make static.
2262         (access_functions_are_affine_or_constant_p): Call macro to get the
2263         address of access functions.
2264         (compute_all_dependences): Add new parameter
2265         compute_self_and_read_read_dependences. Compute self and read-read
2266         dependences if it is true.
2267         (find_data_references_in_loop): Call create_data_ref. Initialize new
2268         data-ref fields.
2269         (compute_data_dependences_for_loop): Add new parameter
2270         compute_self_and_read_read_dependences. Remove parameter nb_loops,
2271         compute nb_loops. Call compute_all_dependences,
2272         build_classic_dist_vector and build_classic_dir_vector with correct
2273         parameters.
2274         (analyze_all_data_dependences): Call compute_data_dependences_for_loop
2275         with correct parameters. Compare dimensions for ARRAY_REFs only.
2276         (free_data_refs): Call macro to free access functions.
2277         * tree-data-ref.h (struct first_location_in_loop): New structure. Move
2278         fields from stmt_vinfo.
2279         (struct base_object_info): New structure.
2280         (struct data_reference): Move fields to base_object_info. Add fields
2281         first_location and object_info for above structures. Move fields from
2282         stmt_info: memtag, ptr_info, subvars, misalignment. Add new field
2283         aligned_to.  Add macros to access the new fields.
2284         Update functions declarations.
2285         * tree-flow.h (is_aliased_with): Declare.
2286         * tree-loop-linear.c (linear_transform_loops): Call
2287         compute_data_dependences_for_loop with correct parameters.
2288         * tree-ssa-alias.c (is_aliased_with): New function.
2289         * tree-vect-analyze.c (vect_get_ptr_offset): Remove.
2290         (vect_analyze_offset_expr, vect_base_addr_differ_p): Likewise.
2291         (vect_analyze_data_ref_dependence): Get ddr. Remove call to
2292         vect_base_addr_differ_p, compute_subscript_distance and
2293         build_classic_dist_vector. Add printings. Check absolute value of
2294         distance.
2295         (vect_analyze_data_ref_dependences): Go through ddrs instead of
2296         data-refs.
2297         (vect_compute_data_ref_alignment): Get the fields of data-ref instead of
2298         stmt. Check aligned_to. Check if the base is aligned. Remove conversion
2299         to bytes. Add printing.
2300         (vect_compute_data_refs_alignment): Go through loads and stores in one
2301         loop.
2302         (vect_enhance_data_refs_alignment, vect_analyze_data_refs_alignment,
2303         vect_analyze_data_ref_access): Likewise.
2304         (vect_analyze_pointer_ref_access): Remove.
2305         (vect_address_analysis, vect_object_analysis): Likewise.
2306         (vect_analyze_data_refs): Call compute_data_dependences_for_loop to find
2307         and analyze data-refs in the loop.
2308         * tree-vect-transform.c (vect_create_addr_base_for_vector_ref): Get the
2309         fields of data-ref instead of stmt. Add init to the offset from the
2310         base.
2311         (vect_create_data_ref_ptr): Get the fields of data-ref instead of stmt.
2312         (vect_update_init_of_dr): Likewise.
2313         (vect_update_inits_of_drs): Go through loads and stores in one loop.
2314         * tree-vectorizer.c (new_stmt_vec_info): Remove initialization of
2315         removed fields.
2316         (new_loop_vec_info): Initialize new fields.
2317         (destroy_loop_vec_info): Free new fields.
2318         (vect_strip_conversion): Remove.
2319         * tree-vectorizer.h (enum verbosity_levels): Add new verbosity level.
2320         (struct _loop_vec_info): Unify data_ref_writes and data_ref_reads into
2321         datarefs. Add new field ddrs.
2322         Add macros for the new fields access.
2323         (struct _stmt_vec_info): Remove: base_address, initial_offset, step,
2324         base_aligned_p, misalignment, memtag, ptr_info and subvars.
2325         Remove their macros.
2326         * tree.h (highest_pow2_factor): Declare.
2327
2328 2005-07-25  Jakub Jelinek  <jakub@redhat.com>
2329
2330         * calls.c (store_one_arg): Check for sibling call MEM arguments
2331         from already clobbered incoming argument area.
2332
2333 2005-07-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2334
2335         * c-common.c (check_missing_format_attribute): New.
2336         * c-common.h (check_missing_format_attribute): Likewise.
2337         * c-typeck.c (convert_for_assignment): Use it.
2338
2339 2005-07-24  Andreas Schwab  <schwab@suse.de>
2340
2341         * config/m68k/m68k.md ("extendqidi2"): When source is an address
2342         register use a word move.  Correct operand of ext.w in 68000 code.
2343
2344 2005-07-23  Mark Mitchell  <mark@codesourcery.com>
2345
2346         * dwarf2out.c (gen_variable_die): Treat un-emitted COMDAT
2347         variables as declarations, rather than definitions.
2348
2349 2005-07-24  Ira Rosen  <irar@il.ibm.com>
2350
2351         PR tree-optimization/22526
2352         * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Match the type
2353         of the zero node.
2354
2355 2005-07-24  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
2356
2357         * builtins.def: Add DEF_EXT_C99RES_BUILTIN to define builtins
2358         that C99 reserve for future use. Use it to define clog10,
2359         clog10f and clog10l.
2360
2361 2005-07-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2362
2363         * Makefile.in (STRICT2_WARN): Add -Wmissing-format-attribute.
2364         * configure.ac: Check for -Wmissing-format-attribute.
2365
2366         * configure: Regenerate.
2367
2368 2005-07-23  Richard Henderson  <rth@redhat.com>
2369
2370         PR tree-optimization/22623
2371         * tree-complex.c (set_component_ssa_name): Use replace_ssa_name_symbol.
2372
2373 2005-07-23  Giovanni Bajo  <giovannibajo@libero.it>
2374
2375         PR target/22577
2376         * config/pa/pa.c (reloc_needed): Updated for VECs inside CONSTRUCTOR.
2377
2378 2005-07-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2379
2380         * Makefile.in (C_TREE_H): Update dependencies.
2381         * c-tree.h: Include toplev.h.
2382         * diagnostic.h (diagnostic_set_info): Add format attribute.
2383         * rtl-error.c (diagnostic_for_asm): Likewise.
2384
2385 2005-07-23  Chao-ying Fu  <fu@mips.com>
2386
2387         * config/mips/mips-dsp.md: New file.
2388         * config/mips/mips-modes.def (V4QI, V2HI, CCDSP): New modes.
2389         * config/mips/mips.c (mips_function_type): Add types for DSP builtin
2390         functions.
2391         (mips_builtin_type): Add MIPS_BUILTIN_DIRECT_NO_TARGET and
2392         MIPS_BUILTIN_BPOSGE32.
2393         (mips_expand_builtin_direct): Add one parameter to indicate that
2394         builtin functions need to return a value.
2395         (mips_expand_builtin_bposge): New for expanding "bposge" builtin
2396         functions.
2397         (mips_regno_to_class): Add classes for 12 new DSP registers.
2398         (mips_subword): Change to check four HI registers.
2399         (mips_output_move): Output move to and from 6 new DSP accumulators.
2400         (override_options): Make sure -mdsp and -mips16 are not used together.
2401         Map 'A' to DSP_ACC_REGS and 'a' to ACC_REGS.  Enable DSP accumulators
2402         for machine modes.
2403         (mips_conditional_register_usage): Disable 6 new DSP accumulators
2404         when !TARGET_DSP.
2405         (print_operand): Add 'q' for printing DSP accumulators.
2406         (mips_cannot_change_mode_class): Check ACC_REGS.
2407         (mips_secondary_reload_class): Check ACC_REGS.
2408         (mips_vector_mode_supported_p): Enable V2HI and V4QI when TARGET_DSP.
2409         (mips_register_move_cost): Check ACC_REGS.
2410         (CODE_FOR_mips_addq_ph, CODE_FOR_mips_addu_qb, CODE_FOR_mips_subq_ph)
2411         (CODE_FOR_mips_subu_qb): New code-aliasing macros.
2412         (DIRECT_NO_TARGET_BUILTIN, BPOSGE_BUILTIN): New macros.
2413         (dsp_bdesc): New array.
2414         (bdesc_arrays): Add DSP builtin function table.
2415         (mips_prepare_builtin_arg): Check predicate again after
2416         copy_to_mode_reg.
2417         (mips_expand_builtin): Add one more parameter to
2418         mips_expand_builtin_direct. Expand MIPS_BUILTIN_DIRECT_NO_TARGET and
2419         MIPS_BUILTIN_BPOSGE32.
2420         (mips_init_builtins): Initialize new function types.
2421         (mips_expand_builtin_direct): Check if builtin functions need to
2422         return a value and pass operands properly.
2423         (mips_expand_builtin_bposge): New function.
2424         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Add __mips_dsp.
2425         (ASM_SPEC): Map -mdsp to -mdsp in GAS.
2426         (FIRST_PSEUDO_REGISTER): Increase to 188.
2427         (FIXED_REGISTERS, CALL_USED_REGISTERS, CALL_REALLY_USED_REGISTERS):
2428         Update for 12 new DSP registers.
2429         (DSP_ACC_REG_FIRST, DSP_ACC_REG_LAST, DSP_ACC_REG_NUM, AC1HI_REGNUM)
2430         (AC1LO_REGNUM, AC2HI_REGNUM, AC2LO_REGNUM, AC3HI_REGNUM, AC3LO_REGNUM):
2431         (DSP_ACC_REG_P, ACC_REG_P, ACC_HI_REG_P): New macros.
2432         (reg_class): Add DSP_ACC_REGS and ACC_REGS.
2433         (REG_CLASS_NAMES): Add names for DSP_ACC_REGS and ACC_REGS.
2434         (REG_CLASS_CONTENTS): Update for DSP_ACC_REGS, ACC_REGS and ALL_REGS.
2435         (REG_ALLOC_ORDER): Update for 12 new DSP registers.
2436         (mips_char_to_class): Add 'A' for DSP_ACC_REGS and 'a' for ACC_REGS.
2437         (UIMM6_OPERAND, IMM10_OPERAND): New macros.
2438         (EXTRA_CONSTRAINT_Y): Add YA and YB extra constraints.
2439         (REGISTER_NAMES): Add names for 12 new DSP registers.
2440         * config/mips/mips.md: Include mips-dsp.md.
2441         (UNSPEC_ADDQ, UNSPEC_ADDQ_S, UNSPEC_SUBQ, UNSPEC_SUBQ_S, UNSPEC_ADDSC)
2442         (UNSPEC_ADDWC, UNSPEC_MODSUB, UNSPEC_RADDU_W_QB, UNSPEC_ABSQ_S)
2443         (UNSPEC_PRECRQ_QB_PH, UNSPEC_PRECRQ_PH_W, UNSPEC_PRECRQ_RS_PH_W)
2444         (UNSPEC_PRECRQU_S_QB_PH, UNSPEC_PRECEQ_W_PHL, UNSPEC_PRECEQ_W_PHR)
2445         (UNSPEC_PRECEQU_PH_QBL, UNSPEC_PRECEQU_PH_QBR, UNSPEC_PRECEQU_PH_QBLA)
2446         (UNSPEC_PRECEQU_PH_QBRA, UNSPEC_PRECEU_PH_QBL, UNSPEC_PRECEU_PH_QBR)
2447         (UNSPEC_PRECEU_PH_QBLA, UNSPEC_PRECEU_PH_QBRA, UNSPEC_SHLL)
2448         (UNSPEC_SHLL_S, UNSPEC_SHRL_QB, UNSPEC_SHRA_PH, UNSPEC_SHRA_R)
2449         (UNSPEC_MULEU_S_PH_QBL, UNSPEC_MULEU_S_PH_QBR, UNSPEC_MULQ_RS_PH)
2450         (UNSPEC_MULEQ_S_W_PHL, UNSPEC_MULEQ_S_W_PHR, UNSPEC_DPAU_H_QBL)
2451         (UNSPEC_DPAU_H_QBR, UNSPEC_DPSU_H_QBL, UNSPEC_DPSU_H_QBR)
2452         (UNSPEC_DPAQ_S_W_PH, UNSPEC_DPSQ_S_W_PH, UNSPEC_MULSAQ_S_W_PH)
2453         (UNSPEC_DPAQ_SA_L_W, UNSPEC_DPSQ_SA_L_W, UNSPEC_MAQ_S_W_PHL)
2454         (UNSPEC_MAQ_S_W_PHR, UNSPEC_MAQ_SA_W_PHL, UNSPEC_MAQ_SA_W_PHR)
2455         (UNSPEC_BITREV, UNSPEC_INSV, UNSPEC_REPL_QB, UNSPEC_REPL_PH)
2456         (UNSPEC_CMP_EQ, UNSPEC_CMP_LT, UNSPEC_CMP_LE, UNSPEC_CMPGU_EQ_QB)
2457         (UNSPEC_CMPGU_LT_QB, UNSPEC_CMPGU_LE_QB, UNSPEC_PICK, UNSPEC_PACKRL_PH)
2458         (UNSPEC_EXTR_W, UNSPEC_EXTR_R_W, UNSPEC_EXTR_RS_W, UNSPEC_EXTR_S_H)
2459         (UNSPEC_EXTP, UNSPEC_EXTPDP, UNSPEC_SHILO, UNSPEC_MTHLIP, UNSPEC_WRDSP)
2460         (UNSPEC_RDDSP): New constants.
2461         (*movdi_32bit): Change 'x' to 'a' for ACC_REGS.
2462         (*movsi_internal): Change 'x' to 'a' for ACC_REGS.  Add an
2463         A<-d alternative.
2464         * config/mips/mips.opt (-mdsp): New option.
2465         * config/mips/predicates.md (const_uimm6_operand, const_imm10_operand)
2466         (reg_imm10_operand): New predicates.
2467         * doc/extend.texi (MIPS DSP Built-in Functions): New section.
2468         * doc/invoke.texi (-mdsp): Document new option.
2469
2470 2005-07-22  DJ Delorie  <dj@redhat.com>
2471
2472         * c-objc-common.c (c_cannot_inline_tree_fn): Add warning control
2473         to warning calls.
2474         * tree-inline.c (inlinable_function_p): Likewise.
2475
2476 2005-07-22  Mark Mitchell  <mark@codesourcery.com>
2477
2478         PR debug/21828
2479         * toplev.c (check_global_declarations): Do not mark undefined
2480         variables as DECL_IGNORED_P.
2481         * varasm.c (first_global_object_name): GTY it.
2482         (weak_global_object_name): Likewise.
2483         (notice_global_symbol): Use ggc_strdup, not xstrdup, when creating
2484         a string to go into {weak,first}_global_object_name.
2485
2486 2005-07-22  DJ Delorie  <dj@redhat.com>
2487
2488         * c-format.c (check_function_format): Change warning control
2489         option from OPT_Wattribute to OPT_Wmissing_format_attribute.
2490
2491 2005-07-22  Diego Novillo  <dnovillo@redhat.com>
2492
2493         * tree-ssa-alias.c (count_ptr_derefs): Do not consider
2494         &PTR->FLD a dereference of PTR.
2495         * tree-ssa-structalias.c (update_alias_info): Consider &PTR->FLD
2496         a potential dereference of PTR.
2497
2498 2005-07-22  J"orn Rennecke <joern.rennecke@st.com>
2499
2500         PR rtl-optimization/20370
2501         * ifcvt.c (dead_or_predicable): Before calling propagate_block,
2502         call allocate_reg_info if necessary.
2503
2504         PR rtl-optimization/21848
2505         * calls.c (emit_library_call_value_1): For const functions, add
2506         USEs of the stack slots to CALL_INSN_FUNCTION_USAGE.
2507
2508         PR rtl-optimization/22445
2509         * cselib.c (target.h): Include.
2510         (rtx_equal_for_cselib_p): Allow commutative matches.
2511         (cselib_hash_rtx): Don't use MODE for CONST_INT hashing.
2512         Remove MODE parameter.  Changed all callers.
2513
2514         PR rtl-optimization/22258
2515         * combine.c (likely_spilled_retval_1, likely_spilled_retval_p):
2516         New functions.
2517         (try_combine): Use likely_spilled_retval_p.
2518
2519 2005-07-22  Paul Woegerer  <paul.woegerer@nsc.com>
2520
2521         * config.gcc: Add crx-elf support.
2522
2523         * doc/contrib.texi: Mention crx.
2524         * doc/extend.texi: Document crx extensions.
2525         * doc/install.texi: Document crx install.
2526         * doc/invoke.texi: Document crx options.
2527         * doc/md.texi: Document crx constraints.
2528
2529         * config/crx/crx-protos.h: New file.
2530         * config/crx/crx.c: New file.
2531         * config/crx/crx.h: New file.
2532         * config/crx/crx.md: New file.
2533         * config/crx/crx.opt: New file.
2534         * config/crx/t-crx: New file.
2535
2536 2005-07-22  Manfred Hollstein  <mh@suse.com>
2537
2538         * tree-ssa-structalias.c (merge_graph_nodes): Fix uninitialised
2539         warnings.
2540         (int_add_graph_edge): Likewise.
2541         (collapse_nodes): Likewise.
2542         (process_unification_queue): Likewise.
2543
2544 2005-07-22  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2545             Laurent GUERBY  <laurent@guerby.net>
2546
2547         PR tree-optimization/22336
2548         * function.c (record_block_change): Check for
2549         cfun->ib_boundaries_block.
2550
2551 2005-07-21  James A. Morrison  <phython@gcc.gnu.org>
2552
2553         * fold-const.c (fold_unary): Don't strip signed nops from ABS_EXPRs.
2554         (tree_expr_nonnegative_p): Return try for TYPE_UNSIGNED.
2555
2556 2005-07-21  DJ Delorie  <dj@redhat.com>
2557
2558         * toplev.c (warn_deprecated_use): Add warning control to warning
2559         call.
2560         * c-typeck.c (parser_build_binary_op): Likewise.
2561         (c_finish_if_stmt): Likewise.
2562         * c-common.c (check_function_sentinel): Likewise.
2563         (check_nonnull_arg): Likewise.
2564
2565 2005-07-21  Richard Henderson  <rth@redhat.com>
2566
2567         PR tree-opt/22504
2568         * tree-complex.c (complex_ssa_name_components): New.
2569         (cvc_lookup): Allow entry not found.
2570         (create_components): Remove.
2571         (create_one_component_var, get_component_var): New.
2572         (get_component_ssa_name, set_component_ssa_name): New.
2573         (extract_component): Use get_component_ssa_name.
2574         (update_complex_components): Use set_component_ssa_name.
2575         (update_complex_components_on_edge): Likewise.
2576         (update_phi_components): Create new PHI nodes directly, instead
2577         of adding insns to edges.
2578         (tree_lower_complex): Allocate and free complex_variable_components
2579         and complex_ssa_name_components here.
2580
2581 2005-07-20  Daniel Berlin  <dberlin@dberlin.org>
2582
2583         * alias.c (nonoverlapping_component_refs_p): Use TYPE_MAIN_VARIANT,
2584         revert to returning false.
2585
2586 2005-07-21  Uros Bizjak  <uros@kss-loka.si>
2587
2588         PR target/21149
2589         * config/i386/i386.md (sse_movhlps): Fix vec_select values.
2590
2591 2005-07-21  Uros Bizjak  <uros@kss-loka.si>
2592
2593         PR target/22576
2594         * config/i386/i386.md (cmpxf): Change operand constraints
2595         to "nonmemory_operand".
2596
2597 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
2598
2599         * config/i386/i386.md (trap): Use "".word/t0x0b0f" instead of ud2.
2600
2601 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
2602
2603         PR middle-end/21180
2604         * fold-const.c (fold_build1): Add checksum for the operands.
2605         (fold_build2): Likewise.
2606         (fold_build3): Likewise.
2607
2608 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
2609
2610         PR middle-end/19055
2611         * fold-const.c (fold_binary): Transform "(X | Y) ^ X" to "Y & ~ X".
2612
2613 2005-07-21  Paolo Bonzini  <bonzini@gnu.org>
2614
2615         * common.opt (-fforward-propagate): Committed by mistake,
2616         removed.
2617
2618 2005-07-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2619
2620         * reg-stack.c: Fix comment typo(s).
2621         * tree-ssa-operands.c: Likewise.
2622         * tree-vectorizer: Likewise.
2623
2624 2005-07-21  Nick Clifton  <nickc@redhat.com>
2625
2626         * config/sh/symbian.c: Replace C++ style line comments with C
2627         style line comments.
2628         (symbian_add_attribute): Do not use a ? operator on the LHS of
2629         an assignment.
2630         (sh_symbian_handle_dll_attribute): Change the type of the
2631         method vector to "VEC(tree,gc)*" and use vector accessor
2632         macros to walk over the elements.
2633         (symbian_export_vtable_and_rtti_p): Likewise.
2634         (symbian_class_needs_attribute_p): Likewise.
2635
2636 2005-07-21  Paolo Bonzini  <bonzini@gnu.org>
2637
2638         PR target/22085
2639         * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Do not
2640         initialize targetm.resolve_overloaded_builtin here.
2641         (altivec_expand_overloaded_builtin): Make it non-static.
2642         * config/rs6000/rs6000-protos.h
2643         (altivec_expand_overloaded_builtin): New prototype.
2644         * config/rs6000/rs6000.h (REGISTER_TARGET_PRAGMAS): Initialize
2645         targetm.resolve_overloaded_builtin here.
2646         * config/rs6000/darwin.h (REGISTER_TARGET_PRAGMAS): Likewise.
2647
2648 2005-07-21  Paolo Bonzini  <bonzini@gnu.org>
2649             Zdenek Dvorak  <dvorakz@suse.cz>
2650
2651         PR tree-optimization/19210
2652         * common.opt (Wunsafe-loop-optimizations, funsafe-loop-optimizations):
2653         New.
2654         * Makefile.in (tree-ssa-loop-niter.o): Depend intl.o.
2655         * loop-iv.c (get_simple_loop_desc): If -funsafe-loop-optimizations,
2656         rely on unproven assumptions.
2657         * predict.c (predict_loops): Adjust call to number_of_iterations_exit.
2658         * tree-flow.h (number_of_iterations_exit): Add final parameter.
2659         * tree-scalar-evolution.c (number_of_iterations_in_loop): Adjust call
2660         to number_of_iterations_exit.
2661         * tree-ssa-loop-ivcanon.c (empty_loop_p): Likewise.
2662         * tree-ssa-loop-ivopts.c (niter_for_exit): Likewise.
2663         * tree-ssa-loop-niter.c (find_loop_niter,
2664         estimate_numbers_of_iterations_loop): Likewise.
2665         (number_of_iterations_exit): Honor the new options.
2666         * doc/invoke.texi (Wunsafe-loop-optimizations,
2667         funsafe-loop-optimizations): Document them.
2668
2669 2005-07-21  Richard Sandiford  <richard@codesourcery.com>
2670
2671         PR rtl-optimization/22167
2672         * gcse.c (hoist_code): Fix hoist_exprs[] check.
2673
2674 2005-07-20  Adam Nemet  <anemet@lnxw.com>
2675
2676         * config/rs6000/lynx.h: Mark __do_global_ctors_aux and
2677         __do_global_dtors_aux longcall.
2678
2679 2005-07-20  Kazu Hirata  <kazu@cs.umass.edu>
2680
2681         * gensupport.c (old_preds): Don't reference PREDICATE_CODES.
2682         (old_special_pred_table): Don't reference
2683         SPECIAL_MODE_PREDICATES.
2684         * system.h (PREDICATE_CODES, SPECIAL_MODE_PREDICATES): Poison.
2685         * config/arc/arc.h: Don't mention PREDICATE_CODES.
2686         * config/sh/predicates.h: Don't mention
2687         SPECIAL_MODE_PREDICATES.
2688         * doc/tm.texi (PREDICATE_CODES, SPECIAL_MODE_PREDICATES):
2689         Remove.
2690
2691 2005-07-20  DJ Delorie  <dj@redhat.com>
2692
2693         * config.gcc: Add m32c-elf support.
2694
2695         * doc/contrib.texi: Mention m32c.
2696         * doc/extend.texi: Document m32c extensions.
2697         * doc/install.texi: Mention m32c.
2698         * doc/invoke.texi: Document m32c options.
2699         * doc/md.texi: Document m32c constraints.
2700
2701         * config/m32c/addsub.md: New file.
2702         * config/m32c/bitops.md: New file.
2703         * config/m32c/cond.md: New file.
2704         * config/m32c/jump.md: New file.
2705         * config/m32c/m32c-lib1.S: New file.
2706         * config/m32c/m32c-lib2.c: New file.
2707         * config/m32c/m32c-modes.def: New file.
2708         * config/m32c/m32c-pragma.c: New file.
2709         * config/m32c/m32c-protos.h: New file.
2710         * config/m32c/m32c.abi: New file.
2711         * config/m32c/m32c.c: New file.
2712         * config/m32c/m32c.h: New file.
2713         * config/m32c/m32c.md: New file.
2714         * config/m32c/m32c.opt: New file.
2715         * config/m32c/minmax.md: New file.
2716         * config/m32c/mov.md: New file.
2717         * config/m32c/muldiv.md: New file.
2718         * config/m32c/predicates.md: New file.
2719         * config/m32c/prologue.md: New file.
2720         * config/m32c/shift.md: New file.
2721         * config/m32c/t-m32c: New file.
2722
2723 2005-07-20  Kaz Kojima  <kkojima@gcc.gnu.org>
2724
2725         * config/sh/sh.md (UNSPEC_SP_SET, UNSPEC_SP_TEST): New constants.
2726         (stack_protect_set, stack_protect_test): New expanders.
2727         (stack_protect_set_si, stack_protect_set_si_media,
2728         stack_protect_set_di_media, stack_protect_test_si,
2729         stack_protect_test_si_media, stack_protect_test_di_media):
2730         New insns.
2731
2732 2005-07-20  Andrew Pinski  <pinskia@physics.uc.edu>
2733
2734         * c-typeck.c (output_init_element): Don't copy the INTEGER_CST.
2735
2736 2005-07-20  James A. Morrison  <phython@gcc.gnu.org>
2737
2738         * tree.h (tree_expr_nonzero_p): Export.
2739         * fold-const.c (tree_expr_nonzero_p): Likewise.
2740         Return true for CALL_EXPRs that are alloca calls.
2741         (fold_binary): Use omit_one_operand when checking EQ_EXPRs or NE_EXPRs
2742         against zero.
2743         * tree-flow.h (expr_computes_nonzero): Remove.
2744         * tree-vrp.c (expr_computes_nonzero): Remove.
2745         (vrp_expr_computes_nonzero): Use tree_expr_nonzero_p.
2746         (extract_range_from_unary_expr): Likewise.
2747         * tree-ssa-dom.c (record_equivalences_from_stmt): Use
2748         tree_expr_nonzero_p.
2749
2750 2005-07-20  Bernd Schmidt  <bernd.schmidt@analog.com>
2751
2752         * config/bfin/bfin-protos.h (legitimize_pic_address): Don't declare.
2753         * config/bfin/bfin.c (legitimize_pic_address): Now static.  Take
2754         extra arg "picreg" and use it instead of pic_offset_table_rtx.
2755         All callers changed.
2756         (frame_related_constant_load): New arg "related" which controls
2757         setting of RTX_FRAME_RELATED_P.  All callers changed.
2758         (bfin_load_pic_reg): New function, broken out of bfin_expand_prologue.
2759         (bfin_expand_prologue): Add stack limit checking.
2760         * config/bfin/bfin.md (trapifcc): New pattern.
2761
2762         * config/bfin/bfin.c: Include "langhooks.h".
2763         (def_builtin): Go through lang_hooks to call builtin_function.
2764
2765         * config/bfin/bfin-protos.h (bfin_longcall_p): Declare.
2766         * config/bfin/predicates.md (symbol_ref_operand): New.
2767         (call_insn_operand): Delete.  All callers changed to use
2768         register_no_elim_operand.
2769         * config/bfin/bfin.c (init_cumulative_args): Initialize the new
2770         call_cookie field.
2771         (function_arg): Use it to generate the call's operand 2.
2772         (bfin_longcall_p): New function.
2773         (bfin_expand_call): Extra arg "cookie".  All callers and declaration
2774         changed.  Emit extra USE in the pattern.  Use bfin_longcall_p to
2775         determine if the address needs to be in a REG.
2776         (bfin_handle_longcall_attribute): New function.
2777         (bfin_attribute_table): Add "longcall" and "shortcall".
2778         * config/bfin/bfin.h (CALL_NORMAL, CALL_LONG, CALL_SHORT): New macros.
2779         (CUMULATIVE_ARGS): New member call_cookie.
2780         (PREDICATE_CODES): Add symbol_ref_operand.
2781         * config/bfin/bfin.md (call, call_value, sibcall, sibcall_value): Add
2782         extra USE to the pattern.
2783         (call_symbol, sibcall_symbol, call_value_symbol, sibcall_value_symbol):
2784         New patterns, split off call_insn, sibcall_insn, call_value_insn and
2785         sibcall_value_insn; now the new patterns handle direct calls and the
2786         old ones indirect calls.
2787         * doc/extend.texi: Mention Blackfin in longcall/shortcall docs.
2788
2789 2005-07-20  Zdenek Dvorak  <dvorakz@suse.cz>
2790
2791         * doc/trouble.texi: Update section on handling of empty loops.
2792
2793 2005-07-20  Kazu Hirata  <kazu@codesourcery.com>
2794
2795         * config.gcc: Remove support for sparc-*-openbsd*,
2796         i860-*-sysv4*, ip2k-*-elf, ns32k-*-netbsdelf*,
2797         ns32k-*-netbsd*.
2798         * config.host: Remove support for i860-*-sysv4* as a host.
2799         * config/i860/*, config/ip2k/*, config/ns32k/*,
2800         config/sparc/openbsd.h, config/sparc/t-openbsd: Remove.
2801         * doc/install.texi, doc/invoke.texi, doc/md.texi: Don't
2802         mention obsolete ports.
2803
2804 2005-07-20  Kaz Kojima  <kkojima@gcc.gnu.org>
2805
2806         * config/sh/sh.c (regno_reg_class): Add GENERAL_REGS for
2807         soft frame pointer.
2808         (sh_expand_prologue): Use hard_frame_pointer_rtx instead
2809         of frame_pointer_rtx.
2810         (sh_expand_epilogue): Likewise.
2811         (sh_set_return_address): Likewise.
2812         (initial_elimination_offset): Use HARD_FRAME_POINTER_REGNUM
2813         instead of FRAME_POINTER_REGNUM if needed.  Add elimination
2814         offsets from FRAME_POINTER_REGNUM.
2815         * config/sh/sh.h (SH_REGISTER_NAMES_INITIALIZER): Add sfp.
2816         (sh_register_names): Add initializer for sfp.
2817         (GENERAL_OR_AP_REGISTER_P): Permit FRAME_POINTER_REGNUM.
2818         (VALID_REGISTER_P): Likewise.
2819         (FIRST_PSEUDO_REGISTER): Update.
2820         (DWARF_FRAME_REGISTERS): Define.
2821         (FIXED_REGISTERS, CALL_USED_REGISTERS): Add sfp.
2822         (HARD_FRAME_POINTER_REGNUM): Define.
2823         (FRAME_POINTER_REGNUM): Redefine.
2824         (ELIMINABLE_REGS): Never eliminate to FRAME_POINTER_REGNUM,
2825         but HARD_FRAME_POINTER_REGNUM instead.  Add eliminations
2826         from FRAME_POINTER_REGNUM.
2827         (CAN_ELIMINATE): Use HARD_FRAME_POINTER_REGNUM instead of
2828         FRAME_POINTER_REGNUM.
2829         (REG_CLASS_CONTENTS): Add sfp.
2830         (REG_ALLOC_ORDER): Likewise.
2831         (FRAME_GROWS_DOWNWARD): Set to 1.  Update comment.
2832         (GO_IF_LEGITIMATE_ADDRESS): Use hard_frame_pointer_rtx instead
2833         of frame_pointer_rtx.
2834         (LEGITIMIZE_RELOAD_ADDRESS): Likewise.
2835
2836 2005-07-19  James A. Morrison  <phython@gcc.gnu.org>
2837
2838         * fold-const.c (tree_expr_nonnegative_p): Only return true for
2839         ABS_EXPR when flag_wrapv is false because of INT_MIN.
2840         (tree_expr_nonzero_p): Always call tree_expr_nonzero_p on the argument
2841         of an ABS_EXPR.
2842         (fold_unary): Always fold ABS_EXPR<ABS_EXPR<x>> into
2843         ABS_EXPR<x>.
2844
2845 2005-07-20  Giovanni Bajo  <giovannibajo@libero.it>
2846
2847         Make CONSTRUCTOR use VEC to store initializers.
2848         * c-common.c (complete_array_type): Update to cope with VEC in
2849         CONSTRUCTOR_ELTS.
2850         * c-pretty-print.c (pp_c_initializer_list): Use pp_c_constructor_elts.
2851         (pp_c_constructor_elts): New function.
2852         * c-pretty-print.h (pp_c_constructor_elts): Declare.
2853         * c-typeck.c (build_function_call, build_c_cast, digest_init,
2854         struct constructor_stack, struct initializer_stack,
2855         constructor_elements, push_init_level, pop_init_level,
2856         add_pending_init, find_init_member, output_init_element): Update to
2857         cope with VEC in CONSTRUCTOR_ELTS.
2858         * coverage.c (build_fn_info_value, build_ctr_info_value,
2859         build_gcov_info): Likewise.
2860         * expr.c (categorize_ctor_elements_1, store_constructor,
2861         expand_expr_real_1): Likewise.
2862         * fold-const.c (fold_ternary): Likewise.
2863         * gimplify.c (gimplify_init_ctor_preeval, zero_sized_field_decl,
2864         gimplify_init_constructor, gimplify_expr): Likewise.
2865         * tree-dump.c (dequeue_and_dump): Likewise.
2866         * tree-inline.c (copy_tree_r): Add code to duplicate a CONSTRUCTOR
2867         node.
2868         * tree-pretty-print.c (dump_generic_node): Update to cope with VEC in
2869         CONSTRUCTOR_ELTS.
2870         * tree-sra.c (generate_element_init_1): Likewise.
2871         * tree-ssa-ccp.c (fold_const_aggregate_ref): Likewise.
2872         * tree-ssa-operands.c (get_expr_operands): Likewise.
2873         * tree-vect-generic.c (expand_vector_piecewise): Likewise.
2874         * tree-vect-transform.c (vect_get_vec_def_for_operand):
2875         (get_initial_def_for_reduction): Likewise.
2876         * tree-vn.c (set_value_handle, get_value_handle): CONSTURCTOR uses
2877         value handle in annotations.
2878         * tree.c (tree_node_kind, tree_code_size, make_node_stat,
2879         tree_node_structure): Add support for constr_kind.
2880         (build_vector_from_ctor, build_constructor_single,
2881         build_constructor_from_list): New functions.
2882         (build_constructor): Update to take a VEC instead of a TREE_LIST.
2883         (simple_cst_equal, iterative_hash_expr, initializer_zerop, walk_tree):
2884         Update to cope with VEC in CONSTRUCTOR_ELTS.
2885         * tree.def (CONSTRUCTOR): Make it a tcc_exceptional node.
2886         * tree.h (FOR_EACH_CONSTRUCTOR_VALUE, FOR_EACH_CONSTRUCTOR_ELT,
2887         CONSTRUCTOR_APPEND_ELT): New macros.
2888         (struct constructor_elt, struct tree_constructor): New data types.
2889         (union tree_node): Add tree_constructor field.
2890         * treestruct.def: Define TS_CONSTRUCTOR.
2891         * varasm.c (const_hash_1, compare_constant, copy_constant,
2892         compute_reloc_for_constant, output_addressed_constants,
2893         initializer_constant_valid_p, output_constant,
2894         array_size_for_constructor, output_constructor): Update to cope with
2895         VEC in CONSTRUCTOR_ELTS.
2896         * vec.h (VEC_empty, VEC_copy): New macros.
2897
2898 2005-07-19  Devang Patel  <dpatel@apple.com>
2899
2900         * dbxout.c (dbxout_type): Check Objective-C++ lang.
2901
2902 2005-07-19  Richard Henderson  <rth@redhat.com>
2903
2904         PR tree-opt/22278
2905         * gimplify.c (gimplify_expr): Use main variant type for the temp
2906         destination for a discarded volatile read.
2907         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't elide
2908         casts between non-void types that change volatility.
2909
2910 2005-07-15  DJ Delorie  <dj@redhat.com>
2911
2912         * toplev.h: Add comment about the first parameter for warning().
2913         * errors.h: Likewise.
2914
2915         * c.opt (Wpragmas): New.
2916         * doc/invoke.texi: Document it.
2917
2918         * function.c (do_warn_unused_parameter): Add warning control to
2919         warning call.
2920         * c-decl.c (warn_if_shadowing): Likewise.
2921         * c-lex.c (cb_def_pragma): Likewise.
2922         * c-pragma.c (GCC_BAD, GCC_BAD2): Likewise.
2923         (pop_alignment): Likewise.
2924         (handle_pragma_pack): Likewise.
2925         (apply_pragma_weak): Likewise.
2926         (handle_pragma_weak): Likewise.
2927         (handle_pragma_redefine_extname): Likewise.
2928         (add_to_renaming_pragma_list): Likewise.
2929         (handle_pragma_extern_prefix): Likewise.
2930         (maybe_apply_renaming_pragma): Likewise.
2931         (handle_pragma_visibility): Likewise.
2932
2933         * config/c4x/c4x-c.c (BAD): Likewise.
2934         (c4x_parse_pragma): Likewise.
2935         * config/ia64/ia64-c.c (ia64_hpux_handle_builtin_pragma): Likewise.
2936         * config/rs6000/rs6000-c.c (SYNTAX_ERROR): Likewise.
2937         (rs6000_pragma_longcall): Likewise.
2938         * config/v850/v850-c.c (pop_data_area): Likewise.
2939         (ghs_pragma_section): Likewise.
2940         (ghs_pragma_section): Likewise.
2941         (ghs_pragma_interrupt): Likewise.
2942         (ghs_pragma_starttda): Likewise.
2943         (ghs_pragma_startsda): Likewise.
2944         (ghs_pragma_startzda): Likewise.
2945         (ghs_pragma_endtda): Likewise.
2946         (ghs_pragma_endsda): Likewise.
2947         (ghs_pragma_endzda): Likewise.
2948
2949 2005-07-19  Danny Berlin <dberlin@dberlin.org>
2950             Kenneth Zadeck <zadeck@naturalbridge.com>
2951
2952         * Makefile.in: Removed tree-promote-statics.c
2953         * tree-promote-statics.c: Removed.
2954         * common.opt: Removed flag-promote-statics.
2955         * opts.c: Ditto.
2956         * passes.c: Removed tree-promote-statics pass.
2957         * tree-pass.h: Ditto.
2958         * timevar.def: Removed TV_PROMOTE_STATICS.
2959
2960
2961 2005-07-19  Gerald Pfeifer  <gerald@pfeifer.com>
2962
2963         * config.gcc: Add support for *-*-freebsd7, *-*-freebsd8,
2964         and *-*-freebsd9.
2965         * config/freebsd-spec.h (FBSD_TARGET_OS_CPP_BUILTINS): Ditto.
2966
2967 2005-07-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2968
2969         PR c/22476
2970         * c-common.c (check_function_arguments): Call
2971         'check_function_format' if either -Wformat or
2972         -Wmissing-format-attribute are specified.
2973         * c-format.c (check_function_format): Check -Wformat before
2974         calling 'check_format_info'.
2975         * c-opts.c (c_common_post_options): Don't warn for
2976         -Wmissing-format-attribute without -Wformat.
2977         * c-typeck.c (convert_for_assignment): Detect additional cases for
2978         -Wmissing-format-attribute.
2979         * doc/invoke.texi (-Wmissing-format-attribute): Document new
2980         behavior.
2981
2982 2005-07-19  Richard Guenther  <rguenther@suse.de>
2983
2984         * config/i386/i386.md (lrint<mode>2): Use temporary
2985         instead of clobbering non-existent memory.
2986
2987 2005-07-19  Nick Clifton  <nickc@redhat.com>
2988
2989         * config/avr/avr.c (legitimate_address_p): Fix debugging print
2990         statement to avoid displaying ASCII control characters.
2991
2992 2005-07-19  Ben Elliston  <bje@au.ibm.com>
2993
2994         * bt-load.c (link_btr_uses): Fix uninitialised warnings.
2995         * cfganal.c (find_edge_index): Ditto.
2996         * combine.c (combine_instructions): Ditto.
2997         * ddg.c (create_scc): Ditto.
2998         (find_successors): Ditto.
2999         (find_predecessors): Ditto.
3000         (find_nodes_on_paths): Ditto.
3001         (longest_simple_path): Ditto.
3002         * flow.c (update_life_info): Ditto.
3003         (count_or_remove_death_notes): Ditto.
3004         (clear_log_links): Ditto.
3005         * modulo-sched.c (generate_reg_moves): Ditto.
3006         (find_max_asap): Ditto.
3007         (find_max_hv_min_mob): Ditto.
3008         (find_max_dv_min_mob): Ditto.
3009         * sbitmap.c (sbitmap_first_set_bit): Ditto.
3010         * sched-rgn.c (extract_edgelst): Ditto.
3011         * tree-into-ssa.c (prepare_names_to_update): Ditto.
3012         (dump_update_ssa): Ditto.
3013         (ssa_names_to_replace) Ditto.
3014         (switch_virtuals_to_full_rewrite): Ditto.
3015         (update_ssa): Ditto.
3016         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
3017
3018 2005-07-18  Daniel Berlin  <dberlin@dberlin.org>
3019
3020         Fix PR tree-optimization/22483
3021
3022         * tree-complex.c (create_components): Use
3023         safe_referenced_var_iterator and FOR_EACH_REFERENCED_VAR_SAFE.
3024         * tree-flow-inline.h (fill_referenced_var_vec): New function.
3025         * tree-flow.h (safe_referenced_var_iterator): New structure.
3026         (FOR_EACH_REFERENCED_VAR_SAFE): New macro.
3027         * tree-ssa-alias.c (setup_pointers_and_addressables): Use
3028         safe_referenced_var iterator.
3029         (add_type_alias): Ditto.
3030
3031 2005-07-19  Steven Bosscher  <stevenb@suse.de>
3032
3033         * loop-init.c (rest_of_handle_loop2): Remove.
3034         (rtl_loop_init, rtl_loop_done, rtl_move_loop_invariants,
3035         rtl_unswitch, rtl_unroll_and_peel_loops, rtl_doloop): New functions.
3036         (pass_rtl_loop_init, pass_rtl_loop_done,
3037         pass_rtl_move_loop_invariants, pass_rtl_unswitch,
3038         pass_rtl_unroll_and_peel_loops, pass_rtl_doloop): New passes.
3039         * tree-ssa-loop.c (pass_loop, pass_loop_init, pass_loop_done,
3040         pass_unswitch): Rename to pass_tree_loop, pass_tree_loop_init,
3041         pass_tree_loop_done, and pass_tree_unswitch.
3042         (gate_loop): Rename to gate_tree_loop.
3043         * passes.c (init_optimization_passes): Update for renamed tree
3044         loop passes.  Add the new loop2 passes as subpasses of loop2.
3045         * tree-pass.h: Add extern declarations for the new loop2 subpasses.
3046         Update for the renamed tree loop passes.
3047
3048 2005-07-18  Ian Lance Taylor  <ian@airs.com>
3049
3050         PR middle-end/22057
3051         * tree-cfgcleanup.c (cleanup_tree_cfg): Only remove forwarder
3052         blocks when optimizing.
3053
3054 2005-07-18  Steve Ellcey  <sje@cup.hp.com>
3055
3056         * common.opt (frename-registers): Initialize to 2.
3057         (fweb): Ditto.
3058         (fgcse-after-reload): Ditto.
3059         * toplev.c (AUTODETECT_FLAG_VAR_TRACKING): Rename to AUTODETECT_VALUE.
3060         (process_options): Only change flag_web, flag_rename_registers,
3061         and flag_rerun_cse_after_loop if not explicitly set by user.
3062
3063 2005-07-18  Jan Beulich  <jbeulich@novell.com>
3064
3065         * config/i386/i386.c (ix86_expand_branch, ix86_expand_setcc,
3066         ix86_expand_carry_flag_compare, ix86_expand_int_movcc): Handle TImode
3067         in 64-bit mode the same as DImode in 32-bit mode.
3068         (ix86_expand_ashl_const, ix86_split_ashl, ix86_split_ashr,
3069         ix86_split_lshr): Likewise. Rename to no longer refer to a specific
3070         mode. Add new mode parameter.
3071         * config/i386/i386.h (CONST_OK_FOR_LETTER_P): Describe and handle 'O'.
3072         * config/i386/i386.md (cmpti, addti3, subti3, negti2, ashlti3, ashrti3,
3073         x86_64_shift_adj): New expanders.
3074         (*addti3_1, *subti3_1, *negti2_1, ashlti3_1, *ashlti3_2, ashrti3_1,
3075         *ashrti3_2, lshrti3_1, *lshrti3_2, x86_64_shld, x86_64_shrd): New
3076         insns.
3077         Respective new splitters. Use renamed shift splitter helpers in 32-bit
3078         DImode shift splitters.
3079         * config/i386/i386-protos.h (ix86_split_ashl, ix86_split_ashr,
3080         ix86_split_lshr): Renamed from ix86_split_[al]sh[rl]di. Added new
3081         mode parameter.
3082
3083 2005-07-18  Jan Beulich  <jbeulich@novell.com>
3084
3085         * i386.md (movdi_extzv_1): New.
3086         (zero_extendhidi2): Combine alternatives and never force use of
3087         REX64 prefix.
3088         (zero_extendqidi2): Likewise. Don't restrict input selection.
3089
3090 2005-07-17  Daniel Berlin  <dberlin@dberlin.org>
3091
3092         Fix PR tree-optimization/22531
3093         * tree-ssa-pre.c (do_eustores):  Make sure LHS is a decl for the
3094          moment.
3095
3096 2005-07-17  Daniel Berlin  <dberlin@dberlin.org>
3097
3098         * tree-promote-statics.c (pass_promote_statics): Change dump file
3099          name.
3100
3101 2005-07-17  Daniel Berlin  <dberlin@dberlin.org>
3102
3103         * tree-optimize.c (init_tree_optimization_passes): Add
3104         pass_eliminate_useless_stores pass.
3105         * tree-pass.h (pass_eliminate_useless_stores): New pass structure.
3106         * tree-ssa-pre.c (is_copy_stmt): New function.
3107         (follow_copies_till_vuse): Ditto.
3108         (do_eustores): Ditto.
3109         (gate_eustores): Ditto.
3110
3111 2005-07-16  Richard Henderson  <rth@redhat.com>
3112
3113         * gcc.c (MFWRAP_SPEC): Don't wrap pthread_join or pthread_exit.
3114
3115 2005-07-16 Danny Berlin <dberlin@dberlin.org>
3116            Kenneth Zadeck <zadeck@naturalbridge.com>
3117
3118         * Makefile.in: Added rules for ipa-pure-const.c, ipa-reference.c,
3119         ipa-reference.h, ipa-utils.c, ipa-utils.h, ipa-type-escape.c,
3120         ipa-type-escape.h, tree-promote-statics.c
3121         * ipa-pure-const.c, ipa-reference.c, ipa-reference.h, ipa-utils.c,
3122         ipa-utils.h, ipa-type-escape.c, ipa-type-escape.h,
3123         tree-promote-statics.c: new files.
3124         * alias.c: (nonlocal_mentioned_p_1, nonlocal_mentioned_p,
3125         nonlocal_referenced_p_1, nonlocal_referenced_p, nonlocal_set_p_1,
3126         int nonlocal_set_p, mark_constant_function): Deleted.
3127         (rest_of_handle_cfg): Removed call to mark_constant_function.
3128         (nonoverlapping_component_refs_p): Added calls to support
3129         type based aliasing.
3130         * tree-ssa-alias.c (may_alias_p,
3131         compute_flow_insensitive_aliasing): Ditto.
3132         * calls.c (flags_from_decl_or_type): Removed reference to
3133         cgraph_rtl_info.
3134         * c-typeck.c (convert_arguments): Make builtins tolerant of having
3135         too many arguments.  This is necessary for Spec 2000.
3136         * cgraph.h (const_function, pure_function): Removed.
3137         * common.opt: Added "fipa-pure-const", "fipa-reference",
3138         "fipa-type-escape", and "ftree-promote-static".
3139         * opts.c: Ditto.
3140         * passes.c: Added ipa and tree-promote-statics passes.
3141         * timevar.def: Added TV_IPA_PURE_CONST, TV_IPA_REFERENCE,
3142         TV_IPA_TYPE_ESCAPE, and TV_PROMOTE_STATICS.
3143         * tree-dfa.c (referenced_var_lookup_if_exists): New function.
3144         * tree-flow.h: Added exposed sra calls and addition of
3145         reference_vars_info field for FUNCTION_DECLS.
3146         * tree-pass.h: Added passes.
3147         * tree-sra.c: (sra_init_cache): New function.
3148         (sra_insert_before, sra_insert_after) Made public.
3149         (type_can_be_decomposed_p): Renamed from type_can_be_decomposed_p
3150         and made public.
3151         * tree-ssa-alias.c (dump_alias_stats): Added stats for type based
3152         aliasing. (may_alias_p): Added code to use type escape analysis to
3153         improve alias sets.
3154         * tree-ssa-operands.c (add_call_clobber_ops): Added parameter and
3155         code to prune clobbers of static variables based on information
3156         produced in ipa-reference pass.  Changed call clobbering so that
3157         statics are not marked as clobbered if the call does not clobber
3158         them.
3159
3160 2005-07-16  Daniel Berlin  <dberlin@dberlin.org>
3161
3162         * tree-ssa-structalias.c (need_to_solve): Need to check for preds,
3163         too.
3164
3165 2005-07-16  Eric Botcazou <ebotcazou@libertysurf.fr>
3166
3167         * doc/install.texi (*-*-solaris2*): Document recommended version
3168         of GNU binutils and mention GNU linker problem on Solaris 10.
3169
3170 2005-07-16  Joseph S. Myers  <joseph@codesourcery.com>
3171
3172         PR c/22421
3173         * c-decl.c (c_build_bitfield_integer_type): New function.
3174         (finish_struct): Call it.
3175         * c-pretty-print.c (pp_c_type_specifier): Handle bit-field types.
3176
3177 2005-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3178
3179         * c-typeck.c (digest_init): Call 'convert_for_assignment'
3180         before returning.
3181
3182 2005-07-16  Jan Hubicka  <jh@suse.cz>
3183
3184         * cfg.c (update_bb_profile_for_threading): Fix profile updating.
3185         (scale_bbs_frequencies_int): Watch roundoff errors.
3186         * predict.c (return_prediction): Initialize return_stmt.
3187
3188 2005-07-16  Jan Hubicka  <jh@suse.cz>
3189
3190         * profile.c (rest_of_handle_branch_prob): Fix handling of estimation
3191         after RTL profiling.
3192
3193 2005-07-11  Andrew Pinski  <pinskia@physics.uc.edu>
3194
3195         PR middle-end/22398
3196         * fold-const.c (build_range_check): Convert high/low to etype
3197         if we are only comparing against exp.
3198
3199 2005-07-13  Daniel Berlin  <dberlin@dberlin.org>
3200
3201         Fix PR tree-optimization/22376
3202         * tree-ssa-structalias.c (build_constraint_graph): We really meant
3203         special var here.
3204         (need_to_solve): New function.
3205         (compute_points_to_sets): Use it.
3206
3207 2005-07-15  Jan Hubicka  <jh@suse.cz>
3208
3209         * cfg.c (update_bb_profile_for_threading): More diagnostic.
3210         * tree-ssa-threadupdate.c (redirect_edges): Update profile of dup_block.
3211
3212 2005-07-15  Richard Guenther  <rguenther@suse.de>
3213
3214         * c-common.c (handle_flatten_attribute): New function.
3215         Add flatten function attribute.
3216         * doc/extend.texi: Document flatten function attribute.
3217         * Makefile.in (ipa-inline.o): Depend on hashtab.h.
3218         * ipa-inline.c (cgraph_find_cycles, cgraph_flatten_node):
3219         New functions.
3220         (cgraph_decide_inlining): Handle functions with flatten
3221         attribute.
3222
3223 2005-07-14  David Edelsohn  <edelsohn@gnu.org>
3224
3225         * config/rs6000/rs6000.md (UNSPEC_SYNC, UNSPEC_LWSYNC,
3226         UNSPEC_ISYNC, UNSPEC_SYNC_OP, UNSPEC_ATOMIC, UNSPEC_CMPXCHG,
3227         UNSPEC_XCHG, UNSPEC_AND): New.
3228         (UNSPECV_ATOMIC, UNSPECV_SYNC, UNSPECV_SYNC_OP, UNSPECV_CMPXCHG,
3229         UNSPECV_LWSYNC, UNSPECV_ISYNC): Delete.
3230         * config/rs6000/sync.md (FETCHOP): New code macro.
3231         (fetchop_name, fetchop_pred, fetchopsi_constr, fetchopdi_constr):
3232         New code attrs.
3233         (memory_barrier, sync_internal): Use unspec instead of unspec_volatile.
3234         (sync_compare_and_swap<mode>): Same.
3235         (sync_lock_test_and_set<mode>): Same.
3236         (sync_<fetchop><mode>, sync_nand<mode>): Only use rs6000_emit_sync
3237         for QImode and HImode, and not PPC405.
3238         (sync_old_<fetchop><mode>, sync_old_nand<mode>): Same.
3239         (sync_new_<fetchop><mode>, sync_new_nand<mode>): Same.
3240         (sync_<fetchop>{si,di}_internal): New.
3241         (sync_nand{si,di}_internal): New.
3242         (sync_old_<fetchop>{si,di}_internal): New.
3243         (sync_old_nand{si,di}_internal): New
3244         (sync_new_<fetchop>{si,di}_internal): New.
3245         (sync_new_nand{si,di}_internal): New.
3246         (atomic_and{si,di}): New.
3247         (sync_new_nand{si,di}_internal): New.
3248         (atomic_and{si,di}): New.
3249         (sync_add<mode>_internal): Delete.
3250         (sync_addshort_internal): Use unspec instead of unspec_volatile.
3251         (sync_sub<mode>_internal): Delte.
3252         (sync_subshort_internal): New.
3253         (sync_andsi_internal): Use unspec instead of unspec_volatile.
3254         (sync_anddi_internal): Delete.
3255         (sync_boolsi_internal): Use unspec instead of unspec_volatile.
3256         (sync_booldi_internal): Delete.
3257         (sync_boolc<mode>_internal): Delete.
3258         (sync_boolcshort_internal): Use unspec instead of unspec_volatile.
3259         (sync_boolc<mode>_internal2): Delete.
3260         (sync_boolcc<mode>_internal): Delete.
3261         (isync, lwsync): Use unspec instead of unspec_volatile.
3262         * config/rs6000/rs6000.c (rs6000_emit_sync): Implement MINUS.
3263         Revert UNSPEC_VOLATILE.
3264         (rs6000_split_atomic_op): New.
3265         * config/rs6000/rs6000-protos.h (rs6000_split_atomic_op): Declare.
3266
3267 2005-07-14  Eric Christopher  <echristo@redhat.com>
3268
3269         * config/mips/mips.c (mips_canonicalize_comparison): Cast
3270         argument of trunc_int_for_mode to unsigned HOST_WIDE_INT.
3271
3272 2005-07-14  Eric Christopher  <echristo@redhat.com>
3273
3274         * config/s390/t-tpf (SHLIB_MAPFILES): Remove.
3275
3276 2005-07-14  Steven Bosscher  <stevenb@suse.de>
3277
3278         PR tree-optimization/22230
3279         * tree-vrp.c (extract_range_from_binary_expr): Fix logics thinko in
3280         the computation of the four cross productions for "range op range".
3281
3282 2005-07-14  Alexandre Oliva  <aoliva@redhat.com>
3283             Ulrich Weigand  <uweigand@de.ibm.com>
3284
3285         PR target/20126
3286         * loop.c (loop_givs_rescan): Do not ICE if unable to reduce an IV
3287         in some insn.
3288
3289 2005-07-14  Ulrich Weigand  <uweigand@de.ibm.com>
3290
3291         * config/s390/s390.h (TARGET_TPF_PROFILING): Add default definition.
3292
3293 2005-07-14  Steve Ellcey  <sje@cup.hp.com>
3294
3295         * config/ia64/ia64.c (ia64_output_dwarf_dtprel): Support ILP32 mode.
3296
3297 2005-07-14  Richard Guenther  <rguenther@suse.de>
3298
3299         PR middle-end/22347
3300         * config/i386/i386-protos.h (ix86_function_value): Change
3301         prototype to match new target hook.
3302         * config/i386/i386.c (ix86_value_regno): Change prototype
3303         to take extra type argument.
3304         (TARGET_FUNCTION_VALUE): Define.
3305         (ix86_function_ok_for_sibcall): Pass extra argument to
3306         ix86_value_regno, check return slot rtx for exact match.
3307         (ix86_function_value): Take extra parameter.  Dispatch to
3308         ix86_value_regno with fndecl/fntype as provided.
3309         (ix86_value_regno): Handle extra type argument.
3310         * config/i386/i386.h (FUNCTION_VALUE): No longer define.
3311
3312         * testsuite/gcc.target/i386/sseregparm-3.c: New testcase.
3313         * testsuite/gcc.target/i386/sseregparm-4.c: New testcase.
3314         * testsuite/gcc.target/i386/sseregparm-5.c: New testcase.
3315         * testsuite/gcc.target/i386/sseregparm-6.c: New testcase.
3316         * testsuite/gcc.target/i386/sseregparm-7.c: New testcase.
3317
3318 2005-07-14  Richard Guenther  <rguenther@suse.de>
3319
3320         * Makefile.in (explow.o, reg-stack.o): Depend on target.h.
3321         * calls.c (expand_call): Pass fntype to hard_function_value.
3322         (emit_library_call_value_1): Likewise.
3323         * explow.c: Include target.h.
3324         (hard_function_value): Take extra argument, the fntype.
3325         Use new target hook for function_value.
3326         * expr.h (hard_function_value): Change prototype.
3327         * function.c (aggregate_value_p): Pass 0 as fntype to
3328         hard_function_value.
3329         (assign_parms): Use new target hook for function_value.
3330         Pass 0 as fntype to hard_function_value.
3331         (expand_function_end): Likewise.
3332         * reg-stack.c: Include target.h.
3333         (stack_result): Use new target hook for function_value.
3334         * target-def.h: New target hook function_value.
3335         * target.h: Likewise.
3336         * targhooks.c (default_function_value): New function.
3337         * targhooks.h (default_function_value): Declare.
3338
3339 2005-07-13  Ian Lance Taylor  <ian@airs.com>
3340
3341         * config/mips/mips.h (CLZ_DEFINED_VALUE_AT_ZERO): Define.
3342
3343 2005-07-14  Jan Hubicka  <jh@suse.cz>
3344
3345         * tree-dfa.c (dump_variable): Use default_def function.
3346         * tree-ssa-alias.c (dump_points_to_info): Likewise.
3347         * tree-ssa.c (verify_use): Likewise.
3348         * tree-ssanames.c (release_ssa_name): Likewise.
3349         * tree-tailcall.c (eliminate_tail_call): Likewise.
3350         (tree_optimize_tail_calls_1): Likewise.
3351         * tree-vrp.c (get_value_range): Likewise.
3352
3353 2005-07-14  Ben Elliston  <bje@au.ibm.com>
3354
3355         * gcc.c (main): Compare language[0] with '*' when iterating over
3356         the infiles.
3357
3358 2005-07-13  Adrian StraeĀ½tling  <straetling@de.ibm.com>
3359
3360         * config/s390/s390.c: (s390_cc_modes_compatible): Move before
3361         "s390_emit_compare".  Add handling of CCZ1mode.
3362         (s390_canonicalize_comparison): Simplify cascaded EQ, NE.
3363         (390_emit_compare): Use "s390_cc_modes_compatible" for mode
3364         checking.
3365         (s390_branch_condition_mask): Add CCZ1mode handling.
3366         * config/s390/s390.md: ("seq", "*seq"): New pattern.
3367         ("sync_compare_and_swap_cc<mode>", "*sync_compare_and_swap_cc<mode>"):
3368         Use CCZ1mode instead of CCZmode.
3369         * config/s390/s390-modes.def: Add CCZ1mode.  Comment new mode.
3370
3371 2006-07-13  Adrian StraeĀ½tling  <straetling@de.ibm.com>
3372
3373         * config/s390/s390.md: ("cmpstrsi", "*cmpstr<mode>"): New
3374         pattern.
3375         ("strlen<mode>", "*strlen<mode>"): Use hard reg 0 in SImode.
3376
3377 2005-07-13  Eric Christopher  <echristo@redhat.com>
3378
3379         * config/mips/mips.c (mips_canonicalize_comparison): New.
3380         (mips_emit_int_relational): Use.
3381
3382 2005-07-13  Eric Christopher  <echristo@redhat.com>
3383
3384         * config.gcc (s390x-ibm-tpf*): Add extra_options. Remove
3385         static extra parts.
3386         * config/s390/s390.md: Include tpf.md. Move tpf specific
3387         patterns...
3388         * config/s390/tpf.md: To here.
3389         * config/s390/s390.opt: Move tpf specific options...
3390         * config/s390/tpf.opt: to here. Add mmain option.
3391         * config/s390/tpf-unwind.h: Remove unnecessary defines.
3392         * config/s390/tpf.h: Rewrite.
3393
3394 2005-07-13  H.J. Lu  <hongjiu.lu@intel.com>
3395
3396         * doc/tm.texi: Remove @xref{Cross-profiling}.
3397
3398 2005-07-13  Jeff Law  <law@redhat.com>
3399
3400         * fold-const.c (fold_binary): When comparing two simple ADDR_EXPR
3401         expressions, test their _DECL operands for pointer equality rather
3402         than using operand_equal_p.
3403
3404 2005-07-13  H.J. Lu  <hongjiu.lu@intel.com>
3405
3406         * config/alpha/linux.h (TARGET_HAS_F_SETLKW): Renamed to ...
3407         (TARGET_POSIX_IO): This.
3408         * config/darwin.h: Likewise.
3409         * config/freebsd.h: Likewise.
3410         * config/linux.h: Likewise.
3411         * config/lynx.h: Likewise.
3412         * config/netbsd.h: Likewise.
3413         * config/rs6000/linux64.h: Likewise.
3414         * config/rs6000/linux.h: Likewise.
3415         * config/s390/tpf.h: Likewise.
3416         * config/sh/embed-elf.h: Likewise.
3417         * config/sparc/linux64.h: Likewise.
3418         * config/sparc/linux.h: Likewise.
3419         * config/svr4.h: Likewise.
3420         * gcov-io.h: Likewise.
3421
3422         * doc/tm.texi: Updated.
3423
3424         * libgcov.c (create_file_directory): Defined only if
3425         TARGET_POSIX_IO is defined.
3426         (gcov_exit): Call create_file_directory only if TARGET_POSIX_IO
3427         is defined.
3428
3429 2005-07-13  Jan Hubicka  <jh@suse.cz>
3430
3431         * tree-ssa-operands.c (get_expr_operands): Fix typo in previous patch.
3432
3433 2005-07-13  David Edelsohn  <edelsohn@gnu.org>
3434
3435         * tree-ssa-dom.c (lookup_avail_expr): Do not pass member in freed
3436         structure as argument.
3437
3438 2005-07-13  Paolo Bonzini  <bonzini@gnu.org>
3439
3440         PR tree-optimization/21921
3441         * tree-iterator.c (tsi_link_before): Support the case when
3442         tsi_end_p (tsi) == true.
3443
3444 2005-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
3445
3446         PR tree-optimization/22442
3447         * tree-chrec.c (chrec_fold_multiply_poly_poly): Associate chrecs
3448         correctly.
3449
3450 2005-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
3451
3452         PR rtl-optimization/20376
3453         * toplev.c (process_options): Enable -fweb and -frename-registers when
3454         unrolling.
3455         * doc/invoke.texi: Update the information about when -fweb and
3456         -frename-registers are enabled.
3457
3458 2005-07-12  Andrew Pinski  <pinskia@physics.uc.edu>
3459
3460         PR tree-opt/21840
3461         * tree-ssa-pre.c (eliminate): Convert the sprime to the correct type
3462         if *rhs_p is not a SSA_NAME.
3463
3464 2005-07-12  Daniel Berlin  <dberlin@dberlin.org>
3465
3466         Fix PR tree-optimization/22422
3467         * tree-ssa-structalias.c (struct variable_info): Add flag for
3468         special vars.
3469         (get_varinfo): Now a static function.
3470         (new_varinfo): init has_union and is_special_var to false.
3471         (solution_set_add): Check has_union.
3472         (do_da_constraint): Move temporary variable so it gets reset
3473         properly.
3474         Also check for special variable.
3475         (do_ds_constraint): Ditto.
3476         (do_sd_constraint): Ditto.
3477         (do_structure_copy): Check for special variable.
3478         (find_func_aliases): Ditto.
3479         (init_base_vars): Set special vars properly.
3480
3481 2005-07-13  Jan Hubicka  <jh@suse.cz>
3482
3483         * cfgexpand.c (expand_one_stack_var): Do not expand variables when we
3484         do unit-at-a-time.
3485
3486         * tree-ssa-operands.c (parse_ssa_operands): Fix formatting.
3487         (get_expr_operands): Fix thinko wrt flags and subvars.
3488
3489         PR tree-optimize/22379
3490         * tree-inline.c (expand_call_inline): Do not output sorry in early
3491         inlining.
3492
3493 2005-07-12  Dale Johannesen  <dalej@apple.com>
3494
3495         * config/rs6000.c (rs6000_rtx_cost):  Move FLOAT_EXTEND.
3496
3497 2005-07-12  Andrew Pinski  <pinskia@physics.uc.edu>
3498
3499         PR bootstrap/21704
3500         * host-linux.h: Include limits.h.
3501
3502 2005-07-12  Dale Johannesen  <dalej@apple.com>
3503
3504         * expr.c (compress_float_constant):  Add cost check.
3505         * config/rs6000.c (rs6000_rtx_cost):  Adjust FLOAT_EXTEND cost.
3506
3507 2005-07-12  Dale Johannesen  <dalej@apple.com>
3508
3509         * gcc.target/i386/compress-float-sse.c:  New.
3510         * gcc.target/i386/compress-float-sse-pic.c:  New.
3511         * gcc.target/i386/compress-float-387.c:  New.
3512         * gcc.target/i386/compress-float-387-pic.c:  New.
3513         * gcc.dg/compress-float-ppc.c:  New.
3514         * gcc.dg/compress-float-ppc-pic.c:  New.
3515
3516 2005-07-12  Eric Christopher  <echristo@redhat.com>
3517
3518         * config.gcc (s390x-ibm-tpf*): Add extra_options. Remove
3519         static extra parts.
3520         * config/s390/s390.md: Include tpf.md. Move tpf specific
3521         patterns...
3522         * config/s390/tpf.md: To here.
3523         * config/s390/s390.opt: Move tpf specific options...
3524         * config/s390/tpf.opt: to here. Add mmain option.
3525         * config/s390/tpf-unwind.h: Remove unnecessary defines.
3526         * config/s390/tpf.h: Rewrite.
3527
3528 2005-07-12  Eric Christopher  <echristo@redhat.com>
3529
3530         * gcc.c (struct infile): Update comment for language.
3531         (main): Rewrite input file resetting code.
3532
3533 2005-07-12  Andrew Pinski  <pinskia@physics.uc.edu>
3534
3535         PR tree-opt/22335
3536         * tree-ssa-dom.c (eliminate_redundant_computations): Reject the prop if
3537         requiring a cast in a non RHS of modify_expr.  Add a cast when required.
3538         (lookup_avail_expr): Use constant_boolean_node instead
3539         of boolean_false_node/boolean_true_node.
3540
3541 2005-07-12  Ben Elliston  <bje@au.ibm.com>
3542
3543         * tree-cfg.c (dump_cfg_stats): Add a new fmt_str_2 format string
3544         and use it when printing num_edges.
3545
3546 2005-07-12  Bernd Schmidt  <bernd.schmidt@analog.com>
3547
3548         * doc/extend.texi (Blackfin Built-in Functions): New section.
3549         * doc/invoke.texi (mcsync-anomaly, mno-csync-anomaly): Fix the
3550         @opindex.
3551
3552 2005-07-12  Adrian Straetling  <straetling@de.ibm.com>
3553
3554         * builtins.c: (expand_builtin_memcmp, expand_builtin_strncmp):
3555         s/cmpstrsi/cmpstrnsi
3556         (expand_builtin_strcmp): Rewrite to support both 'cmpstrsi' and
3557         'cmpstrnsi'.
3558         * optabs.c: (prepare_cmp_insn): Add availability of 'cmpstrn'.
3559         (init_optabs): Initialize cmpstrn_optab.
3560         * optabs.h: (enum insn_code cmpstrn_optab): Declare.
3561         * genopinit.c: (optabs[]): Add 'cmpstrn' to initialisation.
3562         * expr.c: (enum insn_code cmpstrn_optab): Declare.
3563         * config/i386/i386.md: s/cmpstr/cmpstrn
3564         * config/c4x/c4x.md: s/cmpstr/cmpstrn
3565         * doc/md.texi: Update documentation.
3566
3567 2005-07-11  Richard Henderson  <rth@redhat.com>
3568
3569         * config/alpha/alpha.c (alpha_gimplify_va_arg_1): Use
3570         build_va_arg_indirect_ref.
3571         (alpha_gimplify_va_arg): Likewise.
3572         * config/c4x/c4x.c (c4x_gimplify_va_arg_expr): Likewise.
3573         * config/i860/i860.c (i860_gimplify_va_arg_expr): Likewise.
3574         * config/mips/mips.c (mips_gimplify_va_arg_expr): Likewise.
3575         * config/pa/pa.c (hppa_gimplify_va_arg_expr): Likewise.
3576         * config/sh/sh.c (sh_gimplify_va_arg_expr): Likewise.
3577         * config/stormy16/stormy16.c (xstormy16_expand_builtin_va_arg):
3578         Likewise.
3579         * config/xtensa/xtensa.c (xtensa_gimplify_va_arg_expr): Likewise.
3580
3581 2005-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
3582
3583         * tree-flow.h (remove_empty_loops, single_dom_exit): Declare.
3584         * passes.c (init_optimization_passes): Add pass_empty_loop.
3585         * tree-pass.h (pass_empty_loop): Declare.
3586         * tree-ssa-loop-ivcanon.c (empty_loop_p, remove_empty_loop,
3587         try_remove_empty_loop, remove_empty_loops): New functions.
3588         * tree-ssa-loop-ivopts.c (single_dom_exit): Export.
3589         * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): New.
3590
3591 2005-07-12  Peter Barada  <peter@the-baradas.com>
3592
3593         PR middle-end/16719
3594         PR middle-end/18421
3595         * config/m68k/m68k.h (HARD_REGNO_MODE_OK): Disallow bytes
3596         in address registers.
3597         * config/m68k/m68k.c (hard_regno_mode_ok): Likewise.
3598         * config/m68k/m68k.md: Replace 's' with 'i' in 4th
3599         alternative of addsi3_5200.
3600
3601 2005-07-11  Ian Lance Taylor  <ian@airs.com>
3602
3603         * config/mips/mips.md (ffs<mode>2): Remove.
3604
3605 2005-07-11  Ian Lance Taylor  <ian@airs.com>
3606
3607         * doc/tree-ssa.texi (Cleanups): Improve description of
3608         TRY_FINALLY_EXPR.
3609         (GIMPLE Exception Handling): Clarify TRY_CATCH_EXPR cases.
3610
3611 2005-07-11  Daniel Berlin  <dberlin@dberlin.org>
3612
3613         * print-tree.c (print_node): Use DECL_ARGUMENT_FLD.
3614         * tree.h (DECL_ARGUMENT_FLD): New macro.
3615
3616 2005-07-11  Daniel Berlin  <dberlin@dberlin.org>
3617
3618         Fix PR tree-optimization/22404
3619
3620         * tree-ssa-structalias.c (create_variable_info_for): Use
3621         correct offset.
3622
3623 2005-07-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3624
3625         * config/bfin/bfin.md (cmpsi, compare_eq, compare_ne, compare_lt,
3626         compare_le, compare_leu, compare_ltu): Use reg_or_const_int_operand
3627         for second comparison operand.
3628         * config/bfin/predicates.md (reg_or_const_int_operand): New.
3629
3630         * config/bfin/bfin.md (define_attr "type"): Add "sync".
3631         (define_insn_reservation "alu"): Likewise.
3632         (csync, ssync): Now of type sync.
3633         * config/bfin/bfin.h (TARGET_DEFAULT): Defaults to
3634         -mcsync-anomaly -mspecld-anomaly.
3635         * config/bfin/bfin.opt (mcsync): Remove.
3636         (mcsync-anomaly, mspecld-anomaly): Add.
3637         * config/bfin/bfin.c: Include "insn-codes.h".
3638         (bfin_reorg): Extend to handle the CSYNC anomaly as well.
3639         (TARGET_DEFAULT_TARGET_FLAGS): New.
3640         * doc/invoke.texi: Document -mcsync-anomaly, -mspecld-anomaly.
3641
3642 2005-07-11  Steven Bosscher  <stevenb@suse.de>
3643
3644         * basic-block.h: Give the BB flags enum a name, bb_flags.
3645         Add new flags BB_FORWARDER_BLOCK, and BB_NONTHREADABLE_BLOCK.
3646         * cfgcleanup.c (enum bb_flags): Remove here.
3647         (BB_FLAGS, BB_SET_FLAG, BB_CLEAR_FLAG): Remove.
3648         (notice_new_block): Set/test bb->flags instead of aux via BB_FLAGS.
3649         (update_forwarder_flag): Likewise.
3650         (thread_jump): Likewise.
3651         (try_forward_edges): Likewise.
3652         (try_optimize_cfg): Likewise.  Clear bb->flags before updating the
3653         forwarder flags.  Don't clear bb->aux for all basic blocks.  Only
3654         reset the BB_FORWARDER_BLOCK and BB_NONTHREADABLE_BLOCK flags.
3655
3656 2005-07-11  Richard Guenther  <rguenther@suse.de>
3657
3658         * config/i386/i386.opt: New target option -msseregparm.
3659         * config/i386/i386.c (override_options): Error out for
3660         -msseregparm but no SSE support.
3661         (ix86_function_sseregparm): Check for global sseregparm.
3662         * doc/invoke.texi: Document -msseregparm.
3663
3664 2005-07-11  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
3665
3666         * config.gcc (m32r-*-linux*): Use the default extra_parts.
3667         (m32rle-*-linux*): Ditto.
3668
3669 2005-07-11  Jakub Jelinek  <jakub@redhat.com>
3670
3671         * cfgexpand.c (stack_protect_classify_type): Use TYPE_SIZE_UNIT (type)
3672         instead of TYPE_MAX_VALUE (TYPE_DOMAIN (type)) to get array size in
3673         bytes.
3674
3675 2005-07-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3676
3677         PR middle-end/22239
3678         PR target/20126
3679         * loop.c (loop_givs_rescan): Use expand_simple_binop instead of
3680         gen_rtx_MINUS to handle non-replaceable (plus ((x) (const)).
3681
3682 2005-07-07  Daniel Berlin  <dberlin@dberlin.org>
3683
3684         * tree-ssa-structalias.c (struct variable_info): Heapify complex.
3685         (varmap): Heapify varmap.
3686         (constraints): Heapify constraints.
3687         (struct constraint_graph): Heapify succs and preds.
3688         (constraint_vec_find): Update for heapification.
3689         (constraint_set_union): Ditto.
3690         (insert_into_complex): Ditto.
3691         (constraint_edge_vec_find): Ditto.
3692         (erase_graph_self_edge): Ditto.
3693         (add_graph_edge): Ditto.
3694         (get_graph_weights): Ditto.
3695         (merge_graph_nodes): Ditto.
3696         (build_constraint_graph): Ditto.
3697         (topo_visit): Ditto.
3698         (solve_graph): Ditto.
3699         (create_variable_info_for): Ditto.
3700         (init_base_vars): Ditto.
3701         (delete_points_to_sets): Free graph, varmap, and complex constraints.
3702         (condese_varmap_nodes): Free complex vector.
3703         (clear_edges_for_node): Clear succs and preds vector.
3704
3705 2005-07-10  Daniel Berlin  <dberlin@dberlin.org>
3706
3707         * tree-ssa-structalias.c (update_alias_info): Change counting of
3708         references to not include vdefs.
3709
3710 2005-07-10  Daniel Berlin  <dberlin@dberlin.org>
3711
3712         * tree-ssa-alias.c (free_used_part_map): Add missing free.
3713         (up_insert): Ditto.
3714
3715 2005-07-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3716
3717         * pa.c (pa_commutative_p): Make PLUS commutative when
3718         TARGET_NO_SPACE_REGS is true.
3719
3720 2005-07-09  Diego Novillo  <dnovillo@redhat.com>
3721
3722         * Makefile.in (tree-ssa-alias.o): Depend on tree-ssa-structalias.h
3723         * tree-cfg.c (CHECK_OP): Only test for is_gimple_val.
3724         * tree-dfa.c (dump_subvars_for): New.
3725         (debug_subvars_for): New.
3726         (dump_variable): Show subvariables if VAR has them.
3727         * tree-flow-inline.h (get_subvar_at): New.
3728         (overlap_subvar): Change offset and size to unsigned HOST_WIDE_INT.
3729         * tree-flow.h (struct ptr_info_def): Remove field pt_malloc.
3730         Update all users.
3731         (struct subvar): Change fields offset and size to unsigned
3732         HOST_WIDE_INT.
3733         (dump_subvars_for): Declare.
3734         (debug_subvars_for): Declare.
3735         (get_subvar_at): Declare.
3736         (okay_component_ref_for_subvars): Change 2nd and 3rd argument
3737         to unsigned HOST_WIDE_INT *.
3738         (overlap_subvar): Likewise.
3739         * tree-gimple.c (is_gimple_reg): Always return false for
3740         SFTs and memory tags.
3741         * tree-pass.h (pass_build_pta, pass_del_pta): Remove.
3742         Update all callers.
3743         * tree-ssa-alias.c: Include tree-ssa-structalias.h.
3744         (compute_may_aliases): Call compute_points_to_sets.
3745         (collect_points_to_info_for): Remove.
3746         (compute_points_to_and_addr_escape): Remove.
3747         (delete_alias_info): Call delete_points_to_sets.
3748         (compute_flow_sensitive_aliasing): If the call to
3749         find_what_p_points_to returns false, call set_pt_anything.
3750         (add_may_alias): Set TREE_ADDRESSABLE when adding a new alias.
3751         (set_pt_anything): Clear pi->pt_vars.
3752         (set_pt_malloc): Remove.
3753         (merge_pointed_to_info): Remove.
3754         (add_pointed_to_expr): Remove.
3755         (add_pointed_to_var): Remove.
3756         (collect_points_to_info_r): Remove.
3757         (is_escape_site): Make extern.
3758         (create_sft): New.
3759         (create_overlap_variables_for): Call it.
3760         * tree-ssa-copy.c (merge_alias_info): Never merge
3761         flow-sensitive alias information.
3762         * tree-ssa-operands.c (get_expr_operands): Adjust variables
3763         offset and size to be unsigned HOST_WIDE_INT.
3764         (add_to_addressable_set): Rename from note_addressable.
3765         Set TREE_ADDRESSABLE as the variables are added to the set.
3766         Update all users.
3767         (add_stmt_operand): Do not try to micro-optimize unmodifiable
3768         operands into VUSEs when adding V_MAY_DEFs for members in an
3769         alias set.
3770         * tree-ssa-operands.h (add_to_addressable_set): Declare.
3771         * tree-ssa-structalias.c: Include tree-ssa-structalias.h last.
3772         (struct variable_info): Add bitfield is_heap_var.
3773         (var_anyoffset, anyoffset_tree, anyoffset_id): Declare.
3774         (new_var_info): Initialize is_heap_var.
3775         (get_constraint_for): Add HEAP variables to the symbol table.
3776         Mark them with is_heap_var.
3777         (update_alias_info): New.  Taken mostly from the old
3778         compute_points_to_and_addr_escape.
3779         (handle_ptr_arith): New.
3780         (find_func_aliases): Call update_alias_info.
3781         Call handle_ptr_info for tcc_binary expressions.
3782         Call mark_stmt_modified.
3783         (create_variable_info_for): If DECL has subvars, do not create
3784         variables for its subvars.  Always add all the fields.
3785         (set_uids_in_ptset): If the solution includes ANYOFFSET and
3786         SFTs, then add all the SFTs of the structure.
3787         If VI->DECL is an aggregate with subvariables, add the SFT at
3788         VI->OFFSET.
3789         (find_what_p_points_to): If VI is an artificial variable,
3790         translate to bitfields in SSA_NAME_PTR_INFO.
3791         If the solution is empty, set pi->pt_vars to NULL
3792         (init_base_vars): Create ANYOFFSET.
3793         (compute_points_to_sets): Rename from create_alias_vars.
3794         Make extern.
3795         (pass_build_pta): Remove.
3796         (delete_points_to_sets): Rename from delete_alias_vars.
3797         (pass_del_pta): Remove.
3798         * tree-ssa-structalias.h (struct alias_info): Move from
3799         tree-ssa-alias.h.
3800         (NUM_REFERENCES, NUM_REFERENCES_CLEAR, NUM_REFERENCES_INC,
3801         NUM_REFERENCES_SET): Likewise.
3802         (compute_points_to_sets, delete_points_to_sets): Declare.
3803
3804 2005-07-09  Richard Henderson  <rth@redhat.com>
3805
3806         * config/alpha/alpha.c (emit_insxl, alpha_expand_compare_and_swap_12,
3807         alpha_split_compare_and_swap_12, alpha_expand_lock_test_and_set_12,
3808         alpha_split_lock_test_and_set_12): New functions.
3809         * config/alpha/alpha-protos.h: Update.
3810         * config/alpha/alpha.md (UNSPEC_MB, UNSPEC_ATOMIC,
3811         UNSPEC_CMPXCHG, UNSPEC_XCHG): Rename from UNSPECV_FOO.
3812         * config/alpha/sync.md (I12MODE): New.
3813         (memory_barrier, mb_internal): Use unspec instead of unspec_volatile.
3814         (sync_<fetchop_name><I48MODE>): Likewise.
3815         (sync_nand<I48MODE>): Likewise.
3816         (sync_old_<fetchop_name><I48MODE>): Likewise.
3817         (sync_new_<fetchop_name><I48MODE>): Likewise.
3818         (sync_old_nand<I48MODE>, sync_new_nand<I48MODE>): Likewise.
3819         (sync_compare_and_swap<I48MODE>): Likewise.
3820         (sync_lock_test_and_set<I48MODE>): Likewise.
3821         (sync_compare_and_swap<I12MODE>): New.
3822         (sync_compare_and_swap<I12MODE>_1): New.
3823         (sync_lock_test_and_set<I12MODE>): New.
3824         (sync_lock_test_and_set<I12MODE>_1): New.
3825
3826 2005-07-09  Diego Novillo  <dnovillo@redhat.com>
3827
3828         PR 21356
3829         PR 22332
3830         * passes.c (execute_todo): Cleanup the CFG before updating SSA.
3831
3832 2005-07-09  Jakub Jelinek  <jakub@redhat.com>
3833
3834         * config/i386/i386.c (output_set_got): Don't omit OFFSET FLAT:
3835         in Intel syntax add %reg, OFFSET FLAT:_GLOBAL_OFFSET_TABLE_+(.-.Lx).
3836
3837 2005-07-09  Richard SAndiford  <richard@codesourcery.com>
3838
3839         PR target/21656
3840         * config/mips/elf.h (NO_IMPLICIT_EXTERN_C): Define.
3841
3842 2005-07-08  David Edelsohn  <edelsohn@gnu.org>
3843
3844         * config/rs6000/sync.md (load_locked_<mode>): Use Z for
3845         memory_operand constraint.
3846         (store_conditional_<mode>): Same.
3847         (sync_compare_and_swap<mode>): Same.
3848         (sync_lock_test_and_set<mode>): Same.
3849
3850 2005-07-08  Hans-Peter Nilsson  <hp@axis.com>
3851
3852         Rewrite PIC support to more closely model actual instructions.
3853         * config/cris/cris-protos.h (cris_gotless_symbol, cris_got_symbol)
3854         (cris_symbol): Remove prototypes for removed functions.
3855         (cris_pic_symbol_type_of, cris_valid_pic_const)
3856         (cris_expand_pic_call_address): Prototypes for new functions.
3857         * config/cris/cris/cris.c (cris_pic_sympart_only): Remove unused
3858         variable.
3859         (cris_print_operand) <case 'v', 'P'>: Remove cases for unused
3860         modifiers.
3861         <case ':'>: Add case for new punctuation character.
3862         <case 'd'>: Temporarily set flag_pic = 2 instead of incorrectly
3863         emitting (extra) PIC modifier.
3864         <case UNSPEC>: Do not assert for PLT.
3865         (cris_initial_frame_pointer_offset, cris_simple_epilogue)
3866         (cris_expand_prologue, cris_expand_epilogue): Check
3867         for pic_offset_table_rtx usage instead of taking
3868         current_function_uses_pic_offset_table as the final word.
3869         (cris_rtx_costs, cris_address_cost, cris_side_effect_mode_ok):
3870         Remove flag_pic difference.
3871         (cris_valid_pic_const, cris_pic_symbol_type_of): New functions,
3872         the moral equivalents of...
3873         (cris_symbol, cris_gotless_symbol, cris_got_symbol): Remove
3874         functions.
3875         (cris_legitimate_pic_operand): Just call cris_valid_pic_const.
3876         (cris_handle_option): Mark ARG as unused.
3877         (cris_expand_pic_call_address): New worker function for "call",
3878         "call_value".
3879         (cris_asm_output_symbol_ref, cris_asm_output_label_ref): Do not
3880         output PIC constructs here.
3881         (cris_output_addr_const_extra): Changes for emitting PIC modifiers
3882         as symbol-specific modifers, not whole or part of operands.
3883         * config/cris/cris/cris.h (EXTRA_CONSTRAINT): Remove 'U' case.
3884         (EXTRA_CONSTRAINT_S): Changed semantics: allow only CONST-wrapped
3885         constants and flag_pic.
3886         (CONSTANT_INDEX_P): Adjust for new functions.
3887         (enum cris_pic_symbol_type): New helper type.
3888         (PRINT_OPERAND_PUNCT_VALID_P): Add ':'.
3889         * config/cris/cris/cris.md (CRIS_UNSPEC_GOTREL)
3890         (CRIS_UNSPEC_GOTREAD, CRIS_UNSPEC_PLTGOTREAD): New
3891         define_constants.
3892         ("movsi"): Emit actual instructions for GOT and relative access.
3893         ("*movsi_got_load"): New pattern to set up the register holding
3894         the GOT pointer.
3895         ("*movsi_internal"): Operand 1 is not a plain general_operand.
3896         Adjust FIXME for 'S'.
3897         <output for 'S' alternative>: Sanity-check UNSPEC types for PIC.
3898         Use "movs" for -fpic cases.
3899         ("addsi3"): Add alternative for 'S'; use adds.w when possible.
3900         ("uminsi3","*expanded_call_value"): Remove 'S' alternative.
3901         ("call", "call_value"): Just call cris_expand_pic_call_address for
3902         PIC addresses.
3903         ("*expanded_call_no_gotplt", "*expanded_call_value_no_gotplt"):
3904         Remove special pattern.
3905         ("*expanded_call_side", "*expanded_call_value_side"): New
3906         patterns.
3907         (gotplt-to-plt, gotplt-to-plt-side-call)
3908         (gotplt-to-plt-side-call-value, gotplt-to-plt-side): New
3909         peephole2:s.
3910         * config/cris/cris/predicates.md
3911         ("cris_general_operand_or_gotless_symbol"): Remove unused
3912         predicate.
3913         ("cris_general_operand_or_symbol"): Adjust for new functions.
3914
3915 2005-07-08  Andrew Pinski  <pinskia@physics.uc.edu>
3916
3917         * config/darwin.h (TARGET_C99_FUNCTIONS): Define to 1.
3918
3919 2005-07-08  Daniel Berlin  <dberlin@dberlin.org>
3920
3921         * Makefile.in (TREE_H): Add treestruct.def.
3922         (c-decl.o): Add pointer-set.h
3923         * c-decl.c (diagnose_mismatched_decls): Don't attempt to look at
3924         visibility on regular DECL's.
3925         (merge_decls): Fix the copying of decl nodes of various types for
3926         the new structures.  Don't update RTL, section name, weak status,
3927         etc, on DECL's without RTL.
3928         (grokdeclarator): DECL_ARG_TYPE_AS_WRITTEN is gone.
3929         Don't check volatile on non-variable types.
3930         (store_parm_decls_oldstyle): Use pointer_set instead of DECL_WEAK
3931         to check whether we have seen arguments.
3932         * c-objc-common.c (c_tree_printer): Reverse order of tests so that
3933         flag is checked before field (flag is common, field is not).
3934         * dwarf2out.c (decl_ultimate_origin):  Only DECL's with
3935         TS_DECL_COMMON could have an origin.
3936         (add_location_or_const_value_attribute): Don't check section name
3937         on non-var/function decls.
3938         (dwarf2out_var_location): Reverse order of tests.
3939         * emit-rtl.c (set_reg_attrs_for_parm): DECL_CHECK is dead, replace
3940         with DECL_WRTL_CHECK.
3941         * expmed.c (make_tree): rtl is now in decl_with_rtl.
3942         * fold-const.c (fold_binary): Don't check weakness on
3943         non-var/function decls.
3944         (tree_expr_nonzero_p): Ditto.
3945         (fold_checksum_tree): Use tree_decl_extra as sizeof
3946         buffer.
3947         * ggc-page.c (extra_order_size_table): Add sizes for
3948         tree_decl_non_common, tree_parm_decl,  tree_var_decl, and
3949         tree_field_decl.
3950         * gimplify.c (gimplify_bind_expr): Only set
3951         DECL_SEEN_IN_BIND_EXPR_P on VAR_DECL.
3952         * integrate.c (copy_decl_for_inlining): Don't set RTL on decl's
3953         without RTL.
3954         * langhooks-def.h (LANG_HOOK_INIT_TS): New.
3955         * langhooks.h (init_ts). New langhook.
3956         * passes.c (rest_of_decl_compilation): Reverse order of tests.
3957         * print-tree.c (print_node): Update to only print fields that
3958         exist in the structures the passed decl has.
3959         * toplev.c (wrapup_global_declarations): Don't reset
3960         DECL_DEFER_OUTPUT on DECL's that don't contain it.
3961         * tree-browser.c (browse_tree): DECL_ARG_TYPE_AS_WRITTEN removed.
3962         * tree-inline.c (remap_decl): Ditto.
3963         * tree-outof-ssa.c (create_temp): Reverse order of tests.
3964         * tree-pretty-print.c (print_declaration): Don't print
3965         DECL_REGISTER on things that don't contain it.
3966         * tree-vrp.c (expr_computes_nonzero): Don't check weakness on
3967         non-var/function decls.
3968         * tree.c (tree_contains_struct): New structure.
3969         (init_priority_for_decl): New hashtable.
3970         (tree_int_map): New structure.
3971         (tree_int_map_eq): New function.
3972         (tree_int_map_marked_p): Ditto.
3973         (tree_int_map_hash): Ditto.
3974         (tree_map): Move to tree.h.
3975         (tree_map_eq): Externalize.
3976         (tree_map_hash): Ditto.
3977         (tree_map_marked_p): Ditto.
3978         (init_ttree): Set up tree_contains_struct and call langhook.
3979         (decl_assembler_name): Use DECL_NON_COMMON_CHECK..
3980         (tree_code_size): Update for new structures.
3981         (tree_node_structure): Update for new structures.
3982         (make_node_stat): Don't try to set DECL_IN_SYSTEM_HEADER on decls
3983         without the field.
3984         (copy_node_stat):  Copy init priority.
3985         (build_decl_stat): Ditto for visibility.
3986         (ts_enum_names): New.
3987         (tree_contains_struct_check_failed): New function.
3988         (decl_init_priority_lookup): Ditto.
3989         (decl_init_priority_insert): Ditto.
3990         * treestruct.def: New file.
3991         * tree.h (CODE_CONTAINS_STRUCT): New macro.
3992         (CONTAINS_STRUCT_CHECK): Ditto.
3993         (tree_contains_struct_check_failed): New prototype.
3994         (DECL_CHECK): Removed.
3995         (DECL_MINIMAL_CHECK): New.
3996         (DECL_COMMON_CHECK): Ditto.
3997         (DECL_WRTL_CHECK): Ditto.
3998         (DECL_NON_COMMON_CHECK): Ditto.
3999         (DECL_WITH_VIS_CHECK): Ditto.
4000         (VAR_OR_FUNCTION_DECL_P): Ditto
4001         (struct tree_decl_minimal): New structure.
4002         (struct tree_decl_common): Ditto.
4003         (struct tree_decl_with_rtl): Ditto.
4004         (struct tree_decl_with_vis): Ditto.
4005         (struct tree_decl_non_common): Ditto.
4006         (struct tree_field_decl): Ditto.
4007         (struct tree_parm_decl): Ditto.
4008         (struct tree_var_decl): Ditto.
4009         (struct tree_function_decl): Ditto.
4010         (struct tree_const_decl): Ditto.
4011         (struct tree_result_decl): Ditto.
4012         (union tree_node): Add new structures.
4013         * var-tracking.c (track_expr_p): Reverse order of tests.
4014
4015         * doc/c-tree.texi: Add documentation on DECL node internal structure.
4016
4017 2005-07-08  Kazu Hirata  <kazu@codesourcery.com>
4018
4019         * cfgexpand.c (tree_expand_cfg): Don't use FINALIZE_PIC.
4020         * system.h: Poison FINALIZE_PIC.
4021         * doc/tm.texi (FINALIZE_PIC): Remove.
4022
4023 2005-07-08  Andrew Pinski  <pinskia@physics.uc.edu>
4024
4025         PR tree-opt/22329
4026         * tree-ssa-propagate.c (fold_predicate_in): Convert the value
4027         to the correct type if we have a MODIFY_EXPR.
4028
4029 2005-07-08  Kazu Hirata  <kazu@codesourcery.com>
4030
4031         PR tree-optimization/22360
4032         * tree.c (upper_bound_in_type): Fix calculations for casting
4033         to a non-wider signed type and casting a signed value to a
4034         wider unsigned type.
4035         (lower_bound_in_type): Fix calculations for casting to a
4036         non-wider signed type.
4037
4038         PR tree-optimization/20139
4039         * tree-cfg.c (remove_bb): Check in_ssa_p before calling
4040         release_de