[PATCH] D157499: [IR] Add dead_on_unwind attribute

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 558081.
nikic added a comment.

Rebase and adjust LangRef wording again. We now say that any memory written in the function will be poisoned on unwind. The connection to the writable attribute here is that it implies a write on entry to the function.

@efriedma Does this address your concerns?


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

https://reviews.llvm.org/D157499

Files:
  llvm/docs/LangRef.rst
  llvm/include/llvm/Bitcode/LLVMBitCodes.h
  llvm/include/llvm/IR/Attributes.td
  llvm/lib/Analysis/AliasAnalysis.cpp
  llvm/lib/Bitcode/Reader/BitcodeReader.cpp
  llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
  llvm/lib/IR/Attributes.cpp
  llvm/lib/Transforms/Utils/CodeExtractor.cpp
  llvm/test/Bitcode/attributes.ll
  llvm/test/Transforms/DeadStoreElimination/simple.ll
  llvm/test/Transforms/LICM/scalar-promote-unwind.ll
  llvm/test/Transforms/MemCpyOpt/callslot_throw.ll
  llvm/test/Verifier/dead-on-unwind.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D157499.558081.patch
Type: text/x-patch
Size: 9180 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20231113/be44ebd3/attachment.bin>