+2007-04-30 Alexandre Oliva <aoliva@redhat.com>
+
+ 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.
+ 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
+ * tree-sra.c (try_instantiate_multiple_fields): Needlessly
+ initialize align to silence bogus warning.
+ 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
+ * tree-sra.c (struct sra_elt): Add in_bitfld_block. Remove
+ all_no_warning.
+ (struct sra_walk_fns): Remove use_all parameter from use.
+ (sra_hash_tree): Handle BIT_FIELD_REFs.
+ (sra_elt_hash): Don't hash bitfld blocks.
+ (sra_elt_eq): Skip them in parent compares as well. Handle
+ BIT_FIELD_REFs.
+ (sra_walk_expr): Don't maintain or pass down use_all_p.
+ (scan_use): Remove use_all parameter.
+ (scalarize_use): Likewise. Re-expand assignment to
+ BIT_FIELD_REF of gimple_reg. De-scalarize before input or
+ output, and re-scalarize after output. Don't mark anything
+ for no warning.
+ (scalarize_ldst): Adjust.
+ (scalarize_walk_gimple_modify_statement): Likewise.
+ (build_element_name_1): Handle BIT_FIELD_REFs.
+ (instantiate_element): Don't warn for any element whose parent
+ is used as a whole.
+ (instantiate_missing_elements_1): Return the sra_elt.
+ (canon_type_for_field): New.
+ (try_instantiate_multiple_fields): New.
+ (instantiate_missing_elemnts): Use them.
+ (mark_no_warning): Removed.
+ (generate_one_element_ref): Handle BIT_FIELD_REFs.
+ (REPLDUP, sra_build_elt_assignment): New.
+ (generate_copy_inout): Use them.
+ (generate_element_copy): Likewise. Handle bitfld differences.
+ (generate_element_zero): Don't recurse for blocks. Use
+ sra_build_elt_assignment.
+ (generate_one_element_int): Take elt instead of var. Use
+ sra_build_elt_assignment.
+ (generate_element_init_1): Adjust.
+ (scalarize_use, scalarize_copy): Use REPLDUP.
+ (scalarize_ldst): Move assert before dereference.
+ (dump_sra_elt_name): Handle BIT_FIELD_REFs.
+
+2007-04-30 Andrew Pinski <andrew_pinski@playstation.sony.com>
+
+ PR C++/31721
+ * tree.c (reconstruct_complex_type): Reconstruct a reference
+ correctly.
+ Also use the same mode for the pointer as the old pointer type.
+
+2007-04-30 Francois-Xavier Coudert <coudert@clipper.ens.fr>
+
+ * doc/trouble.texi (Interoperation): Remove note about Ultrix
+ Fortran compiler.
+
+2007-04-29 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR rtl-optimization/31676
+ * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
+ (df_refs_record): Call it.
+
+2007-04-29 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * rtl.def (SS_ABS): New code.
+ * config/bfin/bfin.c (print_operand): New modifier 'v'.
+ (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
+ BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
+ BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
+ (bfin_init_builtins): Define them.
+ (bdesc_1arg, bdesc_2arg): Add some of them here, ...
+ (bfin_expand_builtin): ... and handle the others here.
+ * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
+ flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
+ (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
+ (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
+ operand is only HImode.
+
+2007-04-29 Steven Bosscher <steven@gcc.gnu.org>
+
+ * regclass.c (scan_one_insn): Remove splitting of
+ two address insns.
+
+2007-04-28 Sandra Loosemore <sandra@codesourcery.com>
+ Nigel Stephens <nigel@mips.com>
+
+ * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
+
+2007-04-28 Jan Hubicka <jh@suse.cz>
+
+ * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
+ insn_locators_alloc instead of insn_locators_initialize;
+ call reset_block_changes.
+ * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
+ * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
+ * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
+ * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
+ * config/score/score.c (th_output_mi_thunk): Likewise.
+ * config/mips/mips.c (mips_output_mi_thunk): Likewise.
+ * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
+ tolerate uninitialized locator info.
+
+ Re-apply:
+ * function.c (init_function_start): Don't init line number info.
+ (expand_function_end): Update.
+ (reset_block_changes, record_block_change, finalize_block_changes,
+ check_block_change, free_block_changes): Kill.
+ * function.h (reset_block_changes, record_block_change,
+ finalize_block_changes, check_block_change, free_block_changes): Remove
+ prototypes.
+ (struct function): Remove ib_boundaries_block.
+ * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
+ Use curr_insn_locator to initialize locator.
+ (emit_line_note): Remove.
+ * cfgexpand.c (expand_gimple_cond_expr): Update.
+ (construct_exit_block): Likewise.
+ (tree_expand_cfg): Initialize/finalize locators.
+ * expr.c (expand_expr_real): Update.
+ * cfglayout.c (line_locators_locs, line_locators_lines,
+ file_locators_locs, file_locators_files): Remove.
+ (set_block_levels): Move to cfgexpand.c.
+ (insn_locators_initialize): Remove.
+ (pass_insn_locators_initialize): Remove.
+ (locations_locators_locs, locations_locators_vals): New static vars.
+ (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
+ Likewise.
+ (insn_locators_alloc, insn_locators_finalize,
+ set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+ New functions.
+ (locator_location): New.
+ (locator_line, locator_file): Rewrite.
+ * rtl.h (emit_line_note): Kill.
+ (insn_locators_alloc, insn_locators_finalize,
+ set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+ Declare.
+ * tree-inline.c (initialize_cfun): Do not initialize
+ ib_boundaries_block.
+ * passes.c (pass_insn_locators_initialize): Remove.
+
+2007-04-28 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-cfg.c (move_block_to_fn): Release bb from dominance
+ info. Update last_basic_block correctly.
+
+2007-04-27 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ PR target/31701
+ * config/sh/sh.c (output_stack_adjust): Avoid using the frame
+ register itself to hold the offset constant. Tell flow the use
+ of r4 and r5 when they are used.
+
+2007-04-27 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
+ if we simplified anything.
+ (tree_ssa_forward_propagate_single_use_vars): Defer overflow
+ warnings until we did a simplification and the stmt was not
+ marked as TREE_NO_WARNING.
+
+2007-04-27 Mike Stump <mrs@apple.com>
+
+ * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
+
+2007-04-27 Ian Lance Taylor <iant@google.com>
+
+ PR middle-end/31710
+ * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
+ TYPE_MAX_VALUE exist, convert them to the new type.
+
+2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
+ if it claims to be available.
+ * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
+ edge is redirected.
+ (perform_tree_ssa_dce): Always free postdominators.
+
+2007-04-27 Richard Henderson <rth@redhat.com>
+
+ * config/alpha/predicates.md (aligned_memory_operand): Mark
+ as define_special_predicate.
+ (unaligned_memory_operand, normal_memory_operand): Likewise.
+ (reg_or_unaligned_mem_operand): Remove.
+ (any_memory_operand): Match the documentation and check for
+ non-renumbered pseudos during reload.
+ * config/alpha/alpha.c (alpha_secondary_reload): Rename from
+ alpha_secondary_reload_class, update to new interface, make static.
+ Handle CQImode like HImode. Remove FP subreg check.
+ (alpha_expand_mov): Use replace_equiv_address.
+ (alpha_expand_mov_nobwx): Use any_memory_operand.
+ (TARGET_SECONDARY_RELOAD): New.
+ * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
+ (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
+ * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
+ * config/alpha/alpha.md: ... here.
+ (RELOAD12, reloadmode): New.
+ (movcqi): New.
+ (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
+ Don't handle the aligned case here.
+ (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
+ (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
+ reload_inhi_help. Don't expect a scratch register.
+ (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
+ reload_outhi_help.
+ * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
+
+2007-04-27 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
+
+2007-04-27 Richard Guenther <rguenther@suse.de>
+
+ 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.
+ (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.
+ (tree_ssa_forward_propagate_single_use_vars): Call
+ forward_propagate_comparison to propagate comparisons.
+
+2007-04-27 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/31715
+ * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
+ sure to do computation on the offset in an appropriate
+ signed type.
+
+2007-04-27 Richard Sandiford <richard@codesourcery.com>
+
+ * reload.h (elimination_target_reg_p): Declare.
+ * reload.c (find_reloads): Don't apply the reg_rtx move
+ optimization if the SET_DEST satisfies elimination_target_reg_p.
+ * reload1.c (elimination_target_reg_p): New function.
+ (gen_reload): In the move/add2 fallback, make sure that op0
+ does not overlap the destination register.
+
+2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
+ transform only GIMPLE_MODIFY_STMTs.
+ * tree-complex.c (expand_complex_operations_1): Ditto.
+ (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
+ * tree-ssa-loop-manip.c (build_if_stmt): Removed.
+ (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
+ branches.
+ * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
+ tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
+ * omp-low.c (expand_parallel_call, expand_omp_for_generic,
+ expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
+ * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
+ slpeel_add_loop_guard): Ditto.
+ * tree-mudflap.c (mf_build_check_statement_for): Ditto.
+ * lambda-code.c (perfect_nestify): Ditto.
+ * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
+ before the first statement.
+ * tree-optimize.c (execute_free_datastructures): Fix comments.
+ (execute_free_cfg_annotations): Do not call disband_implicit_edges.
+ * tree-flow.h (disband_implicit_edges): Declaration removed.
+ * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
+ branches.
+ (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
+ without gotos.
+ (disband_implicit_edges, has_label_p): Removed.
+ (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
+ (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
+ branches.
+ * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
+ side effects.
+ * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
+ also for COND_EXPRs.
+ * cfgexpand.c (label_rtx_for_bb): New function.
+ (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
+ Use label_rtx_for_bb to find the labels.
+ (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
+ last block. Detect fallthru edges.
+
+2007-04-26 Ian Lance Taylor <iant@google.com>
+
+ PR target/28675
+ * reload.c (find_reloads_subreg_address): If the address was valid
+ in the original mode but not in the new mode, reload the whole
+ address.
+
+2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
+ (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
+ (cleanup_control_expr_graph): Do not invalidate dominance info.
+ Record altered blocks.
+ (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
+ (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
+ cleanup_tree_cfg_bb): New functions.
+ (remove_forwarder_block): Do not maintain the worklist of blocks.
+ Record altered blocks.
+ (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
+ not over whole cfg.
+ (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1. Only call
+ delete_unreachable_blocks if dominators are not available.
+ * tree-inline.c (optimize_inline_calls): Free dominance information
+ earlier.
+ * tree-flow.h (remove_edge_and_dominated_blocks,
+ cfgcleanup_altered_bbs): Altered.
+ * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
+ blocks.
+ (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
+ functions.
+ (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
+ do not invalidate dominators.
+
+2007-04-26 Anatoly Sokolov <aesok@post.ru>
+
+ * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
+ ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
+ * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
+ * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
+
+2007-04-26 Steve Ellcey <sje@cup.hp.com>
+
+ * config/ia64/ia64.md (ip_value): Fix itanium_class attribute.
+
+2007-04-26 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/31703
+ * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
+ the right type for the target of the bittest.
+
+2007-04-26 Richard Sandiford <richard@codesourcery.com>
+
+ * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
+ ix86_sol10_return_in_memory.
+
+2007-04-26 Richard Sandiford <richard@codesourcery.com>
+
+ * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
+ variables.
+
+2007-04-26 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/31598
+ * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
+
+ PR tree-optimization/30558
+ * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
+ clear this_state.prev_try.
+
+2007-04-26 Richard Sandiford <richard@codesourcery.com>
+ Mark Mitchell <mark@codesourcery.com>
+
+ * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
+ * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
+ * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
+
+2007-04-26 Richard Sandiford <richard@codesourcery.com>
+
+ PR driver/31107
+ * doc/invoke.texi (%:print-asm-header): Document.
+ * gcc.c (asm_options): Use %:print-asm-header() for --target-help
+ and -ftarget-help.
+ (static_spec_functions): Add print-asm-header.
+ (main): Print a banner before the --target-help linker options.
+ (print_asm_header_spec_function): New function.
+
+2007-04-25 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ PR target/31403
+ * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
+ (movsf_ie): Likewise.
+
+2007-04-25 Paolo Carlini <pcarlini@suse.de>
+
+ * doc/extend.texi ([Type Traits]): Adjust per N2255.
+
+2007-04-25 Bob Wilson <bob.wilson@acm.org>
+
+ * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
+ for divide-by-zero.
+ (__umodsi3, __modsi3): Likewise.
+
+2007-04-25 Dirk Mueller <dmueller@suse.de>
+
+ * c-typeck.c (build_compound_expr): Annotate warning()
+ call with OPT_Wunused_value.
+ * tree-ssa.c (warn_uninit): Annotate warning with
+ OPT_Wunintialized.
+ * c-common.c (handle_sentinel_attribute): Annotate warning
+ call with OPT_Wattributes.
+
+2007-04-25 Thiemo Seufer <ths@mips.com>
+
+ * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
+ (mips16): Fix typo.
+ * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
+ on to the assembler. Improve handling of -mno-mips16. Add handling
+ of -mno-mips3d, -mno-dsp, -mno-dspr2.
+ * doc/invoke.texi (MIPS Options): Whitespace cleanup. Fix wrong use
+ of @itemx. Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
+ -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
+
+2007-04-25 Danny Smith <dannysmith.users.sourceforge.net>
+
+ PR target/31680
+ * config/i386/winnt.c (i386_pe_file_end): Strip only
+ USER_LABEL_PREFIX when writing export name.
+
+2007-04-25 Richard Sandiford <richard@codesourcery.com>
+
+ * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h. Include
+ sh/elf.h, vx-common.h and vxworks.h.
+ * config/sh/sh.h: Include config/vxworks-dummy.h.
+ (SUBTARGET_OVERRIDE_OPTIONS): Define.
+ (OVERRIDE_OPTIONS): Use it.
+ * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
+ (vxworks_picreg): New pattern.
+ * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
+ VXWORKS_OS_CPP_BUILTINS.
+ (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
+ to their VXWORKS_* equivalents.
+ (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
+ (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
+ * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
+ (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
+ * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
+ -mrtp/-fPIC multilibs.
+ (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
+ (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
+ (MULTILIB_OSDIRNAMES): Delete.
+
+2007-04-25 Anatoly Sokolov <aesok@post.ru>
+
+ PR target/18989
+ * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
+
+2007-04-24 Brooks Moses <brooks.moses@codesourcery.com>
+
+ * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
+ rounding mode to be specified by the caller.
+ (real_to_mpfr) Likewise.
+ * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
+ include new arguments.
+ * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
+
+2007-04-24 Ian Lance Taylor <iant@google.com>
+
+ PR tree-optimization/31605
+ * tree-vrp.c (set_value_range): Check that min and max are not
+ both overflow infinities.
+ (set_value_range_to_value): New static function.
+ (extract_range_from_binary_expr): Call set_value_range_to_value.
+ (extract_range_from_cond_expr): Likewise.
+ (extract_range_from_expr): Likewise.
+ (extract_range_from_unary_expr): Likewise. Don't create a range
+ which overflows on both sides.
+ (vrp_meet): Check for a useless range.
+ (vrp_visit_phi_node): If we see a constant which looks like an
+ overflow infinity, turn off the TREE_OVERFLOW flag.
+
+2007-04-24 Ian Lance Taylor <iant@google.com>
+
+ * flow.c (elim_reg_cond): Handle a comparison of a subreg.
+
+2007-04-24 Simon Martin <simartin@users.sourceforge.net>
+
+ PR diagnostic/25923
+ * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
+ diagnostic message is being built.
+ * tree-pretty-print.c (dump_generic_node): Only write the
+ formatted text into BUFFER's stream if we are not building a
+ diagnostic message.
+ * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
+ dump_generic_node.
+ * Makefile.in (toplev.o): Depend on tree-pass.h.
+
+2007-04-24 Ian Lance Taylor <iant@google.com>
+
+ PR tree-optimization/31602
+ * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
+ conditionals in the copied loop header.
+ * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
+ warnings if TREE_NO_WARNING is set.
+ * doc/invoke.texi (Warning Options): Clarify that
+ -Wstrict-overflow does not warn about loops.
+
+2007-04-24 Janis Johnson <janis187@us.ibm.com>
+
+ * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
+ expand on the comment about _Decimal128 arguments and check the
+ integer result of the modulus operation; for 64-bit ELF ABI, ensure
+ that _Decimal128 argument uses even/odd register pair.
+ (function_arg): Ditto.
+
+2007-04-24 Hui-May Chang <hm.chang@apple.com>
+
+ * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
+ instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
+
+2007-04-24 Richard Guenther <rguenther@suse.de>
+ Olga Golovanevsky <olga@il.ibm.com>
+
+ * fold-const.c (multiple_of_p): Check for bottom
+ to be zero.
+
+2007-04-24 Richard Henderson <rth@redhat.com>
+
+ * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
+ IS_IBM_EXTENDED. Also define in terms of WIDEST_HARDWARE_FP_SIZE.
+ * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
+ looking for non-zero bits shifted out. Avoid a recursive call
+ when constructing the scalar.
+ (__floatundisf): Likewise.
+
+2007-04-24 Nathan Froyd <froydnj@codesourcery.com>
+
+ * dwarf2out.c (field_byte_offset): Move the existing logic
+ under the control of PCC_BITFIELD_TYPE_MATTERS and just use
+ the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
+
+2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
+
+ PR target/31641
+ * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
+ argument of 0 for memset.
+ (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
+ unsigned shift instead of the signed variant.
+
+2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
+
+ * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
+ "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
+ "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
+ "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
+ "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
+ "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
+ "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
+ "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
+ "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
+ ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
+ "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
+ "mul<mode>3", "div<mode>3"): Insn definitions added.
+ ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
+ "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
+ to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
+ ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
+ "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
+ "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
+ ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
+ * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
+ TARGET_FLOAT_FORMAT): Macro definitions removed.
+ (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
+ * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
+ z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
+ (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
+ (s390_gen_rtx_const_DI): Function removed.
+ * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
+
+2007-04-24 Richard Sandiford <richard@codesourcery.com>
+
+ * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
+ over an external ffs function.
+
+2007-04-24 Chao-ying Fu <fu@mips.com>
+ Richard Sandiford <richard@nildram.co.uk>
+
+ * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
+ * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
+ (smadd_widen_optab, umadd_widen_optab): Define.
+ * optabs.c (init_optabs): Initialize smadd_widen_optab and
+ umadd_widen_optab.
+ * genopinit.c (optabs): Fill in smadd_widen_optab and
+ umadd_widen_optab.
+ * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
+ and umadd_widen_optab to implement multiply-add sequences.
+ * config/mips/mips.md (*<su>mul_acc_di): Rename to...
+ (<u>maddsidi4): ...this. Extend condition to include
+ GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
+ of operand 0 to "ka" and use the three-operand form of madd<u>
+ for TARGET_DSPR2.
+ * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
+ to define_expands.
+ * config/mips/constraints.md (ka): New register constraint.
+
+2007-04-24 Jan Hubicka <j@suse.cz>
+
+ Revert:
+
+ 2007-04-23 Jan Hubicka <jh@suse.cz>
+ * function.c (init_function_start): Don't init line number info.
+ (expand_function_end): Update.
+ (reset_block_changes, record_block_change, finalize_block_changes,
+ check_block_change, free_block_changes): Kill.
+ * function.h (reset_block_changes, record_block_change,
+ finalize_block_changes, check_block_change, free_block_changes): Remove
+ prototypes.
+ (struct function): Remove ib_boundaries_block.
+ * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
+ Use curr_insn_locator to initialize locator.
+ (emit_line_note): Remove.
+ * cfgexpand.c (expand_gimple_cond_expr): Update.
+ (construct_exit_block): Likewise.
+ (tree_expand_cfg): Initialize/finalize locators.
+ * expr.c (expand_expr_real): Update.
+ * cfglayout.c (line_locators_locs, line_locators_lines,
+ file_locators_locs, file_locators_files): Remove.
+ (set_block_levels): Move to cfgexpand.c.
+ (insn_locators_initialize): Remove.
+ (pass_insn_locators_initialize): Remove.
+ (locations_locators_locs, locations_locators_vals): New static vars.
+ (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
+ Likewise.
+ (insn_locators_alloc, insn_locators_finalize,
+ set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+ New functions.
+ (locator_location): New.
+ (locator_line, locator_file): Rewrite.
+ * rtl.h (emit_line_note): Kill.
+ (insn_locators_alloc, insn_locators_finalize,
+ set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+ Declare.
+ * tree-inline.c (initialize_cfun): Do not initialize
+ ib_boundaries_block.
+ * passes.c (pass_insn_locators_initialize): Remove.
+
+2007-04-24 Daniel Franke <franke.daniel@gmail.com>
+
+ * doc/invoke.texi: Removed leading '-' from option index entries.
+
+2007-04-23 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
+ Use phi_nodes_ptr.
+ (create_phi_node): Use set_phi_nodes.
+ * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
+ * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
+ (combine_blocks): Use bb_stmt_list and set_bb_stmt_list.
+ * tree-flow-inline.h (phi_nodes, set_phi_nodes,
+ (bsi_start, bsi_last): Use bb_stmt_list.
+ (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
+ * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
+ Traverse the statements using tsi iterator.
+ * basic-block.h (struct basic_block_def): Fields stmt_list
+ and phi_nodes moved to ...
+ (struct tree_bb_info): ... new structure.
+ * tree-cfg.c (create_bb): Allocate il.tree. Use set_bb_stmt_list.
+ (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
+ (remove_bb): Handle blocks with NULL stmt list. Clear il.tree field.
+ (tree_verify_flow_info): Verify that il.tree is not set for
+ entry and exit block.
+ (tree_split_block): Use set_bb_stmt_list.
+
+2007-04-23 Mike Stump <mrs@apple.com>
+
+ * config/i386/i386.c (ix86_tune_features
+ [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
+ nocona and core2.
+
+2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
+
+ * config/i386/i386.md (prefix_extra): New attribute.
+ (length): Add prefix_extra.
+
+ * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
+ (sse2_movntv2di): Likewise.
+ (sse2_cvtps2dq): Likewise.
+ (sse2_cvtpd2pi): Likewise.
+ (sse2_cvttpd2pi): Likewise.
+ (*sse2_cvtpd2ps): Likewise.
+ (*add<mode>3): Likewise.
+ (sse2_ssadd<mode>3): Likewise.
+ (sse2_usadd<mode>3): Likewise.
+ (*sub<mode>3): Likewise.
+ (sse2_sssub<mode>3): Likewise.
+ (sse2_ussub<mode>3): Likewise.
+ (*mulv8hi3): Likewise.
+ (*smulv8hi3_highpart): Likewise.
+ (*umulv8hi3_highpart): Likewise.
+ (sse2_umulv2siv2di3): Likewise.
+ (sse2_pmaddwd): Likewise.
+ (ashr<mode>3): Likewise.
+ (lshr<mode>3): Likewise.
+ (ashl<mode>3): Likewise.
+ (sse2_ashlti3): Likewise.
+ (sse2_lshrti3): Likewise.
+ (*umaxv16qi3): Likewise.
+ (*smaxv8hi3): Likewise.
+ (*uminv16qi3): Likewise.
+ (*sminv8hi3): Likewise.
+ (sse2_eq<mode>3): Likewise.
+ (sse2_gt<mode>3): Likewise.
+ (*and<mode>3): Likewise.
+ (sse2_nand<mode>3): Likewise.
+ (*ior<mode>3): Likewise.
+ (*xor<mode>3): Likewise.
+ (sse2_packsswb): Likewise.
+ (sse2_packssdw): Likewise.
+ (sse2_packuswb): Likewise.
+ (sse2_punpckhbw): Likewise.
+ (sse2_punpcklbw): Likewise.
+ (sse2_punpckhwd): Likewise.
+ (sse2_punpcklwd): Likewise.
+ (sse2_punpckhdq): Likewise.
+ (sse2_punpckldq): Likewise.
+ (sse2_punpckhqdq): Likewise.
+ (sse2_punpcklqdq): Likewise.
+ (*sse2_pinsrw): Likewise.
+ (*sse2_pextrw): Likewise.
+ (sse2_pshufd_1): Likewise.
+ (sse2_uavgv16qi3): Likewise.
+ (sse2_uavgv8hi3): Likewise.
+ (sse2_psadbw): Likewise.
+ (sse2_pmovmskb): Likewise.
+ (*sse2_maskmovdqu): Likewise.
+ (*sse2_maskmovdqu_rex64): Likewise.
+ (sse4a_extrqi): Likewise.
+ (sse4a_extrq): Likewise.
+ (sse3_lddqu): Set prefix_rep.
+ (sse3_addsubv4sf3): Likewise.
+ (sse3_haddv4sf3): Likewise.
+ (sse3_hsubv4sf3): Likewise.
+ (sse_cvtss2si): Likewise.
+ (sse_cvtss2si_2): Likewise.
+ (sse_cvtss2siq): Likewise.
+ (sse_cvtss2siq_2): Likewise.
+ (sse_cvttss2si): Likewise.
+ (sse_cvttss2siq): Likewise.
+ (sse2_cvttps2dq): Likewise.
+ (sse3_movshdup): Likewise.
+ (sse3_movsldup): Likewise.
+ (sse2_cvtsd2si): Likewise.
+ (sse2_cvtsd2si_2): Likewise.
+ (sse2_cvtsd2siq): Likewise.
+ (sse2_cvtsd2siq_2): Likewise.
+ (sse2_cvttsd2si): Likewise.
+ (sse2_cvttsd2siq): Likewise.
+ (*sse2_cvtpd2dq): Likewise.
+ (*sse2_cvttpd2dq): Likewise.
+ (sse2_pshuflw_1): Likewise.
+ (sse2_pshufhw_1): Likewise.
+ (sse4a_insertqi): Likewise.
+ (sse4a_insertq): Likewise.
+ (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
+ (ssse3_phadddv4si3): Likewise.
+ (ssse3_phaddswv8hi3): Likewise.
+ (ssse3_phsubwv8hi3): Likewise.
+ (ssse3_phsubdv4si3): Likewise.
+ (ssse3_phsubswv8hi3): Likewise.
+ (ssse3_pmaddubswv8hi3): Likewise.
+ (ssse3_pmulhrswv8hi3): Likewise.
+ (ssse3_pshufbv16qi3): Likewise.
+ (ssse3_psign<mode>3): Likewise.
+ (ssse3_palignrti): Likewise.
+ (abs<mode>2): Likewise.
+ (ssse3_phaddwv4hi3): Set prefix_extra.
+ (ssse3_phadddv2si3): Likewise.
+ (ssse3_phaddswv4hi3): Likewise.
+ (ssse3_phsubwv4hi3): Likewise.
+ (ssse3_phsubdv2si3): Likewise.
+ (ssse3_phsubswv4hi3): Likewise.
+ (ssse3_pmaddubswv4hi3): Likewise.
+ (ssse3_pmulhrswv4hi3): Likewise.
+ (ssse3_pshufbv8qi3): Likewise.
+ (ssse3_psign<mode>3): Likewise.
+ (ssse3_palignrdi): Likewise.
+ (abs<mode>2): Likewise.
+ (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
+ (*vec_dupv2df): Set mode to V2DF instead of V4SF.
+ (sse2_pmovmskb): Set mode to SI instead of V2DF.
+
+2007-04-23 Nick Clifton <nickc@redhat.com>
+
+ * params.def: Fix formatting of emacs local variables.
+
+2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
+
+ * config/i386/sse.md (sse2_stored): Don't split to inter-unit
+ move if inter-unit move isn't allowed.
+ Don't split moving the first element of V2DI to DI to inter-unit
+ move if inter-unit move isn't allowed.
+
+2007-04-23 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
+ and CDI_POST_DOMINATORS separately.
+
+2007-04-23 Nick Clifton <nickc@redhat.com>
+
+ * c.opt (Wformat-contains-nul): Add warning attribute.
+
+2007-04-23 Jan Hubicka <jh@suse.cz>
+
+ * function.c (init_function_start): Don't init line number info.
+ (expand_function_end): Update.
+ (reset_block_changes, record_block_change, finalize_block_changes,
+ check_block_change, free_block_changes): Kill.
+ * function.h (reset_block_changes, record_block_change,
+ finalize_block_changes, check_block_change, free_block_changes): Remove
+ prototypes.
+ (struct function): Remove ib_boundaries_block.
+ * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
+ Use curr_insn_locator to initialize locator.
+ (emit_line_note): Remove.
+ * cfgexpand.c (expand_gimple_cond_expr): Update.
+ (construct_exit_block): Likewise.
+ (tree_expand_cfg): Initialize/finalize locators.
+ * expr.c (expand_expr_real): Update.
+ * cfglayout.c (line_locators_locs, line_locators_lines,
+ file_locators_locs, file_locators_files): Remove.
+ (set_block_levels): Move to cfgexpand.c.
+ (insn_locators_initialize): Remove.
+ (pass_insn_locators_initialize): Remove.
+ (locations_locators_locs, locations_locators_vals): New static vars.
+ (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
+ Likewise.
+ (insn_locators_alloc, insn_locators_finalize,
+ set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+ New functions.
+ (locator_location): New.
+ (locator_line, locator_file): Rewrite.
+ * rtl.h (emit_line_note): Kill.
+ (insn_locators_alloc, insn_locators_finalize,
+ set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
+ Declare.
+ * tree-inline.c (initialize_cfun): Do not initialize
+ ib_boundaries_block.
+ * passes.c (pass_insn_locators_initialize): Remove.
+
+2007-04-22 Andrew Pinski <andrew_pinski@playstation.sony.com>
+
+ PR middle-end/31448
+ * expr.c (reduce_to_bit_field_precision): Handle
+ CONST_INT rtx's.
+
+2007-04-22 Uros Bizjak <ubizjak@gmail.com>
+
+ PR tree-optimization/24659
+ * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
+ OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
+ (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
+ * genopinit.c (optabs): Rename vec_pack_mod_optab
+ to vec_pack_trunc_optab.
+ * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
+ early for scalar floating point operands for NOP_EXPR.
+ (vectorizable_type_promotion): Ditto.
+ * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
+ vec_pack_trunc_optab.
+ (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
+
+ * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
+ * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
+ Rename from VEC_PACK_MOD_EXPR.
+ (op_prio) [VEC_PACK_TRUNC_EXPR]: 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_hi_v4sf): New expander.
+ (vec_unpacks_lo_v4sf): Ditto.
+ (vec_pack_trunc_v2df): Ditto.
+ (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
+ (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
+ (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
+
+ * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
+ vec_pack_mod_v8hi.
+ (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
+
+ * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
+ Rename from VEC_PACK_MOD_EXPR. This expression also represent
+ packing of floating point operands.
+ [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
+ represent unpacking of floating point operands.
+ * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
+ [vec_unpacks_hi]: Ditto.
+ [vec_unpacks_lo]: Ditto.
+
+2007-04-22 Jan Hubicka <jh@suse.cz>
+
+ * final.c (rest_of_handle_final): Call
+ targetm.asm_out.constructor/targetm.asm_out.destructor
+ * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
+ proper priority via decl_*_priority_insert.
+ * c-common.c (c_expand_body): Likewise.
+
+2007-04-22 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/29789
+ * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
+ (rewrite_reciprocal): New helper split out from
+ determine_invariantness_stmt.
+ (rewrite_bittest): Likewise.
+ (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
+ A & (1 << B) if (1 << B) is loop invariant but (A >> B)
+ is not.
+
+2007-04-22 Revital Eres <eres@il.ibm.com>
+
+ * loop-unroll.c (var_to_expand): New field to support also
+ insns of the form x = something + x.
+ (analyze_insn_to_expand_var): Use it.
+ (expand_var_during_unrolling): Likewise.
+
2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
* predict.c: Include pointer-set.h.