+2009-05-16 Richard Earnshaw <rearnsha@arm.com>
+
+ PR target/40153
+ * arm.md (cstoresi_nltu_thumb1): Use a neg of ltu as the pattern name
+ implies.
+
+2009-05-16 Richard Earnshaw <rearnsha@arm.com>
+
+ * arm.md (movdi2): Copy non-reg values to DImode registers.
+
+2009-05-16 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/39942
+ * final.c (label_to_max_skip): New function.
+ (label_to_alignment): Only use LABEL_TO_ALIGNMENT if
+ CODE_LABEL_NUMBER <= max_labelno.
+ * output.h (label_to_max_skip): New prototype.
+ * config/i386/i386.c (ix86_avoid_jump_misspredicts): Renamed to...
+ (ix86_avoid_jump_mispredicts): ... this. Don't define if
+ ASM_OUTPUT_MAX_SKIP_ALIGN isn't defined. Update comment.
+ Handle CODE_LABELs with >= 16 byte alignment or with
+ max_skip == (1 << align) - 1.
+ (ix86_reorg): Don't call ix86_avoid_jump_mispredicts if
+ ASM_OUTPUT_MAX_SKIP_ALIGN isn't defined.
+
+ PR target/39942
+ * config/i386/x86-64.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Don't emit second
+ .p2align 3 if MAX_SKIP is smaller than 7.
+ * config/i386/linux.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Likewise.
+
+2009-05-15 Ian Lance Taylor <iant@google.com>
+
+ * alias.c (struct alias_set_entry_d): Rename from struct
+ alias_set_entry. Change all uses.
+ * except.c (struct call_site_record_d): Rename from struct
+ call_site_record. Change all uses.
+ * except.h (struct eh_region_d): Rename from struct eh_region.
+ Change all uses.
+ * gcse.c (struct hash_table_d): Rename from struct hash_table.
+ Change all uses.
+ * graphite.c (struct ivtype_map_elt_d): Rename fromstruct
+ ivtype_map_elt. Change all uses.
+ (struct rename_map_elt_d): Rename fromstruct rename_map_elt.
+ Change all uses.
+ (struct ifsese_d): Rename fromstruct ifsese. Change all uses.
+ * graphite.h (struct name_tree_d): Rename from struct name_tree.
+ Change all uses.
+ (struct sese_d): Rename from struct sese. Change all uses.
+ * omega.h (struct eqn_d): Rename from struct eqn. Change all
+ uses.
+ (struct omega_pb_d): Rename from struct omega_pb. Change all
+ uses.
+ * optabs.h (struct optab_d): Rename from struct optab. Change all
+ uses.
+ (struct convert_optab_d): Rename from struct convert_optab.
+ Change all uses.
+ * tree-pass.h (struct ipa_opt_pass_d): Rename fromstruct
+ ipa_opt_pass. Change all uses.
+ * tree-predcom.c (struct dref_d): Rename from struct dref. Change
+ all uses.
+
+ * c-decl.c (pushtag): If -Wc++-compat, warn if the tag is already
+ defined as a typedef.
+ (grokdeclarator): If -Wc++-compat, warn if a typedef is already
+ defined as a tag.
+
+2009-05-15 Manuel López-Ibáñez <manu@gcc.gnu.org>
+
+ PR 16302
+ * fold-const.c (make_range,build_range_check,merge_ranges): Move
+ declaration to...
+ (merge_ranges): Returns bool.
+ * tree.h (make_range): .. to here.
+ (build_range_check): Likewise.
+ (merge_ranges): Likewise. Renamed from merge_ranges.
+ * c-typeck.c (parser_build_binary_op): Update calls to
+ warn_logical_operator.
+ * c-common.c (warn_logical_operator): Add new warning.
+ * c-common.h (warn_logical_operator): Update declaration.
+
+2009-05-15 Manuel López-Ibáñez <manu@gcc.gnu.org>
+
+ * ira-conflicts.c (add_insn_allocno_copies): Fix wrong
+ conditional.
+
+2009-05-15 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
+
+ * doc/install.texi: Document MPC requirements, flags etc.
+
+ * builtins.c (do_mpc_arg1, fold_builtin_ccos): New.
+ (fold_builtin_cexp): Ensure we get a complex REAL_TYPE.
+ Evaluate constant arguments.
+ (fold_builtin_carg): Ensure we get a complex REAL_TYPE.
+ (fold_builtin_1): Likewise, also evaluate constant arguments.
+ Remove superfluous break.
+ (do_mpc_ckconv): New.
+ * real.h: Include mpc.h.
+ * toplev.c (print_version): Output MPC version info if available.
+
+2009-05-15 Sandra Loosemore <sandra@codesourcery.com>
+
+ * fold-const.c (fold_convert_const_real_from_real): Check for
+ overflow.
+
+2009-05-15 H.J. Lu <hongjiu.lu@intel.com>
+
+ * config/i386/i386.c (ix86_reorg): Call optimize_function_for_speed_p
+ only once.
+
+2009-05-15 Jan Hubicka <jh@suse.cz>
+
+ * doc/invoke.texi (max-early-inliner-iterations): New flag.
+ * ipa-inline.c (enum inlining_mode): New INLINE_SIZE_NORECURSIVE.
+ (try_inline): Fix return value.
+ (cgraph_decide_inlining_incrementally): Honor new value.
+ (cgraph_early_inlining): Handle indirect inlining.
+ * params.def (PARAM_EARLY_INLINER_MAX_ITERATIONS): New.
+
+2009-05-15 Jan Hubicka <jh@suse.cz>
+
+ * cgraph.h (struct cgraph_node): Add finalized_by_frotnend flag.
+ * cgraphunit.c (cgraph_finalize_function): Set it.
+ (cgraph_expand_function): Use it.
+
+2009-05-15 Sandra Loosemore <sandra@codesourcery.com>
+
+ * real.c (encode_ieee_half): Define.
+ (decode_ieee_half): Define.
+ (ieee_half_format): Define.
+ (arm_half_format): Define.
+ * real.h (ieee_half_format): Declare.
+ (arm_half_format): Declare.
+
+2009-05-15 Sandra Loosemore <sandra@codesourcery.com>
+
+ * optabs.c (prepare_float_lib_cmp): Test that the comparison,
+ swapped, and reversed optabs exist before trying to use them.
+
+2009-05-15 Paul Brook <paul@codesourcery.com>
+ Sandra Loosemore <sandra@codesourcery.com>
+
+ * config/arm/arm.c (neon_vector_mem_operand): Handle element/structure
+ loads. Allow PRE_DEC.
+ (output_move_neon): Handle PRE_DEC.
+ (arm_print_operand): Add 'A' for neon structure loads.
+ * config/arm/arm-protos.h (neon_vector_mem_operand): Update prototype.
+ * config/arm/neon.md (neon_mov): Update comment.
+ * config/arm/constraints.md (Un, Us): Update neon_vector_mem_operand
+ calls.
+ (Um): New constraint.
+
+2009-05-15 Jan Hubicka <jh@suse.cz>
+
+ Revert the following patch until testsuite fallout is fixed:
+ * cgraph.c (dump_cgraph_node): Dump size/time/benefit.
+ * cgraph.h (struct inline_summary): New filed self_wize,
+ size_inlining_benefit, self_time and time_inlining_benefit.
+ (struct cgraph_global_info): Replace insns by time ans size fields.
+ * ipa-cp (ipcp_cloning_candidate_p): Base estimate on size
+ (ipcp_estimate_growth, ipcp_insert_stage): Likewise.
+ (ipcp_update_callgraph): Do not touch function bodies.
+ * ipa-inline.c: Include except.h
+ MAX_TIME: New constant.
+ (overall_insns): Remove
+ (overall_size, max_benefit): New static variables.
+ (cgraph_estimate_time_after_inlining): New function.
+ (cgraph_estimate_size_after_inlining): Rewrite using benefits.
+ (cgraph_clone_inlined_nodes): Update size.
+ (cgraph_mark_inline_edge): Update size.
+ (cgraph_estimate_growth): Use size info.
+ (cgraph_check_inline_limits): Check size.
+ (cgraph_default_inline_p): Likewise.
+ (cgraph_edge_badness): Compute badness based on benefit and size cost.
+ (cgraph_decide_recursive_inlining): Check size.
+ (cgraph_decide_inlining_of_small_function): Update size; dump sizes and times.
+ (cgraph_decide_inlining): Likewise.
+ (cgraph_decide_inlining_incrementally): Likewise; honor PARAM_EARLY_INLINING_INSNS.
+ (likely_eliminated_by_inlining_p): New predicate.
+ (estimate_function_body_sizes): New function.
+ (compute_inline_parameters): Use it.
+ * except.c (must_not_throw_labels): New function.
+ * except.h (must_not_throw_labels): Declare.
+ * tree-inline.c (init_inline_once): Kill inlining_weigths
+ * tree-ssa-structalias.c: Avoid uninitialized warning.
+ * params.def (PARAM_MAX_INLINE_INSNS_SINGLE): Reduce to 300.
+ (PARAM_MAX_INLINE_INSNS_AUTO): Reduce to 60.
+ (PARAM_INLINE_CALL_COST): Remove.
+ (PARAM_EARLY_INLINING_INSNS): New.
+
+2009-05-15 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-pre.c (eliminate): Use TODO_update_ssa_only_virtuals,
+ not TODO_update_ssa.
+
+2009-05-15 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/39999
+ * gimple.h (gimple_expr_type): Use the expression type looking
+ through useless conversions.
+ * tree-ssa-sccvn.c (vn_nary_op_lookup_stmt): Use gimple_expr_type.
+ (vn_nary_op_insert_stmt): Likewise.
+ (simplify_binary_expression): Likewise.
+
+2009-05-15 Richard Guenther <rguenther@suse.de>
+
+ * common.opt (-ftree-forwprop, -ftree-phiprop, -ftree-pta):
+ New options, enabled by default.
+ * doc/invoke.texi (-ftree-forwprop, -ftree-phiprop, -ftree-pta):
+ Document.
+ * tree-ssa-forwprop.c (gate_forwprop): Use flag_tree_forwprop.
+ * tree-ssa-phiprop.c (gate_phiprop): Use flag_tree_phiprop.
+ * tree-ssa-structalias.c (gate_tree_pta): New function.
+ (pass_build_alias): Use it.
+
+2009-05-15 Joseph Myers <joseph@codesourcery.com>
+
+ * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Also
+ recurse on an invariant address if a conversion from a pointer
+ type to a wider integer type is involved.
+
+2009-05-15 Jan Hubicka <jh@suse.cz>
+
+ * cgraph.c (dump_cgraph_node): Dump size/time/benefit.
+ * cgraph.h (struct inline_summary): New filed self_wize,
+ size_inlining_benefit, self_time and time_inlining_benefit.
+ (struct cgraph_global_info): Replace insns by time ans size fields.
+ * ipa-cp (ipcp_cloning_candidate_p): Base estimate on size
+ (ipcp_estimate_growth, ipcp_insert_stage): Likewise.
+ (ipcp_update_callgraph): Do not touch function bodies.
+ * ipa-inline.c: Include except.h
+ MAX_TIME: New constant.
+ (overall_insns): Remove
+ (overall_size, max_benefit): New static variables.
+ (cgraph_estimate_time_after_inlining): New function.
+ (cgraph_estimate_size_after_inlining): Rewrite using benefits.
+ (cgraph_clone_inlined_nodes): Update size.
+ (cgraph_mark_inline_edge): Update size.
+ (cgraph_estimate_growth): Use size info.
+ (cgraph_check_inline_limits): Check size.
+ (cgraph_default_inline_p): Likewise.
+ (cgraph_edge_badness): Compute badness based on benefit and size cost.
+ (cgraph_decide_recursive_inlining): Check size.
+ (cgraph_decide_inlining_of_small_function): Update size; dump sizes and times.
+ (cgraph_decide_inlining): Likewise.
+ (cgraph_decide_inlining_incrementally): Likewise; honor PARAM_EARLY_INLINING_INSNS.
+ (likely_eliminated_by_inlining_p): New predicate.
+ (estimate_function_body_sizes): New function.
+ (compute_inline_parameters): Use it.
+ * except.c (must_not_throw_labels): New function.
+ * except.h (must_not_throw_labels): Declare.
+ * tree-inline.c (init_inline_once): Kill inlining_weigths
+ * tree-ssa-structalias.c: Avoid uninitialized warning.
+ * params.def (PARAM_MAX_INLINE_INSNS_SINGLE): Reduce to 300.
+ (PARAM_MAX_INLINE_INSNS_AUTO): Reduce to 60.
+ (PARAM_INLINE_CALL_COST): Remove.
+ (PARAM_EARLY_INLINING_INSNS): New.
+ doc/invoke.texi (max-inline-insns-auto, early-inlining-insns): Update.
+ (inline-call-cost): Remove.
+ (early-inlining-insns): New.
+
+2009-05-15 Eric Botcazou <ebotcazou@adacore.com>
+
+ * dbxout.c (dbxout_range_type): Add LOW and HIGH parameters. Use them
+ for bounds.
+ (print_int_cst_bounds_in_octal_p): Likewise.
+ (dbxout_type): Adjust calls to above functions. Be prepared to deal
+ with subtypes.
+ * dwarf2out.c (base_type_die): Likewise.
+ (is_subrange_type): Delete.
+ (subrange_type_die): Add LOW and HIGH parameters. Use them for bounds.
+ (modified_type_die): Call subrange_type_for_debug_p on subtypes.
+ * fold-const.c (fold_truth_not_expr) <CONVERT_EXPR>: Do not strip it if
+ the destination type is boolean.
+ (build_range_check): Do not special-case subtypes.
+ (fold_sign_changed_comparison): Likewise.
+ (fold_unary): Likewise.
+ * langhooks-def.h (LANG_HOOKS_GET_SUBRANGE_BOUNDS): Define.
+ (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add LANG_HOOKS_GET_SUBRANGE_BOUNDS.
+ * langhooks.h (lang_hooks_for_types): Add get_subrange_bounds.
+ * tree.c (subrange_type_for_debug_p): New predicate based on the former
+ is_subrange_type.
+ * tree.h (subrange_type_for_debug_p): Declare.
+ * tree-chrec.c (avoid_arithmetics_in_type_p): Delete.
+ (convert_affine_scev): Remove call to above function.
+ (chrec_convert_aggressive): Likewise.
+ * tree-ssa.c (useless_type_conversion_p_1): Do not specifically return
+ false for conversions involving subtypes.
+ * tree-vrp.c (vrp_val_max): Do not special-case subtypes.
+ (vrp_val_min): Likewise.
+ (needs_overflow_infinity): Likewise.
+ (extract_range_from_unary_expr): Likewise.
+
+2009-05-15 Paolo Bonzini <bonzini@gnu.org>
+
+ * config/frv/frv.h: Clean up references to GO_IF_LEGITIMATE_ADDRESS.
+ * config/frv/frv.c: Likewise.
+ * config/s390/s390.c: Likewise.
+ * config/sparc/sparc.h: Likewise.
+ * config/i386/i386.h: Likewise.
+ * config/i386/i386.c: Likewise.
+ * config/crx/crx.c: Likewise.
+ * config/m68hc11/m68hc11.h: Likewise.
+ * config/iq2000/iq2000.c: Likewise.
+ * config/mn10300/mn10300.h: Likewise.
+ * config/mn10300/mn10300.c: Likewise.
+ * config/m68k/m68k.c: Likewise.
+ * config/rs6000/rs6000.c: Likewise.
+ * config/rs6000/xcoff.h: Likewise.
+ * config/rs6000/linux64.h: Likewise.
+ * config/rs6000/sysv4.h: Likewise.
+ * config/score/score3.c: Likewise.
+ * config/score/score7.c: Likewise.
+ * config/score/score.c: Likewise.
+ * config/arm/arm.md: Likewise.
+ * config/mips/mips.c: Likewise.
+ * config/mips/mips.md: Likewise.
+ * config/bfin/bfin.h: Likewise.
+ * config/pa/pa.c: Likewise.
+ * config/pa/constraints.md: Likewise.
+
+ * config/pdp11/pdp11-protos.h (legitimate_address_p): Delete.
+ * config/pdp11/pdp11.c (legitimate_address_p): Delete.
+ * config/pdp11/pdp11.h: Use memory_address_p instead.
+
+2009-05-14 Ian Lance Taylor <iant@google.com>
+
+ * passes.c (finish_optimization_passes): Change i to int.
+ * plugin.c (plugins_active_p): Change event to int.
+ (dump_active_plugins): Likewise.
+ * reginfo.c (invalid_mode_change_p): Change to to unsigned int.
+ Add cast.
+ * tree.c (tree_range_check_failed): Change c to unsigned int.
+ (omp_clause_range_check_failed): Likewise.
+ (build_common_builtin_nodes): Change mode to int. Add cast.
+ * config/ia64/ia64.c (is_emitted): Change r to unsigned int.
+ (ia64_hard_regno_rename_ok, ia64_eh_uses): Likewise.
+
+ * c-typeck.c (build_unary_op): If -Wc++-compat, warn about using
+ ++ or -- with a variable of enum type.
+
+2009-05-14 Steven Bosscher <steven@gcc.gnu.org>
+
+ PR driver/40144
+ * opts.c (common_handle_option): Add OPT_fcse_skip_blocks as a no-op.
+
+2009-05-14 Steven Bosscher <steven@gcc.gnu.org>
+
+ * store-motion.c: Do not include params.h
+ * Makefile.in: Fix dependencies for various files.
+
+2009-05-14 Steven Bosscher <steven@gcc.gnu.org>
+
+ * auto-inc-dec.c: Fix pass description, remove apparent
+ accidental duplication.
+
+2009-05-14 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR middle-end/40147
+ * ipa-utils.h (memory_identifier_string): Moved to ...
+ * tree.h (memory_identifier_string): Here. Add GTY(()).
+
+2009-05-14 Paolo Bonzini <bonzini@gnu.org>
+
+ * doc/tm.texi (TARGET_LEGITIMATE_ADDRESS_P): Refer mainly to this
+ in the former documentation of...
+ (GO_IF_LEGITIMATE_ADDRESS): ... this.
+ * ira-conflicts.c (get_dup_num): Use address_operand.
+ * targhooks.c (default_legitimate_address_p): New.
+ * targhooks.h (default_legitimate_address_p): New.
+ * reload.c (strict_memory_address_p) [!GO_IF_LEGITIMATE_ADDRESS]:
+ Call hook.
+ * recog.c (memory_address_p) [!GO_IF_LEGITIMATE_ADDRESS]: Call hook.
+ * target.h (struct target): Add legitimate_address_p.
+ * target-def.h (TARGET_LEGITIMATE_ADDRESS_P): New.
+ (TARGET_INITIALIZER): Include it.
+
+ * config/alpha/alpha.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/alpha/alpha-protos.h (alpha_legitimate_address_p): Remove.
+ * config/alpha/alpha.c (alpha_legitimate_address_p): Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/frv/frv.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ (REG_OK_STRICT_P): Delete.
+ * config/frv/frv-protos.h (frv_legitimate_address_p): Rename to...
+ (frv_legitimate_address_p_1): ... this.
+ * config/frv/frv.c (frv_legitimate_address_p): Forward to...
+ (frv_legitimate_address_p_1): ... the renamed old
+ frv_legitimate_address_p.
+ * config/frv/predicates.md: Adjust calls to frv_legitimate_address_p.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/s390/s390.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/s390/s390-protos.h (legitimate_address_p): Remove.
+ * config/s390/s390.c (legitimate_address_p): Rename to...
+ (s390_legitimate_address_p): ... this, make static.
+ (legitimize_address): Adjust call.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+ * config/s390/constraints.md ("e"): Call strict_memory_address_p.
+
+ * config/m32c/m32c.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/m32c/m32c-protos.h (m32c_legitimate_address_p): Remove.
+ * config/m32c/m32c.c (m32c_legitimate_address_p): Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/spu/spu.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/spu/spu-protos.h (spu_legitimate_address): Remove.
+ * config/spu/spu.c (spu_legitimate_address): Rename to...
+ (spu_legitimate_address_p): ... this, make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/sparc/sparc.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/sparc/sparc-protos.h (legitimate_address_p): Remove.
+ * config/sparc/sparc.c (legitimate_address_p): Rename to...
+ (sparc_legitimate_address_p): ... this, make static and return bool.
+ (legitimize_address): Adjust call.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/i386/i386.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/i386/i386-protos.h (legitimate_address_p): Remove.
+ * config/i386/i386.c (legitimate_address_p): Rename to...
+ (ix86_legitimate_address_p): ... this, make static.
+ (constant_address_p): Move after it, adjust call.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/avr/avr.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/avr/avr-protos.h (legitimate_address_p): Remove.
+ * config/avr/avr.c (legitimate_address_p): Rename to...
+ (avr_legitimate_address_p): ... this, make static.
+ (legitimize_address): Adjust call.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/crx/crx.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/crx/crx-protos.h (crx_legitimate_address_p): Remove.
+ * config/crx/crx.c (crx_legitimate_address_p): Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/xtensa/xtensa.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/xtensa/xtensa-protos.h (xtensa_legitimate_address_p): Remove.
+ * config/xtensa/xtensa.c (xtensa_legitimate_address_p): Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/stormy16/stormy16.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/stormy16/stormy16-protos.h (xstormy16_legitimate_address_p):
+ Remove.
+ * config/stormy16/stormy16.c (xstormy16_legitimate_address_p):
+ Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/m68hc11/m68hc11.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/m68hc11/m68hc11-protos.h (m68hc11_go_if_legitimate_address):
+ Remove.
+ * config/m68hc11/m68hc11.c (m68hc11_go_if_legitimate_address):
+ Rename to...
+ (m68hc11_legitimate_address_p): ... this, make static.
+ (go_if_legitimate_address_internal): Rename to...
+ (m68hc11_legitimate_address_p_1): ... this.
+ (legitimize_address): Adjust call.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/iq2000/iq2000.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/iq2000/iq2000-protos.h (iq2000_legitimate_address_p):
+ Remove.
+ * config/iq2000/iq2000.c (iq2000_legitimate_address_p):
+ Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/mn10300/mn10300.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/mn10300/mn10300-protos.h (legitimate_address_p): Remove.
+ * config/mn10300/mn10300.c (legitimate_address_p): Rename to...
+ (mn10300_legitimate_address_p): ... this, make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/m68k/m68k.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/m68k/m68k-protos.h (m68k_legitimate_address_p): Remove.
+ * config/m68k/m68k.c (m68k_legitimate_address_p): Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ (REG_OK_STRICT_FLAG, REG_OK_FOR_BASE_P, REG_OK_FOR_INDEX_P): Delete.
+ (INT_REG_OK_FOR_BASE_P, INT_REG_OK_FOR_INDEX_P): Move above.
+ * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/rs6000/rs6000-protos.h (rs6000_legitimate_address): Remove.
+ * config/rs6000/rs6000.c (rs6000_legitimate_address): Rename to...
+ (rs6000_legitimate_address_p): ... this, make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+ (REG_MODE_OK_FOR_BASE_P): Delete.
+ (rs6000_legitimize_reload_address): Use INT_REG_OK_FOR_BASE_P.
+
+ * config/picochip/picochip.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/picochip/picochip-protos.h (picochip_legitimate_address_p):
+ Delete.
+ * config/picochip/picochip.c (picochip_legitimate_address_p): Make
+ static, adjust types.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/score/score.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/score/score.c (score_address_p): Rename to...
+ (score_legitimate_address_p): ... this.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+ * config/score/score3.c (score3_address_p): Rename to...
+ (score3_legitimate_address_p): ... this.
+ * config/score/score7.c (score7_address_p): Rename to...
+ (score7_legitimate_address_p): ... this.
+
+ * config/arm/arm.h (ARM_GO_IF_LEGITIMATE_ADDRESS,
+ THUMB2_GO_IF_LEGITIMATE_ADDRESS, THUMB1_GO_IF_LEGITIMATE_ADDRESS,
+ GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/arm/arm-protos.h (thumb1_legitimate_address_p,
+ thumb2_legitimate_address_p): Delete.
+ (arm_legitimate_address_p): Rename to...
+ (arm_legitimate_address_outer_p): ... this.
+ * config/arm/constraints.md ("Uq"): Adjust call.
+ * config/arm/predicates.md (arm_extendqisi_mem_op): Likewise.
+ * config/arm/arm.c (arm_legitimate_address_p): New, rename old one to...
+ (arm_legitimate_address_outer_p): ... this.
+ (thumb1_legitimate_address_p, thumb2_legitimate_address_p): Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/mips/mips.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/mips/mips-protos.h (mips_legitimate_address_p): Remove.
+ * config/mips/mips.c (mips_legitimate_address_p): ... Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/vax/vax.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/vax/vax-protos.h (legitimate_address_p): Remove.
+ * config/vax/vax.c (legitimate_address_p): Rename to...
+ (vax_legitimate_address_p): ... this, make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/h8300/h8300.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/h8300/h8300-protos.h (h8300_legitimate_address_p): Remove.
+ * config/h8300/h8300.c (h8300_legitimate_address_p): ... Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/mmix/mmix.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/mmix/mmix-protos.h (mmix_legitimize_address): Remove.
+ * config/mmix/mmix.c (mmix_legitimate_address): Rename to...
+ (mmix_legitimate_address_p): ... this, make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+ * config/bfin/bfin.h (GO_IF_LEGITIMATE_ADDRESS): Delete.
+ * config/bfin/bfin-protos.h (bfin_legitimate_address_p): Remove.
+ * config/bfin/bfin.c (bfin_legitimate_address_p): ... Make static.
+ (TARGET_LEGITIMATE_ADDRESS_P): New.
+
+2009-05-14 Paolo Bonzini <bonzini@gnu.org>
+
+ * config/arm/arm.h (PROMOTE_FUNCTION_MODE): Remove handling
+ of MODE_COMPLEX_INT.
+
+2009-05-14 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * config/alpha/alpha.c (alpha_initialize_trampoline): Change 0 to
+ LCT_NORMAL in function call.
+ * mips-tdump.c (print_file_desc): Add cast to enum type.
+ * mips-tfile.c (add_ext_symbol): Add casts to enum types.
+ (mark_stabs): Add casts to enum types.
+ (parse_stabs_common): Add casts to enum types.
+
+2009-05-13 Adam Nemet <anemet@caviumnetworks.com>
+
+ * config/mips/mips.c (mips_print_operand) <REG, MEM, default>:
+ Check for invalid values of LETTER.
+
+2009-05-13 Taras Glek <tglek@mozilla.com>
+
+ * attribs.c (register_attribute): moved out attribute registration into
+ register_attribute.
+ * doc/plugins.texi: Documented register_attribute and PLUGIN_ATTRIBUTES.
+ * gcc-plugin.h: Added forward decl for register_attribute.
+ * gcc-plugin.h (plugins_event): Added PLUGIN_ATTRIBUTES.
+ * plugin.c (register_callback, invoke_plugin_callbacks): Added
+ PLUGIN_ATTRIBUTES boilerplate.
+
+2009-05-14 Dave Korn <dave.korn.cygwin@gmail.com>
+
+ * config/i386/msformat-c.c (ms_printf_length_specs): Use enumeration
+ values even in sentinel and empty entries.
+ (ms_printf_flag_specs): Likewise.
+ (ms_scanf_flag_specs): Likewise.
+ (ms_strftime_flag_specs): Likewise.
+ (ms_print_char_table): Likewise.
+ (ms_scan_char_table): Likewise.
+ (ms_time_char_table): Likewise.
+
+2009-05-13 Doug Kwan <dougkwan@google.com>
+
+ * tree-ssa-sccvn.c (compare_ops): Stabilize qsort.
+
+2009-05-13 Adam Nemet <anemet@caviumnetworks.com>
+
+ * config/mips/mips.md (store): Add attributes for QI and HI.
+ Update comment.
+ (truncdisi2, truncdihi2, truncdiqi2): Merge these into ...
+ (truncdi<mode>2): ... this new pattern.
+
+2009-05-13 Brad Hards <bradh@kde.org>
+
+ * Makefile.in (TEXI_GCCINT_FILES): Add plugins.texi.
+
+2009-05-14 Jakub Jelinek <jakub@redhat.com>
+ Ben Elliston <bje@au.ibm.com>
+
+ PR middle-end/40035
+ * dse.c (check_mem_read_rtx): Guard against width == -1.
+
+2009-05-13 Michael Matz <matz@suse.de>
+
+ PR middle-end/39976
+ * tree-outof-ssa.c (maybe_renumber_stmts_bb): New function.
+ (trivially_conflicts_p): New function.
+ (insert_backedge_copies): Use it.
+
+2009-05-13 Janis Johnson <janis187@us.ibm.com>
+
+ * c-pragma.c (enum pragma_switch_t): Prefix constants with PRAGMA_.
+ (handle_stdc_pragma): Use new enum constant names.
+ (handle_pragma_float_const_decimal64): Ditto.
+
+2009-05-13 Ian Lance Taylor <iant@google.com>
+
+ * Makefile.in (build/gencheck.o): Depend upon all-tree.def, not
+ tree.def.
+
+2009-05-13 Nathan Sidwell <nathan@codesourcery.com>
+
+ * config/m68k/t-uclinux (M68K_MLIB_CPU): Check for FL_UCLINUX.
+ * config/m68k/m68k-devices.def: Add FL_UCLINUX to 68020 and 54455
+ multilibs.
+ * config/m68k/m68k.h (FL_UCLINUX): Define.
+
+2009-05-13 Jan Hubicka <jh@suse.cz>
+
+ * options.c (gfc_post_options): -fwhole-program imply -fwhole-file.
+
+2009-05-12 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ * config/sh/sh.h (OVERRIDE_OPTIONS): Clear flag_schedule_insns
+ unless -fschedule-insns is specified.
+
+2009-05-12 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ PR target/39561
+ * config/sh/sh.h (OPTIMIZATION_OPTIONS): Don't set
+ TARGET_EXPAND_CBRANCHDI4.
+ * config/sh/sh.md (cbranchdi4): Don't check TARGET_EXPAND_CBRANCHDI4.
+ * config/sh/sh.opt (mexpand-cbranchdi): Remove.
+ (cmpeqdi): Fix comment.
+
+2009-05-12 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ * config/sh/sh-protos.h (sh_legitimate_index_p): Declare.
+ (sh_legitimate_address_p): Likewise.
+ * config/sh/sh.c (sh_legitimate_index_p): New.
+ (sh_legitimate_address_p): Likewise.
+ * config/sh/sh.h (REG_OK_FOR_BASE_P): Add STRICT parameter.
+ (REG_OK_FOR_INDEX_P, SUBREG_OK_FOR_INDEX_P): Likewise.
+ (MODE_DISP_OK_4, MODE_DISP_OK_8): Remove.
+ (MAYBE_BASE_REGISTER_RTX_P): New macro.
+ (MAYBE_INDEX_REGISTER_RTX_P): Likewise.
+ (BASE_REGISTER_RTX_P): Use MAYBE_BASE_REGISTER_RTX_P.
+ (INDEX_REGISTER_RTX_P): Use MAYBE_INDEX_REGISTER_RTX_P.
+ (GO_IF_LEGITIMATE_INDEX): Use sh_legitimate_index_p.
+ (GO_IF_LEGITIMATE_ADDRESS): Use sh_legitimate_address_p.
+
+2009-05-12 Jan Hubicka <jh@suse.cz>
+
+ * tree-inline.c (estimate_operator_cost): Add operands;
+ when division happens by constant, it is cheap.
+ (estimate_num_insns): Loads and stores are not having cost of 0;
+ EH magic stuff is cheap; when computing runtime cost of switch,
+ use log2 base of amount of its cases; builtin_expect has cost of 0;
+ compute cost for moving return value of call.
+ (init_inline_once): Initialize time_based flags.
+ * tree-inline.h (eni_weights_d): Add time_based flag.
+
+2009-05-12 Paolo Bonzini <bonzini@gnu.org>
+
+ * df-core.c: Update head documentation.
+
+2009-05-12 Michael Meissner <meissner@linux.vnet.ibm.com>
+
+ PR bootstrap/40118
+ * rs6000.c (rs6000_generate_compare): Use op1b instead of
+ shadowing exisiting variable op1.
+
+2009-05-12 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/37179
+ * config/i386/driver-i386.c (processor_signatures): New enum.
+ (SIG_GEODE): Move from vendor_signatures to processor_signatures.
+ (host_detect_local_cpu): For SIG_AMD vendor, check for SIG_GEODE
+ processor signature to detect geode processor.
+
+2009-05-12 Paolo Bonzini <bonzini@gnu.org>
+
+ Revert:
+
+ 2009-05-12 Paolo Bonzini <bonzini@gnu.org>
+
+ * optabs.c (prepare_cmp_insn): Temporarily disable test that
+ causes spurious differences between trunk and cond-optab branch.
+
+2009-05-12 Paolo Bonzini <bonzini@gnu.org>
+
+ * dojump.c (compare_from_rtx): Delete.
+ * expmed.c (emit_store_flag): Only try cstore_optab. Canonicalize
+ any MODE_CC mode to the cstorecc4 pattern. Use prepare_operand, fail
+ if the comparison does not satisfy the predicate; test predicates for
+ operands 2 and 3 of a cstore pattern. Don't try cstore optab
+ further if one existing pattern fails.
+ * expr.h (compare_from_rtx): Delete.
+ (prepare_operand): Declare it.
+ * optabs.c: Change "lib call" to "libcall" throughout.
+ (bcc_gen_fctn, setcc_gen_code, trap_rtx,
+ HAVE_conditional_trap, emit_cmp_insn): Delete.
+ (can_compare_p): Delete cmp_optab case.
+ (prepare_float_lib_cmp): Return an rtx and a machine mode.
+ Accept other parameters by value.
+ (prepare_operand): Make non-static.
+ (prepare_cmp_insn): Return an rtx and a machine mode. Accept
+ other parameters by value. Try to widen operands here based on
+ an optab_methods argument and looking at cbranch_optab.
+ (emit_cmp_and_jump_insn_1): Accept test and mode, remove widening
+ loop. Use cbranch_optab directly.
+ (emit_cmp_and_jump_insns): Fix comment. Adjust call to
+ prepare_cmp_insn and emit_cmp_and_jump_insn_1, remove obsolete
+ assertion.
+ (emit_conditional_move, emit_conditional_add): Inline what's needed
+ of compare_from_rtx, using new prepare_cmp_insn for the rest.
+ (init_optabs): Init cmp_optab with UNKNOWN, cbranch_optab
+ with COMPARE. Move cmov_optab and cstore_optab above
+ with cbranch_optab, move cmp_optab down with ucmp_optab,
+ remove tst_otpab. Do not initialize trap_rtx.
+ (gen_cond_trap): Do it here. Use ctrap_optab. Test predicate
+ for trap code. Do not check HAVE_conditional_trap. Use
+ prepare_cmp_insn. Accept no predicate for operand 3.
+ * optabs.h (OTI_cmp): Mark as used only for libcalls.
+ (OTI_ctrap, ctrap_optab): New.
+ (tst_optab): Delete.
+ (bcc_gen_fctn, setcc_gen_code, emit_cmp_insn): Delete.
+ * ifcvt.c (find_if_header): Replace HAVE_conditional_trap
+ with lookup of ctrap_optab.
+ * genopinit.c (cmp_optab, tst_optab, bcc_gen_fctn,
+ setcc_gen_code): Delete.
+ (ctrap_optab): New.
+
+ * combine.c (combine_simplify_rtx, simplify_set): Do not
+ special case comparing against zero for cc0 machines.
+ * simplify-rtx.c (simplify_binary_operation_1): Never remove
+ COMPARE on cc0 machines.
+ (simplify_relational_operation): Return a new expression when
+ a COMPARE could be removed.
+ * final.c (final_scan_insn): Compare cc_status values
+ against LHS of a (compare FOO (const_int 0)) cc0 source.
+ Also check if cc_status.value is the full compare.
+
+ * doc/md.texi (bCC, sCC, tstMM, cmpMM): Delete.
+ (cstoreMM4): Document.
+ (conditional_trap): Document ctrapMM4 instead.
+ (sync_compare_and_swapMM): Refer to cbranchcc4.
+ (Dependent Patterns): Eliminate obsolete information referring to
+ the old jump optimization phase.
+ (Canonicalization): Include cbranchcc4 case, omit canonicalization
+ of compares with 0 on cc0 machines.
+ (Jump Patterns): Refer to MODE_CC jump patterns preferably,
+ avoiding references to cc0. Remove text about storing operands
+ in cmpMM.
+ * doc/tm.texi (Condition Codes): Include blurb on different
+ condition code representations, separate into subsections for
+ CC0, MODE_CC and conditional execution.
+
+ * config/alpha/alpha-protos.h (alpha_emit_conditional_branch,
+ alpha_emit_setcc): Accept operands and a machine mode.
+ * config/alpha/alpha.c (alpha_emit_conditional_branch):
+ Get code/op0/op1 from operands, use machine mode argument
+ instead of alpha_compare.fp_p. Emit the branch here.
+ (alpha_emit_setcc): Likewise, and return boolean.
+ (alpha_emit_conditional_move): Likewise. Assert that
+ cmp_op_mode == cmp_mode, and simplify accordingly.
+ * config/alpha/alpha.h (struct alpha_compare, alpha_compare): Delete.
+ * config/alpha/alpha.md (cmpdf, cmptf, cmpdi, bCC, sCC): Delete.
+ (cbranchdf4, cbranchtf4, cbranchdi4, cstoredf4, cstoretf4,cstoredi4):
+ Delete.
+ (stack probe test): Use cbranchdi4.
+ * config/alpha/predicates.md (alpha_cbranch_operator): New.
+
+ * config/arc/arc.c (gen_compare_reg): Do not emit cmp.
+ * config/arc/arc.h (movsicc, movsfcc): Use it.
+ (movdicc, *movdicc_insn, movdfcc, *movdfcc_insn): Remove.
+ (cbranchsi4, cstoresi4): New.
+ (cmpsi, bCC and sCC expanders): Remove.
+
+ * config/arm/arm.c (arm_compare_op0, arm_compare_op1): Delete.
+ * config/arm/arm.h (arm_compare_op0, arm_compare_op1): Delete.
+ * config/arm/predicates.md (arm_comparison_operator): Only include
+ floating-point operators if there is a hardware floating-point unit.
+ * config/arm/arm.md (cbranchsi4, cstoresi4): Enable for TARGET_32BIT,
+ deferring to cbranch_cc and cstore_cc respectively.
+ (cbranchsf4, cbranchdf4, cbranchdi4, cstoresf4, cstoredf4, cstoredi4,
+ cbranch_cc, cstore_cc): New.
+ (movsicc, movsfcc, movdfcc): Do not use arm_compare_op0 and
+ arm_compare_op1.
+ (bCC, sCC, cmpsi, cmpsf, cmpdf, cmpdi): Delete.
+
+ * config/avr/avr-protos.h (out_tstsi, out_tsthi): Adjust prototype.
+ * config/avr/avr.c (out_tstsi, out_tsthi): Get the tested operand
+ as an argument.
+ (adjust_insn_length): Adjust calls.
+ (avr_reorg): Handle (compare (foo) (const_int 0)).
+ * config/avr/avr.md (tstqi, tsthi, tstsi): Remove.
+ (*negated_tstqi, *negated_tsthi, *negated_tstsi): Unmacroize.
+ (*reversed_tsthi, *reversed_tstsi): Add a scratch for simplicity.
+ (cmpqi, cmphi, cmpsi): Prepend asterisk, fuse tst[qhs]i here.
+ (bCC): Remove.
+ (cbranchqi4, cbranchhi4, cbranchsi4): New.
+ (tst -> sbrc/sbrs peephole2, cpse peephole): Wrap RHS with COMPARE.
+
+ * config/bfin/bfin.md (cmpbi, cmpsi, bCC, sCC): Delete.
+ (cbranchsi4, cstorebi4, cstoresi4): New.
+ (movbisi): This insn is duplicate, split it to zero_extend.
+ * config/bfin/bfin.c (bfin_compare_op0, bfin_compare_op1): Delete
+ (bfin_gen_compare): Do not use them. Emit VOIDmode SET, not BImode.
+ (bfin_optimize_loop): Use cbranch expander.
+ * config/bfin/bfin.h (bfin_compare_op0, bfin_compare_op1): Delete.
+ * config/bfin/predicates.md (bfin_cbranch_operator): Rename to...
+ (bfin_bimode_comparison_operator): ... this.
+ (bfin_direct_comparison_operator): New.
+
+ * config/cris/cris.c (cris_normal_notice_update_cc): Look
+ inside (compare FOO (const_int 0)).
+ (cris_rtx_costs): Handle ZERO_EXTRACT.
+ * config/cris/cris.md (tstdi, tst<mode>, cmpdi): Delete.
+ (*tstdi_non_v32): Fold in *cmpdi_non_v32.
+ (*tstdi_v32): Delete.
+ (*cmpdi_non_v32): Add M alternative for operand 1.
+ (cmpsi, cmp<mode>): Make private.
+ (*tstsi, *tst<mode>_cmp, *tst<mode>_non_cmp, *btst): Wrap LHS
+ with COMPARE.
+ (cbranch<mode>4, cbranchdi4, cstore<mode>4): New.
+
+ * config/crx/crx.md (cstore<mode>4, cbranchcc4): New.
+ (cmp<mode>, bCOND_internal, b<code>, s<code>): Delete.
+ (cbranch<mode>4, sCOND_internal): Use ordered_comparison_operator.
+ (cc_reg_operand): New.
+ (any_cond): Delete.
+ * config/crx/crx.c (crx_compare_op0, crx_compare_op1,
+ crx_expand_compare, crx_expand_branch, crx_expand_scond): Delete.
+ * config/crx/crx.h (crx_compare_op0, crx_compare_op1): Delete.
+ * config/crx/crx-protos.h (crx_expand_compare, crx_expand_branch,
+ crx_expand_scond): Delete.
+
+ * config/fr30/fr30.md (cmp<mode>, bCC): Delete.
+ (cbranchsi4): New.
+ * config/fr30/fr30.c (fr30_compare_op0, fr30_compare_op1): Delete
+ * config/fr30/fr30.h (fr30_compare_op0, fr30_compare_op1): Delete.
+
+ * config/frv/frv.md (cbranchsi4, cbranchsf4, cbranchdf4,
+ cstoresi4, cstoresf4, cstoredf4): New.
+ (cmpdi, cmpsi, cmpsf, cmpdf, bCC, sCC): Remove.
+ * config/frv/frv-protos.h (frv_emit_cbranch, frv_emit_scc):
+ Receive the entire operands array.
+ * config/frv/frv.h (frv_compare_op0, frv_compare_op1): Delete.
+ * config/frv/frv.c (frv_compare_op0, frv_compare_op1): Delete.
+ * config/frv/frv-protos.h (frv_emit_cbranch, frv_emit_scc):
+ Get test/op0/op1 from the operands array.
+ (frv_emit_cond_move): Get test/op0/op1 from the test_rtx.
+
+ * config/h8300/h8300-protos.h (h8300_expand_branch): Accept operands.
+ (h8300_expand_store): New.
+ * config/h8300/h8300.c (h8300_rtx_costs): Handle (compare FOO
+ (const_int 0)).
+ (h8300_expand_branch): Emit compare here. Adjust for new arguments.
+ (h8300_expand_store): New.
+ * config/h8300/h8300.md (btst combine patterns): Wrap with COMPARE
+ or do not try to produce (set (cc0) REG).
+ (peepholes): Wrap arguments with COMPARE. Add a peephole to
+ change a compare into a move to a scratch register. Disable some
+ peepholes when comparing with zero.
+ (tstsi, tsthi, tstsi, cmpqi): Make private.
+ (cmphi): Delete.
+ (bCC, sCC): Delete.
+ (cbranchqi4, cbranchhi4, cbranchsi4, cstoreqi4, cstorehi4,
+ cstoresi4): New.
+
+ * config/i386/i386.c (ix86_expand_int_movcc, ix86_expand_int_addcc,
+ ix86_expand_fp_movcc): Set ix86_compare_op0 and ix86_compare_op1.
+ (ix86_emit_i387_log1p): Use gen_cbranchxf4.
+ (ix86_emit_i387_log1p): Use cbranchxf2.
+ (ix86_expand_setcc): Return void.
+ * config/i386/i386-protos.h (ix86_expand_setcc): Return void.
+ * config/i386/i386.md (cmpti, cmpdi, cmpsi, cmphi, cmpqi, cmpxf,
+ cmp<MODEF>, cmpcc): Remove.
+ (cbranchti4, cbranchdi4, cbranchsi4, cbranchhi4, cbranchqi4,
+ cbranchxf4, cbranch<MODEF>4, cbranchcc4, cstoredi4, cstoresi4,
+ cstorehi4, cstoreqi4, cstorexf4, cstore<MODEF>4, cstorecc): New.
+ (sCC and bCC expanders): Remove.
+ (stack_protect_test): Use cbranchcc4.
+
+ * config/ia64/ia64-protos.h (ia64_compare_op0, ia64_compare_op1):
+ Delete.
+ (ia64_expand_compare): Accept three rtx by reference and return void.
+ * config/ia64/ia64.c (ia64_compare_op0, ia64_compare_op1): Delete.
+ (ia64_expand_compare): Replace op0/op1 with *op0/*op1. Get code
+ from *expr. Update *expr with the BImode comparison to do.
+ * config/ia64/ia64.md (cmpbi, cmpsi, cmpdi, cmpsf, cmpdf, cmpxf,
+ cmptf, bCC, sCC, conditional_trap): Delete.
+ (cbranchbi4, cbranchsi4, cbranchdi4, cbranchsf4, cbranchdf4,
+ cbranchxf4, cbranchtf4, cstorebi4, cstoresi4, cstoredi4, cstoresf4,
+ cstoredf4, cstorexf4, cstoretf4, ctrapbi4, ctrapsi4, ctrapdi4,
+ ctrapsf4, ctrapdf4, ctrapxf4, ctraptf4): New.
+ * config/ia64/predicates.md (ia64_cbranch_operator): New.
+
+ * config/iq2000/iq2000-protos.h (gen_conditional_branch): Change
+ type of last argument.
+ * config/iq2000/iq2000.c (branch_cmp, branch_type): Remove.
+ (gen_conditional_branch): Get code/cmp0/cmp1 from operands,
+ use machine mode argument instead of branch_type. Remove dead
+ code for floating-point comparisons.
+ * config/iq2000/iq2000.h (branch_cmp, branch_type): Remove.
+ * config/iq2000/iq2000.md (cmpsi, cmpdi, cmpsf, cmpdf, tstsi, bCC):
+ Remove.
+ (cbranchsi4, cstoresi4): New.
+ * config/iq2000/predicates.md (reg_or_const_operand): New.
+
+ * config/m32c/m32c.md (cbranch splitter): Use match_op_dup.
+ * config/m32c/m32c.md (any_cond, gl_cond): Delete.
+ (b<code>_op): Rewrite to...
+ (bcc_op): ... this, using match_operator.
+ (s<code>_op): Rewrite to...
+ (scc_op): ... this, using match_operator.
+ (s<code>_24_op): Rewrite to...
+ (scc_op_24): ... this, using match_operator.
+ (s<code>_<mode>): Rewrite to...
+ (cstore<mode>4): ... this, using match_operator.
+ (s<code>_<mode>_24): Rewrite to...
+ (cstore<mode>4_24): ... this, using match_operator.
+ * config/m32c/m32c-protos.h (m32c_cmp_flg_0, m32c_pend_compare,
+ m32c_unpend_compare, m32c_expand_scc): Delete.
+ * config/m32c/m32c.c (compare_op0, compare_op1, m32c_cmp_flg_0,
+ m32c_pend_compare, m32c_unpend_compare, m32c_expand_scc): Delete.
+ (m32c_expand_movcc): Change NE to EQ if necessary.
+ (m32c_init_libfuncs): Modify cstore optab instead of setcc_gen_code.
+
+ * config/m32r/m32r-protos.h (gen_cond_store): New.
+ * config/m32r/m32r.c (m32r_compare_op0, m32r_compare_op1): Delete.
+ (gen_cond_store): New, from sCC patterns.
+ (m32r_expand_block_move): Use cbranchsi4.
+ * config/m32r/m32r.h (m32r_compare_op0, m32r_compare_op1): Delete.
+ * config/m32r/m32r.md (cmpsi, bCC, sCC): Delete.
+ (cbranchsi4, cstoresi4): New.
+
+ * config/m68hc11/m68hc11.c (m68hc11_compare_op0, m68hc11_compare_op1):
+ Delete.
+ (m68hc11_rtx_costs_1, m68hc11_rtx_costs): Handle ZERO_EXTRACT.
+ (m68hc11_notice_update_cc): Look into a compare with 0.
+ * config/m68hc11/m68hc11.h (m68hc11_compare_op0, m68hc11_compare_op1):
+ Delete.
+ * config/m68hc11/m68hc11.md (tstsi, tsthi, tstqi, cmpsi,
+ cmphi, cmpqi, bCC): Delete.
+ (cbranchsi4, cbranchhi4, cbranchqi4): New.
+ (tstqi_1, tstqi_z_used, tstqi_1, bitcmpqi, bitcmpqi_z_used,
+ bitcmpqi_12, bitcmphi, various splits and peephole2s): Wrap cc0<-reg
+ sets with COMPARE.
+
+ * config/m68k/predicates.md (m68k_cstore_comparison_operator,
+ const0_operand, const1_operand, m68k_subword_comparison_operand): New.
+ * config/m68k/constraints.md (H): New.
+ * config/m68k/m68k.md (tstdi): Remove define_expand, use name for
+ the define_insn below.
+ (tstsi, tsthi, tst<FP:mode>, cmphi, cmpqi, cmp<FP:mode>): Delete.
+ (*tstsi_internal_68020_cf, *tstsi_internal, *tsthi_internal,
+ *tstqi_internal, tst<mode>_6881, tst<mode>_cf, many unnamed
+ patterns): Wrap RHS with COMPARE.
+ (tst<FP>_68881, tst<FP>_cf): Use const0_operand.
+ (*cmpdi_internal): Name this pattern.
+ (cmpdi): Change to define_insn.
+ (cbranchdi4, cstoredi4, cbranchsi4, cstoresi4, cbranchhi4, cstorehi4,
+ cbranchqi4, cstoreqi4, cbranch<FP:mode>4, cstore<FP:mode>4): New.
+ (scc0_di, scc0_di_5200, scc_di): Use the ordered_comparison_operator
+ predicate.
+ (seq, sne, sgt, sgtu, slt, sltu, sge, sgeu, sle, sleu, sordered,
+ sunordered, suneq, sunge, sungt, sunle, sunlt, sltgt): Delete
+ (conditional_trap): Change to...
+ (ctrapdi4, ctrapsi4, ctraphi4, ctrapqi4): ... these.
+ (*conditional_trap): Use the ordered_comparison_operator and
+ const1_operand predicates.
+ * config/m68k/m68k.c (m68k_last_compare_had_fp_operands): Delete.
+ (m68k_expand_prologue): Use ctrapsi4 instead of cmpsi+conditional_trap.
+ (m68k_rtx_costs): Look for ZERO_EXTRACT in a COMPARE.
+ * config/m68k/m68k.h (m68k_last_compare_had_fp_operands): Delete.
+
+ * config/mcore/mcore-protos.h (arch_compare_op0, arch_compare_op1,
+ mcore_modify_comparison, mcore_gen_compare_reg): Remove.
+ (mcore_gen_compare): New.
+ * config/mcore/mcore.c (arch_compare_op0, arch_compare_op1): Delete.
+ (mcore_modify_comparison, mcore_gen_compare_reg): Fold into...
+ (mcore_gen_compare): ... this.
+ * config/mcore/mcore.md (cmpsi, bCC, sCC): Remove.
+ (cbranchsi4, cstoresi4): New, using mcore_gen_compare.
+ (stack probe pattern): Use cbranchsi4.
+
+ * config/mips/predicates.md (mips_cstore_operator): New.
+ * config/mips/mips-ps-3d.md (movv2sfcc): Do not use cmp_operands.
+ * config/mips/mips.md (any_cond): Delete.
+ (conditional_trap): Rename to ctrap<GPR:mode>4. Adjust predicates,
+ always succeed.
+ (fixuns_truncdfsi2, fixuns_truncdfdi2, fixuns_truncsfsi2,
+ fixuns_truncsfdi2): Use cbranch patterns.
+ (cmp<GPR:mode>, cmp<SCALARF:mode>): Delete.
+ (b<code>): Change to cbranch<GPR:mode>4 and cbranch<SCALARF:mode>4.
+ Adjust call to mips_expand_conditional_branch.
+ (seq, sne, slt<u>, sle<u>, sgt<u>, sge<u>): Change to
+ cstore<GPR:mode>4.
+ * config/mips/mips-protos.h (mips_expand_conditional_branch,
+ mips_expand_scc, mips_expand_conditional_trap): Adjust prototypes.
+ * config/mips/mips.c (cmp_operands): Delete.
+ (mips_emit_compare): Get comparison operands from *op0/*op1.
+ (mips_expand_scc): Get code/op0/op1/target from operands. Assert
+ that it succeeds. Use op0/op1 instead of cmp_operands.
+ (mips_expand_conditional_branch, mips_expand_conditional_move,
+ mips_expand_conditional_trap): Likewise.
+ (mips_block_move_loop): Use cbranch patterns.
+ * config/mips/mips.h (cmp_operands): Delete.
+
+ * config/mmix/mmix.c (mmix_valid_comparison): Delete.
+ (mmix_gen_compare_reg): Just return a register in the right CC mode.
+ * config/mmix/mmix.h (mmix_compare_op0, mmix_compare_op1): New.
+ * config/mmix/mmix.md (cmpdi, cmpdf): Remove.
+ (*cmpcc_folded): Rename to...
+ (*cmpdi_folded): this.
+ (*cmpcc): Rename to...
+ (*cmps): ... this.
+ (movdfcc, movdicc): Adjust for new semantics of mmix_gen_compare_reg.
+ (bCC): Remove.
+ (cbranchdi4): New.
+ (cbranchdf4): New. Handle invalid comparisons here.
+ * config/mmix/predicates.md (float_comparison_operator): New.
+
+ * config/mn10300/mn10300.c (mn10300_rtx_costs): Consider 0 and
+ zero_extract to be cheap in (compare (zero_extract) (const_int 0).
+ * config/mn10300/mn10300.md (tst): Delete.
+ (*tst_extqisi_am33, *tst_extqisi, *tst_exthisi_am33, *tst_exthisi):
+ Name these patterns and wrap RHS in a compare.
+ (*cmpsi): Make this pattern private. Include tst.
+ (*cmpsf): Make this pattern private.
+ (and and zero_extract cc0 set): Wrap RHS in a COMPARE.
+ (compare with zero peepholes): Likewise.
+ (bCC): Remove.
+ (cbranchsi4, cbranchsf4): New.
+ (casesi): Use cbranchsi4.
+
+ * config/pa/pa.c (hppa_compare_op0, hppa_compare_op1,
+ hppa_branch_type): Delete.
+ (return_addr_rtx): Use cbranchsi4.
+ (emit_bcond_fp): Accept all operands. Replace CODE with NE.
+ Emit CCFPmode comparison here.
+ (gen_cmp_fp): Delete, now part of emit_bcond_fp.
+ * config/pa/pa.h (enum cmp_type, hppa_compare_op0, hppa_compare_op1,
+ hppa_branch_type): Delete.
+ * config/pa/pa.md (cmpdi, cmpsi, cmpsf, cmpdf, sCC, bCC): Delete.
+ (movsicc, movdicc): Remove references to hppa_compare_op0,
+ hppa_compare_op1 and compare_from_rtx.
+ (cbranchdi4, cbranchsi4, cbranchsf4, cbranchdf4, cstoresi4): New.
+ (casesi): Use cbranchsi4.
+
+ * config/pdp11/pdp11-protos.h (output_jump): Change prototype.
+ * config/pdp11/pdp11.c (output_jump): Embed opcodes here.
+ * config/pdp11/pdp11.md (register_or_const0_operand): New.
+ (cmpdf, cmphi, cmpqi): Make private. Add tst alternatives.
+ (cmpsi, tstsi, tstdf, tsthi, tstqi): Delete.
+ (bCC): Delete.
+ (cbranchdf4, cbranchhi4, cbranchqi4): New.
+ (*branch, *branch_inverted): New.
+
+ * config/picochip/picochip.md (cbranchhi4): Use
+ ordered_comparison_operator.
+ (cmphi, bCC): Remove.
+
+ * config/rs6000/predicates.md (rs6000_cbranch_operator): New.
+ (trap_comparison_operator): Delete.
+ * config/rs6000/rs6000-protos.h (rs6000_emit_sCOND,
+ rs6000_emit_cbranch): Accept mode and operands.
+ * config/rs6000/rs6000.c (rs6000_compare_op0, rs6000_compare_op1,
+ rs6000_compare_fp_p): Delete.
+ (rs6000_generate_compare): Accept mode and comparison. Extract code
+ and op0/op1 from there. Replace references to rs6000_compare_op0
+ and rs6000_compare_op1.
+ (rs6000_emit_sCOND): Adjust call to rs6000_generate_compare and
+ extract result from passed operands.
+ (rs6000_emit_cbranch): Adjust call to rs6000_generate_compare and
+ extract loc from passed operands.
+ (rs6000_emit_cmove): Likewise.
+ * config/rs6000/rs6000.h (rs6000_compare_op0, rs6000_compare_op1,
+ rs6000_compare_fp_p): Delete.
+ * config/rs6000/rs6000.md (cmp<GPR>, cmp<FP>, bCC, sCC): Delete.
+ (cbranch<GPR>4, cbranch<FP>4): New.
+ (cstore<mode>4): New. Consolidate here all choices about when to use
+ portable or specialized sCC sequences.
+ (stack_protect_test): Use cbranchsi4.
+ (conditional_trap): Replace with ctrap<GPR>4.
+ (conditional trap insn): Replace trap_comparison_operator with
+ ordered_comparison_operator.
+
+ * config/s390/s390.c (s390_compare_op0, s390_compare_op1): Delete.
+ (s390_emit_prologue): Use ctrap.
+ * config/s390/s390.h (s390_compare_op0, s390_compare_op1): Delete.
+ * config/s390/predicates.md (s390_eqne_operator, s390_scond_operator):
+ New predicates replacing...
+ * config/s390/s390.md (COMPARE, SCOND): ... these iterators.
+ (cmp<GPR>, cmp<FP>, cmpcc): Delete.
+ (trunc patterns): Use emit_cmp_and_jump_insns instead of cmp/branch.
+ (add<mode>cc): Do not use s390_compare_op0/op1.
+ (s<code>): Change to...
+ (cstore<mode>4): ... this. Do not use s390_compare_op0/op1.
+ (seq): Change to...
+ (cstorecc4): ... this. Handle EQ or NE equally.
+ (*sne): Un-privatize for use in cstorecc4.
+ (b<code>): Change to...
+ (cbranch<GPR>4, cbranch<FP>4, cbranchcc4): ... these.
+ (conditional_trap): Replace with...
+ (ctrap<GPR>4, ctrap<FP>4): ... these.
+ (stack_protect): Use cbranchcc4.
+
+ * config/score/score-conv.h (cmp_op0, cmp_op1): Delete.
+ * config/score/score-protos.h (score_gen_cmp): Delete.
+ * config/score/score.c (cmp_op0, cmp_op1, score_gen_cmp): Delete.
+ (score_block_move-loop): Use cbranchsi4.
+ * config/score/score.md (cbranchsi4): New.
+ (cmpsi, bCC): Delete.
+ * config/score/score3.c (cmp_op0, cmp_op1, score3_gen_cmp): Delete.
+ (score3_movsicc): Use ops[1] operands instead of cmp_op0/cmp_op1.
+ * config/score/score7.c (cmp_op0, cmp_op1, score7_gen_cmp): Delete.
+ (score7_movsicc): Use ops[1] operands instead of cmp_op0/cmp_op1.
+ * config/score/score3.h (score3_gen_cmp): Delete.
+ * config/score/score7.h (score7_gen_cmp): Delete.
+
+ * config/sh/sh-protos.h (prepare_scc_operands): Rename to...
+ (sh_emit_scc_to_t): ... this. Return void.
+ (from_compare): Rename to...
+ (sh_emit_compare_and_branch): ... this.
+ (sh_emit_compare_and_set): New.
+ (sh_expand_t_scc): Accept operands.
+ * config/sh/predicates.md (sh_float_comparison_operator): New.
+ * config/sh/sh.c (sh_compare_op0, sh_compare_op1): Delete.
+ (prepare_scc_operands): Rename to...
+ (sh_emit_scc_to_t): ... this. Return void. Get op0/op1 from
+ arguments.
+ (sh_emit_cheap_store_flag): New.
+ (sh_emit_set_t_insn): New.
+ (from_compare): Rename to...
+ (sh_emit_compare_and_branch): ... this. Accept mode. Rewrite
+ handling of TARGET_SH2E floating point to avoid recursive call.
+ Generate branch here.
+ (sh_emit_compare_and_set): New.
+ (sh_expand_t_scc): Get op0/op1 from arguments.
+ (sh_emit_cheap_store_flag): New.
+ * config/sh/sh.md (cbranchdi4, cbranchsi4): Include -mno-cbranchdi
+ cases.
+ (cbranchdi4_i): Use an "I08" constraint instead of an "i" constraint.
+ (cmpsi, cmpdi, cmpsf, cmpdf): Delete.
+ (movsicc, movdicc): Do nothing when it recreated operands from
+ sh_compare_*. Use sh_emit_cheap_store_flag. Adjust call to
+ prepare_scc_operands (now sh_emit_scc_to_t).
+ (udivdi3): Use cstoresi4.
+ (beq_media, bne_media, bge_media, bgtu_media, bgeu_media, beq,
+ bne, bgt, blt, ble, bge, bgtu, bltu, bgeu, bleu, bunordered): Delete.
+ (cbranchint4_media, cbranchfp4_media): New.
+ (casesi): Use cbranchdi4.
+ (seq, slt, sle, sgt, sge, sgtu, sltu, sgeu, sne, sleu, sunordered):
+ Delete.
+ (cstore4_media, cstoresi4, cstoredi4, cstoresf4, cstoredf4): New.
+ (movnegt): Remove second operand.
+ (cbranchsf4, cbranchdf4): New.
+ (stack_protect): Use cbranchdi4/cbranchsi4.
+
+ * config/sparc/sparc.c (sparc_compare_op0, sparc_compare_op1): Delete.
+ (gen_compare_reg): Accept comparison, extract part of it to...
+ (gen_compare_reg_1): ... this.
+ (gen_compare_operator): Delete.
+ (gen_v9_scc): Accept separate destination, comparison code and arms.
+ Do not use sparc_compare_op0/sparc_compare_op1.
+ (emit_scc_insn, emit_conditional_branch_insn): New.
+ (emit_v9_brxx): Make static. Remove useless assertion.
+ (sparc_emit_float_lib_cmp): Return RTL instead of calling
+ emit_cmp_insn.
+ (sparc_expand_compare_and_swap_12): Use gen_compare_reg_1+cbranchcc4.
+ * config/sparc/sparc-protos.h (gen_compare_reg,
+ sparc_emit_float_lib_cmp): Adjust prototype.
+ (emit_scc_insn, emit_conditional_branch_insn): New.
+ (gen_v9_scc, emit_v9_brxx_insn, gen_compare_operator): Delete.
+ * config/sparc/sparc.h (sparc_compare_op0, sparc_compare_op1): Delete.
+ * config/sparc/sparc.md (P, I, F, V32, V32I, V64, V64I): Move all
+ iterators to the top.
+ (cmpsi, cmpdi, cmpsf, cmpdf, cmptf, seqsi_special_extend,
+ snesi_special_extend, sCC, bCC, seqdi_special_trunc,
+ snedi_special_trunc): Delete.
+ (seqdi_special, snedi_special): Use expansion of seqdi_special_trunc
+ and snedi_special_trunc.
+ (cstoresi4, cstoredi4, cstore<F:mode>4, cbranchcc4, cbranchsi4,
+ cbranchdi4, cbranch<F:mode>4): New.
+ (mov<I:mode>cc, mov<F:mode>cc): Handle sparc_emit_float_lib_cmp
+ here. Use gen_compare_reg instead of gen_compare_operator.
+ (conditional_trap): Replace with...
+ (ctrapsi4, ctrapdi4): ... this.
+ (stack_protect_test): Use cbranchcc4.
+
+ * config/spu/spu-protos.h (spu_emit_branch_or_set): Change second
+ argument to rtx.
+ * config/spu/spu.c (spu_compare_op0, spu_compare_op1): Remove.
+ (spu_emit_branch_or_set): Get code/op0/op1 from second argument.
+ Change spu_compare_op0/op1 to op0/op1 throughout. Get target
+ from operands[0] or operands[3] depending on is_set.
+ * config/spu/spu.h (spu_compare_op0, spu_compare_op1): Remove.
+ * config/spu/spu.md (cmp<mode:VQHSI>, cmp<mode:DTI>, cmp<mode:VSF>,
+ cmpdf, bCC), sCC: Remove.
+ (cbranch<mode:VQHSI>4, cbranch<mode:DTI>, cbranch<mode:VSF>4,
+ cbranchdf4, cstore<mode:VQHSI>4, cstore<mode:DTI>, cstore<mode:VSF>4,
+ cstoredf4): New.
+ (mov<mode>cc): Accept ordered_comparison_operator, adjust call to
+ spu_emit_branch_or_set.
+
+ * config/stormy16/stormy16-protos.h (xstormy16_emit_cbranch):
+ Add two arguments.
+ * config/stormy16/stormy16.h (xstormy16_compare_op0,
+ xstormy16_compare_op1): Delete.
+ * config/stormy16/stormy16.c (xstormy16_compare_op0,
+ xstormy16_compare_op1): Delete.
+ (xstormy16_emit_cbranch): Get op0/op1 from the new arguments.
+ Adjust calls.
+ * config/stormy16/stormy16.md (cbranchsi4, cbranchhi4): New.
+ (cmphi, cmpsi, bCC): Remove.
+
+ * config/v850/v850.md (tstsi, cmpsi): Fold into...
+ (*cmpsi): ... this one.
+ (cbranchsi4, cstoresi4): New.
+ (bCC expanders): Delete.
+ (sCC insns): Fold into...
+ (*setcc): ... this one.
+ (casesi): Do not use gen_cmpsi and gen_bgtu.
+ (various splits): Wrap "naked" RHS of a cc0 set with COMPARE.
+ (movsicc): Simplify.
+ * config/v850/v850.c (v850_rtx_costs): Handle ZERO_EXTRACT in COMPARE.
+
+ * config/vax/vax-protos.h (cond_name): New.
+ (vax_output_conditional_branch): Remove.
+ * config/vax/vax.c (cond_name): New.
+ (vax_output_conditional_branch): Remove.
+ * config/vax/vax.h (PRINT_OPERAND): Dispatch %c to cond_name.
+ * config/vax/vax.md (tst<VAXint>, tst<VAXfp>): Remove.
+ (cmp<VAXint>, cmp<VAXfp>): Privatize. Add constraints for tst.
+ (bit<VAXint>): Wrap source with (compare).
+ (b<code> and following unnamed pattern): Rename to *branch and
+ *branch_reversed. Change macroization to match_operator.
+ (cbranch<VAXint>4, cbranch<VAXfp>4): New.
+
+ * config/xtensa/predicates.md (xtensa_cstoresi_operator): New.
+ * config/xtensa/xtensa-protos.h (xtensa_expand_conditional_branch):
+ Change last argument to machine_mode.
+ (xtensa_expand_scc): Add machine_mode argument.
+ * config/xtensa/xtensa.c (branch_cmp, branch_type): Remove.
+ (gen_conditional_move, xtensa_expand_conditional_branch,
+ xtensa_expand_scc, xtensa_expand_conditional_move): Use mode
+ instead of branch_type, fetch cmp0/cmp1/test_code from operands[].
+ Adjust operand numbers.
+ * config/xtensa/xtensa.h (enum cmp_type, branch_cmp, branch_type):
+ Delete.
+ * config/xtensa/xtensa.md (any_cond, any_scc): Delete.
+ (cmpsi, cmpsf, b<code>, s<code>): Delete.
+ (cbranchsi4, cbranchsf4, cstoresi4, cstoresf4): New.
+
+2009-05-12 Paolo Bonzini <bonzini@gnu.org>
+
+ * optabs.c (prepare_cmp_insn): Temporarily disable test that
+ causes spurious differences between trunk and cond-optab branch.
+
+2009-05-12 Alexandre Oliva <aoliva@redhat.com>
+
+ PR target/37137
+ * doc/install.texi (STAGE1_TFLAGS, BUILD_CONFIG): Document.
+
+2009-05-12 Alexandre Oliva <aoliva@redhat.com>
+
+ * tree.c (iterative_hash_pointer): Delete.
+ (iterative_hash_expr): Short-circuit handling of NULL pointer.
+ Hash UIDs and versions of SSA names. Don't special-case built-in
+ function declarations.
+
+2009-05-11 Ian Lance Taylor <iant@google.com>
+
+ PR bootstrap/40103
+ * graphite.c: Force -Wc++-compat to only be a warning before
+ #including "cloog/cloog.h".
+
+2009-05-11 Martin Jambor <mjambor@suse.cz>
+
+ * ipa-cp.c (ipcp_cloning_candidate_p): Add missing return false.
+
+2009-05-11 Jan Hubicka <jh@suse.cz>
+
+ * tree-ssa-loop-ivcanon.c: Include target.h
+ (struct loop_size): new structure.
+ (constant_after_peeling): New predicate.
+ (tree_estimate_loop_size): New function.
+ (estimated_unrolled_size): Rewrite for new estimates.
+ (try_unroll_loop_completely): Use new estimates.
+ * Makefile.in (tree-ssa-loop-ivcanon.o): Add dependenc on target.h
+
+2009-05-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
+
+ * config/spu/spu-c.c (spu_categorize_keyword): Update for recent
+ libcpp interface change.
+ (spu_macro_to_expand): Likewise.
+
+2009-05-11 Paolo Bonzini <bonzini@gnu.org>
+
+ PR tree-optimization/40026
+ * gimplify.c (gimplify_init_constructor): Change initial conditional
+ to assertion. Rewrite TREE_OPERAND (*expr_p, 1) after
+ optimize_compound_literals_in_ctor.
+
+2009-05-11 Nathan Sidwell <nathan@codesourcery.com>
+
+ * config/m68k/m68k-devices.def (52274, 52277, 5301x, 5225x, 51xx):
+ New devices.
+ * doc/invoke.texi (M680x0 Options): Document new coldfire cpus.
+
+2009-05-11 H.J. Lu <hongjiu.lu@intel.com>
+
+ * tree-vect-data-refs.c (vect_analyze_group_access): Use
+ HOST_WIDE_INT for gap.
+
+2009-05-11 Ira Rosen <irar@il.ibm.com>
+
+ PR tree-optimization/40074
+ * tree-vect-data-refs.c (vect_analyze_group_access): Take gaps into
+ account in group size and step comparison.
+
+2009-05-11 Richard Guenther <rguenther@suse.de>
+
+ * passes.c (init_optimization_passes): Strip now incorrect comment.
+ (execute_function_todo): Do not set PROP_alias.
+ * tree-pass.h (PROP_alias): Remove.
+ * tree-ssa-structalias.c (pass_build_alias): Do not provide PROP_alias.
+ * tree-if-conv.c (pass_if_conversion): Do not require PROP_alias.
+ * tree-nrv.c (pass_return_slot): Likewise.
+ * tree-object-size.c (pass_object_sizes): Likewise.
+ * tree-ssa-dom.c (pass_dominator): Likewise.
+ (pass_phi_only_cprop): Likewise.
+ * tree-ssa-dse.c (pass_dse): Likewise.
+ * tree-ssa-phiopt.c (pass_phiopt): Likewise.
+ (pass_cselim): Likewise.
+ * tree-ssa-pre.c (pass_pre): Likewise.
+ (pass_fre): Likewise.
+ * tree-ssa-reassoc.c (pass_reassoc): Likewise.
+ * tree-ssa-sink.c (pass_sink_code): Likewise.
+ * tree-stdarg.c (pass_stdarg): Likewise.
+ * tree-tailcall.c (pass_tail_calls): Likewise.
+ * tree-vrp.c (pass_vrp): Likewise.
+
+2009-05-10 Ian Lance Taylor <iant@google.com>
+
+ * basic-block.h (enum profile_status): Break out of struct
+ control_flow_graph.
+ * cgraph.h (struct inline_summary): Break out of struct
+ cgraph_local_info.
+ * cgraphunit.c (enum cgraph_order_sort_kind): New enum, broken out
+ of struct cgraph_order_sort.
+ * combine.c (enum undo_kind): New enum, broken out of struct undo.
+ * cse.c (struct branch_path): Break out of struct
+ cse_basic_block_data.
+ * except.h (enum eh_region_type): Break out of struct eh_region.
+ * gcc.c (enum add_del): Break out of struct modify_target.
+ * genrecog.c (enum decision_type): Break out of struct decision_test.
+ * ggc-page.c (struct ggc_pch_ondisk): Break out of struct
+ ggc_pch_data.
+ * matrix-reorg.c (struct free_info): Break out of struct matrix_info.
+ * regmove.c (enum match_use): New enum, broken out of struct match.
+ * sched-int.h (enum post_call_group): New enum, broken out of
+ struct deps.
+ (struct deps_reg): Break out of struct deps.
+ * target.h (struct asm_int_op): Break out of struct gcc_target.
+ * tree-eh.c (struct goto_queue_node): Break out of struct
+ leh_tf_state.
+ * tree-inline.h (enum copy_body_cge_which): Break out of
+ copy_body_data.
+ * tree-pass.h (enum opt_pass_type): Break out of struct opt_pass.
+
+ * c-decl.c (in_struct, struct_types): New static variables.
+ (pushtag): Add loc parameter. Change all callers.
+ (lookup_tag): Add ploc parameter. Change all callers.
+ (check_compound_literal_type): New function.
+ (parser_xref_tag): Add loc parameter. Change all callers. If
+ -Wc++-compat, warn about struct/union/enum types defined within a
+ struct or union.
+ (start_struct): Add enclosing_in_struct, enclosing_struct_types,
+ and loc parameters. Change all callers. Change error calls to
+ error_at, using loc. For a redefinition, if the location of the
+ original definition is known, report it. Set in_struct and
+ struct_types. If -Wc++-compat warn if in sizeof, typeof, or alignof.
+ (finish_struct): Add new parameters enclosing_in_struct and
+ enclosing_struct_types. Change all callers. Set
+ C_TYPE_DEFINED_IN_STRUCT for all struct/union/enum types defined
+ in the struct. If in a struct, add this struct to struct_types.
+ (start_enum): Add loc parameter. Change all callers. Use
+ error_at for errors, using loc. For a redefinition, if the
+ location of the original definition is known, report it. If in a
+ struct, add this enum type to struct_types. If -Wc++-compat warn
+ if in sizeof, typeof, or alignof.
+ * c-parser.c (disable_extension_diagnostics): Disable -Wc++-compat.
+ (enable_extension_diagnostics): Reenable -Wc++-compat if appropriate.
+ (c_parser_enum_specifier): Get enum location for start_enum.
+ (c_parser_struct_or_union_specifier): Get struct location for
+ start_struct. Save in_struct and struct_types status between
+ start_struct and finish_struct.
+ (c_parser_cast_expression): Get location of cast.
+ (c_parser_alignof_expression): Get location of type.
+ (c_parser_postfix_expression): Likewise.
+ (c_parser_postfix_expression_after_paren_type): Add type_loc
+ parameter. Change all callers. Call check_compound_literal_type.
+ Use type_loc for error about variable size type.
+ * c-typeck.c (build_external_ref): If -Wc++-compat, warn about a use
+ of an enum constant from an enum type defined in a struct or union.
+ (c_cast_expr): Add loc parameter. Change all callers. If
+ -Wc++-compat, warn about defining a type in a cast.
+ * c-tree.h (C_TYPE_DEFINED_IN_STRUCT): Define.
+ (start_enum, start_struct, finish_struct): Update declarations.
+ (parser_xref_tag, c_cast_expr): Update declarations.
+ (check_compound_literal_type): Declare.
+
+2009-05-11 Ben Elliston <bje@au.ibm.com>
+
+ * config/rs6000/rs6000-c.c (altivec_categorize_keyword): Update
+ for recent libcpp interface change.
+ (rs6000_macro_to_expand): Likewise.
+
+2009-05-10 Michael Matz <matz@suse.de>
+
+ PR target/40031
+ * config/arm/arm.c (require_pic_register): Emit on entry edge,
+ not at entry of function.
+
+2009-05-10 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/40081
+ Revert
+ * tree-sra.c (instantiate_element): Instantiate scalar replacements
+ using the main variant of the element type. Do not fiddle with
+ TREE_THIS_VOLATILE or TREE_SIDE_EFFECTS.
+
+ * tree-sra.c (sra_type_can_be_decomposed_p): Do not decompose
+ structs with volatile fields.
+
+2009-05-10 Jan Hubicka <jh@suse.cz>
+
+ * tree-inline.c (delete_unreachable_blocks_update_callgraph): Declare.
+ (estimate_move_cost): Assert that it does not get called for
+ VOID_TYPE_P.
+ (estimate_num_insns): Skip VOID types in argument handling.
+ (optimize_inline_calls): Delete unreachable blocks and verify that
+ callgraph is valid.
+
+2009-05-10 Jan Hubicka <jh@suse.cz>
+
+ * cgraphbuild.c (record_reference): Use cgraph_mark_address_taken_node.
+ * cgraph.c (cgraph_mark_address_taken_node): New function.
+ (dump_cgraph_node): Dump new flag.
+ * cgraph.h (struct cgraph_node): Add address_taken.
+ (cgraph_mark_address_taken_node): New function.
+ * ipa.c (cgraph_postorder): Prioritize functions with address taken
+ since new direct calls can be born.
+
+2009-05-10 Joseph Myers <joseph@codesourcery.com>
+
+ * c-lex.c (c_lex_with_flags): Expect cpp_hashnode in
+ tok->val.node.node.
+
+2009-05-10 Jan Hubicka <jh@suse.cz>
+
+ PR middle-end/40084
+ * cgraph.c (cgraph_update_edges_for_call_stmt_node): Take old_call
+ argument; rewrite.
+ (cgraph_update_edges_for_call_stmt): Take old_decl argument.
+ * cgraph.h (cgraph_update_edges_for_call_stmt): Update prototype.
+ * tree-inline.c (copy_bb): Set frequency correctly.
+ (fold_marked_statements): Update call to
+ cgraph_update_edges_for_call_stmt.
+
+2009-05-10 Joseph Myers <joseph@codesourcery.com>
+
+ * config/arc/arc.c (arc_handle_interrupt_attribute): Use %qE for
+ identifiers in diagnostics.
+ * config/arm/arm.c (arm_handle_fndecl_attribute,
+ arm_handle_isr_attribute): Likewise.
+ * config/avr/avr.c (avr_handle_progmem_attribute,
+ avr_handle_fndecl_attribute, avr_handle_fntype_attribute):
+ Likewise.
+ * config/bfin/bfin.c (handle_int_attribute,
+ bfin_handle_longcall_attribute, bfin_handle_l1_text_attribute,
+ bfin_handle_l1_data_attribute, bfin_handle_longcall_attribute,
+ bfin_handle_l1_text_attribute, bfin_handle_l1_data_attribute):
+ Likewise.
+ * config/darwin.c (darwin_handle_kext_attribute,
+ darwin_handle_weak_import_attribute): Likewise.
+ * config/h8300/h8300.c (h8300_handle_fndecl_attribute,
+ h8300_handle_eightbit_data_attribute,
+ h8300_handle_tiny_data_attribute): Likewise.
+ * config/i386/i386.c (ix86_handle_cconv_attribute,
+ ix86_handle_abi_attribute, ix86_handle_struct_attribute):
+ Likewise.
+ * config/i386/winnt.c (ix86_handle_shared_attribute,
+ ix86_handle_selectany_attribute): Likewise.
+ * config/ia64/ia64.c (ia64_handle_model_attribute): Likewise.
+ * config/m32c/m32c.c (function_vector_handler): Likewise.
+ * config/m68hc11/m68hc11.c (m68hc11_handle_page0_attribute,
+ m68hc11_handle_fntype_attribute): Likewise.
+ * config/m68k/m68k.c (m68k_handle_fndecl_attribute): Likewise.
+ * config/mcore/mcore.c (mcore_handle_naked_attribute): Likewise.
+ * config/mips/mips.c (mips_insert_attributes,
+ mips_merge_decl_attributes, mips_expand_builtin): Likewise.
+ * config/rs6000/rs6000.c (rs6000_handle_longcall_attribute,
+ rs6000_handle_struct_attribute): Likewise.
+ * config/sh/sh.c (sh_insert_attributes,
+ sh_handle_resbank_handler_attribute,
+ sh_handle_interrupt_handler_attribute,
+ sh2a_handle_function_vector_handler_attribute,
+ sh_handle_sp_switch_attribute, sh_handle_trap_exit_attribute):
+ Likewise.
+ * config/sh/symbian.c (sh_symbian_mark_dllimport): Likewise.
+ * config/spu/spu.c (spu_handle_fndecl_attribute,
+ spu_handle_vector_attribute): Likewise.
+ * config/stormy16/stormy16.c
+ (xstormy16_handle_interrupt_attribute): Likewise.
+ * config/v850/v850-c.c (ghs_pragma_section): Likewise.
+ * config/v850/v850.c (v850_handle_interrupt_attribute): Likewise.
+
+2009-05-10 Joseph Myers <joseph@codesourcery.com>
+
+ * pretty-print.h (struct pretty_print_info): Add
+ translate_identifiers.
+ (pp_translate_identifiers): New.
+ (pp_identifier): Only conditionally translate identifier to locale
+ character set.
+ * pretty-print.c (pp_construct): Set pp_translate_identifiers.
+ (pp_base_tree_identifier): Only conditionally translate identifier
+ to locale character set.
+ * c-pretty-print.c (M_): Define.
+ (pp_c_type_specifier, pp_c_primary_expression): Mark English
+ fragments for conditional translation with M_.
+ * tree-pretty-print.c (maybe_init_pretty_print): Disable
+ identifier translation.
+
+2009-05-10 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/40081
+ * tree-sra.c (instantiate_element): Instantiate scalar replacements
+ using the main variant of the element type. Do not fiddle with
+ TREE_THIS_VOLATILE or TREE_SIDE_EFFECTS.
+
+2009-05-09 Jan Hubicka <jh@suse.cz>
+
+ PR middle-end/40080
+ * cgraphunit.c (cgraph_materialize_all_clones): Do not redirect
+ indirect calls; verify cgraph afterwards.
+
+2009-05-09 Jan Hubicka <jh@suse.cz>
+
+ PR bootstrap/40082
+ * ipa.c (update_inlined_to_pointer): New function.
+ (cgraph_remove_unreachable_nodes): Use it.
+
2009-05-09 Jan Hubicka <jh@suse.cz>
* tree-eh.c (struct leh_state): Remove prev_try.
(vectorize_loops): Fix comment. Use REPORT_VECTORIZED_LOCATIONS
and vect_location. Use REPORT_UNVECTORIZED_LOCATIONS
instead REPORT_UNVECTORIZED_LOOPS.
- * tree-vectorizer.h (enum vect_def_type): Rename vect_invariant_def and
- vect_loop_def to vect_external_def and vect_internal_def.
+ * tree-vectorizer.h (enum vect_def_type): Rename vect_invariant_def
+ and vect_loop_def to vect_external_def and vect_internal_def.
(enum verbosity_levels): Rename REPORT_VECTORIZED_LOOPS
and REPORT_UNVECTORIZED_LOOPS to REPORT_VECTORIZED_LOCATIONS and
REPORT_UNVECTORIZED_LOCATIONS.
vect_analyze_operations.
(vect_is_simple_reduction): Use new names.
(vectorizable_live_operation, vect_transform_loop): Likewise.
- * tree-vect-data-refs.c (vect_check_interleaving): Add a return value to
- specify whether the data references can be a part of interleaving chain.
+ * tree-vect-data-refs.c (vect_check_interleaving): Add a return value
+ to specify whether the data references can be a part of interleaving
+ chain.
(vect_analyze_data_ref_dependence): Use new names.
(vect_analyze_data_refs_alignment, vect_analyze_data_refs): Likewise.
(vect_create_addr_base_for_vector_ref): Remove redundant code.