OSDN Git Service

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