[PATCH] D99022: [IR] Mark assume/annotation as InaccessibleMemOnly

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: jdoerfert, courbet.
Herald added subscribers: okura, kuter, hiraditya.
nikic requested review of this revision.
Herald added a reviewer: sstefan1.
Herald added a reviewer: baziotis.
Herald added subscribers: llvm-commits, bbn.
Herald added a project: LLVM.

These intrinsics don't need to be marked as arbitrary writing, it's sufficient to write inaccessible memory (aka "side effect") to preserve control dependencies. This means less special-casing in BasicAA. This is intended as an alternative to D98925 <https://reviews.llvm.org/D98925>.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D99022

Files:
  llvm/include/llvm/IR/Intrinsics.td
  llvm/lib/Analysis/BasicAliasAnalysis.cpp
  llvm/test/Transforms/Attributor/dereferenceable-1.ll
  llvm/test/Transforms/Attributor/lvi-after-jumpthreading.ll
  llvm/test/Transforms/Attributor/nofree.ll
  llvm/test/Transforms/Attributor/nonnull.ll
  llvm/test/Transforms/InstCombine/annotation-intrinsic.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D99022.332115.patch
Type: text/x-patch
Size: 18137 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210320/b2e8d4a4/attachment.bin>