llvm/unittests/Analysis
Nick Lewycky 72dba254ae Fix an oversight in isPotentiallyReachable where we wouldn't do any CFG-walking
to find loops if the From and To instructions were in the same block.

Refactor the code a little now that we need to fill to start the CFG-walking
algorithm with more than one starting basic block sometimes.

Special thanks to Andrew Trick for catching an error in my understanding of
natural loops in code review.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188236 91177308-0d34-0410-b5e6-96231b3b80d8
2013-08-13 00:03:47 +00:00
..
CFGTest.cpp Fix an oversight in isPotentiallyReachable where we wouldn't do any CFG-walking 2013-08-13 00:03:47 +00:00
CMakeLists.txt Update this CMakeLists.txt for r187283 too. 2013-07-27 01:26:30 +00:00
Makefile Reimplement isPotentiallyReachable to make nocapture deduction much stronger. 2013-07-27 01:24:00 +00:00
ScalarEvolutionTest.cpp Move all of the header files which are involved in modelling the LLVM IR 2013-01-02 11:36:10 +00:00