[PATCH] D72666: [IR] ArgMemOnly functions with WriteOnly ptr args do not read memory.

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Jan 13 18:04:54 PST 2020


jdoerfert added a comment.

In D72666#1818407 <https://reviews.llvm.org/D72666#1818407>, @efriedma wrote:

> I'd prefer to just add writeonly markings in places where they're missing.  For llvm.memset in particular, can we mark it IntrWriteMem?


We could "deduce" it, based on this logic, and then add `writeonly`. That would work for non intrinsics as well.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D72666





More information about the llvm-commits mailing list