X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=blobdiff_plain;f=gcc%2FChangeLog;h=7c7b7cf57453793cbec1cc9646254d689e4834a4;hp=955b7e8bdea92343d1591c0b67a460dc4c18ac0e;hb=8d40ea4504ee85e1a6b73103edb1776141d5d22e;hpb=df6a567a4f10520b96047a33a6c44df26f4228ce diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 955b7e8bdea..7c7b7cf5745 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,1270 @@ +2009-04-03 Alan Modra + + * config.gcc (powerpc-*-linux*): Merge variants. + +2009-04-02 Chao-ying Fu + James Grosbach + + * config/mips/mips.c (mips_frame_info): Add acc_mask, num_acc, + num_cop0_regs, acc_save_offset, cop0_save_offset, acc_sp_offset, + cop0_sp_offset. + (machine_function): Add interrupt_handler_p, use_shadow_register_set_p, + keep_interrupts_masked_p, use_debug_exception_return_p. + (mips_attribute_table): Add interrupt, use_shadow_register_set, + keep_interrupts_masked, use_debug_exception_return. + (mips_interrupt_type_p, mips_use_shadow_register_set_p, + mips_keep_interrupts_masked_p, mips_use_debug_exception_return_p): + New functions. + (mips_function_ok_for_sibcall): Return false for interrupt handlers. + (mips_print_operand): Process COP0 registers to print $0 .. $31 + correctly for GAS to process. + (mips_interrupt_extra_call_saved_reg_p): New function. + (mips_cfun_call_saved_reg_p): For interrupt handlers, we need to check + extra registers. + (mips_cfun_might_clobber_call_saved_reg_p): Likewise. + (mips_compute_frame_info): Add supports for interrupt context that + includes doubleword accumulators and COP0 registers. + (mips_for_each_saved_acc): New function. + (mips_for_each_saved_gpr_and_fpr): Change the function name from + mips_for_each_saved_reg. + (mips_save_reg): Save accumulators. + (mips_kernel_reg_p): A new for_each_rtx callback. + (mips_expand_prologue): Support interrupt handlers. + (mips_restore_reg): Restore accumulators. + (mips_expand_epilogue): Support interrupt handlers. + (mips_can_use_return_insn): Return false for interrupt handlers. + (mips_epilogue_uses): New function. + * config/mips/mips.md (UNSPEC_ERET, UNSPEC_DERET, UNSPEC_DI, + UNSPEC_EHB, UNSPEC_RDPGPR, UNSPEC_COP0): New UNSPEC. + (mips_eret, mips_deret, mips_di, mips_ehb, mips_rdpgpr, + cop0_move): New instructions. + * config/mips/mips-protos.h (mips_epilogue_uses): Declare. + * config/mips/mips.h (K0_REG_NUM, K1_REG_NUM, KERNEL_REG_P): New + defines. + (COP0_STATUS_REG_NUM, COP0_CAUSE_REG_NUM, COP0_EPC_REG_NUM): + New defines. + (CAUSE_IPL, SR_IPL, SR_EXL, SR_IE): New defines. + (MIPS_PROLOGUE_TEMP_REGNUM, MIPS_EPILOGUE_TEMP_REGNUM): For + interrupt handlers, we use K0 as the temporary register. + (EPILOGUE_USES): Change to a function call. + * config/mips/sde.h (MIPS_EPILOGUE_TEMP_REGNUM): For interrupt + handlers, we use K0 as the temporary register. + + * doc/extend.texi (Function Attributes): Document interrupt, + use_shadow_register_set, keep_interrupts_masked, + use_debug_exception_return for MIPS attributes. + +2009-04-03 Alan Modra + + * config.gcc (powerpc64-*-gnu*): Add rs6000/default64.h to tm_file. + Remove a number of t-files from tmake_file. + * config/rs6000/sysv4.opt (mprototype): Name variable target_prototype. + * config/rs6000/sysv4.h (TARGET_PROTOTYPE): Define. + * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Set + target_prototype, not TARGET_PROTOTYPE. + (LINK_OS_GNU_SPEC): Define. + * config/rs6000/t-linux64 (LIB2FUNCS_EXTRA): Delete tramp.S + and darwin-ldoubdle.c. + +2009-04-02 Michael Meissner + + PR driver/39293 + * gcc.c (save_temps_flag): Add support for -save-temps=obj. + (cpp_options): Ditto. + (default_compilers): Ditto. + (display_help): Ditto. + (process_command): Ditto. + (do_spec_1): Ditto. + (set_input): Use lbasename instead of duplicate code. + (save_temps_prefix): New static for -save-temps=obj. + (save_temps_length): Ditto. + + * doc/invoke.texi (-save-temps=obj): Document new variant to + -save-temps switch. + +2009-04-02 Jeff Law + + * reload1.c (fixup_eh_region_notes): Remove write-only "trap_count" + variable. + +2009-04-02 H.J. Lu + + * configure.ac: Support -Bstatic/-Bdynamic for linker version > 2. + * configure: Regenerated. + +2009-04-02 Rafael Avila de Espindola + + * c-decl.c (merge_decls): Make sure newdecl and olddecl don't + share the argument list. + +2009-04-02 Rafael Avila de Espindola + + Merge + + 2009-02-12 Diego Novillo + + * varpool.c (debug_varpool): New. + * cgraph.h (debug_varpool): Declare. + +2009-04-02 Jan Hubicka + + * passes.c (init_optimization_passes): Remove two copies of ehcleanup + pass. + +2009-04-02 H.J. Lu + + * config/i386/i386.c (ix86_abi): Move initialization to ... + (override_options): Here. + +2009-04-02 Christian Bruel + + * config/sh/sh.c (sh_dwarf_register_span): New function. + (TARGET_DWARF_REGISTER_SPAN): Define. + * config/sh/sh-protos.h (sh_dwarf_register_span): Declare. + +2009-04-02 Ira Rosen + + PR tree-optimization/39595 + * tree-vect-slp.c (vect_build_slp_tree): Check that the size of + interleaved loads group is not greater than the SLP group size. + +2009-04-02 Rafael Avila de Espindola + + * builtins.c (is_builtin_name): New. + (called_as_built_in): Use is_builtin_name. + * tree.h (is_builtin_name): New. + * varasm.c (incorporeal_function_p): Use is_builtin_name + +2009-04-02 Andrew Stubbs + + * config/sh/linux-unwind.h: Disable when inhibit_libc is defined. + +2009-04-02 Dodji Seketeli + + PR c++/26693 + * c-decl.c: (clone_underlying_type): Move this ... + * c-common.c (set_underlying_type): ... here. + Also, make sure the function properly sets TYPE_STUB_DECL() on + the newly created typedef variant type. + * c-common.h (is_typedef_decl, set_underlying_type): Declare ... + * c-common.c (is_typedef_decl, set_underlying_type): ... new entry points. + +2009-04-02 Richard Guenther + + PR tree-optimization/37221 + * tree-flow.h (degenerate_phi_result): Declare. + * tree-ssa-dom.c (degenerate_phi_result): Export. + * tree-scalar-evolution.c (analyze_initial_condition): If + the initial condition is defined by a degenerate PHI node + use the degenerate value. + +2009-04-01 Eric Botcazou + + PR rtl-optimization/39588 + * combine.c (merge_outer_ops): Do not set the constant when this + is not necessary. + (simplify_shift_const_1): Do not modify it either in this case. + +2009-04-01 Steven Bosscher + + * config/ia64/ia64.c (ia64_handle_option): Inform user that Itanium1 + tuning is deprecated if -mtune value is set to an Itanium1 variant. + +2009-04-01 Janis Johnson + + PR c/29027 + * c-lex.c (interpret_float): Default (no suffix) is double. + +2009-04-1 Xinliang David Li + + * config/i386/i386.c (legitimate_constant_p): Recognize + all one vector constant. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c: Add #includes to silence warnings. + Change #include order to silence two warnings. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/linux.h (TARGET_DEFAULT): Add the MASK_QMATH flag bit. + (ASM_SPEC): Pass -k to the assembler for PIC code. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config.gcc: Add vax-*-linux* to the switch. + * gcc/config/vax/linux.h: New file. (TARGET_VERSION, + TARGET_OS_CPP_BUILTINS, TARGET_DEFAULT, CPP_SPEC, LINK_SPEC): Define. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c (vax_output_int_move, adjacent_operands_p): + Use predicate macros instead of GET_CODE() == foo. + * gcc/config/vax/vax.md (movsi_2, movstrictqi, and3, ashrsi3, + ashlsi3, rotrsi3, ): Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/builtins.md (jbbssiqi, jbbssihi, jbbssisi, jbbcciqi, + jbbccihi, jbbccisi): Remova trailing whitespace. + * gcc/config/vax/constraints.md: Likewise. + * gcc/config/vax/elf.h: (ASM_PREFERRED_EH_DATA_FORMAT): Likewise. + * gcc/config/vax/openbsd1.h (OBSD_OLD_GAS): Likewise. + * gcc/config/vax/predicates.md: Likewise. + * gcc/config/vax/vax.c (print_operand_address, vax_output_int_move, + vax_expand_addsub_di_operands, adjacent_operands_p): Likewise. + * gcc/config/vax/vax.h: Likewise. + * gcc/config/vax/vax.md (nonlocal_goto): Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c (vax_float_literal, vax_output_int_move) + (indirectable_address_p, adjacent_operands_p): Add spaces around + braces. + * gcc/config/vax/vax-protos.h (adjacent_operands_p): Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c (legitimate_constant_address_p, + legitimate_constant_p, indirectable_address_p, nonindexed_address_p, + index_term_p, reg_plus_index_p, legitimate_address_p, + vax_mode_dependent_address_p): Update comments to match functions + modified by the recent int->bool conversion. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/builtins.md: Update copyright message. + * gcc/config/vax/constraints.md: Likewise. + * gcc/config/vax/netbsd-elf.h: Likewise. + * gcc/config/vax/predicates.md: Likewise. + * gcc/config/vax/vax-protos.h: Likewise. + * gcc/config/vax/vax.c: Likewise. + * gcc/config/vax/vax.h: Likewise. + * gcc/config/vax/vax.md: Likewise. + * gcc/config/vax/vax.opt: Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/builtins.md (ffssi2, ffssi2_internal, + sync_lock_test_and_set, sync_lock_release): Fix indention. + * gcc/config/vax/constraints.md (B, R): Likewise. + * gcc/config/vax/predicates.md (external_memory_operand, + nonimmediate_addsub_di_operand): Likewise. + * gcc/config/vax/vax.c (vax_output_int_add): Likewise. + * gcc/config/vax/vax.md (movsi, movsi_2, mov, call_value, + untyped_call): Likewise. + +2009-04-01 Matt Thomas + + * config/vax/predicates.md: New file. (symbolic_operand, + local_symbolic_operand, external_symbolic_operand, + external_const_operand, nonsymbolic_operand, external_memory_operand, + indirect_memory_operand, indexed_memory_operand, + illegal_blk_memory_operand, illegal_addsub_di_memory_operand, + nonimmediate_addsub_di_operand, general_addsub_di_operand): New + predicate. + * config/vax/constraints.md: New file. (Z0, U06, U08, U16, CN6, S08, + S16, I, J, K, L, M, N, O, G, Q, B, R, T): New constraint. + * config/vax/builtins.md: New file. (ffssi2, ffssi2_internal, + sync_lock_test_and_set, jbbssiqi, jbbssihi, jbbssisi, + sync_lock_release, jbbcciqi, jbbccihi, jbbccisi): Define. + * config/vax/vax.opt (mqmath): Add option. + * config/vax/vax.md (isfx): Extend with DI. + (VAXintQH, VAXintQHSD): Define. + (tst, cmp, *bit, movmemhi1, truncsiqi2, truncsihi2, + mulsidi3, add3, sub, mul3, div3, and, + and_const_int, ior3, xor3, neg2, + one_cmpl2, ashlsi3, lshrsi3, rotlsi3): Update constraints. + (movdi): Update constraints and use vax_output_int_move(). + (movsi, movsi_2, pushlclsymreg, pushextsymreg, movlclsymreg, + movextsymreg, adddi3, adcdi3, subdi3, sbcdi3, pushextsym, movextsym, + pushlclsym, movlclsym, movaddr, pushaddr, + nonlocal_goto): New. + (mov): Extend accepted operand types. + (subdi3_old): Rename from subdi3, change update constraints and use + a new implementation. + * gcc/config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Add space. + (FRAME_POINTER_CFA_OFFSET, IRA_COVER_CLASSES, CLASS_MAX_NREGS, + MOVE_RATIO, CLEAR_RATIO): Define. + (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P, + CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete. + (PRINT_OPERAND): Redefine using a function instead of inlined code. + * gcc/config/vax/vax.c (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Define. + (split_quadword_operands): Make static and really allow variable + splitting. + (print_operand_address): Update for PIC generation. + (print_operand, vax_builtin_setjmp_frame_value, vax_output_int_subtract, + indexable_address_p, fixup_mathdi_operand, + vax_expand_addsub_di_operands, adjacent_operands_p): New. + (vax_float_literal, legitimate_constant_p, + indirectable_constant_address_p, index_term_p, + reg_plus_index_p): Return bool instead of int. + (vax_rtx_costs): Fix cost for CONST_INT, indent and use HOST_WIDE_INT + where needed. + (vax_output_int_move, vax_output_int_add): Extend to allow PIC + generation. + (vax_output_conditional_branch): Indent. + (legitimate_constant_address_p, indirectable_constant_address_p, + indirectable_address_p, nonindexed_address_p, legitimate_address_p, + vax_mode_dependent_address_p): Return bool instead of int, update for + PIC generation. + * config/vax/vax-protos.h (legitimate_constant_address_p, + legitimate_constant_p, legitimate_address_p, + vax_mode_dependent_address_p): Change declaration to bool. + (legitimate_pic_operand_p, adjacent_operands_p, print_operand, + vax_expand_addsub_di_operands, vax_output_int_subtract, + vax_output_movmemsi): Declare. + (split_quadword_operands, vax_float_literal): Delete declaration. + * config/vax/netbsd-elf.h (CC1_SPEC, CC1PLUS_SPEC) Define. + * config/vax/elf.h (NO_EXTERNAL_INDIRECT_ADDRESS, + VAX_CC1_AND_CC1PLUS_SPEC, ASM_PREFERRED_EH_DATA_FORMAT, + ASM_OUTPUT_DWARF_PCREL): Define. + (ASM_SPEC): Change definition to allow PIC generation. + +2009-04-01 Jakub Jelinek + + PR target/39226 + * config/rs6000/rs6000.md (andsi3_internal5_nomc, + anddi3_internal2_nomc, anddi3_internal3_nomc): Removed. + (booldi3_internal3): Use boolean_or_operator instead of + boolean_operator. + +2009-04-01 Joseph Myers + + PR c/39605 + * c-decl.c (grokdeclarator): Pedwarn for file-scope array + declarator whose size is not an integer constant expression but + folds to an integer constant, then treat it as a constant + subsequently. + +2009-04-01 Richard Guenther + + * fold-const.c (fold_plusminus_mult_expr): Do not fold + i * 4 + 2 to (i * 2 + 1) * 2. + +2009-04-01 Jakub Jelinek + + PR c/37772 + * c-parser.c (c_parser_asm_statement): Skip until close paren and + return if c_parser_asm_string_literal returned NULL. + +2009-04-01 Nick Clifton + + * config/m32c/m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not + already defined. + * config/m32c/t-m32c (LIB2FUNCS_EXTRA): Add m32c-lib2-trapv.c. + * config/m32c/m32c-lib2.c: Remove unused typedefs. Rename the + other typedefs to avoid conflicts with libgcc2.c. Define labels + to gain 16-bit bit-manipulation functions from libgcc2.c and then + include it. + * config/m32c/m32c-lib2-trapv.c: New file. Define labels + to gain 16-bit trapping arithmetic functions from libgcc2.c and + then include it. + +2009-04-01 Rafael Avila de Espindola + + * varasm.c (default_function_rodata_section): Declare DOT as const char*. + +2009-04-01 Kai Tietz + Andrey Galkin + + PR/39492 + * config/i386/host-mingw32.c (mingw32_gt_pch_use_address): + Make object_name unique for each process. + +2009-04-01 Jakub Jelinek + + PR other/39591 + * omp-low.c (remove_exit_barrier): Don't optimize if there are any + addressable variables in the parallel that could go out of scope while + running queued tasks. + +2009-04-01 Anatoly Sokolov + + * config/avr/avr.h (avr_case_values_threshold): Remove declaration. + (CASE_VALUES_THRESHOLD): Redefine. + * config/avr/avr.c (avr_override_options): Remove initialization of + avr_case_values_threshold variable. + (avr_case_values_threshold): Remove variable. Add new function. + * config/avr/avr-protos.h (avr_case_values_threshold): Declare. + * config/avr/avr.opt (mno-tablejump): Remove option. + * doc/invoke.texi (AVR Options): Remove -mno-tablejump. + +2009-04-01 DJ Delorie + + * varasm.c (default_function_rodata_section): Don't assume + anything about where the first '.' in the section name is. + +2009-04-01 Alan Modra + + * config/rs6000/rs6000.c (rs6000_emit_stack_reset): Delete redundant + rs6000_emit_stack_tie. + +2009-03-31 Ian Lance Taylor + + * tree-eh.c (tree_remove_unreachable_handlers): Compare + gimple_code with GIMPLE_RESX, not RESX. + +2009-03-31 Joseph Myers + + * c-common.c (c_get_ident): New. + (c_common_nodes_and_builtins): Call it for type names that may be + NULL. + +2009-04-01 Ben Elliston + + * config/rs6000/sysv4.opt (msdata): Improve option description. + +2009-03-31 Steve Ellcey + + * config/ia64/ia64.md (divsf3_internal_lat): Remove. + (divdf3_internal_lat): Remove. + (divxf3_internal_lat): Remove. + (divxf3_internal_thr): Remove. + (divxf): Use divxf3_internal. + * config/ia64/div.md (divsf3_internal_lat): New. + (divdf3_internal_lat): New. + (divxf3_internal): New. + +2009-03-31 Joseph Myers + + PR c/448 + * Makefile.in (USE_GCC_STDINT): Define. + (stmp-int-hdrs): Install stdint.h if applicable. + * c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE + if known. + (CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known. + (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE, + UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE, + INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE, + INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE, + UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE, + INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE, + UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE, + UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define. + (c_common_nodes_and_builtins): Initialize + underlying_wchar_type_node. Do not initialize + signed_wchar_type_node or unsigned_wchar_type_node. Initialize + nodes for new types. + (c_stddef_cpp_builtins): Define macros for new types. + * c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE): + Remove. + (CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE, + CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE, + CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE, + CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE, + CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE, + CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE, + CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE, + CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE, + CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define. + (signed_wchar_type_node, unsigned_wchar_type_node): Remove. + (underlying_wchar_type_node, sig_atomic_type_node, int8_type_node, + int16_type_node, int32_type_node, int64_type_node, + uint8_type_node, uint16_type_node, c_uint32_type_node, + c_uint64_type_node, int_least8_type_node, int_least16_type_node, + int_least32_type_node, int_least64_type_node, + uint_least8_type_node, uint_least16_type_node, + uint_least32_type_node, uint_least64_type_node, + int_fast8_type_node, int_fast16_type_node, int_fast32_type_node, + int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node, + uint_fast32_type_node, uint_fast64_type_node, intptr_type_node, + uintptr_type_node): Define. + * c-cppbuiltin.c (builtin_define_constants, + builtin_define_type_minmax): New. + (builtin_define_stdint_macros): Define more macros. + (c_cpp_builtins): Define more limit macros. + (type_suffix): New. + (builtin_define_type_max): Define in terms of + builtin_define_type_minmax. Remove is_long parameter. All + callers changed. + * config.gcc (use_gcc_stdint): Define. + (tm_file): Add glibc-stdint.h for targets using glibc or uClibc. + Add newlib-stdint.h for generic targets. + * config/glibc-stdint.h, config/newlib-stdint.h, + ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New. + * config/m32c/m32c.h (UINTPTR_TYPE): Define. + * config/score/score.h (UINTPTR_TYPE): Define. + * config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, + INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, + UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE, + INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE, + UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE, + INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE, + UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE, + UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define. + * config/spu/spu.h (STDINT_LONG32): Define. + * configure.ac (use_gcc_stdint): Substitute. + * configure: Regenerate. + * doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__, + __INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__, + __UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__, + __INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__, + __INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__, + __UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__, + __INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__, + __UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__, + __UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__, + __WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__, + __SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__, + __INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__, + __UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__, + __INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__, + __UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__, + __INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__, + __INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__, + __UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__, + __UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__, + __INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C, + __UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document. + * doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, + INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE, + INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE, + INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE, + UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE, + INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE, + UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE, + UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document. + +2009-03-31 Bernd Schmidt + + * loop-iv.c (suitable_set_for_replacement): Renamed from + simplify_using_assignment; changed to return bool and to accept new + args DEST and SRC. Return true iff we find a source/destination pair + that can be used to make a replacement, and fill SRC and DEST if so. + Remove arg ALTERED. Don't deal with altered regs here. All callers + changed. + (simplify_using_initial_values): Deal with altered regs here and track + more precisely the effect they have on the validity of our expression. + + * loop-iv.c (simplify_using_condition): A condition of the form + (EQ REG CONST) can be used to simply make a substitution. + (simplify_using_initial_values): Keep track of conditions we have seen + and keep using them to simplify new expressions, while applying the + same substitutions to them as to the expression. + + * simplify-rtx.c (simplify_relational_operation_1): Simplify + (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with + GEU/LTU reversed. + + * loop-iv.c (determine_max_iter): New arg OLD_NITER. All callers + changed. Use this when trying to improve the upper bound. + Generate the comparison by using simplify_gen_relational. + + * loop-iv.c (simple_rhs_p): Allow more kinds of expressions. + + * loop-iv.c (replace_single_def_regs, replace_in_expr): New static + functions. + (simplify_using_assignment, simplify_using_initial_values): Call + replace_in_expr to make replacements. Call replace_single_def_regs + once on the initial version of the expression. + +2009-03-31 Ramana Radhakrishnan + + PR target/27237 + * doc/invoke.texi (ARM Options): Update documentation for -mthumb. + +2009-03-31 Richard Guenther + + PR middle-end/31029 + * fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for + equality comparisons. Fold C - X CMP X if C % 2 == 1. + +2009-03-31 Richard Guenther + + * tree.h (div_if_zero_remainder): Declare. + * fold-const.c (div_if_zero_remainder): Export. + * tree-ssa-forwprop.c + (forward_propagate_addr_into_variable_array_index): Handle + constant array index addition outside of the variable index. + +2009-03-31 Joseph Myers + + PR target/39592 + * config/i386/i386.md (*floatunssi2_1, two unnamed + define_splits, floatunssi2): Require x87 conversions from + DImode to be permitted. + +2009-03-31 Joseph Myers + + PR preprocessor/15638 + * c-common.c (c_cpp_error): Handle CPP_DL_FATAL. + +2009-03-31 Richard Guenther + + PR middle-end/23401 + PR middle-end/27810 + * tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove. + (struct tree_decl_with_vis): Remove gimple_formal_temp member. + * tree-eh.c (lower_eh_constructs_2): Move LHS assignment to + a separate statement. + * gimplify.c (pop_gimplify_context): Remove formal temp handling. + (lookup_tmp_var): Likewise. + (is_gimple_formal_tmp_or_call_rhs): Remove. + (is_gimple_reg_or_call_rhs): Rename to ... + (is_gimple_reg_rhs_or_call): ... this. + (is_gimple_mem_or_call_rhs): Rename to ... + (is_gimple_mem_rhs_or_call): ... this. + (internal_get_tmp_var): Use is_gimple_reg_rhs_or_call. Set + DECL_GIMPLE_REG_P only if is_formal is true. + (gimplify_compound_lval): Use is_gimple_reg. Remove workaround + for non-proper post-modify expression gimplification. + (gimplify_self_mod_expr): For post-modify expressions gimplify + the lvalue to a minimal lvalue. + (rhs_predicate_for): Remove formal temp case. + (gimplify_modify_expr_rhs): Likewise. + (gimplify_addr_expr): Use is_gimple_reg. + (gimplify_expr): Remove formal temp cases. + (gimple_regimplify_operands): Likewise. + * tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR + and FILTER_EXPR like constants. + * gimple.c (walk_gimple_op): Fix val_only initialization, use + is_gimple_reg. + (is_gimple_formal_tmp_rhs): Remove. + (is_gimple_reg_rhs): Remove special casing. + (is_gimple_mem_rhs): Fix. + (is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier. + (is_gimple_formal_tmp_var): Remove. + (is_gimple_formal_tmp_reg): Likewise. + (is_gimple_min_lval): Allow invariant component ref parts. + * gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var, + is_gimple_formal_tmp_reg): Remove declarations. + * tree-cfg.c (verify_expr): Verify that variables with address + taken do not have DECL_GIMPLE_REG_P set. + * tree-mudflap.c (mf_build_check_statement_for): Use + force_gimple_operand instead of gimplify_expr. + +2009-03-31 Ayal Zaks + + * modulo-sched.c (sms_schedule_by_order): Pass the actual + schedulable rows to compute_split_row. + +2009-03-31 Ben Elliston + + PR target/31635 + * config/rs6000/rs6000.c (rs6000_handle_option): Handle + OPT_mvrsave. + +2009-03-31 Alan Modra + + * doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers. + * configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check. + * configure: Regenerate. + * config.in: Regenerate. + * config/rs6000/rs6000.opt (mtls-markers): Add. + * config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define. + * config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter. + (tls_ld_aix, tls_ld_sysv): Likewise. + (tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns. + (tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise. + +2009-03-31 Alan Modra + + * config/spu/spu.c (spu_expand_prologue): Delete redundant code. + +2009-03-30 Jan Hubicka + + * tree-eh.c (make_eh_edges): Set probability 100% to first edge + out of RESX. + (tree_remove_unreachable_handlers): Cleanup EH predecestor + detection and label handling. + +2009-03-30 Vladimir Makarov + + * ira-int.h (ira_allocno): Rename left_conflicts_num to + left_conflicts_size. + (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to + ALLOCNO_LEFT_CONFLICTS_SIZE. + + * ira-color.c (allocno_spill_priority, push_allocno_to_stack, + remove_allocno_from_bucket_and_push, + allocno_spill_priority_compare, push_allocnos_to_stack, + setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE + instead of ALLOCNO_LEFT_CONFLICTS_NUM. + (setup_allocno_left_conflicts_num): Ditto. Rename to + setup_allocno_left_conflicts_size. + (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE + instead of ALLOCNO_LEFT_CONFLICTS_NUM and + setup_allocno_left_conflicts_size instead of + setup_allocno_left_conflicts_num. + + * ira-build.c (ira_create_allocno): Use + ALLOCNO_LEFT_CONFLICTS_SIZE instead of + ALLOCNO_LEFT_CONFLICTS_NUM. + +2009-03-30 Vladimir Makarov + + * reload.c (push_reload, find_dummy_reload): Use df_get_live_out + instead of DF_LR_OUT. + + * ira-lives.c (process_bb_node_lives): Ditto. + + * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in} + instead of DF_LR_{OUT,IN}. + + * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto. + + * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto. + +2009-03-30 Jan Hubicka + + * except.c (label_to_region_map): Fix thinko. + +2009-03-30 Steve Ellcey + + PR middle-end/38237 + * tree.h (tree_find_value): New declaration. + * tree.c (tree_find_value): New function. + * varasm.c (assemble_external): Avoid duplicate entries on lists. + +2009-03-30 Jakub Jelinek + + PR debug/39563 + * c-decl.c (struct c_binding): Add locus field. + (bind): Add locus argument, set locus field from it. + (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL, + add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS. + (push_file_scope, pushtag, pushdecl, pushdecl_top_level, + implicitly_declare, undeclared_variable, lookup_label, + declare_label, c_make_fname_decl, c_builtin_function, + c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust + bind callers. + +2008-03-30 H.J. Lu + + PR target/38781 + * config/i386/i386.c (classify_argument): Check total size of + structure. + +2009-03-30 Martin Jambor + + * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST, + IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN, + IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH + respectively. + + * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if + seen_variable_array_ref while also traversing a union. + + * tree-inline.c (optimize_inline_calls): Do not call + cgraph_node_remove_callees. + * cgraphbuild.c (remove_cgraph_callee_edges): New function. + (pass_remove_cgraph_callee_edges): New variable. + * passes.c (init_optimization_passes): Add + pass_remove_cgraph_callee_edges after early inlining and before all + late intraprocedural passes. + + * omp-low.c (expand_omp_taskreg): Always set current_function_decl. + +2009-03-30 Paolo Bonzini + + * config/sparc/sparc.md (*nand_vis, *nand_vis): + Fix typos in names. + +2009-03-30 Paolo Bonzini + + * combine.c (simplify_comparison): Use have_insn_for. + * dojump.c (do_jump): Likewise. + +2009-03-30 Paolo Bonzini + + * config/sparc/sparc.c (sparc_compare_emitted): Remove. + (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC + sparc_compare_op0 like sparc_compare_emitted used to be handled. + (sparc_expand_compare_and_swap_12): Set sparc_compare_op0 + instead of sparc_compare_emitted. + * config/sparc/sparc.h (sparc_compare_emitted): Remove. + * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0 + instead of sparc_compare_emitted. + +2009-03-30 Paolo Bonzini + + * bb-reorder.c (partition_hot_cold_basic_blocks): Do not + enter/exit cfglayout mode. + (pass_partition_block): Require it. + * combine.c (find_single_use, reg_dead_at_p): Use CFG. + (combine_instructions): Track basic blocks instead of labels. + (update_cfg_for_uncondjump): New. + (try_combine): Use it. Update jumps after rescanning. + (pass_combine): Require PROP_cfglayout. + * passes.c (pass_outof_cfg_layout_mode): Move after regmove. + +2009-03-30 Paolo Bonzini + + * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): + Provide/destroy PROP_cfglayout respectively. + * gcse.c (pass_jump_bypass, pass_gcse): Require it. + * tree-pass.h (PROP_cfglayout): New. + +2009-03-30 Paolo Bonzini + + * fold-const.c (const_binop, fold_convert_const_real_from_fixed, + fold_convert_const_fixed_from_fixed, + fold_convert_const_fixed_from_int, + fold_convert_const_fixed_from_real, fold_negate_const): Do not + set TREE_CONSTANT_OVERFLOW. + * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW. + * tree.h (TREE_CONSTANT_OVERFLOW): Delete. + +2009-03-30 Ira Rosen + + * tree-vect-loop-manip.c: New file. + * tree-vectorizer.c: Update documentation and included files. + (vect_loop_location): Make extern. + (rename_use_op): Move to tree-vect-loop-manip.c + (rename_variables_in_bb, rename_variables_in_loop, + slpeel_update_phis_for_duplicate_loop, + slpeel_update_phi_nodes_for_guard1, + slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes, + slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard, + slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling, + set_prologue_iterations, slpeel_tree_peel_loop_to_edge, + find_loop_location): Likewise. + (new_stmt_vec_info): Move to tree-vect-stmts.c. + (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info, + get_vectype_for_scalar_type, vect_is_simple_use, + supportable_widening_operation, supportable_narrowing_operation): + Likewise. + (bb_in_loop_p): Move to tree-vect-loop.c. + (new_loop_vec_info, destroy_loop_vec_info, + reduction_code_for_scalar_code, report_vect_op, + vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise. + (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c. + (vect_supportable_dr_alignment): Likewise. + * tree-vectorizer.h (tree-data-ref.h): Include. + (vect_loop_location): Declare. + Reorganize function declarations according to the new file structure. + * tree-vect-loop.c: New file. + * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c, + tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c. + * tree-vect-data-refs.c: New file. + * tree-vect-patterns.c (timevar.h): Don't include. + * tree-vect-stmts.c: New file. + * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c, + tree-vect-slp.c, tree-vect-loop.c. + * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and + tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o, + tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o. + (tree-vect-analyze.o): Remove. + (tree-vect-transform.o): Likewise. + (tree-vect-data-refs.o): Add rule. + (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o, + tree-vect-slp.o): Likewise. + (tree-vect-patterns.o): Remove redundant dependencies. + (tree-vectorizer.o): Likewise. + * tree-vect-slp.c: New file. + +2009-03-30 Ralf Wildenhues + + * optc-gen.awk: Warn if an option flag has multiple different + help strings. + +2009-03-30 Sebastian Pop + + * doc/invoke.texi (-floop-interchange, -floop-strip-mine, + -floop-block): Document dependences on PPL, CLooG and Graphite. + +2009-03-30 Joseph Myers + + PR rtl-optimization/323 + * c-common.c (c_fully_fold, convert_and_check, + c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR. + (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR. + * c-common.def (EXCESS_PRECISION_EXPR): New. + * c-cppbuiltin.c (builtin_define_float_constants): Define + constants with enough digits for long double. + * c-lex.c (interpret_float): Interpret constant with excess + precision where appropriate. + * c-opts.c (c_common_post_options): Set + flag_excess_precision_cmdline. Give an error for + -fexcess-precision=standard for C++ for processors where the + option is significant. + * c-parser.c (c_parser_conditional_expression): Handle excess + precision in condition. + * c-typeck.c (convert_arguments): Handle arguments with excess + precision. + (build_unary_op): Move excess precision outside operation. + (build_conditional_expr): Likewise. + (build_compound_expr): Likewise. + (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR. + (build_modify_expr): Handle excess precision in RHS. + (convert_for_assignment): Handle excess precision in converted + value. + (digest_init, output_init_element, process_init_element): Handle + excess precision in initializer. + (c_finish_return): Handle excess precision in return value. + (build_binary_op): Handle excess precision in operands and add + excess precision as needed for operation. + * common.opt (-fexcess-precision=): New option. + * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New. + * config/i386/i386.md (float2): + For standard excess precision, output explicit conversion to and + truncation from XFmode. + (*float2_1, + *float2_i387_with_temp, + *float2_i387, two unnamed + define_splits, floatdi2_i387_with_xmm, two unnamed + define_splits, *floatunssi2_1, two unnamed define_splits, + floatunssi2, add3, sub3, mul3, divdf3, + divsf3, *fop__comm_i387, *fop__1_i387, + *fop__2_i387, *fop__3_i387, + *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed + define_splits, sqrt2): Disable where appropriate for + standard excess precision. + * convert.c (convert_to_real): Do not shorten arithmetic to type + for which excess precision would be used. + * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define. + * doc/invoke.texi (-fexcess-precision=): Document option. + (-mfpmath=): Correct index entry. + * flags.h (enum excess_precision, flag_excess_precision_cmdline, + flag_excess_precision): New. + * langhooks.c (lhd_post_options): Set + flag_excess_precision_cmdline. + * opts.c (common_handle_option): Handle -fexcess-precision=. + * toplev.c (flag_excess_precision_cmdline, flag_excess_precision, + init_excess_precision): New. + (lang_dependent_init_target): Call init_excess_precision. + * tree.c (excess_precision_type): New. + * tree.h (excess_precision_type): Declare. + +2009-03-30 Joseph Myers + + PR c/35235 + * c-typeck.c (build_component_ref): Do not copy qualifiers from + non-lvalue to component. + +2009-03-29 Joseph Myers + + PR preprocessor/34695 + * Makefile.in (c-opts.o): Depend on c-tree.h. + * c-common.c: Move down include of diagnostic.h. + (done_lexing, c_cpp_error): New. + * c-common.h (done_lexing): Declare. + * c-decl.c (c_write_global_declarations): Don't check cpp_errors + (parse_in). + * c-opts.c: Include c-tree.h. + (c_common_init_options): Set preprocessor error callback. + (c_common_handle_option): Do not set preprocessor + inhibit_warnings, warnings_are_errors, warn_system_headers, + pedantic_errors or inhibit_warnings flags. + (c_common_post_options): Do not check cpp_errors (parse_in). + (c_common_finish): Do not output dependencies if there were + errors. Do not check return value of cpp_finish. + * c-ppoutput.c (pp_file_change): Set input_location. + * c-tree.h (c_cpp_error): Declare. + * diagnostic.c (diagnostic_set_info_translated): Also initialize + override_column. + (diagnostic_build_prefix): Check override_column. + * diagnostic.h (diagnostic_info): Add override_column field. + (diagnostic_override_column): Define. + +2009-03-28 Paolo Bonzini + + * c-common.c (c_expand_expr, c_staticp): Remove. + * c-common.def (COMPOUND_LITERAL_EXPR): Delete. + * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL, + COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove. + * c-gimplify.c (gimplify_compound_literal_expr, + optimize_compound_literals_in_ctor): Remove. + (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling. + * c-objc-common.h (LANG_HOOKS_STATICP): Remove. + * c-semantics.c (emit_local_var): Remove. + + * langhooks-def.h (lhd_expand_expr): Remove. + * langhooks.c (lhd_expand_expr): Remove. + * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR. + + * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR + handling from c-semantics.c; don't call into langhook. + (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees. + * gimplify.c (gimplify_compound_literal_expr, + optimize_compound_literals_in_ctor): Move from c-gimplify.c. + (gimplify_init_constructor): Call optimize_compound_literals_in_ctor. + (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR + as was done in c-gimplify.c. + * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp. + * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR): + Move from c-common.h. + * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def. + + * tree.c (staticp): Do not call langhook. + * langhooks.c (lhd_staticp): Delete. + * langhooks-def.h (lhd_staticp): Delete prototype. + (LANG_HOOKS_STATICP): Delete. + (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP. + + * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs + instead of DECL_STMTs. + +2009-03-29 Joseph Myers + + PR c/456 + PR c/5675 + PR c/19976 + PR c/29116 + PR c/31871 + PR c/35198 + * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in + void_type_node. + (fold_call_expr): Return a NOP_EXPR from folding rather than the + contained expression. + * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New. + (c_common_truthvalue_conversion): Use c_save_expr. Do not fold + conditional expressions for C. + (decl_constant_value_for_optimization): Move from + decl_constant_value_for_broken_optimization in c-typeck.c. Check + whether optimizing and that the expression is a VAR_DECL not of + array type instead of doing such checks in the caller. Do not + check pedantic. Call gcc_unreachable for C++. + * c-common.def (C_MAYBE_CONST_EXPR): New. + * c-common.h (c_fully_fold, c_save_expr, + decl_constant_value_for_optimization): New prototypes. + (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR, + C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST, + EXPR_INT_CONST_OPERANDS): Define. + * c-convert.c (convert): Strip nops from expression. + * c-decl.c (groktypename): Take extra parameters expr and + expr_const_operands. Update call to grokdeclarator. + (start_decl): Update call to grokdeclarator. Add statement for + expressions used in type of decl. + (grokparm): Update call to grokdeclarator. + (push_parm_decl): Update call to grokdeclarator. + (build_compound_literal): Add parameter non_const and build a + C_MAYBE_COSNT_EXPR if applicable. + (grokdeclarator): Take extra parameters expr and + expr_const_operands. Track expressions used in declaration + specifiers and declarators. Fold array sizes and track whether + they are constant expressions and whether they are integer + constant expressions. + (parser_xref_tag): Set expr and expr_const_operands fields in + return value. + (grokfield): Update call to grokdeclarator. + (start_function): Update call to grokdeclarator. + (build_null_declspecs): Set expr and expr_const_operands fields in + return value. + (declspecs_add_type): Handle expressions in typeof specifiers. + * c-parser.c (c_parser_declspecs): Set expr and + expr_const_operands fields for declaration specifiers. + (c_parser_enum_specifier): Likewise. + (c_parser_struct_or_union_specifier): Likewise. + (c_parser_typeof_specifier): Likewise. Update call to + groktypename. Fold expression as needed. Return expressions with + type instead of adding statements. + (c_parser_attributes): Update calls to c_parser_expr_list. + (c_parser_statement_after_labels): Fold expression before passing + to objc_build_throw_stmt. + (c_parser_condition): Fold expression. + (c_parser_asm_operands): Fold expression. + (c_parser_conditional_expression): Use c_save_expr. Update call + to build_conditional_expr. + (c_parser_alignof_expression): Update call to groktypename. + (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as + original_code. Fold expression argument of va_arg. Create + C_MAYBE_CONST_EXPR to preserve side effects of expressions in type + argument to va_arg. Update calls to groktypename. Fold array + index for offsetof. Verify that first argument to + __builtin_choose_expr has integer type. + (c_parser_postfix_expression_after_paren_type): Update calls to + groktypename and build_compound_literal. Handle expressions with + side effects in type name. + (c_parser_postfix_expression_after_primary): Update call to + c_parser_expr_list. Set original_code for calls to + __builtin_constant_p. + (c_parser_expr_list): Take extra parameter fold_p. Fold + expressions if requested. + (c_parser_objc_type_name): Update call to groktypename. + (c_parser_objc_synchronized_statement): Fold expression. + (c_parser_objc_receiver): Fold expression. + (c_parser_objc_keywordexpr): Update call to c_parser_expr_list. + (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule, + c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions. + * c-tree.h (CONSTRUCTOR_NON_CONST): Define. + (struct c_typespec): Add elements expr and expr_const_operands. + (struct c_declspecs): Add elements expr and expr_const_operands. + (groktypename, build_conditional_expr, build_compound_literal): + Update prototypes. + (in_late_binary_op): Declare. + * c-typeck.c (note_integer_operands): New function. + (in_late_binary_op): New variable. + (decl_constant_value_for_broken_optimization): Move to c-common.c + and rename to decl_constant_value_for_optimization. + (default_function_array_conversion): Do not strip nops. + (default_conversion): Do not call + decl_constant_value_for_broken_optimization. + (build_array_ref): Do not fold result. + (c_expr_sizeof_expr): Fold operand. Use C_MAYBE_CONST_EXPR for + result when operand is a VLA. + (c_expr_sizeof_type): Update call to groktypename. Handle + expressions included in type name. Use C_MAYBE_CONST_EXPR for + result when operand names a VLA type. + (build_function_call): Update call to build_compound_literal. + Only fold result for calls to __builtin_* functions. Strip + NOP_EXPR from INTEGER_CST returned from such functions. Fold + the function designator. + (convert_arguments): Fold arguments. Update call to + convert_for_assignment. + (build_unary_op): Handle increment and decrement of + C_MAYBE_CONST_EXPR. Move lvalue checks for increment and + decrement earlier. Fold operand of increment and decrement. + Handle address of C_MAYBE_CONST_EXPR. Only fold expression being + built for integer operand. Wrap returns that are INTEGER_CSTs + without being integer constant expressions or that have integer + constant operands without being INTEGER_CSTs. + (lvalue_p): Handle C_MAYBE_CONST_EXPR. + (build_conditional_expr): Add operand ifexp_bcp. Track whether + result is an integer constant expression or can be used in + unevaluated parts of one and avoid folding and wrap as + appropriate. Fold operands before possibly doing -Wsign-compare + warnings. + (build_compound_expr): Wrap result for C99 if operands can be used + in integer constant expressions. + (build_c_cast): Update call to digest_init. Do not ignore + overflow from casting floating-point constants to integers. Wrap + results that could be confused with integer constant expressions, + null pointer constants or floating-point constants. + (c_cast_expr): Update call to groktypename. Handle expressions + included in type name. + (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR. Fold + lhs inside possible SAVE_EXPR. Fold RHS before assignment. + Update calls to convert_for_assignment. + (convert_for_assignment): Take new parameter + null_pointer_constant. Do not strip nops or call + decl_constant_value_for_broken_optimization. Set + in_late_binary_op for conversions to boolean. + (store_init_value): Update call to digest_init. + (digest_init): Take new parameter null_pointer_constant. Do not + call decl_constant_value_for_broken_optimization. pedwarn for + initializers not constant expressions. Update calls to + convert_for_assignment. + (constructor_nonconst): New. + (struct constructor_stack): Add nonconst element. + (really_start_incremental_init, push_init_level, pop_init_level): + Handle constructor_nonconst and nonconst element. + (set_init_index): Call constant_expression_warning for array + designators. + (output_init_element): Fold value. Set constructor_nonconst as + applicable. pedwarn for initializers not constant expressions. + Update call to digest_init. Call constant_expression_warning + where constant initializers are required. + (process_init_element): Use c_save_expr. + (c_finish_goto_ptr): Fold expression. + (c_finish_return): Fold return value. Update call to + convert_for_assignment. + (c_start_case): Fold switch expression. + (c_process_expr_stmt): Fold expression. + (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to + ensure statement expression is not evaluated in constant expression. + (build_binary_op): Track whether results are integer constant + expressions or may occur in such, disable folding and wrap results + as applicable. Fold operands for -Wsign-compare warnings unless + in_late_binary_op. + (c_objc_common_truthvalue_conversion): Handle results folded to + integer constants that are not integer constant expressions. + * doc/extend.texi: Document when typeof operands are evaluated, + that condition of __builtin_choose_expr is an integer constant + expression, and more about use of __builtin_constant_p in + initializers. + +2009-03-29 Richard Guenther + + * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly + propagate addresses of array references. + +2009-03-29 Steven Bosscher + + * regmove.c (perhaps_ends_bb_p): Remove. + (optimize_reg_copy_1): Don't call perhaps_ends_bb_p. Get basic block + from INSN and check that the main loop stays within that basic block. + (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise. + (regmove_forward_pass): Split out from regmove_optimize. Use + FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream. + (regmove_backward_pass): Split out from regmove_optimize. Use + FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE. + (regmove_optimize): Simplify. + +2009-03-29 H.J. Lu + + PR target/39545 + * config/i386/i386.c (classify_argument): Ignore flexible array + member in struct and warn ABI change. + +2009-03-29 H.J. Lu + + * config/i386/i386-protos.h (ix86_agi_dependent): New. + + * config/i386/i386.c (ix86_agi_dependent): Rewrite. + (ix86_adjust_cost): Updated. + +2009-03-29 Jan Hubicka + + PR middle-end/28850 + * tree-pass.h (pass_cleanup_eh): New function. + (remove_unreachable_regions): Break code handling RTL + to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW + that can not be reached by runtime. + (can_be_reached_by_runtime): New function. + (label_to_region_map): New function. + (num_eh_regions): New function. + (rtl_remove_unreachable_regions): New function. + (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions. + (remove_eh_region): New function. + * except.h: Include sbitmap and vecprim. + (remove_eh_region, remove_unreachable_regions, label_to_region_map, + num_eh_regions): Declare. + * passes.c (init_optimization_passes): Schedule cleanup_eh. + * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it. + * tree-eh.c (tree_remove_unreachable_handlers): New function. + (tree_empty_eh_handler_p): New function. + (cleanup_empty_eh): New function. + (cleanup_eh): New function. + (pass_cleanup_eh): New function. + +2009-03-29 Jan Hubicka + + * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready + for removed regions. + +2009-03-29 Jan Hubicka + + * except.c (dump_eh_tree): Dump all datastructures. + +2009-03-29 Jan Hubicka + + * except.c (duplicate_eh_regions_0): Handle AKA bitmap. + (duplicate_eh_regions_1): Likewise. + (duplicate_eh_regions): Likewise; cleanup code gorwing the region + vector; call EH verification. + (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1): + Be ready for region being removed. + +2009-03-29 Jan Hubicka + + * bitmap.c (bitmap_last_set_bit): New function. + * bitmap.h (bitmap_last_set_bit): Declare. + +2009-03-29 David Ayers + + PR objc/27377 + * c-typeck.c (build_conditional_expr): Emit ObjC warnings + by calling objc_compare_types and surpress warnings about + incompatible C pointers that are compatible ObjC pointers. + +2009-03-29 Adam Nemet + + * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't + call initialize_inline_failed. + (initialize_inline_failed): Move it from here ... + * cgraph.c (initialize_inline_failed): ... to here. + (cgraph_create_edge): Call initialize_inline_failed rather than + setting inline_failed directly. + +2009-03-29 Ben Elliston + + PR target/32542 + * sysv4.opt (msdata): Improve comment. + * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given. + * sysv4.h (SVR4_ASM_SPEC): Likewise. + 2009-03-29 Ben Elliston PR target/30451 @@ -29,6 +1296,7 @@ Merge from pretty-ipa: 2009-03-27 Jan Hubicka + * cgraph.c (dump_cgraph_node): Add replace output flag by process. * tree-pass.h (function_called_by_processed_nodes_p): Declare. * passes.c (function_called_by_processed_nodes_p): New. @@ -61,6 +1329,7 @@ * tree-flow.h (stmt_can_throw_external): New. * passes.c (init_optimization_passes): Schedule fixup_cfg pass early; and local pure/const pass in early and late optimization queue. + 2009-03-28 Martin Jambor * fold-const.c (get_pointer_modulus_and_residue): New parameter @@ -154,6 +1423,7 @@ 2009-03-28 Jan Hubicka Bring from lto-branch: + 2008-09-03 Doug Kwan * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t @@ -388,8 +1658,7 @@ * c-common.c (handle_aligned_attribute): Properly check alignment overflow. Use (1U << i) instead of (1 << i). - * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for - align. + * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align. * expr.h (get_mem_align_offset): Updated. @@ -421,8 +1690,7 @@ PR target/39472 * config/i386/i386.c (ix86_abi): New. (override_options): Handle -mabi=. - (ix86_function_arg_regno_p): Replace DEFAULT_ABI with - ix86_abi. + (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi. (ix86_call_abi_override): Likewise. (init_cumulative_args): Likewise. (function_arg_advance): Likewise. @@ -434,12 +1702,10 @@ (setup_incoming_varargs_64): Likewise. (is_va_list_char_pointer): Likewise. (ix86_init_machine_status): Likewise. - (ix86_reg_parm_stack_space): Use enum calling_abi on - call_abi. + (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi. (ix86_function_type_abi): Return enum calling_abi. Rewrite for 64bit. Replace DEFAULT_ABI with ix86_abi. - (ix86_function_abi): Make it static and return enum - calling_abi. + (ix86_function_abi): Make it static and return enum calling_abi. (ix86_cfun_abi): Return enum calling_abi. Replace DEFAULT_ABI with ix86_abi. (ix86_fn_abi_va_list): Updated. @@ -521,7 +1787,8 @@ 2009-03-27 Andrew Pinski PR c++/36799 - * ginclude/stdarg.h (va_copy): Define also for __GXX_EXPERIMENTAL_CXX0X__. + * ginclude/stdarg.h (va_copy): Define also for + __GXX_EXPERIMENTAL_CXX0X__. 2009-03-27 Manuel Lopez-Ibanez @@ -607,8 +1874,7 @@ * configure.ac : Add pattern crisv32-*-* for "nop". - : Add item for CRIS and - CRIS v32. + : Add item for CRIS and CRIS v32. * configure: Regenerate. 2009-03-24 Ira Rosen @@ -620,8 +1886,7 @@ 2009-03-24 Arthur Loiret - * config.host (alpha*-*-linux*): Use driver-alpha.o and - alpha/x-alpha. + * config.host (alpha*-*-linux*): Use driver-alpha.o and alpha/x-alpha. * config/alpha/linux.h (host_detect_local_cpu): Declare, add to EXTRA_SPEC_FUNCTIONS. (MCPU_MTUNE_NATIVE_SPECS, DRIVER_SELF_SPECS): New macros. @@ -1074,7 +2339,7 @@ 2009-03-06 Jan-Benedict Glaw - * genpreds.c: (needs_variable): Fix parentheses at variable name + * genpreds.c (needs_variable): Fix parentheses at variable name detection. (write_tm_constrs_h): Indent generated code. @@ -1393,7 +2658,7 @@ 2009-02-27 Andreas Krebbel - * gcc/config/s390/s390.c: (s390_swap_cmp): Look for conditional + * gcc/config/s390/s390.c (s390_swap_cmp): Look for conditional jumps if COND is NULL. (find_cond_jump): New function. (s390_z10_optimize_cmp): Handling for reg-reg compares added. @@ -2440,7 +3705,7 @@ * global.c: Remove the file. - * opts.c: (decode_options): Remove flag_ira. + * opts.c (decode_options): Remove flag_ira. * hard-reg-set.h (losing_caller_save_reg_set): Remove. @@ -2820,7 +4085,7 @@ 2009-01-22 Dodji Seketeli PR c++/38930 - * c-decl.c: (clone_underlying_type): Revert PR c++/26693 changes. + * c-decl.c (clone_underlying_type): Revert PR c++/26693 changes. * c-common.c (set_underlying_type): Likewise. (is_typedef_decl ): Likewise * tree.h: Likewise @@ -2850,7 +4115,7 @@ 2009-01-21 Dodji Seketeli PR c++/26693 - * c-decl.c: (clone_underlying_type): Move this ... + * c-decl.c (clone_underlying_type): Move this ... * c-common.c (set_underlying_type): ... here. Also, make sure the function properly sets TYPE_STUB_DECL() on the newly created typedef variant type. @@ -3213,7 +4478,7 @@ * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm. * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add variant for devices with 3-byte PC. - (__tablejump_elpm__) : New. + (__tablejump_elpm__): New. 2009-01-12 Jakub Jelinek