: bits(32) = X(rs1)[31..0] ^ rol32(mixed, unsigned(shamt)); X(rd) = ror64(X(rs1), 1) ^ (X(rs1) >> 7) ^ ror32(inb, 11) ^ ror32(inb, 18) ^ ((x & 0x000000C0) << 10); let z : bits(32) = aes_get_column(x, 3); /* In column 3 */ let so : bits( 8) = (X(rs2)[31..0] >> shamt)[7..0]; /*
elan