+2007-07-02 Uros Bizjak <ubizjak@gmail.com>
+
+ PR tree-optimization/31966
+ PR tree-optimization/32533
+ * tree-if-conv.c (add_to_dst_predicate_list): Use "edge", not
+ "basic_block" description as its third argument. Update function
+ calls to get destination bb from "edge" argument. Save "cond" into
+ aux field of the edge. Update prototype for changed arguments.
+ (find_phi_replacement_condition): Operate on incoming edges, not
+ on predecessor blocks. If there is a condition saved in the
+ incoming edge aux field, AND it with incoming bb predicate.
+ Return source bb of the first edge.
+ (clean_predicate_lists): Clean aux field of outgoing node edges.
+ (tree_if_conversion): Do not initialize cond variable. Move
+ variable declaration into the loop.
+ (replace_phi_with_cond_gimple_modify_stmt): Remove unneded
+ initializations of new_stmt, arg0 and arg1 variables.
+
+2007-07-02 Jakub Jelinek <jakub@redhat.com>
+
+ * tree-nrv.c (dest_safe_for_nrv_p): Grok any handled_component_p,
+ SSA_NAMEs, RESULT_DECLs and PARM_DECLs.
+
+2007-07-02 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa.c (useless_type_conversion_p): Document
+ future intent as defining the middle-end type system.
+ Re-structure to call langhook last, group by type class,
+ mark questionable parts.
+
+2007-07-02 Richard Guenther <rguenther@suse.de>
+
+ * tree-flow.h (types_compatible_p): Declare.
+ * tree-ssa.c (types_compatible_p): New function.
+ * ipa-type-escape.c (discover_unique_type): Use
+ types_compatible_p instead of lang_hooks.types_compatible_p.
+ * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Likewise.
+ * tree-vn.c (expressions_equal_p): Likewise.
+ * tree.c (fields_compatible_p): Likewise.
+ * tree-ssa-dom.c (avail_expr_eq): Likewise.
+ (cprop_operand): Use useless_type_conversion_p instead of
+ lang_hooks.types_compatible_p.
+ * tree-inline.c (setup_one_parameter): Likewise.
+ (declare_return_variable): Likewise.
+ * tree-nrv.c (tree_nrv): Likewise.
+ * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
+ (maybe_fold_offset_to_component_ref): Likewise.
+ (maybe_fold_offset_to_reference): Likewise.
+ * tree-ssa-copy.c (may_propagate_copy): Likewise.
+ (merge_alias_info): Likewise.
+ * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
+ * tree-ssa-phiopt.c (conditional_replacement): Likewise.
+ * tree-ssa-reassoc.c (optimize_ops_list): Likewise.
+ * tree-tailcall.c (find_tail_calls): Likewise.
+ * tree-vect-generic.c (expand_vector_operations_1): Likewise.
+ * gimplify.c (canonicalize_addr_expr): Likewise.
+ (fold_indirect_ref_rhs): Likewise.
+ (gimplify_addr_expr): Likewise. Swap parameters to cpt_same_type.
+ (cpt_same_type): Likewise.
+ (check_pointer_types_r): Swap parameters to cpt_same_type
+ where appropriate.
+ * fold-const.c (fold_convert): Revert fix for PR15988.
+ * tree-inline.c (setup_one_parameter): Instead fix it here by
+ using fold_build1 instead of fold_convert and checking for
+ error_mark_node. Convert only if the conversion is necessary.
+
+2007-07-02 Joseph Myers <joseph@codesourcery.com>
+
+ * configure.ac: Check for .gnu_attribute on Power.
+ * configure: Regenerate.
+ * config/rs6000/rs6000.c (rs6000_file_start): If supported, output
+ attribute for floating-point ABI.
+
+2007-07-02 Ira Rosen <irar@il.ibm.com>
+
+ PR tree-optimization/32230
+ PR tree-optimization/32477
+ * tree-vect-analyze.c (vect_analyze_data_refs): Fail if base
+ address is a constant.
+
+2007-07-02 Richard Sandiford <richard@codesourcery.com>
+
+ * config.gcc (mipsisa32-*-elf*, mipsisa32el-*-elf*)
+ (mipsisa32r2-*-elf*, mipsisa32r2el-*-elf*)
+ (mipsisa64-*-elf*, mipsisa64el-*-elf*): Combine top-level
+ stanzas. Use the first part of the triplet to set MIPS_ISA_DEFAULT.
+ Remove redundant setting of MASK_FLOAT64 and MASK_64BIT for the
+ 64-bit targets. Add support for *-elfoabi*.
+ * config/mips/t-isa3264 (MULTILIB_OPTIONS, MULTILIB_DIRNAMES): Use
+ different settings if $(tm_defines) does not select the EABI.
+ (MULTILIB_EXCLUSIONS): Define in those circumstances.
+ * config/mips/mips.h (MIPS_ISA_LEVEL_OPTION_SPEC): New macro.
+ (MIPS_ARCH_OPTION_SPEC): Likewise.
+ (MIPS_ISA_LEVEL_SPEC): Likewise.
+ (OPTION_DEFAULT_SPECS): Use MIPS_ARCH_OPTION_SPEC.
+ * config/mips/elfoabi.h: New file.
+
+2007-07-02 Richard Guenther <rguenther@suse.de>
+
+ * tree-flow.h (tree_ssa_useless_type_conversion_1): Rename to ...
+ (useless_type_conversion_p): ... this.
+ * tree-ssa.c (tree_ssa_useless_type_conversion_1): Rename to ...
+ (useless_type_conversion_p): ... this.
+ * builtins.c (fold_builtin_memory_op): Rename
+ tree_ssa_useless_type_conversion_1 to useless_type_conversion_p.
+ * tree-cfg.c (verify_expr): Likewise.
+ * tree-ssa-address.c (tree_ssa_useless_type_conversion_1): Likewise.
+ * tree-ssa-ccp.c (ccp_fold): Likewise.
+ * tree-ssa-copy.c (may_propagate_copy): Likewise.
+ * tree-ssa-dom.c (eliminate_redundant_computations): Likewise.
+ * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
+ * tree-ssa-loop-niter.c (refine_bounds_using_guard): Likewise.
+ * tree-ssa-pre.c (eliminate): Likewise.
+ * tree-ssa.c (delete_tree_ssa): Likewise.
+ (tree_ssa_useless_type_conversion): Likewise.
+ * tree.c (build2_stat): Likewise.
+
+2007-07-01 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix PR tree-optimization/32571
+ * tree-ssa-sccvn.c (visit_use): Shortcut copies to avoid
+ simplifying them.
+
+2007-07-01 Daniel Berlin <dberlin@dberlin.org>
+
+ * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle constants
+ and other expected operations explicitly, change default to
+ gcc_unreachable.
+
+2007-07-01 Daniel Jacobowitz <dan@codesourcery.com>
+
+ * config/arm/arm.c (arm_cannot_copy_insn_p): Do not expect a
+ PARALLEL.
+ * config/arm/arm.md (pic_add_dot_plus_four, pic_add_dot_plus_eight)
+ (tls_load_dot_plus_eight): Move the label number into the unspec.
+ * config/arm/thumb2.md (pic_load_dot_plus_four): Likewise.
+
+2007-07-01 Andreas Schwab <schwab@suse.de>
+
+ * dwarf2out.c (initial_return_save): Define only if used.
+
+2007-07-01 Kenneth Zadeck <zadeck@naturalbridge.com>
+
+ Unreverting Richard's Revert of:
+
+ 2007-06-27 Richard Sandiford <richard@codesourcery.com>
+
+ * dce.c (deletable_insn_p_1): New function, split out from...
+ (deletable_insn_p): ...here. Only treat bare USEs and CLOBBERs
+ specially, not those inside PARALLELs. Remove BODY argument
+ and adjust recursive call accordingly.
+ (prescan_insns_for_dce): Update call to delete_insn_p.
+
+2007-07-01 Vladimir Yanovsky <yanov@il.ibm.com>
+ Revital Eres <eres@il.ibm.com>
+
+ * ddg.c (create_ddg_all_sccs): Fix missed
+ initialization of scc_nodes.
+
+2007-07-01 Uros Bizjak <ubizjak@gmail.com>
+
+ PR middle-end/32559
+ * fold-const.c (fold-binary) [PLUS_EXPR]: Convert ~X + X to 1 or
+ X + ~X to 1 only for INTEGRAL_TYPE_P type.
+
+2007-06-30 Joseph Myers <joseph@codesourcery.com>
+
+ * configure.ac: Check for .gnu_attribute on MIPS.
+ * configure, config.in: Regenerate.
+ * config/mips/mips.c (mips_file_start): If supported, output
+ attribute for floating-point ABI.
+
+2007-06-30 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/32433
+ * config/i386/i386.md (ffssi2): Expand as ffs_cmove for TARGET_CMOVE.
+ (ffs_cmove): New expander to expand using ctz pattern.
+ (*ffs_cmove): Remove pattern.
+ (*ffs_no_cmove): Enable only for !TARGET_CMOVE.
+ (ffsdi2): Expand using ctz pattern.
+ (*ffs_rex64): Remove pattern.
+
+2007-06-30 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
+
+ PR rtl-optimization/32296
+ * pa.md (return): Delete pattern.
+ (return_internal): Remove "(const_int 1)" from pattern.
+ (epilogue): Use return_internal pattern for trivial returns.
+ * pa-protos.h (hppa_can_use_return_insn_p): Delete declaration.
+ * pa.c (hppa_can_use_return_insn_p): Delete function. Include "df.h".
+
+2007-06-30 Daniel Berlin <dberlin@dberlin.org>
+
+ * tree-ssa-pre.c (is_exception_related): New function
+ (can_value_number_operation): Use it.
+
+2007-06-30 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix PR tree-optimization/32540
+ Fix PR tree-optimization/31651
+
+ * tree-ssa-sccvn.c: New file.
+
+ * tree-ssa-sccvn.h: Ditto.
+
+ * tree-vn.c: Include tree-ssa-sccvn.h
+ (val_expr_paid_d): Removed.
+ (value_table): Ditto.
+ (vn_compute): Ditto.
+ (val_expr_pair_hash): Ditto.
+ (val_expr_pair_expr_eq): Ditto.
+ (copy_vuses_from_stmt): Ditto.
+ (vn_delete): Ditto.
+ (vn_init): Ditto.
+ (shared_vuses_from_stmt): Ditto.
+ (print_creation_to_file): Moved up.
+ (sort_vuses): Ditto.
+ (sort_vuses_heap): Ditto.
+ (set_value_handle): Make non-static.
+ (make_value_handle): Ditto.
+ (vn_add): Rewritten to use sccvn lookups.
+ (vn_add_with_vuses): Ditto.
+ (vn_lookup): Ditto (and second argument removed).
+ (vn_lookup_with_vuses): Ditto.
+ (vn_lookup_or_add): Ditto (and second argument removed);
+ (vn_lookup_or_add_with_vuses): Ditto.
+ (vn_lookup_with_stmt): New.
+ (vn_lookup_or_add_with_stmt): Ditto.
+ (create_value_handle_for_expr): Ditto.
+
+ * tree-ssa-pre.c: Include tree-ssa-sccvn.h.
+ (seen_during_translate): New function.
+ (phi_trans_lookup): Use iterative_hash_expr, not vn_compute.
+ (phi_trans_add): Ditto.
+ (constant_expr_p): FIELD_DECL is always constant.
+ (phi_translate_1): Renamed from phi_translate, add seen bitmap.
+ Use constant_expr_p.
+ Avoid infinite recursion on mutually valued expressions.
+ Change callers of vn_lookup_or_add.
+ (phi_translate): New function.
+ (compute_antic_safe): Allow phi nodes.
+ (create_component_ref_by_pieces): Update for FIELD_DECL change.
+ (find_or_generate_expression): Rewrite slightly.
+ (create_expression_by_pieces): Updated for vn_lookup_or_add
+ change.
+ Update VN_INFO for new names.
+ (insert_into_preds_of_block): Update for new names.
+ (add_to_exp_gen): New function.
+ (add_to_sets): Use vn_lookup_or_add_with_stmt.
+ (find_existing_value_expr): Rewrite to changed vn_lookup.
+ (create_value_expr_from): Ditto, and use add_to_exp_gen.
+ (try_look_through_load): Removed.
+ (try_combine_conversion): Ditto.
+ (get_sccvn_value): New function.
+ (make_values_for_phi): Ditto.
+ (make_values_for_stmt): Ditto.
+ (compute_avail): Rewritten for vn_lookup_or_add changes and to use
+ SCCVN.
+ (init_pre): Update for SCCVN changes.
+ (fini_pre): Ditto.
+ (execute_pre): Ditto.
+
+ * tree-flow.h (make_value_handle): Declare.
+ (set_value_handle): Ditto.
+ (sort_vuses_heap): Ditto.
+ (vn_lookup_or_add_with_stmt): Ditto.
+ (vn_lookup_with_stmt): Ditto.
+ (vn_compute): Remove.
+ (vn_init): Ditto.
+ (vn_delete): Ditto.
+ (vn_lookup): Update arguments.
+
+ * Makefile.in (tree-ssa-pre.o): Add tree-ssa-sccvn.h
+ (tree-vn.o): Ditto.
+ (tree-ssa-sccvn.o): New.
+ (OBJS-common): Add tree-ssa-sccvn.o
+
+2007-06-30 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
+
+ PR c/4076
+ * c-typeck.c (build_external_ref): Don't mark as used if called
+ from itself.
+ * calls.c (rtx_for_function_call): Likewise.
+
+2007-06-30 Richard Sandiford <richard@codesourcery.com>
+
+ Revert:
+
+ 2007-06-27 Richard Sandiford <richard@codesourcery.com>
+
+ * dce.c (deletable_insn_p_1): New function, split out from...
+ (deletable_insn_p): ...here. Only treat bare USEs and CLOBBERs
+ specially, not those inside PARALLELs. Remove BODY argument
+ and adjust recursive call accordingly.
+ (prescan_insns_for_dce): Update call to delete_insn_p.
+
2007-06-30 Rask Ingemann Lambertsen <rask@sygehus.dk>
* combine.c (combine_validate_cost): New parameter NEWOTHERPAT.
2006-06-30 Jan Hubicka <jh@suse.cz>
- * loop-unroll.c (unroll_loop_runtime_iterations): Unshare newly emit
+ * loop-unroll.c (unroll_loop_runtime_iterations): Unshare newly emit
code.
2006-06-30 Thomas Neumann <tneumann@users.sourceforge.net>