OSDN Git Service

5054bdc601aefffd1f4179856df8848db037ed87
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-04-08  Richard Guenther  <rguenther@suse.de>
2
3         * tree-ssa-sccvn.c (valueize_refs): Do not continue to
4         valueize random data.
5
6 2009-04-08  David Edelsohn  <edelsohn@gnu.org>
7
8         * config.gcc (aix tm_file):  Add aix-stdint.h.
9         (aix tm clause use_gcc_stdint):  Set to wrap.
10         * config/rs6000/aix-stdint.h:  New file.
11         
12 2009-04-08  Richard Guenther  <rguenther@suse.de>
13
14         PR middle-end/36291
15         * tree-dfa.c (add_referenced_var): Do not recurse into
16         global initializers.
17         * tree-ssa-ccp.c (get_symbol_constant_value): Add newly
18         exposed variables.
19         (fold_const_aggregate_ref): Likewise.
20
21 2009-04-08  Paolo Bonzini  <bonzini@gnu.org>
22
23         * recog.c (ordered_comparison_operator): New.
24         * gensupport.c (std_preds): Add it.
25         * doc/md.texi (Machine-Independent Predicates): Document it.
26
27 2009-04-08  Jan Hubicka  <jh@suse.cz>
28
29         * tree-eh.c (cleanup_eh): When not optimizing, do not try EH merging.
30         * function.h (rtl_eh): Remove exception_handler_label_map.
31         * except.c (ehl_hash, ehl_eq, add_ehl_entry,
32         remove_exception_handler_label, for_each_eh_label_1): Remove.
33         (rtl_remove_unreachable_regions): Remove.
34         (convert_from_eh_region_ranges): Do not remove unreachable regions.
35         (find_exception_handler_labels): Don't build the hashtable.
36         (maybe_remove_eh_handler): Remove.
37         (for_each_eh_label): Rewrite to walk the tree.
38         (rest_of_handle_eh): Do not cleanup cfg prior EH construction.
39         * except.h (maybe_remove_eh_handler): Remove.
40         * passes.c (init_optimization_passes): Schedule second EH cleanup
41         before out-of-ssa.
42         * cfgrtl.c (rtl_delete_block, rtl_merge_blocks,
43         cfg_layout_merge_blocks): Do not call maybe_remove_eh_handler.
44
45 2009-04-08  Paolo Bonzini  <bonzini@gnu.org>
46
47         * genoutput.c (validate_optab_operands): New.
48         (gen_insn, gen_expand): Call it.
49
50         * genflags.c (gen_insn): Detect misused iterators.
51         (main): Pass line_no to gen_insn, exit with status 1 on error.
52
53         * genextract.c (line_no): Make global.
54         (VEC_safe_set_locstr): Change assertion to error message.
55         (main): Exit with status 1 on error.
56
57 2009-04-08  Joseph Myers  <joseph@codesourcery.com>
58
59         PR c/39614
60         PR c/39673
61         * c-common.h (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
62         C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
63         EXPR_INT_CONST_OPERANDS): Remove duplicate definitions.
64         * c-convert.c (convert): Do not call fold on results of conversion
65         functions when the result is a C_MAYBE_CONST_EXPR.
66         * c-parser.c (c_parser_postfix_expression): Do not fold condition
67         of __builtin_choose_expr.
68         * c-typeck.c (remove_c_maybe_const_expr): New.
69         (build_unary_op, build_conditional_expr, build_compound_expr,
70         build_binary_op, c_objc_common_truthvalue_conversion): Call
71         remove_c_maybe_const_expr on any input C_MAYBE_CONST_EXPR with
72         integer operands.
73
74 2009-04-08 Bingfeng Mei <bmei@broadcom.com>
75
76         * fold-const.c (const_binop): Combine two VECTOR_CST under operation 
77         CODE to produce a new one. Add a prototype to use fold_convert_const
78
79 2009-04-08  Danny Smith  <dannysmith@users.sourceforge.net>
80
81         PR bootstrap/39660
82         * config/i386/host-mingw32.c (mingw32_gt_pch_use_address): Don't
83         mix declarations and code.
84
85 2009-04-08  Ben Elliston  <bje@au.ibm.com>
86
87         * gcc.c: Replace `CC' with `GCC' throughout.
88
89 2009-04-07  H.J. Lu  <hongjiu.lu@intel.com>
90
91         * doc/invoke.texi: Document Atom support.
92
93 2009-04-07  Jason Merrill  <jason@redhat.com>
94
95         PR c++/25185
96         * c-common.h, c-common.c: Add flag_pretty_templates.
97         * c-opts.c (c_common_handle_option): Set it.
98         * c.opt: Add -fno-pretty-templates.
99         * doc/invoke.texi (C++ Dialect Options): Likewise.
100
101 2009-04-07  Uros Bizjak  <ubizjak@gmail.com>
102
103         * config/ia64/ia64.c (ia64_builtins): Add IA64_BUILTIN_HUGE_VALQ.
104         (ia64_init_builtins): Handle IA64_BUILTIN_HUGE_VALQ.
105         (ia64_expand_builtin): Likewise.
106
107 2009-04-07  Martin Jambor  <mjambor@suse.cz>
108
109         * tree-ssa-alias.c (refs_may_alias_p_1): Check for
110         is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
111         ADDR_EXPRS are include too.
112
113 2009-04-07  Richard Guenther  <rguenther@suse.de>
114
115         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased
116         decls are only used if passes as parameters or if they are
117         local statics and the call is not to a builtin.
118         (call_may_clobber_ref_p_1): Likewise.
119
120 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
121
122         * expr.c (do_store_flag): Remove last argument.  Simplify code
123         to avoid duplication of tests already done by can_compare_p.
124         (expand_expr_real_1): Adjust caller.
125
126 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
127
128         * optabs.c (can_compare_p): Test the predicate of a
129         cbranch and cstore pattern.
130
131 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
132
133         * expr.c (convert_move): Use emit_store_flag instead of
134         "emulating" it.
135
136 2009-04-07  Paolo Bonzini  <bonzini@gnu.org>
137
138         * config/i386/i386.c (ix86_compare_emitted): Remove.
139         (ix86_expand_compare, ix86_expand_branch): Handle MODE_CC
140         ix86_compare_op0 like ix86_compare_emitted used to be handled.
141         * config/i386/i386.h (ix86_compare_emitted): Remove.
142         * config/i386/i386.md (stack_protect_test): Set ix86_compare_op0
143         instead of ix86_compare_emitted.
144         * config/i386/sync.md (sync_compare_and_swap_cc): Likewise.
145
146 2009-04-07  Andrew Stubbs  <ams@codesourcery.com>
147
148         * config.gcc (sh-*-*): Add sysroot-suffix.h to tm_file.
149         Add t-sysroot-suffix to tmake_file.
150         * config/print-sysroot-suffix.sh: New file.
151         * config/t-sysroot-suffix: New file.
152
153 2009-04-07  Ben Elliston  <bje@au.ibm.com>
154
155         * libgcc2.c (INFINITY): Use __builtin_huge_val, not __builtin_inf,
156         as the latter produces a warning when the target does not support
157         infinity.
158
159 2009-04-07  Ben Elliston  <bje@au.ibm.com>
160
161         * dfp.c: Replace type punning assignments with memcpy throughout.
162         * Makefile.in (dfp.o-warn): Remove.
163         
164 2009-04-07  Alan Modra  <amodra@bigpond.net.au>
165
166         PR target/39634
167         * config.gcc: Merge powerpc-*-linux* and powerpc64-*-linux*.
168         Include soft-fp/t-softfp after rs6000/t-linux64.
169
170 2009-04-06  Eric Botcazou  <ebotcazou@adacore.com>
171
172         * stor-layout.c (set_sizetype): Use the full precision of their
173         machine mode for bitsize types.
174
175 2009-04-06  H.J. Lu  <hongjiu.lu@intel.com>
176
177         * config/i386/i386.md: Revert 2 accidental checkins.
178
179 2009-04-06  Joey Ye  <joey.ye@intel.com>
180             Xuepeng Guo <xuepeng.guo@intel.com>
181             H.J. Lu  <hongjiu.lu@intel.com>
182
183         Atom pipeline model, tuning and insn selection.
184         * config.gcc (atom): Add atom config options and target.
185
186         * config/i386/atom.md: New.
187
188         * config/i386/i386.c (atom_cost): New cost.
189         (m_ATOM): New macro flag.
190         (initial_ix86_tune_features): Set m_ATOM.
191         (x86_accumulate_outgoing_args): Likewise.
192         (x86_arch_always_fancy_math_387): Likewise.
193         (processor_target): Add Atom cost.
194         (cpu_names): Add Atom cpu name.
195         (override_options): Set Atom ISA.
196         (ix86_issue_rate): New case PROCESSOR_ATOM.
197         (ix86_adjust_cost): Likewise.
198
199         * config/i386/i386.h (TARGET_ATOM): New target macro.
200         (ix86_tune_indices): Add X86_TUNE_OPT_AGU.
201         (TARGET_OPT_AGU): New target option.
202         (target_cpu_default): Add TARGET_CPU_DEFAULT_atom.
203         (processor_type): Add PROCESSOR_ATOM.
204
205         * config/i386/i386.md (cpu): Add new value "atom".
206         (use_carry, movu): New attr.
207         (atom.md): Include atom.md.
208         (adddi3_carry_rex64): Set attr "use_carry".
209         (addqi3_carry): Likewise.
210         (addhi3_carry): Likewise.
211         (addsi3_carry): Likewise.
212         (*addsi3_carry_zext): Likewise.
213         (subdi3_carry_rex64): Likewise.
214         (subqi3_carry): Likewise.
215         (subhi3_carry): Likewise.
216         (subsi3_carry): Likewise.
217         (x86_movdicc_0_m1_rex64): Likewise.
218         (*x86_movdicc_0_m1_se): Likewise.
219         (x86_movsicc_0_m1): Likewise.
220         (*x86_movsicc_0_m1_se): Likewise.
221         (*adddi_1_rex64): Emit add insn as much as possible.
222         (*addsi_1): Likewise.
223         (return_internal): Set atom_unit.
224         (return_internal_long): Likewise.
225         (return_pop_internal): Likewise.
226         (*rcpsf2_sse): Set atom_sse_attr attr.
227         (*qrt<mode>2_sse): Likewise.
228         (*prefetch_sse): Likewise.
229
230         * config/i386/i386-c.c (ix86_target_macros_internal): New case
231         PROCESSOR_ATOM.
232         (ix86_target_macros_internal): Likewise.
233
234         * config/i386/sse.md (cpu): Set attr "atom_sse_attr".
235         (*prefetch_sse_rex): Likewise.
236         (sse_rcpv4sf2): Likewise.
237         (sse_vmrcpv4sf2): Likewise.
238         (sse_sqrtv4sf2): Likewise.
239         (<sse>_vmsqrt<mode>2): Likewise.
240         (sse_ldmxcsr): Likewise.
241         (sse_stmxcsr): Likewise.
242         (*sse_sfence): Likewise.
243         (sse2_clflush): Likewise.
244         (*sse2_mfence): Likewise.
245         (*sse2_lfence): Likewise.
246         (avx_movup<avxmodesuffixf2c><avxmodesuffix>): Set attr "movu".
247         (<sse>_movup<ssemodesuffixf2c>): Likewise.
248         (avx_movdqu<avxmodesuffix>): Likewise.
249         (avx_lddqu<avxmodesuffix>): Likewise.
250         (sse2_movntv2di): Change attr "type" to "ssemov".
251         (sse2_movntsi): Likewise.
252         (rsqrtv8sf2): Change attr "type" to "sseadd".
253         (sse3_addsubv2df3): Set attr "atom_unit".
254         (sse3_h<plusminus_insn>v4sf3): Likewise.
255         (*sse2_pmaddwd): Likewise.
256         (*vec_extractv2di_1_rex64): Likewise.
257         (*vec_extractv2di_1_avx): Likewise.
258         (sse2_psadbw): Likewise.
259         (ssse3_phaddwv8hi3): Likewise.
260         (ssse3_phaddwv4hi3): Likewise.
261         (ssse3_phadddv4si3): Likewise.
262         (ssse3_phadddv2si3): Likewise.
263         (ssse3_phaddswv8hi3): Likewise.
264         (ssse3_phaddswv4hi3): Likewise.
265         (ssse3_phsubwv8hi3): Likewise.
266         (ssse3_phsubwv4hi3): Likewise.
267         (ssse3_phsubdv4si3): Likewise.
268         (ssse3_phsubdv2si3): Likewise.
269         (ssse3_phsubswv8hi3): Likewise.
270         (ssse3_phsubswv4hi3): Likewise.
271         (ssse3_pmaddubsw128): Likewise.
272         (sse3_pmaddubsw: Likewise.
273         (ssse3_palignrti): Likewise.
274         (ssse3_palignrdi): Likewise.
275
276 2009-04-06  Gerald Pfeifer  <gerald@pfeifer.com>
277
278         * doc/install.texi (Specific): Fix two cross-references to MinGW.
279
280 2009-04-06  Richard Guenther  <rguenther@suse.de>
281
282         PR tree-optimization/28868
283         * tree-ssa-pre.c (inserted_phi_names): New bitmap to keep track
284         of which PHI results we inserted.
285         (insert_into_preds_of_block): Record inserted PHIs.
286         (eliminate): Eliminate redundant PHI nodes.
287         (init_pre): Init inserted_phi_names.
288
289 2009-04-06  Richard Guenther  <rguenther@suse.de>
290
291         PR tree-optimization/39643
292         * tree-ssa-ccp.c (ccp_fold): Fold REALPART_EXPRs and
293         IMAGPART_EXPRs of complex constants.
294         (execute_fold_all_builtins): If we folded a call queue
295         TODO_update_address_taken.
296
297 2009-04-06  Jan Hubicka  <jh@suse.cz>
298
299         PR middle-end/39659
300         * except.c (remove_unreachable_regions): Propagate may_contain_throw
301         flag.
302
303 2009-04-06  Andrew Stubbs  <ams@codesourcery.com>
304
305         * config/sh/lib1funcs.asm (ic_invalidate): Move ICBI out of the
306         delay slot.
307         (ic_invalidate_array): Likewise.
308
309 2009-04-06  Hariharan Sandanagobalane <hariharan@picochip.com>
310
311         * calls.c (emit_library_call_value_1): Fix a problem with parameter
312         alignment for library calls.
313
314 2009-04-06  Danny Smith  <dannysmith@users.sourceforge.net>
315
316         * config.gcc (mingw32 tm_file):  Add mingw-stdint.h.
317         (mingw32 tm clause use_gcc_stdint):  Set to wrap.
318         * config/i386/mingw-stdint.h:  New file.
319
320 2009-04-05  Richard Guenther  <rguenther@suse.de>
321
322         PR tree-optimization/39648
323         * tree-ssa-sccvn.c (vn_reference_fold_indirect): Work around
324         our &A vs. &A[0] IL deficiencies.
325
326 2009-04-04  Jan Hubicka  <jh@suse.cz>
327
328         * except.c (sjlj_find_directly_reachable_regions): Be ready for
329         removed toplevel regions.
330         (sjlj_mark_call_sites): Likewise.
331
332 2009-04-04  Dave Korn  <dave.korn.cygwin@gmail.com>
333
334         * config.gcc (cygwin tm_file):  Add cygwin-stdint.h.
335         (cygwin tm clause use_gcc_stdint):  Set to wrap.
336         * config/i386/cygwin-stdint.h:  New file.
337
338 2009-04-04  Richard Guenther  <rguenther@suse.de>
339
340         * Makefile.in (tree-ssa-copy.o): Add $(CFGLOOP_H) dependency.
341         * tree-ssa-copy.c (init_copy_prop): Do not propagate through
342         single-argument PHIs if we are in loop-closed SSA form.
343         * tree-vect-loop-manip.c (slpeel_add_loop_guard): Pass extra guards
344         for the pre-condition.
345         (slpeel_tree_peel_loop_to_edge): Likewise.
346         (vect_build_loop_niters): Take an optional sequence to append stmts.
347         (vect_generate_tmps_on_preheader): Likewise.
348         (vect_do_peeling_for_loop_bound): Take extra guards for the
349         pre-condition.
350         (vect_do_peeling_for_alignment): Adjust.  Unconditionally apply
351         the cost model check.
352         (vect_loop_versioning): Take stmt and stmt list to put pre-condition
353         guards if we are going to peel.  Do not apply versioning in that
354         case.
355         * tree-vectorizer.h (vect_loop_versioning): Adjust declaration.
356         (vect_do_peeling_for_loop_bound): Likewise.
357         * tree-vect-loop.c (vect_transform_loop): If we are peeling for
358         loop bound only record extra pre-conditions, do not apply loop
359         versioning.
360
361 2009-04-04  Richard Guenther  <rguenther@suse.de>
362
363         * tree-ssa-operands.c (pop_stmt_changes): Remove automatic
364         renaming code.
365
366 2009-04-04  Jan Hubicka  <jh@suse.cz>
367
368         * tree-ssa-uncprop.c (associate_equivalences_with_edges): Use
369         last_basic_block for size of bb->index indexed array.
370         * bt-load.c (compute_defs_uses_and_gen, compute_kill,
371         compute_out, link_btr_uses, build_btr_def_use_webs,
372         build_btr_def_use_webs, migrate_btr_defs): Likewise.
373
374 2009-04-04  Jan Hubicka  <jh@suse.cz>
375
376         * except.c (remove_eh_handler_and_replace): Break out from ...
377         (remove_eh_handler): ... here.
378         (bring_to_root): New function.
379         (remove_unreachable_regions): Collect MUST_NOT_THROW, unify runtime
380         handled ones, bring others to root of tree.
381
382 2009-04-04  Jan Hubicka  <jh@suse.cz>
383
384         * tree-eh.c (tree_empty_eh_handler_p): Pattern match more curefully.
385         (all_phis_safe_to_merge): New function.
386         (update_info): New structure.
387         (make_eh_edge_and_update_phi, update_eh_edges): New functions.
388         (cleanup_empty_eh): Update SSA if possible.
389
390 2009-04-04  Richard Guenther  <rguenther@suse.de>
391
392         * tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
393         * tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0.
394         (append_vuse): Likewise.
395
396 2009-04-04  Jakub Jelinek  <jakub@redhat.com>
397
398         * unwind-dw2.h (_Unwind_FrameState): Add REG_UNDEFINED enum value.
399         * unwind-dw2.c (execute_cfa_program): Set how to REG_UNDEFINED
400         instead of REG_UNSAVED for DW_CFA_undefined.
401         (uw_update_context_1): Handle REG_UNDEFINED the same as REG_UNSAVED.
402         (uw_update_context): If RA column is REG_UNDEFINED, mark it as
403         outermost frame.
404
405 2009-04-04  Richard Earnshaw  <rearnsha@arm.com>
406
407         PR target/39501
408         * arm.md (movsfcc): Disable if not TARGET_HARD_FLOAT.
409         * testsuite/gcc.c-torture/execute/pr39501.c: New file.
410         * testsuite/gcc.c-torture/execute/pr39501.x: New file.
411
412 2009-04-04  Richard Guenther  <rguenther@suse.de>
413
414         PR tree-optimization/8781
415         PR tree-optimization/37892
416         * tree-ssa-sccvn.h (vn_reference_fold_indirect): Declare.
417         * tree-ssa-sccvn.c (vn_reference_fold_indirect): New function.
418         (valueize_refs): Call it for *& valueizations.
419         (shared_reference_ops_from_ref): Rename to ...
420         (valueize_shared_reference_ops_from_ref): ... this and valueize.
421         (shared_reference_ops_from_call): Rename to ...
422         (valueize_shared_reference_ops_from_call): ... this and valueize.
423         (vn_reference_lookup): Update.
424         (visit_reference_op_call): Likewise.
425         * tree-ssa-pre.c (phi_translate_1): Fold *&.
426         (eliminate): Value-replace the call address in call statements.
427
428 2009-04-04  Richard Guenther  <rguenther@suse.de>
429
430         PR tree-optimization/39636
431         * tree-ssa-forwprop.c
432         (forward_propagate_addr_into_variable_array_index): Check for
433         GIMPLE_ASSIGN before accessing the rhs code.
434
435 2009-04-03  Jason Merrill  <jason@redhat.com>
436
437         * stor-layout.c (set_sizetype): Set TYPE_CANONICAL.
438
439 2009-04-03  Steve Ellcey  <sje@cup.hp.com>
440
441         * config/ia64/ia64.md (extendsfdf2, extendsfxf2, extenddfxf2,
442         truncdfsf2, truncxfsf2, truncxfdf2, floatdixf2, fix_truncsfdi2,
443         fix_truncdfdi2, fix_truncxfdi2, fix_truncxfdi2_alts, floatunsdisf2,
444         floatunsdidf2, floatunsdixf2, fixuns_truncsfdi2, fixuns_truncdfdi2,
445         fixuns_truncxfdi2, fixuns_truncxfdi2_alts, divsi3_internal,
446         smuldi3_highpart, umuldi3_highpart, ctzdi2, *getf_exp_xf,
447         divdi3_internal_lat, divdi3_internal_thr, mulditi3, *mulditi3_internal,
448         umulditi3, *umulditi3_internal, addsf3, mulsf3, abssf2, negsf2,
449         *nabssf2, sminsf3, smaxsf3, *maddsf4, *msubsf4, *nmulsf3, *nmaddsf4,
450         *nmaddsf4_alts, divsf3, *sqrt_approx, sqrtsf2, sqrtsf2_internal_thr,
451         adddf3, *adddf3_trunc, muldf3, *muldf3_trunc, absdf2, negdf2, *nabsdf2,
452         smindf3, smaxdf3, *madddf4, *madddf4_trunc, *msubdf4, *msubdf4_trunc,
453         *nmuldf3, *nmuldf3_trunc, *nmadddf4, *nmadddf4_alts, *nmadddf4_truncsf,
454         *nmadddf4_truncsf_alts, divdf3, sqrtdf2, sqrtdf2_internal_thr, divxf3,
455         sqrtxf2, sqrtxf2_internal_thr, *recip_approx):
456         Use fr_reg_or_fp01_operand instead of fr_register_operand
457
458         * config/ia64/div.md (extend<mode>rf2, truncrf<mode>2,
459         recip_approx_rf, divsf3_internal_thr, divsf3_internal_lat,
460         divdf3_internal_thr, divdf3_internal_lat divxf3_internal): Ditto.
461
462 2009-04-03  Vladimir Makarov  <vmakarov@redhat.com>
463
464         PR rtl-optimization/39607
465         PR rtl-optimization/39631
466         Revert
467         2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
468         * reload.c (push_reload, find_dummy_reload): Use df_get_live_out
469         instead of DF_LR_OUT.
470         * ira-lives.c (process_bb_node_lives): Ditto.
471         * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
472         instead of DF_LR_{OUT,IN}.
473         * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
474         * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
475
476 2009-04-03  Steven Bosscher  <steven@gcc.gnu.org>
477
478         * omp-low.c (pass_expand_omp): Don't claim to provide PROP_gimple_lomp.
479         (execute_lower_omp): Always run but take the short way out if -fopenmp
480         is not given.
481         (gate_lower_omp): Remove, forcing the pass manager to always run the
482         pass and always set PROP_gimple_lomp.
483         (pass_lower_omp): Remove gate function.
484         * matrix-reorg.c (pass_ipa_matrix_reorg): Don't claim to provide
485         PROP_trees.  Instead, require it.
486         * ipa-cp.c (pass_ipa_cp): Likewise.
487         * ipa-inline.c (pass_early_inline): Don't claim to provide PROP_cfg.
488         (pass_ipa_early_inline, pass_inline_parameters, pass_ipa_inline): Idem.
489         * tree-profile.c (pass_tree_profile): Don't claim to provide PROP_cfg
490         and PROP_gimple_leh.
491
492 2009-04-03  Richard Guenther  <rguenther@suse.de>
493
494         PR middle-end/13146
495         PR tree-optimization/23940
496         PR tree-optimization/33237
497         PR middle-end/33974
498         PR middle-end/34093
499         PR tree-optimization/36201
500         PR tree-optimization/36230
501         PR tree-optimization/38049
502         PR tree-optimization/38207
503         PR tree-optimization/38230
504         PR tree-optimization/38301
505         PR tree-optimization/38585
506         PR middle-end/38895
507         PR tree-optimization/38985
508         PR tree-optimization/39299
509         * tree-ssa-structalias.h: Remove.
510         * tree-ssa-operands.h (NULL_USE_OPERAND_P): Make of type use_operand_p.
511         (NULL_DEF_OPERAND_P): Make of type def_operand_p.
512         (struct vuse_element_d): Remove.
513         (struct vuse_vec_d): Likewise.
514         (VUSE_VECT_NUM_ELEM, VUSE_VECT_ELEMENT_NC, VUSE_ELEMENT_PTR_NC,
515         VUSE_ELEMENT_VAR_NC, VUSE_VECT_ELEMENT, VUSE_ELEMENT_PTR,
516         SET_VUSE_VECT_ELEMENT, SET_VUSE_ELEMENT_VAR, SET_VUSE_ELEMENT_PTR,
517         VUSE_ELEMENT_VAR): Likewise.
518         (struct voptype_d): Likewise.
519         (NUM_VOP_FREE_BUCKETS): Likewise.
520         (struct ssa_operands): Remove vop_free_buckets and mpt_table fields.
521         (struct stmt_operands_d): Remove.
522         (VUSE_OP_PTR, VUSE_OP, SET_VUSE_OP, VUSE_NUM, VUSE_VECT,
523         VDEF_RESULT_PTR, VDEF_RESULT, VDEF_OP_PTR, VDEF_OP, SET_VDEF_OP,
524         VDEF_NUM, VDEF_VECT): Likewise.
525         (copy_virtual_operands): Remove.
526         (operand_build_cmp): Likewise.
527         (create_ssa_artificial_load_stmt): Likewise.
528         (enum ssa_op_iter_type): Remove ssa_op_iter_vdef.
529         (struct ssa_operand_iterator_d): Remove vuses, vdefs, mayusesm
530         vuse_index and mayuse_index members.  Pack and move done and iter_type
531         members to the front.
532         (SSA_OP_VMAYUSE): Remove.
533         (SSA_OP_VIRTUAL_USES): Adjust.
534         (FOR_EACH_SSA_VDEF_OPERAND): Remove.
535         (unlink_stmt_vdef): Declare.
536         (add_to_addressable_set): Remove.
537         * tree-vrp.c (stmt_interesting_for_vrp): Adjust.
538         (vrp_visit_stmt): Likewise.
539         * doc/tree-ssa.texi (Alias analysis): Update.
540         * doc/invoke.texi (max-aliased-vops): Remove docs.
541         (avg-aliased-vops): Likewise.
542         * tree-into-ssa.c (syms_to_rename): Remove.
543         (need_to_update_vops_p): Likewise.
544         (need_to_initialize_update_ssa_p): Rename to ...
545         (update_ssa_initialized_fn): ... this.  Track function we are
546         initialized for.
547         (symbol_marked_for_renaming): Simplify.
548         (add_new_name_mapping): Do not set need_to_update_vops_p.
549         (dump_currdefs): Use SYMS_TO_RENAME.
550         (rewrite_update_stmt): Always walk all uses/defs.
551         (dump_update_ssa): Adjust.
552         (init_update_ssa): Take function argument.  Track what we are
553         initialized for.
554         (delete_update_ssa): Reset SYMS_TO_RENAME and update_ssa_initialized_fn.
555         (create_new_def_for): Initialize for cfun, assert we are initialized
556         for cfun.
557         (mark_sym_for_renaming): Simplify.
558         (mark_set_for_renaming): Do not initialize update-ssa.
559         (need_ssa_update_p): Simplify.  Take function argument.
560         (name_mappings_registered_p): Assert we ask for the correct function.
561         (name_registered_for_update_p): Likewise.
562         (ssa_names_to_replace): Likewise.
563         (release_ssa_name_after_update_ssa): Likewise.
564         (update_ssa): Likewise.  Use SYMS_TO_RENAME.
565         (dump_decl_set): Do not print a newline.
566         (debug_decl_set): Do it here.
567         (dump_update_ssa): And here.
568         * tree-ssa-loop-im.c (move_computations): Adjust.
569         (movement_possibility): Likewise.
570         (determine_max_movement): Likewise.
571         (gather_mem_refs_stmt): Likewise.
572         * tree-dump.c (dequeue_and_dump): Do not handle SYMBOL_MEMORY_TAG
573         or NAME_MEMORY_TAG.
574         * tree-complex.c (update_all_vops): Remove.
575         (expand_complex_move): Adjust.
576         * tree-ssa-loop-niter.c (chain_of_csts_start): Use NULL_TREE.
577         Simplify test for memory referencing statement.  Exclude
578         non-invariant ADDR_EXPRs.
579         * tree-pretty-print.c (dump_generic_node): Do not handle memory tags.
580         * tree-loop-distribution.c (generate_memset_zero): Adjust.
581         (rdg_flag_uses): Likewise.
582         * tree-tailcall.c (suitable_for_tail_opt_p): Remove memory-tag
583         related code.
584         (tree_optimize_tail_calls_1): Also split the
585         edge from the entry block if we have degenerate PHI nodes in
586         the first basic block.
587         * tree.c (init_ttree): Remove memory-tag related code.
588         (tree_code_size): Likewise.
589         (tree_node_structure): Likewise.
590         (build7_stat): Re-write to be build6_stat.
591         * tree.h (MTAG_P, TREE_MEMORY_TAG_CHECK, TMR_TAG): Remove.
592         (SSA_VAR_P): Adjust.
593         (struct tree_memory_tag): Remove.
594         (struct tree_memory_partition_tag): Likewise.
595         (union tree_node): Adjust.
596         (build7): Re-write to be build6.
597         * tree-pass.h (pass_reset_cc_flags): Remove.
598         (TODO_update_address_taken): New flag.
599         (pass_simple_dse): Remove.
600         * ipa-cp.c (ipcp_update_callgraph): Update SSA form.
601         * params.h (MAX_ALIASED_VOPS): Remove.
602         (AVG_ALIASED_VOPS): Likewise.
603         * omp-low.c (expand_omp_taskreg): Update SSA form.
604         * tree-ssa-dse.c (dse_optimize_stmt): Properly query if the rhs
605         aliases the lhs in a copy stmt.
606         * tree-ssa-dse.c (struct address_walk_data): Remove.
607         (memory_ssa_name_same): Likewise.
608         (memory_address_same): Likewise.
609         (get_kill_of_stmt_lhs): Likewise.
610         (dse_possible_dead_store_p): Simplify, use the oracle.  Handle
611         unused stores.  Look through PHI nodes into post-dominated regions.
612         (dse_optimize_stmt): Simplify.  Properly remove stores.
613         (tree_ssa_dse): Compute dominators.
614         (execute_simple_dse): Remove.
615         (pass_simple_dse): Likewise.
616         * ipa-reference.c (scan_stmt_for_static_refs): Open-code
617         gimple_loaded_syms and gimple_stored_syms computation.
618         * toplev.c (dump_memory_report): Dump alias and pta stats.
619         * tree-ssa-sccvn.c (vn_reference_compute_hash): Simplify.
620         (vn_reference_eq): Likewise.
621         (vuses_to_vec, copy_vuses_from_stmt, vdefs_to_vec,
622         copy_vdefs_from_stmt, shared_lookup_vops, shared_vuses_from_stmt,
623         valueize_vuses): Remove.
624         (get_def_ref_stmt_vuses): Simplify.  Rename to ...
625         (get_def_ref_stmt_vuse): ... this.
626         (vn_reference_lookup_2): New function.
627         (vn_reference_lookup_pieces): Use walk_non_aliased_vuses for
628         walking equivalent vuses.  Simplify.
629         (vn_reference_lookup): Likewise.
630         (vn_reference_insert): Likewise.
631         (vn_reference_insert_pieces): Likewise.
632         (visit_reference_op_call): Simplify.
633         (visit_reference_op_load): Likewise.
634         (visit_reference_op_store): Likewise.
635         (init_scc_vn): Remove shared_lookup_vuses initialization.
636         (free_scc_vn): Remove shared_lookup_vuses freeing.
637         (sort_vuses, sort_vuses_heap): Remove.
638         (get_ref_from_reference_ops): Export.
639         * tree-ssa-sccvn.h (struct vn_reference_s): Replace vuses
640         vector with single vuse pointer.
641         (vn_reference_lookup_pieces, vn_reference_lookup,
642         vn_reference_insert, vn_reference_insert_pieces): Adjust prototypes.
643         (shared_vuses_from_stmt): Remove.
644         (get_ref_from_reference_ops): Declare.
645         * tree-ssa-loop-manip.c (slpeel_can_duplicate_loop_p): Adjust.
646         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Remove
647         memory-tag related code.
648         * tree-ssa-ccp.c (get_symbol_constant_value): Remove memory-tag code.
649         (likely_value): Add comment, skip static-chain of call statements.
650         (surely_varying_stmt_p): Adjust.
651         (gimplify_and_update_call_from_tree): Likewise.
652         (execute_fold_all_builtins): Do not rebuild alias info.
653         (gimplify_and_update_call_from_tree): Properly update VOPs.
654         * tree-ssa-loop-ivopts.c (get_ref_tag): Remove.
655         (copy_ref_info): Remove memory-tag related code.
656         * tree-call-cdce.c (tree_call_cdce): Rename the VOP.
657         * ipa-pure-const.c (check_decl): Remove memory-tag related code.
658         (check_stmt): Open-code gimple_loaded_syms and gimple_stored_syms
659         computation.
660         * tree-ssa-dom.c (gimple_p): Remove typedef.
661         (eliminate_redundant_computations): Adjust.
662         (record_equivalences_from_stmt): Likewise.
663         (avail_expr_hash): Likewise.
664         (avail_expr_eq): Likewise.
665         * tree-ssa-propagate.c (update_call_from_tree): Properly
666         update VOPs.
667         (stmt_makes_single_load): Likewise.
668         (stmt_makes_single_store): Likewise.
669         * tree-ssa-alias.c: Rewrite completely.
670         (debug_memory_partitions, dump_mem_ref_stats, debug_mem_ref_stats,
671         debug_mem_sym_stats, dump_mem_sym_stats_for_var,
672         debug_all_mem_sym_stats, debug_mp_info, update_mem_sym_stats_from_stmt,
673         delete_mem_ref_stats, create_tag_raw, dump_points_to_info,
674         dump_may_aliases_for, debug_may_aliases_for, new_type_alias):
675         Remove public functions.
676         (pass_reset_cc_flags): Remove.
677         (pass_build_alias): Move ...
678         * tree-ssa-structalias.c (pass_build_alias): ... here.
679         * tree-ssa-alias.c (may_be_aliased): Move ...
680         * tree-flow-inline.h (may_be_aliased): ... here.
681         tree-ssa-alias.c (struct count_ptr_d, count_ptr_derefs,
682         count_uses_and_derefs): Move ...
683         * gimple.c: ... here.
684         * gimple.h (count_uses_and_derefs): Declare.
685         * tree-ssa-alias.c (dump_alias_stats, ptr_deref_may_alias_global_p,
686         ptr_deref_may_alias_decl_p, ptr_derefs_may_alias_p,
687         same_type_for_tbaa, nonaliasing_component_refs_p, decl_refs_may_alias_p,
688         indirect_ref_may_alias_decl_p, indirect_refs_may_alias_p,
689         ref_maybe_used_by_call_p, ref_maybe_used_by_stmt_p,
690         call_may_clobber_ref_p, stmt_may_clobber_ref_p, maybe_skip_until,
691         get_continuation_for_phi, walk_non_aliased_vuses, walk_aliased_vdefs):
692         New functions.
693         * tree-dfa.c (refs_may_alias_p): Move ...
694         * tree-ssa-alias.c (refs_may_alias_p): ... here.  Extend.
695         * tree-ssa-alias.h: New file.
696         * tree-ssa-sink.c (is_hidden_global_store): Adjust.
697         (statement_sink_location): Likewise.
698         * opts.c (decode_options): Do not adjust max-aliased-vops or
699         avg-aliased-vops values.
700         * timevar.def (TV_TREE_MAY_ALIAS): Remove.
701         (TV_CALL_CLOBBER): Likewise.
702         (TV_FLOW_SENSITIVE): Likewise.
703         (TV_FLOW_INSENSITIVE): Likewise.
704         (TV_MEMORY_PARTITIONING): Likewise.
705         (TV_ALIAS_STMT_WALK): New timevar.
706         * tree-ssa-loop-ivcanon.c (empty_loop_p): Adjust.
707         * tree-ssa-address.c (create_mem_ref_raw): Use build6.
708         (get_address_description): Remove memory-tag related code.
709         * tree-ssa-ifcombine.c (bb_no_side_effects_p): Adjust.
710         * treestruct.def (TS_MEMORY_TAG, TS_MEMORY_PARTITION_TAG): Remove.
711         * tree-eh.c (cleanup_empty_eh): Do not leave stale SSA_NAMEs
712         and immediate uses in statements.  Document.
713         * gimple-pretty-print.c (dump_gimple_mem_ops): Adjust.
714         (dump_symbols): Remove.
715         (dump_gimple_mem_ops): Do not dump loaded or stored syms.
716         * alias.c (get_deref_alias_set): New function split out from ...
717         (get_alias_set): ... here.
718         * alias.h (get_deref_alias_set): Declare.
719         * tree-vect-data-refs.c (vect_create_data_ref_ptr): Remove unused
720         type parameter.  Remove restrict pointer handling.  Create a
721         ref-all pointer in case type-based alias sets do not conflict.
722         (vect_analyze_data_refs): Remove SMT related code.
723         * tree-vect-stmts.c (vectorizable_store): Re-instantiate TBAA assert.
724         (vectorizable_load): Likewise.
725         * tree-data-ref.h (struct dr_alias): Remove symbol_tag field.
726         (DR_SYMBOL_TAG, DR_VOPS): Remove.
727         * tree-data-ref.c (dr_may_alias_p): Use the alias-oracle.
728         Ignore vops and SMTs.
729         (dr_analyze_alias): Likewise..
730         (free_data_ref): Likewise.
731         (create_data_ref): Likewise.
732         (analyze_all_data_dependences): Likewise.
733         (get_references_in_stmt): Adjust.
734         * tree-flow-inline.h (gimple_aliases_computed_p,
735         gimple_addressable_vars, gimple_call_clobbered_vars,
736         gimple_call_used_vars, gimple_global_var, may_aliases, memory_partition,
737         factoring_name_p, mark_call_clobbered, clear_call_clobbered,
738         compare_ssa_operands_equal, symbol_mem_tag, set_symbol_mem_tag,
739         gimple_mem_ref_stats): Remove.
740         (gimple_vop): New function.
741         (op_iter_next_use): Remove vuses and mayuses cases.
742         (op_iter_next_def): Remove vdefs case.
743         (op_iter_next_tree): Remove vuses, mayuses and vdefs cases.
744         (clear_and_done_ssa_iter): Do not set removed fields.
745         (op_iter_init): Likewise.  Skip vuse and/or vdef if requested.
746         Assert we are not iterating over vuses or vdefs if not also
747         iterating over uses or defs.
748         (op_iter_init_use): Likewise.
749         (op_iter_init_def): Likewise.
750         (op_iter_next_vdef): Remove.
751         (op_iter_next_mustdef): Likewise.
752         (op_iter_init_vdef): Likewise.
753         (compare_ssa_operands_equal): Likewise.
754         (link_use_stmts_after): Handle vuse operand.
755         (is_call_used): Use is_call_clobbered.
756         (is_call_clobbered): Global variables are always call clobbered,
757         query the call-clobbers bitmap.
758         (mark_call_clobbered): Ignore global variables.
759         (clear_call_clobbered): Likewise.
760         * tree-ssa-coalesce.c (create_outofssa_var_map): Adjust
761         virtual operands sanity check.
762         * tree.def (NAME_MEMORY_TAG, SYMBOL_MEMORY_TAG, MEMORY_PARTITION_TAG):
763         Remove.
764         (TARGET_MEM_REF): Remove TMR_TAG operand.
765         * tree-dfa.c (add_referenced_var): Initialize call-clobber state.
766         Remove call-clobber related code.
767         (remove_referenced_var): Likewise.  Do not clear mpt or symbol_mem_tag.
768         (dump_variable): Do not dump SMTs, memory stats, may-aliases or
769         partitions or escape reason.
770         (get_single_def_stmt, get_single_def_stmt_from_phi,
771         get_single_def_stmt_with_phi): Remove.
772         (dump_referenced_vars): Tidy.
773         (get_ref_base_and_extent): Allow bare decls.
774         (collect_dfa_stats): Adjust.
775         * graphite.c (rename_variables_in_stmt): Adjust.
776         (graphite_copy_stmts_from_block): Likewise.
777         (translate_clast): Likewise.
778         * tree-ssa-pre.c (struct bb_bitmap_sets): Add expr_dies bitmap.
779         (EXPR_DIES): New.
780         (translate_vuse_through_block): Use the oracle.
781         (phi_translate_1): Adjust.
782         (value_dies_in_block_x): Use the oracle.  Cache the outcome
783         in EXPR_DIES.
784         (valid_in_sets): Check if the VUSE for
785         a REFERENCE is available.
786         (eliminate): Do not remove stmts during elimination,
787         instead queue and remove them afterwards.
788         (do_pre): Do not rebuild alias info.
789         (pass_pre): Run TODO_rebuild_alias before PRE.
790         * tree-ssa-live.c (remove_unused_locals): Remove memory-tag code.
791         * tree-sra.c (sra_walk_function): Use gimple_references_memory_p.
792         (mark_all_v_defs_stmt): Remove.
793         (mark_all_v_defs_seq): Adjust.
794         (sra_replace): Likewise.
795         (scalarize_use): Likewise.
796         (scalarize_copy): Likewise.
797         (scalarize_init): Likewise.
798         (scalarize_ldst): Likewise.
799         (todoflags): Remove.
800         (tree_sra): Do not rebuild alias info.
801         (tree_sra_early): Adjust.
802         (pass_sra): Run TODO_update_address_taken before SRA.
803         * tree-predcom.c (set_alias_info): Remove.
804         (prepare_initializers_chain): Do not call it.
805         (mark_virtual_ops_for_renaming): Adjust.
806         (mark_virtual_ops_for_renaming_list): Remove.
807         (initialize_root_vars): Adjust.
808         (initialize_root_vars_lm): Likewise.
809         (prepare_initializers_chain): Likewise.
810         * tree-ssa-copy.c (may_propagate_copy): Remove memory-tag related code.
811         (may_propagate_copy_into_stmt): Likewise.
812         (merge_alias_info): Do nothing for now.
813         (propagate_tree_value_into_stmt): Adjust.
814         (stmt_may_generate_copy): Likewise.
815         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr): Do
816         not mark symbols for renaming.
817         (forward_propagate_addr_expr): Match up push/pop_stmt_changes
818         with the same statement, make sure to update the new pointed-to one.
819         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do not copy
820         call statements, do not mark symbols for renaming.
821         (mark_operand_necessary): Dump something.
822         (ref_may_be_aliased): New function.
823         (mark_aliased_reaching_defs_necessary_1): New helper function.
824         (mark_aliased_reaching_defs_necessary): Likewise.
825         (mark_all_reaching_defs_necessary_1): Likewise.
826         (mark_all_reaching_defs_necessary): Likewise.
827         (propagate_necessity): Do not process virtual PHIs.  For
828         non-aliased loads mark all reaching definitions as necessary.
829         For aliased loads and stores mark the immediate dominating
830         aliased clobbers as necessary.
831         (visited): New global static.
832         (perform_tree_ssa_dce): Free visited bitmap after propagating
833         necessity.
834         (remove_dead_phis): Perform simple dead virtual PHI removal.
835         (remove_dead_stmt): Properly unlink virtual operands when
836         removing stores.
837         (eliminate_unnecessary_stmts): Schedule PHI removal after
838         stmt removal.
839         * tree-ssa-ter.c (is_replaceable_p): Adjust.
840         (process_replaceable): Likewise.
841         (find_replaceable_in_bb): Likewise.
842         * tree-ssa.c (verify_ssa_name): Verify all VOPs are
843         based on the single gimple vop.
844         (verify_flow_insensitive_alias_info): Remove.
845         (verify_flow_sensitive_alias_info): Likewise.
846         (verify_call_clobbering): Likewise.
847         (verify_memory_partitions): Likewise.
848         (verify_alias_info): Likewise.
849         (verify_ssa): Adjust..
850         (execute_update_addresses_taken): Export.  Update SSA
851         manually.  Optimize only when optimizing.  Use a local bitmap.
852         (pass_update_address_taken): Remove TODO_update_ssa, add
853         TODO_dump_func.
854         (pass_update_address_taken): Just use TODO_update_address_taken.
855         (init_tree_ssa): Do not initialize addressable_vars.
856         (verify_ssa): Verify new VUSE / VDEF properties.
857         Verify that all stmts definitions have the stmt as SSA_NAME_DEF_STMT.
858         Do not call verify_alias_info.
859         (delete_tree_ssa): Clear the VUSE, VDEF operands.
860         Do not free the loaded and stored syms bitmaps.  Reset the escaped
861         and callused solutions.  Do not free addressable_vars.
862         Remove memory-tag related code.
863         (warn_uninitialized_var): Aliases are always available.
864         * tree-ssa-loop-prefetch.c (gather_memory_references): Adjust.
865         * lambda-code.c (can_put_in_inner_loop): Adjust.
866         (can_put_after_inner_loop): Likewise.
867         (perfect_nestify): Likewise.
868         * tree-vect-stmts.c (vect_stmt_relevant_p): Adjust.
869         (vect_gen_widened_results_half): Remove CALL_EXPR handling.
870         (vectorizable_conversion): Do not mark symbols for renaming.
871         * tree-inline.c (remap_gimple_stmt): Clear VUSE/VDEF.
872         (expand_call_inline): Unlink the calls virtual operands before
873         replacing it.
874         (tree_function_versioning): Do not call update_ssa if we are not
875         updating clones.  Simplify.
876         * tree-ssa-phiprop.c (phivn_valid_p): Adjust.
877         (propagate_with_phi): Likewise..
878         * tree-outof-ssa.c (create_temp): Remove memory tag and call
879         clobber code.  Assert we are not aliased or global.
880         * tree-flow.h: Include tree-ssa-alias.h
881         (enum escape_type): Remove.
882         (struct mem_sym_stats_d): Likewise.
883         (struct mem_ref_stats_d): Likewise.
884         (struct gimple_df): Add vop member.  Remove global_var,
885         call_clobbered_vars, call_used_vars, addressable_vars,
886         aliases_compted_p and mem_ref_stats members.  Add syms_to_rename,
887         escaped and callused members.
888         (struct ptr_info_def): Remove all members, add points-to solution
889         member pt.
890         (struct var_ann_d): Remove in_vuse_list, in_vdef_list,
891         call_clobbered, escape_mask, mpt and symbol_mem_tag members.
892         * Makefile.in (TREE_FLOW_H): Add tree-ssa-alias.h.
893         (tree-ssa-structalias.o): Remove tree-ssa-structalias.h.
894         (tree-ssa-alias.o): Likewise.
895         (toplev.o): Add tree-ssa-alias.h
896         (GTFILES): Remove tree-ssa-structalias.h, add tree-ssa-alias.h.
897         * gimple.c (gimple_set_bb): Fix off-by-one error.
898         (is_gimple_reg): Do not handle memory tags.
899         (gimple_copy): Also copy virtual operands.
900         Delay updating the statement.  Do not reset loaded and stored syms.
901         (gimple_set_stored_syms): Remove.
902         (gimple_set_loaded_syms): Likewise.
903         (gimple_call_copy_skip_args): Copy the virtual operands
904         and mark the new statement modified.
905         * tree-ssa-structalias.c (may_alias_p): Remove.
906         (set_uids_in_ptset): Take the alias set to prune with as
907         parameter.  Fold in the alias test of may_alias_p.
908         (compute_points_to_sets): Compute whether a ptr is dereferenced
909         in a local sbitmap.
910         (process_constraint): Deal with &ANYTHING on the lhs, reject all
911         other ADDRESSOF constraints on the lhs.
912         (get_constraint_for_component_ref): Assert that we don't get
913         ADDRESSOF constraints from the base of the reference.
914         Properly generate UNKNOWN_OFFSET for DEREF if needed.
915         (struct variable_info): Remove collapsed_to member.
916         (get_varinfo_fc): Remove.
917         (new_var_info): Do not set collapsed_to.
918         (dump_constraint): Do not follow cycles.
919         (dump_constraint_graph): Likewise.
920         (build_pred_graph): Likewise.
921         (build_succ_graph): Likewise.
922         (rewrite_constraints): Likewise.
923         (do_simple_structure_copy): Remove.
924         (do_rhs_deref_structure_copy): Remove.
925         (do_lhs_deref_structure_copy): Remove.
926         (collapse_rest_of_var): Remove.
927         (do_structure_copy): Re-implement.
928         (pta_stats): New global variable.
929         (dump_pta_stats): New function.
930         (struct constraint_expr): Make offset signed.
931         (UNKNOWN_OFFSET): Define special value.
932         (dump_constraint): Dump UNKNOWN_OFFSET as UNKNOWN.
933         (solution_set_expand): New helper function split out from ...
934         (do_sd_constraint): ... here.
935         (solution_set_add): Handle UNKNOWN_OFFSET.  Handle negative offsets.
936         (do_ds_constraint): Likewise.
937         (do_sd_constraint): Likewise.  Do not special-case ESCAPED = *ESCAPED
938         and CALLUSED = *CALLUSED.
939         (set_union_with_increment): Make inc argument signed.
940         (type_safe): Remove.
941         (get_constraint_for_ptr_offset): Handle unknown and negative
942         constant offsets.
943         (first_vi_for_offset): Handle offsets before start.  Bail
944         out early for offsets beyond the variable extent.
945         (first_or_preceding_vi_for_offset): New function.
946         (init_base_vars): Add ESCAPED = ESCAPED + UNKNOWN_OFFSET constraint.
947         Together with ESCAPED = *ESCAPED this properly computes reachability.
948         (find_what_var_points_to): New function.
949         (find_what_p_points_to): Implement in terms of find_what_var_points_to.
950         (pt_solution_reset, pt_solution_empty_p, pt_solution_includes_global,
951         pt_solution_includes_1, pt_solution_includes, pt_solutions_intersect_1,
952         pt_solutions_intersect): New functions.
953         (compute_call_used_vars): Remove.
954         (compute_may_aliases): New main entry into PTA computation.
955         * gimple.h (gimple_p): New typedef.
956         (struct gimple_statement_base): Remove references_memory_p.
957         (struct gimple_statement_with_memory_ops_base): Remove
958         vdef_ops, vuse_ops, stores and loads members.  Add vdef and vuse
959         members.
960         (gimple_vuse_ops, gimple_set_vuse_ops, gimple_vdef_ops,
961         gimple_set_vdef_ops, gimple_loaded_syms, gimple_stored_syms,
962         gimple_set_references_memory): Remove.
963         (gimple_vuse_op, gimple_vdef_op, gimple_vuse, gimple_vdef,
964         gimple_vuse_ptr, gimple_vdef_ptri, gimple_set_vuse, gimple_set_vdef):
965         New functions.
966         * tree-cfg.c (move_block_to_fn): Fix off-by-one error.
967         (verify_expr): Allow RESULT_DECL.
968         (gimple_duplicate_bb): Do not copy virtual operands.
969         (gimple_duplicate_sese_region): Adjust.
970         (gimple_duplicate_sese_tail): Likewise.
971         (mark_virtual_ops_in_region): Remove.
972         (move_sese_region_to_fn): Do not call it.
973         * passes.c (init_optimization_passes): Remove pass_reset_cc_flags
974         and pass_simple_dse.
975         (execute_function_todo): Handle TODO_update_address_taken,
976         call execute_update_addresses_taken for TODO_rebuild_alias.
977         (execute_todo): Adjust.
978         (execute_one_pass): Init dump files early.
979         * ipa-struct-reorg.c (finalize_var_creation): Do not mark vars
980         call-clobbered.
981         (create_general_new_stmt): Clear vops.
982         * tree-ssa-reassoc.c (get_rank): Adjust.
983         * tree-vect-slp.c (vect_create_mask_and_perm): Do not mark
984         symbols for renaming.
985         * params.def (PARAM_MAX_ALIASED_VOPS): Remove.
986         (PARAM_AVG_ALIASED_VOPS): Likewise.
987         * tree-ssanames.c (init_ssanames): Allocate SYMS_TO_RENAME.
988         (duplicate_ssa_name_ptr_info): No need to copy the shared bitmaps.
989         * tree-ssa-operands.c: Simplify for new virtual operand
990         representation.
991         (operand_build_cmp, copy_virtual_operands,
992         create_ssa_artificial_load_stmt, add_to_addressable_set,
993         gimple_add_to_addresses_taken): Remove public functions.
994         (unlink_stmt_vdef): New function.
995
996 2009-04-03  Alan Modra  <amodra@bigpond.net.au>
997
998         * config.gcc (powerpc-*-linux*): Merge variants.
999
1000 2009-04-02  Chao-ying Fu  <fu@mips.com>
1001             James Grosbach <james.grosbach@microchip.com>
1002
1003         * config/mips/mips.c (mips_frame_info): Add acc_mask, num_acc,
1004         num_cop0_regs, acc_save_offset, cop0_save_offset, acc_sp_offset,
1005         cop0_sp_offset.
1006         (machine_function): Add interrupt_handler_p, use_shadow_register_set_p,
1007         keep_interrupts_masked_p, use_debug_exception_return_p.
1008         (mips_attribute_table): Add interrupt, use_shadow_register_set,
1009         keep_interrupts_masked, use_debug_exception_return.
1010         (mips_interrupt_type_p, mips_use_shadow_register_set_p,
1011         mips_keep_interrupts_masked_p, mips_use_debug_exception_return_p):
1012         New functions.
1013         (mips_function_ok_for_sibcall): Return false for interrupt handlers.
1014         (mips_print_operand): Process COP0 registers to print $0 .. $31
1015         correctly for GAS to process.
1016         (mips_interrupt_extra_call_saved_reg_p): New function.
1017         (mips_cfun_call_saved_reg_p): For interrupt handlers, we need to check
1018         extra registers.
1019         (mips_cfun_might_clobber_call_saved_reg_p): Likewise.
1020         (mips_compute_frame_info): Add supports for interrupt context that
1021         includes doubleword accumulators and COP0 registers.
1022         (mips_for_each_saved_acc): New function.
1023         (mips_for_each_saved_gpr_and_fpr): Change the function name from
1024         mips_for_each_saved_reg.
1025         (mips_save_reg): Save accumulators.
1026         (mips_kernel_reg_p): A new for_each_rtx callback.
1027         (mips_expand_prologue): Support interrupt handlers.
1028         (mips_restore_reg): Restore accumulators.
1029         (mips_expand_epilogue): Support interrupt handlers.
1030         (mips_can_use_return_insn): Return false for interrupt handlers.
1031         (mips_epilogue_uses): New function.
1032         * config/mips/mips.md (UNSPEC_ERET, UNSPEC_DERET, UNSPEC_DI,
1033         UNSPEC_EHB, UNSPEC_RDPGPR, UNSPEC_COP0): New UNSPEC.
1034         (mips_eret, mips_deret, mips_di, mips_ehb, mips_rdpgpr,
1035         cop0_move): New instructions.
1036         * config/mips/mips-protos.h (mips_epilogue_uses): Declare.
1037         * config/mips/mips.h (K0_REG_NUM, K1_REG_NUM, KERNEL_REG_P): New
1038         defines.
1039         (COP0_STATUS_REG_NUM, COP0_CAUSE_REG_NUM, COP0_EPC_REG_NUM):
1040         New defines.
1041         (CAUSE_IPL, SR_IPL, SR_EXL, SR_IE): New defines.
1042         (MIPS_PROLOGUE_TEMP_REGNUM, MIPS_EPILOGUE_TEMP_REGNUM): For
1043         interrupt handlers, we use K0 as the temporary register.
1044         (EPILOGUE_USES): Change to a function call.
1045         * config/mips/sde.h (MIPS_EPILOGUE_TEMP_REGNUM): For interrupt
1046         handlers, we use K0 as the temporary register.
1047         
1048         * doc/extend.texi (Function Attributes): Document interrupt,
1049         use_shadow_register_set, keep_interrupts_masked,
1050         use_debug_exception_return for MIPS attributes.
1051
1052 2009-04-03  Alan Modra  <amodra@bigpond.net.au>
1053
1054         * config.gcc (powerpc64-*-gnu*): Add rs6000/default64.h to tm_file.
1055         Remove a number of t-files from tmake_file.
1056         * config/rs6000/sysv4.opt (mprototype): Name variable target_prototype.
1057         * config/rs6000/sysv4.h (TARGET_PROTOTYPE): Define.
1058         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Set
1059         target_prototype, not TARGET_PROTOTYPE.
1060         (LINK_OS_GNU_SPEC): Define.
1061         * config/rs6000/t-linux64 (LIB2FUNCS_EXTRA): Delete tramp.S
1062         and darwin-ldoubdle.c.
1063
1064 2009-04-02  Michael Meissner  <meissner@linux.vnet.ibm.com>
1065
1066         PR driver/39293
1067         * gcc.c (save_temps_flag): Add support for -save-temps=obj.
1068         (cpp_options): Ditto.
1069         (default_compilers): Ditto.
1070         (display_help): Ditto.
1071         (process_command): Ditto.
1072         (do_spec_1): Ditto.
1073         (set_input): Use lbasename instead of duplicate code.
1074         (save_temps_prefix): New static for -save-temps=obj.
1075         (save_temps_length): Ditto.
1076         
1077         * doc/invoke.texi (-save-temps=obj): Document new variant to
1078         -save-temps switch.
1079
1080 2009-04-02  Jeff Law  <law@redhat.com>
1081
1082         * reload1.c (fixup_eh_region_notes): Remove write-only "trap_count"
1083         variable.
1084
1085 2009-04-02  H.J. Lu  <hongjiu.lu@intel.com>
1086
1087         * configure.ac: Support -Bstatic/-Bdynamic for linker version > 2.
1088         * configure: Regenerated.
1089
1090 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
1091
1092         * c-decl.c (merge_decls): Make sure newdecl and olddecl don't
1093         share the argument list.
1094
1095 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
1096
1097         Merge
1098
1099         2009-02-12  Diego Novillo  <dnovillo@google.com>
1100
1101         * varpool.c (debug_varpool): New.
1102         * cgraph.h (debug_varpool): Declare.
1103
1104 2009-04-02  Jan Hubicka  <jh@suse.cz>
1105
1106         * passes.c (init_optimization_passes): Remove two copies of ehcleanup
1107         pass.
1108
1109 2009-04-02  H.J. Lu  <hongjiu.lu@intel.com>
1110
1111         * config/i386/i386.c (ix86_abi): Move initialization to ...
1112         (override_options): Here.
1113
1114 2009-04-02  Christian Bruel  <christian.bruel@st.com>
1115
1116         * config/sh/sh.c (sh_dwarf_register_span): New function.
1117         (TARGET_DWARF_REGISTER_SPAN): Define.
1118         * config/sh/sh-protos.h (sh_dwarf_register_span): Declare.
1119         
1120 2009-04-02  Ira Rosen  <irar@il.ibm.com>
1121
1122         PR tree-optimization/39595
1123         * tree-vect-slp.c (vect_build_slp_tree): Check that the size of 
1124         interleaved loads group is not  greater than the SLP group size.
1125
1126 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
1127
1128         * builtins.c (is_builtin_name): New.
1129         (called_as_built_in): Use is_builtin_name.
1130         * tree.h (is_builtin_name): New.
1131         * varasm.c (incorporeal_function_p): Use is_builtin_name
1132
1133 2009-04-02  Andrew Stubbs  <ams@codesourcery.com>
1134
1135         * config/sh/linux-unwind.h: Disable when inhibit_libc is defined.
1136
1137 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
1138
1139         PR c++/26693
1140         * c-decl.c: (clone_underlying_type): Move this ...
1141         * c-common.c (set_underlying_type): ... here.
1142         Also, make sure the function properly sets TYPE_STUB_DECL() on
1143         the newly created typedef variant type.
1144         * c-common.h (is_typedef_decl, set_underlying_type): Declare ...
1145         * c-common.c (is_typedef_decl, set_underlying_type): ... new entry points.
1146
1147 2009-04-02  Richard Guenther  <rguenther@suse.de>
1148
1149         PR tree-optimization/37221
1150         * tree-flow.h (degenerate_phi_result): Declare.
1151         * tree-ssa-dom.c (degenerate_phi_result): Export.
1152         * tree-scalar-evolution.c (analyze_initial_condition): If
1153         the initial condition is defined by a degenerate PHI node
1154         use the degenerate value.
1155
1156 2009-04-01  Eric Botcazou  <ebotcazou@adacore.com>
1157
1158         PR rtl-optimization/39588
1159         * combine.c (merge_outer_ops): Do not set the constant when this
1160         is not necessary.
1161         (simplify_shift_const_1): Do not modify it either in this case.
1162
1163 2009-04-01  Steven Bosscher  <steven@gcc.gnu.org>
1164
1165         * config/ia64/ia64.c (ia64_handle_option): Inform user that Itanium1
1166         tuning is deprecated if -mtune value is set to an Itanium1 variant.
1167
1168 2009-04-01  Janis Johnson  <janis187@us.ibm.com>
1169
1170         PR c/29027
1171         * c-lex.c (interpret_float): Default (no suffix) is double.
1172
1173 2009-04-1  Xinliang David Li  <davidxl@google.com>
1174
1175         * config/i386/i386.c (legitimate_constant_p): Recognize
1176         all one vector constant.
1177
1178 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1179
1180         * gcc/config/vax/vax.c: Add #includes to silence warnings.
1181         Change #include order to silence two warnings.
1182
1183 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1184
1185         * gcc/config/vax/linux.h (TARGET_DEFAULT): Add the MASK_QMATH flag bit.
1186         (ASM_SPEC): Pass -k to the assembler for PIC code.
1187
1188 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1189
1190         * gcc/config.gcc: Add vax-*-linux* to the switch.
1191         * gcc/config/vax/linux.h: New file. (TARGET_VERSION,
1192         TARGET_OS_CPP_BUILTINS, TARGET_DEFAULT, CPP_SPEC, LINK_SPEC): Define.
1193
1194 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1195
1196         * gcc/config/vax/vax.c (vax_output_int_move, adjacent_operands_p):
1197         Use predicate macros instead of GET_CODE() == foo.
1198         * gcc/config/vax/vax.md (movsi_2, movstrictqi, and<mode>3, ashrsi3,
1199         ashlsi3, rotrsi3, <unnamed>): Likewise.
1200
1201 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1202
1203         * gcc/config/vax/builtins.md (jbbssiqi, jbbssihi, jbbssisi, jbbcciqi,
1204         jbbccihi, jbbccisi): Remova trailing whitespace.
1205         * gcc/config/vax/constraints.md: Likewise.
1206         * gcc/config/vax/elf.h: (ASM_PREFERRED_EH_DATA_FORMAT): Likewise.
1207         * gcc/config/vax/openbsd1.h (OBSD_OLD_GAS): Likewise.
1208         * gcc/config/vax/predicates.md: Likewise.
1209         * gcc/config/vax/vax.c (print_operand_address, vax_output_int_move,
1210         vax_expand_addsub_di_operands, adjacent_operands_p): Likewise.
1211         * gcc/config/vax/vax.h: Likewise.
1212         * gcc/config/vax/vax.md (nonlocal_goto): Likewise.
1213
1214 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1215
1216         * gcc/config/vax/vax.c (vax_float_literal, vax_output_int_move)
1217         (indirectable_address_p, adjacent_operands_p): Add spaces around
1218         braces.
1219         * gcc/config/vax/vax-protos.h (adjacent_operands_p): Likewise.
1220
1221 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1222
1223         * gcc/config/vax/vax.c (legitimate_constant_address_p,
1224         legitimate_constant_p, indirectable_address_p, nonindexed_address_p,
1225         index_term_p, reg_plus_index_p, legitimate_address_p,
1226         vax_mode_dependent_address_p): Update comments to match functions
1227         modified by the recent int->bool conversion.
1228
1229 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1230
1231         * gcc/config/vax/builtins.md: Update copyright message.
1232         * gcc/config/vax/constraints.md: Likewise.
1233         * gcc/config/vax/netbsd-elf.h: Likewise.
1234         * gcc/config/vax/predicates.md: Likewise.
1235         * gcc/config/vax/vax-protos.h: Likewise.
1236         * gcc/config/vax/vax.c: Likewise.
1237         * gcc/config/vax/vax.h: Likewise.
1238         * gcc/config/vax/vax.md: Likewise.
1239         * gcc/config/vax/vax.opt: Likewise.
1240
1241 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
1242
1243         * gcc/config/vax/builtins.md (ffssi2, ffssi2_internal,
1244         sync_lock_test_and_set<mode>, sync_lock_release<mode>): Fix indention.
1245         * gcc/config/vax/constraints.md (B, R): Likewise.
1246         * gcc/config/vax/predicates.md (external_memory_operand,
1247         nonimmediate_addsub_di_operand): Likewise.
1248         * gcc/config/vax/vax.c (vax_output_int_add): Likewise.
1249         * gcc/config/vax/vax.md (movsi, movsi_2, mov<mode>, call_value,
1250         untyped_call): Likewise.
1251
1252 2009-04-01      Matt Thomas <matt@3am-software.com>
1253
1254         * config/vax/predicates.md: New file. (symbolic_operand,
1255         local_symbolic_operand, external_symbolic_operand,
1256         external_const_operand, nonsymbolic_operand, external_memory_operand,
1257         indirect_memory_operand, indexed_memory_operand,
1258         illegal_blk_memory_operand, illegal_addsub_di_memory_operand,
1259         nonimmediate_addsub_di_operand, general_addsub_di_operand): New
1260         predicate.
1261         * config/vax/constraints.md: New file. (Z0, U06,  U08, U16, CN6, S08,
1262         S16, I, J, K, L, M, N, O, G, Q, B, R, T): New constraint.
1263         * config/vax/builtins.md: New file. (ffssi2, ffssi2_internal,
1264         sync_lock_test_and_set<mode>, jbbssiqi, jbbssihi, jbbssisi,
1265         sync_lock_release<mode>, jbbcciqi, jbbccihi, jbbccisi): Define.
1266         * config/vax/vax.opt (mqmath): Add option.
1267         * config/vax/vax.md (isfx): Extend with DI.
1268         (VAXintQH, VAXintQHSD): Define.
1269         (tst<mode>, cmp<mode>, *bit<mode>, movmemhi1, truncsiqi2, truncsihi2,
1270         mulsidi3, add<mode>3, sub<mode>, mul<mode>3, div<mode>3, and<mode>,
1271         and<mode>_const_int, ior<mode>3, xor<mode>3, neg<mode>2,
1272         one_cmpl<mode>2, ashlsi3, lshrsi3, rotlsi3): Update constraints.
1273         (movdi): Update constraints and use vax_output_int_move().
1274         (movsi, movsi_2, pushlclsymreg, pushextsymreg, movlclsymreg,
1275         movextsymreg, adddi3, adcdi3, subdi3, sbcdi3, pushextsym, movextsym,
1276         pushlclsym, movlclsym, movaddr<mode>, pushaddr<mode>,
1277         nonlocal_goto): New.
1278         (mov<mode>): Extend accepted operand types.
1279         (subdi3_old): Rename from subdi3, change update constraints and use
1280         a new implementation.
1281         * gcc/config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Add space.
1282         (FRAME_POINTER_CFA_OFFSET, IRA_COVER_CLASSES, CLASS_MAX_NREGS,
1283         MOVE_RATIO, CLEAR_RATIO): Define.
1284         (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P,
1285         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete.
1286         (PRINT_OPERAND): Redefine using a function instead of inlined code.
1287         * gcc/config/vax/vax.c (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Define.
1288         (split_quadword_operands): Make static and really allow variable
1289         splitting.
1290         (print_operand_address): Update for PIC generation.
1291         (print_operand, vax_builtin_setjmp_frame_value, vax_output_int_subtract,
1292         indexable_address_p, fixup_mathdi_operand,
1293         vax_expand_addsub_di_operands, adjacent_operands_p): New.
1294         (vax_float_literal, legitimate_constant_p,
1295         indirectable_constant_address_p, index_term_p,
1296         reg_plus_index_p): Return bool instead of int.
1297         (vax_rtx_costs): Fix cost for CONST_INT, indent and use HOST_WIDE_INT
1298         where needed.
1299         (vax_output_int_move, vax_output_int_add): Extend to allow PIC
1300         generation.
1301         (vax_output_conditional_branch): Indent.
1302         (legitimate_constant_address_p, indirectable_constant_address_p,
1303         indirectable_address_p, nonindexed_address_p, legitimate_address_p,
1304         vax_mode_dependent_address_p): Return bool instead of int, update for
1305         PIC generation.
1306         * config/vax/vax-protos.h (legitimate_constant_address_p,
1307         legitimate_constant_p, legitimate_address_p,
1308         vax_mode_dependent_address_p): Change declaration to bool.
1309         (legitimate_pic_operand_p, adjacent_operands_p, print_operand,
1310         vax_expand_addsub_di_operands, vax_output_int_subtract,
1311         vax_output_movmemsi): Declare.
1312         (split_quadword_operands, vax_float_literal): Delete declaration.
1313         * config/vax/netbsd-elf.h (CC1_SPEC, CC1PLUS_SPEC) Define.
1314         * config/vax/elf.h (NO_EXTERNAL_INDIRECT_ADDRESS,
1315         VAX_CC1_AND_CC1PLUS_SPEC, ASM_PREFERRED_EH_DATA_FORMAT,
1316         ASM_OUTPUT_DWARF_PCREL): Define.
1317         (ASM_SPEC): Change definition to allow PIC generation.
1318
1319 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
1320
1321         PR target/39226
1322         * config/rs6000/rs6000.md (andsi3_internal5_nomc,
1323         anddi3_internal2_nomc, anddi3_internal3_nomc): Removed.
1324         (booldi3_internal3): Use boolean_or_operator instead of
1325         boolean_operator.
1326
1327 2009-04-01  Joseph Myers  <joseph@codesourcery.com>
1328
1329         PR c/39605
1330         * c-decl.c (grokdeclarator): Pedwarn for file-scope array
1331         declarator whose size is not an integer constant expression but
1332         folds to an integer constant, then treat it as a constant
1333         subsequently.
1334
1335 2009-04-01  Richard Guenther  <rguenther@suse.de>
1336
1337         * fold-const.c (fold_plusminus_mult_expr): Do not fold
1338         i * 4 + 2 to (i * 2 + 1) * 2.
1339
1340 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
1341
1342         PR c/37772
1343         * c-parser.c (c_parser_asm_statement): Skip until close paren and
1344         return if c_parser_asm_string_literal returned NULL.
1345
1346 2009-04-01  Nick Clifton  <nickc@redhat.com>
1347
1348         * config/m32c/m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not
1349         already defined.
1350         * config/m32c/t-m32c (LIB2FUNCS_EXTRA): Add m32c-lib2-trapv.c.
1351         * config/m32c/m32c-lib2.c: Remove unused typedefs.  Rename the
1352         other typedefs to avoid conflicts with libgcc2.c.  Define labels
1353         to gain 16-bit bit-manipulation functions from libgcc2.c and then
1354         include it.
1355         * config/m32c/m32c-lib2-trapv.c: New file.  Define labels
1356         to gain 16-bit trapping arithmetic functions from libgcc2.c and
1357         then include it.
1358
1359 2009-04-01  Rafael Avila de Espindola  <espindola@google.com>
1360
1361        * varasm.c (default_function_rodata_section): Declare DOT as const char*.
1362
1363 2009-04-01  Kai Tietz  <kai.tietz@onevision.com>
1364             Andrey Galkin <agalkin@hypercom.com>
1365
1366         PR/39492
1367         * config/i386/host-mingw32.c (mingw32_gt_pch_use_address):
1368         Make object_name unique for each process.
1369
1370 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
1371
1372         PR other/39591
1373         * omp-low.c (remove_exit_barrier): Don't optimize if there are any
1374         addressable variables in the parallel that could go out of scope while
1375         running queued tasks.
1376
1377 2009-04-01  Anatoly Sokolov  <aesok@post.ru>
1378
1379         * config/avr/avr.h (avr_case_values_threshold): Remove declaration.
1380         (CASE_VALUES_THRESHOLD): Redefine.
1381         * config/avr/avr.c (avr_override_options): Remove initialization of
1382         avr_case_values_threshold variable.
1383         (avr_case_values_threshold): Remove variable. Add new function.
1384         * config/avr/avr-protos.h (avr_case_values_threshold): Declare.
1385         * config/avr/avr.opt (mno-tablejump): Remove option.
1386         * doc/invoke.texi (AVR Options): Remove -mno-tablejump.
1387
1388 2009-04-01  DJ Delorie  <dj@redhat.com>
1389
1390         * varasm.c (default_function_rodata_section): Don't assume
1391         anything about where the first '.' in the section name is.
1392
1393 2009-04-01  Alan Modra  <amodra@bigpond.net.au>
1394
1395         * config/rs6000/rs6000.c (rs6000_emit_stack_reset): Delete redundant
1396         rs6000_emit_stack_tie.
1397
1398 2009-03-31  Ian Lance Taylor  <iant@google.com>
1399
1400         * tree-eh.c (tree_remove_unreachable_handlers): Compare
1401         gimple_code with GIMPLE_RESX, not RESX.
1402
1403 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1404
1405         * c-common.c (c_get_ident): New.
1406         (c_common_nodes_and_builtins): Call it for type names that may be
1407         NULL.
1408
1409 2009-04-01  Ben Elliston  <bje@au.ibm.com>
1410
1411         * config/rs6000/sysv4.opt (msdata): Improve option description.
1412
1413 2009-03-31  Steve Ellcey  <sje@cup.hp.com>
1414
1415         * config/ia64/ia64.md (divsf3_internal_lat): Remove.
1416         (divdf3_internal_lat): Remove.
1417         (divxf3_internal_lat): Remove.
1418         (divxf3_internal_thr): Remove.
1419         (divxf): Use divxf3_internal.
1420         * config/ia64/div.md (divsf3_internal_lat): New.
1421         (divdf3_internal_lat): New.
1422         (divxf3_internal): New.
1423
1424 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1425
1426         PR c/448
1427         * Makefile.in (USE_GCC_STDINT): Define.
1428         (stmp-int-hdrs): Install stdint.h if applicable.
1429         * c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE
1430         if known.
1431         (CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known.
1432         (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE,
1433         UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
1434         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
1435         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
1436         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
1437         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
1438         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
1439         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
1440         (c_common_nodes_and_builtins): Initialize
1441         underlying_wchar_type_node.  Do not initialize
1442         signed_wchar_type_node or unsigned_wchar_type_node.  Initialize
1443         nodes for new types.
1444         (c_stddef_cpp_builtins): Define macros for new types.
1445         * c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE):
1446         Remove.
1447         (CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE,
1448         CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE,
1449         CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE,
1450         CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE,
1451         CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE,
1452         CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE,
1453         CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE,
1454         CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE,
1455         CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define.
1456         (signed_wchar_type_node, unsigned_wchar_type_node): Remove.
1457         (underlying_wchar_type_node, sig_atomic_type_node, int8_type_node,
1458         int16_type_node, int32_type_node, int64_type_node,
1459         uint8_type_node, uint16_type_node, c_uint32_type_node,
1460         c_uint64_type_node, int_least8_type_node, int_least16_type_node,
1461         int_least32_type_node, int_least64_type_node,
1462         uint_least8_type_node, uint_least16_type_node,
1463         uint_least32_type_node, uint_least64_type_node,
1464         int_fast8_type_node, int_fast16_type_node, int_fast32_type_node,
1465         int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node,
1466         uint_fast32_type_node, uint_fast64_type_node, intptr_type_node,
1467         uintptr_type_node): Define.
1468         * c-cppbuiltin.c (builtin_define_constants,
1469         builtin_define_type_minmax): New.
1470         (builtin_define_stdint_macros): Define more macros.
1471         (c_cpp_builtins): Define more limit macros.
1472         (type_suffix): New.
1473         (builtin_define_type_max): Define in terms of
1474         builtin_define_type_minmax.  Remove is_long parameter.  All
1475         callers changed.
1476         * config.gcc (use_gcc_stdint): Define.
1477         (tm_file): Add glibc-stdint.h for targets using glibc or uClibc.
1478         Add newlib-stdint.h for generic targets.
1479         * config/glibc-stdint.h, config/newlib-stdint.h,
1480         ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New.
1481         * config/m32c/m32c.h (UINTPTR_TYPE): Define.
1482         * config/score/score.h (UINTPTR_TYPE): Define.
1483         * config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE,
1484         INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE,
1485         UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
1486         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
1487         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
1488         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
1489         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
1490         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
1491         * config/spu/spu.h (STDINT_LONG32): Define.
1492         * configure.ac (use_gcc_stdint): Substitute.
1493         * configure: Regenerate.
1494         * doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__,
1495         __INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__,
1496         __UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__,
1497         __INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__,
1498         __INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__,
1499         __UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__,
1500         __INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__,
1501         __UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__,
1502         __UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__,
1503         __WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__,
1504         __SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__,
1505         __INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__,
1506         __UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__,
1507         __INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__,
1508         __UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__,
1509         __INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__,
1510         __INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__,
1511         __UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__,
1512         __UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__,
1513         __INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C,
1514         __UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document.
1515         * doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE,
1516         INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
1517         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
1518         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
1519         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
1520         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
1521         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
1522         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document.
1523
1524 2009-03-31  Bernd Schmidt  <bernd.schmidt@analog.com>
1525
1526         * loop-iv.c (suitable_set_for_replacement): Renamed from
1527         simplify_using_assignment; changed to return bool and to accept new
1528         args DEST and SRC.  Return true iff we find a source/destination pair
1529         that can be used to make a replacement, and fill SRC and DEST if so.
1530         Remove arg ALTERED.  Don't deal with altered regs here.  All callers
1531         changed.
1532         (simplify_using_initial_values): Deal with altered regs here and track
1533         more precisely the effect they have on the validity of our expression.
1534
1535         * loop-iv.c (simplify_using_condition): A condition of the form
1536         (EQ REG CONST) can be used to simply make a substitution.
1537         (simplify_using_initial_values): Keep track of conditions we have seen
1538         and keep using them to simplify new expressions, while applying the
1539         same substitutions to them as to the expression.
1540
1541         * simplify-rtx.c (simplify_relational_operation_1): Simplify
1542         (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with
1543         GEU/LTU reversed.
1544
1545         * loop-iv.c (determine_max_iter): New arg OLD_NITER.  All callers
1546         changed.  Use this when trying to improve the upper bound.
1547         Generate the comparison by using simplify_gen_relational.
1548
1549         * loop-iv.c (simple_rhs_p): Allow more kinds of expressions.
1550
1551         * loop-iv.c (replace_single_def_regs, replace_in_expr): New static
1552         functions.
1553         (simplify_using_assignment, simplify_using_initial_values): Call 
1554         replace_in_expr to make replacements.  Call replace_single_def_regs
1555         once on the initial version of the expression.
1556
1557 2009-03-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
1558
1559         PR target/27237
1560         * doc/invoke.texi (ARM Options): Update documentation for -mthumb.
1561         
1562 2009-03-31  Richard Guenther  <rguenther@suse.de>
1563
1564         PR middle-end/31029
1565         * fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for
1566         equality comparisons.  Fold C - X CMP X if C % 2 == 1.
1567
1568 2009-03-31  Richard Guenther  <rguenther@suse.de>
1569
1570         * tree.h (div_if_zero_remainder): Declare.
1571         * fold-const.c (div_if_zero_remainder): Export.
1572         * tree-ssa-forwprop.c
1573         (forward_propagate_addr_into_variable_array_index): Handle
1574         constant array index addition outside of the variable index.
1575
1576 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1577
1578         PR target/39592
1579         * config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
1580         define_splits, floatunssi<mode>2): Require x87 conversions from
1581         DImode to be permitted.
1582
1583 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1584
1585         PR preprocessor/15638
1586         * c-common.c (c_cpp_error): Handle CPP_DL_FATAL.
1587
1588 2009-03-31  Richard Guenther  <rguenther@suse.de>
1589
1590         PR middle-end/23401
1591         PR middle-end/27810
1592         * tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove.
1593         (struct tree_decl_with_vis): Remove gimple_formal_temp member.
1594         * tree-eh.c (lower_eh_constructs_2): Move LHS assignment to
1595         a separate statement.
1596         * gimplify.c (pop_gimplify_context): Remove formal temp handling.
1597         (lookup_tmp_var): Likewise.
1598         (is_gimple_formal_tmp_or_call_rhs): Remove.
1599         (is_gimple_reg_or_call_rhs): Rename to ...
1600         (is_gimple_reg_rhs_or_call): ... this.
1601         (is_gimple_mem_or_call_rhs): Rename to ...
1602         (is_gimple_mem_rhs_or_call): ... this.
1603         (internal_get_tmp_var): Use is_gimple_reg_rhs_or_call.  Set
1604         DECL_GIMPLE_REG_P only if is_formal is true.
1605         (gimplify_compound_lval): Use is_gimple_reg.  Remove workaround
1606         for non-proper post-modify expression gimplification.
1607         (gimplify_self_mod_expr): For post-modify expressions gimplify
1608         the lvalue to a minimal lvalue.
1609         (rhs_predicate_for): Remove formal temp case.
1610         (gimplify_modify_expr_rhs): Likewise.
1611         (gimplify_addr_expr): Use is_gimple_reg.
1612         (gimplify_expr): Remove formal temp cases.
1613         (gimple_regimplify_operands): Likewise.
1614         * tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR
1615         and FILTER_EXPR like constants.
1616         * gimple.c (walk_gimple_op): Fix val_only initialization, use
1617         is_gimple_reg.
1618         (is_gimple_formal_tmp_rhs): Remove.
1619         (is_gimple_reg_rhs): Remove special casing.
1620         (is_gimple_mem_rhs): Fix.
1621         (is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier.
1622         (is_gimple_formal_tmp_var): Remove.
1623         (is_gimple_formal_tmp_reg): Likewise.
1624         (is_gimple_min_lval): Allow invariant component ref parts.
1625         * gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var,
1626         is_gimple_formal_tmp_reg): Remove declarations.
1627         * tree-cfg.c (verify_expr): Verify that variables with address
1628         taken do not have DECL_GIMPLE_REG_P set.
1629         * tree-mudflap.c (mf_build_check_statement_for): Use
1630         force_gimple_operand instead of gimplify_expr.
1631
1632 2009-03-31  Ayal Zaks  <zaks@il.ibm.com>
1633
1634         * modulo-sched.c (sms_schedule_by_order): Pass the actual
1635         schedulable rows to compute_split_row.
1636
1637 2009-03-31  Ben Elliston  <bje@au.ibm.com>
1638
1639         PR target/31635
1640         * config/rs6000/rs6000.c (rs6000_handle_option): Handle
1641         OPT_mvrsave.
1642
1643 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
1644
1645         * doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers.
1646         * configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check.
1647         * configure: Regenerate.
1648         * config.in: Regenerate.
1649         * config/rs6000/rs6000.opt (mtls-markers): Add.
1650         * config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define.
1651         * config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter.
1652         (tls_ld_aix, tls_ld_sysv): Likewise.
1653         (tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns.
1654         (tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise.
1655
1656 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
1657
1658         * config/spu/spu.c (spu_expand_prologue): Delete redundant code.
1659
1660 2009-03-30  Jan Hubicka  <jh@suse.cz>
1661
1662         * tree-eh.c (make_eh_edges): Set probability 100% to first edge
1663         out of RESX.
1664         (tree_remove_unreachable_handlers): Cleanup EH predecestor
1665         detection and label handling.
1666
1667 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
1668
1669         * ira-int.h (ira_allocno): Rename left_conflicts_num to
1670         left_conflicts_size.
1671         (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to
1672         ALLOCNO_LEFT_CONFLICTS_SIZE.
1673
1674         * ira-color.c (allocno_spill_priority, push_allocno_to_stack,
1675         remove_allocno_from_bucket_and_push,
1676         allocno_spill_priority_compare, push_allocnos_to_stack,
1677         setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE
1678         instead of ALLOCNO_LEFT_CONFLICTS_NUM.
1679         (setup_allocno_left_conflicts_num): Ditto.  Rename to
1680         setup_allocno_left_conflicts_size.
1681         (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE
1682         instead of ALLOCNO_LEFT_CONFLICTS_NUM and
1683         setup_allocno_left_conflicts_size instead of
1684         setup_allocno_left_conflicts_num.
1685
1686         * ira-build.c (ira_create_allocno): Use
1687         ALLOCNO_LEFT_CONFLICTS_SIZE instead of
1688         ALLOCNO_LEFT_CONFLICTS_NUM.
1689                 
1690 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
1691
1692         * reload.c (push_reload, find_dummy_reload): Use df_get_live_out
1693         instead of DF_LR_OUT.
1694
1695         * ira-lives.c (process_bb_node_lives): Ditto.
1696
1697         * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
1698         instead of DF_LR_{OUT,IN}.
1699
1700         * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
1701
1702         * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
1703
1704 2009-03-30  Jan Hubicka  <jh@suse.cz>
1705
1706         * except.c (label_to_region_map): Fix thinko.
1707
1708 2009-03-30  Steve Ellcey  <sje@cup.hp.com>
1709
1710         PR middle-end/38237
1711         * tree.h (tree_find_value): New declaration.
1712         * tree.c (tree_find_value): New function.
1713         * varasm.c (assemble_external): Avoid duplicate entries on lists.
1714
1715 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
1716
1717         PR debug/39563
1718         * c-decl.c (struct c_binding): Add locus field.
1719         (bind): Add locus argument, set locus field from it.
1720         (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL,
1721         add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS.
1722         (push_file_scope, pushtag, pushdecl, pushdecl_top_level,
1723         implicitly_declare, undeclared_variable, lookup_label,
1724         declare_label, c_make_fname_decl, c_builtin_function,
1725         c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust
1726         bind callers.
1727
1728 2008-03-30  H.J. Lu  <hongjiu.lu@intel.com>
1729
1730         PR target/38781
1731         * config/i386/i386.c (classify_argument): Check total size of
1732         structure.
1733
1734 2009-03-30  Martin Jambor  <mjambor@suse.cz>
1735
1736         * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST,
1737         IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN,
1738         IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH
1739         respectively.
1740
1741         * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if
1742         seen_variable_array_ref while also traversing a union.
1743
1744         * tree-inline.c (optimize_inline_calls): Do not call
1745         cgraph_node_remove_callees.
1746         * cgraphbuild.c (remove_cgraph_callee_edges): New function.
1747         (pass_remove_cgraph_callee_edges): New variable.
1748         * passes.c (init_optimization_passes): Add
1749         pass_remove_cgraph_callee_edges after early inlining and before all
1750         late intraprocedural passes.
1751
1752         * omp-low.c (expand_omp_taskreg): Always set current_function_decl.
1753
1754 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
1755
1756         * config/sparc/sparc.md (*nand<V64mode>_vis, *nand<V32mode>_vis):
1757         Fix typos in names.
1758
1759 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
1760
1761         * combine.c (simplify_comparison): Use have_insn_for.
1762         * dojump.c (do_jump): Likewise.
1763
1764 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
1765
1766         * config/sparc/sparc.c (sparc_compare_emitted): Remove.
1767         (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC
1768         sparc_compare_op0 like sparc_compare_emitted used to be handled.
1769         (sparc_expand_compare_and_swap_12): Set sparc_compare_op0
1770         instead of sparc_compare_emitted.
1771         * config/sparc/sparc.h (sparc_compare_emitted): Remove.
1772         * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0
1773         instead of sparc_compare_emitted.
1774
1775 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
1776
1777         * bb-reorder.c (partition_hot_cold_basic_blocks): Do not
1778         enter/exit cfglayout mode.
1779         (pass_partition_block): Require it.
1780         * combine.c (find_single_use, reg_dead_at_p): Use CFG.
1781         (combine_instructions): Track basic blocks instead of labels.
1782         (update_cfg_for_uncondjump): New.
1783         (try_combine): Use it.  Update jumps after rescanning.
1784         (pass_combine): Require PROP_cfglayout.
1785         * passes.c (pass_outof_cfg_layout_mode): Move after regmove.
1786
1787 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
1788
1789         * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode):
1790         Provide/destroy PROP_cfglayout respectively.
1791         * gcse.c (pass_jump_bypass, pass_gcse): Require it.
1792         * tree-pass.h (PROP_cfglayout): New.
1793
1794 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
1795
1796         * fold-const.c (const_binop, fold_convert_const_real_from_fixed,
1797         fold_convert_const_fixed_from_fixed,
1798         fold_convert_const_fixed_from_int,
1799         fold_convert_const_fixed_from_real, fold_negate_const): Do not
1800         set TREE_CONSTANT_OVERFLOW.
1801         * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW.
1802         * tree.h (TREE_CONSTANT_OVERFLOW): Delete.
1803
1804 2009-03-30  Ira Rosen  <irar@il.ibm.com>
1805
1806         * tree-vect-loop-manip.c: New file.
1807         * tree-vectorizer.c: Update documentation and included files.
1808         (vect_loop_location): Make extern.
1809         (rename_use_op): Move to tree-vect-loop-manip.c
1810         (rename_variables_in_bb, rename_variables_in_loop, 
1811         slpeel_update_phis_for_duplicate_loop, 
1812         slpeel_update_phi_nodes_for_guard1,
1813         slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes,
1814         slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard,
1815         slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling,
1816         set_prologue_iterations, slpeel_tree_peel_loop_to_edge, 
1817         find_loop_location): Likewise.
1818         (new_stmt_vec_info): Move to tree-vect-stmts.c.
1819         (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info,
1820         get_vectype_for_scalar_type, vect_is_simple_use,
1821         supportable_widening_operation, supportable_narrowing_operation):
1822         Likewise.
1823         (bb_in_loop_p): Move to tree-vect-loop.c.
1824         (new_loop_vec_info, destroy_loop_vec_info, 
1825         reduction_code_for_scalar_code, report_vect_op, 
1826         vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise.
1827         (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c.
1828         (vect_supportable_dr_alignment): Likewise.
1829         * tree-vectorizer.h (tree-data-ref.h): Include.
1830         (vect_loop_location): Declare.
1831         Reorganize function declarations according to the new file structure.
1832         * tree-vect-loop.c: New file.
1833         * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c, 
1834         tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c.
1835         * tree-vect-data-refs.c: New file.
1836         * tree-vect-patterns.c (timevar.h): Don't include.
1837         * tree-vect-stmts.c: New file.
1838         * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c, 
1839         tree-vect-slp.c, tree-vect-loop.c.
1840         * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and 
1841         tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o, 
1842         tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o.
1843         (tree-vect-analyze.o): Remove.
1844         (tree-vect-transform.o): Likewise.
1845         (tree-vect-data-refs.o): Add rule.
1846         (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o, 
1847         tree-vect-slp.o): Likewise.
1848         (tree-vect-patterns.o): Remove redundant dependencies.
1849         (tree-vectorizer.o): Likewise.
1850         * tree-vect-slp.c: New file.
1851
1852 2009-03-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1853
1854         * optc-gen.awk: Warn if an option flag has multiple different
1855         help strings.
1856
1857 2009-03-30  Sebastian Pop  <sebastian.pop@amd.com>
1858
1859         * doc/invoke.texi (-floop-interchange, -floop-strip-mine,
1860         -floop-block): Document dependences on PPL, CLooG and Graphite.
1861
1862 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
1863
1864         PR rtl-optimization/323
1865         * c-common.c (c_fully_fold, convert_and_check,
1866         c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR.
1867         (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR.
1868         * c-common.def (EXCESS_PRECISION_EXPR): New.
1869         * c-cppbuiltin.c (builtin_define_float_constants): Define
1870         constants with enough digits for long double.
1871         * c-lex.c (interpret_float): Interpret constant with excess
1872         precision where appropriate.
1873         * c-opts.c (c_common_post_options): Set
1874         flag_excess_precision_cmdline.  Give an error for
1875         -fexcess-precision=standard for C++ for processors where the
1876         option is significant.
1877         * c-parser.c (c_parser_conditional_expression): Handle excess
1878         precision in condition.
1879         * c-typeck.c (convert_arguments): Handle arguments with excess
1880         precision.
1881         (build_unary_op): Move excess precision outside operation.
1882         (build_conditional_expr): Likewise.
1883         (build_compound_expr): Likewise.
1884         (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR.
1885         (build_modify_expr): Handle excess precision in RHS.
1886         (convert_for_assignment): Handle excess precision in converted
1887         value.
1888         (digest_init, output_init_element, process_init_element): Handle
1889         excess precision in initializer.
1890         (c_finish_return): Handle excess precision in return value.
1891         (build_binary_op): Handle excess precision in operands and add
1892         excess precision as needed for operation.
1893         * common.opt (-fexcess-precision=): New option.
1894         * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New.
1895         * config/i386/i386.md (float<SSEMODEI24:mode><X87MODEF:mode>2):
1896         For standard excess precision, output explicit conversion to and
1897         truncation from XFmode.
1898         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1,
1899         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp,
1900         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387, two unnamed
1901         define_splits, floatdi<X87MODEF:mode>2_i387_with_xmm, two unnamed
1902         define_splits, *floatunssi<mode>2_1, two unnamed define_splits,
1903         floatunssi<mode>2, add<mode>3, sub<mode>3, mul<mode>3, divdf3,
1904         divsf3, *fop_<mode>_comm_i387, *fop_<mode>_1_i387,
1905         *fop_<MODEF:mode>_2_i387, *fop_<MODEF:mode>_3_i387,
1906         *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed
1907         define_splits, sqrt<mode>2): Disable where appropriate for
1908         standard excess precision.
1909         * convert.c (convert_to_real): Do not shorten arithmetic to type
1910         for which excess precision would be used.
1911         * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define.
1912         * doc/invoke.texi (-fexcess-precision=): Document option.
1913         (-mfpmath=): Correct index entry.
1914         * flags.h (enum excess_precision, flag_excess_precision_cmdline,
1915         flag_excess_precision): New.
1916         * langhooks.c (lhd_post_options): Set
1917         flag_excess_precision_cmdline.
1918         * opts.c (common_handle_option): Handle -fexcess-precision=.
1919         * toplev.c (flag_excess_precision_cmdline, flag_excess_precision,
1920         init_excess_precision): New.
1921         (lang_dependent_init_target): Call init_excess_precision.
1922         * tree.c (excess_precision_type): New.
1923         * tree.h (excess_precision_type): Declare.
1924
1925 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
1926
1927         PR c/35235
1928         * c-typeck.c (build_component_ref): Do not copy qualifiers from
1929         non-lvalue to component.
1930
1931 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1932
1933         PR preprocessor/34695
1934         * Makefile.in (c-opts.o): Depend on c-tree.h.
1935         * c-common.c: Move down include of diagnostic.h.
1936         (done_lexing, c_cpp_error): New.
1937         * c-common.h (done_lexing): Declare.
1938         * c-decl.c (c_write_global_declarations): Don't check cpp_errors
1939         (parse_in).
1940         * c-opts.c: Include c-tree.h.
1941         (c_common_init_options): Set preprocessor error callback.
1942         (c_common_handle_option): Do not set preprocessor
1943         inhibit_warnings, warnings_are_errors, warn_system_headers,
1944         pedantic_errors or inhibit_warnings flags.
1945         (c_common_post_options): Do not check cpp_errors (parse_in).
1946         (c_common_finish): Do not output dependencies if there were
1947         errors.  Do not check return value of cpp_finish.
1948         * c-ppoutput.c (pp_file_change): Set input_location.
1949         * c-tree.h (c_cpp_error): Declare.
1950         * diagnostic.c (diagnostic_set_info_translated): Also initialize
1951         override_column.
1952         (diagnostic_build_prefix): Check override_column.
1953         * diagnostic.h (diagnostic_info): Add override_column field.
1954         (diagnostic_override_column): Define.
1955
1956 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
1957
1958         * c-common.c (c_expand_expr, c_staticp): Remove.
1959         * c-common.def (COMPOUND_LITERAL_EXPR): Delete.
1960         * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL,
1961         COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove.
1962         * c-gimplify.c (gimplify_compound_literal_expr,
1963         optimize_compound_literals_in_ctor): Remove.
1964         (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling.
1965         * c-objc-common.h (LANG_HOOKS_STATICP): Remove.
1966         * c-semantics.c (emit_local_var): Remove.
1967
1968         * langhooks-def.h (lhd_expand_expr): Remove.
1969         * langhooks.c (lhd_expand_expr): Remove.
1970         * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR.
1971
1972         * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR
1973         handling from c-semantics.c; don't call into langhook.
1974         (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees.
1975         * gimplify.c (gimplify_compound_literal_expr,
1976         optimize_compound_literals_in_ctor): Move from c-gimplify.c.
1977         (gimplify_init_constructor): Call optimize_compound_literals_in_ctor.
1978         (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR
1979         as was done in c-gimplify.c.
1980         * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp.
1981         * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR):
1982         Move from c-common.h.
1983         * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def.
1984
1985         * tree.c (staticp): Do not call langhook.
1986         * langhooks.c (lhd_staticp): Delete.
1987         * langhooks-def.h (lhd_staticp): Delete prototype.
1988         (LANG_HOOKS_STATICP): Delete.
1989         (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP.
1990
1991         * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs
1992         instead of DECL_STMTs.
1993
1994 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1995
1996         PR c/456
1997         PR c/5675
1998         PR c/19976
1999         PR c/29116
2000         PR c/31871
2001         PR c/35198
2002         * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in
2003         void_type_node.
2004         (fold_call_expr): Return a NOP_EXPR from folding rather than the
2005         contained expression.
2006         * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New.
2007         (c_common_truthvalue_conversion): Use c_save_expr.  Do not fold
2008         conditional expressions for C.
2009         (decl_constant_value_for_optimization): Move from
2010         decl_constant_value_for_broken_optimization in c-typeck.c.  Check
2011         whether optimizing and that the expression is a VAR_DECL not of
2012         array type instead of doing such checks in the caller.  Do not
2013         check pedantic.  Call gcc_unreachable for C++.
2014         * c-common.def (C_MAYBE_CONST_EXPR): New.
2015         * c-common.h (c_fully_fold, c_save_expr,
2016         decl_constant_value_for_optimization): New prototypes.
2017         (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
2018         C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
2019         EXPR_INT_CONST_OPERANDS): Define.
2020         * c-convert.c (convert): Strip nops from expression.
2021         * c-decl.c (groktypename): Take extra parameters expr and
2022         expr_const_operands.  Update call to grokdeclarator.
2023         (start_decl): Update call to grokdeclarator.  Add statement for
2024         expressions used in type of decl.
2025         (grokparm): Update call to grokdeclarator.
2026         (push_parm_decl): Update call to grokdeclarator.
2027         (build_compound_literal): Add parameter non_const and build a
2028         C_MAYBE_COSNT_EXPR if applicable.
2029         (grokdeclarator): Take extra parameters expr and
2030         expr_const_operands.  Track expressions used in declaration
2031         specifiers and declarators.  Fold array sizes and track whether
2032         they are constant expressions and whether they are integer
2033         constant expressions.
2034         (parser_xref_tag): Set expr and expr_const_operands fields in
2035         return value.
2036         (grokfield): Update call to grokdeclarator.
2037         (start_function): Update call to grokdeclarator.
2038         (build_null_declspecs): Set expr and expr_const_operands fields in
2039         return value.
2040         (declspecs_add_type): Handle expressions in typeof specifiers.
2041         * c-parser.c (c_parser_declspecs): Set expr and
2042         expr_const_operands fields for declaration specifiers.
2043         (c_parser_enum_specifier): Likewise.
2044         (c_parser_struct_or_union_specifier): Likewise.
2045         (c_parser_typeof_specifier): Likewise.  Update call to
2046         groktypename.  Fold expression as needed.  Return expressions with
2047         type instead of adding statements.
2048         (c_parser_attributes): Update calls to c_parser_expr_list.
2049         (c_parser_statement_after_labels): Fold expression before passing
2050         to objc_build_throw_stmt.
2051         (c_parser_condition): Fold expression.
2052         (c_parser_asm_operands): Fold expression.
2053         (c_parser_conditional_expression): Use c_save_expr.  Update call
2054         to build_conditional_expr.
2055         (c_parser_alignof_expression): Update call to groktypename.
2056         (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as
2057         original_code.  Fold expression argument of va_arg.  Create
2058         C_MAYBE_CONST_EXPR to preserve side effects of expressions in type
2059         argument to va_arg.  Update calls to groktypename.  Fold array
2060         index for offsetof.  Verify that first argument to
2061         __builtin_choose_expr has integer type.
2062         (c_parser_postfix_expression_after_paren_type): Update calls to
2063         groktypename and build_compound_literal.  Handle expressions with
2064         side effects in type name.
2065         (c_parser_postfix_expression_after_primary): Update call to
2066         c_parser_expr_list.  Set original_code for calls to
2067         __builtin_constant_p.
2068         (c_parser_expr_list): Take extra parameter fold_p.  Fold
2069         expressions if requested.
2070         (c_parser_objc_type_name): Update call to groktypename.
2071         (c_parser_objc_synchronized_statement): Fold expression.
2072         (c_parser_objc_receiver): Fold expression.
2073         (c_parser_objc_keywordexpr): Update call to c_parser_expr_list.
2074         (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule,
2075         c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions.
2076         * c-tree.h (CONSTRUCTOR_NON_CONST): Define.
2077         (struct c_typespec): Add elements expr and expr_const_operands.
2078         (struct c_declspecs): Add elements expr and expr_const_operands.
2079         (groktypename, build_conditional_expr, build_compound_literal):
2080         Update prototypes.
2081         (in_late_binary_op): Declare.
2082         * c-typeck.c (note_integer_operands): New function.
2083         (in_late_binary_op): New variable.
2084         (decl_constant_value_for_broken_optimization): Move to c-common.c
2085         and rename to decl_constant_value_for_optimization.
2086         (default_function_array_conversion): Do not strip nops.
2087         (default_conversion): Do not call
2088         decl_constant_value_for_broken_optimization.
2089         (build_array_ref): Do not fold result.
2090         (c_expr_sizeof_expr): Fold operand.  Use C_MAYBE_CONST_EXPR for
2091         result when operand is a VLA.
2092         (c_expr_sizeof_type): Update call to groktypename.  Handle
2093         expressions included in type name.  Use C_MAYBE_CONST_EXPR for
2094         result when operand names a VLA type.
2095         (build_function_call): Update call to build_compound_literal.
2096         Only fold result for calls to __builtin_* functions.  Strip
2097         NOP_EXPR from INTEGER_CST returned from such functions.  Fold
2098         the function designator.
2099         (convert_arguments): Fold arguments.  Update call to
2100         convert_for_assignment.
2101         (build_unary_op): Handle increment and decrement of
2102         C_MAYBE_CONST_EXPR.  Move lvalue checks for increment and
2103         decrement earlier.  Fold operand of increment and decrement.
2104         Handle address of C_MAYBE_CONST_EXPR.  Only fold expression being
2105         built for integer operand.  Wrap returns that are INTEGER_CSTs
2106         without being integer constant expressions or that have integer
2107         constant operands without being INTEGER_CSTs.
2108         (lvalue_p): Handle C_MAYBE_CONST_EXPR.
2109         (build_conditional_expr): Add operand ifexp_bcp.  Track whether
2110         result is an integer constant expression or can be used in
2111         unevaluated parts of one and avoid folding and wrap as
2112         appropriate.  Fold operands before possibly doing -Wsign-compare
2113         warnings.
2114         (build_compound_expr): Wrap result for C99 if operands can be used
2115         in integer constant expressions.
2116         (build_c_cast): Update call to digest_init.  Do not ignore
2117         overflow from casting floating-point constants to integers.  Wrap
2118         results that could be confused with integer constant expressions,
2119         null pointer constants or floating-point constants.
2120         (c_cast_expr): Update call to groktypename.  Handle expressions
2121         included in type name.
2122         (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR.  Fold
2123         lhs inside possible SAVE_EXPR.  Fold RHS before assignment.
2124         Update calls to convert_for_assignment.
2125         (convert_for_assignment): Take new parameter
2126         null_pointer_constant.  Do not strip nops or call
2127         decl_constant_value_for_broken_optimization.  Set
2128         in_late_binary_op for conversions to boolean.
2129         (store_init_value): Update call to digest_init.
2130         (digest_init): Take new parameter null_pointer_constant.  Do not
2131         call decl_constant_value_for_broken_optimization.  pedwarn for
2132         initializers not constant expressions.  Update calls to
2133         convert_for_assignment.
2134         (constructor_nonconst): New.
2135         (struct constructor_stack): Add nonconst element.
2136         (really_start_incremental_init, push_init_level, pop_init_level):
2137         Handle constructor_nonconst and nonconst element.
2138         (set_init_index): Call constant_expression_warning for array
2139         designators.
2140         (output_init_element): Fold value.  Set constructor_nonconst as
2141         applicable.  pedwarn for initializers not constant expressions.
2142         Update call to digest_init.  Call constant_expression_warning
2143         where constant initializers are required.
2144         (process_init_element): Use c_save_expr.
2145         (c_finish_goto_ptr): Fold expression.
2146         (c_finish_return): Fold return value.  Update call to
2147         convert_for_assignment.
2148         (c_start_case): Fold switch expression.
2149         (c_process_expr_stmt): Fold expression.
2150         (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to
2151         ensure statement expression is not evaluated in constant expression.
2152         (build_binary_op): Track whether results are integer constant
2153         expressions or may occur in such, disable folding and wrap results
2154         as applicable.  Fold operands for -Wsign-compare warnings unless
2155         in_late_binary_op.
2156         (c_objc_common_truthvalue_conversion): Handle results folded to
2157         integer constants that are not integer constant expressions.
2158         * doc/extend.texi: Document when typeof operands are evaluated,
2159         that condition of __builtin_choose_expr is an integer constant
2160         expression, and more about use of __builtin_constant_p in
2161         initializers.
2162
2163 2009-03-29  Richard Guenther  <rguenther@suse.de>
2164
2165         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly
2166         propagate addresses of array references.
2167
2168 2009-03-29  Steven Bosscher  <steven@gcc.gnu.org>
2169
2170         * regmove.c (perhaps_ends_bb_p): Remove.
2171         (optimize_reg_copy_1): Don't call perhaps_ends_bb_p.  Get basic block
2172         from INSN and check that the main loop stays within that basic block.
2173         (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise.
2174         (regmove_forward_pass): Split out from regmove_optimize.  Use
2175         FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream.
2176         (regmove_backward_pass): Split out from regmove_optimize.  Use
2177         FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE.
2178         (regmove_optimize): Simplify.
2179
2180 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
2181
2182         PR target/39545
2183         * config/i386/i386.c (classify_argument): Ignore flexible array
2184         member in struct and warn ABI change.
2185
2186 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
2187
2188         * config/i386/i386-protos.h (ix86_agi_dependent): New.
2189
2190         * config/i386/i386.c (ix86_agi_dependent): Rewrite.
2191         (ix86_adjust_cost): Updated.
2192
2193 2009-03-29  Jan Hubicka  <jh@suse.cz>
2194
2195         PR middle-end/28850
2196         * tree-pass.h (pass_cleanup_eh): New function.
2197         (remove_unreachable_regions): Break code handling RTL
2198         to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW
2199         that can not be reached by runtime.
2200         (can_be_reached_by_runtime): New function.
2201         (label_to_region_map): New function.
2202         (num_eh_regions): New function.
2203         (rtl_remove_unreachable_regions): New function.
2204         (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions.
2205         (remove_eh_region): New function.
2206         * except.h: Include sbitmap and vecprim.
2207         (remove_eh_region, remove_unreachable_regions, label_to_region_map,
2208         num_eh_regions): Declare.
2209         * passes.c (init_optimization_passes): Schedule cleanup_eh.
2210         * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it.
2211         * tree-eh.c (tree_remove_unreachable_handlers): New function.
2212         (tree_empty_eh_handler_p): New function.
2213         (cleanup_empty_eh): New function.
2214         (cleanup_eh): New function.
2215         (pass_cleanup_eh): New function.
2216
2217 2009-03-29  Jan Hubicka  <jh@suse.cz>
2218
2219         * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready
2220         for removed regions.
2221
2222 2009-03-29  Jan Hubicka  <jh@suse.cz>
2223
2224         * except.c (dump_eh_tree): Dump all datastructures.
2225
2226 2009-03-29  Jan Hubicka  <jh@suse.cz>
2227
2228         * except.c (duplicate_eh_regions_0): Handle AKA bitmap.
2229         (duplicate_eh_regions_1): Likewise.
2230         (duplicate_eh_regions): Likewise; cleanup code gorwing the region
2231         vector; call EH verification.
2232         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
2233         Be ready for region being removed.
2234
2235 2009-03-29  Jan Hubicka  <jh@suse.cz>
2236
2237         * bitmap.c (bitmap_last_set_bit): New function.
2238         * bitmap.h (bitmap_last_set_bit): Declare.
2239
2240 2009-03-29  David Ayers  <ayers@fsfe.org>
2241
2242         PR objc/27377
2243         * c-typeck.c (build_conditional_expr): Emit ObjC warnings
2244         by calling objc_compare_types and surpress warnings about
2245         incompatible C pointers that are compatible ObjC pointers.
2246         
2247 2009-03-29  Adam Nemet  <anemet@caviumnetworks.com>
2248
2249         * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't
2250         call initialize_inline_failed.
2251         (initialize_inline_failed): Move it from here ...
2252         * cgraph.c (initialize_inline_failed): ... to here.
2253         (cgraph_create_edge): Call initialize_inline_failed rather than
2254         setting inline_failed directly.
2255
2256 2009-03-29  Ben Elliston  <bje@au.ibm.com>
2257
2258         PR target/32542
2259         * sysv4.opt (msdata): Improve comment.
2260         * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given.
2261         * sysv4.h (SVR4_ASM_SPEC): Likewise.
2262
2263 2009-03-29  Ben Elliston  <bje@au.ibm.com>
2264
2265         PR target/30451
2266         * config/rs6000/rs6000.md (*movti_ppc64): Correct the order of
2267         load and store attributes.
2268
2269 2009-03-29  Ben Elliston  <bje@au.ibm.com>
2270
2271         * config/i386/i386.c (enum ix86_builtins): Add IX86_BUILTIN_HUGE_VALQ.
2272         (ix86_init_builtins): Add built-in function __builtin_huge_valq.
2273         (ix86_expand_builtin): Handle IX86_BUILTIN_HUGE_VALQ.
2274         * doc/extend.texi (X86 Built-in Functions): Add index entries for
2275         __builtin_infq and __builtin_huge_valq.
2276
2277 2009-03-28  Anatoly Sokolov  <aesok@post.ru>
2278
2279         * config/avr/avr.c (avr_mcu_t): Add atmega8c1, atmega16c1 and
2280         atmega8m1 devices.
2281         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
2282         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.)
2283
2284 2009-03-28  Xinliang David Li  <davidxl@google.com>
2285
2286         * tree-ssa-ccp.c (ccp_finalize): Add dbg_count support. 
2287         (do_dbg_cnt): New function.
2288
2289 2009-03-28  Jan Hubicka  <jh@suse.cz>
2290
2291         Merge from pretty-ipa:
2292
2293         2009-03-27  Jan Hubicka  <jh@suse.cz>
2294
2295         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
2296         * tree-pass.h (function_called_by_processed_nodes_p): Declare.
2297         * passes.c (function_called_by_processed_nodes_p): New.
2298         * ipa-pure-const.c (check_call): Fix handling of operands.
2299         (analyze_function): Dump debug output for skipped bodies.
2300         (local_pure_const): Use function_called_by_processed_nodes_p.
2301         * dwarf2out.c (reference_to_unused): Use output.
2302         * passes.c (do_per_function_toporder): Likewise.
2303
2304         2008-11-12  Jan Hubicka  <jh@suse.cz>
2305
2306         * tree-pass.h (pass_fixup_cfg, pass_local_pure_const): Declare.
2307         * ipa-pure-const.c (funct_state_d): Add can throw field; make
2308         state_set_in_source enum
2309         (check_decl): Ignore memory tags; do not set fake looping flags;
2310         dump diagnostics.
2311         (check_operand, check_tree, check_rhs_var, check_lhs_var,
2312         get_asm_expr_operands, scan_function_op, scan_function_stmt): Remove.
2313         (check_call, analyze_function): Rewrite.
2314         (check_stmt): New.
2315         (add_new_function): Update call of analyze_function.
2316         (generate_summary): Add call of analyze_function.
2317         (propagate): Propagate can_throw; handle state_set_in_source correctly.
2318         (local_pure_const): New function.
2319         (pass_local_pure_const): New pass.
2320         * ipa-inline.c (inline_transform): Set after_inlining.
2321         * tree-eh.c (stmt_can_throw_external): New.
2322         * tree-optimize.c (execute_fixup_cfg): Do not set after_inlining;
2323         work with aliasing built.
2324         * tree-flow.h (stmt_can_throw_external): New.
2325         * passes.c (init_optimization_passes): Schedule fixup_cfg pass early;
2326         and local pure/const pass in early and late optimization queue.
2327
2328 2009-03-28  Martin Jambor  <mjambor@suse.cz>
2329
2330         * fold-const.c (get_pointer_modulus_and_residue): New parameter
2331         allow_func_align.
2332         (fold_binary): Allow function decl aligment consideration is the
2333         second argument is integer constant one.
2334         * tree-ssa-forwprop.c (simplify_bitwise_and): New function.
2335         (tree_ssa_forward_propagate_single_use_vars): Handle assing statements
2336         with BIT_AND_EXPR on the RHS by calling simplify_bitwise_and.
2337
2338 2009-03-28  Jan Hubicka  <jh@suse.cz>
2339
2340         * dwarf2out.c (dwarf2out_begin_prologue): Use crtl->nothrow
2341         * tree-eh.c (stmt_could_throw_p): Remove check for WEAK decls.
2342         * function.h (rtl_data): Add nothrow flag.
2343         * except.c (set_nothrow_function_flags): Use crtl->nothrow;
2344         set DECL_NOTHROW for AVAILABLE functions.
2345
2346 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
2347
2348         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): If macro
2349         following vector keyword has expansion starting with pixel or bool
2350         keyword, expand vector to __vector and pixel or bool to __pixel or
2351         __bool.
2352
2353         PR c++/39554
2354         * opts.c (warning_disallowed_functions, warn_disallowed_functions,
2355         warn_if_disallowed_function_p): Removed.
2356         (common_handle_option): Don't handle OPT_Wdisallowed_function_list_.
2357         * c-parser.c (c_parser_postfix_expression_after_primary): Don't call
2358         warning_if_disallowed_function_p.
2359         * flags.h (warn_if_disallowed_function_p,
2360         warn_disallowed_functions): Removed.
2361         * common.opt (Wdisallowed-function-list=): Removed.
2362         * doc/invoke.texi (-Wdisallowed-function-list=): Removed.
2363
2364 2009-03-28  Richard Guenther  <rguenther@suse.de>
2365
2366         PR tree-optimization/38723
2367         * tree-ssa-pre.c (compute_avail): Add all default definitions to
2368         the entry block.
2369
2370 2009-03-28  Jan Hubicka  <jh@suse.cz>
2371
2372         * tree-ssa-structalias.c (ipa_pta_execute): Fix bogus node->analyzed
2373         test introduced by my previous patch.
2374
2375 2009-03-28  Richard Guenther  <rguenther@suse.de>
2376
2377         * tree-ssa-copy.c (copy_prop_visit_phi_node): Do not leave
2378         the PHIs value undefined.
2379
2380 2009-03-28  Jan Hubicka  <jh@suse.cz>
2381
2382         * tree-pass.h (pass_fixup_cfg): New pass.
2383         * ipa-inline.c (inline_transform): Set
2384         always_inline_functions_inlined/after_inlining.
2385         * tree-optimize.c (execute_fixup_cfg): Do not set them here.
2386         (pass_fixup_cfg): New pass.
2387         * passes.c (init_optimization_passes): Add fixup_cfg.
2388
2389 2009-03-28  Richard Guenther  <rguenther@suse.de>
2390
2391         PR tree-optimization/38458
2392         * tree-ssa-copy.c (copy_prop_visit_phi_node): For the first
2393         argument use the arguments copy-of value.
2394
2395 2009-03-28  Richard Guenther  <rguenther@suse.de>
2396
2397         PR tree-optimization/38180
2398         * tree-ssa-ccp.c (get_default_value): Simplify.
2399         (likely_value): Likewise.
2400         (surely_varying_stmt_p): Properly handle VOP case.
2401         (ccp_initialize): Likewise.
2402         (ccp_fold): Handle propagating through *&.
2403         (fold_const_aggregate_ref): Also handle decls.
2404
2405 2009-03-28  Jan Hubicka  <jh@suse.cz>
2406
2407         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
2408         * cgraph.h (cgraph_node): Likewise.
2409         * cgraphunit.c (cgraph_process_new_functions): Set process flag.
2410         (cgraph_reset_node): Use process flag.
2411         (cgraph_mark_functions_to_output): Likewise.
2412         (cgraph_expand_function): Likewise.
2413         (cgraph_expand_all_functions): Likewise.
2414         (cgraph_output_in_order): Likewise.
2415         * dwarf2out.c (reference_to_unused): Likewise.
2416         * passes.c do_per_function_toporder): Likewise.
2417
2418 2009-03-28  Jan Hubicka  <jh@suse.cz>
2419
2420         Bring from lto-branch:
2421
2422         2008-09-03  Doug Kwan  <dougkwan@google.com>
2423
2424         * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t
2425         enums instead of reason strings.
2426         * cgraph.c (cgraph_create_edge): Same.
2427         (cgraph_inline_failed_string): New function.
2428         * cgraph.h (cgraph_inline_failed_t): New enum type.
2429         (cgraph_inline_failed_string): New prototype.
2430         (struct cgraph_edge): Change type of INLINED_FAILED from constant
2431         char pointer to cgraph_inline_failed_t.
2432         (cgraph_inline_p): Adjust prototype to use cgraph_inline_failed_t.
2433         (cgraph_default_inline_p): Ditto.
2434         * gcc/cgraphunit.c (cgraph_inline_p): Change type of parameter REASON
2435         to cgraph_inline_failed_t pointer.
2436         * cif-code.def: New file.
2437         * ipa-inline.c (cgraph_mark_inline_edge): Use an enum instead of a
2438         reason string.
2439         (cgraph_check_inline_limits): Change type of REASON to pointer to
2440         cgraph_inline_failed_t.  Replace reason strings with enums.
2441         (cgraph_default_inline_p): Ditto.
2442         (cgraph_recursive_inlining_p): Ditto.
2443         (update_caller_keys): Change type of FAILED_REASON to
2444         cgraph_inline_failed_t.
2445         (cgraph_set_inline_failed): Change type of REASON to pointer to
2446         cgraph_inline_failed_t.  Call cgraph_inline_failed_string to
2447         convert enums to strings for text output.
2448         (cgraph_decide_inlining_of_small_function): Change FAILED_REASON
2449         to be of type cgraph_inline_failed_t.  Replace reason strings with
2450         enums.  Call cgraph_inline_failed_string to covert enums
2451         to strings for text output.
2452         (cgraph_decide_inlining): Replace reason strings with enums.
2453         (cgraph_decide_inlining_incrementally): Change type of FAILED_REASON
2454         to cgraph_inline_failed_t type.  Call cgraph_inline_failed_string
2455         for text output.
2456         * tree-inline.c (expand_call_inline): Change type of REASON
2457         to cgraph_inline_failed_t.  Replace reason strings with enums.
2458         Call cgraph_inline_failed_string for text output.
2459         * Makefile.in (CGRAPH_H): Add cif-code.def to dependencies.
2460         (cgraph.o): Ditto.
2461
2462 2009-03-28  Jan Hubicka  <jh@suse.cz>
2463
2464         * cgraph.c (cgraph_node, cgraph_remove_node, dump_cgraph_node,
2465         cgraph_clone_node): Remove master clone handling.
2466         (cgraph_is_master_clone, cgraph_master_clone): Remove.
2467         * cgraph.h (master_clone): Remove.
2468         (cgraph_is_master_clone, cgraph_master_clone): Remove.
2469         * ipa-type-escape.c (type_escape_execute): Remove use of master clone.
2470         (tree-ssa-structalias.c (ipa_pta_execute): Likewise.
2471
2472 2009-03-28  Jan Hubicka  <jh@suse.cz>
2473
2474         * cgraph.c (cgraph_function_body_availability): Functions declared
2475         inline are always safe to assume that it is not going to be replaced.
2476
2477 2009-03-28  Richard Guenther  <rguenther@suse.de>
2478
2479         PR tree-optimization/38513
2480         * tree-ssa-pre.c (eliminate): Remove redundant stores.
2481         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle
2482         EXC_PTR_EXPR and FILTER_EXPR.
2483         (get_ref_from_reference_ops): Likewise.
2484
2485 2009-03-28  Richard Guenther  <rguenther@suse.de>
2486
2487         PR tree-optimization/38968
2488         * tree-vect-analyze.c (vect_compute_data_ref_alignment):
2489         Use FLOOR_MOD_EXPR to compute misalignment.
2490
2491 2009-03-28  Richard Guenther  <rguenther@suse.de>
2492
2493         PR tree-optimization/37795
2494         * tree.h (combine_comparisons): Declare.
2495         * fold-const.c (combine_comparisons): Export.
2496         * tree-ssa-ifcombine.c (ifcombine_ifandif): Optimize two successive
2497         comparisons.
2498         (ifcombine_iforif): Use combine_comparisons.
2499
2500 2009-03-28  Jan Hubicka  <jh@suse.cz>
2501
2502         * tree-eh.c (inlinable_call_p): New function.
2503         (make_eh_edges): Use it.
2504         (verify_eh_edges): Use it.
2505         (stmt_can_throw_external, stmt_can_throw_internal): Use it.
2506         * except.c (reachable_next_level): Add inlinable_function argument
2507         (sjlj_find_directly_reachable_regions): Update.
2508         (add_reachable_handler): Do not set saw_any_handlers.
2509         (reachable_next_level): Handle MUST_NOT_THROW more curefully.
2510         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
2511         Add new inlinable call parameter.
2512         (can_throw_internal, can_throw_external): Update.
2513         * except.h (can_throw_internal_1, can_throw_external_1,
2514         foreach_reachable_handler): Update declaration.
2515
2516 2009-03-28  Joseph Myers  <joseph@codesourcery.com>
2517
2518         * config/arm/t-arm-coff, config/h8300/coff.h,
2519         config/i386/i386-aout.h, config/i386/i386-coff.h,
2520         config/libgloss.h, config/m68k/coff.h, config/m68k/m68k-aout.h,
2521         config/pdp11/2bsd.h, config/rs6000/aix41.h,
2522         config/rs6000/aix41.opt, config/rs6000/t-newas, config/sh/coff.h,
2523         fix-header.c, fixproto, gen-protos.c, protoize.c, scan-decls.c,
2524         scan-types.sh, scan.c, scan.h, sort-protos, sys-protos.h,
2525         sys-types.h: Remove.
2526         * Makefile.in: Remove protoize and fixproto support and references
2527         in comments.
2528         (SYSCALLS.c.X-warn, TARGET_GETGROUPS_T, STMP_FIXPROTO,
2529         PROTOIZE_INSTALL_NAME, UNPROTOIZE_INSTALL_NAME, FIXPROTO_DEFINES):
2530         Remove.
2531         (ALL_HOST_OBJS): Remove $(PROTO_OBJS).
2532         (MOSTLYCLEANFILES): Remove protoize$(exeext) and
2533         unprotoize$(exeext).
2534         (rest.encap): Don't depend on $(STMP_FIXPROTO)
2535         (.PHONY): Don't depend on proto.
2536         (libgcc-support): Don't depend on $(STMP_FIXPROTO).
2537         (proto, PROTO_OBJS, protoize$(exeext), unprotoize$(exeext),
2538         protoize.o, unprotoize.o, SYSCALLS.c.X, test-protoize-simple,
2539         deduced.h, GEN_PROTOS_OBJS, build/gen-protos$(build_exeext),
2540         build/gen-protos.o, build/scan.o, xsys-protos.h,
2541         build/fix-header$(build_exeext), build/fix-header.o,
2542         build/scan-decls.o, fixhdr.ready, stmp-fixproto,
2543         stmp-install-fixproto): Remove.
2544         (mostlyclean): Don't remove xsys-protos.hT, SYSCALLS.c.X,
2545         SYSCALLS.c or fixproto files.
2546         (install-common): Don't install protoize.
2547         (install-headers-tar, install-headers-cpio, install-headers-cp):
2548         Don't depend on $(STMP_FIXPROTO).
2549         (install-mkheaders): Don't depend on $(STMP_FIXPROTO).  Don't
2550         install fixproto files or write out fixproto settings.
2551         (uninstall): Don't uninstall protoize.
2552         * config.gcc (use_fixproto): Remove.
2553         (arm-*-coff*, armel-*-coff*, h8300-*-*, i[34567]86-*-aout*,
2554         i[34567]86-*-coff*, m68k-*-aout*, m68k-*-coff*, pdp11-*-bsd,
2555         rs6000-ibm-aix4.[12]*, powerpc-ibm-aix4.[12]*, sh-*-*): Remove.
2556         * config/m32r/t-linux (STMP_FIXPROTO): Remove.
2557         * config/m68k/m68k.c: Remove M68K_TARGET_COFF-conditional code.
2558         * config/mips/t-iris (FIXPROTO_DEFINES): Remove.
2559         * config/pa/t-pa-hpux (FIXPROTO_DEFINES): Remove.
2560         * config/pdp11/pdp11.c: Remove TWO_BSD-conditional code.
2561         * config/t-svr4 (FIXPROTO_DEFINES): Remove.
2562         * config/t-vxworks (STMP_FIXPROTO): Remove.
2563         * configure.ac (AC_TYPE_GETGROUPS, TARGET_GETGROUPS_T,
2564         STMP_FIXPROTO): Remove.
2565         * config.in, configure: Regenerate.
2566         * crtstuff.c (gid_t, uid_t): Don't undefine.
2567         * doc/install.texi: Change m68k-coff to m68k-elf in example.
2568         (arm-*-coff, arm-*-aout: Remove target entries.
2569         (*-ibm-aix*): Mention removal of support for AIX 4.2 and older.
2570         Remove mention of AIX 4.1.
2571         (m68k-*-*): Remove mention of m68k-*-aout and m68k-*-coff*.
2572         * doc/invoke.texi (Running Protoize): Remove.
2573         * doc/trouble.texi (Actual Bugs): Remove mention of fixproto.
2574         (Protoize Caveats): Remove.
2575         * tsystem.h: Update comments on headers assumed to exist.
2576
2577 2009-03-27  Vladimir Makarov  <vmakarov@redhat.com>
2578
2579         * genautomata.c: Add a new year to the copyright.  Add a new
2580         reference.
2581         (struct insn_reserv_decl): Add comments for member bypass_list.
2582         (find_bypass): Remove.
2583         (insert_bypass): New.
2584         (process_decls): Use insert_bypass.
2585         (output_internal_insn_latency_func): Output all bypasses with the
2586         same input insn in one switch case.
2587
2588         * rtl.def (define_bypass): Describe bypass choice.
2589         * doc/md.texi (define_bypass): Ditto.
2590
2591 2009-03-27  Richard Guenther  <rguenther@suse.de>
2592
2593         * gimplify.c (mark_addressable): Export.
2594         * tree-flow.h (mark_addressable): Declare.
2595         * tree-ssa-loop-manip.c (create_iv): Mark the base addressable.
2596         * tree-ssa.c (verify_phi_args): Verify that address taken
2597         variables have TREE_ADDRESSABLE set.
2598
2599 2009-03-27  Richard Guenther  <rguenther@suse.de>
2600
2601         * fold-const.c (build_fold_addr_expr_with_type_1): Rename back to ...
2602         (build_fold_addr_expr_with_type): ... this.  Remove in_fold handling.
2603         Do not mark decls TREE_ADDRESSABLE.
2604         (build_fold_addr_expr): Adjust.
2605         (fold_addr_expr): Remove.
2606         (fold_unary): Use build_fold_addr_expr.
2607         (fold_comparison): Likewise.
2608         (split_address_to_core_and_offset): Likewise.
2609         * coverage.c (tree_coverage_counter_addr): Mark the array decl
2610         TREE_ADDRESSABLE.
2611         * gimplify.c (mark_addressable): Do not exclude RESULT_DECLs.
2612         (gimplify_modify_expr_to_memcpy): Mark source and destination
2613         addressable.
2614         * omp-low.c (create_omp_child_function): Mark the object decl
2615         TREE_ADDRESSABLE.
2616         (lower_rec_input_clauses): Mark the var we take the address of
2617         TREE_ADDRESSABLE.
2618         (lower_omp_taskreg): Mark the sender decl TREE_ADDRESSABLE.
2619
2620 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2621
2622         PR middle-end/39315
2623         * cfgexpand.c (expand_one_stack_var_at): Change alignment
2624         limit to MAX_SUPPORTED_STACK_ALIGNMENT.
2625
2626 2009-03-27  Richard Guenther  <rguenther@suse.de>
2627
2628         PR tree-optimization/39120
2629         * tree-ssa-structalias.c (handle_rhs_call): Fill out return
2630         constraints.
2631         (handle_lhs_call): Process return constraints.  Add escape
2632         constraints if necessary.
2633         (handle_const_call): Fill out return constraints.  Make nested
2634         case more precise.  Avoid consttmp if possible.
2635         (handle_pure_call): Fill out return constraints.  Avoid
2636         callused if possible.
2637         (find_func_aliases): Simplify call handling.
2638
2639 2009-03-27  Richard Guenther  <rguenther@suse.de>
2640
2641         PR tree-optimization/39120
2642         * tree-ssa-structalias.c (do_sd_constraint): Do not use CALLUSED
2643         as a representative.
2644         (solve_graph): Do propagate CALLUSED.
2645         (handle_pure_call): Use a scalar constraint from CALLUSED for
2646         the return value.
2647         (find_what_p_points_to): CALLUSED shall not appear in poins-to
2648         solutions.
2649
2650 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2651
2652         PR c/39323
2653         * c-common.c (handle_aligned_attribute): Properly check alignment
2654         overflow.  Use (1U << i) instead of (1 << i).
2655
2656         * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align.
2657
2658         * expr.h (get_mem_align_offset): Updated.
2659
2660         * tree.h (tree_decl_common): Change align to "unsigned int" and
2661         move it before pointer_alias_set.
2662
2663 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2664             Jakub Jelinek  <jakub@redhat.com>
2665
2666         PR target/38034
2667         * config/ia64/sync.md (cmpxchg_rel_<mode>): Replace input
2668         gr_register_operand with gr_reg_or_0_operand.
2669         (cmpxchg_rel_di): Likewise.
2670         (sync_lock_test_and_set<mode>): Likewise.
2671
2672 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2673
2674         * jump.c (rtx_renumbered_equal_p): Use subreg_get_info.
2675         (true_regnum): Likewise.
2676
2677         * rtlanal.c (subreg_info): Moved to ...
2678         * rtl.h (subreg_info): Here.  New.
2679         (subreg_get_info): New.
2680
2681         * rtlanal.c (subreg_get_info): Make it extern.
2682
2683 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2684
2685         PR target/39472
2686         * config/i386/i386.c (ix86_abi): New.
2687         (override_options): Handle -mabi=.
2688         (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi.
2689         (ix86_call_abi_override): Likewise.
2690         (init_cumulative_args): Likewise.
2691         (function_arg_advance): Likewise.
2692         (function_arg_64): Likewise.
2693         (function_arg): Likewise.
2694         (ix86_pass_by_reference): Likewise.
2695         (ix86_function_value_regno_p): Likewise.
2696         (ix86_build_builtin_va_list_abi): Likewise.
2697         (setup_incoming_varargs_64): Likewise.
2698         (is_va_list_char_pointer): Likewise.
2699         (ix86_init_machine_status): Likewise.
2700         (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi.
2701         (ix86_function_type_abi): Return enum calling_abi.  Rewrite
2702         for 64bit.  Replace DEFAULT_ABI with ix86_abi.
2703         (ix86_function_abi): Make it static and return enum calling_abi.
2704         (ix86_cfun_abi): Return enum calling_abi.  Replace DEFAULT_ABI
2705         with ix86_abi.
2706         (ix86_fn_abi_va_list): Updated.
2707
2708         * config/i386/i386.h (ix86_abi): New.
2709         (STACK_BOUNDARY): Replace DEFAULT_ABI with ix86_abi.
2710         (CONDITIONAL_REGISTER_USAGE): Likewise.
2711         (CUMULATIVE_ARGS): Change call_abi type to enum calling_abi.
2712         (machine_function): Likewise.
2713
2714         * config/i386/i386.md (untyped_call): Replace DEFAULT_ABI
2715         with ix86_abi.
2716         * config/i386/cygming.h (TARGET_64BIT_MS_ABI): Likewise.
2717         (STACK_BOUNDARY): Likewise.
2718         * config/i386/mingw32.h (EXTRA_OS_CPP_BUILTINS): Likewise.
2719
2720         * config/i386/i386.opt (mabi=): New.
2721
2722         * config/i386/i386-protos.h (ix86_cfun_abi): Changed to
2723         return enum calling_abi.
2724         (ix86_function_type_abi): Likewise.
2725         (ix86_function_abi): Removed.
2726
2727         * doc/invoke.texi: Document -mabi= option for x86.
2728
2729 2009-03-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2730
2731         * builtins.c (real_dconstp): Delete.
2732         (fold_builtin_logarithm): Remove inaccurate log(e) special case.
2733
2734 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
2735             Jakub Jelinek  <jakub@redhat.com>
2736
2737         PR debug/37959
2738         * dwarf2out.c (dwarf_attr_name): Handle DW_AT_explicit attribute.
2739         (gen_subprogram_die): When a function is explicit, generate the
2740         DW_AT_explicit attribute.
2741         * langhooks.h (struct lang_hooks_for_decls): Add
2742         function_decl_explicit_p langhook.
2743         * langhooks-def.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
2744         (LANG_HOOKS_DECLS): Add LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P.
2745
2746 2009-03-27  Jakub Jelinek  <jakub@redhat.com>
2747
2748         * builtins.c (fold_builtin_memory_op): Optimize memmove
2749         into memcpy if we can prove source and destination don't overlap.
2750
2751         * tree-inline.c: Include gt-tree-inline.h.
2752         (clone_fn_id_num): New variable.
2753         (clone_function_name): New function.
2754         (tree_function_versioning): Use it.
2755         * Makefile.in (GTFILES): Add tree-inline.c.
2756
2757 2009-03-27  Mark Mitchell  <mark@codesourcery.com>
2758
2759         * BASE-VER: Change to 4.5.0.
2760
2761 2009-03-27  Xinliang David Li  <davidxl@google.com>
2762
2763         PR tree-optimization/39557
2764         * tree-ssa.c (warn_uninitialized_vars): free postdom info.
2765
2766 2009-03-27  Xinliang David Li  <davidxl@google.com>
2767
2768         PR tree-optimization/39548
2769         * tree-ssa-copy.c (copy_prop_visit_phi_node): Add copy 
2770         candidate check.
2771
2772 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2773
2774         * c-common.c (pointer_int_sum): Use %wd on return from
2775         tree_low_cst.
2776
2777 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
2778
2779         * c-common.c (pointer_int_sum): Use HOST_WIDE_INT_PRINT_DEC
2780         on return from tree_low_cst.
2781
2782 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2783
2784         PR c++/36799
2785         * ginclude/stdarg.h (va_copy): Define also for
2786         __GXX_EXPERIMENTAL_CXX0X__.
2787
2788 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2789
2790         PR c++/35652
2791         * builtins.h (c_strlen): Do not warn here.
2792         * c-typeck.c (build_binary_op): Adjust calls to pointer_int_sum.
2793         * c-common.c (pointer_int_sum): Take an explicit location.
2794         Warn about offsets out of bounds.
2795         * c-common.h (pointer_int_sum): Adjust declaration.
2796
2797 2009-03-26  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2798
2799         * doc/invoke.texi (i386 and x86-64 Windows Options): Fix texinfo
2800         markup glitch.
2801
2802 2009-03-26  Jakub Jelinek  <jakub@redhat.com>
2803
2804         PR c++/39554
2805         * opts.c (warn_if_disallowed_function_p): Don't assume
2806         get_callee_fndecl must return non-NULL.
2807
2808 2009-03-26  Vladimir Makarov  <vmakarov@redhat.com>
2809
2810         PR rtl-optimization/39522
2811         * reload1.c (reload_as_needed): Invalidate reg_last_reload_reg too
2812         when reg_reloaded_valid is set.
2813
2814 2009-03-26  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2815
2816         * config/spu/divv2df3.c: New file.
2817         * config/spu/t-spu-elf (LIB2FUNCS_STATIC_EXTRA): Add it.
2818         (DPBIT_FUNCS): Filter out _div_df.
2819
2820 2009-03-26  Bernd Schmidt  <bernd.schmidt@analog.com>
2821
2822         * config/bfin/bfin.c (bfin_optimize_loop): If the LSETUP goes before
2823         a jump insn, count that jump in the distance to the loop start.
2824
2825 2009-03-25  Kaz Kojima  <kkojima@gcc.gnu.org>
2826
2827         PR target/39523
2828         * config/sh/sh.c (calc_live_regs): Fix condition for global
2829         registers except PIC_OFFSET_TABLE_REGNUM.
2830
2831 2009-03-25  Kai Tietz  <kai.tietz@onevision.com>
2832
2833         PR/39518
2834         * doc/invoke.texi (-mconsole): New.
2835         (-mcygwin): New.
2836         (-mno-cygwin): New.
2837         (-mdll): New.
2838         (-mnop-fun-dllimport): New.
2839         (-mthread): New.
2840         (-mwin32): New.
2841         (-mwindows): New.
2842         (sub section "i386 and x86-64 Windows Options"): New.
2843
2844 2009-03-25  Ralf Cors├ępius <ralf.corsepius@rtems.org>
2845
2846         * config/arm/rtems-elf.h: Remove LINK_GCC_C_SEQUENCE_SPEC.
2847         * config/rs6000/t-rtems: Remove MULTILIB_EXTRA_OPTS.
2848
2849 2009-03-25  Richard Guenther  <rguenther@suse.de>
2850
2851         PR middle-end/39497
2852         * Makefile.in (dfp.o-warn): Use -fno-strict-aliasing instead
2853         of -Wno-error.
2854
2855 2009-03-25  Andrey Belevantsev  <abel@ispras.ru>
2856
2857         * config/ia64/ia64.c (ia64_set_sched_flags): Zero spec_info->mask when
2858         neither of haifa/selective schedulers are working.
2859
2860 2009-03-25  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2861
2862         * doc/invoke.texi (Debugging Options): Fix description of
2863         -fno-merge-debug-strings.
2864
2865 2009-03-24  Hans-Peter Nilsson  <hp@axis.com>
2866
2867         * config/cris/libgcc.ver: New version-script.
2868         * config/cris/t-linux (SHLIB_MAPFILES): Use it.
2869
2870         * configure.ac <GAS features, nop mnemonic>: Add pattern
2871         crisv32-*-* for "nop".
2872         <GAS features, Thread-local storage>: Add item for CRIS and CRIS v32.
2873         * configure: Regenerate.
2874
2875 2009-03-24  Ira Rosen  <irar@il.ibm.com>
2876
2877         PR tree-optimization/39529
2878         * tree-vect-transform.c (vect_create_data_ref_ptr): Call
2879         mark_sym_for_renaming for the tag copied to the new vector
2880         pointer.
2881
2882 2009-03-24  Arthur Loiret  <aloiret@debian.org>
2883
2884         * config.host (alpha*-*-linux*): Use driver-alpha.o and alpha/x-alpha.
2885         * config/alpha/linux.h (host_detect_local_cpu): Declare, add to
2886         EXTRA_SPEC_FUNCTIONS.
2887         (MCPU_MTUNE_NATIVE_SPECS, DRIVER_SELF_SPECS): New macros.
2888         * config/alpha/driver-alpha.c, config/alpha/x-alpha: New.
2889         * doc/invoke.texi (DEC Alpha Options): Document 'native' value for
2890         -march and -mtune options.
2891
2892 2009-03-24  Ralf Cors├ępius <ralf.corsepius@rtems.org>
2893
2894         * config/m68k/t-rtems: Add m5329 multilib.
2895
2896 2009-03-24  Dodji Seketeli  <dodji@redhat.com>
2897             Jakub Jelinek  <jakub@redhat.com>
2898
2899         PR debug/39524
2900         * dwarf2out.c (gen_variable_die): Avoid adding duplicate declaration
2901         nodes.
2902
2903 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
2904
2905         PR c/39495
2906         * c-parser.c (c_parser_omp_for_loop): Call c_parser_binary_expression
2907         instead of c_parser_expression_conv, if original_code isn't one of the
2908         4 allowed comparison codes, fail.
2909
2910 2009-03-23  Richard Guenther  <rguenther@suse.de>
2911
2912         * cgraph.h (struct cgraph_node): Reorder fields for 64-bit hosts.
2913         * tree.h (struct tree_type): Likewise.
2914         * reload.h (struct insn_chain): Likewise.
2915         * dwarf2out.c (struct dw_loc_descr_struct): Likewise.
2916         * function.h (struct function): Likewise.
2917         * tree-ssa-structalias.c (struct equiv_class_label): Likewise.
2918
2919 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
2920
2921         PR tree-optimization/39516
2922         * lambda-code.c (perfect_nestify): Fix type of the uboundvar variable.
2923
2924 2009-03-23 Bingfeng Mei  <bmei@broadcom.com>
2925
2926         * config.gcc (need_64bit_hwint): Make clear that need_64bit_hwint 
2927         should be set true if BITS_PER_WORD of target is bigger than 32
2928
2929 2009-03-22  Hans-Peter Nilsson  <hp@axis.com>
2930
2931         * config/cris/linux.h (CRIS_LINK_SUBTARGET_SPEC):
2932         Translate -B-options to -rpath-link.  Correct existing
2933         rpath-link and conditionalize on !nostdlib.
2934
2935 2009-03-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2936
2937         * doc/extend.texi (Function Attributes, Variable Attributes):
2938         Fix typos.
2939         * doc/invoke.texi (Debugging Options, Optimize Options)
2940         (i386 and x86-64 Options, MCore Options): Likewise.
2941
2942 2009-03-20  Jakub Jelinek  <jakub@redhat.com>
2943
2944         PR debug/37890
2945         * dwarf2out.c (gen_namespace_die): Add context_die argument and use
2946         it for block local namespace aliases.
2947         (gen_decl_die): Pass context_die to gen_namespace_die.
2948
2949 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
2950
2951         PR c/39495
2952         * c-omp.c (c_finish_omp_for): Allow NE_EXPR with TREE_TYPE (decl)'s
2953         minimum or maximum value.
2954
2955 2009-03-19  Alexandre Oliva  <aoliva@redhat.com>
2956
2957         * reginfo.c (globalize_reg): Recompute derived reg sets.
2958
2959 2009-03-19  Ozkan Sezer <sezeroz@gmail.com>
2960
2961         PR target/39063
2962         * libgcc2.c (mprotect): Do not use signed arguments for
2963         VirtualProtect, use DWORD arguments.  Also fix the 'may
2964         be used uninitialized' warning for the np variable.
2965
2966 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
2967
2968         PR target/39496
2969         * config/i386/i386.c (ix86_function_regparm): Don't optimize local
2970         functions using regparm calling conventions when not optimizing.
2971         (ix86_function_sseregparm): Similarly for sseregparm calling
2972         conventions.
2973
2974 2009-03-19  Li Feng  <nemokingdom@gmail.com>
2975
2976         PR middle-end/39500
2977         * tree-data-ref.c (analyze_subscript_affine_affine): There is no
2978         dependence if the first conflict is after niter iterations.
2979
2980 2009-03-19  Hans-Peter Nilsson  <hp@axis.com>
2981
2982         PR middle-end/38609
2983         * config/cris/cris.h (FRAME_POINTER_REQUIRED): Force for all
2984         functions with dynamic stack-pointer adjustments.
2985
2986 2009-03-19  Ben Elliston  <bje@au.ibm.com>
2987
2988         * doc/invoke.texi (RS/6000 and PowerPC Options): Fix -msdata-data
2989         option; change to -msdata=data.
2990
2991 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2992
2993         * c.opt: Unify help texts for -Wdeprecated, -Wsystem-headers,
2994         and -fopenmp.
2995
2996 2009-03-18  Eric Botcazou  <ebotcazou@adacore.com>
2997
2998         PR target/35180
2999         * config/sparc/sparc.md (do_builtin_setjmp_setup): Prettify asm output.
3000
3001 2009-03-18  Sandra Loosemore  <sandra@codesourcery.com>
3002
3003         * doc/invoke.texi (Code Gen Options): Expand discussion of
3004         -fno-common.
3005
3006 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
3007
3008         * dse.c (struct group_info): Reorder fields for 64-bit hosts.
3009         * matrix-reorg.c (struct matrix_info): Likewise.
3010         * tree-ssa-loop-ivopts.c (struct ivopts_data): Likewise.
3011         * rtl.h (struct mem_attrs): Likewise.
3012         * df.h (struct df): Likewise.
3013         * tree-data-ref.h (struct data_dependence_relation): Likewise.
3014         * ira-int.h (struct ira_allocno): Likewise.
3015         * df-scan.c (struct df_collection_rec): Likewise.
3016         * ira.c (struct equivalence): Likewise.
3017         * function.c (struct temp_slot): Likewise.
3018         * cfgloop.h (struct loop): Likewise.
3019
3020         PR debug/39485
3021         * function.c (use_register_for_decl): When not optimizing, disregard
3022         register keyword for variables with types containing methods.
3023
3024 2009-03-18  Sebastian Pop  <sebastian.pop@amd.com>
3025
3026         PR middle-end/39447
3027         * graphite.c (exclude_component_ref): Renamed contains_component_ref_p.
3028         (is_simple_operand): Call contains_component_ref_p before calling data
3029         reference analysis that would fail on COMPONENT_REFs.
3030
3031         * tree-vrp.c (search_for_addr_array): Fix formatting.
3032
3033 2009-03-18  Richard Guenther  <rguenther@suse.de>
3034
3035         * tree-vect-transform.c (vect_loop_versioning): Fold the
3036         generated comparisons.
3037         * tree-vectorizer.c (set_prologue_iterations): Likewise.
3038         (slpeel_tree_peel_loop_to_edge): Likewise.
3039
3040 2009-03-17  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3041
3042         PR middle-end/37805
3043         * opts.c (print_specific_help): In addition to `undocumented',
3044         accept `separate' and `joined' flags if passed alone.  Describe
3045         output by the first matched one of those.
3046         (common_handle_option): Skip over empty strings.
3047         * gcc.c (display_help): Fix help string for `--help='.
3048         * doc/invoke.texi (Option Summary, Overall Options): With
3049         `--help=', classes and qualifiers can both be repeated, but
3050         only the latter can be negated.  One should not pass only
3051         negated qualifiers.  Fix markup and examples.
3052
3053         Revert
3054         2008-10-14  Jakub Jelinek  <jakub@redhat.com>
3055         PR middle-end/37805
3056         * opts.c (common_handle_option): Don't ICE on -fhelp=joined
3057         and -fhelp=separate.
3058
3059 2009-03-17  Jing Yu  <jingyu@google.com>
3060
3061         PR middle-end/39378
3062         * function.h (struct rtl_data): Move is_thunk from here...
3063         (struct function): ...to here.
3064         * cp/method.c (use_thunk): Change is_thunk from crtl to cfun.
3065         * varasm.c (assemble_start_function): Change is_thunk from crtl to
3066         cfun.
3067         * config/alpha/alpha.c (alpha_sa_mask): Change is_thunk from crtl to
3068         cfun.
3069         (alpha_does_function_need_gp, alpha_start_function): Likewise.
3070         (alpha_output_function_end_prologue): Likewise.
3071         (alpha_end_function, alpha_output_mi_thunk_osf): Likewise.
3072         * config/rs6000/rs6000.c (rs6000_ra_ever_killed): Likewise.
3073         (rs6000_output_function_epilogue): Likewise.
3074         * config/arm/arm.h (ARM_DECLARE_FUNCTION_NAME): Likewise.
3075
3076 2009-03-17  Uros Bizjak  <ubizjak@gmail.com>
3077
3078         PR target/39482
3079         * config/i386/i386.md (*truncdfsf_mixed): Avoid combining registers
3080         from different units in a single alternative.
3081         (*truncdfsf_i387): Ditto.
3082         (*truncxfsf2_mixed): Ditto.
3083         (*truncxfdf2_mixed): Ditto.
3084
3085 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
3086
3087         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): Allow
3088         non-NAMESPACE_DECL IMPORTED_DECL_ASSOCIATED_DECL.
3089
3090         PR debug/39474
3091         * tree-ssa-live.c (remove_unused_locals): Don't remove local
3092         unused non-artificial variables when not optimizing.
3093
3094         PR debug/39471
3095         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): Emit
3096         DW_TAG_imported_module even if decl is IMPORTED_DECL with
3097         NAMESPACE_DECL in its DECL_INITIAL.
3098
3099         PR middle-end/39443
3100         * optabs.c (set_user_assembler_libfunc): New function.
3101         * expr.h (set_user_assembler_libfunc): New prototype.
3102         * c-common.c: Include libfuncs.h.
3103         (set_builtin_user_assembler_name): Call set_user_assembler_libfunc
3104         for memcmp, memset, memcpy, memmove and abort.
3105         * Makefile.in (c-common.o): Depend on libfuncs.h.
3106
3107         PR debug/39412
3108         * dwarf2out.c (gen_inlined_enumeration_type_die,
3109         gen_inlined_structure_type_die, gen_inlined_union_type_die,
3110         gen_tagged_type_instantiation_die): Removed.
3111         (gen_decl_die): For TYPE_DECL_IS_STUB with non-NULL decl_origin
3112         do nothing.
3113
3114 2009-03-17  Janis Johnson  <janis187@us.ibm.com>
3115
3116         PR testsuite/38526
3117         * Makefile.in (site.exp): Rename TEST_GCC_EXEC_PREFIX and comment
3118         its use.
3119         (check-%): Don't set GCC_EXEC_PREFIX when invoking runtest.
3120         (check-parallel-%): Ditto.
3121         (check-consistency): Ditto.
3122
3123 2009-03-17  Kai Tietz  <kai.tietz@onevision.com>
3124
3125         * ipa-struct-reorg.c (create_general_new_stmt): Initialize
3126         local variable rhs by NULL_TREE.
3127
3128 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
3129
3130         PR target/39477
3131         * doc/extend.texi: Correct register behavior for regparm on Intel 386.
3132
3133 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
3134
3135         PR target/39476
3136         * config/i386/i386.c (ix86_function_regparm): Rewrite for 64bit.
3137
3138 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
3139
3140         PR target/39473
3141         * config/i386/i386.c (ix86_expand_call): Check extra clobbers
3142         for ms->sysv ABI calls only in 64bit mode.
3143
3144         * config/i386/i386.md (untyped_call): Support 32bit.
3145
3146 2009-03-16  H.J. Lu  <hongjiu.lu@intel.com>
3147
3148         * doc/extend.texi: Replace x86_65 with x86_64.
3149
3150 2009-03-16  Jakub Jelinek  <jakub@redhat.com>
3151
3152         PR tree-optimization/39455
3153         * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Fix types
3154         mismatches for POINTER_TYPE_P (type).
3155         (number_of_iterations_le): Likewise.
3156
3157 2009-03-16  Hariharan Sandanagobalane <hariharan@picochip.com>
3158
3159         * config/picochip/picochip.c: Removed profiling support.
3160         * config/picochip/picochip.md: Removed profiling instruction.
3161         * config/picochip/picochip.h: Removed profiling builtin.
3162
3163 2009-03-16  Joseph Myers  <joseph@codesourcery.com>
3164
3165         * doc/install.texi (--with-host-libstdcxx): Document.
3166
3167 2009-03-14  Anatoly Sokolov  <aesok@post.ru>
3168
3169         PR target/34299
3170         * config/avr/avr.c (avr_handle_fndecl_attribute): Move code for
3171         generate a warning if the function name does not begin with
3172         "__vector" and the function has either the 'signal' or 'interrupt'
3173         attribute, from here to ...
3174         (avr_declare_function_name): ...here. New function.
3175         * config/avr/avr.h (ASM_DECLARE_FUNCTION_NAME): Redefine.
3176         * config/avr/avr-protos.h (avr_declare_function_name): Declare.
3177
3178 2009-03-14  Jakub Jelinek  <jakub@redhat.com>
3179
3180         PR bootstrap/39454
3181         * cse.c (fold_rtx): Don't modify original const_arg1 when
3182         canonicalizing SHIFT_COUNT_TRUNCATED shift count, do it on a
3183         separate variable instead.
3184         * rtlanal.c (nonzero_bits1) <case ASHIFTRT>: Don't assume anything
3185         from out of range shift counts.
3186         (num_sign_bit_copies1) <case ASHIFTRT, case ASHIFT>: Similarly.
3187
3188 2008-03-13  Catherine Moore  <clm@codesourcery.com>
3189
3190         * gcc/config/i386/x-mingw32 (host-mingw32.o): Replace
3191         diagnostic.h with $(DIAGNOSTIC_H).
3192
3193 2008-03-12  Jakub Jelinek  <jakub@redhat.com>
3194
3195         PR target/39431
3196         * config/i386/predicates.md (cmpxchg8b_pic_memory_operand): New
3197         predicate.
3198         * config/i386/sync.md (sync_compare_and_swap<mode>,
3199         sync_compare_and_swap_cc<mode>): For DImode with -m32 -fpic check
3200         if operands[1] is cmpxchg8b_pic_memory_operand, if not force address
3201         into a register.
3202         (sync_double_compare_and_swapdi_pic,
3203         sync_double_compare_and_swap_ccdi_pic): Require operand 1 to be
3204         cmpxchg8b_pic_memory_operand instead of just memory_operand.
3205
3206 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
3207
3208         PR target/39445
3209         * config/i386/i386.c (ix86_expand_push): Don't set memory alignment.
3210
3211 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
3212
3213         PR target/39327
3214         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
3215         (avx_addsubv4df3): Likewise.
3216         (*avx_addsubv4sf3): Likewise.
3217         (sse3_addsubv4sf3): Likewise.
3218
3219 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
3220
3221         PR target/38824
3222         * config/i386/i386.md: Compare REGNO on the new peephole2 patterns.
3223
3224 2009-03-12  Vladimir Makarov  <vmakarov@redhat.com>
3225
3226         PR debug/39432
3227         * ira-int.h (struct allocno): Fix comment for calls_crossed_num.
3228         * ira-conflicts.c (ira_build_conflicts): Prohibit call used
3229         registers for allocnos created from user-defined variables.
3230
3231 2009-03-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3232
3233         PR target/39181
3234         * config/spu/spu.c (spu_expand_mov): Handle invalid subregs
3235         of non-integer mode as well.
3236
3237 2009-03-11  Adam Nemet  <anemet@caviumnetworks.com>
3238
3239         * gimplify.c (gimplify_call_expr): Don't set CALL_CANNOT_INLINE_P
3240         for functions for which the parameter types are unknown.
3241
3242 2009-03-11  Jakub Jelinek  <jakub@redhat.com>
3243
3244         PR target/39137
3245         * cfgexpand.c (get_decl_align_unit): Use LOCAL_DECL_ALIGNMENT macro.
3246         * defaults.h (LOCAL_DECL_ALIGNMENT): Define if not yet defined.
3247         * config/i386/i386.h (LOCAL_DECL_ALIGNMENT): Define.
3248         * config/i386/i386.c (ix86_local_alignment): For
3249         -m32 -mpreferred-stack-boundary=2 use 32-bit alignment for
3250         long long variables on the stack to avoid dynamic realignment.
3251         Allow the first argument to be a decl rather than type.
3252         * doc/tm.texi (LOCAL_DECL_ALIGNMENT): Document.
3253
3254 2009-03-11  Nick Clifton  <nickc@redhat.com>
3255
3256         PR target/5362
3257         * config/mcore/mcore.opt: Remove deprecated m4align and m8align
3258         options.
3259         Add description to mno-lsim option.
3260         * config/mcore/mcore.h: Remove comment about deprecated m4align
3261         option.
3262         (TARGET_DEFAULT): Remove deprecated MASK_M8ALIGN.
3263         * doc/invoke.texi: Add description of mno-lsim and
3264         mstack-increment options.
3265
3266         * config/fr30/fr30.opt: Document the -mno-lsim option.
3267         * doc/invoke.texi: Add descriptions of the FR30's -msmall-model
3268         and -mno-lsim options.
3269
3270 2009-03-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3271
3272         * fold-const.c (fold_comparison): Only call fold_inf_compare
3273         if the mode supports infinities.
3274
3275 2009-03-11  Jason Merrill  <jason@redhat.com>
3276
3277         PR debug/39086
3278         * tree-nrv.c (tree_nrv): Don't do this optimization if the front
3279         end already did.  Notice GIMPLE_CALL modifications of the result.
3280         Don't copy debug information from an ignored decl or a decl from
3281         another function.
3282
3283 2009-03-10  Richard Guenther  <rguenther@suse.de>
3284             Nathan Froyd  <froydnj@codesourcery.com>
3285
3286         PR middle-end/37850
3287         * libgcc2.c (__mulMODE3): Use explicit assignments to form the result.
3288         (__divMODE3): Likewise.
3289
3290 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
3291
3292         PR tree-optimization/39394
3293         * gimplify.c (gimplify_type_sizes): Gimplify DECL_SIZE and
3294         DECL_SIZE_UNIT of variable length FIELD_DECLs.
3295
3296 2009-03-09  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3297
3298         * recog.c (verfiy_changes): Disallow renaming of hard regs in
3299         inline asms for register asm ("") declarations.
3300
3301 2009-03-09  Eric Botcazou  <ebotcazou@adacore.com>
3302
3303         * fold-const.c (fold_unary): Fix comment.
3304
3305 2009-03-07  Jan Hubicka  <jh@suse.cz>
3306
3307         PR target/39361
3308         * tree-inline.c (setup_one_parameter): Do replacement of const
3309         argument by constant in SSA form.
3310
3311 2009-03-07  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3312
3313         PR middle-end/38028
3314         * function.c (assign_parm_setup_stack): Use STACK_SLOT_ALIGNMENT to
3315         determine alignment passed to assign_stack_local.
3316         (assign_parms_unsplit_complex): Likewise.
3317         * except.c (sjlj_build_landing_pads): Likewise.
3318
3319 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
3320
3321         PR middle-end/39360
3322         * tree-flow.h (add_referenced_var): Return bool instead of void.
3323         * tree-dfa.c (add_referenced_var): Return result of
3324         referenced_var_check_and_insert call.
3325         * tree-inline.c (expand_call_inline): Call add_referenced_var instead
3326         of referenced_var_check_and_insert.
3327
3328         PR debug/39372
3329         * dwarf2out.c (add_abstract_origin_attribute): Return origin_die.
3330         (gen_variable_die): Emit DW_AT_location on abstract static variable's
3331         DIE, don't emit it if abstract origin already has it.
3332         * tree-cfg.c (remove_useless_stmts_bind): GIMPLE_BINDs with any
3333         BLOCK_NONLOCALIZED_VARS in its gimple_bind_block aren't useless.
3334
3335 2009-03-06  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
3336
3337         * genpreds.c (needs_variable): Fix parentheses at variable name
3338         detection.
3339         (write_tm_constrs_h): Indent generated code.
3340
3341 2009-03-06  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
3342
3343         * doc/extend.texi (Function Attributes): Add documentation
3344         for isr attributes.
3345
3346 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
3347
3348         PR debug/39387
3349         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): For IMPORTED_DECL
3350         take locus from its DECL_SOURCE_LOCATION instead of input_location.
3351
3352 2009-03-05  Bernd Schmidt  <bernd.schmidt@analog.com>
3353
3354         * config/bfin/bfin.c (bfin_discover_loop): When retrying fails, mark
3355         the loop as bad.
3356
3357 2009-03-05  Jakub Jelinek  <jakub@redhat.com>
3358
3359         PR debug/39379
3360         * tree-cfg.c (remove_useless_stmts_bind): Don't remove GIMPLE_BINDs
3361         with blocks containing IMPORTED_DECLs in BLOCK_VARS.
3362
3363 2009-03-05  Uros Bizjak  <ubizjak@gmail.com>
3364
3365         * config/i386/i386.md (R8_REG, R9_REG): New constants.
3366         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Use named
3367         constants instead of magic numbers.
3368         (HARD_REGNO_CALLER_SAVE_MODE): Ditto.
3369         (QI_REG_P): Ditto.
3370         * config/i386/i386.c (x86_64_int_parameter_registers): Ditto.
3371         (x86_64_ms_abi_int_parameter_registers): Ditto.
3372         (x86_64_int_return_registers): Ditto.
3373         (ix86_maybe_switch_abi): Ditto.
3374         (ix86_expand_call): Ditto for clobbered_registers array.
3375         (ix86_hard_regno_mode_ok): Ditto.
3376         (x86_extended_QIreg_mentioned_p): Ditto.
3377
3378 2009-03-05  J"orn Rennecke  <joern.rennecke@arc.com>
3379
3380         PR tree-optimization/39349
3381         * cse.c (cse_insn): Fix loop to stop at VOIDmode.
3382
3383         * combine.c (gen_lowpart_for_combine): Use omode when generating
3384         clobber.
3385
3386 2009-03-04  J"orn Rennecke  <joern.rennecke@arc.com>
3387
3388         PR rtl-optimization/39235
3389         * loop-iv.c (get_simple_loop_desc): Use XCNEW.
3390
3391 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
3392
3393         * graphite.c (nb_reductions_in_loop): Update simple_iv arguments.
3394
3395 2009-03-04  Richard Guenther  <rguenther@suse.de>
3396
3397         PR tree-optimization/39362
3398         * tree-ssa-sccvn.c (visit_use): Stores and copies from SSA_NAMEs
3399         that occur in abnormal PHIs should be varying.
3400
3401 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
3402
3403         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop):
3404         Extend comments.
3405         (simple_iv):  Take loop as an argument instead of statement.
3406         * tree-scalar-evolution.h (simple_iv): Declaration changed.
3407         * tree-ssa-loop-niter.c (number_of_iterations_exit): Update calls
3408         to simple_iv.
3409         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev):
3410         Ditto.
3411         * tree-parloops.c (loop_parallel_p, canonicalize_loop_ivs): Ditto.
3412         * matrix-reorg.c (analyze_transpose): Ditto.
3413         * tree-data-ref.c (dr_analyze_innermost): Ditto.
3414         * tree-vect-analyze.c (vect_analyze_data_refs): Ditto.
3415         * tree-predcom.c (ref_at_iteration): Ditto.
3416         * tree-ssa-loop-prefetch.c (idx_analyze_ref): Ditto.
3417
3418 2009-03-04  Richard Guenther  <rguenther@suse.de>
3419
3420         PR tree-optimization/39358
3421         * tree-ssa-structalias.c (do_sd_constraint): Fix check for
3422         escaped_id and callused_id.
3423         (solve_graph): Likewise.
3424
3425 2009-03-04  Richard Guenther  <rguenther@suse.de>
3426
3427         PR tree-optimization/39339
3428         * tree-sra.c (try_instantiate_multiple_fields): Make it
3429         no longer ICE on the above.
3430
3431 2009-03-03  Joseph Myers  <joseph@codesourcery.com>
3432
3433         * emit-rtl.c (adjust_address_1): Reduce offset to a signed value
3434         that fits within Pmode.
3435
3436 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
3437
3438         PR middle-end/10109
3439         * tm.texi (LIBCALL_VALUE): Update description.
3440
3441 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
3442
3443         PR middle-end/34443
3444         * doc/extend.texi (section): Update description.
3445
3446 2009-03-03  H.J. Lu  <hongjiu.lu@intel.com>
3447
3448         PR middle-end/39345
3449         * tree-inline.c (remapped_type): New.
3450         (can_be_nonlocal): Call remapped_type instead of remap_type.
3451
3452 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
3453
3454         PR fortran/39354
3455         * gimplify.c (goa_stabilize_expr): Handle tcc_comparison,
3456         TRUTH_ANDIF_EXPR and TRUTH_ORIF_EXPR.
3457
3458 2009-03-03  Richard Guenther  <rguenther@suse.de>
3459
3460         PR middle-end/39272
3461         * tree.c (tree_nonartificial_location): New function.
3462         * tree.h (tree_nonartificial_location): Declare.
3463         * builtins.c (expand_builtin_memory_chk): Provide location
3464         of the call location for artificial function pieces.
3465         (maybe_emit_chk_warning): Likewise.
3466         (maybe_emit_sprintf_chk_warning): Likewise.
3467         (maybe_emit_free_warning): Likewise.
3468         * expr.c (expand_expr_real_1): Likewise.
3469
3470 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
3471
3472         PR tree-optimization/39343
3473         * tree-ssa-ccp.c (maybe_fold_offset_to_address): Don't check if
3474         COMPONENT_REF t has ARRAY_TYPE.
3475
3476 2009-03-02  Sebastian Pop  <sebastian.pop@amd.com>
3477
3478         PR middle-end/39335
3479         * tree-parloops.c (canonicalize_loop_ivs): Call fold_convert
3480         when the type precision of the induction variable should be
3481         larger than the type precision of nit.
3482         (gen_parallel_loop): Update use of canonicalize_loop_ivs.
3483         * graphite.c (graphite_loop_normal_form): Same.
3484         * tree-flow.h (canonicalize_loop_ivs): Update declaration.
3485
3486 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
3487
3488         * config/i386/i386.md (ST?_REG, MM?_REG): New constants.
3489         (*call_1_rex64_ms_sysv): Use named constants instead of magic
3490         numbers to describe clobbered registers.
3491         (*call_value_0_rex64_ms_sysv): Ditto.
3492         * config/i386/mmx.md (mmx_emms): Ditto.
3493         (mmx_femms): Ditto.
3494
3495 2009-03-02  Richard Sandiford  <rdsandiford@googlemail.com>
3496
3497         * config/mips/mips.c (mips_mdebug_abi_name): Fix the handling
3498         of ABI_64.
3499
3500 2009-03-02  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3501
3502         * config/spu/spu.c (TARGET_SECTION_TYPE_FLAGS): Define.
3503         (spu_section_type_flags): New function.
3504
3505 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
3506
3507         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not copy
3508         reg_class_contents of FLOAT_REGS into a temporary.
3509
3510 2009-03-02  Richard Guenther  <rguenther@suse.de>
3511             Ira Rosen  <irar@il.ibm.com>
3512
3513         PR tree-optimization/39318
3514         * tree-vect-transform.c (vectorizable_call): Transfer the EH region
3515         information to the vectorized statement.
3516
3517 2009-03-01  Uros Bizjak  <ubizjak@gmail.com>
3518
3519         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not shadow "i"
3520         variable.  Use defined names instead of magic constants for REX SSE
3521         registers.
3522
3523 2009-03-01  Richard Guenther  <rguenther@suse.de>
3524
3525         PR tree-optimization/39331
3526         * omp-low.c (lower_send_shared_vars): Do not receive new
3527         values for the reference of DECL_BY_REFERENCE parms or results.
3528
3529 2009-03-01  Jan Hubicka  <jh@suse.cz>
3530
3531         PR debug/39267
3532         * tree.h (BLOCK_NONLOCALIZED_VARS, BLOCK_NUM_NONLOCALIZED_VARS,
3533         BLOCK_NONLOCALIZED_VAR): New macros.
3534         (tree_block): Add nonlocalized_vars.
3535         * dwarf2out.c (gen_formal_parameter_die, gen_variable_die,
3536         gen_decl_die): Add origin argument.  Allow generation of die with
3537         origin at hand only.
3538         (gen_member_die, gen_type_die_with_usage, force_decl_die,
3539         declare_in_namespace, gen_namescpace_die, dwarf2out_decl): Update use
3540         of gen_*.
3541         (gen_block_die): Fix checking for unused blocks.
3542         (process_scope_var): Break out from .... ; work with origins only.
3543         (decls_for_scope) ... here; process nonlocalized list.
3544         (dwarf2out_ignore_block): Look for nonlocalized vars.
3545         * tree-ssa-live.c (remove_unused_scope_block_p): Look for nonlocalized
3546         vars.
3547         (dump_scope_block): Dump them.
3548         * tree-inline.c (remap_decls): Handle nonlocalized vars.
3549         (remap_block): Likewise.
3550         (can_be_nonlocal): New predicate.
3551         (copy_bind_expr, copy_gimple_bind): Update use of remap_block.
3552
3553 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3554
3555         * configure: Regenerate.
3556
3557 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3558
3559         * optc-gen.awk: No need to duplicate option flags twice.
3560         Reuse help texts for duplicate options which do not have any.
3561
3562         * gcc.c (display_help): Document --version.
3563
3564         * gcc.c (main): If print_help_list and verbose_flag, ensure
3565         driver output comes before subprocess output.
3566
3567         * optc-gen.awk: Assign all remaining fields to help string,
3568         space-separated, for multi-line help in *.opt.
3569
3570         * doc/invoke.texi (Warning Options): -Wsync-nand is C/C++ only.
3571         -Wno-pedantic-ms-format is for MinGW targets only.
3572
3573         * doc/options.texi (Option file format): Fix bad indentation,
3574         restoring dropped sentence.
3575
3576 2009-02-28  Jan Hubicka  <jh@suse.cz>
3577
3578         * tree-inline.c (tree_function_versioning): Output debug info.
3579
3580 2009-02-28  Jan Hubicka  <jh@suse.cz>
3581
3582         PR debug/39267
3583         * tree-inline.c (setup_one_parameter): Do not copy propagate
3584         arguments when not optimizing.
3585
3586 2009-02-28  H.J. Lu  <hongjiu.lu@intel.com>
3587
3588         PR target/39327
3589         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
3590         (avx_addsubv4df3): Likewise.
3591         (*avx_addsubv4sf3): Likewise.
3592         (sse3_addsubv4sf3): Likewise.
3593         (*avx_addsubv2df3): Likewise.
3594         (sse3_addsubv2df3): Likewise.
3595         (avx_unpckhps256): Correct item selectors.
3596         (avx_unpcklps256): Likewise.
3597         (avx_unpckhpd256): Likewise.
3598         (avx_unpcklpd256): Likewise.
3599
3600 2009-02-28  Jan Hubicka  <jh@suse.cz>
3601
3602         * tree-inline.c (expand_call_inline): Avoid duplicate declarations of
3603         static vars.
3604         (copy_arguments_for_versioning): If var is declared don't declare it.
3605         (tree_function_versioning): First setup substitutions and then copy
3606         args.
3607
3608 2009-02-27  Jan Hubicka  <jh@suse.cz>
3609
3610         PR debug/39267
3611         * cgraph.h (varpool_output_debug_info): Remove.
3612         * cgraphunit.c (varpool_output_debug_info): Remove.
3613         * dwarf2out.c (deferred_locations_struct): New struct
3614         (deferred_locations): New type.
3615         (deferred_locations_list): New static var.
3616         (deffer_location): New function.
3617         (gen_variable_die): Use it.
3618         (decls_for_scope): Output info on local static vars.
3619         (dwarf2out_finish): Process deferred locations.
3620         * varpool.c (varpool_output_debug_info): Remove.
3621
3622 2009-02-27  Jan Hubicka  <jh@suse.cz>
3623
3624         PR debug/39267
3625         * tree.h (TREE_PROTECTED): Fix comment.
3626         (BLOCK_HANDLER_BLOCK): Remove.
3627         (struct tree_block): Remove handler_block add body_block.
3628         (inlined_function_outer_scope_p): New.
3629         (is_body_block): Remove.
3630         * dbxout.c (dbxout_block): Remove BLOCK_HANDLER_BLOCK.
3631         * dwarf2out.c (is_inlined_entry_point): Remove.
3632         (add_high_low_attributes): Use inlined_function_outer_scope_p.
3633         (gen_block_die): Use is_inlined_entry_point check.  Remove body block
3634         code.
3635         * langhooks.h (struct lang_hooks): Remove no_bodu_blocks.
3636         * gimplify.c (gimplify_expr): Gimplify body blocks.
3637         * tree-ssa-live.c (remove_unused_scope_block_p): Allow removing wrapper
3638         block with multiple subblocks.
3639         (dump_scope_block): Prettier output; dump more flags and info.
3640         (dump_scope_blocks): New.
3641         (remove_unused_locals): Use dump_scope_blocks.
3642         * tree-flow.h (dump_scope_blocks): Declare.
3643         * tree-cfg.c (execute_build_cfg): Dump scope blocks.
3644         * stmt.c (is_body_block): Remove.
3645         * tree-inline.c (remap_block): Copy BODY_BLOCK info.
3646         * langhooks-def.h (LANG_HOOKS_NO_BODY_BLOCKS): Remove.
3647
3648 2009-02-27  Sebastian Pop  <sebastian.pop@amd.com>
3649
3650         PR middle-end/39308
3651         * graphite.c (graphite_loop_normal_form): Do not call 
3652         number_of_iterations_exit from a gcc_assert.
3653
3654 2009-02-27  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3655
3656         * gcc/config/s390/s390.c (s390_swap_cmp): Look for conditional
3657         jumps if COND is NULL.
3658         (find_cond_jump): New function.
3659         (s390_z10_optimize_cmp): Handling for reg-reg compares added.
3660         * gcc/config/s390/s390.md: Remove z10_cobra attribute value.
3661
3662 2009-02-26  Uros Bizjak  <ubizjak@gmail.com>
3663
3664         * config/alpha/alpha.h (alpha_expand_mov): Return false if
3665         force_const_mem returns NULL_RTX.
3666
3667 2009-02-26  Jan Hubicka  <jh@suse.cz>
3668
3669         PR debug/39267
3670         * cgraph.h (varpool_output_debug_info): Remove.
3671         * cgraphunit.c (varpool_output_debug_info): Remove.
3672         * dwarf2out.c (deferred_locations_struct): New struct
3673         (deferred_locations): New type.
3674         (deferred_locations_list): New static var.
3675         (deffer_location): New function.
3676         (gen_variable_die): Use it.
3677         (decls_for_scope): Output info on local static vars.
3678         (dwarf2out_finish): Process deferred locations.
3679         * varpool.c (varpool_output_debug_info): Remove.
3680
3681 2009-02-25  H.J. Lu  <hongjiu.lu@intel.com>
3682
3683         PR rtl-optimization/39241
3684         * jump.c (rtx_renumbered_equal_p): Remove 2 superfluous calls
3685         to subreg_offset_representable_p.
3686
3687 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
3688
3689         * regmove.c (regmove_optimize): Conform to struct rtl_opt_pass
3690         execute function prototype.  Get f and nregs from max_reg_num
3691         and get_insns.  Remove the first backward pass as it's dead,
3692         guard the forward pass by flag_expensive_optimizations.
3693         (rest_of_handle_regmove): Delete.
3694         (pass_regmove): Replace it with regmove_optimize.
3695
3696 2009-02-25  Martin Jambor  <mjambor@suse.cz>
3697
3698         PR tree-optimization/39259
3699         * tree-inline.c (initialize_cfun): Remove asserts for calls_setjmp and
3700         calls_alloca function flags.
3701         (copy_bb): Set calls_setjmp and alls_alloca function flags if such
3702         calls are detected.
3703
3704 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
3705
3706         * regmove.c (discover_flags_reg, flags_set_1, mark_flags_life_zones,
3707         flags_set_1_rtx, flags_set_1_set): Delete.
3708         (regmove_optimize): Do not call mark_flags_life_zones.
3709
3710 2009-02-24  Julian Brown  <julian@codesourcery.com>
3711
3712         PR target/35965
3713         * config/arm/arm.c (require_pic_register): Only set
3714         cfun->machine->pic_reg once per function.
3715
3716 2009-02-24  Sandra Loosemore  <sandra@codesourcery.com>
3717
3718         * doc/invoke.texi (Link Options): Document an easier way to pass
3719         options that take arguments to the GNU linker using -Xlinker and -Wl.
3720
3721 2009-02-24  Steve Ellcey  <sje@cup.hp.com>
3722
3723         PR target/33785
3724         * doc/tm.texi (TARGET_C99_FUNCTIONS): Fix description.
3725
3726 2009-02-24  Richard Guenther  <rguenther@suse.de>
3727
3728         PR debug/39285
3729         * dwarf2out.c (gen_enumeration_type_die): Handle CONST_DECLs.
3730
3731 2009-02-24  Richard Guenther  <rguenther@suse.de>
3732             Zdenek Dvorak  <ook@ucw.cz>
3733
3734         PR tree-optimization/39233
3735         * tree-ssa-loop-ivopts.c (add_candidate_1): Do not except pointers
3736         from converting them to a generic type.
3737
3738 2009-02-23  Sebastian Pop  <sebastian.pop@amd.com>
3739
3740         PR tree-optimization/39260
3741         * graphite.c (harmful_stmt_in_bb): Stop a SCoP when the basic block
3742         contains a condition with a real type.
3743         (build_scop_conditions_1): Conditions are always last_stmt of a bb.
3744
3745 2009-02-23  Jason Merrill  <jason@redhat.com>
3746
3747         PR c++/38880
3748         * varasm.c (initializer_constant_valid_p) [PLUS_EXPR]: Check
3749         narrowing_initializer_constant_valid_p.
3750         (narrowing_initializer_constant_valid_p): Don't return 
3751         null_pointer_node for adding a pointer to itself.
3752
3753 2009-02-23  Jan Hubicka  <jh@suse.cz>
3754
3755         PR c/12245
3756         * ggc.h (htab_create_ggc): Use ggc_free to free hashtable when
3757         resizing.
3758
3759 2009-02-23  Jan Hubicka  <jh@suse.cz>
3760
3761         PR tree-optimization/37709
3762         * tree.c (block_ultimate_origin): Move here from dwarf2out.
3763         * tree.h (block_ultimate_origin): Declare.
3764         * dwarf2out.c (block_ultimate_origin): Move to tree.c
3765         * tree-ssa-live.c (remove_unused_scope_block_p):
3766         Eliminate blocks containig no instructions nor live variables nor
3767         nested blocks.
3768         (dump_scope_block): New function.
3769         (remove_unused_locals): Enable removal of dead blocks by default;
3770         enable dumping at TDF_DETAILS.
3771
3772 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
3773
3774         * config/i386/i386.c (classify_argument): Don't allow COImode
3775         and OImode.
3776         (function_arg_advance_32): Don't allow OImode.
3777         (function_arg_32): Likewise.
3778         (function_value_32): Likewise.
3779         (return_in_memory_32): Likewise.
3780         (function_arg_64): Remove OImode comment.
3781
3782 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
3783
3784         PR target/39261
3785         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Use
3786         ix86_expand_vector_set for V4DImode in 64bit mode only.
3787         (ix86_expand_vector_init_one_var): Likewise.
3788
3789 2009-02-21  Sebastian Pop  <sebastian.pop@amd.com>
3790
3791         * graphite.c (graphite_trans_loop_block): Adjust tile size to 51.
3792
3793 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
3794
3795         PR bootstrap/39257
3796         * loop-iv.c: Revert last change.
3797         * emit-rtl.c: Likewise.
3798
3799 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
3800
3801         PR target/39256
3802         * config/i386/i386.c (type_natural_mode): Remove an extra
3803         space in the warning message.
3804         (function_value_32): Handle 32-byte vector modes.
3805         (return_in_memory_32): Likewise.
3806
3807 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
3808
3809         * loop-iv.c (truncate_value): New function.
3810         (iv_subreg, get_iv_value, iv_number_of_iterations): Use it instead
3811         of lowpart_subreg.
3812         (lowpart_subreg): Move to...
3813         * emit-rtl.c: ...here.
3814
3815 2009-02-21  Danny Smith  <dannysmith@users.sourceforge.net>
3816
3817         * config/i386/winnt.c (i386_pe_asm_output_aligned_decl_common): Revert
3818         accidental and undocumented change at revision 140860.
3819
3820 2009-02-21  Joseph Myers  <joseph@codesourcery.com>
3821
3822         * config/arm/arm.c (arm_gimplify_va_arg_expr): Update prototype to
3823         take gimple_seq * arguments.
3824         (arm_mangle_type): Use CONST_CAST_TREE on type argument passed to
3825         types_compatible_p langhook.
3826
3827 2009-02-20  Mark Mitchell  <mark@codesourcery.com>
3828             Joseph Myers  <joseph@codesourcery.com>
3829
3830         * config/arm/arm.c (arm_builtin_va_list): New function.
3831         (arm_expand_builtin_va_start): Likewise.
3832         (arm_gimplify_va_arg_expr): Likewise.
3833         (TARGET_BUILD_BUILTIN_VA_LIST): Define.
3834         (TARGET_BUILD_BUILTIN_VA_START): Likewise.
3835         (TARGET_BUILD_BUILTIN_VA_ARG_EXPR): Likewise.
3836         (va_list_type): New variable.
3837         (arm_mangle_type): Mangle va_list_type appropriately.
3838
3839 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
3840
3841         PR middle-end/39157
3842         * Makefile.in (loop-invariant.o): Depend on $(PARAMS_H).
3843         * params.h (LOOP_INVARIANT_MAX_BBS_IN_LOOP): Define.
3844         * params.def (loop-invariant-max-bbs-in-loop): New parameter.
3845         * opts.c (decode_options): Set loop-invariant-max-bbs-in-loop
3846         parameter to 1000 for -O1 by default.
3847         * doc/invoke.texi (loop-invariant-max-bbs-in-loop): Document new
3848         parameter.
3849         * loop-invariant.c: Include params.h.
3850         (move_loop_invariants): Don't call move_single_loop_invariants on
3851         very large loops.
3852
3853 2009-02-20  Jaka Mocnik  <jaka@xlab.si>
3854
3855         * calls.c (emit_library_call_value_1): Use slot_offset instead of
3856         offset when calculating bounds for indexing stack_usage_map.  Fixes
3857         a buffer overflow with certain target setups.
3858
3859 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
3860
3861         PR target/39240
3862         * calls.c (expand_call): Clear try_tail_call if caller and callee
3863         disagree in promotion of function return value.
3864
3865 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
3866
3867         PR target/39175
3868         * c-common.c (c_determine_visibility): If visibility changed and
3869         DECL_RTL has been already set, call make_decl_rtl to update symbol
3870         flags.
3871
3872 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
3873
3874         PR c++/39188
3875         * varasm.c (assemble_variable): Don't check DECL_NAME when
3876         globalizing a variable.
3877
3878 2009-02-19  Joseph Myers  <joseph@codesourcery.com>
3879
3880         PR c/38483
3881         * builtins.c (gimplify_va_arg_expr): Evaluate the va_list
3882         expression before any __builtin_trap call.
3883         * c-typeck.c (build_function_call): Convert and check function
3884         arguments before generating a call to a trap.  Evaluate the
3885         function arguments before the trap.
3886
3887 2009-02-19  Uros Bizjak  <ubizjak@gmail.com>
3888
3889         PR target/39228
3890         * config/i386/i386.md (isinfxf2): Split from isinf<mode>2.
3891         (UNSPEC_FXAM_MEM): New unspec.
3892         (fxam<mode>2_i387_with_temp): New insn and split pattern.
3893         (isinf<mode>2): Use MODEF mode iterator.  Force operand[1] through
3894         memory using fxam<mode>2_i387_with_temp to remove excess precision.
3895
3896 2009-02-19  Richard Guenther  <rguenther@suse.de>
3897
3898         PR tree-optimization/39207
3899         PR tree-optimization/39074
3900         * tree-ssa-structalias.c (storedanything_id, var_storedanything,
3901         storedanything_tree): New.
3902         (do_ds_constraint): Simplify ANYTHING shortcutting.  Update
3903         the STOREDANYTHING solution if the lhs solution contains ANYTHING.
3904         (build_succ_graph): Add edges from STOREDANYTHING to all
3905         non-direct nodes.
3906         (init_base_vars): Initialize STOREDANYTHING.
3907         (compute_points_to_sets): Free substitution info after
3908         building the succ graph.
3909         (ipa_pta_execute): Likewise.
3910
3911         * tree-ssa-structalias.c (struct variable_info): Add may_have_pointers
3912         field.
3913         (do_ds_constraint): Do not add to special var or non-pointer
3914         field solutions.
3915         (type_could_have_pointers): Split out from ...
3916         (could_have_pointers): ... here.  For arrays use the element type.
3917         (create_variable_info_for): Initialize may_have_pointers.
3918         (new_var_info): Likewise.
3919         (handle_lhs_call): Make the HEAP variable unknown-sized.
3920         (intra_create_variable_infos): Use a type with pointers for
3921         PARM_NOALIAS, make it unknown-sized.
3922
3923 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
3924
3925         PR target/39224
3926         * config/i386/i386.c (ix86_return_in_memory): Properly check ABI.
3927
3928 2009-02-18  Jason Merrill  <jason@redhat.com>
3929
3930         PR target/39179
3931         * tree-ssa-ccp.c (get_symbol_constant_value): Don't assume zero
3932         value if DECL_EXTERNAL.
3933         * tree-sra.c (sra_walk_gimple_assign): Likewise.
3934         * target.h (gcc_target::binds_local_p): Clarify "module".
3935         * tree.h (TREE_PUBLIC): Clarify "module".
3936
3937 2009-02-17  Xuepeng Guo  <xuepeng.guo@intel.com>
3938
3939         PR target/38891
3940         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move the hunk of
3941         initialization for MS_ABI prior to the hunk of !TARGET_MMX.
3942
3943 2009-02-17  H.J. Lu  <hongjiu.lu@intel.com>
3944
3945         PR target/39082
3946         * c.opt (Wabi): Support C and ObjC.
3947         (Wpsabi): New.
3948
3949         * c-opts.c (c_common_handle_option): Handle OPT_Wabi.
3950
3951         * config/i386/i386.c (classify_argument): Warn once about the ABI
3952         change when passing union with long double.
3953
3954         * doc/invoke.texi: Update -Wabi for warning psABI changes.
3955
3956 2009-02-18  Joseph Myers  <joseph@codesourcery.com>
3957
3958         PR c/35447
3959         * c-parser.c (c_parser_compound_statement): Always enter and leave
3960         a scope.
3961
3962 2009-02-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3963
3964         PR target/34587
3965         * config/darwin.h (SUPPORTS_INIT_PRIORITY): Define.
3966
3967 2009-02-18  Jakub Jelinek  <jakub@redhat.com>
3968
3969         PR tree-optimization/36922
3970         * tree-data-ref.c (initialize_matrix_A): Handle BIT_NOT_EXPR.
3971         * tree-scalar-evolution.c (interpret_rhs_expr, instantiate_scev_1):
3972         Likewise.
3973
3974 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
3975
3976         * config/mips/mips.c (mips_override_options): Set flag_dwarf2_cfi_asm
3977         to 0 for EABI64.
3978
3979 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
3980
3981         * config/mips/mips.md (type): Reclassify lui_movf as "unknown".
3982
3983 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
3984
3985         * config/mips/mips.c (mips_gimplify_va_arg_expr): Fix invalid
3986         tree sharing.
3987
3988 2009-02-17  Ruan Beihong  <ruanbeihong@gmail.com>