X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=blobdiff_plain;f=gcc%2FChangeLog;h=bf203d9027b52a082965302ae332bd597b470996;hp=49bbb0f9d777ffdca9126adbca390036948c4574;hb=87490e081a4dfc06033fe7ec1fc9217f5be12ac8;hpb=7666d572f2a547f09f39811c7af07f9532251a02 diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 49bbb0f9d77..bf203d9027b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,1562 @@ +2009-04-04 Jan Hubicka + + * tree-ssa-uncprop.c (associate_equivalences_with_edges): Use + last_basic_block for size of bb->index indexed array. + * bt-load.c (compute_defs_uses_and_gen, compute_kill, + compute_out, link_btr_uses, build_btr_def_use_webs, + build_btr_def_use_webs, migrate_btr_defs): Likewise. + +2009-04-04 Jan Hubicka + + * except.c (remove_eh_handler_and_replace): Break out from ... + (remove_eh_handler): ... here. + (bring_to_root): New function. + (remove_unreachable_regions): Collect MUST_NOT_THROW, unify runtime + handled ones, bring others to root of tree. + +2009-04-04 Jan Hubicka + + * tree-eh.c (tree_empty_eh_handler_p): Pattern match more curefully. + (all_phis_safe_to_merge): New function. + (update_info): New structure. + (make_eh_edge_and_update_phi, update_eh_edges): New functions. + (cleanup_empty_eh): Update SSA if possible. + +2009-04-04 Richard Guenther + + * tree-ssa.c (verify_ssa): With -O0 we do not need VOPs. + * tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0. + (append_vuse): Likewise. + +2009-04-04 Jakub Jelinek + + * unwind-dw2.h (_Unwind_FrameState): Add REG_UNDEFINED enum value. + * unwind-dw2.c (execute_cfa_program): Set how to REG_UNDEFINED + instead of REG_UNSAVED for DW_CFA_undefined. + (uw_update_context_1): Handle REG_UNDEFINED the same as REG_UNSAVED. + (uw_update_context): If RA column is REG_UNDEFINED, mark it as + outermost frame. + +2009-04-04 Richard Earnshaw + + PR target/39501 + * arm.md (movsfcc): Disable if not TARGET_HARD_FLOAT. + * testsuite/gcc.c-torture/execute/pr39501.c: New file. + * testsuite/gcc.c-torture/execute/pr39501.x: New file. + +2009-04-04 Richard Guenther + + PR tree-optimization/8781 + PR tree-optimization/37892 + * tree-ssa-sccvn.h (vn_reference_fold_indirect): Declare. + * tree-ssa-sccvn.c (vn_reference_fold_indirect): New function. + (valueize_refs): Call it for *& valueizations. + (shared_reference_ops_from_ref): Rename to ... + (valueize_shared_reference_ops_from_ref): ... this and valueize. + (shared_reference_ops_from_call): Rename to ... + (valueize_shared_reference_ops_from_call): ... this and valueize. + (vn_reference_lookup): Update. + (visit_reference_op_call): Likewise. + * tree-ssa-pre.c (phi_translate_1): Fold *&. + (eliminate): Value-replace the call address in call statements. + +2009-04-04 Richard Guenther + + PR tree-optimization/39636 + * tree-ssa-forwprop.c + (forward_propagate_addr_into_variable_array_index): Check for + GIMPLE_ASSIGN before accessing the rhs code. + +2009-04-03 Jason Merrill + + * stor-layout.c (set_sizetype): Set TYPE_CANONICAL. + +2009-04-03 Steve Ellcey + + * config/ia64/ia64.md (extendsfdf2, extendsfxf2, extenddfxf2, + truncdfsf2, truncxfsf2, truncxfdf2, floatdixf2, fix_truncsfdi2, + fix_truncdfdi2, fix_truncxfdi2, fix_truncxfdi2_alts, floatunsdisf2, + floatunsdidf2, floatunsdixf2, fixuns_truncsfdi2, fixuns_truncdfdi2, + fixuns_truncxfdi2, fixuns_truncxfdi2_alts, divsi3_internal, + smuldi3_highpart, umuldi3_highpart, ctzdi2, *getf_exp_xf, + divdi3_internal_lat, divdi3_internal_thr, mulditi3, *mulditi3_internal, + umulditi3, *umulditi3_internal, addsf3, mulsf3, abssf2, negsf2, + *nabssf2, sminsf3, smaxsf3, *maddsf4, *msubsf4, *nmulsf3, *nmaddsf4, + *nmaddsf4_alts, divsf3, *sqrt_approx, sqrtsf2, sqrtsf2_internal_thr, + adddf3, *adddf3_trunc, muldf3, *muldf3_trunc, absdf2, negdf2, *nabsdf2, + smindf3, smaxdf3, *madddf4, *madddf4_trunc, *msubdf4, *msubdf4_trunc, + *nmuldf3, *nmuldf3_trunc, *nmadddf4, *nmadddf4_alts, *nmadddf4_truncsf, + *nmadddf4_truncsf_alts, divdf3, sqrtdf2, sqrtdf2_internal_thr, divxf3, + sqrtxf2, sqrtxf2_internal_thr, *recip_approx): + Use fr_reg_or_fp01_operand instead of fr_register_operand + + * config/ia64/div.md (extendrf2, truncrf2, + recip_approx_rf, divsf3_internal_thr, divsf3_internal_lat, + divdf3_internal_thr, divdf3_internal_lat divxf3_internal): Ditto. + +2009-04-03 Vladimir Makarov + + PR rtl-optimization/39607 + PR rtl-optimization/39631 + Revert + 2009-03-30 Vladimir Makarov + * reload.c (push_reload, find_dummy_reload): Use df_get_live_out + instead of DF_LR_OUT. + * ira-lives.c (process_bb_node_lives): Ditto. + * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in} + instead of DF_LR_{OUT,IN}. + * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto. + * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto. + +2009-04-03 Steven Bosscher + + * omp-low.c (pass_expand_omp): Don't claim to provide PROP_gimple_lomp. + (execute_lower_omp): Always run but take the short way out if -fopenmp + is not given. + (gate_lower_omp): Remove, forcing the pass manager to always run the + pass and always set PROP_gimple_lomp. + (pass_lower_omp): Remove gate function. + * matrix-reorg.c (pass_ipa_matrix_reorg): Don't claim to provide + PROP_trees. Instead, require it. + * ipa-cp.c (pass_ipa_cp): Likewise. + * ipa-inline.c (pass_early_inline): Don't claim to provide PROP_cfg. + (pass_ipa_early_inline, pass_inline_parameters, pass_ipa_inline): Idem. + * tree-profile.c (pass_tree_profile): Don't claim to provide PROP_cfg + and PROP_gimple_leh. + +2009-04-03 Richard Guenther + + PR middle-end/13146 + PR tree-optimization/23940 + PR tree-optimization/33237 + PR middle-end/33974 + PR middle-end/34093 + PR tree-optimization/36201 + PR tree-optimization/36230 + PR tree-optimization/38049 + PR tree-optimization/38207 + PR tree-optimization/38230 + PR tree-optimization/38301 + PR tree-optimization/38585 + PR middle-end/38895 + PR tree-optimization/38985 + PR tree-optimization/39299 + * tree-ssa-structalias.h: Remove. + * tree-ssa-operands.h (NULL_USE_OPERAND_P): Make of type use_operand_p. + (NULL_DEF_OPERAND_P): Make of type def_operand_p. + (struct vuse_element_d): Remove. + (struct vuse_vec_d): Likewise. + (VUSE_VECT_NUM_ELEM, VUSE_VECT_ELEMENT_NC, VUSE_ELEMENT_PTR_NC, + VUSE_ELEMENT_VAR_NC, VUSE_VECT_ELEMENT, VUSE_ELEMENT_PTR, + SET_VUSE_VECT_ELEMENT, SET_VUSE_ELEMENT_VAR, SET_VUSE_ELEMENT_PTR, + VUSE_ELEMENT_VAR): Likewise. + (struct voptype_d): Likewise. + (NUM_VOP_FREE_BUCKETS): Likewise. + (struct ssa_operands): Remove vop_free_buckets and mpt_table fields. + (struct stmt_operands_d): Remove. + (VUSE_OP_PTR, VUSE_OP, SET_VUSE_OP, VUSE_NUM, VUSE_VECT, + VDEF_RESULT_PTR, VDEF_RESULT, VDEF_OP_PTR, VDEF_OP, SET_VDEF_OP, + VDEF_NUM, VDEF_VECT): Likewise. + (copy_virtual_operands): Remove. + (operand_build_cmp): Likewise. + (create_ssa_artificial_load_stmt): Likewise. + (enum ssa_op_iter_type): Remove ssa_op_iter_vdef. + (struct ssa_operand_iterator_d): Remove vuses, vdefs, mayusesm + vuse_index and mayuse_index members. Pack and move done and iter_type + members to the front. + (SSA_OP_VMAYUSE): Remove. + (SSA_OP_VIRTUAL_USES): Adjust. + (FOR_EACH_SSA_VDEF_OPERAND): Remove. + (unlink_stmt_vdef): Declare. + (add_to_addressable_set): Remove. + * tree-vrp.c (stmt_interesting_for_vrp): Adjust. + (vrp_visit_stmt): Likewise. + * doc/tree-ssa.texi (Alias analysis): Update. + * doc/invoke.texi (max-aliased-vops): Remove docs. + (avg-aliased-vops): Likewise. + * tree-into-ssa.c (syms_to_rename): Remove. + (need_to_update_vops_p): Likewise. + (need_to_initialize_update_ssa_p): Rename to ... + (update_ssa_initialized_fn): ... this. Track function we are + initialized for. + (symbol_marked_for_renaming): Simplify. + (add_new_name_mapping): Do not set need_to_update_vops_p. + (dump_currdefs): Use SYMS_TO_RENAME. + (rewrite_update_stmt): Always walk all uses/defs. + (dump_update_ssa): Adjust. + (init_update_ssa): Take function argument. Track what we are + initialized for. + (delete_update_ssa): Reset SYMS_TO_RENAME and update_ssa_initialized_fn. + (create_new_def_for): Initialize for cfun, assert we are initialized + for cfun. + (mark_sym_for_renaming): Simplify. + (mark_set_for_renaming): Do not initialize update-ssa. + (need_ssa_update_p): Simplify. Take function argument. + (name_mappings_registered_p): Assert we ask for the correct function. + (name_registered_for_update_p): Likewise. + (ssa_names_to_replace): Likewise. + (release_ssa_name_after_update_ssa): Likewise. + (update_ssa): Likewise. Use SYMS_TO_RENAME. + (dump_decl_set): Do not print a newline. + (debug_decl_set): Do it here. + (dump_update_ssa): And here. + * tree-ssa-loop-im.c (move_computations): Adjust. + (movement_possibility): Likewise. + (determine_max_movement): Likewise. + (gather_mem_refs_stmt): Likewise. + * tree-dump.c (dequeue_and_dump): Do not handle SYMBOL_MEMORY_TAG + or NAME_MEMORY_TAG. + * tree-complex.c (update_all_vops): Remove. + (expand_complex_move): Adjust. + * tree-ssa-loop-niter.c (chain_of_csts_start): Use NULL_TREE. + Simplify test for memory referencing statement. Exclude + non-invariant ADDR_EXPRs. + * tree-pretty-print.c (dump_generic_node): Do not handle memory tags. + * tree-loop-distribution.c (generate_memset_zero): Adjust. + (rdg_flag_uses): Likewise. + * tree-tailcall.c (suitable_for_tail_opt_p): Remove memory-tag + related code. + (tree_optimize_tail_calls_1): Also split the + edge from the entry block if we have degenerate PHI nodes in + the first basic block. + * tree.c (init_ttree): Remove memory-tag related code. + (tree_code_size): Likewise. + (tree_node_structure): Likewise. + (build7_stat): Re-write to be build6_stat. + * tree.h (MTAG_P, TREE_MEMORY_TAG_CHECK, TMR_TAG): Remove. + (SSA_VAR_P): Adjust. + (struct tree_memory_tag): Remove. + (struct tree_memory_partition_tag): Likewise. + (union tree_node): Adjust. + (build7): Re-write to be build6. + * tree-pass.h (pass_reset_cc_flags): Remove. + (TODO_update_address_taken): New flag. + (pass_simple_dse): Remove. + * ipa-cp.c (ipcp_update_callgraph): Update SSA form. + * params.h (MAX_ALIASED_VOPS): Remove. + (AVG_ALIASED_VOPS): Likewise. + * omp-low.c (expand_omp_taskreg): Update SSA form. + * tree-ssa-dse.c (dse_optimize_stmt): Properly query if the rhs + aliases the lhs in a copy stmt. + * tree-ssa-dse.c (struct address_walk_data): Remove. + (memory_ssa_name_same): Likewise. + (memory_address_same): Likewise. + (get_kill_of_stmt_lhs): Likewise. + (dse_possible_dead_store_p): Simplify, use the oracle. Handle + unused stores. Look through PHI nodes into post-dominated regions. + (dse_optimize_stmt): Simplify. Properly remove stores. + (tree_ssa_dse): Compute dominators. + (execute_simple_dse): Remove. + (pass_simple_dse): Likewise. + * ipa-reference.c (scan_stmt_for_static_refs): Open-code + gimple_loaded_syms and gimple_stored_syms computation. + * toplev.c (dump_memory_report): Dump alias and pta stats. + * tree-ssa-sccvn.c (vn_reference_compute_hash): Simplify. + (vn_reference_eq): Likewise. + (vuses_to_vec, copy_vuses_from_stmt, vdefs_to_vec, + copy_vdefs_from_stmt, shared_lookup_vops, shared_vuses_from_stmt, + valueize_vuses): Remove. + (get_def_ref_stmt_vuses): Simplify. Rename to ... + (get_def_ref_stmt_vuse): ... this. + (vn_reference_lookup_2): New function. + (vn_reference_lookup_pieces): Use walk_non_aliased_vuses for + walking equivalent vuses. Simplify. + (vn_reference_lookup): Likewise. + (vn_reference_insert): Likewise. + (vn_reference_insert_pieces): Likewise. + (visit_reference_op_call): Simplify. + (visit_reference_op_load): Likewise. + (visit_reference_op_store): Likewise. + (init_scc_vn): Remove shared_lookup_vuses initialization. + (free_scc_vn): Remove shared_lookup_vuses freeing. + (sort_vuses, sort_vuses_heap): Remove. + (get_ref_from_reference_ops): Export. + * tree-ssa-sccvn.h (struct vn_reference_s): Replace vuses + vector with single vuse pointer. + (vn_reference_lookup_pieces, vn_reference_lookup, + vn_reference_insert, vn_reference_insert_pieces): Adjust prototypes. + (shared_vuses_from_stmt): Remove. + (get_ref_from_reference_ops): Declare. + * tree-ssa-loop-manip.c (slpeel_can_duplicate_loop_p): Adjust. + * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Remove + memory-tag related code. + * tree-ssa-ccp.c (get_symbol_constant_value): Remove memory-tag code. + (likely_value): Add comment, skip static-chain of call statements. + (surely_varying_stmt_p): Adjust. + (gimplify_and_update_call_from_tree): Likewise. + (execute_fold_all_builtins): Do not rebuild alias info. + (gimplify_and_update_call_from_tree): Properly update VOPs. + * tree-ssa-loop-ivopts.c (get_ref_tag): Remove. + (copy_ref_info): Remove memory-tag related code. + * tree-call-cdce.c (tree_call_cdce): Rename the VOP. + * ipa-pure-const.c (check_decl): Remove memory-tag related code. + (check_stmt): Open-code gimple_loaded_syms and gimple_stored_syms + computation. + * tree-ssa-dom.c (gimple_p): Remove typedef. + (eliminate_redundant_computations): Adjust. + (record_equivalences_from_stmt): Likewise. + (avail_expr_hash): Likewise. + (avail_expr_eq): Likewise. + * tree-ssa-propagate.c (update_call_from_tree): Properly + update VOPs. + (stmt_makes_single_load): Likewise. + (stmt_makes_single_store): Likewise. + * tree-ssa-alias.c: Rewrite completely. + (debug_memory_partitions, dump_mem_ref_stats, debug_mem_ref_stats, + debug_mem_sym_stats, dump_mem_sym_stats_for_var, + debug_all_mem_sym_stats, debug_mp_info, update_mem_sym_stats_from_stmt, + delete_mem_ref_stats, create_tag_raw, dump_points_to_info, + dump_may_aliases_for, debug_may_aliases_for, new_type_alias): + Remove public functions. + (pass_reset_cc_flags): Remove. + (pass_build_alias): Move ... + * tree-ssa-structalias.c (pass_build_alias): ... here. + * tree-ssa-alias.c (may_be_aliased): Move ... + * tree-flow-inline.h (may_be_aliased): ... here. + tree-ssa-alias.c (struct count_ptr_d, count_ptr_derefs, + count_uses_and_derefs): Move ... + * gimple.c: ... here. + * gimple.h (count_uses_and_derefs): Declare. + * tree-ssa-alias.c (dump_alias_stats, ptr_deref_may_alias_global_p, + ptr_deref_may_alias_decl_p, ptr_derefs_may_alias_p, + same_type_for_tbaa, nonaliasing_component_refs_p, decl_refs_may_alias_p, + indirect_ref_may_alias_decl_p, indirect_refs_may_alias_p, + ref_maybe_used_by_call_p, ref_maybe_used_by_stmt_p, + call_may_clobber_ref_p, stmt_may_clobber_ref_p, maybe_skip_until, + get_continuation_for_phi, walk_non_aliased_vuses, walk_aliased_vdefs): + New functions. + * tree-dfa.c (refs_may_alias_p): Move ... + * tree-ssa-alias.c (refs_may_alias_p): ... here. Extend. + * tree-ssa-alias.h: New file. + * tree-ssa-sink.c (is_hidden_global_store): Adjust. + (statement_sink_location): Likewise. + * opts.c (decode_options): Do not adjust max-aliased-vops or + avg-aliased-vops values. + * timevar.def (TV_TREE_MAY_ALIAS): Remove. + (TV_CALL_CLOBBER): Likewise. + (TV_FLOW_SENSITIVE): Likewise. + (TV_FLOW_INSENSITIVE): Likewise. + (TV_MEMORY_PARTITIONING): Likewise. + (TV_ALIAS_STMT_WALK): New timevar. + * tree-ssa-loop-ivcanon.c (empty_loop_p): Adjust. + * tree-ssa-address.c (create_mem_ref_raw): Use build6. + (get_address_description): Remove memory-tag related code. + * tree-ssa-ifcombine.c (bb_no_side_effects_p): Adjust. + * treestruct.def (TS_MEMORY_TAG, TS_MEMORY_PARTITION_TAG): Remove. + * tree-eh.c (cleanup_empty_eh): Do not leave stale SSA_NAMEs + and immediate uses in statements. Document. + * gimple-pretty-print.c (dump_gimple_mem_ops): Adjust. + (dump_symbols): Remove. + (dump_gimple_mem_ops): Do not dump loaded or stored syms. + * alias.c (get_deref_alias_set): New function split out from ... + (get_alias_set): ... here. + * alias.h (get_deref_alias_set): Declare. + * tree-vect-data-refs.c (vect_create_data_ref_ptr): Remove unused + type parameter. Remove restrict pointer handling. Create a + ref-all pointer in case type-based alias sets do not conflict. + (vect_analyze_data_refs): Remove SMT related code. + * tree-vect-stmts.c (vectorizable_store): Re-instantiate TBAA assert. + (vectorizable_load): Likewise. + * tree-data-ref.h (struct dr_alias): Remove symbol_tag field. + (DR_SYMBOL_TAG, DR_VOPS): Remove. + * tree-data-ref.c (dr_may_alias_p): Use the alias-oracle. + Ignore vops and SMTs. + (dr_analyze_alias): Likewise.. + (free_data_ref): Likewise. + (create_data_ref): Likewise. + (analyze_all_data_dependences): Likewise. + (get_references_in_stmt): Adjust. + * tree-flow-inline.h (gimple_aliases_computed_p, + gimple_addressable_vars, gimple_call_clobbered_vars, + gimple_call_used_vars, gimple_global_var, may_aliases, memory_partition, + factoring_name_p, mark_call_clobbered, clear_call_clobbered, + compare_ssa_operands_equal, symbol_mem_tag, set_symbol_mem_tag, + gimple_mem_ref_stats): Remove. + (gimple_vop): New function. + (op_iter_next_use): Remove vuses and mayuses cases. + (op_iter_next_def): Remove vdefs case. + (op_iter_next_tree): Remove vuses, mayuses and vdefs cases. + (clear_and_done_ssa_iter): Do not set removed fields. + (op_iter_init): Likewise. Skip vuse and/or vdef if requested. + Assert we are not iterating over vuses or vdefs if not also + iterating over uses or defs. + (op_iter_init_use): Likewise. + (op_iter_init_def): Likewise. + (op_iter_next_vdef): Remove. + (op_iter_next_mustdef): Likewise. + (op_iter_init_vdef): Likewise. + (compare_ssa_operands_equal): Likewise. + (link_use_stmts_after): Handle vuse operand. + (is_call_used): Use is_call_clobbered. + (is_call_clobbered): Global variables are always call clobbered, + query the call-clobbers bitmap. + (mark_call_clobbered): Ignore global variables. + (clear_call_clobbered): Likewise. + * tree-ssa-coalesce.c (create_outofssa_var_map): Adjust + virtual operands sanity check. + * tree.def (NAME_MEMORY_TAG, SYMBOL_MEMORY_TAG, MEMORY_PARTITION_TAG): + Remove. + (TARGET_MEM_REF): Remove TMR_TAG operand. + * tree-dfa.c (add_referenced_var): Initialize call-clobber state. + Remove call-clobber related code. + (remove_referenced_var): Likewise. Do not clear mpt or symbol_mem_tag. + (dump_variable): Do not dump SMTs, memory stats, may-aliases or + partitions or escape reason. + (get_single_def_stmt, get_single_def_stmt_from_phi, + get_single_def_stmt_with_phi): Remove. + (dump_referenced_vars): Tidy. + (get_ref_base_and_extent): Allow bare decls. + (collect_dfa_stats): Adjust. + * graphite.c (rename_variables_in_stmt): Adjust. + (graphite_copy_stmts_from_block): Likewise. + (translate_clast): Likewise. + * tree-ssa-pre.c (struct bb_bitmap_sets): Add expr_dies bitmap. + (EXPR_DIES): New. + (translate_vuse_through_block): Use the oracle. + (phi_translate_1): Adjust. + (value_dies_in_block_x): Use the oracle. Cache the outcome + in EXPR_DIES. + (valid_in_sets): Check if the VUSE for + a REFERENCE is available. + (eliminate): Do not remove stmts during elimination, + instead queue and remove them afterwards. + (do_pre): Do not rebuild alias info. + (pass_pre): Run TODO_rebuild_alias before PRE. + * tree-ssa-live.c (remove_unused_locals): Remove memory-tag code. + * tree-sra.c (sra_walk_function): Use gimple_references_memory_p. + (mark_all_v_defs_stmt): Remove. + (mark_all_v_defs_seq): Adjust. + (sra_replace): Likewise. + (scalarize_use): Likewise. + (scalarize_copy): Likewise. + (scalarize_init): Likewise. + (scalarize_ldst): Likewise. + (todoflags): Remove. + (tree_sra): Do not rebuild alias info. + (tree_sra_early): Adjust. + (pass_sra): Run TODO_update_address_taken before SRA. + * tree-predcom.c (set_alias_info): Remove. + (prepare_initializers_chain): Do not call it. + (mark_virtual_ops_for_renaming): Adjust. + (mark_virtual_ops_for_renaming_list): Remove. + (initialize_root_vars): Adjust. + (initialize_root_vars_lm): Likewise. + (prepare_initializers_chain): Likewise. + * tree-ssa-copy.c (may_propagate_copy): Remove memory-tag related code. + (may_propagate_copy_into_stmt): Likewise. + (merge_alias_info): Do nothing for now. + (propagate_tree_value_into_stmt): Adjust. + (stmt_may_generate_copy): Likewise. + * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr): Do + not mark symbols for renaming. + (forward_propagate_addr_expr): Match up push/pop_stmt_changes + with the same statement, make sure to update the new pointed-to one. + * tree-ssa-dce.c (eliminate_unnecessary_stmts): Do not copy + call statements, do not mark symbols for renaming. + (mark_operand_necessary): Dump something. + (ref_may_be_aliased): New function. + (mark_aliased_reaching_defs_necessary_1): New helper function. + (mark_aliased_reaching_defs_necessary): Likewise. + (mark_all_reaching_defs_necessary_1): Likewise. + (mark_all_reaching_defs_necessary): Likewise. + (propagate_necessity): Do not process virtual PHIs. For + non-aliased loads mark all reaching definitions as necessary. + For aliased loads and stores mark the immediate dominating + aliased clobbers as necessary. + (visited): New global static. + (perform_tree_ssa_dce): Free visited bitmap after propagating + necessity. + (remove_dead_phis): Perform simple dead virtual PHI removal. + (remove_dead_stmt): Properly unlink virtual operands when + removing stores. + (eliminate_unnecessary_stmts): Schedule PHI removal after + stmt removal. + * tree-ssa-ter.c (is_replaceable_p): Adjust. + (process_replaceable): Likewise. + (find_replaceable_in_bb): Likewise. + * tree-ssa.c (verify_ssa_name): Verify all VOPs are + based on the single gimple vop. + (verify_flow_insensitive_alias_info): Remove. + (verify_flow_sensitive_alias_info): Likewise. + (verify_call_clobbering): Likewise. + (verify_memory_partitions): Likewise. + (verify_alias_info): Likewise. + (verify_ssa): Adjust.. + (execute_update_addresses_taken): Export. Update SSA + manually. Optimize only when optimizing. Use a local bitmap. + (pass_update_address_taken): Remove TODO_update_ssa, add + TODO_dump_func. + (pass_update_address_taken): Just use TODO_update_address_taken. + (init_tree_ssa): Do not initialize addressable_vars. + (verify_ssa): Verify new VUSE / VDEF properties. + Verify that all stmts definitions have the stmt as SSA_NAME_DEF_STMT. + Do not call verify_alias_info. + (delete_tree_ssa): Clear the VUSE, VDEF operands. + Do not free the loaded and stored syms bitmaps. Reset the escaped + and callused solutions. Do not free addressable_vars. + Remove memory-tag related code. + (warn_uninitialized_var): Aliases are always available. + * tree-ssa-loop-prefetch.c (gather_memory_references): Adjust. + * lambda-code.c (can_put_in_inner_loop): Adjust. + (can_put_after_inner_loop): Likewise. + (perfect_nestify): Likewise. + * tree-vect-stmts.c (vect_stmt_relevant_p): Adjust. + (vect_gen_widened_results_half): Remove CALL_EXPR handling. + (vectorizable_conversion): Do not mark symbols for renaming. + * tree-inline.c (remap_gimple_stmt): Clear VUSE/VDEF. + (expand_call_inline): Unlink the calls virtual operands before + replacing it. + (tree_function_versioning): Do not call update_ssa if we are not + updating clones. Simplify. + * tree-ssa-phiprop.c (phivn_valid_p): Adjust. + (propagate_with_phi): Likewise.. + * tree-outof-ssa.c (create_temp): Remove memory tag and call + clobber code. Assert we are not aliased or global. + * tree-flow.h: Include tree-ssa-alias.h + (enum escape_type): Remove. + (struct mem_sym_stats_d): Likewise. + (struct mem_ref_stats_d): Likewise. + (struct gimple_df): Add vop member. Remove global_var, + call_clobbered_vars, call_used_vars, addressable_vars, + aliases_compted_p and mem_ref_stats members. Add syms_to_rename, + escaped and callused members. + (struct ptr_info_def): Remove all members, add points-to solution + member pt. + (struct var_ann_d): Remove in_vuse_list, in_vdef_list, + call_clobbered, escape_mask, mpt and symbol_mem_tag members. + * Makefile.in (TREE_FLOW_H): Add tree-ssa-alias.h. + (tree-ssa-structalias.o): Remove tree-ssa-structalias.h. + (tree-ssa-alias.o): Likewise. + (toplev.o): Add tree-ssa-alias.h + (GTFILES): Remove tree-ssa-structalias.h, add tree-ssa-alias.h. + * gimple.c (gimple_set_bb): Fix off-by-one error. + (is_gimple_reg): Do not handle memory tags. + (gimple_copy): Also copy virtual operands. + Delay updating the statement. Do not reset loaded and stored syms. + (gimple_set_stored_syms): Remove. + (gimple_set_loaded_syms): Likewise. + (gimple_call_copy_skip_args): Copy the virtual operands + and mark the new statement modified. + * tree-ssa-structalias.c (may_alias_p): Remove. + (set_uids_in_ptset): Take the alias set to prune with as + parameter. Fold in the alias test of may_alias_p. + (compute_points_to_sets): Compute whether a ptr is dereferenced + in a local sbitmap. + (process_constraint): Deal with &ANYTHING on the lhs, reject all + other ADDRESSOF constraints on the lhs. + (get_constraint_for_component_ref): Assert that we don't get + ADDRESSOF constraints from the base of the reference. + Properly generate UNKNOWN_OFFSET for DEREF if needed. + (struct variable_info): Remove collapsed_to member. + (get_varinfo_fc): Remove. + (new_var_info): Do not set collapsed_to. + (dump_constraint): Do not follow cycles. + (dump_constraint_graph): Likewise. + (build_pred_graph): Likewise. + (build_succ_graph): Likewise. + (rewrite_constraints): Likewise. + (do_simple_structure_copy): Remove. + (do_rhs_deref_structure_copy): Remove. + (do_lhs_deref_structure_copy): Remove. + (collapse_rest_of_var): Remove. + (do_structure_copy): Re-implement. + (pta_stats): New global variable. + (dump_pta_stats): New function. + (struct constraint_expr): Make offset signed. + (UNKNOWN_OFFSET): Define special value. + (dump_constraint): Dump UNKNOWN_OFFSET as UNKNOWN. + (solution_set_expand): New helper function split out from ... + (do_sd_constraint): ... here. + (solution_set_add): Handle UNKNOWN_OFFSET. Handle negative offsets. + (do_ds_constraint): Likewise. + (do_sd_constraint): Likewise. Do not special-case ESCAPED = *ESCAPED + and CALLUSED = *CALLUSED. + (set_union_with_increment): Make inc argument signed. + (type_safe): Remove. + (get_constraint_for_ptr_offset): Handle unknown and negative + constant offsets. + (first_vi_for_offset): Handle offsets before start. Bail + out early for offsets beyond the variable extent. + (first_or_preceding_vi_for_offset): New function. + (init_base_vars): Add ESCAPED = ESCAPED + UNKNOWN_OFFSET constraint. + Together with ESCAPED = *ESCAPED this properly computes reachability. + (find_what_var_points_to): New function. + (find_what_p_points_to): Implement in terms of find_what_var_points_to. + (pt_solution_reset, pt_solution_empty_p, pt_solution_includes_global, + pt_solution_includes_1, pt_solution_includes, pt_solutions_intersect_1, + pt_solutions_intersect): New functions. + (compute_call_used_vars): Remove. + (compute_may_aliases): New main entry into PTA computation. + * gimple.h (gimple_p): New typedef. + (struct gimple_statement_base): Remove references_memory_p. + (struct gimple_statement_with_memory_ops_base): Remove + vdef_ops, vuse_ops, stores and loads members. Add vdef and vuse + members. + (gimple_vuse_ops, gimple_set_vuse_ops, gimple_vdef_ops, + gimple_set_vdef_ops, gimple_loaded_syms, gimple_stored_syms, + gimple_set_references_memory): Remove. + (gimple_vuse_op, gimple_vdef_op, gimple_vuse, gimple_vdef, + gimple_vuse_ptr, gimple_vdef_ptri, gimple_set_vuse, gimple_set_vdef): + New functions. + * tree-cfg.c (move_block_to_fn): Fix off-by-one error. + (verify_expr): Allow RESULT_DECL. + (gimple_duplicate_bb): Do not copy virtual operands. + (gimple_duplicate_sese_region): Adjust. + (gimple_duplicate_sese_tail): Likewise. + (mark_virtual_ops_in_region): Remove. + (move_sese_region_to_fn): Do not call it. + * passes.c (init_optimization_passes): Remove pass_reset_cc_flags + and pass_simple_dse. + (execute_function_todo): Handle TODO_update_address_taken, + call execute_update_addresses_taken for TODO_rebuild_alias. + (execute_todo): Adjust. + (execute_one_pass): Init dump files early. + * ipa-struct-reorg.c (finalize_var_creation): Do not mark vars + call-clobbered. + (create_general_new_stmt): Clear vops. + * tree-ssa-reassoc.c (get_rank): Adjust. + * tree-vect-slp.c (vect_create_mask_and_perm): Do not mark + symbols for renaming. + * params.def (PARAM_MAX_ALIASED_VOPS): Remove. + (PARAM_AVG_ALIASED_VOPS): Likewise. + * tree-ssanames.c (init_ssanames): Allocate SYMS_TO_RENAME. + (duplicate_ssa_name_ptr_info): No need to copy the shared bitmaps. + * tree-ssa-operands.c: Simplify for new virtual operand + representation. + (operand_build_cmp, copy_virtual_operands, + create_ssa_artificial_load_stmt, add_to_addressable_set, + gimple_add_to_addresses_taken): Remove public functions. + (unlink_stmt_vdef): New function. + +2009-04-03 Alan Modra + + * config.gcc (powerpc-*-linux*): Merge variants. + +2009-04-02 Chao-ying Fu + James Grosbach + + * config/mips/mips.c (mips_frame_info): Add acc_mask, num_acc, + num_cop0_regs, acc_save_offset, cop0_save_offset, acc_sp_offset, + cop0_sp_offset. + (machine_function): Add interrupt_handler_p, use_shadow_register_set_p, + keep_interrupts_masked_p, use_debug_exception_return_p. + (mips_attribute_table): Add interrupt, use_shadow_register_set, + keep_interrupts_masked, use_debug_exception_return. + (mips_interrupt_type_p, mips_use_shadow_register_set_p, + mips_keep_interrupts_masked_p, mips_use_debug_exception_return_p): + New functions. + (mips_function_ok_for_sibcall): Return false for interrupt handlers. + (mips_print_operand): Process COP0 registers to print $0 .. $31 + correctly for GAS to process. + (mips_interrupt_extra_call_saved_reg_p): New function. + (mips_cfun_call_saved_reg_p): For interrupt handlers, we need to check + extra registers. + (mips_cfun_might_clobber_call_saved_reg_p): Likewise. + (mips_compute_frame_info): Add supports for interrupt context that + includes doubleword accumulators and COP0 registers. + (mips_for_each_saved_acc): New function. + (mips_for_each_saved_gpr_and_fpr): Change the function name from + mips_for_each_saved_reg. + (mips_save_reg): Save accumulators. + (mips_kernel_reg_p): A new for_each_rtx callback. + (mips_expand_prologue): Support interrupt handlers. + (mips_restore_reg): Restore accumulators. + (mips_expand_epilogue): Support interrupt handlers. + (mips_can_use_return_insn): Return false for interrupt handlers. + (mips_epilogue_uses): New function. + * config/mips/mips.md (UNSPEC_ERET, UNSPEC_DERET, UNSPEC_DI, + UNSPEC_EHB, UNSPEC_RDPGPR, UNSPEC_COP0): New UNSPEC. + (mips_eret, mips_deret, mips_di, mips_ehb, mips_rdpgpr, + cop0_move): New instructions. + * config/mips/mips-protos.h (mips_epilogue_uses): Declare. + * config/mips/mips.h (K0_REG_NUM, K1_REG_NUM, KERNEL_REG_P): New + defines. + (COP0_STATUS_REG_NUM, COP0_CAUSE_REG_NUM, COP0_EPC_REG_NUM): + New defines. + (CAUSE_IPL, SR_IPL, SR_EXL, SR_IE): New defines. + (MIPS_PROLOGUE_TEMP_REGNUM, MIPS_EPILOGUE_TEMP_REGNUM): For + interrupt handlers, we use K0 as the temporary register. + (EPILOGUE_USES): Change to a function call. + * config/mips/sde.h (MIPS_EPILOGUE_TEMP_REGNUM): For interrupt + handlers, we use K0 as the temporary register. + + * doc/extend.texi (Function Attributes): Document interrupt, + use_shadow_register_set, keep_interrupts_masked, + use_debug_exception_return for MIPS attributes. + +2009-04-03 Alan Modra + + * config.gcc (powerpc64-*-gnu*): Add rs6000/default64.h to tm_file. + Remove a number of t-files from tmake_file. + * config/rs6000/sysv4.opt (mprototype): Name variable target_prototype. + * config/rs6000/sysv4.h (TARGET_PROTOTYPE): Define. + * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Set + target_prototype, not TARGET_PROTOTYPE. + (LINK_OS_GNU_SPEC): Define. + * config/rs6000/t-linux64 (LIB2FUNCS_EXTRA): Delete tramp.S + and darwin-ldoubdle.c. + +2009-04-02 Michael Meissner + + PR driver/39293 + * gcc.c (save_temps_flag): Add support for -save-temps=obj. + (cpp_options): Ditto. + (default_compilers): Ditto. + (display_help): Ditto. + (process_command): Ditto. + (do_spec_1): Ditto. + (set_input): Use lbasename instead of duplicate code. + (save_temps_prefix): New static for -save-temps=obj. + (save_temps_length): Ditto. + + * doc/invoke.texi (-save-temps=obj): Document new variant to + -save-temps switch. + +2009-04-02 Jeff Law + + * reload1.c (fixup_eh_region_notes): Remove write-only "trap_count" + variable. + +2009-04-02 H.J. Lu + + * configure.ac: Support -Bstatic/-Bdynamic for linker version > 2. + * configure: Regenerated. + +2009-04-02 Rafael Avila de Espindola + + * c-decl.c (merge_decls): Make sure newdecl and olddecl don't + share the argument list. + +2009-04-02 Rafael Avila de Espindola + + Merge + + 2009-02-12 Diego Novillo + + * varpool.c (debug_varpool): New. + * cgraph.h (debug_varpool): Declare. + +2009-04-02 Jan Hubicka + + * passes.c (init_optimization_passes): Remove two copies of ehcleanup + pass. + +2009-04-02 H.J. Lu + + * config/i386/i386.c (ix86_abi): Move initialization to ... + (override_options): Here. + +2009-04-02 Christian Bruel + + * config/sh/sh.c (sh_dwarf_register_span): New function. + (TARGET_DWARF_REGISTER_SPAN): Define. + * config/sh/sh-protos.h (sh_dwarf_register_span): Declare. + +2009-04-02 Ira Rosen + + PR tree-optimization/39595 + * tree-vect-slp.c (vect_build_slp_tree): Check that the size of + interleaved loads group is not greater than the SLP group size. + +2009-04-02 Rafael Avila de Espindola + + * builtins.c (is_builtin_name): New. + (called_as_built_in): Use is_builtin_name. + * tree.h (is_builtin_name): New. + * varasm.c (incorporeal_function_p): Use is_builtin_name + +2009-04-02 Andrew Stubbs + + * config/sh/linux-unwind.h: Disable when inhibit_libc is defined. + +2009-04-02 Dodji Seketeli + + PR c++/26693 + * c-decl.c: (clone_underlying_type): Move this ... + * c-common.c (set_underlying_type): ... here. + Also, make sure the function properly sets TYPE_STUB_DECL() on + the newly created typedef variant type. + * c-common.h (is_typedef_decl, set_underlying_type): Declare ... + * c-common.c (is_typedef_decl, set_underlying_type): ... new entry points. + +2009-04-02 Richard Guenther + + PR tree-optimization/37221 + * tree-flow.h (degenerate_phi_result): Declare. + * tree-ssa-dom.c (degenerate_phi_result): Export. + * tree-scalar-evolution.c (analyze_initial_condition): If + the initial condition is defined by a degenerate PHI node + use the degenerate value. + +2009-04-01 Eric Botcazou + + PR rtl-optimization/39588 + * combine.c (merge_outer_ops): Do not set the constant when this + is not necessary. + (simplify_shift_const_1): Do not modify it either in this case. + +2009-04-01 Steven Bosscher + + * config/ia64/ia64.c (ia64_handle_option): Inform user that Itanium1 + tuning is deprecated if -mtune value is set to an Itanium1 variant. + +2009-04-01 Janis Johnson + + PR c/29027 + * c-lex.c (interpret_float): Default (no suffix) is double. + +2009-04-1 Xinliang David Li + + * config/i386/i386.c (legitimate_constant_p): Recognize + all one vector constant. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c: Add #includes to silence warnings. + Change #include order to silence two warnings. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/linux.h (TARGET_DEFAULT): Add the MASK_QMATH flag bit. + (ASM_SPEC): Pass -k to the assembler for PIC code. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config.gcc: Add vax-*-linux* to the switch. + * gcc/config/vax/linux.h: New file. (TARGET_VERSION, + TARGET_OS_CPP_BUILTINS, TARGET_DEFAULT, CPP_SPEC, LINK_SPEC): Define. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c (vax_output_int_move, adjacent_operands_p): + Use predicate macros instead of GET_CODE() == foo. + * gcc/config/vax/vax.md (movsi_2, movstrictqi, and3, ashrsi3, + ashlsi3, rotrsi3, ): Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/builtins.md (jbbssiqi, jbbssihi, jbbssisi, jbbcciqi, + jbbccihi, jbbccisi): Remova trailing whitespace. + * gcc/config/vax/constraints.md: Likewise. + * gcc/config/vax/elf.h: (ASM_PREFERRED_EH_DATA_FORMAT): Likewise. + * gcc/config/vax/openbsd1.h (OBSD_OLD_GAS): Likewise. + * gcc/config/vax/predicates.md: Likewise. + * gcc/config/vax/vax.c (print_operand_address, vax_output_int_move, + vax_expand_addsub_di_operands, adjacent_operands_p): Likewise. + * gcc/config/vax/vax.h: Likewise. + * gcc/config/vax/vax.md (nonlocal_goto): Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c (vax_float_literal, vax_output_int_move) + (indirectable_address_p, adjacent_operands_p): Add spaces around + braces. + * gcc/config/vax/vax-protos.h (adjacent_operands_p): Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/vax.c (legitimate_constant_address_p, + legitimate_constant_p, indirectable_address_p, nonindexed_address_p, + index_term_p, reg_plus_index_p, legitimate_address_p, + vax_mode_dependent_address_p): Update comments to match functions + modified by the recent int->bool conversion. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/builtins.md: Update copyright message. + * gcc/config/vax/constraints.md: Likewise. + * gcc/config/vax/netbsd-elf.h: Likewise. + * gcc/config/vax/predicates.md: Likewise. + * gcc/config/vax/vax-protos.h: Likewise. + * gcc/config/vax/vax.c: Likewise. + * gcc/config/vax/vax.h: Likewise. + * gcc/config/vax/vax.md: Likewise. + * gcc/config/vax/vax.opt: Likewise. + +2009-04-01 Jan-Benedict Glaw + + * gcc/config/vax/builtins.md (ffssi2, ffssi2_internal, + sync_lock_test_and_set, sync_lock_release): Fix indention. + * gcc/config/vax/constraints.md (B, R): Likewise. + * gcc/config/vax/predicates.md (external_memory_operand, + nonimmediate_addsub_di_operand): Likewise. + * gcc/config/vax/vax.c (vax_output_int_add): Likewise. + * gcc/config/vax/vax.md (movsi, movsi_2, mov, call_value, + untyped_call): Likewise. + +2009-04-01 Matt Thomas + + * config/vax/predicates.md: New file. (symbolic_operand, + local_symbolic_operand, external_symbolic_operand, + external_const_operand, nonsymbolic_operand, external_memory_operand, + indirect_memory_operand, indexed_memory_operand, + illegal_blk_memory_operand, illegal_addsub_di_memory_operand, + nonimmediate_addsub_di_operand, general_addsub_di_operand): New + predicate. + * config/vax/constraints.md: New file. (Z0, U06, U08, U16, CN6, S08, + S16, I, J, K, L, M, N, O, G, Q, B, R, T): New constraint. + * config/vax/builtins.md: New file. (ffssi2, ffssi2_internal, + sync_lock_test_and_set, jbbssiqi, jbbssihi, jbbssisi, + sync_lock_release, jbbcciqi, jbbccihi, jbbccisi): Define. + * config/vax/vax.opt (mqmath): Add option. + * config/vax/vax.md (isfx): Extend with DI. + (VAXintQH, VAXintQHSD): Define. + (tst, cmp, *bit, movmemhi1, truncsiqi2, truncsihi2, + mulsidi3, add3, sub, mul3, div3, and, + and_const_int, ior3, xor3, neg2, + one_cmpl2, ashlsi3, lshrsi3, rotlsi3): Update constraints. + (movdi): Update constraints and use vax_output_int_move(). + (movsi, movsi_2, pushlclsymreg, pushextsymreg, movlclsymreg, + movextsymreg, adddi3, adcdi3, subdi3, sbcdi3, pushextsym, movextsym, + pushlclsym, movlclsym, movaddr, pushaddr, + nonlocal_goto): New. + (mov): Extend accepted operand types. + (subdi3_old): Rename from subdi3, change update constraints and use + a new implementation. + * gcc/config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Add space. + (FRAME_POINTER_CFA_OFFSET, IRA_COVER_CLASSES, CLASS_MAX_NREGS, + MOVE_RATIO, CLEAR_RATIO): Define. + (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P, + CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete. + (PRINT_OPERAND): Redefine using a function instead of inlined code. + * gcc/config/vax/vax.c (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Define. + (split_quadword_operands): Make static and really allow variable + splitting. + (print_operand_address): Update for PIC generation. + (print_operand, vax_builtin_setjmp_frame_value, vax_output_int_subtract, + indexable_address_p, fixup_mathdi_operand, + vax_expand_addsub_di_operands, adjacent_operands_p): New. + (vax_float_literal, legitimate_constant_p, + indirectable_constant_address_p, index_term_p, + reg_plus_index_p): Return bool instead of int. + (vax_rtx_costs): Fix cost for CONST_INT, indent and use HOST_WIDE_INT + where needed. + (vax_output_int_move, vax_output_int_add): Extend to allow PIC + generation. + (vax_output_conditional_branch): Indent. + (legitimate_constant_address_p, indirectable_constant_address_p, + indirectable_address_p, nonindexed_address_p, legitimate_address_p, + vax_mode_dependent_address_p): Return bool instead of int, update for + PIC generation. + * config/vax/vax-protos.h (legitimate_constant_address_p, + legitimate_constant_p, legitimate_address_p, + vax_mode_dependent_address_p): Change declaration to bool. + (legitimate_pic_operand_p, adjacent_operands_p, print_operand, + vax_expand_addsub_di_operands, vax_output_int_subtract, + vax_output_movmemsi): Declare. + (split_quadword_operands, vax_float_literal): Delete declaration. + * config/vax/netbsd-elf.h (CC1_SPEC, CC1PLUS_SPEC) Define. + * config/vax/elf.h (NO_EXTERNAL_INDIRECT_ADDRESS, + VAX_CC1_AND_CC1PLUS_SPEC, ASM_PREFERRED_EH_DATA_FORMAT, + ASM_OUTPUT_DWARF_PCREL): Define. + (ASM_SPEC): Change definition to allow PIC generation. + +2009-04-01 Jakub Jelinek + + PR target/39226 + * config/rs6000/rs6000.md (andsi3_internal5_nomc, + anddi3_internal2_nomc, anddi3_internal3_nomc): Removed. + (booldi3_internal3): Use boolean_or_operator instead of + boolean_operator. + +2009-04-01 Joseph Myers + + PR c/39605 + * c-decl.c (grokdeclarator): Pedwarn for file-scope array + declarator whose size is not an integer constant expression but + folds to an integer constant, then treat it as a constant + subsequently. + +2009-04-01 Richard Guenther + + * fold-const.c (fold_plusminus_mult_expr): Do not fold + i * 4 + 2 to (i * 2 + 1) * 2. + +2009-04-01 Jakub Jelinek + + PR c/37772 + * c-parser.c (c_parser_asm_statement): Skip until close paren and + return if c_parser_asm_string_literal returned NULL. + +2009-04-01 Nick Clifton + + * config/m32c/m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not + already defined. + * config/m32c/t-m32c (LIB2FUNCS_EXTRA): Add m32c-lib2-trapv.c. + * config/m32c/m32c-lib2.c: Remove unused typedefs. Rename the + other typedefs to avoid conflicts with libgcc2.c. Define labels + to gain 16-bit bit-manipulation functions from libgcc2.c and then + include it. + * config/m32c/m32c-lib2-trapv.c: New file. Define labels + to gain 16-bit trapping arithmetic functions from libgcc2.c and + then include it. + +2009-04-01 Rafael Avila de Espindola + + * varasm.c (default_function_rodata_section): Declare DOT as const char*. + +2009-04-01 Kai Tietz + Andrey Galkin + + PR/39492 + * config/i386/host-mingw32.c (mingw32_gt_pch_use_address): + Make object_name unique for each process. + +2009-04-01 Jakub Jelinek + + PR other/39591 + * omp-low.c (remove_exit_barrier): Don't optimize if there are any + addressable variables in the parallel that could go out of scope while + running queued tasks. + +2009-04-01 Anatoly Sokolov + + * config/avr/avr.h (avr_case_values_threshold): Remove declaration. + (CASE_VALUES_THRESHOLD): Redefine. + * config/avr/avr.c (avr_override_options): Remove initialization of + avr_case_values_threshold variable. + (avr_case_values_threshold): Remove variable. Add new function. + * config/avr/avr-protos.h (avr_case_values_threshold): Declare. + * config/avr/avr.opt (mno-tablejump): Remove option. + * doc/invoke.texi (AVR Options): Remove -mno-tablejump. + +2009-04-01 DJ Delorie + + * varasm.c (default_function_rodata_section): Don't assume + anything about where the first '.' in the section name is. + +2009-04-01 Alan Modra + + * config/rs6000/rs6000.c (rs6000_emit_stack_reset): Delete redundant + rs6000_emit_stack_tie. + +2009-03-31 Ian Lance Taylor + + * tree-eh.c (tree_remove_unreachable_handlers): Compare + gimple_code with GIMPLE_RESX, not RESX. + +2009-03-31 Joseph Myers + + * c-common.c (c_get_ident): New. + (c_common_nodes_and_builtins): Call it for type names that may be + NULL. + +2009-04-01 Ben Elliston + + * config/rs6000/sysv4.opt (msdata): Improve option description. + +2009-03-31 Steve Ellcey + + * config/ia64/ia64.md (divsf3_internal_lat): Remove. + (divdf3_internal_lat): Remove. + (divxf3_internal_lat): Remove. + (divxf3_internal_thr): Remove. + (divxf): Use divxf3_internal. + * config/ia64/div.md (divsf3_internal_lat): New. + (divdf3_internal_lat): New. + (divxf3_internal): New. + +2009-03-31 Joseph Myers + + PR c/448 + * Makefile.in (USE_GCC_STDINT): Define. + (stmp-int-hdrs): Install stdint.h if applicable. + * c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE + if known. + (CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known. + (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE, + UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE, + INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE, + INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE, + UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE, + INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE, + UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE, + UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define. + (c_common_nodes_and_builtins): Initialize + underlying_wchar_type_node. Do not initialize + signed_wchar_type_node or unsigned_wchar_type_node. Initialize + nodes for new types. + (c_stddef_cpp_builtins): Define macros for new types. + * c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE): + Remove. + (CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE, + CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE, + CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE, + CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE, + CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE, + CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE, + CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE, + CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE, + CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define. + (signed_wchar_type_node, unsigned_wchar_type_node): Remove. + (underlying_wchar_type_node, sig_atomic_type_node, int8_type_node, + int16_type_node, int32_type_node, int64_type_node, + uint8_type_node, uint16_type_node, c_uint32_type_node, + c_uint64_type_node, int_least8_type_node, int_least16_type_node, + int_least32_type_node, int_least64_type_node, + uint_least8_type_node, uint_least16_type_node, + uint_least32_type_node, uint_least64_type_node, + int_fast8_type_node, int_fast16_type_node, int_fast32_type_node, + int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node, + uint_fast32_type_node, uint_fast64_type_node, intptr_type_node, + uintptr_type_node): Define. + * c-cppbuiltin.c (builtin_define_constants, + builtin_define_type_minmax): New. + (builtin_define_stdint_macros): Define more macros. + (c_cpp_builtins): Define more limit macros. + (type_suffix): New. + (builtin_define_type_max): Define in terms of + builtin_define_type_minmax. Remove is_long parameter. All + callers changed. + * config.gcc (use_gcc_stdint): Define. + (tm_file): Add glibc-stdint.h for targets using glibc or uClibc. + Add newlib-stdint.h for generic targets. + * config/glibc-stdint.h, config/newlib-stdint.h, + ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New. + * config/m32c/m32c.h (UINTPTR_TYPE): Define. + * config/score/score.h (UINTPTR_TYPE): Define. + * config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, + INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, + UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE, + INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE, + UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE, + INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE, + UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE, + UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define. + * config/spu/spu.h (STDINT_LONG32): Define. + * configure.ac (use_gcc_stdint): Substitute. + * configure: Regenerate. + * doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__, + __INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__, + __UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__, + __INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__, + __INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__, + __UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__, + __INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__, + __UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__, + __UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__, + __WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__, + __SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__, + __INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__, + __UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__, + __INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__, + __UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__, + __INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__, + __INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__, + __UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__, + __UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__, + __INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C, + __UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document. + * doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, + INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE, + INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE, + INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE, + UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE, + INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE, + UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE, + UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document. + +2009-03-31 Bernd Schmidt + + * loop-iv.c (suitable_set_for_replacement): Renamed from + simplify_using_assignment; changed to return bool and to accept new + args DEST and SRC. Return true iff we find a source/destination pair + that can be used to make a replacement, and fill SRC and DEST if so. + Remove arg ALTERED. Don't deal with altered regs here. All callers + changed. + (simplify_using_initial_values): Deal with altered regs here and track + more precisely the effect they have on the validity of our expression. + + * loop-iv.c (simplify_using_condition): A condition of the form + (EQ REG CONST) can be used to simply make a substitution. + (simplify_using_initial_values): Keep track of conditions we have seen + and keep using them to simplify new expressions, while applying the + same substitutions to them as to the expression. + + * simplify-rtx.c (simplify_relational_operation_1): Simplify + (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with + GEU/LTU reversed. + + * loop-iv.c (determine_max_iter): New arg OLD_NITER. All callers + changed. Use this when trying to improve the upper bound. + Generate the comparison by using simplify_gen_relational. + + * loop-iv.c (simple_rhs_p): Allow more kinds of expressions. + + * loop-iv.c (replace_single_def_regs, replace_in_expr): New static + functions. + (simplify_using_assignment, simplify_using_initial_values): Call + replace_in_expr to make replacements. Call replace_single_def_regs + once on the initial version of the expression. + +2009-03-31 Ramana Radhakrishnan + + PR target/27237 + * doc/invoke.texi (ARM Options): Update documentation for -mthumb. + +2009-03-31 Richard Guenther + + PR middle-end/31029 + * fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for + equality comparisons. Fold C - X CMP X if C % 2 == 1. + +2009-03-31 Richard Guenther + + * tree.h (div_if_zero_remainder): Declare. + * fold-const.c (div_if_zero_remainder): Export. + * tree-ssa-forwprop.c + (forward_propagate_addr_into_variable_array_index): Handle + constant array index addition outside of the variable index. + +2009-03-31 Joseph Myers + + PR target/39592 + * config/i386/i386.md (*floatunssi2_1, two unnamed + define_splits, floatunssi2): Require x87 conversions from + DImode to be permitted. + +2009-03-31 Joseph Myers + + PR preprocessor/15638 + * c-common.c (c_cpp_error): Handle CPP_DL_FATAL. + +2009-03-31 Richard Guenther + + PR middle-end/23401 + PR middle-end/27810 + * tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove. + (struct tree_decl_with_vis): Remove gimple_formal_temp member. + * tree-eh.c (lower_eh_constructs_2): Move LHS assignment to + a separate statement. + * gimplify.c (pop_gimplify_context): Remove formal temp handling. + (lookup_tmp_var): Likewise. + (is_gimple_formal_tmp_or_call_rhs): Remove. + (is_gimple_reg_or_call_rhs): Rename to ... + (is_gimple_reg_rhs_or_call): ... this. + (is_gimple_mem_or_call_rhs): Rename to ... + (is_gimple_mem_rhs_or_call): ... this. + (internal_get_tmp_var): Use is_gimple_reg_rhs_or_call. Set + DECL_GIMPLE_REG_P only if is_formal is true. + (gimplify_compound_lval): Use is_gimple_reg. Remove workaround + for non-proper post-modify expression gimplification. + (gimplify_self_mod_expr): For post-modify expressions gimplify + the lvalue to a minimal lvalue. + (rhs_predicate_for): Remove formal temp case. + (gimplify_modify_expr_rhs): Likewise. + (gimplify_addr_expr): Use is_gimple_reg. + (gimplify_expr): Remove formal temp cases. + (gimple_regimplify_operands): Likewise. + * tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR + and FILTER_EXPR like constants. + * gimple.c (walk_gimple_op): Fix val_only initialization, use + is_gimple_reg. + (is_gimple_formal_tmp_rhs): Remove. + (is_gimple_reg_rhs): Remove special casing. + (is_gimple_mem_rhs): Fix. + (is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier. + (is_gimple_formal_tmp_var): Remove. + (is_gimple_formal_tmp_reg): Likewise. + (is_gimple_min_lval): Allow invariant component ref parts. + * gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var, + is_gimple_formal_tmp_reg): Remove declarations. + * tree-cfg.c (verify_expr): Verify that variables with address + taken do not have DECL_GIMPLE_REG_P set. + * tree-mudflap.c (mf_build_check_statement_for): Use + force_gimple_operand instead of gimplify_expr. + +2009-03-31 Ayal Zaks + + * modulo-sched.c (sms_schedule_by_order): Pass the actual + schedulable rows to compute_split_row. + +2009-03-31 Ben Elliston + + PR target/31635 + * config/rs6000/rs6000.c (rs6000_handle_option): Handle + OPT_mvrsave. + +2009-03-31 Alan Modra + + * doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers. + * configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check. + * configure: Regenerate. + * config.in: Regenerate. + * config/rs6000/rs6000.opt (mtls-markers): Add. + * config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define. + * config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter. + (tls_ld_aix, tls_ld_sysv): Likewise. + (tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns. + (tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise. + +2009-03-31 Alan Modra + + * config/spu/spu.c (spu_expand_prologue): Delete redundant code. + +2009-03-30 Jan Hubicka + + * tree-eh.c (make_eh_edges): Set probability 100% to first edge + out of RESX. + (tree_remove_unreachable_handlers): Cleanup EH predecestor + detection and label handling. + +2009-03-30 Vladimir Makarov + + * ira-int.h (ira_allocno): Rename left_conflicts_num to + left_conflicts_size. + (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to + ALLOCNO_LEFT_CONFLICTS_SIZE. + + * ira-color.c (allocno_spill_priority, push_allocno_to_stack, + remove_allocno_from_bucket_and_push, + allocno_spill_priority_compare, push_allocnos_to_stack, + setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE + instead of ALLOCNO_LEFT_CONFLICTS_NUM. + (setup_allocno_left_conflicts_num): Ditto. Rename to + setup_allocno_left_conflicts_size. + (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE + instead of ALLOCNO_LEFT_CONFLICTS_NUM and + setup_allocno_left_conflicts_size instead of + setup_allocno_left_conflicts_num. + + * ira-build.c (ira_create_allocno): Use + ALLOCNO_LEFT_CONFLICTS_SIZE instead of + ALLOCNO_LEFT_CONFLICTS_NUM. + +2009-03-30 Vladimir Makarov + + * reload.c (push_reload, find_dummy_reload): Use df_get_live_out + instead of DF_LR_OUT. + + * ira-lives.c (process_bb_node_lives): Ditto. + + * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in} + instead of DF_LR_{OUT,IN}. + + * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto. + + * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto. + +2009-03-30 Jan Hubicka + + * except.c (label_to_region_map): Fix thinko. + +2009-03-30 Steve Ellcey + + PR middle-end/38237 + * tree.h (tree_find_value): New declaration. + * tree.c (tree_find_value): New function. + * varasm.c (assemble_external): Avoid duplicate entries on lists. + +2009-03-30 Jakub Jelinek + + PR debug/39563 + * c-decl.c (struct c_binding): Add locus field. + (bind): Add locus argument, set locus field from it. + (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL, + add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS. + (push_file_scope, pushtag, pushdecl, pushdecl_top_level, + implicitly_declare, undeclared_variable, lookup_label, + declare_label, c_make_fname_decl, c_builtin_function, + c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust + bind callers. + +2008-03-30 H.J. Lu + + PR target/38781 + * config/i386/i386.c (classify_argument): Check total size of + structure. + +2009-03-30 Martin Jambor + + * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST, + IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN, + IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH + respectively. + + * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if + seen_variable_array_ref while also traversing a union. + + * tree-inline.c (optimize_inline_calls): Do not call + cgraph_node_remove_callees. + * cgraphbuild.c (remove_cgraph_callee_edges): New function. + (pass_remove_cgraph_callee_edges): New variable. + * passes.c (init_optimization_passes): Add + pass_remove_cgraph_callee_edges after early inlining and before all + late intraprocedural passes. + + * omp-low.c (expand_omp_taskreg): Always set current_function_decl. + +2009-03-30 Paolo Bonzini + + * config/sparc/sparc.md (*nand_vis, *nand_vis): + Fix typos in names. + +2009-03-30 Paolo Bonzini + + * combine.c (simplify_comparison): Use have_insn_for. + * dojump.c (do_jump): Likewise. + +2009-03-30 Paolo Bonzini + + * config/sparc/sparc.c (sparc_compare_emitted): Remove. + (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC + sparc_compare_op0 like sparc_compare_emitted used to be handled. + (sparc_expand_compare_and_swap_12): Set sparc_compare_op0 + instead of sparc_compare_emitted. + * config/sparc/sparc.h (sparc_compare_emitted): Remove. + * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0 + instead of sparc_compare_emitted. + +2009-03-30 Paolo Bonzini + + * bb-reorder.c (partition_hot_cold_basic_blocks): Do not + enter/exit cfglayout mode. + (pass_partition_block): Require it. + * combine.c (find_single_use, reg_dead_at_p): Use CFG. + (combine_instructions): Track basic blocks instead of labels. + (update_cfg_for_uncondjump): New. + (try_combine): Use it. Update jumps after rescanning. + (pass_combine): Require PROP_cfglayout. + * passes.c (pass_outof_cfg_layout_mode): Move after regmove. + +2009-03-30 Paolo Bonzini + + * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): + Provide/destroy PROP_cfglayout respectively. + * gcse.c (pass_jump_bypass, pass_gcse): Require it. + * tree-pass.h (PROP_cfglayout): New. + +2009-03-30 Paolo Bonzini + + * fold-const.c (const_binop, fold_convert_const_real_from_fixed, + fold_convert_const_fixed_from_fixed, + fold_convert_const_fixed_from_int, + fold_convert_const_fixed_from_real, fold_negate_const): Do not + set TREE_CONSTANT_OVERFLOW. + * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW. + * tree.h (TREE_CONSTANT_OVERFLOW): Delete. + +2009-03-30 Ira Rosen + + * tree-vect-loop-manip.c: New file. + * tree-vectorizer.c: Update documentation and included files. + (vect_loop_location): Make extern. + (rename_use_op): Move to tree-vect-loop-manip.c + (rename_variables_in_bb, rename_variables_in_loop, + slpeel_update_phis_for_duplicate_loop, + slpeel_update_phi_nodes_for_guard1, + slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes, + slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard, + slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling, + set_prologue_iterations, slpeel_tree_peel_loop_to_edge, + find_loop_location): Likewise. + (new_stmt_vec_info): Move to tree-vect-stmts.c. + (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info, + get_vectype_for_scalar_type, vect_is_simple_use, + supportable_widening_operation, supportable_narrowing_operation): + Likewise. + (bb_in_loop_p): Move to tree-vect-loop.c. + (new_loop_vec_info, destroy_loop_vec_info, + reduction_code_for_scalar_code, report_vect_op, + vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise. + (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c. + (vect_supportable_dr_alignment): Likewise. + * tree-vectorizer.h (tree-data-ref.h): Include. + (vect_loop_location): Declare. + Reorganize function declarations according to the new file structure. + * tree-vect-loop.c: New file. + * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c, + tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c. + * tree-vect-data-refs.c: New file. + * tree-vect-patterns.c (timevar.h): Don't include. + * tree-vect-stmts.c: New file. + * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c, + tree-vect-slp.c, tree-vect-loop.c. + * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and + tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o, + tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o. + (tree-vect-analyze.o): Remove. + (tree-vect-transform.o): Likewise. + (tree-vect-data-refs.o): Add rule. + (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o, + tree-vect-slp.o): Likewise. + (tree-vect-patterns.o): Remove redundant dependencies. + (tree-vectorizer.o): Likewise. + * tree-vect-slp.c: New file. + +2009-03-30 Ralf Wildenhues + + * optc-gen.awk: Warn if an option flag has multiple different + help strings. + +2009-03-30 Sebastian Pop + + * doc/invoke.texi (-floop-interchange, -floop-strip-mine, + -floop-block): Document dependences on PPL, CLooG and Graphite. + +2009-03-30 Joseph Myers + + PR rtl-optimization/323 + * c-common.c (c_fully_fold, convert_and_check, + c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR. + (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR. + * c-common.def (EXCESS_PRECISION_EXPR): New. + * c-cppbuiltin.c (builtin_define_float_constants): Define + constants with enough digits for long double. + * c-lex.c (interpret_float): Interpret constant with excess + precision where appropriate. + * c-opts.c (c_common_post_options): Set + flag_excess_precision_cmdline. Give an error for + -fexcess-precision=standard for C++ for processors where the + option is significant. + * c-parser.c (c_parser_conditional_expression): Handle excess + precision in condition. + * c-typeck.c (convert_arguments): Handle arguments with excess + precision. + (build_unary_op): Move excess precision outside operation. + (build_conditional_expr): Likewise. + (build_compound_expr): Likewise. + (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR. + (build_modify_expr): Handle excess precision in RHS. + (convert_for_assignment): Handle excess precision in converted + value. + (digest_init, output_init_element, process_init_element): Handle + excess precision in initializer. + (c_finish_return): Handle excess precision in return value. + (build_binary_op): Handle excess precision in operands and add + excess precision as needed for operation. + * common.opt (-fexcess-precision=): New option. + * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New. + * config/i386/i386.md (float2): + For standard excess precision, output explicit conversion to and + truncation from XFmode. + (*float2_1, + *float2_i387_with_temp, + *float2_i387, two unnamed + define_splits, floatdi2_i387_with_xmm, two unnamed + define_splits, *floatunssi2_1, two unnamed define_splits, + floatunssi2, add3, sub3, mul3, divdf3, + divsf3, *fop__comm_i387, *fop__1_i387, + *fop__2_i387, *fop__3_i387, + *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed + define_splits, sqrt2): Disable where appropriate for + standard excess precision. + * convert.c (convert_to_real): Do not shorten arithmetic to type + for which excess precision would be used. + * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define. + * doc/invoke.texi (-fexcess-precision=): Document option. + (-mfpmath=): Correct index entry. + * flags.h (enum excess_precision, flag_excess_precision_cmdline, + flag_excess_precision): New. + * langhooks.c (lhd_post_options): Set + flag_excess_precision_cmdline. + * opts.c (common_handle_option): Handle -fexcess-precision=. + * toplev.c (flag_excess_precision_cmdline, flag_excess_precision, + init_excess_precision): New. + (lang_dependent_init_target): Call init_excess_precision. + * tree.c (excess_precision_type): New. + * tree.h (excess_precision_type): Declare. + 2009-03-30 Joseph Myers PR c/35235