[PATCH] D157499: [IR] Add dead_on_unwind attribute

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

That seems close.  Not sure about the "dereferenceable region" bit; the concept makes sense, it's just not really compatible with the current meaning of "dereferenceable".  "dereferenceable" doesn't currently imply it's legal to write to a region in memory, only to read from it.  I think you need some other way to indicate it's safe to speculatively write to the memory.


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

https://reviews.llvm.org/D157499