OSDN Git Service

ede940ec26b3983fc29fcaf46448be93844cf35e
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2004-08-24  James E Wilson  <wilson@specifixinc.com>
2
3         * Makefile.in (STAGEFEEDBACK_FLAGS_TO_PASS): Remove
4         -freorder-blocks-and-partition.
5
6 2004-08-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
7
8         PR middle-end/17044
9         * tree-ssa-threadupdate.c (redirection_data): Make static.
10         (thread_block): Use ggc_alloc_cleared to allocate struct
11         redirection_data.  Don't free elements in redirection_data.
12
13 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
14
15         * config/mips/predicates.md (small_data_pattern): Match prefetches.
16
17 2004-08-24  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
18
19         PR tree-optimization/17016
20         * tree-ssa-loop-niter.c (number_of_iterations_cond,
21         number_of_iterations_exit): Use POINTER_TYPE_P instead
22         of testing for POINTER_TYPE.
23
24 2004-08-24  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
25
26         * tree-ssa-loop-ivcanon.c: New file.
27         * tree-ssa-loop-manip.c (create_iv): New function.
28         * Makefile.in (tree-ssa-loop-ivcanon.o): Add.
29         (tree-ssa-loop.o, tree-ssa-loop-manip.o): Add SCEV_H dependency.
30         * cfgloop.c (mark_single_exit_loops): New function.
31         (verify_loop_structure): Verify single-exit loops.
32         * cfgloop.h (struct loop): Add single_exit field.
33         (LOOPS_HAVE_MARKED_SINGLE_EXITS): New constant.
34         (mark_single_exit_loops): Declare.
35         (tree_num_loop_insns): Declare.
36         * cfgloopmanip.c (update_single_exits_after_duplication): New function.
37         (duplicate_loop_to_header_edge): Use it.
38         * common.opt (fivcanon): New flag.
39         * timevar.def (TV_TREE_LOOP_IVCANON, TV_COMPLETE_UNROLL): New timevars.
40         * tree-cfg.c (tree_find_edge_insert_loc): Return newly created block.
41         (bsi_commit_edge_inserts_1): Pass null to tree_find_edge_insert_loc.
42         (bsi_insert_on_edge_immediate): New function.
43         * tree-flow.h (bsi_insert_on_edge_immediate,
44         canonicalize_induction_variables, tree_unroll_loops_completely,
45         create_iv): Declare.
46         * tree-optimize.c (init_tree_optimization_passes): Add
47         pass_iv_canon and pass_complete_unroll.
48         * tree-pass.h (pass_iv_canon, pass_complete_unroll): Declare.
49         * tree-scalar-evolution.c (get_loop_exit_condition,
50         get_exit_conditions_rec, number_of_iterations_in_loop,
51         scev_initialize): Use single_exit information.
52         * tree-ssa-loop-niter.c (number_of_iterations_cond): Record
53         missing assumptions.
54         (loop_niter_by_eval):  Return number of iterations as unsigned
55         int.
56         * tree-ssa-loop.c (tree_ssa_loop_init): Mark single exit loops.
57         (tree_ssa_loop_ivcanon, gate_tree_ssa_loop_ivcanon, pass_iv_canon,
58         tree_complete_unroll, gate_tree_complete_unroll, pass_complete_unroll):
59         New passes.
60         (tree_ssa_loop_done): Call free_numbers_of_iterations_estimates.
61         * tree-ssanames.c (make_ssa_name): Allow creating ssa name before
62         the defining statement is ready.
63         * tree-vectorizer.c (vect_create_iv_simple): Removed.
64         (vect_create_index_for_array_ref, vect_transform_loop_bound):
65         Use create_iv.
66         (vect_transform_loop_bound): Use single_exit information.
67         (vect_analyze_loop_form): Cleanup bogus tests.
68         (vectorize_loops): Do not call flow_loop_scan.
69         * tree.h (may_negate_without_overflow_p): Declare.
70         * fold-const.c (may_negate_without_overflow_p): Split out from ...
71         (negate_expr_p): ... this function.
72         (tree_expr_nonzero_p): Handle overflowed constants correctly.
73         * doc/invoke.texi (-fivcanon): Document.
74         * doc/passes.texi: Document canonical induction variable creation.
75
76 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
77
78         * config/mips/mips.h (ISA_HAS_INT_CONDMOVE): Delete.
79         * config/mips/mips.c (print_operand): Fold %B/%b handling into %T/%t,
80         using the mode of the operand to decide between them.
81         * config/mips/mips.md (MOVECC): New mode macro.
82         (ccreg): New mode attribute.
83         (*mov{si,di,sf,df}_on_{cc,si,di}): Name formerly unnamed patterns.
84         Redefine using :GPR and :MOVECC.  Use %T and %t for the condition.
85         (mov[sd]icc): Redefine using :GPR.
86
87 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
88
89         * config/mips/mips-protos.h (mips_emit_prefetch): Delete.
90         (mips_prefetch_cookie): New function.
91         * config/mips/mips.c (print_operand_address): Fix handling of
92         ADDRESS_CONST_INT.
93         (mips_emit_prefetch): Delete.
94         (mips_prefetch_cookie): New function.
95         * config/mips/mips.md (prefetch): Turn into a define_insn.  Use a
96         mode of QImode for the address_operand.  Use mips_prefetch_cookie
97         to calculate the first "pref" operand.
98         (prefetch_[sd]i, prefetch_[sd]i_address): Delete.
99         (prefetch_indexed_[sd]i): Redefine using :P.  Use mips_prefetch_cookie.
100
101 2004-08-24  Richard Earnshaw  <rearnsha@arm.com>
102
103         * arm.md: Include predicates.md.
104         * predicates.md: New file.
105         * arm.c (s_register_operand, arm_hard_register_operand)
106         (arm_general_register_operand, f_register_operand, reg_or_int_operand)
107         (arm_immediate_operand, arm_neg_immediate_operand)
108         (arm_not_immediate_operand, arm_rhs_operand, arm_rhsm_operand)
109         (arm_add_operand, arm_addimm_operand, arm_not_operand)
110         (offsettable_memory_operand, alignable_memory_operand)
111         (arm_reload_memory_operand, arm_float_rhs_operand)
112         (arm_float_add_operand, vfp_compare_operand, arm_float_compare_operand)
113         (index_operand, shiftable_operator, logical_binary_operator)
114         (shift_operator, equality_operator, arm_comparison_operator)
115         (minmax_operator, cc_register, dominant_cc_register)
116         (arm_extendqisi_mem_op, power_of_two_operand, nonimmediate_di_operand)
117         (di_operand, nonimmediate_soft_df_operand, soft_df_operand)
118         (const_shift_operand, load_multiple_operation)
119         (store_multiple_operation, multi_register_push, thumb_cmp_operand)
120         (thumb_cmpneg_operand, thumb_cbrch_target_operand)
121         (cirrus_register_operand, cirrus_fp_register)
122         (cirrus_shift_const): Delete, replaced with equivalents in
123         predicates.md.
124         (shift_op): Handle ROTATE.
125         * arm-protos.h: Delete declarations for above.
126         * arm.h (PREDICATE_CODES, SPECIAL_MODE_PREDICATES): Delete.
127         * t-arm (MD_INCLUDES): Add predicates.md.
128         (s-preds): Depends on MD_INCLUDES.
129
130 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
131
132         * config/mips/mips.c (mips_gen_conditional_trap): Fix mode.
133         * config/mips/mips.md (*conditional_trap[sd]i): Name previously unnamed
134         patterns.  Redefine using :GPR.  Give the match_operator a mode.
135         Use '%2' rather than '%z2' for operand 2.
136
137 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
138
139         * config/mips/mips.md (load_call[sd]i): Redefine using :P.  Add mode
140         attribute.
141
142 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
143
144         * config/mips/mips.md (indirect_jump): Use force_reg.  Adjust names
145         of internal patterns.
146         (indirect_jump[sd]i): Renamed from indirect_jump_internal[12].
147         Redefine using :P.
148         (tablejump): Use expand_binop to calculate address.  Adjust names
149         of internal patterns.
150         (tablejump[sd]i): Renamed from tablejump_internal[12].
151         Redefine using :P.
152         (tablejump_mips16[12]): Delete.
153
154 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
155
156         * config/mips/mips.md (*seq_[sd]i, *seq_[sd]i_mips16, *sne_[sd]i)
157         (*sgt_[sd]i, *sgt_[sd]i_mips16, *sge_[sd]i, *slt_[sd]i)
158         (*slt_[sd]i_mips16, *sle_[sd]i, *sle_[sd]i_mips16, *sgtu_[sd]i)
159         (*sgtu_[sd]i_mips16, *sge_[sd]i, *sltu_[sd]i, *sltu_[sd]i_mips16)
160         (*sleu_[sd]i, *sleu_[sd]i_mips16): Redefine using :GPR.
161
162 2004-08-24  Richard Sandiford  <rsandifo@redhat.com>
163
164         * config/mips/mips.md (cmpsi, cmpdi): Redefine using :GPR.
165         (*branch_zero[sd]i): Renamed from branch_zero{,_di}.  Redefine
166         using :GPR.
167         (*branch_zero[sd]i_inverted): Likewise branch_zero{,_di}_inverted.
168         (*branch_equality[sd]i): Likewise branch_equality{,_di}.
169         (*branch_equality[sd]i_inverted): Likewise
170         branch_equality{,_di}_inverted.
171         (*branch_equality[sd]i_mips16): Name formerly unnamed patterns.
172         Redefine using :GPR.
173
174 2004-08-24  Zack Weinberg  <zack@codesourcery.com>
175
176         * rtl.def: Reorganize, placing all codes used only in machine
177         descriptions at the end.
178
179         * rtl.def: Wrap MD-only codes in #ifdef GENERATOR_FILE.
180         * gengtype.c: Don't include rtl.h.  Define enum rtx_code and
181         rtx_name, rtx_format arrays by direct reference to rtl.def,
182         first undefining GENERATOR_FILE.  Define enum insn_note and
183         note_insn_name array by direct reference to insn-notes.def.
184         (adjust_field_rtx_def): Remove local definition of rtx_name.
185         Use symbolic names for insn notes.
186         * Makefile.in (gengtype.o): Update dependencies.
187
188 2004-08-24  Zack Weinberg  <zack@codesourcery.com>
189
190         * basic-block.h (struct basic_block_def): Reorder fields to
191         eliminate interior padding.  Remove 'partition' field.
192         (BB_DISABLE_SCHEDULE, BB_HOT_PARTITION, BB_COLD_PARTITION)
193         (BB_UNPARTITIONED, BB_PARTITION, BB_SET_PARTITION)
194         (BB_COPY_PARTITION): New macros.
195         * bb-reorder.c, cfgcleanup.c, cfglayout.c, cfgrtl.c, ifcvt.c
196         Replace all references to the 'partition' field of a basic
197         block with new macros.
198
199         * insn-notes.def: Delete NOTE_INSN_DISABLE_SCHED_OF_BLOCK.
200         * final.c (final_scan_insn): Don't handle it.
201         * modulo-sched.c: Set BB_DISABLE_SCHEDULE flag on g->bb
202         instead of emitting a NOTE_INSN_DISABLE_SCHED_OF_BLOCK note.
203         * sched-rgn.c (sched_is_disabled_for_current_region_p):
204         Look for a BB_DISABLE_SCHEDULE flag on the block instead of a note.
205
206 2004-08-24  Nathan Sidwell  <nathan@codesourcery.com>
207
208         * c-decl.c (c_init_decl_processing): Adjust
209         build_common_tree_nodes call.
210         * expmed.c (const_mult_add_overflow_p): Use
211         build_distinct_type_copy.
212         * stor-layout.c (early_type_list): Remove.
213         (layout_type): Don't append to early_type_list.
214         (initialize_sizetypes): Add signed_p argument.
215         (set_sizetype): Overwrite the stub type nodes directly.
216         * tree.c (copy_node_stat): Clear a type's value cache here ...
217         (build_distinct_type): ... not here.
218         (build_common_tree_nodes): Add signed_sizetype argument. Adjust.
219         * tree.h (initialize_sizetypes): Add signed_p argument.
220         (build_common_tree_nodes): Likewise.
221
222         * objc/objc-act.c (get_static_reference): Use
223         build_variant_type_copy.
224         (get_protocol_reference): Likewise.
225         * objc/objc-act.h (TREE_STATIC_TEMPLATE): Use TREE_PRIVATE.
226
227 2004-08-24  Richard Henderson  <rth@redhat.com>
228             Andrew Pinski  <apinski@apple.com>
229
230         * gimplify.c (gimplify_array_ref_to_plus): Delete.
231         (gimplify_addr_expr): Do not call gimplify_array_ref_to_plus
232         for ARRAY_REF.
233
234         * config/rs6000/rs6000.c (altivec_expand_builtin): Go passed
235         ARRAY_REF also to get to the STRING_CST.
236
237 2004-08-24  Paul Brook  <paul@codesourcery.com>
238
239         * config/arm/arm.c (arm_override_options): Update error message.
240         * config/arm/arm.h (TARGET_HARD_FLOAT): Rename to
241         TARGET_HARD_FLOAT_ABI.
242         (TARGET_SOFT_FLOAT_ABI): Rename to TARGET_HARD_FLOAT.
243         (LIBCALL_VALUE, FUNCTION_VALUE_REGNO_P): Use TARGET_HARD_FLOAT_ABI.
244
245 2004-08-24  Kazuhiro Inaoka  <inaoka.kazuhiro@renesas.com>
246
247         PR target/17093
248         * config/m32r.md (movsi_sda): Add SI mode specification to
249         UNSPEC.
250
251 2004-08-24  Nick Clifton  <nickc@redhat.com>
252
253         * config/m32r/m32r.h (PREDICATE_CODES): Remove duplicate definition
254         of seth_add3_operand.
255
256 2004-08-24  Nathan Sidwell  <nathan@codesourcery.com>
257
258         * Makefile.in (PROTO_OBJS): Add errors.o.
259         * protoize.c (fancy_abort): Remove.
260         * mips-tfile.c (fancy_abort): Add parameters.
261
262 2004-08-24  Jonathan Wakely  <redi@gcc.gnu.org>
263
264         * doc/trouble.texi (C++ misunderstandings): Fix example code.
265
266 2004-08-24  Andreas Tobler  <a.tobler@schweiz.ch>
267
268         * Makefile.in (HOOKS_H): Add dependency on MACHMODE_H.
269         (host-default.o): Add dependency on HOOKS_H.
270         * config/x-linux: Likewise.
271         * config/x-solaris: Likewise.
272         * config/i386/x-mingw32: Likewise.
273         * config/rs6000/x-darwin: Likewise.
274
275 2004-08-23  James E Wilson  <wilson@specifixinc.com>
276
277         * reg-notes.def (REG_NOTE): In comment, change DEF_INSN_NOTE to
278         DEF_REG_NOTE.
279
280 2004-08-23  Mark Mitchell  <mark@codesourcery.com>
281
282         PR c/14492
283         * dwarf2out.c (loc_descriptor_from_tree): Robustify.
284
285 2004-08-23  Diego Novillo  <dnovillo@redhat.com>
286
287         * cfg.c (check_bb_profile): Fix typos.
288         * function.c (assign_parm_is_stack_parm): Likewise.
289         * tree-nested.c: Likewise.
290
291 2004-08-23  Daniel Jacobowitz  <dan@debian.org>
292
293         * ggc-zone.c (struc alloc_chunk): Rearrange flag bits and SIZE.
294         Remove TYPECODE.
295         (ggc_alloc_zone_1): Mark TYPE as unused.  Don't save it in the chunk.
296
297 2004-08-23  Eric Christopher  <echristo@redhat.com>
298
299         * defaults.h (VECTOR_MODE_SUPPORTED_P): Remove macro.
300         * system.h (VECTOR_MODE_SUPPORTED_P): Poison.
301         * target-def.h (TARGET_VECTOR_MODE_SUPPORTED_P): Define.
302         * target.h: Ditto.
303         * hooks.h: Include machmode.h.
304         (hook_bool_mode_false): Declare.
305         * hooks.c (hook_bool_mode_false): Define.
306         * expr.c (vector_mode_valid_p): Use targetm.vector_mode_supported_p.
307         * stor-layout.c (layout_type): Ditto.
308         * config/alpha/alpha.c (alpha_vector_mode_supported_p): New function.
309         Define to target macro.
310         * config/alpha/alpha.h (VECTOR_MODE_SUPPORTED_P): Delete.
311         * config/arm/arm.c: Ditto. Use.
312         * config/arm/arm.h: Ditto.
313         * config/arm/arm-protos.h: Ditto.
314         * config/i386/i386.c: Ditto.
315         * config/i386/i386.h: Ditto.
316         * config/rs6000/rs6000.c: Ditto.
317         * config/rs6000/rs6000.h: Ditto.
318         * config/sh/sh.c: Ditto.
319         * config/sh/sh.h: Ditto.
320         * config/sh/sh-protos.h: Ditto.
321         * config/sh/sh.md: Use.
322         * doc/tm.texi: Move documentation for VECTOR_MODE_SUPPORTED_P
323         to TARGET_VECTOR_MODE_SUPPORTED_P.
324
325 2004-08-23  Nathan Sidwell  <nathan@codesourcery.com>
326
327         * Makefile.in (BUILD_ERRORS): Set to build-errors.
328         (errors.o): New target for host.
329         (build-errors.o): New target for build.
330         (genobjs): Replace errors.o with build-errors.
331         (gengenrtl$(buildexeext)): Add $(BUILD_ERRORS).
332         (GCOV_OBJS, GCOV_DUMP_OBJS): Add errors.o.
333         (fix-headers$(build_exeext)): Add $(BUILD_ERRORS).
334         (fix-header.o): Add errors.h
335         * collect2.c (fancy_abort): Add parameters.
336         * collect2.h (fancy_abort): Don't declare.
337         * errors.h (fancy_abort): Don't declare.
338         * errors.c: Include either bconfig.h or config.h.
339         (fancy_abort): Trim filename.
340         * fix-header.c (v_fatal, fatal): Remove.
341         (progname): Remove definition.
342         (main): Set progname here.
343         * gcc.c (fancy_abort): Add parameters.
344         * gcc.h (fancy_abort): Remove declaration.
345         * gcov.c (fancy_abort): Remove.
346         * rtl.h (fancy_abort): Don't declare.
347         (abort): Don't define.
348         * tree.h (fancy_abort): Don't declare.
349         (abort): Don't define.
350         * system.h (fancy_abort): Declare.
351         (abort): Define to fancy_abort.
352         * fixinc/Makefile.in (ALLOBJ): Add ../build-errors.o
353
354         * tree.h (enum size_type_kind): Remove USIZETYPE, UBITSIZETYPE.
355         (usize_type, ubitsizetype): Remove.
356         * stor-layout.c (set_sizetype): Don't initialize usizetype,
357         ubitsizetype.
358         * fold-const.c (size_diffop): TYPE can never be ubitsizetype.
359
360         * tree.h (build_distinct_type_copy): New.
361         (build_type_copy): ... here.  Rename to ...
362         (build_variant_type_copy): ... here.
363         * tree.c (build_qualified_type): Rename build_type_copy call.
364         (build_distinct_type_copy): New, broken out of ...
365         (build_type_copy): ... here.  Rename to ...
366         (build_variant_type_copy): ... here.  Use
367         build_distinct_type_copy.
368         (build_common_tree_nodes_2): Rename build_type_copy call.
369         * c-common.c (c_common_nodes_and_builtins): Rename build_type_copy
370         call.
371         (handle_packed_attribute, handle_unused_attribute,
372         handle_transparanet_union_attribute, handle_aligned_attribute,
373         handle_deprecated_attribute): Likewise.
374         * c-decl.c (clone_underlying_type, store_parm_decls_oldstyle):
375         Likewise.
376         * config/arm/arm.c (arm_handle_isr_attribyte): Likewise.
377         * config/rs6000/rs6000.c (rs6000_init_builtins): Use
378         build_distinct_type_copy.
379
380 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
381
382         * config/mips/mips.md (mfhilo_[sd]i): Redefine using :GPR.  Add mode
383         attribute.
384
385 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
386
387         * config/mips/mips.md (length): Don't use mips_fetch_insns for indexed
388         loads and stores.
389         (*lwxc1_<mode>, *ldxc1_<mode>, *swxc1_<mode>, *sdxc1_<mode>): Name
390         formerly unnamed patterns.  Redefine using :P for the address.  Remove
391         explicit length attributes.
392
393 2004-08-23  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
394
395         * tree-ssa-loop-im.c (fem_single_reachable_address, for_each_memref):
396         New functions.
397         (single_reachable_address): Use them.
398         (schedule_sm): Add dump.
399         (is_call_clobbered_ref): New function.
400         (determine_lsm_reg): Check whether the reference is call clobbered.
401         Only work for gimple_reg_type values.
402
403 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
404
405         * config/mips/mips.md (*mov<mode>_ra): Name previously unnamed MIPS16
406         $31 store insns.  Redefine using :GPR.
407
408 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
409
410         * config/mips/mips.md (P): New mode macro.
411         (*xgot_hi[sd]i, *xgot_lo[sd]i, *got_disp[sd]i, *got_page[sd]i)
412         (*load_got[sd]i, *low[sd]i, *low[sd]i_mips16): Redefine using :P.
413         Add mode attributes.
414
415 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
416
417         * config/mips/mips.md (UNSPEC_[LS][WD][LR]): Delete in favor of...
418         (UNSPEC_{LOAD,STORE}_{LEFT,RIGHT}): ...these new constants.  Shuffle
419         later constants to cover the gap.
420         (load, store): New mode attributes.
421         (mov_l[wd]l, mov_l[wd]r, mov_s[wd]l, mov_s[wd]r): Redefine using :GPR.
422         Use new unspec constants.
423
424 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
425
426         * config/mips/mips.md (one_cmpl[sd]i2): Redefine using :GPR.
427         (and[sd]3, ior[sd]i3, xor[sd]i3): Likewise.  Change 32-bit patterns
428         to use register_operand rather than uns_arith_operand as the predicate
429         for operand 1.  Remove redundant MIPS16 force_reg() for operand 1.
430         (*and[sd]i3, *ior[sd]i3, *xor[sd]i3): Name formerly unnamed patterns.
431         Redefine using :GPR.  Make same predicate change here.  Extend the
432         commutativity of operands 1 and 2 from the SImode version to the
433         DImode one.
434         (*and[sd]i3_mips16, *ior[sd]i3_mips16, *xor[sd]i3_mips16): Likewise,
435         but with no predicate changes.
436         (*nor[sd]i3): Redefine using :GPR.
437
438 2004-08-23  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
439
440         * tree-ssa-operands.c (get_call_expr_operands): Add VUSE operands for
441         noreturn functions.
442
443 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
444
445         * config/mips/mips.h (ISA_HAS_DCLZ_DCLO): Delete.
446         * config/mips/mips.md (abs[sd]i2): Redefine using :GPR.  Only use
447         branch-likely insns for absdi2 if GENERATE_BRANCHLIKELY.  Use "%."
448         rather than "%z2" (with a fake const0_rtx for operand 2).
449         (ffs[sd]i2): Redefine using :GPR.
450         (clz[sd]i2): Likewise.  Use ISA_HAS_CLO_CLZ for the 64-bit case.
451
452 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
453
454         * config/mips/mips.md ({,u}divmod[sd]i4): Redefine using :GPR.
455
456 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
457
458         * config/mips/mips.md (any_extend): New code macro.
459         (u, su): New code attributes.
460         ({,u}mulsidi3, {,u}mulsidi3_32bit_internal, {,u}mulsidi3_32bit_r4000)
461         ({u,s}mulsi3_highpart, {u,s}mulsi3_highpart_internal)
462         ({u,s}mulsi3_highpart_mulhi_internal, {s,u}muldi3_highpart)
463         (*{s,u}mul_acc_di): Redefine using any_extend.
464         (*{,u}muls_di, *{s,u}msac_di): Likewise.  Change names of patterns
465         to reflect real insn names.
466         (*mulsidi3_64bit, *mulsidi3_64bit_parts): Replace use of match_operator
467         with an any_extend template.
468         ({u,s}mulsi3_highpart_neg_mulhi_internal): Redefine using any_extend.
469         Add '*' to name.
470
471 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
472
473         * config/mips/mips.h (GENERATE_MULT3_SI): Check TARGET_MAD.
474         * config/mips/mips.md (mul[sd]i3, mul[sd]i3_internal)
475         (mul[sd]i3_r4000): Redefine using :GPR.
476         (mulsi3_mult3): Don't check TARGET_MAD separately.
477         (muldi3_mult3): Moved after mulsi_mult3.
478
479 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
480
481         * config.gcc (mips-*-*): Remove definitions of MASK_GAS and
482         OBJECT_FORMAT_ELF.  Set MASK_SPLIT_ADDR by default if using GNU ld.
483         * config/mips/mips.h (MASK_GAS): Delete.  Shuffle later masks down.
484         (TARGET_GAS, TARGET_MIPS_AS): Delete.
485         (TARGET_GPWORD): Define to true for n32 on IRIX.
486         (TARGET_SWITCHES): Remove -mmips-as.  Turn -mgas into a no-op.
487         (MIPS_AS_ASM_SPEC, SUBTARGET_MIPS_AS_ASM_SPEC): Delete.
488         (GAS_ASM_SPEC): Delete, folding into ASM_SPEC.
489         (ASM_ABI_DEFAULT_SPEC, TARGET_ASM_SPEC): Delete.
490         (MDEBUG_ASM_SPEC): Delete, folding into...
491         (SUBTARGET_ASM_DEBUGGING_SPEC): ...here.
492         (ASM_SPEC): Inline old GAS_ASM_SPEC.  Use GNU names for ABI switches.
493         (EXTRA_SPECS): Remove mips_as_asm_spec, gas_asm_spec, target_asm_spec,
494         subtarget_mips_as_asm_spec, mdebug_asm_spec.  Use MULTILIB_ABI_DEFAULT
495         to define asm_abi_default_spec.
496         (ASM_STABS_OP, ASM_STABN_OP, ASM_STABD_OP): Delete.
497         (TARGET_ASM_SELECT_SECTION): Delete.
498         * config/mips/mips.c (MIPS_MAX_FIRST_STACK_STEP): Define to 0x7ff0
499         for non-mips16 code, removing previous workaround for SGI assemblers.
500         (TARGET_ASM_INTEGER, mips_assemble_integer): Delete.
501         (TARGET_ASM_ALIGNED_DI_OP): Define this instead.
502         (override_options): Remove !TARGET_GAS and !have_named_sections code.
503         (print_operand): Fold TARGET_GAS conditionals into asm strings.
504         (mips_output_filename): Remove !TARGET_GAS code.  Replace use of
505         ASM_STABS_OP and ASM_STABN_OP.
506         (mips_file_start): Remove TARGET_MIPS_AS/TARGET_GAS checks.
507         (mips_output_aligned_decl_common): Remove mention of SGI o32 assembler.
508         (mips_output_function_prologue): Remove !TARGET_GAS code.
509         (mips_select_rtx_section): Remove !have_named_sections code.
510         (mips_select_section): Delete.
511         * config/mips/mips.md (trap): Remove !TARGET_GAS check.
512         * config/mips/linux.h (TARGET_DEFAULT): Remove use of MASK_GAS.
513         * config/mips/sdb.h (PUT_SDB_DEF, PUT_SDB_PLAIN_DEF): Delete.
514         (PUT_SDB_BLOCK_START, PUT_SDB_BLOCK_END): Fold TARGET_GAS conditional.
515         * config/mips/vxworks.h (ASM_SPEC): As for mips.h.
516         * config/mips/windiss.h (ASM_SPEC): Likewise.
517
518 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
519
520         * read-rtl.c (map_value, mapping, macro_group): New structures.
521         (BELLWETHER_CODE): New macro.
522         (modes, codes, bellwether_codes): New variables.
523         (find_mode, uses_mode_macro_p, apply_mode_macro, find_code)
524         (uses_code_macro_p, apply_code_macro, apply_macro_to_string)
525         (apply_macro_to_rtx, uses_macro_p, add_condition_to_string)
526         (add_condition_to_rtx, apply_macro_traverse, add_mapping)
527         (add_map_value, initialize_macros): New functions.
528         (def_hash, def_hash_eq_p): Generalize to anything that points to,
529         or starts with, a char * field.
530         (find_macro, read_mapping, check_code_macro): New functions.
531         (read_rtx_1): New, split out from read_rtx.  Handle the new
532         define_{mode,code}_{macro,attr} constructs.  Use find_macro
533         to parse the name of a code or mode.  Use BELLWETHER_CODE to
534         extract the format and to choose a suitable code for rtx_alloc.
535         Modify recursive invocations to use read_rtx_1.
536         (read_rtx): Call initialize_macros.  Apply code and mode macros
537         to the rtx returned by read_rtx_1.  Cache everything after the
538         first macro expansion for subsequent read_rtx calls.
539         * doc/md.texi: Document new .md constructs.
540         * config/mips/mips.md (GPR): New mode macro.
541         (d, si8_di5): New mode attributes.
542         (any_cond): New code macro.
543         (add[sd]i3): Redefine using :GPR.
544         (*add[sd]i3): Likewise, renaming from add[sd]i3_internal.
545         (*add[sd]i3_sp[12], *add<mode>3_mips16): Redefine using :GPR, naming
546         previously unnamed MIPS16 patterns.
547         (*addsi3_extended): Renamed from addsi3_internal_2.  Fix overly long
548         lines.  Don't match (plus (const_int 0) ...).
549         (*addsi3_extended_mips16): Name previously unnamed MIPS16 pattern.
550         Use a define_split to generate the addition.
551         (sub[sd]i3): Redefine using :GPR.  Turn subsi3 into a define_insn.
552         (subsi3_internal): Delete.
553         (*subsi3_extended): Renamed from subsi3_internal_2.
554         (bunordered, bordered, bunlt, bunge, buneq, bltgt, bunle, bungt)
555         (beq, bne, bgt, bge, blt, ble, bgtu, bgeu, bltu, bleu): Redefine
556         using an any_cond template.
557
558 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
559
560         * read-rtl.c (read_rtx): Tidy use of format_ptr.
561
562 2004-08-23  Richard Sandiford  <rsandifo@redhat.com>
563
564         * read-rtl.c (string_obstack): New file-scope variable.
565         (read_string, read_quoted_string, read_braced_string)
566         (read_escape): Remove obstack parameter and use string_obstack instead.
567         (read_rtx): Remove function-local rtl_obstack and initialize
568         string_obstack instead.  Update call to read_string.
569
570 2004-08-22  Andrew Pinski  <apinski@apple.com>
571
572         PR c/15262
573         * c-typeck.c (build_unary_op): Use &a.b if the foldded lowered
574         expression is not constant.
575         (c_finish_return): Do not go through INDIRECT_REF when looking
576         for the inner expression of an ADDR_EXPR for warning about.
577
578 2004-08-22  Richard Henderson  <rth@redhat.com>
579
580         PR 17075
581         * cfgexpand.c (expand_gimple_tailcall): Detect when we can both
582         create new blocks and fall through.
583         (expand_gimple_basic_block): Update to match.
584
585 2004-08-22  Ulrich Weigand  <uweigand@de.ibm.com>
586
587         * reload.c (find_reloads_address): Make return value tri-state.
588         Return -1 if LEGITIMIZE_RELOAD_ADDRESS succeeded.
589         (find_reloads): Assume that reloaded addresses match 'o' or
590         EXTRA_MEMORY_CONSTRAINT constraints only if find_reloads_address
591         returned 1 (not -1).  Omit optional reloads for address operands
592         only if find_reloads_address returned 1 (not -1).
593
594         * config/s390/s390.c (legitimize_reload_address): New function.
595         * config/s390/s390-protos.h (legitimize_reload_address): Declare.
596         * config/s390/s390.h (LEGITIMIZE_RELOAD_ADDRESS): Define.  Call
597         legitimize_reload_address.
598
599 2004-08-22  Richard Hendersion  <rth@redhat.com>
600
601         * tree.h (SAVE_EXPR_RESOLVED_P): New.
602         * gimplify.c (gimplify_save_expr): Use it.
603         * expr.c (expand_expr_real_1): Likewise.  Also set DECL_IGNORED_P
604         on the temporary variable.
605
606 2004-08-22  Andrew Pinski  <pinskia@physics.uc.edu>
607
608         * fold-const.c (rtl_expr_nonnegative_p): Delete.
609         * tree.h (rtl_expr_nonnegative_p): Remove.
610
611 2004-08-22  Steven Bosscher  <stevenb@suse.de>
612
613         * config/i386/ppro.md (ppro_complex_insn): Add missing check
614         for cpu==pentiumpro.
615
616         * combine.c (struct reg_stat): Fix comment typo.
617
618 2004-08-22  Joseph S. Myers  <jsm@polyomino.org.uk>
619
620         * c-tree.h (c_sizeof_nowarn): Remove.
621
622 2004-08-21  Joseph S. Myers  <jsm@polyomino.org.uk>
623
624         * c-decl.c (set_array_declarator_type): Rename to
625         set_array_declarator_inner.
626         (build_c_parm, build_attrs_declarator, build_function_declarator):
627         New functions.
628         (make_pointer_declarator): Call build_attrs_declarator.
629         * c-tree.h (set_array_declarator_type): Rename to
630         set_array_declarator_inner.
631         (build_c_parm, build_attrs_declarator, build_function_declarator):
632         New prototypes.
633         * c-parse.in (after_type_declarator,
634         parm_declarator_starttypename, parm_declarator_nostarttypename,
635         notype_declarator, absdcl_maybe_attribute, direct_absdcl1, parm,
636         firstparm): Use these functions
637
638 2004-08-21  Joseph S. Myers  <jsm@polyomino.org.uk>
639
640         * c-decl.c (build_array_declarator, set_array_declarator_type,
641         start_decl, grokdeclarator, grokparms): Change boolean parameters
642         to type bool.
643         * c-tree.h (build_array_declarator, set_array_declarator_type,
644         start_decl): Update prototypes.
645         * c-decl.c, c-parse.in: All callers changed.
646
647 2004-08-21  Mike Stump  <mrs@apple.com>
648
649         * config/rs6000/darwin.h (SUBTARGET_OPTIONS): Move from here, to...
650         (darwin_fix_and_continue): Likewise.
651         (darwin_fix_and_continue_switch): Likewise.
652         * config/darwin.h (SUBTARGET_OPTIONS): ...here, to fix -mone-byte-bool.
653         (darwin_fix_and_continue): Likewise.
654         (darwin_fix_and_continue_switch): Likewise.
655
656 2004-08-21  Danny Smith  <dannysmith@users.sourceforge.net>
657
658         PR  c++/16030
659         * config/i386/winnt/c (gen_stdcall_suffix, gen_fastcall_suffix):
660         Remove, merging into ...
661         (gen_stdcall_or_fastcall_suffix): New function, returning tree
662         rather than const char*, and accepting additional parameter.
663         Don't add suffix to '*'-prefixed symbols or variadic functions.
664         (i386_pe_encode_section_info): Adjust for call to new function.
665         Call change_decl_assembler_name.
666
667 2004-08-20  Mike Stump  <mrs@apple.com>
668
669         * config/darwin.c (machopic_indirect_data_reference): Mark
670         stubs as defined.
671         * config/386/386.c (darwin_local_data_pic): Add.
672         (legitimate_constant_p): Reorder so that PLUS handling runs
673         before darwin_local_data_pic to match the ordering in
674         legitimate_pic_address_disp_p and so that MINUS runs after
675         darwin_local_data_pic as otherwise the darwin_local_data_pic
676         logic can be skipped, which would be very bad.
677         (legitimate_pic_address_disp_p): Move from from here to
678         darwin_local_data_pic so it can be reused.
679
680 2004-08-21  Alan Modra  <amodra@bigpond.net.au>
681
682         * config/rs6000/linux64.h (DOT_SYMBOLS): Define.
683         (CRT_CALL_STATIC_FUNCTION): Define !DOT_SYMBOLS version.
684         (ASM_DECLARE_FUNCTION_SIZE): Modify for !DOT_SYMBOLS.
685         (ASM_OUTPUT_SOURCE_LINE, DBX_OUTPUT_BRAC, DBX_OUTPUT_NFUN): Likewise.
686         (RS6000_ABI_NAME): Define as "linux".
687         (SUBSUBTARGET_OVERRIDE_OPTIONS): Set dot_symbols.
688         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): Select
689         ABI_AIX when rs6000_abi_name is "linux" and TARGET_64BIT.
690         * config/rs6000/rs6000-protos.h (rs6000_output_function_entry): Decl.
691         * config/rs6000/rs6000.c (dot_symbols): New global var.
692         (rs6000_output_function_entry): New function, modified for
693         !DOT_SYMBOLS..
694         (print_operand <case 'z'>): ..extracted from here.
695         (rs6000_assemble_visibility): Modify for !DOT_SYMBOLS.
696         (rs6000_output_function_epilogue): Likewise.
697         (rs6000_elf_declare_function_name): Likewise.
698         * config/rs6000/rs6000.h (DOT_SYMBOLS): Define.
699         (ASM_WEAKEN_DECL, ASM_OUTPUT_DEF_FROM_DECLS): Modify for !DOT_SYMBOLS.
700         * configure.ac (HAVE_LD_NO_DOT_SYMS): Add new AC_DEFINE.
701         * configure: Regenerate.
702         * config.in: Regenerate.
703
704 2004-08-20  Mark Mitchell  <mark@codesourcery.com>
705
706         * reload.c (find_reloads_address): Fix thinko in previous change.
707
708         * reload.c (find_reloads_address): Reload the sum of a LO_SUM and
709         a CONST_INT.
710
711 2004-08-20  Jakub Jelinek  <jakub@redhat.com>
712
713         PR rtl-optimization/17099
714         * combine.c (force_to_mode): Check if inner_mask has any bits set
715         outside of GET_MODE (x) instead of op_mode.
716
717 2004-08-20  Mark Mitchell  <mark@codesourcery.com>
718
719         * config.gcc (arm*-*-symbianelf*): Add t-symbian Makefile
720         fragment.
721         * config/arm/bpabi.h (RENAME_LIBRARY_SET): Fix typo.
722         (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=3 to the assembler.
723         * config/arm/symbian.h (SUBTARGET_CPU_DEFAULT): Assume ARMV5
724         architecture.
725         (SUBTARGET_ASM_FLOAT_SPEC): Default to -mfpu=vfp for hard-float
726         configurations.
727         * config/arm/t-symbian: New file.
728
729 2004-08-20  Andrew Pinski  <apinski@apple.com>
730
731         * regrename.c (kill_value_regno): ANSIfy.
732
733 2004-08-20  Dale Johannesen  <dalej@apple.com>
734
735         * config/rs6000/rs6000.c (rs6000_rtx_costs): Improve DIV/MOD.
736
737 2004-08-20  Daniel Jacobowitz  <dan@debian.org>
738
739         * regrename.c (kill_value_one_regno): Renamed from kill_value_regno.
740         (kill_value_regno): New function, derived from kill_value.
741         (kill_value): Update.
742         (copyprop_hardreg_forward_1): Update call to kill_value_regno.
743
744 2004-08-20  Daniel Berlin  <dberlin@dberlin.org>
745
746         Fix PR tree-optimization/17111
747         * tree-ssa-pre.c (create_value_expr_from): Don't change the types
748         of non-value_handles.
749         (bitmap_set_contains): All constants are in every set.
750
751 2004-08-20  Nathan Sidwell  <nathan@codesourcery.com>
752
753         * fold-const.c (round_up, round_down): Use build_int_cst.
754         Optimize common case.
755
756 2004-08-20  Zack Weinberg  <zack@codesourcery.com>
757             John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
758
759         * config/pa/pa-protos.h (readonly_data, one_only_readonly_data_section,
760         one_only_data_section): Rename to som_readonly_data_section,
761         som_one_only_readonly_data_section and som_one_only_data_section.
762         * config/pa/pa.c (ONE_ONLY_TEXT_SECTION_ASM_OP,
763         NEW_TEXT_SECTION_ASM_OP, DEFAULT_TEXT_SECTION_ASM_OP): Delete
764         conditional defines.
765         (som_text_section_asm_op): Replace ONE_ONLY_TEXT_SECTION_ASM_OP,
766         NEW_TEXT_SECTION_ASM_OP and DEFAULT_TEXT_SECTION_ASM_OP with actual
767         string values.
768         (pa_select_section): Use renamed section functions.
769         * config/pa/pa.h (EXTRA_SECTIONS, EXTRA_SECTION_FUNCTIONS,
770         SOM_READONLY_DATA_SECTION_FUNCTION,
771         SOM_ONE_ONLY_READONLY_DATA_SECTION_FUNCTION,
772         SOM_ONE_ONLY_DATA_SECTION_FUNCTION, FORGET_SECTION_FUNCTION):
773         Define here ...
774         * config/pa/som.h: ... not here.
775         (DEFAULT_TEXT_SECTION_ASM_OP, NEW_TEXT_SECTION_ASM_OP,
776         ONE_ONLY_TEXT_SECTION_ASM_OP, READONLY_DATA_ASM_OP,
777         ONE_ONLY_READONLY_DATA_SECTION_ASM_OP,
778         ONE_ONLY_DATA_SECTION_ASM_OP): Delete.
779         (READONLY_DATA_SECTION): Use som_readonly_data_section.
780
781 2004-08-20  Nathan Sidwell  <nathan@codesourcery.com>
782
783         * fold-const.c (int_const_binop): Don't generate non-overflowing
784         size-types specially.
785         (fold_convert_const): Likewise.
786
787         * stor-layout.c (initialize_sizetypes): Set SIZETYPE earlier,
788         clear cache on copied sizetype.
789
790 2004-08-20  Ben Elliston  <bje@au.ibm.com>
791
792         * configure.ac: Don't escape apostrophe in --enable-coverage help.
793         * configure: Regenerate.
794
795 2004-08-20  Danny Smith  <dannysmith@users.sourceforge.net>
796
797         PR 5620
798         * gcc.c (struct stat input_stat): Don't define if
799         HOST_LACKS_INODE_NUMBERS
800         (do_spec_1): If HOST_LACKS_INODE_NUMBERS, use lrealpath rather
801         than stat to determine if temp file is same as input file.
802         * doc/hostconfig.texi: Document HOST_LACKS_INODE_NUMBERS.
803         * config/i386/xm-mingw32.h: Define HOST_LACKS_INODE_NUMBERS
804
805 2004-08-20  Richard Sandiford  <rsandifo@redhat.com>
806
807         * configure.ac (mips*-*-*): Print an error if not using GAS.
808         * configure: Regenerated.
809         * doc/install.texi: Remove irix5 bullet from --with-gnu-as.  Remove
810         comments about buggy MIPSpro assemblers.
811         * config.gcc (mips-sgi-irix[56]*): Combine stanzas.  Include elfos.h
812         before mips.h and iris.h after it.  Use t-iris and t-slibgcc-irix.
813         Use iris5.h only for IRIX 5 configs.  Use iris6.h and t-iris6 for
814         IRIX 6 configs.  Define IRIX_USING_GNU_LD if using GNU ld.
815         * config/mips/iris5.h (TARGET_IRIX, SWITCHES_NEED_SPACES)
816         (DEFAULT_SIGNED_CHAR, WORD_SWITCH_TAKES_ARG, SUBTARGET_CC1_SPEC)
817         (NO_IMPLICIT_EXTERN_C, MIPS_DEFAULT_GVALUE)
818         (TARGET_ASM_EXTERNAL_LIBCALL): Move to iris.h.
819         (WCHAR_TYPE, WCHAR_TYPE_SIZE, TARGET_OS_CPP_BUILTINS): Delete in favor
820         of more general IRIX 6 definitions.
821         (OBJECT_FORMAT_ELF, ASM_OUTPUT_ASCII, ASM_WEAKEN_LABEL)
822         (HANDLE_SYSV_PRAGMA): Delete in favor of elfos.h definitions.
823         (TARGET_IRIX5, ABICALLS_ASM_OP, BSS_SECTION_ASM_OP, HAS_INIT_SECTION)
824         (LD_INIT_SWITCH, LD_FINI_SWITCH, SUBTARGET_ASM_OPTIMIZING_SPEC)
825         (ASM_FINAL_SPEC, DBX_DEBUGGING_INFO, MIPS_DEBUGGING_INFO)
826         (PREFERRED_DEBUGGING_TYPE, DWARF2_UNWIND_INFO, SET_FILE_NUMBER)
827         (LABEL_AFTER_LOC, DOLLARS_IN_IDENTIFIERS, NO_DOLLAR_IN_LABEL)
828         (TARGET_ASM_NAMED_SECTION, EXTRA_SECTION_FUNCTIONS)
829         (ASM_DECLARE_FUNCTION_SIZE, ASM_OUTPUT_WEAK_ALIAS)
830         (SUBTARGET_EXTRA_SPECS): Delete definitions or undefs.
831         (LINK_SPEC): Move most of definition to iris.h.
832         (SUBTARGET_LINK_SPEC): New macro.
833         (IRIX_STARTFILE_SPEC): Fold into...
834         (STARTFILE_SPEC): ...here.
835         (IRIX_ENDFILE_SPEC): Fold into...
836         (ENDFILE_SPEC): ...here.
837         * config/mips/iris6.h (TARGET_IRIX5): Remove override.
838         (WCHAR_TYPE, WCHAR_TYPE_SIZE, WINT_TYPE, WINT_TYPE_SIZE)
839         (DWARF_OFFSET_SIZE, DWARF_INITIAL_LENGTH_SIZE, SET_ASM_OP)
840         (LINK_ELIMINATE_DUPLICATE_LDIRECTORIES, ASM_DECLARE_OBJECT_NAME)
841         (ASM_FINISH_DECLARE_OBJECT, LOCAL_LABEL_PREFIX): Move to iris.h.
842         (TARGET_OS_CPP_BUILTINS): Likewise.  Guard IRIX6-specific bits.
843         (DWARF2_UNWIND_INFO, DWARF2_GENERATE_TEXT_SECTION_LABEL)
844         (SUBTARGET_CPP_SPEC, DWARF2_DEBUGGING_INFO, MIPS_DEBUGGING_INFO)
845         (PREFERRED_DEBUGGING_TYPE, DWARF2_FRAME_INFO, MD_EXEC_PREFIX)
846         (ASM_DECLARE_FUNCTION_NAME, ASM_DECLARE_FUNCTION_SIZE)
847         (FUNCTION_NAME_ALREADY_DECLARED, SUPPORTS_INIT_PRIORITY)
848         (POPSECTION_ASM_OP, SUBTARGET_ASM_SPEC, SUBTARGET_MIPS_AS_ASM_SPEC)
849         (SUBTARGET_ASM_DEBUGGING_SPEC, SUBTARGET_ASM_OPTIMIZING_SPEC)
850         (BSS_SECTION_ASM_OP*, READONLY_DATA_SECTION_ASM_OP*)
851         (EH_FRAME_SECTION_NAME, MUST_USE_SJLJ_EXCEPTIONS, CTORS_SECTION_ASM_OP)
852         (DTORS_SECTION_ASM_OP, TARGET_ASM_NAMED_SECTION, EH_FRAME_SECTION_NAME)
853         (ASM_OUTPUT_ALIGN, ASM_OUTPUT_FILENAME, ASM_OUTPUT_ALIGNED_LOCAL)
854         (ASM_OUTPUT_ALIGNED_BSS): Remove definitions or undefs.
855         (TARGET_IRIX6): Define to 1.
856         (DRIVER_SELF_SPECS): Define.
857         (DWARF2_FRAME_INFO): Define to 1 rather than !TARGET_SGI_O32_AS.
858         (SUBTARGET_CC1_SPEC): Remove in favor of DRIVER_SELF_SPECS.
859         (SUBTARGET_LINK_SPEC): New macro.
860         (IRIX_STARTFILE_SPEC): Fold into...
861         (STARTFILE_SPEC): ...here.  Remove !mabi=* case.
862         (SUBTARGET_{,DONT_}WARN_UNUSED_SPEC): New macros.
863         (LIB_SPEC, LIBGCC_SPEC): Use them.
864         (LIB_SPEC): Remove !mabi=* case.
865         (IRIX_ENDFILE_SPEC): Fold into...
866         (ENDFILE_SPEC): ...here.  Remove !mabi=* case.
867         * config/mips/mips-protos.h (irix_output_external_libcall): Delete.
868         * config/mips/mips.h (TARGET_IRIX5, TARGET_SGI_O32_AS): Delete.
869         (TARGET_IRIX6): New macro.
870         (ASM_ABI_DEFAULT_SPEC): Remove !ELF definition.
871         (MD_EXEC_PREFIX, MD_STARTFILE_PREFIX, SET_FILE_NUMBER)
872         (LABEL_AFTER_LOC): Delete.
873         * config/mips/mips.c (TARGET_ASM_FILE_START, TARGET_ASM_FILE_END)
874         (TARGET_SECTION_TYPE_FLAGS): Remove TARGET_IRIX versions.
875         (mips_build_builtin_va_list): Check TARGET_IRIX6.
876         (override_options): Remove TARGET_SGI_O32_AS-related code.
877         (irix_output_external_libcall): Make static.
878         (mips_output_filename): Avoid use of SET_FILE_NUMBER and
879         LABEL_AFTER_LOC.
880         (mips_file_start): Tidy guard for ABI sections.  Remove use of
881         ABICALLS_ASM_OP; use .abicalls instead.
882         (mips_output_aligned_decl_common, mips_declare_object_name)
883         (mips_finish_declare_object): Remove use of TARGET_SGI_O32_AS.
884         (mips_output_function_prologue): Set TREE_ASM_WRITTEN if emitting
885         .globl foo .text directives.
886         (irix_asm_named_section_1, irix_asm_named_section)
887         (irix_section_align_entry, irix_section_align_htab)
888         (irix_orig_asm_out_file, irix_section_align_entry_eq)
889         (irix_section_align_entry_hash, irix_asm_output_align)
890         (irix_file_start, irix_section_align_1, copy_file_data)
891         (irix_file_end, irix_section_type_flags): Delete.
892         * config/mips/irix-crti.asm (__gcc_init): Move to .gcc_init section.
893         Use standard section syntax.  Remove protective "jr $31".
894         (__gcc_fini): Likewise .gcc_fini.
895         * config/mips/irix-crtn.asm: Adjust sections accordingly.
896         * config/mips/sdb.h (PUT_SDB_SIZE, PUT_SDB_TYPE): Moved from
897         iris5gas.h.
898         * config/mips/t-iris (irix-crti.o, irix-crtn.o): New rules, moved
899         from t-irix-gld.
900         (EXTRA_MULTILIB_PARTS): Define.
901         * config/mips/t-iris6: Remove bogus comment.
902         (EXTRA_MULTILIB_PARTS, CRTSTUFF_T_CFLAGS): Delete.
903         * config/mips/iris5gas.h, config/mips/iris5gld.h,
904         config/mips/iris6gas.h, config/mips/iris6gld.h,
905         config/mips/t-iris5-as, config/mips/t-iris5-gas
906         config/mips/t-irix-gld: Delete.
907         * config/mips/iris.h: New file.
908         * config/mips/t-slibgcc-irix: Renamed from t-iris5-6.
909
910 2004-08-20  Richard Earnshaw  <rearnsha@arm.com>
911
912         * postreload.c (reload_cse_move2add): Allow any condjump, but check
913         that the implicit set isn't clobbered in the jump insn.
914
915 2004-08-19  Mark Mitchell  <mark@codesourcery.com>
916
917         * defaults.h (TARGET_LIBGCC_LIBFUNCS): Remove.
918         * optabs.c (init_optabs): Don't check it.
919         * config/arm/bpabi.h (TARGET_LIBGCC_LIBFUNCS): Do not define.
920         * doc/tm.texi (TARGET_LIBGCC_FUNCS): Remove.
921
922 2004-08-18  Andreas Krebbel  <krebbel1@de.ibm.com>
923
924         * config/s390/s390.md (s390_warn_framesize_string)
925         (s390_warn_dynamic_string, s390_stack_size_string)
926         (s390_stack_guard_string): New global string variables.
927         (s390_warn_framesize, s390_warn_dynamicstack_p, s390_stack_size)
928         (s390_stack_guard): New global variables.
929         (override_options): Added checks for the new options.
930         (s390_emit_prologue): Emit stack check and trap code and perform
931         compile time stack size checking.
932
933         * config/s390/s390.h (TARGET_OPTIONS): Added new options
934         "warn-framesize", "warn-dynamicstack", "stack-size" and
935         "stack-guard".
936
937         * doc/invoke.texi: Added documentation for the new options.
938
939 2004-08-19  Ulrich Weigand  <uweigand@de.ibm.com>
940
941         * unwind-dw2-fde.c (get_cie_encoding): Cast argument to strlen
942         to eliminate warning.
943         (linear_search_fdes): Declare p as unsigned.
944         (binary_search_mixed_encoding_fdes): Likewise.
945         * unwind-dw2.c (get_cie_encoding): Cast argument to strlen
946         to eliminate warning.
947         * config/s390/linux.h (MD_FALLBACK_FRAME_STATE_FOR): Add missing
948         type cast.
949
950 2004-08-19  Ulrich Weigand  <uweigand@de.ibm.com>
951
952         * config/s390/s390-protos.h (preferred_la_operand_p): Adapt prototype.
953         * config/s390/s390.c (preferred_la_operand_p): Accept two operands
954         instead of one.  Check for strictly legitimate address.
955         * config/s390/s390.md ("*la_31"/"*la_64" peepholes): Adapt call
956         to preferred_la_operand_p, do not call gen_rtx_PLUS in predicate.
957
958 2004-08-19  Eric Christopher  <echristo@redhat.com>
959
960         * langhooks-def.h (LANG_HOOKS_UNSAVE_EXPR_NOW): Remove.
961         * langhooks.h (unsave_expr_now): Ditto.
962         * tree.h (unsave_expr_1): Remove prototype.
963         (lhd_unsave_expr_now): Rename to unsave_expr_now.
964         * tree-inline.c (unsave_expr_1): Move here
965         from tree.c. Make static.
966         (unsave_expr_now): Rename from lhd_unsave_expr_now.
967         * tree-sra.c: Fix up for rename.
968         * tree-ssa-copy.c: Ditto.
969         * tree-eh.c: Ditto.
970         * tree.c (unsave_expr_1): Move to tree-inline.c.
971
972 2004-08-19  Caroline Tice  <ctice@apple.com>
973
974         * config/i386/cygming.h (switch_to_section):  Fix typo (change
975         in_unlikely_text_section to in_unlikely_executed_text).
976
977 2004-08-19  Daniel Berlin  <dberlin@dberlin.org>
978
979         * vec.h (VEC_lower_bound): New macro.
980
981 2004-08-19  Richard Sandiford  <rsandifo@redhat.com>
982
983         PR target/16446
984         * config/mips/mips.c (struct mips_arg_info): Delete num_bytes.
985         (mips_arg_info): Update accordingly.  Remove common treatment of fpr_p;
986         treat each ABI separately.  Deal with n32/n64 complex float arguments.
987         (function_arg): Add associated complex handling here.
988
989 2004-08-19  Richard Henderson  <rth@redhat.com>
990
991         * config/arm/arm.c (arm_gen_load_multiple): Use
992         adjust_automodify_address.  Take base memory and offset instead
993         of unchanging/struct/scalar bits.
994         (arm_gen_store_multiple): Likewise.
995         (arm_gen_movmemqi): Use adjust_automodify_address.
996         * config/arm/arm-protos.h: Update decls.
997         * config/arm/arm.md (load_multiple): Update arm_gen_load_multiple call.
998         (store_multiple): Similarly.
999
1000 2004-08-19  J"orn Rennecke <joern.rennecke@superh.com>
1001
1002         * regclass.c (globalize_reg): Update call_really_used_regs.
1003
1004 2004-08-19  Nathan Sidwell  <nathan@codesourcery.com>
1005
1006         * doc/invoke.texi (integer-share-limit): Document.
1007
1008         * tree.h (TYPE_CACHED_VALUES_P): New.
1009         (TYPE_CACHED_VALUES): New.
1010         (TYPE_ORIG_SIZE_TYPE): Adjust.
1011         * tree.def (INTEGER_CST): Update documentation.
1012         * tree.c: Inlcude params.h.
1013         (build_int_cst): Cache small values.
1014         (build_type_copy): Do not copy the value cache.
1015         * c-common.c (c_common_nodes_and_builtins): Add comment, remove
1016         unneeded zeroing.
1017         * c-typeck.c (build_c_cast): Add comment about OVERFLOW setting.
1018         * expmed.c (const_mult_add_overflow_p): Clear type copy's value
1019         cache.
1020         * fold-const.c (force_fit_type): Copy value when setting
1021         overflows.
1022         (int_const_binop): Likewise.
1023         * stor-layout.c: Include params.h
1024         (set_sizetype): Create values cache.
1025         (fixup_unsigned_type): Set UNSIGNED_P before caching any values.
1026         * params.def (PARAM_INTEGER_SHARE_LIMIT): New.
1027         * params.h (INTEGER_SHARE_LIMIT): New.
1028         * Makefile.in (tree.o, stor-layout.o): Depend on PARAMS_H.
1029
1030 2004-08-19  Paolo Bonzini  <bonzini@gnu.org>
1031
1032         * gimplify.c (gimplify_minimax_expr): Remove.
1033         (gimplify_expr) <MIN_EXPR, MAX_EXPR>: Remove special handling.
1034
1035 2004-08-19  Dorit Naishlos  <dorit@il.ibm.com>
1036
1037         * tree-vectorizer.c (vect_can_force_dr_alignment_p): Replace
1038         STACK_BOUDARY with PREFERRED_STACK_BOUNDARY.
1039
1040 2004-08-19  Mark Mitchell  <mark@codesourcery.com>
1041
1042         * bpabi.h (FPUTYPE_DEFAULT): Set it to FPUTYPE_VFP.
1043
1044 2004-08-18  Andrew Pinski  <apinski@apple.com>
1045
1046         * varasm.c (ecode_reg_name): Do nothing if the asmspec is empty.
1047
1048 2004-08-18  Mark Mitchell  <mark@codesourcery.com>
1049
1050         * config/arm/bpabi.c (__aeabi_ul2d): Give it default visibility.
1051         (__aeabi_ul2f): Likewise.
1052
1053 2004-08-18  Richard Henderson  <rth@redhat.com>
1054
1055         * config/xtensa/xtensa.c (xtensa_expand_block_move): Expand block
1056         move to rtl completely.
1057         (struct meminsnbuf, xtensa_emit_block_move): Remove.
1058         (xtensa_find_mode_for_size): Remove.
1059         * config/xtensa/xtensa-protos.h (xtensa_emit_block_move): Remove.
1060         * config/xtensa/xtensa.md (movmemsi_internal): Remove.
1061
1062 2004-08-18  Richard Henderson  <rth@redhat.com>
1063
1064         * config/mcore/mcore.c (mode_from_align): Remove DImode.
1065         (block_move_sequence): Rewrite to use adjust_address.
1066         (mcore_expand_block_move): Cleanup logic.  Accept only operands.
1067         Return boolean indicating success/failure.
1068         * config/mcore/mcore-protos.h (mcore_expand_block_move): Update decl.
1069         * config/mcore/mcore.md (movmemsi): Update to match.
1070
1071 2004-08-18  Mike Stump  <mrs@apple.com>
1072
1073         * doc/invoke.texi (-mfix-and-continue): Add support for
1074         fast turn around debugging.
1075         (-ffix-and-continue): Likewise.
1076         (-mindirect-data): Likewise.
1077         (-findirect-data): Likewise.
1078         * config/darwin.c (TARGET_FIX_AND_CONTINUE): Likewise.
1079         (indirect_data): Likewise.
1080         (machopic_data_defined_p): Likewise.
1081         (machopic_output_indirection): Likewise.
1082         (darwin_encode_section_info): Likewise.
1083         (darwin_fix_and_continue): Likewise.
1084         (darwin_fix_and_continue_switch): Likewise.
1085         * config/darwin.h (MACHO_SYMBOL_STATIC): Likewise.
1086         * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Likewise.
1087         (SUBTARGET_OPTION_TRANSLATE_TABLE): Likewise.
1088         (SUBTARGET_OPTIONS): Likewise.
1089         (darwin_fix_and_continue): Likewise.
1090         (darwin_fix_and_continue_switch): Likewise.
1091         (TARGET_FIX_AND_CONTINUE): Likewise.
1092         * config/rs6000.c (rs6000_emit_prologue): Likewise.
1093
1094 2004-08-19  Steven Bosscher  <stevenb@suse.de>
1095
1096         * basic-block.h (struct edge_def): Remove crossing_edge.
1097         (EDGE_CROSSING): New define.
1098         (EDGE_ALL_FLAGS): Update.
1099         * bb-reorder.c (find_traces_1_round, better_edge_p,
1100         find_rarely_executed_basic_blocks_and_cr, fix_up_fall_thru_edges,
1101         find_jump_block, fix_crossing_conditional_branches,
1102         fix_crossing_unconditional_branches, add_reg_crossing_jump_notes):
1103         Replace all occurences of crossing_edge with an edge flag check
1104         or set/reset.
1105         * cfgcleanup.c (try_simplify_condjump, try_forward_edges,
1106         try_crossjump_bb): Likewise.
1107         * cfglayout.c (fixup_reorder_chain): Likewise.
1108         * cfgrtl.c (force_nonfallthru_and_redirect,
1109         commit_one_edge_insertion): Likewise.
1110
1111         * Makefile.in (cfganal.o): Depend on TIMEVAR_H.
1112         * tree-flow.h (compute_dominance_frontiers): Move prototype...
1113         * basic-block.h:  ...here.
1114         * tree-cfg.c (compute_dominance_frontiers_1,
1115         compute_dominance_frontiers): Move from here...
1116         * cfganal.c: ...to here.  Include timevar.h.
1117
1118 2004-08-18  James E Wilson  <wilson@specifixinc.com>
1119
1120         * config/mips/mips.h (ASM_SPEC): In comment, change -meabi= to -mabi=.
1121         * config/mips/sb1.md (ir_sb1_divsf_1pipe): Renamed from ...1pipes.
1122
1123         * config/mips/mips.md (type): Add frdiv.
1124         (divsf3+1, divsf3+2): Change type to frdiv.
1125         * config/mips/sb1.md (ir_sb1_recipsf_2pipes, ir_sb1_recipsf_1pipe,
1126         ir_sb1_recipdf_2pipes, ir_sb1_recipdf_1pipe): New.
1127
1128         * config/mips/3000.md (r3k_fdiv_single, r3k_fdiv_double): Add frdiv.
1129         * config/mips/4300.md (r4300_fdiv_single, r4300_fdiv_double): Likewise.
1130         * config/mips/4600.md (r4600_fdiv_single, f4600_fdiv_double): Likewise.
1131         * config/mips/5000.md (r5k_fdiv_single): Likewise.
1132         * config/mips/5400.md (ir_vr54_fdiv_sf, ir_vr54_fdiv_df): Likewise.
1133         * config/mips/5500.md (ir_vr55_fdiv_sf, ir_vr55_fdiv_df): Likewise.
1134         * config/mips/6000.md (r6k_fdiv_single, r6k_fdiv_double): Likewise.
1135         * config/mips/7000.md (rm7_fp_divsqrt_df, rm7_fp_divsqrt_sf): Likewise.
1136         * config/mips/9000.md (rm8k_fdivs, rm9k_fdivd): Likewise.
1137         * config/mips/generic.md (generic_fdiv_single, generic_fdiv_double):
1138         Likewise.
1139         * config/mips/sr71k.md (ir_sr70_fdiv_sf, ir_sr70_fdiv_df): Likewise.
1140
1141 2004-08-18  Robert Bowdidge <bowdidge@apple.com>
1142
1143         * config/rs6000/x-darwin: Remove XCFLAGS -mdynamic-no-pic to
1144         get regression tester working again.
1145
1146 2004-08-18  Zack Weinberg  <zack@codesourcery.com>
1147
1148         * insn-notes.def, reg-notes.def: New files.
1149         * rtl.h: Use them to define enum insn_note and enum reg_note.
1150         * rtl.c: Use them to define note_insn_name and reg_note_name.
1151         * Makefile.in (RTL_BASE_H): Update.
1152
1153         * modulo-sched.c, sched-rgn.c, final.c: NOTE_DISABLE_SCHED_OF_BLOCK
1154         renamed to NOTE_INSN_DISABLE_SCHED_OF_BLOCK.
1155
1156 2004-08-18  Richard Earnshaw  <rearnsha@arm.com>
1157
1158         * arm.c (arm_size_rtx_costs): New function.
1159         (arm_override_options): Use it if optimizing for space.
1160
1161 2004-08-18  Richard Henderson  <rth@redhat.com>
1162
1163         * emit-rtl.c (gen_const_mem): New.
1164         * rtl.h (gen_const_mem): Declare.
1165         * expr.c (do_tablejump): Use it.
1166         * varasm.c (force_const_mem): Likewise.
1167         * config/darwin.c (machopic_indirect_data_reference): Likewise.
1168         (machopic_legitimize_pic_address): Likewise.
1169         * config/arm/arm.c (legitimize_pic_address): Likewise.
1170         * config/i386/i386.c (legitimize_pic_address): Likewise.
1171         (legitimize_tls_address): Likewise.
1172         * config/ia64/ia64.c (ia64_expand_tls_address): Likewise.
1173         * config/ia64/ia64.md (load_fptr): Likewise.
1174         * config/m32r/m32r.c (m32r_legitimize_pic_address): Likewise.
1175         * config/pa/pa.c (legitimize_pic_address): Likewise.
1176         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Likewise.
1177         (rs6000_emit_move): Likewise.
1178         * config/s390/s390.c (legitimize_pic_address): Likewise.
1179         (legitimize_tls_address): Likewise.
1180         * config/s390/s390.md (casesi): Likewise.
1181         * config/sh/sh.c (sh_reorg): Likewise.
1182         * config/sparc/sparc.c (legitimize_pic_address): Likewise.
1183         * config/v850/v850.md (casesi): Likewise.
1184
1185         * config/darwin.c (machopic_indirect_call_target): Set MEM_NOTRAP_P.
1186         * config/sh/sh.c (prepare_move_operands): Remove incorrect
1187         use of MEM_READONLY_P.
1188
1189 2004-08-18  Steven Bosscher  <stevenb@suse.de>
1190
1191         * Makefile.in (OBJS-common): Add postreload-gcse.c.
1192         Add new postreload-gcse.o.
1193         * cse.c (SAFE_HASH): Define as wrapper around safe_hash.
1194         (lookup_as_function, insert, rehash_using_reg, use_related_value,
1195         equiv_constant): Use SAFE_HASH instead of safe_hash.
1196         (exp_equiv_p): Export.  Add for_gcse argument when comparing
1197         for GCSE.
1198         (lookup, lookup_for_remove, merge_equiv_classes, find_best_addr,
1199         find_comparison_args, fold_rtx, cse_insn): Update callers.
1200         (hash_rtx): New function derived from old canon_hash and bits
1201         from gcse.c hash_expr_1.
1202         (canon_hash_string): Rename to hash_rtx_string.
1203         (canon_hash, safe_hash): Make static inline.  Call hash_rtx.
1204         * cselib.c (hash_rtx): Rename to cselib_hash_rtx.
1205         (cselib_lookup): Update this caller.
1206         * gcse.c (modify_mem_list_set, canon_modify_mem_list_set):
1207         Make static.
1208         (hash_expr): Call hash_rtx.
1209         (ldst_entry): Likewise.
1210         (expr_equiv_p): Call exp_equiv_p.
1211         (struct unoccr, hash_expr_1, hash_string_1, lookup_expr,
1212         reg_used_on_edge, reg_set_between_after_reload_p,
1213         reg_used_between_after_reload_p, get_avail_load_store_reg,
1214         is_jump_table_basic_block, bb_has_well_behaved_predecessors,
1215         get_bb_avail_insn, hash_scan_set_after_reload,
1216         compute_hash_table_after_reload,
1217         eliminate_partially_redundant_loads, gcse_after_reload,
1218         get_bb_avail_insn, gcse_after_reload_main): Remove.
1219         * postreload-gcse.c: New file, reincarnating most of the above.
1220         * rtl.h (exp_equiv_p, hash_rtx): New prototypes.
1221         (gcse_after_reload_main): Update prototype.
1222         * timevar.def (TV_GCSE_AFTER_RELOAD): New timevar.
1223         * passes.c (rest_of_handle_gcse2): Use it.
1224
1225 2004-08-18  Diego Novillo  <dnovillo@redhat.com>
1226
1227         * tree-ssa-loop.c (pass_loop_init): Add TODO_dump_func.
1228         (pass_loop_done): Likewise.
1229
1230 2004-08-18  Andrew Pinski  <apinski@apple.com>
1231
1232         * config/rs6000/darwin.md: Delete the altivec patterns which are
1233         handled differently now.
1234         (load_macho_picbase_di): Make sure that is only happens for TARGET_64BIT
1235         (macho_correct_pic_di): Likewise.
1236         (call_indirect_nonlocal_darwin64): Likewise.
1237         Delete the save world/saveFP/saveVec patterns.
1238
1239         Revert the reversion of: 2004-08-16  Stan Shebs  <shebs@apple.com>
1240         * config/darwin.c (macho_indirect_data_reference): Add DImode case.
1241         * config/rs6000/rs6000.md: Include darwin.md.
1242         (builtin_setjmp_receiver): Add DImode case.
1243         * config/rs6000/rs6000.c (rs6000_emit_move): Add DImode case to
1244         Darwin bits.
1245
1246 2004-08-18  Matt Austern  <austern@apple.com>
1247
1248         Dead code stripping
1249         * darwin.h (EH_FRAME_SECTION_ATTR): Mark so it doesn't get stripped.
1250         * darwin.c (darwin_file_end): Mark file as potentially strippable.
1251
1252 2004-08-18  Richard Henderson  <rth@redhat.com>
1253
1254         * alias.c (readonly_fields_p): Remove.
1255         (objects_must_conflict_p): Don't call it.
1256         * tree.h (readonly_fields_p): Remove.
1257         * langhooks.h (struct lang_hooks): Remove honor_readonly.
1258         * langhooks-def.h (LANG_HOOKS_HONOR_READONLY): Remove.
1259
1260 2004-08-18  Diego Novillo  <dnovillo@redhat.com>
1261
1262         * tree-dfa.c (add_referenced_var): Only global variables are
1263         call-clobbered.
1264         * tree-flow.h (struct ptr_info_def): Add field pt_global_mem.
1265         * tree-ssa-alias.c (compute_points_to_and_addr_escape): Mark
1266         all pointers dereferenced if the statement dereferences them.
1267         (create_name_tags): Do not create memory tags for pointers
1268         that have PT_ANYTHING set.
1269         Also check if PT_VARS is not empty before creating a name tag.
1270         (compute_flow_sensitive_aliasing): Don't mark call-clobbered
1271         variables that share the same alias set with a pointer that
1272         may point anywhere.
1273         (add_may_alias): Add FIXME comment to remove clobbering
1274         aliased variables and tags.
1275         (replace_may_alias): Likewise.
1276         (set_pt_anything): Do not clear PT_VARS nor IS_DEREFERENCED.
1277         (merge_pointed_to_info): If the original variable has not
1278         points-to information, call set_pt_anything.
1279         (add_pointed_to_var): Do not prevent adding a pointed-to
1280         variable if the pointers is PT_ANYTHING.
1281         If the variable is a global, set PT_GLOBAL_MEM.
1282         (collect_points_to_info_r): Don't assume that PLUS_EXPRs of
1283         pointer type only come in PTR+OFFSET flavours.
1284         Always call merge_pointed_to_info on PHI arguments that are
1285         SSA_NAMEs.
1286         (get_nmt_for): Mark call-clobbered tags whose pointer points
1287         to global memory.
1288         * tree-ssa-operands.c (opf_kill_def, opf_no_vops): Switch
1289         values.
1290         (get_indirect_ref_operands): Always clear OPF_KILL_DEF from
1291         FLAGS.
1292         (add_stmt_operand): Abort if the caller tried to add a killing
1293         definition for a memory tag.
1294         * tree-ssa.c (verify_flow_sensitive_alias_info): Remove
1295         unnecessary checks.
1296
1297 2004-08-18  J"orn Rennecke <joern.rennecke@superh.com>
1298
1299         * sh.h (CONDITIONAL_REGISTER_USAGE): Don't exclude fixed registers
1300         from call_used_regs.  Update call_really_used_regs.
1301         (CALL_REALLY_USED_REGISTERS): Define.
1302         * sh.c (output_stack_adjust, shmedia_target_regs_stack_space):
1303         Replace call_used_regs with call_really_used_regs.
1304         (calc_live_regs, sh_media_register_for_return): Likewise.
1305         (sh5_schedule_saves, sh_expand_prologue, reg_unused_after): Likewise.
1306         * sh.md (return_media): Likewise.
1307
1308 2004-08-18  Andrew Pinski  <apinski@apple.com>
1309
1310         * config/darwin.c (machopic_legitimize_pic_address): Only set
1311         MEM_READONLY_P in the non TARGET_TOC case.
1312
1313 2004-08-18  Zack Weinberg  <zack@codesourcery.com>
1314
1315         * rtl.def (NIL): Delete.
1316         * read-rtl.c (read_rtx): Handle (nil) like (define_constants).
1317         Tighten the syntax a little.
1318
1319         * cfgloop.h, combine.c, cse.c, loop-iv.c, postreload.c, reload.c
1320         * config/alpha/alpha.c, config/alpha/alpha.h, config/arc/arc.h
1321         * config/arm/arm.h, config/frv/frv.h, config/i386/i386.c
1322         * config/i386/predicates.md, config/m32r/m32r.h
1323         * config/m68hc11/m68hc11.c, config/mcore/mcore.h, config/mips/mips.c
1324         * config/mmix/mmix.c, config/pa/pa.h, config/sh/sh.h
1325         * config/sparc/sparc.h, doc/tm.texi:
1326         Replace all occurrences of NIL with UNKNOWN.
1327
1328 2004-08-18  Zack Weinberg  <zack@codesourcery.com>
1329
1330         * dojump.c (do_jump <unordered_bcc>): Do not recursively call
1331         self with a TRUTH_ORIF_EXPR; generate the appropriate jump
1332         sequence inline.  Move drop_through_label code into this
1333         block, being the only place it is used.  Adjust comments.
1334
1335 2004-08-18  Fariborz Jahanian <fjahanian@apple.com>
1336
1337         * config/rs6000/altivec.md: Add new patterns for calls to
1338         save_world/rest_world functions.
1339
1340         * config/rs6000/rs6000-protos.h: (save_world_operation,
1341         restore_world_operation) new declarations.
1342
1343         * config/rs6000/rs6000.c: (struct rs6000_stack) new world_save_p
1344         field added.
1345         (rs6000_stack_info): Set world_save_p field.
1346         (save_world_operation): New function.
1347         (restore_world_operation): New function.
1348         (compute_save_world_info): New function.
1349         (rs6000_stack_info): Call compute_save_world_info.
1350         (rs6000_emit_prologue): Check for world_save_p and generate
1351         pattern to call save_world for saving all non-volatile and
1352         special registers.
1353         (rs6000_emit_epilogue): Check for world_save_p and generate
1354         pattern to call rest_world to restore saved registers.
1355
1356         config/rs6000/rs6000.h: macros FIRST_SAVED_ALTIVEC_REGNO,
1357         FIRST_SAVED_FP_REGNO, FIRST_SAVED_GP_REGNO defined.
1358         (rs6000_reg_names): New entries added for save_world_operation and
1359         restore_world_operation.
1360
1361 2004-08-18  Caroline Tice  <ctice@apple.com>
1362
1363         * Makefile.in (STAGEFEEDBACK_FLAGS_TO_PASS) Add
1364         "-freorder-blocks-and-partition" to the flags used in second
1365         stage of profiledbootstrap.
1366         * bb-reorder.c (push_to_next_round_p): Add new variable,
1367         next_round_is_last; set and use variable to make sure, when
1368         partitioning, that the last trace construction round consists
1369         of all (and only) cold basic blocks.
1370         (rotate_loop): Don't copy blocks that end in a section
1371         crossing jump.
1372         (copy_bb): Correctly initialize "partition" of duplicated bb.
1373         (add_unlikely_executed_notes): Add a comment.
1374         (find_rarely_executed_basic_blocks_and_crossing_edges): Modify
1375         to make sure, if function contains hot blocks, that the
1376         successors of ENTRY_BLOCK_PTR are hot; also, only look for
1377         crossing edges if the architecture supports named sections.
1378         (mark_bb_for_unlikely_executed_section): Modify to always
1379         insert the NOTE_INSN_UNLIKELY_EXECUTED_CODE immediately after
1380         the basic block note insn.
1381         (fix_crossing_unconditional_branches): Remove extra space.
1382         (fix_edges_for_rarely_executed_code): Modify to only do
1383         partitioning work if the architecture supports named sections.
1384         (reorder_basic_blocks): Modify to only add
1385         NOTE_INSN_UNLIKELY_EXECUTED_CODE notes if the architecture
1386         supports named sections.
1387         * c-common.c (handle_section_attribute): Initialize new global
1388         variable, user_defined_section_attribute, to true if user has
1389         specified one.
1390         * cfgcleanup.c (try_forward_edges): Modify to not attempt to
1391         forward edges that cross section boundaries.
1392         * cfglayout.c (fixup_reorder_chain): Modify to only fix up
1393         partitioning information if the architecture supports named
1394         sections.
1395         * cfgrtl.c (target.h): Add statement to include this.
1396         (rtl_split_block): Make sure newly created bb gets correct
1397         partition.
1398         (try_redirect_by_replacing_jump): Make sure redirection isn't
1399         attempting to cross section boundaries.
1400         (force_nonfallthru_and_redirect): Only do partition fix up if
1401         architecture supports named sections.
1402         (rtl_split_edge): Make sure newly created bb ends up in
1403         correct partition.
1404         (commit_one_edge_insertion): Remove code that incorrectly
1405         updated basic block partition; Make sure partition fix up only
1406         happens if architecture supports named sections and it's not
1407         already done.
1408         (rtl_verify_flow_info_1): Fix if-condition on test/error
1409         condition that fallthru edges are not allowed to cross section
1410         boundaries.
1411         * defaults.h (NORMAL_TEXT_SECTION_NAME): Remove this.
1412         * final.c (final_scan_insn): Remove redundant test from if-statement;
1413         change calls to text_section into calls to function_section; add code
1414         to only to partitioning fix up if architecture supports named
1415         sections.
1416         * ifcvt.c (find_if_case_1): Make sure newly created bb has correct
1417         partition.
1418         (if_convert): Add targetm.have_named_sections to test.
1419         * output.h (unlikely_section_label): Extern declaration for new global
1420         variable.
1421         (unlikely_text_section_name): Likewise.
1422         * opts.c (decode_options): If both partitioning and DWARF debugging
1423         are turned on, issue a warning that this doesn't work, and change
1424         partitiong to basic block reordering (without hot/cold partitions).
1425         * passes.c (rest_of_handle_final): Re-set new global variable,
1426         user_defined_section_attribute, to false.
1427         (rest_of_compilation): Change options for calling partitioning
1428         function: Don't call if the user defined the section attribute, and
1429         don't call if DECL_ONE_ONLY is true for the current function.
1430         * predict.c (choose_function_section): Return immediately if we
1431         are doing hot/cold partitioning (i.e. let the basic block partitioning
1432         determine where the function belongs).
1433         * reg-stack.c (emit_swap_insn): Add condition to step over
1434         NOTE_INSN_UNLIKELY_EXECUTED_CODE notes.
1435         * toplev.c (user_defined_section_attribute): New global variable.
1436         * toplev.h (user_defined_section_attribute): Extern declaration
1437         for new global variable.
1438         * varasm.c (unlikely_section_label): New global variable.
1439         (unlikely_text_section_name): New global variable.
1440         (unlikely_text_section): Add code to initialize
1441         unlikely_text_section_name if necessary; modify to use
1442         unlikely_text_section_name and unlikely_section_label; also to use
1443         named_section properly.
1444         (in_unlikely_text_section):  Modify to work correctly with
1445         named_section and to use unlikely_text_section_name.
1446         (named_section):  Add code to work properly with cold section.
1447         (function_section): Clean up if-statement.
1448         * config/darwin.c (darwin_asm_named_section): Return to original
1449         code, removing use of SECTION_FORMAT_STRING.
1450         * config/arm/pe.h (switch_to_section):  Add case for
1451         in_unlikely_executed_text to switch statement.
1452         * config/i386/cygming.h (switch_to_section): Likewise.
1453         * config/i386/darwin.h (NORMAL_TEXT_SECTION_NAME): Remove.
1454         (SECTION_FORMAT_STRING): Likewise.
1455         * config/mcore/mcore.h (switch_to_section): Likewise.
1456         * config/rs6000/darwin.h (NORMAL_TEXT_SECTION_NAME): Remove.
1457         (SECTION_FORMAT_STRING): Remove.
1458
1459 2004-08-18  Roger Sayle  <roger@eyesopen.com>
1460
1461         * config/i386/i386.h (FIXED_REGISTERS): Update encoding to be
1462         -ffixed-reg safe, by preserving the meanings of zero and one.
1463         (CALL_USED_REGISTERS): Likewise.
1464         (CONDITIONAL_REGISTER_USAGE): Update to process new encodings.
1465
1466 2004-08-18  Kaz Kojima  <kkojima@gcc.gnu.org>
1467
1468         * config/sh/sh.c (split_branches): Check the result of
1469         next_active_insn.
1470         (sh_output_mi_thunk): Call init_flow if basic_block_info is null.
1471         Call rtl_register_cfg_hooks.
1472
1473 2004-08-18  Richard Henderson  <rth@redhat.com>
1474
1475         * rtl.h (MEM_READONLY_P): Replace RTX_UNCHANGING_P.
1476         * alias.c (true_dependence): Update to match new semantics.
1477         (canon_true_dependence, write_dependence_p): Likewise.
1478         (anti_dependence, output_dependence): Update write_dependence_p args.
1479         (unchanging_anti_dependence): Remove.
1480         * calls.c (purge_mem_unchanging_flag): Remove.
1481         (fixup_tail_calls): Don't call it.
1482         (expand_call): Don't add unchanging memory to function usage.
1483         * expr.c (emit_block_move_via_libcall): Likewise.
1484         (clear_storage_via_libcall): Don't clobber RTX_UNCHANGING_P mems.
1485         (get_subtarget): Don't use RTX_UNCHANGING_P.
1486         (expand_assignment, store_constructor, expand_expr_real_1): Likewise.
1487         (do_tablejump): Set MEM_READONLY_P, not RTX_UNCHANGING_P.
1488         * combine.c (get_last_value_validate): Use MEM_READONLY_P.
1489         * cse.c (insert): Don't use RTX_UNCHANGING_P.
1490         (cse_insn, canon_hash): Use MEM_READONLY_P.
1491         * emit-rtl.c (set_mem_attributes_minus_bitpos): Use MEM_READONLY_P
1492         instead of RTX_UNCHANGING_P.
1493         * explow.c (maybe_set_unchanging): Remove.
1494         * expr.h (maybe_set_unchanging): Remove.
1495         * flow.c (insn_dead_p, mark_used_regs): Use anti_dependence.
1496         * function.c (assign_stack_temp_for_type): Don't use RTX_UNCHANGING_P.
1497         (assign_parm_setup_reg, expand_function_start): Likewise.
1498         * integrate.c (copy_rtx_and_substitute): Likewise.
1499         * ra-rewrite.c (emit_colors): Likewise.
1500         * regmove.c (copy_src_to_dest, regmove_optimize): Likewise.
1501         (fixup_match_1): Likewise.
1502         * reload1.c (reload, alter_reg): Likewise.
1503         * local-alloc.c (validate_equiv_mem): Check MEM_READONLY_P,
1504         not RTX_UNCHANGING_P.
1505         (equiv_init_varies_p): Likewise.
1506         * loop-invariant.c (check_maybe_invariant): Likewise.
1507         * resource.c (mark_referenced_resources, mark_set_resources): Likewise.
1508         * loop.c (note_addr_stored): Likewise.
1509         (prescan_loop): Likewise. Don't check function usage for clobbered
1510         unchanging memory.
1511         * rtlanal.c (rtx_unstable_p): Check MEM_READONLY_P,
1512         not RTX_UNCHANGING_P.
1513         (rtx_varies_p, modified_between_p, modified_in_p): Likewise.
1514         * varasm.c (force_const_mem): Likewise.
1515         * stmt.c (expand_decl): Don't set RTX_UNCHANGING_P.
1516         * web.c (entry_register): Likewise.
1517         * tree-gimple.h (get_base_address): Move decl ...
1518         * tree.h: ... here.
1519         * doc/rtl.texi (MEM_READONLY_P): Replace RTX_UNCHANGING_P.
1520
1521         * config/alpha/alpha.c (alpha_set_memflags_1): Rewrite to be
1522         called via for_each_rtx.  Copy MEM_SCALAR_P, MEM_NOTRAP_P too.
1523         (alpha_set_memflags): Update to match.
1524
1525         * config/darwin.c (machopic_indirect_data_reference): Set
1526         MEM_READONLY_P instead of RTX_UNCHANGING_P.
1527         (machopic_indirect_call_target): Likewise.
1528         (machopic_legitimize_pic_address): Likewise.
1529         * config/arm/arm.c (legitimize_pic_address, arm_gen_load_multiple,
1530         arm_gen_store_multiple, arm_gen_movmemqi): Likewise.
1531         * config/arm/arm.md (load_multiple, store_multiple): Likewise.
1532         * config/frv/frv.md (symGOT2reg): Likewise.
1533         * config/i386/i386.c (legitimize_pic_address,
1534         legitimize_tls_address, ix86_split_to_parts): Likewise.
1535         * config/ia64/ia64.c (ia64_expand_tls_address): Likewise.
1536         * config/ia64/ia64.md (load_fptr): Likewise.
1537         * config/m32r/m32r.c (m32r_legitimize_pic_address): Likewise.
1538         * config/m68k/m68k.c (legitimize_pic_address): Likewise.
1539         * config/mcore/mcore.c (block_move_sequence): Likewise.
1540         * config/mn10300/mn10300.md (symGOT2reg): Likewise.
1541         * config/pa/pa.c (legitimize_pic_address): Likewise.
1542         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Likewise.
1543         (rs6000_emit_move): Likewise.
1544         * config/s390/s390.c (legitimize_pic_address): Likewise.
1545         (legitimize_tls_address): Likewise.
1546         * config/s390/s390.md (casesi): Likewise.
1547         * config/sh/sh.c (prepare_move_operands, sh_reorg): Likewise.
1548         * config/sh/sh.md (symGOT2reg): Likewise.
1549         * config/sparc/sparc.c (legitimize_pic_address): Likewise.
1550         * config/v850/v850.md (casesi): Likewise.
1551
1552         * config/ia64/ia64.c (gen_thread_pointer): Don't set RTX_UNCHANGING_P.
1553         * config/iq2000/iq2000.c (save_restore_insns): Likewise.
1554         * config/mips/mips.c (mips_restore_gp): Likewise.
1555         (mips_save_restore_reg, mips16_gp_pseudo_reg): Likewise.
1556         * config/sh/sh.c (sh_reorg): Likewise.
1557
1558 2004-08-18  Richard Henderson  <rth@redhat.com>
1559
1560         * tree.h (struct tree_decl): Add gimple_formal_temp.
1561         (DECL_GIMPLE_FORMAL_TEMP_P): New.
1562         * gimplify.c (pop_gimplify_context): Clear it.
1563         (lookup_tmp_var): Set it, if is_formal.
1564         (gimplify_init_constructor): Use rhs_predicate_for for COMPLEX.
1565         Use is_gimple_val for VECTOR.  Simplify return value.
1566         (gimplify_save_expr): Use and set DECL_GIMPLE_FORMAL_TEMP_P.
1567         (gimplify_expr): Likewise.
1568         * tree-gimple.c (is_gimple_formal_tmp_rhs): Rename from
1569         is_gimple_tmp_rhs for clarity.  Update all callers.
1570         (is_gimple_reg_rhs): Simplify logic.
1571         (is_gimple_formal_tmp_var): Rename from is_gimple_tmp_var for
1572         clarity; use DECL_GIMPLE_FORMAL_TEMP_P.
1573         (is_gimple_formal_tmp_reg): Similarly.
1574         * tree-gimple.h: Update decls.
1575         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Use
1576         DECL_IGNORED_P, not DECL_ARTIFICIAL.  Tidy formatting.
1577         * tree-ssa-live.c (var_union, type_var_init): Likewise.
1578
1579 2004-08-18  Paolo Bonzini  <bonzini@gnu.org>
1580
1581         * c4x.c (legitimize_operands): Remove calls to
1582         preserve_subexpressions_p.
1583
1584 2004-08-18  David Edelsohn  <edelsohn@gnu.org>
1585
1586         * varasm.c (MAX_OFILE_ALIGNMENT): Move ...
1587         * defaults.h (MAX_OFILE_ALIGNMENT): ... here.
1588
1589 2004-08-18  Ziemowit Laski  <zlaski@apple.com>
1590
1591         * gcc.c (default_compilers): Add info about ".mm", ".M" and ".mii"
1592         Objective-C++ extensions.
1593         * gengtype.c (get_file_basename): Match entire subdirectory name
1594         ('cp', 'objc', 'objcp') rather than just its suffix.
1595         (get_base_file_bitmap): Allow for files to belong to more than one
1596         language.
1597         (get_output_file_with_visibility): Treat objc/objc-act.h as a header
1598         used by more than one front-end.
1599
1600 2004-08-18  Richard Earnshaw  <rearnsha@arm.com>
1601
1602         * arm.md (addsi3, subsi3, andsi3, iorsi3, movsi, movhi): Rework to
1603         avoid use of preserve_subexpressions_p.
1604
1605 2004-08-17  Richard Henderson  <rth@redhat.com>
1606
1607         PR 17051
1608         * tree-sra.c (scalarize_use): Mark all v_defs for !is_output too.
1609
1610 2004-08-17  DJ Delorie  <dj@redhat.com>
1611
1612         * doc/extend.texi: Document new xstormy16 attribute.
1613
1614         * config/stormy16/stormy16.c (xstormy16_splittable_below100_operand): New.
1615         (xstormy16_splittable_below100_or_register): New.
1616         (combine_bnp): New.
1617         (xstormy16_reorg): New.
1618         (TARGET_MACHINE_DEPENDENT_REORG): Define.
1619
1620         * config/stormy16/stormy16.md (movqi_internal): Make name public.
1621         (movhi_internal): Likewise.
1622         (cbhranchhi): Likewise.
1623         (cbhranchhi_neg): Likewise.
1624         (andhi3): Only allow splittable below100 operands.
1625         (iorhi3): Likewise.
1626         (peephole2): New and/zero_extend->and peephole.
1627         (peephole2): New load/ior/save->set1 peephole.
1628         (peephole2): New load/and/save->clr1 peephole.
1629         (bclrx, bclrx2, bclr7, bclr15): New.
1630         (bsetx, bsetx2, bset7, bset15): New.
1631
1632         * config/stormy16/stormy16.c (xstormy16_print_operand): Be more
1633         liberal about acceptable 'B' masks.
1634
1635         * config/stormy16/stormy16-protos.h
1636         (xstormy16_asm_output_aligned_common, xstormy16_below100_symbol,
1637         xstormy16_below100_operand, xstormy16_below100_or_register,
1638         xstormy16_onebit_set_operand, xstormy16_onebit_clr_operand): New.
1639         (PREDICATE_CODES): Add new predicates.
1640
1641         * config/stormy16/stormy16.c
1642         (xstormy16_asm_output_aligned_common, xstormy16_below100_symbol,
1643         xstormy16_below100_operand, xstormy16_below100_or_register,
1644         xstormy16_onebit_set_operand, xstormy16_onebit_clr_operand): New.
1645         (xstormy16_expand_iorqi3, xstormy16_expand_andqi3): New.
1646         (xstormy16_legitimate_address_p): Allow below100 symbols.
1647         (xstormy16_extra_constraint_p): Add 'W' for below100 operands.
1648         (xstormy16_expand_move): Leave below100 operands as-is.
1649         (xstormy16_encode_section_info): Encode below100 symbols.
1650         (xstormy16_strip_name_encoding): New.
1651         (xstormy16_print_operand): Print 'b' as shift mask.
1652         (xstormy16_attribute_table): Add below100 attributes.
1653         (xstormy16_handle_below100_attribute): New.
1654
1655         * config/stormy16/stormy16.h (EXTRA_SECTIONS): add in_bss100.
1656         (XSTORMY16_SECTION_FUNCTION): New.
1657         (EXTRA_SECTION_FUNCTIONS): Define using the above.
1658         (ASM_OUTPUT_ALIGNED_DECL_COMMON, ASM_OUTPUT_ALIGNED_DECL_LOCAL): New.
1659         (ASM_OUTPUT_SYMBOL_REF): Handle encoded symbols.
1660         (ASM_OUTPUT_LABELREF): Define.
1661
1662         * config/stormy16/stormy16.md (movqi_internal): Add below100 support.
1663         (movhi_internal): Add below100 support.
1664         (andhi3): Add below100 support.
1665         (iorhi3): Add below100 support.
1666         (iorqi3, iorqi3_internal, andqi3, andqi3_internal): New.
1667
1668 2004-08-17  James E Wilson  <wilson@specifixinc.com>
1669
1670         * config/mips/mips.c (gen_conditional_move): Use GET_MODE (op0) instead
1671         of VOIDmode for comparison code mode.
1672         * config/mips/mips.md: For conditional move patterns, use mode of
1673         first compare operand for comparison mode, instead of VOIDmode.
1674
1675         * config/mips/mips.md: Add canonical nmadd and nmsub patterns for both
1676         normal and -ffast-math code.
1677
1678 2004-08-17  Mark Mitchell  <mark@codesourcery.com>
1679
1680         PR c++/15871
1681         * doc/invoke.texi (-fkeep-inline-functions): Update documentation.
1682
1683 2004-08-17  Robert Bowdidge  <bowdidge@apple.com>
1684
1685         * config/rs6000/x-darwin: Add -mdynamic-no-pic to gcc build flags.
1686
1687 2004-08-17  Andreas Tobler  <a.tobler@schweiz.ch>
1688
1689         * config/rs6000/darwin.md (*call_nonlocal_darwin64): Add #else clause
1690         for non Darwin targets.
1691         (*call_value_nonlocal_darwin64): Likewise.
1692
1693 2004-08-17  Fariborz Jahanian <fjahanian@apple.com>
1694
1695         * config/rs6000/rs6000.c (rs6000_function_value): Check for
1696         altivec mode for altivec return register.
1697
1698 2004-08-17  David Edelsohn  <edelsohn@gnu.org>
1699
1700         Revert 2004-08-16  Stan Shebs  <shebs@apple.com>
1701         * config/darwin.c (macho_indirect_data_reference): Add DImode case.
1702         * config/rs6000/rs6000.md: Include darwin.md.
1703         (builtin_setjmp_receiver): Add DImode case.
1704         * config/rs6000/rs6000.c (rs6000_emit_move): Add DImode case to
1705         Darwin bits.
1706
1707 2004-08-17  Dorit Naishlos  <dorit@il.ibm.com>
1708
1709         * tree-vectorizer.c: New File: loop vectorization on SSAed GIMPLE
1710         trees.
1711         * tree-vectorizer.h: New File: Same.
1712         * Makefile.in (tree-vectorizer.c, tree-vectorizer.h): Add new files.
1713         * common.opt (ftree-vectorize): New flag to enable vectorization.
1714         * timevar.def (TV_TREE_VECTORIZATION): New dump file for
1715         vectorization pass.
1716         * tree-data-ref.h (init_data_ref): Additional argument.
1717         (array_base_name_differ_p): Moved to tree-data-ref.c.
1718         * tree-data-ref.c (array_base_name_differ_p): Revised.
1719         (initialize_data_dependence_relation): Call array_base_name_differ_p
1720         with an extra argument.
1721         (analyze_all_data_dependences): Same.
1722         (init_data_ref): Additional argument is_read to set DR_IS_READ.
1723         * tree-ssa-phiopt.c (empty_block_p): Expose for usage out of this
1724         file.
1725         * tree-flow.h (vectorize_loops, empty_block_p): Add declaration.
1726         * tree-optimize.c (pass_vectorize): Schedule the vectorization pass.
1727         * tree-pass.h (tree_opt_pass pass_vectorize): Declare the new
1728         vectorization pass.
1729         * tree-ssa-loop.c (tree_ssa_loop_init): Call scev_initialize.
1730         (tree_ssa_loop_done): Call scev_finalize.
1731         (tree_vectorize): Define the new vectorization pass.
1732         * defaults.h (UNITS_PER_SIMD_WORD): Allow targets to specify the
1733         size of the vector they support (until support for multiple vector
1734         sizes is added to the vectorizer).
1735         * config/i386/i386.h (UNITS_PER_SIMD_WORD): Define.
1736         * config/rs6000/rs6000.h (UNITS_PER_SIMD_WORD): Define.
1737         * invoke.texi (fdump-tree-vect, ftree-vectorize): Add
1738         documentation.
1739
1740 2004-08-17  Nathan Sidwell  <nathan@codesourcery.com>
1741
1742         * objc/objc-act.c (build_protocol_initializer): Fix build_int_cst
1743         usage.
1744         (generate_protocol_list, handle_impent): Likewise.
1745
1746 2004-08-17  Roger Sayle  <roger@eyesopen.com>
1747
1748         * regclass.c (init_reg_sets_1): Add ENABLE_CHECKING sanity tests to
1749         ensure that call_used_regs is a superset of both fixed_regs and
1750         call_really_used_regs.
1751
1752 2004-08-17  Daniel Bornstein  <danfuzz@milk.com>
1753
1754         PR target/17019
1755         * arm.md (addsi3_cbranch_scratch): Correct case labels.
1756
1757 2004-08-17  Paolo Bonzini  <bonzini@gnu.org>
1758
1759         PR middle-end/17036
1760         * fold-const.c (fold): Check for integer operand when
1761         folding (A >> N) & 1 ? (1 << N) : 0.  Fix from Andrew
1762         Pinski  <pinskia@physics.uc.edu>.
1763
1764 2004-08-17  Paolo Bonzini  <bonzini@gnu.org>
1765
1766         * configure.ac: Trust toplevel's notion of BISON/FLEX/MAKEINFO.
1767         No need to check if in a cross configuration.
1768         * configure: Regenerate.
1769
1770         * calls.c (precompute_register_parameters):
1771         Inline preserve_subexpressions_p ().
1772         * expmed.c (expand_mult_const, emit_store_flag): Likewise.
1773         * optabs.c (expand_binop, expand_twoval_binop, prepare_cmp_insn):
1774         Likewise.
1775         * expr.c (get_subtarget): Likewise.
1776         * rtl.h (preserve_subexpressions_p): Remove.
1777         * stmt.c (preserve_subexpressions_p): Remove.
1778
1779         * dojump.c (do_jump) <COND_EXPR, EQ_EXPR, NE_EXPR,
1780         TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, COMPOUND_EXPR>:
1781         Abort on gimplified cases.
1782
1783 2004-08-16  James E Wilson  <wilson@specifixinc.com>
1784
1785         * tree.h (VECTOR_FLOAT_TYPE_P): New.
1786         (FLOAT_TYPE_P): Use it.
1787         * c-typeck.c (build_binary_op): After convert calls, check for
1788         check for ERROR_MARK operands.
1789
1790 2004-08-16  Zack Weinberg  <zack@codesourcery.com>
1791
1792         * Makefile.in (BUILD_PREFIX, BUILD_PREFIX_1): Delete.
1793         (BUILD_RTL, BUILD_PRINT, BUILD_ERRORS, BUILD_VARRAY): Update.
1794         (genobjs): Add build-rtl.o, build-print-rtl.o, build-varray.o.
1795         (genobjs static pattern rule): Remove %.c dependency.
1796         ($(BUILD_PREFIX_1)rtl.o, print-rtl.o, $(BUILD_PREFIX_1)varray.o):
1797         Rename rules; delete commands; fix dependencies.
1798         (mostlyclean): Do not delete temporary source copies.
1799         * configure.ac: Delete all references to BUILD_PREFIX and
1800         BUILD_PREFIX_1.
1801         * configure: Regenerate.
1802
1803         * print-rtl.c: Include bconfig.h #ifdef GENERATOR_FILE.
1804         Do not include tree.h, real.h, flags.h, hard-reg-set.h, or
1805         basic-block.h #ifdef GENERATOR_FILE.  Surround some more code
1806         with #ifndef GENERATOR_FILE so that nothing from those headers
1807         is used.
1808
1809         * rtl.c, varray.c: Include bconfig.h #ifdef GENERATOR_FILE.
1810
1811 2004-08-16  Adam Nemet  <anemet@lnxw.com>
1812
1813         * Makefile.in (LIBS): Move $(LIBIBERTY) after $(BANSHEELIB).
1814
1815 2004-08-16  Andrew Pinski  <apinski@apple.com>
1816
1817         * target-def.h (TARGET_EH_RETURN_FILTER_MODE): Remove
1818         extraneous semicolon.
1819
1820 2004-08-16  Devang Patel  <dpatel@apple.com>
1821
1822         * c-common.c (handle_used_attribute): Set DECL_PRESERVE_P.
1823         * print-tree.c (print_node): Print DECL_PRESERVE_P.
1824         * target-def.h (TARGET_ASM_MARK_DECL_PRESERVED): New #define.
1825         (TARGET_ASM_OUT): New member, TARGET_ASM_MARK_DECL_PRESERVED
1826         * target.h (struct gcc_target): New member, mark_decl_preserved.
1827         * hooks.c (hook_void_charptr): Rename to ...
1828         (hook_void_constcharptr): ... new name.
1829         * hooks.h (hook_void_charptr): Rename to ..
1830         (hook_void_constcharptr): ... new name.
1831         * tree.h (DECL_PRESERVE_P): New #define.
1832         (struct tree_decl): New member, preserve_flag.
1833         * varasm.c (assemble_start_function): Mark decl preserved.
1834         (assemble_variable): Same.
1835         * darwin.c (darwin_mark_decl_preserved): New function.
1836         * darwin.h (TARGET_ASM_MARK_DECL_preserved): New #define.
1837         * darwin-protos.h (darwin_mark_decl_preserved): New decl.
1838         * doc/tm.texi (TARGET_ASM_MARK_DECL_PRESERVED): Document.
1839
1840 2004-08-16  Joseph S. Myers  <jsm@polyomino.org.uk>
1841
1842         * c-decl.c (grokdeclarator): Allow for function definition where
1843         innermost declarator has attributes.
1844
1845 2004-08-16  Fariborz Jahanian <fjahanian@apple.com>
1846
1847         * except.c (get_exception_filter, build_post_landing_pads,
1848         dw2_build_landing_pads): Use target-specific mode for 'filter'.
1849         * target-def.h (TARGET_EH_RETURN_FILTER_MODE): macro defined and used.
1850         * target.h (eh_return_filter_mode): New field added.
1851         * targhooks.c (default_eh_return_filter_mode): Defined.
1852         * targhooks.h (default_eh_return_filter_mode): Declared.
1853         * config/rs6000/rs6000.c (rs6000_eh_return_filter_mode): Defined.
1854
1855 2004-08-16  Nathanael Nerode  <neroden@gcc.gnu.org>
1856
1857         * configure.ac: Replace _GCC_TOPLEV_NONCANONICAL_TARGET with
1858         ACX_NONCANONICAL_TARGET; remove now-unneeded AC_SUBST.
1859         * configure: Regenerate.
1860
1861 2004-08-16  Stan Shebs  <shebs@apple.com>
1862
1863         Basic support for 64-bit Darwin.
1864         * config/darwin.c (macho_indirect_data_reference): Add DImode case.
1865         (machopic_legitimize_pic_address): Similarly, plus use Pmode
1866         instead of SImode.
1867         * config/rs6000/darwin.h (PTRDIFF_TYPE): Be "long int" if 64-bit.
1868         (TARGET_OS_CPP_BUILTINS): Add 64-bit preprocessor macro.
1869         (SUBTARGET_SWITCHES): Add -m32 and -m64 flags.
1870         (SUBTARGET_OVERRIDE_OPTIONS): Require 64-bit processor if -m64.
1871         (PROCESSOR_DEFAULT64): Define.
1872         * config/rs6000/darwin.md: New file, patterns specific to 64-bit
1873         Darwin.
1874         * config/rs6000/rs6000.md: Include darwin.md.
1875         (builtin_setjmp_receiver): Add DImode case.
1876         * config/rs6000/rs6000.c (TARGET_ASM_UNALIGNED_DI_OP): Define for
1877         Darwin.
1878         (TARGET_ASM_ALIGNED_DI_OP): Ditto.
1879         (rs6000_emit_move): Add DImode case to Darwin bits.
1880         (machopic_output_stub): Use .quad if 64-bit.
1881         * invoke.texi: Document -m32 and -m64.
1882
1883 2004-08-16  Janis Johnson  <janis187@us.ibm.com>
1884
1885         * doc/extend.texi (AltiVec builtins): Document additional differences
1886         from the Motorola AltiVec PIM.
1887
1888 2004-08-16  Nathan Sidwell  <nathan@codesourcery.com>
1889
1890         * c-typeck.c (build_c_cast): Only copy overflow from expr nodes.
1891         * tree.h (IS_NON_TYPE_CODE_CLASS): Simplify.
1892         (struct tree_common): Update public_flag documentation.
1893
1894 2004-08-16  Nathanael Nerode  <neroden@gcc.gnu.org>
1895
1896         * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
1897         Check for artificial variables, not is_gimple_tmp_var.
1898         * tree-ssa-live.c (var_union): Likewise.
1899
1900 2004-08-16  Nathan Sidwell  <nathan@codesourcery.com>
1901
1902         * calls.c (load_register_parameters): Remove spurious FIXME token.
1903
1904 2004-08-15  Ziemowit Laski  <zlaski@apple.com>
1905
1906         * Makefile.in (C_PRETTY_PRINT_H): Add c-pretty-print.h.
1907         (c-lang.o): Depend on c-objc-common.h.
1908         (c-objc-common.o): Depend on $(C_PRETTY_PRINT_H) and
1909         c-objc-common.h; remove duplicate $(C_TREE_H) dependency.
1910         * c-lang.c: Include c-objc-common.h.
1911         (LANG_HOOKS_FINISH, LANG_HOOKS_INIT_OPTIONS,
1912         LANG_HOOKS_INITIALIZE_DIAGNOSTICS, LANG_HOOKS_HANDLE_OPTION,
1913         LANG_HOOKS_MISSING_ARGUMENT, LANG_HOOKS_POST_OPTIONS,
1914         LANG_HOOKS_GET_ALIAS_SET, LANG_HOOKS_SAFE_FROM_P,
1915         LANG_HOOKS_EXPAND_EXPR, LANG_HOOKS_MARK_ADDRESSABLE,
1916         LANG_HOOKS_PARSE_FILE, LANG_HOOKS_TRUTHVALUE_CONVERSION,
1917         LANG_HOOKS_FINISH_INCOMPLETE_DECL, LANG_HOOKS_UNSAFE_FOR_REEVAL,
1918         LANG_HOOKS_STATICP, LANG_HOOKS_SET_DECL_ASSEMBLER_NAME,
1919         LANG_HOOKS_NO_BODY_BLOCKS, LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL,
1920         LANG_HOOKS_PRINT_IDENTIFIER, LANG_HOOKS_FUNCTION_ENTER_NESTED,
1921         LANG_HOOKS_FUNCTION_LEAVE_NESTED, LANG_HOOKS_DUP_LANG_SPECIFIC_DECL,
1922         LANG_HOOKS_DECL_UNINIT, LANG_HOOKS_RTL_EXPAND_STMT,
1923         LANG_HOOKS_COMMON_ATTRIBUTE_TABLE, LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE,
1924         LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN,
1925         LANG_HOOKS_TREE_INLINING_DISREGARD_INLINE_LIMITS,
1926         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
1927         LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING,
1928         LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS,
1929         LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN,
1930         LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION, LANG_HOOKS_TYPE_FOR_MODE,
1931         LANG_HOOKS_TYPE_FOR_SIZE, LANG_HOOKS_SIGNED_TYPE,
1932         LANG_HOOKS_UNSIGNED_TYPE, LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE,
1933         LANG_HOOKS_INCOMPLETE_TYPE_ERROR, LANG_HOOKS_TYPE_PROMOTES_TO,
1934         LANG_HOOKS_REGISTER_BUILTIN_TYPE, LANG_HOOKS_WRITE_GLOBALS):
1935         Move to c-objc-common.h.
1936         * c-objc-common.c: Include c-objc-common.h.
1937         * c-objc-common.h: New file.
1938
1939 2004-08-15  Andreas Tobler  <a.tobler@schweiz.ch>
1940             Andrew Pinski  <pinskia@physics.uc.edu>
1941
1942         PR target/14931
1943         * config/rs6000/darwin-tramp.asm (L_abort$stub): Change to new stub
1944         style.
1945
1946 2004-08-15  Nathan Sidwell  <nathan@codesourcery.com>
1947
1948         * tree.h (build_int_cst): New.
1949         (build_int_2): Remove.
1950         * tree.c (build_int_2): Remove.
1951         (build_int_cst): New.
1952         (make_vector_type, build_common_tree_nodes,
1953         build_common_tree_nodes_2): Use build_int_cst.
1954         * builtins.c (expand_builtin_prefetch, expand_builtin_strstr,
1955         expand_builtin_strpbrk, expand_builtin_fputs,
1956         build_string_literal, expand_builtin_printf,
1957         expand_builtin_sprintf, fold_builtin_lround, fold_builtin_bitop,
1958         fold_builtin_bitop, fold_builtin_isascii, fold_builtin_toascii,
1959         fold_builtin_isdigit, simplify_builtin_strstr,
1960         simplify_builtin_strpbrk, fold_builtin_fputs,
1961         simplify_builtin_sprintf): Use build_int_cst.
1962         * c-common.c (start_fname_decls, fix_string_type,
1963         c_common_nodes_and_builtins, c_init_attributes,
1964         shorten_compare): Likewise.
1965         * c-decl.c (complete_array_type,
1966         check_bitfield_type_and_width): Likewise.
1967         * c-lex.c (interpret_integer, lex_charconst): Likewise.
1968         * c-parse.in (primary): <TYPES_COMPATIBLE_P> Likewise.
1969         * c-pretty-print.c (pp_c_integer_constant): Likewise.
1970         * c-typeck.c (really_start_incremental_init, push_init_level,
1971         set_nonincremental_init_from_string): Likewise.
1972         * calls.c (load_register_parameters): Likewise.
1973         * convert.c (convert_to_pointer): Likewise.
1974         * coverage.c (coverage_counter_alloc, tree_coverage_counter_ref,
1975         build_fn_info_type, build_ctr_info_value, build_gcov_info):
1976         Likewise.
1977         * except.c (init_eh, assign_filter_values, assign_filter_values):
1978         Likewise.
1979         * expmed.c (store_fixed_bit_field, extract_bit_field,
1980         extract_fixed_bit_field, extract_split_bit_field, expand_shift,
1981         expand_mult_const, expand_mult_highpart_adjust, extract_high_half,
1982         expand_sdiv_pow2, expand_divmod, make_tree): Likewise.
1983         * expr.c (convert_move, emit_group_load, emit_group_store,
1984         expand_assignment, store_constructor, store_field,
1985         expand_expr_real_1, reduce_to_bit_field_precision): Likewise.
1986         * fold-const.c (force_fit_type, int_const_binop, fold_convert_const,
1987         invert_truthvalue, optimize_bit_field_compare,
1988         decode_field_reference, all_ones_mask_p, constant_boolean_node,
1989         fold_div_compare, fold, fold_read_from_constant_string,
1990         fold_negate_const, fold_abs_const, fold_not_const): Likewise.
1991         * function.c (assign_parm_setup_block): Likewise.
1992         * stmt.c (shift_return_value, expand_end_case_type,
1993         estimate_case_costs): Likewise.
1994         * stor-layout.c (layout_type, initialize_sizetypes,
1995         set_min_and_max_values_for_integral_type): Likewise.
1996         * tree-chrec.c (chrec_fold_multiply_poly_poly,
1997         reset_evolution_in_loop): Likewise.
1998         * tree-chrec.h (build_polynomial_chrec): Likewise.
1999         * tree-complex.c (build_replicated_const): Likewise.
2000         * tree-eh.c (honor_protect_cleanup_actions,
2001         lower_try_finally_onedest, lower_try_finally_copy,
2002         lower_try_finally_switch): Likewise.
2003         * tree-mudflap.c (mf_build_string, mx_register_decls,
2004         mudflap_register_call, mudflap_enqueue_constant): Likewise.
2005         * tree-nested.c (get_trampoline_type, get_nl_goto_field): Likewise.
2006         * tree-pretty-print.c (dump_generic_node): Likewise.
2007         * tree-ssa-ccp.c (widen_bitfield, maybe_fold_offset_to_array_ref):
2008         Likewise.
2009         * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Likewise.
2010         * tree-ssa-loop-niter.c (number_of_iterations_cond,
2011         loop_niter_by_eval, upper_bound_in_type, lower_bound_in_type):
2012         Likewise.
2013
2014         * config/alpha/alpha.c (alpha_initialize_trampoline,
2015         alpha_va_start, alpha_gimplify_va_arg_1): Use build_int_cst.
2016         * config/arm/arm.c (arm_get_cookie_size): Likewise.
2017         * config/c4x/c4x.c (c4x_gimplify_va_arg_expr): Likewise.
2018         * config/i386/i386.c (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2019         * config/i860/i860.c (i860_va_start): Likewise.
2020         * config/ia64/ia64.c (ia64_gimplify_va_arg): Likewise.
2021         * config/mips/mips.c (mips_build_builtin_va_list, mips_va_start,
2022         mips_gimplify_va_arg_expr): Likewise.
2023         * config/pa/pa.c (hppa_gimplify_va_arg_expr): Likewise.
2024         * config/rs6000/rs6000.c (rs6000_va_start, rs6000_gimplify_va_arg,
2025         add_compiler_branch_island): Likewise.
2026         * config/s390/s390.c (s390_va_start): Likewise.
2027         * config/sh/sh.c (sh_va_start): Likewise.
2028         * config/stormy16/stormy16.c (xstormy16_expand_builtin_va_start):
2029         Likewise.
2030         * config/xtensa/xtensa.c (xtensa_va_start,
2031         xtensa_gimplify_va_arg_expr): Likewise.
2032
2033         * objc/objc-act.c (build_objc_string_object,
2034         build_objc_symtab_template, init_def_list, init_objc_symtab,
2035         init_module_descriptor, generate_static_references,
2036         build_selector_translation_table, get_proto_encoding,
2037         build_typed_selector_reference, build_selector_reference,
2038         build_next_objc_exception_stuff,
2039         build_method_prototype_list_template, generate_descriptor_table,
2040         generate_protocols, build_protocol_initializer,
2041         build_ivar_list_template, build_method_list_template,
2042         build_ivar_list_initializer, generate_ivars_list,
2043         generate_dispatch_table, generate_protocol_list,
2044         build_category_initializer, build_shared_structure_initializer,
2045         generate_shared_structures, handle_impent,
2046         generate_objc_image_info): Use build_int_cst.
2047
2048 2004-08-15  Ben Elliston  <bje@au.ibm.com>
2049
2050         * vec.h: Comment improvements.
2051
2052 2004-08-14  Roger Sayle  <roger@eyesopen.com>
2053
2054         * c-common.c (shorten_compare, pointer_int_sum,
2055         c_common_truthvalue_conversion, boolean_increment): Replace calls
2056         to build with calls to buildN.
2057         * c-decl.c (complete_array_type, grokdeclarator): Likewise.
2058         * c-gimplify.c (c_build_bind_expr, gimplify_c_loop,
2059         gimplify_switch_stmt): Likewise.
2060         * c-typeck.c (default_function_array_conversion,
2061         build_component_ref, build_array_ref, build_function_call,
2062         pointer_diff, build_unary_op, build_conditional_expr,
2063         build_compound_expr, build_modify_expr, c_finish_goto_label,
2064         c_finish_goto_ptr, c_finish_return, c_finish_loop,
2065         c_finish_bc_stmt, c_finish_stmt_expr, c_end_compound_stmt,
2066         build_binary_op): Likewise.
2067
2068 2004-08-15  Steven Bosscher  <stevenb@suse.de>
2069
2070         * rtl.c (note_insn_name): Add NOTE_DISABLE_SCHED_OF_BLOCK.
2071
2072 2004-08-14  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2073
2074         * fixinc/inclhack.def (stdio_va_list): Also fix com_err.h, cps.h,
2075         curses.h, krb5.h, lc_core.h, pfmt.h, wchar.h and curses_colr/curses.h.
2076         * fixinc/fixincl.x: Rebuilt.
2077
2078 2004-08-14  Richard Sandiford  <rsandifo@redhat.com>
2079
2080         * config/mips/mips-protos.h (mips_symbolic_constant_p)
2081         (mips_atomic_symbolic_constant_p, mips_stack_address_p)
2082         (mips_small_data_pattern_p): Declare.
2083         * config/mips/mips.h (CONST_GP_P): Moved from mips.c.
2084         (PREDICATE_CODES, SPECIAL_MODE_PREDICATES): Delete.
2085         * config/mips/mips.c (mips_symbolic_constant_p): Make global.
2086         (mips_atomic_symbolic_constant_p, mips_stack_address_p): New functions.
2087         (uns_arith_operand, const_arith_operand, arith_operand, sle_operand)
2088         (sleu_operand, small_int, reg_or_0_operand, const_float_1_operand)
2089         (reg_or_const_float_1_operand, hilo_operand, extend_operator)
2090         (macc_msac_operand, equality_op, cmp_op, trap_cmp_op)
2091         (pc_or_label_operand, call_insn_operand, move_operand)
2092         (consttable_operand, symbolic_operand, general_symbolic_operand)
2093         (global_got_operand, local_got_operand, stack_operand)
2094         (fp_register_operand, lo_operand, fcc_register_operand): Delete.
2095         (mips_small_data_pattern_1): Renamed from small_data_pattern_1.
2096         (mips_small_data_pattern_p): Replace previous small_data_pattern
2097         predicate.  Turn into a bool () (rtx) function.
2098         * config/mips/predicates.md: New file.
2099         * config/mips/mips.md: Include it.  Use the target-independent
2100         comparison_operator instead of cmp_op.  Rename trap_cmp_op to
2101         trap_comparison_operator and equality_op to equality_operator.
2102         Replace uses of small_int with the equivalent const_arith_operand.
2103         Rename reg_or_const_float_1_operand to reg_or_1_operand.  Rename
2104         const_float_1_operand to const_1_operand.  Rename fcc_register_operand
2105         to fcc_reload_operand.
2106         * config/mips/sb1.md: Rename fp_register_operand to fpr_operand.
2107
2108 2004-08-14  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2109
2110         PR libstdc++/17005 partial fix.
2111         * pa-hpux11.h (TARGET_OS_CPP_BUILTINS): Define _INCLUDE__STDC_A1_SOURCE
2112         except when generating ANSI/C89 code.
2113
2114 2004-08-14  Nathan Sidwell  <nathan@codesourcery.com>
2115
2116         * c-common.c (shorten_compare): Use force_fit_type directly.
2117
2118 2004-08-14  Gerald Pfeifer  <gerald@pfeifer.com>
2119             Dimitri Papadopoulos-Orfanos  <papadopo@shfj.cea.fr>
2120             Dave Korn  <dk@artimi.com>
2121
2122         * doc/install.texi (Building): Avoid duplicate reference to GNU
2123         make requirement.
2124         (*-*-solaris2*): Do not recommend GNU make any longer.  Simplify.
2125
2126 2004-08-14  Richard Henderson  <rth@redhat.com>
2127
2128         * config/alpha/alpha.h (PROMOTE_MODE): Don't promote vector types.
2129         * config/alpha/alpha.c (function_value): Use PROMOTE_MODE.
2130
2131 2004-08-13  Richard Henderson  <rth@redhat.com>
2132
2133         * config/i386/i386.md (call_1, sibcall_1, call_1_rex64): Use Pmode
2134         for constant_call_address_operand.
2135         (call_value_pop_1, call_value_1): Likewise.
2136         (sibcall_value_1, call_value_1_rex64): Likewise.
2137
2138 2004-08-13  James E Wilson  <wilson@specifixinc.com>
2139
2140         * config/mips/sb1.md (ir_sb1_divdf_2pipes, ir_sb1_divdf_1pipe):
2141         Correct mode from SFmode to DFmode.
2142
2143 2004-08-13  Ziemowit Laski  <zlaski@apple.com>
2144
2145         * config/darwin.h (EXTRA_SECTION_FUNCTIONS): Mark the __sel_fixup,
2146         __cstring_object and __image_info sections with the no_dead_strip
2147         attribute.
2148
2149 2004-08-13  Roger Sayle  <roger@eyesopen.com>
2150             David Billinghurst  <David.Billinghurst@riotinto.com>
2151
2152         PR libgfortran/15930
2153         * fixinc/inclhack.def (irix___generic1, irix___generic2): New.
2154         * fixinc/fixincl.x: Regenerate.
2155         * fixinc/tests/base/internal/math_core.h: New file.
2156
2157 2004-08-13  Richard Henderson  <rth@redhat.com>
2158
2159         * dbxout.c (NO_DBX_FUNCTION_END): Default to zero.
2160         (dbxout_function_end): Remove ifdefs for it.
2161         (dbxout_begin_prologue): Protect N_BNSYM with it, and gdb extensions.
2162
2163 2004-08-13  Richard Henderson  <rth@redhat.com>
2164
2165         * Makefile.in (insn-preds.o): Depend on TREE_H.
2166         * genpreds.c (write_insn_preds_c): Include tree.h.
2167         * config/alpha/alpha.c (reg_or_0_operand, reg_or_6bit_operand,
2168         reg_or_8bit_operand, cint8_operand, add_operand, sext_add_operand,
2169         const48_operand, and_operand, or_operand, mode_width_operand,
2170         mode_mask_operand, mul8_operand, const0_operand,
2171         hard_fp_register_operand, hard_int_register_operand,
2172         reg_or_cint_operand, some_operand, some_ni_operand, input_operand,
2173         samegp_function_operand, direct_call_operand, small_symbolic_operand,
2174         global_symbolic_operand, call_operand, symbolic_operand,
2175         dtp16_symbolic_operand, dtp32_symbolic_operand,
2176         gotdtp_symbolic_operand, tp16_symbolic_operand, tp32_symbolic_operand,
2177         gottp_symbolic_operand, alpha_comparison_operator,
2178         alpha_zero_comparison_operator, alpha_swapped_comparison_operator,
2179         signed_comparison_operator, alpha_fp_comparison_operator,
2180         divmod_operator, fix_operator, aligned_memory_operand,
2181         unaligned_memory_operand, reg_or_unaligned_mem_operand,
2182         any_memory_operand, reg_not_elim_operand, normal_memory_operand,
2183         reg_no_subreg_operand, addition_operation): Move to predicates.md.
2184         (reg_or_const_int_operand): Remove.  Replace all users with
2185         reg_or_cint_operand.
2186         (tls_symbolic_operand_1): Export.  Don't check mode or for CONST.
2187         (resolve_reload_operand): Split out of aligned_memory_operand.
2188         * config/alpha/alpha-protos.h: Update for exports.
2189         * config/alpha/alpha.h (PREDICATE_CODES): Remove.
2190         * config/alpha/alpha.md: Include predicates.md.
2191         * config/alpha/predicates.md: New file.
2192
2193 2004-08-13  Richard Sandiford  <rsandifo@redhat.com>
2194
2195         * genattrtab.c (insn_ent): Replace insn_code, insn_index and lineno
2196         fields with a pointer to the instruction definition.
2197         (get_attr_value, fill_attr, make_length_attrs, remove_insn_ent)
2198         (insert_insn_ent, simplify_test_exp, optimize_attrs, write_attr_get)
2199         (write_attr_case, write_const_num_delay_slots): Update accordingly.
2200         (write_attr_case, write_const_num_delay_slots): Write the name of
2201         an insn next to its case statement.
2202         * genoutput.c (data): Add a filename field.
2203         (gen_insn, gen_peephole, gen_expand, gen_split): Set it.
2204         (output_insn_data): Print the location of each insn definition.
2205         * genrecog.c (write_action): Print the name of an insn above
2206         the statement that returns its code.
2207
2208 2004-08-12  Andrew Pinski  <pinskia@physics.uc.edu>
2209
2210         * config/darwin-c.c (find_subframework_file): Fix spelling of cannot.
2211         * config/libgloss.h: Likewise.
2212         * config/arm/arm.c (arm_gen_load_multiple): Likewise.
2213         * c4x/c4x-modes.def: Likewise.
2214         * config/c4x/c4x.c (c4x_hard_regno_rename_ok): Likewise.
2215         (c4x_rptb_nop_p): Likewise.
2216         (c4x_rptb_valid_p): Likewise.
2217         (c4x_rptb_insert): Likewise.
2218         (c4x_address_conflict): Likewise.
2219         * config/c4x/c4x.md: Likewise.
2220         * config/frv/frv.md: Likewise.
2221         * config/i386/athlon.md: Likewise.
2222         * config/i386/i386.md: Likewise.
2223         * config/i386/predicates.md: Likewise.
2224         * config/ia64/ia64.c: Likewise.
2225         * config/ia64/itanium1.md: Likewise.
2226         * config/ia64/itanium2.md: Likewise.
2227         * config/iq2000/iq2000.md: Likewise.
2228         * config/mcore/mcore.c: Likewise.
2229         * config/mips/mips.c: Likewise.
2230         * config/mips/r3900.h: Likewise.
2231         * config/mips/sb1.md: Likewise.
2232         * config/pa/milli64.S: Likewise.
2233         * config/pa/pa.c: Likewise.
2234         * config/pa/pa.h: Likewise.
2235         * config/rs6000/8540.md: Likewise.
2236
2237 2004-08-13  Daniel Berlin  <dberlin@dberlin.org>
2238
2239         * Makefile.in (BOOT_CFLAGS): Remove accidental addition of -dU.
2240
2241 2004-08-13  J"orn Rennecke <joern.rennecke@superh.com>
2242
2243         * sh.md (cbranch define_delay) Use cond_delay_slot for
2244         non-anulled condition too.
2245
2246 2004-08-12  David Edelsohn  <edelsohn@gnu.org>
2247
2248         * config/rs6000/rs6000.c (any_parallel_operand): New predicate.
2249         * config/rs6000/rs6000.h (PREDICATE_CODES): Add
2250         any_parallel_operand, lmw_operation, stmw_operation,
2251         mfcr_operation, mtcrf_operation.  Remove PARALLEL from any_operand.
2252         * config/rs6000/rs6000.md (save_fpregs_{si,di}): Use
2253         any_parallel_operand.
2254         (return_and_restore_fpregs_{si,di}): Same.
2255
2256 2004-08-12  Zack Weinberg  <zack@codesourcery.com>
2257
2258         * genrecog.c (add_to_sequence): When processing a MATCH_PARALLEL,
2259         if pred->singleton != PARALLEL, issue a warning and pretend it was.
2260         Also issue a warning for any predicate we don't know about.
2261
2262 2004-08-12  Richard Henderson  <rth@redhat.com>
2263
2264         * config/i386/i386.c (internal_label_prefix): Export.
2265         (internal_label_prefix_len, struct ix86_address,
2266         ix86_decompose_address, maybe_get_pool_constant,
2267         ix86_fp_compare_code_to_integer, ix86_fp_comparison_codes,
2268         memory_address_length): Export.
2269         (any_fp_register_operand, fp_register_operand,
2270         register_and_not_any_fp_reg_operand, register_and_not_fp_reg_operand,
2271         x86_64_general_operand, x86_64_szext_general_operand,
2272         x86_64_nonmemory_operand, x86_64_movabs_operand,
2273         x86_64_szext_nonmemory_operand, x86_64_immediate_operand,
2274         x86_64_zext_immediate_operand, const_int_1_31_operand,
2275         symbolic_operand, pic_symbolic_operand, local_symbolic_operand,
2276         tls_symbolic_operand, global_dynamic_symbolic_operand,
2277         local_dynamic_symbolic_operand, initial_exec_symbolic_operand,
2278         local_exec_symbolic_operand, call_insn_operand, sibcall_insn_operand,
2279         constant_call_address_operand, const0_operand, const1_operand,
2280         const248_operand, const_0_to_3_operand, const_0_to_7_operand,
2281         const_0_to_15_operand, const_0_to_255_operand, incdec_operand,
2282         shiftdi_operand, reg_no_sp_operand, mmx_reg_operand,
2283         general_no_elim_operand, nonmemory_no_elim_operand,
2284         index_register_operand, q_regs_operand, flags_reg_operand,
2285         non_q_regs_operand, zero_extended_scalar_load_operand,
2286         vector_move_operand, no_seg_address_operand, sse_comparison_operator,
2287         ix86_comparison_operator, ix86_carry_flag_operator,
2288         fcmov_comparison_operator, promotable_binary_operator,
2289         cmp_fp_expander_operand, ext_register_operand, binary_fp_operator,
2290         mult_operator, div_operator, arith_or_logical_operator,
2291         memory_displacement_operand, cmpsi_operand, long_memory_operand,
2292         aligned_operand): Move to predicates.md as define_predicates.
2293         (tls_symbolic_operand_1): Remove.
2294         (x86_64_sign_extended_value): Merge into x86_64_immediate_operand.
2295         (x86_64_zero_extended_value): Merge into x86_64_zext_immediate_operand.
2296         (legitimize_address): Merge tls_symbolic_operand contents.
2297         (ix86_expand_move): Likewise.
2298         * config/i386/i386-protos.h: Update for exports.
2299         * config/i386/i386.h (EXTRA_CONSTRAINT): Update for renames.
2300         (PREDICATE_CODES, SPECIAL_MODE_PREDICATES): Remove.
2301         * config/i386/i386.md: Include predicates.md.
2302         * config/i386/predicates.md: New file.
2303
2304 2004-08-13  Mark Mitchell  <mark@codesourcery.com>
2305
2306         PR c++/16924
2307         * config/i386/winnt.c (i386_pe_mark_dllexport): Set
2308         SYMBOL_REF_DECL.
2309         (i386_pe_mark_dllimport): Likewise.
2310         (i386_pe_encode_section_info): Likewise, when overriding
2311         dllimport attribute.
2312
2313 2004-08-12  Geoffrey Keating  <geoffk@apple.com>
2314
2315         * configure.ac: When testing for flex, nm, ar, and bison, check
2316         that they will actually be built.
2317         * configure: Regenerate.
2318
2319 2004-08-12  Ulrich Weigand  <uweigand@de.ibm.com>
2320
2321         * config/s390/s390.h (MAX_FIXED_MODE_SIZE): Define.
2322         (MOVE_MAX_PIECES): Define.
2323
2324 2004-08-12  Devang patel  <dpatel@apple.com>
2325
2326         * dbxout.c (dbxout_begin_prologue): New function.
2327         (dbx_debug_hooks): Use new begin prologue hook.
2328         (dbxout_function_end): Emit N_ENSYM.
2329         * stab.def (N_BNSYM, N_ENSYM): Define and document these two new stabs.
2330
2331 2004-08-12  Janis Johnson  <janis187@us.ibm.com>
2332
2333         * config/rs6000/altivec.h (vec_dst): Fix C++ functions whose first
2334         argument is float*.
2335
2336         * config/rs6000/rs6000.c (altivec_init_builtins): Fix argument type
2337         for vec_dss.
2338
2339         * doc/extend.texi (AltiVec builtins): Fix description for recent
2340         changes.  Update operation list to match current support.
2341
2342 2004-08-12  Andreas Krebbel  <krebbel1@de.ibm.com>
2343
2344         * config/s390/s390.c (struct s390_frame_layout): New struct as element
2345         of struct machine_function.
2346         (cfun->machine->frame_size): Moved into cfun->machine->frame_layout and
2347         changed all uses.
2348         (cfun->machine->save_fprs_p): Replaced by cfun_save_high_fprs and
2349         changed all uses.
2350         (cfun_frame_layout, cfun_save_high_fprs_p, cfun_gprs_save_area_size)
2351         (cfun_set_fpr_bit, cfun_fpr_bit_p): New macros.
2352         (s390_frame_area, s390_register_info): New functions.
2353         (s390_optimize_prolog): Renamed to s390_optimize_prologue.  Added check
2354         for base register.
2355         (s390_return_addr_rtx, s390_return_address_offset)
2356         (s390_va_start, s390_gimplify_va_arg)
2357         (s390_emit_prologue, s390_emit_epilogue): Adjusted for new stack
2358         layouts.
2359         (s390_frame_info): Functionality partly moved to s390_register_info.
2360         Made adaptions for new stack layout.
2361         (save_gprs, restore_gprs): Changed meaning of second parameter and
2362         adapted all callers.
2363
2364         * config/s390/s390.h (s390_backchain_string): New global variable.
2365         (MASK_BACKCHAIN): Removed definition.
2366         (TARGET_BACKCHAIN): Changed check.
2367         (TARGET_KERNEL_BACKCHAIN): New macro.
2368         (TARGET_SWITCHES): Removed entries of "backchain" and "no-backchain".
2369         (TARGET_OPTIONS): Added "backchain", "no-backchain" and
2370         "kernel-backchain".
2371         (DYNAMIC_CHAIN_ADDRESS): Adjusted for new stack layouts.
2372
2373         * config/s390/s390.md ("allocate_stack"): Added TARGET_KERNEL_BACKCHAIN
2374         as condition.  Adjusted for new stack layout.
2375
2376         * doc/invoke.texi: Added documentation for new option
2377         "-mkernel-backchain" and adjusted documentation of "-mbackchain" and
2378         "-mno-backchain".
2379
2380 2004-08-12  Paul Brook  <paul@codesourcery.com>
2381
2382         * config/arm/lib1funcs.asm (ARM_FUNC_ALIAS): Also alias _L__name.
2383         (aeabi_uidivmod, aeabi_idivmod): Provide thumb implementation.
2384
2385 2004-08-12  David Daney  <ddaney@avtrex.com>
2386
2387         * java/gcj.texi:  Add subsection on signal usage.
2388
2389 2004-08-12  David Edelsohn  <edelsohn@gnu.org>
2390
2391         * expr.c (move_by_pieces): Set alignment for move to minimum of
2392         MOVE_MAX_PIECES mode alignment and the largest non-slow mode
2393         alignment, but not less than the original alignment.
2394         (move_by_pieces_ninsns): Same.
2395         (can_store_by_pieces): Similar for store with STORE_MAX_PIECES.
2396         (store_by_pieces_1): Same.
2397
2398 2004-08-12  Diego Novillo  <dnovillo@redhat.com>
2399
2400         PR tree-optimization/16867
2401         * tree.c (is_global_var): New function.
2402         (needs_to_live_in_memory): Check for TREE_ADDRESSABLE.
2403         Call is_global_var.
2404         * tree.h (DECL_NEEDS_TO_LIVE_IN_MEMORY_INTERNAL): Remove.
2405         Update all users.
2406         (is_global_var): Declare.
2407         * tree-dfa.c (dump_variable): Display global and addressable
2408         attributes.
2409         (add_referenced_var): Clarify documentation when marking
2410         variables call-clobbered.
2411         * tree-flow-inline.h (is_call_clobbered): Call is_global_var
2412         instead of needs_to_live_in_memory.
2413         (mark_call_clobbered): If the variable is a tag, mark it
2414         DECL_EXTERNAL.
2415         * tree-gimple.c (is_gimple_reg): Don't check for
2416         TREE_ADDRESSABLE.
2417         (is_gimple_non_addressable): Likewise.
2418         * tree-ssa-alias.c (get_nmt_for): Always check whether the tag
2419         needs to be marked call-clobbered.
2420         (setup_pointers_and_addressables): Call is_global_var instead
2421         of needs_to_live_in_memory.
2422         * tree-ssa-dce.c (need_to_preserve_store): Remove.
2423         Update all users with is_global_var.
2424         (mark_stmt_if_obviously_necessary): Fix processing of aliased
2425         stores.  Don't check the virtual definitions.  Rather, check
2426         whether the store is going into global memory.
2427         (find_obviously_necessary_stmts): Get the symbol from the PHI
2428         result.
2429         * tree-ssa-operands.c (get_call_expr_operands): Do not add
2430         clobbering may-defs if the call does not have side effects.
2431
2432 2004-08-12  Jakub Jelinek  <jakub@redhat.com>
2433
2434         PR c++/16276
2435         * output.h (default_function_rodata_section,
2436         default_no_function_rodata_section): New prototypes.
2437         * target.h (struct gcc_target): Add asm_out.function_rodata_section.
2438         * target-def.h (TARGET_ASM_FUNCTION_RODATA_SECTION): Define.
2439         (TARGET_ASM_OUT): Add it.
2440         * varasm.c (default_function_rodata_section,
2441         default_no_function_rodata_section): New functions.
2442         * final.c (final_scan_insn): Call
2443         targetm.asm_out.function_rodata_section instead of
2444         readonly_data_section.
2445         * config/darwin.h (TARGET_ASM_FUNCTION_RODATA_SECTION): Define.
2446         * config/mcore/mcore.c (TARGET_ASM_FUNCTION_RODATA_SECTION): Likewise.
2447         * config/ip2k/ip2k.c (TARGET_ASM_FUNCTION_RODATA_SECTION): Likewise.
2448         * config/rs6000/xcoff.h (TARGET_ASM_FUNCTION_RODATA_SECTION):
2449         Likewise.
2450         * config/alpha/alpha.c (TARGET_ASM_FUNCTION_RODATA_SECTION): Likewise.
2451         * config/i386/cygming.h (TARGET_ASM_FUNCTION_RODATA_SECTION):
2452         Likewise.
2453         * config/i386/i386-interix.h (TARGET_ASM_FUNCTION_RODATA_SECTION):
2454         Likewise.
2455         * config/arm/pe.h (TARGET_ASM_FUNCTION_RODATA_SECTION): Likewise.
2456         * config/avr/avr.c (TARGET_ASM_FUNCTION_RODATA_SECTION): Likewise.
2457         * doc/tm.texi (TARGET_ASM_FUNCTION_RODATA_SECTION): Document.
2458
2459 2004-08-12  Paul Brook  <paul@codesourcery.com>
2460
2461         * dwarf2out.h (dwarf2out_frame_finish): Conditionalize outputting eh
2462         frame info.
2463         * doc/tm.texi: Document interaction between TARGET_UNWIND_INFO and
2464         DWARF2_UNWIND_INFO.
2465
2466 2004-08-12  Ben Elliston  <bje@au.ibm.com>
2467
2468         PR target/16286
2469         * config/rs6000/altivec.h: Change vector to __vector throughout.
2470         (Except for the `vector' macro itself).
2471
2472 2004-08-12  Zack Weinberg  <zack@codesourcery.com>
2473
2474         * genpreds.c: Add capability to generate predicate bodies as
2475         well as function prototypes.  Write function prototypes for
2476         the generic predicates too.
2477         (process_define_predicate, write_tm_preds_h, write_insn_preds_c)
2478         (write_predicate_subfunction, mark_mode_tests, add_mode_tests)
2479         (write_match_code, write_predicate_expr, write_one_predicate_function)
2480         (parse_option): New functions.
2481         (output_predicate_decls): Delete.
2482         (main): Read the machine description, process DEFINE_PREDICATE or
2483         DEFINE_SPECIAL_PREDICATE patterns, write tm-preds.h or insn-preds.c
2484         as appropriate.
2485
2486         * genrecog.c (struct decision_test): Replace index with
2487         struct pred_data pointer.
2488         (next_index): Remove, unused.
2489         (pred_table, preds, special_mode_pred_table): Delete.
2490         (compute_predicate_codes, process_define_predicate): New functions.
2491         (validate_pattern, add_to_sequence, write_switch): Update for
2492         new data structures.
2493         (main): Handle DEFINE_PREDICATE and DEFINE_SPECIAL_PREDICATE.
2494         Check both error_count and have_error.
2495
2496         * gensupport.c (in_fname, first_predicate): New globals.
2497         (define_pred_queue, define_pred_tail): New RTL-pattern queue.
2498         (predicate_table, last_predicate, old_pred_table)
2499         (old_special_pred_table): New statics.
2500         (hash_struct_pred_data, eq_struct_pred_data, lookup_predicate)
2501         (add_predicate, init_predicate_table): New functions.
2502         (process_rtx): Handle DEFINE_PREDICATE and DEFINE_SPECIAL_PREDICATE.
2503         (init_md_reader_args_cb): Use the global in_fname.  No need to zero
2504         it or max_include_len.  Call init_predicate_table.
2505         (read_rtx): Run the predicate queue after the attribute queue
2506         but before all the others.
2507         * gensupport.h (in_fname, struct pred_data, first_predicate)
2508         (lookup_predicate, add_predicate, FOR_ALL_PREDICATES): Declare.
2509         * rtl.def (MATCH_CODE, MATCH_TEST, DEFINE_PREDICATE)
2510         (DEFINE_SPECIAL_PREDICATE): New RTL codes.
2511         * dummy-conditions.c: Don't include bconfig.h, system.h,
2512         coretypes.h, tm.h, or system.h.  Do include stddef.h.
2513         Duplicate declaration of struct c_test from gensupport.h.
2514
2515         * Makefile.in (OBJS-common): Add insn-preds.o.
2516         (STAGESTUFF, .PRECIOUS): Add insn-preds.c.
2517         (insn-preds.c, insn-preds.o): New rules.
2518         (s-preds): Also generate insn-preds.c.
2519         (dummy-conditions.o, genpreds$(build_exeext), genpreds.o):
2520         Update dependencies.
2521         (print-rtl.o, print-rtl1.o): Correct dependencies.
2522
2523         * recog.h: Delete prototypes of predicate functions.
2524
2525         * doc/md.texi (Predicates): New section with complete
2526         documentation of operand/operator predicates.  Remove some
2527         incomplete documentation of predicates from other places.
2528         * doc/tm.texi (Misc): Move SPECIAL_MODE_PREDICATES next to
2529         PREDICATE_CODES; indicate that both are deprecated in favor
2530         of define_predicate/define_special_predicate.
2531
2532         * config/ia64/ia64.c: All predicate function definitions moved
2533         to ia64.md, except
2534         (small_addr_symbolic_operand, tls_symbolic_operand): Delete.
2535         (ia64_expand_load_address, ia64_expand_move):
2536         Check SYMBOL_REF_TLS_MODEL directly, don't use tls_symbolic_operand.
2537
2538         * config/ia64/ia64.md: All predicates now defined here.
2539         (symbolic_operand): Is now a special predicate.
2540
2541         * config/ia64/ia64.h: Declare ia64_section_threshold.
2542         (PREDICATE_CODES): Delete.
2543
2544 2004-08-12  Richard Henderson  <rth@redhat.com>
2545
2546         * c-common.h (STATEMENT_LIST_HAS_LABEL): New.
2547         * c-semantics.c (add_stmt): Set it.
2548         * c-decl.c (finish_decl): Use it to create a new BIND_EXPR
2549         before instantiating a variable sized type.
2550
2551 2004-08-12  Richard Henderson  <rth@redhat.com>
2552
2553         * stor-layout.c (round_up, round_down): Move ...
2554         * fold-const.c (round_up, round_down): ... here.  Use
2555         multiple_of_p to avoid any arithmetic at all.
2556
2557 2004-08-12  Richard Henderson  <rth@redhat.com>
2558
2559         * gimplify.c (struct gimplify_init_ctor_preeval_data): New.
2560         (gimplify_init_ctor_preeval_1): New.
2561         (gimplify_init_ctor_preeval): New.
2562         (gimplify_init_ctor_eval): New.
2563         (gimplify_init_constructor): Use them.  Always gimplify the LHS
2564         object first.
2565
2566 2004-08-12  Ziemowit Laski  <zlaski@apple.com>
2567
2568         (This patch is part of merge of objc-improvements-branch
2569         into mainline.)
2570
2571         * doc/frontends.texi: Mention Objective-C++ in addition to
2572         Objective-C.
2573         * doc/install.texi: Add 'obj-c++' to list of configurable
2574         languages.
2575         * doc/invoke.texi: Rename Objective-C option headings to
2576         indicate they also apply to Objective-C++.  List file
2577         extensions for Objective-C++ sources.  Mention that
2578         ObjC and ObjC++ compilations may also use C and C++ options,
2579         respectively.  Point users to doc/standards.texi for
2580         further info on ObjC and ObjC++.
2581         * doc/sourcebuild.texi: Mention the objcp/ directory and
2582         the Objective-C++ sources it contains.
2583         * doc/standards.texi: Update link to Apple ObjC site;
2584         add link to gcc readings.html WWW doc.
2585
2586 2004-08-12  Alan Modra  <amodra@bigpond.net.au>
2587
2588         * config/rs6000/rs6000.c (function_arg_padding): Revert 2004-07-28
2589         and 2004-07-14 changes.
2590
2591 2004-08-12  Paul Brook  <paul@codesourcery.com>
2592
2593         * doc/invoke.texi: Fix typo.
2594
2595 2004-08-11 Devang Patel  <dpatel@apple.com>
2596
2597         * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Add -dead_strip
2598         and -no_dead_strip_inits_and_terms.
2599         (LINK_SPEC): Same.
2600         * doc/invoke.texi (Darwin Options): Document -dead_strip and
2601         -no_dead_strip_inits_and_terms.
2602
2603 2004-08-11  Paul Brook  <paul@codesourcery.com>
2604
2605         * config/arm/arm-protos.h (arm_finalize_pic) Rename ...
2606         (arm_load_pic_register): ... to this.
2607         * config/arm/arm.c (arm_finalize_pic): Rename ...
2608         (arm_load_pic_register): ... to this.  Always output insns at the
2609         current location.  Load via low reg in thumb mode.
2610         (arm_expand_prologue): Call arm_load_pic_register.
2611         (thumb_expand_prologue): Ditto.
2612         * config/arm/arm.h (FINALIZE_PIC): Remove.
2613         * config/arm/arm.md (builtin_setjmp_receiver): Call
2614         arm_load_pic_register.
2615
2616 2004-08-11  Paul Brook  <paul@codesourcery.com>
2617
2618         * arm.c (thumb_force_lr_save): Add prototype.
2619         (thumb_compute_save_reg_mask): New function.
2620         (thumb_find_work_register): New function.
2621         (arm_get_frame_offsets): Use thumb_compute_save_reg_mask.
2622         (thumb_unexpanded_epilogue): Ditto.  Remove redundant code.
2623         Don't clobber r3 when removing pretend args.
2624         (thumb_expand_prologue): Use thumb_compute_save_reg_mask.
2625         (thumb_output_function_prologue): Use new functions.
2626         (thumb_set_return_address): Use thumb_compute_save_reg_mask.
2627         * arm.h (THUMB_REG_PUSHED_P): Remove.
2628
2629 2004-08-11  James E Wilson  <wilson@specifixinc.com>
2630
2631         PR rtl-optimization/16490
2632         * cfgrtl.c (cfg_layout_split_edge): Set global_live_at_start and
2633         global_live_at_end for new basic block if already set for other blocks.
2634
2635 2004-08-11 David Edelsohn  <edelsohn@gnu.org>
2636
2637         * config/rs6000/rs6000.h (MAX_FIXED_MODE_SIZE): Define.
2638
2639         * config/rs6000/rs6000.md (mfcr rlwinm patterns): Set length to 8.
2640         (mfcr rlwinm rlwinm patterns): Set length to 12.
2641
2642 2004-08-11  Andrew MacLeod  <amacleod@redhat.com>
2643
2644         * tree-flow-inline.h (get_def_ops, get_use_ops, get_v_may_def_ops,
2645         get_vuse_ops,get_v_must_def_ops): Add operand structure reference.
2646         (get_v_may_def_result_ptr, get_v_may_def_op_ptr): New access struct.
2647         (start_ssa_stmt_operands): Delete.
2648         * tree-flow.h (struct stmt_ann_d): Replace operand vectors with new
2649         struct stmt_operands_d.
2650         (build_ssa_operands): New extern entry point.
2651         * tree-ssa-dom.c (record_equivalences_from_stmt): Remove operand
2652         building code, replace with create_ssa_artficial_load_stmt().
2653         * tree-ssa-operands.c (struct voperands_d): Delete.
2654         (allocate_v_may_def_optype): Allocate v_may_def_operand_type_t vector.
2655         (allocate_v_must_def_optype): Use sizeof (tree), not sizeof (tree *).
2656         (free_uses, free_defs, free_vuses, free_v_may_defs,
2657         free_v_must_defs): Remove dealloc parameter.
2658         (remove_vuses, remove_v_may_def, remove_v_must_defs): Delete.
2659         (finalize_ssa_defs, finalize_ssa_uses, finalize_ssa_v_may_defs,
2660         finalize_ssa_vuses, finalize_ssa_v_must_defs): Perform all operand
2661         vector comparisons, ssa_name reuse, and allocations here.
2662         (verify_start_operands): Delete.
2663         (finalize_ssa_stmt_operands): Set new operands by calling finalize
2664         routines.
2665         (start_ssa_stmt_operands): Move from tree-flow-inline.h.
2666         (append_def, append_usei): Simplify to simple accumulation.
2667         (append_v_may_def, append_vuse, append_v_must_def): Simplify to avoiding
2668         duplicates and simple accumulation.
2669         (free_ssa_operands): Free vectors in a stmt_operand structure.
2670         (build_ssa_operands): New. Create a new stmt_operand structure from
2671         a stmt and an old set of stmt_operands.
2672         (get_stmt_operands): Simplify and call build_ssa_operands.
2673         (get_expr_operands, get_asm_expr_operands, get_indirect_ref_operands,
2674         get_call_expr_operands, add_stmt_operand, add_call_clobber_ops,
2675         add_call_read_ops): Don't pass prev_vops around anymore.
2676         (note_addressable): Return if no stmt annotation.
2677         (copy_virtual_operands): Access v_may_def operands through a struct.
2678         (create_ssa_artficial_load_stmt): New.  Create a load stmt for DOM's
2679         hash tables without treating the stmt as a real stmt.
2680         * tree-ssa-operands.h (struct v_may_def_operand_type): New.  Access
2681         v_may_def def and use through a struct instead of 2 array elements.
2682         (struct v_may_def_optype_d): Use v_may_def_operand_type.
2683         (struct stmt_operands_d): New.  Struct for storing all operand vectors.
2684
2685 2004-08-11  Nick Clifton  <nickc@redhat.com>
2686
2687         * config/arm/arm.c (arm_is_longcall_p): Update comment describing
2688         this funciton's behaviour.  Return true when the current function
2689         has a section attribute and -mlong-calls is in effect.
2690         * config/arm/arm.h (ARM_DECLARE_FUNCTION_SIZE): Do not set the
2691         short-call marker when -mlong-calls is in effect and the function
2692         has a section attribute.
2693
2694 2004-08-10  Zack Weinberg  <zack@codesourcery.com>
2695
2696         * stmt.c (expand_return): If asked to return the RESULT_DECL,
2697         just call expand_value_return on result_rtl.
2698
2699 2004-08-10  Richard Henderson  <rth@redhat.com>
2700
2701         * builtins.def (BUILT_IN_STACK_ALLOC): Remove.
2702         * builtins.c (expand_builtin) <BUILT_IN_STACK_ALLOC>: Remove.
2703         * dwarf2out.c (loc_descriptor): Handle PARALLEL here ...
2704         (add_location_or_const_value_attribute): ... not here.  Use
2705         loc_descriptor_from_tree if possible.
2706         (loc_descriptor_from_tree_1): Rename from loc_descriptor_from_tree.
2707         Simplify address handling.  Handle DECL_VALUE_EXPR.  Handle register
2708         values specially.
2709         (loc_descriptor_from_tree): New.  Update callers.
2710         * expr.c (expand_var): Ignore DECL_VALUE_EXPR variables.
2711         * gimplify.c (gimplify_decl_expr): Lower variable sized types to
2712         pointer plus dereference.  Set DECL_VALUE_EXPR.  Set save_stack.
2713         (gimplify_call_expr): Do not recognize BUILT_IN_STACK_ALLOC
2714         and BUILT_IN_STACK_RESTORE.
2715         (gimplify_expr): Lower DECL_VALUE_EXPR decls.
2716         * stmt.c (expand_stack_alloc): Remove.
2717         * tree-mudflap.c (mx_register_decls): Don't look for
2718         BUILT_IN_STACK_ALLOC.
2719         * tree-nested.c (convert_local_reference): Likewise.
2720         * tree.h (DECL_VALUE_EXPR): New.
2721
2722 2004-08-10  Richard Henderson  <rth@redhat.com>
2723
2724         * stor-layout.c (round_up): Check for 0/1 before dividing.
2725         (round_down): Likewise.
2726
2727         * tree-tailcall.c (suitable_for_tail_opt_p): Also check DECL_EXTERNAL.
2728
2729 2004-08-09  Mark Mitchell  <mark@codesourcery.com>
2730
2731         * config.gcc (arm*-*-eabi*): New target.
2732         * defaults.h (TARGET_LIBGCC_FUNCS): New macro.
2733         (TARGET_LIB_INT_CMP_BIASED): Likewise.
2734         * expmed.c (expand_divmod): Try a two-valued divmod function as a
2735         last resort.
2736         * gthr.h: Remove bogus tokens at end of #pragma.
2737         * optabs.c (expand_twoval_binop_libfunc): New function.
2738         (prepare_cmp_insn): Handle the !TARGET_LIB_INT_CMP_BIASED case.
2739         (prepare_float_lib_cmp): Try reversing the condition.
2740         (debug_optab_libfuncs): New function.
2741         * optabs.h (expand_twoval_binop_libfunc): Declare.
2742         * config/arm/arm.c (arm_init_libfuncs): New function.
2743         (arm_compute_initial_eliminatino_offset): Return HOST_WIDE_INT.
2744         (TARGET_INIT_LIBFUNCS): Define it.
2745         * config/arm/arm.h (TARGET_BPABI): New macro.
2746         * config/arm/arm-protos.h
2747         (arm_compute_initial_elimination_offset): Return HOST_WIDE_INT.
2748         * config/arm/bpabi.S: New file.
2749         * config/arm/bpabi.c: Likewise.
2750         * config/arm/bpabi.h: Likewise.
2751         * config/arm/ieee754-df.S (__aeabi_dneg): New function or alias.
2752         (__aeabi_drsub): Likewise.
2753         (__aeabi_dsub): Likewise.
2754         (__aeabi_dadd): Likewise.
2755         (__aeabi_ui2d): Likewise.
2756         (__aeabi_i2d): Likewise.
2757         (__aeabi_f2d): Likewise.
2758         (__aeabi_dmul): Likewise.
2759         (__aeabi_ddiv): Likewise.
2760         (__aeabi_cdrcmple): Likewise.
2761         (__aeabi_cdcmpeq): Likewise.
2762         (__aeabi_cdcmple): Likewise.
2763         (__aeabi_dcmpeq): Likewise.
2764         (__aeabi_dcmplt): Likewise.
2765         (__aeabi_dcmple): Likewise.
2766         (__aeabi_dcmpge): Likewise.
2767         (__aeabi_dcmpgt): Likewise.
2768         (__aeabi_dcmpun): Likewise.
2769         (__aeabi_d2iz): Likewise.
2770         (__aeabi_d2uiz): Likewise.
2771         (__aeabi_d2f): Likewise.
2772         * config/arm/ieee754-sf.S (__aeabi_fneg): New function or alias.
2773         (__aeabi_frsub): Likewise.
2774         (__aeabi_fsub): Likewise.
2775         (__aeabi_fadd): Likewise.
2776         (__aeabi_ui2f): Likewise.
2777         (__aeabi_i2f): Likewise.
2778         (__aeabi_fmul): Likewise.
2779         (__aeabi_fdiv): Likewise.
2780         (__aeabi_cfrcmple): Likewise.
2781         (__aeabi_cfcmpeq): Likewise.
2782         (__aeabi_cfcmple): Likewise.
2783         (__aeabi_fcmpeq): Likewise.
2784         (__aeabi_fcmplt): Likewise.
2785         (__aeabi_fcmple): Likewise.
2786         (__aeabi_fcmpge): Likewise.
2787         (__aeabi_fcmpgt): Likewise.
2788         (__aeabi_fcmpun): Likewise.
2789         (__aeabi_f2iz): Likewise.
2790         (__aeabi_f2uiz): Likewise.
2791         * config/arm/lib1funcs.asm (ARM_CALL): New macro.
2792         (__aeabi_uidivmod): New function or alias.
2793         (__aeabi_idivmod): Likewise.
2794         (__aeabi_idiv0): Likewise.
2795         (__aeabi_ldiv0): Likewise.
2796         (__aeabi_llsr): Likewise.
2797         (__aeabi_lasr): Likewise.
2798         (__aeabi_llsl): Likewise.
2799         (bpabi.S): Include it.
2800         * config/arm/libgcc-bpabi.ver: New file.
2801         * config/arm/symbian.h (ARM_DEFAULT_ABI): Remove.
2802         (LINK_SPEC): Remove.
2803         * config/arm/t-arm-elf (LIB1ASMFUNCS): Add __aeabi_lcmp and
2804         __aeabi_ulcmp.
2805         * config/arm/t-bpabi: New file.
2806         * doc/tm.texi (TARGET_LIBGCC_FUNCS): New entry.
2807         (TARGET_LIB_INT_CMP_BIASED): Likewise.
2808
2809 2004-08-10  David Edelsohn  <edelsohn@gnu.org>
2810
2811         * config/rs6000/rs6000-protos.h (expand_block_clear): Declare.
2812         * config/rs6000/rs6000.md (clrmemsi): New pattern.
2813         * config/rs6000/rs6000.c (expand_block_clear): New function.
2814         (expand_block_move): Convert alignment to bits.  Use SImode and
2815         HImode for unaligned addresses if not STRICT_ALIGNMENT.
2816
2817 2004-08-10  Caroline Tice  <ctice@apple.com>
2818
2819         * varasm.c (unlikely_section_label): New global variable.
2820         (unlikely_text_section_name): New global variable.
2821         (text_section):  Remove alignment statement.
2822         (unlikely_text_section): Remove alignment statement; use
2823         unlikely_section_label rather than hard-coded string.
2824         (assemble_start_function): Initialize unlikely_section_label and
2825         unlikely_text_section_name;  make sure cold section is properly
2826         aligned at start of function; output unlikely_section_label if
2827         appropriate.
2828
2829 2004-08-10  Ulrich Weigand  <uweigand@de.ibm.com>
2830
2831         * config/s390/s390-protos.h (s390_canonicalize_comparison): Declare.
2832         * config/s390/s390.c (s390_canonicalize_comparison): New function.
2833         * config/s390/s390.h (CANONICALIZE_COMPARISON): Define.
2834         * config/s390/s390.md ("*tmdi_ext", "*tmsi_ext", "*tmqisi_ext",
2835         "*tmqidi_ext", "*tmdi_mem", "*tmsi_mem", "*tmhi_mem"): Remove.
2836         ("*tmqi_mem"): Remove SUBREG from pattern.
2837         ("*anddi3_cconly"): Prevent accidentally matching TM pattern.
2838         ("*andsi3_cconly"): Likewise.
2839
2840 2004-08-10  H.J. Lu  <hongjiu.lu@intel.com>
2841
2842         PR target/16909
2843         * config/i386/i386.md (*strsetdi_rex_1): Use DI instead of SI.
2844
2845 2004-08-10  Janis Johnson  <janis187@us.ibm.com>
2846
2847         * doc/sourcebuild.texi (compat testing): Document available test
2848         framework commands.  Use the preferred spelling of DejaGnu.
2849
2850 2004-08-10  Daniel Berlin <dberlin@dberlin.org>
2851
2852         * lambda.h: Add matrix type, and prototypes for remainder of
2853         matrix and vector functions.
2854         (lambda_vector_mult_const): New function.
2855         (lambda_vector_negate): Ditto.
2856         (lambda_vector_add): Ditto.
2857         (lambda_vector_add_mc): Ditto.
2858         (lambda_vector_copy): Ditto.
2859         (lambda_vector_zerop): Ditto.
2860         (lambda_vector_equal): Ditto.
2861         (lambda_vector_min_nz): Ditto.
2862         (lambda_vector_first_nz): Ditto.
2863         (lambda_vector_matrix_mult): Ditto.
2864         * lambda-mat.c: New file.
2865         * Makefile.in (lambda-mat.o): New.
2866
2867 2004-08-10  Andrew MacLeod  <amacleod@redhat.com>
2868
2869         * tree-cfg.c (bsi_insert_before, bsi_insert_after): Call modify_stmt
2870         after linking stmt into the program.
2871         (bsi_remove): Don't call modify_stmt.
2872         * tree-complex.c (update_complex_assignment,
2873         expand_complex_comparison): Call modify_stmt after changing the stmt.
2874         * tree-outof-ssa.c (rewrite_trees): Call modify_stmt only if not
2875         removing the stmt.
2876         * tree-ssa-ccp.c (substitute_and_fold): Call modify_stmt after changing
2877         the stmt, and only if needed.
2878         * tree-ssa-dom.c (thread_across_edge): Pass no annotation for a dummy
2879         expression.
2880         (simplify_rhs_and_lookup_avail_expr): Don't take an annotation param.
2881         (simplify_cond_and_lookup_avail_expr): Use modify_stmt.
2882         (simplify_switch_and_lookup_avail_expr): Don't take an annotation param.
2883         (eliminate_redundant_computations): Don't pass an annotation. Call
2884         modify_stmt rather than setting the annotation directly.
2885         (record_equivalences_from_stmt): Remove unused local 'j'.
2886         (cprop_operand): Take a stmt rather than an annotation as a parameter.
2887         Call modify_stmt.
2888         (cprop_into_stmt): Pass stmt rather than annotation.
2889         (update_rhs_and_lookup_avail_expr): Call modify_stmt.
2890         * tree-ssa-loop-im.c (schedule_sm): Call get_stmt_ann rather than
2891         modify_stmt.
2892         * tree-ssa.c (propagate_into_addr): Dont call modify_stmt.
2893
2894 2004-08-10  Jason Merrill  <jason@redhat.com>
2895
2896         PR middle-end/16948
2897         * function.c (expand_function_start): Handle DECL_BY_REFERENCE on
2898         the RESULT_DECL.
2899
2900 2004-08-10  Geoffrey Keating  <geoffk@apple.com>
2901
2902         * tree-vn.c (val_expr_pair_expr_eq): Compare vuses, to match the
2903         hash function.
2904
2905 2004-08-10  Roger Sayle  <roger@eyesopen.com>
2906
2907         * config/mips/mips.md: New reciprocal square root patterns that
2908         match sqrt(1.0/x) in addition to the existing 1.0/sqrt(x) insns.
2909
2910 2004-08-10  Paul Brook  <paul@codesourcery.com>
2911
2912         * config/arm/arm-protos.h (arm_set_return_address,
2913         thumb_set_return_address): Add prototypes.
2914         * config/arm/arm.h (ARM_FT_EXCEPTION_HANDLER): Remove.
2915         * config/arm/arm.c (arm_compute_func_type,
2916         use_return_insn, arm_compute_save_reg0_reg12_mask,
2917         arm_compute_save_reg_mask, arm_output_function_prologue,
2918         arm_output_epilogue): Replace ARM_FT_EXCEPTION_HANDLER with
2919         current_function_calls_eh_return.
2920         (thumb_exit, thumb_pushpop, thumb_unexpanded_epilogue): Replace
2921         old eh code.
2922         (arm_set_return_address, thumb_set_return_address): New functions.
2923         * config/arm/arm.h (MUST_USE_SJLJ_EXCEPTIONS, DWARF2_UNWIND_INFO,
2924         ARM_EH_STACKADJ_REGNUM, EH_RETURN_STACKADJ_RTX): Define.
2925         * config/arm/arm.md (VUNSPEC_EH_RETURN): Add.
2926         (epilogue): Use the stackadj register.
2927         (eh_return, arm_eh_return, thumb_eh_return): New pattern.
2928
2929 2004-08-10  Jakub Jelinek  <jakub@redhat.com>
2930
2931         PR target/3144
2932         * expr.c (move_by_pieces_ninsns): Add max_size argument.
2933         (MOVE_BY_PIECES_P): Pass MOVE_MAX_PIECES + 1 to it.
2934         (CLEAR_BY_PIECES_P): Pass STORE_MAX_PIECES + 1 to it.
2935         (STORE_BY_PIECES_P): Define similarly to CLEAR_BY_PIECES_P,
2936         but using MOVE_RATIO.
2937         (move_by_pieces): Pass max_size to move_by_pieces_ninsns.
2938         (can_store_by_pieces): Change max_size type to unsigned int.
2939         (store_by_pieces_1): Likewise.  Pass max_size to
2940         move_by_pieces_ninsns.
2941         * config/s390/s390.h (STORE_BY_PIECES_P): Define.
2942         * config/sh/sh.c (MOVE_BY_PIECES_P): Pass MOVE_MAX_PIECES + 1
2943         to move_by_pieces_ninsns.
2944         (STORE_BY_PIECES_P): Define.
2945         * config/ns32k/ns32k.h (STORE_BY_PIECES_P): Pass STORE_MAX_PIECES + 1
2946         to move_by_pieces_ninsns.
2947         * doc/tm.texi (STORE_BY_PIECES_P): Document changed default.
2948
2949         * config/i386/i386.h (CLEAR_RATIO): Define.
2950
2951 2004-08-09  Paolo Bonzini  <bonzini@gnu.org>
2952
2953         * expr.c (expand_expr_real_1): Add back code that was not dead.
2954
2955 2004-08-09  Andrew Pinski  <apinski@apple.com>
2956
2957         * c-common.c (c_common_get_alias_set): Set the aliasing set of the type
2958         which is found to be compatible before returning the aliasing set.
2959
2960 2004-08-09  Daniel Jacobowitz  <dan@debian.org>
2961
2962         * ggc-zone.c (struct alloc_zone): Add statistics counters.
2963         (always_collect): New flag.
2964         (ggc_alloc_zone_1): Update statistics support.  Don't include
2965         overhead in allocated counter.
2966         (sweep_pages): Update allocated counter for large pages.  Don'y
2967         include overhead.
2968         (ggc_collect_1): Always collect.
2969         (ggc_collect): Honor always_collect flag.  Sum all zones to decide
2970         whether to collect.
2971         (SCALE, LABEL): New macros.
2972         (ggc_print_statistics): Add statistics support.
2973
2974 2004-08-09  Roger Sayle  <roger@eyesopen.com>
2975
2976         * expmed.c (sdiv_pow2_cheap, smod_pow2_cheap): Change type to bool.
2977         (init_expmed): Fix potential overrun problem with "all.reg".
2978         (expand_sdiv2_pow2): Add an alternate implementation for signed
2979         division, if the target provides a suitable conditional move insn.
2980
2981 2004-08-09  Paul Brook  <paul@codesourcery.com>
2982         Richard Henderson  <rth@redhat.com>
2983
2984         * unwind-dw2.c (uw_install_context_1): Update target saved stack
2985         pointer.
2986
2987 2004-08-09  Geoffrey Keating  <geoffk@apple.com>
2988
2989         * ggc-common.c (ggc_rlimit_bound): Don't check RSS limit.
2990         Check DATA limit only if there's no AS limit.  Ignore insanely
2991         low DATA limits.
2992         (ggc_min_heapsize_heuristic): Don't divide AS or RSS limits by 8,
2993         but take care that the AS limit isn't overrun.
2994         * doc/invoke.texi: Update documentation of min-heapsize parameter.
2995
2996 2004-08-09  Jeff Law  <law@redhat.com>
2997
2998         * Makefile.in (OBJC-common): Add tree-ssa-threadupdate.c
2999         (tree-ssa-threadupdate.o): Add dependencies.
3000         * tree-ssa-threadupdate.c: New file.
3001         * tree-flow.h (incoming_edge_threaded): New flag in block annotation.
3002         (rewrite_vars_out_of_ssa): Remove prototype.
3003         (cleanup_tree_cfg): Returns a bool.
3004         * tree.h (thread_through_all_blocks): Prototype.
3005         * tree-outof-ssa.c  (SSANORM_*): Move into here.
3006         (remove_ssa_form): Now static.
3007         (rewrite_vars_out_of_ssa): Kill.
3008         * tree-ssa-live.c (register_ssa_partitions_for_vars): Kill.
3009         * tree-ssa-live.h (SSANORM_*): Moved into tree-outof-ssa.c.
3010         (remove_ssa_form, register_partitions_for_vars): Kill declarations.
3011         * tree-cfg.c (cleanup_tree_cfg): Return a value indicating if
3012         anything was changed.
3013         * tree-phinodes.c (add_phi_arg): Get the block for the PHI
3014         from the PHI's annotation rather than the edge associated with
3015         the new argument.
3016         * tree-ssa-dom.c (redirection_edges): Kill.
3017         (redirect_edges_and_update_ssa_graph): Kill.
3018         (tree_ssa_dominator_optimize): Do not reset forwardable flag
3019         for blocks anymore.  Do not initialize redirection_edges.
3020         Call thread_through_all_blocks.  Simplify code for cleanup
3021         of the CFG and iterating.  No longer call cleanup_tree_cfg
3022         outside the iteration loop.
3023         (thread_across_edge): No longer mess with forwardable blocks.
3024
3025 2004-08-09  Zack Weinberg  <zack@codesourcery.com>
3026
3027         * explow.c (memory_address): Use memory_address_p.
3028         * recog.c (general_operand): Likewise.
3029         * regrename.c: No need to define REG_OK_STRICT.
3030
3031 2004-08-09  Steven Bosscher  <stevenb@suse.de>
3032
3033         * timevar.def (TV_CPROP1, TV_CPROP2, TV_PRE, TV_HOIST, TV_LSM):
3034         New timers.
3035         * gcse.c: Include timevar.h.
3036         (const_prop_count, copy_prop_count): Rename to global_const_prop_count
3037         and global_copy_prop_count.
3038         (local_const_prop_count, local_copy_prop_count): New static globals.
3039         (gcse_main): Set the right timevar for each pass.
3040         (cprop_jump): Increment global_const_prop_count when a constant is
3041         propagated.  Add "GLOBAL" to dump output.
3042         (cprop_insn): Increment global_const_prop_count when a constant is
3043         propagated, or global_copy_prop_count when a copy is propagated.
3044         (do_local_cprop): Likewise for local_const_prop_count and
3045         local_copy_prop_count.
3046         (one_cprop_pass): Initialize const/cprop counters to zero.
3047         Print out results of local and global const/cprop separately.
3048         (bypass_block): Break over-length line.
3049         * Makefile.in (gcse.o): Add TIMEVAR_H dependency.  Fix dependencies
3050         for bb-reorder.o and tracer.o.
3051
3052 2004-08-09  Paolo Bonzini  <bonzini@gnu.org>
3053
3054         * Makefile.in (GTFILES): Remove stmt.c
3055         (stmt.o): Do not depend on gt-stmt.h.
3056         * emit-rtl.c (emit_line_note): Do not call
3057         set_file_and_line_for_stmt.
3058         * expr.c (expand_expr_real_1) <SWITCH_EXPR>: Let expand_case
3059         do everything.
3060         * function.c (free_after_parsing): Do not free STMT field.
3061         (allocate_struct_function): Do not call init_stmt_for_function.
3062         (assign_stack_temp_for_type): Do not accept values of keep
3063         other than 0 or 1.
3064         (init_temp_slots): Do not initialize removed variables.
3065         * function.h (struct function): Remove STMT, X_TARGET_TEMP_SLOT_LEVEL
3066         and X_VAR_TEMP_SLOT_LEVEL fields.
3067         * rtl.h (set_file_and_line_for_stmt): Remove.
3068         * stmt.c (struct nesting, ALLOC_NESTING, POPSTACK,
3069         struct stmt_status, cond_stack, case_stack, nesting_stack,
3070         nesting_depth, emit_locus, set_file_and_line_for_stmt,
3071         same_case_target_p, init_stmt_for_function, emit_nop,
3072         expand_start_cond, expand_start_elseif, expand_start_else,
3073         expand_elseif, expand_end_cond): Remove.
3074         (preserve_subexpressions_p): Remove references to CFUN->STMT.
3075         (expand_start_case, expand_end_case_type): Remove, merge into...
3076         (expand_case): ... this one, including other bits from
3077         expand_expr_real_1.  Inline same_case_target_p.  Turn members
3078         of CASE_STACK into local variables.
3079         (emit_case_bit_tests): Inline same_case_target_p.
3080         (add_case_node): Add HEAD argument, return new head of the list,
3081         do not handle default label here.
3082         * tree.h (expand_start_cond, expand_end_cond, expand_start_else,
3083         expand_start_elseif, current_nesting_level, expand_start_case,
3084         expand_end_case_type, expand_end_case, add_case_node,
3085         init_stmt_for_function, expand_elseif): Remove prototypes.
3086         (expand_case): Add prototype.
3087
3088 2004-08-09  Paolo Bonzini  <bonzini@gnu.org>
3089
3090         * expr.c (expand_expr_real_1): Use optab_for_tree_code.
3091
3092 2004-08-09  Paolo Bonzini  <bonzini@gnu.org>
3093
3094         * expr.c (var_rtx): Remove.
3095         (expand_expr_real_1) <LOOP_EXPR, EXIT_EXPR,
3096         LABELED_BLOCK_EXPR, EXIT_BLOCK_EXPR, TRUTH_ANDIF_EXPR,
3097         TRUTH_ORIF_EXPR, COMPOUND_EXPR, CONJ_EXPR, INIT_EXPR>:
3098         Abort.
3099         (expand_expr_real_1) <COND_EXPR>: Remove most special cases.
3100         * optabs.c (emit_clr_insn, emit_0_to_1_insn): Remove.
3101         * optabs.h (emit_clr_insn, emit_0_to_1_insn): Remove.
3102
3103 2004-08-08  Mostafa Hagog  <mustafa@il.ibm.com>
3104         Ayal Zaks <zaks@il.ibm.com>
3105
3106         * common.opt (freschedule-modulo-scheduled-loops): New flag.
3107         * final.c (final_scan_insn): Handle NOTE_DISABLE_SCHED_OF_BLOCK.
3108         * modulo-sched.c (sms_schedule): Emit a note to disable scheduling
3109         when -freschedule-modulo-scheduled-loops flag is not specified.
3110         (sms_schedule_by_order, ps_insn_advance_column, add_node_to_ps,
3111         add_node_to_ps, ps_has_conflicts, ps_add_node_check_conflicts):
3112         More accurate placing of insn in row of partial schedule.
3113         (ps_insn_find_column): New function.
3114         * rtl.h (NOTE_DISABLE_SCHED_OF_BLOCK): New note.
3115         * sched-rgn.c (sched_is_disabled_for_current_region_p): New.
3116         (schedule_region): Use sched_is_disabled_for_current_region_p.
3117         * docs/invoke.texi: Document -freschedule-modulo-scheduled-loops.
3118
3119 2004-08-07  H.J. Lu  <hongjiu.lu@intel.com>
3120
3121         * config/i386/i386.c (ix86_expand_clrmem): Revert the last
3122         change.
3123
3124 2004-08-07  H.J. Lu  <hongjiu.lu@intel.com>
3125
3126         * config/i386/i386.c (ix86_expand_clrmem): Properly call
3127         gen_strset for 64bit target.
3128
3129 2004-08-07  Olivier Hainque  <hainque@act-europe.fr>
3130
3131         * config/vxworks.h (HANDLE_SYSV_PRAGMA): Remove definition.
3132
3133 2004-08-07  Jason Merrill  <jason@redhat.com>
3134
3135         Make return in memory explicit.
3136         * function.c (aggregate_value_p): Check DECL_BY_REFERENCE.
3137         (assign_parm_find_data_types): Remove code for old front end
3138         invisible reference handling.
3139         (assign_parms): Handle DECL_BY_REFERENCE on the RESULT_DECL.
3140         (expand_function_end): Likewise.
3141         * gimplify.c (gimplify_return_expr): Handle a dereferenced
3142         RESULT_DECL.
3143         * tree-inline.c (copy_body_r): Don't bother looking for &* anymore.
3144         (declare_return_variable): Handle DECL_BY_REFERENCE.
3145         * cp/cp-gimplify.c (is_invisiref_parm): Also handle RESULT_DECL.
3146         (cp_genericize_r): Use convert_from_reference.
3147         Don't dereference a RESULT_DECL directly inside a RETURN_EXPR.
3148         (cp_genericize): Handle the RESULT_DECL.  Unset TREE_ADDRESSABLE.
3149
3150         * c-common.c (c_warn_unused_result): Check TREE_USED before
3151         warning about a CALL_EXPR with an unused value.
3152
3153 2004-08-06  Mark Mitchell  <mark@codesourcery.com>
3154
3155         * config/arm/symbian.h (CC1_SPEC): Avoid passing duplicate options
3156         to the compiler.  Use -fshort-wchar by default.
3157
3158 2004-08-06  Pat Haugen  <pthaugen@us.ibm.com>
3159
3160         * params.def (PARAM_MIN_CROSSJUMP_INSNS): New.
3161         * cfgcleanup.c (try_crossjump_to_edge): Add minimum insn match
3162         threshhold.
3163         * doc/invoke.texi (param): Document min-crossjump-insns.
3164
3165 2004-08-06  Richard Sandiford  <rsandifo@redhat.com>
3166
3167         PR c/13282
3168         * c.opt (Wmissing-field-initializers): New option.
3169         * c-opts.c (c_common_post_options): Make -Wextra turn it on by default.
3170         * c-typeck.c (pop_init_level): Guard the missing field warning with
3171         warn_missing_field_initializers rather than extra_warnings.
3172         * doc/invoke.texi (-Wmissing-field-initializers): Document, moving
3173         some of the explanation from...
3174         (-Wextra): ...here.  Say that the missing field warning can be
3175         seperately controlled by -Wmissing-field-initializers.
3176
3177 2004-08-06  Paolo Bonzini  <bonzini@gnu.org>
3178
3179         * expr.c (expand_expr_real_1) <ENTRY_VALUE_EXPR>: Remove.
3180         * tree-inline.c (estimate_num_insns_1) <ENTRY_VALUE_EXPR>: Remove.
3181         * tree-pretty-print.c (dump_generic_node) <ENTRY_VALUE_EXPR>: Remove.
3182         * tree.def (ENTRY_VALUE_EXPR): Remove.
3183
3184 2004-08-06  Jakub Jelinek  <jakub@redhat.com>
3185
3186         * config/i386/i386.c (ix86_expand_clrmem): Move gen_cld down to
3187         the places where it is actually needed.  Don't use repz; stosb
3188         for -Os with sufficiently small constant sizes.
3189         For sufficiently small repz; stos{l,q} repeat counts use a sequence
3190         of stos{l,q} instructions instead.
3191
3192 2004-08-06  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
3193
3194         PR tree-optimization/16807
3195         * loop-iv.c (dump_iv_info): Dump invariants correctly.
3196         (iv_subreg, iv_extend): Express value of invariant purely in
3197         base field.
3198
3199 2004-08-06  Mark Mitchell  <mark@codesourcery.com>
3200
3201         * config/arm/symbian.h (CC1_SPEC): Add -fno-short-enums.
3202         (CC1PLUS_SPEC): Define it to be the same as CC1_SPEC.
3203
3204 2004-08-06  Roman Zippel  <zippel@linux-m68k.org>
3205
3206         * config/m68k/m68k.c (post_inc_operand,pre_dec_operand): New.
3207         * config/m68k/m68k.h (PREDICATE_CODES): add post_inc_operand,
3208         pre_dec_operand.
3209         * config/m68k/m68k.md (zero_extend*2): delay the splitting of the
3210         pattern until reload is finished to allow better code generation
3211         and split them completely into separate instrunctions.
3212         (*andsi3_split): New pattern.
3213
3214 2004-08-05  Mark Mitchell  <mark@codesourcery.com>
3215
3216         * tree.c (handle_dll_attribute): Move here from i383/winnt.c.
3217         Replace use of DECL_INLINE with DECL_DECLARED_INLINE_P.  Set
3218         DECL_VISIBLITY.  Test TARGET_DLLIMPORT_DECL_ATTRIBUTES with #if.
3219         * tree.h (handle_dll_attribute): Declare.  Test
3220         TARGET_DLLIMPORT_DECL_ATTRIBUTES with #if.
3221         * c-common.h (c_determine_visibility): Declare.
3222         * c-common.c (c_determine_visibility): New function.
3223         * c-decl.c (finish_decl): Use it.
3224         (finish_function): Likewise.
3225         * defaults.h (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Define it to
3226         zero, by default.  Use #if, not #ifdef, to test it.
3227         * config/arm/arm.c (arm_attribute_table): Use
3228         handle_dll_attribute.  Test TARGET_DLLIMPORT_DECL_ATTRIBUTES with
3229         #if.
3230         * config/arm/pe.h (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Define to 1.
3231         * config/i386/cygming.h (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Define
3232         to 1.
3233         * config/i386/i386-protos.h (ix86_handle_dll_attribute): Remove.
3234         * config/i386/i386.c (ix86_attribute_table): Use
3235         handle_dll_attribute for dllimport/dllexport.  Test
3236         TARGET_DLLIMPORT_DECL_ATTRIBUTES with #if.
3237         * config/i386/winnt.c (ix86_handle_dll_attribute): Remove.
3238         * config/mcore/mcore.h (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Define
3239         it to 1.
3240         * config/mcore/mcore.c (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Test it
3241         with #if.
3242         * config/sh/symbian-pre.h (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Define
3243         it to 1.
3244         * doc/extend.texi (dllexport): Clarify and correct documentation.
3245         (dllimport): Likewise.
3246         * doc/tm.texi (TARGET_DLLIMPORT_DECL_ATTRIBUTES): Mention
3247         handle_dll_attribute.
3248
3249 2004-08-05  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
3250
3251         * tree-ssa-loop-manip.c: New file.
3252         * Makefile.in (tree-ssa-loop-manip.o): Add.
3253         * tree-flow.h (rewrite_into_loop_closed_ssa, verify_loop_closed_ssa):
3254         Declare.
3255         * tree-ssa-loop.c (tree_loop_optimizer_init): Create loop closed ssa
3256         form.
3257         (tree_ssa_loop_done): Verify loop closed ssa form.
3258         * tree-ssa-loop-im.c (move_computations): Update loop closed ssa form.
3259
3260 2004-08-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3261
3262         * pa.c (pa_asm_output_aligned_bss, pa_asm_output_aligned_common,
3263         pa_asm_output_aligned_local): New functions.
3264         * pa-protos.h: Add prototypes for pa_asm_output_aligned_bss,
3265         pa_asm_output_aligned_common and pa_asm_output_aligned_local.
3266         * pa-pro-end.h (ASM_OUTPUT_ALIGNED_COMMON): Use
3267         pa_asm_output_aligned_common.
3268         (ASM_OUTPUT_ALIGNED_LOCAL): Use pa_asm_output_aligned_local.
3269         * pa.h (ASM_OUTPUT_ALIGNED_BSS): New macro.
3270         (ASM_OUTPUT_ALIGNED_COMMON): Use pa_asm_output_aligned_common.
3271         (ASM_OUTPUT_ALIGNED_LOCAL): Use pa_asm_output_aligned_local.
3272         * pa64-hpux.h (MAX_OFILE_ALIGNMENT): New macro.
3273         (ASM_OUTPUT_ALIGNED_COMMON): Use pa_asm_output_aligned_common.
3274         (ASM_OUTPUT_ALIGNED_LOCAL): Use pa_asm_output_aligned_local.
3275         * som.h (MAX_OFILE_ALIGNMENT): Provide maximum alignment of global
3276         common data.
3277
3278 2004-08-05  Andrew Pinski  <apinski@apple.com>
3279
3280         * objc/objc-act.c (build_objc_string_object): Mark the address
3281         expression as constant.
3282
3283 2004-08-05  David Edelsohn  <edelsohn@gnu.org>
3284
3285         * config/rs6000/rs6000.c (rs6000_rtx_costs): Fix mask_operand
3286         and mask64_operand thinkos.  Handle ZERO_EXTRACT.  Handle
3287         SIGN_EXTEND / ZERO_EXTEND of MEM.  Handle rlwinm patterns.
3288
3289 2004-08-05  Joseph S. Myers  <jsm@polyomino.org.uk>
3290
3291         * config/linux.h, config/i386/linux.h, config/sparc/linux.h:
3292         Remove definitions conditioned on USE_GNULIBC_1 or conditioned
3293         out, and associated obsolete comments.
3294
3295 2004-08-05  Nathan Sidwell  <nathan@codesourcery.com>
3296
3297         * tree.h (force_fit_type): Return a tree, take three flags.
3298         * fold-const.c (force_fit_type): Set TREE_OVERFLOW and
3299         TREE_CONSTANT_OVERFLOW here.
3300         (int_const_binop, const_binop): Adjust.
3301         (size_int_type): Do sign extension here.
3302         (fold_convert_const, optimize_bit_field_compare,
3303         decode_field_reference, all_ones_mask_p, fold_div_compare, fold,
3304         fold_negate_const, fold_abs_const, fold_not_const): Adjust.
3305         * tree.c (size_in_bytes, int_fits_type_p): Adjust.
3306
3307 2004-08-05  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
3308
3309         PR tree-optimization/16864
3310         * tree-tailcall.c (eliminate_tail_call): Do not create phi nodes
3311         for ssa names without default_def.
3312
3313 2004-08-05  Richard Sandiford  <rsandifo@redhat.com>
3314
3315         * config/i386/i386.c (ix86_expand_prologue): If the function uses a
3316         frame pointer, restore eax with an ebp-relative address.
3317
3318 2004-08-04  Geoffrey Keating  <geoffk@apple.com>
3319
3320         PR 14516
3321         * c-common.c (c_expand_decl): Don't special-case static VAR_DECLs.
3322         * c-common.h (make_rtl_for_local_static): Delete.
3323         * c-decl.c (shadow_tag_warned): Clean up comment.
3324         (finish_decl): Clean up spacing.  Use set_user_assembler_name when
3325         appropriate.  Don't pass asmspec to rest_of_decl_compilation.
3326         * c-semantics.c (make_rtl_for_local_static): Delete.
3327         * expr.c (init_block_move_fn): Use set_user_assembler_name.
3328         (init_block_clear_fn): Likewise.
3329         * passes.c (rest_of_decl_compilation): Remove asmspec parameter,
3330         expect it to be in DECL_ASSEMBLER_NAME.  Update callers in many files.
3331         * toplev.h (rest_of_decl_compilation): Remove asmspec parameter.
3332         * tree.h (make_decl_rtl): Remove second parameter.
3333         (set_user_assembler_name): New.
3334         * varasm.c (set_user_assembler_name): New.
3335         (make_decl_rtl): Remove second parameter.  Update callers in many
3336         files.
3337
3338 2004-08-05  Adam Nemet  <anemet@lnxw.com>
3339
3340         * config.gcc (case i[34567]86-*-lynxos*): Update to LynxOS 4.0.
3341         (case rs6000-*-lynxos*): Rename it to powerpc-*-lynxos*.  Update
3342         to LynxOS 4.0.
3343         * gthr-lynx.h: New file.
3344         * config/lynx-ng.h: Remove file.
3345         * config/lynx.h: Update to LynxOS 4.0.
3346         * config/t-lynx: New file.
3347         * config/i386/lynx-ng.h: Remove file.
3348         * config/i386/lynx.h: Update to LynxOS 4.0.
3349         * config/rs6000/lynxbase.h: Remove file.
3350         * config/rs6000/lynx.h: Update to LynxOS 4.0.
3351         * config/rs6000/t-lynx: New file.
3352         * doc/install.texi (Options specification): Remove reference to
3353         LynxOS from systems where --with-gnu-as makes a difference.
3354
3355 2004-08-05  Joseph S. Myers  <jsm@polyomino.org.uk>
3356
3357         * c-common.c (c_stddef_cpp_builtins): Define __INTMAX_TYPE__ and
3358         __UINTMAX_TYPE__.
3359     &nbs