[IndVars] Extend reasoning about loop invariant exits to non-header blocks
authorPhilip Reames <listmail@philipreames.com>
Tue, 14 May 2019 17:20:10 +0000 (17:20 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 14 May 2019 17:20:10 +0000 (17:20 +0000)
commitbd8d3091117b334343c4d9775f53253f0ce02861
tree759709ac215bda7a77d3eee71a5aa3c63506cd54
parent1362905e8c4a8fe95dfea81a37a2ad01a95cf926
[IndVars] Extend reasoning about loop invariant exits to non-header blocks

Noticed while glancing through the code for other reasons.  The extension is trivial enough, decided to just do it.

llvm-svn: 360694
llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
llvm/test/Transforms/IndVarSimplify/rewrite-loop-exit-value.ll
llvm/test/Transforms/LoopUnroll/scevunroll.ll