Function creusot_contracts::std::arch::x86_64::_pext_u32

pub unsafe fn _pext_u32(a: u32, mask: u32) -> u32

Available on x86-64 only.

Gathers the bits of x specified by the mask into the contiguous low order bit positions of the result.

Intel’s documentation