1 2008-01-16 Richard Guenther <rguenther@suse.de>
4 * fold-const.c (fold_convert_const_int_from_int): Do not
5 set overflow if that occured only because of a sign extension
6 change when converting from/to a sizetype with the same
7 precision and signedness.
9 2008-01-16 Uros Bizjak <ubizjak@gmail.com>
12 * dwarf2out.c (output_call_frame_info): Move output of FDE initial
13 location address to the correct place. Update copyright year.
15 2008-01-16 Sebastian Pop <sebastian.pop@amd.com>
17 * lambda-code.c (lambda_transform_legal_p): Handle the case of
18 no dependences in the dependence_relations vector.
20 2008-01-16 Jan Hubicka <jh@suse.cz>
22 PR rtl-optimization/31396
23 * regstat.c (regstat_bb_compute_ri): Compute FREQ_CALLS_CROSSED.
24 * cfg.c (dump_reg_info): Print it.
25 * regs.h (struct reg_info_t): add freq_calls_crossed.
26 (REG_FREQ_CALLS_CROSSED): New macro.
27 * global.c (global_alloc): Compute freq_calls_crossed for allocno.
28 (find_reg): Update call of CALLER_SAVE_PROFITABLE.
29 * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2,
30 regmove_optimize): Update call crossed frequencies.
31 * local-alloc.c (struct qty): Add freq_calls_crossed.
32 (alloc_qty): Copute freq_calls_crossed.
33 (update_equiv_regs, combine_regs): Update REG_FREQ_CALLS_CROSSED.
34 (find_free_reg): Update call of CALLER_SAVE_PROFITABLE.
35 * ra.h (struct allocno): Add freq_calls_crossed.
37 2008-01-16 Sebastian Pop <sebastian.pop@amd.com>
39 * gcc.c (LINK_COMMAND_SPEC): Add includes and link options for
40 libgomp when compiling with ftree-parallelize-loops.
41 (GOMP_SELF_SPECS): Add -pthread for ftree-parallelize-loops.
43 2008-01-16 Richard Guenther <rguenther@suse.de>
45 PR tree-optimization/34769
46 * tree-data-ref.c (initialize_matrix_A): Revert fix for PR34458.
47 * tree.c (int_cst_value): Instead make this function more
48 permissive in what it accepts as valid input. Document this
49 function always sign-extends the value.
51 2008-01-16 Jakub Jelinek <jakub@redhat.com>
52 Richard Guenther <rguenther@suse.de>
55 * gimplify.c (fold_indirect_ref_rhs): Rename to ...
56 (gimple_fold_indirect_ref_rhs): ... this.
57 (gimple_fold_indirect_ref): New function with foldings
58 that preserve lvalueness.
59 (gimplify_modify_expr_rhs): Call gimple_fold_indirect_ref_rhs.
60 * tree-flow.h (gimple_fold_indirect_ref): Declare.
61 * tree-inline.c (copy_body_r): Use gimple_fold_indirect_ref
62 to fold an INDIRECT_REF, fall back to the old use of
65 2008-01-16 Sebastian Pop <sebastian.pop@amd.com>
67 * tree-data-ref.c (subscript_dependence_tester_1): Call
68 free_conflict_function.
69 (compute_self_dependence): Same.
71 2008-01-16 Uros Bizjak <ubizjak@gmail.com>
74 * debug.h (dwarf2out_switch_text_section): Move declaration from ...
75 * dwarf2out.c (dwarf2out_switch_text_section): ... here. Make
77 * final.c (final_scan_insn) [NOTE_INSN_SWITCH_TEXT_SECTIONS]:
78 Depending on dwarf2out_do_frame, call dwarf2out_switch_text_section
79 for DWARF2_UNWIND_INFO targets.
81 2008-01-16 Richard Guenther <rguenther@suse.de>
84 * c-typeck.c (common_pointer_type): Do not merge inconsistent
85 type qualifiers for function types.
87 2008-01-15 Jerry DeLisle <jvdelisle@gcc.gnu.org>
89 * tree-parloops.c (gen_parallel_loop): Fix ommision of declaration for
90 loop_iterator li from previous commit.
92 2008-01-15 Sebastian Pop <sebastian.pop@amd.com>
94 * tree-parloops.c (gen_parallel_loop): Free loop bound estimations.
96 2008-01-12 Sebastian Pop <sebastian.pop@amd.com>
98 * tree-parloops.c (loop_has_blocks_with_irreducible_flag): New.
99 (parallelize_loops): Don't parallelize irreducible components.
101 2008-01-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
104 * c-opts (c_common_post_options): Do not enable CPP
105 flag_pedantic_errors by default.
107 2008-01-14 Eric Botcazou <ebotcazou@adacore.com>
109 PR rtl-optimization/31944
110 * cse.c (remove_pseudo_from_table): New function.
111 (merge_equiv_classes): Use above function to remove pseudo-registers.
112 (invalidate): Likewise.
114 2008-01-13 Richard Guenther <rguenther@suse.de>
117 * emit-rtl.c (set_reg_attrs_for_decl_rtl): Use DECL_MODE
118 instead of TYPE_MODE to deal with calls from expand_one_error_var.
120 2008-01-13 Uros Bizjak <ubizjak@gmail.com>
122 * gcse.c (cprop_jump): Call validate_unshare_change instead of
123 validate_change to unshare the source of the PC set.
125 2008-01-12 Jan Hubicka <jh@suse.cz>
128 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct
129 references above array bounds. This might trigger bounds checks for
132 2008-01-12 Sebastian Pop <sebastian.pop@amd.com>
134 * tree-ssa-ter.c (free_temp_expr_table): Free num_in_part and
135 new_replaceable_dependencies.
137 2008-01-12 Doug Kwan <dougkwan@google.com>
139 * c-decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
140 instead of OPT_Wreturn_type in warning due to ignored return type
142 * c-opt.c (c_common_post_option): Add -Wignored-qualifiers to
143 options included in -Wextra.
144 * c.opt: New option -Wignored_qualifiers.
145 * doc/invoke.texi (Warning Options, -Wextra): Add new option
147 (-Wignored-qualifiers): Document.
148 (-Wreturn-type): Remove description of functionality now handled
149 by -Wignored-qualifiers.
151 2008-01-12 Eric Botcazou <ebotcazou@adacore.com>
154 * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing
155 NOP_EXPR if it is between integral types with the same precision.
157 2008-01-12 Jan Hubicka <jh@suse.cz>
160 * invoke.texi (max-inline-recursive-depth): Fix default value.
162 2008-01-12 Zdenek Dvorak <ook@ucw.cz>
164 * tree-parloops.c (transform_to_exit_first_loop): Cast nit to the
167 2008-01-11 Bob Wilson <bob.wilson@acm.org>
169 * config/xtensa/xtensa.c (override_options): Set flag_shlib.
171 2008-01-11 James E. Wilson <wilson@specifix.com>
174 * config/vax/elf.h (FRAME_POINTER_CFA_OFFSET): Define.
176 2008-01-11 Anatoly Sokolov <aesok@post.ru>
178 * config/avr/avr.c (expand_prologue, expand_epilogue): Don't
179 save/restore frame pointer register and don't use 'call-prologues'
180 optimization in function with "OS_task" attribute.
182 2008-01-11 Eric Botcazou <ebotcazou@adacore.com>
185 * expr.c (copy_blkmode_from_reg): Use a mode suited to the size
186 when copying to memory.
188 2008-01-11 Steven Bosscher <stevenb.gcc@gmail.com>
190 PR rtl-optimization/30905
191 * cfgcleanup.c: Include dce.h
192 (crossjumps_occured): New global variable.
193 (try_crossjump_bb): Exit loop after finding a fallthru edge.
194 If something changed, set crossjumps_occured to true.
195 (try_optimize_cfg): Clear crossjumps_occured at the beginning.
196 Don't add/remove fake edges to exit here...
197 (cleanup_cfg): ...but do it here, when crossjumping.
198 Run a fast DCE when successful crossjumps occured in the latest
199 iteration of try_optimize_cfg.
201 2008-01-11 Richard Guenther <rguenther@suse.de>
203 * tree-ssa-sccvn.c (struct vn_binary_op_s): Move hashcode near opcode.
204 (struct vn_unary_op_s): Likewise.
205 (vn_reference_insert): Free old reference on hash collision.
207 2008-01-10 Raksit Ashok <raksit@google.com>
209 PR rtl-optimization/27971
210 * combine.c (find_split_point): Split PLUS expressions which are
211 inside a MEM rtx, and whose first operand is complex.
213 2008-01-10 DJ Delorie <dj@redhat.com>
215 * config/m32c/m32c.c (m32c_hard_regno_nregs_1): Renamed from...
216 (m32c_hard_regno_nregs): ...this, which is now a wrapper.
217 (m32c_hard_regno_ok): Call the underlying function.
219 2008-01-10 Richard Guenther <rguenther@suse.de>
222 * tree-cfg.c (tree_merge_blocks): Do not go through the
223 full-blown folding and stmt updating path if we just deal
224 with virtual operands.
225 * tree-ssa-copy.c (may_propagate_copy): Do not short-cut
226 test for abnormal SSA_NAMEs.
228 2008-01-10 Andreas Krebbel <krebbel1@de.ibm.com>
231 * reload.c (push_reload): Add assertions. All constants from
232 reg_equiv_constant should have been used for replacing the respective
234 (find_reloads_address): Invoke find_reloads_address_part for
235 constant taken from the reg_equiv_constant array.
237 2008-01-10 Steven Bosscher <stevenb.gcc@gmail.com>
239 * tree-ssa-sccvn.h (struct vn_ssa_aux): Make the most accessed
240 field (valnum) the first in the struct. Replace bools with
243 2008-01-10 Richard Guenther <rguenther@suse.de>
245 PR tree-optimization/34651
246 * tree-sra.c (sra_build_assignment): Sanitize. Use the correct
247 types and ordering for masking and converting.
249 2008-01-09 Sebastian Pop <sebastian.pop@amd.com>
251 PR tree-optimization/34017
252 * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Generate code
253 also for PHI_NODE expressions.
255 2008-01-09 Jan Hubicka <jh@suse.cz>
257 PR tree-optimization/34708
258 * tree-inline.c (estimate_num_insns_1): Compute cost of SWITCH_EXPR
259 based on number of case labels.
260 (init_inline_once): Remove switch_cost.
261 * tree-inline.h (eni_weights_d): Remove switch_cost.
263 2008-01-09 Richard Guenther <rguenther@suse.de>
264 Andrew Pinski <andrew_pinski@playstation.sony.com>
267 * gimplify.c (gimplify_cond_expr): Do not create an addressable
268 temporary if an rvalue is ok or an lvalue is not required.
270 2008-01-09 Richard Guenther <rguenther@suse.de>
273 * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
276 2008-01-09 Richard Guenther <rguenther@suse.de>
279 * tree.c (host_integerp): Check for sizetype only if the
280 type is an integer type.
282 2008-01-09 Steven Bosscher <stevenb.gcc@gmail.com>
285 * opts.c (decode_options): Disable inlining of functions called
286 once if not in unit-at-a-time mode.
288 2008-01-09 Alexandre Oliva <aoliva@redhat.com>
290 * Makefile.in (dse.o): Remove duplicate $(RECOG_H) dependency.
292 2008-01-08 Richard Guenther <rguenther@suse.de>
295 * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail
296 out early if the result will be unused.
298 2008-01-08 Uros Bizjak <ubizjak@gmail.com>
303 2008-01-05 Uros Bizjak <ubizjak@gmail.com>
304 * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
307 2008-01-08 Jan Sjodin <jan.sjodin@amd.com>
309 * config/i386/i386.c (k8_cost, amdfam10_cost): Branch costs
310 for vectorization tuned.
312 2008-01-08 Richard Guenther <rguenther@suse.de>
314 PR tree-optimization/34683
315 * tree-ssa-operands.c (operand_build_cmp): Export.
316 * tree-ssa-operands.h (operand_build_cmp): Declare.
317 * tree-vn.c (vuses_compare): Remove.
318 (sort_vuses): Use operand_build_cmp.
319 (sort_vuses_heap): Likewise.
320 * tree-ssa-sccvn.c (vuses_to_vec): Use VEC_reserve, not VEC_alloc
321 to re-use old VEC if available. Do not sort already sorted VUSEs.
322 (vdefs_to_vec): Do not sort already sorted VDEFs.
324 2008-01-08 Jakub Jelinek <jakub@redhat.com>
327 * omp-low.c (copy_var_decl): Copy also DECL_SOURCE_LOCATION.
329 2008-01-08 Uros Bizjak <ubizjak@gmail.com>
332 * doc/invoke.texi (i386 and x86-64 Options) [mrecip]: Document
333 limitations of reciprocal sequences on x86 targets.
335 2008-01-08 Richard Guenther <rguenther@suse.de>
337 PR tree-optimization/34683
338 * tree-flow-inline.h (var_ann): Remove overzealous asserts.
340 2008-01-07 Jakub Jelinek <jakub@redhat.com>
343 * config/darwin.c (darwin_mergeable_string_section): Don't use
344 .cstring if int_size_in_bytes != TREE_STRING_LENGTH.
346 2008-01-07 Uros Bizjak <ubizjak@gmail.com>
349 * config/i386/i386.md (neg<mode>2): Rename from negsf2, negdf2 and
350 negxf2. Macroize expander using X87MODEF mode iterator. Change
351 predicates of op0 and op1 to register_operand.
352 (abs<mode>2): Rename from abssf2, absdf2 and negxf2. Macroize
353 expander using X87MODEF mode iterator. Change predicates of
354 op0 and op1 to register_operand.
355 ("*absneg<mode>2_mixed", "*absneg<mode>2_sse"): Rename from
356 corresponding patterns and macroize using MODEF macro. Change
357 predicates of op0 and op1 to register_operand and remove
358 "m" constraint. Disparage "r" alternative with "!".
359 ("*absneg<mode>2_i387"): Rename from corresponding patterns and
360 macroize using X87MODEF macro. Change predicates of op0 and op1
361 to register_operand and remove "m" constraint. Disparage "r"
362 alternative with "!".
363 (absneg splitter with memory operands): Remove.
364 ("*neg<mode>2_1", "*abs<mode>2_1"): Rename from corresponding
365 patterns and macroize using X87MODEF mode iterator.
366 * config/i386/sse.md (negv4sf2, absv4sf2, neg2vdf2, absv2df2):
367 Change predicate of op1 to register_operand.
368 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Remove support
371 2008-01-07 Nathan Froyd <froydnj@codesourcery.com>
373 * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add clause for mcpu=8548.
375 2008-01-07 Richard Guenther <rguenther@suse.de>
377 * basic-block.h (struct edge_def): Pair dest_idx with goto_locus
380 2008-01-07 Richard Guenther <rguenther@suse.de>
382 PR tree-optimization/34683
383 * tree-ssa-sccvn.c (vuses_to_vec): Pre-allocate the vector of
384 VOPs of the needed size to save memory. Use VEC_quick_push
385 to save compile-time.
386 (vdefs_to_vec): Likewise.
388 2008-01-07 Sa Liu <saliu@de.ibm.com>
390 * config/spu/spu.md (divdf3): Genetate inline code for double
391 division. The implementation doesn't handle INF or NAN, therefore it
392 only applies when -ffinite-math-only is given.
394 2008-01-06 Paolo Carlini <pcarlini@suse.de>
397 * c-cppbuiltin.c (c_cpp_builtins): Define __GXX_RTTI, if appropriate.
398 * doc/cpp.texi ([Common Predefined Macros]): Document.
400 2008-01-06 Uros Bizjak <ubizjak@gmail.com>
402 * config/i386/i386.c (ix86_emit_swsqrtsf): Use negative constants in
403 order to use commutative addition instead of subtraction.
405 2008-01-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
406 Mircea Namolaru <namolaru@il.ibm.com>
407 Vladimir Yanovsky <yanov@il.ibm.com>
408 Revital Eres <eres@il.ibm.com>
410 PR tree-optimization/34263
411 * tree-outof-ssa.c (process_single_block_loop_latch,
412 contains_tree_r): New functions.
413 (analyze_edges_for_bb): Call process_single_block_loop_latch
414 function to empty single-basic-block latch block if possible.
416 2008-01-05 Uros Bizjak <ubizjak@gmail.com>
418 * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
420 (ix86_emit_swsqrtsf): Do not filter out infinity for rsqrt expansion.
422 2008-01-05 Richard Sandiford <rsandifo@nildram.co.uk>
424 * c-omp.c (check_omp_for_incr_expr): Handle CONVERT_EXPR.
426 2008-01-05 Richard Sandiford <rsandifo@nildram.co.uk>
428 * config/mips/mips.c (mips_in_small_data_p): Reinstate size > 0 check.
430 2008-01-05 Jakub Jelinek <jakub@redhat.com>
432 PR tree-optimization/34618
433 * tree-outof-ssa.c (create_temp): Copy over DECL_GIMPLE_REG_P
436 2008-01-05 Uros Bizjak <ubizjak@gmail.com>
439 * config/i386/i386.c (ix86_emit_swsqrtsf): Swap input operands
440 in the call to gen_rtx_NE. Remove unneeded VECTOR_MODE_P check.
441 Update copyright year.
443 * config/i386/i386.md (rsqrtsf2): Enable for TARGET_SSE_MATH.
444 Update copyright year.
445 * config/i386/sse.md (rsqrtv4sf2): Ditto. Unconditionally expand
448 2008-01-05 Zhouyi Zhou <zhouzhouyi@FreeBSD.org>
450 * tree-vrp.c (find_conditional_asserts): Remove redundant check that
451 edge does not point to current bb before changing need_assert.
453 2008-01-04 Richard Guenther <rguenther@suse.de>
456 * tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs
457 for verifying purposes if they are is_gimple_min_invariant.
459 2008-01-04 Aldy Hernandez <aldyh@redhat.com>
461 PR tree-optimization/34448
462 PR tree-optimization/34465
463 * gimplify.c (gimplify_init_constructor): Add new parameter
464 notify_temp_creation. Use it.
465 (gimplify_modify_expr_rhs): Take volatiles into account when
466 optimizing constructors.
467 Do not optimize constructors if gimplify_init_constructor will dump to
469 * gcc.dg/tree-ssa/pr32901.c: Tests const volatiles.
470 * gcc.c-torture/compile/pr34448.c: New.
472 2008-01-04 Jakub Jelinek <jakub@redhat.com>
474 PR gcov-profile/34609
475 * tree-inline.c (declare_return_variable): Set TREE_ADDRESSABLE on
476 return_slot if result is TREE_ADDRESSABLE.
478 2008-01-04 Richard Sandiford <rsandifo@nildram.co.uk>
480 * config/mips/mips.md (sqrt_condition): Tweak comment.
481 (recip_condition): Likewise. Require TARGET_FLOAT64 for DFmode.
483 2008-01-03 Tom Tromey <tromey@redhat.com>
486 * c-common.c (c_type_hash): Handle VLAs.
488 2008-01-03 Jan Hubicka <jh@suse.cz>
490 PR tree-optimization/31081
491 * tree-inline.c (remap_ssa_name): Initialize uninitialized SSA vars to
492 0 when inlining and not inlining to first basic block.
493 (remap_decl): When var is initialized to 0, don't set default_def.
494 (expand_call_inline): Set entry_bb.
495 * tree-inline.h (copy_body_data): Add entry_bb.
497 2008-01-03 Jakub Jelinek <jakub@redhat.com>
500 * cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL
503 PR tree-optimization/29484
504 * tree-inline.c (inline_forbidden_p_2): New function.
505 (inline_forbidden_p): Disallow inlining if some static var
506 has an address of a local LABEL_DECL in its initializer.
507 * doc/extend.texi (Labels as Values): Document &&foo behaviour
510 2008-01-03 Sebastian Pop <sebastian.pop@amd.com>
512 PR tree-optimization/34635
513 * tree-data-ref.c (add_other_self_distances): Make sure that the
514 evolution step is constant.
516 2008-01-03 Jakub Jelinek <jakub@redhat.com>
519 * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn.
521 2008-01-02 Richard Sandiford <rsandifo@nildram.co.uk>
523 * tree-sra.c (scalarize_init): Insert the generate_element_init
524 statements after the generate_element_zero statements.
526 2008-01-02 Richard Guenther <rguenther@suse.de>
530 * tree-ssa-operands.c (ssa_operand_alloc): Also allocate a buffer
531 for very large number of operands instead of ICEing.
533 2008-01-02 Arthur Norman <acn1@cam.ac.uk>
536 * gcc/config/i386/i386.c (ix86_expand_prologue): Save red-zone
539 2008-01-01 Douglas Gregor <doug.gregor@gmail.com>
541 * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when
544 2008-01-01 Volker Reichelt <v.reichelt@netcologne.de>
547 * tree-mudflap.c (mx_register_decls): Guard warning by
548 !DECL_ARTIFICIAL check.
550 2008-01-01 Jakub Jelinek <jakub@redhat.com>
552 * config/i386/sse.md (sse5_pperm, sse5_pperm_pack_v2di_v4si,
553 sse5_pperm_pack_v4si_v8hi, sse5_pperm_pack_v8hi_v16qi,
554 sse5_perm<mode>): Fix constraints.