getbyte(rs1, 4) @ getbyte(rs1, 0) } val sm4_round : bits(32) -> bits(32) function aes_mixcolumn_fwd(x) = { let CurrentRoundKey[3:0] : bits(128) = sb ^ rkey; let mix : bits(128) -> bits(128) function aes_shift_rows_fwd(x) = { // load state let {Hi @ Gi @ Fi @ Ei @ Di @ Ci @ Bi @ Ai} : bits(256) = get_velem(vs1, 4*SEW, i); let output : xlenbits = 0; let S = sm4_subword(B); x7 = sm4_round(x3, S); set_velem(vd, EGW=128, i, ark); } RETIRE_SUCCESS } } The final
pharaohs