+2005-04-12 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * config/bfin/bfin.c (bfin_library_id_string): Remove.
+ (bfin_library_id): New variable.
+ (bfin_expand_prologue): Use bfin_library_id and bfin_lib_id_given
+ instead of bfin_library_id_string.
+ (bfin_handle_option): New function.
+ (override_options): Remove most code to deal with shared library IDs,
+ just check they aren't used without -mid-shared-library.
+ (TARGET_HANDLE_OPTION): Define.
+ * config/bfin/bfin.h (TARGET_OPTIONS): Delete macro.
+ * config/bfin/bfin.opt (mshared-library-id=): New.
+
+2005-04-12 Kazu Hirata <kazu@cs.umass.edu>
+
+ * tree-vect-transform.c: Fix comment typos.
+
+2005-04-12 Mostafa Hagog <mustafa@il.ibm.com>
+
+ * postreload-gcse.c (eliminate_partially_redundant_load): Don't
+ split critical edges when not possible/profitable.
+
+2005-04-12 Richard Sandiford <rsandifo@redhat.com>
+
+ * config/ns32k/ns32k.h (target_flags, MASK_32081, MASK_RTD)
+ (MASK_REGPARM, MASK_32532, MASK_32332, MASK_NO_SB, MASK_NO_BITFIELD)
+ (MASK_HIMEM, MASK_32381, MASK_MULT_ADD, MASK_SRC, MASK_IEEE_COMPARE)
+ (TARGET_32081, TARGET_32381, TARGET_MULT_ADD, TARGET_RTD)
+ (TARGET_REGPARM, TARGET_32532, TARGET_32332, TARGET_SB, TARGET_HIMEM)
+ (TARGET_BITFIELD, TARGET_IEEE_COMPARE, TARGET_SWITCHES): Delete.
+ (OVERRIDE_OPTIONS): Clear MASK_SB instead of setting MASK_NO_SB.
+ * config/ns32k/netbsd.h (TARGET_DEFAULT): Remove MASK_NO_SB and
+ MASK_NO_BITFIELD.
+ * config/ns32k/ns32k.c (ns32k_handle_option): New function.
+ (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
+ * config/ns32k/ns32k.opt: New file.
+
+2005-04-12 Richard Sandiford <rsandifo@redhat.com>
+
+ * config.gcc (m68k-*-linux*): Add m68k/ieee.opt to $extra_options.
+ * config/m68k/m68k.h (target_flags, MASK_68020, TARGET_68020)
+ (MASK_68030, TARGET_68030, MASK_68040, TARGET_68040, MASK_68040_ONLY)
+ (TARGET_68040_ONLY, MASK_68060, TARGET_68060, MASK_5200, TARGET_5200)
+ (MASK_CFV3, TARGET_CFV3, MASK_CFV4, TARGET_CFV4, MASK_528x)
+ (TARGET_528x, MASK_CF_HWDIV, TARGET_CF_HWDIV, MASK_68881, TARGET_68881)
+ (MASK_BITFIELD, TARGET_BITFIELD, MASK_SHORT, TARGET_SHORT)
+ (MASK_ALIGN_INT, TARGET_ALIGN_INT, MASK_PCREL, TARGET_PCREL)
+ (MASK_NO_STRICT_ALIGNMENT, TARGET_STRICT_ALIGNMENT, MASK_RTD)
+ (TARGET_RTD, MASK_SEP_DATA, TARGET_SEP_DATA, MASK_ID_SHARED_LIBRARY)
+ (TARGET_ID_SHARED_LIBRARY, MASK_ALL_CF_BITS, TARGET_SWITCHES)
+ (TARGET_OPTIONS, SUBTARGET_SWITCHES, SUBTARGET_OPTIONS): Delete.
+ (MASK_COLDFIRE): Formatting fixes.
+ (TARGET_COLDFIRE): Turn into a boolean value for consistency.
+ * config/m68k/linux.h (SUBTARGET_SWITCHES): Delete.
+ * config/m68k/m68k.c (m68k_library_id_string): Initialize to
+ "_current_shared_library_a5_offset_".
+ (TARGET_DEFAULT_TARGET_FLAGS, TARGET_HANDLE_OPTION): Override defaults.
+ (MASK_ALL_CPU_BITS): New macro.
+ (m68k_handle_option): New function.
+ (override_options): Remove handling of m68k_library_id_string.
+ * config/m68k/m68k.opt: New file.
+ * config/m68k/ieee.opt: New file.
+
+2005-04-11 Mark Mitchell <mark@codesourcery.com>
+
+ * target-def.h (TARGET_CXX_EXPORT_CLASS_DATA): Remove.
+ (TARGET_CXX_DETERMINE_CLASS_VISIBILITY): New macro.
+ (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Likewise.
+ (TARGET_CXX): Adjust accordingly.
+ * target.h (struct gcc_target): Remove epxort_class_data. Add
+ determine_class_data_visibility and class_data_always_comdat.
+ * doc/tm.texi (TARGET_CXX_EXPORT_CLASS_DATA): Remove.
+ (TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY): Document.
+ (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Likewise.
+ * config/arm/arm.c (arm_cxx_export_class_data): Remove.
+ (arm_cxx_determine_class_data_visibility): New.
+ (arm_cxx_class_data_always_comdat): Likewise.
+ (TARGET_CXX_EXPORT_CLASS_DATA): Remove.
+ (TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY): Define.
+ (TARGET_CXX_CLASS_DATA_ALWAYS_COMDAT): Likewise.
+ * config/arm/arm.h (TARGET_ARM_DYNAMIC_VAGUE_LINKAGE_P): Define.
+ * config/arm/symbian.h (TARGET_ARM_DYNAMIC_VAGUE_LINKAGE_P):
+ Define.
+
+2005-04-11 Devang Patel <dpatel@apple.com>
+
+ * tree-data-ref.c (build_classic_dist_vector,
+ compute_subscript_distance): Make externally visible.
+ * tree-data-ref.h (build_classic_dist_vector,
+ compute_subscript_distance): Same.
+ * tree-vect-analyze.c (vect_analyze_data_ref_dependence):
+ Check distance vector against vectorization factor.
+ (vect_analyze_loop): Determine vectorizaion factor before
+ analyzing data dependences.
+ * tree-vectorizer.c (loops_num): Make it externally visible and
+ rename ...
+ * tree-vectorizer.c (vect_loops_num): ... new name.
+ * tree-vectorizer.h (vect_loops_num): New.
+
+2005-04-11 Devang Patel <dpatel@apple.com>
+
+ * tree-vect-analyze.c (vect_analyze_operations): Check
+ vectorizable codition.
+ * tree-vect-transform.c (vect_is_simple_cond): New function.
+ (vectorizable_condition): New function.
+ (vect_transform_stmt): Handle condition_vec_info_type.
+ * tree-vectorizer.h (enum stmt_vec_info_type): Add
+ condition_vec_info_type.
+ (vectorizable_condition): New.
+
+2005-04-11 Geoffrey Keating <geoffk@apple.com>
+
+ * config/i386/i386.h (TARGET_FPMATH_DEFAULT): New.
+ * config/i386/darwin.h (TARGET_FPMATH_DEFAULT): New.
+ * config/i386/i386.c (override_options): Use TARGET_FPMATH_DEFAULT.
+
+ * config/i386/darwin.h (ASM_SPEC): Use -arch i386 not -arch i686.
+ (SUBTARGET_EXTRA_SPECS): Always 'i386'.
+
+ * dwarf2out.c (output_line_info): Don't try to dereference
+ a NULL current_function_decl.
+
+ * config/t-slibgcc-darwin: Don't put shared libraries in
+ directories other than $(slibdir).
+ * config/rs6000/darwin.h: Find -m64 libgcc under the name the
+ OS uses for it.
+
+2005-04-11 Diego Novillo <dnovillo@redhat.com>
+
+ PR tree-optimization/20933
+ * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Move
+ logic to reject aliases between read-only and writable
+ variables ...
+ (may_alias_p): ... here.
+ (get_tmt_for): Do not associate read-only tags to pointers
+ whose pointed-to type is not read-only.
+ * tree-ssa.c (verify_ssa): Check that memory stores have at
+ least one V_MAY_DEF or V_MUST_DEF.
+
+2005-04-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
+
+ PR/17092
+ * configure.ac (gcc_UNLOCKED_FUNCS): New.
+ (AC_CHECK_FUNCS, AC_CHECK_DECLS): Check for gcc_UNLOCKED_FUNCS.
+ * system.h (putchar, getc, getchar, clearerr, feof, fileno,
+ fflush, fgetc, fgets, ferror, fread): Redefine to the associated
+ _unlocked function.
+ (fwrite_unlocked): Fix prototype.
+
+ * configure, config.in: Regenerate.
+
+2005-04-11 David Edelsohn <edelsohn@gnu.org>
+
+ * tree-ssa-loop-im.c: Include real.h.
+ (determine_invariantness_stmt): If real division divisor is
+ invariant and flag_unsafe_math_optimizations enabled, generate
+ invariant reciprocal for hoisting.
+ * Makefile.in (tree-ssa-loop-im.o): Add real.h dependency.
+
+2005-04-11 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix PR tree-optimization/20926
+
+ * tree-ssa-alias.c (add_type_alias): Handle subvars.
+
+2005-04-11 Devang Patel <dpatel@apple.com>
+
+ * config/rs6000.c (rs6000_emit_vector_select): Fix vector select
+ operand ordering.
+
+2005-04-11 Andrew Pinski <pinskia@physics.uc.edu>
+
+ * fold-const.c (fold_binary_op_with_conditional_arg):
+ use fold_buildN instead of "fold (buildN" in some
+ non obvious places.
+ (fold_unary): Likewise.
+ (fold_binary): Likewise.
+
+2005-04-11 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix PR tree-optimization/20612
+ * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Fix increment
+ handling
+ (perfect_nestify): preheaderbb is *not* part of loop of the
+ old destination.
+
+2005-04-11 Andrew Pinski <pinskia@physics.uc.edu>
+
+ * tree-ssa-alias.c (may_alias_p): If the variable
+ is a global variable and the pointer is parameter
+ and -fargument-noalias-global is used, then
+ the pointer cannot alias the variable.
+
+2005-04-11 James A. Morrison <phython@gcc.gnu.org>
+
+ * config/sparc/sparc.c: Use gcc_assert and gcc_unreachable.
+ * config/sparc/sparc.h: Likewise.
+ * config/sparc/sparc.md: Likewise.
+
+2005-04-11 Kazu Hirata <kazu@cs.umass.edu>
+
+ * tree-vrp.c (maybe_add_assert_expr): Move a comment.
+
+ * tree-vrp.c: Fix a comment typo.
+
+2005-04-11 Diego Novillo <dnovillo@redhat.com>
+
+ PR tree-optimization/20920
+ * tree-pretty-print.c (dump_generic_node): Show '(ab)' if an
+ SSA_NAME flows through an abnormal edge.
+ * tree-vrp.c (infer_value_range): Ignore SSA names that flow
+ through abnormal edges.
+ (maybe_add_assert_expr): Likewise.
+
+2005-04-11 Richard Sandiford <rsandifo@redhat.com>
+
+ * config/s390/s390.h (s390_tune_string, s390_arch_string)
+ (s390_warn_framesize_string, s390_warn_dynamicstack_string)
+ (s390_stack_size_string, s390_stack_guard_string, target_flags)
+ (MASK_HARD_FLOAT, MASK_SMALL_EXEC, MASK_DEBUG_ARG, MASK_64BIT)
+ (MASK_ZARCH, MASK_MVCLE, MASK_TPF_PROFILING, MASK_NO_FUSED_MADD)
+ (MASK_BACKCHAIN, MASK_PACKED_STACK, TARGET_HARD_FLOAT)
+ (TARGET_SOFT_FLOAT, TARGET_SMALL_EXEC, TARGET_DEBUG_ARG)
+ (TARGET_64BIT, TARGET_ZARCH, TARGET_MVCLE, TARGET_TPF_PROFILING)
+ (TARGET_NO_FUSED_MADD, TARGET_FUSED_MADD, TARGET_BACKCHAIN)
+ (TARGET_PACKED_STACK, TARGET_SWITCHES, TARGET_OPTIONS): Delete.
+ * config/s390/s390.c (TARGET_DEFAULT_TARGET_FLAGS): Override default.
+ (TARGET_HANDLE_OPTION): Likewise.
+ (s390_tune): Initialize to PROCESSOR_max.
+ (s390_arch_string): Make static.
+ (s390_tune_string, s390_warn_framesize_string): Delete.
+ (s390_warn_dynamicstack_string, s390_stack_size_string): Delete.
+ (s390_stack_guard_string, s390_warn_dynamicstack_p): Delete.
+ (s390_handle_arch_option, s390_handle_option): New functions.
+ (override_options): Remove parsing of option strings.
+ * config/s390/s390.opt: New file.
+
+2005-04-11 Paolo Bonzini <bonzini@gnu.org>
+
+ * tree-complex.c (expand_vector_operations): Call
+ update_stmt_if_modified.
+
+2005-04-11 Paolo Bonzini <bonzini@gnu.org>
+
+ * tree-vect-analyze (vect_determine_vectorization_factor):
+ Do not use GET_MODE_NUNITS.
+ * tree-vect-transform.c (vect_get_vec_def_for_operand,
+ (vectorizable_load, vect_transform_loop): Likewise.
+
+2005-04-11 Uros Bizjak <uros@kss-loka.si>
+
+ * builtins.def (BUILT_IN_LCEIL, BUILT_IN_LCEILF, BUILT_IN_LCEILL)
+ (BUILT_IN_LLCEIL, BUILT_IN_LLCEILF, BUILT_IN_LLCEILL): New.
+ * optabs.h (enum optab_index): Add new OTI_lceil.
+ (lceil_optab): Define corresponding macro.
+ * optabs.c (init_optabs): Initialize lceil_optab.
+ * genopinit.c (optabs): Implement lceil_optab using lceilsi2
+ and lceildi2 patterns.
+ * builtins.c (expand_builtin_int_roundingfn): Handle
+ BUILT_IN_LCEIL{,F,L} and BUILT_IN_LLCEIL{,F,L}.
+ (fold_builtin_int_roundingfn): Handle BUILT_IN_LCEIL{,F,L} and
+ BUILT_IN_LLCEIL{,F,L}.
+ (fold_builtin_1): Fold BUILT_IN_LCEIL{,F,L} and
+ BUILT_IN_LLCEIL{,F,L} using fold_builtin_int_roundingfn.
+ (mathfn_built_in): Handle BUILT_IN LCEIL and BUILT_IN_LLCEIL.
+ (expand_builtin): Expand BUILT_IN_LCEIL{,F,L} and
+ BUILT_IN_LLCEIL{,F,L} using expand_builtin_int_roundingfn.
+ * convert.c (convert_to_integer): Convert (long int)ceil{,f,l},
+ into lceil built-in function and (long long int)ceil{,f,l} into
+ llceil built-in function.
+ * fold-const.c (tree_expr_nonnegative_p): Add BUILT_IN_LCEIL and
+ BUILT_IN_LLCEIL.
+
+2005-04-10 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
+
+ * pa/quadlib.c (_U_Qfneg): Toggle sign bit instead of subtracting from
+ zero.
+
+2005-04-10 Kazu Hirata <kazu@cs.umass.edu>
+
+ * config/arm/arm.c: Fix a comment typo.
+ * doc/tree-ssa.texi: Fix a typo.
+
+2005-04-10 Steven Bosscher <stevenb@suse.de>
+
+ * cselib.c (clear_table): Rename to cselib_clear_table.
+ * cselib.h (cselib_clear_table): Add prototype.
+ * gcse.c (gcse_main): Make 'f' argument unused.
+ (alloc_gcse_mem): Do not walk the insn chain, walk the contents
+ of each basic block instead.
+ (compute_sets, compute_hash_table_work): Likewise.
+ (constprop_register): Change int 'alter_jumps' argument to bool.
+ (do_local_cprop): Likewise.
+ (local_cprop_pass): Likewise. Also walk basic blocks instead of
+ the insn chain. Explicitly clear the cselib tables after finishing
+ one basic block. Make sure there are no unterminated libcall blocks.
+ Update compute_sets call.
+ (cprop): Walk basic blocks instead of the insn chain.
+ (one_cprop_pass, compute_ld_motion_mems, compute_store_table):
+ Likewise.
+ (bypass_jumps): Update alloc_gcse_mem, compute_sets, and
+ one_cprop_pass calls.
+
+2005-04-10 Richard Sandiford <rsandifo@redhat.com>
+
+ * combine.c (combine_simplify_rtx): Remove a transformation that
+ relies on an invalid assumption about rtl sign-extension semantics.
+
+2005-04-10 Richard Sandiford <rsandifo@redhat.com>
+
+ * value-prof.c (tree_divmod_fixed_value_transform): Fix arguments
+ to build_int_cst_wide.
+
+2005-04-09 Alexandre Oliva <aoliva@redhat.com>
+
+ PR target/20126
+ * loop.c (loop_givs_rescan): If replacement of DEST_ADDR failed,
+ set the original address pseudo to the correct value before the
+ original insn, if possible, and leave the insn alone, otherwise
+ create a new pseudo, set it and replace it in the insn.
+ * recog.c (validate_change_maybe_volatile): New.
+ * recog.h (validate_change_maybe_volatile): Declare.
+
+2005-04-09 Caroline Tice <ctice@apple.com>
+
+ * bb-reorder.c (find_rarely_executed_basic_blocks_and_crossing_edges):
+ Remove targetm.have_named_sections test.
+ (fix_edges_for_rarely_executed_code): Likewise.
+ (insert_section_boundary_note): Likewise.
+ (reorder_basic_blocks): Check partitioning flag before calling
+ verify_hot_cold_block_grouping.
+ * dbxout.c (dbxout_function_end): Get hot/cold section labels from
+ the function struct rather than global variables.
+ * dwarf2out.c (COLD_TEXT_SECTION_LABEL): New macro.
+ (COLD_END_LABEL): Likewise
+ (cold_text_section_label): New static global variable.
+ (cold_end_label): Likewise.
+ (dwarf2out_switch_text_section): Get hot/cold section labels from
+ the function struct rather than global variables.
+ (output_aranges): Use cold_text_section_label and cold_end_label;
+ check partitioning flag before putting out delta.
+ (output_ranges): Remove incorrect code attempting to use
+ hot/cold labels.
+ (output_line_info): Get cold section label from function struct.
+ (add_location_or_const_value_attribute): Likewise.
+ (get_subprogram_die): Get hot/cold section labels from function struct.
+ (dwarf2out_var_location): Likewise.
+ (dwarf2out_init): Generate cold_text_section_label and cold_end_label;
+ write out cold_text_section_label if partition flag is set.
+ (dwarf2out_finish): Write out cold_end_label if partition flag is set;
+ * function.h (struct function): Add new fields to point to hot/cold
+ section labels: hot_section_label, cold_section_label,
+ hot_section_end_label and cold_section_end_label; also add new field
+ for cold text section name, unlikely_text_section_name.
+ * opts.c (decode_options): Turn off partitioning flag if
+ !targetm.have_named_sections.
+ * output.h (hot_section_label): Remove.
+ (hot_section_end_label): Remove.
+ (cold_section_end_label): Remove.
+ (unlikely_section_label): Remove.
+ (unlikely_text_section_name): Remove.
+ * passes.c (rest_of_handle_final): Remove code that frees
+ unlikely_text_section_name.
+ * varasm.c (unlikely_section_label): Remove.
+ (hot_section_label): Remove.
+ (hot_section_end_label): Remove.
+ (cold_section_end_label): Remove.
+ (unlikely_text_section_name): Remove.
+ (initialize_cold_section_name): Modify to call
+ targetm.strip_name_encoding; to store cold section name in current
+ function struct, if it exists; and to only use the decl_section_name
+ if flag_named_sections is true.
+ (unlikely_text_section): Modify to get section name out of current
+ function struct, if there is one; otherwise build it from
+ UNLIKELY_EXECUTED_TEXT_SECTION_NAME.
+ (in_unlikely_text_section): Likewise.
+ (named_section): Modify to get/put cold section name in current function
+ struct, if there is one.
+ (function_section): Change 'bool unlikely' to 'int reloc'; check
+ targetm.have_named_sections before calling named_section.
+ (current_function_section): Likewise.
+ (assemble_start_function): Modify to get/put unlikely_text_section_name
+ in current function struct; modify to get hot/cold section labels
+ from function struct; initialize labels using
+ ASM_GENERATE_INTERNAL_LABEL;
+ test partitioning flag before writing out hot section label.
+ (assemble_end_function): Test partitioning flag before writing out
+ hot/cold section labels.
+ (default_section_type_flags_1): Modify to use array instead of
+ char* for unlikely_text_section_name; set flags correctly for
+ cold text section if there is not a current function decl.
+
2005-04-09 Jakub Jelinek <jakub@redhat.com>
* tree.h (enum tree_index): Add TI_VA_LIST_GPR_COUNTER_FIELD
* c-pretty-print.c (pp_c_statement): Likewise.
* c-semantics.c (build_break_stmt, build_continue_stmt): Remove.
+2005-04-08 Devang Patel <dpatel@apple.com>
+
+ * tree-if-conv.c (find_phi_replacement_condition): New parameter, loop.
+ While selecting replacement condition pay attention to loop header.
+
2005-04-08 Diego Novillo <dnovillo@redhat.com>
Merge from tree-cleanup-branch: VRP, store CCP, store
* config/mn10300/mn10300.opt: New file.
2005-04-05 Eric Botcazou <ebotcazou@libertysurf.fr>
- Sebastian Pop <sebastian.pop@cri.ensmp.fr>
+ Sebastian Pop <sebastian.pop@cri.ensmp.fr>
PR tree-optimization/19903
* tree-chrec.c (chrec_convert): Return chrec_dont_know for constants
CRIS epilogue as RTL.
* config/cris/cris.md: Change all 0 in unspec 0 to
CRIS_UNSPEC_PLT.
- (CRIS_UNSPEC_PLT, CRIS_UNSPEC_FRAME_DEALLOC): New constants.
+ (CRIS_UNSPEC_PLT, CRIS_UNSPEC_FRAME_DEALLOC): New constants.
("*cris_load_multiple", "cris_frame_deallocated_barrier"): New
patterns.
("return"): Change to define_expand. Call cris_expand_return for