[IndVars] Have getInsertPointForUses preserve LCSSA
authorSanjoy Das <sanjoy@playingwithpointers.com>
Tue, 8 Dec 2015 00:13:21 +0000 (00:13 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Tue, 8 Dec 2015 00:13:21 +0000 (00:13 +0000)
commit683bf070ef7552654c3142c077733882de7efcd9
treec2c96398ac96312331fff484e0a25376d5d84411
parentb771eb6d69bf86a62d336d9bbe22b6b5757f1984
[IndVars] Have getInsertPointForUses preserve LCSSA

Summary:
Also add a stricter post-condition for IndVarSimplify.

Fixes PR25578.  Test case by Michael Zolotukhin.

Reviewers: hfinkel, atrick, mzolotukhin

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D15059

llvm-svn: 254977
llvm/include/llvm/Analysis/LoopInfo.h
llvm/lib/Analysis/LoopInfo.cpp
llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
llvm/test/Transforms/IndVarSimplify/pr25578.ll [new file with mode: 0644]