OSDN Git Service

* sbitmap.c (sbitmap_union_of_preds): Set 'e' to the next edge predecessor in
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index de6cbda..f01b7f3 100644 (file)
@@ -1,3 +1,186 @@
+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