[PATCH] D134427: Fixed bug on token undef/poison in unreachable code

Artur Pilipenko via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 22 10:59:47 PDT 2022


apilipenko accepted this revision.
apilipenko added inline comments.
This revision is now accepted and ready to land.


================
Comment at: llvm/lib/IR/Verifier.cpp:5120-5125
+    if (isa<UndefValue>(Call.getArgOperand(0)) ||
+        isa<PoisonValue>(Call.getArgOperand(0)))
+      break;
+
     // Are we tied to a statepoint properly?
     const auto *StatepointCall = dyn_cast<CallBase>(Call.getArgOperand(0));
----------------



================
Comment at: llvm/test/Verifier/gc_result_token.ll:23
+declare ptr @P()
\ No newline at end of file

----------------
Add a new line.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134427



More information about the llvm-commits mailing list