[LiveVariables] Skip verification of kills inside bundles
authorJay Foad <jay.foad@amd.com>
Wed, 29 Sep 2021 12:09:22 +0000 (13:09 +0100)
committerJay Foad <jay.foad@amd.com>
Fri, 1 Oct 2021 17:15:57 +0000 (18:15 +0100)
commit04787239c930c386105d341a172b1d419c42fa9c
treeeff975a1eda61a4c215a1af2f5b11a3d2299cee2
parent08d41f75d9856718776d9c035b2eba666b0688ee
[LiveVariables] Skip verification of kills inside bundles

LiveVariables does not examine the contents of bundles, so
MachineVerifier should not expect it to know about kill flags on
operands of instructions inside a bundle.

With this fix we can enable machine verification after running the
LiveVariables analysis. Doing this does not show any problems in
check-llvm in an LLVM_ENABLE_EXPENSIVE_CHECKS build.

Differential Revision: https://reviews.llvm.org/D110700
llvm/lib/CodeGen/MachineVerifier.cpp
llvm/lib/CodeGen/TargetPassConfig.cpp