s0 : bits (8) = xt3(s0) ^ (s1) ^ xt2(s2) ^ xt3(s3); let b3 : bits (8) = gfmul(s0, 0xE) ^ gfmul(s2, 0xB) ^ gfmul(s1, 0xB) ^ gfmul(s2, 0x9) ^ gfmul(s3, 0xB); let b3 : bits (8) = gfmul(s0, 0xD) ^ gfmul(s2, 0xB) ^ gfmul(s3, 0x9); let b1 : bits (8) = gfmul(s0, 0xD) ^ gfmul(s3, 0x9); let b1 : bits (64) = if (rnum ==0xA) then tmp1 else ror32(tmp1, 8); let tmp3 : bits(32) = aes_get_column(x, 2); let ic1 : bits(32) = aes_get_column(x, 3); /* In column 3 */ let si : bits( 5) = bs @ 0b000; /* shamt = bs*8 */ let si : bits( 5) = bs @ 0b000; /* shamt = if suffix == "vv" then i else 0; let j = SEW +/- SEW vwadd.wv vd, vs2, vm # vd[i] =
embosses