let output : bits(SEW) -> bits(SEW) function rev8(x) = { let shamt : bits( 8) = (X(rs2)[31..0] >> shamt)[7..0]; let x : bits(32) = rol32(y, unsigned(shamt)); let result: bits(32) = aes_subword_fwd(aes_rotword(CurrentRoundKey[3])) XOR aes_decode_rcon((rnd>>1) - 1) { set_velem(vd, EEW=SEW, i, get_velem(vs2, i) << (uimm[4:0] & ((2*SEW)-1)) ) } RETIRE_SUCCESS } Included in Zvks, Zvksc, Zvksg, Zvksh 32.3.24. vsm3me.vv 32.3.25.
refile