[MSSA] Fix PR28880 by fixing use optimizer's lower bound tracking behavior.
authorDaniel Berlin <dberlin@dberlin.org>
Mon, 8 Aug 2016 04:44:53 +0000 (04:44 +0000)
committerDaniel Berlin <dberlin@dberlin.org>
Mon, 8 Aug 2016 04:44:53 +0000 (04:44 +0000)
commit4b4c722e7941ec886fa400d17b553672f0605b1d
tree199e8d054d2cacad819852f1ddce953e797f8d8e
parent02419a98499704e98236cda2e9b1b3c996ad4908
[MSSA] Fix PR28880 by fixing use optimizer's lower bound tracking behavior.

Summary:
In the use optimizer, we need to keep of whether the lower bound still
dominates us or else we may decide a lower bound is still valid when it
is not due to intervening pushes/pops.  Fixes PR28880 (and probably a
bunch of other things).

Reviewers: george.burgess.iv

Subscribers: MatzeB, llvm-commits, sebpop

Differential Revision: https://reviews.llvm.org/D23237

llvm-svn: 277978
llvm/lib/Transforms/Utils/MemorySSA.cpp
llvm/test/Transforms/Util/MemorySSA/pr28880.ll [new file with mode: 0644]