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?


r~

Reply via email to