OSDN Git Service

PR tree-optimization/39394
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
2
3         PR tree-optimization/39394
4         * gimplify.c (gimplify_type_sizes): Gimplify DECL_SIZE and
5         DECL_SIZE_UNIT of variable length FIELD_DECLs.
6
7 2009-03-09  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
8
9         * recog.c (verfiy_changes): Disallow renaming of hard regs in
10         inline asms for register asm ("") declarations.
11
12 2009-03-09  Eric Botcazou  <ebotcazou@adacore.com>
13
14         * fold-const.c (fold_unary): Fix comment.
15
16 2009-03-07  Jan Hubicka  <jh@suse.cz>
17
18         PR target/39361
19         * tree-inline.c (setup_one_parameter): Do replacement of const argument
20         by constant in SSA form.
21
22 2009-03-07  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
23
24         PR middle-end/38028
25         * function.c (assign_parm_setup_stack): Use STACK_SLOT_ALIGNMENT to
26         determine alignment passed to assign_stack_local.
27         (assign_parms_unsplit_complex): Likewise.
28         * except.c (sjlj_build_landing_pads): Likewise.
29
30 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
31
32         PR middle-end/39360
33         * tree-flow.h (add_referenced_var): Return bool instead of void.
34         * tree-dfa.c (add_referenced_var): Return result of
35         referenced_var_check_and_insert call.
36         * tree-inline.c (expand_call_inline): Call add_referenced_var instead
37         of referenced_var_check_and_insert.
38
39         PR debug/39372
40         * dwarf2out.c (add_abstract_origin_attribute): Return
41         origin_die.
42         (gen_variable_die): Emit DW_AT_location on abstract static variable's
43         DIE, don't emit it if abstract origin already has it.
44         * tree-cfg.c (remove_useless_stmts_bind): GIMPLE_BINDs with any
45         BLOCK_NONLOCALIZED_VARS in its gimple_bind_block aren't useless.
46
47 2009-03-06  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
48
49         * genpreds.c: (needs_variable): Fix parentheses at variable name
50         detection.
51         (write_tm_constrs_h): Indent generated code.
52
53 2009-03-06  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
54
55         * doc/extend.texi (Function Attributes): Add documentation
56         for isr attributes.
57
58 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
59
60         PR debug/39387
61         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): For IMPORTED_DECL
62         take locus from its DECL_SOURCE_LOCATION instead of input_location.
63
64 2009-03-05  Bernd Schmidt  <bernd.schmidt@analog.com>
65
66         * config/bfin/bfin.c (bfin_discover_loop): When retrying fails, mark
67         the loop as bad.
68
69 2009-03-05  Jakub Jelinek  <jakub@redhat.com>
70
71         PR debug/39379
72         * tree-cfg.c (remove_useless_stmts_bind): Don't remove GIMPLE_BINDs
73         with blocks containing IMPORTED_DECLs in BLOCK_VARS.
74
75 2009-03-05  Uros Bizjak  <ubizjak@gmail.com>
76
77         * config/i386/i386.md (R8_REG, R9_REG): New constants.
78         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Use named
79         constants instead of magic numbers.
80         (HARD_REGNO_CALLER_SAVE_MODE): Ditto.
81         (QI_REG_P): Ditto.
82         * config/i386/i386.c (x86_64_int_parameter_registers): Ditto.
83         (x86_64_ms_abi_int_parameter_registers): Ditto.
84         (x86_64_int_return_registers): Ditto.
85         (ix86_maybe_switch_abi): Ditto.
86         (ix86_expand_call): Ditto for clobbered_registers array.
87         (ix86_hard_regno_mode_ok): Ditto.
88         (x86_extended_QIreg_mentioned_p): Ditto.
89
90 2009-03-05  J"orn Rennecke  <joern.rennecke@arc.com>
91
92         PR tree-optimization/39349
93         * cse.c (cse_insn): Fix loop to stop at VOIDmode.
94
95         * combine.c (gen_lowpart_for_combine): Use omode when generating
96         clobber.
97
98 2009-03-04  J"orn Rennecke  <joern.rennecke@arc.com>
99
100         PR rtl-optimization/39235
101         * loop-iv.c (get_simple_loop_desc): Use XCNEW.
102
103 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
104
105         * graphite.c (nb_reductions_in_loop): Update simple_iv arguments.
106
107 2009-03-04  Richard Guenther  <rguenther@suse.de>
108
109         PR tree-optimization/39362
110         * tree-ssa-sccvn.c (visit_use): Stores and copies from SSA_NAMEs
111         that occur in abnormal PHIs should be varying.
112
113 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
114
115         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop):
116         Extend comments.
117         (simple_iv):  Take loop as an argument instead of statement.
118         * tree-scalar-evolution.h (simple_iv): Declaration changed.
119         * tree-ssa-loop-niter.c (number_of_iterations_exit): Update calls
120         to simple_iv.
121         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev):
122         Ditto.
123         * tree-parloops.c (loop_parallel_p, canonicalize_loop_ivs): Ditto.
124         * matrix-reorg.c (analyze_transpose): Ditto.
125         * tree-data-ref.c (dr_analyze_innermost): Ditto.
126         * tree-vect-analyze.c (vect_analyze_data_refs): Ditto.
127         * tree-predcom.c (ref_at_iteration): Ditto.
128         * tree-ssa-loop-prefetch.c (idx_analyze_ref): Ditto.
129
130 2009-03-04  Richard Guenther  <rguenther@suse.de>
131
132         PR tree-optimization/39358
133         * tree-ssa-structalias.c (do_sd_constraint): Fix check for
134         escaped_id and callused_id.
135         (solve_graph): Likewise.
136
137 2009-03-04  Richard Guenther  <rguenther@suse.de>
138
139         PR tree-optimization/39339
140         * tree-sra.c (try_instantiate_multiple_fields): Make it
141         no longer ICE on the above.
142
143 2009-03-03  Joseph Myers  <joseph@codesourcery.com>
144
145         * emit-rtl.c (adjust_address_1): Reduce offset to a signed value
146         that fits within Pmode.
147
148 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
149
150         PR middle-end/10109
151         * tm.texi (LIBCALL_VALUE): Update description.
152
153 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
154
155         PR middle-end/34443
156         * doc/extend.texi (section): Update description.
157
158 2009-03-03  H.J. Lu  <hongjiu.lu@intel.com>
159
160         PR middle-end/39345
161         * tree-inline.c (remapped_type): New.
162         (can_be_nonlocal): Call remapped_type instead of remap_type.
163
164 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
165
166         PR fortran/39354
167         * gimplify.c (goa_stabilize_expr): Handle tcc_comparison,
168         TRUTH_ANDIF_EXPR and TRUTH_ORIF_EXPR.
169
170 2009-03-03  Richard Guenther  <rguenther@suse.de>
171
172         PR middle-end/39272
173         * tree.c (tree_nonartificial_location): New function.
174         * tree.h (tree_nonartificial_location): Declare.
175         * builtins.c (expand_builtin_memory_chk): Provide location
176         of the call location for artificial function pieces.
177         (maybe_emit_chk_warning): Likewise.
178         (maybe_emit_sprintf_chk_warning): Likewise.
179         (maybe_emit_free_warning): Likewise.
180         * expr.c (expand_expr_real_1): Likewise.
181
182 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
183
184         PR tree-optimization/39343
185         * tree-ssa-ccp.c (maybe_fold_offset_to_address): Don't check if
186         COMPONENT_REF t has ARRAY_TYPE.
187
188 2009-03-02  Sebastian Pop  <sebastian.pop@amd.com>
189
190         PR middle-end/39335
191         * tree-parloops.c (canonicalize_loop_ivs): Call fold_convert
192         when the type precision of the induction variable should be
193         larger than the type precision of nit.
194         (gen_parallel_loop): Update use of canonicalize_loop_ivs.
195         * graphite.c (graphite_loop_normal_form): Same.
196         * tree-flow.h (canonicalize_loop_ivs): Update declaration.
197
198 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
199
200         * config/i386/i386.md (ST?_REG, MM?_REG): New constants.
201         (*call_1_rex64_ms_sysv): Use named constants instead of magic
202         numbers to describe clobbered registers.
203         (*call_value_0_rex64_ms_sysv): Ditto.
204         * config/i386/mmx.md (mmx_emms): Ditto.
205         (mmx_femms): Ditto.
206
207 2009-03-02  Richard Sandiford  <rdsandiford@googlemail.com>
208
209         * config/mips/mips.c (mips_mdebug_abi_name): Fix the handling
210         of ABI_64.
211
212 2009-03-02  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
213
214         * config/spu/spu.c (TARGET_SECTION_TYPE_FLAGS): Define.
215         (spu_section_type_flags): New function.
216
217 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
218
219         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not copy
220         reg_class_contents of FLOAT_REGS into a temporary.
221
222 2009-03-02  Richard Guenther  <rguenther@suse.de>
223             Ira Rosen  <irar@il.ibm.com>
224
225         PR tree-optimization/39318
226         * tree-vect-transform.c (vectorizable_call): Transfer the EH region
227         information to the vectorized statement.
228
229 2009-03-01  Uros Bizjak  <ubizjak@gmail.com>
230
231         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not shadow "i"
232         variable.  Use defined names instead of magic constants for REX SSE
233         registers.
234
235 2009-03-01  Richard Guenther  <rguenther@suse.de>
236
237         PR tree-optimization/39331
238         * omp-low.c (lower_send_shared_vars): Do not receive new
239         values for the reference of DECL_BY_REFERENCE parms or results.
240
241 2009-03-01  Jan Hubicka  <jh@suse.cz>
242
243         PR debug/39267
244         * tree.h (BLOCK_NONLOCALIZED_VARS, BLOCK_NUM_NONLOCALIZED_VARS,
245         BLOCK_NONLOCALIZED_VAR): New macros.
246         (tree_block): Add nonlocalized_vars.
247         * dwarf2out.c (gen_formal_parameter_die, gen_variable_die,
248         gen_decl_die): Add origin argument.  Allow generation of die with
249         origin at hand only.
250         (gen_member_die, gen_type_die_with_usage, force_decl_die,
251         declare_in_namespace, gen_namescpace_die, dwarf2out_decl): Update use
252         of gen_*.
253         (gen_block_die): Fix checking for unused blocks.
254         (process_scope_var): Break out from .... ; work with origins only.
255         (decls_for_scope) ... here; process nonlocalized list.
256         (dwarf2out_ignore_block): Look for nonlocalized vars.
257         * tree-ssa-live.c (remove_unused_scope_block_p): Look for nonlocalized
258         vars.
259         (dump_scope_block): Dump them.
260         * tree-inline.c (remap_decls): Handle nonlocalized vars.
261         (remap_block): Likewise.
262         (can_be_nonlocal): New predicate.
263         (copy_bind_expr, copy_gimple_bind): Update use of remap_block.
264
265 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
266
267         * configure: Regenerate.
268
269 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
270
271         * optc-gen.awk: No need to duplicate option flags twice.
272         Reuse help texts for duplicate options which do not have
273         any.
274
275         * gcc.c (display_help): Document --version.
276
277         * gcc.c (main): If print_help_list and verbose_flag, ensure
278         driver output comes before subprocess output.
279
280         * optc-gen.awk: Assign all remaining fields to help string,
281         space-separated, for multi-line help in *.opt.
282
283         * doc/invoke.texi (Warning Options): -Wsync-nand is C/C++ only.
284         -Wno-pedantic-ms-format is for MinGW targets only.
285
286         * doc/options.texi (Option file format): Fix bad indentation,
287         restoring dropped sentence.
288
289 2009-02-28  Jan Hubicka  <jh@suse.cz>
290
291         * tree-inline.c (tree_function_versioning): Output debug info.
292
293 2009-02-28  Jan Hubicka  <jh@suse.cz>
294
295         PR debug/39267
296         * tree-inline.c (setup_one_parameter): Do not copy propagate
297         arguments when not optimizing.
298
299 2009-02-28  H.J. Lu  <hongjiu.lu@intel.com>
300
301         PR target/39327
302         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
303         (avx_addsubv4df3): Likewise.
304         (*avx_addsubv4sf3): Likewise.
305         (sse3_addsubv4sf3): Likewise.
306         (*avx_addsubv2df3): Likewise.
307         (sse3_addsubv2df3): Likewise.
308         (avx_unpckhps256): Correct item selectors.
309         (avx_unpcklps256): Likewise.
310         (avx_unpckhpd256): Likewise.
311         (avx_unpcklpd256): Likewise.
312
313 2009-02-28  Jan Hubicka  <jh@suse.cz>
314
315         * tree-inline.c (expand_call_inline): Avoid duplicate declarations of
316         static vars.
317         (copy_arguments_for_versioning): If var is declared don't declare it.
318         (tree_function_versioning): First setup substitutions and then copy
319         args.
320
321 2009-02-27  Jan Hubicka  <jh@suse.cz>
322
323         PR debug/39267
324         * cgraph.h (varpool_output_debug_info): Remove.
325         * cgraphunit.c (varpool_output_debug_info): Remove.
326         * dwarf2out.c (deferred_locations_struct): New struct
327         (deferred_locations): New type.
328         (deferred_locations_list): New static var.
329         (deffer_location): New function.
330         (gen_variable_die): Use it.
331         (decls_for_scope): Output info on local static vars.
332         (dwarf2out_finish): Process deferred locations.
333         * varpool.c (varpool_output_debug_info): Remove.
334
335 2009-02-27  Jan Hubicka  <jh@suse.cz>
336
337         PR debug/39267
338         * tree.h (TREE_PROTECTED): Fix comment.
339         (BLOCK_HANDLER_BLOCK): Remove.
340         (struct tree_block): Remove handler_block add body_block.
341         (inlined_function_outer_scope_p): New.
342         (is_body_block): Remove.
343         * dbxout.c (dbxout_block): Remove BLOCK_HANDLER_BLOCK.
344         * dwarf2out.c (is_inlined_entry_point): Remove.
345         (add_high_low_attributes): Use inlined_function_outer_scope_p.
346         (gen_block_die): Use is_inlined_entry_point check.  Remove body block
347         code.
348         * langhooks.h (struct lang_hooks): Remove no_bodu_blocks.
349         * gimplify.c (gimplify_expr): Gimplify body blocks.
350         * tree-ssa-live.c (remove_unused_scope_block_p): Allow removing wrapper
351         block with multiple subblocks.
352         (dump_scope_block): Prettier output; dump more flags and info.
353         (dump_scope_blocks): New.
354         (remove_unused_locals): Use dump_scope_blocks.
355         * tree-flow.h (dump_scope_blocks): Declare.
356         * tree-cfg.c (execute_build_cfg): Dump scope blocks.
357         * stmt.c (is_body_block): Remove.
358         * tree-inline.c (remap_block): Copy BODY_BLOCK info.
359         * langhooks-def.h (LANG_HOOKS_NO_BODY_BLOCKS): Remove.
360
361 2009-02-27  Sebastian Pop  <sebastian.pop@amd.com>
362
363         PR middle-end/39308
364         * graphite.c (graphite_loop_normal_form): Do not call 
365         number_of_iterations_exit from a gcc_assert.
366
367 2009-02-27  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
368
369         * gcc/config/s390/s390.c: (s390_swap_cmp): Look for conditional
370         jumps if COND is NULL.
371         (find_cond_jump): New function.
372         (s390_z10_optimize_cmp): Handling for reg-reg compares added.
373         * gcc/config/s390/s390.md: Remove z10_cobra attribute value.
374
375 2009-02-26  Uros Bizjak  <ubizjak@gmail.com>
376
377         * config/alpha/alpha.h (alpha_expand_mov): Return false if
378         force_const_mem returns NULL_RTX.
379
380 2009-02-26  Jan Hubicka  <jh@suse.cz>
381
382         PR debug/39267
383         * cgraph.h (varpool_output_debug_info): Remove.
384         * cgraphunit.c (varpool_output_debug_info): Remove.
385         * dwarf2out.c (deferred_locations_struct): New struct
386         (deferred_locations): New type.
387         (deferred_locations_list): New static var.
388         (deffer_location): New function.
389         (gen_variable_die): Use it.
390         (decls_for_scope): Output info on local static vars.
391         (dwarf2out_finish): Process deferred locations.
392         * varpool.c (varpool_output_debug_info): Remove.
393
394 2009-02-25  H.J. Lu  <hongjiu.lu@intel.com>
395
396         PR rtl-optimization/39241
397         * jump.c (rtx_renumbered_equal_p): Remove 2 superfluous calls
398         to subreg_offset_representable_p.
399
400 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
401
402         * regmove.c (regmove_optimize): Conform to struct rtl_opt_pass
403         execute function prototype.  Get f and nregs from max_reg_num
404         and get_insns.  Remove the first backward pass as it's dead,
405         guard the forward pass by flag_expensive_optimizations.
406         (rest_of_handle_regmove): Delete.
407         (pass_regmove): Replace it with regmove_optimize.
408
409 2009-02-25  Martin Jambor  <mjambor@suse.cz>
410
411         PR tree-optimization/39259
412         * tree-inline.c (initialize_cfun): Remove asserts for calls_setjmp and
413         calls_alloca function flags.
414         (copy_bb): Set calls_setjmp and alls_alloca function flags if such
415         calls are detected.
416
417 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
418
419         * regmove.c (discover_flags_reg, flags_set_1, mark_flags_life_zones,
420         flags_set_1_rtx, flags_set_1_set): Delete.
421         (regmove_optimize): Do not call mark_flags_life_zones.
422
423 2009-02-24  Julian Brown  <julian@codesourcery.com>
424
425         PR target/35965
426         * config/arm/arm.c (require_pic_register): Only set
427         cfun->machine->pic_reg once per function.
428
429 2009-02-24  Sandra Loosemore  <sandra@codesourcery.com>
430
431         * doc/invoke.texi (Link Options): Document an easier way to pass
432         options that take arguments to the GNU linker using -Xlinker and -Wl.
433
434 2009-02-24  Steve Ellcey  <sje@cup.hp.com>
435
436         PR target/33785
437         * doc/tm.texi (TARGET_C99_FUNCTIONS): Fix description.
438
439 2009-02-24  Richard Guenther  <rguenther@suse.de>
440
441         PR debug/39285
442         * dwarf2out.c (gen_enumeration_type_die): Handle CONST_DECLs.
443
444 2009-02-24  Richard Guenther  <rguenther@suse.de>
445             Zdenek Dvorak  <ook@ucw.cz>
446
447         PR tree-optimization/39233
448         * tree-ssa-loop-ivopts.c (add_candidate_1): Do not except pointers
449         from converting them to a generic type.
450
451 2009-02-23  Sebastian Pop  <sebastian.pop@amd.com>
452
453         PR tree-optimization/39260
454         * graphite.c (harmful_stmt_in_bb): Stop a SCoP when the basic block
455         contains a condition with a real type.
456         (build_scop_conditions_1): Conditions are always last_stmt of a bb.
457
458 2009-02-23  Jason Merrill  <jason@redhat.com>
459
460         PR c++/38880
461         * varasm.c (initializer_constant_valid_p) [PLUS_EXPR]: Check
462         narrowing_initializer_constant_valid_p.
463         (narrowing_initializer_constant_valid_p): Don't return 
464         null_pointer_node for adding a pointer to itself.
465
466 2009-02-23  Jan Hubicka  <jh@suse.cz>
467
468         PR c/12245
469         * ggc.h (htab_create_ggc): Use ggc_free to free hashtable when
470         resizing.
471
472 2009-02-23  Jan Hubicka  <jh@suse.cz>
473
474         PR tree-optimization/37709
475         * tree.c (block_ultimate_origin): Move here from dwarf2out.
476         * tree.h (block_ultimate_origin): Declare.
477         * dwarf2out.c (block_ultimate_origin): Move to tree.c
478         * tree-ssa-live.c (remove_unused_scope_block_p):
479         Eliminate blocks containig no instructions nor live variables nor
480         nested blocks.
481         (dump_scope_block): New function.
482         (remove_unused_locals): Enable removal of dead blocks by default;
483         enable dumping at TDF_DETAILS.
484
485 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
486
487         * config/i386/i386.c (classify_argument): Don't allow COImode
488         and OImode.
489         (function_arg_advance_32): Don't allow OImode.
490         (function_arg_32): Likewise.
491         (function_value_32): Likewise.
492         (return_in_memory_32): Likewise.
493         (function_arg_64): Remove OImode comment.
494
495 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
496
497         PR target/39261
498         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Use
499         ix86_expand_vector_set for V4DImode in 64bit mode only.
500         (ix86_expand_vector_init_one_var): Likewise.
501
502 2009-02-21  Sebastian Pop  <sebastian.pop@amd.com>
503
504         * graphite.c (graphite_trans_loop_block): Adjust tile size to 51.
505
506 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
507
508         PR bootstrap/39257
509         * loop-iv.c: Revert last change.
510         * emit-rtl.c: Likewise.
511
512 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
513
514         PR target/39256
515         * config/i386/i386.c (type_natural_mode): Remove an extra
516         space in the warning message.
517         (function_value_32): Handle 32-byte vector modes.
518         (return_in_memory_32): Likewise.
519
520 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
521
522         * loop-iv.c (truncate_value): New function.
523         (iv_subreg, get_iv_value, iv_number_of_iterations): Use it instead
524         of lowpart_subreg.
525         (lowpart_subreg): Move to...
526         * emit-rtl.c: ...here.
527
528 2009-02-21  Danny Smith  <dannysmith@users.sourceforge.net>
529
530         * config/i386/winnt.c (i386_pe_asm_output_aligned_decl_common): Revert
531         accidental and undocumented change at revision 140860.
532
533 2009-02-21  Joseph Myers  <joseph@codesourcery.com>
534
535         * config/arm/arm.c (arm_gimplify_va_arg_expr): Update prototype to
536         take gimple_seq * arguments.
537         (arm_mangle_type): Use CONST_CAST_TREE on type argument passed to
538         types_compatible_p langhook.
539
540 2009-02-20  Mark Mitchell  <mark@codesourcery.com>
541             Joseph Myers  <joseph@codesourcery.com>
542
543         * config/arm/arm.c (arm_builtin_va_list): New function.
544         (arm_expand_builtin_va_start): Likewise.
545         (arm_gimplify_va_arg_expr): Likewise.
546         (TARGET_BUILD_BUILTIN_VA_LIST): Define.
547         (TARGET_BUILD_BUILTIN_VA_START): Likewise.
548         (TARGET_BUILD_BUILTIN_VA_ARG_EXPR): Likewise.
549         (va_list_type): New variable.
550         (arm_mangle_type): Mangle va_list_type appropriately.
551
552 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
553
554         PR middle-end/39157
555         * Makefile.in (loop-invariant.o): Depend on $(PARAMS_H).
556         * params.h (LOOP_INVARIANT_MAX_BBS_IN_LOOP): Define.
557         * params.def (loop-invariant-max-bbs-in-loop): New parameter.
558         * opts.c (decode_options): Set loop-invariant-max-bbs-in-loop
559         parameter to 1000 for -O1 by default.
560         * doc/invoke.texi (loop-invariant-max-bbs-in-loop): Document new
561         parameter.
562         * loop-invariant.c: Include params.h.
563         (move_loop_invariants): Don't call move_single_loop_invariants on
564         very large loops.
565
566 2009-02-20  Jaka Mocnik  <jaka@xlab.si>
567
568         * calls.c (emit_library_call_value_1): Use slot_offset instead of
569         offset when calculating bounds for indexing stack_usage_map.  Fixes
570         a buffer overflow with certain target setups.
571
572 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
573
574         PR target/39240
575         * calls.c (expand_call): Clear try_tail_call if caller and callee
576         disagree in promotion of function return value.
577
578 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
579
580         PR target/39175
581         * c-common.c (c_determine_visibility): If visibility changed and
582         DECL_RTL has been already set, call make_decl_rtl to update symbol
583         flags.
584
585 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
586
587         PR c++/39188
588         * varasm.c (assemble_variable): Don't check DECL_NAME when
589         globalizing a variable.
590
591 2009-02-19  Joseph Myers  <joseph@codesourcery.com>
592
593         PR c/38483
594         * builtins.c (gimplify_va_arg_expr): Evaluate the va_list
595         expression before any __builtin_trap call.
596         * c-typeck.c (build_function_call): Convert and check function
597         arguments before generating a call to a trap.  Evaluate the
598         function arguments before the trap.
599
600 2009-02-19  Uros Bizjak  <ubizjak@gmail.com>
601
602         PR target/39228
603         * config/i386/i386.md (isinfxf2): Split from isinf<mode>2.
604         (UNSPEC_FXAM_MEM): New unspec.
605         (fxam<mode>2_i387_with_temp): New insn and split pattern.
606         (isinf<mode>2): Use MODEF mode iterator.  Force operand[1] through
607         memory using fxam<mode>2_i387_with_temp to remove excess precision.
608
609 2009-02-19  Richard Guenther  <rguenther@suse.de>
610
611         PR tree-optimization/39207
612         PR tree-optimization/39074
613         * tree-ssa-structalias.c (storedanything_id, var_storedanything,
614         storedanything_tree): New.
615         (do_ds_constraint): Simplify ANYTHING shortcutting.  Update
616         the STOREDANYTHING solution if the lhs solution contains ANYTHING.
617         (build_succ_graph): Add edges from STOREDANYTHING to all
618         non-direct nodes.
619         (init_base_vars): Initialize STOREDANYTHING.
620         (compute_points_to_sets): Free substitution info after
621         building the succ graph.
622         (ipa_pta_execute): Likewise.
623
624         * tree-ssa-structalias.c (struct variable_info): Add may_have_pointers
625         field.
626         (do_ds_constraint): Do not add to special var or non-pointer
627         field solutions.
628         (type_could_have_pointers): Split out from ...
629         (could_have_pointers): ... here.  For arrays use the element type.
630         (create_variable_info_for): Initialize may_have_pointers.
631         (new_var_info): Likewise.
632         (handle_lhs_call): Make the HEAP variable unknown-sized.
633         (intra_create_variable_infos): Use a type with pointers for
634         PARM_NOALIAS, make it unknown-sized.
635
636 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
637
638         PR target/39224
639         * config/i386/i386.c (ix86_return_in_memory): Properly check ABI.
640
641 2009-02-18  Jason Merrill  <jason@redhat.com>
642
643         PR target/39179
644         * tree-ssa-ccp.c (get_symbol_constant_value): Don't assume zero
645         value if DECL_EXTERNAL.
646         * tree-sra.c (sra_walk_gimple_assign): Likewise.
647         * target.h (gcc_target::binds_local_p): Clarify "module".
648         * tree.h (TREE_PUBLIC): Clarify "module".
649
650 2009-02-17  Xuepeng Guo  <xuepeng.guo@intel.com>
651
652         PR target/38891
653         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move the hunk of
654         initialization for MS_ABI prior to the hunk of !TARGET_MMX.
655
656 2009-02-17  H.J. Lu  <hongjiu.lu@intel.com>
657
658         PR target/39082
659         * c.opt (Wabi): Support C and ObjC.
660         (Wpsabi): New.
661
662         * c-opts.c (c_common_handle_option): Handle OPT_Wabi.
663
664         * config/i386/i386.c (classify_argument): Warn once about the ABI
665         change when passing union with long double.
666
667         * doc/invoke.texi: Update -Wabi for warning psABI changes.
668
669 2009-02-18  Joseph Myers  <joseph@codesourcery.com>
670
671         PR c/35447
672         * c-parser.c (c_parser_compound_statement): Always enter and leave
673         a scope.
674
675 2009-02-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
676
677         PR target/34587
678         * config/darwin.h (SUPPORTS_INIT_PRIORITY): Define.
679
680 2009-02-18  Jakub Jelinek  <jakub@redhat.com>
681
682         PR tree-optimization/36922
683         * tree-data-ref.c (initialize_matrix_A): Handle BIT_NOT_EXPR.
684         * tree-scalar-evolution.c (interpret_rhs_expr, instantiate_scev_1):
685         Likewise.
686
687 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
688
689         * config/mips/mips.c (mips_override_options): Set flag_dwarf2_cfi_asm
690         to 0 for EABI64.
691
692 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
693
694         * config/mips/mips.md (type): Reclassify lui_movf as "unknown".
695
696 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
697
698         * config/mips/mips.c (mips_gimplify_va_arg_expr): Fix invalid
699         tree sharing.
700
701 2009-02-17  Ruan Beihong  <ruanbeihong@gmail.com>
702             Richard Sandiford  <rdsandiford@googlemail.com>
703
704         * config/mips/mips.c (CODE_FOR_loongson_biadd): Delete.
705         * config/mips/loongson.md (reduc_uplus_<mode>): Rename to...
706         (loongson_biadd): ...this.
707
708 2009-02-17  Richard Guenther  <rguenther@suse.de>
709
710         PR tree-optimization/39202
711         * tree-ssa-structalias.c (do_structure_copy): Before collapsing
712         a var make sure to follow existing collapses.
713
714 2009-02-17  Richard Guenther  <rguenther@suse.de>
715
716         PR middle-end/39214
717         * langhooks.c (lhd_print_error_function): Check for NULL block.
718
719 2009-02-17  Richard Guenther  <rguenther@suse.de>
720
721         PR tree-optimization/39204
722         * tree-ssa-pre.c (phi_translate_1): Lookup the value-number
723         of the PHI arg.
724
725 2009-02-17  Uros Bizjak  <ubizjak@gmail.com>
726
727         * config/soft-fp/double.h: Update from glibc CVS.
728
729 2009-02-17  Richard Guenther  <rguenther@suse.de>
730
731         PR tree-optimization/39207
732         * tree-ssa-structalias.c (find_what_p_points_to): Do not emit
733         strict-aliasing warnings for pointers pointing to NULL.
734
735 2009-02-16  Joseph Myers  <joseph@codesourcery.com>
736
737         PR c/35446
738         * c-parser.c (c_parser_braced_init): Call pop_init_level when
739         skipping until next close brace.
740
741 2009-02-16  H.J. Lu  <hongjiu.lu@intel.com>
742
743         PR target/37049
744         * config/i386/i386.c (ix86_expand_push): Set memory alignment
745         to function argument boundary.
746
747 2009-02-16  Hariharan Sandanagobalane  <hariharan@picochip.com>
748
749         * config/picochip/picochip.md (lea_add): Allow any nonimmediate
750         in the lea_add. Reload eventually constraints it properly.
751         * config/picochip/constraints.md : Remove the target constraint
752         "b", since it is not needed anymore.
753
754 2009-02-16  Jakub Jelinek  <jakub@redhat.com>
755
756         * gthr-dce.h: Uglify function parameter and local variable names.
757         * gthr-gnat.h: Likewise.
758         * gthr-mipssde.h: Likewise.
759         * gthr-nks.h: Likewise.
760         * gthr-posix95.h: Likewise.
761         * gthr-posix.h: Likewise.
762         * gthr-rtems.h: Likewise.
763         * gthr-single.h: Likewise.
764         * gthr-solaris.h: Likewise.
765         * gthr-tpf.h: Likewise.
766         * gthr-vxworks.h: Likewise.
767         * gthr-win32.h: Likewise.
768
769 2009-02-15  H.J. Lu  <hongjiu.lu@intel.com>
770
771         PR target/39196
772         * config/i386/i386.md: Restrict the new peephole2 to move
773         between MMX/SSE registers.
774
775 2009-02-15  Richard Guenther  <rguenther@suse.de>
776
777         Revert
778         2009-02-13  Richard Guenther  <rguenther@suse.de>
779
780         * configure.ac: Enable LFS.
781         * configure: Re-generate.
782         * config.in: Likewise.
783
784 2009-02-13  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
785
786         * config/spu/spu_internals.h (spu_sr, spu_sra, spu_srqw,
787         spu_srqwbyte, spu_srqwbytebc): Define.
788         * config/spu/spu-builtins.def (spu_sr, spu_sra, spu_srqw,
789         spu_srqwbyte, spu_srqwbytebc): New overloaded builtins.
790         * config/spu/spu.md ("shrqbybi_<mode>", "shrqbi_<mode>",
791         "shrqby_<mode>"): New insn-and-split patterns.
792         * config/spu/spu.c (expand_builtin_args): Determine and return
793         number of operands using spu_builtin_description data.
794         (spu_expand_builtin_1): Use it.
795
796 2009-02-13  Steve Ellcey  <sje@cup.hp.com>
797
798         PR target/38056
799         * config/ia64/ia64.c (ia64_function_ok_for_sibcall): Check
800         TARGET_CONST_GP.
801
802 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
803
804         PR target/39149
805         * config/i386/i386.c (override_options): Correct warning
806         messages for -malign-loops, -malign-jumps and -malign-functions.
807
808 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
809
810         PR target/39152
811         * config/i386/i386.md: Restrict the new peephole2 to move
812         between the general purpose registers.
813
814 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
815
816         PR target/39162
817         * config/i386/i386.c (type_natural_mode): Add a new argument.
818         Return the original mode and warn ABI change if vector size is 32byte.
819         (function_arg_advance): Updated.
820         (function_arg): Likewise.
821         (ix86_function_value): Likewise.
822         (ix86_return_in_memory): Likewise.
823         (ix86_sol10_return_in_memory): Likewise.
824         (ix86_gimplify_va_arg): Likewise.
825         (function_arg_32): Don't warn ABX ABI change here.
826         (function_arg_64): Likewise.
827
828 2009-02-13  Bernd Schmidt  <bernd.schmidt@analog.com>
829
830         * loop-iv.c (implies_p): In the final case, test that operands 0
831         of the two comparisons match.
832
833         * config/bfin/bfin.c (find_prev_insn_start): New function.
834         (bfin_optimize_loop): Use it in some cases instead of PREV_INSN.
835         (find_next_insn_start): Move.
836
837 2009-02-13  Richard Guenther  <rguenther@suse.de>
838
839         * configure.ac: Enable LFS.
840         * configure: Re-generate.
841         * config.in: Likewise.
842
843 2009-02-13  Joseph Myers  <joseph@codesourcery.com>
844
845         PR c/35444
846         * c-parser.c (c_parser_parms_list_declarator): Discard pending
847         sizes on syntax error after some arguments have been parsed.
848
849 2009-02-12  Jakub Jelinek  <jakub@redhat.com>
850
851         * doc/invoke.texi (-fira): Remove.
852
853 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
854
855         * caller-save.c: Replace regclass.c with reginfo.c in comments.
856         * recog.c: Likewise.
857         * rtl.h: Likewise.
858
859 2009-02-12  Uros Bizjak  <ubizjak@gmail.com>
860
861         * longlong.h (sub_ddmmss): New for ia64. Ported from GMP 4.2.
862         (umul_ppmm): Likewise.
863         (count_leading_zeros): Likewise.
864         (count_trailing_zeros): Likewise.
865         (UMUL_TIME): Likewise.
866
867 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
868
869         * config.gcc (ia64*-*-linux*): Add ia64/t-fprules-softfp and
870         soft-fp/t-softfp to tmake_file.
871
872         * config/ia64/ia64.c (ia64_soft_fp_init_libfuncs): New.
873         (ia64_expand_compare): Use HPUX library for TFmode only for HPUX.
874         (ia64_builtins) [IA64_BUILTIN_COPYSIGNQ, IA64_BUILTIN_FABSQ,
875         IA64_BUILTIN_INFQ]: New.
876         (ia64_init_builtins): Initialize __builtin_infq,
877         __builtin_fabsq and __builtin_copysignq if not HPUX.
878         (ia64_expand_builtin): Handle IA64_BUILTIN_COPYSIGNQ,
879         IA64_BUILTIN_FABSQ and IA64_BUILTIN_INFQ.
880
881         * config/ia64/lib1funcs.asm (__divtf3): Define only if
882         SHARED is defined.
883         (__fixtfti): Likewise.
884         (__fixunstfti): Likewise.
885         (__floattitf): Likewise.
886
887         * config/ia64/libgcc-glibc.ver: New.
888         * config/ia64/t-fprules-softfp: Likewise.
889         * config/ia64/sfp-machine.h: Likewise.
890
891         * config/ia64/linux.h (LIBGCC2_HAS_TF_MODE): New.
892         (LIBGCC2_TF_CEXT): Likewise.
893         (TF_SIZE): Likewise.
894         (TARGET_INIT_LIBFUNCS): Likewise.
895
896         * config/ia64/t-glibc (SHLINB_MAPFILES):
897         Add $(srcdir)/config/ia64/libgcc-glibc.ver.
898
899 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
900
901         * config/i386/i386.c (construct_container): Rewrite processing
902         BLKmode with X86_64_SSE_CLASS.
903
904 2009-02-12  Paolo Bonzini  <bonzini@gnu.org>
905
906         PR target/39152
907         * config/i386/i386.md: Replace simplify_replace_rtx with
908         replace_rtx in the new peephole2.
909
910 2009-02-12  Nathan Sidwell  <nathan@codesourcery.com>
911
912         * doc/invoke.texi (Optimize Options): Stop claiming inlining and
913         loop unrolling do not happen at -O2.
914
915 2009-02-12  Michael Matz  <matz@suse.de>
916
917         * gcc.c (ASM_DEBUG_SPEC): Check for -g0.
918
919 2009-02-12  Jakub Jelinek  <jakub@redhat.com>
920
921         * dwarf2out.c (dwarf2out_finish): Force output of comp_unit_die
922         for -g3.
923
924 2009-02-12  Ben Elliston  <bje@au.ibm.com>
925
926         * config/rs6000/rs6000.md (allocate_stack): Use _stack form of
927         patterns when updating the back chain.  Missed in the 2009-02-10
928         change.
929
930 2009-02-11  Janis Johnson  <janis187@us.ibm.com>
931
932         * doc/extend.texi (Decimal Floating Types): Update identifier of
933         draft TR and list of missing support.
934
935 2009-02-11  Jakub Jelinek  <jakub@redhat.com>
936
937         PR middle-end/39154
938         * gimplify.c (omp_notice_variable): If adding GOVD_SEEN
939         bit to variable length decl's flags, add it also to its
940         pointer replacement variable.
941
942 2009-02-11  Uros Bizjak  <ubizjak@gmail.com>
943             Jakub Jelinek  <jakub@redhat.com>
944
945         PR target/39118
946         * config/i386/i386.md (UNSPEC_MEMORY_BLOCKAGE): New constant.
947         (memory_blockage): New expander.
948         (*memory_blockage): New insn pattern.
949         * config/i386/i386.c (ix86_expand_prologue): Use memory_blockage
950         instead of general blockage at the end of function prologue when
951         frame pointer is used to access red zone area.  Do not emit blockage
952         when profiling, it is emitted in generic code.
953         (ix86_expand_epilogue): Emit memory_blockage at the beginning of
954         function epilogue when frame pointer is used to access red zone area.
955
956 2009-02-11  Paolo Bonzini  <bonzini@gnu.org>
957
958         PR target/38824
959         * config/i386/i386.md: Add two new peephole2 to avoid mov followed
960         by arithmetic with memory operands.
961         * config/i386/predicates.md (commutative_operator): New.
962
963 2009-02-10  Janis Johnson  <janis187@us.ibm.com>
964
965         * doc/extend.texi (Fixed-Point Types): Break long paragraphs into
966         bulleted lists.
967
968 2009-02-10  Eric Botcazou  <ebotcazou@adacore.com>
969
970         * alias.h (record_alias_subset): Declare.
971         * alias.c (record_alias_subset): Make global.
972
973 2009-02-10  Nick Clifton  <nickc@redhat.com>
974
975         * tree-parloops.c: Change license to GPLv3.
976         * ipa-struct-reorg.c: Change license to GPLv3.
977         * ipa-struct-reorg.h: Change license to GPLv3.
978
979 2009-02-10  Steve Ellcey  <sje@cup.hp.com>
980
981         PR c/39084
982         * c-decl.c (start_struct): Return NULL on error.
983
984 2009-02-10  Jakub Jelinek  <jakub@redhat.com>
985
986         PR middle-end/39124
987         * cfgloopmanip.c (remove_path): Call remove_bbs after
988         cancel_loop_tree, not before it.
989
990         PR target/39139
991         * function.h (struct function): Add has_local_explicit_reg_vars bit.
992         * gimplify.c (gimplify_bind_expr): Set it if local DECL_HARD_REGISTER
993         VAR_DECLs were seen.
994         * tree-ssa-live.c (remove_unused_locals): Recompute
995         cfun->has_local_explicit_reg_vars.
996         * tree-ssa-sink.c (statement_sink_location): Don't sink BLKmode
997         copies or clearings if cfun->has_local_explicit_reg_vars.
998
999 2009-02-10  Uros Bizjak  <ubizjak@gmail.com>
1000
1001         PR target/39118
1002         * config/i386/i386.c (expand_prologue): Emit blockage at the end
1003         of function prologue when frame pointer is used to access
1004         red zone area.
1005
1006 2009-02-10  Richard Guenther  <rguenther@suse.de>
1007
1008         PR middle-end/39127
1009         * gimplify.c (gimple_regimplify_operands): Always look if
1010         we need to create a temporary.
1011
1012 2009-02-10  Richard Guenther  <rguenther@suse.de>
1013
1014         PR tree-optimization/39132
1015         * tree-loop-distribution.c (todo): New global var.
1016         (generate_memset_zero): Trigger TODO_rebuild_alias.
1017         (tree_loop_distribution): Return todo.
1018
1019 2009-02-10  H.J. Lu  <hongjiu.lu@intel.com>
1020
1021         PR target/39119
1022         * config/i386/i386.c (x86_64_reg_class): Remove X86_64_AVX_CLASS.
1023         (x86_64_reg_class_name): Removed.
1024         (classify_argument): Return 0 if bytes > 32.  Return 0 if the
1025         first one isn't X86_64_SSE_CLASS or any other ones aren't
1026         X86_64_SSEUP_CLASS when size > 16bytes.  Don't turn
1027         X86_64_SSEUP_CLASS into X86_64_SSE_CLASS if the preceded one
1028         is X86_64_SSEUP_CLASS.  Set AVX modes to 1 X86_64_SSE_CLASS
1029         and 3 X86_64_SSEUP_CLASS.
1030         (construct_container): Remove X86_64_AVX_CLASS.  Handle 4
1031         registers with 1 X86_64_SSE_CLASS and 3 X86_64_SSEUP_CLASS.
1032
1033 2009-02-10  Ben Elliston  <bje@au.ibm.com>
1034
1035         * config/rs6000/rs6000.md (allocate_stack): Always use an update
1036         form instruction to update the stack back chain word, even if the
1037         user has disabled the generation of update instructions.
1038         (movdi_<mode>_update_stack): New.
1039         (movsi_update_stack): Likewise.
1040         * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Likewise,
1041         always use an update form instruction to update the stack back
1042         chain word.
1043
1044 2009-02-09  Sebastian Pop  <sebastian.pop@amd.com>
1045
1046         PR middle-end/38953
1047         * graphite.c (if_region_set_false_region): After moving a region in
1048         the false branch of a condition, remove the empty dummy basic block.
1049         (gloog): Remove wrong fix for PR38953.
1050
1051 2009-02-09  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1052
1053         * config/spu/spu.c (array_to_constant): Fix (latent) wrong-code
1054         generation due to implicit sign extension.
1055
1056 2009-02-09  Eric Botcazou  <ebotcazou@adacore.com>
1057
1058         PR middle-end/38981
1059         * tree-ssa-coalesce.c (add_coalesce): Cap the costs of coalesce pairs
1060         at MUST_COALESCE_COST-1 instead of MUST_COALESCE_COST.
1061
1062 2009-02-09  Richard Guenther  <rguenther@suse.de>
1063
1064         PR middle-end/35202
1065         * convert.c (convert_to_real): Disable (float)fn((double)x)
1066         to fnf(x) conversion if errno differences may occur and
1067         -fmath-errno is set.
1068
1069 2009-02-07  Anatoly Sokolov  <aesok@post.ru>
1070
1071         * config/avr/avr.c (avr_mcu_t): Add ata6289 device.
1072         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
1073         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
1074
1075 2009-02-06  Joseph Myers  <joseph@codesourcery.com>
1076
1077         PR c/35434
1078         * c-common.c (handle_alias_attribute): Disallow attribute for
1079         anything not a FUNCTION_DECL or VAR_DECL.
1080
1081 2009-02-06  Janis Johnson  <janis187@us.ibm.com>
1082
1083         PR c/39035
1084         * real.c (do_compare): Special-case compare of zero against
1085         decimal float value.
1086
1087 2009-02-06  Joseph Myers  <joseph@codesourcery.com>
1088
1089         PR c/36432
1090         * c-decl.c (grokdeclarator): Don't treat [] declarators in fields
1091         as indicating flexible array members unless the field itself is
1092         being declarared as the incomplete array.
1093
1094 2009-02-06  Jan Hubicka  <jh@suse.cz>
1095
1096         PR tree-optimization/38844
1097         * ipa-inline.c (try_inline): Stop inlining recursion when edge
1098         is already inlined.
1099
1100 2009-02-06  Richard Guenther  <rguenther@suse.de>
1101
1102         PR middle-end/38977
1103         * tree-cfg.c (need_fake_edge_p): Force a fake edge for
1104         fork because we may expand it as __gcov_fork.
1105
1106 2009-02-06  Nick Clifton  <nickc@redhat.com>
1107
1108         * config/m32c/m32c.h (PCC_BITFIELD_TYPE_MATTERS): Define to zero.
1109
1110 2009-02-06  Paolo Bonzini  <bonzini@gnu.org>
1111
1112         PR tree-optimization/35659
1113         * tree-ssa-sccvn.c (vn_constant_eq, vn_reference_eq, vn_nary_op_eq
1114         vn_phi_eq): Shortcut if hashcode does not match.
1115         (vn_reference_op_compute_hash): Do not call iterative_hash_expr for
1116         NULL operands.
1117         * tree-ssa-pre.c (pre_expr_hash): Look at hashcode if available,
1118         and avoid iterative_hash_expr.
1119         (FOR_EACH_VALUE_ID_IN_SET): New.
1120         (value_id_compare): Remove.
1121         (sorted_array_from_bitmap_set): Use FOR_EACH_VALUE_ID_IN_SET to
1122         sort expressions by value id.
1123
1124 2009-02-05  Kaz Kojima  <kkojima@gcc.gnu.org>
1125
1126         PR target/38991
1127         * config/sh/predicates.md (general_movsrc_operand): Don't check
1128         the subreg of system registers here.
1129
1130 2009-02-05  Jakub Jelinek  <jakub@redhat.com>
1131
1132         PR c++/39106
1133         * cgraphunit.c (cgraph_function_versioning): Clear also DECL_VIRTUAL_P
1134         on the copied decl.
1135
1136 2009-02-05  Paolo Bonzini  <bonzini@gnu.org>
1137
1138         PR rtl-optimization/39110
1139         * rtlanal.c (rtx_addr_can_trap_p_1): Shortcut unaligned
1140         addresses, not aligned ones.
1141
1142 2009-02-05  Daniel Berlin  <dberlin@dberlin.org>
1143             Richard Guenther  <rguenther@suse.de>
1144
1145         PR tree-optimization/39100
1146         * tree-ssa-structalias.c (do_ds_constraint): Actually do what the
1147         comment says and add edges.
1148
1149 2009-02-05  Joseph Myers  <joseph@codesourcery.com>
1150
1151         PR c/35435
1152         * c-common.c (handle_tls_model_attribute): Ignore attribute for
1153         non-VAR_DECLs without checking DECL_THREAD_LOCAL_P.
1154
1155 2009-02-04  Tobias Grosser  <grosser@fim.uni-passau.de> 
1156
1157         * graphite.c (bb_in_sese_p, sese_build_livein_liveouts_use,
1158         sese_build_livein_liveouts_bb, sese_build_livein_liveouts,
1159         register_bb_in_sese, new_sese, free_sese): Moved.
1160         (dot_scop_1, build_scop_loop_nests, build_loop_iteration_domains,
1161         outermost_loop_in_scop, build_scop_iteration_domain,
1162         expand_scalar_variables_ssa_name, get_vdef_before_scop,
1163         limit_scops): Use bb_in_sese_p instead of bb_in_scop_p.
1164         Use loop_in_sese_p instead of loop_in_scop_p.
1165         (new_graphite_bb, gloog): Do not initialize SCOP_BBS_B.
1166         (new_scop, free_scop): Remove SCOP_LOOP2CLOOG_LOOP and SCOP_BBS_B.
1167         (scopdet_basic_block_info): Fix bug in scop detection.
1168         (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
1169         eq_loop_to_cloog_loop): Remove.
1170         (nb_loops_around_loop_in_scop, nb_loop
1171         ref_nb_loops): Moved here...
1172         * graphite.h (ref_nb_loops): ... from here.
1173         (struct scop): Remove bbs_b bitmap and loop2cloog_loop.
1174         (loop_domain_dim, loop_iteration_vector_dim): Remove.
1175         (SCOP_BBS_B, bb_in_scop_p, loop_in_scop_p): Removed.
1176         * testsuite/gcc.dg/graphite/scop-19.c: New
1177
1178 2009-02-04  Paolo Bonzini  <bonzini@gnu.org>
1179             Hans-Peter Nilsson  <hp@axis.com>
1180
1181         PR rtl-optimization/37889
1182         * rtlanal.c (rtx_addr_can_trap_p_1): Add offset and size arguments.
1183         Move offset handling from PLUS to before the switch.  Use new
1184         arguments when considering SYMBOL_REFs too.
1185         (rtx_addr_can_trap_p): Pass dummy offset and size.
1186         (enum may_trap_p_flags): Remove.
1187         (may_trap_p_1): Pass size from MEM_SIZE.
1188
1189         PR rtl-optimization/38921
1190         * loop-invariant.c (find_invariant_insn): Use may_trap_or_fault_p.
1191         * rtl.h (may_trap_after_code_motion_p): Delete prototype.
1192         * rtlanal.c (may_trap_after_code_motion_p): Delete.
1193         (may_trap_p, may_trap_or_fault_p): Pass 0/1 as flags.
1194
1195 2009-02-04  H.J. Lu  <hongjiu.lu@intel.com>
1196
1197         AVX Programming Reference (January, 2009)
1198         * config/i386/sse.md (*vpclmulqdq): New.
1199
1200 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
1201
1202         PR tree-optimization/38977
1203         PR gcov-profile/38292
1204         * calls.c (special_function_p): Disregard __builtin_ prefix.
1205
1206 2009-02-04  Hariharan Sandanagobalane  <hariharan@picochip.com>
1207
1208         * config/picochip/picochip.c (GO_IF_LEGITIMATE_ADDRESS): Disallow
1209         non-indexable addresses even before reload.
1210
1211 2009-02-03  Joseph Myers  <joseph@codesourcery.com>
1212
1213         PR c/29129
1214         * c-decl.c (grokdeclarator): Mark [*] arrays in field declarators
1215         as having variable size.  Do not give an error for unnamed
1216         parameters with [*] declarators.  Give a warning for type names
1217         with [*] declarators and mark them as variable size.
1218         * c-parser.c (c_parser_sizeof_expression): Do not give an error
1219         for sizeof applied to [*] type names.
1220
1221 2009-02-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1222
1223         PR C++/36607
1224         * convert.c (convert_to_integer): Treat OFFSET_TYPE like INTEGER_TYPE.
1225
1226 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1227
1228         * gcc.c (process_command): Update copyright notice dates.
1229         * gcov.c (print_version): Likewise.
1230         * gcov-dump.c (print_version): Likewise.
1231         * mips-tfile.c (main): Likewise.
1232         * mips-tdump.c (main): Likewise.
1233
1234 2009-02-03  Joseph Myers  <joseph@codesourcery.com>
1235
1236         PR c/35433
1237         * c-typeck.c (composite_type): Set TYPE_SIZE and TYPE_SIZE_UNIT
1238         for composite type involving a zero-length array type.
1239
1240 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1241
1242         PR target/35318
1243         * function.c (match_asm_constraints_1): Skip over
1244         initial optional % in the constraint.
1245
1246         PR inline-asm/39059
1247         * c-parser.c (c_parser_postfix_expression): If fixed point is not
1248         supported, don't accept FIXED_CSTs.
1249         * c-decl.c (finish_declspecs): Error if fixed point is not supported
1250         and _Sat is used without _Fract/_Accum.  Set specs->type to
1251         integer_type_node for cts_fract/cts_accum if fixed point is not
1252         supported.
1253
1254 2009-02-02  Catherine Moore  <clm@codesourcery.com>
1255
1256         * sde.h (SUBTARGET_ARM_SPEC): Don't assemble -fpic code as -mabicalls.
1257
1258 2009-02-02  Richard Sandiford  <rdsandiford@googlemail.com>
1259
1260         * config/mips/mips.h (FILE_HAS_64BIT_SYMBOLS): New macro.
1261         (ABI_HAS_64BIT_SYMBOLS): Use it.
1262         (DWARF2_ADDR_SIZE): Use it instead of ABI_HAS_64BIT_SYMBOLS.
1263
1264 2009-02-02  Paul Brook  <paul@codesourcery.com>
1265
1266         * config/arm/arm.md (arm_addsi3): Add r/r/k alternative.
1267
1268 2009-02-02  Jakub Jelinek  <jakub@redhat.com>
1269
1270         PR inline-asm/39058
1271         * recog.h (asm_operand_ok): Add constraints argument.
1272         * recog.c (asm_operand_ok): Likewise.  If it is set, for digits
1273         recurse on matching constraint.
1274         (check_asm_operands): Pass constraints as 3rd argument to
1275         asm_operand_ok.  Don't look up matching constraint here.
1276         * stmt.c (expand_asm_operands): Pass NULL as 3rd argument
1277         to asm_operand_ok.
1278
1279 2009-02-02  Ben Elliston  <bje@au.ibm.com>
1280
1281         * doc/tm.texi (Storage Layout): Fix TARGET_ALIGN_ANON_BITFIELD and
1282         TARGET_NARROW_VOLATILE_BITFIELD macro names.
1283
1284 2009-01-31  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1285
1286         * doc/install.texi (hppa*-hp-hpux*): Update binutils and linker
1287         information.  Remove some obsolete information.  Reorganize.
1288
1289         * config/pa/fptr.c: Revert license to GPL 2.
1290         * config/pa/milli64.S: Likewise.
1291
1292 2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>
1293
1294         PR target/38904
1295         * mkmap-flat.awk (END):  Use pe_dll command-line arg to pass
1296         LIBRARY name in, instead of hard-coding it.
1297         * config.gcc (i[34567]86-*-pe | i[34567]86-*-cygwin*):  Add an
1298         extra target make frag to tmake_files according to EH model.
1299         (i[34567]86-*-mingw* | x86_64-*-mingw*):  Likewise.
1300         * config/i386/t-dw2-eh, config/i386/t-sjlj-eh:  Add new target
1301         frags that define makefile variable EH_MODEL appropriately.
1302         * config/i386/cygming.h (DWARF2_UNWIND_INFO):  Add comment.
1303         * config/i386/cygwin.h (LIBGCC_EH_EXTN):  Define to nothing or
1304         to "-sjlj" according to type of EH configured.
1305         (LIBGCC_SONAME):  Concatenate it to shared library base name.
1306         * config/i386/mingw32.h (LIBGCC_EH_EXTN):  Define to "_dw2" or
1307         to "_sjlj" according to type of EH configured.
1308         (LIBGCC_SONAME):  Concatenate it to shared library base name.
1309         * config/i386/t-cygming (SHLIB_SONAME):  Use EH_MODEL.
1310         (SHLIB_LINK):  Add missing semicolon to if-else construct.
1311         (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
1312         string value of "pe_dll" command-line option.
1313         * config/i386/t-cygwin (SHLIB_EH_EXTENSION):  New helper.
1314         (SHLIB_SONAME):  Use it when overriding t-cygming default.
1315         (SHLIB_IMPLIB):  Override t-cygming default.
1316         (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
1317         string value of "pe_dll" command-line option.
1318
1319 2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>
1320
1321         PR target/38952
1322         * config/i386/i386.c (ix86_builtin_setjmp_frame_value): New.
1323         (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Override default to point at it.
1324
1325 2009-01-31  Richard Guenther  <rguenther@suse.de>
1326
1327         PR tree-optimization/38937
1328         * tree-ssa-structalias.c (do_sd_constraint): Do not shortcut
1329         computing the transitive closure.
1330
1331 2009-01-30  Richard Guenther  <rguenther@suse.de>
1332
1333         PR tree-optimization/39041
1334         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
1335         Propagate variable indices only if the types match for this stmt.
1336
1337 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
1338
1339         PR target/39013
1340         * c-decl.c (pop_scope): Set DECL_EXTERNAL for functions declared
1341         inline but never defined.
1342
1343 2009-01-30  Wolfgang Gellerich  <gellerich@de.ibm.com>
1344
1345         * config/s390/s390.md (*insv<mode>_reg_extimm): Removed.
1346         (*insv_h_di_reg_extimm): New insn.
1347         (*insv_l<mode>_reg_extimm): New insn.
1348
1349 2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
1350
1351         * config/picochip/picochip.c (flag_conserve_stack): set
1352         PARAM_LARGE_STACK_FRAME and PARAM_STACK_FRAME_GROWTH to zero under
1353         fconserve-stack. Reduce call-overhead used by inliner.
1354
1355 2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
1356
1357         PR/38157
1358         * common.opt (flag_conserve_stack): Initialised to zero.
1359
1360 2009-01-30  Kai Tietz  <kai.tietz@onevision.com>
1361
1362         PR/39002
1363         * config/i386/i386.c (ix86_can_use_return_insn_p): Check for nsseregs.
1364         (ix86_expand_epilogue): Take nsseregs in account to use proper restore
1365         method.
1366
1367 2009-01-29  H.J. Lu  <hongjiu.lu@intel.com>
1368
1369         * ira-color.c (allocno_reload_assign): Update comments.
1370         * regmove.c (regmove_optimize): Likewise.
1371
1372         * ra.h: Removed.
1373
1374 2009-01-29  Robert Millan  <rmh@aybabtu.com>
1375
1376         * gcc/config.gcc: Recognize GNU/kOpenSolaris (*-*-kopensolaris*-gnu).
1377         * gcc/config/i386/kopensolaris-gnu.h: New file.  Undefine
1378         `MD_UNWIND_SUPPORT'.
1379         * gcc/config/kopensolaris-gnu.h: New file (based on kfreebsd-gnu.h).
1380
1381 2009-01-29  Kazu Hirata  <kazu@codesourcery.com>
1382
1383         PR tree-optimization/39007
1384         * tree-loop-distribution.c (generate_builtin): Use
1385         recompute_dominator to compute the immediate dominator of the
1386         basic block just after the loop.
1387
1388 2009-01-29  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
1389
1390         * config/i386/sol2-10.h [!HAVE_AS_IX86_DIFF_SECT_DELTA]
1391         (ASM_OUTPUT_DWARF_PCREL): Define.
1392
1393 2009-01-29  Vladimir Makarov  <vmakarov@redhat.com>
1394
1395         * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Modify description.
1396         * doc/passes.texi: Remove entries about regclass, local-alloc, and
1397         global.  Modify entries about regmove and IRA.
1398
1399         * ra-conflict.c: Remove the file.
1400
1401         * reload.c (push_reload, find_dummy_reload): Remove flag_ira.
1402
1403         * tree-pass.h (pass_local_alloc, pass_global_alloc): Remove.
1404         (pass_regclass_init): Rename to pass_reginfo_init.
1405
1406         * cfgloopanal.c (estimate_reg_pressure_cost): Remove flag_ira.
1407
1408         * toplev.h (flag_ira): Remove.
1409
1410         * caller-save.c (setup_save_areas): Remove flag_ira.
1411
1412         * ira-color.c (ira_reuse_stack_slot, ira_mark_new_stack_slot): Ditto.
1413
1414         * global.c: Remove the file.
1415
1416         * opts.c: (decode_options): Remove flag_ira.
1417
1418         * hard-reg-set.h (losing_caller_save_reg_set): Remove.
1419
1420         * regmove.c: Modify file description.
1421         (find_use_as_address, try_auto_increment): Define them only if
1422         AUTO_INC_DEC is defined.
1423         (replacement_quality, replace_in_call_usage, fixup_match_1,
1424         stable_and_no_regs_but_for_p): Remove.
1425         (reg_set_in_bb): Make it static.
1426         (regmove_optimize): Remove flag_ira and code which worked for
1427         !flag_ira.
1428
1429         * local-alloc.c: Remove the file.
1430
1431         * common.opt (fira): Remove.
1432
1433         * ira.c: Include except.h.
1434         (eliminable_regset): Move from global.c.
1435         (mark_elimination): Ditto.  Remove flag_ira.
1436         (reg_renumber, struct equivalence, reg_equiv, equiv_mem,
1437         equiv_mem_modified, validate_equiv_mem_from_store,
1438         validate_equiv_mem, equiv_init_varies_p, equiv_init_movable_p,
1439         contains_replace_regs, memref_referenced_p, memref_used_between_p,
1440         no_equiv, recorded_label_ref): Move from local-alloc.c.
1441         (update_equiv_regs): Ditto.  Make it static.
1442         (print_insn_chain, print_insn_chains): Move it from global.c.
1443         (pseudo_for_reload_consideration_p): Ditto.  Remove flag_ira.
1444         (build_insn_chain): Ditto.  Make it static.
1445         (ra_init_live_subregs): Move from ra-conflict.c.  Make it static.
1446         Rename to init_live_subregs.
1447         (gate_ira): Remove flag_ira.
1448
1449         * regclass.c: Rename reginfo.c.  Change file description.
1450         (FORBIDDEN_INC_DEC_CLASSES): Remove.
1451         (reg_class_superclasses, forbidden_inc_dec_class, in_inc_dec): Remove.
1452         (init_reg_sets_1): Remove code for evaluation of
1453         reg_class_superclasses and losing_caller_save_reg_set.
1454         (init_regs): Remove init_reg_autoinc.
1455         (struct costs, costs, init_cost, ok_for_index_p_nonstrict,
1456         ok_for_base_p_nonstrict): Remove.
1457         (regclass_init): Rename to reginfo_init.  Don't initialize init_cost.
1458         (pass_regclass_init): Rename to pass_reginfo_init.  Modify
1459         corresponding entries.
1460         (dump_regclass, record_operand_costs, scan_one_insn,
1461         init_reg_autoinc, regclass, record_reg_classes, copy_cost,
1462         record_address_regs, auto_inc_dec_reg_p): Remove.
1463         (gt-regclass.h): Rename to gt-reginfo.h.
1464
1465         * rtl.h (dump_global_regs, retry_global_alloc,
1466         build_insn_chain, dump_local_alloc, update_equiv_regs): Remove.
1467
1468         * Makefile.in (RA_H): Remove.
1469         (OBJS-common): Remove global.o, local-alloc.o, and ra-conflict.o.
1470         Rename regclass.o to reginfo.o.
1471         (regclass.o): Rename to reginfo.o.  Rename gt-regclass.h to
1472         gt-reginfo.h.
1473         (global.o, local-alloc.o, ra-conflict.o): Remove entries.
1474         (GTFILES): Rename regclass.c to reginfo.c.
1475
1476         * passes.c (init_optimization_passes): Remove pass_local_alloc and
1477         pass_global_alloc.  Rename pass_regclass_init to pass_reginfo_init.
1478
1479         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
1480         count_spilled_pseudo, find_reg, alter_reg, delete_output_reload):
1481         Remove flag_ira.
1482         (finish_spills): Ditto.  Remove code for !flag_ira.
1483         
1484 2009-01-29  Kenneth Zadeck  <zadeck@naturalbridge.com>
1485
1486         PR middle-end/35854
1487         * doc/invoke.texi (rtl debug options): Complete rewrite.
1488         * auto-inc-dec.c (pass_inc_dec): Rename pass from "auto-inc-dec"
1489         to auto_inc_dec".
1490         * mode-switching.c (pass_mode_switching): Rename pass from
1491         "mode-sw" to "mode_sw".
1492         * except.c (pass_convert_to_eh_ranges): Rename pass from
1493         "eh-ranges" to "eh_ranges".
1494         * lower-subreg.c (pass_lower_subreg): Renamed pass from "subreg"
1495         to "subreg1".
1496                 
1497         
1498 2009-01-29  Andrey Belevantsev  <abel@ispras.ru>
1499             Alexander Monakov  <amonakov@ispras.ru>
1500
1501         PR middle-end/38857
1502         * sel-sched.c (count_occurrences_1): Check that *cur_rtx is a hard
1503         register.
1504         (move_exprs_to_boundary): Change return type and pass through
1505         should_move from move_op.  Relax assert.  Update usage ...
1506         (schedule_expr_on_boundary): ... here.  Use should_move instead of
1507         cant_move.
1508         (move_op_orig_expr_found): Indicate that insn was disconnected from
1509         stream.
1510         (code_motion_process_successors): Do not call after_merge_succs
1511         callback if original expression was not found when traversing any of
1512         the branches.
1513         (code_motion_path_driver): Change return type.  Update prototype.
1514         (move_op): Update comment.  Add a new parameter (should_move).  Update
1515         prototype.  Set *should_move based on indication provided by
1516         move_op_orig_expr_found.
1517
1518 2009-01-28  Pat Haugen  <pthaugen@us.ibm.com>
1519
1520         * doc/invoke.texi (avoid-indexed-addresses): Document new option.
1521         * config/rs6000/rs6000-protos.h (avoiding_indexed_address_p): Declare.
1522         * config/rs6000/rs6000.opt (avoid-indexed-addresses): New option.
1523         * config/rs6000/rs6000.c (rs6000_override_options): Default
1524         avoid-indexed-addresses on for Power6, off for everything else.
1525         (avoiding_indexed_address_p): New function.
1526         (rs6000_legitimize_address): Use it.
1527         (rs6000_legitimate_address): Likewise.
1528         * config/rs6000/rs6000.md (movXX_updateX): Likewise
1529
1530 2009-01-28  Kazu Hirata  <kazu@codesourcery.com>
1531
1532         PR tree-optimization/38997
1533         * tree-loop-distribution.c (generate_memset_zero): Use
1534         POINTER_PLUS_EXPR for a pointer addition.
1535
1536 2009-01-28  Andreas Krebbel  <krebbel1@de.ibm.com>
1537
1538         * config/s390/s390.md (bswap<mode>2): New pattern added.
1539
1540 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
1541
1542         * config/s390/s390.md (*tls_load_31): Added type attribute.
1543
1544 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
1545
1546         * config/s390/s390.md: Fix a few comments.
1547
1548 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
1549
1550         * config/s390/s390.md (*tmsi_reg): Fixed z10prop attribute.
1551         (*tm<mode>_full): Fixed z10prop attribute.
1552         (*tst<mode>_extimm): Fixed z10prop attribute.
1553         (*tst<mode>_cconly_extimm): Fixed z10prop attribute.
1554         (*tstqiCCT_cconly): Fixed z10prop attribute.
1555         (*cmpsi_ccu_zerohi_rlsi): Fixed z10prop attribute.
1556         (*movsi_larl): Fixed z10prop attribute.
1557         (*movsi_zarch): Fixed z10prop attribute.
1558         (*movsi_eas): Fixed z10prop attribute.
1559         (*movhi): Fixed z10prop attribute.
1560         (*movqi): Fixed z10prop attribute.
1561         (*movstrictqi): Fixed z10prop attribute.
1562         (*mov<mode>): Fixed z10prop attribute.
1563         (*movcc): Fixed z10prop attribute.
1564         (*sethighpartdi_64): Fixed z10prop attribute.
1565         (*zero_extendhi<mode>2_z10): Fixed z10prop attribute.
1566         (*negdi2_sign_cc): Fixed z10prop attribute.
1567         (*negdi2_sign): Fixed z10prop attribute.
1568         (*absdi2_sign_cc): Fixed z10prop attribute.
1569         (*absdi2_sign): Fixed z10prop attribute.
1570         (*negabsdi2_sign_cc): Fixed z10prop attribute.
1571         (*negabsdi2_sign): Fixed z10prop attribute.
1572         (*cmp_and_trap_signed_int<mode>): Fixed z10prop attribute.
1573         (*cmp_and_trap_unsigned_int<mode>): Fixed z10prop attribute.
1574         (doloop_si64): Fixed z10prop attribute.
1575         (doloop_si31): Fixed z10prop attribute.
1576         (doloop_long): Fixed z10prop attribute.
1577         (indirect_jump): Fixed z10prop attribute.
1578         (nop): Fixed z10prop attribute.
1579         (main_base_64): Fixed z10prop attribute.
1580         (reload_base_64): Fixed z10prop attribute.
1581
1582 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
1583
1584         PR rtl-optimization/38740
1585         * reorg.c (gate_handle_delay_slots): Avoid dbr scheduling
1586         if !optimize.
1587         * config/mips/mips.c (mips_reorg): Likewise.
1588
1589 2009-01-28  Richard Guenther  <rguenther@suse.de>
1590
1591         PR tree-optimization/38926
1592         * tree-ssa-pre.c (add_to_value): Assert we add only expressions
1593         with the correct value id to a value.
1594         (do_regular_insertion): Use the value number of edoubleprime
1595         for the value number of the expr.
1596
1597         Revert
1598         2008-08-21  Richard Guenther  <rguenther@suse.de>
1599
1600         * tree-ssa-pre.c (insert_into_preds_of_block): Before inserting
1601         a PHI ask VN if it is already available.
1602         * tree-ssa-sccvn.h (vn_phi_lookup): Declare.
1603         * tree-ssa-sccvn.c (vn_phi_lookup): Export.
1604
1605 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
1606
1607         PR middle-end/38934
1608         * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
1609         set to varying whenever max has TREE_OVERFLOW set, similarly
1610         for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.
1611
1612 2009-01-28  Richard Guenther  <rguenther@suse.de>
1613
1614         PR middle-end/38908
1615         * tree-ssa.c (warn_uninitialized_var): Do not warn for seemingly
1616         uninitialized aggregate uses in call arguments.
1617
1618 2009-01-28  Paolo Bonzini  <bonzini@gnu.org>
1619
1620         PR tree-optimization/38984
1621         * tree-ssa-structalias.c (get_constraints_for_1): Do not use
1622         the nothing_id variable if -fno-delete-null-pointer-checks.
1623
1624 2009-01-28  Uros Bizjak  <ubizjak@gmail.com>
1625
1626         PR target/38988
1627         * config/i386/i386.md (set_rip_rex64): Wrap operand 1 in label_ref.
1628         (set_got_offset_rex64): Ditto.
1629
1630 2009-01-27  H.J. Lu  <hongjiu.lu@intel.com>
1631
1632         PR target/38941
1633         * doc/extend.texi: Improve local variable with asm reg.
1634
1635 2009-01-27  Adam Nemet  <anemet@caviumnetworks.com>
1636
1637         * c.opt (Wpacked-bitfield-compat): Change init value to -1.
1638         * c-opts.c (c_common_post_options): If -W*packed-bitfield-compat
1639         was not supplied then set warn_packed_bitfield_compat to the
1640         default value of 1.
1641         * stor-layout.c (place_field): Check warn_packed_bitfield_compat
1642         against 1.
1643
1644 2009-01-27  Richard Guenther  <rguenther@suse.de>
1645
1646         PR tree-optimization/38503
1647         * cfgexpand.c (expand_gimple_basic_block): Ignore
1648         GIMPLE_CHANGE_DYNAMIC_TYPE during expansion.
1649         * tree-ssa-structalias.c (set_uids_in_ptset): Do not prune
1650         variables that cannot have TBAA applied.
1651         (compute_points_to_sets): Do not remove GIMPLE_CHANGE_DYNAMIC_TYPE
1652         statements.
1653
1654 2009-01-27  Uros Bizjak  <ubizjak@gmail.com>
1655
1656         PR middle-end/38969
1657         * calls.c (initialize_argument_information): Do not wrap complex
1658         arguments in SAVE_EXPR.
1659
1660 2009-01-26  Andreas Tobler  <a.tobler@schweiz.org>
1661
1662         * config/t-vxworks (LIBGCC2_INCLUDES): Fix typo.
1663         (INSTALL_LIBGCC): Revert typo commit.
1664
1665 2009-01-26  Richard Guenther  <rguenther@suse.de>
1666
1667         PR tree-optimization/38745
1668         * tree-ssa-alias.c (update_alias_info_1): Exclude RESULT_DECL
1669         from special handling.
1670
1671 2009-01-26  Richard Guenther  <rguenther@suse.de>
1672
1673         PR tree-optimization/38745
1674         * tree-ssa.c (execute_update_addresses_taken): Do not include
1675         variables that cannot possibly be a register in not_reg_needs.
1676         Do not clear TREE_ADDRESSABLE on vars that may not become
1677         registers.
1678         * tree-ssa.c (update_alias_info_1): Include those in the set
1679         of addressable vars.
1680
1681 2009-01-26  Richard Guenther  <rguenther@suse.de>
1682
1683         PR middle-end/38851
1684         * Makefile.in (tree-ssa-dse.o): Add langhooks.h.
1685         * tree-ssa-dse.c: Include langhooks.h
1686         (execute_simple_dse): Remove stores with zero size.
1687
1688 2009-01-24  Jakub Jelinek  <jakub@redhat.com>
1689
1690         PR c/38957
1691         * c-typeck.c (c_finish_return): Handle POINTER_PLUS_EXPR the same way
1692         as PLUS_EXPR.
1693
1694 2009-01-24  Julian Brown  <julian@codesourcery.com>
1695
1696         * config/arm/t-linux-eabi (LIB2FUNCS_STATIC_EXTRA): Add
1697         config/arm/linux-atomic.c.
1698         * config/arm/linux-atomic.c: New.
1699
1700 2009-01-24  Eric Botcazou  <ebotcazou@adacore.com>
1701
1702         * config/sparc/linux.h (DBX_REGISTER_NUMBER): Delete.
1703         * config/sparc/linux64.h (DBX_REGISTER_NUMBER): Likewise.
1704         * config/sparc/sysv4.h (DBX_REGISTER_NUMBER): Likewise.
1705
1706 2009-01-24  H.J. Lu  <hongjiu.lu@intel.com>
1707
1708         PR c/38938
1709         * c-opts.c (c_common_handle_option): Update warn_pointer_sign
1710         properly.
1711
1712 2009-01-24  Sebastian Pop  <sebastian.pop@amd.com>
1713
1714         PR tree-optimization/38953
1715         * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
1716         (scop_adjust_phis_for_liveouts): Initialize false_i to zero.
1717         (gloog): Split the exit of the scop when the scop exit is a loop exit.
1718         (graphite_transform_loops): Only call cleanup_tree_cfg if gloog
1719         changed the CFG.
1720
1721 2009-01-24  Paul Brook  <paul@codesourcery.com>
1722
1723         * config/arm/neon.md (neon_type): Move to arm.md.
1724         (neon_mov<VSTRUCT>): Add neon_type attribute.
1725         * config/arm/arm.md (neon_type): Move to here.
1726         (conds): Add "unconditioal" and use as default for NEON insns.
1727
1728 2009-01-24  Ben Elliston  <bje@au.ibm.com>
1729
1730         * bitmap.h (BITMAP_FREE): Eliminate `implicit conversion from
1731         void *' warning from -Wc++-compat.
1732         * Makefile.in (dominance.o-warn): Remove.
1733
1734 2009-01-23  Paolo Bonzini  <bonzini@gnu.org>
1735
1736         PR tree-optimization/38932
1737         * fold-const.c (fold_unary_ignore_overflow): New.
1738         * tree.h (fold_unary_ignore_overflow): Declare.
1739         * tree-ssa-ccp.c (ccp_fold): Use fold_unary_ignore_overflow.
1740         * tree-ssa-sccvn.c (visit_reference_op_load,
1741         simplify_unary_expression): Likewise.
1742
1743 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
1744
1745         * c-decl.c (finish_struct): Move code to set DECL_PACKED after
1746         DECL_BIT_FIELD is alreay known.  Also inherit packed for bitfields
1747         regardless of their type.
1748         * c-common.c (handle_packed_attribute): Don't ignore packed on
1749         bitfields.
1750         * c.opt (Wpacked-bitfield-compat): New warning option.
1751         * stor-layout.c (place_field): Warn if offset of a field changed.
1752         * doc/extend.texi (packed): Mention the ABI change.
1753         * doc/invoke.texi (-Wpacked-bitfield-compat): Document.
1754         (Warning Options): Add it to the list.
1755
1756 2009-01-22  H.J. Lu  <hongjiu.lu@intel.com>
1757
1758         * c-opts.c (c_common_post_options): Fix a typo in comments.
1759
1760 2009-01-22  Steve Ellcey  <sje@cup.hp.com>
1761
1762         PR middle-end/38615
1763         * gimplify.c (gimplify_init_constructor): Fix promotion of const
1764         variables to static.
1765         * doc/invoke.texi (-fmerge-all-constants): Update description.
1766
1767 2009-01-22  Uros Bizjak  <ubizjak@gmail.com>
1768
1769         PR target/38931
1770         * config/i386/i386.md (*movsi_1): Use type "mmx" for alternative 2.
1771         (*movdi_1_rex64): Use type "mmx" for alternative 5.
1772
1773 2009-01-22  Richard Earnshaw  <rearnsha@arm.com>
1774
1775         * arm.h (DATA_ALIGNMENT): Align structures, unions and arrays to
1776         a word boundary.
1777         (LOCAL_ALIGNMENT): Similarly.
1778
1779 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
1780             Joseph Myers  <joseph@codesourcery.com>
1781
1782         * config/arm/arm.c (all_architectures): Add iWMMXt2 entry.
1783         * config/arm/arm-cores.def: New ARM_CORE entry for iWMMXt2.
1784         * config/arm/arm-tune.md: Regenerate.
1785         * doc/invoke.texi (ARM Options): Document -mcpu=iwmmxt2 and
1786         -march=iwmmxt2.
1787
1788 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
1789
1790         * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Bump EABI
1791         version number to five.
1792
1793 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
1794
1795         PR c++/38930
1796         * c-decl.c: (clone_underlying_type): Revert PR c++/26693 changes.
1797         * c-common.c (set_underlying_type): Likewise.
1798         (is_typedef_decl ): Likewise
1799         * tree.h: Likewise
1800         (set_underlying_type): Likewise.
1801         (is_typedef_type): Likewise.
1802
1803 2009-01-21  Vladimir Makarov  <vmakarov@redhat.com>
1804
1805         PR middle-end/38587
1806         * ira-color.c (coalesce_spill_slots): Don't coalesce allocnos
1807         crossing setjmps.
1808
1809 2009-01-21  Dave Korn  <dave.korn.cygwin@gmail.com>
1810
1811         PR bootstrap/37660
1812         * config/i386/cygwin.h (SHARED_LIBGCC_SPEC):  New helper macro.
1813         (LIBGCC_SPEC):  Don't define.
1814         (REAL_LIBGCC_SPEC):  Define instead, using SHARED_LIBGCC_SPEC.
1815
1816 2009-01-21  Uros Bizjak  <ubizjak@gmail.com>
1817
1818         PR rtl-optimization/38879
1819         * alias.c (base_alias_check): Unaligned access via AND address can
1820         alias all surrounding object types except those with sizes equal
1821         or wider than the size of unaligned access.
1822
1823 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
1824
1825         PR c++/26693
1826         * c-decl.c: (clone_underlying_type): Move this ...
1827         * c-common.c (set_underlying_type): ... here.
1828         Also, make sure the function properly sets TYPE_STUB_DECL() on
1829         the newly created typedef variant type.
1830         (is_typedef_decl ): New entry point.
1831         * tree.h: Added a new member member_types_needing_access_check to
1832         struct tree_decl_non_common.
1833         (set_underlying_type): New entry point.
1834         (is_typedef_type): Likewise.
1835
1836 2009-01-21  Bingfeng Mei  <bmei@broadcom.com>
1837
1838         * alias.c (walk_mems_1, walk_mems_2, insn_alias_sets_conflict_p):
1839         Check whether two instructions have memory references that
1840         belong to conflicting alias sets.  walk_mems_1 and walk_mems_2
1841         are helper functions for traversing.
1842         * alias.h (insn_alias_sets_confilict_p): New prototypes.
1843         * ddg.c (add_inter_loop_mem_dep): Call insn_alias_sets_conflict_p
1844         not to draw dependency edge for instructions with non-conflicting
1845         alias sets.
1846
1847 2009-01-20  Joseph Myers  <joseph@codesourcery.com>
1848
1849         PR other/38758
1850         * longlong.h: Update copyright years.  Use soft-fp license notice.
1851         Sync __clz_tab declaration with glibc.
1852
1853 2009-01-20  Steve Ellcey  <sje@cup.hp.com>
1854
1855         PR target/30687
1856         * doc/extend.texi (syscall_linkage): New.
1857         (version_id): Modify.
1858
1859 2009-01-20  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1860             Richard Guenther  <rguenther@suse.de>
1861
1862         PR tree-optimization/38747
1863         PR tree-optimization/38748
1864         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Disable the VCE
1865         conversion if the base address is an indirect reference and the
1866         aliasing sets could cause issues.
1867
1868 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
1869
1870         * common.opt (fgraphite, fgraphite-identity): Add comment for 
1871         explaining why these options are not documented.
1872
1873 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
1874
1875         * graphite.c (stmt_simple_for_scop_p): Also handle cases when
1876         gimple_call_lhs is NULL.
1877
1878 2009-01-20  Paolo Bonzini  <bonzini@gnu.org>
1879
1880         PR target/38868
1881         * emit-rtl.c (adjust_address_1): Make sure memref is never
1882         overwritten.
1883
1884 2009-01-20  Ben Elliston  <bje@au.ibm.com>
1885
1886         * libgcov.c (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
1887         const qualifier from arg parameter. Remove unnecessary cast to char *.
1888         * gcov-io.h (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
1889         const qualifier from arg 2.
1890
1891 2009-01-19  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>
1892
1893         * config/darwin.h: Add static-libgfortran to LINK_SPEC.
1894
1895 2009-01-19  Vladimir Makarov  <vmakarov@redhat.com>
1896
1897         PR c/38869
1898         * rtl.h (reinit_regs): New prototype.
1899         * regclass.c: Include ira.h.
1900         (reinit_regs): New.
1901         * Makefile.in (regclass.o): Add ira.h.
1902         * config/i386/i386.c (ix86_maybe_switch_abi): Use reinit_regs.
1903
1904 2009-01-18  H.J. Lu  <hongjiu.lu@intel.com>
1905
1906         PR target/38736
1907         * c-common.c (handle_aligned_attribute): Use
1908         ATTRIBUTE_ALIGNED_VALUE instead of BIGGEST_ALIGNMENT for
1909         default alignment value.
1910
1911         * c-cppbuiltin.c (c_cpp_builtins): Define __BIGGEST_ALIGNMENT__.
1912
1913         * defaults.h (ATTRIBUTE_ALIGNED_VALUE): New.
1914         * config/i386/i386.h (ATTRIBUTE_ALIGNED_VALUE): Likewise.
1915
1916         * doc/extend.texi: Update __attribute__ ((aligned)).  Document
1917         __BIGGEST_ALIGNMENT__.
1918
1919         * doc/tm.texi: Document ATTRIBUTE_ALIGNED_VALUE.
1920
1921 2009-01-18  Richard Guenther  <rguenther@suse.de>
1922
1923         PR tree-optimization/38819
1924         * tree-flow.h (operation_could_trap_helper_p): Declare.
1925         * tree-eh.c (operation_could_trap_helper_p): Export.
1926         * tree-ssa-sccvn.h (vn_nary_may_trap): Declare.
1927         * tree-ssa-sccvn.c (vn_nary_may_trap): New function.
1928         * tree-ssa-pre.c (insert_into_preds_of_block): Check if we
1929         are about to insert a possibly trapping instruction and fail
1930         in this case.
1931
1932 2009-01-18  Andreas Schwab  <schwab@suse.de>
1933
1934         * doc/install.texi (Configuration): Remove obsolete paragraph
1935         about use of --with-gnu-ld with --with-gnu-as.
1936
1937 2009-01-18  Kazu Hirata  <kazu@codesourcery.com>
1938
1939         * doc/extend.texi, doc/gimple.texi, doc/invoke.texi,
1940         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi: Fix typos.
1941         Follow spelling conventions.
1942
1943 2009-01-18  Ben Elliston  <bje@au.ibm.com>
1944
1945         * bitmap.c (bitmap_obstack_alloc_stat): Adjust cast to eliminate
1946         C++ warning about implicit conversion from void * to struct
1947         bitmap_head_def *.
1948         (bitmap_obstack_free): Likewise for bitmap_element *.
1949         * Makefile.in (bitmap.o-warn): Remove.
1950
1951 2009-01-17  Dave Korn  <dave.korn.cygwin@gmail.com>
1952
1953         * Makefile.in (BACKENDLIBS):  Reorder to match dependencies.
1954
1955 2009-01-17  Sebastian Pop  <sebastian.pop@amd.com>
1956             Tobias Grosser  <tobi.grosser@amd.com>
1957
1958         * graphite.c (graphite_trans_scop_block): Do not block single
1959         nested loops.
1960
1961 2009-01-16  Alexandre Oliva  <aoliva@redhat.com>
1962
1963         * ebitmap.h (ebitmap_iter_init): Initialize all fields.
1964         * ipa-struct-reorg.c (gen_struct_type): Replace known-true
1965         test with assertion.
1966
1967 2009-01-16  Richard Guenther  <rguenther@suse.de>
1968
1969         PR tree-optimization/38835
1970         PR middle-end/36227
1971         * fold-const.c (fold_binary): Remove PTR + INT -> (INT)(PTR p+ INT)
1972         and INT + PTR -> (INT)(PTR p+ INT) folding.
1973         * tree-ssa-address.c (create_mem_ref): Properly use POINTER_PLUS_EXPR.
1974
1975 2009-01-16  Adam Nemet  <anemet@caviumnetworks.com>
1976
1977         PR target/38554
1978         * expmed.c (expand_shift): With SHIFT_COUNT_TRUNCATED, don't lift
1979         the subreg from a lowpart subreg if it is also casting the value.
1980
1981 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
1982             Tobias Grosser  <tobi.grosser@amd.com>
1983
1984         * graphite.c (compare_prefix_loops): New.
1985         (build_scop_canonical_schedules): Rewritten.
1986         (graphite_transform_loops): Move build_scop_canonical_schedules
1987         after build_scop_iteration_domain.
1988
1989 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
1990             Tobias Grosser  <tobi.grosser@amd.com>
1991
1992         * graphite.c (add_conditions_to_domain): Add the loops to 
1993         the dimension of the iteration domain.  Do copy the domain
1994         only when it exists.
1995         (build_scop_conditions_1): Do not call add_conditions_to_domain.
1996         (add_conditions_to_constraints): New.
1997         (can_generate_code_stmt, can_generate_code): Removed.
1998         (gloog): Do not call can_generate_code.
1999         (graphite_transform_loops): Call add_conditions_to_constraints
2000         after building the iteration domain.
2001
2002 2009-01-16  Jakub Jelinek  <jakub@redhat.com>
2003
2004         PR tree-optimization/38789
2005         * tree-ssa-threadedge.c
2006         (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
2007         __builtin_constant_p.
2008
2009 2009-01-16  Kenneth Zadeck  <zadeck@naturalbridge.com>
2010
2011         * dce.c (delete_unmarked_insns): Reversed the order that insns are
2012         examined before deleting them.
2013         
2014 2009-01-16  Richard Earnshaw  <rearnsha@arm.com>
2015
2016         * function.c (aggregate_value_p): Correctly extract the function
2017         type from CALL_EXPR_FN lookup.
2018
2019 2009-01-16  Hariharan Sandanagobalane  <hariharan@picochip.com>
2020
2021         * config/picochip/picochip.c (picochip_override_options): Revert
2022         CFI asm flag disable commited previously.
2023
2024 2009-01-15  Sebastian Pop  <sebastian.pop@amd.com>
2025             Tobias Grosser  <tobi.grosser@amd.com>
2026             Jan Sjodin  <jan.sjodin@amd.com>
2027
2028         * graphite.c (scan_tree_for_params): On substractions negate
2029         all the coefficients of the term.
2030         (clast_to_gcc_expression_red): New.  Handle reduction expressions
2031         of more than two operands.
2032         (clast_to_gcc_expression): Call clast_to_gcc_expression_red.
2033         (get_vdef_before_scop): Handle also the case of default definitions.
2034
2035 2009-01-15  Richard Sandiford  <rdsandiford@googlemail.com>
2036
2037         * caller-save.c (add_used_regs_1, add_used_regs): New functions.
2038         (insert_one_insn): Use them instead of REG_DEAD and REG_INC notes.
2039         Also use them when walking CALL_INSN_FUNCTION_USAGE.
2040
2041 2009-01-15  H.J. Lu  <hongjiu.lu@intel.com>
2042             Joey Ye  <joey.ye@intel.com>
2043
2044         PR middle-end/37843
2045         * cfgexpand.c (expand_stack_alignment): Don't update stack
2046         boundary nor check incoming stack boundary here.
2047         (gimple_expand_cfg): Update stack boundary and check incoming
2048         stack boundary here.
2049
2050 2009-01-15  Kenneth Zadeck  <zadeck@naturalbridge.com>
2051
2052         * dce.c (find_call_stack_args, delete_unmarked_insns): Fixed comments.
2053         
2054 2009-01-14  Jakub Jelinek  <jakub@redhat.com>
2055
2056         PR rtl-optimization/38245
2057         * calls.c (expand_call): Add stack arguments to
2058         CALL_INSN_FUNCTION_USAGE even for pure calls (when
2059         ACCUMULATE_OUTGOING_ARGS) and even for args partially passed
2060         in regs and partially in memory or BLKmode arguments.
2061         (emit_library_call_value_1): Add stack arguments to
2062         CALL_INSN_FUNCTION_USAGE even for pure calls (when
2063         ACCUMULATE_OUTGOING_ARGS).
2064         * dce.c: Include tm_p.h.
2065         (find_call_stack_args): New function.
2066         (deletable_insn_p): Call it for CALL_P insns.  Add ARG_STORES
2067         argument.
2068         (mark_insn): Call find_call_stack_args for CALL_Ps.
2069         (prescan_insns_for_dce): Walk insns backwards in bb rather than
2070         forwards.  Allocate and free arg_stores bitmap if needed, pass it
2071         down to deletable_insn_p, don't mark stores set in arg_stores
2072         bitmap, clear the bitmap at the beginning of each bb.
2073         * Makefile.in (dce.o): Depend on $(TM_P_H).
2074
2075 2009-01-14  Michael Meissner  <gnu@the-meissners.org>
2076
2077         PR target/22599
2078         * config/i386/i386.c (print_operand): Add tests for 'D', 'C', 'F', 'f'
2079         to make sure the insn is a conditional test (bug 22599).  Reformat a
2080         few long lines.
2081
2082 2009-01-14  Sebastian Pop  <sebastian.pop@amd.com>
2083
2084         PR middle-end/38431
2085         * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
2086         (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
2087         (gloog): Do not call cleanup_tree_cfg.
2088         (graphite_transform_loops): Call cleanup_tree_cfg after all 
2089         scops have been code generated.
2090
2091 2009-01-14  Basile Starynkevitch  <basile@starynkevitch.net>
2092         * doc/gty.texi (Invoking the garbage collector): Added new node
2093         and section documenting ggc_collect.
2094
2095 2009-01-14  Richard Guenther  <rguenther@suse.de>
2096
2097         PR tree-optimization/38826
2098         PR middle-end/38477
2099         * tree-ssa-structalias.c (emit_alias_warning): Emit the pointer
2100         initialization notes only if we actually emitted a warning.
2101         (intra_create_variable_infos): Add constraints for a result decl
2102         that is passed by hidden reference.
2103         (build_pred_graph): Mark all related variables non-direct on
2104         address-taking.
2105
2106 2009-01-14  Nick Clifton  <nickc@redhat.com>
2107
2108         * ira-conflicts.c: Include addresses.h for the definition of
2109         base_reg_class.
2110         (ira_build_conflicts): Use base_reg_class instead of BASE_REG_CLASS.
2111         * Makefile.in: Add a dependency of ira-conflicts.o on addresses.h.
2112
2113 2009-01-13  Vladimir Makarov  <vmakarov@redhat.com>
2114
2115         PR target/38811
2116         * Makefile.in (ira-lives.o): Add except.h.
2117
2118         * ira-lives.c: Include except.h.
2119         (process_bb_node_lives): Process can_throw_internal.
2120
2121 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
2122
2123         PR rtl-optimization/38774
2124         * combine.c (simplify_set): When undoing cc_use change, don't do
2125         PUT_CODE on the newly created comparison, but instead put back the
2126         old comparison.
2127
2128 2009-01-13  Joseph Myers  <joseph@codesourcery.com>
2129
2130         * doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
2131         values.  Remove duplicate arm8 entry.
2132
2133 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
2134
2135         PR tree-optimization/38786
2136         * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
2137         the SSA_NAME case of expand_scalar_variables_expr.
2138         Set the type of an expression to the type of its assign statement.
2139         (expand_scalar_variables_expr): Also gather the scalar computation
2140         used to index the memory access.  Do not pass loop_p.
2141         Fix comment.  Stop recursion on tcc_constant or tcc_declaration.
2142         (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
2143         the gimple_stmt_iterator where it inserts new code.
2144         Do not pass loop_p.
2145         (copy_bb_and_scalar_dependences): Do not pass loop_p.
2146         (translate_clast): Update call to copy_bb_and_scalar_dependences.
2147
2148 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
2149
2150         * graphite.h (debug_value): Removed.
2151         * graphite.c (debug_value): Removed.
2152
2153 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
2154
2155         * config/arm/arm.c (output_move_double): Don't synthesize thumb-2
2156         ldrd/strd with two 32-bit instructions.
2157
2158 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
2159
2160         * config/arm/arm.c (struct processors): Pass for speed down into
2161         cost helper functions.
2162         (const_ok_for_op): Handle COMPARE and inequality nodes.
2163         (arm_rtx_costs_1): Rewrite.
2164         (arm_size_rtx_costs): Update prototype.
2165         (arm_rtx_costs): Pass speed down to helper functions.
2166         (arm_slowmul_rtx_costs): Rework cost calculations.
2167         (arm_fastmul_rtx_costs, arm_xscale_rtx_costs): Likewise.
2168         (arm_9e_rtx_costs): Likewise.
2169
2170 2009-01-13  Uros Bizjak  <ubizjak@gmail.com>
2171
2172         * config/alpha/alpha.c (alpha_legitimate_address_p): Explicit
2173         relocations of local symbols wider than UNITS_PER_WORD are not valid.
2174         (alpha_legitimize_address): Do not split local symbols wider than
2175         UNITS_PER_WORD into HIGH/LO_SUM parts.
2176
2177 2009-01-13  Danny Smith  <dannysmith@users.sourceforge.net>
2178
2179         PR bootstrap/38580
2180         * gcc.c (process_command): Replace call to execvp with calls
2181         to pex_one and exit.
2182
2183 2009-01-03  Anatoly Sokolov  <aesok@post.ru>
2184
2185         PR target/29141
2186         * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm.
2187         * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add
2188         variant for devices with 3-byte PC.
2189         (__tablejump_elpm__) : New.
2190
2191 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
2192
2193         PR c/32041
2194         * c-parser.c (c_parser_postfix_expression): Allow `->' in
2195         offsetof member-designator, handle it as `[0].'.
2196
2197 2009-01-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2198
2199         * pa.c (pa_asm_output_mi_thunk): Use pc-relative branch to thunk
2200         function when not using named sections on targets with named sections
2201         if branch distance is less than 262132.
2202
2203 2009-01-12  Richard Earnshaw  <rearnsha@arm.com>
2204
2205         * combine.c (combine_instructions):  Recompute
2206         optimize_this_for_speed_p  for each BB in the main combine loop.
2207
2208 2009-01-12  Tomas Bily  <tbily@suse.cz>
2209
2210         PR middlend/38385
2211         * tree-loop-distribution.c (prop_phis): New function.
2212         (generate_builtin): Call prop_phis.
2213         * testsuite/gcc.dg/tree-ssa/pr38385.c: New file.
2214
2215 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
2216
2217         PR tree-optimization/38807
2218         * tree-ssa-reassoc.c (remove_visited_stmt_chain): Don't look at
2219         gimple_visited_p unless stmt is GIMPLE_ASSIGN.
2220
2221 2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
2222
2223         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
2224         subreg of op0 to the original op0.
2225
2226 2009-01-11  Laurent GUERBY  <laurent@guerby.net>
2227
2228         * doc/sourcebuild.texi (Source Tree): Move up intl and fixinc.
2229         
2230 2009-01-11  Markus Schoepflin  <markus.schoepflin@comsoft.de>
2231
2232         PR debug/7055
2233         * gcc/mips-tfile.c (parse_def): Fix parsing of def strings
2234         starting with digits.
2235
2236 2009-01-10  Jakub Jelinek  <jakub@redhat.com>
2237
2238         PR target/38695
2239         * config/arm/arm.c (arm_is_long_call_p): Don't call
2240         arm_function_in_section_p if decl isn't a FUNCTION_DECL.
2241
2242 2009-01-09  Steven Bosscher  <steven@gcc.gnu.org>
2243
2244         * regrename.c (regrename_optimize): Fix dumping.
2245         (find_oldest_value_reg): Preserve REG_POINTER.
2246         (copy_hardreg_forward_1): Likewise.
2247
2248 2009-01-09  Diego Novillo  <dnovillo@google.com>
2249
2250         * gimple.h (struct gimple_statement_base) <uid>: Document
2251         the restrictions on its use.
2252         (gimple_uid): Tidy.
2253         (gimple_set_uid): Tidy.
2254
2255 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
2256
2257         * config/i386/i386.c (ix86_expand_movmem, ix86_expand_setmem): Add
2258         zero guard even if align_bytes != 0 and count is smaller than
2259         size_needed.
2260
2261 2009-01-09  Vladimir Makarov  <vmakarov@redhat.com>
2262
2263         PR rtl-optimization/38495
2264         * ira-emit.c (print_move_list, ira_debug_move_list): New functions.
2265         (add_range_and_copies_from_move_list): Print all added ranges.
2266         Add ranges to memory optimized destination.
2267
2268 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
2269
2270         PR target/38686
2271         PR target/38708
2272         * config/i386/i386.c (override_options): Reject
2273         -mstringop-strategy=rep_8byte with -m32.
2274         (ix86_expand_movmem): For size_needed == 1 set epilogue_size_needed
2275         to 1.  Do count comparison against epilogue_size_needed at compile
2276         time even when count_exp was constant forced into register.  For
2277         size_needed don't jump to epilogue, instead just avoid aligning
2278         and invoke the body algorithm.  If need_zero_guard, add zero guard
2279         even if count is non-zero, but smaller than size_needed + number of
2280         bytes that could be stored for alignment.
2281         (ix86_expand_setmem): For size_needed == 1 set epilogue_size_needed
2282         to 1.  If need_zero_guard, add zero guard even if count is non-zero,
2283         but smaller than size_needed + number of bytes that could be stored
2284         for alignment.  Compare size_needed with epilogue_size_needed instead
2285         of desired_align - align, don't adjust size_needed, pass
2286         epilogue_size_needed to the epilogue expanders.
2287
2288         PR c/35742
2289         * c-pretty-print.c (pp_c_expression): Handle GOTO_EXPR like BIND_EXPR.
2290
2291 2009-01-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2292
2293         * pa.c (last_address): Change to unsigned.
2294         (update_total_code_bytes): Change argument to unsigned.  Don't
2295         check if insn addresses are set.
2296         (pa_output_function_epilogue): Set last_address to UINT_MAX if insn
2297         addresses are not set.
2298         (pa_asm_output_mi_thunk): Handle wrap when updating last_address.
2299
2300 2009-01-09  Nick Clifton  <nickc@redhat.com>
2301
2302         * config/sh/symbian.c: Replace uses of DECL_INLINE with
2303         DECL_DECLARED_INLINE_P.
2304
2305 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
2306
2307         PR middle-end/38347
2308         * dojump.c (do_jump_by_parts_zero_rtx): Use mode instead of
2309         GET_MODE (op0) in operand_subword_force calls.
2310
2311         PR middle-end/38771
2312         * fold-const.c (fold_unary): For COMPOUND_EXPR and COND_EXPR,
2313         fold_convert arg0 operands to TREE_TYPE (op0) first.
2314
2315 2009-01-08  Vladimir Makarov  <vmakarov@redhat.com>
2316
2317         * params.def (ira-max-conflict-table-size): Decrease default value
2318         to 1000.
2319
2320 2009-01-08  Jakub Jelinek  <jakub@redhat.com>
2321
2322         PR tree-optimization/37031
2323         * lambda-code.c (lambda_collect_parameters): Call pointer_set_destroy
2324         on parameter_set.
2325         (build_access_matrix): Reserve correct size for AM_MATRIX vector,
2326         allocate it using gc instead of heap, use VEC_quick_push instead of
2327         VEC_safe_push.
2328         * graphite.c (build_access_matrix): Allocate AM_MATRIX vector using gc
2329         instead of heap, use VEC_quick_push instead of VEC_safe_push.
2330         * tree-data-ref.h (struct access_matrix): Change matrix to gc
2331         allocated vector from heap allocated.
2332         * lambda.h: Add DEF_VEC_ALLOC_P for gc allocated lambda_vector.
2333         * tree-loop-linear.c (linear_transform_loops): Allocate nest
2334         vector only after perfect_loop_nest_depth call.
2335
2336 2009-01-08  Sebastian Pop  <sebastian.pop@amd.com>
2337             Jan Sjodin  <jan.sjodin@amd.com>
2338
2339         PR tree-optimization/38559
2340         * graphite.c (debug_value, copy_constraint,
2341         swap_constraint_variables, scale_constraint_variable, ): New.
2342         (get_lower_bound, get_upper_bound): Removed.
2343         (graphite_trans_bb_strip_mine): Clean up this code that works
2344         only for constant number of iterations.  Fully copy upper and
2345         lower bound constraints, not only the constant part of them.
2346         * graphite.h (debug_value): Declared.
2347
2348 2009-01-08  Ira Rosen  <irar@il.ibm.com>
2349
2350         PR tree-optimization/37194
2351         * tree-vect-transform.c (vect_estimate_min_profitable_iters):
2352         Don't add the cost of cost model guard in prologue to scalar 
2353         outside cost in case of known number of iterations.
2354
2355 2009-01-07  Nathan Froyd  <froydnj@codesourcery.com>
2356             Alan Modra  <amodra@bigpond.net.au>
2357
2358         * config/rs6000/rs6000.c (rs6000_legitimize_address): Check for
2359         non-word-aligned REG+CONST addressing.
2360
2361 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
2362
2363         PR target/38706
2364         * config/alpha/alpha.c (alpha_end_function): For TARGET_ABI_OSF, call
2365         free_after_compilation when outputting a thunk.
2366         (alpha_output_mi_thunk_osf): Assert that we are processing a thunk.
2367         Do not call free_after_compilation here.
2368
2369 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
2370
2371         * config/i386/i386.c (ix86_target_string): Use ARRAY_SIZE.
2372         (ix86_valid_target_attribute_inner_p): Ditto.
2373
2374 2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>
2375
2376         PR tree-optimization/38492
2377         PR tree-optimization/38498
2378         * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
2379         * tree-chrec.h (scev_is_linear_expression): Declared.
2380         * graphite.c (graphite_cannot_represent_loop_niter): New.
2381         (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
2382         (graphite_loop_normal_form): Use gcc_assert.
2383         (scan_tree_for_params): Use CASE_CONVERT.
2384         (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
2385         (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
2386         Use gcc_assert.  Discard scops that contain unhandled cases.
2387         (build_scop_conditions): Return a boolean status for unhandled cases.
2388         (strip_mine_profitable_p): Print the loop number, not its depth.
2389         (is_interchange_valid): Pass the depth of the loop nest, don't
2390         recompute it wrongly.
2391         (graphite_trans_bb_block): Same.
2392         (graphite_trans_bb_block): Print tentative of loop blocking.
2393         (graphite_trans_scop_block): Do not print that the loop has been
2394         blocked.
2395         (graphite_transform_loops): Do not handle scops that contain condition
2396         scalar phi nodes.
2397
2398 2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>
2399
2400         AVX Programming Reference (December, 2008)
2401         * config/i386/avxintrin.h (_mm256_stream_si256): New.
2402         (_mm256_stream_pd): Likewise.
2403         (_mm256_stream_ps): Likewise.
2404
2405         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
2406         IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
2407         (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
2408         (bdesc_special_args): Add __builtin_ia32_movntdq256,
2409         __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
2410         (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
2411         (ix86_expand_special_args_builtin): Likewise.
2412
2413         * config/i386/sse.md (AVXMODEDI): New.
2414         (avx_movnt<mode>): Likewise.
2415         (avx_movnt<mode>): Likewise.
2416         (<sse>_movnt<mode>): Remove AVX support.
2417         (sse2_movntv2di): Likewise.
2418
2419 2009-01-07  Richard Guenther  <rguenther@suse.de>
2420
2421         PR middle-end/38751
2422         * fold-const.c (extract_muldiv): Remove obsolete comment.
2423         (fold_plusminus_mult_expr): Undo MINUS_EXPR
2424         to PLUS_EXPR canonicalization for the canonicalization.
2425
2426 2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>
2427
2428         * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
2429         hosted cross-compilers generating less efficient code.
2430
2431 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
2432
2433         * function.h (rtl_data): Add a dbr_scheduled_p field.
2434         * reorg.c (dbr_schedule): Set it.
2435         (gate_handle_delay_slots): Check it.
2436         * config/mips/mips.c (mips_base_delayed_branch): Delete.
2437         (mips_reorg): Check flag_delayed_branch instead of
2438         mips_base_delayed_branch.
2439         (mips_override_options): Don't set mips_base_delayed_branch
2440         or flag_delayed_branch.
2441
2442 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
2443
2444         PR rtl-optimization/38426.
2445         * ira.c (ira): Set current_function_is_leaf earlier.
2446
2447 2009-01-06  Jakub Jelinek  <jakub@redhat.com>
2448
2449         PR rtl-optimization/38722
2450         * combine.c (try_combine): Don't modify PATTERN (i3) and notes
2451         too early, only set a flag and modify after last possible
2452         undo_all point.
2453
2454 2009-01-06  Janis Johnson  <janis187@us.ibm.com>
2455
2456         PR c/34252
2457         * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
2458         * real.c (decimal_single_format): Correct values of emin and emax.
2459         (decimal_double_format): Ditto.
2460         (decimal_quad_format): Ditto.
2461         * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
2462         computation of DECnn_MIN and DECnn_MAX for corrected values of
2463         emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
2464         __DECnn_MIN__, and adjust its computation for the corrected value
2465         of emin.
2466
2467 2009-01-06  Jan Hubicka  <jh@suse.cz>
2468
2469         PR target/38744
2470         * config/i386/i386.c (ix86_expand_call): Use ARRAY_SIZE.
2471
2472 2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>
2473
2474         * doc/contrib.texi (Contributors): Slightly adjust the end note.
2475         Add Robert Clark to the list of testers.
2476
2477 2009-01-06  Jan Hubicka  <jh@suse.cz>
2478             Kai Tietz  <kai.tietz@onevision.com>
2479
2480         * config/i386/i386.md (*msabi_syvabi): Add SSE regs clobbers.
2481         * config/i386/i386.c (ix86_expand_call): Add clobbers.
2482
2483 2009-01-06  Jan Hubicka  <jh@suse.cz>
2484             Kai Tietz  <kai.tietz@onevision.com>
2485
2486         * config/i386/i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used
2487         for w64 ABI.
2488         * config/i386/i386.c (struct ix86_frame): Add padding0 and nsseregs.
2489         (ix86_nsaved_regs): Count only general purpose regs.
2490         (ix86_nsaved_sseregs): New.
2491         (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
2492         to 16 for w64; compute padding and size of sse reg save area.
2493         (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only
2494         general purpose regs.
2495         (ix86_emit_save_sse_regs_using_mov): New.
2496         (ix86_expand_prologue): Save SSE regs if needed.
2497         (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
2498         (ix86_emit_restore_sse_regs_using_mov): New.
2499         (ix86_expand_epilogue): Save SSE regs if needed.
2500
2501 2009-01-06  Jan Hubicka  <jh@suse.cz>
2502             Kai Tietz  <kai.tietz@onevision.com>
2503
2504         * config/i386/i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
2505         * config/i386/i386.c (init_cumulative_args): Disallow calls of MSABI
2506         functions when accumulate outgoing args is off.
2507
2508 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
2509
2510         PR bootstrap/38742
2511         * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
2512         before using pseudos_have_intersected_live_ranges_p.
2513
2514         * ira-int.h (ira_assert): Always define.
2515
2516 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
2517
2518         AVX Programming Reference (December, 2008)
2519         * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
2520         (_mm256_permute2_pd): Likewise.
2521         (_mm_permute2_ps): Likewise.
2522         (_mm256_permute2_ps): Likewise.
2523         * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
2524         * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.
2525
2526         * config/i386/i386.c (ix86_builtins): Remove
2527         IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
2528         IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
2529         (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
2530         V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
2531         and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
2532         (bdesc_args): Remove __builtin_ia32_vpermil2pd,
2533         __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
2534         __builtin_ia32_vpermil2ps256.
2535         (ix86_init_mmx_sse_builtins): Updated.
2536         (ix86_expand_args_builtin): Likewise.
2537
2538 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2539
2540         * pa.c (output_call): Relocate non-jump insns in the delay slot of
2541         long absolute calls when generating PA 2.0 code.
2542
2543 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
2544
2545         PR rtl-optimization/38583
2546         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
2547
2548         * params.def (ira-max-conflict-table-size): New.
2549
2550         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
2551         
2552         * ira.h (ira_conflicts_p): New external definition.
2553         
2554         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
2555         table.  Report this.  Return result of building.
2556         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
2557         building conflict table.
2558
2559         * ira-color.c (fast_allocation): Use num instead of ira_allocnos_num.
2560         (ira_color): Use ira_conflicts_p.
2561         
2562         * global.c: Include ira.h.
2563         (pseudo_for_reload_consideration_p, build_insn_chain): Use
2564         ira_conflicts_p.
2565
2566         * Makefile.in (global.o): Add ira.h.
2567         
2568         * ira-build.c (mark_all_loops_for_removal,
2569         propagate_some_info_from_allocno): New.
2570         (remove_unnecessary_allocnos): Call
2571         propagate_some_info_from_allocno.
2572         (remove_low_level_allocnos): New.
2573         (remove_unnecessary_regions): Add parameter.  Call
2574         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
2575         parameter to remove_unnecessary_regions.
2576         (ira_build): Remove all regions but root if the conflict table was
2577         not built.  Update conflict hard regs for allocnos crossing calls.
2578
2579         * ira.c (ira_conflicts_p): New global.
2580         (ira): Define and use ira_conflicts_p.
2581
2582         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
2583         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
2584         emit_input_reload_insns, delete_output_reload): Use ira_conflicts_p.
2585         
2586 2009-01-06  Ben Elliston  <bje@au.ibm.com>
2587
2588         * gengtype-lex.l (YY_NO_INPUT): Define.
2589
2590 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2591
2592         PR c/34911
2593         * c-common.c (handle_vector_size_attribute): Also reject
2594         BOOLEAN_TYPE types.
2595
2596 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
2597
2598         PR tree-optimization/38492
2599         * graphite.c (rename_map_elt, debug_rename_elt,
2600         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
2601         rename_map_elt_info, eq_rename_map_elts,
2602         get_new_name_from_old_name, bb_in_sese_p): Moved around.
2603         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
2604         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
2605         (sese_build_livein_liveouts): New.
2606         (new_sese, free_sese): New.
2607         (new_scop): Call new_sese.
2608         (free_scop): Call free_sese.
2609         (rename_variables_from_edge, rename_phis_end_scop): Removed.
2610         (register_old_new_names): Renamed register_old_and_new_names.
2611         (register_scop_liveout_renames, add_loop_exit_phis,
2612         insert_loop_close_phis, struct igp,
2613         default_liveout_before_guard, add_guard_exit_phis,
2614         insert_guard_phis, copy_renames): New.
2615         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
2616         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
2617         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
2618         (scop_adjust_phis_for_liveouts): New.
2619         (gloog): Call scop_adjust_phis_for_liveouts.
2620
2621         * graphite.h (struct sese): Documented.  Added fields liveout,
2622         num_ver and livein.
2623         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
2624         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
2625         (struct scop): Added field liveout_renames.
2626         (SCOP_LIVEOUT_RENAMES): New.
2627
2628 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2629
2630         PR tree-optimization/38510
2631         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
2632         (translate_clast): Call recompute_all_dominators before
2633         graphite_verify.
2634         (gloog): Call recompute_all_dominators before graphite_verify.
2635
2636 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2637             Jan Sjodin  <jan.sjodin@amd.com>
2638
2639         PR tree-optimization/38500
2640         * graphite.c (create_sese_edges): Call fix_loop_structure after
2641         splitting blocks.
2642
2643 2009-01-05  Joel Sherrill  <joel.sherrill@oarcorp.com>
2644
2645         * config.gcc: Add m32r*-*-rtems*.
2646         * config/m32r/rtems.h: New file.
2647
2648 2009-01-05  Ben Elliston  <bje@au.ibm.com>
2649
2650         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
2651         (.po.pox): Likewise.
2652         (po/gcc.pot): Likewise.
2653
2654 2009-01-04  David S. Miller  <davem@davemloft.net>
2655
2656         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
2657         (STARTING_FRAME_OFFSET): Always set to zero.
2658
2659 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
2660
2661         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
2662         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
2663         fixed-point types, and vectors of the same.
2664
2665 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
2666
2667         * config/mips/sync.md (*mb_barrier): Rename to...
2668         (*memory_barrier): ...this.
2669
2670 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
2671
2672         * doc/extend.texi (Function Attributes): Move @cindex after @item
2673         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
2674         and put in alphabetical order. Fix 'target' name and put in order.
2675         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
2676         typos.
2677
2678 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
2679
2680         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
2681         (memory_barrier): Expand as unspec instead of unspec_volatile.
2682         Remove mem:BLK from insn operands.  Use Pmode scratch register.
2683         (*memory_barrier): Define as unspec instead of unspec_volatile.
2684         Use (match_dup 0) as input operand.
2685
2686         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
2687         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
2688         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
2689         scratch register.  Remove operand 1.
2690         (*stbar): Define as unspec instead of unspec_volatile.
2691         Use (match_dup 0) as input operand, remove (const_int 8).
2692         (*membar): Define as unspec instead of unspec_volatile.
2693         Use (match_dup 0) as input operand, remove input operand 2.
2694
2695         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
2696         (memory_barrier): Expand as unspec instead of unspec_volatile.
2697         Remove mem:BLK from insn operands.  Use Pmode scratch register.
2698         (*memory_barrier): Define as unspec instead of unspec_volatile.
2699         Use (match_dup 0) as input operand.
2700
2701         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
2702         Remove mem:BLK from insn operands.  Use Pmode scratch register.
2703         Set volatile flag on operand 0.
2704         (*memory_barrier): New insn pattern.
2705
2706         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
2707         insn operands.
2708         (*memory_barrier): Use (match_dup 0) as input operand.
2709
2710         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
2711         Remove mem:BLK from insn operands.  Use Pmode scratch register.
2712         Set volatile flag on operand 0.
2713         (*mb_internal): New insn pattern.
2714
2715         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
2716
2717 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
2718
2719         PR middle-end/38586
2720         * function.c (struct temp_slot): Move to the section of the file
2721         that deals with temp slots.  Remove field 'address'.
2722         (temp_slot_address_table): New hash table of address -> temp slot.
2723         (struct temp_slot_address_entry): New struct, items for the table.
2724         (temp_slot_address_compute_hash, temp_slot_address_hash,
2725         temp_slot_address_eq, insert_temp_slot_address): Support functions
2726         for the new table.
2727         (find_temp_slot_from_address): Rewrite to use the new hash table.
2728         (remove_unused_temp_slot_addresses): Remove addresses of temp
2729         slots that have been made available.
2730         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
2731         worker function for remove_unused_temp_slot_addresses.
2732         (assign_stack_temp_for_type): Don't clear the temp slot address list.
2733         Add the temp slot address to the address -> temp slot map.
2734         (update_temp_slot_address): Update via insert_temp_slot_address.
2735         (free_temp_slots): Call remove_unused_temp_slot_addresses.
2736         (pop_temp_slots): Likewise.
2737         (init_temp_slots): Allocate the address -> temp slot map, or empty
2738         the map if it is already allocated.
2739         (prepare_function_start): Initialize temp slot processing.
2740
2741 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
2742
2743         PR middle-end/38584
2744         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
2745         Calculate the size of all stack vars assuming no packing of stack
2746         vars will happen, replacing a quadratic algorithm with a linear one.
2747
2748 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
2749
2750         PR target/38707
2751         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
2752         can't be used.
2753
2754 2009-01-03  Diego Novillo  <dnovillo@google.com>
2755
2756         * doc/contrib.texi: Update contributions.
2757
2758 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
2759
2760         PR c++/38705
2761         * builtins.c (fold_builtin_memory_op): Give up if either operand
2762         is volatile.  Set srctype or desttype to non-qualified version
2763         of the other type.
2764
2765         PR c/38700
2766         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
2767         and FUNCTION_DECLs.
2768
2769 2009-01-02  Kenneth Zadeck  <zadeck@naturalbridge.com>
2770
2771         PR rtl-optimization/35805
2772         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
2773         problem if fast dce is able to remove any instructions.
2774         * dce.c (dce_process_block): Fix dump message.
2775         
2776 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
2777
2778         PR 33649
2779         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
2780
2781 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
2782
2783         PR middle-end/38690
2784         * tree-flow.h (op_code_prio, op_prio): New prototypes.
2785         * tree-pretty-print.c (op_code_prio): New function.
2786         (op_prio): No longer static.  Use op_code_prio.
2787         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
2788         Use op_prio and op_code_prio to determine if () should be
2789         printed around operand(s) or not.
2790
2791         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
2792         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
2793         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
2794         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
2795         pp_character instead of pp_string for single letter printing.
2796
2797 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
2798
2799         * doc/extend.texi: Fix '#pragma GCC option' typo.
2800
2801 2009-01-02  Richard Guenther  <rguenther@suse.de>
2802
2803         * doc/install.texi (--enable-checking): Mention different
2804         default for stage1.
2805         (--enable-stage1-checking): Document.
2806
2807 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
2808
2809         PR middle-end/30142
2810         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
2811         case to be an error.
2812
2813 2009-01-02  Ben Elliston  <bje@au.ibm.com>
2814
2815         * config/fp-bit.h (pack_d): Constify argument.
2816         * config/fp-bit.c (makenan): Constify return type. Remove casts.
2817         (isnan): Constify argument.
2818         (isinf): Likewise.
2819         (iszero): Likewise.
2820         (pack_d): Likewise.
2821         (_fpadd_parts): Constify return type.
2822         (_fpmul_parts): Likewise.
2823         (_fpdiv_parts): Likewise.
2824
2825 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
2826
2827         PR c/36489
2828         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
2829         warn about overwriting initializer with side-effects or
2830         -Woverride-init if !IMPLICIT.
2831         (output_init_element): Likewise.  Pass IMPLICIT down to
2832         add_pending_init.
2833         (process_init_element): Add IMPLICIT argument.  Pass it down
2834         to output_init_element.
2835         (push_init_element, pop_init_level, set_designator): Adjust
2836         process_init_element callers.
2837         (set_nonincremental_init, set_nonincremental_init_from_string):
2838         Adjust add_pending_init callers.
2839         (output_pending_init_elements): Adjust output_init_element callers.
2840         * c-tree.h (process_init_element): Adjust prototype.
2841         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
2842         process_init_element callers.