OSDN Git Service

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