OSDN Git Service

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