[PATCH] D97054: [MachineVerifier] Confirm that both ends of a tied def/use are live together

Wed Mar 3 14:45:17 PST 2021

reames added a comment.

In D97054#2580395 <https://reviews.llvm.org/D97054#2580395>, @arsenm wrote:

> In D97054#2579436 <https://reviews.llvm.org/D97054#2579436>, @reames wrote:
>
>> In D97054#2574843 <https://reviews.llvm.org/D97054#2574843>, @arsenm wrote:
>>
>>> Testcase?
>>
>> Not sure how to honestly.  The whole idea is that an invalid live range should be impossible to construct, but that we want to catch it in verification if the register allocator does so.
>
> We have unit tests in unittests/MI/LiveIntervalTest

I might be missing the obvious, but I don't see anything here to guide me on how to construct an intentionally malformed live interval and check for a verifier failure.

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D97054/new/

https://reviews.llvm.org/D97054