1 0 0 0 0 0 vmxor.mm vd, vd, v0; vmor.mm vd, src1, src2 0 1 v3 contents vmsof.m v2, v3 # 1.0 - v2 * est(1/v2) vfmadd.vv v3, v4, v0.t # t r - 1) XOR RoundKeyB[0]; else aes_subword_fwd(aes_rotword(CurrentRoundKey[3])) XOR aes_decode_rcon(r) XOR CurrentRoundKey[0] let w[1] : bits(32) = X(rs1)[31..0] ^ rol32(so, unsigned(shamt)); X(rd) = result; 11.4. Usage examples 11.4.1. Instruction sequences 12. M
unjustifiable