[PATCH] D134427: [Verifier] Allow undef token argument to llvm.experimental.gc.result

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

In D134427#3817919 <https://reviews.llvm.org/D134427#3817919>, @nikic wrote:

> Thanks for the explanation. I do wonder how we end up in the situation where the gc.statepoint gets removed, but the gc.result is not also removed.

@nikic gc.statepoint doesn't need to be removed. It's enough that gc.resutl is sunk into a block under if(false), and then some opt understood this and replace its operand with poison.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134427