[llvm-dev] Should ValueTracking::GetUnderlyingObject stop on Alloca instructions rather than calling SimplifyInstruction?

[Craig Topper via llvm-dev]

I notice that GetUnderlyingObject has a few checks, but alloca isn't one of
them. Then it fall backs to SimplifyInstruction which doesn't know about
alloca so falls back to just trying to constant fold it. This seems a
little silly since I assume alloca can't be constant folded. Should we just
detect this early in GetUnderlyingObject and stop?

~Craig
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170407/64d9bb28/attachment.html>