[all-commits] [llvm/llvm-project] 659efa: Recommit "[MachineVerifier] Improve verification o...

[Jonas Paulsson via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 659efa21f1b3eded304b7239b356eecf1f5034ae
      https://github.com/llvm/llvm-project/commit/659efa21f1b3eded304b7239b356eecf1f5034ae
  Author: Jonas Paulsson <paulsson at linux.vnet.ibm.com>
  Date:   2020-01-08 (Wed, 08 Jan 2020)

  Changed paths:
    M llvm/include/llvm/CodeGen/LivePhysRegs.h
    M llvm/lib/CodeGen/MachineVerifier.cpp
    A llvm/test/MachineVerifier/live-ins-01.mir
    A llvm/test/MachineVerifier/live-ins-02.mir
    A llvm/test/MachineVerifier/live-ins-03.mir

  Log Message:
  -----------
  Recommit "[MachineVerifier] Improve verification of live-in lists."

MachineVerifier::visitMachineFunctionAfter() is extended to check the
live-through case for live-in lists. This is only done for registers without
aliases and that are neither allocatable or reserved, such as the SystemZ::CC
register.

The MachineVerifier earlier only catched the case of a live-in use without an
entry in the live-in list (as "using an undefined physical register").

A comment in LivePhysRegs.h has been added stating a guarantee that
addLiveOuts() can be trusted for a full register both before and after
register allocation.

Review: Quentin Colombet

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