Function miri::shims::x86::sha::add

fn add(a: [u32; 4], b: [u32; 4]) -> [u32; 4]