pub fn xwidemul64_s<E>( into: &mut E, dst_lo: impl Into<XReg>, dst_hi: impl Into<XReg>, lhs: impl Into<XReg>, rhs: impl Into<XReg>, )where E: Extend<u8>,
dst_hi:dst_lo = sext(lhs) * sext(rhs)