OSDN Git Service

46866c3cc61d9b7885aee2d9afc8ff5ea34dd8d8
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
2
3         * config/i386/i386.md (prefix_extra): New attribute.
4         (length): Add prefix_extra.
5
6         * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
7         (sse2_movntv2di): Likewise.
8         (sse2_cvtps2dq): Likewise.
9         (sse2_cvtpd2pi): Likewise.
10         (sse2_cvttpd2pi): Likewise.
11         (*sse2_cvtpd2ps): Likewise.
12         (*add<mode>3): Likewise.
13         (sse2_ssadd<mode>3): Likewise.
14         (sse2_usadd<mode>3): Likewise.
15         (*sub<mode>3): Likewise.
16         (sse2_sssub<mode>3): Likewise.
17         (sse2_ussub<mode>3): Likewise.
18         (*mulv8hi3): Likewise.
19         (*smulv8hi3_highpart): Likewise.
20         (*umulv8hi3_highpart): Likewise.
21         (sse2_umulv2siv2di3): Likewise.
22         (sse2_pmaddwd): Likewise.
23         (ashr<mode>3): Likewise.
24         (lshr<mode>3): Likewise.
25         (ashl<mode>3): Likewise.
26         (sse2_ashlti3): Likewise.
27         (sse2_lshrti3): Likewise.
28         (*umaxv16qi3): Likewise.
29         (*smaxv8hi3): Likewise.
30         (*uminv16qi3): Likewise.
31         (*sminv8hi3): Likewise.
32         (sse2_eq<mode>3): Likewise.
33         (sse2_gt<mode>3): Likewise.
34         (*and<mode>3): Likewise.
35         (sse2_nand<mode>3): Likewise.
36         (*ior<mode>3): Likewise.
37         (*xor<mode>3): Likewise.
38         (sse2_packsswb): Likewise.
39         (sse2_packssdw): Likewise.
40         (sse2_packuswb): Likewise.
41         (sse2_punpckhbw): Likewise.
42         (sse2_punpcklbw): Likewise.
43         (sse2_punpckhwd): Likewise.
44         (sse2_punpcklwd): Likewise.
45         (sse2_punpckhdq): Likewise.
46         (sse2_punpckldq): Likewise.
47         (sse2_punpckhqdq): Likewise.
48         (sse2_punpcklqdq): Likewise.
49         (*sse2_pinsrw): Likewise.
50         (*sse2_pextrw): Likewise.
51         (sse2_pshufd_1): Likewise.
52         (sse2_uavgv16qi3): Likewise.
53         (sse2_uavgv8hi3): Likewise.
54         (sse2_psadbw): Likewise.
55         (sse2_pmovmskb): Likewise.
56         (*sse2_maskmovdqu): Likewise.
57         (*sse2_maskmovdqu_rex64): Likewise.
58         (sse4a_extrqi): Likewise.
59         (sse4a_extrq): Likewise.
60         (sse3_lddqu): Set prefix_rep.
61         (sse3_addsubv4sf3): Likewise.
62         (sse3_haddv4sf3): Likewise.
63         (sse3_hsubv4sf3): Likewise.
64         (sse_cvtss2si): Likewise.
65         (sse_cvtss2si_2): Likewise.
66         (sse_cvtss2siq): Likewise.
67         (sse_cvtss2siq_2): Likewise.
68         (sse_cvttss2si): Likewise.
69         (sse_cvttss2siq): Likewise.
70         (sse2_cvttps2dq): Likewise.
71         (sse3_movshdup): Likewise.
72         (sse3_movsldup): Likewise.
73         (sse2_cvtsd2si): Likewise.
74         (sse2_cvtsd2si_2): Likewise.
75         (sse2_cvtsd2siq): Likewise.
76         (sse2_cvtsd2siq_2): Likewise.
77         (sse2_cvttsd2si): Likewise.
78         (sse2_cvttsd2siq): Likewise.
79         (*sse2_cvtpd2dq): Likewise.
80         (*sse2_cvttpd2dq): Likewise.
81         (sse2_pshuflw_1): Likewise.
82         (sse2_pshufhw_1): Likewise.
83         (sse4a_insertqi): Likewise.
84         (sse4a_insertq): Likewise.
85         (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
86         (ssse3_phadddv4si3): Likewise.
87         (ssse3_phaddswv8hi3): Likewise.
88         (ssse3_phsubwv8hi3): Likewise.
89         (ssse3_phsubdv4si3): Likewise.
90         (ssse3_phsubswv8hi3): Likewise.
91         (ssse3_pmaddubswv8hi3): Likewise.
92         (ssse3_pmulhrswv8hi3): Likewise.
93         (ssse3_pshufbv16qi3): Likewise.
94         (ssse3_psign<mode>3): Likewise.
95         (ssse3_palignrti): Likewise.
96         (abs<mode>2): Likewise.
97         (ssse3_phaddwv4hi3): Set prefix_extra.
98         (ssse3_phadddv2si3): Likewise.
99         (ssse3_phaddswv4hi3): Likewise.
100         (ssse3_phsubwv4hi3): Likewise.
101         (ssse3_phsubdv2si3): Likewise.
102         (ssse3_phsubswv4hi3): Likewise.
103         (ssse3_pmaddubswv4hi3): Likewise.
104         (ssse3_pmulhrswv4hi3): Likewise.
105         (ssse3_pshufbv8qi3): Likewise.
106         (ssse3_psign<mode>3): Likewise.
107         (ssse3_palignrdi): Likewise.
108         (abs<mode>2): Likewise.
109         (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
110         (*vec_dupv2df): Set mode to V2DF instead of V4SF.
111         (sse2_pmovmskb): Set mode to SI instead of V2DF.
112
113 2007-04-23  Nick Clifton  <nickc@redhat.com>
114
115         * params.def: Fix formatting of emacs local variables.
116
117 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
118
119         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
120         move if inter-unit move isn't allowed.
121         Don't split moving the first element of V2DI to DI to inter-unit
122         move if inter-unit move isn't allowed.
123
124 2007-04-23  Richard Guenther  <rguenther@suse.de>
125
126         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
127         and CDI_POST_DOMINATORS separately.
128
129 2007-04-23  Nick Clifton  <nickc@redhat.com>
130
131         * c.opt (Wformat-contains-nul): Add warning attribute.
132
133 2007-04-23  Jan Hubicka  <jh@suse.cz>
134
135         * function.c (init_function_start): Don't init line number info.
136         (expand_function_end): Update.
137         (reset_block_changes, record_block_change, finalize_block_changes,
138         check_block_change, free_block_changes): Kill.
139         * function.h (reset_block_changes, record_block_change,
140         finalize_block_changes, check_block_change, free_block_changes): Remove
141         prototypes.
142         (struct function): Remove ib_boundaries_block.
143         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
144         Use curr_insn_locator to initialize locator.
145         (emit_line_note): Remove.
146         * cfgexpand.c (expand_gimple_cond_expr): Update.
147         (construct_exit_block): Likewise.
148         (tree_expand_cfg): Initialize/finalize locators.
149         * expr.c (expand_expr_real): Update.
150         * cfglayout.c (line_locators_locs, line_locators_lines,
151         file_locators_locs, file_locators_files): Remove.
152         (set_block_levels): Move to cfgexpand.c.
153         (insn_locators_initialize): Remove.
154         (pass_insn_locators_initialize): Remove.
155         (locations_locators_locs, locations_locators_vals): New static vars.
156         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
157         Likewise.
158         (insn_locators_alloc, insn_locators_finalize,
159         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
160         New functions.
161         (locator_location): New.
162         (locator_line, locator_file): Rewrite.
163         * rtl.h (emit_line_note): Kill.
164         (insn_locators_alloc, insn_locators_finalize,
165         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
166         Declare.
167         * tree-inline.c (initialize_cfun): Do not initialize
168         ib_boundaries_block.
169         * passes.c (pass_insn_locators_initialize): Remove.
170
171 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
172
173         PR middle-end/31448
174         * expr.c (reduce_to_bit_field_precision): Handle
175         CONST_INT rtx's.
176
177 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
178
179         PR tree-optimization/24659
180         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
181         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
182         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
183         * genopinit.c (optabs): Rename vec_pack_mod_optab
184         to vec_pack_trunc_optab.
185         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
186         early for scalar floating point operands for NOP_EXPR.
187         (vectorizable_type_promotion): Ditto.
188         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
189         vec_pack_trunc_optab.
190         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
191
192         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
193         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
194         Rename from VEC_PACK_MOD_EXPR.
195         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
196         * expr.c (expand_expr_real_1): Ditto.
197         * tree-inline.c (estimate_num_insns_1): Ditto.
198         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
199
200         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
201         (vec_unpacks_lo_v4sf): Ditto.
202         (vec_pack_trunc_v2df): Ditto.
203         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
204         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
205         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
206
207         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
208         vec_pack_mod_v8hi.
209         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
210
211         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
212         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
213         packing of floating point operands.
214         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
215         represent unpacking of floating point operands.
216         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
217         [vec_unpacks_hi]: Ditto.
218         [vec_unpacks_lo]: Ditto.
219
220 2007-04-22  Jan Hubicka  <jh@suse.cz>
221
222         * final.c (rest_of_handle_final): Call
223         targetm.asm_out.constructor/targetm.asm_out.destructor
224         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
225         proper priority via decl_*_priority_insert.
226         * c-common.c (c_expand_body): Likewise.
227
228 2007-04-22  Richard Guenther  <rguenther@suse.de>
229
230         PR tree-optimization/29789
231         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
232         (rewrite_reciprocal): New helper split out from
233         determine_invariantness_stmt.
234         (rewrite_bittest): Likewise.
235         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
236         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
237         is not.
238
239 2007-04-22  Revital Eres  <eres@il.ibm.com>
240
241         * loop-unroll.c (var_to_expand): New field to support also
242         insns of the form x = something + x.
243         (analyze_insn_to_expand_var): Use it.
244         (expand_var_during_unrolling): Likewise.
245
246 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
247
248         * predict.c: Include pointer-set.h.
249         (bb_predictions): New variable.
250         (tree_predicted_by_p, tree_predict_edge,
251         remove_predictions_associated_with_edge): Use bb_predictions map
252         instead of bb->predictions.
253         (clear_bb_predictions, assert_is_empty): New functions.
254         (combine_predictions_for_bb): Use bb_predictions map.  Call
255         clear_bb_predictions.
256         (tree_estimate_probability): Create and free bb_predictions map.
257         * Makefile.in (predict.o): Add pointer-set.h dependency.
258         * basic-block.h (struct basic_block_def): Remove predictions
259         field.
260         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
261
262 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
263
264         PR target/31480
265         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
266         is null.
267
268 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
269
270         * timevar.c (timevar_print): Change reference of --disable-checking to
271         --enable-checking=release.  Also warn if assert checking is disabled.
272
273 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
274
275         PR C/30265
276         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
277         decl as addressable if the compound literal was marked as
278         addressable.
279         Mark the decl as a gimple register if it is a complex or
280         vector decl and does not live in memory.
281
282 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
283
284         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
285         (GENERIC_NEXT): New function macro.
286         (PHI_CHAIN): Use phi_node's new chain variable.
287         (tree_phi_node): Change tree_common to tree_base
288         and add the chain field.
289         * tree-phinodes.c (make_phi_node): Don't set
290         TREE_TYPE on the new node.
291         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
292         instead of checking GIMPLE_TUPLE_P in chain_next.
293         * tree-vect-transform.c
294         (get_initial_def_for_induction): Look at
295         PHI_RESULT_TREE for the type of the phi node.
296         (update_vuses_to_preheader): Use PHI_CHAIN
297         instead of TREE_CHAIN on the phi node.
298         * tree-ssa-structalias.c (compute_points_to_sets):
299         Likewise.
300         (ipa_pta_execute): Likewise.
301
302 2007-04-21  Richard Guenther  <rguenther@suse.de>
303
304         PR middle-end/31136
305         * fold-const.c (fold_unary): Call fold_convert_const on the
306         original tree.
307
308 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
309
310         * gcse.c (store_killed_in_insn): Handle PARALLELs.
311         (store_killed_in_pat): New.
312
313 2007-04-20  Richard Henderson  <rth@redhat.com>
314
315         PR target/31628
316         * config/i386/i386.c (type_has_variadic_args_p): Look for any
317         TREE_LIST with a void_type_node value, not void_list_node exactly.
318
319 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
320
321         * doc/standards.texi: Re-arrange into language-specific
322         subsections. Add a C++ section, documenting which standards we
323         support.
324
325 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
326
327         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
328         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
329
330 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
331
332         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
333         ecrti.o and crtbegin.o.
334         (LIB_DEFAULT_SPEC): Include -lc.
335         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
336
337 2007-04-20  Richard Henderson  <rth@redhat.com>
338
339         PR target/28623
340         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
341         argument; update all callers.
342         (get_unaligned_offset): New.
343         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
344         get_unaligned_address, just pass on the address directly.
345         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
346         the subreg in the helper patterns.
347         (unaligned_extendqidi_le): Use get_unaligned_offset.
348         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
349         (unaligned_extendhidi_be): Likewise.
350         (unaligned_extendhidi): Tidy.
351         * config/alpha/alpha-protos.h: Update.
352
353 2007-04-20  Richard Henderson  <rth@redhat.com>
354
355         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
356         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
357         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
358         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
359         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
360         (CPP_SPEC): Don't include %(cpp_subtarget).
361         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
362         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
363         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
364
365 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
366
367         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
368         for __builtin_ia32_cmpordss.
369
370         PR tree-optimization/31632
371         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
372         and arg1 for optimizations of comparison against min/max values.
373         Fold arg0 to arg1's type for optimizations of comparison against
374         min+1 and max-1 values.
375
376 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
377
378         * reload.c (combine_reloads): When trying to use a dying register,
379         check whether it's uninitialized and don't use if so.
380
381 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
382
383         * fold-const.c: Remove prototypes for native_encode_expr and
384         native_interpret_expr.
385         (native_encode_expr): Make non-static.
386         (native_interpret_expr): Likewise.
387         * tree.h: Add prototypes for the above.
388
389 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
390
391         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
392         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
393         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
394         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
395         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
396         Add length attributes.
397
398 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
399
400         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
401         not that it is 1.
402
403         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
404         __STDC_WANT_DEC_FP__.
405
406 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
407
408         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
409         for long double compatibility.
410         * configure: Regenerate.
411
412 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
413
414         PR rtl-optimization/29841
415         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
416         trap instructions.
417         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
418         that may cause control flow transfer from being moved.
419
420 2007-04-18  Jan Hubicka  <jh@suse.cz>
421
422         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
423         types.
424
425 2007-04-18  Eric Christopher  <echristo@apple.com>
426
427         * config/rs6000/darwin.md (load_macho_picbase): Use link register
428         only. Update operands.
429         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
430         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
431         link register to pic register.
432
433 2007-04-18  Dirk Mueller  <dmueller@suse.de>
434
435         PR diagnostic/31227
436         * tree-vrp.c (search_for_addr_array): New.
437         (check_array_bounds): Suppress warning about
438         address taken of array refs if its not de-referenced.
439
440 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
441
442         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
443         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
444
445         * tree-vectorizer.h (NITERS_KNOWN_P): New.
446         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
447         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
448
449         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
450         dump print.
451         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
452         print message.
453         (vect_analyze_scalar_cycles): Fix indentation.
454         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
455         (vect_mark_relevant): Include phis in relevance analysis.
456
457         * tree-vect-transform.c (vect_transform_loop): Add an assert.
458
459 2007-04-18  Anatoly Sokolov <aesok@post.ru>
460
461         * config/avr/avr.c (ptrreg_to_str): Replace error() with
462         output_operand_lossage().
463
464 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
465
466         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
467         the unused code for reduction without adjust-in-epilog to simplify the
468         function.
469
470 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
471
472         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
473         (S390_TDC_NEGATIVE_ZERO): New constant.
474         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
475         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
476         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
477         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
478         (S390_TDC_POSITIVE_INFINITY): New constant.
479         (S390_TDC_NEGATIVE_INFINITY): New constant.
480         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
481         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
482         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
483         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
484         (S390_TDC_INFINITY): New constant.
485         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
486         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
487         optimization for UNSPEC_CCZ_TO_INT.
488         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
489         ("*ccz_to_int"): New insn.
490         ("isinf<mode>2"): New insn.
491         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
492         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
493         (UNSPEC_CCZ_TO_INT): New constant.
494
495 2007-04-18  Richard Guenther  <rguenther@suse.de>
496
497         PR tree-optimization/19431
498         PR tree-optimization/21463
499         * tree-pass.h (pass_phiprop): Declare.
500         * passes.c (init_optimization_passes): New phiprop pass.
501         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
502         (phivn_valid_p): New helper function.
503         (phiprop_insert_phi): Likewise.
504         (propagate_with_phi): Likewise.
505         (tree_ssa_phiprop): New propagator propagating loads
506         through phi nodes if profitable.
507
508 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
509
510         * tree-vect-analyze.c (process_use): New function.
511         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
512         Check phis in all bbs.
513         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
514         assert.
515
516 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
517
518         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
519         we use REG_EQUAL.
520
521 2007-04-17  Anatoly Sokolov <aesok@post.ru>
522
523         PR target/30483
524         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
525         error().
526
527 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
528
529         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
530         on "0".
531         (sse_vmmulv4sf3): Likewise.
532         (sse2_vmaddv2df3): Likewise.
533         (sse2_vmmulv2df3): Likewise.
534
535 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
536
537         PR rtl-optimization/31360
538         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
539         (target_reg_cost): New.
540         (init_set_costs): Initialize target_reg_cost.  Add comments
541         regarding the rationale of the costs.
542         (global_cost_for_size): Renamed to...
543         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
544         of register pressure.
545         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
546         estimate_reg_pressure_cost.  Add number of ivs.
547         (determine_set_costs): Dump target_reg_cost.
548         * loop-invariant.c (gain_for_invariant):  Use
549         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
550         (best_gain_for_invariant, find_invariants_to_move): Remove
551         n_inv_uses.
552         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
553         (target_reg_cost): Declare.
554         (global_cost_for_size): Declaration removed.
555         (estimate_reg_pressure_cost): Declare.
556
557 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
558
559         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
560         regnos into even/odd register pairs.
561         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
562         TDmode similar to the other floating point modes.
563         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
564         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
565         define_expand's.
566         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
567         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
568         (movdd_hardfloat64): Use TARGET_MFPGPR.
569
570 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
571
572         * reload1.c (delete_output_reload): Don't count output in n_inherited.
573
574         Revert
575         2005-01-05  Richard Henderson  <rth@redhat.com>
576         PR rtl-opt/10692
577         * reload1.c (do_input_reload): Restrict the optimization deleteing
578         a previous output reload to RELOAD_FOR_INPUT.
579
580 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
581
582         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
583         induc_vec_info_type.
584         (vectorizable_induction): New function declaration.
585         * tree-vect-transform.c (get_initial_def_for_induction): No need to
586         check if already vectorized.  Find first place in BB where new stmts
587         can be inserted.  Takes only one argument.
588         (vectorizable_induction): New function.
589         (vect_transform_stmt): Add case for induc_vec_info_type to call
590         vectorizable_induction.
591         (vect_transform_loop): Consider phis for vectorization.
592         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
593         condition.
594         (analyze_operations): Call vectorizable_induction when analyzing phis.
595         Fix comment.
596         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
597         (vect_mark_relevant): Include phis in relevance analysis.
598         (vect_mark_stmts_to_be_vectorize): Likewise.
599         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
600
601 2007-04-16  Lawrence Crowl  <crowl@google.com>
602
603         * doc/invoke.texi (Debugging Options): Add documentation for the
604         -femit-struct-debug options -femit-struct-debug-baseonly,
605         -femit-struct-debug-reduced, and
606         -femit-struct-debug-detailed[=...].
607
608         * c-opts.c (c_common_handle_option): Add
609         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
610         and OPT_femit_struct_debug_detailed_.
611         * c.opt: Add specifications for
612         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
613         and -femit-struct-debug-detailed[=...].
614         * opts.c (set_struct_debug_option): Parse the
615         -femit-struct-debug-... options.
616         * opts.c (matches_main_base, main_input_basename,
617         main_input_baselength, base_of_path, matches_main_base): Add
618         variables and functions to compare header base name to compilation
619         unit base name.
620         * opts.c (should_emit_struct_debug): Add to determine to emit a
621         structure based on the option.
622         (dump_struct_debug) Also disabled function to debug this
623         function.
624         * opts.c (handle_options): Save the base name of the
625         compilation unit.
626
627         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
628         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
629         This hook indicates if a type is generic.  Set it by default
630         to "never generic".
631         * langhooks.h (struct lang_hooks_for_types): Add a new hook
632         to determine if a struct type is generic or not.
633         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
634         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
635         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
636         with live C++ hook.
637
638         * flags.h (enum debug_info_usage): Add an enumeration to describe
639         a program's use of a structure type.
640         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
641         to indicate the program's usage of the type.  Filter structs based
642         on the -femit-struct-debug-... specification.
643         (gen_type_die): Split into two routines, gen_type_die and
644         gen_type_die_with_usage.  gen_type_die is now a wrapper
645         that assumes direct usage.
646         (gen_type_die_with_usage): Replace calls to gen_type_die
647         with gen_type_die_with_usage adding the program usage of
648         the referenced type.
649         (dwarf2out_imported_module_or_decl): Suppress struct debug
650         information using should_emit_struct_debug when appropriate.
651
652 2007-04-16  Ian Lance Taylor  <iant@google.com>
653
654         PR tree-optimization/31522
655         * tree-vrp.c (vr_phi_edge_counts): New static variable.
656         (vrp_initialize): Allocate vr_phi_edge_counts.
657         (vrp_visit_phi_node): Don't push to infinity if we saw a new
658         executable edge.  Drop test for all constants.
659         (vrp_finalize): Free vrp_phi_edge_counts.
660
661         * doc/cpp.texi (Common Predefined Macros): Clarify description of
662         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
663
664         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
665         predecessors at head rather than tail.
666
667 2007-04-16  Matthias Klose  <doko@debian.org>
668
669         * config/alpha/linux.h (CPP_SPEC): Define.
670         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
671
672 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
673
674         * function.h: Remove sequence_stack extern declaration.
675
676 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
677
678         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
679         TARGET_FIDOA.
680         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
681         defined.
682
683 2007-04-16  Anatoly Sokolov <aesok@post.ru>
684
685         * config/avr/avr.c (avr_arch_types): Rearranging  array.
686         (enum avr_arch): Add.
687         (avr_mcu_types): Use avr_arch enumeration constants instead of
688         numbers.
689         * config/avr/avr.h (LINK_SPEC): Simplify.
690
691 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
692
693         * config/m68k/m68k.c (m68k_libcall_value,
694         m68k_function_value): Use macros for register names more.
695
696         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
697         instead.
698         (M68K_REGNAME): Use A6_REG.
699         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
700
701 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
702
703         PR middle-end/28071
704         * sched-int.h (struct deps): Split field 'pending_lists_length' into
705         'pending_read_list_length' and 'pending_write_list_length'.  Update
706         comment.
707         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
708         to handle two length counters instead of one.  Update all uses.
709         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
710         two length counters instead of one.
711         * sched-rgn.c (propagate_deps): Update to handle two length counters
712         instead of one.
713
714 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
715
716         PR target/31582
717         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
718         copy of source, pass it to ix86_expand_vector_set and return
719         it as target.
720
721 2007-04-16  David Ung  <davidu@mips.com>
722             Joseph Myers  <joseph@codesourcery.com>
723
724         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
725         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
726         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
727         Add 74K processor information.
728         * config/mips/mips.md: Include 74k.md.
729         (cpu): Add 74kc,74kf,74kx.
730         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
731         * config/mips/74k.md: New.
732         * doc/invoke.texi (MIPS Options): Document 74K support.
733
734 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
735
736         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
737         vectorizable_* functions.
738         * tree-vect-transform.c (vectorizable_call): Add check for
739         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
740         (vectorizable_store): likewise.
741         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
742         Add comments.
743         (vectorizable_operation, vectorizable_type_demotion): Likewise.
744         (vectorizable_type_promotion, vectorizable_load): Likewise.
745         (vectorizable_live_operation, vectorizable_condition): Likewise.
746         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
747         STMT_VINFO_LIVE_P.
748         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
749
750 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
751
752         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
753         register numbers more.
754         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
755         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
756         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
757         FUNCTION_VALUE_REGNO_P): Likewise.
758         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
759         STATIC_CHAIN_REGNUM): Likewise.
760         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
761         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
762         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
763         * config/m68k/m68k.md (FP_REG): New.
764
765 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
766
767         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
768         alignment on fido.
769
770 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
771
772         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
773         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
774         comment typos.
775
776 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
777
778         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
779         cold loops.
780
781 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
782
783         PR c/31520
784         * c-decl.c (finish_decl): Grab the type of the decl after the call
785         to store_init_value.
786
787 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
788
789         * common.opt (fforward-propagate): Fix "Optimization" annotation.
790
791 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
792
793         PR c++/25874
794         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
795         post dominators and cleanup cfg before returning.
796
797 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
798
799         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
800         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
801
802 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
803
804         * config.gcc: Recognize fido.
805         * config/m68k/m68k-devices.def (fidoa): New.
806         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
807         __mfido__.
808         (FL_FIDOA, TARGET_FIDOA): New.
809         * config/m68k/m68k.opt (mfidoa): New.
810
811 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
812
813         PR middle-end/31322
814         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
815         when a personality function is used.
816
817 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
818
819         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
820
821 2007-04-13  Mike Stump  <mrs@apple.com>
822
823         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
824         we can...
825         * config/darwin.opt (fapple-kext): Make C++ only.
826         * config/darwin.c (darwin_override_options): Remove code to ensure
827         -fapple-kext is given for C++ only.
828
829 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
830
831         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
832         * config/mips/mips.c (override_options): Call
833         SUBTARGET_OVERRIDE_OPTIONS, if defined.
834
835 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
836
837         * config/i386/i386.opt (msvr3-shlib): Removed.
838
839         * doc/invoke.texi: Remove -msvr3-shlib.
840
841 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
842
843         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
844         with "popcnt" instruction.
845
846 2007-04-13  Richard Guenther  <rguenther@suse.de>
847
848         PR tree-optimization/21258
849         * tree-vrp.c (compare_case_labels): New helper.
850         (find_switch_asserts): New function.
851         (find_assert_locations): Call it for SWITCH_EXPRs.
852
853 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
854
855         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
856         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
857         check is now implied in X87_FLOAT_MODE_P.
858         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
859         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
860         (fix_trunc<mode>_i386_fisttp): Ditto.
861         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
862         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
863         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
864         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
865         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
866         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
867         (unnamed_splitters): Ditto.
868         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
869         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
870         FIRST_SSE_REG for local functions when SSE math is enabled or
871         for functions with sseregparm attribute.
872         (standard_80387_constant_p): Return -1 if mode is not
873         X87_FLOAT_MODE_P.
874         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
875         (ix86_expand_compare): Ditto.
876         (ix86_expand_carry_flag_compare): Ditto.
877         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
878         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
879         DECIMAL_FLOAT_MODE_P.
880         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
881         of SCALAR_FLOAT_MODE_P.
882         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
883         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
884         checks before FLOAT_MODE_P.
885         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
886         before FLOAT_MODE_P.
887         [DIV]: Ditto.
888         [NEG]: Ditto.
889         [ABS]: Ditto.
890         [SQRT]: Ditto.
891         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
892
893 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
894             Charles Wilson  <libtool@cwilson.fastmail.fm>
895
896         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
897         (libgcc.mvars): Don't depend on them.
898         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
899         * exec-tool.in: New.
900
901 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
902
903         * doc/invoke.text (--help): Document --help=common.
904
905 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
906
907         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
908
909 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
910
911         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
912         * genemit.c (main): Emit #include "integrate.h".
913         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
914         (LOADGP_RTP): New mips_loadgp_style.
915         * config/mips/mips.h: Include config/vxworks-dummy.h.
916         (TARGET_RTP_PIC): New macro.
917         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
918         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
919         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
920         for TARGET_RTP_PIC.
921         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
922         -mvxworks-pic when using -mrtp and a PIC option.
923         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
924         for RTP PIC.
925         (mips_symbolic_constant_p, mips_symbolic_address_p)
926         (mips_symbol_insns): Handle SYMBOL_HALF.
927         (override_options): Warn about -G and -mrtp being used together.
928         Initialize mips_lo_relocs[SYMBOL_HALF].
929         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
930         (mips_emit_loadgp): Handle LOADGP_RTP.
931         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
932         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
933         (tablejump): Handle function-relative case table entries if
934         TARGET_RTP_PIC.
935         * config/mips/predicates.md (symbol_ref_operand): New predicate.
936
937 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
938
939         * config/mips/mips.md (load_call<mode>): Allow any general register.
940         destination.
941         (sibcall_value_internal, sibcall_value_multiple_internal)
942         (call_value_internal, call_value_split, call_value_multiple_internal)
943         (call_value_multiple_split): Remove constraints from operand 0.
944
945 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
946
947         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
948         rather than loadgp_noshared.
949         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
950         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
951         gen_loadgp.
952         * config/mips/mips.md (loadgp): Rename to...
953         (loadgp_newabi): ...this.
954         (loadgp_noshared): Rename to...
955         (loadgp_absolute): ...this.
956
957 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
958
959         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
960         false for locally-binding symbols.
961         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
962
963 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
964
965         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
966         (SYMBOL_GOT_PAGE_OFST): ...this.
967         (SYMBOL_GOT_GLOBAL): Rename to...
968         (SYMBOL_GOT_DISP): ...this.
969         (SYMBOL_GOTOFF_GLOBAL): Rename to...
970         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
971         * config/mips/mips.c (mips_global_symbol_p): New function.
972         (mips_symbol_binds_local_p): Likewise.
973         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
974         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
975         and mips_symbol_binds_local_p.
976         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
977         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
978         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
979         SYMBOL_GOTOFF_DISP.
980         (mips_ok_for_lazy_binding_p): New function.
981         (mips_load_call_address, mips_expand_call): Use it.
982         (mips_dangerous_for_la25_p): Likewise.
983         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
984         (*got_disp<mode>): Use got_disp_operand instead of
985         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
986         SYMBOL_GOTOFF_GLOBAL.
987         (*got_page<mode>): Use got_page_ofst_operand instead of
988         local_got_operand.
989         * config/mips/predicates.md (const_call_insn_operand): Use
990         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
991         (global_got_operand): Rename to...
992         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
993         SYMBOL_GOT_GLOBAL.
994         (local_got_operand): Rename to...
995         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
996         of SYMBOL_GOT_LOCAL.
997
998 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
999
1000         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
1001         TARGET_CALL_CLOBBERED_GP.
1002         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1003         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
1004         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
1005         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
1006         of TARGET_ABICALLS && !TARGET_NEWABI.
1007         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1008         * config/mips/mips.c (mips_load_call_address): Check
1009         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1010         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1011         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1012         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
1013         TARGET_ABICALLS && TARGET_NEWABI.
1014         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
1015         TARGET_ABICALLS.
1016         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
1017         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
1018         TARGET_ABICALLS && TARGET_NEWABI.
1019         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
1020         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
1021         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
1022         whether indirect calls must use $25.
1023         (mips_extra_live_on_entry): Check TARGET_GOT instead of
1024         TARGET_ABICALLS.
1025         * config/mips/mips.md (jal_macro): Check flag_pic and
1026         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
1027         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
1028         instead of TARGET_ABICALLS.
1029         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
1030         TARGET_ABICALLS && TARGET_OLDABI.
1031         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1032         (sibcall): In the comment above the define_insn, mention
1033         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
1034         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
1035         instead of TARGET_ABICALLS.
1036
1037 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
1038
1039         * doc/md.texi (Blackfin family constraints): Document PA and PB.
1040         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
1041         (MACFLAGS_MATCH_P): New macro.
1042         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
1043         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
1044         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
1045         the other MACFLAG constants.
1046         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
1047         (flag_machi): Tighten constraints.  Renumber some of the operands.
1048         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
1049         output template.
1050         (flag_machi_parts_acconly): New pattern.
1051         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
1052         used.
1053         (flag_macinit1hi): Tighten constraints.
1054         (flag_mul_macv2hi_parts_acconly): New pattern.
1055
1056         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
1057         Use a more efficient implementation.
1058         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
1059         inline sequences when not optimizing for size.
1060
1061         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
1062         movhi_high2low): Delete, merge functionality into...
1063         (packv2hi): ... this pattern.
1064
1065         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
1066         * config/bfin/bfin.opt (msim): New option.
1067         (mcpu=): New option.
1068         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
1069         (bfin_cpu_t): Typedef of enum bfin_cpu.
1070         (bfin_cpu_type): New declaration.
1071         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
1072         -msim and -mcpu= options.
1073         (LIB_SPEC): Likewise.
1074         * config/bfin/bfin.c (bfin_cpu_type): Define.
1075         (bfin_handle_option): Handle -mcpu= option.
1076         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
1077         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
1078         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
1079
1080 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1081
1082         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
1083         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
1084         (powerpc-wrs-vxworksae): Use ${tm_file}.
1085         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
1086         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
1087         * config/i386/vx-common.h: New file.
1088
1089 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
1090
1091         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
1092         of crt0.o%s.
1093
1094 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
1095
1096         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
1097         ldxtr.
1098
1099 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
1100
1101         PR c++/31078
1102         PR c++/31103
1103         * c-common.c (c_build_qualified_type): Set canonical type
1104         appropriately.
1105
1106 2007-04-12  Richard Guenther  <rguenther@suse.de>
1107
1108         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
1109         lower bound and element size if lower bound is not zero
1110         or either of the ARRAY_REF operands is set.
1111
1112 2007-04-12  Richard Guenther  <rguenther@suse.de>
1113
1114         PR tree-optimization/24689
1115         PR tree-optimization/31307
1116         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
1117         indices by value.
1118         * gimplify.c (canonicalize_addr_expr): To be consistent with
1119         gimplify_compound_lval only set operands two and three of
1120         ARRAY_REFs if they are not gimple_min_invariant.  This makes
1121         it never at this place.
1122         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1123
1124 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1125
1126         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
1127         null before emitting a .nsubspa directive.
1128
1129 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1130
1131         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
1132         need_to_partition_p if there are no memory statements in the
1133         function.
1134
1135 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1136
1137         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
1138         (gcd_of_steps_may_divide_p): New function.
1139         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
1140
1141 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1142
1143         * reload.c (find_reloads_toplev, find_reloads_address,
1144         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
1145         not a pointer equality test, to decide if we need to call
1146         push_reg_equiv_alt_mem.
1147
1148 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
1149
1150         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
1151         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
1152         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
1153
1154 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1155
1156         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
1157         vector to be positive.
1158
1159 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1160
1161         PR 30735
1162         PR 31090
1163         * doc/invoke.texi: Document --params max-aliased-vops and
1164         avg-aliased-vops.
1165         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
1166         debug_memory_partitions): Move to tree-flow.h
1167         * params.h (AVG_ALIASED_VOPS): Define.
1168         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
1169         users.
1170         (mp_info_t): Likewise.
1171         (get_mem_sym_stats_for): New.
1172         (set_memory_partition): Move from tree-flow-inline.h.
1173         (mark_non_addressable): Only clear the set of symbols for the
1174         partition if it exists.
1175         (dump_memory_partitions): Move from tree-ssa-operands.c
1176         (debug_memory_partitions): Likewise.
1177         (need_to_partition_p): New.
1178         (dump_mem_ref_stats): New.
1179         (debug_mem_ref_stats): New.
1180         (dump_mem_sym_stats): New.
1181         (debug_mem_sym_stats): New.
1182         (update_mem_sym_stats_from_stmt): New.
1183         (compare_mp_info_entries): New.
1184         (mp_info_cmp): Call it.
1185         (sort_mp_info): Change argument to a list of mem_sym_stats_t
1186         objects.
1187         (get_mpt_for): Move from tree-ssa-operands.c.
1188         (find_partition_for): New.
1189         (create_partition_for): Remove.
1190         (estimate_vop_reduction): New.
1191         (update_reference_counts): New.
1192         (build_mp_info): New.
1193         (compute_memory_partitions): Refactor.
1194         Document new heuristic.
1195         Call build_mp_info, update_reference_counts,
1196         find_partition_for and estimate_vop_reduction.
1197         (compute_may_aliases): Populate virtual operands before
1198         calling debugging dumps.
1199         (delete_mem_sym_stats): New.
1200         (delete_mem_ref_stats): New.
1201         (init_mem_ref_stats): New.
1202         (init_alias_info): Call it.
1203         (maybe_create_global_var): Remove alias_info argument.
1204         Get number of call sites and number of pure/const call sites
1205         from gimple_mem_ref_stats().
1206         (dump_alias_info): Call dump_memory_partitions first.
1207         (dump_points_to_info_for): Show how many times a pointer has
1208         been dereferenced.
1209         * opts.c (decode_options): For -O2 set --param
1210         max-aliased-vops to 500.
1211         For -O3 set --param max-aliased-vops to 1000 and --param
1212         avg-aliased-vops to 3.
1213         * fortran/options.c (gfc_init_options): Remove assignment to
1214         MAX_ALIASED_VOPS.
1215         * tree-flow-inline.h (gimple_mem_ref_stats): New.
1216         * tree-dfa.c (dump_variable): Dump memory reference
1217         statistics.
1218         Dump NO_ALIAS* settings.
1219         (referenced_var_lookup): Tidy.
1220         (mem_sym_stats): New.
1221         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
1222         and ORIG are different SSA names for a memory partition.
1223         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
1224         * tree-flow.h (struct mem_sym_stats_d): Define.
1225         (mem_sym_stats_t): Define.
1226         (struct mem_ref_stats_d): Define.
1227         (struct gimple_df): Add field mem_ref_stats.
1228         (enum noalias_state): Define.
1229         (struct var_ann_d): Add bitfield noalias_state.
1230         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
1231         debug_mem_ref_stats, debug_memory_partitions,
1232         debug_mem_sym_stats): Declare.
1233         * tree-ssa-structalias.c (update_alias_info): Update call
1234         sites, pure/const call sites and asm sites in structure
1235         returned by gimple_mem_ref_stats.
1236         Remove local variable IS_POTENTIAL_DEREF.
1237         Increase NUM_DEREFS if the memory expression is a potential
1238         dereference.
1239         Call update_mem_sym_stats_from_stmt.
1240         If the memory references memory, call
1241         update_mem_sym_stats_from_stmt for all the direct memory
1242         symbol references found.
1243         (intra_create_variable_infos): Set noalias_state field for
1244         pointer arguments according to the value of
1245         flag_argument_noalias.
1246         * tree-ssa-structalias.h (struct alias_info): Remove fields
1247         num_calls_found and num_pure_const_calls_found.
1248         (update_mem_sym_stats_from_stmt): Declare.
1249         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
1250         Set default value to 100.
1251         (PARAM_AVG_ALIASED_VOPS): Define.
1252
1253 2007-04-11  Richard Guenther  <rguenther@suse.de>
1254
1255         PR middle-end/31530
1256         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
1257         a * -b + c as c - a * b if we honor sign dependent rounding.
1258
1259 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1260
1261         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
1262         bfin_expand_strmov.
1263         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
1264         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
1265         variables.
1266         (initialize_trampoline): Don't use old-style function definition.
1267         (bfin_secondary_reload): Mark IN_P argument as unused.
1268
1269 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
1270
1271         PR tree-optimization/31343
1272         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
1273         (build_polynomial_chrec): Return a scalar when the evolution is zero.
1274         * testsuite/gcc.dg/vect/pr31343.c: New.
1275
1276 2007-04-10  Eric Christopher  <echristo@apple.com>
1277
1278         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
1279         * config/i386/i386.md (*cmpfp0): Use.
1280         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1281         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1282         (fix_trunc<mode>_i386_fisttp): Ditto.
1283         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1284         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1285         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1286         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1287         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1288         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1289         (unnamed_splitters): Ditto.
1290         * config/i386/i386.c (output_fix_trunc): Assert that
1291         we're not being passed a TFmode operand.
1292
1293 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
1294
1295         PR tree-optimization/31526
1296         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
1297         n_basic_blocks to find newly added blocks.
1298
1299 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
1300
1301         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
1302         alternative.
1303         (fix_trunc<mode>si_sse): Ditto.
1304         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
1305         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
1306         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
1307         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
1308         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
1309         expander using SSEMODEF mode macro.
1310         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
1311         expander using SSEMODEF mode macro.
1312         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
1313         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
1314         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
1315         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
1316         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
1317         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
1318         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
1319         Macroize insn using X87MODEF mode macro.
1320
1321 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
1322
1323         * config/i386/sse.md (sse2_pinsrw): Removed.
1324         (sse2_pextrw): Renamed to ...
1325         (*sse2_pextrw): This.
1326
1327 2007-04-09  Jan Hubicka  <jh@suse.cz>
1328
1329         PR target/27869
1330         * config/i386/sse.md
1331         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
1332         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
1333         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
1334         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
1335
1336 2007-04-09  Jan Hubicka  <jh@suse.cz>
1337
1338         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
1339         multiple fields of union.
1340
1341 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
1342
1343         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
1344         (create_preheaders): Check that loops are available.
1345         (fix_loop_structure): Clean up, improve comments.
1346         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
1347         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
1348         state flags.
1349         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
1350         * predict.c (tree_estimate_probability): Do not call
1351         calculate_dominance_info.  Call create_preheaders.
1352         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
1353         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
1354         flags.
1355         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
1356         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
1357         * tree-cfg.c (tree_split_edge): Make an assert more precise.
1358         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
1359         arguments.
1360
1361 2007-04-08  Jan Hubicka  <jh@suse.cz>
1362
1363         * tree.h (maybe_fold_offset_to_component_ref): Declare.
1364         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
1365         * fold-const.c (fold_unary): Use it.
1366
1367 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1368
1369         * varasm.c (assemble_variable): Remove call to
1370         lang_hooks.decls.prepare_assemble_variable.
1371         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
1372         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
1373         * langhooks.h (lang_hooks_for_decls): Remove
1374         prepare_assemble_variable.
1375
1376 2007-04-08  Mike Stump  <mrs@apple.com>
1377
1378         * config/i386/i386.c: Use inc/dec on Core2.
1379
1380 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
1381
1382         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
1383         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1384         lhd_tree_inlining_end_inlining): Remove.
1385         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
1386         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
1387         end_inlining hooks.
1388         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
1389         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1390         lhd_tree_inlining_end_inlining): Remove prototypes.
1391         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
1392         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
1393         LANG_HOOKS_TREE_INLINING_START_INLINING,
1394         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
1395
1396         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
1397         not set it.
1398
1399 2007-04-08  Anatoly Sokolov <aesok@post.ru>
1400
1401         PR target/29932
1402         * config/avr/predicates.md (io_address_operand): Delete predicate.
1403         (low_io_address_operand): Don't use 'mode' argument.
1404         (higth_io_address_operand): Rename ...
1405         (high_io_address_operand): ... to this. Don't use 'mode' argument.
1406         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
1407         for above change.
1408
1409 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
1410
1411         Revert change removing staticp.
1412
1413 2007-04-07  Anatoly Sokolov <aesok@post.ru>
1414
1415         PR target/30289
1416         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
1417         earlyclobber.
1418
1419 2007-04-07  Bruce Korb  <bkorb@gnu.org>
1420
1421         * c.opt: Add -Wformat-contains-nul.
1422         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
1423           -Wformat setting.
1424         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
1425         the NUL byte warning.
1426
1427 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
1428
1429         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
1430
1431 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
1432
1433         * tree.c (staticp): No longer use staticp langhook.
1434         * langhooks.c (lhd_staticp): Removed.
1435         * langhooks.h (struct lang_hooks): Remove staticp.
1436         * c-common.c (c_staticp): Remove.
1437         * c-common.h (c_staticp): Ditto.
1438         * langhooks-defs.h (lhd_staticp): Ditto.
1439         (LHD_HOOKS_STATICP): Ditto
1440         * tree.h (gcc_assert_lowered): New macro.
1441
1442 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
1443
1444         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
1445         argument "reliable".
1446         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
1447         Add argument "reliable".  Propagate it through calls.
1448         (infer_loop_bounds_from_undefined):  Derive number of iterations
1449         estimates from references in blocks that do not dominate loop latch.
1450         (gcov_type_to_double_int): New function.
1451         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
1452         and expected_loop_iterations_unbounded.
1453         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
1454         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
1455         * tree-data-ref.c (estimated_loop_iterations): Export.
1456         (get_references_in_stmt): Fix -- do not return addresses of local
1457         objects.
1458         * cfgloop.h (expected_loop_iterations_unbounded,
1459         estimated_loop_iterations): Declare.
1460
1461 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
1462
1463         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
1464
1465 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
1466
1467         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
1468         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
1469         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
1470         Use output_387_reg_move().
1471         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
1472         expander using X87MODEF12 mode macro.
1473         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
1474         choosing register preferences.  Use output_387_reg_move().
1475         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
1476         instead of "x".  Use output_387_reg_move().
1477         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
1478         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
1479         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
1480         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
1481         Use output_387_reg_move().
1482         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
1483         mode macro.
1484         (*truncxf?f_i387 splitter): Ditto.
1485
1486 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
1487
1488         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
1489         LANG_HOOKS_SAFE_FROM_P.
1490         * expr.c (safe_from_p): Remove langhook call.
1491         * langhooks.h (lang_hooks): Remove safe_from_p.
1492         (lhd_safe_from_p): Remove prototype.
1493         * langhooks.c (lhd_safe_from_p): Remove.
1494
1495 2007-04-06  Jan Hubicka  <jh@suse.cz>
1496
1497         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
1498         functions.
1499
1500 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
1501
1502         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
1503         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
1504         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
1505         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
1506         alternative.
1507         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
1508         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
1509
1510 2007-04-05  Richard Henderson  <rth@redhat.com>
1511
1512         * config/alpha/alpha.c (print_operand) [+]: Remove.
1513         (alpha_end_function): Print nop if call at end of function.
1514         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
1515         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
1516         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
1517         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
1518         (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
1519         the call pattern. Update peepholes to match.
1520
1521 2007-04-05  Janis Johnson  <janis187@us.ibm.com>
1522
1523         * doc/extend.texi (Other Builtins): Add decimal float variants
1524         of signbit.
1525         * builtins.def: Ditto.
1526         * builtins.c (expand_builtin): Ditto.
1527
1528 2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
1529             H.J. Lu  <hongjiu.lu@intel.com>
1530
1531         PR target/31478
1532         * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
1533         of V8HImode when calling ix86_binary_operator_ok.
1534         (sse2_pmaddwd): Call ix86_binary_operator_ok.
1535         (sdot_prodv8hi): Operands 1 and 2 must be register.
1536
1537 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
1538
1539         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
1540         initialize align to silence bogus warning.
1541
1542 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
1543
1544         PR middle-end/22156
1545         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
1546         all_no_warning.
1547         (struct sra_walk_fns): Remove use_all parameter from use.
1548         (sra_hash_tree): Handle BIT_FIELD_REFs.
1549         (sra_elt_hash): Don't hash bitfld blocks.
1550         (sra_elt_eq): Skip them in parent compares as well.  Handle
1551         BIT_FIELD_REFs.
1552         (sra_walk_expr): Don't maintain or pass down use_all_p.
1553         (scan_use): Remove use_all parameter.
1554         (scalarize_use): Likewise.  Re-expand assignment to
1555         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
1556         output, and re-scalarize after output.  Don't mark anything
1557         for no warning.
1558         (scalarize_ldst): Adjust.
1559         (scalarize_walk_gimple_modify_statement): Likewise.
1560         (build_element_name_1): Handle BIT_FIELD_REFs.
1561         (instantiate_element): Don't warn for any element whose parent
1562         is used as a whole.
1563         (instantiate_missing_elements_1): Return the sra_elt.
1564         (canon_type_for_field): New.
1565         (try_instantiate_multiple_fields): New.
1566         (instantiate_missing_elemnts): Use them.
1567         (mark_no_warning): Removed.
1568         (generate_one_element_ref): Handle BIT_FIELD_REFs.
1569         (REPLDUP, sra_build_elt_assignment): New.
1570         (generate_copy_inout): Use them.
1571         (generate_element_copy): Likewise.  Handle bitfld differences.
1572         (generate_element_zero): Don't recurse for blocks.  Use
1573         sra_build_elt_assignment.
1574         (generate_one_element_int): Take elt instead of var.  Use
1575         sra_build_elt_assignment.
1576         (generate_element_init_1): Adjust.
1577         (scalarize_use, scalarize_copy): Use REPLDUP.
1578         (scalarize_ldst): Move assert before dereference.
1579         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
1580
1581 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
1582
1583         * regmove.c: Fix unused variable warnings due to previous commit.
1584
1585 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
1586
1587         * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
1588         (regmove_bb_head): Remove.
1589         (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
1590         (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
1591         problems with fixup_match_1.
1592         Don't initialize/free regmove_bb_head.
1593
1594         (reg_is_remote_constant_p): If an insn is in the same basic block
1595         but not before INSN, consider it remote, too.
1596
1597 2007-04-05  Anatoly Sokolov <aesok@post.ru>
1598
1599         PR target/25448
1600         * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
1601         DECL_ASSEMBLER_NAME, not the DECL_NAME.
1602
1603 2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>
1604
1605         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
1606         (CONDITIONAL_REGISTER_USAGE): Likewise.
1607
1608 2007-04-04  Richard Henderson  <rth@redhat.com>
1609
1610         * config/alpha/lib1funcs.asm: Remove unused file.
1611
1612 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
1613
1614         PR other/31356
1615         * opts.c (print_specific_help): Fix --help=<language>
1616         header line.
1617         (common_handle_option): Support --help=common.
1618
1619 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
1620
1621         PR other/31353
1622         * gcc.c (main): Do not run the linker if
1623         print_subprocess_help indicates that it shouldn't be
1624         run.
1625
1626 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
1627
1628         PR doc/31355
1629         * doc/invoke.texi (--help=): Document <languages> value, fix
1630         formatting in tables of values.
1631
1632 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
1633
1634         * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
1635         dllimport attribute of virtual methods.
1636
1637 2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>
1638
1639         * config/score/crti.asm: Change _bss_start to __bss_start.
1640         * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
1641         (OUTGOING_REG_PARM_STACK_SPACE) update.
1642         * config/score/score.opt: add options to make backend support
1643         score5, score5u, score7 and score7d.
1644         * config/score/score.md: Likewise.
1645         * config/score/misc.md: Likewise.
1646         * config/score/mac.md: Likewise.
1647         * doc/invoke.texi: Likewise.
1648         * doc/md.texi: update constraints define.
1649
1650 2007-04-03  Richard Henderson  <rth@redhat.com>
1651
1652         * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
1653         an appropriate type, use the mode instead.
1654
1655 2007-04-03  Richard Sandiford  <richard@codesourcery.com>
1656
1657         * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
1658         Set the default --with-arch setting to mips2.
1659         * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
1660         (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
1661         (MULTILIB_OSDIRNAMES): Delete.
1662         (MULTILIB_DIRNAMES): Define.
1663         * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
1664         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
1665         (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
1666         definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
1667         VXWORKS_OS_CPP_BUILTINS.
1668         (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
1669         (MIPS_DEBUGGING_INFO): Undefine.
1670         (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
1671
1672 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
1673
1674         PR middle-end/30704
1675         * fold-const.c (native_encode_real): Encode real.c provided longs
1676         as a series of 32-bit native integers.
1677         (native_interpret_real): Interpret buffer as a series of 32-bit
1678         native integers.
1679
1680 2007-04-03  Richard Guenther  <rguenther@suse.de>
1681
1682         * genpreds.c (write_insn_constraint_len): Write function
1683         optimized for CONSTRAINT_LEN implementation.
1684         (write_tm_preds_h): Output insn_constraint_len inline and
1685         use it for CONSTRAINT_LEN.
1686         (write_insn_preds_c): Don't output insn_constraint_len.
1687         * doc/md.texi (define_register_constraint): Document multi-letter
1688         constraints shall have the same length if they start with the same
1689         letter.
1690
1691 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
1692
1693         PR target/31175
1694         * config/i386/i386.md (isinf<mode>2): Expand only when
1695         TARGET_C99_FUNCTIONS is set.
1696
1697 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
1698
1699         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
1700         (x86_64-*-linux*): Ditto.
1701         * config/i386/i386.opt (mpc): New option.
1702         * config/i386/i386.c (overrride_options): Handle
1703         ix87_precision_string.
1704         * config/i386/crtprec.c: New file.
1705         * config/i386/t-crtpc: Ditto.
1706         * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
1707         and -mpc80 options.
1708         * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
1709         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
1710         crtprec32.o, crtprec64.o and crtprec80.o.
1711
1712         * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
1713         and -mpc80 options.
1714         (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
1715
1716 2007-04-02  Eric Christopher  <echristo@apple.com>
1717
1718         * doc/invoke.texi (i386 and x86-64 Options): Document -m64
1719         limitations on darwin.
1720
1721 2007-04-02  Anatoly Sokolov <aesok@post.ru>
1722
1723         PR target/31137
1724         * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
1725
1726 2007-04-02  Dave Korn  <dave.korn@artimi.com>
1727
1728         * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
1729
1730 2007-04-02  Dave Korn  <dave.korn@artimi.com>
1731
1732         * libgcc2.h (exception_descriptor): Don't forward-declare.
1733         (__get_eh_table_language, __get_eh_table_version): Delete
1734         prototypes of long-dead functions.
1735
1736 2007-04-01  Daniel Berlin  <dberlin@dberlin.org>
1737
1738         * ebitmap.h: New file
1739         * ebitmap.c: New file
1740         * Makefile.in (ebitmap.o): New target.
1741
1742 2007-04-01  Jan Hubicka  <jh@suse.cz>
1743
1744         * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
1745         before very first instruction.
1746
1747 2007-04-01  Jan Hubicka  <jh@suse.cz>
1748
1749         * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
1750         waring on 64bit hosts.
1751         * bitmap.h: Fix typo in bitmap_head_def.
1752
1753 2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>
1754
1755         PR rtl-optimization/31391
1756         * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
1757         into a DELETED_LABEL note, and the label is in an empty basic
1758         block, update BB_END as well as BB_HEAD.
1759
1760 2007-04-01  Richard Henderson  <rth@redhat.com>
1761
1762         PR tree-optimization/31169
1763         * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
1764         to varying if the range is outside [0,  prec-1].
1765
1766 2007-04-01  Richard Sandiford  <richard@codesourcery.com>
1767
1768         PR target/31388
1769         * config/mips/mips.md (load_const_gp): New insn.
1770         * config/mips/mips.c (mips_split_symbol): Avoid using or creating
1771         the MIPS16 GP pseudo register if no_new_pseudos.
1772         (mips16_gp_pseudo_reg): Use gen_load_const_gp.
1773
1774 2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1775
1776         PR target/31364
1777         * config/rs6000/rs6000.md (call): Convert to LR hard reg for
1778         secureplt.
1779         (call_value): Likewise.
1780
1781 2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
1782             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1783
1784         PR 14737
1785         * doc/invoke.texi: (optimization options): Reword description
1786         of -ffast-math. Document its primary purpose.
1787
1788 2007-03-31  Richard Guenther  <rguenther@suse.de>
1789
1790         * omp-low.c (splay-tree.h): Include.
1791         (lookup_decl): Replace splay-tree usage by pointer-map.
1792         (maybe_lookup_decl): Likewise.
1793         (new_omp_context): Likewise.
1794         (delete_omp_context): Likewise.
1795         * gimplify.c (splay-tree.h): Include.
1796         * tree-inline.c (insert_decl_map): Replace splay-tree usage by
1797         pointer-map.
1798         (remap_ssa_name): Likewise.
1799         (remap_decl): Likewise.
1800         (remap_type_1): Likewise.
1801         (remap_type): Likewise.
1802         (copy_body_r): Likewise.
1803         (expand_call_inline): Likewise.
1804         (clone_body): Likewise.
1805         (copy_tree_r): Likewise.
1806         (remap_save_expr): Likewise.
1807         (unsave_r): Likewise.
1808         (unsave_expr_now): Likewise.
1809         (tree_function_versioning): Likewise.
1810         (build_duplicate_type): Likewise.
1811         * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
1812         (struct copy_body_data): Replace splay-tree by pointer-map.
1813         * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
1814         not $(SPLAY_TREE_H).
1815         (gimplify.o): Depend on $(SPLAY_TREE_H).
1816         (omp-low.p): Likewise.
1817
1818 2007-03-31  Anatoly Sokolov <aesok@post.ru>
1819
1820         * config/avr/predicates.md (even_register_operand,
1821         odd_register_operand): New predicates.
1822         * config/avr/avr.md (movw peephole2): New.
1823         (movw_r peephole2): New.
1824
1825 2007-03-30  Rafael Avila de Espindola  <espindola@google.com>
1826
1827         * tree.h (get_signed_or_unsigned_type): New.
1828         * fold-const.c (operand_equal_for_comparison_p): Use
1829         get_signed_or_unsigned_type instead of
1830         lang_hooks.types.signed_or_unsigned_type.
1831         * expr.c (store_expr): Ditto.
1832         * langhooks.c (get_signed_or_unsigned_type): New.
1833         (lhd_signed_or_unsigned_type): New.
1834         * langhooks.h (lhd_signed_or_unsigned_type): New.
1835         * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
1836
1837 2007-03-30  Richard Henderson  <rth@redhat.com>
1838
1839         * tree-ssa-loop-ivopts.c: Include target.h.
1840         (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
1841         (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
1842         (force_expr_to_var_cost): Use produce_memory_decl_rtl.
1843         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
1844
1845 2007-03-30  Richard Henderson  <rth@redhat.com>
1846             Kai Tietz  <kai.tietz@onevision.com>
1847
1848         * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
1849         default for 64-bit.
1850         (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
1851         (TARGET_64BIT_MS_ABI): New.
1852         (DBX_REGISTER_NUMBER): Handle 64-bit.
1853         (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
1854         (LONG_TYPE_SIZE): Force to 32.
1855         (REG_PARM_STACK_SPACE): New.
1856         (OUTGOING_REG_PARM_STACK_SPACE): New.
1857         (REGPARM_MAX, SSE_REGPARM_MAX): New.
1858         (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
1859         (STACK_BOUNDARY): Use 128 for 64-bit.
1860         * config/i386/cygwin.asm: Use push/ret to preserve call stack.
1861         Add 64-bit implementation.
1862         * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
1863         argument unused.
1864         * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
1865         (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
1866         Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
1867         for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
1868         (ix86_handle_cconv_attribute): Don't warn when ignoring if
1869         TARGET_64BIT_MS_ABI.
1870         (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
1871         (ix86_pass_by_reference): Likewise.
1872         (ix86_function_value_regno_p): Likewise.
1873         (ix86_build_builtin_va_list): Likewise.
1874         (ix86_va_start, ix86_gimplify_va_arg): Likewise.
1875         (function_arg_advance_ms_64): New.
1876         (function_arg_advance): Call it.
1877         (function_arg_ms_64): New.
1878         (function_arg): Call it.
1879         (function_value_ms_64): New.
1880         (ix86_function_value_1): Call it.
1881         (return_in_memory_ms_64): New.
1882         (ix86_return_in_memory): Call it.
1883         (setup_incoming_varargs_ms_64): New.
1884         (ix86_setup_incoming_varargs): Call it.
1885         (ix86_expand_prologue): Handle 64-bit stack probing.
1886         (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
1887         (output_pic_addr_const): Likewise.
1888         (x86_this_parameter): Likewise.
1889         (x86_output_mi_thunk): Likewise.
1890         (x86_function_profiler): Likewise.
1891         (TARGET_STRICT_ARGUMENT_NAMING): New.
1892         * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
1893         (TARGET_64BIT_MS_ABI): New.
1894         (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
1895         * config/i386/i386.md (allocate_stack_worker): Remove.
1896         (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
1897         describe the clobber of eax without a match_scratch.
1898         (allocate_stack_worker_postreload): Remove.
1899         (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
1900         describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
1901         (allocate_stack_worker_rex64_postreload): Remove.
1902         (allocate_stack): Handle 64-bit.
1903         * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
1904         * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
1905         (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
1906         (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
1907         (STANDARD_STARTFILE_PREFIX_1): Likewise.
1908         * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
1909         * config.build (x86_64-*-mingw*): New host.
1910         * config.host (x86_64-*-mingw*): New host.
1911         * config.gcc (x86_64-*-mingw*): New target.
1912         * gthr-win32.h (__gthread_key_create): Mark dtor unused.
1913
1914 2007-03-30  Richard Henderson  <rth@redhat.com>
1915             Kai Tietz  <kai.tietz@onevision.com>
1916
1917         * c-pragma.c (struct def_pragma_macro_value): New.
1918         (struct def_pragma_macro): New.
1919         (pushed_macro_table): New.
1920         (dpm_hash, dpm_eq): New.
1921         (handle_pragma_push_macro, handle_pragma_pop_macro): New.
1922         (init_pragma): Install them.
1923         * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
1924
1925 2007-03-30  Anatoly Sokolov <aesok@post.ru>
1926
1927         * config/avr/avr.c (avr_override_options): Clear
1928         'flag_delete_null_pointer_checks'.
1929
1930 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
1931
1932         PR c++/26099
1933         * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
1934         RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
1935         RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
1936         RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
1937         RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
1938         RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
1939         RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
1940         C++ extensions.
1941         * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
1942
1943 2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
1944
1945         * regmove.c: Move all of pass_stack_adjustments from here...
1946         * combine-stack-adj.c: ...to this new file.
1947         * Makefile.in: Add rules for combine-stack-adj.o.
1948
1949 2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
1950
1951         PR tree-optimization/31383
1952         * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
1953         to have the same length.
1954
1955 2007-03-30  Jan Hubicka  <jh@suse.cz>
1956
1957         PR middle-end/30700
1958         * dwarf2out.c (reference_to_unused): Ask cgraph for functions
1959         availablility; add more sanity checking; ask varpool only about
1960         VAR_DECL.
1961
1962 2007-03-29  Richard Henderson  <rth@redhat.com>
1963
1964         * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
1965         to decide, but __SIZEOF_LONG_LONG__.
1966
1967 2007-03-29  Richard Henderson  <rth@redhat.com>
1968
1969         * emutls.c (struct __emutls_array): New.
1970         (emutls_destroy): Use it instead of casting element 0 from void*.
1971         (__emutls_get_address): Likewise.
1972
1973 2007-03-29  Richard Henderson  <rth@redhat.com>
1974
1975         * varasm.c (initializer_constant_valid_p): Don't deny
1976         DECL_DLLIMPORT_P on functions.
1977
1978         * config/i386/cygming.h: Remove function declarations.
1979         (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
1980         (ASM_OUTPUT_LABELREF): Remove.
1981         (COMMON_ASM_OP): Remove.
1982         (ASM_OUTPUT_COMMON): Remove.
1983         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
1984         (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
1985         (ASM_DECLARE_FUNCTION_NAME): Likewise.
1986         * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
1987         Rename from TARGET_ENCODE_SECTION_INFO.
1988         * config/i386/netware.h: Likewise.
1989         * config/i386/i386-protos.h: Update.
1990         * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
1991         of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
1992         (legitimate_constant_p): Reject dllimports.
1993         (dllimport_map, get_dllimport_decl): New.
1994         (legitimize_dllimport_symbol): New.
1995         (legitimize_address, ix86_expand_move): Use it.
1996         (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
1997         * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
1998         (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
1999         (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
2000         * config/i386/predicates.md (constant_call_address_operand): Only
2001         accept symbols; reject dllimport_p symbols.
2002         * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
2003         i386_pe_maybe_record_exported_symbol.
2004         * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
2005         (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
2006         (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
2007         trust the setting of DECL_DLLIMPORT_P.
2008         (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
2009         (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
2010         (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
2011         tidy the argument scanning loop.
2012         (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
2013         SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
2014         (i386_pe_strip_name_encoding): Remove.
2015         (i386_pe_binds_local_p): New.
2016         (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
2017         (i386_pe_output_labelref): Remove.
2018         (i386_pe_asm_output_aligned_decl_common): New.
2019         (i386_pe_maybe_record_exported_symbol): Rename from
2020         i386_pe_record_exported_symbol; check for dllexported symbols.
2021
2022 2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
2023
2024         * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
2025         add comment explaining why vsnprintf cannot be used.
2026
2027 2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
2028
2029         PR tree-optimization/30666
2030         * tree.c (build_complex_type): When creating type names for DWARF2
2031         debug info, create TYPE_DECLs for TYPE_NAME instead of
2032         IDENTIFIER_NODEs.
2033         (build_common_tree_nodes_2): Use build_complex_type when building
2034         predefined complex types, to preserve canonical types.
2035
2036 2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
2037
2038         * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
2039         (noce_get_alt_condition): Look at it to determine whether to
2040         reverse the condition or not.
2041         (noce_get_condition): Substitute the truth for lies.
2042         (noce_find_if_block): Set the then_else_reversed field.
2043
2044 2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
2045
2046         * config/fr30/fr30.md (movdi): Do not accept immediates as the
2047         destination of this insn.
2048         * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
2049         than calling gen_rtx_SET directly.  Use r0 to hold the value of
2050         'address + 4' rather than a stack based temporary which can be
2051         mis-optimized away.
2052
2053 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2054
2055         * config/s390/s390.c (s390_secondary_input_reload_class,
2056         s390_secondary_output_reload_class): Functions removed.
2057         (s390_secondary_reload): New function.
2058         (TARGET_SECONDARY_RELOAD): Target macro defined.
2059         * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
2060         SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
2061         * config/s390/s390.md ("reload_outti", "reload_outdi",
2062         "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
2063         "reload_out<mode>"): Expanders removed.
2064         ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
2065         "reload<mode>_nonoffmem_out"): Expanders added.
2066
2067 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
2068
2069         * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
2070         SRC->DEST replacement failed anyway.
2071
2072 2007-03-28  Mike Stump  <mrs@apple.com>
2073
2074         * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
2075         * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
2076         * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
2077
2078 2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
2079
2080         * config.gcc: Accept barcelona as a variant of amdfam10.
2081         * config/i386/i386.c (override_options): Likewise.
2082         * doc/invoke.texi: Likewise.
2083
2084 2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
2085
2086         * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
2087         offsets for BIT_FIELD_REF and COMPONENT_REF.
2088
2089 2007-03-28  Richard Guenther  <rguenther@suse.de>
2090
2091         * tree.c (is_global_var): Move ...
2092         * tree-flow-inline.h (is_global_var): ... here.
2093         * tree.h (is_global_var): Remove declaration.
2094
2095 2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
2096
2097         * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
2098         option.
2099         (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
2100         * config/i386/i386.c (ix86_tune_features): Initialize new
2101         tuning option.
2102         * config/i386/predicates.md (promotable_binary_operator): Use
2103         TARGET_TUNE_PROMOTE_HIMODE_IMUL.
2104
2105 2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
2106
2107         PR target/31380
2108         * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
2109
2110 2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
2111
2112         * config/fr30/fr30.md (movsi_internal): Change destination
2113         constraint from m to V and add m to the end.
2114
2115 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2116
2117         * config/sh/sh.md (movsi_i): Fix type attribute.
2118
2119 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2120
2121         * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
2122         (movsf_ie): Likewise.
2123
2124 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2125
2126         * config.gcc: Add sh4-300 to multilib.
2127         * config/sh/t-mlib-sh4-300: New file.
2128
2129 2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
2130
2131         * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
2132         ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
2133         fix_trunc<mode>di2.
2134         ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
2135         fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
2136         ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
2137         "fixuns_trunctddi2"): Whitespace fix.
2138
2139 2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
2140
2141         * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
2142         the definition of struct sh_args.
2143         (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
2144         CALL_COOKIE_INT_REG_GET): Likewise.
2145
2146 2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
2147
2148         * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
2149         transformations are applied successfully.
2150
2151 2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
2152
2153         * tree.c (tree_contains_struct): Permit 512 tree codes.
2154         * tree.h (tree_contains_struct): Ditto.
2155         (MAX_TREE_CODES): Ditto.
2156         (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
2157         SPARE member to store remaining padding bits.
2158
2159 2007-03-27  Anatoly Sokolov <aesok@post.ru>
2160
2161         * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
2162         architecture.
2163
2164 2007-03-27  Janis Johnson  <janis187@us.ibm.com>
2165
2166         * configure.ac: Fix assembler test for powerpc*-linux decimal float.
2167         * configure: Regenerate.
2168
2169         * configure: Regenerate using the correct version of autoconf.
2170
2171 2007-03-27  Anatoly Sokolov  <aesok@post.ru>
2172
2173         * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
2174         pointer regs.
2175         * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
2176         regs to "__SP_L__" and "__SP_H__".
2177
2178 2007-03-27  Richard Guenther  <rguenther@suse.de>
2179
2180         * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
2181         computations with it with a HOST_WIDE_INT variable.
2182
2183 2007-03-26  Mike Stump  <mrs@apple.com>
2184
2185         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
2186         objective-c-header, objective-c++-header and objc++-cpp-output
2187         support.
2188         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
2189
2190 2007-03-26  Richard Henderson  <rth@redhat.com>
2191
2192         PR target/31361
2193         * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
2194         IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
2195         IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
2196         IX86_BUILTIN_PSRLQ128): New.
2197         (ix86_init_mmx_sse_builtins): Add them.
2198         (ix86_expand_builtin): Expand them.
2199         * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
2200         operand 2 be TImode.
2201         * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
2202         _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
2203         _mm_srli_epi64): Mark __B const.
2204         (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
2205         (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
2206         _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
2207         new two-vector shift builtins.
2208
2209 2007-03-26  Ian Lance Taylor  <iant@google.com>
2210
2211         PR tree-optimization/31345
2212         * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
2213         [+INF, +INF(OVF)] into VARYING.
2214
2215 2007-03-26  Zack Weinberg  <zackw@panix.com>
2216
2217         * gengtype-parse.c: New file.
2218         * gengtype-yacc.y: Delete.
2219         * gengtype-lex.l: Don't include gengtype-yacc.h.
2220         Define YY_DECL and yyterminate appropriately for recursive
2221         descent parser.  yylval is now a string out-parameter to yylex.
2222         (HWS, EOID): New shorthand.
2223         (IWORD): Add a couple more types.
2224         (yylex): Add a setup stanza.  Remove the complex rules for
2225         detecting GTY'ed types and typedefs; replace with simple
2226         keyword detectors.  Adjust everything for the changed
2227         definition of yylval.  Ignore all pp-directives, not just #define.
2228         (yyerror): Delete.
2229         (parse_file): Rename yybegin; do not call yyparse.
2230         (yyend): New.
2231         * gengtype.c (xasprintf): Export again.
2232         (this_file): New.  Use everywhere __FILE__ was being used.
2233         (get_lang_bitmap): Special case types defined in gengtype.c.
2234         (do_typedef, new_structure): Suppress definition of certain types.
2235         (new_structure): Improve diagnostics of duplicate definitions.
2236         Make sure location_s is associated with input.h.
2237         (nreverse_pairs, define_location_structures): New functions.
2238         (main): Improve tagging of kludge types.  Remove old kludges
2239         for input.h types; use define_location_structures.
2240         * gengtype.h: Update prototypes.  Define token codes here.
2241         * Makefile.in: Remove all references to gengtype-yacc.
2242         Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
2243         and gengtype.
2244         * bitmap.h (struct bitmap_head_def): Coalesce definitions,
2245         add GTY((skip)) to the field that's only conditionally there.
2246         * doc/install.texi: Document that Bison is no longer required
2247         unless building treelang.
2248
2249         * gengtype.c: Don't include gtyp-gen.h.
2250         (srcdir): Declare here.
2251         (base_files, lang_dir_names): Allocate dynamically.
2252         (gt_files, num_gt_files, num_lang_dirs): New globals.
2253         (measure_input_list, read_input_line, read_input_list)
2254         (set_lang_bitmap): New functions.
2255         (get_base_file_bitmap): Rename get_lang_bitmap and drastically
2256         simplify, relying on read_input_list to set up the bitmaps.
2257         (main): Arguments are no longer unused.  Check for correct number
2258         of command line arguments, set srcdir and srcdir_len, then call
2259         read_input_list, before doing anything else.  No need to worry
2260         about duplicates in main loop.
2261         * configure.ac: Simplify the calculation of all_gtfiles.
2262         Put language tags in there.  Don't set or substitute
2263         all_gtfiles_files_langs or all_gtfiles_files_frags.
2264         * Makefile.in: Revamp the way gengtype is invoked, now that it
2265         takes a file on its command line with a much simpler format.
2266         Remove or replace with gtyp-input.list all references to gtyp-gen.h.
2267         (GTFILES): Remove duplicates and C source files.
2268         * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
2269         * objcp/config-lang.in: Add c-pragma.h to gtfiles.
2270         * configure: Regenerate.
2271
2272         * gengtype.h: Remove all type definitions to gengtype.c; leave
2273         only definitions of options_p, type_p, and pair_p as opaque
2274         pointers.  Update prototypes.
2275         * gengtype.c: Many type definitions moved here from gengtype.h.
2276         Consolidate type definitions at the top of the file.
2277         (xvasprintf): Delete.
2278         (xasprintf): Make static.
2279         (create_nested_pointer_option): Add 'next' parameter.
2280         (create_field_all, create_field_at): New functions.
2281         (create_field): Now a thin wrapper around create_field_all.
2282         (create_optional_field): Rename create_optional_field_ and add
2283         line argument.  Original name is now a macro which supplies
2284         __LINE__.
2285         (oprintf): Use vsnprintf directly.
2286         (close_output_files): Use fatal rather than perror/exit.
2287         (note_def_vec, note_def_vec_alloc): Use create_field_at.
2288         (main): Set progname.  Don't use exit.
2289         * gengtype-yacc.y (struct_fields): Use create_field_at.
2290         (option, optionseqopt): Delete.
2291         (optionseq): Consolidate productions from option here so we
2292         can use the first argument to create_option.
2293
2294         * gengtype-lex.l: Distinguish unions from structures in the
2295         token type.  Don't call find_structure; return the tag as a string.
2296         * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
2297         Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
2298         Reorganize typedef_struct production accordingly.
2299         Use create_nested_ptr_option.
2300         * gengtype.c (create_nested_ptr_option): New function.
2301         * gengtype.h: Declare it.
2302
2303         * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
2304         (string_type): Don't declare.
2305         (do_scalar_typedef): Declare.
2306         (create_scalar_type): Update prototype.
2307         * gengtype.c (string_type): Make static.
2308         (scalar_nonchar, scalar_char): New.
2309         (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
2310         (resolve_typedef): Use scalar_nonchar for error recovery.
2311         (create_scalar_type): Remove name_len field.  Return scalar_char
2312         or scalar_nonchar as appropriate.
2313         (adjust_field_type): Look at scalar_is_char boolean to decide whether
2314         to use string_type.
2315         (throughout): Use scalar_nonchar instead of calling create_scalar_type,
2316         whenever possible.
2317         (main): Initialize scalar_char and scalar_nonchar before calling
2318         gen_rtx_next.
2319         * gengtype-lex.l: Adjust for removal of second argument to
2320         create_scalar_type.  Use yylval.s instead of yylval.t when
2321         returning SCALAR.
2322         * gengtype-yacc.y: Type of SCALAR is string.  Call
2323         create_scalar_type from type:SCALAR rule.  Adjust for removal of
2324         second argument to create_scalar_type.
2325
2326         * vec.h: Remove all #if IN_GENGTYPE blocks.
2327         Add comment saying that changes may require adjustments to gengtype.
2328         * gengtype.c: Don't include coretypes.h or tm.h.
2329         Add comment to inclusion of errors.h.
2330         (note_def_vec, note_def_vec_alloc): New functions.
2331         * gengtype.h: Declare new functions.
2332         * gengtype-lex.l: Don't include coretypes.h.
2333         (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
2334         Delete.
2335         (update_lineno): Remove unnecessary prototype.
2336         (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
2337         (VEC rule): Just return VEC_TOKEN.
2338         * gengtype-yacc.y (VEC_TOKEN): New token type.
2339         (type): Add a production for VEC(a,b).
2340         * Makefile.in: Update dependencies.
2341
2342         * gengtype-lex.l: Remove rules for parsing pointer-to-function
2343         typedefs that use the old PARAMS macro.
2344
2345         * gengtype-lex.l: Remove all rules and states relating to yacc
2346         input files.
2347         * gengtype-yacc.y: Similarly.
2348         * gengtype.c (note_yacc_type): Delete function.
2349         * gengtype.h: Update prototypes.
2350
2351 2007-03-26  Joseph Myers  <joseph@codesourcery.com>
2352
2353         * tree-pretty-print.c (dump_generic_node): Report precision of
2354         unnamed integer types.
2355
2356 2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>
2357
2358         * ifcvt.c (noce_try_store_flag_constants): Don't check
2359         no_new_pseudos here.
2360         (noce_try_store_flag_constants): Don't check no_new_pseudos.
2361         (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
2362         noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
2363         noce_try_sign_mask): Likewise.
2364         (if_convert): Check no_new_pseudos here.
2365
2366         (cond_exec_process_if_block, noce_process_if_block, find_if_block):
2367         Remove prototypes.
2368         (struct noce_if_info): Add then_bb, else_bb, join_bb members.
2369         (noce_get_condition): Handle new then_else_reversed argument.
2370         (noce_init_if_info): Remove, fold into noce_find_if_block.
2371         (noce_process_if_block): Take a struct noce_if_info as the
2372         argument.  Don't set up one based on ce_if_info.  Update pointer
2373         references accordingly.
2374         (cond_move_process_if_block): Likewise.
2375         (process_if_block): Removed.
2376         (find_if_block): Removed.  Move functionality two new functions,
2377         noce_find_if_block and cond_exec_find_if_block.
2378         (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
2379         blocks and the symmetric IF-ELSE-JOIN case.
2380         (cond_exec_find_if_block): Also new function mostly based on old
2381         find_if_block and process_if_block.
2382         (find_if_header): Replace find_if_block call with separately
2383         guarded calls to noce_find_if_block and cond_exec_find_if_block.
2384         (find_cond_trap): Update noce_get_condition call.
2385         (dead_or_predicable): Likewise.
2386
2387 2007-03-26  Jakub Jelinek  <jakub@redhat.com>
2388
2389         * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
2390         Remove.
2391         (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
2392         IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
2393         IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
2394         (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
2395         v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
2396         __builtin_ia32_pslld128, __builtin_ia32_psllq128,
2397         __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
2398         __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
2399         __builtin_ia32_psrad128 builtins.
2400
2401 2007-03-26  Uros Bizjak  <ubizjak@gmail.com>
2402
2403         * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
2404         * config/i386/constraints.md
2405         (define_constraint "I"): Use IN_RANGE macro.
2406         (define_constraint "J"): Ditto.
2407         (define_constraint "K"): Ditto.
2408         (define_constraint "M"): Ditto.
2409         (define_constraint "N"): Ditto.
2410         (define_constraint "O"): Ditto.
2411         * config/i386/predicates.md
2412         (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
2413         (define_predicate "const_0_to_3_operand"): Ditto.
2414         (define_predicate "const_0_to_7_operand"): Ditto.
2415         (define_predicate "const_0_to_15_operand"): Ditto.
2416         (define_predicate "const_0_to_63_operand"): Ditto.
2417         (define_predicate "const_0_to_255_operand"): Ditto.
2418         (define_predicate "const_1_to_31_operand"): Ditto.
2419         (define_predicate "const_2_to_3_operand"): Ditto.
2420         (define_predicate "const_4_to_7_operand"): Ditto.
2421
2422 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
2423
2424         * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
2425         in SImode for save_world.
2426         * config/rs6000/altivec.md (save_world, restore_world): Convert to
2427         LR hard reg.
2428
2429 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
2430
2431         PR tree-optimization/30784
2432         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
2433         BIT_FIELD_REF.
2434
2435 2007-03-25  Revital Eres  <eres@il.ibm.com>
2436
2437         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
2438           Fold movement_possibility function into it.
2439
2440 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
2441
2442         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
2443         (load_macho_picbase_{si,di}): Convert to LR hard reg.
2444         (call_indirect_nonlocal_darwin64): Same.
2445         (call_nonlocal_darwin64): Same.
2446         (call_value_indirect_nonlocal_darwin64): Same.
2447         (call_value_nonlocal_darwin64): Same.
2448         (sibcall_nonlocal_darwin64): Same.
2449         (sibcall_value_nonlocal_darwin64): Same.
2450         (sibcall_symbolic_64): Same.
2451         (sibcall_value_symbolic_64): Same.
2452         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
2453         LR pseudo.
2454         (rs6000_emit_load_toc_table): Same.
2455         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
2456         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
2457         (mull_call): Same.
2458         (divss_call): Same.
2459         (divus_call): Same.
2460         (quoss_call): Same.
2461         (quous_call): Same.
2462         (load_toc_v4_pic_si): Same
2463         (load_toc_v4_PIC_1): Same.
2464         (load_toc_v4_PIC_1b): Same.
2465         (call_indirect_aix{32,64}): Same.
2466         (call_value_indirect_aix{32,64}): Same.
2467         (call): Same.
2468         (call_value): Same.
2469         (call_local{32,64}): Same.
2470         (call_value_local{32,64}): Same.
2471         (call_indirect_nonlocal_aix{32,64}): Same.
2472         (call_nonlocal_aix{32,64}): Same.
2473         (call_value_indirect_nonlocal_aix{32,64}): Same.
2474         (call_value_nonlocal_aix{32,64}): Same.
2475         (call_indirect_nonlocal_sysv<mode>): Same.
2476         (call_nonlocal_sysv<mode>): Same.
2477         (call_value_indirect_nonlocal_sysv<mode>): Same.
2478         (call_value_nonlocal_sysv<mode>): Same.
2479         (sibcall): Same.
2480         (sibcall_local{32,64}): Same.
2481         (sibcall_value_local{32,64}): Same.
2482         (sibcall_nonlocal_aix{32,64}): Same.
2483         (sibcall_value_nonlocal_aix{32,64}): Same.
2484         (sibcall_nonlocal_sysv<mode>): Same.
2485         (sibcall_value): Same.
2486         (sibcall_value_nonlocal_sysv<mode>): Same.
2487
2488 2007-03-24  Paul Brook  <paul@codesourcery.com>
2489
2490         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
2491         * config/arm/linux-eabi.h: Remove legacy syscall hack.
2492
2493 2007-03-24  Richard Henderson  <rth@redhat.com>
2494
2495         * config/ia64/constraints.md: New file.
2496         * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
2497         satisfies_constraint_?.
2498         * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
2499         ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
2500         ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
2501         ia64_output_mi_thunk): Likewise.
2502         (ia64_const_ok_for_letter_p): Remove.
2503         (ia64_const_double_ok_for_letter_p): Remove.
2504         (ia64_extra_constraint): Remove.
2505         * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
2506         (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
2507         CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
2508         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
2509         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
2510         EXTRA_MEMORY_CONSTRAINT): Remove.
2511         * config/ia64/ia64.md: Include constriants.md.  Replace
2512         CONST_OK_FOR_? with satisfies_constraint_?.
2513
2514 2007-03-23  Michael Meissner  <michael.meissner@amd.com>
2515             H.J. Lu  <hongjiu.lu@intel.com>
2516
2517         * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
2518         DPD or BID name.
2519         (name macros): Use DPD_BID_NAME to convert names properly.
2520
2521         * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
2522         decimal floating point format.
2523         (init_floating_libfuncs): Change decimal functions so that they
2524         have a "bid_" prefix if the decimal system uses the BID format,
2525         and "dpd_" prefix if the decimal system uses the DPD format.
2526         (init_interclass_conv_libfuncs): Ditto.
2527         (init_intraclass_conv_libfuncs): Ditto.
2528
2529         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
2530         using the BID format.
2531
2532         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
2533         whether we are using the BID decimal format.
2534         * configure: Regenerate.
2535
2536         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
2537         the compiler has decimal floating point enabled.  Define
2538         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
2539         instead of DPD.
2540
2541         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
2542         using the BID format.
2543
2544         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
2545         whether we are using the BID decimal format.
2546         * configure: Regenerate.
2547
2548         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
2549         the compiler has decimal floating point enabled.  Define
2550         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
2551         instead of DPD.
2552
2553         * doc/install.texi (--enable-decimal-float): Document BID and DPD
2554         options, and that it is enabled for i386/x86_64 systems.
2555
2556         * Makefile.in (enable_decimal_float): New.
2557         (DECNUMFMT): New.
2558         (DECNUMINC): Add  -I$(DECNUMFMT).
2559         (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
2560         to $(DECNUMFMT) from $(DECNUM).
2561
2562         * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
2563         Substitute enable_decimal_float.
2564         * configure: Regenerated.
2565
2566         PR other/30529
2567         * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
2568         unsigned long.
2569
2570         * configure.ac: Enable decimal float for x86_64-*-linux*.
2571         * configure: Regenerated.
2572
2573         PR other/30530
2574         * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
2575         decimal128ClearSign to flip and clear the sign bit in decimal128.
2576         (decimal_real_maxval): Set decimal128SetSign to set the sign
2577         bit in decimal128.
2578
2579 2007-03-23  Ian Lance Taylor  <iant@google.com>
2580
2581         * fold-const.c (fold_binary): Correct warning for X - c >= X.
2582
2583 2007-03-23  Ian Lance Taylor  <iant@google.com>
2584
2585         * tree-dump.c (dump_files): Correct comment.
2586
2587 2007-03-23  Ian Lance Taylor  <iant@google.com>
2588
2589         * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
2590
2591 2007-03-23  Steven Bosscher  <steven@gcc.gnu.org>
2592
2593         * tracer.c (tracer): Don't take FLAGS argument.  Assert we are
2594         in cfglayout mode.  Don't go into and out of cfglayout mode.
2595         Link the blocks in the order of the constructed traces.
2596         (rest_of_handle_tracer): Adjust call to tracer.
2597         * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
2598         Don't go into cfglayout mode.
2599         (rtl_loop_done): Don't go out of cfglayout mode.
2600         * cfglayout.c (relink_block_chain): New function, split out from...
2601         (fixup_reorder_chain): ...here.  Remove redundant checking.
2602         (cfg_layout_finalize): Don't clear the header, footer, and aux
2603         fields here, move the code to do so to relink_block_chain.  Likewise
2604         for free_original_copy_tables.
2605         * rtl.h (tracer): Update prototype.
2606         * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
2607         Assert we are in cfglayout mode.  Don't go into and out of cfglayout
2608         mode.  Use relink_block_chain to serialize the CFG according to the
2609         new basic block order.  Move targetm.cannot_modify_jumps_p check from
2610         here...
2611         (gate_handle_reorder_blocks): ...to here.
2612         (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
2613         from here...
2614         (gate_duplicate_computed_gotos): ...to here.
2615         (rest_of_handle_reorder_blocks): Don't see if anything has changed,
2616         something always changes when going into and out of cfglayout mode.
2617         Perform an expensive cfg cleanup while going into cfglayout mode.
2618         Always update liveness information on HAVE_conditional_execution
2619         targets.  Reserialize the basic blocks and go out of cfglayout mode.
2620         * reg-stack.c: Include cfglayout.h.
2621         (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
2622         the call to reorder_basic_blocks.
2623         * basic-block.h (reorder_basic_blocks): Update prototype.
2624         (relink_block_chain): New prototype.
2625         * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
2626
2627 2007-03-23  Joseph Myers  <joseph@codesourcery.com>
2628
2629         * config/mips/mips.md (type, hazard, *movdi_32bit,
2630         *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
2631         *movhi_internal, *movqi_internal, *movsf_hardfloat,
2632         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
2633         movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
2634         mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
2635         applicable.
2636         (movcc): Change first xfer to multi.
2637         * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
2638         config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
2639         config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
2640         config/mips/generic.md: Change reservations using "xfer" to use
2641         "mfc,mtc".
2642         * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
2643         using match_operand.
2644         (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
2645         * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
2646         examining mode.
2647         (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
2648
2649 2007-03-22  Richard Henderson  <rth@redhat.com>
2650
2651         * config/i386/i386.c: Remove unnecessary function declarations.
2652         Move targetm definition, and all related macros, to the end of
2653         the file.  Resort some functions to put definitions before uses.
2654         (ix86_attribute_table): Make static.  Move to end of file.
2655         (ix86_gimplify_va_arg): Make static.
2656
2657 2007-03-22  Richard Henderson  <rth@redhat.com>
2658
2659         * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
2660         don't increase local_regparm with force_align_arg_pointer check.
2661         (ix86_function_sseregparm): Assert 32-bit.
2662         (type_has_variadic_args_p): New.
2663         (ix86_return_pops_args): Early exit for 64-bit.  Reindent; use
2664         type_has_variadic_args_p.
2665         (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
2666         (init_cumulative_args): Remove TARGET_DEBUG_ARG.  Remove zero_cum;
2667         use memset instead.  Do maybe_vaarg check first; skip attribute
2668         tests if true; skip attribute tests for 64-bit.
2669         (construct_container): Remove TARGET_DEBUG_ARG.
2670         (function_arg_advance_32, function_arg_advance_64): Split out ...
2671         (function_arg_advance): ... from here.
2672         (function_arg_32, function_arg_64): Split out ...
2673         (function_arg): ... from here.
2674         (ix86_pass_by_reference): Tidy.
2675         (ix86_function_value_regno_p): Rearrange w/ switch on regno.
2676         (function_value_32): New, from parts of ix86_function_value
2677         and ix86_value_regno.
2678         (function_value_64): New, from parts of ix86_function_value
2679         and ix86_libcall_value.
2680         (ix86_function_value_1): New.
2681         (ix86_function_value, ix86_libcall_value): Use it.
2682         (return_in_memory_32, return_in_memory_64): Split out ...
2683         (ix86_return_in_memory): ... from here.
2684         (ix86_struct_value_rtx): Skip for 64-bit.
2685         (ix86_libcall_value, ix86_value_regno): Remove.
2686         (setup_incoming_varargs_64): Split out ...
2687         (ix86_setup_incoming_varargs): ... from here.
2688         (ix86_va_start): Remove TARGET_DEBUG_ARG.
2689         (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
2690         * config/i386/i386-protos.h (ix86_function_value): Remove.
2691         * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
2692
2693 2007-03-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2694
2695         PR other/23572
2696         * c-lex.c (interpret_float): On overflow, emit pedantic warning if
2697         infinities not supported, otherwise emit warning if -Woverflow. On
2698         underflow, emit warning if -Woverflow.
2699         * real.c (real_from_string): Return -1 if underflow, +1 if overflow
2700         and 0 otherwise.
2701         * real.h (real_from_string): Update declaration
2702
2703 2007-03-22  Kai Tietz  <kai.tietz@onevision.com>
2704             Richard Henderson  <rth@redhat.com>
2705
2706         * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
2707         * calls.c (compute_argument_block_size, expand_call,
2708         emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
2709         * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
2710         * function.c (STACK_DYNAMIC_OFFSET): Likewise.
2711         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
2712         * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
2713         config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
2714         config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
2715         config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
2716         Set to 1.
2717
2718 2007-03-22  Joseph Myers  <joseph@codesourcery.com>
2719
2720         * c-incpath.c (add_sysroot_to_chain): New.
2721         (merge_include_chains): Add sysroot argument.  Call
2722         add_sysroot_to_chain if sysrooted.
2723         (register_include_chains): Update call to merge_include_chains.
2724         * doc/cppopts.texi: Document use of '=' in include directory
2725         arguments.
2726
2727 2007-03-22  Uros Bizjak  <ubizjak@gmail.com>
2728
2729         * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
2730         Macroize expander using SSEMODEF mode macro.  Use SSE_FLOAT_MODE_P.
2731         (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
2732         insn pattern using X87MODEF12 mode macro.
2733
2734 2007-03-21  Seongbae Park <seongbae.park@gmail.com>
2735
2736         * regmove.c (regmove_optimize): Use reg_mentioned_p
2737         instead of reg_overlap_mentioned_p for DST.
2738
2739 2007-03-21  Mike Stump  <mrs@apple.com>
2740
2741         * c.opt: Fixup for Objective-C/C++.
2742
2743 2007-03-21  Steve Ellcey  <sje@cup.hp.com>
2744
2745         * explow.c (convert_memory_address): Fold memory reference when
2746         POINTERS_EXTEND_UNSIGNED < 0
2747
2748 2007-03-21  Richard Henderson  <rth@redhat.com>
2749
2750         PR target/31245
2751         * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
2752         * config/i386/mmintrin.h (__m64): Likewise.
2753         * config/i386/xmmintrin.h (__m128): Likewise.
2754
2755 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
2756
2757         * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
2758         (VXWORKS_OS_CPP_BUILTINS): Define.
2759         * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
2760         (TARGET_OS_CPP_BUILTINS): ...here.  Use VXWORKS_OS_CPP_BUILTINS.
2761
2762 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
2763
2764         * rtl.h (constant_pool_reference_p): Delete.
2765         (find_constant_src): Declare.
2766         * rtlanal.c (find_constant_src): New function.
2767         * simplify-rtx.c (constant_pool_reference_p): Delete.
2768         * config/i386/i386.md: Use find_constant_src instead of
2769         constant_pool_reference_p/avoid_constant_pool_reference pairs.
2770
2771 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
2772
2773         * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
2774         * c-cppbuiltin.c (c_cpp_builtins): Define them.
2775
2776 2007-03-20  Mark Mitchell  <mark@codesourcery.com>
2777
2778         * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
2779         * config/arm/arm.c (arm_elf_asm_cdtor): New function.
2780         (arm_elf_asm_constructor): Use it.
2781         (arm_elf_asm_destructor): New function.
2782
2783 2007-03-20  Bernd Schmidt  <bernd.schmidt@analog.com>
2784
2785         * jump.c (mark_jump_label): Treat SEQUENCE specially.
2786
2787 2007-03-20  Nathan Sidwell  <nathan@codesourcery.com>
2788
2789         * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
2790
2791 2007-03-19  Andrew Haley  <aph@redhat.com>
2792
2793         PR tree-optimization/31264
2794         * tree-vrp.c (register_edge_assert_for_1): Don't look though
2795         VIEW_CONVERT_EXPRs.
2796
2797 2007-03-19  Paolo Bonzini  <bonzini@gnu.org>
2798
2799         PR rtl-optimization/30907
2800         * fwprop.c (forward_propagate_into): Never propagate inside a loop.
2801         (fwprop_init): Always call loop_optimizer_initialize.
2802         (fwprop_done): Always call loop_optimizer_finalize.
2803         (fwprop): We always have loop info now.
2804         (gate_fwprop_addr): Remove.
2805         (pass_fwprop_addr): Use gate_fwprop as gate.
2806
2807         PR rtl-optimization/30841
2808         * df-problems.c (df_ru_local_compute, df_rd_local_compute,
2809         df_chain_alloc): Call df_reorganize_refs unconditionally.
2810         * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
2811         refs_organized to refs_organized_size.
2812         (df_ref_create_structure): Use refs_organized_size instead of
2813         bitmap_size if refs had been organized, and keep refs_organized_size
2814         up-to-date.
2815         * df.h (struct df_ref_info): Change refs_organized to
2816         refs_organized_size.
2817         (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
2818         bitmap_size.
2819
2820 2007-03-19  Mark Mitchell  <mark@codesourcery.com>
2821
2822         * except.c (output_function_exception_table): Do not reference the
2823         EH personality routine for functions that do not require an
2824         exception table.
2825
2826 2007-03-20  Jakub Jelinek  <jakub@redhat.com>
2827
2828         PR c/30762
2829         * c-typeck.c (convert_for_assignment): Call comptypes for
2830         RECORD_TYPE or UNION_TYPE.
2831
2832         PR inline-asm/30505
2833         * reload1.c (reload): Do invalid ASM checking after
2834         cleanup_subreg_operands.
2835
2836 2007-03-19  Jeff Law  <law@redhat.com>
2837
2838         * tree-cfg.c (find_taken_edge): Tighten conditions for
2839         optimizing computed gotos.
2840
2841 2007-03-19  Michael Matz  <matz@suse.de>
2842
2843         * builtins.c (expand_builtin_sync_operation,
2844         expand_builtin_compare_and_swap,
2845         expand_builtin_lock_test_and_set): Care for extending CONST_INTs
2846         correctly.
2847
2848         * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
2849         sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
2850         for operand 3.
2851
2852 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2853
2854         * doc/tm.texi: Add brackets around the return type of
2855         TARGET_SECONDARY_RELOAD.
2856
2857 2007-03-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2858         Richard Guenther  <rguenther@suse.de>
2859
2860         PR tree-optimization/31254
2861         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
2862         Use handled_component_p () where appropriate.  Continue
2863         propagating into the rhs if we propagated into an INDIRECT_REF
2864         on the lhs.
2865
2866 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2867
2868         * config/s390/s390.md (op_type attribute): RRR instruction type added.
2869         (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
2870         (xde, xdee): Mode attributes adjusted to support DFP modes.
2871         (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
2872         ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
2873         DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
2874         "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
2875         "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
2876         "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
2877         "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
2878         numbers.
2879         ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
2880         "movsf"): Insn definitions removed.
2881         ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
2882         "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
2883         "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
2884         definitions added.
2885         ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
2886         "reload_in<mode>", "reload_out<mode>"): Expander added.
2887         ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
2888         Expander removed.
2889
2890 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2891
2892         * config/s390/s390.md: Only non-functional changes.  Renamed
2893         FPR mode macro to BFP all over the file.
2894
2895 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2896
2897         * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
2898         (op_type attribute): RRF instruction type added.
2899         (fT0): New mode attribute.
2900         ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
2901         "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
2902         * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
2903         no secondary memory is needed when moving DFmode values between GPRs
2904         and FPRs.
2905
2906 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2907
2908         * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
2909         inverted and documentation adjusted.
2910         ("mhard-dfp", "msoft-dfp"): New options.
2911         * config/s390/s390.c (s390_handle_arch_option): New architecture
2912         switch: z9-ec.
2913         (override_options): Sanity checks for the new options added.
2914         * config.gcc: New architecture switch: z9-ec.
2915         * config/s390/s390.h (processor_flags): PF_DFP added.
2916         (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
2917         (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
2918         when the bit is NOT set so remove it from the defaults.
2919
2920 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2921
2922         * genemit.c (main): Print include statement for dfp.h.
2923         * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
2924         is not available.
2925
2926 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
2927
2928         * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
2929
2930 2007-03-19  Kaz Kojima  <kkojima@gcc.gnu.org>
2931
2932         PR target/31022
2933         * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
2934         instead of PATTERN.
2935
2936 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2937
2938         * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
2939         attr_length_call, output_call, output_indirect_call): Cleanup
2940         formatting of targetm calls.
2941
2942 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
2943
2944         * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
2945
2946 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2947
2948         * pa.md: Add fpstore_load and store_fpload instruction types.  Provide
2949         reservation, bypass and anti-bypass descriptions for these instructions.
2950         Update move patterns.
2951         * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
2952         TYPE_FPSTORE.
2953
2954 2007-03-18  Dorit Nuzman  <dorit@il.ibm.com>
2955
2956         * tree-vect-transform.c (get_initial_def_for_induction): Replace
2957         GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
2958         (get_initial_def_for_reduction): Likewise.
2959
2960 2007-03-16  Daniel Berlin  <dberlin@dberlin.org>
2961
2962         Fix PR tree-optimization/29922
2963         * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
2964         (get_representative): Removed.
2965         (value_dies_in_block_x): Update for rvuse removal.
2966         (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
2967         (compute_antic_aux): Handle when PHI nodes appear in
2968         non-single-successors.
2969         (dump_bitmap_of_names): Removed.
2970         (compute_antic_safe): Renamed and removed rvuse calculation.
2971         Calculate only antic safe.
2972         (insert_into_preds_of_block): Remove assert.
2973         (execute_pre): Update for renamed functions.
2974         (defer_or_phi_translate_block): New function.
2975
2976 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2977
2978         * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
2979         config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
2980         typos.
2981         * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
2982         Follow spelling conventions.
2983
2984         * tree-data-ref.h: Remove the prototype for analyze_array.
2985
2986 2007-03-17  Dorit Nuzman  <dorit@il.ibm.com>
2987
2988         PR tree-optimization/31041
2989         * tree-vect-transform.c (get_initial_def_for_induction): Call
2990         force_gimple_operand.
2991
2992 2007-03-17  Olga Golovanevsky  <olga@il.ibm.com>
2993
2994         * ipa-type-escape.c (look_for_casts) : Revert code to use
2995         handled_component_p due to ada test a-numaux.adb.
2996
2997 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2998
2999         * final.c (final_scan_insn): Alter the condition of a
3000         conditional trap if we have nonstandard CC.
3001
3002 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
3003
3004         * configure.ac: Remove excess quoting from asm line 0 test.
3005         * configure: Rebuilt.
3006
3007 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3008
3009         * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
3010         * c-common.c (convert_and_check): Move warning logic to...
3011         (warnings_for_convert_and_check): ...here. Define.
3012         * c-common.h (warnings_for_convert_and_check): Declare.
3013
3014 2007-03-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3015
3016         * pa.c (attr_length_call): Partially revert change of 2007-03-09.
3017         (output_call): Likewise.
3018
3019 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
3020
3021         * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
3022
3023 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
3024
3025         * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
3026
3027 2007-03-16  Uros Bizjak  <ubizjak@gmail.com>
3028
3029         * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
3030         opteron, athlon-64 and athlon-fx processor_alias_table entries.
3031
3032 2007-03-16  Sebastian Pop  <sebastian.pop@inria.fr>
3033
3034         PR tree-optimization/31183
3035         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
3036         Use double_int instead of unsigned int for representing access_strides.
3037         * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
3038
3039 2007-03-16  Richard Guenther  <rguenther@suse.de>
3040
3041         PR tree-optimization/31146
3042         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
3043         to allow recursion of forward_propagate_addr_expr.
3044         (forward_propagate_addr_into_variable_array_index): Likewise.
3045         (forward_propagate_addr_expr): Likewise.
3046         (tree_ssa_forward_propagate_single_use_vars): Likewise.
3047         (forward_propagate_addr_expr_1): Recurse on simple copies
3048         instead of propagating into them.  Do so for useless conversions
3049         as well.
3050         (forward_propagate_addr_expr): Clean up unused statements after
3051         recursion.
3052
3053 2007-03-16  Richard Guenther  <rguenther@suse.de>
3054
3055         * builtins.c (expand_builtin_cexpi): Use the right argument
3056         for the expansion via cexp.
3057
3058 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
3059
3060         * configure.ac: Don't require ELF binutils to tolerate # 0 "".
3061         * configure: Rebuilt.
3062
3063 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
3064
3065         PR debug/29906
3066         * dwarf2out.c (force_type_die): Adjust comment.
3067         (dwarf2out_imported_module_or_decl): Handle base AT_import types.
3068
3069 2007-03-15  DJ Delorie  <dj@redhat.com>
3070
3071         * config/frv/predicates.md (minmax_operator): Don't check operands
3072         here.
3073
3074 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
3075
3076         * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
3077         Update constant estimates of number of iterations.
3078         (record_nonwrapping_iv): Add "upper" argument.  "data_size_bounds_p"
3079         argument renamed to "realistic".
3080         (compute_estimated_nb_iterations): Removed.
3081         (record_niter_bound): New function.
3082         (idx_infer_loop_bounds): For possible but unlikely tail arrays,
3083         call record_nonwrapping_iv with upper = false.
3084         (infer_loop_bounds_from_signedness): Pass upper argument to
3085         record_nonwrapping_iv.
3086         (estimate_numbers_of_iterations_loop): Do not call
3087         compute_estimated_nb_iterations.  Record estimate based on profile
3088         information.  Initialize the constant estimates of number of
3089         iterations.
3090         * tree-data-ref.c (estimated_loop_iterations): Return the recorded
3091         estimates.
3092         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
3093         number of iterations is too small.
3094         * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
3095         (EST_NOT_AVAILABLE): Removed.
3096         (struct loop): Replace estimated_nb_iterations by any_upper_bound,
3097         nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
3098         fields.
3099
3100 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
3101
3102         * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
3103         Handle NE_EXPR guards.
3104
3105 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3106
3107         PR c++/24924
3108         * c-opts.c (c_common_post_options): Handle C++ post-processing here.
3109         Set also -pedantic-errors by default for the  preprocessor unless
3110         -fpermissive is given.
3111
3112 2007-03-15  Richard Guenther  <rguenther@suse.de>
3113
3114         PR middle-end/29719
3115         PR middle-end/31161
3116         * builtins.c (expand_builtin_cexpi): As a fallback if we
3117         don't have builtins for sincos or cexp create a function
3118         declaration for cexp and expand to a call to that.
3119         (expand_builtin_int_roundingfn): Always fall
3120         back to floor/ceil and its variants even if they may be
3121         not available.
3122
3123 2007-03-15  Steven Bosscher  <steven@gcc.gnu.org>
3124
3125         PR middle-end/31159
3126         * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
3127         jump tables, move the call to delete_dead_jumptables from here...
3128         (cfg_layout_finalize): ...to here.  But rebuild jump labels first.
3129         * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
3130         don't allow merging of blocks that try_redirect_by_replacing_jump
3131         also does not handle when not optimizing.
3132
3133 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
3134             Francois-Xavier Coudert  <coudert@clipper.ens.fr>
3135
3136         * config/i386/i386.md (x86_sahf_1): Correctly handle
3137         HAVE_AS_IX86_SAHF.
3138
3139 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
3140
3141         PR target/31167
3142         * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
3143         x86_64_general_operand as operand[2] predicate.  Remove "iF"
3144         from operand constraints and use "e" constraint instead.
3145         (*subti3_1, *subti3_1 splitter): Ditto.
3146         (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
3147         operand[1] predicate.
3148
3149 2007-03-14  Sebastian Pop  <sebastian.pop@inria.fr>
3150
3151         * tree-loop-linear.c (gather_interchange_stats): For multidimensional
3152         arrays, multiply the access strides by the size of the sub-array.
3153         * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
3154
3155 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
3156
3157         * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
3158         the configured assembler supports the sahf mnemonic.
3159         * configure: Regenerate.
3160         * config.in: Regenerate.
3161
3162         * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
3163         emit "sahf" or ".byte\t0x9e" as asm template.
3164
3165 2007-03-14  Michael Meissner  <michael.meissner@amd.com>
3166
3167         PR 31018
3168         * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
3169         option to replace hard coded TARGET_xxx in md file.
3170         (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
3171         (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3172         (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
3173         (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
3174         (X86_TUNE_NOT_UNPAIRABLE): Ditto.
3175         (X86_TUNE_NOT_VECTORMODE): Ditto.
3176         (TUNE_SHORTEN_X87_SSE): Use new tuning option.
3177         (TUNE_AVOID_VECTOR_DECODE): Ditto.
3178         (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3179         (TUNE_SLOW_IMUL_IMM8): Ditto.
3180         (TUNE_MOVE_M1_VIA_OR): Ditto.
3181         (TUNE_NOT_UNPAIRABLE): Ditto.
3182         (TUNE_NOT_VECTORMODE): Ditto.
3183
3184         * config/i386/i386.c (ix86_tune_features): Fill in new tuning
3185         options.
3186
3187         * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
3188         tuning options instead of hard coded TARGET_xxx.
3189         (fix ssemode peephole2's): Ditto.
3190         (imul peephole2's): Ditto.
3191         (movsi_or): Ditto.
3192         (movdi_or_rex64): Ditto.
3193         (move peephole2): Ditto.
3194         (not peephole2's): Ditto.
3195
3196 2007-03-14  Dirk Mueller  <dmueller@suse.de>
3197
3198         * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
3199         * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
3200         * c-parser.c (c_parser_if_body): Always add an empty statement in case
3201         of empty body.
3202         * c-parser.c (c_parser_do_statement): Warn about empty body in
3203         do/while statement.
3204         * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
3205         * doc/invoke.texi (-Wempty-body): Update documentation.
3206
3207 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3208
3209         PR c/21438
3210         * c-common.h (warn_for_div_by_zero): Declare.
3211         * c-common.c (warn_for_div_by_zero): Define.
3212         * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
3213         warning.
3214
3215 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3216
3217         * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
3218         to PREFIX and STANDARD_PREFIX.
3219
3220 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3221             Phil Edwards  <phil@codesourcery.com>
3222
3223         * gthr-vxworks.h: Add an extern "C" wrapper for C++.
3224         (__gthread_once_t): Remove busy field for RTPs.
3225         (__GTHREAD_ONCE_INIT): Update accordingly.
3226
3227 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3228
3229         * doc/invoke.texi: Document VxWorks options.
3230
3231 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
3232
3233         * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
3234
3235 2007-03-13  Seongbae Park <seongbae.park@gmail.com>
3236
3237         PR tree-optimization/30590
3238         * tree-nrv.c (tree_nrv): Check for the partial update of the
3239         return value.
3240
3241 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3242
3243         * flags.h (flag_random_seed): Remove declaration, in favor of...
3244         * toplev.h (get_random_seed, set_random_seed): ... these.
3245         * tree.c (get_file_function_name): Use the former.
3246         * opts.c (common_handle_option): Use the latter.
3247         * toplev.c
3248
3249 2007-03-13  Steven Bosscher  <steven@gcc.gnu.org>
3250
3251         PR middle-end/31127
3252         * cse.c (cse_find_path): Do not bail out if a basic block that
3253         we already visited now becomes part of a path that starts at a
3254         different basic block.  Just disallow this, to make sure we
3255         visit each basic block at most once.
3256
3257 2007-03-13  Jan Hubicka  <jh@suse.cz>
3258
3259         * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
3260         when profile esitmate is present, calls with very low frequency are
3261         cold.
3262
3263 2007-03-13  Zdenek Dvorak  <dvorakz@suse.cz>
3264
3265         PR tree-optimization/30730
3266         PR tree-optimization/26900
3267         * tree-ssa-loop-niter.c: Include gmp.h.
3268         (bounds): New type.
3269         (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
3270         split_to_var_and_offset, determine_value_range,
3271         bound_difference_of_offsetted_base, refine_bounds_using_guard,
3272         bound_difference, bounds_add, bounds_negate,
3273         number_of_iterations_ne_max, dump_affine_iv): New functions.
3274         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
3275         assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
3276         difference of initial and final value of control iv to validate
3277         results.
3278         (number_of_iterations_cond): Add loop parameter.  Determine bounds
3279         on the difference of the extremes of the control iv.  Add dumps.
3280         (expand_simple_operations): Handle phi nodes.
3281         (simplify_using_initial_conditions): Do not record used conditions.
3282         (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
3283         Do not set additional_info.
3284         (implies_nonnegative_p, implies_ge_p): Removed.
3285         (derive_constant_upper_bound): Do not use parameter `additional'.
3286         (record_estimate): Parameter `additional' removed.  Parameter
3287         `i_bound' added.  Do not call derive_constant_upper_bound.
3288         (record_nonwrapping_iv): Use derive_constant_upper_bound to
3289         bound the number of iterations estimate.
3290         (estimate_numbers_of_iterations_loop): Pass the estimate from
3291         the number of iterations analysis to record_estimate.
3292         * tree.h (multiple_of_p): Declare.
3293         * tree-scalar-evolution.c (expression_expensive_p): Removed.
3294         (scev_const_prop): Do not check expression_expensive_p.
3295         * fold-const.c (multiple_of_p): Exported.
3296         * double-int.c (double_int_mask): Exported.
3297         * double-int.h (double_int_mask): Declare.
3298         * tree-flow.h (struct tree_niter_desc): Removed additional_info
3299         field.  Added max field.
3300
3301 2007-03-13  David Taylor  <taylor@candd.org>
3302
3303         PR driver/12448:
3304         * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
3305         default -MQ.
3306
3307 2007-03-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3308
3309         PR target/31123
3310         * pa.md (vdepi_ior): Don't allow zero length deposit.  Likewise for
3311         two unamed patterns.
3312
3313 2007-03-13  Uros Bizjak  <ubizjak@gmail.com>
3314
3315         * config/i386/i386.opt (mcx16, msahf): New options.
3316         * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
3317         (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.
3318
3319         * config/i386/driver-i386.c (bit_LAHF_LM): New define.
3320         (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
3321         Output -mcx16 and -msahf options when corresponding bit is set.
3322
3323         * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
3324         and -msahf options.
3325
3326 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3327
3328         * configure.ac: Test for assembler tolerance to # 0 "".
3329         * configure, config.in: Rebuilt.
3330         * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.
3331
3332 2007-03-13  Geoffrey Keating  <geoffk@apple.com>
3333
3334         * doc/invoke.texi (Spec Files): Update for '%{,' spec.
3335
3336         * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
3337         (handle_syscall): Handle direct system calls.
3338         * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.
3339
3340 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
3341
3342         * doc/invoke.texi: Fix cpp.info cross-reference.
3343         * doc/passes.texi: Fix gcc.info cross-reference.
3344
3345 2007-03-12  Zdenek Dvorak  <dvorakz@suse.cz>
3346
3347         PR tree-optimization/30835
3348         * lambda-code.c (can_convert_to_perfect_nest): Check whether
3349         bb_for_stmt is not NULL before accessing it.
3350
3351 2007-03-12  Joseph Myers  <joseph@codesourcery.com>
3352
3353         * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
3354         some multilibs.
3355
3356 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
3357
3358         PR 30635
3359         * doc/install.texi: Document --enable-stage1-languages
3360
3361 2007-03-12  Steven Bosscher  <steven@gcc.gnu.org>
3362
3363         * tree-pass.h (pass_into_cfg_layout_mode,
3364         pass_outof_cfg_layout_mode): Declare.
3365         * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
3366         pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
3367         * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
3368         (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.
3369
3370 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
3371
3372         * c-decl.c (warn_variable_length_array): New function.
3373         Refactored from grokdeclarator to handle warn_vla
3374         and handle unnamed array case.
3375         (grokdeclarator): Refactored VLA warning case.
3376         * c.opt (Wvla): New flag.
3377         * doc/invoke.texi (Wvla): New warning.
3378
3379 2007-03-12  Richard Henderson  <rth@redhat.com>
3380
3381         * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
3382         (TARGET_SECTION_TYPE_FLAGS): New.
3383
3384 2007-03-12  Richard Henderson  <rth@redhat.com>
3385
3386         * config/darwin.c (machopic_reloc_rw_mask): New.
3387         * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
3388         * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.
3389
3390 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
3391
3392         * cppdefault.c (cpp_EXEC_PREFIX): New variable.
3393         * cppdefault.h (cpp_PREFIX): Document.
3394         (cpp_PREFIX_len): Likewise.
3395         (cpp_EXEC_PREFIX): New variable.
3396         * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
3397         * c-incpath.c (add_standard_paths): Correct logic for relocating
3398         paths within prefix.
3399
3400 2007-03-12  Uros Bizjak  <ubizjak@gmail.com>
3401
3402         * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
3403         fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
3404         mode macro.
3405         (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
3406         fix_truncdfdi_sse using SSEMODEF mode macro.
3407         (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
3408         fix_truncdfsi_sse using SSEMODEF mode macro.
3409         (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
3410         (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.
3411
3412 2007-03-12  Richard Sandiford  <richard@codesourcery.com>
3413
3414         * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
3415         elfos.h to tm_file.
3416
3417 2007-03-12  Olga Golovanevsky  <olga@il.ibm.com>
3418
3419         * tree.h : Add multiple_of_p declaration.
3420         * fold-const.c (multiple_of_p): Make multiple_of_p public.
3421         * ipa-type-escape.c (results_of_malloc): Redundant.
3422         (visited_stmts): New. Visited stmt for walk_use_def_chains.
3423         (cast_type): Extended with new members.
3424         (check_cast): Returns cast_type.
3425         (cast): New structure for data of walk_use_def_chains.
3426         (is_malloc_result, is_cast_from_non_pointer_1,
3427         is_cast_from_non_pointer,
3428         is_array_access_through_pointer_and_index): New functions.
3429         (look_for_casts): Returns cast types.
3430         (check_call): Returns void.
3431         (okay_pointer_operation): Use support of pointer plus index,
3432         pointer plus constant and allow all multiplications.
3433
3434 2007-03-11  Richard Guenther  <rguenther@suse.de>
3435
3436         PR tree-optimization/31115
3437         * tree-vrp.c (extract_range_from_binary_expr): Make sure
3438         the shift count is positive and non-anti-range for RSHIFT_EXPR.
3439         A shift count of zero is not special as with *_DIV_EXPR.
3440         (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
3441         direction.
3442
3443 2007-03-11  Ian Lance Taylor  <iant@google.com>
3444
3445         * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
3446         the *_DIV_EXPR codes correctly with overflow infinities.
3447
3448 2007-03-11  Ira Rosen  <irar@il.ibm.com>
3449
3450         * tree-data-ref.c (analyze_offset): Add a return value (bool) to
3451         indicate success/failure of the analysis. Add negation to subtrahend
3452         in case of subtraction. Fail if both operands contain constants.
3453         (create_data_ref): Fail if analyze_offset fails.
3454
3455 2007-03-11  Uros Bizjak  <ubizjak@gmail.com>
3456
3457         * config/i386/i386.md (frndintxf2): Rename to ...
3458         (rintxf2): ... this. Remove expander having same name.
3459         (rintsf2, rintdf2): Implement using SSEMODEF macro.
3460         (roundsf2, rounddf2): Ditto.
3461         (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
3462         (lround<mode>di2, lround<mode>si2): Ditto.
3463
3464 2007-03-11  Steven Bosscher  <steven@gcc.gnu.org>
3465
3466         * lower-subreg.c: Include except.h.
3467         (decompose_multiword_subregs): Verify that the only control flow
3468         insns we can split are loads to multi-words pseudos.
3469         Handle breaking such blocks after splitting, instead of calling
3470         find_many_sub_basic_blocks.
3471
3472         * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
3473         on the new basic block.  Add a lengthy comment explaining why we
3474         thought this was necessary.
3475         * cfglayout.c (cfg_layout_finalize): Don't break superblocks.
3476
3477 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
3478
3479         PR c++/30924
3480         * tree.c (walk_type_fields): Recurse into the element type of
3481         ARRAY_TYPEs if there is a pointer set.
3482
3483 2007-03-10  Dirk Mueller  <dmueller@suse.de>
3484
3485         * c-common.c (warn_logical_operator): Fix condition.
3486
3487 2007-03-10  Tobias Schlüter  <tobi@gcc.gnu.org>
3488
3489         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
3490         quotation mark.
3491         * config/darwin.c (machopic_select_section): Remove superfluous
3492         argument in call to categorize_decl_for_section.  Remove unused
3493         variable shlib.
3494
3495 2007-03-10  Joseph Myers  <joseph@codesourcery.com>
3496
3497         * configure.ac (glibc_header_dir): Set using with_build_sysroot if
3498         defined.
3499         * configure: Regenerate.
3500
3501 2007-03-10  Uros Bizjak  <ubizjak@gmail.com>
3502
3503         PR target/31101
3504         * config/i386/i386.md (UNSPEC_C2_FLAG): New constant.
3505         (fpremxf4_i387, fprem1xf4_i387): Use UNSPEC_C2_FLAG.
3506         (fmodxf3, fmod<mode>3, remainderxf3, remainder<mode>3):
3507         Add LABEL_NUSES to emitted label.
3508         * config/i386/i386.c (ix86_emit_fp_unordered_jump): Add
3509         branch probability value to emitted jump insn.
3510         * reg-stack.c (subst_stack_regs_pat)[UNSPEC]: Handle UNSPEC_C2_FLAG.
3511         Do not check life information and do not re-arrange input operands
3512         for UNSPEC_FSCALE_EXP, UNSPEC_FPREM_U and UNSPEC_FPREM1_U.
3513
3514 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
3515
3516         * config/sh/sh.c (sh_insn_length_adjustment): Adjust for
3517         the change of decode_asm_operands.
3518
3519 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
3520
3521         * mode-switching.c (create_pre_exit): Skip blockage insn.
3522
3523 2007-03-09  Diego Novillo  <dnovillo@redhat.com>
3524
3525         * tree-pass.h (TODO_update_smt_usage): Remove.
3526         Update all users.
3527         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
3528         argument SOME.
3529         Update all users.
3530
3531 2007-03-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3532
3533         * pa.c (attr_length_call): Revise condition for long pc-relative branch.
3534         (output_call): Use "LONG_PIC_SDIFF" instruction sequence for long local
3535         calls on the SOM target.  Don't use "LONG_PIC_PCREL" call sequence on
3536         SOM target.
3537
3538 2007-03-09  Geoffrey Keating  <geoffk@apple.com>
3539
3540         * gcc.c: Document %{, in big comment at top.
3541         (input_suffix_matches): Remove special handling for .s and
3542         .S.
3543         (input_spec_matches): New.
3544         (handle_braces): Handle %{,.
3545         (validate_switches): ',' indicates a value which is not a switch.
3546         * config/alpha/osf.h (ASM_FINAL_SPEC): Use %{, rather than %{.
3547         to detect assembler input.
3548         * config/i386/sol2.h (CPP_SPEC): Likewise.
3549         * config/rs6000/sysv4.h (ASM_SPEC): Likewise.
3550         * config/rs6000/vxworks.h (ASM_SPEC): Likewise.
3551         * config/rs6000/lynx.h (ASM_SPEC): Likewise.
3552         * config/rs6000/linux64.h (ASM_SPEC_COMMON): Likewise.
3553         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Objective-C plus
3554         -m64 causes deployment target to default to 10.5.
3555         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
3556
3557 2007-03-09  Richard Henderson  <rth@redhat.com>
3558
3559         PR target/26090
3560         * target.h (targetm.asm.out.reloc_rw_mask): New.
3561         * target-def.h (TARGET_ASM_RELOC_RW_MASK): New.
3562         (TARGET_ASM_OUT): Use it.
3563         * targhooks.c, targhooks.h (default_reloc_rw_mask): New.
3564         * varasm.c (categorize_decl_for_section): Remove shlib argument;
3565         use the new reloc_rw_mask target hook instead.
3566         (default_section_type_flags_1): Merge into...
3567         (default_section_type_flags): ... here.
3568         (decl_readonly_section_1): Merge into...
3569         (decl_readonly_section): ... here.
3570         (default_elf_select_section_1): Merge into...
3571         (default_elf_select_section): ... here.
3572         (default_unique_section_1): Merge into...
3573         (default_unique_section): ... here.
3574         (compute_reloc_for_rtx_1, compute_reloc_for_rtx): New.
3575         (default_select_rtx_section): Use it.
3576         (default_elf_select_rtx_section): Likewise.
3577         * output.h: Update to match.
3578         * doc/tm.texi (TARGET_ASM_RELOC_RW_MASK): New.
3579         * config/alpha/alpha.c (alpha_elf_reloc_rw_mask): New.
3580         (TARGET_ASM_RELOC_RW_MASK): New.
3581         * config/i386/i386.c (x86_64_elf_select_section): Adjust call
3582         to categorize_decl_for_section.
3583         (x86_64_elf_unique_section): Likewise.
3584         * config/ia64/hpux.h (TARGET_ASM_SELECT_SECTION,
3585         TARGET_ASM_UNIQUE_SECTION, TARGET_ASM_SELECT_RTX_SECTION): Remove.
3586         (TARGET_ASM_RELOC_RW_MASK): New.
3587         * config/ia64/ia64.c (ia64_rwreloc_select_section,
3588         ia64_rwreloc_unique_section, ia64_rwreloc_select_rtx_section): Remove.
3589         (ia64_hpux_reloc_rw_mask, ia64_reloc_rw_mask): New.
3590         (TARGET_RWRELOC): Remove.
3591         (ia64_section_type_flags): Adjust call to default_section_type_flags.
3592         * config/ia64/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
3593         * config/rs6000/rs6000.c (rs6000_elf_section_type_flags): Remove.
3594         (rs6000_elf_select_section, rs6000_elf_unique_section): Remove.
3595         (rs6000_elf_reloc_rw_mask, rs6000_xcoff_reloc_rw_mask): New.
3596         (rs6000_xcoff_select_section): Use decl_readonly_section.
3597         (rs6000_xcoff_section_type_flags): Use default_section_type_flags.
3598         * config/rs6000/sysv4.h (TARGET_ASM_RELOC_RW_MASK): New.
3599         (TARGET_ASM_SELECT_SECTION, TARGET_ASM_UNIQUE_SECTION): Remove.
3600         (TARGET_SECTION_TYPE_FLAGS): Remove.
3601         * config/rs6000/xcoff.h (TARGET_ASM_RELOC_RW_MASK): New.
3602
3603 2007-03-09  Roger Sayle  <roger@eyesopen.com>
3604
3605         * fold-const.c (fold_comparison): Remove compile-time evaluation of
3606         complex constant equality/inequality comparisons for here.
3607         (fold_binary) <EQ_EXPR>: Simplify complex comparisons that are
3608         known at compile-time or can be simplified to a scalar comparison.
3609         (fold_relational_const): Move compile-time evaluation of complex
3610         constant equality/inequality comparisons to here.
3611
3612 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
3613
3614         PR rtl-optimization/30643
3615         * cse.c (cse_insn): Recompute dest_hash after insert_regs for
3616         dest_addr_elt.
3617         (fold_rtx): Recurse, like before 2006-11-03.
3618
3619 2007-03-09  DJ Delorie  <dj@redhat.com>
3620
3621         * config/m32c/t-m32c (m32c-pragma.o): Add TM_H dependency to
3622         m32c-pragma.o.
3623
3624 2007-03-09  Aldy Hernandez  <aldyh@redhat.com>
3625
3626         PR tree-optimization/30375
3627         * tree-ssa-dse.c (dse_possible_dead_store_p): Do not eliminate if
3628         LHS of statements is not the same.
3629         * testsuite/gcc.dg/tree-ssa/ssa-dse-10.c: New.
3630
3631 2007-03-09  Chao-ying Fu  <fu@mips.com>
3632
3633         * doc/extend.texi (MIPS DSP Built-in Functions): Document the DSP
3634         REV 2.
3635         * doc/invoke.texi (-mdspr2): Document new option.
3636         * config/mips/mips.md (UNSPEC_ABSQ_S_QB .. UNSPEC_DPSQX_SA_W_PH):
3637         New unspec for DSP REV 2.
3638         (<u>mulsidi3_32bit_internal): Check if !TARGET_DSPR2, because
3639         these instructions are extended in DSP REV 2.
3640         (mips-dspr2.md): Include.
3641         * config/mips/mips.opt (mdspr2): New option.
3642         * config/mips/mips.c (mips_function_type): Add MIPS_V4QI_FTYPE_V4QI,
3643         MIPS_SI_FTYPE_SI_SI_SI, MIPS_DI_FTYPE_DI_USI_USI, MIPS_DI_FTYPE_SI_SI,
3644         MIPS_DI_FTYPE_USI_USI, MIPS_V2HI_FTYPE_SI_SI_SI.
3645         (override_options): Check TARGET_DSPR2 to enable MASK_DSP.
3646         (CODE_FOR_mips_mul_ph): Define it to CODE_FOR_mulv2hi3.
3647         (dsp_bdesc): Add DSP REV 2 builtins.  Remove 32-bit only DSP builtins.
3648         (dsp_32only_bdesc): New description table for 32-bit only DSP REV 1
3649         and 2 builtins.
3650         (bdesc_map): Add one field of unsupported_target_flags.
3651         (bdesc_arrays):  Update entries to have extra fields.  Add
3652         dsp_32only_bdesc.
3653         (mips_init_builtins): Initialize new function types.
3654         Check unsupported_target_fileds to filter out builtins.
3655         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define __mips_dspr2 if
3656         TARGET_DSPR2.
3657         (ASM_SPEC): Pass mdspr2 to the assembler.
3658         * config/mips/mips-dspr2.md: New file.
3659
3660 2007-03-09  Sa Liu  <saliu@de.ibm.com>
3661
3662         * config/rs6000/altivec.md: Fix vcond patterns using if_then_else.
3663
3664 2007-03-09  Ian Lance Taylor  <iant@google.com>
3665
3666         * opts.c (common_handle_option): Treat -Wstrict-overflow (with no
3667         argument) like -Wstrict-overflow=2.
3668         * doc/invoke.texi (Warning Options): Update documentation.
3669
3670 2007-03-09  Dirk Mueller  <dmueller@suse.de>
3671
3672         PR c++/17946
3673         * doc/invoke.texi (-Wlogical-op): Document.
3674         * common.opt (-Wlogical-op): New.
3675         * c-common.h (warn_logical_operator): Declare.
3676         * c-common.c (warn_logical_operator): Define.
3677         * c-typeck.c (parser_build_binary_op): Call
3678         warn_logical_operator.
3679
3680 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
3681
3682         * rtl.h (gen_rtx_ASM_INPUT): Use "" instead of NULL file name.
3683         * final.c (final_scan_insn): Test for non-"" file name.
3684
3685 2007-03-09  Sebastian Pop  <sebastian.pop@inria.fr>
3686
3687         * doc/loop.texi: Document the Omega linear constraints solver.
3688         * doc/invoke.texi: Document -fcheck-data-deps, omega-max-vars,
3689         omega-max-geqs, omega-max-eqs, omega-max-wild-cards,
3690         omega-hash-table-size, omega-max-keys, and
3691         omega-eliminate-redundant-constraints.
3692         * tree-pass.h (pass_check_data_deps): Declared.
3693         * omega.c: New.
3694         * omega.h: New.
3695         * timevar.def (TV_CHECK_DATA_DEPS): Declared.
3696         * tree-ssa-loop.c (check_data_deps, gate_check_data_deps,
3697         pass_check_data_deps): New.
3698         * tree-data-ref.c (init_data_ref): Remove declaration.
3699         (dump_data_dependence_relation): Dump DDR_INNER_LOOP.
3700         (analyze_array): Renamed init_array_ref, move up initializations.
3701         (init_data_ref): Renamed init_pointer_ref.  Moved before its call.
3702         Removed arguments that are set to NULL.
3703         (analyze_indirect_ref): Correct indentation, correct call to
3704         init_pointer_ref.
3705         (object_analysis): Call init_array_ref instead of analyze_array.
3706         (initialize_data_dependence_relation): Initialize DDR_INNER_LOOP.
3707         (access_functions_are_affine_or_constant_p): Use DR_ACCESS_FNS instead
3708         of DR_ACCESS_FNS_ADDR.
3709         (init_omega_eq_with_af, omega_extract_distance_vectors,
3710         omega_setup_subscript, init_omega_for_ddr_1, init_omega_for_ddr,
3711         ddr_consistent_p): New.
3712         (compute_affine_dependence): Check consistency of ddrs when
3713         flag_check_data_deps is passed.
3714         (analyze_all_data_dependences): Uncomment.
3715         (tree_check_data_deps): New.
3716         * tree-data-ref.h: Include omega.h.
3717         (DR_ACCESS_FNS_ADDR): Removed.
3718         (data_dependence_relation): Add inner_loop.
3719         (DDR_INNER_LOOP): New.
3720         * common.opt (fcheck-data-deps): New.
3721         * tree-flow.h (tree_check_data_deps): Declare.
3722         * Makefile.in (TREE_DATA_REF_H): Depend on omega.h.
3723         (OBJS-common): Depend on omega.o.
3724         (omega.o): Define.
3725         * passes.c (pass_check_data_deps): Scheduled.
3726         * params.def (PARAM_OMEGA_MAX_VARS, PARAM_OMEGA_MAX_GEQS,
3727         PARAM_OMEGA_MAX_EQS, PARAM_OMEGA_MAX_WILD_CARDS,
3728         PARAM_OMEGA_HASH_TABLE_SIZE, PARAM_OMEGA_MAX_KEYS,
3729         PARAM_VECT_MAX_VERSION_CHECKS,
3730         PARAM_OMEGA_ELIMINATE_REDUNDANT_CONSTRAINTS): New.
3731
3732 2007-03-09  Richard Guenther  <rguenther@suse.de>
3733
3734         PR tree-optimization/30904
3735         PR middle-end/31058
3736         * tree-vrp.c (extract_range_from_binary_expr): Handle RSHIFT_EXPR
3737         the same way as *_DIV_EXPR.
3738
3739 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
3740
3741         * recog.c (decode_asm_operands): No mixed declarations and code.
3742
3743 2007-03-09  Alexandre Oliva  <aoliva@redhat.com>
3744
3745         * rtl.def (ASM_INPUT): Add location.
3746         * rtl.h (ASM_INPUT_SOURCE_LOCATION): New.
3747         (ASM_INPUT_SOURCE_FILE, ASM_INPUT_SOURCE_LINE): New.
3748         (decode_asm_operands): Add loc operand.
3749         (gen_rtx_ASM_INPUT, gen_rtx_ASM_INPUT_loc): Define.
3750         * stmt.c (expand_asm): Rename to...
3751         (expand_asm_loc): ... this.  Add locus argument.  Pass it on to
3752         gen_rtx_ASM_INPUT_loc.
3753         (expand_asm_expr): Adjust.
3754         * recog.c (decode_asm_operands): Add loc operand.
3755         (check_asm_operands, extract_insn): Adjust.
3756         * reload1.c (maybe_fix_stack_asms): Likewise.
3757         * final.c (asm_insn_count): Likewise.
3758         (final_scan_insn): Output # line before and after asm.
3759
3760 2007-03-09  Daniel Berlin  <dberlin@dberlin.org>
3761
3762         * tree-ssa-structalias.c (variable_info): Remove
3763         finished_solution.
3764         (new_var_info): Ditto.
3765         (shared_bitmap_info_t): New structure.
3766         (shared_bitmap_table): New variable.
3767         (shared_bitmap_hash): New function.
3768         (shared_bitmap_eq): Ditto
3769         (shared_bitmap_lookup): Ditto.
3770         (shared_bitmap_add): Ditto.
3771         (merge_smts_into): Change to take bitmap directly.
3772         (find_what_p_points_to): Rewrite to use shared bitmap hashtable.
3773         (init_alias_vars): Init shared bitmap hashtable.
3774         (delete_points_to_sets): Delete shared bitmap hashtable.
3775         * tree-ssa-operands.c (add_virtual_operand): Partially revert the
3776         is_aliased removal as a change that was still necessary was
3777         deleted.
3778
3779 2007-03-09  Uros Bizjak  <ubizjak@gmail.com>
3780
3781         * config/i386/i386.h (override_options): Conditionally disable
3782         x86_sahf for 64bit targets only.
3783
3784 2007-03-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3785
3786         PR C/31072
3787         * c-decl.c (merge_decls): Don't call make_var_volatile.
3788         * varasm.c (make_var_volatile): Remove.
3789         * output.h (make_var_volatile): Remove.
3790
3791 2007-03-08  Zdenek Dvorak  <dvorakz@suse.cz>
3792
3793         PR tree-optimization/31085
3794         * tree-ssa-address.c (create_mem_ref): Fix test of type of base.
3795
3796 2007-03-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3797
3798         * builtins.def (lceil, lceilf, lceill, lfloor, lfloorf, lfloorl,
3799         llceil, llceilf, llceill, llfloor, llfloorf, llfloorl): Mark with
3800         ATTR_CONST_NOTHROW_LIST.
3801
3802         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
3803         FIX_TRUNC_EXPR.
3804
3805 2007-03-08  Diego Novillo  <dnovillo@redhat.com>
3806
3807         * doc/tree-ssa.texi: Remove documentation for V_MUST_DEF.
3808
3809 2007-03-08  Geoffrey Keating  <geoffk@apple.com>
3810
3811         PR 31013
3812         * gccspec.c (lang_specific_driver): Do nothing when NEXT_OBJC_RUNTIME
3813         is declared.
3814         * config/darwin.h (REAL_LIBGCC_SPEC): When -fgnu-runtime is
3815         passed, use shared libgcc.
3816
3817 2007-03-08  Roger Sayle  <roger@eyesopen.com>
3818
3819         * tree-eh.c (do_return_redirection): Call build_gimple_modify_stmt
3820         instead of calling build2 with a GIMPLE_MODIFY_STMT.
3821         (honor_protect_cleanup_actions, lower_try_finally_switch):
3822         Likewise.
3823         * tree-if-conv.c (replace_phi_with_cond_gimple_modify_stmt,
3824         ifc_temp_var): Likewise.
3825         * tree-inline.c (setup_one_parameter): Likewise.
3826         * tree-mudflap.c (mf_decl_cache_locals,
3827         mf_build_check_statement_for): Likewise.
3828         * tree-nested.c (init_tmp_var, save_tmp_var,
3829         finalize_nesting_tree_1): Likewise.
3830         * tree-outof-ssa.c (insert_copy_on_edge,
3831         insert_backedge_copies): Likewise.
3832         * tree-profile.c (tree_gen_edge_profiler,
3833         tree_gen_ic_profiler): Likewise.
3834         * tree-scalar-evolution.c (scev_const_prop): Likewise.
3835         * tree-sra.c (sra_build_assignment): Likewise.
3836         * tree-ssa-loop-im.c (determine_invariantness_stmt): Likewise.
3837         * tree-ssa-math-opts.c (insert_reciprocals,
3838         execute_cse_sincos_1): Likewise.
3839         * tree-tailcall.c (adjust_accumulator_values,
3840         adjust_return_value): Likewise.
3841         * tree-vect-patterns.c (vect_pattern_recog_1): Likewise.
3842         * tree-vect-transform.c (vect_create_data_ref_ptr,
3843         bump_vector_ptr, vect_init_vector, get_initial_def_for_induction,
3844         vect_create_epilog_for_reduction, vectorizable_reduction,
3845         vectorizable_call, vectorizable_conversion,
3846         vectorizable_assignment, vectorizable_operation,
3847         vectorizable_type_demotion, vect_gen_widened_results_half,
3848         vect_permute_store_chain, vectorizable_store,
3849         vect_setup_realignment, vect_permute_load_chain,
3850         vectorizable_load, vectorizable_condition,
3851         vect_create_cond_for_align_checks): Likewise.
3852         * tree-vrp.c (build_assert_expr_for): Likewise.
3853
3854 2007-03-08  Ian Lance Taylor  <iant@google.com>
3855
3856         * tree-vrp.c: Include "intl.h".
3857         (usable_range_p): New static function.
3858         (compare_values_warnv): Don't test TYPE_OVERFLOW_UNDEFINED for
3859         overflowed values, juts set *strict_overflow_p.
3860         (compare_values): Only return -2 if one of the operands is not a
3861         constant.
3862         (compare_ranges): Call usable_range_p.
3863         (compare_range_with_value): Likewise.
3864         (vrp_evaluate_conditional_warnv): Rename from
3865         vrp_evaluate_conditional.  Make static.  Change all callers.
3866         (vrp_evaluate_conditional): New function.
3867         (simplify_div_or_mod_using_ranges): Issue warning about reliance
3868         on signed overflow.
3869         (simplify_abs_using_ranges): Likewise.
3870         (simplify_stmt_for_jump_threading): Add within_stmt parameter.
3871         * tree-ssa-dom.c (simplify_stmt_for_jump_threading): Add
3872         within_stmt parameter.
3873         * tree-ssa-propagate.c (fold_predicate_in): Update call to
3874         vrp_evaluate_conditional.
3875         * tree-ssa-threadedge.c
3876         (record_temporary_equivalences_from_stmts_at_dest): Change
3877         simplify parameter to take a second tree parameter.
3878         (simplify_control_stmt_condition): Likewise.
3879         (thread_across_edge): Likewise.
3880         * tree-flow.h (vrp_evaluate_conditional): Update declaration.
3881         (thread_across_edge): Likewise.
3882         * Makefile.in (tree-vrp.o): Depend upon intl.h.
3883
3884 2007-03-08  Uros Bizjak  <ubizjak@gmail.com>
3885
3886         * config/i386/i386.h (TARGET_SAHF): New define.
3887         * config/i386/i386.c (ix86_tune_features) [X86_TUNE_USE_SAHF]:
3888         Also enable for m_K8, m_AMDFAM10 and m_CORE2.
3889         (x86_sahf): New global variable.
3890         (override_options): Add PTA_NO_SAHF to pta_flags enum.  Recode
3891         pta_flags masks using shifts.  Add PTA_NO_SAHF to x86_64 and
3892         nocona processor flags.  Set x86_sahf when PTA_NO_SAHF is not set
3893         in processor flags.  Do not unconditionally disable TARGET_USE_SAHF
3894         for 64-bit.
3895         (ix86_fp_comparison_sahf_cost): Return high value for !TARGET_SAHF.
3896         (ix86_expand_fp_compare): Check for TARGET_CMOVE or TARGET_SAHF
3897         when expanding fcomi/sahf based tests.
3898         (ix86_emit_fp_unordered_jump): Check for TARGET_SAHF when
3899         expanding sahf based alternative. Emit sahf based sequence when
3900         optimizing for code size.
3901         * config/i386/i386.md (x86_sahf_1): Do not disable for
3902         TARGET_64BIT, enable for TARGET_SAHF.
3903
3904 2007-03-08  Martin Michlmayr  <tbm@cyrius.com>
3905
3906         * tree-ssa-coalesce.c (fail_abnormal_edge_coalesce): Remove
3907         spurious whitespace from error message.
3908
3909 2007-03-08  Volker Reichelt  <reichelt@netcologne.de>
3910
3911         PR c++/30852
3912         * c-common.c (fold_offsetof_1): Handle COMPOUND_EXPR.
3913
3914 2007-03-08  Alexandre Oliva  <aoliva@redhat.com>
3915
3916         * c-decl.c (grokdeclarator): Disable warnings for anonymous
3917         bitfields.
3918         * tree-sra.c (instantiate_element): Propagate disabled warnings
3919         from the element itself to the created variable.
3920
3921 2007-03-07  Richard Henderson  <rth@redhat.com>
3922
3923         PR target/30848
3924         * reg-stack.c (emit_swap_insn): If a malformed asm was seen,
3925         silently fix up the stack in the case of a missing register.
3926
3927 2007-03-07  Paul Brook  <paul@codesourcery.com>
3928
3929         * config/arm/libunwind.S: Add .arch/.object_arch for armv4 builds.
3930
3931 2007-03-07  Joseph Myers  <joseph@codesourcery.com>
3932
3933         * config/arm/unwind-arm.c (struct wmmxd_regs, struct wmmxc_regs):
3934         New.
3935         (phase1_vrs): Use them.
3936         (DEMAND_SAVE_WMMXD, DEMAND_SAVE_WMMXC): New.
3937         (__gnu_Unwind_Save_WMMXD, __gnu_Unwind_Restore_WMMXD,
3938         __gnu_Unwind_Save_WMMXC, __gnu_Unwind_Restore_WMMXC): Declare.
3939         (restore_non_core_regs): Call __gnu_Unwind_Restore_WMMXD and
3940         __gnu_Unwind_Restore_WMMXC if required.
3941         (_Unwind_VRS_Pop): Implement iWMMXt support.
3942         * config/arm/libunwind.S (gnu_Unwind_Restore_WMMXD,
3943         gnu_Unwind_Save_WMMXD, gnu_Unwind_Restore_WMMXC,
3944         gnu_Unwind_Save_WMMXC): Define.
3945
3946 2007-03-07  Richard Sandiford  <richard@codesourcery.com>
3947
3948         * config/vxworks.h (vxworks_override_options): Declare.
3949         (VXWORKS_OVERRIDE_OPTIONS): Use it.
3950         * config/vxworks.c: Include target.h and toplev.h.
3951         (vxworks_override_options): New function.
3952         * config/t-vxworks (vxworks.o): Depend on $(TARGET_H) and toplev.h.
3953
3954 2007-03-07  Andreas Krebbel  <krebbel1@de.ibm.com>
3955
3956         * config/s390/s390.c (override_options): Don't emit an error when
3957         -mstack-size is used without providing -mstack-guard.
3958         (s390_emit_prologue): Choose stack_guard value automatically if not
3959         provided via command line.
3960         * doc/invoke.texi: Adjust description of -mstack-guard and -mstack-size.
3961
3962 2007-03-07  Richard Sandiford  <richard@codesourcery.com>
3963
3964         * config/i386/i386.c (output_set_got): Add a GOT initialization
3965         sequence for VxWorks PIC.
3966         (legitimate_pic_address_disp_p): Allow UNSPEC_GOT wrappers
3967         around labels as well as symbols.  Use gotoff_operand instead
3968         of local_symbolic_operand.
3969         (legitimize_pic_address): Use gotoff_operand instead of
3970         local_symbolic_operand.  Use @GOT accesses for labels as
3971         well as symbols.
3972         (ix86_output_addr_diff_elt): Use PC-relative rather than
3973         GP-relative offsets for VxWorks PIC.
3974         (ix86_expand_move): Pass NULL_RTX to legitimize_pic_address unless
3975         no_new_pseudos.  Check whether the returned register is op0.
3976         * config/i386/i386.md (tablejump): Use PC-relative rather than
3977         GP-relative offsets for VxWorks PIC.
3978         * config/i386/predicates.md (gotoff_operand): New predicate.
3979
3980 2007-03-06  Richard Sandiford  <richard@codesourcery.com>
3981
3982         * config/vxworks.h (VXWORKS_GOTT_BASE, VXWORKS_GOTT_INDEX): Undefine
3983         before defining.
3984         * config/vxworks-dummy.h: New file.
3985         * config/i386/i386.h: Include it.
3986
3987 2007-03-07  Alexandre Oliva  <aoliva@redhat.com>
3988
3989         * dwarf2out.c (is_inlined_entry_point): New
3990         (add_high_low_attributes): Emit DW_AT_entry_pc along with
3991         DW_AT_ranges if the first subblock is the entry point.
3992
3993 2007-03-06  David Daney  <ddaney@avtrex.com>
3994
3995         * doc/install.texi (mips-*-*): Change recommended binutils
3996         version.
3997
3998 2007-03-06  Anatoly Sokolov <aesok@post.ru>
3999