1 2010-04-16 Jeff Law <law@redhat.com>
3 * ira-color.c (ira_reassign_pseudos): Collect and sort all the pseudos
4 needing assignment rather than doing a two-phase assignment. Remove
7 2010-04-16 Jakub Jelinek <jakub@redhat.com>
10 * alias.c (memrefs_conflict_p): Don't crash if CSELIB_VAL_PTR is NULL.
12 2010-04-16 Doug Kwan <dougkwan@google.com>
14 * tree-ssa-reassoc.c (struct operand_entry): Add new field ID.
15 (next_operand_entry_id): New static variable.
16 (sort_by_operand_rank): Stabilize qsort comparator by using unique IDs.
17 (add_to_ops_vec): Assigned unique ID to operand entry.
18 (struct oecount_s): New field ID.
19 (oecount_cmp): Stabilize qsort comparotor by using unique IDs.
20 (undistribute_ops_list): Assign unique IDs to oecounts.
21 (init_reassoc): reset next_operand_entry_id.
23 2010-04-16 Doug Kwan <dougkwan@google.com>
25 * config/i386/i386.md (*jcc_bt<mode>): Fix build breakage by adding
26 missing left parenthesis.
28 2010-04-16 Uros Bizjak <ubizjak@gmail.com>
30 * config/i386/i386.md (*bt<mode>): Macroize insn from *btsi and
31 *btdi_rex64 using SWI48 mode iterator.
32 (*jcc_bt<mode>): Ditto from *jcc_btsi and *jcc_btdi_rex64.
33 (*jcc_bt<mode>_mask): Ditto from *jcc_btsi_mask and
36 2010-04-16 Anatoly Sokolov <aesok@post.ru>
38 * double-int.h (tree_to_double_int): Convert to macro.
39 * double-int.c (tree_to_double_int): Remove.
41 2010-04-16 Jakub Jelinek <jakub@redhat.com>
44 * dwarf2out.c (add_bound_info): Always call loc_list_from_tree
45 with want_address 2 and in case a single element list might be
46 possible, call it again with want_address 0.
48 2010-04-12 Kaushik Phatak <kaushik.phatak@kpitcummins.com>
50 * config/h8300/h8300.c (print_operand) : Modify case 'V' and
51 case 'W' print operands for HI mode.
52 * config/h8300/h8300.h (Y0, Y2) : New constraints.
53 * config/h8300/h8300.md (bclrqi_msx, bclrhi_msx): New patterns
54 (bsetqi_msx, bsethi_msx, bnotqi_msx, bnothi_msx): Likewise.
55 * config/h8300/predicate.md (bit_register_indirect_operand): New.
57 * config/h8300/h8300.h (OK_FOR_U): Support 'U' constraint for H8300SX.
59 * config/h8300/h8300.md (movqi_h8sx, movhi_h8sx, movsi_h8sx,
60 cmphi_h8300hs_znvc, cmpsi, addhi3_h8sx) : Emit instructions in
63 * config/h8300/h8300.md (inverted load with HImode dest): Add
66 * config/h8300/predicate.md (bit_operand): Allow immediate values that
67 satisfy 'U' constraint.
69 2010-04-16 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
71 * configure.ac: Check for elf_getshdrstrndx or elf_getshstrndx
73 * configure: Regenerate.
74 * config.in: Regenerate.
75 * doc/install.texi (Prerequisites): Document that Solaris 2 libelf
78 2010-04-16 Richard Guenther <rguenther@suse.de>
80 * tree.h (struct tree_decl_minimal): Move pt_uid ...
81 (struct tree_decl_common): ... here.
82 (DECL_PT_UID): Adjust.
83 (SET_DECL_PT_UID): Likewise.
84 (DECL_PT_UID_SET_P): Likewise.
86 2010-04-16 Richard Guenther <rguenther@suse.de>
88 PR tree-optimization/43572
89 * tree-ssa-alias.h (call_may_clobber_ref_p): Declare.
90 * tree-ssa-alias.c (call_may_clobber_ref_p): Export.
91 * tree-flow.h (is_call_clobbered): Remove.
92 * tree-flow-inline.h (is_call_clobbered): Likewise.
93 * tree-dfa.c (dump_variable): Do not dump call clobber state.
94 * tree-nrv.c (dest_safe_for_nrv_p): Use the alias oracle.
95 (execute_return_slot_opt): Adjust.
96 * tree-tailcall.c (suitable_for_tail_opt_p): Remove
97 check for call clobbered vars here.
98 (find_tail_calls): Move tailcall verification to the
101 2010-04-16 Diego Novillo <dnovillo@google.com>
103 * doc/invoke.texi: Explain how are unrecognized -Wno- warnings
106 2010-04-16 Bernd Schmidt <bernds@codesourcery.com>
109 * config/arm/arm.md (cbranchqi4): New pattern.
110 * config/arm/predicates.md (const0_operand,
111 cbranchqi4_comparison_operator): New predicates.
113 2010-04-16 Richard Guenther <rguenther@suse.de>
115 * gimple-pretty-print.c (dump_gimple_phi): Dump alias info.
116 (dump_gimple_stmt): Likewise.
118 2010-04-16 Bernd Schmidt <bernds@codesourcery.com>
120 * recog.h (struct recog_data): New field is_operator.
121 (struct insn_operand_data): New field is_operator.
122 * recog.c (extract_insn): Set recog_data.is_operator.
123 * genoutput.c (output_operand_data): Emit code to set the
125 * reload.c (find_reloads): Use it rather than testing for an
126 empty constraint string.
129 * config/arm/arm.md (cbranchsi4_insn): Renamed from "*cbranchsi4_insn".
130 If the previous insn is a cbranchsi4_insn with the same arguments,
131 omit the compare instruction.
133 * config/arm/arm.md (addsi3_cbranch): If destination is a high
134 register, inputs must be low registers and we need a low register
135 scratch. Handle alternative 2 like alternative 3.
137 2010-04-16 Jakub Jelinek <jakub@redhat.com>
139 * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
140 don't call get_addr on both. If one expression is a VALUE and
141 the other a REG, check VALUE's locs if the REG isn't among them.
143 2010-04-16 Christian Bruel <christian.bruel@st.com>
145 * config/sh/sh.h (sh_frame_pointer_required): New function.
146 * config/sh/sh.h (TARGET_FRAME_POINTER_REQUIRED): New macro.
147 (flag_omit_frame_pointer) Set.
148 (MASK_ACCUMULATE_OUTGOING_ARGS) Define and Set.
149 (rounded_frame_size): Adjust size with outgoing_args_size.
150 (sh_set_return_address): Must return from stack pointer.
151 * gcc/config/sh/sh.h (CAN_DEBUG_WITHOUT_FP): Define.
152 (SUBTARGET_FRAME_POINTER_REQUIRED): Define.
153 (ACCUMULATE_OUTGOING_ARGS): Define.
154 * doc/invoke.texi (maccumulate-outgoing-args): Document for SH.
155 * gcc/config/sh/sh.opt: (maccumulate-outgoing-args): New option.
157 2010-04-15 Kaz Kojima <kkojima@gcc.gnu.org>
160 * config/sh/sh.c (sh_legitimize_reload_address): Use
161 MAYBE_BASE_REGISTER_RTX_P instead of BASE_REGISTER_RTX_P.
162 Remove a unneeded check for offset_base.
164 2010-04-15 H.J. Lu <hongjiu.lu@intel.com>
166 * configure: Regenerated.
168 2010-04-15 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
170 * config/s390/s390.c (s390_call_save_register_used): Switch back
173 2010-04-15 Richard Guenther <rguenther@suse.de>
175 * alias.c (alias_set_subset_of): Handle alias-set zero
178 2010-04-15 Mark Shinwell <shinwell@codesourcery.com>
179 Julian Brown <julian@codesourcery.com>
181 * config/arm/thumb2.md (thumb2_movsi_insn): Split ldr and str
182 alternatives according to use of high and low regs.
183 * config/arm/vfp.md (thumb2_movsi_vfp): Likewise.
184 * config/arm/arm.h (CONDITIONAL_REGISTER_USAGE): Use high regs when
185 optimizing for size on Thumb-2.
187 2010-04-15 Thomas Schwinge <tschwinge@gnu.org>
189 * config.gcc <i[34567]86-*-gnu*>: Handle softfp as for Linux.
191 2010-04-15 Richard Guenther <rguenther@suse.de>
193 * tree-ssa-structalias.c (struct variable_info): Add
195 (new_var_info): Initialize it.
196 (dump_constraints): Support printing last added constraints.
197 (debug_constraints): Adjust.
198 (dump_constraint_graph): Likewise.
199 (make_heapvar_for): Check for NULL cfun.
200 (get_function_part_constraint): New function.
201 (get_fi_for_callee): Likewise.
202 (find_func_aliases): Properly implement IPA PTA constraints.
203 (process_ipa_clobber): New function.
204 (find_func_clobbers): Likewise.
205 (insert_into_field_list_sorted): Remove.
206 (create_function_info_for): Properly allocate vars for IPA mode.
207 Do not use insert_into_field_list_sorted.
208 (create_variable_info_for): Properly generate constraints for
209 global vars in IPA mode.
210 (dump_solution_for_var): Always dump the solution.
211 (set_uids_in_ptset): Initialize DECL_PT_UID if in ipa-mode.
212 (find_what_var_points_to): Adjust.
213 (pt_solution_set): Change.
214 (pt_solution_ior_into): New function.
215 (pt_solution_empty_p): Export.
216 (pt_solution_includes_global): Adjust.
217 (pt_solution_includes_1): Likewise.
218 (pt_solutions_intersect_1): Likewise.
219 (dump_sa_points_to_info): Check some invariants.
220 (solve_constraints): Move constraint dumping ...
221 (compute_points_to_sets): ... here.
222 (ipa_pta_execute): ... and here.
223 (compute_may_aliases): Do not re-compute points-to info
224 locally if IPA info is available.
225 (ipa_escaped_pt): New global var.
226 (ipa_pta_execute): Properly implement IPA PTA.
227 * tree-into-ssa.c (dump_decl_set): Support dumping
228 decls not in referenced-vars.
229 * tree-flow.h (struct gimple_df): Add ipa_pta flag.
230 * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Adjust.
231 (dump_points_to_solution): Likewise.
232 * tree-dfa.c (dump_variable): Also dump DECL_PT_UID.
233 * tree-inline.c (remap_ssa_name): Copy IPA points-to solution.
234 (remap_gimple_stmt): Reset call clobber/use information if
236 (copy_decl_to_var): Copy DECL_PT_UID.
237 (copy_result_decl_to_var): Likewise.
238 * tree.c (make_node_stat): Initialize DECL_PT_UID.
239 (copy_node_stat): Copy it.
240 * tree.h (DECL_PT_UID): New macro.
241 (SET_DECL_PT_UID): Likewise.
242 (DECL_PT_UID_SET_P): Likewise.
243 (struct tree_decl_minimal): Add pt_uid member.
244 * tree-ssa-alias.h (struct pt_solution): Add ipa_escaped flag.
245 (pt_solution_empty_p): Declare.
246 (pt_solution_set): Adjust.
247 (ipa_escaped_pt): Declare.
248 * cfgexpand.c (update_alias_info_with_stack_vars): Adjust.
249 * gimple-pretty-print.c (pp_points_to_solution): New function.
250 (dump_gimple_call): Dump call clobber/use information.
251 * tree-dump.c (dump_option_value_in): Add TDF_ALIAS entry.
252 * tree-pass.h (TDF_ALIAS): New dump option.
253 * tree-pretty-print.c (dump_decl_name): Dump DECL_PT_UID if asked to.
254 * doc/invoke.texi (-fipa-pta): Update documentation.
256 2010-04-15 Richard Guenther <rguenther@suse.de>
258 * Makefile.in (OBJS-common): Add gimple-fold.o.
259 (gimple-fold.o): New rule.
260 * tree.h (maybe_fold_offset_to_reference,
261 maybe_fold_offset_to_address, maybe_fold_stmt_addition): Move
263 * gimple.h: ... here.
264 * tree-flow.h (fold_stmt, fold_stmt_inplace, get_symbol_constant_value,
265 may_propagate_address_into_dereference): Move prototypes ...
266 * gimple.h: ... here.
267 * tree-ssa-ccp.c (get_symbol_constant_value,
268 may_propagate_address_into_dereference, maybe_fold_offset_to_array_ref,
269 maybe_fold_offset_to_component_ref, maybe_fold_offset_to_reference,
270 maybe_fold_offset_to_address, maybe_fold_stmt_indirect,
271 maybe_fold_stmt_addition, maybe_fold_reference, get_maxval_strlen,
272 ccp_fold_builtin, fold_gimple_assign, fold_gimple_cond,
273 fold_gimple_call, fold_stmt_1, fold_stmt, fold_stmt_inplace,
274 gimplify_and_update_call_from_tree): Move ...
275 * gimple-fold.c: ... here. New file.
276 (ccp_fold_builtin): Rename to ...
277 (gimple_fold_builtin): ... this.
278 * tree-ssa-ccp.c (execute_fold_all_builtins): Adjust.
280 2010-04-15 Richard Guenther <rguenther@suse.de>
282 * fold-const.c (LOWPART, HIGHPART, BASE, encode, decode,
283 fit_double_type, force_fit_type_double, add_double_with_sign,
284 neg_double, mul_double_with_sign, lshift_double, rshift_double,
285 lrotate_double, rrotate_double, div_and_round_double): Move ...
286 * double-int.c: ... here.
287 * tree.h (force_fit_type_double, fit_double_type, add_double_with_sign,
288 add_double, neg_double, mul_double_with_sign, mul_double,
289 lshift_double, rshift_double, lrotate_double, rrotate_double,
290 div_and_round_double): Move prototypes ...
291 * double-int.h: ... here.
293 2010-04-15 Bernd Schmidt <bernds@codesourcery.com>
296 * config/sh/sh.md (doloop_end_split, dect): Undo previous patch. Use
297 matching constraints to ensure inputs match the output.
299 2010-04-15 Kaz Kojima <kkojima@gcc.gnu.org>
302 * config/sh/sh.md (doloop_end_split): Remove "+r" constraint
303 in an input-only operand.
305 2010-04-15 Anatoly Sokolov <aesok@post.ru>
307 * double-int.h (HOST_BITS_PER_DOUBLE_INT): Define.
308 (double_int_not, double_int_lshift, double_int_rshift): Declare.
309 (double_int_negative_p): Convert to static inline function.
310 * double-int.c (double_int_lshift, double_int_lshift): Add new function.
311 (double_int_negative_p): Remove.
312 * tree.h (lshift_double, rshift_double):
313 * tree.c (build_low_bits_mask): Clean up, use double_int_* functions.
314 * fold-const.c (fold_convert_const_int_from_real,
315 fold_convert_const_int_from_fixed, div_if_zero_remainder): (Ditto.).
316 (lshift_double): Change type of arith argument to bool.
317 (rshift_double): Change type of arith argument to bool. Correct
319 * expmed.c (mask_rtx, lshift_value): (Ditto.).
321 2010-04-14 Bernd Schmidt <bernds@codesourcery.com>
324 * ifcvt.c (cond_exec_process_if_block): Look for identical sequences
325 at the start and end of the then/else blocks, and omit them from the
327 * cfgcleanup.c (flow_find_cross_jump): No longer static. Remove MODE
328 argument; all callers changed. Pass zero to old_insns_match_p instead.
329 (flow_find_head_matching_sequence): New function.
330 (old_insns_match_p): Check REG_EH_REGION notes for calls.
331 * basic-block.h (flow_find_cross_jump,
332 flow_find_head_matching_sequence): Declare functions.
334 2010-04-14 Jason Merrill <jason@redhat.com>
337 * c-common.c (attribute_takes_identifier_p): New fn.
338 * c-common.h: Declare it.
340 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
342 * config/i386/i386.md (*divmod<mode>4): Remove stray "&&" from
344 (*udivmod<mode>4): Ditto.
346 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
348 * config/i386/i386.md (maxmin_int): Rename code attribute from
349 maxminiprefix and update all users.
350 (maxmin_float): Ditto from maxminfprefix.
351 (logic): Ditto from logicprefix.
352 (absneg_mnemonic): Ditto from absnegprefix.
353 * config/i386/mmx.md: Update all users of maxminiprefix,
354 maxminfprefix and logicprefix for rename.
355 * config/i386/sse.md: Ditto.
356 * config/i386/sync.md (sync_<code><mode>): Update for
359 2010-04-14 Manuel López-Ibáñez <manu@gcc.gnu.org>
362 * diagnostics.c (diagnostic_report_diagnostic): Mark specially
363 warnings converted to errors.
365 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
367 * config/alpha/alpha.c (alpha_adjust_cost): Remove set but not
368 used insn_type variable.
369 (function_value): Add ATTRIBUTE_UNUSED to dummy variable declaration
370 to avoid set-but-not-used warning.
372 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
374 * df-core.c (df_ref_debug): Change format string placeholder
376 * dwarf2asm.c (dw2_asm_output_data_raw,
377 dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_uleb128,
378 dw2_asm_output_data_sleb128_raw, dw2_asm_output_data_sleb128): Ditto.
379 * dwarf2out.c (output_cfi, output_cfi_directive,
380 dwarf2out_do_cfi_startproc, output_loc_sequence_raw,
381 output_cfa_loc_raw, output_die, output_ranges, output_file_names):
383 * genattrtab.c (write_test_expr, write_attr_valueq): Ditto.
384 * print-rtl.c (print_rtx): Ditto.
386 2010-04-14 Michael Meissner <meissner@linux.vnet.ibm.com>
389 * builtins.c (expand_builtin_pow_root): New function to expand pow
390 calls with exponents 0.25, 0.50, 0.75, 1./3., and 1./6. into a
391 series of sqrt and cbrt calls under -ffast-math.
392 (expand_builtin_pow): Call it.
394 2010-04-14 Michael Matz <matz@suse.de>
396 PR tree-optimization/42963
397 * tree-cfg.c (touched_switch_bbs): New static variable.
398 (group_case_labels_stmt): New function broken out from ...
399 (group_case_labels): ... here, use the above.
400 (start_recording_case_labels): Allocate touched_switch_bbs.
401 (end_recording_case_labels): Deallocate it, call
402 group_case_labels_stmt.
403 (gimple_redirect_edge_and_branch): Remember index of affected BB.
405 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
407 * config/i386/i386.md (*popcountsi2_cmp_zext): Remove mode attribute
410 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
412 * config/i386/i386.md (*ashlqi3_1_slp): New insn pattern.
414 2010-04-13 Jan Hubicka <jh@suse.cz>
416 * ipa-inline.c (cgraph_mark_inline_edge): Avoid double accounting
417 of optimized out static functions.
418 (cgraph_edge_badness): Add DUMP parameter and dump reasons for the
419 cost computation. Also sanity check for overflows.
420 (update_caller_keys): Update cgraph_edge_badness call; properly
421 update fibheap and sanity check that it is up to date.
422 (add_new_edges_to_heap): Update cgraph_edge_badness.
423 (cgraph_decide_inlining_of_small_function): Likewise;
424 add sanity checking that badness in heap is up to date;
425 improve dumping of reason; Update badness of calls to the
426 offline copy of function currently inlined; dump badness
427 of functions not inlined because of unit growth limits.
429 2010-04-13 Eric Botcazou <ebotcazou@adacore.com>
432 * c-common.c (pointer_int_sum): Disregard overflow that occured only
433 because of sign-extension change when converting to sizetype here...
434 * fold-const.c (fold_convert_const_int_from_int): ...and not here.
436 * fold-const.c (fold_binary_op_with_conditional_arg): Do not restrict
437 the folding to constants. Remove redundant final conversion.
438 (fold_binary) <associate>: Do not associate if the re-association of
439 constants alone overflows.
440 (fold_binary) <FLOOR_MOD_EXPR>: Move transformation into BIT_AND_EXPR
441 to the end of the list.
442 (multiple_of_p) <COND_EXPR>: New case.
444 2010-04-13 Manuel López-Ibáñez <manu@gcc.gnu.org>
446 * opt-functions.awk (opt_sanitized_name): New.
448 * optc-gen.awk: Use it
449 * opth-gen.awk: Use it.
451 2010-04-13 Martin Jambor <mjambor@suse.cz>
453 * tree-sra.c (replace_uses_with_default_def_ssa_name): New function.
454 (sra_modify_assign): Delete stmts loading dead data even if racc has no
455 children. Call replace_uses_with_default_def_ssa_name to handle
458 2010-04-13 Michael Matz <matz@suse.de>
461 * builtins.c (expand_builtin_interclass_mathfn): Also create
462 a register if the predicate doesn't match.
464 2010-04-13 Diego Novillo <dnovillo@google.com>
466 * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h.
467 * c-pch.c: Include timevar.h.
468 (c_common_write_pch): Use TV_PCH_SAVE and TV_PCH_CPP_SAVE timers.
469 (c_common_read_pch): Use TV_PCH_RESTORE and TV_PCH_CPP_RESTORE timers.
470 * ggc-common.c: Include timevar.h.
471 (gt_pch_save): Use TV_PCH_PTR_REALLOC and TV_PCH_PTR_SORT timers.
472 * timevar.def (TV_PCH_SAVE): Define.
473 (TV_PCH_CPP_SAVE): Define.
474 (TV_PCH_PTR_REALLOC): Define.
475 (TV_PCH_PTR_SORT): Define.
476 (TV_PCH_RESTORE): Define.
477 (TV_PCH_CPP_RESTORE): Define.
479 2010-04-13 Michael Matz <matz@suse.de>
481 * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
483 (can_reassociate_p): New function.
484 (break_up_subtract_bb, reassociate_bb): Use it.
486 2010-04-13 Richard Guenther <rguenther@suse.de>
489 * builtins.c (c_readstr): Fix assert.
491 2010-04-13 Uros Bizjak <ubizjak@gmail.com>
493 * config/i386/i386.md (extendsidi2 splitter): Also check for DX_REG
494 when generating cltd insn.
496 (*ashl<mode>3_1): Remove special handling for register operand 2.
497 (*ashlsi3_1_zext): Ditto.
499 (*ashlhi3_1_lea): Ditto.
501 (*ashlqi3_1_lea): Ditto.
502 (*<shiftrt_insn><mode>3_1): Ditto.
503 (*<shiftrt_insn>si3_1_zext): Ditto.
504 (*<shiftrt_insn>qi3_1_slp): Ditto.
505 (*<rotate_insn><mode>3_1): Ditto.
506 (*<rotate_insn>si3_1_zext): Ditto.
507 (*<rotate_insn>qi3_1_slp): Ditto.
509 2010-04-13 Richard Guenther <rguenther@suse.de>
511 * tree-ssa-structalias.c (callused_id): Remove.
512 (call_stmt_vars): New.
513 (get_call_vi): Likewise.
514 (lookup_call_use_vi): Likewise.
515 (lookup_call_clobber_vi): Likewise.
516 (get_call_use_vi): Likewise.
517 (get_call_clobber_vi): Likewise.
518 (make_transitive_closure_constraints): Likewise.
519 (handle_const_call): Adjust to do per-call call-used handling.
520 (handle_pure_call): Likewise.
521 (find_what_var_points_to): Remove general callused handling.
522 (init_base_vars): Likewise.
523 (init_alias_vars): Initialize call_stmt_vars.
524 (compute_points_to_sets): Process call-used and call-clobbered
525 vars for call statements.
526 (delete_points_to_sets): Free call_stmt_vars.
528 2010-04-13 Richard Guenther <rguenther@suse.de>
530 * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
531 Only add RW dependence for dependence distance zero.
532 Adjust maximal vectorization factor according to dependences.
533 Move alignment handling ...
534 (vect_find_same_alignment_drs): ... here. New function.
535 (vect_analyze_data_ref_dependences): Adjust.
536 (vect_analyze_data_refs_alignment): Call vect_find_same_alignment_drs.
537 (vect_analyze_data_refs): Adjust minimal vectorization factor
538 according to data references.
539 * tree-vect-loop.c (vect_analyze_loop): Analyze data-ref
540 dependences before determining the vectorization factor.
541 Analyze alignment after determining the vectorization factor.
542 * tree-vect-slp.c ((vect_slp_analyze_bb): Analyze data-ref
543 dependences before alignment.
544 * tree-vectorizer.h (vect_analyze_data_ref_dependences):
546 (vect_analyze_data_refs): Likewise.
547 (MAX_VECTORIZATION_FACTOR): New define.
549 2010-04-13 Duncan Sands <baldrick@free.fr>
551 * except.h (lang_eh_type_covers): Remove.
552 * except.c (lang_eh_type_covers): Likewise.
554 2010-04-13 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
555 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
557 * gcc/config/s390/s390.md: Replace TARGET_64BIT with TARGET_ZARCH.
558 * gcc/config/s390/s390.c: Replace UNTIS_PER_WORD with
559 UNITS_PER_LONG where it is ABI relevant.
560 (s390_return_addr_rtx): Likewise.
561 (s390_back_chain_rtx): Likewise.
562 (s390_frame_area): Likewise.
563 (s390_frame_info): Likewise.
564 (s390_initial_elimination_offset): Likewise.
565 (save_gprs): Likewise.
566 (s390_emit_prologue): Likewise.
567 (s390_emit_epilogue): Likewise.
568 (s390_function_arg_advance): Likewise.
569 (s390_function_arg): Likewise.
570 (s390_va_start): Likewise.
571 (s390_gimplify_va_arg): Likewise.
572 (s390_function_profiler): Likewise.
573 (s390_optimize_prologue): Likewise.
574 (s390_rtx_costs): Likewise.
575 (s390_secondary_reload): Likewise.
576 (s390_promote_function_mode): Likewise.
577 (s390_hard_regno_mode_ok): Replace TARGET_64BIT with TARGET_ZARCH.
578 (s390_scalar_mode_supported_p): Disallow TImode if no 64 bit
580 (s390_unwind_word_mode): New function.
581 (s390_function_value): Split 64 bit values into register pair if
582 used as return value.
583 (s390_call_saved_register_used): Don't use HARD_REGNO_NREGS for
584 function call parameters. Handle parallels.
585 (TARGET_SCALAR_MODE_SUPPORTED_P): New macro.
586 (HARD_REGNO_CALL_PART_CLOBBERED): New macro.
587 (DWARF_CIE_DATA_ALIGNMENT): New macro.
588 (s390_expand_setmem): Remove unused variable src_addr.
589 * gcc/longlong.h: Make smul_ppmm and sdiv_qrnnd inline asms to
590 deal with 64 bit registers.
591 * gcc/config/s390/s390.h: Define __zarch__ predefined macro.
592 Replace UNITS_PER_WORD with UNITS_PER_LONG where it is ABI relevant.
593 (UNITS_PER_LONG): New macro.
594 * libjava/include/s390-signal.h: Define extended ucontext
595 structure containing the upper halfs of the 64 bit registers.
597 2010-04-13 Simon Baldwin <simonb@google.com>
599 * cfgexpand.c (gimple_expand_cfg): Clarify warning message text.
601 2010-04-13 Eric Botcazou <ebotcazou@adacore.com>
603 * gimple.c (walk_gimple_op) <GIMPLE_ASSIGN>: Do not request a pure
604 rvalue on the RHS if the LHS is of a non-renamable type.
605 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Fold result.
607 2010-04-13 Matthias Klose <doko@ubuntu.com>
609 * gcc.c (cc1_options): Handle -iplugindir before processing
610 the cc1 spec. Only add -iplugindir once.
611 (cpp_unique_options): Add -iplugindir option if -fplugin* options
613 * common.opt (iplugindir): Remove `Separate' property, initialize.
614 * plugin.c (default_plugin_dir_name): Error with missing -iplugindir
616 * Makefile.in (check-%, check-parallel-%): Create plugin dir.
617 (distclean): Remove plugin dir.
618 * doc/invoke.texi: Document -iplugindir.
620 2010-04-13 Basile Starynkevitch <basile@starynkevitch.net>
622 * doc/plugins.texi (Loading Plugins): Document short
624 (Plugin API): Mention default_plugin_dir_name function.
626 * gcc.c (find_file_spec_function): Add new declaration.
627 (static_spec_func): Use it for "find-file".
628 (find_file_spec_function): Add new function.
629 (cc1_options): Add -iplugindir option if -fplugin* options found.
631 * gcc-plugin.h (default_plugin_dir_name): Added new declaration.
633 * plugin.c (add_new_plugin): Updated comment, and handle short
635 (default_plugin_dir_name): Added new function.
637 * common.opt (iplugindir): New option to set the plugin directory.
639 2010-04-12 Uros Bizjak <ubizjak@gmail.com>
641 * config/i386/i386.md (any_rotate): New code iterator.
642 (rotate_insn): New code attribute.
644 (SWIM124): New mode iterator.
645 (<rotate_insn>ti3): New expander.
646 (<rotate_insn>di3): Macroize expander from {rotl,rotr}di3 using
647 any_rotate code iterator.
648 (<rotate_insn><mode>3) Macroize expander from {rotl,rotr}{qi,hi,si}3
649 using any_rotate code iterator and SWIM124 mode iterator.
650 (ix86_rotlti3): New insn_and_split pattern.
651 (ix86_rotrti3): Ditto.
652 (ix86_rotl<dwi>3_doubleword): Macroize insn_and_split pattern from
653 ix86_rotl{di,ti}3 patterns.
654 (ix86_rotr<dwi>3_doubleword): Ditto from ix86_rotr{di,ti}3 patterns.
655 (*<rotate_insn><mode>3_1): Merge with *{rotl,rotr}{qi,hi,si}3_1_one_bit
656 and *{rotl,rotr}di3_1_one_bit_rex64. Macroize insn from
657 *{rotl,rotr}{qi,hi,si}3_1 and *{rotl,rotr}di3_1_rex64 using any_rotate
658 code iterator and SWI mode iterator.
659 (*<rotate_insn>si3_1_zext): Merge with *{rotl,rotr}si3_1_one_bit_zext.
660 Macroize insn from {rotl,rotr}si3_1_zext using any_rotate
662 (*<rotate_insn>qi3_1_slp): Merge with *{rotl,rotr}qi3_1_one_bit_slp.
663 Macroize insn from {rotl,rotr}qi3_1_slp using any_rotate code iterator.
664 (bswap rotatert splitter): Add splitter.
665 (bswap splitter): Macroize splitter using any_rotate code iterator.
666 Add insn predicate to split only for TARGET_USE_XCHGB or when
667 optimizing function for size.
669 2010-04-12 Steve Ellcey <sje@cup.hp.com>
671 * config/pa/pa.c (emit_move_sequence): Remove use of
672 deleted variable flag_argument_noalias.
674 2010-04-12 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
676 * config.gcc: Removed *-*-solaris2.7* from list of obsolete
678 Add to unsupported targets list.
679 * configure.ac (gcc_cv_as_tls): Removed i[34567]86-*-solaris2.[567]*,
680 sparc*-sun-solaris2.[567]* from target lists.
681 * configure: Regenerate.
682 * doc/install.texi (Specific, *-*-solaris2*): Document Solaris 7
684 Remove Solaris 7 patch references.
685 (Specific, sparc-sun-solaris2.7): Removed.
686 (sparc-sun-solaris2*): Update Solaris 7 example.
687 (sparc64-*-solaris2*): Likewise.
689 2010-04-12 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
691 * config.build (alpha*-dec-osf4*): Remove.
692 * config.gcc: Remove alpha*-dec-osf4*, alpha-dec-osf5.0* from list
693 of obsolete configurations.
694 (alpha*-dec-osf[45]*): Remove alpha*-dec-osf4*, alpha-dec-osf5.0*
696 * config/alpha/t-osf4: Renamed to ...
697 * config/alpha/t-osf5: ... this.
698 * config/alpha/osf.h: Renamed to ...
699 * config/alpha/osf5.h: ... this.
700 Merged old osf5.h contents.
702 (ASM_SPEC): Use ASM_OLDAS_SPEC directly.
703 (EXTRA_SPECS): Removed.
704 * doc/install.texi (Specific, alpha*-dec-osf5.1): Renamed to
705 reflect removal of Tru64 UNIX V4.0/V5.0 support.
708 2010-04-12 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
710 * doc/contrib.texi (Contributors, Rainer Orth): Update.
712 2010-04-12 Kai Tietz <kai.tietz@onevision.com>
715 * config/i386/i386.c (x86_this_parameter): Handle aggregate for
716 __thiscall convention.
718 2010-04-12 Steve Ellcey <sje@cup.hp.com>
720 * config/pa/pa.c (hppa_legitimize_address): Remove unused variable
722 * config/pa/pa.md (call, call_value): Remove unused variable call_insn.
724 2010-04-12 Steve Ellcey <sje@cup.hp.com>
726 * function.c (assign_parms_initialize_all): Add unused attribute
729 2010-04-12 Richard Guenther <rguenther@suse.de>
731 * gsstruct.def (GSS_CALL): New.
732 * gimple.def (GIMPLE_CALL): Change to GSS_CALL.
733 * gimple.h: Include tree-ssa-alias.h.
734 (struct gimple_statement_call): New.
735 (union gimple_statement_struct_d): Add gimple_call member.
736 (gimple_call_reset_alias_info): Declare.
737 (gimple_call_use_set): New function.
738 (gimple_call_clobber_set): Likewise.
739 * Makefile.in (GIMPLE_H): Add tree-ssa-alias.h.
740 * gimple.c (gimple_call_reset_alias_info): New function.
741 (gimple_build_call_1): Call it.
742 * lto-streamer-in.c (input_gimple_stmt): Likewise.
743 * tree-inline.c (remap_gimple_stmt): Likewise.
744 (expand_call_inline): Remove callused handling.
745 * cfgexpand.c (update_alias_info_with_stack_vars): Likewise.
746 * tree-dfa.c (dump_variable): Likewise.
747 * tree-parloops.c (parallelize_loops): Likewise.
748 * tree-ssa.c (init_tree_ssa): Likewise.
749 (delete_tree_ssa): Likewise.
750 * tree-flow-inline.h (is_call_used): Remove.
751 * tree-flow.h (struct gimple_df): Remove callused member.
752 * tree-nrv.c (dest_safe_for_nrv_p): Adjust predicate.
753 * tree-ssa-alias.c (dump_alias_info): Remove callused handling.
754 (ref_maybe_used_by_call_p_1): Simplify.
755 (call_may_clobber_ref_p_1): Likewise.
756 * tree-ssa-structalias.c (compute_points_to_sets): Set
757 the call stmt used and clobbered sets.
758 * tree-tailcall.c (suitable_for_tail_opt_p): Adjust predicate.
759 (find_tail_calls): Verify the tail call.
761 2010-04-12 Richard Guenther <rguenther@suse.de>
763 * ipa.c (cgraph_postorder): Adjust postorder to guarantee
764 single-iteration always-inline inlining.
765 * ipa-inline.c (cgraph_mark_inline): Do not return anything.
766 (cgraph_decide_inlining): Do not handle always-inline specially.
767 (try_inline): Remove always-inline cycle detection special case.
768 Do not recurse on always-inlines.
769 (cgraph_early_inlining): Do not iterate if not optimizing.
770 (cgraph_gate_early_inlining): remove.
771 (pass_early_inline): Run unconditionally.
772 (gate_cgraph_decide_inlining): New function.
773 (pass_ipa_inline): Use it. Do not run the IPA inliner if
774 not inlining or optimizing.
775 (cgraph_decide_inlining_of_small_functions): Also consider
776 always-inline functions.
777 (cgraph_default_inline_p): Return true for nodes which should
778 disregard inline limits.
779 (estimate_function_body_sizes): Assume zero size and time for
780 nodes which are marked as disregarding inline limits.
781 (cgraph_decide_recursive_inlining): Do not perform recursive
782 inlining on always-inline nodes.
784 2010-04-12 Jakub Jelinek <jakub@redhat.com>
787 * c-typeck.c (c_process_expr_stmt): Call mark_exp_read even
788 for exprs satisfying handled_component_p.
790 2010-04-12 Eric Botcazou <ebotcazou@adacore.com>
792 * expr.c (categorize_ctor_elements_1): Properly count sub-elements of
793 non-constant aggregate elements.
795 * gimplify.c (gimplify_init_constructor): Do not pre-evaluate if this
796 is a real initialization.
798 2010-04-12 Shujing Zhao <pearly.zhao@oracle.com>
801 * c-decl.c (start_function): Move forward check for nested function.
803 2010-04-11 Kaz Kojima <kkojima@gcc.gnu.org>
805 * config/sh/sh-protos.h (sh_legitimize_reload_address): Declare.
806 * config/sh/sh.c: Include reload.h.
807 (sh_legitimize_reload_address): New.
808 * config/sh/sh.h (LEGITIMIZE_RELOAD_ADDRESS): Use
809 sh_legitimize_reload_address.
811 2010-04-11 Kaushik Phatak <kaushik.phatak@kpitcummins.com>
813 * config/sh/sh.md (*movqi_pop): New insn pattern.
814 * config/sh/predicates.md (sh_no_delay_pop_operand): New predicate.
816 2010-04-11 Uros Bizjak <ubizjak@gmail.com>
818 * config/i386/i386.md (any_shiftrt): New code iterator.
819 (shiftrt_insn): New code attribute.
821 (<shiftrt_insn><mode>3): Macroize expander from {ashr,lshr}<mode>3
822 using any_shiftrt code iterator.
823 (*<shiftrt_insn><mode>3_doubleword): Macroize insn_and_split from
824 *{ashr,lshr}<mode>3_doubleword using any_shiftrt code iterator.
825 (*<shiftrt_insn><mode>3_doubleword peephole2): Macroize peephole2
826 pattern from corresponding peephole2 patterns.
827 (*<shiftrt_insn><mode>3_1): Macroize insn from *{ashr,lshr}<mode>3_1
828 using any_shiftrt code iterator.
829 (*<shiftrt_insn>si3_1_zext): Ditto from *{ashr,lshr}si3_1_zext.
830 (*<shiftrt_insn>qi3_1_slp): Ditto from *{ashr,lshr}qi3_1_slp.
831 (*<shiftrt_insn><mode>3_cmp): Ditto from *{ashr,lshr}<mode>3_cmp.
832 (*<shiftrt_insn><mode>3_cmp_zext): Ditto from
833 *{ashr,lshr}<mode>3_cmp_zext.
834 (*<shiftrt_insn><mode>3_cconly): Ditto from *{ashr,lshr}<mode>3_cconly.
836 2010-04-11 Uros Bizjak <ubizjak@gmail.com>
838 * config/i386/i386.md (*ashr<mode>3_cconly): Fix wrong mode of
840 (*lshr<mode>3_cconly): Ditto.
842 2010-04-11 Uros Bizjak <ubizjak@gmail.com>
844 * config/i386/i386.md (lshr<mode>3): Macroize expander from
845 lshr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
846 (*lshr<mode>3_doubleword): New insn_and_split_pattern. Macroize
847 pattern from *lshr{di,ti}3_1 and corresponding splitters using
849 (*lshr<mode>3_doubleword peephole2): Macroize peephole2 pattern
850 from corresponding peephole2 patterns.
851 (*lshr<mode>3_1): Merge with *lshr{qi,hi,si}3_1_one_bit and
852 *lshrdi3_1_one_bit_rex64. Macroize insn from *lshr{qi,hi,si}3_1
853 and *lshrdi3_1_rex64 using SWI mode iterator.
854 (*lshrsi3_1_zext): Merge with *lshrsi3_1_one_bit_zext.
855 (*lshrqi3_1_slp): Merge with *lshrqi3_1_one_bit_slp.
856 (*lshr<mode>3_cmp): Merge with *lshr{qi,hi,si}3_one_bit_cmp and
857 *lshrdi3_one_bit_cmp_rex64. Macroize insn from *lshr{qi,hi,si}3_cmp
858 and *lshrdi3_cmp_rex64 using SWI mode iterator.
859 (*lshrsi3_cmp_zext): Merge with *lshrsi3_cmp_one_bit_zext.
860 (*lshr<mode>3_cconly): Merge with *lshr{qi,hi,si}3_one_bit_cconly and
861 *lshrdi3_one_bit_cconly_rex64. Macroize insn from
862 *lshr{qi,hi,si}3_cconly and *lshrdi3_cconly_rex64 using
865 2010-04-10 Uros Bizjak <ubizjak@gmail.com>
867 * config/i386/i386.md (ashr<mode>3): Macroize expander from
868 ashr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
869 (*ashr<mode>3_doubleword): New insn_and_split_pattern. Macroize
870 pattern from *ashr{di,ti}3_1 and corresponding splitters using
872 (*ashr<mode>3_doubleword peephole2): Macroize peephole2 pattern
873 from corresponding peephole2 patterns.
874 (ashrdi3_cvt): Rename from ashrdi3_63_rex64.
875 (ashrsi3_cvt): Rename from ashrsi3_31.
876 (*ashrsi3_cvt_zext): Rename from *ashrsi3_31_zext.
877 (x86_shift<mode>_adj_3): Macroize expander from x86_shift_adj_3
878 and x86_64_shift_adj_3 using SWI48 mode iterator.
879 (*ashr<mode>3_1): Merge with *ashr{qi,hi,si}3_1_one_bit and
880 *ashrdi3_1_one_bit_rex64. Macroize insn from *ashr{qi,hi,si}3_1
881 and *ashrdi3_1_rex64 using SWI mode iterator.
882 (*ashrsi3_1_zext): Merge with *ashrsi3_1_one_bit_zext.
883 (*ashrqi3_1_slp): Merge with *ashrqi3_1_one_bit_slp.
884 (*ashr<mode>3_cmp): Merge with *ashr{qi,hi,si}3_one_bit_cmp and
885 *ashrdi3_one_bit_cmp_rex64. Macroize insn from *ashr{qi,hi,si}3_cmp
886 and *ashrdi3_cmp_rex64 using SWI mode iterator.
887 (*ashrsi3_cmp_zext): Merge with *ashrsi3_cmp_one_bit_zext.
888 (*ashr<mode>3_cconly): Merge with *ashr{qi,hi,si}3_one_bit_cconly and
889 *ashrdi3_one_bit_cconly_rex64. Macroize insn from
890 *ashr{qi,hi,si}3_cconly and *ashrdi3_cconly_rex64 using
892 (sign_extend splitters): Update for renamed ashr{di,si}3_cvt patterns.
893 * config/i386/i386.c (ix86_split_ashr): Update for renamed
894 x86_shift<mode>_adj_3 expanders.
896 2010-04-10 Wei Guozhi <carrot@google.com>
899 * config/arm/arm.c (arm_pic_static_addr): New function.
900 (legitimize_pic_address): Call arm_pic_static_addr when it detects
902 (arm_output_addr_const_extra): Output expression for new pattern.
903 * config/arm/arm.md (UNSPEC_SYMBOL_OFFSET): New unspec symbol.
905 2010-04-10 Bernd Schmidt <bernds@codesourcery.com>
907 * ira-costs.c (record_reg_classes): Ignore alternatives that are
910 * Makefile.in (web.o): Depend on insn-config.h and $(RECOG_H).
911 * web.c: Include "insn-config.h" and "recog.h".
912 (union_match_dups): New function.
914 (union_defs): Don't try to recognize match_dups.
916 * reload1.c (eliminate_regs_in_insn): Don't restore an operand
917 if doing so would replace the entire pattern.
919 2010-04-09 Uros Bizjak <ubizjak@gmail.com>
923 * config/i386/i386.md (*ashl<mode>3_doubleword): Split to insn
924 and splitter pattern. Change splitter operand 1 predicate to
927 2010-04-09 Martin Jambor <mjambor@suse.cz>
929 * ipa-cp.c (ipcp_lats_are_equal): Return true also if the two
930 lattices are addresses of CONST_DECLs with the same initial value.
931 (ipcp_print_all_lattices): Print values of CONST_DECLs.
932 * ipa-prop.c (ipa_print_node_jump_functions): Likewise.
934 2010-04-09 Eric Botcazou <ebotcazou@adacore.com>
935 Bernd Schmidt <bernds@codesourcery.com>
937 * loop-invariant.c (replace_uses): New static function.
938 (move_invariant_reg): Use it to ensure we can replace the uses.
940 2010-04-09 Hariharan Sandanagobalane <hariharan@picochip.com>
942 * config/picochip/picochip.c (picochip_rtx_costs): Use correct
944 (picochip_override_options): Enable section anchors only above -O1.
945 (picochip_reorg): Fixed a couple of build warnings.
947 2010-04-09 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
949 * configure.ac (plugin -rdynamic test): Log result.
950 * configure: Regenerate.
951 * config/sol2.h (LINK_SPEC): Handle -rdynamic.
952 (RDYNAMIC_SPEC): Define.
953 * config/sol2-gld.h (RDYNAMIC_SPEC): Redefine.
955 2010-04-09 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
957 * configure.ac: Determine Sun ld version numbers.
958 (comdat_group): Restrict GNU ld version checks to gld.
959 (comdat_group, *-*-solaris2.1[1-9]*): Enable for Sun ld > 1.1688.
960 (enable_comdat): Support --enable-comdat.
961 * configure: Regenerate.
962 * doc/install.texi (Configuration): Document --enable-comdat.
964 2010-04-09 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
966 * config/sparc/sol2-gld.h: Remove SPARC reference. Rename ...
967 * config/sol2-gld.h: ... here.
968 * config.gcc (sparc*-*-solaris2*): Reflect this.
969 (i[34567]86-*-solaris2*): Use it.
971 2010-04-09 Steve Ellcey <sje@cup.hp.com>
973 * config/ia64/ia64.c (ia64_dfa_new_cycle): Remove unused variable
975 (final_emit_insn_group_barriers): Remove unused variable prev_insn.
977 2010-04-09 Manuel López-Ibáñez <manu@gcc.gnu.org>
980 * diagnostic.c (diagnostic_initialize): Initialize
981 some_warnings_are_errors.
982 (diagnostic_finish): New.
983 (diagnostic_action_after_output): Call it before exiting.
984 (diagnostic_report_diagnostic): Do not print message here. Set
985 some_warnings_are_errors.
986 * diagnostic.h (diagnostic_context): Delete
987 issue_warnings_are_errors_message. Add some_warnings_are_errors.
988 (diagnostic_finish): Declare.
989 * toplev.c (toplev_main): Call it before exit.
991 2010-04-09 Jason Merrill <jason@redhat.com>
994 * c-common.c (c_sizeof_or_alignof_type): Return error_mark_node
998 * stor-layout.c (finalize_record_size): Don't change TYPE_PACKED
999 based on a warning flag.
1001 2010-04-09 Richard Guenther <rguenther@suse.de>
1003 * tree-pretty-print.c (dump_generic_node): Dump TYPE_VECTOR_SUBPARTS.
1005 2010-04-09 Iain Sandoe <iains@gcc.gnu.org>
1008 * varasm.c (default_assemble_visibility): Wrap vars that are
1009 set, but unused, by targets without GAS.
1010 * config/rs6000/rs6000.c: (paired_emit_vector_compare):
1011 Remove set, but unused, vars.
1012 (rs6000_legitimize_tls_address): Likewise.
1013 (altivec_expand_dst_builtin): Likewise.
1014 * config/darwin.c (machopic_classify_symbol): Likewise.
1015 (machopic_indirection_name): Likewise.
1017 2010-04-09 Uros Bizjak <ubizjak@gmail.com>
1019 * config/i386/i386.md (DWI): New mode iterator.
1020 (S): New mode attribute.
1021 (shift_operand): Ditto.
1022 (shift_immediate_operand): Ditto.
1023 (ashl_input_operand): Ditto.
1024 (ashl<mode>3): Macroize expander from ashl{qi,hi,si,di,ti}3_1
1025 using SDWIM mode iterator.
1026 (*ashl<mode>3_doubleword): New insn_and_split_pattern. Macroize
1027 pattern from *ashl{di,ti}3_1 and corresponding splitters using
1029 (*ashl<mode>3_doubleword peephole2): Macroize peephole2 pattern
1030 from corresponding peephole2 patterns.
1031 (x86_shift<mode>_adj_1): Macroize expander from x86_shift_adj_1
1032 and x86_64_shift_adj_1 using SWI48 mode iterator.
1033 (x86_shift<mode>_adj_2): Ditto.
1034 (*ashldi3_1_rex64): Split TYPE_LEA pattern.
1035 (*ashl<mode>3_1): Macroize insn from *ashlsi3_1 and *ashldi3_1_rex64
1036 using SWI48 mode iterator.
1037 (*ashl<mode>3_cmp): Macroize insn from *ashl{qi,hi,si}3_cmp and
1038 *ashldi3_cmp_rex64 using SWI mode iterator.
1039 (*ashl<mode>3_cconly): Macroize insn from *ashl{qi,hi,si}3_cconly and
1040 *ashldi3_cconly_rex64 using SWI mode iterator.
1041 * config/i386/i386.c (ix86_split_ashl): Update for renamed
1042 x86_shift<mode>_adj_{1,2}.
1043 (ix86_split_ashr): Ditto.
1044 (ix86_split_lshr): Ditto.
1046 2010-04-09 Richard Guenther <rguenther@suse.de>
1048 * target.h (builtin_conversion): Pass in input and output types.
1049 * targhooks.c (default_builtin_vectorized_conversion): Adjust.
1050 * targhooks.h (default_builtin_vectorized_conversion): Likewise.
1051 * tree-vect-stmts.c (vectorizable_conversion): Adjust.
1052 * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_CONVERSION): Adjust.
1054 * config/i386/i386.c (ix86_vectorize_builtin_conversion): Adjust.
1056 * config/rs6000/rs6000.c (rs6000_builtin_conversion): Adjust.
1058 2010-04-09 Richard Guenther <rguenther@suse.de>
1061 * config/i386/sse.md (vcond<mode>): Handle AVX modes as well.
1063 2010-04-09 Richard Guenther <rguenther@suse.de>
1065 * tree-vectorizer.h (struct _stmt_vec_info): Document
1066 that vectype is the type of the LHS.
1067 (supportable_widening_operation, supportable_narrowing_operation):
1068 Get both input and output vector types as arguments.
1069 (vect_is_simple_use_1): Declare.
1070 (get_same_sized_vectype): Likewise.
1071 * tree-vect-loop.c (vect_determine_vectorization_factor):
1072 Set STMT_VINFO_VECTYPE to the vector type of the def.
1073 (vectorizable_reduction): Adjust.
1074 * tree-vect-patterns.c (vect_recog_widen_mult_pattern):
1075 Adjust. Specify the output vector type.
1076 (vect_pattern_recog_1): Adjust.
1077 * tree-vect-stmts.c (get_same_sized_vectype): New function.
1078 (vectorizable_call): Adjust.
1079 (vectorizable_conversion): Likewise.
1080 (vectorizable_operation): Likewise.
1081 (vectorizable_type_demotion): Likewise.
1082 (vectorizable_type_promotion): Likewise.
1083 (vect_analyze_stmt): Set STMT_VINFO_VECTYPE to the vector type of
1085 (vect_is_simple_use_1): New function.
1086 (supportable_widening_operation): Get both input and output
1088 (supportable_narrowing_operation): Likewise.
1089 * tree-vect-slp.c (vect_schedule_slp_instance): Adjust.
1091 2010-04-09 Kai Tietz <kai.tietz@onevision.com>
1093 * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Add
1094 __thiscall and _thiscall as predefined macros.
1095 * config/i386/i386.c (ix86_handle_cconv_attribute): Add
1096 thiscall attribute handling.
1097 (ix86_comp_type_attributes): Likewise.
1098 (ix86_function_regparm): Likewise.
1099 (ix86_return_pops_args): Likewise.
1100 (init_cumulative_args): Likewise.
1101 (find_drap_reg): Likewise.
1102 (ix86_static_chain): Likewise.
1103 (x86_this_parameter): Likewise.
1104 (x86_output_mi_thunk): Likewise.
1105 (ix86_attribute_table): Add description for thiscall attribute.
1106 * config/i386/i386.h (ix86_args): Adjust comment for member fastcall.
1107 * doc/extend.texi: Add documentation for thiscall.
1109 2010-04-09 Manuel López-Ibáñez <manu@gcc.gnu.org>
1112 * c.opt (Wint-to-pointer-cast): Available in C++.
1113 * doc/invoke.texi (Wint-to-pointer-cast): Available in C++.
1115 2010-04-08 Eric Botcazou <ebotcazou@adacore.com>
1117 * tree.h (TREE_ADDRESSABLE): Document its effect for function types.
1118 * calls.c (expand_call): Pass the function type to aggregate_value_p.
1119 * function.c (aggregate_value_p): Do not honor DECL_BY_REFERENCE on
1120 the target function of a CALL_EXPR. Honor TREE_ADDRESSABLE on the
1121 function type instead. Reorder and simplify checks.
1123 * gimplify.c (gimplify_modify_expr_rhs) <WITH_SIZE_EXPR>: New case.
1125 2010-04-08 Jing Yu <jingyu@google.com>
1126 Zdenek Dvorak <ook@ucw.cz>
1128 PR tree-optimization/42720
1129 * tree-ssa-loop-unswitch.c (tree_ssa_unswitch_loops): Move one-time
1130 loop unswitch conditions here from ...
1131 (tree_unswitch_single_loop): ... here.
1133 2010-04-08 Sebastian Pop <sebastian.pop@amd.com>
1135 * tree-if-conv.c: Fix comments and simplify logic.
1137 2010-04-08 Sebastian Pop <sebastian.pop@amd.com>
1139 * tree-if-conv.c (if_convertible_loop_p): Remove unused parameter.
1140 (tree_if_conversion): Same. Update call to if_convertible_loop_p.
1141 (main_tree_if_conversion): Update call to tree_if_conversion.
1143 2010-04-08 Manuel López-Ibáñez <manu@gcc.gnu.org>
1146 * doc/invoke.texi (-b,-V): Delete.
1147 * doc/tm.texi: Do not mention -b.
1148 * gcc.c (display_help): Delete -b and -V.
1149 (process_command): Delete -b and -V.
1150 * gcc.h (DEFAULT_SWITCH_TAKES_ARG): Delete -b and -V.
1152 2010-04-08 Christian Borntraeger <borntraeger@de.ibm.com>
1153 Wolfgang Gellerich <gellerich@de.ibm.com>
1155 Implement target hook for loop unrolling
1156 * target.h (loop_unroll_adjust): Add a new target hook function.
1157 * target-def.h (TARGET_LOOP_UNROLL_ADJUST): Likewise.
1158 * doc/tm.texi (TARGET_LOOP_UNROLL_ADJUST): Document it.
1159 * config/s390/s390.c (TARGET_LOOP_UNROLL_ADJUST): Define it.
1160 (s390_loop_unroll_adjust): Implement the new target hook for s390.
1161 * loop-unroll.c (decide_unroll_runtime_iterations): Call loop unroll
1163 (decide_unroll_stupid): Likewise.
1165 2010-04-08 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1168 * config/i386/gmon-sol2.c [__x86_64__]: Properly restore %rcx.
1170 2010-04-08 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1172 * doc/install.texi (Specific, i?86-*-solaris2.10): Fix grammar.
1173 (Specific, *-*-solaris2*): Likewise.
1174 Don't prefer Sun as over GNU as.
1176 2010-04-08 Wolfgang Gellerich <gellerich@de.ibm.com>
1178 * config/s390/s390.c (override_options): Adjust the z10
1179 defaults for max-unroll-times, max-completely-peeled-insns
1180 and max-completely-peel-times.
1182 2010-04-08 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
1184 * config/s390/s390.c (s390_expand_movmem): Issue prefetch
1185 instructions for z10.
1186 (s390_expand_setmem): Likewise.
1187 (s390_expand_cmpmem): Likewise.
1189 2010-04-08 Richard Guenther <rguenther@suse.de>
1191 PR tree-optimization/43679
1192 * tree-ssa-pre.c (eliminate): Only propagate copies.
1194 2010-04-08 Jakub Jelinek <jakub@redhat.com>
1197 * expr.c (block_move_libcall_safe_for_call_parm): Avoid
1198 set but not used variable warning.
1200 2010-04-08 Wei Guozhi <carrot@google.com>
1203 * config/arm/arm.c (thumb1_size_rtx_costs): New function.
1204 (arm_size_rtx_costs): Call the new function when optimized for size.
1206 2010-04-08 Jakub Jelinek <jakub@redhat.com>
1209 * cfgexpand.c (expand_debug_expr): If for non-NULL offset
1210 op0 is not a MEM, just return NULL instead of assertion
1212 (discover_nonconstant_array_refs): Don't walk debug stmts.
1214 2010-04-08 Doug Kwan <dougkwan@google.com>
1216 * configure.ac: Recognize gold and do not use its version number
1217 to test ld features.
1218 * configure: Regenerate.
1220 2010-04-08 Maxim Kuvyrkov <maxim@codesourcery.com>
1223 * tree-ssa-reassoc.c (broken_up_substracts): Rename to plus_negates.
1224 (negate_value): Move code to push elements to broken_up_substracts ...
1225 (eliminate_plus_minus_pair): ... here. Push operands that have no
1226 negative pair to plus_negates.
1227 (repropagate_negates, init_reassoc, fini_reassoc): Update.
1229 2010-04-07 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1231 * doc/install.texi (Configuration): Move description of
1232 --enable-lto, --with-libelf*, --enable-gold from Java section to
1235 * doc/generic.texi (Working with declarations)
1236 (Function Properties, C and C++ Trees): Fix typos.
1237 * doc/sourcebuild.texi (Top Level): Likewise.
1239 2010-04-07 Jakub Jelinek <jakub@redhat.com>
1242 * tree.h (DECL_READ_P): Define.
1243 (struct tree_decl_common): Add decl_read_flag.
1244 * c-decl.c (pop_scope): If TREE_USED but !DECL_READ_P, issue
1245 a set but not used warning.
1246 (merge_decls): Merge DECL_READ_P flag.
1247 (finish_decl, build_compound_literal): Set DECL_READ_P flag.
1248 (finish_function): Issue -Wunused-but-set-parameter diagnostics.
1249 * c-common.c (handle_used_attribute, handle_unused_attribute):
1251 * c-tree.h (default_function_array_read_conversion, mark_exp_read):
1253 * c-typeck.c (default_function_array_read_conversion, mark_exp_read):
1255 (default_conversion, c_process_expr_stmt): Call mark_exp_read.
1256 * c-parser.c (c_parser_initializer, c_parser_expr_no_commas,
1257 c_parser_binary_expression, c_parser_cast_expression,
1258 c_parser_expr_list, c_parser_omp_atomic, c_parser_omp_for_loop):
1259 Call default_function_array_read_conversion instead of
1260 default_function_array_conversion where needed.
1261 (c_parser_unary_expression, c_parser_conditional_expression,
1262 c_parser_postfix_expression_after_primary, c_parser_initelt):
1263 Likewise. Call mark_exp_read where needed.
1264 (c_parser_statement_after_labels, c_parser_asm_operands,
1265 c_parser_typeof_specifier, c_parser_sizeof_expression,
1266 c_parser_alignof_expression, c_parser_initval): Call mark_exp_read
1268 * common.opt (Wunused-but-set-variable, Wunused-but-set-parameter):
1270 * toplev.c (warn_unused_but_set_variable): Default to warn_unused.
1271 (warn_unused_but_set_parameter): Default to warn_unused
1273 * doc/invoke.texi: Document -Wunused-but-set-variable and
1274 -Wunused-but-set-parameter.
1276 * tree-ssa-pre.c (my_rev_post_order_compute): Remove set but not
1277 used count variable.
1278 * genemit.c (gen_expand, gen_split): Avoid set but not used warnings
1279 when operandN variables aren't used in the body of the expander
1281 * tree-outof-ssa.c (FOR_EACH_ELIM_GRAPH_SUCC,
1282 FOR_EACH_ELIM_GRAPH_PRED): Avoid set but not used warnings.
1283 * tree-ssa-operands.h (FOR_EACH_SSA_TREE_OPERAND): Likewise.
1284 * tree-flow.h (FOR_EACH_IMM_USE_FAST, FOR_EACH_IMM_USE_STMT,
1285 FOR_EACH_IMM_USE_ON_STMT): Likewise.
1286 * tree.h (FOR_EACH_CONSTRUCTOR_ELT): Likewise.
1287 * tree.c (PROCESS_ARG): Likewise.
1289 2010-04-07 Simon Baldwin <simonb@google.com>
1291 * diagnostic.h (diagnostic_override_option_index): New macro to
1292 set a diagnostic's option_index.
1293 * c-tree.h (c_cpp_error): Add warning reason argument.
1294 * opts.c (_warning_as_error_callback): New.
1295 (register_warning_as_error_callback): Store callback for
1296 warnings enabled via enable_warning_as_error.
1297 (enable_warning_as_error): Call callback, minor code tidy.
1298 * opts.h (register_warning_as_error_callback): Declare.
1299 * c-opts.c (warning_as_error_callback): New, set cpp_opts flag in
1300 response to -Werror=.
1301 (c_common_init_options): Register warning_as_error_callback in opts.c.
1302 * common.opt: Add -Wno-cpp option.
1303 * c-common.c (struct reason_option_codes_t): Map cpp warning
1304 reason codes to gcc option indexes.
1305 * (c_option_controlling_cpp_error): New function, lookup the gcc
1306 option index for a cpp warning reason code.
1307 * (c_cpp_error): Add warning reason argument, call
1308 c_option_controlling_cpp_error for diagnostic_override_option_index.
1309 * doc/invoke.texi: Document -Wno-cpp.
1311 2010-04-07 Richard Guenther <rguenther@suse.de>
1313 * ipa-reference.c (mark_load): Use get_base_address.
1314 (mark_store): Likewise.
1316 * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Avoid
1317 inserting GIMPLE_NOPs into the IL.
1318 * tree-ssa-structalias.c (get_constraint_for_component_ref):
1319 Explicitly strip handled components and indirect references.
1321 * fold-const.c (fold_unary_loc): Do not strip qualifiers when
1322 folding address expressions.
1323 * gimple.c (gimple_ior_addresses_taken_1): Use get_base_address.
1324 * tree-ssa-alias.c (decl_refs_may_alias_p): Do not use
1325 operand_equal_p to compare decls.
1326 (ptr_deref_may_alias_decl_p): Likewise.
1327 * tree-ssa-operands.c (get_asm_expr_operands): Simplify
1328 * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond):
1329 Handle reversed comparison ops.
1330 * tree-sra.c (asm_visit_addr): Use get_base_address.
1331 * ipa-prop.c (visit_store_addr_for_mod_analysis): Use get_base_address.
1332 * ipa-reference.c (mark_address): Use get_base_address.
1334 2010-04-07 Richard Guenther <rguenther@suse.de>
1336 * tree-ssa-forwprop.c (forward_propagate_addr_expr):
1337 Propagate constants everywhere.
1339 2010-04-07 Jakub Jelinek <jakub@redhat.com>
1342 * tree.c (MAX_INT_CACHED_PREC): Define.
1343 (nonstandard_integer_type_cache): New array.
1344 (build_nonstandard_integer_type): Cache results for precision
1345 <= MAX_INT_CACHED_PREC.
1347 2010-04-07 Richard Guenther <rguenther@suse.de>
1349 * doc/invoke.texi (-fargument-alias, -fargument-noalias,
1350 -fargument-noalias-global, -fargument-noalias-anything): Remove.
1351 * common.opt: Likewise.
1352 * tree-ssa-structalias.c (intra_create_variable_infos): Adjust comment.
1353 * alias.c (base_alias_check): Remove flag_argument_noalias handling.
1354 (nonoverlapping_memrefs_p): Likewise.
1355 * emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
1356 * opts.c (common_handle_option): Handle OPT_fargument_alias,
1357 OPT_fargument_noalias, OPT_fargument_noalias_anything and
1358 OPT_fargument_noalias_global for backward compatibility.
1360 2010-04-07 Richard Guenther <rguenther@suse.de>
1362 PR tree-optimization/43270
1363 * tree-vrp.c (check_array_ref): Fix flexible array member detection.
1364 * tree-ssa-sccvn.h (fully_constant_vn_reference_p): Declare.
1365 * tree-ssa-pre.c (phi_translate_1): Adjust.
1366 (fully_constant_expression): Split out vn_reference handling to ...
1367 * tree-ssa-sccvn.c (fully_constant_vn_reference_p): ... here.
1368 Fold reads from constant strings.
1369 (vn_reference_lookup): Handle fully constant references.
1370 (vn_reference_lookup_pieces): Likewise.
1371 * Makefile.in (expmed.o-warn): Add -Wno-error.
1373 2010-04-07 Martin Jambor <mjambor@suse.cz>
1375 * tree-sra.c (find_param_candidates): Allow scalar va_list types.
1377 2010-04-07 Iain Sandoe <iains@gcc.gnu.org>
1380 * gcc.c: Add -static-libstdc++ to list of recognized options.
1382 2010-04-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1384 * config.gcc (i[34567]86-*-solaris2*): Default with_tune_32 to generic.
1386 2010-04-07 Richard Guenther <rguenther@suse.de>
1389 * expr.c (expand_expr_real_1): For TARGET_MEM_REFs with pointer
1390 bases build simple mem attributes to retain points-to information.
1392 2010-04-07 Richard Guenther <rguenther@suse.de>
1395 * alias.c (ao_ref_from_mem): Without MEM_OFFSET or MEM_SIZE
1396 preserve points-to related information.
1398 2010-04-07 Richard Guenther <rguenther@suse.de>
1401 * emit-rtl.c (set_mem_attributes_minus_bitpos): Do not
1402 discard plain indirect references.
1403 * fold-const.c (operand_equal_p): Guard against NULL_TREE type.
1404 * tree.c (tree_nop_conversion): Likewise.
1406 2010-04-07 Dodji Seketeli <dodji@redhat.com>
1409 * dwarf2out.c (modified_type_die): Ignore artificial typedefs.
1411 2010-04-06 Kai Tietz <kai.tietz@onevision.com>
1413 * config/i386/i386.c (ix86_handle_cconv_attribute): Ignore
1414 calling convention attributes on METHOD_TYPEs for w64 ABI, too.
1416 2010-04-07 Sebastian Pop <sebastian.pop@amd.com>
1418 * tree-if-conv.c: Fix indentation and comments.
1420 2010-04-07 Sebastian Pop <sebastian.pop@amd.com>
1422 * tree-if-conv.c: Sort static functions in topological order.
1424 2010-04-07 Sebastian Pop <sebastian.pop@amd.com>
1426 * tree-if-conv.c: Fix indentation and comments.
1428 2010-04-06 Sebastian Pop <sebastian.pop@amd.com>
1431 * graphite-clast-to-gimple.c (max_signed_precision_type): Use
1432 lang_hooks.types.type_for_size instead of
1433 build_nonstandard_integer_type.
1434 When converting an unsigned type to signed, double its precision.
1435 (gcc_type_for_interval): Use lang_hooks.types.type_for_size.
1436 (gcc_type_for_iv_of_clast_loop): Call max_signed_precision_type.
1437 (graphite_create_new_loop_guard): When ub + 1 wraps around,
1440 2010-04-06 Sebastian Pop <sebastian.pop@amd.com>
1443 * graphite-clast-to-gimple.c (graphite_create_new_loop_guard): Use
1444 POINTER_PLUS_EXPR for pointer types.
1446 2010-04-06 Sebastian Pop <sebastian.pop@amd.com>
1449 * Makefile.in (graphite-clast-to-gimple.o): Depends on langhooks.h.
1450 * graphite-clast-to-gimple.c: Include langhooks.h.
1451 (max_signed_precision_type): New.
1452 (max_precision_type): Takes two types as arguments.
1453 (precision_for_value): New.
1454 (precision_for_interval): New.
1455 (gcc_type_for_interval): New.
1456 (gcc_type_for_value): New.
1457 (gcc_type_for_clast_term): New.
1458 (gcc_type_for_clast_red): New.
1459 (gcc_type_for_clast_bin): New.
1460 (gcc_type_for_clast_expr): Split up into several functions.
1461 (gcc_type_for_clast_eq): Rewritten.
1462 (compute_bounds_for_level): New.
1463 (compute_type_for_level_1): New.
1464 (compute_type_for_level): New.
1465 (gcc_type_for_cloog_iv): Removed.
1466 (gcc_type_for_iv_of_clast_loop): Rewritten.
1467 (graphite_create_new_loop): Compute the lower and upper bound types
1468 with gcc_type_for_clast_expr.
1469 (graphite_create_new_loop_guard): Same.
1470 (find_cloog_iv_in_expr): Removed.
1471 (compute_cloog_iv_types_1): Removed.
1472 (compute_cloog_iv_types): Removed.
1473 (gloog): Do not call compute_cloog_iv_types.
1474 * graphite-sese-to-poly.c (new_gimple_bb): Do not initialize
1476 (free_data_refs_aux): Do not free GBB_CLOOG_IV_TYPES.
1477 * sese.h (struct gimple_bb): Removed field cloog_iv_types.
1478 (GBB_CLOOG_IV_TYPES): Removed.
1480 2010-04-06 Sebastian Pop <sebastian.pop@amd.com>
1482 * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Assert that
1483 gimple_phi_num_args of the loop close SSA phi node is equal to 1.
1484 (detect_commutative_reduction): Same.
1486 2010-04-06 Sebastian Pop <sebastian.pop@amd.com>
1488 * graphite-clast-to-gimple.c (graphite_verify): Remove redundant
1489 call to verify_ssa. Invoke verify_loop_closed_ssa with an extra
1491 * graphite-scop-detection.c (canonicalize_loop_closed_ssa_form): Same.
1492 * graphite-sese-to-poly.c (rewrite_reductions_out_of_ssa): Same.
1493 (rewrite_commutative_reductions_out_of_ssa): Same.
1494 * passes.c (execute_function_todo): Call verify_ssa for every pass
1495 in the LNO. Invoke verify_loop_closed_ssa with an extra argument.
1496 * tree-flow.h (verify_loop_closed_ssa): Update declaration.
1497 * tree-parloops.c (parallelize_loops): Invoke verify_loop_closed_ssa
1498 with an extra argument.
1499 * tree-ssa-loop-manip.c (check_loop_closed_ssa_stmt): Same. Call
1500 verify_ssa only when the extra argument is true.
1501 (gimple_duplicate_loop_to_header_edge): Invoke verify_loop_closed_ssa
1502 with an extra argument.
1503 (tree_transform_and_unroll_loop): Same.
1505 2010-04-06 Sebastian Pop <sebastian.pop@amd.com>
1507 * passes.c (execute_function_todo): Call verify_loop_closed_ssa
1508 for all the passes of the LNO having LOOP_CLOSED_SSA.
1509 * tree-if-conv.c (pass_if_conversion): Remove TODO_verify_loops.
1510 * tree-loop-distribution.c (pass_loop_distribution): Same.
1511 * tree-pass.h (TODO_verify_loops): Removed.
1512 * tree-ssa-loop.c (pass_tree_loop_init): Same.
1514 (pass_tree_unswitch): Same.
1515 (pass_predcom): Same.
1516 (pass_vectorize): Same.
1517 (pass_linear_transform): Same.
1518 (pass_graphite_transforms): Same.
1519 (pass_iv_canon): Same.
1520 (pass_complete_unroll): Same.
1521 (pass_complete_unrolli): Same.
1522 (pass_parallelize_loops): Same.
1523 (pass_loop_prefetch): Same.
1524 (pass_iv_optimize): Same.
1526 2010-04-06 Changpeng Fang <changpeng.fang@amd.com>
1529 * passes.c (init_optimization_passes): Move pass_lim before
1530 pass_copy_prop and pass_dce_loop.
1532 2010-04-06 Jakub Jelinek <jakub@redhat.com>
1535 * config/i386/i386.c (bdesc_multi_arg): Use OPTION_MASK_ISA_XOP
1536 instead of OPTION_MASK_ISA_AVX for __builtin_ia32_vpermil2p*.
1537 (ix86_expand_args_builtin): Use V*_FTYPE_* enum codes instead of
1538 MULTI_* defines for 4 argument vpermil2p* builtins.
1540 2010-04-06 Uros Bizjak <ubizjak@gmail.com>
1542 * config/i386/i386-protos.h (x86_maybe_negate_const_int): Declare.
1543 * config/i386/i386.c (x86_maybe_negate_const_int): New.
1544 (x86_output_mi_thunk): Use x86_maybe_negate_const_int.
1545 * config/i386/i386.md (*add<mode>_1, *addsi_1_zext, *addhi_1,
1546 *addhi_1_lea, *addqi_1, *addqi_1_lea, *addqi_1_slp, *add<mode>_2,
1547 *addsi_2_zext, *addhi_2, *addqi_2, *add<mode>_3, *addsi_3_zext,
1548 *addhi_3, *addqi_3,*add<mode>_5, *addhi_5, *addqi_5):
1549 Use x86_maybe_negate_const_int to output insn mnemonic.
1550 (*adddi_4, *addsi_4, *addhi_4, *addqi_4): Ditto. Remove overflow
1551 check from instruction predicate. Update comments.
1552 * config/i386/sync.md (sync_add<mode>): Use
1553 x86_maybe_negate_const_int to output insn mnemonic.
1555 2010-04-06 Jan Hubicka <jh@suse.cz>
1557 PR tree-optimization/42906
1558 * tree-ssa-dce.c (mark_control_dependent_edges_necessary): Add
1559 IGNORE_SELF argument. Set visited_control_parents for fully
1561 (find_obviously_necessary_stmts): Update call of
1562 mark_control_dependent_edges_necessary.
1563 (propagate_necessity): Likewise. Handle PHI edges more curefully.
1565 2010-04-06 Uros Bizjak <ubizjak@gmail.com>
1567 * config/i386/i386.md: Remove comment about 'e' and 'E'
1570 2010-04-06 Richard Guenther <rguenther@suse.de>
1572 PR tree-optimization/43627
1573 * tree-vrp.c (extract_range_from_unary_expr): Widenings
1574 of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
1577 2010-04-06 Jakub Jelinek <jakub@redhat.com>
1579 * BASE-VER: Change to 4.6.0.
1582 * config/i386/i386.c (print_operand): Remove 'e' and 'E' code
1585 2010-04-06 Richard Guenther <rguenther@suse.de>
1588 * fold-const.c (fold_comparison): Handle X * 0 CMP 0.
1590 2010-04-05 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1592 * doc/invoke.texi (Optimize Options): Document that LTO
1593 won't remove object access purely due to incompatible
1596 2010-04-04 Matthias Klose <doko@ubuntu.com>
1598 * graphite-sese-to-poly.c (translate_scalar_reduction_to_array):
1599 Initialize variable.
1601 2010-04-03 Richard Guenther <rguenther@suse.de>
1604 * alias.c (nonoverlapping_memrefs_p): For spill-slot accesses
1605 require a non-NULL MEM_OFFSET.
1607 2010-04-02 Steven Bosscher <steven@gcc.gnu.org>
1609 * ada/gcc-interface/Make-lang.in, alias.c, attribs.c, auto-inc-dec.c,
1610 basic-block.h, bb-reorder.c, calls.c, c-common.c, cgraph.h,
1611 collect2.h, config/alpha/alpha.c, config/alpha/alpha.md,
1612 config/alpha/predicates.md, config/arm/arm.md,
1613 config/arm/lib1funcs.asm, config/arm/neon-schedgen.ml,
1614 config/avr/avr.c, config/avr/avr.md, config/bfin/bfin.c,
1615 config/darwin9.h, config/darwin.c, config/darwin.h,
1616 config/h8300/h8300.c, config/i386/cpuid.h, config/i386/cygming.h,
1617 config/i386/cygwin.h, config/i386/mingw32.h, config/i386/msformat-c.c,
1618 config/i386/sol2-10.h, config/i386/xopintrin.h, config/ia64/ia64.c,
1619 config/ia64/ia64.md, config/ia64/sync.md, config/mep/mep.c,
1620 config/mips/mips.md, config/mn10300/mn10300.c,
1621 config/mn10300/mn10300.h, config/pa/pa.c, config/pa/pa.md,
1622 config/rs6000/aix.h, config/rs6000/dfp.md,
1623 config/rs6000/rs6000-builtin.def, config/rs6000/rs6000-c.c,
1624 config/rs6000/vector.md, config/rtems.h, config/rx/rx.md,
1625 config/s390/s390.md, config/sol2-c.c, config/sparc/sol2-bi.h,
1626 config/sparc/sol2-gas.h, config/sparc/sparc.h, config/sparc/sparc.md,
1627 config/sparc/sparc-protos.h, config/spu/spu.c, config/spu/spu-c.c,
1628 config/t-darwin, convert.c, c.opt, c-opts.c, cp/Make-lang.in,
1629 c-pretty-print.c, c-typeck.c, df-core.c, df-scan.c, diagnostic.c,
1630 diagnostic.h, doc/cppopts.texi, doc/cpp.texi, doc/extend.texi,
1631 doc/gimple.texi, doc/languages.texi, doc/plugins.texi, doc/rtl.texi,
1632 doc/standards.texi, doc/tree-ssa.texi, doc/trouble.texi, dominance.c,
1633 fold-const.c, fortran/Make-lang.in, fwprop.c, gcc-plugin.h,
1634 gensupport.c, gimple.h, gimple-iterator.c, graphite.c,
1635 graphite-clast-to-gimple.c, graphite-clast-to-gimple.h,
1636 graphite-dependences.c, graphite-poly.c, graphite-poly.h,
1637 graphite-ppl.c, graphite-ppl.h, graphite-scop-detection.c,
1638 graphite-sese-to-poly.c, graphite-sese-to-poly.h, ifcvt.c, intl.c,
1639 intl.h, ipa.c, ipa-cp.c, ipa-inline.c, ipa-prop.c, ipa-prop.h,
1640 ipa-pure-const.c, ipa-reference.c, ipa-type-escape.c, ira-color.c,
1641 ira-conflicts.c, ira-lives.c, java/Make-lang.in, lambda-code.c,
1642 loop-invariant.c, lto/Make-lang.in, lto-streamer.h, lto-streamer-in.c,
1643 objc/Make-lang.in, objcp/Make-lang.in, omp-low.c, optc-gen.awk,
1644 opt-functions.awk, opth-gen.awk, params.def, passes.c,
1645 postreload-gcse.c, print-tree.c, recog.c, regrename.c, reload.h,
1646 rtl.def, sched-int.h, sched-rgn.c, sel-sched-dump.c, sese.c, sese.h,
1647 store-motion.c, stor-layout.c, tree-cfgcleanup.c, tree-chrec.c,
1648 tree-complex.c, tree-data-ref.c, tree.def, tree-eh.c, tree-flow.h,
1649 tree-flow-inline.h, tree.h, tree-loop-distribution.c, tree-outof-ssa.c,
1650 tree-parloops.c, tree-pass.h, tree-predcom.c, tree-profile.c,
1651 tree-scalar-evolution.c, tree-ssa-address.c, tree-ssa-alias.c,
1652 tree-ssa-coalesce.c, tree-ssa-copy.c, tree-ssa-dce.c, tree-ssa-dom.c,
1653 tree-ssa-dse.c, tree-ssa-loop-im.c, tree-ssa-loop-ivcanon.c,
1654 tree-ssa-loop-manip.c, tree-ssa-math-opts.c, tree-ssa-operands.c,
1655 tree-ssa-pre.c, tree-ssa-sccvn.c, tree-ssa-structalias.c,
1656 tree-ssa-uncprop.c, tree-tailcall.c, tree-vect-data-refs.c,
1657 tree-vect-loop.c, tree-vectorizer.h, tree-vect-slp.c, tree-vrp.c,
1658 unwind-dw2-fde-darwin.c, varpool.c: Update copyright years.
1660 2010-04-02 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1663 * doc/install.texi (Prerequisites): Bump Automake version to 1.11.1.
1664 * aclocal.m4: Regenerate.
1666 2010-04-02 Richard Guenther <rguenther@suse.de>
1668 PR tree-optimization/43629
1669 * tree-ssa-ccp.c (likely_value): Reset all_undefined_operands
1670 if we have seen a constant value.
1672 2010-04-02 Joseph Myers <joseph@codesourcery.com>
1674 * read-rtl.c (read_rtx_1): Give an error for EOF while looking for ']'.
1676 2010-04-02 Richard Earnshaw <rearnsha@arm.com>
1679 * arm.c (legitimize_tls_address): Adjust call to
1680 gen_tls_load_dot_plus_four.
1681 (arm_note_pic_base): New function.
1682 (arm_cannot_copy_insn_p): Use it.
1683 * thumb2.md (tls_load_dot_plus_four): Rework to avoid use of '+' in
1686 2010-04-02 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1691 2009-09-28 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1693 * Makefile.in ($(out_object_file)): Depend on
1694 gt-$(basename $(notdir $(out_file))).h.
1696 2010-04-01 Ralf Corsépius <ralf.corsepius@rtems.org>
1698 * config.gcc (lm32-*-rtems*): Add t-lm32.
1700 2010-04-01 Joel Sherrill <joel.sherrill@oarcorp.com>
1702 * config.gcc: Add lm32-*-rtems*.
1703 * config/lm32/rtems.h: New file.
1705 2010-04-01 Dave Korn <dave.korn.cygwin@gmail.com>
1708 * config/i386/cygwin.h (CXX_WRAP_SPEC): Disable spec when -mno-cygwin.
1710 2010-04-01 Jakub Jelinek <jakub@redhat.com>
1712 * dwarf2out.c (output_compilation_unit_header): For
1713 -gdwarf-4 use version 4 instead of version 3.
1714 (output_line_info): For version 4 and above emit additional
1715 maximum ops per insn header field.
1716 (DWARF_LINE_DEFAULT_MAX_OPS_PER_INSN): Define.
1718 * dwarf2out.c (is_c_family, is_java): Remove.
1719 (lower_bound_default): New function.
1720 (add_bound_info, gen_descr_array_type_die): Use it.
1722 2010-04-01 Dodji Seketeli <dodji@redhat.com>
1725 * dwarf2out.c (gen_variable_die): Allow debug info for variable
1726 re-declaration when it happens in a function.
1728 2010-04-01 Aldy Hernandez <aldyh@redhat.com>
1730 * cgraph.c (cgraph_add_function_insertion_hook): Update comment.
1731 (cgraph_remove_function_insertion_hook): Same.
1732 (cgraph_call_function_insertion_hooks): Same.
1734 2010-04-01 Richard Guenther <rguenther@suse.de>
1737 * tree-ssa-address.c (copy_mem_ref_info): Copy TREE_SIDE_EFFECTS
1738 and TREE_THIS_VOLATILE.
1739 (copy_ref_info): Likewise.
1740 * tree-ssa-operands.c (get_tmr_operands): Check TREE_THIS_VOLATILE.
1741 * tree.c (build6_stat): Ignore side-effects of all but arg5
1742 for TARGET_MEM_REF. Set TREE_THIS_VOLATILE from arg5 of
1745 2010-04-01 Richard Guenther <rguenther@suse.de>
1747 PR tree-optimization/43607
1748 * ipa-type-escape.c (check_call): Do not access non-existing
1751 2010-04-01 Richard Guenther <rguenther@suse.de>
1755 2010-03-30 Seongbae Park <seongbae.park@gmail.com>
1756 Jack Howarth <howarth@bromo.med.uc.edu>
1758 * tree-profile.c (tree_init_ic_make_global_vars): Make static
1761 2010-04-01 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1763 * doc/install.texi (Prerequisites): Document libelf usability on
1764 IRIX 5/6 and Solaris 2.
1765 (Specific, i?86-*-solaris2.10): No 64-bit default configuration.
1766 Update GNU as, GNU ld requirements.
1767 (Specific, *-*-solaris2*): Document Solaris 7 obsoletion, removal.
1768 Document Sun Studio compiler download.
1769 Update and simplify as, ld recommendations.
1770 (Specific, *-*-solaris2.7): Note obsoletion, removal.
1772 2010-04-01 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1774 * config.gcc (i[34567]86-*-solaris2*): Default with_arch_32,
1775 with_tune_32 to pentium4.
1777 2010-04-01 Uros Bizjak <ubizjak@gmail.com>
1779 * config/i386/cpuid.h (__get_cpuid_max): Move misplaced comment.
1781 2010-04-01 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1783 * doc/install.texi (Specific, mips-sgi-irix5): Document IRIX 5
1784 obsoletion, removal.
1786 Document GNU as requirement.
1787 Update configure requirements.
1788 (Specific, mips-sgi-irix6): Document IRIX 6 < 6.5 obsoletion, removal.
1789 Recomment IRIX 6.5.18+.
1790 Document IDF/IDL requirement.
1791 Document GNU as requirement.
1792 Document GNU ld bootstrap failure.
1793 Remove freeware.sgi.com reference.
1795 2010-04-01 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1797 * doc/install.texi (Specific, alpha*-dec-osf*): Document Tru64
1798 UNIX V4.0, V5.0 obsoletion, removal.
1799 Remove --with-gc=simple reference.
1800 Update VM requirements during bootstrap.
1801 Remove -oldas bootstrap description.
1802 Update binutils reference.
1803 Remove comparison failure note.
1805 2010-03-31 Richard Guenther <rguenther@suse.de>
1806 Zdenek Dvorak <ook@ucw.cz>
1807 Sebastian Pop <sebastian.pop@amd.com>
1810 * tree-ssa-copy.c (init_copy_prop): Handle loop close phi nodes
1811 with multiple arguments.
1812 (execute_copy_prop): Remove call to rewrite_into_loop_closed_ssa.
1814 2010-03-31 Sebastian Pop <sebastian.pop@amd.com>
1816 * graphite-dependences.c (print_pddr): Call print_pdr with an
1818 * graphite-poly.c (debug_pdr): Add an extra argument for the
1821 (print_pbb_domain): Same.
1823 (print_scop_context): Same.
1825 (print_cloog): Same.
1826 (debug_pbb_domain): Same.
1830 (debug_scop_context): Same.
1832 (debug_cloog): Same.
1833 (print_scop_params): Same.
1834 (debug_scop_params): Same.
1835 (print_iteration_domain): Same.
1836 (print_iteration_domains): Same.
1837 (debug_iteration_domain): Same.
1838 (debug_iteration_domains): Same.
1839 (print_scattering_function): Same.
1840 (print_scattering_functions): Same.
1841 (debug_scattering_function): Same.
1842 (debug_scattering_functions): Same.
1843 * graphite-poly.h (debug_pdr): Update declaration.
1845 (print_pbb_domain): Same.
1847 (print_scop_context): Same.
1849 (print_cloog): Same.
1850 (debug_pbb_domain): Same.
1854 (debug_scop_context): Same.
1856 (debug_cloog): Same.
1857 (print_scop_params): Same.
1858 (debug_scop_params): Same.
1859 (print_iteration_domain): Same.
1860 (print_iteration_domains): Same.
1861 (debug_iteration_domain): Same.
1862 (debug_iteration_domains): Same.
1863 (print_scattering_function): Same.
1864 (print_scattering_functions): Same.
1865 (debug_scattering_function): Same.
1866 (debug_scattering_functions): Same.
1868 2010-03-31 Sebastian Pop <sebastian.pop@amd.com>
1870 * graphite-poly.c (print_scattering_function_1): New.
1871 (print_scattering_function): Call it.
1872 (print_scop_params): Remove spaces at the end of lines.
1875 * graphite-poly.h (print_cloog): Declared.
1876 (debug_cloog): Declared.
1878 2010-03-31 Sebastian Pop <sebastian.pop@amd.com>
1880 * graphite-sese-to-poly.c (graphite_loop_normal_form): Add the IV bump
1882 * tree-flow.h (canonicalize_loop_ivs): Updated declaration.
1883 * tree-parloops.c (gen_parallel_loop): Add the IV bump in loop->latch.
1884 * tree-ssa-loop-manip.c (canonicalize_loop_ivs): Add a new parameter
1885 to switch between adding the IV bump in loop->latch or in loop->header.
1887 2010-03-31 Sebastian Pop <sebastian.pop@amd.com>
1889 * graphite-poly.c (print_scattering_function): Pretty print following
1892 (print_pbb_domain): Same.
1893 (dump_gbb_cases): Same.
1894 (dump_gbb_conditions): Same.
1897 (print_scop_params): Same.
1898 (print_scop_context): Same.
1900 (print_pbb_body): New.
1901 (lst_indent_to): New.
1902 (print_lst): Start new lines with a #.
1903 * graphite-poly.h (pbb_bb): New.
1904 (pbb_index): Use pbb_bb.
1905 * graphite-ppl.c (ppl_print_powerset_matrix): Print the number of
1907 * tree-data-ref.c (dump_data_reference): Start new lines with a #.
1909 2010-03-31 Jakub Jelinek <jakub@redhat.com>
1911 * dwarf2out.c (size_of_die): For -gdwarf-4 use
1912 uleb128 size instead of fixed 1 or 2 for dw_val_class_loc
1913 and 0 instead of 1 for dw_val_class_flag.
1914 (value_format): For -gdwarf-4 use DW_FORM_sec_offset for
1915 dw_val_class_range_list, dw_val_class_loc_list,
1916 dw_val_class_lineptr and dw_val_class_macptr, use
1917 DW_FORM_flag_present for dw_val_class_flag and
1918 DW_FORM_exprloc for dw_val_class_loc.
1919 (output_die): For -gdwarf-4 print dw_val_class_loc
1920 size as uleb128 instead of 1 or 2 bytes and don't print
1921 anything for dw_val_class_flag.
1923 * var-tracking.c (vt_init_cfa_base): Use cselib_lookup_from_insn
1924 instead of cselib_lookup following by tweaking locs->setting_insn.
1927 * cselib.c (cselib_process_insn): Clear cselib_current_insn
1928 even before returning from label, setjmp call or volatile asm
1931 2010-03-31 Richard Guenther <rguenther@suse.de>
1934 * cgraphunit.c (cgraph_output_in_order): Do not allocate
1935 temporary data on stack.
1937 2010-03-31 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1939 * config/sparc/sysv4.h (PUSHSECTION_FORMAT): Remove undef.
1940 (PUSHSECTION_ASM_OP): Remove.
1941 (POPSECTION_ASM_OP): Remove.
1942 (PUSHSECTION_FORMAT): Remove.
1943 * config/sol2.h (PUSHSECTION_FORMAT): Define.
1944 * config/sparc/sol2.h [!USE_GAS] (PUSHSECTION_FORMAT): Redefine.
1945 * config/sol2.c (solaris_output_init_fini): Use it.
1947 2010-03-31 Jie Zhang <jie@codesourcery.com>
1950 * opt-functions.awk (var_type_struct): Use signed char type
1951 for simple variables.
1953 2010-03-31 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1955 * config/sol2.c: Include output.h.
1956 (solaris_assemble_visibility): New function.
1957 * config/t-sol2 (sol2.o): Add output.h dependency.
1958 * config/sol2-protos.h (solaris_assemble_visibility): Declare.
1959 * config/sol2.h [!USE_GAS] (TARGET_ASM_ASSEMBLE_VISIBILITY):
1962 2010-03-31 Jakub Jelinek <jakub@redhat.com>
1965 * config/arm/arm.c (arm_save_coproc_regs): Use Pmode instead of
1966 V2SImode or XFmode on PRE_DEC.
1969 * cfgexpand.c (expand_debug_expr): Handle VOIDmode mode like
1972 2010-03-31 Jie Zhang <jie@codesourcery.com>
1975 * reload.h (caller_save_initialized_p): Declare.
1976 * toplev.c (backend_init_target): Don't call
1977 init_caller_save but set caller_save_initialized_p to false.
1978 * caller-save.c (caller_save_initialized_p): Define.
1979 (init_caller_save): Check caller_save_initialized_p.
1980 * ira.c (ira): Call init_caller_save if flag_caller_saves.
1982 2010-03-31 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1985 * config.gcc (i[34567]86-*-solaris2*): Add i386/t-fprules-softfp
1986 and soft-fp/t-softfp to tmake_file.
1987 * config/i386/sol2.h (LIBGCC2_HAS_TF_MODE): Redefine.
1988 (LIBGCC2_TF_CEXT): Define.
1991 2010-03-30 Alexandre Oliva <aoliva@redhat.com>
1994 * cselib.c (n_useless_values): Document handling of debug locs.
1995 (n_useless_debug_values, n_debug_values): New variables.
1996 (new_elt_loc_list): Don't add to debug values, keep count.
1997 (promote_debug_loc): New.
1998 (cselib_reset_table): Zero new variables.
1999 (entry_and_rtx_equal_p): Promote debug locs.
2000 (discard_useless_locs): Increment n_useless_debug_values for
2002 (remove_useless_values): Adjust n_useless_values and n_debug_values
2003 with n_useless_debug_values.
2004 (add_mem_for_addr): Promote debug locs.
2005 (cselib_lookup_mem): Likewise.
2006 (cselib_lookup_addr): Renamed to...
2007 (cselib_lookup_addr_1): ... this. Promote debug locs. Don't call...
2008 (cselib_log_lookup): ... this. Turn into...
2009 (cselib_lookup_addr): ... new wrapper.
2010 (cselib_lookup_from_insn): New.
2011 (cselib_invalidate_regno): Increment n_useless_debug_values for
2013 (cselib_invalidate_mem): Likewise.
2014 (cselib_process_insn): Take n_deleted and n_debug_values into
2015 account to guard remove_useless_value call.
2016 (cselib_finish): Zero n_useless_debug_values.
2017 * cselib.h (cselib_lookup_from_insn): Declare.
2018 * sched-deps.c (sched_analyze_1): Use cselib_lookup_from_insn.
2019 (sched_analyze_2): Likewise.
2021 2010-03-30 Jakub Jelinek <jakub@redhat.com>
2023 * var-tracking.c (use_narrower_mode_test, use_narrower_mode): New
2025 (adjust_mems): Replace narrowing SUBREG of expression containing
2026 just PLUS, MINUS, MULT and ASHIFT of registers and constants
2027 with operations in the narrower mode.
2030 * var-tracking.c (dataflow_set_clear_at_call): Invalidate just
2031 regs_invalidated_by_call instead all call_used_reg_set registers.
2033 2010-03-30 Sebastian Pop <sebastian.pop@amd.com>
2036 * tree-vect-slp.c (vect_get_and_check_slp_defs): Replace type
2037 pointer comparisons with types_compatible_p.
2038 * tree-vect-stmts.c (vectorizable_call): Same.
2039 (vectorizable_condition): Same.
2041 2010-03-30 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
2043 * config/s390/s390.c (s390_emit_prologue): Omit issuing a dynamic
2044 stack check if the mask would be zero.
2046 2010-03-30 Seongbae Park <seongbae.park@gmail.com>
2047 Jack Howarth <howarth@bromo.med.uc.edu>
2049 * tree-profile.c (tree_init_ic_make_global_vars): Make static
2052 2010-03-30 Joseph Myers <joseph@codesourcery.com>
2055 * libgcc-std.ver (GCC_4.5.0): Define version. Include __unordxf2
2057 * config/bfin/libgcc-bfin.ver (GCC_4.5.0): Define version.
2058 Include ___unordxf2 and ___unordtf2.
2059 * config/i386/libgcc-glibc.ver: Do not define inheritance from
2062 2010-03-30 Tarik Graba <tarik.graba@telecom-paristech.fr>
2064 * config/lm32/t-lm32: New file.
2065 * config.gcc: Use the above file when targetting lm32.
2067 2010-03-28 Duncan Sands <baldrick@free.fr>
2069 * Makefile.in (PLUGIN_HEADERS): Add except.h.
2071 2010-03-29 Sebastian Pop <sebastian.pop@amd.com>
2074 * tree-vect-loop.c (vect_estimate_min_profitable_iters):
2075 Improve vectorization cost model diagnostic.
2077 2010-03-29 Sebastian Pop <sebastian.pop@amd.com>
2080 * tree-vect-data-refs.c (vect_analyze_data_refs): When
2081 compute_data_dependences_for_loop returns false, early exit
2082 and output an extra diagnostic for the failed data reference
2085 2010-03-29 Richard Guenther <rguenther@suse.de>
2087 PR tree-optimization/43560
2088 * tree-ssa-loop-im.c (ref_always_accessed_p): Add store_p parameter.
2089 (can_sm_ref_p): Treat stores to readonly locations as trapping.
2091 2010-03-29 Jie Zhang <jie@codesourcery.com>
2094 * toplev.c (process_options): Set optimization_default_node
2095 and optimization_current_node.
2096 * opts.c (decode_options): Don't set optimization_default_node
2097 and optimization_current_node.
2099 2010-03-29 Ralf Corsépius <ralf.corsepius@rtems.org>
2101 * config/rtems.h: Abandon -qrtems_debug.
2103 2010-03-28 Jan Hubicka <jh@suse.cz>
2105 PR tree-optimization/43505
2106 * cgraph.c (cgraph_clone_node): When clonning a clone, replacement
2107 map should not be copied.
2109 2010-03-27 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2112 * cgraphunit.c (cgraph_build_static_cdtor): If target doesn't have
2113 cdtors, set DECL_PRESERVE_P.
2114 * ipa.c (cgraph_externally_visible_p): Return true if declaration
2117 2010-03-27 Uros Bizjak <ubizjak@gmail.com>
2119 PR tree-optimization/43528
2120 * stor-layout.c (place_field): Check that constant fits into
2121 unsigned HWI when skipping calculation of MS bitfield layout.
2123 2010-03-27 Jan Hubicka <jh@suse.cz>
2126 * varasm.c (make_decl_rtl): Deal with COMMON flag to make
2127 notice_global_symbol work.
2129 2010-03-27 Jakub Jelinek <jakub@redhat.com>
2131 * dwarf2out.c (dwarf2_debug_hooks): Use dwarf2out_function_decl
2132 instead of dwarf2out_decl.
2133 (struct var_loc_node): Remove section_label field.
2134 (dwarf2out_function_decl): New function.
2135 (dwarf2out_var_location): Don't set section_label field.
2136 (dwarf2out_begin_function): Don't empty decl_loc_table here.
2138 2010-03-26 Michael Meissner <meissner@linux.vnet.ibm.com>
2140 PR tree-optimization/43544
2141 * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION):
2142 First argument for builtin vectorized function hook is now a
2143 tree to be able to distinguish between machine specific and
2145 * targhooks.c (default_builtin_vectorized_function): Ditto.
2146 * targhooks.h (default_builtin_vectorized_function): Ditto.
2147 * target.h (struct gcc_target): Ditto.
2148 * tree-vect-stmts.c (vectorizable_function): Ditto.
2149 * config/i386/i386.c (ix86_builtin_vectorized_function): Ditto.
2150 * config/rs6000/rs6000.c (rs6000_builtin_vectorized_function):
2153 2010-03-26 Joseph Myers <joseph@codesourcery.com>
2156 * c-decl.c (get_parm_info): Assert that decl going in OTHERS has a
2157 nested binding iff it is a FUNCTION_DECL.
2158 (store_parm_decls_newstyle): Pass nested=true to bind for
2159 FUNCTION_DECLs amongst parameters.
2161 2010-03-26 Jakub Jelinek <jakub@redhat.com>
2163 * var-tracking.c (vt_expand_loc_callback): Don't run
2164 cselib_expand_value_rtx_cb in dummy mode if
2165 cselib_dummy_expand_value_rtx_cb returned false.
2167 * var-tracking.c (emit_note_insn_var_location): For one part
2168 notes with offset 0, don't add EXPR_LIST around the location.
2169 * dwarf2out.c (loc_descriptor, dw_loc_list_1,
2170 add_location_or_const_value_attribute): Adjust for that change.
2173 * dwarf2out.c (reg_save): For DW_CFA_expression put regnum
2174 into first operand and location into second.
2175 (dw_cfi_oprnd1_desc): Return dw_cfi_oprnd_reg_num instead of
2176 dw_cfi_oprnd_loc for DW_CFA_expression.
2177 (dw_cfi_oprnd2_desc): Return dw_cfi_oprnd_loc for DW_CFA_expression.
2178 (output_cfa_loc, output_cfa_loc_raw): For DW_CFA_expression
2179 assume first argument is regnum and second argument is location.
2181 2010-03-26 Uros Bizjak <ubizjak@gmail.com>
2184 * config/alpha/alpha.md (*cmp_sadd_si): Change mode
2185 of scratch register to DImode. Split to DImode comparison operator.
2186 Use SImode subreg of scratch register in the multiplication.
2187 (*cmp_sadd_sidi): Ditto.
2188 (*cmp_ssub_si): Ditto.
2189 (*cmp_ssub_sidi): Ditto.
2191 2010-03-26 Uros Bizjak <ubizjak@gmail.com>
2194 * config/i386/i386.c (ix86_expand_prologue) [TARGET_STACK_PROBE]:
2195 Remove invalid assert and wrong comment.
2197 2010-03-26 Jakub Jelinek <jakub@redhat.com>
2200 * flags.h (final_insns_dump_p): New extern.
2201 * final.c (final_insns_dump_p): New variable.
2202 (rest_of_clean_state): Set it before -fdump-final-insns=
2203 dumping, clear afterwards.
2204 * print-rtl.c (print_rtx): If final_insns_dump_p don't dump
2205 MEM_ALIAS_SET on MEMs.
2207 2010-03-26 David S. Miller <davem@davemloft.net>
2209 * configure.ac: Fix sparc GOTDATA_OP bug check.
2210 * configure: Rebuild.
2212 2010-03-26 Alan Modra <amodra@gmail.com>
2214 * config/rs6000/rs6000.md (cmptf_internal2): Correct comparison.
2216 2010-03-25 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2218 * doc/tm.texi (Sections): Document TLS_COMMON_ASM_OP,
2219 TLS_SECTION_ASM_FLAG.
2221 2010-03-25 Jakub Jelinek <jakub@redhat.com>
2224 * config/i386/i386.c (ix86_code_end): Set DECL_WEAK if TARGET_MACHO.
2225 Clear first_function_block_is_cold.
2228 * gimplify.c (gimple_boolify): Only recurse on __builtin_expect
2229 argument if the argument is truth_value_p.
2231 2010-03-24 Michael Meissner <meissner@linux.vnet.ibm.com>
2233 * config/rs6000/constraints.md: Update copyright year for my changes.
2236 * config/rs6000/rs6000.c (rs6000_split_multireg_move): If r0 is
2237 used in reg+reg addressing, swap registers.
2239 2010-03-24 Jakub Jelinek <jakub@redhat.com>
2242 * target.h (struct gcc_target): Add code_end hook.
2243 * target-def.h (TARGET_ASM_CODE_END): Define to hook_void_void
2245 (TARGET_ASM_OUT): Add TARGET_ASM_CODE_END.
2246 * toplev.c (compile_file): Call targetm.asm_out.code_end
2247 hook before unwind info/debug info output.
2248 * config/i386/winnt.c (i386_pe_file_end): Don't call ix86_file_end.
2249 * config/i386/linux.h (NEED_INDICATE_EXEC_STACK): Don't define.
2250 (TARGET_ASM_FILE_END): Define to file_end_indicate_exec_stack.
2251 * config/i386/linux64.h (NEED_INDICATE_EXEC_STACK): Don't define.
2252 (TARGET_ASM_FILE_END): Define to file_end_indicate_exec_stack.
2253 * config/i386/i386.c (ix86_file_end): Renamed to...
2254 (ix86_code_end): ... this. Make static. Don't call
2255 file_end_indicate_exec_stack. Emit unwind info using
2256 final_start_function/final_end_function.
2257 (darwin_x86_file_end): Remove.
2258 (TARGET_ASM_CODE_END): Define.
2259 * config/i386/i386.h (TARGET_ASM_FILE_END,
2260 NEED_INDICATE_EXEC_STACK): Don't define.
2261 * config/i386/darwin.h (darwin_x86_file_end): Remove prototype.
2262 (TARGET_ASM_FILE_END): Define to darwin_file_end.
2263 * config/i386/i386-protos.h (ix86_file_end): Remove prototype.
2264 * doc/tm.texi (TARGET_ASM_CODE_END): Document.
2267 * config/i386/i386.c (x86_output_mi_thunk): Call final_start_function
2268 at the beginning and final_end_function at the end.
2269 * config/s390/s390.c (s390_output_mi_thunk): Likewise.
2271 2010-03-24 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2273 * configure.ac (i[34567]86-*-*): Handle Solaris 2/x86 TLS support
2274 and Sun as TLS syntax.
2275 (TLS_SECTION_ASM_FLAG) [on_solaris && !gas_flag]: Define.
2276 * configure: Regenerate.
2277 * config.in: Regenerate.
2278 * varasm.c (TLS_SECTION_ASM_FLAG): Define default.
2279 (default_elf_asm_named_section): Use it.
2280 * config/i386/i386.c (output_pic_addr_const): Lowercase @DTPOFF.
2281 (i386_output_dwarf_dtprel): Likewise.
2282 (output_addr_const_extra): Likewise.
2283 (output_pic_addr_const): Lowercase @GOTTPOFF.
2284 (output_addr_const_extra): Likewise.
2285 (output_pic_addr_const): Lowercase @GOTNTPOFF.
2286 (output_addr_const_extra): Likewise.
2287 (output_pic_addr_const): Lowercase @INDNTPOFF.
2288 (output_addr_const_extra): Likewise.
2289 (output_pic_addr_const): Lowercase @NTPOFF.
2290 (output_addr_const_extra): Likewise.
2291 (output_pic_addr_const): Lowercase @TPOFF.
2292 (output_addr_const_extra): Likewise.
2293 * config/i386/i386.md (*tls_global_dynamic_32_gnu): Lowercase @TLSGD.
2294 (*tls_global_dynamic_64): Likewise.
2295 (*tls_local_dynamic_base_32_gnu): Lowercase @TLSLDM.
2296 (*tls_local_dynamic_base_64): Lowercase @TLSLD.
2298 * defaults.h (TLS_COMMON_ASM_OP): Provide default.
2299 (ASM_OUTPUT_TLS_COMMON): Use it.
2300 * config/i386/sol2-gas.h (TLS_COMMON_ASM_OP): Undef.
2303 * config.gcc (sparc*-*-solaris2*) [$gas=yes]: Add usegas.h to tm_file.
2304 * config/sparc/sol2.h (ASM_OUTPUT_ALIGNED_COMMON): Move ...
2305 * config/sol2.h (ASM_OUTPUT_ALIGNED_COMMON): ... here.
2306 * config/i386/sol2-10.h (ASM_OUTPUT_ALIGNED_COMMON): Redefine.
2307 * config/i386/sol2.h (TARGET_SUN_TLS): Redefine.
2308 (ASM_DECLARE_OBJECT_NAME) [!USE_GAS]: Redefine.
2310 2010-03-24 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2312 * config/i386/i386.c (override_options): Don't accept
2313 -mtls-dialect=sun any longer.
2314 * config/i386/i386.h (TARGET_SUN_TLS): Define as 0.
2315 * config/i386/i386.md (*tls_global_dynamic_32_sun): Remove.
2316 (*tls_local_dynamic_base_32_sun): Likewise.
2317 * config/i386/sol2.h (TARGET_SUN_TLS): Redefine.
2319 2010-03-24 Jakub Jelinek <jakub@redhat.com>
2322 * dwarf2out.c (mem_loc_descriptor): Don't ICE on
2323 VEC_{MERGE,SELECT,CONCAT,DUPLICATE}.
2326 * ira.c (adjust_cleared_regs): New function.
2327 (update_equiv_regs): Adjust cleared_regs in DEBUG_INSNs.
2331 * cfgexpand.c (gimple_assign_rhs_to_tree): Also set TREE_BLOCK
2333 * expr.c (expand_expr_real): Restore previous
2334 curr_insn_source_location and curr_insn_block after
2335 expand_expr_real_1 call.
2336 (expand_expr_real_1) <case SSA_NAME>: Call expand_expr_real
2337 instead of expand_expr_real_1.
2339 2010-03-23 Vladimir Makarov <vmakarov@redhat.com>
2341 PR rtl-optimization/43413
2342 * ira-color.c (setup_allocno_available_regs_num): Count prohibited
2345 2010-03-22 James E. Wilson <wilson@codesourcery.com>
2348 * ia64.md (call_nogp, call_value_nogp, sibcall_nogp, call_gp,
2349 call_value_gp, sibcall_gp): Use 's' constraint not 'i'.
2351 2010-03-22 H.J. Lu <hongjiu.lu@intel.com>
2353 * config/i386/i386.c (ix86_target_string): Add -mfma.
2354 Fix a typo in comment.
2356 2010-03-22 Mike Stump <mikestump@comcast.net>
2359 * config/rs6000/rs6000.c (darwin_rs6000_special_round_type_align):
2360 Don't overly align based upon packed packed fields.
2362 2010-03-22 Jason Merrill <jason@redhat.com>
2364 * c-pretty-print.c (pp_c_specifier_qualifier_list) [VECTOR_TYPE]:
2365 Use () rather than [], and move before the element type.
2367 2010-03-22 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2369 * doc/configfiles.texi (Configuration Files): Removed
2370 fixinc/Makefile*, intl/Makefile.*.
2371 * doc/makefile.texi: Fixed markup. Abstract from version
2372 control system used.
2373 (Makefile): Removed obsolete gcc/java/parse.y example.
2374 * doc/sourcebuild.texi: Likewise.
2375 (Top Level): Added config, gnattools, libdecnumber, libgcc,
2376 libgomp, libssp. Removed fastjar.
2377 (Miscellaneous Docs): Clarify location.
2378 Added COPYING3, COPYING3.LIB.
2379 (Front End Directory): Moved Make-lang.in entry to new subsubsection.
2381 2010-03-22 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2384 * config/i386/i386.c (x86_function_profiler)
2385 [!NO_PROFILE_COUNTERS]: Fix typo.
2386 * config/i386/gmon-sol2.c (_mcleanup) [__x86_64__]: Use call
2389 2010-03-22 Janis Johnson <janis187@us.ibm.com>
2390 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2392 * doc/sourcebuild.texi (Test Directives): Split into six
2393 subsections, with most of the current text in new subsections
2394 Directives, Selectors, and Final Actions.
2395 (Directives): Split list of test directives into multiple
2397 (Selectors): Describe use and syntax of selectors.
2398 (Effective-Target Keywords): Describe all existing keywords.
2399 (Add Options): Describe features for dg-add-options.
2400 (Require Support): Describe variants of dg-require-support.
2401 (Final Actions): Describe commands to use in dg-final.
2403 2010-03-22 Michael Matz <matz@suse.de>
2406 * recog.c (validate_replace_rtx_group): Replace also in
2407 REG_EQUAL and REG_EQUIV notes.
2409 2010-03-22 Richard Guenther <rguenther@suse.de>
2411 PR tree-optimization/43390
2412 * tree-vect-stmts.c (get_vectype_for_scalar_type): Make
2413 sure vector extracts are type correct.
2415 2010-03-22 Richard Guenther <rguenther@suse.de>
2418 * builtins.c (expand_builtin_pow): Expand pow (x, 1.5) as
2419 x * sqrt (x) even when optimizing for size if the target
2420 has native support for sqrt.
2422 2010-03-22 Jakub Jelinek <jakub@redhat.com>
2424 * varasm.c (make_decl_rtl_for_debug): Also clear
2425 flag_mudflap for the duration of make_decl_rtl call.
2428 * var-tracking.c (add_cselib_value_chains): Remove ASM_OPERANDS
2429 locs from preserved VALUEs.
2431 2010-03-21 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2434 * pa.md (movmemsi): Set align to one if zero.
2435 (movmemdi): Likewise.
2437 2010-03-21 Richard Earnshaw <rearnsha@arm.com>
2440 * arm.c (arm_output_epilogue): Correctly match VFP pop instructions
2441 with their corresponding prologue pushes.
2443 2010-03-20 Andrew Pinski <pinskia@gmail.com>
2446 * config/spu/spu.c (spu_expand_prologue): Don't emit NOTE_INSN_DELETED
2447 at the begining or end.
2448 (spu_expand_epilogue): Likewise.
2450 2010-03-20 Richard Guenther <rguenther@suse.de>
2452 PR rtl-optimization/43438
2453 * combine.c (make_extraction): Properly zero-/sign-extend an
2454 extraction of the low part of a CONST_INT. Also handle
2457 2010-03-19 Mike Stump <mikestump@comcast.net>
2459 * config/i386/darwin.h (SUBTARGET32_DEFAULT_CPU): Add.
2460 * config/i386/i386.c (SUBTARGET32_DEFAULT_CPU): Add.
2461 (override_options): Use SUBTARGET32_DEFAULT_CPU.
2463 2010-03-19 Andrew Pinski <andrew_pinski@caviumnetworks.com>
2466 * c-decl.c (grokparms): Set arg_types to NULL_TREE if there was
2469 2010-03-19 Bernd Schmidt <bernds@codesourcery.com>
2471 PR rtl-optimization/42258
2472 * ira-lives.c (check_and_make_def_conflict): Ignore conflict for a
2473 use that may match DEF.
2476 * optabs.c (avoid_expensive_constant): Use rtx_cost to find out
2477 the cost of loading the constant rather than assuming
2479 * config/arm/arm.c (thumb1_rtx_costs) <case CONST_INT>: If the
2480 outer code is AND, do the same tests as the andsi3 expander and
2481 return COSTS_N_INSNS (1) if and is cheap.
2483 * optabs.c (avoid_expensive_constant): Fix formatting.
2485 2010-03-19 Michael Matz <matz@suse.de>
2488 * attribs.c (decl_attributes): When rebuilding a function pointer
2489 type use the same qualifiers as the original pointer type.
2491 2010-03-19 Martin Jambor <mjambor@suse.cz>
2493 * doc/gimple.texi (Logical Operators): Describe is_gimple_ip_invariant
2494 and is_gimple_ip_invariant_address.
2496 2010-03-19 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
2499 2009-10-01 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
2501 * config/arm/arm.c (arm_override_options): Turn off
2502 flag_dwarf2_cfi_asm for AAPCS variants.
2504 2010-03-19 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
2507 * config/arm/arm.c (emit_multi_reg_push): Update comments.
2508 Use PRE_MODIFY instead of PRE_DEC.
2509 (emit_sfm): Use PRE_MODIFY instead of PRE_DEC.
2510 (vfp_emit_fstmd): Likewise.
2512 2010-03-19 Michael Matz <matz@suse.de>
2515 * builtins.c (expand_builtin_interclass_mathfn,
2516 expand_builtin_signbit): Use maybe_emit_unop_insn, emit libcalls
2519 2010-03-19 Richard Guenther <rguenther@suse.de>
2521 PR tree-optimization/43415
2522 * tree-ssa-pre.c (phi_translate): Split out worker to ...
2523 (phi_translate_1): ... this.
2524 (phi_translate): Move all caching here. Cache all NARY
2525 and REFERENCE translations.
2527 2010-03-19 David S. Miller <davem@davemloft.net>
2529 With help from Eric Botcazou.
2530 * config/sparc/sparc.c: Include dwarf2out.h.
2531 (emit_pic_helper): Delete.
2532 (pic_helper_symbol_name): Delete.
2533 (pic_helper_emitted_p): Delete.
2534 (pic_helper_needed): New.
2535 (USE_HIDDEN_LINKONCE): Define to '1' if HAVE_GAS_HIDDEN else '0'.
2536 (get_pc_thunk_name): New.
2537 (load_pic_register): Remove 'delay_pic_helper' arg. Use
2538 get_thunk_pc_name and ggc_strdup to generate PIC thunk symbol.
2539 Set pic_helper_needed to true. Don't call emit_pic_helper.
2540 (sparc_expand_prologue): Update load_pic_register call.
2541 (sparc_output_mi_thunk): Likewise.
2542 (sparc_file_end): Emit a hidden comdat symbol for the PIC
2543 thunk if possible. Output CFI information as needed.
2545 2010-03-18 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2546 Jack Howarth <howarth@bromo.med.uc.edu>
2549 * config/i386/i386.h: Fix ABI on darwin x86-32.
2551 2010-03-18 Aldy Hernandez <aldyh@redhat.com>
2553 * tree.h: Declare make_decl_rtl_for_debug.
2554 * varasm.c (make_decl_rtl_for_debug): New.
2555 * dwarf2out.c (rtl_for_decl_location): Call it.
2556 * cfgexpand.c (expand_debug_expr): Call it.
2558 2010-03-18 Jakub Jelinek <jakub@redhat.com>
2561 * var-tracking.c (adjust_mems) <case POST_MODIFY>: Allow BLKmode
2565 * var-tracking.c (vt_init_cfa_base): Do nothing if
2566 cfa_base_rtx would be hard_frame_pointer_rtx or non-fixed register.
2568 2010-03-18 Alexandre Oliva <aoliva@redhat.com>
2571 * var-tracking.c (canonicalize_vars_star): New.
2572 (dataflow_post_merge_adjust): Use it.
2574 2010-03-18 Jakub Jelinek <jakub@redhat.com>
2577 * var-tracking.c (non_suitable_const): New function.
2578 (add_uses): For DEBUG_INSNs with constants, don't record any
2579 value, instead just the constant value itself.
2580 (compute_bb_dataflow) <case MO_VAL_LOC>: If PAT_VAR_LOCATION_LOC
2581 is not VAR_LOC_UNKNOWN_P, set var to the constant.
2582 (emit_notes_in_bb): Likewise.
2583 (emit_note_insn_var_location): For onepart variables if
2584 cur_loc is a VOIDmode constant, use DECL_MODE.
2586 2010-03-18 Martin Jambor <mjambor@suse.cz>
2589 * cgraph.h (cgraph_redirect_edge_call_stmt_to_callee): Declare.
2590 * cgraphunit.c (cgraph_materialize_all_clones): Update calls in
2591 all non-clones. Moved call redirection...
2592 (cgraph_redirect_edge_call_stmt_to_callee): ...to this new function.
2593 (cgraph_materialize_all_clones): Dispose of all
2594 combined_args_to_skip bitmaps.
2595 (verify_cgraph_node): Do not check for edges pointing to wrong
2596 nodes in inline clones.
2597 * tree-inline.c (copy_bb): Call
2598 cgraph_redirect_edge_call_stmt_to_callee.
2599 * ipa.c (cgraph_remove_unreachable_nodes): Call
2600 cgraph_node_remove_callees even when there are used clones.
2602 2010-03-18 H.J. Lu <hongjiu.lu@intel.com>
2604 * config/i386/libgcc-glibc.ver: Make GCC_4.5.0 inherit GCC_4.4.0.
2606 2010-03-18 H.J. Lu <hongjiu.lu@intel.com>
2609 * config/i386/libgcc-glibc.ver: Add __extendxftf2 to GCC_4.5.0
2612 2010-03-18 Michael Matz <matz@suse.de>
2615 * builtins.c (expand_builtin_pow): Don't transform pow(x, 0.5)
2616 into sqrt(x) if we need to preserve signed zeros.
2618 2010-03-18 Steven Bosscher <steven@gcc.gnu.org>
2619 Eric Botcazou <ebotcazou@adacore.com>
2621 PR rtl-optimization/43360
2622 * loop-invariant.c (move_invariant_reg): Remove the REG_EQUAL
2623 note if we don't know its invariant status.
2625 2010-03-18 Michael Matz <matz@suse.de>
2627 PR tree-optimization/43402
2628 * tree-cfgcleanup.c (cleanup_control_expr_graph): Don't follow
2629 PHI chains of ssa names registered for update.
2631 2010-03-17 Peter Bergner <bergner@vnet.ibm.com>
2634 * config/rs6000/rs6000.c (rs6000_split_multireg_move): Add support for
2635 non-offsettable and pre_modify update addressing.
2636 * config/rs6000/dfp.md (*movdd_hardfloat32): Make the "0", "1"
2637 and "2" alternatives "#".
2638 (*movdd_softfloat32): Make all alternatives "#";
2639 * config/rs6000/rs6000.md (DIFD): New define_mode_iterator.
2640 (*movdf_hardfloat32): Make the "0", "1" and "2" alternatives "#".
2641 (*movdf_softfloat32): Make all alternatives "#";
2642 (movdi): Use the new DIFD mode iterator to create a common splitter
2643 for movdi, movdf and movdd patterns.
2645 2010-03-18 Shujing Zhao <pearly.zhao@oracle.com>
2647 * common.opt (dumpdir): Remove redundant tab.
2649 2010-03-17 Martin Jambor <mjambor@suse.cz>
2651 PR tree-optimization/43347
2652 * tree-sra.c (create_access_replacement): Set TREE_NO_WARNING when the
2653 original base is DECL_ARTIFICIAL or DECL_IGNORED_P.
2655 2010-03-17 Bernd Schmidt <bernd.schmidt@analog.com>
2657 PR rtl-optimization/42216
2658 * regrename.c (create_new_chain): New function, broken out from...
2659 (scan_rtx_reg): ... here. Call it. Handle the case where we are
2660 appending a use to an empty chain.
2661 (build_def_use): Remove previous changes that convert OP_INOUT to
2662 OP_OUT operands; instead detect the case where an OP_INOUT operand
2663 uses a previously untracked register and create an empty chain for it.
2665 2010-03-17 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2667 * doc/extend.texi (Function Attributes): Rewrite unfinished
2668 sentence in ms_abi documentation.
2670 2010-03-17 Alan Modra <amodra@gmail.com>
2672 * config/rs6000/linux64.opt (mprofile-kernel): Use profile_kernel var.
2673 * config/rs6000/linux64.h (TARGET_PROFILE_KERNEL): Define.
2674 (SUBSUBTARGET_OVERRIDE_OPTIONS): Don't use SET_PROFILE_KERNEL.
2675 * config/rs6000/rs6000.c (SET_PROFILE_KERNEL): Don't define.
2677 2010-03-16 Richard Henderson <rth@redhat.com>
2680 * tree-eh.c (replace_goto_queue): Also replace in the eh_seq.
2681 (lower_try_finally): Save and restore eh_seq around the expansion
2684 2010-03-16 Aldy Hernandez <aldyh@redhat.com>
2686 * graphite-sese-to-poly.c (split_reduction_stmt): Skip debug
2687 statements before splitting block.
2689 2010-03-16 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2691 * doc/sourcebuild.texi (Testsuites): Fix markup.
2692 Use pathnames relative to gcc/testsuite.
2693 (Test Directives): Move description of how timeout is determined.
2694 (Ada Tests): Favor gnat.exp over ada/acats/tests/gcc.
2695 (C Tests): Correct gcc.misc-tests directory.
2696 Framework tests now live in gcc.test-framework.
2698 2010-03-16 Richard Guenther <rguenther@suse.de>
2701 * tree-cfg.c (gimple_merge_blocks): When propagating virtual PHI
2702 operands make sure to merge SSA_NAME_OCCURS_IN_ABNORMAL_PHI properly.
2704 2010-03-16 Aldy Hernandez <aldyh@redhat.com>
2705 Alexandre Oliva <aoliva@redhat.com>
2707 PR tree-optimization/42917
2708 * lambda-code.c (remove_iv): Skip debug statements.
2709 (lambda_loopnest_to_gcc_loopnest): Likewise.
2710 (not_interesting_stmt): Debug statements are not interesting.
2712 2010-03-16 Jakub Jelinek <jakub@redhat.com>
2716 * cselib.c (cselib_preserve_constants,
2717 cfa_base_preserved_val): New static variables.
2718 (preserve_only_constants): New function.
2719 (cselib_reset_table): If cfa_base_preserved_val is non-NULL, don't
2720 clear its REG_VALUES. If cselib_preserve_constants, don't
2721 empty the whole hash table, but preserve there VALUEs with constants,
2722 cfa_base_preserved_val and cfa_base_preserved_val plus constant.
2723 (cselib_preserve_cfa_base_value): New function.
2724 (cselib_invalidate_regno): Don't invalidate cfa_base_preserved_val.
2725 (cselib_init): Change argument to int bitfield. Set
2726 cselib_preserve_constants to whether CSELIB_PRESERVE_CONSTANTS
2728 (cselib_finish): Clear cselib_preserve_constants and
2729 cfa_base_preserved_val.
2730 * cselib.h (enum cselib_record_what): New enum.
2731 (cselib_init): Change argument to int.
2732 (cselib_preserve_cfa_base_value): New prototype.
2733 * postreload.c (reload_cse_regs_1): Adjust cselib_init caller.
2734 * dse.c (dse_step1): Likewise.
2735 * cfgcleanup.c (thread_jump): Likewise.
2736 * sched-deps.c (sched_analyze): Likewise.
2737 * gcse.c (local_cprop_pass): Likewise.
2738 * simplify-rtx.c (simplify_replace_fn_rtx): Add argument to callback.
2739 If FN is non-NULL, call the callback always and whenever it returns
2740 non-NULL just return that. Only do rtx_equal_p if FN is NULL.
2741 * rtl.h (simplify_replace_fn_rtx): Add argument to callback.
2742 * combine.c (propagate_for_debug_subst): Add old_rtx argument,
2743 compare from with old_rtx and if it isn't rtx_equal_p, return NULL.
2744 * Makefile.in (var-tracking.o): Depend on $(RECOG_H).
2745 * var-tracking.c: Include recog.h.
2746 (bb_stack_adjust_offset): Remove.
2747 (vt_stack_adjustments): Don't call it, instead just gather the
2748 adjustments using insn_stack_adjust_offset_pre_post on each bb insn.
2749 (adjust_stack_reference): Remove.
2750 (compute_cfa_pointer): New function.
2751 (hard_frame_pointer_adjustment, cfa_base_rtx): New static variables.
2752 (struct adjust_mem_data): New type.
2753 (adjust_mems, adjust_mem_uses, adjust_mem_stores, adjust_insn): New
2755 (get_address_mode): New function.
2756 (replace_expr_with_values): Use it.
2757 (use_type): Don't do cselib_lookup for VAR_LOC_UNKNOWN_P.
2758 Use get_address_mode. For cfa_base_rtx return MO_CLOBBER.
2759 (adjust_sets): Remove.
2760 (add_uses): Don't add extra MO_VAL_USE for cfa_base_rtx plus constant.
2761 Use get_address_mode.
2762 (get_adjusted_src): Remove.
2763 (add_stores): Don't call it. Never reuse expr SET. Don't add extra
2764 MO_VAL_USE for cfa_base_rtx plus constant. Use get_address_mode.
2765 (add_with_sets): Don't call adjust_sets.
2766 (fp_setter, vt_init_cfa_base): New functions.
2767 (vt_initialize): Change return type to bool. Move most of pool etc.
2768 initialization to the beginning of the function from end. Pass
2769 CSELIB_RECORD_MEMORY | CSELIB_PRESERVE_CONSTANTS to cselib_init.
2770 If !frame_pointer_needed, call vt_stack_adjustment before mos
2771 vector is filled, call vt_init_cfa_base if argp/framep has been
2772 eliminated to sp. If frame_pointer_needed and argp/framep has
2773 been eliminated to hard frame pointer, set
2774 hard_frame_pointer_adjustment and call vt_init_cfa_base after
2775 encountering fp setter in the prologue. For MO_ADJUST, call
2776 log_op_type before pusing the op into mos vector, not afterwards.
2777 Call adjust_insn before cselib_process_insn/add_with_sets,
2778 call cancel_changes (0) afterwards.
2779 (variable_tracking_main_1): Adjust for vt_initialize calling
2780 vt_stack_adjustments and returning whether it succeeded or not.
2782 2010-03-15 Aldy Hernandez <aldyh@redhat.com>
2784 * graphite-sese-to-poly.c (rewrite_cross_bb_scalar_deps): Skip
2787 2010-03-15 Jakub Jelinek <jakub@redhat.com>
2789 * dwarf2out.c (dwarf2out_frame_debug): Don't assert drap_reg
2791 (based_loc_descr): Use DW_OP_fbreg for vdrap_reg even when
2792 drap_reg has not been set.
2794 2010-03-15 Michael Matz <matz@suse.de>
2797 * tree-outof-ssa.c (emit_partition_copy): New argument sizeexp,
2798 use it to expand block copies.
2799 (insert_partition_copy_on_edge, insert_rtx_to_part_on_edge,
2800 insert_part_to_rtx_on_edge): Adjust callers of emit_partition_copy.
2801 (insert_value_copy_on_edge): Use store_expr for BLKmode values.
2803 2010-03-15 Richard Guenther <rguenther@suse.de>
2805 PR tree-optimization/43367
2806 * tree-cfg.c (gimple_can_merge_blocks_p): Simplify PHI
2809 2010-03-15 Richard Guenther <rguenther@suse.de>
2811 PR tree-optimization/43317
2812 * ipa-struct-reorg.c (create_new_general_access): Update stmt.
2814 2010-03-15 Martin Jambor <mjambor@suse.cz>
2816 PR tree-optimization/43141
2817 * tree-sra.c (create_abstract_origin): New function.
2818 (modify_function): Call create_abstract_origin.
2820 2010-03-15 Chris Demetriou <cgd@google.com>
2822 * Makefile.in (stmp-int-hdrs): Don't chmod include/stdint.h if it
2825 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2828 * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Do not
2829 call insert_out_of_ssa_copy for default definitions.
2831 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2833 * graphite-clast-to-gimple.c (my_long_long): Defined.
2834 (gcc_type_for_cloog_iv): Use it instead of long_long_integer_type_node.
2835 * graphite-sese-to-poly.c (my_long_long): Defined.
2836 (scop_ivs_can_be_represented): Use it.
2838 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2840 * doc/invoke.texi: Fix documentation of graphite-max-nb-scop-params,
2841 graphite-max-bbs-per-function, and loop-block-tile-size.
2842 * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Replace "maximal"
2844 (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Same.
2846 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2848 * graphite-clast-to-gimple.c (gcc_type_for_iv_of_clast_loop): Remove
2849 forward declaration.
2850 * graphite-sese-to-poly.c (reduction_phi_p): Remove FIXME comment.
2851 (add_upper_bounds_from_estimated_nit): New.
2852 (build_loop_iteration_domains): Use it.
2854 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2856 * doc/invoke.texi (PARAM_LOOP_BLOCK_TILE_SIZE): Document.
2858 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2861 * tree-chrec.c (evolution_function_right_is_integer_cst): CHREC_RIGHT
2862 should be an INTEGER_CST. Also handle CASE_CONVERT.
2864 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2866 * graphite.c (graphite_initialize): To bound the number of bbs per
2867 function, use PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION.
2868 * params.def (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Declared.
2869 * doc/invoke.texi: Document it.
2871 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2873 * graphite-sese-to-poly.c (build_poly_scop): Do not return bool.
2874 * graphite-sese-to-poly.h (build_poly_scop): Same.
2876 2010-03-13 Sebastian Pop <sebastian.pop@amd.com>
2878 * graphite-sese-to-poly.c (build_poly_scop): Limit scops following
2879 the number of parameters in the scop. Use as an upper bound
2880 PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS.
2881 * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Declared.
2882 * doc/invoke.texi: Document it.
2884 2010-03-13 Jerry Quinn <jlquinn@optonline.net>
2886 * Makefile.in (TEXI_GCCINT_FILES): Remove c-tree.texi.
2887 * doc/c-tree.texi: Remove.
2888 * doc/generic.texi: Merge c-tree.texi here.
2889 * doc/gccint.texi (Trees): Remove menu entry.
2890 (c-tree.texi): Remove @include.
2891 * doc/rtl.texi (Reading RTL): Update pxref from Trees to GENERIC.
2892 * doc/languages.texi (Reading RTL): Ditto.
2894 2010-03-12 Steve Ellcey <sje@cup.hp.com>
2897 * config/ia64/sync.md (sync_compare_and_swap): Move memory fence.
2899 2010-03-12 Michael Meissner <meissner@linux.vnet.ibm.com>
2902 * gcc/config/rs6000/rs6000.c (rs6000_emit_move): Delete band-aid
2903 code added to work around reload clobbering CONST insns.
2905 2010-03-12 Jakub Jelinek <jakub@redhat.com>
2907 * cselib.c (LONG_TERM_PRESERVED_VALUE_P): Remove.
2908 (cselib_preserve_definitely, cselib_clear_preserve): Remove.
2909 (cselib_preserve_only_values): Remove retain argument, don't
2910 traverse hash table with cselib_{preserve_definitely,clear_preserve}.
2911 * cselib.h (cselib_preserve_only_values): Remove retain argument.
2912 * var-tracking.c (micro_operation): Move insn field before union.
2913 Add DEF_VEC_O and DEF_VEC_ALLOC_O for this type.
2914 (struct variable_tracking_info_def): Remove n_mos field, change
2915 mos into a vector of micro_operations.
2916 (count_uses, count_uses_1, count_stores, count_with_sets): Remove.
2917 (bb_stack_adjust_offset, log_op_type, add_uses, add_stores,
2918 compute_bb_dataflow, emit_notes_in_bb): Adjust for VTI (bb)->mos
2919 changing into a vector.
2920 (add_with_sets): Likewise. Ensure MO_VAL_USE uops from add_stores
2921 come before all other uops generated by add_stores.
2922 (vt_add_function_parameters): Adjust for cselib_preserve_only_values
2924 (vt_initialize): Likewise. Adjust for VTI (bb)->mos changing into
2925 a vector. Run just one pass over the bbs instead of separate counting
2926 and computation phase.
2927 (vt_finalize): Free VTI (bb)->mos vector instead of array.
2930 * tree-inline.c (remap_decls): Put old_var rather than origin_var
2931 into *nonlocalized_list vector.
2932 * dwarf2out.c (gen_formal_parameter_die): Call decl_ultimate_origin
2933 even if origin is non-NULL.
2934 (gen_variable_die): Likewise.
2935 (process_scope_var): Don't change origin.
2936 (gen_decl_die): Likewise.
2937 * tree-cfgcleanup.c (remove_forwarder_block): Check single_pred_p
2938 before adding new edges instead of after it, fix moving over
2941 2010-03-11 David S. Miller <davem@davemloft.net>
2943 * configure.ac (gcc_cv_as_cfi_advance_working): Skip a multiple
2945 * configure: Rebuild.
2947 2010-03-11 Martin Jambor <mjambor@suse.cz>
2949 PR tree-optimization/43257
2950 * tree.c (assign_assembler_name_if_neeeded): New function.
2951 (free_lang_data_in_cgraph): Assembler name assignment moved to the
2953 * tree.h (assign_assembler_name_if_neeeded): Declare.
2954 * cgraphunit.c (cgraph_analyze_function): Create an assembler name for
2955 the function if needed.
2957 2010-03-11 Chris Demetriou <cgd@google.com>
2959 * Makefile.in (stmp-int-hdrs): Make include/unwind.h,
2960 include/stdint-gcc.h, and include/stdint.h world-readable.
2962 2010-03-11 Richard Guenther <rguenther@suse.de>
2964 PR tree-optimization/43255
2965 * tree-vrp.c (process_assert_insertions_for): Do not insert
2966 asserts for trivial conditions.
2968 2010-03-11 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
2970 PR tree-optimization/43280
2971 * tree-ssa-math-opts.c (find_bswap_1): Modify symbolic number
2972 generation. Move calculation of size out of the if branch.
2973 (find_bswap): Modify compare number generation.
2975 2010-03-11 Richard Guenther <rguenther@suse.de>
2978 * lto-streamer-in.c (maybe_fixup_decls): Simplify.
2979 (input_gimple_stmt): Fixup handled component types during
2980 operand read. Also fix up decls in ADDR_EXPRs.
2982 2010-03-10 Eric Botcazou <ebotcazou@adacore.com>
2984 * config/sparc/sol2-bi.h (CC1_SPEC): Default to -mcpu=v9 for -m32.
2985 * config/sparc/t-sol2-64 (MULTILIB_DIRNAMES): Use sparcv8plus.
2987 2010-03-10 Jan Hubicka <jh@suse.cz>
2990 * ipa.c (function_and_variable_visibility) Normalize COMMON bits.
2991 * varasm.c (get_variable_section): Don't do that here...
2992 (make_decl_rtl): ... and here.
2993 (do_assemble_alias): Produce decl RTL.
2994 (assemble_alias): Likewise.
2996 2010-03-10 Jakub Jelinek <jakub@redhat.com>
2999 * reg-notes.def (REG_CFA_SET_VDRAP): New note.
3000 * dwarf2out.c (dwarf2out_frame_debug_expr): Remove rule 20 - setting
3002 (dwarf2out_frame_debug): Handle REG_CFA_SET_VDRAP note.
3003 (based_loc_descr): Only express drap or vdrap regno based expressions
3004 using DW_OP_fbreg when not optimizing.
3005 * config/i386/i386.c (ix86_get_drap_rtx): When not optimizing,
3006 make the vDRAP = DRAP assignment RTX_FRAME_RELATED_P and add
3007 REG_CFA_SET_VDRAP note.
3009 2010-03-10 Alexander Monakov <amonakov@ispras.ru>
3011 PR tree-optimization/43236
3012 * tree-loop-distribution.c (generate_memset_zero): Fix off-by-one
3013 error in calculation of base address in reverse iteration case.
3014 (generate_builtin): Take number of latch executions if the statement
3017 2010-03-10 Andrey Belevantsev <abel@ispras.ru>
3020 * tree-eh.c: Include pointer-set.h.
3021 (lower_eh_dispatch): Filter out duplicate case labels and
3022 remove the unneeded edge when the label is unused. Return
3023 true when some edges are removed.
3024 (execute_lower_eh_dispatch): When any lowering resulted in
3025 removing an edge, also delete unreachable blocks.
3027 2010-03-10 Jakub Jelinek <jakub@redhat.com>
3030 * config/rs6000/rs6000.c (rs6000_delegitimize_address): Handle
3031 UNSPEC_MACHOPIC_OFFSET.
3033 2010-03-09 Andreas Schwab <schwab@linux-m68k.org>
3036 * config/m68k/m68k.c (TARGET_DELEGITIMIZE_ADDRESS): Define.
3037 (m68k_delegitimize_address): New function.
3039 2010-03-09 Jakub Jelinek <jakub@redhat.com>
3042 * dwarf2out.c (const_ok_for_output_1): Return 1 for UNSPECs.
3045 * var-tracking.c (adjust_sets): New function.
3046 (count_with_sets, add_with_sets): Use it.
3047 (get_adjusted_src): New inline function.
3048 (add_stores): Use it.
3051 * var-tracking.c (vt_expand_loc_callback) <case SUBREG>: If dummy,
3052 call cselib_dummy_expand_value_rtx_cb instead of
3053 cselib_expand_value_rtx_cb.
3056 * config/i386/t-i386 (i386.o): Depend on debug.h and dwarf2out.h.
3057 * config/i386/i386.c: Include debug.h and dwarf2out.h.
3058 (ix86_file_end): If dwarf2out_do_cfi_asm (), emit .cfi_startproc
3059 and .cfi_endproc around the pic thunks.
3060 (output_set_got): For TARGET_DEEP_BRANCH_PREDICTION pic, ensure
3061 all queued unwind info register saves are saved before the call.
3062 For !TARGET_DEEP_BRANCH_PREDICTION pic, ensure the call is
3063 considered as sp-=4 for unwind info and the pop as sp+=4 which
3064 also clobbers dest, but doesn't actually restore it.
3067 * config/i386/i386.c (ix86_get_drap_rtx): Don't set
3068 RTX_FRAME_RELATED_P.
3070 2010-03-09 Jie Zhang <jie@codesourcery.com>
3072 * config/arm/arm.md (thumb_mulsi3_v6): Remove trailing
3073 whitespaces in output template.
3075 2010-03-09 Jie Zhang <jie@codesourcery.com>
3077 * ira-lives.c (check_and_make_def_use_conflict): Don't fall
3080 2010-03-08 Jakub Jelinek <jakub@redhat.com>
3082 * Makefile.in (check_gcc_parallelize): Run dg-torture.exp and
3083 builtins.exp in a separate job.
3085 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3087 * graphite-sese-to-poly.c (add_param_constraints): Use
3088 lower_bound_in_type and upper_bound_in_type.
3090 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3092 * graphite-sese-to-poly.c (add_param_constraints): Use sizetype
3093 instead of unsigned_type_node.
3095 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3096 Reza Yazdani <reza.yazdani@amd.com>
3099 * graphite-sese-to-poly.c (add_param_constraints): Insert bounds
3100 on pointer type parameters.
3102 2010-03-08 Tobias Grosser <grosser@fim.uni-passau.de>
3106 * graphite-clast-to-gimple.c (clast_to_gcc_expression): Also
3107 handle conversions from pointer to integers.
3108 (gcc_type_for_cloog_iv): Choose the smalles signed integer as an
3109 induction variable, to be able to work with code generated by CLooG.
3110 * graphite-sese-to-poly.c (scop_ivs_can_be_represented): New.
3111 (build_poly_scop): Bail out if we cannot codegen a loop.
3113 2010-03-08 Tobias Grosser <grosser@fim.uni-passau.de>
3115 * graphite-clast-to-gimple.c (translate_clast): Do not short-cut
3116 code generation with gloog_error.
3118 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3120 * sese.c (expand_scalar_variables_ssa_name): Add new argument for type.
3121 Call fold_convert on all the returned values.
3122 (expand_scalar_variables_expr): Pass to
3123 expand_scalar_variables_ssa_name the type of the resulting expression.
3125 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3127 * graphite-ppl.c (ppl_min_for_le_polyhedron): Renamed
3128 ppl_min_for_le_pointset.
3129 Use ppl_Pointset_Powerset_C_Polyhedron_minimize.
3130 * graphite-ppl.h (ppl_min_for_le_polyhedron): Update declaration.
3132 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3134 * graphite-dependences.c (map_into_dep_poly): Removed.
3135 (dependence_polyhedron_1): Use combine_context_id_scat.
3137 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3139 * graphite-poly.h (struct poly_scattering): Add layout documentation.
3140 (struct poly_bb): Same.
3141 (combine_context_id_scat): New.
3143 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3146 * sese.c (name_defined_in_loop_p): Return false for default
3149 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3151 * graphite-clast-to-gimple.c (find_cloog_iv_in_expr): Simplify
3152 and clean up the logic.
3154 2010-03-08 Sebastian Pop <sebastian.pop@amd.com>
3156 * graphite-sese-to-poly.c (add_param_constraints): Enabled: remove
3159 2010-03-08 Jakub Jelinek <jakub@redhat.com>
3161 * var-tracking.c (remove_cselib_value_chains): Define only for
3163 (dataflow_set_preserve_mem_locs, dataflow_set_remove_mem_locs,
3164 delete_slot_part, emit_notes_for_differences_1): Don't call
3165 remove_cselib_value_chains here.
3166 (set_slot_part, emit_notes_for_differences_2): Don't call
3167 add_cselib_value_chains here.
3168 (preserved_values): New vector.
3169 (preserve_value): New function.
3170 (add_uses, add_stores, vt_add_function_parameters): Use it
3171 instead of cselib_preserve_value.
3172 (changed_values_stack): New vector.
3173 (check_changed_vars_0): New function.
3174 (check_changed_vars_1, check_changed_vars_2): Use it.
3175 (emit_notes_for_changes): Call set_dv_changed (*, false) on all
3176 changed_values_stack VALUEs.
3177 (vt_emit_notes): For all preserved_values call
3178 add_cselib_value_chains. If ENABLE_CHECKING call
3179 remove_cselib_value_chains before verifying value_chains is empty.
3180 Initialize and free changed_values_stack.
3181 (vt_initialize): Initialize preserved_values.
3182 (vt_finalize): Free preserved_values.
3184 2010-03-08 Richard Guenther <rguenther@suse.de>
3186 PR tree-optimization/43269
3187 * tree-ssa-dse.c (dse_possible_dead_store_p): Fix post-dom
3190 2010-03-08 Martin Jambor <mjambor@suse.cz>
3192 * ipa-prop.h (struct ipa_param_descriptor): Removed the called field.
3193 (ipa_is_param_called): Removed.
3194 * ipa-prop.c (ipa_note_param_call): Do not set the called flag.
3195 (ipa_print_node_params): Do not print the called flag.
3196 (ipa_write_node_info): Do not stream the called flag.
3197 (ipa_read_node_info): Likewise.
3199 2010-03-07 Jakub Jelinek <jakub@redhat.com>
3202 * Makefile.in (var-tracking.o): Depend on pointer-set.h.
3203 * cselib.c (struct expand_value_data): Add dummy field.
3204 (cselib_expand_value_rtx, cselib_expand_value_rtx_cb): Initialize
3206 (cselib_dummy_expand_value_rtx_cb): New function.
3207 (cselib_expand_value_rtx_1): If evd->dummy is true, don't allocate
3209 * cselib.h (cselib_dummy_expand_value_rtx_cb): New prototype.
3210 * var-tracking.c: Include pointer-set.h.
3211 (variable): Change n_var_parts to char from int. Add
3212 cur_loc_changed and in_changed_variables fields.
3213 (variable_canonicalize): Remove.
3214 (shared_var_p): New inline function.
3215 (unshare_variable): Maintain cur_loc_changed and
3216 in_changed_variables fields. If var was in changed_variables,
3217 replace it there with new_var. Just copy cur_loc instead of
3218 resetting it to something else.
3219 (variable_union): Don't recompute cur_loc. Use shared_var_p.
3220 (dataflow_set_union): Don't call variable_canonicalize.
3221 (loc_cmp): If both x and y are DEBUG_EXPRs, compare uids
3222 of their DEBUG_EXPR_TREE_DECLs.
3223 (canonicalize_loc_order_check): Verify that cur_loc is NULL
3224 and in_changed_variables and cur_loc_changed is false.
3225 (variable_merge_over_cur): Clear cur_loc, in_changed_variables
3226 and cur_loc_changed. Don't update cur_loc here.
3227 (variable_merge_over_src): Don't call variable_canonicalize.
3228 (dataflow_set_preserve_mem_locs): Use shared_var_p. When
3229 removing loc that is equal to cur_loc, clear cur_loc,
3230 set cur_loc_changed and ensure variable_was_changed is called.
3231 (dataflow_set_remove_mem_locs): Use shared_var_p. Only
3232 compare pointers in cur_loc check, if it is equal to loc,
3233 clear cur_loc and set cur_loc_changed. Don't recompute cur_loc here.
3234 (variable_different_p): Remove compare_current_location argument,
3235 don't compare cur_loc.
3236 (dataflow_set_different_1): Adjust variable_different_p caller.
3237 (variable_was_changed): If dv had some var in changed_variables
3238 already, reset in_changed_variables flag for it and propagate
3239 cur_loc_changed over to the new variable. On empty var
3240 always set cur_loc_changed. Set in_changed_variables on whatever
3241 var is added to changed_variables.
3242 (set_slot_part): Clear cur_loc_changed and in_changed_variables.
3243 Use shared_var_p. When removing loc that is equal to cur_loc,
3244 clear cur_loc and set cur_loc_changed. If cur_loc is NULL at the
3245 end, don't set it to something else, just call variable_was_changed.
3246 (delete_slot_part): Use shared_var_p. When cur_loc equals to
3247 loc being removed, clear cur_loc and set cur_loc_changed.
3248 Set cur_loc_changed if all locations have been removed.
3249 (struct expand_loc_callback_data): New type.
3250 (vt_expand_loc_callback): Add dummy mode in which no rtxes are
3251 allocated. Always create SUBREGs if simplify_subreg failed.
3252 Prefer to use cur_loc, when that fails and still in
3253 changed_variables (and seen first time) recompute it. Set
3254 cur_loc_changed of variables which had to change cur_loc and
3255 compute elcd->cur_loc_changed if any of the subexpressions used
3256 had to change cur_loc.
3257 (vt_expand_loc): Adjust to pass arguments in
3258 expand_loc_callback_data structure.
3259 (vt_expand_loc_dummy): New function.
3260 (emitted_notes): New variable.
3261 (emit_note_insn_var_location): For VALUEs and DEBUG_EXPR_DECLs
3262 that weren't used for any other decl in current
3263 emit_notes_for_changes call call vt_expand_loc_dummy to update
3264 cur_loc. For -fno-var-tracking-assignments, set cur_loc to
3265 first loc_chain location if NULL before. Always use just
3266 cur_loc instead of first loc_chain location. When cur_loc_changed
3267 is false, when not --enable-checking=rtl just don't emit any note.
3268 When rtl checking, compute the note and assert it is the same
3269 as previous note. Clear cur_loc_changed and in_changed_variables
3270 at the end before removing from changed_variables.
3271 (check_changed_vars_3): New function.
3272 (emit_notes_for_changes): Traverse changed_vars to call
3273 check_changed_vars_3 on each changed var.
3274 (emit_notes_for_differences_1): Clear cur_loc_changed and
3275 in_changed_variables. Recompute cur_loc of new_var.
3276 (emit_notes_for_differences_2): Clear cur_loc if new variable appears.
3277 (vt_emit_notes): Initialize and destroy emitted_notes.
3279 2010-03-07 Bernd Schmidt <bernd.schmidt@analog.com>
3281 PR rtl-optimization/42220
3282 * regrename.c (scan_rtx) <case STRICT_LOW_PART, ZERO_EXTRACT>:
3283 Use verify_reg_tracked to determine if we should use OP_OUT rather
3285 (build_def_use): If we see an in-out operand for a register that we
3286 know nothing about, treat is an output if possible, fail the block if
3289 2010-03-06 Alexandre Oliva <aoliva@redhat.com>
3292 * gimple-iterator.c (gsi_remove): Propagate only PHI DEFs removed
3295 2010-03-06 Alexandre Oliva <aoliva@redhat.com>
3298 * tree-vect-loop.c (vect_transform_loop): Kill out-of-loop debug
3299 uses of relevant DEFs that are dead outside the loop too.
3301 2010-03-06 Alexandre Oliva <aoliva@redhat.com>
3303 * var-tracking.c (dataflow_set_merge): Swap src and src2.
3305 2010-01-13 Jakub Jelinek <jakub@redhat.com>
3307 * var-tracking.c (values_to_unmark): New variable.
3308 (find_loc_in_1pdv): Clear VALUE_RECURSED_INTO of values in
3309 values_to_unmark vector. Moved body to...
3310 (find_loc_in_1pdv_1): ... this. Don't clear VALUE_RECURSED_INTO,
3311 instead queue it into values_to_unmark vector.
3312 (vt_find_locations): Free values_to_unmark vector.
3314 2010-03-05 Eric Botcazou <ebotcazou@adacore.com>
3316 * Makefile.in (PLUGINCC, PLUGINCFLAGS): New variables.
3317 (site.exp): Export them when plugins are enabled.
3319 2010-03-05 Sebastian Pop <sebastian.pop@amd.com>
3322 * tree-chrec.c (chrec_fold_plus_1): Do not handle convert expressions
3324 (chrec_fold_multiply): Same.
3326 2010-03-04 Andrew Pinski <andrew_pinski@caviumnetworks.com>
3329 * c-decl.c (build_compound_literal): Return early if init is
3332 2010-03-04 Martin Jambor <mjambor@suse.cz>
3334 PR tree-optimization/43164
3335 PR tree-optimization/43191
3336 * tree-sra.c (type_consists_of_records_p): Reject records with
3337 zero-size bit-fields at the end.
3339 2010-03-04 Mike Stump <mikestump@comcast.net>
3341 * Makefile.in (TAGS): Remove *.y.
3343 2010-03-04 Richard Guenther <rguenther@suse.de>
3345 PR tree-optimization/40761
3346 * tree-ssa-pre.c (compute_antic): Walk reverse postorder
3348 (my_rev_post_order_compute): New function.
3349 (init_pre): Call it.
3351 2010-03-04 Changpeng Fang <changpeng.fang@amd.com>
3354 * tree-ssa-loop-ivopts.c (determine_use_iv_cost_condition): Do not
3355 decrease the cost of an IV candidate when the cost is infinite.
3357 2010-03-04 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3359 * doc/extend.texi (Vector Extensions, X86 Built-in Functions):
3360 Use '3DNow!' for the extension of that name, ensure normal space
3362 * doc/invoke.texi (i386 and x86-64 Options): Likewise.
3364 2010-03-03 Jeff Law <law@redhat.com>
3366 * PR middle-end/32693
3367 * expmed.c (store_bit_field_1): Use gen_lowpart_SUBREG rather
3368 than gen_rtx_SUBREG.
3369 (extract_bit_field_1): Likewise.
3371 2010-03-03 Janis Johnson <janis187@us.ibm.com>
3373 * doc/sourcebuild.texi (Test directives): Document that arguments
3374 include-opts and exclude-opts are now optional for dg-skip-if,
3375 dg-xfail-if, dg-xfail-run-if, and dg-shouldfail.
3377 2010-03-03 Jason Merrill <jason@redhat.com>
3380 * cgraph.h (varpool_node): Add extra_name field.
3381 * varpool.c (varpool_extra_name_alias): New.
3382 (varpool_assemble_decl): Emit extra name aliases.
3383 (varpool_mark_needed_node): Look past an extra name alias.
3384 * lto-streamer.h (LTO_tags): Add LTO_var_decl_alias.
3385 * lto-streamer-in.c (lto_input_tree): Read it.
3386 * lto-streamer-out.c (output_unreferenced_globals): Write it.
3388 2010-03-03 Eric Botcazou <ebotcazou@adacore.com>
3390 * config.gcc (sparc64-*-solaris2*, sparc-*-solaris2*): Merge into...
3391 (sparc*-*-solaris2*): ...this.
3393 2010-03-03 Jakub Jelinek <jakub@redhat.com>
3396 * cfgexpand.c (expand_debug_expr): Handle DOT_PROD_EXPR,
3397 WIDEN_MULT_EXPR and WIDEN_SUM_EXPR. Return NULL without
3398 ICE for vector expressions, ADDR_SPACE_CONVERT_EXPR,
3399 FIXED_CONVERT_EXPR, OBJ_TYPE_REF and WITH_SIZE_EXPR.
3402 * dwarf2out.c (add_bound_info): If a decl bound doesn't have decl_die,
3403 fallthrough to default handling, just with want_address 0 instead of 2.
3404 For single element lists, add_AT_loc directly, otherwise create an
3405 artificial variable DIE and stick location list to it.
3408 * var-tracking.c (loc_cmp): Don't assert VALUEs have the same mode.
3409 (VAL_EXPR_HAS_REVERSE): Define.
3410 (reverse_op): New function.
3411 (add_stores): For reversible operations add an extra MO_VAL_USE.
3413 2010-03-02 Jason Merrill <jason@redhat.com>
3415 * c-pretty-print.c (pp_c_specifier_qualifier_list): Print vector size.
3417 2010-03-02 Eric Botcazou <ebotcazou@adacore.com>
3419 * config.gcc (sparc-*-linux*): Do not include sparc/gas.h.
3420 (sparc64-*-linux*): Likewise.
3421 (sparc64-*-solaris2*): Include assembler files before linker ones.
3422 (sparc-*-solaris2*): Simplify and reorder to match previous case.
3423 * config/sparc/gas.h: Delete.
3424 * config/sparc/sol2-64.h: Add copyright notice.
3425 * config/sparc/sol2-gas-bi.h: Likewise.
3426 * config/sparc/sol2-gld.h: Likewise.
3427 * config/sparc/sysv4.h (TARGET_ASM_NAMED_SECTION): Delete.
3428 * config/sparc/sol2.h (TARGET_ASM_NAMED_SECTION): Redefine.
3429 * config/sparc/sol2-gas.h (TARGET_ASM_NAMED_SECTION): Likewise.
3430 * config/sparc/sparc.c (TARGET_ASM_ALIGNED_SI_OP): Never redefine.
3431 (sparc_elf_asm_named_section): Rename into...
3432 (sparc_solaris_elf_asm_named_section): ...this. Always define.
3434 2010-03-02 Uros Bizjak <ubizjak@gmail.com>
3436 * config/alpha/alpha.c (override_options): Fix -mtune error message.
3438 2010-03-02 Jeff Law <law@redhat.com>
3441 * reload1.c (rtx_p, substitute_stack): Declare.
3442 (substitute): Record addresses of changed rtxs.