On 19 September 2016 at 15:58, John McCall <rjmcc...@gmail.com> wrote:
> rjmccall added a comment.
> Actually, that should demonstrate the difference, assuming the LLVM
> function looks through selects, since IRGen should generate that as a
It doesn't look past the Value* you hand it. As well as isa<AllocaInst>, it
returns true on Arguments marked nonnull, byval, inalloca or
dereferenceable, global variables in addrspace 0 and not extern_weak, load
instructions marked with !nonnull metadata, or a call/invoke with the
nonnull parameter attribute on the return. It doesn't look at operands.
cfe-commits mailing list