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