OSDN Git Service

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