OSDN Git Service

* doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-05-03  Janis Johnson  <janis187@us.ibm.com>
2
3         * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
4
5 2007-05-03  Joseph Myers  <joseph@codesourcery.com>
6
7         * config/soft-fp/double.h, config/soft-fp/extended.h,
8         config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
9         config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
10         config/soft-fp/op-2.h, config/soft-fp/op-4.h,
11         config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
12         glibc CVS.
13
14 2007-05-03  Ian Lance Taylor  <iant@google.com>
15
16         * config/rs6000/rs6000.c (rs6000_override_options): Don't se
17         MASK_PPC_GFXOPT for 8540 or 8548.
18
19 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
20
21         * tree-vect-transform.c (vect_update_inits_of_drs): Use
22         vect_print_dump_info() to output debug information.
23
24 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
25
26         PR target/31768
27         * config/i386/i386.c (print_operand) ['z']: Output 'w' for
28         operands of size 2 when operand is not MEM_P.
29
30 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
31
32         PR tree-optimization/30565
33         * lambda-code.c (perfect_nestify): Fix updating of dominators.
34
35 2007-05-03  Bernd Schmidt  <bernd.schmidt@analog.com>
36
37         * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
38         (umulsi3_highpart): Use them.
39         * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
40         for final accumulator to D regisster tranfser.
41
42 2007-05-03  Dorit Nuzman  <dorit@il.ibm.com>
43
44         PR tree-optimization/31699
45         * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
46         code.
47         (vect_enhance_data_refs_alignment): Compute peel amount using 
48         TYPE_VECTOR_SUBPARTS instead of vf.     
49         * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
50
51 2007-05-02  Brooks Moses  <brooks.moses@codesourcery.com>
52
53         PR bootstrap/31776
54         * system.h: Remove inclusion of double-int.h
55         * tree.h: Include double-int.h
56         * gengtype.c: Likewise
57         * cfgloop.h: Likewise
58         * Makefile.in: Adjust dependencies on double-int.h
59
60 2007-05-02  Eric Christopher  <echristo@apple.com>
61
62         * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
63         -shared to -Zdynamiclib.
64
65 2007-05-02  Seongbae Park  <seongbae.park@gmail.com>
66
67         PR c++/31663
68         * c-common.c (strip_pointer_or_array_types): New function.
69         * c-common.h (strip_pointer_or_array_types): New function declaration.
70
71 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
72
73         PR tree-optimization/31771
74         * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
75
76 2007-05-02  Paul Brook  <paul@codesourcery.com>
77
78         * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
79
80 2007-05-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>
81
82         PR middle-end/29715
83         * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
84         transformation.
85
86 2007-05-02  Nick Clifton  <nickc@redhat.com>
87
88         * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
89
90 2007-05-02  Richard Guenther  <rguenther@suse.de>
91
92         PR tree-optimization/31146
93         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
94         argument, single_use_p.  If we have a single use that is
95         a conversion to the definition rhs type, propagate that rhs.
96         (forward_propagate_addr_expr): Pass single_use_p argument
97         to forward_propagate_addr_expr_1.
98
99 2007-05-01  H.J. Lu  <hongjiu.lu@intel.com>
100
101         * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
102         variable.
103
104 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
105
106         * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
107         'AMD Family 10 core'.
108
109 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
110
111         * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
112         and athlon64-sse3 as improved versions of k8, opteron and athlon64
113         with SSE3 instruction set support.
114         * doc/invoke.texi: Likewise.
115
116 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
117
118         * config/i386/i386.c (override_options): Tuning 32-byte loop
119         alignment for amdfam10 architecture. Increasing the max loop
120         alignment to 24 bytes.
121
122 2007-05-01  Kazu Hirata  <kazu@codesourcery.com>
123
124         * config/m68k/constraints.md: New.
125         * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
126         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
127         EXTRA_CONSTRAINT): Remove.
128         * config/m68k/m68k.md: Include constraints.md.
129         * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
130
131 2007-05-01  Ian Lance Taylor  <iant@google.com>
132
133         PR tree-optimization/31739
134         * tree-vrp.c (vrp_val_is_max): New static function.
135         (vrp_val_is_min): New static function.
136         (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
137         copying the node.
138         (set_value_range): Use vrp_val_is_{max,min}.
139         (extract_range_from_assert): Likewise.
140         (extract_range_from_binary_expr): Likewise.
141         (extract_range_from_unary_expr): Likewise.
142         (dump_value_range, vrp_meet): Likewise.
143         (vrp_visit_phi_node): Likewise.
144         * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
145
146 2007-05-01  Mark Mitchell  <mark@codesourcery.com>
147
148         * config/i386/gmon-sol2.c (size_t): New type.
149         (intptr_t): Likewise.
150         (s_textsize): Declare as size_t.
151         (sbrk): Declare.
152         (monstartup): Use size_t for sizes.
153         (_mcount): Save and restore registers.
154         (internal_mcount): Pass 0 as the first argument to monstartup
155         in 64-bit mode.
156         (moncontrol): Convert pointer to appropriately sized integer
157         before passing to profil.
158
159 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
160
161         * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
162         __NO_FPRS__, not just if _SOFT_DOUBLE.
163         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
164         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
165         also for E500 double.
166         * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
167         suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
168         && !TARGET_FPRS).
169
170 2007-05-01  Richard Guenther  <rguenther@suse.de>
171
172         * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
173         is NULL.
174
175 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
176
177         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
178
179 2007-05-01  Jan Hubicka  <jh@suse.cz>
180
181         * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
182         invariant.
183
184 2007-05-01  Jan Hubicka  <jh@suse.cz>
185
186         * tree.h (maybe_fold_offset_to_component_ref): Remove.
187         (maybe_fold_offset_to_reference): Declare.
188         * fold-const.c (fold_unary): Do not fold
189         (type *)&A into &A->field_of_type_and_offset_0
190         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
191         size is unknown, give up.
192         (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
193         offsets.
194         (maybe_fold_offset_to_reference): New.
195         (maybe_fold_stmt_indirect): Use it.
196         (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
197         * gimplify.c (gimplify_conversion): Canonicalize conversions to
198         field references.
199         (gimplify_expr): Likewise for plus_expr.
200
201 2007-05-01  Zdenek Dvorak  <dvorakz@suse.cz>
202
203         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
204         bsi_after_labels.  Always insert statements before bsi.
205         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
206         * predict.c (apply_return_prediction): Check for empty blocks.
207         * cfgexpand.c (lab_rtx_for_bb): New variable.
208         (label_rtx_for_bb): Do not create new tree labels.
209         (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
210         (tree_expand_cfg): Initialize lab_rtx_for_bb.
211         * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
212         creating edges.
213         (label_for_bb): Add field used.
214         (update_eh_label, main_block_label): Mark the label used.
215         (cleanup_dead_labels): Remove unused labels.
216
217 2007-05-01  Richard Guenther  <rguenther@suse.de>
218
219         * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
220         if it is not about to be set.
221         (get_value_range): Do not pre-allocate equiv bitmap.
222         (update_value_range): No need to clear equiv field.
223         (add_equivalence): Change prototype to get bitmap pointer.
224         Allocate bitmap here if it is not already.
225         (extract_range_from_assert): Do not allocate bitmap here.
226         Update callers to add_equivalence.
227         (extract_range_from_ssa_name): Likewise.
228         (get_vr_for_comparison): New static helper.
229         (compare_name_with_value): Handle NULL equiv bitmap by
230         peeling the first iteration of the comparison loop.
231         Use get_vr_for_comparison.
232         (compare_names): Handle NULL equiv bitmaps by using fake
233         ones.  Use get_vr_for_comparison.
234
235 2007-04-30  Brooks Moses  <brooks.moses@codesourcery.com>
236
237         * double-int.c (mpz_set_double_int): Moved from
238         tree-ssa-loop-niter.c.
239         (mpz_get_double_int): Likewise; also, add option to wrap
240         out-of-range integers.
241         * double-int.h: New prototypes for above.
242         * tree.c (get_static_type_bounds): Moved from
243         tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
244         TYPE_MAX_VALUE if they exist..
245         * tree.h: New prototype for above.
246         * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
247         get_type_bounds calls.
248         (mpz_set_double_int): Move to double-int.c.
249         (get_type_bounds): Move to tree.c, rename to
250         get_static_type_bounds.
251         (mpz_to_double_int): Move to double-int.c, rename to
252         mpz_get_double_int.
253
254 2007-04-30  Bob Wilson  <bob.wilson@acm.org>
255
256         * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
257         DIV0 exception can fall through to a normal return.
258
259 2007-04-30  Alexandre Oliva  <aoliva@redhat.com>
260
261         PR middle-end/22156
262         Temporarily revert:
263         2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
264         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
265         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
266         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
267         initialize align to silence bogus warning.
268         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
269         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
270         all_no_warning.
271         (struct sra_walk_fns): Remove use_all parameter from use.
272         (sra_hash_tree): Handle BIT_FIELD_REFs.
273         (sra_elt_hash): Don't hash bitfld blocks.
274         (sra_elt_eq): Skip them in parent compares as well.  Handle
275         BIT_FIELD_REFs.
276         (sra_walk_expr): Don't maintain or pass down use_all_p.
277         (scan_use): Remove use_all parameter.
278         (scalarize_use): Likewise.  Re-expand assignment to
279         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
280         output, and re-scalarize after output.  Don't mark anything
281         for no warning.
282         (scalarize_ldst): Adjust.
283         (scalarize_walk_gimple_modify_statement): Likewise.
284         (build_element_name_1): Handle BIT_FIELD_REFs.
285         (instantiate_element): Don't warn for any element whose parent
286         is used as a whole.
287         (instantiate_missing_elements_1): Return the sra_elt.
288         (canon_type_for_field): New.
289         (try_instantiate_multiple_fields): New.
290         (instantiate_missing_elemnts): Use them.
291         (mark_no_warning): Removed.
292         (generate_one_element_ref): Handle BIT_FIELD_REFs.
293         (REPLDUP, sra_build_elt_assignment): New.
294         (generate_copy_inout): Use them.
295         (generate_element_copy): Likewise.  Handle bitfld differences.
296         (generate_element_zero): Don't recurse for blocks.  Use
297         sra_build_elt_assignment.
298         (generate_one_element_int): Take elt instead of var.  Use
299         sra_build_elt_assignment.
300         (generate_element_init_1): Adjust.
301         (scalarize_use, scalarize_copy): Use REPLDUP.
302         (scalarize_ldst): Move assert before dereference.
303         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
304
305 2007-04-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>
306
307         PR C++/31721
308         * tree.c (reconstruct_complex_type): Reconstruct a reference
309         correctly.
310         Also use the same mode for the pointer as the old pointer type.
311
312 2007-04-30  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
313
314         * doc/trouble.texi (Interoperation): Remove note about Ultrix
315         Fortran compiler.
316
317 2007-04-29  Zdenek Dvorak  <dvorakz@suse.cz>
318
319         PR rtl-optimization/31676
320         * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
321         (df_refs_record): Call it.
322
323 2007-04-29  Bernd Schmidt  <bernd.schmidt@analog.com>
324
325         * rtl.def (SS_ABS): New code.
326         * config/bfin/bfin.c (print_operand): New modifier 'v'.
327         (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
328         BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
329         BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
330         (bfin_init_builtins): Define them.
331         (bdesc_1arg, bdesc_2arg): Add some of them here, ...
332         (bfin_expand_builtin): ... and handle the others here.
333         * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
334         flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
335         (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
336         (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
337         operand is only HImode.
338
339 2007-04-29  Steven Bosscher  <steven@gcc.gnu.org>
340
341         * regclass.c (scan_one_insn): Remove splitting of
342         two address insns.
343
344 2007-04-28  Sandra Loosemore  <sandra@codesourcery.com>
345             Nigel Stephens  <nigel@mips.com>
346
347         * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
348
349 2007-04-28  Jan Hubicka  <jh@suse.cz>
350
351         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
352         insn_locators_alloc instead of insn_locators_initialize;
353         call reset_block_changes.
354         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
355         * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
356         * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
357         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
358         * config/score/score.c (th_output_mi_thunk): Likewise.
359         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
360         * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
361         tolerate uninitialized locator info.
362
363         Re-apply:
364         * function.c (init_function_start): Don't init line number info.
365         (expand_function_end): Update.
366         (reset_block_changes, record_block_change, finalize_block_changes,
367         check_block_change, free_block_changes): Kill.
368         * function.h (reset_block_changes, record_block_change,
369         finalize_block_changes, check_block_change, free_block_changes): Remove
370         prototypes.
371         (struct function): Remove ib_boundaries_block.
372         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
373         Use curr_insn_locator to initialize locator.
374         (emit_line_note): Remove.
375         * cfgexpand.c (expand_gimple_cond_expr): Update.
376         (construct_exit_block): Likewise.
377         (tree_expand_cfg): Initialize/finalize locators.
378         * expr.c (expand_expr_real): Update.
379         * cfglayout.c (line_locators_locs, line_locators_lines,
380         file_locators_locs, file_locators_files): Remove.
381         (set_block_levels): Move to cfgexpand.c.
382         (insn_locators_initialize): Remove.
383         (pass_insn_locators_initialize): Remove.
384         (locations_locators_locs, locations_locators_vals): New static vars.
385         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
386         Likewise.
387         (insn_locators_alloc, insn_locators_finalize,
388         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
389         New functions.
390         (locator_location): New.
391         (locator_line, locator_file): Rewrite.
392         * rtl.h (emit_line_note): Kill.
393         (insn_locators_alloc, insn_locators_finalize,
394         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
395         Declare.
396         * tree-inline.c (initialize_cfun): Do not initialize
397         ib_boundaries_block.
398         * passes.c (pass_insn_locators_initialize): Remove.
399
400 2007-04-28  Zdenek Dvorak  <dvorakz@suse.cz>
401
402         * tree-cfg.c (move_block_to_fn): Release bb from dominance
403         info.  Update last_basic_block correctly.
404
405 2007-04-27  Kaz Kojima  <kkojima@gcc.gnu.org>
406
407         PR target/31701
408         * config/sh/sh.c (output_stack_adjust): Avoid using the frame
409         register itself to hold the offset constant.  Tell flow the use
410         of r4 and r5 when they are used.
411
412 2007-04-27  Richard Guenther  <rguenther@suse.de>
413
414         * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
415         if we simplified anything.
416         (tree_ssa_forward_propagate_single_use_vars): Defer overflow
417         warnings until we did a simplification and the stmt was not
418         marked as TREE_NO_WARNING.
419
420 2007-04-27  Mike Stump  <mrs@apple.com>
421
422         * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
423
424 2007-04-27  Ian Lance Taylor  <iant@google.com>
425
426         PR middle-end/31710
427         * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
428         TYPE_MAX_VALUE exist, convert them to the new type.
429
430 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
431
432         * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
433         if it claims to be available.
434         * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
435         edge is redirected.
436         (perform_tree_ssa_dce): Always free postdominators.
437
438 2007-04-27  Richard Henderson  <rth@redhat.com>
439
440         * config/alpha/predicates.md (aligned_memory_operand): Mark
441         as define_special_predicate.
442         (unaligned_memory_operand, normal_memory_operand): Likewise.
443         (reg_or_unaligned_mem_operand): Remove.
444         (any_memory_operand): Match the documentation and check for
445         non-renumbered pseudos during reload.
446         * config/alpha/alpha.c (alpha_secondary_reload): Rename from
447         alpha_secondary_reload_class, update to new interface, make static.
448         Handle CQImode like HImode.  Remove FP subreg check.
449         (alpha_expand_mov): Use replace_equiv_address.
450         (alpha_expand_mov_nobwx): Use any_memory_operand.
451         (TARGET_SECONDARY_RELOAD): New.
452         * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
453         (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
454         * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
455         * config/alpha/alpha.md: ... here.
456         (RELOAD12, reloadmode): New.
457         (movcqi): New.
458         (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
459         Don't handle the aligned case here.
460         (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
461         (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
462         reload_inhi_help.  Don't expect a scratch register.
463         (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
464         reload_outhi_help.
465         * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
466
467 2007-04-27  Richard Guenther  <rguenther@suse.de>
468
469         * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
470
471 2007-04-27  Richard Guenther  <rguenther@suse.de>
472
473         PR tree-optimization/30965
474         PR tree-optimization/30978
475         * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
476         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
477         (find_equivalent_equality_comparison): Likewise.
478         (simplify_cond): Likewise.
479         (get_prop_source_stmt): New helper.
480         (get_prop_dest_stmt): Likewise.
481         (can_propagate_from): Likewise.
482         (remove_prop_source_from_use): Likewise.
483         (combine_cond_expr_cond): Likewise.
484         (forward_propagate_comparison): New function.
485         (forward_propagate_into_cond): Rewrite to use fold for
486         tree combining.
487         (tree_ssa_forward_propagate_single_use_vars): Call
488         forward_propagate_comparison to propagate comparisons.
489
490 2007-04-27  Richard Guenther  <rguenther@suse.de>
491
492         PR tree-optimization/31715
493         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
494         sure to do computation on the offset in an appropriate
495         signed type.
496
497 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
498
499         * reload.h (elimination_target_reg_p): Declare.
500         * reload.c (find_reloads): Don't apply the reg_rtx move
501         optimization if the SET_DEST satisfies elimination_target_reg_p.
502         * reload1.c (elimination_target_reg_p): New function.
503         (gen_reload): In the move/add2 fallback, make sure that op0
504         does not overlap the destination register.
505
506 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
507
508         * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
509         transform only GIMPLE_MODIFY_STMTs.
510         * tree-complex.c (expand_complex_operations_1): Ditto.
511         (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
512         * tree-ssa-loop-manip.c (build_if_stmt): Removed.
513         (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
514         branches.
515         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
516         tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
517         * omp-low.c (expand_parallel_call, expand_omp_for_generic,
518         expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
519         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
520         slpeel_add_loop_guard): Ditto.
521         * tree-mudflap.c (mf_build_check_statement_for): Ditto.
522         * lambda-code.c (perfect_nestify): Ditto.
523         * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
524         before the first statement.
525         * tree-optimize.c (execute_free_datastructures): Fix comments.
526         (execute_free_cfg_annotations): Do not call disband_implicit_edges.
527         * tree-flow.h (disband_implicit_edges): Declaration removed.
528         * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
529         branches.
530         (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
531         without gotos.
532         (disband_implicit_edges, has_label_p): Removed.
533         (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
534         (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
535         branches.
536         * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
537         side effects.
538         * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
539         also for COND_EXPRs.
540         * cfgexpand.c (label_rtx_for_bb): New function.
541         (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
542         Use label_rtx_for_bb to find the labels.
543         (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
544         last block.  Detect fallthru edges.
545
546 2007-04-26  Ian Lance Taylor  <iant@google.com>
547
548         PR target/28675
549         * reload.c (find_reloads_subreg_address): If the address was valid
550         in the original mode but not in the new mode, reload the whole
551         address.
552
553 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
554
555         * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
556         (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
557         (cleanup_control_expr_graph): Do not invalidate dominance info.
558         Record altered blocks.
559         (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
560         (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
561         cleanup_tree_cfg_bb): New functions.
562         (remove_forwarder_block): Do not maintain the worklist of blocks.
563         Record altered blocks.
564         (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
565         not over whole cfg.
566         (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1.  Only call
567         delete_unreachable_blocks if dominators are not available.
568         * tree-inline.c (optimize_inline_calls): Free dominance information
569         earlier.
570         * tree-flow.h (remove_edge_and_dominated_blocks,
571         cfgcleanup_altered_bbs): Altered.
572         * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
573         blocks.
574         (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
575         functions.
576         (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
577         do not invalidate dominators.
578
579 2007-04-26  Anatoly Sokolov <aesok@post.ru>
580
581         * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
582         ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
583         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
584         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
585
586 2007-04-26  Steve Ellcey  <sje@cup.hp.com>
587
588         * config/ia64/ia64.md (ip_value):  Fix itanium_class attribute.
589
590 2007-04-26  Richard Guenther  <rguenther@suse.de>
591
592         PR tree-optimization/31703
593         * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
594         the right type for the target of the bittest.
595
596 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
597
598         * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
599         ix86_sol10_return_in_memory.
600
601 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
602
603         * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
604         variables.
605
606 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
607
608         PR c++/31598
609         * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
610
611         PR tree-optimization/30558
612         * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
613         clear this_state.prev_try.
614
615 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
616             Mark Mitchell  <mark@codesourcery.com>
617
618         * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
619         * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
620         * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
621
622 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
623
624         PR driver/31107
625         * doc/invoke.texi (%:print-asm-header): Document.
626         * gcc.c (asm_options): Use %:print-asm-header() for --target-help
627         and -ftarget-help.
628         (static_spec_functions): Add print-asm-header.
629         (main): Print a banner before the --target-help linker options.
630         (print_asm_header_spec_function): New function.
631
632 2007-04-25  Kaz Kojima  <kkojima@gcc.gnu.org>
633
634         PR target/31403
635         * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
636         (movsf_ie): Likewise.
637
638 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
639
640         * doc/extend.texi ([Type Traits]): Adjust per N2255.
641
642 2007-04-25  Bob Wilson  <bob.wilson@acm.org>
643
644         * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
645         for divide-by-zero.
646         (__umodsi3, __modsi3): Likewise.
647
648 2007-04-25  Dirk Mueller  <dmueller@suse.de>
649
650         * c-typeck.c (build_compound_expr): Annotate warning()
651         call with OPT_Wunused_value.
652         * tree-ssa.c (warn_uninit): Annotate warning with
653         OPT_Wunintialized.
654         * c-common.c (handle_sentinel_attribute): Annotate warning
655         call with OPT_Wattributes.
656
657 2007-04-25  Thiemo Seufer  <ths@mips.com>
658
659         * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
660         (mips16): Fix typo.
661         * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
662         on to the assembler.  Improve handling of -mno-mips16.  Add handling
663         of -mno-mips3d, -mno-dsp, -mno-dspr2.
664         * doc/invoke.texi (MIPS Options): Whitespace cleanup.  Fix wrong use
665         of @itemx.  Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
666         -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
667
668 2007-04-25  Danny Smith  <dannysmith.users.sourceforge.net>
669
670         PR target/31680
671         * config/i386/winnt.c (i386_pe_file_end): Strip only
672         USER_LABEL_PREFIX when writing export name.
673
674 2007-04-25  Richard Sandiford  <richard@codesourcery.com>
675
676         * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h.  Include
677         sh/elf.h, vx-common.h and vxworks.h.
678         * config/sh/sh.h: Include config/vxworks-dummy.h.
679         (SUBTARGET_OVERRIDE_OPTIONS): Define.
680         (OVERRIDE_OPTIONS): Use it.
681         * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
682         (vxworks_picreg): New pattern.
683         * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
684         VXWORKS_OS_CPP_BUILTINS.
685         (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
686         to their VXWORKS_* equivalents.
687         (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
688         (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
689         * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
690         (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
691         * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
692         -mrtp/-fPIC multilibs.
693         (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
694         (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
695         (MULTILIB_OSDIRNAMES): Delete.
696
697 2007-04-25  Anatoly Sokolov <aesok@post.ru>
698
699         PR target/18989
700         * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
701
702 2007-04-24  Brooks Moses  <brooks.moses@codesourcery.com>
703
704         * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
705         rounding mode to be specified by the caller.
706         (real_to_mpfr) Likewise.
707         * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
708         include new arguments.
709         * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
710
711 2007-04-24  Ian Lance Taylor  <iant@google.com>
712
713         PR tree-optimization/31605
714         * tree-vrp.c (set_value_range): Check that min and max are not
715         both overflow infinities.
716         (set_value_range_to_value): New static function.
717         (extract_range_from_binary_expr): Call set_value_range_to_value.
718         (extract_range_from_cond_expr): Likewise.
719         (extract_range_from_expr): Likewise.
720         (extract_range_from_unary_expr): Likewise.  Don't create a range
721         which overflows on both sides.
722         (vrp_meet): Check for a useless range.
723         (vrp_visit_phi_node): If we see a constant which looks like an
724         overflow infinity, turn off the TREE_OVERFLOW flag.
725
726 2007-04-24  Ian Lance Taylor  <iant@google.com>
727
728         * flow.c (elim_reg_cond): Handle a comparison of a subreg.
729
730 2007-04-24  Simon Martin  <simartin@users.sourceforge.net>
731
732         PR diagnostic/25923
733         * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
734         diagnostic message is being built.
735         * tree-pretty-print.c (dump_generic_node): Only write the
736         formatted text into BUFFER's stream if we are not building a
737         diagnostic message.
738         * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
739         dump_generic_node.
740         * Makefile.in (toplev.o): Depend on tree-pass.h.
741
742 2007-04-24  Ian Lance Taylor  <iant@google.com>
743
744         PR tree-optimization/31602
745         * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
746         conditionals in the copied loop header.
747         * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
748         warnings if TREE_NO_WARNING is set.
749         * doc/invoke.texi (Warning Options): Clarify that
750         -Wstrict-overflow does not warn about loops.
751
752 2007-04-24  Janis Johnson  <janis187@us.ibm.com>
753
754         * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
755         expand on the comment about _Decimal128 arguments and check the
756         integer result of the modulus operation; for 64-bit ELF ABI, ensure
757         that _Decimal128 argument uses even/odd register pair.
758         (function_arg): Ditto.
759
760 2007-04-24  Hui-May Chang <hm.chang@apple.com>
761
762         * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
763         instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
764
765 2007-04-24  Richard Guenther  <rguenther@suse.de>
766             Olga Golovanevsky  <olga@il.ibm.com>
767
768         * fold-const.c (multiple_of_p): Check for bottom
769         to be zero.
770
771 2007-04-24  Richard Henderson  <rth@redhat.com>
772
773         * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
774         IS_IBM_EXTENDED.  Also define in terms of WIDEST_HARDWARE_FP_SIZE.
775         * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
776         looking for non-zero bits shifted out.  Avoid a recursive call
777         when constructing the scalar.
778         (__floatundisf): Likewise.
779
780 2007-04-24  Nathan Froyd  <froydnj@codesourcery.com>
781
782         * dwarf2out.c (field_byte_offset): Move the existing logic
783         under the control of PCC_BITFIELD_TYPE_MATTERS and just use
784         the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
785
786 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
787
788         PR target/31641
789         * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
790         argument of 0 for memset.
791         (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
792         unsigned shift instead of the signed variant.
793
794 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
795
796         * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
797         "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
798         "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
799         "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
800         "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
801         "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
802         "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
803         "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
804         "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
805         ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
806         "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
807         "mul<mode>3", "div<mode>3"): Insn definitions added.
808         ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
809         "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
810         to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
811         ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
812         "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
813         "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
814         ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
815         * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
816         TARGET_FLOAT_FORMAT): Macro definitions removed.
817         (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
818         * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
819         z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
820         (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
821         (s390_gen_rtx_const_DI): Function removed.
822         * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
823
824 2007-04-24  Richard Sandiford  <richard@codesourcery.com>
825
826         * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
827         over an external ffs function.
828
829 2007-04-24  Chao-ying Fu  <fu@mips.com>
830             Richard Sandiford  <richard@nildram.co.uk>
831
832         * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
833         * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
834         (smadd_widen_optab, umadd_widen_optab): Define.
835         * optabs.c (init_optabs): Initialize smadd_widen_optab and
836         umadd_widen_optab.
837         * genopinit.c (optabs): Fill in smadd_widen_optab and
838         umadd_widen_optab.
839         * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
840         and umadd_widen_optab to implement multiply-add sequences.
841         * config/mips/mips.md (*<su>mul_acc_di): Rename to...
842         (<u>maddsidi4): ...this.  Extend condition to include
843         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
844         of operand 0 to "ka" and use the three-operand form of madd<u>
845         for TARGET_DSPR2.
846         * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
847         to define_expands.
848         * config/mips/constraints.md (ka): New register constraint.
849
850 2007-04-24  Jan Hubicka  <j@suse.cz>
851
852         Revert:
853
854         2007-04-23  Jan Hubicka  <jh@suse.cz>
855         * function.c (init_function_start): Don't init line number info.
856         (expand_function_end): Update.
857         (reset_block_changes, record_block_change, finalize_block_changes,
858         check_block_change, free_block_changes): Kill.
859         * function.h (reset_block_changes, record_block_change,
860         finalize_block_changes, check_block_change, free_block_changes): Remove
861         prototypes.
862         (struct function): Remove ib_boundaries_block.
863         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
864         Use curr_insn_locator to initialize locator.
865         (emit_line_note): Remove.
866         * cfgexpand.c (expand_gimple_cond_expr): Update.
867         (construct_exit_block): Likewise.
868         (tree_expand_cfg): Initialize/finalize locators.
869         * expr.c (expand_expr_real): Update.
870         * cfglayout.c (line_locators_locs, line_locators_lines,
871         file_locators_locs, file_locators_files): Remove.
872         (set_block_levels): Move to cfgexpand.c.
873         (insn_locators_initialize): Remove.
874         (pass_insn_locators_initialize): Remove.
875         (locations_locators_locs, locations_locators_vals): New static vars.
876         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
877         Likewise.
878         (insn_locators_alloc, insn_locators_finalize,
879         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
880         New functions.
881         (locator_location): New.
882         (locator_line, locator_file): Rewrite.
883         * rtl.h (emit_line_note): Kill.
884         (insn_locators_alloc, insn_locators_finalize,
885         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
886         Declare.
887         * tree-inline.c (initialize_cfun): Do not initialize
888         ib_boundaries_block.
889         * passes.c (pass_insn_locators_initialize): Remove.
890
891 2007-04-24  Daniel Franke  <franke.daniel@gmail.com>
892
893         * doc/invoke.texi: Removed leading '-' from option index entries.
894
895 2007-04-23  Zdenek Dvorak  <dvorakz@suse.cz>
896
897         * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
898         Use phi_nodes_ptr.
899         (create_phi_node): Use set_phi_nodes.
900         * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
901         * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
902         (combine_blocks):  Use bb_stmt_list and set_bb_stmt_list.
903         * tree-flow-inline.h (phi_nodes, set_phi_nodes,
904         (bsi_start, bsi_last): Use bb_stmt_list.
905         (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
906         * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
907         Traverse the statements using tsi iterator.
908         * basic-block.h (struct basic_block_def): Fields stmt_list
909         and phi_nodes moved to ...
910         (struct tree_bb_info): ... new structure.
911         * tree-cfg.c (create_bb): Allocate il.tree.  Use set_bb_stmt_list.
912         (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
913         (remove_bb): Handle blocks with NULL stmt list.  Clear il.tree field.
914         (tree_verify_flow_info): Verify that il.tree is not set for
915         entry and exit block.
916         (tree_split_block): Use set_bb_stmt_list.
917
918 2007-04-23  Mike Stump  <mrs@apple.com>
919
920         * config/i386/i386.c (ix86_tune_features
921         [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
922         nocona and core2.
923
924 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
925
926         * config/i386/i386.md (prefix_extra): New attribute.
927         (length): Add prefix_extra.
928
929         * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
930         (sse2_movntv2di): Likewise.
931         (sse2_cvtps2dq): Likewise.
932         (sse2_cvtpd2pi): Likewise.
933         (sse2_cvttpd2pi): Likewise.
934         (*sse2_cvtpd2ps): Likewise.
935         (*add<mode>3): Likewise.
936         (sse2_ssadd<mode>3): Likewise.
937         (sse2_usadd<mode>3): Likewise.
938         (*sub<mode>3): Likewise.
939         (sse2_sssub<mode>3): Likewise.
940         (sse2_ussub<mode>3): Likewise.
941         (*mulv8hi3): Likewise.
942         (*smulv8hi3_highpart): Likewise.
943         (*umulv8hi3_highpart): Likewise.
944         (sse2_umulv2siv2di3): Likewise.
945         (sse2_pmaddwd): Likewise.
946         (ashr<mode>3): Likewise.
947         (lshr<mode>3): Likewise.
948         (ashl<mode>3): Likewise.
949         (sse2_ashlti3): Likewise.
950         (sse2_lshrti3): Likewise.
951         (*umaxv16qi3): Likewise.
952         (*smaxv8hi3): Likewise.
953         (*uminv16qi3): Likewise.
954         (*sminv8hi3): Likewise.
955         (sse2_eq<mode>3): Likewise.
956         (sse2_gt<mode>3): Likewise.
957         (*and<mode>3): Likewise.
958         (sse2_nand<mode>3): Likewise.
959         (*ior<mode>3): Likewise.
960         (*xor<mode>3): Likewise.
961         (sse2_packsswb): Likewise.
962         (sse2_packssdw): Likewise.
963         (sse2_packuswb): Likewise.
964         (sse2_punpckhbw): Likewise.
965         (sse2_punpcklbw): Likewise.
966         (sse2_punpckhwd): Likewise.
967         (sse2_punpcklwd): Likewise.
968         (sse2_punpckhdq): Likewise.
969         (sse2_punpckldq): Likewise.
970         (sse2_punpckhqdq): Likewise.
971         (sse2_punpcklqdq): Likewise.
972         (*sse2_pinsrw): Likewise.
973         (*sse2_pextrw): Likewise.
974         (sse2_pshufd_1): Likewise.
975         (sse2_uavgv16qi3): Likewise.
976         (sse2_uavgv8hi3): Likewise.
977         (sse2_psadbw): Likewise.
978         (sse2_pmovmskb): Likewise.
979         (*sse2_maskmovdqu): Likewise.
980         (*sse2_maskmovdqu_rex64): Likewise.
981         (sse4a_extrqi): Likewise.
982         (sse4a_extrq): Likewise.
983         (sse3_lddqu): Set prefix_rep.
984         (sse3_addsubv4sf3): Likewise.
985         (sse3_haddv4sf3): Likewise.
986         (sse3_hsubv4sf3): Likewise.
987         (sse_cvtss2si): Likewise.
988         (sse_cvtss2si_2): Likewise.
989         (sse_cvtss2siq): Likewise.
990         (sse_cvtss2siq_2): Likewise.
991         (sse_cvttss2si): Likewise.
992         (sse_cvttss2siq): Likewise.
993         (sse2_cvttps2dq): Likewise.
994         (sse3_movshdup): Likewise.
995         (sse3_movsldup): Likewise.
996         (sse2_cvtsd2si): Likewise.
997         (sse2_cvtsd2si_2): Likewise.
998         (sse2_cvtsd2siq): Likewise.
999         (sse2_cvtsd2siq_2): Likewise.
1000         (sse2_cvttsd2si): Likewise.
1001         (sse2_cvttsd2siq): Likewise.
1002         (*sse2_cvtpd2dq): Likewise.
1003         (*sse2_cvttpd2dq): Likewise.
1004         (sse2_pshuflw_1): Likewise.
1005         (sse2_pshufhw_1): Likewise.
1006         (sse4a_insertqi): Likewise.
1007         (sse4a_insertq): Likewise.
1008         (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
1009         (ssse3_phadddv4si3): Likewise.
1010         (ssse3_phaddswv8hi3): Likewise.
1011         (ssse3_phsubwv8hi3): Likewise.
1012         (ssse3_phsubdv4si3): Likewise.
1013         (ssse3_phsubswv8hi3): Likewise.
1014         (ssse3_pmaddubswv8hi3): Likewise.
1015         (ssse3_pmulhrswv8hi3): Likewise.
1016         (ssse3_pshufbv16qi3): Likewise.
1017         (ssse3_psign<mode>3): Likewise.
1018         (ssse3_palignrti): Likewise.
1019         (abs<mode>2): Likewise.
1020         (ssse3_phaddwv4hi3): Set prefix_extra.
1021         (ssse3_phadddv2si3): Likewise.
1022         (ssse3_phaddswv4hi3): Likewise.
1023         (ssse3_phsubwv4hi3): Likewise.
1024         (ssse3_phsubdv2si3): Likewise.
1025         (ssse3_phsubswv4hi3): Likewise.
1026         (ssse3_pmaddubswv4hi3): Likewise.
1027         (ssse3_pmulhrswv4hi3): Likewise.
1028         (ssse3_pshufbv8qi3): Likewise.
1029         (ssse3_psign<mode>3): Likewise.
1030         (ssse3_palignrdi): Likewise.
1031         (abs<mode>2): Likewise.
1032         (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
1033         (*vec_dupv2df): Set mode to V2DF instead of V4SF.
1034         (sse2_pmovmskb): Set mode to SI instead of V2DF.
1035
1036 2007-04-23  Nick Clifton  <nickc@redhat.com>
1037
1038         * params.def: Fix formatting of emacs local variables.
1039
1040 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
1041
1042         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
1043         move if inter-unit move isn't allowed.
1044         Don't split moving the first element of V2DI to DI to inter-unit
1045         move if inter-unit move isn't allowed.
1046
1047 2007-04-23  Richard Guenther  <rguenther@suse.de>
1048
1049         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
1050         and CDI_POST_DOMINATORS separately.
1051
1052 2007-04-23  Nick Clifton  <nickc@redhat.com>
1053
1054         * c.opt (Wformat-contains-nul): Add warning attribute.
1055
1056 2007-04-23  Jan Hubicka  <jh@suse.cz>
1057
1058         * function.c (init_function_start): Don't init line number info.
1059         (expand_function_end): Update.
1060         (reset_block_changes, record_block_change, finalize_block_changes,
1061         check_block_change, free_block_changes): Kill.
1062         * function.h (reset_block_changes, record_block_change,
1063         finalize_block_changes, check_block_change, free_block_changes): Remove
1064         prototypes.
1065         (struct function): Remove ib_boundaries_block.
1066         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
1067         Use curr_insn_locator to initialize locator.
1068         (emit_line_note): Remove.
1069         * cfgexpand.c (expand_gimple_cond_expr): Update.
1070         (construct_exit_block): Likewise.
1071         (tree_expand_cfg): Initialize/finalize locators.
1072         * expr.c (expand_expr_real): Update.
1073         * cfglayout.c (line_locators_locs, line_locators_lines,
1074         file_locators_locs, file_locators_files): Remove.
1075         (set_block_levels): Move to cfgexpand.c.
1076         (insn_locators_initialize): Remove.
1077         (pass_insn_locators_initialize): Remove.
1078         (locations_locators_locs, locations_locators_vals): New static vars.
1079         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
1080         Likewise.
1081         (insn_locators_alloc, insn_locators_finalize,
1082         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1083         New functions.
1084         (locator_location): New.
1085         (locator_line, locator_file): Rewrite.
1086         * rtl.h (emit_line_note): Kill.
1087         (insn_locators_alloc, insn_locators_finalize,
1088         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1089         Declare.
1090         * tree-inline.c (initialize_cfun): Do not initialize
1091         ib_boundaries_block.
1092         * passes.c (pass_insn_locators_initialize): Remove.
1093
1094 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1095
1096         PR middle-end/31448
1097         * expr.c (reduce_to_bit_field_precision): Handle
1098         CONST_INT rtx's.
1099
1100 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
1101
1102         PR tree-optimization/24659
1103         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
1104         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
1105         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
1106         * genopinit.c (optabs): Rename vec_pack_mod_optab
1107         to vec_pack_trunc_optab.
1108         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
1109         early for scalar floating point operands for NOP_EXPR.
1110         (vectorizable_type_promotion): Ditto.
1111         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
1112         vec_pack_trunc_optab.
1113         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
1114
1115         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
1116         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
1117         Rename from VEC_PACK_MOD_EXPR.
1118         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
1119         * expr.c (expand_expr_real_1): Ditto.
1120         * tree-inline.c (estimate_num_insns_1): Ditto.
1121         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
1122
1123         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
1124         (vec_unpacks_lo_v4sf): Ditto.
1125         (vec_pack_trunc_v2df): Ditto.
1126         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
1127         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
1128         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
1129
1130         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
1131         vec_pack_mod_v8hi.
1132         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
1133
1134         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
1135         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
1136         packing of floating point operands.
1137         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
1138         represent unpacking of floating point operands.
1139         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
1140         [vec_unpacks_hi]: Ditto.
1141         [vec_unpacks_lo]: Ditto.
1142
1143 2007-04-22  Jan Hubicka  <jh@suse.cz>
1144
1145         * final.c (rest_of_handle_final): Call
1146         targetm.asm_out.constructor/targetm.asm_out.destructor
1147         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
1148         proper priority via decl_*_priority_insert.
1149         * c-common.c (c_expand_body): Likewise.
1150
1151 2007-04-22  Richard Guenther  <rguenther@suse.de>
1152
1153         PR tree-optimization/29789
1154         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
1155         (rewrite_reciprocal): New helper split out from
1156         determine_invariantness_stmt.
1157         (rewrite_bittest): Likewise.
1158         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
1159         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
1160         is not.
1161
1162 2007-04-22  Revital Eres  <eres@il.ibm.com>
1163
1164         * loop-unroll.c (var_to_expand): New field to support also
1165         insns of the form x = something + x.
1166         (analyze_insn_to_expand_var): Use it.
1167         (expand_var_during_unrolling): Likewise.
1168
1169 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
1170
1171         * predict.c: Include pointer-set.h.
1172         (bb_predictions): New variable.
1173         (tree_predicted_by_p, tree_predict_edge,
1174         remove_predictions_associated_with_edge): Use bb_predictions map
1175         instead of bb->predictions.
1176         (clear_bb_predictions, assert_is_empty): New functions.
1177         (combine_predictions_for_bb): Use bb_predictions map.  Call
1178         clear_bb_predictions.
1179         (tree_estimate_probability): Create and free bb_predictions map.
1180         * Makefile.in (predict.o): Add pointer-set.h dependency.
1181         * basic-block.h (struct basic_block_def): Remove predictions
1182         field.
1183         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
1184
1185 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
1186
1187         PR target/31480
1188         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
1189         is null.
1190
1191 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1192
1193         * timevar.c (timevar_print): Change reference of --disable-checking to
1194         --enable-checking=release.  Also warn if assert checking is disabled.
1195
1196 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1197
1198         PR C/30265
1199         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
1200         decl as addressable if the compound literal was marked as
1201         addressable.
1202         Mark the decl as a gimple register if it is a complex or
1203         vector decl and does not live in memory.
1204
1205 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1206
1207         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
1208         (GENERIC_NEXT): New function macro.
1209         (PHI_CHAIN): Use phi_node's new chain variable.
1210         (tree_phi_node): Change tree_common to tree_base
1211         and add the chain field.
1212         * tree-phinodes.c (make_phi_node): Don't set
1213         TREE_TYPE on the new node.
1214         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
1215         instead of checking GIMPLE_TUPLE_P in chain_next.
1216         * tree-vect-transform.c
1217         (get_initial_def_for_induction): Look at
1218         PHI_RESULT_TREE for the type of the phi node.
1219         (update_vuses_to_preheader): Use PHI_CHAIN
1220         instead of TREE_CHAIN on the phi node.
1221         * tree-ssa-structalias.c (compute_points_to_sets):
1222         Likewise.
1223         (ipa_pta_execute): Likewise.
1224
1225 2007-04-21  Richard Guenther  <rguenther@suse.de>
1226
1227         PR middle-end/31136
1228         * fold-const.c (fold_unary): Call fold_convert_const on the
1229         original tree.
1230
1231 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
1232
1233         * gcse.c (store_killed_in_insn): Handle PARALLELs.
1234         (store_killed_in_pat): New.
1235
1236 2007-04-20  Richard Henderson  <rth@redhat.com>
1237
1238         PR target/31628
1239         * config/i386/i386.c (type_has_variadic_args_p): Look for any
1240         TREE_LIST with a void_type_node value, not void_list_node exactly.
1241
1242 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
1243
1244         * doc/standards.texi: Re-arrange into language-specific
1245         subsections. Add a C++ section, documenting which standards we
1246         support.
1247
1248 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
1249
1250         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
1251         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
1252
1253 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
1254
1255         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
1256         ecrti.o and crtbegin.o.
1257         (LIB_DEFAULT_SPEC): Include -lc.
1258         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
1259
1260 2007-04-20  Richard Henderson  <rth@redhat.com>
1261
1262         PR target/28623
1263         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
1264         argument; update all callers.
1265         (get_unaligned_offset): New.
1266         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
1267         get_unaligned_address, just pass on the address directly.
1268         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
1269         the subreg in the helper patterns.
1270         (unaligned_extendqidi_le): Use get_unaligned_offset.
1271         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
1272         (unaligned_extendhidi_be): Likewise.
1273         (unaligned_extendhidi): Tidy.
1274         * config/alpha/alpha-protos.h: Update.
1275
1276 2007-04-20  Richard Henderson  <rth@redhat.com>
1277
1278         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
1279         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
1280         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
1281         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1282         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1283         (CPP_SPEC): Don't include %(cpp_subtarget).
1284         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
1285         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
1286         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
1287
1288 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
1289
1290         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
1291         for __builtin_ia32_cmpordss.
1292
1293         PR tree-optimization/31632
1294         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
1295         and arg1 for optimizations of comparison against min/max values.
1296         Fold arg0 to arg1's type for optimizations of comparison against
1297         min+1 and max-1 values.
1298
1299 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
1300
1301         * reload.c (combine_reloads): When trying to use a dying register,
1302         check whether it's uninitialized and don't use if so.
1303
1304 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
1305
1306         * fold-const.c: Remove prototypes for native_encode_expr and
1307         native_interpret_expr.
1308         (native_encode_expr): Make non-static.
1309         (native_interpret_expr): Likewise.
1310         * tree.h: Add prototypes for the above.
1311
1312 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
1313
1314         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
1315         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
1316         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
1317         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
1318         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
1319         Add length attributes.
1320
1321 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
1322
1323         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
1324         not that it is 1.
1325
1326         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
1327         __STDC_WANT_DEC_FP__.
1328
1329 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
1330
1331         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
1332         for long double compatibility.
1333         * configure: Regenerate.
1334
1335 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
1336
1337         PR rtl-optimization/29841
1338         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
1339         trap instructions.
1340         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
1341         that may cause control flow transfer from being moved.
1342
1343 2007-04-18  Jan Hubicka  <jh@suse.cz>
1344
1345         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
1346         types.
1347
1348 2007-04-18  Eric Christopher  <echristo@apple.com>
1349
1350         * config/rs6000/darwin.md (load_macho_picbase): Use link register
1351         only. Update operands.
1352         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
1353         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
1354         link register to pic register.
1355
1356 2007-04-18  Dirk Mueller  <dmueller@suse.de>
1357
1358         PR diagnostic/31227
1359         * tree-vrp.c (search_for_addr_array): New.
1360         (check_array_bounds): Suppress warning about
1361         address taken of array refs if its not de-referenced.
1362
1363 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1364
1365         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
1366         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
1367
1368         * tree-vectorizer.h (NITERS_KNOWN_P): New.
1369         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
1370         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
1371
1372         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
1373         dump print.
1374         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
1375         print message.
1376         (vect_analyze_scalar_cycles): Fix indentation.
1377         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
1378         (vect_mark_relevant): Include phis in relevance analysis.
1379
1380         * tree-vect-transform.c (vect_transform_loop): Add an assert.
1381
1382 2007-04-18  Anatoly Sokolov <aesok@post.ru>
1383
1384         * config/avr/avr.c (ptrreg_to_str): Replace error() with
1385         output_operand_lossage().
1386
1387 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1388
1389         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
1390         the unused code for reduction without adjust-in-epilog to simplify the
1391         function.
1392
1393 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
1394
1395         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
1396         (S390_TDC_NEGATIVE_ZERO): New constant.
1397         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
1398         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
1399         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
1400         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
1401         (S390_TDC_POSITIVE_INFINITY): New constant.
1402         (S390_TDC_NEGATIVE_INFINITY): New constant.
1403         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
1404         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
1405         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
1406         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
1407         (S390_TDC_INFINITY): New constant.
1408         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
1409         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
1410         optimization for UNSPEC_CCZ_TO_INT.
1411         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
1412         ("*ccz_to_int"): New insn.
1413         ("isinf<mode>2"): New insn.
1414         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
1415         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
1416         (UNSPEC_CCZ_TO_INT): New constant.
1417
1418 2007-04-18  Richard Guenther  <rguenther@suse.de>
1419
1420         PR tree-optimization/19431
1421         PR tree-optimization/21463
1422         * tree-pass.h (pass_phiprop): Declare.
1423         * passes.c (init_optimization_passes): New phiprop pass.
1424         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
1425         (phivn_valid_p): New helper function.
1426         (phiprop_insert_phi): Likewise.
1427         (propagate_with_phi): Likewise.
1428         (tree_ssa_phiprop): New propagator propagating loads
1429         through phi nodes if profitable.
1430
1431 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
1432
1433         * tree-vect-analyze.c (process_use): New function.
1434         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
1435         Check phis in all bbs.
1436         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
1437         assert.
1438
1439 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
1440
1441         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
1442         we use REG_EQUAL.
1443
1444 2007-04-17  Anatoly Sokolov <aesok@post.ru>
1445
1446         PR target/30483
1447         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
1448         error().
1449
1450 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
1451
1452         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
1453         on "0".
1454         (sse_vmmulv4sf3): Likewise.
1455         (sse2_vmaddv2df3): Likewise.
1456         (sse2_vmmulv2df3): Likewise.
1457
1458 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
1459
1460         PR rtl-optimization/31360
1461         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
1462         (target_reg_cost): New.
1463         (init_set_costs): Initialize target_reg_cost.  Add comments
1464         regarding the rationale of the costs.
1465         (global_cost_for_size): Renamed to...
1466         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
1467         of register pressure.
1468         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
1469         estimate_reg_pressure_cost.  Add number of ivs.
1470         (determine_set_costs): Dump target_reg_cost.
1471         * loop-invariant.c (gain_for_invariant):  Use
1472         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
1473         (best_gain_for_invariant, find_invariants_to_move): Remove
1474         n_inv_uses.
1475         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
1476         (target_reg_cost): Declare.
1477         (global_cost_for_size): Declaration removed.
1478         (estimate_reg_pressure_cost): Declare.
1479
1480 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
1481
1482         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
1483         regnos into even/odd register pairs.
1484         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
1485         TDmode similar to the other floating point modes.
1486         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
1487         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
1488         define_expand's.
1489         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
1490         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
1491         (movdd_hardfloat64): Use TARGET_MFPGPR.
1492
1493 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
1494
1495         * reload1.c (delete_output_reload): Don't count output in n_inherited.
1496
1497         Revert
1498         2005-01-05  Richard Henderson  <rth@redhat.com>
1499         PR rtl-opt/10692
1500         * reload1.c (do_input_reload): Restrict the optimization deleteing
1501         a previous output reload to RELOAD_FOR_INPUT.
1502
1503 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
1504
1505         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
1506         induc_vec_info_type.
1507         (vectorizable_induction): New function declaration.
1508         * tree-vect-transform.c (get_initial_def_for_induction): No need to
1509         check if already vectorized.  Find first place in BB where new stmts
1510         can be inserted.  Takes only one argument.
1511         (vectorizable_induction): New function.
1512         (vect_transform_stmt): Add case for induc_vec_info_type to call
1513         vectorizable_induction.
1514         (vect_transform_loop): Consider phis for vectorization.
1515         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
1516         condition.
1517         (analyze_operations): Call vectorizable_induction when analyzing phis.
1518         Fix comment.
1519         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
1520         (vect_mark_relevant): Include phis in relevance analysis.
1521         (vect_mark_stmts_to_be_vectorize): Likewise.
1522         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
1523
1524 2007-04-16  Lawrence Crowl  <crowl@google.com>
1525
1526         * doc/invoke.texi (Debugging Options): Add documentation for the
1527         -femit-struct-debug options -femit-struct-debug-baseonly,
1528         -femit-struct-debug-reduced, and
1529         -femit-struct-debug-detailed[=...].
1530
1531         * c-opts.c (c_common_handle_option): Add
1532         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
1533         and OPT_femit_struct_debug_detailed_.
1534         * c.opt: Add specifications for
1535         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
1536         and -femit-struct-debug-detailed[=...].
1537         * opts.c (set_struct_debug_option): Parse the
1538         -femit-struct-debug-... options.
1539         * opts.c (matches_main_base, main_input_basename,
1540         main_input_baselength, base_of_path, matches_main_base): Add
1541         variables and functions to compare header base name to compilation
1542         unit base name.
1543         * opts.c (should_emit_struct_debug): Add to determine to emit a
1544         structure based on the option.
1545         (dump_struct_debug) Also disabled function to debug this
1546         function.
1547         * opts.c (handle_options): Save the base name of the
1548         compilation unit.
1549
1550         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
1551         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
1552         This hook indicates if a type is generic.  Set it by default
1553         to "never generic".
1554         * langhooks.h (struct lang_hooks_for_types): Add a new hook
1555         to determine if a struct type is generic or not.
1556         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
1557         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
1558         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
1559         with live C++ hook.
1560
1561         * flags.h (enum debug_info_usage): Add an enumeration to describe
1562         a program's use of a structure type.
1563         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
1564         to indicate the program's usage of the type.  Filter structs based
1565         on the -femit-struct-debug-... specification.
1566         (gen_type_die): Split into two routines, gen_type_die and
1567         gen_type_die_with_usage.  gen_type_die is now a wrapper
1568         that assumes direct usage.
1569         (gen_type_die_with_usage): Replace calls to gen_type_die
1570         with gen_type_die_with_usage adding the program usage of
1571         the referenced type.
1572         (dwarf2out_imported_module_or_decl): Suppress struct debug
1573         information using should_emit_struct_debug when appropriate.
1574
1575 2007-04-16  Ian Lance Taylor  <iant@google.com>
1576
1577         PR tree-optimization/31522
1578         * tree-vrp.c (vr_phi_edge_counts): New static variable.
1579         (vrp_initialize): Allocate vr_phi_edge_counts.
1580         (vrp_visit_phi_node): Don't push to infinity if we saw a new
1581         executable edge.  Drop test for all constants.
1582         (vrp_finalize): Free vrp_phi_edge_counts.
1583
1584         * doc/cpp.texi (Common Predefined Macros): Clarify description of
1585         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
1586
1587         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
1588         predecessors at head rather than tail.
1589
1590 2007-04-16  Matthias Klose  <doko@debian.org>
1591
1592         * config/alpha/linux.h (CPP_SPEC): Define.
1593         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
1594
1595 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
1596
1597         * function.h: Remove sequence_stack extern declaration.
1598
1599 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
1600
1601         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
1602         TARGET_FIDOA.
1603         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
1604         defined.
1605
1606 2007-04-16  Anatoly Sokolov <aesok@post.ru>
1607
1608         * config/avr/avr.c (avr_arch_types): Rearranging  array.
1609         (enum avr_arch): Add.
1610         (avr_mcu_types): Use avr_arch enumeration constants instead of
1611         numbers.
1612         * config/avr/avr.h (LINK_SPEC): Simplify.
1613
1614 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
1615
1616         * config/m68k/m68k.c (m68k_libcall_value,
1617         m68k_function_value): Use macros for register names more.
1618
1619         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
1620         instead.
1621         (M68K_REGNAME): Use A6_REG.
1622         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
1623
1624 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
1625
1626         PR middle-end/28071
1627         * sched-int.h (struct deps): Split field 'pending_lists_length' into
1628         'pending_read_list_length' and 'pending_write_list_length'.  Update
1629         comment.
1630         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
1631         to handle two length counters instead of one.  Update all uses.
1632         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
1633         two length counters instead of one.
1634         * sched-rgn.c (propagate_deps): Update to handle two length counters
1635         instead of one.
1636
1637 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
1638
1639         PR target/31582
1640         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
1641         copy of source, pass it to ix86_expand_vector_set and return
1642         it as target.
1643
1644 2007-04-16  David Ung  <davidu@mips.com>
1645             Joseph Myers  <joseph@codesourcery.com>
1646
1647         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
1648         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
1649         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
1650         Add 74K processor information.
1651         * config/mips/mips.md: Include 74k.md.
1652         (cpu): Add 74kc,74kf,74kx.
1653         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
1654         * config/mips/74k.md: New.
1655         * doc/invoke.texi (MIPS Options): Document 74K support.
1656
1657 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
1658
1659         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
1660         vectorizable_* functions.
1661         * tree-vect-transform.c (vectorizable_call): Add check for
1662         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
1663         (vectorizable_store): likewise.
1664         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
1665         Add comments.
1666         (vectorizable_operation, vectorizable_type_demotion): Likewise.
1667         (vectorizable_type_promotion, vectorizable_load): Likewise.
1668         (vectorizable_live_operation, vectorizable_condition): Likewise.
1669         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
1670         STMT_VINFO_LIVE_P.
1671         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
1672
1673 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1674
1675         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
1676         register numbers more.
1677         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
1678         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
1679         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
1680         FUNCTION_VALUE_REGNO_P): Likewise.
1681         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
1682         STATIC_CHAIN_REGNUM): Likewise.
1683         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
1684         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
1685         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
1686         * config/m68k/m68k.md (FP_REG): New.
1687
1688 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1689
1690         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
1691         alignment on fido.
1692
1693 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
1694
1695         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
1696         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
1697         comment typos.
1698
1699 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1700
1701         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
1702         cold loops.
1703
1704 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1705
1706         PR c/31520
1707         * c-decl.c (finish_decl): Grab the type of the decl after the call
1708         to store_init_value.
1709
1710 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
1711
1712         * common.opt (fforward-propagate): Fix "Optimization" annotation.
1713
1714 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
1715
1716         PR c++/25874
1717         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
1718         post dominators and cleanup cfg before returning.
1719
1720 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
1721
1722         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
1723         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
1724
1725 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
1726
1727         * config.gcc: Recognize fido.
1728         * config/m68k/m68k-devices.def (fidoa): New.
1729         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
1730         __mfido__.
1731         (FL_FIDOA, TARGET_FIDOA): New.
1732         * config/m68k/m68k.opt (mfidoa): New.
1733
1734 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1735
1736         PR middle-end/31322
1737         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
1738         when a personality function is used.
1739
1740 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
1741
1742         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
1743
1744 2007-04-13  Mike Stump  <mrs@apple.com>
1745
1746         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
1747         we can...
1748         * config/darwin.opt (fapple-kext): Make C++ only.
1749         * config/darwin.c (darwin_override_options): Remove code to ensure
1750         -fapple-kext is given for C++ only.
1751
1752 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
1753
1754         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
1755         * config/mips/mips.c (override_options): Call
1756         SUBTARGET_OVERRIDE_OPTIONS, if defined.
1757
1758 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
1759
1760         * config/i386/i386.opt (msvr3-shlib): Removed.
1761
1762         * doc/invoke.texi: Remove -msvr3-shlib.
1763
1764 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
1765
1766         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
1767         with "popcnt" instruction.
1768
1769 2007-04-13  Richard Guenther  <rguenther@suse.de>
1770
1771         PR tree-optimization/21258
1772         * tree-vrp.c (compare_case_labels): New helper.
1773         (find_switch_asserts): New function.
1774         (find_assert_locations): Call it for SWITCH_EXPRs.
1775
1776 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
1777
1778         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
1779         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
1780         check is now implied in X87_FLOAT_MODE_P.
1781         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1782         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1783         (fix_trunc<mode>_i386_fisttp): Ditto.
1784         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1785         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1786         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1787         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1788         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1789         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1790         (unnamed_splitters): Ditto.
1791         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
1792         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
1793         FIRST_SSE_REG for local functions when SSE math is enabled or
1794         for functions with sseregparm attribute.
1795         (standard_80387_constant_p): Return -1 if mode is not
1796         X87_FLOAT_MODE_P.
1797         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
1798         (ix86_expand_compare): Ditto.
1799         (ix86_expand_carry_flag_compare): Ditto.
1800         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
1801         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
1802         DECIMAL_FLOAT_MODE_P.
1803         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
1804         of SCALAR_FLOAT_MODE_P.
1805         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
1806         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
1807         checks before FLOAT_MODE_P.
1808         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
1809         before FLOAT_MODE_P.
1810         [DIV]: Ditto.
1811         [NEG]: Ditto.
1812         [ABS]: Ditto.
1813         [SQRT]: Ditto.
1814         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
1815
1816 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
1817             Charles Wilson  <libtool@cwilson.fastmail.fm>
1818
1819         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
1820         (libgcc.mvars): Don't depend on them.
1821         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
1822         * exec-tool.in: New.
1823
1824 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
1825
1826         * doc/invoke.text (--help): Document --help=common.
1827
1828 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
1829
1830         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
1831
1832 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1833
1834         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
1835         * genemit.c (main): Emit #include "integrate.h".
1836         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
1837         (LOADGP_RTP): New mips_loadgp_style.
1838         * config/mips/mips.h: Include config/vxworks-dummy.h.
1839         (TARGET_RTP_PIC): New macro.
1840         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
1841         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
1842         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
1843         for TARGET_RTP_PIC.
1844         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
1845         -mvxworks-pic when using -mrtp and a PIC option.
1846         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
1847         for RTP PIC.
1848         (mips_symbolic_constant_p, mips_symbolic_address_p)
1849         (mips_symbol_insns): Handle SYMBOL_HALF.
1850         (override_options): Warn about -G and -mrtp being used together.
1851         Initialize mips_lo_relocs[SYMBOL_HALF].
1852         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
1853         (mips_emit_loadgp): Handle LOADGP_RTP.
1854         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
1855         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
1856         (tablejump): Handle function-relative case table entries if
1857         TARGET_RTP_PIC.
1858         * config/mips/predicates.md (symbol_ref_operand): New predicate.
1859
1860 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1861
1862         * config/mips/mips.md (load_call<mode>): Allow any general register.
1863         destination.
1864         (sibcall_value_internal, sibcall_value_multiple_internal)
1865         (call_value_internal, call_value_split, call_value_multiple_internal)
1866         (call_value_multiple_split): Remove constraints from operand 0.
1867
1868 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1869
1870         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
1871         rather than loadgp_noshared.
1872         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
1873         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
1874         gen_loadgp.
1875         * config/mips/mips.md (loadgp): Rename to...
1876         (loadgp_newabi): ...this.
1877         (loadgp_noshared): Rename to...
1878         (loadgp_absolute): ...this.
1879
1880 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1881
1882         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
1883         false for locally-binding symbols.
1884         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
1885
1886 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1887
1888         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
1889         (SYMBOL_GOT_PAGE_OFST): ...this.
1890         (SYMBOL_GOT_GLOBAL): Rename to...
1891         (SYMBOL_GOT_DISP): ...this.
1892         (SYMBOL_GOTOFF_GLOBAL): Rename to...
1893         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
1894         * config/mips/mips.c (mips_global_symbol_p): New function.
1895         (mips_symbol_binds_local_p): Likewise.
1896         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
1897         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
1898         and mips_symbol_binds_local_p.
1899         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
1900         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
1901         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
1902         SYMBOL_GOTOFF_DISP.
1903         (mips_ok_for_lazy_binding_p): New function.
1904         (mips_load_call_address, mips_expand_call): Use it.
1905         (mips_dangerous_for_la25_p): Likewise.
1906         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
1907         (*got_disp<mode>): Use got_disp_operand instead of
1908         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
1909         SYMBOL_GOTOFF_GLOBAL.
1910         (*got_page<mode>): Use got_page_ofst_operand instead of
1911         local_got_operand.
1912         * config/mips/predicates.md (const_call_insn_operand): Use
1913         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
1914         (global_got_operand): Rename to...
1915         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
1916         SYMBOL_GOT_GLOBAL.
1917         (local_got_operand): Rename to...
1918         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
1919         of SYMBOL_GOT_LOCAL.
1920
1921 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1922
1923         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
1924         TARGET_CALL_CLOBBERED_GP.
1925         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1926         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
1927         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
1928         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
1929         of TARGET_ABICALLS && !TARGET_NEWABI.
1930         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1931         * config/mips/mips.c (mips_load_call_address): Check
1932         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1933         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1934         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1935         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
1936         TARGET_ABICALLS && TARGET_NEWABI.
1937         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
1938         TARGET_ABICALLS.
1939         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
1940         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
1941         TARGET_ABICALLS && TARGET_NEWABI.
1942         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
1943         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
1944         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
1945         whether indirect calls must use $25.
1946         (mips_extra_live_on_entry): Check TARGET_GOT instead of
1947         TARGET_ABICALLS.
1948         * config/mips/mips.md (jal_macro): Check flag_pic and
1949         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
1950         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
1951         instead of TARGET_ABICALLS.
1952         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
1953         TARGET_ABICALLS && TARGET_OLDABI.
1954         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1955         (sibcall): In the comment above the define_insn, mention
1956         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
1957         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
1958         instead of TARGET_ABICALLS.
1959
1960 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
1961
1962         * doc/md.texi (Blackfin family constraints): Document PA and PB.
1963         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
1964         (MACFLAGS_MATCH_P): New macro.
1965         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
1966         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
1967         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
1968         the other MACFLAG constants.
1969         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
1970         (flag_machi): Tighten constraints.  Renumber some of the operands.
1971         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
1972         output template.
1973         (flag_machi_parts_acconly): New pattern.
1974         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
1975         used.
1976         (flag_macinit1hi): Tighten constraints.
1977         (flag_mul_macv2hi_parts_acconly): New pattern.
1978
1979         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
1980         Use a more efficient implementation.
1981         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
1982         inline sequences when not optimizing for size.
1983
1984         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
1985         movhi_high2low): Delete, merge functionality into...
1986         (packv2hi): ... this pattern.
1987
1988         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
1989         * config/bfin/bfin.opt (msim): New option.
1990         (mcpu=): New option.
1991         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
1992         (bfin_cpu_t): Typedef of enum bfin_cpu.
1993         (bfin_cpu_type): New declaration.
1994         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
1995         -msim and -mcpu= options.
1996         (LIB_SPEC): Likewise.
1997         * config/bfin/bfin.c (bfin_cpu_type): Define.
1998         (bfin_handle_option): Handle -mcpu= option.
1999         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
2000         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
2001         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
2002
2003 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2004
2005         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
2006         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
2007         (powerpc-wrs-vxworksae): Use ${tm_file}.
2008         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
2009         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
2010         * config/i386/vx-common.h: New file.
2011
2012 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2013
2014         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
2015         of crt0.o%s.
2016
2017 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
2018
2019         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
2020         ldxtr.
2021
2022 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
2023
2024         PR c++/31078
2025         PR c++/31103
2026         * c-common.c (c_build_qualified_type): Set canonical type
2027         appropriately.
2028
2029 2007-04-12  Richard Guenther  <rguenther@suse.de>
2030
2031         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
2032         lower bound and element size if lower bound is not zero
2033         or either of the ARRAY_REF operands is set.
2034
2035 2007-04-12  Richard Guenther  <rguenther@suse.de>
2036
2037         PR tree-optimization/24689
2038         PR tree-optimization/31307
2039         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
2040         indices by value.
2041         * gimplify.c (canonicalize_addr_expr): To be consistent with
2042         gimplify_compound_lval only set operands two and three of
2043         ARRAY_REFs if they are not gimple_min_invariant.  This makes
2044         it never at this place.
2045         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
2046
2047 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2048
2049         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
2050         null before emitting a .nsubspa directive.
2051
2052 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
2053
2054         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
2055         need_to_partition_p if there are no memory statements in the
2056         function.
2057
2058 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
2059
2060         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
2061         (gcd_of_steps_may_divide_p): New function.
2062         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
2063
2064 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
2065
2066         * reload.c (find_reloads_toplev, find_reloads_address,
2067         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
2068         not a pointer equality test, to decide if we need to call
2069         push_reg_equiv_alt_mem.
2070
2071 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
2072
2073         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
2074         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
2075         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
2076
2077 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
2078
2079         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
2080         vector to be positive.
2081
2082 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
2083
2084         PR 30735
2085         PR 31090
2086         * doc/invoke.texi: Document --params max-aliased-vops and
2087         avg-aliased-vops.
2088         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
2089         debug_memory_partitions): Move to tree-flow.h
2090         * params.h (AVG_ALIASED_VOPS): Define.
2091         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
2092         users.
2093         (mp_info_t): Likewise.
2094         (get_mem_sym_stats_for): New.
2095         (set_memory_partition): Move from tree-flow-inline.h.
2096         (mark_non_addressable): Only clear the set of symbols for the
2097         partition if it exists.
2098         (dump_memory_partitions): Move from tree-ssa-operands.c
2099         (debug_memory_partitions): Likewise.
2100         (need_to_partition_p): New.
2101         (dump_mem_ref_stats): New.
2102         (debug_mem_ref_stats): New.
2103         (dump_mem_sym_stats): New.
2104         (debug_mem_sym_stats): New.
2105         (update_mem_sym_stats_from_stmt): New.
2106         (compare_mp_info_entries): New.
2107         (mp_info_cmp): Call it.
2108         (sort_mp_info): Change argument to a list of mem_sym_stats_t
2109         objects.
2110         (get_mpt_for): Move from tree-ssa-operands.c.
2111         (find_partition_for): New.
2112         (create_partition_for): Remove.
2113         (estimate_vop_reduction): New.
2114         (update_reference_counts): New.
2115         (build_mp_info): New.
2116         (compute_memory_partitions): Refactor.
2117         Document new heuristic.
2118         Call build_mp_info, update_reference_counts,
2119         find_partition_for and estimate_vop_reduction.
2120         (compute_may_aliases): Populate virtual operands before
2121         calling debugging dumps.
2122         (delete_mem_sym_stats): New.
2123         (delete_mem_ref_stats): New.
2124         (init_mem_ref_stats): New.
2125         (init_alias_info): Call it.
2126         (maybe_create_global_var): Remove alias_info argument.
2127         Get number of call sites and number of pure/const call sites
2128         from gimple_mem_ref_stats().
2129         (dump_alias_info): Call dump_memory_partitions first.
2130         (dump_points_to_info_for): Show how many times a pointer has
2131         been dereferenced.
2132         * opts.c (decode_options): For -O2 set --param
2133         max-aliased-vops to 500.
2134         For -O3 set --param max-aliased-vops to 1000 and --param
2135         avg-aliased-vops to 3.
2136         * fortran/options.c (gfc_init_options): Remove assignment to
2137         MAX_ALIASED_VOPS.
2138         * tree-flow-inline.h (gimple_mem_ref_stats): New.
2139         * tree-dfa.c (dump_variable): Dump memory reference
2140         statistics.
2141         Dump NO_ALIAS* settings.
2142         (referenced_var_lookup): Tidy.
2143         (mem_sym_stats): New.
2144         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
2145         and ORIG are different SSA names for a memory partition.
2146         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
2147         * tree-flow.h (struct mem_sym_stats_d): Define.
2148         (mem_sym_stats_t): Define.
2149         (struct mem_ref_stats_d): Define.
2150         (struct gimple_df): Add field mem_ref_stats.
2151         (enum noalias_state): Define.
2152         (struct var_ann_d): Add bitfield noalias_state.
2153         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
2154         debug_mem_ref_stats, debug_memory_partitions,
2155         debug_mem_sym_stats): Declare.
2156         * tree-ssa-structalias.c (update_alias_info): Update call
2157         sites, pure/const call sites and asm sites in structure
2158         returned by gimple_mem_ref_stats.
2159         Remove local variable IS_POTENTIAL_DEREF.
2160         Increase NUM_DEREFS if the memory expression is a potential
2161         dereference.
2162         Call update_mem_sym_stats_from_stmt.
2163         If the memory references memory, call
2164         update_mem_sym_stats_from_stmt for all the direct memory
2165         symbol references found.
2166         (intra_create_variable_infos): Set noalias_state field for
2167         pointer arguments according to the value of
2168         flag_argument_noalias.
2169         * tree-ssa-structalias.h (struct alias_info): Remove fields
2170         num_calls_found and num_pure_const_calls_found.
2171         (update_mem_sym_stats_from_stmt): Declare.
2172         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
2173         Set default value to 100.
2174         (PARAM_AVG_ALIASED_VOPS): Define.
2175
2176 2007-04-11  Richard Guenther  <rguenther@suse.de>
2177
2178         PR middle-end/31530
2179         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
2180         a * -b + c as c - a * b if we honor sign dependent rounding.
2181
2182 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
2183
2184         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
2185         bfin_expand_strmov.
2186         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
2187         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
2188         variables.
2189         (initialize_trampoline): Don't use old-style function definition.
2190         (bfin_secondary_reload): Mark IN_P argument as unused.
2191
2192 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
2193
2194         PR tree-optimization/31343
2195         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
2196         (build_polynomial_chrec): Return a scalar when the evolution is zero.
2197         * testsuite/gcc.dg/vect/pr31343.c: New.
2198
2199 2007-04-10  Eric Christopher  <echristo@apple.com>
2200
2201         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
2202         * config/i386/i386.md (*cmpfp0): Use.
2203         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
2204         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
2205         (fix_trunc<mode>_i386_fisttp): Ditto.
2206         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
2207         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
2208         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
2209         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
2210         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
2211         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
2212         (unnamed_splitters): Ditto.
2213         * config/i386/i386.c (output_fix_trunc): Assert that
2214         we're not being passed a TFmode operand.
2215
2216 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
2217
2218         PR tree-optimization/31526
2219         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
2220         n_basic_blocks to find newly added blocks.
2221
2222 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
2223
2224         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
2225         alternative.
2226         (fix_trunc<mode>si_sse): Ditto.
2227         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
2228         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
2229         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
2230         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
2231         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
2232         expander using SSEMODEF mode macro.
2233         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
2234         expander using SSEMODEF mode macro.
2235         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
2236         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
2237         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
2238         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
2239         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
2240         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
2241         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
2242         Macroize insn using X87MODEF mode macro.
2243
2244 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
2245
2246         * config/i386/sse.md (sse2_pinsrw): Removed.
2247         (sse2_pextrw): Renamed to ...
2248         (*sse2_pextrw): This.
2249
2250 2007-04-09  Jan Hubicka  <jh@suse.cz>
2251
2252         PR target/27869
2253         * config/i386/sse.md
2254         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
2255         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
2256         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
2257         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
2258
2259 2007-04-09  Jan Hubicka  <jh@suse.cz>
2260
2261         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
2262         multiple fields of union.
2263
2264 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
2265
2266         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
2267         (create_preheaders): Check that loops are available.
2268         (fix_loop_structure): Clean up, improve comments.
2269         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
2270         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
2271         state flags.
2272         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
2273         * predict.c (tree_estimate_probability): Do not call
2274         calculate_dominance_info.  Call create_preheaders.
2275         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
2276         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
2277         flags.
2278         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
2279         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
2280         * tree-cfg.c (tree_split_edge): Make an assert more precise.
2281         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
2282         arguments.
2283
2284 2007-04-08  Jan Hubicka  <jh@suse.cz>
2285
2286         * tree.h (maybe_fold_offset_to_component_ref): Declare.
2287         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
2288         * fold-const.c (fold_unary): Use it.
2289
2290 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2291
2292         * varasm.c (assemble_variable): Remove call to
2293         lang_hooks.decls.prepare_assemble_variable.
2294         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
2295         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
2296         * langhooks.h (lang_hooks_for_decls): Remove
2297         prepare_assemble_variable.
2298
2299 2007-04-08  Mike Stump  <mrs@apple.com>
2300
2301         * config/i386/i386.c: Use inc/dec on Core2.
2302
2303 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
2304
2305         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
2306         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
2307         lhd_tree_inlining_end_inlining): Remove.
2308         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
2309         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
2310         end_inlining hooks.
2311         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
2312         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
2313         lhd_tree_inlining_end_inlining): Remove prototypes.
2314         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
2315         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
2316         LANG_HOOKS_TREE_INLINING_START_INLINING,
2317         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
2318
2319         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
2320         not set it.
2321
2322 2007-04-08  Anatoly Sokolov <aesok@post.ru>
2323
2324         PR target/29932
2325         * config/avr/predicates.md (io_address_operand): Delete predicate.
2326         (low_io_address_operand): Don't use 'mode' argument.
2327         (higth_io_address_operand): Rename ...
2328         (high_io_address_operand): ... to this. Don't use 'mode' argument.
2329         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
2330         for above change.
2331
2332 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
2333
2334         Revert change removing staticp.
2335
2336 2007-04-07  Anatoly Sokolov <aesok@post.ru>
2337
2338         PR target/30289
2339         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
2340         earlyclobber.
2341
2342 2007-04-07  Bruce Korb  <bkorb@gnu.org>
2343
2344         * c.opt: Add -Wformat-contains-nul.
2345         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
2346           -Wformat setting.
2347         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
2348         the NUL byte warning.
2349
2350 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
2351
2352         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
2353
2354 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
2355
2356         * tree.c (staticp): No longer use staticp langhook.
2357         * langhooks.c (lhd_staticp): Removed.
2358         * langhooks.h (struct lang_hooks): Remove staticp.
2359         * c-common.c (c_staticp): Remove.
2360         * c-common.h (c_staticp): Ditto.
2361         * langhooks-defs.h (lhd_staticp): Ditto.
2362         (LHD_HOOKS_STATICP): Ditto
2363         * tree.h (gcc_assert_lowered): New macro.
2364
2365 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
2366
2367         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
2368         argument "reliable".
2369         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
2370         Add argument "reliable".  Propagate it through calls.
2371         (infer_loop_bounds_from_undefined):  Derive number of iterations
2372         estimates from references in blocks that do not dominate loop latch.
2373         (gcov_type_to_double_int): New function.
2374         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
2375         and expected_loop_iterations_unbounded.
2376         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
2377         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
2378         * tree-data-ref.c (estimated_loop_iterations): Export.
2379         (get_references_in_stmt): Fix -- do not return addresses of local
2380         objects.
2381         * cfgloop.h (expected_loop_iterations_unbounded,
2382         estimated_loop_iterations): Declare.
2383
2384 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
2385
2386         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
2387
2388 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
2389
2390         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
2391         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
2392         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
2393         Use output_387_reg_move().
2394         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
2395         expander using X87MODEF12 mode macro.
2396         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
2397         choosing register preferences.  Use output_387_reg_move().
2398         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
2399         instead of "x".  Use output_387_reg_move().
2400         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
2401         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
2402         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
2403         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
2404         Use output_387_reg_move().
2405         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
2406         mode macro.
2407         (*truncxf?f_i387 splitter): Ditto.
2408
2409 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
2410
2411         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
2412         LANG_HOOKS_SAFE_FROM_P.
2413         * expr.c (safe_from_p): Remove langhook call.
2414         * langhooks.h (lang_hooks): Remove safe_from_p.
2415         (lhd_safe_from_p): Remove prototype.
2416         * langhooks.c (lhd_safe_from_p): Remove.
2417
2418 2007-04-06  Jan Hubicka  <jh@suse.cz>
2419
2420         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
2421         functions.
2422
2423 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
2424
2425         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
2426         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
2427         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
2428         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
2429         alternative.
2430         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
2431         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
2432
2433 2007-04-05  Richard Henderson  <rth@redhat.com>
2434
2435         * config/alpha/alpha.c (print_operand) [+]: Remove.
2436         (alpha_end_function): Print nop if call at end of function.
2437         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
2438         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
2439         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
2440         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
2441         (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
2442         the call pattern. Update peepholes to match.
2443
2444 2007-04-05  Janis Johnson  <janis187@us.ibm.com>
2445
2446         * doc/extend.texi (Other Builtins): Add decimal float variants
2447         of signbit.
2448         * builtins.def: Ditto.
2449         * builtins.c (expand_builtin): Ditto.
2450
2451 2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
2452             H.J. Lu  <hongjiu.lu@intel.com>
2453
2454         PR target/31478
2455         * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
2456         of V8HImode when calling ix86_binary_operator_ok.
2457         (sse2_pmaddwd): Call ix86_binary_operator_ok.
2458         (sdot_prodv8hi): Operands 1 and 2 must be register.
2459
2460 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2461
2462         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
2463         initialize align to silence bogus warning.
2464
2465 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
2466
2467         PR middle-end/22156
2468         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
2469         all_no_warning.
2470         (struct sra_walk_fns): Remove use_all parameter from use.
2471         (sra_hash_tree): Handle BIT_FIELD_REFs.
2472         (sra_elt_hash): Don't hash bitfld blocks.
2473         (sra_elt_eq): Skip them in parent compares as well.  Handle
2474         BIT_FIELD_REFs.
2475         (sra_walk_expr): Don't maintain or pass down use_all_p.
2476         (scan_use): Remove use_all parameter.
2477         (scalarize_use): Likewise.  Re-expand assignment to
2478         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
2479         output, and re-scalarize after output.  Don't mark anything
2480         for no warning.
2481         (scalarize_ldst): Adjust.
2482         (scalarize_walk_gimple_modify_statement): Likewise.
2483         (build_element_name_1): Handle BIT_FIELD_REFs.
2484         (instantiate_element): Don't warn for any element whose parent
2485         is used as a whole.
2486         (instantiate_missing_elements_1): Return the sra_elt.
2487         (canon_type_for_field): New.
2488         (try_instantiate_multiple_fields): New.
2489         (instantiate_missing_elemnts): Use them.
2490         (mark_no_warning): Removed.
2491         (generate_one_element_ref): Handle BIT_FIELD_REFs.
2492         (REPLDUP, sra_build_elt_assignment): New.
2493         (generate_copy_inout): Use them.
2494         (generate_element_copy): Likewise.  Handle bitfld differences.
2495         (generate_element_zero): Don't recurse for blocks.  Use
2496         sra_build_elt_assignment.
2497         (generate_one_element_int): Take elt instead of var.  Use
2498         sra_build_elt_assignment.
2499         (generate_element_init_1): Adjust.
2500         (scalarize_use, scalarize_copy): Use REPLDUP.
2501         (scalarize_ldst): Move assert before dereference.
2502         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
2503
2504 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
2505
2506         * regmove.c: Fix unused variable warnings due to previous commit.
2507
2508 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
2509
2510         * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
2511         (regmove_bb_head): Remove.
2512         (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
2513         (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
2514         problems with fixup_match_1.
2515         Don't initialize/free regmove_bb_head.
2516
2517         (reg_is_remote_constant_p): If an insn is in the same basic block
2518         but not before INSN, consider it remote, too.
2519
2520 2007-04-05  Anatoly Sokolov <aesok@post.ru>
2521
2522         PR target/25448
2523         * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
2524         DECL_ASSEMBLER_NAME, not the DECL_NAME.
2525
2526 2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>
2527
2528         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
2529         (CONDITIONAL_REGISTER_USAGE): Likewise.
2530
2531 2007-04-04  Richard Henderson  <rth@redhat.com>
2532
2533         * config/alpha/lib1funcs.asm: Remove unused file.
2534
2535 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2536
2537         PR other/31356
2538         * opts.c (print_specific_help): Fix --help=<language>
2539         header line.
2540         (common_handle_option): Support --help=common.
2541
2542 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2543
2544         PR other/31353
2545         * gcc.c (main): Do not run the linker if
2546         print_subprocess_help indicates that it shouldn't be
2547         run.
2548
2549 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
2550
2551         PR doc/31355
2552         * doc/invoke.texi (--help=): Document <languages> value, fix
2553         formatting in tables of values.
2554
2555 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
2556
2557         * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
2558         dllimport attribute of virtual methods.
2559
2560 2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>
2561
2562         * config/score/crti.asm: Change _bss_start to __bss_start.
2563         * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
2564         (OUTGOING_REG_PARM_STACK_SPACE) update.
2565         * config/score/score.opt: add options to make backend support
2566         score5, score5u, score7 and score7d.
2567         * config/score/score.md: Likewise.
2568         * config/score/misc.md: Likewise.
2569         * config/score/mac.md: Likewise.
2570         * doc/invoke.texi: Likewise.
2571         * doc/md.texi: update constraints define.
2572
2573 2007-04-03  Richard Henderson  <rth@redhat.com>
2574
2575         * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
2576         an appropriate type, use the mode instead.
2577
2578 2007-04-03  Richard Sandiford  <richard@codesourcery.com>
2579
2580         * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
2581         Set the default --with-arch setting to mips2.
2582         * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
2583         (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
2584         (MULTILIB_OSDIRNAMES): Delete.
2585         (MULTILIB_DIRNAMES): Define.
2586         * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
2587         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
2588         (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
2589         definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
2590         VXWORKS_OS_CPP_BUILTINS.
2591         (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
2592         (MIPS_DEBUGGING_INFO): Undefine.
2593         (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
2594
2595 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
2596
2597         PR middle-end/30704
2598         * fold-const.c (native_encode_real): Encode real.c provided longs
2599         as a series of 32-bit native integers.
2600         (native_interpret_real): Interpret buffer as a series of 32-bit
2601         native integers.
2602
2603 2007-04-03  Richard Guenther  <rguenther@suse.de>
2604
2605         * genpreds.c (write_insn_constraint_len): Write function
2606         optimized for CONSTRAINT_LEN implementation.
2607         (write_tm_preds_h): Output insn_constraint_len inline and
2608         use it for CONSTRAINT_LEN.
2609         (write_insn_preds_c): Don't output insn_constraint_len.
2610         * doc/md.texi (define_register_constraint): Document multi-letter
2611         constraints shall have the same length if they start with the same
2612         letter.
2613
2614 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
2615
2616         PR target/31175
2617         * config/i386/i386.md (isinf<mode>2): Expand only when
2618         TARGET_C99_FUNCTIONS is set.
2619
2620 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
2621
2622         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
2623         (x86_64-*-linux*): Ditto.
2624         * config/i386/i386.opt (mpc): New option.
2625         * config/i386/i386.c (overrride_options): Handle
2626         ix87_precision_string.
2627         * config/i386/crtprec.c: New file.
2628         * config/i386/t-crtpc: Ditto.
2629         * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
2630         and -mpc80 options.
2631         * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
2632         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
2633         crtprec32.o, crtprec64.o and crtprec80.o.
2634
2635         * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
2636         and -mpc80 options.
2637         (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
2638
2639 2007-04-02  Eric Christopher  <echristo@apple.com>
2640
2641         * doc/invoke.texi (i386 and x86-64 Options): Document -m64
2642         limitations on darwin.
2643
2644 2007-04-02  Anatoly Sokolov <aesok@post.ru>
2645
2646         PR target/31137
2647         * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
2648
2649 2007-04-02  Dave Korn  <dave.korn@artimi.com>
2650
2651         * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
2652
2653 2007-04-02  Dave Korn  <dave.korn@artimi.com>
2654
2655         * libgcc2.h (exception_descriptor): Don't forward-declare.
2656         (__get_eh_table_language, __get_eh_table_version): Delete
2657         prototypes of long-dead functions.
2658
2659 2007-04-01  Daniel Berlin  <dberlin@dberlin.org>
2660
2661         * ebitmap.h: New file
2662         * ebitmap.c: New file
2663         * Makefile.in (ebitmap.o): New target.
2664
2665 2007-04-01  Jan Hubicka  <jh@suse.cz>
2666
2667         * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
2668         before very first instruction.
2669
2670 2007-04-01  Jan Hubicka  <jh@suse.cz>
2671
2672         * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
2673         waring on 64bit hosts.
2674         * bitmap.h: Fix typo in bitmap_head_def.
2675
2676 2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>
2677
2678         PR rtl-optimization/31391
2679         * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
2680         into a DELETED_LABEL note, and the label is in an empty basic
2681         block, update BB_END as well as BB_HEAD.
2682
2683 2007-04-01  Richard Henderson  <rth@redhat.com>
2684
2685         PR tree-optimization/31169
2686         * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
2687         to varying if the range is outside [0,  prec-1].
2688
2689 2007-04-01  Richard Sandiford  <richard@codesourcery.com>
2690
2691         PR target/31388
2692         * config/mips/mips.md (load_const_gp): New insn.
2693         * config/mips/mips.c (mips_split_symbol): Avoid using or creating
2694         the MIPS16 GP pseudo register if no_new_pseudos.
2695         (mips16_gp_pseudo_reg): Use gen_load_const_gp.
2696
2697 2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2698
2699         PR target/31364
2700         * config/rs6000/rs6000.md (call): Convert to LR hard reg for
2701         secureplt.
2702         (call_value): Likewise.
2703
2704 2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
2705             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2706
2707         PR 14737
2708         * doc/invoke.texi: (optimization options): Reword description
2709         of -ffast-math. Document its primary purpose.
2710
2711 2007-03-31  Richard Guenther  <rguenther@suse.de>
2712
2713         * omp-low.c (splay-tree.h): Include.
2714         (lookup_decl): Replace splay-tree usage by pointer-map.
2715         (maybe_lookup_decl): Likewise.
2716         (new_omp_context): Likewise.
2717         (delete_omp_context): Likewise.
2718         * gimplify.c (splay-tree.h): Include.
2719         * tree-inline.c (insert_decl_map): Replace splay-tree usage by
2720         pointer-map.
2721         (remap_ssa_name): Likewise.
2722         (remap_decl): Likewise.
2723         (remap_type_1): Likewise.
2724         (remap_type): Likewise.
2725         (copy_body_r): Likewise.
2726         (expand_call_inline): Likewise.
2727         (clone_body): Likewise.
2728         (copy_tree_r): Likewise.
2729         (remap_save_expr): Likewise.
2730         (unsave_r): Likewise.
2731         (unsave_expr_now): Likewise.
2732         (tree_function_versioning): Likewise.
2733         (build_duplicate_type): Likewise.
2734         * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
2735         (struct copy_body_data): Replace splay-tree by pointer-map.
2736         * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
2737         not $(SPLAY_TREE_H).
2738         (gimplify.o): Depend on $(SPLAY_TREE_H).
2739         (omp-low.p): Likewise.
2740
2741 2007-03-31  Anatoly Sokolov <aesok@post.ru>
2742
2743         * config/avr/predicates.md (even_register_operand,
2744         odd_register_operand): New predicates.
2745         * config/avr/avr.md (movw peephole2): New.
2746         (movw_r peephole2): New.
2747
2748 2007-03-30  Rafael Avila de Espindola  <espindola@google.com>
2749
2750         * tree.h (get_signed_or_unsigned_type): New.
2751         * fold-const.c (operand_equal_for_comparison_p): Use
2752         get_signed_or_unsigned_type instead of
2753         lang_hooks.types.signed_or_unsigned_type.
2754         * expr.c (store_expr): Ditto.
2755         * langhooks.c (get_signed_or_unsigned_type): New.
2756         (lhd_signed_or_unsigned_type): New.
2757         * langhooks.h (lhd_signed_or_unsigned_type): New.
2758         * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
2759
2760 2007-03-30  Richard Henderson  <rth@redhat.com>
2761
2762         * tree-ssa-loop-ivopts.c: Include target.h.
2763         (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
2764         (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
2765         (force_expr_to_var_cost): Use produce_memory_decl_rtl.
2766         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
2767
2768 2007-03-30  Richard Henderson  <rth@redhat.com>
2769             Kai Tietz  <kai.tietz@onevision.com>
2770
2771         * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
2772         default for 64-bit.
2773         (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
2774         (TARGET_64BIT_MS_ABI): New.
2775         (DBX_REGISTER_NUMBER): Handle 64-bit.
2776         (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
2777         (LONG_TYPE_SIZE): Force to 32.
2778         (REG_PARM_STACK_SPACE): New.
2779         (OUTGOING_REG_PARM_STACK_SPACE): New.
2780         (REGPARM_MAX, SSE_REGPARM_MAX): New.
2781         (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2782         (STACK_BOUNDARY): Use 128 for 64-bit.
2783         * config/i386/cygwin.asm: Use push/ret to preserve call stack.
2784         Add 64-bit implementation.
2785         * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
2786         argument unused.
2787         * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
2788         (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
2789         Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
2790         for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
2791         (ix86_handle_cconv_attribute): Don't warn when ignoring if
2792         TARGET_64BIT_MS_ABI.
2793         (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
2794         (ix86_pass_by_reference): Likewise.
2795         (ix86_function_value_regno_p): Likewise.
2796         (ix86_build_builtin_va_list): Likewise.
2797         (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2798         (function_arg_advance_ms_64): New.
2799         (function_arg_advance): Call it.
2800         (function_arg_ms_64): New.
2801         (function_arg): Call it.
2802         (function_value_ms_64): New.
2803         (ix86_function_value_1): Call it.
2804         (return_in_memory_ms_64): New.
2805         (ix86_return_in_memory): Call it.
2806         (setup_incoming_varargs_ms_64): New.
2807         (ix86_setup_incoming_varargs): Call it.
2808         (ix86_expand_prologue): Handle 64-bit stack probing.
2809         (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
2810         (output_pic_addr_const): Likewise.
2811         (x86_this_parameter): Likewise.
2812         (x86_output_mi_thunk): Likewise.
2813         (x86_function_profiler): Likewise.
2814         (TARGET_STRICT_ARGUMENT_NAMING): New.
2815         * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
2816         (TARGET_64BIT_MS_ABI): New.
2817         (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
2818         * config/i386/i386.md (allocate_stack_worker): Remove.
2819         (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
2820         describe the clobber of eax without a match_scratch.
2821         (allocate_stack_worker_postreload): Remove.
2822         (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
2823         describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
2824         (allocate_stack_worker_rex64_postreload): Remove.
2825         (allocate_stack): Handle 64-bit.
2826         * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
2827         * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
2828         (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
2829         (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
2830         (STANDARD_STARTFILE_PREFIX_1): Likewise.
2831         * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
2832         * config.build (x86_64-*-mingw*): New host.
2833         * config.host (x86_64-*-mingw*): New host.
2834         * config.gcc (x86_64-*-mingw*): New target.
2835         * gthr-win32.h (__gthread_key_create): Mark dtor unused.
2836
2837 2007-03-30  Richard Henderson  <rth@redhat.com>
2838             Kai Tietz  <kai.tietz@onevision.com>
2839
2840         * c-pragma.c (struct def_pragma_macro_value): New.
2841         (struct def_pragma_macro): New.
2842         (pushed_macro_table): New.
2843         (dpm_hash, dpm_eq): New.
2844         (handle_pragma_push_macro, handle_pragma_pop_macro): New.
2845         (init_pragma): Install them.
2846         * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2847
2848 2007-03-30  Anatoly Sokolov <aesok@post.ru>
2849
2850         * config/avr/avr.c (avr_override_options): Clear
2851         'flag_delete_null_pointer_checks'.
2852
2853 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
2854
2855         PR c++/26099
2856         * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
2857         RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
2858         RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
2859         RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
2860         RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
2861         RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
2862         RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
2863         C++ extensions.
2864         * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
2865
2866 2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
2867
2868         * regmove.c: Move all of pass_stack_adjustments from here...
2869         * combine-stack-adj.c: ...to this new file.
2870         * Makefile.in: Add rules for combine-stack-adj.o.
2871
2872 2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
2873
2874         PR tree-optimization/31383
2875         * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
2876         to have the same length.
2877
2878 2007-03-30  Jan Hubicka  <jh@suse.cz>
2879
2880         PR middle-end/30700
2881         * dwarf2out.c (reference_to_unused): Ask cgraph for functions
2882         availablility; add more sanity checking; ask varpool only about
2883         VAR_DECL.
2884
2885 2007-03-29  Richard Henderson  <rth@redhat.com>
2886
2887         * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
2888         to decide, but __SIZEOF_LONG_LONG__.
2889
2890 2007-03-29  Richard Henderson  <rth@redhat.com>
2891
2892         * emutls.c (struct __emutls_array): New.
2893         (emutls_destroy): Use it instead of casting element 0 from void*.
2894         (__emutls_get_address): Likewise.
2895
2896 2007-03-29  Richard Henderson  <rth@redhat.com>
2897
2898         * varasm.c (initializer_constant_valid_p): Don't deny
2899         DECL_DLLIMPORT_P on functions.
2900
2901         * config/i386/cygming.h: Remove function declarations.
2902         (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
2903         (ASM_OUTPUT_LABELREF): Remove.
2904         (COMMON_ASM_OP): Remove.
2905         (ASM_OUTPUT_COMMON): Remove.
2906         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
2907         (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
2908         (ASM_DECLARE_FUNCTION_NAME): Likewise.
2909         * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
2910         Rename from TARGET_ENCODE_SECTION_INFO.
2911         * config/i386/netware.h: Likewise.
2912         * config/i386/i386-protos.h: Update.
2913         * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
2914         of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
2915         (legitimate_constant_p): Reject dllimports.
2916         (dllimport_map, get_dllimport_decl): New.
2917         (legitimize_dllimport_symbol): New.
2918         (legitimize_address, ix86_expand_move): Use it.
2919         (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
2920         * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
2921         (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
2922         (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
2923         * config/i386/predicates.md (constant_call_address_operand): Only
2924         accept symbols; reject dllimport_p symbols.
2925         * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
2926         i386_pe_maybe_record_exported_symbol.
2927         * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
2928         (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
2929         (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
2930         trust the setting of DECL_DLLIMPORT_P.
2931         (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
2932         (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
2933         (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
2934         tidy the argument scanning loop.
2935         (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
2936         SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
2937         (i386_pe_strip_name_encoding): Remove.
2938         (i386_pe_binds_local_p): New.
2939         (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
2940         (i386_pe_output_labelref): Remove.
2941         (i386_pe_asm_output_aligned_decl_common): New.
2942         (i386_pe_maybe_record_exported_symbol): Rename from
2943         i386_pe_record_exported_symbol; check for dllexported symbols.
2944
2945 2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
2946
2947         * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
2948         add comment explaining why vsnprintf cannot be used.
2949
2950 2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
2951
2952         PR tree-optimization/30666
2953         * tree.c (build_complex_type): When creating type names for DWARF2
2954         debug info, create TYPE_DECLs for TYPE_NAME instead of
2955         IDENTIFIER_NODEs.
2956         (build_common_tree_nodes_2): Use build_complex_type when building
2957         predefined complex types, to preserve canonical types.
2958
2959 2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
2960
2961         * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
2962         (noce_get_alt_condition): Look at it to determine whether to
2963         reverse the condition or not.
2964         (noce_get_condition): Substitute the truth for lies.
2965         (noce_find_if_block): Set the then_else_reversed field.
2966
2967 2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
2968
2969         * config/fr30/fr30.md (movdi): Do not accept immediates as the
2970         destination of this insn.
2971         * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
2972         than calling gen_rtx_SET directly.  Use r0 to hold the value of
2973         'address + 4' rather than a stack based temporary which can be
2974         mis-optimized away.
2975
2976 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2977
2978         * config/s390/s390.c (s390_secondary_input_reload_class,
2979         s390_secondary_output_reload_class): Functions removed.
2980         (s390_secondary_reload): New function.
2981         (TARGET_SECONDARY_RELOAD): Target macro defined.
2982         * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
2983         SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
2984         * config/s390/s390.md ("reload_outti", "reload_outdi",
2985         "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
2986         "reload_out<mode>"): Expanders removed.
2987         ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
2988         "reload<mode>_nonoffmem_out"): Expanders added.
2989
2990 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2991
2992         * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
2993         SRC->DEST replacement failed anyway.
2994
2995 2007-03-28  Mike Stump  <mrs@apple.com>
2996
2997         * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
2998         * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
2999         * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
3000
3001 2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
3002
3003         * config.gcc: Accept barcelona as a variant of amdfam10.
3004         * config/i386/i386.c (override_options): Likewise.
3005         * doc/invoke.texi: Likewise.
3006
3007 2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
3008
3009         * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
3010         offsets for BIT_FIELD_REF and COMPONENT_REF.
3011
3012 2007-03-28  Richard Guenther  <rguenther@suse.de>
3013
3014         * tree.c (is_global_var): Move ...
3015         * tree-flow-inline.h (is_global_var): ... here.
3016         * tree.h (is_global_var): Remove declaration.
3017
3018 2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
3019
3020         * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
3021         option.
3022         (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
3023         * config/i386/i386.c (ix86_tune_features): Initialize new
3024         tuning option.
3025         * config/i386/predicates.md (promotable_binary_operator): Use
3026         TARGET_TUNE_PROMOTE_HIMODE_IMUL.
3027
3028 2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
3029
3030         PR target/31380
3031         * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
3032
3033 2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
3034
3035         * config/fr30/fr30.md (movsi_internal): Change destination
3036         constraint from m to V and add m to the end.
3037
3038 2007-03-28  Christian Bruel  <christian.bruel@st.com>
3039
3040         * config/sh/sh.md (movsi_i): Fix type attribute.
3041
3042 2007-03-28  Christian Bruel  <christian.bruel@st.com>
3043
3044         * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
3045         (movsf_ie): Likewise.
3046
3047 2007-03-28  Christian Bruel  <christian.bruel@st.com>
3048
3049         * config.gcc: Add sh4-300 to multilib.
3050         * config/sh/t-mlib-sh4-300: New file.
3051
3052 2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
3053
3054         * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
3055         ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
3056         fix_trunc<mode>di2.
3057         ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
3058         fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
3059         ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
3060         "fixuns_trunctddi2"): Whitespace fix.
3061
3062 2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
3063
3064         * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
3065         the definition of struct sh_args.
3066         (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
3067         CALL_COOKIE_INT_REG_GET): Likewise.
3068
3069 2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
3070
3071         * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
3072         transformations are applied successfully.
3073
3074 2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
3075
3076         * tree.c (tree_contains_struct): Permit 512 tree codes.
3077         * tree.h (tree_contains_struct): Ditto.
3078         (MAX_TREE_CODES): Ditto.
3079         (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
3080         SPARE member to store remaining padding bits.
3081
3082 2007-03-27  Anatoly Sokolov <aesok@post.ru>
3083
3084         * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
3085         architecture.
3086
3087 2007-03-27  Janis Johnson  <janis187@us.ibm.com>
3088
3089         * configure.ac: Fix assembler test for powerpc*-linux decimal float.
3090         * configure: Regenerate.
3091
3092         * configure: Regenerate using the correct version of autoconf.
3093
3094 2007-03-27  Anatoly Sokolov  <aesok@post.ru>
3095
3096         * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
3097         pointer regs.
3098         * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
3099         regs to "__SP_L__" and "__SP_H__".
3100
3101 2007-03-27  Richard Guenther  <rguenther@suse.de>
3102
3103         * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
3104         computations with it with a HOST_WIDE_INT variable.
3105
3106 2007-03-26  Mike Stump  <mrs@apple.com>
3107
3108         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
3109         objective-c-header, objective-c++-header and objc++-cpp-output
3110         support.
3111         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
3112
3113 2007-03-26  Richard Henderson  <rth@redhat.com>
3114
3115         PR target/31361
3116         * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
3117         IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
3118         IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
3119         IX86_BUILTIN_PSRLQ128): New.
3120         (ix86_init_mmx_sse_builtins): Add them.
3121         (ix86_expand_builtin): Expand them.
3122         * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
3123         operand 2 be TImode.
3124         * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
3125         _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
3126         _mm_srli_epi64): Mark __B const.
3127         (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
3128         (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
3129         _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
3130         new two-vector shift builtins.
3131
3132 2007-03-26  Ian Lance Taylor  <iant@google.com>
3133
3134         PR tree-optimization/31345
3135         * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
3136         [+INF, +INF(OVF)] into VARYING.
3137
3138 2007-03-26  Zack Weinberg  <zackw@panix.com>
3139
3140         * gengtype-parse.c: New file.
3141         * gengtype-yacc.y: Delete.
3142         * gengtype-lex.l: Don't include gengtype-yacc.h.
3143         Define YY_DECL and yyterminate appropriately for recursive
3144         descent parser.  yylval is now a string out-parameter to yylex.
3145         (HWS, EOID): New shorthand.
3146         (IWORD): Add a couple more types.
3147         (yylex): Add a setup stanza.  Remove the complex rules for
3148         detecting GTY'ed types and typedefs; replace with simple
3149         keyword detectors.  Adjust everything for the changed
3150         definition of yylval.  Ignore all pp-directives, not just #define.
3151         (yyerror): Delete.
3152         (parse_file): Rename yybegin; do not call yyparse.
3153         (yyend): New.
3154         * gengtype.c (xasprintf): Export again.
3155         (this_file): New.  Use everywhere __FILE__ was being used.
3156         (get_lang_bitmap): Special case types defined in gengtype.c.
3157         (do_typedef, new_structure): Suppress definition of certain types.
3158         (new_structure): Improve diagnostics of duplicate definitions.
3159         Make sure location_s is associated with input.h.
3160         (nreverse_pairs, define_location_structures): New functions.
3161         (main): Improve tagging of kludge types.  Remove old kludges
3162         for input.h types; use define_location_structures.
3163         * gengtype.h: Update prototypes.  Define token codes here.
3164         * Makefile.in: Remove all references to gengtype-yacc.
3165         Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
3166         and gengtype.
3167         * bitmap.h (struct bitmap_head_def): Coalesce definitions,
3168         add GTY((skip)) to the field that's only conditionally there.
3169         * doc/install.texi: Document that Bison is no longer required
3170         unless building treelang.
3171
3172         * gengtype.c: Don't include gtyp-gen.h.
3173         (srcdir): Declare here.
3174         (base_files, lang_dir_names): Allocate dynamically.
3175         (gt_files, num_gt_files, num_lang_dirs): New globals.
3176         (measure_input_list, read_input_line, read_input_list)
3177         (set_lang_bitmap): New functions.
3178         (get_base_file_bitmap): Rename get_lang_bitmap and drastically
3179         simplify, relying on read_input_list to set up the bitmaps.
3180         (main): Arguments are no longer unused.  Check for correct number
3181         of command line arguments, set srcdir and srcdir_len, then call
3182         read_input_list, before doing anything else.  No need to worry
3183         about duplicates in main loop.
3184         * configure.ac: Simplify the calculation of all_gtfiles.
3185         Put language tags in there.  Don't set or substitute
3186         all_gtfiles_files_langs or all_gtfiles_files_frags.
3187         * Makefile.in: Revamp the way gengtype is invoked, now that it
3188         takes a file on its command line with a much simpler format.
3189         Remove or replace with gtyp-input.list all references to gtyp-gen.h.
3190         (GTFILES): Remove duplicates and C source files.
3191         * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
3192         * objcp/config-lang.in: Add c-pragma.h to gtfiles.
3193         * configure: Regenerate.
3194
3195         * gengtype.h: Remove all type definitions to gengtype.c; leave
3196         only definitions of options_p, type_p, and pair_p as opaque
3197         pointers.  Update prototypes.
3198         * gengtype.c: Many type definitions moved here from gengtype.h.
3199         Consolidate type definitions at the top of the file.
3200         (xvasprintf): Delete.
3201         (xasprintf): Make static.
3202         (create_nested_pointer_option): Add 'next' parameter.
3203         (create_field_all, create_field_at): New functions.
3204         (create_field): Now a thin wrapper around create_field_all.
3205         (create_optional_field): Rename create_optional_field_ and add
3206         line argument.  Original name is now a macro which supplies
3207         __LINE__.
3208         (oprintf): Use vsnprintf directly.
3209         (close_output_files): Use fatal rather than perror/exit.
3210         (note_def_vec, note_def_vec_alloc): Use create_field_at.
3211         (main): Set progname.  Don't use exit.
3212         * gengtype-yacc.y (struct_fields): Use create_field_at.
3213         (option, optionseqopt): Delete.
3214         (optionseq): Consolidate productions from option here so we
3215         can use the first argument to create_option.
3216
3217         * gengtype-lex.l: Distinguish unions from structures in the
3218         token type.  Don't call find_structure; return the tag as a string.
3219         * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
3220         Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
3221         Reorganize typedef_struct production accordingly.
3222         Use create_nested_ptr_option.
3223         * gengtype.c (create_nested_ptr_option): New function.
3224         * gengtype.h: Declare it.
3225
3226         * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
3227         (string_type): Don't declare.
3228         (do_scalar_typedef): Declare.
3229         (create_scalar_type): Update prototype.
3230         * gengtype.c (string_type): Make static.
3231         (scalar_nonchar, scalar_char): New.
3232         (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
3233         (resolve_typedef): Use scalar_nonchar for error recovery.
3234         (create_scalar_type): Remove name_len field.  Return scalar_char
3235         or scalar_nonchar as appropriate.
3236         (adjust_field_type): Look at scalar_is_char boolean to decide whether
3237         to use string_type.
3238         (throughout): Use scalar_nonchar instead of calling create_scalar_type,
3239         whenever possible.
3240         (main): Initialize scalar_char and scalar_nonchar before calling
3241         gen_rtx_next.
3242         * gengtype-lex.l: Adjust for removal of second argument to
3243         create_scalar_type.  Use yylval.s instead of yylval.t when
3244         returning SCALAR.
3245         * gengtype-yacc.y: Type of SCALAR is string.  Call
3246         create_scalar_type from type:SCALAR rule.  Adjust for removal of
3247         second argument to create_scalar_type.
3248
3249         * vec.h: Remove all #if IN_GENGTYPE blocks.
3250         Add comment saying that changes may require adjustments to gengtype.
3251         * gengtype.c: Don't include coretypes.h or tm.h.
3252         Add comment to inclusion of errors.h.
3253         (note_def_vec, note_def_vec_alloc): New functions.
3254         * gengtype.h: Declare new functions.
3255         * gengtype-lex.l: Don't include coretypes.h.
3256         (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
3257         Delete.
3258         (update_lineno): Remove unnecessary prototype.
3259         (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
3260         (VEC rule): Just return VEC_TOKEN.
3261         * gengtype-yacc.y (VEC_TOKEN): New token type.
3262         (type): Add a production for VEC(a,b).
3263         * Makefile.in: Update dependencies.
3264
3265         * gengtype-lex.l: Remove rules for parsing pointer-to-function
3266         typedefs that use the old PARAMS macro.
3267
3268         * gengtype-lex.l: Remove all rules and states relating to yacc
3269         input files.
3270         * gengtype-yacc.y: Similarly.
3271         * gengtype.c (note_yacc_type): Delete function.
3272         * gengtype.h: Update prototypes.
3273
3274 2007-03-26  Joseph Myers  <joseph@codesourcery.com>
3275
3276         * tree-pretty-print.c (dump_generic_node): Report precision of
3277         unnamed integer types.
3278
3279 2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>
3280
3281         * ifcvt.c (noce_try_store_flag_constants): Don't check
3282         no_new_pseudos here.
3283         (noce_try_store_flag_constants): Don't check no_new_pseudos.
3284         (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
3285         noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
3286         noce_try_sign_mask): Likewise.
3287         (if_convert): Check no_new_pseudos here.
3288
3289         (cond_exec_process_if_block, noce_process_if_block, find_if_block):
3290         Remove prototypes.
3291         (struct noce_if_info): Add then_bb, else_bb, join_bb members.
3292         (noce_get_condition): Handle new then_else_reversed argument.
3293         (noce_init_if_info): Remove, fold into noce_find_if_block.
3294         (noce_process_if_block): Take a struct noce_if_info as the
3295         argument.  Don't set up one based on ce_if_info.  Update pointer
3296         references accordingly.
3297         (cond_move_process_if_block): Likewise.
3298         (process_if_block): Removed.
3299         (find_if_block): Removed.  Move functionality two new functions,
3300         noce_find_if_block and cond_exec_find_if_block.
3301         (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
3302         blocks and the symmetric IF-ELSE-JOIN case.
3303         (cond_exec_find_if_block): Also new function mostly based on old
3304         find_if_block and process_if_block.
3305         (find_if_header): Replace find_if_block call with separately
3306         guarded calls to noce_find_if_block and cond_exec_find_if_block.
3307         (find_cond_trap): Update noce_get_condition call.
3308         (dead_or_predicable): Likewise.
3309
3310 2007-03-26  Jakub Jelinek  <jakub@redhat.com>
3311
3312         * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
3313         Remove.
3314         (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
3315         IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
3316         IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
3317         (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
3318         v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
3319         __builtin_ia32_pslld128, __builtin_ia32_psllq128,
3320         __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
3321         __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
3322         __builtin_ia32_psrad128 builtins.
3323
3324 2007-03-26  Uros Bizjak  <ubizjak@gmail.com>
3325
3326         * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
3327         * config/i386/constraints.md
3328         (define_constraint "I"): Use IN_RANGE macro.
3329         (define_constraint "J"): Ditto.
3330         (define_constraint "K"): Ditto.
3331         (define_constraint "M"): Ditto.
3332         (define_constraint "N"): Ditto.
3333         (define_constraint "O"): Ditto.
3334         * config/i386/predicates.md
3335         (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
3336         (define_predicate "const_0_to_3_operand"): Ditto.
3337         (define_predicate "const_0_to_7_operand"): Ditto.
3338         (define_predicate "const_0_to_15_operand"): Ditto.
3339         (define_predicate "const_0_to_63_operand"): Ditto.
3340         (define_predicate "const_0_to_255_operand"): Ditto.
3341         (define_predicate "const_1_to_31_operand"): Ditto.
3342         (define_predicate "const_2_to_3_operand"): Ditto.
3343         (define_predicate "const_4_to_7_operand"): Ditto.
3344
3345 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
3346
3347         * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
3348         in SImode for save_world.
3349         * config/rs6000/altivec.md (save_world, restore_world): Convert to
3350         LR hard reg.
3351
3352 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
3353
3354         PR tree-optimization/30784
3355         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
3356         BIT_FIELD_REF.
3357
3358 2007-03-25  Revital Eres  <eres@il.ibm.com>
3359
3360         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
3361           Fold movement_possibility function into it.
3362
3363 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
3364
3365         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
3366         (load_macho_picbase_{si,di}): Convert to LR hard reg.
3367         (call_indirect_nonlocal_darwin64): Same.
3368         (call_nonlocal_darwin64): Same.
3369         (call_value_indirect_nonlocal_darwin64): Same.
3370         (call_value_nonlocal_darwin64): Same.
3371         (sibcall_nonlocal_darwin64): Same.
3372         (sibcall_value_nonlocal_darwin64): Same.
3373         (sibcall_symbolic_64): Same.
3374         (sibcall_value_symbolic_64): Same.
3375         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
3376         LR pseudo.
3377         (rs6000_emit_load_toc_table): Same.
3378         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
3379         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
3380         (mull_call): Same.
3381         (divss_call): Same.
3382         (divus_call): Same.
3383         (quoss_call): Same.
3384         (quous_call): Same.
3385         (load_toc_v4_pic_si): Same
3386         (load_toc_v4_PIC_1): Same.
3387         (load_toc_v4_PIC_1b): Same.
3388         (call_indirect_aix{32,64}): Same.
3389         (call_value_indirect_aix{32,64}): Same.
3390         (call): Same.
3391         (call_value): Same.
3392         (call_local{32,64}): Same.
3393         (call_value_local{32,64}): Same.
3394         (call_indirect_nonlocal_aix{32,64}): Same.
3395         (call_nonlocal_aix{32,64}): Same.
3396         (call_value_indirect_nonlocal_aix{32,64}): Same.
3397         (call_value_nonlocal_aix{32,64}): Same.
3398         (call_indirect_nonlocal_sysv<mode>): Same.
3399         (call_nonlocal_sysv<mode>): Same.
3400         (call_value_indirect_nonlocal_sysv<mode>): Same.
3401         (call_value_nonlocal_sysv<mode>): Same.
3402         (sibcall): Same.
3403         (sibcall_local{32,64}): Same.
3404         (sibcall_value_local{32,64}): Same.
3405         (sibcall_nonlocal_aix{32,64}): Same.
3406         (sibcall_value_nonlocal_aix{32,64}): Same.
3407         (sibcall_nonlocal_sysv<mode>): Same.
3408         (sibcall_value): Same.
3409         (sibcall_value_nonlocal_sysv<mode>): Same.
3410
3411 2007-03-24  Paul Brook  <paul@codesourcery.com>
3412
3413         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
3414         * config/arm/linux-eabi.h: Remove legacy syscall hack.
3415