[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.

The part of that analysis I'm most unsure about is the handling of "acquire" loads.  Overall sequential consistency goes beyond just sequencing between "release" stores and "acquire" loads.

Generally, I'd rather not go significantly outside the transforms that have been formally proven; I don't trust my intuition here.


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

https://reviews.llvm.org/D124247