[PATCH] D65544: [RLEV] Rewrite loop exit values for multiple exit loops w/o overall loop exit count

[Philip Reames via Phabricator via llvm-commits]

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

We already supported rewriting loop exit values for multiple exit loops, but if any of the loop exits were not computable, we gave up on all loop exit values.  This patch generalizes the existing code to handle individual computable loop exits where possible.

Note to reviewers: This is a real patch, and it can probably land as is, but I'm also open to going and implementing the generalized TODO referenced in the code first.  I think it might make sense to land this first, so that there's a means for testing all of the pieces in the generalized part, what do others think?


Repository:
  rL LLVM

https://reviews.llvm.org/D65544

Files:
  lib/Transforms/Scalar/IndVarSimplify.cpp
  test/Transforms/IndVarSimplify/rlev-add-me.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65544.212673.patch
Type: text/x-patch
Size: 8022 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190731/073f8f50/attachment.bin>