[Lightning] Re: Bug in x86_64

[Paolo Bonzini]

> Unfortunately, I don't know the 64bit port of lightning well enough to 
> fix it directly. It seems that reusing RSI/RDI that are registers 
> holding Arg1 / Arg0 for the GPR of lightning may be a bad idea. Maybe 
> using two from the range R8..R11 (the caller saved ones) would be 
> better? [I do not know whether lightning uses all the available 
> registers or not] a move from an input register to anything that 
> lightning supports (i.e.,  R0..R2 or V0..V2) is going to be incorrect 
> when the target is also an input register (i.e., R1,R2,V1,V2). 
>
> What are your thoughts?

Oops.  Probably it should use those, or use R12/R13 for V1/V2.  I'll 
check it out.

Paolo