OSDN Git Service

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