fn sha512load(v0: [u64; 2], v1: [u64; 2]) -> [u64; 2]
Not an intrinsic, but works like an unaligned load.