OSDN Git Service

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