[PATCH] D33650: MachineVerifier: Verify liveins list

[Matthias Braun via Phabricator via llvm-commits]

MatzeB created this revision.
Herald added subscribers: javed.absar, mcrosier.

- Make sure that at the end of basic blocks the liveins of the successor blocks are live (or the CSRs in case of return blocks).
- Do not allow reserved registers in livein lists, they are unnecessary.
- Do not allow pristine registers in livein lists, they are unnecessary.


Repository:
  rL LLVM

https://reviews.llvm.org/D33650

Files:
  lib/CodeGen/MachineVerifier.cpp
  test/CodeGen/AArch64/machine-copy-remove.mir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33650.100612.patch
Type: text/x-patch
Size: 5689 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170529/7dd433af/attachment.bin>