OSDN Git Service

* targhooks.c (GO_IF_MODE_DEPENDENT_ADDRESS): Use CONST_CAST_RTX.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2010-05-15  Uros Bizjak  <ubizjak@gmail.com>
2
3         * targhooks.c (GO_IF_MODE_DEPENDENT_ADDRESS): Use CONST_CAST_RTX.
4
5 2010-05-15  Joseph Myers  <joseph@codesourcery.com>
6
7         * c-decl.c (grokfield): Allow typedefs for anonymous structs and
8         unions by default if those structs and unions have no tags.  Do
9         not condition anonymous struct and unions handling on flag_iso.
10         Allow anonymous structs and unions for C1X.
11         (finish_struct): Do not diagnose lack of named fields when
12         anonymous structs and unions present for C1X.  Accept flexible
13         array members in structure with anonymous structs or unions but no
14         directly named fields.
15         * doc/extend.texi (Unnamed Fields): Update.
16
17 2010-05-15  Eric Botcazou  <ebotcazou@adacore.com>
18
19         * gimple.h (compare_field_offset): Rename into...
20         (gimple_compare_field_offset): ...this.
21         * gimple.c (compare_field_offset): Rename into...
22         (gimple_compare_field_offset): ...this.  Compare the full access if
23         the offset is self-referential.
24         (gimple_types_compatible_p): Adjust for above renaming.
25         * lto-streamer-in.c (input_gimple_stmt): Likewise.  Also compare the
26         DECL_NONADDRESSABLE_P flag of fields before merging them.
27
28 2010-05-15  Nathan Froyd  <froydnj@codesourcery.com>
29
30         * tree.h (ctor_to_list): Delete.
31         * tree.c (ctor_to_list): Delete.
32
33 2010-05-15  Jan Hubicka  <jh@suse.cz>
34
35         * ipa-reference.c: Include toplev.h
36         (is_proper_for_analysis): Only add to all_module_statics
37         if it is allocated.
38         (write_node_summary_p, stream_out_bitmap,
39         ipa_reference_write_optimization_summary,
40         ipa_reference_read_optimization_summary): New.
41         (struct ipa_opt_pass_d pass_ipa_reference): Add
42         optimization summary streaming.
43         * lto-cgraph.c (referenced_from_this_partition_p,
44         reachable_from_this_partition_p): New functions.
45         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1,
46         call_may_clobber_ref_p_1): Ask ipa-reference even for public vars.
47         * opts.c (decode_options): Enable ipa_reference.
48         * Makefile.in (ipa-reference.o): Add toplev.h dependency.
49         * lto-streamer.h (referenced_from_this_partition_p,
50         reachable_from_this_partition_p): Declare.
51
52 2010-05-15  Richard Guenther  <rguenther@suse.de>
53
54         PR tree-optimization/44038
55         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Avoid
56         taking the address of a V_C_E of a constant.
57
58 2010-05-14  Jan Hubicka  <jh@suse.cz>
59
60         * tree.h (memory_identifier_string): Remove.
61         * ipa-reference.c: Update comment; do not include gt-ipa-reference.h
62         (ipa_reference_global_vars_info_d): Remove statics_not_read and
63         statics_not_written.
64         (ipa_reference_optimization_summary_d): New structure.
65         (ipa_reference_optimization_summary_t): New type and vector.
66         (ipa_reference_vars_info_d): Embedd structures instead of using
67         pointers.
68         (reference_vars_to_consider): Remove out of GGC space.
69         (module_statics_escape): Remove.
70         (global_info_obstack): Rename to ...
71         (optimization_summary_obstack): ... this one.
72         (initialization_status_t): Remove.
73         (memory_identifier_string): Remove.
74         (get_reference_vars_info): Fix indenting.
75         (set_reference_vars_info): Likewise.
76         (get_reference_optimization_summary): New.
77         (set_reference_optimization_summary): New.
78         (get_global_reference_vars_info): Remove.
79         (ipa_reference_get_read_global): Remove.
80         (ipa_reference_get_written_global): Remove.
81         (ipa_reference_get_not_read_global): Update.
82         (ipa_reference_get_not_written_global): Update.
83         (is_proper_for_analysis): Outlaw addressable.
84         (propagate_bits): Update for new datastructures.
85         (analyze_variable): Remove.
86         (init_function_info): Update for new datastructures.
87         (clean_function_local_data): Remove.
88         (clean_function): Remove.
89         (copy_global_bitmap): Use optimizations_summary_obstack.
90         (duplicate_node_data): Duplicate optimization summary only.
91         (remove_node_data): Remove optimization summary only.
92         (generate_summary): Do not analyze variables; do not compute
93         module_statics_escape; do not prune solutions by it.
94         (read_write_all_from_decl): Fix typos in comments.
95         (propagate): Doscover readonly and nonaddressable first;
96         update for new datastructures; share global bitmaps.
97         * ipa-reference.h (ipa_reference_get_read_global,
98         ipa_reference_get_written_global): Remove.
99         * ipa-pure-const.c (check_stmt): Do not use memory_identifier_string.
100         * Makefile.in: Remove ipa-refereference from GT files.
101
102 2010-05-14  Jakub Jelinek  <jakub@redhat.com>
103
104         PR debug/44112
105         * dwarf2out.c (resolve_one_addr): Check TREE_ASM_WRITTEN
106         for all SYMBOL_REF_DECLs.
107
108 2010-05-14  Jan Hubicka  <jh@suse.cz>
109
110         * cgraph.h (ipa_discover_readonly_nonaddressable_vars): Declare.
111         (varpool_all_refs_explicit_p): New inline function.
112         * ipa-reference.c: Update comment.
113         (module_statics_written): Remove.
114         (get_static_decl): Remove.
115         (ipa_init): Do not initialize module_statics_written.
116         (analyze_function): Likewise.
117         (generate_summary): Likewise; do not compute module_statics_readonly
118         and do not update variable flags.
119         (propagate): Call ipa_discover_readonly_nonaddressable_vars.
120         * ipa.c: Inlucde flags.h
121         (cgraph_local_node_p): New.
122         (cgraph_remove_unreachable_nodes): Return early when not optimizing;
123         promote functions to local.
124         (ipa_discover_readonly_nonaddressable_vars): New function.
125         (function_and_variable_visibility): Use cgraph_local_node_p.
126         * varpool.c (varpool_finalize_decl): Set force_output for
127         DECL_PRESERVE_P vars.
128
129 2010-05-14  Jan Hubicka  <jh@suse.cz>
130
131         * ipa.c (cgraph_remove_unreachable_nodes): Revert accidental commit.
132
133 2010-05-14  Richard Guenther  <rguenther@suse.de>
134
135         PR tree-optimization/44119
136         * tree-ssa-pre.c (eliminate): Properly mark replacement of
137         a PHI node necessary.
138
139 2010-05-14  Eric Botcazou  <ebotcazou@adacore.com>
140
141         * tree.h (TREE_ADDRESSABLE): Remove bogus usage for FIELD_DECL.
142
143 2010-05-14  Jason Merrill  <jason@redhat.com>
144
145         PR c++/44127
146         * gimple.h (enum gf_mask): Add GF_CALL_NOTHROW.
147         (gimple_call_set_nothrow): New.
148         * gimple.c (gimple_build_call_from_tree): Call it.
149         (gimple_call_flags): Set ECF_NOTHROW from GF_CALL_NOTHROW.
150
151         PR c++/44127
152         * gimplify.c (gimplify_seq_add_stmt): No longer static.
153         * gimple.h: Declare it.
154         * gimple.c (gimple_build_eh_filter): No ops.
155
156 2010-05-14  Jan Hubicka  <jh@suse.cz>
157
158         * ipa.c (enqueue_cgraph_node): Update comment; do not re-enqueue
159         nodes already in queue.
160         (cgraph_remove_unreachable_nodes): Cleanup; fix problem with
161         re-enqueueing node.
162
163 2010-05-14  Jakub Jelinek  <jakub@redhat.com>
164
165         PR debug/44136
166         * cfgexpand.c (expand_debug_expr): If non-memory op0
167         has BLKmode, return NULL.
168
169 2010-05-14  Harsha Jagasia  <harsha.jagasia@amd.com>
170
171         * config.gcc: Add support for --with-cpu option for bdver1.
172         * config/i386/i386.h (TARGET_BDVER1): New macro.
173         (ix86_tune_indices): Change SSE_UNALIGNED_MOVE_OPTIMAL
174         to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
175         (ix86_tune_features) :Change SSE_UNALIGNED_MOVE_OPTIMAL
176         to SSE_UNALIGNED_LOAD_OPTIMAL. Add SSE_UNALIGNED_STORE_OPTIMAL.
177         Add SSE_PACKED_SINGLE_INSN_OPTIMAL.
178         (TARGET_CPU_DEFAULT_NAMES): Add bdver1.
179         (processor_type): Add PROCESSOR_BDVER1.
180         * config/i386/i386.md: Add bdver1 as a new cpu attribute to match
181         processor_type in config/i386/i386.h.
182         Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit
183         movaps <reg, reg> instead of movapd <reg, reg> when replacing
184         movsd <reg, reg> or movss <reg, reg> for SSE and AVX.
185         Add check for  TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL
186         to emit packed xor instead of packed double/packed integer
187         xor for SSE and AVX when moving a zero value.
188         * config/i386/sse.md: Add check for
189         TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movaps instead of
190         movapd/movdqa for SSE and AVX.
191         Add check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed
192         single logical operations i.e and, or and xor instead of packed double
193         logical operations for SSE and AVX.
194         * config/i386/i386-c.c (ix86_target_macros_internal):
195         Add PROCESSOR_BDVER1.
196         * config/i386/driver-i386.c: Turn on -mtune=native for BDVER1.
197         (has_fma4, has_xop): New.
198         * config/i386/i386.c (bdver1_cost): New variable.
199         (m_BDVER1): New macro.
200         (m_AMD_MULTIPLE): Add m_BDVER1.
201         (x86_tune_use_leave, x86_tune_push_memory, x86_tune_unroll_strlen,
202         x86_tune_deep_branch_prediction, x86_tune_use_sahf, x86_tune_movx,
203         x86_tune_use_simode_fiop, x86_tune_promote_qimode,
204         x86_tune_add_esp_8, x86_tune_tune_sub_esp_4, x86_tune_sub_esp_8,
205         x86_tune_integer_dfmode_moves, x86_tune_partial_reg_dependency,
206         x86_tune_sse_partial_reg_dependency,
207         x86_tune_sse_unaligned_load_optimal,
208         x86_tune_sse_unaligned_store_optimal, x86_tune_sse_typeless_stores,
209         x86_tune_memory_mismatch_stall, x86_tune_use_ffreep,
210         x86_tune_inter_unit_moves, x86_tune_inter_unit_conversions,
211         x86_tune_use_bt, x86_tune_pad_returns, x86_tune_slow_imul_imm32_mem,
212         x86_tune_slow_imul_imm8, x86_tune_fuse_cmp_and_branch):
213         Enable/disable for bdver1.
214         (processor_target_table): Add bdver1_cost.
215         (cpu_names): Add bdver1.
216         (override_options): Set up PROCESSOR_BDVER1 for bdver1 entry in
217          processor_alias_table.
218         (ix86_expand_vector_move_misalign): Change.
219         TARGET_SSE_UNALIGNED_MOVE_OPTIMAL to TARGET_SSE_UNALIGNED_LOAD_OPTIMAL.
220         Check for TARGET_SSE_UNALIGNED_STORE_OPTIMAL.
221         Check for TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit movups instead
222         of movupd/movdqu for SSE and AVX.
223         (ix86_tune_issue_rate): Add PROCESSOR_BDVER1.
224         (ix86_tune_adjust_cost): Add code for bdver1.
225         (standard_sse_constant_opcode): Add check for
226         TARGET_SSE_PACKED_SINGLE_INSN_OPTIMAL to emit packed single xor instead
227         of packed double xor for SSE and AVX.
228
229 2010-05-14  Pat Haugen  <pthaugen@us.ibm.com>
230
231         * tree-ssa-loop.prefetch.c (prune_ref_by_group_reuse): Cast abs()
232         result to unsigned.
233
234 2010-05-14  Tristan Gingold  <gingold@adacore.com>
235
236         * toplev.c (default_debug_hooks): Remove this variable.
237         (process_options): Remove assignments to default_debug_hooks.
238
239 2010-05-14  Martin Jambor  <mjambor@suse.cz>
240
241         * langhooks-def.h (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove.
242         (LANG_HOOKS_INITIALIZER): Remove LANG_HOOKS_FOLD_OBJ_TYPE_REF.
243         * langhooks.h (struct lang_hooks_for_decls): Removed field
244         fold_obj_type_ref.
245         * tree.c (free_lang_data): Remove assignment to
246         lang_hooks.fold_obj_type_ref.
247         * tree.def (OBJ_TYPE_REF): Update comment.
248
249 2010-05-14  Richard Guenther  <rguenther@suse.de>
250
251         PR tree-optimization/44124
252         * tree-ssa-sccvn.c (vn_nary_may_trap): Fix invalid memory access.
253
254 2010-05-14  Alan Modra  <amodra@gmail.com>
255
256         PR target/44075
257         * config/rs6000/rs6000.c (struct machine_function): Reorder
258         fields for better packing.  Add lr_save_state.
259         (rs6000_ra_ever_killed): Return lr_save_state if set.
260         (rs6000_emit_eh_reg_restore): Set lr_save_state.
261
262 2010-05-13  Jan Hubicka  <jh@suse.cz>
263
264         * varpool.c (decide_is_variable_needed): Drop code checking
265         TREE_SYMBOL_REFERENCED.
266
267 2010-05-13  Jan Hubicka  <jh@suse.cz>
268
269         * final.c (output_addr_const): Do not call mark_decl_referenced.
270         * cgraphunit.c (process_function_and_variable_attributes): Use
271         mark_needed_node dirrectly.
272         (assemble_thunk): Do not call mark_decl_referenced.
273
274 2010-05-13  Anatoly Sokolov  <aesok@post.ru>
275
276         * targhooks.c (default_mode_dependent_address_p): Cast 'addr' to rtx.
277
278 2010-05-13  Jeff Law  <law@redhat.com>
279
280         * ira-conflicts.c (print_allocno_conflicts): New function broken out
281         from...
282         (print_conflicts): Call print_allocno_conflicts.
283
284 2010-05-13  Jakub Jelinek  <jakub@redhat.com>
285
286         PR debug/44104
287         * dwarf2out.c (modified_type_die): Don't dereference mod_type_die
288         if it is NULL.
289
290 2010-05-13  Kai Tietz  <kai.tietz@onevision.com>
291
292         * config.gcc (i[34567]86-*-mingw* | x86_64-*-mingw*): Choose
293         t-mingw-w64 or t-mingw-w32 for multilib configuration.
294         * config/i386/t-mingw-w32: New.
295         * config/i386/t-mingw-w64 (MULTILIB_OSDIRNAMES): Change lib64 to lib.
296
297 2010-05-13  Martin Jambor  <mjambor@suse.cz>
298
299         * gimple.c (gimple_fold_obj_type_ref): Removed (a replacement moved to
300         gimple-fold.c).
301         * gimple-fold.c (get_base_binfo_for_type): New function.
302         (gimple_get_relevant_ref_binfo): Likewise.
303         (gimple_fold_obj_type_ref_known_binfo): Likewise.
304         (gimple_fold_obj_type_ref): Likewise.
305         (fold_gimple_call): Simplify condition for folding virtual calls
306         and call gimple_fold_obj_type_ref.
307         * gimple.h (gimple_get_relevant_ref_binfo): Declare.
308         (gimple_fold_obj_type_ref_known_binfo): Likewise.
309
310 2010-05-13  Andreas Schwab  <schwab@linux-m68k.org>
311
312         * config/rs6000/rs6000-protos.h
313         (rs6000_mode_dependent_address_ptr): Change argument to const_rtx.
314         * config/rs6000/rs6000.c (rs6000_mode_dependent_address)
315         (rs6000_debug_mode_dependent_address)
316         (rs6000_mode_dependent_address_ptr): Likewise.
317
318 2010-05-13  Jakub Jelinek  <jakub@redhat.com>
319
320         PR debug/43983
321         * var-tracking.c (track_expr_p): Allow tracking of variables optimized
322         by SRA.
323         * Makefile.in (dwarf2out.o): Depend on $(TREE_FLOW_H).
324         * tree-sra.c (create_access_replacement): Call unshare_expr before
325         passing expr to SET_DECL_DEBUG_EXPR, and remove any SSA_NAMEs from it.
326         * dwarf2out.c: Include tree-flow.h.
327         (struct var_loc_node): Rename var_loc_note field to loc, add comment.
328         (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
329         Handle DW_OP_bit_piece.
330         (decl_piece_bitsize, decl_piece_varloc_ptr, decl_piece_node,
331         construct_piece_list, adjust_piece_list): New functions.
332         (add_var_loc_to_decl): Handle SRA optimized variables.
333         Adjust for var_loc_note to loc field renaming.
334         (dw_loc_list_1): For WANT_ADDRESS == 2 prefer DECL_MODE of decl
335         in VAR_LOCATION note.
336         (new_loc_descr_op_bit_piece): New function.
337         (dw_sra_loc_expr): New function.
338         (dw_loc_list): Use it.  Don't handle the last range after the
339         loop, handle it inside of the loop.  Adjust for var_loc_note
340         to loc field renaming.
341         (add_location_or_const_value_attribute): Only special case
342         single entry loc lists if loc is NOTE_P.  Adjust for
343         var_loc_note to loc field renaming.
344         (dwarf2out_var_location): Don't set newloc->var_loc_note
345         and newloc->next here.
346
347 2010-05-12  Jan Hubicka  <jh@suse.cz>
348
349         * cgraph.c (cgraph_mark_address_taken_node): No longer imply needed
350         flag.
351         * cgraph.h (cgraph_only_called_directly_p,
352         cgraph_can_remove_if_no_direct_calls_p): test address_taken flag.
353         (cgraph_can_remove_if_no_direct_calls_and_refs_p): New function.
354         * cgraphunit.c (cgraph_mark_functions_to_output): Test address_taken.
355         (assemble
356         * ipa.c (cgraph_remove_unreachable_nodes): Use
357         cgraph_can_remove_if_no_direct_calls_and_refs_p; clear address_taken
358         flags.
359         * tree-inline.c (copy_bb): Check address_taken flag.
360         * tree-profile.c (tree_gen_ic_func_profiler): Check address_taken and
361         externally_visible flag.
362
363 2010-05-12  Jason Merrill  <jason@redhat.com>
364
365         PR bootstrap/44048
366         PR target/44099
367         * dbxout.c (dbxout_type): Remove NULLPTR_TYPE handling.
368         * sdbout.c (plain_type_1): Likewise.
369         * dwarf2out.c (is_base_type): Likewise.
370         (gen_type_die_with_usage): Likewise.  Generate
371         DW_TAG_unspecified_type for any LANG_TYPE.
372
373 2010-05-12  Jan Hubicka  <jh@suse.cz>
374
375         * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Build
376         indrect edges too.
377         * cgraph.c (cgraph_create_indirect_edge): Take ecf_flags argument.
378         (cgraph_clone_edge): Update.
379         (cgraph_node_remove_callees): Remove indirect calls too.
380         * cgraph.h (cgraph_indirect_call_info): Add ecf_flags.
381         (cgraph_create_indirect_edge): Update prototype.
382         * ipa-reference.c (has_proper_scope_for_analysis): Rename to
383         is_proper_for_analysis.
384         (add_new_function, visited_nodes, function_insertion_hook_holder,
385         get_local_reference_vars_info, mark_address_taken, mark_address,
386         mark_load, mark_store, check_asm_memory_clobber, check_call,
387         scan_stmt_for_static_refs, scan_initializer_for_static_refs): Remove.
388         (ipa_init): Do not initialize visited_nodes;
389         function_insertion_hook_holder.
390         (analyze_variable): Rewrite.
391         (analyze_function): Rewrite.
392         (copy_local_bitmap): Remove.
393         (duplicate_node_dat): Do not duplicate local info.
394         (generate_summary): Simplify to only walk cgraph.
395         (write_node_summary_p, ipa_reference_write_summary,
396         ipa_reference_read_summary): Remove.
397         (propagate): Do not remove function insertion;
398         generate summary.
399         (pass_ipa_reference): NULLify summary handling fields.
400         * lto-cgraph.c (lto_output_edge): Output ecf_flags.
401         (input_edge): Input ecf_flags.
402         * ipa-prop.c (ipa_note_parm_call): Expect edge to be around.
403         (update_indirect_edges_after_inlining): Ignore edges with unknown
404         param.
405
406 2010-05-12  Sriraman Tallam  <tmsriram@google.com>
407
408         * implicit-zee.c: New file.
409         * tree-pass.h (pass_implicit_zee): Declare.
410         * passes.c (init_optimization_passes): Add zee pass.
411         * common.opt (fzee): New flag.
412         * timevar.def (TV_ZEE): Define.
413         * config/i386/i386.c (optimization_options): Turn on ZEE for level 2
414         and beyond.
415         * Makefile.in (implicit-zee.o): Add new build file.
416
417 2010-05-12  Kazu Hirata  <kazu@codesourcery.com>
418             Nathan Froyd  <froydnj@codesourcery.com>
419
420         * c-common.c (sync_resolve_params): Remove write-only variable.
421
422 2010-05-12  Anatoly Sokolov  <aesok@post.ru>
423
424         * target.h (struct gcc_target): Add mode_dependent_address_p field.
425         * target-def.h (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
426         (TARGET_INITIALIZER): Use TARGET_MODE_DEPENDENT_ADDRESS_P.
427         * targhooks.c (default_mode_dependent_address_p): New function.
428         * targhooks.h (default_mode_dependent_address_p): Declare function.
429         * doc/tm.texi (TARGET_MODE_DEPENDENT_ADDRESS_P): New.
430         (GO_IF_MODE_DEPENDENT_ADDRESS): Update.
431         * recog.c: (mode_dependent_address_p): Call mode_dependent_address_p
432         target hook. Change return type to bool.
433         * recog.h: (mode_dependent_address_p): Change return type to bool.
434
435 2010-05-12  Kazu Hirata  <kazu@codesourcery.com>
436             Nathan Froyd  <froydnj@codesourcery.com>
437
438         * tree-mudflap.c (build_function_type_0, build_function_type_1,
439         build_function_type_2, build_function_type_3): Remove.
440         (mudflap_init): Use build_function_type_list.
441
442 2010-05-12  Kazu Hirata  <kazu@codesourcery.com>
443             Nathan Froyd  <froydnj@codesourcery.com>
444
445         * coverage.c (build_fn_info_value): Call build_constructor instead of
446         build_constructor_from_list.
447         (build_ctr_info_value): Likewise.
448         (build_gcov_info): Likewise.
449
450 2010-05-12  Nathan Froyd  <froydnj@codesourcery.com>
451
452         * tree.c (build_constructor): Compute TREE_CONSTANT for the
453         resultant constructor.
454         (build_constructor_single): Don't set TREE_CONSTANT.
455         (build_constructor_from_list): Don't compute TREE_CONSTANT.
456
457 2010-05-12  Jan Hubicka  <jh@suse.cz>
458
459         * cgraph.h (struct varpool_node): Add aux.
460         * varasm.c (find_decl_and_mark_needed): Force output of varpool nodes.
461         * varpool.c (varpool_remove_node): Do not remove initializer.
462         (varpool_reset_queue): Export.
463         (varpool_finalize_decl): Volatile vars are forced to be output.
464         * lto-symtab.c (lto_varpool_replace_node): Clear out initializer of
465         replaced decl.
466         * ipa.c (enqueue_cgraph_node, enqueue_varpool_node,
467         process_references, varpool_can_remove_if_no_refs): New functions.
468         (cgraph_remove_unreachable_nodes): Handle variables too.
469
470 2010-05-12  H.J. Lu  <hongjiu.lu@intel.com>
471
472         PR target/44088
473         * config/i386/sse.md (*avx_vmmaskcmp<mode>3): New.
474
475 2010-05-12  Jakub Jelinek  <jakub@redhat.com>
476
477         PR middle-end/44085
478         * gimplify.c (enum omp_region_type): Add ORT_UNTIED_TASK,
479         change value of ORT_TASK.
480         (new_omp_context): Handle ORT_UNTIED_TASK like ORT_TASK.
481         (omp_notice_threadprivate_variable): New function.
482         (omp_notice_variable): Call it for threadprivate variables.
483         If enclosing ctx is a task, print enclosing task rather than
484         enclosing parallel.  Handle ORT_UNTIED_TASK like ORT_TASK.
485         (gimplify_omp_task): Pass ORT_UNTIED_TASK instead of ORT_TASK
486         if task has untied clause.
487
488         PR debug/42278
489         * dwarf2out.c (base_type_die): Don't add name attribute here.
490         (modified_type_die): Instead of sizetype use
491         its underlying original type.  If a DW_TAG_base_type doesn't
492         have name added, add __unknown__.
493         (dwarf2out_imported_module_or_decl_1): Don't call base_type_die,
494         always call force_type_die instead.
495
496 2010-05-12  Maxim Kuvyrkov  <maxim@codesourcery.com>
497
498         * targhooks.c (default_stack_protect_guard): Avoid sharing RTL
499         for __stack_chk_guard.
500
501 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
502
503         * c-opts.c (c_common_parse_file): If start_end_main_source_file,
504         don't call start_source_file debug hook here...
505         (finish_options): ... but here, after outputting predefined and
506         command line defines and undefs.
507
508         PR middle-end/44071
509         * cfglayout.c (fixup_reorder_chain): Allow asm goto to have
510         no fallthru edge.
511         * cfgcleanup.c (try_optimize_cfg): When in cfglayout mode
512         optimizing away empty bb with no successors, move over its
513         footer chain to fallthru predecessor.
514         * cfgrtl.c (patch_jump_insn): Update also REG_LABEL_OPERAND.
515         (rtl_split_edge): For asm goto call patch_jump_insn even if
516         splitting fallthru edge.
517
518         PR c++/44059
519         * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use qnu_unique_object
520         even for DECL_ONE_ONLY DECL_ARTIFICIAL !TREE_READONLY decls.
521         * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Likewise.
522         * dwarf2asm.c (dw2_output_indirect_constant_1): Set TREE_READONLY
523         on DW.ref.* decls.
524
525         PR c++/44062
526         * c-parser.c (c_parser_expression): Mark LHS of a comma
527         expression as read if it is a decl, handled component or
528         COMPOUND_EXPR with that on the RHS.
529         * c-typeck.c (c_process_expr_stmt): Mark RHS of COMPOUND_EXPR
530         if it is a decl or handled component.
531
532 2010-05-11  Jan Hubicka  <jh@suse.cz>
533
534         * lto-symtab.c (lto_symtab_free): New function.
535         * lto-streamer.h (lto_symtab_free): Declare.
536
537 2010-05-11  Jan Hubicka  <jh@suse.cz>
538
539         * lto-cgraph.c (reachable_from_other_partition_p): Export; do not assume
540         that if function is needed it is reachable.
541         (lto_output_node): See if it the function is reachable or referenced.
542         (output_cgraph): Update call of lto_output_node.
543         * lto-streamer.h (reachable_from_other_partition_p): Declare.
544
545 2010-05-11  Jan Hubicka  <jh@suse.cz>
546
547         * crtstuff.c (__JCR_LIST__, __DTOR_END__, __JCR_END__, __FRAME_END__):
548         Mark as used.
549
550 2010-05-11  Jan Hubicka  <jh@suse.cz>
551
552         PR tree-optimize/44063
553         * ipa-inline.c (cgraph_edge_badness): Move always inlines to top of
554         queue.
555         (cgraph_decide_inlining_of_small_function): Skip check when disrgarding
556         limits.
557         (estimate_function_body_sizes): Compute sizes even when disregarding.
558
559 2010-05-11  Kai Tietz  <kai.tietz@onevision.com>
560
561         * collect2.c (maybe_lto_object_file): Add x64-coff magic and check.
562
563 2010-05-11  Jan Hubicka  <jh@suse.cz>
564
565         * lto-cgraph.c (output_cgraph): Remove loop adding all varpool nodes
566         into every boundary.
567
568 2010-05-11  Jan Hubicka  <jh@suse.cz>
569
570         * matrix-reorg.c (matrix_reorg): Rebuild edges.
571
572 2010-05-11  Jan Hubicka  <jh@suse.cz>
573
574         * lto-streamer.c (lto_streamer_cache_add_to_node_array,
575         lto_streamer_cache_delete): Put nodes into heap.
576         * lto-streamer.h (struct lto_streamer_cache_d): Nodes vector is in
577         heap.
578
579 2010-05-11  Jan Hubicka  <jh@suse.cz>
580
581         * cgraphbuild.c (cgraph_rebuild_references): New.
582         * cgraph.c (cgraph_mark_reachable_node): Accept references to optimized
583         out extern inlines.
584         * cgraph.h (cgraph_rebuild_references): Declare.
585         * tree-inline.c (tree_function_versioning): Use it.
586         * ipa-struct-reorg.c (do_reorg_for_func): Likewise.
587
588 2010-05-11  Jan Hubicka  <jh@suse.cz>
589
590         * cgraph.c: Include ipa-utils.h
591         (cgraph_create_virtual_clone): Update references.
592         * Makefile.in (cgraph.o): Add dependency at ipa-utils.h
593
594 2010-05-11  Christian Borntraeger  <borntraeger@de.ibm.com>
595
596         * tree-ssa-loop-prefetch.c (prune_ref_by_group_reuse): Reset
597         prefetch_before to PREFETCH_ALL if to accesses "meet" beyond
598         cache size.
599
600 2010-05-11  Christian Borntraeger  <borntraeger@de.ibm.com>
601
602         * tree-ssa-loop-prefetch.c: Add debug for dropped prefetches.
603
604 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
605
606         * gcc.c (execute): For -### don't quote arguments that
607         contain just alphanumerics and _/-. characters.
608         * doc/invoke.texi: Document that change for -###.
609
610         PR debug/44023
611         * df-problems.c (struct dead_debug): Add to_rescan field.
612         (dead_debug_init): Clear to_rescan field.
613         (dead_debug_finish): Rescan all debug insns in to_rescan
614         bitmap and free the bitmap.
615         (dead_debug_insert_before): Instead of rescanning debug insns
616         immediately queue their rescanning until dead_debug_finish.
617         (df_note_bb_compute): After dead_debug_add do continue instead
618         of break.
619
620 2010-05-10  Jakub Jelinek  <jakub@redhat.com>
621
622         PR debug/44028
623         * haifa-sched.c (schedule_insn): When clearing INSN_VAR_LOCATION_LOC,
624         clear also INSN_REG_USE_LIST.
625
626 2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
627
628         * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Undef.
629
630 2010-05-10  Jan Hubicka  <jh@suse.cz>
631
632         * lto-stramer-out.c (produce_asm_for_decls): Correct accidentally
633         commited change.
634
635 2010-05-10  Jan Hubicka  <jh@suse.cz>
636
637         * passes.c (ipa_write_summaries_1, ipa_write_optimization_summaries):
638         Allocate encoders.
639         * lto-section-out.c (lto_new_out_decl_state): Do not allocate it here.
640         * lto-streamer.c (lto_streamer_cache_insert_1): Use alloc pool.
641         (lto_streamer_cache_create): Init alloc pool.
642         (lto_streamer_cache_delete): Free alloc pool.
643         * lto-streamer.h: Include alloc pool.
644         (lto_streamer_cache_d): Use alloc pool.
645         * lto-stramer-out.c (produce_asm_for_decls): Delete fn_out_states.
646
647 2010-05-10  Jan Hubicka  <jh@suse.cz>
648
649         * Makefile.in (cgraphbuild.o): Add dependency on except.h.
650         * cgraphbuild.c: Include except.h
651         (record_type_list, record_eh_tables): New function.
652         (build_cgraph_edges, rebuild_cgraph_edges): Use it.
653
654 2010-05-10  Jan Hubicka  <jh@suse.cz>
655
656         * crtstuff.c (force_to_data, __do_global_dtors_aux_fini_array_entry,
657         __frame_dummy_init_array_entry, force_to_data): Attribute as used
658         rather than unused.
659
660 2010-05-10  Michael Matz  <matz@suse.de>
661
662         * tree-ssa-reassoc.c (undistribute_ops_list): Use create_tmp_reg.
663         (can_reassociate_p): Use FLOAT_TYPE_P.
664         * tree-vectorizer.h (vect_is_simple_reduction): Rename to ...
665         (vect_force_simple_reduction): ... this.
666         * tree-parloops.c (gather_scalar_reductions): Use
667         vect_force_simple_reduction.
668         * tree-vect-loop.c (vect_is_simple_reduction_1): Rename from
669         vect_is_simple_reduction, add modify argument, if true rewrite
670         "a-b" into "a+(-b)".
671         (vect_is_simple_reduction, vect_force_simple_reduction): New
672         functions.
673         (vect_analyze_scalar_cycles_1): Use vect_force_simple_reduction.
674
675 2010-05-10  H.J. Lu  <hongjiu.lu@intel.com>
676             Vladimir Makarov  <vmakarov@redhat.com>
677
678         PR rtl-optimization/44012
679         * ira-build.c (remove_unnecessary_allocnos): Nullify
680         regno_allocno_map of the removed allocno.
681
682 2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
683
684         * configure.ac (gcc_cv_ld_eh_gc_sections): Redirect objdump errors
685         to /dev/null.
686         * configure: Regenerate.
687
688 2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
689
690         * config/sol2.c (solaris_assemble_visibility): Declare decl, vis
691         unused.
692         Define visibility_types, name, type inside HAVE_GAS_HIDDEN.
693         * configure.ac (gcc_cv_ld_hidden): Explain stages of visibility
694         support in Sun ld.
695         * configure: Regenerate.
696
697 2010-05-10  Richard Guenther  <rguenther@suse.de>
698
699         * lto-symtab.c (lto_symtab_entry_marked_p): Make entry
700         marked if the entry identifier is marked.
701
702 2010-05-10  Richard Guenther  <rguenther@suse.de>
703
704         * c-common.c (struct c_common_attributes): Add fnspec attribute.
705         (handle_fnspec_attribute): New function.
706         * gimple.h (gimple_call_return_flags): Declare.
707         (gimple_call_arg_flags): Likewise.
708         * gimple.c (gimple_call_arg_flags): New function.
709         (gimple_call_return_flags): Likewise.
710         * tree.h (EAF_DIRECT, EAF_NOCLOBBER, EAF_NOESCAPE, EAF_UNUSED):
711         New argument flags.
712         (ERF_RETURN_ARG_MASK, ERF_RETURNS_ARG, ERF_NOALIAS): New function
713         return value flags.
714         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Skip unused args.
715         * tree-ssa-structalias.c (make_constraint_from_heapvar): Split
716         main work to ...
717         (make_heapvar_for): ... this new function.
718         (handle_rhs_call): Handle fnspec attribute argument specifiers.
719         (handle_lhs_call): Likewise.
720         (find_func_aliases): Adjust.
721
722 2010-05-10  Richard Guenther  <rguenther@suse.de>
723
724         PR tree-optimization/44050
725         * tree-inline.c (tree_function_versioning): Clone the ipa-pta flag.
726
727 2010-05-10  Wei Guozhi  <carrot@google.com>
728
729         PR target/42879
730         * config/arm/thumb2.md (thumb2_tlobits_cbranch): New insn pattern.
731
732 2010-05-09  Joseph Myers  <joseph@codesourcery.com>
733
734         PR c/10676
735         * c-typeck.c (lookup_field): Take a type directly.  Update
736         recursive calls.
737         (build_component_ref): Update call to lookup_field.
738         (set_init_label): Use lookup_field to find initialized field.
739         Handle returned list of fields like a sequence of designators.
740
741 2010-05-09  Richard Guenther  <rguenther@suse.de>
742
743         PR middle-end/44024
744         * fold-const.c (tree_single_nonzero_warnv_p): Properly
745         handle &FUNCTION_DECL.
746
747 2010-05-09  Joseph Myers  <joseph@codesourcery.com>
748
749         PR c/4784
750         * c-decl.c (detect_field_duplicates_hash): New.  Handle anonymous
751         structures and unions recursively.
752         (detect_field_duplicates): Move duplicate detection with a hash to
753         detect_field_duplicates_hash.  Always use a hash if anonymous
754         structures or unions are present.
755         * doc/extend.texi (Unnamed Fields): Document that duplicate fields
756         give errors.
757
758 2010-05-09  H.J. Lu  <hongjiu.lu@intel.com>
759
760         PR target/44046
761         * config/i386/driver-i386.c (host_detect_local_cpu): Properly
762         detect Atom, Core 2 and Core i7.
763
764 2010-05-09  Richard Guenther  <rguenther@suse.de>
765
766         * gcc.c (store_arg): Handle temporary file deletion for
767         joined arguments.
768
769 2010-05-09  Richard Guenther  <rguenther@suse.de>
770
771         PR middle-end/44043
772         * ipa-inline.c (estimate_function_body_sizes): Return after
773         disregarding inline limits.
774
775 2010-05-09  Richard Guenther  <rguenther@suse.de>
776
777         * gcc.c (store_arg): Revert last change.
778
779 2010-05-08  Sandra Loosemore  <sandra@codesourcery.com>
780
781         PR middle-end/28685
782         * tree-ssa-reassoc.c (eliminate_redundant_comparison): New function.
783         (optimize_ops_list): Call it.
784
785 2010-05-08  Richard Guenther  <rguenther@suse.de>
786
787         PR tree-optimization/44030
788         * tree-ssa-pre.c (eliminate): Copy NECESSARY flag.  Set
789         NECESSARY flag if we propagate from a inserted expression.
790
791 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
792
793         * gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of
794         domain types as equal if they are both PLACEHOLDER_EXPRs.
795
796 2010-05-08  Richard Guenther  <rguenther@suse.de>
797
798         * lto-wrapper.c (run_gcc): Remove linker output from
799         command line for LTRANS invocation.
800
801 2010-05-07  Steven Bosscher  <steven@gcc.gnu.org>
802
803         * config.gcc (i[34567]86-*-darwin*, x86_64-*-darwin*): Add
804         lto-macho as lto_binary_reader.
805         * target.h (struct gcc_target): New hooks lto_start and lto_end.
806         * target-def.h (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Define.
807         * cgraphunit.c (ipa_passes): Wrap LTO assembler output generation
808         in lto_start and lto_end calls.
809         (is_elf_or_coff): Rename to maybe_lto_object_file.  Add Mach-O
810         magic numbers.
811         (scan_prog_file): Update is_elf_or_coff call.
812         * doc/tm.text (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Document.
813
814         * collect2.c (main): Fix enum comparison.
815
816         * config/darwin-protos.h (darwin_asm_lto_start, darwin_asm_lto_end):
817         Add prototypes.
818         * darwin9.h (LINK_COMMAND_SPEC): Pass -flto and -fwhopr to the linker.
819         * darwin.h (LINK_COMMAND_SPEC): Likewise.  Define TARGET_ASM_LTO_START
820         and TARGET_ASM_LTO_END.
821         * darwin.c: Include obstack.h and lto-streamer.h.
822         (lto_section_names_offset, lto_section_names_obstack,
823         lto_asm_out_file, lto_asm_out_name, saved_asm_out_file): New static
824         global variables.
825         (LTO_SEGMENT_NAME, LTO_NAMES_SECTION): New defines.
826         (darwin_asm_lto_start): New function.  Redirect output to asm_out_file
827         to a temporary file.
828         (darwin_asm_lto_end): New function.  Restore asm_out_file.
829         (darwin_asm_named_section): For LTO sections, replace the name with
830         the offset of the section name in a string table, and build this
831         table.
832         (darwin_file_start): Initialize global vars for LTO support.
833         (darwin_file_end): If output to asm_out_file was redirected, append it
834         to the proper asm_out_file here.  Add the section names section.
835
836 2010-05-07  Steven Bosscher  <steven@gcc.gnu.org>
837
838         * c-pragma.c (pending_weak_d, pending_weak): New.
839         (pending_weaks): Change the type to VEC((pending_weak,gc) *.
840         (maybe_apply_pragma_weak, maybe_apply_pending_pragma_weaks,
841         handle_pragma_weak): Update the uses of pending_weaks.
842
843 2010-05-07  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
844
845         PR documentation/44016
846         * doc/standards.texi (Standards): Link to unversioned
847         cxx0x_status.html page.
848
849 2010-05-07  Iain Sandoe <iains@gcc.gnu.org>
850
851         PR target/43708
852         * config/darwin-c.c (darwin_pragma_unused): Set DECL_READ_P
853         in addition to TREE_USED, to avoid "set but unused" warnings.
854
855 2010-05-07  Changpeng Fang  <changpeng.fang@amd.com>
856
857         * tree-ssa-loop-prefetch.c (TRIP_COUNT_TO_AHEAD_RATIO): New.
858         (is_loop_prefetching_profitable): Do not insert prefetches
859         when the trip count is not at least TRIP_COUNT_TO_AHEAD_RATIO
860         times the prefetch ahead distance.
861
862 2010-05-07  Changpeng Fang  <changpeng.fang@amd.com>
863
864         * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable):
865         Account for loop unrolling in the insn-to-prefetch ratio heuristic.
866         (loop_prefetch_arrays): Pass to is_loop_prefetching_profitable
867         the unroll_factor.
868
869 2010-05-07  Changpeng Fang  <changpeng.fang@amd.com>
870
871         * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable): Dump
872         a diagnostic info when the insn-to-mem ratio is too small.
873
874 2010-05-07  Richard Guenther <rguenther@suse.de>
875
876         * gcc.c (LINK_COMMAND_SPEC): Provide a resolution file to
877         the linker plugin.
878         (store_arg): Queue temp_filename for deletion instead of
879         the whole argument.
880
881 2010-05-07  Richard Guenther  <rguenther@suse.de>
882
883         * lto-wrapper.c (DUMPBASE_SUFFIX): Define.
884         (run_gcc): Handle LTRANS phase invocation.
885         * collect2.c (maybe_run_lto_and_relink): Do not set WPA_SAVE_LTRANS.
886
887 2010-05-07  Jakub Jelinek  <jakub@redhat.com>
888
889         * tree.h (TREE_ADDRESSABLE): Adjust comment to say that
890         this is also meaningful on PARM_DECLs and RESULT_DECLs.
891
892 2010-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
893
894         * config/mips/iris6.h (LINK_SPEC): Don't pass -init, -fini with -r.
895
896 2010-05-07  Richard Guenther  <rguenther@suse.de>
897
898         PR tree-optimization/44020
899         * tree-ssa-pre.c (execute_pre): Do not remove dead inserted
900         code when PRE is not yet initialized.
901
902 2010-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
903
904         * config/mips/dbxmdebug.h: Remove.
905         * config.gcc (mips-sgi-irix6.5*): Remove mips/dbxmdebug.h.
906
907 2010-05-07  Shujing Zhao  <pearly.zhao@oracle.com>
908
909         * c-typeck.c (build_binary_op): Warn ordered comparison of pointer
910         with null pointer and also warn about ordered comparison of zero with
911         pointer if -Wextra.
912
913 2010-05-05  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>
914
915         * graphite-blocking.c
916         (pbb_strip_mine_profitable_p): Replace Value with mpz_t.
917         * graphite-clast-to-gimple.c
918         (clast_to_gcc_expression): Same.
919         (precision_for_value): Same.
920         (precision_for_interval): Same.
921         (gcc_type_for_interval): Same.
922         (graphite_create_new_guard): Same.
923         (compute_bounds_for_level): Same.
924         (graphite_create_new_loop_guard): Same.
925         * graphite-interchange.c
926         (build_linearized_memory_access): Same.
927         (pdr_stride_in_loop): Same.
928         (memory_strides_in_loop_1): Same.
929         (memory_strides_in_loop): Same.
930         (extend_scattering): Same.
931         (psct_scattering_dim_for_loop_depth): Same.
932         (pbb_number_of_iterations): Same.
933         * graphite-poly.h
934         (debug_iteration_domains): Same.
935         * graphite-ppl.c
936         (new_Cloog_Domain_from_ppl_Pointset_Powerset): Same.
937         (ppl_set_inhomogeneous_gmp): Same.
938         (ppl_strip_loop): Same.
939         (ppl_lexico_compare_linear_expressions): Same.
940         (ppl_read_polyhedron_matrix): Same.
941         (ppl_max_for_le_pointset): Same.
942         * graphite-ppl.h
943         (ppl_read_polyhedron_matrix): Same.
944         (tree_int_to_gmp): Same.
945         (gmp_cst_to_tree): Same.
946         (ppl_set_inhomogeneous): Same.
947         (ppl_set_inhomogeneous_tree): Same.
948         (ppl_set_coef): Same.
949         (ppl_set_coef_tree): Same.
950         * graphite-sese-to-poly.c
951         (build_pbb_scattering_polyhedrons): Same.
952         (build_scop_scattering): Same.
953         (scan_tree_for_params_right_scev): Same.
954         (scan_tree_for_params): Same.
955         (find_params_in_bb): Same.
956         (find_scop_parameters): Same.
957         (add_upper_bounds_from_estimated_nit): Same.
958         (build_loop_iteration_domains): Same.
959         (add_condition_to_domain): Same.
960         (pdr_add_memory_accesses): Same.
961
962 2010-05-05  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>
963
964         * graphite-blocking.c (pbb_strip_mine_profitable_p): Resolve
965         CLooG's value_* macros to their respective mpz_* counterparts.
966         * graphite-clast-to-gimple.c (clast_to_gcc_expression): Same.
967         (graphite_create_new_loop_guard): Same.
968         * graphite-interchange.c (build_linearized_memory_access): Same.
969         (pdr_stride_in_loop): Same.
970         (memory_strides_in_loop_1): Same.
971         (1st_interchange_profitable_p): Same.
972         * graphite-poly.c (extend_scattering): Same.
973         (psct_scattering_dim_for_loop_depth): Same.
974         (pbb_number_of_iterations): Same.
975         (pbb_number_of_iterations_at_time): Same.
976         * graphite-poly.h (new_1st_loop): Same.
977         * graphite-ppl.c (cloog_matrix_to_ppl_constraint): Same.
978         (oppose_constraint): Same.
979         (insert_constraint_into_matrix): Same.
980         (ppl_set_inhomogeneous_gmp): Same.
981         (ppl_set_coef_gmp): Same.
982         (ppl_strip_loop): Same.
983         (ppl_lexico_compare_linear_expressions): Same.
984         (ppl_max_for_le_pointset): Same.
985         (ppl_min_for_le_pointset): Same.
986         (ppl_build_realtion): Same.
987         * graphite-ppl.h (gmp_cst_to_tree): Same.
988         (ppl_set_inhomogeneous): Same.
989         (ppl_set_inhomogeneous_tree): Same.
990         (ppl_set_coef): Same.
991         (ppl_set_coef_tree): Same.
992         * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Same.
993         (build_scop_scattering): Same.
994         (add_value_to_dim): Same.
995         (scan_tree_for_params_right_scev): Same.
996         (scan_tree_for_params_int): Same.
997         (scan_tree_for_params): Same.
998         (find_params_in_bb): Same.
999         (find_scop_parameters): Same.
1000         (add_upper_bounds_from_estimated_nit): Same.
1001         (build_loop_iteration_domains): Same.
1002         (create_linear_expr_from_tree): Same.
1003         (add_condition_to_domain): Same.
1004         (pdr_add_memory_accesses): Same.
1005
1006 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
1007             Jason Merrill  <jason@redhat.com>
1008
1009         * c-common.c (c_common_reswords): Add nullptr.
1010         * c-common.h: Add RID_NULLPTR.  Reorganize C++0x rids.
1011         * dwarf2out.c (is_base_type): Handle NULLPTR_TYPE.
1012         (gen_type_die_with_usage): Likewise.
1013         * dbxout.c (dbxout_type): Likewise.
1014         * sdbout.c (plain_type_1): Likewise.
1015
1016 2010-05-06  Jason Merrill  <jason@redhat.com>
1017
1018         * gimplify.c (gimplify_expr): Set GS_ALL_DONE when appropriate.
1019         Don't change GS_OK to GS_ALL_DONE.  Make sure that all cases set
1020         ret appropriately.
1021         (gimplify_compound_lval): Return GS_ALL_DONE as appropriate.
1022
1023         * gimplify.c (gimplify_modify_expr_rhs): Don't return GS_OK for
1024         stripping WITH_SIZE_EXPR.
1025         (gimplify_expr) [MODIFY_EXPR]: Trust GS_OK even if the rhs didn't
1026         change.
1027
1028 2010-05-06  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1029
1030         * config.gcc: Removed mips-sgi-irix5*, mips-sgi-irix6.[0-4]* from
1031         list of obsolete configurations.
1032         Disabled check for obsolete configurations.
1033         (mips-sgi-irix[56]*): Restrict to mips-sgi-irix6.5*.
1034         Removed support for previous versions.
1035         * config/mips/iris.h: Removed.
1036         * config/mips/iris5.h: Removed.
1037         * config/mips/iris6.h: Merged old iris.h contents.
1038         (TARGET_IRIX): Removed.
1039         (DRIVER_SELF_SPECS): Removed mabi=32.
1040         (IDENT_ASM_OP): Removed undef.
1041         (STARTFILE_SPEC): Removed mabi=32.
1042         (ENDFILE_SPEC): Likewise.
1043         (IRIX_SUBTARGET_LINK_SPEC): Likewise.
1044         (MACHINE_TYPE): Update for IRIX 6.5.
1045         * config/mips/mips.c (mips_build_builtin_va_list): Replaced
1046         TARGET_IRIX by TARGET_IRIX6.
1047         (mips_file_start): Likewise.
1048         (mips_output_external): Remove IRIX 5/6 O32 support.
1049         (mips_output_function_prologue): Likewise.
1050         * config/mips/mips.h (TARGET_GPWORD): Replaced TARGET_IRIX by
1051         TARGET_IRIX6.
1052         (TARGET_CPU_CPP_BUILTINS): Likewise.
1053         (TARGET_IRIX): Removed.
1054         * config/mips/t-iris6 (MULTILIB_OPTIONS): Removed mabi=32.
1055         (MULTILIB_DIRNAMES): Removed 32.
1056         (MULTILIB_OSDIRNAMES): Removed ../lib.
1057         * doc/install.texi (Prerequisites): Don't reference IRIX before 6.5.
1058         (Specific, mips-sgi-irix5): Document removal.
1059         (Specific, mips-sgi-irix6): Document IRIX 6.[0-4] and O32 ABI removal.
1060         Remove references to older IRIX 6 releases and the O32 ABI.
1061
1062 2010-05-06  Jakub Jelinek  <jakub@redhat.com>
1063
1064         PR bootstrap/43994
1065         * df-problems.c (dead_debug_insert_before): Use *DF_REF_REAL_LOC
1066         instead of DF_REF_REAL_REG.
1067
1068 2010-05-06  Dave Korn  <dave.korn.cygwin@gmail.com>
1069
1070         PR target/43888
1071         * config/i386/winnt.c (i386_pe_binds_local_p): Tweak weak symbol
1072         handling to still return true for x64 targets.
1073
1074 2010-05-06  Maxim Kuvyrkov  <maxim@codesourcery.com>
1075
1076         * config/m68k/uclinux.h (LIB_SPEC): Bring in sync with config/linux.h.
1077
1078 2010-05-06  Jan Hubicka  <jh@suse.cz>
1079
1080         PR tree-optimization/43791
1081         * ipa-inline.c (update_caller_keys): Remove bogus
1082         disregard_inline_limits check.
1083
1084 2010-05-06  Michael Matz  <matz@suse.de>
1085
1086         PR tree-optimization/43984
1087         * tree-ssa-pre.c (inserted_phi_names): Remove.
1088         (inserted_exprs): Change to bitmap.
1089         (create_expression_by_pieces): Set bits, don't append to vector.
1090         (insert_into_preds_of_block): Don't handle inserted_phi_names.
1091         (eliminate): Don't look at inserted_phi_names, remove deleted
1092         insns from inserted_exprs.
1093         (remove_dead_inserted_code): Adjust to use bitmaps instead of vectors.
1094         (init_pre, fini_pre): Allocate and free bitmaps.
1095         (execute_pre): Insert insns on edges before elimination.
1096
1097 2010-05-06  Maxim Kuvyrkov  <maxim@codesourcery.com>
1098
1099         * tree.c (initializer_zerop): Handle STRING_CST.
1100
1101 2010-05-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1102
1103         PR 40989
1104         * doc/invoke.texi (Wimplicit): Document as C only.
1105         * opts.c (common_handle_option): Add argument kind.
1106         (handle_option): Rename as read_cmdline_option. Factor out code to...
1107         (handle_option): ... here. New.
1108         (handle_options): Rename as read_cmdline_options.
1109         (decode_options): Update call.
1110         (set_option): Use option index instead of option pointer. Classify
1111         diagnostics correctly.
1112         (enable_warning_as_error): Call handle_option.
1113         * opts.h (set_option): Update declaration.
1114         (handle_option): Declare.
1115         * langhooks.h (struct lang_hooks): Add argument kind to handle_option.
1116         * c.opt (Wimplicit,Wimplicit-int): Initialize to -1.
1117         * c-opts.c (set_Wimplicit): Delete.
1118         (c_family_lang_mask): New static constant.
1119         (c_common_handle_option): Add argument kind. Use handle_option
1120         instead of set_Wimplicit.
1121         (c_common_post_options): warn_implicit and warn_implicit_int
1122         are disabled by default.
1123         * c-common.c (warn_implicit): Do not define here.
1124         * c-common.h (warn_implicit): Do not declare here.
1125         (c_common_handle_option): Update declaration.
1126         * lto-opts.c (lto_reissue_options): Update call to set_option.
1127
1128 2010-05-06  Richard Guenther  <rguenther@suse.de>
1129
1130         PR tree-optimization/43571
1131         * domwalk.c (walk_dominator_tree): Walk the dominator
1132         sons in more optimal order.
1133
1134 2010-05-06  Richard Guenther  <rguenther@suse.de>
1135
1136         PR tree-optimization/43934
1137         * tree-ssa-loop-im.c (movement_possibility): Handle PHI nodes.
1138         (stmt_cost): Likewise.
1139         (extract_true_false_args_from_phi): New helper.
1140         (determine_max_movement): For PHI nodes verify we can hoist them
1141         and compute their cost.
1142         (determine_invariantness_stmt): Handle PHI nodes.
1143         (move_computations_stmt): Likewise.  Hoist PHI nodes in
1144         if-converted form using COND_EXPRs.
1145         (move_computations): Return TODO_cleanup_cfg if we hoisted PHI nodes.
1146         (tree_ssa_lim): Likewise.
1147         * tree-flow.h (tree_ssa_lim): Adjust prototype.
1148         * tree-ssa-loop.c (tree_ssa_loop_im): Return todo.
1149
1150 2010-05-06  Richard Guenther  <rguenther@suse.de>
1151
1152         PR tree-optimization/43987
1153         * tree-ssa-structalias.c (could_have_pointers): For possibly
1154         address-taken variables force pointers to be recorded.
1155         (create_variable_info_for_1): Likewise.
1156         (push_fields_onto_fieldstack): Pass in wheter all fields
1157         must have pointers.
1158         (find_func_aliases): Query types instead of vars whether
1159         they contain pointers where appropriate.
1160
1161 2010-05-06  Jan Hubicka  <jh@suse.cz>
1162
1163         * cgraphbuild.c (record_reference_ctx): Add varpool_node.
1164         (record_reference, mark_address, mark_load, mark_store): Record
1165         references.
1166         (record_references_in_initializer): Update call of record_references.
1167         (rebuild_cgraph_edges): Remove all references before rebuiding.
1168         * cgraph.c (cgraph_create_node): Clear ref list.
1169         (cgraph_remove_node): Remove references.
1170         (dump_cgraph_node): Dump references.
1171         (cgraph_clone_node): Clone references.
1172         * cgraph.h: Include ipa-ref.h and ipa-ref-inline.h
1173         (struct cgraph_node, varpool_node): Add ref_lst.
1174         * ipa-ref.c: New file.
1175         * ipa-ref.h: New file.
1176         * ipa-ref-inline.h: New file.
1177         * lto-cgraph.c (output_varpool): Take cgrag node set argument.
1178         (referenced_from_other_partition_p): New function.
1179         (lto_output_varpool_node): Take set arugment; call
1180         referenced_from_other_partition.
1181         (lto_output_ref): New.
1182         (add_references): New.
1183         (output_refs): New.
1184         (output_cgraph): Compute boundary based on references; output refs.
1185         (output_varpool): Accept cgraph_node_set argument.
1186         (input_ref): New.
1187         (input_refs): New.
1188         (input_cgraph): Call input_refs.
1189         * lto-section-in.c (lto_section_name): Add refs.
1190         * Makefile.in: (cgraph.h): Include ipa-ref.h and ipa-ref-inline.h
1191         (ipa-ref.o): New file.
1192         * varpool.c (varpool_node): Clear ipa ref list.
1193         (varpool_remove_node): Remove references.
1194         (dump_varpool_node): Dump references.
1195         (varpool_assemble_decl): Only compile finalized ones.
1196         (varpool_extra_name_alias): Initialize ref list.
1197         * lto-streamer.c (lto-get_section_name): Add .refs section.
1198         * lto-streamer.h (lto_section_type): Add LTO_section_refs.
1199         (referenced_from_other_partition_p): Declared.
1200
1201 2010-05-06  Ira Rosen  <irar@il.ibm.com>
1202
1203         PR tree-optimization/43901
1204         * tree-vect-stmts.c (vectorizable_call): Assert that vector
1205         type is not NULL if it's transformation phase, and return
1206         FALSE if it's analysis.
1207         (vectorizable_conversion, vectorizable_operation,
1208         vectorizable_type_demotion, vectorizable_type_promotion): Likewise.
1209
1210 2010-05-05  Andrew Pinski  <andrew.pinski@caviumnetworks.com>
1211
1212         * config/mips/mips.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
1213         Delete.
1214         * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
1215         New define.
1216         * config/mips/mips-protos.h
1217         (mips_small_register_classes_for_mode_p): Delete prototype.
1218
1219 2010-05-06  Bernd Schmidt  <bernds@codesourcery.com>
1220
1221         * config/arm/arm.h (MAX_LDM_STM_OPS): New macro.
1222         * config/arm/arm.c (multiple_operation_profitable_p,
1223         compute_offset_order): New static functions.
1224         (load_multiple_sequence, store_multiple_sequence): Use them.
1225         Replace constant 4 with MAX_LDM_STM_OPS.  Compute order[0] from
1226         memory offsets, not register numbers.
1227         (emit_ldm_seq, emit_stm_seq): Replace constant 4 with MAX_LDM_STM_OPS.
1228
1229 2010-05-05  Steven Bosscher  <steven@gcc.gnu.org>
1230
1231         * stor-layout.c (pending_sizes): Change the type to VEC(tree,gc) *.
1232         (get_pending_sizes, put_pending_size, put_pending_sizes):
1233         Update the uses of pending_sizes.
1234         * c-decl.c (store_parm_decls): Likewise.
1235         * c-tree.h (struct c_arg_info): Likewise.
1236         * tree.h: Update the prototype for get_pending_sizes and
1237         put_pending_sizes.
1238
1239 2010-05-05  Jason Merrill  <jason@redhat.com>
1240
1241         PR debug/43370
1242         * c-common.c (handle_aligned_attribute): Respect
1243         ATTR_FLAG_TYPE_IN_PLACE.
1244
1245         PR testsuite/43758
1246         * target.h (struct gcc_target): Add attribute_takes_identifier_p.
1247         * target_def.h (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
1248         (TARGET_INITIALIZER): Use it.
1249         * c-common.c (attribute_takes_identifier_p): Call it.
1250         * c-common.h: Update prototype.
1251         * config/rs6000/rs6000.c (rs6000_attribute_takes_identifier_p): New.
1252         (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
1253
1254 2010-05-05  Jakub Jelinek  <jakub@redhat.com>
1255
1256         PR debug/43950
1257         * dwarf2out.c (gen_compile_unit_die): Add DW_AT_identifier_case
1258         DW_ID_down_case for Fortran compilation units.
1259
1260 2010-05-05  Jan Hubicka  <jh@suse.cz>
1261
1262         * lto-cgraph.c (lto_output_varpool_node, input_varpool_node): Correctly
1263         handle aliases.
1264
1265 2010-05-05  Eric Botcazou  <ebotcazou@adacore.com>
1266
1267         * gimplify.c (gimplify_return_expr): Gimplify the size expressions of
1268         a variable-sized RESULT_DECL.
1269
1270 2010-05-05  Maxim Kuvyrkov  <maxim@codesourcery.com>
1271
1272         * doc/invoke.texi (-mfix-cortex-m3-ldrd): Move from ARC section to ARM.
1273
1274 2010-05-05  Jason Merrill  <jason@redhat.com>
1275
1276         PR c++/43787
1277         * gimplify.c (gimplify_expr): Keep working if gimplify_modify_expr
1278         returns GS_OK.
1279         (gimplify_modify_expr_rhs): Return GS_OK if anything changed.
1280
1281 2010-05-05  Alexandre Oliva  <aoliva@redhat.com>
1282             Jakub Jelinek  <jakub@redhat.com>
1283
1284         PR debug/43478
1285         * df-problems.c (struct dead_debug_use, struct dead_debug): New.
1286         (dead_debug_init, dead_debug_finish): New functions.
1287         (dead_debug_add, dead_debug_insert_before): Likewise.
1288         (df_note_bb_compute): Initialize a dead_debug object, add dead
1289         debug uses to it, insert debug bind insns before death insns,
1290         reset debug insns that refer to pending uses at the end.
1291         * rtl.h (make_debug_expr_from_rtl): New prototype.
1292         * varasm.c (make_debug_expr_from_rtl): New function.
1293
1294 2010-05-05  Jan Hubicka  <jh@suse.cz>
1295
1296         * lto-cgraph.c (output_varpool): Forward declare; work on encoder.
1297         (lto_varpool_encoder_new, lto_varpool_encoder_delete,
1298         lto_varpool_encoder_encode, lto_varpool_encoder_lookup,
1299         lto_varpool_encoder_deref, lto_varpool_encoder_size,
1300         lto_varpool_encoder_encode_initializer_p,
1301         lto_set_varpool_encoder_encode_initializer): New functions.
1302         (lto_output_cgraph): Take vset parameter too; compute varpool encoder;
1303         call output_varpool.
1304         (input_varpool_node): Do not always set analyzed.
1305         (input_cgraph_1): Return vector of cgraph nodes.
1306         (input_varpool_1): Return vector of varpools.
1307         (input_cgraph): Free the vectors.
1308         * lto-streamer-out.c (lto_output_ts_decl_common_tree_pointers):
1309         output only initializers needed.
1310         (lto_output): Only call output_cgraph.
1311         (produce_asm_for_decls): Call lto_varpool_encoder_delete.
1312         * lto-section-out.c (lto_new_out_decl_state): Initialize
1313         state->varpool_node_encoder.
1314         * lto-streamer.h (lto_varpool_encoder_d): New.
1315         (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.
1316         (lto_cgraph_encoder_delete, output_cgraph): Update prototype.
1317         (lto_varpool_encoder_deref, lto_varpool_encoder_lookup,
1318         lto_varpool_encoder_encode, lto_varpool_encoder_delete,
1319         lto_varpool_encoder_encode_initializer_p, lto_varpool_encoder_new):
1320         Declare.
1321         (output_varpool, input_varpool): Remove declarations.
1322
1323 2010-05-05  Jan Hubicka  <jh@suse.cz>
1324
1325         * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Alias of variable
1326         with body can prevail.
1327
1328 2010-05-05  Jan Hubicka  <jh@suse.cz>
1329
1330         * lto-symtab.c (lto_symtab_merge_decls_1): Prefer declarations with
1331         size.
1332
1333 2010-05-05  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1334
1335         * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to dependencies.
1336
1337         * gengtype.h (erro_at_line): Constify pos argument.
1338
1339         * gengtype.c: Include hashtab.h.
1340         (enum gc_used): Document GC_MAYBE_POINTED_TO.
1341         (error_at_line): Constify pos argument.
1342         (do_typedef): Initialize p->opt field.
1343         (get_file_gtfilename): Fix comment typo.
1344         (struct walk_type_data): Constify line field.
1345         (get_output_file_for_structure): New function.
1346         (write_local_func_for_structure): Constify orig_s argument.
1347         Use get_output_file_for_structure.
1348         (write_func_for_structure): Use get_output_file_for_structure.
1349         (INDENT): New define.
1350         (dump_pair, dump_type, dump_type_list, dump_typekind)
1351         (dump_gc_used, dump_options, dump_fileloc, dump_type_u_s)
1352         (dump_type_u_a, dump_type_u_param_struct, dump_everything): New
1353         functions.
1354         (seen_types): New variable.
1355         (main): New variable do_dump.  Process "-d" command line option.
1356         Call dump_everything if dump requested.
1357
1358 2010-05-05  Jakub Jelinek  <jakub@redhat.com>
1359
1360         * var-tracking.c (var_debug_decl): Save DECL_DEBUG_EXPR value
1361         in a temporary instead of invoking the macro multiple times.
1362         (track_expr_p): Likewise.
1363
1364 2010-05-04  Neil Vachharajani <nvachhar@google.com>
1365
1366         * doc/invoke.texi (-Wcoverage-mismatch): Updated documentation as
1367         per new semantics.
1368         * opts.c (decode_options): Enable -Werror=coverage-mismatch.
1369         * coverage.c (get_coverage_counts): Always emit a warning.  Adjust
1370         conditions for printing notes.
1371         * common.opt (-Wcoverage-mismatch): Allow negative, default to
1372         true, update documentation.
1373         * Makefile.in (coverage.o): Add dependence on DIAGNOSTIC_H and intl.h.
1374
1375 2010-05-04  Jakub Jelinek  <jakub@redhat.com>
1376
1377         PR c/43981
1378         * c-parser.c (c_parser_direct_declarator_inner): Call mark_exp_read
1379         on dimen.
1380
1381 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
1382
1383         PR target/43799
1384         * config/i386/i386.md (sse_prologue_save): Clobber CC register.
1385         (*sse_prologue_save_insn1): Likewise.
1386         (SSE prologue save splitter): Likewise.
1387
1388 2010-05-04  Eric Botcazou  <ebotcazou@adacore.com>
1389
1390         * tree.c (free_lang_data_in_one_sizepos): New inline function.
1391         (free_lang_data_in_type): Call it on TYPE_{MIN|MAX}_VALUE of numerical
1392         types.  Call it on TYPE_SIZE and TYPE_SIZE_UNIT of all types.
1393         (free_lang_data_in_decl): Call it on DECL_SIZE and DECL_SIZE_UNIT of
1394         all decls.  Call it on DECL_FIELD_OFFSET of fields.
1395         (find_decls_types_r): Follow DECL_VALUE_EXPR.
1396         (iterative_hash_expr) <PLACEHOLDER_EXPR>: New case.
1397
1398 2010-05-04  Martin Jambor  <mjambor@suse.cz>
1399
1400         * tree-sra.c (build_access_from_expr_1): The first parameter type
1401         changed to simple tree.
1402         (build_access_from_expr): Likewise, gsi parameter was eliminated.
1403         (scan_assign_result): Renamed to assignment_mod_result, enum elements
1404         renamed as well.
1405         (build_accesses_from_assign): Removed all parameters except for a
1406         simple gimple statement.  Now returns a simple bool.
1407         (scan_function): All non-analysis parts moved to separate functions
1408         sra_modify_function_body and ipa_sra_modify_function_body.  Removed all
1409         parameters and updated both callers.
1410         (sra_modify_expr): Removed parameter data.
1411         (sra_modify_function_body): New function.
1412         (perform_intra_sra): Call sra_modify_function_body to modify the
1413         function body.
1414         (replace_removed_params_ssa_names): Parameter data changed into
1415         adjustments vector.
1416         (sra_ipa_modify_expr): Likewise.  Also removed unused parameter gsi and
1417         changed the parameter dont_convert to convert with the opposite
1418         meaning.
1419         (sra_ipa_modify_assign): Parameter data changed into adjustments
1420         vector, return value changed to bool.
1421         (ipa_sra_modify_function_body): New function.
1422         (sra_ipa_reset_debug_stmts): Updated a comment.
1423         (modify_function): Use ipa_sra_modify_function_body to modify function
1424         body.
1425
1426 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
1427
1428         PR middle-end/43671
1429         * alias.c (true_dependence): Handle the same VALUE in x and mem.
1430         (canon_true_dependence): Likewise.
1431         (write_dependence_p): Likewise.
1432
1433 2010-05-04  Jan Hubicka  <jh@suse.cz>
1434
1435         * Makefile.in (cgraphbuild.o): Add dependency on ipa-utils.h
1436         * cgraphbuild.c: Include ipa-utils.h
1437         (record_reference_ctx): New struct.
1438         (record_reference): Simplify to work on initializers; not statements.
1439         (mark_address, mark_load, mark_store): New.
1440         (build_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
1441         walk PHI nodes too.
1442         (record_references_in_initializer): Update use of record_reference.
1443         (rebuild_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
1444         walk PHI nodes too.
1445
1446 2010-05-04  Jan Hubicka  <jh@suse.cz>
1447
1448         * lto-symtab.c (lto_cgraph_replace_node): Do not remove edges;
1449         node will be removed anyway.
1450         (lto_varpool_replace_node): Allow also unanalyzed nodes;
1451         relink aliases of node into prevailing node.
1452         * varpool.c (varpool_remove_node): Remove aliases properly;
1453         when removing node, remove all its aliases too; remove DECL_INITIAL
1454         of removed node; ggc_free the varpool node.
1455
1456 2010-05-04  Richard Guenther  <rguenther@suse.de>
1457
1458         PR tree-optimization/43879
1459         * tree-ssa-structalias.c (alias_get_name): Use
1460         DECL_ASSEMBLER_NAME if available.
1461         (create_function_info_for): Return the varinfo node.
1462         (ipa_pta_execute): Associate same-body aliases and extra names
1463         with their origin nodes varinfo.  Dump DECL_ASSEMBLER_NAME.
1464
1465 2010-05-04  Kaz Kojima  <kkojima@gcc.gnu.org>
1466
1467         * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove static.
1468
1469 2010-05-04  Mikael Pettersson  <mikpe@it.uu.se>
1470
1471         PR bootstrap/43964
1472         * ira-color.c (assign_hard_reg): Declare rclass and add_cost
1473         only if HONOR_REG_ALLOC_ORDER is not defined.
1474
1475 2010-05-04  Richard Guenther  <rguenther@suse.de>
1476
1477         PR tree-optimization/43949
1478         * tree-vrp.c (extract_range_from_binary_expr): Only handle
1479         TRUNC_MOD_EXPR.
1480
1481 2010-04-26  Jason Merrill  <jason@redhat.com>
1482
1483         * c.opt (-fstrict-enums): New.
1484         * doc/invoke.texi (C++ Dialect Options): Document -fstrict-enums.
1485
1486 2010-05-03  David Ung <davidu@mips.com>
1487             James E. Wilson  <wilson@codesourcery.com>
1488
1489         * config/mips/mips.c (mips_output_division): If GENERATE_DIVIDE_TRAPS,
1490         emit the trap instruction before the divide for TUNE_74K.
1491
1492 2010-05-03  Steven Bosscher  <steven@gcc.gnu.org>
1493
1494         * doc/tm.texi (defmac SMALL_REGISTER_CLASSES): Remove.
1495         (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Add documentation,
1496         based on the above, for new target hook.
1497
1498         * hooks.c (hook_bool_mode_true): New generic hook.
1499         * hooks.h (hook_bool_mode_true): Add prototype.
1500
1501         * target.h (struct gcc_target): Add small_register_classes_for_mode_p
1502         target hook.
1503         * target-def.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): New default
1504         target hook, set to hook_bool_mode_false.
1505         * regs.h: Remove default definition of SMALL_REGISTER_CLASSES.
1506         * reload.c (push_secondary_reload): Replace SMALL_REGISTER_CLASSES
1507         with targetm.small_register_classes_for_mode_p.
1508         (find_reusable_reload): Likewise.
1509         (combine_reloads): Likewise.
1510         * reload1.c (reload_as_needed): Likewise.
1511         * cse.c (approx_reg_cost_1, hash_rtx_cb): Likewise.
1512         * ifcvt.c (noce_process_if_block, check_cond_move_block,
1513         dead_or_predicable): Likewise.
1514         * regmove.c (optimize_reg_copy_1): Likewise.
1515         * calls.c (prepare_call_address): Likewise.
1516         (precompute_register_parameters): Likewise.
1517
1518         * config/sh/sh.h: Replace SMALL_REGISTER_CLASSES with new target
1519         hook definition.
1520         * config/sh/sh.c (sh_small_register_classes_for_mode_p): Add
1521         implementation of the hook that considers all register classes
1522         small except for SH64.
1523         (sh_override_options): Use the new hook.
1524         * config/sh/sh-protos.h (sh_small_register_classes_for_mode_p):
1525         Add prototype.
1526
1527         * config/arm/arm.h: Replace SMALL_REGISTER_CLASSES with new target
1528         hook definition.
1529         * config/arm/arm.c (arm_small_register_classes_for_mode_p): Add
1530         implementation of the hook that considers all register classes
1531         small for THUMB1.
1532         * config/arm/arm-protos.h (arm_small_register_classes_for_mode_p):
1533         Add prototype.
1534
1535         * config/mips/mips.h: Replace SMALL_REGISTER_CLASSES with new target
1536         hook definition.
1537         * config/mips/mips.c (mips_small_register_classes_for_mode_p): Add
1538         implementation of the hook that considers all register classes
1539         small for MIPS16.
1540         * config/mips/mips-protos.h (mips_small_register_classes_for_mode_p):
1541         Add prototype.
1542
1543         * config/i386/i386.h: Replace SMALL_REGISTER_CLASSES with new target
1544         hook definition.
1545         * config/m32c/m32c.h: Likewise.
1546         * config/pdp11/pdp11.h: Likewise.
1547         * config/avr/avr.h: Likewise.
1548         * config/xtensa/xtensa.h: Likewise.
1549         * config/m68hc11/m68hc11.h: Likewise.
1550         * config/mn10300/mn10300.h: Likewise.
1551         * config/mcore/mcore.h: Likewise.
1552         * config/h8300/h8300.h: Likewise.
1553         * config/bfin/bfin.h: Likewise.
1554
1555         * config/iq2000/iq2000.h: Remove SMALL_REGISTER_CLASSES definition.
1556         * config/rx/rx.h: Remove SMALL_REGISTER_CLASSES definition.
1557
1558 2010-05-03  Anatoly Sokolov  <aesok@post.ru>
1559
1560         * double-int.h (tree_to_double_int): Remove macro.
1561         (double_int_to_tree, double_int_fits_to_tree_p): Move prototypes ...
1562         * tree.h (double_int_to_tree, double_int_fits_to_tree_p): ... here.
1563         (tree_to_double_int): New function.
1564         * double-int.c (double_int_to_tree, double_int_fits_to_tree_p):
1565         Move ...
1566         * tree.c (double_int_to_tree, double_int_fits_to_tree_p): ... here.
1567
1568 2010-05-03  Richard Guenther  <rguenther@suse.de>
1569
1570         PR tree-optimization/43971
1571         * tree-ssa-structalias.c (get_constraint_for_1): Fix
1572         constraints in the !flag_delete_null_pointer_checks case.
1573
1574 2010-05-03  Jakub Jelinek  <jakub@redhat.com>
1575
1576         PR debug/43972
1577         * config/i386/i386.c (ix86_delegitimize_address): Make sure the
1578         result mode matches original rtl mode.
1579
1580 2010-05-03  Dave Korn  <dave.korn.cygwin@gmail.com>
1581
1582         PR target/43888
1583         * config/i386/winnt.c (i386_pe_binds_local_p): Handle weak decls.
1584
1585 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1586
1587         * config/i386/i386.c (ix86_target_string): Output 'flags', not 'isa',
1588         when processing flag options.
1589
1590 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1591
1592         * gcov-iov.c (main): Change format string placeholder
1593         from %#08x to 0x%08x.
1594         * genchecksum.c (dosum): Change format string placeholder
1595         from %#02x to 0x%02x.
1596
1597 2010-05-02  Richard Guenther  <rguenther@suse.de>
1598
1599         PR tree-optimization/43879
1600         * tree-tailcall.c (find_tail_calls): Clobbers also prevent tail calls.
1601
1602 2010-05-02  Bruno Haible  <bruno@clisp.org>
1603
1604         * doc/extend.texi (Function Attributes): Fix a typo.
1605
1606 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1607
1608         Revert:
1609         * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Change format string
1610         placeholder from 0x%x to %#x.
1611         (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
1612         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
1613         * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
1614         * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
1615         * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
1616         * config/i386/i386.c (ix86_target_string): Ditto.
1617         * config/i386/i386.c (output_pic_addr_const): Ditto.
1618         (print_operand): Ditto.
1619
1620 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1621
1622         * vmsdbgout.c (ASM_OUTPUT_DEBUG_DATA1): Change format string
1623         placeholder from 0x%x to %#x.
1624         (ASM_OUTPUT_DEBUG_DATA1): Ditto.
1625         (ASM_OUTPUT_DEBUG_DATA4): Ditto.
1626         (ASM_OUTPUT_DEBUG_DATA): Ditto.
1627         (ASM_OUTPUT_DEBUG_ADDR_DATA): Ditto.
1628         (ASM_OUTPUT_DEBUG_DATA8): Ditto.
1629         * optc-gen.awk: Ditto.
1630         * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Ditto.
1631         (HOST_WIDE_INT_PRINT_HEX): Ditto.
1632         (HOST_WIDEST_INT_PRINT_HEX): Ditto.
1633         (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
1634
1635 2010-05-01  Anatoly Sokolov  <aesok@post.ru>
1636
1637         * target.h (struct calls): Add function_value_regno_p field.
1638         * target-def.h (TARGET_FUNCTION_VALUE_REGNO_P): Define.
1639         (TARGET_INITIALIZER): Use TARGET_FUNCTION_VALUE_REGNO_P.
1640         * targhooks.c (default_function_value_regno_p): New function.
1641         * targhooks.h (default_function_value_regno_p): Declare function.
1642         * rtlanal.c (keep_with_call_p): Use function_value_regno_p hook.
1643         * builtins.c. (apply_result_size): (Ditto.).
1644         * combine.c. (likely_spilled_retval_p): (Ditto.).
1645         * mode-switching.c. Include 'target.h'.
1646         (create_pre_exit): Use function_value_regno_p hook.
1647         * Makefile.in (mode-switching.o): Add dependency on TARGET_H.
1648         * doc/tm.texi (FUNCTION_VALUE_REGNO_P,
1649         TARGET_FUNCTION_VALUE_REGNO_P): Revise documentation.
1650
1651         * config/i386/i386.h (TARGET_FUNCTION_VALUE_REGNO_P): Remove macro.
1652         * config/i386/i386.c (TARGET_FUNCTION_VALUE_REGNO_P): Define macro.
1653         (ix86_function_value_regno_p): Declare as static, change argument
1654         type to const unsigned int.
1655         * config/i386/i386-protos.h (ix86_function_value_regno_p): Remove.
1656
1657 2010-05-01  Richard Guenther  <rguenther@suse.de>
1658
1659         PR tree-optimization/43949
1660         * tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigned
1661         types.
1662         (extract_range_from_binary_expr): Handle *_MOD_EXPR.
1663
1664 2010-05-01  Anatoly Sokolov  <aesok@post.ru>
1665
1666         * rtl.h (CONST_DOUBLE_P): Define.
1667         (rtx_to_double_int): Declare.
1668         * emit-rtl.c (rtx_to_double_int): New function.
1669         * dwarf2out.c (insert_double): New function.
1670         (loc_descriptor, add_const_value_attribute): Clean up, use
1671         rtx_to_double_int and insert_double functions.
1672
1673 2010-05-01  Jonathan Wakely  <jwakely.gcc@gmail.com>
1674
1675         * doc/extend.texi (Inline): Add missing return keyword to examples.
1676         (Function Attributes, Variable Attributes, Pragmas): Hyphenate
1677         "command-line".
1678
1679 2010-04-30  Eric Botcazou  <ebotcazou@adacore.com>
1680
1681         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Check the alignment of
1682         the variable part of the offset as well.  Use highest_pow2_factor for
1683         all alignment checks.
1684
1685 2010-04-30  Richard Guenther  <rguenther@suse.de>
1686
1687         PR tree-optimization/43879
1688         * tree-ssa-structalias.c (type_could_have_pointers): Functions
1689         can have pointers.
1690
1691 2010-04-30  Jan Hubicka  <jh@suse.cz>
1692
1693         * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with
1694         varpool.
1695         (lto_symtab_merge_decls_1): Remove logic looking for an initializer.
1696
1697 2010-04-30  Jan Hubicka  <jh@suse.cz>
1698
1699         * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p):
1700         New.
1701         * lto-cgraph.c (input_cgraph): Remove call to lto_mark_file_for_ltrans.
1702         * lto-streamer.h (lto_file_decl_data): Remove needs_ltrans_p.
1703         (lto_file_needs_ltrans_p, lto_mark_file_for_ltrans,
1704         cgraph_node_set_needs_ltrans_p): Remove.
1705
1706 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
1707
1708         * sdbout.c: Include vec.h, do not include varray.h.
1709         (deferred_global_decls, sdbout_global_decl,
1710         sdbout_finish, sdbout_init): Use VEC instead of VARRAY.
1711         * toplev.c: Do not include varray.h.
1712         (dump_memory_report): Do not dump VARRAY statistics.
1713         * gengtype.c (open_base_file): Ignore varray.h.
1714         * Makefile.in: Update for abovementioned changes.
1715         Remove all traces of varray.c and varray.h.
1716         * varray.c: Remove file.
1717         * varray.h: Remove file.
1718
1719 2010-04-30  Jan Hubicka  <jh@suse.cz>
1720
1721         * lto-cgraph.c (lto_output_varpool_node): Always output constant pool
1722         references.
1723
1724 2010-04-30  Jan Hubicka  <jh@suse.cz>
1725
1726         * tree-profile.c (tree_init_ic_make_global_vars): Mark new decls as
1727         needed.
1728
1729 2010-04-30  Richard Guenther  <rguenther@suse.de>
1730
1731         * tree-ssa-structalias.c (get_constraint_for_1): Generate
1732         constraints for CONSTRUCTOR.
1733
1734 2010-04-30  Richard Guenther  <rguenther@suse.de>
1735
1736         PR lto/43946
1737         * passes.c (init_optimization_passes): Move pass_ipa_free_lang_data
1738         first after all lowering passes.
1739
1740 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
1741
1742         * toplev.c: Include varray.h for statistics dumping.
1743         * tree.h: Do not declare varray_head_tag.
1744         * tree-into-ssa.c, tree-ssa-uninit.c, tree-phinodes.c, omega.c,
1745         regs.h, lto-cgraph.c, tree-ssa-loop-ivopts.c, tree-nomudflap.c,
1746         c-objc-common.c, lto-streamer-out.c, tree-ssa-propagate.c,
1747         gimple-low.c, c-semantics.c, dwarf2out.c, lto-streamer-in.c,
1748         lto-section-in.c, alias.c, tree-if-conv.c, gimplify.c, ggc-zone.c,
1749         tree-ssa.c, tree-ssa-loop-prefetch.c, integrate.h, c-gimplify.c,
1750         c-common.c, c-common.h, reg-stack.c, basic-block.h,
1751         tree-ssa-structalias.c, lto-section-out.c, tree-ssanames.c: Do not
1752         include varray.h.
1753         * Makefile.in: Update for abovementioned changes.
1754
1755 2010-04-30  Jakub Jelinek  <jakub@redhat.com>
1756
1757         PR debug/43942
1758         * tree.c (auto_var_in_fn_p): Return false for DECL_EXTERNAL vars.
1759
1760 2010-04-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
1761
1762         * config/picochip/picochip.c (picochip_legitimize_address): Define.
1763         Use this function to do machine-specific conversion.
1764         (picochip_legitimize_reload_address): Likewise.
1765         (picochip_legitimate_address_p): Check valid base register only if
1766         strict.
1767         (picochip_check_conditional_copy): Check for modw only if opnd is
1768         register.
1769         * config/picochip/picochip.h (LEGITIMIZE_RELOAD_ADDRESS): Use this
1770         to call the function in c.
1771         * config/picochip/picochip-protos.h
1772         (picochip_legitimize_reload_address): Define.
1773         * config/picochip/picochip.md (supported_compare1): Define.
1774
1775 2010-04-30  Jan Hubicka  <jh@suse.cz>
1776
1777         * cgraph.h (cgraph_local_info): Remove for_functions_valid.
1778         (cgraph_global_info): Remove inlined.
1779         (LTO_cgraph_tag_names): Remove.
1780         (LTO_cgraph_tags, LCC_NOT_FOUND): Move to ...
1781         * lto-cgraph.c (LTO_cgraph_tags, LCC_NOT_FOUND): ... here;
1782         simplify cgraph tags and document.
1783         (lto_output_node): Use only LTO_cgraph_unavail_node and
1784         LTO_cgraph_analyzed_node; Do not save analzed, reachable,
1785         for_functions_valid, global info, process and output flags.
1786         (input_overwrite_node): Initialize estimated stack size and
1787         estimated growth.  Do not read flags we no longer store.
1788         (input_node): Likewise do not read info no longer stored.
1789         * ipa-inline.c (cgraph_mark_inline_edge): Do not set global.inlined
1790         flag.
1791
1792 2010-04-30  Richard Guenther  <rguenther@suse.de>
1793
1794         PR tree-optimization/43879
1795         * tree-ssa-structalias.c (get_constraint_for_1): Properly
1796         handle non-zero initializers.
1797
1798 2010-04-30  Richard Guenther  <rguenther@suse.de>
1799
1800         * builtins.c (fold_builtin_1): Delete free (0).
1801
1802 2010-04-29  Jan Hubicka  <jh@suse.cz>
1803
1804         * gengtype.c (open_base_files): Add lto-streamer.h
1805         * cgraph.h (cgraph_local_info): lto_file_data is now in GGC.
1806         (pass_ipa_cp): GGC collect.
1807         * toplev. (compile_file): Do not output symbols.
1808         * ipa-inline.c (pass_ipa_inline): Add ggc collect.
1809         * timevar.def (TV_VARPOOL, TV_IPA_LTO_DECL_INIT_IO,
1810         TV_IPA_LTO_DECL_MERGE, TV_IPA_LTO_CGRAPH_MERGE, TV_VAROUT): New.
1811         * lto-section-in.c: Include ggc.h
1812         (lto_new_in_decl_state): Alloc in GGC.
1813         (lto_delete_in_decl_state): Likewise.
1814         * ipa.c (pass_ipa_function_visibility, pass_ipa_whole_program):
1815         Collect.
1816
1817 2010-04-29  Bernd Schmidt  <bernds@codesourcery.com>
1818
1819         PR target/42895
1820         * doc/tm.texi (ADJUST_REG_ALLOC_ORDER): Renamed from
1821         ORDER_REGS_FOR_LOCAL_ALLOC.  All instances of this macro changed.
1822         (HONOR_REG_ALLOC_ORDER): Describe new macro.
1823         * ira.c (setup_alloc_regs): Use ADJUST_REG_ALLOC_ORDER if defined.
1824         * ira-color.c (assign_hard_reg): Take prologue/epilogue costs into
1825         account only if HONOR_REG_ALLOC_ORDER is not defined.
1826         * config/arm/arm.h (HONOR_REG_ALLOC_ORDER): Define.
1827         * system.h (ORDER_REGS_FOR_LOCAL_ALLOC): Poison.
1828
1829 2010-04-29  Jon Grant  <04@jguk.org>
1830
1831         * collect2.c (vflag): Change type from int to bool.
1832         (debug): Likewise.
1833         (helpflag): New global bool.
1834         (main): Set vflag and debug with boolean, not integer truth values.
1835         Accept new "--help" option and output usage text if found.
1836         * collect2.h (vflag): Update prototype.
1837         (debug): Likewise.
1838
1839 2010-04-29  H.J. Lu  <hongjiu.lu@intel.com>
1840
1841         PR bootstrap/43936
1842         * plugin.h (flag_plugin_added): Moved out of invoke_plugin_callbacks.
1843
1844 2010-04-29  Richard Guenther  <rguenther@suse.de>
1845
1846         PR bootstrap/43935
1847         * plugin.h (invoke_plugin_callbacks): Annotate arguments
1848         with ATTRIBUTE_UNUSED.
1849
1850 2010-04-29  H.J. Lu  <hongjiu.lu@intel.com>
1851
1852         PR target/43921
1853         * config/i386/i386.c (get_some_local_dynamic_name): Replace
1854         INSN_P with NONDEBUG_INSN_P.
1855         (distance_non_agu_define): Likewise.
1856         (distance_agu_use): Likewise.
1857
1858 2010-04-29  Bernd Schmidt  <bernds@codesourcery.com>
1859
1860         From Dominique d'Humieres <dominiq@lps.ens.fr>
1861         PR bootstrap/43858
1862         * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs to compute
1863         test_set.
1864
1865 2010-04-29  Brian Hackett  <bhackett1024@gmail.com>
1866
1867         * plugin.h (invoke_plugin_callbacks): New inline function.
1868         * plugin.c (flag_plugin_added): New global flag.
1869         (add_new_plugin): Initialize above flag.
1870         (invoke_plugin_callbacks): Rename to ...
1871         (invoke_plugin_callbacks_full): ... this.
1872
1873 2010-04-28  Jan Hubicka  <jh@suse.cz>
1874
1875         * lto-symtab.c (lto_symtab_entry_def) Add vnode.
1876         (lto_varpool_replace_node): New.
1877         (lto_symtab_resolve_symbols): Resolve varpool nodes.
1878         (lto_symtab_merge_decls_1): Prefer decls with varpool node.
1879         (lto_symtab_merge_cgraph_nodes_1): Merge varpools.
1880         * cgraph.h (varpool_node_ptr): New type.
1881         (varpool_node_ptr): New vector.
1882         (varpool_node_set_def): New structure.
1883         (varpool_node_set): New type.
1884         (varpool_node_set): New vector.
1885         (varpool_node_set_element_def): New structure.
1886         (varpool_node_set_element, const_varpool_node_set_element): New types.
1887         (varpool_node_set_iterator): New type.
1888         (varpool_node): Add prev pointers, add used_from_other_partition,
1889         in_other_partition.
1890         (varpool_node_set_new, varpool_node_set_find, varpool_node_set_add,
1891         varpool_node_set_remove, dump_varpool_node_set, debug_varpool_node_set,
1892         varpool_get_node, varpool_remove_node): Declare.
1893         (vsi_end_p, vsi_next, vsi_node, vsi_start, varpool_node_in_set_p,
1894         varpool_node_set_size): New inlines.
1895         * cgraph.c (dump_cgraph_node): Dump asm names of aliases.
1896         * tree-pass.h (varpool_node_set_def): Forward declare.
1897         (ipa_opt_pass_d): Summary writting takes vnode sets too.
1898         (ipa_write_optimization_summaries): Update prototype.
1899         * ipa-cp.c (ipcp_write_summary): Update.
1900         * ipa-reference.c (ipa_reference_write_summary): Update.
1901         * lto-cgraph.c (lto_output_varpool_node): New static function.
1902         (output_varpool): New function.
1903         (input_varpool_node): New static function.
1904         (input_varpool_1): New function.
1905         (input_cgraph): Input varpool.
1906         * ipa-pure-const.c (pure_const_write_summary): Update.
1907         * lto-streamer-out.c (lto_output): Update, output varpool too.
1908         (write_global_stream): Kill WPA hack.
1909         (produce_asm_for_decls): Update.
1910         (output_alias_pair_p): Handle variables.
1911         (output_unreferenced_globals): Output only needed partition of varpool.
1912         * ipa-inline.c (inline_write_summary): Update.
1913         * lto-streamer-in.c (lto_input_tree_ref, lto_input_tree): Do not build
1914         cgraph.
1915         * lto-section-in.c (lto_section_name): Add varpool and jump funcs.
1916         * ipa.c (hash_varpool_node_set_element, eq_varpool_node_set_element,
1917         varpool_node_set_new, varpool_node_set_add,
1918         varpool_node_set_remove, varpool_node_set_find, dump_varpool_node_set,
1919         debug_varpool_node_set): New functions.
1920         * passes.c (rest_of_decl_compilation): when in LTO do not finalize.
1921         (execute_one_pass): Process new decls too.
1922         (ipa_write_summaries_2): Pass around vsets.
1923         (ipa_write_summaries_1): Likewise.
1924         (ipa_write_summaries): Build vset; be more selective about cgraph nodes
1925         to add.
1926         (ipa_write_optimization_summaries_1): Pass around vsets.
1927         (ipa_write_optimization_summaries): Likewise.
1928         * varpool.c (varpool_get_node): New.
1929         (varpool_node): Update doubly linked lists.
1930         (varpool_remove_node): New.
1931         (dump_varpool_node): More dumping.
1932         (varpool_enqueue_needed_node): Update doubly linked lists.
1933         (decide_is_variable_needed): Kill ltrans hack.
1934         (varpool_finalize_decl): Kill lto hack.
1935         (varpool_assemble_decl): Skip decls in other partitions.
1936         (varpool_assemble_pending_decls): Update doubly linkes lists.
1937         (varpool_empty_needed_queue): Likewise.
1938         (varpool_extra_name_alias): Likewise.
1939         * lto-streamer.c (lto_get_section_name): Add vars section.
1940         * lto-streamer.h (lto_section_type): Update.
1941         (output_varpool, input_varpool): Declare.
1942
1943 2010-04-28  Mike Stump  <mikestump@comcast.net>
1944
1945         * config/i386/darwin.h (CC1_SPEC): Ignore -mdynamic-no-pic for now.
1946
1947 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
1948
1949         * lto-streamer-in.c (unpack_ts_type_value_fields): Replace test for
1950         record or union type with RECORD_OR_UNION_TYPE_P predicate.
1951         (lto_input_ts_type_tree_pointers): Likewise.
1952         * lto-streamer-out.c (pack_ts_type_value_fields): Likewise.
1953         (lto_output_ts_type_tree_pointers): Likewise.
1954
1955 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
1956
1957         Uniquization of constants at the Tree level
1958         * tree.h (DECL_IN_CONSTANT_POOL): New macro.
1959         (tree_decl_with_vis): Add in_constant_pool bit, move shadowed_for_var_p
1960         bit to the end.
1961         (tree_output_constant_def): Declare.
1962         * gimplify.c (gimplify_init_constructor): When using block copy, first
1963         uniquize the constant constructor on the RHS.
1964         * lto-streamer-in.c (unpack_ts_decl_with_vis_value_fields): Deal with
1965         DECL_IN_CONSTANT_POOL flag.
1966         * lto-streamer-out.c (pack_ts_decl_with_vis_value_fields): Likewise.
1967         * varasm.c (make_decl_rtl): Deal with variables belonging to the global
1968         constant pool.
1969         (assemble_variable): Deal with symbols belonging to the tree constant
1970         pool.
1971         (get_constant_section): Add ALIGN parameter and simplify.
1972         (build_constant_desc): Build a VAR_DECL and attach it to the symbol.
1973         (assemble_constant_contents): Use the expression of the VAR_DECL.
1974         (output_constant_def_contents): Use the alignment of the VAR_DECL.
1975         (tree_output_constant_def): New global function.
1976         (mark_constant): Use the expression of the VAR_DECL.
1977         (place_block_symbol): Use the alignment of the VAR_DECL and the size of
1978         its expression.
1979         (output_object_block): Likewise and assemble the expression.
1980
1981 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
1982
1983         * lto-streamer.c [LTO_STREAMER_DEBUG] (tree_htab, tree_hash_entry,
1984         hash_tree, eq_tree): New tree hash table.
1985         (lto_streamer_init) [LTO_STREAMER_DEBUG]: Initialize it.
1986         [LTO_STREAMER_DEBUG] (lto_orig_address_map, lto_orig_address_get,
1987         lto_orig_address_remove): Reimplement.
1988
1989 2010-04-28  Xinliang David Li  <davidxl@google.com>
1990
1991         PR c/42643
1992         * tree-ssa-uninit.c (can_skip_redundant_opnd): New function.
1993         (compute_uninit_opnds_pos): New function.
1994         (is_non_loop_exit_postdominating): New function.
1995         (compute_control_dep_chain): New function.
1996         (find_pdom): New function.
1997         (convert_control_dep_chain_into_preds): New function.
1998         (find_predicates): New function.
1999         (find_control_equiv_block): New function.
2000         (collect_phi_def_edges): New function.
2001         (find_def_preds): New function.
2002         (find_dom): New function.
2003         (dump_predicates): New function.
2004         (get_cmp_code): New function.
2005         (is_value_included_in): New function.
2006         (find_matching_predicate_in_rest_chains): New function.
2007         (use_pred_not_overlap_with_undef_path_pred): New function.
2008         (is_use_properly_guarded): New function.
2009         (normalize_cond_1): New function.
2010         (is_and_or_or): New function.
2011         (normalize_cond): New function.
2012         (is_gcond_subset_of): New function.
2013         (is_subset_of_any): New function.
2014         (is_or_set_subset_of): New function.
2015         (is_and_set_subset_of): New function.
2016         (is_norm_cond_subset_of): New function.
2017         (is_pred_expr_subset_of): New function.
2018         (is_pred_chain_subset_of): New function.
2019         (is_included_in): New function.
2020         (is_superset_of): New function.
2021         (find_uninit_use): New function.
2022         (warn_uninitialized_phi): New function.
2023         (compute_possibly_undefined_names): New function.
2024         (ssa_undefined_value_p): New function.
2025         (execute_late_warn_uninitialized): New function.
2026         * tree-ssa.c (ssa_undefined_value_p): Removed.
2027         (warn_uninit): Changed to extern.
2028         (warn_uninitialized_phi): Removed.
2029         (warn_uninitialized_vars): Changed to extern.
2030         (execute_late_warn_uninitialized): Removed
2031         * tree-flow.h: Add new prototypes.
2032         * timevar.def: Add new time variable.
2033         * Makefile.in: Add new build file.
2034
2035 2010-04-28  Uros Bizjak  <ubizjak@gmail.com>
2036
2037         * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
2038         type if available.
2039
2040 2010-04-28  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2041
2042         PR target/22224
2043         * config/alpha/osf5.h (ASM_OUTPUT_LOCAL): Redefine.
2044
2045 2010-04-28  Martin Jambor  <mjambor@suse.cz>
2046
2047         * cgraph.h (struct cgraph_node): New field indirect_calls.
2048         (struct cgraph_indirect_call_info): New type.
2049         (struct cgraph_edge): Removed field indirect_call. New fields
2050         indirect_info, indirect_inlining_edge and indirect_unknown_callee.
2051         (cgraph_create_indirect_edge): Declare.
2052         (cgraph_make_edge_direct): Likewise.
2053         (enum LTO_cgraph_tags): New item LTO_cgraph_indirect_edge.
2054         * ipa-prop.h (struct ipa_param_call_note): Removed.
2055         (struct ipa_node_params): Removed field param_calls.
2056         (ipa_create_all_structures_for_iinln): Declare.
2057         * cgraph.c: Described indirect edges and uids in initial comment.
2058         (cgraph_add_edge_to_call_site_hash): New function.
2059         (cgraph_edge): Search also among the indirect edges, use
2060         cgraph_add_edge_to_call_site_hash to add edges to the call site hash.
2061         (cgraph_set_call_stmt): Possibly turn an indirect edge into a direct
2062         one, use cgraph_add_edge_to_call_site_hash to add edges to the call
2063         site hash.
2064         (initialize_inline_failed): Assign a reason to indirect edges.
2065         (cgraph_create_edge_1): New function.
2066         (cgraph_create_edge): Moved some functionality to
2067         cgraph_create_edge_1.
2068         (cgraph_create_indirect_edge): New function.
2069         (cgraph_edge_remove_callee): Add an assert checking for
2070         non-indirectness.
2071         (cgraph_edge_remove_caller): Special-case indirect edges.
2072         (cgraph_remove_edge): Likewise.
2073         (cgraph_set_edge_callee): New function.
2074         (cgraph_redirect_edge_callee): Use cgraph_set_edge_callee.
2075         (cgraph_make_edge_direct): New function.
2076         (cgraph_update_edges_for_call_stmt_node): Do nothing only when also
2077         the declaration of the call statement matches.
2078         (cgraph_node_remove_callees): Special-case indirect edges.
2079         (cgraph_clone_edge): Likewise.
2080         (cgraph_clone_node): Clone also the indirect edges.
2081         (dump_cgraph_node): Dump indirect_inlining_edge flag instead of
2082         indirect_call, dump count of indirect_calls edges.
2083         * ipa-prop.c (iinlining_processed_edges): New variable.
2084         (ipa_note_param_call): Create indirect edges instead of
2085         creating notes.  New parameter node.
2086         (ipa_analyze_call_uses): New parameter node, pass it on to
2087         ipa_note_param_call.
2088         (ipa_analyze_stmt_uses): Likewise.
2089         (ipa_analyze_params_uses): Pass node to ipa_analyze_stmt_uses.
2090         (print_edge_addition_message): Work on edges rather than on notes.
2091         (update_call_notes_after_inlining): Likewise, renamed to
2092         update_indirect_edges_after_inlining.
2093         (ipa_create_all_structures_for_iinln): New function.
2094         (ipa_free_node_params_substructures): Do not free notes.
2095         (ipa_edge_duplication_hook): Propagate bits within
2096         iinlining_processed_edges bitmap.
2097         (ipa_node_duplication_hook): Do not duplicate notes.
2098         (free_all_ipa_structures_after_ipa_cp): Renamed to
2099         ipa_free_all_structures_after_ipa_cp.
2100         (free_all_ipa_structures_after_iinln): Renamed to
2101         ipa_free_all_structures_after_iinln.
2102         (ipa_write_param_call_note): Removed.
2103         (ipa_read_param_call_note): Removed.
2104         (ipa_write_indirect_edge_info): New function.
2105         (ipa_read_indirect_edge_info): Likewise.
2106         (ipa_write_node_info): Do not stream notes, do stream information
2107         in indirect edges.
2108         (ipa_read_node_info): Likewise.
2109         (lto_ipa_fixup_call_notes): Removed.
2110         * ipa-cp.c (pass_ipa_cp): Set stmt_fixup to NULL.
2111         * ipa-inline.c (pass_ipa_inline): Likewise.
2112         * cgraphunit.c (verify_cgraph_node): Check also indirect edges.
2113         * cif-code.def (INDIRECT_UNKNOWN_CALL): New reason.
2114         * tree-inline.c (copy_bb): Removed an unnecessary double check for
2115         is_gimple_call.
2116         * tree-inline.c (get_indirect_callee_fndecl): Do not consider indirect
2117         edges.
2118         * lto-cgraph.c (output_outgoing_cgraph_edges): New function.
2119         (output_cgraph): Stream also indirect edges.
2120         (lto_output_edge): Added capability to stream indirect edges.
2121         (input_edge): Likewise.
2122         (input_cgraph_1): Likewise.
2123         * lto-streamer-in.c (fixup_call_stmt_edges_1): Fixup also statements
2124         of indirect edges.
2125
2126 2010-04-28  Richard Guenther  <rguenther@suse.de>
2127
2128         PR tree-optimization/43879
2129         PR tree-optimization/43909
2130         * tree-ssa-structalias.c (struct variable_info): Add
2131         only_restrict_pointers flag.
2132         (new_var_info): Initialize it.  Increment stats.total_vars here.
2133         (create_function_info_for): Do not increment stats.total_vars here.
2134         (get_function_part_constraint): Fix build with C++.
2135         (insert_into_field_list): Remove.
2136         (push_fields_onto_fieldstack): Properly merge fields.
2137         (create_variable_info_for): Split and simplify.
2138         (create_variable_info_for_1): New piece.
2139         (intra_create_variable_infos): Properly make restrict constraints
2140         from parameters.
2141
2142 2010-04-28  Richard Guenther  <rguenther@suse.de>
2143
2144         PR c++/43880
2145         * tree-inline.c (copy_bind_expr): Also copy bind expr vars value-exprs.
2146
2147 2010-04-27  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2148             Jan Hubicka <hubicka@ucw.cz>
2149
2150         * doc/invoke.texi (-Wsuggest-attribute=const,
2151         -Wsuggest-attribute=pure): Document.
2152         * ipa-pure-const.c: Include toplev.h, intl.h and opts.h.
2153         (function_always_visible_to_compiler_p,
2154         suggest_attribute, warn_function_pure, warn_function_const):
2155         New functions.
2156         (check_call): Improve debug info.
2157         (analyze_function): Do not check availability.
2158         (add_new_function): Check availability.
2159         (propagate): Output warnings.
2160         (skip_function_for_local_pure_const): New function.
2161         (local_pure_const): Use it; output warnings.
2162         * common.opt (Wsuggest-attribute=const,
2163         Wsuggest-attribute=pure): New.
2164
2165 2010-04-27  Jakub Jelinek  <jakub@redhat.com>
2166
2167         * dwarf2out.c (def_cfa_1): After DW_CFA_def_cfa_expression
2168         force using DW_CFA_def_cfa instead of DW_CFA_def_cfa_register
2169         or DW_CFA_def_cfa_offset{,_sf}.
2170
2171 2010-04-27  Eric Botcazou  <ebotcazou@adacore.com>
2172
2173         * tree.h: Fix truncated long macros.
2174
2175 2010-04-27  Kai Tietz  <kai.tietz@onevision.com>
2176
2177         * collect2.c (TARGET_64BIT): Redefine to target's default.
2178         * tlink.c: Likewise.
2179         * config/i386/cygming.h (USER_LABEL_PREFIX): Define
2180         dependent to TARGET_64BIT and USE_MINGW64_LEADING_UNDERSCORES.
2181         * config/i386/i386.h (CRT_CALL_STATIC_FUNCTION): Use
2182         for underscoring __USER_LABEL_PREFIX__.
2183         * config/i386/mingw-w64.h (SUB_LINK_ENTRY): New macro.
2184         (SUB_LINK_ENTRY32): New.
2185         (SUB_LINK_ENTRY64): New.
2186         (LINK_SPEC): Replace entry point spec by SUB_LINK_ENTRY.
2187         * config/i386/mingw32 (SUB_LINK_ENTRY32): New.
2188         (SUB_LINK_ENTRY64): New.
2189         (SUB_LINK_ENTRY): New.
2190         (LINK_SPEC): Use SUB_LINK_ENTRY instead of hard-coded entry-point.
2191         (DWARF2_UNWIND_INFO): Error out for use of dw2 unwind when
2192         x64 target is choosen.
2193         * config.in (USE_MINGW64_LEADING_UNDERSCORES): New.
2194         * configure: Regenerated.
2195         * configure.ac (leading-mingw64-underscores): Option added.
2196
2197 2010-04-27  Jan Hubicka  <jh@suse.cz>
2198
2199         * doc/invoke.texi (-fipa-profile): Document.
2200         * opts.c (decode_options): Enable ipa-profile at -O1.
2201         * timevar.def (TV_IPA_PROFILE): Define.
2202         * common.opt (fipa-profile): Add.
2203         * cgraph.c (cgraph_clone_node): Set local flag and clear vtable method
2204         flag for clones.
2205         (cgraph_propagate_frequency): Handle only local ones.
2206         * tree-pass.h (pass_ipa_profile): Declare.
2207         * ipa-profile.c (gate_profile): Use flag_ipa_profile.
2208         (pass_ipa_profile): Use TV_IPA_PROFILE.
2209         * ipa.c (ipa_profile): New function.
2210         (gate_ipa_profile): Likewise.
2211         (pass_ipa_profile): New global variable.
2212         * passes.c (pass_ipa_profile): New.
2213
2214 2010-04-27  Nathan Froyd  <froydnj@codesourcery.com>
2215
2216         * config/arm/arm.c (arm_expand_builtin): Remove redundant declaration.
2217
2218 2010-04-27  Martin Jambor  <mjambor@suse.cz>
2219
2220         PR middle-end/43812
2221         * ipa.c (dissolve_same_comdat_group_list): New function.
2222         (function_and_variable_visibility): Call
2223         dissolve_same_comdat_group_list when comdat group contains external or
2224         newly local nodes.
2225         * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
2226         lists are circular and that they contain only DECL_ONE_ONLY nodes.
2227
2228 2010-04-27  Eric Botcazou  <ebotcazou@adacore.com>
2229
2230         * varasm.c (decode_addr_const): Handle special case of INDIRECT_REF.
2231         (const_hash_1) <VECTOR_CST>: New case.
2232         (compare_constant) <VECTOR_CST>: Likewise.
2233         <ADDR_EXPR>: Deal with LABEL_REFs.
2234         (copy_constant) <VECTOR_CST>: New case.
2235
2236 2010-04-27  Jan Hubicka  <jh@suse.cz>
2237
2238         * cgraph.c (cgraph_propagate_frequency): New function.
2239         * cgraph.h (cgraph_propagate_frequency): Declare.
2240         * ipa-inline.c (cgraph_clone_inlined_nodes): Call
2241         cgraph_propagate_frequency.
2242
2243 2010-04-27  Jakub Jelinek  <jakub@redhat.com>
2244
2245         * unwind-dw2.c (_Unwind_DebugHook): Add used and noclone attributes.
2246
2247 2010-04-27  Bernd Schmidt  <bernds@codesourcery.com>
2248
2249         PR target/40657
2250         * config/arm/arm.c (thumb1_extra_regs_pushed): New function.
2251         (thumb1_expand_prologue, thumb1_output_function_prologue): Call it
2252         here to determine which regs to push and how much stack to reserve.
2253
2254 2010-04-27  Jie Zhang  <jie@codesourcery.com>
2255
2256         * doc/gimple.texi (gimple_statement_with_ops): Remove
2257         addresses_taken field.
2258         (gimple_statement_with_memory_ops): Likewise.
2259
2260 2010-04-27  Jan Hubicka  <jh@suse.cz>
2261
2262         * tree-inline.c (eni_inlining_weights): Remove.
2263         (estimate_num_insns): Special case more builtins.
2264
2265 2010-04-27  Shujing Zhao  <pearly.zhao@oracle.com>
2266
2267         PR c/32207
2268         * c-typeck.c (build_binary_op): Move forward check for comparison
2269         pointer with null pointer constant and adjust the diagnostic message.
2270
2271 2010-04-27  Dave Korn  <dave.korn.cygwin@gmail.com>
2272
2273         PR lto/42776
2274         * configure.ac (gcc_cv_as_section_has_align): Set if installed
2275         binutils supports extended .section directive needed by LTO, or
2276         warn if older binutils found.
2277         (LTO_BINARY_READER): New AC_SUBST'd variable.
2278         (LTO_USE_LIBELF): Likewise.
2279         * gcc/config.gcc (lto_binary_reader): New target-specific configure
2280         variable.
2281         * gcc/Makefile.in (LTO_BINARY_READER): Import AC_SUBST'd autoconf var.
2282         (LTO_USE_LIBELF): Likewise.
2283         * configure: Regenerate.
2284
2285         * collect2.c (is_elf): Rename from this ...
2286         (is_elf_or_coff): ... to this, and recognize and allow i386 COFF
2287          object files in addition to ELF-formatted ones.
2288         (scan_prog_file): Caller updated.  Also allow for LTO info marker
2289         symbol to be prefixed or not by an extra underscore.
2290
2291         * config/i386/t-cygming (winnt.o): Also depend on LTO_STREAMER_H.
2292         * config/i386/winnt.c: Also #include lto-streamer.h
2293         (i386_pe_asm_named_section): Specify 1-byte section alignment for
2294         LTO named sections.
2295         (i386_pe_asm_output_aligned_decl_common): Add comment.
2296         (i386_pe_maybe_record_exported_symbol): Allow decl arg to be NULL.
2297
2298 2010-04-27  Hans-Peter Nilsson  <hp@bitrange.com>
2299
2300         PR target/43889
2301         * config/mmix/mmix.md ("*divdi3_nonknuth", "*moddi3_nonknuth"):
2302         Add missing earlyclobber for second alternative.
2303
2304 2010-04-26  Bernd Schmidt  <bernds@codesourcery.com>
2305
2306         * df-problems.c (df_simulate_initialize_forwards): Set, don't clear,
2307         bits for artificial defs at the top of the block.
2308         * fwprop.c (single_def_use_enter_block): Don't call it.
2309
2310 2010-04-26  Jack Howarth <howarth@bromo.med.uc.edu>
2311
2312         PR 43715
2313         * gcc/configure.ac: Use "$gcc_cv_nm -g" on darwin
2314         instead of "$gcc_cv_objdump -T".
2315         Use "-undefined dynamic_lookup" on darwin.
2316         * gcc/configure: Regenerate.
2317
2318 2010-04-26  Jakub Jelinek  <jakub@redhat.com>
2319
2320         PR c/43893
2321         * c-omp.c (c_finish_omp_for): Handle also EQ_EXPR.
2322
2323 2010-04-26  Nathan Froyd  <froydnj@codesourcery.com>
2324
2325         * c-parser.c (struct c_token): Move location field up.
2326         * c-tree.h (struct c_typespec): Move expr_const_operands field up.
2327         (struct c_declspecs): Convert typespec_word, storage_class, and
2328         default_int_p into bitfields.
2329         (struct c_declarator): Move loc field up.
2330
2331 2010-04-26  Nathan Froyd  <froydnj@codesourcery.com>
2332
2333         * cfgloop.h (struct loop): Move can_be_parallel field up.
2334         * ipa-prop.h (struct ip_node_params): Move bitfields up.
2335         * tree-ssa-loop-ivopts.c (struct version_info): Move inv_id field
2336         down.
2337         (struct iv_cand): Convert pos field into a bitfield.
2338         * tree-vectorizer.h (struct _loop_vec_info): Move loop_line_number
2339         field up.
2340         (struct _stmt_vec_info): Shuffle fields for better packing.
2341
2342 2010-04-26  Eric Botcazou  <ebotcazou@adacore.com>
2343
2344         * varasm.c (IN_NAMED_SECTION): Remove guard.
2345         * config/arm/unknown-elf.h (IN_NAMED_SECTION): Rename to...
2346         (IN_NAMED_SECTION_P): ...this.
2347         (ASM_OUTPUT_ALIGNED_BSS): Adjust for above renaming.
2348         (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Likewise.
2349
2350 2010-04-26  Eric Botcazou  <ebotcazou@adacore.com>
2351
2352         * gimplify.c (gimplify_cond_expr): Use THEN_ and ELSE_ local variables.
2353         Use VOID_TYPE_P for all void type tests.  Adjust TYPE variable instead
2354         of shadowing it.  Fix comments.
2355
2356 2010-04-26  Jan Hubicka  <jh@suse.cz>
2357
2358         * cgraph.c (cgraph_create_node): Set node frequency to normal.
2359         (cgraph_clone_node): Copy function frequency.
2360         * cgraph.h (node_frequency): New enum
2361         (struct cgraph_node): Add.
2362         * final.c (rest_of_clean_state): Update.
2363         * lto-cgraph.c (lto_output_node): Output node frequency.
2364         (input_overwrite_node): Input node frequency.
2365         * tre-ssa-loop-ivopts (computation_cost): Update.
2366         * lto-streamer-out.c (output_function): Do not output function
2367         frequency.
2368         * predict.c (maybe_hot_frequency_p): Update and handle functions
2369         executed once.
2370         (cgraph_maybe_hot_edge_p): Likewise; use cgraph frequency instead of
2371         attribute lookup.
2372         (probably_never_executed_bb_p, optimize_function_for_size_p): Update.
2373         (compute_function_frequency): Set noreturn functions to be executed
2374         once.
2375         (choose_function_section): Update.
2376         * lto-streamer-in.c (input_function): Do not input function frequency.
2377         * function.c (allocate_struct_function): Do not initialize function
2378         frequency.
2379         * function.h (function_frequency): Remove.
2380         (struct function): Remove function frequency.
2381         * ipa-profile.c (CGRAPH_NODE_FREQUENCY): Remove.
2382         (try_update): Update.
2383         * tree-inline.c (initialize_cfun): Do not update function frequency.
2384         * passes.c (pass_init_dump_file): Update.
2385         * i386.c (ix86_compute_frame_layout): Update.
2386         (ix86_pad_returns): Update.
2387
2388 2010-04-26  Jie Zhang  <jie@codesourcery.com>
2389
2390         PR tree-optimization/43833
2391         * tree-vrp.c (range_int_cst_p): New.
2392         (range_int_cst_singleton_p): New.
2393         (extract_range_from_binary_expr): Optimize BIT_AND_EXPR case
2394         when both operands are constants.  Use range_int_cst_p in
2395         BIT_IOR_EXPR case.
2396
2397 2010-04-26  Jan Hubicka  <jh@suse.cz>
2398
2399         * cgraphunit.c (cgraph_copy_node_for_versioning): Fix profile updating.
2400
2401 2010-04-26  Richard Guenther  <rguenther@suse.de>
2402
2403         PR lto/43080
2404         * gimple.c (gimple_decl_printable_name): Deal gracefully
2405         with a NULL DECL_NAME.
2406
2407 2010-04-26  Richard Guenther  <rguenther@suse.de>
2408
2409         PR lto/42425
2410         * tree.c (free_lang_data_in_type): Do not free TYPE_CONTEXT
2411         if emitting debug information and it is either a function
2412         or a namespace decl.
2413
2414 2010-04-26  Ira Rosen  <irar@il.ibm.com>
2415
2416         * tree-vectorizer.h (struct _stmt_vec_info): Add new field to
2417         determine if the statement is vectorizable, and a macro to access it.
2418         * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
2419         Skip statements that can't be vectorized. If the analysis fails,
2420         mark the statement as unvectorizable if vectorizing basic block.
2421         (vect_compute_data_refs_alignment): Likewise.
2422         (vect_verify_datarefs_alignment): Skip statements marked as
2423         unvectorizable. Add print.
2424         (vect_analyze_group_access): Skip statements that can't be
2425         vectorized. If the analysis fails, mark the statement as
2426         unvectorizable if vectorizing basic block.
2427         (vect_analyze_data_ref_accesses, vect_analyze_data_refs): Likewise.
2428         * tree-vect-stmts.c (vectorizable_store): Fix the number of
2429         generated stmts for SLP.
2430         (new_stmt_vec_info): Initialize the new field.
2431         * tree-vect-slp.c (vect_build_slp_tree): Fail to vectorize
2432         statements marked as unvectorizable.
2433
2434 2010-04-25  Joseph Myers  <joseph@codesourcery.com>
2435
2436         * c-common.c (flag_isoc1x): New.
2437         (flag_isoc99): Update comment.
2438         * c-common.h (flag_isoc1x): New.
2439         (flag_isoc99): Update comment.
2440         * c-cppbuiltin.c (builtin_define_float_constants): Also define
2441         __<type>_DECIMAL_DIG__.
2442         * c-opts.c (set_std_c1x): New.
2443         (c_common_handle_option): Handle -std=c1x and -std=gnu1x.
2444         (set_std_c89, set_std_c99): Also set flag_isoc1x to 0.
2445         * c.opt (-std=c1x, -std=gnu1x): New options.
2446         * doc/cpp.texi: Mention -std=c1x.
2447         * doc/cppopts.texi (-std=c1x, -std=gnu1x): Document.
2448         * doc/extend.texi: Mention -std=c1x and -std=gnu1x.
2449         * doc/invoke.texi (-std=c1x, -std=gnu1x): Document.
2450         * doc/standards.texi: Mention C1X.
2451         * ginclude/float.h (FLT_DECIMAL_DIG, DBL_DECIMAL_DIG,
2452         LDBL_DECIMAL_DIG, FLT_HAS_SUBNORM, DBL_HAS_SUBNORM,
2453         LDBL_HAS_SUBNORM, FLT_TRUE_MIN, DBL_TRUE_MIN, LDBL_TRUE_MIN):
2454         Define for C1X.
2455
2456 2010-04-25  Uros Bizjak  <ubizjak@gmail.com>
2457
2458         * config/i386/gmon-sol2.c (_mcleanup): Change format string
2459         placeholder from 0x%x to %#x.
2460         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
2461         * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
2462         * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
2463         * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
2464         * config/i386/i386.c (ix86_target_string): Ditto.
2465         (output_pic_addr_const): Ditto.
2466         (print_operand): Ditto.
2467
2468 2010-04-25  Paolo Bonzini  <bonzini@gnu.org>
2469
2470         * combine.c (find_split_point): Add third argument.  Use it
2471         to find nested multiply-accumulate instructions.  Adjust calls.
2472         (try_combine): Adjust call to find_split_point.
2473
2474 2010-04-24  Gerald Pfeifer  <gerald@pfeifer.com>
2475
2476         * doc/contrib.texi (Contributors): Add Dodji Seketeli.
2477
2478 2010-04-24  Bernd Schmidt  <bernds@codesourcery.com>
2479
2480         PR tree-optimization/41442
2481         * fold-const.c (merge_truthop_with_opposite_arm): New function.
2482         (fold_binary_loc): Call it.
2483
2484 2010-04-23  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2485
2486         * toplev.c (general_init): Set default for fdiagnostics-show-option.
2487         * opts.c (common_handle_option): Allow disabling it.
2488         * common.opt (fdiagnostics-show-option): Add Var. Enabled by default.
2489
2490 2010-04-23  Eric Botcazou  <ebotcazou@adacore.com>
2491
2492         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Only use conversion
2493         between modes if both types are integral.
2494
2495 2010-04-23  Richard Guenther  <rguenther@suse.de>
2496
2497         PR tree-optimization/43572
2498         * tree-tailcall.c (find_tail_calls): Allow PARM_DECL uses.
2499
2500 2010-04-23  Richard Guenther  <rguenther@suse.de>
2501
2502         PR lto/43455
2503         * tree-inline.c (tree_can_inline_p): Also check compatibility
2504         of return types.
2505
2506 2010-04-23  Martin Jambor  <mjambor@suse.cz>
2507
2508         PR tree-optimization/43846
2509         * tree-sra.c (struct access): New flag grp_assignment_read.
2510         (build_accesses_from_assign): Set grp_assignment_read.
2511         (sort_and_splice_var_accesses): Propagate grp_assignment_read.
2512         (enum mark_read_status): New type.
2513         (analyze_access_subtree): Propagate grp_assignment_read, create
2514         accesses also if both direct_read and root->grp_assignment_read.
2515
2516 2010-04-23  Martin Jambor  <mjambor@suse.cz>
2517
2518         PR middle-end/43835
2519         * tree-sra.c (ipa_sra_preliminary_function_checks): Check that the
2520         function does not have type attributes.
2521
2522 2010-04-23  Richard Guenther  <rguenther@suse.de>
2523
2524         PR lto/42653
2525         * tree.c (free_lang_data_in_decl): Do not reset DECL_CONTEXT
2526         of FUNCTION_DECLs.
2527
2528 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
2529
2530         * sese.h (create_if_region_on_edge): Remove.
2531
2532         * sese.c (create_if_region_on_edge): Make static.
2533
2534         * tree-inline.c: Do not include ggc.h.
2535
2536         * expr.c: Do not include ggc.h.
2537
2538         * Makefile.in (tree-inline.o, expr.o): Remove $(GGC_H) from
2539         dependencies.
2540
2541 2010-04-22  Kaz Kojima  <kkojima@gcc.gnu.org>
2542
2543         PR target/43744
2544         * config/sh/sh.c (find_barrier): Don't emit a constant pool
2545         in the middle of insns for casesi_worker_2.
2546
2547 2010-04-22  David Edelsohn  <edelsohn@gnu.org>
2548
2549         * config/rs6000/x-aix: Override LDFLAGS for all COMPILERS.
2550
2551 2010-04-22  Ira Rosen  <irar@il.ibm.com>
2552
2553         PR tree-optimization/43842
2554         * tree-vect-loop.c (vect_create_epilog_for_reduction): Handle
2555         loop unrolling in update of exit phis. Fix comment.
2556         * tree-vect-slp.c (vect_analyze_slp): Check that there are at
2557         least two reduction statements in the loop before starting SLP
2558         analysis.
2559
2560 2010-04-22  Nick Clifton  <nickc@redhat.com>
2561
2562         * config/stormy16/stormy16-lib2.c (__ucmpsi2): Fix thinko.
2563
2564 2010-04-22  Alexander Monakov  <amonakov@ispras.ru>
2565
2566         * tree-ssa-reassoc.c (eliminate_plus_minus_pair): Handle BIT_NOT_EXPR
2567         to simplify a + ~a.
2568
2569 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
2570
2571         * tree-parloops.c (loop_parallel_p): New argument
2572         parloop_obstack.  Pass it down.
2573         (parallelize_loops): New variable parloop_obstack.  Initialize it,
2574         pass it down, free it.
2575
2576         * tree-loop-linear.c (linear_transform_loops): Pass down
2577         lambda_obstack.
2578
2579         * tree-data-ref.h (lambda_compute_access_matrices): New argument
2580         of type struct obstack *.
2581
2582         * tree-data-ref.c (analyze_subscript_affine_affine): New variable
2583         scratch_obstack.  Initialize it, pass down, free it.
2584
2585         * lambda.h (lambda_loop_new): Remove.
2586         (lambda_matrix_new, lambda_matrix_inverse)
2587         (lambda_trans_matrix_new, lambda_trans_matrix_inverse): New
2588         argument of type struct obstack *.
2589
2590         * lambda-trans.c (lambda_trans_matrix_new): New argument
2591         lambda_obstack.  Pass it down, use obstack allocation for ret.
2592         (lambda_trans_matrix_inverse): New argument lambda_obstack.  Pass
2593         it down.
2594
2595         * lambda-mat.c (lambda_matrix_get_column)
2596         (lambda_matrix_project_to_null): Remove.
2597         (lambda_matrix_new): New argument lambda_obstack.  Use obstack
2598         allocation for mat.
2599         (lambda_matrix_inverse_hard, lambda_matrix_inverse): New argument
2600         lambda_obstack.
2601
2602         * lambda-code.c (lambda_loop_new): New function.
2603         (lambda_lattice_new, compute_nest_using_fourier_motzkin)
2604         (lambda_compute_auxillary_space, lambda_compute_target_space)
2605         (lambda_loopnest_transform, gcc_loop_to_lambda_loop)
2606         (lambda_loopnest_to_gcc_loopnest): Pass down lambda_obstack.
2607         (build_access_matrix): New argument lambda_obstack.  Use obstack
2608         allocation for am.
2609         (lambda_compute_step_signs, lambda_compute_access_matrices): New
2610         argument lambda_obstack.  Pass it down.
2611
2612 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
2613
2614         * optabs.h (expand_widening_mult): Declare.
2615
2616 2010-04-22  Richard Guenther  <rguenther@suse.de>
2617
2618         PR tree-optimization/43845
2619         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Properly
2620         lookup the CALL_EXPR function and arguments.
2621
2622 2010-04-22  Nick Clifton  <nickc@redhat.com>
2623
2624         * config/stormy16/stormy16.c
2625         (xstormy16_asm_output_aligned_common): Handle a NULL decl parameter.
2626         * config/stormy16/stormy16.h: Tidy up formatting.
2627         (DONT_USE_BUILTIN_SETJMP): Remove definition.
2628         * config/stormy16/stormy16.c (cbranchsi4): Delete pattern.
2629         (ineqbranchsi): Delete pattern.
2630         * config/stormy16/stormy16-lib2-ucmpsi2.c: New file.
2631         * config/stormy16/stormy16-lib2.c (__ucmpsi2): New function.
2632         * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Add
2633         stormy16-lib2-ucmpsi2.c.
2634
2635 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
2636
2637         * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and
2638         df_simulate_find_noclobber_defs as appropriate.  Keep track of an
2639         extra set merge_set_noclobber, and use it to relax the final test
2640         slightly.
2641         * df.h (df_simulate_find_noclobber_defs): Declare.
2642         * df-problems.c (df_simulate_find_defs): Don't ignore partial or
2643         conditional defs.
2644         (df_simulate_find_noclobber_defs): New function.
2645
2646 2010-04-22  Uros Bizjak  <ubizjak@gmail.com>
2647
2648         * config/i386/i386.md: Use {} around multi-line preparation statements.
2649
2650 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
2651
2652         * c-tree.h (push_init_level, pop_init_level, set_init_index)
2653         (process_init_element): New argument of type struct obstack *.
2654
2655         * c-typeck.c (push_init_level, pop_init_level, set_designator)
2656         (set_init_index, set_init_label, set_nonincremental_init)
2657         (set_nonincremental_init_from_string, find_init_member)
2658         (output_init_element, output_pending_init_elements)
2659         (process_init_element): New argument braced_init_obstack.  Pass it
2660         down.
2661         (push_range_stack, add_pending_init): New argument
2662         braced_init_obstack.  Use obstack allocation.
2663
2664         * c-parser.c (c_parser_initelt, c_parser_initval): New argument
2665         braced_init_obstack.  Pass it down.
2666         (c_parser_braced_init): New variables ret, braced_init_obstack.
2667         Initialize obstack, pass it down and finally free it.
2668
2669 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
2670
2671         PR middle-end/29274
2672         * tree-pass.h (pass_optimize_widening_mul): Declare.
2673         * tree-ssa-math-opts.c (execute_optimize_widening_mul,
2674         gate_optimize_widening_mul): New static functions.
2675         (pass_optimize_widening_mul): New.
2676         * expr.c (expand_expr_real_2) <case WIDEN_MULT_EXPR>: New case.
2677         <case MULT_EXPR>: Remove support for widening multiplies.
2678         * tree.def (WIDEN_MULT_EXPR): Tweak comment.
2679         * cfgexpand.c (expand_debug_expr) <case WIDEN_MULT_EXPR>: Use
2680         simplify_gen_unary rather than directly building extensions.
2681         * tree-cfg.c (verify_gimple_assign_binary): Add tests for
2682         WIDEN_MULT_EXPR.
2683         * expmed.c (expand_widening_mult): New function.
2684         * passes.c (init_optimization_passes): Add pass_optimize_widening_mul.
2685
2686 2010-04-21  Jan Hubicka  <jh@suse.cz>
2687
2688         * timevar.def (TV_WHOPR_WPA_FIXUP): Remove.
2689         * lto-section-in.c (lto_section_name): Remove wpa_fixup.
2690         * lto-wpa-fixup.c: Remove.
2691         * Makefile.in (lto-wpa-fixup.o): Remove.
2692         * passes.c (init_optimization_passes): Remove pass_ipa_lto_wpa_fixup.
2693         (execute_all_ipa_transforms): Set cgraph_state to CGRAPH_STATE_IPA_SSA.
2694         * lto-streamer.c (lto_get_section_name): Remove wpa_fixup section.
2695
2696 2010-04-21  Jan Hubicka  <jh@suse.cz>
2697
2698         * tree-pass.h (ipa_opt_pass_d): Rename function_read_summary;
2699         add write_optimization_summary, read_optimization_summary.
2700         (ipa_write_summaries_of_cgraph_node_set): Remove.
2701         (ipa_write_optimization_summaries): Declare.
2702         (ipa_read_optimization_summaries): Declare.
2703         * ipa-cp.c (pass_ipa_cp): Update.
2704         * ipa-reference.c (pass_ipa_reference): Update.
2705         * ipa-pure-const.c (pass_ipa_pure_const): Update.
2706         * lto-streamer-out.c (pass_ipa_lto_gimple, pass_ipa_lto_finish):
2707         Update.
2708         * ipa-inline.c (pass_ipa_inline): Update.
2709         * ipa.c (pass_ipa_whole_program): Update.
2710         * lto-wpa-fixup.c (pass_ipa_lto_wpa_fixup): Update.
2711         * passes.c (ipa_write_summaries_1): Do not test wpa.
2712         (ipa_write_optimization_summaries_1): New.
2713         (ipa_write_optimization_summaries): New.
2714         (ipa_read_summaries): Do not test ltrans.
2715         (ipa_read_optimization_summaries_1): New.
2716         (ipa_read_optimization_summaries): New.
2717
2718 2010-04-21  Jan Hubicka  <jh@suse.cz>
2719
2720         * lto-cgraph.c (lto_output_node): Do not output comdat groups
2721         for boundary nodes.
2722         (output_cgraph): Do not arrange comdat groups for boundary nodes.
2723
2724 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
2725
2726         PR debug/40040
2727         * dwarf2out.c (add_name_and_src_coords_attributes): Add
2728         DW_AT_{,MIPS_}linkage_name even for Fortran decls.
2729
2730 2010-04-21  Jan Hubicka  <jh@suse.cz>
2731
2732         * ipa-prop.c (ipa_edge_removal_hook): Check for bounds.
2733
2734 2010-04-21  Jan Hubicka  <jh@suse.cz>
2735
2736         * varpool.c (decide_is_variable_needed): Variable is always needed
2737         during ltrans.
2738
2739 2010-04-21  Jan Hubicka  <jh@suse.cz>
2740
2741         * opts.c (decode_options): Enable pure-const pass for whopr.
2742
2743 2010-04-21  Jan Hubicka  <jh@suse.cz>
2744
2745         * cgraph.c (dump_cgraph_node): Dump also assembler name.
2746         * ipa-inline.c (cgraph_decide_inlining_of_small_functions): Do not ice
2747         at WPA dumping.
2748         (cgraph_decide_inlining): Do not expect callee to be removed in all
2749         cases.
2750
2751 2010-04-21  Eric B. Weddington  <eric.weddington@atmel.com>
2752
2753         * config/avr/avr-devices.c (avr_mcu_types): Add missing comma.
2754
2755 2010-04-21  Uros Bizjak  <ubizjak@gmail.com>
2756
2757         * config/i386/i386.md (x86_shrd): Add athlon_decode and
2758         amdfam10_decode attributes.
2759
2760 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
2761
2762         PR middle-end/43570
2763         * omp-low.c (scan_sharing_clauses): Don't scan_omp_op
2764         OMP_CLAUSE_DECL for OMP_CLAUSE_COPYPRIVATE.
2765         (lower_copyprivate_clauses): Use private var in outer
2766         context instead of original var.  Make sure the types
2767         are correct for VLAs.
2768
2769 2010-04-21  Richard Guenther  <rguenther@suse.de>
2770
2771         * tree-ssa-structalias.c (do_ds_constraint): Avoid escaping
2772         to non-pointer objects.
2773
2774 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
2775
2776         * dwarf2out.c (add_var_loc_to_decl): Add LABEL argument.  Drop
2777         last chain entry if it starts with the still current label.
2778         (add_location_or_const_value_attribute): Check that
2779         loc_list->first->next is NULL instead of comparing ->first with ->last.
2780         (dwarf2out_var_location): Pass last_label resp. last_postcall_label
2781         to add_var_loc_to_decl.
2782
2783         * dwarf2out.c (output_call_frame_info): For dw_cie_version
2784         >= 4 add also address size and segment size fields into CIE header.
2785
2786         * unwind-dw2.c (extract_cie_info): Handle CIE version 4, as
2787         long as address size is the same as sizeof (void *) and
2788         segment size is 0.
2789         * unwind-dw2-fde.c (get_cie_encoding): Likewise.  If
2790         address size or segment size is unexpected, return DW_EH_PE_omit.
2791         (classify_object_over_fdes): If get_cie_encoding returned
2792         DW_EH_PE_omit, return -1.
2793         (init_object): If classify_object_over_fdes returned -1,
2794         pretend there were no FDEs at all.
2795
2796 2010-04-21  Uros Bizjak  <ubizjak@gmail.com>
2797
2798         * config/i386/i386.md (bswap<mode>2): Macroize expander from
2799         bswap{si,di}2 using SWI48 mode iterator.
2800         (*bswap<mode>2_movbe): Macroize insn from *bswap{si,di}_movbe using
2801         SWI48 mode iterator.  Set type attribute of bswap insn to bitmanip,
2802         set modrm attribute of bswap insn to 0 and remove length attribute.
2803         (*bswap<mode>2_1): Macroize insn from *bswap{si,di}_1 using SWI48 mode
2804         iterator.  Set type attribute to bitmanip, set modrm attribute to 0,
2805         set mode attribute to <MODE> and remove length attribute.
2806
2807 2010-04-20  James E. Wilson  <wilson@codesourcery.com>
2808
2809         PR rtl-optimization/43520
2810         * ira-lives.c (ira_implicitly_set_insn_hard_regs): Exclude classes with
2811         zero available registers.
2812
2813 2010-04-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2814
2815         * builtins.c (fold_builtin_cproj): Fold more cases.
2816
2817 2010-04-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2818
2819         * builtins.c (build_complex_cproj, fold_builtin_cproj): New.
2820         (fold_builtin_1): Fold builtin cproj.
2821         * builtins.def (BUILT_IN_CPROJ, BUILT_IN_CPROJF, BUILT_IN_CPROJL):
2822         Use ATTR_CONST_NOTHROW_LIST.
2823
2824 2010-04-20  Uros Bizjak  <ubizjak@gmail.com>
2825
2826         * config/i386/i386.md (ffs<mode>2): Macroize expander from ffs_cmove
2827         and ffsdi2 using SWI48 mode iterator.  Expand SImode insn through
2828         ffsi2_no_cmove for !TARGET_CMOVE.
2829         (ffssi2_no_cmove): Rename from *ffs_no_cmove.  Make public.
2830         (ffssi2): Remove expander.
2831         (*ffs<mode>_1): Macroize insn from *ffs{si,di} using SWI48
2832         mode iterator.
2833         (ctz<mode>2): Ditto from ctz{si,di}2.
2834         (clz<mode>2): Macroize expander from ctz{hi,si,di}2 using SWI248
2835         mode iterator.
2836         (clz<mode>2_abm): Macroize insn from clz{hi,si,di}2_abm using SWI248
2837         mode iterator.
2838
2839 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
2840
2841         * dwarf2out.c (AT_linkage_name): Define.
2842         (clone_as_declaration): Handle DW_AT_linkage_name.
2843         (add_name_and_src_coords_attributes): Use AT_linkage_name instead
2844         of DW_AT_MIPS_linkage_name.
2845         (move_linkage_attr): Likewise.
2846         (dwarf2out_finish): Likewise.
2847
2848 2010-04-20  Xinliang David Li  <davidxl@gcc.gnu.org>
2849
2850         PR middle-end/41952
2851         * fold-const.c (fold_comparison): New folding rule.
2852
2853 2010-04-20  Anatoly Sokolov  <aesok@post.ru>
2854
2855         * double-int.h (double_int_setbit): Declare.
2856         * double-int.c (double_int_setbit): New function.
2857         * rtl.h (immed_double_int_const): Declare.
2858         * emit-rtl.c (immed_double_int_const): New function.
2859         * builtins.c (expand_builtin_signbit): Clean up, use double_int_*
2860         and immed_double_int_const functions.
2861         * optabs.c (expand_absneg_bit, expand_copysign_absneg,
2862         expand_copysign_bit):  (Ditto.).
2863         * simplify-rtx.c (simplify_binary_operation_1): (Ditto.).
2864         * tree-ssa-address.c (addr_for_mem_ref): (Ditto.).
2865         * dojump.c (prefer_and_bit_test): (Ditto.).
2866         * expr.c (convert_modes, reduce_to_bit_field_precision,
2867         const_vector_from_tree): (Ditto.).
2868         * expmed.c (mask_rtx, lshift_value): (Ditto.).
2869
2870 2010-04-20  Jan Hubicka  <jh@suse.cz>
2871
2872         * cgraph.c (cgraph_remove_node): Kill bodies in other partitoin.
2873         (dump_cgraph_node): Dump new flags.
2874         * cgraph.h (struct cgraph_node): Add flags
2875         reachable_from_other_partition and in_other_partition.
2876         (cgraph_can_remove_if_no_direct_calls_p): Functions used by
2877         other partition can not be removed.
2878         * cgraphunit.c (cgraph_mark_functions_to_output): Functions used by
2879         the other partition must be output; silence sanity checking on
2880         leaking functions bodies from other paritition.
2881         * lto-cgraph.c (reachable_from_other_partition_p): New function.
2882         (lto_output_node): Output new flags; do not sanity check that inline
2883         clones are output; drop lto_forced_extern_inline_p code; do not mock
2884         visibility flags at partition boundaries.
2885         (add_node_to): New function.
2886         (output_cgraph): Use it to sort functions so masters appear before
2887         clones.
2888         (input_overwrite_node): Input new flags.
2889         * passes.c (ipa_write_summaries): Do not call
2890         lto_new_extern_inline_states.
2891         * lto-section-out.c (forced_extern_inline,
2892         lto_new_extern_inline_states lto_delete_extern_inline_states,
2893         lto_force_functions_extern_inline, lto_forced_extern_inline_p): Kill.
2894         * lto-streamer.h (lto_new_extern_inline_states,
2895         * lto_delete_extern_inline_states, lto_force_functions_extern_inline,
2896         lto_forced_extern_inline_p): Kill.
2897
2898 2010-04-20  Richard Guenther  <rguenther@suse.de>
2899
2900         * tree-ssa-structalias.c (do_sd_constraint): Add edges only
2901         from vars that can have pointers.
2902         (process_constraint): Dump useless constraints.
2903
2904 2010-04-20  Richard Guenther  <rguenther@suse.de>
2905
2906         * tree-ssa-structalias.c (do_structure_copy): Properly handle DEREF.
2907         (dump_sa_points_to_info): Remove asserts.
2908         (init_base_vars): nothing_id isn't an escape point nor does it
2909         have pointers.
2910
2911 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
2912
2913         * tree.h (TYPE_REF_IS_RVALUE): Define.
2914         * dwarf2out.c (attr_checksum_ordered, is_type_die, is_comdat_die,
2915         should_move_die_to_comdat, prune_unused_types_walk): Handle
2916         DW_TAG_rvalue_reference_type like DW_TAG_reference_type.
2917         (modified_type_die, gen_reference_type_die): Emit
2918         DW_TAG_rvalue_reference_type instead of DW_TAG_reference_type
2919         if TYPE_REF_IS_RVALUE and -gdwarf-4.
2920
2921 2010-04-20  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2922
2923         PR target/43635
2924         * config/s390/s390.c (s390_emit_call): Turn direct into indirect
2925         calls for -fpic -m31 if they have been sibcall optimized.
2926
2927 2010-04-19  James E. Wilson  <wilson@codesourcery.com>
2928
2929         * config/ia64/ia64.h (FIXED_REGISTERS, CALL_USED_REGISTERS): Make
2930         ar.lc fixed and call-used.
2931
2932         * config/ia64/ia64.c (TARGET_INVALID_WITHIN_DOLOOP): Define.
2933
2934 2010-04-19  Jan Hubicka  <jh@suse.cz>
2935
2936         * opts.c (decode_options): Disable whpr incompatible passes.
2937         * lto/lto.c (lto_1_to_1_map): Skip clones.
2938         (read_cgraph_and_symbols): Do not mark everything as needed.
2939         (do_whole_program_analysis): Do map only after optimizing;
2940         set proper cgraph_state; use passmanager.
2941
2942 2010-04-19  DJ Delorie  <dj@redhat.com>
2943
2944         * cfgexpand.c (expand_debug_expr): Check for mismatched modes in
2945         POINTER_PLUS_EXPR and fix them.
2946
2947 2010-04-19  Eric B. Weddington  <eric.weddington@atmel.com>
2948
2949         * config/avr/avr-devices.c (avr_mcu_types): Add support for new
2950         devices atmega644pa, attiny2313a, attiny24a, attiny261a, attiny4313,
2951         attiny44a, attiny861a, atmega16a, atmega168a, atmega164a, atmega165a,
2952         atmega169a, atmega169pa, atmega16hva2, atmega324a, atmega324pa,
2953         atmega325a, atmega3250a, atmega328, atmega329a, atmega329pa,
2954         atmega3290a, atmega48a, atmega644a, atmega645a, atmega645p,
2955         atmega6450a, atmega6450p, atmega649a, atmega649p, atmega6490a,
2956         atmega6490p, atmega64hve, atmega88a, atmega88pa, attiny461a, attiny84a,
2957         m3000. Remove support for devices atmega8m1, atmega8c1, atmega16c1,
2958         atmega4hvd, atmega8hvd, attiny327, m3000f, m3000s, m3001b.
2959         * config/avr/t-avr.c (MULTILIB_MATCHES): Same.
2960
2961 2010-04-19  Eric Botcazou  <ebotcazou@adacore.com>
2962
2963         * ifcvt.c (noce_try_cmove_arith): Fix long lines.
2964         (check_cond_move_block): Likewise.
2965         (cond_move_process_if_block): Likewise.
2966         (noce_find_if_block): Improve formatting.
2967         (find_if_header): Pass 0 to memset and tweak conditions.
2968         (cond_exec_find_if_block): Fix long lines and tweak conditions.
2969
2970 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
2971
2972         * dwarf2out.c (lower_bound_default): For DW_LANG_Python return 0
2973         for -gdwarf-4.
2974
2975         PR middle-end/43337
2976         * tree-nested.c (convert_nonlocal_omp_clauses): OMP_CLAUSE_PRIVATE
2977         with non-local decl doesn't need chain.
2978
2979 2010-04-19  Vladimir Makarov  <vmakarov@redhat.com>
2980
2981         * ira-color.c (allocno_reload_assign): Avoid accumulating
2982         reload registers in ALLOCNO_TOTAL_CONFLICT_HARD_REGS.
2983
2984 2010-04-19  Martin Jambor  <mjambor@suse.cz>
2985
2986         * gimple.h (create_tmp_reg): Declare.
2987         * gimplify.c (create_tmp_reg): New function.
2988         (gimplify_return_expr): Use create_tmp_reg.
2989         (gimplify_omp_atomic): Likewise.
2990         (gimple_regimplify_operands): Likewise.
2991         * tree-dfa.c (make_rename_temp): Likewise.
2992         * tree-predcom.c (predcom_tmp_var): Likewise.
2993         (reassociate_to_the_same_stmt): Likewise.
2994         * tree-sra.c (replace_uses_with_default_def_ssa_name): Likewise.
2995         (get_replaced_param_substitute): Likewise.
2996         * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise.
2997         * tree-ssa-phiopt.c (cond_store_replacement): Likewise.
2998         * tree-ssa-pre.c (get_representative_for): Likewise.
2999         (create_expression_by_pieces): Likewise.
3000         * tree-tailcall.c (adjust_return_value_with_ops): Likewise.
3001         (create_tailcall_accumulator): Likewise.
3002
3003 2010-04-19  Martin Jambor  <mjambor@suse.cz>
3004
3005         * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Update
3006         new_stmt.
3007         (cgraph_materialize_all_clones): Assert !need_ssa_update_p.
3008
3009 2010-04-19  Richard Guenther  <rguenther@suse.de>
3010
3011         PR tree-optimization/43796
3012         * tree-vrp.c (adjust_range_with_scev): Lookup init and step
3013         from SCEV in the lattice.
3014         (vrp_visit_phi_node): Dump change.
3015
3016 2010-04-19  Richard Guenther  <rguenther@suse.de>
3017
3018         * configure.ac: Fix quoting around elf_getshstrndx ABI check.
3019         * configure: Re-generated.
3020
3021 2010-04-19  Richard Guenther  <rguenther@suse.de>
3022
3023         PR tree-optimization/43783
3024         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Drop
3025         constant ARRAY_REF operands two and three if possible.
3026
3027 2010-04-19  Uros Bizjak  <ubizjak@gmail.com>
3028
3029         PR target/43766
3030         * config/i386/i386.c (ix86_decompose_address): Handle ASHIFT addends.
3031
3032 2010-04-19  Jie Zhang  <jie@codesourcery.com>
3033
3034         PR target/43662
3035         * reginfo.c (reinit_regs): Set caller_save_initialized_p to false.
3036
3037 2010-04-19  Ira Rosen  <irar@il.ibm.com>
3038
3039         PR tree-optimization/37027
3040         * tree-vectorizer.h (struct _loop_vec_info): Add new field reductions
3041         and macro to access it.
3042         (vectorizable_reduction): Add argument.
3043         (vect_get_slp_defs): Likewise.
3044         * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Collect reduction
3045         statements for possible use in SLP.
3046         (new_loop_vec_info): Initialize LOOP_VINFO_REDUCTIONS.
3047         (destroy_loop_vec_info): Free LOOP_VINFO_REDUCTIONS.
3048         (vect_create_epilog_for_reduction): Handle SLP. Modify documentation,
3049         add new argument.
3050         (vectorizable_reduction): Likewise.
3051         * tree-vect-stmts.c (vect_get_vec_defs): Update call to
3052         vect_get_slp_defs.
3053         (vectorizable_type_demotion, vectorizable_type_promotion,
3054         vectorizable_store): Likewise.
3055         (vect_analyze_stmt): Update call to vectorizable_reduction.
3056         (vect_transform_stmt): Likewise.
3057         * tree-vect-slp.c (vect_get_and_check_slp_defs): Handle reduction.
3058         (vect_build_slp_tree): Fix indentation. Check that there are no loads
3059         from different interleaving chains in same node.
3060         (vect_slp_rearrange_stmts): New function.
3061         (vect_supported_load_permutation_p): Allow load permutations for
3062         reductions. Call vect_slp_rearrange_stmts() to rearrange statements
3063         inside SLP nodes if necessary.
3064         (vect_analyze_slp_instance): Handle reductions.
3065         (vect_analyze_slp): Try to build SLP instances originating from groups
3066         of reductions.
3067         (vect_detect_hybrid_slp_stmts): Skip reduction statements.
3068         (vect_get_constant_vectors): Create initial vectors for reductions
3069         according to reduction code. Add new argument.
3070         (vect_get_slp_defs): Add new argument, pass it to
3071         vect_get_constant_vectors.
3072         (vect_schedule_slp_instance): Remove SLP tree root statements.
3073
3074 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
3075
3076         * tree.h (ENUM_IS_SCOPED): Define.
3077         * dwarf2out.c (gen_enumeration_type_die): Add DW_AT_enum_class
3078         for ENUM_IS_SCOPED enums.
3079
3080 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
3081
3082         * fold-const.c (fold_comparison): Use ssizetype.
3083         * gimple-fold.c (maybe_fold_offset_to_array_ref): Likewise.
3084         * ipa-prop.c (ipa_modify_call_arguments): Use sizetype.
3085         * tree-loop-distribution.c (build_size_arg_loc): Likewise.
3086         * tree-object-size.c (compute_object_sizes): Use size_type_node.
3087
3088         * tree.h (initialize_sizetypes): Remove parameter.
3089         (build_common_tree_nodes): Remove second parameter.
3090         * stor-layout.c (initialize_sizetypes): Remove parameter.
3091         Always create an unsigned type.
3092         (set_sizetype): Assert that the passed type is unsigned and simplify.
3093         * tree.c (build_common_tree_nodes): Remove second parameter.
3094         Adjust call to initialize_sizetypes.
3095         * c-decl.c (c_init_decl_processing): Remove second argument in call to
3096         build_common_tree_nodes.
3097
3098 2010-04-18  Matthias Klose  <doko@ubuntu.com>
3099
3100         * gcc.c (main): Search for liblto_plugin.so with mode R_OK.
3101
3102 2010-04-18  Ira Rosen  <irar@il.ibm.com>
3103
3104         PR tree-optimization/43771
3105         * tree-vect-slp.c (vect_supported_load_permutation_p): Check that
3106         load permutation doesn't have gaps.
3107
3108 2010-04-18  Jan Hubicka  <jh@suse.cz>
3109
3110         * i386.md (UNSPEC_SSE_PROLOGUE_SAVE_LOW): New.
3111         (sse_prologue_save_insn expander): Use new pattern.
3112         (sse_prologue_save_insn1): New pattern and splitter.
3113         (sse_prologue_save_insn): Update to deal also with 64bit aligned
3114         blocks.
3115         * i386.c (setup_incoming_varargs_64): Do not compute jump
3116         destination here.
3117         (ix86_gimplify_va_arg): Update alignment needed.
3118         (ix86_local_alignment): Do not align all local arrays to 128bit.
3119
3120 2010-04-17  Jan Hubicka  <jh@suse.cz>
3121
3122         * ipa-inline.c (cgraph_early_inlining): Handle flattening too.
3123
3124 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
3125
3126         * arm.md (negdi2): Remove redundant code to force values into a
3127         register.
3128
3129 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
3130
3131         * arm/bpabi.S: Add EABI alignment attributes to objects.
3132         * arm/bpabi-v6m.S: Likewise.
3133         * arm/crti.asm: Likewise.
3134         * arm/crtn.asm: Likewise.
3135         * arm/lib1funcs.asm: Likewise.
3136         * arm/libunwind.S: Likewise.
3137
3138 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
3139
3140         * arm-protos.h (tune_params): New structure.
3141         * arm.c (current_tune): New variable.
3142         (arm_constant_limit): Delete.
3143         (struct processors): Add pointer to the tune parameters.
3144         (arm_slowmul_tune): New tuning option.
3145         (arm_fastmul_tune, arm_xscale_tune, arm_9e_tune): Likewise.
3146         (all_cores): Adjust to pick up the tuning model.
3147         (arm_constant_limit): New function.
3148         (arm_override_options): Select the appropriate tuning model.  Delete
3149         initialization of arm_const_limit.
3150         (arm_split_constant): Use the new constant-limit model.
3151         (arm_rtx_costs): Pick up the current tuning model.
3152         * arm.md (is_strongarm, is_xscale): Delete.
3153         * arm-generic.md (load_ldsched_x, load_ldsched): Test explicitly
3154         for Xscale variant architectures.
3155         (mult_ldsched_strongarm, mult_ldsched): Similarly for StrongARM.
3156
3157 2010-04-17  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
3158
3159         * config/arm/arm.c (arm_gen_constant): Remove unused variable
3160         can_shift.
3161         (arm_rtx_costs_1): Remove unused variable extra_cost.
3162         (arm_unwind_emit_set): Use variable offset.
3163         (thumb1_output_casesi): Remove unused variable flags.
3164
3165 2010-04-16  Jeff Law  <law@redhat.com>
3166
3167         * ira-color.c (ira_reassign_pseudos): Collect and sort all the pseudos
3168         needing assignment rather than doing a two-phase assignment.  Remove
3169         unused variable 'm'.
3170
3171 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
3172
3173         PR bootstrap/43767
3174         * alias.c (memrefs_conflict_p): Don't crash if CSELIB_VAL_PTR is NULL.
3175
3176 2010-04-16  Doug Kwan  <dougkwan@google.com>
3177
3178         * tree-ssa-reassoc.c (struct operand_entry): Add new field ID.
3179         (next_operand_entry_id): New static variable.
3180         (sort_by_operand_rank): Stabilize qsort comparator by using unique IDs.
3181         (add_to_ops_vec): Assigned unique ID to operand entry.
3182         (struct oecount_s): New field ID.
3183         (oecount_cmp): Stabilize qsort comparotor by using unique IDs.
3184         (undistribute_ops_list): Assign unique IDs to oecounts.
3185         (init_reassoc): reset next_operand_entry_id.
3186
3187 2010-04-16  Doug Kwan  <dougkwan@google.com>
3188
3189         * config/i386/i386.md (*jcc_bt<mode>): Fix build breakage by adding
3190         missing left parenthesis.
3191
3192 2010-04-16  Uros Bizjak  <ubizjak@gmail.com>
3193
3194         * config/i386/i386.md (*bt<mode>): Macroize insn from *btsi and
3195         *btdi_rex64 using SWI48 mode iterator.
3196         (*jcc_bt<mode>): Ditto from *jcc_btsi and *jcc_btdi_rex64.
3197         (*jcc_bt<mode>_mask): Ditto from *jcc_btsi_mask and
3198         *jcc_btdi_mask_rex64.
3199
3200 2010-04-16  Anatoly Sokolov  <aesok@post.ru>
3201
3202         * double-int.h (tree_to_double_int): Convert to macro.
3203         * double-int.c (tree_to_double_int): Remove.
3204
3205 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
3206
3207         PR debug/43762
3208         * dwarf2out.c (add_bound_info): Always call loc_list_from_tree
3209         with want_address 2 and in case a single element list might be
3210         possible, call it again with want_address 0.
3211
3212 2010-04-12  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
3213
3214         * config/h8300/h8300.c (print_operand) : Modify case 'V' and
3215         case 'W' print operands for HI mode.
3216         * config/h8300/h8300.h (Y0, Y2) : New constraints.
3217         * config/h8300/h8300.md (bclrqi_msx, bclrhi_msx): New patterns
3218         (bsetqi_msx, bsethi_msx, bnotqi_msx, bnothi_msx): Likewise.
3219         * config/h8300/predicate.md (bit_register_indirect_operand): New.
3220
3221         * config/h8300/h8300.h (OK_FOR_U): Support 'U' constraint for H8300SX.
3222
3223         * config/h8300/h8300.md (movqi_h8sx, movhi_h8sx, movsi_h8sx,
3224         cmphi_h8300hs_znvc, cmpsi, addhi3_h8sx) : Emit instructions in
3225         #xx:3 and #xx:4 mode.
3226
3227         * config/h8300/h8300.md (inverted load with HImode dest): Add
3228         support for H8300SX.
3229
3230         * config/h8300/predicate.md (bit_operand): Allow immediate values that
3231         satisfy 'U' constraint.
3232
3233 2010-04-16  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3234
3235         * configure.ac: Check for elf_getshdrstrndx or elf_getshstrndx flavor.
3236         * configure: Regenerate.
3237         * config.in: Regenerate.
3238         * doc/install.texi (Prerequisites): Document that Solaris 2 libelf
3239         works.
3240
3241 2010-04-16  Richard Guenther  <rguenther@suse.de>
3242
3243         * tree.h (struct tree_decl_minimal): Move pt_uid ...
3244         (struct tree_decl_common): ... here.
3245         (DECL_PT_UID): Adjust.
3246         (SET_DECL_PT_UID): Likewise.
3247         (DECL_PT_UID_SET_P): Likewise.
3248
3249 2010-04-16  Richard Guenther  <rguenther@suse.de>
3250
3251         PR tree-optimization/43572
3252         * tree-ssa-alias.h (call_may_clobber_ref_p): Declare.
3253         * tree-ssa-alias.c (call_may_clobber_ref_p): Export.
3254         * tree-flow.h (is_call_clobbered): Remove.
3255         * tree-flow-inline.h (is_call_clobbered): Likewise.
3256         * tree-dfa.c (dump_variable): Do not dump call clobber state.
3257         * tree-nrv.c (dest_safe_for_nrv_p): Use the alias oracle.
3258         (execute_return_slot_opt): Adjust.
3259         * tree-tailcall.c (suitable_for_tail_opt_p): Remove
3260         check for call clobbered vars here.
3261         (find_tail_calls): Move tailcall verification to the
3262         proper place.
3263
3264 2010-04-16  Diego Novillo  <dnovillo@google.com>
3265
3266         * doc/invoke.texi: Explain how are unrecognized -Wno- warnings handled.
3267
3268 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
3269
3270         PR target/40603
3271         * config/arm/arm.md (cbranchqi4): New pattern.
3272         * config/arm/predicates.md (const0_operand,
3273         cbranchqi4_comparison_operator): New predicates.
3274
3275 2010-04-16  Richard Guenther  <rguenther@suse.de>
3276
3277         * gimple-pretty-print.c (dump_gimple_phi): Dump alias info.
3278         (dump_gimple_stmt): Likewise.
3279
3280 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
3281
3282         * recog.h (struct recog_data): New field is_operator.
3283         (struct insn_operand_data): New field is_operator.
3284         * recog.c (extract_insn): Set recog_data.is_operator.
3285         * genoutput.c (output_operand_data): Emit code to set the
3286         is_operator field.
3287         * reload.c (find_reloads): Use it rather than testing for an
3288         empty constraint string.
3289
3290         PR target/41514
3291         * config/arm/arm.md (cbranchsi4_insn): Renamed from "*cbranchsi4_insn".
3292         If the previous insn is a cbranchsi4_insn with the same arguments,
3293         omit the compare instruction.
3294
3295         * config/arm/arm.md (addsi3_cbranch): If destination is a high
3296         register, inputs must be low registers and we need a low register
3297         scratch.  Handle alternative 2 like alternative 3.
3298
3299 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
3300
3301         * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
3302         don't call get_addr on both.  If one expression is a VALUE and
3303         the other a REG, check VALUE's locs if the REG isn't among them.
3304
3305 2010-04-16  Christian Bruel  <christian.bruel@st.com>
3306
3307         * config/sh/sh.h (sh_frame_pointer_required): New function.
3308         * config/sh/sh.h (TARGET_FRAME_POINTER_REQUIRED): New macro.
3309         (flag_omit_frame_pointer) Set.
3310         (MASK_ACCUMULATE_OUTGOING_ARGS) Define and Set.
3311         (rounded_frame_size): Adjust size with outgoing_args_size.
3312         (sh_set_return_address): Must return from stack pointer.
3313         * gcc/config/sh/sh.h (CAN_DEBUG_WITHOUT_FP): Define.
3314         (SUBTARGET_FRAME_POINTER_REQUIRED): Define.
3315         (ACCUMULATE_OUTGOING_ARGS): Define.
3316         * doc/invoke.texi (maccumulate-outgoing-args): Document for SH.
3317         * gcc/config/sh/sh.opt: (maccumulate-outgoing-args): New option.
3318
3319 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
3320
3321         PR target/43471
3322         * config/sh/sh.c (sh_legitimize_reload_address): Use
3323         MAYBE_BASE_REGISTER_RTX_P instead of BASE_REGISTER_RTX_P.
3324         Remove a unneeded check for offset_base.
3325
3326 2010-04-15  H.J. Lu  <hongjiu.lu@intel.com>
3327
3328         * configure: Regenerated.
3329
3330 2010-04-15  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3331
3332         * config/s390/s390.c (s390_call_save_register_used): Switch back
3333         to HARD_REGNO_NREGS.
3334
3335 2010-04-15  Richard Guenther  <rguenther@suse.de>
3336
3337         * alias.c (alias_set_subset_of): Handle alias-set zero
3338         child properly.
3339
3340 2010-04-15  Mark Shinwell  <shinwell@codesourcery.com>
3341             Julian Brown  <julian@codesourcery.com>
3342
3343         * config/arm/thumb2.md (thumb2_movsi_insn): Split ldr and str
3344         alternatives according to use of high and low regs.
3345         * config/arm/vfp.md (thumb2_movsi_vfp): Likewise.
3346         * config/arm/arm.h (CONDITIONAL_REGISTER_USAGE): Use high regs when
3347         optimizing for size on Thumb-2.
3348
3349 2010-04-15  Thomas Schwinge  <tschwinge@gnu.org>
3350
3351         * config.gcc <i[34567]86-*-gnu*>: Handle softfp as for Linux.
3352
3353 2010-04-15  Richard Guenther  <rguenther@suse.de>
3354
3355         * tree-ssa-structalias.c (struct variable_info): Add
3356         is_fn_info flag.
3357         (new_var_info): Initialize it.
3358         (dump_constraints): Support printing last added constraints.
3359         (debug_constraints): Adjust.
3360         (dump_constraint_graph): Likewise.
3361         (make_heapvar_for): Check for NULL cfun.
3362         (get_function_part_constraint): New function.
3363         (get_fi_for_callee): Likewise.
3364         (find_func_aliases): Properly implement IPA PTA constraints.
3365         (process_ipa_clobber): New function.
3366         (find_func_clobbers): Likewise.
3367         (insert_into_field_list_sorted): Remove.
3368         (create_function_info_for): Properly allocate vars for IPA mode.
3369         Do not use insert_into_field_list_sorted.
3370         (create_variable_info_for): Properly generate constraints for
3371         global vars in IPA mode.
3372         (dump_solution_for_var): Always dump the solution.
3373         (set_uids_in_ptset): Initialize DECL_PT_UID if in ipa-mode.
3374         (find_what_var_points_to): Adjust.
3375         (pt_solution_set): Change.
3376         (pt_solution_ior_into): New function.
3377         (pt_solution_empty_p): Export.
3378         (pt_solution_includes_global): Adjust.
3379         (pt_solution_includes_1): Likewise.
3380         (pt_solutions_intersect_1): Likewise.
3381         (dump_sa_points_to_info): Check some invariants.
3382         (solve_constraints): Move constraint dumping ...
3383         (compute_points_to_sets): ... here.
3384         (ipa_pta_execute): ... and here.
3385         (compute_may_aliases): Do not re-compute points-to info
3386         locally if IPA info is available.
3387         (ipa_escaped_pt): New global var.
3388         (ipa_pta_execute): Properly implement IPA PTA.
3389         * tree-into-ssa.c (dump_decl_set): Support dumping
3390         decls not in referenced-vars.
3391         * tree-flow.h (struct gimple_df): Add ipa_pta flag.
3392         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Adjust.
3393         (dump_points_to_solution): Likewise.
3394         * tree-dfa.c (dump_variable): Also dump DECL_PT_UID.
3395         * tree-inline.c (remap_ssa_name): Copy IPA points-to solution.
3396         (remap_gimple_stmt): Reset call clobber/use information if necessary.
3397         (copy_decl_to_var): Copy DECL_PT_UID.
3398         (copy_result_decl_to_var): Likewise.
3399         * tree.c (make_node_stat): Initialize DECL_PT_UID.
3400         (copy_node_stat): Copy it.
3401         * tree.h (DECL_PT_UID): New macro.
3402         (SET_DECL_PT_UID): Likewise.
3403         (DECL_PT_UID_SET_P): Likewise.
3404         (struct tree_decl_minimal): Add pt_uid member.
3405         * tree-ssa-alias.h (struct pt_solution): Add ipa_escaped flag.
3406         (pt_solution_empty_p): Declare.
3407         (pt_solution_set): Adjust.
3408         (ipa_escaped_pt): Declare.
3409         * cfgexpand.c (update_alias_info_with_stack_vars): Adjust.
3410         * gimple-pretty-print.c (pp_points_to_solution): New function.
3411         (dump_gimple_call): Dump call clobber/use information.
3412         * tree-dump.c (dump_option_value_in): Add TDF_ALIAS entry.
3413         * tree-pass.h (TDF_ALIAS): New dump option.
3414         * tree-pretty-print.c (dump_decl_name): Dump DECL_PT_UID if asked to.
3415         * doc/invoke.texi (-fipa-pta): Update documentation.
3416
3417 2010-04-15  Richard Guenther  <rguenther@suse.de>
3418
3419         * Makefile.in (OBJS-common): Add gimple-fold.o.
3420         (gimple-fold.o): New rule.
3421         * tree.h (maybe_fold_offset_to_reference,
3422         maybe_fold_offset_to_address, maybe_fold_stmt_addition): Move
3423         prototypes ...
3424         * gimple.h: ... here.
3425         * tree-flow.h (fold_stmt, fold_stmt_inplace, get_symbol_constant_value,
3426         may_propagate_address_into_dereference): Move prototypes ...
3427         * gimple.h: ... here.
3428         * tree-ssa-ccp.c (get_symbol_constant_value,
3429         may_propagate_address_into_dereference, maybe_fold_offset_to_array_ref,
3430         maybe_fold_offset_to_component_ref, maybe_fold_offset_to_reference,
3431         maybe_fold_offset_to_address, maybe_fold_stmt_indirect,
3432         maybe_fold_stmt_addition, maybe_f