OSDN Git Service

* cgraphbuild.c (cgraph_rebuild_references): New.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2010-05-11  Jan Hubicka  <jh@suse.cz>
2
3         * cgraphbuild.c (cgraph_rebuild_references): New.
4         (cgraph_mark_reachable_node): Accept references to optimized out
5         extern inlines.
6         * cgraph.h (cgraph_rebuild_references): Declare.
7         * tree-inline.c (tree_function_versioning): Use it.
8         * ipa-struct-reorg.c (do_reorg_for_func): Likewise.
9
10 2010-05-11  Jan Hubicka  <jh@suse.cz>
11
12         * cgraph.c: Include ipa-utils.h
13         (cgraph_create_virtual_clone): Update references.
14         * Makefile.in (cgraph.o): Add dependency at ipa-utils.h
15
16 2010-05-11  Christian Borntraeger  <borntraeger@de.ibm.com>
17
18         * tree-ssa-loop-prefetch.c (prune_ref_by_group_reuse): Reset
19         prefetch_before to PREFETCH_ALL if to accesses "meet" beyond
20         cache size.
21
22 2010-05-11  Christian Borntraeger  <borntraeger@de.ibm.com>
23
24         * tree-ssa-loop-prefetch.c: Add debug for dropped prefetches.
25
26 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
27
28         * gcc.c (execute): For -### don't quote arguments that
29         contain just alphanumerics and _/-. characters.
30         * doc/invoke.texi: Document that change for -###.
31
32         PR debug/44023
33         * df-problems.c (struct dead_debug): Add to_rescan field.
34         (dead_debug_init): Clear to_rescan field.
35         (dead_debug_finish): Rescan all debug insns in to_rescan
36         bitmap and free the bitmap.
37         (dead_debug_insert_before): Instead of rescanning debug insns
38         immediately queue their rescanning until dead_debug_finish.
39         (df_note_bb_compute): After dead_debug_add do continue instead
40         of break.
41
42 2010-05-10  Jakub Jelinek  <jakub@redhat.com>
43
44         PR debug/44028
45         * haifa-sched.c (schedule_insn): When clearing INSN_VAR_LOCATION_LOC,
46         clear also INSN_REG_USE_LIST.
47
48 2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
49
50         * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Undef.
51
52 2010-05-10  Jan Hubicka  <jh@suse.cz>
53
54         * lto-stramer-out.c (produce_asm_for_decls): Correct accidentally commited change.
55
56 2010-05-10  Jan Hubicka  <jh@suse.cz>
57
58         * passes.c (ipa_write_summaries_1, ipa_write_optimization_summaries): Allocate
59         encoders.
60         * lto-section-out.c (lto_new_out_decl_state): Do not allocate it here.
61         * lto-streamer.c (lto_streamer_cache_insert_1): Use alloc pool.
62         (lto_streamer_cache_create): Init alloc pool.
63         (lto_streamer_cache_delete): Free alloc pool.
64         * lto-streamer.h: Include alloc pool.
65         (lto_streamer_cache_d): Use alloc pool.
66         * lto-stramer-out.c (produce_asm_for_decls): Delete fn_out_states.
67
68 2010-05-10  Jan Hubicka  <jh@suse.cz>
69
70         * Makefile.in (cgraphbuild.o): Add dependency on except.h.
71         * cgraphbuild.c: Include except.h
72         (record_type_list, record_eh_tables): New function.
73         (build_cgraph_edges, rebuild_cgraph_edges): Use it.
74
75 2010-05-10  Jan Hubicka  <jh@suse.cz>
76
77         * crtstuff.c (force_to_data, __do_global_dtors_aux_fini_array_entry,
78         __frame_dummy_init_array_entry, force_to_data): Attribute as used
79         rather than unused.
80
81 2010-05-10  Michael Matz  <matz@suse.de>
82
83         * tree-ssa-reassoc.c (undistribute_ops_list): Use create_tmp_reg.
84         (can_reassociate_p): Use FLOAT_TYPE_P.
85         * tree-vectorizer.h (vect_is_simple_reduction): Rename to ...
86         (vect_force_simple_reduction): ... this.
87         * tree-parloops.c (gather_scalar_reductions): Use
88         vect_force_simple_reduction.
89         * tree-vect-loop.c (vect_is_simple_reduction_1): Rename from
90         vect_is_simple_reduction, add modify argument, if true rewrite
91         "a-b" into "a+(-b)".
92         (vect_is_simple_reduction, vect_force_simple_reduction): New
93         functions.
94         (vect_analyze_scalar_cycles_1): Use vect_force_simple_reduction.
95
96 2010-05-10  H.J. Lu  <hongjiu.lu@intel.com>
97             Vladimir Makarov  <vmakarov@redhat.com>
98
99         PR rtl-optimization/44012
100         * ira-build.c (remove_unnecessary_allocnos): Nullify
101         regno_allocno_map of the removed allocno.
102
103 2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
104
105         * configure.ac (gcc_cv_ld_eh_gc_sections): Redirect objdump errors
106         to /dev/null.
107         * configure: Regenerate.
108
109 2010-05-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
110
111         * config/sol2.c (solaris_assemble_visibility): Declare decl, vis
112         unused.
113         Define visibility_types, name, type inside HAVE_GAS_HIDDEN.
114         * configure.ac (gcc_cv_ld_hidden): Explain stages of visibility
115         support in Sun ld.
116         * configure: Regenerate.
117
118 2010-05-10  Richard Guenther  <rguenther@suse.de>
119
120         * lto-symtab.c (lto_symtab_entry_marked_p): Make entry
121         marked if the entry identifier is marked.
122
123 2010-05-10  Richard Guenther  <rguenther@suse.de>
124
125         * c-common.c (struct c_common_attributes): Add fnspec attribute.
126         (handle_fnspec_attribute): New function.
127         * gimple.h (gimple_call_return_flags): Declare.
128         (gimple_call_arg_flags): Likewise.
129         * gimple.c (gimple_call_arg_flags): New function.
130         (gimple_call_return_flags): Likewise.
131         * tree.h (EAF_DIRECT, EAF_NOCLOBBER, EAF_NOESCAPE, EAF_UNUSED):
132         New argument flags.
133         (ERF_RETURN_ARG_MASK, ERF_RETURNS_ARG, ERF_NOALIAS): New function
134         return value flags.
135         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Skip unused args.
136         * tree-ssa-structalias.c (make_constraint_from_heapvar): Split
137         main work to ...
138         (make_heapvar_for): ... this new function.
139         (handle_rhs_call): Handle fnspec attribute argument specifiers.
140         (handle_lhs_call): Likewise.
141         (find_func_aliases): Adjust.
142
143 2010-05-10  Richard Guenther  <rguenther@suse.de>
144
145         PR tree-optimization/44050
146         * tree-inline.c (tree_function_versioning): Clone the ipa-pta flag.
147
148 2010-05-10  Wei Guozhi  <carrot@google.com>
149
150         PR target/42879
151         * config/arm/thumb2.md (thumb2_tlobits_cbranch): New insn pattern.
152
153 2010-05-09  Joseph Myers  <joseph@codesourcery.com>
154
155         PR c/10676
156         * c-typeck.c (lookup_field): Take a type directly.  Update
157         recursive calls.
158         (build_component_ref): Update call to lookup_field.
159         (set_init_label): Use lookup_field to find initialized field.
160         Handle returned list of fields like a sequence of designators.
161
162 2010-05-09  Richard Guenther  <rguenther@suse.de>
163
164         PR middle-end/44024
165         * fold-const.c (tree_single_nonzero_warnv_p): Properly
166         handle &FUNCTION_DECL.
167
168 2010-05-09  Joseph Myers  <joseph@codesourcery.com>
169
170         PR c/4784
171         * c-decl.c (detect_field_duplicates_hash): New.  Handle anonymous
172         structures and unions recursively.
173         (detect_field_duplicates): Move duplicate detection with a hash to
174         detect_field_duplicates_hash.  Always use a hash if anonymous
175         structures or unions are present.
176         * doc/extend.texi (Unnamed Fields): Document that duplicate fields
177         give errors.
178
179 2010-05-09  H.J. Lu  <hongjiu.lu@intel.com>
180
181         PR target/44046
182         * config/i386/driver-i386.c (host_detect_local_cpu): Properly
183         detect Atom, Core 2 and Core i7.
184
185 2010-05-09  Richard Guenther  <rguenther@suse.de>
186
187         * gcc.c (store_arg): Handle temporary file deletion for
188         joined arguments.
189
190 2010-05-09  Richard Guenther  <rguenther@suse.de>
191
192         PR middle-end/44043
193         * ipa-inline.c (estimate_function_body_sizes): Return after
194         disregarding inline limits.
195
196 2010-05-09  Richard Guenther  <rguenther@suse.de>
197
198         * gcc.c (store_arg): Revert last change.
199
200 2010-05-08  Sandra Loosemore  <sandra@codesourcery.com>
201
202         PR middle-end/28685
203         * tree-ssa-reassoc.c (eliminate_redundant_comparison): New function.
204         (optimize_ops_list): Call it.
205
206 2010-05-08  Richard Guenther  <rguenther@suse.de>
207
208         PR tree-optimization/44030
209         * tree-ssa-pre.c (eliminate): Copy NECESSARY flag.  Set
210         NECESSARY flag if we propagate from a inserted expression.
211
212 2010-05-08  Eric Botcazou  <ebotcazou@adacore.com>
213
214         * gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of
215         domain types as equal if they are both PLACEHOLDER_EXPRs.
216
217 2010-05-08  Richard Guenther  <rguenther@suse.de>
218
219         * lto-wrapper.c (run_gcc): Remove linker output from
220         command line for LTRANS invocation.
221
222 2010-05-07  Steven Bosscher  <steven@gcc.gnu.org>
223
224         * config.gcc (i[34567]86-*-darwin*, x86_64-*-darwin*): Add
225         lto-macho as lto_binary_reader.
226         * target.h (struct gcc_target): New hooks lto_start and lto_end.
227         * target-def.h (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Define.
228         * cgraphunit.c (ipa_passes): Wrap LTO assembler output generation
229         in lto_start and lto_end calls.
230         (is_elf_or_coff): Rename to maybe_lto_object_file.  Add Mach-O
231         magic numbers.
232         (scan_prog_file): Update is_elf_or_coff call.
233         * doc/tm.text (TARGET_ASM_LTO_START, TARGET_ASM_LTO_END): Document.
234
235         * collect2.c (main): Fix enum comparison.
236
237         * config/darwin-protos.h (darwin_asm_lto_start, darwin_asm_lto_end):
238         Add prototypes.
239         * darwin9.h (LINK_COMMAND_SPEC): Pass -flto and -fwhopr to the linker.
240         * darwin.h (LINK_COMMAND_SPEC): Likewise.  Define TARGET_ASM_LTO_START
241         and TARGET_ASM_LTO_END.
242         * darwin.c: Include obstack.h and lto-streamer.h.
243         (lto_section_names_offset, lto_section_names_obstack,
244         lto_asm_out_file, lto_asm_out_name, saved_asm_out_file): New static
245         global variables.
246         (LTO_SEGMENT_NAME, LTO_NAMES_SECTION): New defines.
247         (darwin_asm_lto_start): New function.  Redirect output to asm_out_file
248         to a temporary file.
249         (darwin_asm_lto_end): New function.  Restore asm_out_file.
250         (darwin_asm_named_section): For LTO sections, replace the name with
251         the offset of the section name in a string table, and build this
252         table.
253         (darwin_file_start): Initialize global vars for LTO support.
254         (darwin_file_end): If output to asm_out_file was redirected, append it
255         to the proper asm_out_file here.  Add the section names section.
256
257 2010-05-07  Steven Bosscher  <steven@gcc.gnu.org>
258
259         * c-pragma.c (pending_weak_d, pending_weak): New.
260         (pending_weaks): Change the type to VEC((pending_weak,gc) *.
261         (maybe_apply_pragma_weak, maybe_apply_pending_pragma_weaks,
262         handle_pragma_weak): Update the uses of pending_weaks.
263
264 2010-05-07  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
265
266         PR documentation/44016
267         * doc/standards.texi (Standards): Link to unversioned
268         cxx0x_status.html page.
269
270 2010-05-07  Iain Sandoe <iains@gcc.gnu.org>
271
272         PR target/43708
273         * config/darwin-c.c (darwin_pragma_unused): Set DECL_READ_P
274         in addition to TREE_USED, to avoid "set but unused" warnings.
275
276 2010-05-07  Changpeng Fang  <changpeng.fang@amd.com>
277
278         * tree-ssa-loop-prefetch.c (TRIP_COUNT_TO_AHEAD_RATIO): New.
279         (is_loop_prefetching_profitable): Do not insert prefetches
280         when the trip count is not at least TRIP_COUNT_TO_AHEAD_RATIO
281         times the prefetch ahead distance.
282
283 2010-05-07  Changpeng Fang  <changpeng.fang@amd.com>
284
285         * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable):
286         Account for loop unrolling in the insn-to-prefetch ratio heuristic.
287         (loop_prefetch_arrays): Pass to is_loop_prefetching_profitable
288         the unroll_factor.
289
290 2010-05-07  Changpeng Fang  <changpeng.fang@amd.com>
291
292         * tree-ssa-loop-prefetch.c (is_loop_prefetching_profitable): Dump
293         a diagnostic info when the insn-to-mem ratio is too small.
294
295 2010-05-07  Richard Guenther <rguenther@suse.de>
296
297         * gcc.c (LINK_COMMAND_SPEC): Provide a resolution file to
298         the linker plugin.
299         (store_arg): Queue temp_filename for deletion instead of
300         the whole argument.
301
302 2010-05-07  Richard Guenther  <rguenther@suse.de>
303
304         * lto-wrapper.c (DUMPBASE_SUFFIX): Define.
305         (run_gcc): Handle LTRANS phase invocation.
306         * collect2.c (maybe_run_lto_and_relink): Do not set WPA_SAVE_LTRANS.
307
308 2010-05-07  Jakub Jelinek  <jakub@redhat.com>
309
310         * tree.h (TREE_ADDRESSABLE): Adjust comment to say that
311         this is also meaningful on PARM_DECLs and RESULT_DECLs.
312
313 2010-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
314
315         * config/mips/iris6.h (LINK_SPEC): Don't pass -init, -fini with -r.
316
317 2010-05-07  Richard Guenther  <rguenther@suse.de>
318
319         PR tree-optimization/44020
320         * tree-ssa-pre.c (execute_pre): Do not remove dead inserted
321         code when PRE is not yet initialized.
322
323 2010-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
324
325         * config/mips/dbxmdebug.h: Remove.
326         * config.gcc (mips-sgi-irix6.5*): Remove mips/dbxmdebug.h.
327
328 2010-05-07  Shujing Zhao  <pearly.zhao@oracle.com>
329
330         * c-typeck.c (build_binary_op): Warn ordered comparison of pointer
331         with null pointer and also warn about ordered comparison of zero with
332         pointer if -Wextra.
333
334 2010-05-05  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>
335
336         * graphite-blocking.c
337         (pbb_strip_mine_profitable_p): Replace Value with mpz_t.
338         * graphite-clast-to-gimple.c
339         (clast_to_gcc_expression): Same.
340         (precision_for_value): Same.
341         (precision_for_interval): Same.
342         (gcc_type_for_interval): Same.
343         (graphite_create_new_guard): Same.
344         (compute_bounds_for_level): Same.
345         (graphite_create_new_loop_guard): Same.
346         * graphite-interchange.c
347         (build_linearized_memory_access): Same.
348         (pdr_stride_in_loop): Same.
349         (memory_strides_in_loop_1): Same.
350         (memory_strides_in_loop): Same.
351         (extend_scattering): Same.
352         (psct_scattering_dim_for_loop_depth): Same.
353         (pbb_number_of_iterations): Same.
354         * graphite-poly.h
355         (debug_iteration_domains): Same.
356         * graphite-ppl.c
357         (new_Cloog_Domain_from_ppl_Pointset_Powerset): Same.
358         (ppl_set_inhomogeneous_gmp): Same.
359         (ppl_strip_loop): Same.
360         (ppl_lexico_compare_linear_expressions): Same.
361         (ppl_read_polyhedron_matrix): Same.
362         (ppl_max_for_le_pointset): Same.
363         * graphite-ppl.h
364         (ppl_read_polyhedron_matrix): Same.
365         (tree_int_to_gmp): Same.
366         (gmp_cst_to_tree): Same.
367         (ppl_set_inhomogeneous): Same.
368         (ppl_set_inhomogeneous_tree): Same.
369         (ppl_set_coef): Same.
370         (ppl_set_coef_tree): Same.
371         * graphite-sese-to-poly.c
372         (build_pbb_scattering_polyhedrons): Same.
373         (build_scop_scattering): Same.
374         (scan_tree_for_params_right_scev): Same.
375         (scan_tree_for_params): Same.
376         (find_params_in_bb): Same.
377         (find_scop_parameters): Same.
378         (add_upper_bounds_from_estimated_nit): Same.
379         (build_loop_iteration_domains): Same.
380         (add_condition_to_domain): Same.
381         (pdr_add_memory_accesses): Same.
382
383 2010-05-05  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>
384
385         * graphite-blocking.c (pbb_strip_mine_profitable_p): Resolve
386         CLooG's value_* macros to their respective mpz_* counterparts.
387         * graphite-clast-to-gimple.c (clast_to_gcc_expression): Same.
388         (graphite_create_new_loop_guard): Same.
389         * graphite-interchange.c (build_linearized_memory_access): Same.
390         (pdr_stride_in_loop): Same.
391         (memory_strides_in_loop_1): Same.
392         (1st_interchange_profitable_p): Same.
393         * graphite-poly.c (extend_scattering): Same.
394         (psct_scattering_dim_for_loop_depth): Same.
395         (pbb_number_of_iterations): Same.
396         (pbb_number_of_iterations_at_time): Same.
397         * graphite-poly.h (new_1st_loop): Same.
398         * graphite-ppl.c (cloog_matrix_to_ppl_constraint): Same.
399         (oppose_constraint): Same.
400         (insert_constraint_into_matrix): Same.
401         (ppl_set_inhomogeneous_gmp): Same.
402         (ppl_set_coef_gmp): Same.
403         (ppl_strip_loop): Same.
404         (ppl_lexico_compare_linear_expressions): Same.
405         (ppl_max_for_le_pointset): Same.
406         (ppl_min_for_le_pointset): Same.
407         (ppl_build_realtion): Same.
408         * graphite-ppl.h (gmp_cst_to_tree): Same.
409         (ppl_set_inhomogeneous): Same.
410         (ppl_set_inhomogeneous_tree): Same.
411         (ppl_set_coef): Same.
412         (ppl_set_coef_tree): Same.
413         * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Same.
414         (build_scop_scattering): Same.
415         (add_value_to_dim): Same.
416         (scan_tree_for_params_right_scev): Same.
417         (scan_tree_for_params_int): Same.
418         (scan_tree_for_params): Same.
419         (find_params_in_bb): Same.
420         (find_scop_parameters): Same.
421         (add_upper_bounds_from_estimated_nit): Same.
422         (build_loop_iteration_domains): Same.
423         (create_linear_expr_from_tree): Same.
424         (add_condition_to_domain): Same.
425         (pdr_add_memory_accesses): Same.
426
427 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
428             Jason Merrill  <jason@redhat.com>
429
430         * c-common.c (c_common_reswords): Add nullptr.
431         * c-common.h: Add RID_NULLPTR.  Reorganize C++0x rids.
432         * dwarf2out.c (is_base_type): Handle NULLPTR_TYPE.
433         (gen_type_die_with_usage): Likewise.
434         * dbxout.c (dbxout_type): Likewise.
435         * sdbout.c (plain_type_1): Likewise.
436
437 2010-05-06  Jason Merrill  <jason@redhat.com>
438
439         * gimplify.c (gimplify_expr): Set GS_ALL_DONE when appropriate.
440         Don't change GS_OK to GS_ALL_DONE.  Make sure that all cases set
441         ret appropriately.
442         (gimplify_compound_lval): Return GS_ALL_DONE as appropriate.
443
444         * gimplify.c (gimplify_modify_expr_rhs): Don't return GS_OK for
445         stripping WITH_SIZE_EXPR.
446         (gimplify_expr) [MODIFY_EXPR]: Trust GS_OK even if the rhs didn't
447         change.
448
449 2010-05-06  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
450
451         * config.gcc: Removed mips-sgi-irix5*, mips-sgi-irix6.[0-4]* from
452         list of obsolete configurations.
453         Disabled check for obsolete configurations.
454         (mips-sgi-irix[56]*): Restrict to mips-sgi-irix6.5*.
455         Removed support for previous versions.
456         * config/mips/iris.h: Removed.
457         * config/mips/iris5.h: Removed.
458         * config/mips/iris6.h: Merged old iris.h contents.
459         (TARGET_IRIX): Removed.
460         (DRIVER_SELF_SPECS): Removed mabi=32.
461         (IDENT_ASM_OP): Removed undef.
462         (STARTFILE_SPEC): Removed mabi=32.
463         (ENDFILE_SPEC): Likewise.
464         (IRIX_SUBTARGET_LINK_SPEC): Likewise.
465         (MACHINE_TYPE): Update for IRIX 6.5.
466         * config/mips/mips.c (mips_build_builtin_va_list): Replaced
467         TARGET_IRIX by TARGET_IRIX6.
468         (mips_file_start): Likewise.
469         (mips_output_external): Remove IRIX 5/6 O32 support.
470         (mips_output_function_prologue): Likewise.
471         * config/mips/mips.h (TARGET_GPWORD): Replaced TARGET_IRIX by
472         TARGET_IRIX6.
473         (TARGET_CPU_CPP_BUILTINS): Likewise.
474         (TARGET_IRIX): Removed.
475         * config/mips/t-iris6 (MULTILIB_OPTIONS): Removed mabi=32.
476         (MULTILIB_DIRNAMES): Removed 32.
477         (MULTILIB_OSDIRNAMES): Removed ../lib.
478         * doc/install.texi (Prerequisites): Don't reference IRIX before 6.5.
479         (Specific, mips-sgi-irix5): Document removal.
480         (Specific, mips-sgi-irix6): Document IRIX 6.[0-4] and O32 ABI removal.
481         Remove references to older IRIX 6 releases and the O32 ABI.
482
483 2010-05-06  Jakub Jelinek  <jakub@redhat.com>
484
485         PR bootstrap/43994
486         * df-problems.c (dead_debug_insert_before): Use *DF_REF_REAL_LOC
487         instead of DF_REF_REAL_REG.
488
489 2010-05-06  Dave Korn  <dave.korn.cygwin@gmail.com>
490
491         PR target/43888
492         * config/i386/winnt.c (i386_pe_binds_local_p): Tweak weak symbol
493         handling to still return true for x64 targets.
494
495 2010-05-06  Maxim Kuvyrkov  <maxim@codesourcery.com>
496
497         * config/m68k/uclinux.h (LIB_SPEC): Bring in sync with config/linux.h.
498
499 2010-05-06  Jan Hubicka  <jh@suse.cz>
500
501         PR tree-optimization/43791
502         * ipa-inline.c (update_caller_keys): Remove bogus
503         disregard_inline_limits check.
504
505 2010-05-06  Michael Matz  <matz@suse.de>
506
507         PR tree-optimization/43984
508         * tree-ssa-pre.c (inserted_phi_names): Remove.
509         (inserted_exprs): Change to bitmap.
510         (create_expression_by_pieces): Set bits, don't append to vector.
511         (insert_into_preds_of_block): Don't handle inserted_phi_names.
512         (eliminate): Don't look at inserted_phi_names, remove deleted
513         insns from inserted_exprs.
514         (remove_dead_inserted_code): Adjust to use bitmaps instead of vectors.
515         (init_pre, fini_pre): Allocate and free bitmaps.
516         (execute_pre): Insert insns on edges before elimination.
517
518 2010-05-06  Maxim Kuvyrkov  <maxim@codesourcery.com>
519
520         * tree.c (initializer_zerop): Handle STRING_CST.
521
522 2010-05-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
523
524         PR 40989
525         * doc/invoke.texi (Wimplicit): Document as C only.
526         * opts.c (common_handle_option): Add argument kind.
527         (handle_option): Rename as read_cmdline_option. Factor out code to...
528         (handle_option): ... here. New.
529         (handle_options): Rename as read_cmdline_options.
530         (decode_options): Update call.
531         (set_option): Use option index instead of option pointer. Classify
532         diagnostics correctly.
533         (enable_warning_as_error): Call handle_option.
534         * opts.h (set_option): Update declaration.
535         (handle_option): Declare.
536         * langhooks.h (struct lang_hooks): Add argument kind to handle_option.
537         * c.opt (Wimplicit,Wimplicit-int): Initialize to -1.
538         * c-opts.c (set_Wimplicit): Delete.
539         (c_family_lang_mask): New static constant.
540         (c_common_handle_option): Add argument kind. Use handle_option
541         instead of set_Wimplicit.
542         (c_common_post_options): warn_implicit and warn_implicit_int
543         are disabled by default.
544         * c-common.c (warn_implicit): Do not define here.
545         * c-common.h (warn_implicit): Do not declare here.
546         (c_common_handle_option): Update declaration.
547         * lto-opts.c (lto_reissue_options): Update call to set_option.
548
549 2010-05-06  Richard Guenther  <rguenther@suse.de>
550
551         PR tree-optimization/43571
552         * domwalk.c (walk_dominator_tree): Walk the dominator
553         sons in more optimal order.
554
555 2010-05-06  Richard Guenther  <rguenther@suse.de>
556
557         PR tree-optimization/43934
558         * tree-ssa-loop-im.c (movement_possibility): Handle PHI nodes.
559         (stmt_cost): Likewise.
560         (extract_true_false_args_from_phi): New helper.
561         (determine_max_movement): For PHI nodes verify we can hoist them
562         and compute their cost.
563         (determine_invariantness_stmt): Handle PHI nodes.
564         (move_computations_stmt): Likewise.  Hoist PHI nodes in
565         if-converted form using COND_EXPRs.
566         (move_computations): Return TODO_cleanup_cfg if we hoisted PHI nodes.
567         (tree_ssa_lim): Likewise.
568         * tree-flow.h (tree_ssa_lim): Adjust prototype.
569         * tree-ssa-loop.c (tree_ssa_loop_im): Return todo.
570
571 2010-05-06  Richard Guenther  <rguenther@suse.de>
572
573         PR tree-optimization/43987
574         * tree-ssa-structalias.c (could_have_pointers): For possibly
575         address-taken variables force pointers to be recorded.
576         (create_variable_info_for_1): Likewise.
577         (push_fields_onto_fieldstack): Pass in wheter all fields
578         must have pointers.
579         (find_func_aliases): Query types instead of vars whether
580         they contain pointers where appropriate.
581
582 2010-05-06  Jan Hubicka  <jh@suse.cz>
583
584         * cgraphbuild.c (record_reference_ctx): Add varpool_node.
585         (record_reference, mark_address, mark_load, mark_store): Record
586         references.
587         (record_references_in_initializer): Update call of record_references.
588         (rebuild_cgraph_edges): Remove all references before rebuiding.
589         * cgraph.c (cgraph_create_node): Clear ref list.
590         (cgraph_remove_node): Remove references.
591         (dump_cgraph_node): Dump references.
592         (cgraph_clone_node): Clone references.
593         * cgraph.h: Include ipa-ref.h and ipa-ref-inline.h
594         (struct cgraph_node, varpool_node): Add ref_lst.
595         * ipa-ref.c: New file.
596         * ipa-ref.h: New file.
597         * ipa-ref-inline.h: New file.
598         * lto-cgraph.c (output_varpool): Take cgrag node set argument.
599         (referenced_from_other_partition_p): New function.
600         (lto_output_varpool_node): Take set arugment; call
601         referenced_from_other_partition.
602         (lto_output_ref): New.
603         (add_references): New.
604         (output_refs): New.
605         (output_cgraph): Compute boundary based on references; output refs.
606         (output_varpool): Accept cgraph_node_set argument.
607         (input_ref): New.
608         (input_refs): New.
609         (input_cgraph): Call input_refs.
610         * lto-section-in.c (lto_section_name): Add refs.
611         * Makefile.in: (cgraph.h): Include ipa-ref.h and ipa-ref-inline.h
612         (ipa-ref.o): New file.
613         * varpool.c (varpool_node): Clear ipa ref list.
614         (varpool_remove_node): Remove references.
615         (dump_varpool_node): Dump references.
616         (varpool_assemble_decl): Only compile finalized ones.
617         (varpool_extra_name_alias): Initialize ref list.
618         * lto-streamer.c (lto-get_section_name): Add .refs section.
619         * lto-streamer.h (lto_section_type): Add LTO_section_refs.
620         (referenced_from_other_partition_p): Declared.
621
622 2010-05-06  Ira Rosen  <irar@il.ibm.com>
623
624         PR tree-optimization/43901
625         * tree-vect-stmts.c (vectorizable_call): Assert that vector
626         type is not NULL if it's transformation phase, and return
627         FALSE if it's analysis.
628         (vectorizable_conversion, vectorizable_operation,
629         vectorizable_type_demotion, vectorizable_type_promotion): Likewise.
630
631 2010-05-05  Andrew Pinski  <andrew.pinski@caviumnetworks.com>
632
633         * config/mips/mips.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
634         Delete.
635         * config/mips/mips.c (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P):
636         New define.
637         * config/mips/mips-protos.h
638         (mips_small_register_classes_for_mode_p): Delete prototype.
639
640 2010-05-06  Bernd Schmidt  <bernds@codesourcery.com>
641
642         * config/arm/arm.h (MAX_LDM_STM_OPS): New macro.
643         * config/arm/arm.c (multiple_operation_profitable_p,
644         compute_offset_order): New static functions.
645         (load_multiple_sequence, store_multiple_sequence): Use them.
646         Replace constant 4 with MAX_LDM_STM_OPS.  Compute order[0] from
647         memory offsets, not register numbers.
648         (emit_ldm_seq, emit_stm_seq): Replace constant 4 with MAX_LDM_STM_OPS.
649
650 2010-05-05  Steven Bosscher  <steven@gcc.gnu.org>
651
652         * stor-layout.c (pending_sizes): Change the type to VEC(tree,gc) *.
653         (get_pending_sizes, put_pending_size, put_pending_sizes):
654         Update the uses of pending_sizes.
655         * c-decl.c (store_parm_decls): Likewise.
656         * c-tree.h (struct c_arg_info): Likewise.
657         * tree.h: Update the prototype for get_pending_sizes and
658         put_pending_sizes.
659
660 2010-05-05  Jason Merrill  <jason@redhat.com>
661
662         PR debug/43370
663         * c-common.c (handle_aligned_attribute): Respect
664         ATTR_FLAG_TYPE_IN_PLACE.
665
666         PR testsuite/43758
667         * target.h (struct gcc_target): Add attribute_takes_identifier_p.
668         * target_def.h (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
669         (TARGET_INITIALIZER): Use it.
670         * c-common.c (attribute_takes_identifier_p): Call it.
671         * c-common.h: Update prototype.
672         * config/rs6000/rs6000.c (rs6000_attribute_takes_identifier_p): New.
673         (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Define.
674
675 2010-05-05  Jakub Jelinek  <jakub@redhat.com>
676
677         PR debug/43950
678         * dwarf2out.c (gen_compile_unit_die): Add DW_AT_identifier_case
679         DW_ID_down_case for Fortran compilation units.
680
681 2010-05-05  Jan Hubicka  <jh@suse.cz>
682
683         * lto-cgraph.c (lto_output_varpool_node, input_varpool_node): Correctly
684         handle aliases.
685
686 2010-05-05  Eric Botcazou  <ebotcazou@adacore.com>
687
688         * gimplify.c (gimplify_return_expr): Gimplify the size expressions of
689         a variable-sized RESULT_DECL.
690
691 2010-05-05  Maxim Kuvyrkov  <maxim@codesourcery.com>
692
693         * doc/invoke.texi (-mfix-cortex-m3-ldrd): Move from ARC section to ARM.
694
695 2010-05-05  Jason Merrill  <jason@redhat.com>
696
697         PR c++/43787
698         * gimplify.c (gimplify_expr): Keep working if gimplify_modify_expr
699         returns GS_OK.
700         (gimplify_modify_expr_rhs): Return GS_OK if anything changed.
701
702 2010-05-05  Alexandre Oliva  <aoliva@redhat.com>
703             Jakub Jelinek  <jakub@redhat.com>
704
705         PR debug/43478
706         * df-problems.c (struct dead_debug_use, struct dead_debug): New.
707         (dead_debug_init, dead_debug_finish): New functions.
708         (dead_debug_add, dead_debug_insert_before): Likewise.
709         (df_note_bb_compute): Initialize a dead_debug object, add dead
710         debug uses to it, insert debug bind insns before death insns,
711         reset debug insns that refer to pending uses at the end.
712         * rtl.h (make_debug_expr_from_rtl): New prototype.
713         * varasm.c (make_debug_expr_from_rtl): New function.
714
715 2010-05-05  Jan Hubicka  <jh@suse.cz>
716
717         * lto-cgraph.c (output_varpool): Forward declare; work on encoder.
718         (lto_varpool_encoder_new, lto_varpool_encoder_delete,
719         lto_varpool_encoder_encode, lto_varpool_encoder_lookup,
720         lto_varpool_encoder_deref, lto_varpool_encoder_size,
721         lto_varpool_encoder_encode_initializer_p,
722         lto_set_varpool_encoder_encode_initializer): New functions.
723         (lto_output_cgraph): Take vset parameter too; compute varpool encoder;
724         call output_varpool.
725         (input_varpool_node): Do not always set analyzed.
726         (input_cgraph_1): Return vector of cgraph nodes.
727         (input_varpool_1): Return vector of varpools.
728         (input_cgraph): Free the vectors.
729         * lto-streamer-out.c (lto_output_ts_decl_common_tree_pointers):
730         output only initializers needed.
731         (lto_output): Only call output_cgraph.
732         (produce_asm_for_decls): Call lto_varpool_encoder_delete.
733         * lto-section-out.c (lto_new_out_decl_state): Initialize
734         state->varpool_node_encoder.
735         * lto-streamer.h (lto_varpool_encoder_d): New.
736         (lto_out_decl_state, lto_file_decl_data): Add varpool_node_encoder.
737         (lto_cgraph_encoder_delete, output_cgraph): Update prototype.
738         (lto_varpool_encoder_deref, lto_varpool_encoder_lookup,
739         lto_varpool_encoder_encode, lto_varpool_encoder_delete,
740         lto_varpool_encoder_encode_initializer_p, lto_varpool_encoder_new):
741         Declare.
742         (output_varpool, input_varpool): Remove declarations.
743
744 2010-05-05  Jan Hubicka  <jh@suse.cz>
745
746         * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Alias of variable
747         with body can prevail.
748
749 2010-05-05  Jan Hubicka  <jh@suse.cz>
750
751         * lto-symtab.c (lto_symtab_merge_decls_1): Prefer declarations with
752         size.
753
754 2010-05-05  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
755
756         * Makefile.in (build/gengtype.o): Add $(HASHTAB_H) to dependencies.
757
758         * gengtype.h (erro_at_line): Constify pos argument.
759
760         * gengtype.c: Include hashtab.h.
761         (enum gc_used): Document GC_MAYBE_POINTED_TO.
762         (error_at_line): Constify pos argument.
763         (do_typedef): Initialize p->opt field.
764         (get_file_gtfilename): Fix comment typo.
765         (struct walk_type_data): Constify line field.
766         (get_output_file_for_structure): New function.
767         (write_local_func_for_structure): Constify orig_s argument.
768         Use get_output_file_for_structure.
769         (write_func_for_structure): Use get_output_file_for_structure.
770         (INDENT): New define.
771         (dump_pair, dump_type, dump_type_list, dump_typekind)
772         (dump_gc_used, dump_options, dump_fileloc, dump_type_u_s)
773         (dump_type_u_a, dump_type_u_param_struct, dump_everything): New
774         functions.
775         (seen_types): New variable.
776         (main): New variable do_dump.  Process "-d" command line option.
777         Call dump_everything if dump requested.
778
779 2010-05-05  Jakub Jelinek  <jakub@redhat.com>
780
781         * var-tracking.c (var_debug_decl): Save DECL_DEBUG_EXPR value
782         in a temporary instead of invoking the macro multiple times.
783         (track_expr_p): Likewise.
784
785 2010-05-04  Neil Vachharajani <nvachhar@google.com>
786
787         * doc/invoke.texi (-Wcoverage-mismatch): Updated documentation as
788         per new semantics.
789         * opts.c (decode_options): Enable -Werror=coverage-mismatch.
790         * coverage.c (get_coverage_counts): Always emit a warning.  Adjust
791         conditions for printing notes.
792         * common.opt (-Wcoverage-mismatch): Allow negative, default to
793         true, update documentation.
794         * Makefile.in (coverage.o): Add dependence on DIAGNOSTIC_H and intl.h.
795
796 2010-05-04  Jakub Jelinek  <jakub@redhat.com>
797
798         PR c/43981
799         * c-parser.c (c_parser_direct_declarator_inner): Call mark_exp_read
800         on dimen.
801
802 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
803
804         PR target/43799
805         * config/i386/i386.md (sse_prologue_save): Clobber CC register.
806         (*sse_prologue_save_insn1): Likewise.
807         (SSE prologue save splitter): Likewise.
808
809 2010-05-04  Eric Botcazou  <ebotcazou@adacore.com>
810
811         * tree.c (free_lang_data_in_one_sizepos): New inline function.
812         (free_lang_data_in_type): Call it on TYPE_{MIN|MAX}_VALUE of numerical
813         types.  Call it on TYPE_SIZE and TYPE_SIZE_UNIT of all types.
814         (free_lang_data_in_decl): Call it on DECL_SIZE and DECL_SIZE_UNIT of
815         all decls.  Call it on DECL_FIELD_OFFSET of fields.
816         (find_decls_types_r): Follow DECL_VALUE_EXPR.
817         (iterative_hash_expr) <PLACEHOLDER_EXPR>: New case.
818
819 2010-05-04  Martin Jambor  <mjambor@suse.cz>
820
821         * tree-sra.c (build_access_from_expr_1): The first parameter type
822         changed to simple tree.
823         (build_access_from_expr): Likewise, gsi parameter was eliminated.
824         (scan_assign_result): Renamed to assignment_mod_result, enum elements
825         renamed as well.
826         (build_accesses_from_assign): Removed all parameters except for a
827         simple gimple statement.  Now returns a simple bool.
828         (scan_function): All non-analysis parts moved to separate functions
829         sra_modify_function_body and ipa_sra_modify_function_body.  Removed all
830         parameters and updated both callers.
831         (sra_modify_expr): Removed parameter data.
832         (sra_modify_function_body): New function.
833         (perform_intra_sra): Call sra_modify_function_body to modify the
834         function body.
835         (replace_removed_params_ssa_names): Parameter data changed into
836         adjustments vector.
837         (sra_ipa_modify_expr): Likewise.  Also removed unused parameter gsi and
838         changed the parameter dont_convert to convert with the opposite
839         meaning.
840         (sra_ipa_modify_assign): Parameter data changed into adjustments
841         vector, return value changed to bool.
842         (ipa_sra_modify_function_body): New function.
843         (sra_ipa_reset_debug_stmts): Updated a comment.
844         (modify_function): Use ipa_sra_modify_function_body to modify function
845         body.
846
847 2010-05-04  H.J. Lu  <hongjiu.lu@intel.com>
848
849         PR middle-end/43671
850         * alias.c (true_dependence): Handle the same VALUE in x and mem.
851         (canon_true_dependence): Likewise.
852         (write_dependence_p): Likewise.
853
854 2010-05-04  Jan Hubicka  <jh@suse.cz>
855
856         * Makefile.in (cgraphbuild.o): Add dependency on ipa-utils.h
857         * cgraphbuild.c: Include ipa-utils.h
858         (record_reference_ctx): New struct.
859         (record_reference): Simplify to work on initializers; not statements.
860         (mark_address, mark_load, mark_store): New.
861         (build_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
862         walk PHI nodes too.
863         (record_references_in_initializer): Update use of record_reference.
864         (rebuild_cgraph_edges): Simplify using walk_stmt_load_store_addr_ops;
865         walk PHI nodes too.
866
867 2010-05-04  Jan Hubicka  <jh@suse.cz>
868
869         * lto-symtab.c (lto_cgraph_replace_node): Do not remove edges;
870         node will be removed anyway.
871         (lto_varpool_replace_node): Allow also unanalyzed nodes;
872         relink aliases of node into prevailing node.
873         * varpool.c (varpool_remove_node): Remove aliases properly;
874         when removing node, remove all its aliases too; remove DECL_INITIAL
875         of removed node; ggc_free the varpool node.
876
877 2010-05-04  Richard Guenther  <rguenther@suse.de>
878
879         PR tree-optimization/43879
880         * tree-ssa-structalias.c (alias_get_name): Use
881         DECL_ASSEMBLER_NAME if available.
882         (create_function_info_for): Return the varinfo node.
883         (ipa_pta_execute): Associate same-body aliases and extra names
884         with their origin nodes varinfo.  Dump DECL_ASSEMBLER_NAME.
885
886 2010-05-04  Kaz Kojima  <kkojima@gcc.gnu.org>
887
888         * config/sh/sh.c (sh_small_register_classes_for_mode_p): Remove static.
889
890 2010-05-04  Mikael Pettersson  <mikpe@it.uu.se>
891
892         PR bootstrap/43964
893         * ira-color.c (assign_hard_reg): Declare rclass and add_cost
894         only if HONOR_REG_ALLOC_ORDER is not defined.
895
896 2010-05-04  Richard Guenther  <rguenther@suse.de>
897
898         PR tree-optimization/43949
899         * tree-vrp.c (extract_range_from_binary_expr): Only handle
900         TRUNC_MOD_EXPR.
901
902 2010-04-26  Jason Merrill  <jason@redhat.com>
903
904         * c.opt (-fstrict-enums): New.
905         * doc/invoke.texi (C++ Dialect Options): Document -fstrict-enums.
906
907 2010-05-03  David Ung <davidu@mips.com>
908             James E. Wilson  <wilson@codesourcery.com>
909
910         * config/mips/mips.c (mips_output_division): If GENERATE_DIVIDE_TRAPS,
911         emit the trap instruction before the divide for TUNE_74K.
912
913 2010-05-03  Steven Bosscher  <steven@gcc.gnu.org>
914
915         * doc/tm.texi (defmac SMALL_REGISTER_CLASSES): Remove.
916         (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): Add documentation,
917         based on the above, for new target hook.
918
919         * hooks.c (hook_bool_mode_true): New generic hook.
920         * hooks.h (hook_bool_mode_true): Add prototype.
921
922         * target.h (struct gcc_target): Add small_register_classes_for_mode_p
923         target hook.
924         * target-def.h (TARGET_SMALL_REGISTER_CLASSES_FOR_MODE_P): New default
925         target hook, set to hook_bool_mode_false.
926         * regs.h: Remove default definition of SMALL_REGISTER_CLASSES.
927         * reload.c (push_secondary_reload): Replace SMALL_REGISTER_CLASSES
928         with targetm.small_register_classes_for_mode_p.
929         (find_reusable_reload): Likewise.
930         (combine_reloads): Likewise.
931         * reload1.c (reload_as_needed): Likewise.
932         * cse.c (approx_reg_cost_1, hash_rtx_cb): Likewise.
933         * ifcvt.c (noce_process_if_block, check_cond_move_block,
934         dead_or_predicable): Likewise.
935         * regmove.c (optimize_reg_copy_1): Likewise.
936         * calls.c (prepare_call_address): Likewise.
937         (precompute_register_parameters): Likewise.
938
939         * config/sh/sh.h: Replace SMALL_REGISTER_CLASSES with new target
940         hook definition.
941         * config/sh/sh.c (sh_small_register_classes_for_mode_p): Add
942         implementation of the hook that considers all register classes
943         small except for SH64.
944         (sh_override_options): Use the new hook.
945         * config/sh/sh-protos.h (sh_small_register_classes_for_mode_p):
946         Add prototype.
947
948         * config/arm/arm.h: Replace SMALL_REGISTER_CLASSES with new target
949         hook definition.
950         * config/arm/arm.c (arm_small_register_classes_for_mode_p): Add
951         implementation of the hook that considers all register classes
952         small for THUMB1.
953         * config/arm/arm-protos.h (arm_small_register_classes_for_mode_p):
954         Add prototype.
955
956         * config/mips/mips.h: Replace SMALL_REGISTER_CLASSES with new target
957         hook definition.
958         * config/mips/mips.c (mips_small_register_classes_for_mode_p): Add
959         implementation of the hook that considers all register classes
960         small for MIPS16.
961         * config/mips/mips-protos.h (mips_small_register_classes_for_mode_p):
962         Add prototype.
963
964         * config/i386/i386.h: Replace SMALL_REGISTER_CLASSES with new target
965         hook definition.
966         * config/m32c/m32c.h: Likewise.
967         * config/pdp11/pdp11.h: Likewise.
968         * config/avr/avr.h: Likewise.
969         * config/xtensa/xtensa.h: Likewise.
970         * config/m68hc11/m68hc11.h: Likewise.
971         * config/mn10300/mn10300.h: Likewise.
972         * config/mcore/mcore.h: Likewise.
973         * config/h8300/h8300.h: Likewise.
974         * config/bfin/bfin.h: Likewise.
975
976         * config/iq2000/iq2000.h: Remove SMALL_REGISTER_CLASSES definition.
977         * config/rx/rx.h: Remove SMALL_REGISTER_CLASSES definition.
978
979 2010-05-03  Anatoly Sokolov  <aesok@post.ru>
980
981         * double-int.h (tree_to_double_int): Remove macro.
982         (double_int_to_tree, double_int_fits_to_tree_p): Move prototypes ...
983         * tree.h (double_int_to_tree, double_int_fits_to_tree_p): ... here.
984         (tree_to_double_int): New function.
985         * double-int.c (double_int_to_tree, double_int_fits_to_tree_p):
986         Move ...
987         * tree.c (double_int_to_tree, double_int_fits_to_tree_p): ... here.
988
989 2010-05-03  Richard Guenther  <rguenther@suse.de>
990
991         PR tree-optimization/43971
992         * tree-ssa-structalias.c (get_constraint_for_1): Fix
993         constraints in the !flag_delete_null_pointer_checks case.
994
995 2010-05-03  Jakub Jelinek  <jakub@redhat.com>
996
997         PR debug/43972
998         * config/i386/i386.c (ix86_delegitimize_address): Make sure the
999         result mode matches original rtl mode.
1000
1001 2010-05-03  Dave Korn  <dave.korn.cygwin@gmail.com>
1002
1003         PR target/43888
1004         * config/i386/winnt.c (i386_pe_binds_local_p): Handle weak decls.
1005
1006 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1007
1008         * config/i386/i386.c (ix86_target_string): Output 'flags', not 'isa',
1009         when processing flag options.
1010
1011 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1012
1013         * gcov-iov.c (main): Change format string placeholder
1014         from %#08x to 0x%08x.
1015         * genchecksum.c (dosum): Change format string placeholder
1016         from %#02x to 0x%02x.
1017
1018 2010-05-02  Richard Guenther  <rguenther@suse.de>
1019
1020         PR tree-optimization/43879
1021         * tree-tailcall.c (find_tail_calls): Clobbers also prevent tail calls.
1022
1023 2010-05-02  Bruno Haible  <bruno@clisp.org>
1024
1025         * doc/extend.texi (Function Attributes): Fix a typo.
1026
1027 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1028
1029         Revert:
1030         * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Change format string
1031         placeholder from 0x%x to %#x.
1032         (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
1033         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
1034         * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
1035         * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
1036         * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
1037         * config/i386/i386.c (ix86_target_string): Ditto.
1038         * config/i386/i386.c (output_pic_addr_const): Ditto.
1039         (print_operand): Ditto.
1040
1041 2010-05-02  Uros Bizjak  <ubizjak@gmail.com>
1042
1043         * vmsdbgout.c (ASM_OUTPUT_DEBUG_DATA1): Change format string
1044         placeholder from 0x%x to %#x.
1045         (ASM_OUTPUT_DEBUG_DATA1): Ditto.
1046         (ASM_OUTPUT_DEBUG_DATA4): Ditto.
1047         (ASM_OUTPUT_DEBUG_DATA): Ditto.
1048         (ASM_OUTPUT_DEBUG_ADDR_DATA): Ditto.
1049         (ASM_OUTPUT_DEBUG_DATA8): Ditto.
1050         * optc-gen.awk: Ditto.
1051         * hwint.h (HOST_WIDE_INT_PRINT_DOUBLE_HEX): Ditto.
1052         (HOST_WIDE_INT_PRINT_HEX): Ditto.
1053         (HOST_WIDEST_INT_PRINT_HEX): Ditto.
1054         (HOST_WIDEST_INT_PRINT_DOUBLE_HEX): Ditto.
1055
1056 2010-05-01  Anatoly Sokolov  <aesok@post.ru>
1057
1058         * target.h (struct calls): Add function_value_regno_p field.
1059         * target-def.h (TARGET_FUNCTION_VALUE_REGNO_P): Define.
1060         (TARGET_INITIALIZER): Use TARGET_FUNCTION_VALUE_REGNO_P.
1061         * targhooks.c (default_function_value_regno_p): New function.
1062         * targhooks.h (default_function_value_regno_p): Declare function.
1063         * rtlanal.c (keep_with_call_p): Use function_value_regno_p hook.
1064         * builtins.c. (apply_result_size): (Ditto.).
1065         * combine.c. (likely_spilled_retval_p): (Ditto.).
1066         * mode-switching.c. Include 'target.h'.
1067         (create_pre_exit): Use function_value_regno_p hook.
1068         * Makefile.in (mode-switching.o): Add dependency on TARGET_H.
1069         * doc/tm.texi (FUNCTION_VALUE_REGNO_P,
1070         TARGET_FUNCTION_VALUE_REGNO_P): Revise documentation.
1071
1072         * config/i386/i386.h (TARGET_FUNCTION_VALUE_REGNO_P): Remove macro.
1073         * config/i386/i386.c (TARGET_FUNCTION_VALUE_REGNO_P): Define macro.
1074         (ix86_function_value_regno_p): Declare as static, change argument
1075         type to const unsigned int.
1076         * config/i386/i386-protos.h (ix86_function_value_regno_p): Remove.
1077
1078 2010-05-01  Richard Guenther  <rguenther@suse.de>
1079
1080         PR tree-optimization/43949
1081         * tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigned
1082         types.
1083         (extract_range_from_binary_expr): Handle *_MOD_EXPR.
1084
1085 2010-05-01  Anatoly Sokolov  <aesok@post.ru>
1086
1087         * rtl.h (CONST_DOUBLE_P): Define.
1088         (rtx_to_double_int): Declare.
1089         * emit-rtl.c (rtx_to_double_int): New function.
1090         * dwarf2out.c (insert_double): New function.
1091         (loc_descriptor, add_const_value_attribute): Clean up, use
1092         rtx_to_double_int and insert_double functions.
1093
1094 2010-05-01  Jonathan Wakely  <jwakely.gcc@gmail.com>
1095
1096         * doc/extend.texi (Inline): Add missing return keyword to examples.
1097         (Function Attributes, Variable Attributes, Pragmas): Hyphenate
1098         "command-line".
1099
1100 2010-04-30  Eric Botcazou  <ebotcazou@adacore.com>
1101
1102         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Check the alignment of
1103         the variable part of the offset as well.  Use highest_pow2_factor for
1104         all alignment checks.
1105
1106 2010-04-30  Richard Guenther  <rguenther@suse.de>
1107
1108         PR tree-optimization/43879
1109         * tree-ssa-structalias.c (type_could_have_pointers): Functions
1110         can have pointers.
1111
1112 2010-04-30  Jan Hubicka  <jh@suse.cz>
1113
1114         * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with
1115         varpool.
1116         (lto_symtab_merge_decls_1): Remove logic looking for an initializer.
1117
1118 2010-04-30  Jan Hubicka  <jh@suse.cz>
1119
1120         * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p):
1121         New.
1122         * lto-cgraph.c (input_cgraph): Remove call to lto_mark_file_for_ltrans.
1123         * lto-streamer.h (lto_file_decl_data): Remove needs_ltrans_p.
1124         (lto_file_needs_ltrans_p, lto_mark_file_for_ltrans,
1125         cgraph_node_set_needs_ltrans_p): Remove.
1126
1127 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
1128
1129         * sdbout.c: Include vec.h, do not include varray.h.
1130         (deferred_global_decls, sdbout_global_decl,
1131         sdbout_finish, sdbout_init): Use VEC instead of VARRAY.
1132         * toplev.c: Do not include varray.h.
1133         (dump_memory_report): Do not dump VARRAY statistics.
1134         * gengtype.c (open_base_file): Ignore varray.h.
1135         * Makefile.in: Update for abovementioned changes.
1136         Remove all traces of varray.c and varray.h.
1137         * varray.c: Remove file.
1138         * varray.h: Remove file.
1139
1140 2010-04-30  Jan Hubicka  <jh@suse.cz>
1141
1142         * lto-cgraph.c (lto_output_varpool_node): Always output constant pool
1143         references.
1144
1145 2010-04-30  Jan Hubicka  <jh@suse.cz>
1146
1147         * tree-profile.c (tree_init_ic_make_global_vars): Mark new decls as
1148         needed.
1149
1150 2010-04-30  Richard Guenther  <rguenther@suse.de>
1151
1152         * tree-ssa-structalias.c (get_constraint_for_1): Generate
1153         constraints for CONSTRUCTOR.
1154
1155 2010-04-30  Richard Guenther  <rguenther@suse.de>
1156
1157         PR lto/43946
1158         * passes.c (init_optimization_passes): Move pass_ipa_free_lang_data
1159         first after all lowering passes.
1160
1161 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
1162
1163         * toplev.c: Include varray.h for statistics dumping.
1164         * tree.h: Do not declare varray_head_tag.
1165         * tree-into-ssa.c, tree-ssa-uninit.c, tree-phinodes.c, omega.c,
1166         regs.h, lto-cgraph.c, tree-ssa-loop-ivopts.c, tree-nomudflap.c,
1167         c-objc-common.c, lto-streamer-out.c, tree-ssa-propagate.c,
1168         gimple-low.c, c-semantics.c, dwarf2out.c, lto-streamer-in.c,
1169         lto-section-in.c, alias.c, tree-if-conv.c, gimplify.c, ggc-zone.c,
1170         tree-ssa.c, tree-ssa-loop-prefetch.c, integrate.h, c-gimplify.c,
1171         c-common.c, c-common.h, reg-stack.c, basic-block.h,
1172         tree-ssa-structalias.c, lto-section-out.c, tree-ssanames.c: Do not
1173         include varray.h.
1174         * Makefile.in: Update for abovementioned changes.
1175
1176 2010-04-30  Jakub Jelinek  <jakub@redhat.com>
1177
1178         PR debug/43942
1179         * tree.c (auto_var_in_fn_p): Return false for DECL_EXTERNAL vars.
1180
1181 2010-04-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
1182
1183         * config/picochip/picochip.c (picochip_legitimize_address): Define.
1184         Use this function to do machine-specific conversion.
1185         (picochip_legitimize_reload_address): Likewise.
1186         (picochip_legitimate_address_p): Check valid base register only if
1187         strict.
1188         (picochip_check_conditional_copy): Check for modw only if opnd is
1189         register.
1190         * config/picochip/picochip.h (LEGITIMIZE_RELOAD_ADDRESS): Use this
1191         to call the function in c.
1192         * config/picochip/picochip-protos.h
1193         (picochip_legitimize_reload_address): Define.
1194         * config/picochip/picochip.md (supported_compare1): Define.
1195
1196 2010-04-30  Jan Hubicka  <jh@suse.cz>
1197
1198         * cgraph.h (cgraph_local_info): Remove for_functions_valid.
1199         (cgraph_global_info): Remove inlined.
1200         (LTO_cgraph_tag_names): Remove.
1201         (LTO_cgraph_tags, LCC_NOT_FOUND): Move to ...
1202         * lto-cgraph.c (LTO_cgraph_tags, LCC_NOT_FOUND): ... here;
1203         simplify cgraph tags and document.
1204         (lto_output_node): Use only LTO_cgraph_unavail_node and
1205         LTO_cgraph_analyzed_node; Do not save analzed, reachable,
1206         for_functions_valid, global info, process and output flags.
1207         (input_overwrite_node): Initialize estimated stack size and
1208         estimated growth.  Do not read flags we no longer store.
1209         (input_node): Likewise do not read info no longer stored.
1210         * ipa-inline.c (cgraph_mark_inline_edge): Do not set global.inlined
1211         flag.
1212
1213 2010-04-30  Richard Guenther  <rguenther@suse.de>
1214
1215         PR tree-optimization/43879
1216         * tree-ssa-structalias.c (get_constraint_for_1): Properly
1217         handle non-zero initializers.
1218
1219 2010-04-30  Richard Guenther  <rguenther@suse.de>
1220
1221         * builtins.c (fold_builtin_1): Delete free (0).
1222
1223 2010-04-29  Jan Hubicka  <jh@suse.cz>
1224
1225         * gengtype.c (open_base_files): Add lto-streamer.h
1226         * cgraph.h (cgraph_local_info): lto_file_data is now in GGC.
1227         (pass_ipa_cp): GGC collect.
1228         * toplev. (compile_file): Do not output symbols.
1229         * ipa-inline.c (pass_ipa_inline): Add ggc collect.
1230         * timevar.def (TV_VARPOOL, TV_IPA_LTO_DECL_INIT_IO,
1231         TV_IPA_LTO_DECL_MERGE, TV_IPA_LTO_CGRAPH_MERGE, TV_VAROUT): New.
1232         * lto-section-in.c: Include ggc.h
1233         (lto_new_in_decl_state): Alloc in GGC.
1234         (lto_delete_in_decl_state): Likewise.
1235         * ipa.c (pass_ipa_function_visibility, pass_ipa_whole_program):
1236         Collect.
1237
1238 2010-04-29  Bernd Schmidt  <bernds@codesourcery.com>
1239
1240         PR target/42895
1241         * doc/tm.texi (ADJUST_REG_ALLOC_ORDER): Renamed from
1242         ORDER_REGS_FOR_LOCAL_ALLOC.  All instances of this macro changed.
1243         (HONOR_REG_ALLOC_ORDER): Describe new macro.
1244         * ira.c (setup_alloc_regs): Use ADJUST_REG_ALLOC_ORDER if defined.
1245         * ira-color.c (assign_hard_reg): Take prologue/epilogue costs into
1246         account only if HONOR_REG_ALLOC_ORDER is not defined.
1247         * config/arm/arm.h (HONOR_REG_ALLOC_ORDER): Define.
1248         * system.h (ORDER_REGS_FOR_LOCAL_ALLOC): Poison.
1249
1250 2010-04-29  Jon Grant  <04@jguk.org>
1251
1252         * collect2.c (vflag): Change type from int to bool.
1253         (debug): Likewise.
1254         (helpflag): New global bool.
1255         (main): Set vflag and debug with boolean, not integer truth values.
1256         Accept new "--help" option and output usage text if found.
1257         * collect2.h (vflag): Update prototype.
1258         (debug): Likewise.
1259
1260 2010-04-29  H.J. Lu  <hongjiu.lu@intel.com>
1261
1262         PR bootstrap/43936
1263         * plugin.h (flag_plugin_added): Moved out of invoke_plugin_callbacks.
1264
1265 2010-04-29  Richard Guenther  <rguenther@suse.de>
1266
1267         PR bootstrap/43935
1268         * plugin.h (invoke_plugin_callbacks): Annotate arguments
1269         with ATTRIBUTE_UNUSED.
1270
1271 2010-04-29  H.J. Lu  <hongjiu.lu@intel.com>
1272
1273         PR target/43921
1274         * config/i386/i386.c (get_some_local_dynamic_name): Replace
1275         INSN_P with NONDEBUG_INSN_P.
1276         (distance_non_agu_define): Likewise.
1277         (distance_agu_use): Likewise.
1278
1279 2010-04-29  Bernd Schmidt  <bernds@codesourcery.com>
1280
1281         From Dominique d'Humieres <dominiq@lps.ens.fr>
1282         PR bootstrap/43858
1283         * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs to compute
1284         test_set.
1285
1286 2010-04-29  Brian Hackett  <bhackett1024@gmail.com>
1287
1288         * plugin.h (invoke_plugin_callbacks): New inline function.
1289         * plugin.c (flag_plugin_added): New global flag.
1290         (add_new_plugin): Initialize above flag.
1291         (invoke_plugin_callbacks): Rename to ...
1292         (invoke_plugin_callbacks_full): ... this.
1293
1294 2010-04-28  Jan Hubicka  <jh@suse.cz>
1295
1296         * lto-symtab.c (lto_symtab_entry_def) Add vnode.
1297         (lto_varpool_replace_node): New.
1298         (lto_symtab_resolve_symbols): Resolve varpool nodes.
1299         (lto_symtab_merge_decls_1): Prefer decls with varpool node.
1300         (lto_symtab_merge_cgraph_nodes_1): Merge varpools.
1301         * cgraph.h (varpool_node_ptr): New type.
1302         (varpool_node_ptr): New vector.
1303         (varpool_node_set_def): New structure.
1304         (varpool_node_set): New type.
1305         (varpool_node_set): New vector.
1306         (varpool_node_set_element_def): New structure.
1307         (varpool_node_set_element, const_varpool_node_set_element): New types.
1308         (varpool_node_set_iterator): New type.
1309         (varpool_node): Add prev pointers, add used_from_other_partition,
1310         in_other_partition.
1311         (varpool_node_set_new, varpool_node_set_find, varpool_node_set_add,
1312         varpool_node_set_remove, dump_varpool_node_set, debug_varpool_node_set,
1313         varpool_get_node, varpool_remove_node): Declare.
1314         (vsi_end_p, vsi_next, vsi_node, vsi_start, varpool_node_in_set_p,
1315         varpool_node_set_size): New inlines.
1316         * cgraph.c (dump_cgraph_node): Dump asm names of aliases.
1317         * tree-pass.h (varpool_node_set_def): Forward declare.
1318         (ipa_opt_pass_d): Summary writting takes vnode sets too.
1319         (ipa_write_optimization_summaries): Update prototype.
1320         * ipa-cp.c (ipcp_write_summary): Update.
1321         * ipa-reference.c (ipa_reference_write_summary): Update.
1322         * lto-cgraph.c (lto_output_varpool_node): New static function.
1323         (output_varpool): New function.
1324         (input_varpool_node): New static function.
1325         (input_varpool_1): New function.
1326         (input_cgraph): Input varpool.
1327         * ipa-pure-const.c (pure_const_write_summary): Update.
1328         * lto-streamer-out.c (lto_output): Update, output varpool too.
1329         (write_global_stream): Kill WPA hack.
1330         (produce_asm_for_decls): Update.
1331         (output_alias_pair_p): Handle variables.
1332         (output_unreferenced_globals): Output only needed partition of varpool.
1333         * ipa-inline.c (inline_write_summary): Update.
1334         * lto-streamer-in.c (lto_input_tree_ref, lto_input_tree): Do not build
1335         cgraph.
1336         * lto-section-in.c (lto_section_name): Add varpool and jump funcs.
1337         * ipa.c (hash_varpool_node_set_element, eq_varpool_node_set_element,
1338         varpool_node_set_new, varpool_node_set_add,
1339         varpool_node_set_remove, varpool_node_set_find, dump_varpool_node_set,
1340         debug_varpool_node_set): New functions.
1341         * passes.c (rest_of_decl_compilation): when in LTO do not finalize.
1342         (execute_one_pass): Process new decls too.
1343         (ipa_write_summaries_2): Pass around vsets.
1344         (ipa_write_summaries_1): Likewise.
1345         (ipa_write_summaries): Build vset; be more selective about cgraph nodes
1346         to add.
1347         (ipa_write_optimization_summaries_1): Pass around vsets.
1348         (ipa_write_optimization_summaries): Likewise.
1349         * varpool.c (varpool_get_node): New.
1350         (varpool_node): Update doubly linked lists.
1351         (varpool_remove_node): New.
1352         (dump_varpool_node): More dumping.
1353         (varpool_enqueue_needed_node): Update doubly linked lists.
1354         (decide_is_variable_needed): Kill ltrans hack.
1355         (varpool_finalize_decl): Kill lto hack.
1356         (varpool_assemble_decl): Skip decls in other partitions.
1357         (varpool_assemble_pending_decls): Update doubly linkes lists.
1358         (varpool_empty_needed_queue): Likewise.
1359         (varpool_extra_name_alias): Likewise.
1360         * lto-streamer.c (lto_get_section_name): Add vars section.
1361         * lto-streamer.h (lto_section_type): Update.
1362         (output_varpool, input_varpool): Declare.
1363
1364 2010-04-28  Mike Stump  <mikestump@comcast.net>
1365
1366         * config/i386/darwin.h (CC1_SPEC): Ignore -mdynamic-no-pic for now.
1367
1368 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
1369
1370         * lto-streamer-in.c (unpack_ts_type_value_fields): Replace test for
1371         record or union type with RECORD_OR_UNION_TYPE_P predicate.
1372         (lto_input_ts_type_tree_pointers): Likewise.
1373         * lto-streamer-out.c (pack_ts_type_value_fields): Likewise.
1374         (lto_output_ts_type_tree_pointers): Likewise.
1375
1376 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
1377
1378         Uniquization of constants at the Tree level
1379         * tree.h (DECL_IN_CONSTANT_POOL): New macro.
1380         (tree_decl_with_vis): Add in_constant_pool bit, move shadowed_for_var_p
1381         bit to the end.
1382         (tree_output_constant_def): Declare.
1383         * gimplify.c (gimplify_init_constructor): When using block copy, first
1384         uniquize the constant constructor on the RHS.
1385         * lto-streamer-in.c (unpack_ts_decl_with_vis_value_fields): Deal with
1386         DECL_IN_CONSTANT_POOL flag.
1387         * lto-streamer-out.c (pack_ts_decl_with_vis_value_fields): Likewise.
1388         * varasm.c (make_decl_rtl): Deal with variables belonging to the global
1389         constant pool.
1390         (assemble_variable): Deal with symbols belonging to the tree constant
1391         pool.
1392         (get_constant_section): Add ALIGN parameter and simplify.
1393         (build_constant_desc): Build a VAR_DECL and attach it to the symbol.
1394         (assemble_constant_contents): Use the expression of the VAR_DECL.
1395         (output_constant_def_contents): Use the alignment of the VAR_DECL.
1396         (tree_output_constant_def): New global function.
1397         (mark_constant): Use the expression of the VAR_DECL.
1398         (place_block_symbol): Use the alignment of the VAR_DECL and the size of
1399         its expression.
1400         (output_object_block): Likewise and assemble the expression.
1401
1402 2010-04-28  Eric Botcazou  <ebotcazou@adacore.com>
1403
1404         * lto-streamer.c [LTO_STREAMER_DEBUG] (tree_htab, tree_hash_entry,
1405         hash_tree, eq_tree): New tree hash table.
1406         (lto_streamer_init) [LTO_STREAMER_DEBUG]: Initialize it.
1407         [LTO_STREAMER_DEBUG] (lto_orig_address_map, lto_orig_address_get,
1408         lto_orig_address_remove): Reimplement.
1409
1410 2010-04-28  Xinliang David Li  <davidxl@google.com>
1411
1412         PR c/42643
1413         * tree-ssa-uninit.c (can_skip_redundant_opnd): New function.
1414         (compute_uninit_opnds_pos): New function.
1415         (is_non_loop_exit_postdominating): New function.
1416         (compute_control_dep_chain): New function.
1417         (find_pdom): New function.
1418         (convert_control_dep_chain_into_preds): New function.
1419         (find_predicates): New function.
1420         (find_control_equiv_block): New function.
1421         (collect_phi_def_edges): New function.
1422         (find_def_preds): New function.
1423         (find_dom): New function.
1424         (dump_predicates): New function.
1425         (get_cmp_code): New function.
1426         (is_value_included_in): New function.
1427         (find_matching_predicate_in_rest_chains): New function.
1428         (use_pred_not_overlap_with_undef_path_pred): New function.
1429         (is_use_properly_guarded): New function.
1430         (normalize_cond_1): New function.
1431         (is_and_or_or): New function.
1432         (normalize_cond): New function.
1433         (is_gcond_subset_of): New function.
1434         (is_subset_of_any): New function.
1435         (is_or_set_subset_of): New function.
1436         (is_and_set_subset_of): New function.
1437         (is_norm_cond_subset_of): New function.
1438         (is_pred_expr_subset_of): New function.
1439         (is_pred_chain_subset_of): New function.
1440         (is_included_in): New function.
1441         (is_superset_of): New function.
1442         (find_uninit_use): New function.
1443         (warn_uninitialized_phi): New function.
1444         (compute_possibly_undefined_names): New function.
1445         (ssa_undefined_value_p): New function.
1446         (execute_late_warn_uninitialized): New function.
1447         * tree-ssa.c (ssa_undefined_value_p): Removed.
1448         (warn_uninit): Changed to extern.
1449         (warn_uninitialized_phi): Removed.
1450         (warn_uninitialized_vars): Changed to extern.
1451         (execute_late_warn_uninitialized): Removed
1452         * tree-flow.h: Add new prototypes.
1453         * timevar.def: Add new time variable.
1454         * Makefile.in: Add new build file.
1455
1456 2010-04-28  Uros Bizjak  <ubizjak@gmail.com>
1457
1458         * config/alpha/elf.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
1459         type if available.
1460
1461 2010-04-28  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1462
1463         PR target/22224
1464         * config/alpha/osf5.h (ASM_OUTPUT_LOCAL): Redefine.
1465
1466 2010-04-28  Martin Jambor  <mjambor@suse.cz>
1467
1468         * cgraph.h (struct cgraph_node): New field indirect_calls.
1469         (struct cgraph_indirect_call_info): New type.
1470         (struct cgraph_edge): Removed field indirect_call. New fields
1471         indirect_info, indirect_inlining_edge and indirect_unknown_callee.
1472         (cgraph_create_indirect_edge): Declare.
1473         (cgraph_make_edge_direct): Likewise.
1474         (enum LTO_cgraph_tags): New item LTO_cgraph_indirect_edge.
1475         * ipa-prop.h (struct ipa_param_call_note): Removed.
1476         (struct ipa_node_params): Removed field param_calls.
1477         (ipa_create_all_structures_for_iinln): Declare.
1478         * cgraph.c: Described indirect edges and uids in initial comment.
1479         (cgraph_add_edge_to_call_site_hash): New function.
1480         (cgraph_edge): Search also among the indirect edges, use
1481         cgraph_add_edge_to_call_site_hash to add edges to the call site hash.
1482         (cgraph_set_call_stmt): Possibly turn an indirect edge into a direct
1483         one, use cgraph_add_edge_to_call_site_hash to add edges to the call
1484         site hash.
1485         (initialize_inline_failed): Assign a reason to indirect edges.
1486         (cgraph_create_edge_1): New function.
1487         (cgraph_create_edge): Moved some functionality to
1488         cgraph_create_edge_1.
1489         (cgraph_create_indirect_edge): New function.
1490         (cgraph_edge_remove_callee): Add an assert checking for
1491         non-indirectness.
1492         (cgraph_edge_remove_caller): Special-case indirect edges.
1493         (cgraph_remove_edge): Likewise.
1494         (cgraph_set_edge_callee): New function.
1495         (cgraph_redirect_edge_callee): Use cgraph_set_edge_callee.
1496         (cgraph_make_edge_direct): New function.
1497         (cgraph_update_edges_for_call_stmt_node): Do nothing only when also
1498         the declaration of the call statement matches.
1499         (cgraph_node_remove_callees): Special-case indirect edges.
1500         (cgraph_clone_edge): Likewise.
1501         (cgraph_clone_node): Clone also the indirect edges.
1502         (dump_cgraph_node): Dump indirect_inlining_edge flag instead of
1503         indirect_call, dump count of indirect_calls edges.
1504         * ipa-prop.c (iinlining_processed_edges): New variable.
1505         (ipa_note_param_call): Create indirect edges instead of
1506         creating notes.  New parameter node.
1507         (ipa_analyze_call_uses): New parameter node, pass it on to
1508         ipa_note_param_call.
1509         (ipa_analyze_stmt_uses): Likewise.
1510         (ipa_analyze_params_uses): Pass node to ipa_analyze_stmt_uses.
1511         (print_edge_addition_message): Work on edges rather than on notes.
1512         (update_call_notes_after_inlining): Likewise, renamed to
1513         update_indirect_edges_after_inlining.
1514         (ipa_create_all_structures_for_iinln): New function.
1515         (ipa_free_node_params_substructures): Do not free notes.
1516         (ipa_edge_duplication_hook): Propagate bits within
1517         iinlining_processed_edges bitmap.
1518         (ipa_node_duplication_hook): Do not duplicate notes.
1519         (free_all_ipa_structures_after_ipa_cp): Renamed to
1520         ipa_free_all_structures_after_ipa_cp.
1521         (free_all_ipa_structures_after_iinln): Renamed to
1522         ipa_free_all_structures_after_iinln.
1523         (ipa_write_param_call_note): Removed.
1524         (ipa_read_param_call_note): Removed.
1525         (ipa_write_indirect_edge_info): New function.
1526         (ipa_read_indirect_edge_info): Likewise.
1527         (ipa_write_node_info): Do not stream notes, do stream information
1528         in indirect edges.
1529         (ipa_read_node_info): Likewise.
1530         (lto_ipa_fixup_call_notes): Removed.
1531         * ipa-cp.c (pass_ipa_cp): Set stmt_fixup to NULL.
1532         * ipa-inline.c (pass_ipa_inline): Likewise.
1533         * cgraphunit.c (verify_cgraph_node): Check also indirect edges.
1534         * cif-code.def (INDIRECT_UNKNOWN_CALL): New reason.
1535         * tree-inline.c (copy_bb): Removed an unnecessary double check for
1536         is_gimple_call.
1537         * tree-inline.c (get_indirect_callee_fndecl): Do not consider indirect
1538         edges.
1539         * lto-cgraph.c (output_outgoing_cgraph_edges): New function.
1540         (output_cgraph): Stream also indirect edges.
1541         (lto_output_edge): Added capability to stream indirect edges.
1542         (input_edge): Likewise.
1543         (input_cgraph_1): Likewise.
1544         * lto-streamer-in.c (fixup_call_stmt_edges_1): Fixup also statements
1545         of indirect edges.
1546
1547 2010-04-28  Richard Guenther  <rguenther@suse.de>
1548
1549         PR tree-optimization/43879
1550         PR tree-optimization/43909
1551         * tree-ssa-structalias.c (struct variable_info): Add
1552         only_restrict_pointers flag.
1553         (new_var_info): Initialize it.  Increment stats.total_vars here.
1554         (create_function_info_for): Do not increment stats.total_vars here.
1555         (get_function_part_constraint): Fix build with C++.
1556         (insert_into_field_list): Remove.
1557         (push_fields_onto_fieldstack): Properly merge fields.
1558         (create_variable_info_for): Split and simplify.
1559         (create_variable_info_for_1): New piece.
1560         (intra_create_variable_infos): Properly make restrict constraints
1561         from parameters.
1562
1563 2010-04-28  Richard Guenther  <rguenther@suse.de>
1564
1565         PR c++/43880
1566         * tree-inline.c (copy_bind_expr): Also copy bind expr vars value-exprs.
1567
1568 2010-04-27  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1569             Jan Hubicka <hubicka@ucw.cz>
1570
1571         * doc/invoke.texi (-Wsuggest-attribute=const,
1572         -Wsuggest-attribute=pure): Document.
1573         * ipa-pure-const.c: Include toplev.h, intl.h and opts.h.
1574         (function_always_visible_to_compiler_p,
1575         suggest_attribute, warn_function_pure, warn_function_const):
1576         New functions.
1577         (check_call): Improve debug info.
1578         (analyze_function): Do not check availability.
1579         (add_new_function): Check availability.
1580         (propagate): Output warnings.
1581         (skip_function_for_local_pure_const): New function.
1582         (local_pure_const): Use it; output warnings.
1583         * common.opt (Wsuggest-attribute=const,
1584         Wsuggest-attribute=pure): New.
1585
1586 2010-04-27  Jakub Jelinek  <jakub@redhat.com>
1587
1588         * dwarf2out.c (def_cfa_1): After DW_CFA_def_cfa_expression
1589         force using DW_CFA_def_cfa instead of DW_CFA_def_cfa_register
1590         or DW_CFA_def_cfa_offset{,_sf}.
1591
1592 2010-04-27  Eric Botcazou  <ebotcazou@adacore.com>
1593
1594         * tree.h: Fix truncated long macros.
1595
1596 2010-04-27  Kai Tietz  <kai.tietz@onevision.com>
1597
1598         * collect2.c (TARGET_64BIT): Redefine to target's default.
1599         * tlink.c: Likewise.
1600         * config/i386/cygming.h (USER_LABEL_PREFIX): Define
1601         dependent to TARGET_64BIT and USE_MINGW64_LEADING_UNDERSCORES.
1602         * config/i386/i386.h (CRT_CALL_STATIC_FUNCTION): Use
1603         for underscoring __USER_LABEL_PREFIX__.
1604         * config/i386/mingw-w64.h (SUB_LINK_ENTRY): New macro.
1605         (SUB_LINK_ENTRY32): New.
1606         (SUB_LINK_ENTRY64): New.
1607         (LINK_SPEC): Replace entry point spec by SUB_LINK_ENTRY.
1608         * config/i386/mingw32 (SUB_LINK_ENTRY32): New.
1609         (SUB_LINK_ENTRY64): New.
1610         (SUB_LINK_ENTRY): New.
1611         (LINK_SPEC): Use SUB_LINK_ENTRY instead of hard-coded entry-point.
1612         (DWARF2_UNWIND_INFO): Error out for use of dw2 unwind when
1613         x64 target is choosen.
1614         * config.in (USE_MINGW64_LEADING_UNDERSCORES): New.
1615         * configure: Regenerated.
1616         * configure.ac (leading-mingw64-underscores): Option added.
1617
1618 2010-04-27  Jan Hubicka  <jh@suse.cz>
1619
1620         * doc/invoke.texi (-fipa-profile): Document.
1621         * opts.c (decode_options): Enable ipa-profile at -O1.
1622         * timevar.def (TV_IPA_PROFILE): Define.
1623         * common.opt (fipa-profile): Add.
1624         * cgraph.c (cgraph_clone_node): Set local flag and clear vtable method
1625         flag for clones.
1626         (cgraph_propagate_frequency): Handle only local ones.
1627         * tree-pass.h (pass_ipa_profile): Declare.
1628         * ipa-profile.c (gate_profile): Use flag_ipa_profile.
1629         (pass_ipa_profile): Use TV_IPA_PROFILE.
1630         * ipa.c (ipa_profile): New function.
1631         (gate_ipa_profile): Likewise.
1632         (pass_ipa_profile): New global variable.
1633         * passes.c (pass_ipa_profile): New.
1634
1635 2010-04-27  Nathan Froyd  <froydnj@codesourcery.com>
1636
1637         * config/arm/arm.c (arm_expand_builtin): Remove redundant declaration.
1638
1639 2010-04-27  Martin Jambor  <mjambor@suse.cz>
1640
1641         PR middle-end/43812
1642         * ipa.c (dissolve_same_comdat_group_list): New function.
1643         (function_and_variable_visibility): Call
1644         dissolve_same_comdat_group_list when comdat group contains external or
1645         newly local nodes.
1646         * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
1647         lists are circular and that they contain only DECL_ONE_ONLY nodes.
1648
1649 2010-04-27  Eric Botcazou  <ebotcazou@adacore.com>
1650
1651         * varasm.c (decode_addr_const): Handle special case of INDIRECT_REF.
1652         (const_hash_1) <VECTOR_CST>: New case.
1653         (compare_constant) <VECTOR_CST>: Likewise.
1654         <ADDR_EXPR>: Deal with LABEL_REFs.
1655         (copy_constant) <VECTOR_CST>: New case.
1656
1657 2010-04-27  Jan Hubicka  <jh@suse.cz>
1658
1659         * cgraph.c (cgraph_propagate_frequency): New function.
1660         * cgraph.h (cgraph_propagate_frequency): Declare.
1661         * ipa-inline.c (cgraph_clone_inlined_nodes): Call
1662         cgraph_propagate_frequency.
1663
1664 2010-04-27  Jakub Jelinek  <jakub@redhat.com>
1665
1666         * unwind-dw2.c (_Unwind_DebugHook): Add used and noclone attributes.
1667
1668 2010-04-27  Bernd Schmidt  <bernds@codesourcery.com>
1669
1670         PR target/40657
1671         * config/arm/arm.c (thumb1_extra_regs_pushed): New function.
1672         (thumb1_expand_prologue, thumb1_output_function_prologue): Call it
1673         here to determine which regs to push and how much stack to reserve.
1674
1675 2010-04-27  Jie Zhang  <jie@codesourcery.com>
1676
1677         * doc/gimple.texi (gimple_statement_with_ops): Remove
1678         addresses_taken field.
1679         (gimple_statement_with_memory_ops): Likewise.
1680
1681 2010-04-27  Jan Hubicka  <jh@suse.cz>
1682
1683         * tree-inline.c (eni_inlining_weights): Remove.
1684         (estimate_num_insns): Special case more builtins.
1685
1686 2010-04-27  Shujing Zhao  <pearly.zhao@oracle.com>
1687
1688         PR c/32207
1689         * c-typeck.c (build_binary_op): Move forward check for comparison
1690         pointer with null pointer constant and adjust the diagnostic message.
1691
1692 2010-04-27  Dave Korn  <dave.korn.cygwin@gmail.com>
1693
1694         PR lto/42776
1695         * configure.ac (gcc_cv_as_section_has_align): Set if installed
1696         binutils supports extended .section directive needed by LTO, or
1697         warn if older binutils found.
1698         (LTO_BINARY_READER): New AC_SUBST'd variable.
1699         (LTO_USE_LIBELF): Likewise.
1700         * gcc/config.gcc (lto_binary_reader): New target-specific configure
1701         variable.
1702         * gcc/Makefile.in (LTO_BINARY_READER): Import AC_SUBST'd autoconf var.
1703         (LTO_USE_LIBELF): Likewise.
1704         * configure: Regenerate.
1705
1706         * collect2.c (is_elf): Rename from this ...
1707         (is_elf_or_coff): ... to this, and recognize and allow i386 COFF
1708          object files in addition to ELF-formatted ones.
1709         (scan_prog_file): Caller updated.  Also allow for LTO info marker
1710         symbol to be prefixed or not by an extra underscore.
1711
1712         * config/i386/t-cygming (winnt.o): Also depend on LTO_STREAMER_H.
1713         * config/i386/winnt.c: Also #include lto-streamer.h
1714         (i386_pe_asm_named_section): Specify 1-byte section alignment for
1715         LTO named sections.
1716         (i386_pe_asm_output_aligned_decl_common): Add comment.
1717         (i386_pe_maybe_record_exported_symbol): Allow decl arg to be NULL.
1718
1719 2010-04-27  Hans-Peter Nilsson  <hp@bitrange.com>
1720
1721         PR target/43889
1722         * config/mmix/mmix.md ("*divdi3_nonknuth", "*moddi3_nonknuth"):
1723         Add missing earlyclobber for second alternative.
1724
1725 2010-04-26  Bernd Schmidt  <bernds@codesourcery.com>
1726
1727         * df-problems.c (df_simulate_initialize_forwards): Set, don't clear,
1728         bits for artificial defs at the top of the block.
1729         * fwprop.c (single_def_use_enter_block): Don't call it.
1730
1731 2010-04-26  Jack Howarth <howarth@bromo.med.uc.edu>
1732
1733         PR 43715
1734         * gcc/configure.ac: Use "$gcc_cv_nm -g" on darwin
1735         instead of "$gcc_cv_objdump -T".
1736         Use "-undefined dynamic_lookup" on darwin.
1737         * gcc/configure: Regenerate.
1738
1739 2010-04-26  Jakub Jelinek  <jakub@redhat.com>
1740
1741         PR c/43893
1742         * c-omp.c (c_finish_omp_for): Handle also EQ_EXPR.
1743
1744 2010-04-26  Nathan Froyd  <froydnj@codesourcery.com>
1745
1746         * c-parser.c (struct c_token): Move location field up.
1747         * c-tree.h (struct c_typespec): Move expr_const_operands field up.
1748         (struct c_declspecs): Convert typespec_word, storage_class, and
1749         default_int_p into bitfields.
1750         (struct c_declarator): Move loc field up.
1751
1752 2010-04-26  Nathan Froyd  <froydnj@codesourcery.com>
1753
1754         * cfgloop.h (struct loop): Move can_be_parallel field up.
1755         * ipa-prop.h (struct ip_node_params): Move bitfields up.
1756         * tree-ssa-loop-ivopts.c (struct version_info): Move inv_id field
1757         down.
1758         (struct iv_cand): Convert pos field into a bitfield.
1759         * tree-vectorizer.h (struct _loop_vec_info): Move loop_line_number
1760         field up.
1761         (struct _stmt_vec_info): Shuffle fields for better packing.
1762
1763 2010-04-26  Eric Botcazou  <ebotcazou@adacore.com>
1764
1765         * varasm.c (IN_NAMED_SECTION): Remove guard.
1766         * config/arm/unknown-elf.h (IN_NAMED_SECTION): Rename to...
1767         (IN_NAMED_SECTION_P): ...this.
1768         (ASM_OUTPUT_ALIGNED_BSS): Adjust for above renaming.
1769         (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Likewise.
1770
1771 2010-04-26  Eric Botcazou  <ebotcazou@adacore.com>
1772
1773         * gimplify.c (gimplify_cond_expr): Use THEN_ and ELSE_ local variables.
1774         Use VOID_TYPE_P for all void type tests.  Adjust TYPE variable instead
1775         of shadowing it.  Fix comments.
1776
1777 2010-04-26  Jan Hubicka  <jh@suse.cz>
1778
1779         * cgraph.c (cgraph_create_node): Set node frequency to normal.
1780         (cgraph_clone_node): Copy function frequency.
1781         * cgraph.h (node_frequency): New enum
1782         (struct cgraph_node): Add.
1783         * final.c (rest_of_clean_state): Update.
1784         * lto-cgraph.c (lto_output_node): Output node frequency.
1785         (input_overwrite_node): Input node frequency.
1786         * tre-ssa-loop-ivopts (computation_cost): Update.
1787         * lto-streamer-out.c (output_function): Do not output function
1788         frequency.
1789         * predict.c (maybe_hot_frequency_p): Update and handle functions
1790         executed once.
1791         (cgraph_maybe_hot_edge_p): Likewise; use cgraph frequency instead of
1792         attribute lookup.
1793         (probably_never_executed_bb_p, optimize_function_for_size_p): Update.
1794         (compute_function_frequency): Set noreturn functions to be executed
1795         once.
1796         (choose_function_section): Update.
1797         * lto-streamer-in.c (input_function): Do not input function frequency.
1798         * function.c (allocate_struct_function): Do not initialize function
1799         frequency.
1800         * function.h (function_frequency): Remove.
1801         (struct function): Remove function frequency.
1802         * ipa-profile.c (CGRAPH_NODE_FREQUENCY): Remove.
1803         (try_update): Update.
1804         * tree-inline.c (initialize_cfun): Do not update function frequency.
1805         * passes.c (pass_init_dump_file): Update.
1806         * i386.c (ix86_compute_frame_layout): Update.
1807         (ix86_pad_returns): Update.
1808
1809 2010-04-26  Jie Zhang  <jie@codesourcery.com>
1810
1811         PR tree-optimization/43833
1812         * tree-vrp.c (range_int_cst_p): New.
1813         (range_int_cst_singleton_p): New.
1814         (extract_range_from_binary_expr): Optimize BIT_AND_EXPR case
1815         when both operands are constants.  Use range_int_cst_p in
1816         BIT_IOR_EXPR case.
1817
1818 2010-04-26  Jan Hubicka  <jh@suse.cz>
1819
1820         * cgraphunit.c (cgraph_copy_node_for_versioning): Fix profile updating.
1821
1822 2010-04-26  Richard Guenther  <rguenther@suse.de>
1823
1824         PR lto/43080
1825         * gimple.c (gimple_decl_printable_name): Deal gracefully
1826         with a NULL DECL_NAME.
1827
1828 2010-04-26  Richard Guenther  <rguenther@suse.de>
1829
1830         PR lto/42425
1831         * tree.c (free_lang_data_in_type): Do not free TYPE_CONTEXT
1832         if emitting debug information and it is either a function
1833         or a namespace decl.
1834
1835 2010-04-26  Ira Rosen  <irar@il.ibm.com>
1836
1837         * tree-vectorizer.h (struct _stmt_vec_info): Add new field to
1838         determine if the statement is vectorizable, and a macro to access it.
1839         * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
1840         Skip statements that can't be vectorized. If the analysis fails,
1841         mark the statement as unvectorizable if vectorizing basic block.
1842         (vect_compute_data_refs_alignment): Likewise.
1843         (vect_verify_datarefs_alignment): Skip statements marked as
1844         unvectorizable. Add print.
1845         (vect_analyze_group_access): Skip statements that can't be
1846         vectorized. If the analysis fails, mark the statement as
1847         unvectorizable if vectorizing basic block.
1848         (vect_analyze_data_ref_accesses, vect_analyze_data_refs): Likewise.
1849         * tree-vect-stmts.c (vectorizable_store): Fix the number of
1850         generated stmts for SLP.
1851         (new_stmt_vec_info): Initialize the new field.
1852         * tree-vect-slp.c (vect_build_slp_tree): Fail to vectorize
1853         statements marked as unvectorizable.
1854
1855 2010-04-25  Joseph Myers  <joseph@codesourcery.com>
1856
1857         * c-common.c (flag_isoc1x): New.
1858         (flag_isoc99): Update comment.
1859         * c-common.h (flag_isoc1x): New.
1860         (flag_isoc99): Update comment.
1861         * c-cppbuiltin.c (builtin_define_float_constants): Also define
1862         __<type>_DECIMAL_DIG__.
1863         * c-opts.c (set_std_c1x): New.
1864         (c_common_handle_option): Handle -std=c1x and -std=gnu1x.
1865         (set_std_c89, set_std_c99): Also set flag_isoc1x to 0.
1866         * c.opt (-std=c1x, -std=gnu1x): New options.
1867         * doc/cpp.texi: Mention -std=c1x.
1868         * doc/cppopts.texi (-std=c1x, -std=gnu1x): Document.
1869         * doc/extend.texi: Mention -std=c1x and -std=gnu1x.
1870         * doc/invoke.texi (-std=c1x, -std=gnu1x): Document.
1871         * doc/standards.texi: Mention C1X.
1872         * ginclude/float.h (FLT_DECIMAL_DIG, DBL_DECIMAL_DIG,
1873         LDBL_DECIMAL_DIG, FLT_HAS_SUBNORM, DBL_HAS_SUBNORM,
1874         LDBL_HAS_SUBNORM, FLT_TRUE_MIN, DBL_TRUE_MIN, LDBL_TRUE_MIN):
1875         Define for C1X.
1876
1877 2010-04-25  Uros Bizjak  <ubizjak@gmail.com>
1878
1879         * config/i386/gmon-sol2.c (_mcleanup): Change format string
1880         placeholder from 0x%x to %#x.
1881         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Ditto.
1882         * config/i386/i386-interix.h (ASM_OUTPUT_ASCII): Ditto.
1883         * config/i386/att.h (ASM_OUTPUT_ASCII): Ditto.
1884         * config/i386/sysv4.h (ASM_OUTPUT_ASCII): Ditto.
1885         * config/i386/i386.c (ix86_target_string): Ditto.
1886         (output_pic_addr_const): Ditto.
1887         (print_operand): Ditto.
1888
1889 2010-04-25  Paolo Bonzini  <bonzini@gnu.org>
1890
1891         * combine.c (find_split_point): Add third argument.  Use it
1892         to find nested multiply-accumulate instructions.  Adjust calls.
1893         (try_combine): Adjust call to find_split_point.
1894
1895 2010-04-24  Gerald Pfeifer  <gerald@pfeifer.com>
1896
1897         * doc/contrib.texi (Contributors): Add Dodji Seketeli.
1898
1899 2010-04-24  Bernd Schmidt  <bernds@codesourcery.com>
1900
1901         PR tree-optimization/41442
1902         * fold-const.c (merge_truthop_with_opposite_arm): New function.
1903         (fold_binary_loc): Call it.
1904
1905 2010-04-23  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1906
1907         * toplev.c (general_init): Set default for fdiagnostics-show-option.
1908         * opts.c (common_handle_option): Allow disabling it.
1909         * common.opt (fdiagnostics-show-option): Add Var. Enabled by default.
1910
1911 2010-04-23  Eric Botcazou  <ebotcazou@adacore.com>
1912
1913         * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Only use conversion
1914         between modes if both types are integral.
1915
1916 2010-04-23  Richard Guenther  <rguenther@suse.de>
1917
1918         PR tree-optimization/43572
1919         * tree-tailcall.c (find_tail_calls): Allow PARM_DECL uses.
1920
1921 2010-04-23  Richard Guenther  <rguenther@suse.de>
1922
1923         PR lto/43455
1924         * tree-inline.c (tree_can_inline_p): Also check compatibility
1925         of return types.
1926
1927 2010-04-23  Martin Jambor  <mjambor@suse.cz>
1928
1929         PR tree-optimization/43846
1930         * tree-sra.c (struct access): New flag grp_assignment_read.
1931         (build_accesses_from_assign): Set grp_assignment_read.
1932         (sort_and_splice_var_accesses): Propagate grp_assignment_read.
1933         (enum mark_read_status): New type.
1934         (analyze_access_subtree): Propagate grp_assignment_read, create
1935         accesses also if both direct_read and root->grp_assignment_read.
1936
1937 2010-04-23  Martin Jambor  <mjambor@suse.cz>
1938
1939         PR middle-end/43835
1940         * tree-sra.c (ipa_sra_preliminary_function_checks): Check that the
1941         function does not have type attributes.
1942
1943 2010-04-23  Richard Guenther  <rguenther@suse.de>
1944
1945         PR lto/42653
1946         * tree.c (free_lang_data_in_decl): Do not reset DECL_CONTEXT
1947         of FUNCTION_DECLs.
1948
1949 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1950
1951         * sese.h (create_if_region_on_edge): Remove.
1952
1953         * sese.c (create_if_region_on_edge): Make static.
1954
1955         * tree-inline.c: Do not include ggc.h.
1956
1957         * expr.c: Do not include ggc.h.
1958
1959         * Makefile.in (tree-inline.o, expr.o): Remove $(GGC_H) from
1960         dependencies.
1961
1962 2010-04-22  Kaz Kojima  <kkojima@gcc.gnu.org>
1963
1964         PR target/43744
1965         * config/sh/sh.c (find_barrier): Don't emit a constant pool
1966         in the middle of insns for casesi_worker_2.
1967
1968 2010-04-22  David Edelsohn  <edelsohn@gnu.org>
1969
1970         * config/rs6000/x-aix: Override LDFLAGS for all COMPILERS.
1971
1972 2010-04-22  Ira Rosen  <irar@il.ibm.com>
1973
1974         PR tree-optimization/43842
1975         * tree-vect-loop.c (vect_create_epilog_for_reduction): Handle
1976         loop unrolling in update of exit phis. Fix comment.
1977         * tree-vect-slp.c (vect_analyze_slp): Check that there are at
1978         least two reduction statements in the loop before starting SLP
1979         analysis.
1980
1981 2010-04-22  Nick Clifton  <nickc@redhat.com>
1982
1983         * config/stormy16/stormy16-lib2.c (__ucmpsi2): Fix thinko.
1984
1985 2010-04-22  Alexander Monakov  <amonakov@ispras.ru>
1986
1987         * tree-ssa-reassoc.c (eliminate_plus_minus_pair): Handle BIT_NOT_EXPR
1988         to simplify a + ~a.
1989
1990 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1991
1992         * tree-parloops.c (loop_parallel_p): New argument
1993         parloop_obstack.  Pass it down.
1994         (parallelize_loops): New variable parloop_obstack.  Initialize it,
1995         pass it down, free it.
1996
1997         * tree-loop-linear.c (linear_transform_loops): Pass down
1998         lambda_obstack.
1999
2000         * tree-data-ref.h (lambda_compute_access_matrices): New argument
2001         of type struct obstack *.
2002
2003         * tree-data-ref.c (analyze_subscript_affine_affine): New variable
2004         scratch_obstack.  Initialize it, pass down, free it.
2005
2006         * lambda.h (lambda_loop_new): Remove.
2007         (lambda_matrix_new, lambda_matrix_inverse)
2008         (lambda_trans_matrix_new, lambda_trans_matrix_inverse): New
2009         argument of type struct obstack *.
2010
2011         * lambda-trans.c (lambda_trans_matrix_new): New argument
2012         lambda_obstack.  Pass it down, use obstack allocation for ret.
2013         (lambda_trans_matrix_inverse): New argument lambda_obstack.  Pass
2014         it down.
2015
2016         * lambda-mat.c (lambda_matrix_get_column)
2017         (lambda_matrix_project_to_null): Remove.
2018         (lambda_matrix_new): New argument lambda_obstack.  Use obstack
2019         allocation for mat.
2020         (lambda_matrix_inverse_hard, lambda_matrix_inverse): New argument
2021         lambda_obstack.
2022
2023         * lambda-code.c (lambda_loop_new): New function.
2024         (lambda_lattice_new, compute_nest_using_fourier_motzkin)
2025         (lambda_compute_auxillary_space, lambda_compute_target_space)
2026         (lambda_loopnest_transform, gcc_loop_to_lambda_loop)
2027         (lambda_loopnest_to_gcc_loopnest): Pass down lambda_obstack.
2028         (build_access_matrix): New argument lambda_obstack.  Use obstack
2029         allocation for am.
2030         (lambda_compute_step_signs, lambda_compute_access_matrices): New
2031         argument lambda_obstack.  Pass it down.
2032
2033 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
2034
2035         * optabs.h (expand_widening_mult): Declare.
2036
2037 2010-04-22  Richard Guenther  <rguenther@suse.de>
2038
2039         PR tree-optimization/43845
2040         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Properly
2041         lookup the CALL_EXPR function and arguments.
2042
2043 2010-04-22  Nick Clifton  <nickc@redhat.com>
2044
2045         * config/stormy16/stormy16.c
2046         (xstormy16_asm_output_aligned_common): Handle a NULL decl parameter.
2047         * config/stormy16/stormy16.h: Tidy up formatting.
2048         (DONT_USE_BUILTIN_SETJMP): Remove definition.
2049         * config/stormy16/stormy16.c (cbranchsi4): Delete pattern.
2050         (ineqbranchsi): Delete pattern.
2051         * config/stormy16/stormy16-lib2-ucmpsi2.c: New file.
2052         * config/stormy16/stormy16-lib2.c (__ucmpsi2): New function.
2053         * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Add
2054         stormy16-lib2-ucmpsi2.c.
2055
2056 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
2057
2058         * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and
2059         df_simulate_find_noclobber_defs as appropriate.  Keep track of an
2060         extra set merge_set_noclobber, and use it to relax the final test
2061         slightly.
2062         * df.h (df_simulate_find_noclobber_defs): Declare.
2063         * df-problems.c (df_simulate_find_defs): Don't ignore partial or
2064         conditional defs.
2065         (df_simulate_find_noclobber_defs): New function.
2066
2067 2010-04-22  Uros Bizjak  <ubizjak@gmail.com>
2068
2069         * config/i386/i386.md: Use {} around multi-line preparation statements.
2070
2071 2010-04-22  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
2072
2073         * c-tree.h (push_init_level, pop_init_level, set_init_index)
2074         (process_init_element): New argument of type struct obstack *.
2075
2076         * c-typeck.c (push_init_level, pop_init_level, set_designator)
2077         (set_init_index, set_init_label, set_nonincremental_init)
2078         (set_nonincremental_init_from_string, find_init_member)
2079         (output_init_element, output_pending_init_elements)
2080         (process_init_element): New argument braced_init_obstack.  Pass it
2081         down.
2082         (push_range_stack, add_pending_init): New argument
2083         braced_init_obstack.  Use obstack allocation.
2084
2085         * c-parser.c (c_parser_initelt, c_parser_initval): New argument
2086         braced_init_obstack.  Pass it down.
2087         (c_parser_braced_init): New variables ret, braced_init_obstack.
2088         Initialize obstack, pass it down and finally free it.
2089
2090 2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
2091
2092         PR middle-end/29274
2093         * tree-pass.h (pass_optimize_widening_mul): Declare.
2094         * tree-ssa-math-opts.c (execute_optimize_widening_mul,
2095         gate_optimize_widening_mul): New static functions.
2096         (pass_optimize_widening_mul): New.
2097         * expr.c (expand_expr_real_2) <case WIDEN_MULT_EXPR>: New case.
2098         <case MULT_EXPR>: Remove support for widening multiplies.
2099         * tree.def (WIDEN_MULT_EXPR): Tweak comment.
2100         * cfgexpand.c (expand_debug_expr) <case WIDEN_MULT_EXPR>: Use
2101         simplify_gen_unary rather than directly building extensions.
2102         * tree-cfg.c (verify_gimple_assign_binary): Add tests for
2103         WIDEN_MULT_EXPR.
2104         * expmed.c (expand_widening_mult): New function.
2105         * passes.c (init_optimization_passes): Add pass_optimize_widening_mul.
2106
2107 2010-04-21  Jan Hubicka  <jh@suse.cz>
2108
2109         * timevar.def (TV_WHOPR_WPA_FIXUP): Remove.
2110         * lto-section-in.c (lto_section_name): Remove wpa_fixup.
2111         * lto-wpa-fixup.c: Remove.
2112         * Makefile.in (lto-wpa-fixup.o): Remove.
2113         * passes.c (init_optimization_passes): Remove pass_ipa_lto_wpa_fixup.
2114         (execute_all_ipa_transforms): Set cgraph_state to CGRAPH_STATE_IPA_SSA.
2115         * lto-streamer.c (lto_get_section_name): Remove wpa_fixup section.
2116
2117 2010-04-21  Jan Hubicka  <jh@suse.cz>
2118
2119         * tree-pass.h (ipa_opt_pass_d): Rename function_read_summary;
2120         add write_optimization_summary, read_optimization_summary.
2121         (ipa_write_summaries_of_cgraph_node_set): Remove.
2122         (ipa_write_optimization_summaries): Declare.
2123         (ipa_read_optimization_summaries): Declare.
2124         * ipa-cp.c (pass_ipa_cp): Update.
2125         * ipa-reference.c (pass_ipa_reference): Update.
2126         * ipa-pure-const.c (pass_ipa_pure_const): Update.
2127         * lto-streamer-out.c (pass_ipa_lto_gimple, pass_ipa_lto_finish):
2128         Update.
2129         * ipa-inline.c (pass_ipa_inline): Update.
2130         * ipa.c (pass_ipa_whole_program): Update.
2131         * lto-wpa-fixup.c (pass_ipa_lto_wpa_fixup): Update.
2132         * passes.c (ipa_write_summaries_1): Do not test wpa.
2133         (ipa_write_optimization_summaries_1): New.
2134         (ipa_write_optimization_summaries): New.
2135         (ipa_read_summaries): Do not test ltrans.
2136         (ipa_read_optimization_summaries_1): New.
2137         (ipa_read_optimization_summaries): New.
2138
2139 2010-04-21  Jan Hubicka  <jh@suse.cz>
2140
2141         * lto-cgraph.c (lto_output_node): Do not output comdat groups
2142         for boundary nodes.
2143         (output_cgraph): Do not arrange comdat groups for boundary nodes.
2144
2145 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
2146
2147         PR debug/40040
2148         * dwarf2out.c (add_name_and_src_coords_attributes): Add
2149         DW_AT_{,MIPS_}linkage_name even for Fortran decls.
2150
2151 2010-04-21  Jan Hubicka  <jh@suse.cz>
2152
2153         * ipa-prop.c (ipa_edge_removal_hook): Check for bounds.
2154
2155 2010-04-21  Jan Hubicka  <jh@suse.cz>
2156
2157         * varpool.c (decide_is_variable_needed): Variable is always needed
2158         during ltrans.
2159
2160 2010-04-21  Jan Hubicka  <jh@suse.cz>
2161
2162         * opts.c (decode_options): Enable pure-const pass for whopr.
2163
2164 2010-04-21  Jan Hubicka  <jh@suse.cz>
2165
2166         * cgraph.c (dump_cgraph_node): Dump also assembler name.
2167         * ipa-inline.c (cgraph_decide_inlining_of_small_functions): Do not ice
2168         at WPA dumping.
2169         (cgraph_decide_inlining): Do not expect callee to be removed in all
2170         cases.
2171
2172 2010-04-21  Eric B. Weddington  <eric.weddington@atmel.com>
2173
2174         * config/avr/avr-devices.c (avr_mcu_types): Add missing comma.
2175
2176 2010-04-21  Uros Bizjak  <ubizjak@gmail.com>
2177
2178         * config/i386/i386.md (x86_shrd): Add athlon_decode and
2179         amdfam10_decode attributes.
2180
2181 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
2182
2183         PR middle-end/43570
2184         * omp-low.c (scan_sharing_clauses): Don't scan_omp_op
2185         OMP_CLAUSE_DECL for OMP_CLAUSE_COPYPRIVATE.
2186         (lower_copyprivate_clauses): Use private var in outer
2187         context instead of original var.  Make sure the types
2188         are correct for VLAs.
2189
2190 2010-04-21  Richard Guenther  <rguenther@suse.de>
2191
2192         * tree-ssa-structalias.c (do_ds_constraint): Avoid escaping
2193         to non-pointer objects.
2194
2195 2010-04-21  Jakub Jelinek  <jakub@redhat.com>
2196
2197         * dwarf2out.c (add_var_loc_to_decl): Add LABEL argument.  Drop
2198         last chain entry if it starts with the still current label.
2199         (add_location_or_const_value_attribute): Check that
2200         loc_list->first->next is NULL instead of comparing ->first with ->last.
2201         (dwarf2out_var_location): Pass last_label resp. last_postcall_label
2202         to add_var_loc_to_decl.
2203
2204         * dwarf2out.c (output_call_frame_info): For dw_cie_version
2205         >= 4 add also address size and segment size fields into CIE header.
2206
2207         * unwind-dw2.c (extract_cie_info): Handle CIE version 4, as
2208         long as address size is the same as sizeof (void *) and
2209         segment size is 0.
2210         * unwind-dw2-fde.c (get_cie_encoding): Likewise.  If
2211         address size or segment size is unexpected, return DW_EH_PE_omit.
2212         (classify_object_over_fdes): If get_cie_encoding returned
2213         DW_EH_PE_omit, return -1.
2214         (init_object): If classify_object_over_fdes returned -1,
2215         pretend there were no FDEs at all.
2216
2217 2010-04-21  Uros Bizjak  <ubizjak@gmail.com>
2218
2219         * config/i386/i386.md (bswap<mode>2): Macroize expander from
2220         bswap{si,di}2 using SWI48 mode iterator.
2221         (*bswap<mode>2_movbe): Macroize insn from *bswap{si,di}_movbe using
2222         SWI48 mode iterator.  Set type attribute of bswap insn to bitmanip,
2223         set modrm attribute of bswap insn to 0 and remove length attribute.
2224         (*bswap<mode>2_1): Macroize insn from *bswap{si,di}_1 using SWI48 mode
2225         iterator.  Set type attribute to bitmanip, set modrm attribute to 0,
2226         set mode attribute to <MODE> and remove length attribute.
2227
2228 2010-04-20  James E. Wilson  <wilson@codesourcery.com>
2229
2230         PR rtl-optimization/43520
2231         * ira-lives.c (ira_implicitly_set_insn_hard_regs): Exclude classes with
2232         zero available registers.
2233
2234 2010-04-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2235
2236         * builtins.c (fold_builtin_cproj): Fold more cases.
2237
2238 2010-04-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2239
2240         * builtins.c (build_complex_cproj, fold_builtin_cproj): New.
2241         (fold_builtin_1): Fold builtin cproj.
2242         * builtins.def (BUILT_IN_CPROJ, BUILT_IN_CPROJF, BUILT_IN_CPROJL):
2243         Use ATTR_CONST_NOTHROW_LIST.
2244
2245 2010-04-20  Uros Bizjak  <ubizjak@gmail.com>
2246
2247         * config/i386/i386.md (ffs<mode>2): Macroize expander from ffs_cmove
2248         and ffsdi2 using SWI48 mode iterator.  Expand SImode insn through
2249         ffsi2_no_cmove for !TARGET_CMOVE.
2250         (ffssi2_no_cmove): Rename from *ffs_no_cmove.  Make public.
2251         (ffssi2): Remove expander.
2252         (*ffs<mode>_1): Macroize insn from *ffs{si,di} using SWI48
2253         mode iterator.
2254         (ctz<mode>2): Ditto from ctz{si,di}2.
2255         (clz<mode>2): Macroize expander from ctz{hi,si,di}2 using SWI248
2256         mode iterator.
2257         (clz<mode>2_abm): Macroize insn from clz{hi,si,di}2_abm using SWI248
2258         mode iterator.
2259
2260 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
2261
2262         * dwarf2out.c (AT_linkage_name): Define.
2263         (clone_as_declaration): Handle DW_AT_linkage_name.
2264         (add_name_and_src_coords_attributes): Use AT_linkage_name instead
2265         of DW_AT_MIPS_linkage_name.
2266         (move_linkage_attr): Likewise.
2267         (dwarf2out_finish): Likewise.
2268
2269 2010-04-20  Xinliang David Li  <davidxl@gcc.gnu.org>
2270
2271         PR middle-end/41952
2272         * fold-const.c (fold_comparison): New folding rule.
2273
2274 2010-04-20  Anatoly Sokolov  <aesok@post.ru>
2275
2276         * double-int.h (double_int_setbit): Declare.
2277         * double-int.c (double_int_setbit): New function.
2278         * rtl.h (immed_double_int_const): Declare.
2279         * emit-rtl.c (immed_double_int_const): New function.
2280         * builtins.c (expand_builtin_signbit): Clean up, use double_int_*
2281         and immed_double_int_const functions.
2282         * optabs.c (expand_absneg_bit, expand_copysign_absneg,
2283         expand_copysign_bit):  (Ditto.).
2284         * simplify-rtx.c (simplify_binary_operation_1): (Ditto.).
2285         * tree-ssa-address.c (addr_for_mem_ref): (Ditto.).
2286         * dojump.c (prefer_and_bit_test): (Ditto.).
2287         * expr.c (convert_modes, reduce_to_bit_field_precision,
2288         const_vector_from_tree): (Ditto.).
2289         * expmed.c (mask_rtx, lshift_value): (Ditto.).
2290
2291 2010-04-20  Jan Hubicka  <jh@suse.cz>
2292
2293         * cgraph.c (cgraph_remove_node): Kill bodies in other partitoin.
2294         (dump_cgraph_node): Dump new flags.
2295         * cgraph.h (struct cgraph_node): Add flags
2296         reachable_from_other_partition and in_other_partition.
2297         (cgraph_can_remove_if_no_direct_calls_p): Functions used by
2298         other partition can not be removed.
2299         * cgraphunit.c (cgraph_mark_functions_to_output): Functions used by
2300         the other partition must be output; silence sanity checking on
2301         leaking functions bodies from other paritition.
2302         * lto-cgraph.c (reachable_from_other_partition_p): New function.
2303         (lto_output_node): Output new flags; do not sanity check that inline
2304         clones are output; drop lto_forced_extern_inline_p code; do not mock
2305         visibility flags at partition boundaries.
2306         (add_node_to): New function.
2307         (output_cgraph): Use it to sort functions so masters appear before
2308         clones.
2309         (input_overwrite_node): Input new flags.
2310         * passes.c (ipa_write_summaries): Do not call
2311         lto_new_extern_inline_states.
2312         * lto-section-out.c (forced_extern_inline,
2313         lto_new_extern_inline_states lto_delete_extern_inline_states,
2314         lto_force_functions_extern_inline, lto_forced_extern_inline_p): Kill.
2315         * lto-streamer.h (lto_new_extern_inline_states,
2316         * lto_delete_extern_inline_states, lto_force_functions_extern_inline,
2317         lto_forced_extern_inline_p): Kill.
2318
2319 2010-04-20  Richard Guenther  <rguenther@suse.de>
2320
2321         * tree-ssa-structalias.c (do_sd_constraint): Add edges only
2322         from vars that can have pointers.
2323         (process_constraint): Dump useless constraints.
2324
2325 2010-04-20  Richard Guenther  <rguenther@suse.de>
2326
2327         * tree-ssa-structalias.c (do_structure_copy): Properly handle DEREF.
2328         (dump_sa_points_to_info): Remove asserts.
2329         (init_base_vars): nothing_id isn't an escape point nor does it
2330         have pointers.
2331
2332 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
2333
2334         * tree.h (TYPE_REF_IS_RVALUE): Define.
2335         * dwarf2out.c (attr_checksum_ordered, is_type_die, is_comdat_die,
2336         should_move_die_to_comdat, prune_unused_types_walk): Handle
2337         DW_TAG_rvalue_reference_type like DW_TAG_reference_type.
2338         (modified_type_die, gen_reference_type_die): Emit
2339         DW_TAG_rvalue_reference_type instead of DW_TAG_reference_type
2340         if TYPE_REF_IS_RVALUE and -gdwarf-4.
2341
2342 2010-04-20  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2343
2344         PR target/43635
2345         * config/s390/s390.c (s390_emit_call): Turn direct into indirect
2346         calls for -fpic -m31 if they have been sibcall optimized.
2347
2348 2010-04-19  James E. Wilson  <wilson@codesourcery.com>
2349
2350         * config/ia64/ia64.h (FIXED_REGISTERS, CALL_USED_REGISTERS): Make
2351         ar.lc fixed and call-used.
2352
2353         * config/ia64/ia64.c (TARGET_INVALID_WITHIN_DOLOOP): Define.
2354
2355 2010-04-19  Jan Hubicka  <jh@suse.cz>
2356
2357         * opts.c (decode_options): Disable whpr incompatible passes.
2358         * lto/lto.c (lto_1_to_1_map): Skip clones.
2359         (read_cgraph_and_symbols): Do not mark everything as needed.
2360         (do_whole_program_analysis): Do map only after optimizing;
2361         set proper cgraph_state; use passmanager.
2362
2363 2010-04-19  DJ Delorie  <dj@redhat.com>
2364
2365         * cfgexpand.c (expand_debug_expr): Check for mismatched modes in
2366         POINTER_PLUS_EXPR and fix them.
2367
2368 2010-04-19  Eric B. Weddington  <eric.weddington@atmel.com>
2369
2370         * config/avr/avr-devices.c (avr_mcu_types): Add support for new
2371         devices atmega644pa, attiny2313a, attiny24a, attiny261a, attiny4313,
2372         attiny44a, attiny861a, atmega16a, atmega168a, atmega164a, atmega165a,
2373         atmega169a, atmega169pa, atmega16hva2, atmega324a, atmega324pa,
2374         atmega325a, atmega3250a, atmega328, atmega329a, atmega329pa,
2375         atmega3290a, atmega48a, atmega644a, atmega645a, atmega645p,
2376         atmega6450a, atmega6450p, atmega649a, atmega649p, atmega6490a,
2377         atmega6490p, atmega64hve, atmega88a, atmega88pa, attiny461a, attiny84a,
2378         m3000. Remove support for devices atmega8m1, atmega8c1, atmega16c1,
2379         atmega4hvd, atmega8hvd, attiny327, m3000f, m3000s, m3001b.
2380         * config/avr/t-avr.c (MULTILIB_MATCHES): Same.
2381
2382 2010-04-19  Eric Botcazou  <ebotcazou@adacore.com>
2383
2384         * ifcvt.c (noce_try_cmove_arith): Fix long lines.
2385         (check_cond_move_block): Likewise.
2386         (cond_move_process_if_block): Likewise.
2387         (noce_find_if_block): Improve formatting.
2388         (find_if_header): Pass 0 to memset and tweak conditions.
2389         (cond_exec_find_if_block): Fix long lines and tweak conditions.
2390
2391 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
2392
2393         * dwarf2out.c (lower_bound_default): For DW_LANG_Python return 0
2394         for -gdwarf-4.
2395
2396         PR middle-end/43337
2397         * tree-nested.c (convert_nonlocal_omp_clauses): OMP_CLAUSE_PRIVATE
2398         with non-local decl doesn't need chain.
2399
2400 2010-04-19  Vladimir Makarov  <vmakarov@redhat.com>
2401
2402         * ira-color.c (allocno_reload_assign): Avoid accumulating
2403         reload registers in ALLOCNO_TOTAL_CONFLICT_HARD_REGS.
2404
2405 2010-04-19  Martin Jambor  <mjambor@suse.cz>
2406
2407         * gimple.h (create_tmp_reg): Declare.
2408         * gimplify.c (create_tmp_reg): New function.
2409         (gimplify_return_expr): Use create_tmp_reg.
2410         (gimplify_omp_atomic): Likewise.
2411         (gimple_regimplify_operands): Likewise.
2412         * tree-dfa.c (make_rename_temp): Likewise.
2413         * tree-predcom.c (predcom_tmp_var): Likewise.
2414         (reassociate_to_the_same_stmt): Likewise.
2415         * tree-sra.c (replace_uses_with_default_def_ssa_name): Likewise.
2416         (get_replaced_param_substitute): Likewise.
2417         * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise.
2418         * tree-ssa-phiopt.c (cond_store_replacement): Likewise.
2419         * tree-ssa-pre.c (get_representative_for): Likewise.
2420         (create_expression_by_pieces): Likewise.
2421         * tree-tailcall.c (adjust_return_value_with_ops): Likewise.
2422         (create_tailcall_accumulator): Likewise.
2423
2424 2010-04-19  Martin Jambor  <mjambor@suse.cz>
2425
2426         * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Update
2427         new_stmt.
2428         (cgraph_materialize_all_clones): Assert !need_ssa_update_p.
2429
2430 2010-04-19  Richard Guenther  <rguenther@suse.de>
2431
2432         PR tree-optimization/43796
2433         * tree-vrp.c (adjust_range_with_scev): Lookup init and step
2434         from SCEV in the lattice.
2435         (vrp_visit_phi_node): Dump change.
2436
2437 2010-04-19  Richard Guenther  <rguenther@suse.de>
2438
2439         * configure.ac: Fix quoting around elf_getshstrndx ABI check.
2440         * configure: Re-generated.
2441
2442 2010-04-19  Richard Guenther  <rguenther@suse.de>
2443
2444         PR tree-optimization/43783
2445         * tree-ssa-pre.c (create_component_ref_by_pieces_1): Drop
2446         constant ARRAY_REF operands two and three if possible.
2447
2448 2010-04-19  Uros Bizjak  <ubizjak@gmail.com>
2449
2450         PR target/43766
2451         * config/i386/i386.c (ix86_decompose_address): Handle ASHIFT addends.
2452
2453 2010-04-19  Jie Zhang  <jie@codesourcery.com>
2454
2455         PR target/43662
2456         * reginfo.c (reinit_regs): Set caller_save_initialized_p to false.
2457
2458 2010-04-19  Ira Rosen  <irar@il.ibm.com>
2459
2460         PR tree-optimization/37027
2461         * tree-vectorizer.h (struct _loop_vec_info): Add new field reductions
2462         and macro to access it.
2463         (vectorizable_reduction): Add argument.
2464         (vect_get_slp_defs): Likewise.
2465         * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Collect reduction
2466         statements for possible use in SLP.
2467         (new_loop_vec_info): Initialize LOOP_VINFO_REDUCTIONS.
2468         (destroy_loop_vec_info): Free LOOP_VINFO_REDUCTIONS.
2469         (vect_create_epilog_for_reduction): Handle SLP. Modify documentation,
2470         add new argument.
2471         (vectorizable_reduction): Likewise.
2472         * tree-vect-stmts.c (vect_get_vec_defs): Update call to
2473         vect_get_slp_defs.
2474         (vectorizable_type_demotion, vectorizable_type_promotion,
2475         vectorizable_store): Likewise.
2476         (vect_analyze_stmt): Update call to vectorizable_reduction.
2477         (vect_transform_stmt): Likewise.
2478         * tree-vect-slp.c (vect_get_and_check_slp_defs): Handle reduction.
2479         (vect_build_slp_tree): Fix indentation. Check that there are no loads
2480         from different interleaving chains in same node.
2481         (vect_slp_rearrange_stmts): New function.
2482         (vect_supported_load_permutation_p): Allow load permutations for
2483         reductions. Call vect_slp_rearrange_stmts() to rearrange statements
2484         inside SLP nodes if necessary.
2485         (vect_analyze_slp_instance): Handle reductions.
2486         (vect_analyze_slp): Try to build SLP instances originating from groups
2487         of reductions.
2488         (vect_detect_hybrid_slp_stmts): Skip reduction statements.
2489         (vect_get_constant_vectors): Create initial vectors for reductions
2490         according to reduction code. Add new argument.
2491         (vect_get_slp_defs): Add new argument, pass it to
2492         vect_get_constant_vectors.
2493         (vect_schedule_slp_instance): Remove SLP tree root statements.
2494
2495 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
2496
2497         * tree.h (ENUM_IS_SCOPED): Define.
2498         * dwarf2out.c (gen_enumeration_type_die): Add DW_AT_enum_class
2499         for ENUM_IS_SCOPED enums.
2500
2501 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
2502
2503         * fold-const.c (fold_comparison): Use ssizetype.
2504         * gimple-fold.c (maybe_fold_offset_to_array_ref): Likewise.
2505         * ipa-prop.c (ipa_modify_call_arguments): Use sizetype.
2506         * tree-loop-distribution.c (build_size_arg_loc): Likewise.
2507         * tree-object-size.c (compute_object_sizes): Use size_type_node.
2508
2509         * tree.h (initialize_sizetypes): Remove parameter.
2510         (build_common_tree_nodes): Remove second parameter.
2511         * stor-layout.c (initialize_sizetypes): Remove parameter.
2512         Always create an unsigned type.
2513         (set_sizetype): Assert that the passed type is unsigned and simplify.
2514         * tree.c (build_common_tree_nodes): Remove second parameter.
2515         Adjust call to initialize_sizetypes.
2516         * c-decl.c (c_init_decl_processing): Remove second argument in call to
2517         build_common_tree_nodes.
2518
2519 2010-04-18  Matthias Klose  <doko@ubuntu.com>
2520
2521         * gcc.c (main): Search for liblto_plugin.so with mode R_OK.
2522
2523 2010-04-18  Ira Rosen  <irar@il.ibm.com>
2524
2525         PR tree-optimization/43771
2526         * tree-vect-slp.c (vect_supported_load_permutation_p): Check that
2527         load permutation doesn't have gaps.
2528
2529 2010-04-18  Jan Hubicka  <jh@suse.cz>
2530
2531         * i386.md (UNSPEC_SSE_PROLOGUE_SAVE_LOW): New.
2532         (sse_prologue_save_insn expander): Use new pattern.
2533         (sse_prologue_save_insn1): New pattern and splitter.
2534         (sse_prologue_save_insn): Update to deal also with 64bit aligned
2535         blocks.
2536         * i386.c (setup_incoming_varargs_64): Do not compute jump
2537         destination here.
2538         (ix86_gimplify_va_arg): Update alignment needed.
2539         (ix86_local_alignment): Do not align all local arrays to 128bit.
2540
2541 2010-04-17  Jan Hubicka  <jh@suse.cz>
2542
2543         * ipa-inline.c (cgraph_early_inlining): Handle flattening too.
2544
2545 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
2546
2547         * arm.md (negdi2): Remove redundant code to force values into a
2548         register.
2549
2550 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
2551
2552         * arm/bpabi.S: Add EABI alignment attributes to objects.
2553         * arm/bpabi-v6m.S: Likewise.
2554         * arm/crti.asm: Likewise.
2555         * arm/crtn.asm: Likewise.
2556         * arm/lib1funcs.asm: Likewise.
2557         * arm/libunwind.S: Likewise.
2558
2559 2010-04-17  Richard Earnshaw  <rearnsha@arm.com>
2560
2561         * arm-protos.h (tune_params): New structure.
2562         * arm.c (current_tune): New variable.
2563         (arm_constant_limit): Delete.
2564         (struct processors): Add pointer to the tune parameters.
2565         (arm_slowmul_tune): New tuning option.
2566         (arm_fastmul_tune, arm_xscale_tune, arm_9e_tune): Likewise.
2567         (all_cores): Adjust to pick up the tuning model.
2568         (arm_constant_limit): New function.
2569         (arm_override_options): Select the appropriate tuning model.  Delete
2570         initialization of arm_const_limit.
2571         (arm_split_constant): Use the new constant-limit model.
2572         (arm_rtx_costs): Pick up the current tuning model.
2573         * arm.md (is_strongarm, is_xscale): Delete.
2574         * arm-generic.md (load_ldsched_x, load_ldsched): Test explicitly
2575         for Xscale variant architectures.
2576         (mult_ldsched_strongarm, mult_ldsched): Similarly for StrongARM.
2577
2578 2010-04-17  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2579
2580         * config/arm/arm.c (arm_gen_constant): Remove unused variable
2581         can_shift.
2582         (arm_rtx_costs_1): Remove unused variable extra_cost.
2583         (arm_unwind_emit_set): Use variable offset.
2584         (thumb1_output_casesi): Remove unused variable flags.
2585
2586 2010-04-16  Jeff Law  <law@redhat.com>
2587
2588         * ira-color.c (ira_reassign_pseudos): Collect and sort all the pseudos
2589         needing assignment rather than doing a two-phase assignment.  Remove
2590         unused variable 'm'.
2591
2592 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
2593
2594         PR bootstrap/43767
2595         * alias.c (memrefs_conflict_p): Don't crash if CSELIB_VAL_PTR is NULL.
2596
2597 2010-04-16  Doug Kwan  <dougkwan@google.com>
2598
2599         * tree-ssa-reassoc.c (struct operand_entry): Add new field ID.
2600         (next_operand_entry_id): New static variable.
2601         (sort_by_operand_rank): Stabilize qsort comparator by using unique IDs.
2602         (add_to_ops_vec): Assigned unique ID to operand entry.
2603         (struct oecount_s): New field ID.
2604         (oecount_cmp): Stabilize qsort comparotor by using unique IDs.
2605         (undistribute_ops_list): Assign unique IDs to oecounts.
2606         (init_reassoc): reset next_operand_entry_id.
2607
2608 2010-04-16  Doug Kwan  <dougkwan@google.com>
2609
2610         * config/i386/i386.md (*jcc_bt<mode>): Fix build breakage by adding
2611         missing left parenthesis.
2612
2613 2010-04-16  Uros Bizjak  <ubizjak@gmail.com>
2614
2615         * config/i386/i386.md (*bt<mode>): Macroize insn from *btsi and
2616         *btdi_rex64 using SWI48 mode iterator.
2617         (*jcc_bt<mode>): Ditto from *jcc_btsi and *jcc_btdi_rex64.
2618         (*jcc_bt<mode>_mask): Ditto from *jcc_btsi_mask and
2619         *jcc_btdi_mask_rex64.
2620
2621 2010-04-16  Anatoly Sokolov  <aesok@post.ru>
2622
2623         * double-int.h (tree_to_double_int): Convert to macro.
2624         * double-int.c (tree_to_double_int): Remove.
2625
2626 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
2627
2628         PR debug/43762
2629         * dwarf2out.c (add_bound_info): Always call loc_list_from_tree
2630         with want_address 2 and in case a single element list might be
2631         possible, call it again with want_address 0.
2632
2633 2010-04-12  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
2634
2635         * config/h8300/h8300.c (print_operand) : Modify case 'V' and
2636         case 'W' print operands for HI mode.
2637         * config/h8300/h8300.h (Y0, Y2) : New constraints.
2638         * config/h8300/h8300.md (bclrqi_msx, bclrhi_msx): New patterns
2639         (bsetqi_msx, bsethi_msx, bnotqi_msx, bnothi_msx): Likewise.
2640         * config/h8300/predicate.md (bit_register_indirect_operand): New.
2641
2642         * config/h8300/h8300.h (OK_FOR_U): Support 'U' constraint for H8300SX.
2643
2644         * config/h8300/h8300.md (movqi_h8sx, movhi_h8sx, movsi_h8sx,
2645         cmphi_h8300hs_znvc, cmpsi, addhi3_h8sx) : Emit instructions in
2646         #xx:3 and #xx:4 mode.
2647
2648         * config/h8300/h8300.md (inverted load with HImode dest): Add
2649         support for H8300SX.
2650
2651         * config/h8300/predicate.md (bit_operand): Allow immediate values that
2652         satisfy 'U' constraint.
2653
2654 2010-04-16  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2655
2656         * configure.ac: Check for elf_getshdrstrndx or elf_getshstrndx flavor.
2657         * configure: Regenerate.
2658         * config.in: Regenerate.
2659         * doc/install.texi (Prerequisites): Document that Solaris 2 libelf
2660         works.
2661
2662 2010-04-16  Richard Guenther  <rguenther@suse.de>
2663
2664         * tree.h (struct tree_decl_minimal): Move pt_uid ...
2665         (struct tree_decl_common): ... here.
2666         (DECL_PT_UID): Adjust.
2667         (SET_DECL_PT_UID): Likewise.
2668         (DECL_PT_UID_SET_P): Likewise.
2669
2670 2010-04-16  Richard Guenther  <rguenther@suse.de>
2671
2672         PR tree-optimization/43572
2673         * tree-ssa-alias.h (call_may_clobber_ref_p): Declare.
2674         * tree-ssa-alias.c (call_may_clobber_ref_p): Export.
2675         * tree-flow.h (is_call_clobbered): Remove.
2676         * tree-flow-inline.h (is_call_clobbered): Likewise.
2677         * tree-dfa.c (dump_variable): Do not dump call clobber state.
2678         * tree-nrv.c (dest_safe_for_nrv_p): Use the alias oracle.
2679         (execute_return_slot_opt): Adjust.
2680         * tree-tailcall.c (suitable_for_tail_opt_p): Remove
2681         check for call clobbered vars here.
2682         (find_tail_calls): Move tailcall verification to the
2683         proper place.
2684
2685 2010-04-16  Diego Novillo  <dnovillo@google.com>
2686
2687         * doc/invoke.texi: Explain how are unrecognized -Wno- warnings handled.
2688
2689 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
2690
2691         PR target/40603
2692         * config/arm/arm.md (cbranchqi4): New pattern.
2693         * config/arm/predicates.md (const0_operand,
2694         cbranchqi4_comparison_operator): New predicates.
2695
2696 2010-04-16  Richard Guenther  <rguenther@suse.de>
2697
2698         * gimple-pretty-print.c (dump_gimple_phi): Dump alias info.
2699         (dump_gimple_stmt): Likewise.
2700
2701 2010-04-16  Bernd Schmidt  <bernds@codesourcery.com>
2702
2703         * recog.h (struct recog_data): New field is_operator.
2704         (struct insn_operand_data): New field is_operator.
2705         * recog.c (extract_insn): Set recog_data.is_operator.
2706         * genoutput.c (output_operand_data): Emit code to set the
2707         is_operator field.
2708         * reload.c (find_reloads): Use it rather than testing for an
2709         empty constraint string.
2710
2711         PR target/41514
2712         * config/arm/arm.md (cbranchsi4_insn): Renamed from "*cbranchsi4_insn".
2713         If the previous insn is a cbranchsi4_insn with the same arguments,
2714         omit the compare instruction.
2715
2716         * config/arm/arm.md (addsi3_cbranch): If destination is a high
2717         register, inputs must be low registers and we need a low register
2718         scratch.  Handle alternative 2 like alternative 3.
2719
2720 2010-04-16  Jakub Jelinek  <jakub@redhat.com>
2721
2722         * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
2723         don't call get_addr on both.  If one expression is a VALUE and
2724         the other a REG, check VALUE's locs if the REG isn't among them.
2725
2726 2010-04-16  Christian Bruel  <christian.bruel@st.com>
2727
2728         * config/sh/sh.h (sh_frame_pointer_required): New function.
2729         * config/sh/sh.h (TARGET_FRAME_POINTER_REQUIRED): New macro.
2730         (flag_omit_frame_pointer) Set.
2731         (MASK_ACCUMULATE_OUTGOING_ARGS) Define and Set.
2732         (rounded_frame_size): Adjust size with outgoing_args_size.
2733         (sh_set_return_address): Must return from stack pointer.
2734         * gcc/config/sh/sh.h (CAN_DEBUG_WITHOUT_FP): Define.
2735         (SUBTARGET_FRAME_POINTER_REQUIRED): Define.
2736         (ACCUMULATE_OUTGOING_ARGS): Define.
2737         * doc/invoke.texi (maccumulate-outgoing-args): Document for SH.
2738         * gcc/config/sh/sh.opt: (maccumulate-outgoing-args): New option.
2739
2740 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
2741
2742         PR target/43471
2743         * config/sh/sh.c (sh_legitimize_reload_address): Use
2744         MAYBE_BASE_REGISTER_RTX_P instead of BASE_REGISTER_RTX_P.
2745         Remove a unneeded check for offset_base.
2746
2747 2010-04-15  H.J. Lu  <hongjiu.lu@intel.com>
2748
2749         * configure: Regenerated.
2750
2751 2010-04-15  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2752
2753         * config/s390/s390.c (s390_call_save_register_used): Switch back
2754         to HARD_REGNO_NREGS.
2755
2756 2010-04-15  Richard Guenther  <rguenther@suse.de>
2757
2758         * alias.c (alias_set_subset_of): Handle alias-set zero
2759         child properly.
2760
2761 2010-04-15  Mark Shinwell  <shinwell@codesourcery.com>
2762             Julian Brown  <julian@codesourcery.com>
2763
2764         * config/arm/thumb2.md (thumb2_movsi_insn): Split ldr and str
2765         alternatives according to use of high and low regs.
2766         * config/arm/vfp.md (thumb2_movsi_vfp): Likewise.
2767         * config/arm/arm.h (CONDITIONAL_REGISTER_USAGE): Use high regs when
2768         optimizing for size on Thumb-2.
2769
2770 2010-04-15  Thomas Schwinge  <tschwinge@gnu.org>
2771
2772         * config.gcc <i[34567]86-*-gnu*>: Handle softfp as for Linux.
2773
2774 2010-04-15  Richard Guenther  <rguenther@suse.de>
2775
2776         * tree-ssa-structalias.c (struct variable_info): Add
2777         is_fn_info flag.
2778         (new_var_info): Initialize it.
2779         (dump_constraints): Support printing last added constraints.
2780         (debug_constraints): Adjust.
2781         (dump_constraint_graph): Likewise.
2782         (make_heapvar_for): Check for NULL cfun.
2783         (get_function_part_constraint): New function.
2784         (get_fi_for_callee): Likewise.
2785         (find_func_aliases): Properly implement IPA PTA constraints.
2786         (process_ipa_clobber): New function.
2787         (find_func_clobbers): Likewise.
2788         (insert_into_field_list_sorted): Remove.
2789         (create_function_info_for): Properly allocate vars for IPA mode.
2790         Do not use insert_into_field_list_sorted.
2791         (create_variable_info_for): Properly generate constraints for
2792         global vars in IPA mode.
2793         (dump_solution_for_var): Always dump the solution.
2794         (set_uids_in_ptset): Initialize DECL_PT_UID if in ipa-mode.
2795         (find_what_var_points_to): Adjust.
2796         (pt_solution_set): Change.
2797         (pt_solution_ior_into): New function.
2798         (pt_solution_empty_p): Export.
2799         (pt_solution_includes_global): Adjust.
2800         (pt_solution_includes_1): Likewise.
2801         (pt_solutions_intersect_1): Likewise.
2802         (dump_sa_points_to_info): Check some invariants.
2803         (solve_constraints): Move constraint dumping ...
2804         (compute_points_to_sets): ... here.
2805         (ipa_pta_execute): ... and here.
2806         (compute_may_aliases): Do not re-compute points-to info
2807         locally if IPA info is available.
2808         (ipa_escaped_pt): New global var.
2809         (ipa_pta_execute): Properly implement IPA PTA.
2810         * tree-into-ssa.c (dump_decl_set): Support dumping
2811         decls not in referenced-vars.
2812         * tree-flow.h (struct gimple_df): Add ipa_pta flag.
2813         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Adjust.
2814         (dump_points_to_solution): Likewise.
2815         * tree-dfa.c (dump_variable): Also dump DECL_PT_UID.
2816         * tree-inline.c (remap_ssa_name): Copy IPA points-to solution.
2817         (remap_gimple_stmt): Reset call clobber/use information if necessary.
2818         (copy_decl_to_var): Copy DECL_PT_UID.
2819         (copy_result_decl_to_var): Likewise.
2820         * tree.c (make_node_stat): Initialize DECL_PT_UID.
2821         (copy_node_stat): Copy it.
2822         * tree.h (DECL_PT_UID): New macro.
2823         (SET_DECL_PT_UID): Likewise.
2824         (DECL_PT_UID_SET_P): Likewise.
2825         (struct tree_decl_minimal): Add pt_uid member.
2826         * tree-ssa-alias.h (struct pt_solution): Add ipa_escaped flag.
2827         (pt_solution_empty_p): Declare.
2828         (pt_solution_set): Adjust.
2829         (ipa_escaped_pt): Declare.
2830         * cfgexpand.c (update_alias_info_with_stack_vars): Adjust.
2831         * gimple-pretty-print.c (pp_points_to_solution): New function.
2832         (dump_gimple_call): Dump call clobber/use information.
2833         * tree-dump.c (dump_option_value_in): Add TDF_ALIAS entry.
2834         * tree-pass.h (TDF_ALIAS): New dump option.
2835         * tree-pretty-print.c (dump_decl_name): Dump DECL_PT_UID if asked to.
2836         * doc/invoke.texi (-fipa-pta): Update documentation.
2837
2838 2010-04-15  Richard Guenther  <rguenther@suse.de>
2839
2840         * Makefile.in (OBJS-common): Add gimple-fold.o.
2841         (gimple-fold.o): New rule.
2842         * tree.h (maybe_fold_offset_to_reference,
2843         maybe_fold_offset_to_address, maybe_fold_stmt_addition): Move
2844         prototypes ...
2845         * gimple.h: ... here.
2846         * tree-flow.h (fold_stmt, fold_stmt_inplace, get_symbol_constant_value,
2847         may_propagate_address_into_dereference): Move prototypes ...
2848         * gimple.h: ... here.
2849         * tree-ssa-ccp.c (get_symbol_constant_value,
2850         may_propagate_address_into_dereference, maybe_fold_offset_to_array_ref,
2851         maybe_fold_offset_to_component_ref, maybe_fold_offset_to_reference,
2852         maybe_fold_offset_to_address, maybe_fold_stmt_indirect,
2853         maybe_fold_stmt_addition, maybe_fold_reference, get_maxval_strlen,
2854         ccp_fold_builtin, fold_gimple_assign, fold_gimple_cond,
2855         fold_gimple_call, fold_stmt_1, fold_stmt, fold_stmt_inplace,
2856         gimplify_and_update_call_from_tree): Move ...
2857         * gimple-fold.c: ... here.  New file.
2858         (ccp_fold_builtin): Rename to ...
2859         (gimple_fold_builtin): ... this.
2860         * tree-ssa-ccp.c (execute_fold_all_builtins): Adjust.
2861
2862 2010-04-15  Richard Guenther  <rguenther@suse.de>
2863
2864         * fold-const.c (LOWPART, HIGHPART, BASE, encode, decode,
2865         fit_double_type, force_fit_type_double, add_double_with_sign,
2866         neg_double, mul_double_with_sign, lshift_double, rshift_double,
2867         lrotate_double, rrotate_double, div_and_round_double): Move ...
2868         * double-int.c: ... here.
2869         * tree.h (force_fit_type_double, fit_double_type, add_double_with_sign,
2870         add_double, neg_double, mul_double_with_sign, mul_double,
2871         lshift_double, rshift_double, lrotate_double, rrotate_double,
2872         div_and_round_double): Move prototypes ...
2873         * double-int.h: ... here.
2874
2875 2010-04-15  Bernd Schmidt  <bernds@codesourcery.com>
2876
2877         PR target/43742
2878         * config/sh/sh.md (doloop_end_split, dect): Undo previous patch.  Use
2879         matching constraints to ensure inputs match the output.
2880
2881 2010-04-15  Kaz Kojima  <kkojima@gcc.gnu.org>
2882
2883         PR target/43742
2884         * config/sh/sh.md (doloop_end_split): Remove "+r" constraint
2885         in an input-only operand.
2886
2887 2010-04-15  Anatoly Sokolov  <aesok@post.ru>
2888
2889         * double-int.h (HOST_BITS_PER_DOUBLE_INT): Define.
2890         (double_int_not, double_int_lshift, double_int_rshift): Declare.
2891         (double_int_negative_p): Convert to static inline function.
2892         * double-int.c (double_int_lshift, double_int_lshift): New functions.
2893         (double_int_negative_p): Remove.
2894         * tree.h (lshift_double, rshift_double):
2895         * tree.c (build_low_bits_mask): Clean up, use double_int_* functions.
2896         * fold-const.c (fold_convert_const_int_from_real,
2897         fold_convert_const_int_from_fixed, div_if_zero_remainder): (Ditto.).
2898         (lshift_double): Change type of arith argument to bool.
2899         (rshift_double): Change type of arith argument to bool. Correct
2900         comment.
2901         * expmed.c (mask_rtx, lshift_value): (Ditto.).
2902
2903 2010-04-14  Bernd Schmidt  <bernds@codesourcery.com>
2904
2905         PR target/21803
2906         * ifcvt.c (cond_exec_process_if_block): Look for identical sequences
2907         at the start and end of the then/else blocks, and omit them from the
2908         conversion.
2909         * cfgcleanup.c (flow_find_cross_jump): No longer static.  Remove MODE
2910         argument; all callers changed.  Pass zero to old_insns_match_p instead.
2911         (flow_find_head_matching_sequence): New function.
2912         (old_insns_match_p): Check REG_EH_REGION notes for calls.
2913         * basic-block.h (flow_find_cross_jump,
2914         flow_find_head_matching_sequence): Declare functions.
2915
2916 2010-04-14  Jason Merrill  <jason@redhat.com>
2917
2918         PR c++/36625
2919         * c-common.c (attribute_takes_identifier_p): New fn.
2920         * c-common.h: Declare it.
2921
2922 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2923
2924         * config/i386/i386.md (*divmod<mode>4): Remove stray "&&" from
2925         splitter condition.
2926         (*udivmod<mode>4): Ditto.
2927
2928 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2929
2930         * config/i386/i386.md (maxmin_int): Rename code attribute from
2931         maxminiprefix and update all users.
2932         (maxmin_float): Ditto from maxminfprefix.
2933         (logic): Ditto from logicprefix.
2934         (absneg_mnemonic): Ditto from absnegprefix.
2935         * config/i386/mmx.md: Update all users of maxminiprefix,
2936         maxminfprefix and logicprefix for rename.
2937         * config/i386/sse.md: Ditto.
2938         * config/i386/sync.md (sync_<code><mode>): Update for
2939         logicprefix rename.
2940
2941 2010-04-14  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2942
2943         PR 42966
2944         * diagnostics.c (diagnostic_report_diagnostic): Mark specially
2945         warnings converted to errors.
2946
2947 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2948
2949         * config/alpha/alpha.c (alpha_adjust_cost): Remove set but not
2950         used insn_type variable.
2951         (function_value): Add ATTRIBUTE_UNUSED to dummy variable declaration
2952         to avoid set-but-not-used warning.
2953
2954 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2955
2956         * df-core.c (df_ref_debug): Change format string placeholder
2957         from 0x%x to %#x.
2958         * dwarf2asm.c (dw2_asm_output_data_raw,
2959         dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_uleb128,
2960         dw2_asm_output_data_sleb128_raw, dw2_asm_output_data_sleb128): Ditto.
2961         * dwarf2out.c (output_cfi, output_cfi_directive,
2962         dwarf2out_do_cfi_startproc, output_loc_sequence_raw,
2963         output_cfa_loc_raw, output_die, output_ranges, output_file_names):
2964         Ditto.
2965         * genattrtab.c (write_test_expr, write_attr_valueq): Ditto.
2966         * print-rtl.c (print_rtx): Ditto.
2967
2968 2010-04-14  Michael Meissner  <meissner@linux.vnet.ibm.com>
2969
2970         PR middle-end/42694
2971         * builtins.c (expand_builtin_pow_root): New function to expand pow
2972         calls with exponents 0.25, 0.50, 0.75, 1./3., and 1./6. into a
2973         series of sqrt and cbrt calls under -ffast-math.
2974         (expand_builtin_pow): Call it.
2975
2976 2010-04-14  Michael Matz  <matz@suse.de>
2977
2978         PR tree-optimization/42963
2979         * tree-cfg.c (touched_switch_bbs): New static variable.
2980         (group_case_labels_stmt): New function broken out from ...
2981         (group_case_labels): ... here, use the above.
2982         (start_recording_case_labels): Allocate touched_switch_bbs.
2983         (end_recording_case_labels): Deallocate it, call
2984         group_case_labels_stmt.
2985         (gimple_redirect_edge_and_branch): Remember index of affected BB.
2986
2987 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2988
2989         * config/i386/i386.md (*popcountsi2_cmp_zext): Remove mode attribute
2990         from insn template.
2991
2992 2010-04-14  Uros Bizjak  <ubizjak@gmail.com>
2993
2994         * config/i386/i386.md (*ashlqi3_1_slp): New insn pattern.
2995
2996 2010-04-13  Jan Hubicka  <jh@suse.cz>
2997
2998         * ipa-inline.c (cgraph_mark_inline_edge): Avoid double accounting
2999         of optimized out static functions.
3000         (cgraph_edge_badness): Add DUMP parameter and dump reasons for the
3001         cost computation.  Also sanity check for overflows.
3002         (update_caller_keys): Update cgraph_edge_badness call; properly
3003         update fibheap and sanity check that it is up to date.
3004         (add_new_edges_to_heap): Update cgraph_edge_badness.
3005         (cgraph_decide_inlining_of_small_function): Likewise;
3006         add sanity checking that badness in heap is up to date;
3007         improve dumping of reason; Update badness of calls to the
3008         offline copy of function currently inlined; dump badness
3009         of functions not inlined because of unit growth limits.
3010
3011 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
3012
3013         PR middle-end/32628
3014         * c-common.c (pointer_int_sum): Disregard overflow that occured only
3015         because of sign-extension change when converting to sizetype here...
3016         * fold-const.c (fold_convert_const_int_from_int): ...and not here.
3017
3018         * fold-const.c (fold_binary_op_with_conditional_arg): Do not restrict
3019         the folding to constants.  Remove redundant final conversion.
3020         (fold_binary) <associate>: Do not associate if the re-association of
3021         constants alone overflows.
3022         (fold_binary) <FLOOR_MOD_EXPR>: Move transformation into BIT_AND_EXPR
3023         to the end of the list.
3024         (multiple_of_p) <COND_EXPR>: New case.
3025
3026 2010-04-13  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3027
3028         * opt-functions.awk (opt_sanitized_name): New.
3029         (opt_enum): New.
3030         * optc-gen.awk: Use it
3031         * opth-gen.awk: Use it.
3032
3033 2010-04-13  Martin Jambor  <mjambor@suse.cz>
3034
3035         * tree-sra.c (replace_uses_with_default_def_ssa_name): New function.
3036         (sra_modify_assign): Delete stmts loading dead data even if racc has no
3037         children.  Call replace_uses_with_default_def_ssa_name to handle
3038         SSA_NAES on lhs.
3039
3040 2010-04-13  Michael Matz  <matz@suse.de>
3041
3042         PR middle-end/43730
3043         * builtins.c (expand_builtin_interclass_mathfn): Also create
3044         a register if the predicate doesn't match.
3045
3046 2010-04-13  Diego Novillo  <dnovillo@google.com>
3047
3048         * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h.
3049         * c-pch.c: Include timevar.h.
3050         (c_common_write_pch): Use TV_PCH_SAVE and TV_PCH_CPP_SAVE timers.
3051         (c_common_read_pch): Use TV_PCH_RESTORE and TV_PCH_CPP_RESTORE timers.
3052         * ggc-common.c: Include timevar.h.
3053         (gt_pch_save): Use TV_PCH_PTR_REALLOC and TV_PCH_PTR_SORT timers.
3054         * timevar.def (TV_PCH_SAVE): Define.
3055         (TV_PCH_CPP_SAVE): Define.
3056         (TV_PCH_PTR_REALLOC): Define.
3057         (TV_PCH_PTR_SORT): Define.
3058         (TV_PCH_RESTORE): Define.
3059         (TV_PCH_CPP_RESTORE): Define.
3060
3061 2010-04-13  Michael Matz  <matz@suse.de>
3062
3063         * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
3064         into MINUS_EXPRs.
3065         (can_reassociate_p): New function.
3066         (break_up_subtract_bb, reassociate_bb): Use it.
3067
3068 2010-04-13  Richard Guenther  <rguenther@suse.de>
3069
3070         PR bootstrap/43737
3071         * builtins.c (c_readstr): Fix assert.
3072
3073 2010-04-13  Uros Bizjak  <ubizjak@gmail.com>
3074
3075         * config/i386/i386.md (extendsidi2 splitter): Also check for DX_REG
3076         when generating cltd insn.
3077
3078         (*ashl<mode>3_1): Remove special handling for register operand 2.
3079         (*ashlsi3_1_zext): Ditto.
3080         (*ashlhi3_1): Ditto.
3081         (*ashlhi3_1_lea): Ditto.
3082         (*ashlqi3_1): Ditto.
3083         (*ashlqi3_1_lea): Ditto.
3084         (*<shiftrt_insn><mode>3_1): Ditto.
3085         (*<shiftrt_insn>si3_1_zext): Ditto.
3086         (*<shiftrt_insn>qi3_1_slp): Ditto.
3087         (*<rotate_insn><mode>3_1): Ditto.
3088         (*<rotate_insn>si3_1_zext): Ditto.
3089         (*<rotate_insn>qi3_1_slp): Ditto.
3090
3091 2010-04-13  Richard Guenther  <rguenther@suse.de>
3092
3093         * tree-ssa-structalias.c (callused_id): Remove.
3094         (call_stmt_vars): New.
3095         (get_call_vi): Likewise.
3096         (lookup_call_use_vi): Likewise.
3097         (lookup_call_clobber_vi): Likewise.
3098         (get_call_use_vi): Likewise.
3099         (get_call_clobber_vi): Likewise.
3100         (make_transitive_closure_constraints): Likewise.
3101         (handle_const_call): Adjust to do per-call call-used handling.
3102         (handle_pure_call): Likewise.
3103         (find_what_var_points_to): Remove general callused handling.
3104         (init_base_vars): Likewise.
3105         (init_alias_vars): Initialize call_stmt_vars.
3106         (compute_points_to_sets): Process call-used and call-clobbered
3107         vars for call statements.
3108         (delete_points_to_sets): Free call_stmt_vars.
3109
3110 2010-04-13  Richard Guenther  <rguenther@suse.de>
3111
3112         * tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
3113         Only add RW dependence for dependence distance zero.
3114         Adjust maximal vectorization factor according to dependences.
3115         Move alignment handling ...
3116         (vect_find_same_alignment_drs): ... here.  New function.
3117         (vect_analyze_data_ref_dependences): Adjust.
3118         (vect_analyze_data_refs_alignment): Call vect_find_same_alignment_drs.
3119         (vect_analyze_data_refs): Adjust minimal vectorization factor
3120         according to data references.
3121         * tree-vect-loop.c (vect_analyze_loop): Analyze data-ref
3122         dependences before determining the vectorization factor.
3123         Analyze alignment after determining the vectorization factor.
3124         * tree-vect-slp.c ((vect_slp_analyze_bb): Analyze data-ref
3125         dependences before alignment.
3126         * tree-vectorizer.h (vect_analyze_data_ref_dependences):
3127         Adjust prototype.
3128         (vect_analyze_data_refs): Likewise.
3129         (MAX_VECTORIZATION_FACTOR): New define.
3130
3131 2010-04-13  Duncan Sands  <baldrick@free.fr>
3132
3133         * except.h (lang_eh_type_covers): Remove.
3134         * except.c (lang_eh_type_covers): Likewise.
3135
3136 2010-04-13  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3137             Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3138
3139         * gcc/config/s390/s390.md: Replace TARGET_64BIT with TARGET_ZARCH.
3140         * gcc/config/s390/s390.c: Replace UNTIS_PER_WORD with
3141         UNITS_PER_LONG where it is ABI relevant.
3142         (s390_return_addr_rtx): Likewise.
3143         (s390_back_chain_rtx): Likewise.
3144         (s390_frame_area): Likewise.
3145         (s390_frame_info): Likewise.
3146         (s390_initial_elimination_offset): Likewise.
3147         (save_gprs): Likewise.
3148         (s390_emit_prologue): Likewise.
3149         (s390_emit_epilogue): Likewise.
3150         (s390_function_arg_advance): Likewise.
3151         (s390_function_arg): Likewise.
3152         (s390_va_start): Likewise.
3153         (s390_gimplify_va_arg): Likewise.
3154         (s390_function_profiler): Likewise.
3155         (s390_optimize_prologue): Likewise.
3156         (s390_rtx_costs): Likewise.
3157         (s390_secondary_reload): Likewise.
3158         (s390_promote_function_mode): Likewise.
3159         (s390_hard_regno_mode_ok): Replace TARGET_64BIT with TARGET_ZARCH.
3160         (s390_scalar_mode_supported_p): Disallow TImode if no 64 bit
3161         registers available.
3162         (s390_unwind_word_mode): New function.
3163         (s390_function_value): Split 64 bit values into register pair if
3164         used as return value.
3165         (s390_call_saved_register_used): Don't use HARD_REGNO_NREGS for
3166         function call parameters.  Handle parallels.
3167         (TARGET_SCALAR_MODE_SUPPORTED_P): New macro.
3168         (HARD_REGNO_CALL_PART_CLOBBERED): New macro.
3169         (DWARF_CIE_DATA_ALIGNMENT): New macro.
3170         (s390_expand_setmem): Remove unused variable src_addr.
3171         * gcc/longlong.h: Make smul_ppmm and sdiv_qrnnd inline asms to
3172         deal with 64 bit registers.
3173         * gcc/config/s390/s390.h: Define __zarch__ predefined macro.
3174         Replace UNITS_PER_WORD with UNITS_PER_LONG where it is ABI relevant.
3175         (UNITS_PER_LONG): New macro.
3176         * libjava/include/s390-signal.h: Define extended ucontext
3177         structure containing the upper halfs of the 64 bit registers.
3178
3179 2010-04-13  Simon Baldwin  <simonb@google.com>
3180
3181         * cfgexpand.c (gimple_expand_cfg): Clarify warning message text.
3182
3183 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
3184
3185         * gimple.c (walk_gimple_op) <GIMPLE_ASSIGN>: Do not request a pure
3186         rvalue on the RHS if the LHS is of a non-renamable type.
3187         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Fold result.
3188
3189 2010-04-13  Matthias Klose  <doko@ubuntu.com>
3190
3191         * gcc.c (cc1_options): Handle -iplugindir before processing
3192         the cc1 spec. Only add -iplugindir once.
3193         (cpp_unique_options): Add -iplugindir option if -fplugin* options
3194         found.
3195         * common.opt (iplugindir): Remove `Separate' property, initialize.
3196         * plugin.c (default_plugin_dir_name): Error with missing -iplugindir
3197         option.
3198         * Makefile.in (check-%, check-parallel-%): Create plugin dir.
3199         (distclean): Remove plugin dir.
3200         * doc/invoke.texi: Document -iplugindir.
3201
3202 2010-04-13  Basile Starynkevitch  <basile@starynkevitch.net>
3203
3204         * doc/plugins.texi (Loading Plugins): Document short
3205         -fplugin=foo option.
3206         (Plugin API): Mention default_plugin_dir_name function.
3207
3208         * gcc.c (find_file_spec_function): Add new declaration.
3209         (static_spec_func): Use it for "find-file".
3210         (find_file_spec_function): Add new function.
3211         (cc1_options): Add -iplugindir option if -fplugin* options found.
3212
3213         * gcc-plugin.h (default_plugin_dir_name): Added new declaration.
3214
3215         * plugin.c (add_new_plugin): Updated comment, and handle short
3216         plugin name.
3217         (default_plugin_dir_name): Added new function.
3218
3219         * common.opt (iplugindir): New option to set the plugin directory.
3220
3221 2010-04-12  Uros Bizjak  <ubizjak@gmail.com>
3222
3223         * config/i386/i386.md (any_rotate): New code iterator.
3224         (rotate_insn): New code attribute.
3225         (rotate): Ditto.
3226         (SWIM124): New mode iterator.
3227         (<rotate_insn>ti3): New expander.
3228         (<rotate_insn>di3): Macroize expander from {rotl,rotr}di3 using
3229         any_rotate code iterator.
3230         (<rotate_insn><mode>3) Macroize expander from {rotl,rotr}{qi,hi,si}3
3231         using any_rotate code iterator and SWIM124 mode iterator.
3232         (ix86_rotlti3): New insn_and_split pattern.
3233         (ix86_rotrti3): Ditto.
3234         (ix86_rotl<dwi>3_doubleword): Macroize insn_and_split pattern from
3235         ix86_rotl{di,ti}3 patterns.
3236         (ix86_rotr<dwi>3_doubleword): Ditto from ix86_rotr{di,ti}3 patterns.
3237         (*<rotate_insn><mode>3_1): Merge with *{rotl,rotr}{qi,hi,si}3_1_one_bit
3238         and *{rotl,rotr}di3_1_one_bit_rex64. Macroize insn from
3239         *{rotl,rotr}{qi,hi,si}3_1 and *{rotl,rotr}di3_1_rex64 using any_rotate
3240         code iterator and SWI mode iterator.
3241         (*<rotate_insn>si3_1_zext): Merge with *{rotl,rotr}si3_1_one_bit_zext.
3242         Macroize insn from {rotl,rotr}si3_1_zext using any_rotate
3243         code iterator.
3244         (*<rotate_insn>qi3_1_slp): Merge with *{rotl,rotr}qi3_1_one_bit_slp.
3245         Macroize insn from {rotl,rotr}qi3_1_slp using any_rotate code iterator.
3246         (bswap rotatert splitter): Add splitter.
3247         (bswap splitter): Macroize splitter using any_rotate code iterator.
3248         Add insn predicate to split only for TARGET_USE_XCHGB or when
3249         optimizing function for size.
3250
3251 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
3252
3253         * config/pa/pa.c (emit_move_sequence): Remove use of
3254         deleted variable flag_argument_noalias.
3255
3256 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3257
3258         * config.gcc: Removed *-*-solaris2.7* from list of obsolete
3259         configurations.
3260         Add to unsupported targets list.
3261         * configure.ac (gcc_cv_as_tls): Removed i[34567]86-*-solaris2.[567]*,
3262         sparc*-sun-solaris2.[567]* from target lists.
3263         * configure: Regenerate.
3264         * doc/install.texi (Specific, *-*-solaris2*): Document Solaris 7
3265         removal.
3266         Remove Solaris 7 patch references.
3267         (Specific, sparc-sun-solaris2.7): Removed.
3268         (sparc-sun-solaris2*): Update Solaris 7 example.
3269         (sparc64-*-solaris2*): Likewise.
3270
3271 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3272
3273         * config.build (alpha*-dec-osf4*): Remove.
3274         * config.gcc: Remove alpha*-dec-osf4*, alpha-dec-osf5.0* from list
3275         of obsolete configurations.
3276         (alpha*-dec-osf[45]*): Remove alpha*-dec-osf4*, alpha-dec-osf5.0*
3277         support.
3278         * config/alpha/t-osf4: Renamed to ...
3279         * config/alpha/t-osf5: ... this.
3280         * config/alpha/osf.h: Renamed to ...
3281         * config/alpha/osf5.h: ... this.
3282         Merged old osf5.h contents.
3283         Update comments.
3284         (ASM_SPEC): Use ASM_OLDAS_SPEC directly.
3285         (EXTRA_SPECS): Removed.
3286         * doc/install.texi (Specific, alpha*-dec-osf5.1): Renamed to
3287         reflect removal of Tru64 UNIX V4.0/V5.0 support.
3288         Document that.
3289
3290 2010-04-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3291
3292         * doc/contrib.texi (Contributors, Rainer Orth): Update.
3293
3294 2010-04-12  Kai Tietz  <kai.tietz@onevision.com>
3295
3296         PR/43702
3297         * config/i386/i386.c (x86_this_parameter): Handle aggregate for
3298         __thiscall convention.
3299
3300 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
3301
3302         * config/pa/pa.c (hppa_legitimize_address): Remove unused variable
3303         orig_base.
3304         * config/pa/pa.md (call, call_value): Remove unused variable call_insn.
3305
3306 2010-04-12  Steve Ellcey  <sje@cup.hp.com>
3307
3308         * function.c (assign_parms_initialize_all): Add unused attribute
3309         to fntype.
3310
3311 2010-04-12  Richard Guenther  <rguenther@suse.de>
3312
3313         * gsstruct.def (GSS_CALL): New.
3314         * gimple.def (GIMPLE_CALL): Change to GSS_CALL.
3315         * gimple.h: Include tree-ssa-alias.h.
3316         (struct gimple_statement_call): New.
3317         (union gimple_statement_struct_d): Add gimple_call member.
3318         (gimple_call_reset_alias_info): Declare.
3319         (gimple_call_use_set): New function.
3320         (gimple_call_clobber_set): Likewise.
3321         * Makefile.in (GIMPLE_H): Add tree-ssa-alias.h.
3322         * gimple.c (gimple_call_reset_alias_info): New function.
3323         (gimple_build_call_1): Call it.
3324         * lto-streamer-in.c (input_gimple_stmt): Likewise.
3325         * tree-inline.c (remap_gimple_stmt): Likewise.
3326         (expand_call_inline): Remove callused handling.
3327         * cfgexpand.c (update_alias_info_with_stack_vars): Likewise.
3328         * tree-dfa.c (dump_variable): Likewise.
3329         * tree-parloops.c (parallelize_loops): Likewise.
3330         * tree-ssa.c (init_tree_ssa): Likewise.
3331         (delete_tree_ssa): Likewise.
3332         * tree-flow-inline.h (is_call_used): Remove.
3333         * tree-flow.h (struct gimple_df): Remove callused member.
3334         * tree-nrv.c (dest_safe_for_nrv_p): Adjust predicate.
3335         * tree-ssa-alias.c (dump_alias_info): Remove callused handling.
3336         (ref_maybe_used_by_call_p_1): Simplify.
3337         (call_may_clobber_ref_p_1): Likewise.
3338         * tree-ssa-structalias.c (compute_points_to_sets): Set
3339         the call stmt used and clobbered sets.
3340         * tree-tailcall.c (suitable_for_tail_opt_p): Adjust predicate.
3341         (find_tail_calls): Verify the tail call.
3342
3343 2010-04-12  Richard Guenther  <rguenther@suse.de>
3344
3345         * ipa.c (cgraph_postorder): Adjust postorder to guarantee
3346         single-iteration always-inline inlining.
3347         * ipa-inline.c (cgraph_mark_inline): Do not return anything.
3348         (cgraph_decide_inlining): Do not handle always-inline specially.
3349         (try_inline): Remove always-inline cycle detection special case.
3350         Do not recurse on always-inlines.
3351         (cgraph_early_inlining): Do not iterate if not optimizing.
3352         (cgraph_gate_early_inlining): remove.
3353         (pass_early_inline): Run unconditionally.
3354         (gate_cgraph_decide_inlining): New function.
3355         (pass_ipa_inline): Use it.  Do not run the IPA inliner if
3356         not inlining or optimizing.
3357         (cgraph_decide_inlining_of_small_functions): Also consider
3358         always-inline functions.
3359         (cgraph_default_inline_p): Return true for nodes which should
3360         disregard inline limits.
3361         (estimate_function_body_sizes): Assume zero size and time for
3362         nodes which are marked as disregarding inline limits.
3363         (cgraph_decide_recursive_inlining): Do not perform recursive
3364         inlining on always-inline nodes.
3365
3366 2010-04-12  Jakub Jelinek  <jakub@redhat.com>
3367
3368         PR bootstrap/43699
3369         * c-typeck.c (c_process_expr_stmt): Call mark_exp_read even
3370         for exprs satisfying handled_component_p.
3371
3372 2010-04-12  Eric Botcazou  <ebotcazou@adacore.com>
3373
3374         * expr.c (categorize_ctor_elements_1): Properly count sub-elements of
3375         non-constant aggregate elements.
3376
3377         * gimplify.c (gimplify_init_constructor): Do not pre-evaluate if this
3378         is a real initialization.
3379
3380 2010-04-12  Shujing Zhao  <pearly.zhao@oracle.com>
3381
3382         PR c/36774
3383         * c-decl.c (start_function): Move forward check for nested function.
3384
3385 2010-04-11  Kaz Kojima  <kkojima@gcc.gnu.org>
3386
3387         * config/sh/sh-protos.h (sh_legitimize_reload_address): Declare.
3388         * config/sh/sh.c: Include reload.h.
3389         (sh_legitimize_reload_address): New.
3390         * config/sh/sh.h (LEGITIMIZE_RELOAD_ADDRESS): Use
3391         sh_legitimize_reload_address.
3392
3393 2010-04-11  Kaushik Phatak  <kaushik.phatak@kpitcummins.com>
3394
3395         * config/sh/sh.md (*movqi_pop): New insn pattern.
3396         * config/sh/predicates.md (sh_no_delay_pop_operand): New predicate.
3397
3398 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
3399
3400         * config/i386/i386.md (any_shiftrt): New code iterator.
3401         (shiftrt_insn): New code attribute.
3402         (shiftrt): Ditto.
3403         (<shiftrt_insn><mode>3): Macroize expander from {ashr,lshr}<mode>3
3404         using any_shiftrt code iterator.
3405         (*<shiftrt_insn><mode>3_doubleword): Macroize insn_and_split from
3406         *{ashr,lshr}<mode>3_doubleword using any_shiftrt code iterator.
3407         (*<shiftrt_insn><mode>3_doubleword peephole2): Macroize peephole2
3408         pattern from corresponding peephole2 patterns.
3409         (*<shiftrt_insn><mode>3_1): Macroize insn from *{ashr,lshr}<mode>3_1
3410         using any_shiftrt code iterator.
3411         (*<shiftrt_insn>si3_1_zext): Ditto from *{ashr,lshr}si3_1_zext.
3412         (*<shiftrt_insn>qi3_1_slp): Ditto from *{ashr,lshr}qi3_1_slp.
3413         (*<shiftrt_insn><mode>3_cmp): Ditto from *{ashr,lshr}<mode>3_cmp.
3414         (*<shiftrt_insn><mode>3_cmp_zext): Ditto from
3415         *{ashr,lshr}<mode>3_cmp_zext.
3416         (*<shiftrt_insn><mode>3_cconly): Ditto from *{ashr,lshr}<mode>3_cconly.
3417
3418 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
3419
3420         * config/i386/i386.md (*ashr<mode>3_cconly): Fix wrong mode of
3421         scratch register.
3422         (*lshr<mode>3_cconly): Ditto.
3423
3424 2010-04-11  Uros Bizjak  <ubizjak@gmail.com>
3425
3426         * config/i386/i386.md (lshr<mode>3): Macroize expander from
3427         lshr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
3428         (*lshr<mode>3_doubleword): New insn_and_split_pattern.  Macroize
3429         pattern from *lshr{di,ti}3_1 and corresponding splitters using
3430         DWI mode iterator.
3431         (*lshr<mode>3_doubleword peephole2): Macroize peephole2 pattern
3432         from corresponding peephole2 patterns.
3433         (*lshr<mode>3_1): Merge with *lshr{qi,hi,si}3_1_one_bit and
3434         *lshrdi3_1_one_bit_rex64. Macroize insn from *lshr{qi,hi,si}3_1
3435         and *lshrdi3_1_rex64 using SWI mode iterator.
3436         (*lshrsi3_1_zext): Merge with *lshrsi3_1_one_bit_zext.
3437         (*lshrqi3_1_slp): Merge with *lshrqi3_1_one_bit_slp.
3438         (*lshr<mode>3_cmp): Merge with *lshr{qi,hi,si}3_one_bit_cmp and
3439         *lshrdi3_one_bit_cmp_rex64. Macroize insn from *lshr{qi,hi,si}3_cmp
3440         and *lshrdi3_cmp_rex64 using SWI mode iterator.
3441         (*lshrsi3_cmp_zext): Merge with *lshrsi3_cmp_one_bit_zext.
3442         (*lshr<mode>3_cconly): Merge with *lshr{qi,hi,si}3_one_bit_cconly and
3443         *lshrdi3_one_bit_cconly_rex64. Macroize insn from
3444         *lshr{qi,hi,si}3_cconly and *lshrdi3_cconly_rex64 using
3445         SWI mode iterator.
3446
3447 2010-04-10  Uros Bizjak  <ubizjak@gmail.com>
3448
3449         * config/i386/i386.md (ashr<mode>3): Macroize expander from
3450         ashr{qi,hi,si,di,ti}3_1 using SDWIM mode iterator.
3451         (*ashr<mode>3_doubleword): New insn_and_split_pattern.  Macroize
3452         pattern from *ashr{di,ti}3_1 and corresponding splitters using
3453         DWI mode iterator.
3454         (*ashr<mode>3_doubleword peephole2): Macroize peephole2 pattern
3455         from corresponding peephole2 patterns.
3456         (ashrdi3_cvt): Rename from ashrdi3_63_rex64.
3457         (ashrsi3_cvt): Rename from ashrsi3_31.
3458         (*ashrsi3_cvt_zext): Rename from *ashrsi3_31_zext.
3459         (x86_shift<mode>_adj_3): Macroize expander from x86_shift_adj_3
3460         and x86_64_shift_adj_3 using SWI48 mode iterator.
3461         (*ashr<mode>3_1): Merge with *ashr{qi,hi,si}3_1_one_bit and
3462         *ashrdi3_1_one_bit_rex64. Macroize insn from *ashr{qi,hi,si}3_1
3463         and *ashrdi3_1_rex64 using SWI mode iterator.
3464         (*ashrsi3_1_zext): Merge with *ashrsi3_1_one_bit_zext.
3465         (*ashrqi3_1_slp): Merge with *ashrqi3_1_one_bit_slp.
3466         (*ashr<mode>3_cmp): Merge with *ashr{qi,hi,si}3_one_bit_cmp and
3467         *ashrdi3_one_bit_cmp_rex64. Macroize insn from *ashr{qi,hi,si}3_cmp
3468         and *ashrdi3_cmp_rex64 using SWI mode iterator.
3469         (*ashrsi3_cmp_zext): Merge with *ashrsi3_cmp_one_bit_zext.
3470         (*ashr<mode>3_cconly): Merge with *ashr{qi,hi,si}3_one_bit_cconly and
3471         *ashrdi3_one_bit_cconly_rex64. Macroize insn from
3472         *ashr{qi,hi,si}3_cconly and *ashrdi3_cconly_rex64 using
3473         SWI mode iterator.
3474         (sign_extend splitters): Update for renamed ashr{di,si}3_cvt patterns.
3475         * config/i386/i386.c (ix86_split_ashr): Update for renamed
3476         x86_shift<mode>_adj_3 expanders.
3477
3478 2010-04-10  Wei Guozhi  <carrot@google.com>
3479
3480         PR target/42601
3481         * config/arm/arm.c (arm_pic_static_addr): New function.
3482         (legitimize_pic_address): Call arm_pic_static_addr when it detects
3483         a static symbol.
3484         (arm_output_addr_const_extra): Output expression for new pattern.
3485         * config/arm/arm.md (UNSPEC_SYMBOL_OFFSET): New unspec symbol.
3486
3487 2010-04-10  Bernd Schmidt  <bernds@codesourcery.com>
3488
3489         * ira-costs.c (record_reg_classes): Ignore alternatives that are
3490         not enabled.
3491
3492         * Makefile.in (web.o): Depend on insn-config.h and $(RECOG_H).
3493         * web.c: Include "insn-config.h" and "recog.h".
3494         (union_match_dups): New function.
3495         (web_main): Call it.
3496         (union_defs): Don't try to recognize match_dups.
3497
3498         * reload1.c (eliminate_regs_in_insn): Don't restore an operand
3499         if doing so would replace the entire pattern.
3500
3501 2010-04-09  Uros Bizjak  <ubizjak@gmail.com>
3502
3503         PR target/43707
3504         PR target/43709
3505         * config/i386/i386.md (*ashl<mode>3_doubleword): Split to insn
3506         and splitter pattern.  Change splitter operand 1 predicate to
3507         nonmemory_operand.
3508
3509 2010-04-09  Martin Jambor  <mjambor@suse.cz>
3510
3511         * ipa-cp.c (ipcp_lats_are_equal): Return true also if the two
3512         lattices are addresses of CONST_DECLs with the same initial value.
3513         (ipcp_print_all_lattices): Print values of CONST_DECLs.
3514         * ipa-prop.c (ipa_print_node_jump_functions): Likewise.
3515
3516 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
3517             Bernd Schmidt  <bernds@codesourcery.com>
3518
3519         * loop-invariant.c (replace_uses): New static function.
3520         (move_invariant_reg): Use it to ensure we can replace the uses.
3521
3522 2010-04-09  Hariharan Sandanagobalane  <hariharan@picochip.com>
3523
3524         * config/picochip/picochip.c (picochip_rtx_costs): Use correct
3525         function template.
3526         (picochip_override_options): Enable section anchors only above -O1.
3527         (picochip_reorg): Fixed a couple of build warnings.
3528
3529 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3530
3531         * configure.ac (plugin -rdynamic test): Log result.
3532         * configure: Regenerate.
3533         * config/sol2.h (LINK_SPEC): Handle -rdynamic.
3534         (RDYNAMIC_SPEC): Define.
3535         * config/sol2-gld.h (RDYNAMIC_SPEC): Redefine.
3536
3537 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3538
3539         * configure.ac: Determine Sun ld version numbers.
3540         (comdat_group): Restrict GNU ld version checks to gld.
3541         (comdat_group, *-*-solaris2.1[1-9]*): Enable for Sun ld > 1.1688.
3542         (enable_comdat): Support --enable-comdat.
3543         * configure: Regenerate.
3544         * doc/install.texi (Configuration): Document --enable-comdat.
3545
3546 2010-04-09  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3547
3548         * config/sparc/sol2-gld.h: Remove SPARC reference.  Rename ...
3549         * config/sol2-gld.h: ... here.
3550         * config.gcc (sparc*-*-solaris2*): Reflect this.
3551         (i[34567]86-*-solaris2*): Use it.
3552
3553 2010-04-09  Steve Ellcey  <sje@cup.hp.com>
3554
3555         * config/ia64/ia64.c (ia64_dfa_new_cycle): Remove unused variable
3556         setup_clocks_p.
3557         (final_emit_insn_group_barriers): Remove unused variable prev_insn.
3558
3559 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3560
3561         PR 42965
3562         * diagnostic.c (diagnostic_initialize): Initialize
3563         some_warnings_are_errors.
3564         (diagnostic_finish): New.
3565         (diagnostic_action_after_output): Call it before exiting.
3566         (diagnostic_report_diagnostic): Do not print message here. Set
3567         some_warnings_are_errors.
3568         * diagnostic.h (diagnostic_context): Delete
3569         issue_warnings_are_errors_message. Add some_warnings_are_errors.
3570         (diagnostic_finish): Declare.
3571         * toplev.c (toplev_main): Call it before exit.
3572
3573 2010-04-09  Jason Merrill  <jason@redhat.com>
3574
3575         PR c++/42623
3576         * c-common.c (c_sizeof_or_alignof_type): Return error_mark_node
3577         for incomplete type.
3578
3579         PR c++/41788
3580         * stor-layout.c (finalize_record_size): Don't change TYPE_PACKED
3581         based on a warning flag.
3582
3583 2010-04-09  Richard Guenther  <rguenther@suse.de>
3584
3585         * tree-pretty-print.c (dump_generic_node): Dump TYPE_VECTOR_SUBPARTS.
3586
3587 2010-04-09  Iain Sandoe  <iains@gcc.gnu.org>
3588
3589         PR bootstrap/43684
3590         * varasm.c (default_assemble_visibility): Wrap vars that are
3591         set, but unused, by targets without GAS.
3592         * config/rs6000/rs6000.c: (paired_emit_vector_compare):
3593         Remove set, but unused, vars.
3594         (rs6000_legitimize_tls_address): Likewise.
3595         (altivec_expand_dst_builtin): Likewise.
3596         * config/darwin.c (machopic_classify_symbol): Likewise.
3597         (machopic_indirection_name): Likewise.
3598
3599 2010-04-09  Uros Bizjak  <ubizjak@gmail.com>
3600
3601         * config/i386/i386.md (DWI): New mode iterator.
3602         (S): New mode attribute.
3603         (shift_operand): Ditto.
3604         (shift_immediate_operand): Ditto.
3605         (ashl_input_operand): Ditto.
3606         (ashl<mode>3): Macroize expander from ashl{qi,hi,si,di,ti}3_1
3607         using SDWIM mode iterator.
3608         (*ashl<mode>3_doubleword): New insn_and_split_pattern.  Macroize
3609         pattern from *ashl{di,ti}3_1 and corresponding splitters using
3610         DWI mode iterator.
3611         (*ashl<mode>3_doubleword peephole2): Macroize peephole2 pattern
3612         from corresponding peephole2 patterns.
3613         (x86_shift<mode>_adj_1): Macroize expander from x86_shift_adj_1
3614         and x86_64_shift_adj_1 using SWI48 mode iterator.
3615         (x86_shift<mode>_adj_2): Ditto.
3616         (*ashldi3_1_rex64): Split TYPE_LEA pattern.
3617         (*ashl<mode>3_1): Macroize insn from *ashlsi3_1 and *ashldi3_1_rex64
3618         using SWI48 mode iterator.
3619         (*ashl<mode>3_cmp): Macroize insn from *ashl{qi,hi,si}3_cmp and
3620         *ashldi3_cmp_rex64 using SWI mode iterator.
3621         (*ashl<mode>3_cconly): Macroize insn from *ashl{qi,hi,si}3_cconly and
3622         *ashldi3_cconly_rex64 using SWI mode iterator.
3623         * config/i386/i386.c (ix86_split_ashl): Update for renamed
3624         x86_shift<mode>_adj_{1,2}.
3625         (ix86_split_ashr): Ditto.
3626         (ix86_split_lshr): Ditto.
3627
3628 2010-04-09  Richard Guenther  <rguenther@suse.de>
3629
3630         * target.h (builtin_conversion): Pass in input and output types.
3631         * targhooks.c (default_builtin_vectorized_conversion): Adjust.
3632         * targhooks.h (default_builtin_vectorized_conversion): Likewise.
3633         * tree-vect-stmts.c (vectorizable_conversion): Adjust.
3634         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_CONVERSION): Adjust.
3635
3636         * config/i386/i386.c (ix86_vectorize_builtin_conversion): Adjust.
3637         Handle AVX modes.
3638         * config/rs6000/rs6000.c (rs6000_builtin_conversion): Adjust.
3639
3640 2010-04-09  Richard Guenther  <rguenther@suse.de>
3641
3642         PR target/43152
3643         * config/i386/sse.md (vcond<mode>): Handle AVX modes as well.
3644
3645 2010-04-09  Richard Guenther  <rguenther@suse.de>
3646
3647         * tree-vectorizer.h (struct _stmt_vec_info): Document
3648         that vectype is the type of the LHS.
3649         (supportable_widening_operation, supportable_narrowing_operation):
3650         Get both input and output vector types as arguments.
3651         (vect_is_simple_use_1): Declare.
3652         (get_same_sized_vectype): Likewise.
3653         * tree-vect-loop.c (vect_determine_vectorization_factor):
3654         Set STMT_VINFO_VECTYPE to the vector type of the def.
3655         (vectorizable_reduction): Adjust.
3656         * tree-vect-patterns.c (vect_recog_widen_mult_pattern):
3657         Adjust.  Specify the output vector type.
3658         (vect_pattern_recog_1): Adjust.
3659         * tree-vect-stmts.c (get_same_sized_vectype): New function.
3660         (vectorizable_call): Adjust.
3661         (vectorizable_conversion): Likewise.
3662         (vectorizable_operation): Likewise.
3663         (vectorizable_type_demotion): Likewise.
3664         (vectorizable_type_promotion): Likewise.
3665         (vect_analyze_stmt): Set STMT_VINFO_VECTYPE to the vector type of
3666         the def.
3667         (vect_is_simple_use_1): New function.
3668         (supportable_widening_operation): Get both input and output
3669         vector types.
3670         (supportable_narrowing_operation): Likewise.
3671         * tree-vect-slp.c (vect_schedule_slp_instance): Adjust.
3672
3673 2010-04-09  Kai Tietz  <kai.tietz@onevision.com>
3674
3675         * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Add
3676         __thiscall and _thiscall as predefined macros.
3677         * config/i386/i386.c (ix86_handle_cconv_attribute): Add
3678         thiscall attribute handling.
3679         (ix86_comp_type_attributes): Likewise.
3680         (ix86_function_regparm): Likewise.
3681         (ix86_return_pops_args): Likewise.
3682         (init_cumulative_args): Likewise.
3683         (find_drap_reg): Likewise.
3684         (ix86_static_chain): Likewise.
3685         (x86_this_parameter): Likewise.
3686         (x86_output_mi_thunk): Likewise.
3687         (ix86_attribute_table): Add description for thiscall attribute.
3688         * config/i386/i386.h (ix86_args): Adjust comment for member fastcall.
3689         * doc/extend.texi: Add documentation for thiscall.
3690
3691 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3692
3693         PR c++/28584
3694         * c.opt (Wint-to-pointer-cast): Available in C++.
3695         * doc/invoke.texi (Wint-to-pointer-cast): Available in C++.
3696
3697 2010-04-08  Eric Botcazou  <ebotcazou@adacore.com>
3698
3699         * tree.h (TREE_ADDRESSABLE): Document its effect for function types.
3700         * calls.c (expand_call): Pass the function type to aggregate_value_p.
3701         * function.c (aggregate_value_p): Do not honor DECL_BY_REFERENCE on
3702         the target function of a CALL_EXPR.  Honor TREE_ADDRESSABLE on the
3703         function type instead.  Reorder and simplify checks.
3704
3705         * gimplify.c (gimplify_modify_expr_rhs) <WITH_SIZE_EXPR>: New case.
3706
3707 2010-04-08  Jing Yu  <jingyu@google.com>
3708             Zdenek Dvorak  <ook@ucw.cz>
3709
3710         PR tree-optimization/42720
3711         * tree-ssa-loop-unswitch.c (tree_ssa_unswitch_loops): Move one-time
3712         loop unswitch conditions here from ...
3713         (tree_unswitch_single_loop): ... here.
3714
3715 2010-04-08  Sebastian Pop  <sebastian.pop@amd.com>
3716
3717         * tree-if-conv.c: Fix comments and simplify logic.
3718
3719 2010-04-08  Sebastian Pop  <sebastian.pop@amd.com>
3720
3721         * tree-if-conv.c (if_convertible_loop_p): Remove unused parameter.
3722         (tree_if_conversion): Same.  Update call to if_convertible_loop_p.
3723         (main_tree_if_conversion): Update call to tree_if_conversion.
3724
3725 2010-04-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3726
3727         PR 42485
3728         * doc/invoke.texi (-b,-V): Delete.
3729         * doc/tm.texi: Do not mention -b.
3730         * gcc.c (display_help): Delete -b and -V.
3731         (process_command): Delete -b and -V.
3732         * gcc.h (DEFAULT_SWITCH_TAKES_ARG): Delete -b and -V.
3733
3734 2010-04-08  Christian Borntraeger  <borntraeger@de.ibm.com>
3735             Wolfgang Gellerich  <gellerich@de.ibm.com>
3736
3737         Implement target hook for loop unrolling
3738         * target.h (loop_unroll_adjust): Add a new target hook function.
3739         * target-def.h (TARGET_LOOP_UNROLL_ADJUST): Likewise.
3740         * doc/tm.texi (TARGET_LOOP_UNROLL_ADJUST): Document it.
3741         * config/s390/s390.c (TARGET_LOOP_UNROLL_ADJUST): Define it.
3742         (s390_loop_unroll_adjust): Implement the new target hook for s390.
3743         * loop-unroll.c (decide_unroll_runtime_iterations): Call loop unroll
3744         target hook.
3745         (decide_unroll_stupid): Likewise.
3746
3747 2010-04-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3748
3749         PR target/43643
3750         * config/i386/gmon-sol2.c [__x86_64__]: Properly restore %rcx.
3751
3752 2010-04-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3753
3754         * doc/install.texi (Specific, i?86-*-solaris2.10): Fix grammar.
3755         (Specific, *-*-solaris2*): Likewise.
3756         Don't prefer Sun as over GNU as.
3757
3758 2010-04-08  Wolfgang Gellerich  <gellerich@de.ibm.com>
3759
3760         * config/s390/s390.c (override_options): Adjust the z10
3761           defaults for max-unroll-times, max-completely-peeled-insns
3762           and max-completely-peel-times.
3763
3764 2010-04-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
3765
3766         * config/s390/s390.c (s390_expand_movmem): Issue prefetch
3767         instructions for z10.
3768         (s390_expand_setmem): Likewise.
3769         (s390_expand_cmpmem): Likewise.
3770
3771 2010-04-08  Richard Guenther  <rguenther@suse.de>
3772
3773         PR tree-optimization/43679
3774         * tree-ssa-pre.c (eliminate): Only propagate copies.
3775
3776 2010-04-08  Jakub Jelinek  <jakub@redhat.com>
3777
3778         PR bootstrap/43681
3779         * expr.c (block_move_libcall_safe_for_call_parm): Avoid
3780         set but not used variable warning.
3781
3782 2010-04-08  Wei Guozhi  <carrot@google.com>
3783
3784         PR target/41653
3785         * config/arm/arm.c (thumb1_size_rtx_costs): New function.
3786         (arm_size_rtx_costs): Call the new function when optimized for size.
3787
3788 2010-04-08  Jakub Jelinek  <jakub@redhat.com>
3789
3790         PR debug/43670
3791         * cfgexpand.c (expand_debug_expr): If for non-NULL offset
3792         op0 is not a MEM, just return NULL instead of assertion
3793         failure.
3794         (discover_nonconstant_array_refs): Don't walk debug stmts.
3795
3796 2010-04-08  Doug Kwan  <dougkwan@google.com>
3797
3798         * configure.ac: Recognize gold and do not use its version number
3799         to test ld features.
3800         * configure: Regenerate.
3801
3802 2010-04-08  Maxim Kuvyrkov  <maxim@codesourcery.com>
3803
3804         PR middle-end/40815
3805         * tree-ssa-reassoc.c (broken_up_substracts): Rename to plus_negates.
3806         (negate_value): Move code to push elements to broken_up_substracts ...
3807         (eliminate_plus_minus_pair): ... here.  Push operands that have no
3808         negative pair to plus_negates.
3809         (repropagate_negates, init_reassoc, fini_reassoc): Update.
3810
3811 2010-04-07  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3812
3813         * doc/install.texi (Configuration): Move description of
3814         --enable-lto, --with-libelf*, --enable-gold from Java section to
3815         general section.
3816
3817         * doc/generic.texi (Working with declarations)
3818         (Function Properties, C and C++ Trees): Fix typos.
3819         * doc/sourcebuild.texi (Top Level): Likewise.
3820
3821 2010-04-07  Jakub Jelinek  <jakub@redhat.com>
3822
3823         PR c/18624
3824         * tree.h (DECL_READ_P): Define.
3825         (struct tree_decl_common): Add decl_read_flag.
3826         * c-decl.c (pop_scope): If TREE_USED but !DECL_READ_P, issue
3827         a set but not used warning.
3828         (merge_decls): Merge DECL_READ_P flag.
3829         (finish_decl, build_compound_literal): Set DECL_READ_P flag.
3830         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
3831         * c-common.c (handle_used_attribute, handle_unused_attribute):
3832         Likewise.
3833         * c-tree.h (default_function_array_read_conversion, mark_exp_read):
3834         New prototypes.
3835         * c-typeck.c (default_function_array_read_conversion, mark_exp_read):
3836         New functions.
3837         (default_conversion, c_process_expr_stmt): Call mark_exp_read.
3838         * c-parser.c (c_parser_initializer, c_parser_expr_no_commas,
3839         c_parser_binary_expression, c_parser_cast_expression,
3840         c_parser_expr_list, c_parser_omp_atomic, c_parser_omp_for_loop):
3841         Call default_function_array_read_conversion instead of
3842         default_function_array_conversion where needed.
3843         (c_parser_unary_expression, c_parser_conditional_expression,
3844         c_parser_postfix_expression_after_primary, c_parser_initelt):
3845         Likewise.  Call mark_exp_read where needed.
3846         (c_parser_statement_after_labels, c_parser_asm_operands,
3847         c_parser_typeof_specifier, c_parser_sizeof_expression,
3848         c_parser_alignof_expression, c_parser_initval): Call mark_exp_read
3849         where needed.
3850         * common.opt (Wunused-but-set-variable, Wunused-but-set-parameter):
3851         New.
3852         * toplev.c (warn_unused_but_set_variable): Default to warn_unused.
3853         (warn_unused_but_set_parameter): Default to warn_unused
3854         && extra_warnings.
3855         * doc/invoke.texi: Document -Wunused-but-set-variable and
3856         -Wunused-but-set-parameter.
3857
3858         * tree-ssa-pre.c (my_rev_post_order_compute): Remove set but not
3859         used count variable.
3860         * genemit.c (gen_expand, gen_split): Avoid set but not used warnings
3861         when operandN variables aren't used in the body of the expander
3862         or splitter.
3863         * tree-outof-ssa.c (FOR_EACH_ELIM_GRAPH_SUCC,
3864         FOR_EACH_ELIM_GRAPH_PRED): Avoid set but not used warnings.
3865         * tree-ssa-operands.h (FOR_EACH_SSA_TREE_OPERAND): Likewise.
3866         * tree-flow.h (FOR_EACH_IMM_USE_FAST, FOR_EACH_IMM_USE_STMT,
3867         FOR_EACH_IMM_USE_ON_STMT): Likewise.
3868         * tree.h (FOR_EACH_CONSTRUCTOR_ELT): Likewise.
3869         * tree.c (PROCESS_ARG): Likewise.
3870
3871 2010-04-07  Simon Baldwin  <simonb@google.com>
3872
3873         * diagnostic.h (diagnostic_override_option_index): New macro to
3874         set a diagnostic's option_index.
3875         * c-tree.h (c_cpp_error): Add warning reason argument.
3876         * opts.c (_warning_as_error_callback): New.
3877         (register_warning_as_error_callback): Store callback for
3878         warnings enabled via enable_warning_as_error.
3879         (enable_warning_as_error): Call callback, minor code tidy.
3880         * opts.h (register_warning_as_error_callback): Declare.
3881         * c-opts.c (warning_as_error_callback): New, set cpp_opts flag in
3882         response to -Werror=.
3883         (c_common_init_options): Register warning_as_error_callback in opts.c.
3884         * common.opt: Add -Wno-cpp option.
3885         * c-common.c (struct reason_option_codes_t): Map cpp warning
3886         reason codes to gcc option indexes.
3887         * (c_option_controlling_cpp_error): New function, lookup the gcc
3888         option index for a cpp warning reason code.
3889         * (c_cpp_error): Add warning reason argument, call
3890         c_option_controlling_cpp_error for diagnostic_override_option_index.
3891         * doc/invoke.texi: Document -Wno-cpp.
3892
3893 2010-04-07  Richard Guenther  <rguenther@suse.de>
3894
3895         * ipa-reference.c (mark_load): Use get_base_address.
3896         (mark_store): Likewise.
3897
3898         * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Avoid
3899         inserting GIMPLE_NOPs into the IL.
3900         * tree-ssa-structalias.c (get_constraint_for_component_ref):
3901         Explicitly strip handled components and indirect references.
3902
3903         * fold-const.c (fold_unary_loc): Do not strip qualifiers when
3904         folding address expressions.
3905         * gimple.c (gimple_ior_addresses_taken_1): Use get_base_address.
3906         * tree-ssa-alias.c (decl_refs_may_alias_p): Do not use
3907         operand_equal_p to compare decls.
3908         (ptr_deref_may_alias_decl_p): Likewise.
3909         * tree-ssa-operands.c (get_asm_expr_operands): Simplify
3910         * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond):
3911         Handle reversed comparison ops.
3912         * tree-sra.c (asm_visit_addr): Use get_base_address.
3913         * ipa-prop.c (visit_store_addr_for_mod_analysis): Use get_base_address.
3914         * ipa-reference.c (mark_address): Use get_base_address.
3915
3916 2010-04-07  Richard Guenther  <rguenther@suse.de>
3917
3918         * tree-ssa-forwprop.c (forward_propagate_addr_expr):
3919         Propagate constants everywhere.
3920
3921 2010-04-07  Jakub Jelinek  <jakub@redhat.com>
3922
3923         PR debug/43516
3924         * tree.c (MAX_INT_CACHED_PREC): Define.
3925         (nonstandard_integer_type_cache): New array.
3926         (build_nonstandard_integer_type): Cache results for precision
3927         <= MAX_INT_CACHED_PREC.
3928
3929 2010-04-07  Richard Guenther  <rguenther@suse.de>
3930
3931         * doc/invoke.texi (-fargument-alias, -fargument-noalias,
3932         -fargument-noalias-global, -fargument-noalias-anything): Remove.
3933         * common.opt: Likewise.
3934         * tree-ssa-structalias.c (intra_create_variable_infos): Adjust comment.
3935         * alias.c (base_alias_check): Remove flag_argument_noalias handling.
3936         (nonoverlapping_memrefs_p): Likewise.
3937         * emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
3938         * opts.c (common_handle_option): Handle OPT_fargument_alias,
3939         OPT_fargument_noalias, OPT_fargument_noalias_anything and
3940         OPT_fargument_noalias_global for backward compatibility.
3941
3942 2010-04-07  Richard Guenther  <rguenther@suse.de>
3943
3944         PR tree-optimization/43270
3945         * tree-vrp.c (check_array_ref): Fix flexible array member detection.
3946         * tree-ssa-sccvn.h (fully_constant_vn_reference_p): Declare.
3947         * tree-ssa-pre.c (phi_translate_1): Adjust.
3948         (fully_constant_expression): Split out vn_reference handling to ...
3949         * tree-ssa-sccvn.c (fully_constant_vn_reference_p): ... here.
3950         Fold reads from constant strings.
3951         (vn_reference_lookup): Handle fully constant references.
3952         (vn_reference_lookup_pieces): Likewise.
3953         * Makefile.in (expmed.o-warn): Add -Wno-error.
3954
3955 2010-04-07  Martin Jambor  <mjambor@suse.cz>
3956
3957         * tree-sra.c (find_param_candidates): Allow scalar va_list types.
3958
3959 2010-04-07  Iain Sandoe  <iains@gcc.gnu.org>
3960
3961         PR driver/41594
3962         * gcc.c: Add -static-libstdc++ to list of recognized options.
3963
3964 2010-04-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3965
3966         * config.gcc (i[34567]86-*-solaris2*): Default with_tune_32 to generic.
3967
3968 2010-04-07  Richard Guenther  <rguenther@suse.de>
3969
3970         PR middle-end/42617
3971         * expr.c (expand_expr_real_1): For TARGET_MEM_REFs with pointer
3972         bases build simple mem attributes to retain points-to information.
3973
3974 2010-04-07  Richard Guenther  <rguenther@suse.de>
3975
3976         PR middle-end/42617
3977         * alias.c (ao_ref_from_mem): Without MEM_OFFSET or MEM_SIZE
3978         preserve points-to related information.
3979
3980 2010-04-07  Richard Guenther  <rguenther@suse.de>
3981
3982         PR middle-end/42617
3983         * emit-rtl.c (set_mem_attributes_minus_bitpos): Do not
3984         discard plain indirect references.
3985         * fold-const.c (operand_equal_p): Guard against NULL_TREE type.
3986         * tree.c (tree_nop_conversion): Likewise.
3987
3988 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
3989
3990         PR debug/43628
3991         * dwarf2out.c (modified_type_die): Ignore artificial typedefs.
3992
3993 2010-04-06  Kai Tietz  <kai.tietz@onevision.com>