[LiveIntervals] Fix repairOldRegInRange for simple def cases
authorJay Foad <jay.foad@amd.com>
Wed, 22 Sep 2021 11:14:18 +0000 (12:14 +0100)
committerJay Foad <jay.foad@amd.com>
Fri, 24 Sep 2021 10:44:49 +0000 (11:44 +0100)
commit7863cc6c1c9e714de666f7df84fe9ef6ea7bb06c
tree9eca1cdb48c94b37a4a272744ffe8186b61401ac
parent9c30beaeb228b63447793235570fc207831dd885
[LiveIntervals] Fix repairOldRegInRange for simple def cases

The fix applied in D23303 "LiveIntervalAnalysis: fix a crash in repairOldRegInRange"
was over-zealous. It would bail out when the end of the range to be
repaired was in the middle of the first segment of the live range of
Reg, which was always the case when the range contained a single def of
Reg.

This patch fixes it as suggested by Matthias Braun in post-commit review
on the original patch, and tests it by adding -early-live-intervals to
a selection of existing lit tests that now pass.

(Note that D23303 was originally applied to fix a crash in
SILoadStoreOptimizer, but that is now moot since D23814 updated
SILoadStoreOptimizer to run before scheduling so it no longer has to
update live intervals.)

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

Unrevert with some changes to the tests:
- Add -verify-machineinstrs to check for remaining problems in live
  interval support in TwoAddressInstructionPass.
- Drop test/CodeGen/AMDGPU/extract-load-i1.ll since it suffers from
  some of those remaining problems.
llvm/lib/CodeGen/LiveIntervals.cpp
llvm/test/CodeGen/AMDGPU/twoaddr-regsequence.mir [new file with mode: 0644]
llvm/test/CodeGen/ARM/signext-inreg.ll
llvm/test/CodeGen/X86/mul-shift-reassoc.ll