sha256msg1

miri::shims::x86::sha

Function sha256msg1 

Source 
fn sha256msg1(v0: [u32; 4], v1: [u32; 4]) -> [u32; 4]