[PATCH] Improve isPotentiallyReachable

[Nick Lewycky]

This patch fixes a missed-opportunity in isPotentiallyReachable where the From and To instructions are in the same non-entry block, and LoopInfo is not provided. The addition to the testcase demonstrates.

This also moves some code around, providing both Instruction* and BasicBlock* overloads, and making the former forward to the block-only implementation.

http://llvm-reviews.chandlerc.com/D1247

Files:
  lib/Analysis/CFG.cpp
  include/llvm/Analysis/CFG.h
  unittests/Analysis/CFGTest.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1247.1.patch
Type: text/x-patch
Size: 7620 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130731/e9c768d1/attachment.bin>