OSDN Git Service

* tree-cfg.c: Prune whitespace.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-05-21  Bernhard Fischer  <aldot@gcc.gnu.org>
2
3         * tree-cfg.c: Prune whitespace.
4         (debug_tree_cfg): Point to correct header containing the
5         TDF_* defines.
6
7 2006-05-21  Bernhard Fischer  <aldot@gcc.gnu.org>
8
9         PR middle-end/25776
10         * cgraphunit.c (verify_cgraph_node): Typo in error message.
11
12 2006-05-20  Andrew Pinski  <pinskia@physics.uc.edu>
13
14         PR middle-end/25776
15         * cgraphunit.c (cgraph_optimize): Don't run ipa passes if error
16         or sorry count is non zero.
17
18 2006-05-20  Andreas Schwab  <schwab@suse.de>
19
20         * config/pa/pa-linux.h (STRING_ASM_OP): Prepend and append a tab.
21
22 2006-05-19  Mike Stump  <mrs@apple.com>
23
24         * c-tree.h (default_conversion): Remove.
25         * c-common.h (default_conversion): Add.
26
27 2006-05-19  Zdenek Dvorak <dvorakz@suse.cz>
28
29         * tree-vrp.c (valid_value_p): New function.
30         (adjust_range_with_scev): Fail if the value of bound is not
31         simple.
32
33 2006-05-19  Richard Sandiford  <richard@codesourcery.com>
34
35         * config/mips/linux-unwind.h: Include <asm/unistd.h>
36         (mips_fallback_frame_state): Use syscall numbers to determine
37         the appropriate li instruction for the current ABI.  Only use
38         __NR_sigreturn for o32.
39
40 2006-05-19  Nicolas Setton  <setton@adacore.com>
41
42         * langhooks.h (struct lang_hooks): Add dwarf_name language hook.
43         * langhooks.c (lhd_dwarf_name): New function.
44         * langhooks-def.h (lhd_dwarf_name): Declare.
45         (LANG_HOOKS_DWARF_NAME): New macro, defaults to lhd_dwarf_name.
46         * dwarf2out.c (dwarf2_name): Use the dwarf_name language hook.
47         * ada/misc.c (gnat_dwarf_name): New function.
48         (LANG_HOOKS_DWARF_NAME): Define to gnat_dwarf_name.
49         
50 2006-05-19  Richard Sandiford  <richard@codesourcery.com>
51
52         * libgcc2.c (MIN_UNITS_PER_WORD): Move default definition from
53         libgcc2.h.
54         (LIBGCC2_UNITS_PER_WORD): Provide default definition, using old
55         MIN_UNITS_PER_WORD logic from libgcc2.h.  Do nothing if
56         LIBGCC2_UNITS_PER_WORD > MIN_UNITS_PER_WORD.
57         * libgcc2.h (MIN_UNITS_PER_WORD): Remove definition from here.
58         Use LIBGCC2_UNITS_PER_WORD rather than MIN_UNITS_PER_WORD to
59         determine the size of Wtype, etc.
60         * mklibgcc.in (LIB2_SIDITI_CONV_FUNCS): New argument.
61         (swfloatfuncs): New variable.
62         (dwfloatfuncs): Likewise.
63         (lib2funcs): Remove floating-point conversion functions from
64         initial assignment.  Use LIB2_SIDITI_CONV_FUNCS to determine
65         the set of conversion routines needed.  Allow entries to specify
66         an object name, filename and word size.  Update users accordingly.
67         * Makefile.in (libgcc.mk): Pass LIB2_SIDITI_CONV_FUNCS.
68         * config/mips/t-mips (LIB2_SIDITI_CONV_FUNCS): Define.
69
70         Revert:
71
72         2006-02-08  Roger Sayle  <roger@eyesopen.com>
73
74         PR target/22209
75         * config/fixtfdi.c: New libgcc source file.
76         * config/fixunstfdi.c: New source file.
77         * config/floatditf.c: New source file.
78         * config/floatunditf.c: New souce file.
79         * config/mips/t-iris6 (LIB2FUNCS_EXTRA): Include the new source
80         files above instead of config/mips/_tilib.c.
81         * config/mips/t-linux64 (LIB2FUNCS_EXTRA): Likewise.
82
83 2006-05-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
84
85         * pa/t-hpux-shlib (SHLIB_LINK): Remove `-lc'.
86         * pa/pa-hpux11.h (LIB_SPEC): Update comment.
87
88 2006-05-18  Mike Stump  <mrs@apple.com>
89
90         Fix up vla, vm and [*] sematics.
91
92         PR c/18740
93         PR c/7948
94         PR c/25802
95         PR c/27673
96         * c-tree.h (struct c_arg_info): Add had_vla_unspec.
97         (c_vla_unspec_p): Add.
98         (c_vla_type_p): Add.
99         * c-decl.c (struct c_scope): Add had_vla_unspec.
100         (build_array_declarator): Add support for [*].
101         (grokdeclarator): Likewise.
102         (grokparms): Likewise.
103         (get_parm_info): Likewise.
104         * c-objc-common.c (c_vla_unspec_p): Likewise.
105         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_VAR_MOD_TYPE_P): Likewise.
106         * c-parser.c (c_parser_typeof_specifier): Evaluate arguments to
107         typeof when argument is a variably modified type not inside sizeof or alignof.
108         (c_parser_direct_declarator_inner): Propagate errors.
109         (c_parser_sizeof_expression): Add support for [*].
110         (c_parser_parms_declarator): Initialize had_vla_unspec.
111         (c_parser_parms_list_declarator): Likewise.
112         * c-typeck.c (c_vla_type_p): Add.
113         (composite_type): Add support for vla compositing.
114         (comptypes_internal): Add support for vla compatibility.
115         (c_expr_sizeof_expr): Evaluate vla arguments.
116         * tree.c (variably_modified_type_p): Update comment for [*].
117
118 2006-05-18  Michael Matz  <matz@suse.de>
119
120         PR target/27599
121         * config.host: Make assignments to host_xmake_file cumulative.
122         * config.host (*-darwin*): Test $host, not $target.
123
124 2006-05-12  Stuart Hastings  <stuart@apple.com>
125
126         * config/i386/i386.opt (-mstackrealign): New flag.
127         * config/i386/i386.c (force_align_arg_pointer): New attribute.
128         (ix86_handle_cconv_attribute): Emit error when
129         force_align_arg_pointer attribute collides with too many regparms.
130         (ix86_function_regparm): Limit regparms when used with
131         force_align_arg_pointer attribute.  (ix86_internal_arg_pointer):
132         Support stack-realigning prologue in non-main functions.  Emit
133         warning for nested functions under -mstackrealign, emit error for
134         nested functions with force_align_arg_pointer attribute.
135         * doc/extend.texi (force_align_arg_pointer): Document it.
136         * doc/invoke.texi (-mstackrealign): Document it.
137
138 2006-05-17  Kazu Hirata  <kazu@codesourcery.com>
139
140         PR rtl-optimization/27477
141         * combine.c (try_combine): Don't split a parallel consisting
142         of two sets into two individual sets if both sets reference
143         cc0.
144
145 2006-05-17  H.J. Lu  <hongjiu.lu@intel.com>
146
147         * config/arm/arm.opt (target_fpe_name): Remove VarExists.
148         * config/rs6000/rs6000.opt (TARGET_NO_FP_IN_TOC): Likewise.
149
150         * doc/options.texi (VarExists): Updated.
151
152 2006-05-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
153
154         * unwind-dw2.c: Add declarations for uw_update_context and
155         uw_frame_state_for.
156         * pa/hpux-unwind.h (pa_fallback_frame_state): When an export stub is
157         detected, advance frame state and context once to skip over stub.
158
159 2006-05-17  Sebastian Pop  <pop@cri.ensmp.fr>
160
161         PR middle-end/20256
162         PR middle-end/26435
163         * tree-loop-linear.c (linear_transform_loops): Don't test perfect_nest_p.
164         Call rewrite_into_loop_closed_ssa only when something changed.
165         * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration.
166         * lambda-code.c (can_convert_to_perfect_nest): Declared.
167         (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter.
168         Test for perfect_nest_p here.  Fix formating.
169         (replace_uses_equiv_to_x_with_y): Fix formating.
170         (stmt_uses_op): Removed.
171         (can_convert_to_perfect_nest): Removed loopivs parameter.
172         Complete the test by checking the scalar dependences.
173         (perfect_nestify): Remove the test for can_convert_to_perfect_nest.
174         Fix formating.
175
176 2005-05-17  Bernd Schmidt  <bernd.schmidt@analog.com>
177
178         PR bootstrap/22541
179         From Dan Kegel <dank@kegel.com>:
180         * Makefile.in: Strip "dir/../" combinations from SYSTEM_INCLUDE_DIR.
181
182 2006-05-17  Eric Botcazou  <ebotcazou@adacore.com>
183
184         * tree.c (variably_modified_type_p) <ARRAY_TYPE>: Return true
185         if the element type is variably modified without recursing.
186
187 2006-05-17  Sebastian Pop  <pop@cri.ensmp.fr>
188
189         PR middle-end/27332
190         * tree-loop-linear.c (try_interchange_loops): Test for
191         no data dependences.
192
193 2006-05-17  Zdenek Dvorak <dvorakz@suse.cz>
194
195         PR tree-optimization/27548
196         * tree-scalar-evolution.c (scev_const_prop): Do not prolong life
197         range of ssa names that appear on abnormal edges.
198         * tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Export.
199         * tree-flow.h (contains_abnormal_ssa_name_p): Declare.
200
201 2005-05-17  Bernd Schmidt  <bernd.schmidt@analog.com>
202
203         PR middle-end/27620
204         * expr.c (safe_from_p): Handle CONSTRUCTOR again.
205
206 2006-05-17  Jakub Jelinek  <jakub@redhat.com>
207
208         PR middle-end/27415
209         * tree.h (OMP_PARALLEL_COMBINED): Define.
210         * gimplify.c (struct gimplify_omp_ctx): Add is_combined_parallel field.
211         (new_omp_context): Add is_combined_parallel argument.
212         (gimplify_scan_omp_clauses): Add in_combined_parallel argument, adjust
213         new_omp_context caller.
214         (gimplify_omp_parallel, gimplify_omp_for, gimplify_omp_workshare):
215         Adjust gimplify_scan_omp_clauses callers.
216         (omp_is_private): Issue errors if iteration variable is firstprivate
217         or reduction in the current context.
218         * c-parser.c (c_parser_omp_parallel): Set OMP_PARALLEL_COMBINED
219         on combined parallel workshare constructs.
220
221 2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>
222
223         * Makefile.in (GCC_OBJS): Replace options.o with gcc-options.o.
224         (gcc-options.o): New rule.
225
226         * optc-gen.awk: Protect variables for gcc-options.o with
227         #ifdef GCC_DRIVER/#endif.
228
229 2006-05-16  Daniel Berlin <dberlin@dberlin.org>
230
231         Fix PR tree-optimization/27373
232         * tree-ssa-forwprop.c: (forward_propagate_addr_expr_1): Add argument.
233          (forward_propagate_addr_expr): Update call.
234
235 2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>
236
237         * doc/options.texi: Move the Negative option.
238
239 2006-05-16  Richard Guenther  <rguenther@suse.de>
240
241         PR tree-optimization/22303
242         * tree-ssa-ccp.c (fold_const_aggregate_ref): Handle reads
243         from STRING_CSTs.
244         (evaluate_stmt): Fall back to fold_const_aggregate_ref, if
245         ccp_fold did not simplify the statement.
246
247 2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>
248
249         PR driver/26885
250         * Makefile.in (GCC_OBJS): New.
251         (OBJS-common): Add opts-common.o.
252         (xgcc$(exeext)): Replace gcc.o with $(GCC_OBJS).
253         (cpp$(exeext)): Likewise.
254         (gcc.o): Also depend on opts.h.
255         (opts-common.o): New.
256
257         * common.opt (gcoff): Add Negative(gdwarf-2).
258         (gdwarf-2): Add Negative(gstabs).
259         (gstabs): Add Negative(gstabs+).
260         (gstabs+): Add Negative(gvms).
261         (gvms): Add Negative(gxcoff).
262         (gxcoff): Add Negative(gxcoff+).
263         (gxcoff+): Add Negative(gcoff).
264         * config/i386/i386.opt (m32): Add Negative(m64).
265         (m64): Add Negative(m32).
266
267         * doc/options.texi: Document the Negative option.
268
269         * gcc.c: Include "opts.h".
270         (main): Call prune_options after expandargv.
271
272         * optc-gen.awk: Generate common declarations for all flag
273         variables in options.c. Output the neg_index field.
274
275         * opts.c (find_opt): Moved to ...
276         * opts-common.c: Here. New file.
277
278         * opts.h (cl_option): Add a neg_index field.
279         (find_opt): New.
280         (prune_options): Likewise.
281
282 2006-05-16  Jakub Jelinek  <jakub@redhat.com>
283
284         PR middle-end/27573
285         * omp-low.c (expand_omp_parallel): Don't assert
286         .OMP_DATA_I = &.OMP_DATA_O is the first statement in the block,
287         instead search for it.
288
289         PR c/27499
290         * gimplify.c (gimplify_omp_for): Remove assertion that iteration var
291         is signed.
292
293 2006-05-16  Andreas Schwab  <schwab@suse.de>
294
295         * doc/tm.texi (TARGET_LIBGCC_SDATA_SECTION): Add missing @end
296         defmac.
297
298 2006-05-15  Roger Sayle  <roger@eyesopen.com>
299
300         PR target/26600
301         * config/i386/i386.c (legitimate_constant_p) <CONST_DOUBLE>: TImode
302         integer constants other than zero are only legitimate on TARGET_64BIT.
303         <CONST_VECTOR> Only zero vectors are legitimate.
304         (ix86_cannot_force_const_mem): Integral and vector constants can
305         always be put in the constant pool.
306
307 2006-05-16  DJ Delorie  <dj@redhat.com>
308
309         * crtstuff.c (__dso_handle): Set section from
310         TARGET_LBIGCC_SDATA_SECTION if defined.
311         * doc/tm.texi (TARGET_LIBGCC_SDATA_SECTION): Document.
312         * config/mips/mips.h (TARGET_LIBGCC_SDATA_SECTION): Define.
313
314 2006-05-16  Danny Smith  <dannysmith@users.sourceforge.net>
315
316         PR target/27599
317         * config.host (i[34567]86-*-mingw*): Append i386/x-mingw32 to
318         host_xmake_file.
319
320 2006-05-16  Ben Elliston  <bje@au.ibm.com>
321
322         * tree-cfg.c (split_edge_bb_loc): Remove unused variable `src'.
323
324 2006-05-15  Per Bothner  <per@bothner.com>
325
326         * tree.c: (last_annotated_node): Use sources_locus typedef.
327         This permits bootstrapping with --enable-mapped-location.
328
329 2006-05-15  Zdenek Dvorak <dvorakz@suse.cz>
330
331         PR tree-optimization/26830
332         * tree-into-ssa.c (struct ssa_name_info): Add age field.
333         (info_for_ssa_name, current_info_for_ssa_name_age,
334         blocks_to_update): New variables.
335         (get_ssa_name_ann): Use info_for_ssa_name instead of SSA_NAME_AUX.
336         (clear_ssa_name_info, initialize_flags_in_bb,
337         mark_block_for_update): New functions.
338         (mark_def_sites, rewrite_stmt): Assert that blocks_to_update is NULL.
339         (insert_phi_nodes_for, mark_use_interesting, prepare_block_for_update,
340         prepare_def_site_for): Use mark_block_for_update.
341         (mark_def_interesting): Assert that the processed block is marked in
342         blocks_to_update.  Do not take blocks argument.
343         (prepare_use_sites_for, prepare_names_to_update): Do not take blocks
344         argument.
345         (rewrite_update_init_block, rewrite_update_stmt): Only process
346         blocks with statements to rewrite.
347         (delete_update_ssa): Do not clear SSA_NAME_AUX.
348         (update_ssa): Initialize and free blocks_to_update.  Do not
349         clear flags on statements.  Do not use blocks bitmap.
350         * tree.h (SSA_NAME_AUX): Removed.
351         (struct tree_ssa_name): Removed aux field.
352         * print-tree.c (print_node): Do not print SSA_NAME_AUX.
353
354 2006-05-15  Richard Guenther  <rguenther@suse.de>
355
356         PR tree-optimization/27603
357         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined):
358         Do computations in original type.
359
360 2006-05-15  Mircea Namolaru  <namolaru@il.ibm.com>
361
362         * see.c: Code style changes such as redundant paranthesis,
363         redundant intialization of local variables etc.
364         (see_main): Declared now as static.
365         * doc/invoke.texi: Update that -fsee is not enabled by
366         default at -O3.
367
368 2006-05-15  Jakub Jelinek  <jakub@redhat.com>
369
370         * omp-low.c (check_omp_nesting_restrictions): New function.
371         (scan_omp_1): Call it.
372
373         PR middle-end/27416
374         * omp-low.c (build_outer_var_ref): If VAR is reference in orphaned
375         construct, return *VAR.
376
377 2006-05-14  Kaz Kojima  <kkojima@gcc.gnu.org>
378
379         PR rtl-optimization/27406
380         * bt-load.c (migrate_btr_def): Skip the block having abnormal
381         edges.
382
383 2006-05-14  Roger Sayle  <roger@eyesopen.com>
384
385         PR rtl-optimization/27538
386         * combine.c (expand_compound_operation): Call gen_lowpart
387         before calling simplify_shift_const.
388
389 2006-05-14  Roger Sayle  <roger@eyesopen.com>
390
391         PR rtl-optimization/22563
392         * expmed.c (store_fixed_bit_field): When using AND and IOR to store
393         a fixed width bitfield, always force the intermediates into psuedos.
394
395 2006-05-14  Bernhard Fischer  <aldot@gcc.gnu.org>
396
397         PR 27501
398         * mkconfig.sh: Use operator = instead of == for test.
399
400 2006-05-13  Nick Clifton  <nickc@redhat.com>
401
402         * dwarf2out.c (dbx_reg_number): Check return value from
403         LEAF_REG_REMAP and only use it if it is valid.
404         (multiple_reg_loc_descriptor): Likewise.
405
406 2006-05-13  Richard Guenther  <rguenther@suse.de>
407
408         * config.host <i[34567]86-*-cygwin*>: Append i386/x-cygwin to
409         host_xmake_file.
410
411 2006-05-13  Steven Bosscher  <stevenb.gcc@gmail.com>
412
413         * df-core.c (df_bb_regno_last_use_find): Do not look for dataflow
414         information attached to non-INSNs such as NOTEs.
415         (df_bb_regno_first_def_find, df_bb_regno_last_def_find): Likewise.
416
417 2006-05-12  Andreas Krebbel  <krebbel1@de.ibm.com>
418
419         * config/s390/s390.c (s390_const_ok_for_constraint_p): Disallow -4G for
420         On contraint.
421         * config/s390/s390.md: Adjust comment describing On constraint.
422
423 2006-05-11  Jan Hubicka  <jh@suse.cz>
424
425         * cgraphunit.c (decide_is_function_needed): Don't force always_inline
426         to be output at -O0.
427
428 2006-05-11  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
429
430         PR middle-end/27384
431         * fold-const.c (size_binop): Move sanity check for arguments to
432         the beginning of the function.
433
434         PR middle-end/27488
435         * fold-const.c (tree_expr_nonnegative_p): Return early on invalid
436         expression.
437
438 2006-05-11  Richard Guenther  <rguenther@suse.de>
439
440         PR middle-end/27529
441         * fold-const.c (fold_unary): Handle intermediate conversion
442         to a pointer type like intermediate conversion to an integer
443         type in folding of (T1)(T2)var to var.
444         Match the code to the comment in the final conversion for
445         (T1)(T2)var to (T1)var regarding to type precision.  Rather
446         than disallow T1 being of pointer type, assert that both T1
447         and var are of pointer type or not.  Make sure not to fall
448         over the frontends lazyness wrt array to pointer decay though.
449
450 2006-05-10  Richard Earnshaw  <rearnsha@arm.com>
451
452         * arm.c (arm_struct_value_rtx): Delete.
453         (TARGET_STRUCT_VALUE_RTX): Use the default definition.
454         (arm_init_cumulative_args): Always initialize nregs to zero.
455
456 2006-05-10  Richard Guenther  <rguenther@suse.de>
457
458         PR tree-optimization/27532
459         * tree-object-size.c (plus_expr_object_size): Fix typo.
460
461 2006-05-10  Kazu Hirata  <kazu@codesourcery.com>
462
463         PR target/24949
464         * config/m68k/m68k.md (ashrdi_const32, ashrdi_const32_mem,
465         ashrdi_const, ashrdi3): Use a scratch register.
466
467 2006-05-10  Richard Guenther  <rguenther@suse.de>
468
469         PR tree-optimization/27302
470         * fold-const.c (operand_equal_p): For two comparisons,
471         try comparison of one comparison code swapped if that yields
472         the same code.
473
474 2006-05-10  Ben Elliston  <bje@au.ibm.com>
475
476         * tree-pretty-print.c (pretty_print_string): No need to handle
477         '\0' as a special character.
478
479         * tree.h: Include "hashtab.h".
480         (iterative_hash_expr): Use hashval_t in its prototype.
481         * Makefile.in (TREE_H): Add $(HASHTAB_H).
482
483 2006-05-09  Steve Ellcey  <sje@cup.hp.com>
484
485         PR bootstrap/26872
486         * config.gcc (hppa[12]*-*-hpux10*): Set gas to yes.
487         (hppa*64*-*-hpux11*): Ditto.
488         (hppa[12]*-*-hpux11*): Ditto.
489
490 2006-05-09  David Edelsohn  <edelsohn@gnu.org>
491
492         PR target/26545
493         * config/rs6000/aix41.h (TARGET_64BIT): Define.
494
495 2006-05-09  Michael Matz  <matz@suse.de>
496
497         * config.host (<i[34567]86-*-*, x86_64-*-*>): Set
498         host_extra_gcc_objs and host_xmake_file.
499         (<*-*-linux*>): Don't overwrite host_xmake_file.
500         * gcc.c (static_spec_functions): Add EXTRA_SPEC_FUNCTIONS.
501         * config/i386/i386.h (EXTRA_SPEC_FUNCTIONS): Define.
502         (host_detect_local_cpu): Declare.
503         (CC1_CPU_SPEC): Add -march=native and -mtune=native cases.
504         * config/i386/i386.c (override_options): Handle -mtune=native
505         as -mtune=generic.
506         * config/i386/x-i386: New file.
507         * config/i386/driver-i386.c: New file.
508         * doc/invoke.texi (<i386 and x86-64 Options>): Describe
509         cpu-type "native".
510
511 2006-05-09  Dirk Mueller  <dmueller@suse.de>
512         Richard Guenther  <rguenther@suse.de>
513
514         PR middle-end/27498
515         * fold-const.c (fold_read_from_constant_string): Relax check
516         for matching types to matching modes.
517
518 2006-05-09  Zdenek Dvorak <dvorakz@suse.cz>
519
520         PR rtl-optimization/27335
521         * loop-unroll.c (peel_loops_completely): Use loops->parray to walk the
522         loops.
523
524 2006-05-08  Chao-ying Fu  <fu@mips.com>
525             Richard Sandiford  <richard@codesourcery.com>
526
527         * config/mips/mips-ps-3d.md (scc_ps, s<code>_ps): New patterns.
528         (vcondv2sf, sminv2sf3, smaxv2sf3): Likewise.
529         * config/mips/mips.md (UNSPEC_SCC): New constant.
530         * config/mips/mips-protos.h (mips_expand_vcondv2sf): Declare.
531         * config/mips/mips.c (mips_reverse_fp_cond_p): New function.
532         (mips_emit_compare): Use it.
533         (mips_expand_vcondv2sf): New function.
534
535 2006-05-08  Daniel Berlin  <dberlin@dberlin.org>
536
537         Fix PR tree-optimization/27093
538         * tree-ssa-alias.c (recalculate_used_alone): Mark variables for
539         renaming when they become not-used_alone.
540
541 2006-05-08  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
542
543         * hpux-unwind.h (pa_fallback_frame_state): Handle return parameter
544         relocation and relocation stubs.
545
546 2006-05-08  Eric Christopher  <echristo@apple.com>
547
548         * unwind-dw2-fde-darwin.c (examine_objects): Only check data
549         section for ppc.
550
551 2006-05-08  Jan Hubicka  <jh@suse.cz>
552
553         PR middle-end/25962
554         * cgraphunit.c (decide_is_function_needed): When not optimizing even
555         unused static functions are needed.
556
557 2006-05-08  Roger Sayle  <roger@eyesopen.com>
558
559         PR target/27158
560         * reload.c (find_reloads_toplev): Only return the simplified SUBREG
561         of a reg_equiv_constant if the result is a legitimate constant.
562
563 2006-05-08  Uros Bizjak  <uros@kss-loka.si>
564
565         PR target/27277
566         * config/i386/i386.c (ix86_rtx_costs) [FLOAT_EXTEND]: For
567         standard 80387 constants, raise the cost to prevent
568         compress_float_constant() to generate load from memory.
569
570 2006-05-08  Kazu Hirata  <kazu@codesourcery.com>
571
572         * config/arm/constraints.md (c): Fix a typo.
573
574         * see.c, tree-flow-inline.h, tree-phinodes.c: Fix comment
575         typos.
576
577 2006-05-07  H.J. Lu  <hongjiu.lu@intel.com>
578
579         PR target/24879
580         * config/i386/pmmintrin.h (_mm_monitor): Remove macro. Use
581         inline function.
582         (_mm_mwait): Likewise.
583
584         * config/i386/sse.md (sse3_mwait): Replace "mwait\t%0, %1" with
585         "mwait".
586         (sse3_monitor): Make it 32bit only.
587         (sse3_monitor64): New. 64bit monitor.
588
589 2006-05-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
590
591         PR target/27421
592         * config/i386/i386.c (classify_argument): Skip fields with invalid
593         types.
594
595 2006-05-07  Richard Guenther  <rguenther@suse.de>
596
597         PR tree-optimization/27409
598         * tree-ssa-structalias.c (get_constraint_for_component_ref):
599         Do not try to find zero-sized subvars.
600
601 2006-05-07  Richard Guenther  <rguenther@suse.de>
602
603         PR tree-optimization/27136
604         * tree-ssa-loop-niter.c (get_val_for): Correct function
605         comment, assert requirements.
606         (loop_niter_by_eval): Stop processing if the iterated
607         value did not simplify.
608
609 2006-05-07  Mircea Namolaru  <namolaru@il.ibm.com>
610
611         * opts.c (flag_see): remove its setting at -O3.
612
613 2006-05-07  Richard Earnshaw  <rearnsha@arm.com>
614
615         * genpeep.c (main): Make insn-peep.c depend on flags.h.
616         * arm/constraints.md: New file.
617         * arm.h (REG_CLASS_FROM_LETTER_P): Delete.
618         (CONST_OK_FOR_ARM_LETTER, CONST_OK_FOR_THUMB_LETTER)
619         (CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_ARM_LETTER)
620         (CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT_STR_ARM)
621         (CONSTRAINT_LEN, EXTRA_CONSTRAINT_THUMB, EXTRA_CONSTRAINT_STR)
622         (EXTRA_MEMORY_CONSTRAINT): Likewise.
623         * arm.md: Include constraints.md.
624         (thumb_movsi_insn): Use satisfies_constraint_J.
625         (movhi, movqi): Use satisfies_constraint_I.
626
627 2006-04-29 Anatoly Sokolov <aesok@post.ru>
628
629         * config/avr/avr.h (CRT_BINUTILS_SPECS): Fixed crt* file name
630         for atmeg a645 device.
631
632 2006-05-06   Richard Guenther  <rguenther@suse.de>
633
634         PR tree-optimization/27151
635         * tree-vect-transform.c (vectorizable_condition): Punt on
636         values that have a different type than the condition.
637
638 2006-05-03  Aldy Hernandez  <aldyh@redhat.com>
639
640         PR/21391
641         * c-parser.c (c_parser_cast_expression): Only insert casts into
642         hash table if pointer.
643         * function.c (used_types_insert_helper): Rename from
644         used_types_insert.
645         (used_types_insert): Call used_types_insert_helper.
646         * function.h (used_types_insert): Accept only one argument.
647
648 2006-05-05  David Edelsohn  <edesohn@gnu.org>
649
650         * config/rs6000/rs6000.md: Mark all "X" constraints for clobbered
651         scratch with output modifier.
652
653 2006-05-04  David Edelsohn  <edelsohn@gnu.org>
654
655         PR target/26481
656         * config/rs6000/rs6000.md (stmsi_power): Mark clobber constraint
657         with output modifier.
658
659 2006-05-04  Richard Sandiford  <richard@codesourcery.com>
660
661         PR target/26765
662         * config/mips/mips.c (mips_symbolic_address_p): Return true
663         for SYMBOL_TLSGD, SYMBOL_TLSLDM, SYMBOL_DTPREL, SYMBOL_TPREL,
664         SYMBOL_GOTTPREL, and SYMBOL_TLS.
665
666 2006-05-04  Richard Guenther  <rguenther@suse.de>
667
668         PR tree-optimization/14287
669         PR tree-optimization/14844
670         PR tree-optimization/19792
671         PR tree-optimization/21608
672         PR tree-optimization/27090
673         * tree-ssa-pre.c (try_combine_conversion): New function.
674         (compute_avail): After constructing the value-handle
675         expression, use try_combine_conversion to combine NOP_EXPRs
676         with previous value-handle expressions and use the result if it
677         is available.
678
679 2006-05-04  Joseph S. Myers  <joseph@codesourcery.com>
680
681         * config/mips/linux64.h (DWARF_OFFSET_SIZE): Remove.
682
683 2006-05-04  Jan Hubicka  <jh@suse.cz>
684
685         PR middle-end/25962
686         * cgraphunit.c (verify_cgraph_node): Fix cgraph_hash testing.
687
688 2006-05-04  Bernd Schmidt  <bernd.schmidt@analog.com>
689
690         * config/bfin/predicates.md (const01_rtx): Tell generator programs
691         that this only matches CONST_INTs.  All users changed to VOIDmode
692         operands.
693
694         * config/bfin/bfin.c: Include "optabs.h".
695         (bfin_rtx_costs): Some costs for vector operations, to allow combine
696         to do more work.
697         (enum bfin_builtins): Add a number of fractional and vector builtins.
698         (bfin_init_builtins): Likewise.
699         (struct builtin_description, bdesc_2arg, bdesc_1arg): New.
700         (safe_vector_operand, bfin_expand_binop_builtin,
701         bfin_expand_unop_builtin): New functions.
702         (bfin_expand_builtin): Handle the new builtins.
703         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): Define
704         __ADSPBLACKFIN__.
705
706 2006-05-04  Leehod Baruch  <leehod@il.ibm.com>
707
708         * see.c: New file.
709         * Makefile.in (OBJS-common): Add see.o.
710         (see.o): Add dependencies.
711         * common.opt (fsee): New flag for the see optimization was added.
712         * opts.c (flag_see): Initialized.
713         * passes.c (init_optimization_passes, pass_see): New pass.
714         * rtl.h (see_main): Declaration as extern.
715         * timevar.def (TV_SEE): New.
716         * tree-pass.h (pass_see): Declaration as extern.
717         * invoke.texi (-fsee): Document.
718         * recog.c (validate_simplify_insn): New function.
719         * recog.h (validate_simplify_insn): Declaration as extern.
720         * df-problems.c (df_chain_dump): Check for NULL.
721
722 2006-05-04  Kenneth Zadeck <zadeck@naturalbridge.com>
723             Daniel Berlin  <dberlin@dberlin.org>
724
725         * cfgrtl.c (insert_insn_bb_end_new): New function.
726         * basic-block.h (insert_insn_bb_end_new): Declaration as extern.
727
728 2006-05-04  Leehod Baruch  <leehod.baruch@weizmann.ac.il>
729
730         * df.h (struct web_entry): Moved from web.c.
731         (union_defs): Declaration as extern.
732         (unionfind_root): Likewise.
733         (unionfind_union): Likewise.
734         * web.c (struct web_entry): Moved to df.h.
735         (unionfind_root): Remove static declaration.
736         (unionfind_union): Likewise.
737         (union_defs): Likewise and generalize to use callback function.
738         (web_main): Update arguments for union_defs function call.
739
740 2006-05-04  Richard Guenther  <rguenther@suse.de>
741
742         PR tree-optimization/26447
743         * tree-ssa-pre.c (realify_fake_stores): For necessary loads
744         produce SSA_NAME copies before the store stmt to avoid
745         breaking exception handling.
746
747 2006-05-04  Jakub Jelinek  <jakub@redhat.com>
748
749         PR middle-end/27388
750         * gimplify.c (omp_is_private): If var is shared in some outer context,
751         return false instead of true.  Stop searching on parallel context
752         boundary.
753
754 2006-05-03  Alexandre Oliva  <aoliva@redhat.com>
755
756         PR java/8260
757         * coverage.c: Use get_gcov_unsigned_t() instead of
758         unsigned_type_node all over.
759
760 2006-05-02  Andrew MacLeod  <amacleod@redhat.com>
761
762         PR tree-optimization/27381
763         * tree-phinodes.c (remove_phi_arg_num): When moving a phi argument,
764         maintain the same immediate_use links.
765         * tree-ssa-operands.c (dump_immediate_uses_for): Show iteration marker
766         node rather than segfaulting.
767
768 2006-05-03  Jakub Jelinek  <jakub@redhat.com>
769
770         PR fortran/27395
771         * gimplify.c (gimplify_scan_omp_clauses): Compare OMP_CLAUSE_CODE
772         rather than TREE_CODE to OMP_CLAUSE_REDUCTION.  Set also GOVD_SEEN
773         bit for OMP_CLAUSE_REDUCTION_PLACEHOLDER.
774
775 2006-05-02  Daniel Berlin  <dberlin@dberlin.org>
776
777         Fix PR tree-optimization/26626
778         * tree-ssa-structalias.c (compute_points_to_sets): For now, solve
779         always.
780         * tree-ssa-operands.c (access_can_touch_variable): Allow
781         typecasting through union pointers.
782
783 2006-05-02  Jakub Jelinek  <jakub@redhat.com>
784
785         PR c++/26943
786         * omp-low.c (maybe_lookup_decl_in_outer_ctx): New function.
787         (build_outer_var_ref): Use maybe_lookup_decl_in_outer_ctx
788         to find if var will be a global variable even in the nested context.
789         (omp_copy_decl): Only check for global variable at the end, it might
790         be overridden in outer contexts.
791         (scan_sharing_clauses): For global variables don't create a field.
792         (lower_rec_input_clauses): Do nothing for global shared variables.
793         Emit a barrier at the end of ILIST if there were any decls in both
794         firstprivate and lastprivate clauses.
795         (lower_send_clauses): Do nothing for global variables except for
796         COPYIN.
797
798 2006-05-02  Zdenek Dvorak <dvorakz@suse.cz>
799
800         * tree.c (unsigned_type_for, signed_type_for): Make sure a type
801         of the correct signedness is returned.
802
803 2006-05-02  Jeff Law  <law@redhat.com>
804
805         PR tree-optimization/27364
806         * tree-vrp.c (vrp_int_const_binop): Fix detection of overflow from
807         multiply expressions.
808
809 2006-05-02  Tom Tromey  <tromey@redhat.com>
810
811         * tree-flow-inline.h (op_iter_init_phiuse): Fixed typo.
812
813 2006-05-02  Kazu Hirata  <kazu@codesourcery.com>
814
815         PR target/27387
816         * arm.c (arm_output_mi_thunk): Use pc-relative addressing when
817         -mthumb -fPIC are used.
818
819 2006-05-02  Stanislaw Skowronek  <skylark@linux-mips.org>
820             Joshua Kinard  <kumba@gentoo.org>
821
822         PR target/25871
823         * config/mips/mips.h (TRAMPOLINE_TEMPLATE): Avoid 32-bit moves
824         with 64-bit pointers.
825
826 2006-05-02  Paul Brook  <paul@codesourcery.com>
827
828         * config/arm/arm.c (add_minipool_forward_ref): Check if insn
829         and pool overlap.
830         (create_fix_barrier): Check that a suitable barrier location is
831         found.
832         (arm_reorg): Include ftmp->address in allowable range of addresses.
833
834 2006-05-02  David Billinghurst <David.Billinghurst@riotinto.com>
835
836         PR ada/27366
837         * ada/env.c (__gnat_clearenv): Use unsetenv() to clear environment
838         on Cygwin.
839
840 2006-05-02  Jakub Jelinek  <jakub@redhat.com>
841
842         PR middle-end/27337
843         * gimplify.c (gimplify_scan_omp_clauses): Handle INDIRECT_REF
844         around RESULT_DECL for result passed by reference.
845         (gimplify_expr): Call omp_notice_variable when RESULT_DECL is seen.
846         * omp-low.c (use_pointer_for_field): Don't look at
847         DECL_HAS_VALUE_EXPR_P for RESULT_DECLs.
848         (scan_omp_1): Call remap_decl on RESULT_DECLs.
849         (lower_rec_input_clauses): Don't allocate VLA memory for the second
850         time or var for passing by reference for
851         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE clauses.  Allow creation of
852         TREE_ADDRESSABLE variables when passing by reference.
853
854         * omp-low.c (dump_omp_region): Fix output formatting.
855
856         PR middle-end/27328
857         * omp-low.c (remove_exit_barrier): Handle NULL exit_bb.
858         (expand_omp_parallel): Likewise.
859         * tree-cfg.c (move_sese_region_to_fn): Likewise.
860
861         PR middle-end/27325
862         * omp-low.c (lower_omp_sections): Call maybe_catch_exception
863         on statement list containing also constructors and destructors.
864         (lower_omp_single, lower_omp_for, lower_omp_parallel): Likewise.
865
866         PR middle-end/27310
867         * except.c (duplicate_eh_regions): Fix clearing of
868         cfun->eh->region_array entries.
869
870 2006-05-01  DJ Delorie  <dj@redhat.com>
871
872         * configure.ac (gcc_cv_nm): Don't use an in-tree nm if
873         build!=host.
874         (gcc_cv_objdump): Likewise.
875         * configure: Regenerated.
876
877 2006-05-01  Kazu Hirata  <kazu@codesourcery.com>
878
879         PR target/27374
880         * config/arm/vfp.md (*arm_movdi_vfp): Correct the output
881         templates for case 3 and 4.
882
883 2006-05-01  DJ Delorie  <dj@redhat.com>
884
885         * vec.c: Include bconfig.h when appropriate.
886         * Makefile.in (build/vec.o): Adjust dependencies.
887         * mkconfig.sh: Make sure config.h isn't used for build machine
888         compiles.
889
890 2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>
891
892         * tree-into-ssa.c (phis_to_rewrite, blocks_with_phis_to_rewrite): New
893         variables.
894         (mark_phi_for_rewrite): New function.
895         (insert_phi_nodes_for, mark_use_interesting): Call
896         mark_phi_for_rewrite.
897         (rewrite_update_phi_arguments): Traverse only phis in phis_to_rewrite.
898         (update_ssa): Initialize and free phis_to_rewrite.
899
900 2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>
901
902         PR rtl-optimization/27291
903         * loop-doloop.c (add_test, doloop_modify): Handle the case condition is
904         folded to a constant.
905
906 2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>
907
908         PR tree-optimization/27283
909         * tree-ssa-loop-ivopts.c (struct nfe_cache_elt): Store just trees,
910         not whole # of iteration descriptions.
911         (niter_for_exit): Return just # of iterations.  Fail if # of iterations
912         uses abnormal ssa name.
913         (niter_for_single_dom_exit): Ditto.
914         (find_induction_variables, may_eliminate_iv): Expect niter_for_exit to
915         return just the number of iterations.
916
917 2006-05-01  Zdenek Dvorak <dvorakz@suse.cz>
918
919         PR tree-optimization/27144
920         * tree-ssa-loop-niter.c (derive_constant_upper_bound): New function.
921         (record_estimate): Only record constant upper bound.
922         (infer_loop_bounds_from_undefined): Call
923         compute_estimated_nb_iterations just once.
924         (proved_non_wrapping_p): Renamed to ...
925         (n_of_executions_at_most): ... this.  Expect bound to be a constant.
926         (convert_step_widening, scev_probably_wraps_p): Call
927         n_of_executions_at_most instead of proved_non_wrapping_p.
928         (substitute_in_loop_info): Do not replace values in bounds.
929         * cfgloop.h (struct nb_iter_bound): Remove "additional" field.  Update
930         comments.
931
932 2006-05-01  Richard Henderson  <rth@redhat.com>
933
934         PR c/27358
935         * c-parser.c (c_parser_skip_to_end_of_block_or_statement): Move after
936         c_parser_skip_to_pragma_eol.  Convert to switch statement.  Handle
937         CPP_PRAGMA.
938
939 2006-05-01  Roger Sayle  <roger@eyesopen.com>
940
941         * c-typeck.c (parser_build_binary_op): Don't call the function
942         unsigned_conversion_warning to spot operand/result type overflow.
943         (build_binary_op): Instead, call convert_and_check instead of
944         convert to report the problem when the operands are promoted.
945         * c-common.c (unsigned_conversion_warning): Make static.
946         * c-common.h (unsigned_conversion_warning): Delete prototype.
947
948 2006-05-01  Richard Guenther  <rguenther@suse.de>
949
950         PR tree-optimization/26726
951         * tree-ssa-loop-ivopts.c (idx_find_step): Mark source of the
952         problem ...
953         (find_interesting_uses_address): ... we work around here
954         by folding INDIRECT_REFs in the substituted base.
955
956 2006-05-01  Diego Novillo  <dnovillo@redhat.com>
957
958         * omp-low.c (dump_omp_region): Add newlines.
959
960 2006-04-30  Roger Sayle  <roger@eyesopen.com>
961
962         * common.opt (Woverflow): New command line option.
963         * c-common.c (constant_expression_warning): Check warn_overflow.
964         (overflow_waring): Pass OPT_Woverflow to warning.
965         (unsigned_conversion_warning): Likewise.
966         (convert_and_check): Likewise.
967         * doc/invoke.texi: Document new command line option.
968
969 2006-04-30  David Edelsohn  <edelsohn@gnu.org>
970
971         * config/rs6000/rs6000.c (rs6000_override_options): Enable
972         TARGET_NO_FP_IN_TOC for section anchors.
973         (optimization_options): Enable section anchors for all
974         non-"Objective" languages.
975
976 2006-04-28  Eric Christopher  <echristo@apple.com>
977
978         * config/darwin-c.c (darwin_ms_struct): Move this
979         (darwin_set_default_type_attributes): and this...
980         * config/darwin.c: ... here.
981         * config/darwin.h (darwin_ms_struct): Declare.
982
983 2006-04-28  Andrew MacLeod  <amacleod@redhat.com>
984
985         * tree-ssa-dom.c (propagate_rhs_into_lhs): Fix assert clause.
986
987 2006-04-28  Roger Sayle  <roger@eyesopen.com>
988
989         PR c/25309
990         * c-typeck.c (struct spelling): Make I an unsigned HOST_WIDE_INT.
991         (push_array_bounds): Delete prototype.  Change BOUNDS argument to
992         an unsigned HOST_WIDE_INT.
993         (print_spelling): Use HOST_WIDE_INT_PRINT_UNSIGNED to output the
994         array index.
995         (really_start_incremental_init): No need to call convert because
996         bitsize_zero_node is already of type bitsizetype.
997         (push_init_level): Extract the value of constructor_index as an
998         unsigned HOST_WIDE_INT quantity, using tree_low_cst.
999         (process_init_element): Likewise.
1000
1001 2006-04-28  Joseph S. Myers  <joseph@codesourcery.com>
1002
1003         * gcc.c (process_command): Add program name to GCC_EXEC_PREFIX
1004         value before passing to make_relative_prefix.
1005
1006 2006-04-28  Alan Modra  <amodra@bigpond.net.au>
1007
1008         PR middle-end/27260
1009         * builtins.c (expand_builtin_memset): Expand val in original mode.
1010
1011 2006-04-27  Eric Christopher  <echristo@apple.com>
1012
1013         * target-def.h (TARGET_SET_DEFAULT_TYPE_ATTRIBUTES): Bracket
1014         with #ifndef/#endif.
1015         * config/darwin-c.c (darwin_ms_struct): New.
1016         (darwin_pragma_ms_struct): Ditto.
1017         (darwin_set_default_type_attributes): Ditto.
1018         * config/darwin-protos.h (darwin_pragma_ms_struct): Declare.
1019         * config/darwin.h (DARWIN_REGISTER_TARGET_PRAGMAS):
1020         Register ms_struct pragma.
1021         * config/i386/darwin.h (REGISTER_TARGET_PRAGMAS): Declare.
1022         (TARGET_SET_DEFAULT_TYPE_ATTRIBUTES): Ditto.
1023         * config/rs6000/rs6000.c (rs6000_set_default_type_attributes): Call
1024         darwin_set_default_type_attributes if TARGET_MACHO.
1025
1026 2006-04-27  Andrew MacLeod  <amacleod@redhat.com>
1027
1028         PR tree-optimization/26854
1029         * tree-vrp.c (remove_range_assertions): Use new Immuse iterator.
1030         * doc/tree-ssa.texi: Update immuse iterator documentation.
1031         * tree-ssa-math-opts.c (execute_cse_reciprocals_1): Use new iterator.
1032         * tree-ssa-dom.c (propagate_rhs_into_lhs): Use new iterator.
1033         * tree-flow-inline.h (end_safe_imm_use_traverse, end_safe_imm_use_p,
1034         first_safe_imm_use, next_safe_imm_use): Remove.
1035         (end_imm_use_stmt_p): New.  Check for end of immuse stmt traversal.
1036         (end_imm_use_stmt_traverse): New.  Terminate immuse stmt traversal.
1037         (move_use_after_head): New.  Helper function to sort immuses in a stmt.
1038         (link_use_stmts_after): New.  Link all immuses in a stmt consescutively.
1039         (first_imm_use_stmt): New.  Get first stmt in an immuse list.
1040         (next_imm_use_stmt): New.  Get next stmt in an immuse list.
1041         (first_imm_use_on_stmt): New.  Get first immuse on a stmt.
1042         (end_imm_use_on_stmt_p): New.  Check for end of immuses on a stmt.
1043         (next_imm_use_on_stmt): New.  Move to next immuse on a stmt.
1044         * tree-ssa-forwprop.c (forward_propagate_addr_expr): Use new iterator.
1045         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Use new iterator.
1046         (perfect_nestify): Use new iterator.
1047         * tree-vect-transform.c (vect_create_epilog_for_reduction): Use new
1048         iterator.
1049         * tree-flow.h (struct immediate_use_iterator_d): Add comments.
1050         (next_imm_name): New field in struct immediate_use_iterator_d.
1051         (FOR_EACH_IMM_USE_SAFE, BREAK_FROM_SAFE_IMM_USE): Remove.
1052         (FOR_EACH_IMM_USE_STMT, BREAK_FROM_IMM_USE_STMT,
1053         FOR_EACH_IMM_USE_ON_STMT): New immediate use iterator macros.
1054         * tree-cfg.c (replace_uses_by): Use new iterator.
1055         * tree-ssa-threadedge.c (lhs_of_dominating_assert): Use new iterator.
1056         * tree-ssa-operands.c (correct_use_link): Remove.
1057         (finalize_ssa_use_ops): No longer call correct_use_link.
1058
1059 2006-04-27  Stuart Hastings  <stuart@apple.com>
1060
1061         * config/rs6000/t-darwin (DARWIN_EXTRA_CRT_BUILD_CFLAGS): New.
1062         * config/t-darwin (crt3.o): Use it.
1063         * config/rs6000/rs6000.c (rs6000_initialize_trampoline): Remove
1064         'pmode', use Pmode instead of SImode for SYMBOL_REF.
1065         * config/rs6000/rs6000.md (call_indirect_nonlocal_sysv,
1066         call_nonlocal_sysv, call_value_indirect_nonlocal_sysv,
1067         call_value_nonlocal_sysv): Suffix with the "P" macro for 32/64
1068         support.
1069
1070 2006-04-27  Roger Sayle  <roger@eyesopen.com>
1071
1072         * expmed.c (store_fixed_bit_field): If we're not optimizing for
1073         size, force the intermediate into a new pseudo rather instead of
1074         performing both a bitwise AND and a bitwise IOR in memory.
1075
1076 2006-04-27  Richard Guenther  <rguenther@suse.de>
1077
1078         PR rtl-optimization/26685
1079         * params.def (PARAM_MAX_CSE_INSNS): Correct typo that named
1080         this one "max-flow-memory-locations".
1081
1082 2006-04-27  Richard Guenther  <rguenther@suse.de>
1083
1084         PR tree-optimization/25148
1085         * tree-vrp.c (compare_values): Remove code dealing with
1086         comparisons against type min/max value.  Honour overflow
1087         and negative constants in code dealing with comparisons
1088         of plus and minus expressions.
1089         (value_inside_range): Use fold_binary with LE_EXPR and
1090         GE_EXPR rather than compare_values.
1091
1092 2006-04-27  Dirk Mueller  <dmueller@suse.de>
1093
1094         * config/i386/xmmintrin.h (_mm_shuffle_pi16): Declare
1095         prototype for SSE.
1096
1097 2006-04-26  Kenneth Zadeck <zadeck@naturalbridge.com>
1098
1099         * basic-block.h (safe_insert_insn_on_edge): Removed.
1100         * cfgrtl.c (mark_killed_regs, safe_insert_insn_on_edge): Removed.
1101
1102 2006-04-26  David Edelsohn  <edelsohn@gnu.org>
1103             Paolo Bonzini  <bonzini@gnu.org>
1104
1105         PR middle-end/27282
1106         * combine.c (simplify_and_const_int_1): Use gen_int_mode.
1107         (simplify_and_const_int): Same.
1108
1109 2006-04-26  Aldy Hernandez  <aldyh@redhat.com>
1110
1111         * tree-ssa-dse.c (dse_optimize_stmt): Remove unused variable USE.
1112
1113 2006-04-26  Jakub Jelinek  <jakub@redhat.com>
1114
1115         PR c/26171
1116         * cgraph.c (cgraph_varpool_finalize_decl): Don't call
1117         cgraph_varpool_assemble_pending_decls if -fopenmp, unless
1118         cgraph_global_info_ready.
1119
1120         PR middle-end/26913
1121         * tree-cfg.c (find_outermost_region_in_block): Handle RESX_EXPR.
1122
1123         PR c/25996
1124         * c-parser.c (c_parser_omp_for_loop): Don't call c_finish_omp_for if
1125         either decl or init is error_mark_node.
1126
1127         PR middle-end/25989
1128         * tree-flow.h (struct omp_region): Add sched_kind.
1129         * omp-low.c (expand_parallel_call): Use region->inner->sched_kind
1130         instead of extracting omp for data.
1131         (expand_omp_for): Save extracted sched_kind.
1132
1133 2006-04-25  Roger Sayle  <roger@eyesopen.com>
1134
1135         * expmed.c (store_bit_field): Also check whether the bitsize is
1136         valid for the machine's "insv" instruction before moving the
1137         target into a pseudo for use with the insv.
1138         * config/i386/predicates.md (const8_operand): New predicate.
1139         * config/i386/i386.md (extv, extzv, insv): Use the new
1140         const8_operand predicate where appropriate.
1141
1142 2006-04-25  DJ Delorie  <dj@redhat.com>
1143
1144         * doc/install.texi (Specific): Clarify that this is not a list of
1145         supported hosts or targets.
1146
1147 2006-04-25  Richard Sandiford  <richard@codesourcery.com>
1148
1149         PR rtl-optimization/26725
1150         * cfgrtl.c (rtl_redirect_edge_and_branch_force): Set the source
1151         block's BB_DIRTY flag.
1152
1153 2006-04-25  Geoffrey Keating  <geoffk@apple.com>
1154
1155         * dwarf2out.c (size_of_locs): Don't fill dw_loc_addr if there
1156         are no branches.
1157
1158         * dwarf2asm.c (dw2_asm_output_data): Don't generate RTL just
1159         to print an integer.
1160
1161 2006-04-25  David Edelsohn  <edelsohn@gnu.org>
1162
1163         * varasm.c (align_variable): New function.
1164         (get_block_for_decl): Apply align_variable to DECL before
1165         calculating section information.
1166         (assemble_variable): Split out alignment computation.
1167
1168 2006-04-25  Andreas Krebbel  <krebbel1@de.ibm.com>
1169
1170         * expmed.c (store_bit_field): Handle paradoxical subregs on big endian
1171         machines.
1172
1173 2006-04-25  Bernd Schmidt  <bernd.schmidt@analog.com>
1174
1175         * genmodes.c (make_vector_mode): Allow making VECTOR_MODE_INT of a
1176         MODE_PARTIAL_INT mode.
1177         * config/bfin/bfin-modes.def: Add V2PDI and V2SI.
1178         * config/bfin/bfin.c (print_operand): Add macflag and mac/msu modifiers
1179         for CONST_INTs.
1180         (hard_regno_mode_ok): V2PDImode is ok for accumulators.
1181         * config/bfin/bfin.h (CLASS_MAX_NREGS, HARD_REGNO_NREGS): Handle
1182         V2PDImode.
1183         * config/bfin/predicates.md (const01_operand, vec_shift_operand):
1184         New predicates.
1185         * config/bfin/bfin.md (UNSPEC_MUL_WITH_FLAG, UNSPEC_MAC_WITH_FLAG):
1186         New constants.
1187         (MACFLAG_NONE, MACFLAG_T, MACFLAG_FU, MACFLAG_TFU, MACFLAG_IS,
1188         MACFLAG_IU, MACFLAG_W32, MACFLAG_M, MACFLAG_S2RND, MACFLAG_ISS2,
1189         MACFLAG_IH): Likewise.
1190         (movstricthi_1): Renamed from "*movstricthi".
1191         (load_accumulator, load_accumulator_pair, movsi_insv, insv,
1192         ssaddsi3, sssubsi3, ssnegsi2, signbitssi2, smaxhi3, sminhi3,
1193         abshi2, neghi2, ssneghi2, signbitshi2, movhi_low2high,
1194         movhi_high2high, movhi_low2low, movhi_high2low, movhiv2hi_low,
1195         movhiv2hi_high, composev2hi, movv2hi_hi, movv2hi_hi_low,
1196         movv2hi_hi_high, ssaddhi3, sssubhi3, ssaddv2hi3, sssubv2hi3,
1197         addsubv2hi3, subaddv2hi3, ssaddsubv2hi3, sssubaddv2hi3,
1198         sublohiv2hi3, subhilov2hi3, sssublohiv2hi3, sssubhilov2hi3,
1199         addlohiv2hi3, addhilov2hi3, ssaddlohiv2hi3, ssaddhilov2hi3,
1200         mulhisi_ll, mulhisi_lh, mulhisi_hl, mulhisi_hh, ssnegv2hi2,
1201         ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3, packv2hi,
1202         flag_mulhi, flag_mulhisi_parts, flag_machi, flag_machi_acconly,
1203         flag_macinithi, flag_macinit1hi, flag_mulv2hi, flag_mulv2hi_parts,
1204         flag_macv2hi_parts, flag_macv2hi_parts_acconly,
1205         flag_macinitv2hi_parts, flag_macinit1v2hi_parts): New patterns.
1206
1207         * doc/rtl.texi (ss_ashift): Improve wording.
1208
1209 2006-04-24  Geoffrey Keating  <geoffk@apple.com>
1210
1211         * dwarf2out.c (verify_marks_clear): New.
1212         (prune_unused_types): Call verify_marks_clear initially, not
1213         prune_unmark_dies.
1214
1215 2006-04-24  Bernd Schmidt  <bernd.schmidt@analog.com>
1216
1217         * rtl.def (SS_ASHIFT, SS_NEG): New codes.
1218         * doc/rtl.texi: Document them.
1219         * simplify-rtx.c (simplify_unary_operation,
1220         simplify_binary_operation_1): Don't abort when we see them.
1221
1222 2006-04-24  Mark Mitchell  <mark@codesourcery.com>
1223
1224         Revert:
1225         2006-04-23  Mark Mitchell  <mark@codesourcery.com>
1226         * configure.ac: Completely disregard languages that are not
1227         enabled.
1228         * configure: Regenerated.
1229
1230 2006-04-24  Andrew Pinski  <pinskia@gcc.gnu.org>
1231         Richard Guenther  <rguenther@suse.de>
1232
1233         PR tree-optimization/27236
1234         * tree-inline.c (copy_body_r): Make sure to copy
1235         TREE_THIS_VOLATILE flag.
1236
1237 2006-04-24  Richard Guenther  <rguenther@suse.de>
1238
1239         PR middle-end/26869
1240         * tree-complex.c (update_parameter_components): Don't handle
1241         unused parameters which have no default def.
1242
1243 2006-04-24  Andrew Pinski  <pinskia@gcc.gnu.org>
1244         Richard Guenther  <rguenther@suse.de>
1245
1246         PR tree-optimization/27218
1247         * tree-inline.c (expand_call_inline): Strip useless type
1248         conversions for the return slot address.
1249
1250 2006-04-24  Richard Guenther  <rguenther@suse.de>
1251
1252         * cfgloop.h (struct loops): Remove unused field array.  Reorder
1253         state after num.
1254         (LOOP_PREFETCH): Remove.
1255
1256 2006-04-24  Richard Guenther  <rguenther@suse.de>
1257
1258         PR tree-optimization/22525
1259         * value-prof.c (tree_mod_pow2): Remove unnecessary temporary
1260         variable, adjust types of generated expressions.
1261
1262 2006-04-23  H.J. Lu  <hongjiu.lu@intel.com>
1263
1264         * Makefile.in (c-convert.o): Add dependency on $(TARGET_H)
1265         (tree-vect-patterns.o): Likewise.
1266         (jump.o): Likewise.
1267         (cselib.o): Likewise.
1268         (loop-doloop.o): Likewise.
1269         (regclass.o): Likewise.
1270         (reload1.o): Likewise.
1271         (explow.o): Replace target.h with $(TARGET_H).
1272         (ipa-prop.o): Likewise.
1273         (ipa-cp.o): Likewise.
1274         (ipa-inline.o): Likewise.
1275         (reorg.o): Likewise.
1276         (reg-stack.o): Likewise.
1277
1278 2006-04-23  Eric Botcazou  <ebotcazou@adacore.com>
1279
1280         * tree-tailcall.c (pass_tail_recursion): Use gate_tail_calls too.
1281
1282 2006-04-23  Mark Mitchell  <mark@codesourcery.com>
1283
1284         * print-tree.c (print_node): Print DECL_BIT_FIELD_TYPE.
1285
1286         * configure.ac: Completely disregard languages that are not
1287         enabled.
1288         * configure: Regenerated.
1289
1290         PR c++/26534
1291         * c-common.h (c_build_bitfield_integer_type): Declare.
1292         * c-decl.c (c_build_bitfield_integer_type): Move to ...
1293         * c-common.c (c_build_bitfield_integer_type): ... here.
1294
1295 2006-04-23  Roger Sayle  <roger@eyesopen.com>
1296
1297         PR target/21283
1298         * config/fr30/fr30.md (define_split): Avoid calling gen_lowpart on
1299         a SImode SUBREG of a floating point register after no_new_pseudos.
1300
1301 2006-04-23  Roger Sayle  <roger@eyesopen.com>
1302
1303         * config/fr30/fr30.md (addsi_small_int): Use REGNO_PTR_FRAME_P to
1304         identify potentially eliminable registers to additionally catch
1305         VIRTUAL_INCOMING_ARGS_REGNUM.
1306         (addsi3): Update the conditions on when to use addsi_small_int.
1307
1308 2006-04-23  Roger Sayle  <roger@eyesopen.com>
1309
1310         PR target/16641
1311         * config/fr30/fr30.h (GO_IF_LEGITIMATE_ADDRESS): Check REGNO for
1312         STACK_POINTER_RTX and FRAME_POINTER_RTX instead of comparing the
1313         rtx to stack_pointer_rtx or frame_pointer_rtx directly.
1314
1315 2006-04-23  Eric Botcazou  <ebotcazou@adacore.com>
1316
1317         * fold-const.c (range_predecessor): Use operand_equal_p
1318         as the predicate for equality.
1319         (range_successor): Likewise.
1320
1321 2006-04-22  Kazu Hirata  <kazu@codesourcery.com>
1322
1323         Revert:
1324         * config/soft-fp/op-common.h: Fix a typo.
1325
1326 2006-04-22  Frank Ch. Eigler  <fche@redhat.com>
1327
1328         PR libmudflap/26864
1329         * common.opt (flag_mudflap_threads): Overload flag_mudflap.
1330         * tree-mudflap.c (flag_mudflap_threads): Derive from flag_mudflap.
1331
1332 2006-04-22  Kazu Hirata  <kazu@codesourcery.com>
1333
1334         * config/soft-fp/op-common.h, double-int.h, tree-ssa-dom.c:
1335         Fix comment typos.
1336         * doc/tm.texi: Fix a typo.
1337
1338 2006-04-21  Geoffrey Keating  <geoffk@apple.com>
1339
1340         * dwarf2out.c (struct die_struct): Document that die_sib makes
1341         a circular linked list.
1342         (FOR_EACH_CHILD): New.
1343         (reverse_die_lists): Delete.
1344         (reverse_all_dies): Delete.
1345         (add_dwarf_attr): Correct documentation.
1346         (remove_child_with_prev): New.
1347         (remove_child_TAG): Update for change to die_struct, use
1348         remove_child_with_prev.
1349         (add_child_die): Update for change to die_struct.
1350         (splice_child_die): Use remove_child_with_prev and add_child_die.
1351         (print_die): Use FOR_EACH_CHILD.
1352         (die_checksum): Likewise.
1353         (assign_symbol_names): Likewise.
1354         (output_location_lists): Likewise.
1355         (build_abbrev_table): Likewise.
1356         (calc_die_sizes): Likewise.
1357         (mark_dies): Likewise.
1358         (unmark_dies): Likewise.
1359         (unmark_all_dies): Likewise.
1360         (output_die): Likewise.
1361         (prune_unused_types_mark): Likewise.
1362         (prune_unused_types_walk): Likewise.
1363         (same_die_p): Update for change to die_struct.
1364         (break_out_includes): Likewise.
1365         (prune_unused_types_prune): Likewise.
1366         (add_sibling_attributes): Use FOR_EACH_CHILD, simplify logic.
1367         (prune_unmark_dies): Use FOR_EACH_CHILD, don't clear die_mark if
1368         it's already clear.
1369         (dwarf2out_finish): Don't call reverse_all_dies.
1370
1371 2006-04-21  Eric Christopher  <echristo@apple.com>
1372
1373         * df-core.c, tree-outof-ssa.c, config/i386/i386.c: Fix typos
1374         in comments and function names.
1375
1376 2006-04-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1377
1378         PR c/25875
1379         * c-typeck.c (digest_init): Robustify.
1380
1381         * c-typeck.c (pop_init_level): Simplify.
1382
1383 2006-04-21  Steve Ellcey  <sje@cup.hp.com>
1384
1385         * config/pa/t-pa64: Add dependencies on $(GCC_PASSES).
1386
1387 2006-04-21  Paul Brook  <paul@codesourcery.com>
1388
1389         * config/arm/arm.c (arm_override_options): Error on iWMMXt and
1390         hardware floating point.
1391
1392 2006-04-21  David Edelsohn  <edelsohn@gnu.org>
1393
1394         * config/rs6000/rs6000.h (REG_CLASS_CONTENTS): Add sfp to
1395         NON_FLOAT_REGS.
1396
1397 2006-04-21  Nick Clifton  <nickc@redhat.com>
1398
1399         * config/sh/t-elf (EXTRA_MULTILIB_PARTS): Include
1400         OPT_EXTRA_PARTS.
1401
1402 2006-04-21  Alan Modra  <amodra@bigpond.net.au>
1403
1404         PR target/27230
1405         * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Use
1406         C++ lang type in traceback table for Objective-C++.
1407
1408         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Update comment.
1409
1410 2006-04-20  H.J. Lu  <hongjiu.lu@intel.com>
1411
1412         * config/i386/i386.c (asm_preferred_eh_data_format): Reformat.
1413
1414 2006-04-20  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1415
1416         PR mudflap/26789
1417         * tree-mudflap.c (mudflap_finish_file): Skip function when there
1418         were errors.  Remove check for erroneous objects.
1419
1420 2006-04-20  Jeff Law  <law@redhat.com>
1421
1422         PR tree-optimization/26854
1423         * tree-ssa-dse.c (dse_optimize_stmt): Avoid num_imm_uses when
1424         checking for zero or one use.
1425         * tree-ssa-dom.c (propagate_rhs_into_lhs): Similarly.
1426         * tree-cfgcleanup.c (merge_phi_nodes): Similarly.
1427         * tree-ssa-reassoc.c (negate_value): Similarly.
1428         (reassociate_bb): Similarly.
1429
1430 2006-04-20  Jakub Jelinek  <jakub@redhat.com>
1431
1432         * c-pretty-print.c (pp_c_direct_abstract_declarator): Print
1433         TYPE_MAX_VALUE (TYPE_DOMAIN (t)) + 1 for ARRAY_TYPE rather
1434         than plain TYPE_MAX_VALUE (TYPE_DOMAIN (t)).
1435
1436 2006-04-20  Alan Modra  <amodra@bigpond.net.au>
1437
1438         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Consume all
1439         fp regs if the last fp arg doesn't fit in regs.
1440
1441 2006-04-20  Kaz Kojima  <kkojima@gcc.gnu.org>
1442
1443         PR target/27182
1444         * config/sh/sh.md (movsicc_true+3): Tweak condition for the case
1445         that the last insn has the REG_INC note.
1446
1447 2006-04-19  Carlos O'Donell  <carlos@codesourcery.com>
1448             Nathan Sidwell  <nathan@codesourcery.com>
1449
1450         PR c/26774
1451         * stor-layout.c (update_alignment_for_field): Do not align
1452         ERROR_MARK nodes.
1453         (place_union_field): Place union field at the start of the union.
1454         (place_field): Move ERROR_MARK check later, and use the current
1455         allocation position to maintain monotonicity.
1456
1457 2006-04-19  Zdenek Dvorak <dvorakz@suse.cz>
1458
1459         * dominance.c: Include timevar.h.
1460         (calculate_dominance_info): Use TV_DOMINANCE.
1461         * timevar.def (TV_DOMINANCE): New timevar.
1462         * Makefile.in (dominance.o): Add TIMEVAR_H dependency.
1463
1464 2006-04-19  Andreas Krebbel  <krebbel1@de.ibm.com>
1465
1466         PR rtl-optimization/14261
1467         * ifcvt.c (noce_emit_move_insn): Call store_bit_field if the resulting
1468         move would be an INSV insn.
1469         (noce_process_if_block): Don't optimize if the destination is a
1470         ZERO_EXTRACT which can't be handled by noce_emit_move_insn.
1471
1472 2006-04-19  Andreas Krebbel  <krebbel1@de.ibm.com>
1473
1474         * config/s390/s390.md: Add comments with the instructions emitted
1475         by an insn pattern if macros are used.
1476
1477 2006-04-19  Alan Modra  <amodra@bigpond.net.au>
1478
1479         PR rtl-optimization/26026
1480         * fold-const.c (fold_binary): Optimize div and mod where the divisor
1481         is a known power of two shifted left a variable amount.
1482
1483 2006-04-18  Geoffrey Keating  <geoffk@apple.com>
1484
1485         * dwarf2out.c (prune_unused_types_update_strings): Don't add strings
1486         to hash table twice when the debug_str section has SECTION_MERGE.
1487
1488 2006-04-18  Joseph S. Myers  <joseph@codesourcery.com>
1489
1490         * config/soft-fp: New directory.  From glibc.
1491         * config/soft-fp/t-softfp: New.
1492         * config/soft-fp/README: New.
1493         * mklibgcc.in: Handle LIB2FUNCS_EXCLUDE.
1494         * Makefile.in (LIB2FUNCS_EXCLUDE, SFP_MACHINE): New.
1495         (libgcc.mk): Pass LIB2FUNCS_EXCLUDE.
1496         (LIBGCC_DEPS): Add $(SFP_MACHINE).
1497         * config.gcc: Use rs6000/t-fprules-fpbit or
1498         rs6000/t-fprules-softfp and soft-fp/t-softfp together with
1499         rs6000/t-fprules.
1500         * config/rs6000/sfp-machine.h: New.  Based on glibc.
1501         * config/rs6000/t-fprules-fpbit, config/rs6000/t-fprules-softfp:
1502         New.
1503         * config/rs6000/t-fprules: Remove fp-bit rules.
1504         * config/rs6000/t-ppccomm (LIB2FUNCS_EXTRA): Use +=.
1505         * config/rs6000/t-linux64: Likewise.  Remove duplicates from
1506         LIB2FUNCS_EXTRA.  Remove fp-bit rules.
1507         (softfp_wrap_start, softfp_wrap_end): New.
1508
1509 2006-04-18  DJ Delorie  <dj@redhat.com>
1510
1511         * config/m32c/m32c.h (PTRDIFF_TYPE): Define.
1512
1513 2006-04-18  Devang Patel  <dpatel@apple.com>
1514
1515         * doc/invoke.texi (-Wuninitialized): Clarify -O connection.
1516
1517 2006-04-18  Nick Clifton  <nickc@redhat.com>
1518
1519         * config/sh/t-symbian: Add rule to build sh-c.o
1520         * config/sh/symbian.c (sh_symbian_mark_dllexport): Replace use
1521         of DECL_NON_ADDR_CONST_P with DECL_DLLIMPORT_P.
1522         (sh_symbian_encode_section_info): Likewise.
1523
1524 2006-04-18  Andreas Krebbel  <krebbel1@de.ibm.com>
1525
1526         * builtins.c (expand_builtin_strcmp): Cover label definition of
1527         do_libcall with HAVE_cmpstrnsi.
1528
1529 2006-04-18  Kazu Hirata  <kazu@codesourcery.com>
1530
1531         * function.c (temp_slots_at_level, max_slot_level): Use VEC
1532         instead of VARRAY.
1533         * function.h (temp_slot_p): New.
1534         (function): Change the type of x_used_temp_slots to
1535         VEC(temp_slot_p,gc) *.
1536
1537 2006-04-18  Nick Clifton  <nickc@redhat.com>
1538
1539         * config/mmix/mmix.h (OPTIMIZATION_OPTIONS): Remove reference to
1540         flag_strength_reduce.
1541
1542         * doc/tm.texi (TARGET_SECTION_TYPE_FLAGS): Fix typo.
1543
1544 2006-04-18  Paolo Bonzini  <bonzini@gnu.org>
1545
1546         PR target/27117
1547
1548         Partial revert of revision 112637
1549         2006-04-03  Paolo Bonzini  <bonzini@gnu.org>
1550                     Dale Johannesen  <dalej@apple.com>
1551
1552         PR target/19653
1553         * regclass.c (struct reg_pref): Update documentation.
1554         (regclass): Set prefclass to NO_REGS if memory is the best option.
1555         (record_reg_classes): Cope with a prefclass set to NO_REGS.
1556
1557 2006-04-18  Paolo Bonzini  <bonzini@gnu.org>
1558
1559         PR tree-optimization/26821
1560         * tree-ssa-math-opts.c (get_constant_one): New.
1561         (insert_reciprocals): Use it.
1562
1563 2006-04-17  Geoffrey Keating  <geoffk@apple.com>
1564
1565         * dwarf2out.c (free_AT): Delete.
1566         (remove_AT): Update string ref counts.
1567         (remove_child_TAG): Don't call free_die.
1568         (free_die): Delete.
1569         (break_out_includes): Don't call free_die on DW_TAG_GNU_BINCL
1570         or DW_TAG_GNU_EINCL.
1571         (prune_unused_types_walk_attribs): Reset string refcounts.
1572         (prune_unused_types_update_strings): New.
1573         (prune_unused_types_prune): Don't make unnecessary stores.  Don't
1574         call free_die.  Do call prune_unused_types_update_strings.
1575         (prune_unused_types): Empty debug_str_hash.
1576
1577 2006-04-17  Roger Sayle  <roger@eyesopen.com>
1578
1579         * expr.c (expand_assignment): Optimize away no-op moves where the
1580         source and destination are equal and have no side-effects.
1581
1582 2006-04-17  Richard Guenther  <rguenther@suse.de>
1583
1584         PR target/26826
1585         * reload.c (push_reload): Guard calls to get_secondary_mem
1586         for memory subregs.
1587
1588 2006-04-16  Kazu Hirata  <kazu@codesourcery.com>
1589
1590         * alias.c (reg_base_value, old_reg_base_value): Change the
1591         type to VEC(rtx,gc) *.
1592         (REG_BASE_VALUE, find_base_value, record_set,
1593         init_alias_analysis): Use VEC instead of VARRAY.
1594
1595         * alias.c (alias_sets): Change the type to
1596         VEC(alias_set_entry,gc) *.
1597         (get_alias_set_entry, new_alias_set, record_alias_subset): Use
1598         VEC instead of VARRAY.
1599         (last_alias_set): Remove.
1600
1601         * cgraph.h (cgraph_edge_p): New.
1602         Update the prototype of cgraph_function_versioning.
1603         * cgraphunit.c (cgraph_copy_node_for_versioning,
1604         cgraph_function_versioning): Use VEC instead of VARRAY.
1605         * ipa-cp.c (ipcp_insert_stage): Likewise.
1606
1607 2006-04-16  Roger Sayle  <roger@eyesopen.com>
1608
1609         PR target/26961
1610         * fold-const.c (fold_ternary): When converting "A ? B : C" into either
1611         "A op B" or "A op C", we may need to convert A to the type of B and C.
1612
1613 2006-04-16  Adam Nemet  <anemet@caviumnetworks.com>
1614
1615         * target.h (struct gcc_target): Add mode_rep_extended.
1616         * rtlanal.c (num_sign_bit_copies_in_rep): New global.
1617         (init_num_sign_bit_copies_in_rep): Initialize it using
1618         mode_rep_extended.
1619         (truncate_to_mode): Use it.
1620         (init_rtlanal): Call init_num_sign_bit_copies_in_rep.
1621         * targhooks.h (default_mode_rep_extended): Declare it.
1622         * targhooks.c (default_mode_rep_extended): Define it.
1623         * target-def.h (TARGET_MODE_REP_EXTENDED): New macro.  Default to
1624         default_mode_rep_extended.
1625         (TARGET_INITIALIZER): Include it.
1626         * doc/tm.texi (Misc): Document it.
1627         * config/mips/mips.c (TARGET_TRUNCATED_TO_MODE): Override it.
1628         (mips_truncated_to_mode): New function.
1629
1630 2006-04-16  Roger Sayle  <roger@eyesopen.com>
1631
1632         PR middle-end/25474
1633         * expr.c (compress_float_constant): Copy the narrow constant into
1634         a new pseudo before extending it to its final width.
1635
1636 2006-04-16  Roger Sayle  <roger@eyesopen.com>
1637             Andrew Pinski  <pinskia@gcc.gnu.org>
1638             Dale Johannesen  <dalej@apple.com>
1639
1640         PR target/24076
1641         * config/i386/i386.c (ix86_expand_vector_init_duplicate): Add
1642         special case code to implement V8HImode and V16QImode with SSE2.
1643
1644 2006-04-15  Roger Sayle  <roger@eyesopen.com>
1645
1646         * config/i386/i386.c (ix86_va_start): Ensure all integer constant
1647         trees are constructed with a suitable tree type.
1648
1649 2006-04-15  Roger Sayle  <roger@eyesopen.com>
1650
1651         * tree.c (integer_zerop): Ignore TREE_CONSTANT_OVERFLOW.
1652         (integer_onep): Likewise.
1653         (integer_all_onesp): Likewise.
1654         (integer_pow2p): Likewise.
1655         (integer_nonzerop): Likewise.
1656         (real_zerop): Likewise.
1657         (real_onep): Likewise.
1658         (real_twop): Likewise.
1659         (real_minus_onep): Likewise.
1660         (int_size_in_bytes): Likewise.
1661         (host_integerp): Likewise.
1662
1663 2006-04-15  Kazu Hirata  <kazu@codesourcery.com>
1664
1665         * cfgcleanup.c, config/dfp-bit.c, expr.c, fold-const.c,
1666         jump.c, mips-tfile.c, omp-low.c, sched-int.h,
1667         tree-ssa-loop-prefetch.c, tree-vrp.c: Fix comment typos.
1668
1669         * tree-ssa-structalias.h (alias_info): Remove num_references.
1670
1671 2006-04-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1672
1673         * pa.md (output_bb patterns): Shorten long branch alternatives by 4.
1674         (output_bvb patterns): Likewise.
1675         * pa.c (output_bb): Use 'bb' insn for long branch case.
1676         (output_bvb): Likewise use '{bvb|bb}' for long branch case.
1677         (output_dbra): Use '{comb|cmpb}' for long branch case for alternative
1678         1.  Correct length operand for alternatives 1 and 2.
1679         (output_movb): Use '{comb|cmpb}' for long branch case for alternatives
1680         1, 2 and 3.  Correct length operand for alternatives 1, 2 and 3.
1681
1682 2006-04-14  Roger Sayle  <roger@eyesopen.com>
1683
1684         * tree-cfg.c (make_edges, make_omp_sections_edges, move_stmt_r,
1685         is_ctrl_altering_stmt): Reinstate RTH's changes from r112935 that
1686         were accidentally reverted by r112959.
1687
1688 2006-04-15  Jakub Jelinek  <jakub@redhat.com>
1689
1690         PR middle-end/26823
1691         * except.h (eh_region_outermost): New prototype.
1692         * except.c (eh_region_outermost): New function.
1693         * tree-cfg.c (find_outermost_region_in_block): Use it.
1694
1695 2006-04-14  Kazu Hirata  <kazu@codesourcery.com>
1696
1697         * local-alloc.c (rest_of_handle_local_alloc): Use VEC instead
1698         of VARRAY.
1699         * reload1.c (reg_equiv_memory_loc_varray): Rename to
1700         reg_equiv_memory_loc_vec.  Change the type to VEC(rtx,gc) *.
1701         (init_reload, reload): Use VEC instead of VARRAY.
1702         * reload.h: Update the prototype for
1703         reg_equiv_memory_loc_varray.
1704
1705 2006-04-14  Alexey Starovoytov  <alexey.starovoytov@sun.com>
1706             Eric Botcazou  <ebotcazou@libertysurf.fr>
1707
1708         * config/sparc/sparc.c (emit_and_preserve): Allocate space for the
1709         register save area.
1710
1711 2005-04-13  Uros Bizjak  <uros@kss-loka.si>
1712
1713         PR middle-end/27134
1714         * builtins.c (expand_builtin_int_roundingfn): Use expand_normal()
1715         to expand fallback builtin function call.
1716
1717 2006-04-14  Alan Modra  <amodra@bigpond.net.au>
1718
1719         PR middle-end/27095
1720         * builtins.c: (expand_builtin_memset): Stabilize args before expansion
1721         and emit libcall here in case the builtin fails.
1722         (expand_builtin_strcmp): Always emit the libcall here on failure.
1723
1724 2006-04-14  Kazu Hirata  <kazu@codesourcery.com>
1725
1726         * basic-block.h (REG_BASIC_BLOCK): Use VEC instead of VARRAY.
1727         * flow.c (reg_n_info): Change the type to
1728         VEC(reg_info_p,heap) *.
1729         * regclass.c (allocate_reg_info, free_reg_info): Use VEC
1730         instead of VARRAY.
1731         * regs.h (reg_info_p): New.
1732         (REG_N_REFS, REG_FREQ, REG_N_SETS, REG_N_DEATHS,
1733         REG_N_CALLS_CROSSED, REG_N_THROWING_CALLS_CROSSED,
1734         REG_LIVE_LENGTH, REGNO_FIRST_UID, REGNO_LAST_UID): Use VEC
1735         instead of VARRAY.
1736
1737 2006-04-13  Eric Botcazou  <ebotcazou@adacore.com>
1738
1739         * params.def (PARAM_MAX_SCHED_READY_INSNS): New parameter,
1740         defaulting to 100.
1741         * params.h (MAX_SCHED_READY_INSNS): New macro.
1742         * haifa-sched.c: (queue_to_ready): Re-queue insns for the next cycle
1743         past MAX_SCHED_READY_INSNS during the first scheduling pass.
1744         (schedule_block): Delay insns past MAX_SCHED_READY_INSNS in
1745         the ready list for 1 cycle during the first scheduling pass.
1746         * doc/invoke.texi (--param): New parameter max-sched-ready-insns.
1747
1748 2006-04-13  Richard Henderson  <rth@redhat.com>
1749
1750         PR libgomp/26651
1751         * gimple-low.c (lower_omp_directive): Remove dead code.
1752         (lower_stmt): Do nothing except for openmp, except for OMP_PARALLEL.
1753         * gimplify.c (gimplify_expr): Update for OMP_RETURN, OMP_CONTINUE.
1754         * omp-low.c (struct omp_region): Move to tree-flow.h.
1755         (root_omp_region): Export.
1756         (omp_regions, lookup_omp_region): Remove.
1757         (determine_parallel_type): Update for struct omp_region changes.
1758         (dump_omp_region): Dump regions with block numbers.
1759         (new_omp_region): Take type and block instead of stmt; malloc
1760         instead of ggc.
1761         (free_omp_region_1, free_omp_regions): New.
1762         (expand_parallel_call): Take entry_stmt as argument; update for
1763         changes to omp_region.
1764         (remove_exit_barrier): Rewrite to update OMP_RETURN_NOWAIT.
1765         (remove_exit_barriers): New.
1766         (expand_omp_parallel): Update for struct omp_region changes.
1767         (expand_omp_synch): Likewise.
1768         (expand_omp): Likewise.
1769         (expand_omp_for_static_nochunk): Likewise; update for OMP_CONTINUE.
1770         (expand_omp_for_static_chunk): Likewise.
1771         (expand_omp_for): Likewise.
1772         (expand_omp_for_generic): Likewise; emit the proper GOMP_loop_end call.
1773         (expand_omp_sections): Similarly, with GOMP_sections_end.
1774         (expand_omp_single): New.
1775         (build_omp_regions_1): Update for OMP_CONTINUE.
1776         (execute_expand_omp): Call remove_exit_barriers, free_omp_regions.
1777         (lower_omp_sections): Expand with OMP_CONTINUE, do not collect
1778         OMP_SECTIONS_SECTIONS.
1779         (lower_omp_single_simple): Don't emit barrier here.
1780         (lower_omp_single_copy): Likewise.
1781         (lower_omp_single): Fix bindings, and lower to straightline now.
1782         (lower_omp_master, lower_omp_ordered): Likewise.
1783         (lower_omp_critical): Likewise.
1784         (lower_omp_for): Likewise.  Emit OMP_CONTINUE.
1785         * tree-cfg.c (make_edges): Collect an omp_region tree, use it for
1786         omp edges, free it afterward.
1787         (make_omp_sections_edges): Remove.
1788         (is_ctrl_altering_stmt): Don't bother checking flag_openmp.
1789         (move_stmt_r): Handle OMP_CONTINUE.
1790         * tree-flow.h (struct omp_region): Move from omp-low.c.  Switch
1791         statement pointers to basic blocks.  Add type member.
1792         (root_omp_region, new_omp_region, free_omp_regions): Declare.
1793         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN, OMP_CONTINUE.
1794         * tree-inline.c (estimate_num_insns_1): Likewise.
1795         * tree-pretty-print.c (dump_generic_node): Likewise.
1796         * tree-ssa-operands.c (get_expr_operands): Likewise.
1797         * tree.def (OMP_SECTIONS): Remove OMP_SECTIONS_SECTIONS operand.
1798         (OMP_RETURN): Rename from OMP_RETURN_EXPR.
1799         (OMP_CONTINUE): New.
1800         * tree.h (OMP_DIRECTIVE_P): Add OMP_CONTINUE.
1801         (OMP_SECTIONS_SECTIONS): Remove.
1802         (OMP_SECTION_LAST): New.
1803         (OMP_RETURN_NOWAIT): New.
1804
1805 2006-04-13  Roger Sayle  <roger@eyesopen.com>
1806
1807         * fold-const.c (native_encode_vector, native_interpret_real):
1808         Correct obvious mistakes in the previous check-in.
1809
1810 2006-04-13  Roger Sayle  <roger@eyesopen.com>
1811
1812         * fold-const.c (native_encode_expr): New function to encode
1813         the target representation of an INTEGER_CST, REAL_CST, COMPLEX_CST
1814         or VECTOR_CST into a specified buffer.
1815         (native_encode_int): New function.
1816         (native_encode_real): New function.
1817         (native_encode_complex): New function.
1818         (native_encode_vector): New function.
1819         (native_interpret_expr): Inverse of native_encode_expr to convert
1820         a target representation into an INTEGER_CST, REAL_CST etc...
1821         (native_interpret_int): New function.
1822         (native_interpret_real): New function.
1823         (native_interpret_complex): New function.
1824         (native_interpret_vector): New function.
1825         (fold_view_convert_expr): New function to constant fold/evaluate
1826         a VIEW_CONVERT_EXPR of a suitable constant expression.
1827         (fold_unary) <VIEW_CONVERT_EXPR>: Call fold_view_convert_expr.
1828         Change call of build1 to fold_build1 when constructing a
1829         VIEW_CONVERT_EXPR.
1830
1831 2006-04-13  Paolo Bonzini  <bonzini@gnu.org>
1832             Ulrich Weigand  <uweigand@de.ibm.com>
1833
1834         PR target/27006
1835         * config/rs6000/rs6000.h (EASY_VECTOR_15_ADD_SELF): Require n
1836         to be even.
1837
1838 2006-04-13  Alan Modra  <amodra@bigpond.net.au>
1839
1840         PR target/26459
1841         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Don't
1842         optimize to lo_sum for DFmode if !TARGET_FPRS.
1843
1844 2006-04-12  Kazu Hirata  <kazu@codesourcery.com>
1845
1846         * tree-ssa-alias.c (set_initial_properties, init_alias_info,
1847         delete_alias_info, compute_flow_sensitive_aliasing,
1848         group_aliases): Use VEC instead of VARRAY.
1849         * tree-ssa-structalias.c (update_alias_info): Likewise.
1850         * tree-ssa-structalias.h (alias_info): Change the type of
1851         processed_ptrs to VEC(tree,heap) *.
1852
1853 2006-04-12  J"orn Rennecke <joern.rennecke@st.com>
1854
1855         PR target/27060
1856         * config/sh/lib1funcs.h: New file, broken out of:
1857         * config/sh/lib1funcs.asm.
1858         * config/sh/lib1funcs.h (DR00, DR01, DR20, DR21, DR40, DR41):
1859         New macros.
1860         * config/sh/lib1funcs.asm (udivsi3_i4): Use them.
1861         * config/sh/lib1funcs-Os-4-200.asm: New file.
1862         * config/sh/embed-elf.h (LIBGCC_SPEC): Use -lgcc-Os-4-200.
1863         * config/sh/t-sh (OPT_EXTRA_PARTS): New variable.
1864         (EXTRA_MULTILIB_PARTS): Include it.
1865         ($(T)sdivsi3_i4i-Os-4-200.o): New rule.
1866         ($(T)udivsi3_i4i-Os-4-200.o, $(T)libgcc-Os-4-200.a): Likewise.
1867         * config/sh/t-superh (EXTRA_MULTILIB_PARTS): Include OPT_EXTRA_PARTS.
1868         * config/sh/sh.h (OVERRIDE_OPTIONS): Recognize -mdiv=call-table for
1869         TARGET_SH2.
1870
1871 2006-04-12  Kazu Hirata  <kazu@codesourcery.com>
1872
1873         * Makefile.in (TREE_SSA_LIVE_H): Add vecprim.h.
1874         * tree-ssa-live.c (tpa_init, tpa_remove_partition, tpa_delete,
1875         tpa_compact, root_var_init, type_var_init): Use VEC instead of
1876         VARRAY.
1877         * tree-ssa-live.h: Include vecprim.h.
1878         (tree_partition_associator_d): Change the type of
1879         first_partition to VEC(int,heap) *.
1880         (tpa_first_partition): Use VEC instead of VARRAY.
1881
1882         * Makefile.in (GTFILES): Move functions.h after tree.h.
1883         * function.c (reset_block_changes, record_block_change,
1884         check_block_change, free_block_changes): Use VEC instead of
1885         VARRAY.
1886         * function.h (function): Change the type of
1887         ib_boundaries_block to VEC(tree,gc) *.
1888         * tree-inline.c (copy_cfg_body): Initialize
1889         ib_boundaries_block to NULL instead of (varray_type) 0.
1890
1891 2006-04-12  Roger Sayle  <roger@eyesopen.com>
1892
1893         * expr.c (emit_group_store): Correct operand order in call to
1894         subreg_lowpart_offset.  Always create paradoxical SUBREGs with
1895         a SUBREG_BYTE of zero.
1896
1897 2006-04-12  Richard Guenther  <rguenther@suse.de>
1898
1899         * profile.c (compute_branch_probabilities): Remove code
1900         encapsulated in !ir_type (), which are remanents of the
1901         removed RTL profiling code.
1902         * rtl-profile.c: Remove.
1903
1904 2006-04-12  Alan Modra  <amodra@bigpond.net.au>
1905
1906         * config/rs6000/rs6000.c (rs6000_mixed_function_arg): Update
1907         magic NULL_RTX comment.
1908         (function_arg): Store entire fp arg to mem if any part should go
1909         on stack.
1910         (rs6000_arg_partial_bytes): Adjust for above change.
1911
1912 2006-04-11  Roger Sayle  <roger@eyesopen.com>
1913
1914         * dwarf2out.c (output_call_frame_info): Create debug_frame_section
1915         if it hasn't been initialized by dwarf2out_init.
1916
1917 2006-04-11  John David Anglin  <dava.anglin@nrc-cnrc.gc.ca>
1918
1919         * pa.md (MAX_12BIT_OFFSET, MAX_17BIT_OFFSET): Define and use new
1920         symbolic constants in branch patterns.
1921
1922 2006-04-11  Roger Sayle  <roger@eyesopen.com>
1923
1924         * caller-save.c: #include "addresses.h" after #include "tm_p.h".
1925
1926 2006-04-11  Richard Sandiford  <richard@codesourcery.com>
1927
1928         PR rtl-optimization/27073
1929         * gcse.c (try_replace_reg): Revert last change.  Continue to search
1930         for both REG_EQUAL and REG_EQUIV notes, but only perform replacements
1931         on the former.
1932
1933 2006-04-11  Eric Botcazou  <ebotcazou@libertysurf.fr>
1934
1935         * config/sparc/sparc.c (function_arg_slotno) <BLKmode>: Handle
1936         aggregate types other than record and union types.
1937         (function_arg): Likewise.
1938         (function_arg_pass_by_reference): In 64-bit mode, return 0 for
1939         small arrays.
1940         (function_value): In 64-bit mode, return objects that require it
1941         in FP registers.
1942
1943 2006-04-11  Roger Sayle  <roger@eyesopen.com>
1944
1945         * dwarf2out.c (premark_used_types): Remove problematic prototype.
1946
1947 2006-04-11  Jakub Jelinek  <jakub@redhat.com>
1948
1949         * gcc.c (LINK_COMMAND_SPEC): Move link_gomp after %o.
1950
1951 2006-04-03  Jeff Law  <law@redhat.com>
1952
1953         PR/27087
1954         * tree-ssa-copy.c (may_propagate_copy): Test flow sensitive
1955         alias information too.
1956
1957 2006-04-10  Mike Frysinger  <vapier@gentoo.org>
1958
1959         * Makefile.in (gcc-cross): Add $(exeext) to target name.
1960
1961 2006-04-10  Aldy Hernandez  <aldyh@redhat.com>
1962
1963         PR/21391
1964         * dwarf2out.c (struct die_struct): Add die_perennial_p field.
1965         (premark_used_types_helper): New.
1966         (premark_used_types): New.
1967         (gen_subprogram_die): Call premark_used_types.
1968         (prune_unused_types_walk): Do not prune perennial dies.
1969         * function.c (used_types_insert): New.
1970         * function.h (struct function): Add used_types_hash field.
1971         (used_types_insert): Add prototype.
1972         * Makefile.in (FUNCTION_H): Depend on HASHTAB_H.
1973         * c-parser.c (c_parser_cast_expression): Save casted types in used
1974         types hash table.
1975
1976 2006-04-11  Mark Mitchell  <mark@codesourcery.com>
1977
1978         PR target/26459
1979         * config/rs6000/e500-double.h (SUB3TARGET_OVERRIDE_OPTIONS): Test
1980         rs6000_explicit_options.float_gprs.
1981
1982 2006-04-10  Roger Sayle  <roger@eyesopen.com>
1983
1984         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Renamed
1985         from ix86_expand_vector_init_low_nonzero.  Take an additional
1986         one_var argument indicating which element is non-zero.  Support
1987         one_var != 0 for V4SFmode and V4SImode by permuting the result.
1988         (ix86_expand_vector_init): Call ix86_expand_vector_init_one_nonzero
1989         with one_var instead of ix86_expand_vector_init_low_nonzero.
1990
1991 2006-04-10  Kazu Hirata  <kazu@codesourcery.com>
1992
1993         * Makefile.in (tree-into-ssa.o, tree-outof-ssa.o,
1994         tree-ssa-live.o, tree-ssa-alias.o, function.o, df-problems.o,
1995         global.o, cfglayout.o, lambda-code.o, reg-stack.o,
1996         build/genextract.o): Depend on vecprim.h.
1997         * cfglayout.c, df-problems.c, function.c, genextract.c,
1998         global.c, lambda-code.c, reg-stack.c, tree-into-ssa.c,
1999         tree-outof-ssa.c, tree-ssa-alias.c, tree-ssa-live.c: Include
2000         vecprim.h.
2001         * vecprim.h: New.
2002
2003 2006-04-10  Geoffrey Keating  <geoffk@apple.com>
2004
2005         * dwarf2out.c (struct dw_attr_struct): Remove dw_attr_next.
2006         Declare VECs of this type.
2007         (struct die_struct): Make field die_attr a VEC of dw_attr_struct.
2008         (remove_children): Delete.
2009         (add_dwarf_attr): Use VEC routines.
2010         (add_AT_flag): Update for changes to add_dwarf_attr.
2011         (add_AT_int): Likewise.
2012         (add_AT_unsigned): Likewise.
2013         (add_AT_long_long): Likewise.
2014         (add_AT_vec): Likewise.
2015         (add_AT_string): Likewise.
2016         (add_AT_die_ref): Likewise.
2017         (add_AT_fde_ref): Likewise.
2018         (add_AT_loc): Likewise.
2019         (add_AT_loc_list): Likewise.
2020         (add_AT_addr): Likewise.
2021         (add_AT_lbl_id): Likewise.
2022         (add_AT_lineptr): Likewise.
2023         (add_AT_macptr): Likewise.
2024         (add_AT_offset): Likewise.
2025         (add_AT_range_list): Likewise.
2026         (get_AT): Use VEC_iterate.
2027         (remove_AT): Use VEC_ordered_remove.
2028         (free_die): Fold remove_children into here; have it use VEC_iterate.
2029         (print_die): Use VEC_iterate on attrs.
2030         (reverse_die_lists): Don't reverse attr lists.
2031         (die_checksum): Use VEC_iterate on attrs.
2032         (same_die_p): Likewise.
2033         (output_location_lists): Likewise.
2034         (build_abbrev_table): Likewise.
2035         (size_of_die): Likewise.
2036         (unmark_all_dies): Likewise.
2037         (output_abbrev_section): Likewise.
2038         (output_die): Likewise.
2039         (prune_unused_types_walk_attribs): Likewise.
2040
2041 2006-04-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
2042
2043         * doc/install.texi (*-*-solaris2*): Point to the configure page.
2044
2045 2006-04-10  Jakub Jelinek  <jakub@redhat.com>
2046
2047         PR debug/27057
2048         * dwarf2out.c (is_symbol_die): Return true also for namespaces.
2049
2050 2006-04-09  Roger Sayle  <roger@eyesopen.com>
2051
2052         * expr.c (store_constructor): Don't bother clearing target if
2053         we're about to assign a vector to it using vec_init_optab.
2054
2055 2006-04-10 Daniel Berlin  <dberlin@dberlin.org>
2056
2057         * tree-ssa-alias.c (lhs_may_store_to): New function.
2058         (recalculate_used_alone): Handle LHS of calls.
2059
2060 2006-04-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2061
2062         PR target/27034
2063         PR target/26508
2064         * config.gcc (hppa*64*-*-hpux11*): Add 'libgcc_stub.a' to extra_parts.
2065         * pa64-hpux.h (LIB_SPEC): Correct typo.  Don't append milli.a.
2066         (LINK_GCC_C_SEQUENCE_SPEC): Define.  Append milli.a here.
2067         (PA_CXA_FINALIZE_STUB, PA_JV_REGISTERCLASSES_STUB): Delete defines.
2068         (PA_INIT_FINI_HACK): Rename to PA_CRTBEGIN_HACK.
2069         (PA_CRTBEGIN_HACK): Ensure __do_global_ctors_aux is placed in text
2070         section.  Delete PA_CXA_FINALIZE_STUB and PA_JV_REGISTERCLASSES_STUB
2071         stubs.  Add ".align 8" directives before all ".dword" directives.
2072         (GTHREAD_USE_WEAK): Revise comment.
2073         (TARGET_ATTRIBUTE_WEAK): Define.
2074         * pa/t-pa64 (LIBGCCSTUB_OBJS): Add new rules for stublib.c, rfi-stub.o,
2075         dfi-stub.o, cxaf-stub.o and jvrc-stub.o.
2076         * stublib.c: New file.
2077
2078         PR target/26743
2079         PR target/11254
2080         PR target/10274
2081         * pa.md (cbranch patterns): Revise arguments used in calls to
2082         output_cbranch, output_bb and output_bvd.  Add long branch length
2083         attributes.
2084         (fbranch patterns): Handle long branches.
2085         (jump): Revise length check.  Revise arguments for output_lbranch call.
2086         Add long branch length attributes.
2087         (decrement_and_branch_until_zero): Add long branch length attributes.
2088         (output_movb, output_parallel_addb and output_parallel_movb patterns):
2089         Likewise.  Revise arguments for output_parallel_addb and
2090         output_parallel_movb calls.
2091         * pa-protos.h (output_cbranch, output_lbranch, output_bb, output_bvb,
2092         output_parallel_movb and output_parallel_addb): Update prototypes.
2093         * pa.c (output_cbranch): Revise arguments.  Correct handling of
2094         nullification in long branches.
2095         (output_lbranch): Add new argument to control extraction of delay
2096         instruction.
2097         (output_bb): Handle long branches.
2098         (output_bvb, output_dbra, output_movb, output_parallel_movb,
2099         output_parallel_addb): Likewise.
2100
2101 2006-04-09  Richard Sandiford  <richard@codesourcery.com>
2102
2103         PR rtl-optimization/27073
2104         * gcse.c (try_replace_reg): Just propagate into REG_EQUAL notes,
2105         not REG_EQUIVs.
2106
2107 2006-04-08  Daniel Berlin  <dberlin@dberlin.org>
2108
2109         * tree.h (tree_memory_tag): Add old_used_alone.
2110         (SMT_OLD_USED_ALONE): New macro.
2111         * tree-ssa-alias.c (recalculate_used_alone): Stop
2112         marking things for renaming unnecessarily.
2113
2114 2006-04-08  Kazu Hirata  <kazu@codesourcery.com>
2115
2116         * builtins.c, config/arm/arm.c, config/i386/cygwin.h,
2117         config/i386/i386.c, config/ia64/ia64.c, config/s390/fixdfdi.h,
2118         config/sh/sh.c, config/sh/sh.h, df-scan.c, except.c,
2119         haifa-sched.c, optabs.c, rtl.h, sched-deps.c, sched-int.h,
2120         sched-rgn.c, tree-inline.h, tree-ssa-dom.c,
2121         tree-ssa-loop-prefetch.c, tree-ssa-operands.c,
2122         tree-vect-patterns.c, tree-vrp.c: Fix comment typos.  Follow
2123         spelling convensions.
2124         * config/ia64/ia64.opt, doc/contrib.texi, doc/invoke.texi,
2125         doc/passes.texi, doc/tm.texi, doc/tree-ssa.texi: Fix comment
2126         typos.  Follow spelling conventions.
2127
2128 2006-04-07  DJ Delorie  <dj@redhat.com>
2129
2130         * config/m32c/m32c.c (m32c_function_arg): Structures are always
2131         passed on the stack.
2132         (m32c_init_cumulative_args): When a function returns a structure,
2133         always pass the pointer to that return area on the stack.
2134         (m32c_function_arg_advance): Don't increment the parameter number
2135         if we're processing the returned structure pointer.
2136         (pushm_info): Reverse order of registers.
2137
2138 2006-04-07  Sebastian Pop  <pop@cri.ensmp.fr>
2139
2140         * tree-ssa-loop-niter.c (inverse, number_of_iterations_ne,
2141         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
2142         number_of_iterations_le, number_of_iterations_cond, find_loop_niter,
2143         estimate_numbers_of_iterations_loop): Use build_int_cst instead of
2144         build_int_cst_type.
2145         * tree-chrec.c (chrec_fold_multiply_poly_poly,
2146         chrec_fold_multiply): Same.
2147         * tree-ssa-loop-ivopts.c (strip_offset_1, force_expr_to_var_cost,
2148         force_expr_to_var_cost): Same.
2149         * tree-mudflap.c (mf_xform_derefs_1): Same.
2150         * tree-ssa-loop-prefetch.c (idx_analyze_ref): Same.
2151
2152 2006-04-07  David Edelsohn  <edelsohn@gnu.org>
2153
2154         * config/rs6000/rs6000.c (rs6000_rtx_costs) <CONST_DOUBLE>: Do not
2155         treat CONST_DOUBLE as INTVAL.  and64_2_operands require an extra
2156         insn.
2157
2158 2006-04-07  Jan Hubicka  <jh@suse.cz>
2159
2160         * ipa-inline.c (cgraph_early_inlining): Collect garbage.
2161
2162 2006-04-07  Richard Guenther  <rguenther@suse.de>
2163
2164         PR tree-optimization/26135
2165         * tree-ssa-copy.c (stmt_may_generate_copy): Handle memory
2166         loads for store copy-prop.
2167         (copy_prop_visit_stmt): Likewise.
2168
2169 2006-04-05  Robert Millan  <robertmh@gnu.org>
2170
2171         * config/i386/linux.h: Add a comment to mark macros that are
2172         being overriden in config/k*bsd-gnu.h.
2173         * config/kfreebsd-gnu.h: Redefine GLIBC_DYNAMIC_LINKER instead of
2174         DYNAMIC_LINKER.
2175         * config/knetbsd-gnu.h: Ditto.
2176
2177 2006-04-06  Jan Hubicka  <jh@suse.cz>
2178
2179         PR profile/20815
2180         PR profile/26399
2181         * coverage.c (coverage_checksum_string): Reorganize loop to not read
2182         after buffer.
2183
2184 2006-04-06  Mike Stump  <mrs@apple.com>
2185
2186         * builtins.c (expand_builtin_longjmp):Use #ifdef instead of #if
2187         for HAVE_nonlocal_goto to be consistent.
2188         (expand_builtin_nonlocal_goto): Likewise.
2189         (expand_builtin_strcmp): Use #ifdef instead of #if
2190         for HAVE_cmpstrnsi to be consistent.
2191
2192 2006-04-05  DJ Delorie  <dj@redhat.com>
2193
2194         * config/m32c/m32c.h (INCOMING_FRAME_SP_OFFSET): Adjust for m16c
2195         vs m32c.
2196
2197 2006-04-05  Bernd Schmidt  <bernd.schmidt@analog.com>
2198
2199         * config/bfin/bfin.c (bfin_legitimate_address_p): Disallow
2200         got-relative addressing for anything but SImode.
2201
2202         * config/bfin/lib1funcs.asm (modsi): P1/P2 can be call-clobbered
2203         even if the calling function doesn't modify them.
2204
2205 2006-04-05  Richard Guenther  <rguenther@suse.de>
2206
2207         PR tree-optimization/26919
2208         * ipa-inline.c (cgraph_decide_inlining_incrementally): Fix argument
2209         to cgraph_estimate_size_after_inlining.
2210
2211 2006-04-05  Alan Modra  <amodra@bigpond.net.au>
2212
2213         * reload.c (find_dummy_reload): Fix typo in 2006-04-03 change.
2214
2215 2006-04-05  Sebastian Pop  <pop@cri.ensmp.fr>
2216
2217         PR tree-optimization/26996
2218         * tree-scalar-evolution.c (analyze_scalar_evolution_1): Don't analyze
2219         VECTOR_TYPE variables.
2220
2221 2006-04-05  Richard Guenther  <rguenther@suse.de>
2222
2223         PR tree-optimization/26763
2224         * fold-const.c (fold_comparison): Move folding of
2225         PTR + CST CMP PTR + CST ...
2226         (fold_binary): ... here.  Fold only for EQ_EXPR and NE_EXPR.
2227
2228 2006-04-05  Gerald Pfeifer  <gerald@pfeifer.com>
2229
2230         * doc/install.texi (Prerequisites): Refine some wording on
2231         bootstrapping and ksh.
2232         Move the version numbers of DejaGnu here from the testing section
2233         and fix casing of names.
2234         Fix markup and clarify wording for autogen requirements.
2235         Refer to GCJ instead of just java.
2236         Refer to SVN instead of CVS.
2237         Describe diffutils as useful instead of necessary.
2238         (Downloading the source): Refer to SVN instead of CVS.
2239         Adjust a link to our web site accordingly.
2240         (Configuration): Fix casing of Bison.
2241         (Building): Refer to SVN instead of CVS.
2242         Fix a sentence on the use of Bison and remove duplicate (and
2243         incorrect) version number of Bison requirement.
2244         Remove one redundant list of packages needed for building.
2245         (Specific): Avoid reference to CVS.
2246
2247 2006-04-04  Eric Christopher  <echristo@apple.com>
2248
2249         * config/rs6000/rs6000.c (TARGET_MS_BITFIELD_LAYOUT_P): Define.
2250         (TARGET_USE_MS_BITFIELD_LAYOUT): Ditto.
2251         (rs6000_handle_struct_attribute): New.
2252         (rs6000_ms_bitfield_layout_p): Ditto.
2253
2254 2006-04-04  Geoffrey Keating  <geoffk@apple.com>
2255
2256         * config/darwin-crt3.c (atexit): Pass &__dso_handle rather than
2257         NULL for dso parameter to atexit_common.
2258
2259 2006-04-04  Eric Christopher  <echristo@apple.com>
2260
2261         * config/i386/i386.c (machopic_output_stub): Output \t
2262         between instructions and operands.
2263
2264 2006-04-04  David Edelsohn  <edelsohn@gnu.org>
2265
2266         * config/rs6000/rs6000.c (num_insns_constant_wide): Change
2267         satisfies_constraint_[IL] to explicit tests on value.
2268
2269 2006-04-04  Sebastian Pop  <pop@cri.ensmp.fr>
2270
2271         * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop,
2272         set_nb_iterations_in_loop): Use build_int_cst instead of
2273         build_int_cst_type.
2274         * tree-data-ref.c (can_use_analyze_subscript_affine_affine): Use
2275         build_int_cst instead of convert.
2276
2277 2006-04-04  Carlos O'Donell  <carlos@codesourcery.com>
2278
2279         * doc/tm.texi (TARGET_STRUCT_VALUE_RTX): Document
2280         new value 2 for incoming.
2281         * function.c (expand_function_start): Call struct_value_rtx
2282         with incoming as 2.
2283         * config/sparc/sparc.md: Comment updated_return.
2284         * config/sparc/sparc.opt: Add -mstd-struct-return option.
2285         * config/sparc/sparc.c (sparc_struct_value_rtx): Use standard
2286         struct return if sparc_std_struct_return and incoming is 2.
2287         (print_operand): Do not adjust return if
2288         sparc_std_struct_return.
2289
2290 2006-04-04  Roger Sayle  <roger@eyesopen.com>
2291
2292         * builtins.c (fold_builtin_sprintf): Use fold_convert instead of
2293         convert in the middle-end.
2294         * expr.c (store_expr, store_constructor, get_inner_reference,
2295         expand_expr_real_1, string_constant, try_casesi, try_tablejump):
2296         Likewise.
2297         * tree.c (build_range_type): Likewise.
2298
2299 2006-04-04  Tom Tromey  <tromey@redhat.com>
2300
2301         * doc/install.texi (Prerequisites): Mention jar.
2302
2303 2006-04-04  Daniel Berlin  <dberlin@dberlin.org>
2304
2305         * doc/tree-ssa.texi (Preserving the virtual ssa form): New
2306         subsection.
2307
2308 2006-04-04  Matthias Klose  <doko@debian.org>
2309
2310         * Makefile.in (unprotoize.o): Same dependencies as for protoize.o.
2311         * Makefile.in (s-macro_list): Conform to POSIX rules in single quoted
2312         strings.
2313
2314 2006-04-03  Geoffrey Keating  <geoffk@apple.com>
2315
2316         * doc/extend.texi (Function Attributes): Rewrite visibility
2317         attribute documentation.
2318         * doc/invoke.texi (C++ Dialect Options): Rewrite
2319         -fvisibility-inlines-hidden documentation to describe something
2320         entirely different, although in practise compatible.
2321         (Code Gen Options): Warn about system headers in -fvisibiltity=
2322         documentation.
2323
2324         * doc/extend.texi (Other Builtins): Document that
2325         __builtin_nan is a compile-time constant only when its argument
2326         is valid.
2327
2328 2006-04-03  Adam Nemet  <anemet@caviumnetworks.com>
2329
2330         * simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: When
2331         trying to remove TRUNCATE check if all bits outside the new mode
2332         are identical to the sign bit.
2333
2334 2006-04-03  Jeff Law  <law@redhat.com>
2335
2336         * tree-ssa-dom.c (propagate_rhs_into_lhs): Avoid useless folding
2337         and operand scanning in some common cases.
2338
2339 2006-04-03  Paolo Bonzini  <bonzini@gnu.org>
2340             Dale Johannesen  <dalej@apple.com>
2341
2342         PR target/19653
2343         * regclass.c (struct reg_pref): Update documentation.
2344         (regclass): Set prefclass to NO_REGS if memory is the best option.
2345         (record_reg_classes): Cope with a prefclass set to NO_REGS.
2346         * reload.c (find_reloads): Take PREFERRED_OUTPUT_RELOAD_CLASS
2347         into account.  For non-registers, equate an empty preferred
2348         reload class to a `!' in the constraint; move the if clause to
2349         do so after those that reject the insn.
2350         (push_reload): Allow PREFERRED_*_RELOAD_CLASS to liberally
2351         return NO_REGS.
2352         (find_dummy_reload): Likewise.
2353         * doc/tm.texi (Register Classes): Document what it means
2354         if PREFERRED_*_RELOAD_CLASS return NO_REGS.
2355         * config/i386/i386.c (ix86_preferred_reload_class): Force
2356         using SSE registers (and return NO_REGS for floating-point
2357         constants) if math is done with SSE.
2358         (ix86_preferred_output_reload_class): New.
2359         * config/i386/i386-protos.h (ix86_preferred_output_reload_class): New.
2360         * config/i386/i386.h (PREFERRED_OUTPUT_RELOAD_CLASS): New.
2361         * config/i386/i386.md: Remove # register preferences.
2362
2363 2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>
2364
2365         PR bootstrap/26992
2366         * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop,
2367         chrec_is_positive, set_nb_iterations_in_loop): Use a variable for
2368         the type of nb_iter.
2369         (instantiate_parameters_1): Convert the operands before calling
2370         chrec_fold_minus, chrec_fold_plus, or chrec_fold_multiply.
2371         * tree-data-ref.c (can_use_analyze_subscript_affine_affine): Same.
2372
2373 2006-04-02  Roger Sayle  <roger@eyesopen.com>
2374
2375         * builtins.c (dummy_object): Use build_int_cst instead of convert.
2376         * tree-ssa-ccp.c (maybe_fold_stmt_addition): Use fold_convert
2377         instead of convert.
2378         * dojump.c (do_jump): Likewise.
2379         * expr.h (ADD_PARM_SIZE, SUB_PARM_SIZE, ARGS_SIZE_TREE): Likewise.
2380         * gimplify.c (gimple_boolify, gimplify_init_constructor,
2381         gimplify_boolean_expr): Likewise.
2382         * emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
2383         * varasm.c (array_size_for_constructor): Likewise.
2384         * tree-object-size.c (compute_object_offset): Likewise.
2385
2386 2006-04-02  Roger Sayle  <roger@eyesopen.com>
2387
2388         PR middle-end/26977
2389         * expr.c (emit_group_store): Check whether simplify_gen_subreg returns
2390         NULL_RTX, indicating it couldn't create a valid paradoxical subreg.
2391
2392 2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>
2393
2394         PR tree-optimization/26939
2395         * tree-chrec.c (chrec_merge): Use eq_evolutions_p.
2396
2397 2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>
2398
2399         * tree-scalar-evolution.c (add_to_evolution_1): Pass an extra argument
2400         at_stmt.  Convert the type of operands before calling
2401         build_polynomial_chrec.
2402         (add_to_evolution): Pass an extra argument at_stmt.  Adjust the call to
2403         add_to_evolution_1.
2404         (follow_ssa_edge_in_rhs): Adjust call to add_to_evolution.
2405         (instantiate_parameters_1): Convert the type of operands before calling
2406         build_polynomial_chrec.
2407         * tree-chrec.c (chrec_fold_poly_cst, chrec_fold_plus_poly_poly,
2408         chrec_fold_multiply_poly_poly, chrec_replace_initial_condition,
2409         reset_evolution_in_loop): Insert asserts to check the types of the
2410         operands.
2411         (chrec_type): Moved...
2412         (eq_evolutions_p): Use operand_equal_p.
2413         * tree-chrec.h (build_polynomial_chrec): Insert an assert to check
2414         the types of the operands.
2415         (chrec_type): ...here.
2416         * tree-data-ref.c (create_data_ref): Convert the operands before
2417         calling chrec_replace_initial_condition.
2418         (same_access_functions, analyze_subscript_affine_affine,
2419         analyze_miv_subscript, all_chrecs_equal_p): Use eq_evolutions_p.
2420         (compute_subscript_distance, analyze_ziv_subscript,
2421         analyze_siv_subscript_cst_affine, compute_overlap_steps_for_affine_1_2,
2422         analyze_miv_subscript): Convert the operands before calling
2423         chrec_fold_minus or chrec_fold_plus.
2424
2425 2006-04-02  Sebastian Pop  <pop@cri.ensmp.fr>
2426
2427         * tree-data-ref.c (compute_all_dependences): Use a pointer to
2428         the dependence_relations vector.
2429         (compute_data_dependences_for_loop): Adjust call to
2430         compute_all_dependences.
2431
2432 2006-04-01  Roger Sayle  <roger@eyesopen.com>
2433             Richard Henderson  <rth@redhat.com>
2434
2435         * gimplify.c (gimplify_scan_omp_clauses) <OMP_CLAUSE_IF>: Call
2436         gimple_boolify on the condition before calling gimplify_expr.
2437
2438 2006-03-31  Bob Wilson  <bob.wilson@acm.org>
2439
2440         * config/xtensa/lib1funcs.asm: Rename abi_entry/abi_return macros
2441         to leaf_entry/leaf_return.  Change leaf_entry to add 16 bytes to
2442         the frame size.  Update to use the new macros.
2443         * config/xtensa/ieee754-sf.S: Use new leaf_entry/leaf_return macros.
2444         * config/xtensa/ieee754-df.S: Likewise.
2445
2446 2006-03-31  Richard Henderson  <rth@redhat.com>
2447
2448         * tree-cfg.c (make_ctrl_stmt_edges, make_exit_edges): Merge into...
2449         (make_edges): ... here.  Control fallthru creation with a local
2450         variable.  Do not play with fake edges.
2451         (make_omp_sections_edges): Don't set EDGE_ABNORMAL.
2452         (make_goto_expr_edges): Don't play with fake edges.  Make for_call
2453         a boolean.
2454
2455 2006-04-01  Joseph S. Myers  <joseph@codesourcery.com>
2456
2457         * dwarf2.h (DW64_CIE_ID): Define.
2458         * dwarf2out.c (DWARF_CIE_ID): Define.
2459         (output_call_frame_info): Output 0xffffffff before standard 8-byte
2460         length header.  Use DWARF_CIE_ID.
2461         (value_format): Use DW_FORM_data4 or DW_FORM_data8 for
2462         dw_val_class_loc_list depending on DWARF_OFFSET_SIZE.
2463
2464 2006-03-31  Kaz Kojima  <kkojima@gcc.gnu.org>
2465
2466         * config/sh/linux-atomic.asm: New file.
2467         * config/sh/t-linux (LIB2FUNCS_EXTRA): Add linux-atomic.asm.
2468
2469 2006-03-31  DJ Delorie  <dj@redhat.com>
2470
2471         * config/m32c/cond.md: Set condition flags properly throughout.
2472         * config/m32c/minmax.md: Likewise.
2473         * config/m32c/prologue.md: Likewise.
2474         * config/m32c/bitops.md: Likewise.
2475         * config/m32c/muldiv.md: Likewise.
2476         * config/m32c/mov.md: Likewise.
2477         * config/m32c/addsub.md: Likewise.
2478         * config/m32c/m32c.md: Likewise.
2479         * config/m32c/jump.md: Likewise.
2480         * config/m32c/shift.md: Likewise.
2481
2482         * config/m32c/cond.md (cmp<mode>): Call m32c_output_compare to
2483         conditionally output the pattern for this.
2484         * config/m32c/m32c.c (flags_needed_for_conditional): New.
2485         (m32c_compare_redundant): New.
2486         (m32c_output_compare): New.
2487         * config/m32c/m32c-protos.h (m32c_output_compare): New.
2488
2489         * config/m32c/m32c.c (m32c_prepare_shift): Fix logic to clobber
2490         dest, not src.  Allow other 4-byte modes.
2491
2492 2006-03-30  Denis Chertykov  <denisc@overta.ru>
2493
2494         * doc/md.texi: Refer to avr/constraints.md instead of
2495         avr/avr.h.
2496
2497 2006-03-30  Roger Sayle  <roger@eyesopen.com>
2498
2499         * expr.c (emit_group_store): Make BYTEPOS a HOST_WIDE_INT to
2500         signed vs. unsigned comparison failures on some hosts.
2501
2502 2006-03-31  Alan Modra  <amodra@bigpond.net.au>
2503
2504         PR target/26459
2505         * config/rs6000/rs6000.h (CANNOT_CHANGE_MODE_CLASS): Limit 2003-12-08
2506         change to FLOAT_REGS.
2507
2508         * config/rs6000/rs6000.c (rs6000_explicit_options): Add ieee.
2509         (rs6000_override_options): Use it.
2510         (rs6000_handle_option): Set it.  Set rs6000_explicit_options.abi
2511         only for -mabi=spe/no-spe and -mabi=altivec.
2512
2513 2006-03-30  Geoffrey Keating  <geoffk@apple.com>
2514
2515         * config/darwin.h (LINK_COMMAND_SPEC): Don't try to protect %S with
2516         !Zdynamiclib.
2517
2518 2006-03-30  Carlos O'Donell  <carlos@codesourcery.com>
2519
2520         * Makefile.in: Rename docdir to gcc_docdir.
2521
2522 2006-03-30  Roger Sayle  <roger@eyesopen.com>
2523
2524         PR target/17959
2525         * expr.c (emit_group_store): Optimize group stores into a pseudo
2526         register by using a paradoxical subreg to initialize the destination
2527         if the first or last member of the group specifies a "low part".
2528
2529 2006-03-30  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2530
2531         PR target/26734
2532         * rtl.def (DEPS_LIST): Change type of the second operand to 'int'.
2533         * target.h (struct gcc_target.speculate_insn): Change type of the
2534         second parameter to 'int'.
2535         * lists.c (alloc_DEPS_LIST): Change signature.  Update reference to
2536         the second operand of the DEPS_LIST.
2537         (copy_DEPS_LIST_list): Update reference to the second operand of the
2538         DEPS_LIST.
2539         * rtl.h (alloc_DEPS_LIST): Update signature.
2540         * sched-int.h (ds_t): Change typedef to 'int'.
2541         (DEP_STATUS, BITS_PER_DEP_STATUS): Update.
2542
2543 2006-03-30  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2544
2545         * haifa-sched.c (try_ready): Change condition to restore
2546         non-speculative pattern of the instruction.
2547         (process_insn_depend_be_in_spec): Code to keep probability of the
2548         speculative dependence non-decreasing.
2549
2550 2006-03-30  Jie Zhang  <jie.zhang@analog.com>
2551
2552         * config/bfin/bfin.c (single_move_for_strmov): Renamed to...
2553         (single_move_for_movmem): ... this. Also change all uses.
2554         (bfin_expand_strmov): Renamed to...
2555         (bfin_expand_movmem): ... this. Also change all uses.
2556         * config/bfin/bfin.md (movstrsi): Renamed to...
2557         (movstrsi): ...this.
2558
2559 2006-03-30  Paolo Bonzini  <bonzini@gnu.org>
2560
2561         PR tree-optimization/26830
2562
2563         * tree-ssa-copy.c (copy_prop_visit_assignment): Do not check loop depth.
2564         (copy_prop_visit_stmt): Remove write-only variable ann.
2565         (init_copy_prop): Check variable loop depth here.  Do not simulate
2566         memory-tag and virtual operand PHIs except for store copy prop.
2567
2568 2006-03-30  Richard Guenther  <rguenther@suse.de>
2569
2570         * config/i386/i386.c: Remove builtins for SSE2 ABI intrinsic
2571         variants with double arguments.
2572
2573 2006-03-29  David Edelsohn  <edelsohn@gnu.org>
2574
2575         * genpreds.c (write_tm_constrs_h): Delete variable p.
2576         * genconditions.c (write_header): Add tm-constrs.h to included
2577         headers.
2578         * genpeep.c (main): Add toplev.h to included headers.
2579         * Makefile.in (build/gencondmd.o): Add tm-constrs.h dependency.
2580         (build/genpeep.o): Add toplev.h dependency.
2581         * config/rs6000/constraints.md: Add "W" constraint.
2582
2583 2006-03-29  Roger Sayle  <roger@eyesopen.com>
2584
2585         * stor-layout.c (mode_for_size_tree): Remove restiction on type
2586         sizes by correctly testing whether the size fits a host integer.
2587         (initialize_sizetypes): Use set_min_and_max_values_for_integral_type
2588         to correctly set TYPE_MIN_VALUE and TYPE_MAX_VALUE to the full
2589         SImode range for the default sizetype and bitsizetype.
2590
2591 2006-03-29  Roger Sayle  <roger@eyesopen.com>
2592
2593         * convert.c (convert_to_pointer): Preserve the TREE_OVERFLOW
2594         and TREE_CONSTANT_OVERFLOW bits of the argument.  Return
2595         quickly if the argument is already of the correct type.
2596         Call fold_build1 instead of build1.  Tidy up blank lines.
2597
2598 2006-03-29  David Edelsohn  <edelsohn@gnu.org>
2599
2600         * genemit.c (main): Add tm-constrs.h to included headers.
2601         * genoutput.c (output_prologue): Add tm-constrs.h to included headers.
2602         * genpeep.c (main): Add tm-constrs.h to included headers.
2603         * genpreds.c (write_satisfies_constraint_fns): Rename to ...
2604         (write_tm_constrs_h): this and write complete file.
2605         (write_tm_preds_h): Do not emit satisfies_constraint fns.
2606         (write_insn_preds_c): Add tm-constrs.h to included headers.
2607         (gen_constrs): New variable.
2608         (parse_option): Parse "-c".
2609         (main): Invoke write_tm_constrs_h.
2610         * genrecog.c (write_header): Add tm-constrs.h to included headers.
2611         * Makefile.in (STAGECOPYSTUFF): Add tm-constrs.h.
2612         (object_out_file): Add tm-constrs.h dependency.
2613         (insn-emit.o): Same.
2614         (insn-output.o): Same.
2615         (insn-peep.o): Same.
2616         (insn-preds.o): Same.
2617         (insn-recog.o): Same.
2618         (tm-constsr.h): New target.
2619         (s-constrs-h): New target.
2620
2621         * config/rs6000/constraints.md: New file.
2622         * config/rs6000/rs6000.c: Include tm-constrs.h.
2623         (num_insn_constant_wide): Convert to satisfies_constraint.
2624         (rs6000_rtx_costs): Convert to satisfies_constraint.
2625         * config/rs6000/rs6000.h (REG_CLASS_FROM_LETTER): Delete.
2626         (CONST_OK_FOR_LETTER_P): Delete.
2627         (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
2628         (EXTRA_CONSTRAINT): Delete.
2629         (EXTRA_MEMORY_CONSTRAINT): Delete.
2630         (EXTRA_ADDRESS_CONSTRAINT): Delete.
2631         * config/rs6000/predicates.md: Convert to satisfies_constraint.
2632         * config/rs6000/rs6000.md: Include constraints.md.  Convert to
2633         satisfies_constraint.
2634
2635         * config/i386/i386.c: Include tm-constrs.h.
2636
2637 2006-03-29  Sebastian Pop  <pop@cri.ensmp.fr>
2638
2639         * tree-loop-linear.c (compute_data_dependences_for_loop): Adjust calls.
2640         * tree-data-ref.c (find_data_references_in_loop,
2641         compute_data_dependences_for_loop): Use pointers to VEC.
2642         (analyze_all_data_dependences): Adjust calls.
2643         * tree-data-ref.h (find_data_references_in_loop,
2644         compute_data_dependences_for_loop): Adjust declarations.
2645         * tree-vect-analyze.c (vect_analyze_data_refs): Adjust call to
2646         compute_data_dependences_for_loop.
2647
2648 2006-03-29  Paul Brook  <paul@codesourcery.com>
2649
2650         * config/arm/vfp.md (movsf_vfp): Disparage w<->r alternatives.
2651         (movdf_vfp): Ditto.
2652
2653 2006-03-29  Sebastian Pop  <pop@cri.ensmp.fr>
2654
2655         PR tree-optimization/26859
2656         * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Avoid
2657         division by zero.
2658         (convert_step): Remove TREE_OVERFLOW and TREE_CONSTANT_OVERFLOW flags
2659         for the step after fold_convert.
2660
2661 2006-03-29  Paul Brook  <paul@codesourcery.com>
2662
2663         * reload1.c (choose_reload_regs): Check for all RTX_AUTOINC operators.
2664         (inc_for_reload): Handle PRE_MODIFY and POST_MODIFY addresses.
2665
2666 2006-03-29  Paul Brook  <paul@codesourcery.com>
2667
2668         PR middle-end/23623
2669         * targhooks.c (default_narrow_bitfield): New fuction.
2670         * targhooks.h (default_narrow_bitfield): add prototype.
2671         * target.h (gcc_target): Add narrow_volatile_bitfield.
2672         * target-def.h (TARGET_NARROW_VOLATILE_BITFIELD): Define.
2673         * stor-layout.c (get_best_mode): Use targetm.narrow_volatile_bitfield.
2674         * doc/tm.texi: Document TARGET_NARROW_VOLATILE_BITFIELDS.
2675         * config/arm/arm.c (TARGET_NARROW_VOLATILE_BITFIELD): Define.
2676
2677 2006-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2678
2679         * config.gcc (s390-*-linux-*, s390x-*-linux*): Add t-dfprules to
2680         tmake_file.
2681         * config/s390/s390.c (S390_scalar_mode_supported_p): New function.
2682         (NR_C_MODES): Add TDmode, DDmode and SDmode.
2683         (s390_output_pool_entry, ): Accept MODE_DECIMAL_FLOAT.
2684         (s390_hard_regno_mode_ok): Disallow TDmode in integer regs.
2685         (s390_function_arg_float): Allow SDmode and DDmode values to be
2686         passed in floating point registers.
2687         (s390_function_arg_integer, s390_function_value): Replace MODE_FLOAT
2688         check with SCALAR_FLOAT_MODE_P.
2689         (TARGET_SCALAR_MODE_SUPPORTED_P): Define target macro.
2690
2691 2006-03-28  Zdenek Dvorak <dvorakz@suse.cz>
2692
2693         PR tree-optimization/25985
2694         * tree-ssa-loop-niter.c (number_of_iterations_le,
2695         number_of_iterations_ne): Make comments more precise.
2696         (number_of_iterations_cond): Add only_exit argument.  Use the
2697         fact that signed variables do not overflow only when only_exit
2698         is true.
2699         (loop_only_exit_p): New.
2700         (number_of_iterations_exit): Pass result of loop_only_exit_p to
2701         number_of_iterations_cond.
2702
2703 2006-03-28  Zdenek Dvorak <dvorakz@suse.cz>
2704
2705         PR tree-optimization/26643
2706         * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Do not handle
2707         bit_field_refs.
2708
2709 2006-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
2710
2711         * config/sh/sh.md (udivsi3_i4_int): Clobber MACH_REG and MACL_REG.
2712         (divsi3_i4_int): Likewise.
2713
2714 2006-03-28  Roger Sayle  <roger@eyesopen.com>
2715
2716         * expr.c (emit_group_store): Only create a new pseudo reg if the
2717         quantity it needs to hold isn't already a suitable pseudo.
2718
2719 2006-03-28  Jeff Law  <law@redhat.com>
2720
2721         * timevar.def (TV_TREE_PHI_CPROP): New timevar.
2722         * tree-ssa-dom.c (pass_phi_only_cprop): Use it.
2723
2724 2006-03-28  Roger Sayle  <roger@eyesopen.com>
2725
2726         * fold-const.c (fold_binary) <BIT_XOR_EXPR>: Fold (X & Y) ^ Y as
2727         the equivalent ~X & Y, and the symmetry related transformations.
2728         (fold_binary) <BIT_AND_EXPR>: Similarly, fold (X ^ Y) & Y as
2729         ~X & Y, and symmetry related transforms.
2730
2731 2006-03-28  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2732
2733         Revert my 2006-03-27 patches.
2734
2735 2006-03-28  Roger Sayle  <roger@eyesopen.com>
2736
2737         * fold-const.c (fold_unary) <NOP_EXPR>: Fold (T1)(~(T2)X) as
2738         ~(T1)X, when T1 and T2 are integer types of the same precision
2739         and (T2)X isn't an extension.
2740
2741 2006-03-28  Jeff Law  <law@redhat.com>
2742
2743         PR tree-optimization/26796
2744         * tree-ssa-dom.c (propagate_rhs_into_lhs): Queue blocks which
2745         need EH edge cleanups rather than purging them immediately.
2746         (eliminate_degenerate_phis): Handle queued EH cleanups.
2747
2748 2006-03-28  Daniel Berlin  <dberlin@dberlin.org>
2749
2750         * tree-ssa-alias.c (create_sft): Initially inherit TREE_ADDRESSABLE
2751         from parent_var.
2752
2753 2006-03-27  Roger Sayle  <roger@eyesopen.com>
2754
2755         PR middle-end/22524
2756         * fold-const.c (fold_binary) <MINUS_EXPR>: Call fold_convert to
2757         cast BIT_NOT_EXPR operand to the correct type.
2758
2759 2006-03-27  Sebastian Pop  <pop@cri.ensmp.fr>
2760
2761         * tree-loop-linear.c: Don't include varray.h.
2762         (gather_interchange_stats, try_interchange_loops,
2763         linear_transform_loops): Use VEC instead of VARRAY.
2764         * lambda-mat.c: Don't include varray.h.
2765         * tree-chrec.c: Same.
2766         * lambda-trans.c: Same.
2767         * tree-vectorizer.c (new_loop_vec_info, destroy_loop_vec_info): Use
2768         VEC instead of VARRAY.
2769         * tree-vectorizer.h: Idem.
2770         * tree-data-ref.c (dump_data_references,
2771         dump_data_dependence_relations, dump_dist_dir_vectors, dump_ddrs,
2772         initialize_data_dependence_relation, finalize_ddr_dependent,
2773         compute_all_dependences, find_data_references_in_loop,
2774         compute_data_dependences_for_loop, analyze_all_data_dependences,
2775         free_dependence_relation, free_dependence_relations,
2776         free_data_refs): Idem.
2777         * tree-data-ref.h (data_reference_p, subscript_p): New.
2778         (data_dependence_relation, DDR_SUBSCRIPT, DDR_NUM_SUBSCRIPTS): Use
2779         VEC instead of VARRAY.
2780         (DDR_SUBSCRIPTS_VECTOR_INIT): Removed.
2781         (find_data_references_in_loop, compute_data_dependences_for_loop,
2782         dump_ddrs, dump_dist_dir_vectors, dump_data_references,
2783         dump_data_dependence_relations, free_dependence_relations,
2784         free_data_refs): Adjust declaration.
2785         (lambda_transform_legal_p): Move declaration here...
2786         * tree-vect-analyze.c (vect_analyze_data_ref_dependences,
2787         vect_compute_data_refs_alignment, vect_verify_datarefs_alignment,
2788         vect_enhance_data_refs_alignment, vect_analyze_data_ref_accesses,
2789         vect_analyze_data_refs): Use VEC instead of VARRAY.
2790         * lambda.h (lambda_transform_legal_p): ...from here.
2791         * lambda-code.c (lambda_transform_legal_p): Use VEC instead of VARRAY.
2792         * tree-vect-transform.c (vect_update_inits_of_drs): Idem.
2793         * Makefile.in (tree-loop-linear.o, lambda-mat.o, lambda-trans.o,
2794         tree-chrec.o): Don't depend on VARRAY_H.
2795
2796 2006-03-27  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2797
2798         * rtl.def (Copyright): Update date.
2799         (DEPS_LIST): Change type of the second operand to 'int'.
2800         * target.h (Copyright): Update date.
2801         (struct gcc_target.speculate_insn): Change type of the second parameter
2802         to 'int'.
2803         * lists.c (Copyright): Update date.
2804         (alloc_DEPS_LIST): Change signature.  Update reference to the second
2805         operand of the DEPS_LIST.
2806         (copy_DEPS_LIST_list): Update reference to the second operand of the
2807         DEPS_LIST.
2808         * rtl.h (Copyright): Update date.
2809         (alloc_DEPS_LIST): Update signature.
2810         * sched-int.h (Copyright): Update date.
2811         (ds_t): Change typedef to 'int'.
2812         (DEP_STATUS, BITS_PER_DEP_STATUS): Update.
2813
2814 2006-03-27  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2815
2816         * haifa-sched.c (Copyright): Update date.
2817         (try_ready): Change condition to restore non-speculative pattern
2818         of the instruction.
2819         (process_insn_depend_be_in_spec): Code to keep probability of the
2820         speculative dependence non-decreasing.
2821
2822 2006-03-27  Bernd Schmidt  <bernd.schmidt@analog.com>
2823
2824         * regrename.c (replace_oldest_value_addr): Initialize a variable to
2825         shut up the compiler.
2826
2827 2006-03-27  J"orn Rennecke <joern.rennecke@st.com>
2828
2829         * config/sh/t-sh ($(T)libic_invalidate_array_4-100.a): Fix rule
2830         to use lib prefix for target.
2831         ($(T)libic_invalidate_array_4-200.a): Likewise.
2832         ($(T)libic_invalidate_array_4a.a): Likewise.
2833
2834 2006-03-27  Andrew Stubbs <andrew.stubbs@st.com>
2835             J"orn Rennecke <joern.rennecke@st.com>
2836
2837         * superh.opt: New file.
2838         * sh.c (boardtype, osruntime): Remove.
2839         * superh.h (SUBTARGET_OPTIONS): Remove.
2840         * config.gcc (sh*-superh-elf): Add sh/superh.opt to extra_options.
2841
2842         * config.gcc (sh*-*-*): Don't use c-c ranges for tr.  Quote sed
2843         arguments with ^ and/or [].
2844
2845         * config.gcc (sh-*-*): Add quoting to account for quirk of
2846         Solaris /bin/sh.
2847         Replace == with = in enable_incomplete_targets test.
2848
2849         * config/sh/superh.h (SUBTARGET_LINK_SPEC): Replace LITTLE_ENDIAN_BIT
2850         with MASK_LITTLE_ENDIAN.
2851
2852         * config.gcc (sh*-superh-elf): Add sh/superh.h to tm_file.
2853         * config/sh/sh.opt: Added to some comments.
2854         * config/sh/superh.h: Removed some chaff.
2855
2856         * config/sh/sh.opt: Add m4-[1234]00* options.
2857         * config/sh/sh.c (sh_handle_option): Likewise.
2858         * config/sh/t-sh (IC_EXTRA_PARTS, EXTRA_MULTILIB_PARTS): Define.
2859         (ic_invalidate_array_4-100.o): New rule.
2860         ($(T)libic_invalidate_array_4-100.a): Likewise.
2861         (ic_invalidate_array_4-200.o): Likewise.
2862         ($(T)libic_invalidate_array_4-200.a): Likewise.
2863         (ic_invalidate_array_4a.o): Likewise.
2864         ($(T)libic_invalidate_array_4a.a): Likewise.
2865         * config/sh/t-elf (EXTRA_MULTILIB_PARTS): Add IC_EXTRA_PARTS.
2866         * config/sh/embed-elf.h (LIBGCC_SPEC): Add clauses for m4-100*,
2867         m4-200*, and m4a*.
2868         * config/sh/crt1.asm: Merged in profiling code.
2869         * config/sh/superh.h (STARTFILE_SPEC): Override.
2870         * config/sh/t-superh: Override EXTRA_MULTILIB_PARTS.
2871         Add rules for $(T)crt1-mmu.o, $(T)gcrt1-mmu.o and $(T)gcrt1.o.
2872         * config.gcc (sh*-superh-elf): Add t-superh to tmake_file.
2873
2874         * t-sh (MULTILIB_MATCHES): Add sh4-[1245]00* variants.
2875         * config/sh/t-superh: Removed now-redundant MULTILIB_OPTIONS /
2876         MULTILIB_DIRNAMES / MULTILIB_MATCHES settings.
2877
2878         * sh.opt (mpretend-cmove): New option.
2879         * sh.h (OPERRIDE_OPTIONS): Switch it off if not TARGET_SH1.
2880         * sh.md (movsicc_t_false, movsicc_t_tru): New patterns.
2881         (movsicc): Add TARGET_PRETEND_CMOVE code.
2882
2883 2006-03-27  Andreas Krebbel  <krebbel1@de.ibm.com>
2884
2885         * config/s390/s390-protos.h (s390_hard_regno_mode_ok,
2886         s390_class_max_nregs): New function prototypes.
2887         * config/s390/s390.c (REGNO_PAIR_OK): New macro.
2888         (s390_hard_regno_mode_ok, s390_class_max_nregs): New functions.
2889         * config/s390/s390.h (HARD_REGNO_NREGS, HARD_REGNO_MODE_OK,
2890         CLASS_MAX_NREGS): Macro bodies replaced by function calls.
2891
2892 2006-03-26  Geoffrey Keating  <geoffk@apple.com>
2893
2894         * dwarf2out.c (add_location_or_const_value_attribute): Call
2895         tree_add_const_value_attribute if nothing else works.
2896         (reference_to_unused): New.
2897         (rtl_for_decl_init): Use reference_to_unused to decide whether
2898         to output an initializer.
2899
2900 2006-03-27  Alan Modra  <amodra@bigpond.net.au>
2901
2902         PR target/26459
2903         * config/rs6000/rs6000.md (DF reg move peephole): Prevent
2904         peephole removing spe frob_di_df_2.
2905
2906 2006-03-26  Sebastian Pop  <pop@cri.ensmp.fr>
2907
2908         * tree-data-ref.c: Rename DDR_SIZE_VECT to DDR_NB_LOOPS.
2909         (subscript_dependence_tester_1): Declared.
2910         (print_dir_vectors, print_dist_vectors): New.
2911         (debug_data_dependence_relation): New.
2912         (dump_data_dependence_relation): Print more details.
2913         (initialize_data_dependence_relation): Initialize DDR_LOOP_NEST.
2914         (analyze_subscript_affine_affine): Don't ICE when gcd_alpha_beta is 0.
2915         (save_dist_v, save_dir_v, add_outer_distances,
2916         build_classic_dist_vector_1): New.
2917         (build_classic_dist_vector): Rewrite to work on DDR_LOOP_NEST.
2918         Don't test for lambda_vector_lexico_pos.
2919         (same_access_functions, add_multivariate_self_dist,
2920         add_other_self_distances, dir_from_dist): New.
2921         (build_classic_dir_vector): Replace implementation almost identical to
2922         build_classic_dist_vector with a walk of DDR_DIST_VECTS with a call to
2923         dir_from_dist.
2924         (subscript_dependence_tester_1): New.
2925         (subscript_dependence_tester): Handle the lexicographically negative
2926         distance vectors by recomputing the dependence relation.
2927         (compute_affine_dependence): Remove parameter loop_nest_depth.
2928         (compute_self_dependence): Don't call compute_subscript_distance.
2929         (compute_all_dependences): Remove parameters nb_loops, loop_nest_depth.
2930         Add a parameter for the loop_nest.
2931         (find_loop_nest_1, find_loop_nest): New.
2932         (compute_data_dependences_for_loop): Compute the loop nest, and give
2933         up if the nest is not well formed.
2934         * tree-data-ref.h (loop_p): New.
2935         (struct data_dependence_relation): Replace size_vect field with
2936         loop_nest, a vec of loops.
2937         (DDR_SIZE_VECT): Renamed DDR_NB_LOOPS.
2938         (DDR_LOOP_NEST): New.
2939         (print_dir_vectors, print_dist_vectors,
2940         debug_data_dependence_relation): Declared.
2941         (index_in_loop_nest): New.
2942         * tree-vect-analyze.c (vect_analyze_data_ref_dependence): Use
2943         DDR_LOOP_NEST and index_in_loop_nest to determine the dependence
2944         distance.
2945
2946 2006-03-25  Adam Nemet  <anemet@caviumnetworks.com>
2947
2948         * simplify-rtx.c (simplify_relational_operation): Call
2949         simplify_relational_operation_1 even if mode is VOIDmode.
2950
2951 2006-03-25  Daniel Berlin  <dberlin@dberlin.org>
2952
2953         PR tree-optimization/26804
2954         * tree.h (DECL_CALL_CLOBBERED): New macro.
2955         (tree_decl_common): Add call_clobbered_flag.
2956         * tree-flow-inline.h (is_call_clobbered): Use DECL_CALL_CLOBBERED.
2957         (mark_call_clobbered): Set DECL_CALL_CLOBBERED.
2958         (clear_call_clobbered): Clear DECL_CALL_CLOBBERED.
2959         (mark_non_addressable): Ditto.
2960         * tree-ssa.c (verify_call_clobbered): New function.
2961         (verify_alias_info): Use it.
2962         * tree-pass.h (pass_reset_cc_flags): New prototype.
2963         * tree-ssa-alias.c (pass_reset_cc_flags): New structure.
2964         (reset_cc_flags): New function.
2965         * passes.c (init_optimization_passes): Call reset_cc_flags after
2966         initializing referenced_vars.
2967
2968 2006-03-25  Uros Bizjak  <uros@kss-loka.si>
2969             Roger Sayle  <roger@eyesopen.com>
2970
2971         PR middle-end/26717
2972         * fold-const.c (fold_binary) [RDIV_EXPR]: Do not optimize A / A
2973         to 1.0 for non-real operands. Implement A / A optimization for
2974         complex operands.
2975
2976 2006-03-25  H.J. Lu  <hongjiu.lu@intel.com>
2977
2978         * config/i386/i386.c (size_cost): Correct the comment for
2979         cost of storing fp registers.
2980         (i386_cost): Likewise.
2981         (i486_cost): Likewise.
2982         (pentium_cost): Likewise.
2983         (pentiumpro_cost): Likewise.
2984         (k6_cost): Likewise.
2985         (athlon_cost): Likewise.
2986         (k8_cost): Likewise.
2987         (pentium4_cost): Likewise.
2988         (nocona_cost): Likewise.
2989         (generic64_cost): Likewise.
2990         (generic32_cost): Likewise.
2991
2992 2006-03-24  Denis Chertykov  <denisc@overta.ru>
2993
2994         * config/avr/avr-protos.h (extra_constraint): Delete.
2995         (extra_constraint_Q): New declaration.
2996         * config/avr/constraints.md: New file.
2997         * config/avr/avr.md: Include it.
2998         (REG_X, REG_Y, REG_Z, REG_W): New constants.
2999         (TMP_REGNO, ZERO_REGNO): Likewise.
3000         (UNSPEC_STRLEN, UNSPEC_INDEX_JMP): Likewise.
3001         * config/avr/avr.c (avr_reg_class_from_letter): Delete.
3002         (extra_constraint): Delete.
3003         (extra_constraint_Q): Test for memory constraint 'Q'.
3004         * config/avr/avr.h (REG_X,REG_Y,REG_Z,REG_W): Delete.
3005         (REG_CLASS_FROM_LETTER): Delete.
3006         (CONST_OK_FOR_LETTER_P): Delete.
3007         (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
3008         (EXTRA_CONSTRAINT): Delete.
3009         (TMP_REGNO): Delete.
3010         (ZERO_REGNO): Delete.
3011
3012 2006-03-24  Jeff Law  <law@redhat.com>
3013
3014         * tree-ssa-dom.c (propagate_rhs_into_lhs): Don't call update_stmt
3015         directly.  Call mark_new_vars_to_rename slightly earlier.
3016
3017 2006-03-24  Geoffrey Keating  <geoffk@apple.com>
3018
3019         * dwarf2out.c (is_c_family): Understand new DWARF3 language types.
3020         (is_cxx): Likewise.
3021         (gen_compile_unit_die): Use new language types for Objective-C and
3022         Objective-C++.
3023         (dwarf2out_decl): Use is_cxx rather than testing explicitly against
3024         DW_LANG_C_plus_plus.
3025
3026         PR 26793
3027         * config/t-darwin (crt3.o): Work around bug 26840.
3028         * config/darwin-crt3.c: Rewrite.
3029         * config/darwin.h (STARTFILE_SPEC): Don't use -l for crt3.o.
3030
3031 2006-03-24  Carlos O'Donell  <carlos@codesourcery.com>
3032
3033         * doc/invoke.texi: Document -femit-class-debug-always
3034         * common.opt: Add -femit-class-debug-always.
3035
3036 2006-03-24  Andreas Krebbel  <krebbel1@de.ibm.com>
3037
3038         * config/s390/s390.c (s390_decompose_address): Allow SImode for
3039         index and base register.
3040         (s390_expand_plug_operand, legitimate_address_p, preferred_la_operand_p,
3041         print_operand_address, print_operand): Replaced REG_OK_FOR_BASE_STRICT_P
3042         with REGNO_OK_FOR_BASE_P and REG_OK_FOR_INDEX_STRICT_P with
3043         REGNO_OK_FOR_INDEX_P.
3044         * config/s390/s390.h (REGNO_OK_FOR_INDEX_P): Replaced check with
3045         ADDR_REGNO_P.
3046         (REG_OK_FOR_INDEX_NONSTRICT_P, REG_OK_FOR_BASE_NONSTRICT_P,
3047         REG_OK_FOR_INDEX_STRICT_P, REG_OK_FOR_BASE_STRICT_P, REG_OK_FOR_INDEX_P,
3048         REG_OK_FOR_BASE_P): Definitions removed.
3049
3050 2006-03-24  Jakub Jelinek  <jakub@redhat.com>
3051
3052         PR middle-end/26611
3053         * gimplify.c (gimplify_bind_expr): Only call omp_add_variable on
3054         non-global variables that don't have DECL_SEEN_IN_BIND_EXPR_P bit
3055         set yet or weren't marked as local yet.
3056
3057 2006-03-24  Bernd Schmidt  <bernd.schmidt@analog.com>
3058
3059         * regrename.c (scan_rtx_address): Initialize a variable to shut up
3060         the compiler.
3061
3062 2006-03-24  Eric Botcazou  <ebotcazou@adacore.com>
3063
3064         * config/rs6000/rs6000-protos.h (rs6000_offsettable_memref_p): Declare.
3065         (rs6000_legitimate_small_data_p): Delete.
3066         * config/rs6000/rs6000.c (rs6000_offsettable_memref_p): New predicate.
3067         (rs6000_legitimate_small_data_p): Rename to legitimate_small_data_p
3068         and make static.  Add forward declaration.  Update uses.
3069         (rs6000_split_multireg_move): Use rs6000_offsettable_memref_p instead
3070         of offsettable_memref_p.
3071         * config/rs6000/rs6000.md (movdf_hardfloat32): Revert 2005-08-23 fix.
3072         Use rs6000_offsettable_memref_p instead of a less accurate predicate.
3073
3074 2006-03-24  Jeff Law  <law@redhat.com>
3075
3076         * tree-ssa-dom.c (propagate_rhs_into_lhs): Temporarily work
3077         around bug in immediate-use iterator.
3078
3079 2006-03-24  Alan Modra  <amodra@bigpond.net.au>
3080
3081         PR target/26607
3082         * config/rs6000/darwin-ldouble.c: Don't compile when __NO_FPRS__
3083         or __LITTLE_ENDIAN__.
3084
3085 2006-03-23  J"orn Rennecke <joern.rennecke@st.com>
3086
3087         * config/sh/divtab-sh4.c, config/sh/divcost-analysis: New files.
3088         * config/sh/lib1funcs.asm (div_table): Add !__SH5__ variant.
3089         * config/sh/t-sh (LIB1ASMFUNCS): Add _div_table.
3090         * config/sh/sh.opt (mdiv=): Amend description.
3091         * config/sh/sh.h (TARGET_DIVIDE_CALL_DIV1): New macro.
3092         (TARGET_DIVIDE_CALL_FP, TARGET_DIVIDE_CALL_TABLE): Likewise.
3093         (sh_divide_strategy_e): Add new members SH_DIV_CALL_DIV1,
3094         SH_DIV_CALL_FP, SH_DIV_CALL_TABLE and SH_DIV_INTRINSIC.
3095         (OVERRIDE_OPTIONS): Also process sh_div_str for TARGET_SH1.
3096         Calculate sh_divsi3_libfunc using TARGET_DIVIDE_* macros.
3097         * config/sh/sh.md (udivsi3_i4_int, divsi3_i4_int): New patterns.
3098         (udivsi3, divsi3): Use them.  Check TARGET_DIVIDE_CALL_TABLE /
3099         TARGET_DIVIDE_CALL_FP.
3100
3101 2006-03-23  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
3102
3103         * haifa-sched.c (choose_ready): Fix type of the local variable.
3104         Move local variables.  Add comment.
3105         (check_reg_live): Change signature.  Make callable from debugger.
3106         * sched-int.h (check_reg_live): Update signature.
3107         * sched-ebb.c (check_reg_live): Update parameters.
3108         * sched-rgn.c (check_reg_live): Ditto.
3109         (region_head_or_leaf_p): Check pointer before dereferencing.
3110         * config/ia64/ia64.c (ia64_set_sched_flags): Disable data speculation
3111         before reload on optimization levels below 1.
3112
3113 2006-03-23  Richard Henderson  <rth@redhat.com>
3114
3115         * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject
3116         tls symbols.
3117
3118         PR target/26347
3119         * config/alpha/predicates.md (local_symbolic_operand): Reject
3120         weak symbols.
3121
3122 2006-03-23  Andrew Pinski  <pinskia@physics.uc.edu>
3123
3124         PR tree-opt/26795
3125         * tree-ssa-pre.c (create_value_expr_from): Don't reject
3126         expressions which have overflowed constants.
3127
3128 2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>
3129
3130         * cse.c (cse_end_of_basic_block): Do not check for LOOP_END note.
3131
3132 2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>
3133
3134         * cfgloopmanip.c (create_loop_notes): Removed.
3135         * final.c (final_scan_insn): Do not handle loop notes.
3136         * jump.c (squeeze_notes): Ditto.
3137         * cfglayout.c (skip_insns_after_block,
3138         duplicate_insn_chain): Ditto.
3139         * cfgcleanup.c (rest_of_handle_jump2): Do not call
3140         create_loop_notes.
3141         * cfgloop.h (create_loop_notes): Declaration removed.
3142
3143 2006-03-23  Richard Sandiford  <richard@codesourcery.com>
3144
3145         * varasm.c (output_constant_pool): Restore fnname and fndecl
3146         arguments.
3147         (assemble_start_function): Adjust call accordingly.
3148         (assemble_end_function): Likewise.
3149
3150 2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3151
3152         PR mudflap/26789
3153         * tree-mudflap.c (mudflap_finish_file): Skip erroneous objects.
3154
3155         PR mudflap/26790
3156         * tree-mudflap.c (mf_xform_derefs_1): Return early on error_mark_node.
3157
3158 2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3159
3160         PR driver/22600
3161         * system.h (ICE_EXIT_CODE): New macro.
3162         * diagnostic.c (diagnostic_count_diagnostic): Exit with ICE_EXIT_CODE.
3163         (diagnostic_action_after_output): Likewise.
3164         * gcc.c (fatal_ice): New function.
3165         (execute): Use it instead of fatal.
3166         (fancy_abort): Likewise.
3167         * doc/invoke.texi (-pass-exit-codes): Document return code for ICEs.
3168
3169 2006-03-22  Jeff Law  <law@redhat.com>
3170
3171         * loop-unroll.c (analyze_iv_to_split_insn): Handle
3172         iv_analyze_result returning false.
3173
3174 2006-03-22  Jie Zhang  <jie.zhang@analog.com>
3175
3176         * config/bfin/bfin.h (ASM_FORMAT_PRIVATE_NAME): Remove.
3177
3178 2006-03-22  Richard Henderson  <rth@redhat.com>
3179
3180         PR middle-end/26084
3181         * except.c (duplicate_eh_regions_0): New.
3182         (duplicate_eh_region_1): Duplicate the children of the node as
3183         well as the node itself.  Link them up properly.
3184         (duplicate_eh_region_2): Merge into ...
3185         (duplicate_eh_regions): ... here.  Take copy_region argument, and
3186         copy only a sub-tree if asked.  Simplify copying and fixup.
3187         (eh_region_outer_p): New.
3188         * except.h (duplicate_eh_regions): Update decl.
3189         (eh_region_outer_p): Declare.
3190         * omp-low.c (lower_omp_single): Fix eh region placement wrt OMP_RETURN.
3191         (lower_omp_master): Likewise.
3192         (lower_omp_ordered): Likewise.
3193         * tree-cfg.c (struct move_stmt_d): Add new_label_map.
3194         (move_stmt_r): Use it to remap labels.  Handle recursion vs
3195         remap_decls_p properly.
3196         (move_block_to_fn): Pass in new_label_map.  Remap RESX_EXPR.
3197         (find_outermost_region_in_block): New.
3198         (new_label_mapper): New.
3199         (move_sese_region_to_fn): Copy eh information to the new function
3200         properly.
3201         * tree-inline.c (copy_cfg_body): Update for new duplicate_eh_regions
3202         argument.
3203         * tree-pretty-print.c (dump_generic_node): Dump RESX_EXPR region
3204         number.
3205
3206 2006-03-22  Richard Sandiford  <richard@codesourcery.com>
3207
3208         * doc/md.texi (-mshared): Mention that -mshared code can be linked
3209         into shared libraries.
3210
3211 2006-03-22  Richard Sandiford  <richard@codesourcery.com>
3212
3213         * doc/md.texi: Refer to i386/constraints.md instead of
3214         i386/predicates.md.
3215         * config/i386/constraints.md: New file, extracted from...
3216         * config/i386/predicates.md: ...here.
3217         * config/i386/i386.md: Include constraints.md.
3218
3219 2006-03-21  Jason Merrill  <jason@redhat.com>
3220
3221         * builtins.c (expand_builtin_fork_or_exec): Fix pasto.
3222
3223         PR middle-end/20297
3224         * expr.c (init_block_move_fn): Force default visibility.
3225         (init_block_clear_fn): Likewise.
3226         * builtins.c (expand_builtin_fork_or_exec): Likewise.
3227         * targhooks.c (default_external_stack_protect_fail): Likewise.
3228
3229 2006-03-21  Richard Sandiford  <richard@codesourcery.com>
3230
3231         * config/mips/predicates.md (const_call_insn_operand): Allow direct
3232         calls to locally-defined functions if TARGET_ABSOLUTE_ABICALLS.
3233         * config/mips/mips.md (jal_macro): Test TARGET_ABSOLUTE_ABICALLS.
3234         Use TARGET_OLDABI instead of !TARGET_NEWABI.
3235         (loadgp): Use mips_current_loadgp_style.
3236         (loadgp_noshared): New pattern.
3237         (sibcall_internal): Use MIPS_CALL.
3238         (sibcall_value_internal): Likewise.
3239         (sibcall_value_multiple_internal): Likewise.
3240         (call_internal): Likewise.
3241         (call_value_internal): Likewise.
3242         (call_value_multiple_internal): Likewise.
3243         (call_split): Use MIPS_CALL and add an 'S' constraint.
3244         (call_value_split): Likewise.
3245         (call_value_multiple_split): Likewise.
3246         * config/mips/mips.opt (-mabicalls): Tweak docstring.
3247         (-mshared): New option.
3248         * config/mips/mips-protos.h (mips_loadgp_style): New enum.
3249         (mips_current_loadgp_style): Declare.
3250         * config/mips/mips.c (mips_classify_symbol): Avoid using
3251         SYMBOL_GOT_LOCAL if TARGET_ABSOLUTE_ABICALLS.  Use SYMBOL_GENERAL
3252         rather than SYMBOL_GOT_GLOBAL for locally-binding symbols if
3253         TARGET_ABSOLUTE_ABICALLS.
3254         (override_options): Adjust comments.  Improve the warning that is
3255         issued when -mabicalls and -G are used together.
3256         (mips_file_start): Remove comment.
3257         (mips_current_loadgp_style): New function.
3258         (mips_gnu_local_gp): New variable.
3259         (mips_emit_loadgp): Use mips_current_loadgp_style.  Handle
3260         LOADGP_ABSOLUTE.
3261         (mips_output_function_prologue): Use mips_current_laodgp_style.
3262         (mips_expand_prologue): Call mips_emit_loadgp before emitting
3263         the cprestore instruction.
3264         (mips_extra_live_on_entry): Fix reversed test.  Don't make $25
3265         live for TARGET_ABSOLUTE_ABICALLS.
3266         * config/mips/mips.h (TARGET_ABSOLUTE_ABICALLS): New macro.
3267         (ASM_SPEC): Pass down -mshared and -mno-shared.
3268         (MIPS_CALL): New macro.
3269         * config/mips/netbsd.h (TARGET_OS_CPP_BUILTINS): Remove __ABICALLS__
3270         definition.
3271         * doc/invoke.texi (-mabicalls): Update documentation.
3272         (-mshared): Document.
3273
3274 2006-03-21  Steve Ellcey  <sje@cup.hp.com>
3275
3276         * config/ia64/unwind-hpux.c: New file.
3277         * config/ia64/t-hpux: Add unwind-hpux.c to libgcc.
3278
3279 2006-03-21  Steve Ellcey  <sje@cup.hp.com>
3280
3281         PR libgomp/26384
3282         * config/pa/pa64-hpux.h (LIB_SPEC): Fix for -mt and -pthread options.
3283
3284 2006-03-21  Jeff Law  <law@redhat.com>
3285
3286         * tree-vrp.c (extract_range_from_unary_expr): Derive ranges for
3287         type conversions of a VR_VARYING source to a wider type.
3288
3289 2006-03-21  Eric Botcazou  <ebotcazou@libertysurf.fr>
3290
3291         * config.gcc (i[34567]86-*-solaris2*): Add config/sol2-10.h to
3292         tm_file on Solaris 10 and later.
3293         (sparc64-*-solaris2*): Likewise.
3294         (sparc-*-solaris2*): Likewise.
3295         * config/sol26.h: Rename to config/sol2-6.h.
3296         * config/sol2-10.h: New file.
3297
3298 2006-03-21  Andrew Pinski  <pinskia@physics.uc.edu>
3299
3300         PR tree-opt/26781
3301         * tree-ssa-pre.c (create_component_ref_by_pieces):
3302         Handle STRING_CST.
3303
3304 2006-03-21  Jakub Jelinek  <jakub@redhat.com>
3305
3306         PR c++/26690
3307         * tree.c (get_callee_fndecl): If CALL is error_mark_node,
3308         return it immediately.
3309
3310 2006-03-21  Michael Matz  <matz@suse.de>
3311
3312         * genautomata.c (<struct state>, num_out_arcs, presence_signature):
3313         New members.
3314         (remove_arc, add_arc): Update num_out_arcs member.
3315         (set_out_arc_insns_equiv_num): Returns nothing instead of number
3316         of out arcs.
3317         (cache_presence): New function.
3318         (compare_states_for_equiv): New function.
3319         (state_is_differed): Don't take number of outargs, adjust callers.
3320         Use new invariant for speeding up.
3321         (init_equiv_class): Create initial classes based on sorted
3322         input.
3323         (partition_equiv_class): Don't track out_arcs_num.
3324         (evaluate_equiv_classes): Call cache_presence on all states and
3325         sort them.
3326
3327 2006-03-21  Bernd Schmidt  <bernd.schmidt@analog.com>
3328
3329         * config/bfin/bfin-protos.h (bfin_dsp_memref_p): Declare.
3330         * config/bfin/bfin.c (bfin_dsp_memref_p): New function.
3331         (bfin_valid_reg_p): Test for pseudos explicitly and use only
3332         REGNO_MODE_CODE_OK_FOR_BASE_P.  New args MODE and OUTER_CODE; all
3333         callers changed.
3334         * config/bfin/bfin.h (PREG_P): Use P_REGNO_P.
3335         (IREG_P, P_REGNO_P, I_REGNO_P): New macros.
3336         (enum reg_class, REG_CLASS_CONTENTS): Add IPREGS.
3337         (BASE_REG_CLASS, REG_OK_FOR_BASE_P, REG_OK_FOR_INDEX_P,
3338         REGNO_OK_FOR_BASE_STRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P): Delete
3339         macros.
3340         (IREG_POSSIBLE_P, MODE_CODE_BASE_REG_CLASS,
3341         REGNO_MODE_CODE_OK_FOR_BASE_P): New macros.
3342         (REGNO_REG_CLASS): ARGP is in PREGS.
3343         * config/bfin/bfin.md (movhi_insn): Allow for addresses containing
3344         IREGS.
3345         (zero_extendhisi2, extendhisi2): Likewise; changed to define_and_split
3346         to deal with those addresses.
3347         * addresses.h: New file.
3348         * caller-save.c: Include "addresses.h".
3349         (init_caller_save): Use new base_reg_class function.
3350         * rtl-factoring.c: Include "addresses.h".
3351         (recompute_gain_for_pattern_seq): Use new function ok_for_base_p_1.
3352         * recog.c: Include "addresses.h".
3353         (preprocess_constraints): Use new base_reg_class function.
3354         * regrename.c: Include "addresses.h".
3355         (scan_rtx_address): Use new regno_ok_for_base_p and base_reg_class
3356         functions.  Keep track of a new var INDEX_CODE to compute valid
3357         classes.
3358         (replace_oldest_value_addr): Likewise.
3359         (replace_oldest_value_mem): Use base_reg_class.
3360         * reload.c: Include "addresses.h".
3361         (REGNO_MODE_OK_FOR_BASE_P, REG_MODE_OK_FOR_BASE_P): Delete macros.
3362         (find_reloads): Use new base_reg_class function.
3363         (find_reloads_address): Likewise; also use regno_ok_for_base_p.
3364         (find_reloads_address_1): Likewise. New args OUTER_CODE and INDEX_CODE;
3365         all callers and prototype changed.
3366         * reload1.c: Include "addresses.h".
3367         (maybe_fix_stack_asms): Use base_reg_class.
3368         * regclass.c: Include "addresses.h".
3369         (ok_for_index_p_nonstrict, ok_for_base_p_nonstrict): New functions.
3370         (init_reg_autoinc): Use new base_reg_class function.
3371         (record_reg_classes): Likewise.
3372         (record_address_regs): Delete arg CLASS; add args CONTEXT, MODE,
3373         OUTER_CODE and INDEX_CODE.  All callers and prototype changed.
3374         Use new args to compute necessary class.
3375
3376         * Makefile.in (regclass.o, reload.o, reload1.o, caller-save.o, recog.o,
3377         regrename.o, rtl-factoring.o): Update dependencies.
3378         * doc/tm.texi (MODE_CODE_BASE_REG_CLASS): Document.
3379         (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
3380         (REG_OK_FOR_BASE_P, REG_MODE_OK_FOR_BASE_P, REG_MODE_OK_FOR_REG_BASE_P,
3381         REG_OK_FOR_INDEX_P): Delete documentation.
3382
3383 2006-03-21  Alexey Starovoytov  <alexey.starovoytov@sun.com>
3384
3385         * config.gcc (sparc-*-solaris2*): Change the default CPU setting
3386         from V7 to V9 for Solaris 7 and above.
3387
3388 2006-03-21  Toon Moene  <toon@moene.indiv.nluug.nl>
3389
3390         * doc/invoke.texi: Document new flag -fargument-noalias-anything.
3391         * tree-ssa-alias.c (may_alias_p): If flag_argument_noalias > 2,
3392         argument pointers may not alias any other storage.
3393         * common.opt: Define option -fargument-noalias-anything.
3394         * tree-ssa-structalias.c (intra_create_variable_infos): Fortran
3395         alias semantics is specified by flag_argument_noalias > 2.
3396
3397 2006-03-20  Jeff Law  <law@redhat.com>
3398
3399         * tree-pass.h (pass_phi_only_copy_prop): Delete.
3400         (pass_phi_only_cprop): Declare.
3401         * passes.c (init_optimization_passes): Replace pass_phi_only_copy_prop
3402         with phi_only_cprop
3403         * tree-ssa-dom.c (degenerate_phi_result): New function.
3404         (remove_stmt_or_phi, get_lhs_or_phi_result): Likewise.
3405         (get_rhs_or_phi_arg, propagate_rhs_into_lhs): Likewise.
3406         (eliminate_const_or_copy, eliminate_degenerate_phis_1): Likewise.
3407         (eliminate_degenerate_phis): Likewise.
3408         (pass_phi_only_cprop): New pass descriptor.
3409         * tree-ssa-copy.c (init_copy_prop): Lose PHIS_ONLY argument and
3410         support code.  Callers updated.
3411         (execute_copy_prop, do_copy_prop): Likewise and corresponding changes.
3412         (store_copy_prop): Likewise.
3413         (do_phi_only_copy_prop, pass_phi_only_copy_prop): Remove.
3414
3415 2006-03-20  Jason Merrill  <jason@redhat.com>
3416
3417         PR c++/21764
3418         * c-pragma.c (visstack): Move out of handle_pragma_visibility.
3419         (push_visibility, pop_visibility): Likewise.
3420         * c-pragma.h: Declare them.
3421
3422 2006-03-20  Kaz Kojima  <kkojima@gcc.gnu.org>
3423
3424         * config/sh/sh.c (untangle_mova): Initialize n_addr and n_target.
3425
3426         * config/sh/sh.c (find_regmode_weight): Change the type of the first
3427         parameter and use get_ebb_head_tail.
3428         (sh_md_init_global): Adjust uses of find_regmode_weight.
3429
3430 2006-03-20  Steven Bosscher  <stevenb.gcc@gmail.com>
3431
3432         * function.h (struct function) <x_tail_recursion_reentry>:
3433         Rename to x_stack_check_probe_note.
3434         (tail_recursion_reentry): Rename to stack_check_probe_note.
3435         * function.c: Replace tail_recursion_reentry with
3436         stack_check_probe_note everywhere.
3437         (expand_function_start): Only emit a note for
3438         stack_check_probe_note with -fstack-protect.
3439         * stmt.c (expand_case): Don't emit NOTE_INSN_DELETED notes.
3440
3441         * emit-rtl.c (remove_unnecessary_notes): Remove.
3442         (pass_remove_unnecessary_notes): Remove.
3443         * rtl.h (remove_unnecessary_notes): Remove prototype.
3444         * final.c (final_start_function): Don't call remove_unnecessary_notes.
3445         * tree-pass.h (pass_remove_unnecessary_notes): Remove.
3446         * passes.c (pass_remove_unnecessary_notes): Don't run it.
3447
3448 2006-03-20  Andrew Pinski  <pinskia@physics.uc.edu>
3449
3450         PR tree-opt/26629
3451         * tree-ssa-pre (phi_translate): Handle ARRAY_REF's operands.
3452         (valid_in_set): Handle ARRAY_REF.
3453         Change "if min_variant or VH" to asserts.
3454         (create_component_ref_by_pieces): Handle ARRAY_REF.
3455         (create_expression_by_pieces): Likewise.
3456         (can_PRE_operation): ARRAY_REFs can now be PRE'd.
3457
3458 2006-03-20  David Edelsohn  <edelsohn@gnu.org>
3459
3460         * genpreds.c (write_insn_extra_address_constraint): Argument `c'
3461         is operand of switch, not str[0].
3462
3463 2006-03-20  Alan Modra  <amodra@bigpond.net.au>
3464
3465         * config/rs6000/rs6000.c (rs6000_handle_option): Use
3466         TARGET_NO_FP_IN_TOC inside #ifdef TARGET_USES_SYSV4_OPT too.
3467
3468 2006-03-19  David Edelsohn  <edelsohn@gnu.org>
3469
3470         * genpreds.c (write_tm_preds_h): Add semicolon and newline at
3471         end of insn_extra_address_constraint declaration.
3472
3473 2006-03-19  David Edelsohn  <edelsohn@gnu.org>
3474
3475         * config/rs6000/rs6000.opt (no-fp-in-toc): Use Var not Mask.
3476         (no-sum-in-toc): Same.
3477         * config/rs6000/rs6000.c (rs6000_handle_option): Use new
3478         variables.
3479         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): Set
3480         NO_FP_IN_TOC for -fPIC instead of mask.
3481
3482         * config/rs6000/t-aix43 (T_ADAFLAGS): Delete.
3483         (BOOT_LDFLAGS): Delete.
3484         (LDFLAGS): Delete.
3485         * config/rs6000/t-aix52: Same.
3486
3487         * config/rs6000/rs6000.md (store_multiple_power): Delete.
3488         (stmsi[345678]_power): New.
3489
3490 2006-03-17  Steve Ellcey  <sje@cup.hp.com>
3491
3492         * config/ia64/ia64.opt: Add empty line to end of file.
3493
3494 2006-03-17  Richard Guenther  <rguenther@suse.de>
3495
3496         PR middle-end/26721
3497         * builtins.c (get_pointer_alignment): For component style references
3498         adjust alignment to the component type alignment.  Make sure
3499         to adjust alignment for component access of constants.
3500
3501 2006-03-17  David Edelsohn  <edelsohn@gnu.org>
3502
3503         * config/rs6000/rs6000.md (strlensi): Emit barrier after
3504         unconditional jump.
3505
3506 2006-03-17  Paul Brook  <paul@codesourcery.com>
3507
3508         * doc/install.texi: Docuemnt --with-mode.
3509         * config.gcc: Add --with-mode for arm*-*-*.
3510         * config/arm/arm.h (OPTION_DEFAULT_SPECS): Add "mode".
3511
3512 2006-03-17  J"orn Rennecke <joern.rennecke@st.com>
3513
3514         * sh.c (max_labelno_before_reorg): New variable.
3515         (sh_reorg): Initialize it.
3516         (find_barrier): Check max_labelno_before_reorg before using
3517         label_to_alignment.  Take length of explicit alignment insns
3518         into account.  When seeing a UNSPECV_CONST_END, return it.
3519
3520         * sh.c (fixup_mova): Set mode of affected label to QImode.
3521         (untangle_mova): New function.
3522         (find_barrier): Use it.  Check mode of label before decrementing
3523         num_mova.
3524         (sh_reorg): Likewise.
3525         Set mode of all insns back to VOIDmode.
3526
3527         * sh.c (MOVA_LABELREF): New macro.
3528         (mova_p, fixup_mova, sh_reorg): Use it.
3529         (find_barrier, sh_reorg): Don't count num_mova back to 0 unless
3530         ADDR_DIFF_VEC matches mova.
3531
3532 2006-03-17  Steven Bosscher  <stevenb.gcc@gmail.com>
3533
3534         * dwarf2asm.c (dw2_asm_output_offset): Mark 'base' argument
3535         with ATTRIBUTE_UNUSED.
3536
3537 2006-03-17  Alexandre Oliva  <aoliva@redhat.com>
3538
3539         * dwarf2out.c (dwarf2out_stack_adjust): Always track the stack
3540         pointer, instead of assuming it is possible to derive the
3541         correct args size from a call insn.
3542
3543 2006-03-16  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
3544
3545         * rtl.h (CONST_INT_P): Define.
3546         * config/vax/vax.c (print_operand_address): Use CONST_INT_P()
3547         instead of GET_CODE(x) == CONST_INT.
3548         (vax_rtx_costs): Likewise.
3549         (vax_output_int_move): Likewise.
3550         (vax_output_int_add): Likewise.
3551         (legitimate_constant_address_p): Likewise.
3552         (index_term_p): Likewise.
3553         * config/vax/vax.h (PRINT_OPERAND): Likewise.
3554         * config/vax/vax.md (and<mode>3): Likewise.
3555         (ashrsi3): Likewise.
3556         (extv): Likewise.
3557         (movstricthi): Likewise.
3558         (movstrictqi): Likewise.
3559         (rotrsi3): Likewise.
3560         (five unnamed insns): Likewise.
3561
3562 2006-03-16  Geoffrey Keating  <geoffk@apple.com>
3563
3564         * doc/tm.texi (SDB and DWARF): Add extra parameter to
3565         ASM_OUTPUT_DWARF_OFFSET.  Use @var to indicate metavariables.
3566         * dwarf2asm.h (dw2_asm_output_offset): Add section parameter.
3567         * dwarf2asm.c (dw2_asm_output_offset): Add base section parameter.
3568         Pass to ASM_OUTPUT_DWARF_OFFSET.
3569         * dwarf2out.c (debug_frame_section): New.
3570         (output_call_frame_info): Use debug_frame_section.  Pass it to
3571         dw2_asm_output_offset.
3572         (output_die): Pass appropriate section to dw2_asm_output_offset.
3573         (output_compilation_unit_header): Likewise.
3574         (output_pubnames): Likewise.
3575         (output_aranges): Likewise.
3576         (enum dw_val_class): Break dw_val_class_lbl_offset into
3577         dw_val_class_lineptr and dw_val_class_macptr.
3578         (add_AT_lbl_offset): Delete.
3579         (add_AT_lineptr): New.
3580         (add_AT_macptr): New.
3581         (AT_lbl): Expect a lineptr or macptr.
3582         (print_die): Handle dw_val_class_lineptr and dw_val_class_macptr.
3583         (attr_checksum): Likewise.
3584         (same_dw_val_p): Likewise.
3585         (size_of_die): Likewise.
3586         (value_format): Likewise.
3587         (output_die): Likewise.
3588         (dwarf2out_finish): Call add_AT_lineptr and add_AT_macptr instead of
3589         add_AT_lbl_offset.
3590         * config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
3591         * config/i386/i386.c (x86_file_start): Call darwin_file_start.
3592         * config/darwin-protos.h (darwin_file_start): New.
3593         (darwin_asm_output_dwarf_offset): New.
3594         * config/ia64/ia64.h (ASM_OUTPUT_DWARF_OFFSET): Add extra parameter.
3595         * config/rs6000/rs6000.c (rs6000_darwin_file_start): Call
3596         darwin_file_start.
3597         * config/darwin.c (darwin_emit_unwind_label): Don't output label
3598         if not EH section; simplify.
3599         (darwin_file_start): New.
3600         (darwin_asm_output_dwarf_offset): New.
3601         * config/darwin.h (DEBUG_FRAME_SECTION): In __DWARF segment,
3602         mark as 'debug'.
3603         (DEBUG_INFO_SECTION): Likewise.
3604         (DEBUG_ABBREV_SECTION): Likewise.
3605         (DEBUG_ARANGES_SECTION): Likewise.
3606         (DEBUG_MACINFO_SECTION): Likewise.
3607         (DEBUG_LINE_SECTION): Likewise.
3608         (DEBUG_LOC_SECTION): Likewise.
3609         (DEBUG_PUBNAMES_SECTION): Likewise.
3610         (DEBUG_STR_SECTION): Likewise.
3611         (DEBUG_RANGES_SECTION): Likewise.
3612         (FRAME_BEGIN_LABEL): Must start with 'L' in debug section.
3613         (ASM_OUTPUT_DWARF_OFFSET): New.
3614
3615 2006-03-16  Joseph S. Myers  <joseph@codesourcery.com>
3616
3617         * config.gcc (tm_defines): Always add to previous value rather
3618         than replacing it.
3619
3620 2006-03-16  Richard Sandiford  <richard@codesourcery.com>
3621
3622         * config/mips/predicates.md (splittable_const_int_operand): New,
3623         split from move_operand.
3624         (splittable_symbolic_operand): New.
3625         (move_operand): Add commentary.  Use splittable_const_int_operand.
3626         Inline mips_atomic_symbolic_constant_p.
3627         * config/mips/mips.md: Add combine splitters for handling moves
3628         of splittable_const_int_operands and splittable_symbolic_operands.
3629         * config/mips/mips-protos.h (mips_atomic_symbolic_constant_p): Delete.
3630         (mips_split_symbol): Declare.
3631         (mips_move_integer): Declare.
3632         * config/mips/mips.c (mips_split_p): Make global.
3633         (TARGET_MIN_ANCHOR_OFFSET): Override default.
3634         (TARGET_MAX_ANCHOR_OFFSET): Likewise.
3635         (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Likewise.
3636         (TARGET_USE_ANCHORS_FOR_SYMBOL_P): Likewise.
3637         (mips_offset_within_object_p): Handle block symbols.
3638         (mips_atomic_symbolic_constant_p): Delete.
3639         (mips_cannot_force_const_mem): Return false for constants that
3640         mips_legitimize_move can handle.
3641         (mips_use_blocks_for_constant_p): New function.
3642         (mips_split_symbol): Make global.
3643         (mips_move_integer): Likewise.  Add a temporary register argument.
3644         (mips_legitimize_const_move): Use splittable_const_int_operand and
3645         splittable_symbolic_operand.
3646         (mips_use_anchors_for_symbol_p): New function.
3647         * config/mips/mips.h: Protect externs with !USED_FOR_TARGET.
3648         (mips_split_p): Declare.
3649
3650 2006-03-16  Richard Sandiford  <richard@codesourcery.com>
3651
3652         * config.gcc (mips64*-*-linux*): Keep existing tm_defines.
3653         (mips*-*-linux*): Likewise.
3654
3655 2006-03-16  Roger Sayle  <roger@eyesopen.com>
3656             Daniel Speyer  <dspeyer@wam.umd.edu>
3657
3658         PR middle-end/18259
3659         * tree-dump.c (dump_real): New function.
3660         (dequeue_and_dump) <REAL_CST>: Use it to dump FP constants.
3661         * Makefile.in (REAL_H): New macro for dependencies on real.h.
3662         (tree-dump.o): Add $(REAL_H) to the dependencies.
3663
3664 2006-03-16  Roger Sayle  <roger@eyesopen.com>
3665
3666         PR middle-end/21781
3667         * real.c (real_from_string): If the mantissa is zero, don't bother
3668         parsing the exponent as the result should always be zero.
3669
3670 2006-03-16  Andreas Krebbel  <krebbel1@de.ibm.com>
3671
3672         * simplify-rtx.c (simplify_plus_minus): Simplify within CONST terms.
3673
3674 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
3675
3676         * config/ia64/ia64.c (stops_p): Added explicit initialization.
3677         (ia64_first_cycle_multipass_dfa_lookahead_guard_spec,
3678         ia64_h_i_d_extended, ia64_set_sched_flags, ia64_speculate_insn,
3679         ia64_needs_block_p, ia64_gen_check, ia64_sched_init_global,
3680         ia64_sched_finish_global): New static functions to implement
3681         hooks from gcc_target.sched.
3682         (spec_check_no, max_uid, pending_data_specs): New static variables.
3683         (ia64_mode_to_int, ia64_gen_spec_insn, ia64_spec_check_p,
3684         ia64_spec_check_src_p): New static functions.
3685         (ia64_adjust_cost): Renamed to ia64_adjust_cost_2.
3686         (TARGET_SCHED_ADJUST_COST): Removed.
3687         (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_INIT_GLOBAL,
3688         TARGET_SCHED_FINISH_GLOBAL, TARGET_SCHED_H_I_D_EXTENDED,
3689         TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
3690         TARGET_SCHED_GEN_CHECK,
3691         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
3692         TARGET_SCHED_SET_SCHED_FLAGS): New macros.
3693         (update_set_flags, group_barrier_needed, set_src_needs_barrier):
3694         Fixed to handle speculation checks.
3695         (rtx_needs_barrier): Fixed to handle speculative loads and
3696         their checks.
3697         (ia64_variable_issue): Added code to count speculative loads and their
3698         checks.
3699         (ia64_first_cycle_multipass_dfa_lookahead_guard): Fixed to handle
3700         speculative loads.
3701         (enum SPEC_MODES, enum SPEC_GEN_LD_MAP, SPEC_GEN_CHECK_OFFSET):
3702         New enumerations.
3703         (SPEC_GEN_EXTEND_OFFSET, SPEC_N, SPEC_GEN_CHECK_MUTATION_OFFSET):
3704         New constants.
3705         (ia64_ld_address_bypass_p): Fixed to handle speculative loads.
3706         (ia64_reorg): Reset stops_p to NULL after it is freed.
3707         * config/ia64/ia64.md (UNSPEC_LDA, UNSPEC_LDS, UNSPEC_LDSA,
3708         UNSPEC_LDCCLR, UNSPEC_CHKACLR, UNSPEC_CHKS): New constants.
3709         (itanium_class): chk_s renamed to chk_s_i.  New constants: chk_s_f,
3710         chk_a.
3711         (data_speculative, control_speculative, check_load): New attributes.
3712         (mov<mode>_advanced, mov<mode>_speculative,
3713         mov<mode>_speculative_advanced, zero_extend<mode>di2_advanced,
3714         zero_extend<mode>di2_speculative,
3715         zero_extend<mode>di2_speculative_advanced): New patterns for
3716         data and control speculative loads.
3717         (mov<mode>_clr, zero_extend<mode>di2_clr): New patterns for
3718         check loads.
3719         (advanced_load_check_clr_<mode>, speculation_check_<mode>):
3720         New pattern for data and control speculation checks.
3721         (MODE, MODE_FOR_EXTEND, output_a, output_s, output_sa, output_c_clr,
3722         ld_reg_constr, ldc_reg_constr, chk_reg_constr, mem_constr,
3723         reg_pred_prefix, ld_class, chka_class, chks_class, attr_yes):
3724         Auxiliary definitions for the patterns.
3725         * config/ia64/itanium1.md (1_fldc, 1_fldpc, 1_ldc, 1_chk_s_f, 1_chk_a,
3726         1b_fldc, 1b_fldpc, 1b_ldc, 1b_chk_s_f, 1b_chk_a): New resource
3727         constraints.
3728         (1_fld, 1_fldp, 1_ld, 1b_fld, 1b_fldp, 1b_ld): Add a condition
3729         for speculation.
3730         (1_chk_s, 1b_chk_s): Renamed to 1_chk_s_i, 1b_chk_s_i.
3731         * config/ia64/itanium2.md (2_flda, 2_fldc, 2_fldpc, 2_ldc, 2_chk_s_f,
3732         2_chk_a, 2b_flda, 2b_fldc, 2b_fldpc, 2b_ldc, 2b_chk_s_f, 2b_chk_a):
3733         New resource constraints.
3734         (2_fld, 2_fldp, 2_ld, 2b_fld, 2b_fldp, 2b_ld): Add a condition
3735         for speculation.
3736         (2_chk_s, 2b_chk_s): Renamed to 2_chk_s_i, 2b_chk_s_i.
3737         * config/ia64/ia64.opt (msched-br-data-spec, msched-ar-data-spec,
3738         msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
3739         msched-in-control-spec, msched-ldc, msched-control-ldc,
3740         msched-spec-verbose, msched-prefer-non-data-spec-insns,
3741         msched-prefer-non-control-spec-insns,
3742         msched-count-spec-in-critical-path): New flags to tune speculative
3743         scheduling.
3744         * doc/invoke.texi (msched-br-data-spec, msched-ar-data-spec,
3745         msched-control-spec, msched-br-in-data-spec, msched-ar-in-data-spec,
3746         msched-in-control-spec, msched-ldc, msched-control-ldc,
3747         msched-spec-verbose, msched-prefer-non-data-spec-insns,
3748         msched-prefer-non-control-spec-insns,
3749         msched-count-spec-in-critical-path): Document new flags.
3750
3751 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
3752
3753         * target.h (struct spec_info_def): New opaque declaration.
3754         (struct gcc_target.sched): New fields: adjust_cost_2, h_i_d_extended,
3755         speculate_insn, needs_block_p, gen_check,
3756         first_cycle_multipass_dfa_lookahead_guard_spec, set_sched_flags.
3757         * target-def.h (TARGET_SCHED_ADJUST_COST_2,
3758         TARGET_SCHED_H_I_D_EXTENDED, TARGET_SCHED_SPECULATE_INSN,
3759         TARGET_SCHED_NEEDS_BLOCK_P, TARGET_SCHED_GEN_CHECK,
3760         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
3761         TARGET_SCHED_SET_SCHED_FLAGS): New macros to initialize fields in
3762         gcc_target.sched.
3763         (TARGET_SCHED): Use new macros.
3764         * rtl.h (copy_DEPS_LIST_list): New prototype.
3765         * sched-int.h (struct sched_info): Change signature of new_ready field,
3766         adjust all initializations. New fields: add_remove_insn,
3767         begin_schedule_ready, add_block, advance_target_bb, fix_recovery_cfg,
3768         region_head_or_leaf_p.
3769         (struct spec_info_def): New structure declaration.
3770         (spec_info_t): New typedef.
3771         (struct haifa_insn_data): New fields: todo_spec, done_spec, check_spec,
3772         recovery_block, orig_pat.
3773         (glat_start, glat_end): New variables declaraions.
3774         (TODO_SPEC, DONE_SPEC, CHECK_SPEC, RECOVERY_BLOCK, ORIG_PAT):
3775         New access macros.
3776         (enum SCHED_FLAGS): New constants: SCHED_RGN, SCHED_EBB,
3777         DETACH_LIFE_INFO, USE_GLAT.
3778         (enum SPEC_SCHED_FLAGS): New enumeration.
3779         (NOTE_NOTE_BB_P): New macro.
3780         (extend_dependency_caches, xrecalloc, unlink_bb_notes, add_block,
3781         attach_life_info, debug_spec_status, check_reg_live): New functions.
3782         (get_block_head_tail): Change signature to get_ebb_head_tail, adjust
3783         all uses in ddg.c, modulo-sched.c, haifa-sched.c, sched-rgn.c,
3784         sched-ebb.c
3785         (get_dep_weak, ds_merge): Prototype functions from sched-deps.c .
3786         * ddg.c (get_block_head_tail): Adjust all uses.
3787         * modulo-sched.c (get_block_head_tail): Adjust all uses.
3788         (sms_sched_info): Initialize new fields.
3789         (contributes_to_priority): Removed.
3790         * haifa-sched.c (params.h): New include.
3791         (get_block_head_tail): Adjust all uses.
3792         (ISSUE_POINTS): New macro.
3793         (glat_start, glat_end): New global variables.
3794         (spec_info_var, spec_info, added_recovery_block_p, nr_begin_data,
3795         nr_be_in_data, nr_begin_control, nr_be_in_control, bb_header,
3796         old_last_basic_block, before_recovery, current_sched_info_var,
3797         rgn_n_insns, luid): New static variables.
3798         (insn_cost1): New function.  Move logic from insn_cost to here.
3799         (find_insn_reg_weight1): New function.  Move logic from
3800         find_insn_reg_weight to here.
3801         (reemit_notes, move_insn, max_issue): Change signature.
3802         (move_insn1): Removed.
3803         (extend_h_i_d, extend_ready, extend_global, extend_all, init_h_i_d,
3804         extend_bb): New static functions to support extension of scheduler's
3805         data structures.
3806         (generate_recovery_code, process_insn_depend_be_in_spec,
3807         begin_speculative_block, add_to_speculative_block,
3808         init_before_recovery, create_recovery_block, create_check_block_twin,
3809         fix_recovery_deps): New static functions to support
3810         generation of recovery code.
3811         (fix_jump_move, find_fallthru_edge, dump_new_block_header,
3812         restore_bb_notes, move_block_after_check, move_succs): New static
3813         functions to support ebb scheduling.
3814         (init_glat, init_glat1, attach_life_info1, free_glat): New static
3815         functions to support handling of register live information.
3816         (associate_line_notes_with_blocks, change_pattern, speculate_insn,
3817         sched_remove_insn, clear_priorities, calc_priorities, bb_note,
3818         add_jump_dependencies): New static functions.
3819         (check_cfg, has_edge_p, check_sched_flags): New static functions for
3820         consistancy checking.
3821         (debug_spec_status): New function to call from debugger.
3822         (priority): Added code to handle speculation checks.
3823         (rank_for_schedule): Added code to distinguish speculative instructions.
3824         (schedule_insn): Added code to handle speculation checks.
3825         (unlink_other_notes, rm_line_notes, restore_line_notes, rm_other_notes):
3826         Fixed to handle ebbs.
3827         (move_insn): Added code to handle ebb scheduling.
3828         (max_issue): Added code to use ISSUE_POINTS of instructions.
3829         (choose_ready): Added code to choose between speculative and
3830         non-speculative instructions.
3831         (schedule_block): Added code to handle ebb scheduling and scheduling of
3832         speculative instructions.
3833         (sched_init): Initialize new variables.
3834         (sched_finish): Free new variables.  Print statistics.
3835         (try_ready): Added code to handle speculative instructions.
3836         * lists.c (copy_DEPS_LIST_list): New function.
3837         * sched-deps.c (extend_dependency_caches): New function.  Move logic
3838         from create_dependency_caches to here.
3839         (get_dep_weak, ds_merge): Make global.
3840         * genattr.c (main): Code to output prototype for
3841         dfa_clear_single_insn_cache.
3842         * genautomata.c (DFA_CLEAR_SINGLE_INSN_CACHE_FUNC_NAME): New macros.
3843         (output_dfa_clean_insn_cache_func): Code to output
3844         dfa_clear_single_insn_cache function.
3845         * sched-ebb.c (target_n_insns): Remove.  Adjust all users to use
3846         n_insns.
3847         (can_schedule_ready_p, fix_basic_block_boundaries, add_missing_bbs):
3848         Removed.
3849         (n_insns, dont_calc_deps, ebb_head, ebb_tail, last_bb):
3850         New static variables.
3851         (begin_schedule_ready, add_remove_insn, add_block1, advance_target_bb,
3852         fix_recovery_cfg, ebb_head_or_leaf_p): Implement hooks from
3853         struct sched_info.
3854         (ebb_sched_info): Initialize new fields.
3855         (get_block_head_tail): Adjust all uses.
3856         (compute_jump_reg_dependencies): Fixed to use glat_start.
3857         (schedule_ebb): Code to remove unreachable last block.
3858         (schedule_ebbs): Added code to update register live information.
3859         * sched-rgn.c (region_sched_info): Initialize new fields.
3860         (get_block_head_tail): Adjust all uses.
3861         (last_was_jump): Removed.  Adjust users.
3862         (begin_schedule_ready, add_remove_insn, insn_points, extend_regions,
3863         add_block1, fix_recovery_cfg, advance_target_bb, region_head_or_leaf_p):
3864         Implement new hooks.
3865         (check_dead_notes1): New static function.
3866         (struct region): New fields: dont_calc_deps, has_real_ebb.
3867         (RGN_DONT_CALC_DEPS, RGN_HAS_REAL_EBB): New access macros.
3868         (BB_TO_BLOCK): Fixed to handle EBBs.
3869         (EBB_FIRST_BB, EBB_LAST_BB): New macros.
3870         (ebb_head): New static variable.
3871         (debug_regions, contributes_to_priority): Fixed to handle EBBs.
3872         (find_single_block_regions, find_rgns, find_more_rgns): Initialize
3873         new fields.
3874         (compute_dom_prob_ps): New assertion.
3875         (check_live_1, update_live_1): Fixed to work with glat_start instead of
3876         global_live_at_start.
3877         (init_ready_list): New assertions.
3878         (can_schedule_ready_p): Split update code to begin_schedule_ready.
3879         (new_ready): Add support for BEGIN_CONTROL speculation.
3880         (schedule_insns): Fixed code that updates register live information
3881         to handle EBBs.
3882         (schedule_region): Fixed to handle EBBs.
3883         (init_regions): Use extend_regions and check_dead_notes1.
3884         * params.def (PARAM_MAX_SCHED_INSN_CONFLICT_DELAY,
3885         PARAM_SCHED_SPEC_PROB_CUTOFF): New parameters.
3886         * doc/tm.texi (TARGET_SCHED_ADJUST_COST_2, TARGET_SCHED_H_I_D_EXTENDED,
3887         TARGET_SCHED_SPECULATE_INSN, TARGET_SCHED_NEEDS_BLOCK_P,
3888         TARGET_SCHED_GEN_CHECK,
3889         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD_GUARD_SPEC,
3890         TARGET_SCHED_SET_SCHED_FLAGS): Document.
3891         * doc/invoke.texi (max-sched-insn-conflict-delay,
3892         sched-spec-prob-cutoff): Document.
3893
3894 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
3895
3896         * sched-int.h (struct haifa_insn_data): New fields: resolved_deps,
3897         inter_tick, queue_index.
3898         (struct sched_info): Change signature of init_ready_list field.
3899         Adjust all initializations.
3900         (RESOLVED_DEPS): New access macro.
3901         (ready_add): Remove prototype.
3902         (try_ready): Add prototype.
3903         * sched-rgn.c (init_ready_list): Use try_ready.
3904         (schedule_region): Initialize
3905         current_sched_info->{sched_max_insns_priority, queue_must_finish_empty}.
3906         * sched-ebb.c (new_ready): Remove.  Adjust ebb_sched_info.
3907         (init_ready_list): Use try_ready.
3908         (schedule_ebb): Initialize current_sched_info->sched_max_insns_priority.
3909         * lists.c (remove_list_elem): Remove `static'.
3910         (remove_free_INSN_LIST_elem): New function.
3911         * rtl.h (remove_list_elem, remove_free_INSN_LIST_elem): Add prototypes.
3912         * haifa-sched.c (INTER_TICK, QUEUE_INDEX): New macros.
3913         (INVALID_TICK, MIN_TICK, QUEUE_SCHEDULED, QUEUE_NOWHERE, QUEUE_READY):
3914         New constants.
3915         (readyp): New variable.
3916         (queue_remove, ready_remove_insn, fix_inter_tick, fix_tick_ready,
3917         change_queue_index, resolve_dep): New static functions.
3918         (try_ready): New function.  Adjust callers in sched-rgn.c and
3919         sched-ebb.c to use it instead of ready_add.
3920         (clock_var): Move at the begining of file.
3921         (rank_for_schedule): Fix typo.
3922         (queue_insn): Add assertion.  Handle QUEUE_INDEX.
3923         (ready_lastpos): Enforce assertion.
3924         (ready_add): Make it static.  Handle QUEUE_INDEX.  Add new argument,
3925         update all callers.
3926         (ready_remove_first, ready_remove): Handle QUEUE_INDEX.
3927         (schedule_insn): Rewrite to use try_ready and resolve_dep.
3928         (queue_to_ready): Use free_INSN_LIST_list.
3929         (early_queue_to_ready): Fix typo.
3930         (schedule_block): Init readyp.  Move init_ready_list call after the
3931         initialization of clock_var.  Fix error in rejecting insn by
3932         targetm.sched.dfa_new_cycle.  Add call to fix_inter_tick.  Remove code
3933         that previously corrected INSN_TICKs.  Add code for handling
3934         QUEUE_INDEX.
3935         (set_priorities): Fix typo.
3936         (sched_init): Initialize INSN_TICK, INTER_TICK and QUEUE_INDEX.
3937         Clarify comment and code that keeps current_sched_info->next_tail
3938         non-null.
3939
3940 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
3941
3942         * sched-rgn.c (extend_rgns): New static function.
3943         (find_rgns): Use it.
3944         (gather_region_statistics, print_region_statistics): New static
3945         functions.
3946         * params.def (PARAM_MAX_SCHED_EXTEND_REGIONS_ITERS): New parameter.
3947         * doc/invoke.texi (max-sched-extend-regions-iters): Document.
3948
3949 2006-03-16  Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
3950             Andrey Belevantsev <abel@ispras.ru>
3951
3952         * ddg.c (build_intra_loop_deps): Adjust add_forward_dependence call.
3953         * lists.c (unused_deps_list): New variable.
3954         (free_list): Add assertions to verify the proper distinguishing
3955         between INSN_LISTs and DEPS_LISTs.
3956         (find_list_elem, remove_list_elem, remove_list_node): New static
3957         functions.
3958         (alloc_DEPS_LIST, free_DEPS_LIST, free_DEPS_LIST_node,
3959         remove_free_INSN_LIST_elem, remove_free_DEPS_LIST_elem,
3960         remove_free_INSN_LIST_node, remove_free_DEPS_LIST_node): New functions.
3961         (alloc_INSN_LIST): Assert that the list we're working on is indeed
3962         an INSN_LIST.
3963         (free_INSN_LIST_node): Likewise.
3964         * modulo-sched.c (current_sched_info): Initialize flags field.
3965         * reg-notes.def: Exchange DEP_ANTI and DEP_OUTPUT.
3966         * rtl.def (DEPS_LIST): Define.
3967         * rtl.h: Declare new functions from lists.c.
3968         * sched-deps.c (spec_dependency_cache): New static variable.
3969         (maybe_add_or_update_back_dep_1, add_back_dep): New static functions.
3970         (add_dependence): Change return type to void.  Move the logic to ...
3971         (add_or_update_back_dep_1): ... here.  Handle speculative dependencies.
3972         (delete_all_dependences): Add comment about forward_dependency_cache.
3973         Handle spec_dependency_cache.  Handle DEPS_LISTs.
3974         (fixup_sched_groups): Clarify the change of priority of output
3975         and anti dependencies.
3976         (sched_analyze_2): Adjust add_dependence calls to create data
3977         speculative dependence.
3978         (add_forward_dependence): Renamed to add_forw_dep, change prototype.
3979         Adjust all callers.  Handle DEPS_LISTS.
3980         (compute_forward_dependences): Use add_forw_dep.  Sort LOG_LINKs in
3981         presence of speculation.
3982         (init_dependency_caches, free_dependency_caches):
3983         Handle spec_dependency_cache.
3984         (adjust_add_sorted_back_dep, adjust_back_add_forw_dep, delete_forw_dep,
3985         estimate_dep_weak, get_dep_weak, ds_merge, check_dep_status):
3986         New static functions.
3987         (add_or_update_back_dep, add_or_update_back_forw_dep,
3988         add_back_forw_dep, delete_back_forw_dep): New functions.
3989         * sched-int.h (ds_t, dw_t): New typedefs.
3990         (struct sched_info): Add new field flags.
3991         (struct haifa_insn_data): Add new bitfield has_internal_dep.
3992         Prototype new sched-deps.c functions.
3993         (HAS_INTERNAL_DEP, DEP_STATUS): New access macros.
3994         (BITS_PER_DEP_STATUS, BITS_PER_DEP_WEAK, DEP_WEAK_MASK, MAX_DEP_WEAK,
3995         MIN_DEP_WEAK, NO_DEP_WEAK, UNCERTAIN_DEP_WEAK, BEGIN_DATA, BE_IN_DATA,
3996         BEGIN_CONTROL, BE_IN_CONTROL, BEGIN_SPEC, DATA_SPEC, CONTROL_SPEC,
3997         SPECULATIVE, BE_IN_SPEC, FIRST_SPEC_TYPE, LAST_SPEC_TYPE,
3998         SPEC_TYPE_SHIFT, DEP_TRUE, DEP_OUTPUT, DEP_ANTI, DEP_TYPES, HARD_DEP):
3999         New constants.
4000         (enum SPEC_TYPES_OFFSETS, enum DEPS_ADJUST_RESULT, enum SCHED_FLAGS):
4001         New enums.
4002         * sched-rgn.c (current_sched_info): Initialize flags field.
4003         (schedule_insns): Initialize current_sched_info before the sched_init
4004         call.
4005         * sched-ebb.c (current_sched_info): Initialize flags field.
4006         (add_deps_for_risky_insns): Use control_flow_insn_p instead of JUMP_P.
4007         Call add_or_update_back_dep instead of add_dependence.
4008         Create control speculative dependencies.
4009  &