gcc/ChangeLog

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