OSDN Git Service

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