OSDN Git Service

Canonicalize mips nmadd/nmsub patterns.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 8c66c9d..2ed0288 100644 (file)
@@ -1,3 +1,380 @@
+2004-08-17  James E Wilson  <wilson@specifixinc.com>
+
+       * config/mips/mips.c (gen_conditional_move): Use GET_MODE (op0) instead
+       of VOIDmode for comparison code mode.
+       * config/mips/mips.md: For conditional move patterns, use mode of
+       first compare operand for comparison mode, instead of VOIDmode.
+
+       * config/mips/mips.md: Add canonical nmadd and nmsub patterns for both
+       normal and -ffast-math code.
+
+2004-08-17  Mark Mitchell  <mark@codesourcery.com>
+
+       PR c++/15871
+       * doc/invoke.texi (-fkeep-inline-functions): Update documentation.
+
+2004-08-17  Robert Bowdidge  <bowdidge@apple.com>
+  
+        * config/rs6000/x-darwin: Add -mdynamic-no-pic to gcc build flags.
+
+2004-08-17  Andreas Tobler  <a.tobler@schweiz.ch>
+
+       * config/rs6000/darwin.md (*call_nonlocal_darwin64): Add #else clause
+       for non Darwin targets.
+       (*call_value_nonlocal_darwin64): Likewise.
+
+2004-08-17  Fariborz Jahanian <fjahanian@apple.com>
+
+       * config/rs6000/rs6000.c (rs6000_function_value): Check for
+       altivec mode for altivec return register.
+
+2004-08-17  David Edelsohn  <edelsohn@gnu.org>
+
+       Revert 2004-08-16  Stan Shebs  <shebs@apple.com>
+       * config/rs6000/rs6000.md: Include darwin.md.
+       (builtin_setjmp_receiver): Add DImode case.
+       * config/rs6000/rs6000.c (rs6000_emit_move): Add DImode case to
+       Darwin bits.
+
+2004-08-17  Dorit Naishlos  <dorit@il.ibm.com>
+
+       * tree-vectorizer.c: New File: loop vectorization on SSAed GIMPLE trees.
+       * tree-vectorizer.h: New File: Same.
+       * Makefile.in (tree-vectorizer.c, tree-vectorizer.h): Add new files.
+       * common.opt (ftree-vectorize): New flag to enable vectorization.
+       * timevar.def (TV_TREE_VECTORIZATION): New dump file for vectorization
+       pass.
+       * tree-data-ref.h (init_data_ref): Additional argument.
+       (array_base_name_differ_p): Moved to tree-data-ref.c.
+       * tree-data-ref.c (array_base_name_differ_p): Revised.
+       (initialize_data_dependence_relation): Call array_base_name_differ_p
+       with an extra argument.
+       (analyze_all_data_dependences): Same.
+       (init_data_ref): Additional argument is_read to set DR_IS_READ.
+       * tree-ssa-phiopt.c (empty_block_p): Expose for usage out of this file.
+       * tree-flow.h (vectorize_loops, empty_block_p): Add declaration.
+       * tree-optimize.c (pass_vectorize): Schedule the vectorization pass.
+       * tree-pass.h (tree_opt_pass pass_vectorize): Declare the new 
+       vectorization pass.
+       * tree-ssa-loop.c (tree_ssa_loop_init): Call scev_initialize.
+       (tree_ssa_loop_done): Call scev_finalize.
+       (tree_vectorize): Define the new vectorization pass.
+       * defaults.h (UNITS_PER_SIMD_WORD): Allow targets to specify the size of
+       the vector they support (until support for multiple vector sizes is
+       added to the vectorizer).
+       * config/i386/i386.h (UNITS_PER_SIMD_WORD): Define.
+       * config/rs6000/rs6000.h (UNITS_PER_SIMD_WORD): Define.
+       * invoke.texi (fdump-tree-vect, ftree-vectorize): Add
+       documentation.
+
+2004-08-17  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * objc/objc-act.c (build_protocol_initializer): Fix build_int_cst
+       usage.
+       (generate_protocol_list, handle_impent): Likewise.
+
+2004-08-17  Roger Sayle  <roger@eyesopen.com>
+
+       * regclass.c (init_reg_sets_1): Add ENABLE_CHECKING sanity tests to
+       ensure that call_used_regs is a superset of both fixed_regs and
+       call_really_used_regs.
+
+2004-08-17  Daniel Bornstein  <danfuzz@milk.com>
+
+       PR target/17019
+       * arm.md (addsi3_cbranch_scratch): Correct case labels.
+
+2004-08-17  Paolo Bonzini  <bonzini@gnu.org>
+
+       PR middle-end/17036
+       * fold-const.c (fold): Check for integer operand when
+       folding (A >> N) & 1 ? (1 << N) : 0.  Fix from Andrew
+       Pinski  <pinskia@physics.uc.edu>.
+
+2004-08-17  Paolo Bonzini  <bonzini@gnu.org>
+
+       * configure.ac: Trust toplevel's notion of BISON/FLEX/MAKEINFO.
+       No need to check if in a cross configuration.
+       * configure: Regenerate.
+
+       * calls.c (precompute_register_parameters):
+       Inline preserve_subexpressions_p ().
+       * expmed.c (expand_mult_const, emit_store_flag): Likewise.
+       * optabs.c (expand_binop, expand_twoval_binop, prepare_cmp_insn):
+       Likewise.
+       * expr.c (get_subtarget): Likewise.
+       * rtl.h (preserve_subexpressions_p): Remove.
+       * stmt.c (preserve_subexpressions_p): Remove.
+
+       * dojump.c (do_jump) <COND_EXPR, EQ_EXPR, NE_EXPR,
+       TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, COMPOUND_EXPR>:
+       Abort on gimplified cases.
+
+2004-08-16  James E Wilson  <wilson@specifixinc.com>
+
+       * tree.h (VECTOR_FLOAT_TYPE_P): New.
+       (FLOAT_TYPE_P): Use it.
+       * c-typeck.c (build_binary_op): After convert calls, check for
+       check for ERROR_MARK operands.
+
+2004-08-16  Zack Weinberg  <zack@codesourcery.com>
+
+       * Makefile.in (BUILD_PREFIX, BUILD_PREFIX_1): Delete.
+       (BUILD_RTL, BUILD_PRINT, BUILD_ERRORS, BUILD_VARRAY): Update.
+       (genobjs): Add build-rtl.o, build-print-rtl.o, build-varray.o.
+       (genobjs static pattern rule): Remove %.c dependency.
+       ($(BUILD_PREFIX_1)rtl.o, print-rtl.o, $(BUILD_PREFIX_1)varray.o):
+       Rename rules; delete commands; fix dependencies.
+       (mostlyclean): Do not delete temporary source copies.
+       * configure.ac: Delete all references to BUILD_PREFIX and
+       BUILD_PREFIX_1.
+       * configure: Regenerate.
+
+       * print-rtl.c: Include bconfig.h #ifdef GENERATOR_FILE.
+       Do not include tree.h, real.h, flags.h, hard-reg-set.h, or
+       basic-block.h #ifdef GENERATOR_FILE.  Surround some more code
+       with #ifndef GENERATOR_FILE so that nothing from those headers
+       is used.
+
+       * rtl.c, varray.c: Include bconfig.h #ifdef GENERATOR_FILE.
+
+2004-08-16  Adam Nemet  <anemet@lnxw.com>
+
+       * Makefile.in (LIBS): Move $(LIBIBERTY) after $(BANSHEELIB).
+
+2004-08-16  Andrew Pinski  <apinski@apple.com>
+
+       * target-def.h (TARGET_EH_RETURN_FILTER_MODE): Remove
+       extraneous semicolon.
+
+2004-08-16  Devang Patel  <dpatel@apple.com>
+
+       * c-common.c (handle_used_attribute): Set DECL_PRESERVE_P.
+       * print-tree.c (print_node): Print DECL_PRESERVE_P.
+       * target-def.h (TARGET_ASM_MARK_DECL_PRESERVED): New #define.
+       (TARGET_ASM_OUT): New member, TARGET_ASM_MARK_DECL_PRESERVED
+       * target.h (struct gcc_target): New member, mark_decl_preserved.
+       * hooks.c (hook_void_charptr): Rename to ...
+       (hook_void_constcharptr): ... new name.
+       * hooks.h (hook_void_charptr): Rename to ..
+       (hook_void_constcharptr): ... new name.
+       * tree.h (DECL_PRESERVE_P): New #define.
+       (struct tree_decl): New member, preserve_flag.
+       * varasm.c (assemble_start_function): Mark decl preserved.
+       (assemble_variable): Same.
+       * darwin.c (darwin_mark_decl_preserved): New function.
+       * darwin.h (TARGET_ASM_MARK_DECL_preserved): New #define.
+       * darwin-protos.h (darwin_mark_decl_preserved): New decl.
+       * doc/tm.texi (TARGET_ASM_MARK_DECL_PRESERVED): Document.
+
+2004-08-16  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * c-decl.c (grokdeclarator): Allow for function definition where
+       innermost declarator has attributes.
+
+2004-08-16  Fariborz Jahanian <fjahanian@apple.com>
+
+       * except.c (get_exception_filter, build_post_landing_pads,
+       dw2_build_landing_pads): Use target-specific mode for 'filter'.
+       * target-def.h (TARGET_EH_RETURN_FILTER_MODE): macro defined and used.
+       * target.h (eh_return_filter_mode): New field added.
+       * targhooks.c (default_eh_return_filter_mode): Defined.
+       * targhooks.h (default_eh_return_filter_mode): Declared.
+       * config/rs6000/rs6000.c (rs6000_eh_return_filter_mode): Defined.
+
+2004-08-16  Nathanael Nerode  <neroden@gcc.gnu.org>
+
+       * configure.ac: Replace _GCC_TOPLEV_NONCANONICAL_TARGET with
+       ACX_NONCANONICAL_TARGET; remove now-unneeded AC_SUBST.
+       * configure: Regenerate.
+
+2004-08-16  Stan Shebs  <shebs@apple.com>
+
+       Basic support for 64-bit Darwin.
+       * config/darwin.c (macho_indirect_data_reference): Add DImode case.
+       (machopic_legitimize_pic_address): Similarly, plus use Pmode
+       instead of SImode.
+       * config/rs6000/darwin.h (PTRDIFF_TYPE): Be "long int" if 64-bit.
+       (TARGET_OS_CPP_BUILTINS): Add 64-bit preprocessor macro.
+       (SUBTARGET_SWITCHES): Add -m32 and -m64 flags.
+       (SUBTARGET_OVERRIDE_OPTIONS): Require 64-bit processor if -m64.
+       (PROCESSOR_DEFAULT64): Define.
+       * config/rs6000/darwin.md: New file, patterns specific to 64-bit
+       Darwin.
+       * config/rs6000/rs6000.md: Include darwin.md.
+       (builtin_setjmp_receiver): Add DImode case.
+       * config/rs6000/rs6000.c (TARGET_ASM_UNALIGNED_DI_OP): Define for
+       Darwin.
+       (TARGET_ASM_ALIGNED_DI_OP): Ditto.
+       (rs6000_emit_move): Add DImode case to Darwin bits.
+       (machopic_output_stub): Use .quad if 64-bit.
+       * invoke.texi: Document -m32 and -m64.
+
+2004-08-16  Janis Johnson  <janis187@us.ibm.com>
+
+       * doc/extend.texi (AltiVec builtins): Document additional differences
+       from the Motorola AltiVec PIM.
+
+2004-08-16  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * c-typeck.c (build_c_cast): Only copy overflow from expr nodes.
+       * tree.h (IS_NON_TYPE_CODE_CLASS): Simplify.
+       (struct tree_common): Update public_flag documentation.
+
+2004-08-16  Nathanael Nerode  <neroden@gcc.gnu.org>
+
+       * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
+       Check for artificial variables, not is_gimple_tmp_var.
+       * tree-ssa-live.c (var_union): Likewise.
+
+2004-08-16  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * calls.c (load_register_parameters): Remove spurious FIXME token.
+
+2004-08-15  Ziemowit Laski  <zlaski@apple.com>
+
+       * Makefile.in (C_PRETTY_PRINT_H): Add c-pretty-print.h.
+       (c-lang.o): Depend on c-objc-common.h.
+       (c-objc-common.o): Depend on $(C_PRETTY_PRINT_H) and
+       c-objc-common.h; remove duplicate $(C_TREE_H) dependency.
+       * c-lang.c: Include c-objc-common.h.
+       (LANG_HOOKS_FINISH, LANG_HOOKS_INIT_OPTIONS,
+       LANG_HOOKS_INITIALIZE_DIAGNOSTICS, LANG_HOOKS_HANDLE_OPTION,
+       LANG_HOOKS_MISSING_ARGUMENT, LANG_HOOKS_POST_OPTIONS,
+       LANG_HOOKS_GET_ALIAS_SET, LANG_HOOKS_SAFE_FROM_P,
+       LANG_HOOKS_EXPAND_EXPR, LANG_HOOKS_MARK_ADDRESSABLE,
+       LANG_HOOKS_PARSE_FILE, LANG_HOOKS_TRUTHVALUE_CONVERSION,
+       LANG_HOOKS_FINISH_INCOMPLETE_DECL, LANG_HOOKS_UNSAFE_FOR_REEVAL,
+       LANG_HOOKS_STATICP, LANG_HOOKS_SET_DECL_ASSEMBLER_NAME,
+       LANG_HOOKS_NO_BODY_BLOCKS, LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL,
+       LANG_HOOKS_PRINT_IDENTIFIER, LANG_HOOKS_FUNCTION_ENTER_NESTED,
+       LANG_HOOKS_FUNCTION_LEAVE_NESTED, LANG_HOOKS_DUP_LANG_SPECIFIC_DECL,
+       LANG_HOOKS_DECL_UNINIT, LANG_HOOKS_RTL_EXPAND_STMT,
+       LANG_HOOKS_COMMON_ATTRIBUTE_TABLE, LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE,
+       LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN,
+       LANG_HOOKS_TREE_INLINING_DISREGARD_INLINE_LIMITS,
+       LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
+       LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING,
+       LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS,
+       LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN,
+       LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION, LANG_HOOKS_TYPE_FOR_MODE,
+       LANG_HOOKS_TYPE_FOR_SIZE, LANG_HOOKS_SIGNED_TYPE,
+       LANG_HOOKS_UNSIGNED_TYPE, LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE,
+       LANG_HOOKS_INCOMPLETE_TYPE_ERROR, LANG_HOOKS_TYPE_PROMOTES_TO,
+       LANG_HOOKS_REGISTER_BUILTIN_TYPE, LANG_HOOKS_WRITE_GLOBALS):
+       Move to c-objc-common.h.
+       * c-objc-common.c: Include c-objc-common.h.
+       * c-objc-common.h: New file.
+
+2004-08-15  Andreas Tobler  <a.tobler@schweiz.ch>
+           Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR target/14931
+       * config/rs6000/darwin-tramp.asm (L_abort$stub): Change to new stub
+       style.
+
+2004-08-15  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * tree.h (build_int_cst): New.
+       (build_int_2): Remove.
+       * tree.c (build_int_2): Remove.
+       (build_int_cst): New.
+       (make_vector_type, build_common_tree_nodes,
+       build_common_tree_nodes_2): Use build_int_cst.
+       * builtins.c (expand_builtin_prefetch, expand_builtin_strstr,
+       expand_builtin_strpbrk, expand_builtin_fputs,
+       build_string_literal, expand_builtin_printf,
+       expand_builtin_sprintf, fold_builtin_lround, fold_builtin_bitop,
+       fold_builtin_bitop, fold_builtin_isascii, fold_builtin_toascii,
+       fold_builtin_isdigit, simplify_builtin_strstr,
+       simplify_builtin_strpbrk, fold_builtin_fputs,
+       simplify_builtin_sprintf): Use build_int_cst.
+       * c-common.c (start_fname_decls, fix_string_type,
+       c_common_nodes_and_builtins, c_init_attributes,
+       shorten_compare): Likewise.
+       * c-decl.c (complete_array_type,
+       check_bitfield_type_and_width): Likewise.
+       * c-lex.c (interpret_integer, lex_charconst): Likewise.
+       * c-parse.in (primary): <TYPES_COMPATIBLE_P> Likewise.
+       * c-pretty-print.c (pp_c_integer_constant): Likewise.
+       * c-typeck.c (really_start_incremental_init, push_init_level,
+       set_nonincremental_init_from_string): Likewise.
+       * calls.c (load_register_parameters): Likewise.
+       * convert.c (convert_to_pointer): Likewise.
+       * coverage.c (coverage_counter_alloc, tree_coverage_counter_ref,
+       build_fn_info_type, build_ctr_info_value, build_gcov_info):
+       Likewise.
+       * except.c (init_eh, assign_filter_values, assign_filter_values):
+       Likewise.
+       * expmed.c (store_fixed_bit_field, extract_bit_field,
+       extract_fixed_bit_field, extract_split_bit_field, expand_shift,
+       expand_mult_const, expand_mult_highpart_adjust, extract_high_half,
+       expand_sdiv_pow2, expand_divmod, make_tree): Likewise.
+       * expr.c (convert_move, emit_group_load, emit_group_store,
+       expand_assignment, store_constructor, store_field,
+       expand_expr_real_1, reduce_to_bit_field_precision): Likewise.
+       * fold-const.c (force_fit_type, int_const_binop, fold_convert_const,
+       invert_truthvalue, optimize_bit_field_compare,
+       decode_field_reference, all_ones_mask_p, constant_boolean_node,
+       fold_div_compare, fold, fold_read_from_constant_string,
+       fold_negate_const, fold_abs_const, fold_not_const): Likewise.
+       * function.c (assign_parm_setup_block): Likewise.
+       * stmt.c (shift_return_value, expand_end_case_type,
+       estimate_case_costs): Likewise.
+       * stor-layout.c (layout_type, initialize_sizetypes,
+       set_min_and_max_values_for_integral_type): Likewise.
+       * tree-chrec.c (chrec_fold_multiply_poly_poly,
+       reset_evolution_in_loop): Likewise.
+       * tree-chrec.h (build_polynomial_chrec): Likewise.
+       * tree-complex.c (build_replicated_const): Likewise.
+       * tree-eh.c (honor_protect_cleanup_actions,
+       lower_try_finally_onedest, lower_try_finally_copy,
+       lower_try_finally_switch): Likewise.
+       * tree-mudflap.c (mf_build_string, mx_register_decls,
+       mudflap_register_call, mudflap_enqueue_constant): Likewise.
+       * tree-nested.c (get_trampoline_type, get_nl_goto_field): Likewise.
+       * tree-pretty-print.c (dump_generic_node): Likewise.
+       * tree-ssa-ccp.c (widen_bitfield, maybe_fold_offset_to_array_ref):
+       Likewise.
+       * tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Likewise.
+       * tree-ssa-loop-niter.c (number_of_iterations_cond,
+       loop_niter_by_eval, upper_bound_in_type, lower_bound_in_type):
+       Likewise.
+
+       * config/alpha/alpha.c (alpha_initialize_trampoline,
+       alpha_va_start, alpha_gimplify_va_arg_1): Use build_int_cst.
+       * config/arm/arm.c (arm_get_cookie_size): Likewise.
+       * config/c4x/c4x.c (c4x_gimplify_va_arg_expr): Likewise.
+       * config/i386/i386.c (ix86_va_start, ix86_gimplify_va_arg): Likewise.
+       * config/i860/i860.c (i860_va_start): Likewise.
+       * config/ia64/ia64.c (ia64_gimplify_va_arg): Likewise.
+       * config/mips/mips.c (mips_build_builtin_va_list, mips_va_start,
+       mips_gimplify_va_arg_expr): Likewise.
+       * config/pa/pa.c (hppa_gimplify_va_arg_expr): Likewise.
+       * config/rs6000/rs6000.c (rs6000_va_start, rs6000_gimplify_va_arg,
+       add_compiler_branch_island): Likewise.
+       * config/s390/s390.c (s390_va_start): Likewise.
+       * config/sh/sh.c (sh_va_start): Likewise.
+       * config/stormy16/stormy16.c (xstormy16_expand_builtin_va_start):
+       Likewise.
+       * config/xtensa/xtensa.c (xtensa_va_start,
+       xtensa_gimplify_va_arg_expr): Likewise.
+
+       * objc/objc-act.c (build_objc_string_object,
+       build_objc_symtab_template, init_def_list, init_objc_symtab,
+       init_module_descriptor, generate_static_references,
+       build_selector_translation_table, get_proto_encoding,
+       build_typed_selector_reference, build_selector_reference,
+       build_next_objc_exception_stuff,
+       build_method_prototype_list_template, generate_descriptor_table,
+       generate_protocols, build_protocol_initializer,
+       build_ivar_list_template, build_method_list_template,
+       build_ivar_list_initializer, generate_ivars_list,
+       generate_dispatch_table, generate_protocol_list,
+       build_category_initializer, build_shared_structure_initializer,
+       generate_shared_structures, handle_impent,
+       generate_objc_image_info): Use build_int_cst.
+
 2004-08-15  Ben Elliston  <bje@au.ibm.com>
 
        * vec.h: Comment improvements.
        hard_fp_register_operand, hard_int_register_operand,
        reg_or_cint_operand, some_operand, some_ni_operand, input_operand,
        samegp_function_operand, direct_call_operand, small_symbolic_operand,
-       global_symbolic_operand, call_operand, symbolic_operand, 
+       global_symbolic_operand, call_operand, symbolic_operand,
        dtp16_symbolic_operand, dtp32_symbolic_operand,
        gotdtp_symbolic_operand, tp16_symbolic_operand, tp32_symbolic_operand,
        gottp_symbolic_operand, alpha_comparison_operator,
        * config/i386/xmmintrin.h: Include <mm_malloc.h>.
 
 2004-08-03  H.J. Lu  <hongjiu.lu@intel.com>
-           Tanguy FautrÃ\83  <tfautre@pandora.be>
+           Tanguy Fautrà <tfautre@pandora.be>
 
        * config/i386/pmm_malloc.h: New file.