OSDN Git Service

403306cadfa3e7ab028d672464e5565fa56454dd
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-10-01  Martin Jambor  <mjambor@suse.cz>
2
3         PR bootstrap/41395
4         * tree-sra.c (is_va_list_type): New function.
5         (find_var_candidates): Call is_va_list_type.
6         (find_param_candidates): Check that the type or the type pointed
7         to are not va_list types.
8
9 2009-10-01  Martin Jambor  <mjambor@suse.cz>
10
11         PR c++/41503
12         * cp/pt.c (function_parameter_expanded_from_pack_p): Return false if
13         DECL_ARTIFICIAL (param_decl) is true.
14         
15 2009-09-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
16
17         * tree.h (tree_decl_common::lang_flag_8): New.
18         * c-common.c (c_common_reswords): Include "constexpr" as C++0x
19         keyword. 
20         * c-common.h (RID_CONSTEXPR): New.
21
22 2009-09-30  Uros Bizjak  <ubizjak@gmail.com>
23
24         * config/alpha/alpha.c (alpha_gimplify_va_arg_1):
25         Use ref-all pointers.
26         (alpha_gimplify_va_arg): Ditto.
27
28 2009-09-30  Jakub Jelinek  <jakub@redhat.com>
29
30         PR target/41279
31         * cfgloopanal.c (num_loop_insns): Don't increment ninsns for each bb
32         before insn counting loop now that BB_END (bb) is counted.  Ensure
33         the return value isn't zero.
34
35 2009-09-30  Nick Clifton  <nickc@redhat.com>
36
37         * config.gcc (sh-symbianelf): Replace definition of extra_objs
38         with separate definitions of c_target_objs and cxx_target_objs.
39         * config/sh/t-sh: Add rules to build symbian-cxx.o, symbian-c.o
40         and symbian-base.o.
41         * config/sh/sh.c (TARGET_CXX_INPUT_EXPORT_CLASS): Use
42         sh_symbian_import_export_class.
43         * config/sh/sh-protos.h: Fix names of exported symbian functions.
44         * config/sh/symbian.c: Delete, moving code into...
45         * config/sh/symbian-base.c: ... here
46         * config/sh/symbian-c.c: ... and here
47         * config/sh/symbian-cxx.c: ... and here.
48
49 2009-09-30  Uros Bizjak  <ubizjak@gmail.com>
50
51         PR target/22093
52         * config/alpha/alpha.md (unaligned_storehi_be): Force operand
53         of plus RTX into register.
54
55 2009-09-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
56
57         * doc/install.texi: Linguistic and markup fixes.
58         (Configuration) <--disable-cpp>: Remove description.
59         <--enable-maintainer-mode>: Autotools files are affected, too.
60         <--with-sysroot>: Improve description.
61         (Building): Bump required GNU make version.
62
63 2009-09-29  Harsha Jagasia  <harsha.jagasia@amd.com>
64
65         * config.gcc (i[34567]86-*-*): Include fma4intrin.h.
66         (x86_64-*-*): Ditto.
67
68         * config/i386/fma4intrin.h: New file, provide common x86 compiler
69         intrinisics for FMA4.
70         * config/i386/cpuid.h (bit_FMA4): Define FMA4 bit.
71         * config/i386/x86intrin.h: Fix typo to SSE4A instead of SSE4a.
72         Add FMA4 check and fma4intrin.h.
73         * config/i386/i386-c.c(ix86_target_macros_internal): Check
74         ISA_FLAG for FMA4.
75         * config/i386/i386.h(TARGET_FMA4): New macro for FMA4.
76         * config/i386/i386.md (UNSPEC_FMA4_INTRINSIC): Add new UNSPEC
77         constant for FMA4 support.
78         (UNSPEC_FMA4_FMADDSUB): Ditto.
79         (UNSPEC_FMA4_FMSUBADD): Ditto.
80         * config/i386/i386.opt (-mfma4): New switch for FMA4 support.
81         * config/i386/i386-protos.h (ix86_fma4_valid_op_p): Add declaration.
82         (ix86_expand_fma4_multiple_memory): Ditto.
83         * config/i386/i386.c (OPTION_MASK_ISA_FMA4_SET): New.
84         (OPTION_MASK_ISA_FMA4_UNSET): New.
85         (OPTION_MASK_ISA_SSE4A_UNSET): Change definition to depend on FMA4.
86         (OPTION_MASK_ISA_AVX_UNSET): Change definition to depend on FMA4.
87         (ix86_handle_option): Handle -mfma4.
88         (isa_opts): Handle -mfma4.
89         (enum pta_flags): Add PTA_FMA4.
90         (override_options): Add FMA4 support.
91         (IX86_BUILTIN_VFMADDSS): New for FMA4 intrinsic.
92         (IX86_BUILTIN_VFMADDSD): Ditto.
93         (IX86_BUILTIN_VFMADDPS): Ditto.
94         (IX86_BUILTIN_VFMADDPD): Ditto.
95         (IX86_BUILTIN_VFMSUBSS): Ditto.
96         (IX86_BUILTIN_VFMSUBSD): Ditto.
97         (IX86_BUILTIN_VFMSUBPS): Ditto.
98         (IX86_BUILTIN_VFMSUBPD): Ditto.
99         (IX86_BUILTIN_VFMADDSUBPS): Ditto.
100         (IX86_BUILTIN_VFMADDSUBPD): Ditto.
101         (IX86_BUILTIN_VFMSUBADDPS): Ditto.
102         (IX86_BUILTIN_VFMSUBADDPD): Ditto.
103         (IX86_BUILTIN_VFNMADDSS): Ditto.
104         (IX86_BUILTIN_VFNMADDSD): Ditto.
105         (IX86_BUILTIN_VFNMADDPS): Ditto.
106         (IX86_BUILTIN_VFNMADDPD): Ditto.
107         (IX86_BUILTIN_VFNMSUBSS): Ditto.
108         (IX86_BUILTIN_VFNMSUBSD): Ditto.
109         (IX86_BUILTIN_VFNMSUBPS): Ditto.
110         (IX86_BUILTIN_VFNMSUBPD): Ditto.
111         (IX86_BUILTIN_VFMADDPS256): Ditto.
112         (IX86_BUILTIN_VFMADDPD256): Ditto.
113         (IX86_BUILTIN_VFMSUBPS256): Ditto.
114         (IX86_BUILTIN_VFMSUBPD256): Ditto.
115         (IX86_BUILTIN_VFMADDSUBPS256): Ditto.
116         (IX86_BUILTIN_VFMADDSUBPD256): Ditto.
117         (IX86_BUILTIN_VFMSUBADDPS256): Ditto.
118         (IX86_BUILTIN_VFMSUBADDPD256): Ditto.
119         (IX86_BUILTIN_VFNMADDPS256): Ditto.
120         (IX86_BUILTIN_VFNMADDPD256): Ditto.
121         (IX86_BUILTIN_VFNMSUBPS256): Ditto.
122         (IX86_BUILTIN_VFNMSUBPD256): Ditto.
123         (enum multi_arg_type): New enum for describing the various FMA4
124         intrinsic argument types.
125         (bdesc_multi_arg): New table for FMA4 intrinsics.
126         (ix86_init_mmx_sse_builtins): Add FMA4 intrinsic support.
127         (ix86_expand_multi_arg_builtin): New function for creating FMA4
128         intrinsics.
129         (ix86_expand_builtin): Add FMA4 intrinsic support.
130         (ix86_fma4_valid_op_p): New function to validate FMA4 3 and 4
131         operand instructions.
132         (ix86_expand_fma4_multiple_memory): New function to split the
133         second memory reference from FMA4 instructions.
134         * config/i386/sse.md (ssemodesuffixf4): New mode attribute for FMA4.
135         (ssemodesuffixf2s): Ditto.
136         (fma4_fmadd<mode>4): Add FMA4 floating point multiply/add
137         instructions.
138         (fma4_fmsub<mode>4): Ditto.
139         (fma4_fnmadd<mode>4): Ditto.
140         (fma4_fnmsub<mode>4): Ditto.
141         (fma4_vmfmadd<mode>4): Ditto.
142         (fma4_vmfmsub<mode>4): Ditto.
143         (fma4_vmfnmadd<mode>4): Ditto.
144         (fma4_vmfnmsub<mode>4): Ditto.
145         (fma4_fmadd<mode>4256): Ditto.
146         (fma4_fmsub<mode>4256): Ditto.
147         (fma4_fnmadd<mode>4256): Ditto.
148         (fma4_fnmsub<mode>4256): Ditto.
149         (fma4_fmaddsubv8sf4): Ditto.
150         (fma4_fmaddsubv4sf4): Ditto.
151         (fma4_fmaddsubv4df4): Ditto.
152         (fma4_fmaddsubv2df4): Ditto.
153         (fma4_fmsubaddv8sf4): Ditto.
154         (fma4_fmsubaddv4sf4): Ditto.
155         (fma4_fmsubaddv4df4): Ditto.
156         (fma4_fmsubaddv2df4): Ditto.
157         (fma4i_fmadd<mode>4): Add FMA4 floating point multiply/add
158         instructions for intrinsics.
159         (fma4i_fmsub<mode>4): Ditto.
160         (fma4i_fnmadd<mode>4): Ditto.
161         (fma4i_fnmsub<mode>4): Ditto.
162         (fma4i_vmfmadd<mode>4): Ditto.
163         (fma4i_vmfmsub<mode>4): Ditto.
164         (fma4i_vmfnmadd<mode>4): Ditto.
165         (fma4i_vmfnmsub<mode>4): Ditto.
166         (fma4i_fmadd<mode>4256): Ditto.
167         (fma4i_fmsub<mode>4256): Ditto.
168         (fma4i_fnmadd<mode>4256): Ditto.
169         (fma4i_fnmsub<mode>4256): Ditto.
170         (fma4i_fmaddsubv8sf4): Ditto.
171         (fma4i_fmaddsubv4sf4): Ditto.
172         (fma4i_fmaddsubv4df4): Ditto.
173         (fma4i_fmaddsubv2df4): Ditto.
174         (fma4i_fmsubaddv8sf4): Ditto.
175         (fma4i_fmsubaddv4sf4): Ditto.
176         (fma4i_fmsubaddv4df4): Ditto.
177         (fma4i_fmsubaddv2df4): Ditto.
178
179         * doc/invoke.texi (-mfma4): Add documentation.
180         * doc/extend.texi (x86 intrinsics): Add FMA4 intrinsics.
181
182 2009-09-29  Richard Henderson  <rth@redhat.com>
183
184         * tree-eh.c (unsplit_eh): Do not unsplit if there's already
185         an edge to the new destination block.
186
187 2009-09-29  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
188
189         PR target/41393
190         * pa.c (hppa_profile_hook): Use
191         make_reg_eh_region_note_nothrow_nononlocal to add REG_EH_REGION note.
192
193 2009-09-29  Steve Ellcey  <sje@cup.hp.com>
194             Alexander Monakov  <amonakov@ispras.ru>
195
196         PR target/41365
197         * config/ia64/predicates.md (not_postinc_destination_operand): New.
198         (not_postinc_memory_operand): New.
199         (not_postinc_move_operand): New.
200         * config/ia64/ia64.md (*cmovdi_internal): Disallow autoincrement.
201         (*cmovsi_internal): Ditto.
202
203 2009-09-29  Pat Haugen  <pthaugen@us.ibm.com>
204
205         * config/rs6000/rs6000.c (rs6000_issue_rate): Don't artificially
206         restrict issue_rate in first pass when scheduling for register
207         pressure.
208
209 2009-09-29  Basile Starynkevitch  <basile@starynkevitch.net>
210             Rafael Avila de Espindola  <espindola@google.com>
211
212         * gengtype.c (plugin_output): New.
213         (get_output_file_with_visibility): Return plugin_output for plugins.
214         (main): Parse and use the -P option.
215         * gty.texi: Update the command line format.
216
217 2009-09-29  Jakub Jelinek  <jakub@redhat.com>
218
219         PR debug/41438
220         * dwarf2out.c (const_ok_for_output_1, const_ok_for_output): New
221         functions.
222         (mem_loc_descriptor, loc_descriptor, add_const_value_attribute): Bail
223         out if !const_ok_for_output.
224
225         PR debug/41474
226         * dwarf2out.c (mem_loc_descriptor) <case CONCAT, case CONCATN,
227         case VAR_LOCATION>: Remove gcc_unreachable ().
228
229 2009-09-29  Harsha Jagasia  <harsha.jagasia@amd.com>
230
231         * config.gcc (i[34567]86-*-*): Remove mmintrin-common.h.
232         (x86_64-*-*): Ditto.
233         * config/i386/smmintrin.h: Move instructions in mmintrin-common.h
234         back to smmintrin.h.
235         * config/i386/cpuid.h: (bit_SSE5): Remove SSE5 bit.
236         * config/i386/x86intrin.h: Remove SSE5.
237         * config/i386/mmintrin-common.h: Delete file.
238         * doc/extend.texi (x86 intrinsics): Remove SSE5 flags and builtins.
239
240 2009-09-29  Richard Guenther  <rguenther@suse.de>
241
242         * alias.c (ao_ref_from_mem): Properly deal with off decl accesses
243         resulting from stack temporaries on STRICT_ALIGNMENT targets.
244
245 2009-09-29  Nick Clifton  <nickc@redhat.com>
246
247         * function.c (current_function_name): If there is no current
248         function just return "<none>".
249
250 2009-09-28  Sriraman Tallam  <tmsriram@google.com>
251
252         * tree-pass.h (register_pass_info): New structure.
253         (pass_positioning_ops): Move enum from gcc-plugin.h.
254         (register_pass): New function.
255         * gcc-plugin.h (plugin_pass): Delete structure.
256         (pass_positioning_ops): Delete enum.
257         * plugin.c (regsiter_pass): Delete function.
258         (position_pass): Delete function.
259         (added_pass_nodes): Delete variable.
260         (prev_added_pass_nodes): Delete variable.
261         (pass_list_node): Delete structure.
262         * passes.c (make_pass_instance): New function.
263         (next_pass_1): Change to call make_pass_instance.
264         (pass_list_node): Move structure from gcc-plugin.h.
265         (added_pass_nodes): Move variable from plugin.c.
266         (prev_added_pass_nodes): Move variable from plugin.c.
267         (position_pass): New function.
268         (register_pass): New function.
269
270 2009-09-28  Easwaran Raman  <eraman@google.com>
271
272         * ifcvt.c (noce_try_abs): Recognize pattern and call
273         expand_one_cmpl_abs_nojump.
274         * optabs.c (expand_one_cmpl_abs_nojump): New function.
275         * optabs.h (expand_one_cmpl_abs_nojump): Declare.
276
277 2009-09-28  Ian Lance Taylor  <iant@google.com>
278
279         PR middle-end/40500
280         * c-opts.c (c_common_handle_option): Don't set
281         warn_jump_misses_init for -Wall.
282         * doc/invoke.texi (Warning Options): Update documentation.
283
284 2009-09-28  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
285
286         * Makefile.in ($(out_object_file)): Depend on
287         gt-$(basename $(notdir $(out_file))).h.
288
289 2009-09-28  Richard Henderson  <rth@redhat.com>
290
291         * except.h (struct eh_region_d): Add use_cxa_end_cleanup.
292         * except.c (gen_eh_region): Set it.
293         (duplicate_eh_regions_1): Copy it.
294         * tree-eh.c (lower_resx): Use it to determine which function
295         to call to resume.
296
297         * langhooks.h (struct lang_hooks): Add eh_use_cxa_end_cleanup.
298         * langhooks-def.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New.
299         * builtins.def (BUILT_IN_CXA_END_CLEANUP): New.
300         * tree.c (build_common_builtin_nodes): Remove parameter.  Build
301         BUILT_IN_CXA_END_CLEANUP if necessary.
302
303         * c-common.c (c_define_builtins): Update call to
304         build_common_builtin_nodes.
305
306 2009-09-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
307
308         * spu.c (get_branch_target): Return NULL for ASM_OPERANDS patterns.
309
310 2009-09-28  Michael Matz  <matz@suse.de>
311
312         * builtins.c (interclass_mathfn_icode): New helper.
313         (expand_builtin_interclass_mathfn): Use it here, and split folding
314         into ...
315         (fold_builtin_interclass_mathfn): ... this new folder.
316         (build_call_nofold_loc): New static helper.
317         (build_call_nofold): New wrapper macro for above.
318         (expand_builtin_int_roundingfn): Use it instead of build_call_expr.
319         (expand_builtin_pow): Ditto.
320         (expand_builtin_memset_args): Ditto.
321         (expand_builtin_printf): Ditto.
322         (expand_builtin_fprintf): Ditto.
323         (expand_builtin_sprintf): Ditto.
324         (expand_builtin_memory_chk): Ditto.
325         (expand_builtin_mempcpy_args): Ditto and don't call folders.
326         (expand_builtin_stpcpy): Ditto.
327         (expand_builtin_strcmp): Ditto.
328         (expand_builtin_strncmp): Ditto.
329         (expand_builtin_strcpy): Remove FNDECL and MODE arguments.
330         (expand_builtin_strcpy_args): Don't call folders.
331         (expand_builtin_memcmp): Ditto.
332         (expand_builtin_strncpy): Ditto, and use target.
333         (expand_builtin_memcpy): Ditto.
334         (expand_builtin_strstr, expand_builtin_strchr, expand_builtin_strrchr,
335         expand_builtin_strpbrk, expand_builtin_memmove,
336         expand_builtin_memmove_args, expand_builtin_bcopy,
337         expand_builtin_memchr, expand_builtin_strcat, expand_builtin_strncat,
338         expand_builtin_strspn, expand_builtin_strcspn,
339         expand_builtin_fputs): Remove these.
340         (expand_builtin): Don't call the above, change calls to other
341         expanders that changed prototype.
342         (fold_builtin_stpcpy): New folder split out from expand_builtin_stpcpy.
343         (fold_builtin_1 <ISFINITE, ISINF, ISNORMAL>): Call
344         fold_builtin_interclass_mathfn.
345         (fold_builtin_2 <STPCPY>): Call fold_builtin_stpcpy.
346         (fold_builtin_strcat): Add folding split from expand_builtin_strcat.
347
348         * fold-const.c (fold_binary_loc <NE_EXPR>): Add !exp != 0 -> !exp.
349         * passes.c (init_optimization_passes): Move pass_fold_builtins
350         after last phiopt pass.
351         * tree-inline.c (fold_marked_statements): When folding builtins
352         iterate over all instruction potentially generated.
353         * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Declare
354         earlier.
355         (fold_gimple_call): Use it to always fold calls (into potentially
356         multiple instructions).
357         * tree-ssa-dom.c (optimize_stmt): Resolve __builtin_constant_p
358         calls into zero at this time.
359         * tree-ssa-propagate.c (substitute_and_fold): Ignore multiple
360         statements generated by builtin folding.
361
362 2009-09-28  Nick Clifton  <nickc@redhat.com>
363
364         * config/m32r/m32r.c (m32r_is_insn): Return false for debugging
365         insns.
366
367 2009-09-28  Duncan Sands  <baldrick@free.fr>
368
369         * gcc-plugin.h (PLUGIN_REGISTER_GGC_CACHES): New event.
370         * plugin.c (plugin_event_name): Add PLUGIN_REGISTER_GGC_CACHES.
371         (register_callback): Dispatch it.
372         (invoke_plugin_callbacks): Incorporate in sanity check.
373         * ggc.h (ggc_register_cache_tab): Add declaration.
374         * ggc-common.c (ggc_register_root_tab): Simplify.
375         (const_ggc_cache_tab_t): New typedef.
376         (extra_cache_vec): New vector of dynamically added cache tables.
377         (ggc_register_cache_tab): New function.
378         (ggc_scan_cache_tab): New function.
379         (ggc_mark_roots): Simplify dynamic roots.  Handle dynamic caches.
380         * doc/plugins.texi: Document PLUGIN_REGISTER_GGC_CACHES.
381
382 2009-09-27  Richard Henderson  <rth@redhat.com>
383
384         * tree-ssa-ccp.c (optimize_stack_restore): Relax the conditions under
385         which we remove __builtin_stack_restore.
386
387 2009-09-27  Bernd Schmidt  <bernd.schmidt@analog.com>
388
389         * loop-iv.c (iv_analyze_op): Use function_invariant_p, not CONSTANT_P,
390         to test for GRD_INVARIANT.
391         (simple_rhs_p): Anything that's function_invariant_p is fine.
392
393 2009-09-27  Rafael Avila de Espindola  <espindola@google.com>
394
395         * gengtype.c (main): Use plunge_files instead of plugin_output.
396
397 2009-09-27  Basile Starynkevitch  <basile@starynkevitch.net>
398             Rafael Avila de Espindola  <espindola@google.com>
399
400         * gengtype.c (write_root, write_roots): Add a emit_pch argument.
401         Don't print pch related info if it is false.
402         (main): Don't print pch info in plugin mode.
403
404 2009-09-27  Eric Botcazou  <ebotcazou@adacore.com>
405
406         * dwarf2out.c (enum dw_val_class): Replace dw_val_class_long_long
407         with dw_val_class_const_double.
408         (struct dw_val_struct): Replace val_long_long with val_double and
409         adjust for above change.
410         (output_loc_operands): Likewise.
411         (add_AT_long_long): Rename into...
412         (add_AT_double): ...this.
413         (print_die): Replace dw_val_class_long_long with
414         dw_val_class_const_double and adjust.
415         (attr_checksum): Likewise.
416         (same_dw_val_p): Likewise.
417         (size_of_die): Likewise.
418         (value_format): Likewise.
419         (output_die): Likewise.
420         (loc_descriptor) <CONST_DOUBLE>: Likewise.
421         (add_const_value_attribute) <CONST_DOUBLE>: Call add_AT_double
422         instead of add_AT_long_long.
423         (add_bound_info) <INTEGER_CST>: Generate the bound as an unsigned
424         value with the precision of its type.
425
426 2009-09-27  Andreas Schwab  <schwab@linux-m68k.org>
427
428         PR c/41476
429         * c-typeck.c (build_conditional_expr): Use the readonly and
430         volatile flags of the operand types, not of the operands itself.
431
432 2009-09-27  Peter O'Gorman  <pogma@thewrittenword.com>
433
434         collect2.c (main): Look for -brtl before adding libraries.
435
436 2009-09-27  Jonathan Gray  <jsg@openbsd.org>
437
438         * config.gcc: Update OpenBSD targets.
439         * config/openbsd-stdint.h: New file.
440         * config/openbsd-libpthread.h: New file.
441         * config/openbsd.h: Update and break out LIB_SPEC definition.
442         * config/alpha/openbsd.h: Overhaul to reflect ELF migration.
443         * config/i386/openbsdelf.h: Correct types.
444         * config/m68k/openbsd.h: Likewise.
445         * config/mips/openbsd.h: Likewise.
446         * config/vax/openbsd.h: Likewise.
447
448 2009-09-27  Eric Botcazou  <ebotcazou@adacore.com>
449
450         * fold-const.c (maybe_lvalue_p): Return false for M(IN|AX)_EXPR.
451         (extract_muldiv_1) <MINUS_EXPR>: Swap operands if necessary.
452         * stor-layout.c (layout_type) <ARRAY_TYPE>: Do not take the maximum
453         of the length and zero.
454
455 2009-09-27  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
456
457         * Makefile.in (TOPLEV_H): Use $(INPUT_H) not input.h.
458         (FLAGS_H): Add options.h $(REAL_H).
459         (SEL_SCHED_IR_H): Add $(BITMAP_H) vecprim.h $(CFGLOOP_H).
460         (TREE_VECTORIZER_H): New.
461         (EBITMAP_H): Renamed from EBIMAP_H.
462         (c-decl.o, c-objc-common.o, c-pretty-print.o, attribs.o, c-omp.o)
463         (gtype-desc.o, ggc-common.o, ggc-page.o, ggc-zone.o, langhooks.o)
464         (tree.o, tree-ssa-structalias.o, tree-ssa-ter.o, tree-ssanames.o)
465         (tree-phinodes.o, tree-ssa-loop.o, tree-ssa-math-opts.o)
466         (gimple-low.o, omp-low.o, sese.o, graphite-blocking.o)
467         (graphite-clast-to-gimple.o, graphite-dependences.o)
468         (graphite-interchange.o, graphite-poly.o, graphite-scop-detection.o)
469         (graphite-sese-to-poly.o, tree-vect-loop.o, tree-vect-loop-manip.o)
470         (tree-vect-patterns.o, tree-vect-slp.o, tree-vect-stmts.o)
471         (tree-vect-data-refs.o, tree-vectorizer.o, gimple.o, tree-mudflap.o)
472         (targhooks.o, stmt.o, emit-rtl.o, ipa.o, matrix-reorg.o, ipa-inline.o)
473         (gcse.o, tree-ssa-ccp.o, df-byte-scan.o, vec.o, caller-save.o)
474         (ira-build.o, ira-costs.o, ira-color.o, ira-emit.o, ira.o)
475         (haifa-sched.o, sched-rgn.o, sel-sched.o, sel-sched-dump.o)
476         (sel-sched-ir.o, final.o, $(out_object_file)): Dependencies
477         updated and fixed as per above changes and per
478         check_makefile_deps.sh output.
479
480         PR bootstrap/40928
481         * configure.ac: Use $LIBS for '-ldl', not $LDFLAGS.
482         * configure: Regenerate.
483
484 2009-09-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
485
486         * doc/install.texi: Update minimum MPC version to 0.7.
487
488 2009-09-26  Gerald Pfeifer  <gerald@pfeifer.com>
489
490         * doc/install.texi (Binaries): Remove reference to the binary
491         distribution CD-ROM from the FSF.
492
493 2009-09-26  Michael Matz  <matz@suse.de>
494
495         PR lto/40758
496         PR middle-end/41470
497         * tree-ssa-coalesce.c (coalesce_ssa_name): Add only SSA names
498         that are mentioned in the body.
499
500 2009-09-26  Michael Matz  <matz@suse.de>
501
502         PR tree-optimization/41454
503         * tree-ssa-dom (stmts_to_rescan): Remove variable.
504         (tree_ssa_dominator_optimize): Don't allocate and free it.
505         (dom_opt_leave_block): Don't iterate over it.
506         (eliminate_redundant_computations): Don't return a value.
507         (cprop_operand, cprop_into_stmt): Ditto.
508         (optimize_stmt): Don't defer updating stmts.
509
510 2009-09-25  Dodji Seketeli  <dodji@redhat.com>
511
512         * dwarf2out.c (dwarf_tag_name, gen_generic_params_dies,
513         generic_parameter_die, template_parameter_pack_die,
514         gen_formal_parameter_die, gen_subprogram_die): Adjust after renaming
515         DW_TAG_formal_parameter_pack and DW_TAG_template_parameter_pack into
516         DW_TAG_GNU_formal_parameter_pack and DW_TAG_GNU_template_parameter_pack.
517
518 2009-09-25  Anatoly Sokolov  <aesok@post.ru>
519
520         * config/v850/v850.h (FUNCTION_VALUE): Remove.
521         * config/v850/v850.c (v850_function_value): New function.
522         (TARGET_FUNCTION_VALUE): Define.
523
524 2009-09-25  Jakub Jelinek  <jakub@redhat.com>
525
526         * tree-vect-stmts.c (vectorizable_call): Call
527         mark_symbols_for_renaming after vect_finish_stmt_generation.
528
529         * dwarf2out.c (tls_mem_loc_descriptor): Pass 1 instead of 2
530         to loc_descriptor_from_tree.
531         (add_location_or_const_value_attribute): Pass 0 instead of 2
532         for decl_by_reference_p decls.
533
534 2009-09-25  Richard Guenther  <rguenther@suse.de>
535
536         PR middle-end/41463
537         * tree-dfa.c (get_ref_base_and_extent): Fix issue with trailing
538         arrays again.
539
540 2009-09-25  Ben Elliston  <bje@au.ibm.com>
541
542         * doc/invoke.texi (RS/6000 and PowerPC Options): Add missing comma
543         after `power7'.
544
545 2009-09-25  Alan Modra  <amodra@bigpond.net.au>
546
547         * config/rs6000/rs6000.md (load_toc_v4_PIC_3c): Correct POWER
548         form of instruction.
549
550 2009-09-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
551
552         PR middle-end/41435
553         * fold-const.c (const_binop): Handle complex int division.
554         * tree-complex.c (expand_complex_div_straight,
555         expand_complex_div_wide): Update comments.
556
557 2009-09-24  DJ Delorie  <dj@redhat.com>
558
559         PR target/41456
560         * config/m32c/m32c.h (REG_CLASS_CONTENTS): Add R13.
561         (reg_class): Likewise.
562         (REG_CLASS_NAMES): Likewise.
563         * config/m32c/m32c.c (m32c_reg_class_from_constraint): Likewise.
564
565         * config/m32c/m32c.c (m32c_override_options): Disable -fivopts for
566         M32C.
567
568 2009-09-24  Michael Meissner  <meissner@linux.vnet.ibm.com>
569
570         * config/rs6000/predicates.md (indexed_or_indirect_operand):
571         Delete VSX load/store with update support.
572         * config/rs6000/rs6000.c (rs6000_legitimate_address_p): Ditto.
573         * config/rs6000/vsx.md (vsx_mov<mode>): Ditto.
574         (vsx_movti): Ditto.
575         (VSX_U): Delete.
576         (VSbit): Ditto.
577         (VStype_load_update): Ditto.
578         (VStype_store_update): Ditto.
579         (vsx_load<VSX_U:mode>_update_<P:mptrsize>): Ditto.
580         (vsx_store<VSX_U:mode>_update_<P:mptrsize>): Ditto.
581
582         * config/rs6000/rs6000.h (enum rs6000_builtins): Delete VSX
583         load/store with update builtins.
584
585 2009-09-24  Kai Tietz  <kai.tietz@onevision.com>
586
587         * libgcc2.c (L_trampoline): Prototype for getpagesize
588         and mprotect in WINNT case.
589
590 2009-09-24  Anatoly Sokolov  <aesok@post.ru>
591
592         * config/rs6000/rs6000.h (FUNCTION_VALUE): Remove macro.
593         * config/rs6000/rs6000-protos.h (rs6000_function_value): Remove.
594         * config/rs6000/rs6000.c (rs6000_function_value): Make static, add
595         'outgoing' argument.
596         (TARGET_FUNCTION_VALUE): Define.
597
598 2009-09-24  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>
599
600         * config/darwin.h (DWARF2_DEBUGGING_INFO): Define as 1.
601
602 2009-09-24  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>
603
604         PR bootstrap/41405
605         * common.opt: Initialize dwarf_strict to -1.
606         * toplev.c (process_options): Catch unset dwarf_strict
607         and set to 0 for all targets not overriding.
608         * config/darwin.c (darwin_override_options): Catch unset
609         dwarf_strict and override to 1.
610
611 2009-09-24  Jeff Law  <law@redhat.com>
612
613         * tree-into-ssa.c (rewrite_into_ssa): Free interesting_blocks.
614
615 2009-09-24  Richard Guenther  <rguenther@suse.de>
616
617         PR tree-optimization/36143
618         PR tree-optimization/38747
619         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Only
620         create VIEW_CONVERT_EXPRs for TBAA compatible accesses.
621
622 2009-09-24  Jakub Jelinek  <jakub@redhat.com>
623
624         PR bootstrap/41457
625         * dwarf2out.c (add_const_value_attribute): For HIGH and CONST_FIXED,
626         return false instead of gcc_unreachable ().  For CONST return the
627         value returned by recursive call instead of always returning true.
628         (tree_add_const_value_attribute): Return the value returned by
629         add_const_value_attribute instead of always returning true if rtl
630         is non-NULL.
631
632 2009-09-23  Justin Seyster  <jrseys@gmail.com>
633
634         * Makefile.in (PLUGIN_HEADERS): Include real.h.
635
636 2009-09-24  Jakub Jelinek  <jakub@redhat.com>
637
638         * cgraphunit.c (cgraph_lower_function): Revert last change.
639         * targhooks.c (default_static_chain): Use !DECL_STATIC_CHAIN
640         instead of DECL_NO_STATIC_CHAIN.
641         * tree-cfg.c (verify_gimple_call): Likewise.
642         * tree-nested.c (get_chain_decl, get_chain_field,
643         convert_tramp_reference_op, convert_gimple_call): Likewise.
644         (convert_all_function_calls): Likewise.  Always set or clear
645         DECL_STATIC_CHAIN initially, for !n->outer clear it.
646         (lower_nested_functions): Remove DECL_NO_STATIC_CHAIN checking code.
647         * c-parser.c (c_parser_declaration_or_fndef): Set DECL_STATIC_CHAIN
648         if nested.
649         * print-tree.c (print_node): Handle DECL_STATIC_CHAIN instead of
650         DECL_NO_STATIC_CHAIN.
651         * config/i386/i386.c (ix86_static_chain): Use !DECL_STATIC_CHAIN
652         instead of DECL_NO_STATIC_CHAIN.
653         (ix86_function_regparm, find_drap_reg): Likewise.  Don't test
654         decl_function_context.
655         * varasm.c (initializer_constant_valid_p): Likewise.
656         * tree.h (DECL_NO_STATIC_CHAIN): Renamed to ...
657         (DECL_STATIC_CHAIN): ... this.
658         * config/moxie/moxie.c (moxie_static_chain): Use !DECL_STATIC_CHAIN
659         instead of DECL_NO_STATIC_CHAIN.
660
661 2009-09-23  Basile Starynkevitch  <basile@starynkevitch.net>
662             Rafael Avila de Espindola  <espindola@google.com>
663
664         * gengtype.c (nb_plugin_files): Make it unsigned to match
665         num_gt_files. Adjust other variables to avoid warnings.
666         (main): Allocate an all zero lang_bitmap before each plugin file name
667         to match regular file names.
668
669 2009-09-23  Richard Henderson  <rth@redhat.com>
670
671         * doc/tm.texi (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Remove.
672         (TARGET_STATIC_CHAIN): Mention that this hook must be used for
673         static chain passed in memory.
674         * system.h (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Poison.
675         * targhooks.c (default_static_chain): Don't handle STATIC_CHAIN,
676         STATIC_CHAIN_INCOMING.  Issue a sorry if there's no
677         STATIC_CHAIN_REGNUM defined.
678
679         * config/picochip/picochip-protos.h: s/class/klass/.
680         * config/picochip/picochip.c (TARGET_STATIC_CHAIN): New.
681         (picochip_static_chain): New.
682         * config/picochip/picochip.h (STATIC_CHAIN): Remove.
683         (STATIC_CHAIN_INCOMING): Remove.
684
685         * config/xtensa/xtensa.c (TARGET_STATIC_CHAIN): New.
686         (xtensa_static_chain): New.
687         * config/xtensa/xtensa.h (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Remove.
688
689 2009-09-23  Anatoly Sokolov  <aesok@post.ru>
690
691         * config/pa/pa.h (FUNCTION_VALUE): Remove macro.
692         * config/pa/pa-protos.h (function_value): Remove.
693         * config/pa/pa.c (pa_function_value): Rename from function_value.
694         Make static, add 'outgoing' argument.
695         (TARGET_FUNCTION_VALUE): Define.
696
697 2009-09-23  Anatoly Sokolov  <aesok@post.ru>
698
699         * config/avr/avr.c (avr_regs_to_save): Use current_function_is_leaf
700         instead of cfun->machine->is_leaf.
701         * config/avr/avr.h (machine_function): Remove is_leaf field.
702
703 2009-09-23  Jakub Jelinek  <jakub@redhat.com>
704
705         PR debug/41439
706         * dwarf2out.c (address_of_int_loc_descriptor): Don't emit
707         DW_OP_piece after DW_OP_stack_value, adjust size calculations
708         for it, when DW_OP_stack_value and DW_OP_implicit_value has
709         the same size, prefer DW_OP_stack_value.
710         (loc_descriptor, loc_list_for_address_of_addr_expr_of_indirect_ref,
711         loc_list_from_tree): Don't emit DW_OP_piece after DW_OP_stack_value.
712
713 2009-09-23  Alexandre Oliva  <aoliva@redhat.com>
714
715         PR debug/41353
716         * var-tracking.c (add_with_sets): Sort MO_VAL_LOC last among uses.
717
718 2009-09-23  Alexandre Oliva  <aoliva@redhat.com>
719
720         PR debug/41248
721         * cfgexpand.c (convert_debug_memory_address): New.
722         (expand_debug_expr): Convert base address and offset to the same
723         mode.  Use it to convert addresses to other modes.  Accept
724         ptr_mode addresses.
725
726 2009-09-23  Richard Guenther  <rguenther@suse.de>
727
728         * alias.c (ao_ref_from_mem): Correct for negative MEM_OFFSET
729         produced for bigendian targets with promoted subregs.
730
731 2009-09-23  Richard Guenther  <rguenther@suse.de>
732
733         * value-prof.c (gimple_ic): Purge old EH edges only after building
734         the new ones.
735
736 2009-09-23  Nick Clifton  <nickc@redhat.com>
737
738         * config/arc/arc.c (arc_trampoline_init): Fix typo.
739
740 2009-09-23  Jakub Jelinek  <jakub@redhat.com>
741
742         PR bootstrap/41405
743         * doc/invoke.texi: Document -gstrict-dwarf and -gno-strict-dwarf.
744
745         PR bootstrap/41436
746         * cgraphunit.c (cgraph_lower_function): Set DECL_NO_STATIC_CHAIN
747         on non-nested functions.
748
749 2009-09-23  Jakub Jelinek  <jakub@redhat.com>
750             Jan Hubicka  <jh@suse.cz>
751
752         * dwarf2out.c (loc_list_plus_const): Only define if
753         DWARF2_DEBUGGING_INFO.
754         (address_of_int_loc_descriptor): Likewise.
755
756         PR debug/41411
757         * dwarf2out.c (mem_loc_descriptor): Handle HIGH.
758
759 2009-09-23  Uros Bizjak  <ubizjak@gmail.com>
760
761         PR c/39779
762         * c-typeck.c (build_binary_op) <short_shift>: Check that integer
763         constant is more than zero.
764
765 2009-09-23  Alan Modra  <amodra@bigpond.net.au>
766
767         PR target/40473
768         * config/rs6000/rs6000.c (rs6000_output_function_prologue): Don't
769         call final to emit non-scheduled prologue, instead insert at entry.
770
771 2009-09-22  Loren J. Rittle  <ljrittle@acm.org>
772             Joseph S. Myers  <joseph@codesourcery.com>
773
774         * doc/install.texi (*-*-freebsd*): Add proper format codes.
775
776 2009-09-22  Basile Starynkevitch  <basile@starynkevitch.net>
777             Rafael Avila de Espindola  <espindola@google.com>
778
779         * gengtype.c (is_file_equal): New function.
780         (close_output_files): Use is_file_equal. Free of->buf.
781
782 2009-09-22  Basile Starynkevitch  <basile@starynkevitch.net>
783             Rafael Avila de Espindola  <espindola@google.com>
784
785         * gengtype.c (write_types, write_local): Add the output_header
786         argument. Update all callers.
787
788 2009-09-22  Dodji Seketeli  <dodji@redhat.com>
789
790         * dwarf2out.c (template_parameter_pack_die,
791         gen_formal_parameter_pack_die ): New functions.
792         (make_ith_pack_parameter_name): Remove this function.
793         (dwarf_tag_name): Support printing DW_TAG_template_parameter_pack and
794         DW_TAG_formal_parameter_pack.
795         (gen_generic_params_dies): Represent each template parameter pack
796         by a DW_TAG_template_parameter_pack DIE. Argument pack elements are
797         represented by usual DW_TAG_template_*_parameter DIEs that are
798         children of the DW_TAG_template_parameter_pack element DIE.
799         (generic_parameter_die): This doesn't deal with parameter pack
800         names anymore. Don't generate DW_AT_name for some DIEs, e.g. children
801         of parameter pack DIEs.
802         (gen_formal_parameter_die): Add a flag to not emit DW_AT_name
803         in certain cases, e.g. for pack elements.
804         (gen_formal_types_die, gen_decl_die): Adjust usage of
805         gen_formal_parameter_die.
806         (gen_subprogram_die): Represent each function parameter pack by a
807         DW_TAG_formal_parameter_pack DIE. Arguments of of the pack are
808         represented by usual DW_TAG_formal_parameter DIEs that are children
809         of the DW_TAG_formal_parameter_pack DIE. Remove references to
810         ____builtin_va_alist decls as no part of the compiler uses those
811         anymore.
812         * langhooks.h (struct lang_hooks_for_decls): Add
813         function_parm_expanded_from_pack_p, get_generic_function_decl
814         and function_parameter_pack_p hooks.  Fix comment for
815         get_innermost_generic_parms hook.
816         * langhooks-def.h (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P,
817         LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P ): Declare new hook
818         macros and use them to initialize lang_hook.
819
820 2009-09-22  Richard Henderson  <rth@redhat.com>
821
822         * system.h (TRAMPOLINE_TEMPLATE, INITIALIZE_TRAMPOLINE): Poison.
823         (TRAMPOLINE_ADJUST_ADDRESS): Poison.
824         * target-def.h (TARGET_ASM_TRAMPOLINE_TEMPLATE): Don't conditionalize
825         on TRAMPOLINE_TEMPLATE.
826         (TARGET_TRAMPOLINE_ADJUST_ADDRESS): Don't conditionalize on
827         TRAMPOLINE_ADJUST_ADDRESS.
828         * targhooks.c (default_asm_trampoline_template): Remove.
829         (default_trampoline_adjust_address): Remove.
830         (default_trampoline_init): Don't handle INITIALIZE_TRAMPOLINE.
831         * targhooks.h: Update decls.
832
833 2009-09-22  Dave Korn  <dave.korn.cygwin@gmail.com>
834
835         * config/i386/cygming.h (TARGET_USE_JCR_SECTION): Enable.
836         * config/i386/cygwin.h (LIBGCJ_SONAME): Define.
837         * config/i386/mingw32.h (LIBGCJ_SONAME): Likewise.
838
839 2009-09-22  Alexandre Oliva  <aoliva@redhat.com>
840
841         PR debug/41295
842         * reload1.c (reload): Reset debug insns with pseudos without
843         equivalences.
844
845 2009-09-22  Janis Johnson  <janis187@us.ibm.com>
846
847         * config/i386/i386.c (ix86_scalar_mode_supported_p): Don't return
848         unconditional true for decimal float modes.
849         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): Ditto.
850         * config/s390/s390.c (s390_scalar_mode_supported_p): Ditto.
851
852 2009-09-22  Loren J. Rittle  <ljrittle@acm.org>
853
854         * unwind-dw2-fde-glibc.c: Define and use USE_PT_GNU_EH_FRAME.
855         Enable a new case for __FreeBSD__ >= 7.
856         * crtstuff.c:  Define USE_PT_GNU_EH_FRAME for __FreeBSD__ >= 7.
857         * config/t-freebsd: Define LIB2ADDEH and LIB2ADDEHDEP.
858         * config/freebsd-spec.h: Conditionally define LINK_EH_SPEC
859         and USE_LD_AS_NEEDED.
860
861         * doc/install.texi (*-*-freebsd*): Update target information.
862
863 2009-09-22  Richard Guenther  <rguenther@suse.de>
864
865         PR middle-end/41395
866         * tree-dfa.c (get_ref_base_and_extent): Handle trailing
867         arrays really properly.
868
869 2009-09-22  Richard Henderson  <rth@redhat.com>
870
871         PR target/41246
872         * target.h (struct gcc_target): Add asm_out.trampoline_template,
873         calls.static_chain, calls.trampoline_init,
874         calls.trampoline_adjust_address.
875         * target-def.h (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
876         (TARGET_STATIC_CHAIN, TARGET_TRAMPOLINE_INIT): New.
877         (TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
878         * builtins.c (expand_builtin_setjmp_receiver): Use
879         targetm.calls.static_chain; only clobber registers.
880         (expand_builtin_init_trampoline): Use targetm.calls.trampoline_init;
881         set up memory attributes properly for the trampoline block.
882         (expand_builtin_adjust_trampoline): Use
883         targetm.calls.trampoline_adjust_address.
884         * calls.c (prepare_call_address): Add fndecl argument.  Use
885         targetm.calls.static_chain.
886         * df-scan.c (df_need_static_chain_reg): Remove.
887         (df_get_entry_block_def_set): Use targetm.calls.static_chain;
888         consolodate static chain handling.
889         * doc/tm.texi: Document new hooks.
890         * emit-rtl.c (static_chain_rtx, static_chain_incoming_rtx): Remove.
891         (init_emit_regs): Don't initialize them.
892         * expr.h (prepare_call_address): Update decl.
893         * final.c (profile_function): Use targetm.calls.static_chain.
894         * function.c (expand_function_start): Likewise.
895         * rtl.h (static_chain_rtx, static_chain_incoming_rtx): Remove.
896         * stmt.c (expand_nl_goto_receiver): Use targetm.calls.static_chain;
897         only clobber registers.
898         * targhooks.c (default_static_chain): New.
899         (default_asm_trampoline_template, default_trampoline_init): New.
900         (default_trampoline_adjust_address): New.
901         * targhooks.h: Declare them.
902         * varasm.c (assemble_trampoline_template): Use
903         targetm.asm_out.trampoline_template.  Make the memory block const
904         and set its size.
905
906         * config/alpha/alpha.c (alpha_trampoline_init): Rename from
907         alpha_initialize_trampoline.  Make static.  Merge VMS parameter
908         differences into the TARGET_ABI_OPEN_VMS code block.
909         (TARGET_TRAMPOLINE_INIT): New.
910         * config/alpha/alpha.h (TRAMPOLINE_TEMPLATE): Remove.
911         (TRAMPOLINE_SECTION, INITIALIZE_TRAMPOLINE): Remove.
912         * config/alpha/vms.h (TRAMPOLINE_SIZE, TRAMPOLINE_ALIGNMENT): Remove.
913         (INITIALIZE_TRAMPOLINE): Remove.
914
915         * config/arc/arc.h (TRAMPOLINE_ALIGNMENT): New.
916         (TRAMPOLINE_TEMPLATE): Merge with ...
917         (INITIALIZE_TRAMPOLINE): ... this and move ...
918         * config/arc/arc.c (arc_trampoline_init): ... here.
919         (TARGET_TRAMPOLINE_INIT): New.
920
921         * config/arm/arm.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
922         (TARGET_TRAMPOLINE_INIT, TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
923         (arm_asm_trampoline_template): New.
924         (arm_trampoline_init, arm_trampoline_adjust_address): New.
925         * config/arm/arm.h (TRAMPOLINE_TEMPLATE, ARM_TRAMPOLINE_TEMPLATE,
926         THUMB2_TRAMPOLINE_TEMPLATE, THUMB1_TRAMPOLINE_TEMPLATE): Move all
927         code to arm_asm_trampoline_template.
928         (TRAMPOLINE_ADJUST_ADDRESS): Move code to
929         arm_trampoline_adjust_address.
930         (INITIALIZE_TRAMPOLINE): Move code to arm_trampoline_init;
931         adjust for target hook parameters.
932
933         * config/avr/avr.h (TRAMPOLINE_TEMPLATE, INITIALIZE_TRAMPOLINE):
934         Remove.
935
936         * config/bfin/bfin-protos.h (initialize_trampoline): Remove.
937         * config/bfin/bfin.c (bfin_asm_trampoline_template): New.
938         (bfin_trampoline_init): Rename from initialize_trampoline;
939         make static; update for target hook parameters.
940         (TARGET_ASM_TRAMPOLINE_TEMPLATE, TARGET_TRAMPOLINE_INIT): New.
941         * config/bfin/bfin.h (TRAMPOLINE_TEMPLATE): Move code to
942         bfin_asm_trampoline_template.
943         (INITIALIZE_TRAMPOLINE): Remove.
944
945         * config/cris/cris.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
946         TARGET_TRAMPOLINE_INIT, cris_asm_trampoline_template,
947         cris_trampoline_init): New.
948         * config/cris/cris.h (TRAMPOLINE_TEMPLATE): Move code to
949         cris_asm_trampoline_template.
950         (INITIALIZE_TRAMPOLINE): Move code to cris_trampoline_init;
951         adjust for target hook parameters.
952
953         * config/crx/crx.h (INITIALIZE_TRAMPOLINE): Remove.
954
955         * config/fr30/fr30.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
956         TARGET_TRAMPOLINE_INIT, fr30_asm_trampoline_template,
957         fr30_trampoline_init): New.
958         * config/fr30/fr30.h (TRAMPOLINE_TEMPLATE): Move code to
959         fr30_asm_trampoline_template.
960         (INITIALIZE_TRAMPOLINE): Move code to fr30_trampoline_init;
961         adjust for target hook parameters.
962
963         * config/frv/frv.c (TARGET_TRAMPOLINE_INIT): New.
964         (frv_trampoline_init): Rename from frv_initialize_trampoline;
965         make static, adjust arguments for TARGET_TRAMPOLINE_INIT hook.
966         * config/frv/frv.h (INITIALIZE_TRAMPOLINE): Remove.
967         * config/frv/frv-protos.h (frv_initialize_trampoline): Remove.
968
969         * config/h8300/h8300.c (h8300_trampoline_init): New.
970         (TARGET_TRAMPOLINE_INIT): New.
971         * config/h8300/h8300.h (INITIALIZE_TRAMPOLINE): Move code
972         to h8300_trampoline_init and adjust for hook parameters.
973
974         * config/ia64/ia64-protos.h (ia64_initialize_trampoline): Remove.
975         * config/ia64/ia64.c (TARGET_TRAMPOLINE_INIT): New.
976         (ia64_trampoline_init): Rename from ia64_initialize_trampoline;
977         make static; adjust for hook parameters.
978         * config/ia64/ia64.h (INITIALIZE_TRAMPOLINE): Remove.
979
980         * config/iq2000/iq2000.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
981         (TARGET_TRAMPOLINE_INIT): New.
982         (iq2000_asm_trampoline_template, iq2000_trampoline_init): New.
983         * config/iq2000/iq2000.h (TRAMPOLINE_TEMPLATE): Move code to
984         iq2000_asm_trampoline_template.
985         (INITIALIZE_TRAMPOLINE): Move code to iq2000_trampoline_init.
986         (TRAMPOLINE_CODE_SIZE): New.
987         (TRAMPOLINE_SIZE): Use it.
988         (TRAMPOLINE_ALIGNMENT): Follow Pmode.
989
990         * config/m32c/m32c-protos.h (m32c_initialize_trampoline): Remove.
991         * config/m32c/m32c.c (TARGET_TRAMPOLINE_INIT): New.
992         (m32c_trampoline_init): Rename from m32c_initialize_trampoline;
993         adjust for hook parameters.
994         * config/m32c/m32c.h (INITIALIZE_TRAMPOLINE): Remove.
995
996         * config/m32r/m32r.c (TARGET_TRAMPOLINE_INIT): New.
997         (m32r_trampoline_init): New.
998         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Move code to
999         m32r_trampoline_init.
1000
1001         * config/m68hc11/m68hc11.c (TARGET_TRAMPOLINE_INIT): New.
1002         (m68hc11_trampoline_init): Rename from m68hc11_initialize_trampoline;
1003         make static; update for hook parameters.
1004         * config/m68hc11/m68hc11-protos.h: Update.
1005         * config/m68hc11/m68hc11.h (INITIALIZE_TRAMPOLINE): Remove.
1006
1007         * config/mcore/mcore.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
1008         (TARGET_TRAMPOLINE_INIT): New.
1009         (mcore_function_value): Fix typo.
1010         (mcore_asm_trampoline_template, mcore_trampoline_init): New.
1011         * config/mcore/mcore.h (TRAMPOLINE_TEMPLATE): Move code
1012         to mcore_asm_trampoline_template.
1013         (INITIALIZE_TRAMPOLINE): Move code to mcore_trampoline_init.
1014
1015         * config/mep/mep.h (INITIALIZE_TRAMPOLINE): Remove.
1016         * config/mep/mep.c (TARGET_TRAMPOLINE_INIT): New.
1017         (mep_trampoline_init): Rename from mep_init_trampoline; make static;
1018         update for hook parameters.
1019         * config/mep/mep-protos.h (mep_init_trampoline): Remove.
1020
1021         * config/mips/mips.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
1022         mips_asm_trampoline_template, TARGET_TRAMPOLINE_INIT,
1023         mips_trampoline_init): New.
1024         * config/mips/mips.h (TRAMPOLINE_TEMPLATE): Move code to
1025         mips_asm_trampoline_template.
1026         (INITIALIZE_TRAMPOLINE): Move code to mips_trampoline_init;
1027         update for hook parameters.
1028
1029         * gcc/config/mmix/mmix.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
1030         (TARGET_TRAMPOLINE_INIT): New.
1031         (mmix_trampoline_size): Remove.
1032         (mmix_asm_trampoline_template): Rename from mmix_trampoline_template;
1033         make static.  Remove out-of-date tetra vs octa comment.
1034         (mmix_trampoline_init): Rename from mmix_initialize_trampoline;
1035         make static; update for hook parameters.
1036         * config/mmix/mmix.h (TRAMPOLINE_TEMPLATE): Remove.
1037         (INITIALIZE_TRAMPOLINE): Remove.
1038         (TRAMPOLINE_SIZE): Use a constant instead of mmix_trampoline_size.
1039         (TRAMPOLINE_ALIGNMENT): New.
1040         * gcc/config/mmix/mmix-protos.h: Update.
1041
1042         * config/mn10300/mn10300.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
1043         mn10300_asm_trampoline_template, TARGET_TRAMPOLINE_INIT,
1044         mn10300_trampoline_init): New.
1045         * config/mn10300/mn10300.h (TRAMPOLINE_TEMPLATE): Move code to
1046         mn10300_asm_trampoline_template.
1047         (INITIALIZE_TRAMPOLINE): Move code to mn10300_trampoline_init.
1048
1049         * config/moxie/moxie.c (moxie_static_chain,
1050         moxie_asm_trampoline_template, moxie_trampoline_init,
1051         TARGET_STATIC_CHAIN, TARGET_ASM_TRAMPOLINE_TEMPLATE,
1052         TARGET_TRAMPOLINE_INIT): New.
1053         * config/moxie/moxie.h (INITIALIZE_TRAMPOLINE): Move code to
1054         moxie_trampoline_init.
1055         (TRAMPOLINE_TEMPLATE): Move code to moxie_asm_trampoline_template.
1056         (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Remove.
1057
1058         * gcc/config/pa/pa.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
1059         pa_asm_trampoline_template, TARGET_TRAMPOLINE_INIT,
1060         pa_trampoline_init, TARGET_TRAMPOLINE_ADJUST_ADDRESS,
1061         pa_trampoline_adjust_address): New.
1062         * config/pa/pa.h (TRAMPOLINE_TEMPLATE): Move code to
1063         pa_asm_trampoline_template.
1064         (TRAMPOLINE_ALIGNMENT): New.
1065         (TRAMPOLINE_CODE_SIZE): Move to pa.c.
1066         (INITIALIZE_TRAMPOLINE): Move code to pa_trampoline_init;
1067         adjust for hook parameters.
1068         (TRAMPOLINE_ADJUST_ADDRESS): Move code to pa_trampoline_adjust_address.
1069
1070         * config/pdp11/pdp11.c (pdp11_trampoline_init): New.
1071         (TARGET_TRAMPOLINE_INIT): New.
1072         * config/pdp11/pdp11.h (TRAMPOLINE_TEMPLATE): Remove.
1073         (INITIALIZE_TRAMPOLINE): Move code to pdp11_trampoline_init.
1074
1075         * config/picochip/picochip.h (INITIALIZE_TRAMPOLINE): Remove.
1076
1077         * config/rs6000/rs6000-protos.h (rs6000_initialize_trampoline): Remove.
1078         * config/rs6000/rs6000.c (TARGET_TRAMPOLINE_INIT): New.
1079         (rs6000_trampoline_init): Rename from rs6000_initialize_trampoline;
1080         make static; adjust parameters for the hook.
1081         * config/rs6000/rs6000.h (INITIALIZE_TRAMPOLINE): Remove.
1082
1083         * config/s390/s390.c (s390_asm_trampoline_template): Rename from
1084         s390_trampoline_template; make static.
1085         (s390_trampoline_init): Rename from s390_initialize_trampoline;
1086         make static; adjust for target hook.
1087         (TARGET_ASM_TRAMPOLINE_TEMPLATE, TARGET_TRAMPOLINE_INIT): New.
1088         * config/s390/s390-protos.h: Remove trampoline decls.
1089         * config/s390/s390.h (INITIALIZE_TRAMPOLINE): Remove.
1090         (TRAMPOLINE_TEMPLATE): Remove.
1091         (TRAMPOLINE_ALIGNMENT): New.
1092
1093         * config/score/score-protos.h (score_initialize_trampoline): Remove.
1094         * config/score/score.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
1095         (TARGET_TRAMPOLINE_INIT): New.
1096         (score_asm_trampoline_template): New.
1097         (score_trampoline_init): Rename from score_initialize_trampoline;
1098         make static; adjust for hook parameters.
1099         * config/score/score.h (TRAMPOLINE_TEMPLATE): Move code to
1100         score[37]_asm_trampoline_template.
1101         (INITIALIZE_TRAMPOLINE): Remove.
1102         * config/score/score3.c (score3_asm_trampoline_template): New.
1103         (score3_trampoline_init): Rename from score3_initialize_trampoline;
1104         adjust for target hook.
1105         * config/score/score7.c (score7_asm_trampoline_template): New.
1106         (score7_trampoline_init): Rename from score7_initialize_trampoline;
1107         adjust for target hook.
1108         * config/score/score3.h, config/score/score7.h: Update.
1109
1110         * config/sh/sh-protos.h (sh_initialize_trampoline): Remove.
1111         * config/sh/sh.c (TARGET_TRAMPOLINE_INIT): New.
1112         (TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
1113         (sh_trampoline_init): Rename from sh_initialize_trampoline;
1114         make static; adjust for target hook parameters.
1115         (sh_trampoline_adjust_address): New.
1116         * config/sh/sh.h (INITIALIZE_TRAMPOLINE): New.
1117         (TRAMPOLINE_ADJUST_ADDRESS): Move code to sh_trampoline_adjust_address.
1118
1119         * config/sparc/sparc.c (TARGET_TRAMPOLINE_INIT): New.
1120         (sparc32_initialize_trampoline): Rename from
1121         sparc_initialize_trampoline; make static; replace tramp parameter
1122         with m_tramp and update memory accesses.
1123         (sparc64_initialize_trampoline): Similarly.
1124         (sparc_trampoline_init): New.
1125         * config/sparc/sparc-protos.h: Remove trampoline decls.
1126         * config/sparc/sparc.h (INITIALIZE_TRAMPOLINE): Remove.
1127         * config/sparc/sparc.md (nonlocal_goto): Don't use static_chain_rtx.
1128
1129         * config/spu/spu.c (TARGET_TRAMPOLINE_INIT): New.
1130         (array_to_constant): Make ARR parameter const.
1131         (spu_trampoline_init): Rename from spu_initialize_trampoline;
1132         make static; update for hook parameters.
1133         * config/spu/spu-protos.h: Update decls.
1134         * config/spu/spu.h (INITIALIZE_TRAMPOLINE): Remove.
1135
1136         * config/stormy16/stormy16.c (xstormy16_trampoline_init): Rename
1137         from xstormy16_initialize_trampoline; make static; update for
1138         hook parameters.
1139         (TARGET_TRAMPOLINE_INIT): New.
1140         * config/stormy16/stormy16.h (INITIALIZE_TRAMPOLINE): Remove.
1141
1142         * config/v850/v850.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
1143         (TARGET_TRAMPOLINE_INIT): New.
1144         (v850_can_eliminate): Make static.
1145         (v850_asm_trampoline_template, v850_trampoline_init): New.
1146         * config/v850/v850.h (TRAMPOLINE_TEMPLATE): Move code to
1147         v850_asm_trampoline_template.
1148         (INITIALIZE_TRAMPOLINE): Move code to v850_trampoline_init
1149         and adjust for target hook parameters.
1150
1151         * config/vax/vax.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
1152         (TARGET_TRAMPOLINE_INIT): New.
1153         (vax_asm_trampoline_template, vax_trampoline_init): New.
1154         * config/vax/vax.h (TRAMPOLINE_TEMPLATE): Move code to
1155         vax_asm_trampoline_template.
1156         (INITIALIZE_TRAMPOLINE): Move code to vax_trampoline_init.
1157
1158         * config/xtensa/xtensa.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
1159         (TARGET_TRAMPOLINE_INIT): New.
1160         (xtensa_asm_trampoline_template): Rename from
1161         xtensa_trampoline_template; make static.
1162         (xtensa_trampoline_init): Rename from xtensa_initialize_trampoline;
1163         make static; update for hook parameters.
1164         * config/xtensa/xtensa-protos.h: Remove trampoline decls.
1165         * config/xtensa/xtensa.h (TRAMPOLINE_TEMPLATE): Remove.
1166         (INITIALIZE_TRAMPOLINE): Remove.
1167
1168         * config/i386/i386.c (ix86_function_regparm): Do not issue an
1169         error for nested functions with regparm=3.
1170         (ix86_compute_frame_layout): Adjust frame pointer offset for
1171         ix86_static_chain_on_stack.
1172         (ix86_expand_prologue): Handle ix86_static_chain_on_stack.
1173         (ix86_emit_restore_reg_using_pop): Increment ix86_cfa_state->offset,
1174         don't reset to UNITS_PER_WORD.
1175         (ix86_emit_leave): Adjust ix86_cfa_state.
1176         (ix86_expand_epilogue): Handle ix86_static_chain_on_stack.
1177         (ix86_static_chain): New.
1178         (ix86_trampoline_init): Rename from x86_initialize_trampoline;
1179         make static; update for target hook parameters; use ix86_static_chain.
1180         (TARGET_STATIC_CHAIN, TARGET_TRAMPOLINE_INIT): New.
1181         * config/i386/i386.h (STATIC_CHAIN_REGNUM): Remove.
1182         (INITIALIZE_TRAMPOLINE): Remove.
1183         (TRAMPOLINE_SIZE): Use 24 for 64-bit.
1184         (struct machine_function): Use BOOL_BITFIELD; rearrange bitfields
1185         to the end.  Add static_chain_on_stack.
1186         (ix86_static_chain_on_stack): New.
1187
1188         * config/m68k/m68k.c (TARGET_TRAMPOLINE_INIT): New.
1189         (m68k_output_mi_thunk): Don't use static_chain_rtx.
1190         (m68k_trampoline_init): New.
1191         * config/m68k/m68k.h (INITIALIZE_TRAMPOLINE): Move code to
1192         m68k_trampoline_init and adjust for hook parameters.
1193         * config/m68k/netbsd-elf.h (TRAMPOLINE_TEMPLATE): Remove.
1194         (TRAMPOLINE_SIZE, INITIALIZE_TRAMPOLINE): Remove.
1195
1196 2009-09-22  Jakub Jelinek  <jakub@redhat.com>
1197
1198         * config/rs6000/rs6000.c (bdesc_2arg): Fix CODE_FOR_vector_gt* codes
1199         for __builtin_altivec_vcmpgt{sb,uh,sh,uw}.
1200
1201         * reload1.c (reload): Call wrap_constant when substituting
1202         reg for equiv inside of DEBUG_INSNs.
1203
1204         PR bootstrap/41405
1205         * dwarf2out.c (base_type_die, record_type_tag, gen_subprogram_die,
1206         add_call_src_coords_attributes, add_high_low_attributes,
1207         gen_compile_unit_die, gen_type_die_with_usage force_decl_die,
1208         gen_decl_die, dwarf2out_imported_module_or_decl_1, dwarf2out_finish,
1209         dwarf2out_imported_module_or_decl): Avoid using DWARF3 additions
1210         when -gdwarf-2 -gstrict-dwarf.
1211         (loc_list_from_tree): Likewise.  Avoid using DWARF4 additions when
1212         -gdwarf-[23] -gstrict-dwarf.
1213         (address_of_int_loc_descriptor, loc_descriptor,
1214         loc_list_for_address_of_addr_expr_of_indirect_ref): Avoid using
1215         DWARF4 additions when -gdwarf-[23] -gstrict-dwarf.
1216         * common.opt (gno-strict-dwarf, gstrict-dwarf): New options.
1217
1218 2009-09-22  Richard Guenther  <rguenther@suse.de>
1219
1220         PR tree-optimization/41428
1221         * tree-ssa-ccp.c (ccp_fold_stmt): New function.
1222         (ccp_finalize): Pass it to substitute_and_fold.
1223
1224 2009-09-22  Richard Guenther  <rguenther@suse.de>
1225
1226         * tree-ssa-propagate.h (ssa_prop_fold_stmt_fn): Declare.
1227         (substitute_and_fold): Adjust prototype.
1228         * tree-vrp.c (vrp_evaluate_conditional): Make static.
1229         (simplify_stmt_using_ranges): Likewise.
1230         (fold_predicate_in): Move here from tree-ssa-propagate.c.
1231         (vrp_fold_stmt): New function.
1232         (vrp_finalize): Pass it to substitute_and_fold.
1233         * tree-flow.h (vrp_evaluate_conditional): Remove.
1234         (simplify_stmt_using_ranges): Likewise.
1235         * tree-ssa-ccp.c (ccp_finalize): Adjust call to substitute_and_fold.
1236         * tree-ssa-copy.c (fini_copy_prop): Likewise.
1237         * tree-ssa-propagate.c (struct prop_stats_d): Rename num_pred_folded
1238         member.
1239         (fold_predicate_in): Move to tree-vrp.c.
1240         (substitute_and_fold): Use the callback instead of calling into
1241         tree-vrp.c functions directly.
1242
1243 2009-09-22  Jakub Jelinek  <jakub@redhat.com>
1244
1245         * dwarf2out.c (address_of_int_loc_descriptor): Avoid signed/unsigned
1246         comparison warning on rs6000.
1247
1248         PR middle-end/41429
1249         * tree-cfg.c (remove_useless_stmts_tc): Call gsi_next (gsi) even for
1250         GIMPLE_EH_MUST_NOT_THROW cleanup.
1251         (verify_types_in_gimple_stmt): Handle GIMPLE_EH_MUST_NOT_THROW.
1252
1253 2009-09-22  Jack Howarth  <howarth@bromo.med.uc.edu>
1254
1255         PR middle-end/41260
1256         * gcc/config.gcc: Use darwin9.h and darwin10.h on darwin10 and later.
1257         * gcc/config/darwin10.h: Add file to pass -no_compact_unwind on
1258         LIB_SPEC for darwin10 and later since it always uses the unwinder in
1259         libSystem which is derived from the gcc 4.2.1 unwinder.
1260
1261 2009-09-22  Dave Korn  <dave.korn.cygwin@gmail.com>
1262
1263         PR middle-end/41357
1264         * varasm.c (default_encode_section_info): Copy TLS model into
1265         sym_ref flags regardless of backend support for TLS, for all
1266         model types except TLS_MODEL_EMULATED.
1267
1268 2009-09-22  Dave Korn  <dave.korn.cygwin@gmail.com>
1269
1270         PR bootstrap/41404
1271         * dwarf2out.c (mem_loc_descriptor): Punt on CONST_STRING until
1272         we can handle it correctly.
1273
1274 2009-09-21  Gerald Pfeifer  <gerald@pfeifer.com>
1275
1276         * doc/install.texi (os2): Remove section.
1277
1278 2009-09-21  Gerald Pfeifer  <gerald@pfeifer.com>
1279
1280         * doc/standards.texi (Objective-C): Adjust two URLs.
1281
1282 2009-09-21  Giuseppe Scrivano <gscrivano@gnu.org>
1283
1284         * tree-tailcall.c (process_assignment): Don't check if a
1285         multiplication or an addition are already present.
1286         (find_tail_calls): Combine multiple additions and multiplications.
1287         (adjust_accumulator_values): Emit accumulators.
1288
1289 2009-09-21  Kai Tietz  <kai.tietz@onevision.com>
1290
1291         * config/i386/i386.c (ix86_expand_epilogue): Adjust offset for
1292         xmm register restore.
1293
1294 2009-09-21  Jan Hubicka  <jh@suse.cz>
1295
1296         * dwarf2out.c (decl_loc_table_eq): Allow decl_loc_table to be NULL.
1297         (dwarf2out_abstract_function): NULLify decl_loc_table at begginig and
1298         restore at the end.
1299
1300 2009-09-21  Eric Botcazou  <ebotcazou@adacore.com>
1301
1302         * stor-layout.c (layout_type): Remove obsolete code.
1303
1304 2009-09-20  H.J. Lu  <hongjiu.lu@intel.com>
1305
1306         PR middle-end/41395
1307         * opts.c (decode_options): Don't turn on flag_ipa_sra for opt2.
1308
1309 2009-09-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1310
1311         PR middle-end/30789
1312         * builtins.c (do_mpc_arg2): Accept DO_NONFINITE parameter.
1313         (do_mpc_ckconv): Accept FORCE_CONVERT parameter.
1314         (fold_builtin_2, do_mpc_arg1): Update accordingly.
1315         * fold-const.c (const_binop): Likewise.
1316         * real.h (do_mpc_arg2): Update prototype.
1317
1318 2009-09-20  Jan Hubicka  <jh@suse.cz>
1319
1320         * dwarf2out.c (add_const_value_attribute): Return true if successful.
1321         (add_location_or_const_value_attribute): Rewrite using
1322         loc_list_from_tree.
1323         (tree_add_const_value_attribute): Return true if successful.
1324         (tree_add_const_value_attribute_for_decl): Likewise.
1325
1326         * dwarf2out.c (address_of_int_loc_descriptor): Break out from ...
1327         (loc_descriptor): ... here;
1328         (loc_list_for_address_of_addr_expr_of_indirect_ref): New function.
1329         (cst_pool_loc_descr): Break out from ...; do not reffer constant
1330         pool items that was not marked for output.
1331         (loc_list_from_tree): ... here; handle special cases of ADDR_EXPR;
1332         (loc_list_for_address_of_addr_expr_of_indirect_ref): New function.
1333         (loc_list_for_address_of_addr_expr_of_indirect_ref): New function.
1334         handle ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, REALPART_EXPR,
1335         IMAGPART_EXPR; handle address of INTEGER_CST; improve handling of
1336         CONSTRUCTOR; handle REAL_CST, STRING_CST, COMPLEX_CST; use
1337         DW_OP_stack_value to get address of items that are not available
1338         as addresses.
1339         (dw_loc_list): Handle single element lists correctly.
1340
1341 2009-09-20  Kai Tietz  <kai.tietz@onevision.com>
1342             Pascal Obry  <obry@adacore.com>
1343
1344         * unwind-dw2-fde.c (classify_object_over_fdes):
1345         Cast the constant 1 to _Unwind_Ptr.
1346         (add_fdes): Likewise.
1347         (linear_search_fdes): Likewise.
1348
1349 2009-09-20  Eric Botcazou  <ebotcazou@adacore.com>
1350
1351         * stor-layout.c (set_sizetype): Avoid useless type copy.
1352
1353 2009-09-20  Richard Sandiford  <rdsandiford@googlemail.com>
1354
1355         * configure.ac (gcc_cv_ld_mips_personality_relaxation): New
1356         feature check.
1357         (HAVE_LD_PERSONALITY_RELAXATION): New macro definition.
1358         * configure, config.in: Regenerate.
1359         * dwarf2asm.c (eh_data_format_name): Handle DW_EH_PE_indirect |
1360         DW_EH_PE_absptr.
1361         * config/mips/mips.h (TARGET_WRITABLE_EH_FRAME): New macro.
1362         (ASM_PREFERRED_EH_DATA_FORMAT): Define.  Use MIPS_EH_INDIRECT
1363         for global data if the output could be used in a shared library.
1364         * config/mips/mips.c (mips_override_options): Set flag_dwarf2_cfi_asm
1365         to 0 if TARGET_WRITABLE_EH_FRAME.
1366
1367 2009-09-20  Paolo Bonzini <bonzini@gnu.org>
1368
1369         PR rtl-optimization/39886
1370         * combine.c (update_cfg_for_uncondjump): Set EDGE_FALLTHRU
1371         just when insn is equal to BB_END (bb).
1372
1373 2009-09-19  Adam Nemet  <anemet@caviumnetworks.com>
1374
1375         * config/mips/mips.opt (mrelax-pic-calls): New option.
1376         * config/mips/mips.c (mips_strip_unspec_address): Move it up in
1377         the file.
1378         (mips_unspec_call): Change "unspec_call" expander into this.
1379         (mips_strip_unspec_call): New function.
1380         (mips_got_load): Call mips_unspec_call instead of
1381         gen_unspec_call<mode>.
1382         (mips16_build_call_stub): Fix comment for fp_code.  Adjust call to
1383         MIPS_CALL.
1384         (mips_cfg_in_reorg): New function.
1385         (mips16_lay_out_constants): Use it to decide whether to call
1386         CFG-aware insn splitting.
1387         (r10k_insert_cache_barriers): Move CFG set-up code from here to
1388         mips_reorg.  Move DF set-up code from here ...
1389         (mips_df_reorg): ... to here.  Call r10k_insert_cache_barriers
1390         from here.
1391         (mips_reorg): Call mips_df_reorg instead of
1392         r10k_insert_cache_barriers.  Move CFG set-up code here from
1393         r10k_insert_cache_barriers.
1394         (mips_call_expr_from_insn): New function.
1395         (mips_pic_call_symbol_from_set): Likewise.
1396         (mips_find_pic_call_symbol): Likewise.
1397         (mips_annotate_pic_call_expr): Likewise.
1398         (mips_get_pic_call_symbol): Likewise.
1399         (mips_annotate_pic_calls): Likewise.
1400         (mips_override_options): Disable -mrelax-pic-calls unless PIC
1401         calls are used.
1402         (mips_set_mips16_mode): Disable -mrelax-pic-calls for MIPS16.
1403         * config/mips/mips-protos.h (mips_get_pic_call_symbol): Declare it.
1404         * config/mips/mips.h (MIPS_CALL): Use it to print the .reloc
1405         directive.
1406         * config/mips/mips.md (UNSPEC_CALL_ATTR): New unspec.
1407         (unspec_call<mode>): Remove it.
1408         (sibcall_internal, sibcall_value_internal,
1409         sibcall_value_multiple_internal, call_internal, call_split,
1410         call_value_internal, call_value_split,
1411         call_value_multiple_internal, call_value_multiple_split): Pass
1412         SIZE_OPNO to MIPS_CALL.
1413         (call_internal_direct, call_direct_split,
1414         call_value_internal_direct, call_value_direct_split): Pass -1 as
1415         SIZE_OPNO to MIPS_CALL.
1416         * configure.ac <mips*-*-*>: Add test for .reloc R_MIPS_JALR.
1417         * configure: Regenerate.
1418         * doc/invoke.texi (Option Summary): Add -mrelax-pic-calls
1419         and -mno-relax-pic-calls.
1420         (MIPS Options): Document -mrelax-pic-calls and -mno-relax-pic-calls.
1421
1422 2009-09-19  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1423
1424         PR bootstrap/35619
1425         * Makefile.in (stmp-fixinc): Ensure `include-fixed' is created
1426         in the directory this rule is called from, rather than the
1427         toplevel 'gcc' directory, to fix in-tree build.
1428
1429 2009-09-19  Chris Demetriou  <cgd@google.com>
1430
1431         PR preprocessor/28435:
1432         * c-opts.c (c_common_handle_option): For -MD and -MMD, indicate
1433         to cpplib that the preprocessor output is needed.
1434
1435 2009-09-19  Jakub Jelinek  <jakub@redhat.com>
1436
1437         * config/rs6000/rs6000.md (*save_gpregs_<mode>, *save_fpregs_<mode>,
1438         *restore_gpregs_<mode>, *return_and_restore_gpregs_<mode>,
1439         *return_and_restore_fpregs_<mode>,
1440         *return_and_restore_fpregs_aix_<mode>): Remove 'z' operand modifier.
1441
1442         PR bootstrap/41397
1443         * dwarf2out.c (mem_loc_descriptor) <case SUBREG>: Recurse
1444         instead of assuming it has always a REG inside of it.
1445
1446 2009-09-18  Gerald Pfeifer  <gerald@pfeifer.com>
1447
1448         * config/freebsd.h: Update comment on types.
1449         (WINT_TYPE): Define.
1450
1451 2009-09-18  Jason Merrill  <jason@redhat.com>
1452
1453         * c.opt: Add -fno-deduce-init-list.
1454
1455 2009-09-18  Neil Vachharajani  <nvachhar@google.com>
1456
1457         * value-prof.c (interesting_stringop_to_profile_p): Added output
1458         argument to indicate which parameter is the size parameter.
1459         * value-prof.c (gimple_stringop_fixed_value): Use
1460         INTERESTING_STRINGOP_TO_PROFILE_P to find size argument.
1461         * value-prof.c (gimple_stringops_transform): Update call sites to
1462         INTERESTING_STRINGOP_TO_PROFILE_P to reflect parameter change.
1463
1464 2009-09-18  Uros Bizjak  <ubizjak@gmail.com>
1465
1466         PR target/38288
1467         From David Binderman <dcb314@hotmail.com>:
1468         * gcc/config/i386/i386.c (ix86_function_regparm): Remove useless
1469         local variable f.  Remove stale comments.
1470         (ix86_compute_frame_layout): Remove useless local variable total_size.
1471         Remove #if 0'd code.
1472         (legitimate_address_p): Remove useless local variables
1473         reason_rtx and reason.
1474         (ix86_split_copysign_const): Remove useless local variable op1.
1475         (scale_counter): Remove useless local variable piece_size_mask.
1476
1477 2009-09-18  Jakub Jelinek  <jakub@redhat.com>
1478
1479         * stmt.c (expand_asm_operands): Set REG_ATTRS on the temporary from
1480         output decl.
1481
1482 2009-09-17  Michael Haubenwallner  <michael.haubenwallner@salomon.at>
1483
1484         PR target/40913
1485         * config/pa/t-hpux-shlib: Set soname in libgcc_s.sl.
1486
1487 2009-09-17  Jakub Jelinek  <jakub@redhat.com>
1488
1489         * c-decl.c (finish_struct): Adjust DECL_SOURCE_LOCATION of
1490         TYPE_STUB_DECL.
1491
1492 2009-09-17  Alexandre Oliva  <aoliva@redhat.com>
1493
1494         * dwarf2out.c (loc_descriptor): Emit DW_OP_stack_value and
1495         DW_OP_implicit_value even without dwarf_version 4.
1496
1497 2009-09-17  Jan Hubicka  <jh@suse.cz>
1498
1499         * dwarf2out.c: Include tree-pass.h and gimple.h.
1500         (loc_list_plus_const): New function.
1501         (loc_descriptor_from_tree_1): Rename to ...
1502         (loc_descriptor_from_tree): ... remove original.
1503         (loc_list_from_tree): New function.
1504         (add_AT_location_description): Accept location list.
1505         (tls_mem_loc_descriptor): Update call of loc_descriptor_from_tree.
1506         (concatn_mem_loc_descriptor): Remove.
1507         (mem_loc_descriptor): Handle CONCAT/CONCATN and VAR_LOCATION by
1508         returning NULL.
1509         (secname_for_decl): Move up.
1510         (hidden_reference_p): New function; break out from ...
1511         (loc_by_refernece): ... here; move up.
1512         (dw_loc_list): New function.
1513         (single_element_loc_list): New function.
1514         (single_element_loc_list_p): New function.
1515         (add_loc_descr_to_each): New function.
1516         (add_loc_list): New function.
1517         (loc_descr_from_tree): Make wraper of loc_list_from_tree.
1518         (loc_list_from_tree): Reroganized from loc_descr_from_tree;
1519         add diagnostics why expansion failed.
1520         (add_location_or_const_value_attribute): Support location lists.
1521         (add_bound_info): Likewise.
1522         (descr_info_loc): Update call of loc_descriptor_from_tree.
1523         (gen_variable_die): Work on location lists.
1524         * final.c (pass_final): Add dump file.
1525         * Makefile.in (dwarf2out.o): Add new dependencies.
1526
1527 2009-09-17  Janis Johnson  <janis187@us.ibm.com>
1528
1529         PR c/41049
1530         * real.c decimal_from_integer, decimal_integer_string): New.
1531         (real_from_integer): Use them as special case for decimal float.
1532         * config/dfp-bit.c (_si_to_sd, _usi_to_sd): Use default rounding.
1533         (_di_to_sd, _di_to_dd, _di_to_td, _udi_to_sd, _udi_to_dd, _udi_to_td):
1534         Do not append zero after the decimal point in string to convert.
1535
1536 2009-09-17  Alexander Monakov  <amonakov@ispras.ru>
1537
1538         * graphite-sese-to-poly.c (pdr_add_data_dimensions): Add bounds only
1539         for ARRAY_REFs.  Use array_ref_{low,up}_bound to determine bounds.
1540
1541 2009-09-17  Martin Jambor  <mjambor@suse.cz>
1542
1543         * common.opt (fipa-sra): New switch.
1544         * opts.c (decode_options): Turn flag_ipa_sra on for opt2.
1545         * timevar.def (TV_IPA_SRA): New timevar.
1546         * params.def (ipa-sra-ptr-growth-factor): New parameter.
1547         * doc/invoke.texi: Document -fipa-sra and ipa-sra-ptr-growth-factor.
1548         * tree-sra.c: Include cgraph.c.
1549         (enum sra_mode): Added SRA_MODE_EARLY_IPA.
1550         (struct access): Added fields stmt, grp_maybe_modified, grp_scalar_ptr
1551         and grp_not_necessarilly_dereferenced.
1552         (func_param_count): New variable.
1553         (encountered_apply_args): New variable.
1554         (bb_dereferences): New variable.
1555         (final_bbs): New variable.
1556         (no_accesses_representant): New variable.
1557         (no_accesses_p): New function.
1558         (dump_access): Dump the new fields.
1559         (sra_initialize): Set encountered_apply_args to false.
1560         (get_ssa_base_param): New function.
1561         (mark_parm_dereference): New function.
1562         (create_access): Caring for INIDRECT_REFs and different handling of
1563         varialble length accesses in early IPA SRA.  Store the stmt - a new
1564         parameter - to the new access.
1565         (build_access_from_expr_1): New parameter stmt, passed to
1566         create_access.  Handle INDIRECT_REFs.
1567         (build_access_from_expr): Pass the current statement to
1568         build_access_from_expr_1.
1569         (disqualify_ops_if_throwing_stmt): Trigger only in intraprocedural
1570         passes.
1571         (build_accesses_from_assign): Pass the current statement to
1572         build_access_from_expr_1.  Do not create assign links in IPA-SRA.
1573         (scan_function): Call handle_ssa_defs on phi nodes.  Set bits in
1574         final_bbs when necessary.  Check for calls to __builtin_apply_args.
1575         Fixup EH info if anythng was changed.
1576         (is_unused_scalar_param): New function.
1577         (ptr_parm_has_direct_uses): New function.
1578         (find_param_candidates): New function.
1579         (mark_maybe_modified): New function.
1580         (analyze_modified_params): New function.
1581         (propagate_dereference_distances): New function.
1582         (dump_dereferences_table): New function.
1583         (analyze_caller_dereference_legality): New function.
1584         (unmodified_by_ref_scalar_representative): New function.
1585         (splice_param_accesses): New function.
1586         (decide_one_param_reduction): New function.
1587         (enum ipa_splicing_result): New type.
1588         (splice_all_param_accesses): New function.
1589         (get_param_index): New function.
1590         (turn_representatives_into_adjustments): New function.
1591         (analyze_all_param_acesses): New function.
1592         (get_replaced_param_substitute): New function.
1593         (get_adjustment_for_base): New function.
1594         (replace_removed_params_ssa_names): New function.
1595         (sra_ipa_reset_debug_stmts): New function.
1596         (sra_ipa_modify_expr): New function.
1597         (sra_ipa_modify_assign): New function.
1598         (convert_callers): New function.
1599         (modify_function): New function.
1600         (ipa_sra_preliminary_function_checks): New function.
1601         (ipa_early_sra): New function.
1602         (ipa_early_sra_gate): New function.
1603         (pass_early_ipa_sra): New variable.
1604         * Makefile.in (tree-sra.o): Add cgraph.h to dependencies.
1605
1606 2009-09-17  Michael Matz  <matz@suse.de>
1607
1608         PR middle-end/41347
1609         * tree.c (build_type_attribute_qual_variant): Export.
1610         * tree.h (build_type_attribute_qual_variant): Declare.
1611         * tree-inline.c (remap_type_1): Use it to build variants with
1612         the original qualifiers and attributes.
1613
1614 2009-09-17  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1615
1616         * cfglayout.c (fixup_reorder_chain): Accept conditional jumps
1617         without a fallthrough edge.
1618
1619 2009-09-16  DJ Delorie  <dj@redhat.com>
1620
1621         * config/m32c/m32c.c (m32c_emit_epilogue): Check for R8C or M16C
1622         chip and ignore the "fast_interrupt" attribute if so.
1623
1624 2009-09-16  Richard Henderson  <rth@redhat.com>
1625
1626         PR middle-end/41360
1627         * cfgbuild.c (find_bb_boundaries): Really re-instate 2009-09-02
1628         barrier fix.
1629
1630 2009-09-16  Richard Henderson  <rth@redhat.com>
1631
1632         PR target/41246
1633         * tree-cfg.c (verify_gimple_call): Validate that gimple_call_chain
1634         is set only if DECL_NO_STATIC_CHAIN is unset.
1635         * tree-nested.c (iter_nestinfo_start, iter_nestinfo_next): New.
1636         (FOR_EACH_NEST_INFO): New.
1637         (walk_all_functions): Use it.
1638         (finalize_nesting_tree): Likewise.
1639         (unnest_nesting_tree): Likewise.
1640         (free_nesting_tree): Use iter_nestinfo_start, iter_nestinfo_next.
1641         (get_chain_decl, get_chain_field): Reset DECL_NO_STATIC_CHAIN.
1642         (convert_gimple_call): Early out if gimple_call_chain already set.
1643         (convert_all_function_calls): Iterate until no new functions
1644         require a static chain.
1645         (finalize_nesting_tree_1): Assert DECL_NO_STATIC_CHAIN is unset
1646         when building a trampoline.  Use dump_function_to_file instead
1647         of dump_function.
1648         (lower_nested_functions): Open dump_file.  Validate that decls
1649         that have DECL_NO_STATIC_CHAIN from the front end don't have that
1650         bit reset by this pass.
1651
1652 2009-09-16  Michael Matz  <matz@suse.de>
1653
1654         PR fortran/41212
1655         * tree.h (struct tree_decl_common): Add decl_restricted_flag,
1656         shorten decl_common_unused.
1657         (DECL_RESTRICTED_P): New accessor.
1658         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Use it
1659         to disambiguate marked decls and restrict pointers.
1660
1661 2009-09-16  Richard Henderson  <rth@redhat.com>
1662
1663         PR middle-end/41360
1664         * cfgbuild.c (find_bb_boundaries): Re-instate 2009-09-02 barrier fix.
1665
1666 2009-09-16  Jakub Jelinek  <jakub@redhat.com>
1667
1668         * integrate.c (set_block_abstract_flags): Call
1669         set_decl_abstract_flags also on BLOCK_NONLOCALIZED_VARs.
1670
1671 2009-09-16  Richard Guenther  <rguenther@suse.de>
1672
1673         PR middle-end/34011
1674         * tree-flow-inline.h (may_be_aliased): Compute readonly variables
1675         as non-aliased.
1676
1677 2009-09-16  DJ Delorie  <dj@redhat.com>
1678             Kaz Kojima  <kkojima@gcc.gnu.org>
1679
1680         * config/sh/sh.c (output_stack_adjust): Add new argument frame_p.
1681         (sh_expand_prologue): Update calls to output_stack_adjust.
1682         (sh_expand_epilogue): Likewise.
1683
1684 2009-09-15  Adam Nemet  <anemet@caviumnetworks.com>
1685
1686         PR bootstrap/41349
1687         * reorg.c (redundant_insn): Don't count notes or DEBUG_INSNs when
1688         trying to limit the extent of searches in the insn stream.
1689
1690 2009-09-15  Nathan Froyd  <froydnj@codesourcery.com>
1691             Jakub Jelinek  <jakub@redhat.com>
1692
1693         PR target/41175
1694         PR target/40677
1695         * config/rs6000/rs6000.c (no_global_regs_above): Fix precedence
1696         problem.
1697         (SAVRES_NOINLINE_GPRS_SAVES_LR, SAVRES_NOINLINE_FPRS_SAVES_LR,
1698         SAVRES_NOINLINE_FPRS_DOESNT_RESTORE_LR): New strategy bits.
1699         (rs6000_savres_strategy): Always save FP registers inline if the
1700         target doesn't support hardware double-precision.  Set the above
1701         bits in return value when needed.
1702         (rs6000_savres_routine_sym): Fix computation for cache selector.
1703         Mark the generated symbol as a function.  Rename exitp argument to
1704         lr.  Move code for determining the name of the symbol...
1705         (rs6000_savres_routine_name): ...here.  New function.  Add cases for
1706         getting the names right on AIX and 64-bit Linux.
1707         (savres_routine_name): New variable.
1708         (rs6000_make_savres_rtx): Rename exitp argument to lr.  Don't assert
1709         lr isn't set when savep.  Use r12 resp. r1 instead of r11 depending
1710         on what the target routine uses as a base register.  If savep && lr
1711         describe saving of r0 into memory slot.
1712         (rs6000_emit_prologue): Correct use of call_used_regs.  Fix out of
1713         line calls for AIX ABI.
1714         (rs6000_output_function_prologue): Use rs6000_savres_routine_name to
1715         determine FP save/restore functions.
1716         (rs6000_emit_stack_reset): Handle savres if sp_offset != 0 and
1717         frame_reg_rtx != sp_reg_rtx.  Use gen_add3_insn instead of
1718         gen_addsi3.
1719         (rs6000_emit_epilogue): Adjust computation of restore_lr.
1720         Duplicate restoration of LR and execute the appropriate one
1721         depending on whether GPRs are being restored inline.  Set r11 from
1722         offsetted frame_reg_rtx instead of sp_reg_rtx; if frame_reg_rtx is
1723         r11, adjust sp_offset.  Use gen_add3_insn instead of gen_addsi3.
1724         Fix out of line calls for AIX ABI.
1725         * config/rs6000/rs6000.md (*return_and_restore_fpregs_aix_<mode>):
1726         New insn.
1727         * config/rs6000/spe.md (*save_gpregs_spe): Use explicit match for
1728         register 11.
1729         (*restore_gpregs_spe): Likewise.
1730         (*return_and_restore_gpregs_spe): Likewise.
1731         * config/rs6000/linux64.h (SAVE_FP_SUFFIX, RESTORE_FP_SUFFIX):
1732         Define to empty string unconditionally.
1733         * config/rs6000/sysv4.h (SAVE_FP_SUFFIX, RESTORE_FP_SUFFIX):
1734         Define to empty string unconditionally.
1735         (GP_SAVE_INLINE, FP_SAVE_INLINE): Handle TARGET_64BIT the same as
1736         !TARGET_64BIT.
1737
1738 2009-09-15  Jan Hubicka  <jh@suse.cz>
1739
1740         * doc/invoke.texi (inline-insns-auto): Drop from 60 to 50.
1741         * params.def (inline-insns-auto): Likewise.
1742
1743 2009-09-15  Martin Jambor  <mjambor@suse.cz>
1744
1745         * ipa-inline.c (estimate_function_body_sizes): Dump info about
1746         individual statements only at TDF_DETAILS dump level.  Format
1747         source for 80 characters per line.
1748
1749 2009-09-15  Christian Bruel  <christian.bruel@st.com>
1750
1751         * regrename.c (do_replace): Update REG_DEAD notes.
1752
1753 2009-09-15  Revital Eres  <eres@il.ibm.com>
1754
1755         * doc/tm.texi (TARGET_SUPPORT_VECTOR_MISALIGNMENT): Document.
1756         * targhooks.c (default_builtin_support_vector_misalignment):
1757         New builtin function.
1758         * targhooks.h (default_builtin_support_vector_misalignment):
1759         Declare.
1760         * target.h (builtin_support_vector_misalignment):
1761         New field in struct gcc_target.
1762         * tree-vect-data-refs.c (vect_supportable_dr_alignment): Call
1763         new builtin function.
1764         * target-def.h (TARGET_SUPPORT_VECTOR_MISALIGNMENT):
1765         Define.
1766         * config/rs6000/rs6000.c
1767         (rs6000_builtin_support_vector_misalignment): New function.
1768         (TARGET_SUPPORT_VECTOR_MISALIGNMENT): Define.
1769
1770 2009-09-15  Jie Zhang  <jie.zhang@analog.com>
1771
1772         * config/bfin/bfin.c (length_for_loop): Use NONDEBUG_INSN_P
1773         instead of INSN_P.
1774         (bfin_optimize_loop): Likewise.
1775         (bfin_gen_bundles): Likewise.
1776         (workaround_speculation): Likewise.
1777         (find_load): Return NULL_RTX for debug_insn.
1778
1779 2009-09-15  Uros Bizjak  <ubizjak@gmail.com>
1780
1781         * config/alpha/alpha.md (smaxsf3): Disable for IEEE mode.
1782         (sminsf3): Ditto.
1783
1784 2009-09-14  DJ Delorie  <dj@redhat.com>
1785
1786         * config/mep/mep.h (JUMP_TABLES_IN_TEXT_SECTION): Define.
1787         * config/mep/mep.c (mep_emit_cbranch): Don't use BEQZ/BNEI in
1788         VLIW mode.
1789
1790 2009-09-14  Richard Henderson  <rth@redhat.com>
1791             Jakub Jelinek  <jakub@redhat.com>
1792
1793         * builtins.c (expand_builtin_synchronize): Use gimple_build_asm_vec.
1794         * cfgbuild.c (make_edges): Handle asm goto.
1795         * cfglayout.c (fixup_reorder_chain): Likewise.
1796         * cfgrtl.c (patch_jump_insn): Likewise.
1797         * gimple-pretty-print.c (dump_gimple_asm): Likewise.
1798         * gimple.c (gimple_build_asm_1): Add and use nlabels parameter.
1799         (gimple_build_asm_vec): Add and use labels parameter.
1800         (gimple_build_asm): Remove.
1801         (walk_gimple_asm): Walk labels too.
1802         * gimple.def (GIMPLE_ASM): Update docs.
1803         * gimple.h: Update decls.
1804         (struct gimple_statement_asm): Change nc to use unsigned char;
1805         add nl member.
1806         (gimple_asm_nlabels): New.
1807         (gimple_asm_label_op, gimple_asm_set_label_op): New.
1808         * gimplify.c (gimplify_asm_expr): Copy labels from ASM_EXPR
1809         into gimple_build_asm_vec.
1810         * jump.c (mark_jump_label_asm): New.
1811         (mark_jump_label): Use it.
1812         (redirect_jump_1): Handle asm goto.
1813         (invert_jump_1): Soft fail if X is null.
1814         * recog.c (extract_asm_operands): New.
1815         (asm_noperands): Use it; handle asm labels.
1816         (decode_asm_operands): Use extract_asm_operands.
1817         (asm_operand_ok): Properly handle empty string.
1818         * reg-stack.c (get_asm_operands_in_out): Rename from
1819         get_asm_operand_n_inputs; use extract_asm_operands; return both
1820         inputs and outputs by reference; update all callers.
1821         * rtl.def (ASM_OPERANDS): Add label vector as operand 6.
1822         * rtl.h (ASM_OPERANDS_LABEL_VEC): New.
1823         (ASM_OPERANDS_LABEL_LENGTH, ASM_OPERANDS_LABEL): New.
1824         (ASM_OPERANDS_SOURCE_LOCATION): Renumber.
1825         (extract_asm_operands): Declare.
1826         * stmt.c (expand_asm_operands): Add and use labels parameter.
1827         (check_unique_operand_names): Likewise.
1828         (resolve_asm_operand_names, resolve_operand_name_1): Likewise.
1829         (expand_asm_stmt): Handle asm labels.
1830         * tree-cfg.c (make_gimple_asm_edges): New.
1831         (make_edges): Use it.
1832         (cleanup_dead_labels): Handle asm labels.
1833         (is_ctrl_altering_stmt): Likewise.
1834         (gimple_redirect_edge_and_branch): Likewise.
1835         * tree.def (ASM_EXPR): Add 5th operand.
1836         * tree.h (ASM_LABELS): New.
1837         (resolve_asm_operand_names): Update decl.
1838
1839         * c-parser.c (c_parser_asm_statement): Parse asm goto.
1840         (c_parser_asm_goto_operands): New.
1841         * c-tree.h (build_asm_expr): Update decl.
1842         * c-typeck.c (build_asm_expr): Add and use labels parameter.
1843         * doc/extend.texi: Document asm goto.
1844
1845 2009-09-14  Richard Henderson  <rth@redhat.com>
1846
1847         * except.h: Update declarations.
1848         (struct pointer_map_t): Forward declare.
1849         (ERT_UNKNOWN, ERT_THROW, ERT_CATCH): Remove.
1850         (struct eh_landing_pad_d, eh_landing_pad): New.
1851         (struct eh_catch_d, eh_catch): New.
1852         (struct eh_region_d): Remove next_region_sharing_label, aka,
1853         label, tree_label, landing_pad, post_landing_pad, resume,
1854         may_contain_throw.  Rename region_number to index.  Remove
1855         u.eh_catch, u.eh_throw.  Rename u.eh_try.eh_catch to first_catch.
1856         Add u.must_not_throw, landing_pads, exc_ptr_reg, filter_reg.
1857         (VEC(eh_landing_pad,gc)): New.
1858         (struct eh_status): Remove last_region_number.  Add lp_array,
1859         throw_stmt_table, ttype_data, ehspec_data.
1860         (ehr_next, FOR_ALL_EH_REGION_AT): New.
1861         (FOR_ALL_EH_REGION_FN, FOR_ALL_EH_REGION): New.
1862         * except.c (lang_protect_cleanup_actions): Return tree.
1863         (struct ehl_map_entry): Remove.
1864         (init_eh_for_function): Push zero entries for region and lp_array.
1865         (gen_eh_region): Add to region_array immediately.
1866         (gen_eh_region_catch): Operate on eh_catch objects.
1867         (gen_eh_landing_pad): New.
1868         (get_eh_region_may_contain_throw, get_eh_region_tree_label): Remove.
1869         (get_eh_region_no_tree_label, set_eh_region_tree_label): Remove.
1870         (get_eh_region_from_number, get_eh_region_from_number_fn): New.
1871         (get_eh_landing_pad_from_number_fn): New.
1872         (get_eh_landing_pad_from_number): New.
1873         (get_eh_region_from_lp_number_fn): New.
1874         (get_eh_region_from_lp_number): New.
1875         (expand_resx_stmt, note_eh_region_may_contain_throw): Remove.
1876         (get_exception_pointer, get_exception_filter): Remove.
1877         (collect_eh_region_array, can_be_reached_by_runtime): Remove.
1878         (current_function_has_exception_handlers): Simplify.
1879         (bring_to_root, eh_region_replaceable_by_p): Remove.
1880         (replace_region, hash_type_list, hash_eh_region): Remove.
1881         (eh_regions_equal_p, merge_peers, remove_unreachable_regions): Remove.
1882         (label_to_region_map, num_eh_regions): Remove.
1883         (get_next_region_sharing_label, must_not_throw_labels): Remove.
1884         (find_exception_handler_labels): Remove.
1885         (duplicate_eh_regions_0, find_prev_try): Remove.
1886         (struct duplicate_eh_regions_data): New.
1887         (duplicate_eh_regions_1): Rewrite.
1888         (duplicate_eh_regions): Return a pointer map instead of an
1889         integer offset.
1890         (copy_eh_region_1, copy_eh_region, push_reachable_handler): Remove.
1891         (redirect_eh_edge_to_label): Remove.
1892         (eh_region_outermost): Rewrite using eh_region pointers
1893         instead of integers.
1894         (add_ttypes_entry): Update for ttype_data move to eh_status.
1895         (add_ehspec_entry): Rewrite with VEC instead of varray.
1896         (assign_filter_values): Likewise.  Export.
1897         (build_post_landing_pads, connect_post_landing_pads): Remove.
1898         (dw2_build_landing_pads): Rewrite to use lp_array.
1899         (struct sjlj_lp_info, sjlj_find_directly_reachable_regions): Remove.
1900         (sjlj_assign_call_site_values): Rewrite to use lp_array.
1901         (sjlj_emit_dispatch_table, sjlj_build_landing_pads): Likewise.
1902         (sjlj_mark_call_sites): Update for landing pad numbers.
1903         (finish_eh_generation): Rewrite.
1904         (gate_handle_eh): Do nothing for no eh tree.
1905         (pass_rtl_eh): Move up near finish_eh_generation.
1906         (remove_eh_landing_pad): New.
1907         (remove_eh_handler): Export.
1908         (remove_eh_region, remove_eh_handler_and_replace): Remove.
1909         (for_each_eh_label): Rewrite to use lp_array.
1910         (make_reg_eh_region_note): New.
1911         (make_reg_eh_region_note_nothrow_nononlocal): New.
1912         (insn_could_throw_p): New.
1913         (copy_reg_eh_region_note_forward): New.
1914         (copy_reg_eh_region_note_backward): New.
1915         (check_handled, add_reachable_handler): Remove.
1916         (reachable_next_level, foreach_reachable_handler): Remove.
1917         (arh_to_landing_pad, arh_to_label, reachable_handlers): Remove.
1918         (get_eh_region_and_lp_from_rtx): New.
1919         (get_eh_region_from_rtx): New.
1920         (can_throw_internal_1, can_throw_external_1): Remove.
1921         (can_throw_internal): Use get_eh_region_from_rtx.
1922         (can_throw_external): Use get_eh_region_and_lp_from_rtx.
1923         (insn_nothrow_p, can_nonlocal_goto): New.
1924         (expand_builtin_eh_common, expand_builtin_eh_pointer): New.
1925         (expand_builtin_eh_filter, expand_builtin_eh_copy_values): New.
1926         (add_action_record): Use VEC not varray.
1927         (collect_one_action_chain): Update for eh_region changes.
1928         (convert_to_eh_region_ranges): Make static.  Use VEC not varray.
1929         Use get_eh_region_and_lp_from_rtx.
1930         (gate_convert_to_eh_region_ranges): New.
1931         (pass_convert_to_eh_region_ranges): Use it.
1932         (push_uleb128, push_sleb128): Use VEC not varray.
1933         (output_one_function_exception_table): Likewise.
1934         (dump_eh_tree): Update for eh_region changes.
1935         (verify_eh_tree): Likewise.
1936         (verify_eh_region, default_init_unwind_resume_libfunc): Remove.
1937         * tree-eh.c: Include target.h.
1938         (add_stmt_to_eh_lp_fn): Rename from add_stmt_to_eh_region_fn.
1939         Don't disallow GIMPLE_RESX; adjust argument check.
1940         (add_stmt_to_eh_lp): Rename from add_stmt_to_eh_region.
1941         (record_stmt_eh_region): Update for landing pad numbers;
1942         generate a landing pad if necessary.
1943         (remove_stmt_from_eh_lp): Rename from remove_stmt_from_eh_region.
1944         (remove_stmt_from_eh_lp_fn): Similarly.
1945         (lookup_stmt_eh_lp_fn): Rename from lookup_stmt_eh_region_fn.
1946         Update for lp numbers; don't special case missing throw_stmt_table.
1947         (lookup_expr_eh_lp): Similarly.
1948         (lookup_stmt_eh_lp): Rename from lookup_stmt_eh_region.
1949         (eh_seq, eh_region_may_contain_throw): New.
1950         (struct leh_state): Add ehp_region.
1951         (struct leh_tf_state): Remove eh_label.
1952         (emit_post_landing_pad): New.
1953         (emit_resx, emit_eh_dispatch): New.
1954         (note_eh_region_may_contain_throw): New.
1955         (frob_into_branch_around): Take eh_region not eh label;
1956         emit eh code into eh_seq.
1957         (honor_protect_cleanup_actions): Early exit for no actions.  Don't
1958         handle EXC_PTR_EXPR, FILTER_EXPR.  Use gimple_build_eh_must_not_throw,
1959         lower_eh_must_not_throw.  Emit code to eh_seq.
1960         (lower_try_finally_nofallthru): Emit eh code to eh_seq.
1961         (lower_try_finally_onedest): Likewise.
1962         (lower_try_finally_copy): Likewise.
1963         (lower_try_finally_switch): Likewise.
1964         (lower_try_finally): Initialize ehp_region.
1965         (lower_catch): Update for eh_catch objects.
1966         (lower_eh_filter): Don't handle must_not_throw.
1967         (lower_eh_must_not_throw): New.
1968         (lower_cleanup): Don't set eh_label.
1969         (lower_eh_constructs_2): Resolve eh builtins.
1970         Handle GIMPLE_EH_MUST_NOT_THROW.
1971         (lower_eh_constructs): Initialize eh_region_may_contain_throw.
1972         Add eh_seq to the end of the function body.
1973         (make_eh_dispatch_edges): New.
1974         (make_eh_edge): Remove.
1975         (make_eh_edges): Simplify for landing pads.
1976         (redirect_eh_edge_1): New.
1977         (redirect_eh_edge): Use it.
1978         (redirect_eh_dispatch_edge): New.
1979         (stmt_could_throw_p): Use a switch.  Allow RESX.
1980         (stmt_can_throw_external): Use lookup_stmt_eh_lp.
1981         (stmt_can_throw_internal): Likewise.
1982         (maybe_clean_eh_stmt_fn, maybe_clean_eh_stmt): New.
1983         (maybe_clean_or_replace_eh_stmt): Update for landing pads.
1984         (maybe_duplicate_eh_stmt_fn, maybe_duplicate_eh_stmt): New.
1985         (gate_refactor_eh): New.
1986         (pass_refactor_eh): Use it.
1987         (lower_resx, execute_lower_resx, pass_lower_resx): New.
1988         (lower_eh_dispatch, execute_lower_eh_dispatch): New.
1989         (gate_lower_ehcontrol, pass_lower_eh_dispatch): New.
1990         (remove_unreachable_handlers): Rename from
1991         tree_remove_unreachable_handlers; rewrite for landing pads;
1992         call remove_eh_handler directly.
1993         (remove_unreachable_handlers_no_lp): New.
1994         (unsplit_eh, unsplit_all_eh): New.
1995         (tree_empty_eh_handler_p, all_phis_safe_to_merge): Remove.
1996         (cleanup_empty_eh_merge_phis, cleanup_empty_eh_move_lp): New.
1997         (cleanup_empty_eh_unsplit): New.
1998         (cleanup_empty_eh): Rewrite.
1999         (cleanup_all_empty_eh): New.
2000         (execute_cleanup_eh): Rename from cleanup_eh.  Remove unreachable
2001         handlers first.  Use unsplit_all_eh, cleanup_all_empty_eh.
2002         (gate_cleanup_eh): New.
2003         (pass_cleanup_eh): Use it.
2004         (verify_eh_edges): Move later in file.  Expect one EH edge.
2005         (verify_eh_dispatch_edge): New.
2006
2007         * Makefile.in (FUNCTION_H): Use vecprim.h, not varray.h.
2008         (gtype-desc.o): Add TARGET_H.
2009         (tree.o): Use EXCEPT_H, not except.h.
2010         (cfgbuild.o): Add EXPR_H.
2011         (GTFILES): Add vecprim.h.
2012         * builtins.c (expand_builtin): Handle BUILT_IN_EH_POINTER,
2013         BUILT_IN_EH_FILTER, BUILT_IN_EH_COPY_VALUES.
2014         * builtins.def (BUILT_IN_UNWIND_RESUME, BUILT_IN_EH_POINTER,
2015         BUILT_IN_EH_FILTER, BUILT_IN_EH_COPY_VALUES): New.
2016         * calls.c (emit_call_1): Use make_reg_eh_region_note.
2017         * cfgbuild.c (control_flow_insn_p): Use can_nonlocal_goto; tidy
2018         calls to can_throw_internal.
2019         (rtl_make_eh_edge): Use get_eh_landing_pad_from_rtx.
2020         (make_edges): Don't handle RESX; use can_nonlocal_goto.
2021         * cfgexpand.c (expand_gimple_stmt_1): Don't handle RESX.
2022         (expand_gimple_stmt): Use make_reg_eh_region_note.
2023         (expand_debug_expr): Don't handle EXC_PTR_EXPR and FILTER_EXPR.
2024         (gimple_expand_cfg): Don't call convert_from_eh_region_ranges,
2025         or find_exception_handler_labels.
2026         * cfgrtl.c (rtl_verify_flow_info_1): Don't handle RESX.  Assert
2027         there is exacly one EH edge.  Use can_nonlocal_goto and
2028         can_throw_internal.
2029         * cgraphunit.c (update_call_expr): Use maybe_clean_eh_stmt_fn.
2030         (cgraph_materialize_all_clones): Use maybe_clean_or_replace_eh_stmt.
2031         * combine.c (can_combine_p, try_combine): Use insn_nothrow_p.
2032         * cse.c (count_reg_usage, insn_live_p): Use insn_could_throw_p.
2033         * dce.c (deletable_insn_p_1): Don't test may_trap_p.
2034         (deletable_insn_p): Use insn_nothrow_p; reorder nonjump insn test.
2035         * dse.c (scan_insn): Use insn_could_throw_p.
2036         * emit-rtl.c (try_split): Use copy_reg_eh_region_note_backward.
2037         * expr.c (expand_expr_real): Use make_reg_eh_region_note.
2038         (expand_expr_real_1): Don't handle RESX, EXC_PTR, or FILTER_EXPR.
2039         * fold-const.c (tree_expr_nonnegative_warnv_p): Don't handle
2040         EXC_PTR_EXPR or FILTER_EXPR.
2041         (tree_expr_nonzero_warnv_p): Likewise.
2042         * function.h: Include vecprim.h, not varray.h
2043         (struct rtl_eh): Remove filter, exc_ptr, built_landing_pad members;
2044         move ttype_data and ehspec_data members to struct eh_status; change
2045         action_record_data member to a VEC.
2046         * gcse.c (hash_scan_set): Use can_throw_internal.
2047         * gengtype.c (open_base_files): Add target.h to gtype-desc.c.
2048         * gimple-iterator.c (gsi_replace): Use maybe_clean_or_replace_eh_stmt.
2049         * gimple-low.c (lower_stmt): Handle GIMPLE_EH_MUST_NOT_THROW.
2050         (block_may_fallthru): Don't handle RESX_EXPR.
2051         * gimple-pretty-print.c (dump_gimple_label): Dump EH_LANDING_PAD_NR.
2052         (dump_gimple_eh_must_not_throw, dump_gimple_eh_dispatch): New.
2053         (dump_gimple_stmt): Dump landing pad information with TDF_EH;
2054         handle GIMPLE_EH_MUST_NOT_THROW, GIMPLE_EH_DISPATCH.
2055         * gimple.c (gss_for_code): Handle GIMPLE_EH_MUST_NOT_THROW,
2056         GIMPLE_EH_DISPATCH, GIMPLE_RESX.
2057         (gimple_size): Likewise.
2058         (gimple_build_eh_dispatch, gimple_build_eh_must_not_throw): New.
2059         (gimple_build_resx): Use gimple_build_with_ops.
2060         (DEFTREECODE): Don't handle EXC_PTR_EXPR, FILTER_EXPR.
2061         (is_gimple_val): Likewise.
2062         (is_gimple_stmt): Remove RESX_EXPR.
2063         * gimple.def (GIMPLE_EH_MUST_NOT_THROW, GIMPLE_EH_DISPATCH): New.
2064         (GIMPLE_RESX): Reorder with other EH constructs.
2065         * gimple.h (struct gimple_statement_eh_mnt): New.
2066         (struct gimple_statement_eh_ctrl): Rename from gimple_statement_resx.
2067         (gimple_eh_filter_must_not_throw): Remove.
2068         (gimple_eh_filter_set_must_not_throw): Remove.
2069         (gimple_eh_must_not_throw_fndecl): New.
2070         (gimple_eh_dispatch_region, gimple_eh_dispatch_set_region): New.
2071         (is_gimple_resx): New.
2072         * gimplify.c (gimplify_expr): Don't handle EXC_PTR_EXPR, RESX_EXPR.
2073         Don't copy EH_FILTER_MUST_NOT_THROW.
2074         * gsstruct.def (GSS_EH_MNT, GSS_EHCONTROL): New.
2075         * ipa-inline.c (estimate_function_body_sizes): Don't try to
2076         handle must_not_throw_labels specially.
2077         * ipa-pure-const.c (check_call): Update debug statement for LP.
2078         * ipa-type-escape.c (check_operand): Don't handle EXC_PTR or FILTER.
2079         * ipa-utils.c (get_base_var): Likewise.
2080         * libfunc.h (LTI_unwind_resume, unwind_resume_libfunc): Remove.
2081         * lower-subreg.c (move_eh_region_note): Remove.
2082         (resolve_simple_move): Use copy_reg_eh_region_note_forward.
2083         * omp-low.c (new_omp_context): Update for eh_lp_nr.
2084         (create_task_copyfn): Likewise.
2085         (maybe_catch_exception): Use gimple_build_eh_filter.
2086         * optabs.c (emit_libcall_block): Update test for no-nonlocal-goto
2087         REG_EH_REGION.  Use make_reg_eh_region_note_nothrow_nononlocal.
2088         * passes.c (init_optimization_passes): Add pass_lower_eh_dispatch
2089         and pass_lower_resx.
2090         * print-tree.c (print_node): Dump EH_LANDING_PAD_NR.
2091         * recog.c (peephole2_optimize): Use copy_reg_eh_region_note_backward,
2092         can_throw_internal, can_nonlocal_goto.
2093         * reload1.c (fixup_eh_region_note): Use insn_could_throw_p,
2094         copy_reg_eh_region_note_forward.
2095         (emit_input_reload_insns): Use copy_reg_eh_region_note_forward.
2096         (emit_output_reload_insns): Likewise.
2097         (copy_eh_notes): Remove.
2098         * rtl.def (RESX): Remove.
2099         * rtl.h: Update declarations.
2100         * sese.c (graphite_copy_stmts_from_block): Use maybe_duplicate_eh_stmt.
2101         * tree-cfg.c (make_edges): Handle GIMPLE_EH_DISPATCH.
2102         (update_eh_label): Remove.
2103         (cleanup_dead_labels_eh): New.
2104         (cleanup_deal_labels): Use it instead of update_eh_label.
2105         (gimple_merge_blocks): Update landing pad data structure when
2106         removing a landing pad label.
2107         (remove_useless_stmts_tc): Remove gimple_eh_filter_must_not_throw
2108         test; handle GIMPLE_EH_MUST_NOT_THROW.
2109         (is_ctrl_altering_stmt): Handle GIMPLE_EH_DISPATCH.
2110         (verify_gimple_assign_single): Don't handle EXC_PTR or FILTER_EXPR.
2111         (verify_types_in_gimple_stmt): Handle GIMPLE_EH_DISPATCH.
2112         (verify_stmt): Likewise.  Verify landing pads.
2113         (gimple_redirect_edge_and_branch): Handle GIMPLE_EH_DISPATCH.
2114         (gimple_duplicate_bb): Use maybe_duplicate_eh_stmt.
2115         (struct move_stmt_d): Add eh_map.
2116         (move_stmt_eh_region_nr, move_stmt_eh_region_tree_nr): New.
2117         (move_stmt_r): Remap eh region numbers in builtin calls,
2118         resx and eh_dispatch.
2119         (move_block_to_fn): Remove eh_offset parameter.  Use
2120         maybe_duplicate_eh_stmt_fn.
2121         (find_outermost_region_in_block): Operate on eh_region pointers
2122         instead of region numbers.
2123         (move_sese_region_to_fn): Expect eh_map instead of eh_offset from
2124         duplicate_eh_regions.
2125         * tree-cfgcleanup.c (tree_forwarder_block_p): Move entry block edge
2126         test earlier.  Disallow EH landing pads.
2127         * tree-cfa.c (create_tree_common_ann): Don't set ann->rn.
2128         * tree-flow.h: Update declarations.
2129         (struct tree_ann_common_d): Replace rn with lp_nr.
2130         * tree-inline.c (copy_tree_body_r): Don't handle RESX_EXPR.
2131         (remap_eh_region_nr, remap_eh_region_tree_nr): New.
2132         (remap_gimple_stmt): Remap eh region numbers in builtin calls,
2133         resx and eh_dispatch.
2134         (copy_bb): Use maybe_duplicate_eh_stmt_fn.
2135         (copy_edges_for_bb): Use make_eh_dispatch_edges.
2136         (copy_cfg_body): Expect eh_map instead of eh_region_offset
2137         from duplicate_eh_regions.
2138         (estimate_num_insns): Don't handle EXC_PTR_EXPR or FILTER_EXPR;
2139         update RESX; handle EH_DISPATCH.
2140         (expand_call_inline): Set eh_lp_nr, not eh_region.
2141         (maybe_inline_call_in_expr): Likewise.
2142         * tree-inline.h (struct copy_body_data): Replace eh_region with
2143         eh_lp_nr, eh_region_offset with eh_map.
2144         * tree-optimize.c (execute_fixup_cfg): Use maybe_clean_eh_stmt.
2145         * tree-pass.h (pass_lower_eh_dispatch, pass_lower_resx): New.
2146         * tree-pretty-print.c (dump_generic_node): Don't handle
2147         EXC_PTR_EXPR, FILTER_EXPR, RESX_EXPR.
2148         * tree-sra.c (scan_function): Use maybe_clean_eh_stmt.
2149         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Don't handle
2150         EXC_PTR_EXPR, FILTER_EXPR.
2151         * tree-ssa-operands.c (get_expr_operands): Likewise.
2152         * tree-ssa-propagate.c (valid_gimple_rhs_p): Likewise.
2153         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise.
2154         (ao_ref_init_from_vn_reference): Likewise.
2155         * tree-ssa-sink.c (statement_sink_location): Likewise.
2156         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
2157         (mark_virtual_phi_result_for_renaming): Export.  Tidy.
2158         * tree-ssa-pre.c (get_or_alloc_expr_for): Don't handle
2159         EXC_PTR_EXPR, FILTER_EXPR.
2160         (is_exception_related): Remove.
2161         (compute_avail): Don't call it.
2162         * tree-ssa-structalias.c: Remove VEC definitions for int and unsigned.
2163         * tree.c (find_decls_types_in_eh_region): Update for eh_region changes.
2164         (find_decls_types_in_node): Use FOR_ALL_EH_REGION_FN.
2165         (build_common_builtin_nodes): Add enable_cxa_end_cleanup parameter.
2166         Build EH builtins.
2167         (build_resx): Remove.
2168         * tree.def (EXC_PTR_EXPR, FILTER_EXPR, RESX_EXPR): Remove.
2169         * tree.h: Update declarations.
2170         (EH_FILTER_MUST_NOT_THROW): Remove.
2171         (struct tree_label_decl): Add eh_landing_pad_nr.
2172         (EH_LANDING_PAD_NR): New.
2173         * value-prof.c (gimple_ic): Tidy variable names.  Update for
2174         landing pad numbers.
2175         (gimple_stringop_fixed_value): Tidy variable names.  Assert
2176         that neither call stmt can throw.
2177         * vecprim.h (uchar): New.
2178         (VEC(uchar,heap), VEC(uchar,gc)): New.
2179
2180         * c-common.c (c_define_builtins): Update call to
2181         build_common_builtin_nodes.
2182         * c-parser.c (c_parse_file): Don't call
2183         default_init_unwind_resume_libfunc.
2184
2185 2009-09-14  Richard Sandiford  <rdsandiford@googlemail.com>
2186
2187         * config/mips/mips-protos.h (mips_cfun_has_cprestore_slot_p): Declare.
2188         (mips_cprestore_address_p): Likewise.
2189         (mips_save_gp_to_cprestore_slot): Likewise.
2190         (mips_restore_gp): Rename to...
2191         (mips_restore_gp_from_cprestore_slot): ...this.
2192         (mips_must_initialize_gp_p): Declare.
2193         (mips_emit_save_slot_move): Likewise.
2194         (mips_output_load_label): Return nothing.
2195         (mips_eh_uses): Declare.
2196         * config/mips/mips.h (TARGET_SPLIT_CALLS): Require epilogue_completed.
2197         (TARGET_CPRESTORE_DIRECTIVE): New macro.
2198         (TARGET_ABSOLUTE_JUMPS): Likewise.
2199         (EH_USES): Likewise.
2200         (FIRST_PSEUDO_REGISTER): Update comment.
2201         (MIPS_ABSOLUTE_JUMP): New macro, extracted from...
2202         (MIPS_CALL): ...here.
2203         (REGISTER_NAMES): Add $cprestore.
2204         * config/mips/mips.c (machine_function): Remove has_gp_insn_p.
2205         Add load_label_length, has_inflexible_gp_insn_p,
2206         has_flexible_gp_insn_p, must_initialize_gp_p and
2207         must_restore_gp_when_clobbered_p.
2208         (mips_expand_call): Don't generate split instructions here.
2209         (mips_split_call): Update the call to mips_restore_gp after
2210         the above name change.
2211         (mips16_cfun_returns_in_fpr_p): Move earlier in file.
2212         (mips_find_gp_ref): New function.
2213         (mips_insn_has_inflexible_gp_ref_p): Likewise.
2214         (mips_cfun_has_inflexible_gp_ref_p): Likewise.
2215         (mips_insn_has_flexible_gp_ref_p): Likewise.
2216         (mips_cfun_has_flexible_gp_ref_p): Likewise.
2217         (mips_function_has_gp_insn): Delete.
2218         (mips_global_pointer): Drop the df_regs_ever_live_p check.
2219         Use the new functions above.  Only return INVALID_REGNUM
2220         for TARGET_ABSOLUTE_JUMPS.
2221         (mips_must_initialize_gp_p): New function.
2222         (mips_get_cprestore_base_and_offset): New function, extracted from...
2223         (mips_cprestore_slot): ...here.  Take a bool parameter.
2224         (mips_cfun_has_cprestore_slot_p): New function.
2225         (mips_cprestore_address_p): Likewise.
2226         (mips_save_gp_to_cprestore_slot): Likewise.
2227         (mips_restore_gp): Rename to...
2228         (mips_restore_gp_from_cprestore_slot): ...this.  Assert
2229         epilogue_completed.  Update the call to mips_cprestore_slot.
2230         Test cfun->machine->must_restore_gp_when_clobbered_p.
2231         (mips_direct_save_slot_move_p): New function.
2232         (mips_emit_save_slot_move): Likewise.
2233         (mips_output_cplocal): Test mips_must_initialize_gp_p () instead
2234         of cfun->machine->global_pointer.
2235         (mips_output_function_prologue): Check mips_must_initialize_gp_p ().
2236         (mips_save_reg): Use mips_emit_save_slot_move.
2237         (mips_expand_prologue): Set must_initialize_gp_p.
2238         Use mips_cfun_has_cprestore_slot_p.  Use gen_potential_cprestore
2239         for all cprestore saves.  Emit a use_cprestore instruction after
2240         setting up the cprestore slot.
2241         (mips_restore_reg): Use mips_emit_save_slot_move.
2242         (mips_process_load_label): New function.
2243         (mips_load_label_length): Likewise.
2244         (mips_output_load_label): Don't return asm: output it here instead.
2245         Use mips_process_load_label.
2246         (mips_adjust_insn_length): Adjust the length of branch instructions
2247         that have length MAX_PIC_BRANCH_LENGTH.
2248         (mips_output_conditional_branch): Update the call to
2249         mips_output_load_label.  Assume the branch target is OPERANDS[0]
2250         rather than OPERANDS[1].  Use MIPS_ABSOLUTE_JUMP for absolute jumps.
2251         (mips_output_order_conditional_branch): Swap the meaning of
2252         OPERANDS[0] and OPERANDS[1].
2253         (mips_variable_issue): Don't count ghost instructions.
2254         (mips_expand_ghost_gp_insns): New function.
2255         (mips_reorg): Rerun mips_reorg_process_insns if it returns true.
2256         (mips_output_mi_thunk): Set must_initialize_gp_p.
2257         (mips_eh_uses): New function.
2258         * config/mips/predicates.md (cprestore_save_slot_operand)
2259         (cprestore_load_slot_operand): New predicates.
2260         * config/mips/mips.md (UNSPEC_POTENTIAL_CPRESTORE): New unspec.
2261         (UNSPEC_MOVE_GP): Likewise.
2262         (UNSPEC_CPRESTORE, UNSPEC_RESTORE_GP, UNSPEC_EH_RETURN)
2263         (UNSPEC_CONSTTABLE_INT, UNSPEC_CONSTTABLE_FLOAT): Bump to make room.
2264         (CPRESTORE_SLOT_REGNUM): New register.
2265         (MAX_PIC_BRANCH_LENGTH): New constant.
2266         (jal_macro): Use MIPS_ABSOLUTE_JUMPS.
2267         (length): Use MAX_PIC_BRANCH_LENGTH as a placeholder for PIC long
2268         branches.  Fix commentary.
2269         (loadgp_newabi_<mode>): Change from unspec_volatile to unspec.
2270         Only split if mips_must_initialize_gp_p; expand to nothing otherwise.
2271         Change type to "ghost".
2272         (loadgp_absolute_<mode>): Likewise.
2273         (loadgp_rtp_<mode>): Likewise.
2274         (copygp_mips16): Likewise.
2275         (loadgp_blockage): Remove redundant mode attribute.
2276         (potential_cprestore): New instruction.
2277         (cprestore): Turn into an unspec set.
2278         (use_cprestore): New instruction.
2279         (*branch_fp): Swap operands 0 and 1.  Remove redundant mode attribute.
2280         (*branch_fp_inverted): Likewise.
2281         (*branch_order<mode>): Likewise.
2282         (*branch_order<mode>_inverted): Likewise.
2283         (*branch_equality<mode>): Likewise.
2284         (*branch_equality<mode>_inverted): Likewise.
2285         (*branch_bit<bbv><mode>): Likewise.
2286         (*branch_bit<bbv><mode>_inverted): Likewise.
2287         (*branch_equality<mode>_mips16): Remove redundant mode.
2288         (jump): Turn into a define_expand.
2289         (*jump_absolute): New instruction.
2290         (*jump_pic): Likewise.
2291         (*jump_mips16): Rename previously-unnamed pattern.  Remove
2292         redundant mode attribute.
2293         (restore_gp): Split on epilogue_completed rather than
2294         reload_completed.  Change type to "ghost".
2295         (move_gp<mode>): New instruction.
2296         * config/mips/mips-dsp.md (mips_bposge): Swap operands 0 and 1.
2297         Remove redundant mode attribute.
2298         * config/mips/mips-ps-3d.md (bc1any4t): Likewise.
2299         (bc1any4f, bc1any2t, bc1any2f): Likewise.
2300         (*branch_upper_lower, *branch_upper_lower_inverted): Likewise.
2301
2302 2009-09-14  Michael Meissner  <meissner@linux.vnet.ibm.com>
2303
2304         PR target/41210
2305         * config/rs6000/rs6000.c (rs6000_function_value): V2DF and V2DI
2306         are returned in the same register (vs34 or v2) that Altivec vector
2307         types are returned in.
2308         (rs6000_libcall_value): Ditto.
2309
2310         PR target/41331
2311         * config/rs6000/rs6000.c (rs6000_emit_move): Use gen_add3_insn
2312         instead of explicit addsi3/adddi3 calls.
2313         (rs6000_split_multireg_move): Ditto.
2314         (rs6000_emit_allocate_stack): Ditto.
2315         (rs6000_emit_prologue): Ditto.
2316         (rs6000_output_mi_thunk): Ditto.
2317
2318         * config/rs6000/rs6000.md (bswapdi*): Don't assume the pointer
2319         size is 64 bits if we can use 64-bit registers.
2320
2321 2009-09-14  Bernd Schmidt  <bernd.schmidt@analog.com>
2322
2323         * config/bfin/bfin.c (bfin_longcall_p): Don't use short calls for weak
2324         symbols.
2325
2326         From Jie Zhang <jie.zhang@analog.com>:
2327         * config/bfin/bfin.c (bfin_expand_prologue): Ask do_link to
2328         save FP and RETS with saveall attribute.
2329         (bfin_expand_epilogue): Ask do_unlink to restore FP and RETS
2330         with saveall attribute.
2331
2332         * config/bfin/bfin.c (bfin_expand_builtin,
2333         case BFIN_BUILTIN_MULT_1X32X32): Force constants to registers for the
2334         operands.
2335
2336         From Jie Zhang <jie.zhang@analog.com>:
2337         * config/bfin/bfin.c (bfin_expand_builtin): Initialize icodes
2338         before use in two places.
2339         * config/bfin/bfin.md (AREG): Define mode iterator.
2340         (reload_in, reload_out): Use mode iterator AREG.
2341
2342 2009-09-14  Richard Guenther  <rguenther@suse.de>
2343
2344         PR middle-end/41350
2345         * dwarf2out.c (dwarf2out_begin_prologue): Adjust non-CFI asm
2346         EH personality path.
2347
2348 2009-09-13  Richard Guenther  <rguenther@suse.de>
2349             Rafael Avila de Espindola  <espindola@google.com>
2350
2351         * langhooks-def.h (LANG_HOOKS_EH_RUNTIME_TYPE): Define.
2352         (LANG_HOOKS_EH_PERSONALITY): Likewise.
2353         (LANG_HOOKS_INITIALIZER): Adjust.
2354         (lhd_pass_through_t): Declare.
2355         * langhooks.h (struct lang_hooks): Add eh_runtime_type and
2356         eh_personality.
2357         * langhooks.c (lhd_pass_through_t): New function.
2358         * dwarf2out.c (output_call_frame_info, dwarf2out_do_cfi_startproc,
2359         dwarf2out_begin_prologue): Use personality from current_function_decl.
2360         * expr.h (get_personality_function): Declare.
2361         * expr.c (get_personality_function): New function.
2362         (build_personality_function): Likewise.
2363         * libfuncs.h (libfunc_index): Remove LTI_eh_personality.
2364         (eh_personality_libfunc): Remove.
2365         * optabs.c (build_libfunc_function): New function split out from ...
2366         (init_one_libfunc): ... here.
2367         * tree.h (DECL_FUNCTION_PERSONALITY): New.
2368         (tree_function_decl): Add personality.
2369         (lhd_gcc_personality): Declare.
2370         (build_personality_function): Likewise.
2371         * tree.c (gcc_eh_personality_decl): New.
2372         (lhd_gcc_personality): New function.
2373         * except.h (lang_eh_runtime_type): Remove.
2374         (enum eh_personality_kind): New.
2375         (build_personality_function): Declare.
2376         (function_needs_eh_personality): Declare.
2377         * except.c (lang_eh_runtime_type): Remove.
2378         (function_needs_eh_personality): New function.
2379         (add_type_for_runtime): Call lang_hooks.type_for_runtime instead.
2380         (sjlj_emit_function_enter, output_function_exception_table):
2381         Use personality from current_function_decl.
2382         * tree-eh.c (lower_eh_constructs): Set DECL_FUNCTION_PERSONALITY.
2383         * tree-inline.c (tree_can_inline_p): Do not inline across different
2384         EH personalities.
2385         (expand_call_inline): Likewise.  Adjust the callers EH personality.
2386         (tree_function_versioning): Copy DECL_FUNCTION_PERSONALITY.
2387         * cgraph.c (cgraph_add_new_function): Set DECL_FUNCTION_PERSONALITY.
2388         * Makefile.in (cgraph.o): Add $(EXCEPT_H) dependency.
2389         (c-parser.o): Likewise
2390         * c-tree.h (c_eh_initialized_p): Remove.
2391         (c_maybe_initialize_eh): Likewise.
2392         * c-decl.c (finish_decl): Don't call c_maybe_initialize_eh.
2393         (finish_decl): Don't call c_maybe_initialize_eh.
2394         (c_eh_initialized_p): Remove.
2395         (c_maybe_initialize_eh): Likewise.
2396         * c-parser.c (c_parser_omp_construct): Likewise.
2397         (c_parse_file): Initialize exception handling.
2398
2399 2009-09-13  Kai Tietz  <kai.tietz@onevision.com>
2400
2401         * config.gcc (tm_file): Remove i386/biarch32.h
2402         for i?86-w64-mingw* case.
2403         (i?86-*-mingw* andx86_64-*-mingw*): Add multilib
2404         support.
2405         * config.host: Set for x64 mingw the option
2406         use_long_long_for_widest_fast_int to yes.
2407
2408 2009-09-13  Eric Botcazou  <ebotcazou@adacore.com>
2409
2410         * tree.h (DECL_IGNORED_P): Document further effect for FUNCTION_DECL.
2411         * dbxout.c (dbxout_function_end): Do not test DECL_IGNORED_P.
2412         (dbxout_begin_function): Likewise.
2413         * final.c (dwarf2_debug_info_emitted_p): New predicate.
2414         (final_start_function): Do not emit debug info if DECL_IGNORED_P is
2415         set on the function.
2416         (final_end_function): Likewise.
2417         (final_scan_insn): Likewise.
2418         (rest_of_handle_final): Likewise.
2419         * varasm.c (assemble_start_function): Likewise.
2420         * config/rs6000/xcoff.h (ASM_DECLARE_FUNCTION_NAME): Likewise.
2421
2422 2009-09-12  Jason Merrill  <jason@redhat.com>
2423
2424         * dbgcnt.c (dbg_cnt_process_single_pair): constify.
2425         * opts.c (common_handle_option): constify.
2426
2427 2009-09-12  Gerald Pfeifer  <gerald@pfeifer.com>
2428
2429         * doc/install.texi (avr): Remove obsolete reference site.
2430
2431 2009-09-12  Gerald Pfeifer  <gerald@pfeifer.com>
2432
2433         * doc/install.texi (Binaries): Adjust AIX link.
2434
2435 2009-09-12  Akim Demaille  <demaille@gostai.com>
2436
2437         * doc/invoke.texi (-fstrict-aliasing): Correct two examples.
2438         Use an imperative sentence.
2439
2440 2009-09-11  Richard Henderson  <rth@redhat.com>
2441
2442         * gsstruct.def (DEFGSSTRUCT): Remove printable-name argument; add
2443         structure-name and has-tree-operands arguments; update all entries.
2444         * gimple.def (DEFGSCODE): Replace 3rd argument with GSS_symbol;
2445         update all entries.
2446         * gimple.c (gimple_ops_offset_): Use HAS_TREE_OP argument.
2447         (gsstruct_code_size): New.
2448         (gss_for_code_): New.
2449         (gss_for_code): Remove.
2450         (gimple_size): Rewrite using gsstruct_code_size.
2451         (gimple_statement_structure): Move to gimple.h.
2452         * gimple.h (gimple_ops_offset_, gss_for_code_): Declare.
2453         (gss_for_code, gimple_statement_structure): New.
2454         (gimple_ops): Use new arrays; tidy.
2455
2456 2009-09-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2457
2458         * config/pa/predicates.md (symbolic_operand): Require a CONST symbolic
2459         operand to be a PLUS expression.
2460         * config/pa/pa.c (pa_secondary_reload): Likewise.
2461
2462 2009-09-11  Jakub Jelinek  <jakub@redhat.com>
2463
2464         * combine.c (propagate_for_debug_subst): Call wrap_constant on top.
2465
2466         * print-rtl.c (print_rtx): Use JUMP_LABEL (in_rtx) instead of
2467         XEXP (in_rtx, 8).
2468
2469 2009-09-11  Bernd Schmidt  <bernd.schmidt@analog.com>
2470
2471         From Jie Zhang <jie.zhang@analog.com>:
2472         * doc/extend.texi (node Function Attributes): Document l2
2473         function attribute.
2474         (node Blackfin Variable Attributes): Document l2 variable attributes.
2475
2476 2009-09-11  Loren J. Rittle  <ljrittle@acm.org>
2477
2478         * config.gcc (*-*-freebsd*): Enable default_use_cxa_atexit
2479         to match the system compiler's configuration at inflection point.
2480         Add comment to remark a remaining difference with system compiler.
2481
2482         * configure.ac (*-*-freebsd*): Enable check for __stack_chk_fail.
2483         * configure: Regenerate.
2484
2485 2009-09-11  Bernd Schmidt  <bernd.schmidt@analog.com>
2486
2487         From Jie Zhang <jie.zhang@analog.com>:
2488         * config/bfin/bfin.c (bfin_expand_call): Handle L2 functions.
2489         (bfin_handle_l2_attribute): New.
2490         (bfin_attribute_table): Add l2 attribute.
2491
2492 2009-09-11  Michael Matz  <matz@suse.de>
2493
2494         PR middle-end/41275
2495         * tree-inline.c (remap_decls): Don't put DECL_EXTERNAL decls
2496         on the local_decls list.
2497
2498 2009-09-11  Alexandre Oliva  <aoliva@redhat.com>
2499
2500         PR debug/41276
2501         PR debug/41307
2502         * cselib.c (cselib_expand_value_rtx_cb): Document callback
2503         interface.
2504         (cselib_expand_value_rtx_1): Use callback for SUBREGs.  Adjust
2505         for VALUEs, to implement the documented interface.
2506         * var-tracking.c (vt_expand_loc_callback): Handle SUBREGs.
2507         Adjust for VALUEs and anything else, to implement the
2508         documented interface.
2509
2510 2009-09-10  Nathan Froyd  <froydnj@codesourcery.com>
2511
2512         * config/rs6000/rs6000.h (DATA_ALIGNMENT): Check that we are dealing
2513         with actual SPE/paired vector modes before using 64-bit alignment.
2514         Check that TYPE is a REAL_TYPE for TARGET_E500_DOUBLE.
2515
2516 2009-09-10  DJ Delorie  <dj@redhat.com>
2517
2518         * config/mep/mep.md (eh_epilogue): Defer until after epilogue is
2519         emitted.
2520
2521         * config/mep/mep.h (LEGITIMATE_CONSTANT_P): New.
2522         * config/mep/mep.c (mep_legitimate_constant_p): New.
2523         * config/mep/mep-protos.h: Prototype it.
2524
2525 2009-09-10  Richard Henderson  <rth@redhat.com>
2526
2527         * print-rtl.c (print_rtx): Fix JUMP_LABEL index.
2528
2529 2009-09-10  Jason Merrill  <jason@redhat.com>
2530
2531         * tree.c (chain_index): New fn.
2532         * tree.h: Declare it.
2533
2534 2009-09-10  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2535
2536         * config/sol2-c.c (cmn_err_length_specs): Initialize
2537         scalar_identity_flag.
2538
2539 2009-09-10  Richard Henderson  <rth@redhat.com>
2540
2541         * tree.h (struct tree_decl_common): Move align member earlier;
2542         move label_decl_uid member ...
2543         (struct tree_label_decl): ... here.
2544         (LABEL_DECL_UID): Update to match.
2545
2546         * tree-cfg.c (dump_function_to_file): Dump eh tree with TDF_EH,
2547         not TDF_DETAILS.
2548
2549         * tree-cfg.c (gimple_redirect_edge_and_branch): Do
2550         gimple_try_redirect_by_replacing_jump test after no-op and EH tests.
2551
2552         * tree-cfg.c (split_edge_bb_loc): Don't disallow placement at
2553         dest_prev if the edge is complex.
2554
2555         * tree-cfg.c (is_ctrl_stmt): Use a switch.
2556
2557         * tree-cfg.c (gimple_can_merge_blocks_p): Move label and
2558         loop latch tests earlier.
2559
2560         * gimple-iterator.c (gimple_find_edge_insert_loc): Insert
2561         before GIMPLE_RETURN, not after its predecessor; insert
2562         before GIMPLE_RESX.
2563
2564         * gimple-iterator.c (gimple_find_edge_insert_loc): Use
2565         gimple_seq_empty_p to test for no PHI nodes.
2566         * tree-cfg.c (split_critical_edges): Likewise.
2567
2568         * c-common.h (c_dialect_cxx, c_dialect_objc): Boolify.
2569
2570 2009-09-10  Hariharan Sandanagobalane  <hariharan@picochip.com>
2571
2572         * final.c (shorten_branches) : Ignore DEBUG_INSN_P instructions
2573         introduced by the VTA branch merge.
2574
2575 2009-09-10  Uros Bizjak  <ubizjak@gmail.com>
2576
2577         * ira-conflicts.c: Use fputs or putc instead of fprintf
2578         where appropriate.
2579         * cfg.c: Ditto.
2580         * toplev.c: Ditto.
2581         * tree-switch-conversion.c: Ditto.
2582
2583 2009-09-10  Hariharan Sandanagobalane  <hariharan@picochip.com>
2584
2585         * config/picochip/picochip.c : Ignore DEBUG_INSN_P instructions
2586         introduced by the VTA branch merge.
2587
2588 2009-09-10  Uros Bizjak  <ubizjak@gmail.com>
2589
2590         Revert:
2591         2009-09-09  Uros Bizjak  <ubizjak@gmail.com>
2592
2593         PR rtl-optimization/39779
2594         * expr.c (convert_modes): Return when mode == oldmode after
2595         CONST_INTs are processed.
2596
2597 2009-09-10  Nick Clifton  <nickc@redhat.com>
2598
2599         * config/mep/mep.c (mep_encode_section_info): Copy weakness
2600         attribute and referring decl when creating renamed symbol.
2601
2602 2009-09-10  Richard Guenther  <rguenther@suse.de>
2603
2604         PR middle-end/41257
2605         * cgraphunit.c (cgraph_emit_thunks): Emit thunks only for
2606         reachable nodes.
2607         (cgraph_finalize_compilation_unit): Compute reachability
2608         before emitting thunks.  Properly process aliases before
2609         possibly removing unreachable nodes.
2610
2611 2009-09-10  Richard Guenther  <rguenther@suse.de>
2612
2613         PR middle-end/41254
2614         * tree.c (struct free_lang_data_d): Add worklist member.
2615         (find_decls_types_r): Push onto the worklist instead of recursing.
2616         Handle TREE_BINFOs properly.
2617         (find_decls_types): New function wrapped around find_decls_types_r
2618         to process the worklist.
2619         (find_decls_types_in_eh_region): Use it.
2620         (find_decls_types_in_node): Likewise.
2621         (find_decls_types_in_var): Likewise.
2622         (free_lang_data_in_cgraph): Likewise.  Free the worklist.
2623         * tree.h (RECORD_OR_UNION_TYPE_P): New.
2624         (AGGREGATE_TYPE_P): Adjust.
2625
2626 2009-09-09  Jason Merrill  <jason@redhat.com>
2627
2628         * configure.ac: Check glibc version even if we have an in-tree
2629         assembler.
2630
2631 2009-09-09  Anthony Green  <green@moxielogic.com>
2632
2633         * config/moxie/moxie.md (*movsi, *movhi, *movqi): Use xor to load
2634         the constant 0 when appropriate.
2635         * config/moxie/constraints.md: Add constraint O.
2636
2637         * config/moxie/moxie.c (moxie_setup_incoming_varargs): Adjust
2638         to pass up to 6 32-bit argument values in registers.
2639         (moxie_function_arg): Ditto.
2640         (moxie_arg_partial_bytes): Ditto.
2641         * config/moxie/moxie.h (FUNCTION_ARG_ADVANCE): Ditto.
2642         (REG_PARM_STACK_SPACE): Ditto.
2643         (FUNCTION_ARG_REGNO_P): Ditto.
2644
2645         * config/moxie/moxie.c (moxie_expand_prologue): Use dec
2646         instruction to allocate stack space.
2647
2648 2009-09-09  Segher Boessenkool  <segher@kernel.crashing.org>
2649
2650         * config/rs6000/rs6000.md (bswapdi2_64bit): Fix
2651         unnecessarily stringent constraints.  Fix address
2652         calculation in the splitters.
2653
2654 2009-09-09  Uros Bizjak  <ubizjak@gmail.com>
2655
2656         PR rtl-optimization/39779
2657         * expr.c (convert_modes): Return when mode == oldmode after
2658         CONST_INTs are processed.
2659
2660 2009-09-09  Kai Tietz  <kai.tietz@onevision.com>
2661
2662         PR/41315
2663         * config/i386.c (ix86_can_use_return_insn_p): Check for padding0, too.
2664         (ix86_expand_prologue): Take frame.padding0 into logic of
2665         to_allocate checks.
2666         (ix86_expand_epilogue): Likewise.
2667
2668 2009-09-09  Jakub Jelinek  <jakub@redhat.com>
2669
2670         * config/t-slibgcc-elf-ver (SHLIB_MAKE_SOLINK, SHLIB_INSTALL_SOLINK):
2671         New variables.
2672         (SHLIB_LINK, SHLIB_INSTALL): Use them.
2673         * config/t-slibgcc-libgcc: New file.
2674         * config.gcc (powerpc*-*-linux*, powerpc*-*-gnu*): Use it.
2675
2676 2009-09-09  Martin Jambor  <mjambor@suse.cz>
2677
2678         PR tree-optimization/41089
2679         * tree-sra.c (find_var_candidates): Do not consider va_lists in
2680         early SRA.
2681
2682 2009-09-09  Richard Henderson  <rth@redhat.com>
2683
2684         * gimple.h (CASE_GIMPLE_OMP): New.
2685         (is_gimple_omp): Use it.
2686         * tree-cfg.c (is_ctrl_altering_stmt): Likewise.
2687         (verify_gimple_debug): Likewise.
2688
2689 2009-09-09  Richard Guenther  <rguenther@suse.de>
2690
2691         PR tree-optimization/41101
2692         * tree-ssa-pre.c (maximal_set): Remove.
2693         (compute_antic_aux): Treat the maximal set as implicitly all ones.
2694         Defer all blocks we didn't visit at least one successor.
2695         (add_to_exp_gen): Do not add to the maximal set.
2696         (make_values_for_phi): Likewise.
2697         (compute_avail): Likewise.
2698         (init_pre): Do not allocate the maximal set.
2699         (execute_pre): Do not dump it.
2700
2701 2009-09-09  Martin Jambor  <mjambor@suse.cz>
2702
2703         * tree-cfg.c (verify_gimple_phi): Check that gimple_phi_result is
2704         an SSA_NAME rather than a is_gimple_variable.
2705
2706 2009-09-09  Richard Guenther  <rguenther@suse.de>
2707
2708         PR middle-end/41317
2709         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Remove
2710         code dealing with plain pointer bases.
2711         (maybe_fold_offset_to_reference): Likewise.
2712         (maybe_fold_stmt_addition): Adjust.
2713
2714 2009-09-09  Richard Guenther  <rguenther@suse.de>
2715
2716         * tree.c (free_lang_data_in_type): Do not free the type variant
2717         chains.
2718         (free_lang_data): Merge char_type_node with its properly signed
2719         variant.
2720         (pass_ipa_free): Collect after freeing language specific data.
2721
2722 2009-09-09  Michael Matz  <matz@suse.de>
2723
2724         PR middle-end/41268
2725         * cfgexpand.c (expand_gimple_stmt_1): Use an int for storing
2726         SUBREG_PROMOTED_UNSIGNED_P, instead of a bool.
2727         * rtl.h (struct rtx, SUBREG_PROMOTED_UNSIGNED_P): Update comments
2728         to reflect reality.
2729
2730 2009-09-08  DJ Delorie  <dj@redhat.com>
2731
2732         * config/mep/mep.c (conversions[]): Add "ml" pattern.
2733
2734 2009-09-04  Jason Merrill  <jason@redhat.com>
2735
2736         * tree.c (tree_find_value): Remove.
2737         * tree.h: Remove prototype.
2738         * varasm.c (assemble_external): Use value_member instead.
2739
2740 2009-09-08  Alexandre Oliva  <aoliva@redhat.com>
2741
2742         * toplev.c (process_options): Choose default debugging type when
2743         gtoggle enables debug info and type is unset.
2744
2745 2009-09-08  Alexandre Oliva  <aoliva@redhat.com>
2746
2747         PR debug/41276
2748         PR debug/41307
2749         * cselib.c (cselib_expand_value_rtx_1): Don't return copy of
2750         invalid subreg.
2751
2752 2009-09-08  Alexandre Oliva  <aoliva@redhat.com>
2753
2754         * configure: Rebuilt with modified libtool.m4.
2755
2756 2009-09-08  Alexandre Oliva  <aoliva@redhat.com>
2757
2758         PR debug/41229
2759         PR debug/41291
2760         PR debug/41300
2761         * tree-ssa.c (execute_update_addresses_taken): Update debug insns.
2762
2763 2009-09-08  Alexandre Oliva  <aoliva@redhat.com>
2764
2765         * tree-ssa-loop-ivopts.c (get_phi_with_result): Remove.
2766         (remove_statement): Likewise.
2767         (rewrite_use_nonlinear_expr): Adjust.
2768         (remove_unused_ivs): Collect SSA NAMEs to remove and call...
2769         * tree-ssa.c (release_defs_bitset): ... this.  New.
2770         * tree-flow.h (release_defs_bitset): Declare.
2771
2772 2009-09-08  Alexandre Oliva  <aoliva@redhat.com>
2773
2774         PR debug/41232
2775         * tree-ssa-phiopt.c (minmax_replacement): Skip debug stmts
2776         in the middle block.
2777
2778 2009-09-08  Kai Tietz  <kai.tietz@onevision.com>
2779
2780         * tree-ssa-reassoc.c (find_operand_rank): Cast pointer
2781         via intptr_t to long type.
2782         (insert_operand_rank): Cast long type via intptr_t to
2783         pointer type.
2784         * genattrtab.c (RTL_HASH): Use intptr_t to cast from
2785         pointer to scalar.
2786         * c-pretty-print.c (pp_c_tree_decl_identifier): Cast
2787         from pointer to unsigned via uintptr_t.
2788
2789         * configure.ac (GCC_STDINT_TYPES): Initialize intptr_t,
2790         uintptr_t, HAVE_INTTYPES_H, HAVE_STDINT_H, HAVE_UINTPTR_T,
2791         and HAVE_INTPTR_T.
2792         * configure: Regenerated.
2793         * config.in: Regenerated
2794         * system.h (stdint.h): Add include.
2795         (inttypes.h): Likewise.
2796         * Makefile.in (aclocal): Add config/stdint.m4.
2797         * aclocal.m4: Regenerated.
2798
2799 2009-09-08  Bernd Schmidt  <bernd.schmidt@analog.com>
2800
2801         * config/bfin/bfin.c (np_check_regno, np_after_branch): New static
2802         variables.
2803         (note_np_check_stores): New function.
2804         (harmless_null_pointer_p): New function.
2805         (trapping_loads_p): New args NP_REG and AFTER_NP_BRANCH.  Callers
2806         changed.  Take into account whether we're in the shadow of a condjump
2807         that tested NP_REG for NULL.
2808         Lose all code that tested for SEQUENCEs.
2809         (workaround_speculation): Avoid inserting NOPs for loads that are
2810         either always executed or a NULL pointer.
2811
2812 2009-09-08  Jan Hubicka  <jh@suse.cz>
2813
2814         * doc/invoke.texi (early-inlining-insns): Reduce from 12 to 8.
2815         * params.def (early-inlining-insns): Likewise.
2816
2817 2009-09-08  Jakub Jelinek  <jakub@redhat.com>
2818
2819         PR rtl-optimization/41239
2820         * sched-int.h (struct deps): Add last_function_call_may_noreturn field.
2821         * sched-rgn.c (deps_join): Join also last_function_call_may_noreturn
2822         lists.
2823         * sched-deps.c (sched_analyze_insn): Prevent moving trapping insns
2824         across calls, as the calls might not always return normally.
2825         (call_may_noreturn_p): New function.
2826         (deps_analyze_insn): Update last_function_call_may_noreturn list.
2827         (init_deps): Initialize it.
2828         (remove_from_deps): Also remove calls from
2829         last_function_call_may_noreturn list.
2830
2831 2009-09-07  Richard Henderson  <rth@redhat.com>
2832
2833         * tree-ssa-sccvn.c (vn_reference_lookup_3): Don't assume there are
2834         more VR->OPERANDS than LHS operands.  Free LHS before returning.
2835
2836 2009-09-07  Bernd Schmidt  <bernd.schmidt@analog.com>
2837
2838         * config/bfin/bfin.md (UNSPEC_VOLATILE_STALL): New constant.
2839         (attr "addrtype"): New member "spreg".
2840         Use it if mem_spfp_address_operand is true for the address.
2841         (attr "type"): New entry "stall".
2842         (cpu_unit "load"): New.
2843         (insn_reservations "load32", "loadp", "loadi"): Add reservation of
2844         "load".
2845         (insn_reservation "loadsp"): New.
2846         (insn_reservation "load_stall1"): New.
2847         (insn_reservation "load_stall3"): New.
2848         (stall): New insn.
2849         * config/bfin/predicates.md (const1_operand, const3_operand): New.
2850         (mem_p_address_operand): Exclude stack and frame pointer based
2851         addresses.
2852         (mem_spfp_address_operand): New; match them here.
2853         * config/bfin/bfin.c (add_sched_insns_for_speculation): New function.
2854         (bfin_reorg): Call it if scheduling insns.
2855         (bfin_gen_bundles): Remove dummy insns created by
2856         add_sched_insns_for_speculation.
2857
2858         From Jie Zhang <jie.zhang@analog.com>:
2859         * config/bfin/bfin-protos.h (enum bfin_cpu_type, bfin_cpu_type,
2860         bfin_si_revision, bfin_workarounds): Move these ...
2861         * config/bfin/bfin.h: ... here.
2862
2863         From Mike Frysinger  <michael.frysinger@analog.com>
2864         * config/bfin/bfin-protos.h (bfin_cpu_type): Add BFIN_CPU_BF542M,
2865         BFIN_CPU_BF544M, BFIN_CPU_BF547M, BFIN_CPU_BF548M, and BFIN_CPU_BF549M.
2866         * config/bfin/bfin.c (bfin_cpus[]): Add 0.3 for bf542m, bf544m,
2867         bf547m, bf548m, and bf549m.
2868         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF542M__
2869         for BFIN_CPU_BF542M, __ADSPBF544M__ for BFIN_CPU_BF544M,
2870         __ADSPBF547M__ for BFIN_CPU_BF547M, __ADSPBF548M__ for
2871         BFIN_CPU_BF548M, and __ADSPBF549M__ for BFIN_CPU_BF549M.
2872         * config/bfin/t-bfin-elf (MULTILIB_MATCHES): Select bf532-none for
2873         bf542m-none, bf544m-none, bf547m-none, bf548m-none, and bf549m-none.
2874         * config/bfin/t-bfin-linux (MULTILIB_MATCHES): Likewise.
2875         * config/bfin/t-bfin-uclinux (MULTILIB_MATCHES): Likewise.
2876         * doc/invoke.texi (Blackfin Options): Document that -mcpu now accepts
2877         bf542m, bf544m, bf547m, bf548m, and bf549m.
2878
2879         From Jie Zhang <jie.zhang@analog.com>:
2880         * config/bfin/predicates.md (p_register_operand): New predicate.
2881         (dp_register_operand): New predicate.
2882         * config/bfin/bfin-protos.h (WA_05000074): Define.
2883         (ENABLE_WA_05000074): Define.
2884         * config/bfin/bfin.c (bfin_cpus[]): Add WA_05000074 for all cpus.
2885         (bfin_gen_bundles): Put dsp32shiftimm instruction in slot[0].
2886         * config/bfin/bfin.md (define_attr type): Add dsp32shiftimm.
2887         (define_attr addrtype): Allow load/store register to be P register.
2888         (define_attr storereg): New.
2889         (define_cpu_unit anomaly_05000074): New.
2890         (define_insn_reservation dsp32shiftimm): New.
2891         (define_insn_reservation dsp32shiftimm_anomaly_05000074): New.
2892         (define_insn_reservation loadp): Cannot use slot2.
2893         (define_insn_reservation loadsp): Cannot use slot2.
2894         (define_insn_reservation storep): Cannot use slot2. Does not
2895         apply when working around 05000074.
2896         (define_insn_reservation storep_anomaly_05000074): New.
2897         (define_insn_reservation storei): Does not apply when working
2898         around 05000074.
2899         (define_insn_reservation storei_anomaly_05000074): New.
2900         (define_attr length): Add dsp32shiftimm case.
2901         (define_insn movsi_insn32, movsi_insv, ashlsi3_insn, ashrsi3,
2902         ror_one, rol_one, lshrsi3, lshrpdi3, ashrpdi3, movhiv2hi_low,
2903         movhiv2hi_high, composev2hi, packv2hi, movv2hi_hi,
2904         ssashiftv2hi3, ssashifthi3, ssashiftsi3, lshiftv2hi3, lshifthi3):
2905         Set type as dsp32shiftimm for dsp32shiftimm alternatives.
2906
2907 2009-09-07  Martin Jambor  <mjambor@suse.cz>
2908
2909         PR middle-end/41282
2910         * tree-sra.c (create_artificial_child_access): Return NULL if
2911         build_ref_for_offset fails.
2912         (propagate_subacesses_accross_link): Allow build_ref_for_offset
2913         and create_artificial_child_access to fail.
2914
2915 2009-09-06  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>
2916
2917         PR c++/41214
2918         * unwind-dw2.c (uw_init_context_1): Mark noinline.
2919         * config/ia64/unwind-ia64.c (uw_init_context_1): Likewise.
2920         * config/xtensa/unwind-dw2-xtensa.c (uw_init_context_1): Likewise.
2921
2922 2009-09-07  Bernd Schmidt  <bernd.schmidt@analog.com>
2923
2924         * config/bfin/bfin.c (bfin_optimize_loop): When creating a new basic
2925         block, ensure it has an exit edge.  Emit a barrier after a jump.
2926
2927 2009-09-07  Nick Clifton  <nickc@redhat.com>
2928
2929         * gcc.c (this_is_linker_script): New variable.  Like
2930         this_is_library_file but for the %T constructor.
2931         (end_going_arg): If this_is_linker_script is set then locate the
2932         script and insert a --script switch before it
2933         (do_spec_2): Initialise this_is_linker_script.
2934         (do_spec_1): Likewise.  Handle %T construct.
2935         (eval_spec_function): Preserve this_is_linker_script.
2936         * doc/invoke.texi: Document %T construct in spec files.
2937         * config/m32c/m32c.h (LIB_SPEC): Use it.
2938
2939 2009-09-07  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2940
2941         * rtl.h (PREFETCH_SCHEDULE_BARRIER_P): New macro.
2942         * sched-deps.c (sched_analyze_2): Make prefetches a hard barrier
2943         when volatile flag is set.
2944         * doc/rtl.texi (PREFETCH_SCHEDULE_BARRIER_P): Add documentation pieces.
2945
2946 2009-09-06  Eric Botcazou  <ebotcazou@adacore.com>
2947
2948         PR bootstrap/41241
2949         * combine-stack-adj.c (try_apply_stack_adjustment): Handle stores.
2950         (combine_stack_adjustments_for_block): Allow insns between stack
2951         adjustments and stores with corresponding pre-(dec|inc)rement or
2952         pre-modify operation.
2953
2954 2009-09-06  Jakub Jelinek  <jakub@redhat.com>
2955
2956         PR bootstrap/41241
2957         * combine-stack-adj.c (struct csa_memlist): Rename to...
2958         (struct csa_reflist): ... this.  Rename mem field to ref.
2959         (free_csa_memlist): Rename to...
2960         (free_csa_reflist): ... this.
2961         (record_one_stack_memref): Rename to...
2962         (record_one_stack_ref): ... this.  Handle also REG_P.
2963         (try_apply_stack_adjustment): Handle also REG_P.
2964         (struct record_stack_memrefs_data): Rename to...
2965         (struct record_stack_refs_data): ... this.  Rename memlist field to
2966         reflist.
2967         (record_stack_memrefs): Rename to...
2968         (record_stack_refs): ... this.  For DEBUG_INSNs keep traversing
2969         subexpressions instead of failing when a MEM contains SP references.
2970         For SP itself in DEBUG_INSNs queue it also onto reflist chain.
2971         (combine_stack_adjustments_for_block): Adjust for mem to ref renaming.
2972
2973 2009-09-06  Richard Guenther  <rguenther@suse.de>
2974
2975         PR middle-end/41144
2976         * tree.c (build_array_type): Do not record types marked
2977         with structural equality in the canonical type hashtable.
2978
2979 2009-09-06  Richard Guenther  <rguenther@suse.de>
2980
2981         PR middle-end/41261
2982         * tree-ssa-alias.c (refs_may_alias_p_1): Bail out for function decls.
2983
2984 2009-09-05  Richard Guenther  <rguenther@suse.de>
2985
2986         PR middle-end/41181
2987         * tree-ssa-ccp.c (maybe_fold_stmt_addition): Use the correct type.
2988
2989 2009-09-05  Richard Guenther  <rguenther@suse.de>
2990
2991         PR debug/41273
2992         * tree-ssa-operands.c (get_tmr_operands): Pass through opf_no_vops.
2993
2994 2009-09-05  Richard Guenther  <rguenther@suse.de>
2995
2996         PR middle-end/41271
2997         * tree-ssa.c (useless_type_conversion_p): Drop qualifiers
2998         before comparing function argument types.
2999
3000 2009-09-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
3001
3002         PR target/41024
3003         * config/i386/mingw-w64.h (ASM_SPEC): Pass -v instead of -V to
3004         the assembler.
3005
3006 2009-09-04  Uros Bizjak  <ubizjak@gmail.com>
3007
3008         Revert:
3009         2009-08-18  Uros Bizjak  <ubizjak@gmail.com>
3010
3011         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Allocate insn
3012         locators before emit_insn is called.
3013
3014 2009-09-04  Vladimir Makarov  <vmakarov@redhat.com>
3015
3016         PR bootstrap/41241
3017         * ira.c (update_equiv_reg): Revert my previous patch for the PR.
3018         * reginfo.c (resize_reg_info): Call allocate_reg_info if necessary.
3019         (reginfo_init): Don't call allocate_reg_info.
3020
3021 2009-09-04  Uros Bizjak  <ubizjak@gmail.com>
3022
3023         PR target/41262
3024         * config/alpha/alpha.c (alpha_does_function_need_gp): Use
3025         NONDEBUG_INSN_P instead of INSN_P.
3026
3027 2009-09-04  Alexandre Oliva  <aoliva@redhat.com>
3028
3029         PR debug/41225
3030         * tree-vect-stmts.c (vect_stmt_relevant_p): Skip debug uses.
3031
3032 2009-09-04  Alexandre Oliva  <aoliva@redhat.com>
3033
3034         PR target/41252
3035         * config/arm/vfp.md (*cmpdf_split_vfp): Fix src mode in the second
3036         pattern of the split.
3037
3038 2009-09-04  Alexandre Oliva  <aoliva@redhat.com>
3039
3040         * toplev.c (process_options): Move setter of flag_var_tracking
3041         before other tests that depend on it.  Move down setter of
3042         flag_rename_registers.  Don't enable var-tracking-assignments
3043         by default if selective scheduling is enabled.  Warn if both
3044         are enabled.
3045
3046 2009-09-04  Alexandre Oliva  <aoliva@redhat.com>
3047
3048         * var-tracking.c (dv_is_decl_p): Adjust NULL behavior to match
3049         comment.  Use switch statement to catch overlaps between rtx
3050         and tree codes.  Accept FUNCTION_DECLs in addition to those in...
3051         (IS_DECL_CODE): ... here. Remove.
3052         (check_value_is_not_decl): Remove.
3053         (dv_from_decl, dv_from_value): Check after conversion.
3054
3055 2009-09-04  Richard Guenther  <rguenther@suse.de>
3056
3057         PR middle-end/41257
3058         * (cgraph_finalize_compilation_unit): Move finalizing aliases
3059         after emitting tunks.  Move emitting thunks and ctors from ...
3060         (cgraph_optimize): ... here.  Remove redundant
3061         cgraph_analyze_functions.
3062         * varasm.c (find_decl_and_mark_needed): Remove no longer
3063         necessary check.
3064         (finish_aliases_1): Adjust check for thunk aliases.
3065
3066 2009-09-04  Daniel Gutson  <dgutson@codesourcery.com>
3067
3068         * config/arm/arm.md (ctzsi2): Added braces
3069         to avoid warning that broke booststrap.
3070
3071 2009-09-04  Martin Jambor  <mjambor@suse.cz>
3072
3073         PR tree-optimization/41112
3074         * tree-sra.c (build_ref_for_offset_1): Signal that we cannot
3075         handle variable-bounded arrays.
3076         (expr_with_var_bounded_array_refs_p): New function.
3077         (analyze_access_subtree): Call expr_with_var_bounded_array_refs_p.
3078
3079 2009-09-04  Wolfgang Gellerich  <gellerich@de.ibm.com>
3080
3081         * config/s390/2097.md: Removed two incorrect bypasses.
3082         (z10_fsimpdf): Fixed latency.
3083         (z10_fhex): New insn_reservation.
3084         (z10_floaddf): Fixed latency.
3085         (z10_floadsf): Fixed latency.
3086         (z10_ftrunctf): Fixed latency.
3087         (z10_ftruncdf): Fixed latency.
3088         * config/s390/s390.c (z10_cost): Fixed values.
3089         (s390_adjust_priority): Added z10 path.
3090         * config/s390/s390.md (type): Added fhex.
3091         (*mov<mode>_64dfp): Updated type attribute.
3092         (*mov<mode>_64): Updated type attribute.
3093         (*mov<mode>_31): Updated type attribute.
3094         (*mov<mode>"): Likewise.
3095         * config/s390/2084.md (x_fsimpdf): Updated condition.
3096
3097 2009-09-04  Andreas Krebbel  <krebbel1@de.ibm.com>
3098
3099         * config/s390/s390.md ("*fmadd<mode>", "*fmsub<mode>"): Enable mem
3100         RTXs in the predicate for operand 1.
3101
3102 2009-09-03  Daniel Gutson  <dgutson@codesourcery.com>
3103
3104         * config/arm/arm.md (UNSPEC_RBIT): New constant.
3105         (rbitsi2): New insn.
3106         (ctzsi2): New expand.
3107         * config/arm/arm.h (CTZ_DEFINED_VALUE_AT_ZERO): New macro.
3108
3109 2009-09-03  Martin Jambor  <mjambor@suse.cz>
3110
3111         * tree-sra.c (duplicate_expr_for_different_base): Removed.
3112         (create_artificial_child_access): Use build_ref_for_offset instead
3113         of duplicate_expr_for_different_base.
3114         (propagate_subacesses_accross_link): Likewise.
3115
3116 2009-09-03  Richard Sandiford  <rdsandiford@googlemail.com>
3117
3118         * config/mips/mips.c (USEFUL_INSN_P): Use NONDEBUG_INSN_P instead
3119         of INSN_P.
3120         (mips16e_collect_argument_saves): Skip debug instructions.
3121         (mips_74k_agen_init): Use CALL_P || JUMP_P instead of !NONJUMP_INSN_P.
3122         (mips16_lay_out_constants): Use USEFUL_INSN_P instead of INSN_P.
3123         (r10k_insert_cache_barriers): Likewise.
3124         (mips_reorg_process_insns): Likewise.
3125
3126 2009-09-03  Vladimir Makarov  <vmakarov@redhat.com>
3127
3128         PR bootstrap/41241
3129         * ira.c (update_equiv_reg): Remove check on class likely spill.
3130
3131 2009-09-03  Jakub Jelinek  <jakub@redhat.com>
3132
3133         PR debug/41236
3134         * dwarf2out.c (loc_descriptor): Don't use SUBREG_REG macro on
3135         SIGN_EXTEND or ZERO_EXTEND.  Don't assume there is a REG inside of
3136         it or SUBREG.
3137
3138         PR debug/41238
3139         * function.c (assign_parm_find_stack_rtl): Don't set mem attributes on
3140         the stack slot if it is passed by invisible reference.
3141         * var-tracking.c (vt_add_function_parameters): Handle arguments passed
3142         by invisible reference.
3143
3144 2009-09-03  Bernd Schmidt  <bernd.schmidt@analog.com>
3145
3146         * config/bfin/linux.h (TARGET_SUPPORTS_SYNC_CALLS): Define to 1.
3147         * config/bfin/uclinux.h (TARGET_SUPPORTS_SYNC_CALLS): Define to 1.
3148         * config/bfin/bfin.h (TARGET_SUPPORTS_SYNC_CALLS): Provide default of
3149         0.
3150         * config/bfin/sync.md: New file.
3151         * config/bfin/bfin.md: Include it.
3152         (UNSPEC_ATOMIC): New.
3153         (UNSPEC_ONES): Provide a unique number.
3154
3155         From Jie Zhang <jie.zhang@analog.com>:
3156         * config/bfin/bfin.c (ret_regs): New.
3157         (must_save_fp_p): Don't return true because of frame_pointer_needed.
3158         (must_save_rets_p): New.
3159         (n_regs_saved_by_prologue): Use must_save_rets_p instead of
3160         current_function_is_leaf.
3161         (do_link): Likewise.
3162         (do_unlink): Likewise.
3163         (expand_interrupt_handler_prologue): Use ret_regs array.
3164         (expand_interrupt_handler_epilogue): Use ret_regs array and
3165         pass return register to gen_return_internal.
3166         (bfin_expand_epilogue): Pass return register to
3167         gen_return_internal.
3168         (bfin_expand_call): Explicitly clobber RETS.
3169         * config/bfin/bfin.h (FUNCTION_RETURN_REGISTERS): Define.
3170         * config/bfin/bfin.md (call_symbol_fdpic, call_value_symbol_fdpic,
3171         call_insn_fdpic, call_value_insn_fdpic, call_symbol,
3172         call_value_symbol, call_insn, call_value_insn): Explicitly clobber
3173         RETS.
3174         (return_internal): Take a reg rtx rather than the register number.
3175
3176 2009-09-03  H.J. Lu  <hongjiu.lu@intel.com>
3177
3178         * tree-parloops.c (parallelize_loops): Cast to HOST_WIDE_INT
3179         when comparing against estimated_loop_iterations_int return.
3180
3181 2009-09-03  Richard Guenther  <rguenther@suse.de>
3182
3183         * dwarf2out.c (dwarf2out_do_cfi_asm): Remove check of
3184         eh_personality_libfunc.
3185
3186 2009-09-03  Razya Ladelsky  <razya@il.ibm.com>
3187
3188         * tree-parloops.c (separate_decls_in_region): Add space.
3189
3190 2009-09-03  Razya Ladelsky  <razya@il.ibm.com>
3191
3192         * tree-parloops.c (separate_decls_in_region): Change the condition
3193         checking if there are reductions in the loop.
3194
3195 2009-09-03  Razya Ladelsky  <razya@il.ibm.com>
3196
3197         PR tree-optimization/38275
3198         * tree-parloops.c (parallelize_loops): Replace profitability condition
3199         for expected number of iterations.
3200
3201 2009-09-03  Alexandre Oliva  <aoliva@redhat.com>
3202
3203         * doc/invoke.texi (BUILD_CONFIG): Document --with-build-config.
3204         (bootstrap-debug): Explain conditions in which it becomes default.
3205         (bootstrap-debug-big): Rather than duplicate bootstrap-debug,
3206         make it add to it.
3207
3208 2009-09-03  Namhyung Kim  <namhyung@gmail.com>
3209
3210         * doc/invoke.texi (Optimize Options): Move
3211         -finline-small-functions to the -O2 list.
3212
3213 2009-09-03  Alexandre Oliva  <aoliva@redhat.com>
3214
3215         * toplev.c (process_options): Enable var-tracking-assignments
3216         by default if var-tracking is enabled.
3217
3218 2009-09-02  David Daney  <ddaney@caviumnetworks.com>
3219
3220         * cfgbuild.c (find_bb_boundaries): Split blocks containing a
3221         barrier.
3222         * emit-rtl.c (prev_nonnote_insn_bb): New function.
3223         * rtl.h (prev_nonnote_insn_bb): Declare it.
3224
3225 2009-09-03  Diego Novillo  <dnovillo@google.com>
3226
3227         * cgraph.c (cgraph_node_for_decl): New.
3228         * cgraph.h (cgraph_node_for_decl): Declare.
3229         * tree.c (host_integerp): Return 0 if T is NULL.
3230
3231 2009-09-03  Diego Novillo  <dnovillo@google.com>
3232
3233         * tree.h (struct alias_pair): Move from varasm.c.
3234         (alias_pairs): Likewise.
3235         (TYPE_MAXVAL): Define.
3236         (TYPE_MINVAL): Define.
3237         (iterative_hash_host_wide_int): Declare.
3238         (remove_unreachable_alias_pairs): Declare.
3239         * tree-pass.h (pass_ipa_free_lang_data): Declare.
3240         * diagnostic.c (default_diagnostic_starter): Make extern.
3241         (default_diagnostic_finalizer): Make extern.
3242         * diagnostic.h (default_diagnostic_starter): Declare.
3243         (default_diagnostic_finalizer): Declare.
3244         (default_tree_printer): Declare.
3245         * toplev.c (default_tree_printer): Make extern.
3246
3247 2009-09-03  Richard Guenther  <rguenther@suse.de>
3248             Diego Novillo  <dnovillo@google.com>
3249
3250         * cgraph.c (cgraph_add_new_function): Remove gimplification.
3251         * cgraphunit.c (cgraph_expand_function): Do not emit
3252         associated thunks from here.
3253         (cgraph_emit_thunks): New.
3254         (cgraph_optimize): Call it.
3255         Return if any IPA pass finds an error.
3256         * varasm.c (finish_aliases_1): Ignore errorneous aliases used
3257         by thunks.
3258
3259 2009-09-03  Simon Baldwin  <simonb@google.com>
3260             Rafael Espindola  <espindola@google.com>
3261             Richard Guenther  <rguenther@suse.de>
3262             Doug Kwan  <dougkwan@google.com>
3263             Diego Novillo  <dnovillo@google.com>
3264
3265         * tree.c: Include tree-pass.h, langhooks-def.h,
3266         diagnostic.h, cgraph.h, timevar.h, except.h and debug.h.
3267         (free_lang_data_in_type): New.
3268         (need_assembler_name_p): New.
3269         (free_lang_data_in_block): New.
3270         (free_lang_data_in_decl): New.
3271         (struct free_lang_data_d): New.
3272         (add_tree_to_fld_list): New.
3273         (find_decls_types_r): New.
3274         (get_eh_types_for_runtime): New.
3275         (find_decls_types_in_eh_region): New.
3276         (find_decls_types_in_node): New.
3277         (find_decls_types_in_var): New.
3278         (free_lang_data_in_cgraph): New.
3279         (free_lang_data): New.
3280         (gate_free_lang_data): New.
3281         (pass_ipa_free_lang_data): New.
3282
3283 2009-09-03  Diego Novillo  <dnovillo@google.com>
3284
3285         * timevar.def (TV_IPA_FREE_LANG_DATA): Define.
3286         * langhooks.h (struct lang_hooks): Add field free_lang_data.
3287         (lang_hooks): Remove const qualifier.
3288         * ipa.c (cgraph_remove_unreachable_nodes): Call
3289         remove_unreachable_alias_pairs.
3290         * except.c (add_type_for_runtime): Check if TYPE has
3291         already been converted.
3292         (lookup_type_for_runtime): Likewise.
3293         (check_handled): Handle converted types.
3294         * varasm.c (remove_unreachable_alias_pairs): New.
3295         * gimple.c: Include demangle.h.
3296         (gimple_decl_printable_name): New.
3297         (gimple_fold_obj_type_ref): New.
3298         * gimple.h (gimple_decl_printable_name): Declare.
3299         (gimple_fold_obj_type_ref): Declare.
3300         * passes.c (init_optimization_passes): Add pass
3301         pass_ipa_free_lang_data.
3302         * langhooks-def.h (LANG_HOOKS_FREE_LANG_DATA): Define.
3303         (LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_FREE_LANG_DATA.
3304
3305 2009-09-03  Diego Novillo  <dnovillo@google.com>
3306
3307         * c-lang.c (lang_hooks): Remove const qualifier.
3308
3309 2009-09-02  Loren James Rittle  <ljrittle@acm.org>
3310
3311         * doc/install.texi (*-*-freebsd*): Update target information.
3312
3313 2009-09-02  Anatoly Sokolov  <aesok@post.ru>
3314
3315         * hard-reg-set.h (call_fixed_regs): Remove.
3316         * reginfo.c (call_fixed_regs): Remove.
3317         (init_reg_sets_1): Remove initialization of call_fixed_regs.
3318         (globalize_reg): Don't use call_fixed_regs.
3319         * caller-save.c (init_caller_save): Use call_fixed_reg_set instead of
3320         call_fixed_regs.
3321
3322 2009-09-01  Michael Matz  <matz@suse.de>
3323
3324         * expr.h (emit_storent_insn, expand_expr_real_1,
3325         expand_expr_real_2): Declare.
3326         * expr.c (emit_storent_insn, expand_expr_real_1,
3327         expand_expr_real_2): Export.
3328         (store_expr): Setting and evaluating dont_return_target is useless.
3329         (expand_expr_real_1, <case GOTO_EXPR, RETURN_EXPR, SWITCH_EXPR,
3330         LABEL_EXPR and ASM_EXPR>): Move to gcc_unreachable.
3331         * except.c (expand_resx_expr): Rename to ...
3332         (expand_resx_stmt): ... this.  Rewrite to take gimple statement.
3333         * except.h (expand_resx_stmt): Declare.
3334         * stmt.c: Add include gimple.h
3335         (expand_asm_expr): Rename to ...
3336         (expand_asm_stmt): ... this. Rewrite to take gimple statement.
3337         (expand_case): Rewrite to take gimple statement.
3338         * tree.h (expand_asm_stmt): Declare.
3339         (expand_case): Change prototype.
3340         * Makefile.in (stmt.o): Depend on gimple.h.
3341         * builtins.c (expand_builtin_synchronize): Build gimple asm
3342         statement, not an ASM_EXPR.
3343         * cfgexpand.c (gimple_cond_pred_to_tree, set_expr_location_r,
3344         gimple_to_tree, release_stmt_tree): Remove.
3345         (expand_gimple_cond): Don't call gimple_cond_pred_to_tree or
3346         ggc_free, but hold comparison code and operands separately.
3347         Call jumpif_1 and jumpifnot_1 instead of jumpif and jumpifnot.
3348         (expand_call_stmt, expand_gimple_stmt_1,
3349         expand_gimple_stmt): New helpers.
3350         (expand_gimple_tailcall): Don't call gimple_to_tree, expand_expr_stmt,
3351         release_stmt_tree.  Call expand_gimple_stmt instead.
3352         (expand_gimple_basic_block): Ditto.
3353
3354         * calls.c (emit_call_1): Don't look at EH regions here, make
3355         fntree parameter useless.
3356         (expand_call): New local rettype for TREE_TYPE(exp), use it
3357         throughout.  Remove local p, use addr instead.
3358         Don't look at EH regions here.
3359
3360 2009-09-02  Vladimir Makarov  <vmakarov@redhat.com>
3361
3362         * doc/invoke.texi (-fsched-pressure): Document it.
3363         (-fsched-reg-pressure-heuristic): Remove it.
3364
3365         * reload.c (ira.h): Include.
3366         (find_reloads): Add choosing reload on number of small spilled
3367         classes.
3368
3369         * haifa-sched.c (ira.h): Include.
3370         (sched_pressure_p, sched_regno_cover_class, curr_reg_pressure,
3371         saved_reg_pressure, curr_reg_live, saved_reg_live,
3372         region_ref_regs): New variables.
3373         (sched_init_region_reg_pressure_info, mark_regno_birth_or_death,
3374         initiate_reg_pressure_info, setup_ref_regs,
3375         initiate_bb_reg_pressure_info, save_reg_pressure,
3376         restore_reg_pressure, dying_use_p, print_curr_reg_pressure): New
3377         functions.
3378         (setup_insn_reg_pressure_info): New function.
3379         (rank_for_schedule): Add pressure checking and insn issue time.
3380         Remove comparison of insn reg weights.
3381         (ready_sort): Set insn reg pressure info.
3382         (update_register_pressure, setup_insn_max_reg_pressure,
3383         update_reg_and_insn_max_reg_pressure,
3384         sched_setup_bb_reg_pressure_info): New functions.
3385         (schedule_insn): Add code for printing and updating reg pressure info.
3386         (find_set_reg_weight, find_insn_reg_weight): Remove.
3387         (ok_for_early_queue_removal): Do nothing if pressure_only_p.
3388         (debug_ready_list): Print reg pressure info.
3389         (schedule_block): Ditto.  Check insn issue time.
3390         (sched_init): Set up sched_pressure_p.  Allocate and set up some
3391         reg pressure related info.
3392         (sched_finish): Free some reg pressure related info.
3393         (fix_tick_ready): Make insn always ready if pressure_p.
3394         (init_h_i_d): Don't call find_insn_reg_weight.
3395         (haifa_finish_h_i_d): Free insn reg pressure info.
3396
3397         * ira-int.h (ira_hard_regno_cover_class, ira_reg_class_nregs,
3398         ira_memory_move_cost, ira_class_hard_regs,
3399         ira_class_hard_regs_num, ira_no_alloc_regs,
3400         ira_available_class_regs, ira_reg_class_cover_size,
3401         ira_reg_class_cover, ira_class_translate): Move to ira.h.
3402
3403         * ira-lives.c (single_reg_class): Check mode to find how many
3404         registers are necessary for operand.
3405         (ira_implicitly_set_insn_hard_regs): New.
3406
3407         * common.opt (fsched-pressure): New options.
3408         (fsched-reg-pressure-heuristic): Remove.
3409
3410         * ira.c (setup_eliminable_regset): Rename to
3411         ira_setup_eliminable_regset.  Make it external.
3412         (expand_reg_info): Pass cover class to setup_reg_classes.
3413         (ira): Call resize_reg_info instead of allocate_reg_info.
3414
3415         * sched-deps.c: Include ira.h.
3416         (implicit_reg_pending_clobbers, implicit_reg_pending_uses): New.
3417         (create_insn_reg_use, create_insn_reg_set, setup_insn_reg_uses,
3418         reg_pressure_info, insn_use_p, mark_insn_pseudo_birth,
3419         mark_insn_hard_regno_birth, mark_insn_reg_birth,
3420         mark_pseudo_death, mark_hard_regno_death, mark_reg_death,
3421         mark_insn_reg_store, mark_insn_reg_clobber,
3422         setup_insn_reg_pressure_info): New.
3423         (sched_analyze_1): Update implicit_reg_pending_uses.
3424         (sched_analyze_insn): Find implicit sets, uses, clobbers of regs.
3425         Use them to create dependencies.  Set insn reg uses and pressure
3426         info.  Process reg_pending_uses in one place.
3427         (free_deps): Free implicit sets.
3428         (remove_from_deps): Remove implicit sets if necessary.  Check
3429         implicit sets when clearing reg_last_in_use.
3430         (init_deps_global): Clear implicit_reg_pending_clobbers and
3431         implicit_reg_pending_uses.
3432
3433         * ira.h (ira_hard_regno_cover_class, ira_reg_class_nregs,
3434         ira_memory_move_cost, ira_class_hard_regs,
3435         ira_class_hard_regs_num, ira_no_alloc_regs,
3436         ira_available_class_regs, ira_reg_class_cover_size,
3437         ira_reg_class_cover, ira_class_translate): Move from ira-int.h.
3438         (ira_setup_eliminable_regset, ira_set_pseudo_classes,
3439         ira_implicitly_set_insn_hard_regs): New prototypes.
3440
3441         * ira-costs.c (pseudo_classes_defined_p, allocno_p,
3442         cost_elements_num): New variables.
3443         (allocno_costs, total_costs): Rename to costs and
3444         total_allocno_costs.
3445         (COSTS_OF_ALLOCNO): Rename to COSTS.
3446         (allocno_pref): Rename to pref.
3447         (allocno_pref_buffer): Rename to pref_buffer.
3448         (common_classes): Rename to regno_cover_class.
3449         (COST_INDEX): New.
3450         (record_reg_classes): Set allocno attributes only if allocno_p.
3451         (record_address_regs): Ditto.  Use COST_INDEX instead of ALLOCNO_NUM.
3452         (scan_one_insn): Use COST_INDEX and COSTS instead of ALLOCNO_NUM
3453         and COSTS_OF_ALLOCNO.
3454         (print_costs): Rename to print_allocno_costs.
3455         (print_pseudo_costs): New.
3456         (process_bb_node_for_costs): Split into 2 functions with new
3457         function process_bb_for_costs.  Pass BB to process_bb_for_costs.
3458         (find_allocno_class_costs): Rename to find_costs_and_classes.  Add
3459         new parameter dump_file.  Use cost_elements_num instead of
3460         ira_allocnos_num.  Make one iteration if preferred classes were
3461         already calculated for scheduler.  Make 2 versions of code
3462         depending on allocno_p.
3463         (setup_allocno_cover_class_and_costs): Check allocno_p.  Use
3464         regno_cover_class and COSTS instead of common_classes and
3465         COSTS_OF_ALLOCNO.
3466         (init_costs, finish_costs): New.
3467         (ira_costs): Set up allocno_p and cost_elements_num.  Call
3468         init_costs and finish_costs.
3469         (ira_set_pseudo_classes): New.
3470
3471         * rtl.h (allocate_reg_info): Remove.
3472         (resize_reg_info): Change return type.
3473         (reg_cover_class): New.
3474         (setup_reg_classes): Add new parameter.
3475
3476         * sched-int.h (struct deps_reg): New member implicit_sets.
3477         (sched_pressure_p, sched_regno_cover_class): New external definitions.
3478         (INCREASE_BITS): New macro.
3479         (struct reg_pressure_data, struct reg_use_data): New.
3480         (struct _haifa_insn_data): Remove reg_weight.  Add members
3481         reg_pressure, reg_use_list, reg_set_list, and
3482         reg_pressure_excess_cost_change.
3483         (struct deps): New member implicit_sets.
3484         (pressure_p): New variable.
3485         (COVER_CLASS_BITS, INCREASE_BITS): New macros.
3486         (struct reg_pressure_data, struct reg_use_data): New.
3487         (INSN_REG_WEIGHT): Remove.
3488         (INSN_REG_PRESSURE, INSN_MAX_REG_PRESSURE, INSN_REG_USE_LIST,
3489         INSN_REG_SET_LIST, INSN_REG_PRESSURE_EXCESS_COST_CHANGE): New macros.
3490         (sched_init_region_reg_pressure_info,
3491         sched_setup_bb_reg_pressure_info): New prototypes.
3492
3493         * reginfo.c (struct reg_pref): New member coverclass.
3494         (reg_cover_class): New function.
3495         (reginfo_init, pass_reginfo_init): Move after free_reg_info.
3496         (reg_info_size): New variable.
3497         (allocate_reg_info): Make static.  Setup reg_info_size.
3498         (resize_reg_info): Use reg_info_size.  Return flag of resizing.
3499         (setup_reg_classes): Add a new parameter.  Setup cover class too.
3500
3501         * Makefile.in (reload.o, haifa-sched.o, sched-deps.o): Add ira.h to
3502         the dependencies.
3503
3504         * sched-rgn.c (deps_join): Set up implicit_sets.
3505         (schedule_region): Set up region and basic blocks pressure
3506         relative info.
3507
3508         * passes.c (init_optimization_passes): Move
3509         pass_subregs_of_mode_init before pass_sched.
3510
3511 2009-09-02  Martin Jambor  <mjambor@suse.cz>
3512
3513         * tree-sra.c (struct access): New field grp_hint.
3514         (dump_access): Dump grp_hint.
3515         (sort_and_splice_var_accesses): Set grp_hint if a group is read
3516         multiple times.
3517         (analyze_access_subtree): Only scalarize accesses with grp_hint set or
3518         those which have been specifically read and somehow written to.
3519         (propagate_subacesses_accross_link): Set grp_hint of right child and
3520         also possibly of the left child.
3521
3522 2009-09-02  Jakub Jelinek  <jakub@redhat.com>
3523
3524         * tree-object-size.c (addr_object_size): Always use object_size_type
3525         0 or 2 when determining the pointer pointed object size.
3526
3527 2009-09-02  Richard Guenther  <rguenther@suse.de>
3528
3529         Revert
3530         2009-08-31  Richard Guenther  <rguenther@suse.de>
3531
3532         * builtins.c (fold_builtin_memory_op): Use the alias oracle
3533         to query if the memory regions for memmove overlap.
3534         * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Relax the
3535         asserts on pointers, instead deal with odd trees.
3536         (ptr_derefs_may_alias_p): Likewise.
3537         (refs_may_alias_p_1): Constructor bases also never alias.
3538
3539 2009-08-01  Christian Bruel  <christian.bruel@st.com>
3540
3541         Revert:
3542         2009-07-31  Christian Bruel  <christian.bruel@st.com>
3543         * gcc/config.gcc (sh*-*-elf): test with_libgloss.
3544
3545 2009-09-01  Alexandre Oliva  <aoliva@redhat.com>
3546
3547         * doc/invoke.texi (-fvar-tracking-assignments): New.
3548         (-fvar-tracking-assignments-toggle): New.
3549         (-fdump-final-insns=file): Mark filename as optional.
3550         (--param min-nondebug-insn-uid): New.
3551         (-gdwarf-@{version}): Mention version 4.
3552         * opts.c (common_handle_option): Accept it.
3553         * tree-vrp.c (find_assert_locations_1): Skip debug stmts.
3554         * regrename.c (regrename_optimize): Drop last.  Don't count debug
3555         insns as uses.  Don't reject change because of debug insn.
3556         (do_replace): Reject DEBUG_INSN as chain starter.  Take base_regno
3557         from the chain starter, and check for inexact matches in DEBUG_INSNS.
3558         (scan_rtx_reg): Accept inexact matches in DEBUG_INSNs.
3559         (build_def_use): Simplify and fix the marking of DEBUG_INSNs.
3560         * sched-ebb.c (schedule_ebbs): Skip boundary debug insns.
3561         * fwprop.c (forward_propagate_and_simplify): ...into debug insns.
3562         * doc/gimple.texi (is_gimple_debug): New.
3563         (gimple_debug_bind_p): New.
3564         (is_gimple_call, gimple_assign_cast_p): End sentence with period.
3565         * doc/install.texi (bootstrap-debug): More details.
3566         (bootstrap-debug-big, bootstrap-debug-lean): Document.
3567         (bootstrap-debug-lib): More details.
3568         (bootstrap-debug-ckovw): Update.
3569         (bootstrap-time): New.
3570         * tree-into-ssa.c (mark_def_sites): Skip debug stmts.
3571         (insert_phi_nodes_for): Insert debug stmts.
3572         (rewrite_stmt): Take iterator.  Insert debug stmts.
3573         (rewrite_enter_block): Adjust.
3574         (maybe_replace_use_in_debug_stmt): New.
3575         (rewrite_update_stmt): Use it.
3576         (mark_use_interesting): Return early for debug stmts.
3577         * tree-ssa-loop-im.c (rewrite_bittest): Propagate DEFs into debug
3578         stmts before replacing stmt.
3579         (move_computations_stmt): Likewise.
3580         * ira-conflicts.c (add_copies): Skip debug insns.
3581         * regstat.c (regstat_init_n_sets_and_refs): Discount debug insns.
3582         (regstat_bb_compute_ri): Skip debug insns.
3583         * tree-ssa-threadupdate.c (redirection_block_p): Skip debug stmts.
3584         * tree-ssa-loop-manip.c (find_uses_to_rename_stmt,
3585         check_loop_closed_ssa_stmt): Skip debug stmts.
3586         * tree-tailcall.c (find_tail_calls): Likewise.
3587         * tree-ssa-loop-ch.c (should_duplicate_loop_header_p): Likewise.
3588         * tree.h (MAY_HAVE_DEBUG_STMTS): New.
3589         (build_var_debug_value_stat): Declare.
3590         (build_var_debug_value): Define.
3591         (target_for_debug_bind): Declare.
3592         * reload.c (find_equiv_reg): Skip debug insns.
3593         * rtlanal.c (reg_used_between_p): Skip debug insns.
3594         (side_effects_p): Likewise.
3595         (canonicalize_condition): Likewise.
3596         * ddg.c (create_ddg_dep_from_intra_loop_link): Check that non-debug
3597         insns never depend on debug insns.
3598         (create_ddg_dep_no_link): Likewise.
3599         (add_cross_iteration_register_deps): Use ANTI_DEP for debug insns.
3600         Don't add inter-loop dependencies for debug insns.
3601         (build_intra_loop_deps): Likewise.
3602         (create_ddg): Count debug insns.
3603         * ddg.h (struct ddg::num_debug): New.
3604         (num_backargs): Pair up with previous int field.
3605         * diagnostic.c (diagnostic_report_diagnostic): Skip notes on
3606         -fcompare-debug-second.
3607         * final.c (get_attr_length_1): Skip debug insns.
3608         (rest_of_clean-state): Don't dump CFA_RESTORE_STATE.
3609         * gcc.c (invoke_as): Call compare-debug-dump-opt.
3610         (driver_self_specs): Map -fdump-final-insns to
3611         -fdump-final-insns=..
3612         (get_local_tick): New.
3613         (compare_debug_dump_opt_spec_function): Test for . argument and
3614         compute output name.  Compute temp output spec without flag name.
3615         Compute -frandom-seed.
3616         (OPT): Undef after use.
3617         * cfgloopanal.c (num_loop_insns): Skip debug insns.
3618         (average_num_loop_insns): Likewise.
3619         * params.h (MIN_NONDEBUG_INSN_UID): New.
3620         * gimple.def (GIMPLE_DEBUG): New.
3621         * ipa-reference.c (scan_stmt_for_static_refs): Skip debug stmts.
3622         * auto-inc-dec.c (merge_in_block): Skip debug insns.
3623         (merge_in_block): Fix whitespace.
3624         * toplev.c (flag_var_tracking): Update comment.
3625         (flag_var_tracking_assignments): New.
3626         (flag_var_tracking_assignments_toggle): New.
3627         (process_options): Don't open final insns dump file if we're not
3628         going to write to it.  Compute defaults for var_tracking.
3629         * df-scan.c (df_insn_rescan_debug_internal): New.
3630         (df_uses_record): Handle debug insns.
3631         * haifa-sched.c (ready): Initialize n_debug.
3632         (contributes_to_priority): Skip debug insns.
3633         (dep_list_size): New.
3634         (priority): Use it.
3635         (rank_for_schedule): Likewise.  Schedule debug insns as soon as
3636         they're ready.  Disregard previous debug insns to make decisions.
3637         (queue_insn): Never queue debug insns.
3638         (ready_add, ready_remove_first, ready_remove): Count debug insns.
3639         (schedule_insn): Don't reject debug insns because of issue rate.
3640         (get_ebb_head_tail, no_real_insns_p): Skip boundary debug insns.
3641         (queue_to_ready): Skip and discount debug insns.
3642         (choose_ready): Let debug insns through.
3643         (schedule_block): Check boundary debug insns.  Discount debug
3644         insns, schedule them early.  Adjust whitespace.
3645         (set_priorities): Check for boundary debug insns.
3646         (add_jump_dependencies): Use dep_list_size.
3647         (prev_non_location_insn): New.
3648         (check_cfg): Use it.
3649         * tree-ssa-loop-ivopts.c (find-interesting_users): Skip debug
3650         stmts.
3651         (remove_unused_ivs): Reset debug stmts.
3652         * modulo-sched.c (const_iteration_count): Skip debug insns.
3653         (res_MII): Discount debug insns.
3654         (loop_single_full_bb_p): Skip debug insns.
3655         (sms_schedule): Likewise.
3656         (sms_schedule_by_order): Likewise.
3657         (ps_has_conflicts): Likewise.
3658         * caller-save.c (refmarker_fn): New.
3659         (save_call_clobbered_regs): Replace regs with saved mem in
3660         debug insns.
3661         (mark_referenced_regs): Take pointer, mark and arg.  Adjust.
3662         Call refmarker_fn mark for hardregnos.
3663         (mark_reg_as_referenced): New.
3664         (replace_reg_with_saved_mem): New.
3665         * ipa-pure-const.c (check_stmt): Skip debug stmts.
3666         * cse.c (cse_insn): Canonicalize debug insns.  Skip them when
3667         searching back.
3668         (cse_extended_basic_block): Skip debug insns.
3669         (count_reg_usage): Likewise.
3670         (is_dead_reg): New, split out of...
3671         (set_live_p): ... here.
3672         (insn_live_p): Use it for debug insns.
3673         * tree-stdarg.c (check_all_va_list_escapes): Skip debug stmts.
3674         (execute_optimize_stdarg): Likewise.
3675         * tree-ssa-dom.c (propagate_rhs_into_lhs): Likewise.
3676         * tree-ssa-propagate.c (substitute_and_fold): Don't regard
3677         changes in debug stmts as changes.
3678         * sel-sched.c (moving_insn_creates_bookkeeping_block_p): New.
3679         (moveup_expr): Don't move across debug insns.  Don't move
3680         debug insn if it would create a bookkeeping block.
3681         (moveup_expr_cached): Don't use cache for debug insns that
3682         are heads of blocks.
3683         (compute_av_set_inside_bb): Skip debug insns.
3684         (sel_rank_for_schedule): Schedule debug insns first.  Remove
3685         dead code.
3686         (block_valid_for_bookkeeping_p); Support lax searches.
3687         (create_block_for_bookkeeping): Adjust block numbers when
3688         encountering debug-only blocks.
3689         (find_place_for_bookkeeping): Deal with debug-only blocks.
3690         (generate_bookkeeping_insn): Accept no place to insert.
3691         (remove_temp_moveop_nops): New argument full_tidying.
3692         (prepare_place_to_insert): Deal with debug insns.
3693         (advance_state_on_fence): Debug insns don't start cycles.
3694         (update_boundaries): Take fence as argument.  Deal with
3695         debug insns.
3696         (schedule_expr_on_boundary): No full_tidying on debug insns.
3697         (fill_insns): Deal with debug insns.
3698         (track_scheduled_insns_and_blocks): Don't count debug insns.
3699         (need_nop_to_preserve_insn_bb): New, split out of...
3700         (remove_insn_from_stream): ... this.
3701         (fur_orig_expr_not_found): Skip debug insns.
3702         * rtl.def (VALUE): Move up.
3703         (DEBUG_INSN): New.
3704         * tree-ssa-sink.c (all_immediate_uses_same_place): Skip debug stmts.
3705         (nearest_common_dominator_of_uses): Take debug_stmts argument.
3706         Set it if debug stmts are found.
3707         (statement_sink_location): Skip debug stmts.  Propagate
3708         moving defs into debug stmts.
3709         * ifcvt.c (first_active_insn): Skip debug insns.
3710         (last_active_insns): Likewise.
3711         (cond_exec_process_insns): Likewise.
3712         (noce_process_if_block): Likewise.
3713         (check_cond_move_block): Likewise.
3714         (cond_move_convert_if_block): Likewise.
3715         (block_jumps_and_fallthru_p): Likewise.
3716         (dead_or_predicable): Likewise.
3717         * dwarf2out.c (debug_str_hash_forced): New.
3718         (find_AT_string): Add comment.
3719         (gen_label_for_indirect_string): New.
3720         (get_debug_string_label): New.
3721         (AT_string_form): Use it.
3722         (mem_loc_descriptor): Handle non-TLS symbols.  Handle MINUS , DIV,
3723         MOD, AND, IOR, XOR, NOT, ABS, NEG, and CONST_STRING.  Accept but
3724         discard COMPARE, IF_THEN_ELSE, ROTATE, ROTATERT, TRUNCATE and
3725         several operations that cannot be represented with DWARF opcodes.
3726         (loc_descriptor): Ignore SIGN_EXTEND and ZERO_EXTEND.  Require
3727         dwarf_version 4 for DW_OP_implicit_value and DW_OP_stack_value.
3728         (dwarf2out_var_location): Take during-call mark into account.
3729         (output_indirect_string): Update comment.  Output if there are
3730         label and references.
3731         (prune_indirect_string): New.
3732         (prune_unused_types): Call it if debug_str_hash_forced.
3733         More in dwarf2out.c, from Jakub Jelinek <jakub@redhat.com>:
3734         (dw_long_long_const): Remove.
3735         (struct dw_val_struct): Change val_long_long type to rtx.
3736         (print_die, attr_checksum, same_dw_val_p, loc_descriptor): Adjust for
3737         val_long_long change to CONST_DOUBLE rtx from a long hi/lo pair.
3738         (output_die): Likewise.  Use HOST_BITS_PER_WIDE_INT size of each
3739         component instead of HOST_BITS_PER_LONG.
3740         (output_loc_operands): Likewise.  For const8* assert
3741         HOST_BITS_PER_WIDE_INT rather than HOST_BITS_PER_LONG is >= 64.
3742         (output_loc_operands_raw): For const8* assert HOST_BITS_PER_WIDE_INT
3743         rather than HOST_BITS_PER_LONG is >= 64.
3744         (add_AT_long_long): Remove val_hi and val_lo arguments, add
3745         val_const_double.
3746         (size_of_die): Use HOST_BITS_PER_WIDE_INT size multiplier instead of
3747         HOST_BITS_PER_LONG for dw_val_class_long_long.
3748         (add_const_value_attribute): Adjust add_AT_long_long caller.  Don't
3749         handle TLS SYMBOL_REFs.  If CONST wraps a constant, tail recurse.
3750         (dwarf_stack_op_name): Handle DW_OP_implicit_value and
3751         DW_OP_stack_value.
3752         (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
3753         Handle DW_OP_implicit_value.
3754         (extract_int): Move prototype earlier.
3755         (mem_loc_descriptor): For SUBREG punt if inner
3756         mode size is wider than DWARF2_ADDR_SIZE.  Handle SIGN_EXTEND
3757         and ZERO_EXTEND by DW_OP_shl and DW_OP_shr{a,}.  Handle
3758         EQ, NE, GT, GE, LT, LE, GTU, GEU, LTU, LEU, SMIN, SMAX, UMIN,
3759         UMAX, SIGN_EXTRACT, ZERO_EXTRACT.
3760         (loc_descriptor): Compare mode size with DWARF2_ADDR_SIZE
3761         instead of Pmode size.
3762         (loc_descriptor): Add MODE argument.  Handle CONST_INT, CONST_DOUBLE,
3763         CONST_VECTOR, CONST, LABEL_REF and SYMBOL_REF if mode != VOIDmode,
3764         attempt to handle other expressions.  Don't handle TLS SYMBOL_REFs.
3765         (concat_loc_descriptor, concatn_loc_descriptor,
3766         loc_descriptor_from_tree_1): Adjust loc_descriptor callers.
3767         (add_location_or_const_value_attribute): Likewise.  For single
3768         location loc_lists attempt to use add_const_value_attribute
3769         for constant decls.  Add DW_AT_const_value even if
3770         NOTE_VAR_LOCATION is VAR_LOCATION with CONSTANT_P or CONST_STRING
3771         in its expression.
3772         * cfgbuild.c (inside_basic_block_p): Handle debug insns.
3773         (control_flow_insn_p): Likewise.
3774         * tree-parloops.c (eliminate_local_variables_stmt): Handle debug stmt.
3775         (separate_decls_in_region_debug_bind): New.
3776         (separate_decls_in_region): Process debug bind stmts afterwards.
3777         * recog.c (verify_changes): Handle debug insns.
3778         (extract_insn): Likewise.
3779         (peephole2_optimize): Skip debug insns.
3780         * dse.c (scan_insn): Skip debug insns.
3781         * sel-sched-ir.c (return_nop_to_pool): Take full_tidying argument.
3782         Pass it on.
3783         (setup_id_for_insn): Handle debug insns.
3784         (maybe_tidy_empty_bb): Adjust whitespace.
3785         (tidy_control_flow): Skip debug insns.
3786         (sel_remove_insn): Adjust for debug insns.
3787         (sel_estimate_number_of_insns): Skip debug insns.
3788         (create_insn_rtx_from_pattern): Handle debug insns.
3789         (create_copy_of_insn_rtx): Likewise.
3790         * sel-sched-.h (sel_bb_end): Declare.
3791         (sel_bb_empty_or_nop_p): New.
3792         (get_all_loop_exits): Use it.
3793         (_eligible_successor_edge_p): Likewise.
3794         (return_nop_to_pool): Adjust.
3795         * tree-eh.c (tre_empty_eh_handler_p): Skip debug stmts.
3796         * ira-lives.c (process_bb_node_lives): Skip debug insns.
3797         * gimple-pretty-print.c (dump_gimple_debug): New.
3798         (dump_gimple_stmt): Use it.
3799         (dump_bb_header): Skip gimple debug stmts.
3800         * regmove.c (optimize_reg_copy_1): Discount debug insns.
3801         (fixup_match_2): Likewise.
3802         (regmove_backward_pass): Likewise.  Simplify combined
3803         replacement.  Handle debug insns.
3804         * function.c (instantiate_virtual_regs): Handle debug insns.
3805         * function.h (struct emit_status): Add x_cur_debug_insn_uid.
3806         * print-rtl.h: Include cselib.h.
3807         (print_rtx): Print VALUEs.  Split out and recurse for VAR_LOCATIONs.
3808         * df.h (df_inns_rescan_debug_internal): Declare.
3809         * gcse.c (alloc_hash_table): Estimate n_insns.
3810         (cprop_insn): Don't regard debug insns as changes.
3811         (bypass_conditional_jumps): Skip debug insns.
3812         (one_pre_gcse_pass): Adjust.
3813         (one_code_hoisting_pass): Likewise.
3814         (compute_ld_motion_mems): Skip debug insns.
3815         (one_cprop_pass): Adjust.
3816         * tree-if-conv.c (tree_if_convert_stmt): Reset debug stmts.
3817         (if_convertible_stmt_p): Handle debug stmts.
3818         * init-regs.c (initialize_uninitialized_regs): Skip debug insns.
3819         * tree-vect-loop.c (vect_is_simple_reduction): Skip debug stmts.
3820         * ira-build.c (create_bb_allocnos): Skip debug insns.
3821         * tree-flow-inline.h (has_zero_uses): Discount debug stmts.
3822         (has_single_use): Likewise.
3823         (single_imm_use): Likewise.
3824         (num_imm_uses): Likewise.
3825         * tree-ssa-phiopt.c (empty_block_p): Skip debug stmts.
3826         * tree-ssa-coalesce.c (build_ssa_conflict_graph): Skip debug stmts.
3827         (create_outofssa_var_map): Likewise.
3828         * lower-subreg.c (adjust_decomposed_uses): New.
3829         (resolve_debug): New.
3830         (decompose_multiword_subregs): Use it.
3831         * tree-dfa.c (find_referenced_vars): Skip debug stmts.
3832         * emit-rtl.c: Include params.h.
3833         (cur_debug_insn_uid): Define.
3834         (set_new_first_and_last_insn): Set cur_debug_insn_uid too.
3835         (copy_rtx_if_shared_1): Handle debug insns.
3836         (reset_used_flags): Likewise.
3837         (set_used_flags): LIkewise.
3838         (get_max_insn_count): New.
3839         (next_nondebug_insn): New.
3840         (prev_nondebug_insn): New.
3841         (make_debug_insn_raw): New.
3842         (emit_insn_before_noloc): Handle debug insns.
3843         (emit_jump_insn_before_noloc): Likewise.
3844         (emit_call_insn_before_noloc): Likewise.
3845         (emit_debug_insn_before_noloc): New.
3846         (emit_insn_after_noloc): Handle debug insns.
3847         (emit_jump_insn_after_noloc): Likewise.
3848         (emit_call_insn_after_noloc): Likewise.
3849         (emit_debug_insn_after_noloc): Likewise.
3850         (emit_insn_after): Take loc from earlier non-debug insn.
3851         (emit_jump_insn_after): Likewise.
3852         (emit_call_insn_after): Likewise.
3853         (emit_debug_insn_after_setloc): New.
3854         (emit_debug_insn_after): New.
3855         (emit_insn_before): Take loc from later non-debug insn.
3856         (emit_jump_insn_before): Likewise.
3857         (emit_call_insn_before): Likewise.
3858         (emit_debug_insn_before_setloc): New.
3859         (emit_debug_insn_before): New.
3860         (emit_insn): Handle debug insns.
3861         (emit_debug_insn): New.
3862         (emit_jump_insn): Handle debug insns.
3863         (emit_call_insn): Likewise.
3864         (emit): Likewise.
3865         (init_emit): Take min-nondebug-insn-uid into account.
3866         Initialize cur_debug_insn_uid.
3867         (emit_copy_of_insn_after): Handle debug insns.
3868         * cfgexpand.c (gimple_assign_rhs_to_tree): Do not overwrite
3869         location of single rhs in place.
3870         (maybe_dump_rtl_for_gimple_stmt): Dump lineno.
3871         (floor_sdiv_adjust): New.
3872         (cell_sdiv_adjust): New.
3873         (cell_udiv_adjust): New.
3874         (round_sdiv_adjust): New.
3875         (round_udiv_adjust): New.
3876         (wrap_constant): Moved from cselib.
3877         (unwrap_constant): New.
3878         (expand_debug_expr): New.
3879         (expand_debug_locations): New.
3880         (expand_gimple_basic_block): Drop hiding redeclaration.  Expand
3881         debug bind stmts.
3882         (gimple_expand_cfg): Expand debug locations.
3883         * cselib.c: Include tree-pass.h.
3884         (struct expand_value_data): New.
3885         (cselib_record_sets_hook): New.
3886         (PRESERVED_VALUE_P, LONG_TERM_PRESERVED_VALUE_P): New.
3887         (cselib_clear_table): Move, and implemnet in terms of...
3888         (cselib_reset_table_with_next_value): ... this.
3889         (cselib_get_next_unknown_value): New.
3890         (discard_useless_locs): Don't discard preserved values.
3891         (cselib_preserve_value): New.
3892         (cselib_preserved_value_p): New.
3893         (cselib_preserve_definitely): New.
3894         (cselib_clear_preserve): New.
3895         (cselib_preserve_only_values): New.
3896         (new_cselib_val): Take rtx argument.  Dump it in details.
3897         (cselib_lookup_mem): Adjust.
3898         (expand_loc): Take regs_active in struct.  Adjust.  Silence
3899         dumps unless details are requested.
3900         (cselib_expand_value_rtx_cb): New.
3901         (cselib_expand_value_rtx): Rename and reimplment in terms of...
3902         (cselib_expand_value_rtx_1): ... this.  Adjust.  Silence dumps
3903         without details.  Copy more subregs.  Try to resolve values
3904         using a callback.  Wrap constants.
3905         (cselib_subst_to_values): Adjust.
3906         (cselib_log_lookup): New.
3907         (cselib_lookup): Call it.
3908         (cselib_invalidate_regno): Don't count preserved values as useless.
3909         (cselib_invalidate_mem): Likewise.
3910         (cselib_record_set): Likewise.
3911         (struct set): Renamed to cselib_set, moved to cselib.h.
3912         (cselib_record_sets): Adjust.  Call hook.
3913         (cselib_process_insn): Reset table when it would be cleared.
3914         (dump_cselib_val): New.
3915         (dump_cselib_table): New.
3916         * tree-cfgcleanup.c (tree_forwarded_block_p): Skip debug stmts.
3917         (remove_forwarder_block): Support moving debug stmts.
3918         * cselib.h (cselib_record_sets_hook): Declare.
3919         (cselib_expand_callback): New type.
3920         (cselib_expand_value_rtx_cb): Declare.
3921         (cselib_reset_table_with_next_value): Declare.
3922         (cselib_get_next_unknown_value): Declare.
3923         (cselib_preserve_value): Declare.
3924         (cselib_preserved_value_p): Declare.
3925         (cselib_preserve_only_values): Declare.
3926         (dump_cselib_table): Declare.
3927         * cfgcleanup.c (flow_find_cross_jump): Skip debug insns.
3928         (try_crossjump_to_edge): Likewise.
3929         (delete_unreachable_blocks): Remove dominant GIMPLE blocks after
3930         dominated blocks when debug stmts are present.
3931         * simplify-rtx.c (delegitimize_mem_from_attrs): New.
3932         * tree-ssa-live.c (remove_unused_locals): Skip debug stmts.
3933         (set_var_liv