[all-commits] [llvm/llvm-project] 4119da: [MachineVerifier] Live interval for a subreg must ...

[Jay Foad via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4119da2f7c5fd21c03f6d50aa1d2af3527a9e90f
      https://github.com/llvm/llvm-project/commit/4119da2f7c5fd21c03f6d50aa1d2af3527a9e90f
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-11-15 (Mon, 15 Nov 2021)

  Changed paths:
    M llvm/lib/CodeGen/MachineVerifier.cpp

  Log Message:
  -----------
  [MachineVerifier] Live interval for a subreg must have subranges

MachineVerifier verified the subranges of a live interval if
they existed, but did not complain if they did not exist.

This patch changes the verifier to complain if there are no
subranges in the live interval for a subreg operand (so long
as MachineRegisterInfo says we should be tracking subreg
liveness for that register). This matches the conditions for
LiveIntervalCalc to create subranges in the first place.

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