OSDN Git Service

* cgraph.h (constant_pool_htab): New function.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-07-20  Olatunji Ruwase <tjruwase@google.com>
2
3         * cgraph.h (constant_pool_htab): New function.
4         (constant_descriptor_tree): Move from varasm.c.
5         * varasm.c (constant_pool_htab): New function.
6         (constant_descriptor_tree): Move to cgraph.h.
7
8 2009-07-20  Olatunji Ruwase  <tjruwase@google.com>
9
10         * toplev.c: Invoke FINISH_UNIT callbacks before call to
11         finalize().
12
13 2009-07-20  Shujing Zhao  <pearly.zhao@oracle.com>
14
15         * Makefile.in (TREE_INLINE_H, tree-inline.o, cgraph.o): Remove
16         $(VARRAY_H).
17
18 2009-07-20  Xinliang David Li  <davidxl@google.com>
19
20         * dbgcnt.c (dbg_cnt_set_limit_by_name): Add length check.
21
22 2009-07-20  Adam Nemet  <anemet@caviumnetworks.com>
23
24         * config/mips/mips.md (move_type): Add arith.
25         (type): Handle arith.
26         (zero_extendsidi2): Rename this into ...
27         (*zero_extendsidi2): ... this.  Don't match if ISA_HAS_EXT_INS.
28         (zero_extendsidi2): New expander.
29         (*zero_extendsidi2_dext): New pattern.
30
31 2009-07-20  Nick Clifton  <nickc@redhat.com>
32
33         * config.gcc (mips64-*-*): Add definition of tm_defines in order
34         to set MIPS_ABI_DEFAULT.
35         * config/mips/vr.h (MIPS_ABI_DEFAULT): Remove definition.
36
37 2009-07-20  Jakub Jelinek  <jakub@redhat.com>
38
39         * tree-object-size.c (addr_object_size): Handle unions with
40         array in it as last field of structs in __bos (, 1) as __bos (, 0).
41
42         PR tree-optimization/40792
43         * tree.c (build_function_type_skip_args): Remove bogus assert.
44
45 2009-07-20  Jan Hubicka  <jh@suse.cz>
46             Martin Jambor  <mjambor@suse.cz>
47
48         * cgraph.h (combined_args_to_skip): New field.
49         * cgraph.c (cgraph_create_virtual_clone): Properly handle
50         combined_args_to_skip and args_to_skip.
51         * tree-inline.c (update_clone_info): New function.
52         (tree_function_versioning): Call update_clone_info.
53         * cgraphunit.c: (cgraph_materialize_clone): Dump materialized functions.
54         (cgraph_materialize_all_clones): More extensive dumping, working
55         with combined_args_to_skip rather than args_to_skip.
56
57 2009-07-20  Ira Rosen  <irar@il.ibm.com>
58
59         * tree-vectorizer.h (vectorizable_condition): Add parameters.
60         * tree-vect-loop.c (vect_is_simple_reduction): Support COND_EXPR.
61         (get_initial_def_for_reduction): Likewise.
62         (vectorizable_reduction): Skip the check of first operand in case
63         of COND_EXPR. Add check that it is outer loop vectorization if
64         nested cycle was detected. Call vectorizable_condition() for 
65         COND_EXPR. If reduction epilogue cannot be created do not fail for
66         nested cycles (if it is not double reduction). Assert that there
67         is only one type in the loop in case of COND_EXPR. Call
68         vectorizable_condition() to vectorize COND_EXPR.
69         * tree-vect-stmts.c (vectorizable_condition): Update comment.
70         Add parameters. Allow nested cycles if called from 
71         vectorizable_reduction(). Use reduction vector variable if provided.
72         (vect_analyze_stmt): Call vectorizable_reduction() before
73         vectorizable_condition().
74         (vect_transform_stmt): Update call to vectorizable_condition().
75
76 2009-07-20  Christian Bruel  <christian.bruel@st.com>
77         
78         * config/sh/sh.opt (-mfmovd): Resurrect and document.
79         * doc/invoke.texi (-mfmovd): Likewise.
80         * config/sh/sh.h (TARGET_FMOVD, MASK_FMOVD): Remove default setting.
81         
82 2009-07-20  Jan Hubicka  <jh@suse.cz>
83
84         * tree-ssa-dce.c (remove_dead_phis): Only look for abnormal PHIs
85         when handling SSA name.
86
87 2009-07-19  Jan Hubicka  <jh@suse.cz>
88
89         PR tree-optimization/40676
90         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
91         virtual PHIs in empty BBs.
92
93 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
94
95         * combine.c (make_compound_operation) <SUBREG>: If force_to_mode
96         re-expanded the compound use gen_lowpart instead to convert to the
97         desired mode.
98
99 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
100
101         * combine.c (try_widen_shift_mode): Add COUNT, OUTER_CODE and
102         OUTER_CONST arguments.
103         <LSHIFTRT>: Use them to allow widening if the bits shifted in from
104         the new wider mode will be masked off.
105         (simplify_shift_const_1): Adjust calls to try_widen_shift_mode.
106
107 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
108
109         * combine.c (try_widen_shift_mode) <LSHIFTRT>: Allow widening if the
110         high-order bits are zero.
111
112 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
113
114         * combine.c (simplify_shift_const_1): Split code to determine
115         shift_mode into ...
116         (try_widen_shift_mode): ... here.  Allow widening for ASHIFTRT if the
117         new bits shifted in are identical to the old sign bit.
118
119 2009-07-18  Richard Guenther  <rguenther@suse.de>
120
121         PR c/40787
122         * gimplify.c (gimplify_call_expr): Reject code using results from
123         functions returning void.
124
125 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
126
127         * doc/md.texi: Document the new PowerPC "es" constraint.
128         Document that "m" can include automodified addresses on this target,
129         and explain how %U must be used.  Extend the "Q" and "Z" documentation
130         to suggest "es" as well as "m".
131         * config/rs6000/constraints.md (es): New memory constraint.
132         (Q, Z): Update strings to match new documentation.
133
134 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
135
136         * config/rs6000/rs6000.c (rs6000_mode_dependent_address): Allow any
137         offset from virtual_stack_vars_rtx and arg_pointer_rtx.
138         * config/rs6000/predicates.md (volatile_mem_operand): Use
139         offsettable_nonstrict_memref_p.
140         * config/rs6000/rs6000.md (*floatsidf2_internal): Remove split check.
141         (*floatunssidf2_internal): Likewise.
142         (*fix_truncdfsi2_internal): Likewise.
143         (*fix_trunctfsi2_internal): Likewise.
144
145 2009-07-17  Anatoly Sokolov  <aesok@post.ru>
146
147         * config/avr/avr-devices.c (avr_mcu_t): Add atmega8u2, atmega16u2 and
148         atmega32u2 devices.
149         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
150
151 2009-07-17  Richard Guenther  <rguenther@suse.de>
152
153         PR c/40401
154         * tree-pass.h (pass_diagnose_omp_blocks): Declare.
155         (pass_warn_unused_result): Likewise.
156         (TODO_set_props): Remove.
157         * omp-low.c (diagnose_omp_structured_block_errors): Change to
158         run as a pass.
159         (pass_diagnose_omp_blocks): Define.
160         * c-decl.c (pop_file_scope): Do not finalize the CU here.
161         (c_gimple_diagnostics_recursively): Remove.
162         (finish_function): Do not call it.
163         (c_write_global_declarations): Continue after errors.
164         Finalize the CU here.
165         * c-gimplify.c (c_genericize): Do not gimplify here.
166         * c-common.c (c_warn_unused_result): Move ...
167         * tree-cfg.c (do_warn_unused_result): ... here.
168         (run_warn_unused_result): New function.
169         (gate_warn_unused_result): New function.
170         (pass_warn_unused_result): New pass.
171         * c-common.h (c_warn_unused_result): Remove.
172         * flags.h (flag_warn_unused_result): Declare.
173         * c-opts.c (c_common_init_options): Enable flag_warn_unused_result.
174         * opts.c (flag_warn_unused_result): Initialize to false.
175         * toplev.c (compile_file): Add comment.
176         * omp-low.c (create_omp_child_function): Do not register
177         the function with the frontend.
178         (diagnose_omp_structured_block_errors): Prepare to be
179         called as optimization pass.
180         (gate_diagnose_omp_blocks): New function.
181         (pass_diagnose_omp_blocks): New pass.
182         * cgraph.h (cgraph_optimize): Remove.
183         (cgraph_analyze_function): Likewise.
184         * cgraph.c (cgraph_add_new_function): Gimplify C++ thunks.
185         * cgraphunit.c (cgraph_lower_function): Lower nested functions
186         before their parents here.
187         (cgraph_finalize_function): Not here.
188         (cgraph_analyze_function): Gimplify functions here.
189         (cgraph_finalize_compilation_unit): Continue after errors.
190         Optimize the callgraph from here.
191         (cgraph_optimize): Make static.
192         * langhooks.c (write_global_declarations): Finalize the CU.
193         * gimplify.c (gimplify_asm_expr): Do not emit ASMs with errors.
194         (gimplify_function_tree): Assert we gimplify only once.
195         Set PROP_gimple_any property.
196         * tree-nested.c (gimplify_all_functions): New function.
197         (lower_nested_functions): Gimplify all nested functions.
198         * gimple.h (diagnose_omp_structured_block_errors): Remove.
199         * passes.c (init_optimization_passes): Add pass_warn_unused_result
200         and pass_diagnose_omp_blocks after gimplification.  Do not
201         set TODO_set_props on all_lowering_passes.
202         (execute_one_pass): Do not handle TODO_set_props.
203         * Makefile.in (cgraphunit.o): Add $(TREE_DUMP_H) dependency.
204         (gimplify.o): Add tree-pass.h dependency.
205         * tree-inline.c (copy_statement_list): Properly copy STATEMENT_LIST.
206         (copy_tree_body_r): Properly handle TARGET_EXPR like SAVE_EXPR.
207         (unsave_r): Likewise.
208         * c-omp.c (c_finish_omp_atomic): Set DECL_CONTEXT on the
209         temporary variable.
210
211 2009-07-17  Sandra Loosemore  <sandra@codesourcery.com>
212
213         * doc/service.texi (Service): Restore previously removed link,
214         which isn't broken after all.
215
216 2009-07-17  Richard Guenther  <rguenther@suse.de>
217
218         PR tree-optimization/40321
219         * tree-ssa-pre.c (add_to_exp_gen): Also add names defined by
220         PHI nodes to the maximal set.
221         (make_values_for_phi): Add PHI arguments to the maximal set.
222         (execute_pre): Dump PHI_GEN and the maximal set.
223
224 2009-07-17  Jakub Jelinek  <jakub@redhat.com>
225
226         PR c++/40780
227         * gimplify.c (gimplify_conversion): Don't change non-conversions into
228         VIEW_CONVERT_EXPR.
229
230 2009-07-16  Sandra Loosemore  <sandra@codesourcery.com>
231
232         * doc/extend.texi (Nested Functions): Replace broken link with
233         textual reference.
234         * doc/service.texi (Service): Remove broken link.
235
236 2009-07-16  H.J. Lu  <hongjiu.lu@intel.com>
237
238         PR bootstrap/40781
239         * builtins.c (expand_builtin_memcmp): Use loc instead of
240         EXPR_LOCATION (exp).
241         (expand_builtin_strncmp): Likewise.
242
243 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
244             Manuel López-Ibáñez  <manu@gcc.gnu.org>
245
246         PR 40435 
247         * tree-complex.c, tree-loop-distribution.c, tree.c, tree.h,
248         builtins.c, fold-const.c, omp-low.c, cgraphunit.c, tree-ssa-ccp.c,
249         tree-ssa-dom.c, gimple-low.c, expr.c, tree-ssa-ifcombine.c,
250         c-decl.c, stor-layout.c, tree-if-conv.c, c-typeck.c, gimplify.c,
251         calls.c, tree-sra.c, tree-mudflap.c, tree-ssa-copy.c,
252         tree-ssa-forwprop.c, c-convert.c, c-omp.c, varasm.c,
253         tree-inline.c, c-common.c, c-common.h, gimple.c,
254         tree-switch-conversion.c, gimple.h, tree-cfg.c, c-parser.c,
255         convert.c: Add location argument to fold_{unary,binary,ternary},
256         fold_build[123], build_call_expr, build_size_arg,
257         build_fold_addr_expr, build_call_array, non_lvalue, size_diffop,
258         fold_build1_initializer, fold_build2_initializer,
259         fold_build3_initializer, fold_build_call_array,
260         fold_build_call_array_initializer, fold_single_bit_test,
261         omit_one_operand, omit_two_operands, invert_truthvalue,
262         fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
263         combine_comparisons, fold_builtin_*, fold_call_expr,
264         build_range_check, maybe_fold_offset_to_address, round_up,
265         round_down.
266
267 2009-07-16  Jason Merrill  <jason@redhat.com>
268
269         PR libstdc++/37907
270         * c-common.c (c_common_reswords): Add __is_standard_layout
271         and __is_trivial.
272         * c-common.h (enum rid): Add RID_IS_STD_LAYOUT and RID_IS_TRIVIAL.
273         * doc/implement-cxx.texi: New.
274         * doc/gcc.texi: Include it.
275
276 2009-07-16  DJ Delorie  <dj@redhat.com>
277
278         * config/m32c/m32c.c (m32c_compare_redundant): Avoid removing
279         compares that may be indirectly affected by previous instructions.
280
281 2009-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
282
283         * builtins.c (do_mpc_arg2): New.
284         (fold_builtin_2): Fold builtin cpow.
285         * real.h (HAVE_mpc_pow): New.
286
287 2009-07-16  Bingfeng Mei  <bmei@broadcom.com>
288
289         * modulo-sched.c (sms_schedule): stage_count <= 1 as correct
290         comparison to skip unprofitable schedule
291
292 2009-07-16  Simon Baldwin  <simonb@google.com>
293
294         * gcc.c (option_map): New flag -no-canonical-prefixes.
295         * (display_help): Print help text for new flag.
296         * (process_command): Move options translation and language specifics
297         and handle new flag early.  Use it to set a function pointer to a
298         prefix builder.  Replace make_relative_prefix calls with calls to
299         the function pointed to.  Ignore new flag in regular options handling.
300         * doc/invoke.texi (Overall Options): Documented -no-canonical-prefixes.
301
302 2009-07-15  DJ Delorie  <dj@redhat.com>
303
304         * config/mep/mep.md (sibcall_internal): Change register to avoid
305         argument registers.
306         (sibcall_value_internal): Likewise.
307
308 2009-07-15  Eric Botcazou  <ebotcazou@adacore.com>
309
310         PR rtl-optimization/40710
311         * resource.c (mark_target_live_regs): Reset DF problem to LR.
312
313 2009-07-15  Adam Nemet  <anemet@caviumnetworks.com>
314
315         * config/mips/mips.md (*extenddi_truncate<mode>,
316         *extendsi_truncate<mode>): Change type attribute to move_type
317         with shift_shift.  Split out code handling exts from here ...
318         (*extend<GPR:mode>_truncate<SHORT:mode>_exts): ... to this new
319         pattern.
320         (*extendhi_truncateqi): Change type attribute to move_type with
321         shift_shift.  Split out code handling exts from here ...
322         (*extendhi_truncateqi_exts): ... to this new pattern.
323
324 2009-07-15  Uros Bizjak  <ubizjak@gmail.com>
325
326         * config/i386/sse.md (copysign<mode>3): Use "and-not" SSE instruction
327         instead of "and" with inverted sign bit mask value.  Use
328         "nonimmediate_operand" for operand 1 and operand 2 predicate.
329         Allocate registers only for operand 4 and operand 5.
330
331 2009-07-15  Jakub Jelinek  <jakub@redhat.com>
332
333         PR middle-end/40747
334         * fold-const.c (fold_cond_expr_with_comparison): When folding
335         < and <= to MIN, make sure the MIN uses the same type as the
336         comparison's operands.
337
338 2009-07-15  Richard Earnshaw  <rearnsha@arm.com>
339
340         * arm.md (ior_xor): New code iterator.
341         (split for ior/xor with shift and zero-extend): New split pattern.
342         * arm/predicates.md (subreg_lowpart_operator): New special predicate.
343
344 2009-07-15  Richard Guenther  <rguenther@suse.de>
345
346         * tree-ssa-structalias.c (make_constraint_from_heapvar): Initialize
347         offset member.
348
349 2009-07-15  Richard Guenther  <rguenther@suse.de>
350
351         PR middle-end/40753
352         * alias.c (ao_ref_from_mem): Reject FUNCTION_DECL and LABEL_DECL bases.
353
354 2009-07-15  Maxim Kuvyrkov  <maxim@codesourcery.com>
355
356         * config/m68k/linux-unwind.h (m68k_fallback_frame_state): Update to
357         handle 2.6.30 kernel.
358
359 2009-07-15  DJ Delorie  <dj@redhat.com>
360
361         * config/mep/mep.md (sibcall_internal): Change register to allow
362         for 24-bit addresses.
363         (sibcall_value_internal): Likewise.
364
365 2009-07-14  Ghassan Shobaki  <ghassan.shobaki@amd.com>
366         
367         * doc/invoke.texi: Added descriptions of the  scheduling heuristics
368         that are enabled/disabled by the flags introduced by a previous patch.
369         
370 2009-07-14  DJ Delorie  <dj@redhat.com>
371
372         * config/mep/mep.md (sibcall_internal): Include non-toggling
373         non-jmp case.
374         (sibcall_value_internal): Likewise.
375
376 2009-07-14  Taras Glek  <tglek@mozilla.com>
377             Rafael Espindola  <espindola@google.com>
378
379         * doc/sourcebuild.texi: Document install-plugin target.
380         * configure.ac: Added install-plugin target to language makefiles.
381         * configure: Regenerate.
382         * Makefile.in: (install-plugin): Install more headers,
383         depend on lang.install-plugin.
384
385 2009-07-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
386
387         * tree-vrp.c (vrp_evaluate_conditional): Mark strings for
388         translation.
389         
390 2009-07-14  DJ Delorie  <dj@redhat.com>
391
392         * config/mep/mep.c (mep_vliw_jmp_match): New function.
393         * config/mep/mep-protos.h (mep_vliw_jmp_match): Prototype it.
394         * config/mep/mep.md (sibcall_internal): Change test from
395         mep_vliw_mode_match to mep_vliw_jmp_match.
396         (sibcall_value_internal): Likewise.
397
398 2009-07-14  Uros Bizjak  <ubizjak@gmail.com>
399
400         * config/i386/sse.md (copysign<mode>3): New expander.
401         * config/i386/i386-protos.h (ix86_build_signbit_mask): New prototype.
402         * config/i386/i386.c (ix86_build_signbit_mask): Make public.
403         Use ix86_build_const_vector.
404         (enum ix86_builtins): Add IX86_BUILTIN_CPYSGNPS and
405         IX86_BUILTIN_CPYSGNPD.
406         (builtin_description): Add __builtin_ia32_copysignps and
407         __builtin_ia32_copysignpd.
408         (ix86_builtin_vectorized_function): Handle BUILT_IN_COPYSIGN
409         and BUILT_IN_COPYSIGNF.
410
411 2009-07-13  Jason Merrill  <jason@redhat.com>
412
413         * builtins.c (can_trust_pointer_alignment): New fn.
414         (get_pointer_alignment): Factor it out from here.
415         * tree.h: Declare it.
416
417 2009-07-14  David Edelsohn  <edelsohn@gnu.org>
418
419         * config/rs6000/predicates.md (offsettable_mem_operand): Test
420         RTX_AUTOINC class.
421
422 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
423
424         PR debug/40705
425         PR c++/403057
426         * dwarf2.out.c (gen_type_die_with_usage): Added comment.
427
428 2009-07-14  Richard Guenther  <rguenther@suse.de>
429             Andrey Belevantsev <abel@ispras.ru>
430
431         PR middle-end/40745
432         * cfgexpand.c (partition_stack_vars): Do not bother to update
433         alias information when not optimizing.
434
435 2009-07-14  Richard Guenther  <rguenther@suse.de>
436         Andrey Belevantsev <abel@ispras.ru>
437
438         * tree-ssa-alias.h (refs_may_alias_p_1): Declare.
439         (pt_solution_set): Likewise.
440         * tree-ssa-alias.c (refs_may_alias_p_1): Export.
441         * tree-ssa-structalias.c (pt_solution_set): New function.
442         * final.c (rest_of_clean_state): Free SSA data structures.
443         * print-rtl.c (print_decl_name): Remove.
444         (print_mem_expr): Implement in terms of print_generic_expr.
445         * alias.c (ao_ref_from_mem): New function.
446         (rtx_refs_may_alias_p): Likewise.
447         (true_dependence): Query alias-export info.
448         (canon_true_dependence): Likewise.
449         (write_dependence_p): Likewise.
450         * tree-dfa.c (get_ref_base_and_extent): For void types leave
451         size unknown.
452         * emit-rtl.c (component_ref_for_mem_expr): Remove.
453         (mem_expr_equal_p): Use operand_equal_p.
454         (set_mem_attributes_minus_bitpos): Do not use
455         component_ref_for_mem_expr.
456         * cfgexpand.c (add_partitioned_vars_to_ptset): New function.
457         (update_alias_info_with_stack_vars): Likewise.
458         (partition_stack_vars): Call update_alias_info_with_stack_vars.
459         * tree-ssa.c (delete_tree_ssa): Do not release SSA names
460         explicitly nor clear stmt operands.
461         Free the decl-to-pointer map.
462         * tree-optimize.c (execute_free_datastructures): Do not free
463         SSA data structures here.
464         * tree-flow.h (struct gimple_df): Add decls_to_pointers member.
465         * Makefile.in (emit-rtl.o): Add pointer-set.h dependency.
466         (alias.o): Add tree-ssa-alias.h, pointer-set.h and $(TREE_FLOW_H)
467         dependencies.
468         (print-rtl.o): Add $(DIAGNOSTIC_H) dependency.
469
470 2009-07-13  DJ Delorie  <dj@redhat.com>
471
472         * config/mep/mep.h (CC1_SPEC): Tweak parameters to trigger
473         unrolling at the right iteration count.
474
475         * config/mep/mep.c (mep_expand_prologue): Fix frame pointer
476         calculations.
477
478 2009-07-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>
479         
480         * haifa-sched.c (rank_for_schedule): Introduced flags to
481         enable/disable individual scheduling heuristics.
482         * common.opt: Introduced flags to enable/disable individual
483         heuristics in the scheduler.    
484         * doc/invoke.texi: Introduced flags to enable/disable individual
485         heuristics in the scheduler.
486         
487 2009-07-13  Kai Tietz  <kai.tietz@onevision.com>
488
489         * config/i386/t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file
490         config/i386/mingw-tls.c.
491         * config/i386/mingw-tls.c: Removed.
492
493 2009-07-13  Ira Rosen  <irar@il.ibm.com>
494
495         * tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the 
496         checks access only relevant statements.
497         (vectorizable_reduction): Likewise.
498
499 2009-07-12  Kai Tietz  <kai.tietz@onevision.com>
500
501         * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
502         just for 32-bit case.
503
504 2009-07-12  Jan Hubicka  <jh@suse.cz>
505
506         PR tree-optimization/40585
507         * except.c (expand_resx_expr): When there already is resume
508         instruction, produce linked list.
509         (build_post_landing_pads): Assert that resume is empty.
510         (connect_post_landing_pads): Handle resume lists.
511         (dump_eh_tree): Dump resume list.
512
513 2009-07-12  Ira Rosen  <irar@il.ibm.com>
514
515         * tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
516         with additional argument.
517         * tree-vectorizer.h (enum vect_def_type): Add
518         vect_double_reduction_def.
519         (vect_is_simple_reduction): Add argument.
520         * tree-vect-loop.c (vect_determine_vectorization_factor): Fix
521         indentation.
522         (vect_analyze_scalar_cycles_1): Detect double reduction. Call
523         vect_is_simple_reduction with additional argument.
524         (vect_analyze_loop_operations): Handle exit phi nodes in case of
525         double reduction.
526         (reduction_code_for_scalar_code): Handle additional codes by
527         returning ERROR_MARK for them. Fix comment and indentation.
528         (vect_is_simple_reduction): Fix comment, add argument to specify
529         double reduction. Detect double reduction.
530         (get_initial_def_for_induction): Fix indentation.
531         (get_initial_def_for_reduction): Fix comment and indentation.
532         Handle double reduction. Create initial definitions that do not
533         require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
534         (vect_create_epilog_for_reduction): Fix comment, add argument to
535         handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
536         epilogue result extraction. Create double reduction phi node and
537         replace relevant uses.
538         (vectorizable_reduction): Call vect_is_simple_reduction with
539         additional argument. Fix indentation. Update epilogue code treatment
540         according to the changes in reduction_code_for_scalar_code. Check
541         for double reduction. Call vect_create_epilog_for_reduction with
542         additional argument.
543         * tree-vect-stmts.c (process_use): Handle double reduction, update
544         documentation.
545         (vect_mark_stmts_to_be_vectorized): Handle double reduction.
546         (vect_get_vec_def_for_operand): Likewise.
547
548 2009-07-12  Danny Smith  <dansmister@gmail.com>
549
550         * config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
551         dllexport if !TREE_PUBLIC.
552         (i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.
553
554 2009-07-11  Anatoly Sokolov  <aesok@post.ru>
555
556         * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
557         (avr_extra_arch_macro) Remove declatation.
558         * config/avr/avr.c (avr_cpu_cpp_builtins): New function.
559         (avr_extra_arch_macro) Declare as static.
560         * config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.
561
562 2009-07-11  Jan Hubicka  <jh@suse.cz>
563
564         PR middle-end/48388
565         * except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.
566
567 2009-07-11  Jakub Jelinek  <jakub@redhat.com>
568
569         PR debug/40713
570         * dwarf2out.c (dw_fde_struct): Add in_std_section and
571         cold_in_std_section bits.
572         (dwarf2out_begin_prologue): Initialize them.
573         (dwarf2out_finish): Don't emit FDE range into .debug_ranges
574         if already covered by text_section or cold_text_section range.
575
576         PR rtl-optimization/40667
577         * defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
578         * doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
579         * config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
580         * config/i386/i386.c (ix86_minimum_alignment): New function.
581         * config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
582         * cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
583         * emit-rtl.c (gen_reg_rtx): Likewise.
584         * function.c (assign_parms): Likewise.  If nominal_type needs
585         bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
586         rather than passed_type's alignment.
587
588         PR target/40668
589         * function.c (assign_parm_setup_stack): Adjust
590         MEM_OFFSET (data->stack_parm) if promoted_mode is different
591         from nominal_mode on big endian.
592
593 2009-07-11  Paolo Bonzini  <bonzini@gnu.org>
594
595         * expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.
596
597 2009-07-10  DJ Delorie  <dj@redhat.com>
598
599         * config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.
600
601 2009-07-10  Mark Mitchell  <mark@codesourcery.com>
602
603         * config/arm/thumb2.md (thumb2_cbz): Correct computation of length
604         attribute.
605         (thumb2_cbnz): Likewise.
606
607 2009-07-10  David Daney  <ddaney@caviumnetworks.com>
608
609         PR target/39079
610         * config.gcc (supported_defaults): Add synci.
611         (with_synci): Add validation.
612         (all_defaults): Add synci.
613         * config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
614         ISA_HAS_SYNCI.
615         (synci): Same.
616         * config/mips/mips.opt (msynci): New option.
617         * config/mips/mips.c (mips_override_options): Warn on use of
618         -msynci for targets that do now support it.
619         * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
620         msynci.
621         * gcc/doc/invoke.texi (-msynci): Document the new option.
622         * doc/install.texi (--with-synci): Document the new option.
623
624 2009-07-10  Richard Guenther  <rguenther@suse.de>
625
626         PR tree-optimization/40496
627         * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
628         the PHI result with a compatible type.
629
630 2009-07-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
631
632         PR 25509
633         PR 40614
634         * c.opt (Wunused-result): New.
635         * doc/invoke.texi: Document it.
636         * c-common.c (c_warn_unused_result): Use it.
637
638 2009-07-09  DJ Delorie  <dj@redhat.com>
639
640         * targhooks.c (default_target_can_inline_p): Rename from
641         default_target_option_can_inline_p.
642         * targhooks.h (default_target_can_inline_p): Likewise.
643         * target-def.h (TARGET_CAN_INLINE_P): Rename from
644         TARGET_OPTION_CAN_INLINE_P.
645         * config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
646         * config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
647         (mep_target_can_inline_p): Rename from
648         mep_target_option_can_inline_p.
649
650         PR target/40626
651         * config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
652         registers used to pass vectors.
653
654         * config/mep/mep.c (mep_option_can_inline_p): Remove error call.
655
656 2009-07-09  Tom Tromey  <tromey@redhat.com>
657
658         * unwind-dw2-fde-darwin.c: Include dwarf2.h.
659         * config/mmix/mmix.c: Include dwarf2.h.
660         * config/rs6000/darwin-fallback.c: Include dwarf2.h.
661         * config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
662         * config/sh/sh.c: Include dwarf2.h.
663         * config/i386/i386.c: Include dwarf2.h.
664         * Makefile.in (DWARF2_H): Remove 'elf'.
665         * except.c: Include dwarf2.h.
666         * unwind-dw2.c: Include dwarf2.h.
667         * dwarf2out.c: Include dwarf2.h.
668         * unwind-dw2-fde-glibc.c: Include dwarf2.h.
669         * unwind-dw2-fde.c: Include dwarf2.h.
670         * dwarf2asm.c: Include dwarf2.h.
671
672 2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
673
674         * haifa-sched.c (insn_finishes_cycle_p): New static function.
675         (max_issue): Use it.
676         * sched-int.h (struct sched_info: insn_finishes_block_p): New
677         scheduler hook.
678         * sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
679         (region_sched_info): Update.
680         * sched-ebb.c (ebb_sched_info): Update.
681         * modulo-sched.c (sms_sched_info): Update.
682         * sel-sched-ir.c (sched_sel_haifa_sched_info): Update.
683
684 2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
685
686         * varasm.c (build_constant_desc): Don't share RTL in pool entries.
687
688 2009-07-09  Basile Starynkevitch  <basile@starynkevitch.net>
689
690         * plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen. 
691
692 2009-07-09  Jakub Jelinek  <jakub@redhat.com>
693
694         PR middle-end/40692
695         * fold-const.c (fold_cond_expr_with_comparison): Don't replace
696         arg1 with arg01 if arg1 is already INTEGER_CST.
697
698 2009-07-08  Adam Nemet  <anemet@caviumnetworks.com>
699
700         * simplify-rtx.c (simplify_binary_operation_1) <AND>:
701         Transform (and (truncate)) into (truncate (and)).
702
703 2009-07-08  Adam Nemet  <anemet@caviumnetworks.com>
704
705         * combine.c (make_extraction): Check TRULY_NOOP_TRUNCATION before
706         creating LHS paradoxical subregs.  Fix surrounding returns to
707         use NULL_RTX rather than 0.
708
709 2009-07-08  DJ Delorie  <dj@redhat.com>
710
711         * config/mep/mep.c: (mep_option_can_inline_p): New.
712         (TARGET_OPTION_CAN_INLINE_P): Define.
713
714 2009-07-08  Mark Wielaard  <mjw@redhat.com>
715
716         PR debug/40659
717         * dwarf2out.c (add_data_member_location_attribute): When we have
718         only a constant offset don't emit a new location description using
719         DW_OP_plus_uconst, but just add the constant with add_AT_int, when
720         dwarf_version > 2.
721
722 2009-07-08  Richard Henderson  <rth@redhat.com>
723
724         PR target/38900
725         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move to i386.c.
726         (enum reg_class): Add CLOBBERED_REGS.
727         (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Likewise.
728         * config/i386/i386.c (ix86_conditional_register_usage): Moved
729         from CONDITIONAL_REGISTER_USAGE; build CLOBBERED_REGS for 64-bit.
730         (ix86_function_ok_for_sibcall): Tidy.  Disallow MS->SYSV sibcalls.
731         (ix86_expand_call): Use sibcall_insn_operand when needed.  Don't
732         force 64-bit sibcalls into R11.
733         * config/i386/constraints.md (U): New constraint.
734         * config/i386/i386.md (sibcall_1, sibcall_value_1): Use it.
735         (sibcall_1_rex64, sibcall_value_1_rex64): Likewise.
736         (sibcall_1_rex64_v, sibcall_value_1_rex64_v): Remove.
737
738 2009-07-08  Shujing Zhao  <pearly.zhao@oracle.com>
739
740         * basic-block.h (dump_regset, debug_regset): Remove duplicate
741         prototypes.
742         * c-objc-common.h (c_initialize_diagnostics): Ditto.
743         * ebitmap.h (dump_ebitmap): Ditto.
744         * optabs.h (optab_libfunc): Ditto.
745         * tree.h (tree_expr_nonzero_warnv_p): Ditto.
746         * tree-flow.h (vect_can_force_dr_alignment_p,
747         get_vectype_for_scalar_type): Ditto.
748         (vectorize_loops): Move prototype to ...
749         * tree-vectorizer.h: ... here. Also, adjust comment.
750         (vect_set_verbosity_level): Remove duplicate prototype.
751         * tree-ssa-loop.c: Include tree-vectorizer.h.
752         * Makefile.in (tree-ssa-loop.o): Depend on tree-vectorizer.h.
753
754 2009-07-08  Nick Clifton  <nickc@redhat.com>
755
756         * config/i386/unix.h (ASM_COMMENT_START): Add a space after the
757         forward slash.
758
759 2009-07-08  DJ Delorie  <dj@redhat.com>
760
761         * config/mep/mep-ivc2.cpu (cpmovtocsar0_C3, cpmovtocsar1_C3,
762         cpmovtocc_C3, cpmovtocsar0_P0S_P1, cpmovtocsar1_P0S_P1,
763         cpmovtocc_P0S_P1): Mark volatile.  Note which registers are
764         written to.
765         * config/mep/intrinsics.md: Regenerated.
766         * config/mep/mep.c (mep_interrupt_saved_reg): Save IVC2 control
767         registers when asm() or calls are detected.
768
769 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
770
771         PR c++/31246
772         * gimplify.c (gimplify_expr): Propagate no_warning flag when
773         gimplifying.
774         * gimple (gimple_build_call_from_tree): Likewise.
775         * tree-cfg.c (remove_useless_stmts_warn_notreached): Check
776         no_warning flag before warning.
777
778 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
779
780         * tree.c (set_expr_locus): Remove.
781         * tree.h (EXPR_LOCUS,SET_EXPR_LOCUS,set_expr_locus): Remove.
782         * c-typeck.c (c_finish_stmt_expr):  Replace EXPR_LOCUS by
783         EXPR_LOCATION.
784         * gimplify.c (internal_get_tmp_var): Likewise.
785         (gimplify_call_expr): Likewise.
786         (gimplify_one_sizepos): Likewise.
787
788 2009-07-07  Eric Botcazou  <ebotcazou@adacore.com>
789
790         PR debug/40666
791         * dbxout.c (dbxout_symbol) <PARM_DECL>: Deal with parameters pointing
792         to variables for debugging purposes.
793
794 2009-06-23  Mark Loeser  <mark@halcy0n.com>
795
796         PR build/40010
797         * Makefile.in (gcc.pod): Depend on gcc-vers.texi.
798
799 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
800
801         * pretty-print.c (pp_base_format): Remove %J.
802         * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
803         gcc_cxxdiag_char_table): Likewise.
804         (init_dynamic_diag_info): Likewise.
805
806 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
807
808         * pretty-print.c (pp_base_format): Remove %H.
809         * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
810         gcc_cxxdiag_char_table): Likewise.
811         (init_dynamic_diag_info): Likewise.
812         * config/mep/mep.c (mep_select_section): Likewise.
813
814 2009-07-07  Duncan Sands  <baldrick@free.fr>
815
816         * final.c (pass_clean_state): Give the pass a name.
817         * passes.c (pass_rest_of_compilation): Likewise.
818         * tree-optimize.c (pass_all_optimizations): Likewise.
819
820 2009-07-07  H.J. Lu  <hongjiu.lu@intel.com>
821
822         * config/ia64/ia64.c (ia64_handle_model_attribute): Remove
823         an extra 'decl' for error_at.
824
825 2009-07-07  Jakub Jelinek  <jakub@redhat.com>
826
827         PR middle-end/40669
828         * tree-tailcall.c (adjust_return_value_with_ops,
829         create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
830         if it has complex or vector type.
831
832 2009-07-07  Olivier Hainque  <hainque@adacore.com>
833
834         * config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak
835         pthread symbols.
836
837 2009-07-07  Basile Starynkevitch  <basile@starynkevitch.net>
838
839         * Makefile.in: added more lists of includes to PLUGIN_HEADERS.
840
841 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
842
843         * cgraphunit.c: Replace %J by an explicit location.  Update all calls.
844         * c-decl.c: Likewise.
845         * function.c: Likewise.
846         * varasm.c: Likewise.
847         * tree-ssa.c: Likewise.
848         * c-common.c: Likewise.
849         * tree-cfg.c: Likewise.
850         * config/spu/spu.c: Likewise.
851         * config/ia64/ia64.c: Likewise.
852         * config/v850/v850.c: Likewise.
853
854 2009-07-06  DJ Delorie  <dj@redhat.com>
855
856         * config/mep/mep-core.cpu (fsft, ssarb): Mark as VOLATILE.
857         * config/mep/mep-ivc2.cpu (many): Add VOLATILE to more insns that make
858         unspecified accesses to control registers.
859         * config/mep/intrinsics.md: Regenerate.
860         * config/mep/intrinsics.h: Regenerate.
861         * config/mep/mep-intrin.h: Regenerate.
862
863 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
864
865         * c-lex.c: Replace %H by an explicit location. Update all calls.
866         * c-common.c: Likewise.
867         * c-decl.c: Likewise.
868         * c-typeck.c: Likewise.
869         * fold-const.c: Likewise.
870         * gimplify.c: Likewise.
871         * stmt.c: Likewise.
872         * tree-cfg.c: Likewise.
873         * tree-ssa-loop-niter.c: Likewise.
874         * tree-vrp.c: Likewise.
875         * value-prof.c: Likewise.
876
877 2009-07-06  Diego Novillo  <dnovillo@google.com>
878
879         * tree-dfa.c (dump_variable): Write DECL_INITIAL for VAR
880         if it has one.  Handle cases where VAR does not have an
881         annotation or cfun is NULL.
882
883 2009-07-06  Diego Novillo  <dnovillo@google.com>
884
885         * tree.c: Include debug.h.
886         (initialize_tree_contains_struct): New.
887         (init_ttree): Call it.
888         (tree_node_structure_for_code): Factor out of ...
889         (tree_node_structure): ... here.
890         * treestruct.def (TS_PHI_NODE): Remove.
891         (TS_GIMPLE_STATEMENT): Remove.
892
893 2009-07-06  Diego Novillo  <dnovillo@google.com>
894
895         * tree-pretty-print.c (dump_generic_node): Protect against NULL op0.
896         (debug_tree_chain): Handle cycles.
897
898 2009-07-06  Nick Clifton  <nickc@redhat.com>
899             DJ Delorie  <dj@redhat.com>
900
901         * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
902         __FMOVD_ENABLED__ is defined.
903         * config/sh/sh.h
904         (TARGET_FMOVD): Provide a default definition.
905         (MASK_FMOVD): Likewise.
906         (TARGET_CPU_CPP_BUILTINS): Define
907         __FMOVD_ENABLED__ if TARGET_FMOVD is true.
908         * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
909         two fmov instructions depending upon whether TARGET_FMOVD is enabled.
910         (split for DF load from memory into register): Also handle
911         MEMs which consist of REG+DISP addressing.
912         (split for DF store from register to memory): Likewise.
913         (movsf_ie): Always use single fp_mode.
914         * config/sh/sh.c (sh_override_options): Do not automatically
915         enable TARGET_MOVD for the SH2A when supporting doubles - leave
916         that to the -mfmovd command line switch.
917         (broken_move): Do not restrict fldi test to only the SH4 and SH4A.
918         (fldi_ok): Always allow.
919         * config/sh/sh.opt (mfmovd): Remove this switch.
920         * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
921
922 2009-07-06  J"orn Rennecke  <joern.rennecke@arc.com>
923             Kaz Kojima  <kkojima@gcc.gnu.org>
924
925         PR rtl-optimization/30807
926         * postreload.c (reload_combine): For every new use of REG_SUM,
927         record the use of BASE.
928
929 2009-07-06  Jan Hubicka  <jh@suse.cz>
930
931         * params.def: Revert my accidental commit at 2009-06-30.
932
933 2009-07-04  Ian Lance Taylor  <iant@google.com>
934
935         PR target/40636
936         * config/i386/msformat-c.c (mingw_format_attributes): Declare as
937         EXPORTED_CONST.
938         (mingw_format_attribute_overrides): Likewise.
939
940 2009-07-04  Jakub Jelinek  <jakub@redhat.com>
941
942         PR debug/40596
943         * dwarf2out.c (based_loc_descr): For crtl->stack_realign_tried
944         don't check cfa.reg.  Instead of cfa.indirect use
945         fde && fde->drap_reg != INVALID_REGNUM test.
946
947 2009-07-04  Eric Botcazou  <ebotcazou@adacore.com>
948
949         * postreload.c (reload_combine): Replace CONST_REG with INDEX_REG.
950
951 2009-07-03  Vladimir Makarov  <vmakarov@redhat.com>
952
953         PR target/40587
954         * ira.c (build_insn_chain): Use DF_LR_OUT instead of df_get_live_out.
955
956 2009-07-03  Richard Guenther  <rguenther@suse.de>
957
958         PR tree-optimization/40640
959         * tree-switch-conversion.c (build_arrays): Perform arithmetic
960         in original type.
961
962 2009-07-03  Jan Hubicka  <jh@suse.cz>
963
964         * ipa-inline.c (cgraph_decide_inlining_incrementally): When optimizing
965         for size, reduce amount of inlining.
966
967 2009-07-03  Richard Guenther  <rguenther@suse.de>
968
969         PR middle-end/34163
970         * tree-chrec.c (chrec_convert_1): Fold (T2)(t +- x) to (T2)t +- (T2)x
971         if t +- x is known to not overflow and the conversion widens the
972         operation.
973         * Makefile.in (tree-chrec.o): Add $(FLAGS_H) dependency.
974
975 2009-07-03  Jan Hubicka  <jh@suse.cz>
976
977         * ipa-pure-const.c (analyze): Update loop optimizer init.
978         * tree-ssa-loop-iv-canon.c (empty_loop_p, remove_empty_loop,
979         try_remove_empty_loop, remove_empty_loops): Remove.
980         * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): Remove.
981         * tree-ssa-dce.c (find_obviously_necessary_stmts): Use finiteness info
982         to mark regular loops as neccesary.
983         (degenerate_phi_p): New function.
984         (propagate_necessity, remove_dead_phis): Use it.
985         (forward_edge_to_pdom): Likewise.
986         (eliminate_unnecessary_stmts): Take care to remove uses of results of
987         virtual PHI nodes that became unreachable.
988         (perform_tree_ssa_dce): Initialize/deinitialize loop optimizer.
989         * tree-flow.h (remove_empty_loops): Remove.
990         * passes.c (init_optimization_passes): Remove.
991
992 2009-07-03  Uros Bizjak  <ubizjak@gmail.com>
993
994         * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1): Use
995         can_create_pseudo_p.
996         (*fix_trunc<mode>_i387_1): Ditto.
997         (*floathi<mode>2_1): Ditto.
998         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): Ditto.
999         (*fistdi2_1): Ditto.
1000         (*fist<mode>2_1): Ditto.
1001         (frndintxf2_floor): Ditto.
1002         (*fist<mode>2_floor_1): Ditto.
1003         (frndintxf2_ceil): Ditto.
1004         (*fist<mode>2_ceil_1): Ditto.
1005         (frndintxf2_trunc): Ditto.
1006         (frndintxf2_mask_pm): Ditto.
1007         (fxam<mode>2_i387_with_temp): Ditto.
1008         * config/i386/sse.md (mulv16qi3): Ditto.
1009         (*sse2_mulv4si3): Ditto.
1010         (mulv2di3): Ditto.
1011         (sse4_2_pcmpestr): Ditto.
1012         (sse4_2_pcmpistr): Ditto.
1013
1014 2009-07-03  Jan Hubicka  <jh@suse.cz>
1015
1016         * tree-ssa-dce.c (bb_contains_live_stmts): New bitmap.
1017         (mark_stmt_necessary): Set it.
1018         (mark_operand_necessary): Set it.
1019         (mark_control_dependent_edges_necessary): Set it.
1020         (mark_virtual_phi_result_for_renaming): New function.
1021         (get_live_post_dom): New function.
1022         (forward_edge_to_pdom): New function.
1023         (remove_dead_stmt): Fix handling of control dependences.
1024         (tree_dce_init): Init new bitmap.
1025         (tree_dce_done): Free it.
1026
1027 2009-07-02  Richard Guenther  <rguenther@suse.de>
1028
1029         PR bootstrap/40617
1030         * tree-ssa-structalias.c (new_var_info): Initialize
1031         is_restrict_var.
1032
1033 2009-07-02  Jan Hubicka  <jh@suse.cz>
1034
1035         * ipa-pure-const.c (check_op): Use PTA info to see if indirect_ref is
1036         local.
1037
1038 2009-07-02  Paolo Bonzini  <bonzini@gnu.org>
1039
1040         * expmed.c (emit_cstore, emit_store_flag_1): Accept target_mode
1041         instead of recomputing it.  Adjust calls.
1042         (emit_store_flag): Adjust recursive calls.
1043
1044 2009-07-02  Richard Guenther  <rguenther@suse.de>
1045
1046         * tree-ssa-live.c (remove_unused_locals): Do not remove
1047         heap variables.
1048         * tree-ssa-structalias.c (handle_lhs_call): Delay setting
1049         of DECL_EXTERNAL for HEAP variables.
1050         (compute_points_to_sets): Set DECL_EXTERNAL for escaped
1051         HEAP variables.  Do not adjust RESTRICT vars.
1052         (find_what_var_points_to): Nobody cares if something
1053         points to READONLY.
1054
1055 2009-07-02  Ben Elliston  <bje@au.ibm.com>
1056
1057         * unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Move
1058         pc_low and pc_high declarations to the top of the function.
1059
1060 2009-07-01  DJ Delorie  <dj@redhat.com>
1061
1062         * config/mep/mep.c (mep_handle_option): Leave IVC2 control
1063         registers as fixed.
1064         (mep_interrupt_saved_reg): Save appropriate IVC2 control registers.
1065         * config/mep/mep-ivc2.cpu: Add VOLATILE to insns that make
1066         unspecified accesses to control registers.
1067         * config/mep/intrinsics.md: Regenerate.
1068         * config/mep/intrinsics.h: Regenerate.
1069         * config/mep/mep-intrin.h: Regenerate.
1070
1071 2009-07-01  Anthony Green  <green@moxielogic.com>
1072
1073         * config/moxie/moxie.c (moxie_expand_prologue): Use dec
1074         instruction when possible.
1075         (moxie_expand_prologue): Ditto.  Also, save an instruction and
1076         some complexity by popping off of $r12 instead of $sp.
1077         * config/moxie/moxie.md (movsi_pop): Don't assume $sp.  Take two
1078         operands.
1079
1080 2009-07-01  Richard Henderson  <rth@redhat.com>
1081
1082         PR bootstrap/40347
1083         * function.c (reposition_prologue_and_epilogue_notes): If epilogue
1084         contained no insns, reposition note before last insn.
1085
1086 2009-07-01  Richard Henderson  <rth@redhat.com>
1087
1088         PR debug/40431
1089         * dwarf2out.c (def_cfa_1): Revert 2009-06-11 change for
1090         DW_CFA_def_cfa_offset and DW_CFA_def_cfa.
1091
1092 2009-07-01  Michael Meissner  <meissner@linux.vnet.ibm.com>
1093
1094         PR bootstrap/40558
1095         * config/rs6000/rs6000.c (print_operand): Undo change that breaks
1096         darwin9 for printing reg addresses with %y.
1097
1098 2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>
1099
1100         * combine.c (force_to_mode): Handle TRUNCATE.  Factor out
1101         truncation from operands in binary operations.
1102
1103 2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>
1104
1105         Revert:
1106         2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
1107         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
1108         subreg of op0 to the original op0.
1109
1110         * expmed.c (store_bit_field_1): Use a temporary as the destination
1111         instead of a paradoxical subreg when we need to truncate the result.
1112
1113 2009-07-01  DJ Delorie  <dj@redhat.com>
1114
1115         * config/mep/mep-ivc2.cpu (cmov, cmovc, cmovh): Add intrinsic
1116         names to VLIW variants.
1117         (ivc2rm, ivc2crn): Make data type consistent with non-VLIW variants.
1118         * config/mep/intrinsics.md: Regenerate.
1119         * config/mep/intrinsics.h: Regenerate.
1120         * config/mep/mep-intrin.h: Regenerate.
1121
1122 2009-07-01  Jakub Jelinek  <jakub@redhat.com>
1123
1124         PR debug/40462
1125         * jump.c (returnjump_p): Revert last patch.
1126         * dwarf2out.c (dwarf2out_begin_epilogue): Handle SEQUENCEs.
1127
1128 2009-07-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1129
1130         PR target/40575
1131         * pa.md (casesi32p): Use jump table label to determine the offset
1132         of the jump table.
1133         (casesi64p): Likewise.
1134
1135         * pa.c (forward_branch_p): Return bool type.  Use instruction
1136         addresses when available.  Assert that INSN has a jump label.
1137         (pa_adjust_insn_length): Don't call forward_branch_p if INSN doesn't
1138         have a jump label.
1139
1140 2009-07-01  Richard Guenther  <rguenther@suse.de>
1141
1142         PR tree-optimization/19831
1143         * tree-ssa-dce.c (propagate_necessity): Calls to functions
1144         that only act as barriers do not make any previous stores necessary.
1145         * tree-ssa-structalias.c (handle_lhs_call): Delay making
1146         HEAP variables global, do not add a constraint from nonlocal.
1147         (find_func_aliases): Handle escapes through return statements.
1148         (compute_points_to_sets): Make escaped HEAP variables global.
1149
1150 2009-07-01  Paolo Bonzini  <bonzini@gnu.org>
1151
1152         PR bootstrap/40597
1153         * expmed.c (emit_store_flag): Perform a conversion if necessary,
1154         after reducing a DImode cstore to SImode.
1155
1156 2009-07-01  Paolo Bonzini  <bonzini@gnu.org>
1157
1158         * expr.c (expand_expr_real_1): Reinstate fallthrough to
1159         TRUTH_ANDIF_EXPR if do_store_flag returns NULL.
1160
1161 2009-07-01  Maciej W. Rozycki  <macro@linux-mips.org>
1162
1163         * config/vax/vax.h (TARGET_BSD_DIVMOD): New macro.  Set to 1.
1164         * config/vax/linux.h (TARGET_BSD_DIVMOD): New macro.  Redefine the
1165         to 0.
1166         * config/vax/vax.c (vax_init_libfuncs): Only redefine udiv_optab
1167         and umod_optab if TARGET_BSD_DIVMOD.
1168         * config/vax/lib1funcs.asm: New file.
1169         * config/vax/t-linux: New file.
1170         * config.gcc (vax-*-linux*): Set tmake_file to vax/t-linux.
1171
1172 2009-06-30  Jakub Jelinek  <jakub@redhat.com>
1173
1174         PR c++/40566
1175         * convert.c (convert_to_integer) <case COND_EXPR>: Don't convert
1176         to type arguments that have void type.
1177
1178         PR debug/40573
1179         * dwarf2out.c (gen_formal_parameter_die): Call
1180         equate_decl_number_to_die if node is different from origin.
1181
1182 2009-06-30  Anthony Green  <green@moxielogic.com>
1183
1184         Clean up moxie port for --enable-build-with-cxx.
1185         * config/moxie/moxie.c (moxie_function_value): First two
1186         parameters are const_tree, not tree.
1187         * config/moxie/moxie.h (enum reg_class): Rename CC_REG to CC_REGS.
1188         (REG_CLASS_NAMES): Ditto.
1189         (REGNO_REG_CLASS): Ditto.
1190         * config/moxie/moxie-protos.h (moxie_override_options): Declare.
1191         (moxie_function_value): Fix constyness of arguments.
1192
1193 2009-06-30  Eric Botcazou  <ebotcazou@adacore.com>
1194
1195         * cgraphunit.c (cgraph_finalize_compilation_unit): Call
1196         finalize_size_functions before further processing.
1197         * stor-layout.c: Include cgraph.h, tree-inline.h and tree-dump.h.
1198         (variable_size): Call self_referential_size on size expressions
1199         that contain a PLACEHOLDER_EXPR.
1200         (size_functions): New static variable.
1201         (copy_self_referential_tree_r): New static function.
1202         (self_referential_size): Likewise.
1203         (finalize_size_functions): New global function.
1204         * tree.c: Include tree-inline.h.
1205         (push_without_duplicates): New static function.
1206         (find_placeholder_in_expr): New global function.
1207         (substitute_in_expr) <tcc_declaration>: Return the replacement object
1208         on equality.
1209         <tcc_expression>: Likewise.
1210         <tcc_vl_exp>: If the replacement object is a constant, try to inline
1211         the call in the expression.
1212         * tree.h (finalize_size_functions): Declare.
1213         (find_placeholder_in_expr): Likewise.
1214         (FIND_PLACEHOLDER_IN_EXPR): New macro.
1215         (substitute_placeholder_in_expr): Update comment.
1216         * tree-inline.c (remap_decl): Do not unshare trees if do_not_unshare
1217         is true.
1218         (copy_tree_body_r): Likewise.
1219         (copy_tree_body): New static function.
1220         (maybe_inline_call_in_expr): New global function.
1221         * tree-inline.h (struct copy_body_data): Add do_not_unshare field.
1222         (maybe_inline_call_in_expr): Declare.
1223         * Makefile.in (tree.o): Depend on TREE_INLINE_H.
1224         (stor-layout.o): Depend on CGRAPH_H, TREE_INLINE_H, TREE_DUMP_H and
1225         GIMPLE_H.
1226
1227 2009-06-30  Richard Guenther  <rguenther@suse.de>
1228
1229         * tree-ssa-dce.c (mark_all_reaching_defs_necessary_1): Always
1230         continue walking.
1231         (propagate_necessity): Do not mark reaching defs of stores
1232         as necessary.
1233
1234 2009-06-30  Jan Hubicka  <jh@suse.cz>
1235
1236         * cfgloopanal.c (check_irred): Move into ...
1237         (mark_irreducible_loops): ... here; return true if ireducible
1238         loops was found.
1239         * ipa-pure-const.c: Include cfgloop.h and tree-scalar-evolution.h
1240         (analyze_function): Try to prove loop finiteness.
1241         * cfgloop.h (mark_irreducible_loops): Update prototype.
1242         * Makefile.in (ipa-pure-const.o): Add dependency on SCEV and CFGLOOP.
1243
1244 2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>
1245
1246         * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
1247
1248 2009-06-30  Ira Rosen  <irar@il.ibm.com>
1249
1250         PR tree-optimization/40542
1251         * tree-vect-stmts.c (vect_analyze_stmt): Don't vectorize volatile 
1252         types.
1253
1254 2009-06-30  Martin Jambor  <mjambor@suse.cz>
1255
1256         PR tree-optimization/40582
1257         * tree-sra.c (build_ref_for_offset_1): Use types_compatible_p rather
1258         than useless_type_conversion_p.
1259         (generate_subtree_copies): Increment sra_stats.subtree_copies at a
1260         proper place.
1261
1262 2009-06-30  Martin Jambor  <mjambor@suse.cz>
1263
1264         PR middle-end/40554
1265         * tree-sra.c (sra_modify_expr): Add access->offset to start_offset.
1266
1267 2009-06-30  Richard Guenther  <rguenther@suse.de>
1268
1269         * tree-ssa-alias.c (walk_aliased_vdefs_1): Change interface to
1270         use ao_ref references.
1271         (walk_aliased_vdefs): Likewise.
1272         * tree-ssa-alias.h (walk_aliased_vdefs): Adjust prototype.
1273         * tree-ssa-dce.c (struct ref_data): Remove.
1274         (mark_aliased_reaching_defs_necessary_1): Use the ao_ref argument.
1275         (mark_aliased_reaching_defs_necessary): Adjust.
1276         (mark_all_reaching_defs_necessary_1): Likewise.
1277
1278 2009-06-30  Paolo Bonzini  <bonzini@gnu.org>
1279
1280         PR boostrap/40597
1281         * expmed.c (emit_cstore): New name of emit_store_flag_1.
1282         (emit_store_flag_1): Extract from emit_store_flag, adjust
1283         calls to (what now is) emit_cstore.
1284         (emit_store_flag): Call emit_store_flag_1 and also use it
1285         for what used to be recursive calls.
1286
1287 2009-06-30  Wei Guozhi  <carrot@google.com>
1288
1289         PR/40416
1290         * tree-ssa-sink.c (statement_sink_location): Stop sinking expression
1291         if the target bb post dominates from bb.
1292         * config/i386/i386.c (memory_address_length): Check existence of base
1293         register before using it.
1294
1295 2009-06-30  Nick Clifton  <nickc@redhat.com>
1296             DJ Delorie  <dj@redhat.com>
1297
1298         * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
1299         __FMOVD_ENABLED__ is defined.
1300         * config/sh/sh.h
1301         (TARGET_FMOVD): Provide a default definition.
1302         (MASK_FMOVD): Likewise.
1303         (TARGET_CPU_CPP_BUILTINS): Define
1304         __FMOVD_ENABLED__ if TARGET_FMOVD is true.
1305         * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
1306         two fmov instructions depending upon whether TARGET_FMOVD is
1307         enabled.
1308         (split for DF load from memory into register): Also handle
1309         MEMs which consist of REG+DISP addressing.
1310         (split for DF store from register to memory): Likewise.
1311         * config/sh/sh.opt (mfmovd): Remove this switch.
1312         * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
1313         * config/sh/sh.c (sh_override_options): Do not automatically
1314         enable TARGET_MOVD for the SH2A when supporting doubles - leave
1315         that to the -mfmovd command line switch.
1316
1317         * config/sh/sh.c (broken_move): Do not restrict fldi test to only
1318         the SH4 and SH4A.
1319         (fldi_ok): Always allow.
1320         * config/sh/sh.md (movsf_ie): Always use single fp_mode.
1321
1322 2009-06-29  DJ Delorie  <dj@redhat.com>
1323
1324         * doc/install.texi (mep-x-elf): Correct chip's full name.
1325
1326 2009-06-29  H.J. Lu  <hongjiu.lu@intel.com>
1327
1328         * doc/extend.texi: Fix typo.
1329
1330 2009-06-29  Tom Tromey  <tromey@redhat.com>
1331
1332         * dwarf2.h: Remove.
1333         * Makefile.in (DWARF2_H): New variable.
1334         (except.o): Use it.
1335         (dwarf2out.o): Likewise.
1336         (dwarf2asm.o): Likewise.
1337         * config/i386/t-i386: Use DWARF2_H.
1338         * except.c: Include elf/dwarf2.h.
1339         * unwind-dw2.c: Include elf/dwarf2.h.
1340         * dwarf2out.c: Include elf/dwarf2.h.
1341         (dw_loc_descr_struct) <dw_loc_opc>: Now a bitfield.
1342         <dtprel>: New field.
1343         (dwarf_stack_op_name): Don't handle INTERNAL_DW_OP_tls_addr.
1344         (size_of_loc_descr): Likewise.
1345         (output_loc_operands_raw): Likewise.
1346         (output_loc_operands): Handle new dtprel field.
1347         (loc_checksum): Update.
1348         (loc_descriptor_from_tree_1) <VAR_DDECL>: Set dtprel field.
1349         * unwind-dw2-fde-glibc.c: Include elf/dwarf2.h.
1350         * unwind-dw2-fde.c: Include elf/dwarf2.h.
1351         * dwarf2asm.c: Include elf/dwarf2.h.
1352         * unwind-dw2-fde-darwin.c: Include elf/dwarf2.h.
1353         * config/mmix/mmix.c: Include elf/dwarf2.h.
1354         * config/rs6000/darwin-fallback.c: Include elf/dwarf2.h.
1355         * config/xtensa/unwind-dw2-xtensa.c: Include elf/dwarf2.h.
1356         * config/sh/sh.c: Include elf/dwarf2.h.
1357         * config/i386/i386.c: Include elf/dwarf2.h.
1358
1359 2009-06-29  DJ Delorie  <dj@redhat.com>
1360
1361         * config/mep/mep.h (CPP_SPEC): Remove __cop macro.
1362
1363         * doc/extend.texi: Add MeP attributes and pragmas.
1364         * doc/invoke.text: Add MeP Options.
1365         * doc/contrib.texi: Add MeP contribution.
1366         * doc/md.texi: Add MeP constraints.
1367         * doc/install.texi: Add MeP target.
1368
1369 2009-06-30  Anatoly Sokolov  <aesok@post.ru>
1370
1371         * target.h (struct gcc_target): Add frame_pointer_required field.
1372         * target-def.h (TARGET_FRAME_POINTER_REQUIRED): New.
1373         (TARGET_INITIALIZER): Use TARGET_FRAME_POINTER_REQUIRED.
1374         * ira.c (setup_eliminable_regset): Use frame_pointer_required target
1375         hook.
1376         * reload1.c (update_eliminables): (Ditto.).
1377         * gcc/system.h (FRAME_POINTER_REQUIRED): Poison.
1378         * doc/tm.texi (FRAME_POINTER_REQUIRED): Revise documentation.
1379         (INITIAL_FRAME_POINTER_OFFSET): (Ditto.).
1380
1381         * config/arc/arc.h (FRAME_POINTER_REQUIRED): Remove macro.
1382
1383         * config/arm/arm.h (FRAME_POINTER_REQUIRED): Remove macro.
1384         * config/arm/arm.c (TARGET_FRAME_POINTER_REQUIRED): Define.
1385         (arm_frame_pointer_required): New function.
1386
1387         * config/avr/avr.h (FRAME_POINTER_REQUIRED): Remove macro.
1388         * config/avr/avr.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1389         (avr_frame_pointer_required_p): Declare as static.
1390         * config/avr/avr-protos.h (avr_frame_pointer_required_p): Remove.
1391
1392         * config/bfin/bfin.h (FRAME_POINTER_REQUIRED): Remove macro.
1393         * config/bfin/bfin.c (TARGET_FRAME_POINTER_REQUIRED): Define.
1394         (bfin_frame_pointer_required): Make as static, change return type
1395         to bool.
1396         * config/bfin/bfin-protos.h (bfin_frame_pointer_required): Remove.
1397
1398         * config/cris/cris.h (FRAME_POINTER_REQUIRED): Remove macro.
1399         * config/cris/cris.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1400         (cris_frame_pointer_required): New function.
1401         
1402         * config/crx/crx.h (FRAME_POINTER_REQUIRED): Remove macro.
1403
1404         * config/fr30/fr30.h (FRAME_POINTER_REQUIRED): Remove macro.
1405         * config/fr30/fr30.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1406         (fr30_frame_pointer_required): New function.
1407         
1408         * config/frv/frv.h (FRAME_POINTER_REQUIRED): Remove macro.
1409         * config/frv/frv.c (TARGET_FRAME_POINTER_REQUIRED): Define.
1410         (frv_frame_pointer_required): Make as static, change return type
1411         to bool.
1412         * config/bfin/bfin-protos.h (frv_frame_pointer_required): Remove.
1413
1414         * config/i386/i386.h (FRAME_POINTER_REQUIRED): Remove macro.
1415         * config/i386/i386.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1416         (ix86_frame_pointer_required): Make as static, change return type to
1417         bool.
1418         * config/i386/i386-protos.h (ix86_frame_pointer_required): Remove.
1419
1420         * config/m32c/m32c.h (FRAME_POINTER_REQUIRED): Remove macro.
1421         * config/m32c/m32c.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1422
1423         * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Remove macro.
1424
1425         * config/mcore/mcore.h (CAN_ELIMINATE): Remove macro.
1426         
1427         * config/mep/mep.h (FRAME_POINTER_REQUIRED): Remove macro.
1428
1429         * config/mips/mips.h (FRAME_POINTER_REQUIRED): Remove macro.
1430         * config/mips/mips.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1431         (mips_frame_pointer_required): Make as static.
1432         * config/mips/mips-protos.h (mips_frame_pointer_required): Remove.
1433         
1434         * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Remove macro.
1435         * config/mmix/mmix.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1436         (mmix_frame_pointer_required): Mew function.
1437
1438         * config/moxie/moxie.h (FRAME_POINTER_REQUIRED): Remove macro.
1439         * config/moxie/moxie.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1440
1441         * config/pa/pa.h (FRAME_POINTER_REQUIRED): Remove macro.
1442
1443         * config/score/score.h (FRAME_POINTER_REQUIRED): Remove macro.
1444
1445         * config/sh/sh.h (CAN_ELIMINATE): Remove macro.
1446
1447         * config/sparc/sparc.h (FRAME_POINTER_REQUIRED): Remove macro.
1448         (CAN_ELIMINATE): Redefine.
1449         * config/sparc/sparc.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
1450         (sparc_frame_pointer_required): New function.
1451         (sparc_can_eliminate): New function.
1452         * config/sparc/sparc-protos.h (sparc_can_eliminate): Declare.
1453
1454         * config/vax/vax.h (FRAME_POINTER_REQUIRED): Remove macro.
1455         * config/vax/vax.c (TARGET_FRAME_POINTER_REQUIRED): Define.
1456
1457         * config/xtensa/xtensa.h (FRAME_POINTER_REQUIRED): Remove macro.
1458         * config/xtensa/xtensa.c (TARGET_FRAME_POINTER_REQUIRED): Define.
1459         (xtensa_frame_pointer_required): Make as static, change return type
1460         to bool.
1461         * config/xtensa/xtensa-protos.h (xtensa_frame_pointer_required):
1462         Remove.
1463
1464 2009-06-29  Olatunji Ruwase  <tjruwase@google.com>
1465
1466         * doc/plugins.texi: Document PLUGIN_START_UNIT.
1467         * toplev.c (compile_file): Call PLUGIN_START_UNIT.
1468         * gcc-plugin.h (PLUGIN_START_UNIT): Added new event.
1469         * plugin.c (plugin_event_name): Added PLUGIN_START_UNIT.
1470         (register_callback): Handle PLUGIN_START_UNIT.
1471         (invoke_plugin_callbacks): Handle PLUGIN_START_UNIT.
1472
1473 2009-06-29  Eric Botcazou  <ebotcazou@adacore.com>
1474
1475         * tree.c (process_call_operands): Propagate TREE_READONLY from the
1476         operands.
1477         (PROCESS_ARG): Do not clear TREE_READONLY if CONSTANT_CLASS_P.
1478         (build3_stat): Propagate TREE_READONLY for COND_EXPR.
1479
1480 2009-06-29  Daniel Jacobowitz  <dan@codesourcery.com>
1481
1482         * config/arm/arm.h (REGISTER_MOVE_COST): Increase VFP register
1483         move cost.
1484
1485 2009-06-29  Uros Bizjak  <ubizjak@gmail.com>
1486
1487         * doc/extend.texi (Additional Floating Types): __float128 is also
1488         supported on i386 targets.
1489
1490 2009-06-29  Richard Guenther  <rguenther@suse.de>
1491
1492         PR middle-end/14187
1493         * tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
1494         flag.
1495         (pt_solutions_same_restrict_base): Declare.
1496         * tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
1497         flag.
1498         (new_var_info): Initialize is_global_var properly for SSA_NAMEs.
1499         (make_constraint_from, make_copy_constraint): Move earlier.
1500         (make_constraint_from_heapvar): New function.
1501         (make_constraint_from_restrict): Likewise.
1502         (handle_lhs_call): Use it.
1503         (find_func_aliases): Use it to track conversions to restrict
1504         qualified pointers.
1505         (struct fieldoff): Add only_restrict_pointers flag.
1506         (push_fields_onto_fieldstack): Initialize it.
1507         (create_variable_info_for): Track global restrict qualified pointers.
1508         (intra_create_variable_infos): Use make_constraint_from_heapvar.
1509         Track restrict qualified pointer arguments.
1510         (set_uids_in_ptset): Use varinfo is_global_var flag.
1511         (find_what_var_points_to): Set the vars_contains_restrict flag.
1512         Always create the points-to solution for sets including restrict tags.
1513         (pt_solutions_same_restrict_base): New function.
1514         * tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
1515         qualified pointers use pt_solutions_same_restrict_base as
1516         additional source for disambiguation.
1517
1518 2009-06-29  Richard Guenther  <rguenther@suse.de>
1519
1520         PR middle-end/38212
1521         * alias.c (find_base_decl): Remove.
1522         (get_deref_alias_set_1): Remove restrict handling.
1523         * c-common.c (c_apply_type_quals_to_decl): Do not set
1524         DECL_POINTER_ALIAS_SET.
1525         * gimplify.c (find_single_pointer_decl_1): Remove.
1526         (find_single_pointer_decl): Likewise.
1527         (internal_get_tmp_var): Remove restrict handling.
1528         (gimple_regimplify_operands): Likewise.
1529         * omp-low.c (expand_omp_atomic_pipeline): Do not set
1530         DECL_POINTER_ALIAS_SET. Use ref-all pointers.
1531         * print-tree.c (print_node): Do not print DECL_POINTER_ALIAS_SET.
1532         * tree.c (restrict_base_for_decl): Remove.
1533         (init_ttree): Do not allocate it.
1534         (make_node_stat): Do not set DECL_POINTER_ALIAS_SET.  Set
1535         LABEL_DECL_UID for label decls.
1536         (copy_node_stat): Do not copy restrict information.
1537         (decl_restrict_base_lookup): Remove.
1538         (decl_restrict_base_insert): Likewise.
1539         (print_restrict_base_statistics): Likewise.
1540         (dump_tree_statistics): Do not call print_restrict_base_statistics.
1541         * tree.h (DECL_POINTER_ALIAS_SET): Remove.
1542         (DECL_POINTER_ALIAS_SET_KNOWN_P): Likewise.
1543         (struct tree_decl_common): Rename pointer_alias_set to label_decl_uid.
1544         (LABEL_DECL_UID): Adjust.
1545         (DECL_BASED_ON_RESTRICT_P): Remove.
1546         (DECL_GET_RESTRICT_BASE): Likewise.
1547         (SET_DECL_RESTRICT_BASE): Likewise.
1548         (struct tree_decl_with_vis): Remove based_on_restrict_p flag.
1549
1550         * config/i386/i386.c (ix86_gimplify_va_arg): Use ref-all pointers
1551         instead of DECL_POINTER_ALIAS_SET.
1552         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
1553         * config/s390/s390.c (s390_gimplify_va_arg): Likewise.
1554         * config/spu/spu.c (spu_gimplify_va_arg_expr): Likewise.
1555
1556 2009-06-29  Richard Guenther  <rguenther@suse.de>
1557
1558         PR tree-optimization/40579
1559         * tree-vrp.c (vrp_evaluate_conditional): Bail out early if
1560         the IL to simplify has constants that overflowed.
1561
1562 2009-06-28  Uros Bizjak  <ubizjak@gmail.com>
1563
1564         PR tree-optimization/40550
1565         * tree-vect-generic.c (expand_vector_operations_1): Compute in
1566         vector_compute_type only when the size of vector_compute_type is
1567         less than the size of type.
1568
1569 2009-06-28  Eric Botcazou  <ebotcazou@adacore.com>
1570
1571         * fold-const.c (contains_label_1): Fix comments.
1572         (contains_label_p): Do not walk trees multiple time.
1573
1574 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
1575
1576         * config/i386/i386.h (enum ix86_fpcmp_strategy): New.
1577         * config/i386/i386.md (cbranchxf4, cstorexf4, cbranch<MODEF>4,
1578         cstore<MODEF>4, mov<X87MODEF>cc): Change predicate to
1579         ix86_fp_comparison_operator.
1580         (*fp_jcc_1_mixed, *fp_jcc_1_sse, *fp_jcc_1_387, *fp_jcc_2_mixed,
1581         *fp_jcc_2_sse, *fp_jcc_2_387): Delete
1582         (*fp_jcc_3_387, *fp_jcc_4_387, *fp_jcc_5_387, *fp_jcc_6_387,
1583         *fp_jcc_7_387, *fp_jcc_8<MODEF>_387): Eliminate call to
1584         !ix86_use_fcomi_compare, change ix86_fp_jump_nontrivial_p call
1585         to !TARGET_CMOVE, change predicate to ix86_fp_comparison_operator.
1586         (related splits): Change predicate to ix86_fp_comparison_operator.
1587         * config/i386/predicates.md: Use ix86_trivial_fp_comparison_operator
1588         instead of ix86_fp_comparison_codes.
1589         (ix86_trivial_fp_comparison_operator,
1590         ix86_fp_comparison_operator): New.
1591         * config/i386/i386-protos.h (ix86_fp_comparison_strategy): New.
1592         (ix86_expand_compare): Eliminate last two parameters.
1593         (ix86_fp_jump_nontrivial_p): Kill.
1594         * config/i386/i386.c (put_condition_code): Eliminate call to
1595         ix86_fp_comparison_codes and subsequent assertion.
1596         (ix86_fp_comparison_codes): Eliminate.
1597         (ix86_fp_swap_condition): New.
1598         (ix86_fp_comparison_arithmetics_cost, ix86_fp_comparison_fcomi_cost,
1599         ix86_fp_comparison_sahf_cost, ix86_use_fcomi_compare): Consolidate
1600         into ix86_fp_comparison_cost and ix86_fp_comparison_strategy.
1601         (ix86_prepare_fp_compare_args): Use ix86_fp_comparison_strategy
1602         and ix86_fp_swap_condition.
1603         (ix86_expand_fp_compare): Eliminate code for second jump/bypass jump.
1604         Use ix86_fp_comparison_strategy.
1605         (ix86_expand_compare): Likewise.  Eliminate last two arguments.
1606         (ix86_fp_jump_nontrivial_p): Eliminate.
1607         (ix86_expand_branch): Treat SFmode/DFmode/XFmode as simple.  Adjust
1608         call to ix86_expand_compare.
1609         (ix86_split_fp_branch, ix86_expand_setcc,
1610         ix86_expand_carry_flag_compare, ix86_expand_int_movcc,
1611         ix86_expand_fp_movcc): Eliminate code for second jump/bypass jump.
1612
1613 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
1614
1615         * config/arm/arm.c (arm_final_prescan_ins): Eliminate code
1616         related to jump_clobbers.
1617         * config/arm/arm.md (conds): Remove jump_clob case.
1618         (addsi3_cbranch, addsi3_cbranch_scratch, subsi3_cbranch, two
1619         splits): Change comparison_operator to arm_comparison_operator.
1620         (*arm_buneq, *arm_bltgt, *arm_buneq_reversed, *arm_bltgt_reversed):
1621         Eliminate.
1622
1623 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
1624
1625         * dojump.c (do_compare_rtx_and_jump): Try swapping the
1626         condition for floating point modes.
1627         * expmed.c (emit_store_flag_1): Move here a bigger part
1628         of emit_store_flag.
1629         (emit_store_flag): Try swapping the condition for floating point
1630         modes.
1631         * optabs.c (emit_cmp_and_jump_insns): Cope with constant op0 better.
1632
1633 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
1634
1635         * expr.c (expand_expr_real_1): Just use do_store_flag.
1636         (do_store_flag): Drop support for TRUTH_NOT_EXPR.  Use
1637         emit_store_flag_force.
1638         * expmed.c (emit_store_flag_force): Copy here trick
1639         previously in expand_expr_real_1.  Try reversing the comparison.
1640         (emit_store_flag_1): Work if target is NULL.
1641         (emit_store_flag): Work if target is NULL, using the result mode
1642         from the comparison.  Use split_comparison, restructure final part
1643         to simplify conditionals.
1644
1645 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
1646
1647         * builtins.c (expand_errno_check): Use do_compare_rtx_and_jump.
1648         * dojump.c (do_jump): Change handling of floating-point
1649         ops to use just do_compare_and_jump.
1650         (split_comparison): New.
1651         (do_compare_rtx_and_jump): Add here logic coming previously
1652         in do_jump, using split_comparison.
1653
1654 2009-06-27  H.J. Lu  <hongjiu.lu@intel.com>
1655
1656         PR target/40489
1657         * config/ia64/ia64.c (ia64_reorg): Check NULL insn.
1658
1659 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
1660
1661         * tree-ssa-alias.c: Fix unintentional commit.
1662
1663 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
1664
1665         * passes.c (execute_one_pass): Fix unintentional commit.
1666
1667 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
1668
1669         * df-problems.c (df_set_seen, df_unset_seen): Delete.
1670         (df_rd_local_compute, df_md_local_compute): Inline them.
1671
1672         (df_md_scratch): New.
1673         (df_md_alloc, df_md_free): Allocate/free it.
1674         (df_md_local_compute): Only include live registers in init.
1675         (df_md_transfer_function): Prune the in-set computed by
1676         the confluence function, and the gen-set too.
1677
1678 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
1679
1680         PR rtl-optimization/26854
1681         * timevar.def: Remove TV_DF_RU, add TV_DF_MD.
1682         * df-problems.c (df_rd_add_problem): Fix comment.
1683         (df_md_set_bb_info, df_md_free_bb_info, df_md_alloc,
1684         df_md_simulate_artificial_defs_at_top,
1685         df_md_simulate_one_insn, df_md_bb_local_compute_process_def,
1686         df_md_bb_local_compute, df_md_local_compute, df_md_reset,
1687         df_md_transfer_function, df_md_init, df_md_confluence_0,
1688         df_md_confluence_n, df_md_free, df_md_top_dump, df_md_bottom_dump,
1689         problem_MD, df_md_add_problem): New.
1690         * df.h (DF_MD, DF_MD_BB_INFO, struct df_md_bb_info, df_md,
1691         df_md_get_bb_info): New.
1692         (DF_LAST_PROBLEM_PLUS1): Adjust.
1693
1694         * Makefile.in (fwprop.o): Include domwalk.h.
1695         * fwprop.c: Include domwalk.h.
1696         (reg_defs, reg_defs_stack): New.
1697         (bitmap_only_bit_between): Remove.
1698         (process_defs): New.
1699         (process_uses): Use reg_defs and local_md instead of
1700         bitmap_only_bit_between and local_rd.
1701         (single_def_use_enter_block): New, from build_single_def_use_links.
1702         (single_def_use_leave_block): New.
1703         (build_single_def_use_links): Remove code moved to
1704         single_def_use_enter_block, invoke domwalk.
1705         (use_killed_between): Adjust comment.
1706
1707 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
1708
1709         * bitmap.h (bitmap_ior_and_into): New.
1710         * bitmap.c (bitmap_ior_and_into): New.
1711
1712 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
1713
1714         * domwalk.h (struct dom_walk_data): Remove all callbacks except
1715         before_dom_children_before_stmts and after_dom_children_after_stmts.
1716         Rename the two remaining callbacks to just before_dom_children and 
1717         after_dom_children. Remove other GIMPLE statement walking bits.
1718         * domwalk.c (walk_dominator_tree): Remove now unsupported features.
1719         * graphite.c: Do not include domwalk.h.
1720         * tree-into-ssa.c (interesting_blocks): New global.
1721         (struct mark_def_sites_global_data): Remove it and names_to_rename.
1722         (mark_def_sites, rewrite_stmt, rewrite_add_phi_arguments,
1723         rewrite_update_stmt, rewrite_update_phi_arguments): Simplify
1724         now that they're not domwalk callbacks.
1725         (rewrite_initialize_block): Rename to...
1726         (rewrite_enter_block): ... this, place after called functions.  Test
1727         interesting_blocks, call rewrite_stmt and rewrite_add_phi_arguments.
1728         (rewrite_finalize_block): Rename to...
1729         (rewrite_leave_block): ... this, place after called functions.
1730         (rewrite_update_init_block): Rename to...
1731         (rewrite_update_enter_block): ... this, place after called functions.
1732         Test interesting_blocks, call rewrite_update_stmt and 
1733         rewrite_update_phi_arguments.
1734         (rewrite_update_fini_block): Rename to...
1735         (rewrite_leave_block): ... this, place after called functions.
1736         (rewrite_blocks): Remove last argument, simplify initialization of
1737         walk_data.
1738         (mark_def_sites_initialize_block): Rename to...
1739         (mark_def_sites_block): ... this, call mark_def_sites.
1740         (mark_def_sites_blocks): Remove argument, simplify initialization of
1741         walk_data.
1742         (rewrite_into_ssa): Adjust for interesting_blocks_being a global.
1743         (update_ssa): Likewise.
1744         * tree-ssa-dom.c (optimize_stmt): Simplify now that it's not a domwalk
1745         callback.
1746         (tree_ssa_dominator_optimize): Simplify initialization of walk_data.
1747         (dom_opt_initialize_block): Rename to...
1748         (dom_opt_enter_block): ... this, place after called functions.  Walk
1749         statements here, inline propagate_to_outgoing_edges.
1750         (dom_opt_finalize_block): Rename to...
1751         (dom_opt_leave_block): ... this, place after called functions.
1752         * tree-ssa-dse.c (dse_optimize_stmt): Simplify now that it's not a
1753         domwalk callback.
1754         (dse_enter_block, dse_record_phi): New.
1755         (dse_record_phis): Delete.
1756         (dse_finalize_block): Rename to...
1757         (dse_leave_block): ... this.
1758         (tree_ssa_dse): Simplify initialization of walk_data.
1759         * tree-ssa-loop-im.c (determine_invariantness, move_computations):
1760         Adjust initialization of walk_data.
1761         * tree-ssa-loop-unswitch.c: Do not include domwalk.h.
1762         * tree-ssa-loop-phiopt.c (get_non_trapping):
1763         Adjust initialization of walk_data.
1764         * tree-ssa-loop-threadedge.c: Do not include domwalk.h.
1765         * tree-ssa-uncprop.c (uncprop_into_successor_phis): Simplify now that
1766         it's not a domwalk callback.
1767         (uncprop_initialize_block): Rename to...
1768         (dse_enter_block): ... this, call uncprop_into_successor_phis.
1769         (dse_finalize_block): Rename to...
1770         (dse_leave_block): ... this.
1771         (tree_ssa_uncprop): Simplify initialization of walk_data.
1772         * Makefile.in: Adjust dependencies.
1773
1774 2009-06-27  Richard Earnshaw  <rearnsha@arm.com>
1775
1776         * arm.md (casesi): Fix test for Thumb1.
1777         (thumb1_casesi_internal_pic): Likewise.
1778         (thumb1_casesi_dispatch): Likewise.
1779
1780 2009-06-26  Daniel Gutson  <dgutson@codesourcery.com>
1781
1782         * config/arm/arm-cores.def: Added core cortex-m0.
1783         * config/arm/arm-tune.md: Regenerated.
1784         * doc/invoke.texi: Added entry for cpu ARM Cortex-M0.
1785
1786 2009-06-26  DJ Delorie  <dj@redhat.com>
1787
1788         * config/mep/mep.opt (mfar): Remove -mfar as it doesn't do anything.
1789
1790         * config/mep/mep.c (mep_bundle_insns): Account for the fact that
1791         the scheduler doesn't tag jump insns.
1792
1793 2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>
1794
1795         * c-decl.c (merge_decls): Re-indent.
1796
1797 2009-06-26  Janis Johnson  <janis187@us.ibm.com>
1798
1799         PR c/39902
1800         * tree.c (real_zerop, real_onep, real_twop, real_minus_onep):
1801         Special-case decimal float constants.
1802
1803 2009-06-26  Richard Henderson  <rth@redhat.com>
1804
1805         * function.h (struct function): Add cannot_be_copied_reason,
1806         and cannot_be_copied_set.
1807         * tree-inline.c (has_label_address_in_static_1): Rename from
1808         inline_forbidden_p_2; don't set inline_forbidden_reason here.
1809         (cannot_copy_type_1): Rename from inline_forbidden_p_op; likewise
1810         don't set inline_forbidden_reason.
1811         (copy_forbidden): New function, split out of inline_forbidden_p.
1812         (inline_forbidden_p_stmt): Don't check for nonlocal labels here.
1813         (inline_forbidden_p): Use copy_forbidden.
1814         (tree_versionable_function_p): Likewise.
1815         (inlinable_function_p): Merge into tree_inlinable_function_p.
1816         (tree_function_versioning): Remap cfun->nonlocal_goto_save_area.
1817         * ipa-cp.c (ipcp_versionable_function_p): New function.
1818         (ipcp_cloning_candidate_p): Use it.
1819         (ipcp_node_modifiable_p): Likewise.
1820
1821 2009-06-26  Olatunji Ruwase  <tjruwase@google.com>
1822
1823         * builtins.c (expand_builtin_alloca): Handle builtin alloca
1824         that is marked not to be inlined. Remove flag_mudflap use.
1825         * tree-mudflap.c: Rename mf_xform_derefs to mf_xfrom_statements.
1826         (mf_xform_statements): Mark builtin alloca calls as un-inlineable.
1827
1828 2009-06-26  Steve Ellcey  <sje@cup.hp.com>
1829
1830         PR bootstrap/40338
1831         * config/pa/t-pa-hpux10 (TARGET_LIBGCC2_CFLAGS): Add -frandom-seed.
1832         * config/pa/t-pa-hpux11 (TARGET_LIBGCC2_CFLAGS): Ditto.
1833
1834 2009-06-26  Kai Tietz  <kai.tietz@onevision.com>
1835
1836         * config/i386/mingw-tls.c (__mingwthr_key_dtor): Remove for none
1837         shared libgcc.
1838         (__mingwthr_remove_key_dtor): Likewise.
1839
1840 2009-06-26  Richard Guenther  <rguenther@suse.de>
1841
1842         * tree-ssa-structalias.c (do_ds_constraint): Simplify escape handling.
1843
1844 2009-06-26  Steven Bosscher  <steven@gcc.gnu.org>
1845
1846         PR middle-end/40525
1847         * ifcvt.c (dead_or_predicable): If predicating MERGE_BB fails,
1848         try the non-cond_exec path also.
1849
1850 2009-06-25  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1851
1852         PR target/40468
1853         * pa.c (branch_to_delay_slot_p, branch_needs_nop_p): New functions.
1854         (output_cbranch): Use new functions.
1855         (output_lbranch, output_bb, output_bvb, output_dbra, output_movb):
1856         Likewise.
1857
1858 2009-06-25  Michael Meissner  <meissner@linux.vnet.ibm.com>
1859             Pat Haugen  <pthaugen@us.ibm.com>
1860             Revital Eres <ERES@il.ibm.com>
1861
1862         * config/rs6000/rs6000.c (print_operand): Correct lossage message
1863         for %c error.  Add %x support to print VSX registers as a unified
1864         register set, instead of separate float and altivec registers.
1865         Switch to use VECTOR_MEM_ALTIVEC_P instead of TARGET_ALTIVEC for
1866         %y case, and add support for VSX pre-modify addresses.
1867         (output_toc): Add assert for CONST containing an integer constant
1868         in the PLUS case.
1869         (rs6000_adjust_cost): Add POWER7 support.
1870         (insn_must_be_first_in_group): Ditto.
1871         (insn_must_be_last_in_group): Ditto.
1872         (rs6000_emit_popcount): Ditto.
1873         (rs6000_vector_mode_supported_p): Ditto.
1874
1875         * config/rs6000/rs6000-protos.h (rs6000_secondary_reload_class):
1876         Change some of the functions called by macros to being called
1877         through a pointer, so debug functions can be inserted if
1878         -mdebug=addr or -mdebug=cost. 
1879         (rs6000_preferred_reload_class_ptr): Ditto.
1880         (rs6000_secondary_reload_class_ptr): Ditto.
1881         (rs6000_secondary_memory_needed_ptr): Ditto.
1882         (rs6000_cannot_change_mode_class_ptr): Ditto.
1883         (rs6000_secondary_reload_inner): Ditto.
1884         (rs6000_legitimize_reload_address): Ditto.
1885         (rs6000_legitimize_reload_address_ptr): Ditto.
1886         (rs6000_mode_dependent_address): Ditto.
1887         (rs6000_mode_dependent_address_ptr): Ditto.
1888
1889         * config/rs6000/rs6000.c (reg_offset_addressing_ok_p): New
1890         function to return true if the mode allows reg + integer
1891         addresses.
1892         (virtual_stack_registers_memory_p): New function to return true if
1893         the address refers to a virtual stack register.
1894         (rs6000_legitimate_offset_address_p): Move code to say whether a
1895         mode supports reg+int addressing to reg_offset_addressing_ok_p and
1896         call it.
1897         (rs6000_legitimate_address_p): Add checks for modes that only can
1898         do reg+reg addressing.  Start adding VSX support.
1899         (rs6000_legitimize_reload_address): Ditto.
1900         (rs6000_legitimize_address): Ditto.
1901         (rs6000_debug_legitimate_address_p): New debug functions for
1902         -mdebug=addr and -mdebug=cost.
1903         (rs6000_debug_rtx_costs): Ditto.
1904         (rs6000_debug_address_costs): Ditto.
1905         (rs6000_debug_adjust_cost): Ditto.
1906         (rs6000_debug_legitimize_address): Ditto.
1907         (rs6000_legitimize_reload_address_ptr): Point to call normal
1908         function or debug function.  Make functions called via pointer
1909         static.
1910         (rs6000_mode_dependent_address_ptr): Ditto.
1911         (rs6000_secondary_reload_class_ptr): Ditto.
1912         (rs6000_hard_regno_mode_ok): Add preliminary VSX support.
1913         (rs6000_emit_move): Add -mdebug=addr support.  Change an abort
1914         into a friendlier error.
1915         (rs6000_init_builtins): Add initial VSX support.
1916         (rs6000_adjust_cost): Fix some spacing issues.
1917
1918         * config/rs6000/rs6000.h (enum reg_class): Add VSX_REGS.
1919         (REG_CLASS_NAMES): Ditto.
1920         (REG_CLASS_CONTENTS): Ditto.
1921         (PREFERRED_RELOAD_CLASS): Move from a macro to calling through a
1922         pointer, to add -mdebug=addr support.
1923         (CANNOT_CHANGE_MODE_CLASS): Ditto.
1924         (SECONDARY_RELOAD_CLASS): Call through a pointer to add
1925         -mdebug=addr support.
1926         (LEGITIMIZE_RELOAD_ADDRESS): Ditto.
1927         (GO_IF_MODE_DEPENDENT_ADDRESS): Ditto.
1928         (enum rs6000_builtins): Add RS6000_BUILTIN_BSWAP_HI.
1929
1930         * config/rs6000/rs6000.md (bswaphi*): Add support for swapping
1931         16-bit values.
1932         (bswapsi*): Set attribute types for load/store.  Add combiner
1933         patterns to eliminate zero extend on 64-bit.
1934         (bswapdi*): Add support for swapping 64-bit values.  Use ldbrx and
1935         stdbrx if the hardware supports those instructions.
1936
1937 2009-06-25  Ian Lance Taylor  <iant@google.com>
1938
1939         * doc/invoke.texi (Option Summary): Mention -static-libstdc++.
1940         (Link Options): Document -static-libstdc++.
1941
1942 2009-06-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1943
1944         PR target/38731
1945         * config/rs6000/rs6000.c (LOCAL_ALIGNMENT): Redefine to just use
1946         DATA_ALIGNMENT instead.
1947
1948 2009-06-25  Richard Guenther  <rguenther@suse.de>
1949
1950         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Disambiguate
1951         indirect references against the callused/escaped solutions.
1952         (call_may_clobber_ref_p_1): Likewise.
1953
1954 2009-06-25  Martin Jambor  <mjambor@suse.cz>
1955
1956         PR tree-optimization/40493
1957         * tree-sra.c (sra_modify_expr): Correct BIT_FIELD_REF argument numbers.
1958         (enum unscalarized_data_handling): New type.
1959         (handle_unscalarized_data_in_subtree): Return what has been done.
1960         (load_assign_lhs_subreplacements): Handle left flushes differently.
1961         (sra_modify_assign): Use unscalarized_data_handling, simplified
1962         condition determining whether to remove the statement.
1963
1964 2009-06-25  Basile Starynkevitch  <basile@starynkevitch.net>
1965
1966         * doc/plugins.texi (Building GCC plugins): Correct typo in Makefile
1967         excerpt - @ should be doubled for texinfo.
1968
1969 2009-06-24  Ian Lance Taylor  <iant@google.com>
1970
1971         * config/arc/arc.c: Include "df.h".
1972         (arc_attribute_table): Make static.  Move higher in file.
1973         (arc_address_cost): Call SMALL_INT on INTVAL, not rtx.
1974         (output_shift): Initialize n later to avoid warning.
1975         * config/arm/arm.c (arm_attribute_table): Make static.  Move
1976         higher in file.
1977         * config/avr/avr.c (avr_attribute_table): Make static.  Move
1978         higher in file.
1979         (reg_class_tab): Change array type from int to enum reg_class.
1980         (avr_jump_mode): Change GET_MODE to GET_CODE when checking for
1981         LABEL_REF.
1982         (out_tsthi, ashlhi3_out): Don't use AS2 with "or" or "and".
1983         (lshrhi3_out): Likewise.
1984         (class_likely_spilled_p): Change return type to bool.
1985         (avr_rtx_costs): Use local code variable with enum type.
1986         * config/avr/avr.md (movmemhi): Use add_reg_note.
1987         (andhi3, andsi3): Don't use AS2 with "and".
1988         (iorhi3, iorsi3): Don't use AS2 with "or".
1989         * config/avr/avr-protos.h (class_likely_spilled_p): Update declaration.
1990         * config/crx/crx.c: Include "df.h".
1991         (crx_attribute_table): Make static.
1992         * config/m32r/m32r.c: Include "df.h".
1993         (m32r_attribute_table): Make static.  Move higher in file.
1994         (pop): Use add_reg_note.
1995         (block_move_call): Change 0 to LCT_NORMAL in function call.
1996         * config/m32r/m32r.md (movsi_insn): Remove unused local value.
1997         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Likewise.
1998         * config/m32r/m32r-protos.h (m32r_compute_function_type): Always
1999         declare, not just when TREE_CODE is defined.
2000         * config/m68hc11/m68hc11.c: Include "expr.h".
2001         (m68hc11_attribute_table): Make static.  Move higher in file.
2002         (m68hc11_small_indexed_indirect_p): Change 0 to VOIDmode in
2003         function call.
2004         (m68hc11_register_indirect_p): Likewise.
2005         (m68hc11_function_arg_padding): Change return type to enum
2006         direction.
2007         (emit_move_after_reload): Use add_reg_note.
2008         (m68hc11_emit_logical): Change code parameter to enum rtx_code.
2009         (m68hc11_split_logical): Likewise.
2010         (m68hc11_rtx_costs): Add local code_and outer_code variables with
2011         enum type.
2012         * config/m68hc11/predicates.md (reg_or_some_mem_operand): Change 0
2013         to VOIDmode in function call.
2014         * config/m68hc11/m68hc11-protos.h: Don't check TREE_CODE to see if
2015         tree is defined.
2016         (m68hc11_split_logical): Update declaration.
2017         (m68hc11_function_arg_padding): Update declaration.
2018         * config/mcore/mcore.c (regno_reg_class): Change form array of int
2019         to array of enum reg_class.
2020         (mcore_attribute_table): Make static.  Move higher in file.
2021         (mcore_rtx_costs): Add cast to enum type.
2022         * config/mcore/mcore.h (regno_reg_class): Update declaration.
2023         (GO_IF_LEGITIMATE_INDEX): Add cast to avoid warning.
2024         * config/sh/sh.c (sh_attribute_table): Make static.  Move higher
2025         in file.
2026         * config/sh/predicates.md (trapping_target_operand): Rename and to
2027         and_expr.
2028         * config/sparc/sparc.c (sparc_attribute_table): Make static.  Move
2029         higher in file.
2030         * config/spu/spu.c (spu_attribute_table): Make static.  Move
2031         higher in file.
2032         * config/v850/v850.c (v850_attribute_table): Make static.  Move
2033         higher in file.
2034         (v850_rtx_costs): Use local code with enum type.
2035         (expand_epilogue): Add cast.
2036         * config/v850/v850-c.c (ghs_pragma_section): Initialize repeat.
2037
2038 2009-06-23  Takashi YOSHII  <yoshii.takashi@renesas.com>
2039
2040         PR target/40515
2041         * doc/invoke.texi (SH Options): Document -m2a, -m2a-single,
2042         -m2a-single-only and -m2a-nofpu.
2043         * config/sh/sh.opt: Document m2a generates FPU code.  
2044
2045 2009-06-24  Anatoly Sokolov  <aesok@post.ru>
2046
2047         * defaults.h (CAN_ELIMINATE): Provide default.
2048         * doc/tm.texi (CAN_ELIMINATE): Revise documentation.
2049         * config/alpha/alpha.h (CAN_ELIMINATE): Delete.
2050         * config/m32c/m32c.h (CAN_ELIMINATE): Delete.
2051         * config/spu/spu.h (CAN_ELIMINATE): Delete.
2052         * config/xtensa/xtensa.h (CAN_ELIMINATE): Delete.
2053         * config/moxie/moxie.h (CAN_ELIMINATE): Delete.
2054         * config/cris/cris.h (CAN_ELIMINATE): Delete.
2055         * config/mn10300/mn10300.h (CAN_ELIMINATE): Delete.
2056         * config/pa/pa64-linux.h (CAN_ELIMINATE): Delete.
2057         * config/mmix/mmix.h (CAN_ELIMINATE): Delete.
2058
2059 2009-06-24  DJ Delorie  <dj@redhat.com>
2060
2061         * mep-ext-cop.cpu: Fix copyright notice.
2062         * mep-default: Fix copyright notice.
2063         * mep-core: Fix copyright notice.
2064         * mep: Fix copyright notice.
2065         * mep-ivc2: Fix copyright notice.
2066         * mep-c5: Fix copyright notice.
2067
2068 2009-06-24  Denis Chertykov  <chertykov@gmail.com>
2069
2070         * doc/contrib.texi (Contributors): 
2071
2072 2009-06-24  Andreas Krebbel  <krebbel1@de.ibm.com>
2073         
2074         PR middle-end/40501
2075         * tree-ssa-math-opts.c (execute_optimize_bswap): Convert the bswap
2076         src and dst operands if necessary.
2077
2078 2009-06-23  DJ Delorie  <dj@redhat.com>
2079
2080         Add MeP port.
2081         * config.gcc: Add mep support.
2082         * recog.c: Resurrect validate_replace_rtx_subexp().
2083         * recog.h: Likewise.
2084         * config/mep/: Add new port:
2085         * config/mep/constraints.md: New file.
2086         * config/mep/default.h: New file.
2087         * config/mep/intrinsics.h: New file.
2088         * config/mep/intrinsics.md: New file.
2089         * config/mep/ivc2-template.h: New file.
2090         * config/mep/mep-c5.cpu: New file.
2091         * config/mep/mep-core.cpu: New file.
2092         * config/mep/mep-default.cpu: New file.
2093         * config/mep/mep-ext-cop.cpu: New file.
2094         * config/mep/mep-intrin.h: New file.
2095         * config/mep/mep-ivc2.cpu: New file.
2096         * config/mep/mep-lib1.asm: New file.
2097         * config/mep/mep-lib2.c: New file.
2098         * config/mep/mep-pragma.c: New file.
2099         * config/mep/mep-protos.h: New file.
2100         * config/mep/mep-tramp.c: New file.
2101         * config/mep/mep.c: New file.
2102         * config/mep/mep.cpu: New file.
2103         * config/mep/mep.h: New file.
2104         * config/mep/mep.md: New file.
2105         * config/mep/mep.opt: New file.
2106         * config/mep/predicates.md: New file.
2107         * config/mep/t-mep: New file.
2108
2109 2009-06-23  Ian Lance Taylor  <iant@google.com>
2110
2111         * configure.ac: Invoke AC_PROG_CXX.  Separate C specific warnings
2112         from loose_warn into c_loose_warn and from strict_warn into
2113         c_strict_warn.  Set and substitute warn_cxxflags.  Check for
2114         --enable-build-with-cxx.  Set and substitute
2115         ENABLE_BUILD_WITH_CXX.  Set and substitute HOST_LIBS.
2116         * Makefile.in (CXXFLAGS): New variable.
2117         (C_LOOSE_WARN, C_STRICT_WARN): New variables.
2118         (GCC_WARN_CFLAGS): Add $(C_LOOSE_WARN).  Add $(C_STRICT_WARN) if
2119         the default is the same as $(STRICT_WARN).
2120         (GCC_WARN_CXXFLAGS, WARN_CXXFLAGS): New variables.
2121         (CXX): New variable.
2122         (COMPILER): New value if ENABLE_BUILD_WITH_CXX.
2123         (COMPILER_FLAGS, LINKER, LINKER_FLAGS): Likewise.
2124         (ALL_COMPILERFLAGS, ALL_LINKERFLAGS): Likewise.
2125         (HOST_LIBS): New variable.
2126         (GCC_CFLAGS): Add $(C_LOOSE_WARN).
2127         (ALL_CXXFLAGS): New variable.
2128         (LIBS, BACKENDLIBS): Add $(HOST_LIBS).
2129         * doc/install.texi (Configuration): Document
2130         --enable-build-with-cxx, --with-stage1-ldflags,
2131         --with-stage1-libs, --with-boot-ldflags, --with-boot-libs.
2132         * configure: Rebuild.
2133
2134 2009-06-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2135
2136         * config/arm/arm.c (arm_override_options): Fix braces and formatting
2137         from previous commit.
2138
2139 2009-06-23  Ian Lance Taylor  <iant@google.com>
2140
2141         * Makefile.in ($(out_object_file)): Depend upon $(DF_H).
2142
2143 2009-06-23  Ian Lance Taylor  <iant@google.com>
2144
2145         * reload.c (alternative_allows_const_pool_ref): Mark mem parameter
2146         with ATTRIBUTE_UNUSED.
2147
2148 2009-06-23  Michael Meissner  <meissner@linux.vnet.ibm.com>
2149             Pat Haugen  <pthaugen@us.ibm.com>
2150             Revital Eres  <eres@il.ibm.com>
2151
2152         * config.in (HAVE_AS_POPCNTD): Add default definition.
2153         (HAVE_AS_LWSYNC): Ditto.
2154
2155         * configure.ac (gcc_cv_as_powerpc_mfpgpr): Provide real binutils
2156         release number.
2157         (gcc_cv_as_powerpc_cmpb): Ditto.
2158         (gcc_cv_as_powerpc_dfp): Ditto.
2159         (gcc_cv_as_powerpc_vsx): Ditto.
2160         (gcc_cv_as_powerpc_popcntd): Add feature test for assembler
2161         supporting the popcntd/lwsync instructions.
2162         (gcc_cv_as_powerpc_lwsync): Ditto.
2163         * configure: Regenerate.
2164
2165         * config/rs6000/aix53.h (ASM_CPU_SPEC): Add support for
2166         -mcpu=native and -mcpu=power7.
2167         * config/rs6000/aix61.h (ASM_CPU_SPEC): Ditto.
2168
2169         * config/rs6000/linux64.opt (-mprofile-kernel): Move switch to be
2170         a variable instead of a mask to reduce the number of mask bits.
2171         * config/rs6000/sysv4.opt (-mbit-align): Ditto.
2172         (-mbit-word): Ditto.
2173         (-mregnames): Ditto.
2174         * config/rs6000/rs6000.opt (-mupdate): Ditto.
2175         (-mfused-madd): Ditto.
2176
2177         * config/rs6000/rs6000.opt (-mpopcntd): New switch for non-VSX ISA
2178         2.06 instructions.
2179         (-mvsx): New switch for VSX instructions.
2180         (-misel): Move from a variable to a mask to allow it to be set by
2181         -mcpu=.
2182
2183         * config/rs6000/rs6000-protos.h (rs6000_hard_regno_nregs): Change
2184         function declaration to an array declaration.
2185         (rs6000_hard_regno_nregs): New external array declaration.
2186
2187         * config/rs6000/t-rs6000 (MD_INCLUDES): Define, add all of the .md
2188         files included by rs6000.md.
2189
2190         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Use
2191         SET_PROFILE_KERNEL macro to reset the -mprofile-kernel switch.
2192
2193         * config/rs6000/rs6000.c (rs6000_isel): Delete, -misel moved to be
2194         a target mask.
2195         (rs6000_debug_reg): New -mdebug= variables.
2196         (rs6000_debug_addr): Ditto.
2197         (rs6000_debug_cost): Ditto.
2198         (rs6000_pmode): New variable to hold Pmode.
2199         (rs6000_pointer_size): New variable to hold POINTER_SIZE.
2200         (rs6000_class_max_nregs): New array to hold CLASS_MAX_NREGS
2201         calculated at compiler start.
2202         (rs6000_hard_regno_nregs): Change function to an array which holds
2203         HARD_REGNO_NREGS calculated at compiler start.
2204         (rs6000_explicit_options): Delete isel field.
2205         (rs6000_vector_unit): New array to hold which vector unit
2206         supports arithmetic options for a given type.
2207         (rs6000_vector_mem): New array to hold which vector unit supports
2208         memory reference operations for a given type.
2209         (rs6000_vector_align): New array to given the alignment of each
2210         vector type.
2211         (power7_cost): New basic costs for power7.
2212         (SET_PROFILE_KERNEL): New macro for resetting -mprofile-kernel.
2213         (rs6000_hard_regno_nregs_internal): New function, moved from
2214         HARD_REGNO_NREGS, to calculate the number of registers each hard
2215         register takes for each type.
2216         (rs6000_debug_reg_print): New function for -mdebug=reg support.
2217         (rs6000_debug_vector_unit): New array, map rs6000_vector to string.
2218         (+rs6000_init_hard_regno_mode_ok): New function, move calculation
2219         of HARD_REGNO_NREGS, CLASS_MAX_NREGS, REGNO_REG_CLASS, and vector
2220         unit information here so it is calculated once at compiler startup
2221         time.
2222         (rs6000_override_options): Make -misel a target mask.  Add more
2223         power7 target masks.  Setup Pmode and POINTER_SIZE.  Add initial
2224         VSX support.  Add support for -mdebug=reg, -mdebug=addr, and
2225         -mdebug=cost.
2226         (POWERPC_MASKS): Add MASK_POPCNTD, MASK_VSX, and MASK_ISEL.
2227         (rs6000_handle_option): Move -misel from variable to target mask.
2228         (rs6000_builtin_mask_for_load): Add VSX support.
2229         (rs6000_conditional_register_usage): Ditto.
2230         (USE_ALTIVEC_FOR_ARG_P): Ditto.
2231         (function_arg_boundary): Ditto.
2232         (rs6000_expand_builtin): Ditto.
2233         (def_builtin): Make abort message a little friendlier.
2234         (rs6000_emit_int_cmove): Add support for 64-bit isel.
2235
2236         * config/rs6000/rs6000.h (ASM_CPU_POWER7_SPEC): Depend on the
2237         assembler support the popcntd instruction instead of a vsx
2238         instruction to enable power7 support.
2239         (ASM_CPU_SPEC): Add support for -mcpu=native and -mcpu=power7.
2240         (EXTRA_SPECS): Add ASM_CPU_NATIVE_SPEC to allow passing the right
2241         option to the assembler if -mcpu=native.
2242         (ASM_CPU_NATIVE_SPEC): Ditto.
2243         (TARGET_POPCNTD): If assembler doesn't support popcntd, turn off
2244         ISA 2.06 features.
2245         (TARGET_LWSYNC_INSTRUCTION): Define whether it is safe to issue
2246         the lwsync instruction.
2247         (enum processor_type): Add PROCESSOR_POWER7.
2248         (rs6000_debug_reg): New -mdebug= options.
2249         (rs6000_debug_addr): Ditto.
2250         (rs6000_debug_cost): Ditto.
2251         (rs6000_isel): Delete.
2252         (enum rs6000_vector): New enum to say what vector unit we have.
2253         (VECTOR_UNIT_*): New macros to say which vector unit has
2254         arithmetic operations for a given type.
2255         (VECTOR_MEM_*): New macros to say which vector unit has memory
2256         operations for a given type.
2257         (TARGET_LDBRX): Whether the machine supports the ldbrx
2258         instruction.
2259         (TARGET_ISEL): Delete, -misel moved to be a mask.
2260         (TARGET_ISEL64): New macro for 64-bit isel support.
2261         (UNITS_PER_VSX_WORD): New macro.
2262         (POINTER_SIZE): Move to be an external variable, rather than
2263         calculating whether we are generating 32 ot 64-bit code.
2264         (Pmode): Ditto.
2265         (STACK_BOUNDARY): Add VSX support.
2266         (LOCAL_ALIGNMENT): Ditto.
2267         (SLOW_UNALIGNED_ACCESS): Ditto.
2268         (VSX_REGNO_P): New macro for VSX support.
2269         (VFLOAT_REGNO_P): Ditto.
2270         (VINT_REGNO_P): Ditto.
2271         (VLOGICAL_REGNO_P): Ditto.
2272         (VSX_VECTOR_MODE): Ditto.
2273         (VSX_SCALAR_MODE): Ditto.
2274         (VSX_MODE): Ditto.
2275         (VSX_MOVE_MODE): Ditto.
2276         (VSX_REG_CLASS_P): Ditto.
2277         (HARD_REGNO_NREGS): Instead of calling a function, use an array
2278         lookup.
2279         (UNITS_PER_SIMD_WORD): Add VSX support.
2280         (MODES_TIEABLE_P): Ditto.
2281         (STARTING_FRAME_OFFSET): Ditto.
2282         (STACK_DYNAMIC_OFFSET): Ditto.
2283         (EPILOGUE_USES): Ditto.
2284         (REGNO_REG_CLASS): Move to array lookup.
2285         (CLASS_MAX_NREGS): Ditto.
2286         (rs6000_vector_reg_class): Add declaration.
2287         (ADDITIONAL_REGISTER_NAMES): Add VSX names for the registers that
2288         overlap with the floating point and Altivec registers.
2289
2290         * config/rs6000/e500.h (CHECK_E500_OPTIONS): Disallow -mvsx.
2291
2292         * config/rs6000/driver-rs6000.c (asm_names): New static array to
2293         give the appropriate asm switches if -mcpu=native.
2294         (host_detect_local_cpu): Add support for "asm".
2295         (host_detect_local_cpu): Follow GNU code guidelines for name.
2296
2297         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): Move
2298         -mbit-word to a variable instead of being a target mask.
2299
2300         * config/rs6000/sync.md (lwsync): If the assembler supports it,
2301         emit the lwsync instruction instead of emitting the instruction as
2302         an integer constant.
2303
2304         * config/rs6000/spe.md (spe_fixuns_truncdfsi2): Rename from
2305         fixuns_trundfsi2, move expander into rs6000.md.
2306
2307         * config/rs6000/rs6000.md (cpu): Add power7.
2308         (sel, *ptrsize): New mode attributes for 32/64-bit isel.
2309         (logical predicate patterns): Change the single instruction
2310         primitives that set CR0 to be fast_compare instead of compare.
2311         (norsi*): Ditto.
2312         (popcntwsi2): Add support for ISA 2.06 popcount instructions.
2313         (popcntddi2): Ditto.
2314         (popcount<mode>): Ditto.
2315         (floating multiply/add insns): Name the floating point
2316         multiply/add insns.
2317         (isel_signed_<mode>): Add support for -misel on 64-bit systems.
2318         (isel_unsigned_<mode>): Ditto.
2319         (fixuns_trundfsi2): Move expander here from spe.md.
2320         (smindi3): Define if we have -misel on 64-bit systems.
2321         (smaxdi3): Ditto.
2322         (umindi3): Ditto.
2323         (umaxdi3): Ditto.
2324
2325 2009-06-23  Anatoly Sokolov  <aesok@post.ru>
2326
2327         * config.gcc (avr-*-rtems*, avr-*-*): Set extra_gcc_objs and
2328         extra_objs.
2329         * config/avr/avr.c (avr_current_device): New variable.
2330         (avr_arch_types, avr_mcu_types): Move to avr-deveces.c.
2331         (avr_arch, mcu_type_s): Move to avr.h.
2332         * config/avr/avr.h (base_arch_s). Add reserved2, arch_name and
2333         default_data_section_start fields.
2334         (avr_arch): Moved from avr.c.
2335         (mcu_type_s): Moved from avr.c. Add short_sp, data_section_start and
2336         library_name fields.
2337         (avr_current_device, avr_mcu_types, avr_arch_types,
2338         avr_device_to_arch, avr_device_to_data_start,
2339         avr_device_to_startfiles, avr_device_to_devicelib): Declare.
2340         (EXTRA_SPEC_FUNCTIONS): Define.
2341         (LINK_SPEC): Remove device name to '-m ...' and '-Tdata ...' linker
2342         options mapping. Use device_to_arch and device_to_data_start insted.
2343         (STARTFILE_SPEC): Use device_to_startfile instead of crt_binutils.
2344         (CRT_BINUTILS_SPECS, EXTRA_SPECS): Remove.
2345         * config/avr/t-avr (driver-avr.o, avr-devices.o): New rules.
2346         * config/avr/driver-avr.c: New file.
2347         * config/avr/avr-devices.c: New file.
2348
2349 2009-06-23  Jakub Jelinek  <jakub@redhat.com>
2350
2351         * var-tracking.c (unshare_variable): Force initialized to
2352         be VAR_INIT_STATUS_INITIALIZED unless flag_var_tracking_uninit.
2353         (set_variable_part): Likewise.
2354         (struct variable_union_info): Remove pos_src field.
2355         (vui_vec, vui_allocated): New variables.
2356         (variable_union): Pass VAR_INIT_STATUS_UNKNOWN to unshare_variable
2357         unconditionally.  Avoid XCVECNEW/free for every sorting, for dst_l
2358         == 1 use a simpler sorting algorithm.  Compute pos field right
2359         away, don't fill in pos_src.  For dst_l == 2 avoid qsort.
2360         Avoid quadratic comparison if !flag_var_tracking_uninit.
2361         (variable_canonicalize): Pass VAR_INIT_STATUS_UNKNOWN to
2362         unshare_variable unconditionally.   
2363         (dataflow_set_different_2): Removed.
2364         (dataflow_set_different): Don't traverse second hash table.
2365         (compute_bb_dataflow): Pass VAR_INIT_STATUS_UNINITIALIZED
2366         unconditionally to var_reg_set or var_mem_set.
2367         (emit_notes_in_bb): Likewise.
2368         (delete_variable_part): Pass VAR_INIT_STATUS_UNKNOWN to
2369         unshare_variable.
2370         (emit_note_insn_var_location): Don't set initialized to
2371         VAR_INIT_STATUS_INITIALIZED early.
2372         (vt_finalize): Free vui_vec if needed, clear vui_vec and
2373         vui_allocated.
2374         * rtl.c (rtx_equal_p): Don't implement on top of rtx_equal_p_cb.
2375
2376         * tree-object-size.c (addr_object_size): Instead of checking
2377         for non-NULL TREE_CHAIN of the FIELD_DECL check that there
2378         are no FIELD_DECLs following it.
2379
2380 2009-06-23  Andreas Krebbel  <krebbel1@de.ibm.com>
2381
2382         * tree-ssa-math-opts.c (find_bswap): Increase the search depth in
2383         order to match bswaps with signed source operands.
2384
2385 2009-06-23  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
2386
2387         * sdbout.c (sdbout_one_type): Fix braces in switch.
2388
2389 2009-06-23  Richard Guenther  <rguenther@suse.de>
2390
2391         * tree-ssa-structalias.c (struct variable_info): Add is_global_var
2392         member.
2393         (var_anything, anything_tree, var_nothing, nothing_tree, var_readonly,
2394         readonly_tree, var_escaped, escaped_tree, var_nonlocal, nonlocal_tree,
2395         var_callused, callused_tree, var_storedanything, storedanything_tree,
2396         var_integer, integer_tree): Remove global variables.
2397         (new_var_info): Do not pass new id, append the new var to the
2398         global variable vector.
2399         (do_ds_constraint): Use is_global_var member of the variable-info.
2400         (new_scalar_tmp_constraint_exp): Adjust.
2401         (create_function_info_for): Likewise.
2402         (create_variable_info_for): Likewise.
2403         (find_what_var_points_to): Remove dead code.
2404         (init_base_vars): Simplify.
2405         (compute_points_to_sets): Adjust.
2406
2407 2009-06-22  Adam Nemet  <anemet@caviumnetworks.com>
2408
2409         * combine.c (try_combine): Dump information about the insns we're
2410         combining.
2411
2412 2009-06-22  Adam Nemet  <anemet@caviumnetworks.com>
2413
2414         * combine.c (combine_simplify_rtx): Remove TRULY_NOOP_TRUNCATION
2415         check when calling force_to_mode on TRUNCATE's operand.
2416
2417 2009-06-22  Ian Lance Taylor  <iant@google.com>
2418
2419         * config/rs6000/rs6000.opt: Move msched-epilog before msched-prolog.
2420
2421 2009-06-22  Steven Bosscher  <steven@gcc.gnu.org>
2422
2423         * config/arm/arm.md (prologue_use): Set length of fake insn to 0.
2424
2425 2009-06-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2426
2427         * doc/invoke.texi (Link Options): -nodefaultlibs and -nostdlib
2428         override library linkage flags such as -static-libgcc or
2429         -shared-libgcc.
2430
2431 2009-06-22  Maxim Kuvyrkov  <maxim@codesourcery.com>
2432
2433         * config/m68k/m68k-devices.def: Add line for MCF5221x.
2434
2435 2009-06-22  Ian Lance Taylor  <iant@google.com>
2436
2437         * config/linux.opt: Put mglibc ahead of muclibc.
2438
2439         * c-decl.c (diagnose_mismatched_decls): Add -Wc++-compat warning
2440         for duplicate decls.
2441
2442 2009-06-22  Matthias Klose  <doko@ubuntu.com>
2443
2444         * Makefile.in (install-plugin): Remove extra `/' after $(DESTDIR).
2445
2446 2009-06-22  Steven Bosscher  <steven@gcc.gnu.org>
2447
2448         PR objc/28050
2449         * c-parser.c (c_parser_objc_message_args): Return error_mark_node
2450         instead of NULL if a parser error occurs.
2451
2452 2009-06-22  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
2453
2454         * dwarf2out.c (dwarf2_debug_hooks): Initialize
2455         non-DWARF2_DEBUGGING_INFO version.
2456
2457 2009-06-22  Kai Tietz  <kai.tietz@onevision.com>
2458
2459         * config.gcc (i[34567]86-*-mingw*, x86_64-*-mingw*): Add
2460         i386/t-fprules-softfp and soft-fp/t-softfp to tmake_file.
2461
2462         * config/i386/mingw32.h (LIBGCC2_HAS_TF_MODE): Define.
2463         (LIBGCC2_TF_CEXT): Define.
2464         (TF_SIZE): Define.
2465
2466 2009-06-22  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2467
2468         PR target/40463
2469         * config/arm/linux-eabi.h (CLEAR_INSN_CACHE): Fix definition.
2470
2471 2009-06-22  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2472
2473         * config/arm/arm.c (arm_override_options): Disable
2474         -mcaller-super-interworking and -mcallee-super-interworking.
2475         * doc/invoke.texi (ARM Options): Document this.
2476
2477 2009-06-22  Nathan Sidwell  <nathan@codesourcery.com>
2478
2479         * config/arm/arm.c (arm_print_operand): Deal with HIGH.
2480         * config/arm/constraints.md (j): New constraint for movw operands.
2481         (N): Remove thumb2 meaning.
2482         * config/arm/arm.md (*arm_movw): Delete.
2483         (*arm_movsi_insn): Use j constraint for movw instead of N constraint.
2484         * config/arm/vfp.md (*arm_movsi_vfp, *thumb2_movsi_vfp): Likewise.
2485         * config/arm/thumb2.md (*thumb2_movsi_insn): Likewise.
2486
2487 2009-06-22  Martin Jambor  <mjambor@suse.cz>
2488
2489         PR tree-optimization/40492
2490         * tree-sra.c (sra_modify_assign): Pass zero offsets to
2491         build_ref_for_offset.
2492
2493 2009-06-22  Shujing Zhao  <pearly.zhao@oracle.com>
2494
2495         * alias.c: Use REG_P, MEM_P, CONST_INT_P, LABEL_P, CALL_P, NOTE_P and
2496         JUMP_TABLE_DATA_P predicates where applicable.
2497         * auto-inc-dec.c: Ditto.
2498         * builtins.c: Ditto.
2499         * caller-save.c: Ditto.
2500         * calls.c: Ditto.
2501         * cfgcleanup.c: Ditto.
2502         * cfglayout.c: Ditto.
2503         * cfgrtl.c: Ditto.
2504         * combine.c: Ditto.
2505         * combine-stack-adj.c: Ditto.
2506         * cse.c: Ditto.
2507         * cselib.c: Ditto.
2508         * dbxout.c: Ditto.
2509         * df-scan.c: Ditto.
2510         * dse.c: Ditto.
2511         * dwarf2asm.c: Ditto.
2512         * dwarf2out.c: Ditto.
2513         * emit-rtl.c: Ditto.
2514         * except.c: Ditto.
2515         * explow.c: Ditto.
2516         * expmed.c: Ditto.
2517         * expr.c: Ditto.
2518         * final.c: Ditto.
2519         * function.c: Ditto.
2520         * fwprop.c: Ditto.
2521         * gcse.c: Ditto.
2522         * genpreds.c: Ditto.
2523         * genrecog.c: Ditto.
2524         * ifcvt.c: Ditto.
2525         * ira-costs.c: Ditto.
2526         * ira-lives.c: Ditto.
2527         * jump.c: Ditto.
2528         * loop-iv.c: Ditto.
2529         * lower-subreg.c: Ditto.
2530         * modulo-sched.c: Ditto.
2531         * optabs.c: Ditto.
2532         * postreload.c: Ditto.
2533         * print-rtl.c: Ditto.
2534         * recog.c: Ditto.
2535         * reginfo.c: Ditto.
2536         * regmove.c: Ditto.
2537         * reload1.c: Ditto.
2538         * reload.c: Ditto.
2539         * reorg.c: Ditto.
2540         * rtlanal.c: Ditto.
2541         * rtl.c: Ditto.
2542         * sched-vis.c: Ditto.
2543         * sdbout.c: Ditto.
2544         * sel-sched-ir.c: Ditto.
2545         * simplify-rtx.c: Ditto.
2546         * targhooks.c: Ditto.
2547         * var-tracking.c: Ditto.
2548         * vmsdbgout.c: Ditto.
2549
2550 2009-06-22  Matthias Klose  <doko@ubuntu.com>
2551
2552         * Makefile.in (install-plugin): Always use DESTDIR.
2553
2554 2009-06-22  Olivier Hainque  <hainque@adacore.com>
2555         
2556         * config/pa/pa.c (output_call): Don't optimize post call jumps
2557         into return address adjustments if the call may throw.
2558
2559 2009-06-21  Richard Earnshaw  <rearnsha@arm.com>
2560
2561         * arm.c (thumb1_output_casesi): New function.
2562         * arm.h (CASE_VECTOR_PC_RELATIVE): Thumb-1 code is also relative if
2563         optimizing for size or PIC.
2564         (CASE_VECTOR_SHORTEN_MODE): Handle thumb-1.
2565         * arm.md (UNSPEC_THUMB1_CASESI): New constant.
2566         (casesi): Handle Thumb-1 when optimizing for size or PIC.
2567         (thumb1_casesi_internal_pic): New expand rule.
2568         (thumb1_casesi_dispatch): New pattern.
2569         * aout.h (ASM_OUTPUT_ADDR_DIFF_ELT): Use shortened vectors for
2570         thumb-1 mode.
2571         * coff.h (JUMP_TABLES_IN_TEXT_SECTION): Thumb-1 jump tables are now
2572         in the text seciton when PIC or optimizing for size.
2573         * elf.h (JUMP_TABLES_IN_TEXT_SECTION): Likewise.
2574         * lib1funcs.asm ([__ARM_EABI__]): Add an attribute describing stack
2575         preservation properties of code.
2576         (__gnu_thumb1_case_sqi, __gnu_thumb1_case_uqi): New functions.
2577         (__gnu_thumb1_case_shi, __gnu_thumb1_case_uhi): New functions.
2578         (__gnu_thumb1_case_si): New function.
2579         * t-arm (LIB1ASMSRC): Define here.
2580         (LIB1ASMFUNCS): Add some common functions.
2581         * t-arm-elf (LIB1ASMSRC): Delete.
2582         (LIB1ASMFUNCS): Append to existing set.
2583         * t-pe (LIB1ASMSRC, LIB1ASMFUNCS): Likewise.
2584         * t-strongarm-elf (LIB1ASMSRC, LIB1ASMFUNCS): Likewise.
2585         * t-symbian (LIB1ASMFUNCS): Likewise.
2586         * t-vxworks (LIB1ASMSRC, LIB1ASMFUNCS): Likewise.
2587         * t-wince-pe (LIB1ASMSRC, LIB1ASMFUNCS): Likewise.
2588
2589 2009-06-21  Richard Guenther  <rguenther@suse.de>
2590
2591         PR tree-optimization/38729
2592         * tree-ssa-loop-niter.c (find_loop_niter_by_eval): Restrict
2593         to loops with a single exit if -fno-expensive-optimizations.
2594
2595 2009-06-21  Jakub Jelinek  <jakub@redhat.com>
2596
2597         * var-tracking.c (struct shared_hash_def, shared_hash): New types.
2598         (dataflow_set): Change vars type from htab_t to shared_hash.
2599         (shared_hash_pool, empty_shared_hash): New variables.
2600         (vars_clear): Removed.
2601         (shared_hash_shared, shared_hash_htab, shared_hash_copy,
2602         shared_hash_find_slot_unshare, shared_hash_find_slot,
2603         shared_hash_find_slot_noinsert, shared_hash_find): New
2604         static inlines.
2605         (shared_hash_unshare, shared_hash_destroy): New functions.
2606         (unshare_variable): Unshare set->vars if shared, use
2607         shared_hash_htab.
2608         (vars_copy): Use htab_traverse_noresize instead of htab_traverse.
2609         (get_init_value, find_src_set_src, dump_dataflow_set,
2610         clobber_variable_part, emit_notes_for_differences): Use
2611         shared_hash_htab.
2612         (dataflow_set_init): Remove second argument, set vars to
2613         empty_shared_hash instead of creating a new htab.
2614         (dataflow_set_clear): Call shared_hash_destroy and set vars
2615         to empty_shared_hash instead of calling vars_clear.
2616         (dataflow_set_copy): Don't call vars_copy, instead just share
2617         the src htab with dst.
2618         (variable_union): Use shared_hash_*, use initially NO_INSERT
2619         lookup if set->vars is shared.  Don't keep slot cleared before
2620         calling unshare_variable.  Unshare set->vars if needed.
2621         Even ->refcount == 1 vars must be unshared if set->vars is shared
2622         and var needs to be modified.
2623         (variable_canonicalize): New function.
2624         (dataflow_set_union): If dst->vars is empty, just share src->vars
2625         with dst->vars and traverse with variable_canonicalize to canonicalize
2626         and unshare what is needed.
2627         (dataflow_set_different): If old_set and new_set use the same shared
2628         htab, they aren't different.  If number of htab elements is different,
2629         htabs are different.  Use shared_hash_*.
2630         (dataflow_set_destroy): Call shared_hash_destroy instead of
2631         htab_delete.
2632         (compute_bb_dataflow, emit_notes_in_bb, vt_emit_notes): Don't pass
2633         second argument to dataflow_set_init.
2634         (vt_initialize): Likewise.  Initialize shared_hash_pool and
2635         empty_shared_hash, move bb in/out initialization afterwards.
2636         Use variable_htab_free instead of NULL as changed_variables del hook.
2637         (variable_was_changed): Change type of second argument to pointer to
2638         dataflow_set.  When inserting var into changed_variables, bump
2639         refcount.  Unshare set->vars if set is shared htab and slot needs to
2640         be cleared.
2641         (set_variable_part): Use shared_hash_*, use initially NO_INSERT
2642         lookup if set->vars is shared.  Unshare set->vars if needed.
2643         Even ->refcount == 1 vars must be unshared if set->vars is shared
2644         and var needs to be modified.  Adjust variable_was_changed caller.
2645         (delete_variable_part): Use shared_hash_*.  Even ->refcount == 1
2646         vars must be unshared if set->vars is shared and var needs to be
2647         modified.  Adjust variable_was_changed caller.
2648         (emit_note_insn_var_location): Don't pool_free var.
2649         (emit_notes_for_differences_1): Initialize empty_var->refcount to 0
2650         instead of 1.
2651         (vt_finalize): Call htab_delete on empty_shared_hash->htab and
2652         free_alloc_pool on shared_hash_pool.
2653
2654 2009-06-20  Anthony Green  <green@moxielogic.com>
2655
2656         * config/moxie/sfp-machine.h (__gcc_CMPtype, CMPtype): Define.
2657         * config/moxie/moxie.h (LOAD_EXTEND_OP): Define.
2658
2659 2009-06-20  Richard Guenther  <rguenther@suse.de>
2660
2661         * tree-ssa-structalias.c (find_func_aliases): For memset use
2662         a constraint from NULL if we memset to zero.
2663         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Add builtins
2664         we explicitly handle that do not read from memory.
2665         (call_may_clobber_ref_p_1): Properly handle builtins that may
2666         set errno.
2667
2668 2009-06-20  Richard Guenther  <rguenther@suse.de>
2669
2670         PR tree-optimization/40495
2671         * tree-ssa-structalias.c (get_constraint_exp_for_temp): Remove.
2672         (new_scalar_tmp_constraint_exp): New function.
2673         (process_constraint): Do not create temporary decls.
2674         (process_all_all_constraints): Likewise.
2675         (handle_const_call): Likewise.
2676         (create_function_info_for): Do not set decl.
2677
2678 2009-06-19  Ian Lance Taylor  <iant@google.com>
2679
2680         * config/rs6000/rs6000.c (rs6000_explicit_options): Make static.
2681         (rs6000_attribute_table): Make static; move before use.
2682
2683 2009-06-19  Eric Botcazou  <ebotcazou@adacore.com>
2684
2685         * tree.c (substitute_in_expr) <COMPONENT_REF>: Tweak and reformat.
2686         <tcc_vl_exp>: Call process_call_operands on the new CALL_EXPR.
2687         Propagate the TREE_READONLY flag without overwriting it.
2688         (substitute_placeholder_in_expr) <tcc_vl_exp>: Likewise.
2689         Propagate the TREE_READONLY flag onto the result.
2690         (process_call_operands): Move around.  Use correct constant value.
2691
2692 2009-06-19  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2693
2694         PR target/40482
2695         * config/arm/arm.c (thumb_shiftable_const): Truncate val to 32 bits.
2696         * config/arm/arm.md: Likewise.
2697
2698 2009-06-19  Ian Lance Taylor  <iant@google.com>
2699
2700         * tree-cfg.c (gimple_redirect_edge_and_branch): Change ERROR_MARK
2701         to GIMPLE_ERROR_MARK.
2702
2703         * c-typeck.c (build_conditional_expr): Add op1_original_type and
2704         op2_original_type parameters.  Warn about using different enum types.
2705         * c-parser.c (c_parser_conditional_expression): Pass original
2706         types to build_conditional_expr.
2707         * c-tree.h (build_conditional_expr): Update declaration.
2708
2709 2009-06-19  Ian Lance Taylor  <iant@google.com>
2710
2711         * config/i386/i386.c (ix86_function_specific_save): Test that
2712         fields match values, rather than testing the values are in a
2713         certain range.
2714
2715 2009-06-19  Richard Guenther  <rguenther@suse.de>
2716
2717         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Handle
2718         ADDR_EXPR pointers.
2719         (ptr_derefs_may_alias_p): Likewise.
2720         (ptr_deref_may_alias_ref_p_1): New function.
2721         (ptr_deref_may_alias_ref_p): Likewise.
2722         (ref_maybe_used_by_call_p_1): Handle builtins that are not
2723         covered by looking at the ESCAPED solution.
2724         (call_may_clobber_ref_p_1): Likewise.
2725         * tree-ssa-structalias.c (get_constraint_for_ptr_offset):
2726         Handle NULL_TREE offset.  Do not produce redundant constraints.
2727         (process_all_all_constraints): New helper function.
2728         (do_structure_copy): Use it.
2729         (handle_lhs_call): Likewise.
2730         (find_func_aliases): Handle some builtins with pointer arguments
2731         and/or return values explicitly.
2732
2733 2009-06-19  Ian Lance Taylor  <iant@google.com>
2734
2735         * varasm.c (const_rtx_hash_1): Remove const qualifier from shift.
2736
2737 2009-06-19  Ian Lance Taylor  <iant@google.com>
2738
2739         * rtl.h (SUBREG_PROMOTED_UNSIGNED_P): Add cast to int.
2740
2741 2009-06-19  Ian Lance Taylor  <iant@google.com>
2742
2743         * ggc-page.c (ggc_pch_write_object): Initialize emptyBytes.
2744         * sdbout.c (sdb_debug_hooks): Initialize non-SDB_DEBUGGING_INFO
2745         version.
2746
2747         * c-decl.c (finish_decl): If -Wc++-compat, warn about
2748         uninitialized const.
2749
2750 2009-06-19  Ian Lance Taylor  <iant@google.com>
2751
2752         * dse.c (struct store_info): Rename bitmap field to bmap.  Change
2753         all uses.
2754
2755         * c-decl.c (in_struct, struct_types): Remove.
2756         (struct c_binding): Add in_struct field.
2757         (c_binding_ptr): Define type, along with VEC.
2758         (struct c_struct_parse_info): Define.
2759         (struct_parse_info): New static variable.
2760         (bind): Initialize in_struct field.
2761         (start_struct): Remove enclosing_in_struct and
2762         enclosing_struct_types parameters.  Add
2763         enclosing_struct_parse_info parameter.  Change all callers.  Set
2764         struct_parse_info rather than in_struct and struct_types.
2765         (grokfield): If -Wc++-compat and there is a symbol binding for the
2766         field name, set the in_struct flag and push it on the
2767         struct_parse_info->fields vector.
2768         (warn_cxx_compat_finish_struct): New static function.
2769         (finish_struct): Remove enclosing_in_struct and
2770         enclosing_struct_types parameters.  Add
2771         enclosing_struct_parse_info parameter.  Change all callers.  Don't
2772         set C_TYPE_DEFINED_IN_STRUCT here.  Call
2773         warn_cxx_compat_finish_struct.  Free struct_parse_info and set to
2774         parameter.  Only push on struct_types if warn_cxx_compat.
2775         (finish_enum): Only push on struct_types if warn_cxx_compat.
2776         (declspecs_add_type): Add loc parameter.  Change all callers.
2777         Change all error calls to error_at.  Pass loc, not input_location,
2778         to pedwarn calls.  Warn if -Wc++-compat and a typedef name is
2779         defined in a struct.  If -Wc++-compat and parsing a struct, record
2780         that a typedef name was used.
2781         * c-parser.c (c_parser_declspecs): Get location to pass to
2782         declspecs_add_type.
2783         (c_parser_struct_or_union_specifier): Update calls to start_struct
2784         and finish_struct.
2785         * c-tree.h (struct c_struct_parse_info): Declare.
2786         (finish_struct, start_struct): Update declarations.
2787         (declspecs_add_type): Update declaration.
2788
2789 2009-06-19  Ian Lance Taylor  <iant@google.com>
2790
2791         * c-decl.c (grokdeclarator): If -Wc++-compat, warn about a global
2792         variable with an anonymous type.
2793
2794 2009-06-19  Uros Bizjak  <ubizjak@gmail.com>
2795
2796         * see.c: Remove for real.
2797
2798 2009-06-19  Uros Bizjak  <ubizjak@gmail.com>
2799
2800         * optabs.h (enum optab_index): Add new OTI_significand.
2801         (significand_optab): Define corresponding macro.
2802         * optabs.c (init_optabs): Initialize significand_optab.
2803         * genopinit.c (optabs): Implement significand_optab using
2804         significand?f2 patterns.
2805         * builtins.c (expand_builtin_mathfn): Handle
2806         BUILT_IN_SIGNIFICAND{,F,L}.
2807         (expand_builtin): Expand BUILT_IN_SIGNIFICAND{,F,L} using
2808         expand_builtin_mathfn if flag_unsafe_math_optimizations is set.
2809
2810         * config/i386/i386.md (significandxf2, significand<mode>2): New
2811         expanders to implement significandf, significand and significandl
2812         built-ins as inline x87 intrinsics.
2813
2814 2009-06-18  Anatoly Sokolov  <aesok@post.ru>
2815
2816         * config/avr/avr.c (avr_override_options): Remove setting value of
2817         PARAM_INLINE_CALL_COST.
2818
2819 2009-06-18  Richard Henderson  <rth@redhat.com>
2820
2821         PR 40488
2822         * tree-pass.h (TDF_ASMNAME): New.
2823         * tree-dump.c (dump_options): Add asmname.
2824         * doc/invoke.texi: Document it.
2825
2826         * tree-pretty-print.c (maybe_dump_asm_name): Merge into...
2827         (dump_decl_name): ...here.
2828         (dump_function_name): New flags arg; mind TDF_ASMNAME.
2829         (dump_generic_node): Update dump_function_name calls.
2830         (print_call_name): New flags arg; update all dump calls.
2831         * diagnostic.h (print_call_name): Update.
2832         * gimple-pretty-print.c (dump_gimple_call): Update.
2833
2834 2009-06-18  H.J. Lu  <hongjiu.lu@intel.com>
2835
2836         PR target/40470
2837         * config/i386/i386.h (CLASS_LIKELY_SPILLED_P): Add SSE_FIRST_REG.
2838
2839 2009-06-18  Diego Novillo  <dnovillo@google.com>
2840
2841         * doc/plugins.texi: Document plugin_is_GPL_compatible.
2842         * plugin.c (str_license): Declare.
2843         (try_init_one_plugin): Assert that the symbol
2844         'plugin_is_GPL_compatible' exists.
2845
2846 2009-06-18  Sergei Dyshel  <sergeid@il.ibm.com>
2847
2848         * see.c: Remove.
2849         * Makefile.in (OBJS-common): Remove see.o.
2850         (see.o): Remove.
2851         * common.opt (fsee): Mark as preserved for backward compatibility.
2852         * opts.c (common_handle_option): Add OPT_fsee to the backward 
2853         compatibility section.
2854         * passes.c (init_optimization_passes, pass_see): Remove pass.
2855         * timevar.def (TV_SEE): Remove.
2856         * tree-pass.h (pass_see): Remove declaration.
2857         * doc/invoke.texi (-fsee): Remove documentation.
2858         
2859 2009-06-18  Martin Jambor  <mjambor@suse.cz>
2860
2861         * tree-sra.c: Include statistics.h
2862         (sra_stats): New variable.
2863         (sra_initialize): Clear sra_stats.
2864         (create_access_replacement): Increment sra_stats.replacements.
2865         (get_access_replacement): Do not return twice.
2866         (analyze_all_variable_accesses): Increment statistics counter by the
2867         number of scalarized aggregates.
2868         (generate_subtree_copies): Increment sra_stats.subtree_copies.
2869         (sra_modify_expr): Increment sra_stats.exprs.
2870         (load_assign_lhs_subreplacements): Increment sra_stats.subreplacements.
2871         (sra_modify_assign): Increment sra_stats.exprs,
2872         sra_stats.separate_lhs_rhs_handling and sra_stats.deleted.
2873         (perform_intra_sra): Update statistics counters.
2874         * Makefile.in (tree-sra.o): Add statistics.h to dependencies.
2875
2876 2009-06-18  Sandra Loosemore  <sandra@codesourcery.com>
2877
2878         * config/arm/arm.c (TARGET_SCALAR_MODE_SUPPORTED_P): Redefine.
2879         (arm_scalar_mode_supported_p): New function.
2880
2881 2009-06-18  Paul Brook  <paul@codesourcery.com>
2882             Sandra Loosemore  <sandra@codesourcery.com>
2883
2884         * config/arm/sfp-machine.h (_FP_NANFRAC_H, _FP_NANSIGN_H): Define.
2885         (__extendhfsf2, __truncsfhf2): Define.
2886         * config/arm/fp16.c: New file.
2887         * config/arm/t-bpabi (LIB2FUNCS_STATIC_EXTRA): Add fp16.c.
2888         * config/arm/t-symbian (LIB2FUNCS_STATIC_EXTRA):  Add fp16.c.
2889
2890 2009-06-18  Sandra Loosemore  <sandra@codesourcery.com>
2891
2892         * doc/extend.texi (Half-Precision): New section.
2893         * doc/invoke.texi (Option Summary): List -mfp16-format.
2894         (ARM Options): List neon-fp16 as -mfpu value.  Document -mfp16-format.
2895         * config/arm/arm.opt (mfp16-format=): New.
2896         * config/arm/arm.c: Include intl.h.
2897         (TARGET_INVALID_PARAMETER_TYPE): Redefine.
2898         (TARGET_INVALID_RETURN_TYPE): Redefine.
2899         (TARGET_PROMOTED_TYPE): Redefine.
2900         (TARGET_CONVERT_TO_TYPE): Redefine.
2901         (arm_fp16_format): Define.
2902         (all_fpus): Add entry for neon-fp16.
2903         (fp_model_for_fpu): Likewise.
2904         (struct fp16_format): Declare.
2905         (all_fp16_formats): Define.
2906         (arm_init_libfuncs): Add entries for HFmode conversions and arithmetic
2907         functions.
2908         (arm_override_options): Set arm_fp16_format. Call sorry for fp16
2909         and no ldrh.
2910         (arm_legitimate_index_p): Treat HFmode like HImode.
2911         (thumb1_legitimate_address_p): Make it recognize HFmode constants.
2912         (coproc_secondary_reload_class): Special-case HFmode.
2913         (arm_print_operand): Add 'z' specifier for vld1.16/vst1.16.
2914         (arm_hard_regno_mode_ok): Allow HFmode values in VFP registers.
2915         (arm_init_fp16_builtins): New.
2916         (arm_init_builtins): Call it.
2917         (arm_invalid_parameter_type): New.
2918         (arm_invalid_return_type): New.
2919         (arm_promoted_type): New.
2920         (arm_convert_to_type).
2921         (arm_file_start): Deal with neon-fp16 as fpu_name.  Emit tag for fp16
2922         format.
2923         (arm_emit_fp16_const): New function.
2924         (arm_mangle_type): Mangle __fp16 as "Dh".
2925         * config/arm/arm.h (TARGET_VFPD32): Make it know about
2926         FPUTYPE_NEON_FP16.
2927         (TARGET_NEON_FP16): New.
2928         (TARGET_NEON): Make it know about FPUTYPE_NEON_FP16.
2929         (enum fputype): Add FPUTYPE_NEON_FP16.
2930         (enum arm_fp16_format_type): Declare.
2931         (arm_fp16_format): Declare.
2932         (LARGEST_EXPONENT_IS_NORMAL): Define.
2933         * config/arm/arm-protos.h (arm_emit_fp16_const): Declare.
2934         * config/arm/arm-modes.def (HFmode): Define.
2935         * config/arm/vfp.md: (*movhf_vfp): New.
2936         (extendhfsf2): New.
2937         (truncsfhf2): New.
2938         * config/arm/arm.md: (fpu): Add neon_fp16.
2939         (floatsihf2, floatdihf2): New.
2940         (fix_trunchfsi2, fix_trunchfdi2): New.
2941         (truncdfhf2): New.
2942         (extendhfdf2): New.
2943         (movhf): New.
2944         (*arm32_movhf): New.
2945         (*thumb1_movhf): New.
2946         (consttable_2): Add check for HFmode constants.
2947         (consttable_4): Handle HFmode constants.
2948
2949 2009-06-18  Uros Bizjak  <ubizjak@gmail.com>
2950
2951         * convert.c (convert_to_integer): Convert (int)logb() into ilogb().
2952
2953 2009-06-17  Olivier Hainque  <hainque@adacore.com>
2954
2955         * collect2.c (main): Use CONST_CAST2 to perform char ** to
2956         const char ** conversion in AIX specific section.
2957         
2958 2009-06-17  H.J. Lu  <hongjiu.lu@intel.com>
2959
2960         * config/i386/i386.c (ix86_special_builtin_type): Remove
2961         UINT64_FTYPE_PINT.  Add UINT64_FTYPE_PUNSIGNED.
2962         (bdesc_special_args): Updated.
2963         (ix86_init_mmx_sse_builtins): Likewise.
2964         (ix86_expand_special_args_builtin): Likewise.
2965
2966 2009-06-17  Richard Henderson  <rth@redhat.com>
2967
2968         * tree-pretty-print.c (maybe_dump_asm_name): New.
2969         (dump_decl_name): Use it.
2970         (PRINT_FUNCTION_NAME): Merge into...
2971         (dump_function_name): ... here.  Use maybe_dump_asm_name.
2972
2973 2009-06-17  Cary Coutant  <ccoutant@google.com>
2974
2975         * dbxout.c (dbxout_source_line): Add is_stmt parameter.
2976         Change caller.
2977         * debug.c (struct gcc_debug_hooks): Change placeholder for
2978         source_line hook.
2979         (debug_nothing_int_charstar_int): Replaced by...
2980         (debug_nothing_int_charstar_int_bool): ...this.
2981         * debug.h (struct gcc_debug_hooks): Add is_stmt parameter to
2982         source_line prototype.
2983         (debug_nothing_int_charstar_int): Replaced by...
2984         (debug_nothing_int_charstar_int_bool): ...this.
2985         * defaults.h (SUPPORTS_DISCRIMINATOR): New constant.
2986         * dwarf2out.c (dwarf2out_source_line): Add is_stmt parameter.
2987         Output is_stmt operand when necessary.
2988         * final.c (final_scan_insn): Pass is_stmt to source_line debug hook.
2989         (notice_source_line): Add is_stmt parameter.
2990         * sdbout.c (sdbout_source_line): Add is_stmt parameter.
2991         * vmsdbgout.c (vmsdbgout_source_line): Add is_stmt parameter.
2992         Change callers.
2993         * xcoffout.c (xcoffout_source_line): Add is_stmt parameter.
2994         * xcoffout.h (xcoffout_source_line): Add is_stmt parameter.
2995
2996 2009-06-17  Ian Lance Taylor  <iant@google.com>
2997
2998         * expr.c (struct move_by_pieces_d): Rename from move_by_pieces.
2999         Change all uses.
3000         (struct store_by_pieces_d): Rename from store_by_pieces.  Change
3001         call uses.
3002
3003 2009-06-17  Adam Nemet  <anemet@caviumnetworks.com>
3004
3005         * tree.h (STRIP_NOPS, STRIP_SIGN_NOPS,
3006         STRIP_USELESS_TYPE_CONVERSION): Use tree_strip_nop_conversions,
3007         tree_strip_sign_nop_conversions and
3008         tree_ssa_strip_useless_type_conversions rather than stripping
3009         the operations here.
3010         (tree_strip_nop_conversions, tree_strip_sign_nop_conversions):
3011         Declare them.
3012         * gimple.h (tree_ssa_strip_useless_type_conversions): Declare it.
3013         * tree-ssa.c (tree_ssa_strip_useless_type_conversions): New function.
3014         * tree.c (tree_nop_conversion, tree_sign_nop_conversion,
3015         tree_strip_nop_conversions, tree_strip_sign_nop_conversions): New
3016         functions.
3017
3018 2009-06-17  Michael Eager  <eager@eagercon.com>
3019
3020         * config/rs6000/constraints.md (register_constraint "d"): New.
3021         * config/rs6000/dfp.md (movsd_store, extendsddd2, extendsdtd2,
3022         truncddsd2, *negdd2_fpr, *absdd2_fpr, *nabsdd2_fpr,
3023         *movdd_hardfloat32, *movdd_hardfloat64_mfpgpr, *movdd_hardfloat64,
3024         *negtd2_fp, *abstd2_fpr, *nabstd2_fpr, *movtd_internal, extendddtd2,
3025         trunctddd2, adddd3, addtd3, subdd3, subtd3, muldd3, multd3, divdd3,
3026         divtd3, *cmpdd_internal1, *cmptd_internal1, floatditd2, ftruncdd2,
3027         fixdddi2, ftrunctd2, fixtddi2): replace 'f' constraint with 'd'
3028         * config/rs6000/ppu_intrinsics.h (__mffs, __mtfsf, __mtfsfi, __fabs,
3029         __fnabs, __fmadd, __fmsub, __fnmadd, __fnmsub, __fsel, __frsqrte,
3030         __fsqrt, __fmul, __fmuls, __frsp, __fcfid, __fctid, __fctidz, __fctiw,
3031         __fctiwz): Same.
3032         * config/rs6000/rs6000.md (*extendsfdf2_fpr, *truncdfsf2_fpr,
3033         *fseldfsf4, *negdf2_fpr, *absdf2_fpr, *nabsdf2_fpr, *adddf3_fpr,
3034         *subdf3_fpr, *muldf3_fpr, *divdf3_fpr, recipdf3, fred, sqrtdf2,
3035         *fseldfdf4, *fselsfdf4, *floatsidf2_internal, *floatunssidf2_internal,
3036         *fix_truncdfsi2_internal, fix_truncdfsi2_internal_gfxopt,
3037         fix_truncdfsi2_mfpgpr, fctiwz, btruncdf2, ceildf2, floordf2, rounddf2,
3038         stfiwx, floatdidf2, fix_truncdfdi2, floatdisf2_internal1,
3039         *movdf_hardfloat32, *movdf_hardfloat64_mfpgpr, *movdf_hardfloat64,
3040         *movtf_internal, *extenddftf2_internal, trunctfdf2_internal1,
3041         trunctfdf2_internal2, trunctfsf2_fprs, fix_trunc_helper,
3042         *fix_trunctfsi2_internal, negtf2_internal, *movdi_internal32,
3043         *movdi_mfpgpr, *movdi_internal64, *movdf_update1, *movdf_update2,
3044         *cmpdf_internal1, *cmptf_internal1, *cmptf_internal2): Same.
3045         * doc/md.texi: Describe PowerPC 'd' constraint, update 'f' constraint.
3046
3047 2009-06-16  Ian Lance Taylor  <iant@google.com>
3048
3049         * profile.c (total_num_never_executed): Don't define.
3050         (compute_branch_probabilities): Don't count or print
3051         num_never_executed.
3052         (init_branch_prob): Don't set total_num_never_executed.
3053         (end_branch_prob): Don't print total_num_never_executed.
3054
3055 2009-06-17  David Daney  <ddaney@caviumnetworks.com>
3056
3057         * jump.c (cleanup_barriers): Handle case of no insns before a barrier.
3058
3059 2009-06-17  David Edelsohn  <edelsohn@gnu.org>
3060
3061         * config/rs6000/dfp.md (nabsdd2_fpr): Correct mode.
3062         (nabstd2_fpr): Same.
3063
3064 2009-06-17  Steve Ellcey  <sje@cup.hp.com>
3065
3066         * expr.c (expand_assignment): Change complex type check.
3067
3068 2009-06-17  Basile Starynkevitch  <basile@starynkevitch.net>
3069
3070         * doc/plugins.texi (Building GCC plugins): Added new section. 
3071
3072 2009-06-17  Ian Lance Taylor  <iant@google.com>
3073
3074         * c-pch.c (get_ident): Don't set size of templ array.
3075         (pch_init): Don't set size of partial_pch array.
3076
3077         * c-typeck.c (digest_init): If -Wc++-compat, warn about using a
3078         string constant to intialize an array whose size is the length of
3079         the string.
3080
3081 2009-06-17  Richard Guenther  <rguenther@suse.de>
3082
3083         PR tree-optimization/40389
3084         * tree-ssa-structalias.c (handle_rhs_call): Restrict NRV case
3085         to addressable types.
3086         * gimple.c (walk_stmt_load_store_addr_ops): Likewise.
3087
3088 2009-06-17  Richard Guenther  <rguenther@suse.de>
3089
3090         PR middle-end/40460
3091         * tree-chrec.h (build_polynomial_chrec): If we cannot determine
3092         if there is no evolution of left in the loop bail out.
3093         * tree-chrec.c (chrec_fold_multiply_poly_poly): CSE one
3094         chrec_fold_multiply.
3095
3096 2009-06-16  J"orn Rennecke  <joern.rennecke@arc.com>
3097             Janis Johnson  <janis187@us.ibm.com>
3098
3099         PR target/39254
3100         * config/rs6000/rs6000.c (rs6000_emit_move): Don't emit a USE
3101         for the symbol ref of a constant that is the source of a move
3102         - nor for any other not-obvious-label-ref constants.
3103
3104 2009-06-16  Olatunji Ruwase  <tjruwase@google.com>
3105
3106         * plugin.c (position_pass): Skip newly inserted pass during list
3107         traversal to avoid repeated insertion.
3108
3109 2009-06-16  Ian Lance Taylor  <iant@google.com>
3110
3111         * vec.h (VEC_stack_alloc): Define different version if
3112         GATHER_STATISTICS is defined, to accept and ignore MEM_STAT.
3113         (DEF_VEC_ALLOC_FUNC_P_STACK): Remove MEM_STAT_DECL.
3114         (DEF_VEC_ALLOC_FUNC_O_STACK): Likewise.
3115         (DEF_VEC_ALLOC_FUNC_I_STACK): Likewise.
3116
3117 2009-06-16  H.J. Lu  <hongjiu.lu@intel.com>
3118
3119         * config.gcc (extra_headers): Add ia32intrin.h for x86.
3120
3121         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_BSRSI,
3122         IX86_BUILTIN_BSRDI.  IX86_BUILTIN_RDPMC, IX86_BUILTIN_RDTSC.
3123         IX86_BUILTIN_RDTSCP.  IX86_BUILTIN_ROLQI, IX86_BUILTIN_ROLHI,
3124         IX86_BUILTIN_RORQI and IX86_BUILTIN_RORHI.
3125         (ix86_special_builtin_type): Add UINT64_FTYPE_VOID,
3126         UINT64_FTYPE_PINT, INT_FTYPE_INT, UINT64_FTYPE_INT,
3127         INT64_FTYPE_INT64, UINT16_FTYPE_UINT16_INT and UINT8_FTYPE_UINT8_INT.
3128         (bdesc_special_args): Add __builtin_ia32_rdtsc and
3129         __builtin_ia32_rdtscp.
3130         (bdesc_args): Add __builtin_ia32_bsrsi, __builtin_ia32_bsrdi,
3131         __builtin_ia32_rolqi, __builtin_ia32_rolhi, __builtin_ia32_rorqi
3132         and __builtin_ia32_rorhi.
3133         (ix86_init_mmx_sse_builtins): Handle UINT64_FTYPE_VOID,
3134         UINT64_FTYPE_PINT, INT_FTYPE_INT, UINT64_FTYPE_INT,
3135         INT64_FTYPE_INT64, UINT16_FTYPE_UINT16_INT and UINT8_FTYPE_UINT8_INT.
3136         (ix86_expand_args_builtin): Likewise.
3137         (ix86_expand_special_args_builtin): Likewise.
3138
3139         * config/i386/i386.md (UNSPECV_RDTSCP): New.
3140         (UNSPECV_RDTSC): Likewise.
3141         (UNSPECV_RDPMC): Likewise.
3142         (*bsr): Renamed to ...
3143         (bsr): This
3144         (*bsr_rex64): Renamed to ...
3145         (bsr_rex64): This.
3146         (rdpmc): New.
3147         (*rdpmc): Likewise.
3148         (*rdpmc_rex64): Likewise.
3149         (rdtsc): Likewise.
3150         (*rdtsc): Likewise.
3151         (*rdtsc_rex64): Likewise.
3152         (rdtscp): Likewise.
3153         (*rdtscp): Likewise.
3154         (*rdtscp_rex64): Likewise.
3155
3156         * config/i386/ia32intrin.h: New.
3157
3158         * config/i386/x86intrin.h: Include <ia32intrin.h>.
3159
3160 2009-06-16  Ian Lance Taylor  <iant@google.com>
3161
3162         * ira-build.c (copy_info_to_removed_store_destinations):
3163         Initialize parent_a.
3164
3165 2009-06-16  Ian Lance Taylor  <iant@google.com>
3166
3167         * c-decl.c (grokdeclarator): Change size_varies to bool.
3168
3169 2009-06-16  Ian Lance Taylor  <iant@google.com>
3170
3171         * sel-sched.c: Make forward declarations of move_op_hooks and
3172         fur_hooks explicitly extern.
3173
3174 2009-06-16  Ian Lance Taylor  <iant@google.com>
3175
3176         * df-problems.c (df_byte_lr_alloc): Don't set problem_data to itself.
3177         * vec.c (vec_gc_o_reserve_1): Don't set alloc to itself.
3178
3179 2009-06-16  Ian Lance Taylor  <iant@google.com>
3180
3181         * resource.c (mark_referenced_resources): Change
3182         include_delayed_effects parameter to bool.  Change all callers.
3183         (mark_end_of_function_resources): Likewise.
3184         * reorg.c (insn_references_resource_p): Likewise.
3185         (insn_sets_resource_p): Likewise.
3186         * resource.h (mark_referenced_resources): Update declaration.
3187         (mark_end_of_function_resources): Update declaration.
3188
3189 2009-06-16  David Edelsohn  <edelsohn@gnu.org>
3190
3191         * config/rs6000/aix.h (LIBSTDCXX_STATIC): Remove -lstdc++.
3192
3193 2009-06-16  David Edelsohn  <edelsohn@gnu.org>
3194
3195         * doc/install.texi (*-*-aix): Update explanation of XLC bootstrap.
3196         GCC can bootstrap on AIX with GNU Binutils 2.20.
3197
3198 2009-06-16  Ian Lance Taylor  <iant@google.com>
3199
3200         * Makefile.in (tree-vect-stmts.o): Depend upon $(TOPLEV_H).
3201
3202 2009-06-16  Ian Lance Taylor  <iant@google.com>
3203
3204         * toplev.h (floor_log2): If GCC_VERSION >= 3004, declare as static
3205         inline, not extern inline.
3206         (exact_log2): Likewise.
3207         * toplev.c (floor_log2): Only define if GCC_VERSION < 3004. Don't
3208         test CLZ_HWI.
3209         (exact_log2): Likewise, but don't test CTZ_HWI.
3210
3211 2009-06-16  Ian Lance Taylor  <iant@google.com>
3212
3213         * bitmap.c (bitmap_clear): Don't declare as inline.
3214         * gimple.c (gimplify_assign): Likewise.
3215         * tree-ssa-sccvn.c (vn_nary_op_compute_hash): Likewise.
3216         * haifa-sched.c (insn_cost): Don't declare with HAIFA_INLINE.
3217         (sched_scan_info): Remove duplicate definition.
3218
3219 2009-06-16  Ian Lance Taylor  <iant@google.com>
3220
3221         * c-common.c (skip_evaluation): Don't define.
3222         (c_inhibit_evaluation_warnings): Define global variable.
3223         (overflow_warning): Check c_inhibit_evaluation_warnings rather
3224         than skip_evaluation.
3225         (convert_and_check, warn_for_div_by_zero): Likewise.
3226         * c-common.h (skip_evaluation): Don't declare.
3227         (c_inhibit_evaluation_warnings): Declare.
3228         * c-parser.c (c_parser_typeof_specifier): Set
3229         c_inhibit_evaluation_warnings rather than skip_evaluation.
3230         (c_parser_conditional_expression): Likewise.
3231         (c_parser_binary_expression): Likewise.
3232         (c_parser_sizeof_expression): Likewise.
3233         (c_parser_alignof_expression): Likewise.
3234         * c-typeck.c (build_indirect_ref): Check
3235         c_inhibit_evaluation_warnings rather than skip_evaluation.
3236         (build_conditional_expr, build_binary_op): Likewise.
3237
3238 2009-06-16  Richard Guenther  <rguenther@suse.de>
3239
3240         * tree-ssa-alias.c (is_escape_site): Remove.
3241         * tree-ssa-alias.h (enum escape_type): Remove.
3242         (is_escape_site): Likewise.
3243         * tree-ssa-structalias.c (find_func_aliases): Handle escapes
3244         via casts and asms without deferring to is_escape_site.
3245
3246 2009-06-16  Jakub Jelinek  <jakub@redhat.com>
3247
3248         PR middle-end/40446
3249         * expr.c (expand_expr_real_1) <case VIEW_CONVERT_EXPR>: Don't
3250         use gen_lowpart if op0 has complex mode.
3251
3252 2009-06-16  Richard Guenther  <rguenther@suse.de>
3253
3254         * tree-ssa-structalias.c (do_ds_constraint): Stores in global
3255         variables add them to ESCAPED.
3256         (find_func_aliases): Do not make all indirectly stored values escaped.
3257
3258 2009-06-16  Rafael Avila de Espindola  <espindola@google.com>
3259
3260         * config/i386/winnt.c (i386_pe_encode_section_info): Update call to
3261         make_decl_one_only.
3262
3263 2009-06-16  Martin Jambor  <mjambor@suse.cz>
3264
3265         PR tree-optimization/40432
3266         * tree-sra.c (sra_modify_assign): When creating VIEW_CONVERT_EXPR,
3267         check whether we need to force gimple register operand.
3268
3269 2009-06-16  Martin Jambor  <mjambor@suse.cz>
3270
3271         PR tree-optimization/40413
3272         * tree-sra.c (load_assign_lhs_subreplacements): Pass offset to
3273         build_ref_for_offset.
3274         (propagate_subacesses_accross_link): Fix a typo in a comment.
3275
3276 2009-06-16  Ira Rosen  <irar@il.ibm.com>
3277
3278         * tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
3279         with additional parameter.
3280         * tree-vectorizer.h (enum vect_def_type): Add new value
3281         vect_nested_cycle.
3282         (enum vect_relevant): Add comments.
3283         (vect_is_simple_reduction): Add new argument.
3284         * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Add comments.
3285         Detect nested cycles.
3286         (vect_is_simple_reduction): Update documentation, add an argument to
3287         distinguish inner-loop reduction from nested cycle, detect nested
3288         cycles, fix printings and indentation, don't swap operands in case
3289         of nested cycle.
3290         (get_initial_def_for_reduction): Handle subtraction.
3291         (vect_create_epilog_for_reduction): Add new argument to specify
3292         reduction variable.
3293         (vect_finalize_reduction): Handle subtraction, fix comments.
3294         (vectorizable_reduction): Handle nested cycles. In case of nested
3295         cycle keep track of the reduction variable position. Call 
3296         vect_is_simple_reduction with additional parameter. Use original
3297         statement code in reduction epilogue for nested cycle. Call
3298         vect_create_epilog_for_reduction with additional parameter.
3299         * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Assert
3300         inner-loop vectorization.
3301         (vect_recog_widen_sum_pattern): Likewise.
3302         * tree-vect-stmts.c (process_use): Distinguish between nested cycles
3303         and reductions.
3304         (vect_mark_stmts_to_be_vectorized): Likewise.
3305         (vect_get_vec_def_for_operand): Handle nested cycles.
3306
3307 2009-06-16  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3308
3309         * doc/invoke.texi (Debugging Options): Fix option index entries
3310         for -fdump-statistics, -frandom-seed add entries for
3311         -fdump-tree-original, -fdump-tree-optimized, -frandom-seed.
3312         (FRV Options): Fix entries for -mTLS, -mtls.
3313         (HPPA Options): Fix entries for -mgnu-ld, -mhp-ld.
3314         (i386 and x86-64 Options): Fix entry for -mno-red-zone.
3315         (M68hc1x Options): Fix @itemx for -mnominmax.
3316         (MCore Options): Fix entry for -mno-lsim.
3317         (MMIX Options): Fix entry for -mabi=mmixware.
3318         (PDP-11 Options): Fix entry for -mbcopy-builtin.
3319
3320 2009-06-16  Basile Starynkevitch  <basile@starynkevitch.net>
3321
3322         * doc/plugins.texi (Interacting with the GCC Garbage Collector):
3323         Mention the plugin mode of gengtype.
3324         * doc/gty.texi (Source Files Containing Type Information): Likewise.
3325         * gengtype.c: Updated copyright.
3326         (plugin_files, nb_plugin_files) Added new static variables.
3327         (measure_input_list) Care about plugin_files.
3328         (write_rtx_next): Added early return in plugin mode.
3329         (create_file): Updated copyright year in generated file. Added
3330         asserts.
3331         (oprintf): Added early return if NULL outf.
3332         (get_output_file_with_visibility): Care of plugin_files.
3333         (get_output_file_name): May return null.
3334         (write_local): Added early return.
3335         (put_mangled_filename): Ditto.
3336         (finish_root_table): Added check for base_files.
3337         (write_roots): Care about null when plugins.
3338         (main): Added plugin mode.
3339
3340 2009-06-15  Ian Lance Taylor  <iant@google.com>
3341
3342         * df-problems.c (df_simulate_one_insn_forwards): Fix braces in switch.
3343         * gcov.c (read_count_file): Add braces around variables declared
3344         before label.
3345
3346         * c.opt (Wjump-misses-init): New warning.
3347         * c-opts.c (c_common_handle_option): Set warn_jump_misses_init for
3348         -Wall and -Wc++-compat if not already set.
3349         (c_common_post_options): Clear warn_jump_misses_init if it was not
3350         set.
3351         * c-decl.c (struct c_binding): Change type field to a union with
3352         new label field.  Make it the first field in the struct.  Update
3353         references to type to use u.type instead.
3354         (struct c_spot_bindings): Define.
3355         (struct c_goto_bindings): Define.
3356         (c_goto_bindings_p): Define, along with VECs.
3357         (struct c_label_vars): Define.
3358         (struct c_scope): Add has_label_bindings field.
3359         (bind_label, set_spot_bindings): New static functions.
3360         (decl_jump_unsafe, update_spot_bindings): New static functions.
3361         (update_label_decls): New static function.
3362         (pop_scope): Call update_label_decls.  Don't call c_end_vm_scope.
3363         Update binding u.label field to shadowed field.
3364         (c_binding_start_stmt_expr): New function.
3365         (c_binding_end_stmt_expr): New function.
3366         (pushdecl): Don't call c_begin_vm_scope.
3367         (make_label): Add defining and p_label_vars parameters.  Change
3368         all callers.
3369         (lookup_label): Correct test for whether a label has not yet been
3370         defined.  Call bind_label rather than bind.
3371         (warn_about_goto): New static function.
3372         (lookup_label_for_goto): New function.
3373         (declare_label): Call bind_label rather than bind.
3374         (check_earlier_gotos): New static function.
3375         (define_label): Don't give errors about jumping into statement
3376         expressions or scopes of variably modified types.  Call
3377         set_spot_bindings and check_earlier_gotos.  Call bind_label
3378         instead of bind.  Don't set label_context_stack_se or
3379         label_context_stack_vm.
3380         (c_get_switch_bindings): New function.
3381         (c_release_switch_bindings): New function.
3382         (c_check_switch_jump_warnings): New function.
3383         (start_function): Don't set label_context_stack_se or
3384         label_context_stack_vm.
3385         (finish_function): Likewise.
3386         * c-typeck.c (label_context_stack_se): Don't define.
3387         (label_context_stack_vm): Don't define.
3388         (c_finish_goto_label): Call lookup_label_for_goto rather than
3389         lookup_label.  Don't give errors about jumping into a statement
3390         expression or the scope of a variably modified type.  Don't set
3391         label_context_stack_se or label_context_stack_vm.
3392         (struct c_switch): Remove blocked_stmt_expr and blocked_vm
3393         fields.  Add bindings field.
3394         (c_start_case): Don't set deleted fields.  Set bindings field.
3395         (do_case): Rework order of tests.  Don't check blocked_stmt_expr
3396         or blocked_vm.  Call c_check_switch_jump_warnings.
3397         (c_finish_case): Don't test blocked_stmt_expr field.  Call
3398         c_release_switch_bindings.
3399         (c_begin_stmt_expr): Don't increment blocked_stmt_expr in
3400         c_switch_stack.  Don't walk label_context_stack_se labels.  Don't
3401         set label_context_stack_se.  Call c_bindings_start_stmt_expr.
3402         (c_finish_stmt_expr): Don't decrement blocked_stmt_expr in
3403         c_switch_stack.  Don't walk label_context_stack_se labels.  Don't
3404         set label_context_stack_se.  Call c_bindings_end_stmt_expr.
3405         (c_begin_vm_scope, c_end_vm_scope): Don't define.
3406         * c-tree.h (C_DECL_UNJUMPABLE_STMT_EXPR): Don't define.
3407         (C_DECL_UNDEFINABLE_STMT_EXPR): Don't define.
3408         (C_DECL_UNJUMPABLE_VM): Don't define.