[llvm-dev] Should ValueTracking::GetUnderlyingObject stop on Alloca instructions rather than calling SimplifyInstruction?
Hal Finkel via llvm-dev
llvm-dev at lists.llvm.org
Wed Apr 12 14:46:32 PDT 2017
Yep. Makes sense to me. There's nothing to simplify or constant-fold
about an alloca.
On 04/12/2017 04:23 PM, Craig Topper wrote:
> On Fri, Apr 7, 2017 at 1:25 PM, Craig Topper <craig.topper at gmail.com
> <mailto:craig.topper at gmail.com>> wrote:
> 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?
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev