r107316 - in /branches/simplify-dom-branch/gcc:...

[law at gcc dot gnu dot org]

Author: law
Date: Mon Nov 21 18:12:15 2005
New Revision: 107316

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=107316
Log:

        Checkpoint DOM VRP elimination before eliminating e->aux abuse.
        * tree-vrp (find_conditional_asserts): Document missed
        optimization opportunities due to use pruning.
        (simplify_stmt_for_jump_threading): New.
        (identify_jump_threads, finalize_jump_threads): New.
        (vrp_finalize): Call identify_jump_threads.
        (execute_vrp): Call finalize_jump_threads.10
        * tree-ssa-dom.c: Remove all VRP related code.
        (vrp_element, vrp_data, vrp_element_p, vrp_hash_elt): Kill.
        (vrp_variables_stack, vrp_hash, vrp_eq, vrp_free): Kill.
        (simplify_cond_and_lookup_avail_expr, record_range): Kill.
        (extract_range_from_cond, thread_across_edge): Kill.
        (tree_ssa_dominator_optimize): Do not set up or tream down VRP stuff.
        (dom_opt_finalize_block): Similarly.
        (record_equivalences_from_incoming_edge): Similarly.
        (eliminate_redundant_computations): Similarly.
        (simplify_stmt_for_jump_threading): New.
        (dom_thread_across_edge): New.
        (dom_opt_finalize_block): Simplify slightly using routines
        from tree-ssa-threadedge.c
        * loop-init.c: (loop_optimizer_finalize): Temporary hack to
        work around checking failure due to abuse of e->aux.
        * tree-flow.h (potentially_threadable_block): Prototype.
        (thread_across_edge): Prototype.
        * tree-ssa-threadedge.c: New, shared code for jump threading.
        * Makefile.in (OBJS-common): Add tree-ssa-threadedge.o.
        (tree-ssa-threadedge.o): Add dependencies.
        * passes.c (init_optimization_passes): Merge PHIs before
        VRP.
        * testsuite/gcc.c-torture/execute/930529-1.x: Use -fwrapv.


Added:
    branches/simplify-dom-branch/gcc/tree-ssa-threadedge.c
Modified:
    branches/simplify-dom-branch/gcc/ChangeLog.jeff
    branches/simplify-dom-branch/gcc/Makefile.in
    branches/simplify-dom-branch/gcc/loop-init.c
    branches/simplify-dom-branch/gcc/passes.c
    branches/simplify-dom-branch/gcc/testsuite/gcc.c-torture/execute/930529-1.x
    branches/simplify-dom-branch/gcc/tree-flow.h
    branches/simplify-dom-branch/gcc/tree-ssa-dom.c
    branches/simplify-dom-branch/gcc/tree-vrp.c