1 2005-03-15 J"orn Rennecke <joern.rennecke@st.com>
3 PR rtl-optimization/20291
4 * combine.c (try_combine): If splitting fails, re-try with
5 original combined pattern, i.e. before clobber stripping.
7 2005-03-14 Eric Christopher <echristo@redhat.com>
9 * config/mips/mips.h (DWARF_CIE_DATA_ALIGNMENT): Change for
12 2005-03-14 Roger Sayle <roger@eyesopen.com>
14 * real.h (struct real_format): Split the signbit field into two
15 two fields, signbit_ro and signbit_rw.
16 * real.c (ieee_single_format, mips_single_format, ieee_double_format,
17 mips_double_format, ieee_extended_motorola_format,
18 ieee_extended_intel_96_format, ieee_extended_intel_96_round_53_format,
19 ieee_extended_intel_128_format, ibm_extended_format,
20 mips_extended_format, ieee_quad_format, mips_quad_format,
21 vax_f_format, vax_d_format, vax_g_format, i370_single_format,
22 i370_double_format, c4x_single_format, c4x_extended_format,
23 real_internal_format): Update initializers for new field.
24 * builtins.c (expand_builtin_signbit): Use signbit_ro field of the
25 real_format structure.
26 * optabs.c (expand_absneg_bit, expand_copysign): Use signbit_rw
27 field of the real_format structure.
29 2005-03-14 Daniel Berlin <dberlin@dberlin.org>
31 Fix PR tree-optimization/20458
33 * tree-flow-inline.h (mark_call_clobbered): Don't fiddle
34 DECL_EXTERNAL on STRUCT_FIELD tags.
35 (clear_call_clobbered): Ditto.
36 * tree-ssa-operands.c (note_addressable): Make sure the original
37 variable doesn't slip into the addressable list if we have
39 * tree-tailcall.c (suitable_for_tail_opt_p): Look at STRUCT_FIELD
42 2005-03-14 Geoffrey Keating <geoffk@apple.com>
44 * doc/cppopts.texi (-fexec-charset): Add concept index entry.
45 (-fwide-exec-charset): Likewise.
46 (-finput-charset): Likewise.
47 * doc/invoke.texi (Warning Options): Document -Wnormalized=.
48 * c-opts.c (c_common_handle_option): Handle -Wnormalized=.
49 * c.opt (Wnormalized): New.
51 2005-03-14 Devang Patel <dpatel@apple.com>
53 * doc/invoke.texi: Add reference to Visibility document.
55 2005-03-14 Richard Sandiford <rsandifo@redhat.com>
57 * config.gcc (mips*-*-*): Rename MASK_SPLIT_ADDRS to
59 * config/mips/mips.h (target_flags, mips_fix_vr4130_string): Delete.
60 (MASK_INT64, MASK_LONG64, MASK_SPLIT_ADDR, MASK_NO_FUSED_MADD)
61 (MASK_EXPLICIT_RELOCS, MASK_MEMCPY, MASK_SOFT_FLOAT)
62 (MASK_FLOAT64, MASK_ABICALLS, MASK_XGOT, MASK_LONG_CALLS)
63 (MASK_64BIT, MASK_EMBEDDED_DATA, MASK_BIG_ENDIAN)
64 (MASK_SINGLE_FLOAT, MASK_MAD, MASK_4300_MUL_FIX, MASK_MIPS16)
65 (MASK_NO_CHECK_ZERO_DIV, MASK_BRANCHLIKELY)
66 (MASK_UNINIT_CONST_IN_RODATA, MASK_FIX_R4000, MASK_FIX_R4400)
67 (MASK_FIX_SB1, MASK_FIX_VR4120, MASK_VR4130_ALIGN)
68 (MASK_FP_EXCEPTIONS, MASK_DIVIDE_BREAKS, MASK_PAIRED_SINGLE)
69 (MASK_MIPS3D, MASK_SYM32, MASK_DEBUG, MASK_DEBUG_D)
70 (MASK_MIPS_TFILE, TARGET_INT64, TARGET_LONG64, TARGET_FLOAT64)
71 (TARGET_64BIT, TARGET_SPLIT_ADDRESSES, TARGET_DEBUG_MODE)
72 (TARGET_DEBUG_D_MODE, TARGET_MEMCPY, TARGET_ABICALLS)
73 (TARGET_XGOT, TARGET_SOFT_FLOAT, TARGET_HARD_FLOAT)
74 (TARGET_LONG_CALLS, TARGET_EMBEDDED_DATA)
75 (TARGET_UNINIT_CONST_IN_RODATA, TARGET_BIG_ENDIAN)
76 (TARGET_SINGLE_FLOAT, TARGET_DOUBLE_FLOAT, TARGET_MAD)
77 (TARGET_FUSED_MADD, TARGET_4300_MUL_FIX, TARGET_CHECK_ZERO_DIV)
78 (TARGET_DIVIDE_TRAPS, TARGET_BRANCHLIKELY, TARGET_FIX_SB1)
79 (TARGET_FIX_R4000, TARGET_FIX_R4400, TARGET_FIX_VR4120)
80 (TARGET_FIX_VR4130, TARGET_VR4130_ALIGN, TARGET_FP_EXCEPTIONS)
81 (TARGET_PAIRED_SINGLE_FLOAT, TARGET_MIPS3D, TARGET_SYM32)
82 (TARGET_EXPLICIT_RELOCS): Delete.
83 (TARGET_SWITCHES, SUBTARGET_TARGET_SWITCHES): Delete.
84 (TARGET_OPTIONS): Remove entry for -mfix-vr4130.
85 * config/mips/mips.c (TARGET_DEFAULT_TARGET_FLAGS): Define.
86 (override_options): Set MASK_LONG64 if -mint64 is given and no
87 -mlongXX option is. Complain about -mint64 -mlong32.
88 (override_options, CMP_BUILTINS, mips_bdesc, sb1_desc): Rename
89 MASK_PAIRED_SINGLE to MASK_PAIRED_SINGLE_FLOAT.
90 * config/mips/mips.opt: New file.
92 2005-03-14 Richard Sandiford <rsandifo@redhat.com>
94 * config.gcc (extra_options): New variable for listing option files.
95 Add ${cpu_type}/${cpu_type}.opt to it if that file exists.
96 * configure.ac (extra_opt_files): New AC_SUBST variable.
97 (tm_file_list, tm_include_list): Include options.h first.
98 * configure: Regenerate.
99 * Makefile.in (extra_opt_files, ALL_OPT_FILES): New variables.
100 (s-options): Use $(ALL_OPT_FILES) instead of $(lang_opt_files)
101 (s-options-h): New rule.
102 (options.h): Depend on it.
103 (TEXI_GCCINT_FILES): Add options.texi.
104 * hooks.h (hook_bool_size_t_constcharptr_int_true): Declare.
105 * hooks.c (hook_bool_size_t_constcharptr_int_true): New function.
106 * target.h (gcc_target): Add default_target_flags and handle_option.
107 * target-def.h (TARGET_DEFAULT_TARGET_FLAGS)
108 (TARGET_HANDLE_OPTION): New macros.
109 (TARGET_INITIALIZER): Include them.
110 * opt-functions.awk (opt_args, nth_arg): New functions.
111 (switch_flags): Handle the "Target" flag.
113 (var_name): Use opt_args and nth_arg.
114 (var_set, var_ref): Likewise. Handle "Mask" and "InverseMask".
115 * opth-gen.awk: Declare target_flags. Declare MASK_* and TARGET_*
116 macros for the "Mask" and "InverseMask" options.
117 * opts.h (cl_var_cond): New enum.
118 (cl_option): Replace the "has_set_value" and "set_value" fields with
119 "var_cond" and "var_value".
120 (CL_TARGET): New macro.
121 (option_enabled, print_filtered_help): Declare.
122 (decode_options): Move definition.
123 * opts.c (handle_option): Search for the original option before
124 removing any "no-" prefix. Handle CL_TARGET. Adjust for the new
125 var_cond and var_value fields. Use targetm.handle_option to handle
127 (decode_options): Set target_flags to targetm.default_target_flags.
128 (print_filtered_help): Make global. Handle CL_TARGET.
129 (option_enabled): New function.
130 * toplev.c (target_switches): Guard with #ifdef TARGET_SWITCHES.
131 (display_target_options, set_target_switch, print_switch_values)
132 (default_pch_valid_p): Guard uses of target_switches with
133 #ifdef TARGET_SWITCHES. Also...
134 (display_target_options): Display the CL_TARGET entries in cl_options.
135 (set_target_option): Don't complain about the "" option when
136 TARGET_SWITCHES is undefined.
137 (print_switch_values): Use option_enabled.
138 (default_pch_valid_p): Check cl_options[] when looking for something
139 that has changed the value of target_flags.
140 * c.opt: Remove documentation from top of file.
141 * doc/gccint.texi: Add an "Options" chapter. Include options.texi.
142 * doc/sourecebuild.texi: Refer to the new options documentation
143 instead of c.opt. Document machine-specific .opt files.
144 * doc/tm.texi (target_flags): Say that this variable is declared
146 (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Document.
147 (TARGET_SWITCHES, TARGET_OPTIONS): Refer to the option files as
149 * doc/options.texi: New file.
151 2005-03-14 Alexandre Oliva <aoliva@redhat.com>
154 * cse.c (fold_rtx_mem): Don't fold a load from a jumptable into a
157 2005-03-14 Alexandre Oliva <aoliva@redhat.com>
160 * gimplify.c (gimplify_cond_expr): Add fallback argument. Use a
161 temporary variable of pointer type if an lvalues is required.
162 (gimplify_modify_expr_rhs): Request an rvalue from it.
163 (gimplify_expr): Pass fallback on.
165 2005-03-14 Kazu Hirata <kazu@cs.umass.edu>
167 * cfgbuild.c: Update comments.
169 2005-03-14 Roger Sayle <roger@eyesopen.com>
171 PR rtl-optimization/17236
172 * optabs.c (expand_doubleword_mult): New helper function split out
173 from expand_binop. Permute the order in which instructions are
174 emitted to minimize the number of simultaneously live registers.
175 (expand_binop): Call expand_doubleword_mult to synthesize a double
178 2005-03-14 Kazu Hirata <kazu@cs.umass.edu>
180 * basic-block.h: Update the prototypes of cached_make_edge and
182 * cfg.c (cached_make_edge): Take edge_cache representing one
183 row of the adjacency matrix of edges.
184 * cfgbuild.c (make_label_edge, rtl_make_eh_edge): Likewise.
185 (make_edges): Initialize edge_cache to represent one row of
186 the adjacency matrix of edges.
188 2005-03-14 Zdenek Dvorak <dvorakz@suse.cz>
190 * tree-ssa-phiopt.c (minmax_replacement, blocks_in_phiopt_order):
192 (tree_ssa_phiopt): Use blocks_in_phiopt_order and minmax_replacement.
193 Remove unused removed_phis variable.
194 (conditional_replacement): Use build1/build2.
195 (abs_replacement): Use last_and_only_stmt and build1/build2.
197 2005-03-14 Zdenek Dvorak <dvorakz@suse.cz>
199 * builtin-attrs.def (ATTR_NOVOPS, ATTR_NOVOPS_LIST,
200 ATTR_PURE_NOTHROW_NOVOPS_LIST): New.
201 * builtins.def (ATTR_MATHFN_FPROUNDING): Use NOVOPS.
202 (BUILT_IN_PREFETCH): Set the NOVOPS attribute.
203 * c-common.c (handle_novops_attribute): New function.
204 (c_common_attribute_table): Add "no vops" entry.
205 * c-decl.c (merge_decls): Copy DECL_IS_NOVOPS.
206 * calls.c (flags_from_decl_or_type): Set ECF_NOVOPS.
207 * tree-ssa-operands.c (get_call_expr_operands): Do not
208 create virtual operands for calls with ECF_NOVOPS flag.
209 * tree.h (DECL_IS_NOVOPS): New macro.
210 (struct tree_decl): Add novops_flag.
211 (ECF_NOVOPS): New constant.
213 2005-03-14 Uros Bizjak <uros@kss-loka.si>
216 * config/i386/i386.c (x86_use_himode_fiop): New.
217 (x86_use_simode_fiop): Rename from x86_use_fiop.
218 * config/i386/i386.h (x86_use_himode_fiop): Declare.
219 (TARGET_USE_HIMODE_FIOP): New.
220 (x86_use_simode_fiop): Rename from x86_use_fiop.
221 (TARGET_USE_SIMODE_FIOP): Rename from TARGET_USE_FIOP.
223 * config/i386/i386.md (X87MODEI12): New mode macro define.
224 (*cmpfp_<mode>): Rename from *cmpfp_si. Use X87MODEI12 mode macro
225 to implement x87 FP compare with HImode input operands.
226 (*fp_jcc_8<mode>_387, splitter): Rename from *fp_jcc_8_387.
227 Use X87MODEI12 mode macro to handle HImode input operands.
228 (*fop_sf_2<mode>_i387, *fop_sf_3<mode>_i387, *fop_df_2<mode>_i387,
229 *fop_df_3<mode>_i387, *fop_xf_2<mode>_i387, *fop_xf_3<mode>_i387):
230 Renamed from *fop_sf_2_i387, *fop_sf_3_i387, *fop_df_2_i387,
231 *fop_df_3_i387, *fop_xf_2_i387, *fop_xf_3_i387. Use X87MODEI12 mode
232 macro to implement x87 operators with HImode input operands.
233 (fop splitters): Use X87MODEI12 mode macro to handle HImode
236 2005-03-14 Zdenek Dvorak <dvorakz@suse.cz>
238 * tree-cfg.c (find_taken_edge_cond_expr): Use zero_p instead of
240 * tree-gimple.c (is_gimple_min_invariant): Consider overflowed
243 2005-03-14 Zdenek Dvorak <dvorakz@suse.cz>
245 * basic-block.h (BB_VISITED): Removed.
246 * cfganal.c (dfs_enumerate_from): Do not use BB_VISITED flag.
248 2005-03-14 Falk Hueffner <falk@debian.org>
251 * config/alpha/alpha.c (alpha_fold_builtin_cmpbge): Fix typo.
253 2005-03-14 Kazu Hirata <kazu@cs.umass.edu>
255 * ggc-zone.c: Fix comment typos.
257 * alloc-pool.c, except.h, ggc-common.c, ggc-zone.c, ggc.h,
258 stringpool.c, config/mips/mips-protos.h: Update copyright.
260 2005-03-14 Alan Modra <amodra@bigpond.net.au>
262 * config/rs6000/rs6000-protos.h: Replace "struct rtx_def *"
263 throughout with its typedef, "rtx".
264 * config/rs6000/rs6000.c: Likewise. Formatting fixes.
265 (rs6000_tls_symbol_ref_1): Remove inline keyword.
266 * config/rs6000/rs6000.h (REG_ALLOC_ORDER): Formatting. Reorder
267 regs in comment to match code.
269 2005-03-14 Kazu Hirata <kazu@cs.umass.edu>
271 * except.c (check_handled): Make it static.
272 * except.h: Remove the corresponding prototype.
274 * function.c (get_func_frame_size): Make it static.
275 * function.h: Remove the corresponding type.
277 * regclass.c (reg_class_superclasses, reg_class_subclasses):
279 * hard-reg-set.h: Remove the corresponding declarations.
281 * tree-cfg.c (verify_stmts): Check that
282 bb_for_stmt (stmt) == bb for every PHI node and statement.
284 2005-03-14 Alan Modra <amodra@bigpond.net.au>
286 * config.gcc: Remove excess indentation.
287 (powerpc*-*-*, rs6000-*-*): Accept --with-cpu/tune power5 and 8548.
289 2005-03-13 Roger Sayle <roger@eyesopen.com>
292 * tree.c (get_unwidened): Treat CONVERT_EXPR and NOP_EXPR identically.
293 * fold-const.c (fold_sign_changed_comparison): Likewise.
294 (fold_binary): Optimize comparisons against widened operands if
295 the extension is represented by a CONVERT_EXPR, same as a NOP_EXPR.
297 2005-03-13 Eric Botcazou <ebotcazou@libertysurf.fr>
299 * config/sparc/sparc.c (struct_value_alias_set): New global variable.
300 (sparc_override_options): Initialize it.
301 (sparc_struct_value_rtx): Set it on the MEM to be returned.
303 2005-03-13 David Edelsohn <edelsohn@gnu.org>
305 * config/rs6000/predicates.md (mem_or_easy_const_operand): Delete.
306 (reg_or_none500mem_operand): New predicate.
307 (zero_reg_mem_operand): New predicate.
308 * config/rs6000/rs6000.md (extendsfdf2): Change operand1 predicate
309 to reg_or_none500mem_operand.
310 (extendsfdf2_fpr): Add MEM alternative.
311 (extenddftf2_internal): Change operand2 predicate to
312 zero_reg_mem_operand.
314 2005-03-13 Daniel Jacobowitz <dan@codesourcery.com>
316 * ggc-zone.c: Rewritten.
318 * alloc-pool.c (dump_alloc_pool_statistics): Don't print statistics
320 * configure.ac: Define GGC_ZONE for --with-gc=zone.
321 * config.in: Regenerated.
322 * configure: Regenerated.
323 * gengtype.c (write_types_process_field, write_func_for_structure):
324 Pass new argument to gt_pch_note_object.
325 * ggc-common.c (struct ptr_data): Add TYPE.
326 (gt_pch_note_object): Take TYPE argument and save it.
327 (call_count): Update call to ggc_pch_count_object.
328 (call_alloc): Update call to ggc_pch_alloc_object.
329 (gt_pch_save): Call ggc_pch_prepare_write after paddng the PCH
331 * ggc-none.c (rtl_zone, garbage_zone, ggc_alloc_zone_stat): Delete.
332 * ggc-page.c (rtl_zone, tree_zone, garbage_zone)
333 (ggc_alloc_zone_stat): Delete.
334 (ggc_pch_count_object, ggc_pch_alloc_object): Add TYPE argument.
335 * ggc.h (gt_pch_note_object, ggc_pch_count_object)
336 (ggc_pch_alloc_object): Update prototypes.
337 (garbage_zone): Delete.
338 (tree_zone, rtl_zone, ggc_alloc_zone_stat, ggc_alloc_zone): Move to
339 GGC_ZONE conditional. Update. Change tree_zone and rtl_zone into
341 (tree_id_zone): New variable.
342 (ggc_alloc_cleared_zone): Remove unused.
343 (ggc_alloc_zone): Define.
344 (ggc_alloc_rtvec, ggc_alloc_tree): Update to use ggc_alloc_zone.
345 * rtl.c (rtx_alloc_stat, shallow_copy_rtx_stat): Use
347 * stringpool.c (gt_pch_n_S): Update call to gt_pch_note_object.
348 * tree.c (copy_node_stat, make_tree_binfo_stat, make_tree_vec_stat)
349 (tree_cons_stat, build1_stat): Update call to ggc_alloc_zone_stat.
350 (make_node_stat): Likewise. Use tree_id_zone.
352 2005-03-13 Daniel Jacobowitz <dan@codesourcery.com>
353 Joseph S. Myers <joseph@codesourcery.com>
355 * configure.ac: Check for MIPS TLS.
356 * configure: Regenerated.
357 * config/mips/mips-protos.h (enum mips_symbol_type): Add
358 SYMBOL_TLS, SYMBOL_TLSGD, SYMBOL_TLSLDM, SYMBOL_DTPREL,
359 SYMBOL_GOTTPREL, and SYMBOL_TPREL.
360 * config/mips/mips.c (mips_regno_to_class): Handle V1_REG.
361 (TARGET_HAVE_TLS, TARGET_CANNOT_FORCE_CONST_MEM): Define.
362 (mips_classify_symbol, mips_symbolic_constant_p)
363 (mips_symbolic_address_p, mips_symbol_insns): Handle TLS symbols.
364 (mips_tls_operand_p, mips_call_tls_get_addr)
365 (mips_legitimize_tls_address, mips_cannot_force_const_mem)
366 (mips_tls_symbol_ref_1): New functions.
367 (mips_legitimize_address, mips_legitimize_const_move): Call
368 mips_legitimize_tls_address.
369 (override_options): Handle V1_REG and TLS symbols. Disable TLS
371 * config/mips/mips.h (enum reg_class, REG_CLASS_NAMES)
372 (REG_CLASS_CONTENTS, GR_REG_CLASS_P): Include V1_REG.
373 (mips_char_to_class): Document V1_REG.
374 (HAVE_AS_TLS): Provide default.
375 * config/mips/mips.md (UNSPEC_TLS_LDM, UNSPEC_TLS_GET_TP): New
377 (load_got<mode>): Renamed from *load_got<mode>. Allow when
379 (tls_get_tp_<mode>): New instruction.
381 2005-03-13 Daniel Jacobowitz <dan@codesourcery.com>
383 * configure.ac: Update checks for target tools.
384 * configure: Regenerated.
386 2005-03-13 Daniel Jacobowitz <dan@codesourcery.com>
388 * varasm.c (decl_tls_model): Check flag_shlib instead of flag_pic.
390 2005-03-13 Roger Sayle <roger@eyesopen.com>
392 * expmed.c (expand_mult): Use synthetic multiplication sequences for
393 more classes of DImode multiplication by constant. Allow both
394 multiplication by small negative constants (by performing a
395 multiplication by a positive constant and negating the result) and
396 multiplications by large powers of two, by using a left shift.
398 2005-03-13 Kazu Hirata <kazu@cs.umass.edu>
400 * tree-into-ssa.c (find_idf): Speed up by putting the indexes
401 of basic blocks into work_stack.
403 * builtin-attrs.def, c-lex.c, c-pragma.h, reg-stack.c,
404 config/mips/vr.h: Update copyright.
406 * c-decl.c (c_init_decl_processing): Remove useless calls to
409 * builtins.c (fold_trunc_transparent_mathfn,
410 fold_fixed_mathfn, fold_builtin_atan, fold_builtin_trunc,
411 fold_builtin_floor, fold_builtin_ceil, fold_builtin_round,
412 fold_builtin_lround, fold_builtin_bitop, fold_builtin_memcpy,
413 fold_builtin_strcpy, fold_builtin_strncpy,
414 fold_builtin_signbit): Use TYPE (TYPE (fndecl)) instead of
417 * builtins.c (expand_builtin_mathfn_3): Remove local variable
420 * lambda-code.c (lambda_compute_auxillary_space): Remove local
421 variable determinant.
423 * tree-cfg.c (group_case_labels): Remove local variable type.
425 * tree-ssa-live.c (build_tree_conflict_graph): Remove local
428 * tree-ssa-phiopt.c (value_replacement): Remove local variable
431 2005-03-13 Andy Hutchinson <HutchinsonAndy@netscape.net>
434 * config/avr/avr.md (movmemhi): Rewrite as RTL loop.
435 (*movmemqi_insn): Delete.
438 2005-03-13 Kazu Hirata <kazu@cs.umass.edu>
440 * builtins.c (fold_builtin_classify): Take decomposed
441 arguments of CALL_EXPR.
442 (fold_builtin_1): Update a call to fold_builtin_classify.
444 2005-03-13 Joseph S. Myers <joseph@codesourcery.com>
447 * c-parser.c (c_parser_struct_or_union_specifier): Don't fall
448 through into call to parser_xref_tag after parse error.
449 (c_parser_struct_declaration): Consistently return NULL_TREE on
452 2005-03-12 Daniel Berlin <dberlin@dberlin.org>
454 * tree-flow-inline.h (ref_contains_array_ref): New function.
455 (lookup_subvars_for_var): Ditto.
456 (get_subvars_for_var): Ditto.
457 (var_can_have_subvars): Ditto.
459 * tree-flow.h (mem_tag_kind): Add STRUCT_FIELD.
460 (struct subvar): New type.
462 * tree-dfa.c (okay_component_ref_for_subvars): New function.
464 * tree-optimize.c (init_tree_optimization_passes): Call
465 pass_create_structure_vars.
467 * tree-ssa-alias.c: Include vec.h.
468 (init_alias_info): Don't auto-clear call clobbered on struct-field
470 (compute_flow_insensitive_aliasing): Handle subvars.
471 (group_aliases): Handle STRUCT_FIELD aliases.
472 (setup_pointers_and_addressables): Ditto.
473 Don't mark variables non-addressable if they still have
475 Also mark subvars addressable when the real variable is marked
477 (add_pointed_to_var): Try to prune the pointed-to set by only
478 pointing to subvars when possible.
479 Otherwise, make sure we set addresses_needed and pt_vars to
480 properly include subvars.
481 (bitpos_of_field): New function.
482 (push_fields_onto_fieldstack): Ditto.
483 (get_or_create_used_part_for): Ditto.
484 (create_overlap_variables_for): Ditto.
485 (find_used_portions): Ditto.
486 (create_structure_vars): Ditto.
487 (pass_create_structure_vars): New structure.
489 * tree-ssa-operands.c (finalize_ssa_v_must_defs): Remove assert.
490 (get_expr_operands): Handle subvars. Also try to turn
491 COMPONENT_REF accesses into must-defs now that we can accurately
493 (note_addressable): Try to only mark as addressable those subvars
494 we know a COMPONENT_REF touches.
495 (overlap_subvar): New function.
497 * tree-vect-analyze.c (vect_object_analysis): Add new parameter.
498 Handle subvar storing.
499 (vect_address_analysis): Update caller of vect_object_analysis.
501 * tree-vect-transform.c (vect_create_data_ref_ptr): Copy subvars.
503 * tree-vectorizer.h (struct _stmt_vec_info): Add subvars member.
504 (STMT_VINFO_SUBVARS): New macro.
506 * common.opts: add flag_tree_salias.
508 * opts.c (decode_options): flag_tree_salias defaults to on.
510 * doc/invoke.texi: Document fdump-tree-svars and -ftree-salias.
512 * doc/tree-ssa.texi: Document structural alias analysis.
514 2005-03-12 Steven Bosscher <stevenb@suse.de>
516 * tree-cfg.c (make_goto_expr_edges): Don't use error_mark_node.
517 * tree-ssa-dce.c (mark_stmt_necessary): Don't check for it.
518 * tree-ssa-operands.c (get_expr_operands): Likewise.
519 (get_expr_operands): Likewise for ERROR_MARK.
521 2005-03-12 Kazu Hirata <kazu@cs.umass.edu>
523 * tree-ssa.c (kill_redundant_phi_nodes): Remove local variable
526 * tree-ssa-phiopt.c (tree_ssa_phiopt): Remove local variable
529 * tree-ssa-pre.c (compute_avail): Remove local variable val.
530 (mark_operand_necessary): Remove local variable ver.
532 * tree-vect-transform.c (vect_get_new_vect_var): Remove local
535 * value-prof.c (mod_subtract_transform): Remove local variable
538 * builtins.c (fold_builtin_exponent): Take decomposed
539 arguments of CALL_EXPR.
540 (fold_builtin_1): Update a call to fold_builtin_exponent.
542 * builtins.c (fold_builtin_logarithm): Take decomposed
543 arguments of CALL_EXPR.
544 (fold_builtin_1): Update a call to fold_builtin_logarithm.
546 * c-decl.c (c_init_decl_processing): Remove local variables
547 ptr_ftype_void and ptr_ftype_ptr.
549 * gimplify.c (gimplify_expr): Remove local variables r0 and
552 * reg-stack.c (move_for_stack_reg): Remove local variable
554 (compare_for_stack_reg): Remove local variable flags_user.
555 (convert_regs_1): Remove local variable deleted.
557 * tree-if-conv.c (tree_if_convert_cond_expr): Remove local
559 (combine_blocks): Remove local variables exits and new_e.
561 * tree-inline.c (expand_call_inline): Remove local variable
564 * tree-ssa-live.c (create_ssa_var_map,
565 calculate_live_on_entry): Remove local variable snn.
567 2005-03-12 Geoffrey Keating <geoffk@apple.com>
569 * c-lex.c (c_lex_with_flags): Add parameter to call to
572 2005-03-11 Per Bothner <per@bothner.com>
574 * c-tree.h (struct c_declarator): New id_loc field.
575 * c-pragma.h (c_lex_with_flags): Take position reference.
576 * c-lex.c (c_lex_with_flags): Set passed-in location from cpp token,
577 iff USE_MAPPED_LOCATION. (Type doesn't match otherwise.)
578 (c_lex): Pass dummy location to c_lex_with_flags.
579 * c-parser.c (c_lex_one_token): Set c_token's location using
580 c_lex_with_flags, instead of input_location, which might be "ahead".
581 (c_parser_direct_declarator): Set declarator's id_loc from
583 * c-decl.c (grokdeclarator): Set DECL_SOURCE_LOCATION from
584 declarator's id_loc, rather than probably-imprecise input_location.
585 (build_id_declarator): Initialize c_declarator's id_loc field.
587 2005-03-11 Roger Sayle <roger@eyesopen.com>
590 * builtins.c (expand_builtin_signbit): Force the signbit's word
591 into an integer register to avoid SUBREGs of floating point modes.
593 2005-03-12 Kazu Hirata <kazu@cs.umass.edu>
595 * cfglayout.c, loop-doloop.c, profile.c, target-def.h,
596 target.h, targhooks.c, tracer.c, tree-ssa-loop-ch.c,
597 tree-ssa-loop-unswitch.c, tree-ssa-loop.c, vec.c, vmsdbgout.c,
598 config/m32r/m32r.md, config/xtensa/xtensa.h: Update copyright.
600 2005-03-11 David Edelsohn <edelsohn@gnu.org>
602 PR rtl-optimization/20306
603 * expr.c (emit_move_complex): Set try_int false if mode is
604 MODE_COMPLEX_FLOAT and mov_optab exists for inner mode. Only try
605 emit_block_move if try_int is true.
607 2005-03-11 Richard Henderson <rth@redhat.com>
610 * config/i386/mmx.md (vec_dupv4hi): Fix predicate.
611 * config/i386/i386.c (ix86_expand_vector_init_duplicate): Update
614 2005-03-11 Richard Sandiford <rsandifo@redhat.com>
616 * config/mips/mips.h (mips_fix_vr4130_string): Declare.
617 (TARGET_FIX_VR4130): New macro.
618 (TARGET_OPTIONS): Add -mfix-vr4130.
619 (ISA_HAS_MACCHI): New macro.
620 (ASM_SPEC): Add -mfix-vr4130.
621 * config/mips/mips.c (mips_fix_vr4130_string): New variable.
622 (override_options): Handle mips_fix_vr4130_string.
623 (mips_avoid_hazards): Clear all_noreorder_p
624 if we're working around VR4130 errata and the macc alternatives
626 * config/mips/mips.md (mfhilo_<mode>): Turn into a define_expand.
627 (*mfhilo_<mode>, *mfhilo_<mode>_macc): New insns.
628 * config/mips/vr.h (DEFAULT_VR_ARCH): Set to mfix-vr4130.
629 (MULTILIB_DEFAULTS): Remove leading "march=".
630 (DRIVER_SELF_SPECS): Likewise. Make -mfix-vr4130 imply -march=vr4130
631 if no architecture option is given.
632 * config/mips/t-vr (MULTILIB_OPTIONS): Use -mfix-vr4130 for the
634 (MULTILIB_MATCHES): Map -march=vr4130 to the -mfix-vr4130 multilibs.
635 * doc/invoke.texi: Document -mfix-vr4130.
637 2005-03-11 Richard Sandiford <rsandifo@redhat.com>
639 * config/mips/mips.c (override_options): Only warn about -mint64
640 deprecation if TARGET_INT64.
642 2005-03-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
644 * builtin-attrs.def (ATTR_NONNULL_LIST, ATTR_NOTHROW_NONNULL,
645 ATTR_CONST_NOTHROW_NONNULL, ATTR_PURE_NOTHROW_NONNULL,
646 ATTR_MALLOC_NOTHROW_NONNULL): New "nonnull" attribute lists which
647 are non-specific regarding the nonnull parameter positions.
648 (ATTR_NONNULL_1_2, ATTR_NONNULL_1_4, ATTR_NOTHROW_NONNULL_1_2,
649 ATTR_NOTHROW_NONNULL_1_4, ATTR_CONST_NOTHROW_NONNULL_1,
650 ATTR_PURE_NOTHROW_NONNULL_1, ATTR_PURE_NOTHROW_NONNULL_1_2,
651 ATTR_MALLOC_NOTHROW_NONNULL_1): Delete.
653 * builtins.def: Use the non-specific "nonnull" attibute lists.
655 2005-03-11 Zdenek Dvorak <dvorakz@suse.cz>
657 * basic-block.h (single_succ_p, single_pred_p, single_succ_edge,
658 single_pred_edge, single_succ, single_pred): Improve comments.
660 2005-03-11 Zdenek Dvorak <dvorakz@suse.cz>
662 * basic-block.h (single_succ_p, single_pred_p, single_succ_edge,
663 single_pred_edge, single_succ, single_pred): New inline functions.
664 * bb-reorder.c (rotate_loop, find_traces_1_round,
665 add_labels_and_missing_jumps, fix_up_fall_thru_edges,
666 duplicate_computed_gotos): Use the single_succ/pred functions.
667 * cfganal.c (forwarder_block_p): Ditto.
668 * cfgbuild.c (compute_outgoing_frequencies): Ditto.
669 * cfgcleanup.c (try_simplify_condjump, try_forward_edges,
670 outgoing_edges_match, try_crossjump_to_edge, try_optimize_cfg,
671 merge_seq_blocks): Ditto.
672 * cfghooks.c (split_edge, tidy_fallthru_edges): Ditto.
673 * cfglayout.c (fixup_reorder_chain): Ditto.
674 * cfgloop.c (mark_single_exit_loops, update_latch_info,
675 canonicalize_loop_headers, verify_loop_structure): Ditto.
676 * cfgloopmanip.c (remove_path, unloop, loop_delete_branch_edge,
677 mfb_update_loops, create_preheader, force_single_succ_latches,
678 create_loop_notes): Ditto.
679 * cfgrtl.c (rtl_can_merge_blocks, try_redirect_by_replacing_jump,
680 force_nonfallthru_and_redirect, rtl_tidy_fallthru_edge,
681 commit_one_edge_insertion, purge_dead_edges,
682 cfg_layout_can_merge_blocks_p): Ditto.
683 * except.c (sjlj_emit_function_enter): Ditto.
684 * flow.c (init_propagate_block_info): Ditto.
685 * function.c (thread_prologue_and_epilogue_insns): Ditto.
686 * gcse.c (find_implicit_sets, bypass_conditional_jumps,
687 insert_insn_end_bb): Ditto.
688 * ifcvt.c (merge_if_block, find_if_block, find_if_case_1,
689 find_if_case_2): Ditto.
690 * lambda-code.c (perfect_nestify): Ditto.
691 * lcm.c (optimize_mode_switching): Ditto.
692 * loop-doloop.c (doloop_modify): Ditto.
693 * loop-init.c (loop_optimizer_init): Ditto.
694 * loop-iv.c (simplify_using_initial_values): Ditto.
695 * loop-unroll.c (unroll_loop_runtime_iterations): Ditto.
696 * loop-unswitch.c (unswitch_loop): Ditto.
697 * modulo-sched.c (generate_prolog_epilog): Ditto.
698 * predict.c (combine_predictions_for_insn, estimate_probability,
699 tree_estimate_probability, last_basic_block_p,
700 estimate_bb_frequencies): Ditto.
701 * profile.c (branch_prob): Ditto.
702 * regrename.c (copyprop_hardreg_forward): Ditto.
703 * sched-rgn.c (is_cfg_nonregular, find_rgns, update_live): Ditto.
704 * tracer.c (layout_superblocks): Ditto.
705 * tree-cfg.c (tree_can_merge_blocks_p, tree_merge_blocks,
706 cfg_remove_useless_stmts_bb, cleanup_control_flow,
707 cleanup_control_expr_graph, disband_implicit_edges,
708 tree_find_edge_insert_loc, bsi_commit_edge_inserts,
709 tree_verify_flow_info, tree_make_forwarder_block,
710 tree_forwarder_block_p, remove_forwarder_block,
711 remove_forwarder_block_with_phi, merge_phi_nodes): Ditto.
712 * tree-if-conv.c (tree_if_conversion): Ditto.
713 * tree-mudflap.c (mf_build_check_statement_for): Ditto.
714 * tree-ssa-dce.c (remove_dead_stmt): Ditto.
715 * tree-ssa-dom.c (dom_opt_finalize_block): Ditto.
716 * tree-ssa-loop-ch.c (should_duplicate_loop_header_p,
717 copy_loop_headers): Ditto.
718 * tree-ssa-loop-im.c (loop_commit_inserts): Ditto.
719 * tree-ssa-loop-ivopts.c (compute_phi_arg_on_exit): Ditto.
720 * tree-ssa-loop-manip.c (split_loop_exit_edge, ip_normal_pos,
721 lv_adjust_loop_entry_edge, tree_ssa_loop_version): Ditto.
722 * tree-ssa-loop-niter.c (simplify_using_initial_conditions): Ditto.
723 * tree-ssa-loop-unswitch.c (simplify_using_entry_checks): Ditto.
724 * tree-ssa-phiopt.c (tree_ssa_phiopt, value_replacement): Ditto.
725 * tree-ssa-pre.c (compute_antic_aux, insert_aux, init_pre): Ditto.
726 * tree-ssa-threadupdate.c (redirect_edges): Ditto.
727 * tree-tailcall.c (independent_of_stmt_p, find_tail_calls,
728 eliminate_tail_call, tree_optimize_tail_calls_1): Ditto.
729 * tree-vect-analyze.c (vect_analyze_loop_form): Ditto.
730 * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Ditto.
731 * tree-vectorizer.c (slpeel_update_phi_nodes_for_guard,
732 slpeel_add_loop_guard): Ditto.
734 2005-03-11 James A. Morrison <phython@gcc.gnu.org>
736 PR tree-optimization/15784
737 * fold-const.c (fold): Fold ~A + 1 to -A. Fold -A - 1
740 * stmt.c (expand_case): Don't change index_type. Convert minval
743 PR tree-optimization/20130
744 * fold-const.c (fold): Fold x * -1 into -x.
746 2005-03-11 Kaz Kojima <kkojima@gcc.gnu.org>
748 PR rtl-optimization/20331
749 * rtlanal.c (modified_between_p): Check its address first for MEM.
750 (modified_in_p): Likewise.
752 2005-03-11 Joseph S. Myers <joseph@codesourcery.com>
754 * config.gcc (hppa*64*-*-hpux11*): Use pa/t-hpux-shlib.
756 2005-03-10 Steven Bosscher <stevenb@suse.de>
758 * expr.c (expand_expr_real_1): If possible, use a conditional
759 move for expanding MIN_EXPR and MAX_EXPR.
760 Use temp for moving around rtx-en.
762 2005-03-10 Andrew Pinski <pinskia@physics.uc.edu>
765 * simplify-rtx.c (simplify_relational_operation_1): Fix typo - check the
768 2005-03-10 Roger Sayle <roger@eyesopen.com>
770 * builtins.c (expand_builtin_signbit): Extend to handle floating
771 point modes wider than the largest integer type, using the
772 operand_subword_force function to obtain the signbit's word.
774 2005-03-10 Jakub Jelinek <jakub@redhat.com>
777 * combine.c (try_combine): If recog_for_combine added CLOBBERs
778 to NEWI2PAT, fail to combine if they are used by NEWPAT.
780 2005-03-10 Aldy Hernandez <aldyh@redhat.com>
782 * doc/invoke.texi: Add 8540 to list of cpus in rs6000 cpu section.
784 2005-03-10 Kazu Hirata <kazu@cs.umass.edu>
786 * tree-outof-ssa.c (analyze_edges_for_bb): Make the return
788 (perform_edge_inserts): Unconditionally call
791 * tree-outof-ssa.c (analyze_edges_for_bb): Update a comment.
793 2005-03-10 Bob Wilson <bob.wilson@acm.org>
795 * config/xtensa/xtensa.h (MEMBER_TYPE_FORCES_BLK): Define.
797 2005-03-10 Nathan Sidwell <nathan@codesourcery.com>
799 * bitmap.c (bitmap_copy): Remove manual loop unrolling.
801 * value-prof.c (rtl_find_values_to_profile): Use gcc_assert and
803 (rtl_register_value_prof_hooks,
804 tree_value_profile_transformations,
805 tree_register_value_prof_hooks): Likewise.
806 * var-tracking.c (stack_adjust_offset_pre_post,
807 variable_htab_free, variable_union, dataflow_set_different_2,
808 count_uses, variable_was_changed, set_frame_base_location,
809 set_variable_part, emit_note_insn_var_location, vt_emit_notes,
810 vt_add_function_parameters): Likewise.
811 * varasm.c (named_section_real, named_section, make_decl_rtl,
812 asm_emit_uninitialised, assemble_integer, decode_addr_const,
813 const_hash_1, compare_constant, copy_constant, force_const_mem,
814 output_constant_pool_2, output_constant_pool_1, output_constant,
815 output_constructor, make_decl_one_only, decl_tls_model,
816 default_no_named_section, default_elf_select_section_1,
817 default_unique_section_1): Likewise.
818 * vec.c (vec_gc_o_reserve, vec_heap_o_reserve): Likewise.
819 * vmsdbgout.c (addr_const_to_string): Likewise.
822 * function.c (struct assign_parm_data_one): Remove last_named
824 (assign_parm_find_data_types): Don't determine last_named.
825 Reorder named_parm determination.
826 (assign_parms): Only setup varargs on the last non-varadic
829 2005-03-10 Kazuhiro Inaoka <inaoka.lazuhiro@renesas.com>
831 * config/m32r/m32r.md (load_sda_base_32): New pattern. Loads
832 sda base address on medium model.
834 2005-03-10 Zdenek Dvorak <dvorakz@suse.cz>
836 * Makefile.in (tree-optimize.o): Add CFGLOOP_H dependence.
837 * cfgloop.c (flow_loop_nodes_find): Export.
838 * cfgloop.h (flow_loop_nodes_find, fix_loop_structure):
840 * cfgloopmanip.c (fix_loop_structure): New function.
841 * predict.c (predict_loops): Clean up the loops information.
842 * tree-cfg.c (cleanup_tree_cfg_loop): New function.
843 (tree_can_merge_blocks_p, remove_bb, tree_forwarder_block_p): Respect
845 * tree-flow.h (cleanup_tree_cfg_loop): Declare.
846 (rewrite_into_loop_closed_ssa): Declaration changed.
847 * tree-loop-linear.c (linear_transform_loops): Add argument to
848 rewrite_into_loop_closed_ssa call.
849 * tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
850 * tree-ssa-loop-im.c (move_computations): Ditto.
851 * tree-ssa-loop.c (tree_loop_optimizer_init): Ditto.
852 * tree-vectorizer.c (vectorize_loops): Ditto.
853 * tree-optimize.c: Include cfgloop.h.
854 (execute_todo): Choose whether to call cleanup_tree_cfg or
855 cleanup_tree_cfg_loop.
856 * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables,
857 (tree_unroll_loops_completely): Enable cleanup_tree_cfg_loop call.
858 * tree-ssa-loop-unswitch.c (tree_ssa_unswitch_loops): Enable
859 cleanup_tree_cfg_loop call.
860 * tree-ssa-loop-manip.c (find_uses_to_rename_bb): New function.
861 (find_uses_to_rename, rewrite_into_loop_closed_ssa): Support
864 2005-03-10 Jakub Jelinek <jakub@redhat.com>
867 * gimplify.c (gimplify_asm_expr): Handle input/output constraints
868 with multiple alternatives.
870 * stmt.c (parse_output_constraint): Fix a typo.
872 2005-03-09 Bob Wilson <bob.wilson@acm.org>
874 * config/xtensa/xtensa.h (TRAMPOLINE_TEMPLATE): Use "no-transform"
875 assembly directive instead of deprecated "no-generics".
877 2005-03-09 Ulrich Weigand <uweigand@de.ibm.com>
879 * config/s390/s390.c (s390_secondary_output_reload_class): Adapt check
880 for non-offsettable memory references to cope with outstanding reload
882 * config/s390/s390.md ("reload_outti"): Call find_replacement to
883 avoid losing outstanding address reloads.
884 ("reload_outdi", "reload_outdf"): Likewise.
886 2005-03-09 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
888 * builtins.c (fold_builtin_cbrt, fold_builtin_pow): Rearrange
889 code. Add more cbrt transformations.
891 2005-03-09 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
893 * fold-const.c (fold_unary_to_constant): Add FIX_ROUND_EXPR case.
895 2005-03-09 Kazu Hirata <kazu@cs.umass.edu>
897 * fold-const.c (fold_unary, fold_binary, fold_ternary): Return
898 NULL_TREE when a given tree is not simplified.
899 (fold): Return the original tree when any of the functions
900 mentioned above NULL_TREE.
902 * fold-const.c (fold_unary, fold_binary): Take decomposed
903 arguments, code, type, op0, and op1 in case of fold_binary.
904 (fold): Update calls to fold_unary and fold_binary.
906 2005-03-09 Roger Sayle <roger@eyesopen.com>
908 * builtins.c (fold_builtin_unordered_cmp): Change prototype to take
909 a fndecl and an arglist instead of a CALL_EXPR, exp.
911 2005-03-09 Kazu Hirata <kazu@cs.umass.edu>
913 * cfglayout.c (fixup_reorder_chain): Remove old_bb.
915 * cfgrtl.c (cfg_layout_merge_blocks): Remove new_e.
917 * expr.c (expand_assignment): Remove orig_to_rtx.
919 * fold-const.c (int_const_binop): Remove no_overflow.
921 * ifcvt.c (noce_emit_move_insn): Remove inmode.
923 * loop-iv.c (get_biv_step_1): Remove lhs.
925 * loop-unroll.c (analyze_insns_in_loop): Remove preheader.
927 * real.c (real_nan): Remove neg.
929 * function.c (thread_prologue_and_epilogue_insns): Remove i
932 * tree-data-ref.c (array_base_name_differ_p): Remove ta and
935 * tree-eh.c (tree_could_trap_p): Remove idx.
937 * tree-into-ssa.c (ann): Remove ann.
939 * tree-outof-ssa.c (num_nodes): Remove num_nodes.
941 * tree-sra.c (decide_block_copy): Remove inst_count.
943 * tree-ssa-alias.c (may_alias_p): Remove v_ann.
945 * tree-ssa-loop-im.c (lhs): Remove.
947 * cfgbuild.c (state, STATE, SET_STATE,
948 BLOCK_USED_BY_TABLEJUMP, FULL_STATE): Move just before
950 (make_edges): Speed up by skipping blocks with BLOCK_ORIGINAL.
951 (find_basic_blocks): Set the state of each basic block to
954 2005-03-08 Jeff Law <law@redhat.com>
956 * tree-cfg.c (cleanup_control_flow): If removal of a computed
957 goto results in the removal of edges in the CFG, then we need
958 to recompute dominators.
960 2005-03-09 Ben Elliston <bje@au.ibm.com>
962 * c-common.c (c_do_switch_warnings): Comment fix.
964 2005-03-08 Julian Brown <julian@codesourcery.com>
966 * Patch from 2005-03-08 reverted for causing regressions and
967 ppc-darwin bootstrap failure.
969 2005-03-08 Fariborz Jahanian <fjahanian@apple.com>
971 * config/rs6000/rs6000.c (invalid_arg_for_unprototyped_fn):
972 Define the real function for ppc-darwin.
973 * c-typeck.c (convert_arguments): Check for target-specific
974 invalid argument call to unprototyped function.
975 * target-def.h (TARGET_INVALID_ARG_FOR_UNPROTOTYPED_FN):
977 * target.h (invalid_arg_for_unprototyped_fn): New field
979 * targhooks.c (hook_invalid_arg_for_unprototyped_fn): New
981 * targhooks.h (hook_invalid_arg_for_unprototyped_fn):
984 2005-03-08 Kazu Hirata <kazu@cs.umass.edu>
986 * c-typeck.c (constructor_stack, constructor_range_stack,
987 initializer_stack): Make them static.
989 * cfg.c (rbi_pool): Make it static.
991 * gimple-low.c (lower_stmt_body): Make it static.
992 * tree-flow.h: Remove the corresponding prototype. Don't
995 * sched-deps.c (cache_size): Make it static.
997 * stor-layout.c (lang_adjust_rli): Make it static.
999 2005-03-08 Julian Brown <julian@codesourcery.com>
1001 * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK
1002 from being used for symbols with vague linkage when
1003 HAVE_GAS_COMDAT_GROUP is true.
1005 2005-03-08 J"orn Rennecke <joern.rennecke@st.com>
1007 * jump.c (invert_jump_1): Don't call redirect_jump_1 with
1008 nlabel == JUMP_LABEL (jump).
1010 2005-03-08 Kazu Hirata <kazu@cs.umass.edu>
1012 * c-common.c, c-opts.c, combine.c, cse.c, dojump.c,
1013 gimplify.c, tree-dfa.c, tree-ssa-loop-ivopts.c,
1014 tree-ssa-phiopt.c, tree-ssa-pre.c, tree-ssa-sink.c,
1015 tree-vect-analyze.c, tree.def, tree.h: Fix comment formatting.
1017 2005-03-08 Alexey Neyman <alex.neyman@auriga.ru>
1020 * calls.c (flags_from_decl_or_type): Handle eturns_twice' attribute.
1021 * c-common.c (handle_returns_twice): New function.
1022 (c_common_attribute_table): Declare eturns_twice' attribute.
1023 * doc/extend.texi: Document eturns_twice' attribute.
1024 * tree.h (DECL_IS_RETURNS_TWICE): New macro.
1025 (struct tree_decl): Add returns_twice_flag.
1027 2005-03-08 Kazu Hirata <kazu@cs.umass.edu>
1029 * tree-ssa-phiopt.c: Fix a comment typo.
1031 * c-semantics.c, cfghooks.c, diagnostic.h, loop-iv.c,
1032 loop-unswitch.c, modulo-sched.c, stor-layout.c, tree-gimple.h,
1033 config/i386/cygwin1.c, doc/cfg.texi, doc/objc.texi: Update
1036 2005-03-08 Richard Henderson <rth@redhat.com>
1038 * config/alpha/alpha.c (code_for_builtin): Replace special-case
1039 builtin codes with ctzdi2, clzdi2, popcountdi2.
1040 (struct alpha_builtin_def): Add is_const.
1041 (zero_arg_builtins, one_arg_builtins, two_arg_builtins): Init it.
1042 (alpha_v8qi_u, alpha_v8qi_s, alpha_v4hi_u, alpha_v4hi_s): New.
1043 (alpha_init_builtins): Init them. Set nothrow and const attributes
1045 (alpha_fold_builtin_cmpbge, alpha_fold_builtin_zapnot,
1046 alpha_fold_builtin_extxx, alpha_fold_builtin_insxx,
1047 alpha_fold_builtin_mskxx, alpha_fold_builtin_umulh,
1048 alpha_fold_vector_minmax, alpha_fold_builtin_perr,
1049 alpha_fold_builtin_pklb, alpha_fold_builtin_pkwb,
1050 alpha_fold_builtin_unpkbl, alpha_fold_builtin_unpkbw,
1051 alpha_fold_builtin_cttz, alpha_fold_builtin_ctlz,
1052 alpha_fold_builtin_ctpop, alpha_fold_builtin): New.
1053 (TARGET_FOLD_BUILTIN): New.
1054 * config/alpha/alpha.md (UNSPEC_CTTZ): Remove.
1055 (UNSPEC_CTLZ, UNSPEC_CTPOP): Remove.
1057 (cttz, builtin_cttz, builtin_ctlz, builtin_ctpop): Remove.
1059 2005-03-08 Ira Rosen <irar@il.ibm.com>
1061 PR tree-optimization/20122
1062 * tree-vect-analyze.c (vect_object_analysis): Analyze initial
1063 condition of access function instead of base.
1065 2005-03-07 Jeff Law <law@redhat.com>
1066 Steven Bosscher <stevenb@suse.de>
1068 * tree-cfg.c (find_taken_edge_computed_goto): New function.
1069 (find_taken_edge): Call find_taken_edge_computed_goto as
1070 appropriate. Allow any gimple invariant rather than just
1071 INTEGER_CST for VAL.
1072 (cleanup_control_flow): Cleanup a computed goto which has turned
1074 (tree_merge_blocks): If block B has any forced labels, move
1075 them to the start of block A.
1076 * tree-ssa-dom.c (thread_across_edge): Allow threading across
1077 computed gotos as well.
1078 * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Handle
1079 removal of unnecessary computed gotos too.
1080 (lookup_redirection_data): Fix type of INSERT argument. Callers
1083 2005-03-08 Kazu Hirata <kazu@cs.umass.edu>
1085 * tree-ssa-phiopt.c: Update copyright. Fix indentations.
1086 Remove trailing spaces.
1088 * gimplify.c (gimple_push_bind_expr, gimple_pop_bind_expr,
1089 unshare_all_trees): Make them static.
1090 * tree-gimple.h: Remove the corresponding prototypes.
1092 * diagnostic.h: Remove unused prototype
1093 debug_output_buffer.
1094 * modulo-sched.c: Remove unused prototype
1095 set_row_column_for_ps.
1097 * tree-ssa-phiopt.c (tree_ssa_phiopt,
1098 replace_phi_edge_with_variable): Remove unused variable i.
1100 2005-03-07 Per Bothner <per@bothner.com>
1102 * tree.h (DECL_IS_BUILTIN): Reverted my patch from earlier today.
1104 2005-03-06 Andrew Pinski <pinskia@physics.uc.edu>
1107 * tree-ssa-phiopt.c (tree_ssa_phiopt): Rewrite so we base the
1108 bbs on the COND_EXPR instead of the PHI_NODEs.
1109 (candidate_bb_for_phi_optimization): Remove.
1110 (replace_phi_with_stmt): Rename to ...
1111 (replace_phi_edge_with_variable): this and change so that we
1112 replace the phi argument instead of removing the PHI.
1113 (conditional_replacement): Change so we deal with PHI with more
1115 (value_replacement): Likewise.
1116 (abs_replacement): Likewise.
1118 2005-03-07 Aldy Hernandez <aldyh@redhat.com>
1120 * config/rs6000/rs6000-protos.h: Rename output_e500_flip_eq_bit to
1121 output_e500_flip_gt_bit.
1123 * config/rs6000/rs6000.c (print_operand): case D: Print out bit 31
1125 (rs6000_generate_compare): Fix logic to look at the correct bits.
1126 (output_e500_flip_eq_bit): Rename to output_e500_flip_gt_bit.
1128 (rs6000_emit_sCOND): Rename gen_e500_flip_eq_bit to
1129 gen_e500_flip_gt_bit. Rename gen_move_from_CR_eq_bit to
1130 gen_move_from_CR_gt_bit.
1132 * config/rs6000/rs6000.md ("move_from_CR_eq_bit"): Change bit
1133 ("move_from_CR_eq_bit"): Rename to move_from_CR_gt_bit.
1134 (UNSPEC_MV_CR_EQ): Rename to UNSPEC_MV_CR_GT.
1136 * config/rs6000/spe.md ("e500_cr_ior_compare"): New.
1137 (E500_CR_IOR_COMPARE): New constant.
1139 2005-03-08 Earl Chew <earl_chew@agilent.com>
1140 David Billinghurst <David.Billinghurst@riotinto.com>
1142 * config/i386/host-cygwin.c: New file to support precompiled
1144 * config/i386/x-cygwin: Use host-cygwin.c on cygwin host
1145 * config.host: Use above files for cygwin host.
1147 2005-03-07 David Edelsohn <edelsohn@gnu.org>
1149 * fold-const.c (fold_binary_op_with_conditional_arg): Fix typo
1150 ordering ops from earlier change.
1152 2005-03-07 Per Bothner <per@bothner.com>
1154 Various fixes to allow us to again build if --enable-mapped-location:
1155 * c-decl.c (finish_function): Use SET_EXPR_LOCATION instead of
1156 unavailable annotate_with_file_line, if USE_MAPPED_LOCATION.
1157 * tree-cfg.c (remove_bb): If USE_MAPPED_LOCATION, change type of
1158 local variable loc. Change logic appropriately.
1159 * tree-vect-transform.c (vect_finish_stmt_generation): Use
1160 EXPR_LOCATION rather than EXPR_LOCUS if USE_MAPPED_LOCATION.
1161 * c-parser.c (c_parser_for_statement): Initialize loc variable.
1162 * tree.h (DECL_IS_BUILTIN): Temporarily revert definition of
1163 DECL_IS_BUILTIN in the USE_MAPPED_LOCATION because of jc1 issues.
1165 2005-03-07 Richard Sandiford <rsandifo@redhat.com>
1167 PR rtl-optimization/19683
1168 * reload1.c (choose_reload_regs): Pass the number of bits, not the
1169 number of bytes, to smallest_int_for_mode. Fix arguments to
1170 REG_CANNOT_CHANGE_MODE_P.
1172 2005-03-07 Eric Botcazou <ebotcazou@libertysurf.fr>
1174 * reorg.c (relax_delay_slots): Check that the jump is
1175 conditional before trying to invert it.
1177 2005-03-07 Kazu Hirata <kazu@cs.umass.edu>
1179 * bb-reorder.c (max_entry_frequency, max_entry_frequency):
1182 * calls (stack_arg_under_construction): Make it static.
1184 * flow.c (regs_live_at_setjmp): Make it static.
1185 * flow.h: Remove the corresponding prototype.
1187 * reload1.c (reload_startobj, reload_firstobj,
1188 something_needs_operands_changed, reload_inherited,
1189 reload_inheritance_insn, reload_override_in,
1190 reload_spill_index): Make them static.
1192 * recog.c (verify_changes): Make it static.
1193 * recog.h: Remove the corresponding prototype.
1195 * cfgbuild.c (find_sub_basic_blocks): Remove.
1196 * basic-block.h: Remove the corresponding prototype.
1197 * cfgexpand.c, cfgrtl.c: Don't mention find_sub_basic_blocks
1199 * doc/cfg.texi: Don't mention find_sub_basic_blocks.
1201 * tree-ssa-operands.c (check_build_stmt): Remove.
1203 * stor-layout.c (set_alignment): Remove.
1204 * tree.h: Remove the corresponding prototype.
1206 * tree-ssa-pre.c (has_abnormal_preds): Make it static.
1208 * tree-ssa-dce.c (control_dependence_map,
1209 visited_control_parents): Make them static.
1211 * cfghooks.c (verify_flow_info): Remove local variable
1214 * cfgrtl.c (rtl_verify_flow_info_1): Remove local variable
1217 * loop-unswitch.c (unswitch_loop): Remove local variable src.
1219 2005-03-07 David Billinghurst <David.Billinghurst@riotinto.com>
1221 * config/i386/cygwin1.c(mingw_scan): Use xstrdup in calls to putenv.
1223 2005-03-07 Joseph S. Myers <joseph@codesourcery.com>
1225 * config/ia64/hpux.h (LINK_SPEC): Add -z.
1226 * config/ia64/ia64.c (ia64_function_value): Return a REG not a
1227 PARALLEL for an empty structure.
1229 2005-03-07 Kazu Hirata <kazu@cs.umass.edu>
1231 * fold-const.c (fold_binary): Remove handling of RANGE_EXPR.
1233 * fold-const.c (fold_binary): Unroll the very first "for"
1236 2005-03-06 David Edelsohn <edelsohn@gnu.org>
1238 * config/rs6000/predicates.md (branch_comparison_operator): Remove
1239 redundant match_code test.
1240 (scc_comparison_operator): Swap match_operand and match_code
1242 (branch_positive_comparison_operator): Same.
1243 (trap_comparison_operator): Use comparison_operator and swap with
1246 2005-03-06 Marek Michalkiewicz <marekm@amelek.gda.pl>
1249 * config/avr/avr.c (print_operand): Add 'p' and 'r'.
1250 (out_movhi_r_mr): Read low byte of volatile MEM first.
1251 (out_movhi_mr_r): Write high byte of volatile MEM first.
1253 2005-03-05 Kazu Hirata <kazu@cs.umass.edu>
1255 * cselib.c (reg_values, reg_values_size): Make them static.
1257 * cse.c (cse_reg_info_table): Make it static.
1259 * fold-const.c (fold_unary): Use build1 instead of copy_node.
1261 2005-03-06 Zdenek Dvorak <dvorakz@suse.cz>
1263 * cse.c (find_best_addr): Use canon_for_address.
1265 2005-03-06 Kazu Hirata <kazu@cs.umass.edu>
1267 * cse.c (fold_rtx_subreg, fold_rtx_mem): New.
1268 (fold_rtx): Call fold_rtx_subreg and fold_rtx_mem to handle
1269 SUBREG and MEM, respectively.
1271 * fold-const.c (fold_binary): Use code instead of t.
1273 * fold-const.c (optimize_minmax_comparison): Take decomposed
1274 arguments code, type, op0, and op1 instead of t.
1275 (fold_binary): Update a call to optimize_minmax_comparison.
1277 * fold-const.c (fold_range_test): Take decomposed arguments
1278 code, type, op0, and op1 instead of t.
1279 (fold_binary): Update a call to fold_range_test.
1281 * fold-const.c (fold_binary_op_with_conditional_arg): Take
1282 decomposed arguments code, type, op0, and op1 instead of t.
1283 (fold_binary): Update a call to fold_range_test.
1285 2005-03-06 Kazu Hirata <kazu@cs.umass.edu>
1287 * fold-const.c (fold_binary): Avoid directly using the original
1288 expression t as much as possible.
1290 2005-03-05 Kazu Hirata <kazu@cs.umass.edu>
1292 * c-semantics.c (build_stmt): Use TYPE_P instead of
1293 IS_NON_TYPE_CODE_CLASS.
1294 * tree.h (IS_NON_TYPE_CODE_CLASS): Remove.
1295 (NON_TYPE_CHECK): Use TYPE_P instead of
1296 IS_NON_TYPE_CODE_CLASS.
1298 * fold-const.c (fold): Remove handling of binary expressions.
1300 2005-03-05 James A. Morrison <phython@gcc.gnu.org>
1302 * doc/c-tree.texi: Wrap comments in @r{}.
1303 * doc/cpp.texi: Likewise.
1304 * doc/cppinternals.texi: Likewise.
1305 * doc/extend.texi: Likewise.
1306 * doc/md.texi: Likewise.
1307 * doc/objc.texi: Likewise.
1308 * doc/sourcebuild.texi: Likewise.
1309 * doc/tm.texi: Likewise.
1312 2005-03-05 Kazu Hirata <kazu@cs.umass.edu>
1314 * predict.c (apply_return_prediction): Standardize PHI chain
1316 * tree-ssa.c (ssa_redirect_edge): Likewise.
1318 * genattrtab.c, genemit.c, genoutput.c, genrecog.c,
1319 gensupport.c, jump.c, tree-phinodes.c, unwind-dw2-fde-glibc.c:
1322 * tree-phinodes.c (remove_phi_node): Drop the last argument.
1323 * tree-flow.h: Adjust the prototype for remove_phi_node.
1324 * lambda-code.c (perfect_nestify): Adjust a call to
1327 (remove_phi_nodes_and_edges_for_unreachable_block): Likewise.
1328 * tree-outof-ssa.c (eliminate_virtual_phis, remove_ssa_form):
1330 * tree-ssa-dce.c (remove_dead_phis): Likewise.
1331 * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
1332 * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
1333 * tree-ssa.c (kill_redundant_phi_nodes): Likewise.
1335 * combine.c (simplify_and_const_int): Use gen_int_mode instead
1336 of GEN_INT (trunc_int_for_mode (...)).
1337 * loop-iv.c (iv_number_of_iterations): Likewise.
1338 * postreload.c (reload_cse_move2add): Likewise.
1339 * simplify-rtx.c (simplify_const_unary_operation,
1340 simplify_const_binary_operation): Likewise.
1341 * stor-layout.c (get_mode_bounds): Likewise.
1343 * fold-const.c (fold_binary): New.
1344 (fold): Call fold_binary on binary expressions.
1346 2005-03-05 Richard Sandiford <rsandifo@redhat.com>
1348 * doc/invoke.texi: Document new MIPS -msym32 and -mno-sym32 options.
1349 * config/mips/mips.h (MASK_SYM32, TARGET_SYM32): New macros.
1350 (TARGET_SWITCHES): Add -msym32 and -mno-sym32.
1351 (ABI_HAS_64BIT_SYMBOLS): Set to false if TARGET_SYM32.
1352 (ASM_SPEC): Pass down -msym32 and -mno-sym32.
1354 2005-03-04 Devang Patel <dpatel@apple.com>
1356 PR tree-optimization/18815
1357 * tree-if-conv.c (combine_blocks): Adjust loop header edges for
1358 loops with zero exit edges.
1360 2005-03-04 Devang Patel <dpatel@apple.com>
1362 * doc/invoke.texi: Remove reference to webpage that does not exist.
1364 2005-03-04 John David Anglin <dave.danglin@nrc-cnrc.gc.ca>
1365 Joseph S. Myers <joseph@codesourcery.com>
1368 * pa/elf.h, pa64-hpux.h, som.h (ASM_OUTPUT_EXTERNAL_REAL): Define.
1369 (ASM_OUTPUT_EXTERNAL): Call pa_hpux_asm_output_external.
1370 * pa-protos.h (pa_hpux_asm_output_external): Add prototype.
1371 * pa.c (get_plabel): Change argument to symbol_ref. Call
1372 maybe_get_identifier instead of get_identifier.
1373 (pa_hpux_asm_output_external, pa_hpux_file_end): New functions.
1374 (struct deferred_plabel): Replace name field with symbol field.
1375 (TARGET_ASM_FILE_END): Define as pa_hpux_file_end if
1376 ASM_OUTPUT_EXTERNAL_REAL is defined.
1377 (output_global_address): Use output_addr_const for output of all
1379 (output_deferred_plabels): Use symbol_ref instead of name for address
1381 * pa.h (SYMBOL_FLAG_REFERENCED, SYMBOL_REF_REFERENCED_P,
1382 ASM_OUTPUT_SYMBOL_REF): New macros.
1383 * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Use assemble_name_raw. Update
1385 (ASM_WEAKEN_LABEL): Use targetm.asm_out.globalize_label to globalize
1388 2005-03-05 Joseph S. Myers <joseph@codesourcery.com>
1390 * config.gcc (hppa*64*-*-hpux11*): Use pa/pa-hpux1111.h for
1391 *-*-hpux11.[1-9]*, not just for *-*-hpux11.11.
1393 2005-03-04 Jeff Law <law@redhat.com>
1395 * basic-block.h (rediscover_loops_after_threading): Declare.
1396 * tree-ssa-dom.c: Include cfgloop.h.
1397 (tree_ssa_dominator_optimize): Discover loops and some basic
1398 properties. Remove forwarder blocks recreated by loop header
1399 canonicalization. Also mark backedges in the CFG.
1400 * tree-ssa-threadupdate.c: Include cfgloop.h
1401 (rediscover_loops_after_threading): Define.
1402 (struct local_info): New field, JUMP_THREADED.
1403 (prune_undesirable_thread_requests): New function.
1404 (redirect_edges): Clear EDGE_ABNORMAL. If edges were threaded
1405 then record that fact for the callers of redirct_edges.
1406 (thread_block): If BB has incoming backedges, then call
1407 prune_undesirable_thraed_requests. Note when we are
1408 going to have to rediscover loop information. Return a
1409 boolean indicating if any jumps were threaded.
1410 (thread_through_all_blocks): Bubble up boolean indicating
1411 if any jumps were threaded.
1412 * Makefile.in (tree-ssa-dom.o): Depend on cfgloop.h
1413 (tree-ssa-threadupdate.o): Similarly.
1415 2005-03-04 Kazu Hirata <kazu@cs.umass.edu>
1417 * fold-const.c (fold_ternary): Unroll the "for" loop to
1420 2005-03-04 Andrew Haley <aph@redhat.com>
1422 * unwind-dw2-fde-glibc.c (struct
1423 unw_eh_callback_data.check_cache): New field.
1424 (frame_hdr_cache): New.
1425 (_Unwind_IteratePhdrCallback): Add ext_dl_phdr_info.
1426 Cache frame header info.
1428 2005-03-04 Richard Sandiford <rsandifo@redhat.com>
1430 * rtl.h (copy_rtx_ptr_loc, print_rtx_ptr_loc, join_c_conditions)
1431 (print_c_condition): Declare.
1432 * read-rtl.c (ptr_loc): New structure.
1433 (ptr_locs, ptr_loc_obstack, joined_conditions)
1434 (joined_conditions_obstack): New variables.
1435 (leading_ptr_hash, leading_ptr_eq_p, set_rtx_ptr_loc)
1436 (get_rtx_ptr_loc, copy_rtx_ptr_loc, print_rtx_ptr_loc)
1437 (join_c_conditions, print_c_condition): New functions.
1438 (apply_macro_to_string): Associate the new string with the same
1439 source location as the old one.
1440 (add_condition_to_string): Use join_c_conditions.
1441 (read_string): Use set_rtx_ptr_loc to record a filename and line
1442 number for the string.
1443 (read_rtx): Initialize the new variables above.
1444 * genattrtab.c (write_test_expr, write_attr_value): Use
1446 * genconditions.c (write_header): Don't define MAYBE_EVAL. Move its
1447 comment above the GCC_VERSION check.
1448 (write_one_condition): Use print_rtx_ptr_loc and print_c_condition.
1449 Inline the definition of MAYBE_EVAL.
1450 * genemit.c (gen_expand, gen_split): Use print_rtx_ptr_loc.
1451 * genoutput.c (process_template): Likewise.
1452 * genpreds.c (write_predicate_subfunction): Likewise.
1453 (write_predicate_expr): Use print_c_condition.
1454 * genrecog.c (write_cond): Likewise.
1455 * gensupport.c (process_rtx): Use join_c_conditions to join the
1456 conditions of a define_insn_and_split. Record a source location
1457 for the string after the "&&".
1458 (alter_test_for_insn): Use join_c_conditions.
1460 2005-03-04 Andrew Pinski <pinskia@physics.uc.edu>
1463 2005-03-03 James A. Morrison <phython@gcc.gnu.org>
1464 PR tree-optimization/15784
1465 * fold-const.c (fold): Fold ~A + 1 to -A. Fold -A - 1
1468 2005-03-04 Ben Elliston <bje@au.ibm.com>
1470 * gcc.c (option_map): Add --coverage.
1471 (LINK_COMMAND_SPEC): Pass -lgcov for `coverage'.
1472 (cc1_options): Pass -fprofile-arcs -ftest-coverage for `coverage'.
1473 * config/darwin.h: Pass -lgcov for `coverage'.
1474 * doc/invoke.texi (Debugging Options): Document --coverage.
1476 2005-03-04 Kazu Hirata <kazu@cs.umass.edu>
1478 * gcse.c (bypass_block): Use find_edge wherever possible.
1480 2005-03-03 Daniel Berlin <dberlin@dbrelin.org>
1484 * c-opts.c (c_common_parse_file): Call start_source_file
1485 and end_source_file at the approriate times.
1487 * dwarf2out.c (dwarf2out_finish): Don't auto-end
1488 the main file, it will be done for us now.
1490 2005-03-04 Kazu Hirata <kazu@cs.umass.edu>
1492 * fold-const.c (fold_ternary): New.
1493 (fold): Call fold_ternary on ternary expressions. Remove
1494 handling of ternary expressions.
1496 2005-03-03 James A. Morrison <phython@gcc.gnu.org>
1498 PR tree-optimization/15784
1499 * fold-const.c (fold): Fold ~A + 1 to -A. Fold -A - 1
1502 2005-03-03 David Edelsohn <edelsohn@gnu.org>
1504 * config/rs6000/predicates.md (branch_comparison_operator):
1505 Convert from C block to conditional format.
1507 2005-03-03 Jan Hubicka <jh@suse.cz>
1509 * tree-dfa.c (add_referenced_var): Don't walk initializer of external
1510 and non-constant public variables.
1512 2005-03-03 Kazu Hirata <kazu@cs.umass.edu>
1514 * tree-cfg.c (stmt_starts_bb_p): Clean up by replacing code
1517 * cfgexpand.c (construct_exit_block): Use EDGE_PRED instead of
1520 * tree-phinodes.c (remove_phi_node): Clean up by factoring out
1521 calls to release_ssa_name and release_phi_node.
1523 * fold-const.c (fold): Remove handling of unary expressions.
1525 * fold-const.c (fold_unary): Avoid directly using the original
1526 expression t as much as possible.
1528 2005-03-03 Roger Sayle <roger@eyesopen.com>
1529 Andrew Pinski <pinskia@physics.uc.edu>
1531 * jump.c (redirect_exp_1): If nlabel is a NULL pointer create a
1532 RETURN rtx, and not a LABEL_REF containing a NULL pointer.
1534 2005-03-03 Hans-Peter Nilsson <hp@axis.com>
1536 Describe special registers SRP and MOF as allocatable registers.
1537 * config/cris/cris.c (cris_md_asm_clobbers): New function.
1538 (TARGET_MD_ASM_CLOBBERS): Define to cris_md_asm_clobbers.
1539 (cris_conditional_register_usage): Enable CRIS_MOF_REGNUM if
1540 TARGET_HAS_MUL_INSNS.
1541 (cris_print_operand) <case 'd'>: New case.
1542 <case REG>: Allow CRIS_MOF_REGNUM and CRIS_SRP_REGNUM.
1543 * config/cris/cris.h (CRIS_PC_REGNUM, CRIS_SRP_REGNUM): Don't
1545 (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS, CALL_USED_REGISTERS)
1546 (REG_ALLOC_ORDER): Update for MOF.
1547 (enum reg_class): New members MOF_REGS, GENERAL_REGS and
1549 (GENERAL_REGS): No longer a define of ALL_REGS.
1550 (REGNO_REG_CLASS, REG_CLASS_CONTENTS, REG_CLASS_NAMES)
1551 (PREFERRED_RELOAD_CLASS, REGISTER_NAMES, DBX_REGISTER_NUMBER):
1553 (CRIS_SPECIAL_REGS_CONTENTS): New macro.
1554 (REG_CLASS_FROM_LETTER): Allocate 'h' and 'x'.
1555 (SECONDARY_RELOAD_CLASS): Define.
1556 (STACK_POINTER_REGNUM): Define as CRIS_SP_REGNUM.
1557 (FRAME_POINTER_REGNUM): Define as CRIS_FP_REGNUM.
1558 (ARG_POINTER_REGNUM): Define as CRIS_AP_REGNUM.
1559 (STATIC_CHAIN_REGNUM): Define as CRIS_STATIC_CHAIN_REGNUM.
1560 (REGISTER_MOVE_COST): Define.
1561 (PIC_OFFSET_TABLE_REGNUM): Define in terms of CRIS_GOT_REGNUM.
1562 * config/cris/cris.md (CRIS_GOT_REGNUM, CRIS_STATIC_CHAIN_REGNUM)
1563 (CRIS_FP_REGNUM, CRIS_SP_REGNUM, CRIS_SRP_REGNUM, CRIS_AP_REGNUM)
1564 (CRIS_MOF_REGNUM): New define_constants.
1565 ("*movsi_internal", "movhi", "movqi", "movsf"): Add alternatives for
1567 ("reload_inhi", "reload_outhi", "reload_inqi", "reload_outqi"):
1569 ("umulhisi3", "umulqihi3", "mulsi3", "mulqihi3", "mulhisi3")
1570 ("mulsidi3", "umulsidi3", "smulsi3_highpart", "umulsi3_highpart"):
1571 Adjust for MOF being properly described as a register.
1572 (indir_to_reg_split): Name this split. Conditionalize on the
1573 destination register being a general register.
1574 (movei): Conditionalize on on operands 0 and 1 having the same
1577 2005-03-03 Alan Modra <amodra@bigpond.net.au>
1580 * config/rs6000/rs6000.c (rs6000_override_options): Don't allow
1581 -mcpu to override any other explicitly given flags.
1583 2005-03-02 J"orn Rennecke <joern.rennecke@st.com>
1585 * recog.c (verify_changes, confirm_change_group): New functions,
1586 broken out of apply_change_group.
1587 (apply_change_group): Use them.
1588 * recog.h (verify_change, confirm_change_group): Declare.
1589 * rtl.h (redirect_jump_2): Declare.
1590 * jump.c (redirect_exp, invert_exp): Delete.
1591 (invert_exp_1): Take second parameter. Return value. Changed caller.
1592 (redirect_jump_2): New function, broken out of redirect_jump.
1593 (redirect_jump): Use redirect_jump_1 and redirect_jump_2.
1594 (invert_jump): Use invert_jump_1 and redirect_jump_2.
1595 * ifcvt.c (dead_or_predicable): Use redirect_jump_2.
1597 2005-03-02 Geoffrey Keating <geoffk@apple.com>
1599 * varasm.c (named_section): Use xstrdup rather than doing it by
1602 * config/darwin8.h (LIB_SPEC): Switch -lmx and -lSystem.
1604 2005-03-02 Devang Patel <dpatel@apple.com>
1606 Undo PR tree-optimization/18815 fix.
1608 2005-03-02 Devang Patel <dpatel@apple.com>
1610 PR tree-optimization/18815
1611 * tree-if-conv.c (combine_blocks): Adjust loop header edges for
1612 loops with zero exit edges.
1614 2005-03-02 Kazu Hirata <kazu@cs.umass.edu>
1616 * cfg.c (connect_src, connect_dest, disconnect_src,
1617 disconnct_dest): New.
1618 (unchecked_make_edge, remove_edge, redirect_edge_succ,
1619 redirect_edge_pred): Use the new functions.
1621 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Call
1622 free_dominance_info only when needed.
1624 2005-03-02 David Edelsohn <edelsohn@gnu.org>
1627 * config/rs6000/predicates.md (reg_or_cint64_operand): Fix typo.
1628 (reg_or_sub_cint64_operand): Same.
1630 2005-03-02 Jeff Law <law@redhat.com>
1632 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Fix setting of
1633 CFG_ALTERED in the main DOM iteration loop.
1635 2005-03-02 Mark Mitchell <mark@codesourcery.com>
1638 * varasm.c (initializer_constant_valid_p): Allow conversions
1639 between OFFSET_TYPEs. Tidy.
1641 2005-03-02 Hans-Peter Nilsson <hp@axis.com>
1643 * config/cris/cris.md ("return"): Remove epilogue delay list
1646 2005-03-02 Daniel Jacobowitz <dan@codesourcery.com>
1648 * config/arm/linux-elf.h (ARM_FUNCTION_PROFILER): Do not use (PLT)
1650 * config/arm/netbsd-elf.h (ARM_FUNCTION_PROFILER): Likewise.
1652 2005-03-02 Kazu Hirata <kazu@cs.umass.edu>
1654 * cfgloop.h, cfgloopanal.c, cfgloopmanip.c, conflict.c,
1655 loop-init.c, loop-unroll.c, print-tree.c, reg-notes.def,
1656 config/m68k/m68k.c, config/mips/mips.h,
1657 config/rs6000/rs6000-protos.h, doc/contrib.texi,
1658 doc/include/gcc-common.texi: Update copyright.
1660 PR middle-end/18029 and PR middle-end/18030
1661 * expr.c (optimize_bitfield_assignment_op): Add a special case
1662 to handle BIT_IOR_EXPR and BIT_XOR_EXPR.
1664 * fold-const.c (fold_unary): New.
1665 (fold): Call fold_unary on unary expressions.
1667 2005-03-02 Richard Guenther <rguenth@gcc.gnu.org>
1669 * cgraph.h (struct cgraph_edge): Add prev_caller and
1671 (cgraph_node_remove_callees): Export.
1672 * cgraph.c (cgraph_create_edge): Initialize prev_caller
1674 (cgraph_edge_remove_callee): New function.
1675 (cgraph_edge_remove_caller): Likewise.
1676 (cgraph_remove_edge): Use.
1677 (cgraph_redirect_edge_callee): Likewise.
1678 (cgraph_node_remove_callees): New function.
1679 (cgraph_node_remove_callers): Likewise.
1680 (cgraph_remove_node): Use.
1681 * tree-optimize.c (tree_rest_of_compilation): Use
1682 cgraph_node_remove_callees instead of manual loop.
1683 * cgraphunit.c (cgraph_finalize_function): Likewise.
1684 (cgraph_expand_function): Likewise.
1685 (cgraph_remove_unreachable_nodes): Likewise.
1687 2005-03-02 Joseph S. Myers <joseph@codesourcery.com>
1690 * c-tree.h (undeclared_variable, build_external_ref): Add extra
1692 * c-decl.c (undeclared_variable): Take location as argument.
1693 * c-typeck.c (build_external_ref): Likewise.
1694 * c-parser.c (c_parser_postfix_expression): Pass location of
1695 identifier to build_external_ref.
1697 2005-03-01 David Edelsohn <edelsohn@gnu.org>
1699 * config/rs6000/rs6000.md (cceq splitter): Use operand mode, not
1700 CCEQ mode for branch_positive_comparison_operator test.
1701 * config/rs6000/predicates (branch_comparison_operator): Revert to
1703 (scc_comparison_operator): Same.
1704 (branch_positive_comparison_operator): Same.
1706 2005-03-01 Hans-Peter Nilsson <hp@axis.com>
1708 * config/cris/cris.c (cris_eligible_for_epilogue_delay)
1709 (cris_delay_slots_for_epilogue): Remove.
1710 (save_last): Move into cris_target_asm_function_epilogue.
1711 (cris_target_asm_function_epilogue): Remove tests for file being
1713 * config/cris/cris-protos.h (cris_eligible_for_epilogue_delay)
1714 (cris_delay_slots_for_epilogue): Remove prototypes.
1715 * config/cris/cris.h (DELAY_SLOTS_FOR_EPILOGUE)
1716 (ELIGIBLE_FOR_EPILOGUE_DELAY): Do not define.
1718 2005-03-01 David Edelsohn <edelsohn@gnu.org>
1720 * config/rs6000/predicates.md (branch_comparison_operator): Change
1721 to define_special_predicate.
1722 (scc_comparison_operator): Same.
1723 (branch_positive_comparison_operator): Same.
1725 2005-03-01 Daniel Berlin <dberlin@dberlin.org>
1727 * Makefile.in (tree-ssa-sink.o): New.
1728 (OBJS-common): Add tree-ssa-sink.o.
1729 * common.opt: Add -ftree-sink
1730 * opts.c (decode_options): flag_tree_sink is set at O1 or higher.
1731 * timevar.def (TV_TREE_SINK): new timevar.
1732 * tree-flow.h (is_hidden_global_store): Prototype.
1733 * tree-optimize.c (init_tree_optimization_passes): Add
1735 * tree-pass.h (pass_sink_code): New.
1736 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Move checking
1737 for non-obvious global store store to is_hidden_global_store, and
1738 call that new function.
1739 * tree-ssa-sink.c: New file.
1740 * doc/invoke.texi: Document -fdump-tree-sink and -ftree-sink.
1741 * doc/passes.texi: Document forward store motion.
1742 * testsuite/gcc.dg/tree-ssa/ssa-sink-1.c: New test
1743 * testsuite/gcc.dg/tree-ssa/ssa-sink-2.c: New test
1744 * testsuite/gcc.dg/tree-ssa/ssa-sink-3.c: New test
1745 * testsuite/gcc.dg/tree-ssa/ssa-sink-4.c: New test
1747 2005-03-01 Per Bothner <per@bothner.com>
1749 * diagnostic.c (diagnostic_build_prefix): If USE_MAPPED_LOCATION
1750 and we have a non-zero column-number, add it to the message.
1751 Also factor out the diagnostic_kind_text.
1753 2005-03-01 Zdenek Dvorak <dvorakz@suse.cz>
1755 * cfgloop.c (flow_loop_entry_edges_find, flow_loop_exit_edges_find,
1756 flow_loop_pre_header_scan, flow_loop_pre_header_find,
1757 flow_loop_scan): Removed.
1758 (flow_loop_dump): Do not dump removed fields.
1759 (flow_loop_free): Do not free removed fields.
1760 (flow_loops_find): Flags argument removed. Do not call flow_loop_scan.
1761 (loop_exit_edge_p): New function.
1762 * cfgloop.h (struct loop): Removed fields pre_header, pre_header_edges,
1763 num_pre_header_edges, entry_edges, num_entries, exit_edges,
1764 num_exits, exits_doms.
1765 (LOOP_TREE, LOOP_PRE_HEADER, LOOP_ENTRY_EDGES, LOOP_EXIT_EDGES,
1766 LOOP_EDGES, LOOP_ALL): Removed.
1767 (flow_loop_scan): Declaration removed.
1768 (loop_exit_edge_p, mark_loop_exit_edges): Declare.
1769 * cfgloopmanip.c (create_loop_notes): Do not pass flags to
1771 * ifcvt.c (mark_loop_exit_edges): Moved to cfgloopanal.c.
1772 (if_convert): Call flow_loops_find and flow_loops_free
1773 when calling mark_loop_exit_edges.
1774 * cfgloopanal.c (mark_loop_exit_edges): Moved from
1775 ifcvt.c. Removed the flow_loops_find, flow_loops_free and
1776 free_dominance_info calls.
1777 * loop-init.c (flow_loops_find): Ditto.
1778 * passes.c (rest_of_handle_branch_prob): Ditto.
1779 * lambda-code.c (perfect_nestify): Do not call flow_loops_find.
1780 * loop-unroll.c (analyze_insns_in_loop): Do not use
1782 * predict.c (predict_loops): Do not call flow_loop_scan.
1783 Use get_loop_exit_edges.
1784 (tree_estimate_probability): Do not pass flags to flow_loops_find.
1785 * tree-if-conv.c (bb_with_exit_edge_p): Take loop as argument.
1786 Do not use EDGE_LOOP_EXIT.
1787 (tree_if_convert_cond_expr, if_convertible_modify_expr_p): Pass loop
1788 to bb_with_exit_edge_p.
1789 (if_convertible_loop_p): Do not call flow_loop_scan. Use
1790 loop->single_exit. Do not use EDGE_LOOP_EXIT. Pass loop
1791 to bb_with_exit_edge_p.
1792 (combine_blocks): Pass loop to bb_with_exit_edge_p. Do not use
1794 * tree-loop-linear.c (linear_transform_loops): Do not call
1795 flow_loop_scan. Use loop->single_exit.
1796 * tree-vect-analyze.c (vect_analyze_operations): Use loop->single_exit.
1797 (vect_analyze_loop_form): Do not call flow_loop_scan.
1798 * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Use
1800 (vect_do_peeling_for_loop_bound): Use loop_preheader_edge and
1802 * tree-vectorizer.c (slpeel_update_phis_for_duplicate_loop,
1803 slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
1804 slpeel_tree_duplicate_loop_to_edge_cfg,
1805 slpeel_verify_cfg_after_peeling, slpeel_tree_peel_loop_to_edge):
1806 Use loop_preheader_edge and loop->single_exit. Do not call
1809 2005-03-01 Nick Clifton <nickc@redhat.com>
1811 * config/arm/arm.c (thumb_find_work_register): Check all of the
1812 argument registers to see if they are free, and a couple of
1813 special cases where the last argument register but can be proved
1814 to be available during the function's prologue.
1815 (print_multi_reg, arm_compute_save_reg0_reg12_mask,
1816 output_return_instruction, emit_multi_reg_push, thumb_pushpop,
1817 thumb_unexpanded_epilogue): Use unsigned long as the type for the
1819 (thumb_compute_save_reg_mask): Likewise. Also use
1820 thumb_find_work_register() to ensure that there is agreement about
1821 which work register is going to be used in the prologue.
1822 (thumb_output_function_prologue): Use unsigned long as the type
1823 for the register bit-mask. Also delay pushing the link register if
1824 other high registers are going to be pushed.
1825 (thumb_compute_save_reg_mask, emit_multi_reg_push,
1826 print_multi-reg, number_of_first_bit_set, thumb_pushpop): Remove
1827 redundant prototypes.
1829 2005-02-28 John David Anglin <dave.anglin#nrc-cnrc.gc.ca>
1832 * pa.h (GO_IF_LEGITIMATE_ADDRESS): Allow allow hard registers during
1833 and after reload in REG+REG indexed addresses without REG_POINTER
1834 set in the base and not set in the index.
1836 2005-02-28 Kaz Kojima <kkojima@gcc.gnu.org>
1838 * config/sh/linux.h (MD_EXEC_PREFIX, MD_STARTFILE_PREFIX):
1839 Don't undefine here.
1840 (HANDLE_PRAGMA_PACK_PUSH_POP): Delete.
1841 (NO_IMPLICIT_EXTERN_C, CPLUSPLUS_CPP_SPEC): Likewise.
1842 (TARGET_OS_CPP_BUILTINS): Use LINUX_TARGET_OS_CPP_BUILTINS.
1843 (LIB_SPEC, LINK_EH_SPEC, STARTFILE_SPEC, ENDFILE_SPEC,
1844 LINK_GCC_C_SEQUENCE_SPEC, USE_LD_AS_NEEDED, TARGET_C99_FUNCTIONS):
1846 * config.gcc (sh*-*-linux*): Use config/linux.h.
1848 2005-02-28 Dale Johannesen <dalej@apple.com>
1849 Stan Shebs <shebs@apple.com>
1851 Rewrite of 64-bit Darwin structure-by-value pass/return.
1852 * config/rs6000/rs6000.h (CUMULATIVE_ARGS): New fields
1853 intoffset, use_stack, named.
1854 * config/rs6000/rs6000.c (rs6000_darwin64_function_arg): Remove.
1855 (rs6000_darwin64_record_arg_advance_flush): New.
1856 (rs6000_darwin64_record_arg_advance_recurse): New.
1857 (rs6000_darwin64_record_arg_flush): New.
1858 (rs6000_darwin64_record_arg_recurse): New.
1859 (rs6000_darwin64_record_arg): New.
1860 (rs6000_return_in_memory): Remove AGGREGATE_TYPE_P check.
1861 (function_arg_boundary): Handle 128-bit aligned structs.
1862 (function_arg_advance): Rewrite darwin64 struct handling.
1863 (function_arg): Call rs6000_darwin64_record_arg.
1864 (function_arg_partial_nregs): Handle darwin64 structs.
1865 (rs6000_darwin64_function_value): Remove.
1866 (rs6000_function_value): Call rs6000_darwin64_record_arg.
1868 2005-02-28 Roger Sayle <roger@eyesopen.com>
1870 PR tree-optimization/20216
1871 * tree-chrec.c (tree_fold_factorial): Delete.
1872 (tree_fold_binomial): Change argument list to take a return type
1873 and change the type of K to unsigned int. Rewrite to avoid explicit
1874 evaluation of factorials, and (recursively) calling fold to perform
1875 compile-time arithmetic. Return NULL on (internal) overflow.
1876 (chrec_evaluate): Change type of K to an unsigned int. Avoid
1877 calling tree_fold_binomial unnecessarily. Return chrec_dont_know
1878 if any intermediate calculation overflows.
1879 (chrec_apply): Update call to chrec_evaluate.
1881 2005-02-28 James E Wilson <wilson@specifixinc.com>
1883 * config/mips/mips.h (NO_PROFILE_COUNTERS): Define.
1885 2005-02-28 Joseph S. Myers <joseph@codesourcery.com>
1888 * c-parser.c (c_parser_compound_statement): Return error_mark_node
1889 instead of NULL_TREE on error.
1891 2005-02-28 David Edelsohn <edelsohn@gnu.org>
1893 * config/rs6000/rs6000.c (EASY_VECTOR_15): Remove.
1894 (EASY_VECTOR_15_ADD_SELF): Remove.
1895 (num_insns_constant_wide): Not static.
1896 (validate_condition_mode): Not static.
1897 (toc_relative_expr_p): Not static.
1898 (legitimate_indirect_address_p): Not static.
1899 (macho_lo_sum_memory_operand): Not static.
1900 (invalid_e500_subreg): Not static.
1901 (easy_vector_same): Not static.
1902 (easy_vector_splat_const): Not static.
1903 (RS6000_SYMBOL_REF_TLS_P): Remove.
1904 (any_operand): Delete.
1905 (any_parallel_operand): Delete.
1906 (count_register_operand): Delete.
1907 (altivec_register_operand): Delete.
1908 (xer_operand): Delete.
1909 (s8bit_cint_operand): Delete.
1910 (short_cint_operand): Delete.
1911 (u_short_cint_operand): Delete.
1912 (non_short_cint_operand): Delete.
1913 (exact_log2_cint_operand): Delete.
1914 (gpc_reg_operand): Delete.
1915 (cc_reg_operand): Delete.
1916 (cc_reg_not_cr0_operand): Delete.
1917 (reg_or_short_operand): Delete.
1918 (reg_or_neg_short_operand): Delete.
1919 (reg_or_aligned_short_operand): Delete.
1920 (reg_or_u_short_operand): Delete.
1921 (reg_or_cint_operand): Delete.
1922 (reg_or_arith_cint_operand): Delete.
1923 (reg_or_add_cint64_operand): Delete.
1924 (reg_or_sub_cint64_operand): Delete.
1925 (reg_or_logical_cint_operand): Delete.
1926 (got_operand): Delete.
1927 (got_no_const_operand): Delete.
1928 (easy_fp_constant): Delete.
1929 (easy_vector_constant): Delete.
1930 (easy_vector_constant_add_self): Delete.
1931 (zero_constant): Delete.
1932 (zero_fp_constant): Delete.
1933 (volatile_mem_operand): Delete.
1934 (offsettable_mem_operand): Delete.
1935 (mem_or_easy_const_operand): Delete.
1936 (add_operand): Delete.
1937 (non_add_cint_operand): Delete.
1938 (logical_operand): Delete.
1939 (non_logical_cint_operand): Delete.
1940 (mask_operand): Delete.
1941 (mask_operand_wrap): Delete.
1942 (mask64_operand): Delete.
1943 (mask64_2_operand): Delete.
1944 (and64_operand): Delete.
1945 (and64_2_operand): Delete.
1946 (and_operand): Delete.
1947 (reg_or_mem_operand): Delete.
1948 (lwa_operand): Delete.
1949 (symbol_ref_operand): Delete.
1950 (call_operand): Delete.
1951 (current_file_function_operand): Delete.
1952 (input_operand): Delete.
1953 (rs6000_nonimmediate_operand): Delete.
1954 (rs6000_tls_symbol_ref): Delete.
1955 (save_world_operation): Delete.
1956 (restore_world_operation): Delete.
1957 (load_multiple_operation): Delete.
1958 (store_multiple_operation): Delete.
1959 (vrsave_operation): Delete.
1960 (mfcr_operation): Delete.
1961 (mtcrf_operation): Delete.
1962 (lmw_operation): Delete.
1963 (stmw_operation): Delete.
1964 (branch_comparison_operator): Delete.
1965 (branch_positive_comparison_operator): Delete.
1966 (scc_comparison_operator): Delete.
1967 (trap_comparison_operator): Delete.
1968 (boolean_operator): Delete.
1969 (boolean_or_operator): Delete.
1970 (min_max_operator): Delete.
1971 * config/rs6000/rs6000.h (RS6000_SYMBOL_REF_TLS_P): Move to here.
1972 (EASY_VECTOR_15): Moved to here.
1973 (EASY_VECTOR_15_ADD_SELF): Move to here.
1974 (PREDICATE_CODES): Delete.
1975 * config/rs6000/rs6000-protos.h: Delete predicate functions.
1976 Declare functions no longer static.
1977 * config/rs6000/predicates.md: New.
1978 * config/rs6000/rs6000.md: Include predicates.md
1980 2005-02-28 Kazu Hirata <kazu@cs.umass.edu>
1982 * calls.c (emit_call_1): Don't use REG_ALWAYS_RETURN.
1983 (emit_library_call_value_1): Don't use LCT_ALWAYS_RETURN and
1985 * cfgrtl.c (need_fake_edge_p): Likewise.
1986 * combine.c (distribute_notes): Likewise.
1987 * emit-rtl.c (try_split): Likewise.
1988 * recog.c (peephole2_opimize): Likewise.
1989 * reg-notes.def (ALWAYS_RETURN): Remove.
1990 * rtl.h (LCT_ALWAYS_RETURN): Remove.
1991 * tree-cfg.c (need_fake_edge_p): Don't use ECF_ALWAYS_RETURN.
1992 * tree.h (ECF_ALWAYS_RETURN): Remove.
1994 2005-02-28 Roger Sayle <roger@eyesopen.com>
1997 * tree-ssa.c (tree_ssa_useless_type_conversion_1): A conversion
1998 between different machine modes is never a "useless" conversion.
2000 2005-02-28 Geert Bosch <bosch@gnat.com>
2003 * doc/contrib.texi: List contributors for Ada front end
2005 2005-02-28 Paolo Bonzini <bonzini@gnu.org>
2007 * simplify-rtx.c (simplify_unary_operation_1,
2008 simplify_const_unary_operation): New, extracted from...
2009 (simplify_unary_operation): ... this one.
2010 (simplify_binary_operation_1,
2011 simplify_const_binary_operation): New, extracted from...
2012 (simplify_binary_operation): ... this one.
2013 * rtl.h (simplify_const_unary_operation,
2014 simplify_const_binary_operation): Add prototypes.
2016 2005-02-28 Julian Brown <julian@codesourcery.com>
2018 * config/elfos.h: Revert my patch from 2005-02-25 since it broke
2019 building libjava and caused PR regression/20228.
2021 2005-02-28 Paolo Bonzini <bonzini@gnu.org>
2024 * Makefile.in (host_subdir): New.
2025 (build_objdir): New. Replace ../$(build_subdir) with it throughout.
2026 * configure: Regenerate.
2028 2005-02-27 Zack Weinberg <zack@codesourcery.com>
2030 * config/alpha/t-osf4, config/arm/t-netbsd, config/ia64/t-hpux
2031 * config/pa/t-hpux-shlib (SHLIB_INSTALL): Create the
2032 installation directory first.
2034 2005-02-28 Hans-Peter Nilsson <hp@axis.com>
2037 * config/cris/cris.h (EXTRA_CONSTRAINT_Q): Accept only (mem (reg)),
2038 not including (reg). Do not check for reg being CRIS_PC_REGNUM.
2039 (EXTRA_MEMORY_CONSTRAINT): Define as 'Q'.
2040 * config/cris/cris.md: Tweak comments referring to Q.
2041 ("cmpsi", "cmphi", "cmpqi", "*movsi_internal", "movhi")
2042 ("movstricthi", "movqi", "movstrictqi", "movsf", "addsi3")
2043 ("addhi3", "addqi3", "subsi3", "subhi3", "subqi3")
2044 ("*expanded_andsi", "*expanded_andhi", "*andhi_lowpart", "andqi3")
2045 ("*andqi_lowpart", "iorsi3", "iorhi3", "iorqi3", "uminsi3"):
2046 Insert spaces in constraints to align alternatives vertically for
2048 ("cmphi"): Ditto. Add separate alternative for operand 0 "r",
2051 2005-02-27 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2053 PR rtl-optimization/17728
2054 * pa.md (mulsi3, divsi3, udivsi3, modsi3): Change predicate for
2055 operand 0 from general_operand to move_dest_operand.
2057 2005-02-26 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2059 * pa/elf.h, pa/som.h (ASM_OUTPUT_EXTERNAL): Use assemble_name_raw
2060 instead of trying to save and restore TREE_SYMBOL_REFERENCED.
2061 * pa/pa64-hpux.h (ASM_OUTPUT_TYPE_DIRECTIVE): Define.
2062 (ASM_OUTPUT_EXTERNAL): Don't save and restore TREE_SYMBOL_REFERENCED.
2064 2005-02-26 Nathanael Nerode <neroden@gcc.gnu.org>
2066 * configure.ac: Rename cc_for_cross_gnattools to host_cc_for_libada.
2067 * configure: Regenerate.
2068 * libada-mk.in: Remove CC; rename
2069 cc_for_cross_gnattools / cc_set_by_configure to host_cc_for_libada.
2071 2005-02-26 Andrew Pinski <pinskia@physics.uc.edu>
2074 * tree-ssa-alias.c (count_uses_and_derefs): If we have TREE_LIST
2075 for the lhs, also walk over the tree. Likewise for rhs.
2077 2005-02-26 Zdenek Dvorak <dvorakz@suse.cz>
2079 * tree-ssa-dom.c (simple_iv_increment_p): New function.
2080 (simplify_rhs_and_lookup_avail_expr, eliminate_redundant_computations):
2081 Do not propagate value of iv before increment over the increment.
2083 2005-02-25 Joseph S. Myers <joseph@codesourcery.com>
2085 * c-parser.c: New file.
2086 * c-parse.in: Remove.
2087 * Makefile.in (c-parse.o-warn, c-parse.o, c-parse.c, c-parse.y):
2089 (c-parser.o): Add dependencies.
2090 (C_AND_OBJC_OBJC, C_OBJS, gcc.srcextra, GTFILES, distclean,
2091 maintainer-clean, TAGS): Update.
2092 * c-config-lang.in (gtfiles): Update.
2093 * gengtype-lex.l: Don't handle "@@".
2094 * stub-objc.c (objc_get_class_ivars, objc_build_throw_stmt,
2095 objc_build_synchronized, objc_begin_try_stmt,
2096 objc_begin_catch_clause, objc_finish_catch_clause,
2097 objc_build_finally_clause, objc_finish_try_stmt): New.
2098 * c-tree.h (struct c_declspecs): Add declspecs_seen_p and
2100 (c_parse_init): Update comment.
2101 * c-decl.c (c_init_decl_processing): Update comment.
2102 (build_null_declspecs, declspecs_add_qual, declspecs_add_type,
2103 declspecs_add_scspec, declspecs_add_attrs): Initialize and update
2104 new c_declspecs members.
2106 2005-02-25 Julian Brown <julian@codesourcery.com>
2108 * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK
2109 from being used for symbols with vague linkage when
2110 HAVE_GAS_COMDAT_GROUP is true.
2112 2005-02-25 Mark Mitchell <mark@codesourcery.com>
2114 * doc/include/gcc-common.texi (version-GCC): Update to 4.1.
2116 2005-02-25 Steve Ellcey <sje@cup.hp.com>
2119 * doc/tm.texi (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Document.
2120 (LIBGCC2_HAS_DF_MODE): New.
2121 (LIBGCC2_HAS_XF_MODE): New.
2122 (LIBGCC2_HAS_TF_MODE): New.
2123 * libgcc2.h (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
2124 (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
2125 * libgcc2.c (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
2126 (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
2127 (LIBGCC2_HAS_DF_MODE): New name for HAVE_DFMODE.
2128 * config/ia64/t-ia64 (LIB1ASMFUNCS): Remove __compat
2129 and add _fixtfdi, _fixunstfdi, _floatditf
2130 * lib1funcs.asm: Remove L__compat. Add L_fixtfdi,
2131 L_fixunstfdi, L_floatditf.
2132 * config/ia64/hpux.h (LIBGCC2_HAS_XF_MODE): Define.
2133 (LIBGCC2_HAS_TF_MODE): Define.
2135 2005-02-25 Diego Novillo <dnovillo@redhat.com>
2137 PR tree-optimization/20204
2138 * tree-into-ssa.c (insert_phi_nodes_for): Do not use
2139 REWRITE_THIS_STMT markers on PHI nodes.
2140 (rewrite_initialize_block): Likewise.
2142 2005-02-25 Mark Mitchell <mark@codesourcery.com>
2144 * version.c (version_string): Update to 4.1.
2146 2005-02-25 Paolo Carlini <pcarlini@suse.de>
2148 * doc/extend.texi (5.24 Declaring Attributes of Functions)<noreturn>:
2149 Clarify that the alternative way doesn't work in GNU C++.
2151 2005-02-25 Zdenek Dvorak <dvorakz@suse.cz>
2153 PR tree-optimization/19937
2154 * tree-ssa-loop-ivopts.c (rewrite_use_compare): Cast the final value
2155 to the type of the induction variable.
2157 2005-02-25 Kaz Kojima <kkojima@gcc.gnu.org>
2159 PR rtl-optimization/20117
2160 * bb-reorder.c (duplicate_computed_gotos): Don't duplicate
2161 the block including noncopyable insn.
2163 2005-02-24 Kazu Hirata <kazu@cs.umass.edu>
2165 * cse.c (delete_trivially_dead_insns): Speed up by minimizing
2166 calls to find_reg_note.
2168 2005-02-24 Richard Henderson <rth@redhat.com>
2171 * tree-sra.c (instantiate_element): Copy TREE_THIS_VOLATILE from
2174 2005-02-24 Fariborz Jahanian <fjahanian@apple.com>
2176 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Check for
2177 vector types if to use base reg for misaligned non-word ld/std.
2179 2005-02-24 Hans-Peter Nilsson <hp@axis.com>
2182 * config/cris/cris.c (cris_target_asm_function_prologue): Create
2183 dwarf2 label manually and put it after, not before the prologue.
2185 2005-02-24 David Edelsohn <edelsohn@gnu.org>
2188 * reload.c (operands_match_p): Only increment register number for
2189 SCALAR_INT_MODE_P modes in multiple hard registers.
2191 * config/rs6000/rs6000.md (trunctfdf2): Remove register constraints.
2194 2005-02-24 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
2196 * ChangeLog.5: Fix log message typo(s).
2197 * ChangeLog.7: Likewise.
2198 * ChangeLog.tree-ssa: Likewise.
2199 * cfgexpand.c: Fix comment typo(s).
2200 * conflict.c: Likewise.
2201 * defaults.h: Likewise.
2202 * dwarf2out.c: Likewise.
2204 * ggc-page.c: Likewise.
2205 * tree-eh.c: Likewise.
2206 * tree-ssa-dom.c: Likewise.
2208 2005-02-24 Jakub Jelinek <jakub@redhat.com>
2211 * mklibgcc.in: Pass -DSHARED when compiling all *_s${objext} objects.
2212 * config/rs6000/darwin-ldouble.c: Only use the .symver directives
2213 if SHARED is defined.
2216 * config/rs6000/rs6000.md (LTU, GTU sCC splitters): Add earlyclobber,
2217 allow splitting only if operands 0 and 3 don't overlap.
2219 2005-02-24 Richard Henderson <rth@redhat.com>
2222 * builtins.c (fold_builtin_complex_mul, fold_builtin_complex_div): New.
2223 (fold_builtin_1): Call them.
2224 * fold-const.c (fold_complex_mult_parts): Split out from ...
2225 (fold_complex_mult): ... here. Fix typo in both imaginary case.
2226 (fold_complex_div_parts, fold_complex_div): New.
2228 * tree.h (fold_complex_mult_parts, fold_complex_div_parts): Declare.
2230 2005-02-24 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2232 * tree-ssa-ccp.c (visit_assignment): Verify that result of
2233 VIEW_CONVERT_EXPR is_gimple_min_invariant.
2235 * print-tree.c (print_node_brief): Print LABEL_DECL_UID.
2236 (print_node): Likewise.
2237 Print TYPE_SIZES_GIMPLIFIED.
2239 2005-02-24 Hans-Peter Nilsson <hp@axis.com>
2241 * config/cris/cris.md ("umulhisi3", "umulqihi3", "mulsi3")
2242 ("mulqihi3", "mulhisi3", "mulsidi3", "umulsidi3"): Mark input
2243 operands as commutative in constraints.
2245 2005-02-24 Diego Novillo <dnovillo@redhat.com>
2247 * tree-into-ssa.c: Re-organize internal functions.
2249 2005-02-24 Richard Henderson <rth@redhat.com>
2252 * c-opts.c (c_common_post_options): Set flag_complex_method to 2
2254 * common.opt (fcx-limited-range): New.
2255 * opts.c (set_fast_math_flags): Set flag_cx_limited_range.
2256 * toplev.c (flag_complex_method): Initialize to 1.
2257 (process_options): Set flag_complex_method to 0 if
2258 flag_cx_limited_range.
2259 * doc/invoke.texi (-fcx-limited-range): New.
2261 2005-02-24 Kazu Hirata <kazu@cs.umass.edu>
2263 * cse.c (delete_trivially_dead_insns): Speed up by using
2264 NEXT_INSN and PREV_INSN directly instead of next_real_insn and
2267 2005-02-24 Andrea Tarani <andrea.tarani@gilbarco.com>
2269 * config/m68k/m68k.c (m68k_save_reg): Also save A5 for non-leaf
2270 functions when -mid-shared-library is being used.
2272 2005-02-23 Daniel Jacobowitz <dan@codesourcery.com>
2274 * doc/tm.texi (LINK_LIBGCC_SPECIAL): Remove.
2275 (LINK_LIBGCC_SPECIAL_1): Don't mention it.
2276 * gcc.c: Don't check for LINK_LIBGCC_SPECIAL.
2277 * system.h: Poison LINK_LIBGCC_SPECIAL.
2279 2005-02-23 James E Wilson <wilson@specifixinc.com>
2281 * gengtype.c (note_insn_name): Make 1 element larger.
2283 2005-02-23 Roger Sayle <roger@eyesopen.com>
2286 PR rtl-optimization/20097
2287 * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
2288 BImode SUBREGs of SImode registers which confuse the ia64 backend.
2290 2005-02-23 David Edelsohn <edelsohn@gnu.org>
2292 * t-aix43 (SHLIB_INSTALL): Create directory for shared library.
2293 * t-aix52 (SHLIB_INSTALL): Same.
2295 2005-02-23 Kazu Hirata <kazu@cs.umass.edu>
2297 * genpreds.c: Update copyright.
2299 2005-02-23 Michael Beach <michaelb@ieee.org>
2302 * config/sparc/t-elf (startup files): Assemble with CPP.
2304 2005-02-23 Paolo Bonzini <bonzini@gnu.org>
2306 * genpreds.c (mark_mode_tests): Handle non-VOIDmode match_operands.
2307 (write_predicate_expr): Likewise.
2309 2005-02-22 Diego Novillo <dnovillo@redhat.com>
2311 PR tree-optimization/20100
2312 PR tree-optimization/20115
2313 * tree-optimize.c (init_tree_optimization_passes): Remove
2314 pass_maybe_create_global_var.
2315 * tree-pass.h (pass_maybe_create_global_var): Remove.
2316 * tree-ssa-alias.c (aliases_computed_p): Declare.
2317 (struct alias_info): Add field NUM_PURE_CONST_CALLS_FOUND.
2318 (count_calls_and_maybe_create_global_var): Remove.
2319 (pass_maybe_create_global_var): Remove.
2320 (init_alias_info): Do not declare aliases_computed_p.
2321 (maybe_create_global_var): If the function contains no
2322 call-clobbered variables and a mix of pure/const and regular
2323 function calls, create .GLOBAL_VAR.
2324 Mark all call-clobbered variables for renaming.
2325 (merge_pointed_to_info): Update comment.
2326 (add_pointed_to_var): Likewise.
2327 (is_escape_site): Likewise.
2328 Accept struct alias_info * instead of size_t *.
2330 Update AI->NUM_CALLS_FOUND and AI->NUM_PURE_CONST_CALLS_FOUND
2332 * tree-ssa-operands.c (get_call_expr_operands): If
2333 ALIASES_COMPUTED_P is false, do not add call-clobbering
2335 * tree-ssa.c (init_tree_ssa): Set ALIASES_COMPUTED_P to false.
2336 (delete_tree_ssa): Likewise.
2338 2005-02-22 James E Wilson <wilson@specifixinc.com>
2340 * toplev.c (backend_init): Don't call init_adjust_machine_modes here.
2341 (do_compile): Do call it here.
2343 2005-02-22 Kazu Hirata <kazu@cs.umass.edu>
2345 PR rtl-optimization/20017.
2346 * passes.c (rest_of_handle_combine, rest_of_handle_cse,
2347 rest_of_handle_cse2, rest_of_handle_gcse): Call
2348 delete_dead_jumptables immediately before calling cleanup_cfg.
2350 2005-02-22 Devang Patel <dpatel@apple.com>
2353 * tree-if-conv.c (process_phi_nodes): Use bsi_after_labels and skip
2356 2005-02-22 David Edelsohn <edelsohn@gnu.org>
2358 * config/rs6000/aix.h (WINT_TYPE): Define.
2360 2005-02-22 Stan Shebs <shebs@apple.com>
2362 * config/rs6000/rs6000.c (rs6000_override_options): Default to
2363 natural alignment for 64-bit Darwin.
2364 (rs6000_parse_alignment_option): Warn about uses of -malign-power
2366 * doc/invoke.texi: Document this.
2368 2005-02-22 DJ Delorie <dj@redhat.com>
2370 * c-common.c (c_common_type_for_mode): Pass the mode's precision
2371 to make_[un]signed_type, not the mode itself.
2373 2005-02-22 Kazu Hirata <kazu@cs.umass.edu>
2375 * cfg.c (cached_make_edge): Call make_edge if edge cache is
2376 not available. Use tail calls wherever possible.
2377 (make_edge): Call unchecked_make_edge to create an edge.
2379 * tree-outof-ssa.c (SSANORM_USE_COALESCE_LIST): Remove.
2380 (coalesce_ssa_name): Don't check for
2381 SSANORM_USE_COALESCE_LIST.
2382 (rewrite_out_of_ssa): Don't use SSANORM_USE_COALESCE_LIST.
2384 2005-02-22 Diego Novillo <dnovillo@redhat.com>
2386 * tree-into-ssa.c (rewrite_blocks): Move debug dumps from ...
2387 (rewrite_into_ssa): ... here.
2389 2005-02-21 Alexandre Oliva <aoliva@redhat.com>
2391 PR tree-optimization/19786
2392 * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add one
2393 tag to another's may-alias bitmap when adding to the other's list.
2395 2005-02-21 DJ Delorie <dj@redhat.com>
2397 * tree-ssa-loop-ivopts.c (computation_cost): Start register
2398 numbering at LAST_VIRTUAL_REGISTER+1 to avoid possibly using hard
2399 registers in unsupported ways.
2400 * expmed.c (init_expmed): Likewise.
2402 2005-02-21 Stan Cox <scox@redhat.com>
2404 * config/iq2000/iq2000.h (DWARF_FRAME_RETURN_COLUMN): Change to 31.
2406 2005-02-21 Kazu Hirata <kazu@cs.umass.edu>
2408 * tree-cfg.c (fold_cond_expr_cond): New.
2409 (make_edges): Call fold_cond_expr_cond.
2410 (find_taken_edge): Accept nothing but INTEGER_CST.
2411 (find_taken_edge_cond_expr): Reject INTEGER_CST other than 0
2413 (find_taken_edge_switch_expr): Remove a check for INTEGER_CST.
2415 * flow.c (delete_dead_jumptables): Speed up by scanning insns
2416 that do not belong to any basic block.
2418 2005-02-21 Jeff Law <law@redhat.com>
2420 * cfganal.c (find_unreachable_blocks): Manually CSE load of
2423 2005-02-21 Kazu Hirata <kazu@cs.umass.edu>
2425 * tree-outof-ssa.c (SSANORM_REMOVE_ALL_PHIS): Remove.
2426 (SSANORM_COALESCE_PARTITIONS, SSANORM_USE_COALESCE_LIST):
2427 Adjust their definitions.
2428 (remove_ssa_form): Don't check for SSANORM_REMOVE_ALL_PHIS.
2429 (rewrite_out_of_ssa): Don't use SSANORM_REMOVE_ALL_PHIS.
2431 * c-objc-common.h, c-pretty-print.c, cgraphunit.c, except.c,
2432 genautomata.c, langhooks.c, langhooks.h, system.h,
2433 config/arm/lib1funcs.asm: Update copyright.
2435 2005-02-21 Ulrich Weigand <uweigand@de.ibm.com>
2437 * dbxout.c (dbxout_function_end): Emit Lscope label always.
2439 2005-02-21 Richard Guenther <rguenth@gcc.gnu.org>
2442 * doc/install.texi: Document --with-gc.
2444 2005-02-21 Paolo Bonzini <bonzini@gnu.org>
2446 * simplify-rtx.c (simplify_unary_operation): Add a missing
2449 2005-02-21 Eric Botcazou <ebotcazou@libertysurf.fr>
2451 PR tree-optimization/18663
2452 * tree-ssa-dom.c (extract_range_from_cond): Return 0
2453 if the type has variable bounds.
2455 2005-02-20 Kazu Hirata <kazu@cs.umass.edu>
2457 * gcse.c: Remove an obsolete comment.
2459 * cse.c (init_cse_reg_info): Use xmalloc instead of xrealloc.
2461 2005-02-20 Hans-Peter Nilsson <hp@axis.com>
2463 * doc/extend.texi (Function Attributes) <Attribute const>: The
2464 attribute "pure" is below this text, not above.
2466 2005-02-20 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2468 * pa.c (pa_assemble_integer, get_plabel): Small cleanups.
2469 (pa_asm_output_mi_thunk): Use asm_output_insn instead of fprintf.
2470 * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Small cleanup.
2472 2005-02-20 Zack Weinberg <zack@codesourcery.com>
2475 * langhooks.h (struct lang_hooks): Add to_target_charset.
2476 * langhooks.c (lhd_to_target_charset): New function.
2477 * langhooks-def.h: Declare lhd_to_target_charset.
2478 (LANG_HOOKS_TO_TARGET_CHARSET): New macro.
2479 (LANG_HOOKS_INITIALIZER): Update.
2480 * c-common.c (c_common_to_target_charset): New function.
2481 * c-common.h: Declare it.
2482 * c-objc-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
2483 c_common_to_target_charset.
2485 * defaults.c (TARGET_BELL, TARGET_BS, TARGET_CR, TARGET_DIGIT0)
2486 (TARGET_ESC, TARGET_FF, TARGET_NEWLINE, TARGET_TAB, TARGET_VT):
2488 * system.h: Poison them.
2489 * doc/tm.texi: Don't discuss them.
2490 * builtins.c (fold_builtin_isdigit): Use lang_hooks.to_target_charset.
2491 * c-pretty-print.c (pp_c_integer_constant): Don't use pp_c_char.
2492 (pp_c_char): Do not attempt to generate letter escapes for
2494 * config/arm/arm.c (output_ascii_pseudo_op): Likewise.
2495 * config/mips/mips.c (mips_output_ascii): Likewise.
2497 2005-02-20 Dorit Naishlos <dorit@il.ibm.com>
2499 PR tree-optimization/19951
2500 * tree-vect-analyze.c (vect_analyze_loop_form): Check if loop exit edge
2503 2005-02-19 Steven Bosscher <stevenb@suse.de>
2506 * function.h (struct function): New field `max_loop_depth'.
2507 * cfgloop.c (establish_preds): Update maximum loop depth seen so far.
2508 (flow_loops_find): Reset the max loop depth count before finding loops.
2509 * flow.c (MAX_LIVENESS_ROUNDS): New constant.
2510 (update_life_info_in_dirty_blocks): Remove 2002-05-28 workaround.
2511 (calculate_global_regs_live): Make sure the loop will terminate
2512 when the initial sets are not empty.
2514 2005-02-19 Zack Weinberg <zack@codesourcery.com>
2516 * mklibgcc.in: If libgcc_eh.a would be empty, put a dummy
2518 * config/ia64/hpux.h: Don't define LIBGCC_SPEC.
2520 2005-02-19 Richard Sandiford <rsandifo@redhat.com>
2523 * doc/invoke.texi: Remove documentation of %M spec.
2525 (init_spec): Remove %M suffix from -lgcc_s.
2526 (do_spec_1): Remove 'M' case.
2527 * mklibgcc.in: Remove SHLIB_MULTILIB handling. Expect SHLIB_LINK
2528 to put shared libraries in the multilib directory. Remove the
2529 shlib_so_soname substitution variable. Don't add a multilib encoding
2530 to shlib_base_name. Set shlib_slibdir_qual to the full pathname
2531 reported by -print-multi-os-directory. Pass @multilib_dir@ to
2532 SHLIB_INSTALL as well as SHLIB_LINK.
2533 * config/t-slibgcc-elf-ver (SHLIB_SONAME): Use @shlib_base_name@.
2534 (SHLIB_NAME): Delete.
2535 (SHLIB_DIR): New macro.
2536 (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_SOLINK) in $(SHLIB_DIR).
2537 (SHLIB_INSTALL): Adjust accordingly.
2538 * config/t-slibgcc-darwin: As for t-slibgcc-elf-ver.
2539 * config/t-slibgcc-sld: Likewise.
2540 * config/t-libunwind-elf (SHLIBUNWIND_NAME): Delete.
2541 (SHLIBUNWIND_SONAME): Use @shlib_base_name@.
2542 (SHLIBUNWIND_LINK): Put $(SHLIBUNWIND_SONAME) and $(SHLIB_SOLINK)
2544 (SHLIBUNWIND_INSTALL): Adjust accordingly.
2545 * config/i386/t-nwld (SHLIB_SONAME): Delete.
2546 (SHLIB_LINK, SHLIB_INSTALL): Use SHLIB_NAME instead of SHLIB_SONAME.
2547 Use @shlib_base_name@ instead of @shlib_so_name@.
2548 * config/ia64/t-hpux (SHLIB_LINK): Put @shlib_base_name@.so.0
2549 and @shlib_base_name@.so in @multilib_dir@.
2550 (SHLIB_INSTALL): Adjust accordingly. Add @shlib_slibdir_qual@
2551 to the install path.
2552 * config/mips/t-slibgcc-irix: As for t-slibgcc-elf-ver.
2553 (SHLIB_LINK): Remove previous workaround.
2554 * config/pa/t-hpux-shlib (SHLIB_DIR, SHLIB_SLIBDIR_QUAL): New macros.
2555 (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_NAME) in $(SHLIB_DIR).
2556 (SHLIB_INSTALL): Adjust accordingly. Add $(SHLIB_SLIBDIR_QUAL) to
2558 * config/rs6000/t-aix43 (SHLIB_LINK): Put @shlib_base_name@.a in
2559 @multilib_dir@. Use @multilib_dir@ to check for threading libraries.
2560 (SHLIB_INSTALL): Adjust accordingly.
2561 (SHLIB_LIBS): Use @multilib_dir@ to check for threading libraries.
2562 * config/rs6000/t-aix52: As for config/rs6000/t-aix43.
2563 * config/sh/t-linux (SHLIB_LINK, SHLIB_INSTALL): As for
2564 config/t-slibgcc-elf-ver.
2566 2005-02-19 Zdenek Dvorak <dvorakz@suse.cz>
2567 Jakub Jelinek <jakub@redhat.com>
2569 PR tree-optimization/19828
2570 * tree-ssa-loop-im.c: Add a TODO comment.
2571 (movement_possibility): Return MOVE_PRESERVE_EXECUTION for calls
2572 without side-effects.
2574 2005-02-18 James A. Morrison <phython@gcc.gnu.org>
2576 * tree-ssa-ccp.c (widen_bitfield): Pass type to build_int_cst and don't
2579 2005-02-18 James E. Wilson <wilson@specifixinc.com>
2581 * doc/invoke.texi (IA-64 Options): Delete -mb-step.
2582 * config/ia64/ia64.c (last_group, group_idx): Delete variables.
2583 (errata_find_address_regs, errata_emit_nops, fixup_errata): Delete
2585 (ia64_reorg): Delete fixup_errata call.
2586 * config/ia64/ia64.h (MASK_B_STEP, TARGET_B_STEP): Delete.
2587 (TARGET_SWITCHES): Delete -mb-step entry.
2589 2005-02-19 Jakub Jelinek <jakub@redhat.com>
2592 * c-typeck.c (composite_type): Handle quals in transparent unions.
2593 (type_lists_compatible_p): Likewise.
2595 2005-02-18 Stan Shebs <shebs@apple.com>
2597 * config/darwin.c (machopic_select_rtx_section): Don't put relocatable
2598 expressions in the .literal8 section.
2600 2005-02-18 Geoffrey Keating <geoffk@apple.com>
2602 * config/rs6000/darwin-tramp.asm: Remove stray 'APPLE LOCAL' marker.
2604 2005-02-18 Roger Sayle <roger@eyesopen.com>
2606 * fold-const.c (constant_boolean_node): Always create values of the
2607 specified type, don't bother calling truthvalue_conversion.
2609 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
2611 * except.c (output_function_exception_table): Call
2612 assemble_external_libcall (eh_personality_libfunc).
2614 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
2617 * config/ia64/ia64.h (struct machine_function): Add state_num.
2618 * config/ia64/ia64.c (process_epilogue,
2619 process_for_unwind_directive): Use new unwind state numbers each
2620 time rather than state 1.
2622 2005-02-18 Ulrich Weigand <uweigand@de.ibm.com>
2625 * config/s390/s390.md ("*llgt_sidi", "*llgt_sidi_split"): Move to
2626 before the "*llgt_didi" pattern.
2628 2005-02-18 Jason Merrill <jason@redhat.com>
2630 * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Revert again.
2632 2005-02-18 Richard Earnshaw <rearnsha@arm.com>
2634 * arm/lib1funcs.asm (FUNC_ALIAS): New macro.
2635 (div0): Use it in place of ARM_FUNC_ALIAS.
2636 (lshrdi3, ashrdi3, ashlrdi3): Likewise.
2638 2005-02-18 Andrew Pinski <pinskia@physics.uc.edu>
2641 * fold-const.c (fold_indirect_ref_1): Use the correct index for zero
2642 access, the lower bound of the array type if it exists.
2644 2005-02-18 Alexandre Oliva <aoliva@redhat.com>
2647 * stmt.c (expand_case): Don't assume cleanup_tree_cfg will remove
2648 cases that are out-of-range for the index type.
2650 2005-02-18 James A. Morrison <phython@gcc.gnu.org>
2652 * stmt.c (emit_case_bit_tests): Call fold_convert instead of convert.
2653 (estimate_case_costs): Don't call convert.
2654 * expmed.c (expand_shift): Likewise.
2655 (make_tree): Call fold_convert instead of convert.
2657 2005-02-18 Jakub Jelinek <jakub@redhat.com>
2660 * emit-rtl.c (set_mem_attributes_minus_bitpos): Add assertion
2661 that ref to be marked MEM_READONLY_P doesn't have base that needs
2664 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
2666 * genautomata.c (output_get_cpu_unit_code_func,
2667 output_cpu_unit_reservation_p): Don't generate old-style function
2670 2005-02-18 Jakub Jelinek <jakub@redhat.com>
2673 PR tree-optimization/20009
2674 * convert.c (convert_to_integer): Revert 2005-02-16 change.
2676 PR tree-optimization/18947
2677 * cgraphunit.c (cgraph_finalize_function): When redefining an extern
2678 inline, remove all nodes that are inlined into the extern inline
2681 2005-02-17 Kazu Hirata <kazu@cs.umass.edu>
2683 * bt-load.c, cfgloop.c, convert.c, dominance.c, global.c,
2684 loop-invariant.c, stmt.c, tree-ssa-forwprop.c,
2685 tree-ssa-live.c, tree-ssanames.c, tree-vn.c,
2686 config/host-linux.c, config/arm/fpa.md, config/avr/avr.h:
2689 2005-02-17 Roger Sayle <roger@eyesopen.com>
2691 PR tree-optimization/19917
2692 * tree-eh.c (tree_could_trap_p): Consider calls to weak functions
2693 to be potentially trapping.
2695 2005-02-17 Kazu Hirata <kazu@cs.umass.edu>
2697 * libgcc2.c, tree-vect-analyze.c: Fix comment typos.
2699 2005-02-17 Andreas Krebbel <krebbel1@de.ibm.com>
2701 * builtins.c (expand_builtin_return_addr): Remove tem parameter.
2702 tem becomes a local variable which is set to the value of the
2703 back end defined INITIAL_FRAME_ADDRESS macro.
2704 (expand_builtin_frame_address): Omit the base parameter to
2705 expand_builtin_return_addr.
2706 (expand_builtin_profile_func): Likewise.
2707 * config/s390/s390.h (INITIAL_FRAME_ADDRESS_RTX): Define new macro.
2708 (DYNAMIC_CHAIN_ADDRESS): Remove the case for the initial frame.
2709 * doc/tm.texi: Documentation for INITIAL_FRAME_ADDRESS_RTX added.
2711 2005-02-17 Jakub Jelinek <jakub@redhat.com>
2713 * config/s390/s390.c (s390_alloc_pool, s390_free_pool,
2714 s390_chunkify_start): Use BITMAP_ALLOC and BITMAP_FREE.
2715 * config/frv/frv.c (frv_function_epilogue): Likewise.
2717 2005-02-17 Daniel Berlin <dberlin@dberlin.org>
2719 * lambda-code (perfect_nestify): Remove mark/unmark
2721 * tree-loop-linear.c (linear_transform_loops): Add
2722 rewrite_into_ssa call so that ssa is correct for
2723 rewriting into loop closed.
2725 2005-02-17 Nathan Sidwell <nathan@codesourcery.com>
2727 * bitmap.h (BITMAP_XMALLOC, BITMAP_XFREE): Remove.
2728 * bb-reorder.c (duplicate_computed_gotos): Use BITMAP_ALLOC and
2730 * bt-load.c (btr_def_live_range, combine_btr_defs,
2731 migrate_btr_def, migrate_btr_defs): Likewise.
2732 * cfgcleanup.c (thread_jump): Likewise.
2733 * cfgloop.c (get_loop_body_in_bfs_order): Likewise.
2734 * df.c (df_insn_table_realloc, df_bitmaps_alloc, df_bitmaps_free,
2735 df_alloc, df_free, df_du_chain_create, df_bb_rd_local_compute,
2736 df_rd_local_compute, df_reg_info_compute): Likewise.
2737 * dominance.c (init_dom_info, free_dom_info): Likewise.
2738 * flow.c (init_propagate_block_info,
2739 free_propagate_block_info): Likewise.
2740 * gcse.c (alloc_gcse_mem, free_gcse_mem): Likewise.
2741 * global.c (allocate_bb_info, free_bb_info, calculate_reg_pav,
2742 modify_reg_pav): Likewise.
2743 * loop-invariant.c (find_defs, find_invariant_insn,
2744 find_invariants, free_inv_motion_data): Likewise.
2745 * predict.c (tree_predict_by_opcode,
2746 estimate_bb_frequencies): Likewise.
2747 * stmt.c (expand_case): Likewise.
2748 * tree-cfg.c (tree_duplicate_sese_region): Likewise.
2749 * tree-dfa.c (mark_new_vars_to_rename): Likewise.
2750 * tree-if-conv.c (get_loop_body_in_if_conv_order): Likewise.
2751 * tree-into-ssa.c (insert_phi_nodes_for, def_blocks_free,
2752 get_def_blocks_for, mark_def_site_blocks, rewrite_into_ssa,
2753 rewrite_ssa_into_ssa): Likewise.
2754 * tree-optimize.c (tree_rest_of_compilation): Likewise.
2755 * tree-outof-ssa.c (new_temp_expr_table, free_temp_expr_table,
2756 analyze_edges_for_bb, perform_edge_inserts): Likewise.
2757 * tree-scalar-evolution.c (scev_initialize, scev_finalize): Likewise.
2758 * tree-sra.c (tree_sra): Likewise.
2759 * tree-ssa-alias.c (init_alias_info, delete_alias_info): Likewise.
2760 * tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
2761 * tree-ssa-dce.c (tree_dce_init, tree_dce_done): Likewise.
2762 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
2763 * tree-ssa-dse.c (tree_ssa_dse): Likewise.
2764 * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_var):
2766 * tree-ssa-live.c (new_tree_live_info, delete_tree_live_info,
2767 calculate_live_on_entry, calculate_live_on_exit,
2768 build_tree_conflict_graph): Likewise.
2769 * tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init, record_use,
2770 record_important_candidates, set_use_iv_cost, find_depends,
2771 determine_use_iv_costs, iv_ca_new, iv_ca_free, free_loop_data,
2772 tree_ssa_iv_optimize_finalize): Likewise.
2773 * tree-ssa-loop-manip.c (add_exit_phis_var, get_loops_exit,
2774 find_uses_to_rename_use, rewrite_into_loop_closed_ssa,
2775 tree_duplicate_loop_to_header_edge): Likewise.
2776 * tree-ssa-pre.c (init_pre, fini_pre): Likewise.
2777 * tree-ssa.c (verify_flow_insensitive_alias_info,
2778 verify_name_tags, verify_ssa, init_tree_ssa,
2779 delete_tree_ssa): Likewise.
2780 * tree-ssanames.c (marked_ssa_names, init_ssanames,
2781 fini_ssanames): Likewise.
2782 * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Likewise.
2784 2005-02-17 Ralf Corsepius <ralf.corsepius@rtems.org>
2786 * config/rs6000/t-rtems: Completely reworked.
2788 2005-02-17 Ira Rosen <irar@il.ibm.com>
2790 * tree-data-ref.c (array_base_name_differ_p): Remove gcc_assert.
2792 2005-02-17 Ira Rosen <irar@il.ibm.com>
2794 * tree-vect-analyze.c (vect_analyze_pointer_ref_access): Use
2795 POINTER_TYPE_P when checking that type is a pointer.
2796 (vect_get_memtag): Remove.
2797 (vect_address_analysis): Use POINTER_TYPE_P. Call
2798 vect_object_analysis with dummy parameter for memtag.
2799 (vect_object_analysis): Extract memtag (functionality that
2800 used to be in vect_get_memtag and moved here). Fix printings.
2801 (vect_analyze_data_refs): Fix comment. Call vect_object_analysis
2802 with correct parameters. Remove call to vect_get_memtag.
2804 2005-02-17 Dorit Naishlos <dorit@il.ibm.com>
2806 * Makefile.in (tree-vect-analyze.o, tree-vect-transform.o): New.
2807 (tree-vectorizer.o): Added missing dependencies.
2809 * tree-vectorizer.h (vect_dump, vect_verbosity_level): Added extern
2811 (slpeel_tree_peel_loop_to_edge): Function externalized (had a static
2812 declaration in tree-vectorizer.c, now has an extern declaration in
2814 (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
2815 slpeel_verify_cfg_after_peeling, vect_strip_conversion,
2816 get_vectype_for_scalar_type, vect_is_simple_use,
2817 vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
2818 vect_supportable_dr_alignment, new_loop_vec_info, destroy_loop_vec_info,
2819 new_stmt_vec_info, vect_analyze_loop, vectorizable_load,
2820 vectorizable_store, vectorizable_operation, vectorizable_assignment,
2821 vect_transform_loop, vect_print_dump_info, vect_set_verbosity_level,
2822 find_loop_location): Likewise.
2824 * tree-vectorizer.c (langhooks.h): #include removed.
2825 (slpeel_tree_peel_loop_to_edge): Function externalized. Declaration
2826 moved to tree-vectorized.h.
2827 (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
2828 slpeel_verify_cfg_after_peeling, vect_strip_conversion,
2829 get_vectype_for_scalar_type, vect_is_simple_use,
2830 vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
2831 vect_supportable_dr_alignment, new_loop_vec_info,
2832 destroy_loop_vec_info, new_stmt_vec_info, vect_print_dump_info,
2833 vect_set_verbosity_level, find_loop_location): Likewise.
2835 (vect_analyze_loop): Function externalized. Declaration moved to
2836 tree-vectorized.h. Function definition moved to tree-vect-analyze.c.
2837 (vect_analyze_loop_form): Moved to tree-vect-analyze.c.
2838 (vect_mark_stmts_to_be_vectorized, vect_analyze_scalar_cycles,
2839 vect_analyze_data_ref_accesses, vect_analyze_data_ref_dependences,
2840 vect_analyze_data_refs_alignment, vect_compute_data_refs_alignment,
2841 vect_enhance_data_refs_alignment, vect_analyze_operations,
2842 exist_non_indexing_operands_for_use_p, vect_mark_relevant,
2843 vect_stmt_relevant_p, vect_get_loop_niters,
2844 vect_analyze_data_ref_dependence, vect_compute_data_ref_alignment,
2845 vect_analyze_data_ref_access, vect_analyze_pointer_ref_access,
2846 vect_can_advance_ivs_p, vect_get_ptr_offset, vect_analyze_offset_expr,
2847 vect_base_addr_differ_p, vect_object_analysis, vect_address_analysis,
2848 vect_get_memtag): Likewise.
2850 (vectorizable_load): Function externalized. Declaration moved to
2851 tree-vectorized.h. Function definition moved to tree-vect-transform.c.
2852 (vectorizable_store, vectorizable_operation, vectorizable_assignment,
2853 vect_transform_loop): Likewise.
2854 (vect_transform_stmt): Moved to tree-vect-transform.c.
2855 (vect_align_data_ref, vect_create_destination_var,
2856 vect_create_data_ref_ptr, vect_create_index_for_vector_ref,
2857 vect_create_addr_base_for_vector_ref, vect_get_new_vect_var,
2858 vect_get_vec_def_for_operand, vect_init_vector,
2859 vect_finish_stmt_generation, vect_generate_tmps_on_preheader,
2860 vect_build_loop_niters, vect_update_ivs_after_vectorizer,
2861 vect_gen_niters_for_prolog_loop, vect_update_inits_of_dr,
2862 vect_update_inits_of_drs, vect_do_peeling_for_alignment,
2863 vect_do_peeling_for_loop_bound): Likewise.
2865 * tree-vect-analyze.c: New file.
2866 * tree-vect-transform.c: New file.
2868 2005-02-17 Jason Merrill <jason@redhat.com>
2870 PR mudflap/19319, c++/19317
2871 * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
2874 2005-02-17 Gerald Pfeifer <gerald@pfeifer.com>
2876 * doc/install.texi (Specific): Update link for Darwin-specific
2879 2005-02-16 James A. Morrison <phython@gcc.gnu.org>
2881 * fold-const.c (invert_truthvalue): <INTEGER_CST>: Call
2882 constant_boolean_node.
2884 2005-02-16 David Edelsohn <edelsohn@gnu.org>
2887 * config/rs6000/t-aix43 (SHLIB_MAPFILES): Add libgcc-ppc64.ver.
2888 * config/rs6000/t-aix52 (SHLIB_MAPFILES): Same.
2890 2005-02-16 Richard Henderson <rth@redhat.com>
2893 * libgcc2.c (WORD_SIZE): Remove all definitions; replace uses
2895 (HIGH_WORD_COEFF, HIGH_HALFWORD_COEFF): Remove all definitions;
2896 replace uses with Wtype_MAXp1_F.
2897 (L_fixunstfdi, L_fixtfdi, L_floatditf, L_fixunsxfdi, L_fixxfdi,
2898 L_floatdixf, L_fixunsxfsi, L_fixunsdfdi, L_floatdidf, L_fixunsdfsi,
2899 L_powidf2, L_powixf2, L_powitf2, L_muldc3, L_divdc3, L_mulxc3,
2900 L_divxc3, L_multc3, L_divtc3): Protect with HAVE_DFMODE, HAVE_XFMODE,
2901 and HAVE_TFMODE as appropriate.
2902 (__fixunssfDI): Provide an implementation that doesn't need DFmode.
2903 (__floatdisf): Likewise.
2904 * libgcc2.h (LIBGCC2_DOUBLE_TYPE_SIZE): New.
2905 (HAVE_DFMODE, HAVE_XFMODE, HAVE_TFMODE): New.
2906 (Wtype_MAXp1_F): New.
2907 (DFtype, DCtype, __fixdfdi, __floatdidf, __fixunsdfSI, __fixunsdfDI,
2908 __powidf2, __divdc3, __muldc3): Protect with HAVE_DFMODE.
2910 2005-02-16 Richard Earnshaw <rearnsha@arm.com>
2913 * arm.c (arm_apply_result_size): New function.
2914 * arm.h (APPLY_RESULT_SIZE): Define.
2915 * arm-protos.h (arm_apply_result_size): Add prototype.
2916 * arm.md (RO_REGNUM, FPA_F0_REGNUM, FPA_F7_REGNUM): New constants.
2917 (movxf): New expand.
2918 (ldmsi_postinc4_thumb, stmsi_postinc4_thumb): New patterns for Thumb.
2919 (call_value_symbol): Remove predicate for operand 0.
2920 (call_value_insn, sibcall_value, sibcall_value_insn): Likewise.
2921 (untyped_call): Rework to correclty return values for any type.
2922 (untyped_return): New expand.
2923 * fpa.md (movxf_fpa): Simplify and use sfm/lfm when appropriate.
2925 2005-02-16 Stan Shebs <shebs@apple.com>
2927 * config.gcc (powerpc-*-darwin*): Use fragment for Darwin 8 or later.
2928 * config/rs6000/t-darwin8: New, for 64-bit multilib.
2930 2005-02-16 Eric Botcazou <ebotcazou@libertysurf.fr>
2932 * doc/install.texi (sparc-sun-solaris2*): Document required GMP
2933 configure settings on Solaris 7 and later.
2935 2005-02-16 Diego Novillo <dnovillo@redhat.com>
2937 PR tree-optimization/19865
2938 * tree-optimize.c (init_tree_optimization_passes): Run
2939 pass_may_alias after pass_sra.
2941 2005-02-16 Richard Henderson <rth@redhat.com>
2942 Stuart Hastings <stuart@apple.com>
2945 * dbxout.c (dbxout_function_end): Take decl parameter; update callers.
2946 Do nothing if debug info suppressed for this function.
2947 (dbxout_begin_function): Early exit if debug info suppressed for
2950 2005-02-16 Kazu Hirata <kazu@cs.umass.edu>
2953 * config/ip2k/ip2k.c (ip2k_reorg): Adjust calls to
2955 * config/sh/sh.c (sh_output_mi_thunk): Likewise.
2957 PR tree-optimization/19967
2958 * builtins.c (expand_builtin_strstr, expand_builtin_strpbrk,
2959 expand_builtin_strchr, expand_builtin_strrchr): Take a new
2960 argument TYPE. Adjust calls to fold_builtin_XXX.
2961 (expand_builtin, fold_builtin_1): Adjust calls to
2963 (fold_builtin_strchr, fold_builtin_strpbrk,
2964 fold_builtin_strstr, fold_builtin_strrchr): Convert the folded
2965 result to a requested type TYPE.
2967 2005-02-16 Jakub Jelinek <jakub@redhat.com>
2970 * fold-const.c (fold): Don't optimize (T)(x & cst) to
2971 (T)x & (T)cst if (T)cst overflows.
2972 * convert.c (convert_to_integer) <case POINTER_TYPE>: Pass
2973 TYPE_UNSIGNED (type) as type_for_size's UNSIGNEDP argument.
2975 2005-02-15 Jeff Law <law@redhat.com>
2977 * gcse.c (blocks_with_calls): New bitmap.
2978 (alloc_gcse_mem): Allocate it.
2979 (free_gcse_mem): Free it.
2980 (clear_modifY_mem_tables): Clear it.
2981 (record_last_mem_set_info): Set the proper bit in BLOCK_WITH_CALLS
2982 when we encounter CALL_INSNs.
2983 (compute_transp, case MEM): Handle blocks with calls separate
2984 from blocks without calls. Use bitmap iterators rather than
2987 2005-02-15 Peter O'Gorman <peter@pogma.com>
2990 * mklibgcc.in (vis_hide): Use a temporary object file, not
2993 2005-02-15 Andy Hutchinson <HutchinsonAndy@netscape.net>
2996 * config/avr/avr.h (MODES_TIEABLE_P): Define to 1 to allow subreg
2997 access optimization.
2999 2005-02-15 David Edelsohn <edelsohn@gnu.org>
3000 Alan Modra <amodra@bigpond.net.au>
3003 * config/rs6000/darwin-ldouble.c (_xlqadd): Rename to __gcc_qadd.
3004 (_xlqsub): Rename to __gcc_qsub.
3005 (_xlqmul): Rename to __gcc_qmul.
3006 (_xlqdiv): Rename to __gcc_qdiv.
3007 Provide versioned symbol aliases with old names.
3008 * config/rs6000/libgcc-ppc64.ver: Rename symbols.
3009 * config/rs6000/rs6000.c (rs6000_init_libfuncs): Rename symbols.
3010 * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): New.
3011 * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): New.
3012 * config/rs6000/t-newas (LIB2FUNCS_EXTRA): New.
3014 2005-02-15 James A. Morrison <phython@gcc.gnu.org>
3016 * fold-const.c (fold): Fold -(~A) to A + 1. Fold ~(-A) to A - 1.
3017 Fold ~(A - 1) and ~(A + -1) to -A.
3019 2005-02-15 James A. Morrison <phython@gcc.gnu.org>
3023 * config/host-linux.c (linux_gt_pch_use_address): Copy from
3024 config/pa/pa-host.c:pa_gt_pch_use_address.
3026 2005-02-15 Daniel Berlin <dberlin@dberlin.org>
3028 * tree-vn.c (get_value_handle): Make sure that given an
3029 is_gimple_min_invariant expression, we always return it.
3031 2005-02-15 Kazu Hirata <kazu@cs.umass.edu>
3033 * passes.c (rest_of_handle_gcse): Fix a comment.
3035 2005-02-15 Jeff Law <law@redhat.com>
3037 * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
3039 (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
3040 (canon_list_insert, record_last_mem_set_info): Similarly.
3041 (clear_modify_mem_tables): Similarly.
3043 2005-02-15 Kazu Hirata <kazu@cs.umass.edu>
3045 * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
3046 tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
3047 config/mips/mips.md, config/rs6000/aix.h,
3048 config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
3050 2005-02-15 Richard Henderson <rth@redhat.com>
3052 * bb-reorder.c (find_traces_1_round): Force fallthru edge from a
3053 call to be best_edge.
3055 2005-02-14 Kazu Hirata <kazu@cs.umass.edu>
3057 * basic-block.h: Adjust the prototype for find_basic_blocks.
3058 * cfgbuild.c (find_basic_blocks): Remove unused arguments.
3059 * passes.c (rest_of_handle_loop_optimize): Adjust the call to
3062 * flow.c (recompute_reg_usage): Remove all arguments.
3063 * passes.c (rest_of_compilation): Adjust the call to
3064 recompute_reg_usage.
3065 * rtl.h: Adjust the prototype for recompute_reg_usage.
3067 2005-02-14 Daniel Berlin <dberlin@dberlin.org>
3069 * tree-dump.c (dump_files): Update to reflect new member
3071 (dump_register): Add new argument.
3073 (dump_switch_p_1): Check against glob name if doglob was passed.
3074 (dump_switch_p): Check against regular first, then glob if
3075 we didn't have any hits on the dump name.
3076 * tree-optimize.c (register_one_dump_file):
3077 Pass in glob name as well.
3078 * tree-pass.h (struct dump_file_info): Add glob
3081 2005-02-14 Joseph S. Myers <joseph@codesourcery.com>
3083 PR preprocessor/16323
3084 * doc/invoke.texi: Document that -Wendif-labels is on by default.
3086 2005-02-14 David Edelsohn <edelsohn@gnu.org>
3089 * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
3090 (trunctfdf2_internal1): New.
3091 (trunctfdf2_internal2): Renamed from trunctfdf2.
3093 2005-02-14 Diego Novillo <dnovillo@redhat.com>
3095 PR tree-optimization/19853
3096 * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
3098 2005-02-14 Kazu Hirata <kazu@cs.umass.edu>
3100 * passes.c (rest_of_handle_loop_optimize): Remove calls to
3101 delete_dead_jumptables and cleanup_cfg.
3103 2005-02-14 Ulrich Weigand <uweigand@de.ibm.com>
3105 * reload.c (find_reloads): Swap address_reloaded flags when
3106 swapping commutative operands.
3108 2005-02-14 Sebastian Pop <pop@cri.ensmp.fr>
3110 * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
3111 Use standard_iv_increment_position for computing the bsi position
3113 * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
3116 2005-02-13 Zdenek Dvorak <dvorakz@suse.cz>
3119 * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
3120 life range of hard registers.
3121 * value-prof.c (insn_prefetch_values_to_profile): Only
3124 * value-prof.c (rtl_find_values_to_profile): Do not look for values to
3125 profile in libcalls.
3127 2005-02-13 Nathan Sidwell <nathan@codesourcery.com>
3129 * bitmap.h (bitmap_and_compl_into): Return bool.
3130 * bitmap.c (bitmap_and_compl_into): Return changed flag.
3132 2005-02-13 James A. Morrison <phython@gcc.gnu.org>
3134 PR tree-optimization/19944
3135 * fold-const.c (fold): Re-add ABS_EXPR folding.
3137 2005-02-13 David Edelsohn <edelsohn@gnu.org>
3140 * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
3141 {TARGET,MASK}_XL_COMPAT.
3142 (SUBTARGET_SWITCHES): Rename xl-call to xl-compat. Use
3144 * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
3145 * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
3147 (rs6000_arg_partial_bytes): Same.
3148 (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
3149 and XL compatibility enabled.
3150 * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
3151 * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
3152 test to final condition.
3153 (cmptf_internal2): New.
3154 * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
3155 xl-compat. Add TFmode information to description.
3157 2005-02-13 Kazu Hirata <kazu@cs.umass.edu>
3159 * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
3161 2005-02-13 Jason Merrill <jason@redhat.com>
3164 * fold-const.c (fold_indirect_ref_1): Split out from...
3165 (build_fold_indirect_ref): Here.
3166 (fold_indirect_ref): New fn.
3167 * tree.h: Declare it.
3168 * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
3169 (gimplify_modify_expr_rhs): Likewise.
3170 (gimplify_expr): Likewise.
3172 2005-02-13 James A. Morrison <phython@gcc.gnu.org>
3174 PR tree-optimization/14303
3175 PR tree-optimization/15784
3176 * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
3177 Fold ABS_EXPR<x> < 0 to false. Fold ABS_EXPR<x> == 0 to x == 0 and
3178 ABS_EXPR<x> != 0 to x != 0.
3180 2005-02-12 Kazu Hirata <kazu@cs.umass.edu>
3182 * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
3183 simplify-rtx.c, tree-ssa-live.h: Fix comment typos. Follow
3184 spelling conventions.
3186 * passes.c (rest_of_handle_gcse): Don't run cse_main and
3187 delete_trivially_dead_insns too many times.
3189 * passes.c (rest_of_handle_gcse): Remove dead assignments to
3192 2005-02-12 Ira Rosen <irar@il.ibm.com>
3194 * tree-vectorizer.c (vect_get_base_and_offset): Remove.
3195 (vect_is_simple_iv_evolution): Remove redundant parameter
3197 (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
3198 without last parameter.
3199 (vect_analyze_pointer_ref_access): Get access_fn as parameter.
3200 Return pointer step. Call vect_is_simple_iv_evolution without
3201 last parameter. Check only that the step is multiple of size
3202 type. Remove stmt_vinfo updates.
3203 (vect_get_memtag_and_dr): Remove.
3204 (vect_get_memtag): New function.
3205 (vect_address_analysis): New function.
3206 (vect_object_analysis): New function.
3207 (vect_analyze_data_refs): Call vect_object_analysis and
3208 vect_get_memtag. Update stmt_vinfo fields.
3210 2005-02-12 Ira Rosen <irar@il.ibm.com>
3212 * tree-data-ref.c (array_base_name_differ_p): Check that the bases
3213 exist and are objects. Remove checks for pointer.
3214 * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
3215 STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
3216 (vect_create_data_ref_ptr): Likewise.
3217 (vect_base_addr_differ_p): New function.
3218 (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
3219 (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
3220 Don't set the DR_BASE_NAME field of data-ref.
3221 (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
3223 2005-02-12 Uros Bizjak <uros@kss-loka.si>
3225 * optabs.h (enum optab_index): Add new OTI_ldexp.
3226 (ldexp_optab): Define corresponding macro.
3227 * optabs.c (init_optabs): Initialize ldexp_optab.
3228 * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
3230 * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
3232 (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
3233 expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
3235 * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
3236 to implement ldexpf, ldexp and ldexpl built-ins as inline x87
3239 2005-02-12 Ira Rosen <irar@il.ibm.com>
3241 * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
3243 * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
3245 (vect_get_base_and_offset): Always return an address.
3246 (vect_create_addr_base_for_vector_ref): Remove treatment for
3247 different data reference types.
3248 (vect_compute_data_ref_alignment): Rename base to base_address in
3249 stmt_vec_info. Get the object in order to force its alignment.
3250 (vect_get_memtag_and_dr): Rename base to base_address in
3251 stmt_vec_info. Extract the object for memtag analysis.
3253 2005-02-12 Hans-Peter Nilsson <hp@axis.com>
3255 PR regression/19898.
3256 * config/cris/cris.c (cris_notice_update_cc): When testing if insn
3257 changes cc_status, use apply modified_in_p to part of cc_status
3258 and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
3261 2005-02-11 Richard Henderson <rth@redhat.com>
3263 * tree-complex.c (expand_complex_libcall): New.
3264 (expand_complex_multiplication): Use it for c99 compliance.
3265 (expand_complex_division): Likewise.
3266 * fold-const.c (fold_complex_add, fold_complex_mult): New.
3268 * builtins.c (built_in_names): Remove const.
3269 * tree.c (build_common_builtin_nodes): Build complex arithmetic
3271 * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
3272 (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
3273 (built_in_names): Remove const.
3274 * c-common.c (c_common_type_for_mode): Handle complex modes.
3275 * flags.h, toplev.c (flag_complex_method): Rename from
3276 flag_complex_divide_method.
3277 * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
3278 __mulsc3, __muldc3, __mulxc3, __multc3): New.
3279 * libgcc2.h: Declare them.
3280 * libgcc-std.ver: Export them.
3281 * mklibgcc.in (lib2funcs): Build them.
3283 2005-02-11 Steven Bosscher <stevenb@suse.de>
3285 PR tree-optimization/19876
3286 Partially revert my change from 2005-01-14
3287 * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
3288 (compute_antic): ...and remove the loop here.
3290 2005-02-11 Jakub Jelinek <jakub@redhat.com>
3293 * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
3294 is number of inner's bits, avoid creating a BIT_FIELD_REF.
3296 * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
3297 crtend.o if -pie. Use %{x:a;:b} spec syntax.
3299 2005-02-11 Daniel Jacobowitz <dan@codesourcery.com>
3301 * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
3302 offsets for the big-endian 32-bit case.
3304 2005-02-11 Joseph S. Myers <joseph@codesourcery.com>
3306 * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
3308 2005-02-11 Dale Johannesen <dalej@apple.com>
3310 * cselib.c (cselib_process_insn): Clear out regs where
3311 HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
3312 * reload.c (find_equiv_reg): Ditto.
3314 2005-02-11 Ian Lance Taylor <ian@airs.com>
3316 * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
3319 * tree.c (build_function_type_list): Work correctly if there are
3322 2005-02-11 Ulrich Weigand <uweigand@de.ibm.com>
3324 * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
3325 "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
3326 ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
3327 TARGET_ZARCH instead of TARGET_64BIT.
3329 2005-02-11 Ralf Corsepius <ralf.corsepius@rtems.org>
3331 * config/rs6000/t-rtems:
3332 (MULTILIB_OPTIONS): Remove mcpu=602.
3333 (MUTLILIB_DIRNAMES): Remove m602.
3334 (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}.
3335 Let mcpu=602 match mcpu=603.
3336 (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
3338 2005-02-10 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3340 * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
3343 2005-02-10 David Daney <ddaney@avtrex.com>
3345 * config/alpha/linux-unwind.h: Add exception clause to copyright.
3346 * config/i386/linux-unwind.h: Likewise.
3347 * config/ia64/linux-unwind.h: Likewise.
3348 * config/mips/linux-unwind.h: Likewise.
3349 * config/pa/linux-unwind.h: Likewise.
3350 * config/rs6000/linux-unwind.h: Likewise.
3351 * config/s390/linux-unwind.h: Likewise.
3352 * config/sh/linux-unwind.h: Likewise.
3353 * config/sparc/linux-unwind.h: Likewise.
3355 2005-02-10 Steven Bosscher <stevenb@suse.de>
3357 PR tree-optimization/17549
3358 * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
3359 TER to replace a DEF with its expression if the DEF and the
3360 rhs of the expression we replace into have the same root
3363 2005-02-10 Richard Sandiford <rsandifo@redhat.com>
3365 * config/mips/mips.md: Fix the placement of the match_scratch in the
3368 2005-02-10 Kazu Hirata <kazu@cs.umass.edu>
3370 * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
3373 2005-02-10 Zdenek Dvorak <dvorakz@suse.cz>
3375 * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
3376 (strip_offset): Handle addresses.
3377 (add_address_candidates): Use strip_offset.
3378 (difference_cost): Reflect strip_offset change.
3379 (force_var_cost, difference_cost): Strip nops.
3381 2005-02-10 Kazu Hirata <kazu@cs.umass.edu>
3383 * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
3385 * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
3386 tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
3387 config/cris/cris-protos.h, config/cris/cris.c: Update
3390 2005-02-10 Jeff Law <law@redhat.com>
3392 * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
3393 (lookup_avail_expr): Similarly.
3395 2005-02-10 Richard Guenther <rguenth@gcc.gnu.org>
3397 * builtins.c (fold_builtin_powi): New function.
3398 (fold_builtin_1): Call it.
3400 2005-02-10 Steven Bosscher <stevenb@suse.de>
3402 PR documentation/19309
3403 * doc/cpp.texi: The __GNUC__ and related predefined macros
3404 are also defined for the "standalone" cpp.
3405 Some non-GCC compilers may also define __GNUC__.
3407 2005-02-10 Jakub Jelinek <jakub@redhat.com>
3410 * c-typeck.c (common_type): New routine. Old common_type renamed
3412 (c_common_type): ...this.
3413 (build_conditional_expr, build_binary_op): Use c_common_type instead
3416 2005-02-10 Steven Bosscher <stevenb@suse.de>
3418 * doc/md.texi: Replace @samp{length} with @code{length}.
3420 2005-02-09 Zdenek Dvorak <dvorakz@suse.cz>
3422 PR tree-optimization/18687
3423 * tree-flow.h (find_loop_niter): Declare.
3424 * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
3425 Try using scev even for loops with more than one exit.
3426 * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
3427 (struct ivopts_data): Added niters field.
3428 (struct nfe_cache_elt): New.
3429 (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
3431 (tree_ssa_iv_optimize_init): Initialize niters cache.
3432 (determine_number_of_iterations): Removed.
3433 (find_induction_variables): Do not call determine_number_of_iterations.
3434 Access niters for single exit through niter_for_single_dom_exit.
3435 (add_iv_outer_candidates): Access niters for single exit through
3436 niter_for_single_dom_exit.
3437 (may_eliminate_iv): Take data argument. Use niter_for_exit. Do not use
3438 number_of_iterations_cond.
3439 (iv_period): New function.
3440 (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
3441 (may_replace_final_value): Take data argument. Use
3442 niter_for_single_dom_exit.
3443 (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
3444 (rewrite_use_compare): Pass data to may_eliminate_iv.
3445 (rewrite_use_outer): Pass data to may_replace_final_value.
3446 (free_loop_data): Clean up the niters cache.
3447 (tree_ssa_iv_optimize_finalize): Free the niters cache.
3448 (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.