OSDN Git Service

2009-01-14 Sebastian Pop <sebastian.pop@amd.com>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-01-14  Sebastian Pop  <sebastian.pop@amd.com>
2
3         PR middle-end/38431
4         * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
5         (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
6         (gloog): Do not call cleanup_tree_cfg.
7         (graphite_transform_loops): Call cleanup_tree_cfg after all 
8         scops have been code generated.
9
10 2009-01-14  Vladimir Makarov  <vmakarov@redhat.com>
11
12         * testsuite/g++.dg/torture/pr38811.C: New file.
13
14 2009-01-14  Basile Starynkevitch  <basile@starynkevitch.net>
15         * doc/gty.texi (Invoking the garbage collector): Added new node
16         and section documenting ggc_collect.
17
18 2009-01-14  Richard Guenther  <rguenther@suse.de>
19
20         PR tree-optimization/38826
21         PR middle-end/38477
22         * tree-ssa-structalias.c (emit_alias_warning): Emit the pointer
23         initialization notes only if we actually emitted a warning.
24         (intra_create_variable_infos): Add constraints for a result decl
25         that is passed by hidden reference.
26         (build_pred_graph): Mark all related variables non-direct on
27         address-taking.
28
29 2009-01-14  Nick Clifton  <nickc@redhat.com>
30
31         * ira-conflicts.c: Include addresses.h for the definition of
32         base_reg_class.
33         (ira_build_conflicts): Use base_reg_class instead of
34         BASE_REG_CLASS.
35         * Makefile.in: Add a dependency of ira-conflicts.o on
36         addresses.h.
37
38 2009-01-13  Vladimir Makarov  <vmakarov@redhat.com>
39
40         PR target/38811
41         * Makefile.in (ira-lives.o): Add except.h.
42
43         * ira-lives.c: Include except.h.
44         (process_bb_node_lives): Process can_throw_internal.
45
46 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
47
48         PR rtl-optimization/38774
49         * combine.c (simplify_set): When undoing cc_use change, don't do
50         PUT_CODE on the newly created comparison, but instead put back the
51         old comparison.
52
53 2009-01-13  Joseph Myers  <joseph@codesourcery.com>
54
55         * doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
56         values.  Remove duplicate arm8 entry.
57
58 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
59
60         PR tree-optimization/38786
61         * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
62         the SSA_NAME case of expand_scalar_variables_expr.
63         Set the type of an expression to the type of its assign statement.
64         (expand_scalar_variables_expr): Also gather the scalar computation
65         used to index the memory access.  Do not pass loop_p.
66         Fix comment.  Stop recursion on tcc_constant or tcc_declaration.
67         (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
68         the gimple_stmt_iterator where it inserts new code.  Do not pass loop_p.
69         (copy_bb_and_scalar_dependences): Do not pass loop_p.
70         (translate_clast): Update call to copy_bb_and_scalar_dependences.
71
72 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
73
74         * graphite.h (debug_value): Removed.
75         * graphite.c (debug_value): Removed.
76
77 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
78
79         * arm.c (output_move_double): Don't synthesize thumb-2 ldrd/strd with
80         two 32-bit instructions.
81
82 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
83
84         * arm.c (struct processors): Pass for speed down into cost helper
85         functions.
86         (const_ok_for_op): Handle COMPARE and inequality nodes.
87         (arm_rtx_costs_1): Rewrite.
88         (arm_size_rtx_costs): Update prototype.
89         (arm_rtx_costs): Pass speed down to helper functions.
90         (arm_slowmul_rtx_costs): Rework cost calculations.
91         (arm_fastmul_rtx_costs, arm_xscale_rtx_costs): Likewise.
92         (arm_9e_rtx_costs): Likewise.
93
94 2009-01-13  Uros Bizjak  <ubizjak@gmail.com>
95
96         * config/alpha/alpha.c (alpha_legitimate_address_p): Explicit
97         relocations of local symbols  wider than UNITS_PER_WORD are not valid.
98         (alpha_legitimize_address): Do not split local symbols wider than
99         UNITS_PER_WORD into HIGH/LO_SUM parts.
100
101 2009-01-13  Danny Smith  <dannysmith@users.sourceforge.net>
102
103         PR bootstrap/38580
104         * gcc.c (process_command): Replace call to execvp with calls
105         to pex_one and exit.
106
107 2009-01-03  Anatoly Sokolov  <aesok@post.ru>
108
109         PR target/29141
110         * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm.
111         * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add
112         variant for devices with 3-byte PC.
113         (__tablejump_elpm__) : New.
114
115 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
116
117         PR c/32041
118         * c-parser.c (c_parser_postfix_expression): Allow `->' in
119         offsetof member-designator, handle it as `[0].'.
120
121 2009-01-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
122
123         * pa.c (pa_asm_output_mi_thunk): Use pc-relative branch to thunk
124         function when not using named sections on targets with named sections
125         if branch distance is less than 262132.
126
127 2009-01-12  Richard Earnshaw  <rearnsha@arm.com>
128
129         * combine.c (combine_instructions):  Recompute
130         optimize_this_for_speed_p  for each BB in the main combine loop.
131
132 2009-01-12  Tomas Bily  <tbily@suse.cz>
133
134         PR middlend/38385
135         * tree-loop-distribution.c (prop_phis): New function.
136         (generate_builtin): Call prop_phis.
137         * testsuite/gcc.dg/tree-ssa/pr38385.c: New file.
138
139 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
140
141         PR tree-optimization/38807
142         * tree-ssa-reassoc.c (remove_visited_stmt_chain): Don't look at
143         gimple_visited_p unless stmt is GIMPLE_ASSIGN.
144
145 2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
146
147         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
148         subreg of op0 to the original op0.
149
150 2009-01-11  Laurent GUERBY <laurent@guerby.net>
151
152         * doc/sourcebuild.texi (Source Tree): Move up intl and fixinc.
153         
154 2009-01-11  Markus Schoepflin  <markus.schoepflin@comsoft.de>
155
156         PR debug/7055
157         * gcc/mips-tfile.c (parse_def): Fix parsing of def strings
158         starting with digits.
159
160 2009-01-10  Jakub Jelinek  <jakub@redhat.com>
161
162         PR target/38695
163         * config/arm/arm.c (arm_is_long_call_p): Don't call
164         arm_function_in_section_p if decl isn't a FUNCTION_DECL.
165
166 2009-01-09  Steven Bosscher  <steven@gcc.gnu.org>
167
168         * regrename.c (regrename_optimize): Fix dumping.
169         (find_oldest_value_reg): Preserve REG_POINTER.
170         (copy_hardreg_forward_1): Likewise.
171
172 2009-01-09  Diego Novillo  <dnovillo@google.com>
173
174         * gimple.h (struct gimple_statement_base)<uid>: Document
175         the restrictions on its use.
176         (gimple_uid): Tidy.
177         (gimple_set_uid): Tidy.
178
179 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
180
181         * config/i386/i386.c (ix86_expand_movmem, ix86_expand_setmem): Add
182         zero guard even if align_bytes != 0 and count is smaller than
183         size_needed.
184
185 2008-01-09  Vladimir Makarov  <vmakarov@redhat.com>
186
187         PR rtl-optimization/38495
188         * ira-emit.c (print_move_list, ira_debug_move_list): New functions.
189         (add_range_and_copies_from_move_list): Print all added ranges.
190         Add ranges to memory optimized destination.
191
192 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
193
194         PR target/38686
195         PR target/38708
196         * config/i386/i386.c (override_options): Reject
197         -mstringop-strategy=rep_8byte with -m32.
198         (ix86_expand_movmem): For size_needed == 1 set epilogue_size_needed
199         to 1.  Do count comparison against epilogue_size_needed at compile
200         time even when count_exp was constant forced into register.  For
201         size_needed don't jump to epilogue, instead just avoid aligning
202         and invoke the body algorithm.  If need_zero_guard, add zero guard
203         even if count is non-zero, but smaller than size_needed + number of
204         bytes that could be stored for alignment.
205         (ix86_expand_setmem): For size_needed == 1 set epilogue_size_needed
206         to 1.  If need_zero_guard, add zero guard even if count is non-zero,
207         but smaller than size_needed + number of bytes that could be stored
208         for alignment.  Compare size_needed with epilogue_size_needed instead
209         of desired_align - align, don't adjust size_needed, pass
210         epilogue_size_needed to the epilogue expanders.
211
212         PR c/35742
213         * c-pretty-print.c (pp_c_expression): Handle GOTO_EXPR like BIND_EXPR.
214
215 2009-01-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
216
217         * pa.c (last_address): Change to unsigned.
218         (update_total_code_bytes): Change argument to unsigned.  Don't
219         check if insn addresses are set.
220         (pa_output_function_epilogue): Set last_address to UINT_MAX if insn
221         addresses are not set.
222         (pa_asm_output_mi_thunk): Handle wrap when updating last_address.
223
224 2009-01-09  Nick Clifton  <nickc@redhat.com>
225
226         * config/sh/symbian.c: Replace uses of DECL_INLINE with
227         DECL_DECLARED_INLINE_P.
228
229 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
230
231         PR middle-end/38347
232         * dojump.c (do_jump_by_parts_zero_rtx): Use mode instead of
233         GET_MODE (op0) in operand_subword_force calls.
234
235         PR middle-end/38771
236         * fold-const.c (fold_unary): For COMPOUND_EXPR and COND_EXPR,
237         fold_convert arg0 operands to TREE_TYPE (op0) first.
238
239 2009-01-08  Vladimir Makarov  <vmakarov@redhat.com>
240
241         * params.def (ira-max-conflict-table-size): Decrease default value
242         to 1000.
243
244 2009-01-08  Jakub Jelinek  <jakub@redhat.com>
245
246         PR tree-optimization/37031
247         * lambda-code.c (lambda_collect_parameters): Call pointer_set_destroy
248         on parameter_set.
249         (build_access_matrix): Reserve correct size for AM_MATRIX vector,
250         allocate it using gc instead of heap, use VEC_quick_push instead of
251         VEC_safe_push.
252         * graphite.c (build_access_matrix): Allocate AM_MATRIX vector using gc
253         instead of heap, use VEC_quick_push instead of VEC_safe_push.
254         * tree-data-ref.h (struct access_matrix): Change matrix to gc
255         allocated vector from heap allocated.
256         * lambda.h: Add DEF_VEC_ALLOC_P for gc allocated lambda_vector.
257         * tree-loop-linear.c (linear_transform_loops): Allocate nest
258         vector only after perfect_loop_nest_depth call.
259
260 2009-01-08  Sebastian Pop  <sebastian.pop@amd.com>
261             Jan Sjodin  <jan.sjodin@amd.com>
262
263         PR tree-optimization/38559
264         * graphite.c (debug_value, copy_constraint,
265         swap_constraint_variables, scale_constraint_variable, ): New.
266         (get_lower_bound, get_upper_bound): Removed.
267         (graphite_trans_bb_strip_mine): Clean up this code that works
268         only for constant number of iterations.  Fully copy upper and
269         lower bound constraints, not only the constant part of them.
270         * graphite.h (debug_value): Declared.
271
272 2009-01-08  Ira Rosen  <irar@il.ibm.com>
273
274         PR tree-optimization/37194
275         * tree-vect-transform.c (vect_estimate_min_profitable_iters):
276         Don't add the cost of cost model guard in prologue to scalar 
277         outside cost in case of known number of iterations.
278
279 2009-01-07  Nathan Froyd  <froydnj@codesourcery.com>
280             Alan Modra  <amodra@bigpond.net.au>
281
282         * config/rs6000/rs6000.c (rs6000_legitimize_address): Check for
283         non-word-aligned REG+CONST addressing.
284
285 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
286
287         PR target/38706
288         * config/alpha/alpha.c (alpha_end_function): For TARGET_ABI_OSF, call
289         free_after_compilation when outputting a thunk.
290         (alpha_output_mi_thunk_osf): Assert that we are processing a thunk.
291         Do not call free_after_compilation here.
292
293 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
294
295         * config/i386/i386.c (ix86_target_string): Use ARRAY_SIZE.
296         (ix86_valid_target_attribute_inner_p): Ditto.
297
298 2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>
299
300         PR tree-optimization/38492
301         PR tree-optimization/38498
302         * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
303         * tree-chrec.h (scev_is_linear_expression): Declared.
304         * graphite.c (graphite_cannot_represent_loop_niter): New.
305         (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
306         (graphite_loop_normal_form): Use gcc_assert.
307         (scan_tree_for_params): Use CASE_CONVERT.
308         (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
309         (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
310         Use gcc_assert.  Discard scops that contain unhandled cases.
311         (build_scop_conditions): Return a boolean status for unhandled cases.
312         (strip_mine_profitable_p): Print the loop number, not its depth.
313         (is_interchange_valid): Pass the depth of the loop nest, don't
314         recompute it wrongly.
315         (graphite_trans_bb_block): Same.
316         (graphite_trans_bb_block): Print tentative of loop blocking.
317         (graphite_trans_scop_block): Do not print that the loop has been
318         blocked.
319         (graphite_transform_loops): Do not handle scops that contain condition
320         scalar phi nodes.
321
322 2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>
323
324         AVX Programming Reference (December, 2008)
325         * config/i386/avxintrin.h (_mm256_stream_si256): New.
326         (_mm256_stream_pd): Likewise.
327         (_mm256_stream_ps): Likewise.
328
329         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
330         IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
331         (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
332         (bdesc_special_args): Add __builtin_ia32_movntdq256,
333         __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
334         (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
335         (ix86_expand_special_args_builtin): Likewise.
336
337         * config/i386/sse.md (AVXMODEDI): New.
338         (avx_movnt<mode>): Likewise.
339         (avx_movnt<mode>): Likewise.
340         (<sse>_movnt<mode>): Remove AVX support.
341         (sse2_movntv2di): Likewise.
342
343 2009-01-07  Richard Guenther  <rguenther@suse.de>
344
345         PR middle-end/38751
346         * fold-const.c (extract_muldiv): Remove obsolete comment.
347         (fold_plusminus_mult_expr): Undo MINUS_EXPR
348         to PLUS_EXPR canonicalization for the canonicalization.
349
350 2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>
351
352         * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
353         hosted cross-compilers generating less efficient code.
354
355 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
356
357         * function.h (rtl_data): Add a dbr_scheduled_p field.
358         * reorg.c (dbr_schedule): Set it.
359         (gate_handle_delay_slots): Check it.
360         * config/mips/mips.c (mips_base_delayed_branch): Delete.
361         (mips_reorg): Check flag_delayed_branch instead of
362         mips_base_delayed_branch.
363         (mips_override_options): Don't set mips_base_delayed_branch
364         or flag_delayed_branch.
365
366 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
367
368         PR rtl-optimization/38426.
369         * ira.c (ira): Set current_function_is_leaf earlier.
370
371 2009-01-06  Jakub Jelinek  <jakub@redhat.com>
372
373         PR rtl-optimization/38722
374         * combine.c (try_combine): Don't modify PATTERN (i3) and notes
375         too early, only set a flag and modify after last possible
376         undo_all point.
377
378 2009-01-06  Janis Johnson  <janis187@us.ibm.com>
379
380         PR c/34252
381         * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
382         * real.c (decimal_single_format): Correct values of emin and emax.
383         (decimal_double_format): Ditto.
384         (decimal_quad_format): Ditto.
385         * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
386         computation of DECnn_MIN and DECnn_MAX for corrected values of
387         emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
388         __DECnn_MIN__, and adjust its computation for the corrected value
389         of emin.
390
391 2009-01-06  Jan Hubicka  <jh@suse.cz>
392
393         PR target/38744
394         * i386.c (ix86_expand_call): Use ARRAY_SIZE.
395
396 2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>
397
398         * doc/contrib.texi (Contributors): Slightly adjust the end note.
399         Add Robert Clark to the list of testers.
400
401 2009-01-06  Jan Hubicka  <jh@suse.cz>
402             Kai Tietz <kai.tietz@onevision.com>
403
404         * i386.md (*msabi_syvabi): Add SSE regs clobbers.
405         * i386.c (ix86_expand_call): Add clobbers.
406
407 2009-01-06  Jan Hubicka  <jh@suse.cz>
408             Kai Tietz <kai.tietz@onevision.com>
409
410         * i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used for w64 ABI.
411         * i386.c (struct ix86_frame): Add padding0 and nsseregs.
412         (ix86_nsaved_regs): Count only general purpose regs.
413         (ix86_nsaved_sseregs): New.
414         (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
415         to 16 for w64; compute padding and size of sse reg save area.
416         (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only
417         general purpose regs.
418         (ix86_emit_save_sse_regs_using_mov): New.
419         (ix86_expand_prologue): Save SSE regs if needed.
420         (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
421         (ix86_emit_restore_sse_regs_using_mov): New.
422         (ix86_expand_epilogue): Save SSE regs if needed.
423
424 2009-01-06  Jan Hubicka  <jh@suse.cz>
425             Kai Tietz <kai.tietz@onevision.com>
426
427         * i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
428         * i386.c (init_cumulative_args): Disallow calls of MSABI functions
429         when accumulate outgoing args is off.
430
431 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
432
433         PR bootstrap/38742
434         * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
435         before using pseudos_have_intersected_live_ranges_p.
436
437         * ira-int.h (ira_assert): Always define.
438
439 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
440
441         AVX Programming Reference (December, 2008)
442         * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
443         (_mm256_permute2_pd): Likewise.
444         (_mm_permute2_ps): Likewise.
445         (_mm256_permute2_ps): Likewise.
446         * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
447         * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.
448
449         * config/i386/i386.c (ix86_builtins): Remove
450         IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
451         IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
452         (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
453         V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
454         and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
455         (bdesc_args): Remove __builtin_ia32_vpermil2pd,
456         __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
457         __builtin_ia32_vpermil2ps256.
458         (ix86_init_mmx_sse_builtins): Updated.
459         (ix86_expand_args_builtin): Likewise.
460
461 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
462
463         * pa.c (output_call): Relocate non-jump insns in the delay slot of
464         long absolute calls when generating PA 2.0 code.
465
466 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
467
468         PR rtl-optimization/38583
469         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
470
471         * params.def (ira-max-conflict-table-size): New.
472
473         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
474         
475         * ira.h (ira_conflicts_p): New external definition.
476         
477         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
478         table.  Report this.  Return result of building.
479         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
480         building conflict table.
481
482         * ira-color.c (fast_allocation): Use num instead of ira_allocnos_num.
483         (ira_color): Use ira_conflicts_p.
484         
485         * global.c: Include ira.h.
486         (pseudo_for_reload_consideration_p, build_insn_chain): Use
487         ira_conflicts_p.
488
489         * Makefile.in (global.o): Add ira.h.
490         
491         * ira-build.c (mark_all_loops_for_removal,
492         propagate_some_info_from_allocno): New.
493         (remove_unnecessary_allocnos): Call
494         propagate_some_info_from_allocno.
495         (remove_low_level_allocnos): New.
496         (remove_unnecessary_regions): Add parameter.  Call
497         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
498         parameter to remove_unnecessary_regions.
499         (ira_build): Remove all regions but root if the conflict table was
500         not built.  Update conflict hard regs for allocnos crossing calls.
501
502         * ira.c (ira_conflicts_p): New global.
503         (ira): Define and use ira_conflicts_p.
504
505         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
506         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
507         emit_input_reload_insns, delete_output_reload): Use ira_conflicts_p.
508         
509 2009-01-06  Ben Elliston  <bje@au.ibm.com>
510
511         * gengtype-lex.l (YY_NO_INPUT): Define.
512
513 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
514
515         PR c/34911
516         * c-common.c (handle_vector_size_attribute): Also reject
517         BOOLEAN_TYPE types.
518
519 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
520
521         PR tree-optimization/38492
522         * graphite.c (rename_map_elt, debug_rename_elt,
523         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
524         rename_map_elt_info, eq_rename_map_elts,
525         get_new_name_from_old_name, bb_in_sese_p): Moved around.
526         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
527         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
528         (sese_build_livein_liveouts): New.
529         (new_sese, free_sese): New.
530         (new_scop): Call new_sese.
531         (free_scop): Call free_sese.
532         (rename_variables_from_edge, rename_phis_end_scop): Removed.
533         (register_old_new_names): Renamed register_old_and_new_names.
534         (register_scop_liveout_renames, add_loop_exit_phis,
535         insert_loop_close_phis, struct igp,
536         default_liveout_before_guard, add_guard_exit_phis,
537         insert_guard_phis, copy_renames): New.
538         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
539         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
540         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
541         (scop_adjust_phis_for_liveouts): New.
542         (gloog): Call scop_adjust_phis_for_liveouts.
543
544         * graphite.h (struct sese): Documented.  Added fields liveout,
545         num_ver and livein.
546         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
547         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
548         (struct scop): Added field liveout_renames.
549         (SCOP_LIVEOUT_RENAMES): New.
550
551 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
552
553         PR tree-optimization/38510
554         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
555         (translate_clast): Call recompute_all_dominators before
556         graphite_verify.
557         (gloog): Call recompute_all_dominators before graphite_verify.
558
559 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
560             Jan Sjodin <jan.sjodin@amd.com>
561
562         PR tree-optimization/38500
563         * graphite.c (create_sese_edges): Call fix_loop_structure after
564         splitting blocks.
565
566 2009-01-05  Joel Sherrill <joel.sherrill@oarcorp.com>
567
568         * config.gcc: Add m32r*-*-rtems*.
569         * config/m32r/rtems.h: New file.
570
571 2009-01-05  Ben Elliston  <bje@au.ibm.com>
572
573         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
574         (.po.pox): Likewise.
575         (po/gcc.pot): Likewise.
576
577 2009-01-04  David S. Miller  <davem@davemloft.net>
578
579         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
580         (STARTING_FRAME_OFFSET): Always set to zero.
581
582 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
583
584         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
585         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
586         fixed-point types, and vectors of the same.
587
588 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
589
590         * config/mips/sync.md (*mb_barrier): Rename to...
591         (*memory_barrier): ...this.
592
593 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
594
595         * doc/extend.texi (Function Attributes): Move @cindex after @item
596         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
597         and put in alphabetical order. Fix 'target' name and put in order.
598         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
599         typos.
600
601 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
602
603         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
604         (memory_barrier): Expand as unspec instead of unspec_volatile.
605         Remove mem:BLK from insn operands.  Use Pmode scratch register.
606         (*memory_barrier): Define as unspec instead of unspec_volatile.
607         Use (match_dup 0) as input operand.
608
609         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
610         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
611         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
612         scratch register.  Remove operand 1.
613         (*stbar): Define as unspec instead of unspec_volatile.
614         Use (match_dup 0) as input operand, remove (const_int 8).
615         (*membar): Define as unspec instead of unspec_volatile.
616         Use (match_dup 0) as input operand, remove input operand 2.
617
618         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
619         (memory_barrier): Expand as unspec instead of unspec_volatile.
620         Remove mem:BLK from insn operands.  Use Pmode scratch register.
621         (*memory_barrier): Define as unspec instead of unspec_volatile.
622         Use (match_dup 0) as input operand.
623
624         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
625         Remove mem:BLK from insn operands.  Use Pmode scratch register.
626         Set volatile flag on operand 0.
627         (*memory_barrier): New insn pattern.
628
629         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
630         insn operands.
631         (*memory_barrier): Use (match_dup 0) as input operand.
632
633         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
634         Remove mem:BLK from insn operands.  Use Pmode scratch register.
635         Set volatile flag on operand 0.
636         (*mb_internal): New insn pattern.
637
638         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
639
640 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
641
642         PR middle-end/38586
643         * function.c (struct temp_slot): Move to the section of the file
644         that deals with temp slots.  Remove field 'address'.
645         (temp_slot_address_table): New hash table of address -> temp slot.
646         (struct temp_slot_address_entry): New struct, items for the table.
647         (temp_slot_address_compute_hash, temp_slot_address_hash,
648         temp_slot_address_eq, insert_temp_slot_address): Support functions
649         for the new table.
650         (find_temp_slot_from_address): Rewrite to use the new hash table.
651         (remove_unused_temp_slot_addresses): Remove addresses of temp
652         slots that have been made available.
653         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
654         worker function for remove_unused_temp_slot_addresses.
655         (assign_stack_temp_for_type): Don't clear the temp slot address list.
656         Add the temp slot address to the address -> temp slot map.
657         (update_temp_slot_address): Update via insert_temp_slot_address.
658         (free_temp_slots): Call remove_unused_temp_slot_addresses.
659         (pop_temp_slots): Likewise.
660         (init_temp_slots): Allocate the address -> temp slot map, or empty
661         the map if it is already allocated.
662         (prepare_function_start): Initialize temp slot processing.
663
664 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
665
666         PR middle-end/38584
667         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
668         Calculate the size of all stack vars assuming no packing of stack
669         vars will happen, replacing a quadratic algorithm with a linear one.
670
671 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
672
673         PR target/38707
674         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
675         can't be used.
676
677 2009-01-03  Diego Novillo  <dnovillo@google.com>
678
679         * doc/contrib.texi: Update contributions.
680
681 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
682
683         PR c++/38705
684         * builtins.c (fold_builtin_memory_op): Give up if either operand
685         is volatile.  Set srctype or desttype to non-qualified version
686         of the other type.
687
688         PR c/38700
689         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
690         and FUNCTION_DECLs.
691
692 2009-01-02  Kenneth Zadeck <zadeck@naturalbridge.com>
693
694         PR rtl-optimization/35805
695         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
696         problem if fast dce is able to remove any instructions.
697         * dce.c (dce_process_block): Fix dump message.
698         
699 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
700
701         PR 33649
702         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
703
704 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
705
706         PR middle-end/38690
707         * tree-flow.h (op_code_prio, op_prio): New prototypes.
708         * tree-pretty-print.c (op_code_prio): New function.
709         (op_prio): No longer static.  Use op_code_prio.
710         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
711         Use op_prio and op_code_prio to determine if () should be
712         printed around operand(s) or not.
713
714         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
715         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
716         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
717         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
718         pp_character instead of pp_string for single letter printing.
719
720 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
721
722         * doc/extend.texi: Fix '#pragma GCC option' typo.
723
724 2009-01-02 Richard Guenther <rguenther@suse.de>
725
726         * doc/install.texi (--enable-checking): Mention different
727         default for stage1.
728         (--enable-stage1-checking): Document.
729
730 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
731
732         PR middle-end/30142
733         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
734         case to be an error.
735
736 2009-01-02  Ben Elliston  <bje@au.ibm.com>
737
738         * config/fp-bit.h (pack_d): Constify argument.
739         * config/fp-bit.c (makenan): Constify return type. Remove casts.
740         (isnan): Constify argument.
741         (isinf): Likewise.
742         (iszero): Likewise.
743         (pack_d): Likewise.
744         (_fpadd_parts): Constify return type.
745         (_fpmul_parts): Likewise.
746         (_fpdiv_parts): Likewise.
747
748 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
749
750         PR c/36489
751         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
752         warn about overwriting initializer with side-effects or
753         -Woverride-init if !IMPLICIT.
754         (output_init_element): Likewise.  Pass IMPLICIT down to
755         add_pending_init.
756         (process_init_element): Add IMPLICIT argument.  Pass it down
757         to output_init_element.
758         (push_init_element, pop_init_level, set_designator): Adjust
759         process_init_element callers.
760         (set_nonincremental_init, set_nonincremental_init_from_string):
761         Adjust add_pending_init callers.
762         (output_pending_init_elements): Adjust output_init_element callers.
763         * c-tree.h (process_init_element): Adjust prototype.
764         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
765         process_init_element callers.