OSDN Git Service

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