diff options
| author | Jonas Paulsson <paulsson@linux.vnet.ibm.com> | 2019-11-04 15:59:18 +0100 |
|---|---|---|
| committer | Jonas Paulsson <paulsson@linux.vnet.ibm.com> | 2019-11-04 16:22:00 +0100 |
| commit | b7b170c9b46ab4c0a10ecf1d9d5832e70ca992d5 (patch) | |
| tree | 62d06fdd6e0149c9ad330a075bf7e0a61ef00cd1 /llvm/lib/Support/VirtualFileSystem.cpp | |
| parent | a0324e911374441151903ed0d828e0fc1994c167 (diff) | |
| download | llvm-b7b170c9b46ab4c0a10ecf1d9d5832e70ca992d5.zip llvm-b7b170c9b46ab4c0a10ecf1d9d5832e70ca992d5.tar.gz llvm-b7b170c9b46ab4c0a10ecf1d9d5832e70ca992d5.tar.bz2 | |
[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
https://reviews.llvm.org/D68267
Diffstat (limited to 'llvm/lib/Support/VirtualFileSystem.cpp')
0 files changed, 0 insertions, 0 deletions