[PATCH] D127103: CodeGen: Split out MachineVerifier's liveness tracking

[Matt Arsenault via Phabricator via llvm-commits]

arsenm created this revision.
arsenm added reviewers: qcolombet, MatzeB.
Herald added subscribers: jsji, pmatos, asb, pengfei, hiraditya, jgravelle-google, sbc100, mgorny, dschuff.
Herald added a project: All.
arsenm requested review of this revision.
Herald added subscribers: aheejin, wdng.
Herald added a project: LLVM.

The verifier has a much simpler liveness tracking interface than
LiveIntervals. For block reduction in llvm-reduce, I need to be able
to determine which virtual registers are live out of a block in order
to replace them with something equivalent. Having pre-constructed sets
of registers is a more convenient form for this.

      

test/CodeGen/X86/invalid-liveness.mir is somewhat broken. It now fails
in the verifier instead of testing the error handling in
LiveRangeCalc. We probably don't want a flag to have the MIR parser
skip the verifier in order to plow through to hit the original error.


https://reviews.llvm.org/D127103

Files:
  llvm/include/llvm/CodeGen/LivenessVerifier.h
  llvm/lib/CodeGen/CMakeLists.txt
  llvm/lib/CodeGen/LivenessVerifier.cpp
  llvm/lib/CodeGen/MachineVerifier.cpp
  llvm/test/CodeGen/X86/invalid-liveness.mir
  llvm/unittests/Target/WebAssembly/WebAssemblyExceptionInfoTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D127103.434440.patch
Type: text/x-patch
Size: 36857 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220606/1cad4725/attachment.bin>