[PATCH] D17400: [CaptureTracking] Support atomicrmw and cmpxchg

JF Bastien via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 18 11:28:45 PST 2016


jfb added a comment.

In http://reviews.llvm.org/D17400#356077, @reames wrote:

> In http://reviews.llvm.org/D17400#356062, @jfb wrote:
>
> > Interesting: the current code can't see through an inttoptr + cmpxchg which captures the pointer? It assumes it's captured as soon as the inttoptr occurs?
>
>
> Yes.  Which is one of the many reasons we should just support cmpxchg on pointers directly.  :)


You've got my support :-)


Repository:
  rL LLVM

http://reviews.llvm.org/D17400





More information about the llvm-commits mailing list