Function miri::shims::x86::sha::sha256_digest_round_x2

fn sha256_digest_round_x2(
    cdgh: [u32; 4],
    abef: [u32; 4],
    wk: [u32; 4],
) -> [u32; 4]