gcc/ChangeLog

   1 2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>
   2
   3         AVX Programming Reference (December, 2008)
   4         * config/i386/avxintrin.h (_mm256_stream_si256): New.
   5         (_mm256_stream_pd): Likewise.
   6         (_mm256_stream_ps): Likewise.
   7
   8         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
   9         IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
  10         (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
  11         (bdesc_special_args): Add __builtin_ia32_movntdq256,
  12         __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
  13         (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
  14         (ix86_expand_special_args_builtin): Likewise.
  15
  16         * config/i386/sse.md (AVXMODEDI): New.
  17         (avx_movnt<mode>): Likewise.
  18         (avx_movnt<mode>): Likewise.
  19         (<sse>_movnt<mode>): Remove AVX support.
  20         (sse2_movntv2di): Likewise.
  21
  22 2009-01-07  Richard Guenther  <rguenther@suse.de>
  23
  24         PR middle-end/38751
  25         * fold-const.c (extract_muldiv): Remove obsolete comment.
  26         (fold_plusminus_mult_expr): Undo MINUS_EXPR
  27         to PLUS_EXPR canonicalization for the canonicalization.
  28
  29 2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>
  30
  31         * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
  32         hosted cross-compilers generating less efficient code.
  33
  34 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
  35
  36         * function.h (rtl_data): Add a dbr_scheduled_p field.
  37         * reorg.c (dbr_schedule): Set it.
  38         (gate_handle_delay_slots): Check it.
  39         * config/mips/mips.c (mips_base_delayed_branch): Delete.
  40         (mips_reorg): Check flag_delayed_branch instead of
  41         mips_base_delayed_branch.
  42         (mips_override_options): Don't set mips_base_delayed_branch
  43         or flag_delayed_branch.
  44
  45 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
  46
  47         PR rtl-optimization/38426.
  48         * ira.c (ira): Set current_function_is_leaf earlier.
  49
  50 2009-01-06  Jakub Jelinek  <jakub@redhat.com>
  51
  52         PR rtl-optimization/38722
  53         * combine.c (try_combine): Don't modify PATTERN (i3) and notes
  54         too early, only set a flag and modify after last possible
  55         undo_all point.
  56
  57 2009-01-06  Janis Johnson  <janis187@us.ibm.com>
  58
  59         PR c/34252
  60         * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
  61         * real.c (decimal_single_format): Correct values of emin and emax.
  62         (decimal_double_format): Ditto.
  63         (decimal_quad_format): Ditto.
  64         * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
  65         computation of DECnn_MIN and DECnn_MAX for corrected values of
  66         emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
  67         __DECnn_MIN__, and adjust its computation for the corrected value
  68         of emin.
  69
  70 2009-01-06  Jan Hubicka  <jh@suse.cz>
  71
  72         PR target/38744
  73         * i386.c (ix86_expand_call): Use ARRAY_SIZE
  74
  75 2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>
  76
  77         * doc/contrib.texi (Contributors): Slightly adjust the end note.
  78         Add Robert Clark to the list of testers.
  79
  80 2009-01-06  Jan Hubicka  <jh@suse.cz>
  81             Kai Tietz <kai.tietz@onevision.com>
  82
  83         * i386.md (*msabi_syvabi): Add SSE regs clobbers.
  84         * i386.c (ix86_expand_call): Add clobbers.
  85
  86 2009-01-06  Jan Hubicka  <jh@suse.cz>
  87             Kai Tietz <kai.tietz@onevision.com>
  88
  89         * i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used for w64 ABI.
  90         * i386.c (struct ix86_frame): Add padding0 and nsseregs.
  91         (ix86_nsaved_regs): Count only general purpose regs.
  92         (ix86_nsaved_sseregs): New.
  93         (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
  94         to 16 for w64; compute padding and size of sse reg save area.
  95         (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only general
  96         purpose regs.
  97         (ix86_emit_save_sse_regs_using_mov): New.
  98         (ix86_expand_prologue): Save SSE regs if needed.
  99         (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
 100         (ix86_emit_restore_sse_regs_using_mov): New.
 101         (ix86_expand_epilogue): Save SSE regs if needed.
 102
 103 2009-01-06  Jan Hubicka  <jh@suse.cz>
 104             Kai Tietz <kai.tietz@onevision.com>
 105
 106         * i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
 107         * i386.c (init_cumulative_args): Disallow calls of MSABI functions when
 108         accumulate outgoing args is off.
 109
 110 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
 111
 112         PR bootstrap/38742
 113         * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
 114         before using pseudos_have_intersected_live_ranges_p.
 115
 116         * ira-int.h (ira_assert): Always define.
 117
 118 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
 119
 120         AVX Programming Reference (December, 2008)
 121         * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
 122         (_mm256_permute2_pd): Likewise.
 123         (_mm_permute2_ps): Likewise.
 124         (_mm256_permute2_ps): Likewise.
 125         * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
 126         * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.
 127
 128         * config/i386/i386.c (ix86_builtins): Remove
 129         IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
 130         IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
 131         (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
 132         V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
 133         and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
 134         (bdesc_args): Remove __builtin_ia32_vpermil2pd,
 135         __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
 136         __builtin_ia32_vpermil2ps256.
 137         (ix86_init_mmx_sse_builtins): Updated.
 138         (ix86_expand_args_builtin): Likewise.
 139
 140 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 141
 142         * pa.c (output_call): Relocate non-jump insns in the delay slot of
 143         long absolute calls when generating PA 2.0 code.
 144
 145 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
 146
 147         PR rtl-optimization/38583
 148         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
 149
 150         * params.def (ira-max-conflict-table-size): New.
 151
 152         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
 153
 154         * ira.h (ira_conflicts_p): New external definition.
 155
 156         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
 157         table.  Report this.  Return result of building.
 158         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
 159         building conflict table.
 160
 161         * ira-color.c (fast_allocation): Use num instead of
 162         ira_allocnos_num.
 163         (ira_color): Use ira_conflicts_p.
 164
 165         * global.c: Include ira.h.
 166         (pseudo_for_reload_consideration_p, build_insn_chain): Use
 167         ira_conflicts_p.
 168
 169         * Makefile.in (global.o): Add ira.h.
 170
 171         * ira-build.c (mark_all_loops_for_removal,
 172         propagate_some_info_from_allocno): New.
 173         (remove_unnecessary_allocnos): Call
 174         propagate_some_info_from_allocno.
 175         (remove_low_level_allocnos): New.
 176         (remove_unnecessary_regions): Add parameter.  Call
 177         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
 178         parameter to remove_unnecessary_regions.
 179         (ira_build): Remove all regions but root if the conflict table was
 180         not built.  Update conflict hard regs for allocnos crossing calls.
 181
 182         * ira.c (ira_conflicts_p): New global.
 183         (ira): Define and use ira_conflicts_p.
 184
 185         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
 186         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
 187         emit_input_reload_insns, delete_output_reload): Use
 188         ira_conflicts_p.
 189
 190 2009-01-06  Ben Elliston  <bje@au.ibm.com>
 191
 192         * gengtype-lex.l (YY_NO_INPUT): Define.
 193
 194 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 195
 196         PR c/34911
 197         * c-common.c (handle_vector_size_attribute): Also reject
 198         BOOLEAN_TYPE types.
 199
 200 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
 201
 202         PR tree-optimization/38492
 203         * graphite.c (rename_map_elt, debug_rename_elt,
 204         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
 205         rename_map_elt_info, eq_rename_map_elts,
 206         get_new_name_from_old_name, bb_in_sese_p): Moved around.
 207         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
 208         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
 209         (sese_build_livein_liveouts): New.
 210         (new_sese, free_sese): New.
 211         (new_scop): Call new_sese.
 212         (free_scop): Call free_sese.
 213         (rename_variables_from_edge, rename_phis_end_scop): Removed.
 214         (register_old_new_names): Renamed register_old_and_new_names.
 215         (register_scop_liveout_renames, add_loop_exit_phis,
 216         insert_loop_close_phis, struct igp,
 217         default_liveout_before_guard, add_guard_exit_phis,
 218         insert_guard_phis, copy_renames): New.
 219         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
 220         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
 221         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
 222         (scop_adjust_phis_for_liveouts): New.
 223         (gloog): Call scop_adjust_phis_for_liveouts.
 224
 225         * graphite.h (struct sese): Documented.  Added fields liveout,
 226         num_ver and livein.
 227         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
 228         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
 229         (struct scop): Added field liveout_renames.
 230         (SCOP_LIVEOUT_RENAMES): New.
 231
 232 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
 233
 234         PR tree-optimization/38510
 235         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
 236         (translate_clast): Call recompute_all_dominators before
 237         graphite_verify.
 238         (gloog): Call recompute_all_dominators before graphite_verify.
 239
 240 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
 241             Jan Sjodin <jan.sjodin@amd.com>
 242
 243         PR tree-optimization/38500
 244         * graphite.c (create_sese_edges): Call fix_loop_structure after
 245         splitting blocks.
 246
 247 2009-01-05  Joel Sherrill <joel.sherrill@oarcorp.com>
 248
 249         * config.gcc: Add m32r*-*-rtems*.
 250         * config/m32r/rtems.h: New file.
 251
 252 2009-01-05  Ben Elliston  <bje@au.ibm.com>
 253
 254         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
 255         (.po.pox): Likewise.
 256         (po/gcc.pot): Likewise.
 257
 258 2009-01-04  David S. Miller  <davem@davemloft.net>
 259
 260         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
 261         (STARTING_FRAME_OFFSET): Always set to zero.
 262
 263 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
 264
 265         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
 266         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
 267         fixed-point types, and vectors of the same.
 268
 269 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
 270
 271         * config/mips/sync.md (*mb_barrier): Rename to...
 272         (*memory_barrier): ...this.
 273
 274 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
 275
 276         * doc/extend.texi (Function Attributes): Move @cindex after @item
 277         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
 278         and put in alphabetical order. Fix 'target' name and put in order.
 279         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
 280         typos.
 281
 282 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
 283
 284         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
 285         (memory_barrier): Expand as unspec instead of unspec_volatile.
 286         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 287         (*memory_barrier): Define as unspec instead of unspec_volatile.
 288         Use (match_dup 0) as input operand.
 289
 290         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
 291         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
 292         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
 293         scratch register.  Remove operand 1.
 294         (*stbar): Define as unspec instead of unspec_volatile.
 295         Use (match_dup 0) as input operand, remove (const_int 8).
 296         (*membar): Define as unspec instead of unspec_volatile.
 297         Use (match_dup 0) as input operand, remove input operand 2.
 298
 299         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
 300         (memory_barrier): Expand as unspec instead of unspec_volatile.
 301         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 302         (*memory_barrier): Define as unspec instead of unspec_volatile.
 303         Use (match_dup 0) as input operand.
 304
 305         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
 306         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 307         Set volatile flag on operand 0.
 308         (*memory_barrier): New insn pattern.
 309
 310         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
 311         insn operands.
 312         (*memory_barrier): Use (match_dup 0) as input operand.
 313
 314         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
 315         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 316         Set volatile flag on operand 0.
 317         (*memory_barrier): New insn pattern.
 318
 319         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
 320
 321 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
 322
 323         PR middle-end/38586
 324         * function.c (struct temp_slot): Move to the section of the file
 325         that deals with temp slots.  Remove field 'address'.
 326         (temp_slot_address_table): New hash table of address -> temp slot.
 327         (struct temp_slot_address_entry): New struct, items for the table.
 328         (temp_slot_address_compute_hash, temp_slot_address_hash,
 329         temp_slot_address_eq, insert_temp_slot_address): Support functions
 330         for the new table.
 331         (find_temp_slot_from_address): Rewrite to use the new hash table.
 332         (remove_unused_temp_slot_addresses): Remove addresses of temp
 333         slots that have been made available.
 334         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
 335         worker function for remove_unused_temp_slot_addresses.
 336         (assign_stack_temp_for_type): Don't clear the temp slot address list.
 337         Add the temp slot address to the address -> temp slot map.
 338         (update_temp_slot_address): Update via insert_temp_slot_address.
 339         (free_temp_slots): Call remove_unused_temp_slot_addresses.
 340         (pop_temp_slots): Likewise.
 341         (init_temp_slots): Allocate the address -> temp slot map, or empty
 342         the map if it is already allocated.
 343         (prepare_function_start): Initialize temp slot processing.
 344
 345 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
 346
 347         PR middle-end/38584
 348         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
 349         Calculate the size of all stack vars assuming no packing of stack
 350         vars will happen, replacing a quadratic algorithm with a linear one.
 351
 352 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
 353
 354         PR target/38707
 355         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
 356         can't be used.
 357
 358 2009-01-03  Diego Novillo  <dnovillo@google.com>
 359
 360         * doc/contrib.texi: Update contributions.
 361
 362 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
 363
 364         PR c++/38705
 365         * builtins.c (fold_builtin_memory_op): Give up if either operand
 366         is volatile.  Set srctype or desttype to non-qualified version
 367         of the other type.
 368
 369         PR c/38700
 370         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
 371         and FUNCTION_DECLs.
 372
 373 2009-01-02  Kenneth Zadeck <zadeck@naturalbridge.com>
 374
 375         PR rtl-optimization/35805
 376         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
 377         problem if fast dce is able to remove any instructions.
 378         * dce.c (dce_process_block): Fix dump message.
 379
 380 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
 381
 382         PR 33649
 383         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
 384
 385 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
 386
 387         PR middle-end/38690
 388         * tree-flow.h (op_code_prio, op_prio): New prototypes.
 389         * tree-pretty-print.c (op_code_prio): New function.
 390         (op_prio): No longer static.  Use op_code_prio.
 391         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
 392         Use op_prio and op_code_prio to determine if () should be
 393         printed around operand(s) or not.
 394
 395         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
 396         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
 397         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
 398         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
 399         pp_character instead of pp_string for single letter printing.
 400
 401 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
 402
 403         * doc/extend.texi: Fix '#pragma GCC option' typo.
 404
 405 2009-01-02 Richard Guenther <rguenther@suse.de>
 406
 407         * doc/install.texi (--enable-checking): Mention different
 408         default for stage1.
 409         (--enable-stage1-checking): Document.
 410
 411 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
 412
 413         PR middle-end/30142
 414         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
 415         case to be an error.
 416
 417 2009-01-02  Ben Elliston  <bje@au.ibm.com>
 418
 419         * config/fp-bit.h (pack_d): Constify argument.
 420         * config/fp-bit.c (makenan): Constify return type. Remove casts.
 421         (isnan): Constify argument.
 422         (isinf): Likewise.
 423         (iszero): Likewise.
 424         (pack_d): Likewise.
 425         (_fpadd_parts): Constify return type.
 426         (_fpmul_parts): Likewise.
 427         (_fpdiv_parts): Likewise.
 428
 429 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
 430
 431         PR c/36489
 432         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
 433         warn about overwriting initializer with side-effects or
 434         -Woverride-init if !IMPLICIT.
 435         (output_init_element): Likewise.  Pass IMPLICIT down to
 436         add_pending_init.
 437         (process_init_element): Add IMPLICIT argument.  Pass it down
 438         to output_init_element.
 439         (push_init_element, pop_init_level, set_designator): Adjust
 440         process_init_element callers.
 441         (set_nonincremental_init, set_nonincremental_init_from_string):
 442         Adjust add_pending_init callers.
 443         (output_pending_init_elements): Adjust output_init_element callers.
 444         * c-tree.h (process_init_element): Adjust prototype.
 445         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
 446         process_init_element callers.