[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")

Sanjoy Das via llvm-dev llvm-dev at lists.llvm.org
Wed Feb 24 19:26:40 PST 2016

On Wed, Feb 24, 2016 at 7:09 PM, Sanjoy Das
<sanjoy at playingwithpointers.com> wrote:
> CSE was valid); but it is not the *only* valid implementation.  If I
> don't CSE the two load instructions (also a valid thing to do), and
> this is a second thread writing to `%par`, then the two values loaded

Typoe'd a little bit here:  should be "and there is a second thread
writing to `%ptr`"

-- Sanjoy

More information about the llvm-dev mailing list