OSDN Git Service

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