OSDN Git Service

Avoid calling verify_ssa twice in verify_loop_closed_ssa.
authorspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Apr 2010 19:20:47 +0000 (19:20 +0000)
committerMasaki Muranaka <monaka@monami-software.com>
Sun, 23 May 2010 00:47:16 +0000 (09:47 +0900)
commit9fc49e8fb8866f8b2129bdeeec18e3cd2afa7397
tree2d2ce46dc43ecfb4181ce0ced09ea974a6670317
parent7ff8f35d1d958d12598f7bdae4726c13cc302b16
Avoid calling verify_ssa twice in verify_loop_closed_ssa.

2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>

* graphite-clast-to-gimple.c (graphite_verify): Remove redundant
call to verify_ssa.  Invoke verify_loop_closed_ssa with an extra
argument.
* graphite-scop-detection.c (canonicalize_loop_closed_ssa_form): Same.
* graphite-sese-to-poly.c (rewrite_reductions_out_of_ssa): Same.
(rewrite_commutative_reductions_out_of_ssa): Same.
* passes.c (execute_function_todo): Call verify_ssa for every pass
in the LNO.  Invoke verify_loop_closed_ssa with an extra argument.
* tree-flow.h (verify_loop_closed_ssa): Update declaration.
* tree-parloops.c (parallelize_loops): Invoke verify_loop_closed_ssa
with an extra argument.
* tree-ssa-loop-manip.c (check_loop_closed_ssa_stmt): Same.  Call
verify_ssa only when the extra argument is true.
(gimple_duplicate_loop_to_header_edge): Invoke verify_loop_closed_ssa
with an extra argument.
(tree_transform_and_unroll_loop): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158021 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/graphite-clast-to-gimple.c
gcc/graphite-sese-to-poly.c
gcc/passes.c