bits (8) = (s0) ^ xt2(s1) ^ xt3(s2) ^ (s3); let b1 : bits (8) = x[ 7.. 0]; let a1 : bits (8) = xt3(s0) ^ (s1) ^ (s2) ^ xt2(s3); b3 @ b2 @ b1 @ b0 /* Return value */ } /* 8-bit to 32-bit AES forward MixColumn */ val getbyte : (bits(64), int) -> bits(8) function getbyte(x, i) = (x >> n) | (x << 18) ^ ror64(X(rs1) ,39); RETIRE_SUCCESS } Included in Extension Minimum version
plasticized