1 2005-02-23 Kazu Hirata <kazu@cs.umass.edu>
3 * genpreds.c: Update copyright.
5 2005-02-23 Michael Beach <michaelb@ieee.org>
8 * config/sparc/t-elf (startup files): Assemble with CPP.
10 2005-02-23 Paolo Bonzini <bonzini@gnu.org>
12 * genpreds.c (mark_mode_tests): Handle non-VOIDmode match_operands.
13 (write_predicate_expr): Likewise.
15 2005-02-22 Diego Novillo <dnovillo@redhat.com>
17 PR tree-optimization/20100
18 PR tree-optimization/20115
19 * tree-optimize.c (init_tree_optimization_passes): Remove
20 pass_maybe_create_global_var.
21 * tree-pass.h (pass_maybe_create_global_var): Remove.
22 * tree-ssa-alias.c (aliases_computed_p): Declare.
23 (struct alias_info): Add field NUM_PURE_CONST_CALLS_FOUND.
24 (count_calls_and_maybe_create_global_var): Remove.
25 (pass_maybe_create_global_var): Remove.
26 (init_alias_info): Do not declare aliases_computed_p.
27 (maybe_create_global_var): If the function contains no
28 call-clobbered variables and a mix of pure/const and regular
29 function calls, create .GLOBAL_VAR.
30 Mark all call-clobbered variables for renaming.
31 (merge_pointed_to_info): Update comment.
32 (add_pointed_to_var): Likewise.
33 (is_escape_site): Likewise.
34 Accept struct alias_info * instead of size_t *.
36 Update AI->NUM_CALLS_FOUND and AI->NUM_PURE_CONST_CALLS_FOUND
38 * tree-ssa-operands.c (get_call_expr_operands): If
39 ALIASES_COMPUTED_P is false, do not add call-clobbering
41 * tree-ssa.c (init_tree_ssa): Set ALIASES_COMPUTED_P to false.
42 (delete_tree_ssa): Likewise.
44 2005-02-22 James E Wilson <wilson@specifixinc.com>
46 * toplev.c (backend_init): Don't call init_adjust_machine_modes here.
47 (do_compile): Do call it here.
49 2005-02-22 Kazu Hirata <kazu@cs.umass.edu>
51 PR rtl-optimization/20017.
52 * passes.c (rest_of_handle_combine, rest_of_handle_cse,
53 rest_of_handle_cse2, rest_of_handle_gcse): Call
54 delete_dead_jumptables immediately before calling cleanup_cfg.
56 2005-02-22 Devang Patel <dpatel@apple.com>
59 * tree-if-conv.c (process_phi_nodes): Use bsi_after_labels and skip
62 2005-02-22 David Edelsohn <edelsohn@gnu.org>
64 * config/rs6000/aix.h (WINT_TYPE): Define.
66 2005-02-22 Stan Shebs <shebs@apple.com>
68 * config/rs6000/rs6000.c (rs6000_override_options): Default to
69 natural alignment for 64-bit Darwin.
70 (rs6000_parse_alignment_option): Warn about uses of -malign-power
72 * doc/invoke.texi: Document this.
74 2005-02-22 DJ Delorie <dj@redhat.com>
76 * c-common.c (c_common_type_for_mode): Pass the mode's precision
77 to make_[un]signed_type, not the mode itself.
79 2005-02-22 Kazu Hirata <kazu@cs.umass.edu>
81 * cfg.c (cached_make_edge): Call make_edge if edge cache is
82 not available. Use tail calls wherever possible.
83 (make_edge): Call unchecked_make_edge to create an edge.
85 * tree-outof-ssa.c (SSANORM_USE_COALESCE_LIST): Remove.
86 (coalesce_ssa_name): Don't check for
87 SSANORM_USE_COALESCE_LIST.
88 (rewrite_out_of_ssa): Don't use SSANORM_USE_COALESCE_LIST.
90 2005-02-22 Diego Novillo <dnovillo@redhat.com>
92 * tree-into-ssa.c (rewrite_blocks): Move debug dumps from ...
93 (rewrite_into_ssa): ... here.
95 2005-02-21 Alexandre Oliva <aoliva@redhat.com>
97 PR tree-optimization/19786
98 * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add one
99 tag to another's may-alias bitmap when adding to the other's list.
101 2005-02-21 DJ Delorie <dj@redhat.com>
103 * tree-ssa-loop-ivopts.c (computation_cost): Start register
104 numbering at LAST_VIRTUAL_REGISTER+1 to avoid possibly using hard
105 registers in unsupported ways.
106 * expmed.c (init_expmed): Likewise.
108 2005-02-21 Stan Cox <scox@redhat.com>
110 * config/iq2000/iq2000.h (DWARF_FRAME_RETURN_COLUMN): Change to 31.
112 2005-02-21 Kazu Hirata <kazu@cs.umass.edu>
114 * tree-cfg.c (fold_cond_expr_cond): New.
115 (make_edges): Call fold_cond_expr_cond.
116 (find_taken_edge): Accept nothing but INTEGER_CST.
117 (find_taken_edge_cond_expr): Reject INTEGER_CST other than 0
119 (find_taken_edge_switch_expr): Remove a check for INTEGER_CST.
121 * flow.c (delete_dead_jumptables): Speed up by scanning insns
122 that do not belong to any basic block.
124 2005-02-21 Jeff Law <law@redhat.com>
126 * cfganal.c (find_unreachable_blocks): Manually CSE load of
129 2005-02-21 Kazu Hirata <kazu@cs.umass.edu>
131 * tree-outof-ssa.c (SSANORM_REMOVE_ALL_PHIS): Remove.
132 (SSANORM_COALESCE_PARTITIONS, SSANORM_USE_COALESCE_LIST):
133 Adjust their definitions.
134 (remove_ssa_form): Don't check for SSANORM_REMOVE_ALL_PHIS.
135 (rewrite_out_of_ssa): Don't use SSANORM_REMOVE_ALL_PHIS.
137 * c-objc-common.h, c-pretty-print.c, cgraphunit.c, except.c,
138 genautomata.c, langhooks.c, langhooks.h, system.h,
139 config/arm/lib1funcs.asm: Update copyright.
141 2005-02-21 Ulrich Weigand <uweigand@de.ibm.com>
143 * dbxout.c (dbxout_function_end): Emit Lscope label always.
145 2005-02-21 Richard Guenther <rguenth@gcc.gnu.org>
148 * doc/install.texi: Document --with-gc.
150 2005-02-21 Paolo Bonzini <bonzini@gnu.org>
152 * simplify-rtx.c (simplify_unary_operation): Add a missing
155 2005-02-21 Eric Botcazou <ebotcazou@libertysurf.fr>
157 PR tree-optimization/18663
158 * tree-ssa-dom.c (extract_range_from_cond): Return 0
159 if the type has variable bounds.
161 2005-02-20 Kazu Hirata <kazu@cs.umass.edu>
163 * gcse.c: Remove an obsolete comment.
165 * cse.c (init_cse_reg_info): Use xmalloc instead of xrealloc.
167 2005-02-20 Hans-Peter Nilsson <hp@axis.com>
169 * doc/extend.texi (Function Attributes) <Attribute const>: The
170 attribute "pure" is below this text, not above.
172 2005-02-20 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
174 * pa.c (pa_assemble_integer, get_plabel): Small cleanups.
175 (pa_asm_output_mi_thunk): Use asm_output_insn instead of fprintf.
176 * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Small cleanup.
178 2005-02-20 Zack Weinberg <zack@codesourcery.com>
181 * langhooks.h (struct lang_hooks): Add to_target_charset.
182 * langhooks.c (lhd_to_target_charset): New function.
183 * langhooks-def.h: Declare lhd_to_target_charset.
184 (LANG_HOOKS_TO_TARGET_CHARSET): New macro.
185 (LANG_HOOKS_INITIALIZER): Update.
186 * c-common.c (c_common_to_target_charset): New function.
187 * c-common.h: Declare it.
188 * c-objc-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
189 c_common_to_target_charset.
191 * defaults.c (TARGET_BELL, TARGET_BS, TARGET_CR, TARGET_DIGIT0)
192 (TARGET_ESC, TARGET_FF, TARGET_NEWLINE, TARGET_TAB, TARGET_VT):
194 * system.h: Poison them.
195 * doc/tm.texi: Don't discuss them.
196 * builtins.c (fold_builtin_isdigit): Use lang_hooks.to_target_charset.
197 * c-pretty-print.c (pp_c_integer_constant): Don't use pp_c_char.
198 (pp_c_char): Do not attempt to generate letter escapes for
200 * config/arm/arm.c (output_ascii_pseudo_op): Likewise.
201 * config/mips/mips.c (mips_output_ascii): Likewise.
203 2005-02-20 Dorit Naishlos <dorit@il.ibm.com>
205 PR tree-optimization/19951
206 * tree-vect-analyze.c (vect_analyze_loop_form): Check if loop exit edge
209 2005-02-19 Steven Bosscher <stevenb@suse.de>
212 * function.h (struct function): New field `max_loop_depth'.
213 * cfgloop.c (establish_preds): Update maximum loop depth seen so far.
214 (flow_loops_find): Reset the max loop depth count before finding loops.
215 * flow.c (MAX_LIVENESS_ROUNDS): New constant.
216 (update_life_info_in_dirty_blocks): Remove 2002-05-28 workaround.
217 (calculate_global_regs_live): Make sure the loop will terminate
218 when the initial sets are not empty.
220 2005-02-19 Zack Weinberg <zack@codesourcery.com>
222 * mklibgcc.in: If libgcc_eh.a would be empty, put a dummy
224 * config/ia64/hpux.h: Don't define LIBGCC_SPEC.
226 2005-02-19 Richard Sandiford <rsandifo@redhat.com>
229 * doc/invoke.texi: Remove documentation of %M spec.
231 (init_spec): Remove %M suffix from -lgcc_s.
232 (do_spec_1): Remove 'M' case.
233 * mklibgcc.in: Remove SHLIB_MULTILIB handling. Expect SHLIB_LINK
234 to put shared libraries in the multilib directory. Remove the
235 shlib_so_soname substitution variable. Don't add a multilib encoding
236 to shlib_base_name. Set shlib_slibdir_qual to the full pathname
237 reported by -print-multi-os-directory. Pass @multilib_dir@ to
238 SHLIB_INSTALL as well as SHLIB_LINK.
239 * config/t-slibgcc-elf-ver (SHLIB_SONAME): Use @shlib_base_name@.
240 (SHLIB_NAME): Delete.
241 (SHLIB_DIR): New macro.
242 (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_SOLINK) in $(SHLIB_DIR).
243 (SHLIB_INSTALL): Adjust accordingly.
244 * config/t-slibgcc-darwin: As for t-slibgcc-elf-ver.
245 * config/t-slibgcc-sld: Likewise.
246 * config/t-libunwind-elf (SHLIBUNWIND_NAME): Delete.
247 (SHLIBUNWIND_SONAME): Use @shlib_base_name@.
248 (SHLIBUNWIND_LINK): Put $(SHLIBUNWIND_SONAME) and $(SHLIB_SOLINK)
250 (SHLIBUNWIND_INSTALL): Adjust accordingly.
251 * config/i386/t-nwld (SHLIB_SONAME): Delete.
252 (SHLIB_LINK, SHLIB_INSTALL): Use SHLIB_NAME instead of SHLIB_SONAME.
253 Use @shlib_base_name@ instead of @shlib_so_name@.
254 * config/ia64/t-hpux (SHLIB_LINK): Put @shlib_base_name@.so.0
255 and @shlib_base_name@.so in @multilib_dir@.
256 (SHLIB_INSTALL): Adjust accordingly. Add @shlib_slibdir_qual@
258 * config/mips/t-slibgcc-irix: As for t-slibgcc-elf-ver.
259 (SHLIB_LINK): Remove previous workaround.
260 * config/pa/t-hpux-shlib (SHLIB_DIR, SHLIB_SLIBDIR_QUAL): New macros.
261 (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_NAME) in $(SHLIB_DIR).
262 (SHLIB_INSTALL): Adjust accordingly. Add $(SHLIB_SLIBDIR_QUAL) to
264 * config/rs6000/t-aix43 (SHLIB_LINK): Put @shlib_base_name@.a in
265 @multilib_dir@. Use @multilib_dir@ to check for threading libraries.
266 (SHLIB_INSTALL): Adjust accordingly.
267 (SHLIB_LIBS): Use @multilib_dir@ to check for threading libraries.
268 * config/rs6000/t-aix52: As for config/rs6000/t-aix43.
269 * config/sh/t-linux (SHLIB_LINK, SHLIB_INSTALL): As for
270 config/t-slibgcc-elf-ver.
272 2005-02-19 Zdenek Dvorak <dvorakz@suse.cz>
273 Jakub Jelinek <jakub@redhat.com>
275 PR tree-optimization/19828
276 * tree-ssa-loop-im.c: Add a TODO comment.
277 (movement_possibility): Return MOVE_PRESERVE_EXECUTION for calls
278 without side-effects.
280 2005-02-18 James A. Morrison <phython@gcc.gnu.org>
282 * tree-ssa-ccp.c (widen_bitfield): Pass type to build_int_cst and don't
285 2005-02-18 James E. Wilson <wilson@specifixinc.com>
287 * doc/invoke.texi (IA-64 Options): Delete -mb-step.
288 * config/ia64/ia64.c (last_group, group_idx): Delete variables.
289 (errata_find_address_regs, errata_emit_nops, fixup_errata): Delete
291 (ia64_reorg): Delete fixup_errata call.
292 * config/ia64/ia64.h (MASK_B_STEP, TARGET_B_STEP): Delete.
293 (TARGET_SWITCHES): Delete -mb-step entry.
295 2005-02-19 Jakub Jelinek <jakub@redhat.com>
298 * c-typeck.c (composite_type): Handle quals in transparent unions.
299 (type_lists_compatible_p): Likewise.
301 2005-02-18 Stan Shebs <shebs@apple.com>
303 * config/darwin.c (machopic_select_rtx_section): Don't put relocatable
304 expressions in the .literal8 section.
306 2005-02-18 Geoffrey Keating <geoffk@apple.com>
308 * config/rs6000/darwin-tramp.asm: Remove stray 'APPLE LOCAL' marker.
310 2005-02-18 Roger Sayle <roger@eyesopen.com>
312 * fold-const.c (constant_boolean_node): Always create values of the
313 specified type, don't bother calling truthvalue_conversion.
315 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
317 * except.c (output_function_exception_table): Call
318 assemble_external_libcall (eh_personality_libfunc).
320 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
323 * config/ia64/ia64.h (struct machine_function): Add state_num.
324 * config/ia64/ia64.c (process_epilogue,
325 process_for_unwind_directive): Use new unwind state numbers each
326 time rather than state 1.
328 2005-02-18 Ulrich Weigand <uweigand@de.ibm.com>
331 * config/s390/s390.md ("*llgt_sidi", "*llgt_sidi_split"): Move to
332 before the "*llgt_didi" pattern.
334 2005-02-18 Jason Merrill <jason@redhat.com>
336 * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Revert again.
338 2005-02-18 Richard Earnshaw <rearnsha@arm.com>
340 * arm/lib1funcs.asm (FUNC_ALIAS): New macro.
341 (div0): Use it in place of ARM_FUNC_ALIAS.
342 (lshrdi3, ashrdi3, ashlrdi3): Likewise.
344 2005-02-18 Andrew Pinski <pinskia@physics.uc.edu>
347 * fold-const.c (fold_indirect_ref_1): Use the correct index for zero
348 access, the lower bound of the array type if it exists.
350 2005-02-18 Alexandre Oliva <aoliva@redhat.com>
353 * stmt.c (expand_case): Don't assume cleanup_tree_cfg will remove
354 cases that are out-of-range for the index type.
356 2005-02-18 James A. Morrison <phython@gcc.gnu.org>
358 * stmt.c (emit_case_bit_tests): Call fold_convert instead of convert.
359 (estimate_case_costs): Don't call convert.
360 * expmed.c (expand_shift): Likewise.
361 (make_tree): Call fold_convert instead of convert.
363 2005-02-18 Jakub Jelinek <jakub@redhat.com>
366 * emit-rtl.c (set_mem_attributes_minus_bitpos): Add assertion
367 that ref to be marked MEM_READONLY_P doesn't have base that needs
370 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
372 * genautomata.c (output_get_cpu_unit_code_func,
373 output_cpu_unit_reservation_p): Don't generate old-style function
376 2005-02-18 Jakub Jelinek <jakub@redhat.com>
379 PR tree-optimization/20009
380 * convert.c (convert_to_integer): Revert 2005-02-16 change.
382 PR tree-optimization/18947
383 * cgraphunit.c (cgraph_finalize_function): When redefining an extern
384 inline, remove all nodes that are inlined into the extern inline
387 2005-02-17 Kazu Hirata <kazu@cs.umass.edu>
389 * bt-load.c, cfgloop.c, convert.c, dominance.c, global.c,
390 loop-invariant.c, stmt.c, tree-ssa-forwprop.c,
391 tree-ssa-live.c, tree-ssanames.c, tree-vn.c,
392 config/host-linux.c, config/arm/fpa.md, config/avr/avr.h:
395 2005-02-17 Roger Sayle <roger@eyesopen.com>
397 PR tree-optimization/19917
398 * tree-eh.c (tree_could_trap_p): Consider calls to weak functions
399 to be potentially trapping.
401 2005-02-17 Kazu Hirata <kazu@cs.umass.edu>
403 * libgcc2.c, tree-vect-analyze.c: Fix comment typos.
405 2005-02-17 Andreas Krebbel <krebbel1@de.ibm.com>
407 * builtins.c (expand_builtin_return_addr): Remove tem parameter.
408 tem becomes a local variable which is set to the value of the
409 back end defined INITIAL_FRAME_ADDRESS macro.
410 (expand_builtin_frame_address): Omit the base parameter to
411 expand_builtin_return_addr.
412 (expand_builtin_profile_func): Likewise.
413 * config/s390/s390.h (INITIAL_FRAME_ADDRESS_RTX): Define new macro.
414 (DYNAMIC_CHAIN_ADDRESS): Remove the case for the initial frame.
415 * doc/tm.texi: Documentation for INITIAL_FRAME_ADDRESS_RTX added.
417 2005-02-17 Jakub Jelinek <jakub@redhat.com>
419 * config/s390/s390.c (s390_alloc_pool, s390_free_pool,
420 s390_chunkify_start): Use BITMAP_ALLOC and BITMAP_FREE.
421 * config/frv/frv.c (frv_function_epilogue): Likewise.
423 2005-02-17 Daniel Berlin <dberlin@dberlin.org>
425 * lambda-code (perfect_nestify): Remove mark/unmark
427 * tree-loop-linear.c (linear_transform_loops): Add
428 rewrite_into_ssa call so that ssa is correct for
429 rewriting into loop closed.
431 2005-02-17 Nathan Sidwell <nathan@codesourcery.com>
433 * bitmap.h (BITMAP_XMALLOC, BITMAP_XFREE): Remove.
434 * bb-reorder.c (duplicate_computed_gotos): Use BITMAP_ALLOC and
436 * bt-load.c (btr_def_live_range, combine_btr_defs,
437 migrate_btr_def, migrate_btr_defs): Likewise.
438 * cfgcleanup.c (thread_jump): Likewise.
439 * cfgloop.c (get_loop_body_in_bfs_order): Likewise.
440 * df.c (df_insn_table_realloc, df_bitmaps_alloc, df_bitmaps_free,
441 df_alloc, df_free, df_du_chain_create, df_bb_rd_local_compute,
442 df_rd_local_compute, df_reg_info_compute): Likewise.
443 * dominance.c (init_dom_info, free_dom_info): Likewise.
444 * flow.c (init_propagate_block_info,
445 free_propagate_block_info): Likewise.
446 * gcse.c (alloc_gcse_mem, free_gcse_mem): Likewise.
447 * global.c (allocate_bb_info, free_bb_info, calculate_reg_pav,
448 modify_reg_pav): Likewise.
449 * loop-invariant.c (find_defs, find_invariant_insn,
450 find_invariants, free_inv_motion_data): Likewise.
451 * predict.c (tree_predict_by_opcode,
452 estimate_bb_frequencies): Likewise.
453 * stmt.c (expand_case): Likewise.
454 * tree-cfg.c (tree_duplicate_sese_region): Likewise.
455 * tree-dfa.c (mark_new_vars_to_rename): Likewise.
456 * tree-if-conv.c (get_loop_body_in_if_conv_order): Likewise.
457 * tree-into-ssa.c (insert_phi_nodes_for, def_blocks_free,
458 get_def_blocks_for, mark_def_site_blocks, rewrite_into_ssa,
459 rewrite_ssa_into_ssa): Likewise.
460 * tree-optimize.c (tree_rest_of_compilation): Likewise.
461 * tree-outof-ssa.c (new_temp_expr_table, free_temp_expr_table,
462 analyze_edges_for_bb, perform_edge_inserts): Likewise.
463 * tree-scalar-evolution.c (scev_initialize, scev_finalize): Likewise.
464 * tree-sra.c (tree_sra): Likewise.
465 * tree-ssa-alias.c (init_alias_info, delete_alias_info): Likewise.
466 * tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
467 * tree-ssa-dce.c (tree_dce_init, tree_dce_done): Likewise.
468 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
469 * tree-ssa-dse.c (tree_ssa_dse): Likewise.
470 * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_var):
472 * tree-ssa-live.c (new_tree_live_info, delete_tree_live_info,
473 calculate_live_on_entry, calculate_live_on_exit,
474 build_tree_conflict_graph): Likewise.
475 * tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init, record_use,
476 record_important_candidates, set_use_iv_cost, find_depends,
477 determine_use_iv_costs, iv_ca_new, iv_ca_free, free_loop_data,
478 tree_ssa_iv_optimize_finalize): Likewise.
479 * tree-ssa-loop-manip.c (add_exit_phis_var, get_loops_exit,
480 find_uses_to_rename_use, rewrite_into_loop_closed_ssa,
481 tree_duplicate_loop_to_header_edge): Likewise.
482 * tree-ssa-pre.c (init_pre, fini_pre): Likewise.
483 * tree-ssa.c (verify_flow_insensitive_alias_info,
484 verify_name_tags, verify_ssa, init_tree_ssa,
485 delete_tree_ssa): Likewise.
486 * tree-ssanames.c (marked_ssa_names, init_ssanames,
487 fini_ssanames): Likewise.
488 * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Likewise.
490 2005-02-17 Ralf Corsepius <ralf.corsepius@rtems.org>
492 * config/rs6000/t-rtems: Completely reworked.
494 2005-02-17 Ira Rosen <irar@il.ibm.com>
496 * tree-data-ref.c (array_base_name_differ_p): Remove gcc_assert.
498 2005-02-17 Ira Rosen <irar@il.ibm.com>
500 * tree-vect-analyze.c (vect_analyze_pointer_ref_access): Use
501 POINTER_TYPE_P when checking that type is a pointer.
502 (vect_get_memtag): Remove.
503 (vect_address_analysis): Use POINTER_TYPE_P. Call
504 vect_object_analysis with dummy parameter for memtag.
505 (vect_object_analysis): Extract memtag (functionality that
506 used to be in vect_get_memtag and moved here). Fix printings.
507 (vect_analyze_data_refs): Fix comment. Call vect_object_analysis
508 with correct parameters. Remove call to vect_get_memtag.
510 2005-02-17 Dorit Naishlos <dorit@il.ibm.com>
512 * Makefile.in (tree-vect-analyze.o, tree-vect-transform.o): New.
513 (tree-vectorizer.o): Added missing dependencies.
515 * tree-vectorizer.h (vect_dump, vect_verbosity_level): Added extern
517 (slpeel_tree_peel_loop_to_edge): Function externalized (had a static
518 declaration in tree-vectorizer.c, now has an extern declaration in
520 (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
521 slpeel_verify_cfg_after_peeling, vect_strip_conversion,
522 get_vectype_for_scalar_type, vect_is_simple_use,
523 vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
524 vect_supportable_dr_alignment, new_loop_vec_info, destroy_loop_vec_info,
525 new_stmt_vec_info, vect_analyze_loop, vectorizable_load,
526 vectorizable_store, vectorizable_operation, vectorizable_assignment,
527 vect_transform_loop, vect_print_dump_info, vect_set_verbosity_level,
528 find_loop_location): Likewise.
530 * tree-vectorizer.c (langhooks.h): #include removed.
531 (slpeel_tree_peel_loop_to_edge): Function externalized. Declaration
532 moved to tree-vectorized.h.
533 (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
534 slpeel_verify_cfg_after_peeling, vect_strip_conversion,
535 get_vectype_for_scalar_type, vect_is_simple_use,
536 vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
537 vect_supportable_dr_alignment, new_loop_vec_info,
538 destroy_loop_vec_info, new_stmt_vec_info, vect_print_dump_info,
539 vect_set_verbosity_level, find_loop_location): Likewise.
541 (vect_analyze_loop): Function externalized. Declaration moved to
542 tree-vectorized.h. Function definition moved to tree-vect-analyze.c.
543 (vect_analyze_loop_form): Moved to tree-vect-analyze.c.
544 (vect_mark_stmts_to_be_vectorized, vect_analyze_scalar_cycles,
545 vect_analyze_data_ref_accesses, vect_analyze_data_ref_dependences,
546 vect_analyze_data_refs_alignment, vect_compute_data_refs_alignment,
547 vect_enhance_data_refs_alignment, vect_analyze_operations,
548 exist_non_indexing_operands_for_use_p, vect_mark_relevant,
549 vect_stmt_relevant_p, vect_get_loop_niters,
550 vect_analyze_data_ref_dependence, vect_compute_data_ref_alignment,
551 vect_analyze_data_ref_access, vect_analyze_pointer_ref_access,
552 vect_can_advance_ivs_p, vect_get_ptr_offset, vect_analyze_offset_expr,
553 vect_base_addr_differ_p, vect_object_analysis, vect_address_analysis,
554 vect_get_memtag): Likewise.
556 (vectorizable_load): Function externalized. Declaration moved to
557 tree-vectorized.h. Function definition moved to tree-vect-transform.c.
558 (vectorizable_store, vectorizable_operation, vectorizable_assignment,
559 vect_transform_loop): Likewise.
560 (vect_transform_stmt): Moved to tree-vect-transform.c.
561 (vect_align_data_ref, vect_create_destination_var,
562 vect_create_data_ref_ptr, vect_create_index_for_vector_ref,
563 vect_create_addr_base_for_vector_ref, vect_get_new_vect_var,
564 vect_get_vec_def_for_operand, vect_init_vector,
565 vect_finish_stmt_generation, vect_generate_tmps_on_preheader,
566 vect_build_loop_niters, vect_update_ivs_after_vectorizer,
567 vect_gen_niters_for_prolog_loop, vect_update_inits_of_dr,
568 vect_update_inits_of_drs, vect_do_peeling_for_alignment,
569 vect_do_peeling_for_loop_bound): Likewise.
571 * tree-vect-analyze.c: New file.
572 * tree-vect-transform.c: New file.
574 2005-02-17 Jason Merrill <jason@redhat.com>
576 PR mudflap/19319, c++/19317
577 * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
580 2005-02-17 Gerald Pfeifer <gerald@pfeifer.com>
582 * doc/install.texi (Specific): Update link for Darwin-specific
585 2005-02-16 James A. Morrison <phython@gcc.gnu.org>
587 * fold-const.c (invert_truthvalue): <INTEGER_CST>: Call
588 constant_boolean_node.
590 2005-02-16 David Edelsohn <edelsohn@gnu.org>
593 * config/rs6000/t-aix43 (SHLIB_MAPFILES): Add libgcc-ppc64.ver.
594 * config/rs6000/t-aix52 (SHLIB_MAPFILES): Same.
596 2005-02-16 Richard Henderson <rth@redhat.com>
599 * libgcc2.c (WORD_SIZE): Remove all definitions; replace uses
601 (HIGH_WORD_COEFF, HIGH_HALFWORD_COEFF): Remove all definitions;
602 replace uses with Wtype_MAXp1_F.
603 (L_fixunstfdi, L_fixtfdi, L_floatditf, L_fixunsxfdi, L_fixxfdi,
604 L_floatdixf, L_fixunsxfsi, L_fixunsdfdi, L_floatdidf, L_fixunsdfsi,
605 L_powidf2, L_powixf2, L_powitf2, L_muldc3, L_divdc3, L_mulxc3,
606 L_divxc3, L_multc3, L_divtc3): Protect with HAVE_DFMODE, HAVE_XFMODE,
607 and HAVE_TFMODE as appropriate.
608 (__fixunssfDI): Provide an implementation that doesn't need DFmode.
609 (__floatdisf): Likewise.
610 * libgcc2.h (LIBGCC2_DOUBLE_TYPE_SIZE): New.
611 (HAVE_DFMODE, HAVE_XFMODE, HAVE_TFMODE): New.
612 (Wtype_MAXp1_F): New.
613 (DFtype, DCtype, __fixdfdi, __floatdidf, __fixunsdfSI, __fixunsdfDI,
614 __powidf2, __divdc3, __muldc3): Protect with HAVE_DFMODE.
616 2005-02-16 Richard Earnshaw <rearnsha@arm.com>
619 * arm.c (arm_apply_result_size): New function.
620 * arm.h (APPLY_RESULT_SIZE): Define.
621 * arm-protos.h (arm_apply_result_size): Add prototype.
622 * arm.md (RO_REGNUM, FPA_F0_REGNUM, FPA_F7_REGNUM): New constants.
624 (ldmsi_postinc4_thumb, stmsi_postinc4_thumb): New patterns for Thumb.
625 (call_value_symbol): Remove predicate for operand 0.
626 (call_value_insn, sibcall_value, sibcall_value_insn): Likewise.
627 (untyped_call): Rework to correclty return values for any type.
628 (untyped_return): New expand.
629 * fpa.md (movxf_fpa): Simplify and use sfm/lfm when appropriate.
631 2005-02-16 Stan Shebs <shebs@apple.com>
633 * config.gcc (powerpc-*-darwin*): Use fragment for Darwin 8 or later.
634 * config/rs6000/t-darwin8: New, for 64-bit multilib.
636 2005-02-16 Eric Botcazou <ebotcazou@libertysurf.fr>
638 * doc/install.texi (sparc-sun-solaris2*): Document required GMP
639 configure settings on Solaris 7 and later.
641 2005-02-16 Diego Novillo <dnovillo@redhat.com>
643 PR tree-optimization/19865
644 * tree-optimize.c (init_tree_optimization_passes): Run
645 pass_may_alias after pass_sra.
647 2005-02-16 Richard Henderson <rth@redhat.com>
648 Stuart Hastings <stuart@apple.com>
651 * dbxout.c (dbxout_function_end): Take decl parameter; update callers.
652 Do nothing if debug info suppressed for this function.
653 (dbxout_begin_function): Early exit if debug info suppressed for
656 2005-02-16 Kazu Hirata <kazu@cs.umass.edu>
659 * config/ip2k/ip2k.c (ip2k_reorg): Adjust calls to
661 * config/sh/sh.c (sh_output_mi_thunk): Likewise.
663 PR tree-optimization/19967
664 * builtins.c (expand_builtin_strstr, expand_builtin_strpbrk,
665 expand_builtin_strchr, expand_builtin_strrchr): Take a new
666 argument TYPE. Adjust calls to fold_builtin_XXX.
667 (expand_builtin, fold_builtin_1): Adjust calls to
669 (fold_builtin_strchr, fold_builtin_strpbrk,
670 fold_builtin_strstr, fold_builtin_strrchr): Convert the folded
671 result to a requested type TYPE.
673 2005-02-16 Jakub Jelinek <jakub@redhat.com>
676 * fold-const.c (fold): Don't optimize (T)(x & cst) to
677 (T)x & (T)cst if (T)cst overflows.
678 * convert.c (convert_to_integer) <case POINTER_TYPE>: Pass
679 TYPE_UNSIGNED (type) as type_for_size's UNSIGNEDP argument.
681 2005-02-15 Jeff Law <law@redhat.com>
683 * gcse.c (blocks_with_calls): New bitmap.
684 (alloc_gcse_mem): Allocate it.
685 (free_gcse_mem): Free it.
686 (clear_modifY_mem_tables): Clear it.
687 (record_last_mem_set_info): Set the proper bit in BLOCK_WITH_CALLS
688 when we encounter CALL_INSNs.
689 (compute_transp, case MEM): Handle blocks with calls separate
690 from blocks without calls. Use bitmap iterators rather than
693 2005-02-15 Peter O'Gorman <peter@pogma.com>
696 * mklibgcc.in (vis_hide): Use a temporary object file, not
699 2005-02-15 Andy Hutchinson <HutchinsonAndy@netscape.net>
702 * config/avr/avr.h (MODES_TIEABLE_P): Define to 1 to allow subreg
705 2005-02-15 David Edelsohn <edelsohn@gnu.org>
706 Alan Modra <amodra@bigpond.net.au>
709 * config/rs6000/darwin-ldouble.c (_xlqadd): Rename to __gcc_qadd.
710 (_xlqsub): Rename to __gcc_qsub.
711 (_xlqmul): Rename to __gcc_qmul.
712 (_xlqdiv): Rename to __gcc_qdiv.
713 Provide versioned symbol aliases with old names.
714 * config/rs6000/libgcc-ppc64.ver: Rename symbols.
715 * config/rs6000/rs6000.c (rs6000_init_libfuncs): Rename symbols.
716 * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): New.
717 * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): New.
718 * config/rs6000/t-newas (LIB2FUNCS_EXTRA): New.
720 2005-02-15 James A. Morrison <phython@gcc.gnu.org>
722 * fold-const.c (fold): Fold -(~A) to A + 1. Fold ~(-A) to A - 1.
723 Fold ~(A - 1) and ~(A + -1) to -A.
725 2005-02-15 James A. Morrison <phython@gcc.gnu.org>
729 * config/host-linux.c (linux_gt_pch_use_address): Copy from
730 config/pa/pa-host.c:pa_gt_pch_use_address.
732 2005-02-15 Daniel Berlin <dberlin@dberlin.org>
734 * tree-vn.c (get_value_handle): Make sure that given an
735 is_gimple_min_invariant expression, we always return it.
737 2005-02-15 Kazu Hirata <kazu@cs.umass.edu>
739 * passes.c (rest_of_handle_gcse): Fix a comment.
741 2005-02-15 Jeff Law <law@redhat.com>
743 * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
745 (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
746 (canon_list_insert, record_last_mem_set_info): Similarly.
747 (clear_modify_mem_tables): Similarly.
749 2005-02-15 Kazu Hirata <kazu@cs.umass.edu>
751 * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
752 tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
753 config/mips/mips.md, config/rs6000/aix.h,
754 config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
756 2005-02-15 Richard Henderson <rth@redhat.com>
758 * bb-reorder.c (find_traces_1_round): Force fallthru edge from a
759 call to be best_edge.
761 2005-02-14 Kazu Hirata <kazu@cs.umass.edu>
763 * basic-block.h: Adjust the prototype for find_basic_blocks.
764 * cfgbuild.c (find_basic_blocks): Remove unused arguments.
765 * passes.c (rest_of_handle_loop_optimize): Adjust the call to
768 * flow.c (recompute_reg_usage): Remove all arguments.
769 * passes.c (rest_of_compilation): Adjust the call to
771 * rtl.h: Adjust the prototype for recompute_reg_usage.
773 2005-02-14 Daniel Berlin <dberlin@dberlin.org>
775 * tree-dump.c (dump_files): Update to reflect new member
777 (dump_register): Add new argument.
779 (dump_switch_p_1): Check against glob name if doglob was passed.
780 (dump_switch_p): Check against regular first, then glob if
781 we didn't have any hits on the dump name.
782 * tree-optimize.c (register_one_dump_file):
783 Pass in glob name as well.
784 * tree-pass.h (struct dump_file_info): Add glob
787 2005-02-14 Joseph S. Myers <joseph@codesourcery.com>
789 PR preprocessor/16323
790 * doc/invoke.texi: Document that -Wendif-labels is on by default.
792 2005-02-14 David Edelsohn <edelsohn@gnu.org>
795 * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
796 (trunctfdf2_internal1): New.
797 (trunctfdf2_internal2): Renamed from trunctfdf2.
799 2005-02-14 Diego Novillo <dnovillo@redhat.com>
801 PR tree-optimization/19853
802 * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
804 2005-02-14 Kazu Hirata <kazu@cs.umass.edu>
806 * passes.c (rest_of_handle_loop_optimize): Remove calls to
807 delete_dead_jumptables and cleanup_cfg.
809 2005-02-14 Ulrich Weigand <uweigand@de.ibm.com>
811 * reload.c (find_reloads): Swap address_reloaded flags when
812 swapping commutative operands.
814 2005-02-14 Sebastian Pop <pop@cri.ensmp.fr>
816 * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
817 Use standard_iv_increment_position for computing the bsi position
819 * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
822 2005-02-13 Zdenek Dvorak <dvorakz@suse.cz>
825 * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
826 life range of hard registers.
827 * value-prof.c (insn_prefetch_values_to_profile): Only
830 * value-prof.c (rtl_find_values_to_profile): Do not look for values to
833 2005-02-13 Nathan Sidwell <nathan@codesourcery.com>
835 * bitmap.h (bitmap_and_compl_into): Return bool.
836 * bitmap.c (bitmap_and_compl_into): Return changed flag.
838 2005-02-13 James A. Morrison <phython@gcc.gnu.org>
840 PR tree-optimization/19944
841 * fold-const.c (fold): Re-add ABS_EXPR folding.
843 2005-02-13 David Edelsohn <edelsohn@gnu.org>
846 * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
847 {TARGET,MASK}_XL_COMPAT.
848 (SUBTARGET_SWITCHES): Rename xl-call to xl-compat. Use
850 * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
851 * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
853 (rs6000_arg_partial_bytes): Same.
854 (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
855 and XL compatibility enabled.
856 * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
857 * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
858 test to final condition.
859 (cmptf_internal2): New.
860 * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
861 xl-compat. Add TFmode information to description.
863 2005-02-13 Kazu Hirata <kazu@cs.umass.edu>
865 * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
867 2005-02-13 Jason Merrill <jason@redhat.com>
870 * fold-const.c (fold_indirect_ref_1): Split out from...
871 (build_fold_indirect_ref): Here.
872 (fold_indirect_ref): New fn.
873 * tree.h: Declare it.
874 * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
875 (gimplify_modify_expr_rhs): Likewise.
876 (gimplify_expr): Likewise.
878 2005-02-13 James A. Morrison <phython@gcc.gnu.org>
880 PR tree-optimization/14303
881 PR tree-optimization/15784
882 * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
883 Fold ABS_EXPR<x> < 0 to false. Fold ABS_EXPR<x> == 0 to x == 0 and
884 ABS_EXPR<x> != 0 to x != 0.
886 2005-02-12 Kazu Hirata <kazu@cs.umass.edu>
888 * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
889 simplify-rtx.c, tree-ssa-live.h: Fix comment typos. Follow
890 spelling conventions.
892 * passes.c (rest_of_handle_gcse): Don't run cse_main and
893 delete_trivially_dead_insns too many times.
895 * passes.c (rest_of_handle_gcse): Remove dead assignments to
898 2005-02-12 Ira Rosen <irar@il.ibm.com>
900 * tree-vectorizer.c (vect_get_base_and_offset): Remove.
901 (vect_is_simple_iv_evolution): Remove redundant parameter
903 (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
904 without last parameter.
905 (vect_analyze_pointer_ref_access): Get access_fn as parameter.
906 Return pointer step. Call vect_is_simple_iv_evolution without
907 last parameter. Check only that the step is multiple of size
908 type. Remove stmt_vinfo updates.
909 (vect_get_memtag_and_dr): Remove.
910 (vect_get_memtag): New function.
911 (vect_address_analysis): New function.
912 (vect_object_analysis): New function.
913 (vect_analyze_data_refs): Call vect_object_analysis and
914 vect_get_memtag. Update stmt_vinfo fields.
916 2005-02-12 Ira Rosen <irar@il.ibm.com>
918 * tree-data-ref.c (array_base_name_differ_p): Check that the bases
919 exist and are objects. Remove checks for pointer.
920 * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
921 STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
922 (vect_create_data_ref_ptr): Likewise.
923 (vect_base_addr_differ_p): New function.
924 (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
925 (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
926 Don't set the DR_BASE_NAME field of data-ref.
927 (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
929 2005-02-12 Uros Bizjak <uros@kss-loka.si>
931 * optabs.h (enum optab_index): Add new OTI_ldexp.
932 (ldexp_optab): Define corresponding macro.
933 * optabs.c (init_optabs): Initialize ldexp_optab.
934 * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
936 * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
938 (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
939 expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
941 * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
942 to implement ldexpf, ldexp and ldexpl built-ins as inline x87
945 2005-02-12 Ira Rosen <irar@il.ibm.com>
947 * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
949 * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
951 (vect_get_base_and_offset): Always return an address.
952 (vect_create_addr_base_for_vector_ref): Remove treatment for
953 different data reference types.
954 (vect_compute_data_ref_alignment): Rename base to base_address in
955 stmt_vec_info. Get the object in order to force its alignment.
956 (vect_get_memtag_and_dr): Rename base to base_address in
957 stmt_vec_info. Extract the object for memtag analysis.
959 2005-02-12 Hans-Peter Nilsson <hp@axis.com>
962 * config/cris/cris.c (cris_notice_update_cc): When testing if insn
963 changes cc_status, use apply modified_in_p to part of cc_status
964 and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
967 2005-02-11 Richard Henderson <rth@redhat.com>
969 * tree-complex.c (expand_complex_libcall): New.
970 (expand_complex_multiplication): Use it for c99 compliance.
971 (expand_complex_division): Likewise.
972 * fold-const.c (fold_complex_add, fold_complex_mult): New.
974 * builtins.c (built_in_names): Remove const.
975 * tree.c (build_common_builtin_nodes): Build complex arithmetic
977 * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
978 (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
979 (built_in_names): Remove const.
980 * c-common.c (c_common_type_for_mode): Handle complex modes.
981 * flags.h, toplev.c (flag_complex_method): Rename from
982 flag_complex_divide_method.
983 * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
984 __mulsc3, __muldc3, __mulxc3, __multc3): New.
985 * libgcc2.h: Declare them.
986 * libgcc-std.ver: Export them.
987 * mklibgcc.in (lib2funcs): Build them.
989 2005-02-11 Steven Bosscher <stevenb@suse.de>
991 PR tree-optimization/19876
992 Partially revert my change from 2005-01-14
993 * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
994 (compute_antic): ...and remove the loop here.
996 2005-02-11 Jakub Jelinek <jakub@redhat.com>
999 * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
1000 is number of inner's bits, avoid creating a BIT_FIELD_REF.
1002 * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
1003 crtend.o if -pie. Use %{x:a;:b} spec syntax.
1005 2005-02-11 Daniel Jacobowitz <dan@codesourcery.com>
1007 * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
1008 offsets for the big-endian 32-bit case.
1010 2005-02-11 Joseph S. Myers <joseph@codesourcery.com>
1012 * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
1014 2005-02-11 Dale Johannesen <dalej@apple.com>
1016 * cselib.c (cselib_process_insn): Clear out regs where
1017 HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
1018 * reload.c (find_equiv_reg): Ditto.
1020 2005-02-11 Ian Lance Taylor <ian@airs.com>
1022 * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
1025 * tree.c (build_function_type_list): Work correctly if there are
1028 2005-02-11 Ulrich Weigand <uweigand@de.ibm.com>
1030 * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
1031 "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
1032 ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
1033 TARGET_ZARCH instead of TARGET_64BIT.
1035 2005-02-11 Ralf Corsepius <ralf.corsepius@rtems.org>
1037 * config/rs6000/t-rtems:
1038 (MULTILIB_OPTIONS): Remove mcpu=602.
1039 (MUTLILIB_DIRNAMES): Remove m602.
1040 (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}.
1041 Let mcpu=602 match mcpu=603.
1042 (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
1044 2005-02-10 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1046 * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
1049 2005-02-10 David Daney <ddaney@avtrex.com>
1051 * config/alpha/linux-unwind.h: Add exception clause to copyright.
1052 * config/i386/linux-unwind.h: Likewise.
1053 * config/ia64/linux-unwind.h: Likewise.
1054 * config/mips/linux-unwind.h: Likewise.
1055 * config/pa/linux-unwind.h: Likewise.
1056 * config/rs6000/linux-unwind.h: Likewise.
1057 * config/s390/linux-unwind.h: Likewise.
1058 * config/sh/linux-unwind.h: Likewise.
1059 * config/sparc/linux-unwind.h: Likewise.
1061 2005-02-10 Steven Bosscher <stevenb@suse.de>
1063 PR tree-optimization/17549
1064 * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
1065 TER to replace a DEF with its expression if the DEF and the
1066 rhs of the expression we replace into have the same root
1069 2005-02-10 Richard Sandiford <rsandifo@redhat.com>
1071 * config/mips/mips.md: Fix the placement of the match_scratch in the
1074 2005-02-10 Kazu Hirata <kazu@cs.umass.edu>
1076 * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
1079 2005-02-10 Zdenek Dvorak <dvorakz@suse.cz>
1081 * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
1082 (strip_offset): Handle addresses.
1083 (add_address_candidates): Use strip_offset.
1084 (difference_cost): Reflect strip_offset change.
1085 (force_var_cost, difference_cost): Strip nops.
1087 2005-02-10 Kazu Hirata <kazu@cs.umass.edu>
1089 * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
1091 * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
1092 tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
1093 config/cris/cris-protos.h, config/cris/cris.c: Update
1096 2005-02-10 Jeff Law <law@redhat.com>
1098 * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
1099 (lookup_avail_expr): Similarly.
1101 2005-02-10 Richard Guenther <rguenth@gcc.gnu.org>
1103 * builtins.c (fold_builtin_powi): New function.
1104 (fold_builtin_1): Call it.
1106 2005-02-10 Steven Bosscher <stevenb@suse.de>
1108 PR documentation/19309
1109 * doc/cpp.texi: The __GNUC__ and related predefined macros
1110 are also defined for the "standalone" cpp.
1111 Some non-GCC compilers may also define __GNUC__.
1113 2005-02-10 Jakub Jelinek <jakub@redhat.com>
1116 * c-typeck.c (common_type): New routine. Old common_type renamed
1118 (c_common_type): ...this.
1119 (build_conditional_expr, build_binary_op): Use c_common_type instead
1122 2005-02-10 Steven Bosscher <stevenb@suse.de>
1124 * doc/md.texi: Replace @samp{length} with @code{length}.
1126 2005-02-09 Zdenek Dvorak <dvorakz@suse.cz>
1128 PR tree-optimization/18687
1129 * tree-flow.h (find_loop_niter): Declare.
1130 * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
1131 Try using scev even for loops with more than one exit.
1132 * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
1133 (struct ivopts_data): Added niters field.
1134 (struct nfe_cache_elt): New.
1135 (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
1137 (tree_ssa_iv_optimize_init): Initialize niters cache.
1138 (determine_number_of_iterations): Removed.
1139 (find_induction_variables): Do not call determine_number_of_iterations.
1140 Access niters for single exit through niter_for_single_dom_exit.
1141 (add_iv_outer_candidates): Access niters for single exit through
1142 niter_for_single_dom_exit.
1143 (may_eliminate_iv): Take data argument. Use niter_for_exit. Do not use
1144 number_of_iterations_cond.
1145 (iv_period): New function.
1146 (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
1147 (may_replace_final_value): Take data argument. Use
1148 niter_for_single_dom_exit.
1149 (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
1150 (rewrite_use_compare): Pass data to may_eliminate_iv.
1151 (rewrite_use_outer): Pass data to may_replace_final_value.
1152 (free_loop_data): Clean up the niters cache.
1153 (tree_ssa_iv_optimize_finalize): Free the niters cache.
1154 (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
1155 * tree-ssa-loop-niter.c (find_loop_niter): New function.
1156 (find_loop_niter_by_eval): Use tree_int_cst_lt.
1157 (num_ending_zeros): Moved to tree.c.
1158 * tree.h (num_ending_zeros): Declare.
1159 * tree.c (num_ending_zeros): Moved from tree.c.
1161 2005-02-09 Richard Henderson <rth@redhat.com>
1163 * builtins.c (DEF_BUILTIN): Add COND argument.
1164 * tree.h (DEF_BUILTIN): Likewise.
1165 * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
1166 DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
1168 (DEF_BUILTIN_STUB): New.
1169 (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
1170 BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
1171 BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
1172 * c-common.c (DEF_BUILTIN): Add COND argument.
1173 * tree.c (local_define_builtin): New.
1174 (build_common_builtin_nodes): New.
1176 2005-02-09 Roger Sayle <roger@eyesopen.com>
1178 * fold-const.c (fold_strip_sign_ops): New function to simplify a
1179 floating point expression ignoring the sign of the result.
1180 (fold) <ABS_EXPR>: Use it to simplify fabs(x).
1181 (fold) <MULT_EXPR>: Use it to simplify x*x.
1182 * tree.h (fold_strip_sign_ops): Prototype here.
1183 * builtins.c (fold_builtin_copysign): Take an additional FNDECL
1184 argument. Use fold_strip_sign_ops to simplify the first argument.
1185 (fold_builtin_pow): Use fold_strip_sign_ops to simplify the
1186 first argument when the second argument is an even integer
1187 constant, but only with -funsafe_math_optimizations.
1188 (fold_builtin_1): Update call to fold_builtin_copysign.
1190 2005-02-09 Ian Lance Taylor <ian@airs.com>
1193 * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
1194 just check whether EH_FILTER_FAILURE falls through.
1196 2005-02-09 Andreas Krebbel <krebbel1@de.ibm.com>
1198 * gcc/haifa-sched.c (schedule_block): Make queued sched group
1199 insns return to ready list in the next turn.
1201 2005-02-09 Richard Guenther <rguenth@gcc.gnu.org>
1204 * builtins.def: New __builtin_powi[lf].
1205 * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
1206 (expand_builtin_powi): New function.
1207 (expand_builtin): Dispatch to expand_builtin_powi.
1208 * libgcc2.h: Add prototypes for __builtin_powi[lf].
1209 * libgcc2.c: Add __builtin_powi[lf] implementation.
1210 * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
1211 * optabs.h: Add powi_optab.
1212 * optabs.c (init_optabs): Initialize powi_optab.
1213 * doc/extend.texi: Document __builtin_powi[lf].
1215 2005-02-09 Dorit Naishlos <dorit@il.ibm.com>
1217 * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file
1220 2005-02-09 Richard Guenther <rguenth@gcc.gnu.org>
1223 * fold-const.c (try_move_mult_to_index): Remove redundant
1224 type argument. Create ADDR_EXPR with correct type.
1225 (fold): Update callers of try_move_mult_to_index. Convert
1226 result to the appropriate type.
1228 2005-02-09 Roger Sayle <roger@eyesopen.com>
1231 * config/avr/avr.c (default_rtx_costs): Delete.
1232 (avr_operand_rtx_cost): New function.
1233 (avr_rtx_costs): Completely rewrite.
1235 2005-02-08 Hans-Peter Nilsson <hp@axis.com>
1238 * config/cris/cris.c (in_code): New variable.
1239 (cris_output_addr_const): Now a static function, a wrapper for
1241 (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
1242 case from old cris_output_addr_const.
1243 (cris_asm_output_label_ref): Similar for LABEL_REF.
1244 (cris_output_addr_const_extra): Similar for UNSPEC.
1245 * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
1246 (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
1247 * config/cris/cris-protos.h (cris_output_addr_const): Remove
1249 (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
1250 (cris_asm_output_label_ref): Declare.
1252 2005-02-08 Paolo Bonzini <bonzini@gnu.org>
1254 PR preprocessor/19801
1255 * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
1256 filenames that changed when libcpp was moved to the toplevel.
1258 2005-02-07 Roger Sayle <roger@eyesopen.com>
1260 * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
1261 zero extensions of BImode operands. Call lowpart_subreg instead
1262 of gen_lowpart_common and gen_lowpart_SUBREG.
1264 2005-02-07 Nathanael Nerode <neroden@gcc.gnu.org>
1267 * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
1268 * configure.ac: Set cc_for_cross_gnattools.
1269 * configure: Regenerate.
1271 2005-02-08 Alan Modra <amodra@bigpond.net.au>
1274 * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
1276 2005-02-07 Eric Botcazou <ebotcazou@libertysurf.fr>
1279 * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
1280 of nested functions.
1282 2005-02-07 Jonathan Wakely <redi@gcc.gnu.org>
1284 * doc/extend.texi: Document deprecated extensions allowing
1285 static floating-point members to have initializers and allowing
1286 floating-point literals in integral constant expressions.
1288 2005-02-07 Kazu Hirata <kazu@cs.umass.edu>
1290 * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
1291 config/darwin7.h, config/mips/mips.c,
1292 config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
1295 * cse.c: Update comments.
1297 2005-02-07 Richard Guenther <rguenth@gcc.gnu.org>
1300 * builtins.c (fold_builtin_sqrt): Transform
1301 sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
1304 2005-02-07 Leehod Baruch <leehod@il.ibm.com>
1305 Dorit Naishlos <dorit@il.ibm.com>
1307 * doc/invoke.texi (ftree-vectorizer-verbose): New.
1308 * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
1309 * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
1311 * tree.h (vect_set_verbosity_level): New extern function declaration
1313 * tree-vectorizer.h (verbosity_levels): New enum type.
1314 * tree-vectorizer.c (vect_debug_stats): Function removed.
1315 (vect_debug_details): Likewise.
1316 (vect_verbosity_level): Global variable was defined and initialized.
1317 (vect_dump): Global variable definition.
1318 (vect_print_dump_info): New function.
1319 (vect_set_dump_settings): New function.
1320 (vect_set_verbosity_level): New function.
1321 (vectorize_loops): Add call to vect_set_dump_settings.
1323 (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
1324 (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
1325 (slpeel_tree_peel_loop_to_edge): Likewise.
1327 (vect_analyze_offset_expr): Call to vect_print_dump_info with
1328 appropriate verbosity level instead of call to vect_debug_details
1329 or vect_debug_stats.
1330 (vect_get_base_and_offset):
1331 (vect_create_addr_base_for_vector_ref):
1332 (get_vectype_for_scalar_type):
1333 (vect_create_data_ref_ptr):
1335 (vect_get_vec_def_for_operand):
1336 (vect_finish_stmt_generation):
1337 (vectorizable_assignment):
1338 (vectorizable_operation):
1339 (vectorizable_store):
1340 (vectorizable_load):
1341 (vect_transform_stmt):
1342 (vect_update_ivs_after_vectorizer):
1343 (vect_do_peeling_for_loop_bound):
1344 (vect_update_inits_of_drs):
1345 (vect_do_peeling_for_alignment):
1346 (vect_transform_loop):
1347 (vect_is_simple_use):
1348 (vect_analyze_operations):
1349 (vect_is_simple_iv_evolution):
1350 (vect_analyze_scalar_cycles):
1351 (vect_analyze_data_ref_dependence):
1352 (vect_analyze_data_ref_dependences):
1353 (vect_compute_data_ref_alignment):
1354 (vect_enhance_data_refs_alignment):
1355 (vect_analyze_data_refs_alignment):
1356 (vect_analyze_data_ref_access):
1357 (vect_analyze_data_ref_accesses):
1358 (vect_analyze_pointer_ref_access):
1359 (vect_get_memtag_and_dr):
1360 (vect_analyze_data_refs):
1361 (vect_mark_relevant):
1362 (vect_stmt_relevant_p):
1363 (vect_mark_stmts_to_be_vectorized):
1364 (vect_can_advance_ivs_p):
1365 (vect_get_loop_niters):
1366 (vect_analyze_loop_form):
1367 (vect_analyze_loop):
1368 (vectorize_loops): Likewise.
1370 (vect_do_peeling_for_loop_bound): Dump format slightly changed.
1371 (vect_update_inits_of_drs):
1372 (vect_do_peeling_for_alignment):
1373 (vect_transform_loop):
1374 (vect_analyze_operations):
1375 (vect_analyze_scalar_cycles):
1376 (vect_analyze_data_ref_dependences):
1377 (vect_analyze_data_refs_alignment):
1378 (vect_analyze_data_ref_accesses):
1379 (vect_analyze_data_refs):
1380 (vect_mark_stmts_to_be_vectorized):
1381 (vect_get_loop_niters):
1382 (vect_analyze_loop_form):
1383 (vect_analyze_loop): Likewise.
1384 (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
1386 2005-02-07 Richard Sandiford <rsandifo@redhat.com>
1390 2005-01-26 Richard Sandiford <rsandifo@redhat.com>
1391 * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
1392 either -ffast-math or -funsafe-math-optimizations is in use.
1394 2005-01-24 Richard Sandiford <rsandifo@redhat.com>
1395 * config/mips/irix-csr.c: New file.
1396 * config/mips/t-iris6 (irix-csr.o): New rule to build it.
1397 (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
1398 * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
1401 2005-02-07 Alexandre Oliva <aoliva@redhat.com>
1403 * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
1404 redundant, incorrect definitions.
1406 * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
1408 ("*tls_indirect_call"): New, reference hard regs directly.
1409 * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
1411 2005-02-07 Ralf Corsepius <ralf.corsepius@rtems.org>
1413 * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC):
1414 Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
1416 2005-02-06 Roger Sayle <roger@eyesopen.com>
1418 PR rtl-optimization/19800
1419 * simplify_rtx.c (simplify_relational_operation_1): Explicitly
1420 call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
1423 2005-02-07 Ralf Corsepius <ralf.corsepius@rtems.org>
1425 * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
1427 2005-02-07 Joseph S. Myers <joseph@codesourcery.com>
1430 * doc/invoke.texi: Correct documentation of -freorder-functions.
1432 2005-02-06 Joseph S. Myers <joseph@codesourcery.com>
1435 * doc/invoke.texi: Don't mention gccbug.
1437 2005-02-06 Roger Sayle <roger@eyesopen.com>
1438 Andrew Pinski <pinskia@physics.uc.edu>
1439 Paolo Bonzini <paolo.bonzini@lu.unisi.ch>
1441 * simplify-rtx.c (simplify_relational_operation_1): Simplify
1442 (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
1443 into just (zero_extract:SI FOO (const_int 1) BAR).
1445 2005-02-06 Joseph S. Myers <joseph@codesourcery.com>
1447 * doc/cpp.texi: Include gcc-common.texi. Don't define gcctabopt
1448 macro locally. Don't give last revision date. Use GCC version
1449 number from gcc-common.texi.
1450 * doc/cppinternals.texi: Include gcc-common.texi. Don't give last
1451 revision date. Use GCC version number from gcc-common.texi.
1452 Describe being a library as current state rather than as 3.x
1454 * doc/gcc.texi: Remove last update date.
1455 * doc/gccint.texi: Likewise. Update copyright dates.
1456 * doc/install.texi: Update copyright dates.
1458 2005-02-06 Joseph S. Myers <joseph@codesourcery.com>
1461 * doc/invoke.texi: Mention for each option included in -Wall that
1462 it is included in -Wall.
1463 * doc/gcc.texi: Update copyright and last modification date.
1465 2005-02-06 Zdenek Dvorak <dvorakz@suse.cz>
1467 * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
1468 unnecessary cast to original induction variable increments.
1470 2005-02-06 Zdenek Dvorak <dvorakz@suse.cz>
1472 PR tree-optimization/18219
1473 * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
1474 in distributed form.
1476 2005-02-06 Richard Sandiford <rsandifo@redhat.com>
1478 * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
1479 Set bitpos and offset later in the function. Do nothing if the
1480 target is a register and if the bitfield lies completely outside
1482 (extract_bit_field): Make the same SUBREG, bitpos and offset changes
1483 here. Return an uninitialised register if the source value is stored
1484 in a register and the bitfield lies completely outside that register.
1486 2005-02-06 Steven Bosscher <stevenb@suse.de>
1488 * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
1491 2005-02-06 Marcin Dalecki <martin@dalecki.de>
1493 * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
1495 2005-02-06 Geoffrey Keating <geoffk@apple.com>
1497 * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
1498 * config/darwin8.h: New.
1499 * config/darwin7.h: Update comment.
1501 2005-02-03 Leehod Baruch <leehod@il.ibm.com>
1502 Dorit Naishlos <dorit@il.ibm.com>
1504 * tree-vectorizer.h (LOC): New type.
1505 (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
1506 (loop_line_number): New field in struct _loop_vec_info.
1507 (LOOP_VINFO_LOC, LOOP_LOC): New macros.
1509 * tree-vectorizer.c (input.h): Included.
1510 (find_loop_location): New function.
1511 (vect_debug_stats): Argument changed from loop to LOC. Computation of
1512 loop line number removed.
1513 (vect_debug_details): Likewise.
1514 (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
1516 (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
1517 call to vect_debug_details/stats changed from loop to loop_loc.
1518 (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
1519 (slpeel_tree_peel_loop_to_edge): Likewise.
1521 (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
1522 changed from NULL to UNKNOWN_LOC.
1523 (vect_get_base_and_offset):
1524 (vect_create_addr_base_for_vector_ref):
1525 (get_vectype_for_scalar_type):
1526 (vect_create_data_ref_ptr):
1528 (vect_get_vec_def_for_operand):
1529 (vect_finish_stmt_generation):
1530 (vectorizable_assignment):
1531 (vectorizable_operation):
1532 (vectorizable_store):
1533 (vectorizable_load):
1534 (vect_transform_stmt):
1535 (vect_update_ivs_after_vectorizer):
1536 (vect_do_peeling_for_loop_bound):
1537 (vect_do_peeling_for_alignment):
1538 (vect_transform_loop):
1539 (vect_is_simple_use):
1540 (vect_analyze_operations):
1541 (vect_is_simple_iv_evolution):
1542 (vect_analyze_scalar_cycles):
1543 (vect_analyze_data_ref_dependences):
1544 (vect_compute_data_ref_alignment):
1545 (vect_enhance_data_refs_alignment):
1546 (vect_analyze_data_ref_access):
1547 (vect_analyze_data_ref_accesses):
1548 (vect_analyze_pointer_ref_access):
1549 (vect_get_memtag_and_dr):
1550 (vect_analyze_data_refs):
1551 (vect_mark_relevant):
1552 (vect_stmt_relevant_p):
1553 (vect_mark_stmts_to_be_vectorized):
1554 (vect_can_advance_ivs_p):
1555 (vect_get_loop_niters):
1556 (vect_analyze_loop):
1557 (vectorize_loops): Likewise.
1559 (vectorizable_load): Argument in call to vect_debug_details/stats
1560 changed from loop to LOOP_LOC (loop_vinfo).
1561 (vect_transform_loop):
1562 (vect_analyze_operations):
1563 (vect_analyze_scalar_cycles):
1564 (vect_analyze_data_ref_dependence):
1565 (vect_enhance_data_refs_alignment):
1566 (vect_analyze_data_ref_accesses):
1567 (vect_analyze_pointer_ref_access):
1568 (vect_analyze_data_refs):
1569 (vect_analyze_loop): Likewise.
1571 (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
1572 changed from loop to loop_loc.
1574 (vect_enhance_data_refs_alignment): Removed unused variable loop.
1576 2005-02-03 Leehod Baruch <leehod@il.ibm.com>
1577 Dorit Naishlos <dorit@il.ibm.com>
1579 * tree-vectorizer.c (vect_analyze_data_ref_dependence): Function
1581 (vect_analyze_data_ref_dependences): Likewise.
1583 (vect_is_simple_use): Argument changed from loop structure to
1584 loop_vect_info structure.
1585 (vect_can_advance_ivs_p): Likewise.
1586 (vect_create_index_for_vector_ref): Likewise.
1587 (vect_update_ivs_after_vectorizer): Likewise.
1588 (new_stmt_vec_info): Likewise.
1590 (new_loop_vec_info): Second argument in call to new_stmt_vec_info was
1591 changed from loop to loop_vinfo.
1592 (vect_create_data_ref_ptr): First argument in call to
1593 vect_create_index_for_vector_ref was changed from loop to loop_vinfo.
1594 (vectorizable_assignment): Second argument in call to vect_is_simple_use
1595 was changed from loop to loop_vinfo.
1596 (vectorizable_operation): Likewise.
1597 (vectorizable_store): Likewise.
1598 (vect_mark_stmts_to_be_vectorized): Likewise.
1599 (vect_do_peeling_for_loop_bound): First argument in call to
1600 vect_update_ivs_after_vectorizer was changed from loop to loop_vinfo.
1601 (vect_analyze_operations): Argument in call to vect_can_advance_ivs_p
1602 was changed from loop to loop_vinfo.
1603 (vect_analyze_data_ref_dependences): Third argument in call to
1604 vect_analyze_data_ref_dependence was changed from loop to loop_vinfo.
1606 (vect_create_index_for_vector_ref): Get the loop from loop_vinfo.
1607 (vect_create_data_ref_ptr): Likewise.
1608 (vect_init_vector): Likewise.
1609 (vect_get_vec_def_for_operand): Likewise.
1610 (vectorizable_assignment): Likewise.
1611 (vectorizable_operation): Likewise.
1612 (vectorizable_store): Likewise.
1613 (vectorizable_load): Likewise.
1614 (vect_update_ivs_after_vectorizer): Likewise.
1615 (vect_is_simple_use): Likewise.
1616 (vect_analyze_data_ref_dependence): Likewise.
1617 (vect_analyze_pointer_ref_access): Likewise.
1618 (vect_can_advance_ivs_p): Likewise.
1620 * tree-vectorizer.h: (_loop_vec_info): Definition and macros moved
1621 before _stmt_vec_info.
1622 (_stmt_vec_info): Loop field replaced by loop_vec_info.
1623 (STMT_VINFO_LOOP): Replaced with STMT_VINFO_LOOP_VINFO.
1624 (new_stmt_vec_info): Argument changed from loop structure to
1625 loop_vect_info structure
1627 (vect_analyze_data_ref_dependences): Unnecessary line was removed.
1628 (vect_analyze_offset_expr): Avoid 80 columns overflow.
1629 (vect_create_addr_base_for_vector_ref): Likewise.
1630 (vect_analyze_pointer_ref_access): Likewise.
1632 2005-02-03 Andrew Pinski <pinskia@physics.uc.edu>
1635 * tree-ssa-dse.c (fix_phi_uses): Update the occurs in abnormal
1636 phi flag if the phi is abnormal.
1638 2005-02-03 Andrew Pinski <pinskia@physics.uc.edu>
1641 * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
1642 information for the new statement.
1644 2005-02-03 Joseph S. Myers <joseph@codesourcery.com>
1647 * gcc.c (main): Include the target in -v output.
1649 2005-02-03 Alexandre Oliva <aoliva@redhat.com>
1651 * combine.c (simplify_comparison, case SIGN_EXTEND, ZERO_EXTEND):
1652 Do not drop the extend if we'd have to add a paradoxical subreg
1653 later. Include optabs.h and insn-codes.h.
1654 * Makefile.in (combine.o): Depend on $(OPTABS_H).
1656 2005-02-02 Roger Sayle <roger@eyesopen.com>
1659 * real.h (REAL_MODE_FORMAT_COMPOSITE_P): New macro.
1660 * fold-const.c (const_binop): Avoid constant folding floating
1661 point operations in modes that use composite representations.
1662 * simplify-rtx.c (simplify_binary_operation): Likewise.
1664 2005-02-02 Geoffrey Keating <geoffk@apple.com>
1666 * config/rs6000/altivec.md (altivec_dst): Make the first operand
1668 (altivec_dstt): Likewise.
1669 (altivec_dstst): Likewise.
1670 (altivec_dststt): Likewise.
1671 * config/rs6000/rs6000.c (altivec_expand_dst_builtin): Adjust creation
1674 2005-02-03 Dorit Naishlos <dorit@il.ibm.com>
1676 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Copy
1677 EXPR_LOCUS from orig_cond to the new cond_stmt.
1678 (vect_finish_stmt_generation): Copy EXPR_LOCUS from stmt to
1681 2005-02-03 Dorit Naishlos <dorit@il.ibm.com>
1683 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Call
1684 standard_iv_increment_position. Remove call to bsi_next
1685 (no need to bump the iterator anymore).
1686 (vect_create_index_for_vector_ref): Call
1687 standard_iv_increment_position. Remove second function argument.
1688 (vect_finish_stmt_generation): Remove call to bsi_next
1689 (no need to bump the iterator anymore).
1690 (vect_create_data_ref_ptr): Remove second argument (bsi) in call
1691 to vect_create_index_for_vector_ref.
1693 2005-02-03 Dorit Naishlos <dorit@il.ibm.com>
1695 * tree-vectorizer.c (vect_mark_stmts_to_be_vectorized): Check if
1696 phis are used out of the loop.
1698 2005-02-03 Joseph S. Myers <joseph@codesourcery.com>
1701 * c-decl.c (undef_nested_function): New variable.
1702 (pop_scope): Diagnose undefined nested functions.
1703 (finish_function): Don't attempt cgraph processing or genericizing
1704 if current top-level function contained an undefined nested
1705 function. Reset undef_nested_function at the end of a top-level
1708 2005-02-02 Zdenek Dvorak <dvorakz@suse.cz>
1710 * tree.c (build_int_cst_type): Take sign of the value into account
1711 when deciding whether sign extend the value.
1713 2005-02-02 Joseph S. Myers <joseph@codesourcery.com>
1716 * gcc.c (cpp_unique_options): Remove %{trigraphs}.
1717 (cpp_options, cc1_options): Change %{std*&ansi} to
1718 %{std*&ansi&trigraphs}.
1720 2005-02-02 Kazu Hirata <kazu@cs.umass.edu>
1722 * cse.c: Update comments.
1724 2005-02-02 Aldy Hernandez <aldyh@redhat.com>
1726 * config/rs6000/rs6000.c (rs6000_spe_function_arg): Multi-reg
1727 arguments go on the stack. Do not put complex doubles in odd/even
1730 2005-02-02 Steven Bosscher <stevenb@suse.de>
1732 * doc/invoke.texi: Update the options enabled at -O1, -O2,
1733 and -O3. Update the documentation for -fgcse-sm, -fgcse-las,
1734 -ftree-pre, and -fthread-jumps.
1736 2005-02-02 Richard Sandiford <rsandifo@redhat.com>
1738 PR tree-optimization/19578
1739 * tree-flow.h (modified_noreturn_calls): Declare.
1740 (noreturn_call_p): Declare.
1741 * tree-flow-inline.h (noreturn_call_p): New function.
1742 (modify_stmt): Add modified noreturn calls to modified_noreturn_calls.
1743 * tree-cfg.c (modified_noreturn_calls): New variable.
1744 (cleanup_control_flow): Use noreturn_call_p. Split basic blocks
1745 that contain a mid-block noreturn call.
1746 * tree-ssa.c (delete_tree_ssa): Clear modified_noreturn_calls.
1748 2005-02-02 Kazu Hirata <kazu@cs.umass.edu>
1750 * df.c (df_def_record_1, df_uses_record): Don't use
1752 * df.h (DF_FOR_REGALLOC): Remove.
1754 2005-02-02 Joseph S. Myers <joseph@codesourcery.com>
1757 * c-typeck.c (really_start_incremental_init): Reset
1758 constructor_max_index for arrays of incomplete type.
1760 2005-02-02 Jeff Law <law@redhat.com>
1762 * gcse.c (struct reg_set): Store the block index where the register
1763 was set rather than the setting insn.
1764 (record_one_set, compute_transp): Corresponding changes.
1765 (pre_insert_copy_insn): Do not call replace_one_set.
1766 (replace_one_set): Remove.
1768 2005-02-02 Joseph S. Myers <joseph@codesourcery.com>
1771 * doc/gcov.texi: Fix typo.
1773 2005-02-01 Richard Henderson <rth@redhat.com
1776 * config/i386/i386.h (MODES_TIEABLE_P): Use ix86_modes_tieable_p.
1777 * config/i386/i386.c (ix86_hard_regno_mode_ok): Change return
1779 (ix86_tieable_integer_mode_p, ix86_modes_tieable_p): New.
1780 * config/i386/i386-protos.h: Update.
1782 2005-02-01 Steven Bosscher <stevenb@suse.de>
1784 PR tree-optimization/19217
1785 * tree-cfg.c (verify_expr): Use the data field to see if TP was
1786 seen inside a PHI node. Do not do the ADDR_EXPR check if it was.
1787 (verify_stmts): Pass (void*)1 as data to verify_expr to signal
1788 that it is walking a PHI node.
1790 2005-02-01 Joseph S. Myers <joseph@codesourcery.com>
1792 * doc/extend.texi (Nested Functions): Update.
1794 2005-02-01 Richard Henderson <rth@redhat.com>
1797 * optabs.c (expand_copysign_absneg): Export.
1798 * optabs.h (expand_copysign_absneg): Declare.
1799 * config/rs6000/rs6000.md (copysigntf3): New.
1801 2005-02-01 Diego Novillo <dnovillo@redhat.com>
1803 PR tree-optimization/19633
1804 * tree-flow.h (struct ptr_info_def): Add field 'pt_null'.
1805 * tree-ssa-alias.c (init_alias_info): Initialize.
1806 (merge_pointed_to_info): Set.
1807 (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer.
1808 (dump_points_to_info_for): Show value of pt_null.
1809 (struct count_ptr_d): Declare.
1810 (find_ptr_dereference): Remove.
1811 (ptr_is_dereferenced_by): Remove.
1812 (count_ptr_derefs): New local function.
1813 (count_uses_and_derefs): New local function.
1814 (compute_points_to_and_addr_escape): Call it. If the number
1815 of dereferences is greater than zero, mark the pointer as
1816 dereferenced. If there are fewer dereferences than uses of
1817 the pointer, the pointer's value escapes.
1819 2005-02-01 Diego Novillo <dnovillo@redhat.com>
1821 PR tree-optimization/19670
1822 * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
1824 (verify_use): ... set it here, instead.
1826 2005-02-01 Janis Johnson <janis187@us.ibm.com>
1828 * doc/sourcebuild.texi (Test directives): Fix formatting.
1830 * doc/sourcebuild.texi (Test directives): Describe selector
1833 2005-02-01 Segher Boessenkool <segher@kernel.crashing.org>
1835 * config.gcc (powerpc64-*-linux*): Default to -m64 also for
1836 specific 64-bit CPUs.
1838 2005-02-01 Richard Earnshaw <rearnsha@arm.com>
1841 * arm.c (arm_eliminable_register): New function.
1842 (adjacent_mem_locations): Don't allow eliminable registers. Use
1843 HOST_WIDE_INT for address offsets.
1844 * arm-protos.h (arm_eliminable_register): Add prototype.
1846 2005-02-01 Steven Bosscher <stevenb@suse.de>
1848 PR optimization/15242
1849 * params.def (PARAM_MAX_GOTO_DUPLICATION_INSNS): New param.
1850 * basic-block.h (duplicate_computed_gotos): Add prototype.
1851 * bb-reorder.c (duplicate_computed_gotos): New function to
1852 duplicate sufficiently small blocks ending in a computed jump.
1853 * passes.c (rest_of_compilation): Call duplicate_computed_gotos
1854 if not optimizing for size.
1855 * cfgcleanup.c (try_crossjump_bb): If not optimizing for size,
1856 never do tail merging for blocks ending in a computed jump.
1857 * doc/invoke.texi: Document the max-goto-duplication-insns param.
1859 2005-02-01 Eric Botcazou <ebotcazou@libertysurf.fr>
1861 Patch from Richard Sandiford <rsandifo@redhat.com>
1862 * reload1.c (choose_reload_regs): Prevent the find_equiv_reg() code
1863 from inheriting a subreg equivalence with a non-spill register.
1865 * tree.h (DECL_FUNCTION_CODE): Document that it is overloaded.
1867 2005-02-01 Alexandre Oliva <aoliva@redhat.com>
1869 * config/frv/frv.c (movcc_fp_destination_operand): New.
1870 (gpr_or_memory_operand): Fix typo in comment.
1871 (gpr_or_memory_operand_with_scratch): New.
1872 * config/frv/frv.h (PREDICATE_CODES): Add the two new predicates.
1873 * config/frv/frv.md (movcc_fp, movcc_fp_internal): Use
1874 movcc_fp_destination_operand.
1875 (reload_incc_fp): Use gpr_or_memory_operand_with_scratch.
1876 Legitimize memory addresses using a scratch register.
1878 2005-01-31 Jeff Law <law@redhat.com>
1880 * tree-into-ssa.c (mark_def_sites_global_data): Make KILLS
1881 bitmap a sparse bitmap instead of a simple bitmap.
1882 (mark_def_sites_initialize_block): Corresponding changes.
1883 (ssa_mark_def_sites_initialize_block): Likewise.
1884 (ssa_mark_phi_uses): Likewise.
1885 (mark_def_site, ssa_mark_def_sites): Likewise.
1886 (mark_def_site_blocks): Likewise.
1887 (rewrite_ssa_into_ssa): Likewise.
1889 * tree-ssa-dom.c (record_cond): Pass correct variable type
1890 for last argument to htab_find_slot_with_hash.
1892 * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
1893 effects when optimizing 0 % X. Do not try to optimize X % 0.
1895 2005-01-31 James E. Wilson <wilson@specifixinc.com>
1897 * config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
1900 2005-02-01 Eric Christopher <echristo@redhat.com>
1902 * config/mips/mips.c (override_options): Warn if -mint64
1904 * doc/invoke.texi (MIPS Options): Document that -mint64 is
1907 2005-02-01 Kazu Hirata <kazu@cs.umass.edu>
1909 * cse.c (cse_reg_info): Remove hash_next, next, regno. Add
1911 (cse_reg_info_list, cse_reg_info_list_free, REGHASH_SHIFT,
1912 REGHASH_SIZE, REGHASH_MASK, reg_hash, REGHASH_FN,
1913 cached_cse_reg_info, GET_CSE_REG_INFO): Remove.
1914 (cached_regno): Initialize to INVALID_REGNUM.
1915 (cse_reg_info_table_size,
1916 cse_reg_info_table_first_uninitialized,
1917 cse_reg_info_timestamp): New.
1918 (REG_TICK, REG_IN_TABLE, SUBREG_TICKED, REG_QTY): Use
1920 (init_cse_reg_info, get_cse_reg_info_1): New.
1921 (get_cse_reg_info): Cache the last look-up.
1922 (new_basic_block): Update the code to clear mappings from
1923 registers to cse_reg_info entries.
1924 (cse_main): Call init_cse_reg_info.
1926 * cse.c (get_cse_reg_info): Update a comment.
1928 2005-01-31 Steven Bosscher <stevenb@suse.de>
1931 * c-decl.c (start_decl): Do not warn about arrays of elements with
1932 an incomplete type here.
1933 (grokdeclarator): Do it here by making a pedwarn an error.
1934 * c-typeck.c (push_init_level): If there were previous errors with
1935 the constructor type, do not warn about braces for initializers.
1936 (process_init_element): Likewise for excess initializer elements.
1938 2005-01-31 Kazu Hirata <kazu@cs.umass.edu>
1940 * cse.c (delete_trivially_dead_insn): Don't iterate.
1942 2005-01-31 Andrew Pinski <pinskia@physics.uc.edu>
1944 * config/rs6000/rs6000.md (copysignsf3): New expand.
1945 (copysigndf3): Likewise.
1947 2005-01-31 Steven Bosscher <stevenb@suse.de>
1949 * recog.c (constrain_operands): Only look for earlyclobber operand
1950 conflicts if an '&' constraint was seen.
1952 2005-01-31 Marc Espie <espie@openbsd.org>
1954 * config.gcc: Don't include embedded systems fragment, switches default
1955 debugging format to ELF.
1956 * config/i386/openbsdelf.h: Add DBX_REGISTER_NUMBER since we no
1957 longer pick it up there.
1959 2005-01-31 Dale Johannesen <dalej@apple.com>
1961 * doc/extend.texi (nested functions): Fix linkage description.
1962 Clarify that static is not allowed.
1964 2005-01-31 Dale Johannesen <dalej@apple.com>
1966 * config/rs6000/darwin.md (movsf_low_di): Make work.
1967 (movdf_low_di): Make work.
1969 2005-01-31 Dale Johannesen <dalej@apple.com>
1971 * config/rs6000/darwin-tramp.asm (__trampoline_setup):
1972 Make work for 64 bit.
1974 2005-01-31 Roger Sayle <roger@eyesopen.com>
1975 Dale Johannesen <dalej@apple.com>
1978 * fold-const.c (fold_binary_op_with_conditional_arg):
1979 Make types match original operands, before STRIP_NOPS.
1981 2005-01-31 Alan Modra <amodra@bigpond.net.au>
1983 * config/rs6000/linux-unwind.h (struct gcc_vregs): New.
1984 (struct gcc_regs): Rename from gcc_pt_regs. Add more regs.
1985 (struct gcc_sigcontext): Delete. Merge contents to..
1986 (struct gcc_ucontext): ..here.
1987 (get_sigcontext): Delete.
1988 (get_regs): New function, like get_sigcontext but return regs ptr.
1989 64-bit version finds regs from r1 to support vdso.
1990 (ppc_linux_aux_vector): New function.
1991 (ppc_fallback_frame_state): Modify for get_regs. Restore fprs
1994 2005-01-31 Ira Rosen <irar@il.ibm.com>
1996 * tree-vectorizer.c (vect_analyze_offset_expr): Use ssizetype instead
1998 (vect_get_base_and_offset): Use ssizetype instead sizetype. Remove
1999 redundant fold. Fix misalignment for MINUS_EXPR.
2000 (vect_compute_data_ref_alignment): Use ssizetype instead sizetype.
2001 (vect_analyze_pointer_ref_access): Likewise.
2002 (vect_get_memtag_and_dr): Likewise.
2004 2005-01-31 Richard Henderson <rth@redhat.com>
2006 * config/i386/i386.c (absnegsf2_mixed): Remove all of the # hackery.
2007 (absnegsf2_sse, absnegsf2_i387, absnegdf2_mixed, absnegdf2_sse,
2008 absnegdf2_i387, absnegxf2_i387): Likewise.
2010 2005-01-31 Richard Henderson <rth@redhat.com>
2013 * optabs.c (expand_copysign_absneg): New.
2014 (expand_copysign_bit): Split out from ...
2015 (expand_copysign): ... here. Use expand_copysign_absneg.
2017 2005-01-30 Roger Sayle <roger@eyesopen.com>
2020 * config/pa/pa.md (anddi3, iordi3): On HPPA64, disallow an integer
2021 constant as the second operand and a register as the third.
2023 2005-01-31 Danny Smith <dannysmith@users.sourceforge.net>
2026 * config/i386/i386.c (ix86_function_ok_for_sibcall): Also check
2027 that dllimport'd functions do not use all call-clobbered registers
2030 2005-01-30 Richard Henderson <rth@redhat.com>
2033 * optabs.c (expand_absneg_bit): Split out from expand_unop and
2034 expand_abs_nojump and generalize. Use operand_subword and
2035 emit_no_conflict_block. Support large modes.
2036 (expand_abs_nojump): Use it. Use HONOR_SIGNED_ZEROS to fall
2038 (expand_unop): Likewise. Use HONOR_SIGNED_ZEROS to fall back
2039 negation to subtraction.
2040 (expand_copysign): Check that the format has signed zeros.
2041 Use operand_subword and emit_no_conflict_block. Support large modes.
2043 2005-01-30 Daniel Berlin <dberlin@dberlin.org>
2045 Fix PR tree-optimization/19624
2047 * Makefile.in (tree-ssa-pre.o): Add CFGLOOP_H.
2048 * tree-ssa-pre.c: Add cfgloop.h.
2050 (pre_stats): New member, constified.
2051 (inserted_exprs): New static variable.
2052 (NECESSARY): New macro.
2053 (create_expression_by_pieces): Fold the expression, and
2054 mark it as defaulting to not necessary. Also put in
2056 (fully_constant_expression): New function.
2057 (insert_into_preds_of_block): Modify to not insert phis when we
2058 are playing with induction variables.
2059 Push phis onto the inserted_exprs vector, and mark them as not
2060 necessary by default.
2061 (insert_aux): Call fully_constant_expression on eprime.
2062 If all edges produce the same value, mark it constant.
2063 (mark_operand_necessary): New function.
2064 (remove_dead_inserted_code): New function.
2065 (init_pre): Init loop optimizer to get loop info.
2066 (fini_pre): Free loop_optimizer, and inserted_exprs vec.
2067 (execute_pre): Commit edge inserts, then remove dead code.
2069 2005-01-30 Richard Henderson <rth@redhat.com>
2071 * rtl.c (rtx_equal_p): No early exit for CONST_VECTOR.
2072 * varasm.c (const_rtx_hash_1): Handle CONST_VECTOR.
2074 2005-01-30 Richard Henderson <rth@redhat.com>
2077 * config/i386/i386.c (ix86_expand_copysign): New.
2078 (ix86_split_copysign_const): New.
2079 (ix86_split_copysign_var): Rename from ix86_split_copysign,
2080 rearrange op1/nmask operands.
2081 * config/i386/i386-protos.h: Update.
2082 * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
2083 (copysigndf3): Likewise.
2084 (copysignsf3_const, copysigndf3_const): New.
2085 (copysignsf3_var): Rename from copysignsf3, split out splitter
2086 and fix split predicate for X constraint.
2087 (copysigndf3_var): Similarly.
2089 2005-01-30 Kazu Hirata <kazu@cs.umass.edu>
2091 * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
2092 doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
2093 doc/tm.texi, doc/tree-ssa.texi: Update copyright.
2095 2005-01-29 Richard Henderson <rth@redhat.com>
2098 * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
2099 of # and * in constraints.
2101 2005-01-29 Richard Henderson <rth@redhat.com>
2104 * expr.c (store_field): Don't strip sub-mode cast when the input
2105 data is even smaller.
2107 2005-01-29 Richard Henderson <rth@redhat.com>
2110 * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
2113 2005-01-29 Richard Henderson <rth@redhat.com>
2115 * combine.c (make_field_assignment): Fix argument order
2118 2005-01-29 Richard Guenther <richard.guenther@uni-tuebingen.de>
2120 PR tree-optimization/15791
2121 * fold-const.c (extract_array_ref): New function.
2122 (fold): Fold comparisons between &a[i] and &a[j] or
2123 semantically equivalent trees.
2125 2005-01-29 Jeff Law <law@redhat.com>
2127 * gcse.c (insert_expr_in_table): Revamp handling of available
2128 and anticipatable occurrence lists to avoid unnecessary list
2130 (insert_set_in_table): Similarly.
2132 2005-01-29 Joseph S. Myers <joseph@codesourcery.com>
2134 * c-common.c (fix_string_type): Just use c_build_qualified_type to
2136 (c_build_qualified_type): Build qualified array types with
2137 TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
2138 * c-decl.c (c_make_fname_decl): Build unqualified array type
2139 before qualified type.
2140 (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
2141 type is qualified, not just if type itself is. Don't apply
2142 qualifiers to array type when declarator is processed. Apply
2143 qualifiers to field type whether or not it is an array type.
2144 Don't handle array types specially for applying qualifiers to
2146 * c-typeck.c (composite_type): Build unqualified element type and
2147 array type when forming composite of array types.
2148 (common_pointer_type, comptypes, comp_target_types,
2149 type_lists_compatible_p, build_indirect_ref, build_array_ref,
2150 convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
2152 (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
2153 (args2) in variables a1 and a2.
2155 2005-01-29 Kazu Hirata <kazu@cs.umass.edu>
2157 * cse.c (n_elements_made, max_elements_made): Remove.
2158 (insert): Don't touch n_elements_made.
2159 (cse_main): Don't touch n_elements_made or max_elements_made.
2161 2005-01-28 Stephane Carrez <stcarrez@nerim.fr>
2164 * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
2165 configuration part of dp-bit.c to be lost.
2167 2005-01-28 Roger Sayle <roger@eyesopen.com>
2169 * expmed.c (expand_mult_highpart_optab): When attempting to use
2170 a non-widening multiplication in a wider mode, the operands need
2171 to be converted (zero or sign extended) to that mode.
2173 2005-01-28 Ian Lance Taylor <ian@airs.com>
2177 * gimple-low.c (block_may_fallthru): TRY_FINALLY_EXPR only falls
2178 through if both operands fall through.
2180 2005-01-28 Kazu Hirata <kazu@cs.umass.edu>
2182 * cse.c (fold_rtx) <PC>: Don't optimize.
2184 2005-01-28 Jeff Law <law@redhat.com>
2186 * fold-const.c (fold, case CEIL_MOD_EXPR): Optimize 0 % X.
2187 (case FLOOR_MOD_EXPR, ROUND_MOD_EXPR, TRUNC_MOD_EXPR): Similarly.
2189 2005-01-28 Kazu Hirata <kazu@cs.umass.edu>
2191 * cse.c (cse_reg_info_free_list, cse_reg_info_used_list,
2192 cse_reg_info_used_list_end): Remove.
2193 (cse_reg_info_list, cse_reg_info_list_free): New.
2194 (get_cse_reg_info): When allocating an instance of
2195 cse_reg_info, add it to the beginning of the cse_reg_info_list
2196 list. Remove code to maintain cse_reg_info_used_list.
2197 (new_basic_block): Reset the free list to the beginning of
2200 2005-01-28 Richard Sandiford <rsandifo@redhat.com>
2202 * config/frv/frv.c (bdesc_2arg): Remove __MDPACKH.
2203 (frv_init_builtins): Change its prototype to take 4 uhalf arguments.
2204 (frv_expand_mdpackh_builtin): New function.
2205 (frv_expand_builtin): Use it to expand __MDPACKH.
2206 * doc/extend.texi (__MDPACKH): Update documentation.
2208 2005-01-28 Uros Bizjak <uros@kss-loka.si>
2210 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use
2211 SSE_FLOAT_MODE_P for use_sse computation.
2213 2005-01-28 Ralf Corsepius <ralf.corsepius@rtems.org>
2216 * config/sparc/rtemself.h (LINK_GCC_C_SEQUENCE_SPEC): undefine.
2218 2005-01-27 Richard Henderson <rth@redhat.com>
2220 * builtins.c (expand_builtin_copysign): New.
2221 (expand_builtin): Call it.
2222 * genopinit.c (optabs): Add copysign_optab.
2223 * optabs.c (init_optabs): Initialize it.
2224 (expand_copysign): New.
2225 * optabs.h (OTI_copysign, copysign_optab): New.
2226 (expand_copysign): Declare.
2228 * config/alpha/alpha.md (UNSPEC_COPYSIGN): New.
2229 (copysignsf3, ncopysignsf3, copysigndf3, ncopysigndf3): New.
2231 * config/i386/i386.c (ix86_build_signbit_mask): Split from ...
2232 (ix86_expand_fp_absneg_operator): ... here.
2233 (ix86_split_copysign): New.
2234 * config/i386/i386-protos.h: Update.
2235 * config/i386/i386.md (UNSPEC_COPYSIGN): New.
2236 (copysignsf3, copysigndf3): New.
2238 * config/ia64/ia64.md (UNSPEC_COPYSIGN): New.
2239 (copysignsf3, ncopysignsf3): New.
2240 (copysigndf3, ncopysigndf3): New.
2241 (copysignxf3, ncopysignxf3): New.
2242 * config/ia64/ia64.c (rtx_needs_barrier): Handle UNSPEC_COPYSIGN.
2244 2005-01-27 Arend Bayer <arend.bayer@web.de>
2245 Kazu Hirata <kazu@cs.umass.edu>
2247 * cse.c: (find_best_addr): Don't call copy_rtx before calling
2248 fold_rtx. Save cost recomputation if fold_rtx did nothing.
2249 (fold_rtx) <ASM_OPERANDS>: Don't do anything if INSN is
2252 2005-01-27 Jeff Law <law@redhat.com>
2254 * tree-into-ssa.c (ssa_rewrite_initialize_block): Do not register
2255 definitions of SSA_NAMEs which are not being rewritten.
2256 (rewrite_ssa_into_ssa): Only initialize the current definition
2257 of an SSA_NAME if that SSA_NAME has been marked for rewriting.
2258 If checking is enabled, assert that SSA_NAME_AUX is clear for all
2259 SSA_NAMEs before returning.
2261 2005-01-27 Kazu Hirata <kazu@cs.umass.edu>
2263 * c-common.def, c-dump.c, c-gimplify.c, c-objc-common.c,
2264 cfgexpand.c, dbxout.c, function.h, opts.c, tree-flow-inline.h,
2265 tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-tailcall.c,
2266 config/avr/avr.md, config/cris/aout.h, config/cris/cris.h,
2267 config/mips/iris6.h, config/sh/sh.c: Update copyright.
2269 2005-01-27 Steven Bosscher <stevenb@suse.de>
2272 * opts.c (decode_options): Move flag_thread_jumps from -O1 and
2273 higher to -O2 and higher. Likewise for tree PRE.
2274 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Only iterate at -O2
2277 2005-01-27 Ian Lance Taylor <ian@airs.com>
2280 * gimple-low.c (try_catch_may_fallthru): New static function.
2281 (block_may_fallthru): Handle TRY_CATCH_EXPR.
2282 * tree-inline.c (expand_call_inline): Don't warn about reaching
2283 the end of a non-void function being inlined if the function uses
2286 2005-01-27 Jakub Jelinek <jakub@redhat.com>
2288 * config/i386/i386.h (CALL_USED_REGISTERS): Fix comment pastos.
2291 * c-decl.c (warn_if_shadowing): Handle old_decl error_mark_node.
2292 (pushdecl): Only use DECL_FILE_SCOPE_P if DECL_P.
2293 (implicitly_declare): Handle error_mark_node.
2295 2005-01-27 Richard Henderson <rth@redhat.com>
2298 * tree.h (struct tree_decl): Add debug_expr_is_from.
2299 (DECL_DEBUG_EXPR_IS_FROM): New.
2300 (DECL_DEBUG_EXPR): Rename from DECL_DEBUG_ALIAS_OF.
2301 * dwarf2out.c (dwarf2out_var_location): Update to match.
2302 * tree-outof-ssa.c (create_temp): Likewise.
2303 * var-tracking.c (track_expr_p): Likewise.
2304 * tree-sra.c (instantiate_element): Set DECL_DEBUG_EXPR.
2305 * c-objc-common.c (c_tree_printer) <'D'>: Handle DECL_DEBUG_EXPR.
2306 * toplev.c (default_tree_printer): Likewise.
2308 2005-01-27 Alexandre Oliva <aoliva@redhat.com>
2310 * config/frv/frv.c (frv_class_likely_spilled_p): Add GR8_REGS,
2311 GR9_REGS, GR89_REGS, FDPIC_FPTR_REGS, FDPIC_REGS.
2313 2005-01-27 Steven Bosscher <stevenb@suse.de>
2315 * tree.h (SWITCH_COND, SWITCH_BODY, SWITCH_LABELS, CASE_LOW,
2316 CASE_HIGH, CASE_LABEL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
2317 ASM_CLOBBERS): Add tree checks.
2319 * c-common.h (SWITCH_TYPE): Rename to SWITCH_STMT_TYPE.
2320 (SWITCH_STMT_COND, SWITCH_STMT_BODY): New.
2321 * c-common.def (SWITCH_STMT): Update to match.
2322 * c-common.c (c_do_switch_warnings): Use SWITCH_STMT accessor
2323 macros instead of SWITCH_EXPR ones.
2324 * c-dump.c (c_dump_tree): Likewise.
2325 * c-gimplify.c (gimplify_switch_stmt): Likewise.
2326 * c-typeck.c (c_start_case, do_case, c_finish_case): Likewise.
2328 * doc/c-tree.texi (SWITCH_STMT): Update accessor macro names.
2330 2005-01-27 Alan Modra <amodra@bigpond.net.au>
2332 * unwind-dw2.c (execute_stack_op): Add missing cases for
2333 DW_OP_shl, DW_OP_shr, DW_OP_shra, DW_OP_xor.
2335 2005-01-27 Eric Botcazou <ebotcazou@libertysurf.fr>
2337 * config.gcc (Obsolete configurations): Remove 'dummy', add
2338 sparclite-*-coff*, sparclite-*-elf*, sparc86x-*-elf* and
2341 2005-01-26 Diego Novillo <dnovillo@redhat.com>
2343 PR tree-optimization/19633
2344 * tree-ssa-alias.c (ptr_is_dereferenced_by): Also handle
2346 (maybe_create_global_var): Do not create .GLOBAL_VAR if there
2347 are no call-clobbered variables.
2348 * tree-outof-ssa.c (check_replaceable): Return false for calls
2351 2005-01-26 Ulrich Weigand <uweigand@de.ibm.com>
2353 * dbxout.c (dbxout_symbol_location): Resolve constant pool references
2354 even for variables with NULL DECL_INITIAL.
2356 2005-01-26 Stuart Hastings <stuart@apple.com>
2358 * gimplify.c (shortcut_cond_expr): Re-compute side-effects.
2360 2005-01-26 Richard Henderson <rth@redhat.com>
2363 * c-decl.c (finish_struct): Set DECL_MODE after resetting a
2365 * expr.c (store_field): Strip conversions to odd-bit-sized types
2366 if the destination field width matches.
2368 2005-01-26 Richard Henderson <rth@redhat.com>
2370 * c-decl.c, expmed.c, expr.c: Revert last change.
2372 2005-01-26 Richard Henderson <rth@redhat.com>
2375 * c-decl.c (finish_struct): Set DECL_MODE after resetting a
2377 * expmed.c (store_fixed_bit_field): Create a paradoxical subreg
2378 if we don't need the bits above those present in the current mode.
2379 * expr.c (store_field): Strip conversions to odd-bit-sized types
2380 if the destination field width matches.
2382 2005-01-26 Richard Sandiford <rsandifo@redhat.com>
2384 * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
2385 either -ffast-math or -funsafe-math-optimizations is in use.
2387 2005-01-26 Marek Michalkiewicz <marekm@amelek.gda.pl>
2391 * config/avr/avr.c (notice_update_cc): Only set condition code for
2392 ashrqi3 if shift count > 0.
2393 (out_shift_with_cnt): Handle shift count <= 0 as a no-op.
2394 (ashlqi3_out, ashlhi3_out, ashlsi3_out, ashrqi3_out, ashrhi3_out,
2395 ashrsi3_out, lshrqi3_out, lshrhi3_out, lshrsi3_out): Handle shift
2396 count <= 0 as a no-op, and shift count >= width by copying zero
2397 or sign bit to all bits of the result.
2398 * config/avr/avr.md (all shifts): Add alternatives for zero shift
2399 count, with attribute "length" set to 0 and "cc" set to "none".
2401 2005-01-26 Aldy Hernandez <aldyh@redhat.com>
2403 * doc/invoke.texi: Document -mTLS.
2405 * testsuite/gcc.target/frv/all-tls-global-dynamic.c: New.
2406 * testsuite/gcc.target/frv/all-tls-initial-exec.c: New.
2407 * testsuite/gcc.target/frv/all-tls-initial-exec-pic.c: New.
2408 * testsuite/gcc.target/frv/all-tls-local-dynamic.c: New.
2409 * testsuite/gcc.target/frv/all-tls-local-dynamic-plt.c: New.
2410 * testsuite/gcc.target/frv/all-tls-local-dynamic-plt-pic.c: New.
2411 * testsuite/gcc.target/frv/all-tls-local-exec.c: New.
2412 * testsuite/gcc.target/frv/all-tls-local-exec-TLS.c: New.
2414 * configure.ac: Check for a TLS capable gas.
2416 * configure: Regenerate.
2418 2005-01-26 Richard Henderson <rth@redhat.com>
2421 * combine.c (make_field_assignment): Simplify store to zero_extract
2422 from a source with an overlapping mask.
2424 2005-01-26 Aldy Hernandez <aldyh@redhat.com>
2426 2004-11-11 Eric Christopher <echristo@redhat.com>
2428 * config/frv/frv.md: Add fr400_integer automaton. Don't
2429 allow TYPE_MUL, TYPE_MACC, or TYPE_CUT to issue in parallel
2432 2005-01-26 Steven Bosscher <stevenb@suse.de>
2435 * cfgbuild.c (make_edges): Do not clear or set
2436 current_function_has_computed_jump.
2437 * function.h (struct function): Remove the has_computed_jump field.
2438 (current_function_has_computed_jump): Do not define.
2439 * sched-rgn.c (is_cfg_nonregular): Return true if a basic block ends
2440 in a computed jump. Ignore current_function_has_computed_jump.
2442 2005-01-26 Richard Henderson <rth@redhat.com>
2445 * expr.c (categorize_ctor_elements): New argument p_must_clear.
2446 (categorize_ctor_elements_1): Likewise. Detect a union that isn't
2448 (mostly_zeros_p): Update for new categorize_ctor_elements argument.
2449 * gimplify.c (gimplify_init_constructor): Likewise. Only shove
2450 objects into static storage if they have more than one non-zero value.
2451 * tree.h (categorize_ctor_elements): Update decl.
2453 2005-01-26 Steven Bosscher <stevenb@suse.de>
2456 * tree.h (CALL_EXPR_TAILCALL): Add comment.
2457 * calls.c (check_sibcall_argument_overlap_1): Revert the change
2458 to this function from 2004-07-10.
2459 * tree-tailcall.c (suitable_for_tail_opt_p): Do not consider the
2460 the current function for tail call optimizations if the address
2461 of one of it its arguments is taken.
2463 2005-01-26 Kazu Hirata <kazu@cs.umass.edu>
2465 * cse.c (fold_rtx): Call equiv_constant only when necessary.
2467 2005-01-26 Bernd Schmidt <bernd.schmidt@analog.com>
2469 * function.c (expand_function_end): If current_function_calls_alloca,
2470 emit stack restore in a place that is reached when the function falls
2473 2005-01-26 Alexandre Oliva <aoliva@redhat.com>
2475 * Makefile.in (../$(build_subdir)/fixincludes/fixincl): Add dummy
2476 rule to avoid matching inappropriate suffix rule.
2478 2005-01-26 Jan Hubicka <jh@suse.cz>
2480 PR tree-optimization/19241
2481 * tree-inline.c (copy_body_r): Do not walk subtrees after substituting.
2483 2005-01-26 Hans-Peter Nilsson <hp@axis.com>
2485 * config/cris/cris.h (LIB_SPEC) <sim*>: Use -lsyslinux, not
2486 -lsyssim. Wrap -lc -lsyssim in --start-group --end-group instead
2488 (STARTFILE_SPEC): Add crti.o, before crtbegin.o.
2489 <sim*>: Always use crt1.o, regardless of N in simN.
2490 <!sim>: Drop support for -pg and -p variants; always use crt0.o.
2491 (ENDFILE_SPEC): Add crtn.o, after crtend.o.
2492 (CRT_CALL_STATIC_FUNCTION): Remove.
2493 * config/cris/aout.h (STARTFILE_SPEC): <!melinux && sim*>: Always
2494 use crt1.o, regardless of N in simN.
2495 <!sim>: Drop support for -pg and -p variants; always use crt0.o.
2496 (LIB_SPEC): Do not define; default to the one in config/cris/cris.h.
2497 (CRIS_CPP_SUBTARGET_SPEC) <melinux && !nostdinc>: Remove special
2498 case isystem setting.
2499 (MAX_OFILE_ALIGNMENT): Correct to 32, not 16.
2501 2005-01-25 Ian Lance Taylor <ian@airs.com>
2503 * gimple-low.c (block_may_fallthru): Correct handling of
2504 SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
2506 2005-01-26 Hans-Peter Nilsson <hp@axis.com>
2508 * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=
2509 handlers to match indentation; nested under the mtune=* handler.
2510 Similar for mcpu= and march=.
2512 2005-01-25 Daniel Jacobowitz <dan@codesourcery.com>
2514 * config/mips/linux.h (LIB_SPEC): Remove -rpath-link.
2515 * config/mips/linux64.h (LIB_SPEC): Likewise.
2516 * config/mn10300/linux.h (LIB_SPEC): Likewise.
2517 * config/sh/linux.h (LIB_SPEC): Likewise.
2519 2005-01-25 Aldy Hernandez <aldyh@redhat.com>
2521 * config/frv/frv.c (frv_legitimize_tls_address): New.
2522 (TARGET_HAVE_TLS): Define.
2523 (FRV_SYMBOL_REF_TLS_P): Define.
2524 (frv_override_options): Handle new register classes.
2525 (frv_legitimate_address_p): Reject tls addresses.
2526 (frv_legitimize_address): Handle TLS addresses.
2527 (gen_inlined_tls_plt): New.
2529 (frv_legitimize_tls_address): New.
2530 (unspec_got_name): Add TLS entries.
2531 (got12_operand): Add R_FRV_TLSMOFF12 case.
2532 (frv_emit_move): Fixup TLS addresses.
2533 (frv_emit_movsi): Legitimize TLS addresses.
2535 * config/frv/frv.h (MASK_BIG_TLS): New.
2536 (TARGET_BIG_TLS): New.
2537 (HAVE_AS_TLS): Define.
2538 (TARGET_SWITCHES): Add -mTLS and -mtls options.
2539 (enum reg_class): Add GR8_REGS, GR9_REGS, GR89_REGS.
2540 (REG_CLASS_NAMES): Same.
2541 (REG_CLASS_CONTENTS): Same.
2542 (CONSTRAINT_LEN): New.
2543 (REG_CLASS_FROM_CONSTRAINT): New.
2544 (PREDICATE_CODES): Add symbolic_operand.
2546 * config/frv/frv.md (define_constants): Add UNSPEC_GETTLSOFF,
2547 UNSPEC_TLS_LOAD_GOTTLSOFF12, UNSPEC_TLS_INDIRECT_CALL,
2548 UNSPEC_TLS_TLSDESC_LDD, UNSPEC_TLS_TLSDESC_LDD_AUX,
2549 UNSPEC_TLS_TLSOFF_LD, UNSPEC_TLS_LDDI, UNSPEC_TLSOFF_HILO,
2550 R_FRV_GOTTLSOFF_HI, R_FRV_GOTTLSOFF_LO, R_FRV_TLSMOFFHI,
2551 R_FRV_TLSMOFFLO, R_FRV_TLSMOFF12, R_FRV_TLSDESCHI,
2552 R_FRV_TLSDESCLO, R_FRV_GOTTLSDESCHI, R_FRV_GOTTLSDESCLO, GR8_REG,
2553 GR9_REG, GR14_REG, LRREG.
2554 (type): Add load_or_call attribute.
2555 ("load_or_call"): New reservation.
2556 ("call_gettlsoff"): New.
2557 ("tls_indirect_call"): New.
2558 ("tls_load_gottlsoff12"): New.
2559 ("tlsoff_hilo"): New.
2560 ("tls_tlsdesc_ldd"): New.
2561 ("tls_tlsoff_ld"): New.
2564 * config/frv/frv-protos.h (symbolic_operand): Protoize.
2566 2005-01-25 Alexandre Oliva <aoliva@redhat.com>
2568 * config/frv/frv.h (ASM_OUTPUT_DWARF_DTPREL): Define.
2569 * config/frv/frv-protos.h (frv_output_dwarf_dtprel): Declare.
2570 * config/frv/frv.c (TLS_BIAS): Define.
2571 (frv_output_dwarf_dtprel): New.
2573 2005-01-26 Jakub Jelinek <jakub@redhat.com>
2575 PR rtl-optimization/19579
2576 * ifcvt.c (noce_try_cmove_arith): If emitting instructions to set up
2577 both A and B, see if they don't clobber registers the other expr uses.
2579 2005-01-25 J"orn Rennecke <joern.rennecke@st.com>
2581 * real.c (do_add): Initialize signalling and canonical members.
2583 * real.c (real_from_integer): Zero out destination.
2585 2005-01-18 Jan Hubicka <jh@suse.cz>
2587 PR tree-optimize/19337
2588 * tree-inline.c (initialize_inlined_parameters): Copy
2589 saved_static_chain_decl only.
2591 2005-01-25 Richard Henderson <rth@redhat.com>
2595 * config/i386/i386.c (x86_inter_unit_moves): Zero.
2596 (ix86_preferred_reload_class): Rewrite fp-constant section, with
2597 80387 enabled, to return a proper subclass. Return the subset that
2598 overlaps with GENERAL_REGS for PLUS.
2599 * config/i386/i386.md (movsi_1, movdi_2): Set type to "mmx" for pxor.
2601 2005-01-25 Richard Henderson <rth@redhat.com>
2604 * tree-complex.c (expand_complex_div_wide): Use the correct formulae.
2606 2005-01-25 Roger Sayle <roger@eyesopen.com>
2608 * expmed.c (choose_multiplier): Change interface to return the
2609 multiplier lowpart as an rtx instead of an unsigned HOST_WIDE_INT.
2610 (expand_divmod): Update calls to choose_multiplier.
2612 2005-01-24 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2615 * expmed.c (extract_bit_field): Use adjust_address instead of
2616 gen_lowpart when op0 is a MEM.
2618 2005-01-24 Steven Bosscher <stevenb@suse.de>
2620 * cfgexpand.c (expand_gimple_tailcall): Fix typo.
2622 2005-01-24 Richard Sandiford <rsandifo@redhat.com>
2624 * config/mips/irix-csr.c: New file.
2625 * config/mips/t-iris6 (irix-csr.o): New rule to build it.
2626 (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
2627 * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
2630 2005-01-24 Eric Botcazou <ebotcazou@libertysurf.fr>
2633 * config.gcc (sparc-*-elf*): Remove sol2.h, sparc/sol2.h and
2634 sparc/elf.h, add sparc/sp-elf.h.
2635 (sparc-*-rtems*): Likewise.
2636 (sparclite-*-elf*): Remove sol2.h, sparc/sol2.h, sparc/elf.h and
2637 tm-dwarf2.h, add sparc/sp-elf.h.
2638 (sparc86x-*-elf): Likewise.
2639 (sparc64-*-elf*): Remove sol2.h, sparc/sol2.h and tm-dwarf2.h.
2640 * config/sparc/liteelf.h (TARGET_SUB_OS_CPP_BUILTINS): Rename into
2641 TARGET_OS_CPP_BUILTINS.
2642 * config/sparc/sp86x-elf (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2643 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
2645 * config/sparc/openbsd64.h (NO_IMPLICIT_EXTERN_C): Undefine.
2646 * config/sparc/sp64-elf.h (NO_IMPLICIT_EXTERN_C): New macro.
2647 (SWITCH_TAKES_ARG): Likewise.
2648 (LOCAL_LABEL_PREFIX): Likewise.
2649 (ASM_GENERATE_INTERNAL_LABEL): Likewise.
2650 (TARGET_N_FORMAT_TYPES): Delete.
2651 (TARGET_FORMAT_TYPES): Likewise.
2652 (ASM_DECLARE_FUNCTION_SIZE): Likewise.
2653 * config/sparc/elf.h: Delete.
2654 * config/sparc/sp-elf.h: New file.
2656 2005-01-24 Kazu Hirata <kazu@cs.umass.edu>
2658 * tree-flow-inline.h (phi_arg_from_edge): Remove.
2659 * tree-flow.h: Remove the corresponding prototype.
2660 * tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-ssa.c,
2661 tree-vectorizer.c: Use dest_idx instead of phi_arg_from_edge.
2663 2005-01-24 Jakub Jelinek <jakub@redhat.com>
2666 * config/rs6000/rs6000.c (rs6000_file_start): Create toc section
2667 for AIX ABI or ELF -fPIC.
2668 (rs6000_emit_load_toc_table): Don't create toc_section here.
2669 (rs6000_xcoff_file_start): Nor here.
2671 2005-01-24 J"orn Rennecke <joern.rennecke@st.com>
2673 * sh.c (ra.h): Don't #include.
2674 (hard_regs_intersect_p): New function, resurrected from ra.c.
2676 * sh.c: Fix 1996 Copyright.
2678 2005-01-24 Richard Henderson <rth@redhat.com>
2679 Aldy Hernandez <aldyh@redhat.com>
2681 * regrename.c (note_sets): Handle subregs.
2683 2005-01-24 Joseph S. Myers <joseph@codesourcery.com>
2686 * genconditions.c (write_header, write_conditions): Elide file if
2689 2005-01-24 Kazu Hirata <kazu@cs.umass.edu>
2691 * c-opts.c, expmed.c, gengtype.c, tree-complex.c,
2692 config/arm/iwmmxt.md, config/avr/avr.c, config/s390/s390.h:
2695 2005-01-24 Jakub Jelinek <jakub@redhat.com>
2697 * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
2698 expand_builtin_printf, expand_builtin_fprintf,
2699 expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE
2700 checking against POINTER_TYPE.
2701 (validate_arglist): Handle POINTER_TYPE code by checking
2704 2005-01-24 Paolo Bonzini <bonzini@gnu.org>
2706 * rtlanal.c (non_rtx_starting_operands, for_each_rtx_1,
2708 (for_each_rtx): Call for_each_rtx_1.
2709 * rtl.h (init_rtlanal): Declare.
2710 * toplev.c (backend_init): Call init_rtlanal.
2712 2005-01-24 Jakub Jelinek <jakub@redhat.com>
2714 * flow.c (propagate_one_insn): Formatting.
2717 * flow.c (libcall_dead_p): Be more conservative if unsure.
2718 If there are any instructions between insn and call, see if they are
2719 all dead before saying the libcall is dead.
2721 2005-01-24 Uros Bizjak <uros@kss-loka.si>
2723 * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
2724 operand constraint for operand 0.
2726 2005-01-23 Richard Henderson <rth@redhat.com>
2729 * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
2730 edges leading to join block.
2732 2005-01-23 Roger Sayle <roger@eyesopen.com>
2734 * expmed.c (expand_mult_highpart): Make static. Change type of
2735 constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
2736 (expand_divmod): Updates calls to expand_mult_highpart by using
2737 gen_int_mode to pass a CONST_INT rtx.
2738 * rtl.h (expand_mult_highpart): Remove prototype.
2740 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
2742 * flow.c (regset_bytes, regset_size): Remove.
2744 * cfganal.c: Fix a reference to Harvey's paper.
2746 2005-01-23 Steven Bosscher <stevenb@suse.de>
2748 PR rtl-optimization/19464
2749 * tree-optimize.c (init_tree_optimization_passes): Add one more
2750 copyrename pass just before out-of-ssa.
2752 2005-01-23 Joseph S. Myers <joseph@codesourcery.com>
2755 * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
2756 * ggc-none.c (ggc_free): Define.
2758 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
2760 * cse.c (max_reg, max_insn_uid): Remove.
2761 (cse_main): Don't access max_reg or max_insn_uid.
2763 * c-common.c (explicit_flag_signed_bitfields,
2764 lang_statement_code_p, lang_expand_function_end): Remove.
2765 * c-common.h: Remove the corresponding declarations.
2766 * c-opts.c (c_common_handle_option): Remove all write access
2767 to explicit_flag_signed_bitfields.
2769 * cgraph.c (cgraph_varpool_n_nodes): Remove.
2770 (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
2771 * cgraph.h: Remove the corresponding declaration.
2773 * gcse.c (null_pointer_info): Remove.
2775 2005-01-23 Roger Sayle <roger@eyesopen.com>
2776 Eric Botcazou <ebotcazou@libertysurf.fr>
2778 * combine.c (simplify_logical): Only simplify logical expressions
2779 of the form ior(and(x,y),z) by the inverse distributive law if the
2780 result is cheaper than the original.
2782 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
2784 * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
2785 fold-const.c, gimplify.c, params.h, tree-data-ref.c,
2786 tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
2787 tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
2788 config/freebsd-spec.h, config/arm/arm.h,
2789 config/h8300/h8300.md, config/i386/i386.md,
2790 config/i386/predicates.md, config/i386/sse.md,
2791 config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
2792 config/vax/vax.md: Fix comment typos. Follow spelling
2795 2005-01-23 Steven Bosscher <stevenb@suse.de>
2797 * gengtype.c (walk_type): Produce `not equal to' compares for loop
2798 tests, instead of `less than'.
2800 2005-01-23 Richard Sandiford <rsandifo@redhat.com>
2802 * function.c (assign_parm_setup_block): When creating a new stack slot
2803 for a parameter, get its alignment from the parameter's DECL_ALIGN
2804 rather than the type's TYPE_ALIGN. Make sure that the parameter
2805 is at least word aligned.
2807 2005-01-22 Roger Sayle <roger@eyesopen.com>
2810 * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
2812 2005-01-22 Richard Henderson <rth@redhat.com>
2815 * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
2816 in both compare operands.
2817 (movdfcc_1_sse_max): Likewise.
2818 (movsfcc_1_sse): Likewise. Add earlyclobber for scratch.
2819 (movdfcc_1_sse): Likewise.
2820 * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
2821 scratch register as needed.
2823 2005-01-22 Richard Henderson <rth@redhat.com>
2825 * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
2827 * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
2829 2005-01-22 Richard Henderson <rth@redhat.com>
2831 * genopinit.c (optabs): Use smin/smax for floating point too.
2832 * doc/md.texi: Update to match. Clarify that floating point
2833 results are undefined for +0/-0 and NaN.
2834 * doc/rtl.texi: Likewise.
2835 * rtl.def (SMIN, SMAX): Likewise
2836 * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
2838 * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
2839 leading 's' to the name.
2840 * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
2841 smaxxf3, sminxf3): Likewise.
2842 * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
2845 2005-01-22 Paul Brook <paul@codesourcery.com>
2847 * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
2849 2005-01-21 Mark Dettinger <dettinge@de.ibm.com>
2851 * config/s390/s390.c (struct processor_costs): New fields
2852 dlgr, dlr, dr, dsgfr, dsgr.
2853 (z900_cost, z990_cost): Values for new fields.
2854 (s390_rtx_costs): New cases MEM und COMPARE in switch
2855 statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
2856 DIV, MOD, UDIV, UMOD.
2858 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
2860 * config/s390/s390.md ("doloop_si64"): Reload input value directly
2861 into the register being decremented.
2862 ("doloop_si31", "doloop_di"): Likewise.
2863 ("*doloop_si_long"): Adapt pattern.
2865 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
2867 * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
2869 (CLASS_MAX_NREGS): Likewise.
2871 2005-01-21 Daniel Berlin <dberlin@dberlin.org>
2873 * doc/tree-ssa.texi (Statement Operands): Add example for new
2874 must-def macro. Note deprecation of old operands interface.
2876 2005-01-22 Richard Sandiford <rsandifo@redhat.com>
2878 PR tree-optimization/19484
2879 * tree-cfg.c (remove_fallthru_edge): New function.
2880 (cleanup_control_flow): Remove fallthru edges from calls that are
2881 now known not to return.
2883 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
2885 Fix PR tree-optimization/19038
2886 * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
2887 copies with loop variant ones.
2889 2005-01-22 Kazu Hirata <kazu@cs.umass.edu>
2891 * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
2892 config/alpha/alpha-protos.h, config/alpha/alpha.h,
2893 config/alpha/alpha.md, config/alpha/predicates.md,
2894 config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
2895 config/sparc/sol2.h: Update copyright.
2897 * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
2898 first label to see if it is a nonlocal label.
2900 2005-01-22 David Edelsohn <edelsohn@gnu.org>
2901 Andrew Pinski <pinskia@physics.uc.edu>
2904 * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
2905 maximum number of GPRs. Saturate n_fpr at maximum number of FPRs.
2907 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
2909 * config/rs6000/rtems.h: Update copyright.
2911 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
2914 * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
2915 (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
2916 (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
2918 2005-01-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
2921 * c-typeck.c (convert_arguments): Check for error_mark_node.
2923 2005-01-21 Ian Lance Taylor <ian@airs.com>
2925 PR tree-optimization/13000
2926 * tree-inline.c: Include "tree-flow.h".
2927 (expand_call_inline): If warn_return_type, warn if non-void inline
2928 function falls through.
2929 * tree-cfg.c (execute_warn_function_return): Don't warn about
2930 control reaching end if TREE_NO_WARNING is set. Set
2932 * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
2934 * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
2935 branch if we don't need one.
2936 * c-typeck.c: Include "tree-flow.h"
2937 (c_finish_bc_stmt): Don't add a goto if the current statement
2938 list doesn't fall through to the current point.
2940 2005-01-21 Roger Sayle <roger@eyesopen.com>
2942 PR rtl-optimization/576
2943 * real.c (real_arithmetic): Change return type from void to bool
2944 to return an indication that the result may be inexact.
2945 * real.h (real_arithmeric): Update prototype.
2946 * fold-const.c (const_binop): Don't constant fold floating
2947 point expressions when the user specifies -frounding-math and
2948 the result may depend upon the run-time rounding mode.
2949 (fold_convert_const_real_from_real): Clean-up.
2950 (fold_initializer): Ignore flag_rounding_math for initializers.
2951 * simplify-rtx.c (simplify_binary_operation): Likewise, don't
2952 constant fold FP operations with flag_rounding_math if the
2953 result may depend upon the run-time rounding mode.
2955 2005-01-21 Tom Tromey <tromey@redhat.com>
2957 * c-cppbuiltin.c (define__GNUC__): Correct assertion.
2959 2005-01-21 Kazu Hirata <kazu@cs.umass.edu>
2961 * tree-cfg.c: Fix comment typos.
2963 2005-01-21 J"orn Rennecke <joern.rennecke@st.com>
2965 * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
2966 around the call to rest_of_handle_branch_target_load_optimize.
2968 2005-01-21 Eric Botcazou <ebotcazou@libertysurf.fr>
2970 * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
2971 (sparc64-*-openbsd*): Likewise.
2972 (sparclite-*-elf*): Include tm-dwarf2.h.
2973 (sparc86x-*-elf*): Likewise.
2974 (sparc64-*-elf*): Likewise.
2975 * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
2976 (DBX_DEBUGGING_INFO): Likewise.
2977 * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
2978 (PREFERRED_DEBUGGING_TYPE): Likewise.
2979 * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
2980 * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
2981 (PREFERRED_DEBUGGING_TYPE): Likewise.
2982 * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
2983 (PREFERRED_DEBUGGING_TYPE): Likewise.
2984 * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
2986 2005-01-21 Hans-Peter Nilsson <hp@bitrange.com>
2989 * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
2991 2005-01-20 Paul Brook <paul@codesourcery.com>
2993 * doc/rtl.texi: Document value extension requirements for CONST_INT.
2995 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
2997 * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
2998 label is first in a sequence of labels.
3000 * tree-cfg.c (tree_verify_flow_info): Fix a typo.
3002 2005-01-20 Janis Johnson <janis187@us.ibm.com>
3003 Giovanni Bajo <giovannibajo@gcc.gnu.org>
3005 * doc/sourcebuild.texi (Test Directives): New.
3007 2005-01-20 Roger Sayle <roger@eyesopen.com>
3009 * real.c (real_floor): Don't leave the result uninitialized when
3010 mode is VOIDMode, but return the unrounded intermediate value.
3011 (real_ceil): Likewise.
3013 2005-01-20 Paul Brook <paul@codesourcery.com>
3015 * config/arm/arm.md (insv): Use gen_int_mode.
3017 2005-01-20 Eric Botcazou <ebotcazou@libertysurf.fr>
3019 * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
3020 * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3021 * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3022 * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3023 * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
3025 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
3028 * dwarf2out.c (concat_loc_descriptor): We don't know we can use
3029 fbreg, so we have to assume we can't.
3030 (loc_descriptor_from_tree_1): Ditto.
3031 (containing_function_has_frame_base): New function.
3032 (add_location_or_const_value_attribute): Use it.
3033 Also try to generate a frame_base from a single element location
3036 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
3038 PR tree-optimization/15349
3039 * timevar.def (TV_TREE_MERGE_PHI): New.
3040 * tree-cfg.c (tree_forwarder_block_p): Add a new argument
3042 (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
3043 calls to tree_forwarder_block_p.
3044 (remove_forwarder_block_with_phi, merge_phi_nodes,
3045 gate_merge_phi, pass_merge_phi): New.
3046 * tree-optimize.c (init_tree_optimization_passes): Add
3048 * tree-pass.h: Add an extern for pass_merge_phi;
3050 2005-01-20 Richard Henderson <rth@redhat.com>
3053 * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
3054 (_mm_castps_pd, _mm_castps_si128): New.
3055 (_mm_castsi128_ps, _mm_castsi128_pd): New.
3057 2005-01-20 Richard Henderson <rth@redhat.com>
3060 * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
3061 __builtin_ia32_vec_init_v2si.
3062 (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
3063 * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
3064 (ix86_init_mmx_sse_builtins): Create it.
3065 (ix86_expand_builtin): Expand it.
3066 (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
3067 * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
3068 (vec_extractv2si_0, vec_extractv2si_1): New.
3070 2005-01-20 Richard Henderson <rth@redhat.com>
3073 * config/i386/i386.c (ix86_expand_push): New.
3074 * config/i386/mmx.md (push<MMXMODE>1): New.
3075 * config/i386/sse.md (push<SSEMODE>1): New.
3076 * config/i386/i386-protos.h: Update.
3078 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
3080 * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
3083 2005-01-20 Richard Henderson <rth@redhat.com>
3085 * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
3086 * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
3088 2005-01-19 Richard Henderson <rth@redhat.com>
3091 * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
3092 to V4SFmode in SSE1 fallback load path.
3094 2005-01-19 Richard Henderson <rth@redhat.com>
3096 * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
3097 in QImode expansion to ix86_expand_vector_set.
3098 (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
3100 2005-01-19 Richard Henderson <rth@redhat.com>
3103 * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
3104 subclass of the input class.
3105 (ix86_secondary_memory_needed): Always true for cross-MMX classes.
3106 Always true for cross-SSE1 classes. Rationalize conditionals.
3107 * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
3108 * config/i386/i386.md (movsi_1): Add MMX/SSE zeros. Fix alternatives
3109 for SSE1. Don't check TARGET_INTER_UNIT_MOVES.
3110 (movdi_2): Add MMX/SSE zeros.
3111 (movdi_1_rex64): Likewise. Don't check TARGET_INTER_UNIT_MOVES.
3112 (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
3113 (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
3114 (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
3115 (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
3116 (zero_extendsidi2_rex64_1): Remove.
3117 (MOV0 peephole): Check GENERAL_REG_P.
3119 2005-01-19 Richard Henderson <rth@redhat.com>
3122 * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
3124 (ix86_expand_vector_extract): Likewise.
3126 2005-01-19 Richard Henderson <rth@redhat.com>
3129 * expr.c (emit_move_change_mode): New argument force; use
3130 simplify_gen_subreg if true.
3131 (emit_move_via_alt_mode): Merge into ...
3132 (emit_move_via_integer): ... here.
3133 (emit_move_ccmode): Use emit_move_change_mode directly.
3135 2005-01-19 Richard Henderson <rth@redhat.com>
3138 * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
3139 (alpha_preferred_reload_class): Handle CONST_VECTOR.
3140 (alpha_emit_set_const_1): Add no_output parameter; don't emit
3142 (alpha_emit_set_const): Likewise. Make static.
3143 (alpha_emit_set_long_const): Make static.
3144 (alpha_extract_integer): Split out from alpha_expand_mov.
3145 (alpha_split_const_mov): Likewise.
3146 (alpha_expand_mov): Use them. Handle CONST_VECTOR.
3147 (alpha_legitimate_constant_p): New.
3148 * config/alpha/alpha-protos.h: Update.
3149 * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
3150 (LEGITIMATE_CONSTANT_P): Re-implement with a function.
3151 * config/alpha/alpha.md (movsi): Add n alternative.
3152 (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
3153 (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
3154 (splitters for all of the above): Use alpha_split_const_mov.
3155 * config/alpha/predicates.md (non_add_const_operand): New.
3156 (non_zero_const_operand): New.
3157 (input_operand): Use alpha_legitimate_constant_p after reload.
3159 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
3161 PR tree-optimization/19038
3162 * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
3163 (add_candidate): Add ivs with increment in latch only if
3164 allow_ip_end_pos_p is true.
3165 (determine_iv_cost): Use empty_block_p.
3167 2005-01-19 Daniel Berlin <dberlin@dberlin.org>
3169 * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
3170 (compute_dominance_frontiers): Ditto.
3172 2005-01-19 Ralf Corsepius <ralf.corsepius@rtems.org>
3175 * config/sh/t-rtems: New.
3176 * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
3178 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
3180 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
3181 the offset of the selected field.
3183 2005-01-19 Kazu Hirata <kazu@cs.umass.edu>
3185 * tree-cfg.c (remove_forwarder_block): Fix the check to
3186 prevent a nonlocal label from appearing in the middle of a
3189 2005-01-19 Hans-Peter Nilsson <hp@axis.com>
3191 PR rtl-optimization/19462
3192 * reorg.c (find_end_label): Create return insn only if
3193 current_function_epilogue_delay_list is empty.
3195 2005-01-19 Paolo Bonzini <bonzini@gnu.org>
3197 * doc/passes.texi: Remove paragraph mentioning new-ra.
3199 2005-01-19 Jakub Jelinek <jakub@redhat.com>
3201 PR rtl-optimization/15139
3202 * combine.c: Include params.h.
3203 (count_rtxs): New function.
3204 (record_value_for_reg): If replace_rtx would replace at least
3205 2 occurrences of REG in VALUE and TEM is really large, replace REG with
3206 (clobber (const_int 0)) instead of TEM.
3207 * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
3208 * params.h (MAX_LAST_VALUE_RTL): New.
3209 * Makefile.in (combine.o): Depend on $(PARAMS_H).
3210 * doc/invoke.texi (--param max-last-value-rtl=N): Document.
3213 * c-typeck.c (digest_init): Only call build_vector if all constructor
3214 elements are *_CST nodes.
3215 * gimplify.c (gimplify_init_constructor): Likewise.
3218 * c-typeck.c (digest_init): Only call build_vector if inside_init
3221 2005-01-18 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
3223 * toplev.c (init_asm_output): Remove dead #ifdef.
3225 2005-01-18 Kaz Kojima <kkojima@gcc.gnu.org>
3227 * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
3229 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
3231 * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
3232 accessing DECL_FUNCTION_CODE.
3233 * dojump.c (do_jump): Likewise.
3234 * gimplify.c (gimplify_call_expr): Likewise.
3235 * predict.c (expr_expected_value): Likewise.
3236 (strip_builtin_expect): Likewise.
3237 * tree-inline.c (estimate_num_insns_1): Likewise.
3238 * tree-ssa-loop-im.c (stmt_cost): Likewise
3239 * fold-const.c (fold): Test for BUILT_IN_NORMAL.
3240 (tree_expr_nonnegative_p): Likewise.
3242 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
3244 * config/sparc/sparc.c (load_pic_register): Emit the appropriate
3245 variant of the load_pcrel_sym pattern.
3246 * config/sparc/sparc.md (P macro): Move to the top.
3247 (load_pcrel_sym): Macroize using P.
3248 (save_register_window): Likewise.
3250 2005-01-18 Aldy Hernandez <aldyh@redhat.com>
3252 * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
3255 2005-01-18 Andrew Pinski <pinskia@physics.uc.edu>
3258 * c-typeck.c (build_asm_expr): Strip nops off
3259 input memory operands.
3261 2005-01-18 David Edelsohn <edelsohn@gnu.org>
3263 * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
3264 _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
3265 * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
3266 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
3268 2005-01-18 Joel Sherrill <joel.sherrill@oarcorp.com>
3271 * config/i386/i386.c (override_options): If the 80387 is disabled,
3272 then do not return FP values using FP registers.
3274 2005-01-18 Kazu Hirata <kazu@cs.umass.edu>
3276 * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
3277 c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
3278 combine.c, config.gcc, coverage.h, cse.c, cselib.c,
3279 defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
3280 flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
3281 gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
3282 output.h, postreload-gcse.c, postreload.c, recog.c,
3283 resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
3284 targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
3285 tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
3286 tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
3287 tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
3288 tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
3289 tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
3290 unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
3292 * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
3293 config/alpha/alpha.c, config/arm/vfp.md,
3294 config/i386/emmintrin.h, config/i386/i386-modes.def,
3295 config/i386/i386-protos.h, config/i386/i386.h,
3296 config/i386/pmmintrin.h, config/i386/ppro.md,
3297 config/i386/predicates.md, config/i386/xmmintrin.h,
3298 config/i860/i860.c, config/ia64/ia64-modes.def,
3299 config/ia64/ia64-protos.h, config/ia64/ia64.h,
3300 config/ia64/ia64.md, config/ia64/itanium1.md,
3301 config/ia64/itanium2.md, config/ia64/predicates.md,
3302 config/iq2000/iq2000.h, config/mips/linux64.h,
3303 config/rs6000/aix41.h, config/rs6000/aix43.h,
3304 config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
3305 config/rs6000/rs6000.c, config/rs6000/rs6000.h,
3306 config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
3307 config/sparc/linux64.h, config/sparc/litecoff.h,
3308 config/sparc/sp64-elf.h, config/sparc/sparc.c,
3309 config/sparc/sparc.h, config/sparc/sparc.md,
3310 config/sparc/sysv4-only.h: Update copyright.
3312 2005-01-18 Richard Henderson <rth@redhat.com>
3315 * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
3317 2005-01-18 Marc Espie <espie@openbsd.org>
3318 * config/i386/openbsdelf.h: Typo.
3320 2005-01-18 Richard Henderson <rth@redhat.com>
3322 * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
3323 special case for sse.
3324 * config/i386/predicates.md (sse_comparison_operator): Likewise.
3326 2005-01-18 Dorit Naishlos <dorit@il.ibm.com>
3328 * tree-inline.c (estimate_num_insns_1): Added cases for
3329 ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
3331 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
3333 PR rtl-optimization/19296
3334 * combine.c (simplify_comparison): Rewrite the condition under
3335 which a non-paradoxical SUBREG of a PLUS can be lifted when
3336 compared against a constant.
3338 2005-01-18 Andi Kleen <ak@muc.de>
3340 * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
3341 * c.opt (-Wpointer-sign): Add.
3342 * doc/invoke.texi: (-Wpointer-sign): Add.
3344 2005-01-18 Uros Bizjak <uros@kss-loka.si>
3346 * config/i386/i386.c (override_options): Revert 2004-11-24 change.
3347 * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
3348 *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
3349 logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
3350 exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
3351 nearbyintsf2): Disable for TARGET_SSE_MATH. Leave patterns enabled
3352 for TARGET_MIX_SSE_I387.
3353 (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
3354 sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
3355 atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
3356 log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
3357 floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
3358 (TARGET_SSE2 && TARGET_SSE_MATH). Leave patterns enabled for
3359 TARGET_MIX_SSE_I387.
3360 (atan2sf3, atan2df3, atan2xf3): Remove register constraints
3363 2005-01-18 Uros Bizjak <uros@kss-loka.si>
3366 * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
3367 Add movaps alternative for xmm reg->reg move.
3369 2005-01-17 Jeff Law <law@redhat.com>
3371 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
3372 at the end of the main DOM loop rather than just before DOM exits.
3374 2005-01-17 Diego Novillo <dnovillo@redhat.com>
3376 PR tree-optimization/19121
3377 * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
3378 adding aliases to a name tag, also add them to the pointer's
3380 * tree-ssa-copy.c (merge_alias_info): Do not merge flow
3381 sensitive alias info at all. Only check that the two pointers
3382 have compatible pointed-to sets.
3383 * tree-ssa.c (verify_name_tags): Verify that the alias set of
3384 a pointer's type tag is a superset of the alias set of the
3387 2005-01-17 James E Wilson <wilson@specifixinc.com>
3390 * config/ia64/ia64.md (movxf): Handle general register source. Adjust
3391 comment to document why.
3393 2005-01-17 Richard Henderson <rth@redhat.com>
3395 * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
3396 sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
3397 sse2_vmsmaxv2df3_finite, sminv2df3_finite,
3398 sse2_vmsminv2df3_finite): New.
3399 (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
3400 sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
3401 Force op1 into register.
3403 2005-01-17 Kelley Cook <kcook@gcc.gnu.org>
3405 * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
3406 bubblestrap from always rebuilding build directory.
3408 2005-01-17 Ulrich Weigand <uweigand@de.ibm.com>
3410 * config/s390/s390.md ("*clc"): Remove incorrect '='.
3411 ("*cmpmem_short"): Likewise.
3413 2005-01-17 Steven Bosscher <stevenb@suse.de>
3415 * basic-block.h: Document BB_* flags.
3416 * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
3417 use an sbitmap instead.
3418 * sched-rgn.c (compute_trg_info): Likewise.
3420 2005-01-17 Richard Sandiford <rsandifo@redhat.com>
3422 * config.gcc (mips64*-*-linux*): Set the default abi to n32. Remove
3423 redundant target_cpu_default and extra_parts lines. Use the default
3425 * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
3426 (SUBTARGET_EXTRA_SPECS): Delete.
3427 (DRIVER_SELF_SPECS): Remove architecture lines. Set the ABI directly.
3428 (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
3429 * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
3430 and "n32" for -mabi=n32.
3432 2005-01-17 Ian Lance Taylor <ian@airs.com>
3435 * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
3436 fold constant variables into initial values.
3438 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
3440 * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
3442 * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
3443 through the statements backward.
3445 2005-01-17 Ian Lance Taylor <ian@airs.com>
3447 PR middle-end/13127:
3448 * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
3449 a variable set to the return value of the inlined function.
3451 2005-01-17 Mark Dettinger <dettinge@de.ibm.com>
3453 * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
3454 when modes are tieable.
3456 2005-01-17 Ranjit Mathew <rmathew@hotmail.com>
3458 * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
3459 of pthread_create to find out if threads are enabled.
3460 * gthr-posix95.h (__gthread_active_p): Likewise.
3462 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
3464 * common.opt (-fnew-ra): Remove.
3466 * toplev.h (flag_new_regalloc): Remove.
3467 * Makefile.in (ra*.*): Don't mention.
3468 * passes.c (rest_of_handle_new_regalloc): Remove.
3469 (rest_of_handle_combine, rest_of_compilation): Always consider
3470 flag_new_regalloc as false.
3471 * doc/invoke.texi: Don't document -fnew-ra.
3473 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
3475 * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
3476 last parameter to reg_scan.
3477 * loop.c (loop_optimize): Likewise.
3478 * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
3479 rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
3480 rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
3481 rest_of_handle_gcse, rest_of_handle_loop_optimize,
3482 rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
3483 * regclass.c (reg_scan): Likewise, for the declaration.
3484 * rtl.h (reg_scan): Likewise, for the prototype.
3486 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
3488 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
3489 mark_dfs_back_edges.
3491 2005-01-16 Daniel Berlin <dberlin@dberlin.org>
3493 * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
3494 (compute_avail): Uses don't go in tmp_gen.
3496 2005-01-16 Steven Bosscher <stevenb@suse.de>
3498 * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
3499 loop to look for a free slot in a page entry.
3501 2005-01-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3504 * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
3505 * toplev.c (compile_file): Call process_pending_assemble_output_defs
3506 just before targetm.asm_out.file_end.
3507 * tree.h (process_pending_assemble_output_defs): Declare.
3508 * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
3510 (assemble_alias): Defer generation of assembly code for defines when
3511 TARGET_DEFERRED_OUTPUT_DEFS is true.
3512 * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
3513 * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
3514 * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
3516 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3519 * pa.c (pa_scalar_mode_supported_p): New function.
3520 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
3521 * pa.h (MIN_UNITS_PER_WORD): Add comment.
3523 * pa-protos.h (prefetch_operand): Delete.
3524 (prefetch_cc_operand, prefetch_nocc_operand): New declations.
3525 * pa.c (prefetch_operand): Delete.
3526 (prefetch_cc_operand, prefetch_nocc_operand): New functions.
3527 * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
3528 (PREDICATE_CODES): Delete prefetch_operand. Add prefetch_cc_operand
3529 and prefetch_nocc_operand.
3530 * pa.md (prefetch): Rework to avoid reload problems handling short
3531 displacements when a cache control completer needs to be provided.
3532 (prefetch_32, prefetch_64): Delete.
3533 (prefetch_cc, prefetch_nocc): New patterns.
3535 2005-01-15 David Edelsohn <edelsohn@gnu.org>
3537 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
3539 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3542 * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
3543 exceeds maximum alignment for global common data.
3544 * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
3545 * som.h (MAX_OFILE_ALIGNMENT): Likewise.
3547 2004-01-15 Roger Sayle <roger@eyesopen.com>
3549 * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
3551 2004-01-15 Roger Sayle <roger@eyesopen.com>
3553 * harg-reg-set.h (reg_class_names): Prototype global array.
3554 * regclass.c (reg_class_names): Declare here and initialize to
3556 (dump_regclass): Remove local declaration of reg_class_names.
3557 (regclass): Likewise.
3558 * cfg.c (dump_flow_info): Likewise.
3559 * ra-debug.c (reg_class_names): Likewise.
3560 * regrename.c (reg_class_names): Likewise.
3561 * reload.c (reg_class_names): Likewise.
3562 * reload1.c (spill_failure): Likewise.
3563 * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
3565 2005-01-15 Ulrich Weigand <uweigand@de.ibm.com>
3567 * config/s390/s390.md ("reload_outti"): Remove predicate for
3568 output operand. Abort if operand is not a MEM.
3569 ("reload_outdi", "reload_outdf"): Likewise.
3571 2005-01-15 Marc Espie <espie@openbsd.org>
3573 * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
3574 (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
3575 * config/openbsd.h: Fix C++ includes for native configurations.
3576 Add proper OS_CPP_BUILTINS. Fix libspec for recent OpenBSD.
3577 Add trampoline support.
3578 * config/i386/openbsdelf.h: New.
3580 2005-01-15 Marc Espie <espie@openbsd.org>
3582 * collect2.c (main): Explicitly parse -dynamic-linker option.
3584 2005-01-15 Jakub Jelinek <jakub@redhat.com>
3586 PR tree-optimization/19060
3587 * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
3588 Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
3589 (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
3590 and handle extract_range_from_cond returning false.
3591 * fold-const.c (fold): Optimize comparisons with min/max even for
3592 width > HOST_BITS_PER_WIDE_INT.
3594 2005-01-15 Ralf Corsepius <ralf.corsepius@rtems.org>
3596 * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
3597 * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS):
3598 Remove little endian multilib variants.
3599 Add mips32 multilib variant.
3601 2005-01-15 Kazu Hirata <kazu@cs.umass.edu>
3603 * explow.c (copy_all_reg, stabilize): Remove.
3604 * expr.h: Remove the corresponding prototypes.
3606 * rtlanal.c (regs_set_between_p): Remove.
3607 * rtl.h: Remove the corresponding prototype.
3609 2005-01-14 David Edelsohn <edelsohn@gnu.org>
3611 * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
3612 to rs6000_nonimmediate_operand.
3613 * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
3614 rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
3615 * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
3616 rs6000_nonimmediate_operand.
3617 * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
3618 rs6000_nonimmediate_operand.
3620 2005-01-14 Andrew Pinski <pinskia@physics.uc.edu>
3622 * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
3624 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
3626 * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
3628 (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
3629 (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
3631 * config/rs6000/rs6000.c (invalid_e500_subreg): New.
3632 (rs6k_nonimmediate_operand): New.
3633 (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
3635 (legitimate_lo_sum_address_p): Same.
3636 (rs6000_legitimize_address): Same.
3637 (rs6000_legitimize_reload_address): Same.
3638 (rs6000_legitimate_address): Same.
3639 (spe_build_register_parallel): Pass DF and DC modes in a DI
3642 * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
3643 to rs6k_nonimmediate_operand.
3645 * config/rs6000/spe.md ("*frob_df_di"): New.
3646 ("*frob_di_df"): New.
3647 ("*frob_di_df_2"): New.
3648 ("*mov_sidf_e500_subreg0"): New.
3649 ("*mov_sidf_e500_subreg4"): New.
3650 ("*movdf_e500_double"): Change predicate to
3651 rs6k_nonimmediate_operand.
3653 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
3655 * postreload.c (move2add_note_store): Only call
3656 trunc_int_for_mode on scalar integers.
3658 2005-01-14 Steven Bosscher <stevenb@suse.de>
3660 * tree-ssa-dce.c (visited_control_parents): New sbitmap to
3661 replace BB_VISITED uses.
3662 (find_obviously_necessary_stmts): Don't clear BB_VISITED.
3663 (propagate_necessity): Check the bitmap instead of BB_VISITED.
3664 (tree_dce_done): Free visited_control_parents.
3665 (perform_tree_ssa_dce): Allocate and clear it.
3666 * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
3667 (compute_antic): Iterate from here using a DFS. Use an sbitmap
3668 instead of BB_VISITED.
3670 2005-01-14 Kazu Hirata <kazu@cs.umass.edu>
3672 * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
3673 rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
3674 Remove unused prototypes.
3676 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
3678 * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
3679 64-bit register usage.
3680 (spe_func_has_64bit_regs_p): Add FIXME note.
3682 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
3684 * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
3685 flag_finite_math_only with flag_unsafe_math_optimizations.
3687 2005-01-14 J. D. Johnston <jjohnst@us.ibm.com>
3689 * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
3691 (__tpf_eh_return): Copy TPF private stack area from the module
3692 boundary stack frame. Add check for when module addresses are
3693 equal, but no stub address is found.
3695 2005-01-14 Richard Earnshaw <rearnsha@arm.com>
3698 * arm.h (struct machine_function): Add call_via field.
3699 (thumb_call_via_label): Declare.
3700 * arm.c (thumb_call_via_label): New variable.
3701 (thumb_call_reg_needed): New variable.
3702 (arm_output_function_epilogue): For Thumb code, output any per-function
3703 call-indirect trampolines.
3704 (thumb_call_via_reg): New function.
3705 (arm_file_end): New function.
3706 (TARGET_ASM_FILE_END): Call arm_file_end.
3707 (aof_file_end): Likewise.
3708 * arm-protos.h (thumb_call_via_reg): Declare.
3709 * arm.md (call_reg_thumb, call_value_reg_thumb): Call
3710 thumb_call_via_reg in normal case.
3712 2005-01-14 Jakub Jelinek <jakub@redhat.com>
3715 PR rtl-optimization/19348
3716 * recog.c (peephole2_optimize): Do global life update if some peephole
3717 decides it doesn't need at least one of its inputs and that change
3718 influences liveness at the start of the basic block.
3720 * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
3721 arguments instead of 1.
3723 2005-01-14 Eric Botcazou <ebotcazou@libertysurf.fr>
3726 * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
3727 zero for nested functions needing a static chain or functions
3728 with a non-constant address.
3730 2005-01-13 Roger Sayle <roger@eyesopen.com>
3732 * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
3733 (and (sign_extend X) C) into (zero_extend (and X C)).
3735 2005-01-13 David O'Brien <obrien@FreeBSD.org>
3737 * config/freebsd-spec.h: Make KSE pthread lib logic the default.
3739 2005-01-13 Richard Henderson <rth@redhat.com>
3744 * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
3745 bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
3746 not just TARGET_SSE.
3747 (cmpfp_i_387): Rename from cmpfp_i. Move after sse patterns.
3748 (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
3749 (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
3750 (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
3751 (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
3752 (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
3753 (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
3754 fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
3755 (movdicc_c_rex64): Rename with '*'.
3756 (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
3757 (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
3758 (movsfcc_1_387): Rename from movsfcc_1.
3759 (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
3760 (movdfcc_1, movdfcc_1_rex64): Add check for 387.
3761 (sminsf3, smaxsf3, smindf3, smaxdf3): New.
3762 (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
3763 mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
3764 maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
3765 sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
3766 sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
3767 sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
3768 sse_movdfcc_const0_4): Remove.
3769 * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
3770 recognize min/max early. Update for changed sse cmove patterns.
3771 (ix86_split_sse_movcc): New.
3772 * config/i386/i386-protos.h: Update.
3774 2005-01-13 Steven Bosscher <stevenb@suse.de>
3776 * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
3777 (fix_stmt_v_may_defs): Likewise.
3779 2005-01-13 Richard Henderson <rth@redhat.com>
3781 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
3782 for converting the mask.
3784 2005-01-13 David Edelsohn <edelsohn@gnu.org>
3786 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
3789 2005-01-13 Richard Henderson <rth@redhat.com>
3791 * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
3792 IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
3793 IX86_BUILTIN_MOVDQ2Q): Remove.
3794 (IX86_BUILTIN_VEC_EXT_V4SI): New.
3795 (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
3796 (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
3798 * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
3799 (sse2_pextrw): Fix immediate constraint.
3800 (sse2_loadq, sse2_loadq_rex64): Remove.
3801 * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
3802 Use __builtin_ia32_vec_ext_<size>.
3803 (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
3805 2005-01-13 Aldy Hernandez <aldyh@redhat.com>
3807 * function.c (assign_parm_setup_block): Look inside original
3808 entry_parm when inspecting PARALLEL.
3810 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
3811 Joel Sherrill <joel@oarcorp.com>
3814 * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
3815 (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
3816 rtems_gxx_recursive_mutex_init.
3817 (__gthread_recursive_mutex_lock): New function.
3818 (__gthread_recursive_mutex_trylock): Likewise.
3819 (__gthread_recursive_mutex_unlock): Likewise.
3821 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
3823 * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
3825 2005-01-13 Jan Beulich <jbeulich@novell.com>
3827 * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
3828 (ashrti3_internal): Indicate output is early clobber. Generate result
3829 into output rather than first input. Use move for low word of output
3830 if shift count is exactly 64.
3831 (lshrti3_internal): Likewise.
3833 2005-01-13 Hans-Peter Nilsson <hp@bitrange.com>
3837 * reload1.c (delete_output_reload): Don't delete an output reload
3838 if the pseudo lives longer than a single basic block. Adjust and
3839 improve wording of comment.
3841 2005-01-12 Andrew Pinski <pinskia@physics.uc.edu>
3844 * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
3845 of TYPE_SIZE where we mean the number of bytes.
3847 2005-01-12 Aldy Hernandez <aldyh@redhat.com>
3849 * function.c (assign_parm_setup_block): Relax condition on
3850 multi-register optimization.
3852 2005-01-12 Nick Clifton <nickc@redhat.com>
3854 * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
3855 an "in_delay_slot" attribute of "no" to prevent them being used in
3856 delay slots. This is forbidden because they might generate
3859 2005-01-12 Alan Modra <amodra@bigpond.net.au>
3862 * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
3865 2005-01-12 Nick Clifton <nickc@redhat.com>
3867 * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
3868 passed on to GAS) but do not define, as GAS no longer supports or
3869 needs the -m2000 option.
3871 2005-01-11 Roger Sayle <roger@eyesopen.com>
3873 * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
3874 type as args of unprototyped builtins aren't automatically promoted.
3875 (fold_builtin_abs): Likewise.
3877 2005-01-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3879 * Makefile.in: Set a `build-warn' variable.
3881 2005-01-11 Zdenek Dvorak <dvorakz@suse.cz>
3883 PR tree-optimization/17949
3884 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
3885 (find_interesting_uses_address): Use it.
3887 2005-01-11 Aldy Hernandez <aldyh@redhat.com>
3889 * regrename.c (kill_value): Handle subreg's that won't simplify.
3891 2005-01-11 Richard Henderson <rth@redhat.com>
3894 * config/i386/i386.h (enum ix86_builtins): Move ...
3895 * config/i386/i386.c: ... here.
3896 (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
3897 IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
3898 IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
3899 IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
3900 IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD, IX86_BUILTIN_STOREHPD,
3901 IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
3902 IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
3903 IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
3904 IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
3905 IX86_BUILTIN_LOADDDUP): Remove.
3906 (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
3907 IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
3908 IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
3909 IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
3910 IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
3911 (ix86_init_builtins): Make static.
3912 (ix86_init_mmx_sse_builtins): Update for changed builtins.
3913 (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
3914 if all the modes match. Otherwise, fake it.
3915 (get_element_number, ix86_expand_vec_init_builtin,
3916 ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
3917 (ix86_expand_builtin): Make static. Update for changed builtins.
3918 (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
3919 operand instead of sse2_loadsd. Cast sse1 fallback to V4SFmode.
3920 (ix86_expand_vector_init_duplicate): New.
3921 (ix86_expand_vector_init_low_nonzero): New.
3922 (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
3923 Split out from ix86_expand_vector_init; handle integer modes.
3924 (ix86_expand_vector_init): Use them.
3925 (ix86_expand_vector_set, ix86_expand_vector_extract): New.
3926 * config/i386/i386-protos.h: Update.
3927 * config/i386/predicates.md (reg_or_0_operand): New.
3928 * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
3929 (movv2sf_internal): Likewise. And a splitter to match them all.
3930 (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
3931 vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
3932 vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
3933 vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
3934 (mmx_pinsrw): Fix operand ordering.
3935 * config/i386/sse.md (movv4sf splitter): Use direct pattern,
3936 rather than sse_loadss expander.
3937 (movv2df splitter): Similarly.
3938 (sse_loadss, sse_loadlss): Remove.
3939 (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
3940 (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
3941 (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
3942 (sse3_movddup): Rename with '*'.
3943 (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
3944 (sse2_loadsd): Remove.
3945 (vec_dupv2df_sse3): Rename from sse3_loadddup.
3946 (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
3947 (sse2_pinsrw): Fix argument ordering.
3948 (sse2_loadld, sse2_loadq): Add sse1 alternatives.
3949 (sse2_stored): Remove 'r' destination.
3950 (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
3951 vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
3952 vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
3953 vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
3954 vec_extractv16qi, vec_initv16qi): New.
3956 * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
3957 (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
3958 _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
3960 (_mm_load_pd, _mm_store_pd): Use plain dereference.
3961 (_mm_load_si128, _mm_store_si128): Likewise.
3962 (_mm_load1_pd): Use _mm_set1_pd.
3963 (_mm_load_sd): Use _mm_set_sd.
3964 (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
3965 (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
3966 (_mm_set_epi64): Use _mm_set_epi64x.
3967 (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
3968 _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
3969 _mm_setr_epi8): Use _mm_set_foo form.
3970 (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
3971 (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
3972 (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
3973 (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
3974 * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
3975 (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
3976 (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
3977 (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
3978 (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
3979 * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
3980 (_mm_movedup_pd): Use _mm_shuffle_pd.
3981 * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
3982 _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
3983 (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
3984 _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
3986 (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
3987 (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
3988 (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
3989 (_mm_store_ps): Use raw dereference.
3990 (_mm_store1_ps): Use _mm_storeu_ps.
3991 (_mm_storer_ps): Use _mm_store_ps.
3992 (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
3993 (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
3995 2005-01-11 Stan Shebs <shebs@apple.com>
3997 * config/rs6000/rs6000.c (machopic_output_stub): Issue
3998 ldu instead of lwzu if 64-bit -mdynamic-no-pic.
4000 2005-01-11 Andrew Pinski <pinskia@physics.uc.edu>
4003 * config/rs6000/rs6000.c (rs6000_special_round_type_align):
4004 Skip all DECLs except for FIELD_DECLs.
4006 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
4008 * config/s390/s390.c (override_options): Return error if
4009 -mbackchain, -mpacked-stack and -mhard-float are used together.
4010 (s390_va_start): Remove the backchain && packed-stack special case.
4011 (s390_gimplify_va_arg): Likewise.
4012 * doc/invoke.texi: Remove the ABI incompatibility note.
4014 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
4016 * config/s390/s390.c (struct s390_frame_layout): Remove
4018 (s390_frame_info, s390_emit_prologue): Replace occurrences of
4019 save_backchain_p with TARGET_BACKCHAIN.
4021 2005-01-11 Alan Modra <amodra@bigpond.net.au>
4024 * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
4025 * expr.h (struct locate_and_pad_arg_data): Add "boundary".
4026 * function.c (locate_and_pad_parm): Set new field.
4027 (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
4028 Tweak where_pad test to include "none". Always set mem align for
4030 (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
4031 not sufficient for type.
4032 (assign_parm_setup_block): If stack_parm is zero on entry, always
4033 make a new stack local. Block move old stack parm if necessary
4034 to new aligned stack local.
4035 (assign_parm_setup_stack): Use a block move to handle
4036 potentially misaligned entry_parm.
4037 (assign_parms_unsplit_complex): Specify required alignment when
4038 creating stack local.
4039 * calls.c (compute_argument_addresses): Override alignment of stack
4040 arg calculated from its type with the alignment given by
4041 FUNCTION_ARG_BOUNDARY.
4042 (store_one_arg): Likewise.
4044 2005-01-11 Jan Beulich <jbeulich@novell.com>
4046 * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
4047 Change respective itanium_class attribute to ialu.
4048 (shladdp4_internal): New.
4049 * config/ia64/predicates.md (shladd_log2_operand): New.
4051 2005-01-11 Richard Henderson <rth@redhat.com>
4053 * expr.c (store_constructor): Use rtvec_alloc instead of
4054 alloca+gen_rtvec_v, and an incorrect number passed to alloca.
4056 2005-01-11 Kazu Hirata <kazu@cs.umass.edu>
4058 * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
4060 2005-01-11 Alan Modra <amodra@bigpond.net.au>
4062 * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
4063 * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
4064 (TARGET_RWRELOC): Define.
4065 (ia64_rwreloc_section_type_flags): Delete.
4066 (ia64_section_type_flags): New function.
4067 * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
4068 (TARGET_RWRELOC): Define.
4070 2005-01-10 David Mosberger <davidm@hpl.hp.com>
4073 * config/ia64/ia64.c (process_set): For alloc insn, only call
4074 process_epilogue is !frame_pointer_needed.
4076 2005-01-10 Roger Sayle <roger@eyesopen.com>
4079 * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
4080 unary operator and can't be treated as a binary/comparison operator.
4082 2005-01-10 Richard Henderson <rth@redhat.com>
4084 * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
4085 (ix86_return_in_memory): Likewise.
4086 (function_arg_advance): Likewise. Mirror structure in function_arg
4087 for choosing register to advance.
4089 2005-01-10 Kazu Hirata <kazu@cs.umass.edu>
4091 * tree-vectorizer.c, tree.def: Fix comment typos.
4093 2005-01-10 Mark Dettinger <dettinge@de.ibm.com>
4095 * config/s390/s390.c (struct processor_costs): 4 new fields:
4096 ddbr, ddr, debr, der.
4097 (s390_rtx_costs): More precise handling of divide instructions.
4099 2005-01-10 David Edelsohn <edelsohn@gnu.org>
4101 * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
4103 2005-01-10 Jan Beulich <jbeulich@novell.com>
4105 * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
4106 names resulting from -ffunction-sections/-fdata-sections and linkonce
4108 * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
4109 based on the section name. Rearrange the section name comparison logic
4110 slightly so that each section name is compared against at most once.
4112 2005-01-10 Ben Elliston <bje@au.ibm.com>
4114 * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
4115 targets for which -fPIC reduces limitations on the GOT size.
4117 2005-01-09 Falk Hueffner <falk@debian.org>
4119 * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
4122 2005-01-09 David Edelsohn <edelsohn@gnu.org>
4125 * collect2.c (main): Set aixrtl_flag for -brtl option.
4126 (resolve_lib_name): Search for .so file extension before .a
4129 2005-01-09 Dorit Naishlos <dorit@il.ibm.com>
4131 * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
4132 (vect_analyze_data_refs_alignment): Add dump prints.
4134 2005-01-09 Ira Rosen <irar@il.ibm.com>
4136 * tree-vectorizer.c (vect_analyze_offset_expr): Use
4137 expr_invariant_in_loop_p.
4138 Initialize outputs first thing in the function.
4139 (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
4140 (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
4141 (vect_analyze_pointer_ref_access): Check that the initial condition of
4142 the access function is loop invariant.
4144 2005-01-09 Richard Henderson <rth@redhat.com>
4146 * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
4147 (ix86_expand_builtin): Likewise. Frob MASKMOVQ wrt the input mem
4148 just like MASKMOVDQU. Return plain zero for MMX_ZERO.
4149 * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
4150 mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
4151 movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
4152 movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
4153 sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
4154 ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
4155 mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
4156 mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
4157 sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
4158 mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
4159 mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
4160 gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
4161 ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
4162 mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
4163 mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
4164 mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
4165 eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
4166 pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
4167 pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
4168 pswapdv2sf2): Move to mmx.md; rename as necessary with leading
4170 (mmx_clrdi, pavgusb): Remove.
4171 (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
4172 with leading sse_ prefix.
4173 * config/i386/sse.md: Receive them.
4174 * config/i386/mmx.md: New file.
4175 (MMXMODE12, MMXMODE24, mmxvecsize): New.
4176 (subrv2sf3): Turn into expander for normal subtraction.
4177 (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
4178 mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
4179 mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
4180 mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
4181 commutative; use ix86_binary_operator_ok.
4182 (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
4183 mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
4184 mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
4185 mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
4186 mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
4187 Macroize from existing patterns; use ix86_binary_operator_ok.
4188 (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
4189 (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
4190 mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise. Model
4191 with vec_select+vec_concat.
4192 (mmx_pshufw, mmx_pshufw_1): Likewise.
4193 (mmx_uavgv8qi3): Merge pavgusb. Model correcty.
4194 (mmx_uavgv4hi3): Model correctly.
4195 * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
4196 _mm_xor_si64): Remove casts.
4198 2005-01-09 Zdenek Dvorak <dvorakz@suse.cz>
4200 PR tree-optimization/19224
4201 * tree-scalar-evolution.c (get_instantiated_value,
4202 set_instantiated_value): New functions.
4203 (instantiate_parameters_1): Cache the results.
4204 (instantiate_parameters, resolve_mixers): Initialize and free
4207 2005-01-08 David Edelsohn <edelsohn@gnu.org>
4209 * config/i386/i386.md (addhi_4): Correct reference in comment.
4212 2005-01-08 Richard Henderson <rth@redhat.com>
4214 * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
4215 (_mm_cvtsi128_si64x): Likewise.
4216 (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
4217 _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
4218 the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
4219 * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
4220 * config/i386/i386-protos.h: Update.
4221 * config/i386/i386.c (print_operand): Add 'H'.
4222 (ix86_fixup_binary_operands): Split out from ...
4223 (ix86_expand_binary_operator): ... here.
4224 (ix86_fixup_binary_operands_no_copy): New.
4225 (ix86_expand_fp_absneg_operator): Handle vector mode results.
4226 (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
4227 (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
4228 (safe_vector_operand): Use CONST0_RTX.
4229 (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
4230 (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
4231 CODE_FOR_sse2_maskmovdqu. Special case SSE version of MASKMOVDQU
4232 expansion. Update names for sse{,2,3}_ prefixes. Remove *maskncmp*
4234 * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
4235 (IX86_BUILTIN_CMPNGESS): New.
4236 * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
4237 (attr type): Add sselog1.
4238 (attr unit, attr memory): Handle it.
4239 (movti, movti_internal, movti_rex64): Move near other integer moves.
4240 (movtf, movtf_internal): Move near other fp moves.
4241 (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
4242 vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
4243 movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
4244 movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
4245 sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
4246 sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
4247 sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
4248 mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
4249 rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
4250 sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
4251 sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
4252 sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
4253 vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
4254 smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
4255 cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
4256 cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
4257 vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
4258 vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
4259 sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
4260 sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
4261 cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
4262 cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
4263 cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
4264 cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
4265 ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
4266 subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
4267 smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
4268 sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
4269 sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
4270 sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
4271 gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
4272 ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
4273 ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
4274 sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
4275 sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
4276 sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
4277 sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
4278 sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
4279 sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
4280 sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
4281 mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
4282 addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
4283 movsldup, lddqu, loadddup, movddup): Move to sse.md. Any with
4284 non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
4286 (SSEPUSH, push<SSEPUSH>): Remove.
4287 (MMXPUSH, push<MMXPUSH>): Remove.
4288 (sse_movaps, sse_movaps_1, sse_movups): Remove.
4289 (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
4290 (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
4291 (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
4292 (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
4293 (maskncmpv2df3, vmmaskncmpv2df3): Remove.
4294 (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
4295 (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
4296 * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
4297 (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
4298 * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
4299 (ppro_sse_log_V4SF_load): Similarly. Handle sselog1.
4300 (ppro_sse_log_V4SF): Handle sselog1.
4301 * config/i386/predicates.md (const_0_to_1_operand): New.
4302 (const_0_to_255_mul_8_operand): New.
4303 (const_1_to_31_operand): Rename from const_int_1_31_operand.
4304 (const_2_to_3_operand, const_4_to_7_operand): New.
4305 * config/i386/sse.md: New file.
4306 (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
4307 (sse_movups): Rename from sse_movups_1.
4308 (sse_loadlss): Rename from sse_loadss_1.
4309 (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
4311 (negv4sf2): Use ix86_expand_fp_absneg_operator.
4312 (absv4sf2, negv2df, absv2df): New.
4313 (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
4314 (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
4315 iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
4316 smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
4317 umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
4318 (sse3_addsubv4sf3): Model correctly.
4319 sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
4320 sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
4321 (sse_movhlps): Model with vec_select+vec_concat.
4322 (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
4323 sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
4324 sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
4325 sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
4326 sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
4327 sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
4328 sse2_pshufhw_1): Likewise.
4329 (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
4330 (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
4331 sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
4332 ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
4333 sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
4334 ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
4335 (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
4336 sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
4337 mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
4338 sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
4339 sminv8hi3): Mark commutative
4340 operands. Use ix86_binary_operator_ok.
4341 (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
4342 sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
4343 sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
4344 sse2_punpcklqdq): Allow operand2 in memory.
4345 (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
4346 sse2_movsd): Add memory alternatives.
4347 (sse_storelps): Turn expander into an insn; split after reload.
4348 (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
4349 (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
4351 2005-01-08 Eric Botcazou <ebotcazou@libertysurf.fr>
4353 * configure.ac (DWARF-2 debug_line): Use objdump.
4354 * configure: Regenerate.
4356 2005-01-08 Jeff Law <law@redhat.com>
4357 Diego Novillo <dnovillo@redhat.com>
4359 PR tree-optimization/18241
4360 * tree-nrv.c (tree_nrv): Ignore volatile return values.
4361 * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
4362 statements with volatile operands.
4363 * tree-ssa-operands.c (add_stmt_operand): Do add volatile
4364 operands after marking a statement with has_volatile_ops.
4366 2005-01-08 Roger Sayle <roger@eyesopen.com>
4368 * tree.c (int_fits_type_p): Always honor integer constant
4369 TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
4371 2005-01-08 Roger Sayle <roger@eyesopen.com>
4373 * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
4374 the latent bug in rtl_delete_block has been resolved.
4376 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
4378 * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
4379 (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
4381 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
4383 * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
4384 library as @multilib_dir@/$(SHLIB_SONAME).
4386 2005-01-07 Eric Botcazou <ebotcazou@libertysurf.fr>
4388 * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
4389 * configure: Regenerate.
4391 2005-01-07 Jakub Jelinek <jakub@redhat.com>
4393 * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
4396 2005-01-07 David Edelsohn <edelsohn@gnu.org>
4399 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
4400 Convert non-word aligned offset address using ld/std into
4403 2005-01-07 Richard Henderson <rth@redhat.com>
4405 * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
4407 2005-01-07 Richard SAndiford <rsandifo@redhat.com>
4409 * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
4411 2005-01-07 Jakub Jelinek <jakub@redhat.com>
4413 PR tree-optimization/19283
4414 * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
4415 is not shorter than the original type.
4417 PR rtl-optimization/19012
4418 * config/i386/i386.md (addqi_1_slp): Set memory attribute.
4420 PR rtl-optimization/18861
4421 * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
4422 (FULL_STATE): Define.
4423 (mark_tablejump_edge): New function.
4424 (purge_dead_tablejump_edges): New function.
4425 (find_bb_boundaries): Use it.
4427 PR tree-optimization/18828
4428 * builtins.c (expand_builtin_next_arg): Remove argument and all
4429 the argument checking.
4430 (expand_builtin): Adjust caller.
4431 (expand_builtin_va_start): Likewise. Remove error for too many
4433 (fold_builtin_next_arg): Issue error for too many arguments.
4434 After checking arguments, replace them with magic arguments that
4435 prevent further checking of the args.
4437 2005-01-06 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
4439 * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
4441 2005-01-06 Roger Sayle <roger@eyesopen.com>
4444 * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
4445 and %{.S:...} (and their negative variants) to test whether the
4446 input file is assembler or pre-processed-assembler independent of
4447 the actual filename extension.
4449 2005-01-06 Roger Sayle <roger@eyesopen.com>
4451 * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
4452 of sign or zero extended values.
4454 2005-01-06 Geoffrey Keating <geoffk@apple.com>
4456 * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
4457 for IBM long double format correctly.
4459 2005-01-06 Daniel Berlin <dberlin@dberlin.org>
4461 Fix PR tree-optimization/18792
4463 * tree-data-ref.c (build_classic_dist_vector): Change first_loop
4464 to first_loop_depth, and use loop depth instead of loop number.
4465 (build_classic_dir_vector): Ditto.
4466 (compute_data_dependences_for_loop): Use depth, not loop number.
4467 * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
4468 number. Pass in loops, instead of loop numbers.
4469 (gather_interchange_stats): Ditto.
4470 (linear_transform_loops): Ditto.
4472 2005-01-06 Richard Sandiford <rsandifo@redhat.com>
4475 * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
4476 biv_fits_mode_p, extension_within_bounds_p): New functions.
4477 (check_ext_dependent_givs): Use them.
4479 2005-01-06 Roger Sayle <roger@eyesopen.com>
4481 * cfgrtl.c (rtl_delete_block): A basic block may be followed by
4482 more than one barrier, in which case we should delete them all.
4484 2005-01-06 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
4486 * gcc.c (process_command): Change year in 'gcc --version' to 2005.
4488 2005-01-05 Daniel Berlin <dberlin@dberlin.org>
4490 Fix PR middle-end/19286
4492 * dwarf2out.c (gen_subprogram_die): If we've already tried to
4493 output this subprogram, simply ignore this attempt to do it again.
4494 (add_abstract_origin_attribute): Don't abort trying to add the abstract
4495 origin attribute if it's not possible.
4496 (gen_block_die): Don't ignore subblocks of "unused" blocks.
4497 (decls_for_scope): Ditto.
4498 * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
4499 (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
4501 2005-01-05 Richard Henderson <rth@redhat.com>
4504 * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
4505 (bdesc_2arg): Use it.
4506 (ix86_expand_binop_builtin): Force operands into registers
4508 (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
4509 ix86_expand_sse_compare, ix86_expand_sse_comi,
4510 ix86_expand_builtin): Likewise.
4512 2005-01-05 Richard Henderson <rth@redhat.com>
4514 * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
4516 * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
4517 (mulv4hi3): Set itanium_class mmmul.
4518 (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
4519 (fpack): Rename from fpack_sfsf.
4521 2005-01-05 Richard Henderson <rth@redhat.com>
4524 * reload1.c (do_input_reload): Restrict the optimization deleteing
4525 a previous output reload to RELOAD_FOR_INPUT.
4527 2005-01-05 Steven Bosscher <stevenb@suse.de>
4529 * combine.c (expand_compound_operation) <ZERO_EXTRACT>: Add
4530 comment that we fall through after case.
4531 (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
4532 (distribute_links): Likewise.
4533 * cse.c (cse_insn): Likewise.
4534 * cselib.c (cselib_invalidate_mem): Likewise.
4535 * df.c: Update comments at the top of the file.
4536 (read_modify_subreg_p): Update comments here too.
4537 (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
4538 * flow.c (mark_set_1): Likewise.
4539 (mark_used_regs): Likewise.
4540 * gcse.c (mems_conflict_for_gcse_p): Likewise.
4541 (canon_list_insert): Likewise.
4542 (mark_set): Likewise.
4543 (try_replace_reg): Likewise.
4544 (store_killed_in_insn): Likewise.
4545 * loop.c (count_one_set): Likewise.
4546 (basic_induction_var): Likewise.
4547 * postreload-gcse.c (find_mem_conflicts): Likewise.
4548 * postreload.c (reload_combine_note_store): Likewise.
4549 (move2add_note_store): Likewise.
4550 * reload.c (find_equiv_reg): Likewise.
4551 (mark_referenced_resources): Likewise.
4552 * rtlanal.c (set_noop_p): Likewise.
4553 (note_stores): Likewise.
4554 (note_uses): Likewise.
4555 * sched-deps.c (sched_analyze_1): Likewise.
4556 * sched-rgn.c (check_live_1): Likewise.
4557 (update_live_1): Likewise.
4558 * config/i860/i860.c: Likewise.
4560 * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
4562 (ZERO_EXTRACT): Mention that this one can be an lvalue.
4564 * doc/rtl.texi: Update documentation for bit-fields and SET.
4566 2005-01-05 Roger Sayle <roger@eyesopen.com>
4568 * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
4570 2005-01-05 Jan Hubicka <jh@suse.cz>
4571 Richard Henderson <rth@redhat.com>
4574 * config/i386/i386.c (ix86_expand_move): Handle tls symbols
4577 2005-01-05 Richard Henderson <rth@redhat.com>
4580 * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
4581 (sse_shufps): Change operand 3 to const_int_operand.
4582 (sse2_storelps): Fix typo in template.
4583 (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
4584 * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
4585 (ix86_expand_builtin): Likewise.
4587 2005-01-05 Julian Brown <julian@codesourcery.com>
4589 * config/arm/arm.c (arm_return_in_memory): Treat complex types
4590 as aggregates for AAPCS ABIs.
4592 2005-01-05 Stan Shebs <shebs@apple.com>
4594 * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
4595 Mach-O getters if ppc64.
4596 * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
4598 * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
4599 signed four-byte field for global code case.
4600 (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
4602 2005-01-05 Roger Sayle <roger@eyesopen.com>
4605 * c-common.c: Include real.h.
4606 (c_common_truthvalue_conversion): Avoid destructively modifying expr.
4607 Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
4608 Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
4609 * Makefile.in (c-common.o): Update dependencies.
4611 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
4613 * c-parse.in (asm_string): Add trailing semicolon.
4615 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
4617 * c-parse.in (asm_string): New. Don't allow wide strings in
4619 (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
4620 asm_string instead of STRING.
4622 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
4624 * c-typeck.c (constructor_no_implicit): Remove.
4625 (set_designator, process_init_element): Don't check
4626 constructor_no_implicit.
4628 2005-01-05 J"orn Rennecke <joern.rennecke@st.com>
4629 Kaz Kojima <kkojima@gcc.gnu.org>
4632 * lcm.c (create_pre_exit): New.
4633 (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
4634 ENTRY_EXIT_EXTRA to 3. Use create_pre_exit.
4636 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
4638 * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
4639 -msoft-float in target_float_switch.
4640 * arm.c (arm_override_options): Fix processing of target_float_switch.
4642 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
4644 * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
4647 2004-01-05 Uros Bizjak <uros@kss-loka.si>
4649 * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
4650 Replace i387 with 'i386 compiler' in -mfpmath=sse option.
4652 2005-01-04 Roger Sayle <roger@eyesopen.com>
4654 * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
4655 if deleting the then-block allows the test-block to fallthru to the
4658 2005-01-04 Andrew Pinski <pinskia@physics.uc.edu>
4661 * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
4662 after the full declaration if the are in two different TUs.
4664 2005-01-04 Richard Henderson <rth@redhat.com>
4667 * tree-sra.c (generate_one_element_init): Just
4668 call gimplify_and_add.
4669 (generate_element_init): Record the
4670 new referenced variables and mark them for renaming
4671 and split out to ...
4672 (generate_element_init_1): This.
4673 (scalarize_init): Don't call push_gimplify_context/
4674 pop_gimplify_context.
4676 2005-01-04 Geoffrey Keating <geoffk@apple.com>
4678 * toplev.c (get_src_pwd): Handle failure of getpwd().
4680 2005-01-04 Roger Sayle <roger@eyesopen.com>
4682 * fold-const.c (fold_single_bit_test): Delete unreachable handling
4684 (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
4685 all the cases handled by it are inverted by invert_truthvalue.
4687 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
4689 * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
4690 (save_register_windowsi): Likewise.
4692 2005-01-04 Richard Henderson <rth@redhat.com>
4694 * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
4696 2005-01-04 Uros Bizjak <uros@kss-loka.si>
4699 * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
4700 any simplifications of vector mode comparison operators.
4701 * simplify-rtx.c (simplify_relational_operation): Fix variable name.
4703 2005-01-04 Paolo Bonzini <bonzini@gnu.org>
4704 Devang Patel <dpatel@apple.com>
4706 PR tree-optimization/18308
4707 * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
4708 the operands before creating a new expression.
4709 * dojump.c (do_jump): Make drop_through_label available
4710 for all cases. Add expansion of COND_EXPR.
4712 2005-01-04 Ira Rosen <irar@il.ibm.com>
4714 * tree-vectorizer.c (vect_analyze_offset_expr): Test for
4715 INTEGER_CST instead of TREE_CONSTANT.
4716 (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
4717 instead of TREE_CONSTANT.
4718 (vect_analyze_pointer_ref_access): Test for INTEGER_CST
4719 instead of TREE_CONSTANT.
4721 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
4723 * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
4725 2005-01-04 Uros Bizjak <uros@kss-loka.si>
4728 * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
4729 (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
4731 2005-01-03 Richard Henderson <rth@redhat.com>
4733 * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
4734 (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
4735 fold_convert_const_real_from_real): Split out from ...
4736 (fold_convert_const): ... here.
4738 2005-01-03 Richard Henderson <rth@redhat.com>
4741 * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
4742 (mov<MMXMODEI>_internal): Likewise.
4743 (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
4744 Add V2SF case; use it for SSE1; don't use TI.
4745 (movdf_integer): Likewise.
4746 (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
4748 2005-01-03 Ira Rosen <irar@il.ibm.com>
4750 * tree-vectorizer.c (vect_strip_conversions): New function.
4751 (vect_analyze_offset_expr): Call vect_strip_conversions. Add
4752 check for binary class.
4754 2005-01-03 Daniel Berlin <dberlin@dberlin.org>
4758 * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
4760 * gimple-low.c (mark_blocks_with_used_vars): New function.
4761 (mark_blocks_with_used_subblocks): Ditto.
4762 (mark_used_blocks): Ditto.
4763 (pass_mark_used_blocks): New pass.
4764 * tree-inline.c: Include debug.h.
4765 (expand_call_inline): Call outlining_inline_function here.
4766 * tree-optimize.c (init_tree_optimization_passes): Add
4767 pass_mark_used_blocks.
4768 * tree-pass.h (pass_mark_used_blocks): New.
4769 * Makefile.in (tree-inline.o): Add debug.h dependency.
4771 2005-01-03 Geoffrey Keating <geoffk@apple.com>
4773 * config/darwin.c (darwin_handle_weak_import_attribute): Permit
4774 VAR_DECLs to have weak_import attribute.
4776 * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
4779 2004-01-03 Steven Bosscher <stevenb@suse.de>
4781 * passes.c (rest_of_compilation): Don't run regmove if only
4782 flag_expensive_optimizations, require flag_regmove instead.
4784 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
4786 * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
4788 * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
4789 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4790 * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
4791 * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
4793 2005-01-03 Richard Henderson <rth@redhat.com>
4795 * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
4796 (ia64_const_ok_for_letter_p): New.
4797 (ia64_const_double_ok_for_letter_p): New.
4798 (ia64_extra_constraint): New.
4799 (ia64_expand_vecint_compare): New.
4800 (ia64_expand_vcondu_v2si): New.
4801 (ia64_expand_vecint_cmov): New.
4802 (ia64_expand_vecint_minmax): New.
4803 (ia64_print_operand): Add 'v'.
4804 (ia64_preferred_reload_class): New.
4805 (ia64_vector_mode_supported_p): New.
4806 * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
4807 (PREFERRED_RELOAD_CLASS): Move to function.
4808 (CONST_OK_FOR_LETTER_P): Move to function.
4809 (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
4810 (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
4811 (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
4812 (EXTRA_CONSTRAINT): Move to function.
4813 * config/ia64/ia64.md: Include vect.md.
4814 (itanium_class): Add mmalua.
4816 * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses.
4818 * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
4819 * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
4821 (const_int_2bit_operand): New.
4822 (fr_reg_or_0_operand): New.
4823 * config/ia64/ia64-modes.def: Add vector modes.
4824 * config/ia64/ia64-protos.h: Update.
4825 * config/ia64/vect.md: New file.
4827 2005-01-03 Richard Henderson <rth@redhat.com>
4829 * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
4831 2005-01-03 Uros Bizjak <uros@kss-loka.si>
4834 * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
4836 (log1pdf2): Change mode of operands[0,1] to DFmode.
4838 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
4840 * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
4841 * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
4842 * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
4843 * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
4844 SPARC_RELAXED_ORDERING.
4846 2005-01-03 Richard Henderson <rth@redhat.com>
4847 Uros Bizjak <uros@kss-loka.si>
4850 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
4851 IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
4852 * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
4854 (*mmx_pinsrw, *sse2_pinsrw): New patterns.
4855 * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
4856 const_pow2_1_to_128_operand): New predicates.
4858 2005-01-02 Greg McGary <greg@mcgary.org>
4860 * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
4862 (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
4863 object. [ptr_type]: Remove unused variable.
4864 Remember nearest addressable array-element or record-component
4865 when checking bitfield components. Tolerate empty BIND_EXPR.
4867 2005-01-01 Richard Henderson <rth@redhat.com>
4869 * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
4870 that don't narrow the value. Fail for other conversions.
4872 2005-01-01 Richard Henderson <rth@redhat.com>
4875 * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
4876 * c-lang.c (finish_file): Don't do it here.
4877 * objc/objc-act.c (objc_finish_file): Likewise.
4879 * cgraph.c (decl_assembler_name_equal): New.
4880 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
4881 (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
4882 * cgraph.h (struct cgraph_varpool_node): Add next.
4883 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
4884 * varasm.c (assemble_alias): Mark the target as needed.
4886 2005-01-01 Andrew Pinski <pinskia@physics.uc.edu>
4889 * function.c (get_arg_pointer_save_area): Use entry_of_function
4890 instead of get_insns.
4892 2005-01-01 Roger Sayle <roger@eyesopen.com>
4893 Andrew Pinski <pinskia@physics.uc.edu>
4894 James E. Wilson <wilson@specifixinc.com>
4896 PR rtl-optimization/12092
4897 * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
4900 2005-01-01 Roger Sayle <roger@eyesopen.com>
4901 Olivier Hainque <hainque@act-europe.fr>
4903 * tree.c (int_fits_type_p): A narrower type always fits in a
4904 wider one, except for negative values into unsigned types.
4906 2005-01-01 Roger Sayle <roger@eyesopen.com>
4908 * tree.c (int_fits_type_p): Compare the result of force_fit_type
4909 with the original constant rather than require TREE_OVERFLOW.
4911 2005-01-01 Steven Bosscher <stevenb@suse.de>
4914 * c-decl.c (finish_function): If compiling C99, annotate the
4915 compiler generated return with the current file name and line 0.
4916 * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
4917 the source line is greater than 0.
4918 (remove_bb): Likewise.
4920 See ChangeLog.12 for earlier changes.