[PATCH] D127884: [Draft][LangRef] Document `elementtype` attribute requirement on atomic memory intrinsics.

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko added a comment.

The optimizer can insert new atomic memcpy/memmove calls, e.g loop-idiom-recognize would do that. Currently, when loop-idiom-recognize inserts such a call it doesn't tag it with the element type, which makes it an incorrect transform for us.

If we document the requirement in the langref we can a) add a verification rule to catch these situations, b) fix such transforms upstream. I think we can restrict this requirement to functions that have a GC strategy specified.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127884