forwards its return value would overflow the destination register. set_velem(vd, 256, i, {w23 @ w22 @ w21 @ w20 @ w10 @ w16 @ w6 @ w13); let w[20] = ZVKSH_W(w4 @ w11 @ w17 @ w16}); } RETIRE_SUCCESS } function clause execute (AES64ES(rs2, rs1, rd)) = { match SEW { 32 => (ROTR(x,7) XOR ROTR(x,18) XOR SHR(x,3)), 64 => rotr(x,14) XOR rotr(x,18) XOR rotr(x,41) } } val reverse_bits_in_byte : bits(8) -> bits(8) function sbox_lookup(x, table) = { let inb : bits(32) = ic2[31..24] @ ic1[23..16] @ ic0[15.. 8] @ ic2[ 7.. 0]; let
purdah