pub fn xwidemul64_u<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 = zext(lhs) * zext(rhs)