[SROA] Fix two total think-os in r225061 that should have been caught on
authorChandler Carruth <chandlerc@gmail.com>
Thu, 1 Jan 2015 23:26:16 +0000 (23:26 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Thu, 1 Jan 2015 23:26:16 +0000 (23:26 +0000)
commitc39eaa50411d1e90065564a912cc420c2733bf6a
treea3078c2d7cfe142f48da20b8e43802ea40af3dbb
parent3f29619614336c599b53a58f4822e0a400d6bb9a
[SROA] Fix two total think-os in r225061 that should have been caught on
a +asserts bootstrap, but my bootstrap had asserts off. Oops.

Anyways, in some places it is reasonable to cast (as a sanity check) the
pointer operand to a load or store to an instruction within SROA --
namely when the pointer operand is expected to be derived from an
alloca, and thus always an instruction. However, the pre-splitting code
also deals with loads and stores to non-alloca pointers and there we
need to just use the Value*. Nothing about the code relied on the
instruction cast, it was only there essentially as an invariant
assertion. Remove the two that don't actually hold.

This should fix the proximate issue in PR22080, but I'm also doing an
asserts bootstrap myself to see if there are other issues lurking.

I'll craft a reduced test case in a moment, but I wanted to get the tree
healthy as quickly as possible.

llvm-svn: 225068
llvm/lib/Transforms/Scalar/SROA.cpp