OSDN Git Service

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