OSDN Git Service

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