[all-commits] [llvm/llvm-project] 4f5e92: Mark gc.relocate and gc.result as readnone (try 2)

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4f5e92cc0562629ad2180b3ed2b0dad31ef7797c
      https://github.com/llvm/llvm-project/commit/4f5e92cc0562629ad2180b3ed2b0dad31ef7797c
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-03-25 (Thu, 25 Mar 2021)

  Changed paths:
    M llvm/include/llvm/IR/Intrinsics.td

  Log Message:
  -----------
  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