[all-commits] [llvm/llvm-project] 0bd436: [LiveIntervals] Fix verification of early-clobbere...

[Jay Foad via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0bd4365445e6989be71b23438f7235bb24b9c188
      https://github.com/llvm/llvm-project/commit/0bd4365445e6989be71b23438f7235bb24b9c188
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2021-10-05 (Tue, 05 Oct 2021)

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

  Log Message:
  -----------
  [LiveIntervals] Fix verification of early-clobbered segments

Enable verification of live intervals immediately after computing them
(when -early-live-intervals is used) and fix a problem that that
provokes: currently the verifier insists that a segment that ends at an
early-clobber slot must be followed by another segment starting at the
same slot. But before TwoAddressInstruction runs, the equivalent
condition is: a segment that ends at an early-clobber slot must have its
last use tied to an early-clobber def. That condition is harder to check
here, so for now just disable this check until tied operands have been
rewritten.

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