OSDN Git Service

0906088fb59c8c776e9acb799011fb3790752f03
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2005-12-23  Hans-Peter Nilsson  <hp@axis.com>
2
3         PR target/24342
4         * config/cris/cris.c (cris_split_movdx): Add REG_INC notes for
5         emitted insns with post-increments.
6         (cris_expand_epilogue): Ditto.
7
8 2005-12-22  Jakub Jelinek  <jakub@redhat.com>
9             Richard Henderson  <rth@redhat.com>
10
11         Merge from gomp-branch.
12         * builtins.def: Move all DEF_SYNC_BUILTIN to ...
13         * sync-builtins.def: ... new file.
14         (BUILT_IN_FETCH_AND_ADD_16,
15         BUILT_IN_FETCH_AND_SUB_16, BUILT_IN_FETCH_AND_OR_16,
16         BUILT_IN_FETCH_AND_AND_16, BUILT_IN_FETCH_AND_XOR_16,
17         BUILT_IN_FETCH_AND_NAND_16, BUILT_IN_ADD_AND_FETCH_16,
18         BUILT_IN_SUB_AND_FETCH_16, BUILT_IN_OR_AND_FETCH_16,
19         BUILT_IN_AND_AND_FETCH_16, BUILT_IN_XOR_AND_FETCH_16,
20         BUILT_IN_NAND_AND_FETCH_16, BUILT_IN_BOOL_COMPARE_AND_SWAP_16,
21         BUILT_IN_VAL_COMPARE_AND_SWAP_16, BUILT_IN_LOCK_TEST_AND_SET_16,
22         BUILT_IN_LOCK_RELEASE_16): New builtins.
23         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
24         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
25         * builtins.c (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
26         * c-common.c (enum c_builtin_type): Move to top-level from
27         c_common_nodes_and_builtins enum builtin_type.
28         (builtin_types): Move from c_common_nodes_and_builtins.
29         (def_fn_type): New.
30         (c_common_nodes_and_builtins): Use it.
31         (def_builtin_1): Check for error_mark_node.
32         (sync_resolve_size): Handle also 128 bit sync builtins.
33         * Makefile.in (BUILTINS_DEF): New.  Use it instead of builtins.def.
34
35         * config/i386/i386.h (x86_cmpxchg8b, x86_cmpxchg16b): New decls.
36         (TARGET_CMPXCHG8B, TARGET_CMPXCHG16B): Define.
37         * config/i386/i386.c (x86_cmpxchg8b, x86_cmpxchg16b): New variables.
38         * config/i386/sync.md (CASMODE, DCASMODE): New mode macros.
39         (doublemodesuffix, DCASHMODE): New mode attrs.
40         (sync_compare_and_swap<mode>): Change into expand, use CASMODE
41         instead of IMODE, if mode is wider than a word, expand into
42         sync_double_compare_and_swap*.
43         (*sync_compare_and_swap<mode>): New insn.
44         (sync_double_compare_and_swap<mode>): Likewise.
45         (*sync_double_compare_and_swapdi_pic): Likewise.
46         (sync_compare_and_swap_cc<mode>): Use CASMODE instead of IMODE, if
47         mode is wider than a word, expand into
48         sync_double_compare_and_swap_cc*.
49         (sync_double_compare_and_swap_cc<mode>): New insn.
50         (*sync_double_compare_and_swap_ccdi_pic): Likewise.
51
52 2005-12-22  Richard Henderson  <rth@redhat.com>
53
54         * config/i386/mmintrin.h (_mm_add_si64): Only define for SSE2.
55         (_mm_sub_si64): Likewise.
56         * config/i386/xmmintrin.h (_mm_shuffle_pi16, _m_pshufw): Likewise.
57
58 2005-12-23  Alan Modra  <amodra@bigpond.net.au>
59
60         PR rtl-optimization/25432
61         * reload1.c (eliminate_regs_in_insn): Update insn code on
62         successfully re-recognizing modified insn.
63
64 2005-12-22  Richard Guenther  <rguenther@suse.de>
65
66         * tree.c (tree_fold_gcd): Use build_int_cst where appropriate.
67         * tree-ssa-loop-ivcanon.c (create_canonical_iv): Likewise.
68         * varasm.c (array_size_for_constructor): Likewise.
69         * fold-const.c (size_diffop, invert_truthvalue,
70         optimize_bit_field_compare, make_range, build_range_check,
71         fold_cond_expr_with_comparison, fold_truthop,
72         fold_single_bit_test_into_sign_test, fold_binary): Likewise.
73
74 2005-12-22  Dale Johannesen  <dalej@apple.com>
75
76         * config/i386/sse.md (sse_movhlps):  Reverse operands for
77         2nd and 3rd alternatives.
78
79 2005-12-22  Andrew Pinski <pinskia@physics.uc.edu>
80
81         PR tree-opt/25513
82         * tree-dfa.c (make_rename_temp): Set DECL_COMPLEX_GIMPLE_REG_P complex
83         variables.
84
85 2005-12-22  Zdenek Dvorak <dvorakz@suse.cz>
86             Steven Bosscher <stevenb@suse.de>
87
88         * df.c (df_bitmaps_free): Only work for bbs for that structures are
89         allocated.
90         (df_bb_modify): Realloc tables to the new index.
91         (df_find_use): New function.
92         (df_find_def, df_reg_used): Handle subregs.
93         * df.h (df_find_use): Declare.
94
95         * loop-invariant.c: Include hashtab.h.
96         (struct invariant): Remove processed field, add eqto and reg fields.
97         (struct invariant_expr_entry): New.
98         (invariant_for_use, hash_invariant_expr_1, invariant_expr_equal_p,
99         hash_invariant_expr, eq_invariant_expr, find_or_insert_inv,
100         find_identical_invariants, merge_identical_invariants): New functions.
101         (create_new_invariant): Return the new invariant.  Initialize new
102         fields.
103         (find_invariants): Call merge_identical_invariants.
104         (get_inv_cost, best_gain_for_invariant, set_move_mark,
105         move_invariant_reg): Handle equivalent invariants.
106         * Makefile.in (loop-invariant.o): Add HASHTAB_H dependency.
107
108 2005-12-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
109
110         PR c++/23333
111         * c-lex.c (c_lex_with_flags): Add PURE_ZERO to cpp_flags if
112         number is a single digit '0'.
113
114 2005-12-22  Kazu Hirata  <kazu@codesourcery.com>
115
116         PR tree-optimization/23518
117         * fold-const.c (make_range): Don't move a constant to the
118         other side of the comparison if the type is signed and -fwrapv
119         is given.
120
121 2005-12-22  Kazu Hirata  <kazu@codesourcery.com>
122
123         * tree-vrp.c (extract_range_from_binary_expr): Clean up uses
124         of vr0.type.
125
126 2005-12-21  Joseph S. Myers  <joseph@codesourcery.com>
127
128         PR middle-end/24998
129         * config/arm/t-arm-elf (LIB1ASMFUNCS): Add _floatundidf and
130         _floatundisf.
131
132 2005-12-21  Andrew Haley  <aph@redhat.com>
133
134         PR middle-end/25121
135         * recog.c (peephole2_optimize): Don't peephole any
136         RTX_FRAME_RELATED_P insns.
137
138 2005-12-21  Kazu Hirata  <kazu@codesourcery.com>
139
140         * tree-data-ref.c (estimate_niter_from_size_of_data): Replace
141         fold_build2 with fold_binary.
142         * tree-ssa-ccp.c (visit_assignment, maybe_fold_stmt_addition):
143         Replace fold_build1 with fold_unary.
144         * tree-ssa-reassoc.c (optimize_ops_list): Replace fold_build2
145         with fold_binary.
146
147 2005-12-21  Steven Bosscher  <stevenb@suse.de>
148
149         PR rtl-optimization/25196
150         * postreload-gcse.c (record_last_set_info): Notice stack pointer
151         changes in push insns without REG_INC notes.
152
153 2005-12-21  Kazu Hirata  <kazu@codesourcery.com>
154
155         PR tree-optimization/25382.
156         * tree-vrp.c (extract_range_from_binary_expr): Extract a range
157         from BIT_AND_EXPR.
158
159 2005-12-21  Janis Johnson  <janis187@us.ibm.com>
160             Ben Elliston  <bje@au.ibm.com>
161
162         * configure.ac: Enable C extension for decimal float if invoked
163         with --enable-decimal-float.
164         * doc/install.texi (Configuration): Document it.
165         * configure, config.in: Regenerate.
166
167 2005-12-20  Mike Stump  <mrs@apple.com>
168
169         * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Handle the
170         ambiguity between -seg_addr_table and -seg_addr_table_filename.
171         (WORD_SWITCH_TAKES_ARG): Likewise.
172         (LINK_SPEC): Likewise.
173
174 2005-12-20  Kenneth Zadeck <zadeck@naturalbridge.com>
175
176         * cfganal.c (flow_reverse_top_sort_order_compute):
177         Renamed to post_order_compute and additional parameter added which
178         allows the inclusion of entry and exit blocks into list.
179         (mark_dfs_back_edges): Fixed comment.
180         (flow_depth_first_order_compute): Renamed to
181         pre_and_rev_post_order_compute additional parameter added which
182         allows the inclusion of entry and exit blocks into list.
183         * global.c (set_up_bb_rts_numbers): Call to
184         flow_reverse_top_sort_order_compute renamed to
185         post_order_compute.
186         * var-tracking.c (vt_stack_adjustments): Fixed comment.
187         (vt_find_locations): Call to
188         flow_depth_first_order_compute renamed to
189         pre_and_rev_post_order_compute.
190         * cfgloop.c (flow_find_loops): Ditto.
191         * tree-ssa-reassoc.c (init_reassoc): Ditto.
192         * df.c (df_analyze_1, df_analyze_subcfg): Calls to
193         flow_reverse_top_sort_order_compute renamed to post_order_compute
194         and calls to flow_reverse_top_sort_order_compute renamed to
195         post_order_compute.
196         * basic_block.h: Ditto.
197
198
199 2005-12-20  Roger Sayle  <roger@eyesopen.com>
200             Paolo Bonzini  <bonzini@gnu.org>
201
202         PR rtl-optimization/25115
203         * gcse.c (pre_insert_copy_insn): Fall back to the sole
204         SET in the insn if there is no SET for an
205         expression that is equivalent to EXPR.
206
207 2005-12-20  Richard Guenther  <rguenther@suse.de>
208
209         PR middle-end/24306
210         * builtins.c (std_gimplify_va_arg_expr): Do not align
211         va frame for zero sized types.
212         * config/i386/i386.c (ix86_gimplify_va_arg): Likewise.
213
214 2005-12-20  Kazu Hirata  <kazu@codesourcery.com>
215
216         PR tree-optimization/25501
217         * tree-cfgcleanup.c (merge_phi_nodes): Check that RESULT is
218         used in the PHI argument corresponding to the edge from BB to
219         DEST.
220
221 2005-12-20  Richard Guenther  <rguenther@suse.de>
222
223         Revert
224         2005-12-02  Richard Guenther  <rguenther@suse.de>
225
226         * tree-cfg.c (mark_used_vars): New function.
227         (dump_function_to_file): Dump only used VAR_DECLs.
228
229 2005-12-19  Roger Sayle  <roger@eyesopen.com>
230
231         * combine.c (try_combine): Improve splitting of binary operators
232         by taking advantage of reassociative transformations.
233
234 2005-12-19  Jeff Law  <law@redhat.com>
235
236         * tree-ssa-dom.c (thread_across_edge): Do not use local_fold.
237         Strip away all type conversions after simplifying the
238         condition.
239
240         * tree-cfgcleanup.c (merge_phi_nodes): Allow merging in some
241         cases the forwarder block dominates the destination.
242
243 2005-12-19  DJ Delorie  <dj@redhat.com>
244
245         * reload1.c (spill_failure): Dump reload data to dump file.
246         (find_reload_regs): Likewise.
247
248 2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
249
250         PR tree-optimization/24793
251         * tree-ssa-loop-ivopts.c (get_ref_tag): Remember the
252         original reference if there are subvars.
253         * tree-ssa-operands.c (get_tmr_operands): Handle subvars.
254
255 2005-12-19  Kenneth Zadeck <zadeck@naturalbridge.com>
256
257         * df.c (df_analyze_1, df_analyze_subcfg, iterative_dataflow):
258         Corrected basic block number calculations for changes in entry and
259         exit numbering.
260         
261 2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
262
263         * tree-flow.h (struct var_ann_d): Change type of
264         may_aliases field to VEC(tree, gc) *.
265         (may_aliases): Declaration changed.
266         * tree-ssa-alias.c (group_aliases, add_may_alias,
267         replace_may_alias, dump_may_aliases_for,
268         is_aliased_with, add_type_alias, new_type_alias):
269         Work with VEC(tree, gc) * instead of varray.
270         * tree-flow-inline.h (may_aliases): Ditto.
271         * tree-ssa.c (verify_flow_insensitive_alias_info,
272         verify_name_tags): Ditto.
273         * tree-ssa-operands.c (add_stmt_operand): Ditto.
274
275 2005-12-19  J"orn Rennecke <joern.rennecke@st.com>
276
277         * cfgcleanup.c: Temporarily revert patches for PR 20070 till Bernd
278         comes back.
279
280 2005-12-19  J"orn Rennecke <joern.rennecke@st.com>
281
282         * struct-equiv.c (struct_equiv_improve_checkpoint): Fix sets_cc0_p
283         check.
284
285 2005-12-19  Ben Elliston  <bje@au.ibm.com>
286
287         * doc/install.texi (Configuration): Typo in Fortran subheading.
288
289 2005-12-19  Nathan Sidwell  <nathan@codesourcery.com>
290
291         * config/mt/mt.md (decrement_and_branch_until_zero): Add another
292         scratch.  Correct its reload split. Adjust its peephole.
293         (doloop_end): Add additional scratch.
294         (nop): Use 'nop'.
295         * config/mt/mt.c (MT_INT_ARG_FIRST): Remove.
296         (mt_asm_output_opcode, mt_print_operand): Use 'nop'.
297         (mt_function_arg_slotno): Use FIRST_ARG_REGNUM.
298         (mt_builtin_saveregs): Replace with ...
299         (mt_setup_incoming_varargs): ... here.  Save just the varadic
300         args.
301         (mt_va_start): Remove.
302         (mt_reorg_hazard): Ignore USE insns.  Don't call set_noop_p.
303         (mt_machine_reorg): Split all insns here.
304         (TARGET_SETUP_INCOMING_VARARGS): Override.
305         * config/mt/mt.h (TARGET_CPU_CPP_BUILTINS): Define __mt__ only.
306         Set to CPU type.
307         (EXPAND_BUILTIN_VA_START): Remove.
308
309 2005-12-17  Kenneth Zadeck <zadeck@naturalbridge.com>
310
311         * flow.c (update_life_info, count_or_remove_death_notes): Fixed
312         latent bug that could happen if update_life_info was called with a
313         blocks parameter and the call to cleanup_cfg actually deleted one
314         of those blocks. 
315
316 2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
317
318         * tree-ssa-structalias.c (update_alias_info): Remove handling
319         of may_be_aliased (SSA_NAME_VAR (op)) case.
320
321 2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
322
323         * tree-flow.h (struct stmt_ann_d): Remove
324         makes_aliased_loads and makes_aliased_stores fields.
325         * tree-ssa-ccp.c (likely_value): Do not use makes_aliased_stores
326         and makes_aliased_loads fields.
327         * tree-ssa-dom.c (eliminate_redundant_computations): Do not
328         use makes_aliased_stores.
329         * tree-ssa-operands.c (clobbered_aliased_loads,
330         clobbered_aliased_stores, ro_call_aliased_loads): Removed.
331         (build_ssa_operands, add_stmt_operand, add_call_clobber_ops,
332         add_call_read_ops): Do not set makes_aliased_stores and
333         makes_aliased_loads fields.
334         * tree-ssa.c (verify_ssa): Do not verify makes_aliased_stores
335         field.
336
337 2005-12-18  Geoffrey Keating  <geoffk@apple.com>
338
339         * config/darwin.h: Don't include darwin-sections.def to declare
340         global variables; instead create darwin_section_enum.
341         (darwin_section_enum): New.
342         (darwin_sections): New.
343         * config/darwin.c: Don't include darwin-sections.def to define
344         global variables.
345         (darwin_sections): New.
346         (output_objc_section_asm_op): Rewrite to take advantage of
347         darwin_sections.
348         (darwin_init_sections): Rewrite to use darwin_sections.
349         (machopic_output_indirection): Update for darwin_sections array.
350         (machopic_select_section): Likewise.
351         (machopic_select_rtx_section): Likewise.
352         (machopic_asm_out_constructor): Likewise.
353         (machopic_asm_out_destructor): Likewise.
354         (darwin_file_end): Likewise.
355         * config/rs6000/rs6000.c (machopic_output_stub): Likewise.
356         * config/i386/i386.c (machopic_output_stub): Likewise.
357
358 2005-12-18  Richard Guenther  <rguenther@suse.de>
359
360         PR tree-optimization/25481
361         * tree-ssa-structalias.c (handle_ptr_arith): Handle accesses we
362         don't have a varinfo for.
363
364 2005-12-18  Jon Grimm  <jgrimm2@us.ibm.com>
365             Janis Johnson  <janis187@us.ibm.com>
366             Ben Elliston  <bje@au.ibm.com>
367
368         * optabs.c (init_floating_libfuncs): Handle decimal float modes.
369         (init_optabs): Handle libfuncs for decimal float.
370         * genopinit.c (gen_insn): Handle MODE_DECIMAL_FLOAT.
371         * stor-layout.c (int_mode_for_mode): Likewise.
372         * simplify-rtx.c (simplify_immed_subreg): Likewise.
373         (simplify_unary_operation_1): Skip optimisations for decimal float
374         modes.
375         * varasm.c (output_constant_pool_2): Handle MODE_DECIMAL_FLOAT.
376         * emit-rtl.c (gen_const_vector): Add assertion check.
377         (init_emit_once): Populate const_tiny_rtx with constants in each
378         decimal float mode.
379         * expmed.c (extract_high_half, expand_mult_highpart_optab,
380         expand_mult_highpart): Assert that mode is not a scalar float
381         mode.
382         * expr.c (convert_move): Handle conversion between decimal and
383         binary floats of the same size.
384         * convert.c (convert_to_real): Consider decimal float types when
385         folding.
386         * dwarf2out.c (base_type_die): Use DW_ATE_decimal_float to
387         describe decimal floating point types.
388         
389 2005-12-18  Ulrich Weigand  <uweigand@de.ibm.com>
390
391         PR rtl-optimization/21041
392         * reload.c (find_reloads_subreg_address): Replace paradoxical
393         subreg of MEM by widened access only if the resulting memory
394         is properly aligned, even on !STRICT_ALIGNMENT targets.
395
396 2005-12-18  Andreas Krebbel  <krebbel1@de.ibm.com>
397
398         * tree-cfg.c (tree_flow_call_edges_add): Check for empty basic blocks.
399
400 2005-12-18  Steven Bosscher  <stevenb@suse.de>
401
402         * gcse.c (gcse_main, bypass_jumps): Fix non-GNU-isms from
403         the 2005-12-17 patch to renumber the entry and exit blocks.
404
405 2005-12-18  Gabriel Dos Reis  <gdr@integrable-solutions.net>
406
407         * doc/objc.texi (Type encoding): Fix typo.
408
409 2005-12-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
410
411         * tree-tailcall.c (find_tail_calls): Use XNEW.
412         * tree-ssa-dom.c (allocate_edge_info): Use XCNEW.
413         (free_all_edge_infos): Use explicit cast to convert from void *.
414         (vrp_free): Likewise.
415         (dom_opt_finalize_block): Likewise.
416         (record_equivalences_from_incoming_edge): Likewise.
417         (thread_across_edge): Likewise.  Use XCNEWVEC.
418         (record_cond): Use XCNEW.
419         (record_conditions): Use XNEWVEC.
420         (record_edge_info): Use XCNEWVEC.
421         (lookup_avail_expr): Use XNEW.
422         (record_range): Likewise.  Use GGC_NEW.
423         * tree-nested.c (var_map_hash): Use explicit cast to convert from
424         void *.
425         (var_map_eq): Likewise.
426         (lookup_field_for_decl): Likewise.
427         (convert_nonlocal_reference): Likewise.
428         (convert_local_reference): Likewise.
429         (convert_nl_goto_reference): Likewise.
430         (convert_nl_goto_receiver): Likewise.
431         (convert_call_expr): Likewise.
432         (convert_tramp_reference): Likewise.
433         (lookup_tramp_for_decl): Likewise.Use GGC_NEW.
434         (convert_nl_goto_reference): Likewise.
435         (lookup_field_for_decl): Use GGC_NEW.
436         (create_nesting_tree): Use GGC_CNEW.
437         * tree-ssa-phiopt.c (blocks_in_phiopt_order): Use XNEWVEC.
438         * tree-ssa-alias.c (init_alias_info): Use XCNEW.
439         (create_alias_map_for): Likewise.
440         (setup_pointers_and_addressables): Use XCNEWVEC.
441         (get_ptr_info): Use GGC_NEW.
442         (used_part_map_eq): Use explicit cast to convert from void *.
443         (up_lookup): Likewise.
444         (up_insert): Use XNEW.
445         (get_or_create_used_part_for): Use XCNEW.
446         (get_tmt_for): Likewise.
447         * tree-ssa-operands.c (ssa_operand_alloc): Use GGC_NEW.
448         * tree-ssa-pre.c (phi_trans_add): Use XNEW.
449         (bitmap_set_new): Use explicit cast to convert from void *.
450         (set_new): Likewise.
451         (insert_into_set): Likewise.
452         (pool_copy_list): Likewise.
453         (phi_translate): Likewise.
454         (create_value_expr_from): Likewise.
455         (insert_aux): Use XCNEWVEC.
456         (compute_avail): Use XNEWVEC.
457         * tree-ssa-live.c (calculate_live_on_entry): Likewise.
458         (sort_coalesce_list): Likewise.
459         (build_tree_conflict_graph): Use XCNEWVEC.
460         * tree-ssa-dce.c (tree_dce_init): Use XNEWVEC.
461         * tree-ssa-copy.c (init_copy_prop): Likewise.
462         (fini_copy_prop): Likewise.
463         * tree-ssa-uncprop.c (associate_equivalences_with_edges): Use XNEW
464         and XCNEWVEC.
465         (record_equiv): Use XNEW.
466         (uncprop_into_successor_phis): Use explicit cast to convert from
467         void *.
468         (uncprop_initialize_block): Likewise.
469
470 2005-12-18  Dorit Nuzman  <dorit@il.ibm.com>
471
472         PR tree-optimization/24378      
473         * tree-vect-transform.c (vect_transform_loop): Create single-predecessor
474         basic-block after loop-versioning. 
475
476 2005-12-18  Jeff Law  <law@redhat.com>
477
478         * tree-ssa-dom.c (simplify_switch_and_lookup_avail_expr): Code
479         to simplify SWITCH_EXPR_CODE moved from here to ...
480         * tree-ssa-forwprop.c (simplify_switch_expr): Here.
481         (tree-ssa-forward_propagate_single_use_vars): Call
482         simplify_switch_expr when appropriate.
483
484 2005-12-17  Andrew Pinski  <pinskia@physics.uc.edu>
485
486         * doc/objc.texi (Type encoding): Add documentation about encoding
487         complex types and _Bool.
488
489 2005-12-17  Paul Brook  <paul@codesourcery.com>
490
491         * config/m68k/m68k.md (m68k_output_function_prologue): Always call
492         dwarf2out_def_cfa. Only add space for frame pointer to cfa_offset
493         when frame_pointer_needed. 
494
495 2005-12-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
496
497         * tree-vn.c (vn_add): Use XNEW.
498         * tree-ssa-ccp.c (ccp_initialize): Use XNEWVEC.
499         (ccp_fold): Likewise.
500         (fold_stmt_r): Use explicit cast to convert from void *.
501         * tree-outof-ssa.c (new_temp_expr_table): Use XCNEWVEC.
502         (new_temp_expr_table): Likewise.
503         * gimplify.c (lookup_tmp_var): Use XNEW.
504         (gimplify_asm_expr): Use explcit cast to convert from void *.
505         * tree-into-ssa.c (get_ssa_name_ann): Likewise.
506         (get_def_blocks_for): Use XNEW.
507         (add_to_repl_tbl): Likewise.
508         (mark_def_sites): Use explicit cast to convert from void *.
509         (def_blocks_free): Likewise.
510         (mark_def_sites_initialize_block): Likewise.
511         (update_ssa): Use XNEWVEC.
512         * tree-dfa.c (create_var_ann): Use GGC_NEW.
513         (create_stmt_ann): Likewise.
514         (create_tree_ann): Likewise.
515         (referenced_var_insert): Likewise.
516         (set_default_def): Likewise.
517         (referenced_var_lookup_if_exists): Use explicit cast to convert
518         from void *.
519         (referenced_var_lookup): Likewise.
520         (default_def): Likewise.
521         (set_default_def): Likewise.
522         * tree-cfg.c (create_bb): Likewise.
523         (edge_to_cases_cleanup): Likewise.
524         (verify_node_sharing): Likewise.
525         (record_switch_edge): Use XNEW.
526         (cleanup_dead_labels): Use XCNEWVEC.
527         (tree_duplicate_sese_region): Use XNEWVEC.
528         * tree-scalar-evolution.c (get_instantiated_value): Likewise.
529         * tree-ssa.c (verify_ssa): Use XCNEWVEC.
530         (int_tree_map_eq): Use explicit cast to convert from void *.
531         * libgcov.c (gcov_exit): Use explicit cast to convert from void *.
532         (__gcov_execl): Likewise.
533         (__gcov_execlp): Likewise.
534         (__gcov_execle): Likewise.
535         * tree-eh.c (struct_ptr_eq): Likewise.
536         (struct_ptr_hash): Likewise.
537         (lookup_stmt_eh_region_fn): Likewise.
538         (outside_finally_tree): Likewise.
539         (find_goto_replacement): Likewise.
540         (make_eh_edge): Likewise.
541         (mark_eh_edge): Likewise.
542         (add_stmt_to_eh_region_fn): Use GGC_NEW.
543         (record_in_finally_tree): Use XNEW.
544         (maybe_record_in_goto_queue): Use XRESIZEVEC.
545         (lower_try_finally_copy): Use XCNEWVEC.
546
547 2005-12-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
548
549         * tree-inline.c (copy_body_r): Use explicit cast when converting
550         from void *.
551         (copy_bb): Likewise.
552         (copy_edges_for_bb): Likewise.
553         (remap_decl_1): Likewise.
554         (estimate_num_insns_1): Likewise.
555         * cgraph.c (hash_node): Use explicit cast when converting from
556         void *.
557         (eq_node): Likewise.
558         (cgraph_create_node): Use GGC_CNEW.
559         (cgraph_create_edge): Use GGC_NEW.
560         (cgraph_remove_node): Use explicit cast when converting from void *.
561         (hash_varpool_node): Likewise.
562         (eq_varpool_node): Likewise.
563         (cgraph_varpool_node): Use GGC_CNEW.
564         * lambda.h (lambda_vector_new): Use GGC_CNEWVEC.
565         * tree-scalar-evolution.c (new_scev_info_str): Use XNEW.
566         (eq_scev_info): Use explicit cast when converting from void *.
567         (find_var_scev_info): Likewise.
568         (set_instantiated_value): Likewise.
569         (gather_stats_on_scev_database_1): Likewise.
570         * cfgloop.h (simple_loop_desc): Use explicit cast when converting
571         from void *.
572         * c-pch.c (c_common_write_pch): Use XNEWVEC.
573         (c_common_read_pch): Likewise.
574         * prefix.c (save_string): Use XNEWVEC.
575         (translate_name): Use explicit cast when converting from void *.
576         * c-ppoutput.c (print_line): Use explicit cast when converting
577         from void *.
578         (pp_dir_change): Likewise.
579         * c-cppbuiltin.c (builtin_define_std): Likewise.
580         (builtin_define_with_value): Likewise.
581         (builtin_define_with_value_n): Likewise.
582         (builtin_define_with_int_value): Likewise.
583         (builtin_define_type_max): Likewise.
584         * c-incpath.c (add_env_var_paths): Use XNEWVEC.
585         (add_path): Use XNEW.
586         * c-format.c (check_format_info_main): Use GGC_NEW.
587         (format_type_warning): Use explicit cast when converting from void *.
588         * c-typeck.c (alloc_tagged_tu_seen_cache): Use XNEW instead of
589         xmalloc. 
590         (start_init): Likewise.
591         * tree-flow-inline.h (first_referenced_var): Use explicit cast
592         when converting from void *.
593         (next_referenced_var): Likewise.
594         * c-pragma.c (push_alignment): Use GGC_NEW instead of ggc_alloc.
595         * gensupport.c (lookup_predicate): Use explicit cast to convert
596         from void *.
597         (init_predicate_table): Use XCNEW instead of xcalloc.
598         * genpreds.c (process_define_predicate): Likewise.
599
600 2005-12-17  Danny Berlin <dberlin@dberlin.org>
601             Kenneth Zadeck <zadeck@naturalbridge.com>
602
603         * basic-block.h: Changed basic block numbering so that the entry
604         block is 0 and the exit block is 1.  Changed insn iterators so
605         that they are tolerant of blocks with no insns.
606         * regrename.c (copyprop_hardreg_forward): Changed basic block
607         numbering so that the entry block is 0 and the exit block is 1.
608         * sched-ebb.c (sehedule_ebbs): Ditto.
609         * tracer.c (branch_ratio_cutoff): Ditto.
610         * cfgloopmanip.c (fix_loop_structure): Ditto.
611         * cfghooks.c (verify_flow_info): Ditto.
612         * cfg.c (compact_blocks): Ditto.
613         * reorg.c (dbr_schedule): Ditto.
614         * flow.c (calculate_global_regs_live, libcall_dead_p): Ditto.
615         * dominance.c (calc_dfs_tree_nonrec, calc_dfs_tree,
616         calculate_dominance_info): Ditto.
617         * cfganal.c (create_edge_list, print_edge_list,
618         flow_depth_first_order_compute, flow_dfs_compute_reverse_init,
619         flow_dfs_compute_reverse_add_bb, flow_dfs_compute_reverse_execute,
620         dfs_enumerate_from): Ditto.
621         * global.c (global_alloc, set_up_bb_rts_numbers): Ditto.
622         * ifcvt.c (find_if_case_2): Ditto.
623         * cfgbuild.c (control_flow_insn_p, count_basic_blocks,
624         find_basic_blocks): Ditto.
625         * predict.c (predict_loops, tree_bb_level_predictions,
626         predict_paths_leading_to, propagate_freq): Ditto.
627         * lcm.c (compute_antinout_edge, compute_laterin,
628         compute_available): Ditto.
629         * function.c (thread_prologue_and_epilogue_insns): Ditto.
630         * gcse.c (gcse_main, bypass_jumps): Ditto.
631         * profile.c (compute_branch_probabilities,
632         compute_value_histograms, branch_prob): Ditto.
633         * tree-flow-inline.h (bsi_start, bsi_after_labels,
634         bsi_last): Ditto.
635         * tree-ssa-phiopt.c (tree_ssa_phiopt,
636         blocks_in_phiopt_order): Ditto.
637         * bt-load.c (compute_defs_uses_and_gen, compute_kill,
638         compute_out, link_btr_uses, migrate_btr_defs): Ditto.
639         * tree-dfa.c (collect_dfa_stats): Ditto.
640         * cfgcleanup.c (try_forward_edges, try_optimize_cfg): Ditto.
641         * cfglayout.c (fixup_reorder_chain): Ditto.
642         * bb-reorder.c (reorder_basic_blocks, duplicate_computed_gotos,
643         partition_hot_cold_basic_blocks): Ditto.
644         * var-tracking.c (vt_find_locations): Ditto.
645         * cfgloop.c (flow_loops_cfg_dump, flow_loops_find, get_loop_body): Ditto.
646         * sched-rgn.c (compute_trg_info, init_regions, schedule_insns): Ditto.
647         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, make_edges
648         label_to_block_fn, print_loop_ir, tree_flow_call_edges_add): Ditto.
649         * tree-ssa-reassoc.c (init_reassoc): Ditto.
650         * cfgrtl.c (entry_of_function, rtl_verify_flow_info,
651         rtl_flow_call_edges_add, rtl_flow_call_edges_add): Ditto.
652         * df.c (df_analyze_1, hybrid_search, iterative_dataflow): Ditto
653         and removed unused reverse orders.
654         * df.h (): Ditto.
655         * combine.c: Fix document typo.
656
657 2005-12-17  Jan Hubicka  <jh@suse.cz>
658
659         * tree-flow-inline.h (set_default_def, default_def): Kill.
660         * tree-dfa.c (default_defs): New global variable.
661         (default_def, set_default_def): New functions.
662         * tree-ssa.c (init_tree_ssa, delete_tree_ssa): Add default_def hash.
663         * tree-flow.h (struct var_ann_d): Kill default_def field.
664         (set_default_def, default_def): Update prototype.
665         (default_defs): Declare.
666
667 2005-12-16  Jeff Law  <law@redhat.com>
668
669         * tree-ssa-dom.c (update_rhs_and_lookup_avail_expr): Kill.
670         (simplify_rhs_and_lookup_avail_expr): Kill.  Remnants moved
671         into tree-ssa-forwprop.c.
672         (eliminate_redundant_computations): Do not call
673         simplify_rhs_and_lookup_avail_expr anymore.
674         * tree-ssa-forwprop.c (simplify_not_neg_expr): New function
675         extracted from remnants of simplify_rhs_and_lookup_avail_expr.
676         (tree_ssa_forward_propagate_single_use_vars): Call
677         simplify_not_neg_expr appropriately.
678
679 2005-12-16  Bernd Trog  <berndtrog@yahoo.com>
680
681         PR target/20016
682         * config/avr/t-avr: Add -Os to TARGET_LIBGCC2_CFLAGS.
683
684 2005-12-17  Kazu Hirata  <kazu@codesourcery.com>
685
686         PR rtl-optimization/25456
687         * struct-equiv.c (struct_equiv_improve_checkpoint): Replace
688         info->x_start with p->x_start.
689
690 2005-12-17  Alan Modra  <amodra@bigpond.net.au>
691
692         * simplify-rtx.c (simplify_binary_operation_1 <IOR>): Correct bug
693         introduced 2005-12-16.
694
695 2005-12-16  Steven Bosscher  <stevenb@suse.de>
696
697         PR rtl-optimization/23837
698         * optabs.c (expand_binop): For a multi-word rotate, never emit
699         a REG_NO_CONFLICT block.
700
701 2005-12-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
702
703         PR middle-end/25457
704         * reorg.c (mostly_true_jump): Remove unused variable 'insn'.
705
706         PR target/25447
707         * config/pa/pa.c (pa_scalar_mode_supported_p): Handle
708         MODE_DECIMAL_FLOAT.
709
710 2005-12-16  Steven Bosscher  <stevenb@suse.de>
711
712         * loop-invariant.c (move_loop_invariants): Add missing hunk from
713         the previous patch, to nullify df.
714
715 2005-12-16  Steven Bosscher  <stevenb@suse.de>
716
717         * reorg.c (mostly_true_jump): Clean up code depending on
718         LABEL_OUTSIDE_LOOP_P and loop notes.  Remove code doing
719         poor man's branch prediction, instead rely on REG_BR_PROB
720         notes to be available.
721
722 2005-12-16  Jakub Jelinek  <jakub@redhat.com>
723
724         PR rtl-optimization/24899
725         * loop.c (strength_reduce): Don't reduce giv that is not always
726         computable and where add_val or mult_val can trap.
727
728         * doc/invoke.texi (-fdump-tree-*): Remove note about C/C++ only.
729
730 2005-12-16  Nathan Sidwell  <nathan@codesourcery.com>
731
732         * config/mt/mt.h (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Correct
733         names of ms1-16-002 files.
734
735 2005-12-16  Alan Modra  <amodra@bigpond.net.au>
736
737         PR driver/20425
738         * gcc.c (for_each_path): New function.
739         (add_to_obstack, file_at_path): New functions.
740         (struct file_at_path_info, struct add_to_obstack_info): New.
741         (build_search_list): Rewrite using for_each_path.  Constify struct
742         path_prefix pointer.  Add do_multi param.  Adjust all callers.
743         (find_a_file): Similarly, but just change existing param to bool.
744         (putenv_from_prefixes): Add do_multi param, make "paths" const.
745         (do_spec_path): Delete.
746         (struct spec_path_info): New.
747         (spec_path): New function.
748         (do_spec_1): Use for_each_path for %D and %I.
749         (find_file): Adjust for find_a_file changes.
750         (main): Search multilibs for specs.  Print multilib lib path for
751         -print-search-dirs.  Likewise add multilibs to LIBRARY_PATH_ENV.
752         (read_specs): Search multilibs for %include and %include_noerr.
753         (is_directory): Remove second string param.  Change last param
754         to a bool.  Don't use concat.  Remove SMALL_ARG_MAX test, always
755         check path is a dir.  Update all callers.
756         * doc/hostconfig.texi (SMALL_ARG_MAX): Remove mention.
757         * system.h (SMALL_ARG_MAX): Poison.
758         * config.gcc: Don't define SMALL_ARG_MAX.
759         * config.host: Likewise.
760         * config.build: Likewise.
761
762 2005-12-16  Paolo Bonzini  <bonzini@gnu.org>
763
764         * combine.c (combine_simplify_rtx <case NOT, NEG, TRUNCATE,
765         FLOAT_TRUNCATE, FLOAT_EXTEND, PLUS, MINUS, AND, IOR, XOR,
766         ABS, VEC_SELECT, POPCOUNT, PARITY, FFS, FLOAT>,
767         simplify_logical): Move simplifications that do not require
768         additional infrastructure...
769         * simplify-rtx.c (simplify_unary_operation_1,
770         simplify_binary_operation_1): ... here.
771
772 2005-12-16  Andreas Krebbel  <krebbel1@de.ibm.com>
773
774         PR 24823
775         * flow.c (mark_used_dest_regs): New function.
776         (mark_used_regs): Call mark_used_dest_regs.
777
778 2005-12-16  Jeff Law  <law@redhat.com>
779
780         * tree-ssa-dse.c (dse_optimize_stmt): Correctly handle PHI nodes which
781         represent a use and definition of the same SSA_NAME.
782
783 2005-12-16  Jon Grimm  <jgrimm2@us.ibm.com>
784             Janis Johnson  <janis187@us.ibm.com>
785             Ben Elliston  <bje@au.ibm.com>
786
787         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): New.
788         (TARGET_INITIALIZER): Add TARGET_DECIMAL_FLOAT_P.
789         * target.h (struct gcc_target): Add decimal_float_supported_p.
790         * targhooks.c (default_scalar_mode_supported_p): Handle
791         MODE_DECIMAL_FLOAT.
792         * builtins.def: Add new builtins for 32, 64 and 128 bit variants
793         of inf, nan, finite, isinf and isnan.
794         * builtin-types.def (BT_DFLOAT32, BT_DFLOAT64, BT_DFLOAT128,
795         BT_DFLOAT32_PTR, BT_DFLOAT64_PTR, BT_DFLOAT128_PTR,
796         BT_FN_DFLOAT32, BT_FN_DFLOAT64, BT_FN_DFLOAT128,
797         BT_FN_INT_DFLOAT32, BT_FN_INT_DFLOAT64, BT_FN_INT_DFLOAT128,
798         BT_FN_DFLOAT32_CONST_STRING, BT_FN_DFLOAT64_CONST_STRING,
799         BT_FN_DFLOAT32_CONST_STRING, BT_FN_DFLOAT32_DFLOAT32,
800         BT_FN_DFLOAT64_DFLOAT64, BT_FN_DFLOAT128_DFLOAT128): New.
801         * c-decl.c (declspecs_add_type): Verify combos on type qualifiers.
802         Pedwarn if decimal floating point types are used.  Error if
803         decimal floating point is not supported by the target.
804         (finish_declspecs): Return type from DFP typespec_word.
805         * c-typeck.c (c_common_type): Choose the decimal floating point
806         type with the greater precision when determining a common type.
807         (convert_arguments): Warn if there is a mismatch between argument
808         and prototype for decimal float types.  Warn of conversions with
809         binary float types and of precision narrowing due to prototype.
810         * c-parser.c (reswords): Add _Decimal32, _Decimal64, _Decimal128.
811         (c_token_starts_typename): Handle RID_DFLOAT32/64/128.
812         (c_token_starts_declspecs): Likewise.
813         (c_parser_attributes): Likewise.
814         * c-common.h (enum rid): Add new enumeration values RID_DFLOAT32,
815         RID_DFLOAT64, RID_DFLOAT128.
816         (T_D32, TEX_D32, T_D64, TEX_D64, T_D128, TEX_D128): New macros.
817         * c-common.c (c_common_type_for_mode): Handle decimal float modes.
818         (shorten_compare): Convert DFP/BFP operands to a common type.
819         (c_common_modes_and_builtins): Register built-in decimal float
820         types if the target supports them.
821         (handle_mode_addtribute): Handle MODE_DECIMAL_FLOAT.
822         * builtins.c (fold_builtin_1): Handle 32, 64 and 128 bit cases of
823         inf, nan, finite, isinf and isnan builtins.
824         * c-cppbuiltin.c (builtin_define_decimal_float_constants): New.
825         (builtin_define_float_constants): Assert non-decimal radix.
826         (c_cpp_builtins): Register built-in __DEC_EVAL_METHOD__ define.
827         Call builtin_define_decimal_float_constants for each type.
828         * c-lex.c (interpret_float): Decode decimal float types from CPP_N
829         flags.  Use real_from_string3, which can handle binary or decimal
830         floats.
831         * c-tree.h (enum c_typespec_keyword): Add cts_dfloat32,
832         cts_dfloat64, cts_dfloat128.
833         * tree.c (build_common_tree_nodes_2): Add decimal float types.
834         * tree.h (enum tree_index): Add new enumeration values
835         TI_DFLOAT32_TYPE, TI_DFLOAT64_TYPE, TI_DFLOAT128_TYPE,
836         TI_DFLOAT32_PTR_TYPE, TI_DFLOAT64_PTR_TYPE, TI_DFLOAT128_PTR_TYPE.
837         (dfloat32_type_node): New macro.
838         (dfloat64_type_node, dfloat128_type_node): Likewise.
839         (dfloat32_ptr_type_node, dfloat64_ptr_type_node): Likewise.
840         (dfloat128_ptr_type_node): Likewise.
841         * c-pretty-print.c (pp_c_floating_constant): Append 32, 64 and 128
842         bit decimal floating point types with "df", "dd" and "dl".
843         * c-format.h (enum format_lengths): Add new enumeration values
844         FMT_LEN_H, FMT_LEN_D and FMT_LEN_DD.
845         * c-format.c (printf_length_specs, scanf_length_specs): Add
846         entries for H, D, DD.
847         (print_char_table, scan_char_table): Use new entries.
848         (asm_fprintf_char_table, gcc_diag_char_table,
849         gcc_cdiag_char_table, gcc_cxxdiag_char_table): Adjust for longer
850         length arrays.
851         * defaults.h (DECIMAL32_TYPE_SIZE): Define.
852         (DECIMAL64_TYPE_SIZE): Likewise.
853         (DECIMAL128_TYPE_SIZE): Likewise.
854         (TARGET_DEC_EVAL_METHOD): Likewise.
855         * doc/extend.texi (Decimal Float): New node.
856         (Constructing Calls): Document decimal float built-ins.
857         * doc/tm.texi: Document TARGET_DECIMAL_FLOAT_SUPPORTED_P hook.
858         * Makefile.in (USER_H): Add $(srcdir)/ginclude/decfloat.h.
859         * ginclude/decfloat.h: New file.
860
861 2005-12-16  Alan Modra  <amodra@bigpond.net.au>
862
863         * reload.c (find_reloads): Fix comment typo.
864         * recog.h (recog_memoized): Correct comment.
865
866 2005-12-16  Kazu Hirata  <kazu@codesourcery.com>
867
868         * basic-block.h, config/i386/winnt.c, config/pa/pa.c,
869         config/s390/s390.c, dfp.c, expr.c, fold-const.c, params.def,
870         reload.c, struct-equiv.c, tree-ssa-ccp.c, tree-ssa-pre.c,
871         tree-ssa-reassoc.c, tree-ssa-structalias.c: Fix comment typos.
872         * doc/invoke.texi, doc/tm.texi: Fix typos.
873
874 2005-12-16  Ben Elliston  <bje@au.ibm.com>
875
876         * real.c (decimal_quad_format): Correct values for emin, emax.
877
878 2005-12-15  DJ Delorie  <dj@redhat.com>
879
880         * config/m32c/predicates.md (m32c_psi_scale): New.
881         * config/m32c/m32c.c (m32c_expand_neg_mulpsi3): New.
882         * config/m32c/muldiv.md (mulpsi3): Support negative constants.
883
884 2005-12-16  Jan Hubicka  <jh@suse.cz>
885
886         PR rtl-optimization/25224
887         * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Free copy
888         tables.
889
890 2005-12-15  Zdenek Dvorak <dvorakz@suse.cz>
891             Steven Bosscher <stevenb@suse.de>
892
893         * loop-invariant.c (df): New global variable.
894         (find_defs, check_dependencies, find_invariant_insn, record_uses,
895         find_invariants_bb, find_invariants_body, find_invariants,
896         find_invariants_to_move, move_invariants, free_inv_motion_data,
897         move_single_loop_invariants, move_loop_invariants): Do not pass df in
898         arguments.
899
900 2005-12-15  Jakub Jelinek  <jakub@redhat.com>
901
902         * varasm.c (default_unique_section_1): Use special section
903         names for SECCAT_DATA_REL{,_RO}{,_LOCAL}.
904
905 2005-12-16  Ben Elliston  <bje@au.ibm.com>
906
907         * doc/invoke.texi (Warning Options): Document -Walways-true being
908         enabled by -Wall.
909
910 2005-12-15  Joseph S. Myers  <joseph@codesourcery.com>
911
912         PR other/25028
913         * libgcc2.h (SF_SIZE, DF_SIZE, XF_SIZE, TF_SIZE): Define.
914         * libgcc2.c (__floatdixf, __floatundixf, __floatditf,
915         __floatunditf): Use #error if type sizes don't match requirements
916         of implementation.
917         (__floatdisf, __floatdidf): Unify.  Possibly use XFmode or TFmode
918         as wider floating-point type.  Use #error if type sizes don't
919         match requirements of implementation.  Avoid overflow in computing
920         Wtype_MAXp1_F * Wtype_MAXp1_F.  When special casing conversion,
921         shift one more bit.  Cast 1 to DWtype or UDWtype for shifting.
922         (__floatundisf, __floatundidf): Likewise.
923         * config/ia64/hpux.h (XF_SIZE, TF_SIZE): Define.
924         * config/ia64/ia64.c (ia64_init_libfuncs): Use
925         _U_Qfcnvfxt_quad_to_quad and _U_Qfcnvxf_quad_to_quad for
926         TFmode-TImode conversions.
927         * doc/tm.texi (SF_SIZE, DF_SIZE, XF_SIZE, TF_SIZE): Document.
928
929 2005-12-14  Craig Rodrigues  <rodrigc@gcc.gnu.org>
930
931         * freebsd-spec.h (FBSD_TARGET_OS_CPP_BUILTINS):
932         Use builtin_define_with_int_value() instead of
933         adding a new check for every new major FreeBSD version.
934
935 2005-12-14  Andrew Pinski  <pinskia@physics.uc.edu>
936
937         * config/t-darwin (darwin-c.o): Depend on $(TREE_H) instead of tree.h.
938
939 2005-12-15  Richard Sandiford  <richard@codesourcery.com>
940
941         * config/arm/predicates.md (call_memory_operand): New.
942         * config/arm/arm.md (*call_mem, *call_value_mem): Use it.
943
944 2005-12-15  Andrew Haley  <aph@redhat.com>
945
946         * unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Guard
947         against prev_cache_entry == NULL when moving a cache entry to the
948         head of the list.
949         
950 2005-12-15  Nathan Sidwell  <nathan@codesourcery.com>
951
952         * config/mt/mt.c (mt_override_options): Require lower case
953         architectures.  Revert accidental default to ms2.
954         * config/mt/mt.h (ASM_SPEC, LIBSPEC, STARTFILE_SPEC,
955         ENDFILE_SPEC): Require lower case architectures.  Revert default
956         to ms2.
957
958         * doc/invoke.texi (MT Options): Rename and update.
959         * doc/md.texi (MorphoTech family): Rename and update.
960
961 2005-12-15  Olivier Hainque  <hainque@adacore.com>
962
963         * stor-layout.c (layout_type): Don't complain about a too small
964         an array element type size compared to its alignment when the
965         size overflows.
966
967 2005-12-15  Jan Hubicka  <jh@suse.cz>
968
969         PR target/24969
970         * i386.c (classify_argument): Properly adjust offset of bitfield for
971         substructures.
972
973 2005-12-15  Richard Sandiford  <richard@codesourcery.com>
974
975         * final.c (final_scan_insn): Flip in_cold_section_p when changing
976         between the hot and cold sections.  Use current_function_section
977         to get the new section.
978         * dwarf2out.c (output_line_info): Use in_cold_section_p to
979         determine whether we are assembling hot or cold code.
980         (secname_for_decl, dwarf2out_var_location): Likewise.
981         (dwarf2out_init, dwarf2out_finish): Use switch_to_section.
982         * varasm.c (last_text_section): Delete.
983         (in_cold_section_p): New variable.
984         (hot_function_section): New function.
985         (current_function_section): Pass in_cold_section_p as the
986         reloc argument to select_section.  Use it to decide between
987         unlikely_function_section and hot_function_section.
988         (assemble_start_function): Use switch_to_section.  Set
989         in_cold_section_p instead of last_text_section.
990         (assemble_end_function): Use switch_to_section.
991         (switch_to_section): Don't set last_text_section.
992         * config/darwin/darwin.c (machopic_select_section): Trust the reloc
993         argument to make the right choice between hot and cold sections.
994
995 2005-12-15  Nathan Sidwell  <nathan@codesourcery.com>
996
997         Second part of MS1->MT renaming
998         * config/mt/mt.md (doloop_end): Call mt_add_loop.
999         (movqi, movhi): Call mt_set_memflags.
1000         (*movdf_internal): Call mt_split_words. 
1001         (reload_inqi, reload_outqi, reload_inhi, reload_outhi): Call
1002         mt_set_memflags.
1003         (cmpsi): Store to mt_compare_op[01].
1004         (beq, bne, bge, bgt, ble, blt, bgeu, bgtu, bleu, bltu, bunge,
1005         bungt, bunle, bunlt): Call mt_emit_cbranch.
1006         (prologue): Call mt_expand_prologue.
1007         (epilogu): Call mt_expend_epilogue.
1008         (eh_return): Call mt_expand_eh_return.
1009         (eh_epilogue): Call me_emit_eh_epilogue.
1010         (conditional_trap): Store to mt_compare_op[01].
1011         * config/mt/crti.asm: Adjust comment.
1012         * config/mt/crtn.asm: Adjust comment.
1013         * config/mt/mt.c (MT_INT_ARG_FIRST): Renamed.
1014         (mt_compare_op0, mt_compare_op1): Renamed.
1015         (current_frame_info, zero_frame_info): Adjust type.
1016         (mt_ucmpsi3_libcall): Renamed.
1017         (mt_flag_delayed_branch): Renamed.
1018         (mt_struct_value_rtx, mt_return_addr_rtx): Renamed.
1019         (mt_nops_required, mt_nop_reasons): Renamed.
1020         (mt_asm_output_opcode, mt_get_attr_type, mt_final_prescan_insn,
1021         mt_debug_stack, mt_print_operand_simple_address,
1022         mt_print_operand_address, mt_print_operand): Renamed, adjusted.
1023         (mt_init_cumulative_args, mt_function_arg_slotno, mt_function_arg,
1024         mt_function_arg_advance, mt_arg_partial_bytes,
1025         mt_pass_by_reference, mt_function_arg_boundary,
1026         mt_reg_ok_for_base_p, mt_legitimate_simple_address_p,
1027         mt_legitimate_address_p): Renamed, adjusted.
1028         (mt_cpu): Renamed.
1029         (mt_init_machine_status, mt_override_options, mt_builtin_saveregs,
1030         mt_va_start, mt_compute_frame_size, mt_emit_save_restore,
1031         mt_emit_save_fp, mt_emit_save_regs, mt_interrupt_function_p, 
1032         mt_expand_prologue, mt_epilogue_uses, mt_expand_epilogue,
1033         mt_expand_eh_return, mt_emit_eh_prologue,
1034         mt_handl_interrupt_attribute): Renamed, adjusted.
1035         (mt_attribute_table): Renamed, adjusted.
1036         (mt_initial_elimination_offset, mt_generate_compare,
1037         mt_emit_cbranch, mt_set_memflags_1, mt_set_memflags,
1038         mt_secondary_reload_class, mt_function_value, mt_split_words,
1039         mt_pass_in_stack, mt_add_loop, mt_loop_nesting, mt_block_length,
1040         mt_scan_loop, mt_reorg_loops): Renamed, adjusted.
1041         (mt_labels): Renamed.
1042         (mt_add_branches, mt_check_delay_slot, mt_reorg_hazard,
1043         mt_machine_reorg): Renamed, adjusted.
1044         (mt_attribute_table: Renamed.
1045         (TARGET_ATTRIBUTE_TABLE, TARGET_STRUCT_VALUE_RTX,
1046         TARGET_PASS_BY_REFERENCE, TARGET_MUST_PASS_IN_STACK,
1047         TARGET_ARG_PARTIAL_BYTES, TARGET_MACHINE_DEPENDENT_REORG): Adjust.
1048         * config/mt/mt.opt (march): Set mt_cpu_string.
1049         * config/mt/mt.h (mt_ucmpsi3_libcall, mt_cpu): Renamed.
1050         (TARGET_CPU_CPP_BUILTINS): Adjust.
1051         (TARGET_MS1_64_001, TARGET_MS1_16_002, TARGET_MS1_16_003,
1052         TARGET_MS2): Adjust.
1053         (TARGET_VERSION, OVERRIDE_OPTIONS, SECONDARY_RELOAD_CLASS): Adjust.
1054         (MT_MIN_INT): Renamed.
1055         (RETURN_ADDR_RTX): Adjust.
1056         (struct mt_frame_info): Renamed.
1057         (current_frame_info): Adjust type.
1058         (INITIAL_ELIMINATION_OFFSET): Adjust.
1059         (MT_NUM_ARG_REGS): Renamed.
1060         (REG_PARM_STACK_SPACE, FUNCTION_ARG, INIT_CUMULATVE_ARGS,
1061         FUNCTION_ARG_ADVANCE, FUNCTION_ARG_BOUNDARY, FUNCTION_VALUE,
1062         LIBCALL_VALUE, EPILOGUE_USES, EXPAND_BUILTIN_VA_START,
1063         GO_IF_LEGITIMATE_ADDRESS, REG_OK_FOR_BASE_P, ASM_OUTPUT_OPCODE,
1064         FINAL_REPSCAN_INSN, PRINT_OPERAND, PRINT_OPERAND_ADDRESS): Adjust.
1065         (mt_compare_op0, mt_compare_op1): Renamed.
1066         * config/mt/mt-protos.h: Rename prototypes.
1067
1068 2005-12-15  Richard Guenther  <rguenther@suse.de>
1069
1070         * tree-flow.h (okay_component_ref_for_subvars): Remove.
1071         (get_ref_base_and_extent): Declare.
1072         * tree-dfa.c (okay_component_ref_for_subvars): Remove.
1073         (get_ref_base_and_extent): New function.
1074         * tree-ssa-alias.c (find_used_portions): Use it.
1075         * tree-ssa-structalias.c (get_constraint_for_component_ref):
1076         Likewise.
1077         * tree-ssa-operands.c (get_expr_operands): Likewise.
1078
1079 2005-12-15  Paolo Bonzini  <bonzini@gnu.org>
1080
1081         * combine.c: Remove force_to_mode's fourth parameter.
1082         (force_to_mode): Do not handle REG.
1083         (canon_reg_for_combine): New.
1084         (make_field_assignment): Use it where the removed argument was non-NULL.
1085
1086 2005-12-15  Alan Modra  <amodra@bigpond.net.au>
1087
1088         PR target/25406
1089         * config/rs6000/rs6000.c (rs6000_special_round_type_align): Handle
1090         error_mark_node.  Make alignment params unsigned.
1091         * config/rs6000/rs6000-protos.h
1092         (rs6000_special_round_type_align): Update prototype.
1093         (rs6000_machopic_legitimize_pic_address): Remove arg names.
1094
1095 2005-12-14  Ulrich Weigand  <uweigand@de.ibm.com>
1096
1097         PR rtl-optimization/25310
1098         * reload1.c (eliminate_regs_in_insn): Handle lowpart SUBREGs
1099         of the eliminable register when substituting into a PLUS.
1100
1101 2005-12-14  Jakub Jelinek  <jakub@redhat.com>
1102
1103         PR debug/25023
1104         * config/i386/i386.c (ix86_force_to_memory): Always use
1105         SImode push for HImode in -m32.
1106         (ix86_free_from_memory): Likewise.
1107
1108 2005-12-14  Richard Sandiford  <richard@codesourcery.com>
1109
1110         * gcc/config/arm/arm.md: Provide a big-endian version of the
1111         (zero_extend:SI (subreg:QI ...)) splitter.
1112
1113 2005-12-14  J"orn Rennecke <joern.rennecke@st.com>
1114
1115         * struct-equiv.c (note_local_live): Handle hard regs with different
1116         hard_regno_nregs.
1117
1118 2005-12-14  Jeff Law  <law@redhat.com>
1119
1120         * tree-ssa-ccp.c (fold_stmt_r): DATA argument is now a pointer
1121         to a structure containing state rather than a pointer to bool.
1122         (case ARRAY_REF): New code to handle folding some array references.
1123         (case ADDR_EXPR): Note when we are processing expressions found
1124         within an ADDRE_EXPR.
1125         (fold_stmt, fold_stmt_inplace): Pass in a structure to fold_stmt_r
1126         for state variables rather than just a pointer to a boolean.
1127         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Remove
1128         handling of constant string references.
1129
1130 2005-12-14  Adrian Straetling  <straetling@de.ibm.com>
1131
1132         * config/s390/s390.md ("*tstdi_extimm", "*tstsi_extimm"): Merge.
1133         ("*tstdi_cconly_extimm", "*tstsi_cconly_extimm"): Merge.
1134         ("*tstdi_cconly2", "*tstsi_cconly2"): Merge.
1135         Move other tst* patterns to retain partial order.
1136
1137 2005-12-14  Adrian Straetling  <straetling@de.ibm.com>
1138
1139         * config/s390/s390.md ("d0", "1"): New mode attributes.
1140         ("<shift>di3", "<shift>si3"): Merge.
1141         ("*<shift>di3_and", "*<shift>si3_and"): Merge.
1142         ("ashrdi3", "ashrsi3"): Merge.
1143         ("*ashrdi3_cc", "*ashrsi3_cc"): Merge.
1144         ("*ashrdi3_cc_and", "*ashrsi3_cc_and"): Merge.
1145         ("*ashrdi3_cconly", "*ashrsi3_cconly"): Merge.
1146         ("*ashrdi3_cconly_and", "*ashrsi3_cconly_and"): Merge.
1147         ("*ashrdi3", "*ashrsi3"): Merge.
1148         ("*ashrdi3_and", "*ashrsi3_and"): Merge.
1149
1150 2005-12-14  Adrian Straetling  <straetling@de.ibm.com>
1151
1152         * config/s390/s390.md ("extend<mode>di2", "extend<mode>si2"): Merge.
1153         ("*extendqidi2_extimm", "*extendqisi2_extimm"): Merge.
1154         ("*extendqidi2", "*extendqisi2") Merge.
1155         ("*extendqidi2_short_displ", "*extendqisi2_short_displ"): Merge.
1156         ("zero_extendhidi2", "zero_extendqidi2"): Merge.
1157         ("*zero_extend<mode>di2_extimm", "*zero_extend<mode>si2_extimm"): Merge.
1158         Move some patterns to retain partial ordering.
1159
1160 2005-12-14  Adrian Straetling  <straetling@de.ibm.com>
1161
1162         * config/s390/s390.md ("atype", "length"): Rewrite.
1163         ("*insv<mode>_reg_imm", "*insv<mode>_reg_extimm"): Add mode.
1164
1165 2005-12-14  Sebastian Pop  <pop@cri.ensmp.fr>
1166
1167         * tree-ssa-operands.c (build_ssa_operands): Update leading comment.
1168
1169 2005-12-14  J"orn Rennecke <joern.rennecke@st.com>
1170
1171         * struct-equiv.c (rtx_equiv_p): Allow arbitrary RVALUE values for
1172         PARALLELs with a mode.
1173
1174 2005-12-14  Sebastian Pop  <pop@cri.ensmp.fr>
1175
1176         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Adjust the type of
1177         cond_expr parameter.
1178
1179 2005-12-14  Sebastian Pop  <pop@cri.ensmp.fr>
1180
1181         * loop-unswitch.c (unswitch_loop): Free zero_bitmap before returning.
1182
1183 2005-12-14  J"orn Rennecke <joern.rennecke@st.com>
1184
1185         PR bootstrap/25397:
1186
1187         * struct-equiv.c (struct_equiv_init): Fix off-by-one error in clearing
1188         of STACK_REGS bits.
1189
1190         * struct-euiv.c (rtx_equiv_p): Remove SUBREG case.
1191
1192 2005-12-14  Jakub Jelinek  <jakub@redhat.com>
1193
1194         PR target/25254
1195         PR target/24188
1196         * config/i386/i386.c (x86_64_elf_select_section): If DECL is not
1197         DECL_P, call get_section rather than get_named_section.  Supply
1198         section flags to it.
1199
1200 2005-12-14  Ben Elliston  <bje@au.ibm.com>
1201
1202         * c-common.c (c_common_truthvalue_conversion): Generalise warning
1203         for addresses converted to booleans; not just function addresses.
1204         * c-typeck.c (build_binary_op): Warn for address comparisons which
1205         can never be NULL (eg. func == NULL or &var == NULL).
1206         * common.opt (Walways-true): New option.
1207         * c-opts.c (c_common_handle_option): Set it with -Wall.
1208         * doc/invoke.texi: Document it.
1209
1210 2005-12-13  Paul Brook  <paul@codesourcery.com>
1211
1212         * config/m68k/fpgnulib.c (__unordsf2, __unorddf2, __unordxf2,
1213         __floatunsidf, __floatunsisf, __floatunsixf): New functions.
1214
1215 2005-12-13  Nathan Sidwell  <nathan@codesourcery.com>
1216
1217         * config/mt/t-mt (crti.o, crtn.o): Add multilib options.
1218         (EXTRA_MULTILIB_PARTS): Define.
1219
1220 2005-12-13  J"orn Rennecke <joern.rennecke@st.com>
1221
1222         PR rtl-optimization/20070 / part1
1223         * flow.c (update_life_info): If PROP_POST_REGSTACK is set, call
1224         count_or_remove_death_notes with kill == -1.
1225         (mark_set_1): Don't add REG_DEAD / REG_UNUSED notes for stack
1226         registers if PROP_POST_REGSTACK is set.
1227         (mark_used_reg): Likewise.
1228         (count_or_remove_death_notes): If kill is -1, don't remove REG_DEAD /
1229         REG_UNUSED notes for stack regs.
1230         * cfgcleanup.c (condjump_equiv_p): Change parameters and processing
1231         to match rtx_equiv_p machinery.  Change caller.
1232         (outgoing_edges_match): Likewise.
1233         (try_crossjump_to_edge): Use struct_equiv_block_eq
1234         instead of flow_find_cross_jump.
1235         * basic-block.h (PROP_POST_REGSTACK, STRUCT_EQUIV_START): Define.
1236         (STRUCT_EQUIV_RERUN, STRUCT_EQUIV_FINAL): Likewise.
1237         (STRUCT_EQUIV_NEED_FULL_BLOCK, STRUCT_EQUIV_MATCH_JUMPS): Likewise.
1238         (STRUCT_EQUIV_MAX_LOCAL): Likewise.
1239         (struct struct_equiv_checkpoint, struct equiv_info): Likewise.
1240         (insns_match_p): Update prototype.
1241         (flow_find_cross_jump): Remove prototype.
1242         (struct_equiv_block_eq, struct_equiv_init): Declare.
1243         (rtx_equiv_p, condjump_equiv_p): Likewise.
1244         * struct-equiv.c: Include reload.h.
1245         (IMPOSSIBLE_MOVE_FACTOR): Define.
1246         (assign_reg_reg_set, struct_equiv_make_checkpoint): New functions.
1247         (struct_equiv_improve_checkpoint): Likewise.
1248         (struct_equiv_restore_checkpoint, rtx_equiv_p): Likewise.
1249         (set_dest_equiv_p, set_dest_addr_equiv_p, struct_equiv_init): Likewise.
1250         (struct_equiv_merge, find_dying_input): Likewise.
1251         (resolve_input_conflict, note_local_live): Likewise.
1252         (death_notes_match_p): Change parameters and processing
1253         to match rtx_equiv_p machinery.  Change caller.
1254         (insns_match_p): Likewise.
1255         (flow_find_cross_jump): Replace with:
1256         (struct_equiv_block_eq).
1257
1258         Back out this change:
1259         2005-03-07  Kazu Hirata  <kazu@cs.umass.edu>
1260           * recog.c (verify_changes): Make it static.
1261           * recog.h: Remove the corresponding prototype.
1262
1263 2005-12-13  J"orn Rennecke <joern.rennecke@st.com>
1264
1265         * rtlhooks.c (gen_lowpart_general): Handle SUBREGs of floating point
1266         values.
1267
1268 2005-12-13  Nathan Sidwell  <nathan@codesourcery.com>
1269
1270         * config/mt/t-mt (MULTILIB_OPTIONS): Add ms2
1271         (MULTILIB_DIRNAMES): Add ms2.  Prefix ms1 dirs with 'ms1'.
1272         * config/mt/mt.c (ms1_final_prescan): Use TARGET_MS2,
1273         TARGET_MS1_64_001 appropriately.
1274         (ms1_machine_reorg): Use TARGET_MS2.
1275
1276 2005-12-13  Jakub Jelinek  <jakub@redhat.com>
1277
1278         PR debug/25023
1279         PR target/25293
1280         * expr.c (emit_move_resolve_push): Handle PRE_MODIFY
1281         and POST_MODIFY with CONST_INT adjustment equal to PUSH_ROUNDING.
1282         Fix POST_INC/POST_DEC handling if PUSH_ROUNDING is not identity.
1283         * config/i386/i386.md (pushhi2, pushqi2): Use pushl instead of pushw.
1284         Set mode to SI, adjust constraints.
1285         (pushhi2_rex64, pushqi2_rex64): Set mode to DI.
1286         * config/i386/i386.h (PUSH_ROUNDING): Round up to 4 instead of 2 for
1287         32-bit code.
1288
1289 2005-12-13  Carlos O'Donell <carlos@codesourcery.com>
1290
1291         * c-cppbuiltin.c (builtin_define_float_constants): Add
1292         fp_cast parameter, pass to builtin_define_with_hex_fp_value.
1293         Define __FLT_HAS_DENORM__, __DBL_HAS_DENORM__, __LDBL_HAS_DENORM__.
1294         (builtin_define_with_hex_fp_value): Use fp_cast when building macro.
1295         (c_cpp_builtins): If flag_single_precision_constant then set fp_cast
1296         to "((double)%sL)" otherwise "%s".
1297
1298 2005-12-13  Paul Brook  <paul@codesourcery.com>
1299
1300         * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for
1301         apcs/atpcs.
1302
1303 2005-12-11 Rafael vila de Espndola <rafael.espindola@gmail.com>
1304
1305         * tree-flow.h: Allow compilation with a C++ compiler.
1306         (struct edge_prediction): Prefix all field names  with "ep_".
1307         * predict.c (tree_predicted_by_p): Likewise for struct edge_prediction.
1308         (tree_predict_edge, combine_predictions_for_bb): Likewise.
1309         (remove_predictions_associated_with_edge): Likewise.
1310         
1311 2005-12-12  Jeff Law  <law@redhat.com>
1312
1313         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Remove
1314         reassociation code.
1315         * passes.c (init_optimization_passes): Run reassociation again
1316         after loop optimizations.
1317
1318 2005-12-12  Daniel Berlin  <dberlin@dberlin.org>
1319
1320         * tree-ssa-dom.c (thread_across_edge): Canonicalize condition
1321         if necessary.
1322         (optimize_stmt): Ditto.
1323         (canonicalize_comparison): New function.
1324         * tree-ssa-operands.c (swap_tree_operands): Make external.
1325         (get_expr_operands): Stop auto-canonicalization.
1326         * tree-ssa-reassoc.c: Rewrite.
1327         (init_optimization_passes): 
1328         * tree-flow.h (swap_tree_operands): Prototype.
1329         * Makefile.in (tree-ssa-reassoc.o): Update dependencies.
1330
1331 2005-12-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1332
1333         * pa.c (pa_output_function_epilogue): Set cfun->machine->in_nsubspa to
1334         indicate function epilogue has been output.
1335         (pa_asm_output_mi_thunk): Likewise.
1336         (output_deferred_plabels): Put plabels in readonly data section when
1337         not generating PIC code.
1338         (som_output_text_section_asm_op): Use .NSUBSPA to output debug
1339         information.  Add assert.
1340         (som_output_comdat_data_section_asm_op): New function.
1341         (pa_som_asm_init_sections): Use som_output_comdat_data_section_asm_op
1342         instead of output_section_asm_op for COMDAT sections.
1343
1344 2005-12-12  J"orn Rennecke <joern.rennecke@st.com>
1345
1346         * cfgcleanup.c (condjump_equiv_p, try_crossjump_to_edge):
1347         Fix whitespace in vincinity of to-be-installed changes.
1348         * struct-equiv.c (merge_memattrs, death_notes_match_p): Fix whitespace.
1349         (insns_match_p): Likewise.
1350
1351 2005-12-12  Nathan Sidwell  <nathan@codesourcery.com>
1352
1353         * config.gcc (ms1): Replace with ...
1354         (mt): ... this.
1355         * config/ms1: Rename to ...
1356         * config/mt: ... here.  Rename ms1 files to mt.
1357         * config/mt/mt.c: Adjust gt-mt.h #include.
1358         * config/mt/t-mt (LIB1ASMSRCS, LIB2FUNCS_EXTRA): Adjust.
1359         (crti.o, crtn.o): Adjust file names.
1360
1361 2005-12-12  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1362
1363         * varray.h: Allow compilation with a C++ compiler.
1364         (union varray_data_tag): Prefix all field names with "vdt_".
1365         (VARRAY_CHAR, VARRAY_UCHAR, VARRAY_SHORT, VARRAY_USHORT,
1366         VARRAY_INT, VARRAY_UINT, VARRAY_LONG, VARRAY_ULONG,
1367         VARRAY_WIDE_INT, VARRAY_UWIDE_INT, VARRAY_GENERIC_PTR,
1368         VARRAY_GENERIC_PTR_NOGC, VARRAY_CHAR_PTR, VARRAY_RTX,
1369         VARRAY_RTVEC, VARRAY_TREE, VARRAY_BITMAP, VARRAY_REG, VARRAY_BB,
1370         VARRAY_ELT_LIST, VARRAY_EDGE, VARRAY_TREE_PTR): Adjust definition.
1371         (VARRAY_PUSH_CHAR, VARRAY_PUSH_UCHAR, VARRAY_PUSH_SHORT,
1372         VARRAY_PUSH_USHORT, VARRAY_PUSH_INT, VARRAY_PUSH_UINT, 
1373         VARRAY_PUSH_LONG, VARRAY_PUSH_ULONG, VARRAY_PUSH_WIDE_INT, 
1374         VARRAY_PUSH_UWIDE_INT, VARRAY_PUSH_GENERIC_PTR, 
1375         VARRAY_PUSH_GENERIC_PTR_NOGC, VARRAY_PUSH_CHAR_PTR, 
1376         VARRAY_PUSH_RTX, VARRAY_PUSH_RTVEC, VARRAY_PUSH_TREE, 
1377         VARRAY_PUSH_BITMAP, VARRAY_PUSH_REG, VARRAY_PUSH_BB, 
1378         VARRAY_PUSH_EDGE, VARRAY_PUSH_TREE_PTR): Likewise.
1379         (VARRAY_TOP_CHAR, VARRAY_TOP_UCHAR, VARRAY_TOP_SHORT, 
1380         VARRAY_TOP_USHORT, VARRAY_TOP_INT, VARRAY_TOP_UINT, 
1381         VARRAY_TOP_LONG, VARRAY_TOP_ULONG, VARRAY_TOP_WIDE_INT, 
1382         VARRAY_TOP_UWIDE_INT, VARRAY_TOP_GENERIC_PTR, 
1383         VARRAY_TOP_GENERIC_PTR_NOGC, VARRAY_TOP_CHAR_PTR, VARRAY_TOP_RTX, 
1384         VARRAY_TOP_RTVEC, VARRAY_TOP_TREE, VARRAY_TOP_BITMAP, 
1385         VARRAY_TOP_REG, VARRAY_TOP_BB, VARRAY_TOP_EDGE, 
1386         VARRAY_TOP_TREE_PTR): Likewise.
1387         * varray.c (varray_grow): Likewise.
1388         (varray_clear): Likewise.
1389
1390 2005-12-12  Alan Modra  <amodra@bigpond.net.au>
1391
1392         PR target/25299
1393         * config/rs6000/rs6000.c (rs6000_special_round_type_align): Increase
1394         alignment to doubleword if the first field is a double array.
1395         * config/rs6000/linux64.h (TARGET_ALIGN_NATURAL): Define.
1396
1397 2005-12-11  Daniel Berlin  <dberlin@dberlin.org>
1398
1399         * tree-ssa-structalias.c (process_constraint): Remove code to
1400         transform addressofs into scalar.
1401         (create_variable_info_for): In whole-program IPA, globals don't
1402         point to ANYTHING by default.
1403
1404 2005-12-11  Daniel Berlin  <dberlin@dberlin.org>
1405
1406         * timevar.def (TV_IPA_PTA): New.
1407         * tree-pass.h (pass_ipa_pta): New
1408         * tree-ssa-structalias.c: Include cgraph.h
1409         (in_ipa_mode): New.
1410         (predbitmap_obstack): New.
1411         (EXECUTE_IF_IN_NONNULL_BITMAP): New.
1412         (struct constraint_stats): Add num_edges.
1413         (new_var_info): Don't call bitmap_clear.
1414         (struct constraint_edge): Update docs.
1415         (new_constraint_edge): Remove src param.
1416         (struct constraint_graph): Add zero_weight_succs,
1417         zero_weight_preds.  Update docs.
1418         (constraint_expr_equal): Reformat.
1419         (constraint_edge_equal): Update for removal of src.
1420         (constraint_edge_less): Ditto.
1421         (constraint_edge_vec_find): Ditto.
1422         (erase_graph_self_edge): Update for removal of src and and zero
1423         weight bitmap.
1424         (clear_edges_for_node): Ditto.
1425         (add_graph_edge): Ditto.
1426         (get_graph_weights): Ditto.
1427         (allocate_graph_weights): Ditto.
1428         (merge_graph_nodes): Ditto.
1429         (int_add_graph_edge): Ditto.
1430         (valid_graph_edge): Ditto.
1431         (valid_weighted_graph_edge): Ditto.
1432         (build_constraint_graph): Ditto.
1433         (scc_visit): Ditto.
1434         (collapse_nodes): Ditto.
1435         (process_unification_queue): Ditto.
1436         (topo_visit): Ditto.
1437         (solve_graph): Ditto.
1438         (do_structure_copy): Ditto.
1439         (perform_var_substitution): Ditto.
1440         Init and release obstack.
1441         (handle_ptr_arith): Try to resolve directly.
1442         (find_func_aliases): Don't call update_alias_info here
1443         Handle RETURN_EXPR, and CALL_EXPR's in IPA mode.
1444         (do_sd_constraint): Add code for propagating faster.
1445         Update.
1446         (do_ds_constraint): Ditto.
1447         (count_num_arguments): New function.
1448         (create_function_info_for): Ditto.
1449         (create_variable_info_for): Handle FUNCTION_DECL.
1450         (intra_create_variable_infos): Use make_constraint_to_anything.
1451         (init_alias_vars): Init obstacks here.
1452         (need_to_solve): Handle zero weight graph changes.
1453         (compute_points_to_sets): Call update_alias_info here.
1454         (delete_points_to_sets): Free zero weight preds/succs here.
1455         (gate_ipa_pta): New.
1456         (ipa_pta_execute): New
1457
1458 2005-12-11  Daniel Berlin  <dberlin@dberlin.org>
1459
1460         * tree-ssa-structalias.c (var_anyoffset): Removed.
1461         (anyoffset_tree): Ditto.
1462         (anyoffset_id): Ditto.
1463         (do_deref): Take vector of constraints, no return value.
1464         Update to work on vector.                
1465         (get_constraint_for): Ditto.
1466         (get_constraint_for_component_ref): Ditto.
1467         (do_structure_copy): Ditto.
1468         (handle_ptr_arith): Ditto.
1469         (find_func_aliases): Ditto.
1470         (set_uids_in_ptset): Remove anyoffset handling.
1471         (init_base_vars): Ditto.
1472
1473 2005-12-10  Mark Mitchell  <mark@codesourcery.com>
1474
1475         PR c++/25010
1476         * ipa-inline.c (cgraph_clone_inlined_nodes): Do not assume that
1477         DECL_EXTERNAL functions have no bodies.  Tidy.
1478
1479 2005-12-10  Andreas Schwab  <schwab@suse.de>
1480
1481         * except.c (switch_to_exception_section): Only define if
1482         TARGET_UNWIND_INFO is not defined.
1483
1484 2005-12-10  Richard Sandiford  <richard@codesourcery.com>
1485
1486         * config/darwin.h (HAS_INIT_SECTION): Remove definition.
1487         (INIT_SECTION_ASM_OP): Restore empty definition from before 2005-12-07.
1488
1489 2005-12-10  Richard Sandiford  <richard@codesourcery.com>
1490
1491         * output.h (init_section, fini_section): Delete.
1492         * varasm.c (init_section, fini_section): Delete.
1493         (init_varasm_once): Don't initialize them.
1494         * doc/tm.texi (INIT_SECTION_ASM_OP, FINI_SECTION_ASM_OP): Say that
1495         there are no corresponding varasm.c variables.
1496
1497 2005-12-10  Richard Sandiford  <richard@codesourcery.com>
1498
1499         * dwarf2out.c (default_eh_frame_section): Delete, moving handling
1500         of EH_FRAME_SECTION_NAME into...
1501         (switch_to_eh_frame_section): ...here.  Try to set eh_frame_section
1502         if it is still null.
1503         * except.c (default_exception_section): Delete, moving most
1504         of the code to...
1505         (switch_to_exception_section): ...this new function.  Set
1506         exception_section if it is still null, then switch to it.
1507         (output_function_exception_table): Use switch_to_exception_section.
1508         * varasm.c (exception_section, eh_frame_section): Update comments.
1509         (get_section): Hoist use of SECTION_NAMED.
1510         (init_varasm_once): Don't set exception_section and eh_frame_section.
1511         * output.h (default_exception_section): Delete.
1512         (default_eh_frame_section): Delete.
1513
1514 2005-12-09  Bernd Schmidt  <bernd.schmidt@analog.com>
1515
1516         * config/bfin/bfin.c: Include "cgraph.h".
1517         (bfin_load_pic_reg): Omit loading pic reg if in a local function.
1518         Return the reg that holds the pointer to the GOT.
1519         (bfin_expand_prologue): Use return value of bfin_load_pic_reg when
1520         doing stack checking.
1521
1522 2005-12-09  Diego Novillo  <dnovillo@redhat.com>
1523
1524         * tree.c (recompute_tree_invariant_for_addr_expr): Rename from
1525         recompute_tree_invarant_for_addr_expr.
1526         Update uses everywhere.
1527
1528 2005-12-09  Aldy Hernandez  <aldyh@redhat.com>
1529
1530         * config/ms1/t-ms1 (MULTILIB_OPTIONS): Define.
1531         (MULTILIB_DIRNAMES): Define.
1532
1533 2005-12-09  Ulrich Weigand  <uweigand@de.ibm.com>
1534
1535         PR target/25311
1536         * config/s390/s390.c (struct s390_address): New field literal_pool.
1537         (s390_decompose_address): Compute literal_pool field.  Do not 
1538         assume register %r13 is always (and solely) used as pool base.
1539         (s390_extra_constraint_str): Use literal_pool field.
1540
1541 2005-12-09  Thiemo Seufer  <ths@networkno.de>
1542
1543         * config/mips/mips.c (override_options): Don't allow too small
1544         integers in FP registers.
1545
1546 2005-12-09  Ulrich Weigand  <uweigand@de.ibm.com>
1547
1548         * config/s390/s390.c (s390_function_ok_for_sibcall): Use
1549         targetm.binds_local_p to check for local function calls.
1550
1551 2005-12-09  Alan Modra  <amodra@bigpond.net.au>
1552
1553         PR debug/24908
1554         * dwarf2out.c (dwarf2out_frame_debug_expr): Don't assert that
1555         call_used_regs can't be used to save reg in another reg.
1556
1557 2005-12-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1558             Christophe Jaillet  <christophe.jaillet@wanadoo.fr>
1559
1560         * ipa-type-escape.c (analyze_variable): Use gcc_assert instead of
1561         abort.
1562         * except.c (output_ttype): Likewise.
1563         * tree-object-size.c (collect_object_sizes_for): Likewise.
1564         (check_for_plus_in_loops_1): Likewise.
1565         (check_for_plus_in_loops): Likewise.
1566         (compute_object_sizes): Use gcc_unreachable instead of abort.
1567
1568 2005-12-08  Nathan Sidwell  <nathan@codesourcery.com>
1569
1570         * config/ms1/ms1.md (UNSPEC_LOOP): New constant.
1571         (loop_end, loop_init, doloop_end): New insns.
1572         * config/ms1/ms1.h (LOOP_FIRST, LOOP_LAST): New.
1573         (SPECIAL_REG_FIRST, FIRST_PSEUDO_REGISTER): Adjust.
1574         (FIXED_REGISTERS, CALL_USED_REGISTERS): Adjust.
1575         (REG_CLASS_CONTENTS, REGISTER_NAMES): Adjust.
1576         * config/ms1/ms1.c: #include basic-block.h
1577         (struct machine_function): Add has_loops field.
1578         (ms1_add_loop): New.
1579         (MAX_LOOP_DEPTH, MAX_LOO_LENGTH): New.
1580         (struct loop_info, struct loop_work): New.
1581         (ms1_loop_nesting, ms1_block_length, ms1_scan_loop): New workers.
1582         (ms1_reorg_loops): New loop optimization.
1583         (ms1_machine_reorg): Call it.
1584         * config/ms1/ms1-protos.h (ms1_add_loop): Declare.
1585
1586 2005-12-08  Zdenek Dvorak  <dvorakz@suse.cz>
1587
1588         PR tree-optimization/25248
1589         * tree-scalar-evolution.c (follow_ssa_edge_in_rhs): Do not use
1590         evolution_of_loop from the failed attempt.  Remove handling
1591         of MULT_EXPR.
1592
1593 2005-12-08  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1594
1595         * tree.h (DECL_EXTERNAL): Clarify documentation.
1596
1597 2005-12-08  Andreas Krebbel  <krebbel1@de.ibm.com>
1598             Jakub Jelinek  <jakub@redhat.com>
1599
1600         PR target/25268
1601         * config/s390/s390.c (s390_decompose_shift_count): Remove BITS
1602         argument.  Don't drop outer ANDs.
1603         (s390_extra_constraint_str, print_shift_count_operand): Adjust callers.
1604         * config/s390/s390-protos.h (s390_decompose_shift_count): Adjust
1605         prototype.
1606         * config/s390/predicates.md (setmem_operand): Remove.
1607         (shift_count_operand): Rename to...
1608         (shift_count_or_setmem_operand): ... this.  Adjust
1609         s390_decompose_shift_count caller.
1610         * config/s390/s390.md (<shift>di3_31_and, <shift>di3_64_and,
1611         ashrdi3_cc_31_and, ashrdi3_cconly_31_and, ashrdi3_31_and,
1612         ashrdi3_cc_64_and, ashrdi3_cconly_64_and, ashrdi3_64_and,
1613         <shift>si3_and, ashrsi3_cc_and, ashrsi3_cconly_and, ashrsi3_and,
1614         rotl<mode>3_and, setmem_long_and): New insns.
1615         (<shift>di3_31, <shift>di3_64, ashrdi3_cc_31, ashrdi3_cconly_31,
1616         ashrdi3_31, ashrdi3_cc_64, ashrdi3_cconly_64, ashrdi3_64,
1617         <shift>si3, ashrsi3_cc, ashrsi3_cconly, ashrsi3, rotl<mode>3,
1618         <shift>di3, ashrdi3): Use shift_count_or_setmem_operand instead
1619         of shift_count_operand.
1620         (setmem_long): Use shift_count_or_setmem_operand instead of
1621         setmem_operand.
1622
1623 2005-12-08  Daniel Jacobowitz  <dan@codesourcery.com>  
1624             Andreas Tobler  <a.tobler@schweiz.ch>
1625
1626         * Makefile.in (ALL_GTFILES_H): Replace sed statement with more portable
1627         tr expression.
1628
1629 2005-12-07  J"orn Rennecke <joern.rennecke@st.com>
1630
1631         * expr.c (force_operand): Use convert_to_mode for conversions.
1632
1633 2005-12-07  J"orn Rennecke <joern.rennecke@st.com>
1634
1635         * reload.h (reg_equiv_invariant): Declare.
1636         * reload.c (refers_to_regno_for_reload_p): Allow R to be a pseudo
1637         register also when reg_equiv_invariant[R] is set.
1638
1639 2005-12-07  Richard Sandiford  <richard@codesourcery.com>
1640             Andreas Tobler  <a.tobler@schweiz.ch>
1641
1642         * config/darwin.h: Guard section variables with #ifndef USED_FOR_TARGET.
1643
1644 2005-12-07  Daniel Berlin  <dberlin@dberlin.org>
1645
1646         * tree-ssa-pre.c (bitmap_set_and): New function.
1647         (bitmap_set_and_compl): New function.
1648         (bitmap_set_empty_p): New function.
1649         (insert_extra_phis): New function.
1650         (compute_avail): Use insert_extra_phis.
1651
1652 2005-12-07  Adrian Straetling  <straetling@de.ibm.com>
1653
1654         * config/s390/s390.c (s390_expand_atomic): New function.
1655         Adjust comment of helper functions.
1656         * config/s390/s390-protos.h (s390_expand_atomic): Declare.
1657         * config/s390/s390.md ("ATOMIC"): New code macro.
1658         ("atomic"): Corresponding new code attribute.
1659         ("sync_lock_test_and_set[hq]i", 
1660         "sync_{new_,old_,}{and,ior,xor,add,sub,nand}[hq]i"): New pattern.
1661
1662 2005-12-07  Adrian Straetling  <straetling@de.ibm.com>
1663
1664         * config/s390/s390.c (s390_expand_mask_and_shift, 
1665         struct alignment_context, init_alignment_context, 
1666         s390_expand_cs_hqi): New.
1667         * config/s390/s390-protos.h (s390_expand_cs_hqi): Declare.
1668         * config/s390/s390.md ("sync_compare_and_swaphi",
1669         "sync_compare_and_swapqi"): New pattern.
1670
1671 2005-12-07  Daniel Berlin <dberlin@dberlin.org>
1672
1673         Fix PR tree-optimization/25291
1674         * tree-ssa-operands.c (add_call_clobber_ops): Remove
1675         redundant and crashing check.
1676
1677 2005-12-08  Alan Modra  <amodra@bigpond.net.au>
1678
1679         PR target/25212
1680         * config/rs6000/rs6000.c (legitimate_indexed_address_p): Relax
1681         tests further when !strict && reload_in_progress.
1682         (print_operand): Check that both operands of indexed address are regs.
1683         (print_operand_address): Likewise.
1684         * config/rs6000/rs6000.h (INT_REG_OK_FOR_INDEX_P): Simplify.
1685         (INT_REG_OK_FOR_BASE_P): Correct.
1686
1687 2005-12-07  J"orn Rennecke <joern.rennecke@st.com>
1688
1689         Preparation for PR rtl-optimization/20070 / part1
1690         * basic-block.h (insns_match_p, flow_find_cross_jump): Declare.
1691         * cfgcleanup.c (condjump_equiv_p): New function, broken out of
1692         outgoing_edges_match.
1693         (outgoing_edges_match): Use condjump_equiv_p.
1694         (merge_memattrs, insns_match_p, flow_find_cross_jump): Move from here
1695         into..
1696         * struct-equiv.c: New file.
1697         (death_notes_match_p) New function, broken out of insns_match_p.
1698         * Makefile.in (OBJS-common): Add struct-equiv.o.
1699         (struct-equiv.o): New target.
1700
1701 2005-12-07  Richard Sandiford  <richard@codesourcery.com>
1702
1703         * coretypes.h: Revert previous change.
1704         * config/darwin.h: Revert previous reversion.
1705         * config/avr/avr.h (progmem_section): Guard with #ifndef IN_LIBGCC2.
1706
1707 2005-12-07  Richard Sandiford  <richard@codesourcery.com>
1708
1709         * coretypes.h (section): Provide dummy definition for target files.
1710         * config/darwin.h: Revert previous change.
1711
1712 2005-12-07  Rafael vila de Espndola  <rafael.espindola@gmail.com>
1713
1714         * doc/sourcebuild.texi (all.build, install-normal): Remove.
1715         * configure.ac: Remove all.build and install-normal from target_list
1716         * configure: Regenerate.
1717         * Makefile.in (install): Don't depend on install-normal.
1718
1719 2005-12-07  Rafael vila de Espndola  <rafael.espindola@gmail.com>
1720
1721         * Makefile.in: Document the use of stamps.
1722
1723 2005-12-07  Rafael vila de Espndola  <rafael.espindola@gmail.com>
1724
1725         * doc/gty.texi: Remove instructions for adding a dependency on s-gtype.
1726         * Makefile.in: Add code to compute some dependencies on s-gtype
1727         automatically.  Remove the declaration of those dependencies.
1728
1729 2005-12-07  Richard Sandiford  <richard@codesourcery.com>
1730
1731         * gcc/reload.c (push_secondary_reload): Fix typo:
1732         s/insn_constraint/scratch_constraint/.
1733
1734 2005-12-07  Richard Sandiford  <richard@codesourcery.com>
1735
1736         * config/darwin.h: Guard section variables with #ifndef IN_LIBGCC2.
1737
1738 2005-12-07  Richard Sandiford  <richard@codesourcery.com>
1739
1740         * config/alpha/alpha.c (alpha_start_function): Use switch_to_section.
1741         (alpha_elf_select_rtx_section): Return the selected section rather
1742         than emitting assembly code.
1743         (alpha_write_linkage): Emit a ".link" directive directly and then
1744         set in_section to NULL.
1745         (vms_asm_out_constructor): Use switch_to_section.
1746         (vms_asm_out_destructor): Likewise.
1747         (unicosmk_output_common): Set in_section to NULL instead of calling
1748         the dummy common_section function.
1749         (unicosmk_text_section): Delete in favor of...
1750         (unicosmk_output_text_section_asm_op): ...this new function.
1751         (unicosmk_data_section): Delete in favor of...
1752         (unicosmk_output_data_section_asm_op): ...this new function.
1753         (unicosmk_init_sections): New function.
1754         (unicosmk_output_deferred_case_vectors): Use switch_to_section.
1755         (unicosmk_output_ssib): Set in_section to NULL instead of calling
1756         the dummy ssib_section function.
1757         (unicosmk_section_buf): Delete.
1758         * config/alpha/alpha-protos.h (unicosmk_text_section): Delete.
1759         (unicosmk_data_section): Delete.
1760         * config/alpha/elf.h (ASM_OUTPUT_ALIGNED_LOCAL): Use switch_to_section.
1761         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS, sbss_section, sdata_section)
1762         (SECTION_FUNCTION_TEMPLATE): Delete.
1763         * config/alpha/unicosmk.h (TEXT_SECTION_ASM_OP, DATA_SECTION_ASM_OP)
1764         (READONLY_DATA_SECTION, EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
1765         (common_section, COMMON_SECTION, ssib_section, SSIB_SECTION): Delete.
1766         (ASM_OUTPUT_ALIGNED_LOCAL): Use switch_to_section.
1767         (TARGET_ASM_INIT_SECTIONS): Define.
1768         * config/alpha/vms.h (LINK_SECTION_ASM_OP, LITERALS_SECTION_ASM_OP)
1769         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
1770         (link_section, literals_section): Delete.
1771         (ASM_OUTPUT_DEF): Emit the ".literal" directive directly and then
1772         set in_section to NULL.
1773
1774         * config/arm/aof.h (TEXT_SECTION_ASM_OP, DATA_SECTION_ASM_OP): Delete.
1775         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS, ZERO_INIT_SECTION): Delete.
1776         (COMMON_SECTION): Delete.
1777         (TARGET_ASM_INIT_SECTIONS): Define.
1778         (ASM_OUTPUT_COMMON): Set in_section to NULL rather than calling
1779         the dummy common_section function.
1780         * config/arm/aout.h (ASM_OUTPUT_ALIGNED_LOCAL): Use switch_to_section.
1781         * config/arm/arm.c (get_jump_table_size): Use pointer comparison
1782         between readonly_data_section and text_section to check whether
1783         read-only data is being put in the text section.
1784         (arm_output_function_epilogue): Use switch_to_section.
1785         (arm_elf_asm_constructor): Likewise.
1786         (thumb_call_via_reg): Replace call to in_text_section with
1787         a comparison between in_section and text_section.
1788         (arm_file_end): Use switch_to_section.
1789         (aof_text_section): Delete in favor of...
1790         (aof_output_text_section_asm_op): ...this new function.
1791         (aof_data_section): Delete in favor of...
1792         (aof_output_data_section_asm_op): ...this new function.
1793         (aof_asm_init_sections): New function.
1794         (zero_init_section): Moved from config/arm/aof.h.
1795         (aof_dump_imports, aof_file_start): Use switch_to_section.
1796         * config/arm/arm.h (thumb_call_via_label): Update comment.
1797         * config/arm/arm-protos.h (aof_text_section, aof_data_section): Delete.
1798         (common_section): Delete.
1799         * config/arm/pe.h (ASM_DECLARE_FUNCTION_NAME): Use switch_to_section.
1800         (ASM_DECLARE_OBJECT_NAME): Update the type of save_section.  Use the
1801         global switch_to_section function instead of the old port-local one.
1802         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS, DRECTVE_SECTION_FUNCTION)
1803         (SWITCH_TO_SECTION_FUNCTION): Delete.
1804         (drectve_section): Redefine as a macro.
1805         * config/arm/unknown-elf.h (ASM_OUTPUT_ALIGNED_BSS):
1806         (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Use get_named_section and
1807         switch_to_section.
1808
1809         * config/avr/avr.c (progmem_section): New variable.
1810         (avr_output_progmem_section_asm_op): New function.
1811         (avr_asm_init_sections): New function.
1812         (avr_output_addr_vec_elt): Use switch_to_section.
1813         * config/avr/avr.h (progmem_section): Declare.
1814         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
1815         (READONLY_DATA_SECTION): Delete.
1816         (TARGET_ASM_INIT_SECTIONS): Define.
1817         (ASM_OUTPUT_CASE_LABEL): Use switch_to_section.
1818         * config/avr/avr-protos.h (progmem_section): Delete.
1819
1820         * config/bfin/bfin.h (ASM_OUTPUT_LOCAL): Use switch_to_section.
1821
1822         * config/c4x/c4x.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
1823         (INIT_SECTION_FUNCTION, FINI_SECTION_FUNCTION): Delete.
1824
1825         * config/darwin-sections.def: New file.
1826         * config/darwin.c: Define all sections in darwin-sections.def.
1827         (output_objc_section_asm_op, darwin_init_sections): New functions.
1828         (machopic_output_indirection): Use switch_to_section.
1829         (machopic_select_section): Return the selected section rather than
1830         emitting assembly code.  Replace the static function table with
1831         inline conditional expressions.  Update the tests of last_text_section
1832         and move them into the FUNCTION_DECL block.
1833         (machopic_select_rtx_section): Return the selected section rather than
1834         emitting assembly code.
1835         (machopic_asm_out_constructor, machopic_asm_out_destructor)
1836         (darwin_file_end): Use switch_to_section.
1837         * config/darwin.h: Use darwin-sections.def to declare sections.
1838         (INIT_SECTION_ASM_OP): Remove empty definition.
1839         (HAS_INIT_SECTION): Define this instead.
1840         (SECTION_FUNCTION, EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
1841         (READONLY_DATA_SECTION, TARGET_ASM_EXCEPTION_SECTION): Delete.
1842         (TARGET_ASM_EH_FRAME_SECTION): Delete.
1843         (TARGET_ASM_INIT_SECTIONS): Define.
1844         * config/darwin-protos.h (darwin_init_sections): Declare.
1845         (machopic_picsymbol_stub_section, machopic_picsymbol_stub1_section)
1846         (machopic_symbol_stub_section, machopic_symbol_stub1_section): Delete.
1847         (machopic_lazy_symbol_ptr_section, machopic_nl_symbol_ptr_section)
1848         (constructor_section, destructor_section, mod_init_section): Delete.
1849         (mod_term_section): Delete.
1850         (darwin_exception_section, darwin_eh_frame_section): Delete.
1851         (machopic_select_section): Return a section.
1852         (machopic_select_rtx_section): Likewise.
1853         (text_coal_section, text_unlikely_section, text_unlikely_coal_section)
1854         (const_section, const_coal_section, const_data_section): Delete.
1855         (const_data_coal_section, data_coal_section, cstring_section): Delete.
1856         (literal4_section, literal8_section, constructor_section): Delete.
1857         (mod_init_section, mod_term_section, destructor_section): Delete.
1858         (objc_class_section, objc_meta_class_section, objc_category_section)
1859         (objc_class_vars_section, objc_instance_vars_section): Delete.
1860         (objc_cls_meth_section, objc_inst_meth_section): Delete.
1861         (objc_cat_cls_meth_section, objc_cat_inst_meth_section): Delete.
1862         (objc_selector_refs_section, objc_selector_fixup_section): Delete.
1863         (objc_symbols_section, objc_module_info_section): Delete.
1864         (objc_image_info_section, objc_protocol_section): Delete.
1865         (objc_string_object_section, objc_constant_string_object_section)
1866         (objc_class_names_section, objc_meth_var_names_section): Delete.
1867         (objc_meth_var_types_section, objc_cls_refs_section): Delete.
1868         (machopic_lazy_symbol_ptr_section, machopic_nl_symbol_ptr_section)
1869         (machopic_symbol_stub_section, machopic_picsymbol_stub_section)
1870         (darwin_exception_section, darwin_eh_frame_section): Delete.
1871         * config/t-darwin (darwin.o): Depend on config/darwin-sections.def.
1872
1873         * config/frv/frv.c (frv_asm_out_constructor): Use switch_to_section.
1874         (frv_asm_out_destructor): Likewise.
1875         * config/frv/frv.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
1876         (SDATA_SECTION_FUNCTION, FIXUP_SECTION_FUNCTION): Delete.
1877         (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Use switch_to_section and
1878         get_named_section.
1879         (ASM_OUTPUT_CASE_LABEL): Use switch_to_section.
1880         * config/frv/frv-protos.h (fixup_section, sdata_section, sbss_section)
1881         (data_section): Delete.
1882
1883         * config/i386/cygming.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
1884         (DRECTVE_SECTION_FUNCTION): Delete.
1885         (drectve_section): Redefine as a macro that sets in_section after
1886         emitting the directive.
1887         (SWITCH_TO_SECTION_FUNCTION): Delete.
1888         * config/i386/darwin.h (ASM_OUTPUT_ALIGN): Replace call to
1889         in_text_section with comparison between in_section and text_section.
1890         * config/i386/i386.c (x86_64_elf_select_section): Return the section
1891         rather than emitting assembly code.  Use get_named_section.
1892         (x86_output_aligned_bss, ix86_file_end): Use switch_to_section and
1893         get_named_section.
1894         (machopic_output_stub): Use switch_to_section.
1895         * config/i386/nwld.c (nwld_named_section_asm_out_constructor)
1896         (nwld_named_section_asm_out_destructor): Use get_section and
1897         switch_to_section.
1898
1899         * config/ia64/ia64.c (ia64_select_rtx_section): Return the section
1900         rather than emitting assembly code.
1901         (ia64_rwreloc_select_section): Likewise.
1902         (ia64_rwreloc_select_rtx_section): Likewise.
1903         * config/ia64/ia64-protos.h (sdata_section, sbss_section): Delete.
1904         * config/ia64/sysv4.h (ASM_OUTPUT_ALIGNED_DECL_LOCAL): Use
1905         switch_to_section.
1906         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
1907         (SDATA_SECTION_FUNCTION, SBSS_SECTION_FUNCTION): Delete.
1908
1909         * config/iq2000/iq2000.c (iq2000_select_rtx_section): Return the
1910         section rather than emitting assembly code.
1911         (iq2000_select_section): Likewise.
1912         * config/iq2000/iq2000.h (rdata_section, sdata_section): Delete.
1913         (sbss_section): Delete.
1914
1915         * config/m32r/m32r.h (ASM_OUTPUT_ALIGNED_BSS): Use switch_to_section
1916         and get_named_section.
1917         * config/m32r/m32r-protos.h (sbss_section, sdata_section): Delete.
1918
1919         * config/mcore/mcore-elf.h (EXPORTS_SECTION_ASM_OP): Delete.
1920         (SUBTARGET_EXTRA_SECTIONS, SUBTARGET_EXTRA_SECTION_FUNCTIONS): Delete.
1921         (EXPORT_SECTION_FUNCTION, SUBTARGET_SWITCH_SECTIONS): Delete.
1922         (MCORE_EXPORT_NAME): Emit the exports directive directly, then set
1923         in_section to NULL.
1924         (ASM_DECLARE_FUNCTION_NAME): Use switch_to_section.
1925         (ASM_DECLARE_OBJECT_NAME): Update the type of save_section.  Use the
1926         global switch_to_section function instead of the old port-local one.
1927         * config/mcore/mcore.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
1928         (SWITCH_SECTION_FUNCTION): Delete.
1929         * config/mcore/mcore-pe.h (SUBTARGET_SWITCH_SECTIONS): Delete.
1930         (DRECTVE_SECTION_ASM_OP, SUBTARGET_EXTRA_SECTIONS): Delete.
1931         (SUBTARGET_EXTRA_SECTION_FUNCTIONS, DRECTVE_SECTION_FUNCTION): Delete.
1932         (MCORE_EXPORT_NAME): Emit ".section .drectve" directly, then set
1933         in_section to NULL.
1934         (ASM_DECLARE_OBJECT_NAME): Update the type of save_section.  Use the
1935         global switch_to_section function instead of the old port-local one.
1936         (ASM_DECLARE_FUNCTION_NAME): Use switch_to_section.
1937
1938         * config/mips/mips.c (mips_file_start): Update comment.
1939         (mips_output_aligned_bss): Use switch_to_section and get_named_section.
1940         (mips_output_aligned_decl_common): Use switch_to_section.
1941         (mips_select_rtx_section): Return the section rather than emitting
1942         assembly code.  Use get_named_section.
1943         (mips_function_rodata_section: Likewise get_section.
1944         (build_mips16_function_stub): Use switch_to_section.
1945         * config/mips/mips.h (ASM_OUTPUT_IDENT): Use switch_to_section.
1946         (SDATA_SECTION_ASM_OP): Delete.
1947         * config/mips/vxworks.h (EXTRA_SECTIONS): Delete.
1948         (EXTRA_SECTION_FUNCTIONS): Delete.
1949
1950         * config/mmix/mmix.c (mmix_file_start, mmix_file_end)
1951         (mmix_asm_output_aligned_local): Use switch_to_section.
1952
1953         * config/pa/pa.c (som_readonly_data_section, som_one_only_data_section)
1954         (som_one_only_readonly_data_section): New variables.
1955         (pa_output_function_epilogue): Set in_section to NULL instead of
1956         calling forget_section.
1957         (output_deferred_plabels): Use select_section.
1958         (pa_asm_output_mi_thunk): Likewise.  Set in_section to NULL instead
1959         of calling forget_section.
1960         (pa_asm_output_aligned_bss, pa_asm_output_aligned_common)
1961         (pa_asm_output_aligned_local): Use select_section.
1962         (som_text_section_asm_op): Delete in favor of...
1963         (som_output_text_section_asm_op): ...this new function.
1964         (pa_som_asm_init_sections): New function.
1965         (pa_select_section): Return the section rather than emitting
1966         assembly code.
1967         * config/pa/pa.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
1968         (SOM_READONLY_DATA_SECTION_FUNCTION): Delete.
1969         (SOM_ONE_ONLY_READONLY_DATA_SECTION_FUNCTION): Delete.
1970         (SOM_ONE_ONLY_DATA_SECTION_FUNCTION, FORGET_SECTION_FUNCTION): Delete.
1971         * config/pa/pa-protos.h (som_text_section_asm_op): Delete.
1972         (som_readonly_data_section, som_one_only_readonly_data_section)
1973         (som_one_only_data_section, forget_section): Delete.
1974         * config/pa/som.h (TEXT_SECTION_ASM_OP): Delete.
1975         (TARGET_ASM_INIT_SECTIONS): Define.
1976         (READONLY_DATA_SECTION, TARGET_ASM_EXCEPTION_SECTION): Delete.
1977
1978         * config/rs6000/rs6000.c (read_only_data_section): New variable.
1979         (private_data_section, read_only_private_data_section): New variables.
1980         (sdata2_section, toc_section): New variables.
1981         (rs6000_file_start): Use switch_to_section.
1982         (rs6000_assemble_integer): Use comparisons against in_section
1983         instead of calling in_toc_section and in_text_section.  Use
1984         unlikely_text_section_p.
1985         (rs6000_elf_output_toc_section_asm_op): New function, derived
1986         from the old rs6000/sysv4.h toc_section function.
1987         (rs6000_elf_asm_init_sections): New function.
1988         (rs6000_elf_select_rtx_section, rs6000_elf_select_section): Return
1989         the section rather than emitting assembly code.
1990         (machopic_output_stub): Use switch_to_section.
1991         (toc_section): Delete dummy function.
1992         (rs6000_elf_asm_out_constructor, rs6000_elf_asm_out_destructor): Use
1993         switch_to_section and get_section.
1994         (rs6000_xcoff_output_readonly_section_asm_op): New function.
1995         (rs6000_xcoff_output_readwrite_section_asm_op): New function.
1996         (rs6000_xcoff_output_toc_section_asm_op): New function, derived from
1997         the old rs6000/xcoff.h toc_section function.
1998         (rs6000_xcoff_asm_init_sections): New function.
1999         (rs6000_xcoff_select_section, rs6000_xcoff_select_rtx_section): Return
2000         the section rather than emitting assembly code.
2001         (rs6000_xcoff_file_start): Use switch_to_section.
2002         (rs6000_xcoff_file_end): Likewise.
2003         * config/rs6000/rs6000-protos.h (toc_section, sdata_section): Delete.
2004         (sdata2_section, sbss_section, private_data_section): Delete.
2005         (read_only_data_section, read_only_private_data_section): Delete.
2006         * config/rs6000/sysv4.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
2007         (TOC_SECTION_FUNCTION, SDATA_SECTION_FUNCTION, SDATA2_SECTION_FUNCTION)
2008         (SBSS_SECTION_FUNCTION, INIT_SECTION_FUNCTION): Delete.
2009         (FINI_SECTION_FUNCTION): Delete.
2010         (TARGET_ASM_INIT_SECTIONS): Define.
2011         (ASM_OUTPUT_ALIGNED_LOCAL): Use switch_to_section.
2012         * config/rs6000/xcoff.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
2013         (READ_ONLY_DATA_SECTION_FUNCTION, PRIVATE_DATA_SECTION_FUNCTION)
2014         (READ_ONLY_PRIVATE_DATA_SECTION_FUNCTION, TOC_SECTION_FUNCTION)
2015         (READONLY_DATA_SECTION): Delete.
2016         (TARGET_ASM_INIT_SECTIONS): Define.
2017         (ASM_DECLARE_FUNCTION_NAME): Use switch_to_section.  Set in_section
2018         to NULL rather than no_section.
2019         (TARGET_ASM_EXCEPTION_SECTION): Delete.
2020
2021         * config/sh/sh.c (sh_file_start): Use switch_to_section.
2022
2023         * config/sparc/sparc.c (emit_pic_helper): Use switch_to_section.
2024         (sparc_output_deferred_case_vectors): Likewise.  Remove argument
2025         from call to current_function_section.
2026
2027         * config/stormy16/stormy16.c: Include ggc.h and gt-storm16.h.
2028         (bss100_section): New variable.
2029         (xstormy16_asm_output_aligned_common): Use switch_to_section.
2030         (xstormy16_asm_init_sections): New function.
2031         (xstormy16_asm_out_destructor, xstormy16_asm_out_constructor): Use
2032         switch_to_section and get_section.
2033         (xstormy16_output_addr_vec): Use switch_to_section.  Remove argument
2034         from calls to current_function_section.
2035         * config/stormy16/stormy16.h (EXTRA_SECTIONS): Delete.
2036         (XSTORMY16_SECTION_FUNCTION, EXTRA_SECTION_FUNCTIONS): Delete.
2037         (TARGET_ASM_INIT_SECTIONS): Define.
2038         * config/stormy16/stormy16-protos.h (bss100_section): Delete.
2039
2040         * config/svr3.h (ASM_OUTPUT_LOCAL): Use switch_to_section.
2041         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS, INIT_SECTION_FUNCTION)
2042         (FINI_SECTION_FUNCTION): Delete.
2043
2044         * config/v850/v850.c: Include gt-v850.h.
2045         (rosdata_section, rozdata_section, tdata_section, zdata_section)
2046         (zbss_section): New variables.
2047         (v850_output_aligned_bss): Use switch_to_section.
2048         (v850_asm_init_sections): New function.
2049         (v850_select_section): Return the section rather than emitting
2050         assembly code.
2051         * config/v850/v850.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS)
2052         (ZDATA_SECTION_ASM_OP, ZBSS_SECTION_ASM_OP, TDATA_SECTION_ASM_OP)
2053         (ROSDATA_SECTION_ASM_OP, ROZDATA_SECTION_ASM_OP): Delete.
2054         (TARGET_ASM_INIT_SECTIONS): Define.
2055         * config/v850/v850-protos.h (sdata_section, rosdata_section): Delete.
2056         (sbss_section, tdata_section, zdata_section, rozdata_section): Delete.
2057         (zbss_section): Delete.
2058
2059         * config/vax/vaxv.h (ASM_OUTPUT_LOCAL): Use switch_to_section.
2060
2061         * config/vx-common.h (vxworks_exception_section): Delete.
2062         (TARGET_ASM_EXCEPTION_SECTION): Delete.
2063
2064         * config/xtensa/xtensa.c (xtensa_select_rtx_section): Return the
2065         section rather than emitting assembly code.
2066         * config/xtensa/xtensa.h (ASM_OUTPUT_POOL_PROLOGUE): Use
2067         switch_to_section.
2068
2069         * Makefile.in (GTFILES): Add $(srcdir)/output.h.
2070         * coretypes.h (section): New union and typedef.
2071         * dbxout.c (FORCE_TEXT): Use switch_to_section.  Remove argument
2072         from call to current_function_section.
2073         (dbxout_function_end, dbxout_init, dbxout_source_file, dbxout_finish)
2074         (dbxout_symbol_location): Use switch_to_section.
2075         * dwarf2out.c (named_section_eh_frame_section): Delete, moving
2076         most of the code into...
2077         (default_eh_frame_section): ...here.  Return a section.
2078         (collect2_eh_frame_section): Delete, moving most of the code into..
2079         (switch_to_eh_frame_section): ...this new function.
2080         (debug_info_section, debug_abbrev_section, debug_aranges_section)
2081         (debug_macinfo_section, debug_line_section, debug_loc_section)
2082         (debug_pubnames_section, debug_str_section, debug_ranges_section): New
2083         variables.
2084         (output_call_frame_info): Call switch_to_eh_frame_section instead of
2085         eh_frame_section.  Use switch_to_section and get_section.
2086         (dwarf2out_begin_prologue): Use switch_to_section.
2087         (AT_string_form): Check the flags in debug_str_section instead of
2088         DEBUG_STR_SECTION_FLAGS.
2089         (output_comp_unit): Use switch_to_section, get_section, and
2090         debug_info_section.
2091         (output_line_info, secname_for_decl): Use unlikely_text_section_p.
2092         (dwarf2out_begin_block): Use switch_to_section.  Remove argument
2093         from call to current_function_section.
2094         (dwarf2out_var_location): Use unlikely_text_section_p.
2095         (dwarf2out_source_line): Use switch_to_section.  Remove argument
2096         from call to current_function_section.
2097         (dwarf2out_start_source_file, dwarf2out_end_source_file)
2098         (dwarf2out_define, dwarf2out_undef: Use switch_to_section and
2099         debug_macinfo_section.
2100         (dwarf2out_init): Initialize the new section variables.  Use them
2101         instead of calls to named_section_flags.  Use switch_to_section.
2102         (output_indirect_string): Use switch_to_section and debug_str_section.
2103         (dwarf2out_finish): Use switch_to_section and the new section
2104         variables.
2105         * except.c (default_exception_section): Return the section instead
2106         of emitting assembly code.
2107         (output_function_exception_table): Use the global exception_section
2108         variable instead of the target hook.  Use switch_to_section.  Remove
2109         argument from call to current_function_section.
2110         * final.c (HAVE_READONLY_DATA_SECTION): Delete.
2111         (shorten_branches): Use pointer comparisons to detect whether the
2112         text section is the same as readonly_data_section.
2113         (profile_function): Use switch_to_section.  Remove argument from
2114         call to current_function_section.
2115         (final_scan_insn): Likewise.  Update use of last_text_section.
2116         * gengtype.c (open_base_files): Add an include of output.h.
2117         * output.h (text_section, data_section, readonly_data_section)
2118         (ctors_section, dtors_section, bss_section, init_section)
2119         (fini_section, sdata_section): Turn into section pointers.
2120         (in_text_section, in_unlikely_text_section, exports_section)
2121         (drectve_section, named_section, mergeable_string_section)
2122         (last_text_section_name): Delete.
2123         (default_exception_section, default_eh_frame_section): Return sections.
2124         (SECTION_DECLARED, SECTION_NAMED): New macros.
2125         (SECTION_MACH_DEP): Bump value.
2126         (section_common, named_section, unnamed_section): New structures.
2127         (unnamed_section_callback): New typedef.
2128         (section): New union.
2129         (sbss_section, exception_section, eh_frame_section): New variables.
2130         (in_section, last_text_section): Turn into section pointers.
2131         (get_unnamed_section, get_section, get_named_section): New functions.
2132         (mergeable_constant_section, function_section): Return a section.
2133         (unlikely_text_section): Likewise.
2134         (current_function_section): Likewise.  Remove the decl argument.
2135         (unlikely_text_section_p, switch_to_section): New functions.
2136         (output_section_asm_op): New function.
2137         (set_named_section_flags, named_section_flags, named_section_real)
2138         (named_section_first_declaration): Delete.
2139         (default_select_section, default_elf_select_section): Return a section.
2140         (default_elf_select_section_1, default_function_rodata_section)
2141         (default_no_function_rodata_section, default_select_rtx_section)
2142         (default_elf_select_rtx_section): Likewise.
2143         * rtl.h (in_data_section): Delete.
2144         * sdbout.c (sdbout_one_type): Use switch_to_section.
2145         * system.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Poison.
2146         (READONLY_DATA_SECTION, TARGET_ASM_EXCEPTION_SECTION): Poison.
2147         (TARGET_ASM_EH_FRAME_SECTION): Poison.
2148         * target-def.h (TARGET_ASM_INIT_SECTIONS): New macro.
2149         (TARGET_ASM_EXCEPTION_SECTION, TARGET_ASM_EH_FRAME_SECTION): Delete.
2150         (TARGET_ASM_OUT): Update after above changes.
2151         * target.h (init_sections): New hook.
2152         (exception_section, eh_frame_section): Delete.
2153         (select_section, select_rtx_section, function_rodata_section): Return
2154         a section rather than emitting assembly code.
2155         * varasm.c (text_section, data_section, readonly_data_section)
2156         (ctors_section, dtors_section, bss_section, init_section)
2157         (fini_section): Turn into section pointers.
2158         (sdata_section, sbss_section, exception_section): New variables.
2159         (eh_frame_section): New variable.
2160         (in_section): Make global and turn into a section pointer.
2161         (last_text_section): Turn into a section pointer.
2162         (unnamed_sections): New variable.
2163         (in_named_name, last_text_section_name): Delete.
2164         (EXTRA_SECTION_FUNCTIONS): Delete.
2165         (in_named_entry): Delete.
2166         (section_htab): New variable, replacing...
2167         (in_named_htab): ...this deleted variable.
2168         (section_entry_eq, section_entry_hash): New functions, based on...
2169         (in_named_entry_eq, in_named_entry_hash): ...these deleted functions.
2170         (get_unnamed_section, get_section): New functions.
2171         (unlikely_text_section): Return a section instead of emitting
2172         assembly code.
2173         (in_text_section, in_unlikely_text_section, in_data_section): Delete.
2174         (get_named_section_flags, named_section_first_declaration): Delete.
2175         (unlikely_text_section_p): New function.
2176         (named_section_real, named_section): Delete.
2177         (get_named_section): New function.
2178         (asm_output_bss, asm_output_aligned_bss): Use switch_to_section.
2179         (function_section): Return a section rather than emitting
2180         assembly code.
2181         (current_function_section): Likewise.  Remove argument.  Use
2182         last_text_section if nonnull, otherwise use function_section.
2183         (default_function_rodata_section): Return a section rather than
2184         emitting assembly code.  Use get_section.
2185         (default_no_function_rodata_section): Return a section rather than
2186         emitting assembly code.
2187         (variable_section): Use switch_to_section and get_named_section.
2188         (mergeable_string_section): Return a section rather than emitting
2189         assembly code.  Use get_section.  Make static.  Don't take special
2190         countermeasures for empty strings.
2191         (mergeable_constant_section): Return a section rather than emitting
2192         assembly code.  Use get_section.
2193         (default_named_section_asm_out_destructor): Use switch_to_section
2194         and get_section.
2195         (default_dtor_section_asm_out_destructor): Use switch_to_section.
2196         (default_named_section_asm_out_constructor): Use switch_to_section
2197         and get_section.
2198         (default_ctor_section_asm_out_constructor): Use switch_to_section.
2199         (assemble_start_function): Likewise.  Set last_text_section to
2200         NULL rather than no_section.  Change the type of save_section.
2201         (assemble_zeros, assemble_variable): Use the section flags to detect
2202         whether or not a section is text.
2203         (assemble_static_space): Use switch_to_section.
2204         (assemble_trampoline_template): Likewise.
2205         (output_constant_def_contents): Use switch_to_section and
2206         get_named_section.
2207         (output_constant_pool_1): Use switch_to_section.  Use the section
2208         flags to see whether sections contain mergeable data.
2209         (init_varasm_once): Initialize section_htab instead of in_named_htab.
2210         Initialize new section variables.  Call TARGET_ASM_INIT_SECTIONS.
2211         (default_elf_asm_named_section): Use SECTION_DECLARED to detect
2212         whether a section has already been declared.
2213         (default_select_section, default_elf_select_section): Return a
2214         section rather than emitting assembly code.
2215         (default_elf_select_section_1): Likewise.  Use bss_section for
2216         SECCAT_BSS if nonnull.  Use get_named_section.
2217         (default_select_rtx_section): Return a section rather than
2218         emitting assembly code.
2219         (default_elf_select_rtx_section): Likewise.  Use get_named_section.
2220         (file_end_indicate_exec_stack): Use switch_to_section and get_section.
2221         (output_section_asm_op, switch_to_section): New functions.
2222         * vmsdbgout.c (vmsdbgout_finish): Use switch_to_section and
2223         get_named_section.
2224
2225         * doc/tm.texi: Expand the introduction to the sections documentation.
2226         (TRAMPOLINE_SECTION): Document new interface.
2227         (SDATA_SECTION_ASM_OP): Document new macro.
2228         (READONLY_DATA_SECTION): Delete.
2229         (SDATA_SECTION_ASM_OP): Document new macro.
2230         (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS): Delete.
2231         (TARGET_ASM_INIT_SECTIONS): Document new hook.
2232         (TARGET_ASM_SELECT_SECTION, TARGET_ASM_FUNCTION_RODATA_SECTION)
2233         (TARGET_ASM_SELECT_RTX_SECTION): Adjust for new interface.
2234         (TARGET_EXCEPTION_SECTION, TARGET_EH_FRAME_SECTION): Delete.
2235
2236 2005-12-07  Alan Modra  <amodra@bigpond.net.au>
2237
2238         * gcc.c (init_gcc_specs): Match braces inside conditionally
2239         compiled strings.
2240
2241 2005-12-06  Geoffrey Keating  <geoffk@apple.com>
2242
2243         * config/darwin.h (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): New.
2244
2245 2005-12-06  Aldy Hernandez  <aldyh@redhat.com>
2246
2247         PR C++/24138
2248         * tree.c (integer_all_onesp): Always return true if all bits on.
2249
2250         * testsuite/g++.dg/init/array0.C: New.
2251
2252 2005-12-06  Adrian Straetling  <straetling@de.ibm.com>
2253
2254         * doc/md.texi: Adapt to implementation.
2255
2256 2005-12-06  Andreas Schwab  <schwab@suse.de>
2257
2258         * opts.c (decode_options): Fix typo in message.
2259
2260 2005-12-06  Alan Modra  <amodra@bigpond.net.au>
2261
2262         PR other/13873
2263         * longlong.h: Merge PPC tests from upstream.
2264
2265 2005-12-06  Richard Guenther  <rguenther@suse.de>
2266
2267         * fold-const.c (fold_convert): Do not build and fold
2268         CONVERT_EXPR, but always use NOP_EXPR.
2269
2270 2005-12-06  Jan Beulich  <jbeulich@novell.com>
2271
2272         * config/i386/i386.c (builtin_description): Use MASK_SSE2 for
2273         __builtin_ia32_paddq and __builtin_ia32_psubq.
2274         (ix86_init_mmx_sse_builtins): Use MASK_SSE|MASK_3DNOW_A for
2275         __builtin_ia32_pshufw.
2276         * config/i386/i386.md (mmx_adddi3, mmx_subdi3): Depend on TARGET_SSE2.
2277
2278 2005-12-05  James E Wilson  <wilson@specifix.com>
2279
2280         PR target/24934
2281         * opts.c (decode_options): Turn off partitioning if flag_unwind_tables
2282         is set.
2283
2284 2005-12-05  Daniel Berlin  <dberlin@dberlin.org>
2285         
2286         * print-tree.c (print_node): Ditto.
2287         * tree-dfa.c (add_referenced_var): Tag's don't have DECL_INITIAL.
2288         * tree-dump.c (dequeue_and_dump): Check for decl_common structure
2289         before accessing DECL_ARTIFICIAL. 
2290         Handle new tag tree codes.
2291         * tree-flow-inline.h (clear_call_clobbered): Update for tag
2292         changes.
2293         (unmodifiable_var_p): Ditto.
2294         * tree-flow.h (mem_tag_kind): Remove.
2295         (struct var_ann_d): Remove mem_tag_kind member.
2296         * tree-gimple.c (is_gimple_reg): Tags are not gimple registers.
2297         * tree-pretty-print.c (dump_generic_node): Handle memory tags.
2298         * tree-ssa-alias.c (init_alias_info): Update for memory tag changes.
2299         (group_aliases): Ditto.
2300         (setup_pointers_and_addressables): Ditto.
2301         (is_escape_site): Ditto.                                          
2302         (may_alias_p): Ditto.
2303         (create_tag_raw): New function.
2304         (create_memory_tag): Use it.
2305         (dump_alias_info): Update for tags.
2306         (may_be_aliased): Ditto.
2307         (add_type_alias): Ditto.
2308         (new_type_alias): Ditto.
2309         (create_sft): Ditto.
2310         (create_structure_vars): Ditto.
2311         * tree-ssa-ccp.c (get_default_value): Ditto.
2312         * tree-ssa-operands.c (get_expr_operands): Ditto.
2313         (add_stmt_operand): Ditto.
2314         (add_call_clobber_ops): Remove duplicated condition.
2315         * tree-ssa.c (verify_flow_insensitive_alias_info): Update for
2316         tags.
2317         * tree-tailcall.c (suitable_for_tail_opt_p): Ditto.
2318         * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
2319         * tree.c (init_ttree): Update structures for new tree codes.
2320         (tree_code_size): Update sizes for new tree codes.
2321         (make_node_stat): Don't try to set common things on minimal
2322         structures.
2323         (tree_node_structure): Update for tags.
2324         (is_global_var): Ditto.
2325         * tree.def: Add new tree codes.
2326         * tree.h (MTAG_P): New macro.
2327         (TREE_MEMORY_TAG_CHECK): Ditto.
2328         (SSA_VAR_P): Update for tags.
2329         (struct tree_memory_tag): New structure.
2330         (MTAG_GLOBAL): New macro.
2331         (union tree_node): Add memory tag member.
2332         * treestruct.def (TS_MEMORY_TAG): New.
2333         
2334 2005-12-05  Dale Johannesen  <dalej@apple.com>
2335
2336         * config/i386/xmmintrin.h (_MM_TRANSPOSE4_PS):  Fix to match
2337         what was approved (PR 24323).
2338
2339 2005-12-05  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2340
2341         * doc/c-tree.texi (Function Bodies): Remove description of
2342         RETURN_INIT.
2343
2344 2005-12-05  Joseph S. Myers  <joseph@codesourcery.com>
2345
2346         * doc/libgcc.texi (__floatunsisf, __floatunsidf, __floatunsitf,
2347         __floatunsixf, __floatundisf, __floatundidf, __floatunditf,
2348         __floatundixf, __floatuntisf, __floatuntidf, __floatuntitf,
2349         __floatuntixf, __powisf2, __powidf2, __powixf2, __mulsc3,
2350         __muldc3, __multc3, __mulxc3, __divsc3, __divdc3, __divtc3,
2351         __divxc3): Document.
2352
2353 2005-12-05  Geoffrey Keating  <geoffk@apple.com>
2354
2355         * config/arm/arm.c (arm_cxx_determine_class_data_visibility): Preserve
2356         previous behaviour.
2357         * config/darwin.h (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Define to
2358         hook_bool_void_false.
2359         (TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY): Define.
2360         * config/darwin.c (darwin_cxx_determine_class_data_visibility): New.
2361
2362         * config/darwin.c (machopic_select_section): It's not defined
2363         as weak if it's only marked as weak_import.
2364         
2365         * config/darwin-protos.h (darwin_cxx_determine_class_data_visibility):
2366         Prototype.
2367
2368         * varasm.c (default_binds_local_p_1): Weakrefs don't bind locally.
2369         A hidden weak object does bind locally.  Strong linkonce data
2370         counts like any other strong symbol for binding.
2371         (weak_finish_1): Don't specially handle weakrefs, they no longer
2372         arrive here.
2373         (assemble_alias): Weakrefs can't be TREE_PUBLIC yet.
2374         * c-common.c (handle_alias_attribute): Allow static aliases
2375         of variables.
2376         (handle_weakref_attribute): Don't call declare_weak on weakrefs.
2377         * gthr-dce.h: Make weakrefs static.
2378         * gthr-tpf.h: Likewise.
2379         * gthr-solaris.h: Likewise.
2380         * gthr-posix.h: Likewise.
2381         * gthr-posix95.h: Likewise.
2382         * config/darwin.c (darwin_encode_section_info): static weakref
2383         variables are not necessarily defined in this translation unit.
2384         * doc/extend.texi (Function Attributes): Mention that an alias
2385         attribute creates a definition for the thing it's attached to.
2386         Change the documentation for weakref to say that the thing
2387         it's attached to must be static.
2388
2389         * config/rs6000/host-darwin.c (segv_handler): Unblock SEGV so
2390         we don't go into an infinite loop.
2391
2392 2005-12-05  Paolo Bonzini  <bonzini@gnu.org>
2393
2394         * config/rs6000/predicates.md (logical_const_operand): Split
2395         out of logical_operand.
2396         (logical_operand): Use it.
2397         * config/rs6000/rs6000.md (cmp -> xor peephole2): Use
2398         logical_const_operand.
2399
2400 2005-12-05  Jan Beulich  <jbeulich@novell.com>
2401
2402         * config/i386/i386.c (enum ix86_builtins): Remove IX86_BUILTIN_CMPNEPS
2403         and IX86_BUILTIN_CMPNESS.
2404         (ix86_init_mmx_sse_builtins): Remove ti_ftype_ti_ti.
2405         * config/i386/i386.h (ALIGN_MODE_128): Don't check TFmode explicitly.
2406         * config/i386/i386.md (movti_internal): Correct type attribute.
2407         Simplify mode attribute.
2408         (movti_rex64, movsf_1, movdf_nointeger, movdf_integer, movtf_internal):
2409         Correct type attribute.
2410         (absxf2): Correct operator.
2411         * config/i386/mmx.md (mov<mode>_internal_rex64, mov<mode>_internal,
2412         movv2sf_internal_rex64, movv2sf_internal): Correct type attribute.
2413         * config/i386/sse.md (mov<mode>_internal, movv2df_internal): Simplify
2414         mode attribute.
2415         (sse2_vmsqrtv2df2): Correct mode attribute.
2416
2417 2005-12-05  Jan Beulich  <jbeulich@novell.com>
2418
2419         * config/ia64/ia64.md (rotlsi3_internal): Don't split if rotating by
2420         16 bits. Provide insn pattern for this case.
2421
2422 2005-12-05  Jan Beulich  <jbeulich@novell.com>
2423
2424         * libgcc2.c (__popcountSI2): Don't use wide type for iterator and
2425         result.
2426         (__popcountDI2): Likewise.
2427
2428 2005-12-04  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2429
2430         PR target/25166
2431         * pa/pa.c (pa_hpux_init_libfuncs): Add _U_Qfcnvxf_usgl_to_quad and
2432         _U_Qfcnvxf_udbl_to_quad to set of initialized libfuncs.
2433         * pa/quadlib.c (_U_Qfcnvxf_usgl_to_quad, _U_Qfcnvxf_udbl_to_quad): New
2434         functions.
2435
2436 2005-12-04  Joseph S. Myers  <joseph@codesourcery.com>
2437
2438         * c-typeck.c (null_pointer_constant_p): New function.
2439         (build_conditional_expr, build_c_cast, convert_for_assignment,
2440         build_binary_op): Use it.
2441
2442 2005-12-04  Joseph S. Myers  <joseph@codesourcery.com>
2443
2444         * c-common.c (binary_op_error): Do not allow NOP_EXPR.
2445         (c_common_truthvalue_conversion): Handle NOP_EXPR the same as
2446         CONVERT_EXPR.
2447         (check_function_arguments_recurse): Allow both NOP_EXPR and
2448         CONVERT_EXPR but check conversions preserve precision.
2449         * c-typeck.c (pointer_diff): Allow both NOP_EXPR and CONVERT_EXPR
2450         but check conversions preserve precision.
2451         (build_unary_op): Don't allow NOP_EXPR.  Use gcc_unreachable () in
2452         default case.
2453
2454 2005-12-04  Roger Sayle  <roger@eyesopen.com>
2455
2456         PR c/7776
2457         * common.opt (Wstring-literal-comparison): New command line option.
2458         * c-opts.c (c_common_handle_option): Set it with -Wall.
2459         * c-typeck.c (parser_build_binary_op): Issue warning if either
2460         operand of a comparison operator is a string literal, except for
2461         testing equality or inequality against NULL.
2462
2463         * doc/invoke.texi: Document new -Wstring-literal-comparison option.
2464
2465 2005-12-03  Joseph S. Myers  <joseph@codesourcery.com>
2466
2467         * c-common.c (c_sizeof_or_alignof_type): Use fold_convert instead
2468         of building a NOP_EXPR.
2469         (c_alignof_expr): Likewise.  Handle CONVERT_EXPR the same as
2470         NOP_EXPR.
2471         * c-convert.c (convert): Use fold_convert instead of building
2472         NOP_EXPRs and CONVERT_EXPRs directly.  Don't special case
2473         c_objc_common_truthvalue_conversion returning a NOP_EXPR.  Remove
2474         #if 0 code.
2475         * c-pretty-print.c (pp_c_cast_expression, pp_c_expression): Handle
2476         NOP_EXPR the same as CONVERT_EXPR.
2477         * c-typeck.c (build_function_call): Use fold_convert instead of
2478         building a NOP_EXPR directly.
2479         (build_compound_expr): Handle NOP_EXPR the same as CONVERT_EXPR.
2480
2481 2005-12-03  Alan Modra  <amodra@bigpond.net.au>
2482
2483         PR rtl-optimization/25197
2484         * dwarf2out.c (dwarf2out_frame_debug_expr <rule 12>): Assert we
2485         have a reg.
2486
2487 2005-12-02  Stuart Hastings  <stuart@apple.com>
2488
2489         * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Remove -fpic
2490         warning.
2491
2492 2005-12-03  Joseph S. Myers  <joseph@codesourcery.com>
2493
2494         * c-typeck.c (default_function_array_conversion,
2495         build_function_call): Allow for CONVERT_EXPR as well as NOP_EXPR.
2496         (build_conditional_expr): Apply integer_zerop to orig_op1 and
2497         orig_op2.  Don't check them for NOP_EXPR.
2498         (build_c_cast, convert_for_assignment): Don't check for NOP_EXPR
2499         around integer zero.
2500
2501 2005-12-03  Alan Modra  <amodra@bigpond.net.au>
2502
2503         * config/rs6000/rs6000.c (rs6000_stack_t): Remove toc_save_p,
2504         toc_save_offset, toc_size, lr_size.
2505         (rs6000_stack_info): Use memset rather than bss struct copy to init.
2506         Test rs6000_ra_ever_killed last in condition setting lr_save_p.
2507         Adjust for removal of unused rs6000_stack_t fields.
2508         (debug_stack_info): Adjust.
2509         (rs6000_ra_ever_killed): Expand FIND_REG_INC_NOTE.  Test for calls
2510         first, and don't bother checking for set/inc of lr on sibcalls.
2511         (rs6000_emit_epilogue): Tidy code restoring stack pointer.
2512
2513 2005-12-02  Jakub Jelinek  <jakub@redhat.com>
2514
2515         PR target/25199
2516         * config/i386/i386.md (movqi_1): Only force imovx for alternative
2517         5 if operand 1 is not aligned.  Undo previous constraint change.
2518         * config/i386/predicates.md (aligned_operand): Use MEM_ALIGN.
2519
2520 2005-12-02  Richard Guenther  <rguenther@suse.de>
2521
2522         * tree.h (build): Remove prototype.
2523         (build, _buildN1, _buildN2, _buildC1, _buildC2): Remove macros.
2524         * tree.c (build): Remove.
2525         (build0_stat): Update comment.
2526
2527 2005-12-02  Richard Guenther  <rguenther@suse.de>
2528
2529         * tree-ssa-loop-im.c (schedule_sm): Use buildN instead of build.
2530         * tree-complex.c (update_complex_assignment, expand_complex_div_wide):
2531         Likewise.
2532         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref,
2533         maybe_fold_offset_to_component_ref): Likewise.
2534         * tree-ssa-dom.c (thread_across_edge,
2535         simplify_rhs_and_lookup_avail_expr,
2536         find_equivalent_equality_comparison, record_equivalences_from_stmt):
2537         Likewise.
2538         * gimple-low.c (lower_function_body, lower_return_expr): Likewise.
2539         * tree-eh.c (do_return_redirection, honor_protect_cleanup_actions,
2540         lower_try_finally_switch): Likewise.
2541         * tree-if-conv.c (add_to_dst_predicate_list,
2542         replace_phi_with_cond_modify_expr, ifc_temp_var): Likewise.
2543         * gimplify.c (internal_get_tmp_var, gimple_build_eh_filter,
2544         voidify_wrapper_expr, build_stack_save_restore, gimplify_bind_expr,
2545         gimplify_return_expr, gimplify_decl_expr, gimplify_switch_expr,
2546         gimplify_case_label_expr, gimplify_exit_expr, gimplify_self_mod_expr,
2547         shortcut_cond_r, shortcut_cond_expr, gimplify_cond_expr,
2548         gimplify_init_ctor_eval, gimplify_init_constructor,
2549         gimplify_variable_sized_compare, gimplify_boolean_expr,
2550         gimplify_cleanup_point_expr, gimple_push_cleanup, gimplify_target_expr,
2551         gimplify_expr, gimplify_body, gimplify_function_tree,
2552         force_gimple_operand): Likewise.
2553         * tree-ssa-pre.c (create_expression_by_pieces): Likewise.
2554         * tree-mudflap.c (mf_decl_cache_locals, mf_build_check_statement_for,
2555         mx_register_decls): Likewise.
2556         * tree-nested.c (init_tmp_var, save_tmp_var, get_static_chain,
2557         get_frame_field, finalize_nesting_tree_1): Likewise.
2558         * tree-inline.c (setup_one_parameter): Likewise.
2559         * tree-vect-transform.c (vectorizable_condition): Likewise.
2560         * tree-outof-ssa.c (insert_copy_on_edge, insert_backedge_copies):
2561         Likewise.
2562         * tree-profile.c (tree_gen_edge_profiler): Likewise.
2563         * tree-cfg.c (factor_computed_gotos, gimplify_val): Likewise.
2564         * c-parser.c (c_parser_if_body, c_parser_switch_statement): Likewise.
2565         * tree-chrec.h (build_polynomial_chrec): Likewise.
2566
2567 2005-12-02  Richard Guenther  <rguenther@suse.de>
2568
2569         * config/alpha/alpha.c (alpha_va_start, alpha_gimplify_va_arg_1i,
2570         alpha_gimplify_va_arg): Use buildN and fold_buildN where applicable.
2571         * config/frv/frv.c (frv_expand_builtin_va_start): Likewise.
2572         * config/s390/s390.c (s390_va_start, s390_gimplify_va_arg): Likewise.
2573         * config/ia64/ia64.c (ia64_gimplify_va_arg): Likewise.
2574         * config/i386/i386.c (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2575         * config/rs6000/rs6000.c (rs6000_va_start, rs6000_gimplify_va_arg):
2576         Likewise.
2577         * config/sh/sh.c (sh_va_start, sh_gimplify_va_arg_expr,
2578         sh_adjust_unroll_max): Likewise.
2579         * config/c4x/c4x.c (c4x_gimplify_va_arg_expr): Likewise.
2580         * config/pa/pa.c (hppa_gimplify_va_arg_expr): Likewise.
2581         * config/xtensa/xtensa.c (xtensa_va_start, xtensa_gimplify_va_arg_expr):
2582         Likewise.
2583         * config/stormy16/stormy16.c (xstormy16_expand_builtin_va_start):
2584         Likewise.
2585         * config/mips/mips.c (mips_va_start, mips_gimplify_va_arg_expr):
2586         Likewise.
2587
2588 2005-12-02  Richard Guenther  <rguenther@suse.de>
2589
2590         * tree-vrp.c (build_assert_expr_for, process_assert_insertions_for,
2591         simplify_cond_using_ranges): Use buildN instead of build.
2592         * tree-tailcall.c (adjust_accumulator_values,
2593         adjust_return_value): Likewise.
2594         * tree-sra.c (generate_one_element_ref, generate_copy_inout,
2595         generate_element_copy, generate_element_zero,
2596         generate_one_element_init): Likewise.
2597         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Likewise.
2598         * lambda-code.c (gcc_loop_to_lambda_loop, lbv_to_gcc_expression,
2599         lle_to_gcc_expression, lambda_loopnest_to_gcc_loopnest,
2600         perfect_nestify): Likewise.
2601
2602 2005-12-02  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2603
2604         * pa.c (pa_secondary_reload): Revise initialization of variable regno.
2605
2606 2005-12-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2607
2608         * ggc.h (GGC_RESIZEVEC): New.
2609
2610 2005-12-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2611
2612         * gcc.c (execute): Improve readability.
2613
2614 2005-12-02  Richard Guenther  <rguenther@suse.de>
2615
2616         * tree-cfg.c (mark_used_vars): New function.
2617         (dump_function_to_file): Dump only used VAR_DECLs.
2618
2619 2005-12-02  Richard Guenther  <rguenther@suse.de>
2620
2621         * convert.c (convert_to_integer): Fix compare for nonpositive
2622         constant to use tree_int_cst_sgn <= 0.
2623
2624 2005-12-02  Richard Guenther  <rguenther@suse.de>
2625
2626         * convert.c (convert_to_integer): Use fold_convert instead
2627         of fold_build1 (NOP_EXPR, ...).  Use tree_int_cst_sgn < 0
2628         instead of comparing against 0.  Use build_int_cst instead
2629         of converting integer_zero_node.
2630
2631 2005-12-02  Richard Guenther  <rguenther@suse.de>
2632
2633         * tree-pretty-print.c (op_symbol): Handle LROTATE_EXPR
2634         and RROTATE_EXPR.
2635  
2636 2005-12-02  Alan Modra  <amodra@bigpond.net.au>
2637
2638         PR target/21017
2639         * combine.c (simplify_logical <IOR>): Simplify more patterns to
2640         rotates.
2641
2642 2005-12-02  Alan Modra  <amodra@bigpond.net.au>
2643
2644         PR middle-end/25176
2645         * function.c (expand_function_end): Emit blockage for unwinder
2646         after return label.
2647
2648 2005-12-01  Roger Sayle  <roger@eyesopen.com>
2649
2650         * tree.h (TREE_OVERFLOW): Make this flag/predicate specific to
2651         constant nodes, i.e. INTEGER_CST, REAL_CST, etc...
2652         * tree-vrp.c (compare_values): Only check TREE_OVERFLOW for
2653         integer constant comparisons.
2654
2655 2005-12-02  Jon Grimm  <jgrimm2@us.ibm.com>
2656             Janis Johnson  <janis187@us.ibm.com>
2657             David Edelsohn  <dje@watson.ibm.com>
2658             Ben Elliston  <bje@au.ibm.com>
2659
2660         * dfp.h, dfp.c: New files.
2661         * Makefile.in (DECNUM, DECNUMINC, LIBDECNUMBER): New variables.
2662         (DECNUM_H): Likewise.
2663         (LIBDEPS, LIBS, BACKEND): Append $(LIBDECNUMBER).
2664         (INCLUDES): Append $(DECNUMINC).
2665         (OBJS-common): Add dfp.o.
2666         (dfp.o): New rule.
2667         * real.h (EXP_BITS): Pinch one bit to ..
2668         (struct real_value): Add decimal field.
2669         (real_format): Change table size, update documentation.
2670         (REAL_MODE_FORMAT): Update for to handle float, decimal float.
2671         (real_from_string3): Declare.
2672         (decimal_single_format): Declare.
2673         (decimal_double_format): Declare.
2674         (decimal_quad_format): Declare.
2675         (REAL_VALUE_TO_TARGET_DECIMAL32): New.
2676         (REAL_VALUE_TO_TARGET_DECIMAL64): New.
2677         (REAL_VALUE_TO_TARGET_DECIMAL128): New.
2678         * real.c: Include dfp.h.
2679         (normalize): Early return for decimal floats.
2680         (do_add): Zero decimal field.
2681         (do_compare): Call do_decimal_compare for decimal floats.
2682         (do_fix_trunc): Likewise, call decimal_do_fix_trunc.
2683         (real_arithmetic): Call decimal_real_arithmetic for decimal
2684         floating point operands.
2685         (real_identical): If a and b are of differing radix, return false.
2686         (real_to_integer): Call decimal_real_to_integer if the value is a
2687         decimal float.
2688         (real_to_integer2): Likewise, call decimal_real_to_integer2.
2689         (real_to_decimal): Likewise, call decimal_real_to_decimal.
2690         (real_to_hexadecimal): Place "N/A" in the return string for
2691         decimal float.
2692         (real_from_string3): New variant, given a mode.
2693         (real_maxval): Use decimal_real_maxval for decimal floats.
2694         (round_for_format): Use decimal_round_for_format for decimals.
2695         (real_convert): Use decimal_real_convert where appropriate.
2696         (significand_size): Handle base 10.
2697         (encode_decimal_single, decode_decimal_single,
2698         encode_decimal_double, decode_decimal_double, encode_decimal_quad,
2699         decode_decimal_quad): New functions.
2700         (decimal_single_format): New.
2701         (decimal_double_format): New.
2702         (decimal_quad_format): New.
2703         * machmode.def: Add SD, DD and TD decimal floating point modes.
2704         * machmode.h (FLOAT_MODE_P, SCALAR_FLOAT_MODE_P, MODES_WIDEN_P):
2705         Include MODE_DECIMAL_FLOAT.
2706         (DECIMAL_FLOAT_MODE_P): New.
2707         * mode-classes.def (MODE_DECIMAL_FLOAT): New mode class.
2708         * genmodes.c (struct mode_data): Add counter field.
2709         (struct mode_data): Update comment for format.
2710         (blank_mode): Initialise counter field.
2711         (new_mode): Increment counter field for each mode defined.
2712         (complete_mode): Handle MODE_DECIMAL_FLOAT, update check for mode
2713         using a format.
2714         (make_complex_modes): Handle modes containing `D'.
2715         (DECIMAL_FLOAT_MODE, FRACTIONAL_DECIMAL_FLOAT_MODE): New.
2716         (make_decimal_float_mode): New.
2717         (reset_float_format): Handle MODE_DECIMAL_FLOAT.
2718         (cmp_modes): Compare counter field if other characteristics
2719         similar.
2720         (emit_real_format_for_mode): Support formats for decimal floats.
2721         * doc/rtl.texi (Machine Modes): Document SD, DD and TDmodes.
2722         Document MODE_DECIMAL_FLOAT.
2723
2724 2005-12-02  Alan Modra  <amodra@bigpond.net.au>
2725
2726         * simplify-rtx.c (simplify_plus_minus): Do simplify constants.
2727         Delete dead code.
2728
2729 2005-12-01  Richard Henderson  <rth@redhat.com>
2730
2731         * optabs.c (expand_vec_cond_expr): Use EXPAND_NORMAL.
2732
2733 2005-12-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2734
2735         * builtins.def (BUILT_IN_PUTC, BUILT_IN_PUTC_UNLOCKED): New.
2736
2737         * config/pa/pa.c (pa_init_builtins): If we detect
2738         DONT_HAVE_FPUTC_UNLOCKED, set builtin fputc_unlocked to
2739         putc_unlocked.
2740
2741 2005-12-01  Richard Guenther  <rguenther@suse.de>
2742
2743         * fold-const.c (fold_binary): Use fold_build2, not
2744         fold (build (...)).
2745
2746 2005-12-01  Nathan Sidwell  <nathan@codesourcery.com>
2747
2748         * config/ms1/ms1.c (ms1_reorg_hazard): Don't count noop moves.
2749
2750         * vec.h (VEC_block_remove): New.
2751
2752 2005-12-01  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2753
2754         PR c/13384
2755         * c-common.c (lvalue_error): Fix wording.
2756
2757 2005-12-01  Richard Guenther  <rguenther@suse.de>
2758
2759         * tree-ssa-forwprop.c (forward_propagate_addr_expr): Fix
2760         thinko in last patch.
2761
2762 2005-12-01  Geoffrey Keating  <geoffk@apple.com>
2763
2764         * config/t-slibgcc-darwin (SHLIB_LINK): Use -single_module rather
2765         than -flat_namespace.
2766
2767 2005-12-01  Ben Elliston  <bje@au.ibm.com>
2768
2769         * mklibgcc.in: Parameterise the script to build soft float
2770         functions by iterating over each type, rather than cloning the
2771         code for each type.
2772
2773 2005-11-30  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2774
2775         PR middle-end/25158
2776         * builtins.c (fold_builtin_fputs): Defer check for missing
2777         replacement functions.
2778
2779 2005-11-30  Kean Johnston  <jkj@sco.com>
2780
2781         * config/i386/i386.c: Check the value of SUPPORTS_ONE_ONLY, not
2782         simply its presense in case targets #define SUPPORTS_ONE_ONLY 0.
2783
2784 2005-11-30  Richard Guenther  <rguenther@suse.de>
2785
2786         PR tree-optimization/22501
2787         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
2788         function split out from ...
2789         (forward_propagate_addr_expr): ... here.  Use it to propagate
2790         ADDR_EXPRs to all uses.
2791
2792 2005-11-30  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2793
2794         * tree.h (CASE_FLT_FN, CASE_INT_FN): New macros.
2795         * builtins.c (expand_builtin_mathfn): Use them.
2796         (expand_builtin_mathfn_2): Likewise.
2797         (expand_builtin_mathfn_3): Likewise.
2798         (expand_builtin_int_roundingfn): Likewise.
2799         (expand_builtin): Likewise.
2800         (integer_valued_real_p): Likewise.
2801         (fold_builtin_int_roundingfn): Likewise.
2802         (fold_builtin_bitop): Likewise.
2803         (fold_builtin_logarithm): Likewise.
2804         (fold_builtin_1): Likewise.
2805         * convert.c (convert_to_integer): Likewise.
2806         * fold-const.c (negate_mathfn_p): Likewise.
2807         (tree_expr_nonnegative_p): Likewise.
2808
2809 2005-11-30  Dale Johannesen  <dalej@apple.com>
2810             Andrew Pinski  <pinskia@physics.uc.edu>
2811
2812         * combine.c (find_split_point):  Sign extend bitmask
2813         when changing bitfield assignment to IOR of AND.
2814
2815 2005-11-30  Nathan Sidwell  <nathan@codesourcery.com>
2816
2817         * config/ms1/ms1.md (decrement_and_branch_until_zero): Add early
2818         clobber to scratch reg.
2819         (*decrement_and_branch_until_zero_no_clobber): Remove.
2820         (decrement_and_branch peephole): Add dummy scratch reg to pattern.
2821         (mulhish3): Use TARGET_MS1_16_003, TARGET_MS2.
2822         * config/ms1/ms1.opt (mmul): Remove.
2823         * config/ms1/ms1.h (ASM_SPEC): Cope with uppercase arch names.
2824         (LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Default to 16-002.
2825
2826 2005-11-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2827             Bernd Schmidt  <bernd.schmidt@analog.com>
2828
2829         * pa/predicates.md (symbolic_operand): Add comment.
2830         * pa/pa.md (reload_insi_r1, reload_indi_r1): New reload expanders.
2831         * pa/pa-protos.h (pa_secondary_reload_class): Delete.
2832         * pa/pa.c (TARGET_SECONDARY_RELOAD): Define.
2833         (pa_secondary_reload_class): Delete.
2834         (pa_secondary_reload): New function derived from SECONDARY_RELOAD_CLASS
2835         and pa_secondary_reload_class.  Reorder some checks.  Update inline
2836         copy of symbolic operand.
2837         * pa/pa.h (SECONDARY_RELOAD_CLASS): Delete.
2838
2839 2005-11-30  Nathan Sidwell  <nathan@codesourcery.com>
2840
2841         * loop-doloop.c (add_test): Only add jump notes if we did emit a
2842         jump.
2843
2844 2005-11-30  Jeff Law  <law@redhat.com>
2845
2846         * tree-ssa-uncprop.c (associate_equivalences_with_edges): Properly
2847         handle SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
2848
2849 2005-11-30  Jakub Jelinek  <jakub@redhat.com>
2850
2851         * config/ia64/ia64.c (ia64_expand_tls_address): Add ORIG_OP1 argument.
2852         Move ADDEND_{HI,LO} computation into TLS_MODEL_INITIAL_EXEC case.
2853         (ia64_expand_move): Adjust caller.
2854
2855         * config/ia64/ia64.c (ia64_expand_atomic_op): Only use
2856         fetchadd{4,8}.acq instruction if CODE is PLUS or MINUS, for MINUS
2857         negate VAL.
2858
2859 2005-11-30  Paolo Bonzini  <bonzini@gnu.org>
2860
2861         * simplify-rtx.c (simplify_plus_minus): Remove final parameter.
2862         Always produce an output if we can remove NEGs or canonicalize
2863         (minus (minus ...)) expressions.  Provide a fast path for the
2864         two-operand case.
2865         (simplify_gen_binary): Do not call simplify_plus_minus.
2866         (simplify_binary_operation_1): Reassociate at the end of the
2867         function.
2868
2869 2005-11-29  Evan Cheng  <evan.cheng@apple.com>
2870
2871         * config/i386/xmmintrin.h (_MM_TRANSPOSE4_PS): Rewrite using high/low
2872         moves and unpack to speed up.
2873
2874 2005-11-29  David S. Miller  <davem@sunset.davemloft.net>
2875
2876         * config/sparc/sparc.c (gen_compare_reg): Kill 2nd and 3rd
2877         argument, they are always sparc_compare_op0 and sparc_compare_op1.
2878         (gen_v9_scc): Update callers.
2879         * config/sparc/sparc.md: Likewise.
2880         * config/sparc/sparc-protos.h: Update extern declaration.
2881
2882         * tree-into-ssa.c (rewrite_into_ssa): Fix comment typo.
2883
2884 2005-11-29  Andrew Pinski  <pinskia@physics.uc.edu>
2885
2886         * fold-const.c (negate_expr) <case BIT_NOT_EXPR>: Add break after
2887         the if.
2888
2889 2005-11-29  Andrew Pinski  <pinskia@physics.uc.edu>
2890
2891         * fold-const.c (negate_expr_p): Return true for BIT_NOT_EXPR.
2892         (fold_unary) <case NEGATE_EXPR>: Move -(~a) transformation to ...
2893         (negate_expr): Here.
2894
2895 2005-11-29  Ben Elliston  <bje@au.ibm.com>
2896
2897         * config/i386/i386.h (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN):
2898         Fix typo in comment.
2899
2900 2005-11-29  Ben Elliston  <bje@au.ibm.com>
2901
2902         * Makefile.in (clean-target): Depend on clean-target-libgcc.
2903         (clean-target-libgcc): Import rule from the top-level Makefile.in.
2904
2905 2005-11-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2906
2907         PR middle-end/20109
2908         PR middle-end/25120
2909         * builtins.c (init_target_chars): New.
2910         (expand_builtin_printf, expand_builtin_fprintf,
2911         expand_builtin_sprintf, fold_builtin_sprintf,
2912         maybe_emit_sprintf_chk_warning, fold_builtin_sprintf_chk,
2913         fold_builtin_snprintf_chk, fold_builtin_printf,
2914         fold_builtin_fprintf): Check for matching format strings using
2915         the target charset.
2916
2917 2005-11-29  Paul Brook  <paul@codesourcery.com>
2918
2919         * config.gcc: Do not use fixproto on m68k-elf.
2920
2921 2005-11-28  Roger Sayle  <roger@eyesopen.com>
2922
2923         * expmed.c (div_cost): Replace with...
2924         (sdiv_cost, udiv_cost): New.
2925         (init_expmed): Initialize sdiv_cost and udiv_cost, not div_cost.
2926         Rename the div and mod fields, used to initialize sdiv_pow2_cheap
2927         and smod_pow2_cheap, to sdiv_32 and smod_32 to avoid confusion.
2928         (expand_divmod): Replace use of div_cost with either sdiv_cost
2929         or udiv_cost depending upon the signedness of the operation.
2930
2931 2005-11-28  Alexandre Oliva  <aoliva@redhat.com>
2932
2933         PR libfortran/24991
2934         * config/darwin.c (machopic_indirection_name,
2935         machopic_output_indirection): Follow transparent alias chain.
2936
2937 2005-11-28  Alexandre Oliva  <aoliva@redhat.com>
2938
2939         * varasm.c (ultimate_transparent_alias_target): Add comment.
2940
2941 2005-11-28  Kazu Hirata  <kazu@codesourcery.com>
2942
2943         * config/m68k/m68k.c (notice_update_cc): Use SET_DEST and
2944         SET_SRC instead of XEXP where appropriate.
2945
2946 2005-11-28  Joseph S. Myers  <joseph@codesourcery.com>
2947
2948         * config/fp-bit.c (isnan, isinf, pack_d, unpack_d): Use
2949         __builtin_expect.
2950
2951 2005-11-28  Joseph S. Myers  <joseph@codesourcery.com>
2952
2953         * config/fp-bit.h (LSHIFT): Take shift count parameter.
2954         * config/fp-bit.c (_fpadd_parts): Shift in one go instead of one
2955         bit at a time.
2956
2957 2005-11-28  Bernd Schmidt  <bernd.schmidt@analog.com>
2958
2959         * config/bfin/bfin.c (bfin_secondary_reload): Renamed from
2960         secondary_input_reload_class, made static.  Adapt to new
2961         infrastructure.
2962         (secondary_output_reload_class): Delete.
2963         (TARGET_SECONDARY_RELOAD): New macro.
2964         * config/bfin/bfin.h (SECONDARY_INPUT_RELOAD_CLASS,
2965         SECONDARY_OUTPUT_RELOAD_CLASS): Delete.
2966
2967 2005-11-28  Nathan Sidwell  <nathan@codesourcery.com>
2968
2969         PR c++/21166
2970         * c-decl.c (finish_struct):  Only set DECL_PACKED on a field
2971         when its natural alignment is > BITS_PER_UNIT.
2972         * stor-layout.c (finalize_type_size): Revert my patch of 2005-08-08.
2973         * c-common.c (handle_packed_attribute): Ignore packing on a field
2974         whose type is naturally char aligned.
2975
2976 2005-11-28  Richard Guenther  <rguenther@suse.de>
2977
2978         * c-common.c (strict_aliasing_warning): Handle all
2979         component-ref like accesses.
2980
2981 2005-11-28  Roger Sayle  <roger@eyesopen.com>
2982             Uros Bizjak  <uros@kss-loka.si>
2983
2984         PR middle-end/20219
2985         * fold-const.c (fold binary) <RDIV_EXPR>: Optimize
2986         sin(x)/tan(x) as cos(x) and tan(x)/sin(x) as 1.0/cos(x)
2987         when flag_unsafe_math_optimizations is set and
2988         we don't care about NaNs or Infinities.
2989
2990         Move x/expN(y) and x/pow(y,z) transformation into common
2991         flag_unsafe_math_optimizations section.
2992
2993 2005-11-27  Mark Mitchell  <mark@codesourcery.com>
2994
2995         * gcc.c (main): Change type of argv to "char **".
2996
2997 2005-11-28  Alan Modra  <amodra@bigpond.net.au>
2998
2999         * doc/invoke.texi (powerpc msdata-data): Static data doesn't go in
3000         small data sections.
3001         * config/rs6000/rs6000.c (rs6000_elf_in_small_data_p): Make global.
3002         * config/rs6000/rs6000-protos.h: (rs6000_elf_in_small_data_p): Declare.
3003         * config/rs6000/sysv4.h (ASM_OUTPUT_ALIGNED_LOCAL): Rename to..
3004         (ASM_OUTPUT_ALIGNED_DECL_LOCAL): ..this, adding extra parm.  Don't
3005         output locals to sbss if !rs6000_elf_in_small_data_p.
3006         (ASM_OUTPUT_ALIGNED_BSS): Adjust for above.
3007
3008 2005-11-28  Alan Modra  <amodra@bigpond.net.au>
3009
3010         PR target/24997
3011         * config/rs6000/rs6000.c (legitimate_indexed_address_p): Allow pattern
3012         generated by reload.
3013         * config/rs6000/predicates.md (indexed_or_indirect_operand): Use
3014         indexed_or_indirect_address.
3015         (indexed_or_indirect_address): Don't test for base reg.  Call
3016         address_operand last.  Make it a special predicate.
3017
3018 2005-11-27  Kazu Hirata  <kazu@codesourcery.com>
3019
3020         * config/m68k/m68k.c (notice_update_cc): Remove useless code.
3021
3022 2005-11-27  Andrew Pinski  <pinskia@physics.uc.edu>
3023
3024         PR middle-end/24575
3025         * fold-const.c (negate_expr_p): Add case for signed divides if overflow
3026         is undefined.
3027         (negate_expr): Likewise.
3028
3029 2005-11-27  Andreas Schwab  <schwab@suse.de>
3030
3031         * config/m68k/m68k.c: Reindent and fix whitespace, remove
3032         redundant parens.
3033
3034 2005-11-27  Steven Bosscher  <stevenb@suse.de>
3035
3036         * cfgcleanup.c (try_crossjump_to_edge): Always split SRC2 if it
3037         has EH predecessor edges.
3038
3039 2005-11-26  Eric Christopher  <echristo@apple.com>
3040
3041         * config/i386/i386.md (*zero_extendqihi2_movzbw): Avoid partial
3042         register stalls by zero extending to the full register.
3043
3044 2005-11-27  Joseph S. Myers  <joseph@codesourcery.com>
3045
3046         * config/floatunsisf.c, config/floatunsidf.c,
3047         config/floatunsixf.c, config/floatunsitf.c: New files.
3048         * config/ia64/t-hpux: Add floatunsitf.c.
3049         * config/ia64/ia64.c (ia64_init_libfuncs): Use
3050         _U_Qfcnvxuf_dbl_to_quad for unsigned DImode-to-TFmode conversion.
3051
3052 2005-11-26  Richard Henderson  <rth@redhat.com>
3053
3054         * c-lex.c (pragma_lex): Rename from c_lex.
3055         * c-pch.c: Update for pragma_lex rename.
3056         * c-pragma.c, c-pragma.h, config/ia64/ia64-c.c: Likewise.
3057         * config/m32c/m32c-pragma.c, config/darwin-c.c: Likewise.
3058         * config/rs6000/rs6000-c.c, config/c4x/c4x-c.c: Likewise.
3059         * config/sol2-c.c, config/v850/v850-c.c: Likewise.
3060         * doc/tm.texi: Likewise.
3061
3062 2005-11-26  Andrew Pinski  <pinskia@physics.uc.edu>
3063
3064         PR middle-end/23669
3065         * fold-const.c (fold_binary): Convert -A/-B to A/B for signed types
3066         when overflow is undefined.
3067
3068 2005-11-26  Hans-Peter Nilsson  <hp@axis.com>
3069
3070         * doc/md.texi (Insn Canonicalizations): Refer to the
3071         function commutative_operand_precedence for further rules.
3072
3073 2005-11-25  Roger Sayle  <roger@eyesopen.com>
3074
3075         PR middle-end/21309
3076         * expmed.c (choose_mult_variant): Return immediately when mult_cost
3077         is less than zero.  Limit mult_cost to a reasonable upper bound for
3078         the synthetic multiplication sequence.
3079
3080 2005-11-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3081
3082         PR middle-end/25022
3083         * builtins.c (expand_builtin_printf, expand_builtin_fprintf,
3084         fold_builtin_fputs, fold_builtin_printf, fold_builtin_fprintf):
3085         Lookup the explicit replacement functions for any unlocked
3086         stdio builtin transformations.
3087
3088 2005-11-25  Hans-Peter Nilsson  <hp@axis.com>
3089
3090         * config/cris/cris.md ("reload_out<mode>"): Mark operand 2 as
3091         earlyclobber.
3092         * targhooks.c (default_secondary_reload): Don't require operand 2
3093         for an input reload to be earlyclobber.
3094
3095 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3096
3097         * fold-const.c (negate_mathfn_p): Fix comment and add support
3098         for BUILT_IN_CBRT, BUILT_IN_SINH, BUILT_IN_TANH, BUILT_IN_ASINH,
3099         BUILT_IN_ATANH.
3100
3101 2005-11-25  Joseph S. Myers  <joseph@codesourcery.com>
3102
3103         PR middle-end/24998
3104         * config/sparc/sparc.c (sparc_init_libfuncs): Use _Q_utoq and
3105         _Q_ulltoq for unsigned conversions from SImode and DImode to
3106         TFmode.
3107
3108 2005-11-25  Alan Modra  <amodra@bigpond.net.au>
3109
3110         * config/rs6000/ppc64-fp.c (__floatunditf): New function.
3111         (__floatundidf, __floatundisf): Likewise.
3112
3113 2005-11-25  David Edelsohn  <edelsohn@gnu.org>
3114
3115         * config/rs6000/rs6000.c (rs6000_sr_alias_set): Delete.
3116         (rs6000_override_options): Remove initialization of
3117         rs6000_sr_alias_set.
3118         (rs6000_emit_eh_reg_restore): Use gen_frame_mem.
3119         (rs6000_emit_stack_tie): Same.
3120         (emit_frame_save): Same.
3121         (gen_frame_mem_offset): Same.
3122         (rs6000_emit_prologue): Same.
3123         (rs6000_emit_epilogue): Same.
3124
3125 2005-11-25  Andrew Pinski  <pinskia@physics.uc.edu>
3126
3127         PR middle-end/24989
3128         * fold-const.c (fold_build): Convert bool_var != 1 and
3129         bool_var == 0 to !bool_var.
3130
3131 2005-11-25  Andrew Pinski  <pinskia@physics.uc.edu>
3132
3133         PR middle-end/24990
3134         * fold-const.c (fold_binary): Fold (~a) == C to a == ~C
3135         for C being INTEGER_CST.  Likewise for !=.
3136
3137 2005-11-25  Joseph S. Myers  <joseph@codesourcery.com>
3138
3139         PR middle-end/24998
3140         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use _q_utoq for
3141         unsigned conversions from SImode to TFmode.
3142
3143 2005-11-24  Bernd Schmidt  <bernd.schmidt@analog.com>
3144
3145         * expr.c (expand_expr_real_1): Fix error in last change.
3146
3147 2005-11-24  J"orn Rennecke <joern.rennecke@st.com>
3148
3149         * caller-save.c: (this_insn_sets): Move into:
3150         (save_call_clobbered_regs).
3151         (mark_set_regs): Get this_insn_sets from data.
3152
3153         (save_call_clobbered_regs): Take sets of the return value by
3154         sibcalls into account.
3155
3156 2005-11-24  J"orn Rennecke <joern.rennecke@st.com>
3157         PR target/21623:
3158
3159         * regclass.c (FORBIDDEN_INC_DEC_CLASSES): Remove
3160         SECONDARY_INPUT_RELOAD_CLASS and SECONDARY_OUTPUT_RELOAD_CLASS tests.
3161         (init_fake_stack_mems): Remove HAVE_SECONDARY_RELOADS test.
3162         (memory_move_secondary_cost, init_reg_autoinc): Remove
3163         SECONDARY_INPUT_RELOAD_CLASS / SECONDARY_OUTPUT_RELOAD_CLASS tests.
3164         Replace SECONDARY_{IN,OUT}PUT_RELOAD_CLASS use with
3165         secondary_reload_class call.
3166         (copy_cost): Likewise.  Add new parameter prev_sri.  Changed all
3167         callers.
3168         * reload.c (entire file): Remove HAVE_SECONDARY_RELOADS checks.
3169         (push_secondary_reload): Use secondary_reload target hook.
3170         (secondary_reload_class, scratch_reload_class): New functions.
3171         (push_reload): Remove SECONDARY_INPUT_RELOAD_CLASS and
3172         SECONDARY_OUTPUT_RELOAD_CLASS tests.  Replace
3173         SECONDARY_{IN,OUT}PUT_RELOAD_CLASS use with secondary_reload_class call.
3174         * reload.h (HAVE_SECONDARY_RELOADS): Don't define nor test.
3175         (secondary_reload_class, scratch_reload_class): Declare.
3176         * reload1.c: Include target.h.
3177         (reload_adjust_reg_for_temp): New function.
3178         (reload_adjust_reg_for_icode): Likewise.
3179         (choose_reload_regs): Remove SECONDARY_INPUT_RELOAD_CLASS test.
3180         Replace SECONDARY_INPUT_RELOAD_CLASS use with secondary_reload_class
3181         call.
3182         (emit_input_reload_insns): Likewise.  Rewrite secondary reload checks
3183         for inheritance.  Support case when both secondary & tertiary reloads
3184         are for intermediate registers.
3185         (emit_output_reload_insns): Replace SECONDARY_OUTPUT_RELOAD_CLASS use
3186         with secondary_reload_class call.  Support case when both secondary
3187         & tertiary reloads are for intermediate registers.
3188         * target-def.h (TARGET_SECONDARY_RELOAD): Provide default definition.
3189         (TARGET_INITIALIZER) Add TARGET_SECONDARY_RELOAD.
3190         * target.h (secondary_reload_info): New struct / typedef.
3191         (struct gcc_target): New member secondary_reload.
3192         * targhooks.c Include reload.h, optabs.h and recog.h.
3193         (default_secondary_reload): New function.
3194         * targhooks.h (default_secondary_reload): Declare.
3195         * doc/tm.texi: Document secondary_reload target hook.  Update
3196         description of SECONDARY_*RELOAD_CLASS and reload_{in,out}<mode>.
3197         * doc/md.texi: Likewise.
3198
3199         * sh-protos.h (sh_secondary_reload): Declare.
3200         * sh.c (TARGET_SECONDARY_RELOAD): Override.
3201         (sh_secondary_reload): New function.
3202         * sh.h (SECONDARY_INOUT_RELOAD_CLASS): Don't define.
3203         (SECONDARY_OUTPUT_RELOAD_CLASS): Likewise.
3204         (SECONDARY_INPUT_RELOAD_CLASS): Likewise.
3205         (HAVE_SECONDARY_RELOADS): Define.
3206         * sh.md (reload_indf): Rename to:
3207         (reload_indf__frn).
3208         (reload_outdf): Rename to:
3209         (reload_outdf__RnFRm).
3210         (reload_insf): Rename to:
3211         (reload_insf__frn).
3212         (reload_insi): Rename to:
3213         (reload_insi__i_fpul).
3214
3215 2005-11-24  Uros Bizjak  <uros@kss-loka.si>
3216
3217         * configure.ac: Require at least texinfo 4.4.
3218         * configure: Regenerate.
3219
3220         * doc/install.texi (Tools/packages necessary for building GCC):
3221         Update required version of texinfo to at least 4.4.
3222         (Installing GCC: Building): Update required version of texinfo
3223         to at least 4.4.
3224         (Installing GCC: Final installation): Update required version
3225         of texi2dvi to at least 4.4.
3226         (Host/target specific installation notes for GCC): Update required
3227         version of texinfo to at least 4.4.
3228
3229 2005-11-24  Richard Guenther  <rguenther@suse.de>
3230         Dirk Mueller <dmueller@suse.de>
3231
3232         PR c++/14024
3233         * c-common.h (strict_aliasing_warning): Declare.
3234         * c-common.c (strict_aliasing_warning): New function,
3235         split out from ...
3236         * c-typeck.c (build_c_cast): ... here.
3237
3238 2005-11-24  Paolo Bonzini  <bonzini@gnu.org>
3239
3240         * optabs.c (expand_binop): Use swap_commutative_operands_with_target
3241         to order operands.
3242         (swap_commutative_operands_with_target): New.
3243
3244 2005-11-24  Paolo Bonzini  <bonzini@gnu.org>
3245
3246         * gcse.c (hash_scan_set): Look through REG_EQUAL or REG_EQUIV notes
3247         also when doing PRE, rather than only for global CPROP.
3248
3249 2005-11-24  Ben Elliston  <bje@au.ibm.com>
3250
3251         * machmode.h (CLASS_HAS_WIDER_MODES_P): New macro.
3252         * optabs.c (expand_binop): Use CLASS_HAS_WIDER_MODES_P, improve
3253         formatting.
3254         (expand_twoval_unop): Likewise.
3255         (widen_clz): Likewise.
3256         (expand_parity): Likewise.
3257         (expand_unop): Likewise.
3258         (emit_cmp_and_jmp_insn_1): Likewise.
3259         (prepare_float_lib_cmp): Likewise.
3260
3261 2005-11-24  Ben Elliston  <bje@au.ibm.com>
3262
3263         * optabs.c (prepare_cmp_insn): Use SCALAR_FLOAT_MODE_P.
3264         Remove unused `class' variable.
3265
3266 2005-11-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3267
3268         PR c++/21667
3269         * c-typeck.c (build_array_ref): Avoid code duplicate.  Use common
3270         C/C++ diagnostic function warn_array_subscript_with_type_char.
3271         * c-common.h (warn_array_subscript_with_type_char): Declare.
3272         * c-common.c (warn_array_subscript_with_type_char): Define.
3273
3274 2005-11-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3275
3276         PR c/21668
3277         * c-decl.c (grokdeclarator): Don't warn for 'extern const' when
3278         compiling at the intersection of C and C++.
3279
3280 2005-11-23  Mark Mitchell  <mark@codesourcery.com>
3281
3282         * doc/invoke.texi: For man pages, include gcc-vers.texi.
3283         List @file in the option summary.  Include the libiberty
3284         documentation for @file.
3285         * gcc.c (main): Call expandargv.
3286         * Makefile.in (gcc-vers.texi): Define srcdir.
3287
3288 2005-11-23  Diego Novillo  <dnovillo@redhat.com>
3289
3290         * passes.c (init_optimization_passes): Document
3291         sequencing of passes.
3292
3293 2005-11-23  Kazu Hirata  <kazu@codesourcery.com>
3294
3295         * config/m68k/predicates.md (pcrel_address, extend_operator,
3296         post_inc_operand, pre_dec_operand): Remove redundant
3297         conditionals.
3298         (const_uint32_operand, const_sint32_operand): Use gcc_assert
3299         instead of abort.
3300         (valid_dbcc_comparison_p): Rewrite in the lisp style.
3301
3302 2005-11-23  Ben Elliston  <bje@au.ibm.com>
3303
3304         * dwarf2.h (enum dwarf_type): Add DW_ATE_decimal_float.
3305
3306 2005-11-22  J"orn Rennecke <joern.rennecke@st.com>
3307
3308         Preparatory work for PR target/21623:
3309         * alpha.c (secondary_reload_class): Rename to:
3310         (alpha_secondary_reload_class).
3311         * alpha.h, alpha-protos.h: Likewise.
3312         * mn10300.c (secondary_reload_class): Rename to:
3313         (mn10300_secondary_reload_class).
3314         * mn10300.h, mn10300-protos.h: Likewise.
3315         * pa.c (secondary_reload_class): Rename to:
3316         (pa_secondary_reload_class).
3317         * pa.h, pa-protos.h: Likewise.
3318         * rs6000.c (secondary_reload_class): Rename to:
3319         rs6000_secondary_reload_class.
3320         * rs6000.h, rs6000-protos.h: Likewise.
3321
3322 2005-11-22  Eric Botcazou  <ebotcazou@adacore.com>
3323
3324         PR middle-end/22561
3325         * tree-ssa-structalias.c (get_constraint_for): Handle ARRAY_RANGE_REF.
3326
3327 2005-11-22  Ian Lance Taylor  <ian@airs.com>
3328
3329         * optabs.c (expand_unop): Call SCALAR_FLOAT_MODE_P on a mode, not
3330         a mode_class.
3331         (prepare_cmp_insn): Likewise.
3332
3333 2005-11-22  Kazu Hirata  <kazu@codesourcery.com>
3334
3335         PR target/23435
3336         * m68k.md (zero_extendsidi2): Force operands[1] to a register
3337         if both operands[0] and operands[1] are memory.
3338
3339 2005-11-22  Andrew Pinski  <pinskia@physics.uc.edu>
3340
3341         PR middle-end/23606
3342         * fold-const.c (fold_unary) <case NOP_EXPR, CONVERT_EXPR>: For
3343         COMPARISON_CLASS_P and an integral types create create a new
3344         expression with the new type and fold that.
3345
3346 2005-11-22  Andrew Pinski  <pinskia@physics.uc.edu>
3347
3348         PR target/24988
3349         * config/rs6000/darwin.h (TARGET_OS_CPP_BUILTINS): Remove call
3350         to SUBTARGET_OS_CPP_BUILTINS.
3351
3352 2005-11-22  Richard Earnshaw  <richard.earnshaw@arm.com>
3353
3354         * arm.c (emit_set_insn): New function.
3355         (arm_split_constant): Call it.
3356         (arm_gen_compare_reg, arm_reload_in_hi, arm_reload_out_hi): Likewise.
3357         (arm_legitimize_address): Likewise.  Use plus_constant.
3358         (arm_expand_prologue): Likewise.  Use VOIDmode in SET.
3359         (thumb_expand_prologue): Likewise.
3360         (arm_gen_load_multiple): Use VOIDmode in SET.
3361         (arm_gen_store_multiple): Likewise.
3362         (vfp_emit_fstmx): Likewise.  Use plus_constant.
3363         (emit_multi_reg_push): Likewise.
3364         (emit_sfm): Use plus_constant.
3365
3366 2005-11-23  Alan Modra  <amodra@bigpond.net.au>
3367
3368         PR target/24954
3369         * config/rs6000/predicates.md (easy_vector_constant_add_self): Fix
3370         typo last change.
3371
3372 2005-11-22  Alan Modra  <amodra@bigpond.net.au>
3373
3374         PR middle-end/24950
3375         * expmed.c (store_bit_field): Don't attempt to insv a field
3376         larger than the reg.
3377
3378 2005-11-22  Alan Modra  <amodra@bigpond.net.au>
3379
3380         PR target/24954
3381         * config/rs6000/predicated.md (easy_vector_constant_add_self): Use
3382         explicit sign extension, not a (char) cast.
3383
3384 2005-11-22  Ben Elliston  <bje@au.ibm.com>
3385
3386         * optabs.c: Use SCALAR_FLOAT_MODE_P instead of explicitly testing
3387         GET_MODE_CLASS (x) == MODE_FLOAT.
3388         * config/i386/i386.c: Likewise.
3389         * config/rs6000/xcoff.h: Likewise.
3390         * config/rs6000/linux64.h: Likewise.
3391         * config/rs6000/rs6000.c: Likewise.
3392         * config/rs6000/rs6000.h: Likewise.
3393         * config/rs6000/predicates.md: Likewise.
3394         * config/rs6000/sysv4.h: Likewise.
3395
3396 2005-11-21  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3397
3398         * c-cppbuiltin.c (c_cpp_builtins): Define __pic__ and __PIC__ when
3399         flag_pic is set.
3400
3401         * config/alpha/freebsd.h, config/alpha/linux.h,
3402         config/arm/linux-elf.h, config/bfin/bfin.h,
3403         config/cris/linux.h, config/darwin.h, config/freebsd-spec.h,
3404         config/i386/beos-elf.h, config/i386/gnu.h,
3405         config/i386/linux.h, config/i386/linux64.h, config/i386/nto.h,
3406         config/i386/sco5.h, config/m32r/m32r.h, config/m68k/linux.h,
3407         config/m68k/m68k.h, config/mips/linux.h, config/pa/pa-linux.h,
3408         config/rs6000/linux64.h, config/rs6000/sysv4.h,
3409         config/rs6000/vxworks.h, config/s390/linux.h, config/s390/tpf.h,
3410         config/sh/linux.h, config/sh/sh.h, config/sol2.h,
3411         config/sparc/linux.h, config/sparc/linux64.h,
3412         config/xtensa/xtensa.h: Don't define __pic__ or __PIC__.
3413
3414         * doc/invoke.texi: Document that the macros __pic__ and __PIC__
3415         are both defined when either flag -fpic or -fPIC are used.
3416
3417 2005-11-22  Joseph S. Myers  <joseph@codesourcery.com>
3418
3419         * config/fp-bit.c (clzusi): New function.
3420         (si_to_float, usi_to_float): Use it to compute proper shift.
3421         (usi_to_float): Preserve guard bits when shifting right.
3422         * libgcc-std.ver (GCC_4.2.0): New version.
3423         * libgcc2.c (__floatundixf, __floatunditf, __floatundidf,
3424         __floatundisf): New functions.
3425         * libgcc2.h (__floatundixf, __floatunditf, __floatundidf,
3426         __floatundisf): Declare.
3427         * mklibgcc.in (lib2funcs): Add _floatundidf, _floatundisf,
3428         _floatundixf, and _floatunditf.
3429         * optabs.c (expand_float): If target does not define a pattern for
3430         signed or unsigned conversion, use an unsigned libcall instead of
3431         a signed one.
3432         (init_optabs): Initialize ufloat_optab.
3433
3434 2005-11-22  Joseph S. Myers  <joseph@codesourcery.com>
3435
3436         * config/rs6000/rs6000.opt (mmulhw): New option.
3437         * doc/invoke.texi (-mmulhw): Document.
3438         * config/rs6000/rs6000.c (rs6000_override_options): Enable -mmulhw
3439         for 405 and 440.
3440         * config/rs6000/rs6000.md: Add half-word multiply and
3441         multiply-accumulate instructions for 405 and 440.
3442
3443 2005-11-21  Joel Sherrill <joel.sherrill@oarcorp.com>
3444
3445         * config/arm/rtems-elf.h: Added definition of LINK_GCC_C_SEQUENCE_SPEC
3446         which matches behavior of gcc 4.0 and older for RTEMS targets.  The
3447         default now includes a linker group which makes the RTEMS one nest.
3448
3449 2005-11-22  Ben Elliston  <bje@au.ibm.com>
3450
3451         * cse.c (fold_rtx): Typo fix.
3452         (find_comparison_args): Pass the mode of arg1, not arg1 itself.
3453
3454 2005-11-21  Richard Henderson  <rth@redhat.com>
3455
3456         * c-common.c, config/darwin-c.c, c-decl.c, c-tree.h, c-objc-common.h,
3457         langhooks-def.h, langhooks.h: Revert 2005-11-18 lookup_name patch.
3458
3459         * c-tree.h (lookup_name): Move declaration ...
3460         * c-common.h (lookup_name): ... here.
3461         * config/darwin-c.c: Include c-common.h.
3462         * config/t-darwin: Update dependencies.
3463
3464 2005-11-22  Ben Elliston  <bje@au.ibm.com>
3465
3466         * optabs.c (expand_abs_nojump): Use SCALAR_FLOAT_MODE_P instead of
3467         explicitly testing GET_MODE_CLASS (x) == MODE_FLOAT.
3468         * genopinit.c (gen_insn): Likewise.
3469         * reload.c (find_equiv_reg): Likewise.
3470         * loop.c (load_mems): Likewise.
3471         * rtlanal.c (may_trap_p_1, canonicalize_condition): Likewise.
3472         * cse.c (find_comparison_args, fold_rtx): Likewise.
3473         * dwarf2out.c (add_const_value_attribute): Likewise.
3474         * expr.c (convert_move): Likewise.
3475         * recog.c (general_operand, register_operand): Likewise.
3476         * reg-stack.c (replace_reg): Likewise.
3477         * tree-vect-generic.c (type_for_widest_vector_mode): Likewise.
3478         * c-common.c (handle_vector_size_attribute): Likewise.
3479         * simplify-rtx.c (simplify_const_unary_operation): Likewise.
3480         (simplify_binary_operation_1): Likewise.
3481         (simplify_const_binary_operation): Likewise.
3482         (simplify_relational_operation): Likewise.
3483         (simplify_const_relational_operation): Likewise.
3484         (simplify_immed_subreg): Likewise.
3485         * emit-rtl.c (gen_lowpart_common): Likewise.
3486         * expmed.c (expand_mult): Likewise.
3487         * stor-layout.c (layout_type): Likewise.
3488
3489 2005-11-21  Paolo Bonzini  <bonzini@gnu.org>
3490
3491         PR target/24951
3492         * config/rs6000/rs6000.c (output_vec_const_move): Load cst and
3493         cst2 only for SPE vectors.
3494
3495 2005-11-21  David Edelsohn  <edelsohn@gnu.org>
3496
3497         PR target/24953
3498         * config/rs6000/predicates.md (vrsave_operation): Check
3499         UNSPEC_VOLATILE value.
3500
3501 2005-11-21  Jan Hubicka  <jh@suse.cz>
3502
3503         PR tree-optimization/24653
3504         * tree-ssa-ccp.c (ccp_fold): Strip down useless conversions.
3505
3506 2005-11-21  Uros Bizjak  <uros@kss-loka.si>
3507
3508         * config/i386/predicates.md (ax_reg_operand): New predicate.
3509         (memory_displacement_only_operand): New predicate.
3510         * config/i386/i386.md ("modrm" attribute): Return 0 if one
3511         operand is AX register and the other operand is memory operand
3512         with displacement only.
3513
3514 2005-11-21  Uros Bizjak  <uros@kss-loka.si>
3515
3516         * fold-const.c (fold_binary) <RDIV_EXPR>: Optimize A / A to 1.0
3517         if we don't care about NaNs or Infinities.
3518
3519 2005-11-20  Ian Lance Taylor  <ian@airs.com>
3520
3521         PR rtl-optimization/24883
3522         * combine.c (combinable_i3pat): When checking whether the
3523         destination of i3 is used in i3, consider paradoxical subregs.
3524
3525 2005-11-21  Kazu Hirata  <kazu@codesourcery.com>
3526
3527         PR middle-end/20583
3528         * cse.c (cse_insn): Reject invalid forms of CONST earlier.
3529
3530 2005-11-20  Joseph S. Myers  <joseph@codesourcery.com>
3531
3532         * combine.c (try_combine): Do not run subst on i1src and i2src in
3533         the case of generating a PARALLEL for a comparison.
3534
3535 2005-11-20  Richard Henderson  <rth@redhat.com>
3536
3537         PR 24931
3538         * tree-sra.c (struct sra_elt): Add all_no_warning.
3539         (struct sra_walk_fns) <use>: Add use_all argument.
3540         (sra_walk_expr): Pass it.
3541         (sra_walk_modify_expr): Likewise.
3542         (scalarize_ldst): Likewise.
3543         (scan_use): Update for new argument.
3544         (mark_no_warning): New.
3545         (scalarize_use): Use it.
3546
3547 2005-11-20  Bernd Schmidt  <bernd.schmidt@analog.com>
3548
3549         * expr.c (expand_expr_real): Use usmul_optab for widening
3550         signed * unsigned multiplies.
3551         * genopinit.c (optabs): Add usmul_widen_optab.
3552         * optabs.c (init_optabs): Likewise.
3553         * optabs.h (enum optab_index): Add OTI_usmul_widen.
3554         (usmul_widen_optab): Define.
3555         * config/bfin/bfin.md (usmulhisi3): New pattern.
3556
3557         * doc/md.texi (usmulqihi3, usmulhisi3, usmulsidi3): Document.
3558
3559 2005-11-20  Graham Stott <btinternet.com>
3560
3561         * gensupport.c (std_preds): Fixed extraneous `false` in last change.
3562
3563 2005-11-20  Andreas Schwab  <schwab@suse.de>
3564
3565         PR target/24757
3566         * config/ia64/ia64.c (ia64_expand_atomic_op): Fix condition of cmp
3567         insn.
3568
3569 2005-11-19  Richard Henderson  <rth@redhat.com>
3570
3571         PR tree-opt/24665
3572         * tree-gimple.c (is_gimple_id): Export.
3573         * tree-gimple.h (is_gimple_id): Declare.
3574         * tree-ssa-ccp.c (ccp_decl_initial_min_invariant): New.
3575         (get_default_value): Use it.
3576         (maybe_fold_stmt_indirect): Likewise.
3577
3578 2005-11-19  James A. Morrison  <phython@gcc.gnu.org>
3579
3580         * tree-vrp.c (compare_ranges): Return false for EQ_EXPR if VR0 is less
3581         than VR1 or vice-versa.
3582
3583 2005-11-19  Hans-Peter Nilsson  <hp@axis.com>
3584
3585         PR middle-end/24912
3586         PR middle-end/24750
3587         * reload.c (find_reloads_address_1): Mention dependency on
3588         gen_reload.
3589         * reload1.c (gen_reload): For IN with an unary operation, try
3590         moving inner expression to OUT if trivial SET is not valid.
3591         Confirm that the result is valid.  Move common code block into...
3592         (emit_insn_if_valid_for_reload): New function.
3593
3594 2005-11-19  Richard Guenther  <rguenther@suse.de>
3595
3596         * fold-const.c (fold_indirect_ref_1): Make sure we fold
3597         ARRAY_REFs of constant strings.
3598
3599 2005-11-19  Jakub Jelinek  <jakub@redhat.com>
3600
3601         * gcc.c (version_compare_spec_function): Use '%s' rather than %qs in
3602         fatal format string.
3603
3604 2005-11-19  Joseph S. Myers  <joseph@codesourcery.com>
3605
3606         * combine.c (make_compound_operation): Swap operands of
3607         commutative operation if necessary before returning.
3608
3609 2005-11-19  Richard Guenther  <rguenther@suse.de>
3610
3611         PR middle-end/23294
3612         * fold-const.c (fold_plusminus_mult_expr): New function.
3613         (fold_binary): Use to canonicalize PLUS_EXPR and MINUS_EXPR
3614         cases, remove now unnecessary code.
3615
3616 2005-11-19  Paolo Bonzini  <bonzini@gcc.gnu.org>
3617
3618         * gensupport.c (old_preds): Rename to std_preds, add special field.
3619         (struct old_pred_table): Rename to struct std_pred_table, add special
3620         field.
3621         (NUM_KNOWN_OLD_PREDS): Rename to NUM_KNOWN_STD_PREDS.
3622         (NUM_OLD_SPECIAL_MODE_PREDS): Remove.
3623         (init_predicate_table): Adjust, and set along the way whether a
3624         predicate is special.
3625
3626 2005-11-18  Mark Mitchell  <mark@codesourcery.com>
3627
3628         * BASE-VER: Change to 4.2.0.
3629
3630 2005-11-18  James E Wilson  <wilson@specifix.com>
3631
3632         * builtins.c (fold_builtin_strstr): Pass s1 through fold_convert before
3633         returning it.
3634
3635 2005-11-18  Mike Stump  <mrs@apple.com>
3636
3637         * c-common.c (handle_cleanup_attribute): Use a lang hook for lookup_name.
3638         * config/darwin-c.c (darwin_pragma_unused): Likewise.
3639         * c-decl.c (lookup_name_two) Remove.
3640         * c-tree.h (lookup_name_two): Remove.
3641         * c-objc-common.h (LANG_HOOKS_LOOKUP_NAME): Add.
3642         * langhooks-def.h (LANG_HOOKS_LOOKUP_NAME): Add.
3643         (LANG_HOOKS_DECLS): Add initializer for LANG_HOOKS_LOOKUP_NAME.
3644         * langhooks.h (lang_hooks_for_decls): Add lookup_name.
3645
3646 2005-11-18  Richard Earnshaw  <richard.earnshaw@arm.com>
3647
3648         PR target/24914
3649         * arm.c (arm_hard_regno_mode_ok): Co-processor registers aren't ok
3650         when not generating code to use that co-processor.
3651
3652 2005-11-18  James A. Morrison  <phython@gcc.gnu.org>
3653
3654         * tree-flow.h (reserve_phi_args_for_new_edge, create_phi_node,
3655         add_phi_arg, remove_phi_args, remove_phi_node phi_reverse): Mention that
3656         these functions are now in tree-phinodes.c.
3657
3658 2005-11-18  Jie Zhang  <jie.zhang@analog.com>
3659
3660         * config/bfin/bfin.md (trap): New pattern.
3661
3662 2005-11-18  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
3663
3664         * tree-ssa-dom.c (extract_range_from_cond): Deal with variable bounds
3665         on types.
3666
3667         * expr.c (expand_expr_real): Don't call record_block_change unless
3668         ib_boundaries_block is non-null
3669
3670         * postreload.c (reload_cse_move2add): Don't try to work with BImode.
3671
3672         * fold-const.c (build_range_check): Use proper type for subtraction
3673         when merging lower bound.
3674
3675 2005-11-18  Zdenek Dvorak  <dvorakz@suse.cz>
3676
3677         PR rtl-optimization/24497
3678         * loop-unroll.c (apply_opt_in_copies): Do not verify equality of
3679         the copied insn.
3680
3681 2005-11-18  Zdenek Dvorak  <dvorakz@suse.cz>
3682
3683         * tree-scalar-evolution.c (expression_expensive_p): New function.
3684         (scev_const_prop): Use compute_overall_effect_of_inner_loop.
3685
3686 2005-11-18  Bernd Schmidt  <bernd.schmidt@analog.com>
3687
3688         * config/bfin/crtlibid.s: New file.
3689
3690 2005-11-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3691
3692         PR target/24348
3693         * config.gcc (hppa*-*-hpux*): Add pa/t-slibgcc-elf-ver to tmake config
3694         when not using sjlj exceptions.
3695         * config/pa/pa64-hpux.h (LIB_SPEC): Add -lpthread in static links.
3696         * config/pa/pa-hpux11.h (LIB_SPEC): Likewise.
3697         * config/pa/som.h (ASM_PREFERRED_EH_DATA_FORMAT): Delete define.
3698         * config/pa/linux-unwind.h (pa32_fallback_frame_state): Use
3699         DWARF_ALT_FRAME_RETURN_COLUMN instead of column 0 as return column.
3700         * config/pa/pa-hpux.h (MD_UNWIND_SUPPORT): New define.
3701         * config/pa/pa-linux.h (INCOMING_RETURN_ADDR_RTX,
3702         DWARF_FRAME_RETURN_COLUMN, ASM_PREFERRED_EH_DATA_FORMAT,
3703         ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX): Delete defines.
3704         * config/pa/pa.h (ARG_POINTER_CFA_OFFSET): Delete.
3705         (FRAME_POINTER_CFA_OFFSET, INCOMING_RETURN_ADDR_RTX,
3706         DWARF_FRAME_RETURN_COLUMN, DWARF_ALT_FRAME_RETURN_COLUMN,
3707         ASM_PREFERRED_EH_DATA_FORMAT, ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX): New
3708         defines.
3709         * config/pa/hpux-unwind.h: New file.
3710
3711 2005-11-17  Alexandre Oliva  <aoliva@redhat.com>
3712
3713         * config/rs6000/rs6000.h (ASM_OUTPUT_WEAKREF): Define.
3714         * defaults.h (ASM_OUTPUT_WEAKREF): Add decl argument.
3715         * varasm.c (do_assemble_alias): Adjust call.
3716         (weak_finish): Don't use ASM_WEAKEN_LABEL if ASM_WEAKEN_DECL
3717         is defined.
3718         * doc/tm.texi (ASM_OUTPUT_WEAKREF): Document it.
3719
3720 2005-11-17  James E Wilson  <wilson@specifix.com>
3721
3722         * tree.def (FUNCTION_DECL): Correct typo in comment.
3723
3724 2005-11-17  Richard Henderson  <rth@redhat.com>
3725
3726         * dwarf2out.c (dw_cfi_oprnd_struct): Reduce dw_cfi_reg_num to int.
3727         (lookup_cfa_1): Apply data alignment to DW_CFA_def_cfa_offset_sf
3728         and DW_CFA_def_cfa_sf.
3729         (def_cfa_1): Use DW_CFA_def_cfa_offset_sf with negative values.
3730         (dbx_reg_number): Don't assert particular registers here.
3731         (based_loc_descr): ... do it here instead.  Fold in ...
3732         (eliminate_reg_to_offset): ... this function.
3733         (compute_frame_pointer_to_cfa_displacement): Fold in the effects
3734         of eliminate_reg_to_offset; use FRAME_POINTER_CFA_OFFSET.
3735         * unwind-dw2.c (execute_cfa_program): Apply data align factor
3736         to DW_CFA_def_cfa_offset_sf and DW_CFA_def_cfa_sf.
3737         * function.c (instantiate_new_reg): Use FRAME_POINTER_CFA_OFFSET.
3738         (instantiate_virtual_regs): Likewise.
3739         * var-tracking.c (adjust_stack_reference): Likewise.
3740         * doc/tm.texi (FRAME_POINTER_CFA_OFFSET): New.
3741
3742 2005-11-17  Bernd Schmidt  <bernd.schmidt@analog.com>
3743
3744         * config/bfin/elf.h (STARTFILE_SPEC): Add "crtlibid%O%s"
3745         * config/bfin/uclinux.h (STARFILE_SPEC): Likewise.
3746         * config/bfin/t-bfin-elf (EXTRA_PARTS, EXTRA_MULTILIB_PARTS): Add
3747         crtlibid.o.
3748         ($(T)crtlibid.o): New rule.
3749
3750 2005-11-16  Richard Guenther  <rguenther@suse.de>
3751
3752         PR middle-end/24851
3753         * fold-const.c (extract_array_ref): Return byte offset
3754         in all cases.
3755         (fold_binary): Fold &x[a] CMP &x[b] to
3756         a*sizeof(*x) CMP b*sizeof(*x) to get correct overflow
3757         behavior.
3758
3759 2005-11-16  Richard Henderson  <rth@redhat.com>
3760
3761         PR middle-end/23497
3762         * tree-ssa.c (warn_uninitialized_var): Skip real and imaginary
3763         parts of an SSA_NAME.
3764
3765 2005-11-16  Richard Earnshaw  <richard.earnshaw@arm.com>
3766
3767         PR target/24861
3768         * arm.md (split for movsf with immediate): Restrict split to insns
3769         that set a general register.
3770
3771 2005-11-16  Daniel Jacobowitz  <dan@codesourcery.com>
3772
3773         * config/ia64/unwind-ia64.c (uw_advance_context): New.  Call
3774         uw_update_context.
3775         * unwind-dw2.c (uw_advance_context): Likewise.
3776         * unwind-sjlj.c (uw_advance_context): Likewise.  Also call
3777         _Unwind_SjLj_Unregister.
3778         * unwind.inc (_Unwind_ForcedUnwind_Phase2): Call uw_advance_context.
3779
3780 2005-11-16  Daniel Jacobowitz  <dan@codesourcery.com>
3781
3782         * unwind-sjlj.c (_Unwind_GetCFA): Handle the builtin_setjmp case.
3783
3784 2005-11-16  Eric Botcazou  <ebotcazou@adacore.com>
3785
3786         * config/alpha/alpha.c (alpha_init_builtins): Use type_for_mode
3787         langhook to get a DImode integer type.
3788
3789 2005-11-16  Richard Henderson  <rth@redhat.com>
3790             J"orn Rennecke <joern.rennecke@st.com>
3791             Ulrich Weigand  <uweigand@de.ibm.com>
3792
3793         PR rtl-opt/24160
3794         PR target/24621
3795         * reload1.c (reg_equiv_invariant): New.
3796         (reload): Allocate, initialize, and free it.
3797         (calculate_needs_all_insns): Check it when skipping equivalence
3798         setting insns.
3799         (alter_reg): Likewise.
3800         (eliminate_regs_1): Rename from eliminate_regs.  Add new
3801         may_use_invariant argument; only use reg_equiv_invariant when true.
3802         (eliminate_regs): New.
3803         (eliminate_regs_in_insn): Use eliminate_regs_1; track when we're in
3804         a context for which may_use_invariant may be true.
3805
3806 2005-11-16  Eric Botcazou  <ebotcazou@adacore.com>
3807
3808         * fold-const.c (const_binop): Don't constant fold the operation
3809         if the result has overflowed and flag_trapping_math.
3810         * simplify-rtx.c (simplify_const_binary_operation): Likewise.
3811
3812 2005-11-16  Daniel Jacobowitz  <dan@codesourcery.com>
3813
3814         * config/arm/unwind-arm.c (abort): Add prototype here.
3815         (UCB_FORCED_STOP_ARG): Correct typo in macro argument.
3816         (struct phase1_vrs): Add prev_sp.
3817         (unwind_phase2_forced): Save the original core registers instead of
3818         modifying entry_vrs.  Take a new flag argument for resuming unwinding
3819         and set action flags accordingly.  Always set _US_END_OF_STACK when
3820         get_eit_entry fails.  Unwind before calling the stop function.
3821         (_Unwind_GetCFA): New function.
3822         (__gnu_Unwind_ForcedUnwind): Update call to unwind_phase2_forced.
3823         (__gnu_Unwind_Resume_or_Rethrow): Likewise.
3824         (__gnu_Unwind_Resume): Do not unwind here for forced unwinding;
3825         just call unwind_phase2_forced.
3826         (_Unwind_GetDataRelBase, _Unwind_GetTextRelBase): Move to here.
3827         * config/arm/unwind-arm.h (abort): Remove prototype.
3828         (_Unwind_GetDataRelBase, _Unwind_GetTextRelBase): Change to
3829         prototypes.
3830         (_Unwind_GetCFA): New prototype.
3831         * config/arm/pr-support.c (abort): Add prototype here.
3832         * unwind-c.c (PERSONALITY_FUNCTION) [__ARM_EABI_UNWINDER__]: Handle
3833         forced unwinding.
3834         * config/arm/arm.c (arm_expand_prologue, thumb_expand_prologue): Do
3835         not schedule the prologue with non-call exceptions and EABI.
3836
3837 2005-11-16  Nathan Sidwell  <nathan@codesourcery.com>
3838
3839         * config/arm/unwind-arm.h: Reorder interface function declarations.
3840         (_URC_END_OF_STACK): New enumeration value.
3841         (_US_UNWIND_ACTION_MASK, _US_FORCE_UNWIND, _US_END_OF_STACK): Likewise.
3842         (struct _Unwind_Control_Block): Document reserved field use.
3843         (_Unwind_Stop_Fn): New typedef.
3844         (_Unwind_ForcedUnwind): Declare.
3845         (_Unwind_Resume_or_Rethrow): Declare.
3846         * gcc/config/arm/libunwind.S (UNWIND_WRAPER): Add nargs
3847         argument.  Adjust.
3848         (_Unwind_Resume_or_Rethrow, _Unwind_ForcedUnwind): New.
3849         * config/arm/unwind-arm.c (UCB_FORCED_STOP_FN)
3850         (UCB_FORCED_STOP_ARG): New.
3851         (search_EIT_table): Update boundary condition checks.
3852         (get_eit_entry): Return _URC_END_OF_STACK when cannot unwind.
3853         (unwind_phase2): Replace for with do..while.
3854         (unwind_phase2_forced): New.
3855         (__gnu_Unwind_RaiseException): Replace for with do..while.
3856         (__gnu_Unwind_ForcedUnwind): New.
3857         (__gnu_Unwind_Resume): Set FORCE_UNWIND flag, if forced unwinding.
3858         Use appropriate phase2 unwinder.
3859         (__gnu_Unwind_Resume_or_Rethrow): New.
3860         (__gnu_unwind_pr_common): Cope with forced unwinding.
3861
3862 2005-11-16  David Edelsohn  <edelsohn@gnu.org>
3863
3864         PR target/24772
3865         * config/rs6000/predicates.md (vrsave_operation): SET_SRC is a VEC.
3866
3867         * config/rs6000/rs6000.md (btruncsf2, ceilsf2, floorsf2,
3868         roundsf2): Remove "s" from mnemonic.
3869
3870 2005-11-16  Bernd Schmidt  <bernd.schmidt@analog.com>
3871
3872         * config/bfin/crti.s (__init, __fini): Use appropriate prologue if
3873         __PIC__ is defined.
3874         * config/bfin/crtn.s: Change epilogues to match.
3875         * config/bfin/t-bfin-elf (EXTRA_MULTILIB_PARTS): Define.
3876         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): If flag_pic, define
3877         __PIC__ and __pic__.
3878
3879 2005-11-16  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>
3880
3881         PR 24357
3882         * doc/invoke.texi: Distinguish between free and fixed form instead of
3883         Fortran and Fortran 90/95.  Remove ratfor from the list of supported
3884         languages.
3885         * gcc.c (default_compilers): Remove double entries, add entries for
3886         suffixes '.F90' and '.F95'.
3887
3888 2005-11-16  Eric Botcazou <ebotcazou@adacore.com>
3889
3890         * config/alpha/alpha.c (alpha_expand_prologue): Fix off-by-one bug
3891         in the stack probing loop.
3892
3893 2005-11-15  David Edelsohn  <edelsohn@gnu.org>
3894
3895         * configure.ac: Use .machine power5 not power5x.
3896         * configure: Regenerate.
3897
3898 2005-11-15  Mike Stump  <mrs@apple.com>
3899
3900         * c-decl.c (lookup_name_two): Add.
3901         * c-tree.h (lookup_name_two): Likewise.
3902         * c-common.c (handle_cleanup_attribute): Use lookup_name_two instead.
3903         * config/darwin-c.c (darwin_pragma_unused): Likewise.
3904
3905 2005-11-16  Alan Modra  <amodra@bigpond.net.au>
3906
3907         PR rtl-optimization/23392
3908         * regrename.c (enum scan_actions) Add mark_access.
3909         (scan_actions_name): Ditto.
3910         (scan_rtx_reg): Handle mark_access.
3911         (scan_rtx_address): Do nothing for mark_access.
3912         (build_def_use): Mark source registers in REG_FRAME_RELATED_EXPR
3913         and regs in REG_INC notes before closing chains for dead regs.
3914         Mark destination regs in REG_FRAME_RELATED_EXPR notes after
3915         opening chains for new writes.
3916
3917 2005-11-15  David Edelsohn  <edelsohn@gnu.org>
3918
3919         * c.opt (ffixed-line-length-none): New.
3920
3921 2005-11-15  Steve Ellcey  <sje@cup.hp.com>
3922
3923         * mklibgcc.in: Change contents of eh_dummy.c.
3924
3925 2005-11-15  Daniel Jacobowitz  <dan@codesourcery.com>
3926
3927         * loop.c (scan_loop): Do not insert temporaries for hard registers.
3928
3929 2005-11-15  Daniel Jacobowitz  <dan@codesourcery.com>
3930
3931         * config/arm/lib1funcs.asm (div0) [L_dvmd_lnx]: Call raise instead
3932         of making syscalls.
3933         * config/arm/linux-eabi.h (CLEAR_INSN_CACHE): Define.  Set r7 also.
3934
3935 2005-11-15  Jan Hubicka  <jh@suse.cz>
3936
3937         * invoke.texi (large-unit-insns): Document.
3938         * ipa-inline.c (cgraph_decide_inlining): Use large-unit-insns param.
3939         * params.def (large-unit-insns): New param.
3940
3941 2005-11-15  Hans-Peter Nilsson  <hp@axis.com>
3942
3943         PR target/24869
3944         * config/cris/cris.md ("*mov_sidesisf_mem"): Do not match
3945         special register for operand 3.  Reindent constraints to align
3946         them vertically.
3947
3948 2005-11-14  David Edelsohn  <edelsohn@gnu.org>
3949
3950         * doc/invoke.texi (RS/6000 and PowerPC Options): Add -mmfcrf,
3951         -mpopcntb, -mfprnd. Add -mcpu=power5+.
3952         * configure.ac: Add test for FP rounding instructions.
3953         * configure: Regenerate.
3954         * config.in: Regenerate.
3955         * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define
3956         _ARCH_PPCSQ, _ARCH_PPCGR, _ARCH_PWR4, _ARCH_PWR5, _ARCH_PWR5X if
3957         features enabled.
3958         * config/rs6000/rs6000.opt (mfprnd): New.
3959         * config/rs6000/rs6000.c (processor_target_table): Add power5+.
3960         (POWERPC_MASKS): Add MASK_POPCNTB and MASK_FPRND.
3961         * config/rs6000/aix52.h (ASM_CPU_SPEC): Add -mpower5+.
3962         * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add -mpower5+.
3963         (TARGET_FPRND): New.
3964         * config/rs6000/rs6000.md (UNSPEC_FRIM, UNSPEC_FRIN, UNSPEC_FRIP,
3965         UNSPEC_FRIZ): New.
3966         (btrunc<mode>2): New.
3967         (ceil<mode>2): New.
3968         (floor<mode>2): New.
3969         (round<mode>2): New.
3970
3971 2005-11-14  Geoffrey Keating  <geoffk@apple.com>
3972
3973         * gcc.c (version_compare_spec_function): Use fatal() rather than
3974         abort().
3975
3976         * config/rs6000/darwin.h (DARWIN_CRT2_SPEC): New.
3977         (SUBTARGET_EXTRA_SPECS): Define %(darwin_crt2).
3978         * config/i386/darwin.h (SUBTARGET_EXTRA_SPECS): Define %(darwin_crt2)
3979         as empty.
3980         * config/darwin.h (STARTFILE_SPEC): Use %(darwin_crt2) to possibly
3981         link in crt2.o.
3982
398