We are using _pdep_u64 and _pext_u64 somewhere but not all. We should have unified interface for this conversion.