+007-01-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
+
+ * c-decl.c (pop_scope): Replace warnings with call to
+ warn_for_unused_label.
+ * c-common.h (warn_for_unused_label): Declare.
+ * c-common.c (warn_for_unused_label): Define.
+
+2007-01-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
+
+ * tree-optimize.c (update_inlined_to_pointers): Delete unused
+ function.
+
+2007-01-29 Janis Johnson <janis187@us.ibm.com>
+
+ * Makefile.in (USER_H): Remove decfloat.h.
+ * ginclude/decfloat.h: Delete, moving contents to ...
+ * ginclude/float.h: Add support for decimal floating point,
+ guarded by __STDC_WANT_DEC_FP__.
+
+2007-01-29 Mike Stump <mrs@apple.com>
+
+ * doc/gccint.texi (Top): Rename Loop Representation to Loop
+ Analysis and Representation to resolve case insensitive conflict.
+ * doc/loop.texi (Loop Analysis and Representation): Likewise.
+
+2007-01-28 Daniel Berlin <dberlin@dberlin.org>
+
+ * tree.h (struct tree_memory_tag): Add aliases member.
+ (MTAG_ALIASES): New macro.
+ * tree-ssa-alias.c (alias_bitmap_obstack): New variable.
+ (add_may_alias): Remove pointer-set. Update for may_aliases being
+ a bitmap.
+ (mark_aliases_call_clobbered): Update for may_aliases being a
+ bitmap.
+ (compute_tag_properties): Ditto.
+ (create_partition_for): Ditto.
+ (compute_memory_partitions): Ditto.
+ (dump_may_aliases_for): Ditto.
+ (is_aliased_with): Ditto.
+ (add_may_alias_for_new_tag): Ditto.
+ (rewrite_alias_set_for): Rewrite for may_aliases being a bitmap.
+ (compute_is_aliased): New function.
+ (compute_may_aliases): Call compute_is_aliased).
+ (init_alias_info): Initialize alias_bitmap_obstack.
+ (union_alias_set_into): New function.
+ (compute_flow_sensitive_aliasing): Use union_aliases_into.
+ (have_common_aliases_p): Rewrite to take two bitmaps and use
+ intersection.
+ (compute_flow_insensitive_aliasing): Stop using pointer-sets.
+ Update for bitmaps.
+ (finalize_ref_all_pointers): Update for add_may_alias changes.
+ (new_type_alias): Ditto.
+ * tree-flow-inline.h (may_aliases): Return a bitmap.
+ * tree-dfa.c (dump_variable): Check for MTAG_P'ness.
+ * tree-ssa.c (verify_flow_insensitive_alias_info): Update for
+ may_aliases being a bitmap.
+ * tree-flow.h (struct var_ann_d): Remove may_aliases member.
+ may_aliases now returns a bitmap.
+ * tree-ssa-structalias.c (merge_smts_into): Update for may_aliases
+ being a bitmap.
+ * tree-ssa-operands.c (add_virtual_operand): Update for
+ may_aliases being a bitmap.
+
+2007-01-29 Daniel Berlin <dberlin@dberlin.org>
+
+ PR tree-optimization/30630
+ * tree-ssa-structalias.c (do_complex_constraint): Mark correct
+ variable as changed.
+
+2007-01-29 Simon Martin <simartin@users.sourceforge.net>
+
+ PR c++/28266
+ * gimplify.c (gimplify_target_expr): Make sure that the TARGET_EXPR is
+ expanded only once even if an error occurs.
+
+2007-01-29 Ben Elliston <bje@au.ibm.com>
+
+ * gcov-io.h (__gcov_indirect_call_profiler): Declare.
+ (__gcov_average_profiler): Likewise.
+ (__gcov_ior_profiler): Likewise.
+ (__gcov_merge_ior): Likewise.
+
+2007-01-28 Jan Hubicka <jh@suse.cz>
+
+ * builtins.c (expand_builtin_memset): Fix typo in my last patch.
+ * value-prof.c (stringop_block_profile): Likewise.
+
+2007-01-28 Jan Hubicka <jh@suse.cz>
+
+ * expr.c (emit_block_move_via_movmem, emit_block_move_via_libcall): Add
+ variant handling histograms; add wrapper.
+ (clear_storage_via_libcall): Export.
+ (emit_block_move_hints): Break out from ...; add histograms.
+ (emit_block_move): ... this one.
+ (clear_storage_hints): Break out from ...; add histograms.
+ (clear_storage): ... this one.
+ (set_storage_via_memset): Handle histogram.
+ * expr.h (emit_block_move_via_libcall, emit_block_move_hints): Declare.
+ (clear_storage_hints, clear_storage_via_libcall): Declare.
+ (set_storage_via_setmem): Update prototype.
+ * doc/md.texi (movmem, setmem): Document new arguments.
+
+ * value-prof.c (dump_histogram_value, tree_find_values_to_profile): Add
+ new histograms.
+ (stringop_block_profile): New global function.
+ (tree_stringops_values_to_profile): Profile block size and alignment.
+ * value-prof.h (enum hist_type): add HIST_TYPE_AVERAGE and
+ HIST_TYPE_IOR.
+ (struct profile_hooks): Add gen_average_profiler and gen_ior_profiler.
+ (stringop_block_profile): Declare.
+ * builtins.c: Include value-prof.h.
+ (expand_builtin_memcpy, expand_builtin_memset): Pass block profile.
+ * gcov-ui.h (GCOV_COUNTER_NAMES): Add new counter.
+ (GCOV_COUNTER_AVERAGE, GCOV_COUNTER_IOR): New constants.
+ (GCOV_COUNTERS, GCOV_LAST_VALUE_COUNTER): Update.
+ * profile.c (instrument_values): Add new counters.
+ * cfgexpand.c (expand_gimple_basic_block): Propagate histograms to
+ calls.
+ * tree-profile.c (tree_average_profiler_fn, tree_ior_profiler_fn): New.
+ (tree_init_edge_profiler): Build new profilers.
+ (tree_gen_average_profiler, tree_gen_ior_profiler): New.
+ (pass_tree_profile): Add dump.
+ (tree_profile_hooks): Update.
+ * Makefile.in (LIBGCOV): Add new constants.
+ * libgcov.c (__gcov_merge_ior, __gcov_average_profiler,
+ __gcov_ior_profiler): New.
+ * i386.md (movmem/setmem expanders): Add new optional arguments.
+
+2007-01-28 David Edelsohn <edelsohn@gnu.org>
+
+ * doc/md.texi (Standard Pattern Names): Document blockage pattern.
+
+2007-01-28 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-ssa-loop-unswitch.c: Include tree-inline.h.
+ (tree_unswitch_single_loop): Pass eni_size_weights to
+ tree_num_loop_insns.
+ * tree-ssa-loop-manip.c: Include tree-inline.h.
+ (can_unroll_loop_p): Pass eni_size_weights to
+ tree_num_loop_insns.
+ * tree-ssa-loop-ch.c (should_duplicate_loop_header_p):
+ Pass eni_size_weights to estimate_num_insns.
+ * tree.h (init_inline_once): Export.
+ * toplev.c (backend_init): Call init_inline_once.
+ * cgraphunit.c (cgraph_process_new_functions,
+ cgraph_analyze_function): Pass eni_inlining_weights to
+ estimate_num_insns.
+ * ipa-inline.c (compute_inline_parameters): Ditto.
+ * tree-ssa-loop-ivcanon.c (tree_num_loop_insns): Pass weights
+ to estimate_num_insns.
+ (try_unroll_loop_completely): Pass eni_size_weights to
+ tree_num_loop_insns.
+ * tree-eh.c (decide_copy_try_finally): Pass eni_size_weights
+ ot estimate_num_insns.
+ * tree-ssa-loop-prefetch.c: Include tree-inline.h.
+ (loop_prefetch_arrays): Pass eni_time_weights to tree_num_loop_insns.
+ * tree-inline.c (eni_inlining_weights, eni_size_weights,
+ eni_time_weights): New variables.
+ (init_inline_once): Initialize them.
+ (struct eni_data): Mew.
+ (estimate_num_insns_1, estimate_num_insns): Use weights.
+ * tree-inline.h (struct eni_weights_d): New.
+ (eni_inlining_weights, eni_size_weights, eni_time_weights): Declare.
+ (estimate_num_insns): Declaration changed.
+ * cfgloop.h (tree_num_loop_insns): Declaration changed.
+ * Makefile.in (tree-ssa-loop-unswitch.o, tree-ssa-loop-prefetch.o,
+ tree-ssa-loop-manip.o): Add TREE_INLINE_H dependency.
+
+2007-01-28 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-data-ref.c (conflict_fn): Assert that the number of affine
+ relations in the conflict function is valid.
+
+2007-01-27 Ian Lance Taylor <iant@google.com>
+
+ * common.opt: Add fstrict-overflow.
+ * opts.c (decode_options): Set flag_strict_overflow if -O2.
+ * flags.h (TYPE_OVERFLOW_WRAPS): Define.
+ (TYPE_OVERFLOW_UNDEFINED): Define.
+ (TYPE_OVERFLOW_TRAPS): Define. This replaces TYPE_TRAP_SIGNED.
+ Replace all uses.
+ * tree.h (TYPE_TRAP_SIGNED): Don't define.
+ * fold-const.c (negate_expr_p): Use TYPE_OVERFLOW_UNDEFINED.
+ (fold_negate_expr): Likewise.
+ (make_range): Likewise.
+ (extract_muldiv_1): Likewise.
+ (maybe_canonicalize_comparison): Likewise.
+ (fold_comparison): Likewise.
+ (fold_binary): Likewise.
+ (tree_expr_nonnegative_p): Likewise.
+ (tree_expr_nonzero_p): Likewise.
+ * tree-vrp.c (compare_values): Likewise.
+ (extract_range_from_binary_expr): Likewise.
+ (extract_range_from_unary_expr): Likewise.
+ * tree-ssa-loop-niter.c (infer_loop_bounds_from_signedness):
+ Likewise.
+ (nowrap_type_p): Likewise.
+ * tree-scalar-evolution.c (simple_iv): Likewise.
+ * fold-const.c (negate_expr_p): Use TYPE_OVERFLOW_WRAPS.
+ (build_range_check): Likewise.
+ (extract_muldiv_1): Likewise.
+ (fold_comparison): Likewise.
+ * tree-vrp.c (vrp_int_const_binop): Likewise.
+ (extract_range_from_unary_expr): Likewise.
+ * convert.c (convert_to_integer): Likewise.
+ * fold-const.c (fold_negate_expr): Use TYPE_OVERFLOW_TRAPS.
+ (fold_comparison): Likewise.
+ (fold_binary): Likewise.
+ * optabs.c (optab_for_tree_code): Likewise.
+ * tree-vectorizer.c (vect_is_simple_reduction): Likewise.
+ * simplify-rtx.c (simplify_const_relational_operation): Check
+ flag_strict_overflow and flag_trapv.
+ (simplify_const_relational_operation): Likewise.
+ * doc/invoke.texi (Option Summary): Mention -fstrict-overflow.
+ (Optimize Options): Add -fstrict-overflow to -O2 list. Document
+ -fstrict-overflow.
+
+2007-01-27 Roger Sayle <roger@eyesopen.com>
+
+ * tree.c (tree_fold_gcd): Delete.
+ * tree.h (tree_fold_gcd): Remove prototype.
+ * tree-data-ref.c (tree_fold_divides_p): Don't use tree_fold_gcd to
+ test whether one constant integer is a multiple of another. Instead
+ call int_const_binop with TRUNC_MOD_EXPR and test for a zero result.
+ * fold-const.c (multiple_of_p): We've determined both TOP and
+ BOTTOM are integer constants so we can call int_const_binop directly
+ instead of the more generic const_binop.
+
+2007-01-27 Roger Sayle <roger@eyesopen.com>
+
+ * fold-const.c (size_binop): In the fast-paths for X+0, 0+X, X-0 and
+ 1*X check that the constant hasn't overflowed, to preserve the
+ TREE_OVERFLOW bit.
+ (round_up): Provide an efficient implementation when rouding-up an
+ INTEGER_CST to a power-of-two.
+
+2007-01-28 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * doc/sourcebuild.texi: Add comma for clarity.
+ * doc/extend.texi: Fix some typos.
+ * doc/passes.texi: Likewise.
+ * doc/cppinternals.texi: Likewise.
+ * doc/c-tree.texi: Likewise.
+ * doc/tree-ssa.texi: Likewise.
+ * doc/install.texi: Likewise.
+
+2007-01-27 Jan Hubicka <jh@suse.cz>
+
+ * tree-sra.c (sra_walk_function): Don't rely on aliases being build.
+ (pass_sra): Do not require alias information.
+ * passes.c (init_optimization_passes): Add SRA
+
+2007-01-27 Steven Bosscher <steven@gcc.gnu.org>
+
+ * tracer.c (rest_of_handle_tracer): We already cleaned
+ up the CFG in tracer() so don't do it here again.
+ * cfgcleanup.c (rest_of_handle_jump2): Don't repeat
+ cleanup_cfg here, either. And don't call renumber_insns.
+
+ * cfgrtl.c (rtl_verify_flow_info_1): Don't verify that BB_END
+ and BB_HEAD are in the insn stream here. Instead make sure
+ that BB_INSN is valid on all insns. Also, do check here that
+ there are no pending branch predictions...
+ (rtl_verify_flow_info): ...instead of doing it here. Checks
+ for BB_END and BB_HEAD moved from rtl_verify_flow_info_1 to
+ here.
+
+2007-01-26 Roger Sayle <roger@eyesopen.com>
+
+ * config/i386/i386.c (ix86_swap_binary_operands_p): New helper
+ function to simplify/factorize operand order canonicalization.
+ (ix86_fixup_binary_operands): Reorganize using the above function.
+ (ix86_binary_operator_ok): Likewise.
+
+2007-01-27 Jakub Jelinek <jakub@redhat.com>
+
+ * genattrtab.c (struct attr_value_list, insn_code_values): Move to
+ file scope from optimize_attrs.
+ (simplify_test_exp): If insn_code_values is not NULL, use it to speed
+ up search.
+ (optimize_attrs): Clear insn_code_values after freeing it.
+
+2007-01-26 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-ssa-address.c (create_mem_ref): Remove ", bsi" from
+ a parts.base assignment.
+
+2007-01-26 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-data-ref.c (dump_subscript): Use dump_conflict_function.
+ (compute_subscript_distance, initialize_data_dependence_relation,
+ finalize_ddr_dependent, analyze_ziv_subscript,
+ analyze_siv_subscript_cst_affine,
+ compute_overlap_steps_for_affine_univar,
+ compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
+ analyze_siv_subscript, analyze_miv_subscript,
+ analyze_overlapping_iterations, subscript_dependence_tester_1,
+ compute_self_dependence, free_dependence_relation): Work
+ with affine_fn instead of chrecs.
+ (dump_affine_function, dump_conflict_function, affine_function_equal_p,
+ common_affine_function, affine_function_base,
+ affine_function_constant_p, affine_fn_op, affine_fn_plus,
+ affine_fn_minus, affine_fn_free, conflict_fn_not_known,
+ conflict_fn_no_dependence, free_conflict_function, free_subscripts,
+ conflict_fn, affine_fn_cst, affine_fn_univar): New functions.
+ (all_chrecs_equal_p): Removed.
+ * tree-data-ref.h (affine_fn, conflict_function): New types.
+ (struct subscript): Change type of conflicting_iterations_in_a
+ and conflicting_iterations_in_b.
+
+2007-01-26 Steve Ellcey <sje@cup.hp.com>
+
+ PR other/30182
+ * config/pa/pa.h (TARGET_HPUX_11): New.
+ * config/pa/pa-hpux11.h (TARGET_HPUX_11): New.
+ * config/pa/pa.c (pa_init_builtins): Use TARGET_HPUX_11.
+
+2007-01-26 Daniel Berlin <dberlin@dberlin.org>
+ Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-structalias.c (solve_graph): Handle case
+ we merged the variable to another.
+
+2007-01-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
+
+ * builtins.c (fold_builtin_1): Treat ccos and ccosh as 'even'
+ functions.
+
+ * fold-const.c (negate_mathfn_p): Treat casin, casinh, catan,
+ catanh, cproj, csin, csinh, ctan and ctanh as 'odd' functions.
+
+2007-01-25 DJ Delorie <dj@redhat.com>
+
+ * config/m32c/m32c.c (m32c_cannot_change_mode_class): We don't
+ allow changes to modes which don't fit in those registers.
+
+ * reload1.c (choose_reload_regs): Check for invalid subregs before
+ computing their locations, not after.
+
+2007-01-25 Geoffrey Keating <geoffk@apple.com>
+
+ PR 25127
+ * config/rs6000/rs6000.c (first_altivec_reg_to_save): On Darwin,
+ save Altivec registers in an eh_return function.
+ (compute_vrsave_mask): Likewise.
+ (rs6000_stack_info): Correct AIX/Darwin stack alignment computation
+ for saving Altivec registers.
+ (rs6000_emit_prologue): Don't allocate stack twice in
+ eh_return function. Correct expected value of altivec_save_offset
+ when using save_world. Describe save of R0 to stack when using
+ save_world. Describe stack pointer adjustment when using
+ save_world. Remove duplicated eh_return parameter register saving.
+ Update sp_offset variable after save_world.
+ * config/rs6000/t-darwin (LIB2FUNCS_STATIC_EXTRA): Remove
+ darwin-world.asm.
+ (LIB2FUNCS_EXTRA): Add darwin-world.asm.
+ * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): -m64
+ implies Altivec.
+
+2007-01-25 Steve Ellcey <sje@cup.hp.com>
+
+ * config.gcc (ia64*-*-hpux*): Make posix threads the default.
+
+2007-01-25 Steve Ellcey <sje@cup.hp.com>
+
+ PR other/30182
+ * config/pa/pa.c (pa_init_builtins): Set asm names for finite routines.
+ * config/ia64/ia64.c (ia64_init_builtins): Ditto.
+
2007-01-25 Richard Guenther <rguenther@suse.de>
* doc/invoke.texi (-Wcoverage-mismatch): Document.
2007-01-25 Razya Ladelsky <razya@il.ibm.com>
- * ipa-cp.c (ipcp_insert_stage, ipcp_driver): Support for SSA.
- (ipcp_driver): Change to static definition.
- Add dumping of the ifunctions.
- (constant_val_insert): Remove unused parameter. Support for SSA.
- (ipcp_propagate_const): Support for SSA.
- (ipcp_profile_bb_print): Print only analyzed nodes.
- (ipcp_replace_map_create): Remove support for Fortran constant
- for now.
- * ipa-prop.c (ipa_method_modify_stmt,
- ipa_callsite_compute_param): Support for SSA.
- * ipa-prop.h (ipcp_driver): Remove declaration.
- (IS_VALID_TREE_MAP_INDEX): Add define.
-
+ * ipa-cp.c (ipcp_insert_stage, ipcp_driver): Support for SSA.
+ (ipcp_driver): Change to static definition.
+ Add dumping of the ifunctions.
+ (constant_val_insert): Remove unused parameter. Support for SSA.
+ (ipcp_propagate_const): Support for SSA.
+ (ipcp_profile_bb_print): Print only analyzed nodes.
+ (ipcp_replace_map_create): Remove support for Fortran constant
+ for now.
+ * ipa-prop.c (ipa_method_modify_stmt,
+ ipa_callsite_compute_param): Support for SSA.
+ * ipa-prop.h (ipcp_driver): Remove declaration.
+ (IS_VALID_TREE_MAP_INDEX): Add define.
+
2007-01-24 Geoffrey Keating <geoffk@apple.com>
* unwind-dw2.c (execute_stack_op): Handle DW_OP_swap.