require that the branch being controlled by the IV
authorChris Lattner <sabre@nondot.org>
Sat, 3 Apr 2010 07:21:39 +0000 (07:21 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 3 Apr 2010 07:21:39 +0000 (07:21 +0000)
commitd52c072777b9c9a9df9041b8b6cd199df7e43394
tree8613edc48bf93d4ed8e0cff21bbb2c3b528f8f5c
parent96fd76638b6be492c5e470c3b9d5ca12628be5a9
require that the branch being controlled by the IV
exits the loop.  With this information we can guarantee
the iteration count of the loop is bounded by the
compare.  I think this xforms is finally safe now.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100285 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/IndVarSimplify.cpp