1 2009-09-22 Neil Vachharajani <nvachhar@google.com>
3 * testsuite/gcc.dg/pr40209.c: Add test case.
5 2009-09-22 Janis Johnson <janis187@us.ibm.com>
7 * config/i386/i386.c (ix86_scalar_mode_supported_p): Don't return
8 unconditional true for decimal float modes.
9 * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): Ditto.
10 * config/s390/s390.c (s390_scalar_mode_supported_p): Ditto.
12 2009-09-22 Loren J. Rittle <ljrittle@acm.org>
14 * unwind-dw2-fde-glibc.c: Define and use USE_PT_GNU_EH_FRAME.
15 Enable a new case for __FreeBSD__ >= 7.
16 * crtstuff.c: Define USE_PT_GNU_EH_FRAME for __FreeBSD__ >= 7.
17 * config/t-freebsd: Define LIB2ADDEH and LIB2ADDEHDEP.
18 * config/freebsd-spec.h: Conditionally define LINK_EH_SPEC
21 * doc/install.texi (*-*-freebsd*): Update target information.
23 2009-09-22 Richard Guenther <rguenther@suse.de>
26 * tree-dfa.c (get_ref_base_and_extent): Handle trailing
27 arrays really properly.
29 2009-09-22 Richard Henderson <rth@redhat.com>
32 * target.h (struct gcc_target): Add asm_out.trampoline_template,
33 calls.static_chain, calls.trampoline_init,
34 calls.trampoline_adjust_address.
35 * target-def.h (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
36 (TARGET_STATIC_CHAIN, TARGET_TRAMPOLINE_INIT): New.
37 (TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
38 * builtins.c (expand_builtin_setjmp_receiver): Use
39 targetm.calls.static_chain; only clobber registers.
40 (expand_builtin_init_trampoline): Use targetm.calls.trampoline_init;
41 set up memory attributes properly for the trampoline block.
42 (expand_builtin_adjust_trampoline): Use
43 targetm.calls.trampoline_adjust_address.
44 * calls.c (prepare_call_address): Add fndecl argument. Use
45 targetm.calls.static_chain.
46 * df-scan.c (df_need_static_chain_reg): Remove.
47 (df_get_entry_block_def_set): Use targetm.calls.static_chain;
48 consolodate static chain handling.
49 * doc/tm.texi: Document new hooks.
50 * emit-rtl.c (static_chain_rtx, static_chain_incoming_rtx): Remove.
51 (init_emit_regs): Don't initialize them.
52 * expr.h (prepare_call_address): Update decl.
53 * final.c (profile_function): Use targetm.calls.static_chain.
54 * function.c (expand_function_start): Likewise.
55 * rtl.h (static_chain_rtx, static_chain_incoming_rtx): Remove.
56 * stmt.c (expand_nl_goto_receiver): Use targetm.calls.static_chain;
57 only clobber registers.
58 * targhooks.c (default_static_chain): New.
59 (default_asm_trampoline_template, default_trampoline_init): New.
60 (default_trampoline_adjust_address): New.
61 * targhooks.h: Declare them.
62 * varasm.c (assemble_trampoline_template): Use
63 targetm.asm_out.trampoline_template. Make the memory block const
66 * config/alpha/alpha.c (alpha_trampoline_init): Rename from
67 alpha_initialize_trampoline. Make static. Merge VMS parameter
68 differences into the TARGET_ABI_OPEN_VMS code block.
69 (TARGET_TRAMPOLINE_INIT): New.
70 * config/alpha/alpha.h (TRAMPOLINE_TEMPLATE): Remove.
71 (TRAMPOLINE_SECTION, INITIALIZE_TRAMPOLINE): Remove.
72 * config/alpha/vms.h (TRAMPOLINE_SIZE, TRAMPOLINE_ALIGNMENT): Remove.
73 (INITIALIZE_TRAMPOLINE): Remove.
75 * config/arc/arc.h (TRAMPOLINE_ALIGNMENT): New.
76 (TRAMPOLINE_TEMPLATE): Merge with ...
77 (INITIALIZE_TRAMPOLINE): ... this and move ...
78 * config/arc/arc.c (arc_trampoline_init): ... here.
79 (TARGET_TRAMPOLINE_INIT): New.
81 * config/arm/arm.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
82 (TARGET_TRAMPOLINE_INIT, TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
83 (arm_asm_trampoline_template): New.
84 (arm_trampoline_init, arm_trampoline_adjust_address): New.
85 * config/arm/arm.h (TRAMPOLINE_TEMPLATE, ARM_TRAMPOLINE_TEMPLATE,
86 THUMB2_TRAMPOLINE_TEMPLATE, THUMB1_TRAMPOLINE_TEMPLATE): Move all
87 code to arm_asm_trampoline_template.
88 (TRAMPOLINE_ADJUST_ADDRESS): Move code to
89 arm_trampoline_adjust_address.
90 (INITIALIZE_TRAMPOLINE): Move code to arm_trampoline_init;
91 adjust for target hook parameters.
93 * config/avr/avr.h (TRAMPOLINE_TEMPLATE, INITIALIZE_TRAMPOLINE): Remove.
95 * config/bfin/bfin-protos.h (initialize_trampoline): Remove.
96 * config/bfin/bfin.c (bfin_asm_trampoline_template): New.
97 (bfin_trampoline_init): Rename from initialize_trampoline;
98 make static; update for target hook parameters.
99 (TARGET_ASM_TRAMPOLINE_TEMPLATE, TARGET_TRAMPOLINE_INIT): New.
100 * config/bfin/bfin.h (TRAMPOLINE_TEMPLATE): Move code to
101 bfin_asm_trampoline_template.
102 (INITIALIZE_TRAMPOLINE): Remove.
104 * config/cris/cris.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
105 TARGET_TRAMPOLINE_INIT, cris_asm_trampoline_template,
106 cris_trampoline_init): New.
107 * config/cris/cris.h (TRAMPOLINE_TEMPLATE): Move code to
108 cris_asm_trampoline_template.
109 (INITIALIZE_TRAMPOLINE): Move code to cris_trampoline_init;
110 adjust for target hook parameters.
112 * config/crx/crx.h (INITIALIZE_TRAMPOLINE): Remove.
114 * config/fr30/fr30.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
115 TARGET_TRAMPOLINE_INIT, fr30_asm_trampoline_template,
116 fr30_trampoline_init): New.
117 * config/fr30/fr30.h (TRAMPOLINE_TEMPLATE): Move code to
118 fr30_asm_trampoline_template.
119 (INITIALIZE_TRAMPOLINE): Move code to fr30_trampoline_init;
120 adjust for target hook parameters.
122 * config/frv/frv.c (TARGET_TRAMPOLINE_INIT): New.
123 (frv_trampoline_init): Rename from frv_initialize_trampoline;
124 make static, adjust arguments for TARGET_TRAMPOLINE_INIT hook.
125 * config/frv/frv.h (INITIALIZE_TRAMPOLINE): Remove.
126 * config/frv/frv-protos.h (frv_initialize_trampoline): Remove.
128 * config/h8300/h8300.c (h8300_trampoline_init): New.
129 (TARGET_TRAMPOLINE_INIT): New.
130 * config/h8300/h8300.h (INITIALIZE_TRAMPOLINE): Move code
131 to h8300_trampoline_init and adjust for hook parameters.
133 * config/ia64/ia64-protos.h (ia64_initialize_trampoline): Remove.
134 * config/ia64/ia64.c (TARGET_TRAMPOLINE_INIT): New.
135 (ia64_trampoline_init): Rename from ia64_initialize_trampoline;
136 make static; adjust for hook parameters.
137 * config/ia64/ia64.h (INITIALIZE_TRAMPOLINE): Remove.
139 * config/iq2000/iq2000.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
140 (TARGET_TRAMPOLINE_INIT): New.
141 (iq2000_asm_trampoline_template, iq2000_trampoline_init): New.
142 * config/iq2000/iq2000.h (TRAMPOLINE_TEMPLATE): Move code to
143 iq2000_asm_trampoline_template.
144 (INITIALIZE_TRAMPOLINE): Move code to iq2000_trampoline_init.
145 (TRAMPOLINE_CODE_SIZE): New.
146 (TRAMPOLINE_SIZE): Use it.
147 (TRAMPOLINE_ALIGNMENT): Follow Pmode.
149 * config/m32c/m32c-protos.h (m32c_initialize_trampoline): Remove.
150 * config/m32c/m32c.c (TARGET_TRAMPOLINE_INIT): New.
151 (m32c_trampoline_init): Rename from m32c_initialize_trampoline;
152 adjust for hook parameters.
153 * config/m32c/m32c.h (INITIALIZE_TRAMPOLINE): Remove.
155 * config/m32r/m32r.c (TARGET_TRAMPOLINE_INIT): New.
156 (m32r_trampoline_init): New.
157 * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Move code to
158 m32r_trampoline_init.
160 * config/m68hc11/m68hc11.c (TARGET_TRAMPOLINE_INIT): New.
161 (m68hc11_trampoline_init): Rename from m68hc11_initialize_trampoline;
162 make static; update for hook parameters.
163 * config/m68hc11/m68hc11-protos.h: Update.
164 * config/m68hc11/m68hc11.h (INITIALIZE_TRAMPOLINE): Remove.
166 * config/mcore/mcore.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
167 (TARGET_TRAMPOLINE_INIT): New.
168 (mcore_function_value): Fix typo.
169 (mcore_asm_trampoline_template, mcore_trampoline_init): New.
170 * config/mcore/mcore.h (TRAMPOLINE_TEMPLATE): Move code
171 to mcore_asm_trampoline_template.
172 (INITIALIZE_TRAMPOLINE): Move code to mcore_trampoline_init.
174 * config/mep/mep.h (INITIALIZE_TRAMPOLINE): Remove.
175 * config/mep/mep.c (TARGET_TRAMPOLINE_INIT): New.
176 (mep_trampoline_init): Rename from mep_init_trampoline; make static;
177 update for hook parameters.
178 * config/mep/mep-protos.h (mep_init_trampoline): Remove.
180 * config/mips/mips.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
181 mips_asm_trampoline_template, TARGET_TRAMPOLINE_INIT,
182 mips_trampoline_init): New.
183 * config/mips/mips.h (TRAMPOLINE_TEMPLATE): Move code to
184 mips_asm_trampoline_template.
185 (INITIALIZE_TRAMPOLINE): Move code to mips_trampoline_init;
186 update for hook parameters.
188 * gcc/config/mmix/mmix.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
189 (TARGET_TRAMPOLINE_INIT): New.
190 (mmix_trampoline_size): Remove.
191 (mmix_asm_trampoline_template): Rename from mmix_trampoline_template;
192 make static. Remove out-of-date tetra vs octa comment.
193 (mmix_trampoline_init): Rename from mmix_initialize_trampoline;
194 make static; update for hook parameters.
195 * config/mmix/mmix.h (TRAMPOLINE_TEMPLATE): Remove.
196 (INITIALIZE_TRAMPOLINE): Remove.
197 (TRAMPOLINE_SIZE): Use a constant instead of mmix_trampoline_size.
198 (TRAMPOLINE_ALIGNMENT): New.
199 * gcc/config/mmix/mmix-protos.h: Update.
201 * config/mn10300/mn10300.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
202 mn10300_asm_trampoline_template, TARGET_TRAMPOLINE_INIT,
203 mn10300_trampoline_init): New.
204 * config/mn10300/mn10300.h (TRAMPOLINE_TEMPLATE): Move code to
205 mn10300_asm_trampoline_template.
206 (INITIALIZE_TRAMPOLINE): Move code to mn10300_trampoline_init.
208 * config/moxie/moxie.c (moxie_static_chain,
209 moxie_asm_trampoline_template, moxie_trampoline_init,
210 TARGET_STATIC_CHAIN, TARGET_ASM_TRAMPOLINE_TEMPLATE,
211 TARGET_TRAMPOLINE_INIT): New.
212 * config/moxie/moxie.h (INITIALIZE_TRAMPOLINE): Move code to
213 moxie_trampoline_init.
214 (TRAMPOLINE_TEMPLATE): Move code to moxie_asm_trampoline_template.
215 (STATIC_CHAIN, STATIC_CHAIN_INCOMING): Remove.
217 * gcc/config/pa/pa.c (TARGET_ASM_TRAMPOLINE_TEMPLATE,
218 pa_asm_trampoline_template, TARGET_TRAMPOLINE_INIT,
219 pa_trampoline_init, TARGET_TRAMPOLINE_ADJUST_ADDRESS,
220 pa_trampoline_adjust_address): New.
221 * config/pa/pa.h (TRAMPOLINE_TEMPLATE): Move code to
222 pa_asm_trampoline_template.
223 (TRAMPOLINE_ALIGNMENT): New.
224 (TRAMPOLINE_CODE_SIZE): Move to pa.c.
225 (INITIALIZE_TRAMPOLINE): Move code to pa_trampoline_init;
226 adjust for hook parameters.
227 (TRAMPOLINE_ADJUST_ADDRESS): Move code to pa_trampoline_adjust_address.
229 * config/pdp11/pdp11.c (pdp11_trampoline_init): New.
230 (TARGET_TRAMPOLINE_INIT): New.
231 * config/pdp11/pdp11.h (TRAMPOLINE_TEMPLATE): Remove.
232 (INITIALIZE_TRAMPOLINE): Move code to pdp11_trampoline_init.
234 * config/picochip/picochip.h (INITIALIZE_TRAMPOLINE): Remove.
236 * config/rs6000/rs6000-protos.h (rs6000_initialize_trampoline): Remove.
237 * config/rs6000/rs6000.c (TARGET_TRAMPOLINE_INIT): New.
238 (rs6000_trampoline_init): Rename from rs6000_initialize_trampoline;
239 make static; adjust parameters for the hook.
240 * config/rs6000/rs6000.h (INITIALIZE_TRAMPOLINE): Remove.
242 * config/s390/s390.c (s390_asm_trampoline_template): Rename from
243 s390_trampoline_template; make static.
244 (s390_trampoline_init): Rename from s390_initialize_trampoline;
245 make static; adjust for target hook.
246 (TARGET_ASM_TRAMPOLINE_TEMPLATE, TARGET_TRAMPOLINE_INIT): New.
247 * config/s390/s390-protos.h: Remove trampoline decls.
248 * config/s390/s390.h (INITIALIZE_TRAMPOLINE): Remove.
249 (TRAMPOLINE_TEMPLATE): Remove.
250 (TRAMPOLINE_ALIGNMENT): New.
252 * config/score/score-protos.h (score_initialize_trampoline): Remove.
253 * config/score/score.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
254 (TARGET_TRAMPOLINE_INIT): New.
255 (score_asm_trampoline_template): New.
256 (score_trampoline_init): Rename from score_initialize_trampoline;
257 make static; adjust for hook parameters.
258 * config/score/score.h (TRAMPOLINE_TEMPLATE): Move code to
259 score[37]_asm_trampoline_template.
260 (INITIALIZE_TRAMPOLINE): Remove.
261 * config/score/score3.c (score3_asm_trampoline_template): New.
262 (score3_trampoline_init): Rename from score3_initialize_trampoline;
263 adjust for target hook.
264 * config/score/score7.c (score7_asm_trampoline_template): New.
265 (score7_trampoline_init): Rename from score7_initialize_trampoline;
266 adjust for target hook.
267 * config/score/score3.h, config/score/score7.h: Update.
269 * config/sh/sh-protos.h (sh_initialize_trampoline): Remove.
270 * config/sh/sh.c (TARGET_TRAMPOLINE_INIT): New.
271 (TARGET_TRAMPOLINE_ADJUST_ADDRESS): New.
272 (sh_trampoline_init): Rename from sh_initialize_trampoline;
273 make static; adjust for target hook parameters.
274 (sh_trampoline_adjust_address): New.
275 * config/sh/sh.h (INITIALIZE_TRAMPOLINE): New.
276 (TRAMPOLINE_ADJUST_ADDRESS): Move code to sh_trampoline_adjust_address.
278 * config/sparc/sparc.c (TARGET_TRAMPOLINE_INIT): New.
279 (sparc32_initialize_trampoline): Rename from
280 sparc_initialize_trampoline; make static; replace tramp parameter
281 with m_tramp and update memory accesses.
282 (sparc64_initialize_trampoline): Similarly.
283 (sparc_trampoline_init): New.
284 * config/sparc/sparc-protos.h: Remove trampoline decls.
285 * config/sparc/sparc.h (INITIALIZE_TRAMPOLINE): Remove.
286 * config/sparc/sparc.md (nonlocal_goto): Don't use static_chain_rtx.
288 * config/spu/spu.c (TARGET_TRAMPOLINE_INIT): New.
289 (array_to_constant): Make ARR parameter const.
290 (spu_trampoline_init): Rename from spu_initialize_trampoline;
291 make static; update for hook parameters.
292 * config/spu/spu-protos.h: Update decls.
293 * config/spu/spu.h (INITIALIZE_TRAMPOLINE): Remove.
295 * config/stormy16/stormy16.c (xstormy16_trampoline_init): Rename
296 from xstormy16_initialize_trampoline; make static; update for
298 (TARGET_TRAMPOLINE_INIT): New.
299 * config/stormy16/stormy16.h (INITIALIZE_TRAMPOLINE): Remove.
301 * config/v850/v850.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
302 (TARGET_TRAMPOLINE_INIT): New.
303 (v850_can_eliminate): Make static.
304 (v850_asm_trampoline_template, v850_trampoline_init): New.
305 * config/v850/v850.h (TRAMPOLINE_TEMPLATE): Move code to
306 v850_asm_trampoline_template.
307 (INITIALIZE_TRAMPOLINE): Move code to v850_trampoline_init
308 and adjust for target hook parameters.
310 * config/vax/vax.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
311 (TARGET_TRAMPOLINE_INIT): New.
312 (vax_asm_trampoline_template, vax_trampoline_init): New.
313 * config/vax/vax.h (TRAMPOLINE_TEMPLATE): Move code to
314 vax_asm_trampoline_template.
315 (INITIALIZE_TRAMPOLINE): Move code to vax_trampoline_init.
317 * config/xtensa/xtensa.c (TARGET_ASM_TRAMPOLINE_TEMPLATE): New.
318 (TARGET_TRAMPOLINE_INIT): New.
319 (xtensa_asm_trampoline_template): Rename from
320 xtensa_trampoline_template; make static.
321 (xtensa_trampoline_init): Rename from xtensa_initialize_trampoline;
322 make static; update for hook parameters.
323 * config/xtensa/xtensa-protos.h: Remove trampoline decls.
324 * config/xtensa/xtensa.h (TRAMPOLINE_TEMPLATE): Remove.
325 (INITIALIZE_TRAMPOLINE): Remove.
327 * config/i386/i386.c (ix86_function_regparm): Do not issue an
328 error for nested functions with regparm=3.
329 (ix86_compute_frame_layout): Adjust frame pointer offset for
330 ix86_static_chain_on_stack.
331 (ix86_expand_prologue): Handle ix86_static_chain_on_stack.
332 (ix86_emit_restore_reg_using_pop): Increment ix86_cfa_state->offset,
333 don't reset to UNITS_PER_WORD.
334 (ix86_emit_leave): Adjust ix86_cfa_state.
335 (ix86_expand_epilogue): Handle ix86_static_chain_on_stack.
336 (ix86_static_chain): New.
337 (ix86_trampoline_init): Rename from x86_initialize_trampoline;
338 make static; update for target hook parameters; use ix86_static_chain.
339 (TARGET_STATIC_CHAIN, TARGET_TRAMPOLINE_INIT): New.
340 * config/i386/i386.h (STATIC_CHAIN_REGNUM): Remove.
341 (INITIALIZE_TRAMPOLINE): Remove.
342 (TRAMPOLINE_SIZE): Use 24 for 64-bit.
343 (struct machine_function): Use BOOL_BITFIELD; rearrange bitfields
344 to the end. Add static_chain_on_stack.
345 (ix86_static_chain_on_stack): New.
347 * config/m68k/m68k.c (TARGET_TRAMPOLINE_INIT): New.
348 (m68k_output_mi_thunk): Don't use static_chain_rtx.
349 (m68k_trampoline_init): New.
350 * config/m68k/m68k.h (INITIALIZE_TRAMPOLINE): Move code to
351 m68k_trampoline_init and adjust for hook parameters.
352 * config/m68k/netbsd-elf.h (TRAMPOLINE_TEMPLATE): Remove.
353 (TRAMPOLINE_SIZE, INITIALIZE_TRAMPOLINE): Remove.
355 2009-09-22 Jakub Jelinek <jakub@redhat.com>
357 * config/rs6000/rs6000.c (bdesc_2arg): Fix CODE_FOR_vector_gt* codes
358 for __builtin_altivec_vcmpgt{sb,uh,sh,uw}.
360 * reload1.c (reload): Call wrap_constant when substituting
361 reg for equiv inside of DEBUG_INSNs.
364 * dwarf2out.c (base_type_die, record_type_tag, gen_subprogram_die,
365 add_call_src_coords_attributes, add_high_low_attributes,
366 gen_compile_unit_die, gen_type_die_with_usage force_decl_die,
367 gen_decl_die, dwarf2out_imported_module_or_decl_1, dwarf2out_finish,
368 dwarf2out_imported_module_or_decl): Avoid using DWARF3 additions
369 when -gdwarf-2 -gstrict-dwarf.
370 (loc_list_from_tree): Likewise. Avoid using DWARF4 additions when
371 -gdwarf-[23] -gstrict-dwarf.
372 (address_of_int_loc_descriptor, loc_descriptor,
373 loc_list_for_address_of_addr_expr_of_indirect_ref): Avoid using
374 DWARF4 additions when -gdwarf-[23] -gstrict-dwarf.
375 * common.opt (gno-strict-dwarf, gstrict-dwarf): New options.
377 2009-09-22 Richard Guenther <rguenther@suse.de>
379 PR tree-optimization/41428
380 * tree-ssa-ccp.c (ccp_fold_stmt): New function.
381 (ccp_finalize): Pass it to substitute_and_fold.
383 2009-09-22 Richard Guenther <rguenther@suse.de>
385 * tree-ssa-propagate.h (ssa_prop_fold_stmt_fn): Declare.
386 (substitute_and_fold): Adjust prototype.
387 * tree-vrp.c (vrp_evaluate_conditional): Make static.
388 (simplify_stmt_using_ranges): Likewise.
389 (fold_predicate_in): Move here from tree-ssa-propagate.c.
390 (vrp_fold_stmt): New function.
391 (vrp_finalize): Pass it to substitute_and_fold.
392 * tree-flow.h (vrp_evaluate_conditional): Remove.
393 (simplify_stmt_using_ranges): Likewise.
394 * tree-ssa-ccp.c (ccp_finalize): Adjust call to substitute_and_fold.
395 * tree-ssa-copy.c (fini_copy_prop): Likewise.
396 * tree-ssa-propagate.c (struct prop_stats_d): Rename num_pred_folded
398 (fold_predicate_in): Move to tree-vrp.c.
399 (substitute_and_fold): Use the callback instead of calling into
400 tree-vrp.c functions directly.
402 2009-09-22 Jakub Jelinek <jakub@redhat.com>
404 * dwarf2out.c (address_of_int_loc_descriptor): Avoid signed/unsigned
405 comparison warning on rs6000.
408 * tree-cfg.c (remove_useless_stmts_tc): Call gsi_next (gsi) even for
409 GIMPLE_EH_MUST_NOT_THROW cleanup.
410 (verify_types_in_gimple_stmt): Handle GIMPLE_EH_MUST_NOT_THROW.
412 2009-09-22 Jack Howarth <howarth@bromo.med.uc.edu>
415 * gcc/config.gcc: Use darwin9.h and darwin10.h on darwin10 and later.
416 * gcc/config/darwin10.h: Add file to pass -no_compact_unwind on
417 LIB_SPEC for darwin10 and later since it always uses the unwinder in
418 libSystem which is derived from the gcc 4.2.1 unwinder.
420 2009-09-22 Dave Korn <dave.korn.cygwin@gmail.com>
423 * varasm.c (default_encode_section_info): Copy TLS model into
424 sym_ref flags regardless of backend support for TLS, for all
425 model types except TLS_MODEL_EMULATED.
427 2009-09-22 Dave Korn <dave.korn.cygwin@gmail.com>
430 * dwarf2out.c (mem_loc_descriptor): Punt on CONST_STRING until
431 we can handle it correctly.
433 2009-09-21 Gerald Pfeifer <gerald@pfeifer.com>
435 * doc/install.texi (os2): Remove section.
437 2009-09-21 Gerald Pfeifer <gerald@pfeifer.com>
439 * doc/standards.texi (Objective-C): Adjust two URLs.
441 2009-09-21 Giuseppe Scrivano <gscrivano@gnu.org>
443 * tree-tailcall.c (process_assignment): Don't check if a multiplication
444 or an addition are already present.
445 (find_tail_calls): Combine multiple additions and multiplications.
446 (adjust_accumulator_values): Emit accumulators.
448 2009-09-21 Kai Tietz <kai.tietz@onevision.com>
450 * config/i386/i386.c (ix86_expand_epilogue): Adjust offset for
451 xmm register restore.
453 2009-09-21 Jan Hubicka <jh@suse.cz>
455 * dwarf2out.c (decl_loc_table_eq): Allow decl_loc_table to be NULL.
456 (dwarf2out_abstract_function): NULLify decl_loc_table at begginig and
459 2009-09-21 Eric Botcazou <ebotcazou@adacore.com>
461 * stor-layout.c (layout_type): Remove obsolete code.
463 2009-09-20 H.J. Lu <hongjiu.lu@intel.com>
466 * opts.c (decode_options): Don't turn on flag_ipa_sra for opt2.
468 2009-09-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
471 * builtins.c (do_mpc_arg2): Accept DO_NONFINITE parameter.
472 (do_mpc_ckconv): Accept FORCE_CONVERT parameter.
473 (fold_builtin_2, do_mpc_arg1): Update accordingly.
474 * fold-const.c (const_binop): Likewise.
475 * real.h (do_mpc_arg2): Update prototype.
477 2009-09-20 Jan Hubicka <jh@suse.cz>
479 * dwarf2out.c (add_const_value_attribute): Return true if successful.
480 (add_location_or_const_value_attribute): Rewrite using loc_list_from_tree.
481 (tree_add_const_value_attribute): Return true if successful.
482 (tree_add_const_value_attribute_for_decl): Likewise.
484 * dwarf2out.c (address_of_int_loc_descriptor): Break out from ...
485 (loc_descriptor): ... here;
486 (loc_list_for_address_of_addr_expr_of_indirect_ref): New function.
487 (cst_pool_loc_descr): Break out from ...; do not reffer constant
488 pool items that was not marked for output.
489 (loc_list_from_tree): ... here; handle special cases of ADDR_EXPR;
490 (loc_list_for_address_of_addr_expr_of_indirect_ref): New function.
491 (loc_list_for_address_of_addr_expr_of_indirect_ref): New function.
492 handle ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, REALPART_EXPR,
493 IMAGPART_EXPR; handle address of INTEGER_CST; improve handling of
494 CONSTRUCTOR; handle REAL_CST, STRING_CST, COMPLEX_CST; use
495 DW_OP_stack_value to get address of items that are not available
497 (dw_loc_list): Handle single element lists correctly.
499 2009-09-20 Kai Tietz <kai.tietz@onevision.com>
500 Pascal Obry <obry@adacore.com>
502 * unwind-dw2-fde.c (classify_object_over_fdes):
503 Cast the constant 1 to _Unwind_Ptr.
504 (add_fdes): Likewise.
505 (linear_search_fdes): Likewise.
507 2009-09-20 Eric Botcazou <ebotcazou@adacore.com>
509 * stor-layout.c (set_sizetype): Avoid useless type copy.
511 2009-09-20 Richard Sandiford <rdsandiford@googlemail.com>
513 * configure.ac (gcc_cv_ld_mips_personality_relaxation): New
515 (HAVE_LD_PERSONALITY_RELAXATION): New macro definition.
516 * configure, config.in: Regenerate.
517 * dwarf2asm.c (eh_data_format_name): Handle DW_EH_PE_indirect |
519 * config/mips/mips.h (TARGET_WRITABLE_EH_FRAME): New macro.
520 (ASM_PREFERRED_EH_DATA_FORMAT): Define. Use MIPS_EH_INDIRECT
521 for global data if the output could be used in a shared library.
522 * config/mips/mips.c (mips_override_options): Set flag_dwarf2_cfi_asm
523 to 0 if TARGET_WRITABLE_EH_FRAME.
525 2009-09-20 Paolo Bonzini <bonzini@gnu.org>
527 PR rtl-optimization/39886
528 * combine.c (update_cfg_for_uncondjump): Set EDGE_FALLTHRU
529 just when insn is equal to BB_END (bb).
531 2009-09-19 Adam Nemet <anemet@caviumnetworks.com>
533 * config/mips/mips.opt (mrelax-pic-calls): New option.
534 * config/mips/mips.c (mips_strip_unspec_address): Move it up in
536 (mips_unspec_call): Change "unspec_call" expander into this.
537 (mips_strip_unspec_call): New function.
538 (mips_got_load): Call mips_unspec_call instead of
539 gen_unspec_call<mode>.
540 (mips16_build_call_stub): Fix comment for fp_code. Adjust call to
542 (mips_cfg_in_reorg): New function.
543 (mips16_lay_out_constants): Use it to decide whether to call
544 CFG-aware insn splitting.
545 (r10k_insert_cache_barriers): Move CFG set-up code from here to
546 mips_reorg. Move DF set-up code from here ...
547 (mips_df_reorg): ... to here. Call r10k_insert_cache_barriers
549 (mips_reorg): Call mips_df_reorg instead of
550 r10k_insert_cache_barriers. Move CFG set-up code here from
551 r10k_insert_cache_barriers.
552 (mips_call_expr_from_insn): New function.
553 (mips_pic_call_symbol_from_set): Likewise.
554 (mips_find_pic_call_symbol): Likewise.
555 (mips_annotate_pic_call_expr): Likewise.
556 (mips_get_pic_call_symbol): Likewise.
557 (mips_annotate_pic_calls): Likewise.
558 (mips_override_options): Disable -mrelax-pic-calls unless PIC
560 (mips_set_mips16_mode): Disable -mrelax-pic-calls for MIPS16.
561 * config/mips/mips-protos.h (mips_get_pic_call_symbol): Declare it.
562 * config/mips/mips.h (MIPS_CALL): Use it to print the .reloc
564 * config/mips/mips.md (UNSPEC_CALL_ATTR): New unspec.
565 (unspec_call<mode>): Remove it.
566 (sibcall_internal, sibcall_value_internal,
567 sibcall_value_multiple_internal, call_internal, call_split,
568 call_value_internal, call_value_split,
569 call_value_multiple_internal, call_value_multiple_split): Pass
570 SIZE_OPNO to MIPS_CALL.
571 (call_internal_direct, call_direct_split,
572 call_value_internal_direct, call_value_direct_split): Pass -1 as
573 SIZE_OPNO to MIPS_CALL.
574 * configure.ac <mips*-*-*>: Add test for .reloc R_MIPS_JALR.
575 * configure: Regenerate.
576 * doc/invoke.texi (Option Summary): Add -mrelax-pic-calls
577 and -mno-relax-pic-calls.
578 (MIPS Options): Document -mrelax-pic-calls
579 and -mno-relax-pic-calls.
581 2009-09-19 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
584 * Makefile.in (stmp-fixinc): Ensure `include-fixed' is created
585 in the directory this rule is called from, rather than the
586 toplevel 'gcc' directory, to fix in-tree build.
588 2009-09-19 Chris Demetriou <cgd@google.com>
590 PR preprocessor/28435:
591 * c-opts.c (c_common_handle_option): For -MD and -MMD, indicate
592 to cpplib that the preprocessor output is needed.
594 2009-09-19 Jakub Jelinek <jakub@redhat.com>
596 * config/rs6000/rs6000.md (*save_gpregs_<mode>, *save_fpregs_<mode>,
597 *restore_gpregs_<mode>, *return_and_restore_gpregs_<mode>,
598 *return_and_restore_fpregs_<mode>,
599 *return_and_restore_fpregs_aix_<mode>): Remove 'z' operand modifier.
602 * dwarf2out.c (mem_loc_descriptor) <case SUBREG>: Recurse
603 instead of assuming it has always a REG inside of it.
605 2009-09-18 Gerald Pfeifer <gerald@pfeifer.com>
607 * config/freebsd.h: Update comment on types.
610 2009-09-18 Jason Merrill <jason@redhat.com>
612 * c.opt: Add -fno-deduce-init-list.
614 2009-09-18 Neil Vachharajani <nvachhar@google.com>
616 * value-prof.c (interesting_stringop_to_profile_p): Added output
617 argument to indicate which parameter is the size parameter.
618 * value-prof.c (gimple_stringop_fixed_value): Use
619 INTERESTING_STRINGOP_TO_PROFILE_P to find size argument.
620 * value-prof.c (gimple_stringops_transform): Update call sites to
621 INTERESTING_STRINGOP_TO_PROFILE_P to reflect parameter change.
622 * testsuite/gcc.dg/tree-prof/val-prof-7.c: Added test case.
624 2009-09-18 Uros Bizjak <ubizjak@gmail.com>
627 From David Binderman <dcb314@hotmail.com>:
628 * gcc/config/i386/i386.c (ix86_function_regparm): Remove useless
629 local variable f. Remove stale comments.
630 (ix86_compute_frame_layout): Remove useless local variable total_size.
632 (legitimate_address_p): Remove useless local variables
633 reason_rtx and reason.
634 (ix86_split_copysign_const): Remove useless local variable op1.
635 (scale_counter): Remove useless local variable piece_size_mask.
637 2009-09-18 Jakub Jelinek <jakub@redhat.com>
639 * stmt.c (expand_asm_operands): Set REG_ATTRS on the temporary from
642 2009-09-17 Michael Haubenwallner <michael.haubenwallner@salomon.at>
645 * config/pa/t-hpux-shlib: Set soname in libgcc_s.sl.
647 2009-09-17 Jakub Jelinek <jakub@redhat.com>
649 * c-decl.c (finish_struct): Adjust DECL_SOURCE_LOCATION of
652 2009-09-17 Alexandre Oliva <aoliva@redhat.com>
654 * dwarf2out.c (loc_descriptor): Emit DW_OP_stack_value and
655 DW_OP_implicit_value even without dwarf_version 4.
657 2009-09-17 Jan Hubicka <jh@suse.cz>
659 * dwarf2out.c: Include tree-pass.h and gimple.h.
660 (loc_list_plus_const): New function.
661 (loc_descriptor_from_tree_1): Rename to ...
662 (loc_descriptor_from_tree): ... remove original.
663 (loc_list_from_tree): New function.
664 (add_AT_location_description): Accept location list.
665 (tls_mem_loc_descriptor): Update call of loc_descriptor_from_tree.
666 (concatn_mem_loc_descriptor): Remove.
667 (mem_loc_descriptor): Handle CONCAT/CONCATN and VAR_LOCATION by
669 (secname_for_decl): Move up.
670 (hidden_reference_p): New function; break out from ...
671 (loc_by_refernece): ... here; move up.
672 (dw_loc_list): New function.
673 (single_element_loc_list): New function.
674 (single_element_loc_list_p): New function.
675 (add_loc_descr_to_each): New function.
676 (add_loc_list): New function.
677 (loc_descr_from_tree): Make wraper of loc_list_from_tree.
678 (loc_list_from_tree): Reroganized from loc_descr_from_tree;
679 add diagnostics why expansion failed.
680 (add_location_or_const_value_attribute): Support location lists.
681 (add_bound_info): Likewise.
682 (descr_info_loc): Update call of loc_descriptor_from_tree.
683 (gen_variable_die): Work on location lists.
684 * final.c (pass_final): Add dump file.
685 * Makefile.in (dwarf2out.o): Add new dependencies.
687 2009-09-17 Janis Johnson <janis187@us.ibm.com>
690 * real.c decimal_from_integer, decimal_integer_string): New.
691 (real_from_integer): Use them as special case for decimal float.
692 * config/dfp-bit.c (_si_to_sd, _usi_to_sd): Use default rounding.
693 (_di_to_sd, _di_to_dd, _di_to_td, _udi_to_sd, _udi_to_dd, _udi_to_td):
694 Do not append zero after the decimal point in string to convert.
696 2009-09-17 Alexander Monakov <amonakov@ispras.ru>
698 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Add bounds only
699 for ARRAY_REFs. Use array_ref_{low,up}_bound to determine bounds.
701 2009-09-17 Martin Jambor <mjambor@suse.cz>
703 * common.opt (fipa-sra): New switch.
704 * opts.c (decode_options): Turn flag_ipa_sra on for opt2.
705 * timevar.def (TV_IPA_SRA): New timevar.
706 * params.def (ipa-sra-ptr-growth-factor): New parameter.
707 * doc/invoke.texi: Document -fipa-sra and ipa-sra-ptr-growth-factor.
708 * tree-sra.c: Include cgraph.c.
709 (enum sra_mode): Added SRA_MODE_EARLY_IPA.
710 (struct access): Added fields stmt, grp_maybe_modified, grp_scalar_ptr
711 and grp_not_necessarilly_dereferenced.
712 (func_param_count): New variable.
713 (encountered_apply_args): New variable.
714 (bb_dereferences): New variable.
715 (final_bbs): New variable.
716 (no_accesses_representant): New variable.
717 (no_accesses_p): New function.
718 (dump_access): Dump the new fields.
719 (sra_initialize): Set encountered_apply_args to false.
720 (get_ssa_base_param): New function.
721 (mark_parm_dereference): New function.
722 (create_access): Caring for INIDRECT_REFs and different handling of
723 varialble length accesses in early IPA SRA. Store the stmt - a new
724 parameter - to the new access.
725 (build_access_from_expr_1): New parameter stmt, passed to
726 create_access. Handle INDIRECT_REFs.
727 (build_access_from_expr): Pass the current statement to
728 build_access_from_expr_1.
729 (disqualify_ops_if_throwing_stmt): Trigger only in intraprocedural
731 (build_accesses_from_assign): Pass the current statement to
732 build_access_from_expr_1. Do not create assign links in IPA-SRA.
733 (scan_function): Call handle_ssa_defs on phi nodes. Set bits in
734 final_bbs when necessary. Check for calls to __builtin_apply_args.
735 Fixup EH info if anythng was changed.
736 (is_unused_scalar_param): New function.
737 (ptr_parm_has_direct_uses): New function.
738 (find_param_candidates): New function.
739 (mark_maybe_modified): New function.
740 (analyze_modified_params): New function.
741 (propagate_dereference_distances): New function.
742 (dump_dereferences_table): New function.
743 (analyze_caller_dereference_legality): New function.
744 (unmodified_by_ref_scalar_representative): New function.
745 (splice_param_accesses): New function.
746 (decide_one_param_reduction): New function.
747 (enum ipa_splicing_result): New type.
748 (splice_all_param_accesses): New function.
749 (get_param_index): New function.
750 (turn_representatives_into_adjustments): New function.
751 (analyze_all_param_acesses): New function.
752 (get_replaced_param_substitute): New function.
753 (get_adjustment_for_base): New function.
754 (replace_removed_params_ssa_names): New function.
755 (sra_ipa_reset_debug_stmts): New function.
756 (sra_ipa_modify_expr): New function.
757 (sra_ipa_modify_assign): New function.
758 (convert_callers): New function.
759 (modify_function): New function.
760 (ipa_sra_preliminary_function_checks): New function.
761 (ipa_early_sra): New function.
762 (ipa_early_sra_gate): New function.
763 (pass_early_ipa_sra): New variable.
764 * Makefile.in (tree-sra.o): Add cgraph.h to dependencies.
766 2009-09-17 Michael Matz <matz@suse.de>
769 * tree.c (build_type_attribute_qual_variant): Export.
770 * tree.h (build_type_attribute_qual_variant): Declare.
771 * tree-inline.c (remap_type_1): Use it to build variants with
772 the original qualifiers and attributes.
774 2009-09-17 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
776 * cfglayout.c (fixup_reorder_chain): Accept conditional jumps
777 without a fallthrough edge.
779 2009-09-16 DJ Delorie <dj@redhat.com>
781 * config/m32c/m32c.c (m32c_emit_epilogue): Check for R8C or M16C
782 chip and ignore the "fast_interrupt" attribute if so.
784 2009-09-16 Richard Henderson <rth@redhat.com>
787 * cfgbuild.c (find_bb_boundaries): Really re-instate 2009-09-02
790 2009-09-16 Richard Henderson <rth@redhat.com>
793 * tree-cfg.c (verify_gimple_call): Validate that gimple_call_chain
794 is set only if DECL_NO_STATIC_CHAIN is unset.
795 * tree-nested.c (iter_nestinfo_start, iter_nestinfo_next): New.
796 (FOR_EACH_NEST_INFO): New.
797 (walk_all_functions): Use it.
798 (finalize_nesting_tree): Likewise.
799 (unnest_nesting_tree): Likewise.
800 (free_nesting_tree): Use iter_nestinfo_start, iter_nestinfo_next.
801 (get_chain_decl, get_chain_field): Reset DECL_NO_STATIC_CHAIN.
802 (convert_gimple_call): Early out if gimple_call_chain already set.
803 (convert_all_function_calls): Iterate until no new functions
804 require a static chain.
805 (finalize_nesting_tree_1): Assert DECL_NO_STATIC_CHAIN is unset
806 when building a trampoline. Use dump_function_to_file instead
808 (lower_nested_functions): Open dump_file. Validate that decls
809 that have DECL_NO_STATIC_CHAIN from the front end don't have that
810 bit reset by this pass.
812 2009-09-16 Michael Matz <matz@suse.de>
815 * tree.h (struct tree_decl_common): Add decl_restricted_flag,
816 shorten decl_common_unused.
817 (DECL_RESTRICTED_P): New accessor.
818 * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Use it
819 to disambiguate marked decls and restrict pointers.
821 2009-09-16 Richard Henderson <rth@redhat.com>
824 * cfgbuild.c (find_bb_boundaries): Re-instate 2009-09-02 barrier fix.
826 2009-09-16 Jakub Jelinek <jakub@redhat.com>
828 * integrate.c (set_block_abstract_flags): Call
829 set_decl_abstract_flags also on BLOCK_NONLOCALIZED_VARs.
831 2009-09-16 Richard Guenther <rguenther@suse.de>
834 * tree-flow-inline.h (may_be_aliased): Compute readonly variables
837 2009-09-16 DJ Delorie <dj@redhat.com>
838 Kaz Kojima <kkojima@gcc.gnu.org>
840 * config/sh/sh.c (output_stack_adjust): Add new argument frame_p.
841 (sh_expand_prologue): Update calls to output_stack_adjust.
842 (sh_expand_epilogue): Likewise.
844 2009-09-15 Adam Nemet <anemet@caviumnetworks.com>
847 * reorg.c (redundant_insn): Don't count notes or DEBUG_INSNs when
848 trying to limit the extent of searches in the insn stream.
850 2009-09-15 Nathan Froyd <froydnj@codesourcery.com>
851 Jakub Jelinek <jakub@redhat.com>
855 * config/rs6000/rs6000.c (no_global_regs_above): Fix precedence
857 (SAVRES_NOINLINE_GPRS_SAVES_LR, SAVRES_NOINLINE_FPRS_SAVES_LR,
858 SAVRES_NOINLINE_FPRS_DOESNT_RESTORE_LR): New strategy bits.
859 (rs6000_savres_strategy): Always save FP registers inline if the
860 target doesn't support hardware double-precision. Set the above
861 bits in return value when needed.
862 (rs6000_savres_routine_sym): Fix computation for cache selector.
863 Mark the generated symbol as a function. Rename exitp argument to
864 lr. Move code for determining the name of the symbol...
865 (rs6000_savres_routine_name): ...here. New function. Add cases for
866 getting the names right on AIX and 64-bit Linux.
867 (savres_routine_name): New variable.
868 (rs6000_make_savres_rtx): Rename exitp argument to lr. Don't assert
869 lr isn't set when savep. Use r12 resp. r1 instead of r11 depending
870 on what the target routine uses as a base register. If savep && lr
871 describe saving of r0 into memory slot.
872 (rs6000_emit_prologue): Correct use of call_used_regs. Fix out of
873 line calls for AIX ABI.
874 (rs6000_output_function_prologue): Use rs6000_savres_routine_name to
875 determine FP save/restore functions.
876 (rs6000_emit_stack_reset): Handle savres if sp_offset != 0 and
877 frame_reg_rtx != sp_reg_rtx. Use gen_add3_insn instead of
879 (rs6000_emit_epilogue): Adjust computation of restore_lr.
880 Duplicate restoration of LR and execute the appropriate one
881 depending on whether GPRs are being restored inline. Set r11 from
882 offsetted frame_reg_rtx instead of sp_reg_rtx; if frame_reg_rtx is
883 r11, adjust sp_offset. Use gen_add3_insn instead of gen_addsi3.
884 Fix out of line calls for AIX ABI.
885 * config/rs6000/rs6000.md (*return_and_restore_fpregs_aix_<mode>):
887 * config/rs6000/spe.md (*save_gpregs_spe): Use explicit match for
889 (*restore_gpregs_spe): Likewise.
890 (*return_and_restore_gpregs_spe): Likewise.
891 * config/rs6000/linux64.h (SAVE_FP_SUFFIX, RESTORE_FP_SUFFIX):
892 Define to empty string unconditionally.
893 * config/rs6000/sysv4.h (SAVE_FP_SUFFIX, RESTORE_FP_SUFFIX):
894 Define to empty string unconditionally.
895 (GP_SAVE_INLINE, FP_SAVE_INLINE): Handle TARGET_64BIT the same as
898 2009-09-15 Jan Hubicka <jh@suse.cz>
900 * doc/invoke.texi (inline-insns-auto): Drop from 60 to 50.
901 * params.def (inline-insns-auto): Likewise.
903 2009-09-15 Martin Jambor <mjambor@suse.cz>
905 * ipa-inline.c (estimate_function_body_sizes): Dump info about
906 individual statements only at TDF_DETAILS dump level. Format
907 source for 80 characters per line.
909 2009-09-15 Christian Bruel <christian.bruel@st.com>
911 * regrename.c (do_replace): Update REG_DEAD notes.
913 2009-09-15 Revital Eres <eres@il.ibm.com>
915 * doc/tm.texi (TARGET_SUPPORT_VECTOR_MISALIGNMENT): Document.
916 * targhooks.c (default_builtin_support_vector_misalignment):
917 New builtin function.
918 * targhooks.h (default_builtin_support_vector_misalignment):
920 * target.h (builtin_support_vector_misalignment):
921 New field in struct gcc_target.
922 * tree-vect-data-refs.c (vect_supportable_dr_alignment): Call
923 new builtin function.
924 * target-def.h (TARGET_SUPPORT_VECTOR_MISALIGNMENT):
926 * config/rs6000/rs6000.c
927 (rs6000_builtin_support_vector_misalignment): New function.
928 (TARGET_SUPPORT_VECTOR_MISALIGNMENT): Define.
930 2009-09-15 Jie Zhang <jie.zhang@analog.com>
932 * config/bfin/bfin.c (length_for_loop): Use NONDEBUG_INSN_P
934 (bfin_optimize_loop): Likewise.
935 (bfin_gen_bundles): Likewise.
936 (workaround_speculation): Likewise.
937 (find_load): Return NULL_RTX for debug_insn.
939 2009-09-15 Uros Bizjak <ubizjak@gmail.com>
941 * config/alpha/alpha.md (smaxsf3): Disable for IEEE mode.
944 2009-09-14 DJ Delorie <dj@redhat.com>
946 * config/mep/mep.h (JUMP_TABLES_IN_TEXT_SECTION): Define.
947 * config/mep/mep.c (mep_emit_cbranch): Don't use BEQZ/BNEI in
950 2009-09-14 Richard Henderson <rth@redhat.com>
951 Jakub Jelinek <jakub@redhat.com>
953 * builtins.c (expand_builtin_synchronize): Use gimple_build_asm_vec.
954 * cfgbuild.c (make_edges): Handle asm goto.
955 * cfglayout.c (fixup_reorder_chain): Likewise.
956 * cfgrtl.c (patch_jump_insn): Likewise.
957 * gimple-pretty-print.c (dump_gimple_asm): Likewise.
958 * gimple.c (gimple_build_asm_1): Add and use nlabels parameter.
959 (gimple_build_asm_vec): Add and use labels parameter.
960 (gimple_build_asm): Remove.
961 (walk_gimple_asm): Walk labels too.
962 * gimple.def (GIMPLE_ASM): Update docs.
963 * gimple.h: Update decls.
964 (struct gimple_statement_asm): Change nc to use unsigned char;
966 (gimple_asm_nlabels): New.
967 (gimple_asm_label_op, gimple_asm_set_label_op): New.
968 * gimplify.c (gimplify_asm_expr): Copy labels from ASM_EXPR
969 into gimple_build_asm_vec.
970 * jump.c (mark_jump_label_asm): New.
971 (mark_jump_label): Use it.
972 (redirect_jump_1): Handle asm goto.
973 (invert_jump_1): Soft fail if X is null.
974 * recog.c (extract_asm_operands): New.
975 (asm_noperands): Use it; handle asm labels.
976 (decode_asm_operands): Use extract_asm_operands.
977 (asm_operand_ok): Properly handle empty string.
978 * reg-stack.c (get_asm_operands_in_out): Rename from
979 get_asm_operand_n_inputs; use extract_asm_operands; return both
980 inputs and outputs by reference; update all callers.
981 * rtl.def (ASM_OPERANDS): Add label vector as operand 6.
982 * rtl.h (ASM_OPERANDS_LABEL_VEC): New.
983 (ASM_OPERANDS_LABEL_LENGTH, ASM_OPERANDS_LABEL): New.
984 (ASM_OPERANDS_SOURCE_LOCATION): Renumber.
985 (extract_asm_operands): Declare.
986 * stmt.c (expand_asm_operands): Add and use labels parameter.
987 (check_unique_operand_names): Likewise.
988 (resolve_asm_operand_names, resolve_operand_name_1): Likewise.
989 (expand_asm_stmt): Handle asm labels.
990 * tree-cfg.c (make_gimple_asm_edges): New.
991 (make_edges): Use it.
992 (cleanup_dead_labels): Handle asm labels.
993 (is_ctrl_altering_stmt): Likewise.
994 (gimple_redirect_edge_and_branch): Likewise.
995 * tree.def (ASM_EXPR): Add 5th operand.
996 * tree.h (ASM_LABELS): New.
997 (resolve_asm_operand_names): Update decl.
999 * c-parser.c (c_parser_asm_statement): Parse asm goto.
1000 (c_parser_asm_goto_operands): New.
1001 * c-tree.h (build_asm_expr): Update decl.
1002 * c-typeck.c (build_asm_expr): Add and use labels parameter.
1003 * doc/extend.texi: Document asm goto.
1005 2009-09-14 Richard Henderson <rth@redhat.com>
1007 * except.h: Update declarations.
1008 (struct pointer_map_t): Forward declare.
1009 (ERT_UNKNOWN, ERT_THROW, ERT_CATCH): Remove.
1010 (struct eh_landing_pad_d, eh_landing_pad): New.
1011 (struct eh_catch_d, eh_catch): New.
1012 (struct eh_region_d): Remove next_region_sharing_label, aka,
1013 label, tree_label, landing_pad, post_landing_pad, resume,
1014 may_contain_throw. Rename region_number to index. Remove
1015 u.eh_catch, u.eh_throw. Rename u.eh_try.eh_catch to first_catch.
1016 Add u.must_not_throw, landing_pads, exc_ptr_reg, filter_reg.
1017 (VEC(eh_landing_pad,gc)): New.
1018 (struct eh_status): Remove last_region_number. Add lp_array,
1019 throw_stmt_table, ttype_data, ehspec_data.
1020 (ehr_next, FOR_ALL_EH_REGION_AT): New.
1021 (FOR_ALL_EH_REGION_FN, FOR_ALL_EH_REGION): New.
1022 * except.c (lang_protect_cleanup_actions): Return tree.
1023 (struct ehl_map_entry): Remove.
1024 (init_eh_for_function): Push zero entries for region and lp_array.
1025 (gen_eh_region): Add to region_array immediately.
1026 (gen_eh_region_catch): Operate on eh_catch objects.
1027 (gen_eh_landing_pad): New.
1028 (get_eh_region_may_contain_throw, get_eh_region_tree_label): Remove.
1029 (get_eh_region_no_tree_label, set_eh_region_tree_label): Remove.
1030 (get_eh_region_from_number, get_eh_region_from_number_fn): New.
1031 (get_eh_landing_pad_from_number_fn): New.
1032 (get_eh_landing_pad_from_number): New.
1033 (get_eh_region_from_lp_number_fn): New.
1034 (get_eh_region_from_lp_number): New.
1035 (expand_resx_stmt, note_eh_region_may_contain_throw): Remove.
1036 (get_exception_pointer, get_exception_filter): Remove.
1037 (collect_eh_region_array, can_be_reached_by_runtime): Remove.
1038 (current_function_has_exception_handlers): Simplify.
1039 (bring_to_root, eh_region_replaceable_by_p): Remove.
1040 (replace_region, hash_type_list, hash_eh_region): Remove.
1041 (eh_regions_equal_p, merge_peers, remove_unreachable_regions): Remove.
1042 (label_to_region_map, num_eh_regions): Remove.
1043 (get_next_region_sharing_label, must_not_throw_labels): Remove.
1044 (find_exception_handler_labels): Remove.
1045 (duplicate_eh_regions_0, find_prev_try): Remove.
1046 (struct duplicate_eh_regions_data): New.
1047 (duplicate_eh_regions_1): Rewrite.
1048 (duplicate_eh_regions): Return a pointer map instead of an
1050 (copy_eh_region_1, copy_eh_region, push_reachable_handler): Remove.
1051 (redirect_eh_edge_to_label): Remove.
1052 (eh_region_outermost): Rewrite using eh_region pointers
1053 instead of integers.
1054 (add_ttypes_entry): Update for ttype_data move to eh_status.
1055 (add_ehspec_entry): Rewrite with VEC instead of varray.
1056 (assign_filter_values): Likewise. Export.
1057 (build_post_landing_pads, connect_post_landing_pads): Remove.
1058 (dw2_build_landing_pads): Rewrite to use lp_array.
1059 (struct sjlj_lp_info, sjlj_find_directly_reachable_regions): Remove.
1060 (sjlj_assign_call_site_values): Rewrite to use lp_array.
1061 (sjlj_emit_dispatch_table, sjlj_build_landing_pads): Likewise.
1062 (sjlj_mark_call_sites): Update for landing pad numbers.
1063 (finish_eh_generation): Rewrite.
1064 (gate_handle_eh): Do nothing for no eh tree.
1065 (pass_rtl_eh): Move up near finish_eh_generation.
1066 (remove_eh_landing_pad): New.
1067 (remove_eh_handler): Export.
1068 (remove_eh_region, remove_eh_handler_and_replace): Remove.
1069 (for_each_eh_label): Rewrite to use lp_array.
1070 (make_reg_eh_region_note): New.
1071 (make_reg_eh_region_note_nothrow_nononlocal): New.
1072 (insn_could_throw_p): New.
1073 (copy_reg_eh_region_note_forward): New.
1074 (copy_reg_eh_region_note_backward): New.
1075 (check_handled, add_reachable_handler): Remove.
1076 (reachable_next_level, foreach_reachable_handler): Remove.
1077 (arh_to_landing_pad, arh_to_label, reachable_handlers): Remove.
1078 (get_eh_region_and_lp_from_rtx): New.
1079 (get_eh_region_from_rtx): New.
1080 (can_throw_internal_1, can_throw_external_1): Remove.
1081 (can_throw_internal): Use get_eh_region_from_rtx.
1082 (can_throw_external): Use get_eh_region_and_lp_from_rtx.
1083 (insn_nothrow_p, can_nonlocal_goto): New.
1084 (expand_builtin_eh_common, expand_builtin_eh_pointer): New.
1085 (expand_builtin_eh_filter, expand_builtin_eh_copy_values): New.
1086 (add_action_record): Use VEC not varray.
1087 (collect_one_action_chain): Update for eh_region changes.
1088 (convert_to_eh_region_ranges): Make static. Use VEC not varray.
1089 Use get_eh_region_and_lp_from_rtx.
1090 (gate_convert_to_eh_region_ranges): New.
1091 (pass_convert_to_eh_region_ranges): Use it.
1092 (push_uleb128, push_sleb128): Use VEC not varray.
1093 (output_one_function_exception_table): Likewise.
1094 (dump_eh_tree): Update for eh_region changes.
1095 (verify_eh_tree): Likewise.
1096 (verify_eh_region, default_init_unwind_resume_libfunc): Remove.
1097 * tree-eh.c: Include target.h.
1098 (add_stmt_to_eh_lp_fn): Rename from add_stmt_to_eh_region_fn.
1099 Don't disallow GIMPLE_RESX; adjust argument check.
1100 (add_stmt_to_eh_lp): Rename from add_stmt_to_eh_region.
1101 (record_stmt_eh_region): Update for landing pad numbers;
1102 generate a landing pad if necessary.
1103 (remove_stmt_from_eh_lp): Rename from remove_stmt_from_eh_region.
1104 (remove_stmt_from_eh_lp_fn): Similarly.
1105 (lookup_stmt_eh_lp_fn): Rename from lookup_stmt_eh_region_fn.
1106 Update for lp numbers; don't special case missing throw_stmt_table.
1107 (lookup_expr_eh_lp): Similarly.
1108 (lookup_stmt_eh_lp): Rename from lookup_stmt_eh_region.
1109 (eh_seq, eh_region_may_contain_throw): New.
1110 (struct leh_state): Add ehp_region.
1111 (struct leh_tf_state): Remove eh_label.
1112 (emit_post_landing_pad): New.
1113 (emit_resx, emit_eh_dispatch): New.
1114 (note_eh_region_may_contain_throw): New.
1115 (frob_into_branch_around): Take eh_region not eh label;
1116 emit eh code into eh_seq.
1117 (honor_protect_cleanup_actions): Early exit for no actions. Don't
1118 handle EXC_PTR_EXPR, FILTER_EXPR. Use gimple_build_eh_must_not_throw,
1119 lower_eh_must_not_throw. Emit code to eh_seq.
1120 (lower_try_finally_nofallthru): Emit eh code to eh_seq.
1121 (lower_try_finally_onedest): Likewise.
1122 (lower_try_finally_copy): Likewise.
1123 (lower_try_finally_switch): Likewise.
1124 (lower_try_finally): Initialize ehp_region.
1125 (lower_catch): Update for eh_catch objects.
1126 (lower_eh_filter): Don't handle must_not_throw.
1127 (lower_eh_must_not_throw): New.
1128 (lower_cleanup): Don't set eh_label.
1129 (lower_eh_constructs_2): Resolve eh builtins.
1130 Handle GIMPLE_EH_MUST_NOT_THROW.
1131 (lower_eh_constructs): Initialize eh_region_may_contain_throw.
1132 Add eh_seq to the end of the function body.
1133 (make_eh_dispatch_edges): New.
1134 (make_eh_edge): Remove.
1135 (make_eh_edges): Simplify for landing pads.
1136 (redirect_eh_edge_1): New.
1137 (redirect_eh_edge): Use it.
1138 (redirect_eh_dispatch_edge): New.
1139 (stmt_could_throw_p): Use a switch. Allow RESX.
1140 (stmt_can_throw_external): Use lookup_stmt_eh_lp.
1141 (stmt_can_throw_internal): Likewise.
1142 (maybe_clean_eh_stmt_fn, maybe_clean_eh_stmt): New.
1143 (maybe_clean_or_replace_eh_stmt): Update for landing pads.
1144 (maybe_duplicate_eh_stmt_fn, maybe_duplicate_eh_stmt): New.
1145 (gate_refactor_eh): New.
1146 (pass_refactor_eh): Use it.
1147 (lower_resx, execute_lower_resx, pass_lower_resx): New.
1148 (lower_eh_dispatch, execute_lower_eh_dispatch): New.
1149 (gate_lower_ehcontrol, pass_lower_eh_dispatch): New.
1150 (remove_unreachable_handlers): Rename from
1151 tree_remove_unreachable_handlers; rewrite for landing pads;
1152 call remove_eh_handler directly.
1153 (remove_unreachable_handlers_no_lp): New.
1154 (unsplit_eh, unsplit_all_eh): New.
1155 (tree_empty_eh_handler_p, all_phis_safe_to_merge): Remove.
1156 (cleanup_empty_eh_merge_phis, cleanup_empty_eh_move_lp): New.
1157 (cleanup_empty_eh_unsplit): New.
1158 (cleanup_empty_eh): Rewrite.
1159 (cleanup_all_empty_eh): New.
1160 (execute_cleanup_eh): Rename from cleanup_eh. Remove unreachable
1161 handlers first. Use unsplit_all_eh, cleanup_all_empty_eh.
1162 (gate_cleanup_eh): New.
1163 (pass_cleanup_eh): Use it.
1164 (verify_eh_edges): Move later in file. Expect one EH edge.
1165 (verify_eh_dispatch_edge): New.
1167 * Makefile.in (FUNCTION_H): Use vecprim.h, not varray.h.
1168 (gtype-desc.o): Add TARGET_H.
1169 (tree.o): Use EXCEPT_H, not except.h.
1170 (cfgbuild.o): Add EXPR_H.
1171 (GTFILES): Add vecprim.h.
1172 * builtins.c (expand_builtin): Handle BUILT_IN_EH_POINTER,
1173 BUILT_IN_EH_FILTER, BUILT_IN_EH_COPY_VALUES.
1174 * builtins.def (BUILT_IN_UNWIND_RESUME, BUILT_IN_EH_POINTER,
1175 BUILT_IN_EH_FILTER, BUILT_IN_EH_COPY_VALUES): New.
1176 * calls.c (emit_call_1): Use make_reg_eh_region_note.
1177 * cfgbuild.c (control_flow_insn_p): Use can_nonlocal_goto; tidy
1178 calls to can_throw_internal.
1179 (rtl_make_eh_edge): Use get_eh_landing_pad_from_rtx.
1180 (make_edges): Don't handle RESX; use can_nonlocal_goto.
1181 * cfgexpand.c (expand_gimple_stmt_1): Don't handle RESX.
1182 (expand_gimple_stmt): Use make_reg_eh_region_note.
1183 (expand_debug_expr): Don't handle EXC_PTR_EXPR and FILTER_EXPR.
1184 (gimple_expand_cfg): Don't call convert_from_eh_region_ranges,
1185 or find_exception_handler_labels.
1186 * cfgrtl.c (rtl_verify_flow_info_1): Don't handle RESX. Assert
1187 there is exacly one EH edge. Use can_nonlocal_goto and
1189 * cgraphunit.c (update_call_expr): Use maybe_clean_eh_stmt_fn.
1190 (cgraph_materialize_all_clones): Use maybe_clean_or_replace_eh_stmt.
1191 * combine.c (can_combine_p, try_combine): Use insn_nothrow_p.
1192 * cse.c (count_reg_usage, insn_live_p): Use insn_could_throw_p.
1193 * dce.c (deletable_insn_p_1): Don't test may_trap_p.
1194 (deletable_insn_p): Use insn_nothrow_p; reorder nonjump insn test.
1195 * dse.c (scan_insn): Use insn_could_throw_p.
1196 * emit-rtl.c (try_split): Use copy_reg_eh_region_note_backward.
1197 * expr.c (expand_expr_real): Use make_reg_eh_region_note.
1198 (expand_expr_real_1): Don't handle RESX, EXC_PTR, or FILTER_EXPR.
1199 * fold-const.c (tree_expr_nonnegative_warnv_p): Don't handle
1200 EXC_PTR_EXPR or FILTER_EXPR.
1201 (tree_expr_nonzero_warnv_p): Likewise.
1202 * function.h: Include vecprim.h, not varray.h
1203 (struct rtl_eh): Remove filter, exc_ptr, built_landing_pad members;
1204 move ttype_data and ehspec_data members to struct eh_status; change
1205 action_record_data member to a VEC.
1206 * gcse.c (hash_scan_set): Use can_throw_internal.
1207 * gengtype.c (open_base_files): Add target.h to gtype-desc.c.
1208 * gimple-iterator.c (gsi_replace): Use maybe_clean_or_replace_eh_stmt.
1209 * gimple-low.c (lower_stmt): Handle GIMPLE_EH_MUST_NOT_THROW.
1210 (block_may_fallthru): Don't handle RESX_EXPR.
1211 * gimple-pretty-print.c (dump_gimple_label): Dump EH_LANDING_PAD_NR.
1212 (dump_gimple_eh_must_not_throw, dump_gimple_eh_dispatch): New.
1213 (dump_gimple_stmt): Dump landing pad information with TDF_EH;
1214 handle GIMPLE_EH_MUST_NOT_THROW, GIMPLE_EH_DISPATCH.
1215 * gimple.c (gss_for_code): Handle GIMPLE_EH_MUST_NOT_THROW,
1216 GIMPLE_EH_DISPATCH, GIMPLE_RESX.
1217 (gimple_size): Likewise.
1218 (gimple_build_eh_dispatch, gimple_build_eh_must_not_throw): New.
1219 (gimple_build_resx): Use gimple_build_with_ops.
1220 (DEFTREECODE): Don't handle EXC_PTR_EXPR, FILTER_EXPR.
1221 (is_gimple_val): Likewise.
1222 (is_gimple_stmt): Remove RESX_EXPR.
1223 * gimple.def (GIMPLE_EH_MUST_NOT_THROW, GIMPLE_EH_DISPATCH): New.
1224 (GIMPLE_RESX): Reorder with other EH constructs.
1225 * gimple.h (struct gimple_statement_eh_mnt): New.
1226 (struct gimple_statement_eh_ctrl): Rename from gimple_statement_resx.
1227 (gimple_eh_filter_must_not_throw): Remove.
1228 (gimple_eh_filter_set_must_not_throw): Remove.
1229 (gimple_eh_must_not_throw_fndecl): New.
1230 (gimple_eh_dispatch_region, gimple_eh_dispatch_set_region): New.
1231 (is_gimple_resx): New.
1232 * gimplify.c (gimplify_expr): Don't handle EXC_PTR_EXPR, RESX_EXPR.
1233 Don't copy EH_FILTER_MUST_NOT_THROW.
1234 * gsstruct.def (GSS_EH_MNT, GSS_EHCONTROL): New.
1235 * ipa-inline.c (estimate_function_body_sizes): Don't try to
1236 handle must_not_throw_labels specially.
1237 * ipa-pure-const.c (check_call): Update debug statement for LP.
1238 * ipa-type-escape.c (check_operand): Don't handle EXC_PTR or FILTER.
1239 * ipa-utils.c (get_base_var): Likewise.
1240 * libfunc.h (LTI_unwind_resume, unwind_resume_libfunc): Remove.
1241 * lower-subreg.c (move_eh_region_note): Remove.
1242 (resolve_simple_move): Use copy_reg_eh_region_note_forward.
1243 * omp-low.c (new_omp_context): Update for eh_lp_nr.
1244 (create_task_copyfn): Likewise.
1245 (maybe_catch_exception): Use gimple_build_eh_filter.
1246 * optabs.c (emit_libcall_block): Update test for no-nonlocal-goto
1247 REG_EH_REGION. Use make_reg_eh_region_note_nothrow_nononlocal.
1248 * passes.c (init_optimization_passes): Add pass_lower_eh_dispatch
1249 and pass_lower_resx.
1250 * print-tree.c (print_node): Dump EH_LANDING_PAD_NR.
1251 * recog.c (peephole2_optimize): Use copy_reg_eh_region_note_backward,
1252 can_throw_internal, can_nonlocal_goto.
1253 * reload1.c (fixup_eh_region_note): Use insn_could_throw_p,
1254 copy_reg_eh_region_note_forward.
1255 (emit_input_reload_insns): Use copy_reg_eh_region_note_forward.
1256 (emit_output_reload_insns): Likewise.
1257 (copy_eh_notes): Remove.
1258 * rtl.def (RESX): Remove.
1259 * rtl.h: Update declarations.
1260 * sese.c (graphite_copy_stmts_from_block): Use maybe_duplicate_eh_stmt.
1261 * tree-cfg.c (make_edges): Handle GIMPLE_EH_DISPATCH.
1262 (update_eh_label): Remove.
1263 (cleanup_dead_labels_eh): New.
1264 (cleanup_deal_labels): Use it instead of update_eh_label.
1265 (gimple_merge_blocks): Update landing pad data structure when
1266 removing a landing pad label.
1267 (remove_useless_stmts_tc): Remove gimple_eh_filter_must_not_throw
1268 test; handle GIMPLE_EH_MUST_NOT_THROW.
1269 (is_ctrl_altering_stmt): Handle GIMPLE_EH_DISPATCH.
1270 (verify_gimple_assign_single): Don't handle EXC_PTR or FILTER_EXPR.
1271 (verify_types_in_gimple_stmt): Handle GIMPLE_EH_DISPATCH.
1272 (verify_stmt): Likewise. Verify landing pads.
1273 (gimple_redirect_edge_and_branch): Handle GIMPLE_EH_DISPATCH.
1274 (gimple_duplicate_bb): Use maybe_duplicate_eh_stmt.
1275 (struct move_stmt_d): Add eh_map.
1276 (move_stmt_eh_region_nr, move_stmt_eh_region_tree_nr): New.
1277 (move_stmt_r): Remap eh region numbers in builtin calls,
1278 resx and eh_dispatch.
1279 (move_block_to_fn): Remove eh_offset parameter. Use
1280 maybe_duplicate_eh_stmt_fn.
1281 (find_outermost_region_in_block): Operate on eh_region pointers
1282 instead of region numbers.
1283 (move_sese_region_to_fn): Expect eh_map instead of eh_offset from
1284 duplicate_eh_regions.
1285 * tree-cfgcleanup.c (tree_forwarder_block_p): Move entry block edge
1286 test earlier. Disallow EH landing pads.
1287 * tree-cfa.c (create_tree_common_ann): Don't set ann->rn.
1288 * tree-flow.h: Update declarations.
1289 (struct tree_ann_common_d): Replace rn with lp_nr.
1290 * tree-inline.c (copy_tree_body_r): Don't handle RESX_EXPR.
1291 (remap_eh_region_nr, remap_eh_region_tree_nr): New.
1292 (remap_gimple_stmt): Remap eh region numbers in builtin calls,
1293 resx and eh_dispatch.
1294 (copy_bb): Use maybe_duplicate_eh_stmt_fn.
1295 (copy_edges_for_bb): Use make_eh_dispatch_edges.
1296 (copy_cfg_body): Expect eh_map instead of eh_region_offset
1297 from duplicate_eh_regions.
1298 (estimate_num_insns): Don't handle EXC_PTR_EXPR or FILTER_EXPR;
1299 update RESX; handle EH_DISPATCH.
1300 (expand_call_inline): Set eh_lp_nr, not eh_region.
1301 (maybe_inline_call_in_expr): Likewise.
1302 * tree-inline.h (struct copy_body_data): Replace eh_region with
1303 eh_lp_nr, eh_region_offset with eh_map.
1304 * tree-optimize.c (execute_fixup_cfg): Use maybe_clean_eh_stmt.
1305 * tree-pass.h (pass_lower_eh_dispatch, pass_lower_resx): New.
1306 * tree-pretty-print.c (dump_generic_node): Don't handle
1307 EXC_PTR_EXPR, FILTER_EXPR, RESX_EXPR.
1308 * tree-sra.c (scan_function): Use maybe_clean_eh_stmt.
1309 * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Don't handle
1310 EXC_PTR_EXPR, FILTER_EXPR.
1311 * tree-ssa-operands.c (get_expr_operands): Likewise.
1312 * tree-ssa-propagate.c (valid_gimple_rhs_p): Likewise.
1313 * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise.
1314 (ao_ref_init_from_vn_reference): Likewise.
1315 * tree-ssa-sink.c (statement_sink_location): Likewise.
1316 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
1317 (mark_virtual_phi_result_for_renaming): Export. Tidy.
1318 * tree-ssa-pre.c (get_or_alloc_expr_for): Don't handle
1319 EXC_PTR_EXPR, FILTER_EXPR.
1320 (is_exception_related): Remove.
1321 (compute_avail): Don't call it.
1322 * tree-ssa-structalias.c: Remove VEC definitions for int and unsigned.
1323 * tree.c (find_decls_types_in_eh_region): Update for eh_region changes.
1324 (find_decls_types_in_node): Use FOR_ALL_EH_REGION_FN.
1325 (build_common_builtin_nodes): Add enable_cxa_end_cleanup parameter.
1327 (build_resx): Remove.
1328 * tree.def (EXC_PTR_EXPR, FILTER_EXPR, RESX_EXPR): Remove.
1329 * tree.h: Update declarations.
1330 (EH_FILTER_MUST_NOT_THROW): Remove.
1331 (struct tree_label_decl): Add eh_landing_pad_nr.
1332 (EH_LANDING_PAD_NR): New.
1333 * value-prof.c (gimple_ic): Tidy variable names. Update for
1334 landing pad numbers.
1335 (gimple_stringop_fixed_value): Tidy variable names. Assert
1336 that neither call stmt can throw.
1337 * vecprim.h (uchar): New.
1338 (VEC(uchar,heap), VEC(uchar,gc)): New.
1340 * c-common.c (c_define_builtins): Update call to
1341 build_common_builtin_nodes.
1342 * c-parser.c (c_parse_file): Don't call
1343 default_init_unwind_resume_libfunc.
1345 2009-09-14 Richard Sandiford <rdsandiford@googlemail.com>
1347 * config/mips/mips-protos.h (mips_cfun_has_cprestore_slot_p): Declare.
1348 (mips_cprestore_address_p): Likewise.
1349 (mips_save_gp_to_cprestore_slot): Likewise.
1350 (mips_restore_gp): Rename to...
1351 (mips_restore_gp_from_cprestore_slot): ...this.
1352 (mips_must_initialize_gp_p): Declare.
1353 (mips_emit_save_slot_move): Likewise.
1354 (mips_output_load_label): Return nothing.
1355 (mips_eh_uses): Declare.
1356 * config/mips/mips.h (TARGET_SPLIT_CALLS): Require epilogue_completed.
1357 (TARGET_CPRESTORE_DIRECTIVE): New macro.
1358 (TARGET_ABSOLUTE_JUMPS): Likewise.
1359 (EH_USES): Likewise.
1360 (FIRST_PSEUDO_REGISTER): Update comment.
1361 (MIPS_ABSOLUTE_JUMP): New macro, extracted from...
1362 (MIPS_CALL): ...here.
1363 (REGISTER_NAMES): Add $cprestore.
1364 * config/mips/mips.c (machine_function): Remove has_gp_insn_p.
1365 Add load_label_length, has_inflexible_gp_insn_p,
1366 has_flexible_gp_insn_p, must_initialize_gp_p and
1367 must_restore_gp_when_clobbered_p.
1368 (mips_expand_call): Don't generate split instructions here.
1369 (mips_split_call): Update the call to mips_restore_gp after
1370 the above name change.
1371 (mips16_cfun_returns_in_fpr_p): Move earlier in file.
1372 (mips_find_gp_ref): New function.
1373 (mips_insn_has_inflexible_gp_ref_p): Likewise.
1374 (mips_cfun_has_inflexible_gp_ref_p): Likewise.
1375 (mips_insn_has_flexible_gp_ref_p): Likewise.
1376 (mips_cfun_has_flexible_gp_ref_p): Likewise.
1377 (mips_function_has_gp_insn): Delete.
1378 (mips_global_pointer): Drop the df_regs_ever_live_p check.
1379 Use the new functions above. Only return INVALID_REGNUM
1380 for TARGET_ABSOLUTE_JUMPS.
1381 (mips_must_initialize_gp_p): New function.
1382 (mips_get_cprestore_base_and_offset): New function, extracted from...
1383 (mips_cprestore_slot): ...here. Take a bool parameter.
1384 (mips_cfun_has_cprestore_slot_p): New function.
1385 (mips_cprestore_address_p): Likewise.
1386 (mips_save_gp_to_cprestore_slot): Likewise.
1387 (mips_restore_gp): Rename to...
1388 (mips_restore_gp_from_cprestore_slot): ...this. Assert
1389 epilogue_completed. Update the call to mips_cprestore_slot.
1390 Test cfun->machine->must_restore_gp_when_clobbered_p.
1391 (mips_direct_save_slot_move_p): New function.
1392 (mips_emit_save_slot_move): Likewise.
1393 (mips_output_cplocal): Test mips_must_initialize_gp_p () instead
1394 of cfun->machine->global_pointer.
1395 (mips_output_function_prologue): Check mips_must_initialize_gp_p ().
1396 (mips_save_reg): Use mips_emit_save_slot_move.
1397 (mips_expand_prologue): Set must_initialize_gp_p.
1398 Use mips_cfun_has_cprestore_slot_p. Use gen_potential_cprestore
1399 for all cprestore saves. Emit a use_cprestore instruction after
1400 setting up the cprestore slot.
1401 (mips_restore_reg): Use mips_emit_save_slot_move.
1402 (mips_process_load_label): New function.
1403 (mips_load_label_length): Likewise.
1404 (mips_output_load_label): Don't return asm: output it here instead.
1405 Use mips_process_load_label.
1406 (mips_adjust_insn_length): Adjust the length of branch instructions
1407 that have length MAX_PIC_BRANCH_LENGTH.
1408 (mips_output_conditional_branch): Update the call to
1409 mips_output_load_label. Assume the branch target is OPERANDS[0]
1410 rather than OPERANDS[1]. Use MIPS_ABSOLUTE_JUMP for absolute jumps.
1411 (mips_output_order_conditional_branch): Swap the meaning of
1412 OPERANDS[0] and OPERANDS[1].
1413 (mips_variable_issue): Don't count ghost instructions.
1414 (mips_expand_ghost_gp_insns): New function.
1415 (mips_reorg): Rerun mips_reorg_process_insns if it returns true.
1416 (mips_output_mi_thunk): Set must_initialize_gp_p.
1417 (mips_eh_uses): New function.
1418 * config/mips/predicates.md (cprestore_save_slot_operand)
1419 (cprestore_load_slot_operand): New predicates.
1420 * config/mips/mips.md (UNSPEC_POTENTIAL_CPRESTORE): New unspec.
1421 (UNSPEC_MOVE_GP): Likewise.
1422 (UNSPEC_CPRESTORE, UNSPEC_RESTORE_GP, UNSPEC_EH_RETURN)
1423 (UNSPEC_CONSTTABLE_INT, UNSPEC_CONSTTABLE_FLOAT): Bump to make room.
1424 (CPRESTORE_SLOT_REGNUM): New register.
1425 (MAX_PIC_BRANCH_LENGTH): New constant.
1426 (jal_macro): Use MIPS_ABSOLUTE_JUMPS.
1427 (length): Use MAX_PIC_BRANCH_LENGTH as a placeholder for PIC long
1428 branches. Fix commentary.
1429 (loadgp_newabi_<mode>): Change from unspec_volatile to unspec.
1430 Only split if mips_must_initialize_gp_p; expand to nothing otherwise.
1431 Change type to "ghost".
1432 (loadgp_absolute_<mode>): Likewise.
1433 (loadgp_rtp_<mode>): Likewise.
1434 (copygp_mips16): Likewise.
1435 (loadgp_blockage): Remove redundant mode attribute.
1436 (potential_cprestore): New instruction.
1437 (cprestore): Turn into an unspec set.
1438 (use_cprestore): New instruction.
1439 (*branch_fp): Swap operands 0 and 1. Remove redundant mode attribute.
1440 (*branch_fp_inverted): Likewise.
1441 (*branch_order<mode>): Likewise.
1442 (*branch_order<mode>_inverted): Likewise.
1443 (*branch_equality<mode>): Likewise.
1444 (*branch_equality<mode>_inverted): Likewise.
1445 (*branch_bit<bbv><mode>): Likewise.
1446 (*branch_bit<bbv><mode>_inverted): Likewise.
1447 (*branch_equality<mode>_mips16): Remove redundant mode.
1448 (jump): Turn into a define_expand.
1449 (*jump_absolute): New instruction.
1450 (*jump_pic): Likewise.
1451 (*jump_mips16): Rename previously-unnamed pattern. Remove
1452 redundant mode attribute.
1453 (restore_gp): Split on epilogue_completed rather than
1454 reload_completed. Change type to "ghost".
1455 (move_gp<mode>): New instruction.
1456 * config/mips/mips-dsp.md (mips_bposge): Swap operands 0 and 1.
1457 Remove redundant mode attribute.
1458 * config/mips/mips-ps-3d.md (bc1any4t): Likewise.
1459 (bc1any4f, bc1any2t, bc1any2f): Likewise.
1460 (*branch_upper_lower, *branch_upper_lower_inverted): Likewise.
1462 2009-09-14 Michael Meissner <meissner@linux.vnet.ibm.com>
1465 * config/rs6000/rs6000.c (rs6000_function_value): V2DF and V2DI
1466 are returned in the same register (vs34 or v2) that Altivec vector
1467 types are returned in.
1468 (rs6000_libcall_value): Ditto.
1471 * config/rs6000/rs6000.c (rs6000_emit_move): Use gen_add3_insn
1472 instead of explicit addsi3/adddi3 calls.
1473 (rs6000_split_multireg_move): Ditto.
1474 (rs6000_emit_allocate_stack): Ditto.
1475 (rs6000_emit_prologue): Ditto.
1476 (rs6000_output_mi_thunk): Ditto.
1478 * config/rs6000/rs6000.md (bswapdi*): Don't assume the pointer
1479 size is 64 bits if we can use 64-bit registers.
1481 2009-09-14 Bernd Schmidt <bernd.schmidt@analog.com>
1483 * config/bfin/bfin.c (bfin_longcall_p): Don't use short calls for weak
1486 From Jie Zhang <jie.zhang@analog.com>:
1487 * config/bfin/bfin.c (bfin_expand_prologue): Ask do_link to
1488 save FP and RETS with saveall attribute.
1489 (bfin_expand_epilogue): Ask do_unlink to restore FP and RETS
1490 with saveall attribute.
1492 * config/bfin/bfin.c (bfin_expand_builtin,
1493 case BFIN_BUILTIN_MULT_1X32X32): Force constants to registers for the
1496 From Jie Zhang <jie.zhang@analog.com>:
1497 * config/bfin/bfin.c (bfin_expand_builtin): Initialize icodes
1498 before use in two places.
1499 * config/bfin/bfin.md (AREG): Define mode iterator.
1500 (reload_in, reload_out): Use mode iterator AREG.
1502 2009-09-14 Richard Guenther <rguenther@suse.de>
1505 * dwarf2out.c (dwarf2out_begin_prologue): Adjust non-CFI asm
1506 EH personality path.
1508 2009-09-13 Richard Guenther <rguenther@suse.de>
1509 Rafael Avila de Espindola <espindola@google.com>
1511 * langhooks-def.h (LANG_HOOKS_EH_RUNTIME_TYPE): Define.
1512 (LANG_HOOKS_EH_PERSONALITY): Likewise.
1513 (LANG_HOOKS_INITIALIZER): Adjust.
1514 (lhd_pass_through_t): Declare.
1515 * langhooks.h (struct lang_hooks): Add eh_runtime_type and
1517 * langhooks.c (lhd_pass_through_t): New function.
1518 * dwarf2out.c (output_call_frame_info, dwarf2out_do_cfi_startproc,
1519 dwarf2out_begin_prologue): Use personality from current_function_decl.
1520 * expr.h (get_personality_function): Declare.
1521 * expr.c (get_personality_function): New function.
1522 (build_personality_function): Likewise.
1523 * libfuncs.h (libfunc_index): Remove LTI_eh_personality.
1524 (eh_personality_libfunc): Remove.
1525 * optabs.c (build_libfunc_function): New function split out from ...
1526 (init_one_libfunc): ... here.
1527 * tree.h (DECL_FUNCTION_PERSONALITY): New.
1528 (tree_function_decl): Add personality.
1529 (lhd_gcc_personality): Declare.
1530 (build_personality_function): Likewise.
1531 * tree.c (gcc_eh_personality_decl): New.
1532 (lhd_gcc_personality): New function.
1533 * except.h (lang_eh_runtime_type): Remove.
1534 (enum eh_personality_kind): New.
1535 (build_personality_function): Declare.
1536 (function_needs_eh_personality): Declare.
1537 * except.c (lang_eh_runtime_type): Remove.
1538 (function_needs_eh_personality): New function.
1539 (add_type_for_runtime): Call lang_hooks.type_for_runtime instead.
1540 (sjlj_emit_function_enter, output_function_exception_table):
1541 Use personality from current_function_decl.
1542 * tree-eh.c (lower_eh_constructs): Set DECL_FUNCTION_PERSONALITY.
1543 * tree-inline.c (tree_can_inline_p): Do not inline across different
1545 (expand_call_inline): Likewise. Adjust the callers EH personality.
1546 (tree_function_versioning): Copy DECL_FUNCTION_PERSONALITY.
1547 * cgraph.c (cgraph_add_new_function): Set DECL_FUNCTION_PERSONALITY.
1548 * Makefile.in (cgraph.o): Add $(EXCEPT_H) dependency.
1549 (c-parser.o): Likewise
1550 * c-tree.h (c_eh_initialized_p): Remove.
1551 (c_maybe_initialize_eh): Likewise.
1552 * c-decl.c (finish_decl): Don't call c_maybe_initialize_eh.
1553 (finish_decl): Don't call c_maybe_initialize_eh.
1554 (c_eh_initialized_p): Remove.
1555 (c_maybe_initialize_eh): Likewise.
1556 * c-parser.c (c_parser_omp_construct): Likewise.
1557 (c_parse_file): Initialize exception handling.
1559 2009-09-13 Kai Tietz <kai.tietz@onevision.com>
1561 * config.gcc (tm_file): Remove i386/biarch32.h
1562 for i?86-w64-mingw* case.
1563 (i?86-*-mingw* andx86_64-*-mingw*): Add multilib
1565 * config.host: Set for x64 mingw the option
1566 use_long_long_for_widest_fast_int to yes.
1568 2009-09-13 Eric Botcazou <ebotcazou@adacore.com>
1570 * tree.h (DECL_IGNORED_P): Document further effect for FUNCTION_DECL.
1571 * dbxout.c (dbxout_function_end): Do not test DECL_IGNORED_P.
1572 (dbxout_begin_function): Likewise.
1573 * final.c (dwarf2_debug_info_emitted_p): New predicate.
1574 (final_start_function): Do not emit debug info if DECL_IGNORED_P is
1575 set on the function.
1576 (final_end_function): Likewise.
1577 (final_scan_insn): Likewise.
1578 (rest_of_handle_final): Likewise.
1579 * varasm.c (assemble_start_function): Likewise.
1580 * config/rs6000/xcoff.h (ASM_DECLARE_FUNCTION_NAME): Likewise.
1582 2009-09-12 Jason Merrill <jason@redhat.com>
1584 * dbgcnt.c (dbg_cnt_process_single_pair): constify.
1585 * opts.c (common_handle_option): constify.
1587 2009-09-12 Gerald Pfeifer <gerald@pfeifer.com>
1589 * doc/install.texi (avr): Remove obsolete reference site.
1591 2009-09-12 Gerald Pfeifer <gerald@pfeifer.com>
1593 * doc/install.texi (Binaries): Adjust AIX link.
1595 2009-09-12 Akim Demaille <demaille@gostai.com>
1597 * doc/invoke.texi (-fstrict-aliasing): Correct two examples.
1598 Use an imperative sentence.
1600 2009-09-11 Richard Henderson <rth@redhat.com>
1602 * gsstruct.def (DEFGSSTRUCT): Remove printable-name argument; add
1603 structure-name and has-tree-operands arguments; update all entries.
1604 * gimple.def (DEFGSCODE): Replace 3rd argument with GSS_symbol;
1606 * gimple.c (gimple_ops_offset_): Use HAS_TREE_OP argument.
1607 (gsstruct_code_size): New.
1608 (gss_for_code_): New.
1609 (gss_for_code): Remove.
1610 (gimple_size): Rewrite using gsstruct_code_size.
1611 (gimple_statement_structure): Move to gimple.h.
1612 * gimple.h (gimple_ops_offset_, gss_for_code_): Declare.
1613 (gss_for_code, gimple_statement_structure): New.
1614 (gimple_ops): Use new arrays; tidy.
1616 2009-09-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1618 * config/pa/predicates.md (symbolic_operand): Require a CONST symbolic
1619 operand to be a PLUS expression.
1620 * config/pa/pa.c (pa_secondary_reload): Likewise.
1622 2009-09-11 Jakub Jelinek <jakub@redhat.com>
1624 * combine.c (propagate_for_debug_subst): Call wrap_constant on top.
1626 * print-rtl.c (print_rtx): Use JUMP_LABEL (in_rtx) instead of
1629 2009-09-11 Bernd Schmidt <bernd.schmidt@analog.com>
1631 From Jie Zhang <jie.zhang@analog.com>:
1632 * doc/extend.texi (node Function Attributes): Document l2
1634 (node Blackfin Variable Attributes): Document l2 variable attributes.
1636 2009-09-11 Loren J. Rittle <ljrittle@acm.org>
1638 * config.gcc (*-*-freebsd*): Enable default_use_cxa_atexit
1639 to match the system compiler's configuration at inflection point.
1640 Add comment to remark a remaining difference with system compiler.
1642 * configure.ac (*-*-freebsd*): Enable check for __stack_chk_fail.
1643 * configure: Regenerate.
1645 2009-09-11 Bernd Schmidt <bernd.schmidt@analog.com>
1647 From Jie Zhang <jie.zhang@analog.com>:
1648 * config/bfin/bfin.c (bfin_expand_call): Handle L2 functions.
1649 (bfin_handle_l2_attribute): New.
1650 (bfin_attribute_table): Add l2 attribute.
1652 2009-09-11 Michael Matz <matz@suse.de>
1655 * tree-inline.c (remap_decls): Don't put DECL_EXTERNAL decls
1656 on the local_decls list.
1658 2009-09-11 Alexandre Oliva <aoliva@redhat.com>
1662 * cselib.c (cselib_expand_value_rtx_cb): Document callback
1664 (cselib_expand_value_rtx_1): Use callback for SUBREGs. Adjust
1665 for VALUEs, to implement the documented interface.
1666 * var-tracking.c (vt_expand_loc_callback): Handle SUBREGs.
1667 Adjust for VALUEs and anything else, to implement the
1668 documented interface.
1670 2009-09-10 Nathan Froyd <froydnj@codesourcery.com>
1672 * config/rs6000/rs6000.h (DATA_ALIGNMENT): Check that we are dealing
1673 with actual SPE/paired vector modes before using 64-bit alignment.
1674 Check that TYPE is a REAL_TYPE for TARGET_E500_DOUBLE.
1676 2009-09-10 DJ Delorie <dj@redhat.com>
1678 * config/mep/mep.md (eh_epilogue): Defer until after epilogue is
1681 * config/mep/mep.h (LEGITIMATE_CONSTANT_P): New.
1682 * config/mep/mep.c (mep_legitimate_constant_p): New.
1683 * config/mep/mep-protos.h: Prototype it.
1685 2009-09-10 Richard Henderson <rth@redhat.com>
1687 * print-rtl.c (print_rtx): Fix JUMP_LABEL index.
1689 2009-09-10 Jason Merrill <jason@redhat.com>
1691 * tree.c (chain_index): New fn.
1692 * tree.h: Declare it.
1694 2009-09-10 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1696 * config/sol2-c.c (cmn_err_length_specs): Initialize
1697 scalar_identity_flag.
1699 2009-09-10 Richard Henderson <rth@redhat.com>
1701 * tree.h (struct tree_decl_common): Move align member earlier;
1702 move label_decl_uid member ...
1703 (struct tree_label_decl): ... here.
1704 (LABEL_DECL_UID): Update to match.
1706 * tree-cfg.c (dump_function_to_file): Dump eh tree with TDF_EH,
1709 * tree-cfg.c (gimple_redirect_edge_and_branch): Do
1710 gimple_try_redirect_by_replacing_jump test after no-op and EH tests.
1712 * tree-cfg.c (split_edge_bb_loc): Don't disallow placement at
1713 dest_prev if the edge is complex.
1715 * tree-cfg.c (is_ctrl_stmt): Use a switch.
1717 * tree-cfg.c (gimple_can_merge_blocks_p): Move label and
1718 loop latch tests earlier.
1720 * gimple-iterator.c (gimple_find_edge_insert_loc): Insert
1721 before GIMPLE_RETURN, not after its predecessor; insert
1724 * gimple-iterator.c (gimple_find_edge_insert_loc): Use
1725 gimple_seq_empty_p to test for no PHI nodes.
1726 * tree-cfg.c (split_critical_edges): Likewise.
1728 * c-common.h (c_dialect_cxx, c_dialect_objc): Boolify.
1730 2009-09-10 Hariharan Sandanagobalane <hariharan@picochip.com>
1732 * final.c (shorten_branches) : Ignore DEBUG_INSN_P instructions
1733 introduced by the VTA branch merge.
1735 2009-09-10 Uros Bizjak <ubizjak@gmail.com>
1737 * ira-conflicts.c: Use fputs or putc instead of fprintf
1741 * tree-switch-conversion.c: Ditto.
1743 2009-09-10 Hariharan Sandanagobalane <hariharan@picochip.com>
1745 * config/picochip/picochip.c : Ignore DEBUG_INSN_P instructions
1746 introduced by the VTA branch merge.
1748 2009-09-10 Uros Bizjak <ubizjak@gmail.com>
1751 2009-09-09 Uros Bizjak <ubizjak@gmail.com>
1753 PR rtl-optimization/39779
1754 * expr.c (convert_modes): Return when mode == oldmode after
1755 CONST_INTs are processed.
1757 2009-09-10 Nick Clifton <nickc@redhat.com>
1759 * config/mep/mep.c (mep_encode_section_info): Copy weakness
1760 attribute and referring decl when creating renamed symbol.
1762 2009-09-10 Richard Guenther <rguenther@suse.de>
1765 * cgraphunit.c (cgraph_emit_thunks): Emit thunks only for
1767 (cgraph_finalize_compilation_unit): Compute reachability
1768 before emitting thunks. Properly process aliases before
1769 possibly removing unreachable nodes.
1771 2009-09-10 Richard Guenther <rguenther@suse.de>
1774 * tree.c (struct free_lang_data_d): Add worklist member.
1775 (find_decls_types_r): Push onto the worklist instead of recursing.
1776 Handle TREE_BINFOs properly.
1777 (find_decls_types): New function wrapped around find_decls_types_r
1778 to process the worklist.
1779 (find_decls_types_in_eh_region): Use it.
1780 (find_decls_types_in_node): Likewise.
1781 (find_decls_types_in_var): Likewise.
1782 (free_lang_data_in_cgraph): Likewise. Free the worklist.
1783 * tree.h (RECORD_OR_UNION_TYPE_P): New.
1784 (AGGREGATE_TYPE_P): Adjust.
1786 2009-09-09 Jason Merrill <jason@redhat.com>
1788 * configure.ac: Check glibc version even if we have an in-tree
1791 2009-09-09 Anthony Green <green@moxielogic.com>
1793 * config/moxie/moxie.md (*movsi, *movhi, *movqi): Use xor to load
1794 the constant 0 when appropriate.
1795 * config/moxie/constraints.md: Add constraint O.
1797 * config/moxie/moxie.c (moxie_setup_incoming_varargs): Adjust
1798 to pass up to 6 32-bit argument values in registers.
1799 (moxie_function_arg): Ditto.
1800 (moxie_arg_partial_bytes): Ditto.
1801 * config/moxie/moxie.h (FUNCTION_ARG_ADVANCE): Ditto.
1802 (REG_PARM_STACK_SPACE): Ditto.
1803 (FUNCTION_ARG_REGNO_P): Ditto.
1805 * config/moxie/moxie.c (moxie_expand_prologue): Use dec
1806 instruction to allocate stack space.
1808 2009-09-09 Segher Boessenkool <segher@kernel.crashing.org>
1810 * config/rs6000/rs6000.md (bswapdi2_64bit): Fix
1811 unnecessarily stringent constraints. Fix address
1812 calculation in the splitters.
1814 2009-09-09 Uros Bizjak <ubizjak@gmail.com>
1816 PR rtl-optimization/39779
1817 * expr.c (convert_modes): Return when mode == oldmode after
1818 CONST_INTs are processed.
1820 2009-09-09 Kai Tietz <kai.tietz@onevision.com>
1823 * config/i386.c (ix86_can_use_return_insn_p): Check for padding0, too.
1824 (ix86_expand_prologue): Take frame.padding0 into logic of
1826 (ix86_expand_epilogue): Likewise.
1828 2009-09-09 Jakub Jelinek <jakub@redhat.com>
1830 * config/t-slibgcc-elf-ver (SHLIB_MAKE_SOLINK, SHLIB_INSTALL_SOLINK):
1832 (SHLIB_LINK, SHLIB_INSTALL): Use them.
1833 * config/t-slibgcc-libgcc: New file.
1834 * config.gcc (powerpc*-*-linux*, powerpc*-*-gnu*): Use it.
1836 2009-09-09 Martin Jambor <mjambor@suse.cz>
1838 PR tree-optimization/41089
1839 * tree-sra.c (find_var_candidates): Do not consider va_lists in
1842 2009-09-09 Richard Henderson <rth@redhat.com>
1844 * gimple.h (CASE_GIMPLE_OMP): New.
1845 (is_gimple_omp): Use it.
1846 * tree-cfg.c (is_ctrl_altering_stmt): Likewise.
1847 (verify_gimple_debug): Likewise.
1849 2009-09-09 Richard Guenther <rguenther@suse.de>
1851 PR tree-optimization/41101
1852 * tree-ssa-pre.c (maximal_set): Remove.
1853 (compute_antic_aux): Treat the maximal set as implicitly all ones.
1854 Defer all blocks we didn't visit at least one successor.
1855 (add_to_exp_gen): Do not add to the maximal set.
1856 (make_values_for_phi): Likewise.
1857 (compute_avail): Likewise.
1858 (init_pre): Do not allocate the maximal set.
1859 (execute_pre): Do not dump it.
1861 2009-09-09 Martin Jambor <mjambor@suse.cz>
1863 * tree-cfg.c (verify_gimple_phi): Check that gimple_phi_result is
1864 an SSA_NAME rather than a is_gimple_variable.
1866 2009-09-09 Richard Guenther <rguenther@suse.de>
1869 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Remove
1870 code dealing with plain pointer bases.
1871 (maybe_fold_offset_to_reference): Likewise.
1872 (maybe_fold_stmt_addition): Adjust.
1874 2009-09-09 Richard Guenther <rguenther@suse.de>
1876 * tree.c (free_lang_data_in_type): Do not free the type variant
1878 (free_lang_data): Merge char_type_node with its properly signed
1880 (pass_ipa_free): Collect after freeing language specific data.
1882 2009-09-09 Michael Matz <matz@suse.de>
1885 * cfgexpand.c (expand_gimple_stmt_1): Use an int for storing
1886 SUBREG_PROMOTED_UNSIGNED_P, instead of a bool.
1887 * rtl.h (struct rtx, SUBREG_PROMOTED_UNSIGNED_P): Update comments
1890 2009-09-08 DJ Delorie <dj@redhat.com>
1892 * config/mep/mep.c (conversions[]): Add "ml" pattern.
1894 2009-09-04 Jason Merrill <jason@redhat.com>
1896 * tree.c (tree_find_value): Remove.
1897 * tree.h: Remove prototype.
1898 * varasm.c (assemble_external): Use value_member instead.
1900 2009-09-08 Alexandre Oliva <aoliva@redhat.com>
1902 * toplev.c (process_options): Choose default debugging type when
1903 gtoggle enables debug info and type is unset.
1905 2009-09-08 Alexandre Oliva <aoliva@redhat.com>
1909 * cselib.c (cselib_expand_value_rtx_1): Don't return copy of
1912 2009-09-08 Alexandre Oliva <aoliva@redhat.com>
1914 * configure: Rebuilt with modified libtool.m4.
1916 2009-09-08 Alexandre Oliva <aoliva@redhat.com>
1921 * tree-ssa.c (execute_update_addresses_taken): Update debug insns.
1923 2009-09-08 Alexandre Oliva <aoliva@redhat.com>
1925 * tree-ssa-loop-ivopts.c (get_phi_with_result): Remove.
1926 (remove_statement): Likewise.
1927 (rewrite_use_nonlinear_expr): Adjust.
1928 (remove_unused_ivs): Collect SSA NAMEs to remove and call...
1929 * tree-ssa.c (release_defs_bitset): ... this. New.
1930 * tree-flow.h (release_defs_bitset): Declare.
1932 2009-09-08 Alexandre Oliva <aoliva@redhat.com>
1935 * tree-ssa-phiopt.c (minmax_replacement): Skip debug stmts
1936 in the middle block.
1938 2009-09-08 Kai Tietz <kai.tietz@onevision.com>
1940 * tree-ssa-reassoc.c (find_operand_rank): Cast pointer
1941 via intptr_t to long type.
1942 (insert_operand_rank): Cast long type via intptr_t to
1944 * genattrtab.c (RTL_HASH): Use intptr_t to cast from
1946 * c-pretty-print.c (pp_c_tree_decl_identifier): Cast
1947 from pointer to unsigned via uintptr_t.
1949 * configure.ac (GCC_STDINT_TYPES): Initialize intptr_t,
1950 uintptr_t, HAVE_INTTYPES_H, HAVE_STDINT_H, HAVE_UINTPTR_T,
1952 * configure: Regenerated.
1953 * config.in: Regenerated
1954 * system.h (stdint.h): Add include.
1955 (inttypes.h): Likewise.
1956 * Makefile.in (aclocal): Add config/stdint.m4.
1957 * aclocal.m4: Regenerated.
1959 2009-09-08 Bernd Schmidt <bernd.schmidt@analog.com>
1961 * config/bfin/bfin.c (np_check_regno, np_after_branch): New static
1963 (note_np_check_stores): New function.
1964 (harmless_null_pointer_p): New function.
1965 (trapping_loads_p): New args NP_REG and AFTER_NP_BRANCH. Callers
1966 changed. Take into account whether we're in the shadow of a condjump
1967 that tested NP_REG for NULL.
1968 Lose all code that tested for SEQUENCEs.
1969 (workaround_speculation): Avoid inserting NOPs for loads that are
1970 either always executed or a NULL pointer.
1972 2009-09-08 Jan Hubicka <jh@suse.cz>
1974 * doc/invoke.texi (early-inlining-insns): Reduce from 12 to 8.
1975 * params.def (early-inlining-insns): Likewise.
1977 2009-09-08 Jakub Jelinek <jakub@redhat.com>
1979 PR rtl-optimization/41239
1980 * sched-int.h (struct deps): Add last_function_call_may_noreturn field.
1981 * sched-rgn.c (deps_join): Join also last_function_call_may_noreturn
1983 * sched-deps.c (sched_analyze_insn): Prevent moving trapping insns
1984 across calls, as the calls might not always return normally.
1985 (call_may_noreturn_p): New function.
1986 (deps_analyze_insn): Update last_function_call_may_noreturn list.
1987 (init_deps): Initialize it.
1988 (remove_from_deps): Also remove calls from
1989 last_function_call_may_noreturn list.
1991 2009-09-07 Richard Henderson <rth@redhat.com>
1993 * tree-ssa-sccvn.c (vn_reference_lookup_3): Don't assume there are
1994 more VR->OPERANDS than LHS operands. Free LHS before returning.
1996 2009-09-07 Bernd Schmidt <bernd.schmidt@analog.com>
1998 * config/bfin/bfin.md (UNSPEC_VOLATILE_STALL): New constant.
1999 (attr "addrtype"): New member "spreg".
2000 Use it if mem_spfp_address_operand is true for the address.
2001 (attr "type"): New entry "stall".
2002 (cpu_unit "load"): New.
2003 (insn_reservations "load32", "loadp", "loadi"): Add reservation of
2005 (insn_reservation "loadsp"): New.
2006 (insn_reservation "load_stall1"): New.
2007 (insn_reservation "load_stall3"): New.
2009 * config/bfin/predicates.md (const1_operand, const3_operand): New.
2010 (mem_p_address_operand): Exclude stack and frame pointer based
2012 (mem_spfp_address_operand): New; match them here.
2013 * config/bfin/bfin.c (add_sched_insns_for_speculation): New function.
2014 (bfin_reorg): Call it if scheduling insns.
2015 (bfin_gen_bundles): Remove dummy insns created by
2016 add_sched_insns_for_speculation.
2018 From Jie Zhang <jie.zhang@analog.com>:
2019 * config/bfin/bfin-protos.h (enum bfin_cpu_type, bfin_cpu_type,
2020 bfin_si_revision, bfin_workarounds): Move these ...
2021 * config/bfin/bfin.h: ... here.
2023 From Mike Frysinger <michael.frysinger@analog.com>
2024 * config/bfin/bfin-protos.h (bfin_cpu_type): Add BFIN_CPU_BF542M,
2025 BFIN_CPU_BF544M, BFIN_CPU_BF547M, BFIN_CPU_BF548M, and BFIN_CPU_BF549M.
2026 * config/bfin/bfin.c (bfin_cpus[]): Add 0.3 for bf542m, bf544m,
2027 bf547m, bf548m, and bf549m.
2028 * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF542M__
2029 for BFIN_CPU_BF542M, __ADSPBF544M__ for BFIN_CPU_BF544M,
2030 __ADSPBF547M__ for BFIN_CPU_BF547M, __ADSPBF548M__ for
2031 BFIN_CPU_BF548M, and __ADSPBF549M__ for BFIN_CPU_BF549M.
2032 * config/bfin/t-bfin-elf (MULTILIB_MATCHES): Select bf532-none for
2033 bf542m-none, bf544m-none, bf547m-none, bf548m-none, and bf549m-none.
2034 * config/bfin/t-bfin-linux (MULTILIB_MATCHES): Likewise.
2035 * config/bfin/t-bfin-uclinux (MULTILIB_MATCHES): Likewise.
2036 * doc/invoke.texi (Blackfin Options): Document that -mcpu now accepts
2037 bf542m, bf544m, bf547m, bf548m, and bf549m.
2039 From Jie Zhang <jie.zhang@analog.com>:
2040 * config/bfin/predicates.md (p_register_operand): New predicate.
2041 (dp_register_operand): New predicate.
2042 * config/bfin/bfin-protos.h (WA_05000074): Define.
2043 (ENABLE_WA_05000074): Define.
2044 * config/bfin/bfin.c (bfin_cpus[]): Add WA_05000074 for all cpus.
2045 (bfin_gen_bundles): Put dsp32shiftimm instruction in slot[0].
2046 * config/bfin/bfin.md (define_attr type): Add dsp32shiftimm.
2047 (define_attr addrtype): Allow load/store register to be P register.
2048 (define_attr storereg): New.
2049 (define_cpu_unit anomaly_05000074): New.
2050 (define_insn_reservation dsp32shiftimm): New.
2051 (define_insn_reservation dsp32shiftimm_anomaly_05000074): New.
2052 (define_insn_reservation loadp): Cannot use slot2.
2053 (define_insn_reservation loadsp): Cannot use slot2.
2054 (define_insn_reservation storep): Cannot use slot2. Does not
2055 apply when working around 05000074.
2056 (define_insn_reservation storep_anomaly_05000074): New.
2057 (define_insn_reservation storei): Does not apply when working
2059 (define_insn_reservation storei_anomaly_05000074): New.
2060 (define_attr length): Add dsp32shiftimm case.
2061 (define_insn movsi_insn32, movsi_insv, ashlsi3_insn, ashrsi3,
2062 ror_one, rol_one, lshrsi3, lshrpdi3, ashrpdi3, movhiv2hi_low,
2063 movhiv2hi_high, composev2hi, packv2hi, movv2hi_hi,
2064 ssashiftv2hi3, ssashifthi3, ssashiftsi3, lshiftv2hi3, lshifthi3):
2065 Set type as dsp32shiftimm for dsp32shiftimm alternatives.
2067 2009-09-07 Martin Jambor <mjambor@suse.cz>
2070 * tree-sra.c (create_artificial_child_access): Return NULL if
2071 build_ref_for_offset fails.
2072 (propagate_subacesses_accross_link): Allow build_ref_for_offset
2073 and create_artificial_child_access to fail.
2075 2009-09-06 Dmitry Gorbachev <d.g.gorbachev@gmail.com>
2078 * unwind-dw2.c (uw_init_context_1): Mark noinline.
2079 * config/ia64/unwind-ia64.c (uw_init_context_1): Likewise.
2080 * config/xtensa/unwind-dw2-xtensa.c (uw_init_context_1): Likewise.
2082 2009-09-07 Bernd Schmidt <bernd.schmidt@analog.com>
2084 * config/bfin/bfin.c (bfin_optimize_loop): When creating a new basic
2085 block, ensure it has an exit edge. Emit a barrier after a jump.
2087 2009-09-07 Nick Clifton <nickc@redhat.com>
2089 * gcc.c (this_is_linker_script): New variable. Like
2090 this_is_library_file but for the %T constructor.
2091 (end_going_arg): If this_is_linker_script is set then locate the
2092 script and insert a --script switch before it
2093 (do_spec_2): Initialise this_is_linker_script.
2094 (do_spec_1): Likewise. Handle %T construct.
2095 (eval_spec_function): Preserve this_is_linker_script.
2096 * doc/invoke.texi: Document %T construct in spec files.
2097 * config/m32c/m32c.h (LIB_SPEC): Use it.
2099 2009-09-07 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
2101 * rtl.h (PREFETCH_SCHEDULE_BARRIER_P): New macro.
2102 * sched-deps.c (sched_analyze_2): Make prefetches a hard barrier
2103 when volatile flag is set.
2104 * doc/rtl.texi (PREFETCH_SCHEDULE_BARRIER_P): Add documentation pieces.
2106 2009-09-06 Eric Botcazou <ebotcazou@adacore.com>
2109 * combine-stack-adj.c (try_apply_stack_adjustment): Handle stores.
2110 (combine_stack_adjustments_for_block): Allow insns between stack
2111 adjustments and stores with corresponding pre-(dec|inc)rement or
2112 pre-modify operation.
2114 2009-09-06 Jakub Jelinek <jakub@redhat.com>
2117 * combine-stack-adj.c (struct csa_memlist): Rename to...
2118 (struct csa_reflist): ... this. Rename mem field to ref.
2119 (free_csa_memlist): Rename to...
2120 (free_csa_reflist): ... this.
2121 (record_one_stack_memref): Rename to...
2122 (record_one_stack_ref): ... this. Handle also REG_P.
2123 (try_apply_stack_adjustment): Handle also REG_P.
2124 (struct record_stack_memrefs_data): Rename to...
2125 (struct record_stack_refs_data): ... this. Rename memlist field to
2127 (record_stack_memrefs): Rename to...
2128 (record_stack_refs): ... this. For DEBUG_INSNs keep traversing
2129 subexpressions instead of failing when a MEM contains SP references.
2130 For SP itself in DEBUG_INSNs queue it also onto reflist chain.
2131 (combine_stack_adjustments_for_block): Adjust for mem to ref renaming.
2133 2009-09-06 Richard Guenther <rguenther@suse.de>
2136 * tree.c (build_array_type): Do not record types marked
2137 with structural equality in the canonical type hashtable.
2139 2009-09-06 Richard Guenther <rguenther@suse.de>
2142 * tree-ssa-alias.c (refs_may_alias_p_1): Bail out for function decls.
2144 2009-09-05 Richard Guenther <rguenther@suse.de>
2147 * tree-ssa-ccp.c (maybe_fold_stmt_addition): Use the correct type.
2149 2009-09-05 Richard Guenther <rguenther@suse.de>
2152 * tree-ssa-operands.c (get_tmr_operands): Pass through opf_no_vops.
2154 2009-09-05 Richard Guenther <rguenther@suse.de>
2157 * tree-ssa.c (useless_type_conversion_p): Drop qualifiers
2158 before comparing function argument types.
2160 2009-09-05 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2163 * config/i386/mingw-w64.h (ASM_SPEC): Pass -v instead of -V to
2166 2009-09-04 Uros Bizjak <ubizjak@gmail.com>
2169 2009-08-18 Uros Bizjak <ubizjak@gmail.com>
2171 * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Allocate insn
2172 locators before emit_insn is called.
2174 2009-09-04 Vladimir Makarov <vmakarov@redhat.com>
2177 * ira.c (update_equiv_reg): Revert my previous patch for the PR.
2178 * reginfo.c (resize_reg_info): Call allocate_reg_info if necessary.
2179 (reginfo_init): Don't call allocate_reg_info.
2181 2009-09-04 Uros Bizjak <ubizjak@gmail.com>
2184 * config/alpha/alpha.c (alpha_does_function_need_gp): Use
2185 NONDEBUG_INSN_P instead of INSN_P.
2187 2009-09-04 Alexandre Oliva <aoliva@redhat.com>
2190 * tree-vect-stmts.c (vect_stmt_relevant_p): Skip debug uses.
2192 2009-09-04 Alexandre Oliva <aoliva@redhat.com>
2195 * config/arm/vfp.md (*cmpdf_split_vfp): Fix src mode in the second
2196 pattern of the split.
2198 2009-09-04 Alexandre Oliva <aoliva@redhat.com>
2200 * toplev.c (process_options): Move setter of flag_var_tracking
2201 before other tests that depend on it. Move down setter of
2202 flag_rename_registers. Don't enable var-tracking-assignments
2203 by default if selective scheduling is enabled. Warn if both
2206 2009-09-04 Alexandre Oliva <aoliva@redhat.com>
2208 * var-tracking.c (dv_is_decl_p): Adjust NULL behavior to match
2209 comment. Use switch statement to catch overlaps between rtx
2210 and tree codes. Accept FUNCTION_DECLs in addition to those in...
2211 (IS_DECL_CODE): ... here. Remove.
2212 (check_value_is_not_decl): Remove.
2213 (dv_from_decl, dv_from_value): Check after conversion.
2215 2009-09-04 Richard Guenther <rguenther@suse.de>
2218 * (cgraph_finalize_compilation_unit): Move finalizing aliases
2219 after emitting tunks. Move emitting thunks and ctors from ...
2220 (cgraph_optimize): ... here. Remove redundant
2221 cgraph_analyze_functions.
2222 * varasm.c (find_decl_and_mark_needed): Remove no longer
2224 (finish_aliases_1): Adjust check for thunk aliases.
2226 2009-09-04 Daniel Gutson <dgutson@codesourcery.com>
2228 * config/arm/arm.md (ctzsi2): Added braces
2229 to avoid warning that broke booststrap.
2231 2009-09-04 Martin Jambor <mjambor@suse.cz>
2233 PR tree-optimization/41112
2234 * tree-sra.c (build_ref_for_offset_1): Signal that we cannot
2235 handle variable-bounded arrays.
2236 (expr_with_var_bounded_array_refs_p): New function.
2237 (analyze_access_subtree): Call expr_with_var_bounded_array_refs_p.
2239 2009-09-04 Wolfgang Gellerich <gellerich@de.ibm.com>
2241 * config/s390/2097.md: Removed two incorrect bypasses.
2242 (z10_fsimpdf): Fixed latency.
2243 (z10_fhex): New insn_reservation.
2244 (z10_floaddf): Fixed latency.
2245 (z10_floadsf): Fixed latency.
2246 (z10_ftrunctf): Fixed latency.
2247 (z10_ftruncdf): Fixed latency.
2248 * config/s390/s390.c (z10_cost): Fixed values.
2249 (s390_adjust_priority): Added z10 path.
2250 * config/s390/s390.md (type): Added fhex.
2251 (*mov<mode>_64dfp): Updated type attribute.
2252 (*mov<mode>_64): Updated type attribute.
2253 (*mov<mode>_31): Updated type attribute.
2254 (*mov<mode>"): Likewise.
2255 * config/s390/2084.md (x_fsimpdf): Updated condition.
2257 2009-09-04 Andreas Krebbel <krebbel1@de.ibm.com>
2259 * config/s390/s390.md ("*fmadd<mode>", "*fmsub<mode>"): Enable mem
2260 RTXs in the predicate for operand 1.
2262 2009-09-03 Daniel Gutson <dgutson@codesourcery.com>
2264 * config/arm/arm.md (UNSPEC_RBIT): New constant.
2265 (rbitsi2): New insn.
2266 (ctzsi2): New expand.
2267 * config/arm/arm.h (CTZ_DEFINED_VALUE_AT_ZERO): New macro.
2269 2009-09-03 Martin Jambor <mjambor@suse.cz>
2271 * tree-sra.c (duplicate_expr_for_different_base): Removed.
2272 (create_artificial_child_access): Use build_ref_for_offset instead
2273 of duplicate_expr_for_different_base.
2274 (propagate_subacesses_accross_link): Likewise.
2276 2009-09-03 Richard Sandiford <rdsandiford@googlemail.com>
2278 * config/mips/mips.c (USEFUL_INSN_P): Use NONDEBUG_INSN_P instead
2280 (mips16e_collect_argument_saves): Skip debug instructions.
2281 (mips_74k_agen_init): Use CALL_P || JUMP_P instead of !NONJUMP_INSN_P.
2282 (mips16_lay_out_constants): Use USEFUL_INSN_P instead of INSN_P.
2283 (r10k_insert_cache_barriers): Likewise.
2284 (mips_reorg_process_insns): Likewise.
2286 2009-09-03 Vladimir Makarov <vmakarov@redhat.com>
2289 * ira.c (update_equiv_reg): Remove check on class likely spill.
2291 2009-09-03 Jakub Jelinek <jakub@redhat.com>
2294 * dwarf2out.c (loc_descriptor): Don't use SUBREG_REG macro on
2295 SIGN_EXTEND or ZERO_EXTEND. Don't assume there is a REG inside of
2299 * function.c (assign_parm_find_stack_rtl): Don't set mem attributes on
2300 the stack slot if it is passed by invisible reference.
2301 * var-tracking.c (vt_add_function_parameters): Handle arguments passed
2302 by invisible reference.
2304 2009-09-03 Bernd Schmidt <bernd.schmidt@analog.com>
2306 * config/bfin/linux.h (TARGET_SUPPORTS_SYNC_CALLS): Define to 1.
2307 * config/bfin/uclinux.h (TARGET_SUPPORTS_SYNC_CALLS): Define to 1.
2308 * config/bfin/bfin.h (TARGET_SUPPORTS_SYNC_CALLS): Provide default of
2310 * config/bfin/sync.md: New file.
2311 * config/bfin/bfin.md: Include it.
2312 (UNSPEC_ATOMIC): New.
2313 (UNSPEC_ONES): Provide a unique number.
2315 From Jie Zhang <jie.zhang@analog.com>:
2316 * config/bfin/bfin.c (ret_regs): New.
2317 (must_save_fp_p): Don't return true because of frame_pointer_needed.
2318 (must_save_rets_p): New.
2319 (n_regs_saved_by_prologue): Use must_save_rets_p instead of
2320 current_function_is_leaf.
2321 (do_link): Likewise.
2322 (do_unlink): Likewise.
2323 (expand_interrupt_handler_prologue): Use ret_regs array.
2324 (expand_interrupt_handler_epilogue): Use ret_regs array and
2325 pass return register to gen_return_internal.
2326 (bfin_expand_epilogue): Pass return register to
2327 gen_return_internal.
2328 (bfin_expand_call): Explicitly clobber RETS.
2329 * config/bfin/bfin.h (FUNCTION_RETURN_REGISTERS): Define.
2330 * config/bfin/bfin.md (call_symbol_fdpic, call_value_symbol_fdpic,
2331 call_insn_fdpic, call_value_insn_fdpic, call_symbol,
2332 call_value_symbol, call_insn, call_value_insn): Explicitly clobber
2334 (return_internal): Take a reg rtx rather than the register number.
2336 2009-09-03 H.J. Lu <hongjiu.lu@intel.com>
2338 * tree-parloops.c (parallelize_loops): Cast to HOST_WIDE_INT
2339 when comparing against estimated_loop_iterations_int return.
2341 2009-09-03 Richard Guenther <rguenther@suse.de>
2343 * dwarf2out.c (dwarf2out_do_cfi_asm): Remove check of
2344 eh_personality_libfunc.
2346 2009-09-03 Razya Ladelsky <razya@il.ibm.com>
2348 * tree-parloops.c (separate_decls_in_region): Add space.
2350 2009-09-03 Razya Ladelsky <razya@il.ibm.com>
2352 * tree-parloops.c (separate_decls_in_region): Change the condition
2353 checking if there are reductions in the loop.
2355 2009-09-03 Razya Ladelsky <razya@il.ibm.com>
2357 PR tree-optimization/38275
2358 * tree-parloops.c (parallelize_loops): Replace profitability condition
2359 for expected number of iterations.
2361 2009-09-03 Alexandre Oliva <aoliva@redhat.com>
2363 * doc/invoke.texi (BUILD_CONFIG): Document --with-build-config.
2364 (bootstrap-debug): Explain conditions in which it becomes default.
2365 (bootstrap-debug-big): Rather than duplicate bootstrap-debug,
2368 2009-09-03 Namhyung Kim <namhyung@gmail.com>
2370 * doc/invoke.texi (Optimize Options): Move
2371 -finline-small-functions to the -O2 list.
2373 2009-09-03 Alexandre Oliva <aoliva@redhat.com>
2375 * toplev.c (process_options): Enable var-tracking-assignments
2376 by default if var-tracking is enabled.
2378 2009-09-02 David Daney <ddaney@caviumnetworks.com>
2380 * cfgbuild.c (find_bb_boundaries): Split blocks containing a
2382 * emit-rtl.c (prev_nonnote_insn_bb): New function.
2383 * rtl.h (prev_nonnote_insn_bb): Declare it.
2385 2009-09-03 Diego Novillo <dnovillo@google.com>
2387 * cgraph.c (cgraph_node_for_decl): New.
2388 * cgraph.h (cgraph_node_for_decl): Declare.
2389 * tree.c (host_integerp): Return 0 if T is NULL.
2391 2009-09-03 Diego Novillo <dnovillo@google.com>
2393 * tree.h (struct alias_pair): Move from varasm.c.
2394 (alias_pairs): Likewise.
2395 (TYPE_MAXVAL): Define.
2396 (TYPE_MINVAL): Define.
2397 (iterative_hash_host_wide_int): Declare.
2398 (remove_unreachable_alias_pairs): Declare.
2399 * tree-pass.h (pass_ipa_free_lang_data): Declare.
2400 * diagnostic.c (default_diagnostic_starter): Make extern.
2401 (default_diagnostic_finalizer): Make extern.
2402 * diagnostic.h (default_diagnostic_starter): Declare.
2403 (default_diagnostic_finalizer): Declare.
2404 (default_tree_printer): Declare.
2405 * toplev.c (default_tree_printer): Make extern.
2407 2009-09-03 Richard Guenther <rguenther@suse.de>
2408 Diego Novillo <dnovillo@google.com>
2410 * cgraph.c (cgraph_add_new_function): Remove gimplification.
2411 * cgraphunit.c (cgraph_expand_function): Do not emit
2412 associated thunks from here.
2413 (cgraph_emit_thunks): New.
2414 (cgraph_optimize): Call it.
2415 Return if any IPA pass finds an error.
2416 * varasm.c (finish_aliases_1): Ignore errorneous aliases used
2419 2009-09-03 Simon Baldwin <simonb@google.com>
2420 Rafael Espindola <espindola@google.com>
2421 Richard Guenther <rguenther@suse.de>
2422 Doug Kwan <dougkwan@google.com>
2423 Diego Novillo <dnovillo@google.com>
2425 * tree.c: Include tree-pass.h, langhooks-def.h,
2426 diagnostic.h, cgraph.h, timevar.h, except.h and debug.h.
2427 (free_lang_data_in_type): New.
2428 (need_assembler_name_p): New.
2429 (free_lang_data_in_block): New.
2430 (free_lang_data_in_decl): New.
2431 (struct free_lang_data_d): New.
2432 (add_tree_to_fld_list): New.
2433 (find_decls_types_r): New.
2434 (get_eh_types_for_runtime): New.
2435 (find_decls_types_in_eh_region): New.
2436 (find_decls_types_in_node): New.
2437 (find_decls_types_in_var): New.
2438 (free_lang_data_in_cgraph): New.
2439 (free_lang_data): New.
2440 (gate_free_lang_data): New.
2441 (pass_ipa_free_lang_data): New.
2443 2009-09-03 Diego Novillo <dnovillo@google.com>
2445 * timevar.def (TV_IPA_FREE_LANG_DATA): Define.
2446 * langhooks.h (struct lang_hooks): Add field free_lang_data.
2447 (lang_hooks): Remove const qualifier.
2448 * ipa.c (cgraph_remove_unreachable_nodes): Call
2449 remove_unreachable_alias_pairs.
2450 * except.c (add_type_for_runtime): Check if TYPE has
2451 already been converted.
2452 (lookup_type_for_runtime): Likewise.
2453 (check_handled): Handle converted types.
2454 * varasm.c (remove_unreachable_alias_pairs): New.
2455 * gimple.c: Include demangle.h.
2456 (gimple_decl_printable_name): New.
2457 (gimple_fold_obj_type_ref): New.
2458 * gimple.h (gimple_decl_printable_name): Declare.
2459 (gimple_fold_obj_type_ref): Declare.
2460 * passes.c (init_optimization_passes): Add pass
2461 pass_ipa_free_lang_data.
2462 * langhooks-def.h (LANG_HOOKS_FREE_LANG_DATA): Define.
2463 (LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_FREE_LANG_DATA.
2465 2009-09-03 Diego Novillo <dnovillo@google.com>
2467 * c-lang.c (lang_hooks): Remove const qualifier.
2469 2009-09-02 Loren James Rittle <ljrittle@acm.org>
2471 * doc/install.texi (*-*-freebsd*): Update target information.
2473 2009-09-02 Anatoly Sokolov <aesok@post.ru>
2475 * hard-reg-set.h (call_fixed_regs): Remove.
2476 * reginfo.c (call_fixed_regs): Remove.
2477 (init_reg_sets_1): Remove initialization of call_fixed_regs.
2478 (globalize_reg): Don't use call_fixed_regs.
2479 * caller-save.c (init_caller_save): Use call_fixed_reg_set instead of
2482 2009-09-01 Michael Matz <matz@suse.de>
2484 * expr.h (emit_storent_insn, expand_expr_real_1,
2485 expand_expr_real_2): Declare.
2486 * expr.c (emit_storent_insn, expand_expr_real_1,
2487 expand_expr_real_2): Export.
2488 (store_expr): Setting and evaluating dont_return_target is useless.
2489 (expand_expr_real_1, <case GOTO_EXPR, RETURN_EXPR, SWITCH_EXPR,
2490 LABEL_EXPR and ASM_EXPR>): Move to gcc_unreachable.
2491 * except.c (expand_resx_expr): Rename to ...
2492 (expand_resx_stmt): ... this. Rewrite to take gimple statement.
2493 * except.h (expand_resx_stmt): Declare.
2494 * stmt.c: Add include gimple.h
2495 (expand_asm_expr): Rename to ...
2496 (expand_asm_stmt): ... this. Rewrite to take gimple statement.
2497 (expand_case): Rewrite to take gimple statement.
2498 * tree.h (expand_asm_stmt): Declare.
2499 (expand_case): Change prototype.
2500 * Makefile.in (stmt.o): Depend on gimple.h.
2501 * builtins.c (expand_builtin_synchronize): Build gimple asm
2502 statement, not an ASM_EXPR.
2503 * cfgexpand.c (gimple_cond_pred_to_tree, set_expr_location_r,
2504 gimple_to_tree, release_stmt_tree): Remove.
2505 (expand_gimple_cond): Don't call gimple_cond_pred_to_tree or
2506 ggc_free, but hold comparison code and operands separately.
2507 Call jumpif_1 and jumpifnot_1 instead of jumpif and jumpifnot.
2508 (expand_call_stmt, expand_gimple_stmt_1,
2509 expand_gimple_stmt): New helpers.
2510 (expand_gimple_tailcall): Don't call gimple_to_tree, expand_expr_stmt,
2511 release_stmt_tree. Call expand_gimple_stmt instead.
2512 (expand_gimple_basic_block): Ditto.
2514 * calls.c (emit_call_1): Don't look at EH regions here, make
2515 fntree parameter useless.
2516 (expand_call): New local rettype for TREE_TYPE(exp), use it
2517 throughout. Remove local p, use addr instead.
2518 Don't look at EH regions here.
2520 2009-09-02 Vladimir Makarov <vmakarov@redhat.com>
2522 * doc/invoke.texi (-fsched-pressure): Document it.
2523 (-fsched-reg-pressure-heuristic): Remove it.
2525 * reload.c (ira.h): Include.
2526 (find_reloads): Add choosing reload on number of small spilled
2529 * haifa-sched.c (ira.h): Include.
2530 (sched_pressure_p, sched_regno_cover_class, curr_reg_pressure,
2531 saved_reg_pressure, curr_reg_live, saved_reg_live,
2532 region_ref_regs): New variables.
2533 (sched_init_region_reg_pressure_info, mark_regno_birth_or_death,
2534 initiate_reg_pressure_info, setup_ref_regs,
2535 initiate_bb_reg_pressure_info, save_reg_pressure,
2536 restore_reg_pressure, dying_use_p, print_curr_reg_pressure): New
2538 (setup_insn_reg_pressure_info): New function.
2539 (rank_for_schedule): Add pressure checking and insn issue time.
2540 Remove comparison of insn reg weights.
2541 (ready_sort): Set insn reg pressure info.
2542 (update_register_pressure, setup_insn_max_reg_pressure,
2543 update_reg_and_insn_max_reg_pressure,
2544 sched_setup_bb_reg_pressure_info): New functions.
2545 (schedule_insn): Add code for printing and updating reg pressure info.
2546 (find_set_reg_weight, find_insn_reg_weight): Remove.
2547 (ok_for_early_queue_removal): Do nothing if pressure_only_p.
2548 (debug_ready_list): Print reg pressure info.
2549 (schedule_block): Ditto. Check insn issue time.
2550 (sched_init): Set up sched_pressure_p. Allocate and set up some
2551 reg pressure related info.
2552 (sched_finish): Free some reg pressure related info.
2553 (fix_tick_ready): Make insn always ready if pressure_p.
2554 (init_h_i_d): Don't call find_insn_reg_weight.
2555 (haifa_finish_h_i_d): Free insn reg pressure info.
2557 * ira-int.h (ira_hard_regno_cover_class, ira_reg_class_nregs,
2558 ira_memory_move_cost, ira_class_hard_regs,
2559 ira_class_hard_regs_num, ira_no_alloc_regs,
2560 ira_available_class_regs, ira_reg_class_cover_size,
2561 ira_reg_class_cover, ira_class_translate): Move to ira.h.
2563 * ira-lives.c (single_reg_class): Check mode to find how many
2564 registers are necessary for operand.
2565 (ira_implicitly_set_insn_hard_regs): New.
2567 * common.opt (fsched-pressure): New options.
2568 (fsched-reg-pressure-heuristic): Remove.
2570 * ira.c (setup_eliminable_regset): Rename to
2571 ira_setup_eliminable_regset. Make it external.
2572 (expand_reg_info): Pass cover class to setup_reg_classes.
2573 (ira): Call resize_reg_info instead of allocate_reg_info.
2575 * sched-deps.c: Include ira.h.
2576 (implicit_reg_pending_clobbers, implicit_reg_pending_uses): New.
2577 (create_insn_reg_use, create_insn_reg_set, setup_insn_reg_uses,
2578 reg_pressure_info, insn_use_p, mark_insn_pseudo_birth,
2579 mark_insn_hard_regno_birth, mark_insn_reg_birth,
2580 mark_pseudo_death, mark_hard_regno_death, mark_reg_death,
2581 mark_insn_reg_store, mark_insn_reg_clobber,
2582 setup_insn_reg_pressure_info): New.
2583 (sched_analyze_1): Update implicit_reg_pending_uses.
2584 (sched_analyze_insn): Find implicit sets, uses, clobbers of regs.
2585 Use them to create dependencies. Set insn reg uses and pressure
2586 info. Process reg_pending_uses in one place.
2587 (free_deps): Free implicit sets.
2588 (remove_from_deps): Remove implicit sets if necessary. Check
2589 implicit sets when clearing reg_last_in_use.
2590 (init_deps_global): Clear implicit_reg_pending_clobbers and
2591 implicit_reg_pending_uses.
2593 * ira.h (ira_hard_regno_cover_class, ira_reg_class_nregs,
2594 ira_memory_move_cost, ira_class_hard_regs,
2595 ira_class_hard_regs_num, ira_no_alloc_regs,
2596 ira_available_class_regs, ira_reg_class_cover_size,
2597 ira_reg_class_cover, ira_class_translate): Move from ira-int.h.
2598 (ira_setup_eliminable_regset, ira_set_pseudo_classes,
2599 ira_implicitly_set_insn_hard_regs): New prototypes.
2601 * ira-costs.c (pseudo_classes_defined_p, allocno_p,
2602 cost_elements_num): New variables.
2603 (allocno_costs, total_costs): Rename to costs and
2604 total_allocno_costs.
2605 (COSTS_OF_ALLOCNO): Rename to COSTS.
2606 (allocno_pref): Rename to pref.
2607 (allocno_pref_buffer): Rename to pref_buffer.
2608 (common_classes): Rename to regno_cover_class.
2610 (record_reg_classes): Set allocno attributes only if allocno_p.
2611 (record_address_regs): Ditto. Use COST_INDEX instead of ALLOCNO_NUM.
2612 (scan_one_insn): Use COST_INDEX and COSTS instead of ALLOCNO_NUM
2613 and COSTS_OF_ALLOCNO.
2614 (print_costs): Rename to print_allocno_costs.
2615 (print_pseudo_costs): New.
2616 (process_bb_node_for_costs): Split into 2 functions with new
2617 function process_bb_for_costs. Pass BB to process_bb_for_costs.
2618 (find_allocno_class_costs): Rename to find_costs_and_classes. Add
2619 new parameter dump_file. Use cost_elements_num instead of
2620 ira_allocnos_num. Make one iteration if preferred classes were
2621 already calculated for scheduler. Make 2 versions of code
2622 depending on allocno_p.
2623 (setup_allocno_cover_class_and_costs): Check allocno_p. Use
2624 regno_cover_class and COSTS instead of common_classes and
2626 (init_costs, finish_costs): New.
2627 (ira_costs): Set up allocno_p and cost_elements_num. Call
2628 init_costs and finish_costs.
2629 (ira_set_pseudo_classes): New.
2631 * rtl.h (allocate_reg_info): Remove.
2632 (resize_reg_info): Change return type.
2633 (reg_cover_class): New.
2634 (setup_reg_classes): Add new parameter.
2636 * sched-int.h (struct deps_reg): New member implicit_sets.
2637 (sched_pressure_p, sched_regno_cover_class): New external definitions.
2638 (INCREASE_BITS): New macro.
2639 (struct reg_pressure_data, struct reg_use_data): New.
2640 (struct _haifa_insn_data): Remove reg_weight. Add members
2641 reg_pressure, reg_use_list, reg_set_list, and
2642 reg_pressure_excess_cost_change.
2643 (struct deps): New member implicit_sets.
2644 (pressure_p): New variable.
2645 (COVER_CLASS_BITS, INCREASE_BITS): New macros.
2646 (struct reg_pressure_data, struct reg_use_data): New.
2647 (INSN_REG_WEIGHT): Remove.
2648 (INSN_REG_PRESSURE, INSN_MAX_REG_PRESSURE, INSN_REG_USE_LIST,
2649 INSN_REG_SET_LIST, INSN_REG_PRESSURE_EXCESS_COST_CHANGE): New macros.
2650 (sched_init_region_reg_pressure_info,
2651 sched_setup_bb_reg_pressure_info): New prototypes.
2653 * reginfo.c (struct reg_pref): New member coverclass.
2654 (reg_cover_class): New function.
2655 (reginfo_init, pass_reginfo_init): Move after free_reg_info.
2656 (reg_info_size): New variable.
2657 (allocate_reg_info): Make static. Setup reg_info_size.
2658 (resize_reg_info): Use reg_info_size. Return flag of resizing.
2659 (setup_reg_classes): Add a new parameter. Setup cover class too.
2661 * Makefile.in (reload.o, haifa-sched.o, sched-deps.o): Add ira.h to
2664 * sched-rgn.c (deps_join): Set up implicit_sets.
2665 (schedule_region): Set up region and basic blocks pressure
2668 * passes.c (init_optimization_passes): Move
2669 pass_subregs_of_mode_init before pass_sched.
2671 2009-09-02 Martin Jambor <mjambor@suse.cz>
2673 * tree-sra.c (struct access): New field grp_hint.
2674 (dump_access): Dump grp_hint.
2675 (sort_and_splice_var_accesses): Set grp_hint if a group is read
2677 (analyze_access_subtree): Only scalarize accesses with grp_hint set or
2678 those which have been specifically read and somehow written to.
2679 (propagate_subacesses_accross_link): Set grp_hint of right child and
2680 also possibly of the left child.
2682 2009-09-02 Jakub Jelinek <jakub@redhat.com>
2684 * tree-object-size.c (addr_object_size): Always use object_size_type
2685 0 or 2 when determining the pointer pointed object size.
2687 2009-09-02 Richard Guenther <rguenther@suse.de>
2690 2009-08-31 Richard Guenther <rguenther@suse.de>
2692 * builtins.c (fold_builtin_memory_op): Use the alias oracle
2693 to query if the memory regions for memmove overlap.
2694 * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Relax the
2695 asserts on pointers, instead deal with odd trees.
2696 (ptr_derefs_may_alias_p): Likewise.
2697 (refs_may_alias_p_1): Constructor bases also never alias.
2699 2009-08-01 Christian Bruel <christian.bruel@st.com>
2702 2009-07-31 Christian Bruel <christian.bruel@st.com>
2703 * gcc/config.gcc (sh*-*-elf): test with_libgloss.
2705 2009-09-01 Alexandre Oliva <aoliva@redhat.com>
2707 * doc/invoke.texi (-fvar-tracking-assignments): New.
2708 (-fvar-tracking-assignments-toggle): New.
2709 (-fdump-final-insns=file): Mark filename as optional.
2710 (--param min-nondebug-insn-uid): New.
2711 (-gdwarf-@{version}): Mention version 4.
2712 * opts.c (common_handle_option): Accept it.
2713 * tree-vrp.c (find_assert_locations_1): Skip debug stmts.
2714 * regrename.c (regrename_optimize): Drop last. Don't count debug
2715 insns as uses. Don't reject change because of debug insn.
2716 (do_replace): Reject DEBUG_INSN as chain starter. Take base_regno
2717 from the chain starter, and check for inexact matches in DEBUG_INSNS.
2718 (scan_rtx_reg): Accept inexact matches in DEBUG_INSNs.
2719 (build_def_use): Simplify and fix the marking of DEBUG_INSNs.
2720 * sched-ebb.c (schedule_ebbs): Skip boundary debug insns.
2721 * fwprop.c (forward_propagate_and_simplify): ...into debug insns.
2722 * doc/gimple.texi (is_gimple_debug): New.
2723 (gimple_debug_bind_p): New.
2724 (is_gimple_call, gimple_assign_cast_p): End sentence with period.
2725 * doc/install.texi (bootstrap-debug): More details.
2726 (bootstrap-debug-big, bootstrap-debug-lean): Document.
2727 (bootstrap-debug-lib): More details.
2728 (bootstrap-debug-ckovw): Update.
2729 (bootstrap-time): New.
2730 * tree-into-ssa.c (mark_def_sites): Skip debug stmts.
2731 (insert_phi_nodes_for): Insert debug stmts.
2732 (rewrite_stmt): Take iterator. Insert debug stmts.
2733 (rewrite_enter_block): Adjust.
2734 (maybe_replace_use_in_debug_stmt): New.
2735 (rewrite_update_stmt): Use it.
2736 (mark_use_interesting): Return early for debug stmts.
2737 * tree-ssa-loop-im.c (rewrite_bittest): Propagate DEFs into debug
2738 stmts before replacing stmt.
2739 (move_computations_stmt): Likewise.
2740 * ira-conflicts.c (add_copies): Skip debug insns.
2741 * regstat.c (regstat_init_n_sets_and_refs): Discount debug insns.
2742 (regstat_bb_compute_ri): Skip debug insns.
2743 * tree-ssa-threadupdate.c (redirection_block_p): Skip debug stmts.
2744 * tree-ssa-loop-manip.c (find_uses_to_rename_stmt,
2745 check_loop_closed_ssa_stmt): Skip debug stmts.
2746 * tree-tailcall.c (find_tail_calls): Likewise.
2747 * tree-ssa-loop-ch.c (should_duplicate_loop_header_p): Likewise.
2748 * tree.h (MAY_HAVE_DEBUG_STMTS): New.
2749 (build_var_debug_value_stat): Declare.
2750 (build_var_debug_value): Define.
2751 (target_for_debug_bind): Declare.
2752 * reload.c (find_equiv_reg): Skip debug insns.
2753 * rtlanal.c (reg_used_between_p): Skip debug insns.
2754 (side_effects_p): Likewise.
2755 (canonicalize_condition): Likewise.
2756 * ddg.c (create_ddg_dep_from_intra_loop_link): Check that non-debug
2757 insns never depend on debug insns.
2758 (create_ddg_dep_no_link): Likewise.
2759 (add_cross_iteration_register_deps): Use ANTI_DEP for debug insns.
2760 Don't add inter-loop dependencies for debug insns.
2761 (build_intra_loop_deps): Likewise.
2762 (create_ddg): Count debug insns.
2763 * ddg.h (struct ddg::num_debug): New.
2764 (num_backargs): Pair up with previous int field.
2765 * diagnostic.c (diagnostic_report_diagnostic): Skip notes on
2766 -fcompare-debug-second.
2767 * final.c (get_attr_length_1): Skip debug insns.
2768 (rest_of_clean-state): Don't dump CFA_RESTORE_STATE.
2769 * gcc.c (invoke_as): Call compare-debug-dump-opt.
2770 (driver_self_specs): Map -fdump-final-insns to
2771 -fdump-final-insns=..
2772 (get_local_tick): New.
2773 (compare_debug_dump_opt_spec_function): Test for . argument and
2774 compute output name. Compute temp output spec without flag name.
2775 Compute -frandom-seed.
2776 (OPT): Undef after use.
2777 * cfgloopanal.c (num_loop_insns): Skip debug insns.
2778 (average_num_loop_insns): Likewise.
2779 * params.h (MIN_NONDEBUG_INSN_UID): New.
2780 * gimple.def (GIMPLE_DEBUG): New.
2781 * ipa-reference.c (scan_stmt_for_static_refs): Skip debug stmts.
2782 * auto-inc-dec.c (merge_in_block): Skip debug insns.
2783 (merge_in_block): Fix whitespace.
2784 * toplev.c (flag_var_tracking): Update comment.
2785 (flag_var_tracking_assignments): New.
2786 (flag_var_tracking_assignments_toggle): New.
2787 (process_options): Don't open final insns dump file if we're not
2788 going to write to it. Compute defaults for var_tracking.
2789 * df-scan.c (df_insn_rescan_debug_internal): New.
2790 (df_uses_record): Handle debug insns.
2791 * haifa-sched.c (ready): Initialize n_debug.
2792 (contributes_to_priority): Skip debug insns.
2793 (dep_list_size): New.
2795 (rank_for_schedule): Likewise. Schedule debug insns as soon as
2796 they're ready. Disregard previous debug insns to make decisions.
2797 (queue_insn): Never queue debug insns.
2798 (ready_add, ready_remove_first, ready_remove): Count debug insns.
2799 (schedule_insn): Don't reject debug insns because of issue rate.
2800 (get_ebb_head_tail, no_real_insns_p): Skip boundary debug insns.
2801 (queue_to_ready): Skip and discount debug insns.
2802 (choose_ready): Let debug insns through.
2803 (schedule_block): Check boundary debug insns. Discount debug
2804 insns, schedule them early. Adjust whitespace.
2805 (set_priorities): Check for boundary debug insns.
2806 (add_jump_dependencies): Use dep_list_size.
2807 (prev_non_location_insn): New.
2808 (check_cfg): Use it.
2809 * tree-ssa-loop-ivopts.c (find-interesting_users): Skip debug
2811 (remove_unused_ivs): Reset debug stmts.
2812 * modulo-sched.c (const_iteration_count): Skip debug insns.
2813 (res_MII): Discount debug insns.
2814 (loop_single_full_bb_p): Skip debug insns.
2815 (sms_schedule): Likewise.
2816 (sms_schedule_by_order): Likewise.
2817 (ps_has_conflicts): Likewise.
2818 * caller-save.c (refmarker_fn): New.
2819 (save_call_clobbered_regs): Replace regs with saved mem in
2821 (mark_referenced_regs): Take pointer, mark and arg. Adjust.
2822 Call refmarker_fn mark for hardregnos.
2823 (mark_reg_as_referenced): New.
2824 (replace_reg_with_saved_mem): New.
2825 * ipa-pure-const.c (check_stmt): Skip debug stmts.
2826 * cse.c (cse_insn): Canonicalize debug insns. Skip them when
2828 (cse_extended_basic_block): Skip debug insns.
2829 (count_reg_usage): Likewise.
2830 (is_dead_reg): New, split out of...
2831 (set_live_p): ... here.
2832 (insn_live_p): Use it for debug insns.
2833 * tree-stdarg.c (check_all_va_list_escapes): Skip debug stmts.
2834 (execute_optimize_stdarg): Likewise.
2835 * tree-ssa-dom.c (propagate_rhs_into_lhs): Likewise.
2836 * tree-ssa-propagate.c (substitute_and_fold): Don't regard
2837 changes in debug stmts as changes.
2838 * sel-sched.c (moving_insn_creates_bookkeeping_block_p): New.
2839 (moveup_expr): Don't move across debug insns. Don't move
2840 debug insn if it would create a bookkeeping block.
2841 (moveup_expr_cached): Don't use cache for debug insns that
2842 are heads of blocks.
2843 (compute_av_set_inside_bb): Skip debug insns.
2844 (sel_rank_for_schedule): Schedule debug insns first. Remove
2846 (block_valid_for_bookkeeping_p); Support lax searches.
2847 (create_block_for_bookkeeping): Adjust block numbers when
2848 encountering debug-only blocks.
2849 (find_place_for_bookkeeping): Deal with debug-only blocks.
2850 (generate_bookkeeping_insn): Accept no place to insert.
2851 (remove_temp_moveop_nops): New argument full_tidying.
2852 (prepare_place_to_insert): Deal with debug insns.
2853 (advance_state_on_fence): Debug insns don't start cycles.
2854 (update_boundaries): Take fence as argument. Deal with
2856 (schedule_expr_on_boundary): No full_tidying on debug insns.
2857 (fill_insns): Deal with debug insns.
2858 (track_scheduled_insns_and_blocks): Don't count debug insns.
2859 (need_nop_to_preserve_insn_bb): New, split out of...
2860 (remove_insn_from_stream): ... this.
2861 (fur_orig_expr_not_found): Skip debug insns.
2862 * rtl.def (VALUE): Move up.
2864 * tree-ssa-sink.c (all_immediate_uses_same_place): Skip debug stmts.
2865 (nearest_common_dominator_of_uses): Take debug_stmts argument.
2866 Set it if debug stmts are found.
2867 (statement_sink_location): Skip debug stmts. Propagate
2868 moving defs into debug stmts.
2869 * ifcvt.c (first_active_insn): Skip debug insns.
2870 (last_active_insns): Likewise.
2871 (cond_exec_process_insns): Likewise.
2872 (noce_process_if_block): Likewise.
2873 (check_cond_move_block): Likewise.
2874 (cond_move_convert_if_block): Likewise.
2875 (block_jumps_and_fallthru_p): Likewise.
2876 (dead_or_predicable): Likewise.
2877 * dwarf2out.c (debug_str_hash_forced): New.
2878 (find_AT_string): Add comment.
2879 (gen_label_for_indirect_string): New.
2880 (get_debug_string_label): New.
2881 (AT_string_form): Use it.
2882 (mem_loc_descriptor): Handle non-TLS symbols. Handle MINUS , DIV,
2883 MOD, AND, IOR, XOR, NOT, ABS, NEG, and CONST_STRING. Accept but
2884 discard COMPARE, IF_THEN_ELSE, ROTATE, ROTATERT, TRUNCATE and
2885 several operations that cannot be represented with DWARF opcodes.
2886 (loc_descriptor): Ignore SIGN_EXTEND and ZERO_EXTEND. Require
2887 dwarf_version 4 for DW_OP_implicit_value and DW_OP_stack_value.
2888 (dwarf2out_var_location): Take during-call mark into account.
2889 (output_indirect_string): Update comment. Output if there are
2890 label and references.
2891 (prune_indirect_string): New.
2892 (prune_unused_types): Call it if debug_str_hash_forced.
2893 More in dwarf2out.c, from Jakub Jelinek <jakub@redhat.com>:
2894 (dw_long_long_const): Remove.
2895 (struct dw_val_struct): Change val_long_long type to rtx.
2896 (print_die, attr_checksum, same_dw_val_p, loc_descriptor): Adjust for
2897 val_long_long change to CONST_DOUBLE rtx from a long hi/lo pair.
2898 (output_die): Likewise. Use HOST_BITS_PER_WIDE_INT size of each
2899 component instead of HOST_BITS_PER_LONG.
2900 (output_loc_operands): Likewise. For const8* assert
2901 HOST_BITS_PER_WIDE_INT rather than HOST_BITS_PER_LONG is >= 64.
2902 (output_loc_operands_raw): For const8* assert HOST_BITS_PER_WIDE_INT
2903 rather than HOST_BITS_PER_LONG is >= 64.
2904 (add_AT_long_long): Remove val_hi and val_lo arguments, add
2906 (size_of_die): Use HOST_BITS_PER_WIDE_INT size multiplier instead of
2907 HOST_BITS_PER_LONG for dw_val_class_long_long.
2908 (add_const_value_attribute): Adjust add_AT_long_long caller. Don't
2909 handle TLS SYMBOL_REFs. If CONST wraps a constant, tail recurse.
2910 (dwarf_stack_op_name): Handle DW_OP_implicit_value and
2912 (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
2913 Handle DW_OP_implicit_value.
2914 (extract_int): Move prototype earlier.
2915 (mem_loc_descriptor): For SUBREG punt if inner
2916 mode size is wider than DWARF2_ADDR_SIZE. Handle SIGN_EXTEND
2917 and ZERO_EXTEND by DW_OP_shl and DW_OP_shr{a,}. Handle
2918 EQ, NE, GT, GE, LT, LE, GTU, GEU, LTU, LEU, SMIN, SMAX, UMIN,
2919 UMAX, SIGN_EXTRACT, ZERO_EXTRACT.
2920 (loc_descriptor): Compare mode size with DWARF2_ADDR_SIZE
2921 instead of Pmode size.
2922 (loc_descriptor): Add MODE argument. Handle CONST_INT, CONST_DOUBLE,
2923 CONST_VECTOR, CONST, LABEL_REF and SYMBOL_REF if mode != VOIDmode,
2924 attempt to handle other expressions. Don't handle TLS SYMBOL_REFs.
2925 (concat_loc_descriptor, concatn_loc_descriptor,
2926 loc_descriptor_from_tree_1): Adjust loc_descriptor callers.
2927 (add_location_or_const_value_attribute): Likewise. For single
2928 location loc_lists attempt to use add_const_value_attribute
2929 for constant decls. Add DW_AT_const_value even if
2930 NOTE_VAR_LOCATION is VAR_LOCATION with CONSTANT_P or CONST_STRING
2932 * cfgbuild.c (inside_basic_block_p): Handle debug insns.
2933 (control_flow_insn_p): Likewise.
2934 * tree-parloops.c (eliminate_local_variables_stmt): Handle debug stmt.
2935 (separate_decls_in_region_debug_bind): New.
2936 (separate_decls_in_region): Process debug bind stmts afterwards.
2937 * recog.c (verify_changes): Handle debug insns.
2938 (extract_insn): Likewise.
2939 (peephole2_optimize): Skip debug insns.
2940 * dse.c (scan_insn): Skip debug insns.
2941 * sel-sched-ir.c (return_nop_to_pool): Take full_tidying argument.
2943 (setup_id_for_insn): Handle debug insns.
2944 (maybe_tidy_empty_bb): Adjust whitespace.
2945 (tidy_control_flow): Skip debug insns.
2946 (sel_remove_insn): Adjust for debug insns.
2947 (sel_estimate_number_of_insns): Skip debug insns.
2948 (create_insn_rtx_from_pattern): Handle debug insns.
2949 (create_copy_of_insn_rtx): Likewise.
2950 * sel-sched-.h (sel_bb_end): Declare.
2951 (sel_bb_empty_or_nop_p): New.
2952 (get_all_loop_exits): Use it.
2953 (_eligible_successor_edge_p): Likewise.
2954 (return_nop_to_pool): Adjust.
2955 * tree-eh.c (tre_empty_eh_handler_p): Skip debug stmts.
2956 * ira-lives.c (process_bb_node_lives): Skip debug insns.
2957 * gimple-pretty-print.c (dump_gimple_debug): New.
2958 (dump_gimple_stmt): Use it.
2959 (dump_bb_header): Skip gimple debug stmts.
2960 * regmove.c (optimize_reg_copy_1): Discount debug insns.
2961 (fixup_match_2): Likewise.
2962 (regmove_backward_pass): Likewise. Simplify combined
2963 replacement. Handle debug insns.
2964 * function.c (instantiate_virtual_regs): Handle debug insns.
2965 * function.h (struct emit_status): Add x_cur_debug_insn_uid.
2966 * print-rtl.h: Include cselib.h.
2967 (print_rtx): Print VALUEs. Split out and recurse for VAR_LOCATIONs.
2968 * df.h (df_inns_rescan_debug_internal): Declare.
2969 * gcse.c (alloc_hash_table): Estimate n_insns.
2970 (cprop_insn): Don't regard debug insns as changes.
2971 (bypass_conditional_jumps): Skip debug insns.
2972 (one_pre_gcse_pass): Adjust.
2973 (one_code_hoisting_pass): Likewise.
2974 (compute_ld_motion_mems): Skip debug insns.
2975 (one_cprop_pass): Adjust.
2976 * tree-if-conv.c (tree_if_convert_stmt): Reset debug stmts.
2977 (if_convertible_stmt_p): Handle debug stmts.
2978 * init-regs.c (initialize_uninitialized_regs): Skip debug insns.
2979 * tree-vect-loop.c (vect_is_simple_reduction): Skip debug stmts.
2980 * ira-build.c (create_bb_allocnos): Skip debug insns.
2981 * tree-flow-inline.h (has_zero_uses): Discount debug stmts.
2982 (has_single_use): Likewise.
2983 (single_imm_use): Likewise.
2984 (num_imm_uses): Likewise.
2985 * tree-ssa-phiopt.c (empty_block_p): Skip debug stmts.
2986 * tree-ssa-coalesce.c (build_ssa_conflict_graph): Skip debug stmts.
2987 (create_outofssa_var_map): Likewise.
2988 * lower-subreg.c (adjust_decomposed_uses): New.
2989 (resolve_debug): New.
2990 (decompose_multiword_subregs): Use it.
2991 * tree-dfa.c (find_referenced_vars): Skip debug stmts.
2992 * emit-rtl.c: Include params.h.
2993 (cur_debug_insn_uid): Define.
2994 (set_new_first_and_last_insn): Set cur_debug_insn_uid too.
2995 (copy_rtx_if_shared_1): Handle debug insns.
2996 (reset_used_flags): Likewise.
2997 (set_used_flags): LIkewise.
2998 (get_max_insn_count): New.
2999 (next_nondebug_insn): New.
3000 (prev_nondebug_insn): New.
3001 (make_debug_insn_raw): New.
3002 (emit_insn_before_noloc): Handle debug insns.
3003 (emit_jump_insn_before_noloc): Likewise.
3004 (emit_call_insn_before_noloc): Likewise.
3005 (emit_debug_insn_before_noloc): New.
3006 (emit_insn_after_noloc): Handle debug insns.
3007 (emit_jump_insn_after_noloc): Likewise.
3008 (emit_call_insn_after_noloc): Likewise.
3009 (emit_debug_insn_after_noloc): Likewise.
3010 (emit_insn_after): Take loc from earlier non-debug insn.
3011 (emit_jump_insn_after): Likewise.
3012 (emit_call_insn_after): Likewise.
3013 (emit_debug_insn_after_setloc): New.
3014 (emit_debug_insn_after): New.
3015 (emit_insn_before): Take loc from later non-debug insn.
3016 (emit_jump_insn_before): Likewise.
3017 (emit_call_insn_before): Likewise.
3018 (emit_debug_insn_before_setloc): New.
3019 (emit_debug_insn_before): New.
3020 (emit_insn): Handle debug insns.
3021 (emit_debug_insn): New.
3022 (emit_jump_insn): Handle debug insns.
3023 (emit_call_insn): Likewise.
3025 (init_emit): Take min-nondebug-insn-uid into account.
3026 Initialize cur_debug_insn_uid.
3027 (emit_copy_of_insn_after): Handle debug insns.
3028 * cfgexpand.c (gimple_assign_rhs_to_tree): Do not overwrite
3029 location of single rhs in place.
3030 (maybe_dump_rtl_for_gimple_stmt): Dump lineno.
3031 (floor_sdiv_adjust): New.
3032 (cell_sdiv_adjust): New.
3033 (cell_udiv_adjust): New.
3034 (round_sdiv_adjust): New.
3035 (round_udiv_adjust): New.
3036 (wrap_constant): Moved from cselib.
3037 (unwrap_constant): New.
3038 (expand_debug_expr): New.
3039 (expand_debug_locations): New.
3040 (expand_gimple_basic_block): Drop hiding redeclaration. Expand
3042 (gimple_expand_cfg): Expand debug locations.
3043 * cselib.c: Include tree-pass.h.
3044 (struct expand_value_data): New.
3045 (cselib_record_sets_hook): New.
3046 (PRESERVED_VALUE_P, LONG_TERM_PRESERVED_VALUE_P): New.
3047 (cselib_clear_table): Move, and implemnet in terms of...
3048 (cselib_reset_table_with_next_value): ... this.
3049 (cselib_get_next_unknown_value): New.
3050 (discard_useless_locs): Don't discard preserved values.
3051 (cselib_preserve_value): New.
3052 (cselib_preserved_value_p): New.
3053 (cselib_preserve_definitely): New.
3054 (cselib_clear_preserve): New.
3055 (cselib_preserve_only_values): New.
3056 (new_cselib_val): Take rtx argument. Dump it in details.
3057 (cselib_lookup_mem): Adjust.
3058 (expand_loc): Take regs_active in struct. Adjust. Silence
3059 dumps unless details are requested.
3060 (cselib_expand_value_rtx_cb): New.
3061 (cselib_expand_value_rtx): Rename and reimplment in terms of...
3062 (cselib_expand_value_rtx_1): ... this. Adjust. Silence dumps
3063 without details. Copy more subregs. Try to resolve values
3064 using a callback. Wrap constants.
3065 (cselib_subst_to_values): Adjust.
3066 (cselib_log_lookup): New.
3067 (cselib_lookup): Call it.
3068 (cselib_invalidate_regno): Don't count preserved values as useless.
3069 (cselib_invalidate_mem): Likewise.
3070 (cselib_record_set): Likewise.
3071 (struct set): Renamed to cselib_set, moved to cselib.h.
3072 (cselib_record_sets): Adjust. Call hook.
3073 (cselib_process_insn): Reset table when it would be cleared.
3074 (dump_cselib_val): New.
3075 (dump_cselib_table): New.
3076 * tree-cfgcleanup.c (tree_forwarded_block_p): Skip debug stmts.
3077 (remove_forwarder_block): Support moving debug stmts.
3078 * cselib.h (cselib_record_sets_hook): Declare.
3079 (cselib_expand_callback): New type.
3080 (cselib_expand_value_rtx_cb): Declare.
3081 (cselib_reset_table_with_next_value): Declare.
3082 (cselib_get_next_unknown_value): Declare.
3083 (cselib_preserve_value): Declare.
3084 (cselib_preserved_value_p): Declare.
3085 (cselib_preserve_only_values): Declare.
3086 (dump_cselib_table): Declare.
3087 * cfgcleanup.c (flow_find_cross_jump): Skip debug insns.
3088 (try_crossjump_to_edge): Likewise.
3089 (delete_unreachable_blocks): Remove dominant GIMPLE blocks after
3090 dominated blocks when debug stmts are present.
3091 * simplify-rtx.c (delegitimize_mem_from_attrs): New.
3092 * tree-ssa-live.c (remove_unused_locals): Skip debug stmts.
3093 (set_var_live_on_entry): Likewise.
3094 * loop-invariant.c (find_invariants_bb): Skip debug insns.
3095 * cfglayout.c (curr_location, last_location): Make static.
3096 (set_curr_insn_source_location): Don't avoid bouncing.
3097 (get_curr_insn_source_location): New.
3098 (get_curr_insn_block): New.
3099 (duplicate_insn_chain): Handle debug insns.
3100 * tree-ssa-forwprop.c (forward_propagate_addr_expr): Propagate
3102 * common.opt (fcompare-debug): Move to sort order.
3103 (fdump-unnumbered-links): Likewise.
3104 (fvar-tracking-assignments): New.
3105 (fvar-tracking-assignments-toggle): New.
3106 * tree-ssa-dce.c (mark_stmt_necessary): Don't mark blocks
3107 because of debug stmts.
3108 (mark_stmt_if_obviously_necessary): Mark debug stmts.
3109 (eliminate_unnecessary_stmts): Walk dominated blocks before
3111 * tree-ssa-ter.c (find_replaceable_in_bb): Skip debug stmts.
3112 * ira.c (memref_used_between_p): Skip debug insns.
3113 (update_equiv_regs): Likewise.
3114 * sched-deps.c (sd_lists_size): Accept empty list.
3115 (sd_init_insn): Mark debug insns.
3116 (sd_finish_insn): Unmark them.
3117 (sd_add_dep): Reject non-debug deps on debug insns.
3118 (fixup_sched_groups): Give debug insns group treatment.
3120 (sched_analyze_reg): Don't mark debug insns for sched before call.
3121 (sched_analyze_2): Handle debug insns.
3122 (sched_analyze_insn): Compute next non-debug insn. Handle debug
3124 (deps_analyze_insn): Handle debug insns.
3125 (deps_start_bb): Skip debug insns.
3126 (init_deps): Initialize last_debug_insn.
3127 * tree-ssa.c (target_for_debug_bind): New.
3128 (find_released_ssa_name): New.
3129 (propagate_var_def_into_debug_stmts): New.
3130 (propagate_defs_into_debug_stmts): New.
3131 (verify_ssa): Skip debug bind stmts without values.
3132 (warn_uninialized_vars): Skip debug stmts.
3133 * target-def.h (TARGET_DELEGITIMIZE_ADDRESS): Set default.
3134 * rtl.c (rtx_equal_p_cb): Handle VALUEs.
3135 (rtx_equal_p): Likewise.
3136 * ira-costs.c (scan_one_insn): Skip debug insns.
3137 (process_bb_node_for_hard_reg_moves): Likewise.
3138 * rtl.h (DEBUG_INSN_P): New.
3139 (NONDEBUG_INSN_P): New.
3140 (MAY_HAVE_DEBUG_INSNS): New.
3141 (INSN_P): Accept debug insns.
3142 (RTX_FRAME_RELATED_P): Likewise.
3143 (INSN_DELETED_P): Likewise
3144 (PAT_VAR_LOCATION_DECL): New.
3145 (PAT_VAR_LOCATION_LOC): New.
3146 (PAT_VAR_OCATION_STATUS): New.
3147 (NOTE_VAR_LOCATION_DECL): Reimplement.
3148 (NOTE_VAR_LOCATION_LOC): Likewise.
3149 (NOTE_VAR_LOCATION_STATUS): Likewise.
3150 (INSN_VAR_LOCATION): New.
3151 (INSN_VAR_LOCATION_DECL): New.
3152 (INSN_VAR_LOCATION_LOC): New.
3153 (INSN_VAR_LOCATION_STATUS): New.
3154 (gen_rtx_UNKNOWN_VAR_LOC): New.
3155 (VAR_LOC_UNKNOWN_P): New.
3156 (NOTE_DURING_CALL_P): New.
3157 (SCHED_GROUP_P): Accept debug insns.
3158 (emit_debug_insn_before): Declare.
3159 (emit_debug_insn_before_noloc): Declare.
3160 (emit_debug_insn_beore_setloc): Declare.
3161 (emit_debug_insn_after): Declare.
3162 (emit_debug_insn_after_noloc): Declare.
3163 (emit_debug_insn_after_setloc): Declare.
3164 (emit_debug_insn): Declare.
3165 (make_debug_insn_raw): Declare.
3166 (prev_nondebug_insn): Declare.
3167 (next_nondebug_insn): Declare.
3168 (delegitimize_mem_from_attrs): Declare.
3169 (get_max_insn_count): Declare.
3170 (wrap_constant): Declare.
3171 (unwrap_constant): Declare.
3172 (get_curr_insn_source_location): Declare.
3173 (get_curr_insn_block): Declare.
3174 * tree-inline.c (insert_debug_decl_map): New.
3175 (processing_debug_stmt): New.
3176 (remap_decl): Don't create new mappings in debug stmts.
3177 (remap_gimple_op_r): Don't add references in debug stmts.
3178 (copy_tree_body_r): Likewise.
3179 (remap_gimple_stmt): Handle debug bind stmts.
3180 (copy_bb): Skip debug stmts.
3181 (copy_edges_for_bb): Likewise.
3182 (copy_debug_stmt): New.
3183 (copy_debug_stmts): New.
3184 (copy_body): Copy debug stmts at the end.
3185 (insert_init_debug_bind): New.
3186 (insert_init_stmt): Take id. Skip and emit debug stmts.
3187 (setup_one_parameter): Remap variable earlier, register debug mapping.
3188 (estimate_num_insns): Skip debug stmts.
3189 (expand_call_inline): Preserve debug_map.
3190 (optimize_inline_calls): Check for no debug_stmts left-overs.
3191 (unsave_expr_now): Preserve debug_map.
3192 (copy_gimple_seq_and_replace_locals): Likewise.
3193 (tree_function_versioning): Check for no debug_stmts left-overs.
3194 Init and destroy debug_map as needed. Split edges unconditionally.
3195 (build_duplicate_type): Init and destroy debug_map as needed.
3196 * tree-inline.h: Include gimple.h instead of pointer-set.h.
3197 (struct copy_body_data): Add debug_stmts and debug_map.
3198 * sched-int.h (struct ready_list): Add n_debug.
3199 (struct deps): Add last_debug_insn.
3200 (DEBUG_INSN_SCHED_P): New.
3201 (BOUNDARY_DEBUG_INSN_P): New.
3202 (SCHEDULE_DEBUG_INSN_P): New.
3203 (sd_iterator_cond): Accept empty list.
3204 * combine.c (create_log_links): Skip debug insns.
3205 (combine_instructions): Likewise.
3206 (cleanup_auto_inc_dec): New. From Jakub Jelinek: Make sure the
3207 return value is always unshared.
3208 (struct rtx_subst_pair): New.
3209 (auto_adjust_pair): New.
3210 (propagate_for_debug_subst): New.
3211 (propagate_for_debug): New.
3212 (try_combine): Skip debug insns. Propagate removed defs into
3214 (next_nonnote_nondebug_insn): New.
3215 (distribute_notes): Use it. Skip debug insns.
3216 (distribute_links): Skip debug insns.
3217 * tree-outof-ssa.c (set_location_for_edge): Likewise.
3218 * resource.c (mark_target_live_regs): Likewise.
3219 * var-tracking.c: Include cselib.h and target.h.
3220 (enum micro_operation_type): Add MO_VAL_USE, MO_VAL_LOC, and
3222 (micro_operation_type_name): New.
3223 (enum emit_note_where): Add EMIT_NOTE_AFTER_CALL_INSN.
3224 (struct micro_operation_def): Update comments.
3225 (decl_or_value): New type. Use instead of decls.
3226 (struct emit_note_data_def): Add vars.
3227 (struct attrs_def): Use decl_or_value.
3228 (struct variable_tracking_info_def): Add permp, flooded.
3229 (struct location_chain_def): Update comment.
3230 (struct variable_part_def): Use decl_or_value.
3231 (struct variable_def): Make var_part a variable length array.
3233 (scratch_regs): New.
3234 (cselib_hook_called): New.
3235 (dv_is_decl_p): New.
3236 (dv_is_value_p): New.
3239 (dv_as_opaque): New.
3240 (dv_onepart_p): New.
3242 (IS_DECL_CODE): New.
3243 (check_value_is_not_decl): New.
3244 (dv_from_decl): New.
3245 (dv_from_value): New.
3246 (dv_htab_hash): New.
3247 (variable_htab_hash): Use it.
3248 (variable_htab_eq): Support values.
3249 (variable_htab_free): Free from the right pool.
3250 (attrs_list_member, attrs_list_insert): Use decl_or_value.
3251 (attrs_list_union): Adjust.
3252 (attrs_list_mpdv_union): New.
3253 (tie_break_pointers): New.
3254 (canon_value_cmp): New.
3255 (unshare_variable): Return possibly-modified slot.
3256 (vars_copy_1): Adjust.
3257 (var_reg_decl_set): Adjust. Split out of...
3258 (var_reg_set): ... this.
3259 (get_init_value): Adjust.
3260 (var_reg_delete_and_set): Adjust.
3261 (var_reg_delete): Adjust.
3262 (var_regno_delete): Adjust.
3263 (var_mem_decl_set): Split out of...
3264 (var_mem_set): ... this.
3265 (var_mem_delete_and_set): Adjust.
3266 (var_mem_delete): Adjust.
3270 (variable_union): Adjust. Speed up merge of 1-part vars.
3271 (variable_canonicalize): Use unshared slot.
3272 (VALUED_RECURSED_INTO): New.
3273 (find_loc_in_1pdv): New.
3274 (struct dfset_merge): New.
3275 (insert_into_intersection): New.
3276 (intersect_loc_chains): New.
3278 (canonicalize_loc_order_check): New.
3279 (canonicalize_values_mark): New.
3280 (canonicalize_values_star): New.
3281 (variable_merge_over_cur): New.
3282 (variable_merge_over_src): New.
3283 (dataflow_set_merge): New.
3284 (dataflow_set_equiv_regs): New.
3285 (remove_duplicate_values): New.
3286 (struct dfset_post_merge): New.
3287 (variable_post_merge_new_vals): New.
3288 (variable_post_merge_perm_vals): New.
3289 (dataflow_post_merge_adjust): New.
3290 (find_mem_expr_in_1pdv): New.
3291 (dataflow_set_preserve_mem_locs): New.
3292 (dataflow_set_remove_mem_locs): New.
3293 (dataflow_set_clear_at_call): New.
3294 (onepart_variable_different_p): New.
3295 (variable_different_p): Use it.
3296 (dataflow_set_different_1): Adjust. Make detailed dump more verbose.
3297 (track_expr_p): Add need_rtl parameter. Don't generate rtl
3299 (track_loc_p): Pass it true.
3300 (struct count_use_info): New.
3301 (find_use_val): New.
3302 (replace_expr_with_values): New.
3304 (use_type): New, partially split out of...
3305 (count_uses): ... this. Count new micro-ops.
3306 (count_uses_1): Adjust.
3307 (count_stores): Adjust.
3308 (count_with_sets): New.
3309 (VAL_NEEDS_RESOLUTION): New.
3310 (VAL_HOLDS_TRACK_EXPR): New.
3311 (VAL_EXPR_IS_COPIED): New.
3312 (VAL_EXPR_IS_CLOBBERED): New.
3313 (add_uses): Adjust. Generate new micro-ops.
3314 (add_uses_1): Adjust.
3315 (add_stores): Generate new micro-ops.
3316 (add_with_sets): New.
3317 (find_src_status): Adjust.
3318 (find_src_set_src): Adjust.
3319 (compute_bb_dataflow): Use dataflow_set_clear_at_call.
3320 Handle new micro-ops. Canonicalize value equivalances.
3321 (vt_find_locations): Compute total size of hash tables for
3322 dumping. Perform merge for var-tracking-assignments. Don't
3323 disregard single-block loops.
3324 (dump_attrs_list): Handle decl_or_value.
3325 (dump_variable): Take variable. Deal with decl_or_value.
3326 (dump_variable_slot): New.
3327 (dump_vars): Use it.
3328 (dump_dataflow_sets): Adjust.
3329 (set_slot_part): New, extended to support one-part variables
3330 after splitting out of...
3331 (set_variable_part): ... this.
3332 (clobber_slot_part): New, split out of...
3333 (clobber_variable_part): ... this.
3334 (delete_slot_part): New, split out of...
3335 (delete_variable_part): .... this.
3336 (check_wrap_constant): New.
3337 (vt_expand_loc_callback): New.
3338 (vt_expand_loc): New.
3339 (emit_note_insn_var_location): Adjust. Handle values. Handle
3340 EMIT_NOTE_AFTER_CALL_INSN.
3341 (emit_notes_for_differences_1): Adjust. Handle values.
3342 (emit_notes_for_differences_2): Likewise.
3343 (emit_notes_for_differences): Adjust.
3344 (emit_notes_in_bb): Take pointer to set. Emit AFTER_CALL_INSN notes.
3345 Adjust. Handle new micro-ops.
3346 (vt_add_function_parameters): Adjust. Create and bind values.
3347 (vt_initialize): Adjust. Initialize scratch_regs and
OSDN Git Service
