Mark gc.relocate and gc.result as readnone (try 2)
authorPhilip Reames <listmail@philipreames.com>
Thu, 25 Mar 2021 21:50:07 +0000 (14:50 -0700)
committerPhilip Reames <listmail@philipreames.com>
Thu, 25 Mar 2021 21:50:07 +0000 (14:50 -0700)
commit4f5e92cc0562629ad2180b3ed2b0dad31ef7797c
tree3658ade1871aaee4d022f413ea942e2b73345d32
parente7ebb87222e33936f6e5f3bd3fda919080ece1a0
Mark gc.relocate and gc.result as readnone (try 2)

As noted in the LangRef, these are semantically readnone projections from the result value of the associated statepoint. However, it turned out we had a few latent bugs being covered up by the fact we were only marking them readonly (see PR49607 for context).

As of this change, all known issues are resolved. This is a deliberately minimal patch to make it easy to test downstream and revert with minimal change if that turns out to be necessary.

Differential Revision: https://reviews.llvm.org/D98729
llvm/include/llvm/IR/Intrinsics.td