[all-commits] [llvm/llvm-project] d693fd: [Verifier] Make Verifier recognize undef tokens as...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d693fd29f1885e72b90428999aee92573abb9c2d
      https://github.com/llvm/llvm-project/commit/d693fd29f1885e72b90428999aee92573abb9c2d
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-07-18 (Mon, 18 Jul 2022)

  Changed paths:
    M llvm/include/llvm/IR/IntrinsicInst.h
    M llvm/lib/CodeGen/SelectionDAG/StatepointLowering.cpp
    M llvm/lib/IR/IntrinsicInst.cpp
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Transforms/InstCombine/gc.relocate-verify.ll

  Log Message:
  -----------
  [Verifier] Make Verifier recognize undef tokens as correct IR

Undef tokens may appear in unreached code as result of RAUW of some optimization,
and it should not be considered as bad IR.

Patch by Dmitry Bakunevich!

Differential Revision: https://reviews.llvm.org/D128904
Reviewed By: mkazantsev