OSDN Git Service

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