OSDN Git Service

* tree-data-ref.c (compute_all_dependences): Use a pointer to
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>
2
3         * tree-data-ref.c (compute_all_dependences): Use a pointer to
4         the dependence_relations vector.
5         (compute_data_dependences_for_loop): Adjust call to
6         compute_all_dependences.
7
8 2006-04-01  Roger Sayle  <roger@eyesopen.com>
9             Richard Henderson  <rth@redhat.com>
10
11         * gimplify.c (gimplify_scan_omp_clauses) <OMP_CLAUSE_IF>: Call
12         gimple_boolify on the condition before calling gimplify_expr.
13
14 2006-03-31  Bob Wilson  <bob.wilson@acm.org>
15
16         * config/xtensa/lib1funcs.asm: Rename abi_entry/abi_return macros
17         to leaf_entry/leaf_return.  Change leaf_entry to add 16 bytes to
18         the frame size.  Update to use the new macros.
19         * config/xtensa/ieee754-sf.S: Use new leaf_entry/leaf_return macros.
20         * config/xtensa/ieee754-df.S: Likewise.
21
22 2006-03-31  Richard Henderson  <rth@redhat.com>
23
24         * tree-cfg.c (make_ctrl_stmt_edges, make_exit_edges): Merge into...
25         (make_edges): ... here.  Control fallthru creation with a local
26         variable.  Do not play with fake edges.
27         (make_omp_sections_edges): Don't set EDGE_ABNORMAL.
28         (make_goto_expr_edges): Don't play with fake edges.  Make for_call
29         a boolean.
30
31 2006-04-01  Joseph S. Myers  <joseph@codesourcery.com>
32
33         * dwarf2.h (DW64_CIE_ID): Define.
34         * dwarf2out.c (DWARF_CIE_ID): Define.
35         (output_call_frame_info): Output 0xffffffff before standard 8-byte
36         length header.  Use DWARF_CIE_ID.
37         (value_format): Use DW_FORM_data4 or DW_FORM_data8 for
38         dw_val_class_loc_list depending on DWARF_OFFSET_SIZE.
39
40 2006-03-31  Kaz Kojima  <kkojima@gcc.gnu.org>
41
42         * config/sh/linux-atomic.asm: New file.
43         * config/sh/t-linux (LIB2FUNCS_EXTRA): Add linux-atomic.asm.
44
45 2006-03-31  DJ Delorie  <dj@redhat.com>
46
47         * config/m32c/cond.md: Set condition flags properly throughout.
48         * config/m32c/minmax.md: Likewise.
49         * config/m32c/prologue.md: Likewise.
50         * config/m32c/bitops.md: Likewise.
51         * config/m32c/muldiv.md: Likewise.
52         * config/m32c/mov.md: Likewise.
53         * config/m32c/addsub.md: Likewise.
54         * config/m32c/m32c.md: Likewise.
55         * config/m32c/jump.md: Likewise.
56         * config/m32c/shift.md: Likewise.
57
58         * config/m32c/cond.md (cmp<mode>): Call m32c_output_compare to
59         conditionally output the pattern for this.
60         * config/m32c/m32c.c (flags_needed_for_conditional): New.
61         (m32c_compare_redundant): New.
62         (m32c_output_compare): New.
63         * config/m32c/m32c-protos.h (m32c_output_compare): New.
64
65         * config/m32c/m32c.c (m32c_prepare_shift): Fix logic to clobber
66         dest, not src.  Allow other 4-byte modes.
67
68 2006-03-30  Denis Chertykov  <denisc@overta.ru>
69
70         * doc/md.texi: Refer to avr/constraints.md instead of
71         avr/avr.h.
72
73 2006-03-30  Roger Sayle  <roger@eyesopen.com>
74
75         * expr.c (emit_group_store): Make BYTEPOS a HOST_WIDE_INT to
76         signed vs. unsigned comparison failures on some hosts.
77
78 2006-03-31  Alan Modra  <amodra@bigpond.net.au>
79
80         PR target/26459
81         * config/rs6000/rs6000.h (CANNOT_CHANGE_MODE_CLASS): Limit 2003-12-08
82         change to FLOAT_REGS.
83
84         * config/rs6000/rs6000.c (rs6000_explicit_options): Add ieee.
85         (rs6000_override_options): Use it.
86         (rs6000_handle_option): Set it.  Set rs6000_explicit_options.abi
87         only for -mabi=spe/no-spe and -mabi=altivec.
88
89 2006-03-30  Geoffrey Keating  <geoffk@apple.com>
90
91         * config/darwin.h (LINK_COMMAND_SPEC): Don't try to protect %S with
92         !Zdynamiclib.
93
94 2006-03-30  Carlos O'Donell  <carlos@codesourcery.com>
95
96         * Makefile.in: Rename docdir to gcc_docdir.
97
98 2006-03-30  Roger Sayle  <roger@eyesopen.com>
99
100         PR target/17959
101         * expr.c (emit_group_store):  Optimize group stores into a pseudo
102         register by using a paradoxical subreg to initialize the destination
103         if the first or last member of the group specifies a "low part".
104
105 2006-03-30  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
106
107         PR target/26734
108         * rtl.def (DEPS_LIST): Change type of the second operand to 'int'.
109         * target.h (struct gcc_target.speculate_insn): Change type of the
110         second parameter to 'int'.
111         * lists.c (alloc_DEPS_LIST): Change signature.  Update reference to
112         the second operand of the DEPS_LIST.
113         (copy_DEPS_LIST_list): Update reference to the second operand of the
114         DEPS_LIST.
115         * rtl.h (alloc_DEPS_LIST): Update signature.
116         * sched-int.h (ds_t): Change typedef to 'int'.
117         (DEP_STATUS, BITS_PER_DEP_STATUS): Update.
118
119 2006-03-30  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
120
121         * haifa-sched.c (try_ready): Change condition to restore
122         non-speculative pattern of the instruction.
123         (process_insn_depend_be_in_spec): Code to keep probability of the
124         speculative dependence non-decreasing.
125
126 2006-03-30  Jie Zhang  <jie.zhang@analog.com>
127
128         * config/bfin/bfin.c (single_move_for_strmov): Renamed to...
129         (single_move_for_movmem): ... this. Also change all uses.
130         (bfin_expand_strmov): Renamed to...
131         (bfin_expand_movmem): ... this. Also change all uses.
132         * config/bfin/bfin.md (movstrsi): Renamed to...
133         (movstrsi): ...this.
134
135 2006-03-30  Paolo Bonzini  <bonzini@gnu.org>
136
137         PR tree-optimization/26830
138
139         * tree-ssa-copy.c (copy_prop_visit_assignment): Do not check loop depth.
140         (copy_prop_visit_stmt): Remove write-only variable ann.
141         (init_copy_prop): Check variable loop depth here.  Do not simulate
142         memory-tag and virtual operand PHIs except for store copy prop.
143
144 2006-03-30  Richard Guenther  <rguenther@suse.de>
145
146         * config/i386/i386.c: Remove builtins for SSE2 ABI intrinsic
147         variants with double arguments.
148
149 2006-03-29  David Edelsohn  <edelsohn@gnu.org>
150
151         * genpreds.c (write_tm_constrs_h): Delete variable p.
152         * genconditions.c (write_header): Add tm-constrs.h to included
153         headers.
154         * genpeep.c (main): Add toplev.h to included headers.
155         * Makefile.in (build/gencondmd.o): Add tm-constrs.h dependency.
156         (build/genpeep.o): Add toplev.h dependency.
157         * config/rs6000/constraints.md: Add "W" constraint.
158
159 2006-03-29  Roger Sayle  <roger@eyesopen.com>
160
161         * stor-layout.c (mode_for_size_tree): Remove restiction on type
162         sizes by correctly testing whether the size fits a host integer.
163         (initialize_sizetypes): Use set_min_and_max_values_for_integral_type
164         to correctly set TYPE_MIN_VALUE and TYPE_MAX_VALUE to the full
165         SImode range for the default sizetype and bitsizetype.
166
167 2006-03-29  Roger Sayle  <roger@eyesopen.com>
168
169         * convert.c (convert_to_pointer): Preserve the TREE_OVERFLOW
170         and TREE_CONSTANT_OVERFLOW bits of the argument.  Return
171         quickly if the argument is already of the correct type.
172         Call fold_build1 instead of build1.  Tidy up blank lines.
173
174 2006-03-29  David Edelsohn  <edelsohn@gnu.org>
175
176         * genemit.c (main): Add tm-constrs.h to included headers.
177         * genoutput.c (output_prologue): Add tm-constrs.h to included headers.
178         * genpeep.c (main): Add tm-constrs.h to included headers.
179         * genpreds.c (write_satisfies_constraint_fns): Rename to ...
180         (write_tm_constrs_h): this and write complete file.
181         (write_tm_preds_h): Do not emit satisfies_constraint fns.
182         (write_insn_preds_c): Add tm-constrs.h to included headers.
183         (gen_constrs): New variable.
184         (parse_option): Parse "-c".
185         (main): Invoke write_tm_constrs_h.
186         * genrecog.c (write_header): Add tm-constrs.h to included headers.
187         * Makefile.in (STAGECOPYSTUFF): Add tm-constrs.h.
188         (object_out_file): Add tm-constrs.h dependency.
189         (insn-emit.o): Same.
190         (insn-output.o): Same.
191         (insn-peep.o): Same.
192         (insn-preds.o): Same.
193         (insn-recog.o): Same.
194         (tm-constsr.h): New target.
195         (s-constrs-h): New target.
196
197         * config/rs6000/constraints.md: New file.
198         * config/rs6000/rs6000.c: Include tm-constrs.h.
199         (num_insn_constant_wide): Convert to satisfies_constraint.
200         (rs6000_rtx_costs): Convert to satisfies_constraint.
201         * config/rs6000/rs6000.h (REG_CLASS_FROM_LETTER): Delete.
202         (CONST_OK_FOR_LETTER_P): Delete.
203         (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
204         (EXTRA_CONSTRAINT): Delete.
205         (EXTRA_MEMORY_CONSTRAINT): Delete.
206         (EXTRA_ADDRESS_CONSTRAINT): Delete.
207         * config/rs6000/predicates.md: Convert to satisfies_constraint.
208         * config/rs6000/rs6000.md: Include constraints.md.  Convert to
209         satisfies_constraint.
210
211         * config/i386/i386.c: Include tm-constrs.h.
212
213 2006-03-29  Sebastian Pop  <pop@cri.ensmp.fr>
214
215         * tree-loop-linear.c (compute_data_dependences_for_loop): Adjust calls.
216         * tree-data-ref.c (find_data_references_in_loop,
217         compute_data_dependences_for_loop): Use pointers to VEC.
218         (analyze_all_data_dependences): Adjust calls.
219         * tree-data-ref.h (find_data_references_in_loop,
220         compute_data_dependences_for_loop): Adjust declarations.
221         * tree-vect-analyze.c (vect_analyze_data_refs): Adjust call to
222         compute_data_dependences_for_loop.
223
224 2006-03-29  Paul Brook  <paul@codesourcery.com>
225
226         * config/arm/vfp.md (movsf_vfp): Disparage w<->r alternatives.
227         (movdf_vfp): Ditto.
228
229 2006-03-29  Sebastian Pop  <pop@cri.ensmp.fr>
230
231         PR tree-optimization/26859
232         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Avoid
233         division by zero.
234         (convert_step): Remove TREE_OVERFLOW and TREE_CONSTANT_OVERFLOW flags
235         for the step after fold_convert.
236
237 2006-03-29  Paul Brook  <paul@codesourcery.com>
238
239         * reload1.c (choose_reload_regs): Check for all RTX_AUTOINC operators.
240         (inc_for_reload): Handle PRE_MODIFY and POST_MODIFY addresses.
241
242 2006-03-29  Paul Brook  <paul@codesourcery.com>
243
244         PR middle-end/23623
245         * targhooks.c (default_narrow_bitfield): New fuction.
246         * targhooks.h (default_narrow_bitfield): add prototype.
247         * target.h (gcc_target): Add narrow_volatile_bitfield.
248         * target-def.h (TARGET_NARROW_VOLATILE_BITFIELD): Define.
249         * stor-layout.c (get_best_mode): Use targetm.narrow_volatile_bitfield.
250         * doc/tm.texi: Document TARGET_NARROW_VOLATILE_BITFIELDS.
251         * config/arm/arm.c (TARGET_NARROW_VOLATILE_BITFIELD): Define.
252
253 2006-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
254
255         * config.gcc (s390-*-linux-*, s390x-*-linux*): Add t-dfprules to 
256         tmake_file.
257         * config/s390/s390.c (S390_scalar_mode_supported_p): New function.
258         (NR_C_MODES): Add TDmode, DDmode and SDmode.
259         (s390_output_pool_entry, ): Accept MODE_DECIMAL_FLOAT.
260         (s390_hard_regno_mode_ok): Disallow TDmode in integer regs.
261         (s390_function_arg_float): Allow SDmode and DDmode values to be
262         passed in floating point registers.
263         (s390_function_arg_integer, s390_function_value): Replace MODE_FLOAT 
264         check with SCALAR_FLOAT_MODE_P.
265         (TARGET_SCALAR_MODE_SUPPORTED_P): Define target macro.
266
267 2006-03-28  Zdenek Dvorak <dvorakz@suse.cz>
268
269         PR tree-optimization/25985
270         * tree-ssa-loop-niter.c (number_of_iterations_le,
271         number_of_iterations_ne): Make comments more precise.
272         (number_of_iterations_cond): Add only_exit argument.  Use the
273         fact that signed variables do not overflow only when only_exit
274         is true.
275         (loop_only_exit_p): New.
276         (number_of_iterations_exit): Pass result of loop_only_exit_p to
277         number_of_iterations_cond.
278
279 2006-03-28  Zdenek Dvorak <dvorakz@suse.cz>
280
281         PR tree-optimization/26643
282         * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Do not handle
283         bit_field_refs.
284
285 2006-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
286
287         * config/sh/sh.md (udivsi3_i4_int): Clobber MACH_REG and MACL_REG.
288         (divsi3_i4_int): Likewise.
289
290 2006-03-28  Roger Sayle   <roger@eyesopen.com>
291
292         * expr.c (emit_group_store): Only create a new pseudo reg if the
293         quantity it needs to hold isn't already a suitable pseudo.
294
295 2006-03-28  Jeff Law  <law@redhat.com>
296
297         * timevar.def (TV_TREE_PHI_CPROP): New timevar.
298         * tree-ssa-dom.c (pass_phi_only_cprop): Use it.
299
300 2006-03-28  Roger Sayle  <roger@eyesopen.com>
301
302         * fold-const.c (fold_binary) <BIT_XOR_EXPR>: Fold (X & Y) ^ Y as
303         the equivalent ~X & Y, and the symmetry related transformations.
304         (fold_binary) <BIT_AND_EXPR>: Similarly, fold (X ^ Y) & Y as 
305         ~X & Y, and symmetry related transforms.
306
307 2006-03-28  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
308
309         Revert my 2006-03-27 patches.
310
311 2006-03-28  Roger Sayle  <roger@eyesopen.com>
312
313         * fold-const.c (fold_unary) <NOP_EXPR>: Fold (T1)(~(T2)X) as
314         ~(T1)X, when T1 and T2 are integer types of the same precision
315         and (T2)X isn't an extension.
316
317 2006-03-28  Jeff Law  <law@redhat.com>
318
319         PR tree-optimization/26796
320         * tree-ssa-dom.c (propagate_rhs_into_lhs): Queue blocks which
321         need EH edge cleanups rather than purging them immediately.
322         (eliminate_degenerate_phis): Handle queued EH cleanups.
323
324 2006-03-28  Daniel Berlin  <dberlin@dberlin.org>
325
326         * tree-ssa-alias.c (create_sft): Initially inherit TREE_ADDRESSABLE
327         from parent_var.
328
329 2006-03-27  Roger Sayle  <roger@eyesopen.com>
330
331         PR middle-end/22524
332         * fold-const.c (fold_binary) <MINUS_EXPR>: Call fold_convert to
333         cast BIT_NOT_EXPR operand to the correct type.
334
335 2006-03-27  Sebastian Pop  <pop@cri.ensmp.fr>
336
337         * tree-loop-linear.c: Don't include varray.h.
338         (gather_interchange_stats, try_interchange_loops,
339         linear_transform_loops): Use VEC instead of VARRAY.
340         * lambda-mat.c: Don't include varray.h.
341         * tree-chrec.c: Same.
342         * lambda-trans.c: Same.
343         * tree-vectorizer.c (new_loop_vec_info, destroy_loop_vec_info): Use
344         VEC instead of VARRAY.
345         * tree-vectorizer.h: Idem.
346         * tree-data-ref.c (dump_data_references,
347         dump_data_dependence_relations, dump_dist_dir_vectors, dump_ddrs,
348         initialize_data_dependence_relation, finalize_ddr_dependent,
349         compute_all_dependences, find_data_references_in_loop,
350         compute_data_dependences_for_loop, analyze_all_data_dependences,
351         free_dependence_relation, free_dependence_relations,
352         free_data_refs): Idem.
353         * tree-data-ref.h (data_reference_p, subscript_p): New.
354         (data_dependence_relation, DDR_SUBSCRIPT, DDR_NUM_SUBSCRIPTS): Use
355         VEC instead of VARRAY.
356         (DDR_SUBSCRIPTS_VECTOR_INIT): Removed.
357         (find_data_references_in_loop, compute_data_dependences_for_loop,
358         dump_ddrs, dump_dist_dir_vectors, dump_data_references,
359         dump_data_dependence_relations, free_dependence_relations,
360         free_data_refs): Adjust declaration.
361         (lambda_transform_legal_p): Move declaration here...
362         * tree-vect-analyze.c (vect_analyze_data_ref_dependences,
363         vect_compute_data_refs_alignment, vect_verify_datarefs_alignment,
364         vect_enhance_data_refs_alignment, vect_analyze_data_ref_accesses,
365         vect_analyze_data_refs): Use VEC instead of VARRAY.
366         * lambda.h (lambda_transform_legal_p): ...from here.
367         * lambda-code.c (lambda_transform_legal_p): Use VEC instead of VARRAY.
368         * tree-vect-transform.c (vect_update_inits_of_drs): Idem.
369         * Makefile.in (tree-loop-linear.o, lambda-mat.o, lambda-trans.o,
370         tree-chrec.o): Don't depend on VARRAY_H.
371
372 2006-03-27  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
373
374         * rtl.def (Copyright): Update date.
375         (DEPS_LIST): Change type of the second operand to 'int'.
376         * target.h (Copyright): Update date.
377         (struct gcc_target.speculate_insn): Change type of the second parameter
378         to 'int'.
379         * lists.c (Copyright): Update date.
380         (alloc_DEPS_LIST): Change signature.  Update reference to the second
381         operand of the DEPS_LIST.
382         (copy_DEPS_LIST_list): Update reference to the second operand of the
383         DEPS_LIST.
384         * rtl.h (Copyright): Update date.
385         (alloc_DEPS_LIST): Update signature.
386         * sched-int.h (Copyright): Update date.
387         (ds_t): Change typedef to 'int'.
388         (DEP_STATUS, BITS_PER_DEP_STATUS): Update.
389
390 2006-03-27  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
391
392         * haifa-sched.c (Copyright): Update date.
393         (try_ready): Change condition to restore non-speculative pattern
394         of the instruction.
395         (process_insn_depend_be_in_spec): Code to keep probability of the
396         speculative dependence non-decreasing.
397
398 2006-03-27  Bernd Schmidt  <bernd.schmidt@analog.com>
399
400         * regrename.c (replace_oldest_value_addr): Initialize a variable to
401         shut up the compiler.
402
403 2006-03-27  J"orn Rennecke <joern.rennecke@st.com>
404
405         * config/sh/t-sh ($(T)libic_invalidate_array_4-100.a): Fix rule
406         to use lib prefix for target.
407         ($(T)libic_invalidate_array_4-200.a): Likewise.
408         ($(T)libic_invalidate_array_4a.a): Likewise.
409
410 2006-03-27  Andrew Stubbs <andrew.stubbs@st.com>
411             J"orn Rennecke <joern.rennecke@st.com>
412
413         * superh.opt: New file.
414         * sh.c (boardtype, osruntime): Remove.
415         * superh.h (SUBTARGET_OPTIONS): Remove.
416         * config.gcc (sh*-superh-elf): Add sh/superh.opt to extra_options.
417
418         * config.gcc (sh*-*-*): Don't use c-c ranges for tr.  Quote sed
419         arguments with ^ and/or [].
420
421         * config.gcc (sh-*-*): Add quoting to account for quirk of
422         Solaris /bin/sh.
423         Replace == with = in enable_incomplete_targets test.
424
425         * config/sh/superh.h (SUBTARGET_LINK_SPEC): Replace LITTLE_ENDIAN_BIT
426         with MASK_LITTLE_ENDIAN.
427
428         * config.gcc (sh*-superh-elf): Add sh/superh.h to tm_file.
429         * config/sh/sh.opt: Added to some comments.
430         * config/sh/superh.h: Removed some chaff.
431
432         * config/sh/sh.opt: Add m4-[1234]00* options.
433         * config/sh/sh.c (sh_handle_option): Likewise.
434         * config/sh/t-sh (IC_EXTRA_PARTS, EXTRA_MULTILIB_PARTS): Define.
435         (ic_invalidate_array_4-100.o): New rule.
436         ($(T)libic_invalidate_array_4-100.a): Likewise.
437         (ic_invalidate_array_4-200.o): Likewise.
438         ($(T)libic_invalidate_array_4-200.a): Likewise.
439         (ic_invalidate_array_4a.o): Likewise.
440         ($(T)libic_invalidate_array_4a.a): Likewise.
441         * config/sh/t-elf (EXTRA_MULTILIB_PARTS): Add IC_EXTRA_PARTS.
442         * config/sh/embed-elf.h (LIBGCC_SPEC): Add clauses for m4-100*,
443         m4-200*, and m4a*.
444         * config/sh/crt1.asm: Merged in profiling code.
445         * config/sh/superh.h (STARTFILE_SPEC): Override.
446         * config/sh/t-superh: Override EXTRA_MULTILIB_PARTS.
447         Add rules for $(T)crt1-mmu.o, $(T)gcrt1-mmu.o and $(T)gcrt1.o.
448         * config.gcc (sh*-superh-elf): Add t-superh to tmake_file.
449
450         * t-sh (MULTILIB_MATCHES): Add sh4-[1245]00* variants.
451         * config/sh/t-superh: Removed now-redundant MULTILIB_OPTIONS /
452         MULTILIB_DIRNAMES / MULTILIB_MATCHES settings.
453
454         * sh.opt (mpretend-cmove): New option.
455         * sh.h (OPERRIDE_OPTIONS): Switch it off if not TARGET_SH1.
456         * sh.md (movsicc_t_false, movsicc_t_tru): New patterns.
457         (movsicc): Add TARGET_PRETEND_CMOVE code.
458
459 2006-03-27  Andreas Krebbel  <krebbel1@de.ibm.com>
460
461         * config/s390/s390-protos.h (s390_hard_regno_mode_ok, 
462         s390_class_max_nregs): New function prototypes.
463         * config/s390/s390.c (REGNO_PAIR_OK): New macro.
464         (s390_hard_regno_mode_ok, s390_class_max_nregs): New functions.
465         * config/s390/s390.h (HARD_REGNO_NREGS, HARD_REGNO_MODE_OK,
466         CLASS_MAX_NREGS): Macro bodies replaced by function calls.
467
468 2006-03-26  Geoffrey Keating  <geoffk@apple.com>
469
470         * dwarf2out.c (add_location_or_const_value_attribute): Call
471         tree_add_const_value_attribute if nothing else works.
472         (reference_to_unused): New.
473         (rtl_for_decl_init): Use reference_to_unused to decide whether
474         to output an initializer.
475
476 2006-03-27  Alan Modra  <amodra@bigpond.net.au>
477
478         PR target/26459
479         * config/rs6000/rs6000.md (DF reg move peephole): Prevent
480         peephole removing spe frob_di_df_2.
481
482 2006-03-26  Sebastian Pop  <pop@cri.ensmp.fr>
483
484         * tree-data-ref.c: Rename DDR_SIZE_VECT to DDR_NB_LOOPS.
485         (subscript_dependence_tester_1): Declared.
486         (print_dir_vectors, print_dist_vectors): New.
487         (debug_data_dependence_relation): New.
488         (dump_data_dependence_relation): Print more details.
489         (initialize_data_dependence_relation): Initialize DDR_LOOP_NEST.
490         (analyze_subscript_affine_affine): Don't ICE when gcd_alpha_beta is 0.
491         (save_dist_v, save_dir_v, add_outer_distances,
492         build_classic_dist_vector_1): New.
493         (build_classic_dist_vector): Rewrite to work on DDR_LOOP_NEST.
494         Don't test for lambda_vector_lexico_pos.
495         (same_access_functions, add_multivariate_self_dist,
496         add_other_self_distances, dir_from_dist): New.
497         (build_classic_dir_vector): Replace implementation almost identical to 
498         build_classic_dist_vector with a walk of DDR_DIST_VECTS with a call to
499         dir_from_dist.
500         (subscript_dependence_tester_1): New.
501         (subscript_dependence_tester): Handle the lexicographically negative
502         distance vectors by recomputing the dependence relation.
503         (compute_affine_dependence): Remove parameter loop_nest_depth.
504         (compute_self_dependence): Don't call compute_subscript_distance.
505         (compute_all_dependences): Remove parameters nb_loops, loop_nest_depth.
506         Add a parameter for the loop_nest.
507         (find_loop_nest_1, find_loop_nest): New.
508         (compute_data_dependences_for_loop): Compute the loop nest, and give
509         up if the nest is not well formed.
510         * tree-data-ref.h (loop_p): New.
511         (struct data_dependence_relation): Replace size_vect field with 
512         loop_nest, a vec of loops.
513         (DDR_SIZE_VECT): Renamed DDR_NB_LOOPS.
514         (DDR_LOOP_NEST): New.
515         (print_dir_vectors, print_dist_vectors,
516         debug_data_dependence_relation): Declared.
517         (index_in_loop_nest): New.
518         * tree-vect-analyze.c (vect_analyze_data_ref_dependence): Use
519         DDR_LOOP_NEST and index_in_loop_nest to determine the dependence
520         distance.
521
522 2006-03-25  Adam Nemet  <anemet@caviumnetworks.com>
523
524         * simplify-rtx.c (simplify_relational_operation): Call
525         simplify_relational_operation_1 even if mode is VOIDmode.
526
527 2006-03-25  Daniel Berlin  <dberlin@dberlin.org>
528
529         PR tree-optimization/26804
530         * tree.h (DECL_CALL_CLOBBERED): New macro.
531         (tree_decl_common): Add call_clobbered_flag.
532         * tree-flow-inline.h (is_call_clobbered): Use DECL_CALL_CLOBBERED.
533         (mark_call_clobbered): Set DECL_CALL_CLOBBERED.
534         (clear_call_clobbered): Clear DECL_CALL_CLOBBERED.
535         (mark_non_addressable): Ditto.
536         * tree-ssa.c (verify_call_clobbered): New function.
537         (verify_alias_info): Use it.
538         * tree-pass.h (pass_reset_cc_flags): New prototype.
539         * tree-ssa-alias.c (pass_reset_cc_flags): New structure.
540         (reset_cc_flags): New function.
541         * passes.c (init_optimization_passes): Call reset_cc_flags after
542         initializing referenced_vars.
543
544 2006-03-25  Uros Bizjak  <uros@kss-loka.si>
545             Roger Sayle  <roger@eyesopen.com>
546
547         PR middle-end/26717
548         * fold-const.c (fold_binary) [RDIV_EXPR]: Do not optimize A / A
549         to 1.0 for non-real operands. Implement A / A optimization for
550         complex operands.
551
552 2006-03-25  H.J. Lu  <hongjiu.lu@intel.com>
553
554         * config/i386/i386.c (size_cost): Correct the comment for
555         cost of storing fp registers.
556         (i386_cost): Likewise.
557         (i486_cost): Likewise.
558         (pentium_cost): Likewise.
559         (pentiumpro_cost): Likewise.
560         (k6_cost): Likewise.
561         (athlon_cost): Likewise.
562         (k8_cost): Likewise.
563         (pentium4_cost): Likewise.
564         (nocona_cost): Likewise.
565         (generic64_cost): Likewise.
566         (generic32_cost): Likewise.
567
568 2006-03-24  Denis Chertykov  <denisc@overta.ru>
569
570         * config/avr/avr-protos.h (extra_constraint): Delete.
571         (extra_constraint_Q): New declaration.
572         * config/avr/constraints.md: New file.
573         * config/avr/avr.md: Include it.
574         (REG_X, REG_Y, REG_Z, REG_W): New constants.
575         (TMP_REGNO, ZERO_REGNO): Likewise.
576         (UNSPEC_STRLEN, UNSPEC_INDEX_JMP): Likewise.
577         * config/avr/avr.c (avr_reg_class_from_letter): Delete.
578         (extra_constraint): Delete.
579         (extra_constraint_Q): Test for memory constraint 'Q'.
580         * config/avr/avr.h (REG_X,REG_Y,REG_Z,REG_W): Delete.
581         (REG_CLASS_FROM_LETTER): Delete.
582         (CONST_OK_FOR_LETTER_P): Delete.
583         (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
584         (EXTRA_CONSTRAINT): Delete.
585         (TMP_REGNO): Delete.
586         (ZERO_REGNO): Delete.
587
588 2006-03-24  Jeff Law  <law@redhat.com>
589
590         * tree-ssa-dom.c (propagate_rhs_into_lhs): Don't call update_stmt
591         directly.  Call mark_new_vars_to_rename slightly earlier.
592
593 2006-03-24  Geoffrey Keating  <geoffk@apple.com>
594
595         * dwarf2out.c (is_c_family): Understand new DWARF3 language types.
596         (is_cxx): Likewise.
597         (gen_compile_unit_die): Use new language types for Objective-C and
598         Objective-C++.
599         (dwarf2out_decl): Use is_cxx rather than testing explicitly against
600         DW_LANG_C_plus_plus.
601
602         PR 26793
603         * config/t-darwin (crt3.o): Work around bug 26840.
604         * config/darwin-crt3.c: Rewrite.
605         * config/darwin.h (STARTFILE_SPEC): Don't use -l for crt3.o.
606
607 2006-03-24  Carlos O'Donell  <carlos@codesourcery.com>
608
609         * doc/invoke.texi: Document -femit-class-debug-always
610         * common.opt: Add -femit-class-debug-always.
611
612 2006-03-24  Andreas Krebbel  <krebbel1@de.ibm.com>
613
614         * config/s390/s390.c (s390_decompose_address): Allow SImode for
615         index and base register.
616         (s390_expand_plug_operand, legitimate_address_p, preferred_la_operand_p,
617         print_operand_address, print_operand): Replaced REG_OK_FOR_BASE_STRICT_P
618         with REGNO_OK_FOR_BASE_P and REG_OK_FOR_INDEX_STRICT_P with
619         REGNO_OK_FOR_INDEX_P.
620         * config/s390/s390.h (REGNO_OK_FOR_INDEX_P): Replaced check with
621         ADDR_REGNO_P.
622         (REG_OK_FOR_INDEX_NONSTRICT_P, REG_OK_FOR_BASE_NONSTRICT_P,
623         REG_OK_FOR_INDEX_STRICT_P, REG_OK_FOR_BASE_STRICT_P, REG_OK_FOR_INDEX_P,
624         REG_OK_FOR_BASE_P): Definitions removed.
625
626 2006-03-24  Jakub Jelinek  <jakub@redhat.com>
627
628         PR middle-end/26611
629         * gimplify.c (gimplify_bind_expr): Only call omp_add_variable on
630         non-global variables that don't have DECL_SEEN_IN_BIND_EXPR_P bit
631         set yet or weren't marked as local yet.
632
633 2006-03-24  Bernd Schmidt  <bernd.schmidt@analog.com>
634
635         * regrename.c (scan_rtx_address): Initialize a variable to shut up
636         the compiler.
637
638 2006-03-24  Eric Botcazou  <ebotcazou@adacore.com>
639
640         * config/rs6000/rs6000-protos.h (rs6000_offsettable_memref_p): Declare.
641         (rs6000_legitimate_small_data_p): Delete.
642         * config/rs6000/rs6000.c (rs6000_offsettable_memref_p): New predicate.
643         (rs6000_legitimate_small_data_p): Rename to legitimate_small_data_p
644         and make static.  Add forward declaration.  Update uses.
645         (rs6000_split_multireg_move): Use rs6000_offsettable_memref_p instead
646         of offsettable_memref_p.
647         * config/rs6000/rs6000.md (movdf_hardfloat32): Revert 2005-08-23 fix.
648         Use rs6000_offsettable_memref_p instead of a less accurate predicate.
649
650 2006-03-24  Jeff Law  <law@redhat.com>
651
652         * tree-ssa-dom.c (propagate_rhs_into_lhs): Temporarily work
653         around bug in immediate-use iterator.
654
655 2006-03-24  Alan Modra  <amodra@bigpond.net.au>
656
657         PR target/26607
658         * config/rs6000/darwin-ldouble.c: Don't compile when __NO_FPRS__
659         or __LITTLE_ENDIAN__.
660
661 2006-03-23  J"orn Rennecke <joern.rennecke@st.com>
662
663         * config/sh/divtab-sh4.c, config/sh/divcost-analysis: New files.
664         * config/sh/lib1funcs.asm (div_table): Add !__SH5__ variant.
665         * config/sh/t-sh (LIB1ASMFUNCS): Add _div_table.
666         * config/sh/sh.opt (mdiv=): Amend description.
667         * config/sh/sh.h (TARGET_DIVIDE_CALL_DIV1): New macro.
668         (TARGET_DIVIDE_CALL_FP, TARGET_DIVIDE_CALL_TABLE): Likewise.
669         (sh_divide_strategy_e): Add new members SH_DIV_CALL_DIV1,
670         SH_DIV_CALL_FP, SH_DIV_CALL_TABLE and SH_DIV_INTRINSIC.
671         (OVERRIDE_OPTIONS): Also process sh_div_str for TARGET_SH1.
672         Calculate sh_divsi3_libfunc using TARGET_DIVIDE_* macros.
673         * config/sh/sh.md (udivsi3_i4_int, divsi3_i4_int): New patterns.
674         (udivsi3, divsi3): Use them.  Check TARGET_DIVIDE_CALL_TABLE /
675         TARGET_DIVIDE_CALL_FP.
676
677 2006-03-23  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
678
679         * haifa-sched.c (choose_ready): Fix type of the local variable.
680         Move local variables.  Add comment.
681         (check_reg_live): Change signature.  Make callable from debugger.
682         * sched-int.h (check_reg_live): Update signature.
683         * sched-ebb.c (check_reg_live): Update parameters.
684         * sched-rgn.c (check_reg_live): Ditto.
685         (region_head_or_leaf_p): Check pointer before dereferencing.
686         * config/ia64/ia64.c (ia64_set_sched_flags): Disable data speculation
687         before reload on optimization levels below 1.
688
689 2006-03-23  Richard Henderson  <rth@redhat.com>
690
691         * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject
692         tls symbols.
693
694         PR target/26347
695         * config/alpha/predicates.md (local_symbolic_operand): Reject
696         weak symbols.
697
698 2006-03-23  Andrew Pinski  <pinskia@physics.uc.edu>
699
700         PR tree-opt/26795
701         * tree-ssa-pre.c (create_value_expr_from): Don't reject
702         expressions which have overflowed constants.
703
704 2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>
705
706         * cse.c (cse_end_of_basic_block): Do not check for LOOP_END note.
707
708 2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>
709
710         * cfgloopmanip.c (create_loop_notes): Removed.
711         * final.c (final_scan_insn): Do not handle loop notes.
712         * jump.c (squeeze_notes): Ditto.
713         * cfglayout.c (skip_insns_after_block,
714         duplicate_insn_chain): Ditto.
715         * cfgcleanup.c (rest_of_handle_jump2): Do not call
716         create_loop_notes.
717         * cfgloop.h (create_loop_notes): Declaration removed.
718
719 2006-03-23  Richard Sandiford  <richard@codesourcery.com>
720
721         * varasm.c (output_constant_pool): Restore fnname and fndecl
722         arguments.
723         (assemble_start_function): Adjust call accordingly.
724         (assemble_end_function): Likewise.
725
726 2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
727
728         PR mudflap/26790
729         * tree-mudflap.c (mudflap_finish_file): Skip erroneous objects.
730
731         PR mudflap/26789
732         * tree-mudflap.c (mf_xform_derefs_1): Return early on error_mark_node.
733
734 2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
735
736         PR driver/22600
737         * system.h (ICE_EXIT_CODE): New macro.
738         * diagnostic.c (diagnostic_count_diagnostic): Exit with ICE_EXIT_CODE.
739         (diagnostic_action_after_output): Likewise.
740         * gcc.c (fatal_ice): New function.
741         (execute): Use it instead of fatal.
742         (fancy_abort): Likewise.
743         * doc/invoke.texi (-pass-exit-codes): Document return code for ICEs.
744
745 2006-03-22  Jeff Law  <law@redhat.com>
746
747         * loop-unroll.c (analyze_iv_to_split_insn): Handle
748         iv_analyze_result returning false.
749
750 2006-03-22  Jie Zhang  <jie.zhang@analog.com>
751
752         * config/bfin/bfin.h (ASM_FORMAT_PRIVATE_NAME): Remove.
753
754 2006-03-22  Richard Henderson  <rth@redhat.com>
755
756         PR middle-end/26084
757         * except.c (duplicate_eh_regions_0): New.
758         (duplicate_eh_region_1): Duplicate the children of the node as
759         well as the node itself.  Link them up properly.
760         (duplicate_eh_region_2): Merge into ...
761         (duplicate_eh_regions): ... here.  Take copy_region argument, and
762         copy only a sub-tree if asked.  Simplify copying and fixup.
763         (eh_region_outer_p): New.
764         * except.h (duplicate_eh_regions): Update decl.
765         (eh_region_outer_p): Declare.
766         * omp-low.c (lower_omp_single): Fix eh region placement wrt OMP_RETURN.
767         (lower_omp_master): Likewise.
768         (lower_omp_ordered): Likewise.
769         * tree-cfg.c (struct move_stmt_d): Add new_label_map.
770         (move_stmt_r): Use it to remap labels.  Handle recursion vs
771         remap_decls_p properly.
772         (move_block_to_fn): Pass in new_label_map.  Remap RESX_EXPR.
773         (find_outermost_region_in_block): New.
774         (new_label_mapper): New.
775         (move_sese_region_to_fn): Copy eh information to the new function
776         properly.
777         * tree-inline.c (copy_cfg_body): Update for new duplicate_eh_regions
778         argument.
779         * tree-pretty-print.c (dump_generic_node): Dump RESX_EXPR region
780         number.
781
782 2006-03-22  Richard Sandiford  <richard@codesourcery.com>
783
784         * doc/md.texi (-mshared): Mention that -mshared code can be linked
785         into shared libraries.
786
787 2006-03-22  Richard Sandiford  <richard@codesourcery.com>
788
789         * doc/md.texi: Refer to i386/constraints.md instead of
790         i386/predicates.md.
791         * config/i386/constraints.md: New file, extracted from...
792         * config/i386/predicates.md: ...here.
793         * config/i386/i386.md: Include constraints.md.
794
795 2006-03-21  Jason Merrill  <jason@redhat.com>
796
797         * builtins.c (expand_builtin_fork_or_exec): Fix pasto.
798
799         PR middle-end/20297
800         * expr.c (init_block_move_fn): Force default visibility.
801         (init_block_clear_fn): Likewise.
802         * builtins.c (expand_builtin_fork_or_exec): Likewise.
803         * targhooks.c (default_external_stack_protect_fail): Likewise.
804
805 2006-03-21  Richard Sandiford  <richard@codesourcery.com>
806
807         * config/mips/predicates.md (const_call_insn_operand): Allow direct
808         calls to locally-defined functions if TARGET_ABSOLUTE_ABICALLS.
809         * config/mips/mips.md (jal_macro): Test TARGET_ABSOLUTE_ABICALLS.
810         Use TARGET_OLDABI instead of !TARGET_NEWABI.
811         (loadgp): Use mips_current_loadgp_style.
812         (loadgp_noshared): New pattern.
813         (sibcall_internal): Use MIPS_CALL.
814         (sibcall_value_internal): Likewise.
815         (sibcall_value_multiple_internal): Likewise.
816         (call_internal): Likewise.
817         (call_value_internal): Likewise.
818         (call_value_multiple_internal): Likewise.
819         (call_split): Use MIPS_CALL and add an 'S' constraint.
820         (call_value_split): Likewise.
821         (call_value_multiple_split): Likewise.
822         * config/mips/mips.opt (-mabicalls): Tweak docstring.
823         (-mshared): New option.
824         * config/mips/mips-protos.h (mips_loadgp_style): New enum.
825         (mips_current_loadgp_style): Declare.
826         * config/mips/mips.c (mips_classify_symbol): Avoid using
827         SYMBOL_GOT_LOCAL if TARGET_ABSOLUTE_ABICALLS.  Use SYMBOL_GENERAL
828         rather than SYMBOL_GOT_GLOBAL for locally-binding symbols if
829         TARGET_ABSOLUTE_ABICALLS.
830         (override_options): Adjust comments.  Improve the warning that is
831         issued when -mabicalls and -G are used together.
832         (mips_file_start): Remove comment.
833         (mips_current_loadgp_style): New function.
834         (mips_gnu_local_gp): New variable.
835         (mips_emit_loadgp): Use mips_current_loadgp_style.  Handle
836         LOADGP_ABSOLUTE.
837         (mips_output_function_prologue): Use mips_current_laodgp_style.
838         (mips_expand_prologue): Call mips_emit_loadgp before emitting
839         the cprestore instruction.
840         (mips_extra_live_on_entry): Fix reversed test.  Don't make $25
841         live for TARGET_ABSOLUTE_ABICALLS.
842         * config/mips/mips.h (TARGET_ABSOLUTE_ABICALLS): New macro.
843         (ASM_SPEC): Pass down -mshared and -mno-shared.
844         (MIPS_CALL): New macro.
845         * config/mips/netbsd.h (TARGET_OS_CPP_BUILTINS): Remove __ABICALLS__
846         definition.
847         * doc/invoke.texi (-mabicalls): Update documentation.
848         (-mshared): Document.
849
850 2006-03-21  Steve Ellcey  <sje@cup.hp.com>
851
852         * config/ia64/unwind-hpux.c: New file.
853         * config/ia64/t-hpux: Add unwind-hpux.c to libgcc.
854
855 2006-03-21  Steve Ellcey  <sje@cup.hp.com>
856
857         PR libgomp/26384
858         * config/pa/pa64-hpux.h (LIB_SPEC): Fix for -mt and -pthread options.
859
860 2006-03-21  Jeff Law  <law@redhat.com>
861
862         * tree-vrp.c (extract_range_from_unary_expr): Derive ranges for
863         type conversions of a VR_VARYING source to a wider type.
864
865 2006-03-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
866
867         * config.gcc (i[34567]86-*-solaris2*): Add config/sol2-10.h to
868         tm_file on Solaris 10 and later.
869         (sparc64-*-solaris2*): Likewise.
870         (sparc-*-solaris2*): Likewise.
871         * config/sol26.h: Rename to config/sol2-6.h.
872         * config/sol2-10.h: New file.
873
874 2006-03-21  Andrew Pinski  <pinskia@physics.uc.edu>
875
876         PR tree-opt/26781
877         * tree-ssa-pre.c (create_component_ref_by_pieces):
878         Handle STRING_CST.
879
880 2006-03-21  Jakub Jelinek  <jakub@redhat.com>
881
882         PR c++/26690
883         * tree.c (get_callee_fndecl): If CALL is error_mark_node,
884         return it immediately.
885
886 2006-03-21  Michael Matz  <matz@suse.de>
887
888         * genautomata.c (<struct state>, num_out_arcs, presence_signature):
889         New members.
890         (remove_arc, add_arc): Update num_out_arcs member.
891         (set_out_arc_insns_equiv_num): Returns nothing instead of number
892         of out arcs.
893         (cache_presence): New function.
894         (compare_states_for_equiv): New function.
895         (state_is_differed): Don't take number of outargs, adjust callers.
896         Use new invariant for speeding up.
897         (init_equiv_class): Create initial classes based on sorted
898         input.
899         (partition_equiv_class): Don't track out_arcs_num.
900         (evaluate_equiv_classes): Call cache_presence on all states and
901         sort them.
902
903 2006-03-21  Bernd Schmidt  <bernd.schmidt@analog.com>
904
905         * config/bfin/bfin-protos.h (bfin_dsp_memref_p): Declare.
906         * config/bfin/bfin.c (bfin_dsp_memref_p): New function.
907         (bfin_valid_reg_p): Test for pseudos explicitly and use only
908         REGNO_MODE_CODE_OK_FOR_BASE_P.  New args MODE and OUTER_CODE; all
909         callers changed.
910         * config/bfin/bfin.h (PREG_P): Use P_REGNO_P.
911         (IREG_P, P_REGNO_P, I_REGNO_P): New macros.
912         (enum reg_class, REG_CLASS_CONTENTS): Add IPREGS.
913         (BASE_REG_CLASS, REG_OK_FOR_BASE_P, REG_OK_FOR_INDEX_P,
914         REGNO_OK_FOR_BASE_STRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P): Delete
915         macros.
916         (IREG_POSSIBLE_P, MODE_CODE_BASE_REG_CLASS,
917         REGNO_MODE_CODE_OK_FOR_BASE_P): New macros.
918         (REGNO_REG_CLASS): ARGP is in PREGS.
919         * config/bfin/bfin.md (movhi_insn): Allow for addresses containing
920         IREGS.
921         (zero_extendhisi2, extendhisi2): Likewise; changed to define_and_split
922         to deal with those addresses.
923         * addresses.h: New file.
924         * caller-save.c: Include "addresses.h".
925         (init_caller_save): Use new base_reg_class function.
926         * rtl-factoring.c: Include "addresses.h".
927         (recompute_gain_for_pattern_seq): Use new function ok_for_base_p_1.
928         * recog.c: Include "addresses.h".
929         (preprocess_constraints): Use new base_reg_class function.
930         * regrename.c: Include "addresses.h".
931         (scan_rtx_address): Use new regno_ok_for_base_p and base_reg_class
932         functions.  Keep track of a new var INDEX_CODE to compute valid
933         classes.
934         (replace_oldest_value_addr): Likewise.
935         (replace_oldest_value_mem): Use base_reg_class.
936         * reload.c: Include "addresses.h".
937         (REGNO_MODE_OK_FOR_BASE_P, REG_MODE_OK_FOR_BASE_P): Delete macros.
938         (find_reloads): Use new base_reg_class function.
939         (find_reloads_address): Likewise; also use regno_ok_for_base_p.
940         (find_reloads_address_1): Likewise. New args OUTER_CODE and INDEX_CODE;
941         all callers and prototype changed.
942         * reload1.c: Include "addresses.h".
943         (maybe_fix_stack_asms): Use base_reg_class.
944         * regclass.c: Include "addresses.h".
945         (ok_for_index_p_nonstrict, ok_for_base_p_nonstrict): New functions.
946         (init_reg_autoinc): Use new base_reg_class function.
947         (record_reg_classes): Likewise.
948         (record_address_regs): Delete arg CLASS; add args CONTEXT, MODE,
949         OUTER_CODE and INDEX_CODE.  All callers and prototype changed.
950         Use new args to compute necessary class.
951
952         * Makefile.in (regclass.o, reload.o, reload1.o, caller-save.o, recog.o,
953         regrename.o, rtl-factoring.o): Update dependencies.
954         * doc/tm.texi (MODE_CODE_BASE_REG_CLASS): Document.
955         (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
956         (REG_OK_FOR_BASE_P, REG_MODE_OK_FOR_BASE_P, REG_MODE_OK_FOR_REG_BASE_P,
957         REG_OK_FOR_INDEX_P): Delete documentation.
958
959 2006-03-21  Alexey Starovoytov  <alexey.starovoytov@sun.com>
960
961         * config.gcc (sparc-*-solaris2*): Change the default CPU setting
962         from V7 to V9 for Solaris 7 and above.
963
964 2006-03-21  Toon Moene  <toon@moene.indiv.nluug.nl>
965
966         * doc/invoke.texi: Document new flag -fargument-noalias-anything.
967         * tree-ssa-alias.c (may_alias_p): If flag_argument_noalias > 2,
968         argument pointers may not alias any other storage.
969         * common.opt: Define option -fargument-noalias-anything.
970         * tree-ssa-structalias.c (intra_create_variable_infos): Fortran
971         alias semantics is specified by flag_argument_noalias > 2.
972
973 2006-03-20  Jeff Law  <law@redhat.com>
974
975         * tree-pass.h (pass_phi_only_copy_prop): Delete.
976         (pass_phi_only_cprop): Declare.
977         * passes.c (init_optimization_passes): Replace pass_phi_only_copy_prop
978         with phi_only_cprop
979         * tree-ssa-dom.c (degenerate_phi_result): New function.
980         (remove_stmt_or_phi, get_lhs_or_phi_result): Likewise.
981         (get_rhs_or_phi_arg, propagate_rhs_into_lhs): Likewise.
982         (eliminate_const_or_copy, eliminate_degenerate_phis_1): Likewise.
983         (eliminate_degenerate_phis): Likewise.
984         (pass_phi_only_cprop): New pass descriptor.
985         * tree-ssa-copy.c (init_copy_prop): Lose PHIS_ONLY argument and
986         support code.  Callers updated.
987         (execute_copy_prop, do_copy_prop): Likewise and corresponding changes.
988         (store_copy_prop): Likewise.
989         (do_phi_only_copy_prop, pass_phi_only_copy_prop): Remove.
990
991 2006-03-20  Jason Merrill  <jason@redhat.com>
992
993         PR c++/21764
994         * c-pragma.c (visstack): Move out of handle_pragma_visibility.
995         (push_visibility, pop_visibility): Likewise.
996         * c-pragma.h: Declare them.
997
998 2006-03-20  Kaz Kojima  <kkojima@gcc.gnu.org>
999
1000         * config/sh/sh.c (untangle_mova): Initialize n_addr and n_target.
1001
1002         * config/sh/sh.c (find_regmode_weight): Change the type of the first
1003         parameter and use get_ebb_head_tail.
1004         (sh_md_init_global): Adjust uses of find_regmode_weight.
1005
1006 2006-03-20  Steven Bosscher  <stevenb.gcc@gmail.com>
1007
1008         * function.h (struct function) <x_tail_recursion_reentry>:
1009         Rename to x_stack_check_probe_note.
1010         (tail_recursion_reentry): Rename to stack_check_probe_note.
1011         * function.c: Replace tail_recursion_reentry with
1012         stack_check_probe_note everywhere.
1013         (expand_function_start): Only emit a note for
1014         stack_check_probe_note with -fstack-protect.
1015         * stmt.c (expand_case): Don't emit NOTE_INSN_DELETED notes.
1016
1017         * emit-rtl.c (remove_unnecessary_notes): Remove.
1018         (pass_remove_unnecessary_notes): Remove.
1019         * rtl.h (remove_unnecessary_notes): Remove prototype.
1020         * final.c (final_start_function): Don't call remove_unnecessary_notes.
1021         * tree-pass.h (pass_remove_unnecessary_notes): Remove.
1022         * passes.c (pass_remove_unnecessary_notes): Don't run it.
1023
1024 2006-03-20  Andrew Pinski  <pinskia@physics.uc.edu>
1025
1026         PR tree-opt/26629
1027         * tree-ssa-pre (phi_translate): Handle ARRAY_REF's operands.
1028         (valid_in_set): Handle ARRAY_REF.
1029         Change "if min_variant or VH" to asserts.
1030         (create_component_ref_by_pieces): Handle ARRAY_REF.
1031         (create_expression_by_pieces): Likewise.
1032         (can_PRE_operation): ARRAY_REFs can now be PRE'd.
1033
1034 2006-03-20  David Edelsohn  <edelsohn@gnu.org>
1035
1036         * genpreds.c (write_insn_extra_address_constraint): Argument `c'
1037         is operand of switch, not str[0].
1038
1039 2006-03-20  Alan Modra  <amodra@bigpond.net.au>
1040
1041         * config/rs6000/rs6000.c (rs6000_handle_option): Use
1042         TARGET_NO_FP_IN_TOC inside #ifdef TARGET_USES_SYSV4_OPT too.
1043
1044 2006-03-19  David Edelsohn  <edelsohn@gnu.org>
1045
1046         * genpreds.c (write_tm_preds_h): Add semicolon and newline at
1047         end of insn_extra_address_constraint declaration.
1048
1049 2006-03-19  David Edelsohn  <edelsohn@gnu.org>
1050
1051         * config/rs6000/rs6000.opt (no-fp-in-toc): Use Var not Mask.
1052         (no-sum-in-toc): Same.
1053         * config/rs6000/rs6000.c (rs6000_handle_option): Use new
1054         variables.
1055         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): Set
1056         NO_FP_IN_TOC for -fPIC instead of mask.
1057
1058         * config/rs6000/t-aix43 (T_ADAFLAGS): Delete.
1059         (BOOT_LDFLAGS): Delete.
1060         (LDFLAGS): Delete.
1061         * config/rs6000/t-aix52: Same.
1062
1063         * config/rs6000/rs6000.md (store_multiple_power): Delete.
1064         (stmsi[345678]_power): New.
1065
1066 2006-03-17  Steve Ellcey  <sje@cup.hp.com>
1067
1068         * config/ia64/ia64.opt: Add empty line to end of file.
1069
1070 2006-03-17  Richard Guenther  <rguenther@suse.de>
1071
1072         PR middle-end/26721
1073         * builtins.c (get_pointer_alignment): For component style references
1074         adjust alignment to the component type alignment.  Make sure
1075         to adjust alignment for component access of constants.
1076
1077 2006-03-17  David Edelsohn  <edelsohn@gnu.org>
1078
1079         * config/rs6000/rs6000.md (strlensi): Emit barrier after
1080         unconditional jump.
1081
1082 2006-03-17  Paul Brook  <paul@codesourcery.com>
1083
1084         * doc/install.texi: Docuemnt --with-mode.
1085         * config.gcc: Add --with-mode for arm*-*-*.
1086         * config/arm/arm.h (OPTION_DEFAULT_SPECS): Add "mode".
1087
1088 2006-03-17  J"orn Rennecke <joern.rennecke@st.com>
1089
1090         * sh.c (max_labelno_before_reorg): New variable.
1091         (sh_reorg): Initialize it.
1092         (find_barrier): Check max_labelno_before_reorg before using
1093         label_to_alignment.  Take length of explicit alignment insns
1094         into account.  When seeing a UNSPECV_CONST_END, return it.
1095
1096         * sh.c (fixup_mova): Set mode of affected label to QImode.
1097         (untangle_mova): New function.
1098         (find_barrier): Use it.  Check mode of label before decrementing
1099         num_mova.
1100         (sh_reorg): Likewise.
1101         Set mode of all insns back to VOIDmode.
1102
1103         * sh.c (MOVA_LABELREF): New macro.
1104         (mova_p, fixup_mova, sh_reorg): Use it.
1105         (find_barrier, sh_reorg): Don't count num_mova back to 0 unless
1106         ADDR_DIFF_VEC matches mova.
1107
1108 2006-03-17  Steven Bosscher  <stevenb.gcc@gmail.com>
1109
1110         * dwarf2asm.c (dw2_asm_output_offset): Mark 'base' argument
1111         with ATTRIBUTE_UNUSED.
1112
1113 2006-03-17  Alexandre Oliva  <aoliva@redhat.com>
1114
1115         * dwarf2out.c (dwarf2out_stack_adjust): Always track the stack
1116         pointer, instead of assuming it is possible to derive the
1117         correct args size from a call insn.
1118
1119 2006-03-16  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
1120
1121         * rtl.h (CONST_INT_P): Define.
1122         * config/vax/vax.c (print_operand_address): Use CONST_INT_P()
1123         instead of GET_CODE(x) == CONST_INT.
1124         (vax_rtx_costs): Likewise.
1125         (vax_output_int_move): Likewise.
1126         (vax_output_int_add): Likewise.
1127         (legitimate_constant_address_p): Likewise.
1128         (index_term_p): Likewise.
1129         * config/vax/vax.h (PRINT_OPERAND): Likewise.
1130         * config/vax/vax.md (and<mode>3): Likewise.
1131         (ashrsi3): Likewise.
1132         (extv): Likewise.
1133         (movstricthi): Likewise.
1134         (movstrictqi): Likewise.
1135         (rotrsi3): Likewise.
1136         (five unnamed insns): Likewise.
1137
1138 2006-03-16  Geoffrey Keating  <geoffk@apple.com>
1139
1140         * doc/tm.texi (SDB and DWARF): Add extra parameter to
1141         ASM_OUTPUT_DWARF_OFFSET.  Use @var to indicate metavariables.
1142         * dwarf2asm.h (dw2_asm_output_offset): Add section parameter.
1143         * dwarf2asm.c (dw2_asm_output_offset): Add base section parameter.
1144         Pass to ASM_OUTPUT_DWARF_OFFSET.
1145         * dwarf2out.c (debug_frame_section): New.
1146         (output_call_frame_info): Use debug_frame_section.  Pass it to
1147         dw2_asm_output_offset.
1148         (output_die): Pass appropriate section to dw2_asm_output_offset.
1149         (output_compilation_unit_header): Likewise.
1150         (output_pubnames): Likewise.
1151         (output_aranges): Likewise.
1152         (enum dw_val_class): Break dw_val_class_lbl_offset into
1153         dw_val_class_lineptr and dw_val_class_macptr.
1154         (add_AT_lbl_offset): Delete.
1155         (add_AT_lineptr): New.
1156         (add_AT_macptr): New.
1157         (AT_lbl): Expect a lineptr or macptr.
1158         (print_die): Handle dw_val_class_lineptr and dw_val_class_macptr.
1159         (attr_checksum): Likewise.
1160         (same_dw_val_p): Likewise.
1161         (size_of_die): Likewise.
1162         (value_format): Likewise.
1163         (output_die): Likewise.
1164         (dwarf2out_finish): Call add_AT_lineptr and add_AT_macptr instead of
1165         add_AT_lbl_offset.
1166         * config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
1167         * config/i386/i386.c (x86_file_start): Call darwin_file_start.
1168         * config/darwin-protos.h (darwin_file_start): New.
1169         (darwin_asm_output_dwarf_offset): New.
1170         * config/ia64/ia64.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
1171         * config/rs6000/rs6000.c (rs6000_darwin_file_start): Call
1172         darwin_file_start.
1173         * config/darwin.c (darwin_emit_unwind_label): Don't output label
1174         if not EH section; simplify.
1175         (darwin_file_start): New.
1176         (darwin_asm_output_dwarf_offset): New.
1177         * config/darwin.h (DEBUG_FRAME_SECTION): In __DWARF segment,
1178         mark as 'debug'.
1179         (DEBUG_INFO_SECTION): Likewise.
1180         (DEBUG_ABBREV_SECTION): Likewise.
1181         (DEBUG_ARANGES_SECTION): Likewise.
1182         (DEBUG_MACINFO_SECTION): Likewise.
1183         (DEBUG_LINE_SECTION): Likewise.
1184         (DEBUG_LOC_SECTION): Likewise.
1185         (DEBUG_PUBNAMES_SECTION): Likewise.
1186         (DEBUG_STR_SECTION): Likewise.
1187         (DEBUG_RANGES_SECTION): Likewise.
1188         (FRAME_BEGIN_LABEL): Must start with 'L' in debug section.
1189         (ASM_OUTPUT_DWARF_OFFSET): New.
1190
1191 2006-03-16  Joseph S. Myers  <joseph@codesourcery.com>
1192
1193         * config.gcc (tm_defines): Always add to previous value rather
1194         than replacing it.
1195
1196 2006-03-16  Richard Sandiford  <richard@codesourcery.com>
1197
1198         * config/mips/predicates.md (splittable_const_int_operand): New,
1199         split from move_operand.
1200         (splittable_symbolic_operand): New.
1201         (move_operand): Add commentary.  Use splittable_const_int_operand.
1202         Inline mips_atomic_symbolic_constant_p.
1203         * config/mips/mips.md: Add combine splitters for handling moves
1204         of splittable_const_int_operands and splittable_symbolic_operands.
1205         * config/mips/mips-protos.h (mips_atomic_symbolic_constant_p): Delete.
1206         (mips_split_symbol): Declare.
1207         (mips_move_integer): Declare.
1208         * config/mips/mips.c (mips_split_p): Make global.
1209         (TARGET_MIN_ANCHOR_OFFSET): Override default.
1210         (TARGET_MAX_ANCHOR_OFFSET): Likewise.
1211         (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Likewise.
1212         (TARGET_USE_ANCHORS_FOR_SYMBOL_P): Likewise.
1213         (mips_offset_within_object_p): Handle block symbols.
1214         (mips_atomic_symbolic_constant_p): Delete.
1215         (mips_cannot_force_const_mem): Return false for constants that
1216         mips_legitimize_move can handle.
1217         (mips_use_blocks_for_constant_p): New function.
1218         (mips_split_symbol): Make global.
1219         (mips_move_integer): Likewise.  Add a temporary register argument.
1220         (mips_legitimize_const_move): Use splittable_const_int_operand and
1221         splittable_symbolic_operand.
1222         (mips_use_anchors_for_symbol_p): New function.
1223         * config/mips/mips.h: Protect externs with !USED_FOR_TARGET.
1224         (mips_split_p): Declare.  
1225
1226 2006-03-16  Richard Sandiford  <richard@codesourcery.com>
1227
1228         * config.gcc (mips64*-*-linux*): Keep existing tm_defines.
1229         (mips*-*-linux*): Likewise.
1230
1231 2006-03-16  Roger Sayle  <roger@eyesopen.com>
1232             Daniel Speyer  <dspeyer@wam.umd.edu>
1233
1234         PR middle-end/18259
1235         * tree-dump.c (dump_real): New function.
1236         (dequeue_and_dump) <REAL_CST>: Use it to dump FP constants.
1237         * Makefile.in (REAL_H): New macro for dependencies on real.h.
1238         (tree-dump.o): Add $(REAL_H) to the dependencies.
1239
1240 2006-03-16  Roger Sayle  <roger@eyesopen.com>
1241
1242         PR middle-end/21781
1243         * real.c (real_from_string): If the mantissa is zero, don't bother
1244         parsing the exponent as the result should always be zero.
1245
1246 2006-03-16  Andreas Krebbel  <krebbel1@de.ibm.com>
1247
1248         * simplify-rtx.c (simplify_plus_minus): Simplify within CONST terms.
1249
1250 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
1251
1252         * config/ia64/ia64.c (stops_p): Added explicit initialization.
1253         (ia64_first_cycle_multipass_dfa_lookahead_guard_spec,
1254         ia64_h_i_d_extended, ia64_set_sched_flags, ia64_speculate_insn,
1255         ia64_needs_block_p, ia64_gen_check, ia64_sched_init_global,
1256         ia64_sched_finish_global): New static functions to implement
1257         hooks from gcc_target.sched.
1258         (spec_check_no, max_uid, pending_data_specs): New static variables.
1259         (ia64_mode_to_int, ia64_gen_spec_insn, ia64_spec_check_p,
1260         ia64_spec_check_src_p): New static functions.
1261         (ia64_adjust_cost): Renamed to ia64_adjust_cost_2.
1262         (TARGET_SCHED_ADJUST_COST): Removed.
1263         (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_INIT_GLOBAL,
1264         TARGET_SCHED_FINISH_GLOBAL, TARGET_SCHED_H_I_D_EXTENDED,
1265         TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
1266         TARGET_SCHED_GEN_CHECK,
1267         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
1268         TARGET_SCHED_SET_SCHED_FLAGS): New macros.
1269         (update_set_flags, group_barrier_needed, set_src_needs_barrier):
1270         Fixed to handle speculation checks.
1271         (rtx_needs_barrier): Fixed to handle speculative loads and
1272         their checks.
1273         (ia64_variable_issue): Added code to count speculative loads and their
1274         checks.
1275         (ia64_first_cycle_multipass_dfa_lookahead_guard): Fixed to handle
1276         speculative loads.
1277         (enum SPEC_MODES, enum SPEC_GEN_LD_MAP, SPEC_GEN_CHECK_OFFSET):
1278         New enumerations.
1279         (SPEC_GEN_EXTEND_OFFSET, SPEC_N, SPEC_GEN_CHECK_MUTATION_OFFSET):
1280         New constants.
1281         (ia64_ld_address_bypass_p): Fixed to handle speculative loads.
1282         (ia64_reorg): Reset stops_p to NULL after it is freed.
1283         * config/ia64/ia64.md (UNSPEC_LDA, UNSPEC_LDS, UNSPEC_LDSA,
1284         UNSPEC_LDCCLR, UNSPEC_CHKACLR, UNSPEC_CHKS): New constants.
1285         (itanium_class): chk_s renamed to chk_s_i.  New constants: chk_s_f,
1286         chk_a.
1287         (data_speculative, control_speculative, check_load): New attributes.
1288         (mov<mode>_advanced, mov<mode>_speculative,
1289         mov<mode>_speculative_advanced, zero_extend<mode>di2_advanced,
1290         zero_extend<mode>di2_speculative,
1291         zero_extend<mode>di2_speculative_advanced): New patterns for
1292         data and control speculative loads.
1293         (mov<mode>_clr, zero_extend<mode>di2_clr): New patterns for
1294         check loads.
1295         (advanced_load_check_clr_<mode>, speculation_check_<mode>):
1296         New pattern for data and control speculation checks.
1297         (MODE, MODE_FOR_EXTEND, output_a, output_s, output_sa, output_c_clr,
1298         ld_reg_constr, ldc_reg_constr, chk_reg_constr, mem_constr,
1299         reg_pred_prefix, ld_class, chka_class, chks_class, attr_yes):
1300         Auxiliary definitions for the patterns.
1301         * config/ia64/itanium1.md (1_fldc, 1_fldpc, 1_ldc, 1_chk_s_f, 1_chk_a,
1302         1b_fldc, 1b_fldpc, 1b_ldc, 1b_chk_s_f, 1b_chk_a): New resource
1303         constraints.
1304         (1_fld, 1_fldp, 1_ld, 1b_fld, 1b_fldp, 1b_ld): Add a condition
1305         for speculation.
1306         (1_chk_s, 1b_chk_s): Renamed to 1_chk_s_i, 1b_chk_s_i.
1307         * config/ia64/itanium2.md (2_flda, 2_fldc, 2_fldpc, 2_ldc, 2_chk_s_f,
1308         2_chk_a, 2b_flda, 2b_fldc, 2b_fldpc, 2b_ldc, 2b_chk_s_f, 2b_chk_a):
1309         New resource constraints.
1310         (2_fld, 2_fldp, 2_ld, 2b_fld, 2b_fldp, 2b_ld): Add a condition
1311         for speculation.
1312         (2_chk_s, 2b_chk_s): Renamed to 2_chk_s_i, 2b_chk_s_i.
1313         * config/ia64/ia64.opt (msched-br-data-spec, msched-ar-data-spec,
1314         msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
1315         msched-in-control-spec, msched-ldc, msched-control-ldc,
1316         msched-spec-verbose, msched-prefer-non-data-spec-insns,
1317         msched-prefer-non-control-spec-insns,
1318         msched-count-spec-in-critical-path): New flags to tune speculative
1319         scheduling.
1320         * doc/invoke.texi (msched-br-data-spec, msched-ar-data-spec,
1321         msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
1322         msched-in-control-spec, msched-ldc, msched-control-ldc,
1323         msched-spec-verbose, msched-prefer-non-data-spec-insns,
1324         msched-prefer-non-control-spec-insns,
1325         msched-count-spec-in-critical-path): Document new flags.
1326
1327 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
1328
1329         * target.h (struct spec_info_def): New opaque declaration.
1330         (struct gcc_target.sched): New fields: adjust_cost_2, h_i_d_extended,
1331         speculate_insn, needs_block_p, gen_check,
1332         first_cycle_multipass_dfa_lookahead_guard_spec, set_sched_flags.
1333         * target-def.h (TARGET_SCHED_ADJUST_COST_2,
1334         TARGET_SCHED_H_I_D_EXTENDED, TARGET_SCHED_SPECULATE_INSN,
1335         TARGET_SCHED_NEEDS_BLOCK_P, TARGET_SCHED_GEN_CHECK,
1336         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
1337         TARGET_SCHED_SET_SCHED_FLAGS): New macros to initialize fields in
1338         gcc_target.sched.
1339         (TARGET_SCHED): Use new macros.
1340         * rtl.h (copy_DEPS_LIST_list): New prototype.
1341         * sched-int.h (struct sched_info): Change signature of new_ready field,
1342         adjust all initializations. New fields: add_remove_insn,
1343         begin_schedule_ready, add_block, advance_target_bb, fix_recovery_cfg,
1344         region_head_or_leaf_p.
1345         (struct spec_info_def): New structure declaration.
1346         (spec_info_t): New typedef.
1347         (struct haifa_insn_data): New fields: todo_spec, done_spec, check_spec,
1348         recovery_block, orig_pat.
1349         (glat_start, glat_end): New variables declaraions.
1350         (TODO_SPEC, DONE_SPEC, CHECK_SPEC, RECOVERY_BLOCK, ORIG_PAT):
1351         New access macros.
1352         (enum SCHED_FLAGS): New constants: SCHED_RGN, SCHED_EBB,
1353         DETACH_LIFE_INFO, USE_GLAT.
1354         (enum SPEC_SCHED_FLAGS): New enumeration.
1355         (NOTE_NOTE_BB_P): New macro.
1356         (extend_dependency_caches, xrecalloc, unlink_bb_notes, add_block,
1357         attach_life_info, debug_spec_status, check_reg_live): New functions.
1358         (get_block_head_tail): Change signature to get_ebb_head_tail, adjust
1359         all uses in ddg.c, modulo-sched.c, haifa-sched.c, sched-rgn.c,
1360         sched-ebb.c
1361         (get_dep_weak, ds_merge): Prototype functions from sched-deps.c .
1362         * ddg.c (get_block_head_tail): Adjust all uses.
1363         * modulo-sched.c (get_block_head_tail): Adjust all uses.
1364         (sms_sched_info): Initialize new fields.
1365         (contributes_to_priority): Removed.
1366         * haifa-sched.c (params.h): New include.
1367         (get_block_head_tail): Adjust all uses.
1368         (ISSUE_POINTS): New macro.
1369         (glat_start, glat_end): New global variables.
1370         (spec_info_var, spec_info, added_recovery_block_p, nr_begin_data,
1371         nr_be_in_data, nr_begin_control, nr_be_in_control, bb_header,
1372         old_last_basic_block, before_recovery, current_sched_info_var,
1373         rgn_n_insns, luid): New static variables.
1374         (insn_cost1): New function.  Move logic from insn_cost to here.
1375         (find_insn_reg_weight1): New function.  Move logic from
1376         find_insn_reg_weight to here.
1377         (reemit_notes, move_insn, max_issue): Change signature.
1378         (move_insn1): Removed.
1379         (extend_h_i_d, extend_ready, extend_global, extend_all, init_h_i_d,
1380         extend_bb): New static functions to support extension of scheduler's
1381         data structures.
1382         (generate_recovery_code, process_insn_depend_be_in_spec,
1383         begin_speculative_block, add_to_speculative_block,
1384         init_before_recovery, create_recovery_block, create_check_block_twin,
1385         fix_recovery_deps): New static functions to support
1386         generation of recovery code.
1387         (fix_jump_move, find_fallthru_edge, dump_new_block_header,
1388         restore_bb_notes, move_block_after_check, move_succs): New static
1389         functions to support ebb scheduling.
1390         (init_glat, init_glat1, attach_life_info1, free_glat): New static
1391         functions to support handling of register live information.
1392         (associate_line_notes_with_blocks, change_pattern, speculate_insn,
1393         sched_remove_insn, clear_priorities, calc_priorities, bb_note,
1394         add_jump_dependencies): New static functions.
1395         (check_cfg, has_edge_p, check_sched_flags): New static functions for
1396         consistancy checking.
1397         (debug_spec_status): New function to call from debugger.
1398         (priority): Added code to handle speculation checks.
1399         (rank_for_schedule): Added code to distinguish speculative instructions.
1400         (schedule_insn): Added code to handle speculation checks.
1401         (unlink_other_notes, rm_line_notes, restore_line_notes, rm_other_notes):
1402         Fixed to handle ebbs.
1403         (move_insn): Added code to handle ebb scheduling.
1404         (max_issue): Added code to use ISSUE_POINTS of instructions.
1405         (choose_ready): Added code to choose between speculative and
1406         non-speculative instructions.
1407         (schedule_block): Added code to handle ebb scheduling and scheduling of
1408         speculative instructions.
1409         (sched_init): Initialize new variables.
1410         (sched_finish): Free new variables.  Print statistics.
1411         (try_ready): Added code to handle speculative instructions.
1412         * lists.c (copy_DEPS_LIST_list): New function.
1413         * sched-deps.c (extend_dependency_caches): New function.  Move logic
1414         from create_dependency_caches to here.
1415         (get_dep_weak, ds_merge): Make global.
1416         * genattr.c (main): Code to output prototype for
1417         dfa_clear_single_insn_cache.
1418         * genautomata.c (DFA_CLEAR_SINGLE_INSN_CACHE_FUNC_NAME): New macros.
1419         (output_dfa_clean_insn_cache_func): Code to output
1420         dfa_clear_single_insn_cache function.
1421         * sched-ebb.c (target_n_insns): Remove.  Adjust all users to use
1422         n_insns.
1423         (can_schedule_ready_p, fix_basic_block_boundaries, add_missing_bbs):
1424         Removed.
1425         (n_insns, dont_calc_deps, ebb_head, ebb_tail, last_bb):
1426         New static variables.
1427         (begin_schedule_ready, add_remove_insn, add_block1, advance_target_bb,
1428         fix_recovery_cfg, ebb_head_or_leaf_p): Implement hooks from
1429         struct sched_info.
1430         (ebb_sched_info): Initialize new fields.
1431         (get_block_head_tail): Adjust all uses.
1432         (compute_jump_reg_dependencies): Fixed to use glat_start.
1433         (schedule_ebb): Code to remove unreachable last block.
1434         (schedule_ebbs): Added code to update register live information.
1435         * sched-rgn.c (region_sched_info): Initialize new fields.
1436         (get_block_head_tail): Adjust all uses.
1437         (last_was_jump): Removed.  Adjust users.
1438         (begin_schedule_ready, add_remove_insn, insn_points, extend_regions,
1439         add_block1, fix_recovery_cfg, advance_target_bb, region_head_or_leaf_p):
1440         Implement new hooks.
1441         (check_dead_notes1): New static function.
1442         (struct region): New fields: dont_calc_deps, has_real_ebb.
1443         (RGN_DONT_CALC_DEPS, RGN_HAS_REAL_EBB): New access macros.
1444         (BB_TO_BLOCK): Fixed to handle EBBs.
1445         (EBB_FIRST_BB, EBB_LAST_BB): New macros.
1446         (ebb_head): New static variable.
1447         (debug_regions, contributes_to_priority): Fixed to handle EBBs.
1448         (find_single_block_regions, find_rgns, find_more_rgns): Initialize
1449         new fields.
1450         (compute_dom_prob_ps): New assertion.
1451         (check_live_1, update_live_1): Fixed to work with glat_start instead of
1452         global_live_at_start.
1453         (init_ready_list): New assertions.
1454         (can_schedule_ready_p): Split update code to begin_schedule_ready.
1455         (new_ready): Add support for BEGIN_CONTROL speculation.
1456         (schedule_insns): Fixed code that updates register live information
1457         to handle EBBs.
1458         (schedule_region): Fixed to handle EBBs.
1459         (init_regions): Use extend_regions and check_dead_notes1.
1460         * params.def (PARAM_MAX_SCHED_INSN_CONFLICT_DELAY,
1461         PARAM_SCHED_SPEC_PROB_CUTOFF): New parameters.
1462         * doc/tm.texi (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_H_I_D_EXTENDED,
1463         TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
1464         TARGET_SCHED_GEN_CHECK,
1465         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
1466         TARGET_SCHED_SET_SCHED_FLAGS): Document.
1467         * doc/invoke.texi (max-sched-insn-conflict-delay,
1468         sched-spec-prob-cutoff): Document.
1469
1470 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
1471
1472         * sched-int.h (struct haifa_insn_data): New fields: resolved_deps,
1473         inter_tick, queue_index.
1474         (struct sched_info): Change signature of init_ready_list field.
1475         Adjust all initializations.
1476         (RESOLVED_DEPS): New access macro.
1477         (ready_add): Remove prototype.
1478         (try_ready): Add prototype.
1479         * sched-rgn.c (init_ready_list): Use try_ready.
1480         (schedule_region): Initialize
1481         current_sched_info->{sched_max_insns_priority, queue_must_finish_empty}.
1482         * sched-ebb.c (new_ready): Remove.  Adjust ebb_sched_info.
1483         (init_ready_list): Use try_ready.
1484         (schedule_ebb): Initialize current_sched_info->sched_max_insns_priority.
1485         * lists.c (remove_list_elem): Remove `static'.
1486         (remove_free_INSN_LIST_elem): New function.
1487         * rtl.h (remove_list_elem, remove_free_INSN_LIST_elem): Add prototypes.
1488         * haifa-sched.c (INTER_TICK, QUEUE_INDEX): New macros.
1489         (INVALID_TICK, MIN_TICK, QUEUE_SCHEDULED, QUEUE_NOWHERE, QUEUE_READY):
1490         New constants.
1491         (readyp): New variable.
1492         (queue_remove, ready_remove_insn, fix_inter_tick, fix_tick_ready,
1493         change_queue_index, resolve_dep): New static functions.
1494         (try_ready): New function.  Adjust callers in sched-rgn.c and
1495         sched-ebb.c to use it instead of ready_add.
1496         (clock_var): Move at the begining of file.
1497         (rank_for_schedule): Fix typo.
1498         (queue_insn): Add assertion.  Handle QUEUE_INDEX.
1499         (ready_lastpos): Enforce assertion.
1500         (ready_add): Make it static.  Handle QUEUE_INDEX.  Add new argument,
1501         update all callers.
1502         (ready_remove_first, ready_remove): Handle QUEUE_INDEX.
1503         (schedule_insn): Rewrite to use try_ready and resolve_dep.
1504         (queue_to_ready): Use free_INSN_LIST_list.
1505         (early_queue_to_ready): Fix typo.
1506         (schedule_block): Init readyp.  Move init_ready_list call after the
1507         initialization of clock_var.  Fix error in rejecting insn by
1508         targetm.sched.dfa_new_cycle.  Add call to fix_inter_tick.  Remove code
1509         that previously corrected INSN_TICKs.  Add code for handling
1510         QUEUE_INDEX.
1511         (set_priorities): Fix typo.
1512         (sched_init): Initialize INSN_TICK, INTER_TICK and QUEUE_INDEX.
1513         Clarify comment and code that keeps current_sched_info->next_tail
1514         non-null.
1515
1516 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
1517
1518         * sched-rgn.c (extend_rgns): New static function.
1519         (find_rgns): Use it.
1520         (gather_region_statistics, print_region_statistics): New static
1521         functions.
1522         * params.def (PARAM_MAX_SCHED_EXTEND_REGIONS_ITERS): New parameter.
1523         * doc/invoke.texi (max-sched-extend-regions-iters): Document.
1524
1525 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
1526             Andrey Belevantsev <abel@ispras.ru>
1527
1528         * ddg.c (build_intra_loop_deps): Adjust add_forward_dependence call.
1529         * lists.c (unused_deps_list): New variable.
1530         (free_list): Add assertions to verify the proper distinguishing 
1531         between INSN_LISTs and DEPS_LISTs.
1532         (find_list_elem, remove_list_elem, remove_list_node): New static
1533         functions.
1534         (alloc_DEPS_LIST, free_DEPS_LIST, free_DEPS_LIST_node,
1535         remove_free_INSN_LIST_elem, remove_free_DEPS_LIST_elem,
1536         remove_free_INSN_LIST_node, remove_free_DEPS_LIST_node): New functions.
1537         (alloc_INSN_LIST): Assert that the list we're working on is indeed
1538         an INSN_LIST.
1539         (free_INSN_LIST_node): Likewise.
1540         * modulo-sched.c (current_sched_info): Initialize flags field.
1541         * reg-notes.def: Exchange DEP_ANTI and DEP_OUTPUT.
1542         * rtl.def (DEPS_LIST): Define.
1543         * rtl.h: Declare new functions from lists.c.
1544         * sched-deps.c (spec_dependency_cache): New static variable.
1545         (maybe_add_or_update_back_dep_1, add_back_dep): New static functions.
1546         (add_dependence): Change return type to void.  Move the logic to ...
1547         (add_or_update_back_dep_1): ... here.  Handle speculative dependencies.
1548         (delete_all_dependences): Add comment about forward_dependency_cache.
1549         Handle spec_dependency_cache.  Handle DEPS_LISTs.
1550         (fixup_sched_groups): Clarify the change of priority of output
1551         and anti dependencies.
1552         (sched_analyze_2): Adjust add_dependence calls to create data
1553         speculative dependence.
1554         (add_forward_dependence): Renamed to add_forw_dep, change prototype.
1555         Adjust all callers.  Handle DEPS_LISTS.
1556         (compute_forward_dependences): Use add_forw_dep.  Sort LOG_LINKs in
1557         presence of speculation.
1558         (init_dependency_caches, free_dependency_caches):
1559         Handle spec_dependency_cache.
1560         (adjust_add_sorted_back_dep, adjust_back_add_forw_dep, delete_forw_dep,
1561         estimate_dep_weak, get_dep_weak, ds_merge, check_dep_status):
1562         New static functions.
1563         (add_or_update_back_dep, add_or_update_back_forw_dep,
1564         add_back_forw_dep, delete_back_forw_dep): New functions.
1565         * sched-int.h (ds_t, dw_t): New typedefs.
1566         (struct sched_info): Add new field flags.
1567         (struct haifa_insn_data): Add new bitfield has_internal_dep.
1568         Prototype new sched-deps.c functions.
1569         (HAS_INTERNAL_DEP, DEP_STATUS): New access macros.
1570         (BITS_PER_DEP_STATUS, BITS_PER_DEP_WEAK, DEP_WEAK_MASK, MAX_DEP_WEAK,
1571         MIN_DEP_WEAK, NO_DEP_WEAK, UNCERTAIN_DEP_WEAK, BEGIN_DATA, BE_IN_DATA,
1572         BEGIN_CONTROL, BE_IN_CONTROL, BEGIN_SPEC, DATA_SPEC, CONTROL_SPEC,
1573         SPECULATIVE, BE_IN_SPEC, FIRST_SPEC_TYPE, LAST_SPEC_TYPE,
1574         SPEC_TYPE_SHIFT, DEP_TRUE, DEP_OUTPUT, DEP_ANTI, DEP_TYPES, HARD_DEP):
1575         New constants.
1576         (enum SPEC_TYPES_OFFSETS, enum DEPS_ADJUST_RESULT, enum SCHED_FLAGS):
1577         New enums.
1578         * sched-rgn.c (current_sched_info): Initialize flags field.
1579         (schedule_insns): Initialize current_sched_info before the sched_init
1580         call.
1581         * sched-ebb.c (current_sched_info): Initialize flags field.
1582         (add_deps_for_risky_insns): Use control_flow_insn_p instead of JUMP_P.
1583         Call add_or_update_back_dep instead of add_dependence.
1584         Create control speculative dependencies.
1585         (schedule_insns): Initialize current_sched_info before the sched_init
1586         call.
1587
1588 2006-03-16  Kaz Kojima  <kkojima@gcc.gnu.org>
1589
1590         * config/sh/linux-unwind.h (shmedia_fallback_frame_state): Set
1591         fs->signal_frame.
1592         (sh_fallback_frame_state): Likewise.
1593
1594 2006-03-15  Geoffrey Keating  <geoffk@apple.com>
1595
1596         * config.gcc (*-*-darwin*): Don't build crt2.o for all Darwin ports.
1597         Do switch on default_use_cxa_atexit.
1598         (powerpc*-*-darwin*): Build crt2.o on powerpc.
1599         * config/darwin-crt3.o: New.
1600         * config/darwin.h (LINK_SPEC): If -shared-libgcc, make linker default
1601         to 10.3.  Pass '-multiply_defined suppress' if crt3.o is in use.
1602         (STARTFILE_SPEC): Add crt3.o when -shared-libgcc and appropriate
1603         OS version.
1604         * config/rs6000/t-darwin: Move crt2.o building to here.
1605         * config/rs6000/darwin.h (C_COMMON_OVERRIDE_OPTIONS): Update
1606         Mac OS version for using __cxa_get_exception_ptr.  Don't test versions
1607         of __cxa_atexit.
1608
1609 2006-03-15  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
1610
1611         * config/vax/vax.c (nonindexed_address_p): Change logical negation
1612         from '! xxx' to '!xxx' for coding-style conformance.
1613         * config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Likewise.
1614         (EXTRA_CONSTRAINT): Likewise.
1615         * config/vax/vax.md (four unnamed insns): Likewise.
1616         
1617 2006-03-15  Paul Brook  <paul@codesourcery.com>
1618
1619         * config/arm/arm.c (minipool_pad): New.
1620         (add_minipool_forward_ref): Include pool alignment padding in address
1621         calculation.
1622         (push_minipool_fix): Set minipool_pad.
1623         (minipool_pad): Ditto.
1624
1625 2006-03-15  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
1626
1627         * config/vax/vax.c (split_quadword_operands): Use MEM_P()
1628         instead of GET_CODE() == MEM and REG_P() instead of
1629         GET_CODE() == REG.
1630         (print_operand_address): Likewise.
1631         (vax_address_cost): Likewise.
1632         (vax_rtx_costs): Likewise.
1633         (vax_notice_update_cc): Likewise.
1634         (vax_output_int_add): Likewise.
1635         (INDEX_REGISTER_P): Likewise.
1636         (BASE_REGISTER_P): Likewise.
1637         (nonindexed_address_p): Likewise.
1638         (vax_mode_dependent_address_p): Likewise.
1639         * config/vax/vax.h (EXTRA_CONSTRAINT): Likewise.
1640         (PRINT_OPERAND): Likewise.
1641         * config/vax/vax.md (ashlsi3): Likewise.
1642         (ashlsi3): Likewise.
1643         (some more unnamed insns): Likewise.
1644
1645 2006-03-15  Kazu Hirata  <kazu@codesourcery.com>
1646
1647         * tree-ssa-dce.c (EXECUTE_IF_CONTROL_DEPENDENT): Make it an
1648         iterator-style macro.
1649         (mark_control_dependent_edges_necessary): Update the use of
1650         EXECUTE_IF_CONTROL_DEPENDENT.
1651
1652 2006-03-15  J"orn Rennecke <joern.rennecke@st.com>
1653
1654         * config/sh/predicates.md (cache_address_operand): Special.
1655         (ua_address_operand): Likewise.
1656
1657 2006-03-15  Zdenek Dvorak <dvorakz@suse.cz>
1658
1659         * haifa-sched.c (unlink_other_notes, reemit_notes): Do not handle
1660         loop notes.
1661         * sched-deps.c (sched_analyze_insn, sched_analyze): Ditto.
1662
1663 2006-03-15  Andreas Schwab  <schwab@suse.de>
1664
1665         * gensupport.c (identify_predicable_attribute): Don't free p_false
1666         when it is still in use.
1667
1668 2006-03-15  Eric Botcazou  <ebotcazou@libertysurf.fr>
1669
1670         * config.gcc (default with_cpu setting) <sparc*-*-*>: Do not modify
1671         the default setting here.
1672
1673 2006-03-14  Steven Bosscher  <stevenb.gcc@gmail.com>
1674
1675         * tree-pass.h (pass_cfg): Remove.
1676         * alias.c (rest_of_handle_cfg, pass_cfg): Remove.
1677         * passes.c (pass_cfg): Don't run it.
1678
1679 2006-03-14  Kazu Hirata  <kazu@codesourcery.com>
1680
1681         * Makefile.in (reg-stack.o): Don't depend on gt-reg-stack.h.
1682         * reg-stack.c (stack_regs_mentioned_data): Change the type to
1683         VEC(char,heap) *.
1684         (stack_regs_mentioned): Update the uses of
1685         stack_regs_mentioned_data.  Don't access the array beyond its
1686         end.
1687         (reg_to_stack): Update the uses of stack_regs_mentioned_data.
1688         Don't include gt-reg-stack.h.
1689
1690         * config/bfin/bfin.h (UNALIGNED_WORD_ASM_OP): Remove.
1691         * system.h (UNALIGNED_WORD_ASM_OP): Poison.
1692
1693         * combine.c (UWIDE_SHIFT_LEFT_BY_BITS_PER_WORD): Remove.
1694
1695         PR middle-end/26684
1696         * reg-stack.c (stack_regs_mentioned_data): Put it undef #ifdef
1697         STACK_REGS.
1698
1699 2006-03-14  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1700
1701         * pa/pa32-linux.h (CRT_CALL_STATIC_FUNCTION): Fix typo.
1702
1703 2006-03-14  Richard Guenther  <rguenther@suse.de>
1704
1705         PR tree-optimization/26672
1706         * tree-ssa-propagate.c (set_rhs): Don't walk DEFs if not in
1707         SSA form.
1708
1709 2006-03-14  Richard Guenther  <rguenther@suse.de>
1710
1711         PR tree-optimization/26667
1712         * ipa-inline.c (cgraph_check_inline_limits): Walk the correct
1713         node for the callees.  Always allow inlining if it will shrink
1714         the function size.
1715
1716 2006-03-14  Richard Guenther  <rguenther@suse.de>
1717
1718         PR middle-end/26659
1719         * builtins.c (get_pointer_alignment): Prefer alignment
1720         information from decls over that from types.
1721
1722 2006-03-14  Andrew Pinski  <pinskia@physics.uc.edu>
1723
1724         PR target/26657
1725         * config/darwin.h (LINK_COMMAND_SPEC): Handle -fopenmp.
1726
1727 2006-03-14  Joseph S. Myers  <joseph@codesourcery.com>
1728
1729         * config/rs6000/rs6000.opt (mdlmzb): New option.
1730         (msched-prolog, msched-epilog): Use Var not Mask.
1731         * doc/invoke.texi (-mdlmzb): Document.
1732         * config/rs6000/rs6000.c (TARGET_DEFAULT_TARGET_FLAGS): Remove
1733         MASK_SCHED_PROLOG.
1734         (rs6000_override_options): Enable -mdlmzb for 405 and 440.
1735         * config/rs6000/rs6000.md: Add dlmzb support for 405 and 440.
1736
1737 2006-03-13  Uttam Pawar  <uttamp@us.ibm.com>
1738
1739         PR rtl-optimization/25739
1740         * bt-load.c (augment_live_range): Free tos pointer.
1741
1742         * gensupport.c (identify_predicable_attribute): Free
1743         p_false pointer.
1744         * gcov.c (create_file_names): Free name pointer.
1745
1746 2006-03-13  Roger Sayle  <roger@eyesopen.com>
1747
1748         PR middle-end/26557
1749         * stmt.c (emit_case_nodes): Handle the case where the index is a
1750         CONST_INT, where the comparison mode is specified by the index type.
1751
1752 2006-03-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1753
1754         * pa/pa32-linux.h (CRT_CALL_STATIC_FUNCTION): Define when CRTSTUFFS_O
1755         is defined.
1756
1757 2006-03-13  Richard Sandiford  <richard@codesourcery.com>
1758
1759         * config/mips/mips.md (*branch_fp): Use %Z2 for the condition.
1760         (*branch_fp_inverted): Likewise.
1761
1762 2006-03-13  Jakub Jelinek  <jakub@redhat.com>
1763
1764         PR middle-end/25989
1765         * omp-low.c (expand_omp_for_generic): Mark istart0
1766         and iend0 as addressable.
1767
1768 2006-03-13  Jie Zhang  <jie.zhang@analog.com>
1769
1770         * config/bfin/uclinux.h: Define _GNU_SOURCE in CPLUSPLUS_CPP_SPEC.
1771
1772 2006-03-13  Jeff Law  <law@redhat.com>
1773
1774         * tree-vrp.c (stmt_interesting_for_vrp): Some statements with
1775         virtual operands are interesting.
1776         (vrp_visit_stmt): Corresponding changes.
1777
1778 2006-03-13  Bernd Schmidt  <bernd.schmidt@analog.com>
1779
1780         * config/bfin/lib1funcs.asm (___umodsi3): Use stack to save contents
1781         of RETS.
1782         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): If
1783         TARGET_ID_SHARED_LIBRARY, define __ID_SHARED_LIB__.
1784         * config/bfin/crti.S: Use it instead of __PIC__.
1785         * config/bfin/crtn.S: Likewise.
1786
1787         * config/bfin/bfin.md (call_value_symbol, sibcall_value_symbol,
1788         call_symbol, sibcall_symbol): Disallow if TARGET_ID_SHARED_LIBRARY,
1789         not if flag_pic.
1790         Lose 'G' modifier for call operand.
1791         * config/bfin/bfin.c (print_operand) <case SYMBOL_REF>: Don't
1792         recognize 'G' modifier.
1793
1794 2006-03-13  Eric Botcazou  <ebotcazou@adacore.com>
1795
1796         PR middle-end/18859
1797         * gimplify.c (gimplify_switch_expr): Discard empty ranges.
1798         * stmt.c (expand_case): Likewise.
1799
1800 2006-03-13  Zdenek Dvorak <dvorakz@suse.cz>
1801
1802         PR rtl-optimization/26254
1803         * loop-invariant.c (seq_insns_valid_p): New function.
1804         (move_invariant_reg): Only emit new code if it is valid.
1805
1806 2006-03-13  Zdenek Dvorak <dvorakz@suse.cz>
1807
1808         * cfgrtl.c (last_loop_beg_note, back_edge_of_syntactic_loop_p):
1809         Removed.
1810         (force_nonfallthru_and_redirect): Do not use last_loop_beg_note.
1811         (rtl_split_edge): Do not use back_edge_of_syntactic_loop_p.
1812         (commit_one_edge_insertion): Do not look for loop notes.
1813
1814 2006-03-13  Zdenek Dvorak <dvorakz@suse.cz>
1815
1816         * jump.c (follow_jumps): Do not check for loop notes.  Move check for
1817         flag_test_coverage out of loop.
1818
1819 2006-03-13  Zdenek Dvorak <dvorakz@suse.cz>
1820
1821         * final.c (shorten_branches): Remove outdated comment, and turn
1822         the if branch that guards it to continue.
1823
1824 2006-03-13  Zdenek Dvorak <dvorakz@suse.cz>
1825
1826         * cfgloop.c (flow_loop_dump): Do not dump loop->invalid field.
1827         * cfgloop.h (struct loop): Remove unused fields.
1828
1829 2006-03-13  Kazu Hirata  <kazu@codesourcery.com>
1830
1831         * doc/invoke.texi (-fdump-rtl-loop): Remove.
1832         (-dL, -fdump-rtl-loop2): Update the dump file names 
1833
1834         * doc/invoke.texi: Update dump file names.
1835
1836 2006-03-12  Steven Bosscher  <stevenb.gcc@gmail.com>
1837
1838         * predict.c (estimate_probability): Remove.
1839         * profile.c (rest_of_handle_branch_prob, pass_branch_prob): Remove.
1840         * basic-block.h (estimate_probability): Remove prototype.
1841         * passes.c (finish_optimization_passes): Dump branch prediction or
1842         profiling heuristics to the .profile tree dump.
1843         (init_optimization_passes): Unqueue pass_branch_prob.
1844
1845         * doc/invoke.texi (-fdump-rtl-bp): Remove.
1846
1847 2006-03-11  Steven Bosscher  <stevenb.gcc@gmail.com>
1848
1849         * rtl.def (LABEL_REF): Remove the field for LABEL_NEXTREF.
1850         * rtl.h (LABEL_NEXTREF): Remove field accessor.
1851
1852 2006-03-11  Eric Botcazou  <ebotcazou@adacore.com>
1853
1854         * function.h (frame_offset_overflow): Declare.
1855         * function.c (frame_offset_overflow): New function.
1856         (assign_stack_local_1): Call it to detect that the offset overflows.
1857         * cfgexpand.c (alloc_stack_frame_space): Likewise.
1858
1859 2006-03-11  Steven Bosscher  <stevenb.gcc@gmail.com>
1860
1861         * config/sh/sh.c: Include alloc-pool.h.
1862         (label_ref_list_pool): New alloc pool.
1863         (label_ref_list_t): New type for lists of labels.
1864         (struct pool_node): Make wend a label_ref_list_t.
1865         (add_constant): Use the new type, eradicate LABEL_NEXTREF
1866         references.
1867         (dump_table): Likewise.
1868         (sh_reorg): Set up the alloc pool before using add_constant and
1869         dump_table, and destroy it when finishing.
1870
1871 2006-03-11  Richard Sandiford  <richard@codesourcery.com>
1872
1873         * config/mips/mips.c: Remove redundant comment.
1874
1875 2006-03-10  Jason Merrill  <jason@redhat.com>
1876
1877         PR c/26004
1878         * gimplify.c (gimplify_modify_expr_rhs): Don't do return slot opt if 
1879         the target was declared 'register'.
1880
1881 2006-03-10  Adam Nemet  <anemet@caviumnetworks.com>
1882
1883         * genpreds.c (write_insn_constraint_len): Change definition of
1884         insn_constraint_len to return size_t to match the declaration.
1885
1886 2006-03-10  DJ Delorie  <dj@redhat.com>
1887
1888         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Bit numbers
1889         start at zero.
1890         (m32c_expand_insv): Fix test for an AND mask.
1891
1892 2006-03-10  Richard Guenther  <rguenther@suse.de>
1893
1894         PR middle-end/26565
1895         * builtins.c (get_pointer_alignment): Handle component
1896         references for field alignment.
1897
1898 2006-03-10  J"orn Rennecke <joern.rennecke@st.com>
1899
1900         * config.gcc (sh*-superh-elf, sh*elf (newlib)): Use newlib.h
1901         when building with libgloss.
1902         (sh*elf): Implement --without-fp option.
1903         (sh64-superh-linux*): Don't multilib. 
1904
1905 2006-03-10  J"orn Rennecke <joern.rennecke@st.com>
1906
1907         * struct-equiv.c (rtx_equiv_p): Fix POST_MODIFY case.
1908
1909 2006-03-09  Andrew Pinski  <pinskia@physics.uc.edu>
1910
1911         * tree-ssa-phiopt.c (tree_ssa_phiopt): Add cfgchanged variable.
1912         Set it when one of the replacement functions returned true.
1913         Return TODO_cleanup_cfg if cfgchanged is true.
1914         (pass_phiopt) <todo_flags_finish>: Remove TODO_cleanup_cfg.
1915
1916 2006-03-09  Adam Nemet  <anemet@caviumnetworks.com>
1917
1918         * combine.c (simplify_shift_const_1): Use gen_lowpart_or_truncate
1919         instead of gen_lowpart.
1920
1921 2006-03-09  Richard Sandiford  <richard@codesourcery.com>
1922
1923         * config/mips/mips-protos.h (mips_output_conditional_branch): Change
1924         interface.
1925         (mips_output_order_conditional_branch): Declare.
1926         * config/mips/mips.h (MIPS_BRANCH): New macro.
1927         * config/mips/mips.c (gen_conditional_branch): Use VOIDmode
1928         for the comparison.  Use gen_condjump.
1929         (mips_output_conditional_branch): Rework interface to take the
1930         asm templates for a direct branch and the inverse of a direct branch.
1931         (mips_output_order_conditional_branch): New function.
1932         (mips_builtin_branch_and_move): New function.
1933         (mips_expand_builtin_compare): Use it.  Use VOIDmode for the
1934         branch condition.  Use gen_single_cc as the condition for
1935         __builtin_mips_upper_* or __builtin_mips_lower_*.
1936         (mips_expand_builtin_bposge): Use mips_builtin_branch_and_move.
1937         Use VOIDmode for the branch condition.
1938         * config/mips/predicates.md (order_operator): New predicate.
1939         * config/mips/mips.md (UNSPEC_SINGLE_CC): New constant.
1940         (branch_fp): Rename to...
1941         (*branch_fp): ...this.  Remove mode from comparison operator.
1942         Use new mips_output_conditional_branch interface.
1943         (branch_fp_inverted): Rename to...
1944         (*branch_fp_inverted): ...this and update as for *branch_fp.
1945         (*branch_zero<mode>): Rename to...
1946         (*branch_order<mode>): ...this.  Remove mode from comparison operator.
1947         Use mips_output_order_conditional_branch.  Only accept ordered
1948         comparisons.  
1949         (*branch_zero<mode>_inverted): Rename to...
1950         (*branch_order<mode>_inverted): ...this and update as for
1951         *branch_order<mode>.
1952         (*branch_equality<mode>): Accept zero as the second operand to
1953         the equality operator.  Use the new mips_output_conditional_branch
1954         interface.
1955         (*branch_equality<mode>_inverted): Likewise.
1956         (condjump): New expander.
1957         * config/mips/mips-dsp.md (mips_bposge): Remove mode from comparison
1958         operator.
1959         * config/mips/mips-ps-3d.md (bc1any4t, bc1any4f): Likewise.
1960         (bc1any2t, bc1any2f): Likewise.
1961         (single_cc): New expander.
1962         (*branch_upper_lower, *branch_upper_lower_inverted): New patterns.
1963
1964 2006-03-09  Richard Sandiford  <richard@codesourcery.com>
1965
1966         * doc/md.texi: Update documentation of MIPS constraints.
1967         * config/mips/constraints.md: New file.
1968         * config/mips/mips.md: Include it.
1969         * config/mips/mips.c (mips_char_to_class): Delete.
1970         (override_options): Don't initialize mips_char_to_class.
1971         * config/mips/mips.h (mips_char_to_class): Delete.
1972         (REG_CLASS_FROM_LETTER): Delete.
1973         (CONST_OK_FOR_LETTER_P): Delete.
1974         (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
1975         (EXTRA_CONSTRAINT_Y): Delete.
1976         (EXTRA_CONSTRAINT_STR): Delete.
1977         (CONSTRAINT_LEN): Delete.
1978         (EXTRA_MEMORY_CONSTRAINT): Delete.
1979
1980 2006-03-09  Diego Novillo  <dnovillo@redhat.com>
1981
1982         * tree-cfg.c (move_block_to_fn): Remove the statements from the
1983         original fn's eh regions.
1984
1985 2006-03-09  Eric Botcazou  <ebotcazou@adacore.com>
1986
1987         * fold-const.c (build_range_check): Make sure to use a valid type to
1988         apply the "(c>=low) && (c<=high) into (c-low>=0) && (c-low<=high-low)"
1989         transformation.
1990
1991         (range_predecessor): New static function.
1992         (range_successor): Likewise.
1993         (merge_ranges): Use them to compute predecessors and successors of
1994         range bounds.
1995
1996 2006-03-09  Roger Sayle  <roger@eyesopen.com>
1997
1998         PR middle-end/26561
1999         * fold-const.c (fold_div_compare): When optimizing X/C1 op C2 as
2000         X op C3, consider whether C3 overflows towards +Inf or -Inf.
2001
2002 2006-03-08  DJ Delorie  <dj@redhat.com>
2003
2004         * config/m32c/addsub.md (addqi3): Disparage a0/a1.
2005         (addpsi3): Expand to include memory operands.  Remove
2006         reload-specific splits.
2007         * config/m32c/bitops.md (bset_qi, bset_hi, bclr_qi): New.
2008         (andqi3_16, andhi3_16, iorqi3_16, iorhi3_16): New.
2009         (andqi3_24, andhi3_24, iorqi3_24, iorhi3_24): New.
2010         (andqi3, andhi3, iorqi3, iorhi3): Convert to expanders.
2011         (shift1_qi, shift1_hi, insv): New.
2012         * config/m32c/cond.md (cbranchqi4, cbranchhi4): Remove.
2013         (cbranch<mode>4, stzx_16, stzx_24_<mode>, stzx_reversed,
2014         cmp<mode>, b<code>, s<code>, s<code>_24, movqicc, movhicc,
2015         cond_to_int): New.
2016         * config/m32c/m32c-protos.h: Update as needed.
2017         * config/m32c/m32c.c (m32c_reg_class_from_constraint): Don't
2018         default the Rcr, Rcl, Raw, and Ral constraints.  Add Ra0 and Ra1.
2019         Fail for unrecognized R* constraints.
2020         (m32c_cannot_change_mode_class): Be more picky about pseudos.
2021         (m32c_const_ok_for_constraint_p): Add Imb, Imw, and I00.
2022         (m32c_extra_constraint_p2): Allow (mem (plus (plus fb int) int)).
2023         Add Sp constraint.
2024         (m32c_init_libfuncs): New.
2025         (m32c_legitimate_address_p): Add debug wrapper.
2026         (m32c_rtx_costs): New.
2027         (m32c_address_cost): New.
2028         (conversions): Add 'B' prefix.
2029         (m32c_print_operand): 'h' and 'H' pick lower and upper halves of
2030         operands, or word regnames for QI operands.  'B' prints bit
2031         position.
2032         (m32c_expand_setmemhi): New.
2033         (m32c_expand_movmemhi): New.
2034         (m32c_expand_movstr): New.
2035         (m32c_expand_cmpstr): New.
2036         (m32c_prepare_shift): Shift counts are limited to 16 bits at a time.
2037         (m32c_expand_neg_mulpsi3): Handle non-ints.
2038         (m32c_cmp_flg_0): New.
2039         (m32c_expand_movcc): New.
2040         (m32c_expand_insv): New.
2041         (m32c_scc_pattern): New.
2042         * config/m32c/m32c.h (reg classes): Add AO_REGS and A1_REGS.  Take
2043         a0/a1 out of SIregs.
2044         (STORE_FLAG_VALUE): New.
2045         * config/m32c/m32c.md: Add unspecs for string moves.  Define various mode and
2046         code macros.
2047         (no_insn): New.
2048         * config/m32c/mov.md: Make constraints more liberal.
2049         (zero_extendqihi2): Optimize r0/r1 case.
2050         * config/m32c/muldiv.md (mulpsi3): Check for intvals.
2051         * config/m32c/predicates.md (m32c_any_operand): New.
2052         (m32c_nonimmediate_operand): New.
2053         (m32c_hl_operand): New.
2054         (m32c_r3_operand): New.
2055         (ap_operand): New.
2056         (ma_operand): New.
2057         (memsym_operand): New.
2058         (memimmed_operand): New.
2059         (a_qi_operand): New.
2060         (m32c_eqne_operator): New.
2061         (m32c_1bit8_operand): New.
2062         (m32c_1bit16_operand): New.
2063         (m32c_1mask8_operand): New.
2064         (m32c_1mask16_operand): New.
2065         * config/m32c/blkmov.md: New file.
2066         * config/m32c/t-m32c (MD_FILES): Add blkmov.
2067
2068 2006-03-08  Andreas Tobler  <a.tobler@schweiz.ch>
2069
2070         * dwarf2out.c (expand_builtin_dwarf_sp_column): Make dwarf_regnum
2071         unsigned to fix signed/unsigned comparison issue in
2072         DWARF2_FRAME_REG_OUT.
2073         (expand_builtin_init_dwarf_reg_sizes): Make i unsigned to fix signed/
2074         unsigned comparison issue in DWARF2_FRAME_REG_OUT.
2075
2076         * tree-ssa-operands.c (finalize_ssa_def_ops): Move the declaration
2077         of ptr into the ENABLE_CHECKING section.
2078
2079 2006-03-08  Jeff Law  <law@redhat.com>
2080
2081         * tree-vrp.c (infer_value_range): Only count pointer uses
2082         and dereferences if -fdelete-null-pointer-checks is enabled.
2083
2084         * tree-vrp.c (find_assert_locations): Infer value ranges for
2085         single use pointers, but do not create ASSERT_EXPRs for them.
2086         When a non-null range is inferred for a pointer, backwards
2087         propagate that range to other equivalent pointers through the
2088         use-def chain.
2089
2090 2006-03-08  Paolo Bonzini  <bonzini@gnu.org>
2091
2092         PR bootstrap/26500
2093         * Makefile.in (dvi, html, install-info): Invoke the corresponding
2094         language hook targets.
2095         * ada/Make-lang.in, cp/Make-lang.in, objc/Make-lang.in,
2096         objcp/Make-lang.in: Create stub rules for dvi, html, install-info
2097         if language hook targets were missing.
2098
2099 2006-03-07  Zdenek Dvorak <dvorakz@suse.cz>
2100
2101         * tree-ssa-opfinalize.h: Removed.
2102         * Makefile.in (tree-ssa-operands.o): Remove tree-ssa-opfinalize.h
2103         dependency.
2104         * tree-ssa-operands.c: Do not include tree-ssa-opfinalize.h.
2105         (ALLOC_OPTYPE, APPEND_OP_AFTER, MOVE_HEAD_AFTER, MOVE_HEAD_TO_FREELIST,
2106         INITIALIZE_USE, add_def_op, add_use_op, add_vuse_op, add_maydef_op,
2107         add_mustdef_op, finalize_ssa_def_ops, finalize_ssa_use_ops,
2108         finalize_ssa_v_may_def_ops, finalize_ssa_vuse_ops,
2109         finalize_ssa_v_must_def_ops): New.
2110
2111 2006-03-07  Kenneth Zadeck <zadeck@naturalbridge.com>
2112
2113         * df-scan.c: (df_bb_refs_record): Fix obvious typo with wrong
2114         block as parameter.
2115
2116 2006-03-07  Geoffrey Keating  <geoffk@apple.com>
2117
2118         * varasm.c (assemble_end_function): Say that 'fnname' is unused.
2119
2120         * config/i386/i386.c (ix86_delegitimize_address): Handle Darwin
2121         addresses with offsets; reorganize.
2122
2123         * dwarf2out.c (DWARF2_FRAME_REG_OUT): Move up in file.
2124         (expand_builtin_dwarf_sp_column): Call DWARF2_FRAME_REG_OUT.
2125         (expand_builtin_init_dwarf_reg_sizes): Likewise.
2126
2127 2006-03-08  David Billinghurst <David.Billinghurst@riotinto.com>
2128
2129         PR target/26588
2130         * config/i386/cygwin.h (GOMP_SELF_SPECS): Define.
2131
2132 2006-03-08  Ben Elliston  <bje@au.ibm.com>
2133
2134         * config/fp-bit.h (CMPtype): Typedef to a word mode integer.
2135
2136 2006-03-07  Aldy Hernandez  <aldyh@redhat.com>
2137
2138         PR gomp/26238
2139         * doc/passes.texi (Tree-SSA passes): Document omp lowering and
2140         expansion.
2141
2142 2006-03-07  Richard Guenther  <rguenther@suse.de>
2143
2144         PR tree-optimization/26587
2145         * tree-ssa-structalias.c (handle_ptr_arith): Handle MINUS_EXPR.
2146
2147 2006-03-07  Richard Sandiford  <richard@codesourcery.com>
2148
2149         * varasm.c (assemble_variable): Fix setting of DECL_IN_TEXT_SECTION.
2150
2151 2006-03-07  Richard Sandiford  <richard@codesourcery.com>
2152
2153         * hooks.c (hook_bool_mode_rtx_true): New function.
2154         * hooks.h (hook_bool_mode_rtx_true): Declare.
2155         * toplev.c (compile_file): Call output_shared_constant_pool.
2156         * varasm.c (shared_constant_pool): New variable.
2157         (assemble_start_function, assemble_end_function): Remove arguments
2158         from call to output_constant_pool.
2159         (create_constant_pool): New function, split out from...
2160         (init_varasm_status): ...here.
2161         (force_const_mem): Choose between the shared and per-function constant
2162         pools.  Set current_function_uses_const_pool when reusing old entries
2163         as well as when creating new ones.
2164         (mark_constant): Ignore data argument.
2165         (mark_constants): Remove pool argument.
2166         (mark_constant_pool): Likewise.  Use current_function_uses_const_pool
2167         to decide whether the function uses a constant pool.
2168         (output_constant_pool_contents): New function, split out from...
2169         (output_constant_pool): ...here.
2170         (output_shared_constant_pool): New function.
2171         (init_varasm_once): Initialize shared_constant_pool.
2172         * output.h (output_constant_pool): Delete.
2173         (output_shared_constant_pool): Declare.
2174         * config/s390/s390-protos.h (s390_output_constant_pool): Delete.
2175         * config/i386/i386.c (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Override.
2176
2177 2006-03-06  Nick Clifton  <nickc@redhat.com>
2178
2179         * config/m32r/m32r.h (OPTIMIZATION_OPTIONS): Remove reference to
2180         flag_strength_reduce.
2181
2182 2006-03-06  Ben Elliston  <bje@au.ibm.com>
2183
2184         * config.gcc: Add t-dfprules to $tmake_file for i*86-*-linux* and
2185         x86_64-*-linux* configurations.
2186
2187         * config/dfp-bit.h (CMPtype): Typedef to a word mode integer.
2188         (LIBGCC2_WORDS_BIG_ENDIAN): Define.
2189
2190 2006-03-05  Kazu Hirata  <kazu@codesourcery.com>
2191
2192         * tree-ssa-threadupdate.c (rediscover_loops_after_threading):
2193         Remove.
2194         * basic-block.h: Remove the extern for
2195         rediscover_loops_after_threading.
2196
2197         * cfgloop.c (cancel_loop): Make it static.
2198         * cfgloop.h: Remove the prototype for cancel_loop.
2199
2200         * flow.c (recompute_reg_usage): Make it static.
2201         * rtl.h: Remove the prototype for recompute_reg_usage.
2202
2203         * function.c (use_return_register): Make it static.
2204         * function.h: Remove the prototype.
2205
2206 2006-03-05  Kazu Hirata  <kazu@codesourcery.com>
2207
2208         * recog.c (volatile_mem_p, validate_change_maybe_volatile):
2209         Remove.
2210         * recog.h: Remove the prototype for
2211         validate_change_maybe_volatile.
2212
2213 2006-03-05  Kazu Hirata  <kazu@codesourcery.com>
2214
2215         * rtlanal.c (replace_reg): Remove.
2216         * rtl.h: Remove the prototype for replace_reg.
2217
2218 2006-03-05  Kazu Hirata  <kazu@codesourcery.com>
2219
2220         * regclass.c (reg_scan_update): Remove.
2221         (reg_scan_mark_refs): Remove the last argument.
2222         * rtl.h: Remove the prototype for reg_scan_update.
2223
2224 2006-03-04  Kazu Hirata  <kazu@codesourcery.com>
2225
2226         * builtins.c, c-pragma.h, c-typeck.c, cgraph.c, cgraphunit.c,
2227         combine.c, common.opt, config/dfp-bit.c, config/i386/i386.c,
2228         config/m68k/m68k.c, config/m68k/m68k.md, config/mt/mt.c,
2229         config/mt/mt.h, config/s390/s390.md, df-core.c, df-problems.c,
2230         df-scan.c, df.h, diagnostic.c, expr.c, function.h, gimplify.c,
2231         loop-invariant.c, omp-low.c, opts.c, passes.c,
2232         rtl-factoring.c, rtlanal.c, struct-equiv.c, tree-cfgcleanup.c,
2233         tree-ssa-loop-niter.c, tree-ssa-loop-prefetch.c,
2234         tree-ssa-structalias.c, tree-ssa-threadedge.c,
2235         tree-ssa-threadupdate.c, tree-vect-patterns.c,
2236         tree-vect-transform.c, tree-vectorizer.h, tree-vrp.c,
2237         unwind-dw2.c: Fix comment typos.  Follow spelling conventions.
2238
2239 2006-03-04  Kazu Hirata  <kazu@codesourcery.com>
2240
2241         * dwarf2out.c (dwarf2out_add_library_unit_info): Remove.
2242         * dwarf2out.h: Remove the prototype for
2243         dwarf2out_add_library_unit_info.
2244
2245 2006-03-04  Kazu Hirata  <kazu@codesourcery.com>
2246
2247         * tree.c (add_var_to_bind_expr): Remove.
2248         * tree.h: Remove the prototype for add_var_to_bind_expr.
2249
2250 2006-03-04  Kazu Hirata  <kazu@codesourcery.com>
2251
2252         * regclass.c (n_non_fixed_regs): Remove.
2253         (init_reg_sets_1, globalize_reg): Remove all uses of
2254         n_non_fixed_regs.
2255         * hard-reg-set.h: Remove the extern for n_non_fixed_regs.
2256
2257 2006-03-04  Kazu Hirata  <kazu@codesourcery.com>
2258
2259         * rtlanal.c (insns_safe_to_move_p): Remove.
2260         * rtl.h: Remove the prototype for insns_safe_to_move_p.
2261
2262 2006-03-04  Kazu Hirata  <kazu@codesourcery.com>
2263
2264         * expmed.c (expand_mult_add): Remove.
2265         * expr.h: Remove the prototype for expand_mult_add.
2266
2267 2006-03-04  Jakub Jelinek  <jakub@redhat.com>
2268
2269         * unwind-dw2.h (_Unwind_FrameState): Add REG_SAVED_VAL_OFFSET
2270         and REG_SAVED_VAL_EXP constants.
2271         * unwind-dw2.c (struct _Unwind_Context): Add by_value array.
2272         (_Unwind_GetGR, _Unwind_SetGR, _Unwind_GetGRPtr, _Unwind_SetGRPtr):
2273         Handle regs stored by value.
2274         (_Unwind_SetGRValue, _Unwind_GRByValue): New functions.
2275         (execute_cfa_program): Handle DW_CFA_val_offset,
2276         DW_CFA_val_offset_sf and DW_CFA_val_expression.
2277         (uw_update_context_1): Handle REG_SAVED_REG with regs stored by
2278         value specially.  Handle REG_SAVED_VAL_OFFSET and REG_SAVED_VAL_EXP.
2279         (uw_install_context_1): Handle target regs stored by value.
2280
2281 2006-03-03  Daniel Berlin  <dberlin@dberlin.org>
2282
2283         * tree-sra.c (tree_sra): Return todoflags;
2284         (generate_one_element): Set TODO_update_smt_usage if needed.
2285         (pass_sra): Remove TODO_update_smt_usage.
2286         * tree-ssa-forwprop.c (forward_propagate_addr_expr): Add some
2287         parameter.
2288         (tree_ssa_forward_propagate_single_use_vars): Return
2289         TODO_update_smt_usage if we need to update SMT usage.
2290         (pass_forwprop): Remove TODO_update_smt_usage.
2291         
2292 2006-03-03  Diego Novillo  <dnovillo@redhat.com>
2293
2294         * tree-ssa-operands.c: Tidy whitespace.  Fix spelling.
2295         (correct_use_link): Remove reference to get_stmt_operands.
2296         (update_stmt_operands): Likewise.
2297         (get_modify_expr_operands): New function factored out of
2298         parse_ssa_operands and get_expr_operands.
2299         Try to create V_MUST_DEFs for LHS by default.
2300         (get_expr_operands) <case MODIFY_EXPR>: Call
2301         get_modify_expr_operands.
2302         <case ARRAY_RANGE_REF>: Handle together with ARRAY_REF.
2303         <case BIT_FIELD_REF>: Clear opf_kill_def from FLAGS.
2304         (parse_ssa_operands) <case MODIFY_EXPR>: Call
2305         get_modify_expr_operands.
2306
2307 2006-03-03  Kazu Hirata  <kazu@codesourcery.com>
2308
2309         * tree-dfa.c (referenced_var_lookup_if_exists): Remove.
2310         * tree-flow.h: Remove the prototype for
2311         referenced_var_lookup_if_exists.
2312
2313 2006-03-03  Steve Ellcey  <sje@cup.hp.com>
2314
2315         PR rtl-optimization/26345
2316         PR target/19061
2317         * config/ia64/predicates.md (basereg_operand): Don't look in subregs.
2318
2319 2006-03-03  Roger Sayle  <roger@eyesopen.com>
2320
2321         PR tree-optimization/26524
2322         * tree-scalar-evolution.c (interpret_rhs_modify_expr): Use
2323         fold_convert to create a constant of the appropriate type.
2324
2325 2006-03-03  Richard Sandiford  <richard@codesourcery.com>
2326
2327         * doc/tm.texi: Refer to SYMBOL_REF_HAS_BLOCK_INFO_P instead of
2328         SYMBOL_REF_IN_BLOCK_P.
2329         * doc/rtl.texi: Likewise.  Refer to SYMBOL_FLAG_HAS_BLOCK_INFO instead
2330         of SYMBOL_FLAG_IN_BLOCK.
2331         * gengtype.c (adjust_field_rtx_def): Use SYMBOL_REF_HAS_BLOCK_INFO_P
2332         instead of SYMBOL_REF_IN_BLOCK_P.
2333         * explow.c (use_anchored_address): Likewise.
2334         * rtl.c (rtx_size): Likewise.
2335         * varasm.c (create_block_symbol): Set SYMBOL_FLAG_HAS_BLOCK_INFO
2336         instead of SYMBOL_FLAG_IN_BLOCK.
2337         (make_decl_rtl): Use SYMBOL_REF_HAS_BLOCK_INFO_P instead of
2338         SYMBOL_REF_IN_BLOCK_P.
2339         (assemble_variable): Likewise.
2340         (output_constant_def_contents): Likewise.
2341         (output_constant_pool): Likewise.
2342         (default_encode_section_info): Preserve SYMBOL_FLAG_HAS_BLOCK_INFO
2343         instead of SYMBOL_FLAG_IN_BLOCK.
2344         * rtl.h (block_symbol): Refer to SYMBOL_REF_HAS_BLOCK_INFO_P instead of
2345         SYMBOL_REF_IN_BLOCK_P.
2346         (SYMBOL_REF_BLOCK): Likewise.
2347         (SYMBOL_REF_OFFSET): Likewise.
2348         (BLOCK_SYMBOL_CHECK): Use SYMBOL_REF_HAS_BLOCK_INFO_P instead of
2349         SYMBOL_REF_IN_BLOCK_P.
2350         (SYMBOL_FLAG_IN_BLOCK): Replace with...
2351         (SYMBOL_FLAG_HAS_BLOCK_INFO): ...this.
2352         (SYMBOL_REF_IN_BLOCK_P): Replace with...
2353         (SYMBOL_REF_HAS_BLOCK_INFO_P): ...this.
2354
2355 2006-03-03  Jakub Jelinek  <jakub@redhat.com>
2356
2357         * config/arm/unwind-arm.h (_Unwind_GetIPInfo): Fix pasto.
2358
2359 2006-03-02  Roger Sayle  <roger@eyesopen.com>
2360
2361         * simplify-rtx.c (simplify_unary_operation): When simplifying
2362         (neg (lt X 0)) into (ashiftrt X C) or (lshiftrt X C), make sure
2363         that we perform the right shift in the appropriate mode, and
2364         then extend or truncate the result to requested mode.
2365
2366 2006-03-03  Zdenek Dvorak <dvorakz@suse.cz>
2367
2368         * gengtype.c (main): Handle double_int type.
2369         * tree.h (struct tree_int_cst): Make type of int_cst double_int.
2370         * double-int.c: New file.
2371         * double-int.h: New file.
2372         * system.h: Include doubleint.h.
2373         * Makefile.in (SYSTEM_H): Include double-int.h.
2374         (double-int.o): Add.
2375
2376 2006-03-03  Joseph S. Myers  <joseph@codesourcery.com>
2377
2378         PR bootstrap/26478
2379         * Makefile.in (stmp-int-hdrs): Remove include/unwind.h before
2380         copying over it.
2381
2382 2006-03-02  Zdenek Dvorak <dvorakz@suse.cz>
2383
2384         * tree-vrp.c (remove_range_assertions): Do not update statements
2385         unnecessarily.
2386
2387 2006-03-02  Zdenek Dvorak <dvorakz@suse.cz>
2388
2389         * cse.c (rest_of_handle_cse): Do not pass CLEANUP_PRE_LOOP to cfg
2390         cleanup.
2391         * gcse.c (rest_of_handle_gcse): Ditto.
2392         * except.c (gate_handle_eh): Ditto.
2393         * cfgcleanup.c (rest_of_handle_jump2): Ditto.
2394         * basic-block.h (CLEANUP_PRE_LOOP): Remove.
2395
2396 2006-03-02  Eric Christopher  <echristo@apple.com>
2397
2398         * config/i386/i386.c (machopic_output_stub): Add indirection to
2399         jump.
2400
2401 2006-03-02  Zdenek Dvorak <dvorakz@suse.cz>
2402
2403         * loop.c: Removed.
2404
2405 2006-03-02  David S. Miller  <davem@sunset.davemloft.net>
2406
2407         Sun Niagara specific optimizations.
2408         * config.gcc: Recognize niagara as target.
2409         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Mention Niagara.
2410         (TARGET_CPU_niagara): Define.
2411         (CPP_CPU64_DEFAULT_SPEC): Define __sparc_v9__ for Niagara.
2412         (ASM_CPU64_DEFAULT_SPEC): Pass -Av9b for Niagara.
2413         (CPP_CPU_SPEC): Handle -mcpu=niagara.
2414         (ASM_CPU_SPEC): Likewise.
2415         (PROCESSOR_NIAGARA): New enum entry.
2416         (REGISTER_MOVE_COST): Handle Niagara.
2417         (BRANCH_COST, PREFETCH_BLOCK, SIMULTANEOUS_PREFETCHES): Likewise.
2418         * config/sparc/sparc.c (niagara_costs): New processor_costs entry.
2419         (sparc_override_options): Recognize "niagara", set appropriate
2420         default MASK_* values for it, and align functions to 32-bytes
2421         by default just like ULTRASPARC/ULTRASPARC3.
2422         (sparc_initialize_trampoline): Handle niagara like ultrasparc.
2423         (sparc64_initialize_trampoline): Likewise.
2424         (sparc_use_sched_lookahead): Use zero for niagara.
2425         (sparc_issue_rate): Use one for niagara.
2426         * config/sparc/niagara.md: New file.
2427         * config/sparc/sparc.md: Include it.
2428         * config/sparc/sol2-bi.h (CPP_CPU64_DEFAULT_SPEC,
2429         ASM_CPU32_DEFAULT_SPEC, ASM_CPU64_DEFAULT_SPEC): Set appropriately
2430         when default cpu is niagara.
2431         (CPP_CPU_SPEC): Handle -mcpu=niagara.
2432         (ASM_CPU_SPEC): Likewise.
2433         * config/sparc/sol2.h (ASM_CPU_DEFAULT_SPEC): Set appropriately
2434         when default cpu is niagara.
2435         (ASM_CPU_SPEC): Handle -mcpu=niagara.
2436         * config/sparc/linux64.h: Handle a default of TARGET_CPU_niagara
2437         just like v9/ultrasparc/ultrasparc3.
2438         * doc/invoke.texi: Add documentation for "niagara" and improve
2439         existing documentation for ultrasparc variants.
2440
2441 2006-03-02  Diego Novillo  <dnovillo@redhat.com>
2442
2443         * tree-ssa-operands.c (update_stmt_operands): Update documentation.
2444
2445 2006-03-02  Richard Sandiford  <richard@codesourcery.com>
2446
2447         * doc/tm.texi (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Document.
2448         (ASM_OUTPUT_BSS): Describe the two ways of handling global BSS,
2449         and say that only one is needed.
2450         * doc/rtl.texi (SYMBOL_REF_BLOCK): Say that the block can be null.
2451         * target.h (have_switchable_bss_sections): New hook.
2452         * explow.c (use_anchored_address): Check that the symbol is in a block.
2453         * varasm.c (tls_comm_section, comm_section, lcomm_section)
2454         (bss_noswitch_section): New variables.
2455         (get_unnamed_section): Add SECTION_UNNAMED to the flags.
2456         (get_noswitch_section): New function.
2457         (get_block_for_section): Allow SECT to be null.
2458         (unlikely_text_section_p): Use SECTION_STYLE.
2459         (bss_initializer_p): New function.
2460         (get_variable_section): Move earlier in file.  Take a new argument,
2461         prefer_noswitch_p.  Move bss checks from assemble_variable to here.
2462         Return one of the new *_sections in such cases.
2463         (get_block_for_decl): New function, extracting some logic from
2464         use_blocks_for_decl_p.
2465         (change_symbol_section): Remove in favor of...
2466         (change_symbol_block): ...this new function.
2467         (use_blocks_for_decl_p): Remove checks now performed by
2468         get_block_for_decl.
2469         (make_decl_rtl): Use change_symbol_block and get_block_for_decl.
2470         (ASM_EMIT_LOCAL, ASM_EMIT_BSS, ASM_EMIT_COMMON): Delete in favor of...
2471         (emit_local, emit_bss, emit_common): ...these new functions.
2472         Return true if the alignment was honored.
2473         (emit_tls_common): New function.
2474         (asm_emit_uninitialised): Delete.
2475         (assemble_variable_noswitch): New function, split out from...
2476         (assemble_variable): ...here.  Don't make decisions about common
2477         variables here.  Globalize all public decls that go into non-common
2478         sections.  Check whether SYMBOL_REF_BLOCK is null.
2479         (output_constant_def_contents): Check whether SYMBOL_REF_BLOCK is null.
2480         (output_constant_pool): Likewise.
2481         (init_varasm_once): Initialize the new section variables.
2482         (have_global_bss_p): New function.
2483         (categorize_decl_for_section): Use bss_initializer_p.
2484         (switch_to_section): Use SECTION_STYLE.  Abort for SECTION_NOSWITCH.
2485         (place_block_symbol): Assert that the symbol must be in a block.
2486         * target-def.h (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): New macro.
2487         (TARGET_INITIALIZER): Include it.
2488         * rtl.h (SYMBOL_REF_BLOCK): Document the null alternative.
2489         * output.h (SECTION_STYLE_MASK, SECTION_COMMON): New macros.
2490         (SECTION_MACH_DEP): Bump by two.
2491         (SECTION_UNNAMED, SECTION_NOSWITCH): New macros.
2492         (unnamed_section): Mention SECTION_UNNAMED in comment.
2493         (named_section): Likewise SECTION_NAMED.
2494         (noswitch_section_callback): New type.
2495         (noswitch_section): New structure.
2496         (section): Add a noswitch_section alternative.
2497         (SECTION_STYLE): New macro.
2498         (tls_comm_section, comm_section, lcomm_section): Declare.
2499         (bss_noswitch_section, have_global_bss_p): Declare.
2500         * config/elfos.h (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Override.
2501         * config/iq2000/iq2000.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS):
2502         Override.
2503         * config/v850/v850.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Override.
2504         * config/stormy16/stormy16.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS):
2505         Override.
2506
2507 2006-03-02  Daniel Berlin <dberlin@dberlin.org>
2508
2509         * gcc/tree-vrp.c (execute_vrp): Return value.
2510         * gcc/regrename.c (rest_of_handle_regrename): Ditto.
2511         * gcc/tree-into-ssa.c (rewrite_into_ssa): Ditto.
2512         * gcc/tree-complex.c (tree_lower_complex): Ditto.
2513         (tree_lower_complex_O0): Ditto.
2514         * gcc/tracer.c (rest_of_handle_tracer): Ditto.
2515         * gcc/postreload-gcse.c (rest_of_handle_gcse2): Ditto.
2516         * gcc/postreload.c (rest_of_handle_postreload): Ditto.
2517         * gcc/tree-tailcall.c (execute_tail_recursion): Ditto.
2518         (execute_tail_calls): Ditto.
2519         * gcc/tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
2520         * gcc/tree.h (init_function_for_compilation): Ditto.
2521         * gcc/ipa-cp.c (ipcp_driver): Ditto.
2522         * gcc/tree-scalar-evolution.c (scev_const_prop): Ditto.
2523         * gcc/tree-scalar-evolution.h (scev_const_prop): Ditto.
2524         * gcc/final.c (compute_alignments): Ditto.
2525         (rest_of_handle_final): Ditto.
2526         (rest_of_handle_shorten_branches): Ditto.
2527         (rest_of_clean_state): Ditto.
2528         * gcc/omp-low.c (execute_expand_omp): Ditto.
2529         (execute_lower_omp): Ditto.
2530         * gcc/tree-ssa-dse.c (tree_ssa_dse): Ditto.
2531         * gcc/ipa-reference.c (static_execute): Ditto.
2532         * gcc/tree-ssa-uncprop.c (tree_ssa_uncprop): Ditto.
2533         * gcc/reorg.c (rest_of_handle_delay_slots): Ditto.
2534         (rest_of_handle_machine_reorg): Ditto.
2535         * gcc/cgraphunit.c (rebuild_cgraph_edges): Ditto.
2536         * gcc/flow.c (recompute_reg_usage): Ditto.
2537         (rest_of_handle_remove_death_notes): Ditto.
2538         (rest_of_handle_life): Ditto.
2539         (rest_of_handle_flow2): Ditto.
2540         * gcc/tree-ssa-copyrename.c (rename_ssa_copies): Ditto.
2541         * gcc/tree-ssa-ccp.c (do_ssa_ccp): Ditto.
2542         (do_ssa_store_ccp): Ditto.
2543         (execute_fold_all_builtins): Ditto.
2544         * gcc/mode-switching.c (rest_of_handle_mode_switching): Ditto.
2545         * gcc/modulo-sched.c (rest_of_handle_sms): Ditto.
2546         * gcc/ipa-pure-const.c (static_execute): Ditto.
2547         * gcc/cse.c (rest_of_handle_cse): Ditto.
2548         (rest_of_handle_cse2): Ditto.
2549         * gcc/web.c (rest_of_handle_web): Ditto.
2550         * gcc/tree-stdarg.c (execute_optimize_stdarg): Ditto.
2551         * gcc/tree-ssa-math-opts.c (execute_cse_reciprocals): Ditto.
2552         * gcc/tree-ssa-dom.c (tree_ssa_dominator_optimize): Ditto.
2553         * gcc/tree-nrv.c (tree_nrv): Ditto.
2554         (execute_return_slot_opt): Ditto.
2555         * gcc/tree-ssa-alias.c (compute_may_aliases): Ditto.
2556         (create_structure_vars): Ditto.
2557         * gcc/loop-init.c (rtl_loop_init): Ditto.
2558         (rtl_loop_done): Ditto.
2559         (rtl_move_loop_invariants): Ditto.
2560         (rtl_unswitch): Ditto.
2561         (rtl_unroll_and_peel_loops): Ditto.
2562         (rtl_doloop): Ditto.
2563         * gcc/gimple-low.c (lower_function_body): Ditto.
2564         (mark_used_blocks): Ditto.
2565         * gcc/tree-ssa-sink.c (execute_sink_code): Ditto.
2566         * gcc/ipa-inline.c (cgraph_decide_inlining): Ditto.
2567         (cgraph_early_inlining): Ditto.
2568         * gcc/global.c (rest_of_handle_global_alloc): Ditto.
2569         * gcc/jump.c (cleanup_barriers): Ditto.
2570         (purge_line_number_notes): Ditto.
2571         * gcc/ifcvt.c (rest_of_handle_if_conversion): Ditto.
2572         (rest_of_handle_if_after_reload): Ditto.
2573         * gcc/tree-ssa-loop.c (tree_ssa_loop_init): Ditto.
2574         (tree_ssa_loop_im): Ditto.
2575         (tree_ssa_loop_unswitch): Ditto.
2576         (tree_vectorize): Ditto.
2577         (tree_linear_transform): Ditto.
2578         (tree_ssa_loop_ivcanon): Ditto.
2579         (tree_ssa_empty_loop): Ditto.
2580         (tree_ssa_loop_bounds): Ditto.
2581         (tree_complete_unroll): Ditto.
2582         (tree_ssa_loop_prefetch): Ditto.
2583         (tree_ssa_loop_ivopts): Ditto.
2584         (tree_ssa_loop_done): Ditto.
2585         * gcc/predict.c (tree_estimate_probability): Ditto.
2586         * gcc/recog.c (split_all_insns_noflow): Ditto.
2587         (rest_of_handle_peephole2): Ditto.
2588         (rest_of_handle_split_all_insns): Ditto.
2589         * gcc/tree-eh.c (lower_eh_constructs): Ditto.
2590         * gcc/regmove.c (rest_of_handle_regmove): Ditto.
2591         (rest_of_handle_stack_adjustments): Ditto.
2592         * gcc/local-alloc.c (rest_of_handle_local_alloc): Ditto.
2593         * gcc/function.c (instantiate_virtual_regs): Ditto.
2594         (init_function_for_compilation): Ditto.
2595         (rest_of_handle_check_leaf_regs): Ditto.
2596         * gcc/gcse.c (rest_of_handle_jump_bypass): Ditto.
2597         (rest_of_handle_gcse): Ditto.
2598         * gcc/ipa-type-escape.c (type_escape_execute): Ditto.
2599         * gcc/alias.c (rest_of_handle_cfg): Ditto.
2600         * gcc/tree-if-conv.c (main_tree_if_conversion): Ditto.
2601         * gcc/profile.c (rest_of_handle_branch_prob): Ditto.
2602         * gcc/tree-ssa-phiopt.c (tree_ssa_phiopt): Ditto.
2603         * gcc/rtl-factoring.c (rest_of_rtl_seqabstr): Ditto.
2604         * gcc/bt-load.c (rest_of_handle_branch_target_load_optimize): Ditto
2605         * gcc/tree-dfa.c (find_referenced_vars): Ditto.
2606         * gcc/except.c (set_nothrow_function_flags): Ditto.
2607         (convert_to_eh_region_ranges): Ditto.
2608         (rest_of_handle_eh): Ditto.
2609         * gcc/emit-rtl.c (unshare_all_rtl): Ditto.
2610         (remove_unnecessary_notes): Ditto.
2611         * gcc/except.h (set_nothrow_function_flags): Ditto.
2612         (convert_to_eh_region_ranges): Ditto.
2613         * gcc/cfgexpand.c (tree_expand_cfg): Ditto.
2614         * gcc/tree-cfgcleanup.c (merge_phi_nodes): Ditto.
2615         * gcc/tree-ssa-pre.c (do_pre): Ditto.
2616         (execute_fre): Ditto.
2617         * gcc/cfgcleanup.c (rest_of_handle_jump): Ditto.
2618         (rest_of_handle_jump2): Ditto.
2619         * gcc/tree-sra.c (tree_sra): Ditto.
2620         * gcc/tree-mudflap.c (execute_mudflap_function_ops): Ditto.
2621         (execute_mudflap_function_decls): Ditto.
2622         * gcc/tree-ssa-copy.c (do_copy_prop): Ditto.
2623         (do_store_copy_prop): Ditto.
2624         * gcc/ipa-prop.h (ipcp_driver): Ditto.
2625         * gcc/cfglayout.c (insn_locators_initialize): Ditto.
2626         * gcc/tree-ssa-forwprop.c
2627         (tree_ssa_forward_propagate_single_use_vars): Ditto.
2628         * gcc/cfglayout.h (insn_locators_initialize): Ditto.
2629         * gcc/tree-ssa-dce.c (tree_ssa_dce): Ditto.
2630         * gcc/tree-ssa.c (execute_early_warn_uninitialized): Ditto.
2631         (execute_late_warn_uninitialized): Ditto.
2632         * gcc/rtl.h (cleanup_barriers): Ditto.
2633         (split_all_insns_noflow): Ditto.
2634         (purge_line_number_notes): Ditto.
2635         (unshare_all_rtl): Ditto.
2636         (remove_unnecessary_notes): Ditto.
2637         (recompute_reg_usage): Ditto.
2638         (variable_tracking_main): Ditto.
2639         * gcc/integrate.c (emit_initial_value_sets): Ditto.
2640         * gcc/integrate.h (emit_initial_value_sets): Ditto.
2641         * gcc/tree-optimize.c (execute_free_datastructures): Ditto
2642         (execute_free_cfg_annotations): Ditto.
2643         (execute_fixup_cfg): Ditto.
2644         (execute_cleanup_cfg_pre_ipa): Ditto.
2645         (execute_cleanup_cfg_post_optimizing): Ditto.
2646         (execute_init_datastructures): Ditto.
2647         * gcc/tree-object-size.c (compute_object_sizes): Ditto.
2648         * gcc/combine.c (rest_of_handle_combine): Ditto.
2649         * gcc/tree-outof-ssa.c (rewrite_out_of_ssa): Ditto.
2650         * gcc/bb-reorder.c (duplicate_computed_gotos): Ditto.
2651         (rest_of_handle_reorder_blocks): Ditto.
2652         (rest_of_handle_partition_blocks): Ditto.
2653         * gcc/var-tracking.c (variable_tracking_main): Ditto.
2654         * gcc/tree-profile.c (tree_profiling): Ditto.
2655         * gcc/tree-vect-generic.c (expand_vector_operations): Ditto.
2656         * gcc/reg-stack.c (rest_of_handle_stack_regs): Ditto.
2657         * gcc/sched-rgn.c (rest_of_handle_sched): Ditto.
2658         (rest_of_handle_sched2): Ditto.
2659         * gcc/basic-block.h (free_bb_insn): Ditto.
2660         * gcc/tree-ssa-structalias.c (ipa_pta_execute): Ditto.
2661         * gcc/tree-cfg.c (execute_build_cfg): Ditto.
2662         (remove_useless_stmts): Ditto.
2663         (split_critical_edges): Ditto.
2664         (execute_warn_function_return): Ditto.
2665         (execute_warn_function_noreturn): Ditto.
2666         * gcc/tree-ssa-reassoc.c (execute_reassoc): Ditto.
2667         * gcc/cfgrtl.c (free_bb_for_insn): Ditto.
2668         * gcc/passes.c (execute_one_pass): Run additional
2669         todos returned by execute function.
2670         * gcc/tree-pass.h (struct tree_opt_pass): Make execute
2671         return a value.
2672
2673 2006-03-02  Richard Guenther  <rguenther@suse.de>
2674
2675         * tree-ssa-alias.c (find_used_portions): Consider taking
2676         the address as making the variable not write-only.
2677
2678 2006-03-02  Nick Clifton  <nickc@redhat.com>
2679
2680         * config.gcc (default_use_cxa_atexit): Extend the description of
2681         this configure variable.  Set its default value to "yes" for
2682         Linux, NetBSD and ELF targets on the assumption that they will
2683         use C libraries with the __cxa_atexit function.
2684
2685 2006-03-02  Ben Elliston  <bje@au.ibm.com>
2686
2687         * config/rs6000/linux-unwind.h (frob_update_context): Mark `fs'
2688         parameter as unused to suppress a build warning.
2689
2690 2006-03-02  Ben Elliston  <bje@au.ibm.com>
2691
2692         * mklibgcc.in: Depend on config/dfp-bit.h in rules that compile
2693         config/dfp-bit.c.
2694
2695 2006-03-01  Roger Sayle  <roger@eyesopen.com>
2696
2697         PR other/26489
2698         * gthr-posix.h (__gthrw2): Define to take three parameters, the
2699         declared name, the weak reference name, and the typeof name.
2700         (__gthrw): Avoid expanding the declared name suffix.
2701         (__gthrw3): New Tru64 specific macro to simplify the OSF/1 decls.
2702
2703 2006-03-01  Jakub Jelinek  <jakub@redhat.com>
2704
2705         * dwarf2.h (DW_TAG_condition, DW_TAG_shared_type): New constants
2706         from DWARF 3.
2707         (DW_AT_description, DW_AT_binary_scale, DW_AT_decimal_scale,
2708         DW_AT_small, DW_AT_decimal_sign, DW_AT_digit_count,
2709         DW_AT_picture_string, DW_AT_mutable, DW_AT_threads_scaled,
2710         DW_AT_explicit, DW_AT_object_pointer, DW_AT_endianity,
2711         DW_AT_elemental, DW_AT_pure, DW_AT_recursive): New.
2712         (DW_OP_form_tls_address, DW_OP_call_frame_cfa, DW_OP_bit_piece): New.
2713         (DW_ATE_packed_decimal, DW_ATE_numeric_string, DW_ATE_edited,
2714         DW_ATE_signed_fixed, DW_ATE_unsigned_fixed): New.
2715         (DW_DS_unsigned, DW_DS_leading_overpunch, DW_DS_trailing_overpunch,
2716         DW_DS_leading_separate, DW_DS_trailing_separate): New.
2717         (DW_END_default, DW_END_big, DW_END_little): New.
2718         (DW_END_lo_user, DW_END_hi_user): Define.
2719         (DW_LNE_lo_user, DW_LNE_hi_user): Define.
2720         (DW_CFA_val_offset, DW_CFA_val_offset_sf, DW_CFA_val_expression): New.
2721         (DW_LANG_PLI, DW_LANG_ObjC, DW_LANG_ObjC_plus_plus, DW_LANG_UPC,
2722         DW_LANG_D): New.
2723
2724 2006-03-01  Diego Novillo  <dnovillo@redhat.com>
2725
2726         * tree.def (SYMBOL_MEMORY_TAG): Rename from TYPE_MEMORY_TAG.
2727         Update all users.
2728         * tree-pass.h (PROP_smt_usage): Rename from PROP_tmt_usage.
2729         Update all users.
2730         (TODO_update_smt_usage): Rename from TODO_update_tmt_usage.
2731         Update all users.
2732         * tree.h (SMT_USED_ALONE): Rename from TMT_USED_ALONE.
2733         Update all users.
2734         * tree-flow.h (struct var_ann_d): Rename field 'type_mem_tag'
2735         to 'symbol_mem_tag'.
2736         Update all users.
2737         * doc/tree-ssa.texi: Update documentation to reflect TMT->SMT
2738         rename.
2739
2740 2006-03-01  Roger Sayle  <roger@eyesopen.com>
2741
2742         * builtins.c (fold_builtin_copysign): Delete unreachable code.
2743
2744 2006-03-01  Andrew Pinski  <pinskia@physics.uc.edu>
2745
2746         PR target/25761
2747         * config/darwin.h (MACHOPIC_JUST_INDIRECT): Check just
2748         MACHO_DYNAMIC_NO_PIC_P.
2749         (MACHOPIC_PURE): Check flag_pic and not MACHO_DYNAMIC_NO_PIC_P.
2750
2751 2006-03-01  Andrew Pinski  <pinskia@physics.uc.edu>
2752
2753         PR target/26389
2754         * config/darwin-protos.h (darwin_asm_output_anchor):
2755         Declare.
2756         * config/darwin-sections.def (cstring_section):
2757         Add SECTION_MERGE to the flags.
2758         (literal4_section): Likewise.
2759         (literal8_section): Likewise.
2760         (objc_selector_refs_section): Likewise.
2761         (objc_cls_refs_section): Likewise.
2762         * config/darwin.c (darwin_asm_output_anchor): New
2763         function.
2764         * config/darwin.h (TARGET_ASM_OUTPUT_ANCHOR): Define.
2765
2766 2006-03-01  Daniel Berlin  <dberlin@dberlin.org>
2767
2768         Fix PR tree-optimization/26443
2769         * tree-vrp.c (pass_vrp): Add TODO_update_tmt_usage
2770         to todo and PROP_tmt_usage to properties_destroyed.
2771         * tree-ssa-ccp.c (pass_ccp): Ditto.
2772         (pass_store_ccp): Ditto.
2773         * tree-ssa-dom.c (pass_dominator): Ditto.
2774
2775 2006-03-01  Diego Novillo  <dnovillo@redhat.com>
2776
2777         * tree-ssa-operands.c: Cleanup whitespace.
2778         (get_asm_expr_operands): Move before first invocation.
2779         (get_indirect_ref_operands): Likewise.
2780         (get_tmr_operands): Likewise.
2781         (get_call_expr_operands): Likewise.
2782         (append_def): Likewise.
2783         (append_use): Likewise.
2784         (append_v_may_def): Likewise.
2785         (append_v_must_def): Likewise.
2786         (add_call_clobber_ops): Likewise.
2787         (add_call_read_ops): Likewise.
2788         (add_stmt_operand): Likewise.
2789         (add_virtual_operand): Likewise.
2790         (build_ssa_operands): Likewise.
2791
2792 2006-03-01  Andrew Pinski  <pinskia@physics.uc.edu>
2793
2794         PR middle-end/26022
2795         Revert:
2796         PR middle-end/24437
2797         * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
2798         with a call expr to ...
2799         * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.
2800
2801 2006-03-01  Diego Novillo  <dnovillo@redhat.com>
2802
2803         * tree-vrp.c (extract_range_from_assert): Remove special
2804         handling for types with super-types.
2805
2806 2006-03-01  Ben Elliston  <bje@au.ibm.com>
2807
2808         * config.gcc: Add t-dfprules to $tmake_file for powerpc-*-linux*
2809         and powerpc64-*-linux* configurations.
2810         * config/t-dfprules: New file.
2811
2812         * mklibgcc.in: Add logic to handle $DFP_ENABLE and $DFP_CFLAGS.
2813         Compile dfp-bit.c from the source directory using -DWIDTH and
2814         $DFP_CFLAGS to control the compilation of that file, rather than
2815         generating width-specific versions in the build directory.
2816         * Makefile.in (libgcc.mk): Pass down DFP_ENABLE and DFP_CFLAGS.
2817         (LIBGCC_DEPS): Replace $(D32PBIT) et al with config/dfp-bit.[hc].
2818
2819 2006-02-28  Zack Weinberg  <zackw@panix.com>
2820
2821         * doc/md.texi: Avoid use of @headitem so that makeinfo <4.7
2822         continues to work.
2823
2824 2006-02-28  Eric Christopher  <echristo@apple.com>
2825
2826         * config/rs6000/darwin.h (ENABLE_STACK_EXECUTE): Define.
2827         Set up IN_LIBGCC definition of TARGET_64BIT.
2828         * config/i386/darwin.h (ENABLE_STACK_EXECUTE): Define.
2829
2830 2006-02-28  Roger Sayle  <roger@eyesopen.com>
2831
2832         PR middle-end/14752
2833         * c-common.c (c_common_truthvalue_conversion) <MINUS_EXPR,
2834         BIT_XOR_EXPR, BIT_AND_EXPR>: Delete.  Let fold optimize these
2835         cases via the construction of "expr != 0".
2836
2837 2006-02-28  Steven Bosscher  <stevenb.gcc@gmail.com>
2838
2839         * alias.c (alias_invariant, alias_invariant_size): Remove.
2840         (record_base_value): Remove.
2841         (memrefs_conflict_p): Don't look at alias_invariant.
2842         (end_alias_analysis): Don't free it.
2843         * alias.h (record_base_value): Remove prototype.
2844
2845 2006-02-28  Paolo Bonzini  <bonzini@gnu.org>
2846             Adam Nemet  <anemet@caviumnetworks.com>
2847
2848         * rtl.h (truncated_to_mode): Declare it.
2849         (struct rtl_hooks): Add reg_truncated_to_mode hook.
2850         * rtlhooks-def.h (RTL_HOOKS_REG_TRUNCATED_TO_MODE): New macro.
2851         (RTL_HOOKS_INITIALIZER): Include it.
2852         * rtlhooks.c (reg_truncated_to_mode_general): New function.
2853         * combine.c (RTL_HOOKS_REG_TRUNCATED_TO_MODE): Override to
2854         reg_truncated_to_mode.
2855         * rtlanal.c (truncated_to_mode): Define it.
2856         * simplify-rtx.c (simplify_unary_operation_1): Use it.
2857
2858 2006-02-28  Jeff Law  <law@redhat.com>
2859
2860         * tree-chrec.c (chrec_convert_aggressive): Do not eliminate
2861         conversions where TYPE_MIN_VALUE/TYPE_MAX_VALUE do not cover
2862         the range allowed by TYPE_PRECISION.
2863
2864         * tree.h (strct phi_arg_d): Remove unused NONZERO field.
2865
2866 2006-02-28  Dorit Nuzman  <dorit@il.ibm.com>
2867
2868         PR tree-optimization/26419
2869         * doc/invoke.texi (ftree-vectorizer-verbose): Add information on
2870         values of n.
2871
2872 2006-02-27  Zack Weinberg  <zackw@panix.com>
2873
2874         * doc/md.texi: Fix typo in previous change.
2875
2876 2006-02-27  Kenneth Zadeck <zadeck@naturalbridge.com>
2877
2878         * df.c: Remove.
2879
2880 2006-02-27  Zack Weinberg  <zackw@panix.com>
2881
2882         * rtl.def (define_constraint, define_register_constraint)
2883         (define_memory_constraint, define_address_constraint): New MD forms.
2884         * gensupport.c (process_rtx): Put define_constraint etc on the
2885         predicate queue.
2886         * genpreds.c (process_define_predicate): Adjust comment.  Validate
2887         the name, and call validate_exp to validate the expression.
2888         (mark_mode_tests, write_extract_subexp): Can assume correct input.
2889         (write_predicate_expr): Likewise.  NAME argument no longer necessary;
2890         all callers changed.
2891         (validate_exp, needs_variable, struct constraint_data)
2892         (constraints_by_letter_table, first_constraint, last_constraint_ptr)
2893         (FOR_ALL_CONSTRAINTS, generic_constraint_letters, const_int_constraints)
2894         (const_dbl_constraints, constraint_max_namelen)
2895         (have_register_constraints, have_memory_constraints)
2896         (have_address_constraints, have_address_constraints)
2897         (have_extra_constraints, have_const_int_constraints)
2898         (have_const_dbl_constraints, mangle, add_constraint)
2899         (process_define_constraint, process_define_register_constraint)
2900         (write_enum_constraint_num, write_lookup_constraint)
2901         (write_insn_constraint_len, write_regclass_for_constraint)
2902         (write_constraint_satisfied_p, write_insn_const_int_ok_for_constraint)
2903         (write_insn_extra_memory_constraint)
2904         (write_insn_extra_address_constraint)
2905         (write_satisfies_constraint_fns): New.
2906         (write_tm_preds_h): If we have new-style constraint definitions,
2907         prototype the functions generated from them, and define the
2908         old constraint interface (still used by generic code) in terms of
2909         those functions.
2910         (write_insn_preds_c): If we have new-style constraint definitions,
2911         generate all relevant functions from those definitions.
2912         (main): Handle define_constraint etc.
2913         * genoutput.c (struct constraint_data, indep_constraints)
2914         (mdep_constraint_letters, constraints_by_letter_table, note_constraint)
2915         (mdep_constraint_len): New data structures and functions, defined
2916         #ifdef USE_MD_CONSTRAINTS.
2917         (check_constraint_len): Don't define #ifdef USE_MD_CONSTRAINTS.
2918         (validate_insn_alternatives): If USE_MD_CONSTRAINTS is defined,
2919         use new logic to validate operand constraints against constraint
2920         definitions.
2921         (main): Process define_constraint etc. if USE_MD_CONSTRAINTS is
2922         defined.
2923         * defaults.h: If none of the old-style constraint macros are
2924         defined, define USE_MD_CONSTRAINTS; do not provide defaults for any
2925         old-style macros; and poison REG_CLASS_FROM_LETTER,
2926         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P, and
2927         EXTRA_CONSTRAINT.
2928         * recog.c (reg_fits_class_p): If cl is NO_REGS, return 0 immediately.
2929         * doc/md.texi: Document new constraint-definition mechanism and the
2930         C interface it provides.  Remove references to old mechanism
2931         elsewhere in the document.
2932         (Machine Constraints): Use pathnames relative to gcc directory,
2933         i.e. config/ARCH/FILE.  Change i386 section to refer to
2934         config/i386/predicates.md; update that section to match docstrings.
2935         * doc/tm.texi: Move all documentation of the old constraint-
2936         definition macros to their own section, clearly mark as obsolete.
2937
2938         * config/i386/predicates.md (R, q, Q, l, a, b, c, d, S, D, A, f, t)
2939         (u, y, x, Y, I, J, K, L, M, N, O, G, C, e, Z): New constraint
2940         definitions.
2941         * config/i386/i386.h (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P)
2942         (CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete.
2943         * config/i386/i386.md (*movdf_nointeger): Remove stray 'H' from
2944         constraint strings.
2945         (splits and peepholes): Use satisfies_constraint_*.
2946         * config/i386/i386.c (memory_address_length)
2947         (ix86_attr_length_immediate_default): Use satisfies_constraint_*.
2948
2949 2006-02-27  Daniel Berlin  <dberlin@dberlin.org>
2950
2951         * lambda-code.c (can_convert_to_perfect_nest): Allow any type of
2952         scalar operation to be put back into the loop.
2953
2954 2006-02-27  Jakub Jelinek  <jakub@redhat.com>
2955
2956         PR other/26208
2957         * unwind-dw2.c (struct _Unwind_Context): Add signal_frame field.
2958         (extract_cie_info): Handle S flag in augmentation string.
2959         (execute_cfa_program): If context->signal_frame, execute also
2960         fs->pc == context->ra instructions.
2961         (uw_frame_state_for): If context->signal_frame, don't subtract one
2962         from context->ra to find FDE.
2963         (uw_update_context_1): Set context->signal_frame to
2964         fs->signal_frame.
2965         (_Unwind_GetIPInfo): New function.
2966         * unwind-dw2.h (_Unwind_FrameState): Add signal_frame field.
2967         * unwind-c.c (PERSONALITY_FUNCTION): Use _Unwind_GetIPInfo instead
2968         of _Unwind_GetIP.
2969         * unwind-sjlj.c (_Unwind_GetIPInfo): New function.
2970         * unwind-generic.h (_Unwind_GetIPInfo): New prototype.
2971         * unwind-compat.c (_Unwind_GetIPInfo): New function.
2972         * libgcc-std.ver (_Unwind_GetIPInfo): Export @@GCC_4.2.0.
2973         * config/ia64/unwind-ia64.c (_Unwind_GetIPInfo): New function.
2974         * config/arm/unwind-arm.h (_Unwind_GetIPInfo): Define.
2975         * config/i386/linux-unwind.h (x86_fallback_frame_state,
2976         x86_64_fallback_frame_state): Set fs->signal_frame.
2977         * config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Likewise.
2978         (MD_FROB_UPDATE_CONTEXT): Define unconditionally.
2979         (frob_update_context): Likewise.  Workaround missing S flag in
2980         Linux 2.6.12 - 2.6.16 kernel vDSOs.
2981         * config/s390/linux-unwind.h (s390_fallback_frame_state): Likewise.
2982         Remove the psw_addr + 1 hack.
2983
2984 2006-02-27  Daniel Berlin  <dberlin@dberlin.org>
2985
2986         * tree-ssa-structalias.c (get_constraint_for): Move code to deal
2987         with aggregates here.
2988         (find_func_aliases): Remove code for &<aggregate> from here.
2989
2990 2006-02-26  Roger Sayle  <roger@eyesopen.com>
2991
2992         * fold-const.c (fold_binary) <EQ_EXPR>:  Fold (~X & C) eq/ne 0 as
2993         (X & C) ne/eq 0, where C is a single bit, i.e. a power of two.
2994         Fold both "((X & C) ^ C) eq/ne 0" and "((X ^ C) & C) eq/ne 0"
2995         as (X & C) ne/eq 0.
2996
2997 2006-02-26  Roger Sayle  <roger@eyesopen.com>
2998
2999         PR middle-end/19983
3000         * real.c (real_nan): Allow both 0x and 0X as hexadecimal prefixes.
3001
3002 2006-02-26  Zdenek Dvorak <dvorakz@suse.cz>
3003
3004         * opts.c (decode_options): Do not handle flag_strength_reduce.
3005         (common_handle_option): Handle OPT_floop_optimize, OPT_frerun_loop_opt
3006         and OPT_fstrength_reduce.
3007         * tree-ssa-loop.c (tree_ssa_loop_prefetch): Only test
3008         flag_prefetch_loop_arrays for being nonzero.
3009         * common.opt (floop-optimize, frerun-loop-opt): Resurrected as
3010         no-ops.
3011         (fprefetch-loop-arrays-rtl): Removed.
3012         (flag_prefetch_loop_arrays): Do not specify the value.
3013
3014         * doc/passes.texi: Update documentation of loop optimizer
3015         passes.
3016         * doc/invoke.texi (-fstrength-reduce, -fprefetch-loop-arrays-rtl,
3017         -frerun-loop-opt): Remove.
3018
3019 2006-02-26  Richard Guenther  <rguenther@suse.de>
3020
3021         PR tree-optimization/26421
3022         * tree-ssa-alias.c (find_used_portions): Don't treat parameters
3023         in function calls that are ADDR_EXPRs as using the whole structure.
3024
3025 2006-02-26  Steven Bosscher  <stevenb.gcc@gmail.com>
3026
3027         * common.opt (-floop-optimize, -frerun-loop-opt): Remove.
3028         * tree-pass.h (pass_loop_optimize): Remove.
3029         * passes.c (pass_loop_optimize): Never run it.
3030         * toplev.c (backend_init): Don't call init_loop.
3031         * opts.c (flag_loop_optimize_set): Remove.
3032         (decode_options): Never set flag_loop_optimize or flag_rerun_loop_opt.
3033         (common_handle_option) <OPT_floop_optimize>: Remove.  Don't disable
3034         the old RTL loop optimizer when profiling enabled.
3035         * predict.c (tree_estimate_probability): Always strip builtin_expect.
3036         * cfgcleanup.c (try_forward_edges): Don't avoid killing loop
3037         pre-headers for the sake of the old RTL loop optimizer.
3038         * Makefile.in: Remove all references to loop.o.
3039
3040         * doc/invoke.texi: Remove all references to -floop-optimize
3041         and -frerun-loop-opt.
3042
3043 2006-02-26  Zack Weinberg  <zackw@panix.com>
3044
3045         * doc/md.texi (Machine Constraints): Refer to all files with paths
3046         relative to gcc directory (i.e. config/CPU/file).  Add missing
3047         @table @code ... @end table to M32C subsection.
3048
3049 2006-02-26  Roger Sayle  <roger@eyesopen.com>
3050
3051         * fold-const.c (fold_binary) <BIT_XOR_EXPR>: Fold (X & 1) ^ 1 as
3052         (X & 1) == 0.
3053         <BIT_AND_EXPR>: Fold (X ^ 1) & 1 and ~X & 1 as (X & 1) == 0.
3054
3055 2006-02-26  Roger Sayle  <roger@eyesopen.com>
3056             James A. Morrison  <phython@gcc.gnu.org>
3057
3058         PR middle-end/21137
3059         * fold-const.c (fold_binary) <EQ_EXPR>:  Fold ((X>>C1)&C2) eq/ne 0,
3060         when C2 is a power of two, as either (X&(C2<<C1)) eq/ne 0 if the
3061         new constant C2<<C1, or as (X<0) or (X,false) depending upon the
3062         signedness of the shift operation.
3063
3064 2006-02-26  Dorit Nuzman  <dorit@il.ibm.com>
3065
3066         PR tree-optimization/26359
3067         * tree-ssa-alias.c (new_type_alias): Set fields for new tag.
3068
3069 2006-02-25  Roger Sayle  <roger@eyesopen.com>
3070
3071         * simplify-rtx.c (simplify_relational_operation_1):  Simplify
3072         (X^Y) == 0 as X == Y and (X^Y) != 0 as X != Y.  Simplify (X^Y) == Y
3073         as X == 0, and some symmetry related transformations.
3074         Simplify (X^C1) == C2 as X == (C1^C2).  Split long comment line.
3075
3076 2006-02-25  Roger Sayle  <roger@eyesopen.com>
3077
3078         PR middle-end/23673
3079         * fold-const.c (fold_binary) <EQ_EXPR>:  Fold (X^Y) == 0 as X == Y
3080         and (X^Y) != 0 as X != Y.  Fold (X^Y) == Y as X == 0, and some
3081         symmetry related transformations.  Fold (X^C1) == C2 as
3082         X == (C1^C2).
3083
3084 2006-02-25  Juergen Weigert  <jw@suse.de>
3085         Richard Guenther  <rguenther@suse.de>
3086
3087         * scan-decls.c (scan_decls): Don't fetch new statement after CPP_EOF.
3088
3089 2006-02-24  Adam Nemet  <anemet@caviumnetworks.com>
3090
3091         * combine.c (gen_lowpart_or_truncate): Call
3092         simplify_gen_unary(TRUNCATE, ...) instead of gen_rtx_TRUNCATE.
3093
3094 2006-02-24  Diego Novillo  <dnovillo@redhat.com>
3095
3096         * doc/invoke.texi: Move -fopenmp description to "Options for
3097         Code Generation".
3098         Remove reference to -lgomp.
3099
3100 2006-02-24  David Edelsohn  <edelsohn@gnu.org>
3101
3102         * doc/install.texi: Require GNU tar version 1.14.
3103
3104 2006-02-24  Geoffrey Keating  <geoffk@apple.com>
3105
3106         * doc/tm.texi (Run-time Target): Document C_COMMON_OVERRIDE_OPTIONS.
3107         * doc/invoke.texi (C++ Dialect Options): Document
3108         -fno-use-cxa-get-exception-ptr.
3109         * configure.ac: Define DEFAULT_USE_CXA_ATEXIT to 2 not 1.
3110         * configure: Regenerate.
3111         * c.opt (fuse-cxa-get-exception-ptr): New.
3112         * c-opts.c (c_common_handle_option): Handle
3113         OPT_fuse_cxa_get_exception_ptr.
3114         * c-common.c (flag_use_cxa_atexit): Update documentation.
3115         (flag_use_cxa_get_exception_ptr): New.
3116         * c-common.h (flag_use_cxa_get_exception_ptr): New.
3117         * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Improve
3118         documentation.
3119         (C_COMMON_OVERRIDE_OPTIONS): New.
3120
3121 2006-02-24  Roger Sayle  <roger@eyesopen.com>
3122
3123         PR middle-end/24952
3124         * combine.c (try_combine): Explicitly check whether GET_CODE is
3125         a SET or a CLOBBER, instead on checking that it isn't a USE.
3126
3127 2006-02-24  Roger Sayle  <roger@eyesopen.com>
3128
3129         * fold-const.c (fold_comparison): New subroutine of fold_binary
3130         containing transformations common to both the equality and
3131         ordering relational operators, factored out of fold_binary.
3132         (fold_binary): Separate out the equality operators (EQ_EXPR
3133         and NE_EXPR) from the ordering operators (LT_EXPR, GT_EXPR,
3134         LE_EXPR and GE_EXPR), calling fold_comparison to perform the
3135         transformations common to both.
3136         (fold_div_compare): Fix latent bugs in the previously unreachable
3137         LT_EXPR and GE_EXPR cases.
3138
3139 2006-02-24  David Edelsohn  <edelsohn@gnu.org>
3140
3141         * config/rs6000/rs6000.c (rs6000_init_builtins): Change
3142         decl libname for clog to __clog on AIX.
3143
3144         * config/rs6000/xcoff.h (MAX_OFILE_ALIGNMENT): Define.
3145
3146 2006-02-24  Alan Modra  <amodra@bigpond.net.au>
3147
3148         PR target/26453
3149         * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Don't
3150         output traceback table for thunks.  Localise rs6000_stack_info call.
3151
3152 2006-02-23  Roger Sayle  <roger@eyesopen.com>
3153             Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
3154
3155         * gthr-posix.h (__gthrw): Fix typo in comment.
3156
3157 2006-02-23  Geoffrey Keating  <geoffk@apple.com>
3158
3159         * doc/cpp.texi (Character sets): Document that we do support
3160         input files to be in any character set.
3161
3162 2006-02-23  Jeff Law  <law@redhat.com>
3163
3164         * tree.h (PHI_ARG_NONZERO): Remove.
3165         * tree-phinodes.c (add_phi_arg): No longer initialize PHI_ARG_NONZERO.
3166         (remove_phi_arg_num): No longer copy PHI_ARG_NONZERO from the old
3167         node to the new node.
3168
3169         PR tree-optimization/26425
3170         * tree-vrp.c (vrp_visit_assignment): If the LHS's type has a NULL
3171         min/max, then assume its varying.
3172
3173 2006-02-23  Zdenek Dvorak <dvorakz@suse.cz>
3174
3175         PR rtl-optimization/26316
3176         * rtlanal.c (enum may_trap_p_flags): New.
3177         (may_trap_p_1): Take flags instead of unaligned_mems argument.  Ignore
3178         MEM_NOTRAP_P if flags & MTP_AFTER_MOVE.
3179         (may_trap_p, may_trap_or_fault_p): Pass flags to may_trap_p_1.
3180         (may_trap_after_code_motion_p): New function.
3181         * loop-invariant.c (find_identical_invariants): Fix dump formating.
3182         (find_invariant_insn): Use may_trap_after_code_motion_p.
3183         * rtl.h (may_trap_after_code_motion_p): Declare.
3184
3185 2006-02-23  Zdenek Dvorak <dvorakz@suse.cz>
3186
3187         * emit-rtl.c (immed_double_const): Cleanup.
3188
3189 2006-02-23  Daniel Berlin  <dberlin@dberlin.org>
3190
3191         Fix PR tree-optimization/26376
3192         * tree-ssa-structalias.c (find_func_aliases):  Use get_id_for_tree,
3193         remove assert.
3194
3195 2006-02-23  Jakub Jelinek  <jakub@redhat.com>
3196
3197         PR middle-end/26412
3198         * gimplify.c (omp_add_variable): Guard variable size decl test with
3199         DECL_SIZE (decl) check.
3200
3201 2006-02-23  Richard Guenther  <rguenther@suse.de>
3202
3203         PR middle-end/26439
3204         * tree-ssa-structalias.c (find_func_aliases): Handle complex types
3205         like aggregate types.
3206
3207 2006-02-23  Jakub Jelinek  <jakub@redhat.com>
3208
3209         * configure.ac: Add --with{,out}-long-double-128 configure option.
3210         (TARGET_DEFAULT_LONG_DOUBLE_128): New test.
3211         * configure: Rebuilt.
3212         * config.in: Rebuilt.
3213         * doc/install.texi (Options specification): Document
3214         --with-long-double-128.
3215
3216         * config/rs6000/linux.h [TARGET_DEFAULT_LONG_DOUBLE_128]
3217         (RS6000_DEFAULT_LONG_DOUBLE_SIZE): Define to 128.
3218         * config/rs6000/linux64.h [TARGET_DEFAULT_LONG_DOUBLE_128]
3219         (RS6000_DEFAULT_LONG_DOUBLE_SIZE): Define to 128.
3220
3221 2006-02-23  Aldy Hernandez  <aldyh@redhat.com>
3222
3223         * config/s390/s390.c (override_options): Handle
3224         TARGET_DEFAULT_LONG_DOUBLE_128.
3225
3226         * config/alpha/alpha.c (override_options): Handle
3227         TARGET_DEFAULT_LONG_DOUBLE_128.
3228
3229         * config/sparc/sparc.c (sparc_override_options): Handle
3230         TARGET_DEFAULT_LONG_DOUBLE_128.
3231
3232 2006-02-22  Daniel Jacobowitz  <dan@codesourcery.com>
3233
3234         * Makefile.in (stmp-fixinc): Use real-$(INSTALL_HEADERS_DIR).
3235         (real-install-headers-tar, real-install-headers-cpio)
3236         (real-install-headers-cp): New targets.
3237
3238 2006-02-22  Richard Sandiford  <richard@codesourcery.com>
3239
3240         * tree.h (variable_section): Delete.
3241         * varasm.c (variable_section): Delete.
3242
3243 2006-02-22  Paolo Bonzini  <bonzini@gnu.org>
3244
3245         * install.texi: Add notes on install.texi2html.
3246         (Building in parallel): Do not use footnotes.
3247
3248 2006-02-21  Aldy Hernandez  <aldyh@redhat.com>
3249
3250         PR libgomp/26234
3251         * doc/install.texi (Configuration): Document --disable-libgomp.
3252
3253 2006-02-21  Geoffrey Keating  <geoffk@apple.com>
3254
3255         * config/i386/darwin.h (DWARF2_FRAME_REG_OUT): New.
3256
3257 2006-02-21  Alexandre Oliva  <aoliva@redhat.com>
3258
3259         * config/i386/sse.md (vec_extractv2df_1_sse): New.
3260         (vec_extractv2df_0_sse): New.
3261
3262 2006-02-21  Alexandre Oliva  <aoliva@redhat.com>
3263
3264         * defaults.h (CFA_FRAME_BASE_OFFSET): Define.
3265         * config/ia64/ia64.h (CFA_FRAME_BASE_OFFSET): Override.
3266         * doc/tm.texi (CFA_FRAME_BASE_OFFSET): Document.
3267         * dwarf2out.c (build_cfa_loc): New offset parameter.  Add it
3268         to the result of the expression.
3269         (def_cfa_1): Adjust.
3270         (frame_pointer_cfa_offset): Rename to...
3271         (frame_pointer_fb_offset): ... this.  Adjust all uses.
3272         (convert_cfa_to_loc_list): Rename to...
3273         (convert_cfa_to_fb_loc_list): ... this.  New offset parameter.
3274         Pass it on to build_cfa_loc.
3275         (compute_frame_pointer_to_cfa_displacement): Rename to...
3276         (compute_frame_pointer_to_fb_displacement): ... this.  New
3277         offset parameter.  Use it in computation.
3278         (gen_subprogram_die): Compute cfa_fb_offset with the new
3279         macro, and use it to compute the fb loc list and the
3280         displacement.
3281
3282 2006-02-21  Bernd Schmidt  <bernd.schmidt@analog.com>
3283
3284         * config/bfin/predicates.md (cc_operand): Delete predicate.  All uses
3285         replaced with register_operand.
3286         * config/bfin/bfin.c (bfin_register_move_cost): Moving CC to any
3287         non-DREG is expensive.
3288         * config/bfin/bfin.h (FIXED_REGISTERS): CC isn't fixed.
3289         * config/bfin/bfin.md (movbi): Fix constraints and template for moves
3290         involving memory.
3291
3292 2006-02-21  Joseph S. Myers  <joseph@codesourcery.com>
3293
3294         * doc/install.texi2html: Use set -e.
3295
3296 2006-02-21  Richard Sandiford  <richard@codesourcery.com>
3297
3298         * doc/tm.texi (ASM_OUTPUT_SHARED_COMMON, ASM_OUTPUT_SHARED_BSS)
3299         (ASM_OUTPUT_SHARED_LOCAL): Delete.
3300         * doc/invoke.texi (-fshared-data): Delete.
3301         * common.opt (fshared-data): Delete.
3302         * varasm.c (asm_emit_uninitialised): Remove flag_shared_data handling.
3303         (assemble_static_space): Remove #if 0 code.
3304         * system.h (ASM_OUTPUT_SHARED_COMMON, ASM_OUTPUT_SHARED_BSS)
3305         (ASM_OUTPUT_SHARED_LOCAL): Poison.
3306         * config/cris/cris.h: Remove FIXME.
3307
3308 2006-02-21  Paolo Bonzini  <bonzini@gnu.org>
3309
3310         * doc/sourcebuild.texi (Front End Directory): No more double-colon
3311         hooks.
3312
3313 2006-02-21  Jakub Jelinek  <jakub@redhat.com>
3314
3315         PR middle-end/26379
3316         * combine.c (simplify_shift_const_1): Disable nested shifts
3317         optimization for vector shifts.
3318
3319 2006-02-20  Roger Sayle  <roger@eyesopen.com>
3320
3321         PR tree-optimization/26361
3322         * tree-vrp.c (extract_range_from_unary_expr): Handle NEGATE_EXPR
3323         of unsigned integer types.
3324
3325 2006-02-20  Sebastian Pop  <pop@cri.ensmp.fr>
3326
3327         * tree-chrec.c (eq_evolutions_p): New.
3328         * tree-chrec.h (eq_evolutions_p): Declared.
3329         * tree-data-ref.c: Fix formatting.
3330         (datadep_stats, dependence_stats): New.
3331         (gcd): Moved...
3332         (print_direction_vector): New.
3333         (dump_data_dependence_relation): Use print_direction_vector.
3334         (object_analysis, create_data_ref): Handle COMPONENT_REF.
3335         (compute_subscript_distance): Static.
3336         (initialize_data_dependence_relation): Static.  Get the number
3337         of loops surrounding the references from the callers, and initialize
3338         DDR_SIZE_VECT to nb_loops.  Use both base_addr_differ_p and
3339         base_object_differ_p analyzers.
3340         (analyze_ziv_subscript, analyze_siv_subscript_cst_affine,
3341         compute_overlap_steps_for_affine_1_2,
3342         analyze_subscript_affine_affine): Count the classified dependences.
3343         Print a message when a test failed.
3344         (can_use_analyze_subscript_affine_affine): New.
3345         (analyze_siv_subscript): Compute the data dependences on symbolic
3346         scevs that verify can_use_analyze_subscript_affine_affine.
3347         (chrec_steps_divide_constant_p): Returns true, false, or unknown.
3348         (analyze_miv_subscript): Update use of chrec_steps_divide_constant_p.
3349         Handle symbolic scevs.
3350         (analyze_overlapping_iterations): Let symbolic affine scevs to be
3351         analyzed.
3352         (subscript_dependence_tester): Moved...
3353         (build_classic_dist_vector, build_classic_dir_vector): Don't use
3354         lambda_vector_clear on newly allocated vectors.  Get nb_loops from
3355         DDR_SIZE_VECT instead of getting it in parameter.
3356         (subscript_dependence_tester): ... here.  Take as a parameter
3357         loop_nest_depth.  Call build_classic_dist_vector and
3358         build_classic_dir_vector.
3359         (compute_affine_dependence): Update subscript_dependence_tester
3360         parameters.  Update datadep_stats counters.  Call
3361         compute_subscript_distance.
3362         (compute_self_dependence): Save the dist and dir vectors.  Call
3363         compute_subscript_distance.
3364         (ddr_p, DEF_VEC_P(ddr_p), DEF_VEC_ALLOC_P(ddr_p,heap)): Moved...
3365         (compute_all_dependences): Reorder parameters as they were before
3366         conversion to VEC.  Pass nb_loops and loop_nest_depth.  Don't call
3367         compute_subscript_distance.  Update the use of
3368         compute_affine_dependence and initialize_data_dependence_relation.
3369         (find_data_references_in_loop): Handle COMPONENT_REF.
3370         (compute_data_dependences_for_loop): Initialize dependence_stats.
3371         Don't call build_classic_dist_vector and build_classic_dir_vector.
3372         Update the parameters of initialize_data_dependence_relation and
3373         compute_all_dependences.  Print the statistics from datadep_stats.
3374         (analyze_all_data_dependences): Static.  Not used until the pass for
3375         checking the data dependences is contributed.
3376         * tree-data-ref.h (ddr_p, DEF_VEC_P(ddr_p),
3377         DEF_VEC_ALLOC_P(ddr_p,heap)): ... here.
3378         (initialize_data_dependence_relation, compute_affine_dependence,
3379         analyze_all_data_dependences, compute_subscript_distance): Removed.
3380         (print_direction_vector): New.
3381         * lambda.h (gcd): ... here.
3382         (lambda_vector_gcd): Moved here from gcd_vector.
3383         * lambda-code.c (gcd, gcd_vector): Removed.
3384         (lambda_compute_target_space): Use lambda_vector_gcd.  Fix formatting.
3385         * Makefile.in (tree-vect-patterns.o): Depends on TREE_DATA_REF_H.
3386
3387 2006-02-20  Diego Novillo  <dnovillo@redhat.com>
3388
3389         * ipa-type-escape.c: Tidy some comments and white space.
3390         * tree-ssa-operands.c: Likewise.
3391
3392 2006-02-20  Andrew Pinski  <pinskia@physics.uc.edu>
3393
3394         PR tree-opt/25879
3395         * tree-pretty-print.c (debug_tree_chain): Walk the chains.
3396         (dump_decl_name): Do not walk the decl tree chains.
3397         * tree-pass.h (TDF_CHAIN): Remove.
3398
3399 2006-02-20  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
3400
3401         * Makefile.in (C): Remove