[all-commits] [llvm/llvm-project] fecfd0: [Verifier] Allow undef/poison token argument to ll...

[Dmitry Bakunevich via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fecfd012523f963666caeb7e65cca3cd0ec1c159
      https://github.com/llvm/llvm-project/commit/fecfd012523f963666caeb7e65cca3cd0ec1c159
  Author: dbakunevich <dbakunevich at azul.com>
  Date:   2022-10-19 (Wed, 19 Oct 2022)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Verifier/gc_result_token.ll

  Log Message:
  -----------
  [Verifier] Allow undef/poison token argument to llvm.experimental.gc.result

As part of the optimization in the unreachable code, we remove
tokens, thereby replacing them with undef/poison in intrinsics.
But the verifier falls on the assertion, within of what it sees
token poison in unreachable code, which in turn is incorrect.

bug: 57871, https://github.com/llvm/llvm-project/issues/57871
Differential Revision: https://reviews.llvm.org/D134427