OSDN Git Service

76f606046f8ab756be3a8fb5addf0e902d171f16
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2009-08-19  Jason Merrill  <jason@redhat.com>
2
3         * doc/invoke.texi (C++ Dialect Options): Note change of minimum
4         supported template depth in C++0x.
5
6 2009-08-19  Jakub Jelinek  <jakub@redhat.com>
7
8         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Don't call
9         free_after_compilation.
10         * config/score/score7.c (score7_output_mi_thunk): Likewise.
11         * config/score/score3.c (score3_output_mi_thunk): Likewise.
12         * config/ia64/ia64.c (ia64_output_mi_thunk): Likewise.
13         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
14         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
15         * config/m68k/m68k.c (m68k_output_mi_thunk): Likewise.
16         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
17
18 2009-08-19  Ian Lance Taylor  <iant@google.com>
19
20         * doc/md.texi (Insn Canonicalizations): Correct canonicalization
21         of (plus (mult (neg B) C) A).
22
23 2009-08-18  Michael Matz  <matz@suse.de>
24
25         * omp-low.c (optimize_omp_library_calls): Use types_compatible_p
26         instead of comparing TYPE_MAIN_VARIANT for equality.
27         * tree-vect-patterns.c (vect_recog_dot_prod_pattern,
28         vect_recog_widen_mult_pattern, vect_recog_widen_sum_pattern): Ditto.
29         * tree-vect-loop.c (vect_is_simple_reduction): Ditto.
30         * gimplify.c (goa_lhs_expr_p): Ditto and use
31         STRIP_USELESS_TYPE_CONVERSION.
32
33 2009-08-18  Michael Matz  <matz@suse.de>
34
35         * tree-ssa-structalias.c (create_variable_info_for): Also mark
36         first field in a struct.
37         (intra_create_variable_infos): Don't deal with flag_argument_noalias.
38
39 2009-08-18  Uros Bizjak  <ubizjak@gmail.com>
40
41         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Allocate insn
42         locators before emit_insn is called.  Remove assert that
43         cfun->is_thunk.
44         (alpha_end_function): Clear crtl->emit structure and free insn
45         locators if cfun->is_thunk is true.
46
47 2009-08-18  Jason Merrill  <jason@redhat.com>
48
49         * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use gnu_unique_object
50         type if available.
51         * configure.ac: Test for it.
52         * configure, config.in: Regenerate.
53         * doc/install.texi: Document --enable-gnu-unique-object.
54
55 2009-08-18  Richard Guenther  <rguenther@suse.de>
56
57         PR middle-end/41094
58         * builtins.c (fold_builtin_pow): Fold pow(pow(x,y),z) to
59         pow(x,y*z) only if x is nonnegative.
60
61 2009-08-18  Jakub Jelinek  <jakub@redhat.com>
62
63         * bb-reorder.c (fix_up_fall_thru_edges): Only call invert_jump
64         on jumps.
65
66         PR target/40971
67         * config/rs6000/rs6000.c (rs6000_legitimize_address): For
68         [DT][FDI]mode ensure the offset isn't 4/8/12 bytes below 0x8000.
69
70 2009-08-17  DJ Delorie  <dj@redhat.com>
71
72         * config/m32c/m32c.md (UNS_FSETB, UNS_FREIT): New.
73         * config/m32c/prologue.md (epilogue_freit): New.
74         (fset_b): New.
75         * config/m32c/m32c.c (m32c_function_needs_enter): Add prototype.
76         (bank_switch_p): Likewise.
77         (fast_interrupt_p): Likewise.
78         (interrupt_p): Likewise.
79         (m32c_conditional_register_usage): Round memregs size up.
80         (need_to_save): We only need to save $a0 when we use ENTER.
81         (interrupt_p): Check for fast_interrupt too.
82         (bank_switch_p): New.
83         (fast_interrupt_p): New.
84         (m32c_attribute_table): Add bank_switch and fast_interrupt.
85         (m32c_emit_prolog): Support bank switching and fast interrupts.
86         * doc/extend.texi (Function Attributes): Add bank_switch and
87         fast_interrupt.
88
89 2009-08-17  Douglas B Rupp  <rupp@gnat.com>
90
91         * config/alpha/alpha.c (vms_valid_pointer_mode): New function.
92         * config/alpha/vms.h (TARGET_VALID_POINTER_MODE): Define.
93
94 2009-08-16  Douglas B Rupp  <rupp@gnat.com>
95
96         * doc/invoke.texi (Target options):
97         Add new option list for IA-64/VMS.
98         (menu): Add IA-64/VMS Options.
99         (IA-64/VMS Options): Likewise.
100
101 2009-08-16  Richard Sandiford  <rdsandiford@googlemail.com>
102
103         PR target/38599
104         * config/mips/mips.md (*lwxs): Use :P for pointer values.
105
106 2009-08-16  Richard Sandiford  <rdsandiford@googlemail.com>
107
108         * config/mips/mips-protos.h (mips_push_asm_switch): New function.
109         (mips_pop_asm_switch): Likewise.
110         * config/mips/mips.c (set_noreorder, set_nomacro, set_noat): Replace
111         with...
112         (mips_noreorder, mips_nomacro, mips_noat): ...these new variables.
113         (mips_push_asm_switch_1, mips_pop_asm_switch_1): New functions.
114         (mips_push_asm_switch, mips_pop_asm_switch): Likewise.
115         (mips_print_operand_punctuation): Use them.  Check mips_noreorder
116         instead of set_noreorder.
117         (mips_output_function_prologue): Use the new functions.
118         (mips_output_function_epilogue): Likewise.
119         (mips_need_noat_wrapper_p): New function, split out from...
120         (mips_final_prescan_insn, mips_final_postscan_insn): ...here.
121         Use mips_push_asm_switch and mips_pop_asm_switch.
122         * config/mips/mips.h (FUNCTION_PROFILER): Use mips_push_asm_switch
123         and mips_pop_asm_switch.
124         (ASM_OUTPUT_REG_POP): Likewise.
125         (DBR_OUTPUT_SEQEND): Remove boilerplate comment.
126         Use mips_pop_asm_switch.
127         (mips_asm_switch): New structure.
128         (set_noreorder, set_nomacro): Replace with...
129         (mips_noreorder, mips_nomacro, mips_noat): ...these new variables.
130         * config/mips/mips.md (fix_truncdfsi2_macro): Use mips_nomacro
131         instead of set_nomacro.
132         (fix_truncsfsi2_macro): Likewise.
133         (cprestore): Likewise.
134         (hazard): Use mips_noreorder instead of set_noreorder.
135         * config/mips/sdemtk.h (FUNCTION_PROFILER): As for mips.h.
136
137 2009-08-16  Uros Bizjak  <ubizjak@gmail.com>
138
139         * config/alpha/alpha.c (alpha_and_function): Handle NULL_RTX returned
140         from prev_active_insn.
141
142 2009-08-16  Anatoly Sokolov  <aesok@post.ru>
143
144         * config/avr/avr.h (AVR_HAVE_8BIT_SP): New macros.
145         * config/avr/avr.c (avr_override_options): Initialize
146         avr_current_arch variable.
147         (avr_cpu_cpp_builtins): Define __AVR_HAVE_8BIT_SP__ or
148         __AVR_HAVE_16BIT_SP__ according to the device type.
149         (expand_prologue, output_movhi): Use AVR_HAVE_8BIT_SP instead of
150         TARGET_TINY_STACK.
151         (expand_epilogue): Use correct QI mode frame pointer for tiny stack.
152         Use AVR_HAVE_8BIT_SP instead of TARGET_TINY_STACK.
153
154 2009-08-16  Dodji Seketeli  <dodji@redhat.com>
155
156         PR debug/37801
157         * gcc/dwarf2out.c (gen_inlined_subroutine_die): Concentrate on
158         generating inlined subroutine die only. We shouldn't be
159         called for anything else.
160         (gen_block_die): Don't generate inline subroutine debug info for
161         abstract blocks.
162
163 2009-08-15  Sebastian Pop  <sebastian.pop@amd.com>
164
165         * graphite-poly.c (print_pbb): Print PBB index.
166
167 2009-08-15  Sebastian Pop  <sebastian.pop@amd.com>
168
169         PR middle-end/40981
170         * graphite-interchange.c (ppl_max_for_le): Moved...
171         * graphite-poly.c (pbb_number_of_iterations): Call ppl_max_for_le.
172         * graphite-ppl.c (ppl_max_for_le): ... here.  Correct the use of
173         ppl_Pointset_Powerset_C_Polyhedron_maximize.
174         * graphite-ppl.h (ppl_max_for_le): Declared.
175
176 2009-08-14  Olatunji Ruwase <tjruwase@google.com>
177
178         * doc/extend.texi (Symbol-Renaming Pragmas): redefine_extname is
179         supported on all platforms.
180         * target.h (struct gcc_target): Remove
181         handle_pragma_redefine_extname.
182         * c-cppbuiltin.c: Remove use of
183         targetm.handle_pragma_redefine_extname.
184         * c-pragma.c: Likewise.
185         * target-def.h (TARGET_INITIALIZER): Remove
186         TARGET_HANDLE_PRAGMA_REDEFINE_EXTNAME.
187         * config/sol2.h: Remove use of
188         TARGET_HANDLE_PRAGMA_REDEFINE_EXTNAME.
189
190 2009-08-14  Douglas B Rupp  <rupp@gnat.com>
191
192         * config/ia64/fde-vms.c: New file.
193         * config/ia64/fde-glibc.c (_Unwind_FindTableEntry): Add dummy arg.
194         * config/ia64/unwind-ia64.c (UNW_ accessors): Move to unwind-ia64.h
195         (MD_UNW_COMPATIBLE_PERSONALITY_P): Provide default.
196         (uw_frame_state_for): Only register a personality routine if it is
197         known to be compatible with our expectations.
198         (_Unwind_FindEnclosingFunction, uw_frame_state_for):
199         Declare unw_table_entry stack variable and
200         mod all calls to _Unwind_FindTableEntry to add arg.
201         * config/ia64/unwind-ia64.h (UNW_ accessors): Move here.
202         (_Unwind_FindTableEntry): Add arg to prototype.
203
204 2009-08-14  Eric Botcazou  <ebotcazou@adacore.com>
205
206         * config/ia64/unwind-ia64.c (struct _Unwind_Context): Add new
207         field 'signal_pfs_loc'.
208         (uw_frame_state_for): Remove duplicate code dealing with leaf
209         procedures without unwind info.
210         If in the frame after unwinding through a signal handler, restore
211         the AR.PFS register instead of the CFM if AR.PFS has not been saved.
212         * config/ia64/linux-unwind.h (ia64_fallback_frame_state): Do not set
213         'pfs_loc' to the AR.PFS location in the signal context; instead
214         set 'signal_pfs_loc'.
215         Manually generate the unwind info for the AR.PFS register.
216         (ABI_MARKER_OLD_LINUX_SIGTRAMP, ABI_MARKER_OLD_LINUX_INTERRUPT,
217         ABI_MARKER_LINUX_SIGTRAMP, ABI_MARKER_LINUX_INTERRUPT): Define.
218         (ia64_handle_unwabi): Test 'fs->unwabi' against them.
219         Do not set 'pfs_loc' to the AR.PFS location in the signal context;
220         instead set 'signal_pfs_loc'.
221         Remove code preventing the AR.PFS register from being restored
222         from the signal context.
223
224 2009-08-14  Douglas B Rupp  <rupp@gnat.com>
225             Tristan Gingold  <gingold@adacore.com>
226
227         * config.gcc (ia64-hp-*vms*): Insert ia64/t-ia64 in tmake_file.
228         * config/ia64/t-vms: New file.
229         * config/ia64/vms64.h: New file.
230         * config/ia64/vms.h: New file.
231         * config/ia64/vms-crtinit.asm: New file.
232         * config/ia64/vms_symvec_libgcc_s.opt: New file.
233         * config/ia64/vms-unwind.h: New file.
234
235 2009-08-14  Uros Bizjak  <ubizjak@gmail.com>
236
237         * config/alpha/alpha.c (alpha_emit_conditional_move): Handle
238         TFmode compares.
239
240 2009-08-14  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
241
242         PR middle-end/30789
243         * builtins.c (do_mpc_arg2): Make extern, define for any MPC
244         version.  Move declaration...
245         * real.h (do_mpc_arg2): ... here.
246         * fold-const.c (const_binop): Use MPC for complex MULT_EXPR
247         and RDIV_EXPR.
248
249 2009-08-14  Rafael Avila de Espindola  <espindola@google.com>
250
251         * final.c (add_debug_prefix_map): Don't use GC memory for
252         old_prefix and new_prefix.
253
254 2009-08-14  Richard Guenther  <rguenther@suse.de>
255
256         * ipa-prop.c (compute_complex_pass_through): If we cannot
257         compute a non-varying offset for IPA_JF_ANCESTOR punt.
258
259 2009-08-14  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
260
261         * c-lex.c (c_lex_with_flags): Increase size of local variable
262         to avoid memory clobber.
263
264 2009-08-14  Paolo Bonzini  <bonzini@gnu.org>
265
266         PR target/40934
267         * config/i386/i386.c (ix86_fp_comparison_strategy):
268         Only enable/disable sahf at function granularity.
269
270 2009-08-14  Hans-Peter Nilsson  <hp@axis.com>
271
272         PR rtl-optimization/41064
273         * reload1.c (reload_as_needed): Don't call extract_insn
274         for known invalid replacements after calling
275         validate_replace_rtx_group and verify_changes.
276
277 2009-08-14  Uros Bizjak  <ubizjak@gmail.com>
278
279         PR target/41019
280         * config/i386/sse.md (SSEMODE124C8): New mode iterator.
281         (vcond<SSEMODEF2P:mode>): Assert that operation is supported by
282         ix86_expand_fp_vcond.
283         (vcond<SSEMODE124C8:mode>): Use SSEMODE124C8 instead of SSEMODE124.
284         Assert that operation is supported by ix86_expand_int_vcond.
285         (vcondu<SSEMODE124C8:mode>): Ditto.
286
287 2009-08-13  DJ Delorie  <dj@redhat.com>
288
289         * config/i386/djgpp-stdint.h: New.
290         * config.gcc (djgpp): Use it.
291
292 2009-08-13  Kaz Kojima  <kkojima@gcc.gnu.org>
293
294         * config/sh/sh.c (sh_override_options): When flag_exceptions or
295         flag_unwind_tables is on, turn flag_reorder_blocks_and_partition off.
296
297 2009-08-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>
298
299         * tree-ssa-loop-prefetch.c
300         (prune_ref_by_group_reuse): Enhance probabilistic analysis
301         for long-stride pruning.
302         (compute_miss_rate): New function to compute the probability
303         that two memory references access different cache lines.
304
305 2009-08-13  Dave Korn  <dave.korn.cygwin@gmail.com>
306
307         * gcc/config/i386/cygwin.h (LINK_SPEC): Add --enable-auto-image-base.
308
309 2009-08-13  Richard Guenther  <rguenther@suse.de>
310
311         PR middle-end/41047
312         * tree-ssa-ccp.c (ccp_fold): When folding pointer additions
313         use the constant pointer type.
314         * gimplify.c (canonicalize_addr_expr): Canonicalize independent
315         of CV qualifiers on the target pointer type.
316         * tree-ssa.c (useless_type_conversion_p): Move incomplete pointer
317         conversion check before restrict check.
318
319 2009-08-12  Kaz Kojima  <kkojima@gcc.gnu.org>
320
321         PR target/41029
322         * config/sh/sh.md (reload_outdf__RnFRm+4): Fix thinko.
323
324 2009-08-12  Kaz Kojima  <kkojima@gcc.gnu.org>
325
326         * config/sh/sh.c (sh_promote_function_mode): Add ATTRIBUTE_UNUSED.
327
328 2009-08-12  Richard Guenther  <rguenther@suse.de>
329
330         PR tree-optimization/41011
331         * ipa-cp.c (ipcp_lattice_from_jfunc): Deal with failing fold
332         and reference constructing.
333
334 2009-08-12  Xinliang David Li  <davidxl@google.com>
335
336         PR tree-optimization/41012
337         * tree-flow.h : New external interface.
338         * gimple-low.c (check_call_arg): Change to public function.
339         Remove argument mismatch check in lowering.
340         * tree-inline.h (tree_can_inline_p): Interface change.
341         * tree-inline.c (tree_can_inline_p): Fold argument mismatch check
342         into this function.
343         * ipa-inline.c (cgraph_decide_inlining_of_small_functions):
344         Call change to tree_can_inline_p function.
345         (cgraph_decide_inlining_incrementally): Ditto.
346
347 2009-08-12  Richard Sandiford  <rdsandiford@googlemail.com>
348
349         PR tree-optimization/41031
350         * tree-outof-ssa.c (insert_value_copy_on_edge): Use promote_decl_mode
351         on the partition variable rather than promote_mode on the source
352         type.  Assert that the partition variable's type has the same
353         mode as the source value's.
354
355 2009-08-12  Paolo Bonzini  <bonzini@gnu.org>
356
357         * doc/tm.texi (TARGET_PROMOTE_FUNCTION_MODE): Add documentation
358         for for_return == 2.
359         * function.c (assign_parm_setup_reg): Use for_return == 2, improve
360         comments.
361         * calls.c (expand_call): Fix typo.
362         * explow.c (promote_decl_mode): Use for_return == 2 for RESULT_DECL
363         and PARM_DECL.
364         * stmt.c (expand_value_return): Use promote_function_mode to copy out
365         of pseudo.
366         * targhooks.c (default_promote_function_mode): Handle for_return == 2.
367         * config/cris/cris.c (cris_promote_function_mode): Likewise.
368         * config/mmix/mmix.c (mmix_promote_function_mode): Likewise.
369         * config/pa/pa.c (pa_promote_function_mode): Likewise.
370
371 2009-08-11  Andrew Haley  <aph@redhat.com>
372
373         * config/arm/arm.c (arm_init_libfuncs): Add __sync_synchronize.
374
375 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
376
377         PR bootstrap/40103
378         * graphite.c: Remove pragma GCC diagnostic warning "-Wc++-compat".
379
380 2009-08-12  Richard Guenther  <rguenther@suse.de>
381
382         * alias.c (get_alias_set): Honor TYPE_STRUCTURAL_EQUALITY_P.
383         * gimplify.c (gimplify_modify_expr): Do not use
384         lang_hooks.types_compatible_p.
385         * tree-ssa.c (useless_type_conversion_p): For aggregates
386         just return false if the canonical types differ.
387
388 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
389
390         PR middle-end/40980
391         * sese.c (convert_for_phi_arg): New.
392         (add_guard_exit_phis): Use convert_for_phi_arg.
393
394 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
395
396         * graphite-sese-to-poly.c (pdr_add_data_dimensions): Dont add
397         unknown subscript upper bounds.
398
399 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
400             Pranav Garg  <pranav.garg2107@gmail.com>
401
402         * graphite-interchange.c (gather_access_strides): Removed.
403         (ppl_max_for_le): New.
404         (build_linearized_memory_access): New.
405         (memory_stride_in_loop): New.
406         (pbb_interchange_profitable_p): Reimplemented.
407         * graphite-ppl.h (ppl_new_id_map): New.
408         (ppl_interchange): New.
409
410 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
411
412         * graphite-interchange.c (compute_subscript): Removed.
413         (compute_array_size_cstr): Removed.
414         (compute_array_size_poly): Removed.
415         (compute_array_size): Removed.
416         (gather_access_strides_poly): Removed.
417         (gather_access_strides): Empty.
418
419 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
420
421         * graphite-dependences.c (dependence_polyhedron_1): Replace
422         pdr_nb_subscripts with PDR_NB_SUBSCRIPTS.
423         (graphite_legal_transform_dr): Same.
424         (graphite_carried_dependence_level_k): Same.
425         * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts.
426         Initialize PDR_NB_SUBSCRIPTS.
427         (print_pdr_access_layout): Replace pdr_nb_subscripts with
428         PDR_NB_SUBSCRIPTS.
429         * graphite-poly.h (struct poly_dr): Add nb_subscripts field.
430         (PDR_NB_SUBSCRIPTS): New.
431         (pdr_nb_subscripts): Removed.
432         (pdr_dim): Simplified.
433         * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts
434         with PDR_NB_SUBSCRIPTS.
435
436 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
437
438         * graphite-interchange.c (compute_array_size): Remove use of
439         PDR_DATA_CONTAINER.
440         * graphite-poly.c (new_poly_dr): Remove argument data_container.
441         Do not initialize PDR_DATA_CONTAINER.
442         (print_pdr): Do not print PDR_DATA_CONTAINER.
443         * graphite-poly.h (struct poly_dr): Remove data_container field.
444         (PDR_DATA_CONTAINER): Removed.
445         * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of
446         PDR_DATA_CONTAINER.
447         (build_poly_dr): Same.
448
449 2009-08-12  Konrad Trifunovic  <konrad.trifunovic@gmail.com>
450             Sebastian Pop  <sebastian.pop@amd.com>
451
452         * graphite-dependences.c (graphite_legal_transform_dr): Work on a
453         copy of the dependence polyhedron.  Free the temporary objects.
454         (graphite_carried_dependence_level_k): Free unused objects before
455         returning.
456
457         * testsuite/gcc.dg/graphite/interchange-1.c: XFAILed.
458         * testsuite/gcc.dg/graphite/interchange-2.c: XFAILed.
459         * testsuite/gcc.dg/graphite/interchange-3.c: XFAILed.
460         * testsuite/gcc.dg/graphite/interchange-4.c: XFAILed.
461         * testsuite/gcc.dg/graphite/interchange-7.c: XFAILed.
462
463 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
464
465         * graphite-blocking.c (scop_do_strip_mine): Call store_scattering.
466         Early return without analyzing the data dependences if no
467         transform has been done.  Call restore_scattering if the transform
468         is not legal.
469         (graphite-interchange.c): Same.
470         * graphite-poly.c (print_scattering_function): Test for
471         PBB_TRANSFORMED.
472         (graphite_read_transforms): Initialize PBB_TRANSFORMED.
473         (apply_poly_transforms): Do not gcc_assert that
474         the transform is legal.
475         (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED and PBB_ORIGINAL.
476         Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES,
477         PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING.
478         (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
479         * graphite-poly.h (struct poly_scattering): New.
480         (struct poly_bb): Add original, transformed, and saved fields.
481         Remove transformed_scattering, original_scattering,
482         nb_local_variables and nb_scattering_transform fields.
483         (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New.
484         (poly_scattering_new): New.
485         (poly_scattering_free): New.
486         (poly_scattering_copy): New.
487         (store_scattering_pbb): New.
488         (store_scattering): New.
489         (restore_scattering_pbb): New.
490         (restore_scattering): New.
491         * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
492         Initialize PBB_TRANSFORMED and PBB_ORIGINAL.
493
494 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
495
496         * graphite-poly.c (print_pbb): Add parentheses in the pretty print.
497         (print_scop): Same.
498
499 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
500
501         * Makefile.in (graphite.o): Depends on PREDICT_H.
502         * graphite.c: Include predict.h.
503         (graphite_finalize): Call tree_estimate_probability.
504         * predict.c (predict_loops): Do not call scev_initialize and
505         scev_finalize.
506         (tree_estimate_probability_bb): New.
507         (tree_estimate_probability): Do not initialize loops: move that
508         code to the driver.  Call tree_estimate_probability_bb.
509         (tree_estimate_probability_driver): New.
510         (pass_profile): Use tree_estimate_probability_driver.
511         * predict.h (tree_estimate_probability): Declared.
512
513 2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
514
515         * graphite-clast-to-gimple.c (gloog): Add time to TV_GRAPHITE_CODE_GEN.
516         * graphite-dependences.c (graphite_legal_transform): Add time to
517         TV_GRAPHITE_DATA_DEPS.
518         (dependency_between_pbbs_p): Same.
519         * timevar.def (TV_GRAPHITE_DATA_DEPS, TV_GRAPHITE_CODE_GEN): New.
520
521 2009-08-12  Andrey Belevantsev  <abel@ispras.ru>
522
523         PR rtl-optimization/41033
524         * alias.c (nonoverlapping_component_refs_p): Punt when strict
525         aliasing is disabled.
526
527 2009-08-11  Adam Nemet  <anemet@caviumnetworks.com>
528
529         * config/mips/predicates.md (qi_mask_operand, hi_mask_operand,
530         si_mask_operand, and_load_operand, low_bitmask_operand,
531         and_reg_operand, and_operand): New predicates.
532         * config/mips/constraints.md (Yb, Yh, Yw, Yz): New constraints.
533         * config/mips/mips.c (and_operands_ok): New function.
534         * config/mips/mips-protos.h (and_operands_ok): Declare it.
535         * config/mips/mips.md (move_type): Add ext_ins and logical.
536         (type): Handle them.
537         (and<mode>3): Use and_reg_operand as the second operand's predicate.
538         (*and<mode>3): Add alternatives for lbu, lhu, lwu, <d>ext and
539         shift_shift.  Remove commutative constraint modifier.
540         (*and<mode>3_mips16): Add alternatives for lbu, lhu, lwu and
541         shift_shift.
542         (*clear_upper32_dext): Remove define_insn_and_split.
543         (*clear_upper32): Turn this define_insn_and_split ...
544         (splitter for ANDing register with 0xffff_ffff): .. into this.
545
546 2009-08-11  Adam Nemet  <anemet@caviumnetworks.com>
547
548         * combine.c (try_widen_shift_mode): Factor out code to check if an
549         integer constant is a low-order bitmask from here ...
550         * rtlanal.c (low_bitmask_len): ... to here.
551         * rtl.h (low_bitmask_len): Declare.
552
553 2009-08-11  Uros Bizjak  <ubizjak@gmail.com>
554
555         PR target/8603
556         * config/alpha/alpha.md (addsi3): Remove expander.
557         (addsi3): Rename from *addsi3_internal insn pattern.
558         (subsi3): Remove expander.
559         (subsi3): Rename from *subsi3_internal insn pattern.
560
561 2009-08-11  Douglas B Rupp  <rupp@gnat.com>
562
563         * config/alpha/alpha.c (alpha_init_builtins): Nullify FWRITE and
564         FWRITE_UNLOCKED.
565
566 2009-08-11  Vasiliy Fofanov  <fofanov@adacore.com>
567             Eric Botcazou  <botcazou@adacore.com>
568             Douglas B Rupp  <rupp@gnat.com>
569
570         * config/alpha/alpha.c (alpha_return_in_memory): On VMS, ensure
571         that records that fit in 64 bits are returned by immediate value,
572         as required by OpenVMS Calling Standard.
573         (function_value): Adjust for above modification.
574         (alpha_va_start) <TARGET_ABI_OPEN_VMS>: Use
575         virtual_incoming_args_rtx as base object, not next_arg.
576         * config/alpha/vms.h: (DEFAULT_PCC_STRUCT_RETURN): Define as 0.
577
578 2009-08-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
579
580         * reload.c (find_reloads_subreg_address): Check the original
581         req_equiv_mem address to detect the case where an address is
582         not valid in the outer mode.
583
584 2009-08-11  Richard Guenther  <rguenther@suse.de>
585
586         PR bootstrap/40788
587         * builtins.c (gimplify_va_arg_expr): Do not call SET_EXPR_LOCATION.
588
589 2009-08-10  Douglas B Rupp  <rupp@gnat.com>
590
591         * config/alpha/vms.h (OPTIMIZATION_OPTIONS): Remove
592         (OVERRIDE_OPTIONS): Incorporate removed OPTIMIZATION_OPTIONS.
593
594 2009-08-10  Olivier Hainque  <hainqueu@adacore.com>
595             Douglas B Rupp  <rupp@gnat.com>
596
597         * config/alpha/alpha.c (alpha_sa_size): Force procedure type to
598         PT_STACK when frame_pointer_needed on OpenVMS.
599         (alpha_pv_save_size, alpha_using_fp): Remove.
600         (alpha_vms_can_eliminate): New function. Support for CAN_ELIMINATE
601         with proper processing for PT_NULL.
602         (alpha_vms_initial_elimination_offset): New function. Support for
603         INITIAL_ELIMINATION_OFFSET with proper processing for PT_NULL.
604         (alpha_sa_size): Force procedure type to PT_STACK when
605         frame_pointer_needed on OpenVMS.
606         * config/alpha/alpha-protos.h (alpha_pv_save_size): Remove prototype.
607         (alpha_using_fp): Likewise.
608         (alpha_vms_can_eliminate): Add prototype.
609         (alpha_vms_initial_elimination_offset): Likewise.
610         * config/alpha/vms.h (CAN_ELIMINATE, INITIAL_ELIMINATION_OFFSET):
611         Call alpha_vms_can_eliminate and alpha_vms_initial_elimination_offset.
612
613 2009-08-10  Eric Botcazou  <botcazou@adacore.com>
614             Douglas B Rupp  <rupp@gnat.com>
615
616         * config/alpha/alpha.c (common_object_handler): New function.
617         (vms_attribute_table): Declare a single attribute "common_object".
618         (vms_output_aligned_decl_common): New global function.
619         (SECTION_VMS_OVERLAY): Delete.
620         (SECTION_VMS_GLOBAL): Likewise.
621         (SECTION_VMS_INITIALIZE): Likewise.
622         (vms_asm_named_section): Remove support for above flags.
623         (vms_section_type_flags): Delete.
624         (TARGET_SECTION_TYPE_FLAGS): Likewise.
625         * config/alpha/alpha-protos.h (vms_output_aligned_decl_common): New.
626         * config/alpha/vms.h (ASM_OUTPUT_ALIGNED_COMMON): Delete.
627         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New macro.
628
629 2009-08-10  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>
630
631         PR target/41015
632         * longlong.h [__sh__] (udiv_qrnnd): Add T register to clobber list.
633         (sub_ddmmss): Likewise.
634
635 2009-08-10  Andreas Tobler  <a.tobler@schweiz.org>
636
637         PR bootstrap/41018
638         * config/rs6000/freebsd.h: Define SVR4_ASM_SPEC. Adjust copyright
639         year.
640
641 2009-08-10  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
642
643         PR target/37053
644         * reload1.c (reload_as_needed): Use cancel_changes to completely
645         undo a failed replacement attempt.
646
647 2009-08-10  Richard Guenther  <rguenther@suse.de>
648
649         PR middle-end/41006
650         * tree-ssa.c (useless_type_conversion_p_1): Fold into ...
651         (useless_type_conversion_p): ... here.  Require pointer targets
652         to be compatible.
653
654 2009-08-10  Dodji Seketeli  <dodji@redhat.com>
655
656         PR c++/40866
657         * tree-inline.c (copy_statement_list): The resulting copy shouldn't
658         loose the original type of the statement list.
659
660 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
661
662         * config/alpha/alpha.c: Include libfuncs.h
663         (avms_asm_output_extern): New function.
664         (alpha_init_libfuncs): Init some decc libfuncs.
665         * config/alpha/alpha-protos.h (avms_asm_output_external): Declare.
666         * config/alpha/vms.h (ASM_OUTPUT_EXTERNAL): Define.
667         (DO_CRTL_NAMES): Define.
668         (LIB_SPEC): Remove.
669         * config/alpha/vms64.h: (POINTERS_EXTEND_UNSIGNED): Remove undef.
670         (LONG_TYPE_SIZE): Define.
671         (TARGET_OS_CPP_BUILTINS): Define with __LONG_POINTERS=1
672         (SUBTARGET_SWITCHES): Define malloc64 switch.
673         (TARGET_DEFAULT): Default MASK_MALLOC64 set.
674         (MASK_RETURN_ADDR): Define.
675         doc/invoke.texi (mmalloc64): Document switch.
676
677 2009-08-09  Olivier Hainque  <hainque@adacore.com>
678             Douglas B Rupp  <rupp@gnat.com>
679
680         * config/alpha/alpha.c (struct machine_function): New flag for VMS,
681         uses_condition_handler.
682         (alpha_expand_builtin_establish_vms_condition_handler): New expander.
683         (alpha_expand_builtin_revert_vms_condition_handler): New expander.
684         (enum alpha_builtin): New ALPHA_BUILTIN_REVERT_VMS_CONDITION_HANDLER
685         and ALPHA_BUILTIN_ESTABLISH_VMS_CONDITION_HANDLER values.
686         (code_for_builtin): New insn codes for the new alpha_builtins.
687         (alpha_init_builtins): Register the new functions as BUILT_IN_MD.
688         (alpha_sa_size): Account for uses_condition_handler.
689         (alpha_expand_prologue): Likewise.
690         (alpha_start_function): Likewise.
691         (alpha_expand_epilogue): Likewise.
692         * config/alpha/alpha-protos.h: Prototype the new alpha.c builtin
693         establish/revert expanders.
694         * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Define.
695         * config/alpha/alpha.md (builtin_establish_vms_condition_handler):
696         New expander, resorting to the alpha.c associated function.
697         (builtin_revert_vms_condition_handler): Likewise.
698         * config/alpha/vms-gcc_shell_handler.c: New file. Implements
699         __gcc_shell_handler, the static VMS condition handler used as
700         an indirection wrapper to the current dynamically established
701         handler.
702         * config/alpha/vms-unwind.h: Complete rewrite.
703         * config/alpha/t-vms (LIB2FUNCS_EXTRA): Add vms-gcc_shell_handler.c
704         * config/alpha/vms.h (MD_UNWIND_SUPPORT):
705
706 2009-08-09  Eric Botcazou  <botcazou@adacore.com>
707             Douglas B Rupp  <rupp@gnat.com>
708
709         * config/alpha/alpha.c (alpha_links): Add 'target' field.
710         (alpha_need_linkage): Handle aliases.  Return function symbol.
711         (alpha_use_linkage): Rename 'linkage' argument to 'func'.
712         Use ultimate alias target for the linkage name.
713         * config/alpha/alpha.md (movmemdi): Use the symbol returned
714         by alpha_need_linkage for the function symbol.
715         (setmemdi): Likewise.
716
717 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
718
719         * config/alpha/alpha.c (TARGET_ASM_UNALIGNED_*_OP): Define if on VMS.
720         * config/alpha/vms.h (OBJECT_FORMAT_ELF): Define.
721         (ASM_WEAKEN_LABEL): Define.
722         (CRT_CALL_STATIC_FUNCTION): Define.
723         (STARTFILE_SPEC): Add crtbegin.o crtbeginS.o.
724         (ENDFILE_SPEC): Define.
725         (INIT_SECTION_ASM_OP): Define.
726         * config/alpha/vms-dwarf2eh.asm (__EH_FRAME_BEGIN__): Remove.
727         * config/alpha/t-vms (EXTRA_PARTS): Add crtbegin.o crtbeginS.o
728         crtend.o crtendS.o.
729         (MULTILIB_OSDIRNAMES): Define.
730         (shlib_version): Define.
731         (SHLIB_EXT): Define.
732         (SHLIB_OBJS): Define.
733         (SHLIB_NAME): Define.
734         (SHLIB_MULTILIB): Define.
735         (SHLIB_INSTALL): Define.
736         (SHLIB_SYMVEC): Define.
737         (SHLIB_SYMVECX2): Define.
738         (SHLIB_LINK): Define.
739
740 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
741
742         * config/alpha/alpha.c (alpha_initialize_trampoline):
743         Initialize VMS trampoline IAW ABI for bounded procedure calls.
744         (alpha_start_function): Emit transfer address on nested functions
745         for VMS trampoline call.
746         * config/alpha/t-vms (LIB2FUNCS_EXTRA): Remove vms_tramp.asm
747         since no longer used.
748         * config/alpha/vms-tramp.asm: Remove.
749         * config/alpha/vms.h (TRAMPOLINE_TEMPLATE): Leave undefined
750         since now only data initialized at runtime.
751
752 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
753
754         * config/alpha/vms.h (HANDLE_SYSV_PRAGMA): Define.
755         (LINK_GCC_C_SEQUENCE_SPEC): Define.
756         (MD_EXEC_PREFIX): Remove, no longer used.
757         (MD_STARTFILE_PREFIX): Likewise.
758         (INCLUDE_DEFAULTS): Likewise.
759         * config/alpha/t-vms:
760         (vms-dwarf2.o, vms-dwarf2eh.o): Use GCC_FOR_TARGET to compile.
761
762 2009-08-09  Richard Guenther  <rguenther@suse.de>
763
764         PR tree-optimization/41016
765         * tree-ssa-ifcombine.c (get_name_for_bit_test): Fix tuplification bug.
766         (operand_precision): Remove.
767         (integral_operand_p): Likewise.
768         (recognize_single_bit_test): Adjust.
769
770 2009-08-09  Richard Sandiford  <rdsandiford@googlemail.com>
771
772         * c-common.c (c_fully_fold_internal): Issue a warning if a binary
773         operation overflows.  Likewise non-cast unary arithmetic.
774         If one arm of a conditional expression is always taken,
775         inhibit evaluation warnings for the other arm.  Likewise inhibit
776         evaluation warnings for the second && or || operand if the first
777         operand is enough to determine the result.
778         * c-typeck.c (build_conditional_expr): Apply the same inhibition
779         rules here.
780         (build_binary_op): Prevent duplicate evaluation warnings.
781
782 2009-08-09  Richard Sandiford  <rdsandiford@googlemail.com>
783
784         * tree-out-of-ssa.c (insert_value_copy_on_edge): If the source
785         and destination have different modes, Use promote_mode to
786         determine the signedness of the conversion.  Assert that the
787         promoted source mode matches the destination mode.  Don't pass
788         the destination and destination mode to expand_expr if the source
789         mode is different.  Simplify conversion logic.
790
791 2009-08-09  Ira Rosen  <irar@il.ibm.com>
792
793         PR tree-optimization/41008
794         * tree-vect-loop.c (vect_is_simple_reduction): Get operands
795         from condition only in case it's a comparison. Adjust checks.
796
797 2009-08-09  Bernd Schmidt  <bernd.schmidt@analog.com>
798
799         * tree-dfa.c (renumber_gimple_stmt_uids_in_blocks): New function.
800         * tree-flow.h (renumber_gimple_stmt_uids_in_blocks): Declare it.
801         * tree-ssa-loop-ivopts.c (comp_cost): Make COST an integer.
802         (enum iv_position): Add IP_AFTER_USE and IP_BEFORE_USE.
803         (dump_cand): Handle them.
804         (struct iv_cand): New members COST_STEP and AINC_USE.
805         (stmt_after_increment): Likewise.
806         (stmt_after_inc_pos): Renamed from stmt_after_ip_original_pos.  All
807         callers changed.  Use gimple_uid comparison instead of scanning.
808         (add_candidate_1): When looking for identical candidates, take
809         AINC_USE into account.  Set it for new candidates.
810         (force_expr_to_var_cost): Cast target_spill_cost to int.
811         (get_address_cost): New arguments STMT_AFTER_INC and MAY_AUTOINC.
812         All callers changed.  Check for availability of autoinc addressing
813         modes, both in general for a given mode, and in the specific use case.
814         (get_computation_cost_at): New argument CAN_AUTOINC.  All callers
815         changed.
816         (get_computation_cost): Likewise.
817         (autoinc_possible_for_pair, set_autoinc_for_original_candidates,
818         add_autoinc_candidates): New static functions.
819         (add_candidate): Call add_autoinc_candidates for candidates based on
820         a USE_ADDRESS use.
821         (find_iv_candidates): Call set_autoinc_for_original_candidates.
822         (determine_use_iv_cost_address): If we have an autoinc candidate at
823         the matching use, verify autoinc is possible and subtract the cost
824         of the candidate's step from the cost.
825         (determine_iv_cost): Record the cost of the increment in the COST_STEP
826         member of the candidate.
827         (tree_ssa_iv_optimize_loop): Swap the calls to determine_iv_costs and
828         determine_use_iv_costs.  Call renumber_gimple_stmt_uids_in_blocks.
829
830 2009-08-09  Douglas B Rupp  <rupp@gnat.com>
831
832         * config.build (ia64-hp-*vms*): New target.
833         (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
834         with ia64-hp-*vms*.
835         * config.gcc (ia64-hp-*vms*): New target.
836         (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
837         with ia64-hp-*vms*.
838         * config.host (ia64-hp-*vms*): New target.
839         (alpha64-dec-*vms*,alpha*-dec-*vms*): Fix for config/vms and unify
840         with ia64-hp-*vms*.
841
842 2009-08-08  Richard Guenther  <rguenther@suse.de>
843
844         PR tree-optimization/40991
845         * tree-ssa-pre.c (eliminate): Delay purging EH edges.
846
847 2009-08-08  Richard Sandiford  <rdsandiford@googlemail.com>
848
849         * combine.c (gen_lowpart_or_truncate): Exclude CONST_INTs from
850         mode check.  Do truncations in an integer mode.
851         (force_to_mode): Handle subregs for all mode types.  Only do
852         arithmetic simplifications on integer modes.
853
854 2009-08-07  Richard Guenther  <rguenther@suse.de>
855
856         PR tree-optimization/40999
857         * tree-ssa-ccp.c (get_symbol_constant_value): Handle CONST_DECLs.
858         (maybe_fold_reference): Lookup constant initializers.
859         (fold_gimple_assign): Likewise.
860
861 2009-08-07  Richard Guenther  <rguenther@suse.de>
862
863         * tree-ssa.c (useless_type_conversion_p_1): Only for types
864         that require structural equality defer to the langhook.
865
866 2009-08-07  Martin Jambor  <mjambor@suse.cz>
867
868         * ipa-prop.h (enum jump_func_type): New value IPA_JF_ANCESTOR, changed
869         comments.
870         (struct ipa_pass_through_data): New type.
871         (struct ipa_ancestor_jf_data): New type.
872         (union jump_func_value): Removed field formal_id, added fields
873         pass_through and ancestor.
874         (struct ipa_param_call_note): Changed type of formal_id to int from
875         unsigned.
876         * ipa-prop.c (ipa_print_node_jump_functions): Print pass through with
877         operations jump functions and ancestor jump functions.
878         (compute_complex_pass_through): New function.
879         (compute_scalar_jump_functions): Call compute_complex_pass_through,
880         reflect changes in the jump function strucutre.
881         (update_jump_functions_after_inlining): Ignore complex pass-through
882         and ancestor jump functions.
883         * ipa-cp.c (ipcp_lattice_from_jfunc): Added support for ancestor and
884         polynomial pass-through with operation jump functions.
885
886 2009-08-07  Jakub Jelinek  <jakub@redhat.com>
887
888         * dwarf2out.c (output_fde): When doing hot/cold partitioning, use
889         fde->dw_fde_begin as begin label instead of hot/cold label.
890         Use LLSDAC label instead of LLSDA for second section lsda.
891         (dwarf2out_do_cfi_startproc): Add SECOND argument.  Use LLSDAC
892         label instead of LLSDA if it is true.
893         (dwarf2out_begin_prologue, dwarf2out_switch_text_section): Adjust
894         callers.
895         * except.c (add_call_site, dw2_size_of_call_site_table): Add
896         SECTION argument.  Use it as index into crtl->eh.call_site_record
897         array.
898         (dw2_output_call_site_table): Likewise.  Add CS_FORMAT argument,
899         use it to determine how to print table entries instead of using
900         #ifdef HAVE_AS_LEB128.  For SECTION > 0 use hot resp. cold
901         label instead of normal begin label as base.
902         (sjlj_assign_call_site_values): Adjust add_call_site caller.
903         (convert_to_eh_region_ranges): When doing hot/cold partitioning,
904         ensure no EH range spans between sections and that landing pads
905         are always in the corresponding section.
906         (sjlj_size_of_call_site_table, sjlj_output_call_site_table): Adjust
907         for crtl->eh.call_site_record being an array rather than scalar.
908         (output_one_function_exception_table): New function, copied
909         from output_function_exception_table.  Adjust
910         dw2_size_of_call_site_table, dw2_output_call_site_table
911         callers.  For SECOND section use *C suffixed labels.
912         (output_function_exception_table): Call
913         output_one_function_exception_table and, when doing hot/cold
914         partitioning, also another time for the second section.
915         * opts.c: Include except.h.
916         (decode_options): Allow -freorder-blocks-and-partition with
917         exceptions, unless SJLJ or TARGET_UNWIND_INFO.
918         * Makefile.in (opts.o): Depend on $(EXCEPT_H).
919         * function.h (struct rtl_eh): Change call_site_record from
920         scalar into array of 2 elements.
921
922 2009-08-07  Martin Jambor  <mjambor@suse.cz>
923
924         * ipa-prop.c (count_formal_params_1): New function.
925         (ipa_get_vector_of_formal_parms): New function.
926         (get_vector_of_formal_parm_types): New function.
927         (ipa_modify_formal_parameters): New function.
928         (ipa_modify_call_arguments): New function.
929         (index_in_adjustments_multiple_times_p): New function.
930         (ipa_combine_adjustments): New function.
931         (ipa_dump_param_adjustments): New function.
932         * ipa-prop.h (struct ipa_parm_adjustment): New type.
933         (ipa_get_vector_of_formal_parms): Declare.
934         (ipa_modify_formal_parameters): Declare.
935         (ipa_modify_call_arguments): Declare.
936         (ipa_combine_adjustments): Declare.
937         (ipa_dump_param_adjustments): Declare.
938         (build_ref_for_offset): Declare.
939         * Makefile.in (tree-sra.o): Add ipa-prop.h to dependencies.
940         * tree-sra.c: Include ipa-prop.c.
941         (build_ref_for_offset): Make public.
942
943 2009-08-06  Neil Vachharajani  <nvachhar@gmail.com>
944
945         * value-prof.c (init_pid_map): Replace xmalloc with XCNEWVEC.
946
947 2009-08-06  Thomas Schwinge  <tschwinge@gnu.org>
948
949         * gcc/doc/extend.texi (__builtin_extract_return_address)
950         (__builtin_frob_return_address): Document.
951
952 2009-08-06  Paul Brook  <paul@codesourcery.com>
953
954         * config/arm/lib1funcs.asm (ARM_DIV_BODY): Add Thumb-2 implementation.
955         (udivsi3, aeabi_uidivmod, divsi3, aeabi_idivmod): Only use Thumb-1
956         implementation on ARMv6-M.
957
958 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
959
960         * doc/extend.texi (pcs): Document new attribute for ARM.
961
962 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
963
964         * arm.c (pcs_attribute_args): Comment out unsupported attribute
965         variants.
966
967 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
968
969         * arm.c (arm_handle_pcs_attribute): Pass the entire name object to
970         warning ().
971
972 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
973
974         * arm.c (arm_handle_pcs_attribute): Use %qE in warning.
975
976 2009-08-06  Richard Earnshaw  <rearnsha@arm.com>
977
978         Merge ARM/hard_vfp_branch to trunk.
979
980         2009-08-04  Richard Earnshaw  <rearnsha@arm.com>
981
982         * arm.c (libcall_eq): New function.
983         (libcall_hash): New function.
984         (add_libcall): New function.
985         (arm_libcall_uses_aapcs_base): New function.
986         (arm_libcall_value): Use arm_libcall_uses_aapcs_base to check for
987         libcalls using the base PCS.
988         (arm_init_cumulative_args): Likewise.
989
990         2009-07-20  Joseph Myers  <joseph@codesourcery.com>
991
992         * config/arm/arm.c (arm_libcall_value, arm_init_cumulative_args):
993         Use base ABI for conversion libfuncs between HFmode and SFmode.
994
995         2009-05-12  Joseph Myers  <joseph@codesourcery.com>
996
997         * config/arm/arm.c (aapcs_vfp_sub_candidate): Use V2SImode and
998         V4SImode as representatives of all 64-bit and 128-bit vector
999         types.  Allow vector types without vector modes.
1000         (aapcs_vfp_is_call_or_return_candidate): Handle vector types
1001         without vector modes like BLKmode.
1002         (aapcs_vfp_allocate): Handle TImode for non-TARGET_NEON like
1003         BLKmode.  Avoid unsupported vector modes or TImode moves for
1004         non-TARGET_NEON.
1005         (aapcs_vfp_allocate_return_reg): Likewise.
1006         (arm_vector_mode_supported_p): Only support V2SImode, V4HImode and
1007         V8QImode if TARGET_NEON || TARGET_IWMMXT.
1008
1009         2009-05-12  Joseph Myers  <joseph@codesourcery.com>
1010
1011         * config/arm/arm.c (arm_handle_pcs_attribute): New.
1012         (arm_get_pcs_model): Pass attribute arguments to
1013         arm_pcs_from_attribute.
1014         (arm_init_cumulative_args): Use base AAPCS for conversions from
1015         floating-point types to DImode.
1016         (arm_attribute_table): Add pcs attribute.
1017         (arm_handle_pcs_attribute): New.
1018         * config/arm/bpabi.h (DECLARE_LIBRARY_RENAMES): When renaming
1019         conversions from floating-point types to DImode, also declare them
1020         to use base AAPCS and declare functions they call to use base
1021         AAPCS and their RTABI names.
1022
1023         2009-05-12  Joseph Myers  <joseph@codesourcery.com>
1024
1025         * doc/invoke.texi (-mfloat-abi=@var{name}): Remove statement about
1026         -mfloat-abi=hard not being supported for VFP.
1027
1028         2009-05-11  Kazu Hirata  <kazu@codesourcery.com>
1029
1030         * config/sparc/sparc.c (sparc_emit_float_lib_cmp): Pass a libcall
1031         SYMBOL_REF to hard_libcall_value.
1032
1033         2009-03-05  Joseph Myers  <joseph@codesourcery.com>
1034             Richard Earnshaw  <rearnsha@arm.com>
1035
1036         * config/arm/arm.c (aapcs_layout_arg): Once a co-processor argument
1037         has been put on the stack, all remaining co-processory arguments for
1038         that co-processor also go on the stack.
1039
1040         2009-03-05  Joseph Myers  <joseph@codesourcery.com>
1041
1042         * config/arm/arm.c (arm_return_in_memory): Handle returning
1043         vectors of suitable size in registers also for AAPCS case.
1044
1045         2009-01-13  Richard Earnshaw <rearnsha@arm.com>
1046
1047         * doc/tm.texi (TARGET_LIBCALL_VALUE): Add missing end statement.
1048
1049         2008-12-09  Richard Earnshaw <rearnsha@arm.com>
1050
1051         ARM Hard-VFP calling convention
1052         * target-def.h (TARGET_LIBCALL_VALUE): New hook.
1053         * target.h (gcc_target): Add libcall_value to table of call hooks.
1054         * targhooks.h (default_libcall_value): Default implementation.
1055         * targhooks.c (default_libcall_value): Likewise.
1056         * doc/tm.texi (TARGET_LIBCALL_VALUE): Document it.
1057         * optabs.c (expand_unop): Use it.
1058         * expr.h (hard_libcall_value): Pass the function RTX through.
1059         * calls.c (emit_library_call_value_1): Update call to
1060         hard_libcall_value.
1061         * explow.c (hard_libcall_value): Use new target hook.
1062         * testsuite/lib/target-supports.exp
1063         (check_effective_target_arm_hard_vfp_ok): New hook.
1064         (check_effective_target_arm_neon_ok): Improve test for neon
1065         availability.
1066         * testsuite/gcc.target/arm/eabi1.c: Only run test in base variant.
1067         * config/arm/arm.c: Include cgraph.h
1068         (TARGET_FUNCTION_VALUE): Override default hook.
1069         (arm_pcs_default): New variable.
1070         (arm_override_options): Don't fault hard calling convention with VFP.
1071         Add support for AAPCS variants.
1072         (arm_function_value): Make static.  Handle AAPCS variants.
1073         (arm_libcall_value): New function.
1074         (arm_apply_result_size): Handle VFP registers in results.
1075         (arm_return_in_memory): Rework all AAPCS variants; handle hard-vfp
1076         conventions.
1077         (pcs_attribute_args): New variable.
1078         (arm_pcs_from_attribute): New function.
1079         (arm_get_pcs_model): New function.
1080         (aapcs_vfp_cum_init): New function.
1081         (aapcs_vfp_sub_candidate): New function.
1082         (aapcs_vfp_is_return_candidate): New function.
1083         (aapcs_vfp_is_call_candidate): New function.
1084         (aapcs_vfp_allocate): New function.
1085         (aapcs_vfp_allocate_return_reg): New function.
1086         (aapcs_vfp_advance): New function.
1087         (aapcs_cp_arg_layout): New variable.
1088         (aapcs_select_call_coproc): New function.
1089         (aapcs_select_return_coproc): New function.
1090         (aapcs_allocate_return_reg): New function.
1091         (aapcs_libcall_value): New function.
1092         (aapcs_layout_arg): New function.
1093         (arm_init_cumulative_args): Initialize AAPCS args data.
1094         (arm_function_arg): Handle AAPCS variants using new interface.
1095         (arm_arg_parital_bytes): Likewise.
1096         (arm_function_arg_advance): New function.
1097         (arm_function_ok_for_sibcall): Ensure that sibling calls agree on
1098         calling conventions.
1099         (arm_setup_incoming_varargs): Handle new AAPCS args data.
1100         * arm.h (NUM_VFP_ARG_REGS): Define.
1101         (LIBCALL_VALUE): Update.
1102         (FUNCTION_VALUE): Delete.
1103         (FUNCTION_VALUE_REGNO_P): Add VFP regs.
1104         (arm_pcs): New enum.
1105         (CUMULATIVE_ARGS): New data to support AAPCS argument marshalling.
1106         (FUNCTION_ARG_ADVANCE): Call arm_function_arg_advance.
1107         (FUNCTION_ARG_REGNO_P): Add VFP regs.
1108         * arm-protos.h (arm_function_arg_advance): Add.
1109         (aapcs_libcall_value): Add.
1110         (arm_function_value): Delete.
1111
1112 2009-08-06  Uros Bizjak  <ubizjak@gmail.com>
1113             H.J. Lu  <hongjiu.lu@intel.com>
1114
1115         PR target/40957
1116         * config/i386/i386.c (standard_sse_mode_p): Remove.
1117         (standard_sse_constant_p): Return 2 for integer mode
1118         vector_all_ones_operand when SSE2 is enabled.
1119         (standard_sse_constant_opcode)<case 2>: Always return [v]pcmpeqd.
1120         (ix86_expand_vector_move): Do not check for negative values from
1121         standard_sse_constant_p.
1122
1123 2009-08-06  Richard Guenther  <rguenther@suse.de>
1124
1125         * tree-ssa.c (useless_type_conversion_p_1): Make function and
1126         array type comparisons frontend independent.
1127         * Makefile.in (tree-ssa.o): Add $(TARGET_H) dependency.
1128         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Always fill
1129         out array reference lower bound and element size operands.
1130         (ao_ref_init_from_vn_reference): Properly compute the offset
1131         for ARRAY_RANGE_REF.
1132         (vn_reference_fold_indirect): Fill out array reference lower
1133         bound and element size operands.
1134         * tree-ssa-pre.c (phi_translate_1): Fail if we have to translate
1135         a non gimple valued reference operand which can happen for
1136         array reference lower bound or element size.
1137         (create_component_ref_by_pieces_1): Properly generate the
1138         element size operand for array references.
1139
1140 2009-08-06  Richard Guenther  <rguenther@suse.de>
1141
1142         PR tree-optimization/40964
1143         * tree.c (iterative_hash_host_wide_int): Export.
1144         * tree.h (iterative_hash_host_wide_int): Declare.
1145         * tree-ssa-structalias.c (heapvar_map): New struct.
1146         (heapvar_map_eq): New function.
1147         (heapvar_map_hash): Likewise.
1148         (heapvar_lookup): Adjust.
1149         (heapvar_insert): Likewise.
1150         (make_constraint_from_heapvar): Allow multiple heap variables
1151         per decl at different offsets.
1152         (init_alias_heapvars): Adjust.
1153
1154 2009-08-04  David Daney  <ddaney@caviumnetworks.com>
1155
1156         * config/mips/mips.h (TARGET_SYNC_AFTER_SC): New macro.
1157         * mips_output_sync_loop (mips_output_sync_loop): Only emit
1158         trailing sync if TARGET_SYNC_AFTER_SC.
1159
1160 2009-08-05  David Daney  <ddaney@caviumnetworks.com>
1161
1162         * gcc/config/mips/sync.md (sync_compare_and_swap<mode>,
1163         compare_and_swap_12, sync_add<mode>, sync_<optab>_12,
1164         sync_old_<optab>_12, sync_new_<optab>_12, sync_nand_12,
1165         sync_old_nand_12, sync_new_nand_12, sync_sub<mode>,
1166         sync_old_add<mode>, sync_old_sub<mode>, sync_new_add<mode>,
1167         sync_new_sub<mode>, sync_<optab><mode>, sync_old_<optab><mode>,
1168         sync_new_<optab><mode>, sync_nand<mode>, sync_old_nand<mode>,
1169         sync_new_nand<mode>, sync_lock_test_and_set<mode>,
1170         test_and_set_12): Rewrite calls to mips_output_sync_loop.
1171         * gcc/config/mips/mips-protos.h (mips_output_sync_loop): Make
1172         the prototype declaration match the definition.
1173         * gcc/config/mips/mips.c (mips_output_sync_loop):  Emit sync
1174         instructions explicitly.  Add barrier_before and operands
1175         parameters.
1176         * gcc/config/mips/mips.h (MIPS_COMPARE_AND_SWAP,
1177         MIPS_COMPARE_AND_SWAP_12, MIPS_SYNC_OP, MIPS_SYNC_OP_12,
1178         MIPS_SYNC_OLD_OP_12, MIPS_SYNC_NEW_OP_12, MIPS_SYNC_OLD_OP,
1179         MIPS_SYNC_NEW_OP, MIPS_SYNC_NAND, MIPS_SYNC_OLD_NAND,
1180         MIPS_SYNC_NEW_NAND, MIPS_SYNC_EXCHANGE,
1181         MIPS_SYNC_EXCHANGE_12): Remove sync instructions.
1182
1183 2009-08-05  Andrew Pinski  <pinskia@gmail.com>
1184
1185         * tree-ssa-alias.c: Fix intervals to use [) syntax.
1186
1187 2009-08-05  Uros Bizjak  <ubizjak@gmail.com>
1188             Mikulas Patocka  <mikulas@artax.karlin.mff.cuni.cz>
1189
1190         PR target/40906
1191         * config/i386/i386.c (ix86_split_long_move): Fix push of multi-part
1192         source operand.
1193
1194 2009-08-05  Jakub Jelinek  <jakub@redhat.com>
1195
1196         PR rtl-optimization/40924
1197         * dse.c (canon_address): Before calling cselib_expand_value_rtx
1198         make sure canon_rtx (mem_address) isn't simpler than
1199         canon_rtx (expanded_mem_address).
1200
1201 2009-08-05  Li Feng  <nemokingdom@gmail.com>
1202
1203         * graphite-sese-to-poly.c (build_pbb_drs): Remove build alias set
1204         for each poly_bb_p.
1205         (build_scop_drs): Build alias set for each SCoP.
1206
1207 2009-08-04  Sandra Loosemore  <sandra@codesourcery.com>
1208
1209         * doc/invoke.texi (MIPS Options): Document new 1004K -march options.
1210         * config/mips/mips.c (mips_cpu_info_table): Add 1004K cores.
1211         * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Add pattern for 1004K.
1212         (MIPS_ARCH_FLOAT_SPEC): Likewise.
1213         (BASE_DRIVER_SELF_SPECS): Likewise.
1214
1215 2009-08-04  Andrew Pinski  <pinskia@gmail.com>
1216
1217         * tree-ssa-alias.c: Fix some comment typos.
1218
1219 2009-08-04  Kaz Kojima  <kkojima@gcc.gnu.org>
1220
1221         * config/sh/linux-atomic.asm (ATOMIC_BOOL_COMPARE_AND_SWAP,
1222         ATOMIC_OP_AND_FETCH, ATOMIC_COMBOP_AND_FETCH): Define.
1223
1224 2009-08-03  Janis Johnson  <janis187@us.ibm.com>
1225
1226         PR c/39902
1227         * simplify-rtx.c (simplify_binary_operation_1): Disable
1228         simplifications for decimal float operations.
1229
1230 2009-08-03  Jakub Jelinek  <jakub@redhat.com>
1231
1232         PR middle-end/40943
1233         * tree-ssa.c (warn_uninitialized_var): Even on LHS warn for
1234         operand of INDIRECT_REF.
1235
1236 2009-08-03  Uros Bizjak  <ubizjak@gmail.com>
1237
1238         * config/alpha/alpha.c (alpha_legitimate_constant_p): Reject CONST
1239         constants referencing TLS symbols.
1240
1241 2009-08-03  SUGIOKA Toshinobu  <sugioka@itonet.co.jp>
1242
1243         * config/sh/linux-atomic.asm (ATOMIC_COMPARE_AND_SWAP): Rename
1244         __sync_compare_and_swap_* to __sync_val_compare_and_swap_*.
1245
1246 2009-08-03  Richard Guenther  <rguenther@suse.de>
1247
1248         * tree.c (make_vector_type): Build a main variant first,
1249         get the canonical one and then build the variant.
1250         * tree-ssa.c (useless_type_conversion_p_1): Handle
1251         fixed-point types.
1252         (useless_type_conversion_p): Conversions to pointers to
1253         incomplete record types are useless.
1254
1255 2009-08-03  Richard Guenther  <rguenther@suse.de>
1256
1257         * tree-cfg.c (pass_warn_unused_result): Mark name that no dump
1258         file will be created.
1259         * omp-low.c (pass_diagnose_omp_blocks): Likewise.
1260         * toplev.c (compile_file): Adjust comment.
1261
1262 2009-08-03  Kaz Kojima  <kkojima@gcc.gnu.org>
1263
1264         * config/sh/sh-protos.h (sh_promote_function_mode): Remove.
1265         * config/sh/sh.c (sh_promote_function_mode): Wrap long lines.
1266         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1267         (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1268         (sh_promote_function_mode): Fix typo.
1269
1270 2009-08-03  Andreas Krebbel  <krebbel1@de.ibm.com>
1271
1272         * explow.c (promote_mode): Mark TYPE and PUNSIGNEDP as possibly unused.
1273
1274 2009-08-02  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1275
1276         * pa.c (pa_promote_function_mode): Remove ATTRIBUTE_UNUSED from
1277         declaration arguments.
1278
1279 2009-08-02  Uros Bizjak  <ubizjak@gmail.com>
1280
1281         * config/i386/i386.c (ix86_expand_fp_compare): Use const0_rtx instead
1282         of GEN_INT (0x00) and const1_rtx instead of GEN_INT (0x01).
1283         (ix86_split_ashl): Ditto.
1284         (ix86_expand_vector_init_one_nonzero): Ditto.
1285         (ix86_expand_vector_set): Ditto.
1286         (ix86_expand_reduc_v4sf): Ditto.
1287
1288 2009-08-02  Paolo Bonzini  <bonzini@gnu.org>
1289
1290         * explow.c (promote_function_mode): Remove assert.
1291         * config/sh/sh.c (sh_promote_function_mode): Declare.
1292
1293 2009-08-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1294
1295         * config/pa/pa.c (pa_promote_function_mode): Declare.
1296         Change to static.  Fix promote_mode call.
1297
1298         * gthr-dce.h (CONST_CAST2): Define if not defined.
1299         (__gthread_setspecific): Use CONST_CAST2 to fix warning.
1300
1301         * config.gcc (hppa[12]*-*-hpux10*): Add stdint support.
1302
1303 2009-08-01  Paolo Bonzini  <bonzini@gnu.org>
1304
1305         * expr.c (store_constructor): Use promote_decl_mode.  Remove
1306         now write-only variable unsignedp.
1307         (expand_expr_real_1): Use promote_decl_mode.
1308         * expr.h (promote_function_mode, promote_decl_mode): New.
1309         (promote_mode): Remove last argument.
1310         * function.c (assign_temp): Drop last argument of promote_mode.
1311         (assign_parm_find_data_types): Use promote_function_mode.
1312         (assign_parm_setup_reg): Likewise.
1313         (expand_function_end): Use promote_function_mode.
1314         * calls.c (initialize_argument_information): Use promote_function_mode.
1315         (precompute_arguments): Use promote_mode instead of checking if
1316         only PROMOTE_FUNCTION_MODE is defined.
1317         (expand_call): When making sibcall decisions, use promote_function_mode.
1318         Below, remove an if for targetm.calls.promote_function_return and
1319         and use promote_function_mode.
1320         (emit_library_call_value_1): Use promote_function_mode, fix bug
1321         where promote_mode was passed FOR_CALL == 0 for a return value in an
1322         assertion.
1323         * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
1324         * explow.c (promote_function_mode, promote_decl_mode): New.
1325         (promote_mode): Keep only the FOR_CALL == 0 case.
1326         * combine.c (setup_incoming_promotion): Remove test of
1327         promote_function_args.  Use promote_function_mode.
1328         * stmt.c (expand_value_return): Use promote_decl_mode.
1329         (expand_decl): Use promote_decl_mode.
1330
1331         * expr.c (store_constructor): Use promote_decl_mode.  Remove
1332         now write-only variable unsignedp.
1333         (expand_expr_real_1): Use promote_decl_mode.
1334         * expr.h (promote_function_mode, promote_decl_mode): New.
1335         (promote_mode): Remove last argument.
1336         * function.c (assign_temp): Drop last argument of promote_mode.
1337         (assign_parm_find_data_types): Use promote_function_mode.
1338         (assign_parm_setup_reg): Likewise.
1339         (expand_function_end): Use promote_function_mode.
1340         * calls.c (initialize_argument_information): Use promote_function_mode.
1341         (precompute_arguments): Use promote_mode instead of checking if
1342         only PROMOTE_FUNCTION_MODE is defined.
1343         (expand_call): When making sibcall decisions, use promote_function_mode.
1344         Below, remove an if for targetm.calls.promote_function_return and
1345         and use promote_function_mode.
1346         (emit_library_call_value_1): Use promote_function_mode, fix bug
1347         where promote_mode was passed FOR_CALL == 0 for a return value in an
1348         assertion.
1349         * cfgexpand.c (expand_one_register_var): Use promote_decl_mode.
1350         * explow.c (promote_function_mode, promote_decl_mode): New.
1351         (promote_mode): Keep only the FOR_CALL == 0 case.
1352         * combine.c (setup_incoming_promotion): Remove test of
1353         promote_function_args.  Use promote_function_mode.
1354         * stmt.c (expand_value_return): Use promote_decl_mode.
1355         (expand_decl): Use promote_decl_mode.
1356
1357         * explow.c (promote_function_mode): Just call the target hook.
1358         * targhooks.c (default_promote_function_mode,
1359         default_promote_function_mode_always_promote): New.
1360         * targhooks.h (default_promote_function_mode,
1361         default_promote_function_mode_always_promote): Declare.
1362         * target.h (promote_function_args, promote_function_return): Remove.
1363         (promote_function_mode): New.
1364         * target-def.h (TARGET_PROMOTE_FUNCTION_ARGS,
1365         TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1366         (TARGET_PROMOTE_FUNCTION_MODE): New.
1367         (TARGET_CALLS): Adjust.
1368         * system.h (TARGET_PROMOTE_FUNCTION_ARGS,
1369         TARGET_PROMOTE_FUNCTION_RETURN, PROMOTE_FUNCTION_MODE): Poison.
1370
1371         * config/s390/s390.h (PROMOTE_FUNCTION_MODE): Move...
1372         * config/s390/s390.c (s390_promote_function_mode): ... here,
1373         with pointer handling.
1374         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1375         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1376
1377         * config/sparc/sparc.h (PROMOTE_FUNCTION_MODE): Move...
1378         * config/sparc/sparc.c (sparc_promote_function_mode): ... here,
1379         with pointer handling.
1380         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1381         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1382
1383         * config/sh/sh-protos.h (sh_promote_function_mode): New.
1384         * config/sh/sh.c (sh_promote_function_mode): New.
1385         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1386         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1387
1388         * config/cris/cris.h (PROMOTE_FUNCTION_MODE): Move...
1389         * config/cris/cris.c (cris_promote_function_mode): ... here.
1390         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1391         (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1392
1393         * config/mmix/mmix.h (PROMOTE_FUNCTION_MODE): Move...
1394         * config/mmix/mmix.c (mmix_promote_function_mode): ... here.
1395         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1396         (TARGET_PROMOTE_FUNCTION_ARGS): Remove.
1397
1398         * config/arm/arm.h (PROMOTE_FUNCTION_MODE): Move...
1399         * config/arm/arm.c (arm_promote_function_mode): ... here, without
1400         complex type handling.
1401         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1402         (TARGET_PROMOTE_FUNCTION_ARGS, TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1403
1404         * config/pa/pa.c (pa_promote_function_mode): New.
1405         (TARGET_PROMOTE_FUNCTION_MODE): Define.
1406         (TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1407
1408         * config/alpha/alpha.c (TARGET_PROMOTE_FUNCTION_ARGS,
1409         TARGET_PROMOTE_FUNCTION_RETURN): Remove.
1410         (TARGET_PROMOTE_FUNCTION_MODE): Define equivalently.
1411         * config/xtensa/xtensa.c: Likewise.
1412         * config/stormy16/stormy16.c: Likewise.
1413         * config/iq2000/iq2000.c: Likewise.
1414         * config/rs6000/rs6000.c: Likewise.
1415         * config/picochip/picochip.c: Likewise.
1416         * config/arc/arc.c: Likewise.
1417         * config/mcore/mcore.c: Likewise.
1418         * config/score/score.c: Likewise.
1419         * config/mips/mips.c: Likewise.
1420         * config/bfin/bfin.c: Likewise.
1421         * config/ia64/ia64.c: Likewise (disabled though).
1422
1423         * config/frv/frv.h: Remove pointless remark.
1424
1425         * doc/tm.texi (PROMOTE_FUNCTION_MODE,
1426         TARGET_PROMOTE_FUNCTION_ARGS,
1427         TARGET_PROMOTE_FUNCTION_RETURN): Consolidate into...
1428         (TARGET_PROMOTE_FUNCTION_MODE): ... this.
1429
1430 2009-08-01  Sebastian Pop  <sebastian.pop@amd.com>
1431
1432         * doc/invoke.texi (-fgraphite-force-parallel): Renamed
1433         -floop-parallelize-all.
1434         * toplev.c (process_options): Rename flag_graphite_force_parallel to
1435         flag_loop_parallelize_all.
1436         * tree-ssa-loop.c (gate_graphite_transforms): Same.
1437         * graphite.c (graphite_transform_loops): Same.
1438         * common.opt: Same.
1439         * graphite-poly.c (apply_poly_transforms): Same.
1440
1441 2009-07-31  Richard Earnshaw  <rearnsha@arm.com>
1442
1443         PR tree-optimization/40914
1444         * ipa-prop.c (ipa_get_ptr_load_param): New argument use_delta,
1445         if set, then check the delta field of the PMF record.
1446         (ipa_get_stmt_member_ptr_load_param): Propagate new param use_delta.
1447         (ipa_analyze_call_uses): Handle machines where the vbit for a PMF
1448         call is stored in the delta.
1449
1450 2009-07-31  Adam Nemet  <anemet@caviumnetworks.com>
1451
1452         * config/mips/mips.md (*clear_upper32_dext): New pattern.
1453
1454 2009-07-31  Uros Bizjak  <ubizjak@gmail.com>
1455
1456         * config/i386/bsd.h (ASM_BYTE): New define.
1457         * config/i386/darwin.h (ASM_BYTE): Rename from ASM_BYTE_OP.
1458         * config/i386/att.h (ASM_BYTE): New define. Use ASM_BYTE instead of
1459         .byte.  Use fputs or putc instead of fprintf where appropriate.
1460         * config/i386/i386-interix.h: Use ASM_BYTE instead of .byte.  Use
1461         fputs or putc instead of fprintf where appropriate.
1462         * config/i386/i386elf.h: Ditto.
1463         * config/i386/sysv4.h: Ditto.
1464
1465         * config/i386/i386.c (TARGET_ASM_BYTE_OP): New define.
1466         * config/i386/i386.md (x86_sahf_1): Use ASM_BYTE instead of .byte.
1467         (*tls_global_dynamic_64): Ditto.
1468
1469 2009-07-31  Christian Bruel  <christian.bruel@st.com>
1470
1471         * gcc/config.gcc (sh*-*-elf): test with_libgloss.
1472
1473 2009-07-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
1474
1475         * config/arm/arm.c (arm_arm_address_cost): Fix typo.
1476         Remove dead code for MINUS.
1477
1478 2009-07-31  Anthony Green  <green@moxielogic.com>
1479
1480         * config/moxie/moxie.c (moxie_expand_prologue): Use $r5 instead of
1481         $r12 in prologue.
1482         (moxie_expand_epilogue): Ditto for epilogue.
1483         (moxie_setup_incoming_varargs): ABI change.  Use 5 registers for
1484         incoming arguments.
1485         (moxie_function_arg): Ditto.
1486         (moxie_pass_by_reference): Ditto.
1487         (moxie_arg_partial_bytes): Ditto.
1488         * config/moxie/moxie.h (CALL_USED_REGISTERS): Ditto.
1489         (FUNCTION_ARG_ADVANCE) Ditto.
1490         (REG_PARM_STACK_SPACE) Ditto.
1491         (FUNCTION_ARG_REGNO_P) Dito.
1492
1493         * config.gcc: Add moxie linux config support.
1494         * gcc/config/moxie/uclinux.h: New file.
1495
1496 2009-07-31  DJ Delorie  <dj@redhat.com>
1497
1498         * config/sh/sh.md (UNSPECV_SP_SWITCH_B): New.
1499         (UNSPECV_SP_SWITCH_E): New.
1500         (sp_switch_1): Change to an unspec.
1501         (sp_switch_2): Change to an unspec.  Don't use post-inc when we
1502         replace $r15.
1503         * config/sh/sh.c (sh_expand_prologue): Use the constant pool to
1504         reference the new stack's address
1505
1506 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1507
1508         * Makefile.in (OBJS-common): Added dependence on graphite-blocking.o,
1509         graphite-clast-to-gimple.o, graphite-dependences.o,
1510         graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
1511         graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o.
1512         (graphite-blocking.o,
1513         graphite-clast-to-gimple.o, graphite-dependences.o,
1514         graphite-interchange.o, graphite-poly.o, graphite-ppl.o,
1515         graphite-scop-detection.o, graphite-sese-to-poly.o, and sese.o): New.
1516         * cfgloop.c (alloc_loop): Set loop->can_be_parallel to false.
1517         * cfgloop.h (struct loop): Add can_be_parallel field.
1518         * common.opt (fgraphite-identity): Moved up.
1519         (fgraphite-force-parallel): New flag.
1520         * graphite.c: Rewrite.
1521         * graphite.h: Rewrite.
1522         * passes.c (init_optimization_passes): Schedule a pass of DCE and LIM
1523         after Graphite.
1524         * toplev.c (graphite_out_file): New file descriptor.
1525         (graphite_in_file): New.
1526         (process_options): flag_graphite_force_parallel cannot be used without
1527         Graphite.
1528         * tree-ssa-loop.c: Include toplev.h.
1529         (gate_graphite_transforms): Enable flag_graphite for
1530         flag_graphite_force_parallel.
1531
1532 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1533
1534         * ChangeLog.graphite: New.
1535         * graphite-blocking.c: New.
1536         * graphite-clast-to-gimple.c: New.
1537         * graphite-clast-to-gimple.h: New.
1538         * graphite-dependences.c: New.
1539         * graphite-dependences.h: New.
1540         * graphite-interchange.c: New.
1541         * graphite-poly.c: New.
1542         * graphite-poly.h: New.
1543         * graphite-ppl.c: New.
1544         * graphite-ppl.h: New.
1545         * graphite-scop-detection.c: New.
1546         * graphite-scop-detection.h: New.
1547         * graphite-sese-to-poly.c: New.
1548         * graphite-sese-to-poly.h: New.
1549         * sese.c: New.
1550         * sese.h: New.
1551
1552 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1553
1554         * tree-chrec.c (evolution_function_right_is_integer_cst): New.
1555         * tree-chrec.h (evolution_function_right_is_integer_cst): Declared.
1556
1557 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1558
1559         * tree-chrec.c (operator_is_linear): Handle BIT_NOT_EXPR.
1560         (scev_is_linear_expression): Return false if the evolution is not
1561         affine multivariate.
1562
1563 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1564
1565         * tree-data-ref.c (graphite_find_data_references_in_stmt): New.
1566         * tree-data-ref.h (graphite_find_data_references_in_stmt): Declared.
1567
1568 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1569
1570         * tree-data-ref.c (debug_data_references): New.
1571         (debug_data_reference): New.
1572         * tree-data-ref.h (debug_data_references): Declared.
1573         (debug_data_reference): Declared.
1574
1575 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1576
1577         * tree-data-ref.c (stmt_simple_memref_p: Removed.
1578         * tree-data-ref.h (scop_p): Removed.
1579         (struct data_reference): Remove field scop.
1580         (DR_SCOP): Removed.
1581         (stmt_simple_memref_p): Removed.
1582
1583 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1584
1585         * cfgloop.h (create_empty_loop_on_edge): Pass an extra argument.
1586         * cfgloopmanip.c (create_empty_loop_on_edge): Leave the loop_latch
1587         basic block empty.
1588
1589 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1590
1591         * doc/invoke.texi (-fgraphite-force-parallel): Documented.
1592
1593 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1594
1595         * doc/invoke.texi (-fgraphite-identity): Documented.
1596
1597 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1598
1599         * tree-scalar-evolution.c: Fix comment.
1600         (instantiate_scev_1): Return unknow from scev instantiation if the
1601         result is not above instantiate_below.
1602
1603 2009-07-30  Sebastian Pop  <sebastian.pop@amd.com>
1604
1605         * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop): Not
1606         static anymore.  Instantiate the symbols that may have been introduced
1607         by chrec_apply.
1608         * tree-scalar-evolution.h (compute_overall_effect_of_inner_loop):
1609         Declared.
1610
1611 2009-07-30  DJ Delorie  <dj@redhat.com>
1612
1613         * config/mep/mep.c (mep_asm_init_sections): Add section flags and
1614         .vliw directive to VLIW sections.
1615
1616 2009-07-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1617
1618         * Makefile.in (AUTOCONF, ACLOCAL, ACLOCAL_AMFLAGS, aclocal_deps):
1619         New variables.
1620         ($(srcdir)/configure, $(srcdir)/aclocal.m4): New rules.
1621         (AUTOHEADER): New variable.
1622         ($(srcdir)/cstamp-h.in): Use it.
1623
1624 2009-07-30  Michael Meissner  <meissner@linux.vnet.ibm.com>
1625             Pat Haugen  <pthaugen@us.ibm.com>
1626             Revital Eres <ERES@il.ibm.com>
1627
1628         * config/rs6000/vector.md (VEC_F): Add VSX support.
1629         (VEC_A): Ditto.
1630         (VEC_N): Ditto.
1631         (mov<mode>): Ditto.
1632         (vector_load_<mode>): Ditto.
1633         (vector_store_<mode>): Ditto.
1634         (vector GPR move split): Ditto.
1635         (vec_reload_and_plus_<mptrsize>): Ditto.
1636         (vec_reload_and_reg_<mptrsize>): Ditto.
1637         (add<mode>3): Ditto.
1638         (sub<mode>3): Ditto.
1639         (mul<mode>3): Ditto.
1640         (neg<mode>2): Ditto.
1641         (abs<mode>2): Ditto.
1642         (smin<mode>3): Ditto.
1643         (smax<mode>3): Ditto.
1644         (vector_eq<mode>): Ditto.
1645         (vector_gt<mode>): Ditto.
1646         (vector_ge<mode>): Ditto.
1647         (vector_gtu<mode>): Ditto.
1648         (vector_select_<mode>_uns): Ditto.
1649         (vector_eq_<mode>_p): Ditto.
1650         (vector_gt_<mode>_p): Ditto.
1651         (vector_ge_<mode>_p): Ditto.
1652         (vector_gtu_<mode>_p): Ditto.
1653         (cr6_test_for_zero): Ditto.
1654         (cr6_test_for_zero_reverse): Ditto.
1655         (cr6_test_for_lt): Ditto.
1656         (cr6_test_for_lt_reverse): Ditto.
1657         (xor<mode>3): Ditto.
1658         (ior<mode>3): Ditto.
1659         (and<mode>3): Ditto.
1660         (one_cmpl<mode>2): Ditto.
1661         (nor<mode>2): Ditto.
1662         (andc<mode>2): Ditto.
1663         (float<VEC_int<mode>2): Ditto.
1664         (unsigned_float<VEC_int><mode>2): Ditto.
1665         (fix_trunc<mode><VEC_int>2): Ditto.
1666         (fixuns_trunc<mode><VEC_int>2): Ditto.
1667         (vec_init<mode>):
1668         (vec_set<mode>): Ditto.
1669         (vec_extract<mode>): Ditto.
1670         (vec_interleave_highv4sf): Ditto.
1671         (vec_interleave_lowv4sf): Ditto.
1672         (vec_realign_load_<mode>): Ditto.
1673         (vec_shl_<mode>): Ditto.
1674         (vec_shr_<mode>): Ditto.
1675         (div<mode>3): New patterns for VSX.
1676         (vec_interleave_highv2df): Ditto.
1677         (vec_interleave_lowv2df): Ditto.
1678         (vec_pack_trunc_v2df): Ditto.
1679         (vec_pack_sfix_trunc_v2df): Ditto.
1680         (vec_pack_ufix_trunc_v2df): Ditto.
1681         (vec_unpacks_hi_v4sf): Ditto.
1682         (vec_unpacks_lo_v4sf): Ditto.
1683         (vec_unpacks_float_hi_v4si): Ditto.
1684         (vec_unpacks_float_lo_v4si): Ditto.
1685         (vec_unpacku_float_hi_v4si): Ditto.
1686         (vec_unpacku_float_lo_v4si): Ditto.
1687         (movmisalign<mode>): Ditto.
1688         (vector_ceil<mode>2): New patterns for vectorizing math library.
1689         (vector_floor<mode>2): Ditto.
1690         (vector_btrunc<mode>2): Ditto.
1691         (vector_copysign<mode>3): Ditto.
1692
1693         * config/rs6000/predicates.md (easy_vector_constant_msb): New
1694         predicate for setting the high bit in each word, used for copysign.
1695
1696         * config/rs6000/ppc-asm.h (f19): Whitespace.
1697         (f32-f63): Define if VSX.
1698         (v0-v31): Define if Altivec.
1699         (vs0-vs63): Define if VSX.
1700
1701         * config/rs6000/t-rs6000 (MD_INCLUDES): Add power7.md and vsx.md.
1702
1703         * config/rs6000/power7.md: New file, provide tuning parameters for
1704         -mcpu=power7.
1705
1706         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Add VSX support.
1707         (rs6000_cpu_cpp_builtins): Ditto.
1708         (altivec_overloaded_builtins): Ditto.
1709         (altivec_resolve_overloaded_builtin): Ditto.
1710
1711         * config/rs6000/rs6000.opt (-mno-vectorize-builtins): Add new
1712         debug switch to disable vectorizing simple math builtin
1713         functions.
1714
1715         * config/rs6000/rs6000.c (rs6000_builtin_vectorized_function):
1716         Vectorize simple math builtin functions.
1717         (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Define target
1718         hook to vectorize math builtins.
1719         (rs6000_override_options): Enable -mvsx on -mcpu=power7.
1720         (rs6000_builtin_conversion): Add VSX/power7 support.
1721         (rs6000_builtin_vec_perm): Ditto.
1722         (vsplits_constant): Add support for loading up a vector constant
1723         with just the high bit set in each part.
1724         (rs6000_expand_vector_init): Add VSX/power7 support.
1725         (rs6000_expand_vector_set): Ditto.
1726         (rs6000_expand_vector_extract): Ditto.
1727         (rs6000_emit_move): Ditto.
1728         (bdesc_3arg): Ditto.
1729         (bdesc_2arg): Ditto.
1730         (bdesc_1arg): Ditto.
1731         (rs6000_expand_ternop_builtin): Ditto.
1732         (altivec_expand_builtin): Ditto.
1733         (rs6000_expand_unop_builtin): Ditto.
1734         (rs6000_init_builtins): Ditto.
1735         (altivec_init_builtins): Ditto.
1736         (builtin_function_type): Ditto.
1737         (rs6000_common_init_builtins): Ditto.
1738         (rs6000_handle_altivec_attribute); Ditto.
1739         (rs6000_mangle_type): Ditto.
1740         (rs6000_vector_mode_supported_p): Ditto.
1741         (rs6000_mode_dependent_address): Altivec addresses with AND -16
1742         are mode dependent.
1743
1744         * config/rs6000/vsx.md: New file for VSX support.
1745
1746         * config/rs6000/rs6000.h (EASY_VECTOR_MSB): New macro for
1747         identifing values with just the most significant bit set.
1748         (enum rs6000_builtins): Add builtins for VSX.  Add simple math
1749         vectorized builtins.
1750
1751         * config/rs6000/altivec.md (UNSPEC_VRFIP): Delete.
1752         (UNSPEC_VRFIM): Delete.
1753         (splitter for loading up vector with most significant bit): New
1754         splitter for vectorizing copysign.
1755         (altivec_vrfiz): Rename from altivec_fturncv4sf2.  Add support for
1756         vectorizing simple math functions.
1757         (altivec_vrfip): Add support for vectorizing simple math functions.
1758         (altivec_vrfim): Ditto.
1759         (altivec_copysign_v4sf3): New insn for Altivec copysign support.
1760
1761         * config/rs6000/rs6000.md (UNSPEC_BPERM): New constant.
1762         (power7.md, vsx.md): Include for power7 support.
1763         (copysigndf3): Use VSX instructions if -mvsx.
1764         (negdf2_fpr): Ditto.
1765         (absdf2_fpr): Ditto.
1766         (nabsdf2_fpr): Ditto.
1767         (adddf3_fpr): Ditto.
1768         (subdf3_fpr): Ditto.
1769         (muldf3_fpr): Ditto.
1770         (divdf3_fpr): Ditto.
1771         (fix_truncdfdi2_fpr): Ditto.
1772         (cmpdf_internal1): Ditto.
1773         (fred, fred_fpr): Convert into expander/insn to add VSX support.
1774         (btruncdf2, btruncdf2_fpr): Ditto.
1775         (ceildf2, ceildf2_fpr): Ditto.
1776         (floordf2, floordf2_fpr): Ditto.
1777         (floatdidf2, floatdidf2_fpr): Ditto.
1778         (fmadddf4_fpr): Name insn.  Use VSX instructions if -mvsx.
1779         (fmsubdf4_fpr): Ditto.
1780         (fnmadddf4_fpr_1): Ditto.
1781         (fnmadddf4_fpr_2): Ditto.
1782         (fnmsubdf4_fpr_1): Ditto.
1783         (fnmsubdf4_fpr_2): Ditto.
1784         (fixuns_truncdfdi2): Add expander for VSX support.
1785         (fix_truncdfdi2): Ditto.
1786         (fix_truncdfsi2): Ditto.
1787         (ftruncdf2): Ditto.
1788         (btruncsf2): Whitespace.
1789         (movdf_hardfloat32): Add support for VSX registers.
1790         (movdf_softfloat32): Ditto.
1791         (movdf_hardfloat64): Ditto.
1792         (movdf_hardfloat64_mfpgpr): Ditto.
1793         (movdf_softfloat64): Ditto.
1794         (movti splitters): Add check for vector registers supporting
1795         TImode in the future.
1796         (bpermd): Add power7 bpermd instruction.
1797
1798         * config/rs6000/altivec.h (vec_div): Define if VSX.
1799         (vec_mul): Ditto.
1800         (vec_msub): Ditto.
1801         (vec_nmadd): Ditto.
1802         (vec_nearbyint): Ditto.
1803         (vec_rint): Ditto.
1804         (vec_sqrt): Ditto.
1805         (all predicates): Use the generic builtin function, and not the V4SF
1806         specific function so that the predicates will work with VSX's V2DF.
1807         (vec_all_*): Ditto.
1808         (vec_any_*): Ditto.
1809
1810         * doc/extend.texi (PowerPC Altivec/VSX Built-in Functions):
1811         Document new VSX functions and types.
1812
1813         * doc/invoke.texi (PowerPc options): Document -mpopcntd, -mvsx
1814         switches.
1815
1816         * doc/md.texi (PowerPC constraints): Document "wd", "wf", "ws",
1817         "wa", and "j" constraints.  Modify "v" to talk about Altivec
1818         instead of just vector.
1819
1820 2009-07-30  Andrew MacLeod  <amacleod@redhat.com>
1821
1822         PR debug/26475
1823         * tree-into-ssa.c (insert_phi_nodes_for, rewrite_add_phi_arguments): Set
1824         location for phi arguments.
1825         (rewrite_update_phi_arguments): Find locations for reaching defs.
1826         * tree-ssa-threadupdate.c (create_edge_and_update_destination_phis):
1827         Add location to add_phi_arg calls.
1828         * tree-loop-districbution.c (update_phis_for_loop_copy): Add locations.
1829         * tree-ssa-loop-manip.c (create_iv, add_exit_phis_edge,
1830         split_loop_exit_edge, tree_transform_and_unroll_loop): Add locations.
1831         * tree-tailcall.c (add_successor_phi_arg, eliminate_tail_call,
1832         create_tailcall_accumulator, tree_optimize_tail_calls_1): Add locations.
1833         * tree.h (struct phi_arg_d): Add location_t to PHI arguments.
1834         * tree-phinodes.c (make_phi_node): Initialize location.
1835         (resize_phi_node): Initialize location to UNKNOWN_LOCATION.
1836         (add_phi_arg): Add location parameter.
1837         (remove_phi_arg_num): Move location when moving phi argument.
1838         * omp-low.c (expand_parallel_call, expand_omp_for_static_chunk): Set
1839         location.
1840         * tree-vect-loop-manip.c (slpeel_update_phis_for_duplicate_loop,
1841         slpeel_update_phi_nodes_for_guard1,
1842         slpeel_update_phi_nodes_for_guard2,
1843         slpeel_tree_duplicate_loop_to_edge_cfg, set_prologue_iterations,
1844         vect_loop_versioning): Set locations.
1845         * tree-parloops.c (create_phi_for_local_result,
1846         transform_to_exit_first_loop, create_parallel_loop): Add locations.
1847         * gimple-pretty-print.c (dump_gimple_phi): Dump lineno's if present.
1848         * tree-vect-loop.c (get_initial_def_for_induction,
1849         vect_create_epilog_for_reduction, vect_finalize_reduction): Add
1850         locations.
1851         * tree-flow-inline.h (gimple_phi_arg_location): New.  Return locus.
1852         (gimple_phi_arg_location_from_edge): New.  Return locus from an edge.
1853         (gimple_phi_arg_set_location): New.  Set locus.
1854         (gimple_phi_arg_has_location): New.  Check for locus.
1855         (redirect_edge_var_map_location): New.  Return locus from var_map.
1856         * tree-vect-data-refs.c (vect_setup_realignment): Set location.
1857         * tree-ssa-phiopt.c (conditional_replacement): Set locus when
1858         combining PHI arguments.
1859         (cond_store_replacement): Set location.
1860         * cfgexpand.c (gimple_assign_rhs_to_tree): Transfer locus if possible.
1861         * grpahite.c (add_loop_exit_phis, add_guard_exit_phis,
1862         scop_add_exit_phis_edge): Add locations.
1863         * tree-cfgcleanup.c (remove_forwarder_block,
1864         remove_forwarder_block_with_phi): Add locations.
1865         * tree-ssa-pre.c (insert_into_preds_of_block): Add locations.
1866         * tree-predcom.c (initialize_root_vars, initialize_root_vars_lm): Add
1867         locations.
1868         * tree-ssa-dce.c (forward_edge_to_pdom): Add locations.
1869         * tree-ssa.c (redirect_edge_var_map_add, ssa_redirect_edge,
1870         flush_pending_stmts): Add source location.
1871         * lambda-code.c (perfect_nestify): Maintain location stack with argument
1872         stack to preserve locations.
1873         * tree-vect-stmts.c (vectorizable_load): Add location.
1874         * tree-inline.c (copy_phis_for_bb): Copy locus.
1875         (setup_one_parameter): Add call locus to inlined parameter stmts.
1876         (initialize_inlined_parameters): Pass in call location as parameter
1877         assignment locus.
1878         (tree_function_versioning): Pass location to setup_one_parameter.
1879         * tree-ssa-phiprop.c (phiprop_insert_phi): Set locations.
1880         * tree-outof-ssa.c (struct _elim_graph): Add source_location vecs for
1881         copy and edge lists.
1882         (insert_partition_copy_on_edge, insert_value_copy_on_edge,
1883         insert_rtx_to_part_on_edge, insert_part_to_rtx_on_edge): Provide a
1884         locus parameter and override the stmt default if provided.
1885         (new_elim_graph, clear_elim_graph, delete_elim_graph,
1886         elim_graph_add_edge, elim_graph_remove_succ_edge,
1887         FOR_EACH_ELIM_GRAPH_SUCC, FOR_EACH_ELIM_GRAPH_PRED, eliminate_build,
1888         elim_forward, elim_unvisited_predecessor, elim_backward, elim_create,
1889         eliminate_phi):  Add locus info in elimination graph for each edge and
1890         value copy.
1891         (insert_backedge_copies): Copy locus if present.
1892         * tree-flow.h (struct _edge_var_map): Add locus field.
1893         * tree-switch_conversions.c (fix_phi_nodes): Add locations.
1894         * tree-cfg.c (reinstall_phi_args, gimple_make_forwarder_block,
1895         add_phi_args_after_copy_edge, gimple_lv_adjust_loop_header_phi): Add
1896         locations.
1897         * ipa-struct-reorg.c (make_edge_and_fix_phis_of_dest): Add locations.
1898
1899 2009-07-30  Martin Jambor  <mjambor@suse.cz>
1900
1901         PR tree-optimization/40570
1902         * ipa-inline.c (cgraph_decide_inlining): Watch out for dead single
1903         use inlining loops.
1904
1905 2009-07-30  Razya Ladelsky <razya@il.ibm.com>
1906
1907         * ssa-loop-manip.c: Include langhooks.h.
1908         (rewrite_phi_with_iv): New.
1909         (rewrite_all_phi_nodes_with_iv): New.
1910         (canonicalize_loop_ivs): Move here from tree-parloops.c.
1911         Remove reduction_list argument. Use rewrite_all_phi_nodes_with_iv.
1912         * tree-parloops.c (loop_parallel_p): Move out all conditions
1913         except dependency check.
1914         (canonicalize_loop_ivs): Move to tree-ssa-loop-manip.c.
1915         (gen_parallel_loop): Call canonicalize_loop_ivs without
1916         reduction_list argument.
1917         (build_new_reduction): New.
1918         (gather_scalar_reductions): New.
1919         (try_get_loop_niter): New.
1920         (try_create_reduction_list): New.
1921         (parallleize_loops): Change the parallel conditions check.
1922         * tree-flow.h (canonicalize_loop_ivs): Remove one argument.
1923         * Makefile.in (tree-ssa-loop-manip.o): Add langhooks.h dependency.
1924
1925 2009-07-30  Dave Korn  <dave.korn.cygwin@gmail.com>
1926
1927         * opt-functions.awk (opt_args): Allow argument to be enclosed in
1928         curly braces.
1929         * doc/options.texi (Option properties):  Mention new quoting syntax.
1930
1931 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1932
1933         * config/alpha/alpha.c (alpha_start_function):
1934         Handle VMS_DEBUG_MAIN_POINTER
1935         * config/alpha/vms.h (VMS_DEBUG_MAIN_POINTER): Define new macro.
1936         * doc/invoke.texi: Document -mdebug-main switch.
1937
1938 2009-07-29  Richard Henderson  <rth@redhat.com>
1939
1940         * cgraph.c (cgraph_set_call_stmt_including_clones): Tidy.
1941         (cgraph_create_edge_including_clones): Likewise.
1942         * tree-inline.c (copy_bb): Operate on the correct edges
1943         when updating the callgraph.
1944
1945 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1946
1947         * config/alpha/vms-cc.c: Deleted.
1948         * config/alpha/vms-ld.c: Deleted.
1949         * config/alpha/t-vms64: Moved to config/vms
1950         * config/alpha/vms-crt0-64.c: Moved to config/vms
1951         * config/alpha/vms-crt0.c: Moved to config/vms
1952         * config/alpha/vms-psxcrt0-64.c: Moved to config/vms
1953         * config/alpha/vms-psxcrt0.c: Moved to config/vms
1954         * config/alpha/xm-vms.h: Moved to config/vms
1955         * config/alpha/x-vms: Moved to config/vms
1956         * config/alpha/t-vms (vcrt0.o, pcrt0.o): Move rules to new file
1957         config/vms/t-vms.
1958         * config/vms/t-vms: Moved here from config/alpha. Alpha specific
1959         parts removed. (STMP_FIXPROTO, STMP_FIXINC, LIMITS_H_TEST): Set.
1960         (version): Set.
1961         * config/vms/t-vms64: Moved here from config/alpha
1962         * config/vms/vms-crt0-64.c: Moved here from config/alpha.
1963         (argc,argv,envp): Enforce 32bit malloc'ing.
1964         * config/vms/vms-psxcrt0-64.c: Likewise.
1965         * config/vms/vms-crt0.c: Moved here from config/alpha.
1966         * config/vms/vms-psxcrt0.c: Likewise.
1967         * config/vms/vms-crtl-64.h: New file.
1968         * config/vms/vms-crtl.h: New file.
1969         * config/vms/vms.opt: New file.
1970         * config/vms/xm-vms64.h: New file.
1971         * config/vms/xm-vms.h: Moved here from config/alpha.
1972         (STANARD_EXEC_PREFIX, STANDARD_STARTFILE_PREFIX, STANDARD_INCLUDE_DIR):
1973         Set.
1974         * config/vms/x-vms: Moved here from config/alpha.
1975         (version, VMS_EXTRA_PARTS): Moved to t-vms.
1976         (vms-ld.o, vms-cc.o): Removed.
1977         (LN, LN_S, USE_COLLECT2, POD2MAN): Set.
1978
1979 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1980
1981         * dwarf2out.c (add_name_and_src_coords_attributes): Push on the
1982         correct stack (obvious VMS fix).
1983
1984 2009-07-29  Douglas B Rupp  <rupp@gnat.com>
1985
1986         * dwarf2out.c (output_file_names): Output VMS style file name, size,
1987         date, version info if VMS_DEBUGGING_INFO defined.
1988         * vmsdgbout.c (vms_file_stats_name): New functon. VMS style file name,
1989         size, date calculating code moved here.
1990
1991 2009-07-29  Paul Brook  <paul@codesourcery.com>
1992
1993         * config/arm/lib1funcs.asm (clear_cache): Use ARM_FUNC_START and
1994         do_push/do_pop.
1995
1996 2009-07-29  Uros Bizjak  <ubizjak@gmail.com>
1997
1998         PR target/40577
1999         * config/alpha/alpha.c (alpha_expand_unaligned_store): Convert src
2000         to DImode when generating insq_le insn.
2001
2002 2009-07-28  Douglas B Rupp  <rupp@gnat.com>
2003
2004         * dwarf2out.c (DWARF2_INDIRECT_STRING_SUPPORT_MISSING_ON_TARGET):
2005         New macro set for VMS_DEBUGGGING_INFO.
2006         (AT_string_form): Use it.
2007
2008 2009-07-28  DJ Delorie  <dj@redhat.com>
2009
2010         * config/mep/mep.c (vtext_section): New.
2011         (vftext_section): New.
2012         (ftext_section): New.
2013         (mep_select_section): Add support for functions.
2014         (mep_unique_section): Likewise.
2015         (mep_asm_init_sections): Likewise.
2016         (mep_encode_section_info): Remove it from here.
2017
2018         * config/mep/mep.h (USE_SELECT_SECTION_FOR_FUNCTIONS): Define.
2019
2020 2009-07-28  Paolo Bonzini  <bonzinI@gnu.org>
2021
2022         * tree.h (TREE_DEPRECATED): Document it is used for types too.
2023         (TYPE_VECTOR_OPAQUE): Use default_def_flag
2024
2025 2009-07-28  Douglas B Rupp  <rupp@gnat.com>
2026
2027         * dwarf2out.c (output_file_names): Test new macro
2028         DWARF2_DIR_SHOULD_END_WITH_SEPARATOR.
2029         (add_comp_dir_attribute): Likewise.
2030
2031 2009-07-28  Kai Tietz  <kai.tietz@onevision.com>
2032
2033         * config/i386/mingw-w64.h (LINK_SPEC): Add
2034         separating space between commands.
2035
2036 2009-07-28  Jan Hubicka  <jh@suse.cz>
2037
2038         PR tree-optimization/40759
2039         * tree-ssa-dce.c (mark_virtual_phi_result_for_renaming): Mark all uses
2040         for renaming.
2041
2042 2009-07-27  DJ Delorie  <dj@redhat.com>
2043
2044         * config/mep/mep.c (mep_expand_builtin_saveregs): Make sure 64-bit
2045         types are dword-aligned.
2046         (mep_expand_va_start): Likewise.
2047
2048 2009-07-27  Olivier Hainque  <hainque@adacore.com>
2049             Douglas B Rupp  <rupp@gnat.com>
2050
2051         * convert.c (convert_to_pointer): Don't assume the target
2052         pointer type is POINTER_SIZE long. Fetch its precision instead.
2053
2054 2009-07-27  Douglas B Rupp  <rupp@gnat.com>
2055
2056         * system.h (fopen): Undefine if macro.
2057
2058 2009-07-27  Jakub Jelinek  <jakub@redhat.com>
2059
2060         * dwarf2out.c (output_cfi_p): Removed.
2061         (output_cfis): New function.
2062         (output_fde): New function, split from output_call_frame_info.
2063         (output_call_frame_info): Use it.
2064         (dwarf2out_switch_text_section): Use output_cfis.
2065
2066 2009-07-24  Kai Tietz  <kai.tietz@onevision.com>
2067
2068         * config/i386/cygming.h (DWARF2_UNWIND_INFO): Error build when
2069         TARGET_BI_ARCH is specified without enabling SJLJ.
2070         * config/i386/mingw32.h (MD_UNWIND_SUPPORT): Define MD_UNWIND_SUPPORT,
2071         if TARGET_64BIT and TARGET_BI_ARCH aren't defined.
2072
2073 2009-07-26  Mikael Pettersson <mikpe@it.uu.se>
2074
2075         * arm.md (negdi2): Use DImode if forcing a value into a register.
2076
2077 2009-07-26  Ira Rosen  <irar@il.ibm.com>
2078
2079         PR tree-optimization/40801
2080         * tree-vect-stmts.c (vectorizable_call): Get previous copy
2081         of vector operand from the previous copy of vector statement.
2082         Pass the correct definition type value to
2083         vect_get_vec_def_for_stmt_copy().
2084
2085 2009-07-25  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2086
2087         * collect2.c (scan_libraries): Use CONST_CAST2 to perform char ** to
2088         const char ** conversion.
2089
2090 2009-07-25 David Daney <ddaney@caviumnetworks.com>
2091
2092         * system.h (gcc_assert): Invoke __builtin_unreachable() instead of
2093         fancy_abort() if !ENABLE_ASSERT_CHECKING.
2094         (gcc_unreachable): Invoke __builtin_unreachable() if
2095         !ENABLE_ASSERT_CHECKING.
2096
2097 2009-07-25  David Daney  <ddaney@caviumnetworks.com>
2098
2099         PR rtl-optimization/40445
2100         * emit-rtl.c (next_nonnote_insn_bb): New function.
2101         * rtl.h (next_nonnote_insn_bb): Declare new function.
2102         * cfgcleanup.c (try_optimize_cfg): Don't remove an empty block
2103         with no successors that is the successor of the ENTRY_BLOCK.
2104         Continue from the top after removing an empty fallthrough block.
2105         * cfgrtl.c (get_last_bb_insn): Call next_nonnote_insn_bb instead
2106         of next_nonnote_insn.
2107
2108 2009-07-25  David Daney  <ddaney@caviumnetworks.com>
2109
2110         * cfgcleanup.c (old_insns_match_p): Handle the case of empty blocks.
2111
2112 2009-07-25  Martin Jambor  <mjambor@suse.cz>
2113
2114         * c-common.c (c_common_attribute_table): New element for noclone.
2115         (handle_noclone_attribute): New function. Forward-declare.
2116         * tree-inline.c (tree_versionable_function_p): Check for noclone
2117         attribute.
2118         * doc/extend.texi (Labels as Values): Document need for noclone.
2119         (Function Attributes): Document noclone attribute.
2120
2121 2009-07-25  Jakub Jelinek  <jakub@redhat.com>
2122
2123         PR rtl-optimization/34999
2124         * dwarf2out.c (struct dw_fde_struct): Add dw_fde_switch_cfi
2125         and dw_fde_switched_cold_to_hot fields.
2126         (output_cfi_p): New function.
2127         (output_call_frame_info): If fde->dw_fde_switched_sections,
2128         output 2 FDEs instead of one with corrupted header.
2129         (dwarf2out_do_cfi_startproc): New function.
2130         (dwarf2out_begin_prologue): Use it.  Initialize fde->dw_fde_switch_cfi
2131         and fde->dw_fde_switched_cold_to_hot.
2132         (dwarf2out_switch_text_section): Compute
2133         fde->dw_fde_switched_cold_to_hot.  Switch to new text section here.
2134         If dwarf2out_do_cfi_asm, emit .cfi_endproc before it and call
2135         dwarf2out_do_cfi_startproc plus emit again currently active CFI insns.
2136         Otherwise, compute fde->dw_fde_switch_cfi.
2137
2138 2009-07-24  Cary Coutant  <ccoutant@google.com>
2139
2140         * tree-cfg.c (assign_discriminator): Add explicit parentheses.
2141
2142 2009-07-24  Cary Coutant  <ccoutant@google.com>
2143
2144         * cfghooks.c (split_block): Copy discriminator to new block.
2145         * tree-cfg.c (assign_discriminator): Check location of last
2146         instruction in block as well as first.
2147
2148 2009-07-24  Uros Bizjak  <ubizjak@gmail.com>
2149
2150         * config/i386/linux.c: Use fputs or putc instead of fprintf
2151         where appropriate.
2152         * config/i386/gas.h: Ditto.
2153         * config/i386/x86-64.h: Ditto.
2154         * config/i386/att.h: Ditto.
2155
2156 2009-07-24  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2157
2158         * expmed.c (emit_store_flag): Use a recursive call to optimize the
2159         xor case.
2160
2161 2009-07-24  Martin Jambor  <mjambor@suse.cz>
2162
2163         * ipa-prop.h (struct ipa_node_params): New flag node_enqued.
2164         (ipa_push_func_to_list_1): Declare.
2165         (ipa_push_func_to_list): New function.
2166
2167         * ipa-prop.c (ipa_push_func_to_list_1): New function.
2168         (ipa_init_func_list): Call ipa_push_func_to_list_1.
2169         (ipa_push_func_to_list): Removed.
2170         (ipa_pop_func_from_list): Clear node_enqueued flag.
2171
2172 2009-07-24  Andreas Krebbel  <krebbel1@de.ibm.com>
2173
2174         * config/s390/s390.c (override_options): Default
2175         max-unrolled-insns to 100 for z10 tuning.
2176
2177 2009-07-24  Tobias Grosser  <grosser@fim.uni-passau.de>
2178
2179         * Makefile.in (TREE_DATA_REF_H, tree-vrp.o, tree-cfg.o, tree-if-conv.o
2180         tree-ssa-loop.o, tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o,
2181         tree-ssa-loop-prefetch.o, tree-predcom.o, tree-affine.o,
2182         tree-scalar-evolution.o, tree-data-ref.o, tree-vect-loop.o,
2183         tree-vect-data-refs.o, tree-loop-linear.o, tree-loop-distribution.o
2184         tree-parloops.o, tree-pretty-printer.o, fold-const.o, tree-ssa-dce.o,
2185         lambda-code.o, params.o): Cleanup use of SCEV_H and TREE_DATA_REF_H.
2186
2187 2009-07-24  Kai Tietz  <kai.tietz@onevision.com>
2188
2189         * config/i386/mingw-w64.h (STANDARD_INCLUDE_DIR): Remove and
2190         use default set in mingw32.h header.
2191         * config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Use for 32-bit and
2192         64-bit /mingw/include path.
2193         (STANDARD_STARTFILE_PREFIX_1): Use for 32-bit and 64-bit /mingw/lib
2194         path.
2195
2196 2009-07-23  Neil Vachharajani  <nvachhar@google.com>
2197
2198         PR rtl-optimization/40209
2199         * loop-iv.c (iv_analysis_loop_init): Call df_note_add_problem.
2200
2201 2009-07-23  Uros Bizjak  <ubizjak@gmail.com>
2202
2203         * config/i386/i386.c: Use ASM_LONG instead of .long.  Concatenate
2204         ASM_LONG, LPREFIX, MCOUNT_NAME and PROFILE_COUNT_REGISTER strings
2205         with the rest of string where appropriate.  Use fputs or putc
2206         instead of fprintf where appropriate.
2207
2208 2009-07-22  Michael Meissner  <meissner@linux.vnet.ibm.com>
2209             Pat Haugen  <pthaugen@us.ibm.com>
2210             Revital Eres <ERES@il.ibm.com>
2211
2212         * config/rs6000/vector.md: New file.  Move most of the vector
2213         expander support here from altivec.md to allow for the VSX vector
2214         unit in the future.  Add support for secondary_reload patterns.
2215         Rewrite the patterns for vector comparison, and vector comparison
2216         predicate instructions so that the RTL expresses the desired
2217         behavior, instead of using unspec.
2218
2219         * config/rs6000/constraints.md ("f" constraint): Use
2220         rs6000_constraints to hold the precalculated register class.
2221         ("d" constraint): Ditto.
2222         ("wd" constraint): New constraint for VSX.
2223         ("wf" constraint): Ditto.
2224         ("ws" constraint): Ditto.
2225         ("wa" constraint): Ditto.
2226         ("wZ" constraint): Ditto.
2227         ("j" constraint): Ditto.
2228
2229         * config/rs6000/predicates.md (vsx_register_operand): New
2230         predicate for VSX.
2231         (vfloat_operand): New predicate for vector.md.
2232         (vint_operand): Ditto.
2233         (vlogical_operand): Ditto.
2234         (easy_fp_constant): If VSX, 0.0 is an easy constant.
2235         (easy_vector_constant): Add VSX support.
2236         (altivec_indexed_or_indirect_operand): New predicate for
2237         recognizing Altivec style memory references with AND -16.
2238
2239         * config/rs6000/rs6000.c (rs6000_vector_reload): New static global
2240         for vector secondary reload support.
2241         (rs6000_vector_reg_class): Delete, replacing it with
2242         rs6000_constraints.
2243         (rs6000_vsx_reg_class): Ditto.
2244         (rs6000_constraints): New array to hold the register classes of
2245         each of the register constraints that can vary at runtime.
2246         (builtin_mode_to_type): New static array for builtin function type
2247         creation.
2248         (builtin_hash_table): New static hash table for builtin function
2249         type creation.
2250         (TARGET_SECONDARY_RELOAD): Define target hook.
2251         (TARGET_IRA_COVER_CLASSES): Ditto.
2252         (rs6000_hard_regno_nregs_internal): If -mvsx, floating point
2253         registers are 128 bits if VSX memory reference instructions are used.
2254         (rs6000_hard_regno_mode_ok): For VSX, only check if the VSX memory
2255         unit is being used.
2256         (rs6000_debug_vector_unit): Move into rs6000_debug_reg_global.
2257         (rs6000_debug_reg_global): Move -mdebug=reg statements here.
2258         Print several of the scheduling related parameters.
2259         (rs6000_init_hard_regno_mode_ok): Switch to putting constraints in
2260         rs6000_constraints instead of rs6000_vector_reg_class.  Move
2261         -mdebug=reg code to rs6000_debug_reg_global.  Add support for
2262         -mvsx-align-128 debug switch.  Drop testing float_p if VSX or
2263         Altivec.  Add VSX support.  Setup for secondary reload support on
2264         Altivec/VSX registers.
2265         (rs6000_override_options): Make power7 set the scheduling groups
2266         like the power5.  Add support for new debug switches to override
2267         the scheduling defaults.  Temporarily disable -mcpu=power7 from
2268         setting -mvsx.  Add support for debug switches -malways-hint,
2269         -msched-groups, and -malign-branch-targets.
2270         (rs6000_buitlin_conversion): Add support for returning unsigned
2271         vector conversion functions to fix regressions due to stricter
2272         type checking.
2273         (rs6000_builtin_mul_widen_even): Ditto.
2274         (rs6000_builtin_mul_widen_odd): Ditto.
2275         (rs6000_builtin_vec_perm): Ditto.
2276         (rs6000_vec_const_move): On VSX, use xxlxor to clear register.
2277         (rs6000_expand_vector_init): Initial VSX support for using xxlxor
2278         to zero a register.
2279         (rs6000_emit_move): Fixup invalid const symbol_ref+reg that is
2280         generated upstream.
2281         (bdesc_3arg): Add builtins for unsigned types.  Add builtins for
2282         VSX types for bit operations.  Changes to accomidate vector.md.
2283         (bdesc_2arg): Ditto.
2284         (bdesc_1arg): Ditto.
2285         (struct builtin_description_predicates): Rewrite predicate
2286         handling so that RTL describes the operation, instead of passing
2287         the instruction to be used as a string argument.
2288         (bdesc_altivec_preds): Ditto.
2289         (altivec_expand_predicate_builtin): Ditto.
2290         (altivec_expand_builtin): Ditto.
2291         (rs6000_expand_ternop_builtin): Use a switch instead of an if
2292         statement for vsldoi support.
2293         (altivec_expand_ld_builtin): Change to use new names from vector.md.
2294         (altivec_expand_st_builtin): Ditto.
2295         (paired_expand_builtin): Whitespace changes.
2296         (rs6000_init_builtins): Add V2DF/V2DI types.  Initialize the
2297         builtin_mode_to_type table for secondary reload.  Call
2298         builtin_function_type to build random builtin functions.
2299         (altivec_init_builtins): Change to use builtin_function_type to
2300         create builtin function types dynamically as we need them.
2301         (builtin_hash_function): New support for hashing the tree types
2302         for builtin function as we need it, rather than trying to build
2303         all of the trees that we need.  Add initial preliminary VSX support.
2304         (builtin_function_type): Ditto.
2305         (builtin_function_eq): Ditto.
2306         (builtin_hash_struct): Ditto.
2307         (rs6000_init_builtins): Ditto.
2308         (rs6000_common_init_builtins): Ditto.
2309         (altivec_init_builtins): Ditto.
2310         (rs6000_common_init_builtins): Ditto.
2311         (enum reload_reg_type): New enum for simplifing reg classes.
2312         (rs6000_reload_register_type): Simplify register classes into GPR,
2313         Vector, and other registers.  Altivec and VSX addresses in reload.
2314         (rs6000_secondary_reload_inner): Ditto.
2315         (rs6000_ira_cover_classes): New target hook, that returns the
2316         appropriate cover classes, based on -mvsx being used or not.
2317         (rs6000_secondary_reload_class): Add VSX support.
2318         (get_vec_cmp_insn): Delete, rewrite vector conditionals.
2319         (get_vsel_insn): Ditto.
2320         (rs6000_emit_vector_compare): Rewrite vector conditional support
2321         so that where we can, we use RTL operators, instead of blindly use
2322         UNSPEC.
2323         (rs6000_emit_vector_select): Ditto.
2324         (rs6000_emit_vector_cond_expr): Ditto.
2325         (rs6000_emit_minmax): Directly generate min/max under altivec, vsx.
2326         (create_TOC_reference): Add -mdebug=addr support.
2327         (emit_frame_save): VSX loads/stores need register indexed addressing.
2328
2329         * config/rs6000/rs6000.md: Include vector.md.
2330
2331         * config/rs6000/t-rs6000 (MD_INCLUDES): Add vector.md.
2332
2333         * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
2334         support for V2DI, V2DF in logical, permute, select operations.
2335
2336         * config/rs6000/rs6000.opt (-mvsx-scalar-double): Add new debug
2337         switch for vsx/power7.
2338         (-mvsx-scalar-memory): Ditto.
2339         (-mvsx-align-128): Ditto.
2340         (-mallow-movmisalign): Ditto.
2341         (-mallow-df-permute): Ditto.
2342         (-msched-groups): Ditto.
2343         (-malways-hint): Ditto.
2344         (-malign-branch-targets): Ditto.
2345
2346         * config/rs6000/rs6000.h (IRA_COVER_CLASSES): Delete, use target
2347         hook instead.
2348         (IRA_COVER_CLASSES_PRE_VSX): Cover classes if not -mvsx.
2349         (IRA_COVER_CLASSES_VSX): Cover classes if -mvsx.
2350         (rs6000_vector_reg_class): Delete.
2351         (rs6000_vsx_reg_class): Ditto.
2352         (enum rs6000_reg_class_enum): New enum for the constraints that
2353         vary based on target switches.
2354         (rs6000_constraints): New array to hold the register class for all
2355         of the register constraints that vary based on the switches used.
2356         (ALTIVEC_BUILTIN_*_UNS): Add unsigned builtin functions.
2357         (enum rs6000_builtins): Add unsigned varients for the builtin
2358         declarations returned by target hooks for expanding multiplies,
2359         select, and permute operations.  Add VSX builtins.
2360         (enum rs6000_builtin_type_index): Add entries for VSX.
2361         (V2DI_type_node): Ditto.
2362         (V2DF_type_node): Ditto.
2363         (unsigned_V2DI_type_node): Ditto.
2364         (bool_long_type_node): Ditto.
2365         (intDI_type_internal_node): Ditto.
2366         (uintDI_type_internal_node): Ditto.
2367         (double_type_internal_node): Ditto.
2368
2369         * config/rs6000/altivec.md (whole file): Move all expanders to
2370         vector.md from altivec.md.  Rename insn matching functions to be
2371         altivec_foo.
2372         (UNSPEC_VCMP*): Delete, rewrite vector comparisons.
2373         (altivec_vcmp*): Ditto.
2374         (UNSPEC_VPERM_UNS): New, add for unsigned types using vperm.
2375         (VM): New iterator for moves that includes the VSX types.
2376         (altivec_vperm_<mode>): Add VSX types.  Add unsigned types.
2377         (altivec_vperm_<mode>_uns): New, for unsigned types.
2378         (altivec_vsel_*): Rewrite vector comparisons and predicate builtins.
2379         (altivec_eq<mode>): Ditto.
2380         (altivec_gt<mode>): Ditto.
2381         (altivec_gtu<mode>): Ditto.
2382         (altivec_eqv4sf): Ditto.
2383         (altivec_gev4sf): Ditto.
2384         (altivec_gtv4sf): Ditto.
2385         (altivec_vcmpbfp_p): Ditto.
2386
2387 2009-07-23  Richard Earnshaw  <rearnsha@arm.com>
2388
2389         * arm.md (split for ior/xor with shift and zero-extend): Cast op3 to
2390         unsigned HWI.
2391
2392 2009-07-23  Uros Bizjak  <ubizjak@gmail.com>
2393
2394         PR target/40832
2395         * config/i386/i386.c (output_387_ffreep): Rewrite to use
2396         ASM_SHORT instead of .word.
2397         * config/i386/i386.md (*tls_global_dynamic_64): Use ASM_SHORT
2398         instead of .word in asm template.
2399
2400 2009-07-22  Vladimir Makarov  <vmakarov@redhat.com>
2401
2402         PR target/37488
2403         * ira-lives.c (bb_has_abnormal_call_pred): New function.
2404         (process_bb_node_lives): Use it.
2405
2406         * ira.c (setup_cover_and_important_classes): Don't setup
2407         ira_important_class_nums.  Add cover classes to the end of
2408         important classes.
2409         (cover_class_order, comp_reg_classes_func, reorder_important_classes):
2410         New.
2411         (find_reg_class_closure): Use reorder_important_classes.
2412
2413         * config/i386/i386.h (IRA_COVER_CLASSES): Remove.
2414
2415         * config/i386/i386.c (i386_ira_cover_classes): New function.
2416         (TARGET_IRA_COVER_CLASSES): Redefine.
2417
2418         * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Add a comment about
2419         importance of order of cover classes in the array.
2420
2421 2009-07-22  Diego Novillo  <dnovillo@google.com>
2422
2423         * tree-pass.h (TDF_EH): Define.
2424         * gimple-pretty-print.c (dump_gimple_stmt): If FLAGS
2425         contains TDF_EH, print the EH region number holding GS.
2426         * tree-dump.c (dump_options): Add "eh".
2427         * doc/invoke.texi: Document it.
2428
2429 2009-07-22  Doug Kwan  <dougkwan@google.com>
2430
2431         * config/arm/arm.md (subdi3) Copy non-reg values to DImode registers.
2432
2433 2009-07-22  Michael Matz  <matz@suse.de>
2434
2435         PR tree-optimization/35229
2436         PR tree-optimization/39300
2437
2438         * tree-ssa-pre.c (includes): Include tree-scalar-evolution.h.
2439         (inhibit_phi_insertion): New function.
2440         (insert_into_preds_of_block): Call it for REFERENCEs.
2441         (init_pre): Initialize and finalize scalar evolutions.
2442         * Makefile.in (tree-ssa-pre.o): Depend on tree-scalar-evolution.h .
2443
2444 2009-07-22  Uros Bizjak  <ubizjak@gmail.com>
2445
2446         * config/i386/predicates.md (zero_extended_scalar_load_operand):
2447         Use CONST_VECTOR_NUNITS to determine number of elements.
2448
2449 2009-07-22  Andreas Krebbel  <krebbel1@de.ibm.com>
2450
2451         * config/s390/constraints.md (ZQ, ZR, ZS, ZT): New constraints.
2452         (U, W): Constraints are now deprecated and will be removed if we
2453         run out of letters.
2454         * config/s390/s390.md (U, W): Replaced with ZQZR, ZSZT throughout
2455         the file.
2456         ("prefetch"): Add the stcmh instruction for prefetching.
2457         * config/s390/s390.c (s390_symref_operand_p): Function moved. No
2458         changes.
2459         (s390_short_displacement): Return always true if compiling for
2460         machines not providing the long displacement facility.
2461         (s390_mem_constraint): Support the new constraint letter Z.
2462         (s390_check_qrst_address): New function.
2463
2464 2009-07-21  DJ Delorie  <dj@redhat.com>
2465
2466         * config/mep/mep.c (mep_legitimize_arg): Leave control registers
2467         alone too.
2468
2469 2009-07-21  Jason Merrill  <jason@redhat.com>
2470
2471         * c-common.c (max_tinst_depth): Increase default to 1024.
2472
2473 2009-07-21  Uros Bizjak  <ubizjak@gmail.com>
2474
2475         * config/i386/sse.md (vec_unpacku_float_hi_v4si): New expander.
2476         (vec_unpacku_float_lo_v4si): Ditto.
2477
2478 2009-07-21  Uros Bizjak  <ubizjak@gmail.com>
2479
2480         PR target/40811
2481         * config/i386/sse.md (sse2_cvtudq2ps): New expander.
2482         (enum ix86_builtins): Add IX86_BUILTIN_CVTUDQ2PS.
2483         (builtin_description): Add __builtin_ia32_cvtudq2ps.
2484         (ix86_vectorize_builtin_conversion): Handle IX86_BUILTIN_CVTUDQ2PS.
2485
2486 2009-07-21  Jakub Jelinek  <jakub@redhat.com>
2487
2488         PR tree-optimization/40813
2489         * tree-inline.c (copy_bb): Regimplify RHS after last stmt, not before
2490         it.
2491
2492 2009-07-21  Kaz Kojima  <kkojima@gcc.gnu.org>
2493
2494         * config/sh/sh.c (sh_gimplify_va_arg_expr): Wrap the result
2495         with a NOP_EXPR if needed.
2496
2497 2009-07-21  Paul Brook <paul@codesourcery.com>
2498
2499         * tree-vectorizer.c (increase_alignment): Handle nested arrays.
2500         Terminate debug dump with newline.
2501
2502 2009-07-20  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2503
2504         * pa.c (compute_zdepwi_operands): Limit deposit length to 32 - lsb.
2505         Cast "1" to unsigned HOST_WIDE_INT.
2506         (compute_zdepdi_operands): Limit maximum length to 64 bits.  Limit
2507         deposit length to the maximum length - lsb.  Extend length if
2508         HOST_BITS_PER_WIDE_INT is 32.
2509
2510 2009-07-20  Olatunji Ruwase <tjruwase@google.com>
2511
2512         * cgraph.h (constant_pool_htab): New function.
2513         (constant_descriptor_tree): Move from varasm.c.
2514         * varasm.c (constant_pool_htab): New function.
2515         (constant_descriptor_tree): Move to cgraph.h.
2516
2517 2009-07-20  Olatunji Ruwase  <tjruwase@google.com>
2518
2519         * toplev.c: Invoke FINISH_UNIT callbacks before call to finalize().
2520
2521 2009-07-20  Shujing Zhao  <pearly.zhao@oracle.com>
2522
2523         * Makefile.in (TREE_INLINE_H, tree-inline.o, cgraph.o): Remove
2524         $(VARRAY_H).
2525
2526 2009-07-20  Xinliang David Li  <davidxl@google.com>
2527
2528         * dbgcnt.c (dbg_cnt_set_limit_by_name): Add length check.
2529
2530 2009-07-20  Adam Nemet  <anemet@caviumnetworks.com>
2531
2532         * config/mips/mips.md (move_type): Add arith.
2533         (type): Handle arith.
2534         (zero_extendsidi2): Rename this into ...
2535         (*zero_extendsidi2): ... this.  Don't match if ISA_HAS_EXT_INS.
2536         (zero_extendsidi2): New expander.
2537         (*zero_extendsidi2_dext): New pattern.
2538
2539 2009-07-20  Nick Clifton  <nickc@redhat.com>
2540
2541         * config.gcc (mips64-*-*): Add definition of tm_defines in order
2542         to set MIPS_ABI_DEFAULT.
2543         * config/mips/vr.h (MIPS_ABI_DEFAULT): Remove definition.
2544
2545 2009-07-20  Jakub Jelinek  <jakub@redhat.com>
2546
2547         * tree-object-size.c (addr_object_size): Handle unions with
2548         array in it as last field of structs in __bos (, 1) as __bos (, 0).
2549
2550         PR tree-optimization/40792
2551         * tree.c (build_function_type_skip_args): Remove bogus assert.
2552
2553 2009-07-20  Jan Hubicka  <jh@suse.cz>
2554             Martin Jambor  <mjambor@suse.cz>
2555
2556         * cgraph.h (combined_args_to_skip): New field.
2557         * cgraph.c (cgraph_create_virtual_clone): Properly handle
2558         combined_args_to_skip and args_to_skip.
2559         * tree-inline.c (update_clone_info): New function.
2560         (tree_function_versioning): Call update_clone_info.
2561         * cgraphunit.c: (cgraph_materialize_clone): Dump materialized
2562         functions.
2563         (cgraph_materialize_all_clones): More extensive dumping, working
2564         with combined_args_to_skip rather than args_to_skip.
2565
2566 2009-07-20  Ira Rosen  <irar@il.ibm.com>
2567
2568         * tree-vectorizer.h (vectorizable_condition): Add parameters.
2569         * tree-vect-loop.c (vect_is_simple_reduction): Support COND_EXPR.
2570         (get_initial_def_for_reduction): Likewise.
2571         (vectorizable_reduction): Skip the check of first operand in case
2572         of COND_EXPR. Add check that it is outer loop vectorization if
2573         nested cycle was detected. Call vectorizable_condition() for
2574         COND_EXPR. If reduction epilogue cannot be created do not fail for
2575         nested cycles (if it is not double reduction). Assert that there
2576         is only one type in the loop in case of COND_EXPR. Call
2577         vectorizable_condition() to vectorize COND_EXPR.
2578         * tree-vect-stmts.c (vectorizable_condition): Update comment.
2579         Add parameters. Allow nested cycles if called from
2580         vectorizable_reduction(). Use reduction vector variable if provided.
2581         (vect_analyze_stmt): Call vectorizable_reduction() before
2582         vectorizable_condition().
2583         (vect_transform_stmt): Update call to vectorizable_condition().
2584
2585 2009-07-20  Christian Bruel  <christian.bruel@st.com>
2586
2587         * config/sh/sh.opt (-mfmovd): Resurrect and document.
2588         * doc/invoke.texi (-mfmovd): Likewise.
2589         * config/sh/sh.h (TARGET_FMOVD, MASK_FMOVD): Remove default setting.
2590
2591 2009-07-20  Jan Hubicka  <jh@suse.cz>
2592
2593         * tree-ssa-dce.c (remove_dead_phis): Only look for abnormal PHIs
2594         when handling SSA name.
2595
2596 2009-07-19  Jan Hubicka  <jh@suse.cz>
2597
2598         PR tree-optimization/40676
2599         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
2600         virtual PHIs in empty BBs.
2601
2602 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2603
2604         * combine.c (make_compound_operation) <SUBREG>: If force_to_mode
2605         re-expanded the compound use gen_lowpart instead to convert to the
2606         desired mode.
2607
2608 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2609
2610         * combine.c (try_widen_shift_mode): Add COUNT, OUTER_CODE and
2611         OUTER_CONST arguments.
2612         <LSHIFTRT>: Use them to allow widening if the bits shifted in from
2613         the new wider mode will be masked off.
2614         (simplify_shift_const_1): Adjust calls to try_widen_shift_mode.
2615
2616 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2617
2618         * combine.c (try_widen_shift_mode) <LSHIFTRT>: Allow widening if the
2619         high-order bits are zero.
2620
2621 2009-07-18  Adam Nemet  <anemet@caviumnetworks.com>
2622
2623         * combine.c (simplify_shift_const_1): Split code to determine
2624         shift_mode into ...
2625         (try_widen_shift_mode): ... here.  Allow widening for ASHIFTRT if the
2626         new bits shifted in are identical to the old sign bit.
2627
2628 2009-07-18  Richard Guenther  <rguenther@suse.de>
2629
2630         PR c/40787
2631         * gimplify.c (gimplify_call_expr): Reject code using results from
2632         functions returning void.
2633
2634 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
2635
2636         * doc/md.texi: Document the new PowerPC "es" constraint.
2637         Document that "m" can include automodified addresses on this target,
2638         and explain how %U must be used.  Extend the "Q" and "Z" documentation
2639         to suggest "es" as well as "m".
2640         * config/rs6000/constraints.md (es): New memory constraint.
2641         (Q, Z): Update strings to match new documentation.
2642
2643 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
2644
2645         * config/rs6000/rs6000.c (rs6000_mode_dependent_address): Allow any
2646         offset from virtual_stack_vars_rtx and arg_pointer_rtx.
2647         * config/rs6000/predicates.md (volatile_mem_operand): Use
2648         offsettable_nonstrict_memref_p.
2649         * config/rs6000/rs6000.md (*floatsidf2_internal): Remove split check.
2650         (*floatunssidf2_internal): Likewise.
2651         (*fix_truncdfsi2_internal): Likewise.
2652         (*fix_trunctfsi2_internal): Likewise.
2653
2654 2009-07-17  Anatoly Sokolov  <aesok@post.ru>
2655
2656         * config/avr/avr-devices.c (avr_mcu_t): Add atmega8u2, atmega16u2 and
2657         atmega32u2 devices.
2658         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
2659
2660 2009-07-17  Richard Guenther  <rguenther@suse.de>
2661
2662         PR c/40401
2663         * tree-pass.h (pass_diagnose_omp_blocks): Declare.
2664         (pass_warn_unused_result): Likewise.
2665         (TODO_set_props): Remove.
2666         * omp-low.c (diagnose_omp_structured_block_errors): Change to
2667         run as a pass.
2668         (pass_diagnose_omp_blocks): Define.
2669         * c-decl.c (pop_file_scope): Do not finalize the CU here.
2670         (c_gimple_diagnostics_recursively): Remove.
2671         (finish_function): Do not call it.
2672         (c_write_global_declarations): Continue after errors.
2673         Finalize the CU here.
2674         * c-gimplify.c (c_genericize): Do not gimplify here.
2675         * c-common.c (c_warn_unused_result): Move ...
2676         * tree-cfg.c (do_warn_unused_result): ... here.
2677         (run_warn_unused_result): New function.
2678         (gate_warn_unused_result): New function.
2679         (pass_warn_unused_result): New pass.
2680         * c-common.h (c_warn_unused_result): Remove.
2681         * flags.h (flag_warn_unused_result): Declare.
2682         * c-opts.c (c_common_init_options): Enable flag_warn_unused_result.
2683         * opts.c (flag_warn_unused_result): Initialize to false.
2684         * toplev.c (compile_file): Add comment.
2685         * omp-low.c (create_omp_child_function): Do not register
2686         the function with the frontend.
2687         (diagnose_omp_structured_block_errors): Prepare to be
2688         called as optimization pass.
2689         (gate_diagnose_omp_blocks): New function.
2690         (pass_diagnose_omp_blocks): New pass.
2691         * cgraph.h (cgraph_optimize): Remove.
2692         (cgraph_analyze_function): Likewise.
2693         * cgraph.c (cgraph_add_new_function): Gimplify C++ thunks.
2694         * cgraphunit.c (cgraph_lower_function): Lower nested functions
2695         before their parents here.
2696         (cgraph_finalize_function): Not here.
2697         (cgraph_analyze_function): Gimplify functions here.
2698         (cgraph_finalize_compilation_unit): Continue after errors.
2699         Optimize the callgraph from here.
2700         (cgraph_optimize): Make static.
2701         * langhooks.c (write_global_declarations): Finalize the CU.
2702         * gimplify.c (gimplify_asm_expr): Do not emit ASMs with errors.
2703         (gimplify_function_tree): Assert we gimplify only once.
2704         Set PROP_gimple_any property.
2705         * tree-nested.c (gimplify_all_functions): New function.
2706         (lower_nested_functions): Gimplify all nested functions.
2707         * gimple.h (diagnose_omp_structured_block_errors): Remove.
2708         * passes.c (init_optimization_passes): Add pass_warn_unused_result
2709         and pass_diagnose_omp_blocks after gimplification.  Do not
2710         set TODO_set_props on all_lowering_passes.
2711         (execute_one_pass): Do not handle TODO_set_props.
2712         * Makefile.in (cgraphunit.o): Add $(TREE_DUMP_H) dependency.
2713         (gimplify.o): Add tree-pass.h dependency.
2714         * tree-inline.c (copy_statement_list): Properly copy STATEMENT_LIST.
2715         (copy_tree_body_r): Properly handle TARGET_EXPR like SAVE_EXPR.
2716         (unsave_r): Likewise.
2717         * c-omp.c (c_finish_omp_atomic): Set DECL_CONTEXT on the
2718         temporary variable.
2719
2720 2009-07-17  Sandra Loosemore  <sandra@codesourcery.com>
2721
2722         * doc/service.texi (Service): Restore previously removed link,
2723         which isn't broken after all.
2724
2725 2009-07-17  Richard Guenther  <rguenther@suse.de>
2726
2727         PR tree-optimization/40321
2728         * tree-ssa-pre.c (add_to_exp_gen): Also add names defined by
2729         PHI nodes to the maximal set.
2730         (make_values_for_phi): Add PHI arguments to the maximal set.
2731         (execute_pre): Dump PHI_GEN and the maximal set.
2732
2733 2009-07-17  Jakub Jelinek  <jakub@redhat.com>
2734
2735         PR c++/40780
2736         * gimplify.c (gimplify_conversion): Don't change non-conversions into
2737         VIEW_CONVERT_EXPR.
2738
2739 2009-07-16  Sandra Loosemore  <sandra@codesourcery.com>
2740
2741         * doc/extend.texi (Nested Functions): Replace broken link with
2742         textual reference.
2743         * doc/service.texi (Service): Remove broken link.
2744
2745 2009-07-16  H.J. Lu  <hongjiu.lu@intel.com>
2746
2747         PR bootstrap/40781
2748         * builtins.c (expand_builtin_memcmp): Use loc instead of
2749         EXPR_LOCATION (exp).
2750         (expand_builtin_strncmp): Likewise.
2751
2752 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
2753             Manuel López-Ibáñez  <manu@gcc.gnu.org>
2754
2755         PR 40435
2756         * tree-complex.c, tree-loop-distribution.c, tree.c, tree.h,
2757         builtins.c, fold-const.c, omp-low.c, cgraphunit.c, tree-ssa-ccp.c,
2758         tree-ssa-dom.c, gimple-low.c, expr.c, tree-ssa-ifcombine.c,
2759         c-decl.c, stor-layout.c, tree-if-conv.c, c-typeck.c, gimplify.c,
2760         calls.c, tree-sra.c, tree-mudflap.c, tree-ssa-copy.c,
2761         tree-ssa-forwprop.c, c-convert.c, c-omp.c, varasm.c,
2762         tree-inline.c, c-common.c, c-common.h, gimple.c,
2763         tree-switch-conversion.c, gimple.h, tree-cfg.c, c-parser.c,
2764         convert.c: Add location argument to fold_{unary,binary,ternary},
2765         fold_build[123], build_call_expr, build_size_arg,
2766         build_fold_addr_expr, build_call_array, non_lvalue, size_diffop,
2767         fold_build1_initializer, fold_build2_initializer,
2768         fold_build3_initializer, fold_build_call_array,
2769         fold_build_call_array_initializer, fold_single_bit_test,
2770         omit_one_operand, omit_two_operands, invert_truthvalue,
2771         fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
2772         combine_comparisons, fold_builtin_*, fold_call_expr,
2773         build_range_check, maybe_fold_offset_to_address, round_up,
2774         round_down.
2775
2776 2009-07-16  Jason Merrill  <jason@redhat.com>
2777
2778         PR libstdc++/37907
2779         * c-common.c (c_common_reswords): Add __is_standard_layout
2780         and __is_trivial.
2781         * c-common.h (enum rid): Add RID_IS_STD_LAYOUT and RID_IS_TRIVIAL.
2782         * doc/implement-cxx.texi: New.
2783         * doc/gcc.texi: Include it.
2784
2785 2009-07-16  DJ Delorie  <dj@redhat.com>
2786
2787         * config/m32c/m32c.c (m32c_compare_redundant): Avoid removing
2788         compares that may be indirectly affected by previous instructions.
2789
2790 2009-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2791
2792         * builtins.c (do_mpc_arg2): New.
2793         (fold_builtin_2): Fold builtin cpow.
2794         * real.h (HAVE_mpc_pow): New.
2795
2796 2009-07-16  Bingfeng Mei  <bmei@broadcom.com>
2797
2798         * modulo-sched.c (sms_schedule): stage_count <= 1 as correct
2799         comparison to skip unprofitable schedule
2800
2801 2009-07-16  Simon Baldwin  <simonb@google.com>
2802
2803         * gcc.c (option_map): New flag -no-canonical-prefixes.
2804         * (display_help): Print help text for new flag.
2805         * (process_command): Move options translation and language specifics
2806         and handle new flag early.  Use it to set a function pointer to a
2807         prefix builder.  Replace make_relative_prefix calls with calls to
2808         the function pointed to.  Ignore new flag in regular options handling.
2809         * doc/invoke.texi (Overall Options): Documented -no-canonical-prefixes.
2810
2811 2009-07-15  DJ Delorie  <dj@redhat.com>
2812
2813         * config/mep/mep.md (sibcall_internal): Change register to avoid
2814         argument registers.
2815         (sibcall_value_internal): Likewise.
2816
2817 2009-07-15  Eric Botcazou  <ebotcazou@adacore.com>
2818
2819         PR rtl-optimization/40710
2820         * resource.c (mark_target_live_regs): Reset DF problem to LR.
2821
2822 2009-07-15  Adam Nemet  <anemet@caviumnetworks.com>
2823
2824         * config/mips/mips.md (*extenddi_truncate<mode>,
2825         *extendsi_truncate<mode>): Change type attribute to move_type
2826         with shift_shift.  Split out code handling exts from here ...
2827         (*extend<GPR:mode>_truncate<SHORT:mode>_exts): ... to this new
2828         pattern.
2829         (*extendhi_truncateqi): Change type attribute to move_type with
2830         shift_shift.  Split out code handling exts from here ...
2831         (*extendhi_truncateqi_exts): ... to this new pattern.
2832
2833 2009-07-15  Uros Bizjak  <ubizjak@gmail.com>
2834
2835         * config/i386/sse.md (copysign<mode>3): Use "and-not" SSE instruction
2836         instead of "and" with inverted sign bit mask value.  Use
2837         "nonimmediate_operand" for operand 1 and operand 2 predicate.
2838         Allocate registers only for operand 4 and operand 5.
2839
2840 2009-07-15  Jakub Jelinek  <jakub@redhat.com>
2841
2842         PR middle-end/40747
2843         * fold-const.c (fold_cond_expr_with_comparison): When folding
2844         < and <= to MIN, make sure the MIN uses the same type as the
2845         comparison's operands.
2846
2847 2009-07-15  Richard Earnshaw  <rearnsha@arm.com>
2848
2849         * arm.md (ior_xor): New code iterator.
2850         (split for ior/xor with shift and zero-extend): New split pattern.
2851         * arm/predicates.md (subreg_lowpart_operator): New special predicate.
2852
2853 2009-07-15  Richard Guenther  <rguenther@suse.de>
2854
2855         * tree-ssa-structalias.c (make_constraint_from_heapvar): Initialize
2856         offset member.
2857
2858 2009-07-15  Richard Guenther  <rguenther@suse.de>
2859
2860         PR middle-end/40753
2861         * alias.c (ao_ref_from_mem): Reject FUNCTION_DECL and LABEL_DECL bases.
2862
2863 2009-07-15  Maxim Kuvyrkov  <maxim@codesourcery.com>
2864
2865         * config/m68k/linux-unwind.h (m68k_fallback_frame_state): Update to
2866         handle 2.6.30 kernel.
2867
2868 2009-07-15  DJ Delorie  <dj@redhat.com>
2869
2870         * config/mep/mep.md (sibcall_internal): Change register to allow
2871         for 24-bit addresses.
2872         (sibcall_value_internal): Likewise.
2873
2874 2009-07-14  Ghassan Shobaki  <ghassan.shobaki@amd.com>
2875
2876         * doc/invoke.texi: Added descriptions of the  scheduling heuristics
2877         that are enabled/disabled by the flags introduced by a previous patch.
2878
2879 2009-07-14  DJ Delorie  <dj@redhat.com>
2880
2881         * config/mep/mep.md (sibcall_internal): Include non-toggling
2882         non-jmp case.
2883         (sibcall_value_internal): Likewise.
2884
2885 2009-07-14  Taras Glek  <tglek@mozilla.com>
2886             Rafael Espindola  <espindola@google.com>
2887
2888         * doc/sourcebuild.texi: Document install-plugin target.
2889         * configure.ac: Added install-plugin target to language makefiles.
2890         * configure: Regenerate.
2891         * Makefile.in: (install-plugin): Install more headers,
2892         depend on lang.install-plugin.
2893
2894 2009-07-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2895
2896         * tree-vrp.c (vrp_evaluate_conditional): Mark strings for
2897         translation.
2898
2899 2009-07-14  DJ Delorie  <dj@redhat.com>
2900
2901         * config/mep/mep.c (mep_vliw_jmp_match): New function.
2902         * config/mep/mep-protos.h (mep_vliw_jmp_match): Prototype it.
2903         * config/mep/mep.md (sibcall_internal): Change test from
2904         mep_vliw_mode_match to mep_vliw_jmp_match.
2905         (sibcall_value_internal): Likewise.
2906
2907 2009-07-14  Uros Bizjak  <ubizjak@gmail.com>
2908
2909         * config/i386/sse.md (copysign<mode>3): New expander.
2910         * config/i386/i386-protos.h (ix86_build_signbit_mask): New prototype.
2911         * config/i386/i386.c (ix86_build_signbit_mask): Make public.
2912         Use ix86_build_const_vector.
2913         (enum ix86_builtins): Add IX86_BUILTIN_CPYSGNPS and
2914         IX86_BUILTIN_CPYSGNPD.
2915         (builtin_description): Add __builtin_ia32_copysignps and
2916         __builtin_ia32_copysignpd.
2917         (ix86_builtin_vectorized_function): Handle BUILT_IN_COPYSIGN
2918         and BUILT_IN_COPYSIGNF.
2919
2920 2009-07-13  Jason Merrill  <jason@redhat.com>
2921
2922         * builtins.c (can_trust_pointer_alignment): New fn.
2923         (get_pointer_alignment): Factor it out from here.
2924         * tree.h: Declare it.
2925
2926 2009-07-14  David Edelsohn  <edelsohn@gnu.org>
2927
2928         * config/rs6000/predicates.md (offsettable_mem_operand): Test
2929         RTX_AUTOINC class.
2930
2931 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
2932
2933         PR debug/40705
2934         PR c++/403057
2935         * dwarf2.out.c (gen_type_die_with_usage): Added comment.
2936
2937 2009-07-14  Richard Guenther  <rguenther@suse.de>
2938             Andrey Belevantsev <abel@ispras.ru>
2939
2940         PR middle-end/40745
2941         * cfgexpand.c (partition_stack_vars): Do not bother to update
2942         alias information when not optimizing.
2943
2944 2009-07-14  Richard Guenther  <rguenther@suse.de>
2945             Andrey Belevantsev <abel@ispras.ru>
2946
2947         * tree-ssa-alias.h (refs_may_alias_p_1): Declare.
2948         (pt_solution_set): Likewise.
2949         * tree-ssa-alias.c (refs_may_alias_p_1): Export.
2950         * tree-ssa-structalias.c (pt_solution_set): New function.
2951         * final.c (rest_of_clean_state): Free SSA data structures.
2952         * print-rtl.c (print_decl_name): Remove.
2953         (print_mem_expr): Implement in terms of print_generic_expr.
2954         * alias.c (ao_ref_from_mem): New function.
2955         (rtx_refs_may_alias_p): Likewise.
2956         (true_dependence): Query alias-export info.
2957         (canon_true_dependence): Likewise.
2958         (write_dependence_p): Likewise.
2959         * tree-dfa.c (get_ref_base_and_extent): For void types leave
2960         size unknown.
2961         * emit-rtl.c (component_ref_for_mem_expr): Remove.
2962         (mem_expr_equal_p): Use operand_equal_p.
2963         (set_mem_attributes_minus_bitpos): Do not use
2964         component_ref_for_mem_expr.
2965         * cfgexpand.c (add_partitioned_vars_to_ptset): New function.
2966         (update_alias_info_with_stack_vars): Likewise.
2967         (partition_stack_vars): Call update_alias_info_with_stack_vars.
2968         * tree-ssa.c (delete_tree_ssa): Do not release SSA names
2969         explicitly nor clear stmt operands.
2970         Free the decl-to-pointer map.
2971         * tree-optimize.c (execute_free_datastructures): Do not free
2972         SSA data structures here.
2973         * tree-flow.h (struct gimple_df): Add decls_to_pointers member.
2974         * Makefile.in (emit-rtl.o): Add pointer-set.h dependency.
2975         (alias.o): Add tree-ssa-alias.h, pointer-set.h and $(TREE_FLOW_H)
2976         dependencies.
2977         (print-rtl.o): Add $(DIAGNOSTIC_H) dependency.
2978
2979 2009-07-13  DJ Delorie  <dj@redhat.com>
2980
2981         * config/mep/mep.h (CC1_SPEC): Tweak parameters to trigger
2982         unrolling at the right iteration count.
2983
2984         * config/mep/mep.c (mep_expand_prologue): Fix frame pointer
2985         calculations.
2986
2987 2009-07-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>
2988
2989         * haifa-sched.c (rank_for_schedule): Introduced flags to
2990         enable/disable individual scheduling heuristics.
2991         * common.opt: Introduced flags to enable/disable individual
2992         heuristics in the scheduler.
2993         * doc/invoke.texi: Introduced flags to enable/disable individual
2994         heuristics in the scheduler.
2995
2996 2009-07-13  Kai Tietz  <kai.tietz@onevision.com>
2997
2998         * config/i386/t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file
2999         config/i386/mingw-tls.c.
3000         * config/i386/mingw-tls.c: Removed.
3001
3002 2009-07-13  Ira Rosen  <irar@il.ibm.com>
3003
3004         * tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the
3005         checks access only relevant statements.
3006         (vectorizable_reduction): Likewise.
3007
3008 2009-07-12  Kai Tietz  <kai.tietz@onevision.com>
3009
3010         * config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
3011         just for 32-bit case.
3012
3013 2009-07-12  Jan Hubicka  <jh@suse.cz>
3014
3015         PR tree-optimization/40585
3016         * except.c (expand_resx_expr): When there already is resume
3017         instruction, produce linked list.
3018         (build_post_landing_pads): Assert that resume is empty.
3019         (connect_post_landing_pads): Handle resume lists.
3020         (dump_eh_tree): Dump resume list.
3021
3022 2009-07-12  Ira Rosen  <irar@il.ibm.com>
3023
3024         * tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
3025         with additional argument.
3026         * tree-vectorizer.h (enum vect_def_type): Add
3027         vect_double_reduction_def.
3028         (vect_is_simple_reduction): Add argument.
3029         * tree-vect-loop.c (vect_determine_vectorization_factor): Fix
3030         indentation.
3031         (vect_analyze_scalar_cycles_1): Detect double reduction. Call
3032         vect_is_simple_reduction with additional argument.
3033         (vect_analyze_loop_operations): Handle exit phi nodes in case of
3034         double reduction.
3035         (reduction_code_for_scalar_code): Handle additional codes by
3036         returning ERROR_MARK for them. Fix comment and indentation.
3037         (vect_is_simple_reduction): Fix comment, add argument to specify
3038         double reduction. Detect double reduction.
3039         (get_initial_def_for_induction): Fix indentation.
3040         (get_initial_def_for_reduction): Fix comment and indentation.
3041         Handle double reduction. Create initial definitions that do not
3042         require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
3043         (vect_create_epilog_for_reduction): Fix comment, add argument to
3044         handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
3045         epilogue result extraction. Create double reduction phi node and
3046         replace relevant uses.
3047         (vectorizable_reduction): Call vect_is_simple_reduction with
3048         additional argument. Fix indentation. Update epilogue code treatment
3049         according to the changes in reduction_code_for_scalar_code. Check
3050         for double reduction. Call vect_create_epilog_for_reduction with
3051         additional argument.
3052         * tree-vect-stmts.c (process_use): Handle double reduction, update
3053         documentation.
3054         (vect_mark_stmts_to_be_vectorized): Handle double reduction.
3055         (vect_get_vec_def_for_operand): Likewise.
3056
3057 2009-07-12  Danny Smith  <dansmister@gmail.com>
3058
3059         * config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
3060         dllexport if !TREE_PUBLIC.
3061         (i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.
3062
3063 2009-07-11  Anatoly Sokolov  <aesok@post.ru>
3064
3065         * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
3066         (avr_extra_arch_macro) Remove declatation.
3067         * config/avr/avr.c (avr_cpu_cpp_builtins): New function.
3068         (avr_extra_arch_macro) Declare as static.
3069         * config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.
3070
3071 2009-07-11  Jan Hubicka  <jh@suse.cz>
3072
3073         PR middle-end/48388
3074         * except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.
3075
3076 2009-07-11  Jakub Jelinek  <jakub@redhat.com>
3077
3078         PR debug/40713
3079         * dwarf2out.c (dw_fde_struct): Add in_std_section and
3080         cold_in_std_section bits.
3081         (dwarf2out_begin_prologue): Initialize them.
3082         (dwarf2out_finish): Don't emit FDE range into .debug_ranges
3083         if already covered by text_section or cold_text_section range.
3084
3085         PR rtl-optimization/40667
3086         * defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
3087         * doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
3088         * config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
3089         * config/i386/i386.c (ix86_minimum_alignment): New function.
3090         * config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
3091         * cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
3092         * emit-rtl.c (gen_reg_rtx): Likewise.
3093         * function.c (assign_parms): Likewise.  If nominal_type needs
3094         bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
3095         rather than passed_type's alignment.
3096
3097         PR target/40668
3098         * function.c (assign_parm_setup_stack): Adjust
3099         MEM_OFFSET (data->stack_parm) if promoted_mode is different
3100         from nominal_mode on big endian.
3101
3102 2009-07-11  Paolo Bonzini  <bonzini@gnu.org>
3103
3104         * expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.
3105
3106 2009-07-10  DJ Delorie  <dj@redhat.com>
3107
3108         * config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.
3109
3110 2009-07-10  Mark Mitchell  <mark@codesourcery.com>
3111
3112         * config/arm/thumb2.md (thumb2_cbz): Correct computation of length
3113         attribute.
3114         (thumb2_cbnz): Likewise.
3115
3116 2009-07-10  David Daney  <ddaney@caviumnetworks.com>
3117
3118         PR target/39079
3119         * config.gcc (supported_defaults): Add synci.
3120         (with_synci): Add validation.
3121         (all_defaults): Add synci.
3122         * config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
3123         ISA_HAS_SYNCI.
3124         (synci): Same.
3125         * config/mips/mips.opt (msynci): New option.
3126         * config/mips/mips.c (mips_override_options): Warn on use of
3127         -msynci for targets that do now support it.
3128         * gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
3129         msynci.
3130         * gcc/doc/invoke.texi (-msynci): Document the new option.
3131         * doc/install.texi (--with-synci): Document the new option.
3132
3133 2009-07-10  Richard Guenther  <rguenther@suse.de>
3134
3135         PR tree-optimization/40496
3136         * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
3137         the PHI result with a compatible type.
3138
3139 2009-07-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3140
3141         PR 25509
3142         PR 40614
3143         * c.opt (Wunused-result): New.
3144         * doc/invoke.texi: Document it.
3145         * c-common.c (c_warn_unused_result): Use it.
3146
3147 2009-07-09  DJ Delorie  <dj@redhat.com>
3148
3149         * targhooks.c (default_target_can_inline_p): Rename from
3150         default_target_option_can_inline_p.
3151         * targhooks.h (default_target_can_inline_p): Likewise.
3152         * target-def.h (TARGET_CAN_INLINE_P): Rename from
3153         TARGET_OPTION_CAN_INLINE_P.
3154         * config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
3155         * config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
3156         (mep_target_can_inline_p): Rename from
3157         mep_target_option_can_inline_p.
3158
3159         PR target/40626
3160         * config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
3161         registers used to pass vectors.
3162
3163         * config/mep/mep.c (mep_option_can_inline_p): Remove error call.
3164
3165 2009-07-09  Tom Tromey  <tromey@redhat.com>
3166
3167         * unwind-dw2-fde-darwin.c: Include dwarf2.h.
3168         * config/mmix/mmix.c: Include dwarf2.h.
3169         * config/rs6000/darwin-fallback.c: Include dwarf2.h.
3170         * config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
3171         * config/sh/sh.c: Include dwarf2.h.
3172         * config/i386/i386.c: Include dwarf2.h.
3173         * Makefile.in (DWARF2_H): Remove 'elf'.
3174         * except.c: Include dwarf2.h.
3175         * unwind-dw2.c: Include dwarf2.h.
3176         * dwarf2out.c: Include dwarf2.h.
3177         * unwind-dw2-fde-glibc.c: Include dwarf2.h.
3178         * unwind-dw2-fde.c: Include dwarf2.h.
3179         * dwarf2asm.c: Include dwarf2.h.
3180
3181 2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
3182
3183         * haifa-sched.c (insn_finishes_cycle_p): New static function.
3184         (max_issue): Use it.
3185         * sched-int.h (struct sched_info: insn_finishes_block_p): New
3186         scheduler hook.
3187         * sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
3188         (region_sched_info): Update.
3189         * sched-ebb.c (ebb_sched_info): Update.
3190         * modulo-sched.c (sms_sched_info): Update.
3191         * sel-sched-ir.c (sched_sel_haifa_sched_info): Update.
3192
3193 2009-07-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
3194
3195         * varasm.c (build_constant_desc): Don't share RTL in pool entries.
3196
3197 2009-07-09  Basile Starynkevitch  <basile@starynkevitch.net>
3198
3199         * plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen.
3200
3201 2009-07-09  Jakub Jelinek  <jakub@redhat.com>
3202
3203         PR middle-end/40692
3204         * fold-const.c (fold_cond_expr_with_comparison): Don't replace
3205         arg1 with arg01 if arg1 is already INTEGER_CST.
3206
3207 2009-07-08  Adam Nemet  <anemet@caviumnetworks.com>
3208
3209         * simplify-rtx.c (simplify_binary_operation_1) <AND>:
3210         Transform (and (truncate)) into (truncate (and)).
3211
3212 2009-07-08  Adam Nemet  <anemet@caviumnetworks.com>
3213
3214         * combine.c (make_extraction): Check TRULY_NOOP_TRUNCATION before
3215         creating LHS paradoxical subregs.  Fix surrounding returns to
3216         use NULL_RTX rather than 0.
3217
3218 2009-07-08  DJ Delorie  <dj@redhat.com>
3219
3220         * config/mep/mep.c: (mep_option_can_inline_p): New.
3221         (TARGET_OPTION_CAN_INLINE_P): Define.
3222
3223 2009-07-08  Mark Wielaard  <mjw@redhat.com>
3224
3225         PR debug/40659
3226         * dwarf2out.c (add_data_member_location_attribute): When we have
3227         only a constant offset don't emit a new location description using
3228         DW_OP_plus_uconst, but just add the constant with add_AT_int, when
3229         dwarf_version > 2.
3230
3231 2009-07-08  Richard Henderson  <rth@redhat.com>
3232
3233         PR target/38900
3234         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move to i386.c.
3235         (enum reg_class): Add CLOBBERED_REGS.
3236         (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Likewise.
3237         * config/i386/i386.c (ix86_conditional_register_usage): Moved
3238         from CONDITIONAL_REGISTER_USAGE; build CLOBBERED_REGS for 64-bit.
3239         (ix86_function_ok_for_sibcall): Tidy.  Disallow MS->SYSV sibcalls.
3240         (ix86_expand_call): Use sibcall_insn_operand when needed.  Don't
3241         force 64-bit sibcalls into R11.
3242         * config/i386/constraints.md (U): New constraint.
3243         * config/i386/i386.md (sibcall_1, sibcall_value_1): Use it.
3244         (sibcall_1_rex64, sibcall_value_1_rex64): Likewise.
3245         (sibcall_1_rex64_v, sibcall_value_1_rex64_v): Remove.
3246
3247 2009-07-08  Shujing Zhao  <pearly.zhao@oracle.com>
3248
3249         * basic-block.h (dump_regset, debug_regset): Remove duplicate
3250         prototypes.
3251         * c-objc-common.h (c_initialize_diagnostics): Ditto.
3252         * ebitmap.h (dump_ebitmap): Ditto.
3253         * optabs.h (optab_libfunc): Ditto.
3254         * tree.h (tree_expr_nonzero_warnv_p): Ditto.
3255         * tree-flow.h (vect_can_force_dr_alignment_p,
3256         get_vectype_for_scalar_type): Ditto.
3257         (vectorize_loops): Move prototype to ...
3258         * tree-vectorizer.h: ... here. Also, adjust comment.
3259         (vect_set_verbosity_level): Remove duplicate prototype.
3260         * tree-ssa-loop.c: Include tree-vectorizer.h.
3261         * Makefile.in (tree-ssa-loop.o): Depend on tree-vectorizer.h.
3262
3263 2009-07-08  Nick Clifton  <nickc@redhat.com>
3264
3265         * config/i386/unix.h (ASM_COMMENT_START): Add a space after the
3266         forward slash.
3267
3268 2009-07-08  DJ Delorie  <dj@redhat.com>
3269
3270         * config/mep/mep-ivc2.cpu (cpmovtocsar0_C3, cpmovtocsar1_C3,
3271         cpmovtocc_C3, cpmovtocsar0_P0S_P1, cpmovtocsar1_P0S_P1,
3272         cpmovtocc_P0S_P1): Mark volatile.  Note which registers are
3273         written to.
3274         * config/mep/intrinsics.md: Regenerated.
3275         * config/mep/mep.c (mep_interrupt_saved_reg): Save IVC2 control
3276         registers when asm() or calls are detected.
3277
3278 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3279
3280         PR c++/31246
3281         * gimplify.c (gimplify_expr): Propagate no_warning flag when
3282         gimplifying.
3283         * gimple (gimple_build_call_from_tree): Likewise.
3284         * tree-cfg.c (remove_useless_stmts_warn_notreached): Check
3285         no_warning flag before warning.
3286
3287 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3288
3289         * tree.c (set_expr_locus): Remove.
3290         * tree.h (EXPR_LOCUS,SET_EXPR_LOCUS,set_expr_locus): Remove.
3291         * c-typeck.c (c_finish_stmt_expr):  Replace EXPR_LOCUS by
3292         EXPR_LOCATION.
3293         * gimplify.c (internal_get_tmp_var): Likewise.
3294         (gimplify_call_expr): Likewise.
3295         (gimplify_one_sizepos): Likewise.
3296
3297 2009-07-07  Eric Botcazou  <ebotcazou@adacore.com>
3298
3299         PR debug/40666
3300         * dbxout.c (dbxout_symbol) <PARM_DECL>: Deal with parameters pointing
3301         to variables for debugging purposes.
3302
3303 2009-06-23  Mark Loeser  <mark@halcy0n.com>
3304
3305         PR build/40010
3306         * Makefile.in (gcc.pod): Depend on gcc-vers.texi.
3307
3308 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3309
3310         * pretty-print.c (pp_base_format): Remove %J.
3311         * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
3312         gcc_cxxdiag_char_table): Likewise.
3313         (init_dynamic_diag_info): Likewise.
3314
3315 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3316
3317         * pretty-print.c (pp_base_format): Remove %H.
3318         * c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
3319         gcc_cxxdiag_char_table): Likewise.
3320         (init_dynamic_diag_info): Likewise.
3321         * config/mep/mep.c (mep_select_section): Likewise.
3322
3323 2009-07-07  Duncan Sands  <baldrick@free.fr>
3324
3325         * final.c (pass_clean_state): Give the pass a name.
3326         * passes.c (pass_rest_of_compilation): Likewise.
3327         * tree-optimize.c (pass_all_optimizations): Likewise.
3328
3329 2009-07-07  H.J. Lu  <hongjiu.lu@intel.com>
3330
3331         * config/ia64/ia64.c (ia64_handle_model_attribute): Remove
3332         an extra 'decl' for error_at.
3333
3334 2009-07-07  Jakub Jelinek  <jakub@redhat.com>
3335
3336         PR middle-end/40669
3337         * tree-tailcall.c (adjust_return_value_with_ops,
3338         create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
3339         if it has complex or vector type.
3340
3341 2009-07-07  Olivier Hainque  <hainque@adacore.com>
3342
3343         * config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak
3344         pthread symbols.
3345
3346 2009-07-07  Basile Starynkevitch  <basile@starynkevitch.net>
3347
3348         * Makefile.in: added more lists of includes to PLUGIN_HEADERS.
3349
3350 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3351
3352         * cgraphunit.c: Replace %J by an explicit location.  Update all calls.
3353         * c-decl.c: Likewise.
3354         * function.c: Likewise.
3355         * varasm.c: Likewise.
3356         * tree-ssa.c: Likewise.
3357         * c-common.c: Likewise.
3358         * tree-cfg.c: Likewise.
3359         * config/spu/spu.c: Likewise.
3360         * config/ia64/ia64.c: Likewise.
3361         * config/v850/v850.c: Likewise.
3362
3363 2009-07-06  DJ Delorie  <dj@redhat.com>
3364
3365         * config/mep/mep-core.cpu (fsft, ssarb): Mark as VOLATILE.
3366         * config/mep/mep-ivc2.cpu (many): Add VOLATILE to more insns that make
3367         unspecified accesses to control registers.
3368         * config/mep/intrinsics.md: Regenerate.
3369         * config/mep/intrinsics.h: Regenerate.
3370         * config/mep/mep-intrin.h: Regenerate.
3371
3372 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3373
3374         * c-lex.c: Replace %H by an explicit location. Update all calls.
3375         * c-common.c: Likewise.
3376         * c-decl.c: Likewise.
3377         * c-typeck.c: Likewise.
3378         * fold-const.c: Likewise.
3379         * gimplify.c: Likewise.
3380         * stmt.c: Likewise.
3381         * tree-cfg.c: Likewise.
3382         * tree-ssa-loop-niter.c: Likewise.
3383         * tree-vrp.c: Likewise.
3384         * value-prof.c: Likewise.
3385
3386 2009-07-06  Diego Novillo  <dnovillo@google.com>
3387
3388         * tree-dfa.c (dump_variable): Write DECL_INITIAL for VAR
3389         if it has one.  Handle cases where VAR does not have an
3390         annotation or cfun is NULL.
3391
3392 2009-07-06  Diego Novillo  <dnovillo@google.com>
3393
3394         * tree.c: Include debug.h.
3395         (initialize_tree_contains_struct): New.
3396         (init_ttree): Call it.
3397         (tree_node_structure_for_code): Factor out of ...
3398         (tree_node_structure): ... here.
3399         * treestruct.def (TS_PHI_NODE): Remove.
3400         (TS_GIMPLE_STATEMENT): Remove.
3401
3402 2009-07-06  Diego Novillo  <dnovillo@google.com>
3403
3404         * tree-pretty-print.c (dump_generic_node): Protect against NULL op0.
3405         (debug_tree_chain): Handle cycles.
3406
3407 2009-07-06  Nick Clifton  <nickc@redhat.com>
3408             DJ Delorie  <dj@redhat.com>
3409
3410         * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
3411         __FMOVD_ENABLED__ is defined.
3412         * config/sh/sh.h
3413         (TARGET_FMOVD): Provide a default definition.
3414         (MASK_FMOVD): Likewise.
3415         (TARGET_CPU_CPP_BUILTINS): Define
3416         __FMOVD_ENABLED__ if TARGET_FMOVD is true.
3417         * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
3418         two fmov instructions depending upon whether TARGET_FMOVD is enabled.
3419         (split for DF load from memory into register): Also handle
3420         MEMs which consist of REG+DISP addressing.
3421         (split for DF store from register to memory): Likewise.
3422         (movsf_ie): Always use single fp_mode.
3423         * config/sh/sh.c (sh_override_options): Do not automatically
3424         enable TARGET_MOVD for the SH2A when supporting doubles - leave
3425         that to the -mfmovd command line switch.
3426         (broken_move): Do not restrict fldi test to only the SH4 and SH4A.
3427         (fldi_ok): Always allow.
3428         * config/sh/sh.opt (mfmovd): Remove this switch.
3429         * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
3430
3431 2009-07-06  J"orn Rennecke  <joern.rennecke@arc.com>
3432             Kaz Kojima  <kkojima@gcc.gnu.org>
3433
3434         PR rtl-optimization/30807
3435         * postreload.c (reload_combine): For every new use of REG_SUM,
3436         record the use of BASE.
3437
3438 2009-07-06  Jan Hubicka  <jh@suse.cz>
3439
3440         * params.def: Revert my accidental commit at 2009-06-30.
3441
3442 2009-07-04  Ian Lance Taylor  <iant@google.com>
3443
3444         PR target/40636
3445         * config/i386/msformat-c.c (mingw_format_attributes): Declare as
3446         EXPORTED_CONST.
3447         (mingw_format_attribute_overrides): Likewise.
3448
3449 2009-07-04  Jakub Jelinek  <jakub@redhat.com>
3450
3451         PR debug/40596
3452         * dwarf2out.c (based_loc_descr): For crtl->stack_realign_tried
3453         don't check cfa.reg.  Instead of cfa.indirect use
3454         fde && fde->drap_reg != INVALID_REGNUM test.
3455
3456 2009-07-04  Eric Botcazou  <ebotcazou@adacore.com>
3457
3458         * postreload.c (reload_combine): Replace CONST_REG with INDEX_REG.
3459
3460 2009-07-03  Vladimir Makarov  <vmakarov@redhat.com>
3461
3462         PR target/40587
3463         * ira.c (build_insn_chain): Use DF_LR_OUT instead of df_get_live_out.
3464
3465 2009-07-03  Richard Guenther  <rguenther@suse.de>
3466
3467         PR tree-optimization/40640
3468         * tree-switch-conversion.c (build_arrays): Perform arithmetic
3469         in original type.
3470
3471 2009-07-03  Jan Hubicka  <jh@suse.cz>
3472
3473         * ipa-inline.c (cgraph_decide_inlining_incrementally): When optimizing
3474         for size, reduce amount of inlining.
3475
3476 2009-07-03  Richard Guenther  <rguenther@suse.de>
3477
3478         PR middle-end/34163
3479         * tree-chrec.c (chrec_convert_1): Fold (T2)(t +- x) to (T2)t +- (T2)x
3480         if t +- x is known to not overflow and the conversion widens the
3481         operation.
3482         * Makefile.in (tree-chrec.o): Add $(FLAGS_H) dependency.
3483
3484 2009-07-03  Jan Hubicka  <jh@suse.cz>
3485
3486         * ipa-pure-const.c (analyze): Update loop optimizer init.
3487         * tree-ssa-loop-iv-canon.c (empty_loop_p, remove_empty_loop,
3488         try_remove_empty_loop, remove_empty_loops): Remove.
3489         * tree-ssa-loop.c (tree_ssa_empty_loop, pass_empty_loop): Remove.
3490         * tree-ssa-dce.c (find_obviously_necessary_stmts): Use finiteness info
3491         to mark regular loops as neccesary.
3492         (degenerate_phi_p): New function.
3493         (propagate_necessity, remove_dead_phis): Use it.
3494         (forward_edge_to_pdom): Likewise.
3495         (eliminate_unnecessary_stmts): Take care to remove uses of results of
3496         virtual PHI nodes that became unreachable.
3497         (perform_tree_ssa_dce): Initialize/deinitialize loop optimizer.
3498         * tree-flow.h (remove_empty_loops): Remove.
3499         * passes.c (init_optimization_passes): Remove.
3500
3501 2009-07-03  Uros Bizjak  <ubizjak@gmail.com>
3502
3503         * config/i386/i386.md (fix_trunc<mode>_fisttp_i387_1): Use
3504         can_create_pseudo_p.
3505         (*fix_trunc<mode>_i387_1): Ditto.
3506         (*floathi<mode>2_1): Ditto.
3507         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): Ditto.
3508         (*fistdi2_1): Ditto.
3509         (*fist<mode>2_1): Ditto.
3510         (frndintxf2_floor): Ditto.
3511         (*fist<mode>2_floor_1): Ditto.
3512         (frndintxf2_ceil): Ditto.
3513         (*fist<mode>2_ceil_1): Ditto.
3514         (frndintxf2_trunc): Ditto.
3515         (frndintxf2_mask_pm): Ditto.
3516         (fxam<mode>2_i387_with_temp): Ditto.
3517         * config/i386/sse.md (mulv16qi3): Ditto.
3518         (*sse2_mulv4si3): Ditto.
3519         (mulv2di3): Ditto.
3520         (sse4_2_pcmpestr): Ditto.
3521         (sse4_2_pcmpistr): Ditto.
3522
3523 2009-07-03  Jan Hubicka  <jh@suse.cz>
3524
3525         * tree-ssa-dce.c (bb_contains_live_stmts): New bitmap.
3526         (mark_stmt_necessary): Set it.
3527         (mark_operand_necessary): Set it.
3528         (mark_control_dependent_edges_necessary): Set it.
3529         (mark_virtual_phi_result_for_renaming): New function.
3530         (get_live_post_dom): New function.
3531         (forward_edge_to_pdom): New function.
3532         (remove_dead_stmt): Fix handling of control dependences.
3533         (tree_dce_init): Init new bitmap.
3534         (tree_dce_done): Free it.
3535
3536 2009-07-02  Richard Guenther  <rguenther@suse.de>
3537
3538         PR bootstrap/40617
3539         * tree-ssa-structalias.c (new_var_info): Initialize
3540         is_restrict_var.
3541
3542 2009-07-02  Jan Hubicka  <jh@suse.cz>
3543
3544         * ipa-pure-const.c (check_op): Use PTA info to see if indirect_ref is
3545         local.
3546
3547 2009-07-02  Paolo Bonzini  <bonzini@gnu.org>
3548
3549         * expmed.c (emit_cstore, emit_store_flag_1): Accept target_mode
3550         instead of recomputing it.  Adjust calls.
3551         (emit_store_flag): Adjust recursive calls.
3552
3553 2009-07-02  Richard Guenther  <rguenther@suse.de>
3554
3555         * tree-ssa-live.c (remove_unused_locals): Do not remove
3556         heap variables.
3557         * tree-ssa-structalias.c (handle_lhs_call): Delay setting
3558         of DECL_EXTERNAL for HEAP variables.
3559         (compute_points_to_sets): Set DECL_EXTERNAL for escaped
3560         HEAP variables.  Do not adjust RESTRICT vars.
3561         (find_what_var_points_to): Nobody cares if something
3562         points to READONLY.
3563
3564 2009-07-02  Ben Elliston  <bje@au.ibm.com>
3565
3566         * unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Move
3567         pc_low and pc_high declarations to the top of the function.
3568
3569 2009-07-01  DJ Delorie  <dj@redhat.com>
3570
3571         * config/mep/mep.c (mep_handle_option): Leave IVC2 control
3572         registers as fixed.
3573         (mep_interrupt_saved_reg): Save appropriate IVC2 control registers.
3574         * config/mep/mep-ivc2.cpu: Add VOLATILE to insns that make
3575         unspecified accesses to control registers.
3576         * config/mep/intrinsics.md: Regenerate.
3577         * config/mep/intrinsics.h: Regenerate.
3578         * config/mep/mep-intrin.h: Regenerate.
3579
3580 2009-07-01  Anthony Green  <green@moxielogic.com>
3581
3582         * config/moxie/moxie.c (moxie_expand_prologue): Use dec
3583         instruction when possible.
3584         (moxie_expand_prologue): Ditto.  Also, save an instruction and
3585         some complexity by popping off of $r12 instead of $sp.
3586         * config/moxie/moxie.md (movsi_pop): Don't assume $sp.  Take two
3587         operands.
3588
3589 2009-07-01  Richard Henderson  <rth@redhat.com>
3590
3591         PR bootstrap/40347
3592         * function.c (reposition_prologue_and_epilogue_notes): If epilogue
3593         contained no insns, reposition note before last insn.
3594
3595 2009-07-01  Richard Henderson  <rth@redhat.com>
3596
3597         PR debug/40431
3598         * dwarf2out.c (def_cfa_1): Revert 2009-06-11 change for
3599         DW_CFA_def_cfa_offset and DW_CFA_def_cfa.
3600
3601 2009-07-01  Michael Meissner  <meissner@linux.vnet.ibm.com>
3602
3603         PR bootstrap/40558
3604         * config/rs6000/rs6000.c (print_operand): Undo change that breaks
3605         darwin9 for printing reg addresses with %y.
3606
3607 2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>
3608
3609         * combine.c (force_to_mode): Handle TRUNCATE.  Factor out
3610         truncation from operands in binary operations.
3611
3612 2009-07-01  Adam Nemet  <anemet@caviumnetworks.com>
3613
3614         Revert:
3615         2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
3616         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
3617         subreg of op0 to the original op0.
3618
3619         * expmed.c (store_bit_field_1): Use a temporary as the destination
3620         instead of a paradoxical subreg when we need to truncate the result.
3621
3622 2009-07-01  DJ Delorie  <dj@redhat.com>
3623
3624         * config/mep/mep-ivc2.cpu (cmov, cmovc, cmovh): Add intrinsic
3625         names to VLIW variants.
3626         (ivc2rm, ivc2crn): Make data type consistent with non-VLIW variants.
3627         * config/mep/intrinsics.md: Regenerate.
3628         * config/mep/intrinsics.h: Regenerate.
3629         * config/mep/mep-intrin.h: Regenerate.
3630
3631 2009-07-01  Jakub Jelinek  <jakub@redhat.com>
3632
3633         PR debug/40462
3634         * jump.c (returnjump_p): Revert last patch.
3635         * dwarf2out.c (dwarf2out_begin_epilogue): Handle SEQUENCEs.
3636
3637 2009-07-01  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3638
3639         PR target/40575
3640         * pa.md (casesi32p): Use jump table label to determine the offset
3641         of the jump table.
3642         (casesi64p): Likewise.
3643
3644         * pa.c (forward_branch_p): Return bool type.  Use instruction
3645         addresses when available.  Assert that INSN has a jump label.
3646         (pa_adjust_insn_length): Don't call forward_branch_p if INSN doesn't
3647         have a jump label.
3648
3649 2009-07-01  Richard Guenther  <rguenther@suse.de>
3650
3651         PR tree-optimization/19831
3652         * tree-ssa-dce.c (propagate_necessity): Calls to functions
3653         that only act as barriers do not make any previous stores necessary.
3654         * tree-ssa-structalias.c (handle_lhs_call): Delay making
3655         HEAP variables global, do not add a constraint from nonlocal.
3656         (find_func_aliases): Handle escapes through return statements.
3657         (compute_points_to_sets): Make escaped HEAP variables global.
3658
3659 2009-07-01  Paolo Bonzini  <bonzini@gnu.org>
3660
3661         PR bootstrap/40597
3662         * expmed.c (emit_store_flag): Perform a conversion if necessary,
3663         after reducing a DImode cstore to SImode.
3664
3665 2009-07-01  Paolo Bonzini  <bonzini@gnu.org>
3666
3667         * expr.c (expand_expr_real_1): Reinstate fallthrough to
3668         TRUTH_ANDIF_EXPR if do_store_flag returns NULL.
3669
3670 2009-07-01  Maciej W. Rozycki  <macro@linux-mips.org>
3671
3672         * config/vax/vax.h (TARGET_BSD_DIVMOD): New macro.  Set to 1.
3673         * config/vax/linux.h (TARGET_BSD_DIVMOD): New macro.  Redefine the
3674         to 0.
3675         * config/vax/vax.c (vax_init_libfuncs): Only redefine udiv_optab
3676         and umod_optab if TARGET_BSD_DIVMOD.
3677         * config/vax/lib1funcs.asm: New file.
3678         * config/vax/t-linux: New file.
3679         * config.gcc (vax-*-linux*): Set tmake_file to vax/t-linux.
3680
3681 2009-06-30  Jakub Jelinek  <jakub@redhat.com>
3682
3683         PR c++/40566
3684         * convert.c (convert_to_integer) <case COND_EXPR>: Don't convert
3685         to type arguments that have void type.
3686
3687         PR debug/40573
3688         * dwarf2out.c (gen_formal_parameter_die): Call
3689         equate_decl_number_to_die if node is different from origin.
3690
3691 2009-06-30  Anthony Green  <green@moxielogic.com>
3692
3693         Clean up moxie port for --enable-build-with-cxx.
3694         * config/moxie/moxie.c (moxie_function_value): First two
3695         parameters are const_tree, not tree.
3696         * config/moxie/moxie.h (enum reg_class): Rename CC_REG to CC_REGS.
3697         (REG_CLASS_NAMES): Ditto.
3698         (REGNO_REG_CLASS): Ditto.
3699         * config/moxie/moxie-protos.h (moxie_override_options): Declare.
3700         (moxie_function_value): Fix constyness of arguments.
3701
3702 2009-06-30  Eric Botcazou  <ebotcazou@adacore.com>
3703
3704         * cgraphunit.c (cgraph_finalize_compilation_unit): Call
3705         finalize_size_functions before further processing.
3706         * stor-layout.c: Include cgraph.h, tree-inline.h and tree-dump.h.
3707         (variable_size): Call self_referential_size on size expressions
3708         that contain a PLACEHOLDER_EXPR.
3709         (size_functions): New static variable.
3710         (copy_self_referential_tree_r): New static function.
3711         (self_referential_size): Likewise.
3712         (finalize_size_functions): New global function.
3713         * tree.c: Include tree-inline.h.
3714         (push_without_duplicates): New static function.
3715         (find_placeholder_in_expr): New global function.
3716         (substitute_in_expr) <tcc_declaration>: Return the replacement object
3717         on equality.
3718         <tcc_expression>: Likewise.
3719         <tcc_vl_exp>: If the replacement object is a constant, try to inline
3720         the call in the expression.
3721         * tree.h (finalize_size_functions): Declare.
3722         (find_placeholder_in_expr): Likewise.
3723         (FIND_PLACEHOLDER_IN_EXPR): New macro.
3724         (substitute_placeholder_in_expr): Update comment.
3725         * tree-inline.c (remap_decl): Do not unshare trees if do_not_unshare
3726         is true.
3727         (copy_tree_body_r): Likewise.
3728         (copy_tree_body): New static function.
3729         (maybe_inline_call_in_expr): New global function.
3730         * tree-inline.h (struct copy_body_data): Add do_not_unshare field.
3731         (maybe_inline_call_in_expr): Declare.
3732         * Makefile.in (tree.o): Depend on TREE_INLINE_H.
3733         (stor-layout.o): Depend on CGRAPH_H, TREE_INLINE_H, TREE_DUMP_H and
3734         GIMPLE_H.
3735
3736 2009-06-30  Richard Guenther  <rguenther@suse.de>
3737
3738         * tree-ssa-dce.c (mark_all_reaching_defs_necessary_1): Always
3739         continue walking.
3740         (propagate_necessity): Do not mark reaching defs of stores
3741         as necessary.
3742
3743 2009-06-30  Jan Hubicka  <jh@suse.cz>
3744
3745         * cfgloopanal.c (check_irred): Move into ...
3746         (mark_irreducible_loops): ... here; return true if ireducible
3747         loops was found.
3748         * ipa-pure-const.c: Include cfgloop.h and tree-scalar-evolution.h
3749         (analyze_function): Try to prove loop finiteness.
3750         * cfgloop.h (mark_irreducible_loops): Update prototype.
3751         * Makefile.in (ipa-pure-const.o): Add dependency on SCEV and CFGLOOP.
3752
3753 2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>
3754
3755         * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.
3756
3757 2009-06-30  Ira Rosen  <irar@il.ibm.com>
3758
3759         PR tree-optimization/40542
3760         * tree-vect-stmts.c (vect_analyze_stmt): Don't vectorize volatile
3761         types.
3762
3763 2009-06-30  Martin Jambor  <mjambor@suse.cz>
3764
3765         PR tree-optimization/40582
3766         * tree-sra.c (build_ref_for_offset_1): Use types_compatible_p rather
3767         than useless_type_conversion_p.
3768         (generate_subtree_copies): Increment sra_stats.subtree_copies at a
3769         proper place.
3770
3771 2009-06-30  Martin Jambor  <mjambor@suse.cz>
3772
3773         PR middle-end/40554
3774         * tree-sra.c (sra_modify_expr): Add access->offset to start_offset.
3775
3776 2009-06-30  Richard Guenther  <rguenther@suse.de>
3777
3778         * tree-ssa-alias.c (walk_aliased_vdefs_1): Change interface to
3779         use ao_ref references.
3780         (walk_aliased_vdefs): Likewise.
3781         * tree-ssa-alias.h (walk_aliased_vdefs): Adjust prototype.
3782         * tree-ssa-dce.c (struct ref_data): Remove.
3783         (mark_aliased_reaching_defs_necessary_1): Use the ao_ref argument.
3784         (mark_aliased_reaching_defs_necessary): Adjust.
3785         (mark_all_reaching_defs_necessary_1): Likewise.
3786
3787 2009-06-30  Paolo Bonzini  <bonzini@gnu.org>
3788
3789         PR boostrap/40597
3790         * expmed.c (emit_cstore): New name of emit_store_flag_1.
3791         (emit_store_flag_1): Extract from emit_store_flag, adjust
3792         calls to (what now is) emit_cstore.
3793         (emit_store_flag): Call emit_store_flag_1 and also use it
3794         for what used to be recursive calls.
3795
3796 2009-06-30  Wei Guozhi  <carrot@google.com>
3797
3798         PR/40416
3799         * tree-ssa-sink.c (statement_sink_location): Stop sinking expression
3800         if the target bb post dominates from bb.
3801         * config/i386/i386.c (memory_address_length): Check existence of base
3802         register before using it.
3803
3804 2009-06-30  Nick Clifton  <nickc@redhat.com>
3805             DJ Delorie  <dj@redhat.com>
3806
3807         * config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
3808         __FMOVD_ENABLED__ is defined.
3809         * config/sh/sh.h
3810         (TARGET_FMOVD): Provide a default definition.
3811         (MASK_FMOVD): Likewise.
3812         (TARGET_CPU_CPP_BUILTINS): Define
3813         __FMOVD_ENABLED__ if TARGET_FMOVD is true.
3814         * config/sh/sh.md (movdf_i4): For alternative 0 use either one or
3815         two fmov instructions depending upon whether TARGET_FMOVD is
3816         enabled.
3817         (split for DF load from memory into register): Also handle
3818         MEMs which consist of REG+DISP addressing.
3819         (split for DF store from register to memory): Likewise.
3820         * config/sh/sh.opt (mfmovd): Remove this switch.
3821         * doc/invoke.texi (-mfmovd): Remove documentation of this switch.
3822         * config/sh/sh.c (sh_override_options): Do not automatically
3823         enable TARGET_MOVD for the SH2A when supporting doubles - leave
3824         that to the -mfmovd command line switch.
3825
3826         * config/sh/sh.c (broken_move): Do not restrict fldi test to only
3827         the SH4 and SH4A.
3828         (fldi_ok): Always allow.
3829         * config/sh/sh.md (movsf_ie): Always use single fp_mode.
3830
3831 2009-06-29  DJ Delorie  <dj@redhat.com>
3832
3833         * doc/install.texi (mep-x-elf): Correct chip's full name.
3834
3835 2009-06-29  H.J. Lu  <hongjiu.lu@intel.com>
3836
3837         * doc/extend.texi: Fix typo.
3838
3839 2009-06-29  Tom Tromey  <tromey@redhat.com>
3840
3841         * dwarf2.h: Remove.
3842         * Makefile.in (DWARF2_H): New variable.
3843         (except.o): Use it.
3844         (dwarf2out.o): Likewise.
3845         (dwarf2asm.o): Likewise.
3846         * config/i386/t-i386: Use DWARF2_H.
3847         * except.c: Include elf/dwarf2.h.
3848         * unwind-dw2.c: Include elf/dwarf2.h.
3849         * dwarf2out.c: Include elf/dwarf2.h.
3850         (dw_loc_descr_struct) <dw_loc_opc>: Now a bitfield.
3851         <dtprel>: New field.
3852         (dwarf_stack_op_name): Don't handle INTERNAL_DW_OP_tls_addr.
3853         (size_of_loc_descr): Likewise.
3854         (output_loc_operands_raw): Likewise.
3855         (output_loc_operands): Handle new dtprel field.
3856         (loc_checksum): Update.
3857         (loc_descriptor_from_tree_1) <VAR_DDECL>: Set dtprel field.
3858         * unwind-dw2-fde-glibc.c: Include elf/dwarf2.h.
3859         * unwind-dw2-fde.c: Include elf/dwarf2.h.
3860         * dwarf2asm.c: Include elf/dwarf2.h.
3861         * unwind-dw2-fde-darwin.c: Include elf/dwarf2.h.
3862         * config/mmix/mmix.c: Include elf/dwarf2.h.
3863         * config/rs6000/darwin-fallback.c: Include elf/dwarf2.h.
3864         * config/xtensa/unwind-dw2-xtensa.c: Include elf/dwarf2.h.
3865         * config/sh/sh.c: Include elf/dwarf2.h.
3866         * config/i386/i386.c: Include elf/dwarf2.h.
3867
3868 2009-06-29  DJ Delorie  <dj@redhat.com>
3869
3870         * config/mep/mep.h (CPP_SPEC): Remove __cop macro.
3871
3872         * doc/extend.texi: Add MeP attributes and pragmas.
3873         * doc/invoke.text: Add MeP Options.
3874         * doc/contrib.texi: Add MeP contribution.
3875         * doc/md.texi: Add MeP constraints.
3876         * doc/install.texi: Add MeP target.
3877
3878 2009-06-30  Anatoly Sokolov  <aesok@post.ru>
3879
3880         * target.h (struct gcc_target): Add frame_pointer_required field.
3881         * target-def.h (TARGET_FRAME_POINTER_REQUIRED): New.
3882         (TARGET_INITIALIZER): Use TARGET_FRAME_POINTER_REQUIRED.
3883         * ira.c (setup_eliminable_regset): Use frame_pointer_required target
3884         hook.
3885         * reload1.c (update_eliminables): (Ditto.).
3886         * gcc/system.h (FRAME_POINTER_REQUIRED): Poison.
3887         * doc/tm.texi (FRAME_POINTER_REQUIRED): Revise documentation.
3888         (INITIAL_FRAME_POINTER_OFFSET): (Ditto.).
3889
3890         * config/arc/arc.h (FRAME_POINTER_REQUIRED): Remove macro.
3891
3892         * config/arm/arm.h (FRAME_POINTER_REQUIRED): Remove macro.
3893         * config/arm/arm.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3894         (arm_frame_pointer_required): New function.
3895
3896         * config/avr/avr.h (FRAME_POINTER_REQUIRED): Remove macro.
3897         * config/avr/avr.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3898         (avr_frame_pointer_required_p): Declare as static.
3899         * config/avr/avr-protos.h (avr_frame_pointer_required_p): Remove.
3900
3901         * config/bfin/bfin.h (FRAME_POINTER_REQUIRED): Remove macro.
3902         * config/bfin/bfin.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3903         (bfin_frame_pointer_required): Make as static, change return type
3904         to bool.
3905         * config/bfin/bfin-protos.h (bfin_frame_pointer_required): Remove.
3906
3907         * config/cris/cris.h (FRAME_POINTER_REQUIRED): Remove macro.
3908         * config/cris/cris.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3909         (cris_frame_pointer_required): New function.
3910
3911         * config/crx/crx.h (FRAME_POINTER_REQUIRED): Remove macro.
3912
3913         * config/fr30/fr30.h (FRAME_POINTER_REQUIRED): Remove macro.
3914         * config/fr30/fr30.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3915         (fr30_frame_pointer_required): New function.
3916
3917         * config/frv/frv.h (FRAME_POINTER_REQUIRED): Remove macro.
3918         * config/frv/frv.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3919         (frv_frame_pointer_required): Make as static, change return type
3920         to bool.
3921         * config/bfin/bfin-protos.h (frv_frame_pointer_required): Remove.
3922
3923         * config/i386/i386.h (FRAME_POINTER_REQUIRED): Remove macro.
3924         * config/i386/i386.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3925         (ix86_frame_pointer_required): Make as static, change return type to
3926         bool.
3927         * config/i386/i386-protos.h (ix86_frame_pointer_required): Remove.
3928
3929         * config/m32c/m32c.h (FRAME_POINTER_REQUIRED): Remove macro.
3930         * config/m32c/m32c.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3931
3932         * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Remove macro.
3933
3934         * config/mcore/mcore.h (CAN_ELIMINATE): Remove macro.
3935
3936         * config/mep/mep.h (FRAME_POINTER_REQUIRED): Remove macro.
3937
3938         * config/mips/mips.h (FRAME_POINTER_REQUIRED): Remove macro.
3939         * config/mips/mips.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3940         (mips_frame_pointer_required): Make as static.
3941         * config/mips/mips-protos.h (mips_frame_pointer_required): Remove.
3942
3943         * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Remove macro.
3944         * config/mmix/mmix.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3945         (mmix_frame_pointer_required): Mew function.
3946
3947         * config/moxie/moxie.h (FRAME_POINTER_REQUIRED): Remove macro.
3948         * config/moxie/moxie.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3949
3950         * config/pa/pa.h (FRAME_POINTER_REQUIRED): Remove macro.
3951
3952         * config/score/score.h (FRAME_POINTER_REQUIRED): Remove macro.
3953
3954         * config/sh/sh.h (CAN_ELIMINATE): Remove macro.
3955
3956         * config/sparc/sparc.h (FRAME_POINTER_REQUIRED): Remove macro.
3957         (CAN_ELIMINATE): Redefine.
3958         * config/sparc/sparc.c (TARGET_FRAME_POINTER_REQUIRED): Define macro.
3959         (sparc_frame_pointer_required): New function.
3960         (sparc_can_eliminate): New function.
3961         * config/sparc/sparc-protos.h (sparc_can_eliminate): Declare.
3962
3963         * config/vax/vax.h (FRAME_POINTER_REQUIRED): Remove macro.
3964         * config/vax/vax.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3965
3966         * config/xtensa/xtensa.h (FRAME_POINTER_REQUIRED): Remove macro.
3967         * config/xtensa/xtensa.c (TARGET_FRAME_POINTER_REQUIRED): Define.
3968         (xtensa_frame_pointer_required): Make as static, change return type
3969         to bool.
3970         * config/xtensa/xtensa-protos.h (xtensa_frame_pointer_required):
3971         Remove.
3972
3973 2009-06-29  Olatunji Ruwase  <tjruwase@google.com>
3974
3975         * doc/plugins.texi: Document PLUGIN_START_UNIT.
3976         * toplev.c (compile_file): Call PLUGIN_START_UNIT.
3977         * gcc-plugin.h (PLUGIN_START_UNIT): Added new event.
3978         * plugin.c (plugin_event_name): Added PLUGIN_START_UNIT.
3979         (register_callback): Handle PLUGIN_START_UNIT.
3980         (invoke_plugin_callbacks): Handle PLUGIN_START_UNIT.
3981
3982 2009-06-29  Eric Botcazou  <ebotcazou@adacore.com>
3983
3984         * tree.c (process_call_operands): Propagate TREE_READONLY from the
3985         operands.
3986         (PROCESS_ARG): Do not clear TREE_READONLY if CONSTANT_CLASS_P.
3987         (build3_stat): Propagate TREE_READONLY for COND_EXPR.
3988
3989 2009-06-29  Daniel Jacobowitz  <dan@codesourcery.com>
3990
3991         * config/arm/arm.h (REGISTER_MOVE_COST): Increase VFP register
3992         move cost.
3993
3994 2009-06-29  Uros Bizjak  <ubizjak@gmail.com>
3995
3996         * doc/extend.texi (Additional Floating Types): __float128 is also
3997         supported on i386 targets.
3998
3999 2009-06-29  Richard Guenther  <rguenther@suse.de>
4000
4001         PR middle-end/14187
4002         * tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
4003         flag.
4004         (pt_solutions_same_restrict_base): Declare.
4005         * tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
4006         flag.
4007         (new_var_info): Initialize is_global_var properly for SSA_NAMEs.
4008         (make_constraint_from, make_copy_constraint): Move earlier.
4009         (make_constraint_from_heapvar): New function.
4010         (make_constraint_from_restrict): Likewise.
4011         (handle_lhs_call): Use it.
4012         (find_func_aliases): Use it to track conversions to restrict
4013         qualified pointers.
4014         (struct fieldoff): Add only_restrict_pointers flag.
4015