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 > select. > 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. > > https://reviews.llvm.org/D24712 > > > >
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits