[PATCH] D158081: [IR] Add writable attribute

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 552373.
nikic added a comment.
Herald added a reviewer: sstefan1.
Herald added subscribers: hoy, ormris, okura, kuter.

Forbid writable + readonly and similar combinations.


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

https://reviews.llvm.org/D158081

Files:
  llvm/docs/LangRef.rst
  llvm/include/llvm/Analysis/AliasAnalysis.h
  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/IR/Verifier.cpp
  llvm/lib/Transforms/IPO/AttributorAttributes.cpp
  llvm/lib/Transforms/IPO/FunctionAttrs.cpp
  llvm/lib/Transforms/Scalar/LICM.cpp
  llvm/lib/Transforms/Utils/CodeExtractor.cpp
  llvm/test/Bitcode/attributes.ll
  llvm/test/Transforms/FunctionAttrs/readattrs.ll
  llvm/test/Transforms/LICM/scalar-promote.ll
  llvm/test/Verifier/writable-attr.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D158081.552373.patch
Type: text/x-patch
Size: 20531 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230822/82380878/attachment.bin>