OSDN Git Service

* regmove.c: Move all of pass_stack_adjustments from here...
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index 7375955..f60049f 100644 (file)
@@ -1,5 +1,405 @@
+2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * regmove.c: Move all of pass_stack_adjustments from here...
+       * combine-stack-adj.c: ...to this new file.
+       * Makefile.in: Add rules for combine-stack-adj.o.
+
+2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
+
+       PR tree-optimization/31383
+       * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
+       to have the same length.
+
+2007-03-30  Jan Hubicka  <jh@suse.cz>
+
+       PR middle-end/PR30700
+       * dwarf2out.c (reference_to_unused): Ask cgraph for functions 
+       availablility; add more sanity checking; ask varpool only about
+       VAR_DECL.
+
+2007-03-29  Richard Henderson  <rth@redhat.com>
+
+       * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
+       to decide, but __SIZEOF_LONG_LONG__.
+
+2007-03-29  Richard Henderson  <rth@redhat.com>
+
+       * emutls.c (struct __emutls_array): New.
+       (emutls_destroy): Use it instead of casting element 0 from void*.
+       (__emutls_get_address): Likewise.
+
+2007-03-29  Richard Henderson  <rth@redhat.com>
+
+       * varasm.c (initializer_constant_valid_p): Don't deny
+       DECL_DLLIMPORT_P on functions.
+
+       * config/i386/cygming.h: Remove function declarations.
+       (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
+       (ASM_OUTPUT_LABELREF): Remove.
+       (COMMON_ASM_OP): Remove.
+       (ASM_OUTPUT_COMMON): Remove.
+       (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
+       (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
+       (ASM_DECLARE_FUNCTION_NAME): Likewise.
+       * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
+       Rename from TARGET_ENCODE_SECTION_INFO.
+       * config/i386/netware.h: Likewise.
+       * config/i386/i386-protos.h: Update.
+       * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
+       of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
+       (legitimate_constant_p): Reject dllimports.
+       (dllimport_map, get_dllimport_decl): New.
+       (legitimize_dllimport_symbol): New.
+       (legitimize_address, ix86_expand_move): Use it.
+       (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
+       * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
+       (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
+       (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
+       * config/i386/predicates.md (constant_call_address_operand): Only
+       accept symbols; reject dllimport_p symbols.
+       * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
+       i386_pe_maybe_record_exported_symbol.
+       * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
+       (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
+       (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
+       trust the setting of DECL_DLLIMPORT_P.
+       (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
+       (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
+       (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
+       tidy the argument scanning loop.
+       (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
+       SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
+       (i386_pe_strip_name_encoding): Remove.
+       (i386_pe_binds_local_p): New.
+       (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
+       (i386_pe_output_labelref): Remove.
+       (i386_pe_asm_output_aligned_decl_common): New.
+       (i386_pe_maybe_record_exported_symbol): Rename from
+       i386_pe_record_exported_symbol; check for dllexported symbols.
+
+2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
+
+       * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
+       add comment explaining why vsnprintf cannot be used.
+
+2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
+
+       PR tree-optimization/30666
+       * tree.c (build_complex_type): When creating type names for DWARF2
+       debug info, create TYPE_DECLs for TYPE_NAME instead of
+       IDENTIFIER_NODEs.
+       (build_common_tree_nodes_2): Use build_complex_type when building
+       predefined complex types, to preserve canonical types.
+
+2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
+       (noce_get_alt_condition): Look at it to determine whether to
+       reverse the condition or not.
+       (noce_get_condition): Substitute the truth for lies.
+       (noce_find_if_block): Set the then_else_reversed field.
+
+2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
+
+       * config/fr30/fr30.md (movdi): Do not accept immediates as the
+       destination of this insn.
+       * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
+       than calling gen_rtx_SET directly.  Use r0 to hold the value of
+       'address + 4' rather than a stack based temporary which can be
+       mis-optimized away.
+       
+2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * config/s390/s390.c (s390_secondary_input_reload_class,
+       s390_secondary_output_reload_class): Functions removed.
+       (s390_secondary_reload): New function.
+       (TARGET_SECONDARY_RELOAD): Target macro defined.
+       * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
+       SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
+       * config/s390/s390.md ("reload_outti", "reload_outdi",
+       "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
+       "reload_out<mode>"): Expanders removed.
+       ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
+       "reload<mode>_nonoffmem_out"): Expanders added.
+
+2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
+       SRC->DEST replacement failed anyway.
+
+2007-03-28  Mike Stump  <mrs@apple.com>
+
+       * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
+       * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
+       * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
+
+2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
+
+       * config.gcc: Accept barcelona as a variant of amdfam10.
+       * config/i386/i386.c (override_options): Likewise.
+       * doc/invoke.texi: Likewise.
+       
+2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
+       offsets for BIT_FIELD_REF and COMPONENT_REF.
+
+2007-03-28  Richard Guenther  <rguenther@suse.de>
+
+       * tree.c (is_global_var): Move ...
+       * tree-flow-inline.h (is_global_var): ... here.
+       * tree.h (is_global_var): Remove declaration.
+
+2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
+
+       * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
+       option.
+       (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
+       * config/i386/i386.c (ix86_tune_features): Initialize new
+       tuning option.
+       * config/i386/predicates.md (promotable_binary_operator): Use
+       TARGET_TUNE_PROMOTE_HIMODE_IMUL.
+
+2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
+
+       PR target/31380
+       * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
+
+2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
+
+       * config/fr30/fr30.md (movsi_internal): Change destination
+       constraint from m to V and add m to the end. 
+
+2007-03-28  Christian Bruel  <christian.bruel@st.com>
+
+       * config/sh/sh.md (movsi_i): Fix type attribute.
+
+2007-03-28  Christian Bruel  <christian.bruel@st.com>
+
+       * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
+       (movsf_ie): Likewise.
+
+2007-03-28  Christian Bruel  <christian.bruel@st.com>
+
+       * config.gcc: Add sh4-300 to multilib.
+       * config/sh/t-mlib-sh4-300: New file.
+
+2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
+
+       * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
+       ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
+       fix_trunc<mode>di2.
+       ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use 
+       fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
+       ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
+       "fixuns_trunctddi2"): Whitespace fix.
+
+2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
+       the definition of struct sh_args.
+       (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
+       CALL_COOKIE_INT_REG_GET): Likewise.
+
+2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
+       transformations are applied successfully.
+
+2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
+
+       * tree.c (tree_contains_struct): Permit 512 tree codes.
+       * tree.h (tree_contains_struct): Ditto.
+       (MAX_TREE_CODES): Ditto.
+       (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
+       SPARE member to store remaining padding bits.
+
+2007-03-27  Anatoly Sokolov <aesok@post.ru>
+
+       * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4' 
+       architecture.
+
+2007-03-27  Janis Johnson  <janis187@us.ibm.com>
+
+       * configure.ac: Fix assembler test for powerpc*-linux decimal float.
+       * configure: Regenerate.
+
+       * configure: Regenerate using the correct version of autoconf.
+
+2007-03-27  Anatoly Sokolov  <aesok@post.ru>
+
+       * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
+       pointer regs.
+       * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
+       regs to "__SP_L__" and "__SP_H__".
+
+2007-03-27  Richard Guenther  <rguenther@suse.de>
+
+       * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
+       computations with it with a HOST_WIDE_INT variable.  
+
+2007-03-26  Mike Stump  <mrs@apple.com>
+
+       * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
+       objective-c-header, objective-c++-header and objc++-cpp-output
+       support.
+       * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
+
+2007-03-26  Richard Henderson  <rth@redhat.com>
+
+       PR target/31361
+       * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
+       IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
+       IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
+       IX86_BUILTIN_PSRLQ128): New.
+       (ix86_init_mmx_sse_builtins): Add them.
+       (ix86_expand_builtin): Expand them.
+       * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
+       operand 2 be TImode.
+       * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
+       _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
+       _mm_srli_epi64): Mark __B const.
+       (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
+       (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
+       _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use 
+       new two-vector shift builtins.
+
+2007-03-26  Ian Lance Taylor  <iant@google.com>
+
+       PR tree-optimization/31345
+       * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
+       [+INF, +INF(OVF)] into VARYING.
+
 2007-03-26  Zack Weinberg  <zackw@panix.com>
 
+       * gengtype-parse.c: New file.
+       * gengtype-yacc.y: Delete.
+       * gengtype-lex.l: Don't include gengtype-yacc.h.
+       Define YY_DECL and yyterminate appropriately for recursive
+       descent parser.  yylval is now a string out-parameter to yylex.
+       (HWS, EOID): New shorthand.
+       (IWORD): Add a couple more types.
+       (yylex): Add a setup stanza.  Remove the complex rules for
+       detecting GTY'ed types and typedefs; replace with simple
+       keyword detectors.  Adjust everything for the changed
+       definition of yylval.  Ignore all pp-directives, not just #define.
+       (yyerror): Delete.
+       (parse_file): Rename yybegin; do not call yyparse.
+       (yyend): New.
+       * gengtype.c (xasprintf): Export again.
+       (this_file): New.  Use everywhere __FILE__ was being used.
+       (get_lang_bitmap): Special case types defined in gengtype.c.
+       (do_typedef, new_structure): Suppress definition of certain types.
+       (new_structure): Improve diagnostics of duplicate definitions.
+       Make sure location_s is associated with input.h.
+       (nreverse_pairs, define_location_structures): New functions.
+       (main): Improve tagging of kludge types.  Remove old kludges
+       for input.h types; use define_location_structures.
+       * gengtype.h: Update prototypes.  Define token codes here.
+       * Makefile.in: Remove all references to gengtype-yacc.
+       Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
+       and gengtype.
+       * bitmap.h (struct bitmap_head_def): Coalesce definitions,
+       add GTY((skip)) to the field that's only conditionally there.
+       * doc/install.texi: Document that Bison is no longer required
+       unless building treelang.
+
+       * gengtype.c: Don't include gtyp-gen.h.
+       (srcdir): Declare here.
+       (base_files, lang_dir_names): Allocate dynamically.
+       (gt_files, num_gt_files, num_lang_dirs): New globals.
+       (measure_input_list, read_input_line, read_input_list)
+       (set_lang_bitmap): New functions.
+       (get_base_file_bitmap): Rename get_lang_bitmap and drastically
+       simplify, relying on read_input_list to set up the bitmaps.
+       (main): Arguments are no longer unused.  Check for correct number
+       of command line arguments, set srcdir and srcdir_len, then call
+       read_input_list, before doing anything else.  No need to worry
+       about duplicates in main loop.
+       * configure.ac: Simplify the calculation of all_gtfiles.
+       Put language tags in there.  Don't set or substitute
+       all_gtfiles_files_langs or all_gtfiles_files_frags.
+       * Makefile.in: Revamp the way gengtype is invoked, now that it
+       takes a file on its command line with a much simpler format.
+       Remove or replace with gtyp-input.list all references to gtyp-gen.h.
+       (GTFILES): Remove duplicates and C source files.
+       * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
+       * objcp/config-lang.in: Add c-pragma.h to gtfiles.
+       * configure: Regenerate.
+
+       * gengtype.h: Remove all type definitions to gengtype.c; leave
+       only definitions of options_p, type_p, and pair_p as opaque
+       pointers.  Update prototypes.
+       * gengtype.c: Many type definitions moved here from gengtype.h.
+       Consolidate type definitions at the top of the file.
+       (xvasprintf): Delete.
+       (xasprintf): Make static.
+       (create_nested_pointer_option): Add 'next' parameter.
+       (create_field_all, create_field_at): New functions.
+       (create_field): Now a thin wrapper around create_field_all.
+       (create_optional_field): Rename create_optional_field_ and add
+       line argument.  Original name is now a macro which supplies
+       __LINE__.
+       (oprintf): Use vsnprintf directly.
+       (close_output_files): Use fatal rather than perror/exit.
+       (note_def_vec, note_def_vec_alloc): Use create_field_at.
+       (main): Set progname.  Don't use exit.
+       * gengtype-yacc.y (struct_fields): Use create_field_at.
+       (option, optionseqopt): Delete.
+       (optionseq): Consolidate productions from option here so we
+       can use the first argument to create_option.
+
+       * gengtype-lex.l: Distinguish unions from structures in the
+       token type.  Don't call find_structure; return the tag as a string.
+       * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
+       Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
+       Reorganize typedef_struct production accordingly.
+       Use create_nested_ptr_option.
+       * gengtype.c (create_nested_ptr_option): New function.
+       * gengtype.h: Declare it.
+
+       * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
+       (string_type): Don't declare.
+       (do_scalar_typedef): Declare.
+       (create_scalar_type): Update prototype.
+       * gengtype.c (string_type): Make static.
+       (scalar_nonchar, scalar_char): New.
+       (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
+       (resolve_typedef): Use scalar_nonchar for error recovery.
+       (create_scalar_type): Remove name_len field.  Return scalar_char
+       or scalar_nonchar as appropriate.
+       (adjust_field_type): Look at scalar_is_char boolean to decide whether
+       to use string_type.
+       (throughout): Use scalar_nonchar instead of calling create_scalar_type,
+       whenever possible.
+       (main): Initialize scalar_char and scalar_nonchar before calling
+       gen_rtx_next.
+       * gengtype-lex.l: Adjust for removal of second argument to
+       create_scalar_type.  Use yylval.s instead of yylval.t when
+       returning SCALAR.
+       * gengtype-yacc.y: Type of SCALAR is string.  Call
+       create_scalar_type from type:SCALAR rule.  Adjust for removal of
+       second argument to create_scalar_type.
+
+       * vec.h: Remove all #if IN_GENGTYPE blocks.
+       Add comment saying that changes may require adjustments to gengtype.
+       * gengtype.c: Don't include coretypes.h or tm.h.
+       Add comment to inclusion of errors.h.
+       (note_def_vec, note_def_vec_alloc): New functions.
+       * gengtype.h: Declare new functions.
+       * gengtype-lex.l: Don't include coretypes.h.
+       (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
+       Delete.
+       (update_lineno): Remove unnecessary prototype.
+       (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
+       (VEC rule): Just return VEC_TOKEN.
+       * gengtype-yacc.y (VEC_TOKEN): New token type.
+       (type): Add a production for VEC(a,b).
+       * Makefile.in: Update dependencies.
+
+       * gengtype-lex.l: Remove rules for parsing pointer-to-function
+       typedefs that use the old PARAMS macro.
+
        * gengtype-lex.l: Remove all rules and states relating to yacc
        input files.
        * gengtype-yacc.y: Similarly.
        IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
        IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
        (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
-       v4si_ftype_v4si_v2di.   Remove __builtin_ia32_psllw128,
+       v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
        __builtin_ia32_pslld128, __builtin_ia32_psllq128,
        __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
        __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and