OSDN Git Service

* sbitmap.c (sbitmap_union_of_preds): Set 'e' to the next edge predecessor in
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 4739006..f01b7f3 100644 (file)
@@ -1,3 +1,457 @@
+2004-11-22  Nick Clifton  <nickc@redhat.com>
+
+       * sbitmap.c (sbitmap_union_of_preds): Set 'e' to the next edge
+       predecessor in the first for-loop.
+
+2004-11-21  Stan Shebs  <shebs@apple.com>
+
+       * config/rs6000/rs6000.c: (rs6000_darwin64_function_arg): Add
+       UNION_TYPE case.
+       (function_arg): Move darwin test up, sniff mode first for
+       efficiency, test for union type.
+
+2004-11-21  Dale Johannesen  <dalej@apple.com>
+
+       * config/darwin.h (JUMP_TABLES_IN_TEXT_SECTION):  Define.
+
+2004-11-21  Jeff Law  <law@redhat.com>
+
+       * tree-ssa.c (verify_use): Fix comment.
+       (verify_phi_args): Check that the number of incoming edges matches
+       the number of PHI arguments.  Check that each PHI argument is
+       either an SSA_NAME or an invariant.  Coalesce tests for PHIs for
+       dead or duplicated edges.  Clear e->aux earlier and avoid separate
+       loop to clear e->aux and test for missed edges.
+       (verify_ssa): Remove first walk over statements.  Move checking
+       of PHI args into verify_phi_args.  Move checking of statements
+       with aliased stores and V_MAY_DEFS into the remaining loop over
+       the statements.  Register defs by walking through the formal
+       SSA_NAME table.
+
+2004-11-21  Roger Sayle  <roger@eyesopen.com>
+
+       PR middle-end/18520
+       * dojump.c (compare_from_rtx): Clarify mode argument in function
+       description.  Correct order of mode/cmp_mode arguments in call to
+       simplify_relational_operation.  Check "tem" for COMPARISON_P.
+
+2004-11-21  Paolo Bonzini  <bonzini@gnu.org>
+           David Edelsohn  <edelsohn@gnu.org>
+
+       PR target/17836
+       * config/rs6000/rs6000.c (rs6000_return_in_memory): Return
+       synthetic vectors in memory.
+       (function_arg_boundary): Align large synthetic vectors.
+       (rs6000_pass_by_reference): Pass synthetic vectors in memory.
+
+2004-11-21  Jeff Law  <law@redhat.com>
+
+       * cfg.c (update_bb_profile_for_threading): Do not rescale the
+       successor probabilities if they are not going to change.  Pull
+       division out of loop if we do need to rescale successor probabilities.
+
+       * tree-ssa-threadupdate.c (redirection_data_hash): Use the
+       index of the destination block for the hash value rather than
+       hashing a pointer.
+
+2004-11-20  Joseph S. Myers  <joseph@codesourcery.com>
+
+       * c-typeck.c (build_array_ref): Don't check for index == 0.  Make
+       checks for neither argument being an array or pointer (swapping
+       the arguments if necessary), the array argument being a pointer to
+       or array of functions and for -Wchar-subscripts warnings upfront.
+
+2004-11-20  Jeff Law  <law@redhat.com>
+
+       * regrename.c (copyprop_hardreg_forward): Only search for a
+       previously processed block if the current block only has one
+       predecessor.
+
+2004-11-20  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * tree-ssa-threadupdate.c, tree-vectorizer.c: Fix comment
+       typos.
+       * config/arm/arm.c: Follow spelling conventions.
+
+2004-11-20  Richard Earnshaw  <rearnsha@arm.com>
+
+       * arm.c (arm_override_options): Use arm_ld_sched rather than testing
+       a bit in tune_flags.
+       (const_double_needs_minipool): Likewise.  Split most of the code out
+       into ...
+       (arm_const_double_inline_cost): ... new function here.
+       * arm-protos.h (arm_const_double_inline_cost): Add prototype.
+       * arm.h (EXTRA_CONSTRAINT_STR_ARM): Add D[abc] constraints for double-
+       word constants of length 2, 3 and 4 insns respectively.
+       (CONSTRAINT_LEN): The 'D' prefix is a 2-letter constraint.
+       * arm.md (arm_movdi, movdf_soft_insn): Add alternatives for D[abc]
+       constraints.  Set insn lenghts accordingly.
+
+2004-11-19  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-threadupdate.c: Replace REDIRECTION_DATA varray with
+       a hash table.  Extensive modifications throughout to support
+       that change.
+       (struct el): New.
+       (struct local_info): New.
+       (struct redirection_data): Add new INCOMING_EDGES and DO_NOT_DUPLICATE
+       fields.
+       (redirection_data): Now a hashtable.
+       (redirection_data_hash, redirection_data_eq): New.
+       (lookup_redirection_data, create_duplicates): New.
+       (create_edge_and_update_destionation_phis): New.
+       (fixup_template_block, redirect_edges): New.
+       (thread_block): Use hash table traversals instead of loops over
+       varray entries or incoming edge vectors.
+
+2004-11-19  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * basic-block.h (edge_def): Add dest_idx.
+       * cfg.c (unchecked_make_edge): Initialize dest_idx.
+       (remove_edge): Simplify the disconnection of an edge from its
+       destination.
+       (redirect_edge_succ): Likewise.
+       * cfghooks.c (verify_flow_info): Check the consistency of
+       dest_idx for each edge.
+
+2004-11-19  Aldy Hernandez  <aldyh@redhat.com>
+
+        * simplify-rtx.c (simplify_ternary_operation): Use
+        gen_int_mode.
+
+2004-11-19  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * tree-cfg.c (reinstall_phi_args): New.
+       (tree_split_edge): Use it after redirecting an edge.  Don't
+       modify PHI_ARG_EDGE.
+
+2004-11-19  Andreas Tobler  <a.tobler@schweiz.ch>
+
+       * tree-vectorizer.c (slpeel_verify_cfg_after_peeling): Define only
+       if checking is enabled.
+
+2004-11-19  Joseph S. Myers  <joseph@codesourcery.com>
+
+       * c-decl.c (push_scope): Remove "\n" from end of diagnostic for
+       too many nested scopes.
+
+2004-11-19  Dorit Naishlos  <dorit@il.ibm.com>
+
+       PR tree-opt/18181
+       * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Peeling scheme
+       changed to suppoer uses-after-loop and to void creating flow paths
+       that shouldn't exist.
+       (slpeel_update_phi_nodes_for_guard): Takes additional two arguments.
+       Modified to fit the new peeling scheme. Avoid quadratic behavior.
+       (slpeel_add_loop_guard): Takes additional argument.
+       (slpeel_verify_cfg_after_peeling): New function.
+       (vect_update_ivs_after_vectorizer): Takes additional argument. Updated
+       documentation. Use 'exit-bb' instead of creating 'new-bb'.
+       (rename_variables_in_bb): Don't update phis for BBs out of loop, to fit
+       the new peeling scheme.
+       (copy_phi_nodes): Function removed. Its functionality moved to
+       update_phis_for_duplicate_loop.
+       (slpeel_update_phis_for_duplicate_loop): Functionality of copy_phi_nodes
+       moved here. Added documentation. Modified to fit the new peeling scheme.
+       (slpeel_make_loop_iterate_ntimes): Setting loop->single_exit not not
+       needed - done in slpeel_tree_peel_loop_to_edge.
+       (slpeel_tree_duplicate_loop_to_edge_cfg): Debug printouts compacted.
+       (vect_do_peeling_for_loop_bound): Add documentation. Call
+       slpeel_verify_cfg_after_peeling. Call vect_update_ivs_after_vectorizer
+       with additional argument.
+       (vect_do_peeling_for_alignment): Call slpeel_verify_cfg_after_peeling.
+
+       (vect_finish_stmt_generation): Avoid 80 column oveflow.
+
+2004-11-19  Dorit Naishlos  <dorit@il.ibm.com>
+
+       * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Last two
+       arguments removed.
+       (slpeel_tree_peel_loop_to_edge): Call slpeel_make_loop_iterate_ntimes
+       without last two arguments. Update single_exit of loops.
+       (vect_update_niters_after_peeling): Removed. Its functionality was
+       moved to vect_do_peeling_for_alignment. 
+       (vect_do_peeling_for_loop_bound): New name for function previously
+       called vect_transform_for_unknown_loop_bound.
+       (vect_transform_loop_bound): Call slpeel_make_loop_iterate_ntimes
+       instead of code that duplicates the same functionality.
+       (vect_do_peeling_for_alignment): Functionality of   
+       vect_update_niters_after_peeling moved here.
+       (vect_transform_loop): Unify call to vect_do_peeling_for_loop_bound -
+       previously named vect_transform_for_unknown_loop_bound - for both known
+       and unknown loop bound cases.
+
+2004-11-19  Dorit Naishlos  <dorit@il.ibm.com>
+
+       * tree-vectorizer.c (slpeel_can_duplicate_loop_p): New name for function
+       previously called verify_loop_for_duplication. All conditions compacted
+       into one compound condition. Removed debug dumps.
+       (vect_analyze_loop_with_symbolic_num_of_iters): Removed. Some of the
+       functionality moved to vect_can_advance_ivs_p, and some to
+       vect_analyze_loop_form.
+       (vect_can_advance_ivs_p): New function. Contains functionality that was
+       taken out of vect_analyze_loop_with_symbolic_num_of_iters.
+       (slpeel_tree_peel_loop_to_edge): Call slpeel_can_duplicate_loop_p.
+       (vect_analyze_operations): Call vect_can_advance_ivs_p and
+       slpeel_can_duplicate_loop_p.
+       (vect_get_loop_niters): Added documentation.
+       (vect_analyze_loop_form): Check the loop entry always - not only in case
+       of unknown loop bound. Create preheader and exit bb if necessary. Apply
+       a check that used to take place in
+       vect_analyze_loop_with_symbolic_num_of_iters.
+       (vectorize_loops): Call verify_loop_closed_ssa under ENABLE_CHECKING.
+       Remove redundant call to rewrite_into_loop_closed_ssa.
+       (vect_compute_data_refs_alignment): Removed obsolete comment.
+
+2004-11-19  Dorit Naishlos  <dorit@il.ibm.com>
+
+       * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): New name for
+       function previously called tree_duplicate_loop_to_edge.
+       (slpeel_tree_duplicate_loop_to_edge_cfg): New name for function
+       previously called tree_duplicate_loop_to_edge_cfg.
+       (slpeel_update_phis_for_duplicate_loop): Prefix 'slpeel' added to
+       function name.
+       (slpeel_update_phi_nodes_for_guard): Likewise.
+       (slpeel_make_loop_iterate_ntimes): Likewise.
+       (slpeel_add_loop_guard): Likewise.
+       (allocate_new_names, free_new_names): Function declaration moved to top
+       of file.
+       (rename_use_op, rename_def_op): Likewise.
+       (rename_variables_in_bb, rename_variables_in_loop): Likewise.
+       (vect_generate_tmps_on_preheader): Function declaration moved.
+       (vect_transform_for_unknown_loop_bound): Added missing function
+       declaration.
+
+2004-11-19  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR tree-opt/18507
+       * tree-flow.h (tree_on_heap): Typedef because there is already a VEC(tree).
+       Define a VEC(tree_on_heap) for head.
+       (register_new_def): Change second argument to be a VEC(tree_on_heap).
+       * tree-ssa-dom.c (block_defs_stack): Change to be a VEC(tree_on_heap).
+       (tree_ssa_dominator_optimize): Initialize block_defs_stack with
+       the VEC(tree_on_heap) function.  Also free it before returning.
+       (dom_opt_initialize_block): Use VEC_safe_push instead of VARRAY_PUSH_TREE
+       for block_defs_stack.
+       (restore_currdefs_to_original_value): Use VEC_length instead of
+       VARRAY_ACTIVE_SIZE. VEC_pop instead of VARRAY_TOP_TREE/VARRAY_POP.
+       (dom_opt_finalize_block): Use VEC_safe_push instead of VARRAY_PUSH_TREE
+       for block_defs_stack.
+       * tree-into-ssa.c (block_defs_stack): Change to be a VEC(tree_on_heap).
+       (rewrite_initialize_block): Use VEC_safe_push instead of VARRAY_PUSH_TREE
+       for block_defs_stack.
+       (ssa_register_new_def): Likewise.
+       (ssa_rewrite_initialize_block): Likewise.
+       (rewrite_finalize_block): Use VEC_length instead of
+       VARRAY_ACTIVE_SIZE. VEC_pop instead of VARRAY_TOP_TREE/VARRAY_POP.
+       (ssa_rewrite_finalize_block): Likewise.
+       (register_new_def): Change second argument to be a VEC(tree_on_heap).
+       Use VEC_safe_push instead of VARRAY_PUSH_TREE.
+       (rewrite_blocks): Initialize block_defs_stack with
+       the VEC(tree_on_heap) function.  Also free it before returning.
+       (rewrite_ssa_into_ssa): Likewise.
+
+2004-11-19  Fariborz Jahanian <fjahanian@apple.com>
+
+       * config/darwin.c (machopic_data_defined_p): return 1 for
+       MACHOPIC_DEFINED_FUNCTION.
+
+2004-11-19  Jeff Law  <law@redhat.com>
+
+       * tree-ssa.c (verify_ssa): Remove redundant checking of PHI
+       arguments.
+
+2004-11-19  Paul Brook  <paul@codesourcery.com>
+
+       PR target/17735
+       * varasm.c (default_assemble_integer): Allow pointer-sized values.
+       Expand comment.
+
+2004-11-19  Nick Clifton  <nickc@redhat.com>
+
+       * config/stormy16/stormy16.c (combine_bnp): Add code to handle
+       zero_extension and lshiftrt insns.
+       Replace uses of XEXP(...) with either SET_DEST() or SET_SRC()
+       where appropriate.
+       * config/stormy16.stormy16.md (bclrx3, bsetx3): New patterns
+       to handle bp and bn insn patterns with a zero_extend rtx
+       inside them.
+
+2004-11-19  Ian Lance Taylor  <ian@wasabisystems.com>
+
+       * config/arm/arm.md (generic_sched): Make const.
+
+2004-11-19  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * emit-rtl.c (classify_insn): Make it static.
+       * rtl.h: Remove the corresponding prototype.
+
+       * integrate.c (has_func_hard_reg_initial_val,
+       get_func_hard_reg_initial_val): Make them static.
+       * integrate.h: Remove the corresponding prototypes.
+
+2004-11-19  Ben Elliston  <bje@au.ibm.com>
+
+       * dwarf2asm.h (dw2_asm_output_pcel): Stub out with #if 0.
+       (dw2_asm_output_delta_sleb128): Likewise.
+       * dwarf2asm.c (dw2_asm_output_pcrel): Likewise.
+       (dw2_asm_output_delta_sleb128): Likewise.
+
+2004-11-19  Adam Nemet  <anemet@lnxw.com>
+
+       * tree-ssa-alias.c: Fix comment.
+
+2004-11-19  Kazu Hirata  <kazu@cs.umass.edu>
+
+       * tree-outof-ssa.c: Fix a comment typo.
+
+2004-11-19  Ben Elliston  <bje@au.ibm.com>
+
+       * predict.h (predict_insn): Remove extern declaration.
+       * predict.c (predict_insn): Make static.
+
+2004-11-19  Alan Modra  <amodra@bigpond.net.au>
+
+       * config/rs6000/rs6000.c (function_arg): Don't return BLKmode regs.
+
+2004-11-18  Nicolas Pitre <nico@cam.org>
+
+       * config/arm/arm.c (const_double_needs_minipool): New function to
+       determine if a CONST_DOUBLE should be pushed to the minipool.
+       (note_invalid_constants): Use it.
+
+2004-11-18  Paul Brook  <paul@codesourcery.com>
+
+       * config/arm/arm.c (target_float_switch): New variable..
+       (arm_override_options): Use TARGET_DEFAULT_FLOAT_ABI and
+       target_float_switch.
+       * config/arm/arm.h (target_float_switch): Declare.
+       (ARM_FLAG_SOFT_FLOAT): Remove.
+       (TARGET_SWITCHES): Remove hard-float and soft-float.
+       (TARGET_OPTIONS): Add hard-float and soft-float.
+       (TARGET_DEFAULT_FLOAT_ABI): Define.
+       * config/arm/coff.h (TARGET_DEFAULT_FLOAT_ABI): Define
+       (TARGET_DEFAULT): Don't use ARM_FLAG_SOFT_FLOAT.
+       * config/arm/elf.h: Don't use ARM_FLAG_SOFT_FLOAT.
+       * config/arm/netbsd-elf.h: Ditto.
+       * config/arm/netbsd.h: Ditto.
+       * config/arm/pe.h: Ditto.
+       * config/arm/unknown-elf.h: Ditto.
+       * config/arm/wince-pe.h: Ditto.
+       * config/arm/linux-elf.h (TARGET_DEFAULT_FLOAT_ABI): Define.
+       * config/arm/semi.h (TARGET_DEFAULT_FLOAT_ABI): Define.
+       * config/arm/semiaof.h (TARGET_DEFAULT_FLOAT_ABI): Define.
+
+2004-11-18  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * config/rs6000/altivec.md (VI, VF, V): New mode macros.
+       (altivec_lvx_4si, altivec_lvx_8hi, altivec_lvx_16qi,
+       altivec_lvx_4sf): Rename and replace with ...
+       (altivec_lvx_<mode>): ... mode macro version.
+       (altivec_stvx_4si, altivec_stvx_8hi, altivec_stvx_16qi,
+       altivec_stvx_4sf): Rename and replace with ... 
+       (altivec_stvx_<mode>): ... mode macro version.
+       (movv4si, movv8hi, movv16qi, movv4sf}): Replace with ...
+       (mov<mode>): ... mode macro version.
+       (*movv4si_internal, *movv8hi_internal1, *movv16qi_internal1,
+       *movv4sf_internal1): Replace with ...
+       (*mov<mode>_internal): ... mode macro version.
+       (get_vrsave_internal, *set_vrsave_internal, *save_world,
+       *restore_world): Unquote output statements.
+       * config/rs6000/rs6000.c (altivec_expand_ld_builtin,
+       altivec_expand_st_builtin): Adjust insn names.
+
+2004-11-18  Aldy Hernandez  <aldyh@redhat.com>
+
+       * config/rs6000/rs6000.c (rs6000_complex_function_value): Revert
+       previous change.
+       (rs6000_override_options): Likewise.
+       (spe_build_register_parallel): Handle complex doubles on e500v2.
+       (rs6000_spe_function_arg): Likewise.
+       (function_arg): Likewise.
+       (rs6000_function_value): Likewise.
+       (rs6000_libcall_value): Likewise.
+
+2004-11-18  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       * ifcvt.c (find_if_block): Move the check for the number of edges
+       above the loops checking for complex edges.
+       Remove the counting of edges as we use EDGE_COUNT now.
+
+2004-11-18  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.comn>
+
+       * config/m32r/linux.h (TARGET_ASM_FILE_END): Set
+       TARGET_ASM_FILE_END to file_end_indicate_exec_stack.3
+
+2004-11-18  Andreas Schwab  <schwab@suse.de>
+
+       * config/i386/i386.md (define_peephole2): Revert last change.
+
+2004-11-18  Kazuhiro Inaoka <inaoka.kazuhiro@renesas.comn>
+
+       * config/m32r/linux.h (TARGET_ASM_FILE_END): Set
+       TARGET_ASM_FILE_END to file_end_indicate_exec_stack.
+
+2004-11-18  Diego Novillo  <dnovillo@redhat.com>
+
+       * tree-ssa-propagate.c (ssa_prop_init): Use FOR_ALL_BB instead
+       of FOR_EACH_BB.
+
+2004-11-18  Jon Grimm <jgrimm2@us.ibm.com>
+
+       * Makefile.in (macro_list): Depend on s-macro_list.
+       (s-macro_list): New target.
+
+2004-11-18  Nathan Sidwell  <nathan@codesourcery.com>
+
+       PR target/17107
+       * fold-const.c (RANGE_TEST_NON_SHORT_CIRCUIT): Rename to ...
+       (LOGICAL_OP_NON_SHORT_CIRCUIT): ... here.
+       (fold_range_test): Adjust.
+       (fold_truthop): Use it.
+       * config/rs6000/rs6000.h (RANGE_TEST_NON_SHORT_CIRCUIT): Rename to ...
+       (LOGICAL_OP_NON_SHORT_CIRCUIT): ... here.
+
+2004-11-18  Uros Bizjak  <uros@kss-loka.si>
+
+        * configure/i386/i386.md (*fix_trunch_1): Add "&& 1" to
+        insn split constraint.
+        (define_peephole2): Remove unneeded "&& 1" from peephole2
+        constraints.
+
+2004-11-18  Ben Elliston  <bje@au.ibm.com>
+
+       * doc/cfg.texi (Maintaining the CFG): Remove duplicated @item
+       element for bsi_prev; use @findex instead.
+
+2004-11-18  Ben Elliston  <bje@au.ibm.com>
+
+       * opts.h (add_input_filename): Remove extern declaration.
+       * opts.c (add_input_filename): Make static.
+
+2004-11-17  Mark Mitchell  <mark@codesourcery.com>
+
+       * config/i386/i386.c (i386_solaris_elf_named_section): Mark with
+       ATTRIBUTE_UNUSED.
+  
+2004-11-17  Zack Weinberg  <zack@codesourcery.com>
+
+       * defaults.h, config/darwin.h: Don't define TARGET_SUPPORTS_HIDDEN.
+       * system.h: Poison it.
+       * doc/tm.texi: Delete its documentation.
+
+2004-11-18  Daniel Jacobowitz  <dan@codesourcery.com>
+           Mark Mitchell  <mark@codesourcery.com>
+
+       * config/i386/sol2-10.h, config/i386/t-sol2-10: New files.
+       * config/i386/i386.c (i386_solaris_elf_named_section): New
+       function.
+       * config.gcc (i[34567]86-*-solaris2*): Handle Solaris 2.10.
+       * config/i386/sol2.h (ASM_PREFERRED_EH_DATA_FORMAT): Handle
+       64-bit.
+       (ASM_QUAD): Don't undefine for biarch targets.
+       * config/i386/t-sol2: Introduce multilib support.
+
 2004-11-18  Ben Elliston  <bje@au.ibm.com>
 
        * cgraphunit.c: Replace "it's" with "its" and fix a typo.