OSDN Git Service

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