-2004-11-18 Fariborz Jahanian <fjahanian@apple.com>
+2004-11-22 Nick Clifton <nickc@redhat.com>
+
+ * sbitmap.c (sbitmap_union_of_preds): Remove redundant
+ initialisation of 'e'.
+
+2004-11-22 Kazu Hirata <kazu@cs.umass.edu>
+
+ PR rtl-optimization/18599
+ * regrename.c (copyprop_hardreg_forward): Speed up by putting
+ BB_VISITED flags on basic blocks as we process them.
+
+2004-11-22 Nathan Sidwell <nathan@codesourcery.com>
+
+ * config/rs6000/altivec.md (VI_char): New mode attribute.
+ (addv16qi3, addv8hi3, addv4ai3): Replace with ...
+ (add<mode>3): ... this.
+ (subv16qi3, subv8hi3, subv4ai3): Replace with ...
+ (sub<mode>3): ... this.
+ (smaxv16qi3, smaxv8hi3, smaxv4ai3): Replace with ...
+ (smax<mode>3): ... this.
+ (sminv16qi3, sminv8hi3, sminv4ai3): Replace with ...
+ (smin<mode>3): ... this.
+ (umaxv16qi3, umaxv8hi3, umaxv4ai3): Replace with ...
+ (umax<mode>3): ... this.
+ (uminv16qi3, uminv8hi3, uminv4ai3): Replace with ...
+ (umin<mode>3): ... this.
+ (andv16qi3, andv8hi3, andv4ai3): Replace with ...
+ (and<mode>3): ... this.
+ (iorv16qi3, iorv8hi3, iorv4ai3): Replace with ...
+ (ior<mode>3): ... this.
+ (xorv16qi3, xorv8hi3, xorv4ai3): Replace with ...
+ (xor<mode>3): ... this.
+ (andv16qi3, andv8hi3, andv4ai3): Replace with ...
+ (and<mode>3): ... this.
+ (iorv16qi3, iorv8hi3, iorv4ai3): Replace with ...
+ (ior<mode>3): ... this.
+ (altivec_vnor): Replace with ...
+ (altivec_nor<mode>): ... this.
+ (one_cmplv16qi2, one_cmplv8hi2, one_complv4ai2): Replace with ...
+ (one_cmpl<mode>2): ... this.
+ (altivec_vandc): New expander.
+ (*andc<mode>3): New insn.
+ * config/rs6000/rs6000.c (bdesc_2arg): Adjust for new insn names.
+
+2004-11-22 Dorit Naishlos <dorit@il.ibm.com>
+
+ PR tree-opt/18536
+ * tree-vectorizer.c (make_loop_iterate_ntimes): Use type of niters when
+ creating iv instead of integer_type.
+ (vect_build_loop_niters): Remove redundant code.
+ (vect_transform_loop_bound): Removed (duplicates functionality of
+ make_loop_iterate_ntimes.
+ (vect_gen_niters_for_prolog_loop): Add documentation. Call
+ lang_hooks.types.type_for_size to create a type of the required size.
+ Use that type instead of integer_type. Remove redundant code.
+ (vect_update_niters_after_peeling): Use type of niters instead of
+ integer_type.
+ (vect_transform_loop): Unify handling of known and unknown loop bound
+ cases. Call make_loop_iterate_ntimes instead of
+ vect_transform_loop_bound.
+
+2004-11-22 Andrew Pinski <pinskia@physics.uc.edu>
+
+ PR target/18217
+ * config/rs6000/t-darwin (LIB2FUNCS_EXTRA): Move darwin-fallback.c to
+ (LIB2ADDEH): Here.
+
+2004-11-22 Dorit Naishlos <dorit@il.ibm.com>
+
+ PR tree-opt/18544
+ * tree-vectorizer.c (vect_analyze_data_refs): Fail if memtag not found.
+
+2004-11-22 Kazuhiro Inaoka <inaoka.kazuhiro@renesas.com>
+
+ * config.gcc: Use t-slibgcc-elf to build libgcc_s.so on
+ m32r*linux.
+ * config/m32r/t-linux (SHLIB_MAPFILES): Override to use
+ m32r/libgcc-glibc.ver.
+ * config/m32r/libgcc-glibc.ver: Add New file.
+
+2004-11-22 Nathan Sidwell <nathan@codesourcery.com>
+
+ * bitmap.h (struct bitmap_obstack): New obstack type.
+ (struct bitmap_head_def): Replace using_obstack with obstack
+ pointer.
+ (bitmap_default_obstack): New.
+ (bitmap_initialize): Make inline, does not do allocation.
+ (bitmap_release_memory): Remove.
+ (bitmap_obstack_initialize, bitmap_obstack_release): Declare.
+ (bitmap_obstack_alloc, bitmap_malloc_alloc, bitmap_gc_alloc,
+ bitmap_obstack_free, bitmap_malloc_free): Declare.
+ (BITMAP_OBSTACK_ALLOC, BITMAP_GGC_ALLOC, BITMAP_XMALLOC): Adjust.
+ (BITMAP_FREE): Replace with ...
+ (BITMAP_OBSTACK_FREE): ... this.
+ (BITMAP_XFREE): Adjust.
+ (BITMAP_INIT_ONCE): Remove.
+ * bitmap.c (bitmap_obstack, bitmap_obstack_init, bitmap_free: Remove.
+ (bitmap_default_obstack): New.
+ (bitmap_elem_to_freelist): Adjust.
+ (bitmap_element_allocate): Adjust. Break initialization into ...
+ (bitmap_obstack_initialize): ... here.
+ (bitmap_release_memory): Replace with ...
+ (bitmap_obstack_release): ... this.
+ (bitmap_obstack_alloc, bitmap_malloc_alloc, bitmap_gc_alloc,
+ bitmap_obstack_free, bitmap_malloc_free): New.
+ (bitmap_ior_and_compl, bitmap_ior_and_compl_into): Use
+ bitmap_initialize.
+ (bitmap_initialize): Move to bitmap.h.
+ * gengtype.c (open_base_files): Add obstack.h to ifiles.
+ * Makefile.in (BASIC_BLOCK_H, REGS_H): Add obstack.h.
+ * basic-block.h (INIT_REG_SET): Allocate from reg_obstack.
+ (INITIALIZE_REG_SET): Remove.
+ (FREE_REG_SET): Use BITMAP_OBSTACK_FREE.
+ (INIT_ONCE_REG_SET, MAX_REGNO_REG_SET): Remove.
+ (flow_obstack): Do not declare.
+ (reg_obstack): Declare.
+ * regs.h: Include obstack.h.
+ * tree-optimize.c (tree_rest_of_compilation): Initialize and
+ release bitmap obstack here.
+ * bb-reorder.c: #include regs, not basic-block.
+ (fix_crossing_conditional_branches): Allocate regsets from
+ reg_obstack.
+ * bt-load.c: Do not inlude bitmap.h, sbitmap.h, basic-block.h or
+ obstack.h.
+ * caller-save.c: Include regs.h earlier.
+ * cfg.c: Do not include basic-block.h or obstack.h.
+ (reg_obstack): Define.
+ * cfganal.c: Include obstack.h
+ * cfgcleanyp.c: Do not include basic-block.h. Include regs.h
+ earlier.
+ * cfglayout.c: Do not include obstack.h.
+ (flow_obstack): Remove declaration.
+ (cfg_layout_duplicate_bb): Use reg_obstack.
+ * cfgloop.c, cfgloopanal.c, cfgloopmanip.c: Include obstack.h.
+ * cfgrtl.c (rtl_split_block): Use reg_obstack.
+ (force_nonfallthru_and_redirect, rtl_split_edge): Likewise.
+ (safe_insert_insn_on_edge): Use OBSTACK_ALLOC_REG_SET, adjust.
+ (cfg_layout_split_edge): Use reg_obstack.
+ * cse.c: Include regs.h earlier.
+ * ddg.c: Do not include basic-block.h.
+ * dominance.c: Inlude obstack.h.
+ * flow.c (update_life_info): Use OBSTACK_ALLOC_REG_SET, adjust.
+ (calculate_global_regs_live): Likewise.
+ (allocate_bb_life_data): Use reg_obstack.
+ (init_propagate_block_info): Use OBSTACK_ALLOC_REGSET.
+ * global.c: Do not include basic-block.h.
+ (build_insn_chain): Use OBSTACK_ALLOC_REG_SET, adjust.
+ * graph.c: Include obstack.h.
+ * haifa-sched.c: Do not include basic-block.h.
+ * ifcvt.c: Use OBSTACK_ALLOC_REG_SET, adjust.
+ * local-alloc.c: Do not include basic-block.h.
+ * loop-init.c, loop-invariant.c: Include obstack.h.
+ * loop-iv.c: Likewise.
+ (simplify_using_initial_values): Use OBSTACK_ALLOC_REG_SET,
+ adjust.
+ * loop-unroll.c, loop-unswitch.c: Inlude obstack.h.
+ * modulo-sched.c: Do not include basic-block.h.
+ * passes.c (rest_of_handle_final): Do not call
+ regset_release_memory.
+ * ra-debug.c: Include regs.h earlier. Do not include
+ basic-block.h.
+ * recog.c (peephole2_optimize): Use OBSTACK_ALLOC_REG_SET, adjust.
+ * regclass.c (init_reg_sets): Do not call INIT_ONCE_REG_SET.
+ (allocate_reg_info): Do not call MAX_REGNO_REG_SET.
+ (regset_release_memory): Remove.
+ * resource.c: Do not include basic-block.h.
+ * rtlanal.c: Do not include basic-block.h.
+ * sbitmap.c: Include obstack.h.
+ * sched-deps.c: Do not include basic-block.h.
+ (reg_pending_sets_head, reg_pending_clobbers_head,
+ reg_pending_uses_head): Remove.
+ (init_deps_global): Use OBSTACK_ALLOC_REG_SET.
+ * sched-ebb.c: Do not include basic-block.h.
+ * sched-rgn.c: Likewise.
+ * tree-if-conv.c (get_loop_body_in_if_conv_order): Use
+ BITMAP_XFREE.
+ * tree-outof-ssa.c (perform_edge_inserts): Use BITMAP_XFREE.
+ * tree-sra.c (decide_instantiations): Adjust bitmap
+ initialization.
+ * tree-ssa-dce.c: Include obstack.h.
+ * tree-ssa-pre.c (grand_bitmap_obstack): Make a bitmap_obstack.
+ (value_insert_into_set_bitmap): Remove useless bitmap_clear.
+ (bitmap_set_new): Likewise.
+ (init_pre): Initialize bitmap obstack.
+ (fini_pre): Release bitmap obstack.
+ * tree-ssanames.c (ssa_names_to_rewrite): Make static.
+ (marked_for_rewrite_p): ssa_names_to_rewrite is never NULL.
+ (mark_for_rewrite, unmark_for_rewrite): Likewise.
+ (marked_ssa_names): Likewise.
+ (init_ssanames): Use BITMAP_XMALLOC.
+ (fini_ssanames): Use BITMAP_XFREE.
+ * web.c: Include obstack.h
+
+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.
OSDN Git Service
