OSDN Git Service

2007-05-20 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 6285583..41311d9 100644 (file)
@@ -1,3 +1,366 @@
+2007-05-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
+       
+       PR middle-end/7651
+       PR c++/11856
+       PR c/12963
+       PR c/23587
+       PR other/29694
+       * c.opt (Wtype-limits): New.
+       * doc/invoke.texi (Wtype-limits): Document it.
+       (Wextra): Enabled by -Wextra.
+       * c-opts.c (c_common_post_options): Enabled by -Wextra.
+       * c-common.c (shorten_compare): Warn with Wtype-limits.
+
+2006-05-20  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/tmmintrin.h (_mm_alignr_epi32): Implement as always
+       inlined function, not as a macro.
+       (_mm_alignr_pi8): Ditto.
+       * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
+       (_mm_inserti_si64): Ditto.
+       * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
+       (_mm_extract_epi16): Ditto.
+       (_mm_insert_epi16): Ditto.
+       (_mm_shufflehi_epi16): Ditto.
+       (_mm_shufflelo_epi16): Ditto.
+       (_mm_shuffle_epi32): Ditto.
+       * config/i386/xmmintrin.h (_mm_set_ss): Use 0.0f for float constant.
+       * config/386/mm3dnow.h: Add __attribute__((__always_inline__)) to
+       all functions.
+       (_m_from_float): Add __extension__ to conversion.  Use 0.0f for
+       float constant.
+       (_m_to_float): Use C89 compatible assignment.
+
+2007-04-20  Martin Michlmayr  <tbm@cyrius.com>
+
+       PR target/32007
+       * config/arm/lib1funcs.asm: Define __ARM_ARCH__ on v2/v3 machines.
+
+2006-05-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
+
+       PR middle-end/7651
+       * doc/invoke.texi (Wreturn-type): Complete description.
+       (Wextra): Delete item about return-type warning.
+       * c-decl.c: Delete redundant Wextra warning.
+       
+2006-05-20  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/31585
+       * config/i386/pmmintrin.h: Do not include xmmintrin.h
+       * config/i386/xmmintrin.h (_mm_extract_pi16): Implement as always
+       inlined function, not as a macro.
+       (_mm_prefetch): Ditto.
+       (_m_pextrw): Ditto.
+       (_mm_insert_pi16): Ditto.
+       (_m_pinsrw): Ditto.
+       (_mm_shuffle_pi16): Ditto.  Add const to __N argument.
+       (_m_pshufw): Ditto. Add const to __N argument.
+       (_mm_shufle_ps): Ditto.  Add const to __mask argument.
+       * config/i386/emmintrin.h (_mm_slli_epi16): Add const to __B argument.
+       (_mm_slli_epi32): Ditto.
+       (_mm_srli_si128): Implement as always inlined function, not as a macro.
+       Add __inline to function declaration.
+       (_mm_slli_si128): Ditto.
+
+2007-05-19  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/sfp-machine.h (FP_EX_INVALID, FP_EX_DENORM,
+       FP_EXP_DIVZERO, FP_EX_OVERFLOW, FP_EX_UNDERFLOW, FP_EX_INEXACT):
+       New constants.
+       (struct fenv): New structure.
+       (FP_HANDLE_EXCEPTIONS): New define.
+       (FP_RND_NEAREST, FP_RND_ZERO, FP_RND_PINF, FP_RND_MINF): New constants.
+       (_FP_DECL_EXP): New define.
+       (FP_INIT_ROUNDMODE): New define.
+       (FP_ROUNDMODE): New define.
+
+2007-05-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
+
+       * doc/invoke.texi (Warning Options): Add -Wconversion-sign.
+       (Wconversion): Update description.
+       (Wconversion-sign): New.
+       * c.opt (Wconversion-sign): New.
+       * c-opts.c (c_common_post_options): Uninitialized Wconversion-sign
+       means disabled for C++. Otherwise, take the status of Wconversion.
+       * c-common.c (conversion_warning): Warn with either Wconversion or
+       Wconversion-sign.
+       (warnings_for_convert_and_check): Conditions are already checked by
+       conversion_warning.
+       (convert_and_check): Don't check warnings if the conversion failed.
+
+2007-05-19 Andy Hutchinson <HutchinsonAndy@netscape.net>
+          Anatoly Sokolov <aesok@dol.ru>
+
+       * config/avr/avr-protos.h (expand_prologue, expand_epilogue, 
+       avr_epilogue_uses) : Add declaration.
+       * config/avr/predicates.md (avr_sp_immediate_operand): New predicate.
+       * config/avr/constraints.md (R): New constraint.
+       config/avr/avr.md (SREG_ADDR, UNSPEC_SEI, UNSPEC_CLI, 
+       UNSPECV_PROLOGUE_SAVES, UNSPECV_EPILOGUE_RESTORES): New constants.
+       (*pop1, *pop2, *pop3, *pop4, *pop5): Combine into ...
+       (*addhi3_sp_R_pc2, *addhi3_sp_R_pc3): ... these patterns.
+       (*movhi_sp, popqi, pophi, enable_interrupt, disable_interrupt, 
+       call_prologue_saves, epilogue_restores, return_from_epilogue,
+       return_from_main_epilogue, return_from_interrupt_epilogue, 
+       return_from_naked_epilogue, prologue, epilogue): New patterns.
+       (jump): Handle symbol reference.
+       * config/avr/avr.c (out_adj_frame_ptr, out_set_stack_ptr, 
+       avr_output_function_prologue, avr_output_function_epilogue): Remove 
+       functions.
+       (avr_init_machine_status, expand_prologue, expand_epilogue, 
+       avr_asm_function_end_prologue, avr_epilogue_uses, 
+       avr_asm_function_begin_epilogue): New functions.
+       (prologue_size, epilogue_size, jump_tables_size): Remove global 
+       variables.
+       (TARGET_ASM_FUNCTION_PROLOGUE, TARGET_ASM_FUNCTION_EPILOGUE): Remove.
+       (TARGET_ASM_FUNCTION_END_PROLOGUE): Define.
+       (TARGET_ASM_FUNCTION_BEGIN_EPILOGUE): Define.
+       (avr_override_options): Initialise init_machine_status.
+       (output_movhi): Handle all stack pointer loads.
+       (out_movqi_r_mr, out_movqi_mr_r): Handle SREG_ADDR address.
+       (avr_output_addr_vec_elt): Do not use variable jump_tables_size.
+       * config/avr/avr.h (AVR_2_BYTE_PC, AVR_3_BYTE_PC): New.
+       (EPILOGUE_USES) Redefine.
+       (machine_function) Declare.
+
+2007-05-19  Richard Sandiford  <richard@codesourcery.com>
+
+       * config/mips/mips.c (mips_offset_within_alignment_p): Tweak comment.
+       Use a single return statement.
+
+2007-05-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       PR middle-end/30250
+       * builtins.c (do_mpfr_lgamma_r): New.
+       (fold_builtin_2): Handle builtin gamma_r/lgamma_r.
+       * tree.h (CASE_FLT_FN_REENT): New.
+
+2007-05-18  Geoffrey Keating  <geoffk@apple.com>
+
+       * dwarf2out.c (print_die): Use '%ld' not '%lu' to print a 'long'.
+       (output_die): Use 'unsigned long' with %x.
+       * sched-vis.c (print_value): Use 'unsigned HOST_WIDE_INT' and
+       HOST_WIDE_INT_PRINT_HEX to print HOST_WIDE_INT.
+       * tree-dump.c (dump_pointer): Use 'unsigned long' for %lx.
+
+       * unwind-dw2.c (uw_identify_context): Use the CFA, not the IP.
+
+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 
 
 2007-05-16  Paolo Bonzini  <bonzini@gnu.org>
 
-        * config/i386/i386.c (legitimize_tls_address): Mark __tls_get_addr
-        calls as pure.
+       * 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.
+       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>
 
        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.
        * 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.
        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.