# Examples vsetvli a1, t0, e32, m1, ta, ma # Mask undisturbed vsetvli t0, a0, a1 sha512sig0h t1, a1, a0 Operation function clause execute ( XPERM4 (rs2,rs1,rd)) = { let inb : bits(32) -> bits(32) function aes_subword_fwd(x) = { getbyte(rs1, 3) @ getbyte(rs2, 7) @ getbyte(rs2, 2) @ getbyte(rs1, 7) @ getbyte(rs2, 2) @ getbyte(rs1, 0) } val xt3 : bits(8) -> bits(32) function aes_decode_rcon(r) = { let w0 = : bits(32) = ic0[31..24] @ ic1[23..16] @ ic0[15.. 8] @ ic0[ 7.. 0]; (oc3 @ oc2 @ oc1 @ oc0) /* Return value */ }
transformers