r142223 - in /branches/alias-improvements/gcc: ...

[rguenth at gcc dot gnu dot org]

Author: rguenth
Date: Wed Nov 26 16:03:55 2008
New Revision: 142223

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142223
Log:
2008-11-26  Richard Guenther  <rguenther@suse.de>

	* gimple.c (is_gimple_reg): Do not handle memory tags.
	* ipa-cp.c (ipcp_update_callgraph): Fix typo.
	* passes.c (init_optimization_passes): Schedule
	update_address_taken pass before points-to analysis.
	* tree-data-ref.c (dr_analyze_alias): Ignore vops and SMTs.
	(free_data_ref): Likewise.
	(create_data_ref): Likewise.
	(dr_may_alias_p): Likewise.
	(analyze_all_data_dependences): Likewise.
	* tree-dfa.c (dump_variable): Do not dump SMTs, memory stats,
	may-aliases or partitions.
	(remove_referenced_var): Do not clear mpt or symbol_mem_tag.
	* tree-dump.c (dequeue_and_dump): Do not handle SYMBOL_MEMORY_TAG
	or NAME_MEMORY_TAG.
	* tree-flow-inline.h (gimple_aliases_computed_p): Remove.
	(gimple_global_var): Likewise.
	(may_aliases): Likewise.
	(is_global_var): Remove MTAG code.
	(unmodifiable_var_p): Likewise.
	(memory_partition): Remove.
	(factoring_name_p): Likewise.
	(symbol_mem_tag): Likewise.
	(set_symbol_mem_tag): Likewise.
	(gimple_mem_ref_stats): Likewise.
	* tree-flow.h (struct mem_sym_stats_d): Remove.
	(struct mem_ref_stats_d): Likewise.
	(struct gimple_df): Remove global_var, aliases_computed_p and
	mem_ref_stats fields.
	(struct ptr_info_def): Remove memory_tag_needed and name_mem_tag
	fields.
	(struct var_ann_d): Remove call_clobbered, mpt and symbol_mem_tag
	fields.
	* tree-into-ssa (mark_sym_for_renaming): Remove memory paritioning
	code.
	(update_ssa): Likewise.
	* tree-outof-ssa.c (create_temp): Do not set SMT.
	* tree-predcom.c (set_alias_info): Remove.
	(prepare_initializers_chain): Do not call it.
	* tree-pretty-print.c (dump_generic_node): Do not handle memory tags.
	* tree-sra.c (sra_walk_function): Use gimple_references_memory_p.
	* tree-ssa-alias.c (struct alias_info): Remove.
	(get_mem_sym_stats_for, mem_sym_stats, set_memory_partition,
	mark_non_addressable, sort_tags_by_id, init_transitive_clobber_worklist,
	add_to_worklist, mark_aliases_call_clobbered, compute_tag_properties):
	Remove.
	(set_initial_properties): Rename to compute_call_clobbered.
	(dump_memory_partitions, debug_memory_partitions, need_to_partition_p,
	mem_sym_score, count_mem_refs, dump_mem_ref_stats, debug_mem_ref_stats,
	dump_mem_sym_stats, debug_mem_sym_stats, dump_mem_sym_stats_for_var,
	dump_all_mem_sym_stats, debug_all_mem_sym_stats, dump_mp_info,
	debug_mp_info, update_mem_sym_stats_from_stmt, compare_mp_info_entries,
	mp_info_cmp, sort_mp_info, get_mpt_for, find_partition_for,
	rewrite_alias_set_for, estimate_vop_reduction, update_reference_counts,
	build_mp_info, compute_memory_partitions): Remove.
	(compute_may_aliases): Remove all but points-to analysis code.
	(reset_alias_info): Likewise.
	(init_alias_info): Likewise.
	(compute_flow_sensitive_aliasing): Likewise.
	(delete_mem_ref_stats, init_mem_ref_stats, delete_alias_info,
	eq_ptr_info, ptr_info_hash, create_name_tags, union_alias_set_into,
	have_common_aliases_p, compute_flow_insensitive_aliasing,
	create_alias_map_for, update_alias_info_1, update_alias_info,
	setup_pointers_and_addressables, maybe_create_global_var): Remove.
	(may_alias_p): Remove SMT code.
	(may_point_to_global_var): Adjust.
	(add_may_alias): Remove.
	(set_pt_anything): Adjust.
	(create_tag_raw, create_memory_tag, get_nmt_for, get_smt_for,
	create_global_var): Remove.
	(dump_alias_info): Adjust.
	(dump_points_to_info_for): Likewise.
	(dump_may_aliases_for, debug_may_aliases_for, add_may_alias_for_new_tag,
	new_type_alias): Remove.
	* tree-ssa-ccp.c (get_symbol_constant_value): Remove memory-tag
	related code.
	* tree-ssa-copy.c (may_propagate_copy): Likewise.
	(may_propagate_copy_into_stmt): Likewise.
	(merge_alias_info): Do nothing for now.
	* tree-ssa-copyrename.c (copy_rename_partition_coalesce): Remove
	memory-tag related code.
	* tree-ssa-live.c (remove_unused_locals): Likewise.
	* tree-ssa-loop-ivopts.c (get_ref_tag): Remove.
	(copy_ref_info): Remove memory-tag related code.
	* tree-ssa-operands.c (init_ssa_operands): Likewise.
	(fini_ssa_operands): Likewise.
	(get_expr_operands): Likewise.
	* tree-ssa-operands.h (struct ssa_operands): Remove mpt_table field.
	* tree-ssa-phiprop.c (propagate_with_phi): Remove memory-tag related
	code.
	* tree-ssa-structalias.c (find_func_aliases): Do not mark stmts
	modified.
	(var_can_have_subvars): Remove memory-tag related code.   
	(set_uids_in_ptset): Mark pointer-info as pt_global_mem if the set
	contains a global variable.
	(delete_alias_heapvars): Allow unconditional call.
	* tree-ssa-structalias.h (update_mem_sym_stats_from_stmt): Remove.
	* tree-ssa.c (verify_flow_insensitive_alias_info): Remove.
	(verify_flow_sensitive_alias_info): Likewise.
	(verify_call_clobbering): Adjust.
	(verify_memory_partitions): Remove.
	(verify_alias_info): Adjust.
	(verify_ssa): Likewise.
	(delete_tree_ssa): Remove memory-tag related code.
	(warn_uninitialized_var): Aliases are always available.
	(execute_update_addresses_taken): Update gimple_addressable_vars.
	Update call-clobber state.
	* tree-tailcall.c (suitable_for_tail_opt_p): Remove memory-tag
	related code.
	(find_tail_calls): Use gimple_references_memory_p.
	* tree-vect-transform.c (vect_create_data_ref_ptr): Remove memory-tag
	related code.
	* tree.c (init_ttree): Likewise.
	(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.
	* treestruct.def (TS_MEMORY_TAG, TS_MEMORY_PARTITION_TAG): Remove.
	* tree-ssa-alias-warnings.c (build_reference_table): Remove
	memory-tag related code.
	(ffan_walker): Likewise.
	(detect_strict_aliasing_named): Likewise.
	* tree-data-ref.h (struct dr_alias): Remove symbol_tag field.
	(DR_SYMBOL_TAG, DR_VOPS): Remove.
	* tree-ssa-address.c (create_mem_ref_raw): Use build6.
	(get_address_description): Remove memory-tag related code.
	* tree-vect-analyze.c (vect_analyze_data_refs): Likewise.
	* 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.
	* tree-flow-inline.h (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-alias.c (reset_cc_flags): Do not clear all
	call-clobber flags.  Verify initial state instead.
	* tree-ssa.c (verify_call_clobbering): Adjust.

Modified:
    branches/alias-improvements/gcc/ChangeLog.alias
    branches/alias-improvements/gcc/gimple.c
    branches/alias-improvements/gcc/ipa-cp.c
    branches/alias-improvements/gcc/passes.c
    branches/alias-improvements/gcc/tree-data-ref.c
    branches/alias-improvements/gcc/tree-data-ref.h
    branches/alias-improvements/gcc/tree-dfa.c
    branches/alias-improvements/gcc/tree-dump.c
    branches/alias-improvements/gcc/tree-flow-inline.h
    branches/alias-improvements/gcc/tree-flow.h
    branches/alias-improvements/gcc/tree-into-ssa.c
    branches/alias-improvements/gcc/tree-outof-ssa.c
    branches/alias-improvements/gcc/tree-predcom.c
    branches/alias-improvements/gcc/tree-pretty-print.c
    branches/alias-improvements/gcc/tree-sra.c
    branches/alias-improvements/gcc/tree-ssa-address.c
    branches/alias-improvements/gcc/tree-ssa-alias-warnings.c
    branches/alias-improvements/gcc/tree-ssa-alias.c
    branches/alias-improvements/gcc/tree-ssa-ccp.c
    branches/alias-improvements/gcc/tree-ssa-copy.c
    branches/alias-improvements/gcc/tree-ssa-copyrename.c
    branches/alias-improvements/gcc/tree-ssa-live.c
    branches/alias-improvements/gcc/tree-ssa-loop-ivopts.c
    branches/alias-improvements/gcc/tree-ssa-operands.c
    branches/alias-improvements/gcc/tree-ssa-operands.h
    branches/alias-improvements/gcc/tree-ssa-phiprop.c
    branches/alias-improvements/gcc/tree-ssa-structalias.c
    branches/alias-improvements/gcc/tree-ssa-structalias.h
    branches/alias-improvements/gcc/tree-ssa.c
    branches/alias-improvements/gcc/tree-tailcall.c
    branches/alias-improvements/gcc/tree-vect-analyze.c
    branches/alias-improvements/gcc/tree-vect-transform.c
    branches/alias-improvements/gcc/tree.c
    branches/alias-improvements/gcc/tree.def
    branches/alias-improvements/gcc/tree.h
    branches/alias-improvements/gcc/treestruct.def