X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2FChangeLog;h=955b7e8bdea92343d1591c0b67a460dc4c18ac0e;hb=3bd824875843331bd147324cf092ef143ac37d50;hp=f6adff60e5c93dc2a4ce8153c14f30a7e86f41c1;hpb=09fc9532d0a5692bd958e8d8bdb71d0ce7c6071d;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f6adff60e5c..64331da6185 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,2028 @@ +2009-04-04 Jan Hubicka + + * except.c (remove_eh_handler): Make static. + (eh_region_must_not_throw_p): Kill. + (expand_resx_expr): Assertize. + (duplicate_eh_regions): Accept callback as parameter; comment. + * except.h (duplicate_eh_regions): New function. + (remap_decl_v): Kill. + (copy_cfg_body): Update call of duplicate_eh_regions. + +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 + * c-typeck.c (build_component_ref): Do not copy qualifiers from + non-lvalue to component. + +2009-03-29 Joseph Myers + + PR preprocessor/34695 + * Makefile.in (c-opts.o): Depend on c-tree.h. + * c-common.c: Move down include of diagnostic.h. + (done_lexing, c_cpp_error): New. + * c-common.h (done_lexing): Declare. + * c-decl.c (c_write_global_declarations): Don't check cpp_errors + (parse_in). + * c-opts.c: Include c-tree.h. + (c_common_init_options): Set preprocessor error callback. + (c_common_handle_option): Do not set preprocessor + inhibit_warnings, warnings_are_errors, warn_system_headers, + pedantic_errors or inhibit_warnings flags. + (c_common_post_options): Do not check cpp_errors (parse_in). + (c_common_finish): Do not output dependencies if there were + errors. Do not check return value of cpp_finish. + * c-ppoutput.c (pp_file_change): Set input_location. + * c-tree.h (c_cpp_error): Declare. + * diagnostic.c (diagnostic_set_info_translated): Also initialize + override_column. + (diagnostic_build_prefix): Check override_column. + * diagnostic.h (diagnostic_info): Add override_column field. + (diagnostic_override_column): Define. + +2009-03-28 Paolo Bonzini + + * c-common.c (c_expand_expr, c_staticp): Remove. + * c-common.def (COMPOUND_LITERAL_EXPR): Delete. + * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL, + COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove. + * c-gimplify.c (gimplify_compound_literal_expr, + optimize_compound_literals_in_ctor): Remove. + (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling. + * c-objc-common.h (LANG_HOOKS_STATICP): Remove. + * c-semantics.c (emit_local_var): Remove. + + * langhooks-def.h (lhd_expand_expr): Remove. + * langhooks.c (lhd_expand_expr): Remove. + * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR. + + * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR + handling from c-semantics.c; don't call into langhook. + (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees. + * gimplify.c (gimplify_compound_literal_expr, + optimize_compound_literals_in_ctor): Move from c-gimplify.c. + (gimplify_init_constructor): Call optimize_compound_literals_in_ctor. + (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR + as was done in c-gimplify.c. + * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp. + * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR): + Move from c-common.h. + * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def. + + * tree.c (staticp): Do not call langhook. + * langhooks.c (lhd_staticp): Delete. + * langhooks-def.h (lhd_staticp): Delete prototype. + (LANG_HOOKS_STATICP): Delete. + (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP. + + * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs + instead of DECL_STMTs. + +2009-03-29 Joseph Myers + + PR c/456 + PR c/5675 + PR c/19976 + PR c/29116 + PR c/31871 + PR c/35198 + * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in + void_type_node. + (fold_call_expr): Return a NOP_EXPR from folding rather than the + contained expression. + * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New. + (c_common_truthvalue_conversion): Use c_save_expr. Do not fold + conditional expressions for C. + (decl_constant_value_for_optimization): Move from + decl_constant_value_for_broken_optimization in c-typeck.c. Check + whether optimizing and that the expression is a VAR_DECL not of + array type instead of doing such checks in the caller. Do not + check pedantic. Call gcc_unreachable for C++. + * c-common.def (C_MAYBE_CONST_EXPR): New. + * c-common.h (c_fully_fold, c_save_expr, + decl_constant_value_for_optimization): New prototypes. + (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR, + C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST, + EXPR_INT_CONST_OPERANDS): Define. + * c-convert.c (convert): Strip nops from expression. + * c-decl.c (groktypename): Take extra parameters expr and + expr_const_operands. Update call to grokdeclarator. + (start_decl): Update call to grokdeclarator. Add statement for + expressions used in type of decl. + (grokparm): Update call to grokdeclarator. + (push_parm_decl): Update call to grokdeclarator. + (build_compound_literal): Add parameter non_const and build a + C_MAYBE_COSNT_EXPR if applicable. + (grokdeclarator): Take extra parameters expr and + expr_const_operands. Track expressions used in declaration + specifiers and declarators. Fold array sizes and track whether + they are constant expressions and whether they are integer + constant expressions. + (parser_xref_tag): Set expr and expr_const_operands fields in + return value. + (grokfield): Update call to grokdeclarator. + (start_function): Update call to grokdeclarator. + (build_null_declspecs): Set expr and expr_const_operands fields in + return value. + (declspecs_add_type): Handle expressions in typeof specifiers. + * c-parser.c (c_parser_declspecs): Set expr and + expr_const_operands fields for declaration specifiers. + (c_parser_enum_specifier): Likewise. + (c_parser_struct_or_union_specifier): Likewise. + (c_parser_typeof_specifier): Likewise. Update call to + groktypename. Fold expression as needed. Return expressions with + type instead of adding statements. + (c_parser_attributes): Update calls to c_parser_expr_list. + (c_parser_statement_after_labels): Fold expression before passing + to objc_build_throw_stmt. + (c_parser_condition): Fold expression. + (c_parser_asm_operands): Fold expression. + (c_parser_conditional_expression): Use c_save_expr. Update call + to build_conditional_expr. + (c_parser_alignof_expression): Update call to groktypename. + (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as + original_code. Fold expression argument of va_arg. Create + C_MAYBE_CONST_EXPR to preserve side effects of expressions in type + argument to va_arg. Update calls to groktypename. Fold array + index for offsetof. Verify that first argument to + __builtin_choose_expr has integer type. + (c_parser_postfix_expression_after_paren_type): Update calls to + groktypename and build_compound_literal. Handle expressions with + side effects in type name. + (c_parser_postfix_expression_after_primary): Update call to + c_parser_expr_list. Set original_code for calls to + __builtin_constant_p. + (c_parser_expr_list): Take extra parameter fold_p. Fold + expressions if requested. + (c_parser_objc_type_name): Update call to groktypename. + (c_parser_objc_synchronized_statement): Fold expression. + (c_parser_objc_receiver): Fold expression. + (c_parser_objc_keywordexpr): Update call to c_parser_expr_list. + (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule, + c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions. + * c-tree.h (CONSTRUCTOR_NON_CONST): Define. + (struct c_typespec): Add elements expr and expr_const_operands. + (struct c_declspecs): Add elements expr and expr_const_operands. + (groktypename, build_conditional_expr, build_compound_literal): + Update prototypes. + (in_late_binary_op): Declare. + * c-typeck.c (note_integer_operands): New function. + (in_late_binary_op): New variable. + (decl_constant_value_for_broken_optimization): Move to c-common.c + and rename to decl_constant_value_for_optimization. + (default_function_array_conversion): Do not strip nops. + (default_conversion): Do not call + decl_constant_value_for_broken_optimization. + (build_array_ref): Do not fold result. + (c_expr_sizeof_expr): Fold operand. Use C_MAYBE_CONST_EXPR for + result when operand is a VLA. + (c_expr_sizeof_type): Update call to groktypename. Handle + expressions included in type name. Use C_MAYBE_CONST_EXPR for + result when operand names a VLA type. + (build_function_call): Update call to build_compound_literal. + Only fold result for calls to __builtin_* functions. Strip + NOP_EXPR from INTEGER_CST returned from such functions. Fold + the function designator. + (convert_arguments): Fold arguments. Update call to + convert_for_assignment. + (build_unary_op): Handle increment and decrement of + C_MAYBE_CONST_EXPR. Move lvalue checks for increment and + decrement earlier. Fold operand of increment and decrement. + Handle address of C_MAYBE_CONST_EXPR. Only fold expression being + built for integer operand. Wrap returns that are INTEGER_CSTs + without being integer constant expressions or that have integer + constant operands without being INTEGER_CSTs. + (lvalue_p): Handle C_MAYBE_CONST_EXPR. + (build_conditional_expr): Add operand ifexp_bcp. Track whether + result is an integer constant expression or can be used in + unevaluated parts of one and avoid folding and wrap as + appropriate. Fold operands before possibly doing -Wsign-compare + warnings. + (build_compound_expr): Wrap result for C99 if operands can be used + in integer constant expressions. + (build_c_cast): Update call to digest_init. Do not ignore + overflow from casting floating-point constants to integers. Wrap + results that could be confused with integer constant expressions, + null pointer constants or floating-point constants. + (c_cast_expr): Update call to groktypename. Handle expressions + included in type name. + (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR. Fold + lhs inside possible SAVE_EXPR. Fold RHS before assignment. + Update calls to convert_for_assignment. + (convert_for_assignment): Take new parameter + null_pointer_constant. Do not strip nops or call + decl_constant_value_for_broken_optimization. Set + in_late_binary_op for conversions to boolean. + (store_init_value): Update call to digest_init. + (digest_init): Take new parameter null_pointer_constant. Do not + call decl_constant_value_for_broken_optimization. pedwarn for + initializers not constant expressions. Update calls to + convert_for_assignment. + (constructor_nonconst): New. + (struct constructor_stack): Add nonconst element. + (really_start_incremental_init, push_init_level, pop_init_level): + Handle constructor_nonconst and nonconst element. + (set_init_index): Call constant_expression_warning for array + designators. + (output_init_element): Fold value. Set constructor_nonconst as + applicable. pedwarn for initializers not constant expressions. + Update call to digest_init. Call constant_expression_warning + where constant initializers are required. + (process_init_element): Use c_save_expr. + (c_finish_goto_ptr): Fold expression. + (c_finish_return): Fold return value. Update call to + convert_for_assignment. + (c_start_case): Fold switch expression. + (c_process_expr_stmt): Fold expression. + (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to + ensure statement expression is not evaluated in constant expression. + (build_binary_op): Track whether results are integer constant + expressions or may occur in such, disable folding and wrap results + as applicable. Fold operands for -Wsign-compare warnings unless + in_late_binary_op. + (c_objc_common_truthvalue_conversion): Handle results folded to + integer constants that are not integer constant expressions. + * doc/extend.texi: Document when typeof operands are evaluated, + that condition of __builtin_choose_expr is an integer constant + expression, and more about use of __builtin_constant_p in + initializers. + +2009-03-29 Richard Guenther + + * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly + propagate addresses of array references. + +2009-03-29 Steven Bosscher + + * regmove.c (perhaps_ends_bb_p): Remove. + (optimize_reg_copy_1): Don't call perhaps_ends_bb_p. Get basic block + from INSN and check that the main loop stays within that basic block. + (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise. + (regmove_forward_pass): Split out from regmove_optimize. Use + FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream. + (regmove_backward_pass): Split out from regmove_optimize. Use + FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE. + (regmove_optimize): Simplify. + +2009-03-29 H.J. Lu + + PR target/39545 + * config/i386/i386.c (classify_argument): Ignore flexible array + member in struct and warn ABI change. + +2009-03-29 H.J. Lu + + * config/i386/i386-protos.h (ix86_agi_dependent): New. + + * config/i386/i386.c (ix86_agi_dependent): Rewrite. + (ix86_adjust_cost): Updated. + +2009-03-29 Jan Hubicka + + PR middle-end/28850 + * tree-pass.h (pass_cleanup_eh): New function. + (remove_unreachable_regions): Break code handling RTL + to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW + that can not be reached by runtime. + (can_be_reached_by_runtime): New function. + (label_to_region_map): New function. + (num_eh_regions): New function. + (rtl_remove_unreachable_regions): New function. + (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions. + (remove_eh_region): New function. + * except.h: Include sbitmap and vecprim. + (remove_eh_region, remove_unreachable_regions, label_to_region_map, + num_eh_regions): Declare. + * passes.c (init_optimization_passes): Schedule cleanup_eh. + * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it. + * tree-eh.c (tree_remove_unreachable_handlers): New function. + (tree_empty_eh_handler_p): New function. + (cleanup_empty_eh): New function. + (cleanup_eh): New function. + (pass_cleanup_eh): New function. + +2009-03-29 Jan Hubicka + + * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready + for removed regions. + +2009-03-29 Jan Hubicka + + * except.c (dump_eh_tree): Dump all datastructures. + +2009-03-29 Jan Hubicka + + * except.c (duplicate_eh_regions_0): Handle AKA bitmap. + (duplicate_eh_regions_1): Likewise. + (duplicate_eh_regions): Likewise; cleanup code gorwing the region + vector; call EH verification. + (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1): + Be ready for region being removed. + +2009-03-29 Jan Hubicka + + * bitmap.c (bitmap_last_set_bit): New function. + * bitmap.h (bitmap_last_set_bit): Declare. + +2009-03-29 David Ayers + + PR objc/27377 + * c-typeck.c (build_conditional_expr): Emit ObjC warnings + by calling objc_compare_types and surpress warnings about + incompatible C pointers that are compatible ObjC pointers. + +2009-03-29 Adam Nemet + + * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't + call initialize_inline_failed. + (initialize_inline_failed): Move it from here ... + * cgraph.c (initialize_inline_failed): ... to here. + (cgraph_create_edge): Call initialize_inline_failed rather than + setting inline_failed directly. + +2009-03-29 Ben Elliston + + PR target/32542 + * sysv4.opt (msdata): Improve comment. + * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given. + * sysv4.h (SVR4_ASM_SPEC): Likewise. + +2009-03-29 Ben Elliston + + PR target/30451 + * config/rs6000/rs6000.md (*movti_ppc64): Correct the order of + load and store attributes. + +2009-03-29 Ben Elliston + + * config/i386/i386.c (enum ix86_builtins): Add IX86_BUILTIN_HUGE_VALQ. + (ix86_init_builtins): Add built-in function __builtin_huge_valq. + (ix86_expand_builtin): Handle IX86_BUILTIN_HUGE_VALQ. + * doc/extend.texi (X86 Built-in Functions): Add index entries for + __builtin_infq and __builtin_huge_valq. + +2009-03-28 Anatoly Sokolov + + * config/avr/avr.c (avr_mcu_t): Add atmega8c1, atmega16c1 and + atmega8m1 devices. + * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.). + * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.) + +2009-03-28 Xinliang David Li + + * tree-ssa-ccp.c (ccp_finalize): Add dbg_count support. + (do_dbg_cnt): New function. + +2009-03-28 Jan Hubicka + + Merge from pretty-ipa: + + 2009-03-27 Jan Hubicka + + * cgraph.c (dump_cgraph_node): Add replace output flag by process. + * tree-pass.h (function_called_by_processed_nodes_p): Declare. + * passes.c (function_called_by_processed_nodes_p): New. + * ipa-pure-const.c (check_call): Fix handling of operands. + (analyze_function): Dump debug output for skipped bodies. + (local_pure_const): Use function_called_by_processed_nodes_p. + * dwarf2out.c (reference_to_unused): Use output. + * passes.c (do_per_function_toporder): Likewise. + + 2008-11-12 Jan Hubicka + + * tree-pass.h (pass_fixup_cfg, pass_local_pure_const): Declare. + * ipa-pure-const.c (funct_state_d): Add can throw field; make + state_set_in_source enum + (check_decl): Ignore memory tags; do not set fake looping flags; + dump diagnostics. + (check_operand, check_tree, check_rhs_var, check_lhs_var, + get_asm_expr_operands, scan_function_op, scan_function_stmt): Remove. + (check_call, analyze_function): Rewrite. + (check_stmt): New. + (add_new_function): Update call of analyze_function. + (generate_summary): Add call of analyze_function. + (propagate): Propagate can_throw; handle state_set_in_source correctly. + (local_pure_const): New function. + (pass_local_pure_const): New pass. + * ipa-inline.c (inline_transform): Set after_inlining. + * tree-eh.c (stmt_can_throw_external): New. + * tree-optimize.c (execute_fixup_cfg): Do not set after_inlining; + work with aliasing built. + * tree-flow.h (stmt_can_throw_external): New. + * passes.c (init_optimization_passes): Schedule fixup_cfg pass early; + and local pure/const pass in early and late optimization queue. + +2009-03-28 Martin Jambor + + * fold-const.c (get_pointer_modulus_and_residue): New parameter + allow_func_align. + (fold_binary): Allow function decl aligment consideration is the + second argument is integer constant one. + * tree-ssa-forwprop.c (simplify_bitwise_and): New function. + (tree_ssa_forward_propagate_single_use_vars): Handle assing statements + with BIT_AND_EXPR on the RHS by calling simplify_bitwise_and. + +2009-03-28 Jan Hubicka + + * dwarf2out.c (dwarf2out_begin_prologue): Use crtl->nothrow + * tree-eh.c (stmt_could_throw_p): Remove check for WEAK decls. + * function.h (rtl_data): Add nothrow flag. + * except.c (set_nothrow_function_flags): Use crtl->nothrow; + set DECL_NOTHROW for AVAILABLE functions. + +2009-03-28 Jakub Jelinek + + * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): If macro + following vector keyword has expansion starting with pixel or bool + keyword, expand vector to __vector and pixel or bool to __pixel or + __bool. + + PR c++/39554 + * opts.c (warning_disallowed_functions, warn_disallowed_functions, + warn_if_disallowed_function_p): Removed. + (common_handle_option): Don't handle OPT_Wdisallowed_function_list_. + * c-parser.c (c_parser_postfix_expression_after_primary): Don't call + warning_if_disallowed_function_p. + * flags.h (warn_if_disallowed_function_p, + warn_disallowed_functions): Removed. + * common.opt (Wdisallowed-function-list=): Removed. + * doc/invoke.texi (-Wdisallowed-function-list=): Removed. + +2009-03-28 Richard Guenther + + PR tree-optimization/38723 + * tree-ssa-pre.c (compute_avail): Add all default definitions to + the entry block. + +2009-03-28 Jan Hubicka + + * tree-ssa-structalias.c (ipa_pta_execute): Fix bogus node->analyzed + test introduced by my previous patch. + +2009-03-28 Richard Guenther + + * tree-ssa-copy.c (copy_prop_visit_phi_node): Do not leave + the PHIs value undefined. + +2009-03-28 Jan Hubicka + + * tree-pass.h (pass_fixup_cfg): New pass. + * ipa-inline.c (inline_transform): Set + always_inline_functions_inlined/after_inlining. + * tree-optimize.c (execute_fixup_cfg): Do not set them here. + (pass_fixup_cfg): New pass. + * passes.c (init_optimization_passes): Add fixup_cfg. + +2009-03-28 Richard Guenther + + PR tree-optimization/38458 + * tree-ssa-copy.c (copy_prop_visit_phi_node): For the first + argument use the arguments copy-of value. + +2009-03-28 Richard Guenther + + PR tree-optimization/38180 + * tree-ssa-ccp.c (get_default_value): Simplify. + (likely_value): Likewise. + (surely_varying_stmt_p): Properly handle VOP case. + (ccp_initialize): Likewise. + (ccp_fold): Handle propagating through *&. + (fold_const_aggregate_ref): Also handle decls. + 2009-03-28 Jan Hubicka * cgraph.c (dump_cgraph_node): Add replace output flag by process. @@ -14,6 +2039,7 @@ 2009-03-28 Jan Hubicka Bring from lto-branch: + 2008-09-03 Doug Kwan * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t @@ -248,8 +2274,7 @@ * c-common.c (handle_aligned_attribute): Properly check alignment overflow. Use (1U << i) instead of (1 << i). - * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for - align. + * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align. * expr.h (get_mem_align_offset): Updated. @@ -281,8 +2306,7 @@ PR target/39472 * config/i386/i386.c (ix86_abi): New. (override_options): Handle -mabi=. - (ix86_function_arg_regno_p): Replace DEFAULT_ABI with - ix86_abi. + (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi. (ix86_call_abi_override): Likewise. (init_cumulative_args): Likewise. (function_arg_advance): Likewise. @@ -294,12 +2318,10 @@ (setup_incoming_varargs_64): Likewise. (is_va_list_char_pointer): Likewise. (ix86_init_machine_status): Likewise. - (ix86_reg_parm_stack_space): Use enum calling_abi on - call_abi. + (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi. (ix86_function_type_abi): Return enum calling_abi. Rewrite for 64bit. Replace DEFAULT_ABI with ix86_abi. - (ix86_function_abi): Make it static and return enum - calling_abi. + (ix86_function_abi): Make it static and return enum calling_abi. (ix86_cfun_abi): Return enum calling_abi. Replace DEFAULT_ABI with ix86_abi. (ix86_fn_abi_va_list): Updated. @@ -381,7 +2403,8 @@ 2009-03-27 Andrew Pinski PR c++/36799 - * ginclude/stdarg.h (va_copy): Define also for __GXX_EXPERIMENTAL_CXX0X__. + * ginclude/stdarg.h (va_copy): Define also for + __GXX_EXPERIMENTAL_CXX0X__. 2009-03-27 Manuel Lopez-Ibanez @@ -467,8 +2490,7 @@ * configure.ac : Add pattern crisv32-*-* for "nop". - : Add item for CRIS and - CRIS v32. + : Add item for CRIS and CRIS v32. * configure: Regenerate. 2009-03-24 Ira Rosen @@ -480,8 +2502,7 @@ 2009-03-24 Arthur Loiret - * config.host (alpha*-*-linux*): Use driver-alpha.o and - alpha/x-alpha. + * config.host (alpha*-*-linux*): Use driver-alpha.o and alpha/x-alpha. * config/alpha/linux.h (host_detect_local_cpu): Declare, add to EXTRA_SPEC_FUNCTIONS. (MCPU_MTUNE_NATIVE_SPECS, DRIVER_SELF_SPECS): New macros. @@ -934,7 +2955,7 @@ 2009-03-06 Jan-Benedict Glaw - * genpreds.c: (needs_variable): Fix parentheses at variable name + * genpreds.c (needs_variable): Fix parentheses at variable name detection. (write_tm_constrs_h): Indent generated code. @@ -1253,7 +3274,7 @@ 2009-02-27 Andreas Krebbel - * gcc/config/s390/s390.c: (s390_swap_cmp): Look for conditional + * gcc/config/s390/s390.c (s390_swap_cmp): Look for conditional jumps if COND is NULL. (find_cond_jump): New function. (s390_z10_optimize_cmp): Handling for reg-reg compares added. @@ -2300,7 +4321,7 @@ * global.c: Remove the file. - * opts.c: (decode_options): Remove flag_ira. + * opts.c (decode_options): Remove flag_ira. * hard-reg-set.h (losing_caller_save_reg_set): Remove. @@ -2680,7 +4701,7 @@ 2009-01-22 Dodji Seketeli PR c++/38930 - * c-decl.c: (clone_underlying_type): Revert PR c++/26693 changes. + * c-decl.c (clone_underlying_type): Revert PR c++/26693 changes. * c-common.c (set_underlying_type): Likewise. (is_typedef_decl ): Likewise * tree.h: Likewise @@ -2710,7 +4731,7 @@ 2009-01-21 Dodji Seketeli PR c++/26693 - * c-decl.c: (clone_underlying_type): Move this ... + * c-decl.c (clone_underlying_type): Move this ... * c-common.c (set_underlying_type): ... here. Also, make sure the function properly sets TYPE_STUB_DECL() on the newly created typedef variant type. @@ -3073,7 +5094,7 @@ * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm. * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add variant for devices with 3-byte PC. - (__tablejump_elpm__) : New. + (__tablejump_elpm__): New. 2009-01-12 Jakub Jelinek