[PATCH] D18164: [tsan] Do not instrument reads/writes to instruction profile counters.

[Anna Zaks via llvm-commits]

zaks.anna added a comment.

dvyukov's point is that there are no "benign races" based on LLVM semantics. People might argue that their race is benign because it will result in atomic reads/writes on the architectures they care about. However, in that case, they should annotate their loads and stores as atomic explicitly, which would lower to no-op on the architectures they care about but will also be modeled correctly at the LLVM level. (TSan's pass reasons about LLVM semantics.) This is why I suggested to use "Monotonic". (http://llvm.org/docs/Atomics.html#id10)


http://reviews.llvm.org/D18164