gcc/ChangeLog

   1 2009-08-14  Hans-Peter Nilsson  <hp@axis.com>
   2
   3         PR rtl-optimization/41064
   4         * reload1.c (reload_as_needed): Don't call extract_insn
   5         for known invalid replacements after calling
   6         validate_replace_rtx_group and verify_changes.
   7
   8 2009-08-14  Uros Bizjak  <ubizjak@gmail.com>
   9
  10         PR target/41019
  11         * config/i386/sse.md (SSEMODE124C8): New mode iterator.
  12         (vcond<SSEMODEF2P:mode>): Assert that operation is supported by
  13         ix86_expand_fp_vcond.
  14         (vcond<SSEMODE124C8:mode>): Use SSEMODE124C8 instead of SSEMODE124.
  15         Assert that operation is supported by ix86_expand_int_vcond.
  16         (vcondu<SSEMODE124C8:mode>): Ditto.
  17
  18 2009-08-13  DJ Delorie  <dj@redhat.com>
  19
  20         * config/i386/djgpp-stdint.h: New.
  21         * config.gcc (djgpp): Use it.
  22
  23 2009-08-13  Kaz Kojima  <kkojima@gcc.gnu.org>
  24
  25         * config/sh/sh.c (sh_override_options): When flag_exceptions or
  26         flag_unwind_tables is on, turn flag_reorder_blocks_and_partition off.
  27
  28 2009-08-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>
  29
  30         * tree-ssa-loop-prefetch.c
  31         (prune_ref_by_group_reuse): Enhance probabilistic analysis
  32         for long-stride pruning.
  33         (compute_miss_rate): New function to compute the probability
  34         that two memory references access different cache lines.
  35
  36 2009-08-13  Dave Korn  <dave.korn.cygwin@gmail.com>
  37
  38         * gcc/config/i386/cygwin.h (LINK_SPEC): Add --enable-auto-image-base.
  39
  40 2009-08-13  Richard Guenther  <rguenther@suse.de>
  41
  42         PR middle-end/41047
  43         * tree-ssa-ccp.c (ccp_fold): When folding pointer additions
  44         use the constant pointer type.
  45         * gimplify.c (canonicalize_addr_expr): Canonicalize independent
  46         of CV qualifiers on the target pointer type.
  47         * tree-ssa.c (useless_type_conversion_p): Move incomplete pointer
  48         conversion check before restrict check.
  49
  50 2009-08-12  Kaz Kojima  <kkojima@gcc.gnu.org>
  51
  52         PR target/41029
  53         * config/sh/sh.md (reload_outdf__RnFRm+4): Fix thinko.
  54
  55 2009-08-12  Kaz Kojima  <kkojima@gcc.gnu.org>
  56
  57         * config/sh/sh.c (sh_promote_function_mode): Add ATTRIBUTE_UNUSED.
  58
  59 2009-08-12  Richard Guenther  <rguenther@suse.de>
  60
  61         PR tree-optimization/41011
  62         * ipa-cp.c (ipcp_lattice_from_jfunc): Deal with failing fold
  63         and reference constructing.
  64
  65 2009-08-12  Xinliang David Li  <davidxl@google.com>
  66
  67         PR tree-optimization/41012
  68         * tree-flow.h : New external interface.
  69         * gimple-low.c (check_call_arg): Change to public function.
  70         Remove argument mismatch check in lowering.
  71         * tree-inline.h (tree_can_inline_p): Interface change.
  72         * tree-inline.c (tree_can_inline_p): Fold argument mismatch check
  73         into this function.
  74         * ipa-inline.c (cgraph_decide_inlining_of_small_functions):
  75         Call change to tree_can_inline_p function.
  76         (cgraph_decide_inlining_incrementally): Ditto.
  77
  78 2009-08-12  Richard Sandiford  <rdsandiford@googlemail.com>
  79
  80         PR tree-optimization/41031
  81         * tree-outof-ssa.c (insert_value_copy_on_edge): Use promote_decl_mode
  82         on the partition variable rather than promote_mode on the source
  83         type.  Assert that the partition variable's type has the same
  84         mode as the source value's.
  85
  86 2009-08-12  Paolo Bonzini  <bonzini@gnu.org>
  87
  88         * doc/tm.texi (TARGET_PROMOTE_FUNCTION_MODE): Add documentation
  89         for for_return == 2.
  90         * function.c (assign_parm_setup_reg): Use for_return == 2, improve
  91         comments.
  92         * calls.c (expand_call): Fix typo.
  93         * explow.c (promote_decl_mode): Use for_return == 2 for RESULT_DECL
  94         and PARM_DECL.
  95         * stmt.c (expand_value_return): Use promote_function_mode to copy out
  96         of pseudo.
  97         * targhooks.c (default_promote_function_mode): Handle for_return == 2.
  98         * config/cris/cris.c (cris_promote_function_mode): Likewise.
  99         * config/mmix/mmix.c (mmix_promote_function_mode): Likewise.
 100         * config/pa/pa.c (pa_promote_function_mode): Likewise.
 101
 102 2009-08-11  Andrew Haley  <aph@redhat.com>
 103
 104         * config/arm/arm.c (arm_init_libfuncs): Add __sync_synchronize.
 105
 106 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 107
 108         PR bootstrap/40103
 109         * graphite.c: Remove pragma GCC diagnostic warning "-Wc++-compat".
 110
 111 2009-08-12  Richard Guenther  <rguenther@suse.de>
 112
 113         * alias.c (get_alias_set): Honor TYPE_STRUCTURAL_EQUALITY_P.
 114         * gimplify.c (gimplify_modify_expr): Do not use
 115         lang_hooks.types_compatible_p.
 116         * tree-ssa.c (useless_type_conversion_p): For aggregates
 117         just return false if the canonical types differ.
 118
 119 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 120
 121         PR middle-end/40980
 122         * sese.c (convert_for_phi_arg): New.
 123         (add_guard_exit_phis): Use convert_for_phi_arg.
 124
 125 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 126
 127         * graphite-sese-to-poly.c (pdr_add_data_dimensions): Dont add
 128         unknown subscript upper bounds.
 129
 130 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 131             Pranav Garg  <pranav.garg2107@gmail.com>
 132
 133         * graphite-interchange.c (gather_access_strides): Removed.
 134         (ppl_max_for_le): New.
 135         (build_linearized_memory_access): New.
 136         (memory_stride_in_loop): New.
 137         (pbb_interchange_profitable_p): Reimplemented.
 138         * graphite-ppl.h (ppl_new_id_map): New.
 139         (ppl_interchange): New.
 140
 141 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 142
 143         * graphite-interchange.c (compute_subscript): Removed.
 144         (compute_array_size_cstr): Removed.
 145         (compute_array_size_poly): Removed.
 146         (compute_array_size): Removed.
 147         (gather_access_strides_poly): Removed.
 148         (gather_access_strides): Empty.
 149
 150 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 151
 152         * graphite-dependences.c (dependence_polyhedron_1): Replace
 153         pdr_nb_subscripts with PDR_NB_SUBSCRIPTS.
 154         (graphite_legal_transform_dr): Same.
 155         (graphite_carried_dependence_level_k): Same.
 156         * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts.
 157         Initialize PDR_NB_SUBSCRIPTS.
 158         (print_pdr_access_layout): Replace pdr_nb_subscripts with
 159         PDR_NB_SUBSCRIPTS.
 160         * graphite-poly.h (struct poly_dr): Add nb_subscripts field.
 161         (PDR_NB_SUBSCRIPTS): New.
 162         (pdr_nb_subscripts): Removed.
 163         (pdr_dim): Simplified.
 164         * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts
 165         with PDR_NB_SUBSCRIPTS.
 166
 167 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 168
 169         * graphite-interchange.c (compute_array_size): Remove use of
 170         PDR_DATA_CONTAINER.
 171         * graphite-poly.c (new_poly_dr): Remove argument data_container.
 172         Do not initialize PDR_DATA_CONTAINER.
 173         (print_pdr): Do not print PDR_DATA_CONTAINER.
 174         * graphite-poly.h (struct poly_dr): Remove data_container field.
 175         (PDR_DATA_CONTAINER): Removed.
 176         * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of
 177         PDR_DATA_CONTAINER.
 178         (build_poly_dr): Same.
 179
 180 2009-08-12  Konrad Trifunovic  <konrad.trifunovic@gmail.com>
 181             Sebastian Pop  <sebastian.pop@amd.com>
 182
 183         * graphite-dependences.c (graphite_legal_transform_dr): Work on a
 184         copy of the dependence polyhedron.  Free the temporary objects.
 185         (graphite_carried_dependence_level_k): Free unused objects before
 186         returning.
 187
 188         * testsuite/gcc.dg/graphite/interchange-1.c: XFAILed.
 189         * testsuite/gcc.dg/graphite/interchange-2.c: XFAILed.
 190         * testsuite/gcc.dg/graphite/interchange-3.c: XFAILed.
 191         * testsuite/gcc.dg/graphite/interchange-4.c: XFAILed.
 192         * testsuite/gcc.dg/graphite/interchange-7.c: XFAILed.
 193
 194 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 195
 196         * graphite-blocking.c (scop_do_strip_mine): Call store_scattering.
 197         Early return without analyzing the data dependences if no
 198         transform has been done.  Call restore_scattering if the transform
 199         is not legal.
 200         (graphite-interchange.c): Same.
 201         * graphite-poly.c (print_scattering_function): Test for
 202         PBB_TRANSFORMED.
 203         (graphite_read_transforms): Initialize PBB_TRANSFORMED.
 204         (apply_poly_transforms): Do not gcc_assert that
 205         the transform is legal.
 206         (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED and PBB_ORIGINAL.
 207         Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES,
 208         PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING.
 209         (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
 210         * graphite-poly.h (struct poly_scattering): New.
 211         (struct poly_bb): Add original, transformed, and saved fields.
 212         Remove transformed_scattering, original_scattering,
 213         nb_local_variables and nb_scattering_transform fields.
 214         (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New.
 215         (poly_scattering_new): New.
 216         (poly_scattering_free): New.
 217         (poly_scattering_copy): New.
 218         (store_scattering_pbb): New.
 219         (store_scattering): New.
 220         (restore_scattering_pbb): New.
 221         (restore_scattering): New.
 222         * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
 223         Initialize PBB_TRANSFORMED and PBB_ORIGINAL.
 224
 225 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 226
 227         * graphite-poly.c (print_pbb): Add parentheses in the pretty print.
 228         (print_scop): Same.
 229
 230 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 231
 232         * Makefile.in (graphite.o): Depends on PREDICT_H.
 233         * graphite.c: Include predict.h.
 234         (graphite_finalize): Call tree_estimate_probability.
 235         * predict.c (predict_loops): Do not call scev_initialize and
 236         scev_finalize.
 237         (tree_estimate_probability_bb): New.
 238         (tree_estimate_probability): Do not initialize loops: move that
 239         code to the driver.  Call tree_estimate_probability_bb.
 240         (tree_estimate_probability_driver): New.
 241         (pass_profile): Use tree_estimate_probability_driver.
 242         * predict.h (tree_estimate_probability): Declared.
 243
 244 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
 245
 246         * graphite-clast-to-gimple.c (gloog): Add time to TV_GRAPHITE_CODE_GEN.
 247         * graphite-dependences.c (graphite_legal_transform): Add time to
 248         TV_GRAPHITE_DATA_DEPS.
 249         (dependency_between_pbbs_p): Same.
 250         * timevar.def (TV_GRAPHITE_DATA_DEPS, TV_GRAPHITE_CODE_GEN): New.
 251
 252 2009-08-12  Andrey Belevantsev  <abel@ispras.ru>
 253
 254         PR rtl-optimization/41033
 255         * alias.c (nonoverlapping_component_refs_p): Punt when strict
 256         aliasing is disabled.
 257
 258 2009-08-11  Adam Nemet  <anemet@caviumnetworks.com>
 259
 260         * config/mips/predicates.md (qi_mask_operand, hi_mask_operand,
 261         si_mask_operand, and_load_operand, low_bitmask_operand,
 262         and_reg_operand, and_operand): New predicates.
 263         * config/mips/constraints.md (Yb, Yh, Yw, Yz): New constraints.
 264         * config/mips/mips.c (and_operands_ok): New function.
 265         * config/mips/mips-protos.h (and_operands_ok): Declare it.
 266         * config/mips/mips.md (move_type): Add ext_ins and logical.
 267         (type): Handle them.
 268         (and<mode>3): Use and_reg_operand as the second operand's predicate.
 269         (*and<mode>3): Add alternatives for lbu, lhu, lwu, <d>ext and
 270         shift_shift.  Remove commutative constraint modifier.
 271         (*and<mode>3_mips16): Add alternatives for lbu, lhu, lwu and
 272         shift_shift.
 273         (*clear_upper32_dext): Remove define_insn_and_split.
 274         (*clear_upper32): Turn this define_insn_and_split ...
 275         (splitter for ANDing register with 0xffff_ffff): .. into this.
 276
 277 2009-08-11  Adam Nemet  <anemet@caviumnetworks.com>
 278
 279         * combine.c (try_widen_shift_mode): Factor out code to check if an
 280         integer constant is a low-order bitmask from here ...
 281         * rtlanal.c (low_bitmask_len): ... to here.
 282         * rtl.h (low_bitmask_len): Declare.
 283
 284 2009-08-11  Uros Bizjak  <ubizjak@gmail.com>
 285
 286         PR target/8603
 287         * config/alpha/alpha.md (addsi3): Remove expander.
 288         (addsi3): Rename from *addsi3_internal insn pattern.
 289         (subsi3): Remove expander.
 290         (subsi3): Rename from *subsi3_internal insn pattern.
 291
 292 2009-08-11  Douglas B Rupp  <rupp@gnat.com>
 293
 294         * config/alpha/alpha.c (alpha_init_builtins): Nullify FWRITE and
 295         FWRITE_UNLOCKED.
 296
 297 2009-08-11  Vasiliy Fofanov  <fofanov@adacore.com>
 298             Eric Botcazou  <botcazou@adacore.com>
 299             Douglas B Rupp  <rupp@gnat.com>
 300
 301         * config/alpha/alpha.c (alpha_return_in_memory): On VMS, ensure
 302         that records that fit in 64 bits are returned by immediate value,
 303         as required by OpenVMS Calling Standard.
 304         (function_value): Adjust for above modification.
 305         (alpha_va_start) <TARGET_ABI_OPEN_VMS>: Use
 306         virtual_incoming_args_rtx as base object, not next_arg.
 307         * config/alpha/vms.h: (DEFAULT_PCC_STRUCT_RETURN): Define as 0.
 308
 309 2009-08-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 310
 311         * reload.c (find_reloads_subreg_address): Check the original
 312         req_equiv_mem address to detect the case where an address is
 313         not valid in the outer mode.
 314
 315 2009-08-11  Richard Guenther  <rguenther@suse.de>
 316
 317         PR bootstrap/40788
 318         * builtins.c (gimplify_va_arg_expr): Do not call SET_EXPR_LOCATION.
 319
 320 2009-08-10  Douglas B Rupp  <rupp@gnat.com>
 321
 322         * config/alpha/vms.h (OPTIMIZATION_OPTIONS): Remove
 323         (OVERRIDE_OPTIONS): Incorporate removed OPTIMIZATION_OPTIONS.
 324
 325 2009-08-10  Olivier Hainque  <hainqueu@adacore.com>
 326             Douglas B Rupp  <rupp@gnat.com>
 327
 328         * config/alpha/alpha.c (alpha_sa_size): Force procedure type to
 329         PT_STACK when frame_pointer_needed on OpenVMS.
 330         (alpha_pv_save_size, alpha_using_fp): Remove.
 331         (alpha_vms_can_eliminate): New function. Support for CAN_ELIMINATE
 332         with proper processing for PT_NULL.
 333         (alpha_vms_initial_elimination_offset): New function. Support for
 334         INITIAL_ELIMINATION_OFFSET with proper processing for PT_NULL.
 335         (alpha_sa_size): Force procedure type to PT_STACK when
 336         frame_pointer_needed on OpenVMS.
 337         * config/alpha/alpha-protos.h (alpha_pv_save_size): Remove prototype.
 338         (alpha_using_fp): Likewise.
 339         (alpha_vms_can_eliminate): Add prototype.
 340         (alpha_vms_initial_elimination_offset): Likewise.
 341         * config/alpha/vms.h (CAN_ELIMINATE, INITIAL_ELIMINATION_OFFSET):
 342         Call alpha_vms_can_eliminate and alpha_vms_initial_elimination_offset.
 343
 344 2009-08-10  Eric Botcazou  <botcazou@adacore.com>
 345             Douglas B Rupp  <rupp@gnat.com>
 346
 347         * config/alpha/alpha.c (common_object_handler): New function.
 348         (vms_attribute_table): Declare a single attribute "common_object".
 349         (vms_output_aligned_decl_common): New global function.
 350         (SECTION_VMS_OVERLAY): Delete.
 351         (SECTION_VMS_GLOBAL): Likewise.
 352         (SECTION_VMS_INITIALIZE): Likewise.
 353         (vms_asm_named_section): Remove support for above flags.
 354         (vms_section_type_flags): Delete.
 355         (TARGET_SECTION_TYPE_FLAGS): Likewise.
 356         * config/alpha/alpha-protos.h (vms_output_aligned_decl_common): New.
 357         * config/alpha/vms.h (ASM_OUTPUT_ALIGNED_COMMON): Delete.
 358         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New macro.
 359
 360 2009-08-10  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>
 361
 362         PR target/41015
 363         * longlong.h [__sh__] (udiv_qrnnd): Add T register to clobber list.
 364         (sub_ddmmss): Likewise.
 365
 366 2009-08-10  Andreas Tobler  <a.tobler@schweiz.org>
 367
 368         PR bootstrap/41018
 369         * config/rs6000/freebsd.h: Define SVR4_ASM_SPEC. Adjust copyright
 370         year.
 371
 372 2009-08-10  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 373
 374         PR target/37053
 375         * reload1.c (reload_as_needed): Use cancel_changes to completely
 376         undo a failed replacement attempt.
 377
 378 2009-08-10  Richard Guenther  <rguenther@suse.de>
 379
 380         PR middle-end/41006
 381         * tree-ssa.c (useless_type_conversion_p_1): Fold into ...
 382         (useless_type_conversion_p): ... here.  Require pointer targets
 383         to be compatible.
 384
 385 2009-08-10  Dodji Seketeli  <dodji@redhat.com>
 386
 387         PR c++/40866
 388         * tree-inline.c (copy_statement_list): The resulting copy shouldn't
 389         loose the original type of the statement list.
 390
 391 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
 392
 393         * config/alpha/alpha.c: Include libfuncs.h
 394         (avms_asm_output_extern): New function.
 395         (alpha_init_libfuncs): Init some decc libfuncs.
 396         * config/alpha/alpha-protos.h (avms_asm_output_external): Declare.
 397         * config/alpha/vms.h (ASM_OUTPUT_EXTERNAL): Define.
 398         (DO_CRTL_NAMES): Define.
 399         (LIB_SPEC): Remove.
 400         * config/alpha/vms64.h: (POINTERS_EXTEND_UNSIGNED): Remove undef.
 401         (LONG_TYPE_SIZE): Define.
 402         (TARGET_OS_CPP_BUILTINS): Define with __LONG_POINTERS=1
 403         (SUBTARGET_SWITCHES): Define malloc64 switch.
 404         (TARGET_DEFAULT): Default MASK_MALLOC64 set.
 405         (MASK_RETURN_ADDR): Define.
 406         doc/invoke.texi (mmalloc64): Document switch.
 407
 408 2009-08-09  Olivier Hainque  <hainque@adacore.com>
 409             Douglas B Rupp  <rupp@gnat.com>
 410
 411         * config/alpha/alpha.c (struct machine_function): New flag for VMS,
 412         uses_condition_handler.
 413         (alpha_expand_builtin_establish_vms_condition_handler): New expander.
 414         (alpha_expand_builtin_revert_vms_condition_handler): New expander.
 415         (enum alpha_builtin): New ALPHA_BUILTIN_REVERT_VMS_CONDITION_HANDLER
 416         and ALPHA_BUILTIN_ESTABLISH_VMS_CONDITION_HANDLER values.
 417         (code_for_builtin): New insn codes for the new alpha_builtins.
 418         (alpha_init_builtins): Register the new functions as BUILT_IN_MD.
 419         (alpha_sa_size): Account for uses_condition_handler.
 420         (alpha_expand_prologue): Likewise.
 421         (alpha_start_function): Likewise.
 422         (alpha_expand_epilogue): Likewise.
 423         * config/alpha/alpha-protos.h: Prototype the new alpha.c builtin
 424         establish/revert expanders.
 425         * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Define.
 426         * config/alpha/alpha.md (builtin_establish_vms_condition_handler):
 427         New expander, resorting to the alpha.c associated function.
 428         (builtin_revert_vms_condition_handler): Likewise.
 429         * config/alpha/vms-gcc_shell_handler.c: New file. Implements
 430         __gcc_shell_handler, the static VMS condition handler used as
 431         an indirection wrapper to the current dynamically established
 432         handler.
 433         * config/alpha/vms-unwind.h: Complete rewrite.
 434         * config/alpha/t-vms (LIB2FUNCS_EXTRA): Add vms-gcc_shell_handler.c
 435         * config/alpha/vms.h (MD_UNWIND_SUPPORT):
 436
 437 2009-08-09  Eric Botcazou  <botcazou@adacore.com>
 438             Douglas B Rupp  <rupp@gnat.com>
 439
 440         * config/alpha/alpha.c (alpha_links): Add 'target' field.
 441         (alpha_need_linkage): Handle aliases.  Return function symbol.
 442         (alpha_use_linkage): Rename 'linkage' argument to 'func'.
 443         Use ultimate alias target for the linkage name.
 444         * config/alpha/alpha.md (movmemdi): Use the symbol returned
 445         by alpha_need_linkage for the function symbol.
 446         (setmemdi): Likewise.
 447
 448 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
 449
 450         * config/alpha/alpha.c (TARGET_ASM_UNALIGNED_*_OP): Define if on VMS.
 451         * config/alpha/vms.h (OBJECT_FORMAT_ELF): Define.
 452         (ASM_WEAKEN_LABEL): Define.
 453         (CRT_CALL_STATIC_FUNCTION): Define.
 454         (STARTFILE_SPEC): Add crtbegin.o crtbeginS.o.
 455         (ENDFILE_SPEC): Define.
 456         (INIT_SECTION_ASM_OP): Define.
 457         * config/alpha/vms-dwarf2eh.asm (__EH_FRAME_BEGIN__): Remove.
 458         * config/alpha/t-vms (EXTRA_PARTS): Add crtbegin.o crtbeginS.o
 459         crtend.o crtendS.o.
 460         (MULTILIB_OSDIRNAMES): Define.
 461         (shlib_version): Define.
 462         (SHLIB_EXT): Define.
 463         (SHLIB_OBJS): Define.
 464         (SHLIB_NAME): Define.
 465         (SHLIB_MULTILIB): Define.
 466         (SHLIB_INSTALL): Define.
 467         (SHLIB_SYMVEC): Define.
 468         (SHLIB_SYMVECX2): Define.
 469         (SHLIB_LINK): Define.
 470
 471 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
 472
 473         * config/alpha/alpha.c (alpha_initialize_trampoline):
 474         Initialize VMS trampoline IAW ABI for bounded procedure calls.
 475         (alpha_start_function): Emit transfer address on nested functions
 476         for VMS trampoline call.
 477         * config/alpha/t-vms (LIB2FUNCS_EXTRA): Remove vms_tramp.asm
 478         since no longer used.
 479         * config/alpha/vms-tramp.asm: Remove.
 480         * config/alpha/vms.h (TRAMPOLINE_TEMPLATE): Leave undefined
 481         since now only data initialized at runtime.
 482
 483 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
 484
 485         * config/alpha/vms.h (HANDLE_SYSV_PRAGMA): Define.
 486         (LINK_GCC_C_SEQUENCE_SPEC): Define.
 487         (MD_EXEC_PREFIX): Remove, no longer used.
 488         (MD_STARTFILE_PREFIX): Likewise.
 489         (INCLUDE_DEFAULTS): Likewise.
 490         * config/alpha/t-vms:
 491         (vms-dwarf2.o, vms-dwarf2eh.o): Use GCC_FOR_TARGET to compile.
 492
 493 2009-08-09  Richard Guenther  <rguenther@suse.de>
 494
 495         PR tree-optimization/41016
 496         * tree-ssa-ifcombine.c (get_name_for_bit_test): Fix tuplification bug.
 497         (operand_precision): Remove.
 498         (integral_operand_p): Likewise.
 499         (recognize_single_bit_test): Adjust.
 500
 501 2009-08-09  Richard Sandiford  <rdsandiford@googlemail.com>
 502
 503         * c-common.c (c_fully_fold_internal): Issue a warning if a binary
 504         operation overflows.  Likewise non-cast unary arithmetic.
 505         If one arm of a conditional expression is always taken,
 506         inhibit evaluation warnings for the other arm.  Likewise inhibit
 507         evaluation warnings for the second && or || operand if the first
 508         operand is enough to determine the result.
 509         * c-typeck.c (build_conditional_expr): Apply the same inhibition
 510         rules here.
 511         (build_binary_op): Prevent duplicate evaluation warnings.
 512
 513 2009-08-09  Richard Sandiford  <rdsandiford@googlemail.com>
 514
 515         * tree-out-of-ssa.c (insert_value_copy_on_edge): If the source
 516         and destination have different modes, Use promote_mode to
 517         determine the signedness of the conversion.  Assert that the
 518         promoted source mode matches the destination mode.  Don't pass
 519         the destination and destination mode to expand_expr if the source
 520         mode is different.  Simplify conversion logic.
 521
 522 2009-08-09  Ira Rosen  <irar@il.ibm.com>
 523
 524         PR tree-optimization/41008
 525         * tree-vect-loop.c (vect_is_simple_reduction): Get operands
 526         from condition only in case it's a comparison. Adjust checks.
 527
 528 2009-08-09  Bernd Schmidt  <bernd.schmidt@analog.com>
 529
 530         * tree-dfa.c (renumber_gimple_stmt_uids_in_blocks): New function.
 531         * tree-flow.h (renumber_gimple_stmt_uids_in_blocks): Declare it.
 532         * tree-ssa-loop-ivopts.c (comp_cost): Make COST an integer.
 533         (enum iv_position): Add IP_AFTER_USE and IP_BEFORE_USE.
 534         (dump_cand): Handle them.
 535         (struct iv_cand): New members COST_STEP and AINC_USE.
 536         (stmt_after_increment): Likewise.
 537         (stmt_after_inc_pos): Renamed from stmt_after_ip_original_pos.  All
 538         callers changed.  Use gimple_uid comparison instead of scanning.
 539         (add_candidate_1): When looking for identical candidates, take
 540         AINC_USE into account.  Set it for new candidates.
 541         (force_expr_to_var_cost): Cast target_spill_cost to int.
 542         (get_address_cost): New arguments STMT_AFTER_INC and MAY_AUTOINC.
 543         All callers changed.  Check for availability of autoinc addressing
 544         modes, both in general for a given mode, and in the specific use case.
 545         (get_computation_cost_at): New argument CAN_AUTOINC.  All callers
 546         changed.
 547         (get_computation_cost): Likewise.
 548         (autoinc_possible_for_pair, set_autoinc_for_original_candidates,
 549         add_autoinc_candidates): New static functions.
 550         (add_candidate): Call add_autoinc_candidates for candidates based on
 551         a USE_ADDRESS use.
 552         (find_iv_candidates): Call set_autoinc_for_original_candidates.
 553         (determine_use_iv_cost_address): If we have an autoinc candidate at
 554         the matching use, verify autoinc is possible and subtract the cost
 555         of the candidate's step from the cost.
 556         (determine_iv_cost): Record the cost of the increment in the COST_STEP
 557         member of the candidate.
 558         (tree_ssa_iv_optimize_loop): Swap the calls to determine_iv_costs and
 559         determine_use_iv_costs.  Call renumber_gimple_stmt_uids_in_blocks.
 560
 561 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
 562
 563         * config.build (ia64-hp-*vms*): New target.
 564         (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
 565         with ia64-hp-*vms*.
 566         * config.gcc (ia64-hp-*vms*): New target.
 567         (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
 568         with ia64-hp-*vms*.
 569         * config.host (ia64-hp-*vms*): New target.
 570         (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
 571         with ia64-hp-*vms*.
 572
 573 2009-08-08  Richard Guenther  <rguenther@suse.de>
 574
 575         PR tree-optimization/40991
 576         * tree-ssa-pre.c (eliminate): Delay purging EH edges.
 577
 578 2009-08-08  Richard Sandiford  <rdsandiford@googlemail.com>
 579
 580         * combine.c (gen_lowpart_or_truncate): Exclude CONST_INTs from
 581         mode check.  Do truncations in an integer mode.
 582         (force_to_mode): Handle subregs for all mode types.  Only do
 583         arithmetic simplifications on integer modes.
 584
 585 2009-08-07  Richard Guenther  <rguenther@suse.de>
 586
 587         PR tree-optimization/40999
 588         * tree-ssa-ccp.c (get_symbol_constant_value): Handle CONST_DECLs.
 589         (maybe_fold_reference): Lookup constant initializers.
 590         (fold_gimple_assign): Likewise.
 591
 592 2009-08-07  Richard Guenther  <rguenther@suse.de>
 593
 594         * tree-ssa.c (useless_type_conversion_p_1): Only for types
 595         that require structural equality defer to the langhook.
 596
 597 2009-08-07  Martin Jambor  <mjambor@suse.cz>
 598
 599         * ipa-prop.h (enum jump_func_type): New value IPA_JF_ANCESTOR, changed
 600         comments.
 601         (struct ipa_pass_through_data): New type.
 602         (struct ipa_ancestor_jf_data): New type.
 603         (union jump_func_value): Removed field formal_id, added fields
 604         pass_through and ancestor.
 605         (struct ipa_param_call_note): Changed type of formal_id to int from
 606         unsigned.
 607         * ipa-prop.c (ipa_print_node_jump_functions): Print pass through with
 608         operations jump functions and ancestor jump functions.
 609         (compute_complex_pass_through): New function.
 610         (compute_scalar_jump_functions): Call compute_complex_pass_through,
 611         reflect changes in the jump function strucutre.
 612         (update_jump_functions_after_inlining): Ignore complex pass-through
 613         and ancestor jump functions.
 614         * ipa-cp.c (ipcp_lattice_from_jfunc): Added support for ancestor and
 615         polynomial pass-through with operation jump functions.
 616
 617 2009-08-07  Jakub Jelinek  <jakub@redhat.com>
 618
 619         * dwarf2out.c (output_fde): When doing hot/cold partitioning, use
 620         fde->dw_fde_begin as begin label instead of hot/cold label.
 621         Use LLSDAC label instead of LLSDA for second section lsda.
 622         (dwarf2out_do_cfi_startproc): Add SECOND argument.  Use LLSDAC
 623         label instead of LLSDA if it is true.
 624         (dwarf2out_begin_prologue, dwarf2out_switch_text_section): Adjust
 625         callers.
 626         * except.c (add_call_site, dw2_size_of_call_site_table): Add
 627         SECTION argument.  Use it as index into crtl->eh.call_site_record
 628         array.
 629         (dw2_output_call_site_table): Likewise.  Add CS_FORMAT argument,
 630         use it to determine how to print table entries instead of using
 631         #ifdef HAVE_AS_LEB128.  For SECTION > 0 use hot resp. cold
 632         label instead of normal begin label as base.
 633         (sjlj_assign_call_site_values): Adjust add_call_site caller.
 634         (convert_to_eh_region_ranges): When doing hot/cold partitioning,
 635         ensure no EH range spans between sections and that landing pads
 636         are always in the corresponding section.
 637         (sjlj_size_of_call_site_table, sjlj_output_call_site_table): Adjust
 638         for crtl->eh.call_site_record being an array rather than scalar.
 639         (output_one_function_exception_table): New function, copied
 640         from output_function_exception_table.  Adjust
 641         dw2_size_of_call_site_table, dw2_output_call_site_table
 642         callers.  For SECOND section use *C suffixed labels.
 643         (output_function_exception_table): Call
 644         output_one_function_exception_table and, when doing hot/cold
 645         partitioning, also another time for the second section.
 646         * opts.c: Include except.h.
 647         (decode_options): Allow -freorder-blocks-and-partition with
 648         exceptions, unless SJLJ or TARGET_UNWIND_INFO.
 649         * Makefile.in (opts.o): Depend on $(EXCEPT_H).
 650         * function.h (struct rtl_eh): Change call_site_record from
 651         scalar into array of 2 elements.
 652
 653 2009-08-07  Martin Jambor  <mjambor@suse.cz>
 654
 655         * ipa-prop.c (count_formal_params_1): New function.
 656         (ipa_get_vector_of_formal_parms): New function.
 657         (get_vector_of_formal_parm_types): New function.
 658         (ipa_modify_formal_parameters): New function.
 659         (ipa_modify_call_arguments): New function.
 660         (index_in_adjustments_multiple_times_p): New function.
 661         (ipa_combine_adjustments): New function.
 662         (ipa_dump_param_adjustments): New function.
 663         * ipa-prop.h (struct ipa_parm_adjustment): New type.
 664         (ipa_get_vector_of_formal_parms): Declare.
 665         (ipa_modify_formal_parameters): Declare.
 666         (ipa_modify_call_arguments): Declare.
 667         (ipa_combine_adjustments): Declare.
 668         (ipa_dump_param_adjustments): Declare.
 669         (build_ref_for_offset): Declare.
 670         * Makefile.in (tree-sra.o): Add ipa-prop.h to dependencies.
 671         * tree-sra.c: Include ipa-prop.c.
 672         (build_ref_for_offset): Make public.
 673
 674 2009-08-06  Neil Vachharajani  <nvachhar@gmail.com>
 675
 676         * value-prof.c (init_pid_map): Replace xmalloc with XCNEWVEC.
 677
 678 2009-08-06  Thomas Schwinge  <tschwinge@gnu.org>
 679
 680         * gcc/doc/extend.texi (__builtin_extract_return_address)
 681         (__builtin_frob_return_address): Document.
 682
 683 2009-08-06  Paul Brook  <paul@codesourcery.com>
 684
 685         * config/arm/lib1funcs.asm (ARM_DIV_BODY): Add Thumb-2 implementation.
 686         (udivsi3, aeabi_uidivmod, divsi3, aeabi_idivmod): Only use Thumb-1
 687         implementation on ARMv6-M.
 688
 689 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
 690
 691         * doc/extend.texi (pcs): Document new attribute for ARM.
 692
 693 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
 694
 695         * arm.c (pcs_attribute_args): Comment out unsupported attribute
 696         variants.
 697
 698 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
 699
 700         * arm.c (arm_handle_pcs_attribute): Pass the entire name object to
 701         warning ().
 702
 703 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
 704
 705         * arm.c (arm_handle_pcs_attribute): Use %qE in warning.
 706
 707 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
 708
 709         Merge ARM/hard_vfp_branch to trunk.
 710
 711         2009-08-04  Richard Earnshaw  <rearnsha@arm.com>
 712
 713         * arm.c (libcall_eq): New function.
 714         (libcall_hash): New function.
 715         (add_libcall): New function.
 716         (arm_libcall_uses_aapcs_base): New function.
 717         (arm_libcall_value): Use arm_libcall_uses_aapcs_base to check for
 718         libcalls using the base PCS.
 719         (arm_init_cumulative_args): Likewise.
 720
 721         2009-07-20  Joseph Myers  <joseph@codesourcery.com>
 722
 723         * config/arm/arm.c (arm_libcall_value, arm_init_cumulative_args):
 724         Use base ABI for conversion libfuncs between HFmode and SFmode.
 725
 726         2009-05-12  Joseph Myers  <joseph@codesourcery.com>
 727
 728         * config/arm/arm.c (aapcs_vfp_sub_candidate): Use V2SImode and
 729         V4SImode as representatives of all 64-bit and 128-bit vector
 730         types.  Allow vector types without vector modes.
 731         (aapcs_vfp_is_call_or_return_candidate): Handle vector types
 732         without vector modes like BLKmode.
 733         (aapcs_vfp_allocate): Handle TImode for non-TARGET_NEON like
 734         BLKmode.  Avoid unsupported vector modes or TImode moves for
 735         non-TARGET_NEON.
 736         (aapcs_vfp_allocate_return_reg): Likewise.
 737         (arm_vector_mode_supported_p): Only support V2SImode, V4HImode and
 738         V8QImode if TARGET_NEON || TARGET_IWMMXT.
 739
 740         2009-05-12  Joseph Myers  <joseph@codesourcery.com>
 741
 742         * config/arm/arm.c (arm_handle_pcs_attribute): New.
 743         (arm_get_pcs_model): Pass attribute arguments to
 744         arm_pcs_from_attribute.
 745         (arm_init_cumulative_args): Use base AAPCS for conversions from
 746         floating-point types to DImode.
 747         (arm_attribute_table): Add pcs attribute.
 748         (arm_handle_pcs_attribute): New.
 749         * config/arm/bpabi.h (DECLARE_LIBRARY_RENAMES): When renaming
 750         conversions from floating-point types to DImode, also declare them
 751         to use base AAPCS and declare functions they call to use base
 752         AAPCS and their RTABI names.
 753
 754         2009-05-12  Joseph Myers  <joseph@codesourcery.com>
 755
 756         * doc/invoke.texi (-mfloat-abi=@var{name}): Remove statement about
 757         -mfloat-abi=hard not being supported for VFP.
 758
 759         2009-05-11  Kazu Hirata  <kazu@codesourcery.com>
 760
 761         * config/sparc/sparc.c (sparc_emit_float_lib_cmp): Pass a libcall
 762         SYMBOL_REF to hard_libcall_value.
 763
 764         2009-03-05  Joseph Myers  <joseph@codesourcery.com>
 765             Richard Earnshaw  <rearnsha@arm.com>
 766
 767         * config/arm/arm.c (aapcs_layout_arg): Once a co-processor argument
 768         has been put on the stack, all remaining co-processory arguments for
 769         that co-processor also go on the stack.
 770
 771         2009-03-05  Joseph Myers  <joseph@codesourcery.com>
 772
 773         * config/arm/arm.c (arm_return_in_memory): Handle returning
 774         vectors of suitable size in registers also for AAPCS case.
 775
 776         2009-01-13  Richard Earnshaw <rearnsha@arm.com>
 777
 778         * doc/tm.texi (TARGET_LIBCALL_VALUE): Add missing end statement.
 779
 780         2008-12-09  Richard Earnshaw <rearnsha@arm.com>
 781
 782         ARM Hard-VFP calling convention
 783         * target-def.h (TARGET_LIBCALL_VALUE): New hook.
 784         * target.h (gcc_target): Add libcall_value to table of call hooks.
 785         * targhooks.h (default_libcall_value): Default implementation.
 786         * targhooks.c (default_libcall_value): Likewise.
 787         * doc/tm.texi (TARGET_LIBCALL_VALUE): Document it.
 788         * optabs.c (expand_unop): Use it.
 789         * expr.h (hard_libcall_value): Pass the function RTX through.
 790         * calls.c (emit_library_call_value_1): Update call to
 791         hard_libcall_value.
 792         * explow.c (hard_libcall_value): Use new target hook.
 793         * testsuite/lib/target-supports.exp
 794         (check_effective_target_arm_hard_vfp_ok): New hook.
 795         (check_effective_target_arm_neon_ok): Improve test for neon
 796         availability.
 797         * testsuite/gcc.target/arm/eabi1.c: Only run test in base variant.
 798         * config/arm/arm.c: Include cgraph.h
 799         (TARGET_FUNCTION_VALUE): Override default hook.
 800         (arm_pcs_default): New variable.
 801         (arm_override_options): Don't fault hard calling convention with VFP.
 802         Add support for AAPCS variants.
 803         (arm_function_value): Make static.  Handle AAPCS variants.
 804         (arm_libcall_value): New function.
 805         (arm_apply_result_size): Handle VFP registers in results.
 806         (arm_return_in_memory): Rework all AAPCS variants; handle hard-vfp
 807         conventions.
 808         (pcs_attribute_args): New variable.
 809         (arm_pcs_from_attribute): New function.
 810         (arm_get_pcs_model): New function.
 811         (aapcs_vfp_cum_init): New function.
 812         (aapcs_vfp_sub_candidate): New function.
 813         (aapcs_vfp_is_return_candidate): New function.
 814         (aapcs_vfp_is_call_candidate): New function.
 815         (aapcs_vfp_allocate): New function.
 816         (aapcs_vfp_allocate_return_reg): New function.
 817         (aapcs_vfp_advance): New function.
 818         (aapcs_cp_arg_layout): New variable.
 819         (aapcs_select_call_coproc): New function.
 820         (aapcs_select_return_coproc): New function.
 821         (aapcs_allocate_return_reg): New function.
 822         (aapcs_libcall_value): New function.
 823         (aapcs_layout_arg): New function.
 824         (arm_init_cumulative_args): Initialize AAPCS args data.
 825         (arm_function_arg): Handle AAPCS variants using new interface.
 826         (arm_arg_parital_bytes): Likewise.
 827         (arm_function_arg_advance): New function.
 828         (arm_function_ok_for_sibcall): Ensure that sibling calls agree on
 829         calling conventions.
 830         (arm_setup_incoming_varargs): Handle new AAPCS args data.
 831         * arm.h (NUM_VFP_ARG_REGS): Define.
 832         (LIBCALL_VALUE): Update.
 833         (FUNCTION_VALUE): Delete.
 834         (FUNCTION_VALUE_REGNO_P): Add VFP regs.
 835         (arm_pcs): New enum.
 836         (CUMULATIVE_ARGS): New data to support AAPCS argument marshalling.
 837         (FUNCTION_ARG_ADVANCE): Call arm_function_arg_advance.
 838         (FUNCTION_ARG_REGNO_P): Add VFP regs.
 839         * arm-protos.h (arm_function_arg_advance): Add.
 840         (aapcs_libcall_value): Add.
 841         (arm_function_value): Delete.
 842
 843 2009-08-06  Uros Bizjak  <ubizjak@gmail.com>
 844             H.J. Lu  <hongjiu.lu@intel.com>
 845
 846         PR target/40957
 847         * config/i386/i386.c (standard_sse_mode_p): Remove.
 848         (standard_sse_constant_p): Return 2 for integer mode
 849         vector_all_ones_operand when SSE2 is enabled.
 850         (standard_sse_constant_opcode)<case 2>: Always return [v]pcmpeqd.
 851         (ix86_expand_vector_move): Do not check for negative values from
 852         standard_sse_constant_p.
 853
 854 2009-08-06  Richard Guenther  <rguenther@suse.de>
 855
 856         * tree-ssa.c (useless_type_conversion_p_1): Make function and
 857         array type comparisons frontend independent.
 858         * Makefile.in (tree-ssa.o): Add $(TARGET_H) dependency.
 859         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Always fill
 860         out array reference lower bound and element size operands.
 861         (ao_ref_init_from_vn_reference): Properly compute the offset
 862         for ARRAY_RANGE_REF.
 863         (vn_reference_fold_indirect): Fill out array reference lower
 864         bound and element size operands.
 865         * tree-ssa-pre.c (phi_translate_1): Fail if we have to translate
 866         a non gimple valued reference operand which can happen for
 867         array reference lower bound or element size.
 868         (create_component_ref_by_pieces_1): Properly generate the
 869         element size operand for array references.
 870
 871 2009-08-06  Richard Guenther  <rguenther@suse.de>
 872
 873         PR tree-optimization/40964
 874         * tree.c (iterative_hash_host_wide_int): Export.
 875         * tree.h (iterative_hash_host_wide_int): Declare.
 876         * tree-ssa-structalias.c (heapvar_map): New struct.
 877         (heapvar_map_eq): New function.
 878         (heapvar_map_hash): Likewise.
 879         (heapvar_lookup): Adjust.
 880         (heapvar_insert): Likewise.
 881         (make_constraint_from_heapvar): Allow multiple heap variables
 882         per decl at different offsets.
 883         (init_alias_heapvars): Adjust.
 884
 885 2009-08-04  David Daney  <ddaney@caviumnetworks.com>
 886
 887         * config/mips/mips.h (TARGET_SYNC_AFTER_SC): New macro.
 888         * mips_output_sync_loop (mips_output_sync_loop): Only emit
 889         trailing sync if TARGET_SYNC_AFTER_SC.
 890
 891 2009-08-05  David Daney  <ddaney@caviumnetworks.com>
 892
 893         * gcc/config/mips/sync.md (sync_compare_and_swap<mode>,
 894         compare_and_swap_12, sync_add<mode>, sync_<optab>_12,
 895         sync_old_<optab>_12, sync_new_<optab>_12, sync_nand_12,
 896         sync_old_nand_12, sync_new_nand_12, sync_sub<mode>,
 897         sync_old_add<mode>, sync_old_sub<mode>, sync_new_add<mode>,
 898         sync_new_sub<mode>, sync_<optab><mode>, sync_old_<optab><mode>,
 899         sync_new_<optab><mode>, sync_nand<mode>, sync_old_nand<mode>,
 900         sync_new_nand<mode>, sync_lock_test_and_set<mode>,
 901         test_and_set_12): Rewrite calls to mips_output_sync_loop.
 902         * gcc/config/mips/mips-protos.h (mips_output_sync_loop): Make
 903         the prototype declaration match the definition.
 904         * gcc/config/mips/mips.c (mips_output_sync_loop):  Emit sync
 905         instructions explicitly.  Add barrier_before and operands
 906         parameters.
 907         * gcc/config/mips/mips.h (MIPS_COMPARE_AND_SWAP,
 908         MIPS_COMPARE_AND_SWAP_12, MIPS_SYNC_OP, MIPS_SYNC_OP_12,
 909         MIPS_SYNC_OLD_OP_12, MIPS_SYNC_NEW_OP_12, MIPS_SYNC_OLD_OP,
 910         MIPS_SYNC_NEW_OP, MIPS_SYNC_NAND, MIPS_SYNC_OLD_NAND,
 911         MIPS_SYNC_NEW_NAND, MIPS_SYNC_EXCHANGE,
 912         MIPS_SYNC_EXCHANGE_12): Remove sync instructions.
 913
 914 2009-08-05  Andrew Pinski  <pinskia@gmail.com>
 915
 916         * tree-ssa-alias.c: Fix intervals to use [) syntax.
 917
 918 2009-08-05  Uros Bizjak  <ubizjak@gmail.com>
 919             Mikulas Patocka  <mikulas@artax.karlin.mff.cuni.cz>
 920
 921         PR target/40906
 922         * config/i386/i386.c (ix86_split_long_move): Fix push of multi-part
 923         source operand.
 924
 925 2009-08-05  Jakub Jelinek  <jakub@redhat.com>
 926
 927         PR rtl-optimization/40924
 928         * dse.c (canon_address): Before calling cselib_expand_value_rtx
 929         make sure canon_rtx (mem_address) isn't simpler than
 930         canon_rtx (expanded_mem_address).
 931
 932 2009-08-05  Li Feng  <nemokingdom@gmail.com>
 933
 934         * graphite-sese-to-poly.c (build_pbb_drs): Remove build alias set
 935         for each poly_bb_p.
 936         (build_scop_drs): Build alias set for each SCoP.
 937
 938 2009-08-04  Sandra Loosemore  <sandra@codesourcery.com>
 939
 940         * doc/invoke.texi (MIPS Options): Document new 1004K -march options.
 941         * config/mips/mips.c (mips_cpu_info_table): Add 1004K cores.
 942         * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Add pattern for 1004K.
 943         (MIPS_ARCH_FLOAT_SPEC): Likewise.
 944         (BASE_DRIVER_SELF_SPECS): Likewise.
 945
 946 2009-08-04  Andrew Pinski  <pinskia@gmail.com>
 947
 948         * tree-ssa-alias.c: Fix some comment typos.
 949
 950 2009-08-04  Kaz Kojima  <kkojima@gcc.gnu.org>
 951
 952         * config/sh/linux-atomic.asm (ATOMIC_BOOL_COMPARE_AND_SWAP,
 953         ATOMIC_OP_AND_FETCH, ATOMIC_COMBOP_AND_FETCH): Define.
 954
 955 2009-08-03  Janis Johnson  <janis187@us.ibm.com>
 956
 957         PR c/39902
 958         * simplify-rtx.c (simplify_binary_operation_1): Disable
 959         simplifications for decimal float operations.
 960
 961 2009-08-03  Jakub Jelinek  <jakub@redhat.com>
 962
 963         PR middle-end/40943
 964         * tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
 965         operand of INDIRECT_REF.
 966
 967 2009-08-03  Uros Bizjak  <ubizjak@gmail.com>
 968
 969         * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject CONST
 970         constants referencing TLS symbols.
 971
 972 2009-08-03  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>
 973
 974         * config/sh/linux-atomic.asm (ATOMIC_COMPARE_AND_SWAP): Rename
 975         __sync_compare_and_swap_* to __sync_val_compare_and_swap_*.
 976
 977 2009-08-03  Richard Guenther  <rguenther@suse.de>
 978
 979         * tree.c (make_vector_type): Build a main variant first,
 980         get the canonical one and then build the variant.
 981         * tree-ssa.c (useless_type_conversion_p_1): Handle
 982         fixed-point types.
 983         (useless_type_conversion_p): Conversions to pointers to
 984         incomplete record types are useless.
 985
 986 2009-08-03  Richard Guenther  <rguenther@suse.de>
 987
 988         * tree-cfg.c (pass_warn_unused_result): Mark name that no dump
 989         file will be created.
 990         * omp-low.c (pass_diagnose_omp_blocks): Likewise.
 991         * toplev.c (compile_file): Adjust comment.
 992
 993 2009-08-03  Kaz Kojima  <kkojima@gcc.gnu.org>
 994
 995         * config/sh/sh-protos.h (sh_promote_function_mode): Remove.
 996         * config/sh/sh.c (sh_promote_function_mode): Wrap long lines.
 997         (TARGET_PROMOTE_FUNCTION_MODE): Define.
 998         (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
 999         (sh_promote_function_mode): Fix typo.
1000
1001 2009-08-03  Andreas Krebbel  <krebbel1@de.ibm.com>
1002
1003         * explow.c (promote_mode): Mark TYPE and PUNSIGNEDP as possibly unused.
1004
1005 2009-08-02  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1006
1007         * pa.c (pa_promote_function_mode): Remove ATTRIBUTE_UNUSED from
1008         declaration arguments.
1009
1010 2009-08-02  Uros Bizjak  <ubizjak@gmail.com>
1011
1012         * config/i386/i386.c (ix86_expand_fp_compare): Use const0_rtx instead
1013         of GEN_INT (0x00) and const1_rtx instead of GEN_INT (0x01).
1014         (ix86_split_ashl): Ditto.
1015         (ix86_expand_vector_init_one_nonzero): Ditto.
1016         (ix86_expand_vector_set): Ditto.
1017         (ix86_expand_reduc_v4sf): Ditto.
1018
1019 2009-08-02  Paolo Bonzini  <bonzini@gnu.org>
1020
1021         * explow.c (promote_function_mode): Remove assert.
1022         * config/sh/sh.c (sh_promote_function_mode): Declare.
1023
1024 2009-08-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1025
1026         * config/pa/pa.c (pa_promote_function_mode): Declare.
1027         Change to static.  Fix promote_mode call.
1028
1029         * gthr-dce.h (CONST_CAST2): Define if not defined.
1030         (__gthread_setspecific): Use CONST_CAST2 to fix warning.
1031
1032         * config.gcc (hppa[12]*-*-hpux10*): Add stdint support.
1033
1034 2009-08-01  Paolo Bonzini  <bonzini@gnu.org>
1035
1036         * expr.c (store_constructor): Use promote_decl_mode.  Remove
1037         now write-only variable unsignedp.
1038         (expand_expr_real_1): Use promote_decl_mode.
1039         * expr.h (promote_function_mode, promote_decl_mode): New.
1040         (promote_mode): Remove last argument.
1041         * function.c (assign_temp): Drop last argument of promote_mode.
1042         (assign_parm_find_data_types): Use promote_function_mode.
1043         (assign_parm_setup_reg): Likewise.
1044         (expand_function_end): Use promote_function_mode.
1045         * calls.c (initialize_argument_information): Use promote_function_mode.
1046         (precompute_arguments): Use promote_mode instead of checking if
1047         only PROMOTE_FUNCTION_MODE is defined.
1048         (expand_call): When making sibcall decisions, use promote_function_mode.
1049         Below, remove an if for targetm.calls.promote_function_return and
1050         and use promote_function_mode.
1051         (emit_library_call_value_1): Use promote_function_mode, fix bug
1052         where promote_mode was passed FOR_CALL == 0 for a return value in an
1053         assertion.
1054         * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
1055         * explow.c (promote_function_mode, promote_decl_mode): New.
1056         (promote_mode): Keep only the FOR_CALL == 0 case.
1057         * combine.c (setup_incoming_promotion): Remove test of
1058         promote_function_args.  Use promote_function_mode.
1059         * stmt.c (expand_value_return): Use promote_decl_mode.
1060         (expand_decl): Use promote_decl_mode.
1061
1062         * expr.c (store_constructor): Use promote_decl_mode.  Remove
1063         now write-only variable unsignedp.
1064         (expand_expr_real_1): Use promote_decl_mode.
1065         * expr.h (promote_function_mode, promote_decl_mode): New.
1066         (promote_mode): Remove last argument.
1067         * function.c (assign_temp): Drop last argument of promote_mode.
1068         (assign_parm_find_data_types): Use promote_function_mode.
1069         (assign_parm_setup_reg): Likewise.
1070         (expand_function_end): Use promote_function_mode.
1071         * calls.c (initialize_argument_information): Use promote_function_mode.
1072         (precompute_arguments): Use promote_mode instead of checking if
1073         only PROMOTE_FUNCTION_MODE is defined.
1074         (expand_call): When making sibcall decisions, use promote_function_mode.
1075         Below, remove an if for targetm.calls.promote_function_return and
1076         and use promote_function_mode.
1077         (emit_library_call_value_1): Use promote_function_mode, fix bug
1078         where promote_mode was passed FOR_CALL == 0 for a return value in an
1079         assertion.
1080         * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
1081         * explow.c (promote_function_mode, promote_decl_mode): New.
1082         (promote_mode): Keep only the FOR_CALL == 0 case.
1083         * combine.c (setup_incoming_promotion): Remove test of
1084         promote_function_args.  Use promote_function_mode.
1085         * stmt.c (expand_value_return): Use promote_decl_mode.
1086         (expand_decl): Use promote_decl_mode.
1087
1088         * explow.c (promote_function_mode): Just call the target hook.
1089         * targhooks.c (default_promote_function_mode,
1090         default_promote_function_mode_always_promote): New.
1091         * targhooks.h (default_promote_function_mode,
1092         default_promote_function_mode_always_promote): Declare.
1093         * target.h (promote_function_args, promote_function_return): Remove.
1094         (promote_function_mode): New.
1095         * target-def.h (TARGET_PROMOTE_FUNCTION_ARGS,
1096         TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1097         (TARGET_PROMOTE_FUNCTION_MODE): New.
1098         (TARGET_CALLS): Adjust.
1099         * system.h (TARGET_PROMOTE_FUNCTION_ARGS,
1100         TARGET_PROMOTE_FUNCTION_RETURN, PROMOTE_FUNCTION_MODE): Poison.
1101
1102         * config/s390/s390.h (PROMOTE_FUNCTION_MODE): Move...
1103         * config/s390/s390.c (s390_promote_function_mode): ... here,
1104         with pointer handling.
1105         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1106         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1107
1108         * config/sparc/sparc.h (PROMOTE_FUNCTION_MODE): Move...
1109         * config/sparc/sparc.c (sparc_promote_function_mode): ... here,
1110         with pointer handling.
1111         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1112         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1113
1114         * config/sh/sh-protos.h (sh_promote_function_mode): New.
1115         * config/sh/sh.c (sh_promote_function_mode): New.
1116         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1117         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1118
1119         * config/cris/cris.h (PROMOTE_FUNCTION_MODE): Move...
1120         * config/cris/cris.c (cris_promote_function_mode): ... here.
1121         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1122         (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1123
1124         * config/mmix/mmix.h (PROMOTE_FUNCTION_MODE): Move...
1125         * config/mmix/mmix.c (mmix_promote_function_mode): ... here.
1126         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1127         (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1128
1129         * config/arm/arm.h (PROMOTE_FUNCTION_MODE): Move...
1130         * config/arm/arm.c (arm_promote_function_mode): ... here, without
1131         complex type handling.
1132         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1133         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1134
1135         * config/pa/pa.c (pa_promote_function_mode): New.
1136         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1137         (TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1138
1139         * config/alpha/alpha.c (TARGET_PROMOTE_FUNCTION_ARGS,
1140         TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1141         (TARGET_PROMOTE_FUNCTION_MODE): Define equivalently.
1142         * config/xtensa/xtensa.c: Likewise.
1143         * config/stormy16/stormy16.c: Likewise.
1144         * config/iq2000/iq2000.c: Likewise.
1145         * config/rs6000/rs6000.c: Likewise.
1146         * config/picochip/picochip.c: Likewise.
1147         * config/arc/arc.c: Likewise.
1148         * config/mcore/mcore.c: Likewise.
1149         * config/score/score.c: Likewise.
1150         * config/mips/mips.c: Likewise.
1151         * config/bfin/bfin.c: Likewise.
1152         * config/ia64/ia64.c: Likewise (disabled though).
1153
1154         * config/frv/frv.h: Remove pointless remark.
1155
1156         * doc/tm.texi (PROMOTE_FUNCTION_MODE,
1157         TARGET_PROMOTE_FUNCTION_ARGS,
1158         TARGET_PROMOTE_FUNCTION_RETURN): Consolidate into...
1159         (TARGET_PROMOTE_FUNCTION_MODE): ... this.
1160
1161 2009-08-01  Sebastian Pop  <sebastian.pop@amd.com>
1162
1163         * doc/invoke.texi (-fgraphite-force-parallel): Renamed
1164         -floop-parallelize-all.
1165         * toplev.c (process_options): Rename flag_graphite_force_parallel to
1166         flag_loop_parallelize_all.
1167         * tree-ssa-loop.c (gate_graphite_transforms): Same.
1168         * graphite.c (graphite_transform_loops): Same.
1169         * common.opt: Same.
1170         * graphite-poly.c (apply_poly_transforms): Same.
1171
1172 2009-07-31  Richard Earnshaw  <rearnsha@arm.com>
1173
1174         PR tree-optimization/40914
1175         * ipa-prop.c (ipa_get_ptr_load_param): New argument use_delta,
1176         if set, then check the delta field of the PMF record.
1177         (ipa_get_stmt_member_ptr_load_param): Propagate new param use_delta.
1178         (ipa_analyze_call_uses): Handle machines where the vbit for a PMF
1179         call is stored in the delta.
1180
1181 2009-07-31  Adam Nemet  <anemet@caviumnetworks.com>
1182
1183         * config/mips/mips.md (*clear_upper32_dext): New pattern.
1184
1185 2009-07-31  Uros Bizjak  <ubizjak@gmail.com>
1186
1187         * config/i386/bsd.h (ASM_BYTE): New define.
1188         * config/i386/darwin.h (ASM_BYTE): Rename from ASM_BYTE_OP.
1189         * config/i386/att.h (ASM_BYTE): New define. Use ASM_BYTE instead of
1190         .byte.  Use fputs or putc instead of fprintf where appropriate.
1191         * config/i386/i386-interix.h: Use ASM_BYTE instead of .byte.  Use
1192         fputs or putc instead of fprintf where appropriate.
1193         * config/i386/i386elf.h: Ditto.
1194         * config/i386/sysv4.h: Ditto.
1195
1196         * config/i386/i386.c (TARGET_ASM_BYTE_OP): New define.
1197         * config/i386/i386.md (x86_sahf_1): Use ASM_BYTE instead of .byte.
1198         (*tls_global_dynamic_64): Ditto.
1199
1200 2009-07-31  Christian Bruel  <christian.bruel@st.com>
1201
1202         * gcc/config.gcc (sh*-*-elf): test with_libgloss.
1203
1204 2009-07-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
1205
1206         * config/arm/arm.c (arm_arm_address_cost): Fix typo.
1207         Remove dead code for MINUS.
1208
1209 2009-07-31  Anthony Green  <green@moxielogic.com>
1210
1211         * config/moxie/moxie.c (moxie_expand_prologue): Use $r5 instead of
1212         $r12 in prologue.
1213         (moxie_expand_epilogue): Ditto for epilogue.
1214         (moxie_setup_incoming_varargs): ABI change.  Use 5 registers for
1215         incoming arguments.
1216         (moxie_function_arg): Ditto.
1217         (moxie_pass_by_reference): Ditto.
1218         (moxie_arg_partial_bytes): Ditto.
1219         * config/moxie/moxie.h (CALL_USED_REGISTERS): Ditto.
1220         (FUNCTION_ARG_ADVANCE) Ditto.
1221         (REG_PARM_STACK_SPACE) Ditto.
1222         (FUNCTION_ARG_REGNO_P) Dito.
1223
1224         * config.gcc: Add moxie linux config support.
1225         * gcc/config/moxie/uclinux.h: New file.
1226
1227 2009-07-31  DJ Delorie  <dj@redhat.com>
1228
1229         * config/sh/sh.md (UNSPECV_SP_SWITCH_B): New.
1230         (UNSPECV_SP_SWITCH_E): New.
1231         (sp_switch_1): Change to an unspec.
1232         (sp_switch_2): Change to an unspec.  Don't use post-inc when we
1233         replace $r15.
1234         * config/sh/sh.c (sh_expand_prologue): Use the constant pool to
1235         reference the new stack's address
1236
1237 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1238
1239         * Makefile.in (OBJS-common): Added dependence on graphite-blocking.o,
1240         graphite-clast-to-gimple.o, graphite-dependences.o,
1241         graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
1242         graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o.
1243         (graphite-blocking.o,
1244         graphite-clast-to-gimple.o, graphite-dependences.o,
1245         graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
1246         graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o): New.
1247         * cfgloop.c (alloc_loop): Set loop->can_be_parallel to false.
1248         * cfgloop.h (struct loop): Add can_be_parallel field.
1249         * common.opt (fgraphite-identity): Moved up.
1250         (fgraphite-force-parallel): New flag.
1251         * graphite.c: Rewrite.
1252         * graphite.h: Rewrite.
1253         * passes.c (init_optimization_passes): Schedule a pass of DCE and LIM
1254         after Graphite.
1255         * toplev.c (graphite_out_file): New file descriptor.
1256         (graphite_in_file): New.
1257         (process_options): flag_graphite_force_parallel cannot be used without
1258         Graphite.
1259         * tree-ssa-loop.c: Include toplev.h.
1260         (gate_graphite_transforms): Enable flag_graphite for
1261         flag_graphite_force_parallel.
1262
1263 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1264
1265         * ChangeLog.graphite: New.
1266         * graphite-blocking.c: New.
1267         * graphite-clast-to-gimple.c: New.
1268         * graphite-clast-to-gimple.h: New.
1269         * graphite-dependences.c: New.
1270         * graphite-dependences.h: New.
1271         * graphite-interchange.c: New.
1272         * graphite-poly.c: New.
1273         * graphite-poly.h: New.
1274         * graphite-ppl.c: New.
1275         * graphite-ppl.h: New.
1276         * graphite-scop-detection.c: New.
1277         * graphite-scop-detection.h: New.
1278         * graphite-sese-to-poly.c: New.
1279         * graphite-sese-to-poly.h: New.
1280         * sese.c: New.
1281         * sese.h: New.
1282
1283 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1284
1285         * tree-chrec.c (evolution_function_right_is_integer_cst): New.
1286         * tree-chrec.h (evolution_function_right_is_integer_cst): Declared.
1287
1288 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1289
1290         * tree-chrec.c (operator_is_linear): Handle BIT_NOT_EXPR.
1291         (scev_is_linear_expression): Return false if the evolution is not
1292         affine multivariate.
1293
1294 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1295
1296         * tree-data-ref.c (graphite_find_data_references_in_stmt): New.
1297         * tree-data-ref.h (graphite_find_data_references_in_stmt): Declared.
1298
1299 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1300
1301         * tree-data-ref.c (debug_data_references): New.
1302         (debug_data_reference): New.
1303         * tree-data-ref.h (debug_data_references): Declared.
1304         (debug_data_reference): Declared.
1305
1306 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1307
1308         * tree-data-ref.c (stmt_simple_memref_p: Removed.
1309         * tree-data-ref.h (scop_p): Removed.
1310         (struct data_reference): Remove field scop.
1311         (DR_SCOP): Removed.
1312         (stmt_simple_memref_p): Removed.
1313
1314 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1315
1316         * cfgloop.h (create_empty_loop_on_edge): Pass an extra argument.
1317         * cfgloopmanip.c (create_empty_loop_on_edge): Leave the loop_latch
1318         basic block empty.
1319
1320 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1321
1322         * doc/invoke.texi (-fgraphite-force-parallel): Documented.
1323
1324 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1325
1326         * doc/invoke.texi (-fgraphite-identity): Documented.
1327
1328 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1329
1330         * tree-scalar-evolution.c: Fix comment.
1331         (instantiate_scev_1): Return unknow from scev instantiation if the
1332         result is not above instantiate_below.
1333
1334 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1335
1336         * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop): Not
1337         static anymore.  Instantiate the symbols that may have been introduced
1338         by chrec_apply.
1339         * tree-scalar-evolution.h (compute_overall_effect_of_inner_loop):
1340         Declared.
1341
1342 2009-07-30  DJ Delorie  <dj@redhat.com>
1343
1344         * config/mep/mep.c (mep_asm_init_sections): Add section flags and
1345         .vliw directive to VLIW sections.
1346
1347 2009-07-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1348
1349         * Makefile.in (AUTOCONF, ACLOCAL, ACLOCAL_AMFLAGS, aclocal_deps):
1350         New variables.
1351         ($(srcdir)/configure, $(srcdir)/aclocal.m4): New rules.
1352         (AUTOHEADER): New variable.
1353         ($(srcdir)/cstamp-h.in): Use it.
1354
1355 2009-07-30  Michael Meissner  <meissner@linux.vnet.ibm.com>
1356             Pat Haugen  <pthaugen@us.ibm.com>
1357             Revital Eres <ERES@il.ibm.com>
1358
1359         * config/rs6000/vector.md (VEC_F): Add VSX support.
1360         (VEC_A): Ditto.
1361         (VEC_N): Ditto.
1362         (mov<mode>): Ditto.
1363         (vector_load_<mode>): Ditto.
1364         (vector_store_<mode>): Ditto.
1365         (vector GPR move split): Ditto.
1366         (vec_reload_and_plus_<mptrsize>): Ditto.
1367         (vec_reload_and_reg_<mptrsize>): Ditto.
1368         (add<mode>3): Ditto.
1369         (sub<mode>3): Ditto.
1370         (mul<mode>3): Ditto.
1371         (neg<mode>2): Ditto.
1372         (abs<mode>2): Ditto.
1373         (smin<mode>3): Ditto.
1374         (smax<mode>3): Ditto.
1375         (vector_eq<mode>): Ditto.
1376         (vector_gt<mode>): Ditto.
1377         (vector_ge<mode>): Ditto.
1378         (vector_gtu<mode>): Ditto.
1379         (vector_select_<mode>_uns): Ditto.
1380         (vector_eq_<mode>_p): Ditto.
1381         (vector_gt_<mode>_p): Ditto.
1382         (vector_ge_<mode>_p): Ditto.
1383         (vector_gtu_<mode>_p): Ditto.
1384         (cr6_test_for_zero): Ditto.
1385         (cr6_test_for_zero_reverse): Ditto.
1386         (cr6_test_for_lt): Ditto.
1387         (cr6_test_for_lt_reverse): Ditto.
1388         (xor<mode>3): Ditto.
1389         (ior<mode>3): Ditto.
1390         (and<mode>3): Ditto.
1391         (one_cmpl<mode>2): Ditto.
1392         (nor<mode>2): Ditto.
1393         (andc<mode>2): Ditto.
1394         (float<VEC_int<mode>2): Ditto.
1395         (unsigned_float<VEC_int><mode>2): Ditto.
1396         (fix_trunc<mode><VEC_int>2): Ditto.
1397         (fixuns_trunc<mode><VEC_int>2): Ditto.
1398         (vec_init<mode>):
1399         (vec_set<mode>): Ditto.
1400         (vec_extract<mode>): Ditto.
1401         (vec_interleave_highv4sf): Ditto.
1402         (vec_interleave_lowv4sf): Ditto.
1403         (vec_realign_load_<mode>): Ditto.
1404         (vec_shl_<mode>): Ditto.
1405         (vec_shr_<mode>): Ditto.
1406         (div<mode>3): New patterns for VSX.
1407         (vec_interleave_highv2df): Ditto.
1408         (vec_interleave_lowv2df): Ditto.
1409         (vec_pack_trunc_v2df): Ditto.
1410         (vec_pack_sfix_trunc_v2df): Ditto.
1411         (vec_pack_ufix_trunc_v2df): Ditto.
1412         (vec_unpacks_hi_v4sf): Ditto.
1413         (vec_unpacks_lo_v4sf): Ditto.
1414         (vec_unpacks_float_hi_v4si): Ditto.
1415         (vec_unpacks_float_lo_v4si): Ditto.
1416         (vec_unpacku_float_hi_v4si): Ditto.
1417         (vec_unpacku_float_lo_v4si): Ditto.
1418         (movmisalign<mode>): Ditto.
1419         (vector_ceil<mode>2): New patterns for vectorizing math library.
1420         (vector_floor<mode>2): Ditto.
1421         (vector_btrunc<mode>2): Ditto.
1422         (vector_copysign<mode>3): Ditto.
1423
1424         * config/rs6000/predicates.md (easy_vector_constant_msb): New
1425         predicate for setting the high bit in each word, used for copysign.
1426
1427         * config/rs6000/ppc-asm.h (f19): Whitespace.
1428         (f32-f63): Define if VSX.
1429         (v0-v31): Define if Altivec.
1430         (vs0-vs63): Define if VSX.
1431
1432         * config/rs6000/t-rs6000 (MD_INCLUDES): Add power7.md and vsx.md.
1433
1434         * config/rs6000/power7.md: New file, provide tuning parameters for
1435         -mcpu=power7.
1436
1437         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Add VSX support.
1438         (rs6000_cpu_cpp_builtins): Ditto.
1439         (altivec_overloaded_builtins): Ditto.
1440         (altivec_resolve_overloaded_builtin): Ditto.
1441
1442         * config/rs6000/rs6000.opt (-mno-vectorize-builtins): Add new
1443         debug switch to disable vectorizing simple math builtin
1444         functions.
1445
1446         * config/rs6000/rs6000.c (rs6000_builtin_vectorized_function):
1447         Vectorize simple math builtin functions.
1448         (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Define target
1449         hook to vectorize math builtins.
1450         (rs6000_override_options): Enable -mvsx on -mcpu=power7.
1451         (rs6000_builtin_conversion): Add VSX/power7 support.
1452         (rs6000_builtin_vec_perm): Ditto.
1453         (vsplits_constant): Add support for loading up a vector constant
1454         with just the high bit set in each part.
1455         (rs6000_expand_vector_init): Add VSX/power7 support.
1456         (rs6000_expand_vector_set): Ditto.
1457         (rs6000_expand_vector_extract): Ditto.
1458         (rs6000_emit_move): Ditto.
1459         (bdesc_3arg): Ditto.
1460         (bdesc_2arg): Ditto.
1461         (bdesc_1arg): Ditto.
1462         (rs6000_expand_ternop_builtin): Ditto.
1463         (altivec_expand_builtin): Ditto.
1464         (rs6000_expand_unop_builtin): Ditto.
1465         (rs6000_init_builtins): Ditto.
1466         (altivec_init_builtins): Ditto.
1467         (builtin_function_type): Ditto.
1468         (rs6000_common_init_builtins): Ditto.
1469         (rs6000_handle_altivec_attribute); Ditto.
1470         (rs6000_mangle_type): Ditto.
1471         (rs6000_vector_mode_supported_p): Ditto.
1472         (rs6000_mode_dependent_address): Altivec addresses with AND -16
1473         are mode dependent.
1474
1475         * config/rs6000/vsx.md: New file for VSX support.
1476
1477         * config/rs6000/rs6000.h (EASY_VECTOR_MSB): New macro for
1478         identifing values with just the most significant bit set.
1479         (enum rs6000_builtins): Add builtins for VSX.  Add simple math
1480         vectorized builtins.
1481
1482         * config/rs6000/altivec.md (UNSPEC_VRFIP): Delete.
1483         (UNSPEC_VRFIM): Delete.
1484         (splitter for loading up vector with most significant bit): New
1485         splitter for vectorizing copysign.
1486         (altivec_vrfiz): Rename from altivec_fturncv4sf2.  Add support for
1487         vectorizing simple math functions.
1488         (altivec_vrfip): Add support for vectorizing simple math functions.
1489         (altivec_vrfim): Ditto.
1490         (altivec_copysign_v4sf3): New insn for Altivec copysign support.
1491
1492         * config/rs6000/rs6000.md (UNSPEC_BPERM): New constant.
1493         (power7.md, vsx.md): Include for power7 support.
1494         (copysigndf3): Use VSX instructions if -mvsx.
1495         (negdf2_fpr): Ditto.
1496         (absdf2_fpr): Ditto.
1497         (nabsdf2_fpr): Ditto.
1498         (adddf3_fpr): Ditto.
1499         (subdf3_fpr): Ditto.
1500         (muldf3_fpr): Ditto.
1501         (divdf3_fpr): Ditto.
1502         (fix_truncdfdi2_fpr): Ditto.
1503         (cmpdf_internal1): Ditto.
1504         (fred, fred_fpr): Convert into expander/insn to add VSX support.
1505         (btruncdf2, btruncdf2_fpr): Ditto.
1506         (ceildf2, ceildf2_fpr): Ditto.
1507         (floordf2, floordf2_fpr): Ditto.
1508         (floatdidf2, floatdidf2_fpr): Ditto.
1509         (fmadddf4_fpr): Name insn.  Use VSX instructions if -mvsx.
1510         (fmsubdf4_fpr): Ditto.
1511         (fnmadddf4_fpr_1): Ditto.
1512         (fnmadddf4_fpr_2): Ditto.
1513         (fnmsubdf4_fpr_1): Ditto.
1514         (fnmsubdf4_fpr_2): Ditto.
1515         (fixuns_truncdfdi2): Add expander for VSX support.
1516         (fix_truncdfdi2): Ditto.
1517         (fix_truncdfsi2): Ditto.
1518         (ftruncdf2): Ditto.
1519         (btruncsf2): Whitespace.
1520         (movdf_hardfloat32): Add support for VSX registers.
1521         (movdf_softfloat32): Ditto.
1522         (movdf_hardfloat64): Ditto.
1523         (movdf_hardfloat64_mfpgpr): Ditto.
1524         (movdf_softfloat64): Ditto.
1525         (movti splitters): Add check for vector registers supporting
1526         TImode in the future.
1527         (bpermd): Add power7 bpermd instruction.
1528
1529         * config/rs6000/altivec.h (vec_div): Define if VSX.
1530         (vec_mul): Ditto.
1531         (vec_msub): Ditto.
1532         (vec_nmadd): Ditto.
1533         (vec_nearbyint): Ditto.
1534         (vec_rint): Ditto.
1535         (vec_sqrt): Ditto.
1536         (all predicates): Use the generic builtin function, and not the V4SF
1537         specific function so that the predicates will work with VSX's V2DF.
1538         (vec_all_*): Ditto.
1539         (vec_any_*): Ditto.
1540
1541         * doc/extend.texi (PowerPC Altivec/VSX Built-in Functions):
1542         Document new VSX functions and types.
1543
1544         * doc/invoke.texi (PowerPc options): Document -mpopcntd, -mvsx
1545         switches.
1546
1547         * doc/md.texi (PowerPC constraints): Document "wd", "wf", "ws",
1548         "wa", and "j" constraints.  Modify "v" to talk about Altivec
1549         instead of just vector.
1550
1551 2009-07-30  Andrew MacLeod  <amacleod@redhat.com>
1552
1553         PR debug/26475
1554         * tree-into-ssa.c (insert_phi_nodes_for, rewrite_add_phi_arguments): Set
1555         location for phi arguments.
1556         (rewrite_update_phi_arguments): Find locations for reaching defs.
1557         * tree-ssa-threadupdate.c (create_edge_and_update_destination_phis):
1558         Add location to add_phi_arg calls.
1559         * tree-loop-districbution.c (update_phis_for_loop_copy): Add locations.
1560         * tree-ssa-loop-manip.c (create_iv, add_exit_phis_edge,
1561         split_loop_exit_edge, tree_transform_and_unroll_loop): Add locations.
1562         * tree-tailcall.c (add_successor_phi_arg, eliminate_tail_call,
1563         create_tailcall_accumulator, tree_optimize_tail_calls_1): Add locations.
1564         * tree.h (struct phi_arg_d): Add location_t to PHI arguments.
1565         * tree-phinodes.c (make_phi_node): Initialize location.
1566         (resize_phi_node): Initialize location to UNKNOWN_LOCATION.
1567         (add_phi_arg): Add location parameter.
1568         (remove_phi_arg_num): Move location when moving phi argument.
1569         * omp-low.c (expand_parallel_call, expand_omp_for_static_chunk): Set
1570         location.
1571         * tree-vect-loop-manip.c (slpeel_update_phis_for_duplicate_loop,
1572         slpeel_update_phi_nodes_for_guard1,
1573         slpeel_update_phi_nodes_for_guard2,
1574         slpeel_tree_duplicate_loop_to_edge_cfg, set_prologue_iterations,
1575         vect_loop_versioning): Set locations.
1576         * tree-parloops.c (create_phi_for_local_result,
1577         transform_to_exit_first_loop, create_parallel_loop): Add locations.
1578         * gimple-pretty-print.c (dump_gimple_phi): Dump lineno's if present.
1579         * tree-vect-loop.c (get_initial_def_for_induction,
1580         vect_create_epilog_for_reduction, vect_finalize_reduction): Add
1581         locations.
1582         * tree-flow-inline.h (gimple_phi_arg_location): New.  Return locus.
1583         (gimple_phi_arg_location_from_edge): New.  Return locus from an edge.
1584         (gimple_phi_arg_set_location): New.  Set locus.
1585         (gimple_phi_arg_has_location): New.  Check for locus.
1586         (redirect_edge_var_map_location): New.  Return locus from var_map.
1587         * tree-vect-data-refs.c (vect_setup_realignment): Set location.
1588         * tree-ssa-phiopt.c (conditional_replacement): Set locus when
1589         combining PHI arguments.
1590         (cond_store_replacement): Set location.
1591         * cfgexpand.c (gimple_assign_rhs_to_tree): Transfer locus if possible.
1592         * grpahite.c (add_loop_exit_phis, add_guard_exit_phis,
1593         scop_add_exit_phis_edge): Add locations.
1594         * tree-cfgcleanup.c (remove_forwarder_block,
1595         remove_forwarder_block_with_phi): Add locations.
1596         * tree-ssa-pre.c (insert_into_preds_of_block): Add locations.
1597         * tree-predcom.c (initialize_root_vars, initialize_root_vars_lm): Add
1598         locations.
1599         * tree-ssa-dce.c (forward_edge_to_pdom): Add locations.
1600         * tree-ssa.c (redirect_edge_var_map_add, ssa_redirect_edge,
1601         flush_pending_stmts): Add source location.
1602         * lambda-code.c (perfect_nestify): Maintain location stack with argument
1603         stack to preserve locations.
1604         * tree-vect-stmts.c (vectorizable_load): Add location.
1605         * tree-inline.c (copy_phis_for_bb): Copy locus.
1606         (setup_one_parameter): Add call locus to inlined parameter stmts.
1607         (initialize_inlined_parameters): Pass in call location as parameter
1608         assignment locus.
1609         (tree_function_versioning): Pass location to setup_one_parameter.
1610         * tree-ssa-phiprop.c (phiprop_insert_phi): Set locations.
1611         * tree-outof-ssa.c (struct _elim_graph): Add source_location vecs for
1612         copy and edge lists.
1613         (insert_partition_copy_on_edge, insert_value_copy_on_edge,
1614         insert_rtx_to_part_on_edge, insert_part_to_rtx_on_edge): Provide a
1615         locus parameter and override the stmt default if provided.
1616         (new_elim_graph, clear_elim_graph, delete_elim_graph,
1617         elim_graph_add_edge, elim_graph_remove_succ_edge,
1618         FOR_EACH_ELIM_GRAPH_SUCC, FOR_EACH_ELIM_GRAPH_PRED, eliminate_build,
1619         elim_forward, elim_unvisited_predecessor, elim_backward, elim_create,
1620         eliminate_phi):  Add locus info in elimination graph for each edge and
1621         value copy.
1622         (insert_backedge_copies): Copy locus if present.
1623         * tree-flow.h (struct _edge_var_map): Add locus field.
1624         * tree-switch_conversions.c (fix_phi_nodes): Add locations.
1625         * tree-cfg.c (reinstall_phi_args, gimple_make_forwarder_block,
1626         add_phi_args_after_copy_edge, gimple_lv_adjust_loop_header_phi): Add
1627         locations.
1628         * ipa-struct-reorg.c (make_edge_and_fix_phis_of_dest): Add locations.
1629
1630 2009-07-30  Martin Jambor  <mjambor@suse.cz>
1631
1632         PR tree-optimization/40570
1633         * ipa-inline.c (cgraph_decide_inlining): Watch out for dead single
1634         use inlining loops.
1635
1636 2009-07-30  Razya Ladelsky <razya@il.ibm.com>
1637
1638         * ssa-loop-manip.c: Include langhooks.h.
1639         (rewrite_phi_with_iv): New.
1640         (rewrite_all_phi_nodes_with_iv): New.
1641         (canonicalize_loop_ivs): Move here from tree-parloops.c.
1642         Remove reduction_list argument. Use rewrite_all_phi_nodes_with_iv.
1643         * tree-parloops.c (loop_parallel_p): Move out all conditions
1644         except dependency check.
1645         (canonicalize_loop_ivs): Move to tree-ssa-loop-manip.c.
1646         (gen_parallel_loop): Call canonicalize_loop_ivs without
1647         reduction_list argument.
1648         (build_new_reduction): New.
1649         (gather_scalar_reductions): New.
1650         (try_get_loop_niter): New.
1651         (try_create_reduction_list): New.
1652         (parallleize_loops): Change the parallel conditions check.
1653         * tree-flow.h (canonicalize_loop_ivs): Remove one argument.
1654         * Makefile.in (tree-ssa-loop-manip.o): Add langhooks.h dependency.
1655
1656 2009-07-30  Dave Korn  <dave.korn.cygwin@gmail.com>
1657
1658         * opt-functions.awk (opt_args): Allow argument to be enclosed in
1659         curly braces.
1660         * doc/options.texi (Option properties):  Mention new quoting syntax.
1661
1662 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1663
1664         * config/alpha/alpha.c (alpha_start_function):
1665         Handle VMS_DEBUG_MAIN_POINTER
1666         * config/alpha/vms.h (VMS_DEBUG_MAIN_POINTER): Define new macro.
1667         * doc/invoke.texi: Document -mdebug-main switch.
1668
1669 2009-07-29  Richard Henderson  <rth@redhat.com>
1670
1671         * cgraph.c (cgraph_set_call_stmt_including_clones): Tidy.
1672         (cgraph_create_edge_including_clones): Likewise.
1673         * tree-inline.c (copy_bb): Operate on the correct edges
1674         when updating the callgraph.
1675
1676 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1677
1678         * config/alpha/vms-cc.c: Deleted.
1679         * config/alpha/vms-ld.c: Deleted.
1680         * config/alpha/t-vms64: Moved to config/vms
1681         * config/alpha/vms-crt0-64.c: Moved to config/vms
1682         * config/alpha/vms-crt0.c: Moved to config/vms
1683         * config/alpha/vms-psxcrt0-64.c: Moved to config/vms
1684         * config/alpha/vms-psxcrt0.c: Moved to config/vms
1685         * config/alpha/xm-vms.h: Moved to config/vms
1686         * config/alpha/x-vms: Moved to config/vms
1687         * config/alpha/t-vms (vcrt0.o, pcrt0.o): Move rules to new file
1688         config/vms/t-vms.
1689         * config/vms/t-vms: Moved here from config/alpha. Alpha specific
1690         parts removed. (STMP_FIXPROTO, STMP_FIXINC, LIMITS_H_TEST): Set.
1691         (version): Set.
1692         * config/vms/t-vms64: Moved here from config/alpha
1693         * config/vms/vms-crt0-64.c: Moved here from config/alpha.
1694         (argc,argv,envp): Enforce 32bit malloc'ing.
1695         * config/vms/vms-psxcrt0-64.c: Likewise.
1696         * config/vms/vms-crt0.c: Moved here from config/alpha.
1697         * config/vms/vms-psxcrt0.c: Likewise.
1698         * config/vms/vms-crtl-64.h: New file.
1699         * config/vms/vms-crtl.h: New file.
1700         * config/vms/vms.opt: New file.
1701         * config/vms/xm-vms64.h: New file.
1702         * config/vms/xm-vms.h: Moved here from config/alpha.
1703         (STANARD_EXEC_PREFIX, STANDARD_STARTFILE_PREFIX, STANDARD_INCLUDE_DIR):
1704         Set.
1705         * config/vms/x-vms: Moved here from config/alpha.
1706         (version, VMS_EXTRA_PARTS): Moved to t-vms.
1707         (vms-ld.o, vms-cc.o): Removed.
1708         (LN, LN_S, USE_COLLECT2, POD2MAN): Set.
1709
1710 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1711
1712         * dwarf2out.c (add_name_and_src_coords_attributes): Push on the
1713         correct stack (obvious VMS fix).
1714
1715 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1716
1717         * dwarf2out.c (output_file_names): Output VMS style file name, size,
1718         date, version info if VMS_DEBUGGING_INFO defined.
1719         * vmsdgbout.c (vms_file_stats_name): New functon. VMS style file name,
1720         size, date calculating code moved here.
1721
1722 2009-07-29  Paul Brook  <paul@codesourcery.com>
1723
1724         * config/arm/lib1funcs.asm (clear_cache): Use ARM_FUNC_START and
1725         do_push/do_pop.
1726
1727 2009-07-29  Uros Bizjak  <ubizjak@gmail.com>
1728
1729         PR target/40577
1730         * config/alpha/alpha.c (alpha_expand_unaligned_store): Convert src
1731         to DImode when generating insq_le insn.
1732
1733 2009-07-28  Douglas B Rupp  <rupp@gnat.com>
1734
1735         * dwarf2out.c (DWARF2_INDIRECT_STRING_SUPPORT_MISSING_ON_TARGET):
1736         New macro set for VMS_DEBUGGGING_INFO.
1737         (AT_string_form): Use it.
1738
1739 2009-07-28  DJ Delorie  <dj@redhat.com>
1740
1741         * config/mep/mep.c (vtext_section): New.
1742         (vftext_section): New.
1743         (ftext_section): New.
1744         (mep_select_section): Add support for functions.
1745         (mep_unique_section): Likewise.
1746         (mep_asm_init_sections): Likewise.
1747         (mep_encode_section_info): Remove it from here.
1748
1749         * config/mep/mep.h (USE_SELECT_SECTION_FOR_FUNCTIONS): Define.
1750
1751 2009-07-28  Paolo Bonzini  <bonzinI@gnu.org>
1752
1753         * tree.h (TREE_DEPRECATED): Document it is used for types too.
1754         (TYPE_VECTOR_OPAQUE): Use default_def_flag
1755
1756 2009-07-28  Douglas B Rupp  <rupp@gnat.com>
1757
1758         * dwarf2out.c (output_file_names): Test new macro
1759         DWARF2_DIR_SHOULD_END_WITH_SEPARATOR.
1760         (add_comp_dir_attribute): Likewise.
1761
1762 2009-07-28  Kai Tietz  <kai.tietz@onevision.com>
1763
1764         * config/i386/mingw-w64.h (LINK_SPEC): Add
1765         separating space between commands.
1766
1767 2009-07-28  Jan Hubicka  <jh@suse.cz>
1768
1769         PR tree-optimization/40759
1770         * tree-ssa-dce.c (mark_virtual_phi_result_for_renaming): Mark all uses
1771         for renaming.
1772
1773 2009-07-27  DJ Delorie  <dj@redhat.com>
1774
1775         * config/mep/mep.c (mep_expand_builtin_saveregs): Make sure 64-bit
1776         types are dword-aligned.
1777         (mep_expand_va_start): Likewise.
1778
1779 2009-07-27  Olivier Hainque  <hainque@adacore.com>
1780             Douglas B Rupp  <rupp@gnat.com>
1781
1782         * convert.c (convert_to_pointer): Don't assume the target
1783         pointer type is POINTER_SIZE long. Fetch its precision instead.
1784
1785 2009-07-27  Douglas B Rupp  <rupp@gnat.com>
1786
1787         * system.h (fopen): Undefine if macro.
1788
1789 2009-07-27  Jakub Jelinek  <jakub@redhat.com>
1790
1791         * dwarf2out.c (output_cfi_p): Removed.
1792         (output_cfis): New function.
1793         (output_fde): New function, split from output_call_frame_info.
1794         (output_call_frame_info): Use it.
1795         (dwarf2out_switch_text_section): Use output_cfis.
1796
1797 2009-07-24  Kai Tietz  <kai.tietz@onevision.com>
1798
1799         * config/i386/cygming.h (DWARF2_UNWIND_INFO): Error build when
1800         TARGET_BI_ARCH is specified without enabling SJLJ.
1801         * config/i386/mingw32.h (MD_UNWIND_SUPPORT): Define MD_UNWIND_SUPPORT,
1802         if TARGET_64BIT and TARGET_BI_ARCH aren't defined.
1803
1804 2009-07-26  Mikael Pettersson <mikpe@it.uu.se>
1805
1806         * arm.md (negdi2): Use DImode if forcing a value into a register.
1807
1808 2009-07-26  Ira Rosen  <irar@il.ibm.com>
1809
1810         PR tree-optimization/40801
1811         * tree-vect-stmts.c (vectorizable_call): Get previous copy
1812         of vector operand from the previous copy of vector statement.
1813         Pass the correct definition type value to
1814         vect_get_vec_def_for_stmt_copy().
1815
1816 2009-07-25  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1817
1818         * collect2.c (scan_libraries): Use CONST_CAST2 to perform char ** to
1819         const char ** conversion.
1820
1821 2009-07-25 David Daney <ddaney@caviumnetworks.com>
1822
1823         * system.h (gcc_assert): Invoke __builtin_unreachable() instead of
1824         fancy_abort() if !ENABLE_ASSERT_CHECKING.
1825         (gcc_unreachable): Invoke __builtin_unreachable() if
1826         !ENABLE_ASSERT_CHECKING.
1827
1828 2009-07-25  David Daney  <ddaney@caviumnetworks.com>
1829
1830         PR rtl-optimization/40445
1831         * emit-rtl.c (next_nonnote_insn_bb): New function.
1832         * rtl.h (next_nonnote_insn_bb): Declare new function.
1833         * cfgcleanup.c (try_optimize_cfg): Don't remove an empty block
1834         with no successors that is the successor of the ENTRY_BLOCK.
1835         Continue from the top after removing an empty fallthrough block.
1836         * cfgrtl.c (get_last_bb_insn): Call next_nonnote_insn_bb instead
1837         of next_nonnote_insn.
1838
1839 2009-07-25  David Daney  <ddaney@caviumnetworks.com>
1840
1841         * cfgcleanup.c (old_insns_match_p): Handle the case of empty blocks.
1842
1843 2009-07-25  Martin Jambor  <mjambor@suse.cz>
1844
1845         * c-common.c (c_common_attribute_table): New element for noclone.
1846         (handle_noclone_attribute): New function. Forward-declare.
1847         * tree-inline.c (tree_versionable_function_p): Check for noclone
1848         attribute.
1849         * doc/extend.texi (Labels as Values): Document need for noclone.
1850         (Function Attributes): Document noclone attribute.
1851
1852 2009-07-25  Jakub Jelinek  <jakub@redhat.com>
1853
1854         PR rtl-optimization/34999
1855         * dwarf2out.c (struct dw_fde_struct): Add dw_fde_switch_cfi
1856         and dw_fde_switched_cold_to_hot fields.
1857         (output_cfi_p): New function.
1858         (output_call_frame_info): If fde->dw_fde_switched_sections,
1859         output 2 FDEs instead of one with corrupted header.
1860         (dwarf2out_do_cfi_startproc): New function.
1861         (dwarf2out_begin_prologue): Use it.  Initialize fde->dw_fde_switch_cfi
1862         and fde->dw_fde_switched_cold_to_hot.
1863         (dwarf2out_switch_text_section): Compute
1864         fde->dw_fde_switched_cold_to_hot.  Switch to new text section here.
1865         If dwarf2out_do_cfi_asm, emit .cfi_endproc before it and call
1866         dwarf2out_do_cfi_startproc plus emit again currently active CFI insns.
1867         Otherwise, compute fde->dw_fde_switch_cfi.
1868
1869 2009-07-24  Cary Coutant  <ccoutant@google.com>
1870
1871         * tree-cfg.c (assign_discriminator): Add explicit parentheses.
1872
1873 2009-07-24  Cary Coutant  <ccoutant@google.com>
1874
1875         * cfghooks.c (split_block): Copy discriminator to new block.
1876         * tree-cfg.c (assign_discriminator): Check location of last
1877         instruction in block as well as first.
1878
1879 2009-07-24  Uros Bizjak  <ubizjak@gmail.com>
1880
1881         * config/i386/linux.c: Use fputs or putc instead of fprintf
1882         where appropriate.
1883         * config/i386/gas.h: Ditto.
1884         * config/i386/x86-64.h: Ditto.
1885         * config/i386/att.h: Ditto.
1886
1887 2009-07-24  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1888
1889         * expmed.c (emit_store_flag): Use a recursive call to optimize the
1890         xor case.
1891
1892 2009-07-24  Martin Jambor  <mjambor@suse.cz>
1893
1894         * ipa-prop.h (struct ipa_node_params): New flag node_enqued.
1895         (ipa_push_func_to_list_1): Declare.
1896         (ipa_push_func_to_list): New function.
1897
1898         * ipa-prop.c (ipa_push_func_to_list_1): New function.
1899         (ipa_init_func_list): Call ipa_push_func_to_list_1.
1900         (ipa_push_func_to_list): Removed.
1901         (ipa_pop_func_from_list): Clear node_enqueued flag.
1902
1903 2009-07-24  Andreas Krebbel  <krebbel1@de.ibm.com>
1904
1905         * config/s390/s390.c (override_options): Default
1906         max-unrolled-insns to 100 for z10 tuning.
1907
1908 2009-07-24  Tobias Grosser  <grosser@fim.uni-passau.de>
1909
1910         * Makefile.in (TREE_DATA_REF_H, tree-vrp.o, tree-cfg.o, tree-if-conv.o
1911         tree-ssa-loop.o, tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o,
1912         tree-ssa-loop-prefetch.o, tree-predcom.o, tree-affine.o,
1913         tree-scalar-evolution.o, tree-data-ref.o, tree-vect-loop.o,
1914         tree-vect-data-refs.o, tree-loop-linear.o, tree-loop-distribution.o
1915         tree-parloops.o, tree-pretty-printer.o, fold-const.o, tree-ssa-dce.o,
1916         lambda-code.o, params.o): Cleanup use of SCEV_H and TREE_DATA_REF_H.
1917
1918 2009-07-24  Kai Tietz  <kai.tietz@onevision.com>
1919
1920         * config/i386/mingw-w64.h (STANDARD_INCLUDE_DIR): Remove and
1921         use default set in mingw32.h header.
1922         * config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Use for 32-bit and
1923         64-bit /mingw/include path.
1924         (STANDARD_STARTFILE_PREFIX_1): Use for 32-bit and 64-bit /mingw/lib
1925         path.
1926
1927 2009-07-23  Neil Vachharajani  <nvachhar@google.com>
1928
1929         PR rtl-optimization/40209
1930         * loop-iv.c (iv_analysis_loop_init): Call df_note_add_problem.
1931
1932 2009-07-23  Uros Bizjak  <ubizjak@gmail.com>
1933
1934         * config/i386/i386.c: Use ASM_LONG instead of .long.  Concatenate
1935         ASM_LONG, LPREFIX, MCOUNT_NAME and PROFILE_COUNT_REGISTER strings
1936         with the rest of string where appropriate.  Use fputs or putc
1937         instead of fprintf where appropriate.
1938
1939 2009-07-22  Michael Meissner  <meissner@linux.vnet.ibm.com>
1940             Pat Haugen  <pthaugen@us.ibm.com>
1941             Revital Eres <ERES@il.ibm.com>
1942
1943         * config/rs6000/vector.md: New file.  Move most of the vector
1944         expander support here from altivec.md to allow for the VSX vector
1945         unit in the future.  Add support for secondary_reload patterns.
1946         Rewrite the patterns for vector comparison, and vector comparison
1947         predicate instructions so that the RTL expresses the desired
1948         behavior, instead of using unspec.
1949
1950         * config/rs6000/constraints.md ("f" constraint): Use
1951         rs6000_constraints to hold the precalculated register class.
1952         ("d" constraint): Ditto.
1953         ("wd" constraint): New constraint for VSX.
1954         ("wf" constraint): Ditto.
1955         ("ws" constraint): Ditto.
1956         ("wa" constraint): Ditto.
1957         ("wZ" constraint): Ditto.
1958         ("j" constraint): Ditto.
1959
1960         * config/rs6000/predicates.md (vsx_register_operand): New
1961         predicate for VSX.
1962         (vfloat_operand): New predicate for vector.md.
1963         (vint_operand): Ditto.
1964         (vlogical_operand): Ditto.
1965         (easy_fp_constant): If VSX, 0.0 is an easy constant.
1966         (easy_vector_constant): Add VSX support.
1967         (altivec_indexed_or_indirect_operand): New predicate for
1968         recognizing Altivec style memory references with AND -16.
1969
1970         * config/rs6000/rs6000.c (rs6000_vector_reload): New static global
1971         for vector secondary reload support.
1972         (rs6000_vector_reg_class): Delete, replacing it with
1973         rs6000_constraints.
1974         (rs6000_vsx_reg_class): Ditto.
1975         (rs6000_constraints): New array to hold the register classes of
1976         each of the register constraints that can vary at runtime.
1977         (builtin_mode_to_type): New static array for builtin function type
1978         creation.
1979         (builtin_hash_table): New static hash table for builtin function
1980         type creation.
1981         (TARGET_SECONDARY_RELOAD): Define target hook.
1982         (TARGET_IRA_COVER_CLASSES): Ditto.
1983         (rs6000_hard_regno_nregs_internal): If -mvsx, floating point
1984         registers are 128 bits if VSX memory reference instructions are used.
1985         (rs6000_hard_regno_mode_ok): For VSX, only check if the VSX memory
1986         unit is being used.
1987         (rs6000_debug_vector_unit): Move into rs6000_debug_reg_global.
1988         (rs6000_debug_reg_global): Move -mdebug=reg statements here.
1989         Print several of the scheduling related parameters.
1990         (rs6000_init_hard_regno_mode_ok): Switch to putting constraints in
1991         rs6000_constraints instead of rs6000_vector_reg_class.  Move
1992         -mdebug=reg code to rs6000_debug_reg_global.  Add support for
1993         -mvsx-align-128 debug switch.  Drop testing float_p if VSX or
1994         Altivec.  Add VSX support.  Setup for secondary reload support on
1995         Altivec/VSX registers.
1996         (rs6000_override_options): Make power7 set the scheduling groups
1997         like the power5.  Add support for new debug switches to override
1998         the scheduling defaults.  Temporarily disable -mcpu=power7 from
1999         setting -mvsx.  Add support for debug switches -malways-hint,
2000         -msched-groups, and -malign-branch-targets.
2001         (rs6000_buitlin_conversion): Add support for returning unsigned
2002         vector conversion functions to fix regressions due to stricter
2003         type checking.
2004         (rs6000_builtin_mul_widen_even): Ditto.
2005         (rs6000_builtin_mul_widen_odd): Ditto.
2006         (rs6000_builtin_vec_perm): Ditto.
2007         (rs6000_vec_const_move): On VSX, use xxlxor to clear register.
2008         (rs6000_expand_vector_init): Initial VSX support for using xxlxor
2009         to zero a register.
2010         (rs6000_emit_move): Fixup invalid const symbol_ref+reg that is
2011         generated upstream.
2012         (bdesc_3arg): Add builtins for unsigned types.  Add builtins for
2013         VSX types for bit operations.  Changes to accomidate vector.md.
2014         (bdesc_2arg): Ditto.
2015         (bdesc_1arg): Ditto.
2016         (struct builtin_description_predicates): Rewrite predicate
2017         handling so that RTL describes the operation, instead of passing
2018         the instruction to be used as a string argument.
2019         (bdesc_altivec_preds): Ditto.
2020         (altivec_expand_predicate_builtin): Ditto.
2021         (altivec_expand_builtin): Ditto.
2022         (rs6000_expand_ternop_builtin): Use a switch instead of an if
2023         statement for vsldoi support.
2024         (altivec_expand_ld_builtin): Change to use new names from vector.md.
2025         (altivec_expand_st_builtin): Ditto.
2026         (paired_expand_builtin): Whitespace changes.
2027         (rs6000_init_builtins): Add V2DF/V2DI types.  Initialize the
2028         builtin_mode_to_type table for secondary reload.  Call
2029         builtin_function_type to build random builtin functions.
2030         (altivec_init_builtins): Change to use builtin_function_type to
2031         create builtin function types dynamically as we need them.
2032         (builtin_hash_function): New support for hashing the tree types
2033         for builtin function as we need it, rather than trying to build
2034         all of the trees that we need.  Add initial preliminary VSX support.
2035         (builtin_function_type): Ditto.
2036         (builtin_function_eq): Ditto.
2037         (builtin_hash_struct): Ditto.
2038         (rs6000_init_builtins): Ditto.
2039         (rs6000_common_init_builtins): Ditto.
2040         (altivec_init_builtins): Ditto.
2041         (rs6000_common_init_builtins): Ditto.
2042         (enum reload_reg_type): New enum for simplifing reg classes.
2043         (rs6000_reload_register_type): Simplify register classes into GPR,
2044         Vector, and other registers.  Altivec and VSX addresses in reload.
2045         (rs6000_secondary_reload_inner): Ditto.
2046         (rs6000_ira_cover_classes): New target hook, that returns the
2047         appropriate cover classes, based on -mvsx being used or not.
2048         (rs6000_secondary_reload_class): Add VSX support.
2049         (get_vec_cmp_insn): Delete, rewrite vector conditionals.
2050         (get_vsel_insn): Ditto.
2051         (rs6000_emit_vector_compare): Rewrite vector conditional support
2052         so that where we can, we use RTL operators, instead of blindly use
2053         UNSPEC.
2054         (rs6000_emit_vector_select): Ditto.
2055         (rs6000_emit_vector_cond_expr): Ditto.
2056         (rs6000_emit_minmax): Directly generate min/max under altivec, vsx.
2057         (create_TOC_reference): Add -mdebug=addr support.
2058         (emit_frame_save): VSX loads/stores need register indexed addressing.
2059
2060         * config/rs6000/rs6000.md: Include vector.md.
2061
2062         * config/rs6000/t-rs6000 (MD_INCLUDES): Add vector.md.
2063
2064         * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
2065         support for V2DI, V2DF in logical, permute, select operations.
2066
2067         * config/rs6000/rs6000.opt (-mvsx-scalar-double): Add new debug
2068         switch for vsx/power7.
2069         (-mvsx-scalar-memory): Ditto.
2070         (-mvsx-align-128): Ditto.
2071         (-mallow-movmisalign): Ditto.
2072         (-mallow-df-permute): Ditto.
2073         (-msched-groups): Ditto.
2074         (-malways-hint): Ditto.
2075         (-malign-branch-targets): Ditto.
2076
2077         * config/rs6000/rs6000.h (IRA_COVER_CLASSES): Delete, use target
2078         hook instead.
2079         (IRA_COVER_CLASSES_PRE_VSX): Cover classes if not -mvsx.
2080         (IRA_COVER_CLASSES_VSX): Cover classes if -mvsx.
2081         (rs6000_vector_reg_class): Delete.
2082         (rs6000_vsx_reg_class): Ditto.
2083         (enum rs6000_reg_class_enum): New enum for the constraints that
2084         vary based on target switches.
2085         (rs6000_constraints): New array to hold the register class for all
2086         of the register constraints that vary based on the switches used.
2087         (ALTIVEC_BUILTIN_*_UNS): Add unsigned builtin functions.
2088         (enum rs6000_builtins): Add unsigned varients for the builtin
2089         declarations returned by target hooks for expanding multiplies,
2090         select, and permute operations.  Add VSX builtins.
2091         (enum rs6000_builtin_type_index): Add entries for VSX.
2092         (V2DI_type_node): Ditto.
2093         (V2DF_type_node): Ditto.
2094         (unsigned_V2DI_type_node): Ditto.
2095         (bool_long_type_node): Ditto.
2096         (intDI_type_internal_node): Ditto.
2097         (uintDI_type_internal_node): Ditto.
2098         (double_type_internal_node): Ditto.
2099
2100         * config/rs6000/altivec.md (whole file): Move all expanders to
2101         vector.md from altivec.md.  Rename insn matching functions to be
2102         altivec_foo.
2103         (UNSPEC_VCMP*): Delete, rewrite vector comparisons.
2104         (altivec_vcmp*): Ditto.
2105         (UNSPEC_VPERM_UNS): New, add for unsigned types using vperm.
2106         (VM): New iterator for moves that includes the VSX types.
2107         (altivec_vperm_<mode>): Add VSX types.  Add unsigned types.
2108         (altivec_vperm_<mode>_uns): New, for unsigned types.
2109         (altivec_vsel_*): Rewrite vector comparisons and predicate builtins.
2110         (altivec_eq<mode>): Ditto.
2111         (altivec_gt<mode>): Ditto.
2112         (altivec_gtu<mode>): Ditto.
2113         (altivec_eqv4sf): Ditto.
2114         (altivec_gev4sf): Ditto.
2115         (altivec_gtv4sf): Ditto.
2116         (altivec_vcmpbfp_p): Ditto.
2117
2118 2009-07-23  Richard Earnshaw  <rearnsha@arm.com>
2119
2120         * arm.md (split for ior/xor with shift and zero-extend): Cast op3 to
2121         unsigned HWI.
2122
2123 2009-07-23  Uros Bizjak  <ubizjak@gmail.com>
2124
2125         PR target/40832
2126         * config/i386/i386.c (output_387_ffreep): Rewrite to use
2127         ASM_SHORT instead of .word.
2128         * config/i386/i386.md (*tls_global_dynamic_64): Use ASM_SHORT
2129         instead of .word in asm template.
2130
2131 2009-07-22  Vladimir Makarov  <vmakarov@redhat.com>
2132
2133         PR target/37488
2134         * ira-lives.c (bb_has_abnormal_call_pred): New function.
2135         (process_bb_node_lives): Use it.
2136
2137         * ira.c (setup_cover_and_important_classes): Don't setup
2138         ira_important_class_nums.  Add cover classes to the end of
2139         important classes.
2140         (cover_class_order, comp_reg_classes_func, reorder_important_classes):
2141         New.
2142         (find_reg_class_closure): Use reorder_important_classes.
2143
2144         * config/i386/i386.h (IRA_COVER_CLASSES): Remove.
2145
2146         * config/i386/i386.c (i386_ira_cover_classes): New function.
2147         (TARGET_IRA_COVER_CLASSES): Redefine.
2148
2149         * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Add a comment about
2150         importance of order of cover classes in the array.
2151
2152 2009-07-22  Diego Novillo  <dnovillo@google.com>
2153
2154         * tree-pass.h (TDF_EH): Define.
2155         * gimple-pretty-print.c (dump_gimple_stmt): If FLAGS
2156         contains TDF_EH, print the EH region number holding GS.
2157         * tree-dump.c (dump_options): Add "eh".
2158         * doc/invoke.texi: Document it.
2159
2160 2009-07-22  Doug Kwan  <dougkwan@google.com>
2161
2162         * config/arm/arm.md (subdi3) Copy non-reg values to DImode registers.
2163
2164 2009-07-22  Michael Matz  <matz@suse.de>
2165
2166         PR tree-optimization/35229
2167         PR tree-optimization/39300
2168
2169         * tree-ssa-pre.c (includes): Include tree-scalar-evolution.h.
2170         (inhibit_phi_insertion): New function.
2171         (insert_into_preds_of_block): Call it for REFERENCEs.
2172         (init_pre): Initialize and finalize scalar evolutions.
2173         * Makefile.in (tree-ssa-pre.o): Depend on tree-scalar-evolution.h .
2174
2175 2009-07-22  Uros Bizjak  <ubizjak@gmail.com>
2176
2177         * config/i386/predicates.md (zero_extended_scalar_load_operand):
2178         Use CONST_VECTOR_NUNITS to determine number of elements.
2179
2180 2009-07-22  Andreas Krebbel  <krebbel1@de.ibm.com>
2181
2182         * config/s390/constraints.md (ZQ, ZR, ZS, ZT): New constraints.
2183         (U, W): Constraints are now deprecated and will be removed if we
2184         run out of letters.
2185         * config/s390/s390.md (U, W): Replaced with ZQZR, ZSZT throughout
2186         the file.
2187         ("prefetch"): Add the stcmh instruction for prefetching.
2188         * config/s390/s390.c (s390_symref_operand_p): Function moved. No
2189         changes.
2190         (s390_short_displacement): Return always true if compiling for
2191         machines not providing the long displacement facility.
2192         (s390_mem_constraint): Support the new constraint letter Z.
2193         (s390_check_qrst_address): New function.
2194
2195 2009-07-21  DJ Delorie  <dj@redhat.com>
2196
2197         * config/mep/mep.c (mep_legitimize_arg): Leave control registers
2198         alone too.
2199
2200 2009-07-21  Jason Merrill  <jason@redhat.com>
2201
2202         * c-common.c (max_tinst_depth): Increase default to 1024.
2203
2204 2009-07-21  Uros Bizjak  <ubizjak@gmail.com>
2205
2206         * config/i386/sse.md (vec_unpacku_float_hi_v4si): New expander.
2207         (vec_unpacku_float_lo_v4si): Ditto.
2208
2209 2009-07-21  Uros Bizjak  <ubizjak@gmail.com>
2210
2211         PR target/40811
2212         * config/i386/sse.md (sse2_cvtudq2ps): New expander.
2213         (enum ix86_builtins): Add IX86_BUILTIN_CVTUDQ2PS.
2214         (builtin_description): Add __builtin_ia32_cvtudq2ps.
2215         (ix86_vectorize_builtin_conversion): Handle IX86_BUILTIN_CVTUDQ2PS.
2216
2217 2009-07-21  Jakub Jelinek  <jakub@redhat.com>
2218
2219         PR tree-optimization/40813
2220         * tree-inline.c (copy_bb): Regimplify RHS after last stmt, not before
2221         it.
2222
2223 2009-07-21  Kaz Kojima  <kkojima@gcc.gnu.org>
2224
2225         * config/sh/sh.c (sh_gimplify_va_arg_expr): Wrap the result
2226         with a NOP_EXPR if needed.
2227
2228 2009-07-21  Paul Brook <paul@codesourcery.com>
2229
2230         * tree-vectorizer.c (increase_alignment): Handle nested arrays.
2231         Terminate debug dump with newline.
2232
2233 2009-07-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2234
2235         * pa.c (compute_zdepwi_operands): Limit deposit length to 32 - lsb.
2236         Cast "1" to unsigned HOST_WIDE_INT.
2237         (compute_zdepdi_operands): Limit maximum length to 64 bits.  Limit
2238         deposit length to the maximum length - lsb.  Extend length if
2239         HOST_BITS_PER_WIDE_INT is 32.
2240
2241 2009-07-20  Olatunji Ruwase <tjruwase@google.com>
2242
2243         * cgraph.h (constant_pool_htab): New function.
2244         (constant_descriptor_tree): Move from varasm.c.
2245         * varasm.c (constant_pool_htab): New function.
2246         (constant_descriptor_tree): Move to cgraph.h.
2247
2248 2009-07-20  Olatunji Ruwase  <tjruwase@google.com>
2249
2250         * toplev.c: Invoke FINISH_UNIT callbacks before call to finalize().
2251
2252 2009-07-20  Shujing Zhao  <pearly.zhao@oracle.com>
2253
2254         * Makefile.in (TREE_INLINE_H, tree-inline.o, cgraph.o): Remove
2255         $(VARRAY_H).
2256
2257 2009-07-20  Xinliang David Li  <davidxl@google.com>
2258
2259         * dbgcnt.c (dbg_cnt_set_limit_by_name): Add length check.
2260
2261 2009-07-20  Adam Nemet  <anemet@caviumnetworks.com>
2262
2263         * config/mips/mips.md (move_type): Add arith.
2264         (type): Handle arith.
2265         (zero_extendsidi2): Rename this into ...
2266         (*zero_extendsidi2): ... this.  Don't match if ISA_HAS_EXT_INS.
2267         (zero_extendsidi2): New expander.
2268         (*zero_extendsidi2_dext): New pattern.
2269
2270 2009-07-20  Nick Clifton  <nickc@redhat.com>
2271
2272         * config.gcc (mips64-*-*): Add definition of tm_defines in order
2273         to set MIPS_ABI_DEFAULT.
2274         * config/mips/vr.h (MIPS_ABI_DEFAULT): Remove definition.
2275
2276 2009-07-20  Jakub Jelinek  <jakub@redhat.com>
2277
2278         * tree-object-size.c (addr_object_size): Handle unions with
2279         array in it as last field of structs in __bos (, 1) as __bos (, 0).
2280
2281         PR tree-optimization/40792
2282         * tree.c (build_function_type_skip_args): Remove bogus assert.
2283
2284 2009-07-20  Jan Hubicka  <jh@suse.cz>
2285             Martin Jambor  <mjambor@suse.cz>
2286
2287         * cgraph.h (combined_args_to_skip): New field.
2288         * cgraph.c (cgraph_create_virtual_clone): Properly handle
2289         combined_args_to_skip and args_to_skip.
2290         * tree-inline.c (update_clone_info): New function.
2291         (tree_function_versioning): Call update_clone_info.
2292         * cgraphunit.c: (cgraph_materialize_clone): Dump materialized
2293         functions.
2294         (cgraph_materialize_all_clones): More extensive dumping, working
2295         with combined_args_to_skip rather than args_to_skip.
2296
2297 2009-07-20  Ira Rosen  <irar@il.ibm.com>
2298
2299         * tree-vectorizer.h (vectorizable_condition): Add parameters.
2300         * tree-vect-loop.c (vect_is_simple_reduction): Support COND_EXPR.
2301         (get_initial_def_for_reduction): Likewise.
2302         (vectorizable_reduction): Skip the check of first operand in case
2303         of COND_EXPR. Add check that it is outer loop vectorization if
2304         nested cycle was detected. Call vectorizable_condition() for
2305         COND_EXPR. If reduction epilogue cannot be created do not fail for
2306         nested cycles (if it is not double reduction). Assert that there
2307         is only one type in the loop in case of COND_EXPR. Call
2308         vectorizable_condition() to vectorize COND_EXPR.
2309         * tree-vect-stmts.c (vectorizable_condition): Update comment.
2310         Add parameters. Allow nested cycles if called from
2311         vectorizable_reduction(). Use reduction vector variable if provided.
2312         (vect_analyze_stmt): Call vectorizable_reduction() before
2313         vectorizable_condition().
2314         (vect_transform_stmt): Update call to vectorizable_condition().
2315
2316 2009-07-20  Christian Bruel  <christian.bruel@st.com>
2317
2318         * config/sh/sh.opt (-mfmovd): Resurrect and document.
2319         * doc/invoke.texi (-mfmovd): Likewise.
2320         * config/sh/sh.h (TARGET_FMOVD, MASK_FMOVD): Remove default setting.
2321
2322 2009-07-20  Jan Hubicka  <jh@suse.cz>
2323
2324         * tree-ssa-dce.c (remove_dead_phis): Only look for abnormal PHIs
2325         when handling SSA name.
2326
2327 2009-07-19  Jan Hubicka  <jh@suse.cz>
2328
2329         PR tree-optimization/40676
2330         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
2331         virtual PHIs in empty BBs.
2332
2333 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2334
2335         * combine.c (make_compound_operation) <SUBREG>: If force_to_mode
2336         re-expanded the compound use gen_lowpart instead to convert to the
2337         desired mode.
2338
2339 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2340
2341         * combine.c (try_widen_shift_mode): Add COUNT, OUTER_CODE and
2342         OUTER_CONST arguments.
2343         <LSHIFTRT>: Use them to allow widening if the bits shifted in from
2344         the new wider mode will be masked off.
2345         (simplify_shift_const_1): Adjust calls to try_widen_shift_mode.
2346
2347 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2348
2349         * combine.c (try_widen_shift_mode) <LSHIFTRT>: Allow widening if the
2350         high-order bits are zero.
2351
2352 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2353
2354         * combine.c (simplify_shift_const_1): Split code to determine
2355         shift_mode into ...
2356         (try_widen_shift_mode): ... here.  Allow widening for ASHIFTRT if the
2357         new bits shifted in are identical to the old sign bit.
2358
2359 2009-07-18  Richard Guenther  <rguenther@suse.de>
2360
2361         PR c/40787
2362         * gimplify.c (gimplify_call_expr): Reject code using results from
2363         functions returning void.
2364
2365 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
2366
2367         * doc/md.texi: Document the new PowerPC "es" constraint.
2368         Document that "m" can include automodified addresses on this target,
2369         and explain how %U must be used.  Extend the "Q" and "Z" documentation
2370         to suggest "es" as well as "m".
2371         * config/rs6000/constraints.md (es): New memory constraint.
2372         (Q, Z): Update strings to match new documentation.
2373
2374 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
2375
2376         * config/rs6000/rs6000.c (rs6000_mode_dependent_address): Allow any
2377         offset from virtual_stack_vars_rtx and arg_pointer_rtx.
2378         * config/rs6000/predicates.md (volatile_mem_operand): Use
2379         offsettable_nonstrict_memref_p.
2380         * config/rs6000/rs6000.md (*floatsidf2_internal): Remove split check.
2381         (*floatunssidf2_internal): Likewise.
2382         (*fix_truncdfsi2_internal): Likewise.
2383         (*fix_trunctfsi2_internal): Likewise.
2384
2385 2009-07-17  Anatoly Sokolov  <aesok@post.ru>
2386
2387         * config/avr/avr-devices.c (avr_mcu_t): Add atmega8u2, atmega16u2 and
2388         atmega32u2 devices.
2389         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
2390
2391 2009-07-17  Richard Guenther  <rguenther@suse.de>
2392
2393         PR c/40401
2394         * tree-pass.h (pass_diagnose_omp_blocks): Declare.
2395         (pass_warn_unused_result): Likewise.
2396         (TODO_set_props): Remove.
2397         * omp-low.c (diagnose_omp_structured_block_errors): Change to
2398         run as a pass.
2399         (pass_diagnose_omp_blocks): Define.
2400         * c-decl.c (pop_file_scope): Do not finalize the CU here.
2401         (c_gimple_diagnostics_recursively): Remove.
2402         (finish_function): Do not call it.
2403         (c_write_global_declarations): Continue after errors.
2404         Finalize the CU here.
2405         * c-gimplify.c (c_genericize): Do not gimplify here.
2406         * c-common.c (c_warn_unused_result): Move ...
2407         * tree-cfg.c (do_warn_unused_result): ... here.
2408         (run_warn_unused_result): New function.
2409         (gate_warn_unused_result): New function.
2410         (pass_warn_unused_result): New pass.
2411         * c-common.h (c_warn_unused_result): Remove.
2412         * flags.h (flag_warn_unused_result): Declare.
2413         * c-opts.c (c_common_init_options): Enable flag_warn_unused_result.
2414         * opts.c (flag_warn_unused_result): Initialize to false.
2415         * toplev.c (compile_file): Add comment.
2416         * omp-low.c (create_omp_child_function): Do not register
2417         the function with the frontend.
2418         (diagnose_omp_structured_block_errors): Prepare to be
2419         called as optimization pass.
2420         (gate_diagnose_omp_blocks): New function.
2421         (pass_diagnose_omp_blocks): New pass.
2422         * cgraph.h (cgraph_optimize): Remove.
2423         (cgraph_analyze_function): Likewise.
2424         * cgraph.c (cgraph_add_new_function): Gimplify C++ thunks.
2425         * cgraphunit.c (cgraph_lower_function): Lower nested functions
2426         before their parents here.
2427         (cgraph_finalize_function): Not here.
2428         (cgraph_analyze_function): Gimplify functions here.
2429         (cgraph_finalize_compilation_unit): Continue after errors.
2430         Optimize the callgraph from here.
2431         (cgraph_optimize): Make static.
2432         * langhooks.c (write_global_declarations): Finalize the CU.
2433         * gimplify.c (gimplify_asm_expr): Do not emit ASMs with errors.
2434         (gimplify_function_tree): Assert we gimplify only once.
2435         Set PROP_gimple_any property.
2436         * tree-nested.c (gimplify_all_functions): New function.
2437         (lower_nested_functions): Gimplify all nested functions.
2438         * gimple.h (diagnose_omp_structured_block_errors): Remove.
2439         * passes.c (init_optimization_passes): Add pass_warn_unused_result
2440         and pass_diagnose_omp_blocks after gimplification.  Do not
2441         set TODO_set_props on all_lowering_passes.
2442         (execute_one_pass): Do not handle TODO_set_props.
2443         * Makefile.in (cgraphunit.o): Add $(TREE_DUMP_H) dependency.
2444         (gimplify.o): Add tree-pass.h dependency.
2445         * tree-inline.c (copy_statement_list): Properly copy STATEMENT_LIST.
2446         (copy_tree_body_r): Properly handle TARGET_EXPR like SAVE_EXPR.
2447         (unsave_r): Likewise.
2448         * c-omp.c (c_finish_omp_atomic): Set DECL_CONTEXT on the
2449         temporary variable.
2450
2451 2009-07-17  Sandra Loosemore  <sandra@codesourcery.com>
2452
2453         * doc/service.texi (Service): Restore previously removed link,
2454         which isn't broken after all.
2455
2456 2009-07-17  Richard Guenther  <rguenther@suse.de>
2457
2458         PR tree-optimization/40321
2459         * tree-ssa-pre.c (add_to_exp_gen): Also add names defined by
2460         PHI nodes to the maximal set.
2461         (make_values_for_phi): Add PHI arguments to the maximal set.
2462         (execute_pre): Dump PHI_GEN and the maximal set.
2463
2464 2009-07-17  Jakub Jelinek  <jakub@redhat.com>
2465
2466         PR c++/40780
2467         * gimplify.c (gimplify_conversion): Don't change non-conversions into
2468         VIEW_CONVERT_EXPR.
2469
2470 2009-07-16  Sandra Loosemore  <sandra@codesourcery.com>
2471
2472         * doc/extend.texi (Nested Functions): Replace broken link with
2473         textual reference.
2474         * doc/service.texi (Service): Remove broken link.
2475
2476 2009-07-16  H.J. Lu  <hongjiu.lu@intel.com>
2477
2478         PR bootstrap/40781
2479         * builtins.c (expand_builtin_memcmp): Use loc instead of
2480         EXPR_LOCATION (exp).
2481         (expand_builtin_strncmp): Likewise.
2482
2483 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
2484             Manuel López-Ibáñez  <manu@gcc.gnu.org>
2485
2486         PR 40435
2487         * tree-complex.c, tree-loop-distribution.c, tree.c, tree.h,
2488         builtins.c, fold-const.c, omp-low.c, cgraphunit.c, tree-ssa-ccp.c,
2489         tree-ssa-dom.c, gimple-low.c, expr.c, tree-ssa-ifcombine.c,
2490         c-decl.c, stor-layout.c, tree-if-conv.c, c-typeck.c, gimplify.c,
2491         calls.c, tree-sra.c, tree-mudflap.c, tree-ssa-copy.c,
2492         tree-ssa-forwprop.c, c-convert.c, c-omp.c, varasm.c,
2493         tree-inline.c, c-common.c, c-common.h, gimple.c,
2494         tree-switch-conversion.c, gimple.h, tree-cfg.c, c-parser.c,
2495         convert.c: Add location argument to fold_{unary,binary,ternary},
2496         fold_build[123], build_call_expr, build_size_arg,
2497         build_fold_addr_expr, build_call_array, non_lvalue, size_diffop,
2498         fold_build1_initializer, fold_build2_initializer,
2499         fold_build3_initializer, fold_build_call_array,
2500         fold_build_call_array_initializer, fold_single_bit_test,
2501         omit_one_operand, omit_two_operands, invert_truthvalue,
2502         fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
2503         combine_comparisons, fold_builtin_*, fold_call_expr,
2504         build_range_check, maybe_fold_offset_to_address, round_up,
2505         round_down.
2506
2507 2009-07-16  Jason Merrill  <jason@redhat.com>
2508
2509         PR libstdc++/37907
2510         * c-common.c (c_common_reswords): Add __is_standard_layout
2511         and __is_trivial.
2512         * c-common.h (enum rid): Add RID_IS_STD_LAYOUT and RID_IS_TRIVIAL.
2513         * doc/implement-cxx.texi: New.
2514         * doc/gcc.texi: Include it.
2515
2516 2009-07-16  DJ Delorie  <dj@redhat.com>
2517
2518         * config/m32c/m32c.c (m32c_compare_redundant): Avoid removing
2519         compares that may be indirectly affected by previous instructions.
2520
2521 2009-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2522
2523         * builtins.c (do_mpc_arg2): New.
2524         (fold_builtin_2): Fold builtin cpow.
2525         * real.h (HAVE_mpc_pow): New.
2526
2527 2009-07-16  Bingfeng Mei  <bmei@broadcom.com>
2528
2529         * modulo-sched.c (sms_schedule): stage_count <= 1 as correct
2530         comparison to skip unprofitable schedule
2531
2532 2009-07-16  Simon Baldwin  <simonb@google.com>
2533
2534         * gcc.c (option_map): New flag -no-canonical-prefixes.
2535         * (display_help): Print help text for new flag.
2536         * (process_command): Move options translation and language specifics
2537         and handle new flag early.  Use it to set a function pointer to a
2538         prefix builder.  Replace make_relative_prefix calls with calls to
2539         the function pointed to.  Ignore new flag in regular options handling.
2540         * doc/invoke.texi (Overall Options): Documented -no-canonical-prefixes.
2541
2542 2009-07-15  DJ Delorie  <dj@redhat.com>
2543
2544         * config/mep/mep.md (sibcall_internal): Change register to avoid
2545         argument registers.
2546         (sibcall_value_internal): Likewise.
2547
2548 2009-07-15  Eric Botcazou  <ebotcazou@adacore.com>
2549
2550         PR rtl-optimization/40710
2551         * resource.c (mark_target_live_regs): Reset DF problem to LR.
2552
2553 2009-07-15  Adam Nemet  <anemet@caviumnetworks.com>
2554
2555         * config/mips/mips.md (*extenddi_truncate<mode>,
2556         *extendsi_truncate<mode>): Change type attribute to move_type
2557         with shift_shift.  Split out code handling exts from here ...
2558         (*extend<GPR:mode>_truncate<SHORT:mode>_exts): ... to this new
2559         pattern.
2560         (*extendhi_truncateqi): Change type attribute to move_type with
2561         shift_shift.  Split out code handling exts from here ...
2562         (*extendhi_truncateqi_exts): ... to this new pattern.
2563
2564 2009-07-15  Uros Bizjak  <ubizjak@gmail.com>
2565
2566         * config/i386/sse.md (copysign<mode>3): Use "and-not" SSE instruction
2567         instead of "and" with inverted sign bit mask value.  Use
2568         "nonimmediate_operand" for operand 1 and operand 2 predicate.
2569         Allocate registers only for operand 4 and operand 5.
2570
2571 2009-07-15  Jakub Jelinek  <jakub@redhat.com>
2572
2573         PR middle-end/40747
2574         * fold-const.c (fold_cond_expr_with_comparison): When folding
2575         < and <= to MIN, make sure the MIN uses the same type as the
2576         comparison's operands.
2577
2578 2009-07-15  Richard Earnshaw  <rearnsha@arm.com>
2579
2580         * arm.md (ior_xor): New code iterator.
2581         (split for ior/xor with shift and zero-extend): New split pattern.
2582         * arm/predicates.md (subreg_lowpart_operator): New special predicate.
2583
2584 2009-07-15  Richard Guenther  <rguenther@suse.de>
2585
2586         * tree-ssa-structalias.c (make_constraint_from_heapvar): Initialize
2587         offset member.
2588
2589 2009-07-15  Richard Guenther  <rguenther@suse.de>
2590
2591         PR middle-end/40753
2592         * alias.c (ao_ref_from_mem): Reject FUNCTION_DECL and LABEL_DECL bases.
2593
2594 2009-07-15  Maxim Kuvyrkov  <maxim@codesourcery.com>
2595
2596         * config/m68k/linux-unwind.h (m68k_fallback_frame_state): Update to
2597         handle 2.6.30 kernel.
2598
2599 2009-07-15  DJ Delorie  <dj@redhat.com>
2600
2601         * config/mep/mep.md (sibcall_internal): Change register to allow
2602         for 24-bit addresses.
2603         (sibcall_value_internal): Likewise.
2604
2605 2009-07-14  Ghassan Shobaki  <ghassan.shobaki@amd.com>
2606
2607         * doc/invoke.texi: Added descriptions of the  scheduling heuristics
2608         that are enabled/disabled by the flags introduced by a previous patch.
2609
2610 2009-07-14  DJ Delorie  <dj@redhat.com>
2611
2612         * config/mep/mep.md (sibcall_internal): Include non-toggling
2613         non-jmp case.
2614         (sibcall_value_internal): Likewise.
2615
2616 2009-07-14  Taras Glek  <tglek@mozilla.com>
2617             Rafael Espindola  <espindola@google.com>
2618
2619         * doc/sourcebuild.texi: Document install-plugin target.
2620         * configure.ac: Added install-plugin target to language makefiles.
2621         * configure: Regenerate.
2622         * Makefile.in: (install-plugin): Install more headers,
2623         depend on lang.install-plugin.
2624
2625 2009-07-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2626
2627         * tree-vrp.c (vrp_evaluate_conditional): Mark strings for
2628         translation.
2629
2630 2009-07-14  DJ Delorie  <dj@redhat.com>
2631
2632         * config/mep/mep.c (mep_vliw_jmp_match): New function.
2633         * config/mep/mep-protos.h (mep_vliw_jmp_match): Prototype it.
2634         * config/mep/mep.md (sibcall_internal): Change test from
2635         mep_vliw_mode_match to mep_vliw_jmp_match.
2636         (sibcall_value_internal): Likewise.
2637
2638 2009-07-14  Uros Bizjak  <ubizjak@gmail.com>
2639
2640         * config/i386/sse.md (copysign<mode>3): New expander.
2641         * config/i386/i386-protos.h (ix86_build_signbit_mask): New prototype.
2642         * config/i386/i386.c (ix86_build_signbit_mask): Make public.
2643         Use ix86_build_const_vector.
2644         (enum ix86_builtins): Add IX86_BUILTIN_CPYSGNPS and
2645         IX86_BUILTIN_CPYSGNPD.
2646         (builtin_description): Add __builtin_ia32_copysignps and
2647         __builtin_ia32_copysignpd.
2648         (ix86_builtin_vectorized_function): Handle BUILT_IN_COPYSIGN
2649         and BUILT_IN_COPYSIGNF.
2650
2651 2009-07-13  Jason Merrill  <jason@redhat.com>
2652
2653         * builtins.c (can_trust_pointer_alignment): New fn.
2654         (get_pointer_alignment): Factor it out from here.
2655         * tree.h: Declare it.
2656
2657 2009-07-14  David Edelsohn  <edelsohn@gnu.org>
2658
2659         * config/rs6000/predicates.md (offsettable_mem_operand): Test
2660         RTX_AUTOINC class.
2661
2662 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
2663
2664         PR debug/40705
2665         PR c++/403057
2666         * dwarf2.out.c (gen_type_die_with_usage): Added comment.
2667
2668 2009-07-14  Richard Guenther  <rguenther@suse.de>
2669             Andrey Belevantsev <abel@ispras.ru>
2670
2671         PR middle-end/40745
2672         * cfgexpand.c (partition_stack_vars): Do not bother to update
2673         alias information when not optimizing.
2674
2675 2009-07-14  Richard Guenther  <rguenther@suse.de>
2676             Andrey Belevantsev <abel@ispras.ru>
2677
2678         * tree-ssa-alias.h (refs_may_alias_p_1): Declare.
2679         (pt_solution_set): Likewise.
2680         * tree-ssa-alias.c (refs_may_alias_p_1): Export.
2681         * tree-ssa-structalias.c (pt_solution_set): New function.
2682         * final.c (rest_of_clean_state): Free SSA data structures.
2683         * print-rtl.c (print_decl_name): Remove.
2684         (print_mem_expr): Implement in terms of print_generic_expr.
2685         * alias.c (ao_ref_from_mem): New function.
2686         (rtx_refs_may_alias_p): Likewise.
2687         (true_dependence): Query alias-export info.
2688         (canon_true_dependence): Likewise.
2689         (write_dependence_p): Likewise.
2690         * tree-dfa.c (get_ref_base_and_extent): For void types leave
2691         size unknown.
2692         * emit-rtl.c (component_ref_for_mem_expr): Remove.
2693         (mem_expr_equal_p): Use operand_equal_p.
2694         (set_mem_attributes_minus_bitpos): Do not use
2695         component_ref_for_mem_expr.
2696         * cfgexpand.c (add_partitioned_vars_to_ptset): New function.
2697         (update_alias_info_with_stack_vars): Likewise.
2698         (partition_stack_vars): Call update_alias_info_with_stack_vars.
2699         * tree-ssa.c (delete_tree_ssa): Do not release SSA names
2700         explicitly nor clear stmt operands.
2701         Free the decl-to-pointer map.
2702         * tree-optimize.c (execute_free_datastructures): Do not free
2703         SSA data structures here.
2704         * tree-flow.h (struct gimple_df): Add decls_to_pointers member.
2705         * Makefile.in (emit-rtl.o): Add pointer-set.h dependency.
2706         (alias.o): Add tree-ssa-alias.h, pointer-set.h and $(TREE_FLOW_H)
2707         dependencies.
2708         (print-rtl.o): Add $(DIAGNOSTIC_H) dependency.
2709
2710 2009-07-13  DJ Delorie  <dj@redhat.com>
2711
2712         * config/mep/mep.h (CC1_SPEC): Tweak parameters to trigger
2713         unrolling at the right iteration count.
2714
2715         * config/mep/mep.c (mep_expand_prologue): Fix frame pointer
2716         calculations.
2717
2718 2009-07-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>
2719
2720         * haifa-sched.c (rank_for_schedule): Introduced flags to
2721         enable/disable individual scheduling heuristics.
2722         * common.opt: Introduced flags to enable/disable individual
2723         heuristics in the scheduler.
2724         * doc/invoke.texi: Introduced flags to enable/disable individual
2725         heuristics in the scheduler.
2726
2727 2009-07-13  Kai Tietz  <kai.tietz@onevision.com>
2728
2729         * config/i386/t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file
2730         config/i386/mingw-tls.c.
2731         * config/i386/mingw-tls.c: Removed.
2732
2733 2009-07-13  Ira Rosen  <irar@il.ibm.com>
2734
2735         * tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the
2736         checks access only relevant statements.
2737         (vectorizable_reduction): Likewise.
2738
2739 2009-07-12  Kai Tietz  <kai.tietz@onevision.com>
2740
2741         * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
2742         just for 32-bit case.
2743
2744 2009-07-12  Jan Hubicka  <jh@suse.cz>
2745
2746         PR tree-optimization/40585
2747         * except.c (expand_resx_expr): When there already is resume
2748         instruction, produce linked list.
2749         (build_post_landing_pads): Assert that resume is empty.
2750         (connect_post_landing_pads): Handle resume lists.
2751         (dump_eh_tree): Dump resume list.
2752
2753 2009-07-12  Ira Rosen  <irar@il.ibm.com>
2754
2755         * tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
2756         with additional argument.
2757         * tree-vectorizer.h (enum vect_def_type): Add
2758         vect_double_reduction_def.
2759         (vect_is_simple_reduction): Add argument.
2760         * tree-vect-loop.c (vect_determine_vectorization_factor): Fix
2761         indentation.
2762         (vect_analyze_scalar_cycles_1): Detect double reduction. Call
2763         vect_is_simple_reduction with additional argument.
2764         (vect_analyze_loop_operations): Handle exit phi nodes in case of
2765         double reduction.
2766         (reduction_code_for_scalar_code): Handle additional codes by
2767         returning ERROR_MARK for them. Fix comment and indentation.
2768         (vect_is_simple_reduction): Fix comment, add argument to specify
2769         double reduction. Detect double reduction.
2770         (get_initial_def_for_induction): Fix indentation.
2771         (get_initial_def_for_reduction): Fix comment and indentation.
2772         Handle double reduction. Create initial definitions that do not
2773         require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
2774         (vect_create_epilog_for_reduction): Fix comment, add argument to
2775         handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
2776         epilogue result extraction. Create double reduction phi node and
2777         replace relevant uses.
2778         (vectorizable_reduction): Call vect_is_simple_reduction with
2779         additional argument. Fix indentation. Update epilogue code treatment
2780         according to the changes in reduction_code_for_scalar_code. Check
2781         for double reduction. Call vect_create_epilog_for_reduction with
2782         additional argument.
2783         * tree-vect-stmts.c (process_use): Handle double reduction, update
2784         documentation.
2785         (vect_mark_stmts_to_be_vectorized): Handle double reduction.
2786         (vect_get_vec_def_for_operand): Likewise.
2787
2788 2009-07-12  Danny Smith  <dansmister@gmail.com>
2789
2790         * config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
2791         dllexport if !TREE_PUBLIC.
2792         (i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.
2793
2794 2009-07-11  Anatoly Sokolov  <aesok@post.ru>
2795
2796         * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
2797         (avr_extra_arch_macro) Remove declatation.
2798         * config/avr/avr.c (avr_cpu_cpp_builtins): New function.
2799         (avr_extra_arch_macro) Declare as static.
2800         * config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.
2801
2802 2009-07-11  Jan Hubicka  <jh@suse.cz>
2803
2804         PR middle-end/48388
2805         * except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.
2806
2807 2009-07-11  Jakub Jelinek  <jakub@redhat.com>
2808
2809         PR debug/40713
2810         * dwarf2out.c (dw_fde_struct): Add in_std_section and
2811         cold_in_std_section bits.
2812         (dwarf2out_begin_prologue): Initialize them.
2813         (dwarf2out_finish): Don't emit FDE range into .debug_ranges
2814         if already covered by text_section or cold_text_section range.
2815
2816         PR rtl-optimization/40667
2817         * defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
2818         * doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
2819         * config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
2820         * config/i386/i386.c (ix86_minimum_alignment): New function.
2821         * config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
2822         * cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
2823         * emit-rtl.c (gen_reg_rtx): Likewise.
2824         * function.c (assign_parms): Likewise.  If nominal_type needs
2825         bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
2826         rather than passed_type's alignment.
2827
2828         PR target/40668
2829         * function.c (assign_parm_setup_stack): Adjust
2830         MEM_OFFSET (data->stack_parm) if promoted_mode is different
2831         from nominal_mode on big endian.
2832
2833 2009-07-11  Paolo Bonzini  <bonzini@gnu.org>
2834
2835         * expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.
2836
2837 2009-07-10  DJ Delorie  <dj@redhat.com>
2838
2839         * config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.
2840
2841 2009-07-10  Mark Mitchell  <mark@codesourcery.com>
2842
2843         * config/arm/thumb2.md (thumb2_cbz): Correct computation of length
2844         attribute.
2845         (thumb2_cbnz): Likewise.
2846
2847 2009-07-10  David Daney  <ddaney@caviumnetworks.com>
2848
2849         PR target/39079
2850         * config.gcc (supported_defaults): Add synci.
2851         (with_synci): Add validation.
2852         (all_defaults): Add synci.
2853         * config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
2854         ISA_HAS_SYNCI.
2855         (synci): Same.
2856         * config/mips/mips.opt (msynci): New option.
2857         * config/mips/mips.c (mips_override_options): Warn on use of
2858         -msynci for targets that do now support it.
2859         * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
2860         msynci.
2861         * gcc/doc/invoke.texi (-msynci): Document the new option.
2862         * doc/install.texi (--with-synci): Document the new option.
2863
2864 2009-07-10  Richard Guenther  <rguenther@suse.de>
2865
2866         PR tree-optimization/40496
2867         * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
2868         the PHI result with a compatible type.
2869
2870 2009-07-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2871
2872         PR 25509
2873         PR 40614
2874         * c.opt (Wunused-result): New.
2875         * doc/invoke.texi: Document it.
2876         * c-common.c (c_warn_unused_result): Use it.
2877
2878 2009-07-09  DJ Delorie  <dj@redhat.com>
2879
2880         * targhooks.c (default_target_can_inline_p): Rename from
2881         default_target_option_can_inline_p.
2882         * targhooks.h (default_target_can_inline_p): Likewise.
2883         * target-def.h (TARGET_CAN_INLINE_P): Rename from
2884         TARGET_OPTION_CAN_INLINE_P.
2885         * config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
2886         * config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
2887         (mep_target_can_inline_p): Rename from
2888         mep_target_option_can_inline_p.
2889
2890         PR target/40626
2891         * config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
2892         registers used to pass vectors.
2893
2894         * config/mep/mep.c (mep_option_can_inline_p): Remove error call.
2895
2896 2009-07-09  Tom Tromey  <tromey@redhat.com>
2897
2898         * unwind-dw2-fde-darwin.c: Include dwarf2.h.
2899         * config/mmix/mmix.c: Include dwarf2.h.
2900         * config/rs6000/darwin-fallback.c: Include dwarf2.h.
2901         * config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
2902         * config/sh/sh.c: Include dwarf2.h.
2903         * config/i386/i386.c: Include dwarf2.h.
2904         * Makefile.in (DWARF2_H): Remove 'elf'.
2905         * except.c: Include dwarf2.h.
2906         * unwind-dw2.c: Include dwarf2.h.
2907         * dwarf2out.c: Include dwarf2.h.
2908         * unwind-dw2-fde-glibc.c: Include dwarf2.h.
2909         * unwind-dw2-fde.c: Include dwarf2.h.
2910         * dwarf2asm.c: Include dwarf2.h.
2911
2912 2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
2913
2914         * haifa-sched.c (insn_finishes_cycle_p): New static function.
2915         (max_issue): Use it.
2916         * sched-int.h (struct sched_info: insn_finishes_block_p): New
2917         scheduler hook.
2918         * sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
2919         (region_sched_info): Update.
2920         * sched-ebb.c (ebb_sched_info): Update.
2921         * modulo-sched.c (sms_sched_info): Update.
2922         * sel-sched-ir.c (sched_sel_haifa_sched_info): Update.
2923
2924 2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
2925
2926         * varasm.c (build_constant_desc): Don't share RTL in pool entries.
2927
2928 2009-07-09  Basile Starynkevitch  <basile@starynkevitch.net>
2929
2930         * plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen.
2931
2932 2009-07-09  Jakub Jelinek  <jakub@redhat.com>
2933
2934         PR middle-end/40692
2935         * fold-const.c (fold_cond_expr_with_comparison): Don't replace
2936         arg1 with arg01 if arg1 is already INTEGER_CST.
2937
2938 2009-07-08  Adam Nemet  <anemet@caviumnetworks.com>
2939
2940         * simplify-rtx.c (simplify_binary_operation_1) <AND>:
2941         Transform (and (truncate)) into (truncate (and)).
2942
2943 2009-07-08  Adam Nemet  <anemet@caviumnetworks.com>
2944
2945         * combine.c (make_extraction): Check TRULY_NOOP_TRUNCATION before
2946         creating LHS paradoxical subregs.  Fix surrounding returns to
2947         use NULL_RTX rather than 0.
2948
2949 2009-07-08  DJ Delorie  <dj@redhat.com>
2950
2951         * config/mep/mep.c: (mep_option_can_inline_p): New.
2952         (TARGET_OPTION_CAN_INLINE_P): Define.
2953
2954 2009-07-08  Mark Wielaard  <mjw@redhat.com>
2955
2956         PR debug/40659
2957         * dwarf2out.c (add_data_member_location_attribute): When we have
2958         only a constant offset don't emit a new location description using
2959         DW_OP_plus_uconst, but just add the constant with add_AT_int, when
2960         dwarf_version > 2.
2961
2962 2009-07-08  Richard Henderson  <rth@redhat.com>
2963
2964         PR target/38900
2965         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move to i386.c.
2966         (enum reg_class): Add CLOBBERED_REGS.
2967         (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Likewise.
2968         * config/i386/i386.c (ix86_conditional_register_usage): Moved
2969         from CONDITIONAL_REGISTER_USAGE; build CLOBBERED_REGS for 64-bit.
2970         (ix86_function_ok_for_sibcall): Tidy.  Disallow MS->SYSV sibcalls.
2971         (ix86_expand_call): Use sibcall_insn_operand when needed.  Don't
2972         force 64-bit sibcalls into R11.
2973         * config/i386/constraints.md (U): New constraint.
2974         * config/i386/i386.md (sibcall_1, sibcall_value_1): Use it.
2975         (sibcall_1_rex64, sibcall_value_1_rex64): Likewise.
2976         (sibcall_1_rex64_v, sibcall_value_1_rex64_v): Remove.
2977
2978 2009-07-08  Shujing Zhao  <pearly.zhao@oracle.com>
2979
2980         * basic-block.h (dump_regset, debug_regset): Remove duplicate
2981         prototypes.
2982         * c-objc-common.h (c_initialize_diagnostics): Ditto.
2983         * ebitmap.h (dump_ebitmap): Ditto.
2984         * optabs.h (optab_libfunc): Ditto.
2985         * tree.h (tree_expr_nonzero_warnv_p): Ditto.
2986         * tree-flow.h (vect_can_force_dr_alignment_p,
2987         get_vectype_for_scalar_type): Ditto.
2988         (vectorize_loops): Move prototype to ...
2989         * tree-vectorizer.h: ... here. Also, adjust comment.
2990         (vect_set_verbosity_level): Remove duplicate prototype.
2991         * tree-ssa-loop.c: Include tree-vectorizer.h.
2992         * Makefile.in (tree-ssa-loop.o): Depend on tree-vectorizer.h.
2993
2994 2009-07-08  Nick Clifton  <nickc@redhat.com>
2995
2996         * config/i386/unix.h (ASM_COMMENT_START): Add a space after the
2997         forward slash.
2998
2999 2009-07-08  DJ Delorie  <dj@redhat.com>
3000
3001         * config/mep/mep-ivc2.cpu (cpmovtocsar0_C3, cpmovtocsar1_C3,
3002         cpmovtocc_C3, cpmovtocsar0_P0S_P1, cpmovtocsar1_P0S_P1,
3003         cpmovtocc_P0S_P1): Mark volatile.  Note which registers are
3004         written to.
3005         * config/mep/intrinsics.md: Regenerated.
3006         * config/mep/mep.c (mep_interrupt_saved_reg): Save IVC2 control
3007         registers when asm() or calls are detected.
3008
3009 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3010
3011         PR c++/31246
3012         * gimplify.c (gimplify_expr): Propagate no_warning flag when
3013         gimplifying.
3014         * gimple (gimple_build_call_from_tree): Likewise.
3015         * tree-cfg.c (remove_useless_stmts_warn_notreached): Check
3016         no_warning flag before warning.
3017
3018 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3019
3020         * tree.c (set_expr_locus): Remove.
3021         * tree.h (EXPR_LOCUS,SET_EXPR_LOCUS,set_expr_locus): Remove.
3022         * c-typeck.c (c_finish_stmt_expr):  Replace EXPR_LOCUS by
3023         EXPR_LOCATION.
3024         * gimplify.c (internal_get_tmp_var): Likewise.
3025         (gimplify_call_expr): Likewise.
3026         (gimplify_one_sizepos): Likewise.
3027
3028 2009-07-07  Eric Botcazou  <ebotcazou@adacore.com>
3029
3030         PR debug/40666
3031         * dbxout.c (dbxout_symbol) <PARM_DECL>: Deal with parameters pointing
3032         to variables for debugging purposes.
3033
3034 2009-06-23  Mark Loeser  <mark@halcy0n.com>
3035
3036         PR build/40010
3037         * Makefile.in (gcc.pod): Depend on gcc-vers.texi.
3038
3039 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3040
3041         * pretty-print.c (pp_base_format): Remove %J.
3042         * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
3043         gcc_cxxdiag_char_table): Likewise.
3044         (init_dynamic_diag_info): Likewise.
3045
3046 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3047
3048         * pretty-print.c (pp_base_format): Remove %H.
3049         * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
3050         gcc_cxxdiag_char_table): Likewise.
3051         (init_dynamic_diag_info): Likewise.
3052         * config/mep/mep.c (mep_select_section): Likewise.
3053
3054 2009-07-07  Duncan Sands  <baldrick@free.fr>
3055
3056         * final.c (pass_clean_state): Give the pass a name.
3057         * passes.c (pass_rest_of_compilation): Likewise.
3058         * tree-optimize.c (pass_all_optimizations): Likewise.
3059
3060 2009-07-07  H.J. Lu  <hongjiu.lu@intel.com>
3061
3062         * config/ia64/ia64.c (ia64_handle_model_attribute): Remove
3063         an extra 'decl' for error_at.
3064
3065 2009-07-07  Jakub Jelinek  <jakub@redhat.com>
3066
3067         PR middle-end/40669
3068         * tree-tailcall.c (adjust_return_value_with_ops,
3069         create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
3070         if it has complex or vector type.
3071
3072 2009-07-07  Olivier Hainque  <hainque@adacore.com>
3073
3074         * config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak
3075         pthread symbols.
3076
3077 2009-07-07  Basile Starynkevitch  <basile@starynkevitch.net>
3078
3079         * Makefile.in: added more lists of includes to PLUGIN_HEADERS.
3080
3081 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3082
3083         * cgraphunit.c: Replace %J by an explicit location.  Update all calls.
3084         * c-decl.c: Likewise.
3085         * function.c: Likewise.
3086         * varasm.c: Likewise.
3087         * tree-ssa.c: Likewise.
3088         * c-common.c: Likewise.
3089         * tree-cfg.c: Likewise.
3090         * config/spu/spu.c: Likewise.
3091         * config/ia64/ia64.c: Likewise.
3092         * config/v850/v850.c: Likewise.
3093
3094 2009-07-06  DJ Delorie  <dj@redhat.com>
3095
3096         * config/mep/mep-core.cpu (fsft, ssarb): Mark as VOLATILE.
3097         * config/mep/mep-ivc2.cpu (many): Add VOLATILE to more insns that make
3098         unspecified accesses to control registers.
3099         * config/mep/intrinsics.md: Regenerate.
3100         * config/mep/intrinsics.h: Regenerate.
3101         * config/mep/mep-intrin.h: Regenerate.
3102
3103 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3104
3105         * c-lex.c: Replace %H by an explicit location. Update all calls.
3106         * c-common.c: Likewise.
3107         * c-decl.c: Likewise.
3108         * c-typeck.c: Likewise.
3109         * fold-const.c: Likewise.
3110         * gimplify.c: Likewise.
3111         * stmt.c: Likewise.
3112         * tree-cfg.c: Likewise.
3113         * tree-ssa-loop-niter.c: Likewise.
3114         * tree-vrp.c: Likewise.
3115         * value-prof.c: Likewise.
3116
3117 2009-07-06  Diego Novillo  <dnovillo@google.com>
3118
3119         * tree-dfa.c (dump_variable): Write DECL_INITIAL for VAR
3120         if it has one.  Handle cases where VAR does not have an
3121         annotation or cfun is NULL.
3122
3123 2009-07-06  Diego Novillo  <dnovillo@google.com>
3124
3125         * tree.c: Include debug.h.
3126         (initialize_tree_contains_struct): New.
3127         (init_ttree): Call it.
3128         (tree_node_structure_for_code): Factor out of ...
3129         (tree_node_structure): ... here.
3130         * treestruct.def (TS_PHI_NODE): Remove.
3131         (TS_GIMPLE_STATEMENT): Remove.
3132
3133 2009-07-06  Diego Novillo  <dnovillo@google.com>
3134
3135         * tree-pretty-print.c (dump_generic_node): Protect against NULL op0.
3136         (debug_tree_chain): Handle cycles.
3137
3138 2009-07-06  Nick Clifton  <nickc@redhat.com>
3139             DJ Delorie  <dj@redhat.com>
3140
3141         * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
3142         __FMOVD_ENABLED__ is defined.
3143         * config/sh/sh.h
3144         (TARGET_FMOVD): Provide a default definition.
3145         (MASK_FMOVD): Likewise.
3146         (TARGET_CPU_CPP_BUILTINS): Define
3147         __FMOVD_ENABLED__ if TARGET_FMOVD is true.
3148         * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
3149         two fmov instructions depending upon whether TARGET_FMOVD is enabled.
3150         (split for DF load from memory into register): Also handle
3151         MEMs which consist of REG+DISP addressing.
3152         (split for DF store from register to memory): Likewise.
3153         (movsf_ie): Always use single fp_mode.
3154         * config/sh/sh.c (sh_override_options): Do not automatically
3155         enable TARGET_MOVD for the SH2A when supporting doubles - leave
3156         that to the -mfmovd command line switch.
3157         (broken_move): Do not restrict fldi test to only the SH4 and SH4A.
3158         (fldi_ok): Always allow.
3159         * config/sh/sh.opt (mfmovd): Remove this switch.
3160         * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
3161
3162 2009-07-06  J"orn Rennecke  <joern.rennecke@arc.com>
3163             Kaz Kojima  <kkojima@gcc.gnu.org>
3164
3165         PR rtl-optimization/30807
3166         * postreload.c (reload_combine): For every new use of REG_SUM,
3167         record the use of BASE.
3168
3169 2009-07-06  Jan Hubicka  <jh@suse.cz>
3170
3171         * params.def: Revert my accidental commit at 2009-06-30.
3172
3173 2009-07-04  Ian Lance Taylor  <iant@google.com>
3174
3175         PR target/40636
3176         * config/i386/msformat-c.c (mingw_format_attributes): Declare as
3177         EXPORTED_CONST.
3178         (mingw_format_attribute_overrides): Likewise.
3179
3180 2009-07-04  Jakub Jelinek  <jakub@redhat.com>
3181
3182         PR debug/40596
3183         * dwarf2out.c (based_loc_descr): For crtl->stack_realign_tried
3184         don't check cfa.reg.  Instead of cfa.indirect use
3185         fde && fde->drap_reg != INVALID_REGNUM test.
3186
3187 2009-07-04  Eric Botcazou  <ebotcazou@adacore.com>
3188
3189         * postreload.c (reload_combine): Replace CONST_REG with INDEX_REG.
3190
3191 2009-07-03  Vladimir Makarov  <vmakarov@redhat.com>
3192
3193         PR target/40587
3194         * ira.c (build_insn_chain): Use DF_LR_OUT instead of df_get_live_out.
3195
3196 2009-07-03  Richard Guenther  <rguenther@suse.de>
3197
3198         PR tree-optimization/40640
3199         * tree-switch-conversion.c (build_arrays): Perform arithmetic
3200         in original type.
3201
3202 2009-07-03  Jan Hubicka  <jh@suse.cz>
3203
3204         * ipa-inline.c (cgraph_decide_inlining_incrementally): When optimizing
3205         for size, reduce amount of inlining.
3206
3207 2009-07-03  Richard Guenther  <rguenther@suse.de>
3208
3209         PR middle-end/34163
3210         * tree-chrec.c (chrec_convert_1): Fold (T2)(t +- x) to (T2)t +- (T2)x
3211         if t +- x is known to not overflow and the conversion widens the
3212         operation.
3213         * Makefile.in (tree-chrec.o): Add $(FLAGS_H) dependency.
3214
3215 2009-07-03  Jan Hubicka  <jh@suse.cz>
3216
3217         * ipa-pure-const.c (analyze): Update loop optimizer init.
3218         * tree-ssa-loop-iv-canon.c (empty_loop_p, remove_empty_loop,
3219         try_remove_empty_loop, remove_empty_loops): Remove.
3220         * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): Remove.
3221         * tree-ssa-dce.c (find_obviously_necessary_stmts): Use finiteness info
3222         to mark regular loops as neccesary.
3223         (degenerate_phi_p): New function.
3224         (propagate_necessity, remove_dead_phis): Use it.
3225         (forward_edge_to_pdom): Likewise.
3226         (eliminate_unnecessary_stmts): Take care to remove uses of results of
3227         virtual PHI nodes that became unreachable.
3228         (perform_tree_ssa_dce): Initialize/deinitialize loop optimizer.
3229         * tree-flow.h (remove_empty_loops): Remove.
3230         * passes.c (init_optimization_passes): Remove.
3231
3232 2009-07-03  Uros Bizjak  <ubizjak@gmail.com>
3233
3234         * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1): Use
3235         can_create_pseudo_p.
3236         (*fix_trunc<mode>_i387_1): Ditto.
3237         (*floathi<mode>2_1): Ditto.
3238         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): Ditto.
3239         (*fistdi2_1): Ditto.
3240         (*fist<mode>2_1): Ditto.
3241         (frndintxf2_floor): Ditto.
3242         (*fist<mode>2_floor_1): Ditto.
3243         (frndintxf2_ceil): Ditto.
3244         (*fist<mode>2_ceil_1): Ditto.
3245         (frndintxf2_trunc): Ditto.
3246         (frndintxf2_mask_pm): Ditto.
3247         (fxam<mode>2_i387_with_temp): Ditto.
3248         * config/i386/sse.md (mulv16qi3): Ditto.
3249         (*sse2_mulv4si3): Ditto.
3250         (mulv2di3): Ditto.
3251         (sse4_2_pcmpestr): Ditto.
3252         (sse4_2_pcmpistr): Ditto.
3253
3254 2009-07-03  Jan Hubicka  <jh@suse.cz>
3255
3256         * tree-ssa-dce.c (bb_contains_live_stmts): New bitmap.
3257         (mark_stmt_necessary): Set it.
3258         (mark_operand_necessary): Set it.
3259         (mark_control_dependent_edges_necessary): Set it.
3260         (mark_virtual_phi_result_for_renaming): New function.
3261         (get_live_post_dom): New function.
3262         (forward_edge_to_pdom): New function.
3263         (remove_dead_stmt): Fix handling of control dependences.
3264         (tree_dce_init): Init new bitmap.
3265         (tree_dce_done): Free it.
3266
3267 2009-07-02  Richard Guenther  <rguenther@suse.de>
3268
3269         PR bootstrap/40617
3270         * tree-ssa-structalias.c (new_var_info): Initialize
3271         is_restrict_var.
3272
3273 2009-07-02  Jan Hubicka  <jh@suse.cz>
3274
3275         * ipa-pure-const.c (check_op): Use PTA info to see if indirect_ref is
3276         local.
3277
3278 2009-07-02  Paolo Bonzini  <bonzini@gnu.org>
3279
3280         * expmed.c (emit_cstore, emit_store_flag_1): Accept target_mode
3281         instead of recomputing it.  Adjust calls.
3282         (emit_store_flag): Adjust recursive calls.
3283
3284 2009-07-02  Richard Guenther  <rguenther@suse.de>
3285
3286         * tree-ssa-live.c (remove_unused_locals): Do not remove
3287         heap variables.
3288         * tree-ssa-structalias.c (handle_lhs_call): Delay setting
3289         of DECL_EXTERNAL for HEAP variables.
3290         (compute_points_to_sets): Set DECL_EXTERNAL for escaped
3291         HEAP variables.  Do not adjust RESTRICT vars.
3292         (find_what_var_points_to): Nobody cares if something
3293         points to READONLY.
3294
3295 2009-07-02  Ben Elliston  <bje@au.ibm.com>
3296
3297         * unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Move
3298         pc_low and pc_high declarations to the top of the function.
3299
3300 2009-07-01  DJ Delorie  <dj@redhat.com>
3301
3302         * config/mep/mep.c (mep_handle_option): Leave IVC2 control
3303         registers as fixed.
3304         (mep_interrupt_saved_reg): Save appropriate IVC2 control registers.
3305         * config/mep/mep-ivc2.cpu: Add VOLATILE to insns that make
3306         unspecified accesses to control registers.
3307         * config/mep/intrinsics.md: Regenerate.
3308         * config/mep/intrinsics.h: Regenerate.
3309         * config/mep/mep-intrin.h: Regenerate.
3310
3311 2009-07-01  Anthony Green  <green@moxielogic.com>
3312
3313         * config/moxie/moxie.c (moxie_expand_prologue): Use dec
3314         instruction when possible.
3315         (moxie_expand_prologue): Ditto.  Also, save an instruction and
3316         some complexity by popping off of $r12 instead of $sp.
3317         * config/moxie/moxie.md (movsi_pop): Don't assume $sp.  Take two
3318         operands.
3319
3320 2009-07-01  Richard Henderson  <rth@redhat.com>
3321
3322         PR bootstrap/40347
3323         * function.c (reposition_prologue_and_epilogue_notes): If epilogue
3324         contained no insns, reposition note before last insn.
3325
3326 2009-07-01  Richard Henderson  <rth@redhat.com>
3327
3328         PR debug/40431
3329         * dwarf2out.c (def_cfa_1): Revert 2009-06-11 change for
3330         DW_CFA_def_cfa_offset and DW_CFA_def_cfa.
3331
3332 2009-07-01  Michael Meissner  <meissner@linux.vnet.ibm.com>
3333
3334         PR bootstrap/40558
3335         * config/rs6000/rs6000.c (print_operand): Undo change that breaks
3336         darwin9 for printing reg addresses with %y.
3337
3338 2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>
3339
3340         * combine.c (force_to_mode): Handle TRUNCATE.  Factor out
3341         truncation from operands in binary operations.
3342
3343 2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>
3344
3345         Revert:
3346         2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
3347         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
3348         subreg of op0 to the original op0.
3349
3350         * expmed.c (store_bit_field_1): Use a temporary as the destination
3351         instead of a paradoxical subreg when we need to truncate the result.
3352
3353 2009-07-01  DJ Delorie  <dj@redhat.com>
3354
3355         * config/mep/mep-ivc2.cpu (cmov, cmovc, cmovh): Add intrinsic
3356         names to VLIW variants.
3357         (ivc2rm, ivc2crn): Make data type consistent with non-VLIW variants.
3358         * config/mep/intrinsics.md: Regenerate.
3359         * config/mep/intrinsics.h: Regenerate.
3360         * config/mep/mep-intrin.h: Regenerate.
3361
3362 2009-07-01  Jakub Jelinek  <jakub@redhat.com>
3363
3364         PR debug/40462
3365         * jump.c (returnjump_p): Revert last patch.
3366         * dwarf2out.c (dwarf2out_begin_epilogue): Handle SEQUENCEs.
3367
3368 2009-07-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3369
3370         PR target/40575
3371         * pa.md (casesi32p): Use jump table label to determine the offset
3372         of the jump table.
3373         (casesi64p): Likewise.
3374
3375         * pa.c (forward_branch_p): Return bool type.  Use instruction
3376         addresses when available.  Assert that INSN has a jump label.
3377         (pa_adjust_insn_length): Don't call forward_branch_p if INSN doesn't
3378         have a jump label.
3379
3380 2009-07-01  Richard Guenther  <rguenther@suse.de>
3381
3382         PR tree-optimization/19831
3383         * tree-ssa-dce.c (propagate_necessity): Calls to functions
3384         that only act as barriers do not make any previous stores necessary.
3385         * tree-ssa-structalias.c (handle_lhs_call): Delay making
3386         HEAP variables global, do not add a constraint from nonlocal.
3387         (find_func_aliases): Handle escapes through return statements.
3388         (compute_points_to_sets): Make escaped HEAP variables global.
3389
3390 2009-07-01  Paolo Bonzini  <bonzini@gnu.org>
3391
3392         PR bootstrap/40597
3393         * expmed.c (emit_store_flag): Perform a conversion if necessary,
3394         after reducing a DImode cstore to SImode.
3395
3396 2009-07-01  Paolo Bonzini  <bonzini@gnu.org>
3397
3398         * expr.c (expand_expr_real_1): Reinstate fallthrough to
3399         TRUTH_ANDIF_EXPR if do_store_flag returns NULL.
3400
3401 2009-07-01  Maciej W. Rozycki  <macro@linux-mips.org>
3402
3403         * config/vax/vax.h (TARGET_BSD_DIVMOD): New macro.  Set to 1.
3404         * config/vax/linux.h (TARGET_BSD_DIVMOD): New macro.  Redefine the
3405         to 0.
3406         * config/vax/vax.c (vax_init_libfuncs): Only redefine udiv_optab
3407         and umod_optab if TARGET_BSD_DIVMOD.
3408         * config/vax/lib1funcs.asm: New file.
3409         * config/vax/t-linux: New file.
3410         * config.gcc (vax-*-linux*): Set tmake_file to vax/t-linux.
3411
3412 2009-06-30  Jakub Jelinek  <jakub@redhat.com>
3413
3414         PR c++/40566
3415         * convert.c (convert_to_integer) <case COND_EXPR>: Don't convert
3416         to type arguments that have void type.
3417
3418         PR debug/40573
3419         * dwarf2out.c (gen_formal_parameter_die): Call
3420         equate_decl_number_to_die if node is different from origin.
3421
3422 2009-06-30  Anthony Green  <green@moxielogic.com>
3423
3424         Clean up moxie port for --enable-build-with-cxx.
3425         * config/moxie/moxie.c (moxie_function_value): First two
3426         parameters are const_tree, not tree.
3427         * config/moxie/moxie.h (enum reg_class): Rename CC_REG to CC_REGS.
3428         (REG_CLASS_NAMES): Ditto.
3429         (REGNO_REG_CLASS): Ditto.
3430         * config/moxie/moxie-protos.h (moxie_override_options): Declare.
3431         (moxie_function_value): Fix constyness of arguments.
3432
3433 2009-06-30  Eric Botcazou  <ebotcazou@adacore.com>
3434
3435         * cgraphunit.c (cgraph_finalize_compilation_unit): Call
3436         finalize_size_functions before further processing.
3437         * stor-layout.c: Include cgraph.h, tree-inline.h and tree-dump.h.
3438         (variable_size): Call self_referential_size on size expressions
3439         that contain a PLACEHOLDER_EXPR.
3440         (size_functions): New static variable.
3441         (copy_self_referential_tree_r): New static function.
3442         (self_referential_size): Likewise.
3443         (finalize_size_functions): New global function.
3444         * tree.c: Include tree-inline.h.
3445         (push_without_duplicates): New static function.
3446         (find_placeholder_in_expr): New global function.
3447         (substitute_in_expr) <tcc_declaration>: Return the replacement object
3448         on equality.
3449         <tcc_expression>: Likewise.
3450         <tcc_vl_exp>: If the replacement object is a constant, try to inline
3451         the call in the expression.
3452         * tree.h (finalize_size_functions): Declare.
3453         (find_placeholder_in_expr): Likewise.
3454         (FIND_PLACEHOLDER_IN_EXPR): New macro.
3455         (substitute_placeholder_in_expr): Update comment.
3456         * tree-inline.c (remap_decl): Do not unshare trees if do_not_unshare
3457         is true.
3458         (copy_tree_body_r): Likewise.
3459         (copy_tree_body): New static function.
3460         (maybe_inline_call_in_expr): New global function.
3461         * tree-inline.h (struct copy_body_data): Add do_not_unshare field.
3462         (maybe_inline_call_in_expr): Declare.
3463         * Makefile.in (tree.o): Depend on TREE_INLINE_H.
3464         (stor-layout.o): Depend on CGRAPH_H, TREE_INLINE_H, TREE_DUMP_H and
3465         GIMPLE_H.
3466
3467 2009-06-30  Richard Guenther  <rguenther@suse.de>
3468
3469         * tree-ssa-dce.c (mark_all_reaching_defs_necessary_1): Always
3470         continue walking.
3471         (propagate_necessity): Do not mark reaching defs of stores
3472         as necessary.
3473
3474 2009-06-30  Jan Hubicka  <jh@suse.cz>
3475
3476         * cfgloopanal.c (check_irred): Move into ...
3477         (mark_irreducible_loops): ... here; return true if ireducible
3478         loops was found.
3479         * ipa-pure-const.c: Include cfgloop.h and tree-scalar-evolution.h
3480         (analyze_function): Try to prove loop finiteness.
3481         * cfgloop.h (mark_irreducible_loops): Update prototype.
3482         * Makefile.in (ipa-pure-const.o): Add dependency on SCEV and CFGLOOP.
3483
3484 2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>
3485
3486         * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
3487
3488 2009-06-30  Ira Rosen  <irar@il.ibm.com>
3489
3490         PR tree-optimization/40542
3491         * tree-vect-stmts.c (vect_analyze_stmt): Don't vectorize volatile
3492         types.
3493
3494 2009-06-30  Martin Jambor  <mjambor@suse.cz>
3495
3496         PR tree-optimization/40582
3497         * tree-sra.c (build_ref_for_offset_1): Use types_compatible_p rather
3498         than useless_type_conversion_p.
3499         (generate_subtree_copies): Increment sra_stats.subtree_copies at a
3500         proper place.
3501
3502 2009-06-30  Martin Jambor  <mjambor@suse.cz>
3503
3504         PR middle-end/40554
3505         * tree-sra.c (sra_modify_expr): Add access->offset to start_offset.
3506
3507 2009-06-30  Richard Guenther  <rguenther@suse.de>
3508
3509         * tree-ssa-alias.c (walk_aliased_vdefs_1): Change interface to
3510         use ao_ref references.
3511         (walk_aliased_vdefs): Likewise.
3512         * tree-ssa-alias.h (walk_aliased_vdefs): Adjust prototype.
3513         * tree-ssa-dce.c (struct ref_data): Remove.
3514         (mark_aliased_reaching_defs_necessary_1): Use the ao_ref argument.
3515         (mark_aliased_reaching_defs_necessary): Adjust.
3516         (mark_all_reaching_defs_necessary_1): Likewise.
3517
3518 2009-06-30  Paolo Bonzini  <bonzini@gnu.org>
3519
3520         PR boostrap/40597
3521         * expmed.c (emit_cstore): New name of emit_store_flag_1.
3522         (emit_store_flag_1): Extract from emit_store_flag, adjust
3523         calls to (what now is) emit_cstore.
3524         (emit_store_flag): Call emit_store_flag_1 and also use it
3525         for what used to be recursive calls.
3526
3527 2009-06-30  Wei Guozhi  <carrot@google.com>
3528
3529         PR/40416
3530         * tree-ssa-sink.c (statement_sink_location): Stop sinking expression
3531         if the target bb post dominates from bb.
3532         * config/i386/i386.c (memory_address_length): Check existence of base
3533         register before using it.
3534
3535 2009-06-30  Nick Clifton  <nickc@redhat.com>
3536             DJ Delorie  <dj@redhat.com>
3537
3538         * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
3539         __FMOVD_ENABLED__ is defined.
3540         * config/sh/sh.h
3541         (TARGET_FMOVD): Provide a default definition.
3542         (MASK_FMOVD): Likewise.
3543         (TARGET_CPU_CPP_BUILTINS): Define
3544         __FMOVD_ENABLED__ if TARGET_FMOVD is true.
3545         * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
3546         two fmov instructions depending upon whether TARGET_FMOVD is
3547         enabled.
3548         (split for DF load from memory into register): Also handle
3549         MEMs which consist of REG+DISP addressing.
3550         (split for DF store from register to memory): Likewise.
3551         * config/sh/sh.opt (mfmovd): Remove this switch.
3552         * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
3553         * config/sh/sh.c (sh_override_options): Do not automatically
3554         enable TARGET_MOVD for the SH2A when supporting doubles - leave
3555         that to the -mfmovd command line switch.
3556
3557         * config/sh/sh.c (broken_move): Do not restrict fldi test to only
3558         the SH4 and SH4A.
3559         (fldi_ok): Always allow.
3560         * config/sh/sh.md (movsf_ie): Always use single fp_mode.
3561
3562 2009-06-29  DJ Delorie  <dj@redhat.com>
3563
3564         * doc/install.texi (mep-x-elf): Correct chip's full name.
3565
3566 2009-06-29  H.J. Lu  <hongjiu.lu@intel.com>
3567
3568         * doc/extend.texi: Fix typo.
3569
3570 2009-06-29  Tom Tromey  <tromey@redhat.com>
3571
3572         * dwarf2.h: Remove.
3573         * Makefile.in (DWARF2_H): New variable.
3574         (except.o): Use it.
3575         (dwarf2out.o): Likewise.
3576         (dwarf2asm.o): Likewise.
3577         * config/i386/t-i386: Use DWARF2_H.
3578         * except.c: Include elf/dwarf2.h.
3579         * unwind-dw2.c: Include elf/dwarf2.h.
3580         * dwarf2out.c: Include elf/dwarf2.h.
3581         (dw_loc_descr_struct) <dw_loc_opc>: Now a bitfield.
3582         <dtprel>: New field.
3583         (dwarf_stack_op_name): Don't handle INTERNAL_DW_OP_tls_addr.
3584         (size_of_loc_descr): Likewise.
3585         (output_loc_operands_raw): Likewise.
3586         (output_loc_operands): Handle new dtprel field.
3587         (loc_checksum): Update.
3588         (loc_descriptor_from_tree_1) <VAR_DDECL>: Set dtprel field.
3589         * unwind-dw2-fde-glibc.c: Include elf/dwarf2.h.
3590         * unwind-dw2-fde.c: Include elf/dwarf2.h.
3591         * dwarf2asm.c: Include elf/dwarf2.h.
3592         * unwind-dw2-fde-darwin.c: Include elf/dwarf2.h.
3593         * config/mmix/mmix.c: Include elf/dwarf2.h.
3594         * config/rs6000/darwin-fallback.c: Include elf/dwarf2.h.
3595         * config/xtensa/unwind-dw2-xtensa.c: Include elf/dwarf2.h.
3596         * config/sh/sh.c: Include elf/dwarf2.h.
3597         * config/i386/i386.c: Include elf/dwarf2.h.
3598
3599 2009-06-29  DJ Delorie  <dj@redhat.com>
3600
3601         * config/mep/mep.h (CPP_SPEC): Remove __cop macro.
3602
3603         * doc/extend.texi: Add MeP attributes and pragmas.
3604         * doc/invoke.text: Add MeP Options.
3605         * doc/contrib.texi: Add MeP contribution.
3606         * doc/md.texi: Add MeP constraints.
3607         * doc/install.texi: Add MeP target.
3608
3609 2009-06-30  Anatoly Sokolov  <aesok@post.ru>
3610
3611         * target.h (struct gcc_target): Add frame_pointer_required field.
3612         * target-def.h (TARGET_FRAME_POINTER_REQUIRED): New.
3613         (TARGET_INITIALIZER): Use TARGET_FRAME_POINTER_REQUIRED.
3614         * ira.c (setup_eliminable_regset): Use frame_pointer_required target
3615         hook.
3616         * reload1.c (update_eliminables): (Ditto.).
3617         * gcc/system.h (FRAME_POINTER_REQUIRED): Poison.
3618         * doc/tm.texi (FRAME_POINTER_REQUIRED): Revise documentation.
3619         (INITIAL_FRAME_POINTER_OFFSET): (Ditto.).
3620
3621         * config/arc/arc.h (FRAME_POINTER_REQUIRED): Remove macro.
3622
3623         * config/arm/arm.h (FRAME_POINTER_REQUIRED): Remove macro.
3624         * config/arm/arm.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3625         (arm_frame_pointer_required): New function.
3626
3627         * config/avr/avr.h (FRAME_POINTER_REQUIRED): Remove macro.
3628         * config/avr/avr.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3629         (avr_frame_pointer_required_p): Declare as static.
3630         * config/avr/avr-protos.h (avr_frame_pointer_required_p): Remove.
3631
3632         * config/bfin/bfin.h (FRAME_POINTER_REQUIRED): Remove macro.
3633         * config/bfin/bfin.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3634         (bfin_frame_pointer_required): Make as static, change return type
3635         to bool.
3636         * config/bfin/bfin-protos.h (bfin_frame_pointer_required): Remove.
3637
3638         * config/cris/cris.h (FRAME_POINTER_REQUIRED): Remove macro.
3639         * config/cris/cris.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3640         (cris_frame_pointer_required): New function.
3641
3642         * config/crx/crx.h (FRAME_POINTER_REQUIRED): Remove macro.
3643
3644         * config/fr30/fr30.h (FRAME_POINTER_REQUIRED): Remove macro.
3645         * config/fr30/fr30.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3646         (fr30_frame_pointer_required): New function.
3647
3648         * config/frv/frv.h (FRAME_POINTER_REQUIRED): Remove macro.
3649         * config/frv/frv.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3650         (frv_frame_pointer_required): Make as static, change return type
3651         to bool.
3652         * config/bfin/bfin-protos.h (frv_frame_pointer_required): Remove.
3653
3654         * config/i386/i386.h (FRAME_POINTER_REQUIRED): Remove macro.
3655         * config/i386/i386.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3656         (ix86_frame_pointer_required): Make as static, change return type to
3657         bool.
3658         * config/i386/i386-protos.h (ix86_frame_pointer_required): Remove.
3659
3660         * config/m32c/m32c.h (FRAME_POINTER_REQUIRED): Remove macro.
3661         * config/m32c/m32c.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3662
3663         * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Remove macro.
3664
3665         * config/mcore/mcore.h (CAN_ELIMINATE): Remove macro.
3666
3667         * config/mep/mep.h (FRAME_POINTER_REQUIRED): Remove macro.
3668
3669         * config/mips/mips.h (FRAME_POINTER_REQUIRED): Remove macro.
3670         * config/mips/mips.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3671         (mips_frame_pointer_required): Make as static.
3672         * config/mips/mips-protos.h (mips_frame_pointer_required): Remove.
3673
3674         * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Remove macro.
3675         * config/mmix/mmix.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3676         (mmix_frame_pointer_required): Mew function.
3677
3678         * config/moxie/moxie.h (FRAME_POINTER_REQUIRED): Remove macro.
3679         * config/moxie/moxie.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3680
3681         * config/pa/pa.h (FRAME_POINTER_REQUIRED): Remove macro.
3682
3683         * config/score/score.h (FRAME_POINTER_REQUIRED): Remove macro.
3684
3685         * config/sh/sh.h (CAN_ELIMINATE): Remove macro.
3686
3687         * config/sparc/sparc.h (FRAME_POINTER_REQUIRED): Remove macro.
3688         (CAN_ELIMINATE): Redefine.
3689         * config/sparc/sparc.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3690         (sparc_frame_pointer_required): New function.
3691         (sparc_can_eliminate): New function.
3692         * config/sparc/sparc-protos.h (sparc_can_eliminate): Declare.
3693
3694         * config/vax/vax.h (FRAME_POINTER_REQUIRED): Remove macro.
3695         * config/vax/vax.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3696
3697         * config/xtensa/xtensa.h (FRAME_POINTER_REQUIRED): Remove macro.
3698         * config/xtensa/xtensa.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3699         (xtensa_frame_pointer_required): Make as static, change return type
3700         to bool.
3701         * config/xtensa/xtensa-protos.h (xtensa_frame_pointer_required):
3702         Remove.
3703
3704 2009-06-29  Olatunji Ruwase  <tjruwase@google.com>
3705
3706         * doc/plugins.texi: Document PLUGIN_START_UNIT.
3707         * toplev.c (compile_file): Call PLUGIN_START_UNIT.
3708         * gcc-plugin.h (PLUGIN_START_UNIT): Added new event.
3709         * plugin.c (plugin_event_name): Added PLUGIN_START_UNIT.
3710         (register_callback): Handle PLUGIN_START_UNIT.
3711         (invoke_plugin_callbacks): Handle PLUGIN_START_UNIT.
3712
3713 2009-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3714
3715         * tree.c (process_call_operands): Propagate TREE_READONLY from the
3716         operands.
3717         (PROCESS_ARG): Do not clear TREE_READONLY if CONSTANT_CLASS_P.
3718         (build3_stat): Propagate TREE_READONLY for COND_EXPR.
3719
3720 2009-06-29  Daniel Jacobowitz  <dan@codesourcery.com>
3721
3722         * config/arm/arm.h (REGISTER_MOVE_COST): Increase VFP register
3723         move cost.
3724
3725 2009-06-29  Uros Bizjak  <ubizjak@gmail.com>
3726
3727         * doc/extend.texi (Additional Floating Types): __float128 is also
3728         supported on i386 targets.
3729
3730 2009-06-29  Richard Guenther  <rguenther@suse.de>
3731
3732         PR middle-end/14187
3733         * tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
3734         flag.
3735         (pt_solutions_same_restrict_base): Declare.
3736         * tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
3737         flag.
3738         (new_var_info): Initialize is_global_var properly for SSA_NAMEs.
3739         (make_constraint_from, make_copy_constraint): Move earlier.
3740         (make_constraint_from_heapvar): New function.
3741         (make_constraint_from_restrict): Likewise.
3742         (handle_lhs_call): Use it.
3743         (find_func_aliases): Use it to track conversions to restrict
3744         qualified pointers.
3745         (struct fieldoff): Add only_restrict_pointers flag.
3746         (push_fields_onto_fieldstack): Initialize it.
3747         (create_variable_info_for): Track global restrict qualified pointers.
3748         (intra_create_variable_infos): Use make_constraint_from_heapvar.
3749         Track restrict qualified pointer arguments.
3750         (set_uids_in_ptset): Use varinfo is_global_var flag.
3751         (find_what_var_points_to): Set the vars_contains_restrict flag.
3752         Always create the points-to solution for sets including restrict tags.
3753         (pt_solutions_same_restrict_base): New function.
3754         * tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
3755         qualified pointers use pt_solutions_same_restrict_base as
3756         additional source for disambiguation.
3757
3758 2009-06-29  Richard Guenther  <rguenther@suse.de>
3759
3760         PR middle-end/38212
3761         * alias.c (find_base_decl): Remove.
3762         (get_deref_alias_set_1): Remove restrict handling.
3763         * c-common.c (c_apply_type_quals_to_decl): Do not set
3764         DECL_POINTER_ALIAS_SET.
3765         * gimplify.c (find_single_pointer_decl_1): Remove.
3766         (find_single_pointer_decl): Likewise.
3767         (internal_get_tmp_var): Remove restrict handling.
3768         (gimple_regimplify_operands): Likewise.
3769         * omp-low.c (expand_omp_atomic_pipeline): Do not set
3770         DECL_POINTER_ALIAS_SET. Use ref-all pointers.
3771         * print-tree.c (print_node): Do not print DECL_POINTER_ALIAS_SET.
3772         * tree.c (restrict_base_for_decl): Remove.
3773         (init_ttree): Do not allocate it.
3774         (make_node_stat): Do not set DECL_POINTER_ALIAS_SET.  Set
3775         LABEL_DECL_UID for label decls.
3776         (copy_node_stat): Do not copy restrict information.
3777         (decl_restrict_base_lookup): Remove.
3778         (decl_restrict_base_insert): Likewise.
3779         (print_restrict_base_statistics): Likewise.
3780         (dump_tree_statistics): Do not call print_restrict_base_statistics.
3781         * tree.h (DECL_POINTER_ALIAS_SET): Remove.
3782         (DECL_POINTER_ALIAS_SET_KNOWN_P): Likewise.
3783         (struct tree_decl_common): Rename pointer_alias_set to label_decl_uid.
3784         (LABEL_DECL_UID): Adjust.
3785         (DECL_BASED_ON_RESTRICT_P): Remove.
3786         (DECL_GET_RESTRICT_BASE): Likewise.
3787         (SET_DECL_RESTRICT_BASE): Likewise.
3788         (struct tree_decl_with_vis): Remove based_on_restrict_p flag.
3789
3790         * config/i386/i386.c (ix86_gimplify_va_arg): Use ref-all pointers
3791         instead of DECL_POINTER_ALIAS_SET.
3792         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
3793         * config/s390/s390.c (s390_gimplify_va_arg): Likewise.
3794         * config/spu/spu.c (spu_gimplify_va_arg_expr): Likewise.
3795
3796 2009-06-29  Richard Guenther  <rguenther@suse.de>
3797
3798         PR tree-optimization/40579
3799         * tree-vrp.c (vrp_evaluate_conditional): Bail out early if
3800         the IL to simplify has constants that overflowed.
3801
3802 2009-06-28  Uros Bizjak  <ubizjak@gmail.com>
3803
3804         PR tree-optimization/40550
3805         * tree-vect-generic.c (expand_vector_operations_1): Compute in
3806         vector_compute_type only when the size of vector_compute_type is
3807         less than the size of type.
3808
3809 2009-06-28  Eric Botcazou  <ebotcazou@adacore.com>
3810
3811         * fold-const.c (contains_label_1): Fix comments.
3812         (contains_label_p): Do not walk trees multiple time.
3813
3814 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
3815
3816         * config/i386/i386.h (enum ix86_fpcmp_strategy): New.
3817         * config/i386/i386.md (cbranchxf4, cstorexf4, cbranch<MODEF>4,
3818         cstore<MODEF>4, mov<X87MODEF>cc): Change predicate to
3819         ix86_fp_comparison_operator.
3820         (*fp_jcc_1_mixed, *fp_jcc_1_sse, *fp_jcc_1_387, *fp_jcc_2_mixed,
3821         *fp_jcc_2_sse, *fp_jcc_2_387): Delete
3822         (*fp_jcc_3_387, *fp_jcc_4_387, *fp_jcc_5_387, *fp_jcc_6_387,
3823         *fp_jcc_7_387, *fp_jcc_8<MODEF>_387): Eliminate call to
3824         !ix86_use_fcomi_compare, change ix86_fp_jump_nontrivial_p call
3825         to !TARGET_CMOVE, change predicate to ix86_fp_comparison_operator.
3826         (related splits): Change predicate to ix86_fp_comparison_operator.
3827         * config/i386/predicates.md: Use ix86_trivial_fp_comparison_operator
3828         instead of ix86_fp_comparison_codes.
3829         (ix86_trivial_fp_comparison_operator,
3830         ix86_fp_comparison_operator): New.
3831         * config/i386/i386-protos.h (ix86_fp_comparison_strategy): New.
3832         (ix86_expand_compare): Eliminate last two parameters.
3833         (ix86_fp_jump_nontrivial_p): Kill.
3834         * config/i386/i386.c (put_condition_code): Eliminate call to
3835         ix86_fp_comparison_codes and subsequent assertion.
3836         (ix86_fp_comparison_codes): Eliminate.
3837         (ix86_fp_swap_condition): New.
3838         (ix86_fp_comparison_arithmetics_cost, ix86_fp_comparison_fcomi_cost,
3839         ix86_fp_comparison_sahf_cost, ix86_use_fcomi_compare): Consolidate
3840         into ix86_fp_comparison_cost and ix86_fp_comparison_strategy.
3841         (ix86_prepare_fp_compare_args): Use ix86_fp_comparison_strategy
3842         and ix86_fp_swap_condition.
3843         (ix86_expand_fp_compare): Eliminate code for second jump/bypass jump.
3844         Use ix86_fp_comparison_strategy.
3845         (ix86_expand_compare): Likewise.  Eliminate last two arguments.
3846         (ix86_fp_jump_nontrivial_p): Eliminate.
3847         (ix86_expand_branch): Treat SFmode/DFmode/XFmode as simple.  Adjust
3848         call to ix86_expand_compare.
3849         (ix86_split_fp_branch, ix86_expand_setcc,
3850         ix86_expand_carry_flag_compare, ix86_expand_int_movcc,
3851         ix86_expand_fp_movcc): Eliminate code for second jump/bypass jump.
3852
3853 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
3854
3855         * config/arm/arm.c (arm_final_prescan_ins): Eliminate code
3856         related to jump_clobbers.
3857         * config/arm/arm.md (conds): Remove jump_clob case.
3858         (addsi3_cbranch, addsi3_cbranch_scratch, subsi3_cbranch, two
3859         splits): Change comparison_operator to arm_comparison_operator.
3860         (*arm_buneq, *arm_bltgt, *arm_buneq_reversed, *arm_bltgt_reversed):
3861         Eliminate.
3862
3863 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
3864
3865         * dojump.c (do_compare_rtx_and_jump): Try swapping the
3866         condition for floating point modes.
3867         * expmed.c (emit_store_flag_1): Move here a bigger part
3868         of emit_store_flag.
3869         (emit_store_flag): Try swapping the condition for floating point
3870         modes.
3871         * optabs.c (emit_cmp_and_jump_insns): Cope with constant op0 better.
3872
3873 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
3874
3875         * expr.c (expand_expr_real_1): Just use do_store_flag.
3876         (do_store_flag): Drop support for TRUTH_NOT_EXPR.  Use
3877         emit_store_flag_force.
3878         * expmed.c (emit_store_flag_force): Copy here trick
3879         previously in expand_expr_real_1.  Try reversing the comparison.
3880         (emit_store_flag_1): Work if target is NULL.
3881         (emit_store_flag): Work if target is NULL, using the result mode
3882         from the comparison.  Use split_comparison, restructure final part
3883         to simplify conditionals.
3884
3885 2009-06-28  Paolo Bonzini  <bonzini@gnu.org>
3886
3887         * builtins.c (expand_errno_check): Use do_compare_rtx_and_jump.
3888         * dojump.c (do_jump): Change handling of floating-point
3889         ops to use just do_compare_and_jump.
3890         (split_comparison): New.
3891         (do_compare_rtx_and_jump): Add here logic coming previously
3892         in do_jump, using split_comparison.
3893
3894 2009-06-27  H.J. Lu  <hongjiu.lu@intel.com>
3895
3896         PR target/40489
3897         * config/ia64/ia64.c (ia64_reorg): Check NULL insn.
3898
3899 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
3900
3901         * tree-ssa-alias.c: Fix unintentional commit.
3902
3903 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
3904
3905         * passes.c (execute_one_pass): Fix unintentional commit.
3906
3907 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
3908
3909         * df-problems.c (df_set_seen, df_unset_seen): Delete.
3910         (df_rd_local_compute, df_md_local_compute): Inline them.
3911
3912         (df_md_scratch): New.
3913         (df_md_alloc, df_md_free): Allocate/free it.
3914         (df_md_local_compute): Only include live registers in init.
3915         (df_md_transfer_function): Prune the in-set computed by
3916         the confluence function, and the gen-set too.
3917
3918 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
3919
3920         PR rtl-optimization/26854
3921         * timevar.def: Remove TV_DF_RU, add TV_DF_MD.
3922         * df-problems.c (df_rd_add_problem): Fix comment.
3923         (df_md_set_bb_info, df_md_free_bb_info, df_md_alloc,
3924         df_md_simulate_artificial_defs_at_top,
3925         df_md_simulate_one_insn, df_md_bb_local_compute_process_def,
3926         df_md_bb_local_compute, df_md_local_compute, df_md_reset,
3927         df_md_transfer_function, df_md_init, df_md_confluence_0,
3928         df_md_confluence_n, df_md_free, df_md_top_dump, df_md_bottom_dump,
3929         problem_MD, df_md_add_problem): New.
3930         * df.h (DF_MD, DF_MD_BB_INFO, struct df_md_bb_info, df_md,
3931         df_md_get_bb_info): New.
3932         (DF_LAST_PROBLEM_PLUS1): Adjust.
3933
3934         * Makefile.in (fwprop.o): Include domwalk.h.
3935         * fwprop.c: Include domwalk.h.
3936         (reg_defs, reg_defs_stack): New.
3937         (bitmap_only_bit_between): Remove.
3938         (process_defs): New.
3939         (process_uses): Use reg_defs and local_md instead of
3940         bitmap_only_bit_between and local_rd.
3941         (single_def_use_enter_block): New, from build_single_def_use_links.
3942         (single_def_use_leave_block): New.
3943         (build_single_def_use_links): Remove code moved to
3944         single_def_use_enter_block, invoke domwalk.
3945         (use_killed_between): Adjust comment.
3946
3947 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
3948
3949         * bitmap.h (bitmap_ior_and_into): New.
3950         * bitmap.c (bitmap_ior_and_into): New.
3951
3952 2009-06-27  Paolo Bonzini  <bonzini@gnu.org>
3953
3954         * domwalk.h (struct dom_walk_data): Remove all callbacks except
3955         before_dom_children_before_stmts and after_dom_children_after_stmts.
3956         Rename the two remaining callbacks to just before_dom_children and
3957         after_dom_children. Remove other GIMPLE statement walking bits.
3958         * domwalk.c (walk_dominator_tree): Remove now unsupported features.
3959         * graphite.c: Do not include domwalk.h.
3960         * tree-into-ssa.c (interesting_blocks): New global.
3961         (struct mark_def_sites_global_data): Remove it and names_to_rename.
3962         (mark_def_sites, rewrite_stmt, rewrite_add_phi_arguments,
3963         rewrite_update_stmt, rewrite_update_phi_arguments): Simplify
3964         now that they're not domwalk callbacks.
3965         (rewrite_initialize_block): Rename to...
3966         (rewrite_enter_block): ... this, place after called functions.  Test
3967         interesting_blocks, call rewrite_stmt and rewrite_add_phi_arguments.
3968         (rewrite_finalize_block): Rename to...
3969         (rewrite_leave_block): ... this, place after called functions.
3970         (rewrite_update_init_block): Rename to...
3971         (rewrite_update_enter_block): ... this, place after called functions.
3972         Test interesting_blocks, call rewrite_update_stmt and
3973         rewrite_update_phi_arguments.
3974         (rewrite_update_fini_block): Rename to...
3975         (rewrite_leave_block): ... this, place after called functions.
3976         (rewrite_blocks): Remove last argument, simplify initialization of
3977         walk_data.
3978         (mark_def_sites_initialize_block): Rename to...
3979         (mark_def_sites_block): ... this, call mark_def_sites.
3980         (mark_def_sites_blocks): Remove argument, simplify initialization of
3981         walk_data.
3982         (rewrite_into_ssa): Adjust for interesting_blocks_being a global.
3983         (update_ssa): Likewise.
3984         * tree-ssa-dom.c (optimize_stmt): Simplify now that it's not a domwalk
3985         callback.
3986         (tree_ssa_dominator_optimize): Simplify initialization of walk_data.
3987         (dom_opt_initialize_block): Rename to...
3988         (dom_opt_enter_block): ... this, place after called functions.  Walk
3989         statements here, inline propagate_to_outgoing_edges.
3990         (dom_opt_finalize_block): Rename to...
3991         (dom_opt_leave_block): ... this, place after called functions.
3992         * tree-ssa-dse.c (dse_optimize_stmt): Simplify now that it's not a
3993         domwalk callback.
3994         (dse_enter_block, dse_record_phi): New.
3995         (dse_record_phis): Delete.
3996         (dse_finalize_block): Rename to...
3997         (dse_leave_block): ... this.
3998         (tree_ssa_dse): Simplify initialization of walk_data.
3999         * tree-ssa-loop-im.c (determine_invariantness, move_computations):
4000         Adjust initialization of walk_data.
4001         * tree-ssa-loop-unswitch.c: Do not include domwalk.h.
4002         * tree-ssa-loop-phiopt.c (get_non_trapping):
4003         Adjust initialization of walk_data.