+2007-05-18 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR target/31989
+ PR target/31681
+ PR target/31666
+ * config/i386/i386.c (init_cumulative_args): Set maybe_vaarg to
+ true if function has no argument.
+
+2007-05-18 DJ Delorie <dj@redhat.com>
+
+ * config/mips/mips.c (mips_offset_within_alignment_p): New.
+ (mips_symbolic_constant_p): Call it for TPREL and DTPREL symbols.
+
+2007-05-18 Uros Bizjak <ubizjak@gmail.com>
+
+ * longlong.h (__x86_64__): Add definitions for add_ssaaaa,
+ sub_ddmmss, umul_ppmm, udiv_qrnnd, count_leading_zeros and
+ count_trailing_zeros.
+ (__i386__): Implement count_leading_zeros using __builtin_clz().
+ Implement count_trailing_zeros usign __builtin_ctz().
+
+2007-05-18 Richard Sandiford <richard@codesourcery.com>
+
+ * config/i386/vxworks.h (ASM_PREFERRED_EH_DATA_FORMAT): Undefine.
+
+2007-05-18 Uros Bizjak <ubizjak@gmail.com>
+
+ PR middle-end/31344
+ * expr.c (emit_move_change_mode): Change mode of push operands here.
+
+2007-05-17 Ian Lance Taylor <iant@google.com>
+
+ PR tree-optimization/31953
+ * tree-vrp.c (set_value_range_to_value): Add equiv parameter.
+ Change all callers.
+ (set_value_range_to_null): Call set_value_range_to_value.
+ (extract_range_from_comparison): Likewise.
+
+2007-05-17 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
+
+ * toplev.c (print_version): Output GMP/MPFR version info.
+
+ * builtins.c (CASE_MATHFN_REENT): New macro.
+ (mathfn_built_in): Use it.
+ * builtins.def (BUILT_IN_GAMMA_R, BUILT_IN_GAMMAF_R,
+ BUILT_IN_GAMMAL_R, BUILT_IN_LGAMMA_R, BUILT_IN_LGAMMAF_R,
+ BUILT_IN_LGAMMAL_R): New.
+ * doc/extend.texi: Document new builtins.
+
+ PR middle-end/31796
+ * builtins.c (do_mpfr_remquo): New.
+ (fold_builtin_2): Handle BUILT_IN_DREM/BUILT_IN_REMAINDER.
+ (fold_builtin_3): Handle BUILT_IN_REMQUO.
+
+ PR middle-end/30251
+ * builtins.c (fold_builtin_1): Handle y0, y1.
+ (fold_builtin_2): Handle yn.
+
+ PR middle-end/30251
+ * builtins.c (do_mpfr_bessel_n): New.
+ (fold_builtin_1): Handle BUILT_IN_J0 and BUILT_IN_J1.
+ (fold_builtin_2): Handle BUILT_IN_JN.
+
+2007-05-17 Danny Smith <dannysmith@users.sourceforge.net>
+
+ PR target/31965
+ * config/i386/mingw32.h (_INTEGRAL_MAX_BITS): Define builtin as
+ TYPE_PRECISION (intmax_type_node).
+
+2007-05-17 Steve Ellcey <sje@cup.hp.com>
+
+ PR target/31850
+ * reload.c (subst_reloads): Remove checking.
+
+2007-05-17 Eric Botcazou <ebotcazou@libertysurf.fr>
+
+ PR rtl-optimization/31691
+ * combine.c (simplify_set): Build a new src pattern instead of
+ substituting its operands in the COMPARE case.
+
+2007-05-17 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-vrp.c (finalize_jump_threads): Do not care about dominance info.
+ (execute_vrp): Preserve loops through jump threading.
+ * tree-ssa-threadupdate.c (thread_single_edge,
+ dbds_continue_enumeration_p, determine_bb_domination_status,
+ thread_through_loop_header): New functions.
+ (create_edge_and_update_destination_phis,
+ create_edge_and_update_destination_phis): Set loops for the new blocks.
+ (prune_undesirable_thread_requests): Removed.
+ (redirect_edges): Do not pretend that redirect_edge_and_branch can
+ create new blocks.
+ (thread_block): Do not call prune_undesirable_thread_requests.
+ Update loops.
+ (mark_threaded_blocks): Select edges to thread here.
+ (thread_through_all_blocks): Take may_peel_loop_headers argument.
+ Thread edges through loop headers independently.
+ * cfgloopmanip.c (create_preheader, mfb_keep_just): Export.
+ * tree-pass.h (TODO_mark_first_instance): New.
+ (first_pass_instance): Declare.
+ * cfghooks.c (duplicate_block): Put the block to the original loop
+ if copy is not specified.
+ * tree-ssa-dom.c (tree_ssa_dominator_optimize): Preserve loops through
+ jump threading. Pass may_peel_loop_headers to
+ thread_through_all_blocks according to first_pass_instance.
+ * cfgloop.h (create_preheader): Declare.
+ * tree-flow.h (thread_through_all_blocks): Declaration changed.
+ * basic-block.h (mfb_keep_just, mfb_kj_edge): Declare.
+ * passes.c (first_pass_instance): New variable.
+ (next_pass_1): Set TODO_mark_first_instance.
+ (execute_todo): Set first_pass_instance.
+
+2007-05-17 Uros Bizjak <ubizjak@gmail.com>
+
+ PR tree-optimization/24659
+ * optabs.h (enum optab_index): Add OTI_vec_unpacks_float_hi,
+ OTI_vec_unpacks_float_lo, OTI_vec_unpacku_float_hi,
+ OTI_vec_unpacku_float_lo, OTI_vec_pack_sfix_trunc and
+ OTI_vec_pack_ufix_trunc.
+ (vec_unpacks_float_hi_optab): Define new macro.
+ (vec_unpacks_float_lo_optab): Ditto.
+ (vec_unpacku_float_hi_optab): Ditto.
+ (vec_unpacku_float_lo_optab): Ditto.
+ (vec_pack_sfix_trunc_optab): Ditto.
+ (vec_pack_ufix_trunc_optab): Ditto.
+ * genopinit.c (optabs): Implement vec_unpack[s|u]_[hi|lo]_optab
+ and vec_pack_[s|u]fix_trunc_optab using
+ vec_unpack[s|u]_[hi\lo]_* and vec_pack_[u|s]fix_trunc_* patterns
+ * tree-vectorizer.c (supportable_widening_operation): Handle
+ FLOAT_EXPR and CONVERT_EXPR. Update comment.
+ (supportable_narrowing_operation): New function.
+ * tree-vectorizer.h (supportable_narrowing_operation): Prototype.
+ * tree-vect-transform.c (vectorizable_conversion): Handle
+ (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
+ (vect_gen_widened_results_half): Move before vectorizable_conversion.
+ (vectorizable_type_demotion): Call supportable_narrowing_operation()
+ to check for target support.
+ * optabs.c (optab_for_tree_code) Return vec_unpack[s|u]_float_hi_optab
+ for VEC_UNPACK_FLOAT_HI_EXPR, vec_unpack[s|u]_float_lo_optab
+ for VEC_UNPACK_FLOAT_LO_EXPR and vec_pack_[u|s]fix_trunc_optab
+ for VEC_PACK_FIX_TRUNC_EXPR.
+ (expand_binop): Special case mode of the result for
+ vec_pack_[u|s]fix_trunc_optab.
+ (init_optabs): Initialize vec_unpack[s|u]_[hi|lo]_optab and
+ vec_pack_[u|s]fix_trunc_optab.
+
+ * tree.def (VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR,
+ VEC_PACK_FIX_TRUNC_EXPR): New tree codes.
+ * tree-pretty-print.c (dump_generic_node): Handle
+ VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR and
+ VEC_PACK_FIX_TRUNC_EXPR.
+ (op_prio): Ditto.
+ * expr.c (expand_expr_real_1): Ditto.
+ * tree-inline.c (estimate_num_insns_1): Ditto.
+ * tree-vect-generic.c (expand_vector_operations_1): Ditto.
+
+ * config/i386/sse.md (vec_unpacks_float_hi_v8hi): New expander.
+ (vec_unpacks_float_lo_v8hi): Ditto.
+ (vec_unpacku_float_hi_v8hi): Ditto.
+ (vec_unpacku_float_lo_v8hi): Ditto.
+ (vec_unpacks_float_hi_v4si): Ditto.
+ (vec_unpacks_float_lo_v4si): Ditto.
+ (vec_pack_sfix_trunc_v2df): Ditto.
+
+ * doc/c-tree.texi (Expression trees) [VEC_UNPACK_FLOAT_HI_EXPR]:
+ Document.
+ [VEC_UNPACK_FLOAT_LO_EXPR]: Ditto.
+ [VEC_PACK_FIX_TRUNC_EXPR]: Ditto.
+ * doc/md.texi (Standard Names) [vec_pack_sfix_trunc]: Document.
+ [vec_pack_ufix_trunc]: Ditto.
+ [vec_unpacks_float_hi]: Ditto.
+ [vec_unpacks_float_lo]: Ditto.
+ [vec_unpacku_float_hi]: Ditto.
+ [vec_unpacku_float_lo]: Ditto.
+
+2007-05-16 Uros Bizjak <ubizjak@gmail.com>
+
+ * soft-fp/README: Update for new files.
+ * soft-fp/floattisf.c: New file.
+ * soft-fp/floattidf.c: New file.
+ * soft-fp/floattitf.c: New file.
+ * soft-fp/floatuntisf.c: New file.
+ * soft-fp/floatuntidf.c: New file.
+ * soft-fp/floatuntitf.c: New file.
+ * soft-fp/fixsfti.c: New file.
+ * soft-fp/fixdfti.c: New file.
+ * soft-fp/fixtfti.c: New file.
+ * soft-fp/fixunssfti.c: New file.
+ * soft-fp/fixunsdfti.c: New file.
+ * soft-fp/fixunstfti.c: New file.
+ * soft-fp/extendxftf.c: New file.
+ * soft-fp/trunctfxf.c: New file.
+
+ * libgcc-std.ver (__extendxftf2): Added to GCC_4.3.0 section.
+ (__trunctfxf2): Ditto.
+
+ * config/i386/libgcc-x86_64-glibc.ver (__addtf3, __divtf3, __eqtf2,
+ __extenddftf2, __extendsftf2, __fixtfdi, __fixtfsi, __fixtfti,
+ __fixunstfdi, __fixunstfsi, __fixunstfti, __floatditf, __floatsitf,
+ __floattitf, __floatunditf, __floatunsitf, __floatuntitf, __getf2,
+ __letf2, __multf3, __negtf2, __subtf3, __trunctfdf2, __trunctfsf2,
+ __unordtf2): Exclude and add to GCC_4.3.0 section for x86_64 targets.
+
+ * config/i386/t-fprules-softfp64: New file.
+ * config/i386/sfp-machine.h: New file.
+ * config.gcc (x86_64-*-linux*, x86_64-*-kfreebsd*-gnu,
+ x86_64-*-knetbsd*-gnu): Add i386/t-fprules-softfp64
+ and soft-fp/t-softfp to tmake_file.
+ (i[34567]86-*-linux*, i[34567]86-*-kfreebsd*-gnu,
+ i[34567]86-*-knetbsd*-gnu): Ditto for --enable-targets=all.
+
+ * config/i386/t-linux64 (softfp_wrap_start): New.
+ (softfp_wrap_end): New.
+ * config/i386/i386.c (ix86_scalar_mode_supported): TFmode is
+ supported for TARGET_64BIT.
+
+2007-05-16 Rafael Avila de Espindola <espindola@google.com>
+
+ * c-common.c (c_common_signed_or_unsigned_type): Emulate
+ c_common_unsigned_type behavior.
+
+2007-05-16 Paolo Bonzini <bonzini@gnu.org>
+
+ * config/i386/i386.c (legitimize_tls_address): Mark __tls_get_addr
+ calls as pure.
+
+2007-05-16 Eric Christopher <echristo@apple.com>
+
+ * config/rs6000/rs6000.c (rs6000_emit_prologue): Move altivec register
+ saving after stack push. Set sp_offset whenever we push.
+ (rs6000_emit_epilogue): Move altivec register restore before
+ stack push.
+
+2007-05-16 Richard Sandiford <richard@codesourcery.com>
+
+ * configure.ac: Allow sysroots to be relocated under $prefix as
+ well as $exec_prefix.
+ * configure: Regenerate.
+
+2007-05-16 Richard Sandiford <richard@codesourcery.com>
+
+ Revert:
+
+ 2007-05-12 Richard Sandiford <richard@codesourcery.com>
+
+ * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
+ (gcc_tooldir): Likewise.
+ * configure: Regenerate.
+ * Makefile.in (libsubdir_to_prefix): New variable, based on the
+ old configure.ac gcc_tooldir setting.
+ (prefix_to_exec_prefix): New variable.
+ (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
+ rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
+
+2007-05-14 Janis Johnson <janis187@us.ibm.com>
+
+ * c-typeck.c (build_binary_op): Return early for error.
+
+2007-05-15 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-ssa-loop-niter.c (record_estimate): Use GGC_NEW to allocate
+ struct nb_iter_bound.
+ (free_numbers_of_iterations_estimates_loop): Use ggc_free.
+ * gengtype.c (open_base_files): Add cfhloop.h to the list of includes.
+ * cfgloopmanip.c (place_new_loop): Vector larray is gc-allocated.
+ * tree-scalar-evolution.c: Include gt-tree-scalar-evolution.h.
+ (struct scev_info_str, scalar_evolution_info): Add GTY markers.
+ (new_scev_info_str): Use GGC_NEW to allocate struct scev_info_str.
+ (del_scev_info): Use ggc_free.
+ (scev_initialize): Allocate scalar_evolution_info in gc memory.
+ * loop-init.c: Include ggc.h.
+ (loop_optimizer_init): Use GGC_CNEW to allocate struct loops.
+ (loop_optimizer_finalize): Use ggc_free.
+ * tree-ssa-loop.c (pass_tree_unswitch, pass_vectorize,
+ pass_linear_transfom, pass_empty_loop, pass_complete_unroll,
+ pass_iv_optimize): Add TODO_ggc_collect.
+ * function.h (struct function): Remove skip marker from x_current_loops.
+ * cfgloop.c: Include ggc.h.
+ (flow_loops_free, flow_loop_free): Free the loop descriptions in gc
+ memory.
+ (establish_preds): Vector superloops is gc allocated.
+ (alloc_loop): Allocate loop using GGC_CNEW. Allocate head of
+ loop->exits list.
+ (flow_loops_find): Vector larray is gc allocated.
+ (loop_exit_free): Use ggc_free.
+ (rescan_loop_exit): Use GGC_NEW to allocate struct loop_exit. Reflect
+ that head of exits list is now not a part of struct loop.
+ (record_loop_exits): Allocate exits table in gc memory.
+ (get_loop_exit_edges, verify_loop_structure, single_exit): Reflect that
+ head of exits list is now not a part of struct loop.
+ * cfgloop.h (struct lpt_decision, struct nb_iter_bound,
+ struct loop_exit): Add GTY marker.
+ (struct loop): Add GTY marker. Make superloops vector gc allocated.
+ Add skip marker to aux field. Make head of exits list a separate
+ object.
+ (struct loops): Add GTY marker. Make larray vector gc allocated.
+ Add param marker to exits table.
+ (get_loops): Type changed.
+ * Makefile.in (tree-scalar-evolution.o): Add gt-tree-scalar-evolution.h
+ dependency.
+ (cfgloop.o, loop-init.o): Add ggc.h dependency.
+ (GTFILES): Add cfgloop.h and tree-scalar-evolution.c.
+ * basic-block.h (struct basic_block_def): Remove skip marker from
+ loop_father field.
+
+2007-05-14 Uros Bizjak <ubizjak@gmail.com>
+
+ * builtins.c (expand_builtin_mathfn): Use EXPAND_NORMAL instead
+ of 0 in the call to expand_expr().
+ (expand_builtin_mathfn_3): Ditto.
+ (expand_builtin_interclass_mathfn): Ditto.
+ (expand_builtin_cexpi): Ditto.
+ (expand_builtin_int_roundingfn): Ditto.
+ (expand_builtin_int_roundingfn_2): Ditto.
+ (expand_builtin_pow): Ditto.
+ (expand_builtin_powi): Ditto.
+ (expand_builtin_bswap): Ditto.
+ (expand_builtin_unop): Ditto.
+ (expand_builtin_fabs): Ditto.
+ (get_builtin_sync_mem): Use NULL_RTX instead of NULL in
+ the call to expand_expr().
+ (expand_builtin_sync_operation): Ditto.
+ (expand_builtin_compare_and_swap): Ditto.
+ (expand_builtin_lock_test_and_set): Ditto.
+ * except.c (expand_builtin_eh_return_data_regno): Use EXPAND_NORMAL
+ instead of 0 in the call to expand_expr().
+ (expand_builtin_extract_return_addr): Ditto.
+ (expand_builtin_eh_return): Ditto.
+ (expand_eh_return): Ditto.
+ * explow.c (expr_size): Ditto.
+ * expr.c (optimize_bitfield_assignment_op): Ditto.
+ (expand_assignement): Ditto.
+ (store_expr): Ditto.
+ (store_field): Ditto.
+ (expand_expr_addr_expr_1): Use NULL_RTX instead of NULL in
+ the call to expand_expr().
+ (expand_expr_real_1) [COMPLEX_CST]: Use EXPAND_NORMAL instead of 0
+ in the call to expand_expr().
+ [CONSTRUCTOR, PLUS_EXPR, MINUS_EXPR, NEGATE_EXPR, ABS_EXPR,
+ BIT_NOT_EXPR, LSHIFT_EXPR, LT_EXPR, TRUTH_NOT_EXPR]: Ditto.
+ [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO]: Use expand_normal() instead
+ of expand_expr().
+ * optabs.c (expand_vec_shift_expr): Ditto.
+ (expand_vec_cond_expr): Ditto.
+ (vector_compare_rtx): Use EXPAND_STACK_PARM instead of 1 in the
+ call to expand_expr().
+ * stmt.c (expand_return): Use EXPAND_NORMAL instead of 0
+ in the call to expand_expr().
+
+2007-05-14 Dave Korn <dave.korn@artimi.com>
+
+ * genautomata.c (gen_regexp_el): Allocate correct size for regexp.
+
+2007-05-14 Rafael Avila de Espindola <espindola@google.com>
+
+ * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
+ instead of c_common_unsigned_type.
+ (c_common_unsigned_type): Remove.
+ (shorten_compare): Use c_common_signed_or_unsigned_type instead of
+ c_common_unsigned_type.
+ (c_common_nodes_and_builtins): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * c-common.h (c_common_unsigned_type): Remove.
+ * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * c-format.c (check_format_types): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
+ * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
+ c_common_unsigned_type.
+ * convert.c (convert_to_integer): Use unsigned_type_for instead of
+ lang_hooks.types.unsigned_type.
+ * expmed.c (make_tree): Use unsigned_type_for instead of
+ lang_hooks.types.unsigned_type.
+ * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
+ lang_hooks.types.unsigned_type.
+ (build_range_check): Likewise.
+ (fold_unary): Likewise.
+ (fold_binary): Likewise.
+ (fold_ternary): Likewise.
+ * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
+ * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
+ * tree.c (get_unsigned_type): New.
+ (unsigned_type_for): Use get_unsigned_type instead of
+ lang_hooks.types.unsigned_type.
+
+2007-05-14 Kazu Hirata <kazu@codesourcery.com>
+
+ * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
+ to m68k_get_function_kind. Update its prototype.
+ * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
+ interrupt_thread.
+ (m68k_interrupt_function_p): Return enum m68k_function_type
+ instead of bool. Rename to m68k_get_function_kind.
+ (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
+ target is not fido.
+ (m68k_compute_frame_layout): Don't mark any register for save
+ if an interrupt_thread attribute is specified.
+ (m68k_hard_regno_rename_ok): Update a use of
+ m68k_interrupt_function_p.
+ * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
+ m68k_interrupt_function_p.
+ (m68k_function_type): New.
+ * config/m68k/m68k.md (*return): Output a 'sleep' instruction
+ for a function with an interrupt_thread attribute.
+ * doc/extend.texi: Document the interrupt_thread attribute.
+
+2007-05-13 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix PR tree-optimization/31911
+ * tree-ssa-pre.c (phi_translate): Make sure to cache results even
+ if they didn't change the expression.
+
+2007-05-13 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-scalar-evolution.c (resolve_mixers): Exported.
+ * tree-scalar-evolution.h (resolve_mixers): Declare.
+ * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
+ ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
+ record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
+ base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
+ init_array_ref, init_pointer_ref, analyze_indirect_ref,
+ strip_conversion, analyze_offset_expr, address_analysis,
+ object_analysis, analyze_offset): Removed.
+ (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
+ split_constant_offset, canonicalize_base_object_address,
+ object_address_invariant_in_loop_p, disjoint_objects_p,
+ dr_may_alias_p, dr_address_invariant_p): New functions.
+ (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
+ and dr_analyze_alias.
+ (initialize_data_dependence_relation): Use dr_may_alias_p
+ and object_address_invariant_in_loop_p.
+ (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
+ is chrec_dont_know.
+ (find_data_references_in_stmt): Restrict the analysis of data references
+ to the given loop nest.
+ (find_data_references_in_loop): Made static. Pass loop nest to
+ find_data_references_in_stmt.
+ (compute_data_dependences_for_loop): Use DR_VOPS.
+ (free_data_ref): Free DR_VOPS.
+ * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
+ (struct innermost_loop_behavior): ... new.
+ (struct base_object_info): Replaced by ...
+ (struct indices): ... new.
+ (struct dr_alias): New.
+ (enum data_ref_type): Removed.
+ (struct data_reference): Consist of struct innermost_loop_behavior,
+ struct indices and struct dr_alias.
+ (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
+ (DR_MEMTAG): Renamed to ...
+ (DR_SYMBOL_TAG): ... this.
+ (find_data_references_in_loop): Declaration removed.
+ * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
+ instead of DR_OFFSET_MISALIGNMENT. DR_ALIGNED_TO is never NULL.
+ (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
+ * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
+
+2007-05-13 Revital Eres <eres@il.ibm.com>
+
+ * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
+ which walks virtual def-use chains to find redundant stores.
+ (dse_optimize_stmt): Call it.
+
+2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
+
+ * gcse.c (gcse_main): Do jump bypassing in CPROP2.
+ * passes.c (init_optimization_passes): Move pass_jump_bypass
+ after loop2.
+
+ * basic-block.h (bb_has_eh_pred): Fix style issue.
+
+2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
+
+ PR rtl-optimization/31848
+ * loop-invariant.c (move_invariant_reg): If we move an insn
+ with a REG_EQUAL note, and that insn is not always executed,
+ remove the REG_EQUAL note.
+
+2007-05-12 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/31797
+ * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
+ propagate into a stmt that has volatile ops.
+
2007-05-12 Richard Sandiford <richard@codesourcery.com>
* configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
* tree-flow.h (strict_aliasing_warning_backend): Declare.
* tree-ssa-alias-warnings.c: New file.
* tree-ssa-alias.c (compute_may_aliases): Add call to
- strict_aliasing_warning_backend.
+ strict_aliasing_warning_backend.
2007-05-11 Zdenek Dvorak <dvorakz@suse.cz>
emit_call_insn.
2007-05-09 Bob Wilson <bob.wilson@acm.org>
-
+
* config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
-
+
2007-05-09 Bob Wilson <bob.wilson@acm.org>
* config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
dumps.
2007-05-08 Sandra Loosemore <sandra@codesourcery.com>
- Nigel Stephens <nigel@mips.com>
+ Nigel Stephens <nigel@mips.com>
* config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
Update comments and all uses.
bfin_expand_epilogue accordingly.
(sibcall_epilogue): Likewise.
(eh_return_internal): Likewise.
-
+
* config/bfin/bfin-protos.h (enum bfin_cpu): Add
BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
* config/bfin/bfin.c (bfin_handle_option): Handle
PR target/31854
* config/i386/i386.c (ix86_function_regparm): Process local
functions only when TREE_CODE (decl) equals FUNCTION_DECL.
-
+
2007-05-07 Mike Stump <mrs@apple.com>
* doc/invoke.texi (Warning Options): Document that -Wempty-body
* configure: Regenerate.
* config.in: Regenerate.
-2007-05-07 Naveen.H.S <naveen.hs@kpitcummins.com>
+2007-05-07 Naveen.H.S <naveen.hs@kpitcummins.com>
* config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
operand to HI mode.
(function_vector_handler): New
(current_function_special_page_vector): New
(m32c_special_page_vector_p): New.
- * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
+ * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
Prototype.
- * config/m32c/jump.md: Added instruction JSRS for functions
+ * config/m32c/jump.md: Added instruction JSRS for functions
with attribute "function_vector".
- * doc/extend.texi (function_vector): Added description
+ * doc/extend.texi (function_vector): Added description
for M16C, M32C targets.
2007-05-07 DJ Delorie <dj@redhat.com>
2007-05-05 Aurelien Jarno <aurelien@aurel32.net>
* config/pa/pa.md: Split tgd_load, tld_load and tie_load
- into pic and non-pic versions. Mark r19 as used for
- tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
+ into pic and non-pic versions. Mark r19 as used for
+ tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
for tgd_load, tld_load and tie_load .
* config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
- version of tgd_load, tld_load and tie_load depending on the
+ version of tgd_load, tld_load and tie_load depending on the
value of flag_pic.
2007-05-04 Ulrich Drepper <drepper@redhat.com>
("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
2007-05-04 Bob Wilson <bob.wilson@acm.org>
-
+
* config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
(subdi3, subdi_carry): Delete.
-
+
2007-05-04 Jan Hubicka <jh@suse.cz>
Richard Guenther <rguenther@suse.de>
with changed signature and 'debug_rgn_dependencies ()'.
(debug_rgn_dependencies): New static function.
(init_ready_list): Use it.
-
+
* sched-int.h (debug_dependencies): Declare.
2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
PR tree-optimization/31699
* tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
code.
- (vect_enhance_data_refs_alignment): Compute peel amount using
- TYPE_VECTOR_SUBPARTS instead of vf.
+ (vect_enhance_data_refs_alignment): Compute peel amount using
+ TYPE_VECTOR_SUBPARTS instead of vf.
* tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
2007-05-02 Brooks Moses <brooks.moses@codesourcery.com>
PR middle-end/22156
Temporarily revert:
2007-04-06 Andreas Tobler <a.tobler@schweiz.org>
- * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
+ * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
2007-04-05 Alexandre Oliva <aoliva@redhat.com>
* tree-sra.c (try_instantiate_multiple_fields): Needlessly
initialize align to silence bogus warning.
PR tree-optimization/30965
PR tree-optimization/30978
* Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
- * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
- (find_equivalent_equality_comparison): Likewise.
- (simplify_cond): Likewise.
- (get_prop_source_stmt): New helper.
- (get_prop_dest_stmt): Likewise.
+ * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
+ (find_equivalent_equality_comparison): Likewise.
+ (simplify_cond): Likewise.
+ (get_prop_source_stmt): New helper.
+ (get_prop_dest_stmt): Likewise.
(can_propagate_from): Likewise.
(remove_prop_source_from_use): Likewise.
- (combine_cond_expr_cond): Likewise.
- (forward_propagate_comparison): New function.
- (forward_propagate_into_cond): Rewrite to use fold for
- tree combining.
+ (combine_cond_expr_cond): Likewise.
+ (forward_propagate_comparison): New function.
+ (forward_propagate_into_cond): Rewrite to use fold for
+ tree combining.
(tree_ssa_forward_propagate_single_use_vars): Call
forward_propagate_comparison to propagate comparisons.