Function creusot_contracts::std::arch::x86_64::_bextr2_u64

pub unsafe fn _bextr2_u64(a: u64, control: u64) -> u64

Available on x86-64 only.

Extracts bits of a specified by control into the least significant bits of the result.

Bits [7,0] of control specify the index to the first bit in the range to be extracted, and bits [15,8] specify the length of the range.

Intel’s documentation