gcc/ChangeLog

   1 2009-01-28  Andreas Krebbel  <krebbel1@de.ibm.com>
   2
   3         * config/s390/s390.md (bswap<mode>2): New pattern added.
   4
   5 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
   6
   7         * config/s390/s390.md (*tls_load_31): Added type attribute.
   8
   9 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
  10
  11         * config/s390/s390.md: Fix a few comments.
  12
  13 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
  14
  15         * config/s390/s390.md (*tmsi_reg): Fixed z10prop attribute.
  16         (*tm<mode>_full): Fixed z10prop attribute.
  17         (*tst<mode>_extimm): Fixed z10prop attribute.
  18         (*tst<mode>_cconly_extimm): Fixed z10prop attribute.
  19         (*tstqiCCT_cconly): Fixed z10prop attribute.
  20         (*cmpsi_ccu_zerohi_rlsi): Fixed z10prop attribute.
  21         (*movsi_larl): Fixed z10prop attribute.
  22         (*movsi_zarch): Fixed z10prop attribute.
  23         (*movsi_eas): Fixed z10prop attribute.
  24         (*movhi): Fixed z10prop attribute.
  25         (*movqi): Fixed z10prop attribute.
  26         (*movstrictqi): Fixed z10prop attribute.
  27         (*mov<mode>): Fixed z10prop attribute.
  28         (*movcc): Fixed z10prop attribute.
  29         (*sethighpartdi_64): Fixed z10prop attribute.
  30         (*zero_extendhi<mode>2_z10): Fixed z10prop attribute.
  31         (*negdi2_sign_cc): Fixed z10prop attribute.
  32         (*negdi2_sign): Fixed z10prop attribute.
  33         (*absdi2_sign_cc): Fixed z10prop attribute.
  34         (*absdi2_sign): Fixed z10prop attribute.
  35         (*negabsdi2_sign_cc): Fixed z10prop attribute.
  36         (*negabsdi2_sign): Fixed z10prop attribute.
  37         (*cmp_and_trap_signed_int<mode>): Fixed z10prop attribute.
  38         (*cmp_and_trap_unsigned_int<mode>): Fixed z10prop attribute.
  39         (doloop_si64): Fixed z10prop attribute.
  40         (doloop_si31): Fixed z10prop attribute.
  41         (doloop_long): Fixed z10prop attribute.
  42         (indirect_jump): Fixed z10prop attribute.
  43         (nop): Fixed z10prop attribute.
  44         (main_base_64): Fixed z10prop attribute.
  45         (reload_base_64): Fixed z10prop attribute.
  46
  47 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
  48
  49         PR rtl-optimization/38740
  50         * reorg.c (gate_handle_delay_slots): Avoid dbr scheduling
  51         if !optimize.
  52         * config/mips/mips.c (mips_reorg): Likewise.
  53
  54 2009-01-28  Richard Guenther  <rguenther@suse.de>
  55
  56         PR tree-optimization/38926
  57         * tree-ssa-pre.c (add_to_value): Assert we add only expressions
  58         with the correct value id to a value.
  59         (do_regular_insertion): Use the value number of edoubleprime
  60         for the value number of the expr.
  61
  62         Revert
  63         2008-08-21  Richard Guenther  <rguenther@suse.de>
  64
  65         * tree-ssa-pre.c (insert_into_preds_of_block): Before inserting
  66         a PHI ask VN if it is already available.
  67         * tree-ssa-sccvn.h (vn_phi_lookup): Declare.
  68         * tree-ssa-sccvn.c (vn_phi_lookup): Export.
  69
  70 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
  71
  72         PR middle-end/38934
  73         * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
  74         set to varying whenever max has TREE_OVERFLOW set, similarly
  75         for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.
  76
  77 2009-01-28  Richard Guenther  <rguenther@suse.de>
  78
  79         PR middle-end/38908
  80         * tree-ssa.c (warn_uninitialized_var): Do not warn for seemingly
  81         uninitialized aggregate uses in call arguments.
  82
  83 2009-01-28  Paolo Bonzini  <bonzini@gnu.org>
  84
  85         PR tree-optimization/38984
  86         * tree-ssa-structalias.c (get_constraints_for_1): Do not use
  87         the nothing_id variable if -fno-delete-null-pointer-checks.
  88
  89 2009-01-28  Uros Bizjak  <ubizjak@gmail.com>
  90
  91         PR target/38988
  92         * config/i386/i386.md (set_rip_rex64): Wrap operand 1 in label_ref.
  93         (set_got_offset_rex64): Ditto.
  94
  95 2009-01-27  H.J. Lu  <hongjiu.lu@intel.com>
  96
  97         PR target/38941
  98         * doc/extend.texi: Improve local variable with asm reg.
  99
 100 2009-01-27  Adam Nemet  <anemet@caviumnetworks.com>
 101
 102         * c.opt (Wpacked-bitfield-compat): Change init value to -1.
 103         * c-opts.c (c_common_post_options): If -W*packed-bitfield-compat
 104         was not supplied then set warn_packed_bitfield_compat to the
 105         default value of 1.
 106         * stor-layout.c (place_field): Check warn_packed_bitfield_compat
 107         against 1.
 108
 109 2009-01-27  Richard Guenther  <rguenther@suse.de>
 110
 111         PR tree-optimization/38503
 112         * cfgexpand.c (expand_gimple_basic_block): Ignore
 113         GIMPLE_CHANGE_DYNAMIC_TYPE during expansion.
 114         * tree-ssa-structalias.c (set_uids_in_ptset): Do not prune
 115         variables that cannot have TBAA applied.
 116         (compute_points_to_sets): Do not remove GIMPLE_CHANGE_DYNAMIC_TYPE
 117         statements.
 118
 119 2009-01-27 Uros Bizjak <ubizjak@gmail.com>
 120
 121         PR middle-end/38969
 122         * calls.c (initialize_argument_information): Do not wrap complex
 123         arguments in SAVE_EXPR.
 124
 125 2009-01-26  Andreas Tobler  <a.tobler@schweiz.org>
 126
 127         * config/t-vxworks (LIBGCC2_INCLUDES): Fix typo.
 128         (INSTALL_LIBGCC): Revert typo commit.
 129
 130 2009-01-26  Richard Guenther  <rguenther@suse.de>
 131
 132         PR tree-optimization/38745
 133         * tree-ssa-alias.c (update_alias_info_1): Exclude RESULT_DECL
 134         from special handling.
 135
 136 2009-01-26  Richard Guenther  <rguenther@suse.de>
 137
 138         PR tree-optimization/38745
 139         * tree-ssa.c (execute_update_addresses_taken): Do not include
 140         variables that cannot possibly be a register in not_reg_needs.
 141         Do not clear TREE_ADDRESSABLE on vars that may not become
 142         registers.
 143         * tree-ssa.c (update_alias_info_1): Include those in the set
 144         of addressable vars.
 145
 146 2009-01-26  Richard Guenther  <rguenther@suse.de>
 147
 148         PR middle-end/38851
 149         * Makefile.in (tree-ssa-dse.o): Add langhooks.h.
 150         * tree-ssa-dse.c: Include langhooks.h
 151         (execute_simple_dse): Remove stores with zero size.
 152
 153 2009-01-24  Jakub Jelinek  <jakub@redhat.com>
 154
 155         PR c/38957
 156         * c-typeck.c (c_finish_return): Handle POINTER_PLUS_EXPR the same way
 157         as PLUS_EXPR.
 158
 159 2009-01-24  Julian Brown  <julian@codesourcery.com>
 160
 161         * config/arm/t-linux-eabi (LIB2FUNCS_STATIC_EXTRA): Add
 162         config/arm/linux-atomic.c.
 163         * config/arm/linux-atomic.c: New.
 164
 165 2009-01-24  Eric Botcazou  <ebotcazou@adacore.com>
 166
 167         * config/sparc/linux.h (DBX_REGISTER_NUMBER): Delete.
 168         * config/sparc/linux64.h (DBX_REGISTER_NUMBER): Likewise.
 169         * config/sparc/sysv4.h (DBX_REGISTER_NUMBER): Likewise.
 170
 171 2009-01-24  H.J. Lu  <hongjiu.lu@intel.com>
 172
 173         PR c/38938
 174         * c-opts.c (c_common_handle_option): Update warn_pointer_sign
 175         properly.
 176
 177 2009-01-24  Sebastian Pop  <sebastian.pop@amd.com>
 178
 179         PR tree-optimization/38953
 180         * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
 181         (scop_adjust_phis_for_liveouts): Initialize false_i to zero.
 182         (gloog): Split the exit of the scop when the scop exit is a loop exit.
 183         (graphite_transform_loops): Only call cleanup_tree_cfg if gloog
 184         changed the CFG.
 185
 186 2009-01-24  Paul Brook  <paul@codesourcery.com>
 187
 188         * config/arm/neon.md (neon_type): Move to arm.md.
 189         (neon_mov<VSTRUCT>): Add neon_type attribute.
 190         * config/arm/arm.md (neon_type): Move to here.
 191         (conds): Add "unconditioal" and use as default for NEON insns.
 192
 193 2009-01-24  Ben Elliston  <bje@au.ibm.com>
 194
 195         * bitmap.h (BITMAP_FREE): Eliminate `implicit conversion from
 196         void *' warning from -Wc++-compat.
 197         * Makefile.in (dominance.o-warn): Remove.
 198
 199 2008-01-23  Paolo Bonzini  <bonzini@gnu.org>
 200
 201         PR tree-optimization/38932
 202         * fold-const.c (fold_unary_ignore_overflow): New.
 203         * tree.h (fold_unary_ignore_overflow): Declare.
 204         * tree-ssa-ccp.c (ccp_fold): Use fold_unary_ignore_overflow.
 205         * tree-ssa-sccvn.c (visit_reference_op_load,
 206         simplify_unary_expression): Likewise.
 207
 208 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
 209
 210         * c-decl.c (finish_struct): Move code to set DECL_PACKED after
 211         DECL_BIT_FIELD is alreay known.  Also inherit packed for bitfields
 212         regardless of their type.
 213         * c-common.c (handle_packed_attribute): Don't ignore packed on
 214         bitfields.
 215         * c.opt (Wpacked-bitfield-compat): New warning option.
 216         * stor-layout.c (place_field): Warn if offset of a field changed.
 217         * doc/extend.texi (packed): Mention the ABI change.
 218         * doc/invoke.texi (-Wpacked-bitfield-compat): Document.
 219         (Warning Options): Add it to the list.
 220
 221 2009-01-22  H.J. Lu  <hongjiu.lu@intel.com>
 222
 223         * c-opts.c (c_common_post_options): Fix a typo in comments.
 224
 225 2009-01-22  Steve Ellcey  <sje@cup.hp.com>
 226
 227         PR middle-end/38615
 228         * gimplify.c (gimplify_init_constructor): Fix promotion of const
 229         variables to static.
 230         * doc/invoke.texi (-fmerge-all-constants): Update description.
 231
 232 2009-01-22  Uros Bizjak  <ubizjak@gmail.com>
 233
 234         PR target/38931
 235         * config/i386/i386.md (*movsi_1): Use type "mmx" for alternative 2.
 236         (*movdi_1_rex64): Use type "mmx" for alternative 5.
 237
 238 2009-01-22  Richard Earnshaw  <rearnsha@arm.com>
 239
 240         * arm.h (DATA_ALIGNMENT): Align structures, unions and arrays to
 241         a word boundary.
 242         (LOCAL_ALIGNMENT): Similarly.
 243
 244 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
 245             Joseph Myers  <joseph@codesourcery.com>
 246
 247         * config/arm/arm.c (all_architectures): Add iWMMXt2 entry.
 248         * config/arm/arm-cores.def: New ARM_CORE entry for iWMMXt2.
 249         * config/arm/arm-tune.md: Regenerate.
 250         * doc/invoke.texi (ARM Options): Document -mcpu=iwmmxt2 and
 251         -march=iwmmxt2.
 252
 253 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
 254
 255         * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Bump EABI
 256         version number to five.
 257
 258 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
 259
 260         PR c++/38930
 261         * c-decl.c: (clone_underlying_type): Revert PR c++/26693 changes.
 262         * c-common.c (set_underlying_type): Likewise.
 263         (is_typedef_decl ): Likewise
 264         * tree.h: Likewise
 265         (set_underlying_type): Likewise.
 266         (is_typedef_type): Likewise.
 267
 268 2009-01-21  Vladimir Makarov  <vmakarov@redhat.com>
 269
 270         PR middle-end/38587
 271         * ira-color.c (coalesce_spill_slots): Don't coalesce allocnos
 272         crossing setjmps.
 273
 274 2009-01-21  Dave Korn  <dave.korn.cygwin@gmail.com>
 275
 276         PR bootstrap/37660
 277         * config/i386/cygwin.h (SHARED_LIBGCC_SPEC):  New helper macro.
 278         (LIBGCC_SPEC):  Don't define.
 279         (REAL_LIBGCC_SPEC):  Define instead, using SHARED_LIBGCC_SPEC.
 280
 281 2009-01-21  Uros Bizjak  <ubizjak@gmail.com>
 282
 283         PR rtl-optimization/38879
 284         * alias.c (base_alias_check): Unaligned access via AND address can
 285         alias all surrounding object types except those with sizes equal
 286         or wider than the size of unaligned access.
 287
 288 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
 289
 290         PR c++/26693
 291         * c-decl.c: (clone_underlying_type): Move this ...
 292         * c-common.c (set_underlying_type): ... here.
 293         Also, make sure the function properly sets TYPE_STUB_DECL() on
 294         the newly created typedef variant type.
 295         (is_typedef_decl ): New entry point.
 296         * tree.h: Added a new member member_types_needing_access_check to
 297         struct tree_decl_non_common.
 298         (set_underlying_type): New entry point.
 299         (is_typedef_type): Likewise.
 300
 301 2009-01-21  Bingfeng Mei  <bmei@broadcom.com>
 302
 303         * alias.c (walk_mems_1, walk_mems_2, insn_alias_sets_conflict_p):
 304         Check whether two instructions have memory references that
 305         belong to conflicting alias sets.  walk_mems_1 and walk_mems_2
 306         are helper functions for traversing.
 307         * alias.h (insn_alias_sets_confilict_p): New prototypes.
 308         * ddg.c (add_inter_loop_mem_dep): Call insn_alias_sets_conflict_p
 309         not to draw dependency edge for instructions with non-conflicting
 310         alias sets.
 311
 312 2009-01-20  Joseph Myers  <joseph@codesourcery.com>
 313
 314         PR other/38758
 315         * longlong.h: Update copyright years.  Use soft-fp license
 316         notice.  Sync __clz_tab declaration with glibc.
 317
 318 2009-01-20  Steve Ellcey  <sje@cup.hp.com>
 319
 320         PR target/30687
 321         * doc/extend.texi (syscall_linkage): New.
 322         (version_id): Modify.
 323
 324 2009-01-20  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 325             Richard Guenther  <rguenther@suse.de>
 326
 327         PR tree-optimization/38747
 328         PR tree-optimization/38748
 329         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Disable the VCE
 330         conversion if the base address is an indirect reference and the
 331         aliasing sets could cause issues.
 332
 333 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
 334
 335         * common.opt (fgraphite, fgraphite-identity): Add comment for
 336         explaining why these options are not documented.
 337
 338 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
 339
 340         * graphite.c (stmt_simple_for_scop_p): Also handle cases when
 341         gimple_call_lhs is NULL.
 342
 343 2008-01-20  Paolo Bonzini  <bonzini@gnu.org>
 344
 345         PR target/38868
 346         * emit-rtl.c (adjust_address_1): Make sure memref is never
 347         overwritten.
 348
 349 2009-01-20  Ben Elliston  <bje@au.ibm.com>
 350
 351         * libgcov.c (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
 352         const qualifier from arg parameter. Remove unnecessary cast to char *.
 353         * gcov-io.h (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
 354         const qualifier from arg 2.
 355
 356 2009-01-19  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>
 357
 358         * config/darwin.h: Add static-libgfortran to LINK_SPEC.
 359
 360 2009-01-19  Vladimir Makarov  <vmakarov@redhat.com>
 361
 362         PR c/38869
 363         * rtl.h (reinit_regs): New prototype.
 364         * regclass.c: Include ira.h.
 365         (reinit_regs): New.
 366         * Makefile.in (regclass.o): Add ira.h.
 367         * config/i386/i386.c (ix86_maybe_switch_abi): Use reinit_regs.
 368
 369 2009-01-18  H.J. Lu  <hongjiu.lu@intel.com>
 370
 371         PR target/38736
 372         * c-common.c (handle_aligned_attribute): Use
 373         ATTRIBUTE_ALIGNED_VALUE instead of BIGGEST_ALIGNMENT for
 374         default alignment value.
 375
 376         * c-cppbuiltin.c (c_cpp_builtins): Define __BIGGEST_ALIGNMENT__.
 377
 378         * defaults.h (ATTRIBUTE_ALIGNED_VALUE): New.
 379         * config/i386/i386.h (ATTRIBUTE_ALIGNED_VALUE): Likewise.
 380
 381         * doc/extend.texi: Update __attribute__ ((aligned)).  Document
 382         __BIGGEST_ALIGNMENT__.
 383
 384         * doc/tm.texi: Document ATTRIBUTE_ALIGNED_VALUE.
 385
 386 2009-01-18  Richard Guenther  <rguenther@suse.de>
 387
 388         PR tree-optimization/38819
 389         * tree-flow.h (operation_could_trap_helper_p): Declare.
 390         * tree-eh.c (operation_could_trap_helper_p): Export.
 391         * tree-ssa-sccvn.h (vn_nary_may_trap): Declare.
 392         * tree-ssa-sccvn.c (vn_nary_may_trap): New function.
 393         * tree-ssa-pre.c (insert_into_preds_of_block): Check if we
 394         are about to insert a possibly trapping instruction and fail
 395         in this case.
 396
 397 2009-01-18  Andreas Schwab  <schwab@suse.de>
 398
 399         * doc/install.texi (Configuration): Remove obsolete paragraph
 400         about use of --with-gnu-ld with --with-gnu-as.
 401
 402 2009-01-18  Kazu Hirata  <kazu@codesourcery.com>
 403
 404         * doc/extend.texi, doc/gimple.texi, doc/invoke.texi,
 405         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi: Fix typos.
 406         Follow spelling conventions.
 407
 408 2009-01-18  Ben Elliston  <bje@au.ibm.com>
 409
 410         * bitmap.c (bitmap_obstack_alloc_stat): Adjust cast to eliminate
 411         C++ warning about implicit conversion from void * to struct
 412         bitmap_head_def *.
 413         (bitmap_obstack_free): Likewise for bitmap_element *.
 414         * Makefile.in (bitmap.o-warn): Remove.
 415
 416 2009-01-17  Dave Korn  <dave.korn.cygwin@gmail.com>
 417
 418         * Makefile.in (BACKENDLIBS):  Reorder to match dependencies.
 419
 420 2009-01-17  Sebastian Pop  <sebastian.pop@amd.com>
 421             Tobias Grosser  <tobi.grosser@amd.com>
 422
 423         * graphite.c (graphite_trans_scop_block): Do not block single
 424         nested loops.
 425
 426 2009-01-16  Alexandre Oliva  <aoliva@redhat.com>
 427
 428         * ebitmap.h (ebitmap_iter_init): Initialize all fields.
 429         * ipa-struct-reorg.c (gen_struct_type): Replace known-true
 430         test with assertion.
 431
 432 2009-01-16  Richard Guenther  <rguenther@suse.de>
 433
 434         PR tree-optimization/38835
 435         PR middle-end/36227
 436         * fold-const.c (fold_binary): Remove PTR + INT -> (INT)(PTR p+ INT)
 437         and INT + PTR -> (INT)(PTR p+ INT) folding.
 438         * tree-ssa-address.c (create_mem_ref): Properly use POINTER_PLUS_EXPR.
 439
 440 2009-01-16  Adam Nemet  <anemet@caviumnetworks.com>
 441
 442         PR target/38554
 443         * expmed.c (expand_shift): With SHIFT_COUNT_TRUNCATED, don't lift
 444         the subreg from a lowpart subreg if it is also casting the value.
 445
 446 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
 447             Tobias Grosser  <tobi.grosser@amd.com>
 448
 449         * graphite.c (compare_prefix_loops): New.
 450         (build_scop_canonical_schedules): Rewritten.
 451         (graphite_transform_loops): Move build_scop_canonical_schedules
 452         after build_scop_iteration_domain.
 453
 454 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
 455             Tobias Grosser  <tobi.grosser@amd.com>
 456
 457         * graphite.c (add_conditions_to_domain): Add the loops to
 458         the dimension of the iteration domain.  Do copy the domain
 459         only when it exists.
 460         (build_scop_conditions_1): Do not call add_conditions_to_domain.
 461         (add_conditions_to_constraints): New.
 462         (can_generate_code_stmt, can_generate_code): Removed.
 463         (gloog): Do not call can_generate_code.
 464         (graphite_transform_loops): Call add_conditions_to_constraints
 465         after building the iteration domain.
 466
 467 2009-01-16  Jakub Jelinek  <jakub@redhat.com>
 468
 469         PR tree-optimization/38789
 470         * tree-ssa-threadedge.c
 471         (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
 472         __builtin_constant_p.
 473
 474 2009-01-16  Kenneth Zadeck <zadeck@naturalbridge.com>
 475
 476         * dce.c (delete_unmarked_insns): Reversed the order that insns are
 477         examined before deleting them.
 478
 479 2009-01-16  Richard Earnshaw  <rearnsha@arm.com>
 480
 481         * function.c (aggregate_value_p): Correctly extract the function
 482         type from CALL_EXPR_FN lookup.
 483
 484 2009-01-16  Hariharan Sandanagobalane <hariharan@picochip.com>
 485
 486         * config/picochip/picochip.c (picochip_override_options): Revert
 487         CFI asm flag disable commited previously.
 488
 489 2009-01-15  Sebastian Pop  <sebastian.pop@amd.com>
 490             Tobias Grosser  <tobi.grosser@amd.com>
 491             Jan Sjodin  <jan.sjodin@amd.com>
 492
 493         * graphite.c (scan_tree_for_params): On substractions negate
 494         all the coefficients of the term.
 495         (clast_to_gcc_expression_red): New.  Handle reduction expressions
 496         of more than two operands.
 497         (clast_to_gcc_expression): Call clast_to_gcc_expression_red.
 498         (get_vdef_before_scop): Handle also the case of default definitions.
 499
 500 2009-01-15  Richard Sandiford  <rdsandiford@googlemail.com>
 501
 502         * caller-save.c (add_used_regs_1, add_used_regs): New functions.
 503         (insert_one_insn): Use them instead of REG_DEAD and REG_INC notes.
 504         Also use them when walking CALL_INSN_FUNCTION_USAGE.
 505
 506 2009-01-15  H.J. Lu  <hongjiu.lu@intel.com>
 507             Joey Ye  <joey.ye@intel.com>
 508
 509         PR middle-end/37843
 510         * cfgexpand.c (expand_stack_alignment): Don't update stack
 511         boundary nor check incoming stack boundary here.
 512         (gimple_expand_cfg): Update stack boundary and check incoming
 513         stack boundary here.
 514
 515 2009-01-15  Kenneth Zadeck <zadeck@naturalbridge.com>
 516
 517         * dce.c (find_call_stack_args, delete_unmarked_insns): Fixed comments.
 518
 519 2009-01-14  Jakub Jelinek  <jakub@redhat.com>
 520
 521         PR rtl-optimization/38245
 522         * calls.c (expand_call): Add stack arguments to
 523         CALL_INSN_FUNCTION_USAGE even for pure calls (when
 524         ACCUMULATE_OUTGOING_ARGS) and even for args partially passed
 525         in regs and partially in memory or BLKmode arguments.
 526         (emit_library_call_value_1): Add stack arguments to
 527         CALL_INSN_FUNCTION_USAGE even for pure calls (when
 528         ACCUMULATE_OUTGOING_ARGS).
 529         * dce.c: Include tm_p.h.
 530         (find_call_stack_args): New function.
 531         (deletable_insn_p): Call it for CALL_P insns.  Add ARG_STORES
 532         argument.
 533         (mark_insn): Call find_call_stack_args for CALL_Ps.
 534         (prescan_insns_for_dce): Walk insns backwards in bb rather than
 535         forwards.  Allocate and free arg_stores bitmap if needed, pass it
 536         down to deletable_insn_p, don't mark stores set in arg_stores
 537         bitmap, clear the bitmap at the beginning of each bb.
 538         * Makefile.in (dce.o): Depend on $(TM_P_H).
 539
 540 2009-01-14  Michael Meissner  <gnu@the-meissners.org>
 541
 542         PR target/22599
 543         * config/i386/i386.c (print_operand): Add tests for 'D', 'C', 'F', 'f'
 544         to make sure the insn is a conditional test (bug 22599).  Reformat a
 545         few long lines.
 546
 547 2009-01-14  Sebastian Pop  <sebastian.pop@amd.com>
 548
 549         PR middle-end/38431
 550         * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
 551         (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
 552         (gloog): Do not call cleanup_tree_cfg.
 553         (graphite_transform_loops): Call cleanup_tree_cfg after all
 554         scops have been code generated.
 555
 556 2009-01-14  Basile Starynkevitch  <basile@starynkevitch.net>
 557         * doc/gty.texi (Invoking the garbage collector): Added new node
 558         and section documenting ggc_collect.
 559
 560 2009-01-14  Richard Guenther  <rguenther@suse.de>
 561
 562         PR tree-optimization/38826
 563         PR middle-end/38477
 564         * tree-ssa-structalias.c (emit_alias_warning): Emit the pointer
 565         initialization notes only if we actually emitted a warning.
 566         (intra_create_variable_infos): Add constraints for a result decl
 567         that is passed by hidden reference.
 568         (build_pred_graph): Mark all related variables non-direct on
 569         address-taking.
 570
 571 2009-01-14  Nick Clifton  <nickc@redhat.com>
 572
 573         * ira-conflicts.c: Include addresses.h for the definition of
 574         base_reg_class.
 575         (ira_build_conflicts): Use base_reg_class instead of BASE_REG_CLASS.
 576         * Makefile.in: Add a dependency of ira-conflicts.o on addresses.h.
 577
 578 2009-01-13  Vladimir Makarov  <vmakarov@redhat.com>
 579
 580         PR target/38811
 581         * Makefile.in (ira-lives.o): Add except.h.
 582
 583         * ira-lives.c: Include except.h.
 584         (process_bb_node_lives): Process can_throw_internal.
 585
 586 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
 587
 588         PR rtl-optimization/38774
 589         * combine.c (simplify_set): When undoing cc_use change, don't do
 590         PUT_CODE on the newly created comparison, but instead put back the
 591         old comparison.
 592
 593 2009-01-13  Joseph Myers  <joseph@codesourcery.com>
 594
 595         * doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
 596         values.  Remove duplicate arm8 entry.
 597
 598 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
 599
 600         PR tree-optimization/38786
 601         * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
 602         the SSA_NAME case of expand_scalar_variables_expr.
 603         Set the type of an expression to the type of its assign statement.
 604         (expand_scalar_variables_expr): Also gather the scalar computation
 605         used to index the memory access.  Do not pass loop_p.
 606         Fix comment.  Stop recursion on tcc_constant or tcc_declaration.
 607         (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
 608         the gimple_stmt_iterator where it inserts new code.
 609         Do not pass loop_p.
 610         (copy_bb_and_scalar_dependences): Do not pass loop_p.
 611         (translate_clast): Update call to copy_bb_and_scalar_dependences.
 612
 613 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
 614
 615         * graphite.h (debug_value): Removed.
 616         * graphite.c (debug_value): Removed.
 617
 618 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
 619
 620         * config/arm/arm.c (output_move_double): Don't synthesize thumb-2
 621         ldrd/strd with two 32-bit instructions.
 622
 623 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
 624
 625         * config/arm/arm.c (struct processors): Pass for speed down into
 626         cost helper functions.
 627         (const_ok_for_op): Handle COMPARE and inequality nodes.
 628         (arm_rtx_costs_1): Rewrite.
 629         (arm_size_rtx_costs): Update prototype.
 630         (arm_rtx_costs): Pass speed down to helper functions.
 631         (arm_slowmul_rtx_costs): Rework cost calculations.
 632         (arm_fastmul_rtx_costs, arm_xscale_rtx_costs): Likewise.
 633         (arm_9e_rtx_costs): Likewise.
 634
 635 2009-01-13  Uros Bizjak  <ubizjak@gmail.com>
 636
 637         * config/alpha/alpha.c (alpha_legitimate_address_p): Explicit
 638         relocations of local symbols wider than UNITS_PER_WORD are not valid.
 639         (alpha_legitimize_address): Do not split local symbols wider than
 640         UNITS_PER_WORD into HIGH/LO_SUM parts.
 641
 642 2009-01-13  Danny Smith  <dannysmith@users.sourceforge.net>
 643
 644         PR bootstrap/38580
 645         * gcc.c (process_command): Replace call to execvp with calls
 646         to pex_one and exit.
 647
 648 2009-01-03  Anatoly Sokolov  <aesok@post.ru>
 649
 650         PR target/29141
 651         * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm.
 652         * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add
 653         variant for devices with 3-byte PC.
 654         (__tablejump_elpm__) : New.
 655
 656 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
 657
 658         PR c/32041
 659         * c-parser.c (c_parser_postfix_expression): Allow `->' in
 660         offsetof member-designator, handle it as `[0].'.
 661
 662 2009-01-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 663
 664         * pa.c (pa_asm_output_mi_thunk): Use pc-relative branch to thunk
 665         function when not using named sections on targets with named sections
 666         if branch distance is less than 262132.
 667
 668 2009-01-12  Richard Earnshaw  <rearnsha@arm.com>
 669
 670         * combine.c (combine_instructions):  Recompute
 671         optimize_this_for_speed_p  for each BB in the main combine loop.
 672
 673 2009-01-12  Tomas Bily  <tbily@suse.cz>
 674
 675         PR middlend/38385
 676         * tree-loop-distribution.c (prop_phis): New function.
 677         (generate_builtin): Call prop_phis.
 678         * testsuite/gcc.dg/tree-ssa/pr38385.c: New file.
 679
 680 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
 681
 682         PR tree-optimization/38807
 683         * tree-ssa-reassoc.c (remove_visited_stmt_chain): Don't look at
 684         gimple_visited_p unless stmt is GIMPLE_ASSIGN.
 685
 686 2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
 687
 688         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
 689         subreg of op0 to the original op0.
 690
 691 2009-01-11  Laurent GUERBY <laurent@guerby.net>
 692
 693         * doc/sourcebuild.texi (Source Tree): Move up intl and fixinc.
 694
 695 2009-01-11  Markus Schoepflin  <markus.schoepflin@comsoft.de>
 696
 697         PR debug/7055
 698         * gcc/mips-tfile.c (parse_def): Fix parsing of def strings
 699         starting with digits.
 700
 701 2009-01-10  Jakub Jelinek  <jakub@redhat.com>
 702
 703         PR target/38695
 704         * config/arm/arm.c (arm_is_long_call_p): Don't call
 705         arm_function_in_section_p if decl isn't a FUNCTION_DECL.
 706
 707 2009-01-09  Steven Bosscher  <steven@gcc.gnu.org>
 708
 709         * regrename.c (regrename_optimize): Fix dumping.
 710         (find_oldest_value_reg): Preserve REG_POINTER.
 711         (copy_hardreg_forward_1): Likewise.
 712
 713 2009-01-09  Diego Novillo  <dnovillo@google.com>
 714
 715         * gimple.h (struct gimple_statement_base)<uid>: Document
 716         the restrictions on its use.
 717         (gimple_uid): Tidy.
 718         (gimple_set_uid): Tidy.
 719
 720 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
 721
 722         * config/i386/i386.c (ix86_expand_movmem, ix86_expand_setmem): Add
 723         zero guard even if align_bytes != 0 and count is smaller than
 724         size_needed.
 725
 726 2008-01-09  Vladimir Makarov  <vmakarov@redhat.com>
 727
 728         PR rtl-optimization/38495
 729         * ira-emit.c (print_move_list, ira_debug_move_list): New functions.
 730         (add_range_and_copies_from_move_list): Print all added ranges.
 731         Add ranges to memory optimized destination.
 732
 733 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
 734
 735         PR target/38686
 736         PR target/38708
 737         * config/i386/i386.c (override_options): Reject
 738         -mstringop-strategy=rep_8byte with -m32.
 739         (ix86_expand_movmem): For size_needed == 1 set epilogue_size_needed
 740         to 1.  Do count comparison against epilogue_size_needed at compile
 741         time even when count_exp was constant forced into register.  For
 742         size_needed don't jump to epilogue, instead just avoid aligning
 743         and invoke the body algorithm.  If need_zero_guard, add zero guard
 744         even if count is non-zero, but smaller than size_needed + number of
 745         bytes that could be stored for alignment.
 746         (ix86_expand_setmem): For size_needed == 1 set epilogue_size_needed
 747         to 1.  If need_zero_guard, add zero guard even if count is non-zero,
 748         but smaller than size_needed + number of bytes that could be stored
 749         for alignment.  Compare size_needed with epilogue_size_needed instead
 750         of desired_align - align, don't adjust size_needed, pass
 751         epilogue_size_needed to the epilogue expanders.
 752
 753         PR c/35742
 754         * c-pretty-print.c (pp_c_expression): Handle GOTO_EXPR like BIND_EXPR.
 755
 756 2009-01-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 757
 758         * pa.c (last_address): Change to unsigned.
 759         (update_total_code_bytes): Change argument to unsigned.  Don't
 760         check if insn addresses are set.
 761         (pa_output_function_epilogue): Set last_address to UINT_MAX if insn
 762         addresses are not set.
 763         (pa_asm_output_mi_thunk): Handle wrap when updating last_address.
 764
 765 2009-01-09  Nick Clifton  <nickc@redhat.com>
 766
 767         * config/sh/symbian.c: Replace uses of DECL_INLINE with
 768         DECL_DECLARED_INLINE_P.
 769
 770 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
 771
 772         PR middle-end/38347
 773         * dojump.c (do_jump_by_parts_zero_rtx): Use mode instead of
 774         GET_MODE (op0) in operand_subword_force calls.
 775
 776         PR middle-end/38771
 777         * fold-const.c (fold_unary): For COMPOUND_EXPR and COND_EXPR,
 778         fold_convert arg0 operands to TREE_TYPE (op0) first.
 779
 780 2009-01-08  Vladimir Makarov  <vmakarov@redhat.com>
 781
 782         * params.def (ira-max-conflict-table-size): Decrease default value
 783         to 1000.
 784
 785 2009-01-08  Jakub Jelinek  <jakub@redhat.com>
 786
 787         PR tree-optimization/37031
 788         * lambda-code.c (lambda_collect_parameters): Call pointer_set_destroy
 789         on parameter_set.
 790         (build_access_matrix): Reserve correct size for AM_MATRIX vector,
 791         allocate it using gc instead of heap, use VEC_quick_push instead of
 792         VEC_safe_push.
 793         * graphite.c (build_access_matrix): Allocate AM_MATRIX vector using gc
 794         instead of heap, use VEC_quick_push instead of VEC_safe_push.
 795         * tree-data-ref.h (struct access_matrix): Change matrix to gc
 796         allocated vector from heap allocated.
 797         * lambda.h: Add DEF_VEC_ALLOC_P for gc allocated lambda_vector.
 798         * tree-loop-linear.c (linear_transform_loops): Allocate nest
 799         vector only after perfect_loop_nest_depth call.
 800
 801 2009-01-08  Sebastian Pop  <sebastian.pop@amd.com>
 802             Jan Sjodin  <jan.sjodin@amd.com>
 803
 804         PR tree-optimization/38559
 805         * graphite.c (debug_value, copy_constraint,
 806         swap_constraint_variables, scale_constraint_variable, ): New.
 807         (get_lower_bound, get_upper_bound): Removed.
 808         (graphite_trans_bb_strip_mine): Clean up this code that works
 809         only for constant number of iterations.  Fully copy upper and
 810         lower bound constraints, not only the constant part of them.
 811         * graphite.h (debug_value): Declared.
 812
 813 2009-01-08  Ira Rosen  <irar@il.ibm.com>
 814
 815         PR tree-optimization/37194
 816         * tree-vect-transform.c (vect_estimate_min_profitable_iters):
 817         Don't add the cost of cost model guard in prologue to scalar
 818         outside cost in case of known number of iterations.
 819
 820 2009-01-07  Nathan Froyd  <froydnj@codesourcery.com>
 821             Alan Modra  <amodra@bigpond.net.au>
 822
 823         * config/rs6000/rs6000.c (rs6000_legitimize_address): Check for
 824         non-word-aligned REG+CONST addressing.
 825
 826 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
 827
 828         PR target/38706
 829         * config/alpha/alpha.c (alpha_end_function): For TARGET_ABI_OSF, call
 830         free_after_compilation when outputting a thunk.
 831         (alpha_output_mi_thunk_osf): Assert that we are processing a thunk.
 832         Do not call free_after_compilation here.
 833
 834 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
 835
 836         * config/i386/i386.c (ix86_target_string): Use ARRAY_SIZE.
 837         (ix86_valid_target_attribute_inner_p): Ditto.
 838
 839 2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>
 840
 841         PR tree-optimization/38492
 842         PR tree-optimization/38498
 843         * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
 844         * tree-chrec.h (scev_is_linear_expression): Declared.
 845         * graphite.c (graphite_cannot_represent_loop_niter): New.
 846         (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
 847         (graphite_loop_normal_form): Use gcc_assert.
 848         (scan_tree_for_params): Use CASE_CONVERT.
 849         (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
 850         (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
 851         Use gcc_assert.  Discard scops that contain unhandled cases.
 852         (build_scop_conditions): Return a boolean status for unhandled cases.
 853         (strip_mine_profitable_p): Print the loop number, not its depth.
 854         (is_interchange_valid): Pass the depth of the loop nest, don't
 855         recompute it wrongly.
 856         (graphite_trans_bb_block): Same.
 857         (graphite_trans_bb_block): Print tentative of loop blocking.
 858         (graphite_trans_scop_block): Do not print that the loop has been
 859         blocked.
 860         (graphite_transform_loops): Do not handle scops that contain condition
 861         scalar phi nodes.
 862
 863 2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>
 864
 865         AVX Programming Reference (December, 2008)
 866         * config/i386/avxintrin.h (_mm256_stream_si256): New.
 867         (_mm256_stream_pd): Likewise.
 868         (_mm256_stream_ps): Likewise.
 869
 870         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
 871         IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
 872         (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
 873         (bdesc_special_args): Add __builtin_ia32_movntdq256,
 874         __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
 875         (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
 876         (ix86_expand_special_args_builtin): Likewise.
 877
 878         * config/i386/sse.md (AVXMODEDI): New.
 879         (avx_movnt<mode>): Likewise.
 880         (avx_movnt<mode>): Likewise.
 881         (<sse>_movnt<mode>): Remove AVX support.
 882         (sse2_movntv2di): Likewise.
 883
 884 2009-01-07  Richard Guenther  <rguenther@suse.de>
 885
 886         PR middle-end/38751
 887         * fold-const.c (extract_muldiv): Remove obsolete comment.
 888         (fold_plusminus_mult_expr): Undo MINUS_EXPR
 889         to PLUS_EXPR canonicalization for the canonicalization.
 890
 891 2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>
 892
 893         * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
 894         hosted cross-compilers generating less efficient code.
 895
 896 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
 897
 898         * function.h (rtl_data): Add a dbr_scheduled_p field.
 899         * reorg.c (dbr_schedule): Set it.
 900         (gate_handle_delay_slots): Check it.
 901         * config/mips/mips.c (mips_base_delayed_branch): Delete.
 902         (mips_reorg): Check flag_delayed_branch instead of
 903         mips_base_delayed_branch.
 904         (mips_override_options): Don't set mips_base_delayed_branch
 905         or flag_delayed_branch.
 906
 907 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
 908
 909         PR rtl-optimization/38426.
 910         * ira.c (ira): Set current_function_is_leaf earlier.
 911
 912 2009-01-06  Jakub Jelinek  <jakub@redhat.com>
 913
 914         PR rtl-optimization/38722
 915         * combine.c (try_combine): Don't modify PATTERN (i3) and notes
 916         too early, only set a flag and modify after last possible
 917         undo_all point.
 918
 919 2009-01-06  Janis Johnson  <janis187@us.ibm.com>
 920
 921         PR c/34252
 922         * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
 923         * real.c (decimal_single_format): Correct values of emin and emax.
 924         (decimal_double_format): Ditto.
 925         (decimal_quad_format): Ditto.
 926         * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
 927         computation of DECnn_MIN and DECnn_MAX for corrected values of
 928         emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
 929         __DECnn_MIN__, and adjust its computation for the corrected value
 930         of emin.
 931
 932 2009-01-06  Jan Hubicka  <jh@suse.cz>
 933
 934         PR target/38744
 935         * config/i386/i386.c (ix86_expand_call): Use ARRAY_SIZE.
 936
 937 2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>
 938
 939         * doc/contrib.texi (Contributors): Slightly adjust the end note.
 940         Add Robert Clark to the list of testers.
 941
 942 2009-01-06  Jan Hubicka  <jh@suse.cz>
 943             Kai Tietz <kai.tietz@onevision.com>
 944
 945         * config/i386/i386.md (*msabi_syvabi): Add SSE regs clobbers.
 946         * config/i386/i386.c (ix86_expand_call): Add clobbers.
 947
 948 2009-01-06  Jan Hubicka  <jh@suse.cz>
 949             Kai Tietz <kai.tietz@onevision.com>
 950
 951         * config/i386/i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used
 952         for w64 ABI.
 953         * config/i386/i386.c (struct ix86_frame): Add padding0 and nsseregs.
 954         (ix86_nsaved_regs): Count only general purpose regs.
 955         (ix86_nsaved_sseregs): New.
 956         (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
 957         to 16 for w64; compute padding and size of sse reg save area.
 958         (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only
 959         general purpose regs.
 960         (ix86_emit_save_sse_regs_using_mov): New.
 961         (ix86_expand_prologue): Save SSE regs if needed.
 962         (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
 963         (ix86_emit_restore_sse_regs_using_mov): New.
 964         (ix86_expand_epilogue): Save SSE regs if needed.
 965
 966 2009-01-06  Jan Hubicka  <jh@suse.cz>
 967             Kai Tietz <kai.tietz@onevision.com>
 968
 969         * config/i386/i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
 970         * config/i386/i386.c (init_cumulative_args): Disallow calls of MSABI
 971         functions when accumulate outgoing args is off.
 972
 973 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
 974
 975         PR bootstrap/38742
 976         * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
 977         before using pseudos_have_intersected_live_ranges_p.
 978
 979         * ira-int.h (ira_assert): Always define.
 980
 981 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
 982
 983         AVX Programming Reference (December, 2008)
 984         * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
 985         (_mm256_permute2_pd): Likewise.
 986         (_mm_permute2_ps): Likewise.
 987         (_mm256_permute2_ps): Likewise.
 988         * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
 989         * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.
 990
 991         * config/i386/i386.c (ix86_builtins): Remove
 992         IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
 993         IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
 994         (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
 995         V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
 996         and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
 997         (bdesc_args): Remove __builtin_ia32_vpermil2pd,
 998         __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
 999         __builtin_ia32_vpermil2ps256.
1000         (ix86_init_mmx_sse_builtins): Updated.
1001         (ix86_expand_args_builtin): Likewise.
1002
1003 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1004
1005         * pa.c (output_call): Relocate non-jump insns in the delay slot of
1006         long absolute calls when generating PA 2.0 code.
1007
1008 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
1009
1010         PR rtl-optimization/38583
1011         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
1012
1013         * params.def (ira-max-conflict-table-size): New.
1014
1015         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
1016
1017         * ira.h (ira_conflicts_p): New external definition.
1018
1019         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
1020         table.  Report this.  Return result of building.
1021         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
1022         building conflict table.
1023
1024         * ira-color.c (fast_allocation): Use num instead of ira_allocnos_num.
1025         (ira_color): Use ira_conflicts_p.
1026
1027         * global.c: Include ira.h.
1028         (pseudo_for_reload_consideration_p, build_insn_chain): Use
1029         ira_conflicts_p.
1030
1031         * Makefile.in (global.o): Add ira.h.
1032
1033         * ira-build.c (mark_all_loops_for_removal,
1034         propagate_some_info_from_allocno): New.
1035         (remove_unnecessary_allocnos): Call
1036         propagate_some_info_from_allocno.
1037         (remove_low_level_allocnos): New.
1038         (remove_unnecessary_regions): Add parameter.  Call
1039         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
1040         parameter to remove_unnecessary_regions.
1041         (ira_build): Remove all regions but root if the conflict table was
1042         not built.  Update conflict hard regs for allocnos crossing calls.
1043
1044         * ira.c (ira_conflicts_p): New global.
1045         (ira): Define and use ira_conflicts_p.
1046
1047         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
1048         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
1049         emit_input_reload_insns, delete_output_reload): Use ira_conflicts_p.
1050
1051 2009-01-06  Ben Elliston  <bje@au.ibm.com>
1052
1053         * gengtype-lex.l (YY_NO_INPUT): Define.
1054
1055 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1056
1057         PR c/34911
1058         * c-common.c (handle_vector_size_attribute): Also reject
1059         BOOLEAN_TYPE types.
1060
1061 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
1062
1063         PR tree-optimization/38492
1064         * graphite.c (rename_map_elt, debug_rename_elt,
1065         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
1066         rename_map_elt_info, eq_rename_map_elts,
1067         get_new_name_from_old_name, bb_in_sese_p): Moved around.
1068         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
1069         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
1070         (sese_build_livein_liveouts): New.
1071         (new_sese, free_sese): New.
1072         (new_scop): Call new_sese.
1073         (free_scop): Call free_sese.
1074         (rename_variables_from_edge, rename_phis_end_scop): Removed.
1075         (register_old_new_names): Renamed register_old_and_new_names.
1076         (register_scop_liveout_renames, add_loop_exit_phis,
1077         insert_loop_close_phis, struct igp,
1078         default_liveout_before_guard, add_guard_exit_phis,
1079         insert_guard_phis, copy_renames): New.
1080         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
1081         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
1082         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
1083         (scop_adjust_phis_for_liveouts): New.
1084         (gloog): Call scop_adjust_phis_for_liveouts.
1085
1086         * graphite.h (struct sese): Documented.  Added fields liveout,
1087         num_ver and livein.
1088         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
1089         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
1090         (struct scop): Added field liveout_renames.
1091         (SCOP_LIVEOUT_RENAMES): New.
1092
1093 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
1094
1095         PR tree-optimization/38510
1096         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
1097         (translate_clast): Call recompute_all_dominators before
1098         graphite_verify.
1099         (gloog): Call recompute_all_dominators before graphite_verify.
1100
1101 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
1102             Jan Sjodin <jan.sjodin@amd.com>
1103
1104         PR tree-optimization/38500
1105         * graphite.c (create_sese_edges): Call fix_loop_structure after
1106         splitting blocks.
1107
1108 2009-01-05  Joel Sherrill <joel.sherrill@oarcorp.com>
1109
1110         * config.gcc: Add m32r*-*-rtems*.
1111         * config/m32r/rtems.h: New file.
1112
1113 2009-01-05  Ben Elliston  <bje@au.ibm.com>
1114
1115         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
1116         (.po.pox): Likewise.
1117         (po/gcc.pot): Likewise.
1118
1119 2009-01-04  David S. Miller  <davem@davemloft.net>
1120
1121         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
1122         (STARTING_FRAME_OFFSET): Always set to zero.
1123
1124 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
1125
1126         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
1127         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
1128         fixed-point types, and vectors of the same.
1129
1130 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
1131
1132         * config/mips/sync.md (*mb_barrier): Rename to...
1133         (*memory_barrier): ...this.
1134
1135 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
1136
1137         * doc/extend.texi (Function Attributes): Move @cindex after @item
1138         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
1139         and put in alphabetical order. Fix 'target' name and put in order.
1140         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
1141         typos.
1142
1143 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
1144
1145         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
1146         (memory_barrier): Expand as unspec instead of unspec_volatile.
1147         Remove mem:BLK from insn operands.  Use Pmode scratch register.
1148         (*memory_barrier): Define as unspec instead of unspec_volatile.
1149         Use (match_dup 0) as input operand.
1150
1151         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
1152         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
1153         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
1154         scratch register.  Remove operand 1.
1155         (*stbar): Define as unspec instead of unspec_volatile.
1156         Use (match_dup 0) as input operand, remove (const_int 8).
1157         (*membar): Define as unspec instead of unspec_volatile.
1158         Use (match_dup 0) as input operand, remove input operand 2.
1159
1160         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
1161         (memory_barrier): Expand as unspec instead of unspec_volatile.
1162         Remove mem:BLK from insn operands.  Use Pmode scratch register.
1163         (*memory_barrier): Define as unspec instead of unspec_volatile.
1164         Use (match_dup 0) as input operand.
1165
1166         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
1167         Remove mem:BLK from insn operands.  Use Pmode scratch register.
1168         Set volatile flag on operand 0.
1169         (*memory_barrier): New insn pattern.
1170
1171         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
1172         insn operands.
1173         (*memory_barrier): Use (match_dup 0) as input operand.
1174
1175         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
1176         Remove mem:BLK from insn operands.  Use Pmode scratch register.
1177         Set volatile flag on operand 0.
1178         (*mb_internal): New insn pattern.
1179
1180         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
1181
1182 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
1183
1184         PR middle-end/38586
1185         * function.c (struct temp_slot): Move to the section of the file
1186         that deals with temp slots.  Remove field 'address'.
1187         (temp_slot_address_table): New hash table of address -> temp slot.
1188         (struct temp_slot_address_entry): New struct, items for the table.
1189         (temp_slot_address_compute_hash, temp_slot_address_hash,
1190         temp_slot_address_eq, insert_temp_slot_address): Support functions
1191         for the new table.
1192         (find_temp_slot_from_address): Rewrite to use the new hash table.
1193         (remove_unused_temp_slot_addresses): Remove addresses of temp
1194         slots that have been made available.
1195         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
1196         worker function for remove_unused_temp_slot_addresses.
1197         (assign_stack_temp_for_type): Don't clear the temp slot address list.
1198         Add the temp slot address to the address -> temp slot map.
1199         (update_temp_slot_address): Update via insert_temp_slot_address.
1200         (free_temp_slots): Call remove_unused_temp_slot_addresses.
1201         (pop_temp_slots): Likewise.
1202         (init_temp_slots): Allocate the address -> temp slot map, or empty
1203         the map if it is already allocated.
1204         (prepare_function_start): Initialize temp slot processing.
1205
1206 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
1207
1208         PR middle-end/38584
1209         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
1210         Calculate the size of all stack vars assuming no packing of stack
1211         vars will happen, replacing a quadratic algorithm with a linear one.
1212
1213 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
1214
1215         PR target/38707
1216         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
1217         can't be used.
1218
1219 2009-01-03  Diego Novillo  <dnovillo@google.com>
1220
1221         * doc/contrib.texi: Update contributions.
1222
1223 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
1224
1225         PR c++/38705
1226         * builtins.c (fold_builtin_memory_op): Give up if either operand
1227         is volatile.  Set srctype or desttype to non-qualified version
1228         of the other type.
1229
1230         PR c/38700
1231         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
1232         and FUNCTION_DECLs.
1233
1234 2009-01-02  Kenneth Zadeck <zadeck@naturalbridge.com>
1235
1236         PR rtl-optimization/35805
1237         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
1238         problem if fast dce is able to remove any instructions.
1239         * dce.c (dce_process_block): Fix dump message.
1240
1241 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
1242
1243         PR 33649
1244         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
1245
1246 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
1247
1248         PR middle-end/38690
1249         * tree-flow.h (op_code_prio, op_prio): New prototypes.
1250         * tree-pretty-print.c (op_code_prio): New function.
1251         (op_prio): No longer static.  Use op_code_prio.
1252         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
1253         Use op_prio and op_code_prio to determine if () should be
1254         printed around operand(s) or not.
1255
1256         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
1257         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
1258         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
1259         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
1260         pp_character instead of pp_string for single letter printing.
1261
1262 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
1263
1264         * doc/extend.texi: Fix '#pragma GCC option' typo.
1265
1266 2009-01-02 Richard Guenther <rguenther@suse.de>
1267
1268         * doc/install.texi (--enable-checking): Mention different
1269         default for stage1.
1270         (--enable-stage1-checking): Document.
1271
1272 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
1273
1274         PR middle-end/30142
1275         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
1276         case to be an error.
1277
1278 2009-01-02  Ben Elliston  <bje@au.ibm.com>
1279
1280         * config/fp-bit.h (pack_d): Constify argument.
1281         * config/fp-bit.c (makenan): Constify return type. Remove casts.
1282         (isnan): Constify argument.
1283         (isinf): Likewise.
1284         (iszero): Likewise.
1285         (pack_d): Likewise.
1286         (_fpadd_parts): Constify return type.
1287         (_fpmul_parts): Likewise.
1288         (_fpdiv_parts): Likewise.
1289
1290 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
1291
1292         PR c/36489
1293         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
1294         warn about overwriting initializer with side-effects or
1295         -Woverride-init if !IMPLICIT.
1296         (output_init_element): Likewise.  Pass IMPLICIT down to
1297         add_pending_init.
1298         (process_init_element): Add IMPLICIT argument.  Pass it down
1299         to output_init_element.
1300         (push_init_element, pop_init_level, set_designator): Adjust
1301         process_init_element callers.
1302         (set_nonincremental_init, set_nonincremental_init_from_string):
1303         Adjust add_pending_init callers.
1304         (output_pending_init_elements): Adjust output_init_element callers.
1305         * c-tree.h (process_init_element): Adjust prototype.
1306         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
1307         process_init_element callers.