[PATCH] D156478: [IR] Mark `llvm.assume` as `memory(inaccessiblemem: write)`

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

Assuming that assume can only be used for path-/flow- insensitive invariants (that hold for the whole program), this change is correct. The implication is that the order of assumes doesn't matter.

Alas, with the previous spec, it was already possible to hoist assumes out of branches, so it implied it couldn't be used to assume facts just in a specific branch.
I need to change Alive2's semantics to make sure that LLVM is using assume in this way only.


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

https://reviews.llvm.org/D156478