Module miri::shims::x86::sse2

Traits

• EvalContextExt 🔒

Functions

• extract_first_u64 🔒
  Takes a 128-bit vector, transmutes it to [u64; 2] and extracts the first value.