gcc/ChangeLog

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