[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)
commitca40161d4a0f48fcb5c60d984ba1bc774dc0a45c
tree73f86d8cbe8d8b390304d5f4e48a0e7788bfeef1
parent51d40aea3b6e74dea4b3c6680f00921441a30522
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@254977 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LoopInfo.h
lib/Analysis/LoopInfo.cpp
lib/Transforms/Scalar/IndVarSimplify.cpp
test/Transforms/IndVarSimplify/pr25578.ll [new file with mode: 0644]