OSDN Git Service

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