[all-commits] [llvm/llvm-project] db5462: [MachineVerifier] Try harder to verify LiveIntervals

[Jay Foad via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: db54627413fdcc96f356897e23db204557c48a80
      https://github.com/llvm/llvm-project/commit/db54627413fdcc96f356897e23db204557c48a80
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2023-05-24 (Wed, 24 May 2023)

  Changed paths:
    M llvm/lib/CodeGen/MachineVerifier.cpp
    M llvm/test/CodeGen/AArch64/regcoal-physreg.mir
    M llvm/test/CodeGen/AMDGPU/optimize-exec-mask-pre-ra-def-after-use.mir
    M llvm/test/CodeGen/AMDGPU/optimize-exec-mask-pre-ra-loop-phi.mir
    M llvm/test/CodeGen/AMDGPU/subreg-intervals.mir
    M llvm/test/CodeGen/X86/statepoint-cmp-sunk-past-statepoint.ll

  Log Message:
  -----------
  [MachineVerifier] Try harder to verify LiveIntervals

Verify the LiveIntervals analysis after a pass that claims to preserve
it, even if there are no further passes (apart from the verifier itself)
that would use the analysis.

Fixes https://github.com/llvm/llvm-project/issues/46217

Differential Revision: https://reviews.llvm.org/D129208