[PATCH] D124247: [Trivial Dead] Consider any non volatile load as trivially dead independent on ordering

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

This isn't trivially correct.

For example, say you have a sequence "%load1 = load seq_cst %a; %load2 = load relaxed %a".  I think the later load can sort of "inherit" the sequential consistency of the earlier load; the values it can contain are restricted.   (I mean, maybe I'm missing something, but it's not as simple as "no one will check what actually value has been read".)


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D124247/new/

https://reviews.llvm.org/D124247