[PATCH] D62939: Strengthen LFTR's ability to replace IVs

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: nikic, kmod, atrick.
Herald added subscribers: sanjoy, bollu, mcrosier.
Herald added a project: LLVM.

This is the poison inference logic from D62936 <https://reviews.llvm.org/D62936>, broken out into it's own review.  As seen in the tests, this approach appears to expose opportunities we're currently missing.

Questions to resolve:

- Where does this belong?  Maybe ValueTracking?
- What testing approach is best?


Repository:
  rL LLVM

https://reviews.llvm.org/D62939

Files:
  lib/Transforms/Scalar/IndVarSimplify.cpp
  test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll
  test/Transforms/IndVarSimplify/lftr-reuse.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62939.203272.patch
Type: text/x-patch
Size: 10267 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190606/f05cb5e3/attachment-0001.bin>