Checking to see if the `MULX` is co-simulated and checked with same register names
basavesh opened this issue · comments
Hi,
I'm a newbie to this and trying to understand the semantics. I wanted to know if this special case is handled in your semantics.
If the first and second operand are identical, it will contain the high half of the multiplication result.
https://www.felixcloutier.com/x86/mulx
I don't see a special case in your mulx semantics. At the same time, I don't understand the k-Semantics yet.
I think it is handled automatically as the "high" part is written later.
https://lists.nongnu.org/archive/html/qemu-devel/2015-11/msg03848.html