diff options
| author | Jonas Paulsson <paulsson@linux.vnet.ibm.com> | 2019-11-19 12:34:49 +0100 |
|---|---|---|
| committer | Jonas Paulsson <paulsson@linux.vnet.ibm.com> | 2020-01-08 16:58:54 -0800 |
| commit | 659efa21f1b3eded304b7239b356eecf1f5034ae (patch) | |
| tree | cf7c44291ca2405ca6f1127aca0d1939e5122512 /llvm/lib/Support/Triple.cpp | |
| parent | 85ee4ff4e474788abc7abdc939114281c2a68ec1 (diff) | |
| download | bcm5719-llvm-659efa21f1b3eded304b7239b356eecf1f5034ae.tar.gz bcm5719-llvm-659efa21f1b3eded304b7239b356eecf1f5034ae.zip | |
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
Diffstat (limited to 'llvm/lib/Support/Triple.cpp')
0 files changed, 0 insertions, 0 deletions
