OSDN Git Service

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