[all-commits] [llvm/llvm-project] d0e246: [LiveRange] Fix inaccurate verification of live-in...

[Carl Ritson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d0e246ff16fbd0e9c74b69635ff503a1eca7f254
      https://github.com/llvm/llvm-project/commit/d0e246ff16fbd0e9c74b69635ff503a1eca7f254
  Author: Carl Ritson <carl.ritson at amd.com>
  Date:   2023-08-16 (Wed, 16 Aug 2023)

  Changed paths:
    M llvm/lib/CodeGen/LiveRangeCalc.cpp
    A llvm/test/CodeGen/AMDGPU/phys-partial-liveness.mir

  Log Message:
  -----------
  [LiveRange] Fix inaccurate verification of live-in PhysRegs

Fix verification that a PhysReg is live in to an MBB.
isLiveIn does not handle reg units, so cannot identify when a
register would be defined because its super register is partially
defined.
Additionally a PhysReg may be partial defined at block entry and
then fully defined before any use.

Reviewed By: foad, arsenm

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