[PATCH] D108910: [IndVars] Break backedge and replace PHIs if loop exits on 1st iteration

[Dmitry Makogon via Phabricator via llvm-commits]

dmakogon updated this revision to Diff 370138.
dmakogon added a comment.

Try to simplify PHI uses after substituting the preheader value. 
Now if proved that some exit is taken on 1st iteration we replace all further branches' conditions with the ones branching to the loop (instead of their exits).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D108910/new/

https://reviews.llvm.org/D108910

Files:
  llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
  llvm/test/Transforms/IndVarSimplify/eliminate-backedge.ll
  llvm/test/Transforms/IndVarSimplify/eliminate-exit-no-dl.ll
  llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D108910.370138.patch
Type: text/x-patch
Size: 12701 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210902/f30e8c90/attachment.bin>