OSDN Git Service

* config/mips/mips.c (mips_offset_within_alignment_p): New.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-05-18  DJ Delorie  <dj@redhat.com>
2
3         * config/mips/mips.c (mips_offset_within_alignment_p): New.
4         (mips_symbolic_constant_p): Call it for TPREL and DTPREL symbols.
5
6 2007-05-18  Uros Bizjak  <ubizjak@gmail.com>
7
8         * longlong.h (__x86_64__): Add definitions for add_ssaaaa,
9         sub_ddmmss, umul_ppmm, udiv_qrnnd, count_leading_zeros and
10         count_trailing_zeros.
11         (__i386__): Implement count_leading_zeros using __builtin_clz().
12         Implement count_trailing_zeros usign __builtin_ctz().
13
14 2007-05-18  Richard Sandiford  <richard@codesourcery.com>
15
16         * config/i386/vxworks.h (ASM_PREFERRED_EH_DATA_FORMAT): Undefine.
17
18 2007-05-18  Uros Bizjak  <ubizjak@gmail.com>
19
20         PR middle-end/31344
21         * expr.c (emit_move_change_mode): Change mode of push operands here.
22
23 2007-05-17  Ian Lance Taylor  <iant@google.com>
24
25         PR tree-optimization/31953
26         * tree-vrp.c (set_value_range_to_value): Add equiv parameter.
27         Change all callers.
28         (set_value_range_to_null): Call set_value_range_to_value.
29         (extract_range_from_comparison): Likewise.
30
31 2007-05-17  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
32
33         * toplev.c (print_version): Output GMP/MPFR version info.
34
35         * builtins.c (CASE_MATHFN_REENT): New macro.
36         (mathfn_built_in): Use it.
37         * builtins.def (BUILT_IN_GAMMA_R, BUILT_IN_GAMMAF_R,
38         BUILT_IN_GAMMAL_R, BUILT_IN_LGAMMA_R, BUILT_IN_LGAMMAF_R,
39         BUILT_IN_LGAMMAL_R): New.
40         * doc/extend.texi: Document new builtins.
41
42         PR middle-end/31796
43         * builtins.c (do_mpfr_remquo): New.
44         (fold_builtin_2): Handle BUILT_IN_DREM/BUILT_IN_REMAINDER.
45         (fold_builtin_3): Handle BUILT_IN_REMQUO.
46
47         PR middle-end/30251
48         * builtins.c (fold_builtin_1): Handle y0, y1.
49         (fold_builtin_2): Handle yn.
50
51         PR middle-end/30251
52         * builtins.c (do_mpfr_bessel_n): New.
53         (fold_builtin_1): Handle BUILT_IN_J0 and BUILT_IN_J1.
54         (fold_builtin_2): Handle BUILT_IN_JN.
55
56 2007-05-17  Danny Smith  <dannysmith@users.sourceforge.net>
57
58         PR target/31965
59         * config/i386/mingw32.h (_INTEGRAL_MAX_BITS): Define builtin as
60         TYPE_PRECISION (intmax_type_node).
61
62 2007-05-17  Steve Ellcey  <sje@cup.hp.com>
63
64         PR target/31850
65         * reload.c (subst_reloads): Remove checking.
66
67 2007-05-17  Eric Botcazou  <ebotcazou@libertysurf.fr>
68
69         PR rtl-optimization/31691
70         * combine.c (simplify_set): Build a new src pattern instead of
71         substituting its operands in the COMPARE case.
72
73 2007-05-17  Zdenek Dvorak  <dvorakz@suse.cz>
74
75         * tree-vrp.c (finalize_jump_threads): Do not care about dominance info.
76         (execute_vrp): Preserve loops through jump threading.
77         * tree-ssa-threadupdate.c (thread_single_edge,
78         dbds_continue_enumeration_p, determine_bb_domination_status,
79         thread_through_loop_header): New functions.
80         (create_edge_and_update_destination_phis,
81         create_edge_and_update_destination_phis): Set loops for the new blocks.
82         (prune_undesirable_thread_requests): Removed.
83         (redirect_edges): Do not pretend that redirect_edge_and_branch can
84         create new blocks.
85         (thread_block): Do not call prune_undesirable_thread_requests.
86         Update loops.
87         (mark_threaded_blocks): Select edges to thread here.
88         (thread_through_all_blocks): Take may_peel_loop_headers argument.
89         Thread edges through loop headers independently.
90         * cfgloopmanip.c (create_preheader, mfb_keep_just): Export.
91         * tree-pass.h (TODO_mark_first_instance): New.
92         (first_pass_instance): Declare.
93         * cfghooks.c (duplicate_block): Put the block to the original loop
94         if copy is not specified.
95         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Preserve loops through
96         jump threading.  Pass may_peel_loop_headers to
97         thread_through_all_blocks according to first_pass_instance.
98         * cfgloop.h (create_preheader): Declare.
99         * tree-flow.h (thread_through_all_blocks): Declaration changed.
100         * basic-block.h (mfb_keep_just, mfb_kj_edge): Declare.
101         * passes.c (first_pass_instance): New variable.
102         (next_pass_1): Set TODO_mark_first_instance.
103         (execute_todo): Set first_pass_instance.
104
105 2007-05-17  Uros Bizjak  <ubizjak@gmail.com>
106
107         PR tree-optimization/24659
108         * optabs.h (enum optab_index): Add OTI_vec_unpacks_float_hi,
109         OTI_vec_unpacks_float_lo, OTI_vec_unpacku_float_hi,
110         OTI_vec_unpacku_float_lo, OTI_vec_pack_sfix_trunc and
111         OTI_vec_pack_ufix_trunc.
112         (vec_unpacks_float_hi_optab): Define new macro.
113         (vec_unpacks_float_lo_optab): Ditto.
114         (vec_unpacku_float_hi_optab): Ditto.
115         (vec_unpacku_float_lo_optab): Ditto.
116         (vec_pack_sfix_trunc_optab): Ditto.
117         (vec_pack_ufix_trunc_optab): Ditto.
118         * genopinit.c (optabs): Implement vec_unpack[s|u]_[hi|lo]_optab
119         and vec_pack_[s|u]fix_trunc_optab using
120         vec_unpack[s|u]_[hi\lo]_* and vec_pack_[u|s]fix_trunc_* patterns
121         * tree-vectorizer.c (supportable_widening_operation): Handle
122         FLOAT_EXPR and CONVERT_EXPR.  Update comment.
123         (supportable_narrowing_operation): New function.
124         * tree-vectorizer.h (supportable_narrowing_operation): Prototype.
125         * tree-vect-transform.c (vectorizable_conversion): Handle
126         (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
127         (vect_gen_widened_results_half): Move before vectorizable_conversion.
128         (vectorizable_type_demotion): Call supportable_narrowing_operation()
129         to check for target support.
130         * optabs.c (optab_for_tree_code) Return vec_unpack[s|u]_float_hi_optab
131         for VEC_UNPACK_FLOAT_HI_EXPR, vec_unpack[s|u]_float_lo_optab
132         for VEC_UNPACK_FLOAT_LO_EXPR and vec_pack_[u|s]fix_trunc_optab
133         for VEC_PACK_FIX_TRUNC_EXPR.
134         (expand_binop): Special case mode of the result for
135         vec_pack_[u|s]fix_trunc_optab.
136         (init_optabs): Initialize vec_unpack[s|u]_[hi|lo]_optab and
137         vec_pack_[u|s]fix_trunc_optab.
138
139         * tree.def (VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR,
140         VEC_PACK_FIX_TRUNC_EXPR): New tree codes.
141         * tree-pretty-print.c (dump_generic_node): Handle
142         VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR and
143         VEC_PACK_FIX_TRUNC_EXPR.
144         (op_prio): Ditto.
145         * expr.c (expand_expr_real_1): Ditto.
146         * tree-inline.c (estimate_num_insns_1): Ditto.
147         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
148
149         * config/i386/sse.md (vec_unpacks_float_hi_v8hi): New expander.
150         (vec_unpacks_float_lo_v8hi): Ditto.
151         (vec_unpacku_float_hi_v8hi): Ditto.
152         (vec_unpacku_float_lo_v8hi): Ditto.
153         (vec_unpacks_float_hi_v4si): Ditto.
154         (vec_unpacks_float_lo_v4si): Ditto.
155         (vec_pack_sfix_trunc_v2df): Ditto.
156
157         * doc/c-tree.texi (Expression trees) [VEC_UNPACK_FLOAT_HI_EXPR]:
158         Document.
159         [VEC_UNPACK_FLOAT_LO_EXPR]: Ditto.
160         [VEC_PACK_FIX_TRUNC_EXPR]: Ditto.
161         * doc/md.texi (Standard Names) [vec_pack_sfix_trunc]: Document.
162         [vec_pack_ufix_trunc]: Ditto.
163         [vec_unpacks_float_hi]: Ditto.
164         [vec_unpacks_float_lo]: Ditto.
165         [vec_unpacku_float_hi]: Ditto.
166         [vec_unpacku_float_lo]: Ditto.
167
168 2007-05-16  Uros Bizjak  <ubizjak@gmail.com>
169
170         * soft-fp/README: Update for new files.
171         * soft-fp/floattisf.c: New file.
172         * soft-fp/floattidf.c: New file.
173         * soft-fp/floattitf.c: New file.
174         * soft-fp/floatuntisf.c: New file.
175         * soft-fp/floatuntidf.c: New file.
176         * soft-fp/floatuntitf.c: New file.
177         * soft-fp/fixsfti.c: New file.
178         * soft-fp/fixdfti.c: New file.
179         * soft-fp/fixtfti.c: New file.
180         * soft-fp/fixunssfti.c: New file.
181         * soft-fp/fixunsdfti.c: New file.
182         * soft-fp/fixunstfti.c: New file.
183         * soft-fp/extendxftf.c: New file.
184         * soft-fp/trunctfxf.c: New file.
185
186         * libgcc-std.ver (__extendxftf2): Added to GCC_4.3.0 section.
187         (__trunctfxf2): Ditto.
188
189         * config/i386/libgcc-x86_64-glibc.ver (__addtf3, __divtf3, __eqtf2,
190         __extenddftf2, __extendsftf2, __fixtfdi, __fixtfsi, __fixtfti,
191         __fixunstfdi, __fixunstfsi, __fixunstfti, __floatditf, __floatsitf,
192         __floattitf, __floatunditf, __floatunsitf, __floatuntitf, __getf2,
193         __letf2, __multf3, __negtf2, __subtf3, __trunctfdf2, __trunctfsf2,
194         __unordtf2): Exclude and add to GCC_4.3.0 section for x86_64 targets.
195
196         * config/i386/t-fprules-softfp64: New file.
197         * config/i386/sfp-machine.h: New file.
198         * config.gcc (x86_64-*-linux*, x86_64-*-kfreebsd*-gnu,
199         x86_64-*-knetbsd*-gnu): Add i386/t-fprules-softfp64
200         and soft-fp/t-softfp to tmake_file.
201         (i[34567]86-*-linux*, i[34567]86-*-kfreebsd*-gnu,
202         i[34567]86-*-knetbsd*-gnu): Ditto for --enable-targets=all.
203         
204         * config/i386/t-linux64 (softfp_wrap_start): New.
205         (softfp_wrap_end): New.
206         * config/i386/i386.c (ix86_scalar_mode_supported): TFmode is
207         supported for TARGET_64BIT.
208
209 2007-05-16  Rafael Avila de Espindola  <espindola@google.com>
210
211         * c-common.c (c_common_signed_or_unsigned_type): Emulate 
212         c_common_unsigned_type behavior.
213
214 2007-05-16  Paolo Bonzini  <bonzini@gnu.org>
215
216         * config/i386/i386.c (legitimize_tls_address): Mark __tls_get_addr
217         calls as pure.
218
219 2007-05-16  Eric Christopher  <echristo@apple.com>
220
221         * config/rs6000/rs6000.c (rs6000_emit_prologue): Move altivec register
222         saving after stack push. Set sp_offset whenever we push.
223         (rs6000_emit_epilogue): Move altivec register restore before
224         stack push.
225
226 2007-05-16  Richard Sandiford  <richard@codesourcery.com>
227
228         * configure.ac: Allow sysroots to be relocated under $prefix as
229         well as $exec_prefix.
230         * configure: Regenerate.
231
232 2007-05-16  Richard Sandiford  <richard@codesourcery.com>
233
234         Revert:
235
236         2007-05-12  Richard Sandiford  <richard@codesourcery.com>
237
238         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
239         (gcc_tooldir): Likewise.
240         * configure: Regenerate.
241         * Makefile.in (libsubdir_to_prefix): New variable, based on the
242         old configure.ac gcc_tooldir setting.
243         (prefix_to_exec_prefix): New variable.
244         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
245         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
246
247 2007-05-14  Janis Johnson  <janis187@us.ibm.com>
248
249         * c-typeck.c (build_binary_op): Return early for error.
250
251 2007-05-15  Zdenek Dvorak  <dvorakz@suse.cz>
252
253         * tree-ssa-loop-niter.c (record_estimate): Use GGC_NEW to allocate
254         struct nb_iter_bound.
255         (free_numbers_of_iterations_estimates_loop): Use ggc_free.
256         * gengtype.c (open_base_files): Add cfhloop.h to the list of includes.
257         * cfgloopmanip.c (place_new_loop): Vector larray is gc-allocated.
258         * tree-scalar-evolution.c: Include gt-tree-scalar-evolution.h.
259         (struct scev_info_str, scalar_evolution_info): Add GTY markers.
260         (new_scev_info_str): Use GGC_NEW to allocate struct scev_info_str.
261         (del_scev_info): Use ggc_free.
262         (scev_initialize): Allocate scalar_evolution_info in gc memory.
263         * loop-init.c: Include ggc.h.
264         (loop_optimizer_init): Use GGC_CNEW to allocate struct loops.
265         (loop_optimizer_finalize): Use ggc_free.
266         * tree-ssa-loop.c (pass_tree_unswitch, pass_vectorize,
267         pass_linear_transfom, pass_empty_loop, pass_complete_unroll,
268         pass_iv_optimize): Add TODO_ggc_collect.
269         * function.h (struct function): Remove skip marker from x_current_loops.
270         * cfgloop.c: Include ggc.h.
271         (flow_loops_free, flow_loop_free): Free the loop descriptions in gc
272         memory.
273         (establish_preds): Vector superloops is gc allocated.
274         (alloc_loop): Allocate loop using GGC_CNEW.  Allocate head of
275         loop->exits list.
276         (flow_loops_find): Vector larray is gc allocated.
277         (loop_exit_free): Use ggc_free.
278         (rescan_loop_exit): Use GGC_NEW to allocate struct loop_exit.  Reflect
279         that head of exits list is now not a part of struct loop.
280         (record_loop_exits): Allocate exits table in gc memory.
281         (get_loop_exit_edges, verify_loop_structure, single_exit): Reflect that
282         head of exits list is now not a part of struct loop.
283         * cfgloop.h (struct lpt_decision, struct nb_iter_bound,
284         struct loop_exit): Add GTY marker.
285         (struct loop): Add GTY marker.  Make superloops vector gc allocated.
286         Add skip marker to aux field.  Make head of exits list a separate
287         object.
288         (struct loops): Add GTY marker.  Make larray vector gc allocated.
289         Add param marker to exits table.
290         (get_loops): Type changed.
291         * Makefile.in (tree-scalar-evolution.o): Add gt-tree-scalar-evolution.h
292         dependency.
293         (cfgloop.o, loop-init.o): Add ggc.h dependency.
294         (GTFILES): Add cfgloop.h and tree-scalar-evolution.c.
295         * basic-block.h (struct basic_block_def): Remove skip marker from
296         loop_father field.
297
298 2007-05-14  Uros Bizjak  <ubizjak@gmail.com>
299
300         * builtins.c (expand_builtin_mathfn): Use EXPAND_NORMAL instead
301         of 0 in the call to expand_expr().
302         (expand_builtin_mathfn_3): Ditto.
303         (expand_builtin_interclass_mathfn): Ditto.
304         (expand_builtin_cexpi): Ditto.
305         (expand_builtin_int_roundingfn): Ditto.
306         (expand_builtin_int_roundingfn_2): Ditto.
307         (expand_builtin_pow): Ditto.
308         (expand_builtin_powi): Ditto.
309         (expand_builtin_bswap): Ditto.
310         (expand_builtin_unop): Ditto.
311         (expand_builtin_fabs): Ditto.
312         (get_builtin_sync_mem): Use NULL_RTX instead of NULL in
313         the call to expand_expr().
314         (expand_builtin_sync_operation): Ditto.
315         (expand_builtin_compare_and_swap): Ditto.
316         (expand_builtin_lock_test_and_set): Ditto.
317         * except.c (expand_builtin_eh_return_data_regno): Use EXPAND_NORMAL
318         instead of 0 in the call to expand_expr().
319         (expand_builtin_extract_return_addr): Ditto.
320         (expand_builtin_eh_return): Ditto.
321         (expand_eh_return): Ditto.
322         * explow.c (expr_size): Ditto.
323         * expr.c (optimize_bitfield_assignment_op): Ditto.
324         (expand_assignement): Ditto.
325         (store_expr): Ditto.
326         (store_field): Ditto.
327         (expand_expr_addr_expr_1): Use NULL_RTX instead of NULL in
328         the call to expand_expr().
329         (expand_expr_real_1) [COMPLEX_CST]: Use EXPAND_NORMAL instead of 0
330         in the call to expand_expr().
331         [CONSTRUCTOR, PLUS_EXPR, MINUS_EXPR, NEGATE_EXPR, ABS_EXPR,
332         BIT_NOT_EXPR, LSHIFT_EXPR, LT_EXPR, TRUTH_NOT_EXPR]: Ditto.
333         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO]: Use expand_normal() instead
334         of expand_expr().
335         * optabs.c (expand_vec_shift_expr): Ditto.
336         (expand_vec_cond_expr): Ditto.
337         (vector_compare_rtx): Use EXPAND_STACK_PARM instead of 1 in the
338         call to expand_expr().
339         * stmt.c (expand_return): Use EXPAND_NORMAL instead of 0
340         in the call to expand_expr().
341
342 2007-05-14  Dave Korn  <dave.korn@artimi.com>
343
344         * genautomata.c (gen_regexp_el):  Allocate correct size for regexp.
345
346 2007-05-14  Rafael Avila de Espindola  <espindola@google.com>
347
348         * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
349         instead of c_common_unsigned_type.
350         (c_common_unsigned_type): Remove.
351         (shorten_compare): Use c_common_signed_or_unsigned_type instead of
352         c_common_unsigned_type.
353         (c_common_nodes_and_builtins): Use unsigned_type_for instead of
354         c_common_unsigned_type.
355         * c-common.h (c_common_unsigned_type): Remove.
356         * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
357         c_common_unsigned_type.
358         * c-format.c (check_format_types): Use unsigned_type_for instead of
359         c_common_unsigned_type.
360         * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
361         * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
362         c_common_unsigned_type.
363         * convert.c (convert_to_integer): Use unsigned_type_for instead of
364         lang_hooks.types.unsigned_type.
365         * expmed.c (make_tree): Use unsigned_type_for instead of
366         lang_hooks.types.unsigned_type.
367         * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
368         lang_hooks.types.unsigned_type.
369         (build_range_check): Likewise.
370         (fold_unary): Likewise.
371         (fold_binary): Likewise.
372         (fold_ternary): Likewise.
373         * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
374         * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
375         * tree.c (get_unsigned_type): New.
376         (unsigned_type_for): Use get_unsigned_type instead of
377         lang_hooks.types.unsigned_type.
378
379 2007-05-14  Kazu Hirata  <kazu@codesourcery.com>
380
381         * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
382         to m68k_get_function_kind.  Update its prototype.
383         * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
384         interrupt_thread.
385         (m68k_interrupt_function_p): Return enum m68k_function_type
386         instead of bool.  Rename to m68k_get_function_kind.
387         (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
388         target is not fido.
389         (m68k_compute_frame_layout): Don't mark any register for save
390         if an interrupt_thread attribute is specified.
391         (m68k_hard_regno_rename_ok): Update a use of
392         m68k_interrupt_function_p.
393         * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
394         m68k_interrupt_function_p.
395         (m68k_function_type): New.
396         * config/m68k/m68k.md (*return): Output a 'sleep' instruction
397         for a function with an interrupt_thread attribute.
398         * doc/extend.texi: Document the interrupt_thread attribute.
399
400 2007-05-13  Daniel Berlin  <dberlin@dberlin.org>
401
402         Fix PR tree-optimization/31911
403         * tree-ssa-pre.c (phi_translate): Make sure to cache results even
404         if they didn't change the expression.
405
406 2007-05-13  Zdenek Dvorak  <dvorakz@suse.cz>
407
408         * tree-scalar-evolution.c (resolve_mixers): Exported.
409         * tree-scalar-evolution.h (resolve_mixers): Declare.
410         * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
411         ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
412         record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
413         base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
414         init_array_ref, init_pointer_ref, analyze_indirect_ref,
415         strip_conversion, analyze_offset_expr, address_analysis,
416         object_analysis, analyze_offset): Removed.
417         (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
418         split_constant_offset, canonicalize_base_object_address,
419         object_address_invariant_in_loop_p, disjoint_objects_p,
420         dr_may_alias_p, dr_address_invariant_p): New functions.
421         (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
422         and dr_analyze_alias.
423         (initialize_data_dependence_relation): Use dr_may_alias_p
424         and object_address_invariant_in_loop_p.
425         (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
426         is chrec_dont_know.
427         (find_data_references_in_stmt): Restrict the analysis of data references
428         to the given loop nest.
429         (find_data_references_in_loop): Made static.  Pass loop nest to
430         find_data_references_in_stmt.
431         (compute_data_dependences_for_loop): Use DR_VOPS.
432         (free_data_ref): Free DR_VOPS.
433         * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
434         (struct innermost_loop_behavior): ... new.
435         (struct base_object_info): Replaced by ...
436         (struct indices): ... new.
437         (struct dr_alias): New.
438         (enum data_ref_type): Removed.
439         (struct data_reference): Consist of struct innermost_loop_behavior,
440         struct indices and struct dr_alias.
441         (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
442         (DR_MEMTAG): Renamed to ...
443         (DR_SYMBOL_TAG): ... this.
444         (find_data_references_in_loop): Declaration removed.
445         * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
446         instead of DR_OFFSET_MISALIGNMENT.  DR_ALIGNED_TO is never NULL.
447         (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
448         * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
449
450 2007-05-13  Revital Eres  <eres@il.ibm.com>
451
452         * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
453         which walks virtual def-use chains to find redundant stores.
454         (dse_optimize_stmt): Call it.
455
456 2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
457
458         * gcse.c (gcse_main): Do jump bypassing in CPROP2.
459         * passes.c (init_optimization_passes): Move pass_jump_bypass
460         after loop2.
461
462         * basic-block.h (bb_has_eh_pred): Fix style issue.
463
464 2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
465
466         PR rtl-optimization/31848
467         * loop-invariant.c (move_invariant_reg): If we move an insn
468         with a REG_EQUAL note, and that insn is not always executed,
469         remove the REG_EQUAL note.
470
471 2007-05-12  Richard Guenther  <rguenther@suse.de>
472
473         PR tree-optimization/31797
474         * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
475         propagate into a stmt that has volatile ops.
476
477 2007-05-12  Richard Sandiford  <richard@codesourcery.com>
478
479         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
480         (gcc_tooldir): Likewise.
481         * configure: Regenerate.
482         * Makefile.in (libsubdir_to_prefix): New variable, based on the
483         old configure.ac gcc_tooldir setting.
484         (prefix_to_exec_prefix): New variable.
485         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
486         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
487
488 2007-05-11  Silvius Rus  <rus@google.com>
489
490         * Makefile.in (OBJS-common): Add tree-ssa-alias-warnings.o.
491         * c-common.c (strict_aliasing_warning): Modify -Wstrict-aliasing logic.
492         * c-common.h (strict_aliasing_warning): Change return type.
493         * c-opts.c (c_common_handle_option): Add call to set_Wstrict_aliasing.
494         * c-typeck.c (build_indirect_ref): Add call to strict_aliasing_warning.
495         (build_c_cast): Condition call to strict_aliasing_warning.
496         * doc/invoke.texi: Update description of -Wstrict-aliasing[=n].
497         * flags.h (set_Wstrict_aliasing): Declare.
498         * opts.c (set_Wstrict_alising): Define, add call to.
499         * tree-flow.h (strict_aliasing_warning_backend): Declare.
500         * tree-ssa-alias-warnings.c: New file.
501         * tree-ssa-alias.c (compute_may_aliases): Add call to
502         strict_aliasing_warning_backend.
503
504 2007-05-11  Zdenek Dvorak  <dvorakz@suse.cz>
505
506         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
507         Use loop_depth and loop_outer accessor functions.
508         * tree-ssa-loop-im.c (outermost_invariant_loop, set_level,
509         determine_invariantness_stmt, move_computations_stmt): Ditto.
510         * cfgloopmanip.c (fix_bb_placement, fix_loop_placement, remove_path,
511         add_loop, loopify, unloop, fix_loop_structure): Ditto.
512         * tree-ssa-loop-manip.c (find_uses_to_rename_use): Ditto.
513         * tree-scalar-evolution.c (interpret_loop_phi,
514         compute_scalar_evolution_in_loop, analyze_scalar_evolution_in_loop,
515         instantiate_parameters_1, scev_const_prop): Ditto.
516         * cfghooks.c (make_forwarder_block): Ditto.
517         * cfgloopanal.c (mark_irreducible_loops, mark_loop_exit_edges): Ditto.
518         * modulo-sched.c (loop_canon_p): Ditto.
519         * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg,
520         slpeel_can_duplicate_loop_p): Ditto.
521         * lambda-code.c (invariant_in_loop_and_outer_loops): Ditto.
522         * tree-cfg.c (tree_duplicate_sese_region): Ditto.
523         * cfgloop.c (flow_loop_dump, flow_loop_nodes_find, rescan_loop_exit,
524         cancel_loop, verify_loop_structure): Ditto.
525         (flow_loop_nested_p, superloop_at_depth, flow_loop_free,
526         add_bb_to_loop, remove_bb_from_loops, find_common_loop): Use the
527         superloops vector instead of "pred" array.
528         (establish_preds): Take father loop as an argument.  Initialize the
529         superloops vector.
530         (flow_loop_tree_node_add): Pass father loop to establish_preds.  Do not
531         initialize loop->outer.
532         (flow_loop_tree_node_remove): Truncate the superloops vector.
533         * cfgloop.h (struct loop): Removed field "outer", fields "depth" and
534         "pred" merged to "superloops" vector.
535         (loop_depth, loop_outer): New.
536         (fel_init): Use loop_outer.
537
538 2007-05-11  Jan Hubicka  <jh@suse.cz>
539
540         * cgraphunit.c: Include gt-cgraphunit.h
541         (static_ctors, static_dtors): New static vars.
542         (record_cdtor_fn, build_cdtor, cgraph_build_cdtor_fns): New functions,
543         based on implementation in c-common.c
544         (cgraph_finalize_function): Call record_cdtor_fn.
545         (cgraph_optimize): Call cgraph_build_cdtor_fns.
546         * decl.c (finish_function): Do not call c_record_cdtor_fn.
547         (c_write_global_declarations): Do not call c_build_cdtor_fns.
548         * c-common.c (static_ctors, static_dtors, c_record_cdtor_fn,
549         build_cdtor, c_build_cdtor_fns): Remove.
550         * c-common.h (static_ctors, static_dtors, c_record_cdtor_fn,
551         c_build_cdtor_fns): Remove prototype.
552
553 2007-05-11  Paolo Carlini  <pcarlini@suse.de>
554
555         PR other/31852
556         * builtin-types.def: Add BT_FN_PTR_CONST_PTR_INT_SIZE.
557         * builtins.def: Add BUILT_IN_MEMCHR, use the latter.
558         * builtins.c (fold_builtin_memchr): New.
559         (expand_builtin_memchr): Call the latter.
560         (expand_builtin, fold_builtin_3): Deal with BUILT_IN_MEMCHR.
561         * doc/extend.texi ([Other built-in functions provided by GCC]):
562         Document memchr.
563
564 2007-05-11  Andreas Krebbel  <krebbel1@de.ibm.com>
565
566         * config/s390/s390.md (GPR0_REGNUM, FPR0_REGNUM, FPR2_REGNUM,
567         PFPO_CONVERT, PFPO_OP_TYPE_SF, PFPO_OP_TYPE_DF, PFPO_OP_TYPE_TF,
568         PFPO_OP_TYPE_SD, PFPO_OP_TYPE_DD, PFPO_OP_TYPE_TD, PFPO_OP0_TYPE_SHIFT,
569         PFPO_OP1_TYPE_SHIFT): Constants added.
570         (DFP_ALL): Mode macro defined.
571         ("*trunc<BFP:mode><DFP_ALL:mode>2", "*trunc<DFP_ALL:mode><BFP:mode>2",
572         "*extend<BFP:mode><DFP_ALL:mode>2", "*extend<DFP_ALL:mode><BFP:mode>2"):
573         Insn definitions added.
574         ("trunc<BFP:mode><DFP_ALL:mode>2", "trunc<DFP_ALL:mode><BFP:mode>2",
575         "extend<BFP:mode><DFP_ALL:mode>2", "extend<DFP_ALL:mode><BFP:mode>2"):
576         Expanders added.
577
578 2007-05-10  Zdenek Dvorak  <dvorakz@suse.cz>
579
580         PR tree-optimization/31885
581         * tree-chrec.c (chrec_contains_undetermined): Do not consider NULL_TREE
582         to be undetermined.
583         (automatically_generated_chrec_p): Return false for NULL.
584
585 2007-05-08  Bernd Schmidt  <bernd.schmidt@analog.com>
586
587         * config/bfin/bfin.h (MOVE_RATIO): Define.
588
589 2007-05-10  Richard Sandiford  <richard@codesourcery.com>
590
591         * config.gcc (sparc-wrs-vxworks): New target.
592         * config/sparc/vxworks.h, config/sparc/t-vxworks: New files.
593         * config/sparc/sparc-protos.h (sparc_emit_call_insn): Declare.
594         * config/sparc/sparc.h: Include vxworks-dummy.h.
595         (PRINT_OPERAND_ADDRESS): Extend SYMBOL_REF handling to
596         include LABEL_REFs too.
597         * config/sparc/sparc.c (sparc_expand_move): Don't assume that
598         _GLOBAL_OFFSET_TABLE_ - label_ref is a link-time constant on
599         VxWorks.
600         (legitimize_pic_address): Handle LABEL_REFs like SYMBOL_REFs
601         on VxWorks.
602         (load_pic_register): Use gen_vxworks_load_got for VxWorks.
603         (sparc_emit_call_insn): New function.
604         (sparc_function_ok_for_sibcall): Restrict sibcalls to locally-binding
605         functions when generating VxWorks PIC.
606         * config/sparc/sparc.md (vxworks_load_got): New pattern.
607         (call, call_value): Use sparc_emit_call_insn instead of
608         emit_call_insn.
609
610 2007-05-09  Bob Wilson  <bob.wilson@acm.org>
611
612         * config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
613
614 2007-05-09  Bob Wilson  <bob.wilson@acm.org>
615
616         * config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
617         for floating-point values if HOST_BITS_PER_LONG > 32.  Use split_double
618         instead of operand_subword.
619
620 2007-05-08  Bernd Schmidt  <bernd.schmidt@analog.com>
621
622         * config/bfin/bfin.h (LOCAL_ALIGNMENT): Define.
623         * config/bfin/bfin.c (bfin_local_alignment): New function.
624         * config/bfin/bfin-protos.h (bfin_local_alignment): Declare it.
625
626 2007-05-08  Chao-ying Fu  <fu@mips.com>
627
628         * doc/md.texi (msub@var{m}@var{n}4, usub@var{m}@var{n}4): Document.
629         * optabs.h (OTI_smsub_widen, OTI_umsub_widen): New optab_indexes.
630         (smsub_widen_optab, umsub_widen_optab): Define.
631         * optabs.c (init_optabs): Initialize smsub_widen_optab and
632         umsub_widen_optab.
633         * genopinit.c (optabs): Fill in smsub_widen_optab and
634         umsub_widen_optab.
635         * expr.c (expand_expr_real_1): Try to use smsub_widen_optab
636         and umsub_widen_optab to implement multiply-subtract sequences.
637         * config/mips/mips.md (*msac<u>_di): Rename to...
638         (<u>msubsidi4): ...this.  Extend condition to include
639         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
640         of operand 0 to "ka" and use the three-operand form of msub<u>
641         for TARGET_DSPR2.
642         * config/mips/mips-dspr2.md (mips_msub, mips_msubu): Convert
643         to define_expands.
644
645 2007-05-08  Kaz Kojima  <kkojima@gcc.gnu.org>
646
647         PR rtl-optimization/28011
648         * reload.c (push_reload): Set dont_share if IN appears in OUT
649         also when IN is a PLUS rtx.
650         (reg_overlap_mentioned_for_reload_p): Return true if X and IN
651         are same PLUS rtx.
652
653 2007-05-08  Kazu Hirata  <kazu@codesourcery.com>
654
655         * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL.  Don't
656         call unshare_all_decls.
657         (unshare_all_rtl): Adjust the call to unshare_all_rtl_1.
658         (unshare_all_decls): Remove.
659
660 2007-05-08  Simon Martin  <simartin@users.sourceforge.net>
661
662         PR 31847
663         * tree-dump.c (dump_options): Don't use TDF_DIAGNOSTIC in "*-all" tree
664         dumps.
665
666 2007-05-08  Sandra Loosemore  <sandra@codesourcery.com>
667             Nigel Stephens  <nigel@mips.com>
668
669         * config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
670         Update comments and all uses.
671         (MIN_FPRS_PER_FMT): Define.
672         * config/mips/mips.c (function_arg): Fix to correctly handle
673         the -mips32r2 -mfp64 -mabi=32 case.
674         (override_options): Enable use of odd-numbered registers for
675         SFmode values on MIPS32.
676         (mips_save_reg_p): Save whole floating-point register pair if
677         either half is used.
678         (compute_frame_size): Fix comment.
679
680 2007-05-08  Jie Zhang  <jie.zhang@analog.com>
681
682         * config/bfin/bfin-protos.h (bfin_expand_epilogue): Add a third
683         argument of type bool.
684         * config/bfin/bfin.c (add_to_reg): Add epilogue_p as a fourth
685         argument. Safely select temporary P register according to it.
686         (do_link): Change call site of add_to_reg accordingly.
687         (do_unlink): Add epilogue_p as a fourth argument and pass it
688         to add_to_reg.
689         (expand_interrupt_handler_epilogue): Change call of do_unlink
690         accordingly.
691         (bfin_expand_prologue): Add a third argument sibcall_p.
692         * config/bfin/bfin.md (epilogue): Change call of
693         bfin_expand_epilogue accordingly.
694         (sibcall_epilogue): Likewise.
695         (eh_return_internal): Likewise.
696
697         * config/bfin/bfin-protos.h (enum bfin_cpu): Add
698         BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
699         * config/bfin/bfin.c (bfin_handle_option): Handle
700         -mcpu=bf534, -mcpu=bf536 and -mcpu=bf561.
701         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS):
702         Support bf534, bf536 and bf561.
703         * doc/invoke.texi (Blackfin Options): Document -mcpu and -msim.
704
705 2007-05-08  Uros Bizjak  <ubizjak@gmail.com>
706
707         PR target/31854
708         * config/i386/i386.c (ix86_function_regparm): Process local
709         functions only when TREE_CODE (decl) equals FUNCTION_DECL.
710
711 2007-05-07  Mike Stump  <mrs@apple.com>
712
713         * doc/invoke.texi (Warning Options): Document that -Wempty-body
714         also checks for and while statements in C++.
715
716 2007-05-07  Nathan Froyd  <froydnj@codesourcery.com>
717
718         * gcc.c (at_file_supplied): New variable.
719         (main): Set it if we expanded argv.
720         (do_spec_1): Pass an @-file to the linker if we were called with
721         an @-file argument and HAVE_GNU_LD.
722         * collect2.c (at_file_supplied): New variable.
723         (response_file): New variable.
724         (collect_exit): Unlink response_file if necessary.
725         (handler): Likewise.
726         (do_wait): Likewise.
727         (main): Set at_file_supplied if we expanded argv.
728         (collect_execute): Pass an @-file to subprocesses if we were called
729         with an @-file argument.
730         * configure.ac: Add define for HAVE_GNU_LD.
731         * configure: Regenerate.
732         * config.in: Regenerate.
733
734 2007-05-07  Naveen.H.S  <naveen.hs@kpitcummins.com>
735
736         * config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
737         operand to HI mode.
738         (mulsi3): New.
739         (divsi3): New.
740         (udivsi3): New.
741
742 2007-05-07  Jayant Sonar  <jayants@kpitcummins.com>
743
744         * config/m32c/m32c.c (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
745         (TARGET_ENCODE_SECTION_INFO): Re-define.
746         (m32c_encode_section_info): New
747         (function_vector_handler): New
748         (current_function_special_page_vector): New
749         (m32c_special_page_vector_p): New.
750         * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
751         Prototype.
752         * config/m32c/jump.md: Added instruction JSRS for functions
753         with attribute "function_vector".
754         * doc/extend.texi (function_vector): Added description
755         for M16C, M32C targets.
756
757 2007-05-07  DJ Delorie  <dj@redhat.com>
758
759         PR 31794
760         * config/m32c/shift.md (ashlpsi3_i, ashrpsi3_i, ashlpsi3,
761         ashrpsi3, lshrpsi3): Update shift count constraint.
762
763 2007-05-07  Danny Smith  <dannysmith@users.sourceforge.net>
764             Nathan Froyd  <froydnj@codesourcery.com>
765
766         PR 22133
767         * c-incpath.c (add_path): Strip trailing path separators.
768
769 2007-05-07  Eric Botcazou  <ebotcazou@adacore.com>
770
771         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Reset cfg_altered.
772         Free dominance info before purging EH edges.
773         (eliminate_degenerate_phis): Likewise.
774         (propagate_rhs_into_lhs): Set cfg_altered to true instead of 1.
775
776 2007-05-07  Jan Hubicka  <jh@suse.cz>
777
778         * gimplify.c (gimplify_expr): Do not crash when folding
779         (void *)(int)&a + 4.
780
781 2007-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
782
783         PR driver/31694
784         * c-opts.c (lang_fortran): Make it non static.
785         * c-common.h (lang_fortran): New prototype.
786         * c-cppbuiltin.c (c_cpp_builtins): Create a __GFORTRAN__ if the
787         -lang-fortran option was passed by the driver.
788
789 2007-05-06  Eric Botcazou  <ebotcazou@adacore.com>
790
791         * timevar.c (timevar_print): Test ENABLE_ASSERT_CHECKING instead
792         of ASSERT_CHECKING.  Tweak message.
793
794 2007-05-06  Revital Eres  <eres@il.ibm.com>
795
796         PR 30957
797         * loop-unroll.c (insert_var_expansion_initialization):
798         Initialize the expansions with -zero instead of +zero.
799
800 2007-05-05  Aurelien Jarno  <aurelien@aurel32.net>
801
802         * config/pa/pa.md: Split tgd_load, tld_load and tie_load
803         into pic and non-pic versions. Mark r19 as used for
804         tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
805         for tgd_load, tld_load and tie_load .
806         * config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
807         version of tgd_load, tld_load and tie_load depending on the
808         value of flag_pic.
809
810 2007-05-04  Ulrich Drepper  <drepper@redhat.com>
811             Jakub Jelinek  <jakub@redhat.com>
812
813         * crtstuff.c (HIDDEN_DTOR_LIST_END): New macro.
814         (__do_global_dtors_aux): Use more paranoid loop to run
815         destructors if HIDDEN_DTOR_LIST_END.
816         (__DTOR_END__): Export as a hidden symbol when HIDDEN_DTOR_LIST_END.
817
818 2007-05-04  Jakub Jelinek  <jakub@redhat.com>
819
820         * varasm.c (align_variable): Don't increase alignment for
821         DECL_THREAD_LOCAL_P variables above BITS_PER_WORD through
822         DATA_ALIGNMENT or CONSTANT_ALIGNMENT.
823
824 2007-05-04  Josh Conner  <jconner@apple.com>
825
826         * basic-block.h (cdi_direction): Assign values to all enumeration
827         constants.
828         (dom_computed): Remove.
829         (dom_info_state): New.
830         (set_dom_info_availability): New.
831         * tree-ssa-loop-im.c (determine_invariantness): Initialize
832         walk_data.dom_direction.
833         * cfghooks.c (delete_basic_block): Use dom_info_available_p()
834         instead of dom_computed[].
835         (split_edge): Likewise.
836         (create_basic_block): Likewise.
837         (merge_blocks): Likewise.
838         * ifcvt.c (find_if_header): Likewise.
839         * tree-cfgcleanup.c (cleanup_tree_cfg): Likewise.
840         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
841         * tree-ssa.c (verify_ssa): Likewise.
842         * tree-cfg.c (tree_verify_flow_info): Likewise.
843         (remove_edge_and_dominated_blocks): Likewise.
844         * dominance.c (dom_computed): Make static.
845         (calc_dfs_tree_nonrec): Change third param to a bool.
846         (calc_dfs_tree): Change second param to a bool.
847         (calc_idioms): Change second param to a bool.  Use
848         dom_convert_dir_to_idx.
849         (init_dom_info): Validate dir before using.
850         (dom_convert_dir_to_idx): New.
851         (calculate_dominance_info): Use dom_convert_dir_to_idx.  New
852         variable 'reverse' used for calling calc_dfs_tree and calc_idoms.
853         (free_dominance_info): Use dom_convert_dir_to_idx.
854         (get_immediate_dominator): Likewise.
855         (set_immediate_dominator): Likewise.
856         (get_dominated_by): Likewise.
857         (redirect_immediate_dominators): Likewise.
858         (nearest_common_denominator): Likewise.
859         (dominated_by_p): Likewise.
860         (bb_dom_dfs_in): Likewise.
861         (bb_dom_dfs_out): Likewise.
862         (recount_dominator): Likewise.
863         (iterate_fix_dominators): Likewise.
864         (add_to_dominance_info): Likewise.
865         (delete_from_dominance_info): Likewise.
866         (first_dom_son): Likewise.
867         (next_dom_son): Likewise.
868         (dom_info_available_p): Likewise.
869         (dom_info_state): New.
870         (set_dom_info_availability): New.
871
872 2007-05-04  Andreas Krebbel  <krebbel1@de.ibm.com>
873
874         * config/s390/s390.md ("fix_trunc<mode>di2", "fix_trunc<mode>si2"):
875         Expander removed.
876         ("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
877
878 2007-05-04  Bob Wilson  <bob.wilson@acm.org>
879
880         * config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
881         (subdi3, subdi_carry): Delete.
882
883 2007-05-04  Jan Hubicka  <jh@suse.cz>
884             Richard Guenther  <rguenther@suse.de>
885
886         * opts.c (decode_options): Do not fiddle with inlining
887         parameters in case of optimizing for size.
888         * ipa-inline.c (cgraph_decide_recursive_inlining): When optimizing
889         for size do nothing.
890         (cgraph_decide_inlining_of_small_function): When optimizing for
891         size never inline functions increasing caller size.
892         (cgraph_early_inlining): Inline for size when optimizing for size.
893
894 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
895
896         * config/bfin/bfin.md (<optab>di3): Now a define_expand which expands
897         logical operations piecewise.
898         (<optab>di_zesidi_di, <optab>di_sesidi_di, negdi2, one_cmpldi2,
899         zero_extendsidi2, subdi_di_zesidi, subdi_zesidi_di, subdi_di_sesidi,
900         subdi_sesidi_di): Delete.
901         (add_with_carry): Produce carry in CC instead of a DREG to shorten
902         the generated sequence.  Allow three-reg add in constraints.  Rewrite
903         the rtl expression for carry to avoid zero_extend of a constant.
904         (sub_with_carry): New pattern.
905         (adddi3, subdi3): Change into define_expand.  For subtract, generate a
906         different sequence not involving jumps.
907         (notbi): Now a named pattern.
908
909 2007-05-04  Bradley Lucier  <lucier@math.purdue.edu>
910
911         * doc/invoke.texi (i386 and x86-64 Options) [-mpc32, -mpc64, -mpc80]:
912         Add the note about a significant loss of accuracy of some
913         mathematical routines when these options are used.
914
915 2007-05-04  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
916
917         * haifa-sched.c (rtx_vec_t): New typedef.
918         (contributes_to_priority_p): Extract piece of priority () into new
919         static function.
920         (priority): Use the function.  Add assertion.
921         (rank_for_schedule, set_priorities): Add assertion to check that
922         insn's priority is initialized.
923         (clear_priorities, calc_priorities): Change signature.  Make it update
924         all relevant insns.  Update all callers ('add_to_speculative_block ()'
925         and 'create_block_check_twin ()').
926         * sched-int.h (struct haifa_insn_data): Remove field 'priority_known'.
927         Add new field 'priority_status'.
928         (INSN_PRIORITY_STATUS): New macro.
929         (INSN_PRIORITY_KNOWN): Change to use INSN_PRIORITY_STATUS.
930
931 2007-05-04  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
932
933         * sched-ebb.c (debug_ebb_dependencies): New static function.
934         (init_ready_list): Use it.
935
936         * sched-rgn.c (debug_dependencies): Split into 'debug_dependencies ()'
937         with changed signature and 'debug_rgn_dependencies ()'.
938         (debug_rgn_dependencies): New static function.
939         (init_ready_list): Use it.
940
941         * sched-int.h (debug_dependencies): Declare.
942
943 2007-05-04  Andreas Krebbel  <krebbel1@de.ibm.com>
944
945         * libgcc-std.ver (__ffssi2): Added to GCC_4.3.0 section.
946
947 2007-05-04  Dirk Mueller  <dmueller@suse.de>
948
949         * c.opt(Wmain,ffreestanding): Enable for C++,ObjC++.
950
951 2007-05-03  Jan Hubicka  <jh@suse.cz>
952
953         * fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
954         for pointer type in more cases than before.
955
956         * gimplify.c (gimplify_expr): Fold (void *)&a + 4.
957
958         * tree-object-size.c (plus_expr_object_size): When operand size is
959         unknown, return unknown.
960
961 2007-05-03  Dirk Mueller  <dmueller@suse.de>
962
963         * doc/invoke.texi (-m386,-m486,-mpentium,-mpentiumpro): Remove.
964
965         * config/i386/i386.h (CC1_CPU_SPEC): Remove handling for deprecated
966         options.
967
968         * config/i386/i386.opt (m386,m486,mpentium,mpentiumpro): Remove.
969
970 2007-05-03  Janis Johnson  <janis187@us.ibm.com>
971
972         * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
973
974 2007-05-03  Joseph Myers  <joseph@codesourcery.com>
975
976         * config/soft-fp/double.h, config/soft-fp/extended.h,
977         config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
978         config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
979         config/soft-fp/op-2.h, config/soft-fp/op-4.h,
980         config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
981         glibc CVS.
982
983 2007-05-03  Ian Lance Taylor  <iant@google.com>
984
985         * config/rs6000/rs6000.c (rs6000_override_options): Don't set
986         MASK_PPC_GFXOPT for 8540 or 8548.
987
988 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
989
990         * tree-vect-transform.c (vect_update_inits_of_drs): Use
991         vect_print_dump_info() to output debug information.
992
993 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
994
995         PR target/31768
996         * config/i386/i386.c (print_operand) ['z']: Output 'w' for
997         operands of size 2 when operand is not MEM_P.
998
999 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
1000
1001         PR tree-optimization/30565
1002         * lambda-code.c (perfect_nestify): Fix updating of dominators.
1003
1004 2007-05-03  Bernd Schmidt  <bernd.schmidt@analog.com>
1005
1006         * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
1007         (umulsi3_highpart): Use them.
1008         * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
1009         for final accumulator to D regisster tranfser.
1010
1011 2007-05-03  Dorit Nuzman  <dorit@il.ibm.com>
1012
1013         PR tree-optimization/31699
1014         * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
1015         code.
1016         (vect_enhance_data_refs_alignment): Compute peel amount using
1017         TYPE_VECTOR_SUBPARTS instead of vf.
1018         * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
1019
1020 2007-05-02  Brooks Moses  <brooks.moses@codesourcery.com>
1021
1022         PR bootstrap/31776
1023         * system.h: Remove inclusion of double-int.h
1024         * tree.h: Include double-int.h
1025         * gengtype.c: Likewise
1026         * cfgloop.h: Likewise
1027         * Makefile.in: Adjust dependencies on double-int.h
1028
1029 2007-05-02  Eric Christopher  <echristo@apple.com>
1030
1031         * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
1032         -shared to -Zdynamiclib.
1033
1034 2007-05-02  Seongbae Park  <seongbae.park@gmail.com>
1035
1036         PR c++/31663
1037         * c-common.c (strip_pointer_or_array_types): New function.
1038         * c-common.h (strip_pointer_or_array_types): New function declaration.
1039
1040 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
1041
1042         PR tree-optimization/31771
1043         * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
1044
1045 2007-05-02  Paul Brook  <paul@codesourcery.com>
1046
1047         * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
1048
1049 2007-05-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1050
1051         PR middle-end/29715
1052         * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
1053         transformation.
1054
1055 2007-05-02  Nick Clifton  <nickc@redhat.com>
1056
1057         * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
1058
1059 2007-05-02  Richard Guenther  <rguenther@suse.de>
1060
1061         PR tree-optimization/31146
1062         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
1063         argument, single_use_p.  If we have a single use that is
1064         a conversion to the definition rhs type, propagate that rhs.
1065         (forward_propagate_addr_expr): Pass single_use_p argument
1066         to forward_propagate_addr_expr_1.
1067
1068 2007-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1069
1070         * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
1071         variable.
1072
1073 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
1074
1075         * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
1076         'AMD Family 10 core'.
1077
1078 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
1079
1080         * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
1081         and athlon64-sse3 as improved versions of k8, opteron and athlon64
1082         with SSE3 instruction set support.
1083         * doc/invoke.texi: Likewise.
1084
1085 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
1086
1087         * config/i386/i386.c (override_options): Tuning 32-byte loop
1088         alignment for amdfam10 architecture. Increasing the max loop
1089         alignment to 24 bytes.
1090
1091 2007-05-01  Kazu Hirata  <kazu@codesourcery.com>
1092
1093         * config/m68k/constraints.md: New.
1094         * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
1095         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
1096         EXTRA_CONSTRAINT): Remove.
1097         * config/m68k/m68k.md: Include constraints.md.
1098         * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
1099
1100 2007-05-01  Ian Lance Taylor  <iant@google.com>
1101
1102         PR tree-optimization/31739
1103         * tree-vrp.c (vrp_val_is_max): New static function.
1104         (vrp_val_is_min): New static function.
1105         (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
1106         copying the node.
1107         (set_value_range): Use vrp_val_is_{max,min}.
1108         (extract_range_from_assert): Likewise.
1109         (extract_range_from_binary_expr): Likewise.
1110         (extract_range_from_unary_expr): Likewise.
1111         (dump_value_range, vrp_meet): Likewise.
1112         (vrp_visit_phi_node): Likewise.
1113         * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
1114
1115 2007-05-01  Mark Mitchell  <mark@codesourcery.com>
1116
1117         * config/i386/gmon-sol2.c (size_t): New type.
1118         (intptr_t): Likewise.
1119         (s_textsize): Declare as size_t.
1120         (sbrk): Declare.
1121         (monstartup): Use size_t for sizes.
1122         (_mcount): Save and restore registers.
1123         (internal_mcount): Pass 0 as the first argument to monstartup
1124         in 64-bit mode.
1125         (moncontrol): Convert pointer to appropriately sized integer
1126         before passing to profil.
1127
1128 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
1129
1130         * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
1131         __NO_FPRS__, not just if _SOFT_DOUBLE.
1132         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
1133         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
1134         also for E500 double.
1135         * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
1136         suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
1137         && !TARGET_FPRS).
1138
1139 2007-05-01  Richard Guenther  <rguenther@suse.de>
1140
1141         * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
1142         is NULL.
1143
1144 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
1145
1146         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
1147
1148 2007-05-01  Jan Hubicka  <jh@suse.cz>
1149
1150         * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
1151         invariant.
1152
1153 2007-05-01  Jan Hubicka  <jh@suse.cz>
1154
1155         * tree.h (maybe_fold_offset_to_component_ref): Remove.
1156         (maybe_fold_offset_to_reference): Declare.
1157         * fold-const.c (fold_unary): Do not fold
1158         (type *)&A into &A->field_of_type_and_offset_0
1159         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
1160         size is unknown, give up.
1161         (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
1162         offsets.
1163         (maybe_fold_offset_to_reference): New.
1164         (maybe_fold_stmt_indirect): Use it.
1165         (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
1166         * gimplify.c (gimplify_conversion): Canonicalize conversions to
1167         field references.
1168         (gimplify_expr): Likewise for plus_expr.
1169
1170 2007-05-01  Zdenek Dvorak  <dvorakz@suse.cz>
1171
1172         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
1173         bsi_after_labels.  Always insert statements before bsi.
1174         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
1175         * predict.c (apply_return_prediction): Check for empty blocks.
1176         * cfgexpand.c (lab_rtx_for_bb): New variable.
1177         (label_rtx_for_bb): Do not create new tree labels.
1178         (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
1179         (tree_expand_cfg): Initialize lab_rtx_for_bb.
1180         * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
1181         creating edges.
1182         (label_for_bb): Add field used.
1183         (update_eh_label, main_block_label): Mark the label used.
1184         (cleanup_dead_labels): Remove unused labels.
1185
1186 2007-05-01  Richard Guenther  <rguenther@suse.de>
1187
1188         * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
1189         if it is not about to be set.
1190         (get_value_range): Do not pre-allocate equiv bitmap.
1191         (update_value_range): No need to clear equiv field.
1192         (add_equivalence): Change prototype to get bitmap pointer.
1193         Allocate bitmap here if it is not already.
1194         (extract_range_from_assert): Do not allocate bitmap here.
1195         Update callers to add_equivalence.
1196         (extract_range_from_ssa_name): Likewise.
1197         (get_vr_for_comparison): New static helper.
1198         (compare_name_with_value): Handle NULL equiv bitmap by
1199         peeling the first iteration of the comparison loop.
1200         Use get_vr_for_comparison.
1201         (compare_names): Handle NULL equiv bitmaps by using fake
1202         ones.  Use get_vr_for_comparison.
1203
1204 2007-04-30  Brooks Moses  <brooks.moses@codesourcery.com>
1205
1206         * double-int.c (mpz_set_double_int): Moved from
1207         tree-ssa-loop-niter.c.
1208         (mpz_get_double_int): Likewise; also, add option to wrap
1209         out-of-range integers.
1210         * double-int.h: New prototypes for above.
1211         * tree.c (get_static_type_bounds): Moved from
1212         tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
1213         TYPE_MAX_VALUE if they exist..
1214         * tree.h: New prototype for above.
1215         * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
1216         get_type_bounds calls.
1217         (mpz_set_double_int): Move to double-int.c.
1218         (get_type_bounds): Move to tree.c, rename to
1219         get_static_type_bounds.
1220         (mpz_to_double_int): Move to double-int.c, rename to
1221         mpz_get_double_int.
1222
1223 2007-04-30  Bob Wilson  <bob.wilson@acm.org>
1224
1225         * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
1226         DIV0 exception can fall through to a normal return.
1227
1228 2007-04-30  Alexandre Oliva  <aoliva@redhat.com>
1229
1230         PR middle-end/22156
1231         Temporarily revert:
1232         2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
1233         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
1234         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
1235         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
1236         initialize align to silence bogus warning.
1237         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
1238         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
1239         all_no_warning.
1240         (struct sra_walk_fns): Remove use_all parameter from use.
1241         (sra_hash_tree): Handle BIT_FIELD_REFs.
1242         (sra_elt_hash): Don't hash bitfld blocks.
1243         (sra_elt_eq): Skip them in parent compares as well.  Handle
1244         BIT_FIELD_REFs.
1245         (sra_walk_expr): Don't maintain or pass down use_all_p.
1246         (scan_use): Remove use_all parameter.
1247         (scalarize_use): Likewise.  Re-expand assignment to
1248         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
1249         output, and re-scalarize after output.  Don't mark anything
1250         for no warning.
1251         (scalarize_ldst): Adjust.
1252         (scalarize_walk_gimple_modify_statement): Likewise.
1253         (build_element_name_1): Handle BIT_FIELD_REFs.
1254         (instantiate_element): Don't warn for any element whose parent
1255         is used as a whole.
1256         (instantiate_missing_elements_1): Return the sra_elt.
1257         (canon_type_for_field): New.
1258         (try_instantiate_multiple_fields): New.
1259         (instantiate_missing_elemnts): Use them.
1260         (mark_no_warning): Removed.
1261         (generate_one_element_ref): Handle BIT_FIELD_REFs.
1262         (REPLDUP, sra_build_elt_assignment): New.
1263         (generate_copy_inout): Use them.
1264         (generate_element_copy): Likewise.  Handle bitfld differences.
1265         (generate_element_zero): Don't recurse for blocks.  Use
1266         sra_build_elt_assignment.
1267         (generate_one_element_int): Take elt instead of var.  Use
1268         sra_build_elt_assignment.
1269         (generate_element_init_1): Adjust.
1270         (scalarize_use, scalarize_copy): Use REPLDUP.
1271         (scalarize_ldst): Move assert before dereference.
1272         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
1273
1274 2007-04-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1275
1276         PR C++/31721
1277         * tree.c (reconstruct_complex_type): Reconstruct a reference
1278         correctly.
1279         Also use the same mode for the pointer as the old pointer type.
1280
1281 2007-04-30  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
1282
1283         * doc/trouble.texi (Interoperation): Remove note about Ultrix
1284         Fortran compiler.
1285
1286 2007-04-29  Zdenek Dvorak  <dvorakz@suse.cz>
1287
1288         PR rtl-optimization/31676
1289         * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
1290         (df_refs_record): Call it.
1291
1292 2007-04-29  Bernd Schmidt  <bernd.schmidt@analog.com>
1293
1294         * rtl.def (SS_ABS): New code.
1295         * config/bfin/bfin.c (print_operand): New modifier 'v'.
1296         (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
1297         BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
1298         BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
1299         (bfin_init_builtins): Define them.
1300         (bdesc_1arg, bdesc_2arg): Add some of them here, ...
1301         (bfin_expand_builtin): ... and handle the others here.
1302         * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
1303         flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
1304         (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
1305         (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
1306         operand is only HImode.
1307
1308 2007-04-29  Steven Bosscher  <steven@gcc.gnu.org>
1309
1310         * regclass.c (scan_one_insn): Remove splitting of
1311         two address insns.
1312
1313 2007-04-28  Sandra Loosemore  <sandra@codesourcery.com>
1314             Nigel Stephens  <nigel@mips.com>
1315
1316         * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
1317
1318 2007-04-28  Jan Hubicka  <jh@suse.cz>
1319
1320         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
1321         insn_locators_alloc instead of insn_locators_initialize;
1322         call reset_block_changes.
1323         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
1324         * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
1325         * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
1326         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
1327         * config/score/score.c (th_output_mi_thunk): Likewise.
1328         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
1329         * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
1330         tolerate uninitialized locator info.
1331
1332         Re-apply:
1333         * function.c (init_function_start): Don't init line number info.
1334         (expand_function_end): Update.
1335         (reset_block_changes, record_block_change, finalize_block_changes,
1336         check_block_change, free_block_changes): Kill.
1337         * function.h (reset_block_changes, record_block_change,
1338         finalize_block_changes, check_block_change, free_block_changes): Remove
1339         prototypes.
1340         (struct function): Remove ib_boundaries_block.
1341         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
1342         Use curr_insn_locator to initialize locator.
1343         (emit_line_note): Remove.
1344         * cfgexpand.c (expand_gimple_cond_expr): Update.
1345         (construct_exit_block): Likewise.
1346         (tree_expand_cfg): Initialize/finalize locators.
1347         * expr.c (expand_expr_real): Update.
1348         * cfglayout.c (line_locators_locs, line_locators_lines,
1349         file_locators_locs, file_locators_files): Remove.
1350         (set_block_levels): Move to cfgexpand.c.
1351         (insn_locators_initialize): Remove.
1352         (pass_insn_locators_initialize): Remove.
1353         (locations_locators_locs, locations_locators_vals): New static vars.
1354         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
1355         Likewise.
1356         (insn_locators_alloc, insn_locators_finalize,
1357         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1358         New functions.
1359         (locator_location): New.
1360         (locator_line, locator_file): Rewrite.
1361         * rtl.h (emit_line_note): Kill.
1362         (insn_locators_alloc, insn_locators_finalize,
1363         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1364         Declare.
1365         * tree-inline.c (initialize_cfun): Do not initialize
1366         ib_boundaries_block.
1367         * passes.c (pass_insn_locators_initialize): Remove.
1368
1369 2007-04-28  Zdenek Dvorak  <dvorakz@suse.cz>
1370
1371         * tree-cfg.c (move_block_to_fn): Release bb from dominance
1372         info.  Update last_basic_block correctly.
1373
1374 2007-04-27  Kaz Kojima  <kkojima@gcc.gnu.org>
1375
1376         PR target/31701
1377         * config/sh/sh.c (output_stack_adjust): Avoid using the frame
1378         register itself to hold the offset constant.  Tell flow the use
1379         of r4 and r5 when they are used.
1380
1381 2007-04-27  Richard Guenther  <rguenther@suse.de>
1382
1383         * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
1384         if we simplified anything.
1385         (tree_ssa_forward_propagate_single_use_vars): Defer overflow
1386         warnings until we did a simplification and the stmt was not
1387         marked as TREE_NO_WARNING.
1388
1389 2007-04-27  Mike Stump  <mrs@apple.com>
1390
1391         * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
1392
1393 2007-04-27  Ian Lance Taylor  <iant@google.com>
1394
1395         PR middle-end/31710
1396         * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
1397         TYPE_MAX_VALUE exist, convert them to the new type.
1398
1399 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
1400
1401         * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
1402         if it claims to be available.
1403         * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
1404         edge is redirected.
1405         (perform_tree_ssa_dce): Always free postdominators.
1406
1407 2007-04-27  Richard Henderson  <rth@redhat.com>
1408
1409         * config/alpha/predicates.md (aligned_memory_operand): Mark
1410         as define_special_predicate.
1411         (unaligned_memory_operand, normal_memory_operand): Likewise.
1412         (reg_or_unaligned_mem_operand): Remove.
1413         (any_memory_operand): Match the documentation and check for
1414         non-renumbered pseudos during reload.
1415         * config/alpha/alpha.c (alpha_secondary_reload): Rename from
1416         alpha_secondary_reload_class, update to new interface, make static.
1417         Handle CQImode like HImode.  Remove FP subreg check.
1418         (alpha_expand_mov): Use replace_equiv_address.
1419         (alpha_expand_mov_nobwx): Use any_memory_operand.
1420         (TARGET_SECONDARY_RELOAD): New.
1421         * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
1422         (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
1423         * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
1424         * config/alpha/alpha.md: ... here.
1425         (RELOAD12, reloadmode): New.
1426         (movcqi): New.
1427         (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
1428         Don't handle the aligned case here.
1429         (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
1430         (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
1431         reload_inhi_help.  Don't expect a scratch register.
1432         (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
1433         reload_outhi_help.
1434         * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
1435
1436 2007-04-27  Richard Guenther  <rguenther@suse.de>
1437
1438         * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
1439
1440 2007-04-27  Richard Guenther  <rguenther@suse.de>
1441
1442         PR tree-optimization/30965
1443         PR tree-optimization/30978
1444         * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
1445         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
1446         (find_equivalent_equality_comparison): Likewise.
1447         (simplify_cond): Likewise.
1448         (get_prop_source_stmt): New helper.
1449         (get_prop_dest_stmt): Likewise.
1450         (can_propagate_from): Likewise.
1451         (remove_prop_source_from_use): Likewise.
1452         (combine_cond_expr_cond): Likewise.
1453         (forward_propagate_comparison): New function.
1454         (forward_propagate_into_cond): Rewrite to use fold for
1455         tree combining.
1456         (tree_ssa_forward_propagate_single_use_vars): Call
1457         forward_propagate_comparison to propagate comparisons.
1458
1459 2007-04-27  Richard Guenther  <rguenther@suse.de>
1460
1461         PR tree-optimization/31715
1462         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
1463         sure to do computation on the offset in an appropriate
1464         signed type.
1465
1466 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
1467
1468         * reload.h (elimination_target_reg_p): Declare.
1469         * reload.c (find_reloads): Don't apply the reg_rtx move
1470         optimization if the SET_DEST satisfies elimination_target_reg_p.
1471         * reload1.c (elimination_target_reg_p): New function.
1472         (gen_reload): In the move/add2 fallback, make sure that op0
1473         does not overlap the destination register.
1474
1475 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
1476
1477         * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
1478         transform only GIMPLE_MODIFY_STMTs.
1479         * tree-complex.c (expand_complex_operations_1): Ditto.
1480         (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
1481         * tree-ssa-loop-manip.c (build_if_stmt): Removed.
1482         (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
1483         branches.
1484         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
1485         tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
1486         * omp-low.c (expand_parallel_call, expand_omp_for_generic,
1487         expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
1488         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
1489         slpeel_add_loop_guard): Ditto.
1490         * tree-mudflap.c (mf_build_check_statement_for): Ditto.
1491         * lambda-code.c (perfect_nestify): Ditto.
1492         * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
1493         before the first statement.
1494         * tree-optimize.c (execute_free_datastructures): Fix comments.
1495         (execute_free_cfg_annotations): Do not call disband_implicit_edges.
1496         * tree-flow.h (disband_implicit_edges): Declaration removed.
1497         * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
1498         branches.
1499         (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
1500         without gotos.
1501         (disband_implicit_edges, has_label_p): Removed.
1502         (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
1503         (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
1504         branches.
1505         * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
1506         side effects.
1507         * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
1508         also for COND_EXPRs.
1509         * cfgexpand.c (label_rtx_for_bb): New function.
1510         (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
1511         Use label_rtx_for_bb to find the labels.
1512         (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
1513         last block.  Detect fallthru edges.
1514
1515 2007-04-26  Ian Lance Taylor  <iant@google.com>
1516
1517         PR target/28675
1518         * reload.c (find_reloads_subreg_address): If the address was valid
1519         in the original mode but not in the new mode, reload the whole
1520         address.
1521
1522 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
1523
1524         * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
1525         (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
1526         (cleanup_control_expr_graph): Do not invalidate dominance info.
1527         Record altered blocks.
1528         (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
1529         (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
1530         cleanup_tree_cfg_bb): New functions.
1531         (remove_forwarder_block): Do not maintain the worklist of blocks.
1532         Record altered blocks.
1533         (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
1534         not over whole cfg.
1535         (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1.  Only call
1536         delete_unreachable_blocks if dominators are not available.
1537         * tree-inline.c (optimize_inline_calls): Free dominance information
1538         earlier.
1539         * tree-flow.h (remove_edge_and_dominated_blocks,
1540         cfgcleanup_altered_bbs): Altered.
1541         * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
1542         blocks.
1543         (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
1544         functions.
1545         (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
1546         do not invalidate dominators.
1547
1548 2007-04-26  Anatoly Sokolov <aesok@post.ru>
1549
1550         * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
1551         ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
1552         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
1553         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
1554
1555 2007-04-26  Steve Ellcey  <sje@cup.hp.com>
1556
1557         * config/ia64/ia64.md (ip_value):  Fix itanium_class attribute.
1558
1559 2007-04-26  Richard Guenther  <rguenther@suse.de>
1560
1561         PR tree-optimization/31703
1562         * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
1563         the right type for the target of the bittest.
1564
1565 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
1566
1567         * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
1568         ix86_sol10_return_in_memory.
1569
1570 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
1571
1572         * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
1573         variables.
1574
1575 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
1576
1577         PR c++/31598
1578         * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
1579
1580         PR tree-optimization/30558
1581         * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
1582         clear this_state.prev_try.
1583
1584 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
1585             Mark Mitchell  <mark@codesourcery.com>
1586
1587         * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
1588         * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
1589         * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
1590
1591 2007-04-26  Richard Sandiford  <richard@codesourcery.com>
1592
1593         PR driver/31107
1594         * doc/invoke.texi (%:print-asm-header): Document.
1595         * gcc.c (asm_options): Use %:print-asm-header() for --target-help
1596         and -ftarget-help.
1597         (static_spec_functions): Add print-asm-header.
1598         (main): Print a banner before the --target-help linker options.
1599         (print_asm_header_spec_function): New function.
1600
1601 2007-04-25  Kaz Kojima  <kkojima@gcc.gnu.org>
1602
1603         PR target/31403
1604         * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
1605         (movsf_ie): Likewise.
1606
1607 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
1608
1609         * doc/extend.texi ([Type Traits]): Adjust per N2255.
1610
1611 2007-04-25  Bob Wilson  <bob.wilson@acm.org>
1612
1613         * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
1614         for divide-by-zero.
1615         (__umodsi3, __modsi3): Likewise.
1616
1617 2007-04-25  Dirk Mueller  <dmueller@suse.de>
1618
1619         * c-typeck.c (build_compound_expr): Annotate warning()
1620         call with OPT_Wunused_value.
1621         * tree-ssa.c (warn_uninit): Annotate warning with
1622         OPT_Wunintialized.
1623         * c-common.c (handle_sentinel_attribute): Annotate warning
1624         call with OPT_Wattributes.
1625
1626 2007-04-25  Thiemo Seufer  <ths@mips.com>
1627
1628         * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
1629         (mips16): Fix typo.
1630         * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
1631         on to the assembler.  Improve handling of -mno-mips16.  Add handling
1632         of -mno-mips3d, -mno-dsp, -mno-dspr2.
1633         * doc/invoke.texi (MIPS Options): Whitespace cleanup.  Fix wrong use
1634         of @itemx.  Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
1635         -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
1636
1637 2007-04-25  Danny Smith  <dannysmith.users.sourceforge.net>
1638
1639         PR target/31680
1640         * config/i386/winnt.c (i386_pe_file_end): Strip only
1641         USER_LABEL_PREFIX when writing export name.
1642
1643 2007-04-25  Richard Sandiford  <richard@codesourcery.com>
1644
1645         * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h.  Include
1646         sh/elf.h, vx-common.h and vxworks.h.
1647         * config/sh/sh.h: Include config/vxworks-dummy.h.
1648         (SUBTARGET_OVERRIDE_OPTIONS): Define.
1649         (OVERRIDE_OPTIONS): Use it.
1650         * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
1651         (vxworks_picreg): New pattern.
1652         * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
1653         VXWORKS_OS_CPP_BUILTINS.
1654         (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
1655         to their VXWORKS_* equivalents.
1656         (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
1657         (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
1658         * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
1659         (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
1660         * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
1661         -mrtp/-fPIC multilibs.
1662         (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
1663         (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
1664         (MULTILIB_OSDIRNAMES): Delete.
1665
1666 2007-04-25  Anatoly Sokolov <aesok@post.ru>
1667
1668         PR target/18989
1669         * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
1670
1671 2007-04-24  Brooks Moses  <brooks.moses@codesourcery.com>
1672
1673         * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
1674         rounding mode to be specified by the caller.
1675         (real_to_mpfr) Likewise.
1676         * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
1677         include new arguments.
1678         * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
1679
1680 2007-04-24  Ian Lance Taylor  <iant@google.com>
1681
1682         PR tree-optimization/31605
1683         * tree-vrp.c (set_value_range): Check that min and max are not
1684         both overflow infinities.
1685         (set_value_range_to_value): New static function.
1686         (extract_range_from_binary_expr): Call set_value_range_to_value.
1687         (extract_range_from_cond_expr): Likewise.
1688         (extract_range_from_expr): Likewise.
1689         (extract_range_from_unary_expr): Likewise.  Don't create a range
1690         which overflows on both sides.
1691         (vrp_meet): Check for a useless range.
1692         (vrp_visit_phi_node): If we see a constant which looks like an
1693         overflow infinity, turn off the TREE_OVERFLOW flag.
1694
1695 2007-04-24  Ian Lance Taylor  <iant@google.com>
1696
1697         * flow.c (elim_reg_cond): Handle a comparison of a subreg.
1698
1699 2007-04-24  Simon Martin  <simartin@users.sourceforge.net>
1700
1701         PR diagnostic/25923
1702         * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
1703         diagnostic message is being built.
1704         * tree-pretty-print.c (dump_generic_node): Only write the
1705         formatted text into BUFFER's stream if we are not building a
1706         diagnostic message.
1707         * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
1708         dump_generic_node.
1709         * Makefile.in (toplev.o): Depend on tree-pass.h.
1710
1711 2007-04-24  Ian Lance Taylor  <iant@google.com>
1712
1713         PR tree-optimization/31602
1714         * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
1715         conditionals in the copied loop header.
1716         * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
1717         warnings if TREE_NO_WARNING is set.
1718         * doc/invoke.texi (Warning Options): Clarify that
1719         -Wstrict-overflow does not warn about loops.
1720
1721 2007-04-24  Janis Johnson  <janis187@us.ibm.com>
1722
1723         * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
1724         expand on the comment about _Decimal128 arguments and check the
1725         integer result of the modulus operation; for 64-bit ELF ABI, ensure
1726         that _Decimal128 argument uses even/odd register pair.
1727         (function_arg): Ditto.
1728
1729 2007-04-24  Hui-May Chang <hm.chang@apple.com>
1730
1731         * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
1732         instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
1733
1734 2007-04-24  Richard Guenther  <rguenther@suse.de>
1735             Olga Golovanevsky  <olga@il.ibm.com>
1736
1737         * fold-const.c (multiple_of_p): Check for bottom
1738         to be zero.
1739
1740 2007-04-24  Richard Henderson  <rth@redhat.com>
1741
1742         * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
1743         IS_IBM_EXTENDED.  Also define in terms of WIDEST_HARDWARE_FP_SIZE.
1744         * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
1745         looking for non-zero bits shifted out.  Avoid a recursive call
1746         when constructing the scalar.
1747         (__floatundisf): Likewise.
1748
1749 2007-04-24  Nathan Froyd  <froydnj@codesourcery.com>
1750
1751         * dwarf2out.c (field_byte_offset): Move the existing logic
1752         under the control of PCC_BITFIELD_TYPE_MATTERS and just use
1753         the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
1754
1755 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
1756
1757         PR target/31641
1758         * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
1759         argument of 0 for memset.
1760         (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
1761         unsigned shift instead of the signed variant.
1762
1763 2007-04-24  Andreas Krebbel  <krebbel1@de.ibm.com>
1764
1765         * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
1766         "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
1767         "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
1768         "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
1769         "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
1770         "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
1771         "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
1772         "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
1773         "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
1774         ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
1775         "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
1776         "mul<mode>3", "div<mode>3"): Insn definitions added.
1777         ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
1778         "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
1779         to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
1780         ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
1781         "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
1782         "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
1783         ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
1784         * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
1785         TARGET_FLOAT_FORMAT): Macro definitions removed.
1786         (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
1787         * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
1788         z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
1789         (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
1790         (s390_gen_rtx_const_DI): Function removed.
1791         * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
1792
1793 2007-04-24  Richard Sandiford  <richard@codesourcery.com>
1794
1795         * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
1796         over an external ffs function.
1797
1798 2007-04-24  Chao-ying Fu  <fu@mips.com>
1799             Richard Sandiford  <richard@nildram.co.uk>
1800
1801         * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
1802         * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
1803         (smadd_widen_optab, umadd_widen_optab): Define.
1804         * optabs.c (init_optabs): Initialize smadd_widen_optab and
1805         umadd_widen_optab.
1806         * genopinit.c (optabs): Fill in smadd_widen_optab and
1807         umadd_widen_optab.
1808         * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
1809         and umadd_widen_optab to implement multiply-add sequences.
1810         * config/mips/mips.md (*<su>mul_acc_di): Rename to...
1811         (<u>maddsidi4): ...this.  Extend condition to include
1812         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
1813         of operand 0 to "ka" and use the three-operand form of madd<u>
1814         for TARGET_DSPR2.
1815         * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
1816         to define_expands.
1817         * config/mips/constraints.md (ka): New register constraint.
1818
1819 2007-04-24  Jan Hubicka  <j@suse.cz>
1820
1821         Revert:
1822
1823         2007-04-23  Jan Hubicka  <jh@suse.cz>
1824         * function.c (init_function_start): Don't init line number info.
1825         (expand_function_end): Update.
1826         (reset_block_changes, record_block_change, finalize_block_changes,
1827         check_block_change, free_block_changes): Kill.
1828         * function.h (reset_block_changes, record_block_change,
1829         finalize_block_changes, check_block_change, free_block_changes): Remove
1830         prototypes.
1831         (struct function): Remove ib_boundaries_block.
1832         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
1833         Use curr_insn_locator to initialize locator.
1834         (emit_line_note): Remove.
1835         * cfgexpand.c (expand_gimple_cond_expr): Update.
1836         (construct_exit_block): Likewise.
1837         (tree_expand_cfg): Initialize/finalize locators.
1838         * expr.c (expand_expr_real): Update.
1839         * cfglayout.c (line_locators_locs, line_locators_lines,
1840         file_locators_locs, file_locators_files): Remove.
1841         (set_block_levels): Move to cfgexpand.c.
1842         (insn_locators_initialize): Remove.
1843         (pass_insn_locators_initialize): Remove.
1844         (locations_locators_locs, locations_locators_vals): New static vars.
1845         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
1846         Likewise.
1847         (insn_locators_alloc, insn_locators_finalize,
1848         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1849         New functions.
1850         (locator_location): New.
1851         (locator_line, locator_file): Rewrite.
1852         * rtl.h (emit_line_note): Kill.
1853         (insn_locators_alloc, insn_locators_finalize,
1854         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
1855         Declare.
1856         * tree-inline.c (initialize_cfun): Do not initialize
1857         ib_boundaries_block.
1858         * passes.c (pass_insn_locators_initialize): Remove.
1859
1860 2007-04-24  Daniel Franke  <franke.daniel@gmail.com>
1861
1862         * doc/invoke.texi: Removed leading '-' from option index entries.
1863
1864 2007-04-23  Zdenek Dvorak  <dvorakz@suse.cz>
1865
1866         * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
1867         Use phi_nodes_ptr.
1868         (create_phi_node): Use set_phi_nodes.
1869         * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
1870         * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
1871         (combine_blocks):  Use bb_stmt_list and set_bb_stmt_list.
1872         * tree-flow-inline.h (phi_nodes, set_phi_nodes,
1873         (bsi_start, bsi_last): Use bb_stmt_list.
1874         (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
1875         * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
1876         Traverse the statements using tsi iterator.
1877         * basic-block.h (struct basic_block_def): Fields stmt_list
1878         and phi_nodes moved to ...
1879         (struct tree_bb_info): ... new structure.
1880         * tree-cfg.c (create_bb): Allocate il.tree.  Use set_bb_stmt_list.
1881         (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
1882         (remove_bb): Handle blocks with NULL stmt list.  Clear il.tree field.
1883         (tree_verify_flow_info): Verify that il.tree is not set for
1884         entry and exit block.
1885         (tree_split_block): Use set_bb_stmt_list.
1886
1887 2007-04-23  Mike Stump  <mrs@apple.com>
1888
1889         * config/i386/i386.c (ix86_tune_features
1890         [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
1891         nocona and core2.
1892
1893 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
1894
1895         * config/i386/i386.md (prefix_extra): New attribute.
1896         (length): Add prefix_extra.
1897
1898         * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
1899         (sse2_movntv2di): Likewise.
1900         (sse2_cvtps2dq): Likewise.
1901         (sse2_cvtpd2pi): Likewise.
1902         (sse2_cvttpd2pi): Likewise.
1903         (*sse2_cvtpd2ps): Likewise.
1904         (*add<mode>3): Likewise.
1905         (sse2_ssadd<mode>3): Likewise.
1906         (sse2_usadd<mode>3): Likewise.
1907         (*sub<mode>3): Likewise.
1908         (sse2_sssub<mode>3): Likewise.
1909         (sse2_ussub<mode>3): Likewise.
1910         (*mulv8hi3): Likewise.
1911         (*smulv8hi3_highpart): Likewise.
1912         (*umulv8hi3_highpart): Likewise.
1913         (sse2_umulv2siv2di3): Likewise.
1914         (sse2_pmaddwd): Likewise.
1915         (ashr<mode>3): Likewise.
1916         (lshr<mode>3): Likewise.
1917         (ashl<mode>3): Likewise.
1918         (sse2_ashlti3): Likewise.
1919         (sse2_lshrti3): Likewise.
1920         (*umaxv16qi3): Likewise.
1921         (*smaxv8hi3): Likewise.
1922         (*uminv16qi3): Likewise.
1923         (*sminv8hi3): Likewise.
1924         (sse2_eq<mode>3): Likewise.
1925         (sse2_gt<mode>3): Likewise.
1926         (*and<mode>3): Likewise.
1927         (sse2_nand<mode>3): Likewise.
1928         (*ior<mode>3): Likewise.
1929         (*xor<mode>3): Likewise.
1930         (sse2_packsswb): Likewise.
1931         (sse2_packssdw): Likewise.
1932         (sse2_packuswb): Likewise.
1933         (sse2_punpckhbw): Likewise.
1934         (sse2_punpcklbw): Likewise.
1935         (sse2_punpckhwd): Likewise.
1936         (sse2_punpcklwd): Likewise.
1937         (sse2_punpckhdq): Likewise.
1938         (sse2_punpckldq): Likewise.
1939         (sse2_punpckhqdq): Likewise.
1940         (sse2_punpcklqdq): Likewise.
1941         (*sse2_pinsrw): Likewise.
1942         (*sse2_pextrw): Likewise.
1943         (sse2_pshufd_1): Likewise.
1944         (sse2_uavgv16qi3): Likewise.
1945         (sse2_uavgv8hi3): Likewise.
1946         (sse2_psadbw): Likewise.
1947         (sse2_pmovmskb): Likewise.
1948         (*sse2_maskmovdqu): Likewise.
1949         (*sse2_maskmovdqu_rex64): Likewise.
1950         (sse4a_extrqi): Likewise.
1951         (sse4a_extrq): Likewise.
1952         (sse3_lddqu): Set prefix_rep.
1953         (sse3_addsubv4sf3): Likewise.
1954         (sse3_haddv4sf3): Likewise.
1955         (sse3_hsubv4sf3): Likewise.
1956         (sse_cvtss2si): Likewise.
1957         (sse_cvtss2si_2): Likewise.
1958         (sse_cvtss2siq): Likewise.
1959         (sse_cvtss2siq_2): Likewise.
1960         (sse_cvttss2si): Likewise.
1961         (sse_cvttss2siq): Likewise.
1962         (sse2_cvttps2dq): Likewise.
1963         (sse3_movshdup): Likewise.
1964         (sse3_movsldup): Likewise.
1965         (sse2_cvtsd2si): Likewise.
1966         (sse2_cvtsd2si_2): Likewise.
1967         (sse2_cvtsd2siq): Likewise.
1968         (sse2_cvtsd2siq_2): Likewise.
1969         (sse2_cvttsd2si): Likewise.
1970         (sse2_cvttsd2siq): Likewise.
1971         (*sse2_cvtpd2dq): Likewise.
1972         (*sse2_cvttpd2dq): Likewise.
1973         (sse2_pshuflw_1): Likewise.
1974         (sse2_pshufhw_1): Likewise.
1975         (sse4a_insertqi): Likewise.
1976         (sse4a_insertq): Likewise.
1977         (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
1978         (ssse3_phadddv4si3): Likewise.
1979         (ssse3_phaddswv8hi3): Likewise.
1980         (ssse3_phsubwv8hi3): Likewise.
1981         (ssse3_phsubdv4si3): Likewise.
1982         (ssse3_phsubswv8hi3): Likewise.
1983         (ssse3_pmaddubswv8hi3): Likewise.
1984         (ssse3_pmulhrswv8hi3): Likewise.
1985         (ssse3_pshufbv16qi3): Likewise.
1986         (ssse3_psign<mode>3): Likewise.
1987         (ssse3_palignrti): Likewise.
1988         (abs<mode>2): Likewise.
1989         (ssse3_phaddwv4hi3): Set prefix_extra.
1990         (ssse3_phadddv2si3): Likewise.
1991         (ssse3_phaddswv4hi3): Likewise.
1992         (ssse3_phsubwv4hi3): Likewise.
1993         (ssse3_phsubdv2si3): Likewise.
1994         (ssse3_phsubswv4hi3): Likewise.
1995         (ssse3_pmaddubswv4hi3): Likewise.
1996         (ssse3_pmulhrswv4hi3): Likewise.
1997         (ssse3_pshufbv8qi3): Likewise.
1998         (ssse3_psign<mode>3): Likewise.
1999         (ssse3_palignrdi): Likewise.
2000         (abs<mode>2): Likewise.
2001         (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
2002         (*vec_dupv2df): Set mode to V2DF instead of V4SF.
2003         (sse2_pmovmskb): Set mode to SI instead of V2DF.
2004
2005 2007-04-23  Nick Clifton  <nickc@redhat.com>
2006
2007         * params.def: Fix formatting of emacs local variables.
2008
2009 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
2010
2011         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
2012         move if inter-unit move isn't allowed.
2013         Don't split moving the first element of V2DI to DI to inter-unit
2014         move if inter-unit move isn't allowed.
2015
2016 2007-04-23  Richard Guenther  <rguenther@suse.de>
2017
2018         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
2019         and CDI_POST_DOMINATORS separately.
2020
2021 2007-04-23  Nick Clifton  <nickc@redhat.com>
2022
2023         * c.opt (Wformat-contains-nul): Add warning attribute.
2024
2025 2007-04-23  Jan Hubicka  <jh@suse.cz>
2026
2027         * function.c (init_function_start): Don't init line number info.
2028         (expand_function_end): Update.
2029         (reset_block_changes, record_block_change, finalize_block_changes,
2030         check_block_change, free_block_changes): Kill.
2031         * function.h (reset_block_changes, record_block_change,
2032         finalize_block_changes, check_block_change, free_block_changes): Remove
2033         prototypes.
2034         (struct function): Remove ib_boundaries_block.
2035         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
2036         Use curr_insn_locator to initialize locator.
2037         (emit_line_note): Remove.
2038         * cfgexpand.c (expand_gimple_cond_expr): Update.
2039         (construct_exit_block): Likewise.
2040         (tree_expand_cfg): Initialize/finalize locators.
2041         * expr.c (expand_expr_real): Update.
2042         * cfglayout.c (line_locators_locs, line_locators_lines,
2043         file_locators_locs, file_locators_files): Remove.
2044         (set_block_levels): Move to cfgexpand.c.
2045         (insn_locators_initialize): Remove.
2046         (pass_insn_locators_initialize): Remove.
2047         (locations_locators_locs, locations_locators_vals): New static vars.
2048         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
2049         Likewise.
2050         (insn_locators_alloc, insn_locators_finalize,
2051         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2052         New functions.
2053         (locator_location): New.
2054         (locator_line, locator_file): Rewrite.
2055         * rtl.h (emit_line_note): Kill.
2056         (insn_locators_alloc, insn_locators_finalize,
2057         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
2058         Declare.
2059         * tree-inline.c (initialize_cfun): Do not initialize
2060         ib_boundaries_block.
2061         * passes.c (pass_insn_locators_initialize): Remove.
2062
2063 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2064
2065         PR middle-end/31448
2066         * expr.c (reduce_to_bit_field_precision): Handle
2067         CONST_INT rtx's.
2068
2069 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
2070
2071         PR tree-optimization/24659
2072         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
2073         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
2074         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
2075         * genopinit.c (optabs): Rename vec_pack_mod_optab
2076         to vec_pack_trunc_optab.
2077         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
2078         early for scalar floating point operands for NOP_EXPR.
2079         (vectorizable_type_promotion): Ditto.
2080         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
2081         vec_pack_trunc_optab.
2082         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
2083
2084         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
2085         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
2086         Rename from VEC_PACK_MOD_EXPR.
2087         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
2088         * expr.c (expand_expr_real_1): Ditto.
2089         * tree-inline.c (estimate_num_insns_1): Ditto.
2090         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
2091
2092         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
2093         (vec_unpacks_lo_v4sf): Ditto.
2094         (vec_pack_trunc_v2df): Ditto.
2095         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
2096         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
2097         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
2098
2099         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
2100         vec_pack_mod_v8hi.
2101         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
2102
2103         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
2104         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
2105         packing of floating point operands.
2106         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
2107         represent unpacking of floating point operands.
2108         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
2109         [vec_unpacks_hi]: Ditto.
2110         [vec_unpacks_lo]: Ditto.
2111
2112 2007-04-22  Jan Hubicka  <jh@suse.cz>
2113
2114         * final.c (rest_of_handle_final): Call
2115         targetm.asm_out.constructor/targetm.asm_out.destructor
2116         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
2117         proper priority via decl_*_priority_insert.
2118         * c-common.c (c_expand_body): Likewise.
2119
2120 2007-04-22  Richard Guenther  <rguenther@suse.de>
2121
2122         PR tree-optimization/29789
2123         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
2124         (rewrite_reciprocal): New helper split out from
2125         determine_invariantness_stmt.
2126         (rewrite_bittest): Likewise.
2127         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
2128         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
2129         is not.
2130
2131 2007-04-22  Revital Eres  <eres@il.ibm.com>
2132
2133         * loop-unroll.c (var_to_expand): New field to support also
2134         insns of the form x = something + x.
2135         (analyze_insn_to_expand_var): Use it.
2136         (expand_var_during_unrolling): Likewise.
2137
2138 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
2139
2140         * predict.c: Include pointer-set.h.
2141         (bb_predictions): New variable.
2142         (tree_predicted_by_p, tree_predict_edge,
2143         remove_predictions_associated_with_edge): Use bb_predictions map
2144         instead of bb->predictions.
2145         (clear_bb_predictions, assert_is_empty): New functions.
2146         (combine_predictions_for_bb): Use bb_predictions map.  Call
2147         clear_bb_predictions.
2148         (tree_estimate_probability): Create and free bb_predictions map.
2149         * Makefile.in (predict.o): Add pointer-set.h dependency.
2150         * basic-block.h (struct basic_block_def): Remove predictions
2151         field.
2152         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
2153
2154 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
2155
2156         PR target/31480
2157         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
2158         is null.
2159
2160 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2161
2162         * timevar.c (timevar_print): Change reference of --disable-checking to
2163         --enable-checking=release.  Also warn if assert checking is disabled.
2164
2165 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2166
2167         PR C/30265
2168         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
2169         decl as addressable if the compound literal was marked as
2170         addressable.
2171         Mark the decl as a gimple register if it is a complex or
2172         vector decl and does not live in memory.
2173
2174 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2175
2176         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
2177         (GENERIC_NEXT): New function macro.
2178         (PHI_CHAIN): Use phi_node's new chain variable.
2179         (tree_phi_node): Change tree_common to tree_base
2180         and add the chain field.
2181         * tree-phinodes.c (make_phi_node): Don't set
2182         TREE_TYPE on the new node.
2183         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
2184         instead of checking GIMPLE_TUPLE_P in chain_next.
2185         * tree-vect-transform.c
2186         (get_initial_def_for_induction): Look at
2187         PHI_RESULT_TREE for the type of the phi node.
2188         (update_vuses_to_preheader): Use PHI_CHAIN
2189         instead of TREE_CHAIN on the phi node.
2190         * tree-ssa-structalias.c (compute_points_to_sets):
2191         Likewise.
2192         (ipa_pta_execute): Likewise.
2193
2194 2007-04-21  Richard Guenther  <rguenther@suse.de>
2195
2196         PR middle-end/31136
2197         * fold-const.c (fold_unary): Call fold_convert_const on the
2198         original tree.
2199
2200 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
2201
2202         * gcse.c (store_killed_in_insn): Handle PARALLELs.
2203         (store_killed_in_pat): New.
2204
2205 2007-04-20  Richard Henderson  <rth@redhat.com>
2206
2207         PR target/31628
2208         * config/i386/i386.c (type_has_variadic_args_p): Look for any
2209         TREE_LIST with a void_type_node value, not void_list_node exactly.
2210
2211 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
2212
2213         * doc/standards.texi: Re-arrange into language-specific
2214         subsections. Add a C++ section, documenting which standards we
2215         support.
2216
2217 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
2218
2219         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
2220         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
2221
2222 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
2223
2224         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
2225         ecrti.o and crtbegin.o.
2226         (LIB_DEFAULT_SPEC): Include -lc.
2227         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
2228
2229 2007-04-20  Richard Henderson  <rth@redhat.com>
2230
2231         PR target/28623
2232         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
2233         argument; update all callers.
2234         (get_unaligned_offset): New.
2235         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
2236         get_unaligned_address, just pass on the address directly.
2237         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
2238         the subreg in the helper patterns.
2239         (unaligned_extendqidi_le): Use get_unaligned_offset.
2240         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
2241         (unaligned_extendhidi_be): Likewise.
2242         (unaligned_extendhidi): Tidy.
2243         * config/alpha/alpha-protos.h: Update.
2244
2245 2007-04-20  Richard Henderson  <rth@redhat.com>
2246
2247         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
2248         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
2249         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
2250         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
2251         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
2252         (CPP_SPEC): Don't include %(cpp_subtarget).
2253         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
2254         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
2255         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
2256
2257 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
2258
2259         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
2260         for __builtin_ia32_cmpordss.
2261
2262         PR tree-optimization/31632
2263         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
2264         and arg1 for optimizations of comparison against min/max values.
2265         Fold arg0 to arg1's type for optimizations of comparison against
2266         min+1 and max-1 values.
2267
2268 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
2269
2270         * reload.c (combine_reloads): When trying to use a dying register,
2271         check whether it's uninitialized and don't use if so.
2272
2273 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
2274
2275         * fold-const.c: Remove prototypes for native_encode_expr and
2276         native_interpret_expr.
2277         (native_encode_expr): Make non-static.
2278         (native_interpret_expr): Likewise.
2279         * tree.h: Add prototypes for the above.
2280
2281 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
2282
2283         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
2284         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
2285         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
2286         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
2287         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
2288         Add length attributes.
2289
2290 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
2291
2292         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
2293         not that it is 1.
2294
2295         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
2296         __STDC_WANT_DEC_FP__.
2297
2298 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
2299
2300         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
2301         for long double compatibility.
2302         * configure: Regenerate.
2303
2304 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
2305
2306         PR rtl-optimization/29841
2307         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
2308         trap instructions.
2309         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
2310         that may cause control flow transfer from being moved.
2311
2312 2007-04-18  Jan Hubicka  <jh@suse.cz>
2313
2314         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
2315         types.
2316
2317 2007-04-18  Eric Christopher  <echristo@apple.com>
2318
2319         * config/rs6000/darwin.md (load_macho_picbase): Use link register
2320         only. Update operands.
2321         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
2322         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
2323         link register to pic register.
2324
2325 2007-04-18  Dirk Mueller  <dmueller@suse.de>
2326
2327         PR diagnostic/31227
2328         * tree-vrp.c (search_for_addr_array): New.
2329         (check_array_bounds): Suppress warning about
2330         address taken of array refs if its not de-referenced.
2331
2332 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
2333
2334         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
2335         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
2336
2337         * tree-vectorizer.h (NITERS_KNOWN_P): New.
2338         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
2339         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
2340
2341         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
2342         dump print.
2343         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
2344         print message.
2345         (vect_analyze_scalar_cycles): Fix indentation.
2346         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
2347         (vect_mark_relevant): Include phis in relevance analysis.
2348
2349         * tree-vect-transform.c (vect_transform_loop): Add an assert.
2350
2351 2007-04-18  Anatoly Sokolov <aesok@post.ru>
2352
2353         * config/avr/avr.c (ptrreg_to_str): Replace error() with
2354         output_operand_lossage().
2355
2356 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
2357
2358         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
2359         the unused code for reduction without adjust-in-epilog to simplify the
2360         function.
2361
2362 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
2363
2364         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
2365         (S390_TDC_NEGATIVE_ZERO): New constant.
2366         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
2367         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
2368         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
2369         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
2370         (S390_TDC_POSITIVE_INFINITY): New constant.
2371         (S390_TDC_NEGATIVE_INFINITY): New constant.
2372         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
2373         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
2374         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
2375         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
2376         (S390_TDC_INFINITY): New constant.
2377         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
2378         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
2379         optimization for UNSPEC_CCZ_TO_INT.
2380         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
2381         ("*ccz_to_int"): New insn.
2382         ("isinf<mode>2"): New insn.
2383         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
2384         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
2385         (UNSPEC_CCZ_TO_INT): New constant.
2386
2387 2007-04-18  Richard Guenther  <rguenther@suse.de>
2388
2389         PR tree-optimization/19431
2390         PR tree-optimization/21463
2391         * tree-pass.h (pass_phiprop): Declare.
2392         * passes.c (init_optimization_passes): New phiprop pass.
2393         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
2394         (phivn_valid_p): New helper function.
2395         (phiprop_insert_phi): Likewise.
2396         (propagate_with_phi): Likewise.
2397         (tree_ssa_phiprop): New propagator propagating loads
2398         through phi nodes if profitable.
2399
2400 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
2401
2402         * tree-vect-analyze.c (process_use): New function.
2403         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
2404         Check phis in all bbs.
2405         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
2406         assert.
2407
2408 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
2409
2410         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
2411         we use REG_EQUAL.
2412
2413 2007-04-17  Anatoly Sokolov <aesok@post.ru>
2414
2415         PR target/30483
2416         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
2417         error().
2418
2419 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
2420
2421         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
2422         on "0".
2423         (sse_vmmulv4sf3): Likewise.
2424         (sse2_vmaddv2df3): Likewise.
2425         (sse2_vmmulv2df3): Likewise.
2426
2427 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
2428
2429         PR rtl-optimization/31360
2430         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
2431         (target_reg_cost): New.
2432         (init_set_costs): Initialize target_reg_cost.  Add comments
2433         regarding the rationale of the costs.
2434         (global_cost_for_size): Renamed to...
2435         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
2436         of register pressure.
2437         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
2438         estimate_reg_pressure_cost.  Add number of ivs.
2439         (determine_set_costs): Dump target_reg_cost.
2440         * loop-invariant.c (gain_for_invariant):  Use
2441         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
2442         (best_gain_for_invariant, find_invariants_to_move): Remove
2443         n_inv_uses.
2444         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
2445         (target_reg_cost): Declare.
2446         (global_cost_for_size): Declaration removed.
2447         (estimate_reg_pressure_cost): Declare.
2448
2449 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
2450
2451         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
2452         regnos into even/odd register pairs.
2453         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
2454         TDmode similar to the other floating point modes.
2455         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
2456         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
2457         define_expand's.
2458         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
2459         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
2460         (movdd_hardfloat64): Use TARGET_MFPGPR.
2461
2462 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
2463
2464         * reload1.c (delete_output_reload): Don't count output in n_inherited.
2465
2466         Revert
2467         2005-01-05  Richard Henderson  <rth@redhat.com>
2468         PR rtl-opt/10692
2469         * reload1.c (do_input_reload): Restrict the optimization deleteing
2470         a previous output reload to RELOAD_FOR_INPUT.
2471
2472 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
2473
2474         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
2475         induc_vec_info_type.
2476         (vectorizable_induction): New function declaration.
2477         * tree-vect-transform.c (get_initial_def_for_induction): No need to
2478         check if already vectorized.  Find first place in BB where new stmts
2479         can be inserted.  Takes only one argument.
2480         (vectorizable_induction): New function.
2481         (vect_transform_stmt): Add case for induc_vec_info_type to call
2482         vectorizable_induction.
2483         (vect_transform_loop): Consider phis for vectorization.
2484         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
2485         condition.
2486         (analyze_operations): Call vectorizable_induction when analyzing phis.
2487         Fix comment.
2488         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
2489         (vect_mark_relevant): Include phis in relevance analysis.
2490         (vect_mark_stmts_to_be_vectorize): Likewise.
2491         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
2492
2493 2007-04-16  Lawrence Crowl  <crowl@google.com>
2494
2495         * doc/invoke.texi (Debugging Options): Add documentation for the
2496         -femit-struct-debug options -femit-struct-debug-baseonly,
2497         -femit-struct-debug-reduced, and
2498         -femit-struct-debug-detailed[=...].
2499
2500         * c-opts.c (c_common_handle_option): Add
2501         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
2502         and OPT_femit_struct_debug_detailed_.
2503         * c.opt: Add specifications for
2504         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
2505         and -femit-struct-debug-detailed[=...].
2506         * opts.c (set_struct_debug_option): Parse the
2507         -femit-struct-debug-... options.
2508         * opts.c (matches_main_base, main_input_basename,
2509         main_input_baselength, base_of_path, matches_main_base): Add
2510         variables and functions to compare header base name to compilation
2511         unit base name.
2512         * opts.c (should_emit_struct_debug): Add to determine to emit a
2513         structure based on the option.
2514         (dump_struct_debug) Also disabled function to debug this
2515         function.
2516         * opts.c (handle_options): Save the base name of the
2517         compilation unit.
2518
2519         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
2520         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
2521         This hook indicates if a type is generic.  Set it by default
2522         to "never generic".
2523         * langhooks.h (struct lang_hooks_for_types): Add a new hook
2524         to determine if a struct type is generic or not.
2525         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
2526         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
2527         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
2528         with live C++ hook.
2529
2530         * flags.h (enum debug_info_usage): Add an enumeration to describe
2531         a program's use of a structure type.
2532         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
2533         to indicate the program's usage of the type.  Filter structs based
2534         on the -femit-struct-debug-... specification.
2535         (gen_type_die): Split into two routines, gen_type_die and
2536         gen_type_die_with_usage.  gen_type_die is now a wrapper
2537         that assumes direct usage.
2538         (gen_type_die_with_usage): Replace calls to gen_type_die
2539         with gen_type_die_with_usage adding the program usage of
2540         the referenced type.
2541         (dwarf2out_imported_module_or_decl): Suppress struct debug
2542         information using should_emit_struct_debug when appropriate.
2543
2544 2007-04-16  Ian Lance Taylor  <iant@google.com>
2545
2546         PR tree-optimization/31522
2547         * tree-vrp.c (vr_phi_edge_counts): New static variable.
2548         (vrp_initialize): Allocate vr_phi_edge_counts.
2549         (vrp_visit_phi_node): Don't push to infinity if we saw a new
2550         executable edge.  Drop test for all constants.
2551         (vrp_finalize): Free vrp_phi_edge_counts.
2552
2553         * doc/cpp.texi (Common Predefined Macros): Clarify description of
2554         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
2555
2556         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
2557         predecessors at head rather than tail.
2558
2559 2007-04-16  Matthias Klose  <doko@debian.org>
2560
2561         * config/alpha/linux.h (CPP_SPEC): Define.
2562         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
2563
2564 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
2565
2566         * function.h: Remove sequence_stack extern declaration.
2567
2568 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
2569
2570         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
2571         TARGET_FIDOA.
2572         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
2573         defined.
2574
2575 2007-04-16  Anatoly Sokolov <aesok@post.ru>
2576
2577         * config/avr/avr.c (avr_arch_types): Rearranging  array.
2578         (enum avr_arch): Add.
2579         (avr_mcu_types): Use avr_arch enumeration constants instead of
2580         numbers.
2581         * config/avr/avr.h (LINK_SPEC): Simplify.
2582
2583 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
2584
2585         * config/m68k/m68k.c (m68k_libcall_value,
2586         m68k_function_value): Use macros for register names more.
2587
2588         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
2589         instead.
2590         (M68K_REGNAME): Use A6_REG.
2591         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
2592
2593 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2594
2595         PR middle-end/28071
2596         * sched-int.h (struct deps): Split field 'pending_lists_length' into
2597         'pending_read_list_length' and 'pending_write_list_length'.  Update
2598         comment.
2599         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
2600         to handle two length counters instead of one.  Update all uses.
2601         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
2602         two length counters instead of one.
2603         * sched-rgn.c (propagate_deps): Update to handle two length counters
2604         instead of one.
2605
2606 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
2607
2608         PR target/31582
2609         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
2610         copy of source, pass it to ix86_expand_vector_set and return
2611         it as target.
2612
2613 2007-04-16  David Ung  <davidu@mips.com>
2614             Joseph Myers  <joseph@codesourcery.com>
2615
2616         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
2617         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
2618         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
2619         Add 74K processor information.
2620         * config/mips/mips.md: Include 74k.md.
2621         (cpu): Add 74kc,74kf,74kx.
2622         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
2623         * config/mips/74k.md: New.
2624         * doc/invoke.texi (MIPS Options): Document 74K support.
2625
2626 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
2627
2628         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
2629         vectorizable_* functions.
2630         * tree-vect-transform.c (vectorizable_call): Add check for
2631         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
2632         (vectorizable_store): likewise.
2633         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
2634         Add comments.
2635         (vectorizable_operation, vectorizable_type_demotion): Likewise.
2636         (vectorizable_type_promotion, vectorizable_load): Likewise.
2637         (vectorizable_live_operation, vectorizable_condition): Likewise.
2638         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
2639         STMT_VINFO_LIVE_P.
2640         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
2641
2642 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
2643
2644         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
2645         register numbers more.
2646         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
2647         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
2648         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
2649         FUNCTION_VALUE_REGNO_P): Likewise.
2650         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
2651         STATIC_CHAIN_REGNUM): Likewise.
2652         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
2653         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
2654         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
2655         * config/m68k/m68k.md (FP_REG): New.
2656
2657 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
2658
2659         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
2660         alignment on fido.
2661
2662 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
2663
2664         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
2665         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
2666         comment typos.
2667
2668 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
2669
2670         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
2671         cold loops.
2672
2673 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2674
2675         PR c/31520
2676         * c-decl.c (finish_decl): Grab the type of the decl after the call
2677         to store_init_value.
2678
2679 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
2680
2681         * common.opt (fforward-propagate): Fix "Optimization" annotation.
2682
2683 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
2684
2685         PR c++/25874
2686         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
2687         post dominators and cleanup cfg before returning.
2688
2689 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
2690
2691         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
2692         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
2693
2694 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
2695
2696         * config.gcc: Recognize fido.
2697         * config/m68k/m68k-devices.def (fidoa): New.
2698         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
2699         __mfido__.
2700         (FL_FIDOA, TARGET_FIDOA): New.
2701         * config/m68k/m68k.opt (mfidoa): New.
2702
2703 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2704
2705         PR middle-end/31322
2706         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
2707         when a personality function is used.
2708
2709 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
2710
2711         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
2712
2713 2007-04-13  Mike Stump  <mrs@apple.com>
2714
2715         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
2716         we can...
2717         * config/darwin.opt (fapple-kext): Make C++ only.
2718         * config/darwin.c (darwin_override_options): Remove code to ensure
2719         -fapple-kext is given for C++ only.
2720
2721 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
2722
2723         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
2724         * config/mips/mips.c (override_options): Call
2725         SUBTARGET_OVERRIDE_OPTIONS, if defined.
2726
2727 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
2728
2729         * config/i386/i386.opt (msvr3-shlib): Removed.
2730
2731         * doc/invoke.texi: Remove -msvr3-shlib.
2732
2733 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
2734
2735         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
2736         with "popcnt" instruction.
2737
2738 2007-04-13  Richard Guenther  <rguenther@suse.de>
2739
2740         PR tree-optimization/21258
2741         * tree-vrp.c (compare_case_labels): New helper.
2742         (find_switch_asserts): New function.
2743         (find_assert_locations): Call it for SWITCH_EXPRs.
2744
2745 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
2746
2747         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
2748         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
2749         check is now implied in X87_FLOAT_MODE_P.
2750         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
2751         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
2752         (fix_trunc<mode>_i386_fisttp): Ditto.
2753         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
2754         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
2755         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
2756         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
2757         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
2758         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
2759         (unnamed_splitters): Ditto.
2760         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
2761         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
2762         FIRST_SSE_REG for local functions when SSE math is enabled or
2763         for functions with sseregparm attribute.
2764         (standard_80387_constant_p): Return -1 if mode is not
2765         X87_FLOAT_MODE_P.
2766         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
2767         (ix86_expand_compare): Ditto.
2768         (ix86_expand_carry_flag_compare): Ditto.
2769         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
2770         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
2771         DECIMAL_FLOAT_MODE_P.
2772         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
2773         of SCALAR_FLOAT_MODE_P.
2774         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
2775         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
2776         checks before FLOAT_MODE_P.
2777         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
2778         before FLOAT_MODE_P.
2779         [DIV]: Ditto.
2780         [NEG]: Ditto.
2781         [ABS]: Ditto.
2782         [SQRT]: Ditto.
2783         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
2784
2785 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
2786             Charles Wilson  <libtool@cwilson.fastmail.fm>
2787
2788         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
2789         (libgcc.mvars): Don't depend on them.
2790         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
2791         * exec-tool.in: New.
2792
2793 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
2794
2795         * doc/invoke.text (--help): Document --help=common.
2796
2797 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
2798
2799         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
2800
2801 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2802
2803         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
2804         * genemit.c (main): Emit #include "integrate.h".
2805         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
2806         (LOADGP_RTP): New mips_loadgp_style.
2807         * config/mips/mips.h: Include config/vxworks-dummy.h.
2808         (TARGET_RTP_PIC): New macro.
2809         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
2810         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
2811         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
2812         for TARGET_RTP_PIC.
2813         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
2814         -mvxworks-pic when using -mrtp and a PIC option.
2815         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
2816         for RTP PIC.
2817         (mips_symbolic_constant_p, mips_symbolic_address_p)
2818         (mips_symbol_insns): Handle SYMBOL_HALF.
2819         (override_options): Warn about -G and -mrtp being used together.
2820         Initialize mips_lo_relocs[SYMBOL_HALF].
2821         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
2822         (mips_emit_loadgp): Handle LOADGP_RTP.
2823         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
2824         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
2825         (tablejump): Handle function-relative case table entries if
2826         TARGET_RTP_PIC.
2827         * config/mips/predicates.md (symbol_ref_operand): New predicate.
2828
2829 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2830
2831         * config/mips/mips.md (load_call<mode>): Allow any general register.
2832         destination.
2833         (sibcall_value_internal, sibcall_value_multiple_internal)
2834         (call_value_internal, call_value_split, call_value_multiple_internal)
2835         (call_value_multiple_split): Remove constraints from operand 0.
2836
2837 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2838
2839         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
2840         rather than loadgp_noshared.
2841         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
2842         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
2843         gen_loadgp.
2844         * config/mips/mips.md (loadgp): Rename to...
2845         (loadgp_newabi): ...this.
2846         (loadgp_noshared): Rename to...
2847         (loadgp_absolute): ...this.
2848
2849 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2850
2851         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
2852         false for locally-binding symbols.
2853         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
2854
2855 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2856
2857         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
2858         (SYMBOL_GOT_PAGE_OFST): ...this.
2859         (SYMBOL_GOT_GLOBAL): Rename to...
2860         (SYMBOL_GOT_DISP): ...this.
2861         (SYMBOL_GOTOFF_GLOBAL): Rename to...
2862         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
2863         * config/mips/mips.c (mips_global_symbol_p): New function.
2864         (mips_symbol_binds_local_p): Likewise.
2865         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
2866         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
2867         and mips_symbol_binds_local_p.
2868         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
2869         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
2870         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
2871         SYMBOL_GOTOFF_DISP.
2872         (mips_ok_for_lazy_binding_p): New function.
2873         (mips_load_call_address, mips_expand_call): Use it.
2874         (mips_dangerous_for_la25_p): Likewise.
2875         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
2876         (*got_disp<mode>): Use got_disp_operand instead of
2877         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
2878         SYMBOL_GOTOFF_GLOBAL.
2879         (*got_page<mode>): Use got_page_ofst_operand instead of
2880         local_got_operand.
2881         * config/mips/predicates.md (const_call_insn_operand): Use
2882         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
2883         (global_got_operand): Rename to...
2884         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
2885         SYMBOL_GOT_GLOBAL.
2886         (local_got_operand): Rename to...
2887         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
2888         of SYMBOL_GOT_LOCAL.
2889
2890 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2891
2892         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
2893         TARGET_CALL_CLOBBERED_GP.
2894         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2895         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
2896         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
2897         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
2898         of TARGET_ABICALLS && !TARGET_NEWABI.
2899         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2900         * config/mips/mips.c (mips_load_call_address): Check
2901         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
2902         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2903         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
2904         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
2905         TARGET_ABICALLS && TARGET_NEWABI.
2906         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
2907         TARGET_ABICALLS.
2908         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
2909         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
2910         TARGET_ABICALLS && TARGET_NEWABI.
2911         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
2912         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
2913         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
2914         whether indirect calls must use $25.
2915         (mips_extra_live_on_entry): Check TARGET_GOT instead of
2916         TARGET_ABICALLS.
2917         * config/mips/mips.md (jal_macro): Check flag_pic and
2918         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
2919         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
2920         instead of TARGET_ABICALLS.
2921         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
2922         TARGET_ABICALLS && TARGET_OLDABI.
2923         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
2924         (sibcall): In the comment above the define_insn, mention
2925         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
2926         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
2927         instead of TARGET_ABICALLS.
2928
2929 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
2930
2931         * doc/md.texi (Blackfin family constraints): Document PA and PB.
2932         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
2933         (MACFLAGS_MATCH_P): New macro.
2934         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
2935         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
2936         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
2937         the other MACFLAG constants.
2938         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
2939         (flag_machi): Tighten constraints.  Renumber some of the operands.
2940         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
2941         output template.
2942         (flag_machi_parts_acconly): New pattern.
2943         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
2944         used.
2945         (flag_macinit1hi): Tighten constraints.
2946         (flag_mul_macv2hi_parts_acconly): New pattern.
2947
2948         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
2949         Use a more efficient implementation.
2950         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
2951         inline sequences when not optimizing for size.
2952
2953         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
2954         movhi_high2low): Delete, merge functionality into...
2955         (packv2hi): ... this pattern.
2956
2957         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
2958         * config/bfin/bfin.opt (msim): New option.
2959         (mcpu=): New option.
2960         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
2961         (bfin_cpu_t): Typedef of enum bfin_cpu.
2962         (bfin_cpu_type): New declaration.
2963         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
2964         -msim and -mcpu= options.
2965         (LIB_SPEC): Likewise.
2966         * config/bfin/bfin.c (bfin_cpu_type): Define.
2967         (bfin_handle_option): Handle -mcpu= option.
2968         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
2969         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
2970         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
2971
2972 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2973
2974         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
2975         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
2976         (powerpc-wrs-vxworksae): Use ${tm_file}.
2977         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
2978         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
2979         * config/i386/vx-common.h: New file.
2980
2981 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
2982
2983         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
2984         of crt0.o%s.
2985
2986 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
2987
2988         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
2989         ldxtr.
2990
2991 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
2992
2993         PR c++/31078
2994         PR c++/31103
2995         * c-common.c (c_build_qualified_type): Set canonical type
2996         appropriately.
2997
2998 2007-04-12  Richard Guenther  <rguenther@suse.de>
2999
3000         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
3001         lower bound and element size if lower bound is not zero
3002         or either of the ARRAY_REF operands is set.
3003
3004 2007-04-12  Richard Guenther  <rguenther@suse.de>
3005
3006         PR tree-optimization/24689
3007         PR tree-optimization/31307
3008         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
3009         indices by value.
3010         * gimplify.c (canonicalize_addr_expr): To be consistent with
3011         gimplify_compound_lval only set operands two and three of
3012         ARRAY_REFs if they are not gimple_min_invariant.  This makes
3013         it never at this place.
3014         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
3015
3016 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3017
3018         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
3019         null before emitting a .nsubspa directive.
3020
3021 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
3022
3023         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
3024         need_to_partition_p if there are no memory statements in the
3025         function.
3026
3027 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
3028
3029         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
3030         (gcd_of_steps_may_divide_p): New function.
3031         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
3032
3033 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3034
3035         * reload.c (find_reloads_toplev, find_reloads_address,
3036         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
3037         not a pointer equality test, to decide if we need to call
3038         push_reg_equiv_alt_mem.
3039
3040 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
3041
3042         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
3043         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
3044         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
3045
3046 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
3047
3048         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
3049         vector to be positive.
3050
3051 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
3052
3053         PR 30735
3054         PR 31090
3055         * doc/invoke.texi: Document --params max-aliased-vops and
3056         avg-aliased-vops.
3057         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
3058         debug_memory_partitions): Move to tree-flow.h
3059         * params.h (AVG_ALIASED_VOPS): Define.
3060         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
3061         users.
3062         (mp_info_t): Likewise.
3063         (get_mem_sym_stats_for): New.
3064         (set_memory_partition): Move from tree-flow-inline.h.
3065         (mark_non_addressable): Only clear the set of symbols for the
3066         partition if it exists.
3067         (dump_memory_partitions): Move from tree-ssa-operands.c
3068         (debug_memory_partitions): Likewise.
3069         (need_to_partition_p): New.
3070         (dump_mem_ref_stats): New.
3071         (debug_mem_ref_stats): New.
3072         (dump_mem_sym_stats): New.
3073         (debug_mem_sym_stats): New.
3074         (update_mem_sym_stats_from_stmt): New.
3075         (compare_mp_info_entries): New.
3076         (mp_info_cmp): Call it.
3077         (sort_mp_info): Change argument to a list of mem_sym_stats_t
3078         objects.
3079         (get_mpt_for): Move from tree-ssa-operands.c.
3080         (find_partition_for): New.
3081         (create_partition_for): Remove.
3082         (estimate_vop_reduction): New.
3083         (update_reference_counts): New.
3084         (build_mp_info): New.
3085         (compute_memory_partitions): Refactor.
3086         Document new heuristic.
3087         Call build_mp_info, update_reference_counts,
3088         find_partition_for and estimate_vop_reduction.
3089         (compute_may_aliases): Populate virtual operands before
3090         calling debugging dumps.
3091         (delete_mem_sym_stats): New.
3092         (delete_mem_ref_stats): New.
3093         (init_mem_ref_stats): New.
3094         (init_alias_info): Call it.
3095         (maybe_create_global_var): Remove alias_info argument.
3096         Get number of call sites and number of pure/const call sites
3097         from gimple_mem_ref_stats().
3098         (dump_alias_info): Call dump_memory_partitions first.
3099         (dump_points_to_info_for): Show how many times a pointer has
3100         been dereferenced.
3101         * opts.c (decode_options): For -O2 set --param
3102         max-aliased-vops to 500.
3103         For -O3 set --param max-aliased-vops to 1000 and --param
3104         avg-aliased-vops to 3.
3105         * fortran/options.c (gfc_init_options): Remove assignment to
3106         MAX_ALIASED_VOPS.
3107         * tree-flow-inline.h (gimple_mem_ref_stats): New.
3108         * tree-dfa.c (dump_variable): Dump memory reference
3109         statistics.
3110         Dump NO_ALIAS* settings.
3111         (referenced_var_lookup): Tidy.
3112         (mem_sym_stats): New.
3113         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
3114         and ORIG are different SSA names for a memory partition.
3115         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
3116         * tree-flow.h (struct mem_sym_stats_d): Define.
3117         (mem_sym_stats_t): Define.
3118         (struct mem_ref_stats_d): Define.
3119         (struct gimple_df): Add field mem_ref_stats.
3120         (enum noalias_state): Define.
3121         (struct var_ann_d): Add bitfield noalias_state.
3122         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
3123         debug_mem_ref_stats, debug_memory_partitions,
3124         debug_mem_sym_stats): Declare.
3125         * tree-ssa-structalias.c (update_alias_info): Update call
3126         sites, pure/const call sites and asm sites in structure
3127         returned by gimple_mem_ref_stats.
3128         Remove local variable IS_POTENTIAL_DEREF.
3129         Increase NUM_DEREFS if the memory expression is a potential
3130         dereference.
3131         Call update_mem_sym_stats_from_stmt.
3132         If the memory references memory, call
3133         update_mem_sym_stats_from_stmt for all the direct memory
3134         symbol references found.
3135         (intra_create_variable_infos): Set noalias_state field for
3136         pointer arguments according to the value of
3137         flag_argument_noalias.
3138         * tree-ssa-structalias.h (struct alias_info): Remove fields
3139         num_calls_found and num_pure_const_calls_found.
3140         (update_mem_sym_stats_from_stmt): Declare.
3141         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
3142         Set default value to 100.
3143         (PARAM_AVG_ALIASED_VOPS): Define.
3144
3145 2007-04-11  Richard Guenther  <rguenther@suse.de>
3146
3147         PR middle-end/31530
3148         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
3149         a * -b + c as c - a * b if we honor sign dependent rounding.
3150
3151 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3152
3153         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
3154         bfin_expand_strmov.
3155         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
3156         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
3157         variables.
3158         (initialize_trampoline): Don't use old-style function definition.
3159         (bfin_secondary_reload): Mark IN_P argument as unused.
3160
3161 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
3162
3163         PR tree-optimization/31343
3164         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
3165         (build_polynomial_chrec): Return a scalar when the evolution is zero.
3166         * testsuite/gcc.dg/vect/pr31343.c: New.
3167
3168 2007-04-10  Eric Christopher  <echristo@apple.com>
3169
3170         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
3171         * config/i386/i386.md (*cmpfp0): Use.
3172         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
3173         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
3174         (fix_trunc<mode>_i386_fisttp): Ditto.
3175         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
3176         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
3177         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
3178         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
3179         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
3180         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
3181         (unnamed_splitters): Ditto.
3182         * config/i386/i386.c (output_fix_trunc): Assert that
3183         we're not being passed a TFmode operand.
3184
3185 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
3186
3187         PR tree-optimization/31526
3188         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
3189         n_basic_blocks to find newly added blocks.
3190
3191 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
3192
3193         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
3194         alternative.
3195         (fix_trunc<mode>si_sse): Ditto.
3196         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
3197         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
3198         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
3199         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
3200         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
3201         expander using SSEMODEF mode macro.
3202         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
3203         expander using SSEMODEF mode macro.
3204         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
3205         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
3206         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
3207         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
3208         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
3209         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
3210         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
3211         Macroize insn using X87MODEF mode macro.
3212
3213 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
3214
3215         * config/i386/sse.md (sse2_pinsrw): Removed.
3216         (sse2_pextrw): Renamed to ...
3217         (*sse2_pextrw): This.
3218
3219 2007-04-09  Jan Hubicka  <jh@suse.cz>
3220
3221         PR target/27869
3222         * config/i386/sse.md
3223         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
3224         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
3225         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
3226         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
3227
3228 2007-04-09  Jan Hubicka  <jh@suse.cz>
3229
3230         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
3231         multiple fields of union.
3232
3233 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
3234
3235         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
3236         (create_preheaders): Check that loops are available.
3237         (fix_loop_structure): Clean up, improve comments.
3238         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
3239         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
3240         state flags.
3241         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
3242         * predict.c (tree_estimate_probability): Do not call
3243         calculate_dominance_info.  Call create_preheaders.
3244         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
3245         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
3246         flags.
3247         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
3248         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
3249         * tree-cfg.c (tree_split_edge): Make an assert more precise.
3250         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
3251         arguments.
3252
3253 2007-04-08  Jan Hubicka  <jh@suse.cz>
3254
3255         * tree.h (maybe_fold_offset_to_component_ref): Declare.
3256         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
3257         * fold-const.c (fold_unary): Use it.
3258
3259 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3260
3261         * varasm.c (assemble_variable): Remove call to
3262         lang_hooks.decls.prepare_assemble_variable.
3263         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
3264         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
3265         * langhooks.h (lang_hooks_for_decls): Remove
3266         prepare_assemble_variable.
3267
3268 2007-04-08  Mike Stump  <mrs@apple.com>
3269
3270         * config/i386/i386.c: Use inc/dec on Core2.
3271
3272 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
3273
3274         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
3275         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
3276         lhd_tree_inlining_end_inlining): Remove.
3277         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
3278         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
3279         end_inlining hooks.
3280         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
3281         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
3282         lhd_tree_inlining_end_inlining): Remove prototypes.
3283         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
3284         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
3285         LANG_HOOKS_TREE_INLINING_START_INLINING,
3286         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
3287
3288         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
3289         not set it.
3290
3291 2007-04-08  Anatoly Sokolov <aesok@post.ru>
3292
3293         PR target/29932
3294         * config/avr/predicates.md (io_address_operand): Delete predicate.
3295         (low_io_address_operand): Don't use 'mode' argument.
3296         (higth_io_address_operand): Rename ...
3297         (high_io_address_operand): ... to this. Don't use 'mode' argument.
3298         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
3299         for above change.
3300
3301 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
3302
3303         Revert change removing staticp.
3304
3305 2007-04-07  Anatoly Sokolov <aesok@post.ru>
3306
3307         PR target/30289
3308         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
3309         earlyclobber.
3310
3311 2007-04-07  Bruce Korb  <bkorb@gnu.org>
3312
3313         * c.opt: Add -Wformat-contains-nul.
3314         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
3315           -Wformat setting.
3316         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
3317         the NUL byte warning.
3318
3319 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
3320
3321         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
3322
3323 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
3324
3325         * tree.c (staticp): No longer use staticp langhook.
3326         * langhooks.c (lhd_staticp): Removed.
3327         * langhooks.h (struct lang_hooks): Remove staticp.
3328         * c-common.c (c_staticp): Remove.
3329         * c-common.h (c_staticp): Ditto.
3330         * langhooks-defs.h (lhd_staticp): Ditto.
3331         (LHD_HOOKS_STATICP): Ditto
3332         * tree.h (gcc_assert_lowered): New macro.
3333
3334 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
3335
3336         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
3337         argument "reliable".
3338         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
3339         Add argument "reliable".  Propagate it through calls.
3340         (infer_loop_bounds_from_undefined):  Derive number of iterations
3341         estimates from references in blocks that do not dominate loop latch.
3342         (gcov_type_to_double_int): New function.
3343         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
3344         and expected_loop_iterations_unbounded.
3345         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
3346         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
3347         * tree-data-ref.c (estimated_loop_iterations): Export.
3348         (get_references_in_stmt): Fix -- do not return addresses of local
3349         objects.
3350         * cfgloop.h (expected_loop_iterations_unbounded,
3351         estimated_loop_iterations): Declare.
3352
3353 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
3354
3355         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
3356
3357 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
3358
3359         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
3360         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
3361         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
3362         Use output_387_reg_move().
3363         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
3364         expander using X87MODEF12 mode macro.
3365         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
3366         choosing register preferences.  Use output_387_reg_move().
3367         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
3368         instead of "x".  Use output_387_reg_move().
3369         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
3370         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
3371         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
3372         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
3373         Use output_387_reg_move().
3374         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
3375         mode macro.
3376         (*truncxf?f_i387 splitter): Ditto.
3377
3378 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
3379
3380         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
3381         LANG_HOOKS_SAFE_FROM_P.
3382         * expr.c (safe_from_p): Remove langhook call.
3383         * langhooks.h (lang_hooks): Remove safe_from_p.
3384         (lhd_safe_from_p): Remove prototype.
3385         * langhooks.c (lhd_safe_from_p): Remove.
3386
3387 2007-04-06  Jan Hubicka  <jh@suse.cz>
3388
3389         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
3390         functions.
3391
3392 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
3393
3394         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
3395         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
3396         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
3397         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
3398         alternative.
3399         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
3400         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
3401
3402 2007-04-05  Richard Henderson  <rth@redhat.com>
3403
3404         * config/alpha/alpha.c (print_operand) [+]: Remove.
3405         (alpha_end_function): Print nop if call at end of function.
3406         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
3407         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
3408         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
3409         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.