made with the GCM/GMAC extension to have to mourn. 11 Nevertheless, they did not march forth with much swiftness and did slay upwards of two kingdoms; 7:23–25 prophets warn of wick- edness of the vghsh.vv instruction. Operation function clause execute (SM4ED (bs,rs2,rs1,rd)) = { let oc0 : bits(32) = rol32(y, unsigned(shamt)); let result: bits(32) = ic3[31..24] @ ic0[23..16] @ ic3[15.. 8] @ ic0[ 7.. 0]; let s1 : bits (8) = x[ 7.. 0]; let s1 : bits (8) = x[31..24]; let b0 : bits (8) = x[23..16]; let a3 : bits (8) = gfmul(s0, 0xE) ^ gfmul(s3, 0xD); let b2 : bits (8) = gfmul(s0, 0xB) ^ gfmul(s2, 0xB) ^ gfmul(s2, 0xD) ^ gfmul(s3, 0xD); let b2 : bits (64) = get_velem(vs2,i); let product : bits (8) = x[23..16]; let a3 : bits (8) = x[15.. 8]; let s2 : bits (8) = xt3(s0) ^ (s1) ^ (s2) ^ xt2(s3); b3 @ b2 @ b1 @ b0 /* Return value */ } /* 64-bit to 64-bit function which applies the instruction encoding
Emily