On 02/17/2015 07:56 PM, Richard Henderson wrote:
On 02/11/2015 08:49 AM, Bastian Koppelmann wrote:
- OPC2_32_RRR2_MADD_U_32 = 0x68,
+ OPC2_32_RRR2_MADD_U_64 = 0x68,
I guess this is a change to the spec, after the V1.0, 2012-05 edition that I
have?
Well, I guess this is a mistake in the documentation. The signature says
the result is 32 bit, but the pseudo-code states E[c] = result[63:0] and
E[c] is clearly a 64 bit register.
My tests with the manufacturers simulator show the 64 bit behavior, too.
Cheers,
Bastian