Function creusot_contracts::std::arch::x86_64::_mm_sha256rnds2_epu32

pub unsafe fn _mm_sha256rnds2_epu32(
    a: __m128i,
    b: __m128i,
    k: __m128i,
) -> __m128i

Available on x86-64 only.

Performs 2 rounds of SHA256 operation using an initial SHA256 state (C,D,G,H) from a, an initial SHA256 state (A,B,E,F) from b, and a pre-computed sum of the next 2 round message values (unsigned 32-bit integers) and the corresponding round constants from k, and store the updated SHA256 state (A,B,E,F) in dst.

Intel’s documentation