re PR tree-optimization/56756 (ICE: verify_ssa failed (definition in block n follows...
authorRichard Biener <rguenther@suse.de>
Tue, 16 Apr 2013 15:32:26 +0000 (15:32 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 16 Apr 2013 15:32:26 +0000 (15:32 +0000)
commit9fd9ccf7150c486685430557b5c1865f464201ab
tree06c4c358c5207acc9ab8ce629b72aa388bf6412e
parent326785a3e529f6a5b6d7d46c8e7ebfeb94ee12df
re PR tree-optimization/56756 (ICE: verify_ssa failed (definition in block n follows the use !))

2013-04-16  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56756
* tree-ssa-loop-im.c (struct first_mem_ref_loc_1): New functor.
(first_mem_ref_loc): New.
(execute_sm): Place the load temporarily before a previous
access instead of in the latch edge to ensure its SSA dependencies
are defined at points dominating the load.

* gcc.dg/torture/pr56756.c: New testcase.

From-SVN: r198001
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr56756.c [new file with mode: 0644]
gcc/tree-ssa-loop-im.c