+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.
+
+2004-11-18 Ben Elliston <bje@au.ibm.com>
+
+ * cgraph.h: Replace "it's" with "its" throughout.
+
+2004-11-18 Ben Elliston <bje@au.ibm.com>
+
+ * doc/rtl.texi (Flags): Grammar fix.
+
+2004-11-17 Kazu Hirata <kazu@cs.umass.edu>
+
+ * expmed.c (alg_code): Add alg_unknown.
+ (alg_hash_entry): New.
+ (NUM_ALG_HASH_ENTRIES): Likewise.
+ (alg_hash): Likewise.
+ (synth_mult): Cache the result into alg_hash.
+
+2004-11-17 Zack Weinberg <zack@codesourcery.com>
+
+ * config/rs6000/t-darwin: Augment SHLIB_MAPFILES with
+ config/rs6000/libgcc-ppc64.ver.
+
+2004-11-17 Kazu Hirata <kazu@cs.umass.edu>
+
+ * cfgrtl.c (rtl_verify_flow_info): Don't use INSN_P when
+ checking if an unconditional return is followed by a barrier.
+
+ * jump.c (condjump_p): Remove unreachable code.
+
+ * basic-block.h, c-common.h, df.h, expr.h, output.h, rtl.h,
+ tree-chrec.h, tree-flow.h, tree-scalar-evolution.h,
+ tree-ssa-live.h, tree.h: Remove unused prototypes.
+
+2004-11-17 Jeff Law <law@redhat.com>
+
+ * tree-cfg.c (edge_to_cases): Renamed from edge_to_case_leader.
+ (edge_to_cases_elt): Renamed from edge_to_case_leader.
+ (edge_to_cases_hash): Renamed from edge_to_case_leader_hash.
+ (edge_to_cases_eq): Renamed from edge_to_case_leader_eq.
+ (edge_to_cases_cleanup, recording_case_labels_p): New functions.
+ (get_cases_for_edge): New function.
+ (start_recording_case_labels, end_recording_case_labels): Similarly.
+ (record_switch_edge): Don't muck with the CASE_LABEL. Instead
+ chain equivalent CASE_LABEL_EXPRs together.
+ (get_case_leader_for_edge, get_case_leader_for_edge_hash): Kill.
+ (make_switch_expr_edges): Do not record edge/cases here.
+ (cleanup_tree_cfg): Record cases around the call to thread_jumps.
+ (split_critical_edges): Record cases around the edge splitting code.
+ (cleanup_dead_labels): Use CASE_LABEL again.
+ (tree_redirect_edge_and_branch): If we have a mapping from edge
+ to cases, use it to handle redirections. Else do it the slow way.
+ * tree.h (CASE_LEADER_OR_LABEL): Kill.
+ (CASE_LABEL): Revert to just looking at the tree's second operand.
+ * tree.c (get_case_label): Kill.
+
+2004-11-17 Diego Novillo <dnovillo@redhat.com>
+
+ PR tree-optimization/18307
+ * tree-ssa-alias.c (merge_pointed_to_info): ICE if 'dest' and
+ 'orig' are the same node.
+ (collect_points_to_info_r): Do not call merge_pointed_to_info
+ when the PHI argument is identical to the LHS.
+
+2004-11-17 Steven Bosscher <stevenb@suse.de>
+
+ * tree-ssa-propagate.c (cfg_blocks_add): Assert we're not trying
+ to insert the exit or entry block.
+ (ssa_prop_init): Use add_control_edge to seed the algorithm.
+
+2004-11-16 Zack Weinberg <zack@codesourcery.com>
+
+ * mkmap-flat.awk, mkmap-symver.awk: If the last version
+ assigned to a symbol was '%exclude', do not emit it anywhere.
+ If leading_underscore is true, prefix all symbols from the
+ version scripts with a leading underscore before comparing
+ them with nm output or emitting them. Remove support for dot
+ symbols.
+ * config/t-slibgcc-darwin (SHLIB_LINK): Use mkmap-flat.awk.
+ (SHLIB_MAPFILES): Use libgcc-std.ver.
+ (SHLIB_MKMAP_OPTS): Enable leading-underscore mode.
+ (SHLIB_LINK): Add -Wl,-exported_symbols_list,$(SHLIB_MAP).
+ * config/sh/t-linux: Use the normal libgcc-std.ver, plus
+ libgcc-excl.ver and libgcc-glibc.ver.
+
+ * config/sh/libgcc-excl.ver: New file.
+ * config/sh/libgcc-std.ver, libgcc-darwin.ver: Delete.
+
+2004-11-16 Daniel Berlin <dberlin@dberlin.org>
+
+ * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Swap
+ the test when the edge has the opposite meaning, not when
+ the first argument is invariant.
+
2004-11-16 Aldy Hernandez <aldyh@redhat.com>
- * config/rs6000/rs6000.c (rs6000_override_options): Split e500v2
- doubles.
- (rs6000_complex_function_value): Handle e500 v2 variant.
+ * config/rs6000/rs6000.c (rs6000_override_options): Split e500v2
+ doubles.
+ (rs6000_complex_function_value): Handle e500 v2 variant.
2004-11-16 Daniel Berlin <dberlin@dberlin.org>
Fix PR tree-optimization/18519
-
+
* tree-optimize (execute_todo): Add case for TODO_cleanup_cfg.
* tree-pass.h: Add TODO_cleanup_cfg.
* tree-ssa-ccp.c (pass_ccp): Use TODO_cleanup_cfg.
(ccp_finalize): Remove call to cleanup_cfg.
* tree-ssa-dce.c (pass_dce): Use TODO_cleanup_cfg and TODO_dump_func.
(pass_cd_dce): Ditto.
- (perform_tree_ssa_dce): Remove call to cleanup_cfg,
+ (perform_tree_ssa_dce): Remove call to cleanup_cfg,
dump_function_to_file.
* tree-ssa-loop-ch.c (copy_loop_headers): Remove call
to cleanup_cfg.
cleanup_cfg.
(pass_loop_done): Add TODO_cleanup_cfg.
* tree-ssa-phiopt.c (pass_phiopt): Ditto.
- (tree_ssa_phiopt): Remove call to cleanup_cfg.
-
+ (tree_ssa_phiopt): Remove call to cleanup_cfg.
+
2004-11-16 Devang Patel <dpatel@apple.com>
* optabs.c (vector_compare_rtx): Fix COMPARISON_CLASS_P use.
-
+
2004-11-16 Kazu Hirata <kazu@cs.umass.edu>
* expmed.c, ra-colorize.c: Fix comment typos.
* doc/tm.texi: Fix typos.
2004-11-16 Daniel Jacobowitz <dan@codesourcery.com>
- Mark Mitchell <mark@codesourcery.com>
+ Mark Mitchell <mark@codesourcery.com>
PR target/6123
* config/sol2.h (TARGET_OS_CPP_BUILTINS): Define __PIC__ and
2004-11-16 Devang Patel <dpatel@apple.com>
* tree-if-conv.c (clean_predicate_lists): Update gcc_assert check.
-
+
2004-11-16 Eric Christopher <echristo@redhat.com>
* config/mips/mips.c: Use rtl _P predicates.
(vect_transform_loop_bound): Set loop->nb_iterations.
2004-11-14 Dorit Naishlos <dorit@il.ibm.com>
- Andrew Pinski <pinskia@physics.uc.edu>
+ Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/18425
* tree-vectorize.c (vect_build_loop_niters): Do not insert
* config/rs6000/aix51.h (ASM_CPU_SPEC): Add 970 and G5.
* config/rs6000/aix52.h (ASM_CPU_SPEC): Same.
+ (atoll): Declare.
* config/rs6000/t-aix52 (BOOT_LDFLAGS): Define.
2004-11-14 Joseph Myers <joseph@codesourcery.com>