sha256msg2

miri::shims::x86::sha

Function sha256msg2 

Source 
fn sha256msg2(v4: [u32; 4], v3: [u32; 4]) -> [u32; 4]