[llvm-commits] [PATCH] Machine code verifier pass

[Jakob Stoklund Olesen]

On 16/05/2009, at 01.17, Evan Cheng wrote:

>
> On May 15, 2009, at 4:11 PM, Jakob Stoklund Olesen wrote:
>> OK, I am allowing double-def if a super-register is also defined. So
>> this is legal:
>>
>> def AX
>> def EAX
>> def AX
>
> Actually no. This should not be legal.
>
> def EAX
> def AX
>
> This should be legal.

OK, so def EAX is legal when

1. EAX, AX, AH, and AL are all dead, OR
2. RAX is live.