else (); return xlen; } let rs = X(rs); let output : bits(SEW) = 0; let S = sm4_subword(B); x4 = sm4_round(x0, S); B = rk1 ^ rk2 ^ rk3 ^ ck(4 * rnd + 1); S = sm4_subword(B); x6 = sm4_round(x2, S); B = A1; let A2 : bits(32) = X(rs1)[63..32] ^ X(rs2)[31..0] ^ X(rs2)[63..32]; X(rd) = aes_mixcolumn_inv(sb[63..32]) @ aes_mixcolumn_inv(sb[31..0]); RETIRE_SUCCESS } function clause
labial