miri
1.87.0
(17067e9ac 2025-05-09)
In miri::
shims::
x86::
sha
miri
::
shims
::
x86
::
sha
Function
sha256_digest_round_x2
Copy item path
Source
fn sha256_digest_round_x2( cdgh: [
u32
;
4
], abef: [
u32
;
4
], wk: [
u32
;
4
], ) -> [
u32
;
4
]