gcc/ChangeLog

   1 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
   2
   3         * pa.c (output_call): Relocate non-jump insns in the delay slot of long
   4         absolute calls when generating PA 2.0 code.
   5
   6 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
   7
   8         PR rtl-optimization/38583
   9         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
  10
  11         * params.def (ira-max-conflict-table-size): New.
  12
  13         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
  14
  15         * ira.h (ira_conflicts_p): New external definition.
  16
  17         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
  18         table.  Report this.  Return result of building.
  19         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
  20         building conflict table.
  21
  22         * ira-color.c (fast_allocation): Use num instead of
  23         ira_allocnos_num.
  24         (ira_color): Use ira_conflicts_p.
  25
  26         * global.c: Include ira.h.
  27         (pseudo_for_reload_consideration_p, build_insn_chain): Use
  28         ira_conflicts_p.
  29
  30         * Makefile.in (global.o): Add ira.h.
  31
  32         * ira-build.c (mark_all_loops_for_removal,
  33         propagate_some_info_from_allocno): New.
  34         (remove_unnecessary_allocnos): Call
  35         propagate_some_info_from_allocno.
  36         (remove_low_level_allocnos): New.
  37         (remove_unnecessary_regions): Add parameter.  Call
  38         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
  39         parameter to remove_unnecessary_regions.
  40         (ira_build): Remove all regions but root if the conflict table was
  41         not built.  Update conflict hard regs for allocnos crossing calls.
  42
  43         * ira.c (ira_conflicts_p): New global.
  44         (ira): Define and use ira_conflicts_p.
  45
  46         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
  47         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
  48         emit_input_reload_insns, delete_output_reload): Use
  49         ira_conflicts_p.
  50
  51 2009-01-06  Ben Elliston  <bje@au.ibm.com>
  52
  53         * gengtype-lex.l (YY_NO_INPUT): Define.
  54
  55 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
  56
  57         PR c/34911
  58         * c-common.c (handle_vector_size_attribute): Also reject
  59         BOOLEAN_TYPE types.
  60
  61 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
  62
  63         PR tree-optimization/38492
  64         * graphite.c (rename_map_elt, debug_rename_elt,
  65         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
  66         rename_map_elt_info, eq_rename_map_elts,
  67         get_new_name_from_old_name, bb_in_sese_p): Moved around.
  68         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
  69         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
  70         (sese_build_livein_liveouts): New.
  71         (new_sese, free_sese): New.
  72         (new_scop): Call new_sese.
  73         (free_scop): Call free_sese.
  74         (rename_variables_from_edge, rename_phis_end_scop): Removed.
  75         (register_old_new_names): Renamed register_old_and_new_names.
  76         (register_scop_liveout_renames, add_loop_exit_phis,
  77         insert_loop_close_phis, struct igp,
  78         default_liveout_before_guard, add_guard_exit_phis,
  79         insert_guard_phis, copy_renames): New.
  80         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
  81         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
  82         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
  83         (scop_adjust_phis_for_liveouts): New.
  84         (gloog): Call scop_adjust_phis_for_liveouts.
  85
  86         * graphite.h (struct sese): Documented.  Added fields liveout,
  87         num_ver and livein.
  88         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
  89         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
  90         (struct scop): Added field liveout_renames.
  91         (SCOP_LIVEOUT_RENAMES): New.
  92
  93 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
  94
  95         PR tree-optimization/38510
  96         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
  97         (translate_clast): Call recompute_all_dominators before
  98         graphite_verify.
  99         (gloog): Call recompute_all_dominators before graphite_verify.
 100
 101 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
 102             Jan Sjodin <jan.sjodin@amd.com>
 103
 104         PR tree-optimization/38500
 105         * graphite.c (create_sese_edges): Call fix_loop_structure after
 106         splitting blocks.
 107
 108 2009-01-05  Joel Sherrill <joel.sherrill@oarcorp.com>
 109
 110         * config.gcc: Add m32r*-*-rtems*.
 111         * config/m32r/rtems.h: New file.
 112
 113 2009-01-05  Ben Elliston  <bje@au.ibm.com>
 114
 115         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
 116         (.po.pox): Likewise.
 117         (po/gcc.pot): Likewise.
 118
 119 2009-01-04  David S. Miller  <davem@davemloft.net>
 120
 121         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
 122         (STARTING_FRAME_OFFSET): Always set to zero.
 123
 124 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
 125
 126         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
 127         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
 128         fixed-point types, and vectors of the same.
 129
 130 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
 131
 132         * config/mips/sync.md (*mb_barrier): Rename to...
 133         (*memory_barrier): ...this.
 134
 135 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
 136
 137         * doc/extend.texi (Function Attributes): Move @cindex after @item
 138         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
 139         and put in alphabetical order. Fix 'target' name and put in order.
 140         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
 141         typos.
 142
 143 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
 144
 145         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
 146         (memory_barrier): Expand as unspec instead of unspec_volatile.
 147         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 148         (*memory_barrier): Define as unspec instead of unspec_volatile.
 149         Use (match_dup 0) as input operand.
 150
 151         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
 152         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
 153         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
 154         scratch register.  Remove operand 1.
 155         (*stbar): Define as unspec instead of unspec_volatile.
 156         Use (match_dup 0) as input operand, remove (const_int 8).
 157         (*membar): Define as unspec instead of unspec_volatile.
 158         Use (match_dup 0) as input operand, remove input operand 2.
 159
 160         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
 161         (memory_barrier): Expand as unspec instead of unspec_volatile.
 162         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 163         (*memory_barrier): Define as unspec instead of unspec_volatile.
 164         Use (match_dup 0) as input operand.
 165
 166         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
 167         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 168         Set volatile flag on operand 0.
 169         (*memory_barrier): New insn pattern.
 170
 171         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
 172         insn operands.
 173         (*memory_barrier): Use (match_dup 0) as input operand.
 174
 175         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
 176         Remove mem:BLK from insn operands.  Use Pmode scratch register.
 177         Set volatile flag on operand 0.
 178         (*memory_barrier): New insn pattern.
 179
 180         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
 181
 182 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
 183
 184         PR middle-end/38586
 185         * function.c (struct temp_slot): Move to the section of the file
 186         that deals with temp slots.  Remove field 'address'.
 187         (temp_slot_address_table): New hash table of address -> temp slot.
 188         (struct temp_slot_address_entry): New struct, items for the table.
 189         (temp_slot_address_compute_hash, temp_slot_address_hash,
 190         temp_slot_address_eq, insert_temp_slot_address): Support functions
 191         for the new table.
 192         (find_temp_slot_from_address): Rewrite to use the new hash table.
 193         (remove_unused_temp_slot_addresses): Remove addresses of temp
 194         slots that have been made available.
 195         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
 196         worker function for remove_unused_temp_slot_addresses.
 197         (assign_stack_temp_for_type): Don't clear the temp slot address list.
 198         Add the temp slot address to the address -> temp slot map.
 199         (update_temp_slot_address): Update via insert_temp_slot_address.
 200         (free_temp_slots): Call remove_unused_temp_slot_addresses.
 201         (pop_temp_slots): Likewise.
 202         (init_temp_slots): Allocate the address -> temp slot map, or empty
 203         the map if it is already allocated.
 204         (prepare_function_start): Initialize temp slot processing.
 205
 206 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
 207
 208         PR middle-end/38584
 209         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
 210         Calculate the size of all stack vars assuming no packing of stack
 211         vars will happen, replacing a quadratic algorithm with a linear one.
 212
 213 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
 214
 215         PR target/38707
 216         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
 217         can't be used.
 218
 219 2009-01-03  Diego Novillo  <dnovillo@google.com>
 220
 221         * doc/contrib.texi: Update contributions.
 222
 223 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
 224
 225         PR c++/38705
 226         * builtins.c (fold_builtin_memory_op): Give up if either operand
 227         is volatile.  Set srctype or desttype to non-qualified version
 228         of the other type.
 229
 230         PR c/38700
 231         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
 232         and FUNCTION_DECLs.
 233
 234 2009-01-02  Kenneth Zadeck <zadeck@naturalbridge.com>
 235
 236         PR rtl-optimization/35805
 237         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
 238         problem if fast dce is able to remove any instructions.
 239         * dce.c (dce_process_block): Fix dump message.
 240
 241 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
 242
 243         PR 33649
 244         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
 245
 246 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
 247
 248         PR middle-end/38690
 249         * tree-flow.h (op_code_prio, op_prio): New prototypes.
 250         * tree-pretty-print.c (op_code_prio): New function.
 251         (op_prio): No longer static.  Use op_code_prio.
 252         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
 253         Use op_prio and op_code_prio to determine if () should be
 254         printed around operand(s) or not.
 255
 256         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
 257         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
 258         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
 259         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
 260         pp_character instead of pp_string for single letter printing.
 261
 262 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
 263
 264         * doc/extend.texi: Fix '#pragma GCC option' typo.
 265
 266 2009-01-02 Richard Guenther <rguenther@suse.de>
 267
 268         * doc/install.texi (--enable-checking): Mention different
 269         default for stage1.
 270         (--enable-stage1-checking): Document.
 271
 272 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
 273
 274         PR middle-end/30142
 275         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
 276         case to be an error.
 277
 278 2009-01-02  Ben Elliston  <bje@au.ibm.com>
 279
 280         * config/fp-bit.h (pack_d): Constify argument.
 281         * config/fp-bit.c (makenan): Constify return type. Remove casts.
 282         (isnan): Constify argument.
 283         (isinf): Likewise.
 284         (iszero): Likewise.
 285         (pack_d): Likewise.
 286         (_fpadd_parts): Constify return type.
 287         (_fpmul_parts): Likewise.
 288         (_fpdiv_parts): Likewise.
 289
 290 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
 291
 292         PR c/36489
 293         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
 294         warn about overwriting initializer with side-effects or
 295         -Woverride-init if !IMPLICIT.
 296         (output_init_element): Likewise.  Pass IMPLICIT down to
 297         add_pending_init.
 298         (process_init_element): Add IMPLICIT argument.  Pass it down
 299         to output_init_element.
 300         (push_init_element, pop_init_level, set_designator): Adjust
 301         process_init_element callers.
 302         (set_nonincremental_init, set_nonincremental_init_from_string):
 303         Adjust add_pending_init callers.
 304         (output_pending_init_elements): Adjust output_init_element callers.
 305         * c-tree.h (process_init_element): Adjust prototype.
 306         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
 307         process_init_element callers.