OSDN Git Service

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