search for: o_unord

...import C/C++'s > strict "data-race implies undefined" semantics into our IR. You can't use regular load and store instructions, but I have recently added load and store instructions with the appropriate semantics for Java to the LLVM IR. See http://llvm.org/docs/Atomics.html#o_unordered . -Eli

On Aug 22, 2011, at 5:29 PM, Eli Friedman wrote: >> LLVM Atomics and Concurrency guide also states the following >> "Note that speculative loads are allowed; a load which is part of a >> race returns undef, but does not have undefined behavior" >> >> If the speculative loads returns an undef and the returned value is >> used, then it results in an