summaryrefslogtreecommitdiffstats
path: root/llvm/test/MachineVerifier/live-ins-02.mir
Commit message (Collapse)AuthorAgeFilesLines
* Recommit "[MachineVerifier] Improve verification of live-in lists."Jonas Paulsson2020-01-081-0/+32
| | | | | | | | | | | | | | | | | | 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
* Revert "[MachineVerifier] Improve verification of live-in lists.Galina Kistanova2019-11-071-32/+0
| | | | This reverts commit b7b170c to give the author more time to address failing tests on the expensive checks buildbots.
* Fix buildbots troubled by b7b170c.Jonas Paulsson2019-11-041-0/+1
| | | | Add '# REQUIRES: systemz-registered-target' in the new tests.
* [MachineVerifier] Improve verification of live-in lists.Jonas Paulsson2019-11-041-0/+31
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
OpenPOWER on IntegriCloud