search for: single_thread

On Wed, Aug 31, 2016 at 12:23:34PM -0700, Justin Lebar via llvm-dev wrote: > > Some optimizations that are related to a single thread could be done without needing to know the actual memory scope. > > Right, it's clear to me that there exist optimizations that you cannot > do if we model these ops as target-specific intrinsics. > > But what I think Mehdi and I were

Problem LLVM's memory model for NonAtomic accesses is generally fairly weak, but explicitly disallows inserting stores that didn't occur in the original program.  This is required for any potentially shared location, but is overkill for any memory location which is provably only accessed by a single thread. My particular motivating example is a single thread private field in our