1 2010-05-16 Jan Hubicka <jh@suse.cz>
3 * cgraph.c (cgraph_clone_node): Take decl argument and insert
4 clone into hash when it is different from orig.
5 (cgraph_create_virtual_clone): Update use of cgraph_clone_node.
6 * cgraph.h (cgraph_clone_node): Update prototype.
7 * lto-cgrpah.c (lto_cgraph_encoder_new): Create body map.
8 (lto_cgraph_encoder_delete): Delete body map.
9 (lto_cgraph_encoder_size): Move to header.
10 (lto_cgraph_encoder_encode_body_p, lto_set_cgraph_encoder_encode_body): New.
11 (lto_output_node): Do not take written_decls argument; output clone_of
13 (add_node_to): Add include_body_argument; call
14 lto_set_cgraph_encoder_encode_body on master of the clone.
15 (add_references): Update use of add_node_to.
16 (compute_ltrans_boundary): Likewise.
17 (output_cgraph): Do not create written_decls bitmap.
18 (input_node): Take nodes argument; stream in clone_of correctly.
19 (input_cgraph_1): Update use of input_node.
20 * lto-streamer-out.c (lto_output): Use encoder info to decide
21 what bodies to output.
22 * ipa-inline.c (cgraph_clone_inlined_nodes,
23 cgraph_decide_recursive_inlining): Update call of cgraph_clone_node.
24 * lto-streamer.h (lto_cgraph_encoder_d): Add body.
25 (lto_cgraph_encoder_size): Define here.
26 (lto_cgraph_encoder_encode_body_p, lto_varpool_encoder_encode_body_p):
29 2010-05-16 Richard Guenther <rguenther@suse.de>
31 * doc/invoke.texi (-fipa-struct-reorg): Do not mention
33 * ipa-type-escape.c (gate_type_escape_vars): Run when
34 -fipa-struct-reorg runs.
35 * opts.c (decode_options): Do not unset flag_ipa_type_escape.
36 * common.opt (fipa-type-escape): Remove.
38 2010-05-16 Eric Botcazou <ebotcazou@adacore.com>
40 * opts.c (handle_option): Call into LTO streamer only if ENABLE_LTO.
41 (decode_options): Likewise.
42 * Makefile.in (opts.o): Add dependency on LTO_STREAMER_H.
44 2010-05-16 Jan Hubicka <jh@suse.cz>
46 * ipa.c (function_and_variable_visibility): Also bring local all
49 2010-05-16 Richard Guenther <rguenther@suse.de>
51 * alias.c (nonoverlapping_memrefs_p): Remove use of
52 IPA type-escape information.
54 2010-05-16 Joseph Myers <joseph@codesourcery.com>
56 * c-common.c (c_common_reswords): Add _Static_assert for C.
57 * c-parser.c (c_token_starts_declaration,
58 c_parser_next_token_starts_declaration,
59 c_parser_static_assert_declaration_no_semi,
60 c_parser_static_assert_declaration): New.
61 (c_parser_declaration_or_fndef): Add parameter static_assert_ok.
62 Handle static assertions if static_assert_ok.
63 (c_parser_external_declaration, c_parser_declaration_or_fndef,
64 c_parser_compound_statement_nostart, c_parser_label,
65 c_parser_for_statement, c_parser_objc_methodprotolist,
66 c_parser_omp_for_loop): All callers of
67 c_parser_declaration_or_fndef changed.
68 (c_parser_struct_declaration): Handle static assertions.
69 (c_parser_compound_statement_nostart): Use
70 c_parser_next_token_starts_declaration and
71 c_token_starts_declaration to detect start of declarations.
72 (c_parser_label, c_parser_for_statement, c_parser_omp_for_loop):
75 2010-05-16 Anatoly Sokolov <aesok@post.ru>
77 * config/mmix/mmix.h (FUNCTION_VALUE, FUNCTION_OUTGOING_VALUE,
78 LIBCALL_VALUE, FUNCTION_VALUE_REGNO_P): Remove macros.
79 * config/mmix/mmix.c (TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE,
80 TARGET_FUNCTION_VALUE_REGNO_P): Define.
81 (mmix_function_outgoing_value): Rename to...
82 (mmix_function_value): ...this. Make static. Add 'outgoing' argument.
83 (mmix_function_value_regno_p): Make static.
84 (mmix_libcall_value): New function.
85 * config/mmix/mmix-protos.h (mmix_function_outgoing_value,
86 mmix_function_value_regno_p): Remove declaration.
88 2010-05-16 Eric Botcazou <ebotcazou@adacore.com>
90 * tree.c (build_common_builtin_nodes): Always clear TREE_NOTHROW on
91 BUILT_IN_ALLOCA if stack checking is enabled.
93 2010-05-16 Richard Guenther <rguenther@suse.de>
95 * var-tracking.c (vars_copy_1): Inline ...
96 (vars_copy): ... here. Use FOR_EACH_HTAB_ELEMENT.
97 (variable_union): Use FOR_EACH_HTAB_ELEMENT. Merge asserts.
98 (variable_merge_over_cur): Adjust. Merge asserts.
99 (variable_merge_over_src): Likewise.
100 (dataflow_set_merge): Use FOR_EACH_HTAB_ELEMENT.
101 (variable_post_merge_new_vals): Merge asserts.
102 (variable_post_merge_perm_vals): Likewise.
103 (find_mem_expr_in_1pdv): Likewise.
104 (dataflow_set_different_value): Remove.
105 (onepart_variable_different_p): Merge asserts.
106 (variable_different_p): Likewise.
107 (dataflow_set_different_1): Inline ...
108 (dataflow_set_different): ... here. Use FOR_EACH_HTAB_ELEMENT.
109 (emit_notes_for_differences_1): Merge asserts.
111 2010-05-16 Richard Guenther <rguenther@suse.de>
113 * lto-symtab.c (lto_symtab_entry_hash): Use IDENTIFIER_HASH_VALUE.
114 * optabs.c (libfunc_decl_hash): Likewise.
115 * varasm.c (emutls_decl): Likewise.
117 2010-05-16 Steven Bosscher <steven@gcc.gnu.org>
119 * c-decl.c: Don't include gimple.h.
120 (merge_decls): Do not copy gimple_body.
122 2010-05-15 Jason Merrill <jason@redhat.com>
124 * c.opt: Add -fnothrow-opt.
126 2010-05-15 Jan Hubicka <jh@suse.cz>
128 * ipa-prop.c (ipa_prop_read_section): Add sanity check that node is
130 * passes.c (ipa_write_summaries): Write all analyzed nodes.
132 2010-05-15 Steven Bosscher <steven@gcc.gnu.org>
134 * vecir.h: New file with VEC primitives for tree, gimple, and rtl.
135 * Makefile.in: Add it.
136 Fix all other Makefile dependencies for changes below.
137 * tree.h: Include it instead of defining VEC primitives here.
138 * gimple.h: Likewise.
140 * tree-inline.h: Inlclude vecir.h instead of gimple.h.
141 * except.h: Include vecir.h, break dependence on tree.h.
143 * gimplify.c (append_to_statement_list_1, append_to_statement_list):
145 * tree-iterator.c: ...to here.
146 * tree-iterator.h: Fix file introduction comment. Add extern markers.
148 * c-lex.c: Include fixed-value.h instead of rtl.h. Do not include
150 * c-cppbuiltin.c: Explain why debug.h and tm_p.h are included.
151 * c-objc-common.h: Do not include tm.h, rtl.h, insn-config.h,
152 integrate.h, function.h, toplev.h, tree-inline.h, ggc.h,
153 tree-mudflap.h, and target.h.
154 * c-semantics.c: Do not include except.h, ggc.h, rtl.h, timevar.h,
155 predict.h, tree-inline.h, gimple.h, and langhooks.h.
156 * c-decl.c: Do not include expr.h, ggc.h, libfuncs.h, except.h.
157 Add FIXME for why gimple.h is still included (should be unnecessary
158 since GCC 4.5 gimplification unit-at-a-time).
159 * c-typeck.c: Do not include rtl.h, tm_p.h, ggc.h, and gimple.h.
160 * c-pragma.c: Add FIXME for why function.h needs to be included just
161 for cfun, at front-end level.
162 Add note that REGISTER_TARGET_PRAGMAS should probably be a target hook.
163 Do not include ggc.h, but include vecprim.h for VEC(char).
164 * c-opts.c: Do not include tm.h, tree-inline.h, and tm_p.h.
165 Explain why target.h is included.
166 * c-omp.h: Do not include tm.h, function.h, and bitmap.h.
167 Explain why gimple.h is included.
168 * c-ppoutput.c: Do not include tm.h.
169 * c-common.c: Do not include gimple.h. Explain why expr.h is included.
170 * c-parses.c: Explain why rtl.h is included, and that this (and only
171 this) is also why tm.h must be included.
172 Do not include except.h.
173 * c-lang.c: Do not include ggc.h.
175 2010-05-15 Uros Bizjak <ubizjak@gmail.com>
177 * targhooks.c (GO_IF_MODE_DEPENDENT_ADDRESS): Use CONST_CAST_RTX.
179 2010-05-15 Joseph Myers <joseph@codesourcery.com>
181 * c-decl.c (grokfield): Allow typedefs for anonymous structs and
182 unions by default if those structs and unions have no tags. Do
183 not condition anonymous struct and unions handling on flag_iso.
184 Allow anonymous structs and unions for C1X.
185 (finish_struct): Do not diagnose lack of named fields when
186 anonymous structs and unions present for C1X. Accept flexible
187 array members in structure with anonymous structs or unions but no
188 directly named fields.
189 * doc/extend.texi (Unnamed Fields): Update.
191 2010-05-15 Eric Botcazou <ebotcazou@adacore.com>
193 * gimple.h (compare_field_offset): Rename into...
194 (gimple_compare_field_offset): ...this.
195 * gimple.c (compare_field_offset): Rename into...
196 (gimple_compare_field_offset): ...this. Compare the full access if
197 the offset is self-referential.
198 (gimple_types_compatible_p): Adjust for above renaming.
199 * lto-streamer-in.c (input_gimple_stmt): Likewise. Also compare the
200 DECL_NONADDRESSABLE_P flag of fields before merging them.
202 2010-05-15 Nathan Froyd <froydnj@codesourcery.com>
204 * tree.h (ctor_to_list): Delete.
205 * tree.c (ctor_to_list): Delete.
207 2010-05-15 Jan Hubicka <jh@suse.cz>
209 * ipa-reference.c: Include toplev.h
210 (is_proper_for_analysis): Only add to all_module_statics
212 (write_node_summary_p, stream_out_bitmap,
213 ipa_reference_write_optimization_summary,
214 ipa_reference_read_optimization_summary): New.
215 (struct ipa_opt_pass_d pass_ipa_reference): Add
216 optimization summary streaming.
217 * lto-cgraph.c (referenced_from_this_partition_p,
218 reachable_from_this_partition_p): New functions.
219 * tree-ssa-alias.c (ref_maybe_used_by_call_p_1,
220 call_may_clobber_ref_p_1): Ask ipa-reference even for public vars.
221 * opts.c (decode_options): Enable ipa_reference.
222 * Makefile.in (ipa-reference.o): Add toplev.h dependency.
223 * lto-streamer.h (referenced_from_this_partition_p,
224 reachable_from_this_partition_p): Declare.
226 2010-05-15 Richard Guenther <rguenther@suse.de>
228 PR tree-optimization/44038
229 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Avoid
230 taking the address of a V_C_E of a constant.
232 2010-05-14 Jan Hubicka <jh@suse.cz>
234 * tree.h (memory_identifier_string): Remove.
235 * ipa-reference.c: Update comment; do not include gt-ipa-reference.h
236 (ipa_reference_global_vars_info_d): Remove statics_not_read and
238 (ipa_reference_optimization_summary_d): New structure.
239 (ipa_reference_optimization_summary_t): New type and vector.
240 (ipa_reference_vars_info_d): Embedd structures instead of using
242 (reference_vars_to_consider): Remove out of GGC space.
243 (module_statics_escape): Remove.
244 (global_info_obstack): Rename to ...
245 (optimization_summary_obstack): ... this one.
246 (initialization_status_t): Remove.
247 (memory_identifier_string): Remove.
248 (get_reference_vars_info): Fix indenting.
249 (set_reference_vars_info): Likewise.
250 (get_reference_optimization_summary): New.
251 (set_reference_optimization_summary): New.
252 (get_global_reference_vars_info): Remove.
253 (ipa_reference_get_read_global): Remove.
254 (ipa_reference_get_written_global): Remove.
255 (ipa_reference_get_not_read_global): Update.
256 (ipa_reference_get_not_written_global): Update.
257 (is_proper_for_analysis): Outlaw addressable.
258 (propagate_bits): Update for new datastructures.
259 (analyze_variable): Remove.
260 (init_function_info): Update for new datastructures.
261 (clean_function_local_data): Remove.
262 (clean_function): Remove.
263 (copy_global_bitmap): Use optimizations_summary_obstack.
264 (duplicate_node_data): Duplicate optimization summary only.
265 (remove_node_data): Remove optimization summary only.
266 (generate_summary): Do not analyze variables; do not compute
267 module_statics_escape; do not prune solutions by it.
268 (read_write_all_from_decl): Fix typos in comments.
269 (propagate): Doscover readonly and nonaddressable first;
270 update for new datastructures; share global bitmaps.
271 * ipa-reference.h (ipa_reference_get_read_global,
272 ipa_reference_get_written_global): Remove.
273 * ipa-pure-const.c (check_stmt): Do not use memory_identifier_string.
274 * Makefile.in: Remove ipa-refereference from GT files.
276 2010-05-14 Jakub Jelinek <jakub@redhat.com>
279 * dwarf2out.c (resolve_one_addr): Check TREE_ASM_WRITTEN
280 for all SYMBOL_REF_DECLs.
282 2010-05-14 Jan Hubicka <jh@suse.cz>
284 * cgraph.h (ipa_discover_readonly_nonaddressable_vars): Declare.
285 (varpool_all_refs_explicit_p): New inline function.
286 * ipa-reference.c: Update comment.
287 (module_statics_written): Remove.
288 (get_static_decl): Remove.
289 (ipa_init): Do not initialize module_statics_written.
290 (analyze_function): Likewise.
291 (generate_summary): Likewise; do not compute module_statics_readonly
292 and do not update variable flags.
293 (propagate): Call ipa_discover_readonly_nonaddressable_vars.
294 * ipa.c: Inlucde flags.h
295 (cgraph_local_node_p): New.
296 (cgraph_remove_unreachable_nodes): Return early when not optimizing;
297 promote functions to local.
298 (ipa_discover_readonly_nonaddressable_vars): New function.
299 (function_and_variable_visibility): Use cgraph_local_node_p.
300 * varpool.c (varpool_finalize_decl): Set force_output for
301 DECL_PRESERVE_P vars.
303 2010-05-14 Jan Hubicka <jh@suse.cz>
305 * ipa.c (cgraph_remove_unreachable_nodes): Revert accidental commit.
307 2010-05-14 Richard Guenther <rguenther@suse.de>
309 PR tree-optimization/44119
310 * tree-ssa-pre.c (eliminate): Properly mark replacement of
311 a PHI node necessary.
313 2010-05-14 Eric Botcazou <ebotcazou@adacore.com>
315 * tree.h (TREE_ADDRESSABLE): Remove bogus usage for FIELD_DECL.
317 2010-05-14 Jason Merrill <jason@redhat.com>
320 * gimple.h (enum gf_mask): Add GF_CALL_NOTHROW.
321 (gimple_call_set_nothrow): New.
322 * gimple.c (gimple_build_call_from_tree): Call it.
323 (gimple_call_flags): Set ECF_NOTHROW from GF_CALL_NOTHROW.
326 * gimplify.c (gimplify_seq_add_stmt): No longer static.
327 * gimple.h: Declare it.
328 * gimple.c (gimple_build_eh_filter): No ops.
330 2010-05-14 Jan Hubicka <jh@suse.cz>
332 * ipa.c (enqueue_cgraph_node): Update comment; do not re-enqueue
333 nodes already in queue.
334 (cgraph_remove_unreachable_nodes): Cleanup; fix problem with
337 2010-05-14 Jakub Jelinek <jakub@redhat.com>
340 * cfgexpand.c (expand_debug_expr): If non-memory op0
341 has BLKmode, return NULL.
343 2010-05-14 Harsha Jagasia <harsha.jagasia@amd.com>
345 * config.gcc: Add support for --with-cpu option for bdver1.
346 * config/i386/i386.h (TARGET_BDVER1): New macro.
347 (ix86_tune_indices): Change SSE_UNALIGNED_MOVE_OPTIMAL
348 to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
349 (ix86_tune_features) :Change SSE_UNALIGNED_MOVE_OPTIMAL
350 to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
351 Add SSE_PACKED_SINGLE_INSN_OPTIMAL.
352 (TARGET_CPU_DEFAULT_NAMES): Add bdver1.
353 (processor_type): Add PROCESSOR_BDVER1.
354 * config/i386/i386.md: Add bdver1 as a new cpu attribute to match
355 processor_type in config/i386/i386.h.
356 Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit
357 movaps <reg, reg> instead of movapd <reg, reg> when replacing
358 movsd <reg, reg> or movss <reg, reg> for SSE and AVX.
359 Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL
360 to emit packed xor instead of packed double/packed integer
361 xor for SSE and AVX when moving a zero value.
362 * config/i386/sse.md: Add check for
363 TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movaps instead of
364 movapd/movdqa for SSE and AVX.
365 Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed
366 single logical operations i.e and, or and xor instead of packed double
367 logical operations for SSE and AVX.
368 * config/i386/i386-c.c (ix86_target_macros_internal):
369 Add PROCESSOR_BDVER1.
370 * config/i386/driver-i386.c: Turn on -mtune=native for BDVER1.
371 (has_fma4, has_xop): New.
372 * config/i386/i386.c (bdver1_cost): New variable.
373 (m_BDVER1): New macro.
374 (m_AMD_MULTIPLE): Add m_BDVER1.
375 (x86_tune_use_leave, x86_tune_push_memory, x86_tune_unroll_strlen,
376 x86_tune_deep_branch_prediction, x86_tune_use_sahf, x86_tune_movx,
377 x86_tune_use_simode_fiop, x86_tune_promote_qimode,
378 x86_tune_add_esp_8, x86_tune_tune_sub_esp_4, x86_tune_sub_esp_8,
379 x86_tune_integer_dfmode_moves, x86_tune_partial_reg_dependency,
380 x86_tune_sse_partial_reg_dependency,
381 x86_tune_sse_unaligned_load_optimal,
382 x86_tune_sse_unaligned_store_optimal, x86_tune_sse_typeless_stores,
383 x86_tune_memory_mismatch_stall, x86_tune_use_ffreep,
384 x86_tune_inter_unit_moves, x86_tune_inter_unit_conversions,
385 x86_tune_use_bt, x86_tune_pad_returns, x86_tune_slow_imul_imm32_mem,
386 x86_tune_slow_imul_imm8, x86_tune_fuse_cmp_and_branch):
387 Enable/disable for bdver1.
388 (processor_target_table): Add bdver1_cost.
389 (cpu_names): Add bdver1.
390 (override_options): Set up PROCESSOR_BDVER1 for bdver1 entry in
391 processor_alias_table.
392 (ix86_expand_vector_move_misalign): Change.
393 TARGET_SSE_UNALIGNED_MOVE_OPTIMAL to TARGET_SSE_UNALIGNED_LOAD_OPTIMAL.
394 Check for TARGET_SSE_UNALIGNED_STORE_OPTIMAL.
395 Check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movups instead
396 of movupd/movdqu for SSE and AVX.
397 (ix86_tune_issue_rate): Add PROCESSOR_BDVER1.
398 (ix86_tune_adjust_cost): Add code for bdver1.
399 (standard_sse_constant_opcode): Add check for
400 TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed single xor instead
401 of packed double xor for SSE and AVX.
403 2010-05-14 Pat Haugen <pthaugen@us.ibm.com>
405 * tree-ssa-loop.prefetch.c (prune_ref_by_group_reuse): Cast abs()
408 2010-05-14 Tristan Gingold <gingold@adacore.com>
410 * toplev.c (default_debug_hooks): Remove this variable.
411 (process_options): Remove assignments to default_debug_hooks.
413 2010-05-14 Martin Jambor <mjambor@suse.cz>
415 * langhooks-def.h (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove.
416 (LANG_HOOKS_INITIALIZER): Remove LANG_HOOKS_FOLD_OBJ_TYPE_REF.
417 * langhooks.h (struct lang_hooks_for_decls): Removed field
419 * tree.c (free_lang_data): Remove assignment to
420 lang_hooks.fold_obj_type_ref.
421 * tree.def (OBJ_TYPE_REF): Update comment.
423 2010-05-14 Richard Guenther <rguenther@suse.de>
425 PR tree-optimization/44124
426 * tree-ssa-sccvn.c (vn_nary_may_trap): Fix invalid memory access.
428 2010-05-14 Alan Modra <amodra@gmail.com>
431 * config/rs6000/rs6000.c (struct machine_function): Reorder
432 fields for better packing. Add lr_save_state.
433 (rs6000_ra_ever_killed): Return lr_save_state if set.
434 (rs6000_emit_eh_reg_restore): Set lr_save_state.
436 2010-05-13 Jan Hubicka <jh@suse.cz>
438 * varpool.c (decide_is_variable_needed): Drop code checking
439 TREE_SYMBOL_REFERENCED.
441 2010-05-13 Jan Hubicka <jh@suse.cz>
443 * final.c (output_addr_const): Do not call mark_decl_referenced.
444 * cgraphunit.c (process_function_and_variable_attributes): Use
445 mark_needed_node dirrectly.
446 (assemble_thunk): Do not call mark_decl_referenced.
448 2010-05-13 Anatoly Sokolov <aesok@post.ru>
450 * targhooks.c (default_mode_dependent_address_p): Cast 'addr' to rtx.
452 2010-05-13 Jeff Law <law@redhat.com>
454 * ira-conflicts.c (print_allocno_conflicts): New function broken out
456 (print_conflicts): Call print_allocno_conflicts.
458 2010-05-13 Jakub Jelinek <jakub@redhat.com>
461 * dwarf2out.c (modified_type_die): Don't dereference mod_type_die
464 2010-05-13 Kai Tietz <kai.tietz@onevision.com>
466 * config.gcc (i[34567]86-*-mingw* | x86_64-*-mingw*): Choose
467 t-mingw-w64 or t-mingw-w32 for multilib configuration.
468 * config/i386/t-mingw-w32: New.
469 * config/i386/t-mingw-w64 (MULTILIB_OSDIRNAMES): Change lib64 to lib.
471 2010-05-13 Martin Jambor <mjambor@suse.cz>
473 * gimple.c (gimple_fold_obj_type_ref): Removed (a replacement moved to
475 * gimple-fold.c (get_base_binfo_for_type): New function.
476 (gimple_get_relevant_ref_binfo): Likewise.
477 (gimple_fold_obj_type_ref_known_binfo): Likewise.
478 (gimple_fold_obj_type_ref): Likewise.
479 (fold_gimple_call): Simplify condition for folding virtual calls
480 and call gimple_fold_obj_type_ref.
481 * gimple.h (gimple_get_relevant_ref_binfo): Declare.
482 (gimple_fold_obj_type_ref_known_binfo): Likewise.
484 2010-05-13 Andreas Schwab <schwab@linux-m68k.org>
486 * config/rs6000/rs6000-protos.h
487 (rs6000_mode_dependent_address_ptr): Change argument to const_rtx.
488 * config/rs6000/rs6000.c (rs6000_mode_dependent_address)
489 (rs6000_debug_mode_dependent_address)
490 (rs6000_mode_dependent_address_ptr): Likewise.
492 2010-05-13 Jakub Jelinek <jakub@redhat.com>
495 * var-tracking.c (track_expr_p): Allow tracking of variables optimized
497 * Makefile.in (dwarf2out.o): Depend on $(TREE_FLOW_H).
498 * tree-sra.c (create_access_replacement): Call unshare_expr before
499 passing expr to SET_DECL_DEBUG_EXPR, and remove any SSA_NAMEs from it.
500 * dwarf2out.c: Include tree-flow.h.
501 (struct var_loc_node): Rename var_loc_note field to loc, add comment.
502 (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
503 Handle DW_OP_bit_piece.
504 (decl_piece_bitsize, decl_piece_varloc_ptr, decl_piece_node,
505 construct_piece_list, adjust_piece_list): New functions.
506 (add_var_loc_to_decl): Handle SRA optimized variables.
507 Adjust for var_loc_note to loc field renaming.
508 (dw_loc_list_1): For WANT_ADDRESS == 2 prefer DECL_MODE of decl
509 in VAR_LOCATION note.
510 (new_loc_descr_op_bit_piece): New function.
511 (dw_sra_loc_expr): New function.
512 (dw_loc_list): Use it. Don't handle the last range after the
513 loop, handle it inside of the loop. Adjust for var_loc_note
514 to loc field renaming.
515 (add_location_or_const_value_attribute): Only special case
516 single entry loc lists if loc is NOTE_P. Adjust for
517 var_loc_note to loc field renaming.
518 (dwarf2out_var_location): Don't set newloc->var_loc_note
519 and newloc->next here.
521 2010-05-12 Jan Hubicka <jh@suse.cz>
523 * cgraph.c (cgraph_mark_address_taken_node): No longer imply needed
525 * cgraph.h (cgraph_only_called_directly_p,
526 cgraph_can_remove_if_no_direct_calls_p): test address_taken flag.
527 (cgraph_can_remove_if_no_direct_calls_and_refs_p): New function.
528 * cgraphunit.c (cgraph_mark_functions_to_output): Test address_taken.
530 * ipa.c (cgraph_remove_unreachable_nodes): Use
531 cgraph_can_remove_if_no_direct_calls_and_refs_p; clear address_taken
533 * tree-inline.c (copy_bb): Check address_taken flag.
534 * tree-profile.c (tree_gen_ic_func_profiler): Check address_taken and
535 externally_visible flag.
537 2010-05-12 Jason Merrill <jason@redhat.com>
541 * dbxout.c (dbxout_type): Remove NULLPTR_TYPE handling.
542 * sdbout.c (plain_type_1): Likewise.
543 * dwarf2out.c (is_base_type): Likewise.
544 (gen_type_die_with_usage): Likewise. Generate
545 DW_TAG_unspecified_type for any LANG_TYPE.
547 2010-05-12 Jan Hubicka <jh@suse.cz>
549 * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Build
551 * cgraph.c (cgraph_create_indirect_edge): Take ecf_flags argument.
552 (cgraph_clone_edge): Update.
553 (cgraph_node_remove_callees): Remove indirect calls too.
554 * cgraph.h (cgraph_indirect_call_info): Add ecf_flags.
555 (cgraph_create_indirect_edge): Update prototype.
556 * ipa-reference.c (has_proper_scope_for_analysis): Rename to
557 is_proper_for_analysis.
558 (add_new_function, visited_nodes, function_insertion_hook_holder,
559 get_local_reference_vars_info, mark_address_taken, mark_address,
560 mark_load, mark_store, check_asm_memory_clobber, check_call,
561 scan_stmt_for_static_refs, scan_initializer_for_static_refs): Remove.
562 (ipa_init): Do not initialize visited_nodes;
563 function_insertion_hook_holder.
564 (analyze_variable): Rewrite.
565 (analyze_function): Rewrite.
566 (copy_local_bitmap): Remove.
567 (duplicate_node_dat): Do not duplicate local info.
568 (generate_summary): Simplify to only walk cgraph.
569 (write_node_summary_p, ipa_reference_write_summary,
570 ipa_reference_read_summary): Remove.
571 (propagate): Do not remove function insertion;
573 (pass_ipa_reference): NULLify summary handling fields.
574 * lto-cgraph.c (lto_output_edge): Output ecf_flags.
575 (input_edge): Input ecf_flags.
576 * ipa-prop.c (ipa_note_parm_call): Expect edge to be around.
577 (update_indirect_edges_after_inlining): Ignore edges with unknown
580 2010-05-12 Sriraman Tallam <tmsriram@google.com>
582 * implicit-zee.c: New file.
583 * tree-pass.h (pass_implicit_zee): Declare.
584 * passes.c (init_optimization_passes): Add zee pass.
585 * common.opt (fzee): New flag.
586 * timevar.def (TV_ZEE): Define.
587 * config/i386/i386.c (optimization_options): Turn on ZEE for level 2
589 * Makefile.in (implicit-zee.o): Add new build file.
591 2010-05-12 Kazu Hirata <kazu@codesourcery.com>
592 Nathan Froyd <froydnj@codesourcery.com>
594 * c-common.c (sync_resolve_params): Remove write-only variable.
596 2010-05-12 Anatoly Sokolov <aesok@post.ru>
598 * target.h (struct gcc_target): Add mode_dependent_address_p field.
599 * target-def.h (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
600 (TARGET_INITIALIZER): Use TARGET_MODE_DEPENDENT_ADDRESS_P.
601 * targhooks.c (default_mode_dependent_address_p): New function.
602 * targhooks.h (default_mode_dependent_address_p): Declare function.
603 * doc/tm.texi (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
604 (GO_IF_MODE_DEPENDENT_ADDRESS): Update.
605 * recog.c: (mode_dependent_address_p): Call mode_dependent_address_p
606 target hook. Change return type to bool.
607 * recog.h: (mode_dependent_address_p): Change return type to bool.
609 2010-05-12 Kazu Hirata <kazu@codesourcery.com>
610 Nathan Froyd <froydnj@codesourcery.com>
612 * tree-mudflap.c (build_function_type_0, build_function_type_1,
613 build_function_type_2, build_function_type_3): Remove.
614 (mudflap_init): Use build_function_type_list.
616 2010-05-12 Kazu Hirata <kazu@codesourcery.com>
617 Nathan Froyd <froydnj@codesourcery.com>
619 * coverage.c (build_fn_info_value): Call build_constructor instead of
620 build_constructor_from_list.
621 (build_ctr_info_value): Likewise.
622 (build_gcov_info): Likewise.
624 2010-05-12 Nathan Froyd <froydnj@codesourcery.com>
626 * tree.c (build_constructor): Compute TREE_CONSTANT for the
627 resultant constructor.
628 (build_constructor_single): Don't set TREE_CONSTANT.
629 (build_constructor_from_list): Don't compute TREE_CONSTANT.
631 2010-05-12 Jan Hubicka <jh@suse.cz>
633 * cgraph.h (struct varpool_node): Add aux.
634 * varasm.c (find_decl_and_mark_needed): Force output of varpool nodes.
635 * varpool.c (varpool_remove_node): Do not remove initializer.
636 (varpool_reset_queue): Export.
637 (varpool_finalize_decl): Volatile vars are forced to be output.
638 * lto-symtab.c (lto_varpool_replace_node): Clear out initializer of
640 * ipa.c (enqueue_cgraph_node, enqueue_varpool_node,
641 process_references, varpool_can_remove_if_no_refs): New functions.
642 (cgraph_remove_unreachable_nodes): Handle variables too.
644 2010-05-12 H.J. Lu <hongjiu.lu@intel.com>
647 * config/i386/sse.md (*avx_vmmaskcmp<mode>3): New.
649 2010-05-12 Jakub Jelinek <jakub@redhat.com>
652 * gimplify.c (enum omp_region_type): Add ORT_UNTIED_TASK,
653 change value of ORT_TASK.
654 (new_omp_context): Handle ORT_UNTIED_TASK like ORT_TASK.
655 (omp_notice_threadprivate_variable): New function.
656 (omp_notice_variable): Call it for threadprivate variables.
657 If enclosing ctx is a task, print enclosing task rather than
658 enclosing parallel. Handle ORT_UNTIED_TASK like ORT_TASK.
659 (gimplify_omp_task): Pass ORT_UNTIED_TASK instead of ORT_TASK
660 if task has untied clause.
663 * dwarf2out.c (base_type_die): Don't add name attribute here.
664 (modified_type_die): Instead of sizetype use
665 its underlying original type. If a DW_TAG_base_type doesn't
666 have name added, add __unknown__.
667 (dwarf2out_imported_module_or_decl_1): Don't call base_type_die,
668 always call force_type_die instead.
670 2010-05-12 Maxim Kuvyrkov <maxim@codesourcery.com>
672 * targhooks.c (default_stack_protect_guard): Avoid sharing RTL
673 for __stack_chk_guard.
675 2010-05-11 Jakub Jelinek <jakub@redhat.com>
677 * c-opts.c (c_common_parse_file): If start_end_main_source_file,
678 don't call start_source_file debug hook here...
679 (finish_options): ... but here, after outputting predefined and
680 command line defines and undefs.
683 * cfglayout.c (fixup_reorder_chain): Allow asm goto to have
685 * cfgcleanup.c (try_optimize_cfg): When in cfglayout mode
686 optimizing away empty bb with no successors, move over its
687 footer chain to fallthru predecessor.
688 * cfgrtl.c (patch_jump_insn): Update also REG_LABEL_OPERAND.
689 (rtl_split_edge): For asm goto call patch_jump_insn even if
690 splitting fallthru edge.
693 * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use qnu_unique_object
694 even for DECL_ONE_ONLY DECL_ARTIFICIAL !TREE_READONLY decls.
695 * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Likewise.
696 * dwarf2asm.c (dw2_output_indirect_constant_1): Set TREE_READONLY
700 * c-parser.c (c_parser_expression): Mark LHS of a comma
701 expression as read if it is a decl, handled component or
702 COMPOUND_EXPR with that on the RHS.
703 * c-typeck.c (c_process_expr_stmt): Mark RHS of COMPOUND_EXPR
704 if it is a decl or handled component.
706 2010-05-11 Jan Hubicka <jh@suse.cz>
708 * lto-symtab.c (lto_symtab_free): New function.
709 * lto-streamer.h (lto_symtab_free): Declare.
711 2010-05-11 Jan Hubicka <jh@suse.cz>
713 * lto-cgraph.c (reachable_from_other_partition_p): Export; do not assume
714 that if function is needed it is reachable.
715 (lto_output_node): See if it the function is reachable or referenced.
716 (output_cgraph): Update call of lto_output_node.
717 * lto-streamer.h (reachable_from_other_partition_p): Declare.
719 2010-05-11 Jan Hubicka <jh@suse.cz>
721 * crtstuff.c (__JCR_LIST__, __DTOR_END__, __JCR_END__, __FRAME_END__):
724 2010-05-11 Jan Hubicka <jh@suse.cz>
726 PR tree-optimize/44063
727 * ipa-inline.c (cgraph_edge_badness): Move always inlines to top of
729 (cgraph_decide_inlining_of_small_function): Skip check when disrgarding
731 (estimate_function_body_sizes): Compute sizes even when disregarding.
733 2010-05-11 Kai Tietz <kai.tietz@onevision.com>
735 * collect2.c (maybe_lto_object_file): Add x64-coff magic and check.
737 2010-05-11 Jan Hubicka <jh@suse.cz>
739 * lto-cgraph.c (output_cgraph): Remove loop adding all varpool nodes
742 2010-05-11 Jan Hubicka <jh@suse.cz>
744 * matrix-reorg.c (matrix_reorg): Rebuild edges.
746 2010-05-11 Jan Hubicka <jh@suse.cz>
748 * lto-streamer.c (lto_streamer_cache_add_to_node_array,
749 lto_streamer_cache_delete): Put nodes into heap.
750 * lto-streamer.h (struct lto_streamer_cache_d): Nodes vector is in
753 2010-05-11 Jan Hubicka <jh@suse.cz>
755 * cgraphbuild.c (cgraph_rebuild_references): New.
756 * cgraph.c (cgraph_mark_reachable_node): Accept references to optimized
758 * cgraph.h (cgraph_rebuild_references): Declare.
759 * tree-inline.c (tree_function_versioning): Use it.
760 * ipa-struct-reorg.c (do_reorg_for_func): Likewise.
762 2010-05-11 Jan Hubicka <jh@suse.cz>
764 * cgraph.c: Include ipa-utils.h
765 (cgraph_create_virtual_clone): Update references.
766 * Makefile.in (cgraph.o): Add dependency at ipa-utils.h
768 2010-05-11 Christian Borntraeger <borntraeger@de.ibm.com>
770 * tree-ssa-loop-prefetch.c (prune_ref_by_group_reuse): Reset
771 prefetch_before to PREFETCH_ALL if to accesses "meet" beyond
774 2010-05-11 Christian Borntraeger <borntraeger@de.ibm.com>
776 * tree-ssa-loop-prefetch.c: Add debug for dropped prefetches.
778 2010-05-11 Jakub Jelinek <jakub@redhat.com>
780 * gcc.c (execute): For -### don't quote arguments that
781 contain just alphanumerics and _/-. characters.
782 * doc/invoke.texi: Document that change for -###.
785 * df-problems.c (struct dead_debug): Add to_rescan field.
786 (dead_debug_init): Clear to_rescan field.
787 (dead_debug_finish): Rescan all debug insns in to_rescan
788 bitmap and free the bitmap.
789 (dead_debug_insert_before): Instead of rescanning debug insns
790 immediately queue their rescanning until dead_debug_finish.
791 (df_note_bb_compute): After dead_debug_add do continue instead
794 2010-05-10 Jakub Jelinek <jakub@redhat.com>
797 * haifa-sched.c (schedule_insn): When clearing INSN_VAR_LOCATION_LOC,
798 clear also INSN_REG_USE_LIST.
800 2010-05-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
802 * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Undef.
804 2010-05-10 Jan Hubicka <jh@suse.cz>
806 * lto-stramer-out.c (produce_asm_for_decls): Correct accidentally
809 2010-05-10 Jan Hubicka <jh@suse.cz>
811 * passes.c (ipa_write_summaries_1, ipa_write_optimization_summaries):
813 * lto-section-out.c (lto_new_out_decl_state): Do not allocate it here.
814 * lto-streamer.c (lto_streamer_cache_insert_1): Use alloc pool.
815 (lto_streamer_cache_create): Init alloc pool.
816 (lto_streamer_cache_delete): Free alloc pool.
817 * lto-streamer.h: Include alloc pool.
818 (lto_streamer_cache_d): Use alloc pool.
819 * lto-stramer-out.c (produce_asm_for_decls): Delete fn_out_states.
821 2010-05-10 Jan Hubicka <jh@suse.cz>
823 * Makefile.in (cgraphbuild.o): Add dependency on except.h.
824 * cgraphbuild.c: Include except.h
825 (record_type_list, record_eh_tables): New function.
826 (build_cgraph_edges, rebuild_cgraph_edges): Use it.
828 2010-05-10 Jan Hubicka <jh@suse.cz>
830 * crtstuff.c (force_to_data, __do_global_dtors_aux_fini_array_entry,
831 __frame_dummy_init_array_entry, force_to_data): Attribute as used
834 2010-05-10 Michael Matz <matz@suse.de>
836 * tree-ssa-reassoc.c (undistribute_ops_list): Use create_tmp_reg.
837 (can_reassociate_p): Use FLOAT_TYPE_P.
838 * tree-vectorizer.h (vect_is_simple_reduction): Rename to ...
839 (vect_force_simple_reduction): ... this.
840 * tree-parloops.c (gather_scalar_reductions): Use
841 vect_force_simple_reduction.
842 * tree-vect-loop.c (vect_is_simple_reduction_1): Rename from
843 vect_is_simple_reduction, add modify argument, if true rewrite
845 (vect_is_simple_reduction, vect_force_simple_reduction): New
847 (vect_analyze_scalar_cycles_1): Use vect_force_simple_reduction.
849 2010-05-10 H.J. Lu <hongjiu.lu@intel.com>
850 Vladimir Makarov <vmakarov@redhat.com>
852 PR rtl-optimization/44012
853 * ira-build.c (remove_unnecessary_allocnos): Nullify
854 regno_allocno_map of the removed allocno.
856 2010-05-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
858 * configure.ac (gcc_cv_ld_eh_gc_sections): Redirect objdump errors
860 * configure: Regenerate.
862 2010-05-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
864 * config/sol2.c (solaris_assemble_visibility): Declare decl, vis
866 Define visibility_types, name, type inside HAVE_GAS_HIDDEN.
867 * configure.ac (gcc_cv_ld_hidden): Explain stages of visibility
869 * configure: Regenerate.
871 2010-05-10 Richard Guenther <rguenther@suse.de>
873 * lto-symtab.c (lto_symtab_entry_marked_p): Make entry
874 marked if the entry identifier is marked.
876 2010-05-10 Richard Guenther <rguenther@suse.de>
878 * c-common.c (struct c_common_attributes): Add fnspec attribute.
879 (handle_fnspec_attribute): New function.
880 * gimple.h (gimple_call_return_flags): Declare.
881 (gimple_call_arg_flags): Likewise.
882 * gimple.c (gimple_call_arg_flags): New function.
883 (gimple_call_return_flags): Likewise.
884 * tree.h (EAF_DIRECT, EAF_NOCLOBBER, EAF_NOESCAPE, EAF_UNUSED):
886 (ERF_RETURN_ARG_MASK, ERF_RETURNS_ARG, ERF_NOALIAS): New function
888 * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Skip unused args.
889 * tree-ssa-structalias.c (make_constraint_from_heapvar): Split
891 (make_heapvar_for): ... this new function.
892 (handle_rhs_call): Handle fnspec attribute argument specifiers.
893 (handle_lhs_call): Likewise.
894 (find_func_aliases): Adjust.
896 2010-05-10 Richard Guenther <rguenther@suse.de>
898 PR tree-optimization/44050
899 * tree-inline.c (tree_function_versioning): Clone the ipa-pta flag.
901 2010-05-10 Wei Guozhi <carrot@google.com>
904 * config/arm/thumb2.md (thumb2_tlobits_cbranch): New insn pattern.
906 2010-05-09 Joseph Myers <joseph@codesourcery.com>
909 * c-typeck.c (lookup_field): Take a type directly. Update
911 (build_component_ref): Update call to lookup_field.
912 (set_init_label): Use lookup_field to find initialized field.
913 Handle returned list of fields like a sequence of designators.
915 2010-05-09 Richard Guenther <rguenther@suse.de>
918 * fold-const.c (tree_single_nonzero_warnv_p): Properly
919 handle &FUNCTION_DECL.
921 2010-05-09 Joseph Myers <joseph@codesourcery.com>
924 * c-decl.c (detect_field_duplicates_hash): New. Handle anonymous
925 structures and unions recursively.
926 (detect_field_duplicates): Move duplicate detection with a hash to
927 detect_field_duplicates_hash. Always use a hash if anonymous
928 structures or unions are present.
929 * doc/extend.texi (Unnamed Fields): Document that duplicate fields
932 2010-05-09 H.J. Lu <hongjiu.lu@intel.com>
935 * config/i386/driver-i386.c (host_detect_local_cpu): Properly
936 detect Atom, Core 2 and Core i7.
938 2010-05-09 Richard Guenther <rguenther@suse.de>
940 * gcc.c (store_arg): Handle temporary file deletion for
943 2010-05-09 Richard Guenther <rguenther@suse.de>
946 * ipa-inline.c (estimate_function_body_sizes): Return after
947 disregarding inline limits.
949 2010-05-09 Richard Guenther <rguenther@suse.de>
951 * gcc.c (store_arg): Revert last change.
953 2010-05-08 Sandra Loosemore <sandra@codesourcery.com>
956 * tree-ssa-reassoc.c (eliminate_redundant_comparison): New function.
957 (optimize_ops_list): Call it.
959 2010-05-08 Richard Guenther <rguenther@suse.de>
961 PR tree-optimization/44030
962 * tree-ssa-pre.c (eliminate): Copy NECESSARY flag. Set
963 NECESSARY flag if we propagate from a inserted expression.
965 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
967 * gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of
968 domain types as equal if they are both PLACEHOLDER_EXPRs.
970 2010-05-08 Richard Guenther <rguenther@suse.de>
972 * lto-wrapper.c (run_gcc): Remove linker output from
973 command line for LTRANS invocation.
975 2010-05-07 Steven Bosscher <steven@gcc.gnu.org>
977 * config.gcc (i[34567]86-*-darwin*, x86_64-*-darwin*): Add
978 lto-macho as lto_binary_reader.
979 * target.h (struct gcc_target): New hooks lto_start and lto_end.
980 * target-def.h (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Define.
981 * cgraphunit.c (ipa_passes): Wrap LTO assembler output generation
982 in lto_start and lto_end calls.
983 (is_elf_or_coff): Rename to maybe_lto_object_file. Add Mach-O
985 (scan_prog_file): Update is_elf_or_coff call.
986 * doc/tm.text (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Document.
988 * collect2.c (main): Fix enum comparison.
990 * config/darwin-protos.h (darwin_asm_lto_start, darwin_asm_lto_end):
992 * darwin9.h (LINK_COMMAND_SPEC): Pass -flto and -fwhopr to the linker.
993 * darwin.h (LINK_COMMAND_SPEC): Likewise. Define TARGET_ASM_LTO_START
994 and TARGET_ASM_LTO_END.
995 * darwin.c: Include obstack.h and lto-streamer.h.
996 (lto_section_names_offset, lto_section_names_obstack,
997 lto_asm_out_file, lto_asm_out_name, saved_asm_out_file): New static
999 (LTO_SEGMENT_NAME, LTO_NAMES_SECTION): New defines.
1000 (darwin_asm_lto_start): New function. Redirect output to asm_out_file
1001 to a temporary file.
1002 (darwin_asm_lto_end): New function. Restore asm_out_file.
1003 (darwin_asm_named_section): For LTO sections, replace the name with
1004 the offset of the section name in a string table, and build this
1006 (darwin_file_start): Initialize global vars for LTO support.
1007 (darwin_file_end): If output to asm_out_file was redirected, append it
1008 to the proper asm_out_file here. Add the section names section.
1010 2010-05-07 Steven Bosscher <steven@gcc.gnu.org>
1012 * c-pragma.c (pending_weak_d, pending_weak): New.
1013 (pending_weaks): Change the type to VEC((pending_weak,gc) *.
1014 (maybe_apply_pragma_weak, maybe_apply_pending_pragma_weaks,
1015 handle_pragma_weak): Update the uses of pending_weaks.
1017 2010-05-07 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1019 PR documentation/44016
1020 * doc/standards.texi (Standards): Link to unversioned
1021 cxx0x_status.html page.
1023 2010-05-07 Iain Sandoe <iains@gcc.gnu.org>
1026 * config/darwin-c.c (darwin_pragma_unused): Set DECL_READ_P
1027 in addition to TREE_USED, to avoid "set but unused" warnings.
1029 2010-05-07 Changpeng Fang <changpeng.fang@amd.com>
1031 * tree-ssa-loop-prefetch.c (TRIP_COUNT_TO_AHEAD_RATIO): New.
1032 (is_loop_prefetching_profitable): Do not insert prefetches
1033 when the trip count is not at least TRIP_COUNT_TO_AHEAD_RATIO
1034 times the prefetch ahead distance.
1036 2010-05-07 Changpeng Fang <changpeng.fang@amd.com>
1038 * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable):
1039 Account for loop unrolling in the insn-to-prefetch ratio heuristic.
1040 (loop_prefetch_arrays): Pass to is_loop_prefetching_profitable
1043 2010-05-07 Changpeng Fang <changpeng.fang@amd.com>
1045 * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable): Dump
1046 a diagnostic info when the insn-to-mem ratio is too small.
1048 2010-05-07 Richard Guenther <rguenther@suse.de>
1050 * gcc.c (LINK_COMMAND_SPEC): Provide a resolution file to
1052 (store_arg): Queue temp_filename for deletion instead of
1055 2010-05-07 Richard Guenther <rguenther@suse.de>
1057 * lto-wrapper.c (DUMPBASE_SUFFIX): Define.
1058 (run_gcc): Handle LTRANS phase invocation.
1059 * collect2.c (maybe_run_lto_and_relink): Do not set WPA_SAVE_LTRANS.
1061 2010-05-07 Jakub Jelinek <jakub@redhat.com>
1063 * tree.h (TREE_ADDRESSABLE): Adjust comment to say that
1064 this is also meaningful on PARM_DECLs and RESULT_DECLs.
1066 2010-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1068 * config/mips/iris6.h (LINK_SPEC): Don't pass -init, -fini with -r.
1070 2010-05-07 Richard Guenther <rguenther@suse.de>
1072 PR tree-optimization/44020
1073 * tree-ssa-pre.c (execute_pre): Do not remove dead inserted
1074 code when PRE is not yet initialized.
1076 2010-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1078 * config/mips/dbxmdebug.h: Remove.
1079 * config.gcc (mips-sgi-irix6.5*): Remove mips/dbxmdebug.h.
1081 2010-05-07 Shujing Zhao <pearly.zhao@oracle.com>
1083 * c-typeck.c (build_binary_op): Warn ordered comparison of pointer
1084 with null pointer and also warn about ordered comparison of zero with
1087 2010-05-05 Andreas Simbuerger <simbuerg@fim.uni-passau.de>
1089 * graphite-blocking.c
1090 (pbb_strip_mine_profitable_p): Replace Value with mpz_t.
1091 * graphite-clast-to-gimple.c
1092 (clast_to_gcc_expression): Same.
1093 (precision_for_value): Same.
1094 (precision_for_interval): Same.
1095 (gcc_type_for_interval): Same.
1096 (graphite_create_new_guard): Same.
1097 (compute_bounds_for_level): Same.
1098 (graphite_create_new_loop_guard): Same.
1099 * graphite-interchange.c
1100 (build_linearized_memory_access): Same.
1101 (pdr_stride_in_loop): Same.
1102 (memory_strides_in_loop_1): Same.
1103 (memory_strides_in_loop): Same.
1104 (extend_scattering): Same.
1105 (psct_scattering_dim_for_loop_depth): Same.
1106 (pbb_number_of_iterations): Same.
1108 (debug_iteration_domains): Same.
1110 (new_Cloog_Domain_from_ppl_Pointset_Powerset): Same.
1111 (ppl_set_inhomogeneous_gmp): Same.
1112 (ppl_strip_loop): Same.
1113 (ppl_lexico_compare_linear_expressions): Same.
1114 (ppl_read_polyhedron_matrix): Same.
1115 (ppl_max_for_le_pointset): Same.
1117 (ppl_read_polyhedron_matrix): Same.
1118 (tree_int_to_gmp): Same.
1119 (gmp_cst_to_tree): Same.
1120 (ppl_set_inhomogeneous): Same.
1121 (ppl_set_inhomogeneous_tree): Same.
1122 (ppl_set_coef): Same.
1123 (ppl_set_coef_tree): Same.
1124 * graphite-sese-to-poly.c
1125 (build_pbb_scattering_polyhedrons): Same.
1126 (build_scop_scattering): Same.
1127 (scan_tree_for_params_right_scev): Same.
1128 (scan_tree_for_params): Same.
1129 (find_params_in_bb): Same.
1130 (find_scop_parameters): Same.
1131 (add_upper_bounds_from_estimated_nit): Same.
1132 (build_loop_iteration_domains): Same.
1133 (add_condition_to_domain): Same.
1134 (pdr_add_memory_accesses): Same.
1136 2010-05-05 Andreas Simbuerger <simbuerg@fim.uni-passau.de>
1138 * graphite-blocking.c (pbb_strip_mine_profitable_p): Resolve
1139 CLooG's value_* macros to their respective mpz_* counterparts.
1140 * graphite-clast-to-gimple.c (clast_to_gcc_expression): Same.
1141 (graphite_create_new_loop_guard): Same.
1142 * graphite-interchange.c (build_linearized_memory_access): Same.
1143 (pdr_stride_in_loop): Same.
1144 (memory_strides_in_loop_1): Same.
1145 (1st_interchange_profitable_p): Same.
1146 * graphite-poly.c (extend_scattering): Same.
1147 (psct_scattering_dim_for_loop_depth): Same.
1148 (pbb_number_of_iterations): Same.
1149 (pbb_number_of_iterations_at_time): Same.
1150 * graphite-poly.h (new_1st_loop): Same.
1151 * graphite-ppl.c (cloog_matrix_to_ppl_constraint): Same.
1152 (oppose_constraint): Same.
1153 (insert_constraint_into_matrix): Same.
1154 (ppl_set_inhomogeneous_gmp): Same.
1155 (ppl_set_coef_gmp): Same.
1156 (ppl_strip_loop): Same.
1157 (ppl_lexico_compare_linear_expressions): Same.
1158 (ppl_max_for_le_pointset): Same.
1159 (ppl_min_for_le_pointset): Same.
1160 (ppl_build_realtion): Same.
1161 * graphite-ppl.h (gmp_cst_to_tree): Same.
1162 (ppl_set_inhomogeneous): Same.
1163 (ppl_set_inhomogeneous_tree): Same.
1164 (ppl_set_coef): Same.
1165 (ppl_set_coef_tree): Same.
1166 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Same.
1167 (build_scop_scattering): Same.
1168 (add_value_to_dim): Same.
1169 (scan_tree_for_params_right_scev): Same.
1170 (scan_tree_for_params_int): Same.
1171 (scan_tree_for_params): Same.
1172 (find_params_in_bb): Same.
1173 (find_scop_parameters): Same.
1174 (add_upper_bounds_from_estimated_nit): Same.
1175 (build_loop_iteration_domains): Same.
1176 (create_linear_expr_from_tree): Same.
1177 (add_condition_to_domain): Same.
1178 (pdr_add_memory_accesses): Same.
1180 2010-05-06 Magnus Fromreide <magfr@lysator.liu.se>
1181 Jason Merrill <jason@redhat.com>
1183 * c-common.c (c_common_reswords): Add nullptr.
1184 * c-common.h: Add RID_NULLPTR. Reorganize C++0x rids.
1185 * dwarf2out.c (is_base_type): Handle NULLPTR_TYPE.
1186 (gen_type_die_with_usage): Likewise.
1187 * dbxout.c (dbxout_type): Likewise.
1188 * sdbout.c (plain_type_1): Likewise.
1190 2010-05-06 Jason Merrill <jason@redhat.com>
1192 * gimplify.c (gimplify_expr): Set GS_ALL_DONE when appropriate.
1193 Don't change GS_OK to GS_ALL_DONE. Make sure that all cases set
1195 (gimplify_compound_lval): Return GS_ALL_DONE as appropriate.
1197 * gimplify.c (gimplify_modify_expr_rhs): Don't return GS_OK for
1198 stripping WITH_SIZE_EXPR.
1199 (gimplify_expr) [MODIFY_EXPR]: Trust GS_OK even if the rhs didn't
1202 2010-05-06 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1204 * config.gcc: Removed mips-sgi-irix5*, mips-sgi-irix6.[0-4]* from
1205 list of obsolete configurations.
1206 Disabled check for obsolete configurations.
1207 (mips-sgi-irix[56]*): Restrict to mips-sgi-irix6.5*.
1208 Removed support for previous versions.
1209 * config/mips/iris.h: Removed.
1210 * config/mips/iris5.h: Removed.
1211 * config/mips/iris6.h: Merged old iris.h contents.
1212 (TARGET_IRIX): Removed.
1213 (DRIVER_SELF_SPECS): Removed mabi=32.
1214 (IDENT_ASM_OP): Removed undef.
1215 (STARTFILE_SPEC): Removed mabi=32.
1216 (ENDFILE_SPEC): Likewise.
1217 (IRIX_SUBTARGET_LINK_SPEC): Likewise.
1218 (MACHINE_TYPE): Update for IRIX 6.5.
1219 * config/mips/mips.c (mips_build_builtin_va_list): Replaced
1220 TARGET_IRIX by TARGET_IRIX6.
1221 (mips_file_start): Likewise.
1222 (mips_output_external): Remove IRIX 5/6 O32 support.
1223 (mips_output_function_prologue): Likewise.
1224 * config/mips/mips.h (TARGET_GPWORD): Replaced TARGET_IRIX by
1226 (TARGET_CPU_CPP_BUILTINS): Likewise.
1227 (TARGET_IRIX): Removed.
1228 * config/mips/t-iris6 (MULTILIB_OPTIONS): Removed mabi=32.
1229 (MULTILIB_DIRNAMES): Removed 32.
1230 (MULTILIB_OSDIRNAMES): Removed ../lib.
1231 * doc/install.texi (Prerequisites): Don't reference IRIX before 6.5.
1232 (Specific, mips-sgi-irix5): Document removal.
1233 (Specific, mips-sgi-irix6): Document IRIX 6.[0-4] and O32 ABI removal.
1234 Remove references to older IRIX 6 releases and the O32 ABI.
1236 2010-05-06 Jakub Jelinek <jakub@redhat.com>
1239 * df-problems.c (dead_debug_insert_before): Use *DF_REF_REAL_LOC
1240 instead of DF_REF_REAL_REG.
1242 2010-05-06 Dave Korn <dave.korn.cygwin@gmail.com>
1245 * config/i386/winnt.c (i386_pe_binds_local_p): Tweak weak symbol
1246 handling to still return true for x64 targets.
1248 2010-05-06 Maxim Kuvyrkov <maxim@codesourcery.com>
1250 * config/m68k/uclinux.h (LIB_SPEC): Bring in sync with config/linux.h.
1252 2010-05-06 Jan Hubicka <jh@suse.cz>
1254 PR tree-optimization/43791
1255 * ipa-inline.c (update_caller_keys): Remove bogus
1256 disregard_inline_limits check.
1258 2010-05-06 Michael Matz <matz@suse.de>
1260 PR tree-optimization/43984
1261 * tree-ssa-pre.c (inserted_phi_names): Remove.
1262 (inserted_exprs): Change to bitmap.
1263 (create_expression_by_pieces): Set bits, don't append to vector.
1264 (insert_into_preds_of_block): Don't handle inserted_phi_names.
1265 (eliminate): Don't look at inserted_phi_names, remove deleted
1266 insns from inserted_exprs.
1267 (remove_dead_inserted_code): Adjust to use bitmaps instead of vectors.
1268 (init_pre, fini_pre): Allocate and free bitmaps.
1269 (execute_pre): Insert insns on edges before elimination.
1271 2010-05-06 Maxim Kuvyrkov <maxim@codesourcery.com>
1273 * tree.c (initializer_zerop): Handle STRING_CST.
1275 2010-05-06 Manuel López-Ibáñez <manu@gcc.gnu.org>
1278 * doc/invoke.texi (Wimplicit): Document as C only.
1279 * opts.c (common_handle_option): Add argument kind.
1280 (handle_option): Rename as read_cmdline_option. Factor out code to...
1281 (handle_option): ... here. New.
1282 (handle_options): Rename as read_cmdline_options.
1283 (decode_options): Update call.
1284 (set_option): Use option index instead of option pointer. Classify
1285 diagnostics correctly.
1286 (enable_warning_as_error): Call handle_option.
1287 * opts.h (set_option): Update declaration.
1288 (handle_option): Declare.
1289 * langhooks.h (struct lang_hooks): Add argument kind to handle_option.
1290 * c.opt (Wimplicit,Wimplicit-int): Initialize to -1.
1291 * c-opts.c (set_Wimplicit): Delete.
1292 (c_family_lang_mask): New static constant.
1293 (c_common_handle_option): Add argument kind. Use handle_option
1294 instead of set_Wimplicit.
1295 (c_common_post_options): warn_implicit and warn_implicit_int
1296 are disabled by default.
1297 * c-common.c (warn_implicit): Do not define here.
1298 * c-common.h (warn_implicit): Do not declare here.
1299 (c_common_handle_option): Update declaration.
1300 * lto-opts.c (lto_reissue_options): Update call to set_option.
1302 2010-05-06 Richard Guenther <rguenther@suse.de>
1304 PR tree-optimization/43571
1305 * domwalk.c (walk_dominator_tree): Walk the dominator
1306 sons in more optimal order.
1308 2010-05-06 Richard Guenther <rguenther@suse.de>
1310 PR tree-optimization/43934
1311 * tree-ssa-loop-im.c (movement_possibility): Handle PHI nodes.
1312 (stmt_cost): Likewise.
1313 (extract_true_false_args_from_phi): New helper.
1314 (determine_max_movement): For PHI nodes verify we can hoist them
1315 and compute their cost.
1316 (determine_invariantness_stmt): Handle PHI nodes.
1317 (move_computations_stmt): Likewise. Hoist PHI nodes in
1318 if-converted form using COND_EXPRs.
1319 (move_computations): Return TODO_cleanup_cfg if we hoisted PHI nodes.
1320 (tree_ssa_lim): Likewise.
1321 * tree-flow.h (tree_ssa_lim): Adjust prototype.
1322 * tree-ssa-loop.c (tree_ssa_loop_im): Return todo.
1324 2010-05-06 Richard Guenther <rguenther@suse.de>
1326 PR tree-optimization/43987
1327 * tree-ssa-structalias.c (could_have_pointers): For possibly
1328 address-taken variables force pointers to be recorded.
1329 (create_variable_info_for_1): Likewise.
1330 (push_fields_onto_fieldstack): Pass in wheter all fields
1332 (find_func_aliases): Query types instead of vars whether
1333 they contain pointers where appropriate.
1335 2010-05-06 Jan Hubicka <jh@suse.cz>
1337 * cgraphbuild.c (record_reference_ctx): Add varpool_node.
1338 (record_reference, mark_address, mark_load, mark_store): Record
1340 (record_references_in_initializer): Update call of record_references.
1341 (rebuild_cgraph_edges): Remove all references before rebuiding.
1342 * cgraph.c (cgraph_create_node): Clear ref list.
1343 (cgraph_remove_node): Remove references.
1344 (dump_cgraph_node): Dump references.
1345 (cgraph_clone_node): Clone references.
1346 * cgraph.h: Include ipa-ref.h and ipa-ref-inline.h
1347 (struct cgraph_node, varpool_node): Add ref_lst.
1348 * ipa-ref.c: New file.
1349 * ipa-ref.h: New file.
1350 * ipa-ref-inline.h: New file.
1351 * lto-cgraph.c (output_varpool): Take cgrag node set argument.
1352 (referenced_from_other_partition_p): New function.
1353 (lto_output_varpool_node): Take set arugment; call
1354 referenced_from_other_partition.
1355 (lto_output_ref): New.
1356 (add_references): New.
1358 (output_cgraph): Compute boundary based on references; output refs.
1359 (output_varpool): Accept cgraph_node_set argument.
1362 (input_cgraph): Call input_refs.
1363 * lto-section-in.c (lto_section_name): Add refs.
1364 * Makefile.in: (cgraph.h): Include ipa-ref.h and ipa-ref-inline.h
1365 (ipa-ref.o): New file.
1366 * varpool.c (varpool_node): Clear ipa ref list.
1367 (varpool_remove_node): Remove references.
1368 (dump_varpool_node): Dump references.
1369 (varpool_assemble_decl): Only compile finalized ones.
1370 (varpool_extra_name_alias): Initialize ref list.
1371 * lto-streamer.c (lto-get_section_name): Add .refs section.
1372 * lto-streamer.h (lto_section_type): Add LTO_section_refs.
1373 (referenced_from_other_partition_p): Declared.
1375 2010-05-06 Ira Rosen <irar@il.ibm.com>
1377 PR tree-optimization/43901
1378 * tree-vect-stmts.c (vectorizable_call): Assert that vector
1379 type is not NULL if it's transformation phase, and return
1380 FALSE if it's analysis.
1381 (vectorizable_conversion, vectorizable_operation,
1382 vectorizable_type_demotion, vectorizable_type_promotion): Likewise.
1384 2010-05-05 Andrew Pinski <andrew.pinski@caviumnetworks.com>
1386 * config/mips/mips.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
1388 * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
1390 * config/mips/mips-protos.h
1391 (mips_small_register_classes_for_mode_p): Delete prototype.
1393 2010-05-06 Bernd Schmidt <bernds@codesourcery.com>
1395 * config/arm/arm.h (MAX_LDM_STM_OPS): New macro.
1396 * config/arm/arm.c (multiple_operation_profitable_p,
1397 compute_offset_order): New static functions.
1398 (load_multiple_sequence, store_multiple_sequence): Use them.
1399 Replace constant 4 with MAX_LDM_STM_OPS. Compute order[0] from
1400 memory offsets, not register numbers.
1401 (emit_ldm_seq, emit_stm_seq): Replace constant 4 with MAX_LDM_STM_OPS.
1403 2010-05-05 Steven Bosscher <steven@gcc.gnu.org>
1405 * stor-layout.c (pending_sizes): Change the type to VEC(tree,gc) *.
1406 (get_pending_sizes, put_pending_size, put_pending_sizes):
1407 Update the uses of pending_sizes.
1408 * c-decl.c (store_parm_decls): Likewise.
1409 * c-tree.h (struct c_arg_info): Likewise.
1410 * tree.h: Update the prototype for get_pending_sizes and
1413 2010-05-05 Jason Merrill <jason@redhat.com>
1416 * c-common.c (handle_aligned_attribute): Respect
1417 ATTR_FLAG_TYPE_IN_PLACE.
1420 * target.h (struct gcc_target): Add attribute_takes_identifier_p.
1421 * target_def.h (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
1422 (TARGET_INITIALIZER): Use it.
1423 * c-common.c (attribute_takes_identifier_p): Call it.
1424 * c-common.h: Update prototype.
1425 * config/rs6000/rs6000.c (rs6000_attribute_takes_identifier_p): New.
1426 (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
1428 2010-05-05 Jakub Jelinek <jakub@redhat.com>
1431 * dwarf2out.c (gen_compile_unit_die): Add DW_AT_identifier_case
1432 DW_ID_down_case for Fortran compilation units.
1434 2010-05-05 Jan Hubicka <jh@suse.cz>
1436 * lto-cgraph.c (lto_output_varpool_node, input_varpool_node): Correctly
1439 2010-05-05 Eric Botcazou <ebotcazou@adacore.com>
1441 * gimplify.c (gimplify_return_expr): Gimplify the size expressions of
1442 a variable-sized RESULT_DECL.
1444 2010-05-05 Maxim Kuvyrkov <maxim@codesourcery.com>
1446 * doc/invoke.texi (-mfix-cortex-m3-ldrd): Move from ARC section to ARM.
1448 2010-05-05 Jason Merrill <jason@redhat.com>
1451 * gimplify.c (gimplify_expr): Keep working if gimplify_modify_expr
1453 (gimplify_modify_expr_rhs): Return GS_OK if anything changed.
1455 2010-05-05 Alexandre Oliva <aoliva@redhat.com>
1456 Jakub Jelinek <jakub@redhat.com>
1459 * df-problems.c (struct dead_debug_use, struct dead_debug): New.
1460 (dead_debug_init, dead_debug_finish): New functions.
1461 (dead_debug_add, dead_debug_insert_before): Likewise.
1462 (df_note_bb_compute): Initialize a dead_debug object, add dead
1463 debug uses to it, insert debug bind insns before death insns,
1464 reset debug insns that refer to pending uses at the end.
1465 * rtl.h (make_debug_expr_from_rtl): New prototype.
1466 * varasm.c (make_debug_expr_from_rtl): New function.
1468 2010-05-05 Jan Hubicka <jh@suse.cz>
1470 * lto-cgraph.c (output_varpool): Forward declare; work on encoder.
1471 (lto_varpool_encoder_new, lto_varpool_encoder_delete,
1472 lto_varpool_encoder_encode, lto_varpool_encoder_lookup,
1473 lto_varpool_encoder_deref, lto_varpool_encoder_size,
1474 lto_varpool_encoder_encode_initializer_p,
1475 lto_set_varpool_encoder_encode_initializer): New functions.
1476 (lto_output_cgraph): Take vset parameter too; compute varpool encoder;
1477 call output_varpool.
1478 (input_varpool_node): Do not always set analyzed.
1479 (input_cgraph_1): Return vector of cgraph nodes.
1480 (input_varpool_1): Return vector of varpools.
1481 (input_cgraph): Free the vectors.
1482 * lto-streamer-out.c (lto_output_ts_decl_common_tree_pointers):
1483 output only initializers needed.
1484 (lto_output): Only call output_cgraph.
1485 (produce_asm_for_decls): Call lto_varpool_encoder_delete.
1486 * lto-section-out.c (lto_new_out_decl_state): Initialize
1487 state->varpool_node_encoder.
1488 * lto-streamer.h (lto_varpool_encoder_d): New.
1489 (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.
1490 (lto_cgraph_encoder_delete, output_cgraph): Update prototype.
1491 (lto_varpool_encoder_deref, lto_varpool_encoder_lookup,
1492 lto_varpool_encoder_encode, lto_varpool_encoder_delete,
1493 lto_varpool_encoder_encode_initializer_p, lto_varpool_encoder_new):
1495 (output_varpool, input_varpool): Remove declarations.
1497 2010-05-05 Jan Hubicka <jh@suse.cz>
1499 * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Alias of variable
1500 with body can prevail.
1502 2010-05-05 Jan Hubicka <jh@suse.cz>
1504 * lto-symtab.c (lto_symtab_merge_decls_1): Prefer declarations with
1507 2010-05-05 Laurynas Biveinis <laurynas.biveinis@gmail.com>
1509 * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to dependencies.
1511 * gengtype.h (erro_at_line): Constify pos argument.
1513 * gengtype.c: Include hashtab.h.
1514 (enum gc_used): Document GC_MAYBE_POINTED_TO.
1515 (error_at_line): Constify pos argument.
1516 (do_typedef): Initialize p->opt field.
1517 (get_file_gtfilename): Fix comment typo.
1518 (struct walk_type_data): Constify line field.
1519 (get_output_file_for_structure): New function.
1520 (write_local_func_for_structure): Constify orig_s argument.
1521 Use get_output_file_for_structure.
1522 (write_func_for_structure): Use get_output_file_for_structure.
1523 (INDENT): New define.
1524 (dump_pair, dump_type, dump_type_list, dump_typekind)
1525 (dump_gc_used, dump_options, dump_fileloc, dump_type_u_s)
1526 (dump_type_u_a, dump_type_u_param_struct, dump_everything): New
1528 (seen_types): New variable.
1529 (main): New variable do_dump. Process "-d" command line option.
1530 Call dump_everything if dump requested.
1532 2010-05-05 Jakub Jelinek <jakub@redhat.com>
1534 * var-tracking.c (var_debug_decl): Save DECL_DEBUG_EXPR value
1535 in a temporary instead of invoking the macro multiple times.
1536 (track_expr_p): Likewise.
1538 2010-05-04 Neil Vachharajani <nvachhar@google.com>
1540 * doc/invoke.texi (-Wcoverage-mismatch): Updated documentation as
1542 * opts.c (decode_options): Enable -Werror=coverage-mismatch.
1543 * coverage.c (get_coverage_counts): Always emit a warning. Adjust
1544 conditions for printing notes.
1545 * common.opt (-Wcoverage-mismatch): Allow negative, default to
1546 true, update documentation.
1547 * Makefile.in (coverage.o): Add dependence on DIAGNOSTIC_H and intl.h.
1549 2010-05-04 Jakub Jelinek <jakub@redhat.com>
1552 * c-parser.c (c_parser_direct_declarator_inner): Call mark_exp_read
1555 2010-05-04 H.J. Lu <hongjiu.lu@intel.com>
1558 * config/i386/i386.md (sse_prologue_save): Clobber CC register.
1559 (*sse_prologue_save_insn1): Likewise.
1560 (SSE prologue save splitter): Likewise.
1562 2010-05-04 Eric Botcazou <ebotcazou@adacore.com>
1564 * tree.c (free_lang_data_in_one_sizepos): New inline function.
1565 (free_lang_data_in_type): Call it on TYPE_{MIN|MAX}_VALUE of numerical
1566 types. Call it on TYPE_SIZE and TYPE_SIZE_UNIT of all types.
1567 (free_lang_data_in_decl): Call it on DECL_SIZE and DECL_SIZE_UNIT of
1568 all decls. Call it on DECL_FIELD_OFFSET of fields.
1569 (find_decls_types_r): Follow DECL_VALUE_EXPR.
1570 (iterative_hash_expr) <PLACEHOLDER_EXPR>: New case.
1572 2010-05-04 Martin Jambor <mjambor@suse.cz>
1574 * tree-sra.c (build_access_from_expr_1): The first parameter type
1575 changed to simple tree.
1576 (build_access_from_expr): Likewise, gsi parameter was eliminated.
1577 (scan_assign_result): Renamed to assignment_mod_result, enum elements
1579 (build_accesses_from_assign): Removed all parameters except for a
1580 simple gimple statement. Now returns a simple bool.
1581 (scan_function): All non-analysis parts moved to separate functions
1582 sra_modify_function_body and ipa_sra_modify_function_body. Removed all
1583 parameters and updated both callers.
1584 (sra_modify_expr): Removed parameter data.
1585 (sra_modify_function_body): New function.
1586 (perform_intra_sra): Call sra_modify_function_body to modify the
1588 (replace_removed_params_ssa_names): Parameter data changed into
1590 (sra_ipa_modify_expr): Likewise. Also removed unused parameter gsi and
1591 changed the parameter dont_convert to convert with the opposite
1593 (sra_ipa_modify_assign): Parameter data changed into adjustments
1594 vector, return value changed to bool.
1595 (ipa_sra_modify_function_body): New function.
1596 (sra_ipa_reset_debug_stmts): Updated a comment.
1597 (modify_function): Use ipa_sra_modify_function_body to modify function
1600 2010-05-04 H.J. Lu <hongjiu.lu@intel.com>
1603 * alias.c (true_dependence): Handle the same VALUE in x and mem.
1604 (canon_true_dependence): Likewise.
1605 (write_dependence_p): Likewise.
1607 2010-05-04 Jan Hubicka <jh@suse.cz>
1609 * Makefile.in (cgraphbuild.o): Add dependency on ipa-utils.h
1610 * cgraphbuild.c: Include ipa-utils.h
1611 (record_reference_ctx): New struct.
1612 (record_reference): Simplify to work on initializers; not statements.
1613 (mark_address, mark_load, mark_store): New.
1614 (build_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
1616 (record_references_in_initializer): Update use of record_reference.
1617 (rebuild_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
1620 2010-05-04 Jan Hubicka <jh@suse.cz>
1622 * lto-symtab.c (lto_cgraph_replace_node): Do not remove edges;
1623 node will be removed anyway.
1624 (lto_varpool_replace_node): Allow also unanalyzed nodes;
1625 relink aliases of node into prevailing node.
1626 * varpool.c (varpool_remove_node): Remove aliases properly;
1627 when removing node, remove all its aliases too; remove DECL_INITIAL
1628 of removed node; ggc_free the varpool node.
1630 2010-05-04 Richard Guenther <rguenther@suse.de>
1632 PR tree-optimization/43879
1633 * tree-ssa-structalias.c (alias_get_name): Use
1634 DECL_ASSEMBLER_NAME if available.
1635 (create_function_info_for): Return the varinfo node.
1636 (ipa_pta_execute): Associate same-body aliases and extra names
1637 with their origin nodes varinfo. Dump DECL_ASSEMBLER_NAME.
1639 2010-05-04 Kaz Kojima <kkojima@gcc.gnu.org>
1641 * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove static.
1643 2010-05-04 Mikael Pettersson <mikpe@it.uu.se>
1646 * ira-color.c (assign_hard_reg): Declare rclass and add_cost
1647 only if HONOR_REG_ALLOC_ORDER is not defined.
1649 2010-05-04 Richard Guenther <rguenther@suse.de>
1651 PR tree-optimization/43949
1652 * tree-vrp.c (extract_range_from_binary_expr): Only handle
1655 2010-04-26 Jason Merrill <jason@redhat.com>
1657 * c.opt (-fstrict-enums): New.
1658 * doc/invoke.texi (C++ Dialect Options): Document -fstrict-enums.
1660 2010-05-03 David Ung <davidu@mips.com>
1661 James E. Wilson <wilson@codesourcery.com>
1663 * config/mips/mips.c (mips_output_division): If GENERATE_DIVIDE_TRAPS,
1664 emit the trap instruction before the divide for TUNE_74K.
1666 2010-05-03 Steven Bosscher <steven@gcc.gnu.org>
1668 * doc/tm.texi (defmac SMALL_REGISTER_CLASSES): Remove.
1669 (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Add documentation,
1670 based on the above, for new target hook.
1672 * hooks.c (hook_bool_mode_true): New generic hook.
1673 * hooks.h (hook_bool_mode_true): Add prototype.
1675 * target.h (struct gcc_target): Add small_register_classes_for_mode_p
1677 * target-def.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): New default
1678 target hook, set to hook_bool_mode_false.
1679 * regs.h: Remove default definition of SMALL_REGISTER_CLASSES.
1680 * reload.c (push_secondary_reload): Replace SMALL_REGISTER_CLASSES
1681 with targetm.small_register_classes_for_mode_p.
1682 (find_reusable_reload): Likewise.
1683 (combine_reloads): Likewise.
1684 * reload1.c (reload_as_needed): Likewise.
1685 * cse.c (approx_reg_cost_1, hash_rtx_cb): Likewise.
1686 * ifcvt.c (noce_process_if_block, check_cond_move_block,
1687 dead_or_predicable): Likewise.
1688 * regmove.c (optimize_reg_copy_1): Likewise.
1689 * calls.c (prepare_call_address): Likewise.
1690 (precompute_register_parameters): Likewise.
1692 * config/sh/sh.h: Replace SMALL_REGISTER_CLASSES with new target
1694 * config/sh/sh.c (sh_small_register_classes_for_mode_p): Add
1695 implementation of the hook that considers all register classes
1696 small except for SH64.
1697 (sh_override_options): Use the new hook.
1698 * config/sh/sh-protos.h (sh_small_register_classes_for_mode_p):
1701 * config/arm/arm.h: Replace SMALL_REGISTER_CLASSES with new target
1703 * config/arm/arm.c (arm_small_register_classes_for_mode_p): Add
1704 implementation of the hook that considers all register classes
1706 * config/arm/arm-protos.h (arm_small_register_classes_for_mode_p):
1709 * config/mips/mips.h: Replace SMALL_REGISTER_CLASSES with new target
1711 * config/mips/mips.c (mips_small_register_classes_for_mode_p): Add
1712 implementation of the hook that considers all register classes
1714 * config/mips/mips-protos.h (mips_small_register_classes_for_mode_p):
1717 * config/i386/i386.h: Replace SMALL_REGISTER_CLASSES with new target
1719 * config/m32c/m32c.h: Likewise.
1720 * config/pdp11/pdp11.h: Likewise.
1721 * config/avr/avr.h: Likewise.
1722 * config/xtensa/xtensa.h: Likewise.
1723 * config/m68hc11/m68hc11.h: Likewise.
1724 * config/mn10300/mn10300.h: Likewise.
1725 * config/mcore/mcore.h: Likewise.
1726 * config/h8300/h8300.h: Likewise.
1727 * config/bfin/bfin.h: Likewise.
1729 * config/iq2000/iq2000.h: Remove SMALL_REGISTER_CLASSES definition.
1730 * config/rx/rx.h: Remove SMALL_REGISTER_CLASSES definition.
1732 2010-05-03 Anatoly Sokolov <aesok@post.ru>
1734 * double-int.h (tree_to_double_int): Remove macro.
1735 (double_int_to_tree, double_int_fits_to_tree_p): Move prototypes ...
1736 * tree.h (double_int_to_tree, double_int_fits_to_tree_p): ... here.
1737 (tree_to_double_int): New function.
1738 * double-int.c (double_int_to_tree, double_int_fits_to_tree_p):
1740 * tree.c (double_int_to_tree, double_int_fits_to_tree_p): ... here.
1742 2010-05-03 Richard Guenther <rguenther@suse.de>
1744 PR tree-optimization/43971
1745 * tree-ssa-structalias.c (get_constraint_for_1): Fix
1746 constraints in the !flag_delete_null_pointer_checks case.
1748 2010-05-03 Jakub Jelinek <jakub@redhat.com>
1751 * config/i386/i386.c (ix86_delegitimize_address): Make sure the
1752 result mode matches original rtl mode.
1754 2010-05-03 Dave Korn <dave.korn.cygwin@gmail.com>
1757 * config/i386/winnt.c (i386_pe_binds_local_p): Handle weak decls.
1759 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
1761 * config/i386/i386.c (ix86_target_string): Output 'flags', not 'isa',
1762 when processing flag options.
1764 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
1766 * gcov-iov.c (main): Change format string placeholder
1767 from %#08x to 0x%08x.
1768 * genchecksum.c (dosum): Change format string placeholder
1769 from %#02x to 0x%02x.
1771 2010-05-02 Richard Guenther <rguenther@suse.de>
1773 PR tree-optimization/43879
1774 * tree-tailcall.c (find_tail_calls): Clobbers also prevent tail calls.
1776 2010-05-02 Bruno Haible <bruno@clisp.org>
1778 * doc/extend.texi (Function Attributes): Fix a typo.
1780 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
1783 * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Change format string
1784 placeholder from 0x%x to %#x.
1785 (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
1786 * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
1787 * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
1788 * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
1789 * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
1790 * config/i386/i386.c (ix86_target_string): Ditto.
1791 * config/i386/i386.c (output_pic_addr_const): Ditto.
1792 (print_operand): Ditto.
1794 2010-05-02 Uros Bizjak <ubizjak@gmail.com>
1796 * vmsdbgout.c (ASM_OUTPUT_DEBUG_DATA1): Change format string
1797 placeholder from 0x%x to %#x.
1798 (ASM_OUTPUT_DEBUG_DATA1): Ditto.
1799 (ASM_OUTPUT_DEBUG_DATA4): Ditto.
1800 (ASM_OUTPUT_DEBUG_DATA): Ditto.
1801 (ASM_OUTPUT_DEBUG_ADDR_DATA): Ditto.
1802 (ASM_OUTPUT_DEBUG_DATA8): Ditto.
1803 * optc-gen.awk: Ditto.
1804 * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Ditto.
1805 (HOST_WIDE_INT_PRINT_HEX): Ditto.
1806 (HOST_WIDEST_INT_PRINT_HEX): Ditto.
1807 (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
1809 2010-05-01 Anatoly Sokolov <aesok@post.ru>
1811 * target.h (struct calls): Add function_value_regno_p field.
1812 * target-def.h (TARGET_FUNCTION_VALUE_REGNO_P): Define.
1813 (TARGET_INITIALIZER): Use TARGET_FUNCTION_VALUE_REGNO_P.
1814 * targhooks.c (default_function_value_regno_p): New function.
1815 * targhooks.h (default_function_value_regno_p): Declare function.
1816 * rtlanal.c (keep_with_call_p): Use function_value_regno_p hook.
1817 * builtins.c. (apply_result_size): (Ditto.).
1818 * combine.c. (likely_spilled_retval_p): (Ditto.).
1819 * mode-switching.c. Include 'target.h'.
1820 (create_pre_exit): Use function_value_regno_p hook.
1821 * Makefile.in (mode-switching.o): Add dependency on TARGET_H.
1822 * doc/tm.texi (FUNCTION_VALUE_REGNO_P,
1823 TARGET_FUNCTION_VALUE_REGNO_P): Revise documentation.
1825 * config/i386/i386.h (TARGET_FUNCTION_VALUE_REGNO_P): Remove macro.
1826 * config/i386/i386.c (TARGET_FUNCTION_VALUE_REGNO_P): Define macro.
1827 (ix86_function_value_regno_p): Declare as static, change argument
1828 type to const unsigned int.
1829 * config/i386/i386-protos.h (ix86_function_value_regno_p): Remove.
1831 2010-05-01 Richard Guenther <rguenther@suse.de>
1833 PR tree-optimization/43949
1834 * tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigned
1836 (extract_range_from_binary_expr): Handle *_MOD_EXPR.
1838 2010-05-01 Anatoly Sokolov <aesok@post.ru>
1840 * rtl.h (CONST_DOUBLE_P): Define.
1841 (rtx_to_double_int): Declare.
1842 * emit-rtl.c (rtx_to_double_int): New function.
1843 * dwarf2out.c (insert_double): New function.
1844 (loc_descriptor, add_const_value_attribute): Clean up, use
1845 rtx_to_double_int and insert_double functions.
1847 2010-05-01 Jonathan Wakely <jwakely.gcc@gmail.com>
1849 * doc/extend.texi (Inline): Add missing return keyword to examples.
1850 (Function Attributes, Variable Attributes, Pragmas): Hyphenate
1853 2010-04-30 Eric Botcazou <ebotcazou@adacore.com>
1855 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Check the alignment of
1856 the variable part of the offset as well. Use highest_pow2_factor for
1857 all alignment checks.
1859 2010-04-30 Richard Guenther <rguenther@suse.de>
1861 PR tree-optimization/43879
1862 * tree-ssa-structalias.c (type_could_have_pointers): Functions
1865 2010-04-30 Jan Hubicka <jh@suse.cz>
1867 * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with
1869 (lto_symtab_merge_decls_1): Remove logic looking for an initializer.
1871 2010-04-30 Jan Hubicka <jh@suse.cz>
1873 * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p):
1875 * lto-cgraph.c (input_cgraph): Remove call to lto_mark_file_for_ltrans.
1876 * lto-streamer.h (lto_file_decl_data): Remove needs_ltrans_p.
1877 (lto_file_needs_ltrans_p, lto_mark_file_for_ltrans,
1878 cgraph_node_set_needs_ltrans_p): Remove.
1880 2010-04-30 Steven Bosscher <steven@gcc.gnu.org>
1882 * sdbout.c: Include vec.h, do not include varray.h.
1883 (deferred_global_decls, sdbout_global_decl,
1884 sdbout_finish, sdbout_init): Use VEC instead of VARRAY.
1885 * toplev.c: Do not include varray.h.
1886 (dump_memory_report): Do not dump VARRAY statistics.
1887 * gengtype.c (open_base_file): Ignore varray.h.
1888 * Makefile.in: Update for abovementioned changes.
1889 Remove all traces of varray.c and varray.h.
1890 * varray.c: Remove file.
1891 * varray.h: Remove file.
1893 2010-04-30 Jan Hubicka <jh@suse.cz>
1895 * lto-cgraph.c (lto_output_varpool_node): Always output constant pool
1898 2010-04-30 Jan Hubicka <jh@suse.cz>
1900 * tree-profile.c (tree_init_ic_make_global_vars): Mark new decls as
1903 2010-04-30 Richard Guenther <rguenther@suse.de>
1905 * tree-ssa-structalias.c (get_constraint_for_1): Generate
1906 constraints for CONSTRUCTOR.
1908 2010-04-30 Richard Guenther <rguenther@suse.de>
1911 * passes.c (init_optimization_passes): Move pass_ipa_free_lang_data
1912 first after all lowering passes.
1914 2010-04-30 Steven Bosscher <steven@gcc.gnu.org>
1916 * toplev.c: Include varray.h for statistics dumping.
1917 * tree.h: Do not declare varray_head_tag.
1918 * tree-into-ssa.c, tree-ssa-uninit.c, tree-phinodes.c, omega.c,
1919 regs.h, lto-cgraph.c, tree-ssa-loop-ivopts.c, tree-nomudflap.c,
1920 c-objc-common.c, lto-streamer-out.c, tree-ssa-propagate.c,
1921 gimple-low.c, c-semantics.c, dwarf2out.c, lto-streamer-in.c,
1922 lto-section-in.c, alias.c, tree-if-conv.c, gimplify.c, ggc-zone.c,
1923 tree-ssa.c, tree-ssa-loop-prefetch.c, integrate.h, c-gimplify.c,
1924 c-common.c, c-common.h, reg-stack.c, basic-block.h,
1925 tree-ssa-structalias.c, lto-section-out.c, tree-ssanames.c: Do not
1927 * Makefile.in: Update for abovementioned changes.
1929 2010-04-30 Jakub Jelinek <jakub@redhat.com>
1932 * tree.c (auto_var_in_fn_p): Return false for DECL_EXTERNAL vars.
1934 2010-04-30 Hariharan Sandanagobalane <hariharan@picochip.com>
1936 * config/picochip/picochip.c (picochip_legitimize_address): Define.
1937 Use this function to do machine-specific conversion.
1938 (picochip_legitimize_reload_address): Likewise.
1939 (picochip_legitimate_address_p): Check valid base register only if
1941 (picochip_check_conditional_copy): Check for modw only if opnd is
1943 * config/picochip/picochip.h (LEGITIMIZE_RELOAD_ADDRESS): Use this
1944 to call the function in c.
1945 * config/picochip/picochip-protos.h
1946 (picochip_legitimize_reload_address): Define.
1947 * config/picochip/picochip.md (supported_compare1): Define.
1949 2010-04-30 Jan Hubicka <jh@suse.cz>
1951 * cgraph.h (cgraph_local_info): Remove for_functions_valid.
1952 (cgraph_global_info): Remove inlined.
1953 (LTO_cgraph_tag_names): Remove.
1954 (LTO_cgraph_tags, LCC_NOT_FOUND): Move to ...
1955 * lto-cgraph.c (LTO_cgraph_tags, LCC_NOT_FOUND): ... here;
1956 simplify cgraph tags and document.
1957 (lto_output_node): Use only LTO_cgraph_unavail_node and
1958 LTO_cgraph_analyzed_node; Do not save analzed, reachable,
1959 for_functions_valid, global info, process and output flags.
1960 (input_overwrite_node): Initialize estimated stack size and
1961 estimated growth. Do not read flags we no longer store.
1962 (input_node): Likewise do not read info no longer stored.
1963 * ipa-inline.c (cgraph_mark_inline_edge): Do not set global.inlined
1966 2010-04-30 Richard Guenther <rguenther@suse.de>
1968 PR tree-optimization/43879
1969 * tree-ssa-structalias.c (get_constraint_for_1): Properly
1970 handle non-zero initializers.
1972 2010-04-30 Richard Guenther <rguenther@suse.de>
1974 * builtins.c (fold_builtin_1): Delete free (0).
1976 2010-04-29 Jan Hubicka <jh@suse.cz>
1978 * gengtype.c (open_base_files): Add lto-streamer.h
1979 * cgraph.h (cgraph_local_info): lto_file_data is now in GGC.
1980 (pass_ipa_cp): GGC collect.
1981 * toplev. (compile_file): Do not output symbols.
1982 * ipa-inline.c (pass_ipa_inline): Add ggc collect.
1983 * timevar.def (TV_VARPOOL, TV_IPA_LTO_DECL_INIT_IO,
1984 TV_IPA_LTO_DECL_MERGE, TV_IPA_LTO_CGRAPH_MERGE, TV_VAROUT): New.
1985 * lto-section-in.c: Include ggc.h
1986 (lto_new_in_decl_state): Alloc in GGC.
1987 (lto_delete_in_decl_state): Likewise.
1988 * ipa.c (pass_ipa_function_visibility, pass_ipa_whole_program):
1991 2010-04-29 Bernd Schmidt <bernds@codesourcery.com>
1994 * doc/tm.texi (ADJUST_REG_ALLOC_ORDER): Renamed from
1995 ORDER_REGS_FOR_LOCAL_ALLOC. All instances of this macro changed.
1996 (HONOR_REG_ALLOC_ORDER): Describe new macro.
1997 * ira.c (setup_alloc_regs): Use ADJUST_REG_ALLOC_ORDER if defined.
1998 * ira-color.c (assign_hard_reg): Take prologue/epilogue costs into
1999 account only if HONOR_REG_ALLOC_ORDER is not defined.
2000 * config/arm/arm.h (HONOR_REG_ALLOC_ORDER): Define.
2001 * system.h (ORDER_REGS_FOR_LOCAL_ALLOC): Poison.
2003 2010-04-29 Jon Grant <04@jguk.org>
2005 * collect2.c (vflag): Change type from int to bool.
2007 (helpflag): New global bool.
2008 (main): Set vflag and debug with boolean, not integer truth values.
2009 Accept new "--help" option and output usage text if found.
2010 * collect2.h (vflag): Update prototype.
2013 2010-04-29 H.J. Lu <hongjiu.lu@intel.com>
2016 * plugin.h (flag_plugin_added): Moved out of invoke_plugin_callbacks.
2018 2010-04-29 Richard Guenther <rguenther@suse.de>
2021 * plugin.h (invoke_plugin_callbacks): Annotate arguments
2022 with ATTRIBUTE_UNUSED.
2024 2010-04-29 H.J. Lu <hongjiu.lu@intel.com>
2027 * config/i386/i386.c (get_some_local_dynamic_name): Replace
2028 INSN_P with NONDEBUG_INSN_P.
2029 (distance_non_agu_define): Likewise.
2030 (distance_agu_use): Likewise.
2032 2010-04-29 Bernd Schmidt <bernds@codesourcery.com>
2034 From Dominique d'Humieres <dominiq@lps.ens.fr>
2036 * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs to compute
2039 2010-04-29 Brian Hackett <bhackett1024@gmail.com>
2041 * plugin.h (invoke_plugin_callbacks): New inline function.
2042 * plugin.c (flag_plugin_added): New global flag.
2043 (add_new_plugin): Initialize above flag.
2044 (invoke_plugin_callbacks): Rename to ...
2045 (invoke_plugin_callbacks_full): ... this.
2047 2010-04-28 Jan Hubicka <jh@suse.cz>
2049 * lto-symtab.c (lto_symtab_entry_def) Add vnode.
2050 (lto_varpool_replace_node): New.
2051 (lto_symtab_resolve_symbols): Resolve varpool nodes.
2052 (lto_symtab_merge_decls_1): Prefer decls with varpool node.
2053 (lto_symtab_merge_cgraph_nodes_1): Merge varpools.
2054 * cgraph.h (varpool_node_ptr): New type.
2055 (varpool_node_ptr): New vector.
2056 (varpool_node_set_def): New structure.
2057 (varpool_node_set): New type.
2058 (varpool_node_set): New vector.
2059 (varpool_node_set_element_def): New structure.
2060 (varpool_node_set_element, const_varpool_node_set_element): New types.
2061 (varpool_node_set_iterator): New type.
2062 (varpool_node): Add prev pointers, add used_from_other_partition,
2064 (varpool_node_set_new, varpool_node_set_find, varpool_node_set_add,
2065 varpool_node_set_remove, dump_varpool_node_set, debug_varpool_node_set,
2066 varpool_get_node, varpool_remove_node): Declare.
2067 (vsi_end_p, vsi_next, vsi_node, vsi_start, varpool_node_in_set_p,
2068 varpool_node_set_size): New inlines.
2069 * cgraph.c (dump_cgraph_node): Dump asm names of aliases.
2070 * tree-pass.h (varpool_node_set_def): Forward declare.
2071 (ipa_opt_pass_d): Summary writting takes vnode sets too.
2072 (ipa_write_optimization_summaries): Update prototype.
2073 * ipa-cp.c (ipcp_write_summary): Update.
2074 * ipa-reference.c (ipa_reference_write_summary): Update.
2075 * lto-cgraph.c (lto_output_varpool_node): New static function.
2076 (output_varpool): New function.
2077 (input_varpool_node): New static function.
2078 (input_varpool_1): New function.
2079 (input_cgraph): Input varpool.
2080 * ipa-pure-const.c (pure_const_write_summary): Update.
2081 * lto-streamer-out.c (lto_output): Update, output varpool too.
2082 (write_global_stream): Kill WPA hack.
2083 (produce_asm_for_decls): Update.
2084 (output_alias_pair_p): Handle variables.
2085 (output_unreferenced_globals): Output only needed partition of varpool.
2086 * ipa-inline.c (inline_write_summary): Update.
2087 * lto-streamer-in.c (lto_input_tree_ref, lto_input_tree): Do not build
2089 * lto-section-in.c (lto_section_name): Add varpool and jump funcs.
2090 * ipa.c (hash_varpool_node_set_element, eq_varpool_node_set_element,
2091 varpool_node_set_new, varpool_node_set_add,
2092 varpool_node_set_remove, varpool_node_set_find, dump_varpool_node_set,
2093 debug_varpool_node_set): New functions.
2094 * passes.c (rest_of_decl_compilation): when in LTO do not finalize.
2095 (execute_one_pass): Process new decls too.
2096 (ipa_write_summaries_2): Pass around vsets.
2097 (ipa_write_summaries_1): Likewise.
2098 (ipa_write_summaries): Build vset; be more selective about cgraph nodes
2100 (ipa_write_optimization_summaries_1): Pass around vsets.
2101 (ipa_write_optimization_summaries): Likewise.
2102 * varpool.c (varpool_get_node): New.
2103 (varpool_node): Update doubly linked lists.
2104 (varpool_remove_node): New.
2105 (dump_varpool_node): More dumping.
2106 (varpool_enqueue_needed_node): Update doubly linked lists.
2107 (decide_is_variable_needed): Kill ltrans hack.
2108 (varpool_finalize_decl): Kill lto hack.
2109 (varpool_assemble_decl): Skip decls in other partitions.
2110 (varpool_assemble_pending_decls): Update doubly linkes lists.
2111 (varpool_empty_needed_queue): Likewise.
2112 (varpool_extra_name_alias): Likewise.
2113 * lto-streamer.c (lto_get_section_name): Add vars section.
2114 * lto-streamer.h (lto_section_type): Update.
2115 (output_varpool, input_varpool): Declare.
2117 2010-04-28 Mike Stump <mikestump@comcast.net>
2119 * config/i386/darwin.h (CC1_SPEC): Ignore -mdynamic-no-pic for now.
2121 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
2123 * lto-streamer-in.c (unpack_ts_type_value_fields): Replace test for
2124 record or union type with RECORD_OR_UNION_TYPE_P predicate.
2125 (lto_input_ts_type_tree_pointers): Likewise.
2126 * lto-streamer-out.c (pack_ts_type_value_fields): Likewise.
2127 (lto_output_ts_type_tree_pointers): Likewise.
2129 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
2131 Uniquization of constants at the Tree level
2132 * tree.h (DECL_IN_CONSTANT_POOL): New macro.
2133 (tree_decl_with_vis): Add in_constant_pool bit, move shadowed_for_var_p
2135 (tree_output_constant_def): Declare.
2136 * gimplify.c (gimplify_init_constructor): When using block copy, first
2137 uniquize the constant constructor on the RHS.
2138 * lto-streamer-in.c (unpack_ts_decl_with_vis_value_fields): Deal with
2139 DECL_IN_CONSTANT_POOL flag.
2140 * lto-streamer-out.c (pack_ts_decl_with_vis_value_fields): Likewise.
2141 * varasm.c (make_decl_rtl): Deal with variables belonging to the global
2143 (assemble_variable): Deal with symbols belonging to the tree constant
2145 (get_constant_section): Add ALIGN parameter and simplify.
2146 (build_constant_desc): Build a VAR_DECL and attach it to the symbol.
2147 (assemble_constant_contents): Use the expression of the VAR_DECL.
2148 (output_constant_def_contents): Use the alignment of the VAR_DECL.
2149 (tree_output_constant_def): New global function.
2150 (mark_constant): Use the expression of the VAR_DECL.
2151 (place_block_symbol): Use the alignment of the VAR_DECL and the size of
2153 (output_object_block): Likewise and assemble the expression.
2155 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
2157 * lto-streamer.c [LTO_STREAMER_DEBUG] (tree_htab, tree_hash_entry,
2158 hash_tree, eq_tree): New tree hash table.
2159 (lto_streamer_init) [LTO_STREAMER_DEBUG]: Initialize it.
2160 [LTO_STREAMER_DEBUG] (lto_orig_address_map, lto_orig_address_get,
2161 lto_orig_address_remove): Reimplement.
2163 2010-04-28 Xinliang David Li <davidxl@google.com>
2166 * tree-ssa-uninit.c (can_skip_redundant_opnd): New function.
2167 (compute_uninit_opnds_pos): New function.
2168 (is_non_loop_exit_postdominating): New function.
2169 (compute_control_dep_chain): New function.
2170 (find_pdom): New function.
2171 (convert_control_dep_chain_into_preds): New function.
2172 (find_predicates): New function.
2173 (find_control_equiv_block): New function.
2174 (collect_phi_def_edges): New function.
2175 (find_def_preds): New function.
2176 (find_dom): New function.
2177 (dump_predicates): New function.
2178 (get_cmp_code): New function.
2179 (is_value_included_in): New function.
2180 (find_matching_predicate_in_rest_chains): New function.
2181 (use_pred_not_overlap_with_undef_path_pred): New function.
2182 (is_use_properly_guarded): New function.
2183 (normalize_cond_1): New function.
2184 (is_and_or_or): New function.
2185 (normalize_cond): New function.
2186 (is_gcond_subset_of): New function.
2187 (is_subset_of_any): New function.
2188 (is_or_set_subset_of): New function.
2189 (is_and_set_subset_of): New function.
2190 (is_norm_cond_subset_of): New function.
2191 (is_pred_expr_subset_of): New function.
2192 (is_pred_chain_subset_of): New function.
2193 (is_included_in): New function.
2194 (is_superset_of): New function.
2195 (find_uninit_use): New function.
2196 (warn_uninitialized_phi): New function.
2197 (compute_possibly_undefined_names): New function.
2198 (ssa_undefined_value_p): New function.
2199 (execute_late_warn_uninitialized): New function.
2200 * tree-ssa.c (ssa_undefined_value_p): Removed.
2201 (warn_uninit): Changed to extern.
2202 (warn_uninitialized_phi): Removed.
2203 (warn_uninitialized_vars): Changed to extern.
2204 (execute_late_warn_uninitialized): Removed
2205 * tree-flow.h: Add new prototypes.
2206 * timevar.def: Add new time variable.
2207 * Makefile.in: Add new build file.
2209 2010-04-28 Uros Bizjak <ubizjak@gmail.com>
2211 * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
2214 2010-04-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
2217 * config/alpha/osf5.h (ASM_OUTPUT_LOCAL): Redefine.
2219 2010-04-28 Martin Jambor <mjambor@suse.cz>
2221 * cgraph.h (struct cgraph_node): New field indirect_calls.
2222 (struct cgraph_indirect_call_info): New type.
2223 (struct cgraph_edge): Removed field indirect_call. New fields
2224 indirect_info, indirect_inlining_edge and indirect_unknown_callee.
2225 (cgraph_create_indirect_edge): Declare.
2226 (cgraph_make_edge_direct): Likewise.
2227 (enum LTO_cgraph_tags): New item LTO_cgraph_indirect_edge.
2228 * ipa-prop.h (struct ipa_param_call_note): Removed.
2229 (struct ipa_node_params): Removed field param_calls.
2230 (ipa_create_all_structures_for_iinln): Declare.
2231 * cgraph.c: Described indirect edges and uids in initial comment.
2232 (cgraph_add_edge_to_call_site_hash): New function.
2233 (cgraph_edge): Search also among the indirect edges, use
2234 cgraph_add_edge_to_call_site_hash to add edges to the call site hash.
2235 (cgraph_set_call_stmt): Possibly turn an indirect edge into a direct
2236 one, use cgraph_add_edge_to_call_site_hash to add edges to the call
2238 (initialize_inline_failed): Assign a reason to indirect edges.
2239 (cgraph_create_edge_1): New function.
2240 (cgraph_create_edge): Moved some functionality to
2241 cgraph_create_edge_1.
2242 (cgraph_create_indirect_edge): New function.
2243 (cgraph_edge_remove_callee): Add an assert checking for
2245 (cgraph_edge_remove_caller): Special-case indirect edges.
2246 (cgraph_remove_edge): Likewise.
2247 (cgraph_set_edge_callee): New function.
2248 (cgraph_redirect_edge_callee): Use cgraph_set_edge_callee.
2249 (cgraph_make_edge_direct): New function.
2250 (cgraph_update_edges_for_call_stmt_node): Do nothing only when also
2251 the declaration of the call statement matches.
2252 (cgraph_node_remove_callees): Special-case indirect edges.
2253 (cgraph_clone_edge): Likewise.
2254 (cgraph_clone_node): Clone also the indirect edges.
2255 (dump_cgraph_node): Dump indirect_inlining_edge flag instead of
2256 indirect_call, dump count of indirect_calls edges.
2257 * ipa-prop.c (iinlining_processed_edges): New variable.
2258 (ipa_note_param_call): Create indirect edges instead of
2259 creating notes. New parameter node.
2260 (ipa_analyze_call_uses): New parameter node, pass it on to
2261 ipa_note_param_call.
2262 (ipa_analyze_stmt_uses): Likewise.
2263 (ipa_analyze_params_uses): Pass node to ipa_analyze_stmt_uses.
2264 (print_edge_addition_message): Work on edges rather than on notes.
2265 (update_call_notes_after_inlining): Likewise, renamed to
2266 update_indirect_edges_after_inlining.
2267 (ipa_create_all_structures_for_iinln): New function.
2268 (ipa_free_node_params_substructures): Do not free notes.
2269 (ipa_edge_duplication_hook): Propagate bits within
2270 iinlining_processed_edges bitmap.
2271 (ipa_node_duplication_hook): Do not duplicate notes.
2272 (free_all_ipa_structures_after_ipa_cp): Renamed to
2273 ipa_free_all_structures_after_ipa_cp.
2274 (free_all_ipa_structures_after_iinln): Renamed to
2275 ipa_free_all_structures_after_iinln.
2276 (ipa_write_param_call_note): Removed.
2277 (ipa_read_param_call_note): Removed.
2278 (ipa_write_indirect_edge_info): New function.
2279 (ipa_read_indirect_edge_info): Likewise.
2280 (ipa_write_node_info): Do not stream notes, do stream information
2282 (ipa_read_node_info): Likewise.
2283 (lto_ipa_fixup_call_notes): Removed.
2284 * ipa-cp.c (pass_ipa_cp): Set stmt_fixup to NULL.
2285 * ipa-inline.c (pass_ipa_inline): Likewise.
2286 * cgraphunit.c (verify_cgraph_node): Check also indirect edges.
2287 * cif-code.def (INDIRECT_UNKNOWN_CALL): New reason.
2288 * tree-inline.c (copy_bb): Removed an unnecessary double check for
2290 * tree-inline.c (get_indirect_callee_fndecl): Do not consider indirect
2292 * lto-cgraph.c (output_outgoing_cgraph_edges): New function.
2293 (output_cgraph): Stream also indirect edges.
2294 (lto_output_edge): Added capability to stream indirect edges.
2295 (input_edge): Likewise.
2296 (input_cgraph_1): Likewise.
2297 * lto-streamer-in.c (fixup_call_stmt_edges_1): Fixup also statements
2300 2010-04-28 Richard Guenther <rguenther@suse.de>
2302 PR tree-optimization/43879
2303 PR tree-optimization/43909
2304 * tree-ssa-structalias.c (struct variable_info): Add
2305 only_restrict_pointers flag.
2306 (new_var_info): Initialize it. Increment stats.total_vars here.
2307 (create_function_info_for): Do not increment stats.total_vars here.
2308 (get_function_part_constraint): Fix build with C++.
2309 (insert_into_field_list): Remove.
2310 (push_fields_onto_fieldstack): Properly merge fields.
2311 (create_variable_info_for): Split and simplify.
2312 (create_variable_info_for_1): New piece.
2313 (intra_create_variable_infos): Properly make restrict constraints
2316 2010-04-28 Richard Guenther <rguenther@suse.de>
2319 * tree-inline.c (copy_bind_expr): Also copy bind expr vars value-exprs.
2321 2010-04-27 Manuel López-Ibáñez <manu@gcc.gnu.org>
2322 Jan Hubicka <hubicka@ucw.cz>
2324 * doc/invoke.texi (-Wsuggest-attribute=const,
2325 -Wsuggest-attribute=pure): Document.
2326 * ipa-pure-const.c: Include toplev.h, intl.h and opts.h.
2327 (function_always_visible_to_compiler_p,
2328 suggest_attribute, warn_function_pure, warn_function_const):
2330 (check_call): Improve debug info.
2331 (analyze_function): Do not check availability.
2332 (add_new_function): Check availability.
2333 (propagate): Output warnings.
2334 (skip_function_for_local_pure_const): New function.
2335 (local_pure_const): Use it; output warnings.
2336 * common.opt (Wsuggest-attribute=const,
2337 Wsuggest-attribute=pure): New.
2339 2010-04-27 Jakub Jelinek <jakub@redhat.com>
2341 * dwarf2out.c (def_cfa_1): After DW_CFA_def_cfa_expression
2342 force using DW_CFA_def_cfa instead of DW_CFA_def_cfa_register
2343 or DW_CFA_def_cfa_offset{,_sf}.
2345 2010-04-27 Eric Botcazou <ebotcazou@adacore.com>
2347 * tree.h: Fix truncated long macros.
2349 2010-04-27 Kai Tietz <kai.tietz@onevision.com>
2351 * collect2.c (TARGET_64BIT): Redefine to target's default.
2352 * tlink.c: Likewise.
2353 * config/i386/cygming.h (USER_LABEL_PREFIX): Define
2354 dependent to TARGET_64BIT and USE_MINGW64_LEADING_UNDERSCORES.
2355 * config/i386/i386.h (CRT_CALL_STATIC_FUNCTION): Use
2356 for underscoring __USER_LABEL_PREFIX__.
2357 * config/i386/mingw-w64.h (SUB_LINK_ENTRY): New macro.
2358 (SUB_LINK_ENTRY32): New.
2359 (SUB_LINK_ENTRY64): New.
2360 (LINK_SPEC): Replace entry point spec by SUB_LINK_ENTRY.
2361 * config/i386/mingw32 (SUB_LINK_ENTRY32): New.
2362 (SUB_LINK_ENTRY64): New.
2363 (SUB_LINK_ENTRY): New.
2364 (LINK_SPEC): Use SUB_LINK_ENTRY instead of hard-coded entry-point.
2365 (DWARF2_UNWIND_INFO): Error out for use of dw2 unwind when
2366 x64 target is choosen.
2367 * config.in (USE_MINGW64_LEADING_UNDERSCORES): New.
2368 * configure: Regenerated.
2369 * configure.ac (leading-mingw64-underscores): Option added.
2371 2010-04-27 Jan Hubicka <jh@suse.cz>
2373 * doc/invoke.texi (-fipa-profile): Document.
2374 * opts.c (decode_options): Enable ipa-profile at -O1.
2375 * timevar.def (TV_IPA_PROFILE): Define.
2376 * common.opt (fipa-profile): Add.
2377 * cgraph.c (cgraph_clone_node): Set local flag and clear vtable method
2379 (cgraph_propagate_frequency): Handle only local ones.
2380 * tree-pass.h (pass_ipa_profile): Declare.
2381 * ipa-profile.c (gate_profile): Use flag_ipa_profile.
2382 (pass_ipa_profile): Use TV_IPA_PROFILE.
2383 * ipa.c (ipa_profile): New function.
2384 (gate_ipa_profile): Likewise.
2385 (pass_ipa_profile): New global variable.
2386 * passes.c (pass_ipa_profile): New.
2388 2010-04-27 Nathan Froyd <froydnj@codesourcery.com>
2390 * config/arm/arm.c (arm_expand_builtin): Remove redundant declaration.
2392 2010-04-27 Martin Jambor <mjambor@suse.cz>
2395 * ipa.c (dissolve_same_comdat_group_list): New function.
2396 (function_and_variable_visibility): Call
2397 dissolve_same_comdat_group_list when comdat group contains external or
2399 * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
2400 lists are circular and that they contain only DECL_ONE_ONLY nodes.
2402 2010-04-27 Eric Botcazou <ebotcazou@adacore.com>
2404 * varasm.c (decode_addr_const): Handle special case of INDIRECT_REF.
2405 (const_hash_1) <VECTOR_CST>: New case.
2406 (compare_constant) <VECTOR_CST>: Likewise.
2407 <ADDR_EXPR>: Deal with LABEL_REFs.
2408 (copy_constant) <VECTOR_CST>: New case.
2410 2010-04-27 Jan Hubicka <jh@suse.cz>
2412 * cgraph.c (cgraph_propagate_frequency): New function.
2413 * cgraph.h (cgraph_propagate_frequency): Declare.
2414 * ipa-inline.c (cgraph_clone_inlined_nodes): Call
2415 cgraph_propagate_frequency.
2417 2010-04-27 Jakub Jelinek <jakub@redhat.com>
2419 * unwind-dw2.c (_Unwind_DebugHook): Add used and noclone attributes.
2421 2010-04-27 Bernd Schmidt <bernds@codesourcery.com>
2424 * config/arm/arm.c (thumb1_extra_regs_pushed): New function.
2425 (thumb1_expand_prologue, thumb1_output_function_prologue): Call it
2426 here to determine which regs to push and how much stack to reserve.
2428 2010-04-27 Jie Zhang <jie@codesourcery.com>
2430 * doc/gimple.texi (gimple_statement_with_ops): Remove
2431 addresses_taken field.
2432 (gimple_statement_with_memory_ops): Likewise.
2434 2010-04-27 Jan Hubicka <jh@suse.cz>
2436 * tree-inline.c (eni_inlining_weights): Remove.
2437 (estimate_num_insns): Special case more builtins.
2439 2010-04-27 Shujing Zhao <pearly.zhao@oracle.com>
2442 * c-typeck.c (build_binary_op): Move forward check for comparison
2443 pointer with null pointer constant and adjust the diagnostic message.
2445 2010-04-27 Dave Korn <dave.korn.cygwin@gmail.com>
2448 * configure.ac (gcc_cv_as_section_has_align): Set if installed
2449 binutils supports extended .section directive needed by LTO, or
2450 warn if older binutils found.
2451 (LTO_BINARY_READER): New AC_SUBST'd variable.
2452 (LTO_USE_LIBELF): Likewise.
2453 * gcc/config.gcc (lto_binary_reader): New target-specific configure
2455 * gcc/Makefile.in (LTO_BINARY_READER): Import AC_SUBST'd autoconf var.
2456 (LTO_USE_LIBELF): Likewise.
2457 * configure: Regenerate.
2459 * collect2.c (is_elf): Rename from this ...
2460 (is_elf_or_coff): ... to this, and recognize and allow i386 COFF
2461 object files in addition to ELF-formatted ones.
2462 (scan_prog_file): Caller updated. Also allow for LTO info marker
2463 symbol to be prefixed or not by an extra underscore.
2465 * config/i386/t-cygming (winnt.o): Also depend on LTO_STREAMER_H.
2466 * config/i386/winnt.c: Also #include lto-streamer.h
2467 (i386_pe_asm_named_section): Specify 1-byte section alignment for
2469 (i386_pe_asm_output_aligned_decl_common): Add comment.
2470 (i386_pe_maybe_record_exported_symbol): Allow decl arg to be NULL.
2472 2010-04-27 Hans-Peter Nilsson <hp@bitrange.com>
2475 * config/mmix/mmix.md ("*divdi3_nonknuth", "*moddi3_nonknuth"):
2476 Add missing earlyclobber for second alternative.
2478 2010-04-26 Bernd Schmidt <bernds@codesourcery.com>
2480 * df-problems.c (df_simulate_initialize_forwards): Set, don't clear,
2481 bits for artificial defs at the top of the block.
2482 * fwprop.c (single_def_use_enter_block): Don't call it.
2484 2010-04-26 Jack Howarth <howarth@bromo.med.uc.edu>
2487 * gcc/configure.ac: Use "$gcc_cv_nm -g" on darwin
2488 instead of "$gcc_cv_objdump -T".
2489 Use "-undefined dynamic_lookup" on darwin.
2490 * gcc/configure: Regenerate.
2492 2010-04-26 Jakub Jelinek <jakub@redhat.com>
2495 * c-omp.c (c_finish_omp_for): Handle also EQ_EXPR.
2497 2010-04-26 Nathan Froyd <froydnj@codesourcery.com>
2499 * c-parser.c (struct c_token): Move location field up.
2500 * c-tree.h (struct c_typespec): Move expr_const_operands field up.
2501 (struct c_declspecs): Convert typespec_word, storage_class, and
2502 default_int_p into bitfields.
2503 (struct c_declarator): Move loc field up.
2505 2010-04-26 Nathan Froyd <froydnj@codesourcery.com>
2507 * cfgloop.h (struct loop): Move can_be_parallel field up.
2508 * ipa-prop.h (struct ip_node_params): Move bitfields up.
2509 * tree-ssa-loop-ivopts.c (struct version_info): Move inv_id field
2511 (struct iv_cand): Convert pos field into a bitfield.
2512 * tree-vectorizer.h (struct _loop_vec_info): Move loop_line_number
2514 (struct _stmt_vec_info): Shuffle fields for better packing.
2516 2010-04-26 Eric Botcazou <ebotcazou@adacore.com>
2518 * varasm.c (IN_NAMED_SECTION): Remove guard.
2519 * config/arm/unknown-elf.h (IN_NAMED_SECTION): Rename to...
2520 (IN_NAMED_SECTION_P): ...this.
2521 (ASM_OUTPUT_ALIGNED_BSS): Adjust for above renaming.
2522 (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Likewise.
2524 2010-04-26 Eric Botcazou <ebotcazou@adacore.com>
2526 * gimplify.c (gimplify_cond_expr): Use THEN_ and ELSE_ local variables.
2527 Use VOID_TYPE_P for all void type tests. Adjust TYPE variable instead
2528 of shadowing it. Fix comments.
2530 2010-04-26 Jan Hubicka <jh@suse.cz>
2532 * cgraph.c (cgraph_create_node): Set node frequency to normal.
2533 (cgraph_clone_node): Copy function frequency.
2534 * cgraph.h (node_frequency): New enum
2535 (struct cgraph_node): Add.
2536 * final.c (rest_of_clean_state): Update.
2537 * lto-cgraph.c (lto_output_node): Output node frequency.
2538 (input_overwrite_node): Input node frequency.
2539 * tre-ssa-loop-ivopts (computation_cost): Update.
2540 * lto-streamer-out.c (output_function): Do not output function
2542 * predict.c (maybe_hot_frequency_p): Update and handle functions
2544 (cgraph_maybe_hot_edge_p): Likewise; use cgraph frequency instead of
2546 (probably_never_executed_bb_p, optimize_function_for_size_p): Update.
2547 (compute_function_frequency): Set noreturn functions to be executed
2549 (choose_function_section): Update.
2550 * lto-streamer-in.c (input_function): Do not input function frequency.
2551 * function.c (allocate_struct_function): Do not initialize function
2553 * function.h (function_frequency): Remove.
2554 (struct function): Remove function frequency.
2555 * ipa-profile.c (CGRAPH_NODE_FREQUENCY): Remove.
2556 (try_update): Update.
2557 * tree-inline.c (initialize_cfun): Do not update function frequency.
2558 * passes.c (pass_init_dump_file): Update.
2559 * i386.c (ix86_compute_frame_layout): Update.
2560 (ix86_pad_returns): Update.
2562 2010-04-26 Jie Zhang <jie@codesourcery.com>
2564 PR tree-optimization/43833
2565 * tree-vrp.c (range_int_cst_p): New.
2566 (range_int_cst_singleton_p): New.
2567 (extract_range_from_binary_expr): Optimize BIT_AND_EXPR case
2568 when both operands are constants. Use range_int_cst_p in
2571 2010-04-26 Jan Hubicka <jh@suse.cz>
2573 * cgraphunit.c (cgraph_copy_node_for_versioning): Fix profile updating.
2575 2010-04-26 Richard Guenther <rguenther@suse.de>
2578 * gimple.c (gimple_decl_printable_name): Deal gracefully
2579 with a NULL DECL_NAME.
2581 2010-04-26 Richard Guenther <rguenther@suse.de>
2584 * tree.c (free_lang_data_in_type): Do not free TYPE_CONTEXT
2585 if emitting debug information and it is either a function
2586 or a namespace decl.
2588 2010-04-26 Ira Rosen <irar@il.ibm.com>
2590 * tree-vectorizer.h (struct _stmt_vec_info): Add new field to
2591 determine if the statement is vectorizable, and a macro to access it.
2592 * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
2593 Skip statements that can't be vectorized. If the analysis fails,
2594 mark the statement as unvectorizable if vectorizing basic block.
2595 (vect_compute_data_refs_alignment): Likewise.
2596 (vect_verify_datarefs_alignment): Skip statements marked as
2597 unvectorizable. Add print.
2598 (vect_analyze_group_access): Skip statements that can't be
2599 vectorized. If the analysis fails, mark the statement as
2600 unvectorizable if vectorizing basic block.
2601 (vect_analyze_data_ref_accesses, vect_analyze_data_refs): Likewise.
2602 * tree-vect-stmts.c (vectorizable_store): Fix the number of
2603 generated stmts for SLP.
2604 (new_stmt_vec_info): Initialize the new field.
2605 * tree-vect-slp.c (vect_build_slp_tree): Fail to vectorize
2606 statements marked as unvectorizable.
2608 2010-04-25 Joseph Myers <joseph@codesourcery.com>
2610 * c-common.c (flag_isoc1x): New.
2611 (flag_isoc99): Update comment.
2612 * c-common.h (flag_isoc1x): New.
2613 (flag_isoc99): Update comment.
2614 * c-cppbuiltin.c (builtin_define_float_constants): Also define
2615 __<type>_DECIMAL_DIG__.
2616 * c-opts.c (set_std_c1x): New.
2617 (c_common_handle_option): Handle -std=c1x and -std=gnu1x.
2618 (set_std_c89, set_std_c99): Also set flag_isoc1x to 0.
2619 * c.opt (-std=c1x, -std=gnu1x): New options.
2620 * doc/cpp.texi: Mention -std=c1x.
2621 * doc/cppopts.texi (-std=c1x, -std=gnu1x): Document.
2622 * doc/extend.texi: Mention -std=c1x and -std=gnu1x.
2623 * doc/invoke.texi (-std=c1x, -std=gnu1x): Document.
2624 * doc/standards.texi: Mention C1X.
2625 * ginclude/float.h (FLT_DECIMAL_DIG, DBL_DECIMAL_DIG,
2626 LDBL_DECIMAL_DIG, FLT_HAS_SUBNORM, DBL_HAS_SUBNORM,
2627 LDBL_HAS_SUBNORM, FLT_TRUE_MIN, DBL_TRUE_MIN, LDBL_TRUE_MIN):
2630 2010-04-25 Uros Bizjak <ubizjak@gmail.com>
2632 * config/i386/gmon-sol2.c (_mcleanup): Change format string
2633 placeholder from 0x%x to %#x.
2634 * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
2635 * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
2636 * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
2637 * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
2638 * config/i386/i386.c (ix86_target_string): Ditto.
2639 (output_pic_addr_const): Ditto.
2640 (print_operand): Ditto.
2642 2010-04-25 Paolo Bonzini <bonzini@gnu.org>
2644 * combine.c (find_split_point): Add third argument. Use it
2645 to find nested multiply-accumulate instructions. Adjust calls.
2646 (try_combine): Adjust call to find_split_point.
2648 2010-04-24 Gerald Pfeifer <gerald@pfeifer.com>
2650 * doc/contrib.texi (Contributors): Add Dodji Seketeli.
2652 2010-04-24 Bernd Schmidt <bernds@codesourcery.com>
2654 PR tree-optimization/41442
2655 * fold-const.c (merge_truthop_with_opposite_arm): New function.
2656 (fold_binary_loc): Call it.
2658 2010-04-23 Manuel López-Ibáñez <manu@gcc.gnu.org>
2660 * toplev.c (general_init): Set default for fdiagnostics-show-option.
2661 * opts.c (common_handle_option): Allow disabling it.
2662 * common.opt (fdiagnostics-show-option): Add Var. Enabled by default.
2664 2010-04-23 Eric Botcazou <ebotcazou@adacore.com>
2666 * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Only use conversion
2667 between modes if both types are integral.
2669 2010-04-23 Richard Guenther <rguenther@suse.de>
2671 PR tree-optimization/43572
2672 * tree-tailcall.c (find_tail_calls): Allow PARM_DECL uses.
2674 2010-04-23 Richard Guenther <rguenther@suse.de>
2677 * tree-inline.c (tree_can_inline_p): Also check compatibility
2680 2010-04-23 Martin Jambor <mjambor@suse.cz>
2682 PR tree-optimization/43846
2683 * tree-sra.c (struct access): New flag grp_assignment_read.
2684 (build_accesses_from_assign): Set grp_assignment_read.
2685 (sort_and_splice_var_accesses): Propagate grp_assignment_read.
2686 (enum mark_read_status): New type.
2687 (analyze_access_subtree): Propagate grp_assignment_read, create
2688 accesses also if both direct_read and root->grp_assignment_read.
2690 2010-04-23 Martin Jambor <mjambor@suse.cz>
2693 * tree-sra.c (ipa_sra_preliminary_function_checks): Check that the
2694 function does not have type attributes.
2696 2010-04-23 Richard Guenther <rguenther@suse.de>
2699 * tree.c (free_lang_data_in_decl): Do not reset DECL_CONTEXT
2702 2010-04-22 Laurynas Biveinis <laurynas.biveinis@gmail.com>
2704 * sese.h (create_if_region_on_edge): Remove.
2706 * sese.c (create_if_region_on_edge): Make static.
2708 * tree-inline.c: Do not include ggc.h.
2710 * expr.c: Do not include ggc.h.
2712 * Makefile.in (tree-inline.o, expr.o): Remove $(GGC_H) from
2715 2010-04-22 Kaz Kojima <kkojima@gcc.gnu.org>
2718 * config/sh/sh.c (find_barrier): Don't emit a constant pool
2719 in the middle of insns for casesi_worker_2.
2721 2010-04-22 David Edelsohn <edelsohn@gnu.org>
2723 * config/rs6000/x-aix: Override LDFLAGS for all COMPILERS.
2725 2010-04-22 Ira Rosen <irar@il.ibm.com>
2727 PR tree-optimization/43842
2728 * tree-vect-loop.c (vect_create_epilog_for_reduction): Handle
2729 loop unrolling in update of exit phis. Fix comment.
2730 * tree-vect-slp.c (vect_analyze_slp): Check that there are at
2731 least two reduction statements in the loop before starting SLP
2734 2010-04-22 Nick Clifton <nickc@redhat.com>
2736 * config/stormy16/stormy16-lib2.c (__ucmpsi2): Fix thinko.
2738 2010-04-22 Alexander Monakov <amonakov@ispras.ru>
2740 * tree-ssa-reassoc.c (eliminate_plus_minus_pair): Handle BIT_NOT_EXPR
2743 2010-04-22 Laurynas Biveinis <laurynas.biveinis@gmail.com>
2745 * tree-parloops.c (loop_parallel_p): New argument
2746 parloop_obstack. Pass it down.
2747 (parallelize_loops): New variable parloop_obstack. Initialize it,
2748 pass it down, free it.
2750 * tree-loop-linear.c (linear_transform_loops): Pass down
2753 * tree-data-ref.h (lambda_compute_access_matrices): New argument
2754 of type struct obstack *.
2756 * tree-data-ref.c (analyze_subscript_affine_affine): New variable
2757 scratch_obstack. Initialize it, pass down, free it.
2759 * lambda.h (lambda_loop_new): Remove.
2760 (lambda_matrix_new, lambda_matrix_inverse)
2761 (lambda_trans_matrix_new, lambda_trans_matrix_inverse): New
2762 argument of type struct obstack *.
2764 * lambda-trans.c (lambda_trans_matrix_new): New argument
2765 lambda_obstack. Pass it down, use obstack allocation for ret.
2766 (lambda_trans_matrix_inverse): New argument lambda_obstack. Pass
2769 * lambda-mat.c (lambda_matrix_get_column)
2770 (lambda_matrix_project_to_null): Remove.
2771 (lambda_matrix_new): New argument lambda_obstack. Use obstack
2773 (lambda_matrix_inverse_hard, lambda_matrix_inverse): New argument
2776 * lambda-code.c (lambda_loop_new): New function.
2777 (lambda_lattice_new, compute_nest_using_fourier_motzkin)
2778 (lambda_compute_auxillary_space, lambda_compute_target_space)
2779 (lambda_loopnest_transform, gcc_loop_to_lambda_loop)
2780 (lambda_loopnest_to_gcc_loopnest): Pass down lambda_obstack.
2781 (build_access_matrix): New argument lambda_obstack. Use obstack
2783 (lambda_compute_step_signs, lambda_compute_access_matrices): New
2784 argument lambda_obstack. Pass it down.
2786 2010-04-22 Bernd Schmidt <bernds@codesourcery.com>
2788 * optabs.h (expand_widening_mult): Declare.
2790 2010-04-22 Richard Guenther <rguenther@suse.de>
2792 PR tree-optimization/43845
2793 * tree-ssa-pre.c (create_component_ref_by_pieces_1): Properly
2794 lookup the CALL_EXPR function and arguments.
2796 2010-04-22 Nick Clifton <nickc@redhat.com>
2798 * config/stormy16/stormy16.c
2799 (xstormy16_asm_output_aligned_common): Handle a NULL decl parameter.
2800 * config/stormy16/stormy16.h: Tidy up formatting.
2801 (DONT_USE_BUILTIN_SETJMP): Remove definition.
2802 * config/stormy16/stormy16.c (cbranchsi4): Delete pattern.
2803 (ineqbranchsi): Delete pattern.
2804 * config/stormy16/stormy16-lib2-ucmpsi2.c: New file.
2805 * config/stormy16/stormy16-lib2.c (__ucmpsi2): New function.
2806 * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Add
2807 stormy16-lib2-ucmpsi2.c.
2809 2010-04-22 Bernd Schmidt <bernds@codesourcery.com>
2811 * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and
2812 df_simulate_find_noclobber_defs as appropriate. Keep track of an
2813 extra set merge_set_noclobber, and use it to relax the final test
2815 * df.h (df_simulate_find_noclobber_defs): Declare.
2816 * df-problems.c (df_simulate_find_defs): Don't ignore partial or
2818 (df_simulate_find_noclobber_defs): New function.
2820 2010-04-22 Uros Bizjak <ubizjak@gmail.com>
2822 * config/i386/i386.md: Use {} around multi-line preparation statements.
2824 2010-04-22 Laurynas Biveinis <laurynas.biveinis@gmail.com>
2826 * c-tree.h (push_init_level, pop_init_level, set_init_index)
2827 (process_init_element): New argument of type struct obstack *.
2829 * c-typeck.c (push_init_level, pop_init_level, set_designator)
2830 (set_init_index, set_init_label, set_nonincremental_init)
2831 (set_nonincremental_init_from_string, find_init_member)
2832 (output_init_element, output_pending_init_elements)
2833 (process_init_element): New argument braced_init_obstack. Pass it
2835 (push_range_stack, add_pending_init): New argument
2836 braced_init_obstack. Use obstack allocation.
2838 * c-parser.c (c_parser_initelt, c_parser_initval): New argument
2839 braced_init_obstack. Pass it down.
2840 (c_parser_braced_init): New variables ret, braced_init_obstack.
2841 Initialize obstack, pass it down and finally free it.
2843 2010-04-22 Bernd Schmidt <bernds@codesourcery.com>
2846 * tree-pass.h (pass_optimize_widening_mul): Declare.
2847 * tree-ssa-math-opts.c (execute_optimize_widening_mul,
2848 gate_optimize_widening_mul): New static functions.
2849 (pass_optimize_widening_mul): New.
2850 * expr.c (expand_expr_real_2) <case WIDEN_MULT_EXPR>: New case.
2851 <case MULT_EXPR>: Remove support for widening multiplies.
2852 * tree.def (WIDEN_MULT_EXPR): Tweak comment.
2853 * cfgexpand.c (expand_debug_expr) <case WIDEN_MULT_EXPR>: Use
2854 simplify_gen_unary rather than directly building extensions.
2855 * tree-cfg.c (verify_gimple_assign_binary): Add tests for
2857 * expmed.c (expand_widening_mult): New function.
2858 * passes.c (init_optimization_passes): Add pass_optimize_widening_mul.
2860 2010-04-21 Jan Hubicka <jh@suse.cz>
2862 * timevar.def (TV_WHOPR_WPA_FIXUP): Remove.
2863 * lto-section-in.c (lto_section_name): Remove wpa_fixup.
2864 * lto-wpa-fixup.c: Remove.
2865 * Makefile.in (lto-wpa-fixup.o): Remove.
2866 * passes.c (init_optimization_passes): Remove pass_ipa_lto_wpa_fixup.
2867 (execute_all_ipa_transforms): Set cgraph_state to CGRAPH_STATE_IPA_SSA.
2868 * lto-streamer.c (lto_get_section_name): Remove wpa_fixup section.
2870 2010-04-21 Jan Hubicka <jh@suse.cz>
2872 * tree-pass.h (ipa_opt_pass_d): Rename function_read_summary;
2873 add write_optimization_summary, read_optimization_summary.
2874 (ipa_write_summaries_of_cgraph_node_set): Remove.
2875 (ipa_write_optimization_summaries): Declare.
2876 (ipa_read_optimization_summaries): Declare.
2877 * ipa-cp.c (pass_ipa_cp): Update.
2878 * ipa-reference.c (pass_ipa_reference): Update.
2879 * ipa-pure-const.c (pass_ipa_pure_const): Update.
2880 * lto-streamer-out.c (pass_ipa_lto_gimple, pass_ipa_lto_finish):
2882 * ipa-inline.c (pass_ipa_inline): Update.
2883 * ipa.c (pass_ipa_whole_program): Update.
2884 * lto-wpa-fixup.c (pass_ipa_lto_wpa_fixup): Update.
2885 * passes.c (ipa_write_summaries_1): Do not test wpa.
2886 (ipa_write_optimization_summaries_1): New.
2887 (ipa_write_optimization_summaries): New.
2888 (ipa_read_summaries): Do not test ltrans.
2889 (ipa_read_optimization_summaries_1): New.
2890 (ipa_read_optimization_summaries): New.
2892 2010-04-21 Jan Hubicka <jh@suse.cz>
2894 * lto-cgraph.c (lto_output_node): Do not output comdat groups
2896 (output_cgraph): Do not arrange comdat groups for boundary nodes.
2898 2010-04-21 Jakub Jelinek <jakub@redhat.com>
2901 * dwarf2out.c (add_name_and_src_coords_attributes): Add
2902 DW_AT_{,MIPS_}linkage_name even for Fortran decls.
2904 2010-04-21 Jan Hubicka <jh@suse.cz>
2906 * ipa-prop.c (ipa_edge_removal_hook): Check for bounds.
2908 2010-04-21 Jan Hubicka <jh@suse.cz>
2910 * varpool.c (decide_is_variable_needed): Variable is always needed
2913 2010-04-21 Jan Hubicka <jh@suse.cz>
2915 * opts.c (decode_options): Enable pure-const pass for whopr.
2917 2010-04-21 Jan Hubicka <jh@suse.cz>
2919 * cgraph.c (dump_cgraph_node): Dump also assembler name.
2920 * ipa-inline.c (cgraph_decide_inlining_of_small_functions): Do not ice
2922 (cgraph_decide_inlining): Do not expect callee to be removed in all
2925 2010-04-21 Eric B. Weddington <eric.weddington@atmel.com>
2927 * config/avr/avr-devices.c (avr_mcu_types): Add missing comma.
2929 2010-04-21 Uros Bizjak <ubizjak@gmail.com>
2931 * config/i386/i386.md (x86_shrd): Add athlon_decode and
2932 amdfam10_decode attributes.
2934 2010-04-21 Jakub Jelinek <jakub@redhat.com>
2937 * omp-low.c (scan_sharing_clauses): Don't scan_omp_op
2938 OMP_CLAUSE_DECL for OMP_CLAUSE_COPYPRIVATE.
2939 (lower_copyprivate_clauses): Use private var in outer
2940 context instead of original var. Make sure the types
2941 are correct for VLAs.
2943 2010-04-21 Richard Guenther <rguenther@suse.de>
2945 * tree-ssa-structalias.c (do_ds_constraint): Avoid escaping
2946 to non-pointer objects.
2948 2010-04-21 Jakub Jelinek <jakub@redhat.com>
2950 * dwarf2out.c (add_var_loc_to_decl): Add LABEL argument. Drop
2951 last chain entry if it starts with the still current label.
2952 (add_location_or_const_value_attribute): Check that
2953 loc_list->first->next is NULL instead of comparing ->first with ->last.
2954 (dwarf2out_var_location): Pass last_label resp. last_postcall_label
2955 to add_var_loc_to_decl.
2957 * dwarf2out.c (output_call_frame_info): For dw_cie_version
2958 >= 4 add also address size and segment size fields into CIE header.
2960 * unwind-dw2.c (extract_cie_info): Handle CIE version 4, as
2961 long as address size is the same as sizeof (void *) and
2963 * unwind-dw2-fde.c (get_cie_encoding): Likewise. If
2964 address size or segment size is unexpected, return DW_EH_PE_omit.
2965 (classify_object_over_fdes): If get_cie_encoding returned
2966 DW_EH_PE_omit, return -1.
2967 (init_object): If classify_object_over_fdes returned -1,
2968 pretend there were no FDEs at all.
2970 2010-04-21 Uros Bizjak <ubizjak@gmail.com>
2972 * config/i386/i386.md (bswap<mode>2): Macroize expander from
2973 bswap{si,di}2 using SWI48 mode iterator.
2974 (*bswap<mode>2_movbe): Macroize insn from *bswap{si,di}_movbe using
2975 SWI48 mode iterator. Set type attribute of bswap insn to bitmanip,
2976 set modrm attribute of bswap insn to 0 and remove length attribute.
2977 (*bswap<mode>2_1): Macroize insn from *bswap{si,di}_1 using SWI48 mode
2978 iterator. Set type attribute to bitmanip, set modrm attribute to 0,
2979 set mode attribute to <MODE> and remove length attribute.
2981 2010-04-20 James E. Wilson <wilson@codesourcery.com>
2983 PR rtl-optimization/43520
2984 * ira-lives.c (ira_implicitly_set_insn_hard_regs): Exclude classes with
2985 zero available registers.
2987 2010-04-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
2989 * builtins.c (fold_builtin_cproj): Fold more cases.
2991 2010-04-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
2993 * builtins.c (build_complex_cproj, fold_builtin_cproj): New.
2994 (fold_builtin_1): Fold builtin cproj.
2995 * builtins.def (BUILT_IN_CPROJ, BUILT_IN_CPROJF, BUILT_IN_CPROJL):
2996 Use ATTR_CONST_NOTHROW_LIST.
2998 2010-04-20 Uros Bizjak <ubizjak@gmail.com>
3000 * config/i386/i386.md (ffs<mode>2): Macroize expander from ffs_cmove
3001 and ffsdi2 using SWI48 mode iterator. Expand SImode insn through
3002 ffsi2_no_cmove for !TARGET_CMOVE.
3003 (ffssi2_no_cmove): Rename from *ffs_no_cmove. Make public.
3004 (ffssi2): Remove expander.
3005 (*ffs<mode>_1): Macroize insn from *ffs{si,di} using SWI48
3007 (ctz<mode>2): Ditto from ctz{si,di}2.
3008 (clz<mode>2): Macroize expander from ctz{hi,si,di}2 using SWI248
3010 (clz<mode>2_abm): Macroize insn from clz{hi,si,di}2_abm using SWI248
3013 2010-04-20 Jakub Jelinek <jakub@redhat.com>
3015 * dwarf2out.c (AT_linkage_name): Define.
3016 (clone_as_declaration): Handle DW_AT_linkage_name.
3017 (add_name_and_src_coords_attributes): Use AT_linkage_name instead
3018 of DW_AT_MIPS_linkage_name.
3019 (move_linkage_attr): Likewise.
3020 (dwarf2out_finish): Likewise.
3022 2010-04-20 Xinliang David Li <davidxl@gcc.gnu.org>
3025 * fold-const.c (fold_comparison): New folding rule.
3027 2010-04-20 Anatoly Sokolov <aesok@post.ru>
3029 * double-int.h (double_int_setbit): Declare.
3030 * double-int.c (double_int_setbit): New function.
3031 * rtl.h (immed_double_int_const): Declare.
3032 * emit-rtl.c (immed_double_int_const): New function.
3033 * builtins.c (expand_builtin_signbit): Clean up, use double_int_*
3034 and immed_double_int_const functions.
3035 * optabs.c (expand_absneg_bit, expand_copysign_absneg,
3036 expand_copysign_bit): (Ditto.).
3037 * simplify-rtx.c (simplify_binary_operation_1): (Ditto.).
3038 * tree-ssa-address.c (addr_for_mem_ref): (Ditto.).
3039 * dojump.c (prefer_and_bit_test): (Ditto.).
3040 * expr.c (convert_modes, reduce_to_bit_field_precision,
3041 const_vector_from_tree): (Ditto.).
3042 * expmed.c (mask_rtx, lshift_value): (Ditto.).
3044 2010-04-20 Jan Hubicka <jh@suse.cz>
3046 * cgraph.c (cgraph_remove_node): Kill bodies in other partitoin.
3047 (dump_cgraph_node): Dump new flags.
3048 * cgraph.h (struct cgraph_node): Add flags
3049 reachable_from_other_partition and in_other_partition.
3050 (cgraph_can_remove_if_no_direct_calls_p): Functions used by
3051 other partition can not be removed.
3052 * cgraphunit.c (cgraph_mark_functions_to_output): Functions used by
3053 the other partition must be output; silence sanity checking on
3054 leaking functions bodies from other paritition.
3055 * lto-cgraph.c (reachable_from_other_partition_p): New function.
3056 (lto_output_node): Output new flags; do not sanity check that inline
3057 clones are output; drop lto_forced_extern_inline_p code; do not mock
3058 visibility flags at partition boundaries.
3059 (add_node_to): New function.
3060 (output_cgraph): Use it to sort functions so masters appear before
3062 (input_overwrite_node): Input new flags.
3063 * passes.c (ipa_write_summaries): Do not call
3064 lto_new_extern_inline_states.
3065 * lto-section-out.c (forced_extern_inline,
3066 lto_new_extern_inline_states lto_delete_extern_inline_states,
3067 lto_force_functions_extern_inline, lto_forced_extern_inline_p): Kill.
3068 * lto-streamer.h (lto_new_extern_inline_states,
3069 * lto_delete_extern_inline_states, lto_force_functions_extern_inline,
3070 lto_forced_extern_inline_p): Kill.
3072 2010-04-20 Richard Guenther <rguenther@suse.de>
3074 * tree-ssa-structalias.c (do_sd_constraint): Add edges only
3075 from vars that can have pointers.
3076 (process_constraint): Dump useless constraints.
3078 2010-04-20 Richard Guenther <rguenther@suse.de>
3080 * tree-ssa-structalias.c (do_structure_copy): Properly handle DEREF.
3081 (dump_sa_points_to_info): Remove asserts.
3082 (init_base_vars): nothing_id isn't an escape point nor does it
3085 2010-04-20 Jakub Jelinek <jakub@redhat.com>
3087 * tree.h (TYPE_REF_IS_RVALUE): Define.
3088 * dwarf2out.c (attr_checksum_ordered, is_type_die, is_comdat_die,
3089 should_move_die_to_comdat, prune_unused_types_walk): Handle
3090 DW_TAG_rvalue_reference_type like DW_TAG_reference_type.
3091 (modified_type_die, gen_reference_type_die): Emit
3092 DW_TAG_rvalue_reference_type instead of DW_TAG_reference_type
3093 if TYPE_REF_IS_RVALUE and -gdwarf-4.
3095 2010-04-20 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
3098 * config/s390/s390.c (s390_emit_call): Turn direct into indirect
3099 calls for -fpic -m31 if they have been sibcall optimized.
3101 2010-04-19 James E. Wilson <wilson@codesourcery.com>
3103 * config/ia64/ia64.h (FIXED_REGISTERS, CALL_USED_REGISTERS): Make
3104 ar.lc fixed and call-used.
3106 * config/ia64/ia64.c (TARGET_INVALID_WITHIN_DOLOOP): Define.
3108 2010-04-19 Jan Hubicka <jh@suse.cz>
3110 * opts.c (decode_options): Disable whpr incompatible passes.
3111 * lto/lto.c (lto_1_to_1_map): Skip clones.
3112 (read_cgraph_and_symbols): Do not mark everything as needed.
3113 (do_whole_program_analysis): Do map only after optimizing;
3114 set proper cgraph_state; use passmanager.
3116 2010-04-19 DJ Delorie <dj@redhat.com>
3118 * cfgexpand.c (expand_debug_expr): Check for mismatched modes in
3119 POINTER_PLUS_EXPR and fix them.
3121 2010-04-19 Eric B. Weddington <eric.weddington@atmel.com>
3123 * config/avr/avr-devices.c (avr_mcu_types): Add support for new
3124 devices atmega644pa, attiny2313a, attiny24a, attiny261a, attiny4313,
3125 attiny44a, attiny861a, atmega16a, atmega168a, atmega164a, atmega165a,
3126 atmega169a, atmega169pa, atmega16hva2, atmega324a, atmega324pa,
3127 atmega325a, atmega3250a, atmega328, atmega329a, atmega329pa,
3128 atmega3290a, atmega48a, atmega644a, atmega645a, atmega645p,
3129 atmega6450a, atmega6450p, atmega649a, atmega649p, atmega6490a,
3130 atmega6490p, atmega64hve, atmega88a, atmega88pa, attiny461a, attiny84a,
3131 m3000. Remove support for devices atmega8m1, atmega8c1, atmega16c1,
3132 atmega4hvd, atmega8hvd, attiny327, m3000f, m3000s, m3001b.
3133 * config/avr/t-avr.c (MULTILIB_MATCHES): Same.
3135 2010-04-19 Eric Botcazou <ebotcazou@adacore.com>
3137 * ifcvt.c (noce_try_cmove_arith): Fix long lines.
3138 (check_cond_move_block): Likewise.
3139 (cond_move_process_if_block): Likewise.
3140 (noce_find_if_block): Improve formatting.
3141 (find_if_header): Pass 0 to memset and tweak conditions.
3142 (cond_exec_find_if_block): Fix long lines and tweak conditions.
3144 2010-04-19 Jakub Jelinek <jakub@redhat.com>
3146 * dwarf2out.c (lower_bound_default): For DW_LANG_Python return 0
3150 * tree-nested.c (convert_nonlocal_omp_clauses): OMP_CLAUSE_PRIVATE
3151 with non-local decl doesn't need chain.
3153 2010-04-19 Vladimir Makarov <vmakarov@redhat.com>
3155 * ira-color.c (allocno_reload_assign): Avoid accumulating
3156 reload registers in ALLOCNO_TOTAL_CONFLICT_HARD_REGS.
3158 2010-04-19 Martin Jambor <mjambor@suse.cz>
3160 * gimple.h (create_tmp_reg): Declare.
3161 * gimplify.c (create_tmp_reg): New function.
3162 (gimplify_return_expr): Use create_tmp_reg.
3163 (gimplify_omp_atomic): Likewise.
3164 (gimple_regimplify_operands): Likewise.
3165 * tree-dfa.c (make_rename_temp): Likewise.
3166 * tree-predcom.c (predcom_tmp_var): Likewise.
3167 (reassociate_to_the_same_stmt): Likewise.
3168 * tree-sra.c (replace_uses_with_default_def_ssa_name): Likewise.
3169 (get_replaced_param_substitute): Likewise.
3170 * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise.
3171 * tree-ssa-phiopt.c (cond_store_replacement): Likewise.
3172 * tree-ssa-pre.c (get_representative_for): Likewise.
3173 (create_expression_by_pieces): Likewise.
3174 * tree-tailcall.c (adjust_return_value_with_ops): Likewise.
3175 (create_tailcall_accumulator): Likewise.
3177 2010-04-19 Martin Jambor <mjambor@suse.cz>
3179 * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Update
3181 (cgraph_materialize_all_clones): Assert !need_ssa_update_p.
3183 2010-04-19 Richard Guenther <rguenther@suse.de>
3185 PR tree-optimization/43796
3186 * tree-vrp.c (adjust_range_with_scev): Lookup init and step
3187 from SCEV in the lattice.
3188 (vrp_visit_phi_node): Dump change.
3190 2010-04-19 Richard Guenther <rguenther@suse.de>
3192 * configure.ac: Fix quoting around elf_getshstrndx ABI check.
3193 * configure: Re-generated.
3195 2010-04-19 Richard Guenther <rguenther@suse.de>
3197 PR tree-optimization/43783
3198 * tree-ssa-pre.c (create_component_ref_by_pieces_1): Drop
3199 constant ARRAY_REF operands two and three if possible.
3201 2010-04-19 Uros Bizjak <ubizjak@gmail.com>
3204 * config/i386/i386.c (ix86_decompose_address): Handle ASHIFT addends.
3206 2010-04-19 Jie Zhang <jie@codesourcery.com>
3209 * reginfo.c (reinit_regs): Set caller_save_initialized_p to false.
3211 2010-04-19 Ira Rosen <irar@il.ibm.com>
3213 PR tree-optimization/37027
3214 * tree-vectorizer.h (struct _loop_vec_info): Add new field reductions
3215 and macro to access it.
3216 (vectorizable_reduction): Add argument.
3217 (vect_get_slp_defs): Likewise.
3218 * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Collect reduction
3219 statements for possible use in SLP.
3220 (new_loop_vec_info): Initialize LOOP_VINFO_REDUCTIONS.
3221 (destroy_loop_vec_info): Free LOOP_VINFO_REDUCTIONS.
3222 (vect_create_epilog_for_reduction): Handle SLP. Modify documentation,
3224 (vectorizable_reduction): Likewise.
3225 * tree-vect-stmts.c (vect_get_vec_defs): Update call to
3227 (vectorizable_type_demotion, vectorizable_type_promotion,
3228 vectorizable_store): Likewise.
3229 (vect_analyze_stmt): Update call to vectorizable_reduction.
3230 (vect_transform_stmt): Likewise.
3231 * tree-vect-slp.c (vect_get_and_check_slp_defs): Handle reduction.
3232 (vect_build_slp_tree): Fix indentation. Check that there are no loads
3233 from different interleaving chains in same node.
3234 (vect_slp_rearrange_stmts): New function.
3235 (vect_supported_load_permutation_p): Allow load permutations for
3236 reductions. Call vect_slp_rearrange_stmts() to rearrange statements
3237 inside SLP nodes if necessary.
3238 (vect_analyze_slp_instance): Handle reductions.
3239 (vect_analyze_slp): Try to build SLP instances originating from groups
3241 (vect_detect_hybrid_slp_stmts): Skip reduction statements.
3242 (vect_get_constant_vectors): Create initial vectors for reductions
3243 according to reduction code. Add new argument.
3244 (vect_get_slp_defs): Add new argument, pass it to
3245 vect_get_constant_vectors.
3246 (vect_schedule_slp_instance): Remove SLP tree root statements.
3248 2010-04-19 Jakub Jelinek <jakub@redhat.com>
3250 * tree.h (ENUM_IS_SCOPED): Define.
3251 * dwarf2out.c (gen_enumeration_type_die): Add DW_AT_enum_class
3252 for ENUM_IS_SCOPED enums.
3254 2010-04-18 Eric Botcazou <ebotcazou@adacore.com>
3256 * fold-const.c (fold_comparison): Use ssizetype.
3257 * gimple-fold.c (maybe_fold_offset_to_array_ref): Likewise.
3258 * ipa-prop.c (ipa_modify_call_arguments): Use sizetype.
3259 * tree-loop-distribution.c (build_size_arg_loc): Likewise.
3260 * tree-object-size.c (compute_object_sizes): Use size_type_node.
3262 * tree.h (initialize_sizetypes): Remove parameter.
3263 (build_common_tree_nodes): Remove second parameter.
3264 * stor-layout.c (initialize_sizetypes): Remove parameter.
3265 Always create an unsigned type.
3266 (set_sizetype): Assert that the passed type is unsigned and simplify.
3267 * tree.c (build_common_tree_nodes): Remove second parameter.
3268 Adjust call to initialize_sizetypes.
3269 * c-decl.c (c_init_decl_processing): Remove second argument in call to
3270 build_common_tree_nodes.
3272 2010-04-18 Matthias Klose <doko@ubuntu.com>
3274 * gcc.c (main): Search for liblto_plugin.so with mode R_OK.
3276 2010-04-18 Ira Rosen <irar@il.ibm.com>
3278 PR tree-optimization/43771
3279 * tree-vect-slp.c (vect_supported_load_permutation_p): Check that
3280 load permutation doesn't have gaps.
3282 2010-04-18 Jan Hubicka <jh@suse.cz>
3284 * i386.md (UNSPEC_SSE_PROLOGUE_SAVE_LOW): New.
3285 (sse_prologue_save_insn expander): Use new pattern.
3286 (sse_prologue_save_insn1): New pattern and splitter.
3287 (sse_prologue_save_insn): Update to deal also with 64bit aligned
3289 * i386.c (setup_incoming_varargs_64): Do not compute jump
3291 (ix86_gimplify_va_arg): Update alignment needed.
3292 (ix86_local_alignment): Do not align all local arrays to 128bit.
3294 2010-04-17 Jan Hubicka <jh@suse.cz>
3296 * ipa-inline.c (cgraph_early_inlining): Handle flattening too.
3298 2010-04-17 Richard Earnshaw <rearnsha@arm.com>
3300 * arm.md (negdi2): Remove redundant code to force values into a
3303 2010-04-17 Richard Earnshaw <rearnsha@arm.com>
3305 * arm/bpabi.S: Add EABI alignment attributes to objects.
3306 * arm/bpabi-v6m.S: Likewise.
3307 * arm/crti.asm: Likewise.
3308 * arm/crtn.asm: Likewise.
3309 * arm/lib1funcs.asm: Likewise.
3310 * arm/libunwind.S: Likewise.
3312 2010-04-17 Richard Earnshaw <rearnsha@arm.com>
3314 * arm-protos.h (tune_params): New structure.
3315 * arm.c (current_tune): New variable.
3316 (arm_constant_limit): Delete.
3317 (struct processors): Add pointer to the tune parameters.
3318 (arm_slowmul_tune): New tuning option.
3319 (arm_fastmul_tune, arm_xscale_tune, arm_9e_tune): Likewise.
3320 (all_cores): Adjust to pick up the tuning model.
3321 (arm_constant_limit): New function.
3322 (arm_override_options): Select the appropriate tuning model. Delete
3323 initialization of arm_const_limit.
3324 (arm_split_constant): Use the new constant-limit model.
3325 (arm_rtx_costs): Pick up the current tuning model.
3326 * arm.md (is_strongarm, is_xscale): Delete.
3327 * arm-generic.md (load_ldsched_x, load_ldsched): Test explicitly
3328 for Xscale variant architectures.
3329 (mult_ldsched_strongarm, mult_ldsched): Similarly for StrongARM.
3331 2010-04-17 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
3333 * config/arm/arm.c (arm_gen_constant): Remove unused variable
3335 (arm_rtx_costs_1): Remove unused variable extra_cost.
3336 (arm_unwind_emit_set): Use variable offset.
3337 (thumb1_output_casesi): Remove unused variable flags.
3339 2010-04-16 Jeff Law <law@redhat.com>
3341 * ira-color.c (ira_reassign_pseudos): Collect and sort all the pseudos
3342 needing assignment rather than doing a two-phase assignment. Remove
3343 unused variable 'm'.
3345 2010-04-16 Jakub Jelinek <jakub@redhat.com>
3348 * alias.c (memrefs_conflict_p): Don't crash if CSELIB_VAL_PTR is NULL.
3350 2010-04-16 Doug Kwan <dougkwan@google.com>
3352 * tree-ssa-reassoc.c (struct operand_entry): Add new field ID.
3353 (next_operand_entry_id): New static variable.
3354 (sort_by_operand_rank): Stabilize qsort comparator by using unique IDs.
3355 (add_to_ops_vec): Assigned unique ID to operand entry.
3356 (struct oecount_s): New field ID.
3357 (oecount_cmp): Stabilize qsort comparotor by using unique IDs.
3358 (undistribute_ops_list): Assign unique IDs to oecounts.
3359 (init_reassoc): reset next_operand_entry_id.
3361 2010-04-16 Doug Kwan <dougkwan@google.com>
3363 * config/i386/i386.md (*jcc_bt<mode>): Fix build breakage by adding
3364 missing left parenthesis.
3366 2010-04-16 Uros Bizjak <ubizjak@gmail.com>
3368 * config/i386/i386.md (*bt<mode>): Macroize insn from *btsi and
3369 *btdi_rex64 using SWI48 mode iterator.
3370 (*jcc_bt<mode>): Ditto from *jcc_btsi and *jcc_btdi_rex64.
3371 (*jcc_bt<mode>_mask): Ditto from *jcc_btsi_mask and
3372 *jcc_btdi_mask_rex64.
3374 2010-04-16 Anatoly Sokolov <aesok@post.ru>
3376 * double-int.h (tree_to_double_int): Convert to macro.
3377 * double-int.c (tree_to_double_int): Remove.
3379 2010-04-16 Jakub Jelinek <jakub@redhat.com>
3382 * dwarf2out.c (add_bound_info): Always call loc_list_from_tree
3383 with want_address 2 and in case a single element list might be
3384 possible, call it again with want_address 0.
3386 2010-04-12 Kaushik Phatak <kaushik.phatak@kpitcummins.com>
3388 * config/h8300/h8300.c (print_operand) : Modify case 'V' and
3389 case 'W' print operands for HI mode.
3390 * config/h8300/h8300.h (Y0, Y2) : New constraints.
3391 * config/h8300/h8300.md (bclrqi_msx, bclrhi_msx): New patterns
3392 (bsetqi_msx, bsethi_msx, bnotqi_msx, bnothi_msx): Likewise.
3393 * config/h8300/predicate.md (bit_register_indirect_operand): New.
3395 * config/h8300/h8300.h (OK_FOR_U): Support 'U' constraint for H8300SX.
3397 * config/h8300/h8300.md (movqi_h8sx, movhi_h8sx, movsi_h8sx,
3398 cmphi_h8300hs_znvc, cmpsi, addhi3_h8sx) : Emit instructions in
3399 #xx:3 and #xx:4 mode.
3401 * config/h8300/h8300.md (inverted load with HImode dest): Add
3402 support for H8300SX.
3404 * config/h8300/predicate.md (bit_operand): Allow immediate values that
3405 satisfy 'U' constraint.
3407 2010-04-16 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
3409 * configure.ac: Check for elf_getshdrstrndx or elf_getshstrndx flavor.
3410 * configure: Regenerate.
3411 * config.in: Regenerate.
3412 * doc/install.texi (Prerequisites): Document that Solaris 2 libelf
3415 2010-04-16 Richard Guenther <rguenther@suse.de>
3417 * tree.h (struct tree_decl_minimal): Move pt_uid ...
3418 (struct tree_decl_common): ... here.
3419 (DECL_PT_UID): Adjust.
3420 (SET_DECL_PT_UID): Likewise.
3421 (DECL_PT_UID_SET_P): Likewise.
3423 2010-04-16 Richard Guenther <rguenther@suse.de>
3425 PR tree-optimization/43572
3426 * tree-ssa-alias.h (call_may_clobber_ref_p): Declare.
3427 * tree-ssa-alias.c (call_may_clobber_ref_p): Export.
3428 * tree-flow.h (is_call_clobbered): Remove.
3429 * tree-flow-inline.h (is_call_clobbered): Likewise.
3430 * tree-dfa.c (dump_variable): Do not dump call clobber state.
3431 * tree-nrv.c (dest_safe_for_nrv_p): Use the alias oracle.
3432 (execute_return_slot_opt): Adjust.
3433 * tree-tailcall.c (suitable_for_tail_opt_p): Remove
3434 check for call clobbered vars here.
3435 (find_tail_calls): Move tailcall verification to the
3438 2010-04-16 Diego Novillo <dnovillo@google.com>
3440 * doc/invoke.texi: Explain how are unrecognized -Wno- warnings handled.
3442 2010-04-16 Bernd Schmidt <bernds@codesourcery.com>
3445 * config/arm/arm.md (cbranchqi4): New pattern.
3446 * config/arm/predicates.md (const0_operand,
3447 cbranchqi4_comparison_operator): New predicates.
3449 2010-04-16 Richard Guenther <rguenther@suse.de>
3451 * gimple-pretty-print.c (dump_gimple_phi): Dump alias info.
3452 (dump_gimple_stmt): Likewise.
3454 2010-04-16 Bernd Schmidt <bernds@codesourcery.com>
3456 * recog.h (struct recog_data): New field is_operator.
3457 (struct insn_operand_data): New field is_operator.
3458 * recog.c (extract_insn): Set recog_data.is_operator.
3459 * genoutput.c (output_operand_data): Emit code to set the
3461 * reload.c (find_reloads): Use it rather than testing for an
3462 empty constraint string.
3465 * config/arm/arm.md (cbranchsi4_insn): Renamed from "*cbranchsi4_insn".
3466 If the previous insn is a cbranchsi4_insn with the same arguments,
3467 omit the compare instruction.
3469 * config/arm/arm.md (addsi3_cbranch): If destination is a high
3470 register, inputs must be low registers and we need a low register
3471 scratch. Handle alternative 2 like alternative 3.
3473 2010-04-16 Jakub Jelinek <jakub@redhat.com>
3475 * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
3476 don't call get_addr on both. If one expression is a VALUE and
3477 the other a REG, check VALUE's locs if the REG isn't among them.
3479 2010-04-16 Christian Bruel <christian.bruel@st.com>
3481 * config/sh/sh.h (sh_frame_pointer_required): New function.
3482 * config/sh/sh.h (TARGET_FRAME_POINTER_REQUIRED): New macro.
3483 (flag_omit_frame_pointer) Set.
3484 (MASK_ACCUMULATE_OUTGOING_ARGS) Define and Set.
3485 (rounded_frame_size): Adjust size with outgoing_args_size.
3486 (sh_set_return_address): Must return from stack pointer.
3487 * gcc/config/sh/sh.h (CAN_DEBUG_WITHOUT_FP): Define.
3488 (SUBTARGET_FRAME_POINTER_REQUIRED): Define.
3489 (ACCUMULATE_OUTGOING_ARGS): Define.
3490 * doc/invoke.texi (maccumulate-outgoing-args): Document for SH.
3491 * gcc/config/sh/sh.opt: (maccumulate-outgoing-args): New option.
3493 2010-04-15 Kaz Kojima <kkojima@gcc.gnu.org>
3496 * config/sh/sh.c (sh_legitimize_reload_address): Use
3497 MAYBE_BASE_REGISTER_RTX_P instead of BASE_REGISTER_RTX_P.
3498 Remove a unneeded check for offset_base.
3500 2010-04-15 H.J. Lu <hongjiu.lu@intel.com>
3502 * configure: Regenerated.
3504 2010-04-15 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
3506 * config/s390/s390.c (s390_call_save_register_used): Switch back
3507 to HARD_REGNO_NREGS.
3509 2010-04-15 Richard Guenther <rguenther@suse.de>
3511 * alias.c (alias_set_subset_of): Handle alias-set zero
3514 2010-04-15 Mark Shinwell <shinwell@codesourcery.com>
3515 Julian Brown <julian@codesourcery.com>
3517 * config/arm/thumb2.md (thumb2_movsi_insn): Split ldr and str
3518 alternatives according to use of high and low regs.
3519 * config/arm/vfp.md (thumb2_movsi_vfp): Likewise.
3520 * config/arm/arm.h (CONDITIONAL_REGISTER_USAGE): Use high regs when
3521 optimizing for size on Thumb-2.
3523 2010-04-15 Thomas Schwinge <tschwinge@gnu.org>
3525 * config.gcc <i[34567]86-*-gnu*>: Handle softfp as for Linux.
3527 2010-04-15 Richard Guenther <rguenther@suse.de>
3529 * tree-ssa-structalias.c (struct variable_info): Add
3531 (new_var_info): Initialize it.
3532 (dump_constraints): Support printing last added constraints.
3533 (debug_constraints): Adjust.
3534 (dump_constraint_graph): Likewise.
3535 (make_heapvar_for): Check for NULL cfun.
3536 (get_function_part_constraint): New function.
3537 (get_fi_for_callee): Likewise.
3538 (find_func_aliases): Properly implement IPA PTA constraints.
3539 (process_ipa_clobber): New function.
3540 (find_func_clobbers): Likewise.
3541 (insert_into_field_list_sorted): Remove.
3542 (create_function_info_for): Properly allocate vars for IPA mode.
3543 Do not use insert_into_field_list_sorted.
3544 (create_variable_info_for): Properly generate constraints for
3545 global vars in IPA mode.
3546 (dump_solution_for_var): Always dump the solution.
3547 (set_uids_in_ptset): Initialize DECL_PT_UID if in ipa-mode.
3548 (find_what_var_points_to): Adjust.
3549 (pt_solution_set): Change.
3550 (pt_solution_ior_into): New function.
3551 (pt_solution_empty_p): Export.
3552 (pt_solution_includes_global): Adjust.
3553 (pt_solution_includes_1): Likewise.
3554 (pt_solutions_intersect_1): Likewise.
3555 (dump_sa_points_to_info): Check some invariants.
3556 (solve_constraints): Move constraint dumping ...
3557 (compute_points_to_sets): ... here.
3558 (ipa_pta_execute): ... and here.
3559 (compute_may_aliases): Do not re-compute points-to info
3560 locally if IPA info is available.
3561 (ipa_escaped_pt): New global var.
3562 (ipa_pta_execute): Properly implement IPA PTA.
3563 * tree-into-ssa.c (dump_decl_set): Support dumping
3564 decls not in referenced-vars.
3565 * tree-flow.h (struct gimple_df): Add ipa_pta flag.
3566 * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Adjust.
3567 (dump_points_to_solution): Likewise.
3568 * tree-dfa.c (dump_variable): Also dump DECL_PT_UID.
3569 * tree-inline.c (remap_ssa_name): Copy IPA points-to solution.
3570 (remap_gimple_stmt): Reset call clobber/use information if necessary.
3571 (copy_decl_to_var): Copy DECL_PT_UID.
3572 (copy_result_decl_to_var): Likewise.
3573 * tree.c (make_node_stat): Initialize DECL_PT_UID.
3574 (copy_node_stat): Copy it.
3575 * tree.h (DECL_PT_UID): New macro.
3576 (SET_DECL_PT_UID): Likewise.
3577 (DECL_PT_UID_SET_P): Likewise.
3578 (struct tree_decl_minimal): Add pt_uid member.
3579 * tree-ssa-alias.h (struct pt_solution): Add ipa_escaped flag.
3580 (pt_solution_empty_p): Declare.
3581 (pt_solution_set): Adjust.
3582 (ipa_escaped_pt): Declare.
3583 * cfgexpand.c (update_alias_info_with_stack_vars): Adjust.
3584 * gimple-pretty-print.c (pp_points_to_solution): New function.
3585 (dump_gimple_call): Dump call clobber/use information.
3586 * tree-dump.c (dump_option_value_in): Add TDF_ALIAS entry.
3587 * tree-pass.h (TDF_ALIAS): New dump option.
3588 * tree-pretty-print.c (dump_decl_name): Dump DECL_PT_UID if asked to.
3589 * doc/invoke.texi (-fipa-pta): Update documentation.
3591 2010-04-15 Richard Guenther <rguenther@suse.de>
3593 * Makefile.in (OBJS-common): Add gimple-fold.o.
3594 (gimple-fold.o): New rule.
3595 * tree.h (maybe_fold_offset_to_reference,
3596 maybe_fold_offset_to_address, maybe_fold_stmt_addition): Move
3598 * gimple.h: ... here.
3599 * tree-flow.h (fold_stmt, fold_stmt_inplace, get_symbol_constant_value,
3600 may_propagate_address_into_dereference): Move prototypes ...
3601 * gimple.h: ... here.
3602 * tree-ssa-ccp.c (get_symbol_constant_value,
3603 may_propagate_address_into_dereference, maybe_fold_offset_to_array_ref,
3604 maybe_fold_offset_to_component_ref, maybe_fold_offset_to_reference,
3605 maybe_fold_offset_to_address, maybe_fold_stmt_indirect,
3606 maybe_fold_stmt_addition, maybe_fold_reference, get_maxval_strlen,
3607 ccp_fold_builtin, fold_gimple_assign, fold_gimple_cond,
3608 fold_gimple_call, fold_stmt_1, fold_stmt, fold_stmt_inplace,
3609 gimplify_and_update_call_from_tree): Move ...
3610 * gimple-fold.c: ... here. New file.
3611 (ccp_fold_builtin): Rename to ...
3612 (gimple_fold_builtin): ... this.
3613 * tree-ssa-ccp.c (execute_fold_all_builtins): Adjust.
3615 2010-04-15 Richard Guenther <rguenther@suse.de>
3617 * fold-const.c (LOWPART, HIGHPART, BASE, encode, decode,
3618 fit_double_type, force_fit_type_double, add_double_with_sign,
3619 neg_double, mul_double_with_sign, lshift_double, rshift_double,
3620 lrotate_double, rrotate_double, div_and_round_double): Move ...
3621 * double-int.c: ... here.
3622 * tree.h (force_fit_type_double, fit_double_type, add_double_with_sign,
3623 add_double, neg_double, mul_double_with_sign, mul_double,
3624 lshift_double, rshift_double, lrotate_double, rrotate_double,
3625 div_and_round_double): Move prototypes ...
3626 * double-int.h: ... here.
3628 2010-04-15 Bernd Schmidt <bernds@codesourcery.com>
3631 * config/sh/sh.md (doloop_end_split, dect): Undo previous patch. Use
3632 matching constraints to ensure inputs match the output.
3634 2010-04-15 Kaz Kojima <kkojima@gcc.gnu.org>
3637 * config/sh/sh.md (doloop_end_split): Remove "+r" constraint
3638 in an input-only operand.
3640 2010-04-15 Anatoly Sokolov <aesok@post.ru>
3642 * double-int.h (HOST_BITS_PER_DOUBLE_INT): Define.
3643 (double_int_not, double_int_lshift, double_int_rshift): Declare.
3644 (double_int_negative_p): Convert to static inline function.
3645 * double-int.c (double_int_lshift, double_int_lshift): New functions.
3646 (double_int_negative_p): Remove.
3647 * tree.h (lshift_double, rshift_double):
3648 * tree.c (build_low_bits_mask): Clean up, use double_int_* functions.
3649 * fold-const.c (fold_convert_const_int_from_real,
3650 fold_convert_const_int_from_fixed, div_if_zero_remainder): (Ditto.).
3651 (lshift_double): Change type of arith argument to bool.
3652 (rshift_double): Change type of arith argument to bool. Correct
3654 * expmed.c (mask_rtx, lshift_value): (Ditto.).
3656 2010-04-14 Bernd Schmidt <bernds@codesourcery.com>
3659 * ifcvt.c (cond_exec_process_if_block): Look for identical sequences
3660 at the start and end of the then/else blocks, and omit them from the
3662 * cfgcleanup.c (flow_find_cross_jump): No longer static. Remove MODE
3663 argument; all callers changed. Pass zero to old_insns_match_p instead.
3664 (flow_find_head_matching_sequence): New function.
3665 (old_insns_match_p): Check REG_EH_REGION notes for calls.
3666 * basic-block.h (flow_find_cross_jump,
3667 flow_find_head_matching_sequence): Declare functions.
3669 2010-04-14 Jason Merrill <jason@redhat.com>
3672 * c-common.c (attribute_takes_identifier_p): New fn.
3673 * c-common.h: Declare it.
3675 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
3677 * config/i386/i386.md (*divmod<mode>4): Remove stray "&&" from
3679 (*udivmod<mode>4): Ditto.
3681 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
3683 * config/i386/i386.md (maxmin_int): Rename code attribute from
3684 maxminiprefix and update all users.
3685 (maxmin_float): Ditto from maxminfprefix.
3686 (logic): Ditto from logicprefix.
3687 (absneg_mnemonic): Ditto from absnegprefix.
3688 * config/i386/mmx.md: Update all users of maxminiprefix,
3689 maxminfprefix and logicprefix for rename.
3690 * config/i386/sse.md: Ditto.
3691 * config/i386/sync.md (sync_<code><mode>): Update for
3694 2010-04-14 Manuel López-Ibáñez <manu@gcc.gnu.org>
3697 * diagnostics.c (diagnostic_report_diagnostic): Mark specially
3698 warnings converted to errors.
3700 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
3702 * config/alpha/alpha.c (alpha_adjust_cost): Remove set but not
3703 used insn_type variable.
3704 (function_value): Add ATTRIBUTE_UNUSED to dummy variable declaration
3705 to avoid set-but-not-used warning.
3707 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
3709 * df-core.c (df_ref_debug): Change format string placeholder
3711 * dwarf2asm.c (dw2_asm_output_data_raw,
3712 dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_uleb128,
3713 dw2_asm_output_data_sleb128_raw, dw2_asm_output_data_sleb128): Ditto.
3714 * dwarf2out.c (output_cfi, output_cfi_directive,
3715 dwarf2out_do_cfi_startproc, output_loc_sequence_raw,
3716 output_cfa_loc_raw, output_die, output_ranges, output_file_names):
3718 * genattrtab.c (write_test_expr, write_attr_valueq): Ditto.
3719 * print-rtl.c (print_rtx): Ditto.
3721 2010-04-14 Michael Meissner <meissner@linux.vnet.ibm.com>
3724 * builtins.c (expand_builtin_pow_root): New function to expand pow
3725 calls with exponents 0.25, 0.50, 0.75, 1./3., and 1./6. into a
3726 series of sqrt and cbrt calls under -ffast-math.
3727 (expand_builtin_pow): Call it.
3729 2010-04-14 Michael Matz <matz@suse.de>
3731 PR tree-optimization/42963
3732 * tree-cfg.c (touched_switch_bbs): New static variable.
3733 (group_case_labels_stmt): New function broken out from ...
3734 (group_case_labels): ... here, use the above.
3735 (start_recording_case_labels): Allocate touched_switch_bbs.
3736 (end_recording_case_labels): Deallocate it, call
3737 group_case_labels_stmt.
3738 (gimple_redirect_edge_and_branch): Remember index of affected BB.
3740 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
3742 * config/i386/i386.md (*popcountsi2_cmp_zext): Remove mode attribute
3745 2010-04-14 Uros Bizjak <ubizjak@gmail.com>
3747 * config/i386/i386.md (*ashlqi3_1_slp): New insn pattern.
3749 2010-04-13 Jan Hubicka <jh@suse.cz>
3751 * ipa-inline.c (cgraph_mark_inline_edge): Avoid double accounting
3752 of optimized out static functions.
3753 (cgraph_edge_badness): Add DUMP parameter and dump reasons for the
3754 cost computation. Also sanity check for overflows.
3755 (update_caller_keys): Update cgraph_edge_badness call; properly
3756 update fibheap and sanity check that it is up to date.
3757 (add_new_edges_to_heap): Update cgraph_edge_badness.
3758 (cgraph_decide_inlining_of_small_function): Likewise;
3759 add sanity checking that badness in heap is up to date;
3760 improve dumping of reason; Update badness of calls to the
3761 offline copy of function currently inlined; dump badness
3762 of functions not inlined because of unit growth limits.
3764 2010-04-13 Eric Botcazou <ebotcazou@adacore.com>
3767 * c-common.c (pointer_int_sum): Disregard overflow that occured only
3768 because of sign-extension change when converting to sizetype here...
3769 * fold-const.c (fold_convert_const_int_from_int): ...and not here.
3771 * fold-const.c (fold_binary_op_with_conditional_arg): Do not restrict
3772 the folding to constants. Remove redundant final conversion.
3773 (fold_binary) <associate>: Do not associate if the re-association of
3774 constants alone overflows.
3775 (fold_binary) <FLOOR_MOD_EXPR>: Move transformation into BIT_AND_EXPR
3776 to the end of the list.
3777 (multiple_of_p) <COND_EXPR>: New case.
3779 2010-04-13 Manuel López-Ibáñez <manu@gcc.gnu.org>
3781 * opt-functions.awk (opt_sanitized_name): New.
3783 * optc-gen.awk: Use it
3784 * opth-gen.awk: Use it.
3786 2010-04-13 Martin Jambor <mjambor@suse.cz>
3788 * tree-sra.c (replace_uses_with_default_def_ssa_name): New function.
3789 (sra_modify_assign): Delete stmts loading dead data even if racc has no
3790 children. Call replace_uses_with_default_def_ssa_name to handle
3793 2010-04-13 Michael Matz <matz@suse.de>
3796 * builtins.c (expand_builtin_interclass_mathfn): Also create
3797 a register if the predicate doesn't match.
3799 2010-04-13 Diego Novillo <dnovillo@google.com>
3801 * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h.
3802 * c-pch.c: Include timevar.h.
3803 (c_common_write_pch): Use TV_PCH_SAVE and TV_PCH_CPP_SAVE timers.
3804 (c_common_read_pch): Use TV_PCH_RESTORE and TV_PCH_CPP_RESTORE timers.
3805 * ggc-common.c: Include timevar.h.
3806 (gt_pch_save): Use TV_PCH_PTR_REALLOC and TV_PCH_PTR_SORT timers.
3807 * timevar.def (TV_PCH_SAVE): Define.
3808 (TV_PCH_CPP_SAVE): Define.
3809 (TV_PCH_PTR_REALLOC): Define.
3810 (TV_PCH_PTR_SORT): Define.
3811 (TV_PCH_RESTORE): Define.
3812 (TV_PCH_CPP_RESTORE): Define.
3814 2010-04-13 Michael Matz <matz@suse.de>
3816 * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
3818 (can_reassociate_p): New function.
3819 (break_up_subtract_bb, reassociate_bb): Use it.
3821 2010-04-13 Richard Guenther <rguenther@suse.de>
3824 * builtins.c (c_readstr): Fix assert.
3826 2010-04-13 Uros Bizjak <ubizjak@gmail.com>
3828 * config/i386/i386.md (extendsidi2 splitter): Also check for DX_REG
3829 when generating cltd insn.
3831 (*ashl<mode>3_1): Remove special handling for register operand 2.
3832 (*ashlsi3_1_zext): Ditto.
3833 (*ashlhi3_1): Ditto.
3834 (*ashlhi3_1_lea): Ditto.
3835 (*ashlqi3_1): Ditto.
3836 (*ashlqi3_1_lea): Ditto.
3837 (*<shiftrt_insn><mode>3_1): Ditto.
3838 (*<shiftrt_insn>si3_1_zext): Ditto.
3839 (*<shiftrt_insn>qi3_1_slp): Ditto.
3840 (*<rotate_insn><mode>3_1): Ditto.
3841 (*<rotate_insn>si3_1_zext): Ditto.
3842 (*<rotate_insn>qi3_1_slp): Ditto.
3844 2010-04-13 Richard Guenther <rguenther@suse.de>
3846 * tree-ssa-structalias.c (callused_id): Remove.
3847 (call_stmt_vars): New.
3848 (get_call_vi): Likewise.
3849 (lookup_call_use_vi): Likewise.
3850 (lookup_call_clobber_vi): Likewise.
3851 (get_call_use_vi): Likewise.
3852 (get_call_clobber_vi): Likewise.
3853 (make_transitive_closure_constraints): Likewise.
3854 (handle_const_call): Adjust to do per-call call-used handling.
3855 (handle_pure_call): Likewise.
3856 (find_what_var_points_to): Remove general callused handling.
3857 (init_base_vars): Likewise.
3858 (init_alias_vars): Initialize call_stmt_vars.
3859 (compute_points_to_sets): Process call-used and call-clobbered
3860 vars for call statements.
3861 (delete_points_to_sets): Free call_stmt_vars.
3863 2010-04-13 Richard Guenther <rguenther@suse.de>
3865 * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
3866 Only add RW dependence for dependence distance zero.
3867 Adjust maximal vectorization factor according to dependences.
3868 Move alignment handling ...
3869 (vect_find_same_alignment_drs): ... here. New function.
3870 (vect_analyze_data_ref_dependences): Adjust.
3871 (vect_analyze_data_refs_alignment): Call vect_find_same_alignment_drs.
3872 (vect_analyze_data_refs): Adjust minimal vectorization factor
3873 according to data references.
3874 * tree-vect-loop.c (vect_analyze_loop): Analyze data-ref
3875 dependences before determining the vectorization factor.
3876 Analyze alignment after determining the vectorization factor.
3877 * tree-vect-slp.c ((vect_slp_analyze_bb): Analyze data-ref
3878 dependences before alignment.
3879 * tree-vectorizer.h (vect_analyze_data_ref_dependences):
3881 (vect_analyze_data_refs): Likewise.
3882 (MAX_VECTORIZATION_FACTOR): New define.
3884 2010-04-13 Duncan Sands <baldrick@free.fr>
3886 * except.h (lang_eh_type_covers): Remove.
3887 * except.c (lang_eh_type_covers): Likewise.
3889 2010-04-13 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
3890 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
3892 * gcc/config/s390/s390.md: Replace TARGET_64BIT with TARGET_ZARCH.
3893 * gcc/config/s390/s390.c: Replace UNTIS_PER_WORD with
3894 UNITS_PER_LONG where it is ABI relevant.
3895 (s390_return_addr_rtx): Likewise.
3896 (s390_back_chain_rtx): Likewise.
3897 (s390_frame_area): Likewise.
3898 (s390_frame_info): Likewise.
3899 (s390_initial_elimination_offset): Likewise.
3900 (save_gprs): Likewise.
3901 (s390_emit_prologue): Likewise.
3902 (s390_emit_epilogue): Likewise.
3903 (s390_function_arg_advance): Likewise.
3904 (s390_function_arg): Likewise.
3905 (s390_va_start): Likewise.
3906 (s390_gimplify_va_arg): Likewise.
3907 (s390_function_profiler): Likewise.
3908 (s390_optimize_prologue): Likewise.
3909 (s390_rtx_costs): Likewise.
3910 (s390_secondary_reload): Likewise.
3911 (s390_promote_function_mode): Likewise.
3912 (s390_hard_regno_mode_ok): Replace TARGET_64BIT with TARGET_ZARCH.
3913 (s390_scalar_mode_supported_p): Disallow TImode if no 64 bit
3914 registers available.
3915 (s390_unwind_word_mode): New function.
3916 (s390_function_value): Split 64 bit values into register pair if
3917 used as return value.
3918 (s390_call_saved_register_used): Don't use HARD_REGNO_NREGS for
3919 function call parameters. Handle parallels.
3920 (TARGET_SCALAR_MODE_SUPPORTED_P): New macro.
3921 (HARD_REGNO_CALL_PART_CLOBBERED): New macro.
3922 (DWARF_CIE_DATA_ALIGNMENT): New macro.
3923 (s390_expand_setmem): Remove unused variable src_addr.
3924 * gcc/longlong.h: Make smul_ppmm and sdiv_qrnnd inline asms to
3925 deal with 64 bit registers.
3926 * gcc/config/s390/s390.h: Define __zarch__ predefined macro.
3927 Replace UNITS_PER_WORD with UNITS_PER_LONG where it is ABI relevant.
3928 (UNITS_PER_LONG): New macro.
3929 * libjava/include/s390-signal.h: Define extended ucontext
3930 structure containing the upper halfs of the 64 bit registers.
3932 2010-04-13 Simon Baldwin <simonb@google.com>
3934 * cfgexpand.c (gimple_expand_cfg): Clarify warning message text.
3936 2010-04-13 Eric Botcazou <ebotcazou@adacore.com>
3938 * gimple.c (walk_gimple_op) <GIMPLE_ASSIGN>: Do not request a pure
3939 rvalue on the RHS if the LHS is of a non-renamable type.
3940 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Fold result.
3942 2010-04-13 Matthias Klose <doko@ubuntu.com>
3944 * gcc.c (cc1_options): Handle -iplugindir before processing
3945 the cc1 spec. Only add -iplugindir once.
3946 (cpp_unique_options): Add -iplugindir option if -fplugin* options
3948 * common.opt (iplugindir): Remove `Separate' property, initialize.
3949 * plugin.c (default_plugin_dir_name): Error with missing -iplugindir
3951 * Makefile.in (check-%, check-parallel-%): Create plugin dir.
3952 (distclean): Remove plugin dir.
3953 * doc/invoke.texi: Document -iplugindir.
3955 2010-04-13 Basile Starynkevitch <basile@starynkevitch.net>
3957 * doc/plugins.texi (Loading Plugins): Document short
3958 -fplugin=foo option.
3959 (Plugin API): Mention default_plugin_dir_name function.
3961 * gcc.c (find_file_spec_function): Add new declaration.
3962 (static_spec_func): Use it for "find-file".
3963 (find_file_spec_function): Add new function.
3964 (cc1_options): Add -iplugindir option if -fplugin* options found.
3966 * gcc-plugin.h (default_plugin_dir_name): Added new declaration.
3968 * plugin.c (add_new_plugin): Updated comment, and handle short
3970 (default_plugin_dir_name): Added new function.
3972 * common.opt (iplugindir): New option to set the plugin directory.
3974 2010-04-12 Uros Bizjak <ubizjak@gmail.com>
3976 * config/i386/i386.md (any_rotate): New code iterator.
3977 (rotate_insn): New code attribute.
3979 (SWIM124): New mode iterator.
3980 (<rotate_insn>ti3): New expander.
3981 (<rotate_insn>di3): Macroize expander from {rotl,rotr}di3 using
3982 any_rotate code iterator.
3983 (<rotate_insn><mode>3) Macroize expander from {rotl,rotr}{qi,hi,si}3
3984 using any_rotate code iterator and SWIM124 mode iterator.
3985 (ix86_rotlti3): New insn_and_split pattern.
3986 (ix86_rotrti3): Ditto.
3987 (ix86_rotl<dwi>3_doubleword): Macroize insn_and_split pattern from
3988 ix86_rotl{di,ti}3 patterns.
3989 (ix86_rotr<dwi>3_doubleword): Ditto from ix86_rotr{di,ti}3 patterns.
3990 (*<rotate_insn><mode>3_1): Merge with *{rotl,rotr}{qi,hi,si}3_1_one_bit
3991 and *{rotl,rotr}di3_1_one_bit_rex64. Macroize insn from
3992 *{rotl,rotr}{qi,hi,si}3_1 and *{rotl,rotr}di3_1_rex64 using any_rotate
3993 code iterator and SWI mode iterator.
3994 (*<rotate_insn>si3_1_zext): Merge with *{rotl,rotr}si3_1_one_bit_zext.
3995 Macroize insn from {rotl,rotr}si3_1_zext using any_rotate
3997 (*<rotate_insn>qi3_1_slp): Merge with *{rotl,rotr}qi3_1_one_bit_slp.
3998 Macroize insn from {rotl,rotr}qi3_1_slp using any_rotate code iterator.
3999 (bswap rotatert splitter): Add splitter.
4000 (bswap splitter): Macroize splitter using any_rotate code iterator.
4001 Add insn predicate to split only for TARGET_USE_XCHGB or when
4002 optimizing function for size.
4004 2010-04-12 Steve Ellcey <sje@cup.hp.com>
4006 * config/pa/pa.c (emit_move_sequence): Remove use of
4007 deleted variable flag_argument_noalias.