[StatepointLowering] Move statepoint correctness checks to Verifier. NFC.
authorDenis Antrushin <dantrushin@gmail.com>
Tue, 17 Jan 2023 11:01:42 +0000 (18:01 +0700)
committerDenis Antrushin <dantrushin@gmail.com>
Wed, 18 Jan 2023 15:14:58 +0000 (18:14 +0300)
commitf8450767384b2a929bad250b4942289598e89612
tree8b9c6b1b84a05eae69a43667f3d2998b135d91fb
parentfeee22db52259d19a8624318517ef5688abfc67c
[StatepointLowering] Move statepoint correctness checks to Verifier. NFC.

Since D140504, GCStrategy is available for use in opt.
Now we can move statepoint correctness checks from
StatepointLowering.cpp to Verifier.

Reviewed By: reames

Differential Revision: https://reviews.llvm.org/D141948
llvm/lib/CodeGen/SelectionDAG/StatepointLowering.cpp
llvm/lib/IR/Verifier.cpp
llvm/test/Transforms/InstCombine/statepoint-iter.ll
llvm/test/Verifier/gc_relocate_operand.ll